主題
Search

埃爾米特多項式

下載 Mathematica Notebook下載 Wolfram Notebook
HermiteH

埃爾米特多項式 H_n(x) 是一組在域 (-infty,infty) 上關於 正交多項式，其權重函式為 e^(-x^2)，如上圖所示，對於 n=1、2、3 和 4。埃爾米特多項式在 Wolfram 語言中實現為HermiteH[n, x].

埃爾米特多項式 H_n(z) 可以透過輪廓積分定義

H_n(z)=(n!)/(2pii)∮e^(-t^2+2tz)t^(-n-1)dt,
(1)

其中輪廓包圍原點，並沿逆時針方向遍歷 (Arfken 1985, p. 416)。

前幾個埃爾米特多項式是

H_0(x)=1
(2)
H_1(x)=2x
(3)
H_2(x)=4x^2-2
(4)
H_3(x)=8x^3-12x
(5)
H_4(x)=16x^4-48x^2+12
(6)
H_5(x)=32x^5-160x^3+120x
(7)
H_6(x)=64x^6-480x^4+720x^2-120
(8)
H_7(x)=128x^7-1344x^5+3360x^3-1680x
(9)
H_8(x)=256x^8-3584x^6+13440x^4-13440x^2+1680
(10)
H_9(x)=512x^9-9216x^7+48384x^5-80640x^3+30240x
(11)
H_(10)(x)=1024x^(10)-23040x^8+161280x^6-403200x^4+302400x^2-30240.
(12)

當按從小到大的冪排序時，非零係數的三角形為 1; 2; -2, 4; -12, 8; 12, -48, 16; 120, -160, 32; ... (OEIS A059343)。

值 H_n(0) 可以稱為 埃爾米特數。

埃爾米特多項式是 謝弗序列，其中

g(t)=e^(t^2/4)
(13)
f(t)=1/2t
(14)

(Roman 1984, p. 30)，給出指數生成函式

exp(2xt-t^2)=sum_(n=0)^infty(H_n(x)t^n)/(n!).
(15)

使用泰勒級數表明

H_n(x)=[(partial/(partialt))^nexp(2xt-t^2)]_(t=0)
(16)
=[e^(x^2)(partial/(partialt))^ne^(-(x-t)^2)]_(t=0).
(17)

由於 partialf(x-t)/partialt=-partialf(x-t)/partialx,

H_n(x)=(-1)^ne^(x^2)[(partial/(partialx))^ne^(-(x-t)^2)]_(t=0)
(18)
=(-1)^ne^(x^2)(d^n)/(dx^n)e^(-x^2).
(19)

現在定義算符

O^~_1=-e^(x^2)d/(dx)e^(-x^2)
(20)
O^~_2=e^(x^2/2)(x-d/(dx))e^(-x^2/2).
(21)

由此得出

O^~_1f=-e^(x^2)d/(dx)[fe^(-x^2)]
(22)
=2xf-(df)/(dx)
(23)
O^~_2f=e^(x^2/2)(x-d/(dx))[fe^(-x^2/2)]
(24)
=xf+xf-(df)/(dx)
(25)
=2xf-(df)/(dx),
(26)

因此

O^~_1=O^~_2,
(27)

並且

-e^(x^2)d/(dx)e^(-x^2)=e^(x^2/2)(x-d/(dx))e^(-x^2/2)
(28)

(Arfken 1985, p. 720)，這意味著以下定義是等價的

exp(2xt-t^2)=sum_(n=0)^(infty)(H_n(x)t^n)/(n!)
(29)
H_n(x)=(-1)^ne^(x^2)(d^n)/(dx^n)e^(-x^2)
(30)
H_n(x)=e^(x^2/2)(x-d/(dx))^ne^(-x^2/2)
(31)

(Arfken 1985, pp. 712-713 和 720)。

埃爾米特多項式可以寫成

