6 Ecuacin diferencial ordinaria lineal de orden n: deniciones

6.1. Funciones linealmente dependientes y linealmente independientes

Un conjunto de funciones f1 (x), f2 (x), . . . , fn (x) denidas en un intervalo I , es linealmente dependiente si existen c1 , c2 , . . . , cn constantes no todos nulos tales que

c1 f1 (x) + c2 f2 (x) + . . . + cn fn (x) = 0

para todo x I . Si no es linealmente dependiente, es linealmente independiente.

Ejemplo:
f1 (x) = sen(2x) y f2 (x) = sen x cos x son linealmente dependientes en I = R pues 0 = c1 sen(2x) + c2 sen x cos x = (2c1 + c2 ) sen x cos x.
Entonces c1 = 2c2 .

6.1.1. Condicin para que n funciones sean linealmente independientes

Sean f1 (x), f2 (x), . . . , fn (x) funciones derivables n 1 veces. Si

W (f1 , . . . , fn ) =

f1 f1 ... (n1) f1

f2 f2
(n1) f2

. . . fn . . . fn ...
(n1) fn

=0

al menos en un punto de I , entonces f1 , f2 , . . . , fn son linealmente independientes y W (f1 , . . . , fn ) se le denomina Wronskiano de las funciones.

Ejemplo:
sean f1 (x) = em1 x y f2 (x) = em2 x :

W (f1 , f2 ) = W (f1 , f2 ) = 0 si m1 = m2 .

em 1 x m1 em1 x

em 2 x m2 em2 x

= (m2 m1 )e(m1 +m2 )x .

f1 y f2 son linealmente independientes en I = R si m1 = m2 .

6.2. Solucin general de la ecuacin lineal homognea de orden n

6.2.1. Ecuacin diferencial ordinaria de orden n
La e.d.o. lineal de orden n es:

an (x)

dn y dn1 y dy + an1 (x) n1 + . . . + a1 (x) + a0 (x)y = g(x). n dx dx dx

Es no homognea si g(x) = 0. Es homognea si g(x) = 0. 1

6.2.2. Propiedad de las soluciones

Si y1 , y2 , . . . , yk son soluciones de la ecuacin diferencial homognea de orden n en un intervalo I , entonces

y = c1 y1 (x) + c2 y2 (x) + . . . + cn yn (x),

con ci , i = 1, . . . , n constantes arbitrarias, tambin es solucin de la ecuacin en el intervalo. Observacin: Si y1 (x) es solucin, tambin lo es c1 y1 (x), con c1 constante.

y = 0 es solucin siempre.

6.2.3. Conjunto fundamental de soluciones

Un conjunto fundamental de soluciones una e.d.o. lineal homognea de orden n en un intervalo I es un conjunto de n soluciones linealmente independientes. Sean y1 , y2 , . . . , yn un conjunto de soluciones de la e.d.o. lineal homognea de orden n en un intervalo I . Entonces el conjunto de funciones es linealmente independiente si W (y1 , . . . , yn ) = 0 para todo x en el intervalo. Si y1 , y2 , . . . , yn es un conjunto fundamental de soluciones de la ecuacin anterior, entonces la solucin general de la ecuacin en el intervalo es

y = c1 y1 (x) + . . . + cn yn (x),
donde c1 , c2 , . . . , cn son constantes arbitrarias.

Ejemplo:
Sean y1 (x) = ex , y2 (x) = e2x e y3 (x) = e3x soluciones de la ecuacin de tercer orden y 6y +11y 6y = 0. Como

W (e , e , e ) =

2x

3x

ex ex ex

e2x 2e2x 4e2x

e3x 3e3x 9e3x

= 2e6x = 0

para todo nmero real x, {y1 , y2 , y3 } forman un conjunto fundamental de soluciones en R, luego

y = c1 ex + c2 e2x + c3 e3x
es la solucin general de la ecuacin diferencial en el intervalo.

6.3. Solucin general de la ecuacin lineal no homognea de orden n

Toda funcin yp , libre de parmetros, que satisface la ecuacin diferencial ordinaria lineal de orden n no homognea se le llama solucin particular de la ecuacin. Si y1 , y2 , . . . , yn es un sistema fundamental de soluciones de la ecuacin homognea y yp es solucin particular de la no homognea, entonces

y = c1 y1 (x) + c2 y2 (x) + . . . + cn yn (x) + yp

es la solucin general de la ecuacin no homognea, donde c1 , c2 , . . . , cn son constantes arbitrarias. A yc = c1 y1 (x) + c2 y2 (x) + . . . + cn yn (x) se le llama solucin complementaria de la ecuacin no homognea.

Ejercicios del captulo

1. Demuestra que el conjunto f1 (x) = cos2 x, f2 (x) = sen2 x, f3 (x) = sec2 x, f4 (x) = tan2 x es linealmente dependiente en el intervalo (/2, /2). 2. Comprueba si los conjuntos de funciones siguientes son linealmente independientes en el intervalo (, ):

a ) f1 (x) = 0, f2 (x) = x, f3 (x) = ex . b ) f1 (x) = cos 2x, f2 (x) = 1, f3 (x) = cos2 x. c ) f1 (x) = ex , f2 (x) = ex , f3 (x) = senh x.
3. Comprueba en cada caso si las funciones dadas forman un conjunto fundamental de soluciones de la ecuacin diferencial en el intervalo indicado:

a ) y 4y = 0; cosh 2x, senh 2x, (, ). b ) 4y 4y + y = 0; ex/2 , xex/2 , (, ). c ) x2 y + xy + y = 0; cos(ln x), sen(ln x), (0, ). d ) y (4) + y = 0; 1, x, cos x, sen x, (, ).
4. Comprueba que la familia biparamtrica de funciones dadas es la solucin general de la ecuacin no homognea en el intervalo indicado:

a ) y + y = sec x; y = c1 cos x + c2 sen x + x sen x + (cos x) ln(cos x), (/2, /2). b ) 2x2 y + 5xy + y = x2 x; y = c1 x1/2 + c2 x1 +
1 2 1 x x, (0, ). 15 6

Solucin por deduccin de orden

5. Muchas veces una e.d.o. lineal de segundo orden se puede reducir a una de primer orden mediante una sustitucin adecuada. As por ejemplo, sea la ecuacin y + 2y = 0. Al hacer la sustitucin u = y , la ecuacin lineal de segundo orden se transforma en la e.d.o. de primer orden u + 2u = 0. c La solucin es u = ce2x , es decir, y = ce2x . Integrando obtenemos y = ex + c2 ex . 2 6. Sea y1 = ex una solucin de y y = 0 en el intervalo (, ). Encuentra una segunda solucin y2 que tenga la forma y2 = u(x)ex , aplicando tambin la reduccin de orden. 7. En los ejercicios siguientes, y1 (x) es una solucin de las e.d.o. dadas. Encuentra una segunda solucin y2 = u(x)y1 por reduccin de orden:

a ) y + 2y + y = 0, y1 = xex . b ) y + 9y = 0, y1 = sen 3x. c ) y 25y = 0, y1 = e5x .