Beruflich Dokumente
Kultur Dokumente
Departamento de Matemáticas
MA-841: Ecuaciones Diferenciales Profesor: Eduardo Uresti
Lectura #9
El siguiente teorema da las condiciones bajo las cuales existe una solución única a un
problema con valores iniciales.
Teorema
Si las funciones an (x), an−1 (x),..,a1 (x), a0 (x), y r(x) son continuas en un intervalo I que
contiene al punto x0 , y además la función an (x) no se hace cero en ese intervalo I, entonces
existe una única solución al problema con valores iniciales (3) en el intervalo I.
Asumiremos que las condiciones del teorema anterior siempre se cumplen, y no repe-
tiremos esto para los siguientes resultados. El teorema anterior dice entonces que siempre
hay solución a (3), nuestro propósito ahora es determinarla. El siguiente teorema conduce
a imaginarnos la solución general.
Teorema
Si las funciones y1 , y2 ,...,yk son soluciones a la EDLH (2) en el intervalo I entonces la
combinación lineal
y = c1 y1 + c2 y2 + · · · + ck yk , (4)
también es solución a la EDLH (2) para cualquier valor de las constantes Ci .
y = C1 y1 + C2 y2 + · · · + Cn yn (5)
deberı́a ser la solución general. Pero hay un hueco en esta idea. De la solución general
deberı́an salir todas las soluciones posibles. Es decir que de cualquier problema con valores
iniciales para la homogénea
an (x)y (n) + an−1 (x)y (n−1) + · · · + a1 (x)y 0 + a0 (x)y = 0
+ (6)
y(x ) = y , y 0 (x ) = y 0 , y 00 (x ) = y 00 , · · · , y (n−1) (x ) = y (n−1)
0 0 0 0 0 0 0 0
deberán existir valores particulares para C1 , C2 ,..,Cn para que con esos valores (5) se con-
vierta en la solución buscada en (6). Es decir que deben existir constantes Ci que hagan
que (5) cumpla las condiciones iniciales, es decir:
Este sistema tiene sólución única si el determinante del sistema es diferente de cero es decir
si:
···
y1 (x0 ) y2 (x0 ) yn (x0 )
y 0 (x0 ) y20 (x0 ) yn0 (x0 )
1 ···
y 00 (x ) y200 (x0 ) ··· yn00 (x0 ) 6= 0
1 0 (10)
.. .. .. ..
. . . .
(n−1) (n−1) (n−1)
y
1 (x0 ) y2 (x0 ) · · · yn (x0 )
Esto nos da pie para la siguiente definición:
Definición
Un conjunto de soluciones y1 , y2 ,..,yn a (2) se dice formar un conjunto fundamental de
2
soluciones en el intervalo I si
···
y1 y2 yn
y0 y20 yn0
1 ···
y 00 y200 ··· yn00
1 6= 0 (11)
.. .. .. ..
. . . .
(n−1) (n−1) (n−1)
y
1 y2 ··· yn
en toda x en el intervalo I.
El determinante que aparece a la izquierda de la relación anterior se llama el Wronksiano de
las funciones y1 , y2 ,..,yn . Para complementar los anterires conceptos tomaremos prestadas
algunas ideas de Algebra Lineal:
Definición
Un conjunto de funciones f1 , f2 , .. ,fm se dice linealmente independiente si su Wronskiano
es diferente de cero.
Todo lo anterior lo podemos resumir diciendo que la EDLH está resuelta cuando encon-
tremos n funciones que sean solución a la ED a resolver y que cumplan que su Wronskiano
sea diferente de cero. En siguientes apartados veremos como determinar estos conjuntos.