C10 Lineales Orden Superior PDF

607 Anlisis matemtico para Ingeniera.
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
CAPTULO 10.
Ecuaciones diferenciales lineales de orden
superior
En este captulo se estudian las ecuaciones diferenciales lineales de

orden superior.
Desde que se comenzaron a estudiar las ecuaciones diferenciales ha
resultado evidente que es difcil obtener resultados muy generales que
permitan obtener las soluciones de un tipo determinado de ecuacin. Una
excepcin a esta carencia de una teora general para resolver ecuaciones
diferenciales se presenta en el estudio de las ecuaciones diferenciales lineales
y en particular de las que tienen coeficientes constantes.
En una ecuacin diferencial lineal de orden n homognea, el conjunto de
soluciones tiene estructura de espacio vectorial de dimensin n, por lo que
basta encontrar n soluciones linealmente independientes para obtener la
solucin general. El conjunto de soluciones de cualquier ecuacin diferencial
lineal de orden n completa tiene estructura de espacio afn, que tiene como
espacio vectorial asociado el conjunto de soluciones de la ecuacin
homognea asociada. En consecuencia, si se conoce la solucin general de la
ecuacin homognea asociada, para tener la solucin general de la ecuacin
completa es suficiente encontrar un punto de ese espacio afn, es decir, una
solucin particular de esta ecuacin.
608
Captulo 10: Ecuaciones diferenciales
Pero incluso en este caso, a veces, resulta difcil encontrar n soluciones

linealmente independientes de una ecuacin diferencial lineal homognea.
Solamente en el caso ms sencillo, en el que los coeficientes de la ecuacin
son constantes, existe un mtodo general que permite calcular las soluciones
en funcin de los coeficientes de la ecuacin.
Si los coeficientes de la ecuacin diferencial son funciones analticas se
pueden obtener soluciones en forma de series de potencias, y resolver de esta
forma muchas ecuaciones particulares, como las ecuaciones de Legendre y
Bessel, que tienen una importancia especial por sus mltiples aplicaciones en
problemas relativos a vibraciones de membranas, flujos de calor y propagacin
de corrientes elctricas.
Como en el caso general, las ecuaciones diferenciales lineales de orden
superior no siempre pueden ser resueltas explcitamente en trminos de
funciones elementales conocidas, por lo que resulta necesario determinar las
condiciones para poder garantizar la existencia y unicidad de la solucin.
El captulo comienza, en la Seccin 1, con algunas ideas sobre
operadores lineales que permiten simplificar la notacin en el estudio de
ecuaciones diferenciales lineales, y se explicitan los teoremas de existencia y
unicidad de soluciones. En la Seccin 2 se estudia la estructura algebraica de
las soluciones de una ecuacin diferencial lineal. Un estudio algebraico permite
determinar las soluciones de una ecuacin lineal homognea con coeficientes
constantes en la Seccin 3.
En las secciones siguientes se proponen varios mtodos para resolver la
ecuacin no homognea y algunos casos particulares en los que resulta fcil
resolver la ecuacin con coeficientes no constantes. En la Seccin 6 se
Ecuaciones diferenciales 609
resuelven algunas ecuaciones especiales mediante desarrollos en series de

potencias y se termina el captulo con la Seccin 7 en la que se presentan
distintas aplicaciones de estas ecuaciones a la mecnica, a la electrnica y, en
general, a la fsica.
10.1. CONCEPTOS PREVIOS

Definicin 10.1.1:
Una ecuacin diferencial de orden n se denomina lineal si es lineal
respecto a la variable dependiente y, y a todas sus derivadas hasta el orden n,
de modo que se puede expresar de la forma:
P 0 (x)yn) + P 1 (x)yn-1) + ... + P n-1 (x)y' + P n (x)y = G(x)
(10.1.1)
donde P 0 , P 1 , ..., P n son funciones definidas en un intervalo (a, b) de la recta

real.
Definicin 10.1.2:
Se denomina problema de valor inicial o problema de Cauchy de la
ecuacin diferencial de orden n (10.1.1), al problema que consiste en encontrar
una solucin (x) de la ecuacin diferencial que verifique n condiciones
iniciales (x 0 ) = y 0 , (x 0 ) = y 1 , ..., n-1)(x 0 ) = y n-1 , siendo x 0 (a, b), y 0 , y 1 , ...,
y n-1 nmeros reales cualesquiera.
Definicin 10.1.3:
Si las condiciones que debe verificar la solucin estn definidas en dos o
ms puntos diferentes el problema se denomina problema de contorno de
610
una ecuacin diferencial.
10.1.1. El operador diferencial D

El estudio de estas ecuaciones se puede simplificar utilizando una
notacin con operadores.
Definicin 10.1.2:
Sea una familia de funciones reales de variable real infinitamente
derivables en un intervalo (a, b) de la recta real. Se define el operador
diferencial D como una aplicacin de en tal que f , D(f) =
df
.
dx
Definicin 10.1.3:
Dado el operador D, se define D2 = D D como la composicin de
aplicaciones, de forma que D2(f) = (D D)(f) = D(D(f)).
Con esta definicin se tiene que D2 est determinado por D2(f) =
anlogamente el operador Dn queda determinado por Dn(f) =
d nf
dx n
d 2f
dx 2
,y
Sea P(x) una funcin definida en el intervalo (a, b). El producto PDn es un
operador determinado en de forma natural por PD (f) = P
n
x(a, b), P
d nf
dx n
(x) = P(x)
d nf ( x )
dx n
d nf
dx n
tal que,
En particular si P(x) es una funcin constante P(x) = k, k , el operador

kDn, queda determinado por (kDn)(f) = k(Dn(f)) tal que, x(a, b), (kDn)(f(x)) =
d nf ( x )
dx n
, es decir, el segundo miembro de esta igualdad es el producto de un
nmero k por la derivada n-sima de una funcin.

Propiedades del operador D
Dn Dm = Dn+m:
El operador D es lineal, es decir:
f, g se verifica que D(f + g) = D(f) + D(g).
f , k se verifica que D(kf) = kD(f).
10.1.2. El operador lineal L

Definicin 10.1.4:
Sea una familia de funciones reales de variable real infinitamente
derivables en un intervalo (a, b) de la recta real y P 0 (x), P 1 (x), ..., P n (x)
funciones definidas en dicho intervalo. Se denomina operador lineal:
L = P 0 Dn + P 1 Dn-1 + ... + P n
a un operador definido en , tal que f , L(f) = P 0 f n) + P 1 f n-1) + ... + P n f.
Propiedades del operador L
El operador L es lineal, es decir:
f, g se verifica que L(f + g) = L(f) + L(g)
f , k se verifica que L(kf) = kL(f).
La linealidad de L se extiende por induccin a una combinacin lineal de n
612
n
n
funciones de modo que L k i fi = k i L( fi )
i =1
i =1
Utilizando el operador L = P 0 Dn + P 1 Dn-1 + ... + P n la ecuacin diferencial

lineal de orden n, P 0 (x)yn) + P 1 (x)yn-1) + ... + P n-1 (x)y' + P n (x)y = G(x), se
puede expresar de la forma L(y) = G(x).
Si G es la funcin nula la ecuacin diferencial lineal de orden n anterior se
denomina homognea; en caso contrario se denomina no homognea o
completa.
La ecuacin completa L(y) = G(x) tiene asociada la ecuacin homognea
definida mediante el mismo operador, as L(y) = 0 es la ecuacin homognea
asociada a la ecuacin completa.
El orden de la ecuacin anterior L(y) = G(x), que es tambin el del
operador, est determinado por el valor de n. Los puntos en los que la funcin
P 0 (x) se anula se denominan puntos singulares de la ecuacin. Estos puntos
introducen dificultades en su resolucin y requieren un tratamiento especial por
lo que a partir de ahora se supone que P 0 (x) 0 en el intervalo (a, b). En este
caso se puede dividir toda la ecuacin por P 0 (x) y expresarla de la forma:
yn) + P 1 (x)yn-1) + ... + P n-1 (x)y' + P n (x)y = G(x).
El operador lineal asociado L est definido por:
L = Dn + P 1 Dn-1 + ... + P n .
Cuando los operadores tienen coeficientes constantes las propiedades del
operador D permiten realizar operaciones entre ellos utilizando las mismas
reglas que en el caso de operaciones con polinomios. A continuacin se
estudian las caractersticas especiales de estos operadores.
10.1.3. Operadores con coeficientes constantes

Sean A y B dos operadores con coeficientes constantes definidos por:
A = a 0 Dn + a 1 Dn-1 + ... + a n con a 0 , a 1 , ..., a n constantes y
B = b 0 Dn + b 1 Dn-1 + ... + b n con b 0 , b 1 , ..., b n constantes
Si a 0 0 y b 0 0 se dice que los operadores A y B son de orden n.
La suma A + B, el producto AB y el producto por escalares kB son
tambin operadores con coeficientes constantes; adems se verifican todas las
propiedades que tienen las operaciones con polinomios. Para probar esta
afirmacin se demuestra que existe una correspondencia biunvoca entre los
operadores con coeficientes constantes de orden n y los polinomios de grado n,
que conservan estas operaciones.
Al operador con coeficientes constantes A se le asocia un polinomio p A
definido por p A (x) = a 0 xn + a 1 xn-1 + ... + a n que se denomina su polinomio
caracterstico.
Teorema 10.1.1:
Sean A y B operadores con coeficientes constantes de orden n y p A y p B
sus polinomios caractersticos, entonces A = B p A = p B .
Demostracin:
Si p A = p B los dos polinomios tienen el mismo grado y los mismos
coeficientes por lo que los operadores A y B tambin tienen el mismo orden y
los mismos coeficientes y por lo tanto A(f) = B(f), f .
Por otra parte si A = B entonces A(f) = B(f), f . Tomando f(x) = ex,
614
con , se tiene A(ex) = p A ()ex y B(ex) = p B ()ex por lo que p A () =

p B (), y por lo tanto p A (x) = p B (x).
De forma similar se pueden demostrar las siguientes propiedades que
muestran que la correspondencia entre operadores y polinomios conserva las
operaciones:
Propiedades:
1. p A+B = p A + p B .
2. p A.B = p A p B .
3. p A = p A , .
Como consecuencia de todo lo dicho hasta ahora se tiene que el
problema de resolver una ecuacin diferencial homognea con coeficientes
constantes A(y) = 0 se puede reducir a un problema algebraico, que consiste
simplemente en factorizar el polinomio caracterstico, p A (x).
10.1.4. Teorema de existencia y unicidad

Teorema 10.1.2: Teorema de existencia y unicidad
Sea un problema de valor inicial o problema de Cauchy: L(y) = yn) +
P 1 (x)yn-1) + ... + P n-1 (x)y' + P n (x)y = G(x), con las condiciones iniciales, (x 0 ) =
y 0 , (x 0 ) = y 1 , ..., n-1)(x 0 ) = y n-1 con x 0 (a, b), y sean P 1 , P 2 , ..., P n , G,
funciones continuas en el intervalo abierto (a, b). Entonces existe una nica
funcin (x) que es solucin de la ecuacin diferencial L(y) = G(x) y verifica las
condiciones iniciales: (x 0 ) = y 0 , (x 0 ) = y 1 , ..., n-1)(x 0 ) = y n-1 .
Este teorema se obtiene como corolario del teorema de existencia ms
general, y se demuestra como consecuencia del teorema 9.2.1 y 9.2.2 del
captulo 9.
La condicin de continuidad de las derivadas parciales se verifica por el
hecho de ser P 1, P 2 , ..., P n funciones continuas.
Si no es un problema de Cauchy, sino que es un problema de contorno
con las condiciones definidas en a y b, la situacin es muy diferente ya que
aunque P 1 , P 2 , ..., P n y G, sean funciones continuas en el intervalo abierto (a,
b) un problema de contorno puede tener solucin o no tenerla, y en el caso en
que exista solucin sta puede ser nica o ser mltiple.
Ejemplos resueltos
Ejemplo 10.1.1: Expresar la ecuacin diferencial y + 3xy 2y = 0
utilizando el operador D.
Utilizando el operador D la ecuacin diferencial se expresa de la forma:
(D2 + 3xD 2)(y) = 0.
Ejemplo 10.1.2: Demostrar que la ecuacin diferencial y + 2xy + y =
2ex(1 + x) + 2xcos x, tiene una solucin nica que verifica las condiciones
iniciales y(0) = 1 e y(0) = 2.
La ecuacin diferencial es lineal, adems P 1 (x) = 2x, P 2 (x) = 1 y G(x) =
2ex(1 + x) + 2xcos x, son funciones continuas en (, ) por lo tanto aplicando
el teorema 10.1.2 de existencia y unicidad, existe una nica solucin que
verifica que y(0) = 1 e y(0) = 2. Se puede comprobar, derivando y sustituyendo
en la ecuacin, que esta solucin es y(x) = ex + sen x
Ejemplo 10.1.3: Comprobar que y 1 (x) = xsen x e y 2 (x) = 0, son soluciones
de la ecuacin diferencial x2y 2xy + (x2 + 2)y = 0, con las condiciones
616
iniciales y(0) = 0 e y(0) = 0.

y1 (x) = sen x + xcos x y 1 (x) = 2cos x xsen x.
Al sustituir en la ecuacin:
x2(2cos x xsen x) 2x(sen x + xcos x) + (x2 + 2)xsen x = (2x2
2x2)cos x + (x3 2x + (x2 + 2)x)sen x = 0. Adems se verifica que y 1 (0)
= 0 e y1 (0) = 0.
Tambin y 2 (x) = 0 y 2 (x) = 0 y 2 (x) = 0 x2y 2 2xy 2 + (x2 + 2)y 2
= 0, con y 2 (0) = 0 e y 2 (0) = 0. La solucin de este problema de valor inicial no
es nica.
En la ecuacin diferencial expresada de la forma: y
se tiene que las funciones P 1 (x) =
x 2 +2
2
y +
y = 0,
x2
x
x2 + 2
2
y P 2 (x) =
no son continuas en x
x
x2
= 0, por lo tanto el teorema 10.1.2 slo garantiza la existencia de una nica

solucin en intervalos que no contengan el punto 0.
Ejercicios
10.1. Expresar mediante el operador D las siguientes ecuaciones
diferenciales:
a) x2y xy + 2y = xln x
b) b) x2y 2xy + (x2 + 2)y = 0.
10.2. Demostrar que si A y B son dos operadores con coeficientes
constantes de orden n y p A y p B sus polinomios caractersticos,
entonces se verifican las siguientes propiedades.
a) p A+B = p A + p B .
b) p A.B = p A p B .
c) p A = p A , .
10.3. Sean A y B dos operadores con coeficientes constantes cuyos

polinomios caractersticos no tienen races comunes y C = AB.
Demostrar que toda solucin f de la ecuacin diferencial C(f) = 0 se
puede expresar por f = f 1 + f 2 siendo f 1 y f 2 funciones que verifican
las ecuaciones A(f 1 ) = 0 y B(f 2 ) = 0.
10.4. Comprobar que las funciones y(x) = Cx2 + x + 3, C son
soluciones de la ecuacin diferencial x2y 2xy + 2y = 6, con las
condiciones iniciales y(0) = 3 e y'(0) = 1. Indicar porqu la solucin no
es nica.
10.2. ESTRUCTURA DE LAS SOLUCIONES DE

LAS
ECUACIONES
DIFERENCIALES
LINEALES DE ORDEN SUPERIOR

