エルミート多項式(-たこうしき、英: Hermite polynomial)は、常微分方程式
![{\displaystyle \left({\frac {d^{2}}{dx^{2}}}-2x{\frac {d}{dx}}+2n\right)H_{n}(x)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d535b2803008e2cb824bfc4e91578f8c358798f)
を満たす多項式
のことを言う[2]。 またこの微分方程式はスツルム=リウヴィル型微分方程式の一つである。
エルミート多項式は重み関数(英語版)を
として、次の直交性を持つ[3]。
![{\displaystyle \int _{-\infty }^{\infty }H_{m}(x)H_{n}(x)e^{-x^{2}}dx={\sqrt {\pi }}2^{n}n!\delta _{m,n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/783e7cbff5693b848492996d6dcaede9408dbf84)
ここで
はクロネッカーのデルタである(
のとき1, それ以外では0)。
ロドリゲスの公式で表すと[4]、
![{\displaystyle H_{n}(x)=(-1)^{n}e^{x^{2}}{\frac {d^{n}}{dx^{n}}}e^{-x^{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/06f422f731e679a7b52328c55f3c3da0ea547c19)
これにより、エルミート多項式は以下の漸化式を満たすことがわかる。
![{\displaystyle {\begin{aligned}H_{n+1}(x)&=2xH_{n}(x)-2nH_{n-1}(x)\\{\frac {d}{dx}}H_{n}(x)&=2nH_{n-1}(x)\\{\frac {d}{dx}}H_{n}(x)&=2xH_{n}(x)-H_{n+1}(x)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/843d5605cde28af3f062834caf18a6ccb5381b85)
母関数は
![{\displaystyle S(x,y)=\exp(-y^{2}+2xy)=\sum _{n=0}^{\infty }H_{n}(x){\frac {y^{n}}{n!}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e4ad38d9f7f2897f4e78a138f1cf4124446a824e)
である。周回積分で表すと[6]
![{\displaystyle H_{n}(x)=\oint _{C}dz~{\frac {\exp(-z^{2}+2xz)}{z^{n+1}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ec652de138a634e7ffccffe390eadce73086e42)
ここで
は原点を囲む反時計回りの経路である。
陽に表せば[7]
![{\displaystyle H_{n}(x)=n!\sum _{m=0}^{\lfloor n/2\rfloor }{\frac {(-1)^{m}}{m!(n-2m)!}}(2x)^{n-2m}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c9b4bee7de5911e6c40572bc72de287929bed2e)
である。ここで
は床関数である。 最初の幾つかを挙げると、
![{\displaystyle {\begin{aligned}H_{0}(x)&=1\\H_{1}(x)&=2x\\H_{2}(x)&=4x^{2}-2\\H_{3}(x)&=8x^{3}-12x\\H_{4}(x)&=16x^{4}-48x^{2}+12\\H_{5}(x)&=32x^{5}-160x^{3}+120x\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/02d625d37340658e6bf2916cd9b0b22754a8f7c4)
エルミート多項式は量子化された調和振動子の波動関数の一部としてその姿を現す。 また、正規関数のフーリエ共役関数もまた正規関数であることを示す[8]。
脚注
- ^ 永宮健夫「微分方程式論」(河出書房応用数学講座第二巻)
- ^ “DLMF: 18.3 Definitions”. NIST Digital Library of Mathematical Functions. NIST (2020年3月15日). 2020年5月13日閲覧。
- ^ “DLMF: 18.5 Explicit Representations”. NIST Digital Library of Mathematical Functions. NIST (2020年3月15日). 2020年5月13日閲覧。
- ^ “DLMF: 18.10 Integral Representations”. NIST Digital Library of Mathematical Functions. NIST (2020年3月15日). 2020年5月13日閲覧。
- ^ “DLMF: 18.5 Explicit Representations”. NIST Digital Library of Mathematical Functions. NIST (2020年3月15日). 2020年5月13日閲覧。
- ^ 寺澤寛一、今井功『定積分及Fourier級数』河出書房〈応用数学講座第五巻〉、1945年。
参考文献
- 伏見康治『確率論及統計論』河出書房、1943年。ISBN 9784874720127。
関連項目
典拠管理データベース ![ウィキデータを編集](//upload.wikimedia.org/wikipedia/commons/thumb/8/8a/OOjs_UI_icon_edit-ltr-progressive.svg/10px-OOjs_UI_icon_edit-ltr-progressive.svg.png) |
---|
全般 | |
---|
国立図書館 | - フランス
- BnF data
- ドイツ
- イスラエル
- アメリカ
- チェコ
|
---|
その他 | |
---|