Kurs:Mathematik (Osnabrück 2009-2011)/Teil II/Vorlesung 54/latex
\setcounter{section}{54}
\zwischenueberschrift{Zur Eindeutigkeit der Lösungen von Differentialgleichungen}
\inputfaktbeweis
{Gewöhnliche Differentialgleichung/Lokal Lipschitz/Eindeutigkeit/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $V$ ein
\definitionsverweis {endlichdimensionaler}{}{}
\definitionsverweis {reeller Vektorraum}{}{,}
\mavergleichskette
{\vergleichskette
{I
}
{ \subseteq }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {reelles Intervall}{}{,}
\mavergleichskette
{\vergleichskette
{U
}
{ \subseteq }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {offene Menge}{}{}
und
\maabbeledisp {f} {I\times U} {V
} {(t,v)} {f(t,v)
} {,}
ein stetiges
\definitionsverweis {Vektorfeld}{}{}
auf $U$}
\faktvoraussetzung {das
\definitionsverweis {lokal einer Lipschitz-Bedingung}{}{}
genügt. Es sei
\mavergleichskette
{\vergleichskette
{J
}
{ \subseteq }{I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein offenes Teilintervall und es seien
\maabbdisp {v_1,v_2} {J} {V
} {}
\definitionsverweis {Lösungen des Anfangswertproblems}{}{}
\mathdisp {v' = f(t,v) \text{ und } v(t_0) = w} { . }
}
\faktfolgerung {Dann ist
\mavergleichskette
{\vergleichskette
{v_1
}
{ = }{v_2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Wir betrachten die Menge
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} { { \left\{ t \in J \mid v_1(t) = v_2(t) \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wegen
\mavergleichskette
{\vergleichskette
{t_0
}
{ \in }{ M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist diese Menge nicht leer.
\teilbeweis {}{}{}
{Zu jedem Punkt
\mavergleichskette
{\vergleichskette
{t
}
{ \in }{I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es nach
Satz 53.4
eine offene Intervallumgebung
\mavergleichskette
{\vergleichskette
{t
}
{ \in }{J'
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
worauf es zu gegebener Anfangsbedingung
\mavergleichskette
{\vergleichskette
{ v(t)
}
{ = }{ v_0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau eine Lösung der Differentialgleichung gibt. Wenn
\mavergleichskette
{\vergleichskette
{t
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, so ist
\mavergleichskette
{\vergleichskette
{ v_1(t)
}
{ = }{ v_2(t)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und daher stimmen
\mathkor {} {v_1} {und} {v_2} {}
in einer offenen Umgebung
\mavergleichskette
{\vergleichskette
{t
}
{ \in }{J'
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit der eindeutigen Lösung und damit untereinander überein. Also ist
\mavergleichskette
{\vergleichskette
{ J'
}
{ \subseteq }{ M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dies bedeutet, dass $M$ eine
\definitionsverweis {offene}{}{}
Teilmenge von $J$ ist.}
{}
\teilbeweis {}{}{}
{Andererseits sind
\mathkor {} {v_1} {und} {v_2} {}
\definitionsverweis {stetig}{}{}
und daher ist nach
Aufgabe 54.1
die Menge $M$ auch
\definitionsverweis {abgeschlossen}{}{}
in $J$.}
{}
Da ein Intervall
nach Satz 21.2 \definitionsverweis {zusammenhängend}{}{}
ist, folgt
\mavergleichskette
{\vergleichskette
{M
}
{ = }{J
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Das folgende Beispiel zeigt, dass ohne die Lipschitz-Bedingung die Lösung eines Anfangswertproblems nicht eindeutig bestimmt ist.
\inputbeispiel{}
{
Wir betrachten das
\definitionsverweis {Anfangswertproblem}{}{}
\mathdisp {v' = 3v^{2/3} \text{ mit } v(0) = 0} { }
zum
\definitionsverweis {zeitunabhängigen Vektorfeld}{}{}
\maabbeledisp {f} {\R} {\R
} {v} {3 v^{2/3} = 3 \sqrt[3]{v^2}
} {.}
Offensichtlich gibt es die
\definitionsverweis {stationäre Lösung}{}{}
\mavergleichskettedisp
{\vergleichskette
{h(t)
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
aber auch
\mavergleichskettedisp
{\vergleichskette
{g(t)
}
{ =} { t^3
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist eine Lösung, wie man durch Nachrechnen sofort bestätigt. Aus diesen beiden Lösungen kann man sich noch weitere Lösungen basteln. Es seien dazu
\mavergleichskette
{\vergleichskette
{a
}
{ < }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
reelle Zahlen. Dann ist auch
\mavergleichskettedisp
{\vergleichskette
{ \varphi(t)
}
{ =} { \begin{cases} (t-a)^3 \text{ für } t < a, \\ 0 \text{ für } a \leq t \leq b , \\ (t-b)^3 \text{ für } t > b, \end{cases}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine Lösung. D.h. es gibt Lösungen, bei denen das Teilchen beliebig lange
\zusatzklammer {im Zeitintervall von
\mathkork {} {a} {nach} {b} {}} {} {}
ruht und danach
\zusatzklammer {und davor} {} {}
sich bewegt. Sobald sich das Teilchen in einem Punkt $\neq 0$ befindet, ist der Bewegungsablauf lokal eindeutig bestimmt.
}
\inputbemerkung
{}
{
Zu einem stetigen Vektorfeld
\maabbeledisp {f} {I\times U} {V
} {(t,v)} {f(t,v)
} {,}
kann man sich fragen, ob es ein maximales Definitionsintervall $J$ für die Lösung eines Anfangswertproblems
\mathdisp {v'=f(t,v) \text{ und } v(t_0)=w} { }
gibt. Dies ist in der Tat der Fall, wenn das Vektorfeld lokal einer Lipschitz-Bedingung genügt! Man kann nämlich alle Teilmengen
\mathdisp {J \subseteq I \text{ offen },\, t_0 \in J, \, \text{ es gibt eine L}\ddot{o}\text{sung } v_J \text{ auf } J} { }
betrachten. Wegen
Satz 54.1
stimmen zwei Lösungen
\mathkor {} {v_J} {und} {v_{J'}} {}
auf dem Durchschnitt
\mathl{J \cap J'}{} überein, und liefern daher eine eindeutige Lösung auf der Vereinigung
\mathl{J \cup J'}{.} Daher enthält die Menge der Teilintervalle, auf denen eine Lösung definiert ist, ein maximales Teilintervall $J$.
Dieses Teilintervall kann kleiner als $I$ sein. Die Grenzen des maximalen Teilintervalls, auf dem eine Lösung definiert ist, heißen auch
\definitionswortenp{Entweichzeiten}{.}
}
\zwischenueberschrift{Gradientenfelder}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Gradient_field.png} }
\end{center}
\bildtext {} }
\bildlizenz { Gradient field.png } {} {Christophe.Finot} {Commons} {CC-by-sa 3.0} {}
\inputdefinition
{}
{
Es sei $V$ ein
\definitionsverweis {euklidischer Vektorraum}{}{,}
\mavergleichskette
{\vergleichskette
{U
}
{ \subseteq }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {offen}{}{}
und
\maabbdisp {h} {U} {\R
} {}
eine
\definitionsverweis {differenzierbare Funktion}{}{.}
Dann nennt man die Abbildung
\maabbeledisp {} {U} {V
} {P} {
\operatorname{Grad} \, h ( P )
} {,}
das zugehörige \definitionswort {Gradientenfeld}{.}
} Ein Gradientenfeld ist also ein zeitunabhängiges Vektorfeld. Man spricht auch von einem \stichwort {Potentialfeld} {,} die Funktion $h$ \zusatzklammer {manchmal $-h$} {} {} heißt dann ein Potential des Vektorfeldes. Wenn $h$ zweimal stetig differenzierbar ist, so genügt nach Lemma 52.10 das zugehörige Gradientenfeld lokal einer Lipschitz-Bedingung.
Die folgende Aussage zeigt, dass die Lösungskurven der zugehörigen Differentialgleichung
\mavergleichskette
{\vergleichskette
{v'
}
{ = }{
\operatorname{Grad} \, h ( v )
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
senkrecht auf den Fasern von $h$ liegen. Die Fasern beschreiben, wo das Potential
\zusatzklammer {oder die Höhenfunktion} {} {}
konstant ist, die Lösungen beschreiben
nach Satz 46.3
den Weg des steilsten Anstiegs. Wenn $h$ beispielsweise die Höhenfunktion eines Gebirges ist, so gibt das Gradientenfeld in jedem Punkt den steilsten Anstieg an und die Trajektorie einer Lösungskurve beschreibt den Verlauf eines Baches
\zusatzklammer {wir behaupten nicht, dass die Bewegung eines Wassermoleküls im Bach durch diese Differentialgleichung bestimmt ist, sondern lediglich, dass der zurückgelegte Weg, also das Bild der Kurve, mit dem Bild der Lösungskurve übereinstimmt} {} {.}
Der Bach verläuft immer senkrecht zu den Höhenlinien.
\inputfaktbeweis
{Gradientenfeld/Lösungen der DG/Senkrecht auf Tangentialraum/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $V$ ein
\definitionsverweis {euklidischer Vektorraum}{}{,}
\mavergleichskette
{\vergleichskette
{U
}
{ \subseteq }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {offen}{}{,}
\maabbdisp {h} {U} {\R
} {}
eine
\definitionsverweis {differenzierbare Funktion}{}{}
und
\maabbeledisp {} {U} {V
} {P} {G(P) =
\operatorname{Grad} \, h ( P )
} {,}
das zugehörige
\definitionsverweis {Gradientenfeld}{}{.}}
\faktvoraussetzung {Es sei
\maabbdisp {\varphi} {J} {U
} {}
eine
\definitionsverweis {Lösung der Differentialgleichung}{}{}
\mavergleichskettedisp
{\vergleichskette
{v'
}
{ =} { G(v)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktfolgerung {Dann steht
\mathl{\varphi'(t)}{}
\definitionsverweis {senkrecht}{}{}
auf dem
\definitionsverweis {Tangentialraum}{}{}
\mathl{T_{\varphi(t)} F}{} der
\definitionsverweis {Faser}{}{}
$F$ von $h$ durch $\varphi(t)$ für
\mavergleichskette
{\vergleichskette
{ t
}
{ \in }{ J
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
für die $\varphi(t)$
\definitionsverweis {reguläre Punkte}{}{}
von $h$ sind.}
\faktzusatz {}
\faktzusatz {}
}
{
Sei
\mavergleichskette
{\vergleichskette
{P
}
{ = }{\varphi(t)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {regulärer Punkt}{}{}
von $h$ und sei
\mavergleichskette
{\vergleichskette
{v
}
{ \in }{ T_P F
}
{ = }{ \operatorname{kern} \left(Dh\right)_{P}
}
{ }{
}
{ }{
}
}
{}{}{}
ein Vektor aus dem
\definitionsverweis {Tangentialraum}{}{.}
Dann gilt direkt
\mavergleichskettedisp
{\vergleichskette
{ \left\langle v , \varphi'(t) \right\rangle
}
{ =} { \left\langle v , G ( \varphi(t) ) \right\rangle
}
{ =} { \left\langle v ,
\operatorname{Grad} \, h ( P ) \right\rangle
}
{ =} { { \left( Dh \right) }_{P} { \left( v \right) }
}
{ =} { 0
}
}
{}{}{.}
\inputbeispiel{}
{
Wir betrachten die \stichwort {Produkt\-abbildung} {}
\maabbeledisp {h} {\R^2} {\R
} {(x,y)} {xy
} {.}
Das zugehörige
\definitionsverweis {Gradientenfeld}{}{}
ist
\maabbeledisp {} {\R^2} {\R^2
} {(x,y)} {G(x,y) = (y,x)
} {.}
Die
\definitionsverweis {Fasern}{}{}
von $h$ sind das Achsenkreuz
\zusatzklammer {die Faser über $0$} {} {}
und die durch
\mathbed {xy=c} {}
{c \neq 0} {}
{} {} {} {,}
gegebenen
\definitionsverweis {Hyperbeln}{}{.}
Die
\definitionsverweis {Lösungen}{}{}
der
\definitionsverweis {linearen Differentialgleichung}{}{}
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} \varphi_1' \\\varphi_2' \end{pmatrix}
}
{ =} { \begin{pmatrix} \varphi_2 \\\varphi_1 \end{pmatrix}
}
{ =} { \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} \begin{pmatrix} \varphi_1 \\\varphi_2 \end{pmatrix}
}
{ } {
}
{ } {
}
}
{}{}{}
sind von der Form
\mavergleichskettedisp
{\vergleichskette
{ \varphi(t)
}
{ =} { (\varphi_1(t), \varphi_2(t))
}
{ =} { ( a \cosh t + b \sinh t , a \sinh t + b \cosh t)
}
{ } {
}
{ } {
}
}
{}{}{}
mit beliebigen
\mavergleichskette
{\vergleichskette
{a,b
}
{ \in }{ \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
wie man direkt nachrechnet und was sich auch aus
Lemma 56.1
bzw.
Aufgabe *****
ergibt. Dabei ist
\mavergleichskette
{\vergleichskette
{ \varphi(0)
}
{ = }{ (a,b)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Für
\mavergleichskette
{\vergleichskette
{a
}
{ = }{b
}
{ = }{ 0
}
{ }{
}
{ }{
}
}
{}{}{}
ist dies die
\definitionsverweis {stationäre Lösung}{}{}
im Nullpunkt, in dem die Produktabbildung nicht
\definitionsverweis {regulär}{}{}
ist. Bei
\mavergleichskette
{\vergleichskette
{a
}
{ = }{b
}
{ = }{1
}
{ }{
}
{ }{}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{ \varphi(t)
}
{ = }{ (e^t,e^t)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
das Bild dieser Lösung ist die obere Halbdiagonale
\zusatzklammer {ohne den Nullpunkt} {} {,}
bei
\mavergleichskette
{\vergleichskette
{a
}
{ = }{b
}
{ = }{-1
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{ \varphi(t)
}
{ = }{ (-e^t,-e^t)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
das Bild dieser Lösung ist die untere Halbdiagonale, bei
\mathkor {} {a=1} {und} {b=-1} {}
ist
\mavergleichskette
{\vergleichskette
{ \varphi(t)
}
{ = }{ (e^{-t},-e^{-t})
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
das Bild dieser Lösung ist die untere Hälfte der Nebendiagonalen, bei
\mathkor {} {a=-1} {und} {b=1} {}
ist
\mavergleichskette
{\vergleichskette
{ \varphi(t)
}
{ = }{ (-e^{-t},e^{-t})
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
das Bild dieser Lösung ist die obere Hälfte der Nebendiagonalen.
Ansonsten treffen die Lösungskurven das Achsenkreuz in einem Punkt
\mathl{\neq (0,0)}{.} Wenn man diesen Punkt als Anfangswert zum Zeitpunkt
\mavergleichskette
{\vergleichskette
{t
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nimmt, so kann man die Lösungskurven als
\mathdisp {(a \cosh t, a \sinh t )} { }
\zusatzklammer {zum Zeitpunkt \mathlk{t=0}{} befindet sich die Lösung auf der $x-$Achse im Punkt \mathlk{(a,0)}{}} {} {,}
und als
\mathdisp {(b \sinh t, b \cosh t )} { }
\zusatzklammer {zum Zeitpunkt
\mavergleichskettek
{\vergleichskettek
{ t
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
befindet sich die Lösung auf der $y-$Achse im Punkt \mathlk{(0,b)}{}} {} {}
realisieren. Die Bahnen dieser Lösungen erfüllen die Gleichung
\mathkor {} {x^2(t)-y^2(t)=a^2} {bzw.} {x^2(t)-y^2(t)=b^2} {,}
d.h. sie sind selbst Hyperbeln.
}
\zwischenueberschrift{Differentialgleichungen höherer Ordnung}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Simple_Harmonic_Motion_Orbit.gif} }
\end{center}
\bildtext {} }
\bildlizenz { Simple Harmonic Motion Orbit.gif } {} {Mazemaster} {Commons} {PD} {}
Viele physikalische Bewegungsprozesse sind nicht \zusatzklammer {wie im Fall eines Löwenzahnfallschirmchens, siehe Vorlesung 37} {} {} dadurch determiniert, dass zu jedem Zeit- und Ortspunkt die Bewegungsrichtung \zusatzklammer {also die gerichtete Geschwindigkeit} {} {} vorgegeben wird, sondern dadurch, dass zu jedem Zeit- und Ortspunkt eine Kraft auf ein Teilchen wirkt, die dieses beschleunigt. In diesem Fall kann die Bewegung also nicht durch die erste Ableitung \zusatzklammer {Geschwindigkeit} {} {} modelliert werden, sondern durch die zweite Ableitung \zusatzklammer {Beschleunigung} {} {.} Typische Beispiele hierzu sind die durch Gravitation oder Federkraft hervorgerufenen Bewegungen.
\inputdefinition
{}
{
Es sei
\mavergleichskette
{\vergleichskette
{I
}
{ \subseteq }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {offenes Intervall}{}{,}
\mavergleichskette
{\vergleichskette
{U
}
{ \subseteq }{ \R^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {offen}{}{}
und
\maabbdisp {h} {I \times U} {\R
} {}
eine
\definitionsverweis {Funktion}{}{.}
Dann nennt man den Ausdruck
\mavergleichskettedisp
{\vergleichskette
{ y^{(n)}
}
{ =} { h { \left( t,y ,y' ,y^{\prime \prime} , \ldots , y^{(n-1)} \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine \definitionswort {Differentialgleichung der Ordnung}{} $n$.
}
Unter einer \stichwort {Lösung einer Differentialgleichung höherer Ordnung} {} versteht man eine $n$-mal differenzierbare Funktion
\maabbeledisp {y} {J} {\R
} {t} {y(t)
} {}
\zusatzklammer {wobei
\mavergleichskettek
{\vergleichskettek
{J
}
{ \subseteq }{I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein offenes Teilintervall ist} {} {}
derart, dass
\mavergleichskettedisp
{\vergleichskette
{ y^{(n)} (t)
}
{ =} { h (t,y(t),y'(t),y^{\prime \prime}(t) , \ldots , y^{(n-1)}(t) )
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{t
}
{ \in }{J
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt.
Differentialgleichungen beliebiger Ordnung können unter Inkaufnahme von neuen Variablen auf ein Differentialgleichungssystem erster Ordnung zurückgeführt werden.
\inputfaktbeweis
{Differentialgleichungen höherer Ordnung/Zugehöriges System erster Ordnung/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{I
}
{ \subseteq }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {Intervall}{}{,}
\mavergleichskette
{\vergleichskette
{U
}
{ \subseteq }{ \R^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {offene Menge}{}{}
und
\maabbdisp {h} {I \times U} {\R
} {}
eine
\definitionsverweis {Funktion}{}{.}}
\faktfolgerung {Dann ist die
\definitionsverweis {Differentialgleichung höherer Ordnung}{}{}
\mavergleichskettedisp
{\vergleichskette
{ y^{(n)}
}
{ =} { h { \left( t,y ,y' ,y^{\prime \prime} , \ldots , y^{(n-1)} \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
über die Beziehung
\mavergleichskettedisp
{\vergleichskette
{v_i
}
{ \defeq} { y^{(i)}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
äquivalent zum
\definitionsverweis {Differentialgleichungssystem}{}{}
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} v_0 \\v_1\\ \vdots\\v_{n-2}\\ v_{n-1} \end{pmatrix}'
}
{ =} { \begin{pmatrix} v_1 \\v_2\\ \vdots\\v_{n-1}\\ h(t, v_0,v_1 , \ldots , v_{n-1}) \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
\teilbeweis {}{}{}
{Wenn
\maabbdisp {y} {J} {\R
} {}
eine
\definitionsverweis {Lösung}{}{}
der
\definitionsverweis {Differentialgleichung höherer Ordnung}{}{}
\mavergleichskettedisp
{\vergleichskette
{ y^{(n)}
}
{ =} { h { \left( t,y ,y' ,y^{\prime \prime} , \ldots , y^{(n-1)} \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist, so sind alle Funktionen
\mavergleichskette
{\vergleichskette
{v_i
}
{ = }{y^{(i)}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{i
}
{ = }{ 0 , \ldots , n-1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {differenzierbar}{}{,}
und es gilt
\mavergleichskette
{\vergleichskette
{v_i'
}
{ = }{ v_{i+1}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{i
}
{ = }{ 0 , \ldots , n-2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nach Definition und schließlich
\mavergleichskettealign
{\vergleichskettealign
{ v_{n-1}'(t)
}
{ =} { { \left( y^{(n-1)} \right) }^\prime (t)
}
{ =} { y^{(n)} (t)
}
{ =} { h { \left( t,y(t) ,y'(t) ,y^{\prime \prime}(t) , \ldots , y^{(n-1)}(t) \right) }
}
{ =} { h { \left( t,v_0(t) ,v_1(t) , v_2(t) , \ldots , v_{n-1}(t) \right) }
}
}
{}
{}{.}}
{}
\teilbeweis {}{}{}
{Wenn umgekehrt
\maabbdisp {v} {J} {\R^n
} {}
eine
\definitionsverweis {Lösung}{}{}
des Differentialgleichungssystems zum Vektorfeld
\maabbeledisp {F} {I \times U} { \R^n
} {(t,v_0 , \ldots , v_{n-1}) } {F(t, v_0 , \ldots , v_{n-1}) = (v_1 , \ldots , v_{n-1}, h(t,v_0,v_1 , \ldots , v_{n-1} ))
} {,}
ist, so ergibt sich sukzessive aus den ersten
\mathl{n-1}{} Gleichungen, dass
\mavergleichskette
{\vergleichskette
{y
}
{ = }{v_0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
$n$-mal
\definitionsverweis {differenzierbar}{}{}
ist, und die letzte Gleichung des Differentialgleichungssystems besagt gerade
\mavergleichskettedisp
{\vergleichskette
{ y^{(n)}(t)
}
{ =} { h { \left( t,y(t) ,y'(t) ,y^{\prime \prime}(t) , \ldots , y^{(n-1)}(t) \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
{}
Mit dieser Umformung ist auch klar, wie sinnvolle Anfangsbedingungen für eine Differentialgleichung höherer Ordnung aussehen. Man muss nicht nur einen Startwert
\mavergleichskette
{\vergleichskette
{ y(t_0)
}
{ = }{ w_0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
sondern auch die höheren Ableitungen
\mavergleichskette
{\vergleichskette
{ y'(t_0)
}
{ = }{ w_1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{ y^{\prime \prime} (t_0)
}
{ = }{ w_2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
usw. festlegen.
| << | Kurs:Mathematik (Osnabrück 2009-2011)/Teil II | >> |
|---|