C10 Lineales Orden Superior

607 Anlisis matemtico para Ingeniera. M. MOLERO; A. SALVADOR; T. MENARGUEZ; L.
GARMENDIA
CAPTULO 10.
Ecuaci ones di ferenci al es l i neal es de orden
superi or

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 M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA
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
M. MOLERO; A. SALVADOR; T. MENARGUEZ; L. GARMENDIA 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)y
n)
+ P
1
(x)y
n-1)
+... + P
n-1
(x)y' + P
n
(x)y

donde P
= G(x) (10.1.1)
0
,

P
1
, ..., P
n
Definicin 10.1.2:
son funciones definidas en un intervalo (a, b) de la recta
real.
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
Definicin 10.1.3:
nmeros reales cualesquiera.
Si las condiciones que debe verificar la solucin estn definidas en dos o
ms puntos diferentes el problema se denomina problema de contorno de
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) =
dx
df
.
Definicin 10.1.3:
Dado el operador D, se define D
2
= D
D como la composicin de
aplicaciones, de forma que D
2
(f) =(D
Con esta definicin se tiene que D

D)(f) =D(D(f)).
2
est determinado por D
2
2
2
dx
f d
(f) = , y
anlogamente el operador D
n
queda determinado por D
n
n
n
dx
f d
(f) = .
Sea P(x) una funcin definida en el intervalo (a, b). El producto PD
n
es un
operador determinado en de forma natural por PD
n
n
n
dx
f d
(f) = P tal que,
x(a, b), P
n
n
dx
f d
(x) =P(x)
n
n
dx
) x ( f d
.
En particular si P(x) es una funcin constante P(x) =k, k , el operador
kD
n
, queda determinado por (kD
n
)(f) =k(D
n
(f)) tal que, x(a, b), (kD
n
)(f(x)) =

k
n
n
dx
) x ( f d
, 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
D
n
D
m
=D
n+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)

L =P
funciones definidas en dicho intervalo. Se denomina operador lineal:
0
D
n
+P
1
D
n-1
+... +P
a un operador definido en , tal que f , L(f) =P
n

0
f
n)

+P
1
f
n-1)
+... +P
n
Propiedades del operador L
f.
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
funciones de modo que

= =
=
|
|
.
|
\
|
n
i
i i
n
i
i i
) f ( L k f k L
1 1

Utilizando el operador L =P
0
D
n

+P
1
D
n-1
+... +P
n
la ecuacin diferencial
lineal de orden n, P
0
(x)y
n)
+ P
1
(x)y
n-1)
+... + P
n-1
(x)y' + P
n
(x)y

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.
= G(x), se
puede expresar de la forma L(y) =G(x).
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
y
(x) y expresarla de la forma:
n)
+ P
1
(x)y
n-1)
+... + P
n-1
(x)y' + P
n
El operador lineal asociado L est definido por:
(x)y = G(x).
L =D
n

+P
1
D
n-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
D
n

+a
1
D
n-1
+... +a
n
con a
0
,

a
1
, ..., a
n
B =b
constantes y

0
D
n

+b
1
D
n-1
+... +b
n
con b
0
,

b
1
, ..., b
n
Si a
constantes
0
0 y b
0
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.
0 se dice que los operadores A y B son de orden n.
Al operador con coeficientes constantes A se le asocia un polinomio p
A
definido por

p
A
(x) =a
0
x
n

+a
1
x
n-1
+... +a
n
Teorema 10.1.1:
que se denomina su polinomio
caracterstico.
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
Por otra parte si A =B entonces A(f) =B(f), f . Tomando f(x) =e
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 .
x
,
con , se tiene A(e
x
) =p
A
()e
x
y B(e
x
) =p
B
()e
x
por lo que p
A
() =
p
B
(), y por lo tanto p
A
(x) =p
B
De forma similar se pueden demostrar las siguientes propiedades que
muestran que la correspondencia entre operadores y polinomios conserva las
operaciones:
(x).
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
10.1.4. Teorema de existencia y unicidad
(x).
Teorema 10.1.2: Teorema de existencia y unicidad
Sea un problema de valor inicial o problema de Cauchy: L(y) = y
n)
+
P
1
(x)y
n-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
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
funciones continuas.
1
, P
2
, ..., P
n
Ejemplos resueltos
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.
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:
(D
2
Ejemplo 10.1.2: Demostrar que la ecuacin diferencial y +2xy +y =
2e
+3xD 2)(y) =0.
x
La ecuacin diferencial es lineal, adems P
(1 +x) +2xcos x, tiene una solucin nica que verifica las condiciones
iniciales y(0) =1 e y(0) =2.
1
(x) =2x, P
2
(x) =1 y G(x) =
2e
x
(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) =e
x
Ejemplo 10.1.3: Comprobar que y
+sen x
1
(x) =xsen x e y
2
(x) =0, son soluciones
de la ecuacin diferencial x
2
y 2xy +(x
2
+2)y =0, con las condiciones
iniciales y(0) =0 e y(0) =0.
y
1
(x) =sen x +xcos x y
1
Al sustituir en la ecuacin:
(x) =2cos x xsen x.
x
2
(2cos x xsen x) 2x(sen x +xcos x) +(x
2
+2)xsen x =(2x
2

2x
2
)cos x +(x
3
2x + (x
2
+2)x)sen x =0. Adems se verifica que y
1
(0)
=0 e y
1
Tambin y
(0) =0.
2
(x) =0 y
2
(x) =0 y
2
(x) =0 x
2
y
2
2xy
2
+(x
2
+2)y
2

=0, con y
2
(0) =0 e y
2
En la ecuacin diferencial expresada de la forma: y
(0) =0. La solucin de este problema de valor inicial no
es nica.
x
2
y +
2
2
2
x
x +
y =0,
se tiene que las funciones P
1
x
2
(x) = y P
2
2
2
2
x
x +
(x) = no son continuas en x
=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) x
2
b) b) x
y xy +2y =xln x
2
y 2xy +(x
2
10.2. Demostrar que si A y B son dos operadores con coeficientes
constantes de orden n y p
+2)y =0.
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
10.4. Comprobar que las funciones y(x) = Cx
) =0.
2
+ x + 3, C son
soluciones de la ecuacin diferencial x
2

y 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
Si por el contrario se verifica que esta identidad solamente se cumple
=
0, x (a, b).
cuando
1
=
2
=... =
n
=0, entonces se dice que las funciones {y
1
, y
2
, ...,
y
n
Definicin 10.2.2:
} son linealmente independientes en el intervalo (a, b).
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
W[y
] a la funcin definida por el siguiente determinante:
1
, y
2
, ... , y
n
) x ( y ... ) x ( y ) x ( y
... ... ... ...
) x ( ' y ... ) x ( ' y ) x ( ' y
) x ( y ... ) x ( y ) x ( y
n
) n ) n ) n
n
n
1
2
1
1
1
2 1
2 1

](x) = .
Teorema 10.2.1:
Si las funciones y
1
, y
2
, ..., y
n
Demostracin:
son linealmente dependientes en el intervalo
(a, b), entonces su wronskiano en ese intervalo es la funcin nula.
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
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) =
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.

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) = y
n)
+ P
1
(x)y
n-1)
+... +
P
n-1
(x)y' + P
n
Teorema 10.2.2:
(x)y.
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
,
..., c
n

=
n
k
k k
y c
1
, la funcin es tambin solucin de L(y) =0 en el intervalo (a, b).
Demostracin:
Las funciones y
k
,

1 k n, son soluciones de la ecuacin diferencial y por
tanto verifican L(y
k

= =
= =
|
|
.
|
\
|
n
k
k k
n
k
k k
) y ( L c y c L
1 1
0
) =0. Como el operador L es lineal se tiene que:
.
Teorema 10.2.3:
Si las funciones y
1
, y
2
, ..., y
n
Demostracin:
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.
Se demuestra el teorema por reduccin al absurdo, por lo que se supone
que W[y
1
, y
2
, ..., y
n
Para un punto determinado x
](x) =0, x (a, b).
0
(a, b) se considera el siguiente sistema
homogneo de ecuaciones lineales en las variables c
1
, c
2
, ..., c
n
0
0
1
=
=
) x ( y c
n
k
k k
:

0
0
1
=
=
) x ( y c
n
k
'
k k

...................
0
0
1
1
=
) x ( y c
n
k
) n
k
k
.
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
(x) =
, no todos nulos, que son solucin del sistema. Con estos
valores se determina una funcin (x), definida por:
) x ( y c
n
k
k k
=1
, x (a, b).
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
0
1
=
=
) x ( y c
n
k
k k
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
(a, b), luego , x (a, b), lo que contradice que las funciones

y
1
, y
2
, ..., y
n
En las hiptesis de este teorema no slo existe un punto x (a, b), tal que
W[y
sean linealmente independientes en (a, b).
1
, y
2
, ..., y
n
](x) 0 sino que x (a, b), W[y
1
, y
2
, ..., y
n
Lema 10.2.4:
](x) 0. Este
resultado se demostrar en el siguiente teorema, cuya prueba necesita el
siguiente lema:
Sean y
1
, y
2
, ..., y
n
W
funciones derivables hasta el orden n, entonces la
derivada de su wronskiano es:

[y
1
, y
2,
..., y
n
) x ( y .... ) x ( y ) x ( y
) x ( y
....
....
....
) x ( y
....
) x ( y
....
) x ( ' y .... ) x ( ' y ) x ( ' y
) x ( y .... ) x ( y ) x ( y
) n
n
) n ) n
) n
n
) n ) n
n
n
2 1
2 2
2
2
1
2 1
2 1

](x) = .
Lo que equivale a decir que las primeras n 1 filas coinciden con las de
W[y
1
, y
2
, ..., y
n
Demostracin:
] y en la ltima fila se han sustituido las derivadas de orden n 1
por las de orden n.
Sea (x) la funcin definida por el determinante de la igualdad anterior. La
demostracin de que W[y
1
, y
2
, ..., y
n
Para n =2 es evidente, ya que W[y
](x) =(x) se hace por induccin sobre n.
1
, y
2
] =y
1
y
2
y
1
y
2
y por lo tanto
W[y
1
, y
2
] =y
1
y
2
+y
1
y
2
y
1
y
2
y
1
y'
2
=y
1
y
2
y
1
y
2
2 1
2 1
' ' y ' ' y
y y
= .
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.
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
) n
n
) n ) n
) n
n
) n ) n
n
n
y .... y y
y
....
....
y
....
y
....
' y .... ' y ' y
y .... y y
1 1
3
1
2
3 3
3
3
2
3 2
3 2

