MÉTODO DE LAS SERIES DE TAYLOR PARA RESOLVER ECUACIONES

DIFERENCIALES LINEALES Y NO LINEALES

La serie de Taylor, es de gran valor en el estudio de los métodos numéricos. En

esencia, la serie de Taylor proporciona un medio para predecir el valor de una
función en un punto en términos del valor de la función y sus derivadas en otro
punto. En particular, el teorema establece que cualquier función suave puede
aproximarse por un polinomio

El método de las series de Taylor para obtener soluciones numéricas de las

ecuaciones diferenciales, consiste en calcular las derivadas sucesivas de la ecuación
diferencial dada, evaluando las derivadas en el punto
inicial x0 y reemplazando el

suponer una solución en la forma

S.P
yx    a x  x n 0
. Esta ecuación

n
n0

se deriva tantas veces como sea necesario para obtener expresiones en serie de
todas las derivadas que aparecen en la ecuación diferencial y se reemplazan en la
ecuación diferencial dada para obtener los coeficientes an . La dificultad de este
método es la manipulación de las series que se puedan necesitar y la obtención de
los coeficientes de las series.

Pero los métodos son esencialmente los mismos. En efecto, los coeficientes que
aparecen en la serie de potencias, an y los coeficientes en el método de Taylor ,
ynx 0 yn x 0 
vienen relacionados por la formula an  . La solución por el
n! n  n!

y x 
método de Taylor viene dada por y(x) 
 n!
0
x  x0 n S.T .
n0

1
En el libro de ecuaciones diferenciales [1] utilizan ambos métodos para resolver
el siguiente problema de valor inicial:

Ejemplo 1. Resolver el problema de valor inicial

dy 2
 e x y(0)  1 1.1
,
Solución.
dx

Observar que la solución de (1.1) se puede escribir como x

yx  1 

2
e t dt.
0
Ya que no hay funciones elementales para calcular la integral anterior, por lo tanto
no se podría escribir la solución en forma cerrada y por consiguiente tendríamos
que conformarnos con alguna aproximación numérica.

Apliquemos inicialmente el método de Taylor. Para esto debemos calcular las

derivadas sucesivas y evaluándolas en x  0 para obtener:
 y x   2xe  x ;
2

y0  0
 
yx   4x 2  2 e x ;
2

y0  2
y  x    8x  12x e
2
x
iv 3
; yiv 0  0
y x   16x  48x 
v 4 2
y v 0  12
12e ;
2
x

Notando que y(0)  y 0 0  1 y(0)  0 y reemplazando en la ecuación (S.T) se

y
obtiene la solución
3 5
x x
      
y(x) 1 x 1.2
3 L
10
Ahora supongamos que la ecuación (1.1) tiene una solución en serie de potencias

1.3
yx   a x n
n

.
n0

haciendo
x  0 en la ecuación (1.3) e imponiendo la condición inicial se obtiene
u(0)  1  a0 . Diferenciando la ecuación (1.3), obtenemos
 

y x    na x   n  1a
n
n1
n1
1.4
xn .
n1 n0

Ya que e 
x
x n
/
n!,
n0 
 1n x 1.5
2n
e x 
2

n!
 n0

Reemplazando (1.4) y (1.5) en (1.1), encontramos

 
1n x 2n
y  x    na x  
n1
n
n1

n0
n!
.

o en forma equivalente 2
a 2a2 3a3 x
x
 x 4
1L
x2
2 6
x
 4a4 x  5a5 x 
3  4  L
6

Igualando los coeficientes de potencias iguales, encontramos

a1  1, 1 1
a2  0, a   , a  0, a  , a  0, L
6
3
3
4 5
10
En general, se tiene

a2n  0
 1
2n1

a2n1  n  1,2,3,L
2n 1n
1!

De acuerdo con lo anterior, se tiene que la solución en series de potencias viene

dada por


1n x 2n1
y(x)  1   n0
2n  1n!

La serie converge para todo x real. (criterio de la razón).

Según el autor, debe ser obvio que es más fácil obtener valores adicionales de los

coeficientes de la serie utilizando el método de los coeficientes indetermina-dos,

que utilizando el método de las series de Taylor. En consecuencia, dice el autor,

usualmente se empleará el método de los coeficientes indeterminados, descartando

entonces el método de las series de Taylor.

Pero si seguimos trabajando un poco en el ejemplo anterior, por el método de

series de Taylor, tenemos

y x   2xe  x ;
2

y0  0
2!
y x   4x 2  2 e x y0  2  
2

; 1!

y iv x    8x 3  12x e  x ;
2

yiv 0  0
12 * 2 4!
y v x   16x 4  48x 2  y v 0  12  
12e x ;
2

2 2!
y vi x   120x  160x 3  32x 5
y vi 0  0
e
2
x
;
12 * 6 6!
y vii x   120  720x 2  480x 4  64x 6 e  x ; y vii 0  120  
2

6 3!

Se observa la siguiente ley de formación:  2n1

y n12n
 1
y 2n   0 ,
  1 !
n 1 !

n  1,2,3,L

En consecuencia, se tiene los coeficientes

 y 2n 
a2n  0,
2n!2n1
a2n1 
y
  1 n1 2n  1!
n  1,2,3,L
2n 1! 2n 1!n 1!

O bien,

a2n  0 ,

a 2n1  1
2n 1! 2 n  2 !
  1
n1 n1

2n 1!n 2n 12n  2!n 1!

 1!
1
 1
n1

2n 1!n
1!
Nuevamente se obtiene la solución encontrada por series de potencias:


1n x 2n1 .
y(x)  1   n0
2n  1n!

En conclusión, el ejemplo para mostrar que el método de la series de Taylor no

