Charakteristische Gleichung

Die charakteristische Gleichung ist in der Theorie der gewöhnlichen Differentialgleichungen ein Hilfsmittel, um Lösungen von linearen Differentialgleichungen mit konstanten Koeffizienten zu berechnen. Durch sie wird die Bestimmung eines Fundamentalsystems der Differentialgleichung auf die Lösung einer Polynomgleichung zurückgeführt.

Ein analoges Verfahren kann auch zur Lösung linearer Differenzengleichungen mit konstanten Koeffizienten verwendet werden.

Leonhard Euler berichtete über diese Lösungsmethode für Differentialgleichungen im Fall konstanter Koeffizienten 1739 in einem Brief an Johann I Bernoulli, noch ohne mehrfache Lösungen der charakteristischen Gleichung zu berücksichtigen. Eine Lösung für eine Differentialgleichung mit mehrfachen Nullstellen in der charakteristischen Gleichung findet sich jedoch dann später in Eulers Institutiones calculi integralis. Weiter haben Augustin-Louis Cauchy und Gaspard Monge dazu geforscht.

Definition

Gegeben sei eine homogene lineare Differentialgleichung $n$ -ter Ordnung der Gestalt

a_{n}y^{(n)}(x)+a_{n-1}y^{(n-1)}(x)+\dotsb +a_{1}y'(x)+a_{0}y(x)=0

für eine gesuchte Funktion $y\colon \mathbb {R} \to \mathbb {C}$ mit konstanten komplexen Koeffizienten $a_{k}\in \mathbb {C}$ , $k=0,\dotsc ,n$ , $a_{n}\neq 0$ . Dann lautet die zugehörige charakteristische Gleichung

a_{n}\lambda ^{n}+a_{n-1}\lambda ^{n-1}+\dotsb +a_{1}\lambda +a_{0}=0

.

Das Polynom

P(\lambda )=\sum _{k=0}^{n}a_{k}\lambda ^{k}

auf der linken Seite der Gleichung wird auch charakteristisches Polynom der Differentialgleichung genannt.

Formal erhält man also die charakteristische Gleichung $P(\lambda )=0$ , indem man die $k$ -te Ableitung von $y$ durch die $k$ -te Potenz der Polynomvariable (hier $\lambda$ genannt) ersetzt.

Lösungen

Gemäß der Theorie linearer Differentialgleichungen bildet die Lösungsmenge einer homogenen linearen Differentialgleichung $n$ -ter Ordnung einen $n$ -dimensionalen Vektorraum. Demnach genügt es für die Bestimmung der allgemeinen Lösung $n$ linear unabhängige Lösungen der Differentialgleichung zu finden. Nach dem Fundamentalsatz der Algebra hat das Polynom $P(\lambda )$ genau $n$ komplexe Nullstellen $\lambda _{1},\dotsc ,\lambda _{n}$ , wenn man diese gemäß ihrer Vielfachheit zählt. Im Folgenden wird dargestellt, wie mit Hilfe dieser Nullstellen der charakteristischen Gleichung stets eine Basis des Lösungsraums der Differentialgleichung, also ein Fundamentalsystem, angegeben werden kann. Ist allgemein $\varphi _{1},\dotsc ,\varphi _{n}$ eine solche Basis, dann ist

y(x)=c_{1}\varphi _{1}(x)+\dotsb +c_{n}\varphi _{n}(x)

mit $c_{1},\dotsc ,c_{n}\in \mathbb {C}$ die allgemeine Lösung der gegebenen Differentialgleichung. Liegt ein Anfangswert- oder Randwertproblem vor, so können anschließend die Koeffizienten $c_{1},\dotsc ,c_{n}$ aus den zusätzlich gegebenen Bedingungen bestimmt werden.

Einfache Lösungen