= ,
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
W[y
=0 por ser el desarrollo de un determinante en el que la fila
n y la n 1 son iguales, por lo tanto:
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:
] =.
Si las funciones y
1
,

y
2
, ..., y
n
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
y
son soluciones de L(y) =0 se verifica que:
i
n)
+ P
1
(x)y
i
n-1)
+ ... +P
n-1
(x)y
i
' + P
n
(x)y
i
Multiplicando cada una de estas expresiones por
=0, i {1, 2, ... , n}.
n,i
=
n
i 1
, adjunto del
elemento de la fila n y la columna i del wronskiano, y sumndolas, se obtiene:
y
i
n)
n,i
=
n
i 1
+ P
1
(x)y
i
n-1)
n, i

=
n
i 1
+ ... + P
n-1
(x)y
i
'
n,i

=
n
i 1
+ P
n
(x)y
i

n,i
=
n
i 1
=0
y
i
n)
n,i
+ P
1

=
n
i 1
(x) y
i
n-1)
n,i
+ ... +P
n-1

=
n
i 1
(x) y
i
'
n,i
+ P
n

=
n
i 1
(x) y
i
n,i
Por el lema anterior se conoce que:
=0
=
n
i 1
y
i
n)
n,i
=W[y
1
, y
2
, ..., y
n

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

[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
W(x) =C
(x)W(x) =
0, una ecuacin diferencial lineal de primer orden que tiene por solucin:
dt ) t ( p
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).
Como conclusin de los teoremas anteriores se tiene el siguiente
corolario:
Corolario 10.2.6:
Si las funciones y
1
, y
2
, ..., y
n
a) Las funciones y
L(y) =0 en el intervalo (a, b), las tres condiciones siguientes son equivalentes:
1
, ..., y
n
b) Existe un x (a, b) tal que W[y
son linealmente independientes en (a, b).
1
, y
2
, ..., y
n
c) Para todo x (a, b) se verifica que W[y
](x) es distinto de cero.
1
, y
2
, ..., y
n
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.
](x) es distinto de
cero.
La hiptesis de que las funciones y
i
sean soluciones de L(y) =0 no es
soslayable. Por ejemplo y
1
(x) =x
2
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
Definicin 10.2.3:
] 0
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
Las funciones y
) =0 si j k.
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
0
0
1
0
=
=
) x ( y c
n
k
k k
se verifica que:
c
0
0
0
1
0
=
=
) x ( ' y c
n
k
k k
=0.
c
1
...........
=0
0
0
1
0
1
=
) x ( y c
n
k
k
) n
k
c
n-1
En consecuencia, las n funciones son linealmente independientes y por lo
tanto forman un conjunto fundamental de soluciones.
=0.
Teorema 10.2.8:
Si {y
1,
y
2
, ..., y
n
=
n
k
k k
y c
1
}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 =
, donde c
1
, c
2
, ..., c
n
son constantes.
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
Se determina (x
) 0.
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
) x ( ) x ( y c
n
k
k k 0 0
1
=
=
:

) x ( ' ) x ( ' y c
n
k
k k 0 0
1
=
=

........................
) x ( ) x ( y c
) n
n
k
) n
k
k 0
1
0
1
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
=
n
k
k k
y c
1

constantes que verifican las n ecuaciones y por el teorema 10.1.2 de unicidad
de la solucin: = .
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
(x) =
}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 ( y c
n
k
k 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
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) = y
n)
+ P
1
(x)y
n-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

=
n
k
k k
y c
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

=
n
k
k k
y c
1
= =
P

=
n
k
k k
y c
1
+ , de donde se deduce que la solucin
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) = y
n)
+ P
1
(x)y
n-1)
+... +P
n-1
(x)y + P
n
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.
(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.
La aplicacin h: x , definida por h(
1
,
2
) =
2

1
Si
estructura a
como espacio afn ya que:
1
,
2
L(
2

1
) =L(
2
) L(
1
) =G G =0
2

1
1
.
Adems se verifican los axiomas de espacio afn:
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
2 Si
) L() =G.
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, x
2
, ..., x
n
Estas funciones son linealmente independientes en el intervalo (, ), ya
que si la igualdad
}.
1
+
2
x +... +
n+1
x
n

=0, se verifica para todos los valores
de x, entonces
1
=
2
=... =
n+1
=0.
Ejemplo 10.2.2: Demostrar que el conjunto de funciones {
x k x k x k
e , e , e
3 2 1
}
donde k
1,
k
2,
k
3
, son nmeros

W[
reales todos ellos distintos entre s, es
linealmente independiente en (, ).
x k x k x k
e , e , e
3 2 1
] =
x k x k x k
x k x k x k
x k x k x k
e k e k e k
e k e k e k
e e e
1 1 1
1 1 1
3 2 1
2
3
2
2
2
1
3 2 1
=
=
x k x k x k
e . e . e
3 2 1
2
3
2
2
2
1
3 2 1
1 1 1
k k k
k k k =
x k x k x k
e . e . e
3 2 1
(k
2
- k
1
)(k
3
- k
1
)(k
3
- k
2
Como k
).
1,
k
2,
k
3
, son nmeros

x k x k x k
e , e , e
3 2 1
todos ellos distintos, entonces W[
] 0 para todo x (, ); por lo tanto las funciones son
linealmente independientes.
Ejemplo 10.2.3: Demostrar que el conjunto de funciones {
x cos e , x sen e
x x

}es linealmente independiente en (, ).
Se supone que existen dos nmeros reales
1
,
2
0 e e

2
1
= + x cos x sen
x x
tales que
; dividiendo la igualdad por e
x
0
2 1
= + x cos x sen
, se obtiene
. Si se toma el valor x =0 se tiene que
2
0
1
= x sen
=0 y por lo
tanto . Como la funcin x sen no es la funcin cero, resulta que
1
Ejemplo 10.2.4: Estudiar la dependencia o independencia lineal de las
funciones y
= 0 y por lo tanto las funciones consideradas son linealmente
independientes.
1
e y
2
definidas por:

y
1

) , [ x
) , ( x x
1 0 0
0 1
2
(x) = e y
2

) , [ x x
) , ( x
1 0
0 1 0
2
(x) =
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
Ejemplo 10.2.5: Pueden ser f(x) =x y g(x) =e
}no
pueden ser soluciones de una misma ecuacin diferencial lineal de orden dos.
x
Las funciones f y g son linealmente independientes. Por otra parte su
wroskiano W[f, g](x) =e
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)?
x
Ejercicios
(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.
10.5. Demostrar que {e
ax
, xe
ax
, ..., x
n-1
e
ax
10.6. Verificar si el conjunto de funciones {lnx, xlnx, x
}es un conjunto de funciones
linealmente independientes en .
2
lnx}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
b) y y =0; (x) =C
sen x.
1
e
x
+C
2
e
-x
c) y +y =1; (x) =C
.
1
cos x +C
2
sen x +1.
d) y y =e
2x
; (x) =C
1
e
x
+C
2
e
-x
3
2x
e
+ .

10.3. ECUACIONES DIFERENCIALES LINEALES
HOMOGNEAS CON 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) = y
n)
+ p
1
y
n-1)
+ ... +p
n-1
y' +
p
n
y, con p
1
, p
2
, ..., p
n

Para resolver la ecuacin diferencial lineal homognea L(y) = 0, se
buscan soluciones de la forma y =e
constantes
x
, de donde y =e
x
, y en general y
n)
=
n
e
x
(
. Al sustituir estas funciones en la ecuacin se obtiene que:
n
+p
1
n-1
+... +p
n-1
+p
n
)e
x
y como e
=0
x
0 se debe verificar que:

