৺EDO DE 2DO ORDEN Y ORDEN SUPERIOR

i.
2
Una EDO de segundo orden es una ecuación de la forma: d y  f x, y, y'
dx 2
ECUACIONES DE 2DO ORDEN QUE ADMITEN REDUCCION DE ORDEN (Se pueden reducir a ecuaciones de 1er orden)
2
Ecuaciones en las que está ausente la variable dependiente “y”: d y  f x, y '
1
dx 2
Sustitución: y'  w  y' '  w' ; ecuación transformada: w' f x, w

2
ii. Ecuaciones en las que está ausente la variable independiente “x”: d y  f  y, y'
dx 2
Sustitución: y'  dy  w  y' '  d w  dw dy  w dw ; ecuación transformada: w dw  f  y, w
dx dx dy dx dy dy

৺EDO LINEALES DE 2DO ORDEN

Son ecuaciones cuya forma canónica está dada por: y' ' x   px  y' x   qx  yx   g x  .
Si g x   0 : se tiene la ecuación homogénea: y' ' x   px  y' x   qx  yx   0 .

TEOREMA (PRINCIPIO DE SUPERPOSICIÓN)

Si y1 y y 2 son soluciones de la EDO: y' ' px y'qx y  0 , entonces la combinación lineal: c1 y1  c2 y 2  también es solución
de la ED tal que c1 , c2  R .
Demostración: Hipótesis 1: y1 es una solución de la EDO, es decir: y1 ' ' px y1 'qx y1  0 .
Hipótesis 2: y 2 es una solución de la EDO, es decir: y 2 ' ' px  y 2 'qx  y 2  0 .
PD: c1 y1  c2 y2 ' ' pxc1 y1  c2 y2 'qx c1 y1  c2 y2   0
Multiplicando la ecuación de la hipótesis 1 por “ c1 ”: c1 y1 ' 'c1 px  y1 'c1qx  y1  0
Multiplicando la ecuación de la hipótesis 2 por “ c 2 ”: c2 y 2 ' 'c2 px y 2 'c2 qx y 2  0
Sumando las dos ecuaciones anteriores se obtiene: c1 y1 ' 'c 2 y 2 ' '  c1 px y1 'c 2 px y 2 '  c1qx y1  c 2 qx y 2   0
 c1 y1  c2 y2 ' ' px c1 y1  c2 y2 'qx c1 y1  c2 y2   0  c1 y1  c2 y 2  es solución de la EDO.

WRONSKIANO: Considere un par de funciones f y g diferenciables en un intervalo abierto I, la función:

f x  g x 
W  f , g ( x)   f x g ' x   f ' x g x  : se denomina Wronskiano de f y g .
f ' x  g ' x 
 Considere la combinación lineal: c1 f x   c2 g x   0  c1 f ' x   c2 g ' x   0

 La representación matricial del sistema de ecuaciones es:  f x  g x   c1   0 

 f ' x  g ' x  c    0 
  2   
Análisis del sistema de ecuaciones homogéneo:
f x  g x 
1) Si  0 para algún x en I, entonces el sistema tiene solución trivial c1  c2  0 , lo cual implica a su vez que las
f ' x  g ' x 
funciones f y g son linealmente independientes (l.i.).


Si f x g x 
2)  0 para toda x en I, entonces el sistema tiene infinitas soluciones incluida la solución trivial c1  c2  0
f ' x  g ' x 
pero esto no implica dependencia lineal. No se puede implicar dependencia lineal debido a que al considerar ciertas funciones
por tramos obtener W  f , g ( x)  0 para cada tramo no implica que las constantes c1 , c 2 sean las mismas para todos los tramos.
Por lo tanto, si W  f , g ( x)  0 , entonces f y g podrían ser linealmente independientes o linealmente dependientes. Por
ejemplo, para f ( x )  x y g ( x)  x , W  f , g ( x)  0 , sin embargo se puede verificar que son linealmente independientes
3 3

buscando las constantes c1 , c 2 que satisfacen la combinación lineal c1 f x   c 2 g x   0 , lo cual da como resultado
c1  c2  0 .

Observación: Dos funciones son linealmente dependientes en un intervalo I, si éstas son múltiplos escalares.
Profesor: Antonio Chong Escobar, Ph.D.
Materia: Ecuaciones Diferenciales
 2
REPRESENTACION DE SOLUCIONES (CASO HOMOGÉNEO)
Si y1 y y 2 son soluciones en el intervalo a, b  de: y' ' px y'qx y  0 , donde px  y q  x  son funciones continuas en a, b  y si
existe algún un punto x 0 en a, b  donde w y1 , y 2 ( x 0 )  0 , entonces cualquier solución de y' ' px y'qx  y  0 se puede
expresar como: yx   c1 y1 ( x)  c2 y 2 x ; c1 , c2  R .
Esta última expresión es llamada solución general de la ecuación diferencial y y1 ( x), y 2 x  es una base o conjunto fundamental de
soluciones.

¿Cómo hallar una segunda solución linealmente independiente a una primera solución conocida?
Sea y1 x  una solución de: y' ' px y'qx  y  0 es decir: y1 ' ' px  y1 'qx  y1  0
Una solución l.i a y1 x  está dada por: y 2 ( x)  vx  y1 ( x)

tal que: v x es una función por hallar. Por lo tanto: y 2 ' x   vy1 ' y1v'
y 2 ' ' x   vy1 ' ' y1 ' v' y1v' 'v' y1 '
y' ' px y'qx y  0 se obtiene:
Sustituyendo: y2 x , y2 ' x , y2 ' ' x  en la ED:
y 2 ' ' px y 2 'qx y 2  0  vy1 ' ' y1 ' v' y1v' 'v' y1 ' p( x)vy1 ' y1v'  qx vy1  0
v y1 ' ' px  y1 ' qx  y1   v' 2 y1 ' px  y1   y1v' '  0
   
0: y :es _ solución
1
v' 2 y1 ' px y1   y1v' '  0 : ED de 2do orden en la que no aparece la variable dependiente “ v ”
Al realizar la sustitución para reducir del orden de la ED: v'  w ; v' '  w' se obtiene: w2 y ' px  y   y dw  0
1 1 1
dx
 2 y ' x   px  y1x    2 y ' x  
  w2 y1' px  y1
dw
 lnw     1  px dx
dw
 y1 
    1 dx
dx w  y1x    y1x  
ln y x    px dx
 2
 px dx dv e 
 p  x dx
 lnw  2 ln y1x    px dx  w  e 1  wx    y1x 2 e   
dx  y1x 2
 p  x dx  p  x dx
e  e 
  dv   dx  v x    dx . Entonces una solución l.i. a la solución y1x  conocida es:
 y1x 2  y1 x 2
 p  x dx   p  x dx
