Mathematik f¨ur Informatiker III Gew¨ohnliche Differentialgleichungen (ODE)
D - 5 Gew¨ohnliche Differentialgleichungen (ODE)
(nachHartmann, Mathematik f¨ur Informatiker)
Definition D.10 (Gew¨ohnliche Differentialgleichungen (ODE))
Eine Gleichung, in der neben der unabh¨angigen Variablenxund einer gesuchten Funktiony=y(x) auch deren Ableitungenddxnyn=y(n)(x) bis zur Ordnungnauftreten, heisstGew¨ohnliche Differentialgleichung n-ter Ordnung (ODE).Sind ausserdem einx0aus dem Definitionsbereich vony(x) und zugeh¨orige Wertey(x0),y(1)(x0), . . . ,y(n−1)(x0) gegeben, so spricht man von einemAnfangswertproblem.
– 49–
Mathematik f¨ur Informatiker III Gew¨ohnliche Differentialgleichungen (ODE)
Separable Differentialgleichungen
Separable Differentialgleichungen
Definition D.11 (Separable Differentialgleichung)
Eine DifferentialgleichungF(x,y,y0) = 0 erster Ordnung heisst separabel, wenn sie sich in der Formy0=f(x)g(y)
darstellen l¨asst, wobeif:I−→R,g:J−→Rstetige Funktionen auf den IntervallenI⊆R,J⊆Rsind.
Satz D.12 (L¨osbarkeit: Anfangswertproblem separabler ODE)
Eine separable Differentialgleichung erster Ordnung mit derAnfangsbedingung y(x0) =y0f¨ur x0∈I , y0∈J, hat im Intervall J eine eindeutige L¨osung y(x) :I−→J, falls
g(y)6= 0 ∀y∈J.
– 50–
Mathematik f¨ur Informatiker III Gew¨ohnliche Differentialgleichungen (ODE)
Separable Differentialgleichungen
Seien
G(y) :=
Zy y0
1
g(y)dy, F(x) :=
Zx x0
f(x)dx die Stammfunktionen vong(y)1 bzw.f(x).
Dabei wurden f¨ur Integrationsvariable und Obergrenze der Integration das gleiche Symbol verwendet.
AufJistG0(y) =g(y)1 6= 0 (Voraussetzung Satz D.12), daher istG streng monoton und besitzt eine UmkehrfunktionG−1. Dann ist aber
y(x) :=G−1(F(x))
die L¨osung des Anfangswertproblemsy0=f(x)g(y),y(x0) =y0.
– 51–
Mathematik f¨ur Informatiker III Gew¨ohnliche Differentialgleichungen (ODE)
Separable Differentialgleichungen
Probe:
G(y(x)) =F(x) =⇒ G0(y(x))y0(x) =F0(x) =g(y(x))1 y0(x) =f(x)
=⇒ y0(x) =f(x)g(y(x)) Anfangswert:y(x0) =y0
F(x0) = 0 =⇒ y(x0) =G−1(F(x0)) =G−1(0) G(y0) = 0 =⇒ G−1(0) =y0
=⇒ G−1(0) =y0=y(x0)
Satz D.13
Das Anfangswertproblem y0(x) =f(x)g(y), mit Funktionen f:I−→R, g:J−→R, und dem Anfangswert y(x0) =y0∈J, hat die eindeutige L¨osung y , die man erh¨alt, wenn man die folgende Gleichung nach y
aufl¨ost: Zy
y0
1 g(y)dy=
Zx x0
f(x)dx
– 52–
Mathematik f¨ur Informatiker III Gew¨ohnliche Differentialgleichungen (ODE)
Lineare Differentialgleichungen erster Ordnung
Lineare Differentialgleichungen erster Ordnung
Definition D.14 (Lineare Differentialgleichung)
Differentialgleichungen, bei denen die Funktiony=y(x) und ihre Ableitungen nur in linearem Zusammenhang auftreten heissenLineare Differentialgleichungen.Lineare Differentialgleichungenerster Ordnunghaben die Form y0+a(x)y=f(x).
Ist die Funktionf(x)≡0 auf der rechten Seite identisch Null, so heisst die Gleichunghomogen, sonstinhomogen.
Die FunktionF(x) auf der rechten Seite heisstQuellfunktion.
– 53–
Mathematik f¨ur Informatiker III Gew¨ohnliche Differentialgleichungen (ODE)
Lineare Differentialgleichungen erster Ordnung
Satz D.15 (L¨osung homogener linearer ODE)
Ist a(x)auf dem Intervall I stetig, so lautet die vollst¨andige L¨osung der linearen Differentialgleichung y0+a(x)y= 0
y(x) =c·e−A(x) wobei c∈Rund A(x)eine Stammfunktion von a(x)ist.
Satz D.16 (L¨osung inhomogener linearer ODE)
Die inhomogen lineare Differentialgleichung y0+a(x)y=f(x), f,a:I−→Rstetig, x0∈I , besitzt die vollst¨andige L¨osungy= Zx
x0
f(t)eA(t)dt+c
·e−A(x)
wobei c∈Rund A(x)eine Stammfunktion von a(x)ist.
– 54–
Mathematik f¨ur Informatiker III Gew¨ohnliche Differentialgleichungen (ODE)
Lineare Differentialgleichungen n-ter Ordnung
Lineare Differentialgleichungen n-ter Ordnung
Definition D.17 (Lineare ODE n-ter Ordnung)
Eine Differentialgleichung der Formy(n)+a1(x)y(n−1)+· · ·+an−1(x)y0+an(x)y =f(x) heisstlineare Differentialgleichung n-ter Ordnung.
Dabei sind die Funktionenf,ai:I−→Rauf dem Intervall stetig.
Dieaiheissen Koeffizientenfunktionen,fheisst Quellfunktion.
Istf= 0, so heisst die Gleichunghomogen, sonstinhomogen.
– 55–
Mathematik f¨ur Informatiker III Gew¨ohnliche Differentialgleichungen (ODE)
Lineare Differentialgleichungen n-ter Ordnung
Satz D.18 (Existenz und Eindeutigkeit der L¨osung)
Seiy(n)+a1(x)y(n−1)+· · ·+an−1(x)y0+an(x)y =f(x) eine lineare Differentialgleichung n-ter Ordnung mit ai,f:I−→Rund x0∈I .
Dann gibt es zu den Anfangswerten
y(x0) =b0, y0(x0) =b1, . . . y(n−1)(x0) =bn−1
genau eine L¨osung y=y(x)dieses Anfangswertproblems.
Diese L¨osung existiert auf dem ganzen Intervall I .
– 56–