n
+p
1
n-1
+... +p
n-1
+p
n
Definicin10.3.1:
=0.
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 =e
x
Definicin 10.3.2:
es solucin de la ecuacin L(y) = 0 si y slo si es raz
de su ecuacin caracterstica.
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
L =(D
. Entonces el operador L
puede expresarse como un producto de n operadores de la siguiente forma:
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
n
e
(x) = , y por tanto la solucin

general es una combinacin lineal de estas funciones:
=
n
k
x
k
k
e C ) x (
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 )
s
L
s
Las soluciones de la ecuacin L
(D).
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)e
x
Para demostrar lo que sigue se necesita un lema previo:
, siendo g(x) una funcin por
determinar.
Lema 10.3.1:
Sea y(x) una funcin compleja con derivadas continuas hasta el orden m,
entonces se verifica que (D )
m
(e
x
y(x)) =e
x
D
m
Demostracin:
(y(x)), siendo constante.
Se probar por induccin sobre m.
Para m =0 es evidente. Supuesto cierto para m 1, se tiene que:
(D )
m
(e
x
y(x)) =(D )(D )
m-1
(e
x
y(x)) =(D )(e
x
D
m-1
(y(x)) =
e
x
D
m
Se debe verificar que (D )
(y(x)).
s
(g(x)e
x
) =0 por lo que e
x
D
s
(g(x)) =0, y
como e
x
0 resulta que D
s
(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
(y) =0 pueden ser:
1
(x) =e
x
, y
2
(x) =xe
x
, y
3
(x) =x
2
e
x
, ..., y
s
(x) =x
s-1
e
x
y la solucin general es de la forma:
,
s
(x) =(C
1
+C
2
x +C
3
x
2
+... +C
s
x
s-1
)e
x
Por otra parte si
.
1
,
2
, ...,
n-s
y
son los autovalores simples, un conjunto
fundamental de soluciones de la ecuacin L(y) =0 estar formado por
1
(x) =e
x
, y
2
(x) =xe
x
, y
3
(x) =x
2
e
x
, ..., y
s
(x) =x
s-1
e
x
, y
s+1
x
e
1
(x) = ,
y
s+2
x
e
2
(x) = , ..., y
n
x
s n
e

(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:

=
+ =
s n
k
x
k s
x
S
k
k
k
k
e C e ) x C ( ) x (
1 1
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.
Caso 3: Dos autovalores complejos simples
Sean +i y i los autovalores complejos. Un conjunto fundamental
de soluciones en el plano complejo es z
1
(x) =e
(+i)x
y z
2
(x) =e
(-i)x
, pero si z
1

y z
2
2
2 1
1
z z
y
+
=
son soluciones linealmente independientes tambin lo son sus
combinaciones lineales e
i
z z
y
2
2 1
2

= , y por lo tanto
x cos e ) x ( y
x
=

1
e x sen e ) x ( y
x
=

2
, que son funciones reales, forman
un conjunto fundamental de soluciones reales y la solucin general de la
ecuacin diferencial es:
x sen C x cos C ) x (
x x
e e

2
1
+ = .
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) =e
x
cos x, y
2
(x) =xe
x
cos x, ..., y
s
(x) =x
s-1
e
x
y
cos x,
s+1
(x) =e
x
.sen x, y
s+2
(x) =xe
x
sen x, ...., y
2s
(x) =x
s-1
e
x
y la solucin general de la ecuacin diferencial es:
sen x
x sen x C x cos x C x
x
S
k
k
k s
x
S
k
k
k
)e ( )e ( ) (

1
1
1
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
Un conjunto fundamental de soluciones est formado por {e
=2.
x
, e
2x
(x) =C
}y por lo
tanto la solucin general de la ecuacin es:
1
e
x
+C
2
e
2x
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

Un conjunto fundamental de soluciones est formado por {e
=1
de orden dos.
-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
Ejemplo 10.3.3: Integrar la ecuacin diferencial y +6y +20y =0.
=2.
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
, e
x
cos 3x, e
x
(x) =C
sen 3x}y por lo tanto la solucin general de la
ecuacin viene expresada por:
1
e
-2x
+C
2
e
x
cos 3x +C
2
e
x
Ejemplo 10.3.4: Resolver y
sen 3x.
vi
+y
iv
Esta ecuacin tiene como ecuacin caracterstica es
y y =0.
6
+
4

2
1 =0,
que tiene dos autovalores reales simples
1
=1,
2
=1 y dos complejos
3
=i,
4
Un conjunto fundamental de soluciones esta formado por {e
=i de orden dos.
x
,

e
-x
(x) =C
, cos x,
senx, xcosx, xsenx}y por lo tanto la solucin general de la ecuacin viene
dada por:
1
e
x
+C
2
e
-x
+C
3
cos x +C
4
sen x +C
5
xcos x +C
6
Ejemplo 10.3.5: Buscar una ecuacin diferencial lineal homognea de
segundo orden con coeficientes constantes que tenga como soluciones:
xsen x.
y
1
(x) =e
3x
, 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
y y 6y =0.
6 y la ecuacin buscada es:
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
e
x
+C
2
e
-3x
+ C
3
e
-5x
+C
4
e
2x
+C
5
e
4x
Ejercicios
.
10.8. Calcular la solucin general de las siguientes ecuaciones lineales:
a) y + 2y + 5y = 0.
b) y
iv
c) y 2y 3y = 0.
y = 0.

10.9. Integrar las ecuaciones:
a) y 2y 5y + 6y = 0.
b) y
iv
c) y
y = 0.
iv
d) (D
+ y = 0.
2
2D + 5)
2
10.10. Probar que si xe
(y) = 0.
x

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 D Alembert
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) =y
n)
+P
1
(x)y
n-1)
+... +P
n-1
(x)y +P
n
Se considera la ecuacin homognea L(y) =0. Sea y
(x)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)z
n)
+ a
n-1
(x)z
n-1)
+ ... +a
1
(x)z' =0; llamando z(x) =u(x) se obtiene una
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
10.4.2. Mtodo de variacin de las constantes
(x) son linealmente independientes y por tanto forman un
conjunto fundamental de soluciones.
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) =y
n)
+ P
1
(x)y
n-1)
+... + P
n-1
(x)y' + P
n
(x)y, la
ecuacin no homognea que se quiere resolver y sea
H

=
n
k
k k
y c
1
(x) = (x) la
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
k
k k
) x ( y ) x ( v
1
, siendo v
k
Al derivar la expresin anterior se obtiene:
(x) funciones que hay que determinar. Para ello es
necesario imponer n condiciones.

(x) =

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

= =
+
n
k
k k
n
k
k k
) x ( ' ' y ) x ( v ) x ( ' y ) x ( ' v
1 1

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

= =
+
n
k
) n
k
k
n
k
) n
k
k
) x ( y ) x ( c ) x ( y ) x ( ' v
1 1
1
(x) = ,
Sustituyendo en la ecuacin diferencial:
L() =
n
+P
1
n-1
+... +P
n-1
+P
n
n
k
) n
k
k
) x ( y ) x ( ' v
1
1
=G(x)
=
+
n
k
) n
k
k
y v
1
+P
1

=
n
k
) n
k
k
y v
1
1
+...+P
n-1

=
n
k
k k
' y v
1
+P
n

=
n
k
k k
y v
1
=
n
k
) n
k
k
) x ( y ) x ( ' v
1
1
) y P ' y P ... y P y ( v
k n k n
n
k
) n
k
) n
k
k
+ + + + +

=
1
1
1
1
=G(x).
y por tanto:
) x ( G ) x ( y ) x ( ' v
n
k
) n
k
k
=
1
1

Si se pueden encontrar n funciones v
1
(x), v
2
(x), ..., v
n
Las funciones v
(x) que verifiquen las
n condiciones impuestas, entonces es una solucin particular de la ecuacin
completa.
1
(x), v
2
(x), ..., v
n
0
1
=
=
n
k
k k
) x ( y ) x ( ' v
(x) se obtienen, por tanto, como solucin
del sistema:

0
1
=
=
n
k
k k
) x ( ' y ) x ( ' v
.......................
) x ( G ) x ( y ) x ( ' v
n
k
) n
k
k
=
1
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
regla de Cramer se obtiene que v
k
W
W
k
= , 1 k n, donde W
k
Al integrar se tiene que v
es el
determinante que se obtiene del wronskiano sustituyendo la columna k por (0,
0, ..., 0, G).
k

x
x
k
dt
) t ( W
) t ( W
0
(x) = , siendo x
0
un punto del

intervalo (a, b). Sustituyendo se obtiene una solucin particular de la ecuacin
lineal no homognea
p

=
|
|
|
.
|
\
|
n
k
k
x
x
k
) x ( y dt
) t ( W
) t ( W
1
0
(x) = . Por el teorema 10.2.11 la
solucin general de la ecuacin completa
g
se puede expresar por
g
=
H
+
p
Ejemplos resueltos
es decir, la solucin general de la ecuacin homognea asociada ms una
solucin particular de la completa.
Ejemplo 10.4.1: Resolver la ecuacin diferencial xy +2y +xy =0, x >0,
sabiendo que y
1
x
senx
= es una solucin particular.
Para calcular una solucin linealmente independiente de y
1
se busca una
segunda solucin de la forma y
2
x
senx
(x) = z(x). Entonces y
2
=y
1
z +y
1
z e
y
2
=y
1
z +2y
1
z +y
1
Se sustituye en la ecuacin:
z.
x(y
1
z +2y
1
z +y
1
z) +2(y
1
z +y
1
z) +xy
1
y se ordenan trminos:
z =0
zxy
1
+z(2xy
1
+2y
1
) +z(xy
1
+2y
1
+xy
1
Al ser la funcin y
) =0.
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
Como y
) =0.
1
x
senx
= xy
1
=sen x
2xy
1
+2y
1
x
senx
2 )
x
senx
x
x cos
(
2
+ =2x =2cos x.
La ecuacin queda de la forma sen xz +2cos xz =0 que se puede
expresar por 0
senx
x cos 2
' z
' ' z
= + , e integrando ln|z| +2ln|senx|=K, luego zsen
2
x
=C
1
y por lo tanto z =C
1
cotg x +C
2
Se tiene entonces que y
.
2
x
x cos
= y la solucin general de la ecuacin
diferencial viene expresada por:
y =C
x
x cos
1
+C
2
x
senx
, x >0.
Ejemplo 10.4.2: Resolver la ecuacin diferencial y + y = cosec x
sabiendo que la solucin general de la ecuacin homognea es:
H
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
(x) =Acos x +Bsen x.
p
A(x)cos x +B(x)sen x =0
(x) = A(x)cos x + B(x)sen x. Para determinar las
funciones A(x) y B(x) se resuelve el sistema:
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
La solucin general de la ecuacin no homognea es:
(x) =xcos x +sen xln Isen xI.

(x) =(x +C
1
)cos x +(ln Isen xI +C
2
Ejemplo 10.4.3: Calcular la solucin general de la ecuacin diferencial:
)sen x.
x
2
y 6x
2
y +9x
2
y =e
3x
Se calcula primero la solucin general de la ecuacin homognea
, x >0.
H
(x) =
Ae
3x
+Bxe
3x
, y se busca una solucin particular de la ecuacin completa de la
forma
p
(x) =A(x)e
3x
+B(x)xe
3x
A(x)e
. Para determinar las funciones A(x) y B(x) se
resuelve el sistema:
3x
+B(x)xe
3x
A(x)3e
=0
3x
+B(x)[e
3x
+x3e
3x
] =e
3x
x
-2
Se observa que el coeficiente de y
.
debe ser 1, por lo que G(x) =e

3x
x
El sistema tiene como solucin A(x) =x
-2

-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
)e
3x
+(x
-1
+C
2
)xe
3x
Ejercicios
, x >0.
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 x
2
y + 2xy 6y = 0, x > 0, buscando
previamente una solucin particular de tipo y =x
r
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.
c) y'' +4y =tg 2x.
d) y'' +2y' +y =e
-x
10.14. Encontrar la solucin general para cada una de las siguientes
ecuaciones:
ln x.
a. (D
2
x
e
+ 1
1
4D + 3)(y) =
b. (D
2
2
1
1
) e (
x
+
1)(y) = .
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
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: x
la
solucin general de la ecuacin homognea asociada.
m
e
x
, x
m
e
x
cos x; x
m
e
x
A continuacin se incluye una lista de posibles funciones y de su
correspondiente anulador:
sen x.
Funcin G(x) Operador anulador
G(x) =x D
m-1 m
G(x) =e D
x