e 
dx . Así, la solución general de la ED es: y  x   c1 y1  x   c 2 y1  x 
e
y 2 x   y1  x  dx; c1 , c 2  R
 y1 x 2  y1 x 2
TEOREMA DE ABEL
Si y1 y y 2 son soluciones de la ED: y' ' p( x) y'q( x) y  0 tal que p y q son continuas sobre un intervalo abierto I , entonces el

 
W y1 , y 2 ( x) está dado por: W  y1 , y 2 ( x)  ce   p( x)dx , tal que c  R y depende de y1 y y 2 pero no de “x”.
Demostración: H1 : y1 satisface la ED: y1 ' ' p( x) y1 'q( x) y1  0 ; H 2 : y 2 satisface la ED: y2 ' ' p( x) y2 'q( x) y2  0
Al multiplicar la ecuación de H1 por “  y ” se obtiene:  y y ' ' y p( x) y ' y q( x) y  0
2 2 1 2 1 2 1
Al multiplicar la ecuación de H 2 por “ y ” se obtiene: y y ' ' y p( x) y ' y q( x) y  0
1 1 2 1 2 1 2
Sumando las dos últimas ecuaciones obtenidas:
 
y1 y 2 ' ' y1 ' ' y 2  p ( x) y1 y 2 ' y1 ' y 2  0
 
W ( y1, y2 )
Puesto que: W '  y1 , y 2    y1 y 2 ' y1 ' y 2 '  y1 ' y 2 ' y1 y 2 ' ' y1 ' ' y 2  y1 ' y 2 '  y1 y 2 ' ' y1 ' ' y 2 , W ' p( x)W  0
 p ( x ) dx k
Resolviendo ésta última ED: dW   p( x)W  dW   p( x)dx  ln(W )   p( x)dx  k 
 W e  e  0.
dx  W
Pero se sabe que W  y1, y2  puede dar como resultado cualquier número real, por ello se debe considerar en general una constante


c  R como sigue: W y1 , y 2  ce  
 p ( x) dx
;c  R .
Por lo tanto, los Wronskianos de pares de soluciones de una ED solamente se diferencian por una constante multiplicativa. Además, se
puede determinar el Wronskiano de cualquier par de soluciones (por ejemplo, de un conjunto fundamental de soluciones) sin tener que
resolver la EDO.

Profesor: Antonio Chong Escobar, Ph.D.

Materia: Ecuaciones Diferenciales
 3
Si una solución de la ED es conocida “ y ” y se quiere encontrar una 2da solución linealmente independiente “ y ”, se puede utilizar
1 2
el teorema de Abel suponiendo que: c  0 como sigue: W  y1 , y 2   ce  p( x)dx  y1 y 2 ' y1 ' y 2  ce  p( x)dx . Se obtiene la
  p ( x) dx
ED lineal: y ' y1' y  ce tal que p ( x)   y1 '
2 2
y1 y1 y1
y'
 1
y dx ln( y1) 1
El factor integrante es: u ( x)  e 1 e  y1
 p ( x ) dx
 
 p ( x ) dx
1 y1 ' y 2 ce  d 1 ce 
Multiplicando la ED por el factor integrante: y1 y 2 '   y y 
y12 y12 dx 2 1 y12
 p ( x ) dx
ce   p ( x)dx
d y2 y11  ce   p ( x ) dx
y12
dx  y2 y11  
y12
dx  y 2  cy1 
e 
y12
dx

   p ( x ) dx 
y' ' p( x) y'q( x) y  0 está dada por: y ( x)  c y  c c y e dx , k1 , k 2  R
1
Así, la solución general de la ED:
1 1 2   y12 
k1 k2  

৺EDO LINEAL DE 2DO ORDEN HOMOGENEA DE COEFICIENTES CONSTANTES

Es una ecuación de la forma: ay' ' ( x)  by' ( x)  cy ( x)  0 , tal que: a, b, c  R  a  0 .

Para hallar la solución: se hace la suposición de que: y( x)  erx tal que r es una constante por determinar satisface la ecuación
diferencial. Luego para verificar si la suposición es válida, se la sustituye en la ED. Así, y ' ( x )  re rx ; y' ' ( x)  r 2 e rx .


Sustituyendo en la ED se obtiene: ar 2 e rx  bre rx  ce rx  0  e rx ar 2  br  c  0  e rx  0  ar 2  br  c  0    
Se sabe que la ecuación exponencial obtenida no tiene solución sin embargo la segunda ecuación (cuadrática) tiene dos soluciones y
presenta tres posibles casos, por lo tanto la suposición de que: y ( x)  e
rx
es solución es válida siempre que “r” sea solución de la ecuación
2
cuadrática ar  br  c  0 , la cual se denomina ecuación auxiliar.

CASOS DE LA EC. AUXILIAR

Caso 1: Si el discriminante   b2  4ac  0 , la ecuación auxiliar tiene dos soluciones reales distintas “ r1 , r2 ” y las funciones
rx r x
y1 ( x)  e 1 y y 2 ( x)  e 2 son soluciones de la ED. Para que éstas soluciones sean un conjunto fundamental de soluciones de la ED,
se debe probar que sean linealmente independientes, es decir que: W ( y1 , y 2 )  0 .

r1  r2 x  r e r1  r2 x  r  r e r1  r2 x

rx r x
1
W ( y1 , y 2 )  e r x e 2
 r2 e  0 , puesto que: r1  r2 .
r x 1 2 1
r1e 1 r2 e2
r x r x
Entonces la solución general de la ED está dada por: y ( x)  c1e 1  c 2 e 2 ; c1 , c 2  R

Caso 2: Si el discriminante   b 2  4ac  0 , la ecuación auxiliar tiene solución real repetida “ r ” y la función y1 ( x )  e rx es solución
  p ( x) dx
de la ED. Para hallar la 2da solución linealmente independiente se utiliza reducción de orden, es decir: y ( x)  y ( x) e
2 1   y1 ( x)  2
dx ,

b
  dx
considerando la ecuación de forma canónica: y' ' ( x)  b y' ( x)  c y( x)  0 , entonces: rx e
a . Analizando el
y 2 ( x)  e 
e 
dx
a a rx 2

discriminante:   b 2  4ac  0 , entonces r   b  b  4ac   b  2r   b .

2

2a 2a a

e
2 rdx 2rx
e
 e rx 2 dx  e  e 2rx dx  e  dx  xe
rx rx rx rx
Por lo tanto, y 2 ( x)  e

Entonces la solución general de la ED está dada por: y( x)  c1e rx  c2 xerx ; c1 , c2  R

Profesor: Antonio Chong Escobar, Ph.D.
Materia: Ecuaciones Diferenciales
 4
