Kurs:Analysis II/Kapitel VI: Gewöhnliche Differentialgleichungen/Lineare Differentialgleichungen mit konstanten Koeffizienten (§10)

Aus Wikiversity

< Kurs:Analysis II | Kapitel VI: Gewöhnliche Differentialgleichungen

Wir wollen zum Abschluss dieses Kapitels lineare Differentialgleichungen

m

-ter Ordnung mit konstanten Koeffizienten behandeln. Seien hierzu die Koeffizienten $p_k \in \mathbb{R}$ für $k = 0, 1, \ldots, m$ mit $p_m \neq 0$ sowie $m \in \mathbb{N}$ gewählt und der lineare Differentialoperator wie folgt gegeben:

(1) $\begin{matrix} \mathcal{L}: C^m(\mathbb{R}, \mathbb{C}) \to C^0(\mathbb{R}, \mathbb{C}) \mathrm{\ verm\ddot oge} \\ \mathcal{L}(y)\bigl|_x := p_my^{(m)}(x) + p_{m - 1}y^{(m - 1)}(x) + \ldots + p_1y'(x) + p_0y(x), \quad x \in \mathbb{R}. \end{matrix}$

Inhaltsverzeichnis

1 Definition 1
2 Satz 1 (Komplexes Fundamentalsystem)
- 2.1 Beweis
- 2.2 Bemerkungen
3 Satz 2 (Ansatz vom Typ der rechten Seite)
- 3.1 Beweis
- 3.2 Bemerkungen

[Bearbeiten] Definition 1

Wir nennen

$p(\zeta) := p_m \zeta^m + p_{m - 1} \zeta^{m - 1} + \ldots + p_1 \zeta + p_0, \quad \zeta \in \mathbb{C}$

das zu $\mathcal{L}$ gehörige charakteristische Polynom.

Offenbar gilt die Aussage

(2) $\mathcal{L} \left( e^{\zeta x} \right) = p(\zeta) e^{\zeta x}, \quad x \in \mathbb{R}$ und $\lambda \in \mathbb{C}$ .

Sind also $\lambda_1, \ldots, \lambda_n \in \mathbb{C}$ die $1 \le n \le m$ paarweise verschiedenen Nullstellen des Polynoms $p (ζ)$ , so erhalten wir mit den Funktionen

$e^{\lambda_1 x}, \ldots, e^{\lambda_n x}$

dann $n$ verschiedene Lösungen der Differentialgleichung $\mathcal{L}(y) = 0$ . Nun seien $k_1, \ldots, k_n \in \mathbb{N}$ die Vielfachheiten der Nullstellen $\lambda_1, \ldots, \lambda_n$ mit $k_1 + \ldots + k_n = m$ , also gelte

(3) $p(\zeta) = p_m (\zeta - \lambda_1)^{k_1} \cdot \ldots \cdot (\zeta - \lambda_n)^{k_n}, \quad \zeta \in \mathbb{C}$ .

Für $\zeta \in \mathbb{C}$ und $q = 0, 1, 2, \ldots$ berechnen wir für alle $x \in \mathbb{R}$ die Gleichung

(4) $\begin{matrix} \mathcal{L} \left( x^q e^{\zeta x} \right) = \mathcal{L} \left( \left( \frac{\partial }{\partial \zeta} \right)^q e^{\zeta x} \right) = \sum\limits^m_{j = 0} p_j \left( \frac{\partial }{\partial x} \right)^j \left( \left( \frac{\partial }{\partial \zeta} \right)^q e^{\zeta x} \right) \\ = \left( \frac{\partial }{\partial \zeta} \right)^q \sum\limits^m_{j = 0} p_j \left( \frac{\partial }{\partial x} \right)^j e^{\zeta x} = \left( \frac{\partial }{\partial \zeta} \right)^q \mathcal{L} \left( e^{\zeta x} \right) = \left( \frac{\partial }{\partial \zeta} \right)^q \left\{ p(\zeta) e^{\zeta x} \right\}. \end{matrix}$

Für $j = 1, \ldots, n$ enthält $p (ζ) e ζ x$ den Faktor $(\zeta - \lambda_j)^{k_j}$ und die Produktregel liefert

(5) $\mathcal{L} \left( x^q e^{\lambda_j x} \right) = \left( \frac{\partial }{\partial \zeta} \right)^q \left\{ p(\zeta) e^{\zeta x} \right\} \Bigr|_{\zeta = \lambda_j} = 0$ für $q = 0, 1, \ldots, k_j - 1$ .