G(x) =x
m-1
e (D )
x

m
G
1
(x) =cos x; G
2
D (x) =sen x
2
+
2
G
1
(x) =x
m-1
cos x; G
2
(x) =x
m-1
(D sen x
2
+
2
)
m
G
1
(x) =e
x
cos x; G
2
(x) =e
x
(D ) sen x
2
+
2

G
1
(x) =x
m-1
e
x
cos x; G
2
(x) =x
m-1
e
x
((D ) sen x
2
+
2
)
m

Mtodo de los coeficientes indeterminados
Se considera la ecuacin diferencial y
n)
+ p
1
y
n-1)
+ ... + p
n-1
y' + p
n
y =
G(x) donde p
1
, p
2
, ..., p
n

G(x) =e
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:
x
(Q
m
(x)cos x +R
r
siendo Q
(x)sen x),
m
(x) y R
r
Si G(x) =e
(x) polinomios de grado m y r respectivamente, o bien cuando
la funcin G sea una combinacin lineal de este tipo de funciones.
x
(Q
m
(x)cos x +R
r
(x)sen x), una solucin particular
p
de la
ecuacin diferencial completa es:
p
=x
s
e
x
(S
k
(x)cos x +T
k
siendo k = max(m, r); S
(x)sen x),
k
(x) y T
k
Se observa que, en la prctica, este mtodo coincide con el mtodo del
anulador.
(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.
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
caracterstica
Solucin particular
k =max(m, r)

Q
m =0 no es raz de la
ecuacin caracterstica
(x) S
m
(x)
=0 es raz de orden s x
s
S
m
(x)

Q
m
(x)e
real
x

= no es raz S
m
(x)e
x

= es raz de orden s x
s
S
m
(x)e
x

Q
m
(x)cosx +
R
r
=i no es raz
(x)senx
S
k
(x)cosx +T
k
(x)senx
=i es raz de orden s x
s
(S
k
(x)cosx +T
k
(x)senx)

e
x
(Q
m
(x)cosx
+R
r
= i no es raz
(x)senx)
(S
k
(x)cosx +T
k
(x)senx)e
x

= i es raz de orden s x
s
(S
k
(x)cosx +
T
k
(x)senx)e
x

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 (D
4
16)(y) =x
2
El operador D
+x +1, buscando un polinomio anulador.
3
anula la ecuacin de forma que D
3
(D
4
16)(y) =0. Las
soluciones de la ecuacin caracterstica son
1
=
2
=
3
=0,
4
=2,
5
=2
,
6

=2i,
7
(x) =C
=2i y la solucin general es de la forma:
1
+C
2
x +C
3
x
2
+C
4
e
2x
+C
5
e
-2x
+C
7
cos 2x +C
8
como los cuatro ltimos trminos son anulados por D
sen 2x,
4
16 por ser soluciones
de la ecuacin homognea, nuestro objetivo es encontrar C
1
, C
2
, C
3
, tal que
(D
4
16)(C
1
+C
2
x +C
3
x
2
) =x
2
+x +1, por lo que 16C
1
16C
2
x 16C
3
x
2
=
x
2
+x +1, as C
3
16
1
= , C
2
16
1
= , C
1
16
1
= y
p
16
1
(x) = x
2
16
1
x
16
1
.
Ejemplo 10.4.5: Calcular la solucin de la ecuacin diferencial lineal:
(D
4
16)(y) =x
2
mediante el mtodo de coeficientes indeterminados.
+x +1
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
e
2x
+ C
2
e
-2x
+ C
3
cos 2x + C
4
sen 2x. Se busca una solucin
particular parecida a G(x) =x
2
+x +1,
P
(x) =Ax
2
+Bx +C, e imponiendo
que sea solucin de la ecuacin completa se obtiene que
p
16
1
(x) = x
2
16
1
x
16
1
, por lo que solucin general pedida es:
(x) =C
1
e
2x
+C
2
e
-2x
+C
3
cos 2x +C
4
16
1
sen 2x + x
2
16
1
x
16
1
.
Ejemplo 10.4.6: Calcular la solucin general de la ecuacin diferencial
lineal (D
2
3D +2)(y) =e
x
El operador (D 1) anula a e
, buscando un polinomio anulador.
x
de modo que (D 1)(D
2
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
e
2x
+C
2
e
x
+C
3
xe
x
. Como los dos primeros trminos
son anulados por (D
2
3D +2), es suficiente determinar C
3
talque (D
2
3D +2)
(C
3
xe
x
) = e
x
. Derivando se obtiene C
3
= 1 y la solucin general de la
ecuacin es:
g
(x) =C
1
e
2x
+C
2
e
x
xe
x
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) =Ae
.
x
, sino que se probara con (x) =Axe
x
Ejemplo 10.4.7: Calcular la solucin general de la ecuacin diferencial
lneal y y +y y =x
, obtenindose que A =1.
2
Se calcula primero una solucin de la ecuacin diferencial lineal
homognea asociada
+x, y encontrar la solucin particular que verifica las
condiciones iniciales y(0) =0; y(0) =y(0) =1.
H
(x) =C
1
e
x
+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)

=Ax
2
(2A) +(2Ax
+Bx +C, cuyos coeficientes A, B, C hay que determinar. Se
sustituye este polinomio y sus derivadas en la ecuacin diferencial:

+B) (Ax
2
+Bx +C) =x
2
Se identifican coeficientes:
+x.
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)

=x
2
3x 1
y por tanto la solucin general es:
g
(x) =C
1
e
x
+C
2
cos x +C
3
sen x x
2
Para obtener la solucin particular que verifica que y(0) =0; y(0) =y(0) =
1, se calcula
3x 1.
g
(0) =C
1
+C
2
1,
g
(0) =C
1
+C
3
3,
g
(0) =C
1
C
2
=
= +
= +
1 2
1 3
0 1
2 1
3 1
2 1
C C
C C
C C
2 y
resolviendo el sistema:

se obtiene C
1
=2, C
2
=1 y C
3
(x) =2e
=2 y por tanto la solucin particular que verifica
las condiciones iniciales es:
x
cos x +2sen x x
2
Ejemplo 10.4.8: Resolver la ecuacin y y =12x
3x 1.
2
Se calcula la solucin general de la ecuacin homognea asociada:
+6x.
H
(x)
=C
1
+C
2
x +C
3
e
x
, como =0 es autovalor doble, la solucin particular
p
es
un polinomio de grado cuatro de la forma:
p
(x)

=x
2
(Ax
2
+Bx +C) =Ax
4
+Bx
3

+ Cx
2
24Ax +6B (12Ax
, cuyos coeficientes A, B, C hay que determinar. Sustituyendo este
polinomio y sus derivadas en la ecuacin diferencial:
2
+6Bx +2C) =12x
2
Identificando coeficientes se obtiene el siguiente sistema:
+6x.
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)