Caso 3: Si el discriminante   b2  4ac  0 , la ecuación auxiliar tiene soluciones complejas conjugadas: r21    i y las funciones
rx r x
y1 ( x)  e 1 y y 2 ( x)  e 2 son soluciones de la ED, es decir, las funciones:

y1 ( x)  e   i x  ex e xi  ex cos(x)  isen(x)  ; y 2 ( x)  e   i x  e x e xi  e x cos(x)  isen(x) 

Entonces la suma de y1 ( x) y y 2 ( x) también es una solución y la llamaremos y3 ( x) para la ED pero no es la solución general por la
dependencia lineal entre dichas funciones: y3 ( x)  c1ex cos(x)  isen(x)   c2 ex cos(x)  isen(x) 
Sin embargo se pueden realizar los siguientes artificios a la solución y 3 ( x ) para obtener la solución general y(x) :

y3 ( x)  c1ex cos(x)  ic1ex sen(x)  c2 ex cos(x)  ic2 ex sen(x)

.
y 3 ( x)  c1  c 2 ex cos(x) i c1  c 2 ex sen(x)
  
k k
1 2
Se puede verificar que las funciones e x cos(x) y ex sen(x) son soluciones de la EDO y que además son linealmente independientes.

Así la solución general de la EDO es: y( x)  k1e x cos( x)  k2e x sen( x); k , k  R
1 2

৺ECUACION DE CAUCHY-EULER DE 2DO ORDEN

Es una ecuación de la forma: a2 x2 y ''( x)  a1 xy '( x)  a0 y( x)  0 tal que: a2 , a1 , a0  R  a2  0 , que se transforma en
una ED de coeficientes constantes utilizando la sustitución: x  e t  t  ln(x)  dt  1  1t  e t .
dx x e
 dy   dy   dy 
d  d  d  et 
dt  dt  t dy t d y  t  d 2 y dy 
2
y ' ' ( x)        
Además, y' ( x)  dy dt  dy et ;
e  e2t 
dx dx dt
 e e  
dt dx dt dx dt dx dt dx  dt dt 2   dt 2 dt 
 


  
 
y' ( x) ; y ' ' ( x) en la ED de Cauchy-Euler se obtiene: a e 2t  e  2t  d y  dy    a e t  e t dy   a y  0 , esto es, la
2
Al sustituir: x;   0
2   dt 2 dt  
1
 dt 
  
ED de coeficientes constantes: a2 y ' ' (t )  a1  a2  y ' (t )  a0 y (t )  0 , con ecuación auxiliar: a r 2  a  a r  a  0
2 1 2 0
CASOS
1. Si la ecuación auxiliar tiene soluciones reales distintas r1 , r2 , las soluciones linealmente independientes son las funciones:
rt

r
y1 (t )  e 1  y1 (t )  e t 1  y1 ( x)  x r1 ;
r t
  r
y 2 (t )  e 2  y 2 (t )  e t 2  y 2 ( x)  x r2
r r
Solución general: y ( x)  c1 x 1  c2 x 2 ; c1 , c2  R; x  0
2. Si la ecuación auxiliar tiene solución real repetida r , las soluciones linealmente independientes son las funciones:

y1 (t )  e rt  y1 (t )  e t r
 y1 ( x)  x 
r ;
r

y2 (t )  te rt  y2 (t )  et t  y2 ( x)  x r ln( x)
Solución general:
y( x)  c1 x r  c2 x r ln( x); c1 , c2  R; x  0
3. Si la ecuación auxiliar tiene soluciones complejas conjugadas: r21    i , las soluciones linealmente independientes son:
y (t )  et cos(t )  y ( x)  x  cos( ln( x)) ; y (t )  et sen (t )  y ( x)  x  sen( ln( x))
1 1 2 2
 
Solución general: y( x)  c1 x cos( ln( x))  c2 x sen( ln( x)); c1 , c2  R; x  0

Profesor: Antonio Chong Escobar, Ph.D.

Materia: Ecuaciones Diferenciales
 5
৺EDO LINEAL DE 2DO ORDEN NO HOMOGENEA
Es una ecuación cuya forma canónica está dada por: y' ' ( x)  p( x) y' ( x)  q( x) y( x)  g ( x) tal que g ( x)  0 .

TEOREMA 1
Si y1 ( x ) y y 2 ( x) son dos soluciones de la ecuación no homogénea: y ' ' ( x)  p ( x) y ' ( x)  q ( x) y ( x)  g ( x)
Entonces: “ y1 ( x)  y 2 ( x) ” es solución de la ecuación homogénea correspondiente: y ' ' ( x)  p( x) y ' ( x)  q( x) y ( x)  0 .

Demostración:
H1 : y1 ( x ) es solución de la ED no homogénea, esto es: y1 ' ' ( x)  p( x) y1 ' ( x)  q( x) y1 ( x)  g ( x)
H 2 : y 2 ( x) es solución de la ED no homogénea, esto es: y 2 ' ' ( x)  p( x) y 2 ' ( x)  q( x) y 2 ( x)  g ( x)
PD: “ y1 ( x)  y 2 ( x) ” es solución de la ED homogénea correspondiente.

Restando las ecuaciones de H1 y H 2 se obtiene:

 y1 ' ' ( x)  y 2 ' ' ( x)   p( x) y1 ' ( x)  p( x) y 2 ' ( x)  q( x) y1 ( x)  q( x) y 2 ( x)  g ( x)  g ( x)
Agrupando términos semejantes, se obtiene:  y1 ( x)  y 2 ( x) ' ' p( x) y1 ( x)  y 2 ( x) 'q( x) y1 ( x)  y 2 ( x)   0 ▀

TEOREMA 2
Dada una solución cualquiera y p (x) (denominada solución particular) de la ED no homogénea: y ' ' ( x)  p( x) y ' ( x)  q( x) y( x)  g ( x) ,
cualquiera de sus otras soluciones puede escribirse como: y( x)  y c ( x)  y p ( x) , tal que yc ( x)  c1Y1 ( x)  c2Y2 ( x), c1 , c2  es la
solución general de la ecuación homogénea correspondiente, denominada solución complementaria. Por lo tanto, y ( x)  yc ( x)  y p ( x)
es la solución general de la ecuación diferencial no homogénea.

Demostración: Por el teorema 1, si y1 ( x ) y y 2 ( x) son dos soluciones de la ecuación no homogénea, entonces y1 ( x)  y 2 ( x) es solución
de la ED homogénea correspondiente y por tanto igual a la combinación lineal de dos soluciones linealmente independientes de la ED
homogénea para algún par de constantes c1 , c2 , esto es: y1 ( x)  y2 ( x )  c1Y1 ( x)  c2Y2 ( x)
Si suponemos que y1 ( x ) es desconocida y la denominamos y(x) y además suponemos que y 2 ( x) es una solución conocida de la ED
no homogénea y se la denomina y p (x) , se obtiene: y ( x)  y p ( x)  c1Y1( x)  c2Y2 ( x)
Entonces, al despejar y (x) se obtiene: y ( x)  c1Y1 ( x)  c 2Y2 ( x)  y p ( x) ; y c ( x)  c1Y1 ( x)  c 2Y2 ( x)