produce la misma calidad de las soluciones, no es válido. Es más, el autor dice que
el método de Taylor se adapta fácilmente a problemas de valor inicial, lo cual, como
veremos más adelante, el método funciona si lo que se quiere resolver es una
ecuación diferencial sin condiciones iniciales, con la misma calidad de las soluciones
que el método de las series de potencias.

1. Solución en series de Taylor alrededor de un punto

ordinario
Las ecuaciones diferenciales homogéneas lineales de segundo orden de la forma
 2
y
 d
   dy   
P0 x dx2 P1 x P2 x y 0, 1

donde
P0 , y P2 son polinomios. Dichas ecuaciones aparecen en muchas
P1
aplicaciones físicas. Algunos ejemplos de estas ecuaciones son:
2
Ecuación de Legendre:

Ecuación de Airy: dy
1 2
 d 2 y 2x    1  0, 2
  y
x 2
dx dx

d2y
 x  0,
y
 3
dx2

Ecuación de Chebyshev:

dy
1 2
x 2 d 2y  x    0,
2
 y dx
4
dx

Ecuación de Hermite:

d2y dy
 2x    
2 y 0, 5
dx 2
dx

La solución de esas ecuaciones, en general, no pueden expresarse en términos de

funciones elementales familiares. Por lo cual utilizaremos los polinomios de Taylor.

Definición (punto ordinario) Supongamos que

P0 , y P2 no tienen factores
P1
comunes. Decimos que
x0 es un punto ordinario de (1) si P0 x0   , o es un
0
punto singular si
P0  x 0   0 .

Para la ecuación de Legendre (2),

x0  1 x0  1 son puntos singulares y todos
y
los otros puntos son puntos ordinarios.

Para la ecuación de Airy (3), todo punto es ordinario.

Necesitaremos el próximo teorema.

Si x  x0 es un punto ordinario de la ecuación diferencial

y   x   P 1 x y   P 2 x y  0

Se pueden encontrar siempre dos soluciones linealmente independientes en la

forma de series de Taylor centradas en x  x0

y n 0


y x    n0
x x0
n! 
Una solución en series de Taylor converge al menos para
x  x0  R , donde R es la
distancia de x0 al punto singular más cercano (real o complejo), en tal ca-so se

dice que la solución

yx es una solución alrededor del punto ordinario x0

Problema: Encontrar las soluciones en serie de potencias en

x para
ecuaciones de la forma x0

1  x  x   d 2
2
y
 x x  dy  y  0. 6

0
dx 2 
 0
dx
forma
Muchas ecuaciones importantes que aparecen en aplicaciones son de esta
con x0  , incluso la ecuación de Legendre (2) , la ecuación de Ayry (3), la
0
ecuación de Chebyshev (3), y la ecuación de Hermite (5 ).

En el ejemplo siguiente se dará la solución en series de Taylor para la ecuación (6),

la cual la haremos, sin pérdida de generalidad para el caso x0  0 .
El ejemplo resultará ilustrativo, ya que mostrará como trabajar en todos los casos.

Ejemplo 2. Encuentre la serie de potencias en x para la solución general de

2
d y dy
1  2
 x  y0 2.1
x  
Solución: dx2 dx

Buscamos la solución general de la forma

 

2.2
yx   
x
a
n
n0
n

donde

y n 0
an  , n  0, 1, … y a0  y0 c0 , a1  y0 c1 .
n!  

Para encontrar el coeficiente a2

, hacemos x  0 en (2.1) y reemplazamos los
valores de
a0  c0 , a1  c1 :

esto es,

y 0   y(0)  0  y0   y(0)   c0

y 0 
luego se tiene que a2   c0 .
2! 2!

Ahora para obtener los coeficientes

ai , i  3, 4,…, deberemos derivar
implícitamente con respecto a x la ecuación (2.1) n veces, y sustituir los valores
encontrados de los anteriores.
ai

Al derivar la ecuación (2.1) implícitamente con respecto a x, se obtiene:

   d
3 2
y d y dy
        
2


1 x 2 2.3
dx3 x 0
dx 2
dx
Haciendo x  0 y reemplazando los valores de y0, y0, y 0 en (3) se tiene:

y0    y(0)  0  y0      y(0)     c1

y0    
Luego se encuentra que a   c1 .
3
3! 3!

Obtengamos ahora
ecuación (2.3): a4 , para
3 4
lo cual derivamos implícitamente con respecto a x la
2
d y 2 d y d y


      d y d y
    3      2 
0
2 x 3 1 x 2 2 x
 

4 dx2
dx dx dx2 dx3
o bien, organizando:
    d
4 3 2
y d y d y
    
2
 
  
 
1 x 4 0 2.4
dx4 x 3
2 2 dx2
dx
Haciendo
tiene: x  0 y reemplazando los valores de y0, y0, y 0, y0 en (2.4) se
 yiv 0 2  2   y (0)  0  y0  2  2   y (0)   2  2   c
0

Luego se encuentra que

a4  y 0  2  2   c .
iv

4!   0

4!

Continuando el proceso, se obtiene la fórmula siguiente:

y n2 0  nn  1  n   y n (0) n  0,1,2,… 2.5

,
Llamando

Pn  nn 1 n   ,

n  0,1,2,…
Se tiene lo siguiente:

Pn Pn
an 2 y n 2 0   y n (0)  y n Pn
n  2! (n  2)(n (0)   (n  2)(n 1) a n
  1) n!
(n  2)!

Obtenemos la fórmula recursiva de los coeficientes

ai , i  0,1, 2,…

an2  
n  P2nn 1 a , n  0, 1, … 2.6
n

La fórmula (2.6) coincide con la fórmula dada en [1] .

Así, la solución general de (2.1) es dada por


k 
 x 2k
 1  1k x 2k 1
1 k 1
 2i 

P2i 1
k
y(x)
  c0 P  c1
   2k 1!