Der Ansatz $y(x)=e^{\lambda x}$ mit einem unbekannten $\lambda \in \mathbb {C}$ führt wegen $y^{(k)}(x)=\lambda ^{k}e^{\lambda x}$ auf die Gleichung $\sum _{k=0}^{n}a_{k}\lambda ^{k}e^{\lambda x}=0$ und somit nach Division durch $e^{\lambda x}\neq 0$ auf die charakteristische Gleichung. Es gilt also:

Die Funktion

y(x)=e^{\lambda x}

ist genau dann eine Lösung der Differentialgleichung, wenn

\lambda

eine Lösung der charakteristischen Gleichung ist.

Falls nun alle Nullstellen $\lambda _{1},\dotsc ,\lambda _{n}$ voneinander verschieden sind, bekommt man auf diese Weise $n$ verschiedene Lösungen $y_{j}(x)=e^{\lambda _{j}x}$ der Differentialgleichung und es lässt sich zeigen, dass diese auch linear unabhängig sind. Die allgemeine Lösung lautet daher in diesem Fall

y(x)=c_{1}e^{\lambda _{1}x}+\dotsb +c_{n}e^{\lambda _{n}x}

mit frei wählbaren Konstanten $c_{1},\dotsc ,c_{n}\in \mathbb {C}$ .

Mehrfache Lösungen

Ist dagegen $\lambda$ eine mehrfache Lösung der charakteristischen Gleichung, so erhält man auf diese Weise nur eine Lösung $e^{\lambda x}$ , also auch kein Fundamentalsystem mehr. In diesem Fall können aber auf einfache Weise weitere linear unabhängige Lösungen angegeben werden:

Ist

\lambda

eine

m

-fache Nullstelle des charakteristischen Polynoms, dann sind

y_{1}(x)=e^{\lambda x},y_{2}(x)=xe^{\lambda x},\dotsc ,y_{m}(x)=x^{m-1}e^{\lambda x}

linear unabhängige Lösungen der Differentialgleichung.

Komplexe Lösungen bei reeller Gleichung

Im Folgenden seien alle Koeffizienten $a_{0},\dotsc ,a_{n}$ reelle Zahlen. In diesem Fall ist man häufig nur an reellen Lösungen der Differentialgleichung und damit auch an einem reellen Fundamentalsystem interessiert. Ist $\lambda =\alpha +i\beta$ mit $\alpha ,\beta \in \mathbb {R}$ , $\beta \neq 0$ eine komplexe Lösung von $P(\lambda )=0$ , dann ist die konjugiert komplexe Zahl ${\overline {\lambda }}=\alpha -i\beta$ ebenfalls eine Lösung. Diese entsprechen linear unabhängigen komplexen Lösungen $y_{+}(x)=e^{\lambda x}=e^{\alpha x}e^{i\beta x}$ und $y_{-}(x)=e^{{\overline {\lambda }}x}=e^{\alpha x}e^{-i\beta x}$ der Differentialgleichung. Mit Hilfe der eulerschen Formel erhält man hieraus

y_{1}(x)={\frac {y_{+}(x)+y_{-}(x)}{2}}=\operatorname {Re} (y_{+}(x))=e^{\alpha x}\cos(\beta x)

und

y_{2}(x)={\frac {y_{+}(x)-y_{-}(x)}{2i}}=\operatorname {Im} (y_{+}(x))=e^{\alpha x}\sin(\beta x)

als reelle Lösungen der Differentialgleichung. Diese sind ebenfalls linear unabhängig. Analog kann man im Falle mehrfacher komplexer Lösungen jeweils durch Übergang zum Real- und Imaginärteil zu jedem Paar konjugiert komplexer Lösungen zwei linear unabhängige reelle Lösungen konstruieren. So ergeben sich aus den konjugiert komplexen Lösungen $x^{j}e^{(\alpha \pm i\beta )x}$ die beiden reellen Lösungen $x^{j}e^{\alpha x}\cos(\beta x)$ und $x^{j}e^{\alpha x}\sin(\beta x)$ .

Beispiele

