7.2. Variation der Konstanten¶
Bisher haben wir uns auf den Fall von linearen, homogenen Differentialgleichungen beschränkt. Das heißt wir haben nur den Spezialfall ohne Störfunktion, d.h., \(b(x) \equiv 0\) diskutiert. Im Folgenden wollen wir nun inhomogene lineare Differentialgleichungen der Forn
betrachten, wobei \(a,b\colon I\to\R\) stetige Funktionen auf dem offenen Intervall \(I\subset\R\) sind. Für einen beliebigen Punkt \(x_0\in I\) und einen Anfangswert \(c\in\R\) suchen wir eine Lösung \(\varphi\colon I\to\R\) der Differentialgleichung die der Anfangsbedingung \(\varphi(x_0) = c\) genügt.
Da eine Trennung der Variablen aus Kapitel Trennung der Variablen in diesem Fall nicht zum Ziel führt, wollen wir eine andere wichtige Technik zur analytischen Lösung von gewöhnlichen Differentialgleichungen untersuchen. Die sogenannte Variation der Konstanten ist ein Verfahren zur Bestimmung einer speziellen Lösung einer inhomogenen linearen Differentialgleichung erster Ordnung. Die einzige Zutat, die diese Technik voraussetzt, ist das Vorliegen einer Lösung der zugehörigen homogenen Differentialgleichung
Aus Satz \ref{satz:ode_lin_hom} wissen wir bereits, dass diese von der folgenden Form sind
Der folgende Satz beschreibt analytische Lösungen der inhomogenen Differentialgleichung basierend auf der Lösung \(\varphi_0\) der zugehörigen homogenen Differentialgleichung.
(Variation der Konstanten)
Sei \(I\subset\R\) ein offenes Intervall und seien \(a,b\colon I\to\R\) zwei stetige Funktionen. Dann gibt es zu einem beliebigen Punkt \(x_0\in\ I\) und einem Anfangswert \(c\in\R\) eine eindeutige Lösung \(\varphi\colon I\to\R\) der linearen, inhomogenen Differentialgleichung erster Ordnung
unter der Anfangsbedingung \(\varphi(x_0) = c\). Die Lösung hat die Form
wobei
Proof. Sei \(\varphi_0\) eine Lösung der zugehörigen homogenen Differentialgleichung und \(\varphi\) die zu bestimmende Lösung der inhomogenen Differentialgleichung. Wir betrachten nun eine sogenannte Ansatzfunktion \(u\) mit
Durch Multiplikation mit \(\varphi_0\) lässt sich der Ausdruck dieser Funktion nun umstellen zur unbekannten Lösung \(\varphi\) mit
Setzen wir diesen Ausdruck nun in die inhomogene Differentialgleichung ein, so erhalten wir für alle \(x \in I\)
Durch Anwendung der Produkt- und Kettenregel der Differentiation und des Hauptsatzes der Differential- und Integralrechnung lässt sich die linke Seite der Gleichung noch vereinfachen zu
Wir erkennen, dass sich die Terme auf der linken und rechten Seite von \eqref{eq:dgl_inhomogen_u} teilweise annullieren wodurch wir die folgende einfache Darstellung der Funktion \(b\) erhalten:
Multiplizieren wir diese Gleichung wiederum mit \(\varphi_0^{-1}\), so erhalten wir die folgende Darstellung der Ableitung von \(u\) mit
Somit können wir die unbekannte Funktion \(u\) charakterisieren als Stammfunktion durch
wobei \(C \in \R\) eine Integrationskonstante ist. Setzen wir dies nun in die Gleichung \eqref{eq:dgl_inhomogen_varphi} für die Lösung \(\varphi\) der inhomogenen Differentialgleichung ein, so erhalten wir für alle \(x \in I\):
Zur Bestimmung der Integrationskonstante \(C\) setzen wir \(x = x_0\) und sehen durch Anwendung der Anfangswertbedingung
Damit ist nun die Aussage des Satzes vollständig bewiesen.
Im folgenden Beispiel wollen wir das Verfahren der Variation der Konstanten nutzen, um die analytische Lösung einer inhomogenen Differentialgleichung herzuleiten.
(Variation der Konstanten)
Wir betrachten die folgende lineare, inhomogene Differentialgleichung erster Ordnung
für die die Anfangsbedingung \(y(0) = c\) mit \(c \in \R\) erfüllt sein soll. Die zugehörige homogene Differentialgleichung \(y^\prime(x) = 2x\cdot y(x)\) besitzt nach Satz \ref{satz:ode_lin_hom} Lösungen der Form
Wir erhalten eine Lösung \(\varphi\colon\R\to\R\) der inhomogenen Gleichung \eqref{eq:dgl_inhomogen} unter der Anfangsbedingung \(\varphi(0) = c\) durch
Wir können glücklicherweise dieses Integral weiter berechnen indem wir die Substitution \(s\coloneqq t^2\) anwenden und darüber hinaus partielle Integration durchführen. Damit erhält man
und somit insgesamt die Lösung der inhomogenen Differentialgleichung \eqref{eq:dgl_inhomogen} mit