k 0
i 0  2k k 0
i 0

!
Ejercicio.

Ejemplo 3. Encuentre la serie en series de potencias en x para la solución general

de

dy
1 2 2
 d2y 6x 2 0. 3.1
x dx2  y dx

Solución:
La ecuación tiene la forma de (3.1), reconocemos
  2,   y  2.
6

Por un lado encontremos el polinomio

P(n) :

P n   2nn 1  6n  2  2n  1

2
Utilizando la formula recursiva (2.6) , se tiene

a0  c0 ,
a1  c1 ,

an2 (n 1)

, 2 a n  0, 1, L
 n  2 n

Determinemos los coeficientes de potencias pares de x:

1
a2  2 a 0  1c ,
 2 1
0
 3 
a  2  3  1.3
a 1    c0 ,
  c   0 1.2
4
2 4 2 1
 5    
a  2  5  1.3 1.3.5
a    c ,
  c   0 0
6 4
6  3 1.2 1.2.3
7 
a  2  7  1.3.5 1.3.5.7
a     c
  c
68 
8 4  1.2.3.4 0
1.2.3
0

    
Observando la ley de formación de los coeficientes, se tiene en general,
k

 2i  1
1
a2 k  c0 , k  0, 1, (3.2)
k i 1 L.
k!
Ahora determinemos los coeficientes de las potencias impares de x:
2 1
a  2 a  4 c ,
3   1   1
 34   3
a  2 1.2
a  2   1  42 c ,
 4 4
c  3.5 1
35   5 1  
 56     3 
a  2  3  2 1.2 1.2.3
a 
 4 4 c  43 c ,
  c  3.5 1  1 3.5.7 1
75
 78   7  
a  2  4  3 1.2.3 4 1.2.3.4
a  4 4 1 4 c .
97   c  3.5.7.9 1
 9  9  

En general,
1
k 2i  1
i1

4k k!
a2k 1   k
c1 ,


 k 1, L. (3.3)
0,

A partir de (8) y (9) vemos que

 k
 2i 
4k k!
y(x)  1
 1 x 2k  c1
 1 k
x2k 1
 2i
0
c k k


i1 k
0
k! 1
k 0
i1

es la solución usando polinomios de Taylor (observar que es lo mismo de la serie de

potencias) en x para la solución general de (3.1).

Ya P x  1  2x
2 0 no se anula en los reales, luego la solución está definida en todo

R. Sin embargo, P x  1  2x 2  0 en x   i 2 esto implica que las soluciones

0

dada por el método de Taylor converge en el intervalo  1 2,  1 2,  . Esto

ocurre, ya que 2 2
 1 es la distancia del punto x0  0 a x   i en el plano
complejo).

El siguiente ejemplo muestra que, en muchos casos hay que conformarnos con
encontrar un número finito de términos, ya que no se tiene una formula cerrada
para los coeficientes de las soluciones en series de potencia.

Ejemplo 4. Resolver el problema de valor inicial mediante series de potencias

2
d y
   2
dy     
 
1 2x 10 x 8y 0 , y(0) 2, y 0 3
dx2 dx

Solución:

La ecuación tiene la forma de (1), reconocemos

  2,   10 y  8 y las
condiciones
a0  y0  2 , a1  y0  3
iniciales:
Por un lado encontremos el polinomio
P(n) :

P n   2nn 1  10n  8  2n  2 

2

En vez de utilizar la formula recursiva (6), para obtener los coeficientes

ai , i  2,3,4,…, podemos utilizar la formula (5):

y n2 0  2n  2 y n

2
n  0,1,2,…
(0) ,

Encontremos los primeros términos.

Para
n0
:
y0  8 y(0)  8(2)  16  a2  y 0  8
2!
Para

n  1:

y0  18y(0)  18(3)  54  a3  y0  9

3!

Para n2
:

 a4  y 0  64
4
yiv 0   y(0)  32(16) 
512 4! 3

Para n  3:

yv 0
yv 0 45
  (0)  50(54)   a5   
y 2700 5! 2

Luego la solución del P.V.I viene dada por

yx   a x
n0
n
n

 a0  a x  x2  a x3  a x4 L
1
a2 3 4
64 4 45 5 256 6 105 7
 2  3x  8x  9x 
2 3
x  x  x  x L.
3 2 5 2
Más generalmente, sea
x0  0 un punto ordinario. Por lo tanto la solución por los
polinomios de Taylor será de la forma

y x    a x  x  .
n
n 0
n0
donde

y n x 
an  0
, n  0, 1, …
n!
Es la solución de

1  x  x   d 2
2
y
 x x  dy  y  0. *

0
dx 2 
Se puede demostrar  0
dx

y n2 x   nn 1  n   y n (x ) , n  0,1,2,…

0 0

Ejemplo 5. Determinar mediante los polinomios de Taylor la solución general de la

ecuación diferencial

2   2
d
2
y 12x 1 dy
12y  0. 5.1
4x 2x 
2
dx dx
Solución

Lo primero que hay que hacer, es escribir el polinomio P0 x  2  4x  2x 2

En potencias de x 1.
P0 x   2  4x  2x 2  4  2 x 1
2
Ahora

Así, la ecuación (5.1) queda:

   2 
2
d y
   dy  

4 2x 1 12 x 1 12y 0
dx2 dx

o bien, en la forma (*):

2
 1 d y dy
    2
    

 3 x 1 3y 0
1 1  dx
x dx
 2 2

1
Reconocemos    ,   3 y   3 .
2

Se tiene entonces el polinomio

P(n) :
1 n  2n  3
Pn   nn  1  3n  3   ,
 n  0,1,2,…

2 2
En vez de utilizar la formula recursiva (6), para obtener los coeficientes
ai , i  2,3,4,…, podemos utilizar la formula (5):
n  2n  3
yn2 1  yn (1) n  0,1,2,…
,
2

