HermiteL2: Gaussian-weighted orthogonality of the Hermite polynomials (Route B foundation) - #16

Merged

JonBannon merged 2 commits into

mainfrom

hermite-l2-basis

Jun 21, 2026

Commits on Jun 21, 2026

HermiteL2: probabilists' derivative identity Hₙ₊₁' = (n+1)·Hₙ

mrdouglasny
and
claude
committed
197fb1c
HermiteL2: Gaussian-weighted orthogonality ∫ Hₘ Hₙ e^{-x²/2} = n!√(2π)·δₘₙ

mrdouglasny
and
claude
committed
bf3395c