Wronski-Determinante

Mit Hilfe der Wronski-Determinante, die nach dem polnischen Mathematiker Josef Hoëné-Wroński benannt wurde, kann man skalare Funktionen auf lineare Unabhängigkeit testen, wenn diese hinreichend oft differenzierbar sind. Dies kann insbesondere beim Lösen einer gewöhnlichen Differentialgleichung ein nützliches Hilfsmittel sein.

Definition

Für n reell- oder komplexwertige Funktionen f_{1},\dots ,f_{n} auf einem Intervall I ist die Wronski-Determinante definiert durch

W(f_{1},\dots ,f_{n})(t)={\begin{vmatrix}f_{1}(t)&f_{2}(t)&\dots &f_{n}(t)\\f_{1}^{{(1)}}(t)&f_{2}^{{(1)}}(t)&\dots &f_{n}^{{(1)}}(t)\\\vdots &\vdots &\vdots &\vdots \\f_{1}^{{(n-1)}}(t)&f_{2}^{{(n-1)}}(t)&\dots &f_{n}^{{(n-1)}}(t)\end{vmatrix}},\qquad t\in I,

wobei in der ersten Zeile die Funktionen stehen und in den weiteren Zeilen die hochgestellten Zahlen in Klammern die erste bis (n-1)-te Ableitung bezeichnen.

Die Berechnung der Wronski-Determinante von linearen, gewöhnlichen Differentialgleichungen zweiter Ordnung kann durch die Anwendung der Abelschen Identität vereinfacht werden.

Kriterium für lineare Unabhängigkeit

Kriterium

Gilt W(f_{1},\ldots ,f_{n})(t_{0})\neq 0 für ein t_{0}\in I, so sind die Funktionen f_{1},\ldots ,f_{n} auf dem Intervall I linear unabhängig.

Gegenbeispiel für die Umkehrung

Vorsicht: Aus W(f_{1},\ldots ,f_{n})\equiv 0 folgt nicht die lineare Abhängigkeit der Funktionen f_{1},\ldots ,f_{n}, das heißt, die Umkehrung ist falsch. Es gilt jedoch, dass die Funktionen auf einem Teilbereich linear abhängig sind. Als Beispiel hierfür dienen die auf den reellen Zahlen definierten Funktionen

f_{1}(t)={\begin{cases}0\ ,&{\mbox{falls }}t\leq 0,\\t^{2}\ ,&{\mbox{falls }}t>0,\end{cases}}\qquad {\mbox{und}}\qquad f_{2}(t)={\begin{cases}t^{2}\ ,&{\mbox{falls }}t\leq 0,\\0\ ,&{\mbox{falls }}t>0.\end{cases}}

Für alle t\in {\mathbb  {R}} gilt

W(f_{1},f_{2})(t)={\begin{vmatrix}f_{1}(t)&f_{2}(t)\\f'_{1}(t)&f'_{2}(t)\end{vmatrix}}=0.

Aber \lambda \ f_{1}(t)+\mu \ f_{2}(t)=0 führt für t=1 zu \lambda =0 und für t=-1 zu \mu =0, was die lineare Unabhängigkeit auf t=1 beziehungsweise für t=-1 der beiden Funktionen impliziert. Für t=0 gilt f_{1}(0)=0 und f_{2}(0)=0, was lineare Abhängigkeit in t=0 bedeutet.

Trenner
Basierend auf einem Artikel in: Wikipedia.de
Seitenende
Seite zurück
©  biancahoegel.de
Datum der letzten Änderung:  Jena, den: 04.01. 2018