エルミート多項式の直交性
📂関数エルミート多項式の直交性
定理
エルミート多項式 {Hn}n=0∞は区間 (−∞,∞)で重み関数 w(x)=e−x2により直交している。
⟨Hn∣Hm⟩e−x2=∫−∞∞e−x2Hn(x)Hm(x)dx=π2nn!δnm
ここで、δnmはクロネッカーのデルタである。
証明
場合 1: n=m
微分作用素をD=dxdと表記する。
∫−∞∞e−x2Hn(x)Hn(x)dx
エルミート多項式
Hn(x)=(−1)nex2dxndne−x2=(−1)nex2Dne−x2
上の式の前の部分Hn(x)を解くと、以下のようになる。
∫−∞∞e−x2(−1)nex2[Dne−x2]Hn(x)dx=∫−∞∞(−1)n[Dne−x2]Hn(x)dx
式を部分的に解くと、以下の式を得る。
∫−∞∞(−1)n[Dne−x2]Hn(x)dx=[(−1)n(Dn−1e−x2)Hn(x)]−∞∞−∫−∞∞(−1)n[Dn−1e−x2]Hn′(x)dx(1)
ここで、最初の項はx→±∞limDn−1e−x2=0であるため、0である。この極限が0に収束する理由は、任意のnに対して、
Dne−x2=p(x)e−x2
と表されるためである。ここで、p(x)は任意の多項式である。x→±∞の時、e−x2が0に行く速度の方が多項式が発散する速度よりもずっと速いため、極限は0に収束する。
エルミート多項式の再帰関係
Hn′(x)=2nHn−1(x)
エルミート多項式の再帰関係により、(1)は次のようになる。
−2n∫−∞∞(−1)n[Dn−1e−x2]Hn−1(x)dx
さっきと同じ論理で部分積分をもう一度行うと、次を得る。
(−1)222n(n−1)∫−∞∞(−1)n[Dn−2e−x2]Hn−2(x)dx
したがって、部分積分をn回行うと、以下の式を得る。
(−1)n2nn!∫−∞∞(−1)ne−x2H0(x)dx
H0(x)=1であるため、以下のように整理される。
2nn!∫−∞∞e−x2dx
上記の積分はガウス積分で、その値はπである。したがって、以下を得る。
∫−∞∞e−x2Hn(x)Hn(x)dx=π2nn!
場合 2: n=m
一般性を失わずに、n>mとする。
∫−∞∞e−x2Hn(x)Hm(x)dx
ここで、Hn(x)だけを解くと、次のようになる。
∫−∞∞e−x2(−1)nex2[Dne−x2]Hm(x)dx=∫−∞∞(−1)n[Dne−x2]Hm(x)dx
n=mの場合の証明と同じ方法で、m回の部分積分を行うと、以下の式を得る。
(−1)n+m2mm!∫−∞∞[Dn−me−x2]⋅1dx
もう一度部分積分すると、次のようになる。
(−1)n+m2mm!∫−∞∞[Dn−me−x2]⋅1dx=(−1)n+m2mm!([Dn−m−1e−x2]−∞∞+2(m+1)∫−∞∞[Dn−m−1e−x2]⋅0dx)
最初の項は、上の証明で説明したように、0であり、二番目の項も0である。したがって、以下を得る。
∫−∞∞e−x2Hn(x)Hm(x)dx=0,n=m
■