Ecuaciones Diferenciales

En lo que sigue del curso, nuestro interes se centra en las ecuaciones lineales de orden n
dn y dn−1 y dy
an (x) n
+ an−1 (x) n−1
+ · · · + a1 (x) + a0 (x)y = b(x)
dx dx dx
donde ai (x), b(x) son funciones que dependen de x, y las unicas apariciones de y son sus derivadas. Esta
ecuacion parece un polinomio de grado n, donde los coeficientes son funciones y las potencias derivadas de
distinto orden. Nuestro objetivo sigue siendo encontrar una solucion a esta ecuacion, una funcion y = f (x)
que al reemplazar en la ecuacion diferencial la valide. Este es un problema bastante largo, asi que debemos
partirlo en varias partes. Empecemos:
Si b(x) = 0, decimos que la ecuacion es homogenea. De otro modo, no homogenea.
Vamos a tener tambien un teorema de existencia y unicidad, base para todo lo que vamos a realizar. Si
tomamos la ecuacion de arriba y dividimos por an (x), obtenemos la siguiente ecuacion
dn y dn−1 y dy
n
+ pn−1 (x) n−1
+ · · · + p1 (x) + p0 (x)y = g(x)
dx dx dx
que llamamos forma estandar.
Teorema 0.1. Teorema de Existencia y Unicidad: Si las funciones pi (x) y g(x) son continuas en el intervalo
(a, b) que contiene el punto x0 . Entonces, para cada conjunto de valores iniciales y0 , y1 , y2 , · · · , yn−1 existe
una unica solucion y(x) en el intervalo (a, b) al problema de valor inicial
dn y dn−1 y dy
n
+ pn−1 (x) n−1
+ · · · + p1 (x) + p0 (x)y = g(x)
dx dx dx
y(x0 ) = y0 , y 0 (x0 ) = y1 , · · · y (n−1) (x0 ) = yn−1
Un poco de notacion, para no reescribir a cada rato la misma formula. Vamos a definir el operador
diferencial L
dn y dn−1 y dy
L[y] = + pn−1 + · · · + p1 + p0 y = (Dn + pn−1 Dn−1 + · · · + p1 D + p0 )[y]
dxn dxn−1 dx
Y escribimos la ecuacion diferencial como L[y](x) = g(x). Aqui los pi siguen haciendo referencia a funciones
de x. La razon de pensar en la ecuacion como un operador diferencial esta en las propiedades de linealidad
de la derivada, que son heredadas por el operador diferencial.
L[y1 + y2 ] = L[y1 ] + L[y2 ]; L[cy] = cL[y]
Asi, si tengo y1 , y2 , · · · yk soluciones a la ecuacion homogenea L[y](x) = 0, entonces por linealidad, cualquier
combinacion lineal de estas soluciones sigue siendo una solucion.
L[c1 y1 + c2 y2 + · · · + ck yk ](x) = c1 L[y1 ](x) + c2 L[y2 ](x) + · · · + ck L[yk ](x)
= c1 (0) + c2 (0) + · · · + ck (0)
= 0
Esto se parece a buscar una base para las soluciones de un sistema homogeneo, en algebra lineal. Entonces,
seria lo ideal buscar un conjunto de funciones que, al igual que un conjunto linealmente independiente,
funcionen como una base para todas las posibles soluciones. Supongamos que ya tenemos un conjunto de
dichas soluciones, y que φ(x) es otra solucion a la ecuacion homogenea, L[φ](x) = 0, y x0 un punto en (a, b).
Si podemos encontrar constantes que solucionen el sistema
c1 y1 (x0 ) + · · · + cn yn (x0 ) = φ(x0 )
c1 y10 (x0 ) + · · · + cn yn0 (x0 ) = φ0 (x0 )
.. ..
. = .
c1 y1n−1 (x0 ) + · · · + cn ynn−1 (x0 ) = φn−1 (x0 )