=x
4
5x
3
15x
2
y la solucin general:
,
g
(x) =C
1
+C
2
x +C
3
e
x
x
4
5x
3
15x
2
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 +
Para simplificar se considera la ecuacin de variable compleja con
coeficientes reales z +z =xe
(Cx +D)sen x], en la que hay cuatro
coeficientes por determinar.
ix
. Al ser xsen x la parte imaginaria de xe
ix
Sea z
,
entonces la parte imaginaria de una solucin de la ecuacin de variable
compleja es una solucin para la ecuacin de variable real.
p
= (Ax + B)xe
ix
= (Ax
2
+ Bx)e
ix
(2A +4Axi
una solucin particular de la
ecuacin de variable compleja; sustituyendo para calcular A y B se tiene que:

+2Bi)e
ix
=xe
ix
4
i
y por tanto A = y B =
4
1
, por lo que:
z
p
4 4 4
2 2 2
x cos x xsenx
i
senx x x cos x
) isenx x (cos
x x . i
+
+
= +
+
=
de donde resulta que una solucin particular
p
de la ecuacin inicial es:

p
4
x cos x xsenx
2
(x) =
y la solucin general:
g
(x) =C
1
cos x +C
2
4
2
x cos x xsenx
sen x +

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
10.16. Resolver las siguientes ecuaciones diferenciales:
4 D)(y) = 4.
a) y 6y +9y =e
2x
b) y y =sen
.
2
x. (Ayuda: Expresar sen
2
c) y y +y y =x
x en funcin del ngulo 2x).
2
d) y 6y +9y =25e
+x.
x
10.17. Resolver las siguientes ecuaciones, planteando la correspondiente
ecuacin de variable compleja
sen x.
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
x
n
y
n)
+ p
1
x
n-1
y
n-1)
+ ... + p
n-1
xy' + p
n
y = g(x),
con p
0
, p
1
, ..., p
n
Constituye una clase de ecuaciones con coeficientes variables cuya
solucin siempre puede escribirse en trminos de funciones elementales.
y x 0.
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
x
n
y
n)
+p
1
x
n-1
y
n-1)
+ ... + p
n-1
xy' + p
n
y =0, x 0, con p
0
,
p
1
, p
2
, ..., p
n
Se observa que el coeficiente de y
n)
es p
n
x
n
, que se anula en x =0. Al
dividir por l la ecuacin diferencial para despejar y
constantes, se denomina ecuacin homognea de Cauchy-Euler.
n)
En la resolucin se pueden utilizar dos mtodos que resultan
coincidentes: hacer el cambio de variable x = e
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).
t
o buscar una solucin de la
forma y = x
r
Mtodo 1:
, para algn valor de r.
Realizando el cambio de variable x =e
t
0
1
1
1 0
= + + + +

y q
dt
dy
q ...
dt
y d
q
dt
y d
q
n n
n
n
n
n
estas ecuaciones se reducen a
ecuaciones lineales homogneas de coeficientes constantes. La ecuacin, con
este cambio de variable, queda de la forma:
con q
1
, q
2
, ..., q
n
constantes.

Mtodo 2:
Este mtodo consiste en buscar una solucin de la ecuacin del tipo y =
x
r
En este caso y =rx
, siendo r un nmero por determinar.
r-1
; y =r(r 1)x
r-2
; ..., y
n)
=r(r 1) ... (r n +1)x
r-n
Al sustituir esta funcin y sus derivadas en la ecuacin se tiene x
.
r
(q(r)) =0
siendo q(r) un polinomio en r. Ya que x
r
Ecuaciones completas
0 se tiene que q(r) debe ser 0. Las
soluciones de esta ecuacin permiten obtener un conjunto fundamental de
soluciones.
Sean p
0
, p
1
, p
2
, ..., p
n
p
constantes. Las ecuaciones de Cauchy-Euler
completas del tipo:
0
x
n
y
n)
+p
1
x
n-1
y
n-1)
+ ... + p
n-1
xy' + p
n
y =x
Q
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 e
x
Q
m
(x).
En este caso, una solucin particular es del tipo
p
(x) =x
R
m
(ln,x,), siendo
R
m
Ecuacin de Cauchy-Euler con cambio de variable
(x) un polinomio de grado m.
Un cambio de variable similar al que ha resuelto la ecuacin de Cauchy-
Euler se puede utilizar para resolver la siguiente ecuacin homognea:
p
0
(ax +b)
n
y
n)
+ p
1
(ax +b)
n-1
y
n-1)
+ ... + p
n-1
(ax +b)y' + p
n
Buscando soluciones de la forma (x) =(ax +b)
y =0, ax +b 0.
r
, o haciendo el cambio ax
+b =e
t
, una ecuacin de este tipo se transforma en una ecuacin diferencial
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 y
n)
(x) + P
1
(x)y
n-1)
(x) + ... + P
n-1
Efectivamente si
(x)y'(x) =
G(x), el cambio de variable y(x) =u(x), reduce el orden de la ecuacin en una
unidad.
u
dx
dy
= , entonces
dx
du
dx
y d
=
2
2
y
1
1
=
n
n
n
n
dx
u d
dx
y d
y la
ecuacin que resulta u
n-1)
(x) + P
1
(x)u
n-2)
(x) + ... + P
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:
(x)u(x) = G(x) es de
orden n 1.
y
n)
(x) + P
1
(x)y
n-1)
(x) + ... + P
n-k
(x)y
k)
realizando el cambio de variable
(x) = G(x),
u
dx
y d
k
k
= se reduce el orden de la ecuacin en
k unidades.

Ejemplos resueltos
Ejemplo 10.4.10: Resolver la ecuacin de Cauchy-Euler:
x
2
Haciendo el cambio x =e
y'' + xy' y =0, x 0.
t
t t
e
dt
dy
dt
y d
' ' y ; e
dt
dy
' y
2
2
2

|
|
.
|
\
|
= =
se tiene que:
.
Sustituyendo, la ecuacin queda de la forma: 0
2
2
= y
dt
y d
.
La solucin general de esta ecuacin es: (t) =C
1
e
t
+C
2
e
-t
(x) =C
. Deshaciendo
el cambio se obtiene la solucin general de la ecuacin inicial:
1
x +C
2
x
-1
Para resolver por el otro mtodo la ecuacin anterior x
.
2
y +xy y =0,
se sustituye en la ecuacin diferencial la solucin y =x
r
. Se tiene que x
2
r(r
1)x
r-2
+xrx
r-1
x
r
=0 y por lo tanto x
r
(r
2
1) =0, como x
r
0 se tiene que r
2

1 =0, y la solucin es r =1 y r =1. Las funciones y
1
=x; y
2
=x
-1
(x) =C
forman un
conjunto fundamental de soluciones, de las que se obtiene la solucin general:
1
x +C
2
x
-1
Ejemplo 10.4.11: Integrar la ecuacin x
.
2
y xy 3y =16x
-1
Se resuelve primero la ecuacin diferencial homognea asociada
buscando una solucin del tipo y =x
ln x, x >0.
r
. Sustituyendo y =rx
r-1
; y =r(r 1)x
r-2

se tiene que x
r
(r
2
2r 3) =0, de races r =3 y r =1. Por tanto la solucin
general de la ecuacin diferencial homognea es (x) =C
1
x
3
+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
-1
lnx(Aln x +B) =x
-1
(Aln
2
x +Bln x),
p
(x) =x
-2
(Aln
2
x +(2A B)ln x +B),

p
(x) =x
-3
(2Aln
2
y al sustituirlos en la ecuacin:
x +(2B 6A)ln x 3B +2A),
x
-1
(8Aln x 4B +2A) =16x
-1
resulta que A =2 y B =1 y la solucin particular buscada es:
ln x
p
(x) =x
-1
(2ln
2
Por lo tanto la solucin general es:
x +ln x).
g
(x) =x
-1
(C
1
x
4
+C
2
+2ln
2
Ejemplo 10.4.12: Resolver la ecuacin diferencial xy 2y =x.
x +ln 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
x
2
. Se deshace el cambio: y(x) =
x +C
1
x
2
. Se integra de nuevo para obtener la solucin general:

g
2
3
1
2
3 2
C
x
C
x
+ + (x) = .
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
x
2
.

Deshaciendo el cambio y(x) =
2
3
1
3
k
x
k + e y(x) =
3 2
4
1
12
k x k
x
k + + , es decir:
g
(x) =C
1
x
4
+C
2
x +C
3

.
Ejercicios
10.18. Resolver las siguientes ecuaciones.
a) x
2
b) x
y xy +2y =xln x
2
c) x
y xy +y =2x
2
y 2xy +2y =x
2
10.19. Hallar la solucin general de las siguientes ecuaciones diferenciales
lineales:
2x +2.
a) (1 +x
2
)y +2xy =2x
b) xy y =2x
-3

-1
c) (1 +2x)y +4xy +(2x 1)y =e
ln x
-x
d) x
.
2
y xy 3y =5x
4
10.20. Calcular la solucin general de las siguientes ecuaciones conocida
una solucin particular.
.
a) x
2
(ln x 1)y xy +y =0, siendo y
1
b) (2x +1)y +(4x 2)y 8y =0 siendo y
(x) =x, una solucin particular.
1
(x) =e
mx