PRINCIPIO DE SUPERPOSICION PARA EL TERMINO NO HOMOGENEO

Considere la EDO: y ' ' ( x)  p ( x) y ' ( x)  q ( x) y ( x)  g1 ( x)  ...  g n ( x)
Sea y ( x) la solución de la EDO: y' ' ( x)  p( x) y' ( x)  q( x) y( x)  g1 ( x)
p
1

Sea y p (x) la solución de la EDO: y ' ' ( x)  p ( x) y ' ( x)  q ( x) y ( x)  g n ( x) .
n
Entonces: y ( x)  y ( x)  y ( x)  ...  y ( x) es la solución de la EDO y ' ' ( x)  p( x) y ' ( x)  q( x) y ( x)  g1 ( x)  ...  g n ( x) .
p p p p
1 2 n

৺METODOS PARA HALLAR Ypx 

 Método de los coeficientes indeterminados

Solo se puede utilizar en EDO de coeficientes constantes: ay' 'by'cy  g x  cuyo término no homogéneo “ g x  ” sea de la forma:
Exponencial, polinomial, combinación lineal de senos y cosenos, combinación lineal o producto de los casos anteriores.

 Método de variación de parámetro (método general)

Profesor: Antonio Chong Escobar, Ph.D.

Materia: Ecuaciones Diferenciales
 6
৺METODO DE LOS COEFICIENTES INDETERMINADOS
Dada la EDO no homogénea: ay' 'by'cy  g x  tal que: a, b, c  R  a  0.
Sea S : el menor entero no negativo (positivo o cero) tal que cada término de la solución Yp x  es linealmente independiente a la
solución de la ED homogénea (solución complementaria).
Si g x  es: Se supone Ypx  de la forma:
 ? ? ? 
 ? ?
i) Polinomial: an x n  a x n1  ...  a x  a : ( An x n  An1 x n1    A1 x  A0 ) x S
n1 1 0
?
ii) Exponencial: aex : ( Aex ) x S
? ?
iii) combinación lineal de senos y cosenos: asenx   b cosx  : ( Asenx   B cosx ) x S

 
? ?  ? ?
iv) ex an x n  ...  a1 x  a0 : ( An x n  ...  A1 x  A0 )ex x S
? ?
v) e x
asenx  b cosx : ( Asenx   B cosx )ex x S
? ?
vi) Pn  x senx   Qm  x  cosx  : ( PN ( x)senx   QN ( x) cosx ) x S
tal que N  maxn, m
? ?
vii) ex
Pn xsenx  Qm xcosx : ( PN ( x) senx   QN ( x) cosx )ex x S

৺METODO DE VARIACION DE PARAMETROS

Es un método general para hallar la solución particular de una EDO lineal: y' ' ( x)  p( x) y' ( x)  q( x) y( x)  g ( x) , el cual puede
ser usado siempre que se conozca la solución complementaria ( y c ( x)  c1Y1 ( x)  c 2Y2 ( x) ) de la ecuación homogénea
correspondiente: y' ' ( x)  p( x) y' ( x)  q( x) y( x)  0 .
El método consiste en suponer la solución particular de la forma: y p ( x)  v1( x)Y1( x)  v2 ( x)Y2 ( x) tal que v1 , v2 son parámetros
variables (funciones) que deben hallarse y Y1( x),Y2 ( x) son las soluciones linealmente independientes de la solución complementaria.
Así, y p ' ( x)  v'1 Y1  v1Y '1 v'2 Y2  v2Y '2

y p ' ( x)  v1Y '1v2Y '2 v'1 Y1  v'2 Y2 

Se hace la suposición: v'1 Y1  v' 2 Y2  0 : 1era condición que deben satisfacer v1 ,v2 .
Por lo tanto: y ' p ( x)  v1Y '1 v 2Y ' 2  y ' ' p ( x)  v'1 Y '1 v1Y ' '1 v' 2 Y ' 2 v 2Y ' ' 2

Sustituyendo y p (x) , y ' p ( x) y y' ' p ( x) en la ED no homogénea se obtiene:

v'1 Y '1 v1Y ' '1 v' 2 Y ' 2 v 2Y ' ' 2  p( x)v1Y '1 v 2Y ' 2   q( x)v1Y1  v 2Y2   g ( x)
v1( x)Y ' '1  p( x)Y '1 q( x)Y1  v2 ( x)Y ' '2  p( x)Y '2 q( x)Y2   v'1 Y '1v'2 Y '2  g ( x)
     
0: y :solución 0: y :solución
1 2
de _ la:_ hom ogénea de _ la:_ hom ogénea
Entonces: v'1 Y '1v'2 Y '2  g ( x) : 2da condición que deben satisfacer v1 , v2 .
Por lo tanto, para que todas las suposiciones sean válidas, v1 ,v2 deben satisfacer el sistema:
 v' Y  v' Y  0  Y2   v'1   0 
 1 1 2 2  Representación matricial: Y1    
v'1 Y '1 v' 2 Y ' 2  g ( x) Y '1 Y '2  v'2   g ( x)
De esta manera, las soluciones del sistema (utilizando la regla de Cramer) son las siguientes:
0 Y2 Y1 0
 Y2 g ( x)  v 
 Y2 g ( x) Y g ( x)
1  dx ; v'  Y '1 g ( x)  Y1 g ( x)  v2   1
g ( x) Y '2 dx
v'1   2
Y1 Y2 W (Y1 , Y2 ) W (Y1 ,Y2 ) Y1 Y2 W (Y1 , Y2 ) W (Y1 ,Y2 )
Y '1 Y '2 Y '1 Y '2

Finalmente, la solución particular está dada por:  Y2 g ( x ) Y1 g ( x)

y p ( x)  Y1  W (Y dx  Y2  dx
1 , Y2 ) W (Y1 , Y2 )
Profesor: Antonio Chong Escobar, Ph.D.
Materia: Ecuaciones Diferenciales
 7
৺EDO LINEAL DE ORDEN SUPERIOR HOMOGENEA

y (n) ( x)  an1( x) y (n1) ( x)  an2 ( x) y (n2) ( x)  ...  a1( x) y' ( x)  a0 ( x) y( x)  0

