Es esencialmente un resultado del álgebra lineal, utilizando el hecho de que las funciones en cuestión forman un espacio vectorial real y la derivada es un operador lineal. Así que voy a empezar con un poco de álgebra lineal:
DejarV, W
ser espacios vectoriales sobreR
oC
(o cualquier campo, en realidad, pero para ecuaciones diferenciales estos dos son de interés), y seaL : V⟶ W
Sea un mapa lineal. también dejasegundo ∈ ancho
. Siv ∈ V
es una solución de la ecuaciónL ( x ) = segundo
, entonces el conjunto solución de la ecuación es exactamentev + kerL : = { v + x | x ∈ ker L }
.
Demostración: primero mostramos que cada elemento dev + kerL
es una solución, y luego mostramos que cada solución está env + kerL
. La primera parte es fácil: todos los elementos de ese conjunto son de la formav + x
, dóndex ∈ kerL
, eso esL ( x ) = 0
. Entonces
L ( v + x ) = L ( v ) + L ( x ) = segundo + 0 = segundo ,
así que de hecho tenemos una solución. La segunda parte es un poco más complicada: si
v′
es una solución de la ecuación, entonces
L (v′) = segundo
. Desde
L ( v ) = segundo
además, esto nos da
L (v′) = L ( v )
, y por linealidad obtenemos
L (v′− v ) = 0
, entonces
v′− v ∈ kerL
. Pero entonces
v′= v + (v′-v ) _
, cual es
v
más un elemento del núcleo, por lo que
v′∈ v + kerL
.
Ahora veamos las ecuaciones diferenciales lineales. son de la forma
ddt _y− A y= segundo ,
dónde
A
es una matriz y
b
alguna función (la parte no homogénea). Ahora la derivada y la matriz son lineales, por lo que podríamos definir
L : =ddt _− un
y escribe esto como
L ( y) = segundo .
Desde
L
es lineal, sabemos por la teoría anterior que el conjunto solución es una solución arbitraria más el núcleo de
L
. La solución arbitraria es la solución particular. El núcleo es el conjunto de todas las funciones que satisfacen
L ( y) = 0
, pero esa es solo la ecuación homogénea, entonces
kerL
es el conjunto de todas las soluciones de las ecuaciones homogéneas. Se podría decir que es la solución general de la ecuación homogénea. Entonces tomamos una solución particular y agregamos la solución general al problema homogéneo.