1
tendriamos dos funciones, φ y c1 y1 +· · ·+cn yn soluciones de la ecuacion homogenea, que satisfacen las mismas
condiciones iniciales. Por existencia y unicidad,
φ(x) = c1 y1 (x) + · · · + cn yn (x)
para todo x ∈ (a, b). Esto es, podriamos expresar cualquier solucion en terminos de y1 , · · · yn . Este sistema
tiene una unica solucion para cualquier escogencia de valores iniciales φ(x0 ), φ0 (x0 ), φ(n−1) (x0 ), si la matriz
de coeficientes es invertible, y esto ocurre siempre que
 
 y1 (x0 )
 0 y2 (x0 ) ··· yn (x0 ) 
 y1 (x0 ) y20 (x0 ) ··· yn0 (x0 ) 
 6= 0

 .. ..
 n−1. .
 
n−1

n−1
y
1 (x0 ) y2 (x0 ) · · · yn (x0 )
Este determinante de derivadas tiene nombre propio:
Definición 0.2. Si f1 , f2 , · · · , fn son funciones diferenciables al menos hasta el orden n − 1, definimos el
Wronskiano de f1 , f2 , · · · , fn , como la funcion
 
 f1 (x)
 0 f2 (x) ··· fn (x) 
 f1 (x) f20 (x) ··· fn0 (x) 
W [f1 , f2 , · · · , fn ](x) = 

.. .. 

 n−1 . . 

n−1 n−1
f
1 (x) f2 (x) · · · fn (x)
Asi, el resultado que necesitamos se puede enunciar de la siguiente manera
Teorema 0.3. Si y1 , y2 , · · · yn son soluciones a la ecuacion homogenea L[y](x) = 0,, donde las funciones pi
que aparecen en L son continuas en (a, b), y en algun punto x0 ∈ (a, b) estas funciones satisfacen
W [y1 , y2 , · · · , yn ](x0 ) 6= 0,
entonces cada solucion de la ecuacion homogenea se puede escribir como una combinacion lineal de las
soluciones y1 , y2 , · · · , yn
y(x) = c1 y1 (x) + c2 y2 (x) + · · · + cn yn (x).
Esta combinacion es llamada la solucion general a la ecuacion homogenea. Las soluciones {y1 , · · · yn } se
denominan conjunto fundamental para la ecuacion diferencial.
Se necesita que la matriz de coeficientes sea invertible, y pareceria que esto dependiera de la escogencia
del punto x0 . Sin embargo, esto no es cierto. El wronskiano de las soluciones a la ecuacion homogenea tiene
la propiedad de ser identicamente cero, o siempre distinto de cero, en el intervalo (a, b), y esto se muestra de
la siguiente manera:
Supongamos que hay un punto x0 en la cual el wronskiano es cero. Del algebra lineal, sabemos que cualquier
matriz con determinante cero tiene una columna que es combinacion lineal de las demas. La ultima, digamos.
       
yn (x0 ) y1 (x0 ) y2 (x0 ) yn−1 (x0 )
0
 yn (x0 )  0
 y1 (x0 )  0
 y2 (x0 )  0
 yn−1 (x0 ) 
..  = d1  ..  + d2  ..  + · · · + dn−1  ..
       
 
 .   .   .   . 
(n−1) (n−1) (n−1) (n−1)
yn (x0 ) y1 (x0 ) y2 (x0 ) yn−1 (x0 )

De aqui, pensemos en las funciones yn (x) y d1 y1 (x) + d2 y2 (x) + · · · + dn−1 yn−1 (x). Ambas son soluciones
de la ecuacion homogenea L[y](x) = 0, y satisfacen las mismas condiciones iniciales en x0 . Por existencia y
unicidad, deben ser iguales en un intervalo (a, b) que contiene a x0 . Por ende, las derivadas son iguales y
       
yn (x) y1 (x) y2 (x) yn−1 (x)
 yn0 (x)   y10 (x)   y20 (x)  0
 yn−1 (x) 
..  = d1  ..  + d2  ..  + · · · + dn−1  ..
       
 
 .   .   .   . 