y y ... yn
1 2
y ' y ' ... yn '
WRONSKIANO DE “n” FUNCIONES: 1 2
W ( y , y ,..., yn )  y ''
1
y ''
2
... yn ''
1 2

(n1) (n1) (n1)

y y ... yn
1 2
SOLUCION GENERAL
Si y1 , y 2 ,..., y n son soluciones de la ecuación diferencial ordinaria:

y (n) ( x)  an1( x) y (n 1) ( x)  an2 ( x) y (n2) ( x)  ...  a1( x) y' ( x)  a0 ( x) y( x)  0 tal que W ( y1 , y 2 ,..., y n )  0 , entonces

la solución general de la ED está dada por:

y ( x)  c1 y1( x)  c2 y2 ( x)  ...  cn yn ( x); c1, c2 ,..., cn  R

৺EDO LINEAL DE ORDEN SUPERIOR HOMOGENEA DE COEFICIENTES CONSTANTES

Es una ecuación de la forma: a n y ( n) ( x)  a n1 y ( n1) ( x)  a n2 y ( n2) ( x)  ...  a 2 y ' ' ( x)  a1 y ' ( x)  a0 y ( x)  0 ,
( n)
y( x)  e  y' ( x)  re  y ( x)  r e
rx n rx .
tal que a1,..., an  R
y an  0
. Se supone la solución de la forma: rx

Sustituyendo y(x) y sus derivadas en la ED, se obtiene: a n r n e rx  a n1r n 1e rx  ...  a 2 r 2 e rx  a1re rx  a 0 e rx  0

 
 e rx a n r n  a n1r n 1  ...  a 2 r 2  a1r  a 0  0 . Por lo tanto, la suposición es válida si los valores de “ r ” son las raíces de la
ecuación (auxiliar): anr n  an1r n 1  ...  a2r 2  a1r  a0  0
CASOS DE LA ECUACIÓN AUXILIAR
Caso 1: Si la ecuación auxiliar tiene soluciones reales distintas “ r1 ,..., rn ”, entonces debido a estas raíces se tienen “n” soluciones
rx r x
linealmente independientes de la forma: y1( x)  e 1   y n ( x)  e n
Caso 2: Si la ecuación auxiliar tiene alguna solución real repetida “ r ” de multiplicidad “m”, entonces debido a ésta raíz hay “m” soluciones
linealmente independientes de la forma: y1( x)  erx  y 2 ( x)  xe rx   y m ( x)  x m1e rx
Caso 3: Si la ecuación auxiliar tiene alguna solución compleja conjugada: r21    i de multiplicidad “m”, entonces debido a ésta raíz
existen “2m” soluciones linealmente independientes de la forma: y11 ( x)  ex cos(x) ; y12 ( x)  ex sen(x)
y21 ( x)  xex cos(x) ; y 22 ( x)  xex sen(x)
 
y m1 ( x)  x m1ex cos(x) ; y m 2 ( x)  x m1ex sen(x)

৺EDO LINEAL DE ORDEN SUPERIOR NO HOMOGENEA

Sea y p (x) una solución particular de la ED no homogénea: y ( n)  an1 ( x) y ( n1)  an2 ( x) y ( n2)  ...  a1 ( x) y'a0 ( x) y  g ( x) , g ( x)  0 .
Sea y1 , y 2 ,..., y n un conjunto fundamental de soluciones en cierto intervalo I para la correspondiente ED homogénea:

y (n)  an1( x) y (n1)  an 2 ( x) y (n 2)  ...  a1( x) y'a0 ( x) y  0

Entonces la solución general de la ecuación no homogénea se puede expresar de la forma:
y ( x)  c1 y1 ( x)  ...  c n y n ( x)  y p ( x); c1 ,..., c n  R
Método de los coeficientes indeterminados (Para hallar y p (x) )
Se aplica bajo las mismas condiciones planteadas en las ED de 2do orden.
Método de Variación de parámetros (Para hallar y p (x) )

Sea y1 , y 2 ,..., y n  una base de la ED homogénea: y (n)  an 1( x) y ( n 1)  an  2 ( x) y (n  2)  ...  a1( x) y'a0 ( x) y  0

Profesor: Antonio Chong Escobar, Ph.D.

Materia: Ecuaciones Diferenciales
 8
Entonces la solución particular de la ED no homogénea: y (n)  an 1( x) y (n 1)  an  2 ( x) y (n  2)  ...  a1( x) y'a0 ( x) y  g ( x) tiene la
forma: y ( x)  v ( x) y ( x)  v ( x) y ( x)  ...  v ( x) y ( x) tal que v1 ( x), v 2 ( x),..., v n ( x) son parámetros (funciones) que deben ser
p 1 1 2 2 n n
hallados y que deben satisfacer el siguiente sistema de ecuaciones:

 y1v1' y2v2 '...  ynvn '   y1

0 y2 ... y n   v1 '   0 
  y '
 y1' v1' y2 ' v2 '...  yn ' vn '  0 y 2' ... y n '  v 2 '   0  Por lo tanto:
Matricialmente:   
1
 y ' ' v
1 1 2 2 ' y ' ' v '...  y '
n n' v '  0   y1 ' ' y2 ' ' ... y n ' '  v3 '    0 
     
           
 (n 1)
 y1 v1' y2(n 1)v2 '...  yn(n 1)vn '  g ( x)  y1(n1) y 2 (n1) ... y n ( n 1)    
 v n '   g ( x)

0 y2 ... yn y1 0 ... yn y1 y2 ... 0

0 y2 ' ... yn ' y1' 0 ... yn ' y1 ' y2 ' ... 0
0 y2 ' ' ... yn ' ' y1' ' 0 ... yn ' ' y1 ' ' y2 ' ' ... 0
; ;…;
        
g ( x) y2(n 1) ... yn(n 1) y1( n 1) g ( x) ... yn( n 1) y1( n 1) y2 ( n 1) ... g ( x)
v'1 ( x)  v '2 ( x )  v 'n ( x ) 
y1 y2 ... yn y1 y2 ... yn y1 y2 ... yn
y1' y2 ' ... yn ' y1' y2 ' ... yn ' y1 ' y2 ' ... yn '
y1' ' y2 ' ' ... yn ' ' y1' ' y2 ' ' ... yn ' ' y1 ' ' y2 ' ' ... yn ' '
        
y1( n 1) y2( n 1) ... yn(n 1) y1( n 1) y2( n 1) ... yn( n 1) y1( n 1) y2 ( n 1)
... yn ( n 1)

v1 ( x)   v'1 ( x)dx ; v 2 ( x)   v' 2 ( x)dx ; … ; v n ( x)   v' n ( x)dx

Finalmente, y p ( x)  y1 ( x) v'1 ( x)dx  y2 ( x)  v'2 ( x)dx    yn ( x) v'n ( x)dx

