Hermit polinomları , 1810'da Pierre-Simon Laplace tarafından tanımlanmış,[ 1] [ 2] ancak pek tanınmayan bir biçimde 1859'da Pafnuty Chebyshev tarafından ayrıntılı olarak incelenmiştir.[ 3] Chebyshev'in çalışması gözden kaçmış ve daha sonra 1864'te polinomlar üzerine yazan ve onları yeni olarak tanımlayan Charles Hermite 'nin adıyla anılmışlardır.[ 4] Sonuç olarak yeni değillerdi, ancak Hermite 1865'teki yayınlarında çok boyutlu polinomları tanımlayan ilk kişi olmuştur.
Charles Hermite
Diğer klasik dik polinomlar gibi, Hermit polinomları birkaç farklı başlangıç noktasından tanımlanabilir. Hermit polinomlarının tam ortak kullanımı olmadığı için iki farklı denklemi vardır.
Olasılıkçıların kullandığı Hermit polinomu;
H
e
n
(
x
)
=
(
−
1
)
n
e
(
x
2
2
)
d
n
d
x
n
e
(
−
x
2
2
)
{\displaystyle {\textstyle He_{n}(x)=(-1)^{n}e^{\left({\frac {x^{2}}{2}}\right)}{d^{n} \over dx^{n}}e^{\left(-{\frac {x^{2}}{2}}\right)}}}
Fizikçilerin kullandığı Hermit polinomu;
H
n
(
x
)
=
(
−
1
)
n
e
x
2
d
n
d
x
n
e
−
x
2
{\displaystyle {\displaystyle H_{n}(x)=(-1)^{n}e^{x^{2}}{d^{n} \over dx^{n}}e^{-x^{2}}}}
Bu denklemler bir Rodrigues formülü biçimindedir ve şu şekilde de yazılabilir;
H
e
n
(
x
)
=
(
x
−
d
d
x
)
n
⋅
1
,
H
n
(
x
)
=
(
2
x
−
d
d
x
)
n
⋅
1.
{\displaystyle {\displaystyle {\mathit {He}}_{n}(x)=\left(x-{\frac {d}{dx}}\right)^{n}\cdot 1,\quad H_{n}(x)=\left(2x-{\frac {d}{dx}}\right)^{n}\cdot 1.}}
İki tanım tam olarak aynı değildir, her biri bir diğerinin yeniden ölçeklendirilmesidir.
H
n
(
x
)
=
2
n
2
H
e
n
(
2
x
)
,
H
e
n
(
x
)
=
2
−
n
2
H
n
(
x
2
)
.
{\displaystyle {\displaystyle H_{n}(x)=2^{\frac {n}{2}}{\mathit {He}}_{n}\left({\sqrt {2}}\,x\right),\quad {\mathit {He}}_{n}(x)=2^{-{\frac {n}{2}}}H_{n}\left({\frac {x}{\sqrt {2}}}\right).}}
Hermit polinomunun ilk altı değer grafiği
Olasılıkçıların kullandığı Hermit polinomunun ilk on bir değeri;
H
e
0
(
x
)
=
1
{\textstyle {\displaystyle He_{0}(x)=1}}
H
e
1
(
x
)
=
x
{\textstyle {\displaystyle He_{1}(x)=x}}
H
e
2
(
x
)
=
x
2
−
1
{\textstyle {\textstyle He_{2}(x)=x^{2}-1}}
H
e
3
(
x
)
=
x
3
−
3
x
{\textstyle {\textstyle He_{3}(x)=x^{3}-3x}}
H
e
4
(
x
)
=
x
4
−
6
x
2
+
3
{\textstyle {\textstyle He_{4}(x)=x^{4}-6x^{2}+3}}
H
e
5
(
x
)
=
x
5
−
10
x
3
+
15
x
{\textstyle {\textstyle He_{5}(x)=x^{5}-10x^{3}+15x}}
H
e
6
(
x
)
=
x
6
−
15
x
4
+
45
x
2
−
15
{\textstyle {\textstyle He_{6}(x)=x^{6}-15x^{4}+45x^{2}-15}}
H
e
7
(
x
)
=
x
7
−
21
x
5
+
105
x
3
−
105
x
{\textstyle {\textstyle He_{7}(x)=x^{7}-21x^{5}+105x^{3}-105x}}
H
e
8
(
x
)
=
x
8
−
28
x
6
+
210
x
4
−
420
x
2
+
105
{\textstyle {\textstyle He_{8}(x)=x^{8}-28x^{6}+210x^{4}-420x^{2}+105}}
H
e
9
(
x
)
=
x
9
−
36
x
7
+
378
x
5
−
1260
x
3
+
945
x
{\textstyle {\textstyle He_{9}(x)=x^{9}-36x^{7}+378x^{5}-1260x^{3}+945x}}
H
e
10
(
x
)
=
x
10
−
45
x
8
+
630
x
6
−
3150
x
4
+
4725
x
3
−
945
{\textstyle {\textstyle He_{10}(x)=x^{10}-45x^{8}+630x^{6}-3150x^{4}+4725x^{3}-945}}
Fizikçilerin(
H
n
{\displaystyle H_{n}}
) kullandığı Hermit polinomunun ilk altı değer grafiği
Fizikçilerin kullandığı Hermit polinomunun ilk on bir değeri;
H
0
(
x
)
=
1
{\textstyle H_{0}(x)=1}
H
1
(
x
)
=
2
x
{\displaystyle H_{1}(x)=2x}
H
2
(
x
)
=
4
x
2
−
2
{\textstyle H_{2}(x)=4x^{2}-2}
H
3
(
x
)
=
8
x
3
−
12
x
{\textstyle H_{3}(x)=8x^{3}-12x}
H
4
(
x
)
=
16
x
4
−
48
x
2
+
12
{\textstyle H_{4}(x)=16x^{4}-48x^{2}+12}
H
5
(
x
)
=
32
x
5
−
160
x
3
+
120
{\textstyle H_{5}(x)=32x^{5}-160x^{3}+120}
H
6
(
x
)
=
64
x
6
−
480
x
4
+
720
x
2
−
120
{\textstyle H_{6}(x)=64x^{6}-480x^{4}+720x^{2}-120}
H
7
(
x
)
=
128
x
7
−
1344
x
5
+
3360
x
3
−
1680
x
{\textstyle H_{7}(x)=128x^{7}-1344x^{5}+3360x^{3}-1680x}
H
8
(
x
)
=
256
x
8
−
3584
x
6
+
13440
x
4
−
13440
x
2
+
1680
{\textstyle H_{8}(x)=256x^{8}-3584x^{6}+13440x^{4}-13440x^{2}+1680}
H
9
(
x
)
=
512
x
9
−
9216
x
7
+
48384
x
5
−
80640
x
3
+
30240
x
{\textstyle H_{9}(x)=512x^{9}-9216x^{7}+48384x^{5}-80640x^{3}+30240x}
H
10
(
x
)
=
1024
x
10
−
2340
x
8
+
161280
x
6
−
403200
x
4
+
302400
x
2
−
30240
{\textstyle H_{10}(x)=1024x^{10}-2340x^{8}+161280x^{6}-403200x^{4}+302400x^{2}-30240}
n
{\displaystyle n}
dereceden bir Hermit polinomu
n
{\displaystyle n}
dereceli bir polinomdur. Olasılıkçıların(
H
e
n
{\displaystyle He_{n}}
) kullandığı Hermit polinomunun ilk terimindeki katsayısı her zaman 1'dir.Fizikçilerin(
H
n
{\displaystyle H_{n}}
) kullandığı Hermit polinomunun katsayısı
2
n
{\displaystyle 2^{n}}
Olasılıkçıların kullandığı Hermit polinomunun
n
{\displaystyle n}
'i 2 olsun ve aradaki farkı anlayabilmek için fizikçilerin kullandığı Hermit polinomunun da
n
{\displaystyle n}
'i 2 olsun
H
e
2
(
x
)
=
x
2
−
1
{\displaystyle {\textstyle {\textstyle He_{2}(x)=x^{2}-1}}}
ilk terimin katsayısı 1
H
2
(
x
)
=
4
x
2
−
2
{\textstyle H_{2}(x)=4x^{2}-2}
ilk terimin katsayısı 4(
2
2
=
4
{\displaystyle 2^{2}=4}
)
H
e
n
{\displaystyle He_{n}}
ve
H
n
{\displaystyle H_{n}}
dereceden polinomları için
n
=
1
,
2
,
3
,
4........
{\displaystyle n=1,2,3,4........}
Bu polinomlar ağırlık işlevine(fonksiyon ) göre dikliktir.
w
(
x
)
=
e
(
x
2
2
)
{\displaystyle {\displaystyle w(x)=e^{\left({\frac {x^{2}}{2}}\right)}}}
(
H
e
{\displaystyle He}
için)
ya da
w
(
x
)
=
e
−
x
2
{\displaystyle {\displaystyle w(x)=e^{-x^{2}}}}
(
H
{\displaystyle H}
için)
Diğer bir deyişle
∫
−
∞
∞
H
m
(
x
)
H
n
(
x
)
d
x
=
0
m
≠
n
{\displaystyle \int _{-\infty }^{\infty }H_{m}(x)H_{n}(x)dx=0\qquad m\neq n}
Ayrıca
∫
−
∞
∞
H
e
m
(
x
)
H
e
n
(
x
)
e
−
x
2
2
d
x
=
2
π
n
!
δ
n
m
,
{\displaystyle {\displaystyle \int _{-\infty }^{\infty }{\mathit {He}}_{m}(x){\mathit {He}}_{n}(x)\,e^{-{\frac {x^{2}}{2}}}\,dx={\sqrt {2\pi }}\,n!\,\delta _{nm},}}
Ya da
∫
−
∞
∞
H
m
(
x
)
H
n
(
x
)
e
−
x
2
d
x
=
π
2
n
n
!
δ
n
m
,
{\displaystyle {\displaystyle \int _{-\infty }^{\infty }H_{m}(x)H_{n}(x)\,e^{-x^{2}}\,dx={\sqrt {\pi }}\,2^{n}n!\,\delta _{nm},}}
Burada
δ
n
m
{\displaystyle \delta _{nm}}
Kronecker deltasıdır .
Olasılık polinomları bu nedenle standart normal olasılık yoğunluk fonksiyonuna göre ortogonaldir.
Hermite polinomları (olasılıkçıların veya fizikçilerin), Hilbert fonksiyon uzayının ortogonal bir temelini oluşturur.
∫
−
∞
∞
|
f
(
x
)
|
2
w
(
x
)
d
x
<
∞
,
{\displaystyle {\displaystyle \int _{-\infty }^{\infty }{\bigl |}f(x){\bigr |}^{2}\,w(x)\,dx<\infty ,}}
Ürün kısmının tümlev hali;
⟨
f
,
g
⟩
=
∫
−
∞
∞
f
(
x
)
g
(
x
)
¯
w
(
x
)
d
x
{\displaystyle {\displaystyle \langle f,g\rangle =\int _{-\infty }^{\infty }f(x){\overline {g(x)}}\,w(x)\,dx}}
^ Laplace (1811). "Mémoire sur les intégrales définies et leur application aux probabilités, et spécialement a la recherche du milieu qu'il faut choisir entre les resultats des observations" [Memoire on definite integrals and their application to probabilities, and especially to the search for the mean which must be chosen among the results of observations]. Mémoires de la Classe des Sciences Mathématiques et Physiques de l'Institut Impérial de France (Fransızca). 11 : 297-347. 25 Mayıs 2023 tarihinde kaynağından arşivlendi . Erişim tarihi: 8 Haziran 2023 .
^ Laplace, P.-S. (1812), Théorie analytique des probabilités [Analytic Probability Theory ], 2 , ss. 194-203 Collected in Œuvres complètes VII 15 Nisan 2021 tarihinde Wayback Machine sitesinde arşivlendi ..
^ Tchébychef, P. (1860). "Sur le développement des fonctions à une seule variable" [On the development of single-variable functions]. Bulletin de l'Académie impériale des sciences de St.-Pétersbourg (Fransızca). 1 : 193-200. 26 Mayıs 2023 tarihinde kaynağından arşivlendi . Erişim tarihi: 8 Haziran 2023 . Collected in Œuvres I , 501–508.
^ Hermite, C. (1864). "Sur un nouveau développement en série de fonctions" [On a new development in function series]. Comptes Rendus Acad. Sci. Paris (Fransızca). 58 : 93-100. 25 Mayıs 2023 tarihinde kaynağından arşivlendi . Erişim tarihi: 8 Haziran 2023 . Collected in Œuvres II , 293–303.