Encontremos los primeros términos.

Para
n0
:
y 1  3y(1)  y 1 3
3c  a   c
0 2 0
2! 2
Para n  1:

y1  6 y(1) 
6c y1
1  a  c
3 1
3!
Para n2
: iv
  y 4 1 5
y 1  10y (1)  30c0  a4   c0
4! 4
Para n  3:
v
 
yv 1 3
y90c
1 1 15y (1)   a5   c1
5! 4
Luego la solución del P.V.I viene dada por

yx    a x 1
n0
n
n

 a 0  a1 3x 1  a2 5 x 1  3a x 1

2k 14 a  x 1  L
2 3 4

 c 1  x 1  x 1 L x 1 L 

2 4 2k

0  
 2  4 3 2k 2k  1 
c  x 1  x 1   x 1 L
3 5
x 12k 1 L
1 k 
 4 2 
.

O en forma más compacta:

   2k  1
  2k

k
2k  1  2k 1
y x  c0 n0 
2 x1 c
1
n0
2 x 1

.
Deberá observarse que hemos hallado dos series en una forma puramente for-mal,
las cuales son convergentes para todo x finito. Para ver que ambas son li-
nealmente independientes definimos lo siguiente:

y 1  1  y2 1  0
1,
 y 2 1  1,
y 1 1 
0,

y por lo tanto

W y1 , y2 1  0.

Donde W y1 , y2 denota el Wronskiano de las soluciones y1 y y 2 , en las cuales


   2k  1
 2k
 
2k  1
 2k 1
y1 x 
n0
2
k
x1 ,x y2  n0
2
k
x 1 .
.

Ejemplo 6. Resolver el problema de valor inicial

xy  y  xy  0
, y(1)  y1  6.1
0, 1

Solución.

Método series de potencias:

Mediante el cambio de variable u  x 1 , llevamos el problema al origen.

En efecto,

dy dy
du  dx ,
(6.2)
d y 2
d y
2
 ,
du 2 dx2
La ecuación (6.1) toma la forma
2
d y dy
           

u 1 

uy 1 0, y(0) 0, y 0 1
du 2 du

Por lo tanto suponemos que la solución la buscamos de la forma:


 y(u)  a u
k 0
k
k

Que al reemplazar en la ecuación diferencial, se obtiene

   

u  1 k k  1a k u k 2   ka k u k 1  u  0,

1 a u k
k 2
k

k 1 k 0

Realizando las multiplicaciones

    

 k k  1a u k
k 1
  k k  1a u k
k 2
  ka u   a u
k
k 1
k
k 1
 a k
0,

uk
k 2 k 2 k 1 k 0 k 0

Escribiendo todo en potencias de

u k , obtenemos
    

 k k  1a k 1 uk   k  2k  1a k 2 uk   k  1a k 1 uk  a k 1 uk  0,

a uk 1
k
k

k 0 k 0 k 1 k 0

Empezando todas las sumatorias desde k  1 , y organizando, se tiene



2a 2  a1  a 0   k k  1a k 1  k  2 k  1a k 2  k  1a k 1  a k 1 

0,

a k u k k 1

mejor,

2a2  a1  a0  k  2k  k 2  k  1

2
k  ak 
a u 0,
a 1 1 k k
1 a
 k 1

Así pues,

2a2  a1  a0  0,
k  2k  1ak 2  k  12 ak 1  ak 1  0, k  1. 6.3
a k

Usando las condiciones iniciales y(0)  0, y0  1 . Con lo a0  0, a1  1 .

que
Reemplazando en (6.3), se tiene los primeros coeficientes:

1 1 1
a  a  , a  ,
, 3
6
4
6
2
2
De donde

u2 4
u
y(u)  u  
u3  L
2 6 6

Y haciendo
u  x 1 , se tiene finalmente
x  x3 x  14
1 
2
1
y(x)
  x1   
2 6 6 L
Donde la convergencia se tiene en el intervalo
0,2 ¿por qué?
Método series de Taylor:

Buscamos soluciones de la forma

 y n!1x 1 .
n 
y x   n

n0

Para ello derivamos sucesivamente y evaluamos en las derivadas encontradas, esto

es,

xy  y  xy  0 , a  y(1)  0, a  y1  y 1 1

a  
1,
0 1 2
2! 2

xy  2 y  xy  y  0  a y1 1

3  
3! 3!
xyiv 
       y iv 1 4
3y xy 2 y 0  
a4
4! 4!
xy  iv
v

      y v 1 18
a 
4y xy 3y 0 
5
5! 5!
Siguiendo el proceso, se obtiene la formula recursiva:

xy n  n  1y (n1)  xy n2  (n  3) y n3  0 , n  3.

De donde se sigue que la solución en series de Taylor es dada por

x  12 x  x  14
 
 1
3
y(x)   x  1
  L
2 6 6

La misma solución dada por el método de los coeficientes indeterminados, pero

encontrada de una forma más sencilla como puede verse.

En el ejemplo siguiente, encontraremos por el método de Taylor , la solución de

una de las ecuaciones diferenciales importantes que aparecen en la física.

Ejemplo 7. (La ecuación de Legendre) Encuentre la solución en series Taylor

alrededor de x=0 para la solución general de

dy
1 2
 d2y 2x    1 y  7.1
  0
x 2
Solución: dx dx
Buscamos la solución general de la forma
 

7.2
yx   
x
a
n
n0
n

donde

y n 0
an  , n  0, 1, … y a0  y0 c0 , a1  y0 c1 .
n!  

Para encontrar el coeficiente a2

, hacemos x  0 en (7.1) y reemplazamos los
valores de
a0  c0 , a1  c1 :

esto es,

