You are on page 1of 36

MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 1





MTODO DE LAS SERIES DE TAYLOR PARA RESOLVER ECUACIONES
DIFERENCIALES LINEALES Y NO LINEALES
Profesor: Jos Albeiro Snchez Cano
Departamento de Ciencias Bsicas
Universidad EAFIT. Medelln-Colombia
josanche@eafit.edu.co



Objetivo: Aplicar el mtodo de Taylor para resolver ecuaciones diferenciales,
que como se ver es la misma solucin que proporciona la solucin en series
de potencias (o de coeficientes indeterminados). Esto es, si la solucin en
series de potencias arroja la solucin en una formula cerrada, se tendr
entonces que la solucin dada por los polinomios de Taylor tambin entregar
dicha solucin en forma cerrada.
Por lo tanto, en el caso de solucin en puntos ordinarios, debera de ensearse
el mtodo de desarrollo de Taylor, pues viene a ser mucho ms cmodo para
un estudiante de ecuaciones diferenciales, pues cuando se trabaja con solucin
mediante series de potencias, el acomodo de los ndices de la sumatoria
siempre es un poco confuso para ellos. Sin embargo ambos mtodos son en
esencia los mismos.
Veamos en que consiste cada mtodo.
El mtodo de las series de Taylor para obtener soluciones numricas de las
ecuaciones diferenciales, consiste en calcular las derivadas sucesivas de la
ecuacin diferencial dada, evaluando las derivadas en el punto inicial
0
x y

reemplazando el resultado en la serie de Taylor. La principal dificultad de este
mtodo es el clculo recurrente de las derivadas de orden superior.
El mtodo delas series de potencias o coeficientes indeterminados
consiste en suponer una solucin en la forma P S x x a x y
n
n
n
.
0
0
=

=
. Esta
ecuacin se deriva tantas veces como sea necesario para obtener expresiones
en serie de todas las derivadas que aparecen en la ecuacin diferencial y se
MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 2

reemplazan en la ecuacin diferencial dada para obtener los coeficientes .
n
a
La dificultad de este mtodo es la manipulacin de las series que se puedan
necesitar y la obtencin de los coeficientes de las series.
Pero los mtodos son esencialmente los mismos. En efecto, los coeficientes
que aparecen en la serie de potencias,
n
a y los coeficientes en el mtodo de
Taylor ,


!
0
n
x y
n
vienen relacionados por la formula


!
0
n
x y
a
n
n
= . La solucin
por el mtodo de Taylor viene dada por