, una solucin
particular.
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
y +P(x)y +Q(x)y =0
es un punto ordinario de la ecuacin diferencial lineal:
si P(x) y Q(x) son funciones analticas en un entorno del punto x
0
Si un punto no es ordinario se denomina punto singular.
, es decir,
cada una de ellas se puede expresar como un desarrollo en serie de potencias
que converge en un entorno de dicho punto.
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 x
2
siendo p constante.
)y 2xy +p(p +1)y =0, (10.5.1)
Las funciones P(x) =
2
1
2
x
x
y Q(x) =
2
1
1
x
) p ( p
+
son analticas en el origen,
que por tanto es un punto ordinario. Se trata de encontrar una serie de
potencias de la forma: y =
=

0 n
n
n
x a convergente en un intervalo abierto de la
recta real (r, r), con 0 <r <1.
Derivando esta serie de potencias se obtiene:
y' =
1
1
n
n
n
x na y
y'' =
2
2
1
n
n
n
x a ) n ( n ,
por lo tanto:
2xy =
=1
2
n
n
n
x na =
=0
2
n
n
n
x na ,
(1 x
2
2
2
1
n
n
n
x a ) n ( n )y =
=

2
1
n
n
n
x a ) n ( n =
=
=
+
+ +
0
2
1 2
n
n
n
x a ) n )( n (
=

0
1
n
n
n
x a ) n ( n =
= |
=
+
+ +
0
2
1 2
n
n
a ) n )( n ( |
n
n
x a ) n ( n 1 .
Sustituyendo en la ecuacin diferencial se tiene:
|
=
+
+ +
0
2
1 2
n
n
a ) n )( n ( |
n
n
x a ) n ( n 1
=0
2
n
n
n
x na +p(p +1)
=

0 n
n
n
x a =0
que se satisface si y slo si los coeficientes verifican la siguiente ecuacin:
2
1 2
+
+ +
n
a ) n )( n (
n
a ) n ( n 1
n
na 2 +p(p +1)a
n
que se puede expresar:
=0,
2
1 2
+
+ +
n
a ) n )( n ( (n p)(n +1 +p)a
n
a
= 0, o bien,
n+2
n
a
) n )( n (
) n p ( ) n p (
2 1
1
+ +
+ +
= .
Esta expresin permite calcular los trminos pares de la serie en funcin
de a
0
, en particular se tiene que: a
2
0
2 1
1
a
) p ( p
+
= ,
a
4
2
4 3
3 2
a
) p ( ) p (
+
= =(1)
2
0
4 3 2 1
3 2 1
a
) p ( ) p )( p ( p

+ +
,
y en general
a
2n
=(1)
n
0
2
1 2 3 1 2 2 2
a
)! n (
) n p ( ) p )( p ( ) n p ( ) p ( p + + + +
.
Anlogamente se pueden calcular los trminos impares en funcin de a
1

con lo que se obtiene:

a
2n+1
=(1)
n
1
1 2
2 4 2 1 2 3 1
a
)! n (
) n p ( ) p )( p ( ) n p ( ) p )( p (
+
+ + + +
.
Se consideran las siguientes funciones:
y
1

= +
+ + + +
n
n
n

)! n (
) n p ( ) p )( p ( ) n p ( ) p )( p (
(-1)
1 1 2
2 4 2 1 2 3 1
(x) =1 + x
2n
y
,
2

= +
+ + + +
n
n )! n (
) n p ( ) p )( p ( ) n p ( ) p )( p (
1 1 2
2 4 2 1 2 3 1
(x) =x + x
2n+1
Se puede demostrar por el criterio del cociente que estas series son
convergentes para IxI <1. Adems y
.
1
(x) e y
2
y
(x) son soluciones de la ecuacin
diferencial (10.5.1) y son linealmente independientes ya que satisfacen las
condiciones iniciales:
1
(0) =1, y
1
(0) =0, y
2
(0) =0, y
2
Por lo tanto la solucin general de la ecuacin diferencial de Legendre
(10.5.1) en el intervalo (1, 1) est expresada por:
(0) =1.
(x) =C
1
y
1
(x) +C
2
y
2
Si p es 0 o un entero par positivo, p =2k, la serie y
(x).
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
Los polinomios obtenidos de esta forma se denominan polinomios de
Legendre y tienen importantes aplicaciones prcticas.
(x) que sigue
teniendo infinitos trminos no nulos.
Teorema 10.5.1:
Si P(x), Q(x) son dos funciones desarrollables en serie de potencias en un
entorno de un punto x
0
, E(x
0
=

0
0
n
n
n
) x x ( a
), entonces la solucin general de la ecuacin
diferencial: y +P(x)y +Q(x)y =0 es y = =k
0
y
1
+k
1
y
2
,
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
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
es mayor o
igual que el mnimo de los radios de convergencia de las funciones P(x) y Q(x).
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
10.5.2. Soluciones en torno a puntos singulares
) se mayora
mediante otra serie de potencias convergente en dicho entorno.
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
(x x
es un punto singular regular de una ecuacin diferencial
lineal de segundo orden si dicha ecuacin se puede expresar de la forma:
0
)
2
y +(x x
0
siendo P(x)y Q(x) funciones analticas en un entorno del punto x
)P(x)y +Q(x)y =0,
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
)
2
y +(x x
0
) x x (
) x ( P
0
)P(x)y +Q(x)y
= 0 no es aplicable el teorema 10.5.1 ya que las funciones y
2
0
) x x (
) x ( Q
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
Teora de Frobenius
=0, cuando ste es un punto singular
regular de esta ecuacin.
Definicin 10.5.4:
Se denomina serie de Frobenius o serie de potencias generalizada en
un punto x
0
Ix x
a una serie de la forma:
0
I
t
=

0
0
n
n
n
) x x ( a , t y a
0
siendo la serie de potencias
0. (10.5.2)
=

0
0
n
n
n
) x x ( a convergente en un entorno de
x
0
Definicin 10.5.5:
.
La ecuacin de ndices en un punto singular regular x
0
de la ecuacin
diferencial (x x
0
)
2
y +(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 x
t
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:
x
2
y xy +(x
2
p
2
siendo p 0 constante.
)y =0,
Se busca una ecuacin de la forma:
y(x) =IxI
t
=

0 n
n
n
x a , (10.5.3)
siendo a
0
0, en un entorno pinchado de 0, B
r
Se supone, primero que x >0, as IxI
(0), con lo que x 0.
t
=x
t
y =tx
. Derivando (10.5.3) se obtiene:
t-1
=

0 n
n
n
x a +x
t
0
1
n
n
n
x na =x
t-1
=
+
0 n
n
n
x ) t n ( a ,
y'' =(t 1)x
t-2
=
+
0 n
n
n
x ) t n ( a +x
t-1
+
0
1
n
n
n
x a ) t n ( n =x
t-2
=
+ +
0
1
n
n
n
x a ) t n )( n t ( ,
y sustituyendo en la ecuacin diferencial se obtiene:

x
t
=
+ +
0
1
n
n
n
x a ) t n )( n t ( +x
t
=
+
0 n
n
n
x ) t n ( a +x
t+2
=

0 n
n
n
x a x
t
=

0
2
n
n
n
x a p =0
x
t
| |
=
+
0
2 2
n
n
n
x p ) t n ( a +x
t+2
=

0 n
n
n
x a =0
dividiendo por x
t
| |
=
+
0
2 2
n
n
n
x p ) t n ( a
:
+x
2
=

0 n
n
n
x a =0.
Los coeficientes a
n
Al igualar a cero el trmino independiente se tiene que (t
se determinan imponiendo que se anulen en esta
ecuacin los coeficientes de cada una de las potencias de x.
2
p
2
)a
0
=0, y
como a
0
0 es necesario que t
2
p
2
Para t =p las ecuaciones que se obtienen para determinar los valores a
=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).
n
[(1 +p)
son:
2
p
2
]a
1
=0 y [(n +p)
2
p
2
]a
n
+a
n-2
Ya que p 0, de la primera ecuacin se deduce que a
=0, n 2.
1
=0, de la
segunda se obtiene la siguiente frmula de recurrencia que expresa a
n
en
funcin de a
n-2
a
:
n
2 2
2
p ) p n (
a
n
+

= =
) p n ( n
a
n
2
2
+

.
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.
Para los de potencias pares se tiene:
a
2
) p (
a
2 2 2
0
+
= =
) p (
a
+
1 2
2
0
,
a
4
) p (
a
2 4 4
2
+
= =
) p )( p ( !
a ) (
+ +
2 1 2 2
1
4
0
2
,
a
6
) p (
a
2 6 6
4
+
= =
) p )( p )( p ( !
a ) (
+ + +

3 2 1 3 2
1
6
0
3
,
y en general
a
2n
) p n )...( p )( p )( p ( ! n
a ) (
n
n
+ + + +

3 2 1 2
1
2
0
= .
Por lo tanto para el valor t =p se obtiene la siguiente solucin:
y(x) =a
0
x
p
|
|
.
|
\
|
+ + + +

+
=1
2
2
3 2 1 2
1
1
n
n
n n
) p n )...( p )( p )( p ( ! n
x ) (
.
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 x
p
queda
sustituido por (x)
p
y
. Por lo tanto una solucin de la ecuacin de Bessel para x
0 est expresada por la funcin:
1
(x) =a
0
IxI
p
|
|
.
|
\
|
+ + + +

+
=1
2
2
3 2 1 2
1
1
n
n
n n
) p n )...( p )( p )( p ( ! n
x ) (
, x 0
Si se estudia la raz de la ecuacin de ndices t =p se obtienen las
siguientes ecuaciones:

[(1 p)
2
p
2
]a
1
[(n p)
=0,
2
p
2
]a
n
+a
n-2
(1 2p)a
=0, n 2
1
n(n 2p)a
=0,
n
+a
n-2
De estas ecuaciones, si 2p no es entero, se tiene:
=0.
a
1
a
=0,
n
) p n ( n
a
n
2
2

= , n 2
Ya que la frmula de recurrencia es la misma sustituyendo p por p ,
mediante un desarrollo similar al anterior se obtiene la solucin:
y
2
(x) =a
0
IxI
p
|
|
.
|
\
|

+
=1
2
2
3 2 1 2
1
1
n
n
n n
) p n )...( p )( p )( p ( ! n
x ) (
, x 0
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) =C
(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:
1
y
1
(x) +C
2
y
2
(x).
Teorema 10.5.2:
Si x =0 es un punto singular regular de la ecuacin diferencial x
2
y +
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
una solucin de la forma y
1
1
t
x (x) =
=

0 n
n
n
x a , siendo a
n
0, para todo x 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
2
t
x (x) =
=

0 n
n
n
x b , siendo b
n
La demostracin de este teorema sigue los mismos pasos que se han
utilizado para encontrar la solucin de la ecuacin de Bessel.
0, para todo x 0, en
el intervalo (r, r).
La ecuacin de ndices que resulta es: t
2
+t(p
0
1) +q
0
=0, siendo p
0
y
q
0
los coeficientes de x
0
en los desarrollos en series de potencias de xP(x) y
x
2
Si las races de esta ecuacin son nmeros complejos conjugados
entonces los coeficientes de la serie de Frobenius son tambin complejos.
Q(x) respectivamente.
Ejemplos resueltos
Ejemplo 10.5.1: Encontrar la solucin general, y(x) =
=

0 n
n
n
x a , de la
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
Derivando y(x) =
(x), series de potencias.
=

0 n
n
n
x a , se obtiene
y'(x) =
1
1
n
n
n
x na =
0
1
n
n
n
x na ,
y''(x) =

2
2
1
n
n
n
x a ) n ( n =

0
2
1
n
n
n
x a ) n ( n .
y sustituyendo en la ecuacin:

0
2
1
n
n
n
x a ) n ( n +x
0
1
n
n
n
x na +
=

0 n
n
n
x a =0

0
2
1
n
n
n
x a ) n ( n =
=
+
0
1
n
n
n
x a ) n (

=
+
+ +
2
2
1 2
n
n
n
x a ) n )( n ( =
=
+
0
1
n
n
n
x a ) n ( .
Igualando coeficientes (n +2)(n +1)a
n+2
=(n +1)a
n
de donde se
obtiene la frmula de recurrencia a
n+2
2 +
n
a
n
= vlida para n 0. Por lo tanto:
a
2
2
0
a
= , a
4
4
2
a
= =
4 2
1
0
2
a ) (
, a
6
6
4
a
= =
6 4 2
1
0
3

a ) (
, ..., a
2n
! n
a ) (
n
n
2
1
0
=
a
3
3
1
a
= , a
5
5
3
a
= =
5 3
1
1
2
a ) (
, a
7
7
5
a
= =
7 5 3
1
1
3

a ) (
, ..., a
2n+1
! )! n (
a ) (
n
1 2
1
1
+
=
La solucin general de la ecuacin diferencial es:
y(x) =a
0
0
2
2
1
n
n
n n
! n
x ) (
+a
1
=
+
+
0
1 2
1 2
1
n
n n
! )! n (
x ) (
.
Ejemplo 10.5.2: Hallar una solucin expresada en series de potencias de
la ecuacin diferencial (1 x
2
Derivando y(x) =
)y +2y =0.
=

0 n
n
n
x a , como en el ejemplo anterior se obtiene:
y(x) =

0
2
1
n
n
n
x a ) n ( n .
y sustituyendo en la ecuacin:
(1 x
2

0
2
1
n
n
n
x a ) n ( n ) =2
=

0 n
n
n
x a

0
2
1
n
n
n
x a ) n ( n =
=

0
1
n
n
n
x a ) n ( n 2
=

0 n
n
n
x a
=
+
+ +
2
2
1 2
n
n
n
x a ) n )( n ( =
=

0
2 1
n
n
n
x a ) ) n ( n ( .
Igualando coeficientes:
(n +2)(n +1)a
n+2
=(n
2
n 2)a
n
de donde se obtiene la frmula de recurrencia:

a
n+2
2
2
+
n
) n ( a
n
= vlida para n 0.
Por lo tanto:
a
2
=a
0
, a
4
=0, a
6
=0, ..., a
2n
=0, n 2

a
3
3
1
a
= , a
5
5
3
a
= =
5 3
1
a
, a
7
7
3
5
a
= =
7 5
1
a
, ..., a
2n+1
) n )( n (
a
1 2 1 2
1
+
= .
Por consiguiente una solucin de la ecuacin diferencial es:
y(x) =a
0
+a
2
x
2
+
=
+
+
0
1 2
1
1 2 1 2
n
n
) n )( n (
x ) a (
=a
0
(1 x
2
=
+
+
0
1 2
1 2 1 2
n
n
) n )( n (
x
) a
1
.
Ejemplo 10.5.3: Comprobar que el origen es un punto singular regular de
la ecuacin de Cauchy-Euler de segundo orden: x

2
y +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 =e
t
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 =e
t
t t
e
dt
dy
dt
y d
' ' y ; e
dt
dy
' y
2
2
2

|
|
.
|
\
|
= =
se tiene que:
.
Sustituyendo: 0 1
2
2
= + + cy
dt
dy
) b (
dt
y d
, ecuacin diferencial con
coeficientes constantes cuya ecuacin caracterstica es:
2
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) =x
+(b 1) +c =0
t
=

0 n
n
n
x a ,
siendo a
n
0. Derivando esta serie:
y =x
t-1
=
+
0 n
n
n
x ) t n ( a , y'' =x
t-2
=
+ +
0
1
n
n
n
x a ) t n )( n t ( ,
y sustituyendo en la ecuacin diferencial:
x
t
=
+ +
0
1
n
n
n
x a ) t n )( n t ( +bx
t
=
+
0 n
n
n
x ) t n ( a +cx
t
=

0 n
n
n
x a =0
x
t
| |
=
+ + + + +
0
2
n
n
n
x c ) t n ( b ) t n ( ) t n ( a =0
x
t
| |
=
+ + + +
0
2
1
n
n
n
x c ) t n )( b ( ) t n ( a =0.
Dividiendo por x
t
, se tiene que el coeficiente de x
0
es: a
0
(t
2
+(b 1)t +c)
y por lo tanto la ecuacin de ndices: t
2

+(b 1)t +c =0 tiene las mismas
races que la ecuacin caracterstica obtenida anteriormente.
Ejercicios
10.21. Encontrar la solucin general y(x) =
=

0 n
n
n
x a , de la ecuacin de
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
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 x
(x), series de potencias.
2
)y xy +p
2
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.
y =0, siendo p una
constante.

10.24. Encontrar la ecuacin de ndices y sus races para cada una de las
siguientes ecuaciones diferenciales en el punto x =0.
a) x
2
b) 4x
y +(cos 2x 1)y +2xy =0.
2
y +(2x
4
5x)y +(3x
2
10.25. Comprobar que el origen es un punto singular regular de la ecuacin:
2x
+2x)y =0.
2