y   0     1 y(0)  0  y  0     1  y(0)    1 c 0

luego se tiene que y 0    1 

a   c .
2
2! 2! 0

Ahora para obtener los coeficientes

ai , i  3, 4,…, deberemos derivar
implícitamente con respecto a x la ecuación (7.1) n veces, y sustituir los valores
encontrados de los anteriores.
ai

Al derivar la ecuación (7.1) implícitamente con respecto a x, se obtiene:

2
1 d y
   1 2 dy
7.3
d y
3
2 
 0
x 3 4x  2 dx
dx dx

Haciendo x  0 y reemplazando los valores de y0, y0, y 0 en (7.3) se tiene:

y 0      1  2  y (0)     1  2 c1    2  1c1

y0   2  1
Luego se encuentra que a3   c1 .
3! 3.2

Obtengamos ahora
a4 , para lo cual derivamos implícitamente con respecto a x la
ecuación (7.3) , se tiene:
6x 33 d
1  x d y 4
d y
   x1
2
 dx4 
6 0 d2y
 dx2 

 7.4
Haciendo x  0 y reemplazando los valores de y0, y0, y 0, y0 en (7.4) se
tiene:

y iv 0     1  6 y (0)    3  2    1 c    3  1   2c
0 0

Luego se encuentra que

 yiv 0   3  1   2
a4   c0 .
4! 4!

Derivando la ecuación (7.4) se tiene

4
1  d y
5
d y
     1
d3
7.5
2
 y
 12  dx3  0
x 5 8x  4
dx dx

Haciendo x  0 y reemplazando los valores de y0, y0, y 0, y0 en (7.4) se

tiene:

y v 0     1 12 y(0) 

   4  3   2 1c1     4  2 1  3c1

Encontrando que

y v 0   4  2 1  3

a5   c1.
4! 5!

Continuando el proceso, se obtiene la fórmula siguiente para k=1,2,…

a2k  1k   2k  1  2k  3L   1   2L  2k  20  c ,

2k !
  2k   2k  2L  2  1  3L  2k  1 c
a2k 1  1
k
.
2k  1! 1

Todos los coeficientes están determinados en términos de ahora

cual debemos tener c0 , y c1 , por lo
y  x   c 0 y 1 x   c 1 y 2 x  ,

donde

   1 2   3  1   2 4
y1 (x)  1  x  x L
2! 4!

O bien,

  2k  1  2k  3L   1   2L   2k  2 

  1
 k 2k
y1 (x)  1 x ,
 k 1
2k !
y

  2  1 3   4  4  1  3 5

y (x)  x  x  x L
 2
3! 5!

O bien,
   2k   2k  2 L   2  1  3L   2k

 1 
 k
2k 1

y1 (x)  1 1 x ,
 k 1
2k  1!

Ambas
y1 (x) , y2 (x) , son soluciones de la ecuación de Legendre, al tomar
y
respectivamente

c 0  0  c 1  0  0
1, c1 0  1,
c0 0 
0,

Ellas forman una base para las soluciones, ya que

y1 0  1,
y 2  0  0
 W y1, y2 1  0

y1 0  
y 2 0 
0,
1,

Donde W y1 , y2 denota el Wronskiano de las soluciones y1 y y 2 .


Observar que si es un entero par no negativo

n  2k (k  0,1,2,L) ,
,
luego continuar…………………

Ejemplo 8. Resuelva la ecuación diferencial

xy  y  xy  0. 8.1
Solución.

Por el método de Taylor.


yn0
Supongamos que las soluciones son de la forma a n con an  n! .
xn
n0

Para esto, pongamos c0  y0  y

0 
0 y c1  y0.

Haciendo
x  0 y reemplazando los valores anteriores en la ecuación (8.1), se tiene
que c1  0.
Derivando implícitamente con respecto a x la ecuación (8.1), tenemos

xy  y  y  xy  y  0 
xy  2 y  xy  y  8.2
0

Haciendo x  0 y reemplazando los valores anteriores en la ecuación (8.2), se tiene

que
1 1
y 0   y0   c
2 20

Derivando la última ecuación (8.2), tenemos

xyiv  y  2 y  xy  y  y  0 

xyiv  3y  xy  2 y  0 8.3
Haciendo
x  0 y reemplazando los valores anteriores en la ecuación (8.3), se tiene
que
2 2
y0   y0   c  0
3 31

Repitiendo el proceso anterior, se llega a la siguiente formula de recurrencia:

xy n  n  1y n1  xy n2  n  2y n3  0,

n3

Que al hacer
x  0 , y reemplazar los valores obtenidos, se obtiene
n  2
y n1 0   y n3 0
n3 8.4
, 
n 1

Encontremos varios valores

1 1
n  3 : y 0   y 0 0   c ,
2 20
n4: 2 1
y0   y0    0,
c
3 21
n5: 3 3 1  3
y iv 0   y 0    c c ,

 0
 

4.2 0
44 2 
n6: v 44
y 0   y0   0  0 ,
5 5
 5 5 3  5
n  7 : y vi 0   y iv 0   c  c ,



 0 
6 6  4.2  4.22 0

Obtengamos ahora los coeficientes an , note que la fórmula de recurrencia (8.4)

junto con
c1  0 implica que todos los coeficientes con subíndices impares
desaparecen, y
 y   0 1 1 1
a1   y 0 0    c
c
2
2!
2! y iv
0  2  0 0
2! 22
1 3  1
a4    c0  c ,
2 0
4! 4! 4.2  42.2
y vi 0 1    1
a6     5 c0    c0 ,
6! 6! 4.22 6.242.22
 
⁝
1
  1
n
a c ,
2n 0
2n  2n  2 .2n  4
2 2 2
L6. 4 .22 2 2

Entonces