=
=
0
0
0
. .
!
) (
n
n
T S x x
n
x y
x y

En el libro de ecuaciones diferenciales [1]
1
utilizan ambos mtodos para
resolver el siguiente problema de valor inicial:
Ejemplo 1. Resolver el problema de valor inicial
1 . 1 1 ) 0 ( ,
2
= =

y e
dx
dy
x

Solucin.
Observar que la solucin de (1.1) se puede escribir como . 1
0
2
dt e x y
x
t


+ =

Ya que no hay funciones elementales para calcular la integral anterior, por lo
tanto no se podra escribir la solucin en forma cerrada y por consiguiente
tendramos que conformarnos con alguna aproximacin numrica.
Apliquemos inicialmente el mtodo de Taylor. Para esto debemos calcular
las derivadas sucesivas y evalundolas en 0 = x para obtener:



12 0 ; 12 48 16
0 0 ; 12 8
2 0 ; 2 4
0 0 ; 2
2
2
2
2
2 4
3
2
= + =
= + =
= ' ' ' = ' ' '
= ' ' = ' '

v x v
iv x iv
x
x
y e x x x y
y e x x x y
y e x x y
y xe x y


1

1
[1] Ecuaciones Diferenciales Ordinarias. Un enfoque al clculo numrico. Charles E.
Roberts Jr.,

MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 3

Notando que

1 0 ) 0 (
0
= = y y y 1 ) 0 ( = ' y y reemplazando en la ecuacin (S.T)
se obtiene la solucin
2 . 1
10 3
1 ) (
5 3
. + + =
x x
x x y
Ahora supongamos que la ecuacin (1.1) tiene una solucin en serie de
potencias
3 . 1 .
0
n
n
n
x a x y

=
=

haciendo

0 = x

en la ecuacin (1.3) e imponiendo la condicin inicial se ob-
tiene

0
1 ) 0 ( a y = = . Diferenciando la ecuacin (1.3), obtenemos

4 . 1 . 1
0
1
1
1
n
n
n
n
n
n
x a n x na x y


=
+

=
+ = = '

Ya que

=
=
0
! /
n
n x
n x e ,

5 . 1
!
1
0
2
2


=
n
n n
x
n
x
e
Reemplazando (1.4) y (1.5) en (1.1), encontramos


.
!
1
0
2
1
1


=

= = '
n
n n
n
n
n
n
x
x na x y

o en forma equivalente
. . + + + = + + + + +
6 2
1 5 4 3 2
6 4
2 4
5
3
4
2
3 2 1
x x
x x a x a x a x a a

Igualando los coeficientes de potencias iguales, encontramos
. , 0 ,
10
1
, 0 ,
3
1
, 0 , 1
6 5 4 3 2 1
= = = = = = a a a a a a

En general, se tiene


. , 3 , 2 , 1
! 1 1 2
1
0
1 2
1 2
2
=

=
=

n
n n
a
a
n
n
n

MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 4

De acuerdo con lo anterior, se tiene que la solucin en series de potencias
viene dada por

=
+
+

+ =
0
1 2
! 1 2
1
1 ) (
n
n n
n n
x
x y

La serie converge para todo x real. (criterio de la razn).
Segn el autor, debe ser obvio que es ms fcil obtener valores adicionales de
los coeficientes de la serie utilizando el mtodo de los coeficientes indetermina-
dos, que utilizando el mtodo de las series de Taylor. En consecuencia, dice el
autor, usualmente se emplear el mtodo de los coeficientes indeterminados,
descartando entonces el mtodo de las series de Taylor.
Pero si seguimos trabajando un poco en el ejemplo anterior, por el mtodo de
series de Taylor, tenemos






! 3
! 6
6
6 * 12
120 0 ; 64 480 720 120
0 0 ; 32 160 120
! 2
! 4
2
2 * 12
12 0 ; 12 48 16
0 0 ; 12 8
! 1
! 2
2 0 ; 2 4
0 0 ; 2
2
2
2
2
2
2
6 4 2
5 3
2 4
3
2
= = = + + =
= + =
= = = + =
= + =
= = ' ' ' = ' ' '
= ' ' = ' '

vii x vii
vi x vi
v x v
iv x iv
x
x
y e x x x x y
y e x x x x y
y e x x x y
y e x x x y
y e x x y
y xe x y

Se observa la siguiente ley de formacin:





. , 3 , 2 , 1
! 1
! 1 2
1
, 0
1 1 2
2
=

=
=

n
n
n
y
y
n n
n

En consecuencia, se tiene los coeficientes







. , 3 , 2 , 1
! 1 ! 1 2
! 1 2
1
! 1 2
, 0
! 2
1
1 2
1 2
2
2
=

=
= =

n
n n
n
n
y
a
n
y
a
n
n
n
n
n

MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 5

O bien,







! 1 ! 1 2
1
1
! 1 ! 2 2 1 2
! 2 2
1
! 1 ! 1 2
! 1 2
1
, 0
1
1 1
1 2
2

=

=
=

n n
n n n
n
n n
n
a
a
n
n n
n
n

Nuevamente se obtiene la solucin encontrada por series de potencias:


.
! 1 2
1
1 ) (
0
1 2

=
+
+

+ =
n
n n
n n
x
x y



En conclusin, el ejemplo para mostrar que el mtodo de la series de Taylor no
produce la misma calidad de las soluciones, no es vlido. Es ms, el autor dice
que el mtodo de Taylor se adapta fcilmente a problemas de valor inicial, lo
cual, como veremos ms adelante, el mtodo funciona si lo que se quiere
resolver es una ecuacin diferencial sin condiciones iniciales, con la misma
calidad de las soluciones que el mtodo de las series de potencias.

1. Solucin en series de Taylor alrededor de un punto ordinario

Las ecuaciones diferenciales homogneas lineales de segundo orden de la
forma
1 , 0
2 1
2
2
0
= + + y x P
dx
dy
x P
dx
y d
x P
donde
1 0
, P P

y
2
P son polinomios. Dichas ecuaciones aparecen en muchas
aplicaciones fsicas. Algunos ejemplos de estas ecuaciones son:
MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 6

Ecuacin de Legendre:
2

2 , 0 1 2 1
2
2
2
= + + y
dx
dy
x
dx
y d
x E E
Ecuacin de Airy:
3 , 0
2
2
= xy
dx
y d

Ecuacin de Chebyshev:
4 , 0 1
2
2
2
2
= + y
dx
dy
x
dx
y d
x E
Ecuacin de Hermite:
5 , 0 2 2
2
2
= + y
dx
dy
x
dx
y d
E

La solucin de esas ecuaciones, en general, no pueden expresarse en
trminos de funciones elementales familiares. Por lo cual utilizaremos los
polinomios de Taylor.
Definicin (punto ordinario) Supongamos que
1 0
, P P

y
2
P no tienen factores
comunes. Decimos que
0
x es un punto ordinario de (1) si 0
0 0
{ x P , o es un
punto singular si 0
0 0
= x P .
Para la ecuacin de Legendre (2), 1
0
= x

y 1
0
= x son puntos singulares y
todos los otros puntos son puntos ordinarios.
Para la ecuacin de Airy (3), todo punto es ordinario.

Necesitaremos el prximo teorema.

Teorema (existencia de soluciones en series de Taylor)
Si
0
x x = es un punto ordinario de la ecuacin diferencial
0
2 1
= + ' + ' ' y x P y x P x y



MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 7

Se pueden encontrar siempre dos soluciones linealmente independientes en la
forma de series de Taylor centradas en
0
x x =



=
=
0
0
!
0
n
n
x x
n
y
x y

Una solucin en series de Taylor converge al menos para R x x
0
, donde R
es la distancia de
0
x al punto singular ms cercano (real o complejo), en tal ca-
so se dice que la solucin x y es una solucin alrededor del punto ordinario
0
x


Problema: Encontrar las soluciones en serie de potencias en
0
x x

para
ecuaciones de la forma
6 . 0 1
0
2
2
2
0
= + + + y
dx
dy
x x
dx
y d
x x K F E

Muchas ecuaciones importantes que aparecen en aplicaciones son de esta
forma con 0
0
= x

, incluso la ecuacin de Legendre (2) , la ecuacin de Ayry
(3), la ecuacin de Chebyshev (3), y la ecuacin de Hermite (5 ).


En el ejemplo siguiente se dar la solucin en series de Taylor para la ecuacin
(6), la cual la haremos, sin prdida de generalidad para el caso 0
0
= x

.
El ejemplo resultar ilustrativo, ya que mostrar como trabajar en todos los
casos.

Ejemplo 2. Encuentre la serie de potencias en x para la solucin general de
1 . 2 0 1
2
2
2
= + + + y
dx
dy
x
dx
y d
x K F E
Solucin:
Buscamos la solucin general de la forma
MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 8

2 . 2
0
n
n
n
x a x y

=
=
donde



- , 1 , 0 ,
!
0
= = n
n
y
a
n
n
y
1 1 0 0
0 , 0 c y a c y a = ' = = = .
Para encontrar el coeficiente
2
a , hacemos 0 = x en (2.1) y reemplazamos los
valores de : ,
1 1 0 0
c a c a = =
esto es,

0
) 0 ( 0 0 ) 0 ( 0 c y y y y K K K = = ' ' = + ' '
luego se tiene que

.
! 2 ! 2
0
0 2
c
y
a
K
=
' '
=
Ahora para obtener los coeficientes - , 4 , 3 , = i a
i
, deberemos derivar
implcitamente con respecto a x la ecuacin (2.1) n veces, y sustituir los
valores encontrados de los
i
a anteriores.
Al derivar la ecuacin (2.1) implcitamente con respecto a x, se obtiene:
3 . 2 0 2 1
2
2
3
3
2
= + + + + +
dx
dy
dx
y d
x
dx
y d
x K F F E E
Haciendo 0 = x y reemplazando los valores de 0 , 0 , 0 y y y ' ' ' en (3) se tiene:

1
) 0 ( 0 0 ) 0 ( 0 c y y y y K F K F K F + = ' + = ' ' ' = ' + + ' ' '
Luego se encuentra que

.
! 3 ! 3
0
1 3
c
y
a
K F +
=
' ' '
=
Obtengamos ahora ,
4
a para lo cual derivamos implcitamente con respecto a
x la ecuacin (2.3):
0 2 2 1 2
2
2
3
3
2
2
4
4
2
3
3
= + + + + + + + +
dx
y d
dx
y d
x
dx
y d
dx
y d
x
dx
y d
x K F F E F E E E
o bien, organizando:
4 . 2 0 2 2 4 1
2
2
3
3
4
4
2
= + + + + + +
dx
y d
dx
y d
x
dx
y d
x K F E F E E
MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 9

Haciendo 0 = x y reemplazando los valores de 0 , 0 , 0 , 0 y y y y ' ' ' ' ' ' en (2.4) se
tiene:

0
2 2 ) 0 ( 2 2 0 0 ) 0 ( 2 2 0 c y y y y
iv
K F E K K F E K F E + + = ' ' + + = ' ' ' = ' ' + + +
Luego se encuentra que


.
! 4
2 2
! 4
0
0 4
c
y
a
iv
K F E K + +
= =
Continuando el proceso, se obtiene la frmula siguiente:



5 . 2 , 2 , 1 , 0 , ) 0 ( 1 0
2
- = + + =
+
n y n n n y
n n
K F E
Llamando
- , 2 , 1 , 0 , 1 = + + = n n n n n P K F E
Se tiene lo siguiente:








n
n
n
n
n
a
n n
n P
n
y
n n
n P
y
n
n P
n
y
a
) 1 )( 2 ( !
) 0 (
) 1 )( 2 (
) 0 (
! ) 2 ( ! 2
0
2
2
+ +
=
+ +
=
+
=
+
=
+
+


Obtenemos la frmula recursiva de los coeficientes - , 2 , 1 , 0 , = i a
i



6 . 2 , 1 , 0 ,
1 2
2
- =
+ +
=
+
n a
n n
n P
a
n n

La frmula (2.6) coincide con la frmula dada en [1] .
As, la solucin general de (2.1) es dada por




| |

=
+

=
+

+ +

=
0
1 2
1
0
1
0
2
1
0
0
! 1 2
1 2 1
! 2
2 1 ) (
k
k
k
i
k
k
k
k
i
k
k
x
i P c
k
x
i P c x y
Ejercicio.

Ejemplo 3. Encuentre la serie en series de potencias en x para la solucin
general de
1 . 3 . 0 2 6 2 1
2
2
2
= + + + y
dx
dy
x
dx
y d
x
Solucin:
La ecuacin tiene la forma de (3.1), reconocemos 6 , 2 = = F E

y 2 = K .

MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 10

Por un lado encontremos el polinomio ) (n P :

2
1 2 2 6 1 2 + = + + = n n n n n P

Utilizando la formula recursiva (2.6) , se tiene



. , 1 , 0 ,
2
) 1 (
2
,
,
2
1 1
0 0
=
+
+
=
=
=
+
n a
n
n
a
c a
c a
n n

Determinemos los coeficientes de potencias pares de x:

0 0 6 8
0 0 4 6
0 0 2 4
0 0 2
4 . 3 . 2 . 1
7 . 5 . 3 . 1
3 . 2 . 1
5 . 3 . 1
4
7
8
7
2
,
3 . 2 . 1
5 . 3 . 1
2 . 1
3 . 1
3
5
6
5
2
,
2 . 1
3 . 1
1
1
2
3
4
3
2
,
1
1
2
1
2
c c a a
c c a a
c c a a
c a a
=
'
+

'


'
+

'

=
'
+

'

=
=
'
+

'

'
+

'

=
'
+

'

=
=
'
+

'


'
+

'

=
'
+

'

=
=
'
+

'

=

Observando la ley de formacin de los coeficientes, se tiene en general,


) 2 . 3 ( . , 1 , 0 ,
!
1 2
1
0
1
2
. =

=
|
=
k c
k
i
a
k
i
k
k

Ahora determinemos los coeficientes de las potencias impares de x:

.
9 . 7 . 5 . 3
4 . 3 . 2 . 1
4
7 . 5 . 3
3 . 2 . 1
4
9
4
4
9
8
2
,
7 . 5 . 3
3 . 2 . 1
4
5 . 3
2 . 1
4
7
3
4
7
6
2
,
5 . 3
2 . 1
4
3
1
4
5
2
4
5
4
2
,
3
1
4
3
2
2
1
4
1
3
7 9
1
3
1 1
2
5 7
1
2
1 3 5
1 1 3
c c a a
c c c a a
c c a a
c a a
=
'
+

'


'
+

'

=
'
+

'

=
=
'
+

'

'
+

'

=
'
+

'

=
=

'
+

'

'
+

'

'
+

'

'
+

'

'
+

'

=
'
+

'

=

En general,


) 3 . 3 ( . , 1 , 0 ,
1 2
! 4
1
1
1
1 2
. =
+
=
|
=
+
k c
i
k
a
k
i
k
k
k

MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 11

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



|

=
+
=

=
=
+
+

=
0
1 2
1
1
0
2 1
0
1 2
! 4
1
!
1 2
1 ) (
k
k
k
i
k
k
k
k
k
i
k
x
i
k
c x
k
i
c x y

es la solucin usando polinomios de Taylor (observar que es lo mismo de la
serie de potencias) en x para la solucin general de (3.1).
Ya
2
0
2 1 x x P + =

no se anula en los reales, luego la solucin est definida en
todo R. Sin embargo, 0 2 1
2
0
= + = x x P

en 2 i x s =

esto implica que las
soluciones dada por el mtodo de Taylor converge en el intervalo
, 2 1 , 2 1 . Esto ocurre, ya que 2 1 = p es la distancia del punto 0
0
= x
a 2 i x s = en el plano complejo).



El siguiente ejemplo muestra que, en muchos casos hay que conformarnos con
encontrar un nmero finito de trminos, 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
3 0 , 2 ) 0 ( , 0 8 10 2 1
2
2
2
= ' = = + + + y y y
dx
dy
x
dx
y d
x
Solucin:
MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 12

La ecuacin tiene la forma de (1), reconocemos 10 , 2 = = F E

y 8 = K y las
condiciones iniciales: 3 0 , 2 0
1 0
= ' = = = y a y a

Por un lado encontremos el polinomio ) (n P :

2
2 2 8 10 1 2 + = + + = n n n n n P
En vez de utilizar la formula recursiva (6), para obtener los coeficientes
- , 4 , 3 , 2 , = i a
i
, podemos utilizar la formula (5):



- , 2 , 1 , 0 , ) 0 ( 2 2 0
2 2
= + =
+
n y n y
n n

Encontremos los primeros trminos.
Para : 0 = n




8
! 2
0
16 ) 2 ( 8 ) 0 ( 8 0
2
=
' '
= = = = ' '
y
a y y

Para : 1 = n




9
! 3
0
54 ) 3 ( 18 ) 0 ( 18 0
3
=
' ' '
= = = ' = ' ' '
y
a y y

Para : 2 = n




3
64
! 4
0
512 ) 16 ( 32 ) 0 ( 0
4
4
= = = = ' ' =
y
a y y
iv

Para : 3 = n




2
45
! 5
0
2700 ) 54 ( 50 ) 0 ( 0
5
= = = = ' ' ' =
v
v
y
a y y

Luego la solucin del P.V.I viene dada por

.
2
105
5
256
2
45
3
64
9 8 3 2
7 6 5 4 3 2
4
4
3
3
2
2 1 0
0
.
.
+ + + + =
+ + + + + =
=

=
x x x x x x x
x a x a x a x a a
x a x y
n
n
n


Ms generalmente, sea 0
0
{ x un punto ordinario. Por lo tanto la solucion por
los polinomios de Taylor ser de la forma
MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 13

.
0
0
n
n
n
x x a x y =

=

donde


- , 1 , 0 ,
!
0
= = n
n
x y
a
n
n

Es la solucin de
* . 0 1
0
2
2
2
0
= + + + y
dx
dy
x x
dx
y d
x x K F E

Se puede demostrar



- , 2 , 1 , 0 , ) ( 1
0 0
2
= + + =
+
n x y n n n x y
n n
K F E


Ejemplo 5. Determinar mediante los polinomios de Taylor la solucin general
de la ecuacin diferencial
1 . 5 . 0 12 1 12 2 4 2
2
2
2
= + y
dx
dy
x
dx
y d
x x

Solucin
Lo primero que hay que hacer, es escribir el polinomio
2
0
2 4 2 x x x P + =
En potencias de . 1 x
Ahora
2 2
0
1 2 4 2 4 2 = + = x x x x P

As, la ecuacin (5.1) queda:
0 12 1 12 1 2 4
2
2
2
= y
dx
dy
x
dx
y d
x

o bien, en la forma (*):
0 3 1 3 1
2
1
1
2
2
2
=
'
+

'

y
dx
dy
x
dx
y d
x

Reconocemos 3 ,
2
1
= = F E

y 3 = K .

Se tiene entonces el polinomio ) (n P :
MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 14



- , 2 , 1 , 0 ,
2
3 2
3 3 1
2
1
=
+ +
= = n
n n
n n n n P

En vez de utilizar la formula recursiva (6), para obtener los coeficientes
- , 4 , 3 , 2 , = i a
i
, podemos utilizar la formula (5):




- , 2 , 1 , 0 , ) 1 (
2
3 2
1
2
=
+ +
=
+
n y
n n
y
n n

Encontremos los primeros trminos.
Para : 0 = n




0 2 0
2
3
! 2
1
3 ) 1 ( 3 1 c
y
a c y y =
' '
= = = ' '

Para : 1 = n




1 3 1
! 3
1
6 ) 1 ( 6 1 c
y
a c y y =
' ' '
= = ' = ' ' '

Para : 2 = n




0
4
4 0
4
5
! 4
1
30 ) 1 ( 10 1 c
y
a c y y
iv
= = = ' ' =

Para : 3 = n




1 5 1
4
3
! 5
1
90 ) 1 ( 15 1 c
y
a c y y
v
v
= = = ' ' ' =

Luego la solucin del P.V.I viene dada por




.
1
2
1 2
1
4
3
1 1
1
2
1 2
1
4
5
1
2
3
1
1 1 1 1
1
1 2 5 3
1
2 4 2
0
4
4
3
3
2
2 1 0
0

'
+

'

+
+
+ + +
+
'
+

'

+
+
+ + + + =
+ + + + + =
=
+

. .
. .
.
k
k
k
k
n
n
n
x
k
x x x c
x
k
x x c
x a x a x a x a a
x a x y

O en forma ms compacta:
MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 15


.
1
2
1 2
1
2
1 2
0
1 2
1
0
2
0


=
+

+
+
+
=
n
k
k
n
k
k
x
k
c x
k
c x y

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:

, 1 1 , 0 1
0 1 , 1 1
2 1
2 1
= ' =
'
= =
y y
y y

y por lo tanto
. 0 1 ,
2 1
{ y y W

Donde
2 1
, y y W denota el Wronskiano de las soluciones
1
y y
2
y , en las
cuales

.
. 1
2
1 2
, 1
2
1 2
0
1 2
2
0
2
1


=
+

+
=
+
=
n
k
k
n
k
k
x
k
x y x
k
x y


Ejemplo 6. Resolver el problema de valor inicial
1 . 6 1 1 , 0 ) 1 ( , 0 = ' = = + ' + ' ' y y xy y y x

Solucin.
Mtodo series de potencias:
Mediante el cambio de variable 1 = x u

, llevamos el problema al origen.
En efecto,
,
) 2 . 6 (
,
2
2
2
2
dx
y d
du
y d
dx
dy
du
dy
=
=

La ecuacin (6.1) toma la forma
1 0 , 0 ) 0 ( , 0 1 1
2
2
= ' = = + + + + y y y u
du
dy
du
y d
u

MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 16

Por lo tanto suponemos que la solucin la buscamos de la forma:

=
=
0
) (
k
k
k
u a u y

Que al reemplazar en la ecuacin diferencial, se obtiene
, 0 1 1 1
0 1
1
2
2
= + + + +


=

k
k
k
k
k
k
k
k
k
u a u u ka u a k k u

Relalizando las multiplicaciones
, 0 1 1
0 0
1
1
1
2
2
2
1
= + + + +


=

=
+

k k
k
k
k
k
k
k
k
k
k
k
k
k
k
u a u a u ka u a k k u a k k

Escibiendo todo en potencias de
k
u

, obtenemos
, 0 1 1 2 1
1 0
1
0
1
0
2
1
1
= + + + + + + + +


=

=
+

=
+

=
+
k k
k
k
k
k
k
k
k
k
k
k
k
k
k
u a u a u a k u a k k u a k k

Empezando todas las sumatorias desde 1 = k

, y organizando, se tiene
? A , 0 1 1 2 1 2
1
1 1 2 1 0 1 2
= + + + + + + + + + + +

=
+ + +
k
k
k k k k k
u a a a k a k k a k k a a a
mejor,
? A , 0 1 1 2 2
1
1 1
2
2 0 1 2
= + + + + + + + + +

=
+ +
k
k
k k k k
u a a a k a k k a a a

As pues,
3 . 6 . 1 , 0 1 1 2
, 0 2
1 1
2
2
0 1 2
u = + + + + + +
= + +
+ +
k a a a k a k k
a a a
k k k k

Usando las condiciones iniciales 1 0 , 0 ) 0 ( = ' = y y . Con lo que
1 , 0
1 0
= = a a . Reemplazando en (6.3), se tiene los primeros coeficientes:
,
6
1
,
6
1
,
2
1
4 3 2
= = = a a a

De donde
MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 17

. + + + =
6 6 2
) (
4 3 2
u u u
u u y
Y haciendo 1 = x u

, se tiene finalmente


. +

+ =
6
1
6
1
2
1
1 ) (
4 3 2
x x x
x x y

Donde la convergencia se tiene en el intervalo 2 , 0

por qu?

Mtodo series de Taylor:
Buscamos soluciones de la forma



. 1
!
1
0
n
n
n
x
n
y
x y =

=

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


2
1
! 2
1
, 1 1 , 0 ) 1 ( , 0
2 1 0
=
' '
= = ' = = = = + ' + ' '
y
a y a y a xy y y x




! 5
18
! 5
1
0 3 4
! 4
4
! 4
1
0 2 3
! 3
1
! 3
1
0 2
5
4
3
= = = ' ' + ' ' ' + +
= = = ' + ' ' + ' ' ' +
=
' ' '
= = + ' + ' ' + ' ' '
v
iv v
iv
iv
y
a y y x y xy
y
a y y x y xy
y
a y y x y y x

Siguiendo el proceso, se obtiene la formula recursiva:



. 3 , 0 ) 3 ( 1
3 2 ) 1 (
u = + + +

n y n xy y n xy
n n n n

De donde se sigue que la solucin en series de Taylor es dada por


. +

+ =
6
1
6
1
2
1
1 ) (
4 3 2
x x x
x x y

La misma solucin dada por el mtodo de los coeficientes indeterminados, pero
encontrada de una forma ms sencilla como puede verse.
En el ejemplo siguiente, encontraremos por el mtodo de Taylor , la solucin de
una de las ecuaciones diferenciales importantes que aparecen en la fsica.
MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 18


Ejemplo 7. (La ecuacin de Legendre) Encuentre la solucin en series Taylor
alrededor de x=0 para la solucin general de
1 . 7 0 1 2 1
2
2
2
= + + y
dx
dy
x
dx
y d
x E E
Solucin:
Buscamos la solucin general de la forma
2 . 7
0
n
n
n
x a x y

=
=
donde



- , 1 , 0 ,
!
0
= = n
n
y
a
n
n
y
1 1 0 0
0 , 0 c y a c y a = ' = = = .
Para encontrar el coeficiente
2
a , hacemos 0 = x en (7.1) y reemplazamos los
valores de : ,
1 1 0 0
c a c a = =
esto es,

0
1 ) 0 ( 1 0 0 ) 0 ( 1 0 c y y y y + = + = ' ' = + + ' ' E E E E E E
luego se tiene que

.
! 2
1
! 2
0
0 2
c
y
a
+
=
' '
=
E E

Ahora para obtener los coeficientes - , 4 , 3 , = i a
i
, deberemos derivar impl-
citamente con respecto a x la ecuacin (7.1) n veces, y sustituir los valores
encontrados de los
i
a anteriores.
Al derivar la ecuacin (7.1) implcitamente con respecto a x, se obtiene:
3 . 7 0 2 1 4 1
2
2
3
3
2
= + +
dx
dy
dx
y d
x
dx
y d
x E E
Haciendo 0 = x y reemplazando los valores de 0 , 0 , 0 y y y ' ' ' en (7.3) se
tiene:

1 1
1 2 2 1 ) 0 ( 2 1 0 c c y y + = + = ' + = ' ' ' E E E E E E
Luego se encuentra que

.
2 . 3
1 2
! 3
0
1 3
c
y
a
+
=
' ' '
=
E E

MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 19

Obtengamos ahora ,
4
a para lo cual derivamos implcitamente con respecto a
x la ecuacin (7.3) , se tiene:
4 . 7 0 6 1 6 1
2
2
3
3
4
4
2
= + +
dx
y d
dx
y d
x
dx
y d
x E E
Haciendo 0 = x y reemplazando los valores de 0 , 0 , 0 , 0 y y y y ' ' ' ' ' ' en (7.4) se
tiene:
? A
0 0
2 1 3 1 2 3 ) 0 ( 6 1 0 c c y y
iv
+ + = + + = ' ' + = E E E E E E E E E E
Luego se encuentra que


.
! 4
2 1 3
! 4
0
0 4
c
y
a
iv
+ +
= =
E E E E

Derivando la ecuacin (7.4) se tiene
5 . 7 0 12 1 8 1
3
3
4
4
5
5
2
= + +
dx
y d
dx
y d
x
dx
y d
x E E
Haciendo 0 = x y reemplazando los valores de 0 , 0 , 0 , 0 y y y y ' ' ' ' ' ' en (7.4) se
tiene:

? A
1 1
3 1 2 4 1 2 3 4
) 0 ( 12 1 0
c c
y y
v
+ + = + +
= ' ' ' + =
E E E E E E E E
E E

Encontrando que


.
! 5
3 1 2 4
! 4
0
1 5
c
y
a
v
+ +
= =
E E E E

Continuando el proceso, se obtiene la frmula siguiente para k=1,2,






.
! 1 2
1 2 3 1 2 2 2 2
1
,
! 2
2 2 2 1 3 2 1 2
1
1 1 2
0 2
c
k
k k k
a
c
k
k k k
a
k
k
k
k
+
+ + + +
=
+ + + +
=
+
E E E E E E
E E E E E E
. .
. .

Todos los coeficientes estan determinados en trminos de ahora ,
0
c y ,
1
c
por lo cual debemos tener
,
2 1 1 0
x y c x y c x y + =
donde
MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 20


.
+ +
+
+
=
4 2
1
! 4
2 1 3
! 2
1
1 ) ( x x x y
E E E E E E

O bien,



,
! 2
2 2 2 1 3 2 1 2
1 1 ) (
2
1
1
k
k
k
x
k
k k k
x y
+ + + +
+ =

=
E E E E E E . .

y


.
+ +
+
+
=
5 3
2
! 5
3 1 4 4
! 3
1 2
) ( x x x x y
E E E E E E

O bien,



,
! 1 2
1 2 3 1 2 2 2 2
1 1 ) (
1 2
1
1
+

=
+
+ + + +
+ =

k
k
k
x
k
k k k
x y
E E E E E E . .

Ambas , ) (
1
x y y , ) (
2
x y son soluciones de la ecuacin de Legendre, al tomar
respectivamente

, 1 0 , 0 0
0 0 , 1 0
1 0
1 0
= =
= =
c c
c c

Ellas forman una base para las soluciones, ya que


, 1 0 , 0 0
0 1 ,
0 0 , 1 0
2 1
2 1
2 1
=
'
=
'
{
= =
y y
y y W
y y

Donde
2 1
, y y W denota el Wronskiano de las soluciones
1
y y
2
y .
Observar que si E es un entero par no negativo
, ) , 2 , 1 , 0 ( , 2 . = = k k n
luego continuar




MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 21


Ejemplo 8. Resuelva la ecuacin diferencial
1 . 8 . 0 = + ' + ' ' xy y y x
Solucin.
Por el mtodo de Taylor.
Supongamos que las soluciones son de la forma

=0 n
n
n
x a con


!
0
n
y
a
n
n
= .
Para esto, pongamos

0 0
0
0
y y c = = y 0
1
y c ' = .
Haciendo 0 = x y reemplazando los valores anteriores en la ecuacin (8.1), se
tiene que . 0
1
= c
Derivando implcitamente con respecto a x la ecuacin (8.1), tenemos
2 . 8 0 2 0 = + ' + ' ' + ' ' ' = + ' + ' ' + ' ' + ' ' ' y y x y y x y y x y y y x
Haciendo 0 = x y reemplazando los valores anteriores en la ecuacin (8.2), se
tiene que

0
2
1
0
2
1
0 c y y = = ' '
Derivando la ltima ecuacin (8.2), tenemos
3 . 8 0 2 3 0 2 = ' + ' ' + ' ' ' + = ' + ' + ' ' + ' ' ' + ' ' ' + y y x y xy y y y x y y xy
iv iv

Haciendo 0 = x y reemplazando los valores anteriores en la ecuacin (8.3), se
tiene que
0
3
2
0
3
2
0
1
= = ' = ' ' ' c y y
Repitiendo el proceso anterior, se llega a la siguiente formula de recurrencia:





3 , 0 2 1
3 2 1
u = + + +

n y n xy y n xy
n n n n

Que al hacer 0 = x , y reemplazar los valores obtenidos, se obtiene





4 . 8 3 , 0
1
2
0
3 1
u

=

n y
n
n
y
n n

Encontremos varios valores
MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 22









/
,
2 . 4
5
2 . 4
3
6
5
0
6
5
0 : 7
, 0 0
5
4
0
5
4
0 : 6
,
2 . 4
3
2
1
4
3
0
4
3
0 : 5
, 0
2
1
0
3
2
0 : 4
,
2
1
0
2
1
0 : 3
0
2
0
0 0
1
0
0
c c y y n
y y n
c c y y n
c y y n
c y y n
iv vi
v
iv
=
'
+

'

= = =
= = ' ' ' = =
=
'
+

'

= ' ' = =
= = ' = ' ' ' =
= = ' ' =

Obtengamos ahora los coeficientes
n
a , note que la formula de recurrencia
(8.4) junto con 0
1
= c implica que todos los coeficientes con subndices
impares desaparecen, y







,
2 . 4 . 6 4 2 . 2 2 2
1
1
,
2 . 4 . 6
1
2 . 4
5
! 6
1
! 6
0
,
2 . 4
1
2 . 4
3
! 4
1
! 4
0
2
1
2
1
! 2
1
0
! 2
1
! 2
0
0
2 2 2 2 2 2
2
0 2 2 2 0 2 6
0
2 2
0 4
0
2
0
0
2
c
n n n
a
c c
y
a
c c
y
a
c c y
y
a
n
n
vi
iv
.
/

=
=
'
+

'

= =
=
'
+

'

= =
=
'
+

'

= =
' '
=

Entonces


5 . 8 .
4
!
1
8 6 4 2 6 4 2 4 2 2
0
2
2
0
8
2 2 2 2
0 6
2 2 2
0 4
2 2
0 2
2
0
0
n
n
x
n
c
x
c
x
c
x
c
x
c
c x y

'
+

'

=
+ + + = .

La serie (8.5) se usa frecuentemente en matemticas aplicadas y recibe el
nombre de funcin de Bessel de orden ). (
0
x J
MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 23

Deber observarse que el mtodo de Taylor ha producido slo una de las solu-
soluciones de la ec. (8.1). Para hallar la otra solucin linealmente
independiente, usamos la formula
? A

=
2
1
1 2
x y x
dx
x y x y
Entonces la otra solucin ser:

? A

=
2
0
0 2
x J x
dx
x J x y

La solucin general viene dada por

? A
.
2
0
0 0

+ =
x J x
dx
x BJ x AJ x y


En nuestro prximo ejemplo encontraremos una situacin en la cual el mtodo
de Taylor no da ninguna solucin (como es el caso cuando se usa series de po-
tencias).

Ejemplo 9. Considere la ecuacin de Euler
1 . 9 . 0
2
= + ' + ' ' y y x y x
Solucin.
Ya que este problema no contiene condiciones iniciales, pongamos
0
) 0 ( c y = , y
1
) 0 ( c y = ' . Con lo cual al reemplazar el valor de
0
) 0 ( , 0 c y x = = y
1
) 0 ( c y = ' en la
ecuacin diferencial, tenemos
0 . 0 0 0 0 0 0
0
2
= = + ' + ' ' c y y y .
Al derivar implctamente con respecto a x en la ecuacin diferencial (9.1), se
tiene
0 2 3 0 2
2 2
= ' + ' ' ' + ' ' = ' + ' + ' ' + ' ' ' + ' ' y y x y x y y y x y x y x
Reemplazando los valores de
1
) 0 ( , 0 c y x = ' = en la ltima ecuacin diferencial,
tenemos
0 0 0 2 0 0 0 0 3
1
2
= = ' + ' ' ' + ' ' c y y y .
MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 24

Como todas las derivadas evaluadas en , 0 = x estarn en trminos de ,
0
c y de
,
1
c entonces todos los
n
a desaparecern, y por lo tanto arrojar la solucin
0 = x y . As en este caso el mtodo de Taylor falla para encontrar la solucin
de la ecuacin diferencial de Euler, la cual es
. ln sin ln cos x BA x A x y + =
En el prximo ejemplo, aplicaremos el mtodo del desarrollo de Taylor para
encontrar la solucin de una ecuacin diferencial, en donde los coeficientes de
la ecuacin (1) ya no son polinomios.

Ejemplo 10. Resolver el problema de valor inicial
1 . 10 1 0 , 1 ) 0 ( , 0 = ' = = ' ' y y y e y
x

Solucin.
Ntese que en la ecuacin diferencial todos los puntos son ordinarios.
Buscamos una solucin de la forma:
n
n
n
x a x y

=
=
0
donde


. 0 ,
!
0
u = n
n
y
a
n
n

Para esto, despejamos x y ' ' en la ecuacin, reemplazando los valores
1 0 , 1 0
1 0
= ' = = = y a y a para obtener as
2
a :



2
1
! 2
0
1 0 ) 0 (
) 2 . 10 ( ) (
2
0
=
' '
= = = ' '
= ' '
y
a y e y
x y e x y
x

Derivamos (10.2) y reemplazamos los valores encontrados de los aes.



3
1
! 3
2
! 3
0
2 0 0 ) 0 (
) 3 . 10 ( ) (
3
0
= =
' ' '
= = ' + = ' ' '
' + = ' + = ' ' '
y
a y y e y
x y x y e x y e x y e x y
x x x

Derivamos nuevamente (10.3) y reemplazamos



2 . 3
1
! 4
4
! 4
0
4 0 0 2 0 ) 0 (
) 4 . 10 ( 2 ) (
4
0
= =
' ' '
= = ' ' + ' + =
' ' + ' + = ' ' + ' + ' + =
y
a y y y e y
x y x y x y e x y x y e x y x y e x y
iv
x x x iv

Siguiendo el proceso, encontramos la siguiente frmula para

x y
n 2 +
por lo
tanto para :
2 + n
a
MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 25












. 0 ,
)! 2 (
0
)! 2 (
0
0 ) 0 (
) (
1 1 0
) (
0
) 2 (
2
0
0 2
0
) ( 1 2
u
+

'
+

'

=
+
= =

'
+

'

'
+

'

'
+

'

'
+

'

+ + ' '

'
+

'

+ '

'
+

'

+ =

=
+
+
=
+
=
+
n
n
y
k
n
n
y
a y
k
n
e y
x y
k
n
e
x y x y
n
n
x y
n
x y
n
x y e x y
n
k
k
n
n
n
k
k n
n
k
k x
n n x n
.

luego la solucin general viene dada por

.
315
2
45
1
15
1
6
1
3
1
2
1
1
)! 2 (
2
1
1
7 6 5 4 3 2
0
2
0
2
2
. + + + + + + + + =
+
+ + =
+ + =

=
+

=
+
+
x x x x x x x x
n
x
x a x x y
n
n
n
n
n
n

La serie converge para todo . R x



Realicemos este mismo ejemplo, pero ahora usando solucin en series de
potencias. Para esto necesitamos del siguiente teorema.
MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 26


intervalo. este en x todo para

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

serie la Entonces . 0 , intervalo el en es convergent
y
Sean .
0 0 0
0
0
0 0
k
k
k
k
k
k
k
k
k
k
j
j k j k
k
k
k
k
k
k
k
k
k
x c x b x a
y R x
b a c
x c
R R x
A x b x a

=
=

=
=

'
+

'

'
+

'

=
>
Teorema

Cuando se expresa en trminos de funciones analticas este teorema afirma
que el producto de dos funciones analticas en el intervalo I , f y g, es tambin
l mismo una funcin analtica en I, y que su expansin en series de potencias
alrededor de cualquier punto
0
x

en I es el producto de Cauchy de las
expansiones en serie de potencias de f y g alrededor de
0
x .


Ahora ya podemos seguir con el ejemplo anterior.
Suponemos la solucin de la forma
k
k
k
x a x y

=
=
0
) (
Al reemplazar en la ecuacin diferencial nos da
, 0 ) 1 (
0
2
2
=


=

=
k
k
k
x k
k
k
x a e x a k k
o bien,
MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 27

5 . 10 , 0
!
) 1 (
0 0
2
2
=

'
+

'

'
+

'

=
k
k
k
k
k
k
k
k
x a
k
x
x a k k
Ahora aplicamos el teorema anterior, para escribir el producto de las dos series
en la siguiente forma:



.
!
! 2 ! 3 ! 2
! 3 ! 2
1
!
0 0
3
3 2
1 0 2
2 1
0
1 0 0
3 2
3
3
2
2 1 0
0 0
k
k
k
j
j
k
k
k
k
k
x
j k
a
x a a
a a
x a a
a
x a a a
x x
x x a x a x a a x a
k
x

= =

'
+

'

=
+
'
+

'

+ + + +
'
+

'

+ + + + + =

'
+

'

+ + + + + + + + =

'
+

'

'
+

'

.
. .

Sustituyendo esta expresin en (10.5), obtenemos


, 0
!
) 1 ( 2
0 0
2
=

+ +

= =
+
k
k
k
j
j
k
x
j k
a
a k k
De esto ltimo se sigue que

. 0 ,
! ) 1 ( 2
1
0
2
u
+ +
=

=
+
k
j k
a
k k
a
k
j
j
k

En particular,
,
12 2 12
1
,
6
,
2
1 0
2 1
0
4
1 0
3
0
2
a a
a a
a
a
a a
a
a
a
+
=
'
+

'

+ + =
+
=
=

etc., y en principio todos los
k
a pueden calcularse en trminos de
0
a y
1
a .
Reemplazando los valores de 1 , 1
1 0
= = a a se tiene.
/
,
6
1
,
3
1
,
2
1
4
3
2
=
=
=
a
a
a

MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 28


Luego la solucin del problema de valor inicial viene dado por
.
6
1
3
1
2
1
1
4 3 2
. + + + + + = x x x x x y
Deber notarse que la solucin obtenida por series de potencias es ms pobre
que la obtenida por Taylor.
Ejercicio . Encuentre una series de potencias para la solucin general de la
ecuacin diferencial
0 sin = + ' + ' ' y e y x x y
x

Los prximos ejemplos tratan con ecuaciones diferenciales no lineales.

Ejemplo 11. Encuentre la solucin en series de potencias y en series de
Taylor del problema de valor inicial
1 . 11 . 0 0 ; 1
2
= + = ' y y y
Solucin.
La ecuacin diferencial (11.1) no es lineal, sin embargo, se conoce su solucin
mediante el uso de separacin de variables, a saber, .
2
,
2
, tan
'
+

'

=
x x
x x x y
Mtodo series de potencias:
Suponemos que la ec. (11.1) tiene como solucin
2 . 11 .
0

=
=
n
n
n
x a x y
Derivando, se tiene
3 . 11 . 1
0
1
1
1


=
+

+ = = '
n
n
n
n
n
n
x a n x na x y


evaluando la ec. (11.1) en 0 = x e imponiendo la condicin inicial, se
encuentra que
0
0 ) 0 ( a y = = . Reemplazando (11.2) , (11.3) en (11.1) vemos
que los coeficientes de la serie
n
a , deben satisfacer
MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 29

4 . 11 . 1 1 1
0 0
2
0 0
1


= =

=
+

'
+

'

+ =

'
+

'

+ = +
n
n
k
k n k
n
n
n
n
n
n
a a x a x a n
Igualando los coeficientes, obtenemos

.
15
2
,
3
2
2 2 5 : 4
0 , 0 2 2 4 : 3
3
1
, 1 2 3 : 2
0 , 0 2 2 : 1
1 1 : 0
5
2
2 3 1 4 0 5
4 2 1 3 0 4
3
2
1 2 0 3
2 1 0 2
2
0 1
= = + + = =
= = + = =
= = + = =
= = = =
= + = =
a a a a a a a n
a a a a a a n
a a a a a n
a a a a n
a a n

En general,

>
= + =

=

. 1 impar, es n si ,
1
1 si , 1
par es n si , 0
1
0
1
2
0
n a a
n
n a a
n
k
k n k
n

As, estamos en capacidad de calcular en forma recurrentelos coeficientes de
la serie pero no somos capaces de expresar fcilmente explcitamente en
n
a
como funcin de n. Por tanto, no podemos calcular el radio de convergencia
directamente. Sin embargo sabemos, que el radio de convergencia es . 2 / x
Luego la solucin del problema de valor inicial viene dado por
.
2
,
2
.
15
2
3
1
5 3

'
+

'

+ + + =
x x
x x x x x y .
Mtodo series de Taylor:
Supongamos que las soluciones son de la forma

=0 n
n
n
x a con


!
0
n
y
a
n
n
= .
Se tiene inicialmente que 0 ) 0 (
0
= = y a .
Haciendo 0 = x y reemplazando el valor de 0 0 = y en la ecuacin (11.1), se
tiene que


1
! 1
0
, 1 0 1 0
1
2
=
'
= = + = '
y
a y y
MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 30

Derivando implcitamente con respecto a x la ecuacin (11.1), tenemos
5 . 11 2 y y y ' = ' '
Haciendo 0 = x y reemplazando los valores anteriores 1 0 , 0 0 = ' = y y en la
ecuacin (11.5), tenemos que


. 0
! 2
0
, 0 0 0 2 0
2
=
' '
= = ' = ' '
y
a y y y
Repitiendo el proceso una vez



3
1
! 3
0
, 2 ) 1 ( 2 ) 1 )( 0 ( 2 0 2 0 0 2 0
2 2
3
2 2
2
=
' ' '
= = + = ' + ' ' = ' ' '
' + ' ' = ' ' '
y
a y y y y
y y y y

Otra vez,



0
! 4
0
, 0 0 ) 1 ( 6 ) 2 )( 0 ( 2 0 0 6 0 0 2 0
6 2 4 2 2
4
= = = + = ' ' ' + ' ' ' =
' ' ' + ' ' ' = ' ' ' + ' ' ' + ' ' ' =
iv
iv
iv
y
a y y y y y
y y y y y y y y y y y


Y otra vez..




15
2
! 5
0
,
3
8
0 6
3
1
) 1 ( 8 ) 0 )( 0 ( 2
0 6 0 0 8 0 0 2 0
6 8 2 6 6 2 2
5
2
2
2
= = = +
'
+

'

+ =
' ' + ' ' ' ' + =
' ' + ' ' ' ' + = ' ' ' ' + ' ' ' ' + ' ' ' ' + =
v
iv v
iv iv v
y
a
y y y y y y
y y y yy y y y y y y yy y

Hagamslo una vez ms



0
! 6
0
0 0 0 20 0 0 10 0 0 2 0
20 10 2 12 8 8 2 2
6
= = = ' ' ' ' ' + ' + =
' ' ' ' ' + ' + = ' ' ' ' ' + ' ' ' ' ' + ' + ' + =
vi
iv v vi
iv v iv iv v vi
y
a y y y y y y y
y y y y yy y y y y y y y y yy y

Por ltima vez
MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 31




.
21
2
! 7
112
112
2 20
3
8
) 1 ( 12
0 20 0 0 30 0 0 12 0 0 2 0
20 30 12 2
20 20 10 10 2 2
6
2
2
2
= = =
+
'
+

'

=
' ' ' + ' ' + ' + =
' ' ' + ' ' + ' + =
' ' ' ' ' ' + ' ' + ' ' + ' + ' + =
a
y y y y y y y y
y y y y y yy
y y y y y y y y y y yy y
iv v vi vii
iv v vi
iv iv v v vi vii

Luego la solucin del problema de valor inicial viene dado por
.
2
,
2
.
810
23
21
2
15
2
3
1
9 7 5 3

'
+

'

+ + + + + =
x x
x x x x x x x y .

Esto es,
.
2
,
2
.
810
23
21
2
15
2
3
1
tan
9 7 5 3

'
+

'

+ + + + + <
x x
x x x x x x x .

Notse que estamos en capacidad de de calcular en forma recurrente los coe-
ficientes de la serie pero no somos capaces de expresar facilmente a_n expl-
citamente como funcin de n. De nuevo no podemos enciontrar su radio de
con-vergencia.
Pero si podemos calcular recurrentemente tantos coeficientes de la serie como
sea necesario para producir una solucin con una exactitud deseada.
Esto es lo que pasa cuando se trata de encontrar solucin en series de proble-
mas no lineales.


MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 32


Ejemplo 11. Encuentre la solucin en series de potencias y en series de Taylor
del problema de valor inicial
1 . 12 . 0 0 ; = + = '

y e x y
y

Solucin.
En este problema podemos encontrar su solucin en forma analtica como
sigue:
Haciendo
y
e u

= , se tiene que
2 . 12
dx
dy
e
dx
du
y
=
As que multiplicamos la ec. (12.1) por
y
e

, para obtener
y y y
e xe
dx
dy
e
2
=
O bien, el siguiente problema de valor inicial equivalente
3 . 12 ,
2
u xu
dx
du
= +

La ecuacin diferencial (12.3) es de tipo Bernoulli, por lo tanto haremos la
sustitucin
4 . 12 ,
1
= u w

Con lo cual se tiene
dx
du
u
dx
dw
2
=

Multiplicando a ambos miembros de la ecuacin (12.3) por
2
u , se obtiene
, 1
1 2
=

xu
dx
du
u
O bien, ya que ? A 1 0 0 ,
1 1
= = =

u w u w

5 . 12 1 0 , 1 = = w xw
dx
dw

MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 33

La ecuacin (12.5) resulta ser lineal, se encuentra que el factor integrante viene
a ser
2
0
2
exp
x
x
e tdt x

Q
.
Multiplicando la ecuacin (12.5) por el factor integrante, se tiene
,
2 2
2 2
x x
e w e
dx
d

=


Luego la solucin de (12.5) es obtenida como
6 . 12 ,
0
2 2
2 2

+ =


dt e C e x w
x
t x

Reemplazando la condicin inicial para encontrar C, obtenemos


1 , 0 1
0
0
2 2
0
2 2
=

+ = =


C dt e C e w
t

As que al devolvernos, tenemos:

dt e
e
x u dt e e
x u
x
t
x
x
t x

+
=

+ =
0
2
2
0
2 2
2
2
2 2
1
) ( , 1
1

Pero
y
e u

= .

+ =

+
=
+
=

dt e e y
dt e
e
y
dt e
e
e
x
t x
x
t
x
x
t
x
y
0
2 2
0
2
2
0
2
2
2 2
2
2
2
2
1 ln ln
1
ln
1

O finalmente,
2755 . 1 ,
2
2
1 ln
2
1 ln
2
2
0
2
2
2
>

'
+

'

+ + =

+ + =


x
x
erf
x
dt e
x
x y
x
t
x

donde la funcin de error erf(x) viene dada por:
.
2
) (
0
2
dt e x erf
x
t


=
x

Ahora encontremos su solucin por el mtodo de las series de Taylor:
MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 34

Supongamos que las soluciones son de la forma

=0 n
n
n
x a con


!
0
n
y
a
n
n
= .
Se tiene inicialmente que 0 ) 0 (
0
= = y a .
Haciendo 0 = x y reemplazando el valor de 0 0 = y en la ecuacin (12.1), se
tiene que



1
! 1
0
, 1 0 0
1
0
=
'
= = + = '

y
a e y
Derivando implcitamente con respecto a x la ecuacin (12.1), tenemos
7 . 12 1 y e y
y
' = ' '


Haciendo 0 = x y reemplazando los valores anteriores 1 0 , 0 0 = ' = y y en la
ecuacin (12.7), tenemos que




. 0
! 2
0
, 0 0 1 0
2
0
=
' '
= = ' = ' '

y
a y e y
Derivando nuevamente la ecuacin (12.7) con respecto a x, se tiene
8 . 12 , y y e y e y e y
y y y
' ' ' = ' ' ' = ' ' '


Haciendo 0 = x y reemplazando los valores anteriores 1 0 , 0 0 = ' = y y y
0 0 = ' ' y en la ecuacin (12.8), tenemos que




! 3
1
! 3
0
, 1 0 0 0
3
0
=
' ' '
= = ' ' ' = ' ' '

y
a y y e y
Repitiendo el proceso anterior
, 2 y y y e y
y iv
' + ' ' ' ' ' =






! 4
2
! 4
0
, 2 0 0 2 0 0
4
0
= = = ' + ' ' ' ' ' =

iv
iv
y
a y y y e y
Repetiremos el proceso unas cuantas veces

, 3 3 y y y y e y
iv y v
' ' ' + ' ' ' =






! 5
6
! 5
0
, 6 0 0 3 0 3 0 0
5
0
= = = ' ' ' + ' ' ' =

v
iv v
y
a y y y y e y

MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 35

, 4 6 4 y y y y y e y
iv v y vi
' + ' ' ' ' ' + =






! 6
21
! 6
0
, 21 0 0 4 0 6 0 4 0 0
6
0
= = = ' + ' ' ' ' ' + =

v
iv v vi
y
a y y y y y e y

Siguiendo el proceso, encontramos la siguiente frmula para

x y
k
por lo
tanto una formula un tanto no obvia para :
k
a












=

+

'
+

'

=

'
+

'

' +

'
+

'

'
+

'

+

'
+

'

=
2
0
1
1 2
3 2 1
2
1
) ( 1
3
2
1
2
2
1
2
) (
n
k
k n k y
n n
n n n
y n
x y
k
n
e
x y x y
n
n
x y
n
x y
n
x y
e x y
.

Que al evaluar en 0 = x , obtenemos:



'
+

'

=
2
0
1
0
2
1 ) 0 (
n
k
k n k n
y
k
n
y

De aqu una formula para los coeficientes :
k
a




. 0 ,
!
0
2
1
!
0
2
0
1
) (
u

'
+

'


= =

=

n
n
y
k
n
n
y
a
n
k
k n k
n
n


Se deja como ejercicio resolver el mismo problema de valor inicial con el
mtodo de las series de potencias.
MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO- UNIVERSIDAD EAFIT- 2010 Pgina 36




Bibilografa.
1. Charles E. Roberts Jr., Ecuaciones Diferenciales Ordinarias. Un enfoque al
clculo numrico. 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. Garca J. O, Villegas G., J. Castao B., J, Snchez C., J. Ecuaciones
Diferenciales. Fondo Editorial Universidad EAFIT, 2010.