10.2.1. Dependencia e independencia lineal. Wronskiano
Definicin 10.2.1:
Dado un conjunto de funciones {y 1, y 2 , ..., y n } definidas en un intervalo (a,
b) se dice que son linealmente dependientes en el intervalo (a, b), si existen n
constantes 1 , 2 , ..., n no todas nulas, tales que: 1 y 1 + 2 y 2 + ... + n y n =
0, x (a, b).
Si por el contrario se verifica que esta identidad solamente se cumple
618
cuando 1 = 2 = ... = n = 0, entonces se dice que las funciones {y 1 , y 2 , ...,

y n } son linealmente independientes en el intervalo (a, b).
Definicin 10.2.2:
Dado un conjunto de funciones {y 1, y 2 , ..., y n } derivables hasta el orden n
1, se denomina wronskiano de estas funciones y se denota por W[y 1 , y 2 , ...,
y n ] a la funcin definida por el siguiente determinante:
y 1( x )
y2( x )
y '1 ( x )
y' 2 ( x )
W[y 1 , y 2 , ... , y n ](x) =
...
...
n 1)
n 1)
y
1( x ) y
2( x )
...
yn( x )
...
y' n ( x )
.
...
...
... y n 1) n ( x )
Teorema 10.2.1:
Si las funciones y 1 , y 2 , ..., y n son linealmente dependientes en el intervalo
(a, b), entonces su wronskiano en ese intervalo es la funcin nula.
Demostracin:
Este teorema se prueba a partir de los conocimientos de lgebra lineal ya
que si las funciones son linealmente dependientes una de ellas y i se puede
expresar como combinacin lineal de las otras y por la linealidad de las
derivadas, la columna i-sima del determinante se puede expresar como una
combinacin lineal de las otras columnas, lo que supone que el determinante
es cero.
Esta condicin no es suficiente ya que pueden existir funciones
linealmente independientes cuyo wronskiano sea la funcin nula, como se
observa en el ejemplo 10.2.4. Sin embargo si las funciones linealmente
independientes son soluciones de una misma ecuacin diferencial lineal L(y) =
0, entonces se puede asegurar que su wronskiano no se anula en ningn punto

del intervalo (a, b). Este resultado, que se demuestra en los siguientes
teoremas, es una de las conclusiones del corolario 10.2.6.
10.2.2. Estructura de las soluciones de la ecuacin homognea

En los siguientes teoremas se supone que P 1 (x), P 2 (x), ..., P n (x) son
funciones continuas en un intervalo abierto (a, b) y L(y) = yn) + P 1 (x)yn-1) + ... +
P n-1 (x)y' + P n (x)y.
Teorema 10.2.2:
Si y 1 , y 2 , ..., y n son soluciones linealmente independientes de la ecuacin
diferencial L(y) = 0 en el intervalo (a, b); entonces, dadas n constantes c 1 , c 2 ,
n
..., c n , la funcin
c k y k es tambin solucin de L(y) = 0 en el intervalo (a, b).
k =1
Demostracin:
Las funciones y k , 1 k n, son soluciones de la ecuacin diferencial y por
tanto verifican L(y k ) = 0. Como el operador L es lineal se tiene que:
n
n
L
ck y k =
c k L( y k ) = 0 .
k =1
k =1
Teorema 10.2.3:
Si las funciones y 1 , y 2 , ..., y n son soluciones de la ecuacin diferencial
L(y) = 0 y son linealmente independientes en el intervalo (a, b), entonces su
wronskiano en ese intervalo no es la funcin nula.
Demostracin:
620
Se demuestra el teorema por reduccin al absurdo, por lo que se supone

que W[y 1 , y 2 , ..., y n ](x) = 0, x (a, b).
Para un punto determinado x 0 (a, b) se considera el siguiente sistema
homogneo de ecuaciones lineales en las variables c 1 , c 2 , ..., c n :
n
ck y k ( x0 ) = 0
k =1
n
c k y 'k ( x0 ) = 0
k =1
...................
n
c k y kn 1) ( x0 ) = 0 .
k =1
Como el determinante de los coeficientes de las incgnitas, que es el

wronskiano, es igual a cero, el sistema tiene infinitas soluciones, en particular
existen c 1 , c 2 , ..., c n , no todos nulos, que son solucin del sistema. Con estos
valores se determina una funcin (x), definida por:
(x) =
c k y k ( x ) , x (a, b).
k =1
Esta funcin es solucin de la ecuacin diferencial lineal L(y) = 0 por ser

una combinacin lineal de soluciones de esta ecuacin y adems (x 0 ) = 0,
(x 0 ) = 0, ..., n-1)(x 0 ) = 0, por lo que en el punto x 0 la funcin y sus
derivadas hasta la de orden n 1 coinciden con la funcin nula, que tambin es
solucin de L(y) = 0, y por el teorema de unicidad de soluciones (x) = 0, x
n
(a, b), luego
c k y k ( x ) = 0 , x (a, b), lo que contradice que las funciones
k =1
y 1 , y 2 , ..., y n sean linealmente independientes en (a, b).

En las hiptesis de este teorema no slo existe un punto x (a, b), tal que
W[y 1 , y 2 , ..., y n ](x) 0 sino que x (a, b), W[y 1 , y 2 , ..., y n ](x) 0. Este
resultado se demostrar en el siguiente teorema, cuya prueba necesita el
siguiente lema:
Lema 10.2.4:
Sean y 1 , y 2 , ..., y n funciones derivables hasta el orden n, entonces la
derivada de su wronskiano es:
y 1( x )
y'1 ( x )
....
y 2( x )
y' 2 ( x )
....
....
yn( x )
....
y' n ( x )
....
....
W [y 1 , y 2, ..., y n ](x) =
.
n 2)
n 2)
n
2
)
y1
( x ) y2
( x ) .... y n
(x)
n)
n)
n)
y1 ( x )
y 2 ( x ) .... y n ( x )
Lo que equivale a decir que las primeras n 1 filas coinciden con las de
W[y 1 , y 2 , ..., y n ] y en la ltima fila se han sustituido las derivadas de orden n 1
por las de orden n.
Demostracin:
Sea (x) la funcin definida por el determinante de la igualdad anterior. La
demostracin de que W[y 1 , y 2 , ..., y n ](x) = (x) se hace por induccin sobre n.
Para n = 2 es evidente, ya que W[y 1 , y 2 ] = y 1 y2 y 1 y 2 y por lo tanto
W[y 1 , y 2 ] = y1 y 2 + y 1 y 2 y 1 y 2 y 1 y' 2 = y 1 y 2 y 1 y 2 =
y1 y 2
.
y ' '1 y ' ' 2
Supuesto cierto para n 1 se demostrar para n.

Sea ij el adjunto del elemento de la fila i y la columna j en el wronskiano.
622
Desarrollando por los elementos de la fila n se tiene que:

W[y 1 , y 2 , ..., y n ] = y 1 n-1) n,1 + y 2 n-1) n,2 + ... + y n-1 n-1) n,n-1 + y n n-1) n,n .
Derivando: W[y 1 , y 2 , ..., y n ] = y 1 n) n,1 + y 2 n) n,2 + ... + y n-1 n) n,n-1 +
y n n) n,n + y 1 n-1)n,1 + y 2 n-1)n,2 + ... + y n-1 n-1)n,n-1 + y n n-1) n,n .
Aplicando la hiptesis de induccin:
n,1 =
y2
y' 2
....
y3
y' 3
....
n 3 )
n 3 )
....
n 1)
.... y n n 1)
y2
y2
n 1)
y3
y3
....
....
yn
y' n
....
yn
n 3 )
y en general n,j es un determinante similar en el que figura la columna

correspondiente a y 1 y falta la de y j , luego y 1 n-1) n,1 + y 2 n-1) n,2 + ... + y n-1 n-1)
n,n-1 + y n n-1) n,n = 0 por ser el desarrollo de un determinante en el que la fila
n y la n 1 son iguales, por lo tanto:
W[y 1 , y 2 , ..., y n ] = y 1 n) n,1 + y 2 n) n,2 + ... + y n-1 n) n,n-1 + y n n) n,n .
Se observa que los adjuntos de los elementos de la fila n del wronskiano
coinciden con los adjuntos de los elementos de la fila n en el determinante
luego W[y 1 , y 2 , ..., y n ] = .
Teorema 10.2.5:
L(y) = 0 en un intervalo (a, b), entonces su wronskiano en ese intervalo o es la
funcin nula o no se anula en ningn punto de dicho intervalo.
Demostracin:
Si y 1 , y 2 , ..., y n son soluciones de L(y) = 0 se verifica que:
y i n) + P 1 (x)y i n-1) + ... + P n-1 (x)y i ' + P n (x)y i = 0, i {1, 2, ... , n}.
Multiplicando cada una de estas expresiones por n,i , adjunto del
elemento de la fila n y la columna i del wronskiano, y sumndolas, se obtiene:
n
y i n) n,i +
i =1
n
P 1 (x)y i n-1) n, i + ... +
i =1
y i n) n,i + P 1 (x)
i =1
P n-1 (x)y i ' n,i +
i =1
P n (x)y i n,i = 0
i =1
y i n-1) n,i + ... + P n-1 (x)
i =1
y i ' n,i + P n (x)
i =1
y i n,i = 0
i =1
Por el lema anterior se conoce que:

n
y i n) n,i = W[y 1 , y 2 , ..., y n ] y
y i n-1) n,i = W[y 1 , y 2 , ..., y n ],
i =1
i =1
adems si 0 k n 2,
y i k) n,i = 0 ya que se puede expresar como un
i =1
determinante en el que la fila k y la fila n son iguales. Sustituyendo estos

resultados se tiene que:
W [y 1 , y 2 , ..., y n ](x) + P 1 (x)W[y 1 , y 2 , ..., y n ](x) = 0, o bien: W(x) + P 1 (x)W(x) =
0, una ecuacin diferencial lineal de primer orden que tiene por solucin:
p ( t )dt
W(x) = C e 1
.
Como la exponencial no se anula, se tiene que W(x) = 0 slo cuando C es

igual a 0, luego W(x) o es la funcin nula o no se anula en ningn punto del
intervalo (a, b).
624
Como conclusin de los teoremas anteriores se tiene el siguiente

corolario:
Corolario 10.2.6:
L(y) = 0 en el intervalo (a, b), las tres condiciones siguientes son equivalentes:
a) Las funciones y 1 , ..., y n son linealmente independientes en (a, b).
b) Existe un x (a, b) tal que W[y 1 , y 2 , ..., y n ](x) es distinto de cero.
c) Para todo x (a, b) se verifica que W[y 1 , y 2 , ..., y n ](x) es distinto de
cero.
Es evidente que a) b) por el teorema 10.2.3, y b) a) por el teorema
10.2.1, adems b) c) por el teorema 10.2.5 y la implicacin c) b) es trivial.
La hiptesis de que las funciones y i sean soluciones de L(y) = 0 no es
soslayable. Por ejemplo y 1 (x) = x2 e y 2 (x) = xIxI son funciones linealmente
independientes en el intervalo (a, a) y sin embargo existen puntos en los que
W[y 1 , y 2 ] = 0 y otros donde W[y 1 , y 2 ] 0
Definicin 10.2.3:
Se denomina conjunto fundamental de soluciones de la ecuacin
diferencial homognea de orden n, L(y) = 0, en un intervalo (a, b), a cualquier
conjunto de n soluciones linealmente independientes en (a, b).
Teorema 10.2.7:
Siempre existe un conjunto fundamental de soluciones de la ecuacin
diferencial homognea de orden n, L(y) = 0, en el intervalo (a, b).
Demostracin:
Sea x 0 (a, b). Por el teorema de existencia de soluciones se sabe que

para todo k desde 0 hasta n 1, existen funciones y k (x) que son solucin de la
ecuacin diferencial y son tales que cada una de ellas verifica la condicin
inicial siguiente: y k k)(x 0 ) = 1 y y k j)(x 0 ) = 0 si j k.
Las funciones y 0 , y 1 , ..., y n-1 son linealmente independientes. En efecto
sean c 0 , c 1 , ..., c n-1 n constantes tales que c 0 y 0 + c 1 y 1 + ... + c n-1 y n-1 = 0, x
(a, b). Al derivar esta expresin n 1 veces y sustituir en cada una de estas n
expresiones x por x 0 se verifica que:
n 1
ck y k ( x0 )= 0 c 0 = 0.
k =0
n 1
c k y' k ( x 0 )= 0 c1 = 0
k =0
...........
n 1
c k y n 1)k ( x0 )= 0 cn-1 = 0.
k =0
En consecuencia, las n funciones son linealmente independientes y por lo

tanto forman un conjunto fundamental de soluciones.
Teorema 10.2.8:
Si {y 1, y 2 , ..., y n } es un conjunto fundamental de soluciones de la ecuacin
diferencial lineal homognea de orden n L(y) = 0, en el intervalo (a, b),
entonces toda solucin de esta ecuacin se puede expresar de la forma =
n
c k y k , donde c1, c2, ..., cn son constantes.
k =1
626
Demostracin:
Sea {y 1, y 2 , ..., y n } un conjunto fundamental de soluciones, una solucin
de la ecuacin L(y) = 0 y x 0 un punto del intervalo (a, b), entonces por el
corolario 10.2.6, W[y 1 , y 2 , ..., y n ](x 0 ) 0.
Se determina (x 0 ), (x 0 ), ..., n-1)(x 0 ), y se considera el siguiente sistema
de n ecuaciones en las incgnitas c 1 , c 2 , ..., c n :
n
c k y k ( x0 ) = ( x0 )
k =1
n
c k y' k ( x 0 )= ' ( x 0 )
k =1
........................
n
c k y kn 1) ( x0 )= n 1) ( x0 ) .
k =1
Como el determinante de la matriz de los coeficientes W[y 1 , y 2 , ..., y n ](x 0 )

es distinto de cero, el sistema tiene solucin nica, es decir existen c 1 , c 2 , ..., c n
constantes que verifican las n ecuaciones y por el teorema 10.1.2 de unicidad
de la solucin: =
ck y k .
k =1
Teorema 10.2.9:
Sea el conjunto de soluciones de la ecuacin diferencial lineal
homognea de orden n, L(y) = 0; entonces tiene estructura de espacio
vectorial de dimensin n.
Demostracin:
El teorema 10.2.2 garantiza la linealidad de las soluciones de la ecuacin

homognea L(y) = 0, y adems se verifican los axiomas de espacio vectorial.
En este espacio funcional un conjunto fundamental de soluciones de la
ecuacin diferencial, que existe como resultado del teorema 10.2.7, es una
base de este espacio vectorial ya que por el teorema 10.2.8 cualquier solucin
se puede expresar como combinacin lineal de los elementos del conjunto
fundamental de soluciones que por definicin son funciones linealmente
independientes. Adems cada solucin no puede depender de ms de n
constantes, ya que en este caso sera solucin de una ecuacin diferencial de
grado mayor que n.
Corolario 10.2.10:
Sea {y 1 , y 2 , ..., y n } un conjunto fundamental de soluciones de la ecuacin
diferencial lineal homognea de orden n, L(y) = 0, en el intervalo (a, b). La
solucin general de esta ecuacin, (x), se puede expresar de la forma:
(x) =
ck y k ( x ) .
k =1
10.2.3. Estructura de las soluciones de la ecuacin completa

En este apartado se demuestra que la solucin general de una ecuacin
diferencial lineal completa se puede obtener a partir de una solucin particular
de sta y la solucin general de la ecuacin homognea, resultado que ya se
estudi para las ecuaciones lineales de primer orden y que tiene gran
importancia como mtodo para resolver ecuaciones no homogneas. Para ello
se estudia que el conjunto de soluciones de una ecuacin diferencial lineal de
orden superior completa tiene estructura de espacio afn, siendo su espacio
628
vectorial asociado el conjunto de soluciones de la ecuacin diferencial lineal

homognea asociada.
Teorema 10.2.11:
Sean P 1 (x), P 2 (x), ..., P n (x), G(x), funciones continuas en un intervalo
abierto (a, b) y sea L(y) = yn) + P 1 (x)yn-1) + ... + P n-1 (x)y' + P n (x)y. Si y 1 , y 2 , ...,
y n son n soluciones linealmente independientes de la ecuacin diferencial L(y)
= 0 en el intervalo (a, b) y P es una solucin cualquiera de la ecuacin no
homognea L(y) = G(x), entonces para toda solucin de esta ecuacin,
existen n constantes c 1 , c 2 , ..., c n , tales que puede expresarse por:
= P +
ck y k
k =1
Demostracin:
Sea una solucin arbitraria de la ecuacin L(y) = G(x). Como P tambin
es solucin se tiene que ambas funciones verifican la ecuacin, por lo que
L( P ) = G y L() = G. Por la linealidad de L se verifica que L( P ) = G(x)
G(x) = 0, y por lo tanto P es una solucin de la ecuacin homognea
asociada. Por el teorema 10.2.8 existen n constantes c 1 , c 2 , ..., c n , tales que
P =
c k y k = P +
k =1
c k y k , de donde se deduce que la solucin
k =1
de la ecuacin no homognea se puede expresar como la suma de una