y x   c 0  c0 2 c0 c0 c0
x x4 x6  x8 L
22  22 42  2
2 46 2 2 2
2 468 2 2 2

n

1  x2 
 c0  n!2  4
 .
8.5
n0  

La serie (8.5) se usa frecuentemente en matemáticas aplicadas y recibe el

nombre de función de Bessel de orden

J 0 (x).

Deberá observarse que el método de Taylor ha producido sólo una de las soluciones
de la ecuación (8.1). Para hallar la otra solución linealmente independiente, usamos
la formula
y 2  x   y1  x 
x y dxx
1
2

Entonces la otra solución será:

y 2 x   J 0  x 
x J dxx
0
2

La solución general viene dada por

y  x   AJ 0 x   BJ 0  x 
x Jdxx
0
2
.

En nuestro próximo ejemplo encontraremos una situación en la cual el método de

Taylor no da ninguna solución (como es el caso cuando se usa series de potencias).
Ejemplo 9. Considere la ecuación de Euler
 x 2 y  xy  y  0.
9.1
Solución.

Ya que este problema no contiene condiciones iniciales, pongamos

y(0)  c0 , y
y(0)  c1 . Con lo cual al reemplazar el valor de x  0, y(0)  c0 y y(0)  c1 en la
ecuación diferencial, tenemos

02 y 0  0 y0  y0   c0  0 .

0.

Al derivar implícitamente con respecto a x en la ecuación diferencial (9.1), se tiene

2xy  x 2 y  xy  y  y  0  3xy  x 2 y  2 y  0

Reemplazando los valores de

x  0, y(0)  c1 en la última ecuación diferencial,
tenemos

30  y 0   0  y0   2 y0 

2
 0.
0 c1

Como todas las derivadas evaluadas en

x  0, estarán en términos de c0 , y de c1 ,
entonces todos los an desaparecerán, y por lo tanto arrojará la solución yx  0 .
Así en este caso el método de Taylor falla para encontrar la solución de la ecuación
diferencial de Euler, la cual es

yx  Acosln x   BAsinln x  .

En el próximo ejemplo, aplicaremos el método del desarrollo de Taylor para

encontrar la solución de una ecuación diferencial, en donde los coeficientes de la
ecuación (1) ya no son polinomios.

Ejemplo 10. Resolver el problema de valor inicial

y  e x y  0 ,
y(0)  y0  10.1
1, 1

Solución.

Buscamos
Nótese que en la ecuación diferencial todos los puntos son ordinarios.

yn 0
a x donde a  , n  0.
n
una solución de la forma: y x   n n
n!
 n0
Para esto, despejamos y   x  en la ecuación, reemplazando los valores
a0  y0  1 , a1  y0  1 para obtener a2 :
así
 y (x)  e x yx (10.2)
 y (0)  e y0  10
y 0
 a  
1
2
2! 2

Derivamos (10.2) y reemplazamos los valores encontrados de los a´íes.

y(x)  e x yx  e x yx  e x  y  x   (10.3)

yx
 y(0)  e0 y0  y0  2 
y0 2 1
a3   
3! 3! 3

Derivamos nuevamente (10.3) y reemplazamos

yiv (x)  e x yx  yx e x  y  x   yx  e x yx  2 yx 

(10.4)
yx
 yiv (0)  e0 y0  2 y0  y0  4 
y0 4 1
a4   
4! 4! 3.2

Siguiendo el proceso, encontramos la siguiente fórmula para

yn2 x por lo tanto
para
an2 :
n2
  n  n  n  (n)

x n1
y (x)  e  yx     yx     y x  L   x y (x) 
y 0 1 n
      1 
n n

e x

k 0 

  y k   x 
k
n
n 

  
n   y k  0

  n  
 n2
y (n2) 0  k
(n  2)!
 (n  2)!
k
y n 2
(0)  e 0
k 0
  y k
0   a  
k 0 , n  0.

luego la solución general viene dada por

y x   1 x  a
n0
n2 x n2

1 1 1
2n xn2  1 x  x2  x3  1 4 1 x5  x6  2 x7 L.
 1 x 
(n  2 3 6 x  15 45 315
 n0
2)!
La serie converge para todo
x  R.
Realicemos este mismo ejemplo, pero ahora usando solución en series de
potencias. Para esto necesitamos del siguiente teorema.

Teorema. Sean


  k
bk x A
a x
k 0
k
k y k 0

convergentes en el intervalo x  R, R  0. Entonces la serie



c x
k 0
k
k

con
k

ck  a bj0
j kj
,

conocida como el producto de Cauchy de las series de (A), converge

también para x  R , y
   
 



a x   bk x k  

k


k
  ck x
k  k  k 0
 k 0 0

para todo x en este intervalo.

Cuando se expresa en términos de funciones analíticas este teorema afirma que el

producto de dos funciones analíticas en el intervalo I , f y g, es también él mismo
una función analítica en I, y que su expansión en series de potencias alrededor de
cualquier punto
x0 en I es el producto de Cauchy de las expansiones en serie de
potencias de f y g alrededor de
x0 .

Ahora ya podemos seguir con el ejemplo anterior.

Suponemos la solución de la forma

y( x)  a x
k 0
k
k

Al reemplazar en la ecuación diferencial nos da

 

 k (k  1)a x k
k 2
 ex a k
 0,

xk
k 2 k 0

o bien,
  
 x k  
 k (k  1)a k x k 2
 
 a k x k   0, 10.5

  k  
k 2  k  k 0 
0
!

Ahora aplicamos el teorema anterior, para escribir el producto de las dos series en
la siguiente forma:
 
 x 
k   
x2 x3

 
 k 

a k x  a 0  a1 x  a 2 x  a 3 x L 1 x
2 3
 L  

  
 k 0 k!  k 0  2! 3!  
 a  a  a0  2  a0 a1 
 a x  a a x     a x 3 L