H_n(z)=(2z)^n_2F_0(-1/2n,-1/2(n-1);;-z^(-2))
(32)
=2^nz^n(z^2)^(-n/2)U(-1/2n,1/2,z^2)
(33)

(Koekoek 和 Swarttouw 1998)，其中 U(a,b,z) 是第二類合流超幾何函式，可以簡化為

H_n(z)=2^nU(-1/2n,1/2,z^2)
(34)

在右半平面 R[z]>0 中。

埃爾米特多項式與 erf 的導數有關，關係式為

H_n(z)=1/2(-1)^nsqrt(pi)e^(z^2)(d^(n+1))/(dz^(n+1))erf(z).
(35)

它們具有輪廓積分表示

H_n(x)=(n!)/(2pii)∮e^(-t^2+2tx)t^(-n-1)dt.
(36)

它們在範圍 (-infty,infty) 內關於權重函式 e^(-x^2) 是正交的

int_(-infty)^inftyH_m(x)H_n(x)e^(-x^2)dx=delta_(mn)2^nn!sqrt(pi).
(37)

埃爾米特多項式滿足對稱條件

H_n(-x)=(-1)^nH_n(x).
(38)

它們也服從遞推關係

H_(n+1)(x)=2xH_n(x)-2nH_(n-1)(x)
(39)
H_n^'(x)=2nH_(n-1)(x).
(40)

透過求解埃爾米特微分方程，得到級數

H_(2k)(x)=(-1)^k2^k(2k-1)!![1+sum_(j=1)^(k)((-4k)(-4k+4)...(-4k+4j-4))/((2j)!)x^(2j)]
(41)
=(-2)^k(2k-1)!!_1F_1(-k;1/2;x^2)
(42)
H_(2k+1)(x)=(-1)^k2^(k+1)(2k+1)!![x+sum_(j=1)^(k)((-4k)(-4k+4)...(-4k+4j-4))/((2j+1)!)x^(2j+1)]
(43)
=(-1)^k2^(k+1)(2k+1)!!x_1F_1(-k;3/2;x^2)
(44)

得到，其中分子中的乘積等於

(-4k)(-4k+4)...(-4k+4j-4)=4^j(-k)_j,
(45)

其中 (x)_n 是 Pochhammer 符號。

設一組關聯函式定義為

u_n(x)=sqrt(a/(pi^(1/2)n!2^n))H_n(ax)e^(-a^2x^2/2),
(46)

那麼 u_n 滿足正交條件