৺ECUACION DE CAUCHY-EULER DE ORDEN SUPERIOR

Es una ED de la forma: a x n y (n)  a x n 1 y (n 1)  ...  a x3 y' ' 'a x 2 y' 'a xy'a y  0 .
n n 1 3 2 1 0
tal que: a1 , a 2 ,..., a n  R y a n  0 . Se transformar en una ED de coeficientes constantes utilizando la sustitución: x  et .

Ecuación de Cauchy- Euler de 3er orden: a3 x3 y' ' 'a2 x 2 y' 'a1xy'a0 y  0
 d 2 y dy 
Sustitución: x  et  t  ln(x)  dt  1  1  e  t . Además: y ' ( x)  et dy ; y ' ' ( x)  e  2t   
dx x t dt  dt 2 dt 
e  
  d 2 y dy  
d  e  2t   
  dt 2 dt  
d  y ' ' ( x)  d ( y ' ' ( x)) dt   d3y d 2y 
  ddt2y  dydt et  e d3y dy 
2
    dt d2y
y ' ' ' ( x)     e  2t      2e  2t  3t
 3 3 2 2 
dx dt dx dt dx   dt 3 dt 2   dt dt 
     dt

Al sustituir: x ; y ' ( x) ; y ' ' ( x) ; y' ' ' ( x) en la ED de Cauchy-Euler se obtiene:

 


d3y
a3 e3t  e3t 
3
3
d2y
2
dy  



 d 2 y dy  
 2    a2 e2t  e 2t 
 2

 
dy 
    a1 et  et   a0 y  0
   dt 

  dt dt dt 
   dt dt 

d3y d2y dy   d 2 y dy  d3y d2y
 a 2  3a3   2a3  a 2  a1   a0 y  0
dy dy
a3  3  2   a2     a1  a0 y  0  a3
 dt
3 2 dt   2 dt  dt 3 2 dt
dt  dt  dt dt

Por lo tanto, la ecuación auxiliar es: a3r 3  a2  3a3 r 2  2a3  a2  a1 r  a0  0

Profesor: Antonio Chong Escobar, Ph.D.

Materia: Ecuaciones Diferenciales
 9
SERIES DE POTENCIAS (SP) (REPASO)
Una serie de potencias alrededor de “(𝑥 − 0)” tiene la forma: ∑∞ 𝑛 2 3
𝑛=0 𝑎𝑛 𝑥 = 𝑎0 + 𝑎1 𝑥 + 𝑎2 𝑥 + 𝑎3 𝑥 +. ..
Una serie de potencias alrededor de “(𝑥 − 𝑐)”, tal que 𝑐 ∈ 𝑅 tiene la forma:
∑∞ 𝑛 2 3
𝑛=0 𝑎𝑛 (𝑥 − 𝑐) = 𝑎0 + 𝑎1 (𝑥 − 𝑐) + 𝑎2 (𝑥 − 𝑐) + 𝑎3 (𝑥 − 𝑐) +. ..
Al reemplazar la variable "𝑥" de una SP por una constante, se obtiene una serie numérica.
𝑛2 𝑛2
Ejemplo: ∑∞
𝑛=0 (𝑥 − 1)𝑛 : es una SP, pero al sustituir 𝑥 = 3: ∑∞
𝑛=0 (2)𝑛 : se obtiene una serie numérica.
𝑛! 𝑛!

INTERVALO DE CONVERGENCIA DE LA SERIE DE POTENCIAS (IC)

Una serie de potencias es una función de una variable independiente "𝑥": 𝑓(𝑥) = ∑∞ 𝑛
𝑛=0 𝑎𝑛 (𝑥 − 𝑐) , tal que su dominio
es el conjunto de valores de "𝑥" para los cuales la serie de potencias de convierte en una serie numérica convergente.
Por ello, el dominio se denomina intervalo de convergencia.
Toda serie de potencias converge en su centro 𝑥 = 𝑐, puesto que:
𝑓(𝑥) = ∑∞ 𝑛 2 3
𝑛=0 𝑎𝑛 (𝑥 − 𝑐) = 𝑎0 + 𝑎1 (𝑥 − 𝑐) + 𝑎2 (𝑥 − 𝑐) + 𝑎3 (𝑥 − 𝑐) +. ..
2 3
𝑓(𝑐) = 𝑎0 + 𝑎1 (𝑐 − 𝑐) + 𝑎2 (𝑐 − 𝑐) + 𝑎3 (𝑐 − 𝑐) + ⋯
𝑓(𝑐) = 𝑎0 : finito: convergente. Así, 𝑥 = 𝑐 siempre pertenece al intervalo de convergencia.
POSIBLES INTERVALOS DE CONVERGENCIA (IC) Y RADIOS DE CONVERGENCIA (R)
Para hallar el intervalo de convergencia se utiliza alguno de los criterios de convergencia absoluta para series
numéricas, siendo el criterio del cociente absoluto el más adecuado.
CASO 1: Si la serie converge sólo en su centro 𝑥 = 𝑐, entonces 𝐼𝐶 = {𝑐} 𝑦 𝑅 = 0.
CASO 2: Si la serie converge para todos los reales, entonces 𝐼𝐶 = (−∞, ∞) 𝑦 𝑅 = ∞.
CASO 3: Si la serie converge para algún intervalo |𝑥 − 𝑐| < 𝑅, entonces 𝐼𝐶 =

“Para analizar la convergencia en los extremos del IC en el caso 3 se debe reemplazar cada uno de éstos valores
extremos en la serie de potencias y analizar si la serie numérica obtenida converge o diverge”.

DERIVACION E INTEGRACION DE SERIES DE POTENCIAS

Sea la función: 𝑆(𝑥) = ∑∞ 𝑛 2 3
𝑛=0 𝑎𝑛 𝑥 = 𝑎0 + 𝑎1 𝑥 + 𝑎2 𝑥 + 𝑎3 𝑥 +. .. , entonces:
𝑆 ′ (𝑥) = 𝐷𝑥 (∑∞ 𝑛 ∞ 𝑛 ∞
𝑛=0 𝑎𝑛 𝑥 ) = ∑𝑛=1(𝑎𝑛 𝐷𝑥 (𝑥 )) = ∑𝑛=1(𝑛𝑎𝑛 𝑥
𝑛−1 )
= 𝑎1 + 2𝑎2 𝑥 + 3𝑎3 𝑥 2 +. ..
𝑆 ′′ (𝑥) = 𝐷𝑥 (∑∞
𝑛=1(𝑛𝑎𝑛 𝑥
𝑛−1 ))
= ∑∞
𝑛=2(𝑛𝑎𝑛 𝐷𝑥 (𝑥
𝑛−1
)) = ∑∞
𝑛=2(𝑛(𝑛 − 1)𝑎𝑛 𝑥
𝑛−2 )
= 2𝑎2 𝑥 + 6𝑎3 𝑥+. ..
𝑥 𝑛+1 𝑥2 𝑥3
∫ 𝑆(𝑥)𝑑𝑥 = ∫(∑∞ 𝑛 ∞ 𝑛 𝑛 ∞
𝑛=0 𝑎𝑛 𝑥 )𝑑𝑥 = ∑𝑛=0(𝑎 ∫ 𝑥 𝑑𝑥) = ∑𝑛=𝑜 (𝑎𝑛 𝑛+1
) = 𝑎0 𝑥 + 𝑎1 2
+ 𝑎2 3
+. ..