a
0 0 1  1 2   2 3 
 2!   3! 2! 
aj 
  
 k
 x k .
 
k 0  j k  j !
0

Sustituyendo esta expresión en (10.5), obtenemos

 
  a
 k
k  2(k  1)a k  2  x
j
 k  0,
  k  j !
k 0 j 0 

De esto último se sigue que


k
ak 2  1 a , k  0.
k  2(k  j
j!
1)
j 0
k

En particular,
 a0
a  ,
2
2
a0  a1
a3  ,
1 6a0  a0  a1
a  a a  ,
4  1 2
12  2  12

etc., y en principio todos los

pueden calcularse en términos de a0 y a1 .
ak
Reemplazando los valores de
a0  1, a1  1 se tiene.

1
a  ,
2
2
1
a  ,
3
3
1
a  ,
4
6
⁝

Luego la solución del problema de valor inicial viene dado por

1 1 1
yx  1  x  x 2  x3  x 4 L.
2 3 6

Deberá notarse que la solución obtenida por series de potencias es más pobre que
la obtenida por Taylor.

Ejercicio . Encuentre una series de potencias para la solución general de la

ecuación diferencial

y   x   sinxy  e x y  0

Los próximos ejemplos tratan con ecuaciones diferenciales no lineales.

Ejemplo 11. Encuentre la solución en series de potencias y en series de Taylor del

problema de valor inicial

y  1  y 2 ;
y0  11.1
0.

Solución.

La ecuación diferencial (11.1) no es lineal, sin embargo, se conoce su solución

mediante el uso de separación de variables, a saber,
y, x  tan x   
x  ,
 .
 2 2
Método series de potencias:

Suponemos que la ec. (11.1) tiene como solución

11.2
yx   a x n
n

.
n0

Derivando, se tiene
 

y  x    na x   n  1a
n
n1
n1
11.3
xn .
n1 n0

evaluando la ec. (11.1) en

x  0 e imponiendo la condición inicial, se encuentra
que y(0)  0  a0 . Reemplazando (11.2) , (11.3) en (11.1) vemos que los
coeficientes de la serie
an , deben satisfacer
2
 
    n


x 
n
n 1an1 x n  1   an  1
.
  ak ank 11.4
   
n0  n0  n0  k 0 

Igualando los coeficientes, obtenemos

n0
a1  1  a0 2  1
:
2a2  2a0 a1  0,  a2  0
n1
:

n2 1
3a3  2a0 a2  a1  1,  a3 
2
: 3
n3 4a4  2a0 a3  2a1a2  0,  a4  0
:

n4 2 2 2
: 5a5  2a0 a4  2a1a3  a2  ,a  .
3
5 15

En general, an  
1


 0, si
 1  a0 , 2 n es par
si
n1 n1

n  ak an1k , si n es impar, n  1.

 k 0

Así, estamos en capacidad de calcular en forma recurrente los coeficientes de la

serie pero no somos capaces de expresar fácilmente explícitamente en an como
función de n. Por tanto, no podemos calcular el radio de convergencia
directamente. Sin embargo sabemos, que el radio de convergencia es  / 2.
Luego la solución del problema de valor inicial viene dado por
 1 2
yx  x  x3 
x5 L.   
x  ,
3 15  .
 2 2

Método series de Taylor:


yn0
Supongamos que las soluciones son de la forma a n con an  n! .
xn
n0

Se tiene inicialmente que a0  y(0)  0 .

Haciendo x  0 y reemplazando el valor de y0  en la ecuación (11.1), se tiene

que 0

y  0   1  y 0  
2

 y0
1,  1!  1
a1

Derivando implícitamente con respecto a x la ecuación (11.1), tenemos

y  2 yy
11.5
Haciendo x  0 y reemplazando los valores anteriores y0  0, y0  1 en la
ecuación (11.5), tenemos que

y0  2 y0y0   a2  y 0  0.

0, 2!

Repitiendo el proceso una vez

y   2 yy   2 y 
2

y0  2 y 0 y 0  2 y0  2(0)(1)  2(1) 2

2
y0 1
 2, a  
3
3! 3

Otra vez,

y iv  2 yy  2 yy  4yy   2 yy  6 yy

yiv 0 2 yiv 0

0 6  0 2(0)(2)  6(1)0   a4  0
 4!
y0y  y0y  0,

Y otra vez…..
 y v  2 yy iv  2 yy  6 yy  6 yy  2 yy iv  8yy 
6 y  y v 0  2 y 0 y iv 0  8y0 y0  6 y 0
2 2

1 8
   
2
   y v 0 2
2(0)(0)
, 8(1)   6 0 a 5  5!  15
 3 3
Hagamóslo una vez más

y vi  2 yyv  2 yyiv  8yyiv  8yy  12y y  2 yyv  10 yyiv  20 yy

yvi 0 2 y vi 0


v
0 10 0y 0 20  0 
iv
 a6  0
y0y y y 0y 0 6!

Por última vez

y vii  2 yyvi  2 yyv  10 yyv  10 yy iv  20 yy iv  20 yy

 2 yy vi  12 yy v  30 yy iv  20 y
2

y vii 0  2 y 0 y vi 0  12 y 0 y v 0  30 y  0  y iv 0  20 y 0

2

 12(1)38 20 2
  
 112  a6  112  2 .
7! 21

Luego la solución del problema de valor inicial viene dado por

1 2
yx  x  x3    
5 2 7 23 x9 L. x  ,
x  x 
3 15  .
21 810  2 2

Esto es,
1 2   
tan x  x  x3  5 2 7 23 x9 L. x  ,
x  x 
3 15  .
21 810  2 2

Nótese que estamos en capacidad de calcular en forma recurrente los coeficientes