int_(-infty)^inftyu_n(x)(du_m)/(dx)dx={asqrt((n+1)/2) m=n+1; -asqrt(n/2) m=n-1; 0 otherwise
(47)
int_(-infty)^inftyu_m(x)u_n(x)dx=delta_(mn)
(48)
int_(-infty)^inftyu_m(x)xu_n(x)dx={1/asqrt((n+1)/2) m=n+1; 1/asqrt(n/2) m=n-1; 0 otherwise
(49)
int_(-infty)^inftyu_m(x)x^2u_n(x)dx={(sqrt(n(n-1)))/(2a^2) m=n-2; (2n+1)/(2a^2) m=n; (sqrt((n+1)(n+2)))/(2a^2) m=n+2; 0 m!=n!=n+/-2
(50)
int_(-infty)^inftye^(-x^2)H_alpha(x)H_beta(x)H_gamma(x)dx=sqrt(pi)(2^salpha!beta!gamma!)/((s-alpha)!(s-beta)!(s-gamma)!),
(51)

如果 alpha+beta+gamma=2s 是偶數且 s>=alpha、s>=beta 和 s>=gamma。否則，最後一個積分為 0 (Szegö 1975, p. 390)。另一個積分是

int_(-infty)^inftyu_n(x)x^ru_m(x)dx={0 if r-n-m is odd; (r!)/((2a)^r)sqrt((2^(m+n))/(m!n!))sum_(p=max(0,-s))^(min(m,n))(n; p)(m; p)(p!)/(2^p(s+p)!) otherwise,
(52)

其中 s=(r-n-m)/2 且 (n; k) 是二項式係數 (T. Drane，私人通訊，2006 年 2 月 14 日)。

多項式判別式為

D_n=2^(3n(n-1)/2)product_(k=1)^nk^k
(53)

(Szegö 1975, p. 143)，超階乘的歸一化形式，前幾個值為 1, 32, 55296, 7247757312, 92771293593600000, ... (OEIS A054374)。結式表由 {0}, {-8,0}, {0,-2048,0}, {192,16384,28311552,0}, ... (OEIS A054373) 給出。

涉及 H_n(x+y) 的兩個有趣的恆等式由下式給出

sum_(k=0)^n(n; k)H_k(x)H_(n-k)(y)=2^(n/2)H_n(2^(-1/2)(x+y))
(54)

並且

sum_(k=0)^n(n; k)H_k(x)(2y)^(n-k)=H_n(x+y)
(55)

(G. Colomer，私人通訊)。一個非常漂亮的恆等式是

H_n(x+y)=(H+2y)^n,
(56)

其中 H^k=H_k(x) (T. Drane，私人通訊，2006 年 2 月 14 日)。

它們也服從求和公式

sum_(k=0)^n(-1)^(n-k)(n; k)H_n(k)=2^nn!,
(57)

以及更復雜的

H_n(x)=H_n+sum_(m=0)^(|_n/2_|)[sum_(k=1)^(n-2m)(-1)^kS(n-2m,k)(-x)_k]×((-1)^m2^(n-2m)n!)/((n-2m)!m!),
(58)

其中 H_n=H_n(0) 是埃爾米特數，S(n,k) 是第二類斯特林數，而 (x)_n 是 Pochhammer 符號 (T. Drane，私人通訊，2006 年 2 月 14 日)。

Subramanyan (1990) 研究了一類廣義埃爾米特多項式 gamma_n^m(x)，其滿足

e^(mxt-t^m)=sum_(n=0)^inftygamma_n^m(x)t^n
(59)

Subramanyan (1990) 研究了 ... Djordjević (1996) 研究了一類由下式定義的相關多項式

h_(n,m)=gamma_n^m((2x)/m)
(60)

以及生成函式

e^(2xt-t^m)=sum_(n=0)^inftyh_(n,m)(x)t^n
(61)

Djordjević (1996) 研究了 ... 它們滿足

H_n(x)=n!h_(n,2)(x).
(62)

Roman (1984, pp. 87-93) 定義了廣義埃爾米特多項式 H_n^((nu))(x)，其方差為 nu。

埃爾米特多項式的修改版本有時（但很少）由下式定義

He_n(x)=2^(-n/2)H_n(x/(sqrt(2)))
(63)

(Jörgensen 1916; Magnus 和 Oberhettinger 1948; Slater 1960, p. 99; Abramowitz 和 Stegun 1972, p. 778)。這些多項式的前幾個由下式給出

He_1(x)=x
(64)
He_2(x)=x^2-1
(65)
He_3(x)=x^3-3x
(66)
He_4(x)=x^4-6x^2+3
(67)
He_5(x)=x^5-10x^3+15x.
(68)

當按從小到大的冪排序時，非零係數的三角形為 1; 1; -1, 1; -3, 1; 3, -6, 1; 15, -10, 1; ... (OEIS A096713)。多項式 He_n(x) 是獨立多項式，完全圖 K_n 的。

另請參閱

埃爾米特數, Mehler 的埃爾米特多項式公式, 多元埃爾米特多項式, 韋伯函式

相關的 Wolfram 網站

http://functions.wolfram.com/Polynomials/HermiteH/, http://functions.wolfram.com/HypergeometricFunctions/HermiteHGeneral/

使用 探索

參考文獻

Abramowitz, M. 和 Stegun, I. A. (編). "正交多項式." 第 22 章 見 數學函式手冊，包含公式、圖表和數學表格，第 9 版。 New York: Dover, 頁 771-802, 1972.Andrews, G. E.; Askey, R.; 和 Roy, R. "埃爾米特多項式." §6.1 見 特殊函式。 Cambridge, England: Cambridge University Press, 頁 278-282, 1999.Arfken, G. "埃爾米特函式." §13.1 見 物理學家數學方法，第 3 版。 Orlando, FL: Academic Press, 頁 712-721, 1985.Chebyshev, P. L. "關於單變數函式的展開." Bull. ph.-math., Acad. Imp. Sc. St. Pétersbourg 1, 193-200, 1859.Chebyshev, P. L. Oeuvres, 卷 1。 New York: Chelsea, 頁 49-508, 1987.Djordjević, G. "關於廣義埃爾米特多項式的一些性質." Fib. Quart. 34, 2-6, 1996.Hermite, C. "關於函式級數的新展開." Compt. Rend. Acad. Sci. Paris 58, 93-100 和 266-273, 1864. 重印於 Hermite, C. Oeuvres complètes, tome 2。 Paris, 頁 293-308, 1908.Hermite, C. Oeuvres complètes, tome 3。 Paris: Hermann, 頁 432, 1912.Iyanaga, S. 和 Kawada, Y. (編). "埃爾米特多項式." 附錄 A, 表 20.IV 見 數學百科詞典。 Cambridge, MA: MIT Press, 頁 1479-1480, 1980.Jeffreys, H. 和 Jeffreys, B. S. "拋物柱面函式、埃爾米特函式和 Hh 函式" §23.08 見 數學物理方法，第 3 版。 Cambridge, England: Cambridge University Press, 頁 620-622, 1988.Jörgensen, N. R. Undersögler over frekvensflader og korrelation。 Copenhagen, Denmark: Busck, 1916.Koekoek, R. 和 Swarttouw, R. F. "埃爾米特." §1.13 見 超幾何正交多項式的 Askey 方案及其 q-類似物。 Delft, Netherlands: Technische Universiteit Delft, Faculty of Technical Mathematics and Informatics Report 98-17, 頁 50-51, 1998.Magnus, W. 和 Oberhettinger, F. 第 5 章 見 數學物理特殊函式的公式和定理，第 2 版。 Berlin: Springer-Verlag, 1948.Roman, S. "埃爾米特多項式." §4.2.1 見 Umbral Calculus。 New York: Academic Press, 頁 30 和 87-93, 1984.Rota, G.-C.; Kahaner, D.; Odlyzko, A. "埃爾米特多項式." §10 見 "關於組合理論的基礎。VIII：有限運算元微積分。" J. Math. Anal. Appl. 42, 684-760, 1973.Sansone, G. "拉蓋爾級數和埃爾米特級數展開." 第 4 章 見 正交函式，修訂英文版。 New York: Dover, 頁 295-385, 1991.Slater, L. J. 合流超幾何函式。 Cambridge, England: Cambridge University Press, 1960.Sloane, N. J. A. 序列 A054373, A054374, A059343, 和 A096713 載於 "整數序列線上百科全書"。Spanier, J. 和 Oldham, K. B. "埃爾米特多項式 H_n(x)." 第 24 章 見 函式圖集。 Washington, DC: Hemisphere, 頁 217-223, 1987.Subramanyan, P. R. "埃爾米特多項式的彈簧." Fib. Quart. 28, 156-161, 1990.Szegö, G. 正交多項式，第 4 版。 Providence, RI: Amer. Math. Soc., 1975.

在 上被引用

埃爾米特多項式

請引用為

Weisstein, Eric W. “埃爾米特多項式。” 來自 Web 資源。 https://mathworld.tw/HermitePolynomial.html

主題分類