y'' +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
y + w
0
2
y = 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
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.
t + ) donde t es el tiempo.
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
y + 2uy' +w
=k/m, y 2u = b/m con lo que la ecuacin queda
de la forma:
0
2
que es tambin una ecuacin homognea de coeficientes constantes, cuya
ecuacin caracterstica es:
y =0
2
+u +w
0
2
Las races de esta ecuacin son:
=0.
. w u u
2
0
2
Sean y . Se pueden

distinguir tres casos:
a) Si u
2
w
0
2
La solucin general de la ecuacin viene expresada por: y(t) =
C
>0 la ecuacin tiene dos races reales y simples,
teniendo ambas signo negativo:
1
e
t
+C
2
e
t
b) Si u
. 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.
2
w
0
2
y(t) =C
<0 la ecuacin tiene dos races complejas: = +i
y = i, con =u <0. La solucin general de la ecuacin viene
expresada por:
1
e
t
cos t +C
2
e
t
sen t =Ae
t
sen

De esta frmula se deduce que las amplitudes Ae
(t +).
t
c) En el caso en que u
de las
oscilaciones tienden a cero cuando aumenta el tiempo, y el sistema est
subamortiguado.
2
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)e
t
. 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.

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:
) t ( g ) t ( y c
dx
) t ( dy
b
dx
) t ( y d
= + +
2
2
,
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
Llamando w
cos wt, donde la ecuacin
homognea corresponde a la de las oscilaciones libres y la fuerza externa es
una funcin coseno.
0
c = resulta que la solucin general de la ecuacin
homognea es: y =C
1
cos(w
0
t) +C
2
sen(w
0
Si w es distinto de w
t)
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
wt cos
) w w (
F
) t ( y
P
2 2
0
0
=
(t) =
Acos wt + Bsen wt, que esta solucin particular es:
.
Si se considera y(0) = y(0) = 0 y se calcula la solucin del problema de
valor inicial se obtiene:
2 2
2
0 0
2 2
0
0
0
2 2
0
0
t ) w w (
sen
t ) w w (
sen
) w w (
F
) t w cos wt (cos
) w w (
F
) t ( y
+
= .
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
percibirse por el odo. En electrnica la variacin de amplitud con el tiempo se
llama modulacin de amplitud.
Si w = w
0
tsenwt
w
F
) t ( y
P
2
0
=
la solucin particular que se obtiene es:
.
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:
L
dt
dI
(t) +RI(t) +
C
1
Q(t) =E(t),
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) =
dt
dQ
(t) se obtena la ecuacin lineal

de segundo orden con coeficientes constantes:
L
2
2
dt
Q d
(t) +R
dt
dQ
(t) +
C
1
Q(t) =E(t).
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:
2
2
dt
Q d
(t) +
L
R
dt
dQ
(t) +
C L
1
Q(t) =0.
En el estudio matemtico de esta ecuacin hay que analizar los distintos
valores de
2
2
L
R

C L
4
, que es el discriminante de la ecuacin caracterstica:
2
L
R
+ +
C L
1
=0.
Sean y , las races de esta ecuacin. Se pueden distinguir tres casos:
a) Si R >2
C
L
la ecuacin tiene dos races reales y simples:
La solucin general de la ecuacin viene expresada por: Q(t) =
C
1
e
t
+ C
2
e
t
b) Si R <2
. En el caso particular en el que L es despreciable el
circuito es no inductivo.
C
L
la ecuacin tiene dos races complejas, = +i y
= i. La solucin general de la ecuacin viene expresada por:
Q(t) =C
1
e
t
cos t +C
2
e
t
sen t =Ae
t
sen

En el caso particular en el que R es despreciable se trata de un
circuito inductivo de dbil resistencia.
(t +).
c) Si R =2
C
L
la ecuacin tiene una nica raz real y la solucin
general de la ecuacin Q(t) =(C
1
+C
2
t)e
t
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.
. 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.

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
P
p
n
d
du
=
de coordenadas (sen , cos ). Ambos vectores estn relacionados

ya que y
P
p
u
d
dn
=
. Se calcula la velocidad y la aceleracin en

funcin de estos vectores:
v =
p
p
u
dt
dr
dt
du
r
dt
dOP
+ = =
p
p
u
dt
dr
dt
d
d
du
r +
=
p P
u
dt
dr
n
dt
d
r +
y
a = =
dt
dv

