エルミート多項式

エルミート多項式（-たこうしき、）は、常微分方程式
を満たす多項式formula_2のことを言う。
またこの微分方程式はスツルム＝リウヴィル型微分方程式の一つである。
エルミート多項式はをformula_3として、次の直交性を持つ。
ここでformula_5はクロネッカーのデルタである（formula_6のとき1, それ以外では0）。
ロドリゲスの公式で表すと、
これにより、エルミート多項式は以下の漸化式を満たすことがわかる。
母関数は
である。周回積分で表すと
ここで formula_11 は原点を囲む反時計回りの経路である。
陽に表せば
である。ここでformula_13は床関数である。
最初の幾つかを挙げると、
エルミート多項式は量子化された調和振動子の波動関数の一部としてその姿を現す。
また、正規関数のフーリエ共役関数もまた正規関数であることを示す。