Metodotaylor 01

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

1

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



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

Notando que
( )
( ) 1 0 ) 0 (
0
= = y y y 0 ) 0 ( = y y reemplazando en la ecuacin (S.T) se
obtiene la solucin
( ) 2 . 1
10 3
1 ) (
5 3
L + + =
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 obtiene

0
1 ) 0 ( a u = = . 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
L L + + + = + + + + +
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
L , 0 ,
10
1
, 0 ,
3
1
, 0 , 1
6 5 4 3 2 1
= = = = = = a a a a a a



En general, se tiene
( )
( )( )
L , 3 , 2 , 1
! 1 1 2
1
0
1 2
1 2
2
=

=
=
n
n n
a
a
n
n
n

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:
( )
( )
( )
( ) ( )
( )
L , 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


( )
( )
( )
( )
( )
( ) ( )
( ) ( )
L , 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

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:
Ecuacin de Legendre:
2

( ) ( ) ( ) 2 , 0 1 2 1
2
2
2
= + + y
dx
dy
x
dx
y d
x
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
Ecuacin de Hermite:
( ) 5 , 0 2 2
2
2
= + y
dx
dy
x
dx
y d

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

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

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
Solucin:
Buscamos la solucin general de la forma


( ) ( ) 2 . 2
0
n
n
n
x a x y

=
=
donde

( )
( )
K , 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 = = = +
luego se tiene que
( )
.
! 2 ! 2
0
0 2
c
y
a

=

=
Ahora para obtener los coeficientes K , 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
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 + = + = = + +
Luego se encuentra que
( ) ( )
.
! 3 ! 3
0
1 3
c
y
a
+
=

=
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
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
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
+ + = + + = = + + +

( ) ( )
.
! 4
2 2
! 4
0
0 4
c
y
a
iv
+ +
= =
Continuando el proceso, se obtiene la frmula siguiente:
( )
( ) ( ) ( )
( )
( ) 5 . 2 , 2 , 1 , 0 , ) 0 ( 1 0
2
K = + + =
+
n y n n n y
n n

Llamando
( ) ( ) ( ) K , 2 , 1 , 0 , 1 = + + = n n n n n P
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 K , 2 , 1 , 0 , = i a
i

( )
( )( )
( ) 6 . 2 , 1 , 0 ,
1 2
2
K =
+ +
=
+
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 = =

y 2 = .

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

( )
L , 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
L =
=

=
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
L =
+
=
=
+
k c
i
k
a
k
i
k
k
k

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 =

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 = es la distancia del punto 0
0
= x a 2 i x = 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:
La ecuacin tiene la forma de (1), reconocemos 10 , 2 = =

y 8 = 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
K , 4 , 3 , 2 , = i a
i
, podemos utilizar la formula (5):
( )
( ) ( )
( )
K , 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
L
L
+ + + + =
+ + + + + =
=
=
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 solucin por los
polinomios de Taylor ser de la forma
( ) ( ) .
0
0
n
n
n
x x a x y =
=



donde
( )
( )
K , 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

Se puede demostrar
( )
( ) ( ) ( )
( )
K , 2 , 1 , 0 , ) ( 1
0 0
2
= + + =
+
n x y n n n x y
n n

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
= =

y 3 = .

Se tiene entonces el polinomio ) (n P :
( ) ( )
( )( )
K , 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
K , 4 , 3 , 2 , = i a
i
, podemos utilizar la formula (5):
( )
( )
( )( )
( )
K , 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
|
.
|
\
|
+
+
+ + +
+ |
.
|
\
|
+
+
+ + + + =
+ + + + + =
=
+
L L
L L
L
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:
( ) ( ) ( )
.
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

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

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

Realizando 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

Escribiendo 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
( ) ( )( ) ( ) | | , 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,
( )( ) ( ) | | , 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
= + + + + + +
= + +
+ +
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
L + + + =
6 6 2
) (
4 3 2
u u u
u u y
Y haciendo 1 = x u

, se tiene finalmente
( )
( ) ( ) ( )
L +
+ =
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 (
= + + +

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
( )
( ) ( ) ( )
L +
+ =
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.

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
Solucin:
Buscamos la solucin general de la forma


( ) ( ) 2 . 7
0
n
n
n
x a x y

=
=
donde

( )
( )
K , 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 + = + = = + +
luego se tiene que
( ) ( )
.
! 2
1
! 2
0
0 2
c
y
a
+
=

=

Ahora para obtener los coeficientes K , 4 , 3 , = i a
i
, deberemos derivar
implcitamente 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
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 + = + = + =
( ) ( )( )
.
2 . 3
1 2
! 3
0
1 3
c
y
a
+
=

=

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
tiene:
( ) ( ) ( ) ( )( ) ( ) | | ( )( ) ( )
0 0
2 1 3 1 2 3 ) 0 ( 6 1 0 c c y y
iv
+ + = + + = + =


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

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
tiene:
( ) ( ) ( )
( )( ) ( )( ) | | ( )( )( )( )
1 1
3 1 2 4 1 2 3 4
) 0 ( 12 1 0
c c
y y
v
+ + = + +
= + =

Encontrando que

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

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
+
+ + + +
=
+ + + +
=
+

L L
L L

Todos los coeficientes estn 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
( ) ( )( ) ( )
L
+ +
+
+
=
4 2
1
! 4
2 1 3
! 2
1
1 ) ( x x x y

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
+ + + +
+ =

=
L L

y

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

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
L L

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 es un entero par no negativo
, ) , 2 , 1 , 0 ( , 2 L = = k k n
luego continuar

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

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
= + + +

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
=

n y
n
n
y
n n

Encontremos varios valores

( )
( )
( )
( ) ( )
( ) ( )
( ) ( ) ( )
( ) ( )
M
,
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 frmula 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
L
M

=
=
|
.
|
\
|
= =
= |
.
|
\
|
= =
=
|
.
|
\
|
= =

=

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
=
|
|
.
|
\
|
=
+ + + = L

La serie (8.5) se usa frecuentemente en matemticas aplicadas y recibe el
nombre de funcin de Bessel de orden ). (
0
x J
Deber observarse que el mtodo de Taylor ha producido slo una de las soluciones
de la ecuacin (8.1). Para hallar la otra solucin linealmente independiente, usamos
la formula ( ) ( )
( ) | |
=
2
1
1 2
x y x
dx
x y x y
Entonces la otra solucin ser:
( ) ( )
( ) | |
=
2
0
0 2
x J x
dx
x J x y

La solucin general viene dada por
( ) ( ) ( )
( ) | |
.
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 potencias).

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 implcitamente 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 .
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.

( ) ( ) 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
= 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
( )
( ) ( ) ( )
( )
( )
( )
( )
( ) ( )
( )
( )
( )
( )
. 0 ,
)! 2 (
0
)! 2 (
0
0 ) 0 (
) (
1 1 0
) (
0
) 2 (
2
0
0 2
0
) ( 1 2
+
|
|
.
|
\
|
=
+
= =
|
|
.
|
\
|
=
|
|
.
|
\
|
=
|
|
.
|
\
|
+
|
|
.
|
\
|
+ +
|
|
.
|
\
|
+
|
|
.
|
\
|
+ =
=
+
+
=
+
=
+
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
L

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
L + + + + + + + + =
+
+ + =
+ + =
=
+
=
+
+
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.
( )
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,
( ) 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

= =
=
|
|
.
|
\
|
=
+ |
.
|
\
|
+ + + + |
.
|
\
|
+ + + + + =
|
|
.
|
\
|
+ + + + + + + + =
|
|
.
|
\
|
|
|
.
|
\
|
L
L L

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

+ +
=

=
+
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.
M
,
6
1
,
3
1
,
2
1
4
3
2
=
=
=
a
a
a

Luego la solucin del problema de valor inicial viene dado por
( ) .
6
1
3
1
2
1
1
4 3 2
L + + + + + = 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 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
( ) ( ) 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 recurrente los 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 /


( ) .
2
,
2
.
15
2
3
1
5 3
|
.
|
\
|
+ + + =

x x x x x y L
Mtodo series de Taylor:
=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
( ) 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
( )
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
( )
.
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

( ) .
2
,
2
.
810
23
21
2
15
2
3
1
9 7 5 3
|
.
|
\
|
+ + + + + =

x x x x x x x y L

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

x x x x x x x L

Ntese que estamos en capacidad de calcular en forma recurrente los coeficientes
de la serie pero no somos capaces de expresar fcilmente a_n explcitamente como
funcin 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 solucin con una exactitud deseada.
Esto es lo que pasa cuando se trata de encontrar solucin en series de problemas
no lineales.



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 ( ) ( ) | | 1 0 0 ,
1 1
= = =

u w u w

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

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

=
(
.
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

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

Ahora encontremos su solucin por el mtodo de las series de Taylor:
=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
( ) 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

( ), 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
L

Que al evaluar en x=0, obtenemos:
( )
( )
( )
( )
=

|
|
.
|
\
|
=
2
0
1
0
2
1 ) 0 (
n
k
k n k n
y
k
n
y

De aqu una frmula para los coeficientes :
k
a
( )
( )
( )
( )
. 0 ,
!
0
2
1
!
0
2
0
1
) (
(
(
|
|
.
|
\
|

= =

=

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



Bibilografa.
1. Charles E. Robertrs 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.A. Ecuaciones
Diferenciales. Fondo Editorial Universidad EAFIT, 2010.

Metodotaylor 01

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Metodotaylor 01

Diunggah oleh

Hak Cipta:

Format Tersedia

MTODO DE SERIES DE TAYLOR

JOS ALBEIRO SNCHEZ CANO UNIVERSIDAD EAFIT 2010 Pgina 1

Anda mungkin juga menyukai