|
.
|
\
|
+
p P
u
dt
dr
n
dt
d
r
dt
d
=
p P
u
dt
d
r
dt
r d
n
dt
d
dt
dr
dt
d
r
|
|
.
|
\
|
|
.
|
\
|
+
|
|
.
|
\
|
+
2
2
2
2
2
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
F
y aplicando la
segunda ley del movimiento de Newton F =ma se tiene que:
r
|
|
.
|
\
|
|
.
|
\
|
2
2
2
dt
d
r
dt
r d
=m y F
n
|
|
.
|
\
|
+
dt
d
dt
dr
dt
d
r

2
2
2
=m .
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
OP y por lo tanto la componente de la fuerza en la direccin perpendicular a
OP es 0, es decir F
n |
.
|
\
|
+
dt
d
dt
dr
2
dt
d
r
2
2

=0. Por lo tanto =0 y al multiplicar por r
se tiene
|
|
.
|
\
|

+
dt
d
dt
dr
r
dt
d
r 2
2
2
2
=0 0
2
=
|
.
|
\
|
dt
d
r
dt
d
k
dt
d
r =
2
. Se puede
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 =
2
1
r
2
k
dt
d
r
dt
dA
2
1
2
1
2
=
= d y a partir de la ecuacin anterior se tiene que .

Calculando la integral entre t
1
y t
2
se obtiene que A(t
2
) A(t
1
2
1
) = k(t
2

t
1
Primera ley de Kepler
), que es la segunda ley de Kepler, es decir: el rea que recorre el vector OP
es proporcional al tiempo en que la recorre.
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
2
r
Mm
=G
y se sustituye el valor de F
r
|
|
.
|
\
|
|
.
|
\
|
2
2
2
dt
d
dt
r d
obtenido anteriormente: m =G
2
r
Mm
. Se hace el cambio de variable z =
r
1
y se calculan las derivadas respecto a :

= =
|
.
|
\
|
=
d
dz
k
r
k
d
dz
z
dt
d
d
dz
z
dt
dz
z
z dt
d
dt
dr
2 2 2 2
1 1 1 1
,
2
2
2 2
2 2
2
2
2
|
.
|
\
|

=
|
.
|
\
|
=
d
z d
z k
r
k
d
z d
k
dt
d
d
dz
d
d
k
d
dz
k
dt
d
dt
r d
,

Se sustituyen estos valores en la ecuacin anterior:
2
2
2 2
d
z d
z k
4 2
1
z k
z
= GMz
2
2
2
d
z d
+z =
2
k
GM
,
que es una ecuacin lineal con coeficientes constantes que tiene por solucin
general:
z =C
1
cos +C
2
2
k
GM
sen + ,
y llamando H =
2
k
GM
se tiene que:
r =
H sen C cos C + +
2 1
1
.
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
dz
=0 y
2
2
d
z d
<0, de donde C
2
=0 y C
1
r =
>0 y
H cos C +
1
1
=
1
1
1
+ cos
H
C
H
;
llamando e =
H
C
1
y p =
1
C
1
se tiene:
r =
1 + cos e
pe
,
que es la ecuacin en coordenadas polares de una cnica, donde e =
MG
k C
2
1
es
la excentricidad. Como los planetas permanecen en el sistema solar su rbita
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 1
2
2
2
2
= +
b
y
a
x
, su excentricidad es
e =
a
c
, siendo c
2
=a
2
b
2
, de forma que e
2
2
2 2
a
b a
= y por tanto:
b
2
=a
2
(1 e
2
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 =
).
1 cos e
pe
+
se tiene:
a =
2
1
1 1 2
1
e
pe
e
pe
e
pe
=
|
.
|
\
|
+
+
,
sustituyendo pe =
MG
k
2
y 1 e
2
2
2
a
b
= se tiene:
a =
) e ( MG
k
2
2
1
=
2
2 2
MGb
a k
y b
2
MG
a k
2
= .
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 =
2
1
kT y T
2
2
2 2 2
4
k
b a
=
sustituyendo la ltima expresin para b
2
se obtiene T
2
MG
a .
3 2
4
= .
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.
Es evidente que la constante de proporcionalidad
MG
2
4
no depende de la
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
0 y 4
dt
dy
5
dt
y d
2
2
= + + , con las condiciones iniciales y(0) =1, y(0) =1.
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.

0 y 10
dt
dy
2
dt
y d
2
2
= + + , con las condiciones iniciales y(0) = 2, y(0) = 0.
La solucin es y(t) = e
-t
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
(2cos 3t (2/3)sen 3t).
instantnea. Se dice que el movimiento est subamortiguado.
0 y 16
dt
dy
8
dt
y d
2
2
= + + , con las condiciones iniciales y(0) = 1, y(0) = 3.
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 + a
.
2
y = sen t, y(0) = y
0
; y(0) = y
1
La solucin para a distinto de uno y de menos uno es:
.
senat y
a
at cos y senat
) a ( a
sent
a
) t ( y
1 0
2 2
1
1
1
1
1
+ +
= .
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:
sent y t cos y sent t cos t ) t ( y
1 0
2
1
2
1
+ + + = .
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/sg
2
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 =
.
8
y =
6

a) 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
2
y = F
0
10.29. Calcular la solucin general de la ecuacin de las oscilaciones
amortiguadas forzadas y + 2uy' +w
sen
wt, que verifique las condiciones iniciales y(0) = y(0) = 0
0
2
y = sen wt, cuando u
2
w
0
2
10.7. EJERCICIOS
<
0.
10.30. Integrar las siguientes ecuaciones:
a) y 3y + 2y = 0.
b) y
iv
c) y
+ 3y + 3y + y = 0.
v
= 0.
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, y
vi
+m
2
y
iv
m
4
y m
6
10.32. Calcular una solucin particular de la ecuacin y y = 0, que
verifique las condiciones iniciales y(1) =y(1) =y(1) =0.
y =0.
10.33. Integrar las siguientes ecuaciones diferenciales:
a) y +4y =5.
b) y +4y =x
2
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 =
4
5
+C
1
cos 2x +C
2
b) y =
sen 2x.
4
2
x

8
1
+C
1
cos 2x +C
2
c) y =
sen 2x.
3
1
cos x +C
1
cos 2x +C
2
d) y =
sen 2x.
3
1
xcos x +
9
2
sen x +C
1
cos 2x +C
2
10.35. Calcular por el mtodo de los coeficientes indeterminados una
solucin particular de la ecuacin: y 6y +9y =12x
sen 2x.
2
e
3x
10.36. Calcular por el mtodo del anulador la solucin general de la
+9.

ecuacin: y 2y +y =2x.
(Solucin: y =C
1
x +C
2
xe
x
10.37. Resolver la ecuacin diferencial: xy (x +1)y +y =
+2x +4)
1
2
+ x
x
.
(Solucin: y = C
1
e
x
1 + (C
2
10.38. Utilizar el mtodo de variacin de las constantes para resolver las
siguientes ecuaciones:
lnI1 + xI)(1 + x), x > 0)
a) y 4y + 8y = tg x.
b) y 4y + 8y = 8 + 3e
2x
c) xy (x + 1)y + y = x
.
2
d) y +
.
x
2
y + y =
x
1
, x 0, y() = 0, y() = 0. (Sol: y =
x
x cos 1 +
)
10.39. Calcular una solucin particular de la ecuacin diferencial:
xy (1 +x)y +y =x
2
e
2x
(Solucin: y =
con y(1) =y'(1) =0.
2
2
e
(x +1) e
x+1
2
2x
e
+ (x 1))
10.40. Integrar la ecuacin de Bessel: x
2
y +xy +(x
2
4
1
)y =0, en el
intervalo (0, ) sabiendo que admite la solucin y
1
x
senx
(x) = .
(Solucin: y =C
1
x
senx
+C
2
x
x cos
)
10.41. Calcular la solucin general de la ecuacin x
2
y 3xy +4y =0, en
(0, ) sabiendo que tiene una solucin polinmica de grado 2.
(Solucin: y
1
=x
2
; y =C
1
x
2
+C
2
x
2
10.42. Resolver x
lnx)
2
(Solucin: y
y 6y =0 en (0, ) sabiendo que admite una solucin
polinmica de grado 3.
1
=x
3
; y =C
1
x
3
+C
2
x
-2
10.43. Integrar la ecuacin (1 +2x)y +4xy 4y =0, sabiendo que admite
una solucin de la forma y =
)
x
e .
10.44. Resolver la ecuacin diferencial x
2
y 7xy +16y =0, en x >0,
sabiendo que admite una solucin de la forma y =x
n
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:
2x
2
y +(3x 2x
2
(Solucin: y =C
)y (x +1)y =0 y resolver la ecuacin.
1
+
+
=0
2
1
3 2 9 7 5
2
1
n
n
) n ...(
) x (
x
+C
2
=0
1
n
n
! n
x
x
)

C10 Lineales Orden Superior

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

C10 Lineales Orden Superior

Uploaded by

Copyright:

Available Formats

607 Anlisis matemtico para Ingeniera. M. MOLERO; A. SALVADOR; T. MENARGUEZ; L.

Con esta definicin se tiene que D

0 se debe verificar que:

(x) = , y por tanto la solucin

(x) = , ya que son n soluciones linealmente

. Una solucin particular es:

debe ser 1, por lo que G(x) =e

es un polinomio de grado dos:

de la ecuacin inicial es:

x +(2A B)ln x +B),

. Se integra de nuevo para obtener la solucin general:

de coordenadas (sen , cos ). Ambos vectores estn relacionados

. Se calcula la velocidad y la aceleracin en

= d y a partir de la ecuacin anterior se tiene que .

You might also like