Die charakteristische Gleichung der Differentialgleichung $y''+y'-6y=0$ lautet $\lambda ^{2}+\lambda -6=0$ und hat die Lösungen $\lambda _{1}=2$ und $\lambda _{2}=-3$ . Damit erhält man das Fundamentalsystem $y_{1}(x)=e^{2x}$ , $y_{2}(x)=e^{-3x}$ und die allgemeine Lösung der Differentialgleichung lautet $y(x)=c_{1}e^{2x}+c_{2}e^{-3x}$ .
Die Schwingungsgleichung ${\ddot {x}}(t)+\omega _{0}^{2}x(t)=0$ mit $\omega _{0}>0$ hat die charakteristische Gleichung $\lambda ^{2}+\omega _{0}^{2}=0$ mit den konjugiert komplexen Lösungen $\lambda _{1,2}=\pm i\omega _{0}$ . Ein komplexes Fundamentalsystem ist also $e^{i\omega _{0}t},e^{-i\omega _{0}t}$ , ein reelles $\cos(\omega _{0}t),\sin(\omega _{0}t)$ . Die allgemeine Lösung ist also $x(t)=c_{1}\cos(\omega _{0}t)+c_{2}\sin(\omega _{0}t)$ .
Die Differentialgleichung

{y}^{(7)}-16\,{y}^{(6)}+108\,{y}^{(5)}-392\,{y}^{(4)}+804\,{y'''}-880\,{y''}+400\,y'=0

hat die charakteristische Gleichung

{\lambda }^{7}-16\,{\lambda }^{6}+108\,{\lambda }^{5}-392\,{\lambda }^{4}+804\,{\lambda }^{3}-880\,{\lambda }^{2}+400\,\lambda =0

.

Diese hat die sieben Nullstellen (mit Vielfachheit)

0,2,2,3+i,3+i,3-i,3-i

.

Daraus erhält man das reelle Fundamentalsystem

1,e^{2x},xe^{2x},e^{3x}\cos(x),e^{3x}\sin(x),xe^{3x}\cos(x),xe^{3x}\sin(x)

und die allgemeine Lösung

y(x)=c_{1}+c_{2}e^{2x}+c_{3}xe^{2x}+c_{4}e^{3x}\cos(x)+c_{5}e^{3x}\sin(x)+c_{6}xe^{3x}\cos(x)+c_{7}xe^{3x}\sin(x)

.

Literatur

Herbert Amann: Gewöhnliche Differentialgleichungen, 2. Auflage, Gruyter – de Gruyter Lehrbücher, Berlin New York 1995, ISBN 3-11-014582-0, Abschnitt 14, S. 205–217.

Einzelnachweise

↑ Ilja Bronstein u. a.: Taschenbuch der Mathematik. 7. Auflage. Wissenschaftlicher Verlag Harri Deutsch, Frankfurt, 2008, ISBN 978-3-8171-2007-9, S. 559 (eingeschränkte Vorschau in der Google-Buchsuche).
↑ E863 -- Der Briefwechsel zwischen Leonhard Euler und Johann I Bernoulli, 1727–1740. Veröffentlicht z. B. im dritten Teil der Serie von G. Eneström, Bibl. math. 63, 1905, S. 37.
↑ Institutiones calculi integralis, 1768–1770, Zweiter Teil, Kapitel 4, Problem 102.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Ilja Bronstein u. a.: Taschenbuch der Mathematik. 7. Auflage. Wissenschaftlicher Verlag Harri Deutsch, Frankfurt, 2008, ISBN 978-3-8171-2007-9, S. 559 (eingeschränkte Vorschau in der Google-Buchsuche).

[2] E863 -- Der Briefwechsel zwischen Leonhard Euler und Johann I Bernoulli, 1727–1740. Veröffentlicht z. B. im dritten Teil der Serie von G. Eneström, Bibl. math. 63, 1905, S. 37.

[3] Institutiones calculi integralis, 1768–1770, Zweiter Teil, Kapitel 4, Problem 102.