INDICE DE SUMA DE UNA SERIE

El índice de suma de una serie infinita es un parámetro ficticio, en la misma forma que la variable de integración en
una integral definida es una variable ficticia. Por tanto, la letra que se utilice para el índice de suma es irrelevante. Por
2𝑛 𝑥 𝑛
∞ 2𝑖 𝑥 𝑖
ejemplo: ∑∞
𝑛=0 𝑛! = ∑𝑖=0 𝑖!
DESPLAZAMIENTO DEL INDICE DE SUMA
2𝑛 𝑥 𝑛 2𝑚−3 𝑥 𝑚−3 2𝑛−3 𝑥 𝑛−3
Ejemplo: Si para ∑∞
𝑛=0 se aplica 𝑚 = 𝑛 + 3, entonces se obtiene ∑∞
𝑚=3 = ∑∞
𝑛=3
𝑛! (𝑚−3)! (𝑛−3)!
DESARROLLO DE TERMINOS INICIALES
2𝑛 𝑥 𝑛 2𝑛 𝑥 𝑛
Ejemplo: ∑∞
𝑛=0 = ⏟
1 + 2𝑥 ⏟2 + ∑∞
⏟ + 2𝑥 𝑛=3
𝑛! 𝑛!
𝑛=0 𝑛=1 𝑛=2

LISTA BASICA DE SERIES DE POTENCIAS

𝑎 𝑥 2𝑛+1
1) 𝑓(𝑥) = = ∑∞ 𝑛
𝑛=0 𝑎𝑟 ; |𝑟| < 1 6) 𝑓(𝑥 = 𝑠𝑒𝑛ℎ(𝑥) = ∑∞
𝑛=0 (2𝑛+1)! ; 𝑥 ∈ ℝ
1−𝑟
1
2) 𝑓(𝑥) = = ∑∞ 𝑛 𝑛
𝑛=0(−1) (𝑥 − 1) ; 0 < 𝑥 < 2 (−1)𝑛𝑥 2𝑛
𝑥
𝑛 𝑛+1
7) 𝑓(𝑥) = 𝑐𝑜𝑠(𝑥) = ∑∞
𝑛=0 (2𝑛)!
;𝑥 ∈ ℝ
(−1) (𝑥−1)
3) 𝑓(𝑥) = ln(𝑥) = ∑∞
𝑛=0 ;0 < 𝑥 ≤2 𝑥 2𝑛
𝑛+1 8) 𝑓(𝑥) = 𝑐𝑜𝑠ℎ(𝑥) = ∑∞
𝑛=0 (2𝑛)! ; 𝑥 ∈ ℝ
𝑥 ∞ 𝑥𝑛
4) 𝑓(𝑥) = 𝑒 = ∑𝑛=0 ; 𝑥 ∈ ℝ (−1)𝑛𝑥 2𝑛+1
𝑛!
(−1)𝑛𝑥 2𝑛+1
9) 𝑓(𝑥) = tan−1 (𝑥) = ∑∞
𝑛=0 (2𝑛+1)
; −1 ≤ 𝑥 ≤ 1
5) 𝑓(𝑥) = 𝑠𝑒𝑛(𝑥) = ∑∞𝑛=0 (2𝑛+1)! ; 𝑥 ∈ ℝ (2𝑛)!(𝑥)2𝑛+1
10) 𝑓(𝑥) = sen−1 (𝑥) = ∑∞
𝑛=0 (2𝑛 ; −1 ≤
𝑛!)2 (2𝑛+1)!
𝑥≤1

Profesor: Antonio Chong Escobar, Ph.D.

Materia: Ecuaciones Diferenciales
RESOLUCION DE EDO UTILIZANDO SERIE DE POTENCIAS
Se consideran las EDO lineales de 2do orden de la forma:
𝑃(𝑥)𝑦 ′′ (𝑥) + 𝑄(𝑥)𝑦 ′ (𝑥) + 𝑅(𝑥)𝑦(𝑥) = 𝐺(𝑥)
10
Una gran cantidad de problemas de la física matemática nos llevan a ecuaciones de la forma:
𝑃(𝑥)𝑦 ′′ (𝑥) + 𝑄(𝑥)𝑦 ′ (𝑥) + 𝑅(𝑥)𝑦(𝑥) = 0.
Como ejemplos se pueden citar:
La ecuación de Bessel (de orden 𝑣): 𝑥 2 𝑦 ′′ + 𝑥𝑦 ′ + (𝑥 2 − 𝑣 2 )𝑦 = 0 donde 𝑣 ∈ ℝ.
La ecuación de Legendre: (1 − 𝑥 2 )𝑦 ′′ − 2𝑥𝑦 ′ + 𝛼(𝛼 + 1)𝑦 = 0 donde 𝛼 ∈ ℝ.
La ecuación de Hermite: 𝑦 ′′ − 2𝑥𝑦 ′ + 𝜆𝑦 = 0 donde 𝜆 ∈ ℝ.
2 ′′ ′ 2
La ecuación de Chebyshev: (1 − 𝑥 )𝑦 − 𝑥𝑦 + 𝛼 𝑦 = 0 donde 𝛼 ∈ ℝ.
CASOS
Considerando 𝑃(𝑥), 𝑄(𝑥), 𝑅(𝑥), y 𝐺(𝑥) de forma polinomial:
1) Un punto 𝑥0 tal que 𝑃(𝑥0 ) ≠ 0 se denomina punto ordinario. Dado que 𝑃(𝑥) es continua, existe un
intervalo alrededor de 𝑥0 en el que 𝑃(𝑥) nunca es cero. En dicho intervalo es factible dividir para 𝑃(𝑥) a
la ecuación:
𝑃(𝑥)𝑦 ′′ (𝑥) + 𝑄(𝑥)𝑦 ′ (𝑥) + 𝑅(𝑥)𝑦(𝑥) = 𝐺(𝑥),
con lo cual se obtiene:
𝑄(𝑥) 𝑅(𝑥) 𝐺(𝑥)
𝑦 ′′ + 𝑦′ + 𝑦= ,
⏟
𝑃(𝑥) ⏟
𝑃(𝑥) ⏟
𝑃(𝑥)
𝑝(𝑥) 𝑞(𝑥) 𝑔(𝑥)
tal que 𝑝(𝑥) y 𝑞(𝑥) son continuas, por lo que, según el teorema de existencia y unicidad, en ese intervalo
existe una solución única para la ED que satisface condiciones iniciales 𝑦(𝑥0 ) = 𝑦0 , 𝑦 ′ (𝑥0 ) = 𝑦′0 , para
valores arbitrarios de 𝑦0 , 𝑦0′ .
Alrededor de un punto ordinario se buscan soluciones de la forma:
?
𝑦(𝑥) = ∑∞ ⏞𝑛 (𝑥 − 𝑥0 )𝑛 = 𝑎0 + 𝑎1 (𝑥 − 𝑐) + 𝑎2 (𝑥 − 𝑐)2 + ⋯ ,
𝑛=0 𝑎
=𝑎⏟0 𝑦1 (𝑥) + 𝑎⏟1 𝑦2 (𝑥); 𝑐1 , 𝑐2 ∈ ℝ
𝑐1 𝑐2
tal que se supone que la serie converge en un intervalo de la forma |𝑥 − 𝑥0 | < 𝛿 para algún 𝛿 > 0.