Mit den Funktionen

(6) $\begin{matrix} y_{11}(x) = e^{\lambda_1 x}, & y_{12}(x) = x e^{\lambda_1 x}, & \ldots, & y_{1k_1}(x) = x^{k_1 - 1}e^{\lambda_1 x}, & x \in \mathbb{R} \\ \vdots & \vdots & & \vdots & \\ y_{n1}(x) = e^{\lambda_n x}, & y_{n2}(x) = x e^{\lambda_n x}, & \ldots, & y_{nk_n}(x) = x^{k_n - 1}e^{\lambda_n x}, & x \in \mathbb{R} \end{matrix}$

erhalten wir $m$ Lösungen der homogenen Differentialgleichung $\mathcal{L}(y) = 0$ .

[Bearbeiten] Satz 1 (Komplexes Fundamentalsystem)

Die in (6) erklärten Lösungen $\{y_{11}, \ldots, y_{1k_1}, \ldots, y_{n1}, \ldots, y_{nk_n}\}$ der Differentialgleichung $\mathcal{L}(y) = 0$ sind komplex linear unabhängig.

[Bearbeiten] Beweis

1.) Wir zeigen zunächst, dass es zu den paarweise verschiedenen Zahlen $\lambda_1, \ldots, \lambda_n \in \mathbb{C}$ einen Index $k \in \{1, \ldots, n\}$ und eine Zahl $\xi \in \mathbb{C} \setminus \{0\}$ gibt, so dass $\operatorname{Re}\, [(\lambda_j - \lambda_k) \xi] > 0$ für alle $j \neq k$ erfüllt ist. Hierzu betrachten wir die ebene, konvexe Menge

$K := \left\{ z \in \mathbb{C}: z = \sum^n_{k = 1} \mu_k \lambda_k \text{ mit } \mu_k \in [0, 1] \text{ und } \sum^n_{k = 1} \mu_k = 1 \right\}$ .

Offenbar gibt es ein $k \in \{1, \ldots, n\}$ und eine Halbebene

$H:= \{z \in \mathbb{C}: \operatorname{Re}\, [(z - \lambda_k) \xi] > 0\}$

oberhalb einer Gerade durch den Punkt $λ k$ senkrecht zum Vektor $\overline{\xi} \in \mathbb{R}^2 \setminus \{0\}$ , so dass $K \cap \{\mathbb{C} \setminus H\} = \{\lambda_k\}$ erfüllt ist. Somit folgt $\lambda_j \in H$ für alle $j \neq k$ und schließlich $\operatorname{Re}\, [(\lambda_j - \lambda_k) \xi] > 0$ für $j = 1, \ldots, k - 1, k + 1, \ldots, n$ .

2.) Wir zeigen nun indirekt, dass die Funktionen $\{y_{11}, \ldots, y_{nk_n}\}$ linear unabhängig sind. Wären sie nämlich linear abhängig, so gäbe es Polynome $P_1(x), \ldots, P_n(x)$ , die nicht alle identisch verschwinden und

$P_1(x) e^{\lambda_1 x} + \ldots + P_n(x) e^{\lambda_n x} = 0$ für alle $x \in \mathbb{R}$

erfüllen. Wir können o. B. d. A. davon ausgehen, dass alle Polynome nicht identisch verschwinden und beachten

(7) $P_1(z) e^{\lambda_1 z} + \ldots + P_n(z) e^{\lambda_n z} \equiv 0$ für alle $z \in \mathbb{C}$ .

Wählen wir nun gemäß dem Teil 1.) einen Index $k \in \{1, \ldots, n\}$ und eine Zahl $\xi \in \mathbb{C} \setminus \{0\}$ , so betrachten wir die Identität

(8) $P_1(\xi t) e^{(\lambda_1 - \lambda_k) \xi t} + \ldots + P_k(\xi t) + \ldots + P_n(\xi t) e^{(\lambda_n - \lambda_k) \xi t}, t \in \mathbb{R}$ .

Wegen $\operatorname{Re}\, [(\lambda_j - \lambda_k) \xi] > 0$ für $j = 1, \ldots, k - 1, k + 1, \ldots, n$ erhalten wir aus (8) für $t \to -\infty$ die Beziehung $\lim_{t \to -\infty} P_k(\xi t) = 0$ . Somit folgt die Aussage $P_k \equiv 0$ – im Widerspruch zur obigen Annahme.