solucin particular de sta ms la solucin general de la homognea.
Teorema 10.2.12:
Sean P 1 (x), P 2 (x), ..., P n (x), G(x), funciones continuas en un intervalo
abierto (a, b) y sea L(y) = yn) + P 1 (x)yn-1) + ... + P n-1 (x)y + P n (x)y. El conjunto
de soluciones de la ecuacin diferencial lineal completa L(y) = G(x) tiene
estructura de espacio afn de dimensin n construido sobre el espacio vectorial
de soluciones de la ecuacin homognea L(y) = 0.
Sea el conjunto de soluciones de la ecuacin homognea que por el
teorema 10.2.9 tiene estructura de espacio vectorial de dimensin n y el
conjunto de soluciones de la ecuacin completa.
La aplicacin h: x , definida por h( 1 , 2 ) = 2 1 estructura a
como espacio afn ya que:
Si 1 , 2 L( 2 1 ) = L( 2 ) L( 1 ) = G G = 0 2 1 .
Adems se verifican los axiomas de espacio afn:
1 1 y , 2 , tal que h( 1 , 2 ) = 2 1 = .
Basta tomar 2 = 1 + . Es claro que 2 ya que L( 2 ) = L( 1 + ) =
L( 1 ) L() = G.
2 Si 1 , 2 , 3 entonces h( 1 , 2 ) + h( 2 , 3 ) = h( 1 , 3 ) lo que se
verifica ya que 2 1 + 3 2 = 3 1 .
Ejemplos resueltos
Ejemplo 10.2.1: Estudiar la dependencia o independencia lineal del
conjunto de funciones {1, x, x2, ..., xn}.
Estas funciones son linealmente independientes en el intervalo (, ), ya
que si la igualdad 1 + 2 x + ... + n+1 xn = 0, se verifica para todos los valores
de x, entonces 1 = 2 = ... = n+1 = 0.
630
Ejemplo 10.2.2: Demostrar que el conjunto de funciones { e k 1 x , e k 2 x , e k 3 x }

donde k 1, k 2, k 3 , son nmeros reales todos ellos distintos entre s, es
linealmente independiente en (, ).
e k1x
W[ e k 1x ,e k 2 x ,e k 3 x ] = k1e k1x
e k2 x
k 2 e k1x
e k3 x
k 3 e k1x =
k12 e k1x
k 22 e k1x
k 32 e k1x
=e
k1x
.e
k2 x
.e
k3 x
1
k1
1
k2
1
k 3 = e k1x .e k 2 x .e k 3 x (k 2 - k 1 )(k 3 - k 1 )(k 3 - k 2 ).
k12
k 22
k 32
Como k 1, k 2, k 3 , son nmeros todos ellos distintos, entonces W[
e k 1 x , e k 2 x , e k 3 x ] 0 para todo x (, ); por lo tanto las funciones son

linealmente independientes.
Ejemplo
10.2.3:
Demostrar
que
el
conjunto
de
funciones
e x sen x , e x cos x } es linealmente independiente en (, ).

Se supone que existen dos nmeros reales 1 , 2 tales que
1e x sen x + 2 e x cos x = 0 ; dividiendo la igualdad por ex, se obtiene
1sen x + 2 cos x = 0 . Si se toma el valor x = 0 se tiene que 2 = 0 y por lo

tanto 1sen x = 0 . Como la funcin sen x no es la funcin cero, resulta que
1 = 0 y por lo tanto las funciones consideradas son linealmente
independientes.
Ejemplo 10.2.4: Estudiar la dependencia o independencia lineal de las
funciones y 1 e y 2 definidas por:
x 2
y 1 (x) =
0
0
x ( 1, 0 )
e y 2 (x) = 2
x [ 0, 1)
x
x ( 1, 0 )
x [ 0, 1)
Las funciones y 1 e y 2 son linealmente independientes en el intervalo (1,

1) y sin embargo su wronskiano es la funcin cero, por lo tanto {y 1 , y 2 } no
pueden ser soluciones de una misma ecuacin diferencial lineal de orden dos.
Ejemplo 10.2.5: Pueden ser f(x) = x y g(x) = ex soluciones de la ecuacin
y + p(x)y + q(x) = 0, p(x) y q(x) funciones continuas, en el intervalo (0, 2)? Y
en el intervalo (6, 1)?
Las funciones f y g son linealmente independientes. Por otra parte su
wroskiano W[f, g](x) = ex(x 1) se anula en x = 1, por lo que no pueden ser
soluciones de una ecuacin diferencial lineal en el intervalo (0, 2) que contiene
a x = 1, y s podran serlo en (6, 1) que no lo contiene.
Ejercicios
10.5. Demostrar que {eax, xeax, ..., xn-1eax} es un conjunto de funciones
linealmente independientes en .
10.6. Verificar si el conjunto de funciones {lnx, xlnx, x2lnx} es linealmente
independiente en +.
10.7. Comprobar si las siguientes funciones (x) son solucin general de
las ecuaciones diferenciales siguientes:
a) y + y = 0; (x) = C 1 cos x + C 2 sen x.
b) y y = 0; (x) = C 1 ex + C 2 e-x.
c) y + y = 1; (x) = C 1 cos x + C 2 sen x + 1.
632
d) y y = e2x; (x) = C 1 ex + C 2 e-x +
10.3.
ECUACIONES
e 2x
.
3
DIFERENCIALES
HOMOGNEAS
CON
LINEALES
COEFICIENTES
CONSTANTES
10.3.1. Ecuacin caracterstica. Autovalores
Una ecuacin diferencial lineal homognea con coeficientes constantes se
puede expresar de la forma L(y) = 0 siendo L(y) = yn) + p 1 yn-1) + ... + p n-1 y' +
p n y, con p 1 , p 2 , ..., p n constantes
Para resolver la ecuacin diferencial lineal homognea L(y) = 0, se
buscan soluciones de la forma y = ex, de donde y = ex, y en general yn) =
nex. Al sustituir estas funciones en la ecuacin se obtiene que:
(n + p 1 n-1+ ... + p n-1 + p n )ex = 0
y como ex 0 se debe verificar que:
n + p 1 n-1+ ... + p n-1 + p n = 0.
Definicin10.3.1:
Se denomina ecuacin caracterstica de L(y) = 0 a la ecuacin:
n + p 1 n-1+ ... + p n-1 + p n = 0
y polinomio caracterstico al polinomio que la define.

Por lo tanto y = ex es solucin de la ecuacin L(y) = 0 si y slo si es raz
de su ecuacin caracterstica.
Definicin 10.3.2:
Se denominan autovalores o valores propios de la ecuacin diferencial
L(y)= 0 a las races de su ecuacin caracterstica.
Los autovalores se denominan simples o mltiples con el mismo criterio
que las correspondientes races de la ecuacin caracterstica, siendo el orden
de multiplicidad de un autovalor mltiple el orden de la raz correspondiente.
El teorema fundamental del lgebra asegura que esta ecuacin tiene n
autovalores que pueden ser reales o complejos y simples o mltiples y es
precisamente esta clasificacin de los autovalores la que determina los
distintos tipos de solucin de la ecuacin diferencial. La diferenciacin entre
autovalores reales y complejos slo es necesario realizarla cuando se buscan
soluciones reales de la ecuacin diferencial.
10.3.2. Discusin de las soluciones

Caso 1: Los autovalores son reales y simples.
Se supone que la ecuacin caracterstica tiene n races reales y simples,
que son los autovalores de la ecuacin 1 , 2 , ..., n . Entonces el operador L
puede expresarse como un producto de n operadores de la siguiente forma:
L = (D 1 )(D 2 )(D n ).
Un conjunto fundamental de soluciones de la ecuacin L(y) = 0 viene
dado por y 1 (x) = e 1 x , y 2 (x) = e 2 x , ..., y n (x) = e n x , y por tanto la solucin
634
general es una combinacin lineal de estas funciones:
( x ) =
Ck e
kx
k =1
Caso 2: Los autovalores son reales y alguno de ellos es mltiple

Si se supone que slo existe un autovalor mltiple , con orden de
multiplicidad s, el operador L puede expresarse como un producto de
operadores de la siguiente forma L = (D )sL s (D).
Las soluciones de la ecuacin L s (D) = 0 estn determinadas como en el
caso anterior. Para buscar soluciones de la ecuacin (D )s(y) = 0, se prueba
con funciones de la forma y(x) = g(x)ex, siendo g(x) una funcin por
determinar.
Para demostrar lo que sigue se necesita un lema previo:
Lema 10.3.1:
Sea y(x) una funcin compleja con derivadas continuas hasta el orden m,
entonces se verifica que (D )m(exy(x)) = exDm(y(x)), siendo constante.
Demostracin:
Se probar por induccin sobre m.
Para m = 0 es evidente. Supuesto cierto para m 1, se tiene que:
(D )m(exy(x)) = (D )(D )m-1(exy(x)) = (D )(exDm-1(y(x)) =
exDm(y(x)).
Se debe verificar que (D )s(g(x)ex) = 0 por lo que exDs(g(x)) = 0, y
como ex 0 resulta que Ds(g(x)) = 0, por lo tanto una solucin para g(x) es un
polinomio de grado s 1.
Las s soluciones linealmente independientes buscadas de la ecuacin
(D)s(y) = 0 pueden ser:
y 1 (x) = ex, y 2 (x) = xex, y 3 (x) = x2ex, ..., y s (x) = xs-1ex,
y la solucin general es de la forma:
s (x) = (C 1 + C 2 x + C 3 x2 + ... + C s xs-1)ex.
Por otra parte si 1 , 2 , ..., n-s son los autovalores simples, un conjunto
fundamental de soluciones de la ecuacin L(y) = 0 estar formado por
y 1 (x) = ex, y 2 (x) = xex, y 3 (x) = x2ex, ..., y s (x) = xs-1ex, y s+1 (x) = e 1 x ,
y s+2 (x) = e 2 x , ..., y n (x) = e n s x , ya que son n soluciones linealmente
independientes de una ecuacin diferencial de orden n.
Por lo tanto la solucin general es una combinacin lineal de estas
funciones:
( x ) = (
C k x k 1 )e x +
k =1
n s
Cs + k e
kx
k =1
Cuando las funciones que son solucin de la ecuacin diferencial pueden

ser funciones con valores complejos la discusin general estara terminada, los
siguientes casos slo son necesarios cuando se buscan soluciones reales.
Teniendo en cuenta que una ecuacin polinmica que tiene una raz
compleja + i tambin tiene su conjugada i y con objeto de simplificar
la notacin, los siguientes casos que se discuten se van a reducir a considerar
dos autovalores complejos que pueden ser simples o mltiples.
636
Caso 3: Dos autovalores complejos simples

Sean + i y i los autovalores complejos. Un conjunto fundamental
de soluciones en el plano complejo es z1 (x) = e(+i)x y z 2 (x) = e(-i)x, pero si z 1
y z2 son soluciones linealmente independientes tambin lo son sus
combinaciones
lineales
z +z
y1 = 1 2
2
z z2
,
y2 = 1
2i
por
lo
tanto
y 1( x ) = e x cos x e y 2 ( x ) = e x senx , que son funciones reales, forman

un conjunto fundamental de soluciones reales y la solucin general de la
ecuacin diferencial es:
( x ) = C1e x cos x + C 2 e x senx .
Caso 4: Dos autovalores complejos mltiples de orden s
Sean + i y i los autovalores complejos de orden de multiplicidad
s. Utilizando los resultados de los dos casos anteriores se tiene que un
conjunto fundamental de soluciones est formado por:
y 1 (x) = excos x, y 2 (x) = xexcos x, ..., y s (x) = xs-1excos x,
y s+1 (x) = ex.sen x, y s+2 (x) = xexsen x, ...., y 2s (x) = xs-1exsen x
y la solucin general de la ecuacin diferencial es:
( x ) = (
C k x k 1 )e x cos x + (
k =1
Cs + k x k 1)e x senx .
k =1
Ejemplos resueltos
Ejemplo 10.3.1. Calcular la solucin general de la ecuacin diferencial:
y 3y + 2y = 0.
Primero se calculan sus autovalores, es decir, las races de su ecuacin

caracterstica 2 3 + 2 = 0, que son 1 = 1 y 2 = 2.
Un conjunto fundamental de soluciones est formado por {ex, e2x} y por lo
tanto la solucin general de la ecuacin es:
(x) = C 1 ex + C 2 e2x.
Ejemplo 10.3.2. Resolver la ecuacin diferencial y + 2y + y = 0 y
encontrar la solucin particular que verifique que y(0) = y(0) = 1.
Su ecuacin caracterstica 2 + 2 + 1 = 0, slo tiene un autovalor = 1
de orden dos.
Un conjunto fundamental de soluciones est formado por {e-x, xe-x} y por
lo tanto la solucin general de la ecuacin es (x) = C 1 e-x + C 2 xe-x.
La solucin particular que verifica las condiciones iniciales es:
(x) = e-x + 2xe-x,
ya que (0) = C 1 y (0) = C 1 + C 2 , luego C 1 = 1 y C 2 = 2.
Ejemplo 10.3.3: Integrar la ecuacin diferencial y + 6y + 20y = 0.
Se escribe su ecuacin caracterstica, 3 + 6 + 20 = 0, y sus autovalores
1 = 2, 2 = 1 + 3i y 3 = 1 3i. Un conjunto fundamental de soluciones est
formado por {e-2x, excos 3x, exsen 3x} y por lo tanto la solucin general de la
ecuacin viene expresada por:
(x) = C 1 e-2x + C 2 excos 3x + C 2 exsen 3x.
Ejemplo 10.3.4: Resolver yvi + yiv y y = 0.
Esta ecuacin tiene como ecuacin caracterstica es 6 + 4 2 1 = 0,
638
que tiene dos autovalores reales simples 1 = 1, 2 = 1 y dos complejos 3 = i,

4 = i de orden dos.
Un conjunto fundamental de soluciones esta formado por {ex, e-x, cos x,
senx, xcosx, xsenx} y por lo tanto la solucin general de la ecuacin viene
dada por:
(x) = C 1 ex + C 2 e-x + C 3 cos x + C 4 sen x + C 5 xcos x + C 6 xsen x.
Ejemplo 10.3.5: Buscar una ecuacin diferencial lineal homognea de
segundo orden con coeficientes constantes que tenga como soluciones:
y 1 (x) = e3x, y 2 (x) = e-2x.
El polinomio caracterstico debe tener las races 3 y 2 y ser de segundo
grado. Por tanto p() = ( 3)( + 2) = 2 6 y la ecuacin buscada es:
y y 6y = 0.
Ejemplo 10.3.6: Escribir la solucin general de una ecuacin diferencial
lineal homognea de coeficientes constantes cuyo polinomio caracterstico es
p() = ( 1)( + 3)( + 5)( 2)( 4).
La solucin general es:
(x) = C 1 ex + C 2 e-3x + C 3 e-5x + C 4 e2x + C 5 e4x.
Ejercicios
10.8. Calcular la solucin general de las siguientes ecuaciones lineales:
a) y + 2y + 5y = 0.
b) yiv y = 0.
c) y 2y 3y = 0.
10.9. Integrar las ecuaciones:

a) y 2y 5y + 6y = 0.
b) y iv y = 0.
c) y iv + y = 0.
d) (D 2 2D + 5) 2 (y) = 0.
10.10. Probar que si xex es una solucin de la ecuacin diferencial lineal
de segundo orden con coeficientes constantes L(y) = 0, entonces su
ecuacin caracterstica tiene a como raz doble.
10.4.
MTODOS
DE
RESOLUCIN
DE
ECUACIONES DIFERENCIALES LINEALES

