Kurs:Mathematik (Osnabrück 2009-2011)/Teil II/Vorlesung 39/latex
\setcounter{section}{39}
\zwischenueberschrift{Gewöhnliche Differentialgleichungen mit getrennten Variablen}
\inputdefinition
{}
{
Eine
\definitionsverweis {Differentialgleichung}{}{}
der Form
\mavergleichskettedisp
{\vergleichskette
{y'
}
{ =} {g(t) \cdot h(y)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit zwei
\definitionsverweis {Funktionen}{}{}
\zusatzklammer {dabei sind
\mathkor {} {I} {und} {J} {}
\definitionsverweis {reelle Intervalle}{}{}} {} {}
\maabbeledisp {g} {I} {\R
} {t} {g(t)
} {,}
und
\maabbeledisp {h} {J} {\R
} {y} {h(y)
} {,}
heißt \definitionswort {gewöhnliche Differentialgleichung mit getrennten Variablen}{.}
}
Eine Differentialgleichung mit getrennten Variablen ist auf der Produktmenge
\mavergleichskette
{\vergleichskette
{U
}
{ = }{I \times J
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
definiert. Diese ist offen, wenn
\mathkor {} {I} {und} {J} {}
offen sind. Eine homogene lineare Differentialgleichung
\mavergleichskette
{\vergleichskette
{ y'
}
{ = }{g(t) y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
besitzt offenbar getrennte Variablen
\zusatzklammer {mit
\mavergleichskettek
{\vergleichskettek
{h(y)
}
{ = }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {,}
dagegen besitzt eine inhomogene lineare Differentialgleichung im Allgemeinen keine getrennten Variablen. Die Differentialgleichungen mit getrennten Variablen lassen sich durch Integrieren lösen. Wenn
\mavergleichskette
{\vergleichskette
{h(y_0)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, so bestätigt man direkt die konstante Lösung
\mavergleichskette
{\vergleichskette
{y(t)
}
{ = }{y_0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Daher beschränken wir uns im Folgenden auf die Situation, dass $h$ keine Nullstelle besitzt. Die Grundidee ist dann, in der Gleichung
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ y'(t) }{ h(y(t)) } }
}
{ =} {g(t)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die beiden Seiten zu integrieren, wobei man links die Substitutionsregel anwendet.
\inputfaktbeweis
{Gewöhnliche Differentialgleichung/Getrennte Variablen/Lösungsexistenz/Fakt}
{Satz}
{}
{
\faktsituation {Es sei
\mavergleichskettedisp
{\vergleichskette
{y'
}
{ =} {g(t) \cdot h(y)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine
\definitionsverweis {Differentialgleichung mit getrennten Variablen}{}{}}
\faktvoraussetzung {mit
\definitionsverweis {stetigen Funktionen}{}{}
\maabbeledisp {g} {I} {\R
} {t} {g(t)
} {,}
und
\maabbeledisp {h} {J} {\R
} {y} {h(y)
} {,}
wobei $h$ keine Nullstelle besitze. Es sei $G$ eine
\definitionsverweis {Stammfunktion}{}{}
von $g$ und $H$ eine Stammfunktion von $\frac{1}{h}$. Weiter sei
\mavergleichskette
{\vergleichskette
{I'
}
{ \subseteq }{I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Teilintervall mit
\mavergleichskette
{\vergleichskette
{ G(I')
}
{ \subseteq }{ H(J)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktfolgerung {Dann ist $H$ eine
\definitionsverweis {bijektive Funktion}{}{}
auf sein Bild
\mathl{H(J)}{} und die
\definitionsverweis {Lösungen}{}{}
dieser Differentialgleichung haben die Form
\mavergleichskettedisp
{\vergleichskette
{y(t)
}
{ =} { H^{-1} (G(t))
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {Wenn zusätzlich die
\definitionsverweis {Anfangsbedingung}{}{}
\mathdisp {y(t_0) = y_0 \text{ mit } (t_0,y_0) \in I \times J} { }
gegeben ist, und wenn die Stammfunktionen die zusätzlichen Eigenschaften
\mavergleichskette
{\vergleichskette
{G(t_0)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ H(y_0)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
erfüllen, so ist
\mavergleichskettedisp
{\vergleichskette
{y(t)
}
{ =} {H^{-1} (G(t))
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die eindeutige
\definitionsverweis {Lösung des Anfangswertproblems}{}{.}}
\faktzusatz {}
}
{
\teilbeweis {}{}{}
{Da $h$ stetig ist und keine Nullstelle besitzt, ist $h$ bzw. $\frac{1}{h}$
nach dem Zwischenwertsatz
entweder stets positiv oder stets negativ, sodass $H$
nach Satz 28.5
\definitionsverweis {streng monoton}{}{}
und daher
nach Aufgabe *****
\definitionsverweis {injektiv}{}{}
\zusatzklammer {also bijektiv auf sein Bild} {} {}
ist.}
{}
\teilbeweis {}{}{}
{Sei
\mavergleichskette
{\vergleichskette
{ y(t)
}
{ = }{H^{-1}(G(t))
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
wie angegeben. Dann ist nach
Fakt *****
und
Fakt *****
\mavergleichskettealign
{\vergleichskettealign
{ y'(t)
}
{ =} { \frac{G'(t)}{H' { \left( H^{-1}( G(t)) \right) } }
}
{ =} { \frac{g(t)}{ { \frac{ 1 }{ h } } { \left( H^{-1}(G(t)) \right) } }
}
{ =} { g(t) \cdot h { \left( H^{-1}( G(t)) \right) }
}
{ =} { g(t) \cdot h(y(t))
}
}
{}
{}{,}
sodass in der Tat eine Lösung vorliegt.}
{}
\teilbeweis {}{}{}
{Es sei nun
\mathl{y(t)}{} eine differenzierbare Funktion, die die Differentialgleichung erfüllt. Daraus folgt
\mavergleichskettedisp
{\vergleichskette
{\int_{ t_1 }^{ t_2 } g(t) \, d t
}
{ =} { \int_{ t_1 }^{ t_2 } \frac{y'(t)}{h(y(t)) } \, d t
}
{ =} { \int_{ y(t_1) }^{ y(t_2) } \frac{1}{h(z) } \, d z
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei wir die
Substitution
\mavergleichskette
{\vergleichskette
{z
}
{ = }{y(t)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
angewendet haben. Für die zugehörigen Stammfunktionen
\zusatzklammer {mit den unteren Integralgrenzen
\mathkork {} {t_1} {bzw.} {y(t_1)} {}} {} {}
bedeutet dies
\mavergleichskette
{\vergleichskette
{G(t)
}
{ = }{H(y(t))
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
also ist
\mavergleichskette
{\vergleichskette
{y(t)
}
{ = }{H^{-1}(G(t))
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
{}
\teilbeweis {}{}{}
{Um die Anfangsbedingung zu erfüllen, kann man
\mathkor {} {t_0} {bzw.} {y_0} {}
als untere Integralgrenzen wählen. Wir zeigen, dass dies die einzige Lösung ist. Es seien also
\mathkor {} {H} {und} {\tilde{H}} {}
zwei Stammfunktionen zu ${ \frac{ 1 }{ h } }$ und
\mathkor {} {G} {und} {\tilde{G}} {}
zwei Stammfunktionen zu $g$ derart, dass sowohl
\mathkor {} {y(t)=H^{-1}(G(t))} {als auch} {\tilde{y}(t)=\tilde{H}^{-1}(\tilde{G}(t))} {}
die Anfangsbedingung erfüllen. D.h. die beiden Funktionen stimmen zum Zeitpunkt $t_0$ überein. Da sich Stammfunktionen nur um eine Konstante unterscheiden, können wir
\mathkor {} {\tilde{H}=H+c} {und} {\tilde{G}=G+d} {}
mit zwei Konstanten
\mavergleichskette
{\vergleichskette
{c,d
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ansetzen. Es gilt also einerseits
\mavergleichskette
{\vergleichskette
{ H(y(t))
}
{ = }{ G(t)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und andererseits
\mavergleichskette
{\vergleichskette
{H(\tilde{y}(t))+c
}
{ = }{\tilde{H}( \tilde{y}(t))
}
{ = }{\tilde{G}(t)
}
{ = }{G(t)+d
}
{ }{
}
}
{}{}{,}
sodass
\mavergleichskette
{\vergleichskette
{H(\tilde{y}(t))-H(y(t))
}
{ = }{d-c
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt, woraus wegen
\mavergleichskette
{\vergleichskette
{ \tilde{y}(t_0)
}
{ = }{y(t_0)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sofort
\mavergleichskette
{\vergleichskette
{ c
}
{ = }{d
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt. Also ist
\mavergleichskette
{\vergleichskette
{ H(\tilde{y}(t))
}
{ = }{G(t)
}
{ = }{H(y(t))
}
{ }{
}
{ }{
}
}
{}{}{}
und somit wegen der Injektivität von $H$ auch
\mavergleichskette
{\vergleichskette
{ \tilde{y}(t)
}
{ = }{y(t)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle $t$.}
{}
Wegen
\mavergleichskettedisp
{\vergleichskette
{ { \left( H+c \right) }^{-1} (G(t)+d)
}
{ =} { H^{-1}(G(t)+d-c)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {wende \mathlk{H+c}{} an} {} {}
genügt es, bei der Stammfunktion zu
\mathl{g(t)}{} eine Konstante zuzulassen, um die allgemeine Lösung zu erhalten. Durch einen Übergang von $G$ nach
\mathl{G+c}{} mit einer geeigneten Konstanten $c$ kann man auch erreichen, dass es ein
\zusatzklammer {echtes} {} {}
Intervall $I'$ gibt mit
\mavergleichskettedisp
{\vergleichskette
{G(I')
}
{ \subseteq} { H(J)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Sowohl orts- als auch zeitunabhängige Differentialgleichungen kann man als Differentialgleichung mit getrennten Variablen auffassen. Für zeitunabhängige Differentialgleichungen erhält man den folgenden Lösungsansatz.
\inputfaktbeweis
{Gewöhnliche Differentialgleichung/Zeitunabhängig/Als getrennte Variablen/Fakt}
{Korollar}
{}
{
\faktsituation {Es sei
\mavergleichskettedisp
{\vergleichskette
{y'
}
{ =} {h(y)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine
\definitionsverweis {zeitunabhängige Differentialgleichung}{}{}
mit einer
\definitionsverweis {stetigen Funktion}{}{}}
\faktvoraussetzung {\maabbeledisp {h} {J} {\R
} {y} {h(y)
} {,}
ohne Nullstelle. Es sei $H$ eine
\definitionsverweis {Stammfunktion}{}{}
von ${ \frac{ 1 }{ h } }$ mit der Umkehrfunktion
\maabbdisp {H^{-1}} {J'} {J
} {.}}
\faktfolgerung {Dann sind die Funktionen
\mathdisp {y(t)=H^{-1}(t+c) \text{ mit } c \in \R} { }
die
\definitionsverweis {Lösungen}{}{}
dieser Differentialgleichung auf dem Intervall\zusatzfussnote {Mit $I+c$ ist das um $c$ verschobene Intervall gemeint. Es ist also
\mathl{I+c= { \left\{ x \in \R \mid x-c \in I \right\} }}{.} Bei
\mavergleichskette
{\vergleichskette
{I
}
{ = }{[a,b]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist also
\mavergleichskette
{\vergleichskette
{I+c
}
{ = }{[a+c,b+c]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
bei
\mavergleichskette
{\vergleichskette
{I
}
{ = }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{\R +c
}
{ = }{ \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {.} {}
\mathl{H (J)-c}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Dies folgt direkt aus Satz 39.2.
Wenn im zeitunabhängigen Fall die Funktion $h$ Nullstellen besitzt, so muss man zuerst diese und die zugehörigen konstanten Lösungen bestimmen und dann den vorstehenden Satz auf die nullstellenfreien Teilintervalle des Definitionsbereiches anwenden.
\inputbeispiel{}
{
Wir betrachten die
\definitionsverweis {zeitunabhängige Differentialgleichung}{}{}
\mavergleichskettedisp
{\vergleichskette
{y'
}
{ =} { { \frac{ 1 }{ y } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{y
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Es ist also
\mavergleichskette
{\vergleichskette
{h(y)
}
{ = }{ { \frac{ 1 }{ y } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und damit müssen wir nach
Korollar 39.3
$y$
\definitionsverweis {integrieren}{}{,}
eine
\definitionsverweis {Stammfunktion}{}{}
dazu ist
\mavergleichskettedisp
{\vergleichskette
{H(y)
}
{ =} { { \frac{ 1 }{ 2 } } y^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Umkehrfunktion berechnet sich aus dem Ansatz
\mavergleichskette
{\vergleichskette
{z
}
{ = }{ { \frac{ 1 }{ 2 } } y^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zu
\mavergleichskette
{\vergleichskette
{y
}
{ = }{\sqrt{2z}
}
{ = }{ H^{-1}(z)
}
{ }{
}
{ }{
}
}
{}{}{.}
Also haben die
\definitionsverweis {Lösungskurven}{}{}
die Gestalt
\mavergleichskettedisp
{\vergleichskette
{y(t)
}
{ =} { \sqrt{2(t +c)}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{c
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
\inputbeispiel{}
{
Wir betrachten die
\definitionsverweis {zeitunabhängige Differentialgleichung}{}{}
\mavergleichskettedisp
{\vergleichskette
{y'
}
{ =} { \sin y
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{y
}
{ \in }{J
}
{ = }{ {]0, \pi[}
}
{ }{
}
{ }{
}
}
{}{}{.}
Nach
Korollar 39.3
müssen wir also
\mathl{{ \frac{ 1 }{ \sin y } }}{}
\definitionsverweis {integrieren}{}{,}
eine
\definitionsverweis {Stammfunktion}{}{}
dazu ist nach
Beispiel 35.5
die Funktion
\maabbeledisp {H} {J} {J' = \R
} {y} {H(y) = \ln { \left( \tan { \frac{ y }{ 2 } } \right) }
} {.}
Die Umkehrfunktion
\mathl{H^{-1}}{} berechnet sich über
\mavergleichskette
{\vergleichskette
{u
}
{ = }{ \ln { \left( \tan { \frac{ y }{ 2 } } \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zu
\mavergleichskettedisp
{\vergleichskette
{ H^{-1}(y)
}
{ =} {2 \arctan { \left( e^u \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Also haben die
\definitionsverweis {Lösungskurven}{}{}
die Gestalt
\mavergleichskettedisp
{\vergleichskette
{y(t)
}
{ =} { 2 \arctan { \left( e^{t+c} \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit einem
\mavergleichskette
{\vergleichskette
{c
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
Nach diesen zeitunabhängigen Differentialgleichungen besprechen wir weitere Beispiele für Differentialgleichungen mit getrennten Variablen.
{Gewöhnliche Differentialgleichung/Getrennte Variablen/y' ist g(t)y^2/Fakt}
{Korollar}
{}
{
\faktsituation {Eine
\definitionsverweis {Differentialgleichung}{}{}
der Form
\mavergleichskettedisp
{\vergleichskette
{y'
}
{ =} { g(t) \cdot y^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}}
\faktvoraussetzung {mit
\mavergleichskette
{\vergleichskette
{y
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und einer
\definitionsverweis {stetigen Funktion}{}{}
\maabbeledisp {g} {\R} {\R
} {t} {g(t)
} {,}}
\faktfolgerung {besitzt auf
\mavergleichskette
{\vergleichskette
{I'
}
{ \subseteq }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Lösungen
\mavergleichskettedisp
{\vergleichskette
{y(t)
}
{ =} { - \frac{1}{G(t)}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei $G$ eine Stammfunktion zu $g$ mit
\mavergleichskette
{\vergleichskette
{ G(I')
}
{ \subseteq }{ \R_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sei.}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 39.9. }
\inputbeispiel{}
{
Wir betrachten die
\definitionsverweis {Differentialgleichung mit getrennten Variablen}{}{}
\mavergleichskettedisp
{\vergleichskette
{ y'
}
{ =} {t \cdot y^3
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{y
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Eine
\definitionsverweis {Stammfunktion}{}{}
zu
\mathl{{ \frac{ 1 }{ y^3 } }}{} ist
\mavergleichskette
{\vergleichskette
{H(y)
}
{ = }{ - { \frac{ 1 }{ 2 } } y^{-2}
}
{ = }{z
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {$z$ ist also negativ} {} {}
mit der
\definitionsverweis {Umkehrfunktion}{}{}
\mavergleichskettedisp
{\vergleichskette
{y
}
{ =} {H^{-1}(z)
}
{ =} {\sqrt{ - { \frac{ 1 }{ 2 } } z^{-1} }
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Stammfunktionen zu
\mavergleichskette
{\vergleichskette
{g(t)
}
{ = }{t
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sind
\mathl{{ \frac{ 1 }{ 2 } }t^2 + c}{.} Daher sind die Lösungen der Differentialgleichung von der Form
\mavergleichskettedisp
{\vergleichskette
{ y(t)
}
{ =} { \sqrt{ - { \frac{ 1 }{ 2 } } { \left( { \frac{ 1 }{ 2 } }t^2 + c \right) }^{-1} }
}
{ =} { \sqrt{ { \frac{ -1 }{ t^2 + 2c } } }
}
{ } {
}
{ } {
}
}
{}{}{.}
Hierbei muss $c$ negativ gewählt werden, damit diese Lösung einen nichtleeren Definitionsbereich besitzt. Der Definitionsbereich ist dann das Intervall
\mathl{]{{-\sqrt{-2c}},\sqrt{-2c} [}}{.} Insbesondere sind die Lösungen nur auf einem beschränkten offenen Intervall definiert, obwohl die Differentialgleichung auf ganz $\R^2$ definiert ist. An den Intervallgrenzen strebt
\mathl{y(t)}{} gegen
\mathl{{+\infty}}{,} d. h., die Lösung \anfuehrung{entweicht}{.}
}
\inputbeispiel{}
{
Wir betrachten die
\definitionsverweis {Differentialgleichung mit getrennten Variablen}{}{}
\mavergleichskettedisp
{\vergleichskette
{y'
}
{ =} {- t \cdot y^3
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{y
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Eine
\definitionsverweis {Stammfunktion}{}{}
zu
\mathl{{ \frac{ 1 }{ y^3 } }}{} ist
\mavergleichskette
{\vergleichskette
{H(y)
}
{ = }{- { \frac{ 1 }{ 2 } } y^{-2}
}
{ = }{z
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {$z$ ist also negativ} {} {}
mit der
\definitionsverweis {Umkehrfunktion}{}{}
\mavergleichskettedisp
{\vergleichskette
{y
}
{ =} { H^{-1}(z)
}
{ =} {\sqrt{ - { \frac{ 1 }{ 2 } } z^{-1} }
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Stammfunktionen zu
\mavergleichskette
{\vergleichskette
{g(t)
}
{ = }{-t
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sind
\mathl{- { \frac{ 1 }{ 2 } }t^2 + c}{.} Daher sind die Lösungen der Differentialgleichung von der Form
\mavergleichskettedisp
{\vergleichskette
{ y(t)
}
{ =} { \sqrt{ - { \frac{ 1 }{ 2 } } { \left( - { \frac{ 1 }{ 2 } }t^2 +c \right) }^{-1} }
}
{ =} { \sqrt{ { \frac{ 1 }{ t^2 - 2c } } }
}
{ } {
}
{ } {
}
}
{}{}{.}
Insbesondere erhält man bei
\mavergleichskette
{\vergleichskette
{c
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die auf $\R_+$ definierte Lösung
\mavergleichskettedisp
{\vergleichskette
{ y(t)
}
{ =} { { \frac{ 1 }{ t } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Logistic-curve.svg} }
\end{center}
\bildtext {Eine logistische Funktion} }
\bildlizenz { Logistic-curve.svg } {Qef} {} {Commons} {PD} {}
\inputbeispiel{}
{
Es sei
\mathl{p(t)}{} die Größe einer Population zu einem Zeitpunkt $t$. Wie setzen voraus, dass die Populationsentwicklung
\definitionsverweis {differenzierbar}{}{}
ist; die
\definitionsverweis {Ableitung}{}{}
\mathl{p'(t)}{} repräsentiert dann das
\zusatzklammer {infinitesimale} {} {}
Bevölkerungswachstum zum Zeitpunkt $t$. Den Quotienten
\mavergleichskettedisp
{\vergleichskette
{ r (t)
}
{ =} { \frac{p'(t)}{p(t)}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
nennt man die \stichwort {Wachstumsrate} {} zum Zeitpunkt $t$. Wir fragen uns, inwiefern man den Populationsverlauf aus der Wachstumsrate rekonstruieren kann. Die Wachstumsrate kann von der Zeit
\zusatzklammer {Jahreszeit, Nahrungsvorkommen, Entwicklung von anderen Populationen etc.} {} {}
abhängen, aber auch von der aktuellen Populationsgröße $p$. Die Zeitabhängigkeit der Wachstumsrate beruht auf äußeren Einflüssen, während die Abhängigkeit von der aktuellen Populationsgröße eine innere Dynamik ausdrückt. Sie beruht darauf, dass eine große Population sich hemmend auf die Fortpflanzung auswirkt.
Wir beschränken uns auf eine Situation, wo die Wachstumsrate nur von der Populationsgröße abhängt, nicht aber von sonstigen Einflüssen. Dann wird die Wachstumsrate durch eine Funktion
\mathl{w(p)}{} beschrieben, und die Wachstumsrate zum Zeitpunkt $t$ ist demnach durch
\mavergleichskette
{\vergleichskette
{ r (t)
}
{ = }{ w(p(t))
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben. Die Wachstumsrate wirkt sich auf die Populationsentwicklung aus. Gemäß dem oben formulierten Zusammenhang gilt
\mavergleichskettedisp
{\vergleichskette
{ p'(t)
}
{ =} { p(t) \cdot r (t)
}
{ =} {p(t) \cdot w(p(t))
}
{ } {
}
{ } {
}
}
{}{}{.}
Es liegt also eine
\definitionsverweis {Differentialgleichung}{}{}
der Form
\mavergleichskettedisp
{\vergleichskette
{p'
}
{ =} { p \cdot w(p)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
vor, die
\definitionsverweis {zeitunabhängig}{}{}
ist, sodass insbesondere
\definitionsverweis {getrennte Variablen}{}{}
vorliegen
\zusatzklammer {mit der Funktion
\mavergleichskettek
{\vergleichskettek
{ h(p)
}
{ = }{ p \cdot w(p)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {.}
Bei \stichwort {konstanter Wachstumsrate} {}
\mavergleichskettedisp
{\vergleichskette
{ w(p)
}
{ =} { a
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
liegt die Differentialgleichung
\mavergleichskette
{\vergleichskette
{p'
}
{ = }{ ap
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vor, deren Lösungen die Funktionen
\mathl{ce^{at}}{} sind. Das bedeutet \stichwort {exponentielles Wachstum} {.}
Wenn wir die Wachstumsrate so ansetzen, dass es bei einer gewissen Populationsgröße $g$ kein Wachstum mehr gibt, und bei sehr kleiner Bevölkerung die Wachstumsrate maximal gleich $s$ ist, und dazwischen die Wachstumsrate
\definitionsverweis {linear}{}{}
von $p$ abhängt, so erhält man die Wachstumsrate
\mavergleichskettedisp
{\vergleichskette
{ w(p)
}
{ =} { s { \left( 1 -\frac{1}{ g } p \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und die Differentialgleichung
\mavergleichskettedisp
{\vergleichskette
{p'
}
{ =} {sp { \left( 1 -\frac{1}{ g }p \right) }
}
{ =} {sp -\frac{s}{g} p^2
}
{ } {
}
{ } {
}
}
{}{}{.}
Eine solche Differentialgleichung nennt man \stichwort {logistische Differentialgleichung} {.} Gemäß dem
Lösungsansatz für Differentialgleichungen mit getrennten Variablen
müssen wir eine Stammfunktion zu
\mavergleichskettealign
{\vergleichskettealign
{ { \frac{ 1 }{ s p { \left( 1 - { \frac{ 1 }{ g } } p \right) } } }
}
{ =} { { \frac{ g }{ s } } \cdot { \frac{ 1 }{ p(g-p) } }
}
{ =} { { \frac{ 1 }{ s } } { \left( { \frac{ 1 }{ p } } + { \frac{ 1 }{ g-p } } \right) }
}
{ } {
}
{ } {}
}
{}
{}{}
finden. Eine solche Stammfunktion ist
\mavergleichskettedisp
{\vergleichskette
{ H(p)
}
{ =} {\frac{1}{s} ( \ln p - \ln (g -p))
}
{ =} { \frac{1}{s} \ln \frac{p}{ g - p}
}
{ } {
}
{ } {
}
}
{}{}{.}
Zur Berechnung der
\definitionsverweis {Umkehrfunktion}{}{}
\mathl{H^{-1}}{} lösen wir die Gleichung
\mavergleichskettedisp
{\vergleichskette
{u
}
{ =} { \frac{1}{s} \ln \frac{p}{g-p}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
nach $p$ auf. Es ergibt sich
\mavergleichskettedisp
{\vergleichskette
{ \exp (su)
}
{ =} { \frac{p}{ g-p}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und daraus
\mavergleichskettedisp
{\vergleichskette
{g \cdot \exp (su)
}
{ =} {p+p \cdot \exp (su)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und damit
\mavergleichskettedisp
{\vergleichskette
{p
}
{ =} {\frac{ g \cdot \exp (su) }{1+ \exp (su) }
}
{ =} { \frac{ g }{1+ \exp (-su) }
}
{ } {
}
{ } {
}
}
{}{}{.}
Da die Differentialgleichung zeitunabhängig ist, ist
\mavergleichskettedisp
{\vergleichskette
{p(t)
}
{ =} { \frac{ g }{1+ \exp (- s t) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine Lösung. Bei
\mavergleichskette
{\vergleichskette
{t
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{p(0)
}
{ = }{ { \frac{ g }{ 2 } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
für
\mathl{t \rightarrow + \infty}{} strebt die Lösung gegen $g$
\zusatzklammer {die Grenzbevölkerung} {} {}
und für
\mathl{t \rightarrow - \infty}{} gegen $0$.
}
| << | Kurs:Mathematik (Osnabrück 2009-2011)/Teil II | >> |
|---|