(n−1) (n−1) (n−1) (n−1)
yn (x) y1 (x) y2 (x) yn−1 (x)

2
para todo x ∈ (a, b). Asi, la ultima columna siempre seria combinacion lineal de las otras, y el wronskiano
siempre seria cero en todo el intervalo desde que sea cero en un punto.
Generalizando esta idea, y siguiendo lo que sabemos de algebra lineal, tenemos
Definición 0.4. Las funciones f1 , f2 , · · · , fm se dicen linealmente dependientes en un intervalo (a, b) si al
menos una se puede escribir como combinacion lineal de las otras en (a, b). De otro modo, se dice linealmente
independiente en (a, b)
Esta dependencia es diferente a la de algebra lineal, porque debe valer en cada punto del intervalo. Sin
embargo, en el caso de soluciones a ecuaciones homogeneas, por lo que ya hemos dicho del wronskiano, es
algo mas sencillo. Decimos entonces
Teorema 0.5. Si y1 , y2 , · · · , yn son soluciones a L[y](x) = 0, y las funciones pi (x) presentes en L son
continuas en (a, b), son equivalentes
1. y1 , y2 , · · · , yn son linealmente dependientes en (a, b)
2. El wronskiano W [y1 , y2 , · · · , yn ](x0 ) es cero en algun punto x0 ∈ (a, b)
3. El wronskiano W [y1 , y2 , · · · , yn ](x) es identicamente cero en (a, b)
Si ninguna de estas condiciones vale, el conjunto {y1 , y2 , · · · , yn } se dice un conjunto fundamental de solu-
ciones a la ecuacion diferencial.
Eso me permitiria calcular todas las posibles soluciones a una ecuacion homogenea.
Teorema 0.6. Si {y1 , y2 , · · · , yn } es un conjunto fundamental de soluciones de la ecuacion L[y] = 0, entonces
cualquier solucion a la ecuacion diferencial se escribe como
y = c1 y1 + c2 y2 + · · · + cn yn
Pero necesitamos que exista un conjunto fundamental primero, no?
Teorema 0.7. Una ecuacion diferencial homogenea
dn y dn−1 y dy
n
+ pn−1 (x) n−1 + · · · + p1 (x) + p0 (x)y = 0
dx dx dx
con funciones coeficientes continuas en un intervalo (a, b) siempre tiene un conjunto fundamental.
Todo muy bien de teoria. Pero, de donde conseguimos el conjunto fundamental? Tendriamos que conseguir,
para una ecuacion de orden n, esa cantidad de soluciones linealmente independientes. Y eso no hemos dicho
como hacerlo (existe seguro, pero como se ve, ni idea). Por ahora, practiquemos para lo que se nos viene.
Unos cuantos ejercicios.
1. Usando el Wronskiano, verifique si los conjuntos de funciones dadas son o no linealmente independientes.
a) y1 = x, y2 = x2 , y3 = 4x − 3x2
b) y1 = 0, y2 = x, y3 = ex
c) y1 = 5, y2 = cos2 x, y3 = sin2 x
d) y1 = ex , y2 = e2x , y3 = e−x
e) y1 = ex , y2 = −ex , y3 = x
f) y1 = x + ex , y2 = ex , y3 = x3
2. Verifique si las funciones dadas son un conjunto fundamental de la ecuacion diferencial: compruebe que
son soluciones reemplazando y evaluando, luego verifique si son linealmente independientes usando el
Wronskiano
a) y 00 − y 0 − 12y = 0, y1 = e−3x , y = e4x
b) y 00 −4y = 0, y1 = cosh x, y2 = sinh x. Estas son funciones hiperbolicas, busque como estan definida.
c) 4y 00 − 4y 0 + y = 0, y1 = ex/2 , y2 = xex/2
d) x2 y 00 + xy 0 + y = 0, y1 = cos(ln x), y2 = sin(ln x)
e) y (4) + y 00 = 0, y1 = 1,y2 = x, y3 = cos x, y4 = sin x