Hermitepolynom

Den här artikeln behöver källhänvisningar för att kunna verifieras. (2019-04)
Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan.

Hermitepolynomen, uppkallade efter franske 1800-talsmatematikern Charles Hermite, är en uppsättning ortogonala polynom hemmahörande i Hilbertrummet L e x 2 2 ( R ) {\displaystyle L_{e^{x^{2}}}^{2}(\mathbb {R} )} . De betecknas Hn(x), där n är gradtalet. Med Rodrigues formel kan man generera det n-te polynomet.

H n ( x ) = ( 1 ) n e x 2 d n d x n ( e x 2 ) {\displaystyle H_{n}(x)=(-1)^{n}e^{x^{2}}{\frac {d^{n}}{dx^{n}}}(e^{-x^{2}})}

Hermitepolynomen är även lösningen till ett Sturm-Liouville-problem, nämligen

y 2 x y + 2 n y = 0 {\displaystyle y''-2xy'+2ny=0}

De elva första Hermitepolynomen är:

H 0 ( x ) = 1 {\displaystyle H_{0}(x)=1}
H 1 ( x ) = 2 x {\displaystyle H_{1}(x)=2x}
H 2 ( x ) = 4 x 2 2 {\displaystyle H_{2}(x)=4x^{2}-2}
H 3 ( x ) = 8 x 3 12 x {\displaystyle H_{3}(x)=8x^{3}-12x}
H 4 ( x ) = 16 x 4 48 x 2 + 12 {\displaystyle H_{4}(x)=16x^{4}-48x^{2}+12}
H 5 ( x ) = 32 x 5 160 x 3 + 120 x {\displaystyle H_{5}(x)=32x^{5}-160x^{3}+120x}
H 6 ( x ) = 64 x 6 480 x 4 + 720 x 2 120 {\displaystyle H_{6}(x)=64x^{6}-480x^{4}+720x^{2}-120}
H 7 ( x ) = 128 x 7 1344 x 5 + 3360 x 3 1680 x {\displaystyle 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 {\displaystyle 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 {\displaystyle H_{9}(x)=512x^{9}-9216x^{7}+48384x^{5}-80640x^{3}+30240x}
H 10 ( x ) = 1024 x 10 23040 x 8 + 161280 x 6 403200 x 4 + 302400 x 2 30240 {\displaystyle H_{10}(x)=1024x^{10}-23040x^{8}+161280x^{6}-403200x^{4}+302400x^{2}-30240}

Egenskaper

Differensekvation

H n + 1 ( x ) = 2 x H n ( x ) H n ( x ) . {\displaystyle H_{n+1}(x)=2xH_{n}(x)-H_{n}'(x).\,\!}

Explicit formel

H n ( x ) = n ! m = 0 n / 2 ( 1 ) m m ! ( n 2 m ) ! ( 2 x ) n 2 m {\displaystyle H_{n}(x)=n!\sum _{m=0}^{\lfloor n/2\rfloor }{\frac {(-1)^{m}}{m!(n-2m)!}}(2x)^{n-2m}}

Speciella värden

H n ( 0 ) = { 0 , om  n  är udda ( 1 ) n / 2 2 n / 2 ( n 1 ) ! ! , om  n  är jämnt {\displaystyle H_{n}(0)={\begin{cases}0,&{\mbox{om }}n{\mbox{ är udda}}\\(-1)^{n/2}2^{n/2}(n-1)!!,&{\mbox{om }}n{\mbox{ är jämnt}}\end{cases}}}

Genererande funktion

exp ( 2 x t t 2 ) = n = 0 H n ( x ) t n n ! {\displaystyle \exp(2xt-t^{2})=\sum _{n=0}^{\infty }H_{n}(x){\frac {t^{n}}{n!}}\,\!}

Övrigt

Multiplikationsteoremet:

H n ( γ x ) = i = 0 n / 2 γ n 2 i ( γ 2 1 ) i ( n 2 i ) ( 2 i ) ! i ! H n 2 i ( x ) {\displaystyle {\mathit {H}}_{n}(\gamma x)=\sum _{i=0}^{\lfloor n/2\rfloor }\gamma ^{n-2i}(\gamma ^{2}-1)^{i}{n \choose 2i}{\frac {(2i)!}{i!}}{\mathit {H}}_{n-2i}(x)}
H n ( x + y ) = k = 0 n ( n k ) H k ( x ) ( 2 y ) ( n k ) = 2 n 2 k = 0 n ( n k ) H n k ( x 2 ) H k ( y 2 ) {\displaystyle H_{n}(x+y)=\sum _{k=0}^{n}{n \choose k}H_{k}(x)(2y)^{(n-k)}=2^{-{\frac {n}{2}}}\cdot \sum _{k=0}^{n}{n \choose k}H_{n-k}\left(x{\sqrt {2}}\right)H_{k}\left(y{\sqrt {2}}\right)}
H n ( m ) ( x ) = 2 m n ! ( n m ) ! H n m ( x ) = 2 m m ! ( n m ) H n m ( x ) {\displaystyle {\mathit {H}}_{n}^{(m)}(x)=2^{m}\cdot {\frac {n!}{(n-m)!}}\cdot {\mathit {H}}_{n-m}(x)=2^{m}\cdot m!\cdot {n \choose m}\cdot {\mathit {H}}_{n-m}(x)\,\!}
H n + 1 ( x ) = 2 x H n ( x ) 2 n H n 1 ( x ) {\displaystyle H_{n+1}(x)=2xH_{n}(x)-2nH_{n-1}(x)\,\!}

Relations till andra funktioner

Laguerrepolynom

Hermitepolynomen är relaterade till Laguerrepolynomen enligt

H 2 n ( x ) = ( 4 ) n n ! L n ( 1 / 2 ) ( x 2 ) = 4 n n ! i = 0 n ( 1 ) n i ( n 1 2 n i ) x 2 i i ! {\displaystyle H_{2n}(x)=(-4)^{n}\,n!\,L_{n}^{(-1/2)}(x^{2})=4^{n}\,n!\sum _{i=0}^{n}(-1)^{n-i}{n-{\frac {1}{2}} \choose n-i}{\frac {x^{2i}}{i!}}\,\!}
H 2 n + 1 ( x ) = 2 ( 4 ) n n ! x L n ( 1 / 2 ) ( x 2 ) = 2 4 n n ! i = 0 n ( 1 ) n i ( n + 1 2 n i ) x 2 i + 1 i ! {\displaystyle H_{2n+1}(x)=2(-4)^{n}\,n!\,x\,L_{n}^{(1/2)}(x^{2})=2\cdot 4^{n}\,n!\sum _{i=0}^{n}(-1)^{n-i}{n+{\frac {1}{2}} \choose n-i}{\frac {x^{2i+1}}{i!}}\,\!} .

Relation till generaliserade hypergeometriska serier

H 2 n ( x ) = ( 1 ) n ( 2 n ) ! n ! 1 F 1 ( n , 1 2 ; x 2 ) {\displaystyle H_{2n}(x)=(-1)^{n}\,{\frac {(2n)!}{n!}}\,_{1}F_{1}\left(-n,{\frac {1}{2}};x^{2}\right)}
H 2 n + 1 ( x ) = ( 1 ) n ( 2 n + 1 ) ! n ! 2 x 1 F 1 ( n , 3 2 ; x 2 ) {\displaystyle H_{2n+1}(x)=(-1)^{n}\,{\frac {(2n+1)!}{n!}}\,2x\,_{1}F_{1}\left(-n,{\frac {3}{2}};x^{2}\right)}

där 1 F 1 ( a , b ; z ) {\displaystyle \,_{1}F_{1}(a,b;z)} är en generaliserad hypergeometrisk funktion.

Externa länkar

  • Wikimedia Commons har media som rör Hermitepolynom.
    Bilder & media