Abelsche Identität

Die abelsche Identität ist ein Ausdruck für die Wronski-Determinante zweier linear unabhängiger homogener Lösungen einer linearen gewöhnlichen Differentialgleichung zweiter Ordnung. Die Beziehung wurde 1827 von dem norwegischen Mathematiker Niels Henrik Abel (1802–1829) hergeleitet.

Aussage

Gegeben sei die lineare gewöhnliche Differentialgleichung zweiter Ordnung

$y^{″}(x)-a_1(x)y^{\prime }(x)-a_0(x)y(x)=0$.

Für die Wronski-Determinante von zwei Lösungen der Differentialgleichung gilt dann

$W(x)=W(x_0)\exp (\underset{x_0}{\overset{x}{\int }}{a}_1(\xi )\mathrm{d}\xi )$.

Beweis

Nach Definition ist $W(x)=\det \mathrm{\Phi }(x)$, worin $\mathrm{\Phi }$ ein Fundamentalsystem für die Differentialgleichung

$Y^{\prime }(x)=A(x)Y(x)$ mit $A(x):=\left(\begin{array}{cc}0& 1\\ a_0(x)& a_1(x)\end{array}\right)$

ist. Gemäß der liouvilleschen Formel gilt

$W(x)=W(x_0)\exp (\underset{x_0}{\overset{x}{\int }}\mathrm{S}\mathrm{p}\mathrm{u}\mathrm{r}(A(\xi ))\mathrm{d}\xi )=W(x_0)\exp (\underset{x_0}{\overset{x}{\int }}{a}_1(\xi )\mathrm{d}\xi )$.

$◻$

Anwendung

Die abelsche Identität erlaubt es, die Wronski-Determinante bei bekanntem Wert an der Stelle $x_0$ für alle anderen $x$ zu berechnen. Insbesondere ist die Wronski-Determinante konstant, wenn $a_1(x)\equiv 0$ gilt. Aufgrund der Beziehung, die die Wronski-Determinante zwischen zwei linear unabhängigen Lösungen herstellt, erlaubt sie unter Umständen, die eine aus der anderen zu berechnen.

Literatur

• W. Boyce, R. Di Prima: Elementary differential equations and boundary value problems. Wiley, New York 1969.
• Vorlage:Literatur

Weblinks

• Vorlage:MathWorld