2) Un punto 𝑥0 tal que 𝑃(𝑥0 ) = 0 se denomina punto singular. En este caso, 𝑄(𝑥0 ) ≠ 0 o 𝑅(𝑥0 ) ≠ 0 y al
menos uno de los coeficientes 𝑝(𝑥) o 𝑞(𝑥)de la ecuación de forma canónica se vuelve no acotado
(discontinuo) cuando 𝑥 se acerca a 𝑥0 . Por lo tanto, el teorema de existencia y unicidad no es aplicable
en este caso, y se utiliza la teoría de Frobenious.

Profesor: Antonio Chong Escobar, Ph.D.

Materia: Ecuaciones Diferenciales
TEORIA DE FROBENIOUS
Esta teoría hace uso de desarrollos en series de potencias alrededor de puntos singulares regulares.
Dada la ecuación diferencial ordinaria:


′′
𝑃(𝑥)𝑦 + 𝑄(𝑥)𝑦′ + 𝑅(𝑥)𝑦 = 0
Se dice que un punto singular 𝑥0 es regular si:
11
(𝑥−𝑥0 )𝑄(𝑥)
1) lim existe y es finito := 𝑓0
𝑥→𝑥0 𝑃(𝑥)
(𝑥−𝑥0 )2 𝑅(𝑥)
2) lim existe y es finito := 𝑔0
𝑥→𝑥0 𝑃(𝑥)
 Cualquier punto singular que no sea regular se conoce como punto singular irregular.

SOLUCIONES
Alrededor de un punto singular regular se buscan soluciones linealmente independientes de la forma:
?
𝑦1 (𝑥) = (𝑥 − 𝑥0 )𝑟1 ∑∞
𝑛=0 𝑎𝑛 (𝑥 − 𝑥0 )𝑛 = ∞
⏞𝑛 (𝑥 − 𝑥0 )𝑛+𝑟1
∑𝑛=0 𝑎
?
𝑦2 (𝑥) = (𝑥 − 𝑥0 )𝑟2 ∑∞ 𝑛
𝑛=0 𝑏𝑛 (𝑥 − 𝑥0 ) =
∞ ⏞
∑𝑛=0 𝑏𝑛 (𝑥 − 𝑥0 )𝑛+𝑟2

Para esto, primero se hace la suposición de que la solución tiene la forma:

?
𝑦(𝑥) = (𝑥 − 𝑥0 )𝑟 ∑∞
𝑛=0 𝑎𝑛 (𝑥 − 𝑥0 )𝑛 = ∞
∑𝑛=0 𝑎
⏞𝑛 (𝑥 − 𝑥0 )𝑛+𝑟

Luego, se deduce una ecuación cuadrática para 𝑟 (llamada ecuación indicial). Una vez hallados los valores
de 𝑟 se plantean las soluciones 𝑦1 (𝑥) y 𝑦2 (𝑥), para las cuales se debe encontrar los coeficientes 𝑎𝑛 y 𝑏𝑛 ,
respectivamente.

Así, la solución general de la EDO está dada por:

⏟0 𝑦1 (𝑥) + 𝑏⏟0 𝑦2 (𝑥); 𝑐1 , 𝑐2 ∈ 𝑅

𝑦(𝑥) = 𝑎
𝑐1 𝑐2

Se puede demostrar que la ecuación indicial tiene la forma: 𝑟(𝑟 − 1) + 𝑓0 𝑟 + 𝑔0 = 0

CASO I. Si se tienen dos raíces reales 𝑟1 ≠ 𝑟2 que no difieren de un entero, esto es:(𝑟1 − 𝑟2 ) ∉ ℤ:
∞ ∞

𝑦1 (𝑥) = ∑ 𝑎𝑛 (𝑥 − 𝑥0 )𝑛+𝑟1 ; 𝑦2 (𝑥) = ∑ 𝑏𝑛 (𝑥 − 𝑥0 )𝑛+𝑟2

𝑛=0 𝑛=0
CASO II. Si tiene raíces iguales: 𝑟1 = 𝑟2 = 𝑟 (multiplicidad: 2):
∞ ∞

𝑦1 (𝑥) = ∑ 𝑎𝑛 (𝑥 − 𝑥0 )𝑛+𝑟 ; 𝑦2 (𝑥) = 𝑦1 (𝑥) ln(𝑥 − 𝑥0 ) + ∑ 𝑏𝑛 (𝑥 − 𝑥0 )𝑛+𝑟

𝑛=0 𝑛=1

CASO III. Si se tienen dos raíces reales 𝑟1 ≠ 𝑟2 que difieren por un entero, esto es: (𝑟1 − 𝑟2 ) ∈ ℤ:
∞ ∞

𝑦1 (𝑥) = ∑ 𝑎𝑛 (𝑥 − 𝑥0 )𝑛+𝑟1 ; 𝑦2 (𝑥) = 𝑎𝑦1 (𝑥) ln(𝑥 − 𝑥0 ) + ∑ 𝑏𝑛 (𝑥 − 𝑥0 )𝑛+𝑟2

𝑛=0 𝑛=0
OBSERVACIÓN: Si la primera solución obtenida se puede expresar en términos de alguna de las series de
potencias de la lista básica, entonces para hallar la segunda solución se puede utilizar el método de
reducción de orden o el teorema de Abel.
Profesor: Antonio Chong Escobar, Ph.D.
Materia: Ecuaciones Diferenciales