de la serie pero no somos capaces de expresar fácilmente a_n explícitamente como
función de n. De nuevo no podemos encontrar su radio de convergencia.

Pero si podemos calcular recurrentemente tantos coeficientes de la serie como sea

necesario para producir una solución con una exactitud deseada.

Esto es lo que pasa cuando se trata de encontrar solución en series de problemas

no lineales.
Ejemplo 11. Encuentre la solución en series de potencias y en series de Taylor del
problema de valor inicial

y  x  e y ;
y  0  12.1
0.

Solución.

En este problema podemos encontrar su solución en forma analítica como sigue:

Haciendo u  e y , se tiene que

du dy
e
y
12.2
dx dx

Así que multiplicamos la ec. (12.1) por 

e y , para obtener
dy
 e y   xe y  e2 y
dx

O bien, el siguiente problema de valor inicial equivalente

du
 xu  u 2 ,
dx 12.3
La ecuación diferencial (12.3) es de tipo Bernoulli, por lo tanto haremos la
sustitución

w  u 1 ,
12.4
Con lo cual se tiene
dw 2 du
u dx dx
Multiplicando a ambos miembros de la ecuación (12.3) por
, se obtiene
u
du 2
u2  xu 1  1 ,
dx

w 0    u  0  
1
O bien, ya que w  u 1 , 1

dw
 xw  1 , w0  12.5
dx 1

La ecuación (12.5) xresulta ser lineal, se encuentra que el factor integrante viene a
  x2 


ser   x   exp   tdt   e 2 .
 0 

Multiplicando la ecuación (12.5) por el factor integrante, se tiene

2
d  
x
 
x2
 2
w  e 2 ,
e dx
 

Luego la solución de (12.5) es obtenida como

x2
 x t2

wx  e 2 C

e 2 dt 12.6


 0
,


Reemplazando la condición inicial para encontrar C, obtenemos

02  t2
0
 
1  w0  e dt ,  C  1
2
C 
2 
e  0

Así que al devolvernos, tenemos:

x2
1  
x2
t2
x
  e 2
 e 2 1 e 2 dt  u(x) 

u x  , x t2

 

0
1 
0 e 2 dt

Pero u  e y .

 

x2
x2
    x2 


0
e 2
e 2

t2

x t2
 x 
t
2


 x
 
ln1
2
  y  ln e 2 dt
e y 1 2
1    y  ln

e  dt   e

2
dt
e

0 0


O finalmente,
 x2  t2  x2  x 
x  
y x  dt 
2
 erf , x  1.2755
2 
2
 ln1
  0

2
ln1  
 2 
e

donde la función de error erf(x) viene dada por:

2 x
erf (x) 

2
e t dt.
 0

Ahora encontremos su solución por el método de las series de Taylor:

 yn0
Supongamos que las soluciones son de la forma a n
con an  n ! .
x n

n0

Se tiene inicialmente que a0  y(0)  0 .

Haciendo x  0 y reemplazando el valor de y0  en la ecuación (12.1), se tiene

que 0

y0  0  e0  y0

1,   1!  1
a1

Derivando implícitamente con respecto a x la ecuación (12.1), tenemos

y  1  e  y y 12.7
Haciendo x  0 y reemplazando los valores anteriores y0  0, y0  1 en la
ecuación (12.7), tenemos que

 a2  y 0  0.
0
y0  1  e y0 
0, 2!

Derivando nuevamente la ecuación (12.7) con respecto a x, se tiene

y  e y y  e y y  e y  y  y, 12.8

Haciendo x  0 y reemplazando los valores anteriores y0  0, y0  1 y0  0
y
en la ecuación (12.8), tenemos que

y0  e0  y  0  y0  1,  y0 1

a  
3
3! 3!
Repitiendo el proceso anterior

y iv   e y y  2 y  y,

  
iv

yiv 0
y e0
0
 y 0  2 y 0  y 0   2,  a4  
2
4! 4!
Repetiremos el proceso unas cuantas veces

y v   e  y y iv  3y  3y  y,

 
v

y v  0
 y 0  3y 0  3y 0   y 0 6
iv
0
y 0 6,  a 5  
e 5! 5!

y vi   e y  y v  4 yiv  6 y  4 y  y,

 
vi

0
 y 0  4 y 0 
v iv
         
y v 0

21
y 0 e 60 y 4 y 0 y 0
21, a6
6! 6!
Siguiendo el proceso, encontramos la siguiente fórmula para y k  por lo tanto
x
una formula un tanto no obvia para
ak :
 n1 
2n  n2 2n  n3

n
 x     x     x  L 
yy (x)  e  y 
 y y n  2
  
  1   2  n 
  1   y 2 x    1 y (x)
n1

 
  n  3 
n2  n  2
 e  y
   y n1k  x
1 
k

k 0  k 

n2  n  2
n 
  1
k
Que al evaluar en x=0, obtenemos: y (0)  
 y n1k  0

k 0  k 

De aquí una fórmula para los coeficientes ak :

 n2
 n  2 
  1  k
 y n1k  0
an  y (n) 0 k  k  
0 , n  0.
 n!
n!
Bibilografía.

1. Charles E. Robertrs Jr., Ecuaciones Diferenciales Ordinarias. Un enfoque al

cálculo numérico.Ed. Prentice-Hall Int. 1980.

2. Kreider, Kuller, Ostberg. Ecuaciones Diferenciales. Fondo Editorial

Iberoamericano. 1973.

3. Derrick W. , Grossman S. Ecuaciones Diferenciales con Aplicaciones. Fondo

Editorial Iberoamericano. 1984

4. García J. O.,Villegas G. J. , Castaño B. J, Sánchez C., J.A. Ecuaciones

Diferenciales. Fondo Editorial Universidad EAFIT, 2010.