Hermitesche Differentialgleichung

Hermitesche Differentialgleichung

Die hermiteschen Polynome (nach Charles Hermite) sind Polynome mit folgenden äquivalenten Darstellungen:

H_n(x)=(-1)^n e^{x^2} \frac{\mathrm d^n}{\mathrm{d}x^n} e^{-x^2}

bzw. H_n(x) = e^{x^2/2} \, \left(x - \frac{\mathrm d}{\mathrm{dx}}\right)^n \, e^{-x^2/2}

Inhaltsverzeichnis

Explizite Darstellung

Aus der ersten Darstellung erhält man mit der Formel von Faà di Bruno die explizite Darstellung

 H_n(x)=(-1)^n \sum_{k_1+2k_2=n} \frac{n!}{k_1!k_2!} (-1)^{k_1+k_2} (2x)^{k_1}

also

H0(x) = 1
H1(x) = 2x
H2(x) = (2x)2 − 2 = 4x2 − 2
H3(x) = (2x)3 − 6(2x) = 8x3 − 12x
H4(x) = (2x)4 − 12(2x)2 + 12 = 16x4 − 48x2 + 12

Hermitesche Polynome lassen sich durch folgende Rekursionsformeln berechnen:

\qquad H_{n+1}(x) = 2\,x\, H_n(x) - 2\,n\,H_{n-1}(x)
\qquad H_n'(x) = 2\,n\,H_{n-1}(x)

Da bei jedem Iterationsschritt ein x hinzumultipliziert wird, sieht man schnell, dass Hn(x) ein Polynom von Grade n ist. Der Koeffizient der höchsten Potenz xn ist 2n. Für gerade n treten ausschließlich gerade Potenzen von x auf, entsprechend für ungerade n nur ungerade Potenzen, was sich mathematisch durch die Identität

H_n(-x) = (-1)^n \cdot H_n(x)

ausdrücken lässt.


Die rekursive Darstellung der o.g. Hermiteschen Polynome lässt sich durch die einfache Substitution n' = n + 1 auch wie folgt schreiben:

H_{n}(x) = 2xH_{n-1}(x)-2(n-1)H_{n-2}(x) \,\,\,\,\,\quad\quad (n=0,1,\ldots)

Mit Hilfe der bekannten Anfangsbedingungen H0(x) = 1 und H1(x) = 2x lassen sich die Funktionswerte mit folgender rekursiver Pascal-Funktion leicht berechnen:

Function Hermite(n:Byte;x:Extended):Extended;
Begin
 If n=0 Then Hermite:=1
        Else If n=1 Then Hermite:=2*x
                    Else Hermite:=2*x*Hermite(n-1,x)-2*(n-1)*Hermite(n-2,x)
End;

Die allgemeinere Ableitungsformel H_{n}^{(m)}(x)=2nH_{n-1}^{m-1}(x) lässt sich wie folgt umsetzen:

Function HermiteAbleitung(n,m:Byte;x:Extended):Extended;
Begin
 If m=0 Then HermiteAbleitung:=Hermite(n,x)
        Else
  If n<m Then HermiteAbleitung:=0
         Else If m=1 Then HermiteAbleitung:=2*n*Hermite(n-1,x)
                     Else HermiteAbleitung:=2*n*HermiteAbleitung(n-1,m-1,x)
End;


Die hermiteschen Polynome (mit einem festen n) sind die Lösungen einer linearen Differentialgleichung zweiter Ordnung:

H_n''(x) - 2\,x\cdot H_n'(x) + 2\,n\cdot H_n(x)=0,\qquad   (n=0,1,2...).

Orthogonalität

Die hermiteschen Polynome erfüllen bezüglich der Gewichtsfunktion \varrho = e^{-x^2} die Orthogonalitätsrelation

\int\limits_{-\infty}^{+\infty} e^{-x^2} \cdot H_n(x)\cdot H_m(x) \, dx=  2^n \cdot n! \cdot \sqrt{\pi} \cdot \delta_{nm}.

Das heißt, dass bestimmte reelle Funktionen nach den hermiteschen Polynomen in eine Reihe entwickelt werden können.

Andere Darstellung der hermiteschen Polynome

Eine andere Definitionsmöglichkeit der hermiteschen Polynome ist

H_n(x)=(-1)^n e^{x^2/2} \frac{\mathrm d^n}{\mathrm{d}x^n} e^{-x^2/2}.

Sie sind bezüglich der Gewichtsfunktion \varrho(x) = e^{-x^2/2} orthogonal

\int\limits_{-\infty}^{\infty} e^{-x^2/2} \, H_n(x) \, H_m(x) \, dx = \sqrt{2\,\pi} \, n! \, \delta_{mn}

und erfüllen die Differentialgleichung

y'' + x\,y' + n\, y=0.

Sie lassen sich rekursiv durch

H_{n+1}(x) = x\,H_n(x) - n\,H_{n-1}(x)

bestimmen.

Anwendung

Ihre Bedeutung erhalten die Hermite-Polynome durch ihre vielseitige Anwendbarkeit in der Physik. Zum Beispiel werden sie zur Konstruktion der orthonormierten Lösungsfunktionen des quantenmechanischen harmonischen Oszillators benötigt. Diese entsprechen den hermiteschen Funktionen, die man durch Multiplikation mit der gaußschen Normalverteilung und geeigneter Normierung erhält.

Eine weitere Anwendung finden Sie in der Finite-Elemente-Methode als Formfunktionen.

Siehe auch

Formel von Faà di Bruno

Literatur


Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Hermitesche Polynome — Die hermiteschen Polynome (nach Charles Hermite) sind Polynome mit folgenden äquivalenten Darstellungen: bzw. Inhaltsverzeichnis …   Deutsch Wikipedia

  • Lineare gewöhnliche Differentialgleichung — Lineare gewöhnliche Differentialgleichungen bzw. lineare gewöhnliche Differentialgleichungssysteme sind eine wichtige Klasse von gewöhnlichen Differentialgleichungen. Inhaltsverzeichnis 1 Definition 2 Spezialfälle 3 Globale Existenz und… …   Deutsch Wikipedia

  • Charles Hermite — (ca. 1887). Charles Hermite (* 24. Dezember 1822 in Dieuze (Lothringen); † 14. Januar 1901 in Paris) war ein französischer Mathematiker. Inhaltsverzeichnis …   Deutsch Wikipedia

  • Hermite — ist der Name folgender Personen: Charles Hermite (1822 1901), französischer Mathematiker François Tristan l’Hermite (1601 1655), französischer Schriftsteller Jacques L’Hermite (1582 1624), holländischer Admiral Siehe auch: Hermite Inseln, eine… …   Deutsch Wikipedia

  • Auflösbar — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Euklidisch — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Fehlstand — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Integrabel — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Kollinear — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Kopunktal — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”