Es ist im Wesentlichen ein Ergebnis der linearen Algebra, wobei die Tatsache verwendet wird, dass die fraglichen Funktionen einen reellen Vektorraum bilden und die Ableitung ein linearer Operator ist. Also werde ich mit ein wenig linearer Algebra beginnen:
Lassenv, W
Vektorräume vorbei seinR
oderC
(oder eigentlich irgendein Feld, aber für Differentialgleichungen sind diese beiden von Interesse) und letL : V⟶W _
sei eine lineare Abbildung. Auch lassenb ∈ W
. Wennv ∈ V
ist eine Lösung der GleichungL ( x ) = b
, dann ist die Lösungsmenge der Gleichung genauv + kerL : = { v + x | x ∈ Ker L }
.
Beweis: Wir zeigen zuerst, dass jedes Element vonv + kerL
eine Lösung ist, und dann zeigen wir, dass jede Lösung in istv + kerL
. Der erste Teil ist einfach: Alle Elemente dieser Menge haben die Formv + x
, Wox ∈ KerL
, das istL ( x ) = 0
. So
L ( v + x ) = L ( v ) + L ( x ) = b + 0 = b ,
Wir haben also tatsächlich eine Lösung. Der zweite Teil ist etwas kniffliger: if
v'
ist dann eine Lösung der Gleichung
L (v') = b
. Seit
L ( v ) = b
auch das gibt uns
L (v') = L ( v )
, und durch Linearität erhalten wir
L (v'− v ) = 0
, So
v'− v ∈ KerL
. Aber dann
v'= v + (v'− v )
, welches ist
v
plus ein Element des Kernels, also
v'∈ v + KerL
.
Betrachten wir nun lineare Differentialgleichungen. Sie sind von der Form
Ddt _j− A ja= b ,
Wo
A
ist eine Matrix und
B
irgendeine Funktion (der inhomogene Teil). Jetzt sind die Ableitung und die Matrix linear, also könnten wir stattdessen definieren
L : =Ddt _− A
und schreibe dies als
L ( J) = b .
Seit
L
linear ist, wissen wir durch die obige Theorie, dass die Lösungsmenge eine beliebige Lösung plus der Kern von ist
L
. Die beliebige Lösung ist die besondere Lösung. Der Kern ist die Menge aller zufriedenstellenden Funktionen
L ( J) = 0
, aber das ist nur die homogene Gleichung, also
KerL
ist die Menge aller Lösungen der homogenen Gleichungen. Man könnte sagen, dass es die allgemeine Lösung der homogenen Gleichung ist. Wir nehmen also eine bestimmte Lösung und fügen die allgemeine Lösung zum homogenen Problem hinzu.