q.e.d.

[Bearbeiten] Bemerkungen

1. Als Realteile von den komplexen Linearkombinationen der Funktionen (6) erhalten wir ein Fundamentalsystem der homogenen Gleichung $\mathcal{L}(y) = 0$ .
2. Betrachten wir zur konstanten Matrix $P$ aus (3) in §9 die Fundamentallösung $Y(x) := \operatorname{Exp}\,(Px), x \in \mathbb{R}$ des homogenen Systems

$Y'(x) = P \circ Y(x), \quad x \in \mathbb{R}$ ,

so werden wir zum Funktionensystem (6) über die Jordansche Normalform wie in §7 hingeführt die sich in den ersten Halbjahr des Jahres.
3. Nachdem wir ein Fundamentalsystem für die lineare Differentialgleichung mit konstanten Koeffizienten gefunden haben, können wir gemäß Satz 4 in §9 mittels Variation der Konstanten eine Lösung der inhomogenen Gleichung ermitteln.
4. Wenn die rechte Seite der Gleichung eine spezielle Form hat, kann man mit einem Ansatz vom Typ der rechten Seite eine partikuläre Lösung der inhomogenen Differentialgleichung finden.

[Bearbeiten] Satz 2 (Ansatz vom Typ der rechten Seite)

Sei wie oben ein linearer Differentialoperator $m$ -ter Ordnung $\mathcal{L}$ mit konstanten Koeffizienten gegeben. Weiter habe die rechte Seite die Form $f(x) = \varphi(x) e^{\mu x}$ . Dabei ist $\varphi$ ein Polynom vom Grade $M \in \mathbb{N} \cup \{0\}$ und $\mu \in \mathbb{C}$ eine Nullstelle der Ordnung $k \in \mathbb{N} \cup \{0\}$ des charakteristischen Polynoms $p (ζ)$ . Dann besitzt die inhomogene Differentialgleichung $\mathcal{L}(y) = f(x)$ eine spezielle Lösung der Gestalt

$y(x) = x^k (a_0 + a_1x + \ldots + a_Mx^M) e^{\mu x}, \quad x \in \mathbb{R}$

mit geeigneten Koeffizienten $a_0, a_1, \ldots, a_M \in \mathbb{C}$ .

[Bearbeiten] Beweis

Mit Hilfe von Formel (5) berechnen wir für $q = k, \ldots, M + k$ :

$\mathcal{L}(x^qe^{\mu x}) = \left( \frac{\partial }{\partial \zeta} \right)^q \left\{ p(\zeta) e^{\zeta x} \right\} \Bigl|_{\zeta = \mu} = \sum^q_{l = 0} \begin{pmatrix} q \\ l \end{pmatrix} p^{(l)}(\mu) e^{\mu x} x^{q - l}$

$= \sum^q_{l = k} \begin{pmatrix} q \\ l \end{pmatrix} p^{(l)}(\mu) e^{\mu x} x^{q - l} = \begin{pmatrix} q \\ k \end{pmatrix} p^{(k)}(\mu) e^{\mu x} x^{q - k} + \ldots$ .

Da $p^{(k)}(\mu) \neq 0$ erfüllt ist, können wir Koeffizienten $a_0, a_1, \ldots, a_M \in \mathbb{C}$ so finden, dass

$\mathcal{L} \Bigl( x^k (a_0 + a_1x + \ldots + a_Mx^M) e^{\mu x} \Bigr) = \varphi(x) e^{\mu x}, \quad x \in \mathbb{R}$

erfüllt ist.

q.e.d.

[Bearbeiten] Bemerkungen

Die Koeffizienten $a_0, a_1, \ldots, a_M \in \mathbb{C}$ werden durch Einsetzen in die inhomogene Differentialgleichung und Koeffizientenvergleich bestimmt.
Für die lineare Differentialgleichung $\mathcal{L}(y) = f$ mit einer reellen rechten Seite ist mit einer Lösung $y (x)$ auch $\overline{y(x)}$ eine Lösung dieser Differentialgleichung. Somit lösen auch die Funktionen $\operatorname{Re}\, y(x)$ und $\operatorname{Im}\, y(x)$ die Differentialgleichung. Mit der komplexwertigen Lösung erhalten wir also zwei reellwertige Lösungen $\operatorname{Re}\, y(x)$ und $\operatorname{Im}\, y(x)$ .