10.4.1. Reduccin de orden de una ecuacin diferencial lineal
homognea. Mtodo de DAlembert
El mtodo de DAlembert consiste en reducir el orden de una ecuacin
lineal homognea, sin que deje de ser lineal, cuando previamente se conoce
una solucin particular que no sea trivial.
Sean P 1 (x), P 2 (x), ..., P n (x) funciones continuas en un intervalo abierto
(a, b) y L(y) = yn) + P 1 (x)yn-1) + ... + P n-1 (x)y + P n (x)y.
Se considera la ecuacin homognea L(y) = 0. Sea y 1 (x) una solucin
particular, no trivial, de la ecuacin anterior. Si se supone que y(x) = z(x)y 1 (x),
donde z(x) es una nueva funcin incgnita, se tiene una ecuacin de la forma
a n (x)zn) + a n-1 (x)zn-1) + ... + a 1 (x)z' = 0; llamando z(x) = u(x) se obtiene una
640
ecuacin diferencial en u(x) en la que el orden queda reducido en una unidad.

Por tanto un mtodo general de bsqueda de soluciones puede ser
tantear con soluciones sencillas: polinmicas, exponenciales o trigonomtricas
y si se consigue hallar una, entonces es posible reducir el orden. De esta forma
resulta fcil resolver ecuaciones de segundo orden que quedan reducidas a
ecuaciones lineales de primer orden; adems en este caso las funciones y 1 (x)
e y 2 (x) = z(x)y 1 (x) son linealmente independientes y por tanto forman un
conjunto fundamental de soluciones.
10.4.2. Mtodo de variacin de las constantes

El mtodo de variacin de las constantes o mtodo de variacin de
parmetros se emplea para resolver una ecuacin lineal no homognea de
orden n. Consiste en obtener primero la solucin general de la ecuacin
homognea y buscar a continuacin una solucin de la ecuacin completa que
tenga la forma de la solucin general de la ecuacin homognea pero
considerando las constantes como funciones a determinar.
Sea L(y) = G(x), con L(y) = yn) + P 1 (x)yn-1) + ... + P n-1 (x)y' + P n (x)y, la
ecuacin no homognea que se quiere resolver y sea H (x) =
c k y k (x) la
k =1
solucin general de la ecuacin homognea asociada en el intervalo (a, b). Se

supone que una solucin particular de la ecuacin completa es de la forma (x)
n
v k ( x )y k ( x ) , siendo vk (x) funciones que hay que determinar. Para ello es
k =1
necesario imponer n condiciones.

Al derivar la expresin anterior se obtiene:
(x) =
v ' k ( x )y k ( x ) +
k =1
v k ( x )y ' k ( x ) ,
k =1
si se impone la condicin
v' k ( x )y k ( x ) = 0 resulta:
k =1
(x) =
v k ( x )y ' k ( x ) .
k =1
Derivando de nuevo esta expresin:
(x) =
k =1
k =1
v ' k ( x )y ' k ( x ) + v k ( x )y ' ' k ( x )

n
y si se impone de nuevo la condicin
v' k ( x )y' k ( x ) = 0 se obtiene:
k =1
(x) =
v k ( x )y ' ' k ( x ) .
k =1
Se repite este proceso hasta la derivada de orden n con lo que se tiene

que:
(x) =
n)
n
n 1)
v ' k ( x )y k ( x ) +
c k ( x )y kn ) ( x ) ,
k =1
k =1
Sustituyendo en la ecuacin diferencial:

L() = n + P 1 n-1 + ... + P n-1 + P n = G(x)
n
v' k ( x )y kn 1) ( x )
k =1
n
v' k ( x )y kn 1) ( x )
k =1
n
n
n)
n 1)
+...+P n-1 v k y' k
v k y k +P 1 v k y k
k =1
k =1
k =1
+P n
vk yk =
k =1
v k ( y kn ) + P1 y kn 1) + ... + Pn 1 y k ' + Pn y k ) = G(x).
k =1
642
y por tanto:
n
v' k ( x )y kn 1) ( x ) = G( x )
k =1
Si se pueden encontrar n funciones v 1 (x), v 2 (x), ..., v n (x) que verifiquen las
n condiciones impuestas, entonces es una solucin particular de la ecuacin
completa.
Las funciones v1 (x), v 2 (x), ..., vn (x) se obtienen, por tanto, como solucin
del sistema:
n
v ' k ( x )y k ( x ) = 0
k =1
n
v ' k ( x )y ' k ( x ) = 0
k =1
.......................
n
v' k ( x )y kn 1) ( x ) = G( x ) .
k =1
En este sistema el determinante de los coeficientes de las incgnitas es el

wronskiano W[y 1 , y 2 , ..., y n ](x), que por el corolario 10.2.6 no se anula en
ningn punto del intervalo (a, b). Por lo tanto tiene solucin nica y aplicando la
Wk
, 1 k n, donde W k es el
W
regla de Cramer se obtiene que vk =
determinante que se obtiene del wronskiano sustituyendo la columna k por (0,

0, ..., 0, G).
x
Al integrar se tiene que v k (x) =
x0
Wk ( t )
dt , siendo x 0 un punto del
W(t )
intervalo (a, b). Sustituyendo se obtiene una solucin particular de la ecuacin
x
Wk ( t )
lineal no homognea p (x) =
W ( t ) dt y k ( x ) . Por el teorema 10.2.11 la
k =1 x 0
solucin general de la ecuacin completa g se puede expresar por g = H +

p es decir, la solucin general de la ecuacin homognea asociada ms una
solucin particular de la completa.
Ejemplos resueltos
Ejemplo 10.4.1: Resolver la ecuacin diferencial xy + 2y + xy = 0, x > 0,
sabiendo que y 1 =
senx
es una solucin particular.
x
Para calcular una solucin linealmente independiente de y 1 se busca una

segunda solucin de la forma y 2 (x) =
senx
z(x). Entonces y 2 = y 1 z + y 1 z e
x
y 2 = y 1 z + 2y 1 z + y 1 z.
Se sustituye en la ecuacin:
x(y 1 z + 2y 1 z + y 1 z) + 2(y 1 z + y 1 z) + xy 1 z = 0
y se ordenan trminos:
zxy 1 + z(2xy 1 + 2y 1 ) + z(xy 1 + 2y 1 + xy 1 ) = 0.
Al ser la funcin y 1 una solucin particular de xy 1 + 2y 1 + xy 1 = 0, se
verifica que el trmino que multiplica a z es igual a cero y se tiene: zxy 1 +
z(2xy 1 + 2y 1 ) = 0.
Como y 1 =
senx
xy 1 = sen x
x
644
2xy 1 + 2y 1 = 2x (
cos x senx
senx
= 2cos x.
2 )+2
x
x
x
La ecuacin queda de la forma sen xz + 2cos xz = 0 que se puede

expresar por
z'' 2cos x
+
=0 , e integrando lnz + 2lnsenx= K, luego zsen2x
z' senx
= C 1 y por lo tanto z = C 1 cotg x + C 2 .
Se tiene entonces que y 2 =
cos x
y la solucin general de la ecuacin
x
diferencial viene expresada por:

y = C 1 cos x + C 2
x
senx
, x > 0.
x
Ejemplo 10.4.2: Resolver la ecuacin diferencial y + y = cosec x

sabiendo que la solucin general de la ecuacin homognea es:
H (x) = Acos x + Bsen x.
Se comprueba primero la solucin general de la ecuacin homognea
(x) = Acos x + Bsen x y se busca una solucin particular de la ecuacin
completa de la forma p (x) = A(x)cos x + B(x)sen x. Para determinar las
funciones A(x) y B(x) se resuelve el sistema:
A(x)cos x + B(x)sen x = 0
A(x)sen x + B(x)cos x = cosec x
Se obtiene que A(x) = 1 y B(x) = cotg x; integrando, A(x) = x + C 1 y
B(x) = ln Isen xI + C 2 . Una solucin particular es:
p (x) = xcos x + sen xln Isen xI.
La solucin general de la ecuacin no homognea es:
(x) = (x + C 1 )cos x + (ln Isen xI + C 2 )sen x.

Ejemplo 10.4.3: Calcular la solucin general de la ecuacin diferencial:
x2y 6x2y + 9x2y = e3x, x > 0.
Se calcula primero la solucin general de la ecuacin homognea H (x) =
Ae3x + Bxe3x, y se busca una solucin particular de la ecuacin completa de la
forma p (x) = A(x)e3x + B(x)xe3x. Para determinar las funciones A(x) y B(x) se
resuelve el sistema:
A(x)e3x + B(x)xe3x = 0
A(x)3e3x + B(x)[e3x + x3e3x] = e3xx-2.
Se observa que el coeficiente de y debe ser 1, por lo que G(x) = e3xx-2
El sistema tiene como solucin A(x) = x-1 y B(x) = x-2, e integrando, A(x)
= lnIxI + C 1 y B(x) = x-1 + C 2 , por tanto la solucin general de la ecuacin no
homognea es: (x) = (lnIxI + C 1 )e3x + (x-1 + C 2 )xe3x, x > 0.
Ejercicios
10.11. Resolver la ecuacin xy (x + 1)y + y = 0, x > 0, buscando
previamente una solucin particular de tipo exponencial.
10.12. Resolver la ecuacin x2y + 2xy 6y = 0, x > 0, buscando
previamente una solucin particular de tipo y = xr.
10.13. Calcular, utilizando el mtodo de variacin de las constantes, la
solucin general de las siguientes ecuaciones:
a) y'' + y = sec x.
b) y''' + y' = cosec x.
646
c) y'' + 4y = tg 2x.
d) y'' + 2y' + y = e-xln x.
10.14. Encontrar la solucin general para cada una de las siguientes
ecuaciones:
a. (D 2 4D + 3)(y) =
b. (D 2 1)(y) =
1
1 + e x
1
( 1 + e x )2
10.4.3. Ecuaciones diferenciales lineales no homogneas con

coeficientes constantes
Los
mtodos
que se
estudian a
continuacin
estn
indicados,
especialmente, para resolver ecuaciones diferenciales lineales con coeficientes

constantes, pues con ellos generalmente resulta ms fcil obtener una solucin
particular de la ecuacin no homognea que con el mtodo general de
variacin de las constantes.
Mtodo del anulador

Se considera la ecuacin diferencial L(y) = G(x), donde el operador L tiene
coeficientes constantes. El mtodo consiste en encontrar un operador A con
coeficientes constantes que anule la funcin G, es decir, A(G) = 0. De este
modo, aplicando el operador A a la ecuacin dada, se obtiene AL(y) = A(G) = 0
de forma que las soluciones de L(y) = G(x) tambin son soluciones de la
ecuacin homognea AL(y) = 0. Se resuelve esta ecuacin y entre sus
soluciones se elige una que satisfaga L(y) = G(x). Conocida una solucin
particular de la ecuacin completa, p , por el teorema 10.2.11, la solucin

general, g , de esta ecuacin se expresa por g = p + H, siendo H la
solucin general de la ecuacin homognea asociada.
Se puede aplicar el mtodo del anulador cuando se encuentre un
operador con coeficientes constantes que anule el trmino G(x), lo que slo es
posible cuando ste es de la forma: xmex, xmexcos x; xmexsen x.
A continuacin se incluye una lista de posibles funciones y de su
correspondiente anulador:
Funcin G(x)
Operador anulador
G(x) = xm-1
Dm
G(x) = ex
G(x) = xm-1ex
(D )m
G 1 (x) = cos x; G 2 (x) = sen x
D2 + 2
G 1 (x) = xm-1cos x; G 2 (x) = xm-1sen x
(D2 + 2)m
G 1 (x) = excos x; G 2 (x) = exsen x
(D )2 + 2
G 1 (x) = xm-1excos x; G 2 (x) = xm-1exsen x
((D )2 + 2)m
Mtodo de los coeficientes indeterminados

Se considera la ecuacin diferencial yn) + p 1 yn-1) + ... + p n-1 y' + p n y =
648
G(x) donde p 1 , p 2 , ..., p n son constantes y G(x) una funcin continua en un

intervalo de la recta real. Como en el mtodo anterior, por aplicacin del
teorema 4.2.11, obtener la solucin general de esta ecuacin se reduce a
encontrar una solucin particular de la ecuacin y la solucin general de la
ecuacin homognea asociada y slo se puede aplicar este mtodo cuando la
funcin G(x) sea de la forma:
G(x) = ex(Q m (x)cos x + R r (x)sen x),
siendo Q m (x) y R r (x) polinomios de grado m y r respectivamente, o bien cuando
la funcin G sea una combinacin lineal de este tipo de funciones.
Si G(x) = ex(Q m (x)cos x + R r (x)sen x), una solucin particular p de la
ecuacin diferencial completa es:
p = xsex(S k (x)cos x + T k (x)sen x),
siendo k = max(m, r); S k (x) y T k (x) polinomios de grado k de coeficientes
indeterminados que hay que calcular y s el orden de multiplicidad de la raz de
la ecuacin caracterstica = i de la ecuacin homognea. En particular
cuando las races no son de la forma i, entonces s toma el valor 0.
Se observa que, en la prctica, este mtodo coincide con el mtodo del
anulador.
Para facilitar el clculo de la solucin particular segn las distintas formas
de G se resume su expresin en la siguiente tabla.
Funcin G(x)
Races de la ecuacin
Solucin particular
caracterstica
k = max(m, r)
Q m (x)
= 0 no es raz de la
S m (x)
ecuacin caracterstica
Q m (x)ex
= 0 es raz de orden s
xsS m (x)
= no es raz
S m (x)ex
= es raz de orden s
xsS m (x)ex
= i no es raz
S k (x)cosx + T k (x)senx
= i es raz de orden s
xs (S k (x)cosx + T k (x)senx)
= i no es raz
(S k (x)cosx +T k (x)senx)ex
real
Q m (x)cosx +
R r (x)senx
ex(Q m (x)cosx = i es raz de orden s xs(S k (x)cosx +

+ R r (x)senx)
T k (x)senx)ex
En ocasiones cuando en la ecuacin diferencial L(y) = G(x), la funcin

G(x) contiene las funciones trigonomtricas sen x, cos x se puede expresar
fcilmente como una funcin exponencial compleja. Considerar y resolver la
ecuacin en el plano complejo muchas veces simplifica los clculos como se
observa en el ejemplo 10.4.9.
Ejemplos resueltos
Ejemplo 10.4.4: Calcular una solucin particular de la ecuacin diferencial
lineal (D4 16)(y) = x2 + x + 1, buscando un polinomio anulador.
El operador D3 anula la ecuacin de forma que D3(D4 16)(y) = 0. Las
soluciones de la ecuacin caracterstica son 1 = 2 = 3 = 0, 4 = 2, 5 = 2 , 6
650
= 2i, 7 = 2i y la solucin general es de la forma:

(x) = C 1 + C 2 x + C 3 x2+ C 4 e2x + C 5 e-2x + C 7 cos 2x + C 8 sen 2x,
como los cuatro ltimos trminos son anulados por D4 16 por ser soluciones
de la ecuacin homognea, nuestro objetivo es encontrar C 1 , C 2 , C 3 , tal que
(D4 16)(C 1 + C 2 x + C 3 x2) = x2 + x + 1, por lo que 16C 1 16C 2 x 16C 3 x2 =
x2 + x + 1, as C 3 =
1
1
1
1 2
1
1
, C2=
, C1=
y p (x) =
x
x
.
16
16
16
16
16
16
Ejemplo 10.4.5: Calcular la solucin de la ecuacin diferencial lineal:

(D4 16)(y) = x2 + x + 1
mediante el mtodo de coeficientes indeterminados.
Las races de la ecuacin caracterstica son: 1 = 2, 2 = 2 , 3 = 2i, 4 =
2i y la solucin general de la ecuacin homognea asociada es de la forma
H (x) = C 1 e2x + C 2 e-2x + C 3 cos 2x + C 4 sen 2x. Se busca una solucin
particular parecida a G(x) = x2 + x + 1, P (x) = Ax2 + Bx + C, e imponiendo
que sea solucin de la ecuacin completa se obtiene que p (x) =
1 2
1
x
x
16
16
1
, por lo que solucin general pedida es:
16
(x) = C 1 e2x + C 2 e-2x + C 3 cos 2x + C 4 sen 2x +
1 2
1
1
x
x
.
16
16
16
Ejemplo 10.4.6: Calcular la solucin general de la ecuacin diferencial

lineal (D2 3D + 2)(y) = ex, buscando un polinomio anulador.
El operador (D 1) anula a ex de modo que (D 1)(D2 3D +2)(y) = 0,
los autovalores son 1 = 2, 2 = 3 = 1, y la solucin general de esta ecuacin
es de la forma (x) = C 1 e2x + C 2 ex + C 3 xex. Como los dos primeros trminos

son anulados por (D2 3D + 2), es suficiente determinar C 3 talque (D2 3D + 2)
(C 3 xex) = ex. Derivando se obtiene C 3 = 1 y la solucin general de la
ecuacin es: g (x) = C 1 e2x + C 2 ex xex.
Si se utilizara el mtodo de los coeficientes indeterminados, al ser = 1
raz de la ecuacin caracterstica no se podra probar una solucin particular
(x) = Aex, sino que se probara con (x) = Axex, obtenindose que A = 1.
Ejemplo 10.4.7: Calcular la solucin general de la ecuacin diferencial
lneal y y + y y = x2 + x, y encontrar la solucin particular que verifica las
condiciones iniciales y(0) = 0; y(0) = y(0) = 1.
Se calcula primero una solucin de la ecuacin diferencial lineal
homognea asociada H (x) = C 1 ex + C 2 cos x + C 3 sen x; como = 0 no es un
autovalor, la solucin particular p es un polinomio de grado dos:
p (x) = Ax2 + Bx + C, cuyos coeficientes A, B, C hay que determinar. Se
sustituye este polinomio y sus derivadas en la ecuacin diferencial:
(2A) + (2Ax + B) (Ax2 + Bx + C) = x2 + x.
Se identifican coeficientes:
A = 1
2A B = 1
2A + B C = 0
Se resuelve el sistema y se tiene que A = 1; B = 3; C = 1 por lo que:
p (x) = x2 3x 1
652
y por tanto la solucin general es:

g (x) = C 1 ex + C 2 cos x + C 3 sen x x2 3x 1.
Para obtener la solucin particular que verifica que y(0) = 0; y(0) = y(0) =
1, se calcula g (0) = C 1 + C 2 1, g (0) = C 1 + C 3 3, g (0) = C 1 C 2 2 y
resolviendo el sistema:
C1 +C 2 1= 0
C1 +C 3 3 =1
C C 2 =1
1 2
se obtiene C 1 = 2, C 2 = 1 y C 3 = 2 y por tanto la solucin particular que verifica
las condiciones iniciales es:
(x) = 2ex cos x + 2sen x x2 3x 1.
Ejemplo 10.4.8: Resolver la ecuacin y y = 12x2 + 6x.
Se calcula la solucin general de la ecuacin homognea asociada: H (x)
= C 1 + C 2 x + C 3 ex, como = 0 es autovalor doble, la solucin particular p es
un polinomio de grado cuatro de la forma: p (x) = x2(Ax2 + Bx + C) = Ax4 + Bx3
+ Cx2, cuyos coeficientes A, B, C hay que determinar. Sustituyendo este
polinomio y sus derivadas en la ecuacin diferencial:
24Ax + 6B (12Ax2 + 6Bx +2C) = 12x2 + 6x.
Identificando coeficientes se obtiene el siguiente sistema:
12A = 12
24A 6B = 6
6B 2C = 0
de donde resulta: A = 1; B = 5 y C = 15. Por lo tanto la solucin particular

es:
p (x) = x4 5x3 15x2,
y la solucin general:
g (x) = C 1 + C 2 x + C 3 ex x4 5x3 15x2.
Ejemplo 10.4.9: Resolver la ecuacin diferencial y'' + y = xsen x.
Los autovalores son 1 = i y 2 = i, y la solucin general de la ecuacin
homognea asociada tiene la forma H (x) = C 1 cos x + C 2 sen x; como i son
autovalores simples, una solucin particular de la ecuacin completa p es de
la forma p (x) = x[(Ax + B)cos x + (Cx + D)sen x], en la que hay cuatro
coeficientes por determinar.
Para simplificar se considera la ecuacin de variable compleja con
coeficientes reales z + z = xeix. Al ser xsen x la parte imaginaria de xeix,
entonces la parte imaginaria de una solucin de la ecuacin de variable
compleja es una solucin para la ecuacin de variable real.
Sea zp = (Ax + B)xeix = (Ax2 + Bx)eix una solucin particular de la
ecuacin de variable compleja; sustituyendo para calcular A y B se tiene que:
(2A + 4Axi + 2Bi)eix = xeix y por tanto A =
zp =
i
1
y B = , por lo que:
4
4
x cos x + x 2 senx xsenx x 2 cos x

i .x 2 + x
(cos x +isenx ) =
+i
4
4
4
de donde resulta que una solucin particular p de la ecuacin inicial es:

p (x) =
xsenx x 2 cosx
4
654
y la solucin general:
g (x) = C 1 cos x + C 2 sen x +
xsenx x 2 cos x
4
Ejercicios
10.15. Encontrar la solucin general para cada una de las siguientes
ecuaciones:
a) (D 1)(D 2) 2 (y) = e 2x .
b) (D 2 1)(y) = 4xe x .
c) (D 3 4 D)(y) = 4.
10.16. Resolver las siguientes ecuaciones diferenciales:
a) y 6y + 9y = e2x.
b) y y = sen2x. (Ayuda: Expresar sen2x en funcin del ngulo 2x).
c) y y + y y = x2 + x.
d) y 6y + 9y = 25exsen x.
10.17. Resolver las siguientes ecuaciones, planteando la correspondiente
ecuacin de variable compleja
a) y + y = xcos x
b) y + 4y = sen 2x
10.4.4. Ecuaciones diferenciales lineales con coeficientes no

constantes
No existen mtodos generales para resolver una ecuacin diferencial
lineal con coeficientes variables, pero hay diversos procedimientos, utilizando
distintos cambios de variable, que permiten rebajar el orden de la ecuacin.
Algunos de estos procedimientos coinciden con los que se estudiaban en el
captulo 9 para reducir el orden de una ecuacin diferencial de orden n. Otra
forma de reducir el orden de una ecuacin de este tipo es utilizar el principio de
DAlembert que se estudi en el apartado 10.4.1, pero esto supone que se
conoce una solucin particular. Por otra parte existen algunas ecuaciones
especiales, como la ecuacin de Cauchy-Euler, a las que se puede aplicar un
mtodo general de resolucin.
Para utilizar el mtodo de variacin de las constantes, aplicable a una
ecuacin lineal con coeficientes variables, es necesario conocer un conjunto
fundamental de soluciones de la ecuacin homognea asociada, lo que no
siempre es fcil cuando se trata de resolver una ecuacin diferencial lineal con
coeficientes variables.
Ecuacin de Cauchy-Euler
Definicin 10.4.1:
Se denomina ecuacin de Cauchy-Euler, o ecuacin equidimensional, a
una ecuacin diferencial lineal de la forma:
p 0 xnyn) + p 1 xn-1yn-1) + ... + p n-1 xy' + p n y = g(x),
656
con p 0 , p 1 , ..., p n y x 0.
Constituye una clase de ecuaciones con coeficientes variables cuya
solucin siempre puede escribirse en trminos de funciones elementales.
Se caracteriza porque el grado del exponente de x coincide con el orden
de la derivada. Se resuelve en primer lugar la ecuacin homognea asociada y
luego se obtiene una solucin particular de la completa.
Ecuacin homognea:
La ecuacin: p 0 xnyn) + p 1 xn-1yn-1) + ... + p n-1 xy' + p n y = 0, x 0, con p 0 ,
p 1 , p 2 , ..., p n constantes, se denomina ecuacin homognea de Cauchy-Euler.
Se observa que el coeficiente de yn) es pnxn, que se anula en x = 0. Al
dividir por l la ecuacin diferencial para despejar yn) las funciones coeficientes
resultantes no son continuas en x = 0, por lo que se calcula una solucin en el
intervalo (0, +), o en el intervalo (, 0).
En la resolucin se pueden utilizar dos mtodos que resultan
coincidentes: hacer el cambio de variable x = et o buscar una solucin de la
forma y = xr, para algn valor de r.
Mtodo 1:
Realizando el cambio de variable x = et estas ecuaciones se reducen a
ecuaciones lineales homogneas de coeficientes constantes. La ecuacin, con
este cambio de variable, queda de la forma:
q0
d ny
dt
+ q1
d n 1y
dt
+ ... + q n 1
dy
+ q n y = 0 con q 1 , q 2 , ..., q n constantes.
dt
Mtodo 2:
Este mtodo consiste en buscar una solucin de la ecuacin del tipo y =
xr, siendo r un nmero por determinar.
En este caso y = rxr-1; y = r(r 1)xr-2; ..., yn) = r(r 1) ... (r n + 1)xr-n.
Al sustituir esta funcin y sus derivadas en la ecuacin se tiene xr(q(r)) = 0
siendo q(r) un polinomio en r. Ya que xr 0 se tiene que q(r) debe ser 0. Las
soluciones de esta ecuacin permiten obtener un conjunto fundamental de
soluciones.
Ecuaciones completas
Sean p 0 , p 1 , p 2 , ..., p n constantes. Las ecuaciones de Cauchy-Euler
completas del tipo:
p 0 xnyn) + p 1 xn-1yn-1) + ... + p n-1 xy' + p n y = xQ m (lnx), x 0, siendo
Q m (x) un polinomio de grado m, se pueden resolver por el mtodo de los
coeficientes indeterminados de forma similar a como se resolvan las
ecuaciones no homogneas de coeficientes constantes de la forma exQ m (x).
En este caso, una solucin particular es del tipo p (x) = xR m (ln|x|), siendo
R m (x) un polinomio de grado m.
Ecuacin de Cauchy-Euler con cambio de variable
Un cambio de variable similar al que ha resuelto la ecuacin de CauchyEuler se puede utilizar para resolver la siguiente ecuacin homognea:
p 0 (ax + b)nyn) + p 1 (ax + b)n-1yn-1) + ... + p n-1 (ax + b)y' + p n y = 0, ax + b 0.
Buscando soluciones de la forma (x) = (ax + b)r, o haciendo el cambio ax
+ b = et, una ecuacin de este tipo se transforma en una ecuacin diferencial
658
lineal homognea de coeficientes constantes.

Es evidente que la ecuacin de Cauchy-Euler es un caso particular de
esta ecuacin cuando a = 1 y b = 0
Cambios de variable
Ecuaciones en las que falta la funcin incgnita
Si la ecuacin es de la forma yn)(x) + P 1 (x)yn-1)(x) + ... + P n-1 (x)y'(x) =
G(x), el cambio de variable y(x) = u(x), reduce el orden de la ecuacin en una
unidad.
Efectivamente si
d 2 y du
dy
=
= u , entonces
dx
dx 2 dx
dny
dx n
d n 1u
dx n 1
y la
ecuacin que resulta un-1)(x) + P 1 (x)un-2)(x) + ... + P n-1 (x)u(x) = G(x) es de

orden n 1.
Anlogamente si en la ecuacin diferencial falta la funcin y y sus
derivadas hasta el orden k, es decir, se puede expresar de la forma:
yn)(x) + P 1 (x)yn-1)(x) + ... + P n-k (x)yk)(x) = G(x),
realizando el cambio de variable

k unidades.
dky
dx k
= u se reduce el orden de la ecuacin en
Ejemplos resueltos
Ejemplo 10.4.10: Resolver la ecuacin de Cauchy-Euler:
x2y'' + xy' y = 0, x 0.
Haciendo el cambio x = et se tiene que:
dy t
y' =
e ;
dt
d 2 y dy 2t
e
.
y' ' =
dt 2 dt
Sustituyendo, la ecuacin queda de la forma:
d 2y
dt 2
y =0.
La solucin general de esta ecuacin es: (t) = C 1 et + C 2 e-t. Deshaciendo

el cambio se obtiene la solucin general de la ecuacin inicial:
(x) = C 1 x + C 2 x-1.
Para resolver por el otro mtodo la ecuacin anterior x2y + xy y = 0,
se sustituye en la ecuacin diferencial la solucin y = xr. Se tiene que x2r(r
1)xr-2 + xrxr-1 xr = 0 y por lo tanto xr(r2 1) = 0, como xr 0 se tiene que r2
1 = 0, y la solucin es r = 1 y r = 1. Las funciones y 1 = x; y 2 = x-1 forman un
conjunto fundamental de soluciones, de las que se obtiene la solucin general:
(x) = C 1 x + C 2 x-1.
Ejemplo 10.4.11: Integrar la ecuacin x2y xy 3y = 16x-1ln x, x > 0.
Se resuelve primero la ecuacin diferencial homognea asociada
buscando una solucin del tipo y = xr. Sustituyendo y = rxr-1; y = r(r 1)xr-2
se tiene que xr(r2 2r 3) = 0, de races r = 3 y r = 1. Por tanto la solucin
660
general de la ecuacin diferencial homognea es (x) = C 1 x3 + C 2 x-1.

A continuacin se busca una solucin particular de la ecuacin completa.
Como = 1 es un autovalor simple, se tiene que:
p (x) = x-1lnx(Aln x + B) = x-1(Aln2x + Bln x),
p (x) = x-2(Aln2x + (2A B)ln x + B),
p (x) = x-3(2Aln2 x + (2B 6A)ln x 3B + 2A),
y al sustituirlos en la ecuacin:
x-1(8Aln x 4B + 2A) = 16x-1ln x
resulta que A = 2 y B = 1 y la solucin particular buscada es:
p (x) = x-1(2ln2 x + ln x).
Por lo tanto la solucin general es:
g (x) = x-1(C 1 x4 + C 2 + 2ln2x + ln x).
Ejemplo 10.4.12: Resolver la ecuacin diferencial xy 2y = x.
Al realizar el cambio de variable u = y se tiene que u = y, que se
sustituye en la ecuacin y se obtiene xu 2u = x, ecuacin lineal de primer
orden. La solucin general es u(x) = x + C 1 x2. Se deshace el cambio: y(x) =
x + C 1 x2. Se integra de nuevo para obtener la solucin general:
g (x) =
x2
x3
+ C1
+ C2 .
2
3
Ejemplo 10.4.13: Resolver la ecuacin diferencial xy 2y = 0.

Realizando el cambio de variable y = u, la ecuacin que resulta es lineal
de primer orden xu 2u = 0, que tiene como solucin general u(x) = k 1 x2.
Deshaciendo el cambio y(x) = k1
x3
x4
+ k 2 e y(x) = k1
+ k 2 x + k 3 , es decir:
3
12
g (x) = C 1 x4 + C 2 x + C 3 .
Ejercicios
10.18. Resolver las siguientes ecuaciones.
a)
x2y xy + 2y = xln x
b)
x2y xy + y = 2x
c)
x2y 2xy + 2y = x2 2x + 2.
10.19. Hallar la solucin general de las siguientes ecuaciones diferenciales

lineales:
a) (1 + x2)y + 2xy = 2x-3
b) xy y = 2x-1 ln x
c) (1 + 2x)y + 4xy + (2x 1)y = e-x.
d) x2y xy 3y = 5x4.
10.20. Calcular la solucin general de las siguientes ecuaciones conocida
una solucin particular.
a) x2(ln x 1)y xy + y = 0, siendo y 1 (x) = x, una solucin particular.
b) (2x + 1)y + (4x 2)y 8y = 0 siendo y 1 (x) = emx, una solucin
particular.
662
10.5. DESARROLLOS EN SERIES DE POTENCIAS

En el apartado anterior se han estudiado algunos mtodos para resolver
una ecuacin lineal de orden n con coeficientes variables que se pueden
aplicar cuando las ecuaciones diferenciales son de una forma especfica. Pero
existen muchas ecuaciones diferenciales que aparecen en las aplicaciones que
no se ajustan a los modelos anteriores y es preciso para resolverlos aplicar un
mtodo general que consiste en buscar soluciones linealmente independientes
expresadas mediante una serie de potencias. El procedimiento que se utiliza
para resolverlas es similar al de los coeficientes indeterminados aplicado a una
serie infinita. El estudio que se realiza a continuacin, centrado en las
ecuaciones diferenciales lineales de segundo orden, trata, esencialmente, de
su desarrollo y de las condiciones necesarias para poder aplicarlo.
10.5.1. Soluciones en torno a puntos ordinarios

Definicin 10.5.1:
Se dice que x 0 es un punto ordinario de la ecuacin diferencial lineal:
y + P(x)y + Q(x)y = 0
si P(x) y Q(x) son funciones analticas en un entorno del punto x 0 , es decir,
cada una de ellas se puede expresar como un desarrollo en serie de potencias
que converge en un entorno de dicho punto.
Si un punto no es ordinario se denomina punto singular.
En un punto ordinario las soluciones de la ecuacin diferencial son
tambin analticas.
Ecuacin de Legendre
Definicin 10.5.2:
Se denomina ecuacin de Legendre la que se puede expresar de la
forma:
(1 x2)y 2xy + p(p + 1)y = 0,
(10.5.1)
siendo p constante.
Las funciones P(x) =
2x
1 x
y Q(x) =
p( p + 1)
1 x 2
son analticas en el origen,
que por tanto es un punto ordinario. Se trata de encontrar una serie de
potencias de la forma: y =
an x n convergente en un intervalo abierto de la
n =0
recta real (r, r), con 0 < r < 1.

Derivando esta serie de potencias se obtiene:
y' =
nan x n 1 y
n =1
y'' =
n( n 1)an x n 2 ,
n =2
por lo tanto:
2xy =
2na n x n =
(1 x )y =
2nan x n ,
n =0
n =1
n( n 1)an x
n =2
n 2
n( n 1)an x n
n =2
664
( n + 2 )( n + 1)an + 2 x n
n( n 1)an x n
n =0
n =0
[( n + 2 )( n + 1)an +2
n( n 1)a n ]x n .
n =0
Sustituyendo en la ecuacin diferencial se tiene:
[( n + 2 )( n + 1)an +2
n( n 1)a n ]x n
n =0
2nan x n + p(p + 1)
n =0
an x n
=0
n =0
que se satisface si y slo si los coeficientes verifican la siguiente ecuacin:
( n + 2 )( n + 1)an + 2 n( n 1)a n 2nan + p(p + 1)a n = 0,

que se puede expresar:
( n + 2 )( n + 1)an + 2 (n p)(n +1 + p)a n = 0, o bien,

a n+2 =
( p n ) ( p + n + 1)
an .
( n + 1)( n + 2 )
Esta expresin permite calcular los trminos pares de la serie en funcin

de a 0 , en particular se tiene que: a 2 =
a4 =
p( p + 1)
a0 ,
1 2
p( p + 1)( p 2 ) ( p + 3 )
( p 2) ( p + 3)
a2 = (1)2
a0 ,
34
1 2 3 4
y en general
a 2n = (1)n
p( p 2 ) ( p 2n + 2 ) ( p + 1)( p + 3 ) ( p + 2n 1)
a0 .
( 2n )!
Anlogamente se pueden calcular los trminos impares en funcin de a 1

con lo que se obtiene:
a 2n+1 = (1)n
( p 1)( p 3 ) ( p 2n + 1) ( p + 2 )( p + 4 ) ( p + 2n )
a1.
( 2n + 1)!
Se consideran las siguientes funciones:
(-1)
n
y 1 (x) = 1 +
n =1
( p1)( p3 ) ( p2n +1)( p+2 )( p+4 ) ( p+2n ) 2n

x ,
( 2n +1)!
( p1)( p3 ) ( p2n +1)( p+2 )( p+4 ) ( p+2n ) 2n+1

x
.
( 2n +1)!
n =1
y 2 (x) = x +
Se puede demostrar por el criterio del cociente que estas series son
convergentes para IxI < 1. Adems y 1 (x) e y 2 (x) son soluciones de la ecuacin
diferencial (10.5.1) y son linealmente independientes ya que satisfacen las
condiciones iniciales:
y 1 (0) = 1, y1 (0) = 0, y 2 (0) = 0, y2 (0) = 1.
Por lo tanto la solucin general de la ecuacin diferencial de Legendre
(10.5.1) en el intervalo (1, 1) est expresada por:
(x) = C 1 y 1 (x) + C 2 y 2 (x).
Si p es 0 o un entero par positivo, p = 2k, la serie y 1 (x) se convierte en un
polinomio de grado 2k que slo contiene potencias pares de x, mientras que en
y 2 (x) no hay coeficientes nulos. Cuando p es un entero impar positivo es la
serie y 2 (x) la que se reduce a un polinomio frente a la serie y 1 (x) que sigue
teniendo infinitos trminos no nulos.
Los polinomios obtenidos de esta forma se denominan polinomios de
Legendre y tienen importantes aplicaciones prcticas.
Teorema 10.5.1:
Si P(x), Q(x) son dos funciones desarrollables en serie de potencias en un
666
entorno de un punto x 0 , E(x 0 ), entonces la solucin general de la ecuacin

diferencial: y + P(x)y + Q(x)y = 0 es y =
an ( x x0 )n
= k 0 y 1 + k 1 y 2 ,
n =0
donde y 1 , y 2 son soluciones de la ecuacin diferencial desarrollables en serie

de potencias en E(x 0 ). Adems si k 0 y k 1 son nmeros reales existe una nica
solucin de la ecuacin en serie de potencias que verifica que a 0 = k 0 , a 1 = k 1 y
el resto de los coeficientes se determinan en funcin de a 0 y a 1 .
El radio de convergencia de los desarrollos en serie de y 1 e y 2 es mayor o
igual que el mnimo de los radios de convergencia de las funciones P(x) y Q(x).
La demostracin de este teorema sigue los mismos pasos que se han
utilizado para encontrar la solucin de la ecuacin de Legendre. Se sustituyen
los desarrollos en serie de P(x) y Q(x) en la ecuacin diferencial obteniendo los
coeficientes a n de la solucin para que se verifique la ecuacin. Se obtiene una
frmula recurrente que determina los coeficientes pares a partir de a 0 y los
impares, de a 1 . Se parte de que a 0 = k 0 y a 1 = k 1 y se consiguen todos los
dems. De esta forma la serie de potencias as definida verifica la ecuacin
diferencial. Para probar que esta serie es convergente en E(x 0 ) se mayora
mediante otra serie de potencias convergente en dicho entorno.
10.5.2. Soluciones en torno a puntos singulares

El teorema anterior garantiza la existencia de una solucin expresada en
serie de potencias de una ecuacin diferencial de segundo orden en un entorno
de un punto ordinario. Se trata ahora de analizar las soluciones en serie de
potencias que se pueden obtener de dicha ecuacin en puntos singulares.
Definicin 10.5.3:
Se dice que x 0 es un punto singular regular de una ecuacin diferencial

lineal de segundo orden si dicha ecuacin se puede expresar de la forma:
(x x 0 )2y + (x x 0 )P(x)y + Q(x)y = 0,
siendo P(x)y Q(x) funciones analticas en un entorno del punto x 0 .
Si un punto singular no verifica esta condicin se dice que es un punto
singular irregular.
Resulta evidente que en la ecuacin (x x 0 )2y + (x x 0 )P(x)y + Q(x)y
= 0 no es aplicable el teorema 10.5.1 ya que las funciones
Q( x )
( x x0 )2
P( x )
y
( x x0 )
no son analticas en x 0 ; sin embargo existen mtodos para resolver
estas ecuaciones. A continuacin se utilizar la teora de Frobenius para

resolver la ecuacin de Bessel en x 0 = 0, cuando ste es un punto singular
regular de esta ecuacin.
Teora de Frobenius
Definicin 10.5.4:
Se denomina serie de Frobenius o serie de potencias generalizada en
un punto x 0 a una serie de la forma:
Ix x 0 I
an ( x x0 )n , t y a 0 0.
(10.5.2)
n =0
siendo la serie de potencias
an ( x x0 )n
n =0
x0.
Definicin 10.5.5:
convergente en un entorno de
668
La ecuacin de ndices en un punto singular regular x 0 de la ecuacin

diferencial (x x 0 )2y + (x x 0 )P(x)y + Q(x)y = 0 es la ecuacin, en la
variable t, que se obtiene al sustituir en la ecuacin diferencial la funcin
incgnita por una serie de Frobenius genrica de la forma (10.5.2) e igualar a 0
el trmino independiente de la expresin que se obtiene dividida por xt.
Las races de la ecuacin de ndices son los nicos valores de t que
permiten encontrar soluciones, expresadas mediante series de Frobenius, en
un punto singular regular de una ecuacin diferencial.
Ecuacin de Bessel
Definicin 10.5.6:
Se denomina ecuacin de Bessel la que se puede expresar de la forma:
x2y xy + (x2 p2)y = 0,
siendo p 0 constante.
Se busca una ecuacin de la forma:
y(x) = IxIt
an x n ,
(10.5.3)
n =0
siendo a 0 0, en un entorno pinchado de 0, Br (0), con lo que x 0.

Se supone, primero que x > 0, as IxIt = xt. Derivando (10.5.3) se obtiene:
y = tx
t-1
an x
n =0
+ x
t
nan x
n 1
=x
n =0
t-1
an ( n + t ) x n ,
n =0
n =0
n =0
n =0
y'' = (t 1)xt-2 a n ( n + t )x n + xt-1 n( n +t )an x n 1 = xt-2 ( t 1+n )( n + t )a n x n ,

y sustituyendo en la ecuacin diferencial se obtiene:
n =0
n =0
n =0
n =0
xt ( t 1+n )( n + t )an x n + xt a n ( n + t )x n + xt+2 an x n xt p 2 an x n = 0
xt an [( n + t ) 2 p 2 ]x n + xt+2
n =0
an x n = 0
n =0
dividiendo por xt:
a n ( n + t ) 2 p 2 x n + x2
n =0
an x n
= 0.
n =0
Los coeficientes a n se determinan imponiendo que se anulen en esta

ecuacin los coeficientes de cada una de las potencias de x.
Al igualar a cero el trmino independiente se tiene que (t2 p2)a 0 = 0, y
como a 0 0 es necesario que t2 p2 = 0. Esta es la ecuacin de ndices y sus
races p y p son los nicos valores de t que permiten obtener una ecuacin de
la forma (10.5.3).
Para t = p las ecuaciones que se obtienen para determinar los valores a n
son:
[(1 + p)2 p2]a 1 = 0 y [(n + p)2 p2]a n + a n-2 = 0, n 2.
Ya que p 0, de la primera ecuacin se deduce que a 1 = 0, de la
segunda se obtiene la siguiente frmula de recurrencia que expresa a n en
funcin de a n-2 :
an =
an 2
( n + p )2 p 2
an 2
.
n( n + 2 p )
De este modo se obtiene que a 3 = a 5 = a 7 = ... = 0, y por tanto a 2n+1 = 0

n 0, es decir los coeficientes de potencias de exponente impar son nulos.
670
Para los de potencias pares se tiene:

a2 =
a0
a0
=
,
2
2( 2 + 2 p )
2 (1 + p )
( 1) 2 a0
a2
a4 =
=
,
4( 4 + 2 p )
2 4 2! ( 1 + p )( 2 + p )
a6 =
( 1)3 a0
a4
=
,
6( 6 + 2 p )
2 6 3! ( 1 + p )( 2 + p )( 3 + p )
y en general
a 2n =
( 1) n a0
2 2n n! ( 1 + p )( 2 + p )( 3 + p )...( n + p )
Por lo tanto para el valor t = p se obtiene la siguiente solucin:
( 1) n x 2n
.
y(x) = a 0 x 1 +
2n
n =1 2 n! ( 1 + p )( 2 + p )( 3 + p )...( n + p )
Aplicando el criterio del cociente se comprueba que esta serie es

convergente.
Si se considera ahora que x < 0, mediante un razonamiento anlogo, se
obtiene una solucin similar que slo difiere de la anterior en que xp queda
sustituido por (x)p. Por lo tanto una solucin de la ecuacin de Bessel para x
0 est expresada por la funcin:
( 1) n x 2n
, x 0
y 1 (x) = a 0 IxI 1 +
2n
n =1 2 n! ( 1 + p )( 2 + p )( 3 + p )...( n + p )
p
Si se estudia la raz de la ecuacin de ndices t = p se obtienen las

siguientes ecuaciones:
[(1 p)2 p2]a 1 = 0,

[(n p)2 p2]a n + a n-2 = 0, n 2
(1 2p)a 1 = 0,
n(n 2p)a n + a n-2 = 0.
De estas ecuaciones, si 2p no es entero, se tiene:
a 1 = 0,
an =
an 2
, n 2
n( n 2 p )
Ya que la frmula de recurrencia es la misma sustituyendo p por p ,

mediante un desarrollo similar al anterior se obtiene la solucin:
( 1) n x 2n
, x 0
y 2 (x) = a 0 IxI 1 +
2n
n =1 2 n! ( 1 p )( 2 p )( 3 p )...( n p )
p
Esta solucin se ha obtenido suponiendo que 2p no es un entero positivo

pero la serie que la define tiene igual sentido si 2p es entero positivo, siempre
que p no lo sea.
Para todo p 0 se ha obtenido la solucin y 1 (x) y si p no es un nmero
entero positivo se ha calculado otra solucin y 2 (x). Se puede demostrar que
y 1 (x) e y 2 (x) son linealmente independientes y por lo tanto cuando p no es un
nmero entero positivo la solucin general de la ecuacin de Bessel es de la
forma:
(x) = C 1 y 1 (x) + C 2 y 2 (x).
672
Teorema 10.5.2:
Si x = 0 es un punto singular regular de la ecuacin diferencial x2y +
xP(x)y + Q(x)y = 0 y las funciones P(x), Q(x) tienen un desarrollo en serie de
potencias en un intervalo (r, r), con r > 0, y si la ecuacin de ndices tiene dos
races reales t 1 y t 2 (t 2 < t 1 ), entonces la ecuacin diferencial tiene al menos
t1
una solucin de la forma y 1 (x) = x
an x n , siendo a n 0, para todo x 0,
n =0
en el intervalo (r, r). Adems si t 1 t 2 no es cero ni un nmero entero positivo,

entonces la ecuacin tiene otra solucin linealmente independiente de la
anterior de la forma y 2 (x) = x
t2
bn x n , siendo b n 0, para todo x 0, en
n =0
el intervalo (r, r).

La demostracin de este teorema sigue los mismos pasos que se han
utilizado para encontrar la solucin de la ecuacin de Bessel.
La ecuacin de ndices que resulta es: t2 + t(p 0 1) + q 0 = 0, siendo p 0 y
q 0 los coeficientes de x0 en los desarrollos en series de potencias de xP(x) y
x2Q(x) respectivamente.
Si las races de esta ecuacin son nmeros complejos conjugados
entonces los coeficientes de la serie de Frobenius son tambin complejos.
Ejemplos resueltos
Ejemplo 10.5.1: Encontrar la solucin general, y(x) =
an x n , de la
n =0
ecuacin diferencial y + xy + y = 0 de la forma y(x) = C 1 y 1 (x) + C 2 y 2 (x),
siendo y 1 (x) e y 2 (x), series de potencias.
Derivando y(x) =
an x n , se obtiene
n =0
y'(x) =
nan x n 1 =
n =1
nan x n 1 ,
n =0
y''(x) =
n( n 1)an x
n 2
n =2
n( n 1)an x n 2 .
n =0
y sustituyendo en la ecuacin:
n( n 1)an x
n 2
+ x
n =0
n( n 1)an x n 2 =
n =0
nan x
n 1
n =0
an x n
=0
n =0
( n + 1)an x n
n =0
( n + 2 )( n + 1)an + 2 x n =
n = 2
( n + 1)an x n .
n =0
Igualando coeficientes (n + 2)(n + 1)a n+2 = (n + 1)a n de donde se

obtiene la frmula de recurrencia a n+2 =
an
vlida para n 0. Por lo tanto:
n+2
a2 =
a0
a2
a4
( 1) n a0
( 1) 2 a0
( 1)3 a0
, a4 =
=
, a6 =
=
, ..., a 2n =
24
246
2
4
6
2 n n!
a3 =
a5
a3
a1
( 1) n a1
( 1) 2 a1
( 1)3 a1
, a5 =
=
, a7 =
=
, ..., a 2n+1 =
35
357
( 2n + 1)! !
3
5
7
La solucin general de la ecuacin diferencial es:
674
y(x) = a 0
( 1) n x 2n
2 n n!
n =0
+ a1
( 1)n x 2n +1
.
( 2n + 1)! !
n =0
Ejemplo 10.5.2: Hallar una solucin expresada en series de potencias de

la ecuacin diferencial (1 x2)y + 2y = 0.
Derivando y(x) =
an x n , como en el ejemplo anterior se obtiene:
n =0
n( n 1)an x n 2 .
y(x) =
n =0
y sustituyendo en la ecuacin:
(1 x )
2
n( n 1)an x
n 2
= 2
n =0
n( n 1)an x
n 2
an x n
n( n 1)an x
n =0
( n + 2 )( n + 1)an + 2 x n =
n = 2
an x n
n =0
( n( n 1) 2 )an x n .
n =0
Igualando coeficientes:
(n + 2)(n + 1)a n+2 = (n2 n 2)a n
de donde se obtiene la frmula de recurrencia:
a n+2 =
n =0
n =0
an ( n 2 )
vlida para n 0.
n+2
Por lo tanto:
a 2 = a 0 , a 4 = 0, a 6 = 0, ..., a 2n = 0, n 2
a3 =
a
a1
a1
a1
3a5
a1
, a5 = 3 =
, a7 =
=
, ..., a 2n+1 =
.
7
5
3
35
57
( 2n 1)( 2n + 1)
Por consiguiente una solucin de la ecuacin diferencial es:
y(x) = a 0 + a 2 x2 +
( a1 )x 2n +1
= a 0 (1 x2) a 1
( 2n 1)( 2n + 1)
n =0
x 2n +1
.
(
n
)(
n
)
2
1
2
1
+
n =0
Ejemplo 10.5.3: Comprobar que el origen es un punto singular regular de

la ecuacin de Cauchy-Euler de segundo orden: x2y + bxy + cy = 0 (b, c
constantes no nulas) y que su ecuacin de ndices coincide con la ecuacin
caracterstica de la ecuacin diferencial lineal de coeficientes constantes que
se obtiene al realizar el cambio de variable x = et.
Las funciones P(x) = b y Q(x) = c son constantes y por lo tanto x = 0 es
un punto singular regular de la ecuacin de Cauchy-Euler.
Haciendo el cambio x = et se tiene que:
y' =
dy t
e ;
dt
Sustituyendo:
d 2 y dy 2t
e
.
y' ' =
dt 2 dt
d 2y
dt 2
+ ( b 1)
dy
+ cy = 0 ,
dt
ecuacin
diferencial
con
coeficientes constantes cuya ecuacin caracterstica es: 2 + (b 1) + c = 0

Para calcular la ecuacin de ndices se supone x > 0 (si x < 0 se obtiene
la misma ecuacin) y se considera la serie de Frobenius y(x) = xt
an x n ,
n =0
siendo a n 0. Derivando esta serie:
676
n =0
n =0
y = xt-1 a n ( n + t )x n , y'' = xt-2 ( t 1+n )( n + t )an x n ,

y sustituyendo en la ecuacin diferencial:
n =0
n =0
n =0
xt ( t 1+n )( n + t )an x n + bxt a n ( n + t )x n + cxt an x n = 0
xt an [( n + t ) 2 ( n +t ) + b( n +t ) + c ]x n = 0
n =0
xt an [( n + t ) 2 + ( b 1)( n +t ) + c ]x n = 0.
n =0
Dividiendo por xt, se tiene que el coeficiente de x0 es: a 0 (t2 + (b 1)t + c)

y por lo tanto la ecuacin de ndices: t2 + (b 1)t + c = 0 tiene las mismas
races que la ecuacin caracterstica obtenida anteriormente.
Ejercicios
10.21. Encontrar la solucin general y(x) =
an x n , de la ecuacin de
n =0
Hermite, y 2xy + 2py = 0, (con p constante) de la forma y(x) =

C 1 y 1 (x) + C 2 y 2 (x), siendo y 1 (x) e y 2 (x), series de potencias.
10.22. Hallar
dos
soluciones
en
serie
de
potencias
linealmente
independientes, vlidas en un intervalo (r, r), con r < 1, de la

ecuacin de Chebyshev, (1 x2)y xy + p2y = 0, siendo p una
constante.
10.23. Demostrar que si p es un nmero entero no negativo, entonces la
solucin de la ecuacin de Chebyshev es un polinomio de grado p.
10.24. Encontrar la ecuacin de ndices y sus races para cada una de las
siguientes ecuaciones diferenciales en el punto x = 0.
a)
x2y + (cos 2x 1)y + 2xy = 0.
b)
4x2y + (2x4 5x)y + (3x2 + 2x)y = 0.
10.25. Comprobar que el origen es un punto singular regular de la ecuacin:

2x2y'' + x(2x + 1)y' y = 0 y resolverla en un entorno de x = 0.
10.6. APLICACIONES
10.6.1. Movimiento oscilatorio armnico
Vibraciones armnicas simples no amortiguadas
Se considera un bloque de masa m sujeto al extremo de un resorte y se
denota por y(t) el desplazamiento del bloque en funcin del tiempo. Se
considera el desplazamiento hacia abajo como positivo y hacia arriba negativo.
En el punto de equilibrio el peso del bloque se compensa con la fuerza de
elasticidad del resorte. Se supone que esta fuerza elstica es proporcional al
desplazamiento, es decir, igual a ky(t), siendo k > 0 una constante, que
cuantifica la rigidez del resorte. El movimiento de este sistema, siempre que no
se rebasen los lmites de elasticidad del resorte, viene dado por la ecuacin:
ky(t) = my(t).
Si se supone que no hay ms fuerzas actuando en el sistema, la ecuacin
anterior describe un movimiento libre no amortiguado que se denomina
movimiento armnico simple; esta ecuacin se puede expresar de la forma
678
y + w 0 2y = 0 con w 0 2 = k/m, que es una ecuacin lineal homognea de

segundo orden cuya ecuacin caracterstica es 2 + w 0 2 = 0, sus autovalores
w 0 i, y por lo tanto la solucin general tiene la forma: y(t) = C 1 cos(w 0 t) +
C 2 sen(w 0 t) = Asen(w 0 t + ) donde t es el tiempo.
Se puede calcular e interpretar fsicamente el periodo, la frecuencia, la
amplitud y el ngulo de fase. Y dadas unas condiciones iniciales se determina
la ecuacin del movimiento.
Vibraciones amortiguadas
El modelo libre no amortiguado no es realista pues no se conoce ningn
resorte que no pare nunca. Existe siempre la resistencia del medio. Se puede
suponer que existe resistencia debido a que el medio es viscoso, o bien que
existe un dispositivo amortiguador. Esta fuerza se considera proporcional a la
velocidad del movimiento y, y si b es la constante de amortiguacin se tiene
que la ecuacin del movimiento amortiguado viene dada por:
y + (b/m)y + (k/m)y = 0.
Se denota de nuevo w 0 2 = k/m, y 2u = b/m con lo que la ecuacin queda
de la forma:
y + 2uy' + w 0 2y = 0
que es tambin una ecuacin homognea de coeficientes constantes, cuya
ecuacin caracterstica es:
2 + u + w 0 2 = 0.
Las races de esta ecuacin son: u u 2 w 02 . Sean y . Se pueden
distinguir tres casos:

a) Si u2 w 0 2 > 0 la ecuacin tiene dos races reales y simples,
teniendo ambas signo negativo:
La solucin general de la ecuacin viene expresada por: y(t) =
C 1 et + C 2 et. De esta frmula se deduce, al ser y negativas, que
cualesquiera que sean las condiciones iniciales, el desplazamiento y(t)
tiende a cero cuando t tiende a , y por lo tanto no hay oscilaciones. El
movimiento es suave y no oscilatorio y se dice que el sistema est
sobreamortiguado.
b) Si u2 w 0 2 < 0 la ecuacin tiene dos races complejas: = + i
y = i, con = u < 0. La solucin general de la ecuacin viene
expresada por:
y(t) = C 1 etcos t + C 2 etsen t = Aetsen (t + ).
De esta frmula se deduce que las amplitudes Aet de las
oscilaciones tienden a cero cuando aumenta el tiempo, y el sistema est
subamortiguado.
c) En el caso en que u2 w 0 2 = 0 la ecuacin tiene una nica raz
real = = u < 0 y la solucin general de la ecuacin y(t) = (C 1 +
C 2 t)et . En este caso, como en el sistema sobreamortiguado, al ser
negativo, el desplazamiento tambin tiende a cero cuando t tiende a ,
pero con menor velocidad debido al factor C 1 + C 2 t. Se dice que el
sistema est crticamente amortiguado en el sentido de que cualquier
variacin lo hara pasar a uno de los dos estados anteriores.
680
Vibraciones forzadas
En este caso actan fuerzas exteriores al sistema. As, por ejemplo, se
puede suponer que el punto inferior del resorte efecta movimientos verticales
segn una funcin de t. Esto puede ocurrir cuando, por ejemplo, el resorte y el
bloque se desplazan por un camino de relieve irregular. En este caso, ms
general, la ecuacin diferencial que describe el movimiento es una ecuacin
lineal no homognea de coeficientes constantes:
d 2 y( t )
dx
+b
dy ( t )
+ c y ( t ) = g( t ) ,
dx
donde g(t) es una fuerza externa que acta sobre la masa del resorte. Para
calcular sus soluciones, en primer lugar, hay que resolver la ecuacin
homognea y luego hallar una solucin particular de la completa.
Cuando la funcin g que representa la fuerza exterior es peridica se
puede originar una situacin especial que se analiza a continuacin, si se
supone que la fuerza externa g es una funcin seno o coseno con la misma
frecuencia que las soluciones de la ecuacin homognea asociada.
Se deben considerar de nuevo los casos ya estudiados para la ecuacin
homognea. Si en la ecuacin general y(t) + by(t) + cy(t) = g(t), se tiene que
b es igual a 0, el movimiento corresponde a las oscilaciones libres forzadas
pudiendo aparecer problemas de resonancia, o de modulacin de amplitud.
Mientras que si b es distinto de cero, las vibraciones son forzadas
amortiguadas, el movimiento siempre est acotado y no hay resonancia.
Vibraciones libres forzadas. Resonancia

Se trata de estudiar y(t) + cy(t) = F 0 cos wt, donde la ecuacin
homognea corresponde a la de las oscilaciones libres y la fuerza externa es
una funcin coseno.
Llamando w 0 =
c resulta que la solucin general de la ecuacin
homognea es: y = C 1 cos(w 0 t) + C 2 sen(w 0 t)

Si w es distinto de w 0, es decir la frecuencia de la fuerza externa no es
igual a la de las propias oscilaciones, entonces se puede probar por el mtodo
de los coeficientes indeterminados, al buscar una solucin de la forma y P (t) =
Acos wt + Bsen wt, que esta solucin particular es:
yP (t ) =
F0
( w 02 w 2 )
cos wt .
Si se considera y(0) = y(0) = 0 y se calcula la solucin del problema de

valor inicial se obtiene:
y( t ) =
F0
( w 02 w 2 )
(cos wt cos w 0 t ) =
2F0
( w 02 w 2 )
sen
( w 0 w )t
( w + w )t
.
sen 0
2
2
Si w es prximo a w 0 la solucin particular que se obtiene es una

oscilacin rpida con frecuencia (w 0 + w)/2 pero con una amplitud senoidal que
vara lentamente. Este tipo de movimiento, que posee una variacin peridica
de amplitud, se denomina una pulsacin. Este fenmeno se presenta en
acstica, cuando los diapasones de una frecuencia casi igual se hacen sonar
simultneamente; entonces la variacin peridica de la amplitud puede
682
percibirse por el odo. En electrnica la variacin de amplitud con el tiempo se

llama modulacin de amplitud.
Si w = w 0 la solucin particular que se obtiene es:
F
y P ( t ) = 0 tsenwt .
2w
y debido a la existencia del trmino en t cuando el tiempo t aumenta el
movimiento no est acotado. El fenmeno se conoce como resonancia. En la
prctica el sistema se rompera.
Una ancdota interesante es la discusin sobre si este fenmeno de
resonancia fue el que provoc el derrumbe del puente colgante de Tacoma
Narrows. Es costumbre tambin que cuando un ejrcito atraviese un puente no
marque el paso para no provocar resonancia.
En el ejemplo 10.6.4 se presentan fenmenos de resonancia, y resulta
interesante estudiar el comportamiento asinttico de las soluciones
10.6.2. Circuitos elctricos

En el captulo 7 se ha obtenido la siguiente ecuacin diferencial lineal
para un circuito elctrico:
dI
1
(t) + RI(t) + Q(t) = E(t),
dt
C
siendo L la inductancia, R la resistencia, C la capacitancia, Q la carga elctrica,

I la intensidad de la corriente y E la fuerza electromotriz.
Sustituyendo en esta ecuacin I(t) =
dQ
(t) se obtena la ecuacin lineal
dt
de segundo orden con coeficientes constantes:

d 2Q
dQ
1
L 2 (t) + R
(t) + Q(t) = E(t).
dt
dt
C
Tambin en ese captulo se observaba la semejanza de esta ecuacin

con la obtenida para las vibraciones amortiguadas forzadas:
my(t) + by(t)+ ky(t) = g(t),
estableciendo las correspondencias entre las constantes y las funciones de
ambas ecuaciones.
Resulta evidente que la similitud entre las ecuaciones de los sistemas
mecnicos y los elctricos conlleva que las expresiones de las soluciones sean
idnticas desde el punto de vista matemtico.
Por ejemplo la ecuacin homognea que se obtiene cuando la fuerza
electromotriz es nula, E(t) = 0, al dividirla por L queda de la forma:
d 2Q
dt 2
(t) +
R dQ
1
(t) +
Q(t) = 0.
L dt
LC
En el estudio matemtico de esta ecuacin hay que analizar los distintos

valores de
R2
L2
4
, que es el discriminante de la ecuacin caracterstica:
L C
2 +
1
R
+
= 0.
LC
L
Sean y , las races de esta ecuacin. Se pueden distinguir tres casos:
a) Si R > 2
L
la ecuacin tiene dos races reales y simples:
C
La solucin general de la ecuacin viene expresada por: Q(t) =
684
C 1 et + C 2 et. En el caso particular en el que L es despreciable el

circuito es no inductivo.
b) Si R < 2
L
la ecuacin tiene dos races complejas, = + i y
C
= i. La solucin general de la ecuacin viene expresada por:

Q(t) = C 1 etcos t + C 2 etsen t = Aetsen (t + ).
En el caso particular en el que R es despreciable se trata de un
circuito inductivo de dbil resistencia.
c) Si R = 2
L
la ecuacin tiene una nica raz real y la solucin
C
general de la ecuacin Q(t) = (C 1 + C 2 t)et. En este caso, como en el

sistema mecnico, la solucin tiene un comportamiento crtico en el
sentido de que cualquier variacin lo hara pasar a uno de los dos
estados anteriores.
Adems al estudiar la ecuacin completa existe una resistencia
crtica por debajo de la cual el comportamiento libre del circuito es
vibratorio, y cuando la fuerza electromotriz es una funcin peridica
pueden aparecer fenmenos de resonancia de forma anloga a los que
se han estudiado en el sistema mecnico cuando la fuerza externa era
una funcin peridica.
10.6.3. Las leyes de Kepler

En este apartado se deducen las leyes de Kepler de los movimientos de
los planetas a partir de la ley de la gravitacin de Newton. Se trata pues de

describir el movimiento de una partcula de masa m, que puede representa un
planeta, bajo la atraccin de otra fija de masa M, que representara el Sol.
Para facilitar los clculos se considera un sistema de coordenadas
polares, colocando a la partcula fija en el origen.
Sea P el punto del plano donde est colocada la masa m, de coordenadas
polares (r, ). El vector OP se puede representa como OP = ru p , siendo u p el
vector unitario de coordenadas (cos , sen ). Al girarlo /2, se obtiene el
vector n p de coordenadas (sen , cos ). Ambos vectores estn relacionados
ya que
du p
d
= nP y
dn p
d
= u P . Se calcula la velocidad y la aceleracin en
funcin de estos vectores:
v=
du p dr
du p d dr
dOP
d
dr
=r
+ up = r
+ up = r
nP + u p y
dt
dt
dt
d dt dt
dt
dt
2
2
d 2r
dr d
dv
dr
d d
d
d
nP +
+2
r
a=
=
nP + u p = r
up .
r
dt 2
dt dt
dt
dt
dt
dt dt
dt 2
Si la fuerza que acta sobre m se descompone en una componente en la

direccin de u P y otra en la de n p se tiene que F = F r u P + F n n p y aplicando la
segunda ley del movimiento de Newton F = ma se tiene que:
2
d 2r
d 2
dr d
d
r
F r = m
y F n = m r
.
+2
dt 2
dt 2
dt
dt
dt
Segunda ley de Kepler

Se supone que la fuerza de atraccin del Sol sobre los planetas es
central, lo que indica que slo tiene una componente en la direccin del vector
686
OP y por lo tanto la componente de la fuerza en la direccin perpendicular a

2
dr d
d
OP es 0, es decir F n = 0. Por lo tanto r
+2
= 0 y al multiplicar por r
2
dt dt
dt
se tiene
2 d 2
dr d
d
d 2 d
r
=0
+ 2r
= k . Se puede
=0 r2
r
dt
dt
dt
dt
dt
dt
suponer k > 0 lo que indica que la masa m se desplaza en sentido positivo.

Si A = A(t) es la funcin que determina el rea a partir de una posicin fija
dA =
dA 1 2 d 1
1 2
r d y a partir de la ecuacin anterior se tiene que
= r
= k.
dt 2
dt 2
2
Calculando la integral entre t 1 y t 2 se obtiene que A(t 2 ) A(t 1 ) =
1
k(t 2
2
t 1 ), que es la segunda ley de Kepler, es decir: el rea que recorre el vector OP

es proporcional al tiempo en que la recorre.
Primera ley de Kepler
Se supone ahora que la fuerza central, que se ha llamado F r , segn la ley
de gravitacin es directamente proporcional al producto de las masas e
inversamente proporcional al cuadrado de la distancia, por lo que F r = G
Mm
r2
d 2 r d 2
Mm
y se sustituye el valor de F r obtenido anteriormente: m

= G 2
dt 2 dt
r
. Se hace el cambio de variable z =
1
y se calculan las derivadas respecto a :
r
1 dz
1 dz d
1 dz k
dr
d 1
dz
,
=
=
= k
= =
2
2
2
2
dt dt z
d
z dt
z d dt
z d r
d 2r
dt 2
dz
d dz d
d 2z k
d 2z
d
= k
= k 2 z 2
,
= k
k
d
d d dt
dt
d 2 r 2
d 2
Se sustituyen estos valores en la ecuacin anterior:

2
d 2z
GM
1 2 4
2
2 2 d z
k z
k z = GMz
+z=
,
2
2
z
d
d
k2
que es una ecuacin lineal con coeficientes constantes que tiene por solucin
general:
z = C 1 cos + C 2 sen +
y llamando H =
GM
k2
GM
k2
se tiene que:
r=
1
.
C1 cos + C 2 sen + H
Para simplificar esta expresin se cambian los ejes de coordenadas de

modo que r sea mnimo cuando = 0, lo que equivale a decir que z es mximo:
d 2z
dz
=0y
< 0, de donde C 2 = 0 y C 1 > 0 y
d
d 2
r=
1
H
1
=
;
C1
C1 cos + H
cos + 1
H
llamando e =
C1
1
yp=
se tiene:
H
C1
r=
pe
,
e cos + 1
C1k 2
que es la ecuacin en coordenadas polares de una cnica, donde e =
es
MG
la excentricidad. Como los planetas permanecen en el sistema solar su rbita
688
ha de ser cerrada y por tanto una elipse.

Tercera ley de Kepler
Se supone que m se desplaza con una rbita elptica centrada en el
origen que tiene por coordenadas cartesianas
x2
a2
y2
b2
= 1 , su excentricidad es
a2 b2
c
2
2
2
2
e = , siendo c = a b , de forma que e =
y por tanto:
a
a2
b2 = a2 (1 e2).
La distancia media, a, de m al foco F es la media entre el mayor valor de r
y el menor. Teniendo en cuanta que r =
a=
sustituyendo pe =
a=
pe
se tiene:
ecos +1
1 pe
pe
pe
+
,
=
2 1+ e 1 e 1 e 2
b2
k2
y 1 e2 =
se tiene:
MG
a2
k2
MG( 1 e 2 )
k 2a 2
MGb 2
y b2 =
k 2a
.
MG
Si T es el tiempo que necesita la masa m para dar una vuelta completa a

su rbita, como el rea de la elipse es ab, aplicando la frmula obtenida para
el rea al demostrar la segunda ley se tiene que ab =
4 2 a 2 b 2
1
kT y T2 =
2
k2
4. 2 a 3
sustituyendo la ltima expresin para b se obtiene T =
.
MG
2
De donde se obtiene la tercera ley de Kepler segn la cual los cuadrados

de los periodos de revolucin de los planetas con proporcionales a los cubos
de sus distancias.
4 2
Es evidente que la constante de proporcionalidad
no depende de la
MG
masa m del planeta y por lo tanto es vlida para todos.
Ejemplos resueltos
Ejemplo 10.6.1: Interpretar como el movimiento de un resorte la ecuacin
d 2 y dy
+5 +4 y =0 , con las condiciones iniciales y(0) = 1, y(0) = 1.
dt
dt 2
Se puede ver que la solucin viene dada por: y(t) = (5/3)e-t (2/3)e-4t
El problema puede ser interpretado como una representacin del
movimiento sobreamortiguado de una masa sujeta a un resorte. La masa
parte desde una posicin que se encuentra una unidad por debajo de la
posicin de equilibrio, con una velocidad dirigida hacia abajo de 1 cm/s. Puede
comprobarse que la masa alcanza un desplazamiento mximo a 1 069 cm por
debajo de la posicin de equilibrio y no cruza el eje t, lo que quiere decir que la
masa no pasa por la posicin de equilibrio.
d 2 y dy
dt 2
dt
La solucin es y(t) = e-t(2cos 3t (2/3)sen 3t).

El problema corresponde a un peso que se empuja hacia arriba y se
suelta, a partir del reposo, desde un punto que est a 2 cm sobre la posicin de
equilibrio. El medio ofrece una resistencia numricamente igual a la velocidad
690
instantnea. Se dice que el movimiento est subamortiguado.

d 2 y dy
dt 2
dt
El problema corresponde a un peso que se suelta desde la posicin de

equilibrio anterior con una velocidad dirigida hacia arriba de 3 cm/seg.
En este caso se trata de un sistema crticamente amortiguado. El
desplazamiento mximo es 0,276 cm sobre la posicin de equilibrio, es decir,
el peso llega a una altura mxima de 0,276 cm sobre la posicin de equilibrio.
La solucin es: y(t) = 3te-4t.
Ejemplo 10.6.4: Interpretar como el movimiento de un resorte la ecuacin:
y + a2y = sen t, y(0) = y 0 ; y(0) = y 1 .
La solucin para a distinto de uno y de menos uno es:
y( t ) =
1
a2 1
sent
1
a( a 2 1)
senat + y 0 cos at +
1
y 1senat .
a
Esta solucin es oscilatoria, aunque no es peridica. En general existen

dos frecuencias independientes, por lo que es cuasiperidica. Al tomar a el
valor uno esta solucin converge a una solucin no acotada:
1
1
y ( t ) = t cos t + sent + y 0 cos t + y 1sent .
2
2
con lo que se dice que hay resonancia. Si a se acerca a uno se observa que
tambin la amplitud crece, y aunque no hay resonancia propiamente dicha,
puede superar los lmites del sistema.
Ejercicios
10.26. Una masa de 2 kg estira un muelle de 40 cm. En t = 0 se suelta en
un punto que est 60 cm por debajo de la posicin de equilibrio con
una velocidad dirigida hacia debajo de 8 m/sg. Determinar la funcin
y(t) que describe el movimiento armnico simple, estando y(t) medido
desde la posicin de equilibrio. Tomar g = 10 m/sg2.
10.27. Se considera una masa situada en un muelle con amortiguacin. Sea
y = y(t) la funcin que describe el movimiento que verifica la ecuacin
diferencial y + 2y + y = 0, donde =
a)
y=
Determinar si el movimiento armnico resultante es sobre,

sub o crticamente amortiguado.
b)
Hallar la solucin para los valores iniciales y(0) = 0, y(0) = 0.
10.28. Estudiar una solucin particular de la ecuacin y + w 0 2y = F 0 sen

wt, que verifique las condiciones iniciales y(0) = y(0) = 0
10.29. Calcular la solucin general de la ecuacin de las oscilaciones
amortiguadas forzadas y + 2uy' + w 0 2y = sen wt, cuando u2 w 0 2 <
0.
10.7. EJERCICIOS
10.30. Integrar las siguientes ecuaciones:
a)
y 3y + 2y = 0.
b)
y iv + 3y + 3y + y = 0.
c)
y v = 0.
692
d)
y 4y + 4y = 0.
e)
y y = 0.
10.31. Hallar la solucin general de la siguiente ecuacin diferencial lineal

para todo valor de m, yvi + m2yiv m4y m6y = 0.
10.32. Calcular una solucin particular de la ecuacin y y = 0, que
verifique las condiciones iniciales y(1) = y(1) = y(1) = 0.
10.33. Integrar las siguientes ecuaciones diferenciales:
a) y + 4y = 5.
b) y + 4y = x2.
c) y + 4y = cos x.
d) y + 4y = xcos x.
10.34. Verificar si las siguientes funciones son soluciones de alguna de las
ecuaciones diferenciales anteriores.
a) y =
5
+ C 1 cos 2x + C 2 sen 2x.
4
b) y =
x2
1
+ C 1 cos 2x + C 2 sen 2x.

4
8
c) y =
1
cos x + C 1 cos 2x + C 2 sen 2x.
3
d) y =
1
2
xcos x + sen x + C 1 cos 2x + C 2 sen 2x.
3
9
10.35. Calcular por el mtodo de los coeficientes indeterminados una

solucin particular de la ecuacin: y 6y + 9y = 12x2e3x + 9.
10.36. Calcular por el mtodo del anulador la solucin general de la
ecuacin: y 2y + y = 2x.
(Solucin: y = C 1 x + C 2 xex + 2x + 4)
10.37. Resolver la ecuacin diferencial: xy (x + 1)y + y =
x2
.
x +1
(Solucin: y = C 1 ex 1 + (C 2 lnI1 + xI)(1 + x), x > 0)

10.38. Utilizar el mtodo de variacin de las constantes para resolver las
siguientes ecuaciones:
a) y 4y + 8y = tg x.
b) y 4y + 8y = 8 + 3e 2x .
c) x y (x + 1) y + y = x 2 .
d) y +
2
1
y + y = , x 0, y() = 0, y() = 0.
x
x
(Sol: y =
cos x + 1
)
x
10.39. Calcular una solucin particular de la ecuacin diferencial:

xy (1 + x)y + y = x2e2x con y(1) = y'(1) = 0.
(Solucin: y =
e 2x
e2
(x + 1) ex+1 +
(x 1))
2
2
10.40. Integrar la ecuacin de Bessel: x2y + xy + (x2
1
)y = 0, en el
4
intervalo (0, ) sabiendo que admite la solucin y 1 (x) =
(Solucin: y = C 1
senx
senx
x
+ C2
cos x
x
10.41. Calcular la solucin general de la ecuacin x2y 3xy + 4y = 0, en

(0, ) sabiendo que tiene una solucin polinmica de grado 2.
694
(Solucin: y 1 = x2; y = C 1 x2 + C 2 x2lnx)

10.42. Resolver x2y 6y = 0 en (0, ) sabiendo que admite una solucin
polinmica de grado 3.
(Solucin: y 1 = x3; y = C 1 x3 + C 2 x-2)
10.43. Integrar la ecuacin (1 + 2x)y + 4xy 4y = 0, sabiendo que admite
una solucin de la forma y = e x .
10.44. Resolver la ecuacin diferencial x2y 7xy + 16y = 0, en x > 0,
sabiendo que admite una solucin de la forma y = xn.
10.45. Resolver la ecuacin diferencial: y xy 2y = 0, expresando la
solucin mediante series de potencias.
10.46. Comprobar que x = 0 es un punto singular regular de la ecuacin:
2x2y + (3x 2x2)y (x +1)y = 0 y resolver la ecuacin.
1

( 2x )n
1 xn
(Solucin: y = C 1 x 2 1+
+
C
x n =0 n!
n =0 579...( 2n +3 )

C10 Lineales Orden Superior PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

C10 Lineales Orden Superior PDF

Cargado por

Copyright:

Formatos disponibles

607 Anlisis matemtico para Ingeniera.

M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

En este captulo se estudian las ecuaciones diferenciales lineales de

Captulo 10: Ecuaciones diferenciales

M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

Pero incluso en este caso, a veces, resulta difcil encontrar n soluciones

M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

Ecuaciones diferenciales 609

resuelven algunas ecuaciones especiales mediante desarrollos en series de

10.1. CONCEPTOS PREVIOS

donde P 0 , P 1 , ..., P n son funciones definidas en un intervalo (a, b) de la recta

Captulo 10: Ecuaciones diferenciales

M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

una ecuacin diferencial.

10.1.1. El operador diferencial D

Con esta definicin se tiene que D2 est determinado por D2(f) =

anlogamente el operador Dn queda determinado por Dn(f) =

En particular si P(x) es una funcin constante P(x) = k, k , el operador

M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

Ecuaciones diferenciales 611

, es decir, el segundo miembro de esta igualdad es el producto de un

nmero k por la derivada n-sima de una funcin.

10.1.2. El operador lineal L

Captulo 10: Ecuaciones diferenciales

M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

funciones de modo que L k i fi = k i L( fi )

Utilizando el operador L = P 0 Dn + P 1 Dn-1 + ... + P n la ecuacin diferencial

M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

Ecuaciones diferenciales 613

10.1.3. Operadores con coeficientes constantes

Captulo 10: Ecuaciones diferenciales

M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

con , se tiene A(ex) = p A ()ex y B(ex) = p B ()ex por lo que p A () =

10.1.4. Teorema de existencia y unicidad

M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

Ecuaciones diferenciales 615

Captulo 10: Ecuaciones diferenciales

M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

iniciales y(0) = 0 e y(0) = 0.

se tiene que las funciones P 1 (x) =

= 0, por lo tanto el teorema 10.1.2 slo garantiza la existencia de una nica

M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

Ecuaciones diferenciales 617

10.3. Sean A y B dos operadores con coeficientes constantes cuyos

10.2. ESTRUCTURA DE LAS SOLUCIONES DE

LINEALES DE ORDEN SUPERIOR

Captulo 10: Ecuaciones diferenciales

M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

cuando 1 = 2 = ... = n = 0, entonces se dice que las funciones {y 1 , y 2 , ...,

Ecuaciones diferenciales 619

M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

0, entonces se puede asegurar que su wronskiano no se anula en ningn punto

10.2.2. Estructura de las soluciones de la ecuacin homognea

c k y k es tambin solucin de L(y) = 0 en el intervalo (a, b).

Captulo 10: Ecuaciones diferenciales

M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA

Se demuestra el teorema por reduccin al absurdo, por lo que se supone

Como el determinante de los coeficientes de las incgnitas, que es el

Esta funcin es solucin de la ecuacin diferencial lineal L(y) = 0 por ser

(a, b), luego

c k y k ( x ) = 0 , x (a, b), lo que contradice que las funciones

Ecuaciones diferenciales 621

M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA