29.12.2014 Views

método de las series de taylor para resolver ecuaciones ... - Casanchi

método de las series de taylor para resolver ecuaciones ... - Casanchi

método de las series de taylor para resolver ecuaciones ... - Casanchi

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

MÉTODO DE SERIES DE TAYLOR<br />

MÉTODO DE LAS SERIES DE<br />

TAYLOR PARA RESOLVER<br />

ECUACIONES DIFERENCIALES<br />

LINEALES Y NO LINEALES<br />

Profesor: José Albeiro Sánchez Cano<br />

Departamento <strong>de</strong> Ciencias Básicas<br />

Universidad EAFIT<br />

josanche@eafit.edu.co<br />

Objetivo: Aplicar el método <strong>de</strong> Taylor <strong>para</strong> <strong>resolver</strong> <strong>ecuaciones</strong> diferenciales, que<br />

como se verá es la misma solución que proporciona la solución en <strong>series</strong> <strong>de</strong><br />

potencias (o <strong>de</strong> coeficientes in<strong>de</strong>terminados). Esto es, si la solución en <strong>series</strong> <strong>de</strong><br />

potencias arroja la solución en una formula cerrada, se tendrá entonces que la<br />

solución dada por los polinomios <strong>de</strong> Taylor también entregará dicha solución en<br />

forma cerrada.<br />

Por lo tanto, en el caso <strong>de</strong> solución en puntos ordinarios, <strong>de</strong>bería <strong>de</strong> enseñarse el<br />

método <strong>de</strong> <strong>de</strong>sarrollo <strong>de</strong> Taylor, pues viene a ser mucho más cómodo <strong>para</strong> un<br />

estudiante <strong>de</strong> <strong>ecuaciones</strong> diferenciales, pues cuando se trabaja con solución<br />

mediante <strong>series</strong> <strong>de</strong> potencias, el acomodo <strong>de</strong> los índices <strong>de</strong> la sumatoria siempre es<br />

un poco confuso <strong>para</strong> ellos. Sin embargo ambos métodos son en esencia los<br />

mismos.<br />

Veamos en que consiste cada método.<br />

El método <strong>de</strong> <strong>las</strong> <strong>series</strong> <strong>de</strong> Taylor <strong>para</strong> obtener soluciones numéricas <strong>de</strong> <strong>las</strong><br />

<strong>ecuaciones</strong> diferenciales, consiste en calcular <strong>las</strong> <strong>de</strong>rivadas sucesivas <strong>de</strong> la ecuación<br />

diferencial dada, evaluando <strong>las</strong> <strong>de</strong>rivadas en el punto inicial x 0<br />

y reemplazando el<br />

resultado en la serie <strong>de</strong> Taylor. La principal dificultad <strong>de</strong> este método es el cálculo<br />

recurrente <strong>de</strong> <strong>las</strong> <strong>de</strong>rivadas <strong>de</strong> or<strong>de</strong>n superior.<br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 1


MÉTODO DE SERIES DE TAYLOR<br />

El método <strong>de</strong><strong>las</strong> <strong>series</strong> <strong>de</strong> potencias o coeficientes in<strong>de</strong>terminados consiste<br />

n<br />

en suponer una solución en la forma y( x) a ( x − x ) ( S P)<br />

= ∑<br />

∞<br />

n=<br />

0<br />

n 0<br />

.<br />

. Esta ecuación<br />

se <strong>de</strong>riva tantas veces como sea necesario <strong>para</strong> obtener expresiones en serie <strong>de</strong><br />

todas <strong>las</strong> <strong>de</strong>rivadas que aparecen en la ecuación diferencial y se reemplazan en la<br />

ecuación diferencial dada <strong>para</strong> obtener los coeficientes a<br />

n.<br />

La dificultad <strong>de</strong> este<br />

método es la manipulación <strong>de</strong> <strong>las</strong> <strong>series</strong> que se puedan necesitar y la obtención <strong>de</strong><br />

los coeficientes <strong>de</strong> <strong>las</strong> <strong>series</strong>.<br />

Pero los métodos son esencialmente los mismos. En efecto, los coeficientes que<br />

aparecen en la serie <strong>de</strong> potencias, a y los coeficientes en el método <strong>de</strong> Taylor ,<br />

( )<br />

( x )<br />

y n<br />

n!<br />

0<br />

vienen relacionados por la formula<br />

método <strong>de</strong> Taylor viene dada por<br />

n<br />

y ( x)<br />

=<br />

∑ ∞<br />

n=<br />

0<br />

y<br />

a<br />

y<br />

( n )<br />

( x )<br />

n!<br />

0<br />

n<br />

= . La solución por el<br />

( n )<br />

( x0<br />

) ( − )<br />

n<br />

x x ( S.<br />

T ) .<br />

n!<br />

0<br />

En el libro <strong>de</strong> <strong>ecuaciones</strong> diferenciales [1] 1 utilizan ambos métodos <strong>para</strong> <strong>resolver</strong><br />

el siguiente problema <strong>de</strong> valor inicial:<br />

Ejemplo 1. Resolver el problema <strong>de</strong> valor inicial<br />

dy<br />

dx<br />

2<br />

= − x<br />

e , y(0)<br />

= 1<br />

( 1.1)<br />

Solución.<br />

−t<br />

Observar que la solución <strong>de</strong> (1.1) se pue<strong>de</strong> escribir como y( x) = 1+<br />

e dt.<br />

Ya que no hay funciones elementales <strong>para</strong> calcular la integral anterior, por lo tanto<br />

no se podría escribir la solución en forma cerrada y por consiguiente tendríamos<br />

que conformarnos con alguna aproximación numérica.<br />

Apliquemos inicialmente el método <strong>de</strong> Taylor. Para esto <strong>de</strong>bemos calcular <strong>las</strong><br />

<strong>de</strong>rivadas sucesivas y evaluándo<strong>las</strong> en x = 0 <strong>para</strong> obtener:<br />

∫<br />

0<br />

x<br />

2<br />

1 1 [1] Ecuaciones Diferenciales Ordinarias. Un enfoque al cálculo numérico.Charles E.<br />

Robertrs Jr.,<br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 2


MÉTODO DE SERIES DE TAYLOR<br />

y ′′<br />

y ′′′<br />

y<br />

y<br />

v<br />

2<br />

−x<br />

( x) = −2xe<br />

;<br />

y′′<br />

( 0)<br />

iv<br />

= 0<br />

2<br />

2 −x<br />

( x) = ( 4x<br />

− 2) e ;<br />

y ′′′ ( 0)<br />

= −<br />

2<br />

3<br />

−x<br />

( x) = ( − 8x<br />

+ 12x) e ;<br />

iv<br />

y ( 0)<br />

= 0<br />

2<br />

4 2 −x<br />

( x) = ( 16x<br />

− 48x<br />

+ 12) e ;<br />

v<br />

y ( 0) = 12<br />

2<br />

Notando que<br />

obtiene la solución<br />

( 0 )<br />

( 0) = 1<br />

y (0) = y y y ′( 0) = 0 y reemplazando en la ecuación (S.T) se<br />

3<br />

x<br />

y ( x)<br />

= 1+<br />

x −<br />

3<br />

5<br />

x<br />

+ −L<br />

10<br />

( 1.2)<br />

Ahora supongamos que la ecuación (1.1) tiene una solución en serie <strong>de</strong> potencias<br />

( x<br />

n<br />

) = a x n<br />

.<br />

( 1.3)<br />

y ∑ ∞<br />

n=<br />

0<br />

haciendo x = 0 en la ecuación (1.3) e imponiendo la condición inicial se obtiene<br />

u ( 0) = 1 = a . Diferenciando la ecuación (1.3), obtenemos<br />

0<br />

y′<br />

∞<br />

∑<br />

n−1<br />

n<br />

( x) = na x = ( n + 1) a x .<br />

( 1.4)<br />

n=<br />

1<br />

n<br />

∞<br />

∑<br />

n=<br />

0<br />

n+<br />

1<br />

Ya que<br />

∑ ∞<br />

x<br />

n<br />

e = x / n!<br />

,<br />

n=<br />

0<br />

e<br />

2<br />

−x<br />

=<br />

∑ ∞<br />

n=<br />

0<br />

( −1)<br />

n<br />

x<br />

n!<br />

2n<br />

( 1.5)<br />

Reemplazando (1.4) y (1.5) en (1.1), encontramos<br />

o en forma equivalente<br />

a<br />

1<br />

+ 2a<br />

2<br />

y′<br />

x + 3a<br />

x<br />

3<br />

( x)<br />

2<br />

=<br />

∞<br />

∞<br />

n−1<br />

nan<br />

x =<br />

∑ ∑1 n=<br />

n=<br />

0<br />

+ 4a<br />

x<br />

4<br />

3<br />

+ 5a<br />

x<br />

5<br />

4<br />

( −1)<br />

n<br />

x<br />

n!<br />

2n<br />

.<br />

4 6<br />

2 x x<br />

+ L = 1−<br />

x + + +L<br />

2 6<br />

Igualando los coeficientes <strong>de</strong> potencias iguales, encontramos<br />

1<br />

1<br />

a = , a2<br />

= 0, a3<br />

= − , a4<br />

= 0, a5<br />

= , a<br />

3<br />

10<br />

1<br />

1<br />

6<br />

=<br />

0,<br />

L<br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 3


MÉTODO DE SERIES DE TAYLOR<br />

En general, se tiene<br />

a<br />

a<br />

2n<br />

2n−1<br />

= 0<br />

=<br />

2n−1<br />

( −1)<br />

( 2n<br />

−1)( n − )<br />

1 !<br />

n = 1,2,3,L<br />

De acuerdo con lo anterior, se tiene que la solución en <strong>series</strong> <strong>de</strong> potencias viene<br />

dada por<br />

y(<br />

x)<br />

= 1+<br />

∑ ∞<br />

n=<br />

0<br />

n 2<br />

( −1)<br />

x<br />

( 2n<br />

+ 1)<br />

n+<br />

1<br />

n!<br />

La serie converge <strong>para</strong> todo x real. (criterio <strong>de</strong> la razón).<br />

Según el autor, <strong>de</strong>be ser obvio que es más fácil obtener valores adicionales <strong>de</strong> los<br />

coeficientes <strong>de</strong> la serie utilizando el método <strong>de</strong> los coeficientes in<strong>de</strong>termina-dos,<br />

que utilizando el método <strong>de</strong> <strong>las</strong> <strong>series</strong> <strong>de</strong> Taylor. En consecuencia, dice el autor,<br />

usualmente se empleará el método <strong>de</strong> los coeficientes in<strong>de</strong>terminados, <strong>de</strong>scartando<br />

entonces el método <strong>de</strong> <strong>las</strong> <strong>series</strong> <strong>de</strong> Taylor.<br />

Pero si seguimos trabajando un poco en el ejemplo anterior, por el método <strong>de</strong><br />

<strong>series</strong> <strong>de</strong> Taylor, tenemos<br />

y ′′<br />

y ′′′<br />

y<br />

y<br />

y<br />

y<br />

v<br />

2<br />

− x<br />

( x) = −2xe<br />

;<br />

y′′<br />

( 0)<br />

iv<br />

vi<br />

2<br />

2 −x<br />

( x) = ( 4x<br />

− 2) e ;<br />

y′′′<br />

( 0)<br />

2<br />

3<br />

−x<br />

iv<br />

( x) = ( − 8x<br />

+ 12x) e ;<br />

y ( 0)<br />

2<br />

4 2 −x<br />

v<br />

( x) = ( 16x<br />

− 48x<br />

+ 12) e ;<br />

y ( 0)<br />

vii<br />

2<br />

3 5 −x<br />

( x) = ( −120x<br />

+ 160x<br />

− 32x<br />

) e ;<br />

vi<br />

y ( 0)<br />

2<br />

2<br />

4 6 −x<br />

( x) = ( −120<br />

+ 720x<br />

− 480x<br />

+ 64x<br />

) e ;<br />

vii<br />

y ( 0)<br />

= 0<br />

= −2<br />

= −<br />

= 0<br />

= 12 =<br />

= 0<br />

2!<br />

1!<br />

12* 2<br />

2<br />

=<br />

4!<br />

2!<br />

12*6 6!<br />

= −120<br />

= − = −<br />

6 3!<br />

Se observa la siguiente ley <strong>de</strong> formación:<br />

y<br />

y<br />

( 2n)<br />

= 0 ,<br />

( 2n−1) = ( −1)<br />

n−1<br />

( 2( n −1)<br />

)<br />

( n −1 )!<br />

!<br />

n = 1,2,3,L<br />

En consecuencia, se tiene los coeficientes<br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 4


MÉTODO DE SERIES DE TAYLOR<br />

a<br />

a<br />

2n<br />

=<br />

2n−1<br />

( 2n)<br />

( 2n)<br />

=<br />

y<br />

y<br />

= 0 ,<br />

!<br />

( 2n−1)<br />

=<br />

1 !<br />

( 2n<br />

− )<br />

( −1)<br />

n−1<br />

( 2( n −1)<br />

)!<br />

( 2n<br />

−1 )!( n − )<br />

1 !<br />

n = 1,2,3,L<br />

O bien,<br />

a<br />

a<br />

2n<br />

2n−1<br />

= 0 ,<br />

=<br />

=<br />

( −1)<br />

( −1)<br />

n−1<br />

n−1<br />

( 2( n −1)<br />

)!<br />

( 2n<br />

−1 )!( n − )<br />

1<br />

=<br />

1 !<br />

( 2n<br />

−1 )!( n −1)!<br />

( −1)<br />

n−1<br />

( 2n<br />

− 2)<br />

!<br />

( 2n<br />

−1)( 2n<br />

− 2) !( n − )<br />

1 !<br />

Nuevamente se obtiene la solución encontrada por <strong>series</strong> <strong>de</strong> potencias:<br />

y(<br />

x)<br />

= 1+<br />

∑ ∞<br />

n=<br />

0<br />

n 2<br />

( −1)<br />

x<br />

( 2n<br />

+ 1)<br />

n+<br />

1<br />

.<br />

n!<br />

En conclusión, el ejemplo <strong>para</strong> mostrar que el método <strong>de</strong> la <strong>series</strong> <strong>de</strong> Taylor no<br />

produce la misma calidad <strong>de</strong> <strong>las</strong> soluciones, no es válido. Es más, el autor dice que<br />

el método <strong>de</strong> Taylor se adapta fácilmente a problemas <strong>de</strong> valor inicial, lo cual, como<br />

veremos más a<strong>de</strong>lante, el método funciona si lo que se quiere <strong>resolver</strong> es una<br />

ecuación diferencial sin condiciones iniciales, con la misma calidad <strong>de</strong> <strong>las</strong> soluciones<br />

que el método <strong>de</strong> <strong>las</strong> <strong>series</strong> <strong>de</strong> potencias.<br />

1. Solución en <strong>series</strong> <strong>de</strong> Taylor alre<strong>de</strong>dor <strong>de</strong> un punto<br />

ordinario<br />

Las <strong>ecuaciones</strong> diferenciales homogéneas lineales <strong>de</strong> segundo or<strong>de</strong>n <strong>de</strong> la forma<br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 5


MÉTODO DE SERIES DE TAYLOR<br />

P<br />

2<br />

d y<br />

dx<br />

dy<br />

dx<br />

( x) + P ( x) + P ( x) y 0,<br />

( 1)<br />

0 2 1<br />

2<br />

=<br />

don<strong>de</strong> P , P 0 1<br />

y P<br />

2<br />

son polinomios. Dichas <strong>ecuaciones</strong> aparecen en muchas<br />

aplicaciones físicas. Algunos ejemplos <strong>de</strong> estas <strong>ecuaciones</strong> son:<br />

Ecuación <strong>de</strong> Legendre: 2 2<br />

2 d y<br />

( − x ) − 2x<br />

+ α ( α + 1) y = 0,<br />

( )<br />

1<br />

2<br />

dx<br />

dy<br />

dx<br />

2<br />

Ecuación <strong>de</strong> Airy:<br />

2<br />

d y<br />

− xy = 0,<br />

2<br />

dx<br />

() 3<br />

Ecuación <strong>de</strong> Chebyshev:<br />

2<br />

2 d y dy 2<br />

( 1−<br />

x ) − x + α y = 0,<br />

( 4)<br />

dx<br />

2<br />

dx<br />

Ecuación <strong>de</strong> Hermite:<br />

2<br />

d y<br />

− 2x<br />

2<br />

dx<br />

dy<br />

dx<br />

+ 2α<br />

y = 0,<br />

() 5<br />

La solución <strong>de</strong> esas <strong>ecuaciones</strong>, en general, no pue<strong>de</strong>n expresarse en términos <strong>de</strong><br />

funciones elementales familiares. Por lo cual utilizaremos los polinomios <strong>de</strong> Taylor.<br />

Definición (punto ordinario) Supongamos que P , P 0 1<br />

y P<br />

2<br />

no tienen factores<br />

comunes. Decimos que x 0<br />

es un punto ordinario <strong>de</strong> (1) si P<br />

0<br />

( x0<br />

) ≠ 0 , o es un<br />

punto singular si ( x ) 0<br />

P .<br />

0 0<br />

=<br />

Para la ecuación <strong>de</strong> Legendre (2), x0 = 1 y x<br />

0<br />

= −1<br />

son puntos singulares y todos<br />

los otros puntos son puntos ordinarios.<br />

Para la ecuación <strong>de</strong> Airy (3), todo punto es ordinario.<br />

Necesitaremos el próximo teorema.<br />

Teorema (existencia <strong>de</strong> soluciones en <strong>series</strong> <strong>de</strong> Taylor)<br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 6


MÉTODO DE SERIES DE TAYLOR<br />

Si x = x0<br />

es un punto ordinario <strong>de</strong> la ecuación diferencial<br />

( x) + P ( x) y′<br />

+ P ( x) 0<br />

y ′′ y<br />

1 2<br />

=<br />

Se pue<strong>de</strong>n encontrar siempre dos soluciones linealmente in<strong>de</strong>pendientes en la<br />

forma <strong>de</strong> <strong>series</strong> <strong>de</strong> Taylor centradas en x = x0<br />

y<br />

( x)<br />

=<br />

∑ ∞<br />

n=<br />

0<br />

( n )<br />

( 0) ( x − x )<br />

y<br />

n!<br />

0<br />

Una solución en <strong>series</strong> <strong>de</strong> Taylor converge al menos <strong>para</strong><br />

x − x 0<br />

<<br />

R<br />

, don<strong>de</strong> R es la<br />

distancia <strong>de</strong> x 0<br />

al punto singular más cercano (real o complejo), en tal ca-so se<br />

dice que la solución y ( x)<br />

es una solución alre<strong>de</strong>dor <strong>de</strong>l punto ordinario x 0<br />

Problema: Encontrar <strong>las</strong> soluciones en serie <strong>de</strong> potencias en x − x0<br />

<strong>ecuaciones</strong> <strong>de</strong> la forma<br />

<strong>para</strong><br />

2<br />

2 d y dy<br />

( + α( x − x ) ) + β ( x − x ) + γ y 0.<br />

( 6)<br />

1<br />

0 2<br />

0<br />

=<br />

dx<br />

forma<br />

Muchas <strong>ecuaciones</strong> importantes que aparecen en aplicaciones son <strong>de</strong> esta<br />

con x = 0<br />

0 , incluso la ecuación <strong>de</strong> Legendre (2) , la ecuación <strong>de</strong> Ayry (3), la<br />

ecuación <strong>de</strong> Chebyshev (3), y la ecuación <strong>de</strong> Hermite (5 ).<br />

dx<br />

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

la cual la haremos, sin pérdida <strong>de</strong> generalidad <strong>para</strong> el caso x = 0<br />

0 .<br />

El ejemplo resultará ilustrativo, ya que mostrará como trabajar en todos los casos.<br />

Ejemplo 2. Encuentre la serie <strong>de</strong> potencias en x <strong>para</strong> la solución general <strong>de</strong><br />

2<br />

2 d y dy<br />

( + α x ) + β x + γ y = 0<br />

( 2.1)<br />

1<br />

2<br />

dx<br />

Solución:<br />

Buscamos la solución general <strong>de</strong> la forma<br />

dx<br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 7


′′′<br />

MÉTODO DE SERIES DE TAYLOR<br />

( x<br />

n<br />

) = a x n<br />

( 2.2)<br />

y ∑ ∞<br />

n=<br />

0<br />

don<strong>de</strong><br />

a<br />

( n<br />

y )<br />

( 0)<br />

n<br />

= , n = 0, 1, K y a<br />

0<br />

y( 0) = c0<br />

, a1<br />

= y′<br />

( 0) = c1<br />

n!<br />

= .<br />

Para encontrar el coeficiente a<br />

2<br />

, hacemos x = 0 en (2.1) y reemplazamos los<br />

valores <strong>de</strong> a = c a = :<br />

esto es,<br />

y′<br />

0 0<br />

,<br />

1<br />

c1<br />

( 0) + γ y(0)<br />

= 0 ⇒ y′′<br />

( 0) = −γ<br />

y(0)<br />

= −γ<br />

c0<br />

luego se tiene que<br />

a<br />

( 0)<br />

y ′′<br />

=<br />

2!<br />

γ<br />

= −<br />

2!<br />

2<br />

c 0<br />

.<br />

Ahora <strong>para</strong> obtener los coeficientes a i<br />

, i = 3, 4, K, <strong>de</strong>beremos <strong>de</strong>rivar<br />

implícitamente con respecto a x la ecuación (2.1) n veces, y sustituir los valores<br />

encontrados <strong>de</strong> los a anteriores.<br />

i<br />

Al <strong>de</strong>rivar la ecuación (2.1) implícitamente con respecto a x, se obtiene:<br />

Haciendo = 0<br />

3<br />

2<br />

2 d y<br />

d y dy<br />

( + α x ) + ( 2α<br />

+ β ) x + ( β + γ ) = 0<br />

( 2.3)<br />

1 3<br />

2<br />

dx<br />

x y reemplazando los valores <strong>de</strong> y ( 0) , y ( 0) , y′<br />

( 0)<br />

y′<br />

′′<br />

Luego se encuentra que<br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 8<br />

dx<br />

dx<br />

′ en (3) se tiene:<br />

( 0) + ( β + γ ) y′<br />

(0) = 0 ⇒ y′′′<br />

( 0) = −( β + γ ) y′<br />

(0) = −( β + γ ) c 1<br />

a<br />

y<br />

=<br />

3!<br />

( 0) ( β +γ )<br />

= −<br />

3<br />

c 1<br />

Obtengamos ahora a<br />

4<br />

, <strong>para</strong> lo cual <strong>de</strong>rivamos implícitamente con respecto a x la<br />

ecuación (2.3):<br />

d y<br />

dx<br />

3!<br />

4<br />

2<br />

3<br />

2<br />

2 d y d y d y d y<br />

( 1+<br />

αx<br />

) + ( 2α<br />

+ β ) + ( 2α<br />

+ β ) x + ( β + γ ) = 0<br />

3<br />

2α<br />

x +<br />

3<br />

4<br />

2<br />

3<br />

2<br />

o bien, organizando:<br />

Haciendo = 0<br />

tiene:<br />

dx<br />

dx<br />

.<br />

4<br />

3<br />

2<br />

2 d y<br />

d y<br />

d y<br />

( + α x ) + ( 4α<br />

+ β ) x + ( 2α<br />

+ 2β<br />

+ γ ) = 0<br />

( 2.4)<br />

1 4<br />

3<br />

2<br />

dx<br />

x y reemplazando los valores <strong>de</strong> y ( 0) , y ( 0) , y′′<br />

( 0) , y′′<br />

′( 0)<br />

dx<br />

dx<br />

dx<br />

dx<br />

′ en (2.4) se


y iv<br />

MÉTODO DE SERIES DE TAYLOR<br />

( 0) + ( 2α + 2β<br />

+ γ ) y′′<br />

(0) = 0 ⇒ y ′′′ ( 0) = −( 2α<br />

+ 2β<br />

+ γ ) y′′<br />

(0) = γ ( 2α<br />

+ 2β<br />

+ γ ) c 0<br />

Luego se encuentra que<br />

a<br />

iv<br />

y<br />

=<br />

4!<br />

( 0) γ ( 2α<br />

+ 2β<br />

+ γ )<br />

= −<br />

4<br />

c 0<br />

Continuando el proceso, se obtiene la fórmula siguiente:<br />

y<br />

4!<br />

( n+<br />

2 )<br />

( ) ( ( ) ) ( n<br />

0 = − α n n −1<br />

+ βn<br />

+ γ y<br />

) (0) , n = 0,1,2, K<br />

( 2.5)<br />

.<br />

Llamando<br />

P<br />

( n) = ( α n( n −1 ) + βn<br />

+ γ ),<br />

n = 0,1,2, K<br />

Se tiene lo siguiente:<br />

a<br />

n+<br />

2<br />

=<br />

( n+<br />

2<br />

y )<br />

( 0)<br />

( n + 2)<br />

!<br />

P<br />

= − y<br />

( n + 2)!<br />

( n) ( n) ( ) P( n) y (0) P( n)<br />

n<br />

(0) = −<br />

( n + 2)( n + 1) n!<br />

= −<br />

a<br />

( n + 2)( n + 1)<br />

n<br />

Obtenemos la fórmula recursiva <strong>de</strong> los coeficientes<br />

a i<br />

, i = 0,1,2, K<br />

P( n)<br />

( n + 2)( n + 1)<br />

an<br />

+<br />

= −<br />

an<br />

, n<br />

= 0, 1,<br />

2 K<br />

( 2.6)<br />

La fórmula (2.6) coinci<strong>de</strong> con la fórmula dada en [1] .<br />

Así, la solución general <strong>de</strong> (2.1) es dada por<br />

y ( x)<br />

= c<br />

Ejercicio.<br />

0<br />

∞<br />

∑<br />

k = 0<br />

⎡<br />

∏<br />

⎤<br />

x<br />

2k<br />

∞<br />

∑<br />

∏<br />

k −1<br />

k −1<br />

k<br />

k<br />

( −1) P( 2i) + c ( − ) ( + )<br />

⎢⎣ = ⎥⎦ ( )<br />

1<br />

1 P 2i<br />

1<br />

i 0 2k<br />

!<br />

⎢⎣ i=<br />

0 ⎥⎦ ( 2k<br />

+ 1 )<br />

k = 0<br />

⎡<br />

⎤<br />

x<br />

2k<br />

+ 1<br />

!<br />

Ejemplo 3. Encuentre la serie en <strong>series</strong> <strong>de</strong> potencias en x <strong>para</strong> la solución general<br />

<strong>de</strong><br />

Solución:<br />

2<br />

2 d y dy<br />

( + 2x<br />

) + 6 x + 2y<br />

= 0 .<br />

( 3.1)<br />

1<br />

2<br />

La ecuación tiene la forma <strong>de</strong> (3.1), reconocemos = 2 , β = 6<br />

dx<br />

Por un lado encontremos el polinomio P (n)<br />

:<br />

P<br />

dx<br />

( n) = 2 n( n −1) + 6n<br />

+ 2 = 2( n + 1) 2<br />

α y = 2<br />

γ .<br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 9


MÉTODO DE SERIES DE TAYLOR<br />

Utilizando la formula recursiva (2.6) , se tiene<br />

a<br />

a<br />

0<br />

1<br />

= c<br />

,<br />

= c ,<br />

1<br />

0<br />

( n + 1)<br />

an+ 2<br />

= −2<br />

an<br />

, n<br />

( n + 2)<br />

= 0,1,L<br />

Determinemos los coeficientes <strong>de</strong> potencias pares <strong>de</strong> x:<br />

a<br />

a<br />

a<br />

a<br />

2<br />

4<br />

6<br />

8<br />

⎛ 1 ⎞<br />

= −2⎜<br />

⎟a<br />

⎝ 2 ⎠<br />

⎛ 3 ⎞<br />

= −2⎜<br />

⎟a<br />

⎝ 4 ⎠<br />

⎛ 5 ⎞<br />

= −2⎜<br />

⎟a<br />

⎝ 6 ⎠<br />

⎛ 7 ⎞<br />

= −2⎜<br />

⎟a<br />

⎝ 8 ⎠<br />

0<br />

2<br />

4<br />

6<br />

1<br />

= − c<br />

1<br />

⎛ = ⎜ −<br />

⎝<br />

⎛ = ⎜ −<br />

⎝<br />

⎛ = ⎜ −<br />

⎝<br />

0<br />

,<br />

3 ⎞ 1⎞<br />

1.3<br />

⎟⎜<br />

⎛ − ⎟c0<br />

= c0<br />

,<br />

2 ⎠⎝<br />

1⎠<br />

1.2<br />

5 ⎞⎛1.3<br />

⎞ 1.3.5<br />

⎟⎜<br />

⎟c0<br />

= − c0<br />

,<br />

3 ⎠⎝1.2<br />

⎠ 1.2.3<br />

7 ⎞ 1.3.5 ⎞ 1.3.5.7<br />

⎟⎜<br />

⎛ − ⎟c0<br />

= c0<br />

4 ⎠⎝<br />

1.2.3 ⎠ 1.2.3.4<br />

Observando la ley <strong>de</strong> formación <strong>de</strong> los coeficientes, se tiene en general,<br />

( − )<br />

k<br />

k<br />

( 2i<br />

−1)<br />

∏<br />

i 1<br />

a2 = 1 =<br />

k<br />

c<br />

0<br />

, k = 0, 1, L.<br />

k!<br />

(3.2)<br />

Ahora <strong>de</strong>terminemos los coeficientes <strong>de</strong> <strong>las</strong> potencias impares <strong>de</strong> x:<br />

En general,<br />

a<br />

a<br />

a<br />

a<br />

3<br />

5<br />

7<br />

9<br />

⎛ 2 ⎞<br />

= −2⎜<br />

⎟a<br />

⎝ 3 ⎠<br />

⎛ 4 ⎞<br />

= −2⎜<br />

⎟a<br />

⎝ 5 ⎠<br />

1<br />

⎛ 6 ⎞<br />

= −2⎜<br />

⎟a<br />

⎝ 7 ⎠<br />

⎛ 8 ⎞<br />

= −2⎜<br />

⎟a<br />

⎝ 9 ⎠<br />

3<br />

5<br />

7<br />

⎛ 1 ⎞<br />

= −4⎜<br />

⎟c<br />

⎝ 3 ⎠<br />

1<br />

,<br />

⎛ 2 ⎞⎛<br />

⎛ 1 ⎞⎞<br />

2 1.2<br />

= −4⎜<br />

⎟⎜<br />

− 4⎜<br />

⎟⎟c1<br />

= 4 c1<br />

,<br />

⎝ 5 ⎠⎝<br />

⎝ 3 ⎠⎠<br />

3.5<br />

⎛ 3 ⎞⎛<br />

2 1.2 ⎞ 3 1.2.3<br />

= −4⎜<br />

⎟⎜4<br />

c1<br />

⎟c1<br />

= −4<br />

c1<br />

,<br />

⎝ 7 ⎠⎝<br />

3.5 ⎠ 3.5.7<br />

⎛ 4 ⎞ 3 1.2.3 ⎞ 4 1.2.3.4<br />

= −4⎜<br />

⎟⎜<br />

⎛ − 4 ⎟c1<br />

= 4 c1<br />

.<br />

⎝ 9 ⎠⎝<br />

3.5.7 ⎠ 3.5.7.9<br />

k<br />

k 4 k!<br />

a2k<br />

1<br />

= ( −1)<br />

c1<br />

, = 0, 1, L.<br />

+<br />

k<br />

k<br />

∏ ( 2i<br />

+ 1)<br />

i = 1<br />

(3.3)<br />

A partir <strong>de</strong> (8) y (9) vemos que<br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 10


y(<br />

x)<br />

= c<br />

MÉTODO DE SERIES DE TAYLOR<br />

( )<br />

∑ ∏ k<br />

∞ 2i<br />

−1<br />

∞<br />

k<br />

k i=<br />

1 2k<br />

k 4 k!<br />

( −1)<br />

x + c1∑( −1)<br />

k<br />

k!<br />

k=<br />

0<br />

k=<br />

0 ∏ ( 2i<br />

+ 1)<br />

0<br />

es la solución usando polinomios <strong>de</strong> Taylor (observar que es lo mismo <strong>de</strong> la serie <strong>de</strong><br />

potencias) en x <strong>para</strong> la solución general <strong>de</strong> (3.1).<br />

P = 1+<br />

x no se anula en los reales, luego la solución está <strong>de</strong>finida en todo<br />

0<br />

x 2<br />

Ya ( )<br />

2<br />

2<br />

R. Sin embargo, ( x) = 1+<br />

2x<br />

0<br />

0<br />

=<br />

i=<br />

1<br />

x<br />

2k+<br />

1<br />

P en x = ± i 2 esto implica que <strong>las</strong> soluciones<br />

dada por el método <strong>de</strong> Taylor converge en el intervalo ( 1 2, −1<br />

2, )<br />

− . Esto<br />

ocurre, ya que ρ = 1 2 es la distancia <strong>de</strong>l punto x<br />

0<br />

= 0 a x = ± i 2 en el plano<br />

complejo).<br />

El siguiente ejemplo muestra que, en muchos casos hay que conformarnos con<br />

encontrar un número finito <strong>de</strong> términos, ya que no se tiene una formula cerrada<br />

<strong>para</strong> los coeficientes <strong>de</strong> <strong>las</strong> soluciones en <strong>series</strong> <strong>de</strong> potencia.<br />

Ejemplo 4. Resolver el problema <strong>de</strong> valor inicial mediante <strong>series</strong> <strong>de</strong> potencias<br />

Solución:<br />

2<br />

2 d y dy<br />

( + 2x<br />

) + 10x<br />

+ 8y<br />

= 0 , y(0)<br />

= 2, y′<br />

( 0) = −3<br />

1<br />

2<br />

dx<br />

La ecuación tiene la forma <strong>de</strong> (1), reconocemos = 2 , β = 10<br />

condiciones iniciales: a = y( ) = 2 , a = y ( 0) = 3<br />

dx<br />

0<br />

0<br />

1<br />

−<br />

′<br />

α y = 8<br />

γ y <strong>las</strong><br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 11


′′′<br />

MÉTODO DE SERIES DE TAYLOR<br />

Por un lado encontremos el polinomio P (n)<br />

:<br />

P<br />

( n) = 2 n( n −1) + 10n<br />

+ 8 = 2( n + 2) 2<br />

En vez <strong>de</strong> utilizar la formula recursiva (6), <strong>para</strong> obtener los coeficientes<br />

a i<br />

, i = 2,3,4,K , po<strong>de</strong>mos utilizar la formula (5):<br />

y<br />

( n+<br />

2 ) 2 ( n)<br />

( ) ( )<br />

0 = −2<br />

n + 2<br />

y<br />

(0) ,<br />

n = 0,1,2,K<br />

Encontremos los primeros términos.<br />

Para n = 0:<br />

Para n =1:<br />

( 0)<br />

y′′<br />

y′′<br />

( 0)<br />

= −8y(0)<br />

= −8(2)<br />

= −16<br />

⇒ a2 = = −8<br />

2!<br />

( 0)<br />

y′′′<br />

y′′′<br />

( 0)<br />

= −18y′<br />

(0) = −18(<br />

−3)<br />

= 54 ⇒ a3 = = 9<br />

3!<br />

Para n = 2:<br />

y iv<br />

( 0)<br />

= −y<br />

′′ (0) = −32(<br />

−16)<br />

= 512<br />

⇒<br />

a<br />

( 0)<br />

4<br />

y<br />

4!<br />

4<br />

= =<br />

64<br />

3<br />

Para n = 3:<br />

y<br />

v<br />

( )<br />

( 0)<br />

v<br />

y 45<br />

0 = −y<br />

(0) = −50(54)<br />

= −2700<br />

⇒ a5 = = −<br />

5! 2<br />

Luego la solución <strong>de</strong>l P.V.I viene dada por<br />

y<br />

( x)<br />

= ∑<br />

∞<br />

= a<br />

n=<br />

0<br />

0<br />

a<br />

n<br />

1<br />

x<br />

n<br />

+ a x + a x<br />

= 2 − 3x<br />

−8x<br />

2<br />

2<br />

2<br />

+ 9x<br />

+ a x<br />

3<br />

3<br />

+<br />

3<br />

64<br />

3<br />

4<br />

+ a4x<br />

+ L<br />

4 45 5<br />

x − x −<br />

2<br />

256<br />

5<br />

x<br />

6<br />

105<br />

+ x<br />

2<br />

7<br />

+ L.<br />

Más generalmente, sea x<br />

0<br />

≠ 0 un punto ordinario. Por lo tanto la solución por los<br />

polinomios <strong>de</strong> Taylor será <strong>de</strong> la forma<br />

y<br />

n<br />

( x) a ( x − x ) .<br />

= ∑<br />

∞<br />

n=<br />

0<br />

n<br />

0<br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 12


MÉTODO DE SERIES DE TAYLOR<br />

don<strong>de</strong><br />

a<br />

n<br />

( n )<br />

( x )<br />

y<br />

0<br />

= , n =<br />

n!<br />

0, 1, K<br />

Es la solución <strong>de</strong><br />

Se pue<strong>de</strong> <strong>de</strong>mostrar<br />

2<br />

2 d y dy<br />

( + α( x − x ) ) + β ( x − x ) + γ y 0. () *<br />

y<br />

1<br />

0 2<br />

0<br />

=<br />

dx<br />

( n+<br />

2 )<br />

( ) ( ( ) ) ( n<br />

x = − α n n − + βn<br />

+ γ y<br />

) ( x ) , n = 0,1,2, K<br />

0<br />

dx<br />

1<br />

0<br />

Ejemplo 5. Determinar mediante los polinomios <strong>de</strong> Taylor la solución general <strong>de</strong> la<br />

ecuación diferencial<br />

Solución<br />

2<br />

2 d y dy<br />

( + 4x<br />

− 2x<br />

) −12( x −1) −12y<br />

= 0. ( 5.1)<br />

2<br />

2<br />

Lo primero que hay que hacer, es escribir el polinomio ( )<br />

2<br />

En potencias <strong>de</strong> ( x −1).<br />

P<br />

0<br />

x = 2 + 4x<br />

− 2x<br />

= 4 − 2 x −1<br />

Ahora ( ) 2 ( ) 2<br />

Así, la ecuación (5.1) queda:<br />

o bien, en la forma (*):<br />

dx<br />

dx<br />

2<br />

2 d y dy<br />

( − 2( x −1)<br />

) −12( x −1) −12y<br />

= 0<br />

4<br />

2<br />

⎛<br />

⎜<br />

⎝<br />

1<br />

−<br />

2<br />

1<br />

Reconocemos = − , β = −3<br />

2<br />

dx<br />

d y<br />

⎠ dx<br />

2<br />

⎞<br />

1 ⎟<br />

2<br />

dx<br />

dy<br />

dx<br />

2<br />

( x −1) − 3( x −1) − 3y<br />

= 0<br />

α y = −3<br />

Se tiene entonces el polinomio P (n)<br />

:<br />

P<br />

( n) − n( n −1)<br />

γ .<br />

( n + 2)( n + 3)<br />

P<br />

0<br />

x = + 4x<br />

− 2<br />

2 x<br />

1<br />

= − 3n<br />

− 3 = −<br />

, n = 0,1,2,K<br />

2<br />

2<br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 13


′′′<br />

′′′<br />

′′′<br />

MÉTODO DE SERIES DE TAYLOR<br />

En vez <strong>de</strong> utilizar la formula recursiva (6), <strong>para</strong> obtener los coeficientes<br />

a i<br />

, i = 2,3,4,K , po<strong>de</strong>mos utilizar la formula (5):<br />

y<br />

( n+<br />

2 )<br />

() 1<br />

=<br />

( n + 2)( n + 3) ( n)<br />

2<br />

y<br />

(1) ,<br />

n = 0,1,2,K<br />

Encontremos los primeros términos.<br />

Para n = 0:<br />

Para n =1:<br />

( 1)<br />

y ′′ 3<br />

y ′′ () 1 = 3y(1)<br />

= 3c0<br />

⇒ a2<br />

= = c<br />

2! 2<br />

( 1)<br />

y<br />

y () 1 = 6y′<br />

(1) = 6c1<br />

⇒ a3<br />

= = c<br />

3!<br />

1<br />

0<br />

Para n = 2:<br />

( 1)<br />

4<br />

y 5<br />

y iv () 1 = 10y<br />

′′ (1) = 30c0<br />

⇒ a4<br />

= = c<br />

4! 4<br />

0<br />

Para n = 3:<br />

y<br />

v<br />

()<br />

( 1)<br />

v<br />

y 3<br />

1 = 15y<br />

(1) = −90c1<br />

⇒ a5<br />

= = c<br />

5! 4<br />

Luego la solución <strong>de</strong>l P.V.I viene dada por<br />

y<br />

( x) = a ( x −1)<br />

= a<br />

= c<br />

.<br />

∞<br />

n=∑<br />

0<br />

0<br />

0<br />

n<br />

+ a<br />

1<br />

⎛<br />

⎜1+<br />

⎝<br />

2<br />

3<br />

( x −1) + a ( x −1) + a ( x −1) + a ( x −1)<br />

3<br />

2<br />

n<br />

2<br />

5<br />

4<br />

2<br />

4<br />

( x −1) + ( x −1) + L+<br />

( x −1)<br />

⎛<br />

c1⎜<br />

⎝<br />

3<br />

3<br />

4<br />

2k<br />

+ 1<br />

2<br />

3<br />

5<br />

( x −1) + ( x −1) + ( x −1) L+<br />

( x −1)<br />

k<br />

4<br />

4<br />

2<br />

+ L<br />

1<br />

2k<br />

⎞<br />

+ L⎟ +<br />

⎠<br />

2k<br />

+ 1<br />

k<br />

2k<br />

+ 1<br />

⎞<br />

+ L⎟<br />

⎠<br />

O en forma más compacta:<br />

y<br />

2k<br />

( x) = c ( x −1) + c ( x −1)<br />

.<br />

∞<br />

∞<br />

2k<br />

+ 1<br />

0∑<br />

k<br />

1<br />

2<br />

∑<br />

n=<br />

0<br />

n=<br />

0<br />

2k<br />

+ 1<br />

2<br />

k<br />

2k<br />

+ 1<br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 14


MÉTODO DE SERIES DE TAYLOR<br />

Deberá observarse que hemos hallado dos <strong>series</strong> en una forma puramente for-mal,<br />

<strong>las</strong> cuales son convergentes <strong>para</strong> todo x finito. Para ver que ambas son linealmente<br />

in<strong>de</strong>pendientes <strong>de</strong>finimos lo siguiente:<br />

y por lo tanto<br />

y<br />

y<br />

( 1) = 1, y2<br />

( 1)<br />

= 0<br />

′() 1 = 0, y′<br />

() 1 = 1,<br />

1<br />

1<br />

W<br />

( y y )( 1) 0.<br />

2<br />

1, 2<br />

≠<br />

Don<strong>de</strong> W ( y 1<br />

, y 2<br />

) <strong>de</strong>nota el Wronskiano <strong>de</strong> <strong>las</strong> soluciones y<br />

1<br />

y y<br />

2<br />

, en <strong>las</strong> cuales<br />

∞<br />

∞<br />

2k<br />

+ 1<br />

y1 ∑ k<br />

2<br />

2<br />

∑<br />

2k<br />

( x) = ( x −1) , y ( x) = ( x −1)<br />

.<br />

n=<br />

0<br />

n=<br />

0<br />

2k<br />

+ 1<br />

2<br />

k<br />

2k<br />

+ 1<br />

.<br />

Ejemplo 6. Resolver el problema <strong>de</strong> valor inicial<br />

Solución.<br />

Método <strong>series</strong> <strong>de</strong> potencias:<br />

xy′ + y′<br />

+ xy = 0 , y(1)<br />

= 0, y′<br />

−<br />

( 1) = 1<br />

( 6.1)<br />

Mediante el cambio <strong>de</strong> variable u = x −1<br />

, llevamos el problema al origen.<br />

En efecto,<br />

dy<br />

du<br />

dy<br />

= ,<br />

dx<br />

2 2<br />

d y d y<br />

= ,<br />

2 2<br />

du dx<br />

(6.2)<br />

La ecuación (6.1) toma la forma<br />

2<br />

d y<br />

du<br />

( u + ) + + ( u + 1) y = 0 , y(0)<br />

= 0, y′<br />

( 0) = −1<br />

1<br />

2<br />

dy<br />

du<br />

Por lo tanto suponemos que la solución la buscamos <strong>de</strong> la forma:<br />

y(<br />

u)<br />

=<br />

∑ ∞<br />

k = 0<br />

k<br />

a k<br />

u<br />

Que al reemplazar en la ecuación diferencial, se obtiene<br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 15


MÉTODO DE SERIES DE TAYLOR<br />

∞<br />

∞<br />

+ ∑ ∑ ∑<br />

∞<br />

k<br />

k<br />

k −2<br />

k −1<br />

k<br />

( u 1) k( k −1) a u + ka u + ( u + 1) a u = 0 ,<br />

k = 2<br />

Realizando <strong>las</strong> multiplicaciones<br />

∞<br />

∑<br />

k = 2<br />

k<br />

k = 1<br />

k −1<br />

k −2<br />

k −1<br />

k + 1<br />

k<br />

( k 1) a u + k( k −1) a u + ka u + a u + a u = 0 ,<br />

k = 2<br />

k = 1<br />

k = 0<br />

∞<br />

∞<br />

− ∑ ∑ ∑ ∞<br />

∑<br />

∞<br />

k<br />

k<br />

k<br />

k<br />

k=<br />

0 k=<br />

0<br />

k<br />

k<br />

Escribiendo todo en potencias <strong>de</strong><br />

k<br />

u , obtenemos<br />

∞<br />

∑<br />

k = 1<br />

k<br />

+ ∑ ∑ ∑ ∑<br />

∞<br />

∞<br />

∞<br />

∞<br />

k + 1 k + 2<br />

k + 1<br />

k −1<br />

k<br />

=<br />

k<br />

k<br />

k<br />

k<br />

k<br />

( k 1) a u + ( k + 2)( k + 1) a u + ( k + 1) a u + a u + a u 0 ,<br />

k = 0<br />

k = 0<br />

k=<br />

1 k=<br />

0<br />

Empezando todas <strong>las</strong> sumatorias <strong>de</strong>s<strong>de</strong> k = 1<br />

, y organizando, se tiene<br />

2a<br />

k 1<br />

k<br />

[ k( k + 1) a + ( k + 2)( k + 1) a + ( k + 1)<br />

a + a + a ] u 0 ,<br />

2<br />

a1<br />

+ a0<br />

+<br />

k + 1<br />

k + 2<br />

k + 1 k −1<br />

k<br />

=<br />

mejor,<br />

+<br />

∑ ∞<br />

=<br />

2a<br />

k 1<br />

2<br />

k<br />

[( k + 2)( k + 1) a + ( k + 1)<br />

a + a + a ] u 0 ,<br />

2<br />

a1<br />

+ a0<br />

+<br />

k + 2<br />

k + 1 k −1<br />

k<br />

=<br />

+<br />

∑ ∞<br />

=<br />

Así pues,<br />

2a<br />

2<br />

+ a<br />

1<br />

+ a<br />

0<br />

= 0,<br />

2<br />

( k + 2)( k + 1) a + ( k + 1) a + a + a = 0 , ≥ 1.<br />

( 6.3)<br />

k + 2<br />

k + 1 k −1<br />

k<br />

k<br />

Usando <strong>las</strong> condiciones iniciales ( 0) 0, ( 0) = −1<br />

y = y′ . Con lo que = , a = 1<br />

Reemplazando en (6.3), se tiene los primeros coeficientes:<br />

a<br />

1 1<br />

= , a3<br />

= − , a<br />

2 6<br />

2 4<br />

=<br />

De don<strong>de</strong><br />

1<br />

,<br />

6<br />

a .<br />

0<br />

0<br />

1<br />

−<br />

2<br />

u<br />

y ( u)<br />

= −u<br />

+<br />

2<br />

3<br />

u<br />

−<br />

6<br />

4<br />

u<br />

+<br />

6<br />

+L<br />

Y haciendo u = x −1<br />

, se tiene finalmente<br />

y(<br />

x)<br />

= −<br />

( x −1)<br />

+<br />

2<br />

3<br />

( x −1) ( x −1) ( x −1)<br />

Don<strong>de</strong> la convergencia se tiene en el intervalo ( 0 ,2)<br />

2<br />

−<br />

6<br />

+<br />

6<br />

4<br />

¿por qué<br />

+ L<br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 16


MÉTODO DE SERIES DE TAYLOR<br />

Método <strong>series</strong> <strong>de</strong> Taylor:<br />

Buscamos soluciones <strong>de</strong> la forma<br />

y<br />

( x)<br />

= ∑<br />

∞<br />

n=<br />

0<br />

( n )<br />

( 1) ( 1)<br />

n<br />

x .<br />

y<br />

n!<br />

−<br />

Para ello <strong>de</strong>rivamos sucesivamente y evaluamos en <strong>las</strong> <strong>de</strong>rivadas encontradas, esto<br />

es,<br />

() 1<br />

xy′′<br />

+ y′<br />

+ xy = 0 , a = y(1)<br />

= 0, a ′<br />

1<br />

= y = −1,<br />

a2<br />

xy′′′<br />

+ 2y′′<br />

+ xy′<br />

+ y = 0<br />

xy<br />

xy<br />

iv<br />

v<br />

+ 3y′′′<br />

+ xy′′<br />

+ 2y′<br />

= 0<br />

+ 4y<br />

iv<br />

+ xy′′′<br />

+ 3y′′<br />

= 0<br />

( 1)<br />

y′′<br />

2!<br />

0<br />

= =<br />

⇒<br />

⇒<br />

a<br />

⇒<br />

3<br />

( 1)<br />

y′′′<br />

1<br />

= = −<br />

3! 3!<br />

iv<br />

y () 1 4<br />

a4<br />

= =<br />

4! 4!<br />

v<br />

y () 1 18<br />

a5<br />

= = −<br />

5! 5!<br />

Siguiendo el proceso, se obtiene la formula recursiva:<br />

1<br />

2<br />

xy<br />

( n) ( n−1)<br />

( n−2) ( n−3)<br />

( )<br />

+ n −1<br />

y<br />

+ xy<br />

+ ( n − 3) y<br />

= 0 ,<br />

n ≥ 3.<br />

De don<strong>de</strong> se sigue que la solución en <strong>series</strong> <strong>de</strong> Taylor es dada por<br />

y(<br />

x)<br />

= −<br />

( x −1)<br />

+<br />

2<br />

3<br />

( x −1) ( x −1) ( x −1)<br />

2<br />

−<br />

6<br />

+<br />

6<br />

4<br />

+ L<br />

La misma solución dada por el método <strong>de</strong> los coeficientes in<strong>de</strong>terminados, pero<br />

encontrada <strong>de</strong> una forma más sencilla como pue<strong>de</strong> verse.<br />

En el ejemplo siguiente, encontraremos por el método <strong>de</strong> Taylor , la solución <strong>de</strong><br />

una <strong>de</strong> <strong>las</strong> <strong>ecuaciones</strong> diferenciales importantes que aparecen en la física.<br />

Ejemplo 7. (La ecuación <strong>de</strong> Legendre) Encuentre la solución en <strong>series</strong> Taylor<br />

alre<strong>de</strong>dor <strong>de</strong> x=0 <strong>para</strong> la solución general <strong>de</strong><br />

Solución:<br />

2<br />

2 d y dy<br />

( − x ) − 2 x + α ( α + 1) y = 0<br />

( 7.1)<br />

1<br />

2<br />

dx<br />

Buscamos la solución general <strong>de</strong> la forma<br />

dx<br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 17


′′′<br />

MÉTODO DE SERIES DE TAYLOR<br />

( x<br />

n<br />

) = a x n<br />

( 7.2)<br />

y ∑ ∞<br />

=<br />

n 0<br />

don<strong>de</strong><br />

a<br />

( n<br />

y )<br />

( 0)<br />

n<br />

= , n = 0, 1, K y a<br />

0<br />

y( 0) = c0<br />

, a1<br />

= y′<br />

( 0) = c1<br />

n!<br />

= .<br />

Para encontrar el coeficiente a<br />

2<br />

, hacemos x = 0 en (7.1) y reemplazamos los<br />

valores <strong>de</strong> a = c a = :<br />

esto es,<br />

luego se tiene que<br />

0 0<br />

,<br />

1<br />

c1<br />

( 0) + α ( α + 1 ) y(0)<br />

= 0 ⇒ y′′<br />

( 0) = −α<br />

( α + 1 ) y(0)<br />

= −α<br />

( 1 ) c 0<br />

y ′ α +<br />

a<br />

y ′′<br />

=<br />

2!<br />

( 0) α( α + 1 )<br />

= −<br />

2<br />

c 0<br />

2!<br />

Ahora <strong>para</strong> obtener los coeficientes a i<br />

, i = 3, 4, K, <strong>de</strong>beremos <strong>de</strong>rivar<br />

implícitamente con respecto a x la ecuación (7.1) n veces, y sustituir los valores<br />

encontrados <strong>de</strong> los a anteriores.<br />

i<br />

Al <strong>de</strong>rivar la ecuación (7.1) implícitamente con respecto a x, se obtiene:<br />

Haciendo = 0<br />

3<br />

2<br />

2 d y d y<br />

( − x ) − 4x<br />

+ α ( α + 1)<br />

1 3<br />

2<br />

dx<br />

dx<br />

.<br />

dy<br />

dx<br />

x y reemplazando los valores <strong>de</strong> y ( 0) , y ( 0) , y′<br />

( 0)<br />

( − 2) = 0<br />

( 7.3)<br />

′ en (7.3) se tiene:<br />

( 0) = −( α ( α + 1)<br />

− 2 ) y′<br />

(0) = −( α ( α + 1)<br />

− 2 ) c 1<br />

= −( α + 2)( −1) c 1<br />

y′ ′′<br />

α<br />

Luego se encuentra que<br />

a<br />

y<br />

=<br />

3!<br />

( 0) ( α + 2)( α −1)<br />

= −<br />

3<br />

c 1<br />

Obtengamos ahora a<br />

4<br />

, <strong>para</strong> lo cual <strong>de</strong>rivamos implícitamente con respecto a x la<br />

ecuación (7.3) , se tiene:<br />

Haciendo = 0<br />

tiene:<br />

y iv<br />

3.2<br />

4<br />

3<br />

2 d y d y<br />

( − x ) − 6x<br />

+ α ( α + 1)<br />

1 4<br />

3<br />

2<br />

dx<br />

dx<br />

.<br />

2<br />

d y<br />

dx<br />

( − 6) = 0<br />

( 7.4)<br />

x y reemplazando los valores <strong>de</strong> y ( 0) , y ( 0) , y′′<br />

( 0) , y′′<br />

′( 0)<br />

′ en (7.4) se<br />

( 0) = −( α ( α + 1)<br />

− 6 ) y′′<br />

(0) = −( α + 3)( α − 2) [ − α ( α + 1 )] c 0<br />

= ( α + 3)( α + 1) α ( α − 2) c 0<br />

Luego se encuentra que<br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 18


MÉTODO DE SERIES DE TAYLOR<br />

a<br />

iv<br />

y<br />

=<br />

4!<br />

Derivando la ecuación (7.4) se tiene<br />

Haciendo = 0<br />

tiene:<br />

y v<br />

( 0) ( α + 3)( α + 1) α( α − 2)<br />

=<br />

4<br />

c 0<br />

4!<br />

5<br />

4<br />

2 d y d y<br />

( − x ) − 8x<br />

+ α ( α + 1)<br />

3<br />

d y<br />

dx<br />

1 5<br />

4<br />

3<br />

dx<br />

dx<br />

.<br />

( −12) = 0<br />

( 7.5)<br />

x y reemplazando los valores <strong>de</strong> y ( 0) , y ( 0) , y′′<br />

( 0) , y′′<br />

′( 0)<br />

′ en (7.4) se<br />

( 0) = −( α( α + 1)<br />

−12<br />

) y′′′<br />

(0) =<br />

− ( α + 4)( α − 3) [ − ( α + 2)( α −1)<br />

c 1<br />

] = ( α + 4)( α + 2)( α −1)( α − 3) c 1<br />

Encontrando que<br />

a<br />

v<br />

y<br />

=<br />

4!<br />

( 0) ( α + 4)( α + 2)( α −1)( α − 3)<br />

=<br />

5<br />

c 1<br />

Continuando el proceso, se obtiene la fórmula siguiente <strong>para</strong> k=1,2,…<br />

a<br />

a<br />

2k<br />

=<br />

2k<br />

+ 1<br />

( ) ( )( ) ( ) ( ) ( )<br />

k α + 2k<br />

−1<br />

α + 2k<br />

− 3 L α + 1 α α − 2 L α − 2k<br />

+ 2<br />

−1<br />

c0,<br />

( 2k)<br />

!<br />

k<br />

( )<br />

( α + 2k)( α + 2k<br />

− 2) L( α + 2)( α −1)( α − 3) L( α − 2k<br />

+ 1)<br />

−1<br />

( 2k<br />

+ 1 )!<br />

=<br />

5!<br />

.<br />

c<br />

1<br />

.<br />

Todos los coeficientes están <strong>de</strong>terminados en términos <strong>de</strong> ahora c0<br />

, y c1<br />

,<br />

cual <strong>de</strong>bemos tener<br />

por lo<br />

( x) = c y ( x) c y ( ) ,<br />

y +<br />

0 1 1 2<br />

x<br />

don<strong>de</strong><br />

( α + 1) ( α + 3)( α + 1) α ( α − 2)<br />

α<br />

2<br />

y1( x)<br />

= 1−<br />

x +<br />

x<br />

2!<br />

4!<br />

4<br />

−L<br />

O bien,<br />

y1(<br />

x)<br />

= 1+<br />

∑ ∞<br />

=<br />

k 1<br />

( ) ( )( ) ( ) ( ) ( )<br />

k α + 2k<br />

−1<br />

α + 2k<br />

− 3 L α + 1 α α − 2 L α − 2k<br />

+ 2<br />

−1<br />

( 2k)<br />

!<br />

x<br />

2k<br />

,<br />

y<br />

( α + 2)( α −1) ( α + 4)( α + 4)( α −1)( α − 3)<br />

3<br />

y2<br />

( x)<br />

= x −<br />

x +<br />

x<br />

3!<br />

5!<br />

5<br />

−L<br />

O bien,<br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 19


MÉTODO DE SERIES DE TAYLOR<br />

∞<br />

y1(<br />

x)<br />

= 1+<br />

∑<br />

k = 1<br />

( −1) k<br />

( α + 2k)( α + 2k<br />

− 2) L( α + 2)( α −1)( α − 3) L( α − 2k<br />

+ 1)<br />

( 2k<br />

+ 1)<br />

!<br />

x<br />

2k<br />

+ 1<br />

,<br />

Ambas y ( x 1<br />

) , y y ( x)<br />

, 2<br />

respectivamente<br />

son soluciones <strong>de</strong> la ecuación <strong>de</strong> Legendre, al tomar<br />

c<br />

c<br />

0<br />

0<br />

( 0) = 1, c1<br />

( 0)<br />

= 0<br />

( 0) = 0, c ( 0) = 1,<br />

El<strong>las</strong> forman una base <strong>para</strong> <strong>las</strong> soluciones, ya que<br />

y<br />

1<br />

′<br />

y<br />

1<br />

( 0) = 1, y ( 0)<br />

= 0<br />

( 0) = 0, y ( 0) = 1,<br />

2<br />

2<br />

′<br />

1<br />

⇒ W<br />

( y , y )( 1)<br />

1<br />

2<br />

≠ 0<br />

Don<strong>de</strong> W ( y 1<br />

, y 2<br />

) <strong>de</strong>nota el Wronskiano <strong>de</strong> <strong>las</strong> soluciones y<br />

1<br />

y y<br />

2<br />

.<br />

Observar que si α es un entero par no negativo<br />

luego continuar…………………<br />

n = 2k<br />

, ( k = 0,1,2, L),<br />

Ejemplo 8. Resuelva la ecuación diferencial<br />

x y′ + y′<br />

+ xy = 0.<br />

( 8.1)<br />

Solución.<br />

Por el método <strong>de</strong> Taylor.<br />

Supongamos que <strong>las</strong> soluciones son <strong>de</strong> la forma ∑<br />

∞<br />

( 0<br />

Para esto, pongamos c = y( 0) = )<br />

( 0)<br />

y c ′( 0)<br />

0<br />

y<br />

n=0<br />

= .<br />

1<br />

y<br />

( n ) a ( )<br />

con y 0<br />

a<br />

x n<br />

n<br />

n<br />

= .<br />

n!<br />

Haciendo x = 0 y reemplazando los valores anteriores en la ecuación (8.1), se tiene<br />

que c<br />

1<br />

= 0.<br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 20


′′′<br />

MÉTODO DE SERIES DE TAYLOR<br />

Derivando implícitamente con respecto a x la ecuación (8.1), tenemos<br />

x y<br />

′′′ + y ′′ + y ′′ + xy′<br />

+ y = 0 ⇔ xy + 2y<br />

′′ + xy′<br />

+ y = 0<br />

( 8.2)<br />

Haciendo x = 0 y reemplazando los valores anteriores en la ecuación (8.2), se tiene<br />

que<br />

y ′′<br />

1<br />

2<br />

1<br />

2<br />

( 0) = − y( 0) = − c0<br />

Derivando la última ecuación (8.2), tenemos<br />

xy<br />

iv<br />

iv<br />

+ y′′′<br />

+ 2 y ′′′ + xy′′<br />

+ y′<br />

+ y′<br />

= 0 ⇔ xy + 3y′′′<br />

+ xy ′′ + 2y′<br />

= 0<br />

( 8.3)<br />

Haciendo x = 0 y reemplazando los valores anteriores en la ecuación (8.3), se tiene<br />

que<br />

2 2<br />

y ′′ ′<br />

c<br />

3 3<br />

( 0) = − y′<br />

( 0) = −<br />

1<br />

= 0<br />

Repitiendo el proceso anterior, se llega a la siguiente formula <strong>de</strong> recurrencia:<br />

xy<br />

( n) ( ) ( n−1<br />

) ( n−2<br />

1<br />

) ( 2) ( n−3<br />

+ n − y + xy + n − y<br />

) = 0, n ≥ 3<br />

Que al hacer x = 0 , y reemplazar los valores obtenidos, se obtiene<br />

Encontremos varios valores<br />

y<br />

( n−1<br />

)<br />

( 0)<br />

= −<br />

( n − 2)<br />

( n −1)<br />

y<br />

( n−3<br />

)<br />

( 0) , n ≥ 3<br />

( 8.4)<br />

=<br />

n = 3 :<br />

1 ( 0<br />

( ) ) 1<br />

y′′<br />

0 = − y ( 0)<br />

= − c0<br />

2 2<br />

,<br />

n = 4 :<br />

2 1<br />

y′′′<br />

( 0) = − y′<br />

( 0)<br />

= − c1<br />

3 2<br />

0,<br />

iv 3 3 ⎛ 1 ⎞ 3<br />

n = 5 : y ( 0) = − y ′′ ( 0)<br />

= − ⎜ − c0<br />

⎟ = c0<br />

4 4 ⎝ 2 ⎠ 4.2<br />

,<br />

n = 6 :<br />

n = 7 :<br />

v 4 4<br />

y ( 0) = − y′′′<br />

( 0) = − ( 0)<br />

= 0 ,<br />

5 5<br />

vi 5 iv 5 ⎛ 3 ⎞ 5<br />

y ( 0) = − y ( 0)<br />

= − ⎜ c0<br />

⎟ = −<br />

2<br />

6 6 ⎝ 4.2 ⎠ 4.2<br />

c<br />

M<br />

Obtengamos ahora los coeficientes a<br />

n<br />

, note que la fórmula <strong>de</strong> recurrencia (8.4)<br />

junto con c<br />

1<br />

= 0 implica que todos los coeficientes con subíndices impares<br />

<strong>de</strong>saparecen, y<br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 21<br />

0<br />

,


a<br />

a<br />

a<br />

M<br />

a<br />

MÉTODO DE SERIES DE TAYLOR<br />

2<br />

4<br />

6<br />

2n<br />

y′′<br />

=<br />

2!<br />

( 0) 1 =<br />

( 0<br />

y )<br />

( 0)<br />

iv<br />

y ( 0)<br />

1 ⎛ 3 ⎞<br />

= = ⎜ c0<br />

⎟ =<br />

4! 4! ⎝ 4.2 ⎠<br />

vi<br />

y ( 0)<br />

1 ⎛ 5<br />

= = − c<br />

=<br />

6!<br />

2!<br />

⎜<br />

6! ⎝<br />

n<br />

( −1) c ,<br />

( ) ( ) ( )<br />

2n<br />

2<br />

4.2<br />

=<br />

2<br />

2n<br />

− 2<br />

1<br />

2!<br />

2<br />

0<br />

⎛ 1 ⎞<br />

⎜ − ⎟c<br />

⎝ 2 ⎠<br />

1<br />

2<br />

4 .2<br />

⎞<br />

⎟<br />

⎠<br />

1<br />

2<br />

. 2n<br />

− 4<br />

c<br />

0<br />

2<br />

0<br />

1<br />

= − c<br />

2<br />

2<br />

1<br />

= − c<br />

2 2 2<br />

6. 4 .2<br />

,<br />

L6.<br />

2<br />

4<br />

0<br />

2<br />

,<br />

0<br />

.2<br />

2<br />

0<br />

Entonces<br />

y<br />

( x)<br />

c0<br />

2 c0<br />

4 c0<br />

6 c0<br />

8<br />

= c0<br />

− x + x − x + x + L<br />

2<br />

2 2<br />

2 2 2<br />

2 2 2 2<br />

2 2 4 2 4 6 2 4 6 8<br />

n<br />

2<br />

1 ⎛ x ⎞<br />

= c0<br />

.<br />

2<br />

( n!<br />

)<br />

⎜ −<br />

4<br />

⎟<br />

⎝ ⎠<br />

∑ ∞<br />

n=<br />

0<br />

( 8.5)<br />

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

nombre <strong>de</strong> función <strong>de</strong> Bessel <strong>de</strong> or<strong>de</strong>n J ( ).<br />

Deberá observarse que el método <strong>de</strong> Taylor ha producido sólo una <strong>de</strong> <strong>las</strong> soluciones<br />

<strong>de</strong> la ecuación (8.1). Para hallar la otra solución linealmente in<strong>de</strong>pendiente, usamos<br />

dx<br />

la formula y<br />

2<br />

( x) = y1( x)<br />

∫<br />

2<br />

x y x<br />

Entonces la otra solución será:<br />

[ ( )]<br />

La solución general viene dada por<br />

1<br />

y<br />

2<br />

( x) J ( x)<br />

0<br />

x<br />

∫<br />

dx<br />

=<br />

0<br />

2<br />

x[ J<br />

0<br />

( x)<br />

]<br />

y<br />

( x) = AJ ( x) + BJ ( x)<br />

0 0<br />

∫<br />

x<br />

dx<br />

[ J ( x)<br />

]<br />

0<br />

2<br />

.<br />

En nuestro próximo ejemplo encontraremos una situación en la cual el método <strong>de</strong><br />

Taylor no da ninguna solución (como es el caso cuando se usa <strong>series</strong> <strong>de</strong> potencias).<br />

Ejemplo 9. Consi<strong>de</strong>re la ecuación <strong>de</strong> Euler<br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 22


MÉTODO DE SERIES DE TAYLOR<br />

x<br />

2<br />

y′ + xy′<br />

+ y = 0.<br />

( 9.1)<br />

Solución.<br />

Ya que este problema no contiene condiciones iniciales, pongamos y ( 0) = c0<br />

, y<br />

y ′( 0) = c1<br />

. Con lo cual al reemplazar el valor <strong>de</strong> x = 0,<br />

y(0)<br />

= c0<br />

y y ′( 0) = c1<br />

en la<br />

ecuación diferencial, tenemos<br />

2<br />

( ) ′′ ( 0) + ( 0) y′<br />

( 0) + y( 0) = 0. ⇒ c = 0<br />

0<br />

0<br />

y .<br />

Al <strong>de</strong>rivar implícitamente con respecto a x en la ecuación diferencial (9.1), se tiene<br />

2<br />

2<br />

2x<br />

y′ + x y′′′<br />

+ xy′′<br />

+ y′<br />

+ y′<br />

= 0 ⇔ 3xy′′<br />

+ x y′′′<br />

+ 2y′<br />

= 0<br />

′<br />

Reemplazando los valores <strong>de</strong> x = 0,<br />

y (0) = c1<br />

en la última ecuación diferencial,<br />

tenemos<br />

2<br />

( 0) ′ ( 0) + ( 0) y ′′′ ( 0) + 2y′<br />

( 0) = 0 ⇒ c = 0<br />

3<br />

1<br />

y .<br />

Como todas <strong>las</strong> <strong>de</strong>rivadas evaluadas en x = 0,<br />

estarán en términos <strong>de</strong> c<br />

0<br />

, y <strong>de</strong> c<br />

1,<br />

entonces todos los a n<br />

<strong>de</strong>saparecerán, y por lo tanto arrojará la solución y ( x) = 0 .<br />

Así en este caso el método <strong>de</strong> Taylor falla <strong>para</strong> encontrar la solución <strong>de</strong> la ecuación<br />

diferencial <strong>de</strong> Euler, la cual es<br />

( x) = Acos( ln x ) BAsin( ln x ).<br />

y +<br />

En el próximo ejemplo, aplicaremos el método <strong>de</strong>l <strong>de</strong>sarrollo <strong>de</strong> Taylor <strong>para</strong><br />

encontrar la solución <strong>de</strong> una ecuación diferencial, en don<strong>de</strong> los coeficientes <strong>de</strong> la<br />

ecuación (1) ya no son polinomios.<br />

Ejemplo 10. Resolver el problema <strong>de</strong> valor inicial<br />

x<br />

y′ − e y = 0 , y(0)<br />

= 1, y′<br />

=<br />

( 0) 1<br />

( 10.1)<br />

Solución.<br />

Nótese que en la ecuación diferencial todos los puntos son ordinarios. Buscamos<br />

y x<br />

∑ ∞ =<br />

=<br />

una solución <strong>de</strong> la forma: ( )<br />

n<br />

Para esto, <strong>de</strong>spejamos y ′( x)<br />

= y( ) = 1, a = y′<br />

( 0) 1<br />

0<br />

0<br />

1<br />

=<br />

n 0<br />

a n<br />

x<br />

don<strong>de</strong><br />

a<br />

n<br />

( n )<br />

( 0)<br />

y<br />

= , n ≥ 0.<br />

n!<br />

′ en la ecuación, reemplazando los valores<br />

a <strong>para</strong> obtener así a<br />

2<br />

:<br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 23


MÉTODO DE SERIES DE TAYLOR<br />

y′′<br />

( x)<br />

= e<br />

y<br />

( x)<br />

0<br />

⇒ y′′<br />

(0) = e y<br />

x<br />

( 0)<br />

= 1<br />

⇒<br />

a<br />

2<br />

=<br />

( 0)<br />

y′′<br />

2!<br />

=<br />

1<br />

2<br />

(10.2)<br />

Derivamos (10.2) y reemplazamos los valores encontrados <strong>de</strong> los a´íes.<br />

y′′′<br />

( x)<br />

= e<br />

y<br />

⇒ y′′′<br />

(0) = e<br />

x<br />

x<br />

x<br />

( x) + e y′<br />

( x) = e ( y( x) + y′<br />

( x)<br />

)<br />

0<br />

( y( 0) + y′<br />

( 0)<br />

) = 2 ⇒ a =<br />

3<br />

y′′′<br />

3!<br />

( 0)<br />

=<br />

2<br />

3!<br />

=<br />

1<br />

3<br />

(10.3)<br />

Derivamos nuevamente (10.3) y reemplazamos<br />

y<br />

iv<br />

⇒ y<br />

( x)<br />

= e<br />

iv<br />

x<br />

(0) =<br />

x<br />

x<br />

( y( x) + y′<br />

( x)<br />

) + e ( y′<br />

( x) + y′′<br />

( x)<br />

) = e ( y( x) + 2y′<br />

( x) + y′′<br />

( x)<br />

)<br />

0<br />

y′′′<br />

( ( ) ( ) ( ))<br />

( 0)<br />

e y 0 + 2 y′<br />

0 + y ′′ 0 = 4 ⇒ a = = =<br />

Siguiendo el proceso, encontramos la siguiente fórmula <strong>para</strong><br />

<strong>para</strong> a<br />

n+2<br />

:<br />

4<br />

4!<br />

4<br />

4!<br />

( )<br />

( x)<br />

y n 2<br />

1<br />

3.2<br />

(10.4)<br />

+ por lo tanto<br />

y<br />

( n+<br />

2) x<br />

( n−1<br />

( x)<br />

= e ⎜ y( x) + ⎜ ⎟y′<br />

( x) + ⎜ ⎟y′′<br />

( x) + L+<br />

⎜ ⎟y<br />

)<br />

( x)<br />

= e<br />

x<br />

⇒ y<br />

n<br />

∑<br />

k = 0<br />

⎛n⎞<br />

⎜ ⎟y<br />

⎝k<br />

⎠<br />

⎛<br />

⎜<br />

⎝<br />

( k )<br />

( x)<br />

n<br />

∑<br />

⎛n⎞<br />

⎝0⎠<br />

( n+<br />

2) 0<br />

( k<br />

(0) = e ⎜ ⎟y<br />

)<br />

( 0)<br />

k = 0<br />

⎛n⎞<br />

⎝k<br />

⎠<br />

⎛n⎞<br />

⎝1⎠<br />

=<br />

⇒<br />

a<br />

n+<br />

2<br />

⎛ n ⎞<br />

⎝n<br />

−1⎠<br />

( 0)<br />

( n+<br />

2)<br />

y<br />

= =<br />

( n + 2)!<br />

n<br />

∑<br />

k = 0<br />

+ y<br />

( n)<br />

⎛n⎞<br />

⎜ ⎟y<br />

⎝k<br />

⎠<br />

( n + 2)!<br />

⎞<br />

( x)<br />

⎟<br />

⎠<br />

( k )<br />

( 0)<br />

,<br />

n ≥ 0.<br />

luego la solución general viene dada por<br />

y<br />

( x)<br />

= 1+<br />

x +<br />

= 1+<br />

x +<br />

∞<br />

∑<br />

n=<br />

0<br />

∞<br />

∑<br />

n=<br />

0<br />

a<br />

n+<br />

2<br />

n+<br />

2<br />

n<br />

2<br />

x<br />

( n + 2)!<br />

n+<br />

2<br />

= 1+<br />

x +<br />

La serie converge <strong>para</strong> todo x∈ R.<br />

x<br />

1<br />

2<br />

x<br />

2<br />

+<br />

1<br />

3<br />

x<br />

3<br />

+<br />

1<br />

6<br />

x<br />

4<br />

+<br />

1<br />

15<br />

x<br />

5<br />

+<br />

1<br />

45<br />

x<br />

6<br />

+<br />

2<br />

315<br />

x<br />

7<br />

+L.<br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 24


MÉTODO DE SERIES DE TAYLOR<br />

Realicemos este mismo ejemplo, pero ahora usando solución en <strong>series</strong> <strong>de</strong><br />

potencias. Para esto necesitamos <strong>de</strong>l siguiente teorema.<br />

Teorema.<br />

convergentes en el intervalo<br />

con<br />

también <strong>para</strong><br />

Sean<br />

∞<br />

∑<br />

k=<br />

0<br />

∞<br />

⎛ ⎞ ⎛<br />

⎜<br />

k<br />

ak<br />

x ⎟ ⎜<br />

⎝ k=<br />

0 ⎠ ⎝<br />

<strong>para</strong> todo x en este intervalo.<br />

a<br />

k<br />

x<br />

k<br />

c<br />

k<br />

y<br />

k=<br />

0<br />

k<br />

∑j<br />

= 0<br />

k=<br />

0<br />

k<br />

j<br />

k<br />

k<br />

k−<br />

j<br />

( A)<br />

conocida como el producto <strong>de</strong> Cauchy <strong>de</strong> <strong>las</strong> <strong>series</strong> <strong>de</strong> (A), converge<br />

x < R , y<br />

∑<br />

∞<br />

∑<br />

=<br />

c<br />

∞<br />

∑<br />

x<br />

a<br />

b<br />

b<br />

k=<br />

0<br />

x<br />

k<br />

x < R,<br />

R > 0. Entonces la serie<br />

∞<br />

∑<br />

,<br />

b<br />

k<br />

x<br />

k<br />

⎞<br />

⎟ =<br />

⎠<br />

∞<br />

∑<br />

Cuando se expresa en términos <strong>de</strong> funciones analíticas este teorema afirma que el<br />

producto <strong>de</strong> dos funciones analíticas en el intervalo I , f y g, es también él mismo<br />

una función analítica en I, y que su expansión en <strong>series</strong> <strong>de</strong> potencias alre<strong>de</strong>dor <strong>de</strong><br />

k=<br />

0<br />

c<br />

k<br />

x<br />

k<br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 25


MÉTODO DE SERIES DE TAYLOR<br />

cualquier punto x0<br />

en I es el producto <strong>de</strong> Cauchy <strong>de</strong> <strong>las</strong> expansiones en serie <strong>de</strong><br />

potencias <strong>de</strong> f y g alre<strong>de</strong>dor <strong>de</strong> x<br />

0<br />

.<br />

Ahora ya po<strong>de</strong>mos seguir con el ejemplo anterior.<br />

Suponemos la solución <strong>de</strong> la forma<br />

y x<br />

∑ ∞ ( ) =<br />

=<br />

k<br />

0<br />

a k<br />

x<br />

k<br />

Al reemplazar en la ecuación diferencial nos da<br />

∞<br />

∑<br />

k = 2<br />

k ( k −1)<br />

a x<br />

k<br />

k −2<br />

− e<br />

x<br />

∞<br />

∑<br />

k = 0<br />

a<br />

k<br />

x<br />

k<br />

= 0,<br />

o bien,<br />

∞<br />

∑<br />

k = 2<br />

k ( k −1)<br />

a x<br />

k<br />

k −2<br />

⎛<br />

− ⎜<br />

⎝<br />

∞<br />

∑<br />

k = 0<br />

k<br />

x ⎞⎛<br />

⎟⎜<br />

k!<br />

⎠⎝<br />

∞<br />

∑<br />

k = 0<br />

a<br />

k<br />

x<br />

k<br />

⎞<br />

⎟ = 0,<br />

⎠<br />

( 10.5)<br />

Ahora aplicamos el teorema anterior, <strong>para</strong> escribir el producto <strong>de</strong> <strong>las</strong> dos <strong>series</strong> en<br />

la siguiente forma:<br />

⎛<br />

⎜<br />

⎝<br />

∞<br />

∑<br />

k = 0<br />

k<br />

x ⎞⎛<br />

⎟⎜<br />

k!<br />

⎠⎝<br />

∞<br />

∑<br />

k = 0<br />

a<br />

k<br />

x<br />

k<br />

⎞<br />

⎟ =<br />

⎠<br />

2 3<br />

( a + a x + a x + a x + L)<br />

= a<br />

=<br />

0<br />

0<br />

+<br />

1<br />

( a + a )<br />

⎛<br />

0<br />

∞ k<br />

∑∑ ⎜<br />

⎜<br />

k = 0 j=<br />

0<br />

⎝<br />

1<br />

2<br />

a<br />

( k − j)<br />

⎛ a0<br />

x + ⎜ + a<br />

⎝ 2!<br />

j<br />

⎞<br />

⎟x<br />

! ⎟<br />

⎠<br />

k<br />

3<br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 26<br />

.<br />

1<br />

+ a<br />

Sustituyendo esta expresión en (10.5), obtenemos<br />

∞<br />

∑<br />

⎡<br />

⎢<br />

⎢⎣<br />

( k + 2)<br />

De esto último se sigue que<br />

En particular,<br />

( k + 1) a<br />

∑<br />

k = 0 j=<br />

0<br />

a<br />

2 3<br />

⎛ x x ⎞<br />

⎜1+<br />

x + + + L<br />

2! 3!<br />

⎟<br />

⎝<br />

⎠<br />

2<br />

a<br />

⎞<br />

⎟x<br />

⎠<br />

( k − j)<br />

2<br />

⎤<br />

⎥x<br />

! ⎥⎦<br />

k<br />

j k<br />

k + 2<br />

−<br />

=<br />

⎛ a0<br />

a1<br />

+ ⎜ + + a<br />

⎝ 3! 2!<br />

k<br />

1<br />

a<br />

j<br />

2<br />

, ≥ 0.<br />

!<br />

= ( + 2) ( + 1) ( − )<br />

k<br />

k + k k<br />

∑= k j<br />

j 0<br />

0,<br />

2<br />

+ a<br />

3<br />

⎞<br />

⎟x<br />

⎠<br />

3<br />

+ L


MÉTODO DE SERIES DE TAYLOR<br />

a<br />

a<br />

a<br />

2<br />

3<br />

4<br />

a0<br />

= ,<br />

2<br />

a0<br />

+ a1<br />

= ,<br />

6<br />

1 ⎛ a0<br />

= ⎜ + a<br />

12 ⎝ 2<br />

1<br />

+ a<br />

2<br />

⎞<br />

⎟<br />

⎠<br />

=<br />

a<br />

0<br />

+ a<br />

12<br />

1<br />

,<br />

etc., y en principio todos los a<br />

k<br />

pue<strong>de</strong>n calcularse en términos <strong>de</strong> a0<br />

y a<br />

1.<br />

Reemplazando los valores <strong>de</strong> a = , a 1 se tiene.<br />

0<br />

1 1<br />

=<br />

a<br />

a<br />

a<br />

M<br />

2<br />

3<br />

4<br />

1<br />

= ,<br />

2<br />

1<br />

= ,<br />

3<br />

1<br />

= ,<br />

6<br />

Luego la solución <strong>de</strong>l problema <strong>de</strong> valor inicial viene dado por<br />

y<br />

1<br />

2<br />

1<br />

3<br />

1<br />

6<br />

2 3 4<br />

( x) = 1+<br />

x + x + x + x +L.<br />

Deberá notarse que la solución obtenida por <strong>series</strong> <strong>de</strong> potencias es más pobre que<br />

la obtenida por Taylor.<br />

Ejercicio . Encuentre una <strong>series</strong> <strong>de</strong> potencias <strong>para</strong> la solución general <strong>de</strong> la<br />

ecuación diferencial<br />

x<br />

( x) + sin ( x) y′<br />

+ e = 0<br />

y′ y<br />

Los próximos ejemplos tratan con <strong>ecuaciones</strong> diferenciales no lineales.<br />

Ejemplo 11. Encuentre la solución en <strong>series</strong> <strong>de</strong> potencias y en <strong>series</strong> <strong>de</strong> Taylor <strong>de</strong>l<br />

problema <strong>de</strong> valor inicial<br />

Solución.<br />

2<br />

y ′ = 1+<br />

y ; y<br />

( 0) = 0.<br />

( 11.1)<br />

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

⎛ π π ⎞<br />

= ∈ ⎜ − ⎟<br />

⎝ 2 2 ⎠<br />

mediante el uso <strong>de</strong> se<strong>para</strong>ción <strong>de</strong> variables, a saber, y ( x) tan x , x , .<br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 27


MÉTODO DE SERIES DE TAYLOR<br />

Método <strong>series</strong> <strong>de</strong> potencias:<br />

Suponemos que la ec. (11.1) tiene como solución<br />

Derivando, se tiene<br />

y′<br />

y<br />

∞<br />

∑<br />

∑ ∞<br />

n=0<br />

n<br />

( x) = a n<br />

x .<br />

( 11.2)<br />

n−1<br />

n<br />

( x) = na x = ( n + 1) a x .<br />

( 11.3)<br />

n=<br />

1<br />

n<br />

∞<br />

∑<br />

n=<br />

0<br />

n+<br />

1<br />

evaluando la ec. (11.1) en x = 0 e imponiendo la condición inicial, se encuentra<br />

que y ( 0) = 0 = a0<br />

. Reemplazando (11.2) , (11.3) en (11.1) vemos que los<br />

coeficientes <strong>de</strong> la serie a<br />

n<br />

, <strong>de</strong>ben satisfacer<br />

∞<br />

∑<br />

n=<br />

0<br />

Igualando los coeficientes, obtenemos<br />

∞<br />

∞ n<br />

⎛ ⎞ ⎛<br />

1<br />

⎜∑<br />

⎟ ∑∑ ⎜<br />

2<br />

n<br />

( 1) 1 ⎜<br />

n<br />

n + a x = + a x ⎟ = 1+<br />

⎜ a a . ( 11.4)<br />

+ −<br />

⎟ n<br />

n<br />

k n k<br />

⎝ n=<br />

0 ⎠<br />

n= 0 ⎝ k=<br />

0 ⎠<br />

⎞<br />

n = 0 :<br />

n = 1:<br />

n = 2 :<br />

n = 3 :<br />

n = 4 :<br />

En general,<br />

a<br />

1<br />

2a<br />

3a<br />

4a<br />

5a<br />

= 1+<br />

a<br />

2<br />

3<br />

4<br />

5<br />

2<br />

0<br />

= 2a<br />

a<br />

0<br />

0<br />

0<br />

0<br />

1<br />

= 2a<br />

a<br />

= 2a<br />

a<br />

= 2a<br />

a<br />

2<br />

3<br />

4<br />

= 1<br />

= 0, ⇒ a<br />

2<br />

1<br />

+ a1<br />

= 1, ⇒ a3<br />

=<br />

3<br />

+ 2a<br />

a = 0, ⇒ a = 0<br />

1<br />

+ 2a<br />

a<br />

1<br />

2<br />

3<br />

2<br />

+ a<br />

= 0<br />

2<br />

2<br />

=<br />

4<br />

2<br />

,<br />

3<br />

⇒ a<br />

5<br />

=<br />

2<br />

.<br />

15<br />

a<br />

n<br />

⎧<br />

⎪<br />

⎪<br />

= ⎨<br />

⎪1<br />

⎪<br />

⎪⎩<br />

n<br />

1+<br />

a<br />

n<br />

∑ − 1<br />

k=<br />

0<br />

0,<br />

2<br />

0<br />

,<br />

si n es par<br />

si n = 1<br />

ak<br />

an− 1−k<br />

, si n es impar, n > 1.<br />

Así, estamos en capacidad <strong>de</strong> calcular en forma recurrente los coeficientes <strong>de</strong> la<br />

serie pero no somos capaces <strong>de</strong> expresar fácilmente explícitamente en a como<br />

función <strong>de</strong> n. Por tanto, no po<strong>de</strong>mos calcular el radio <strong>de</strong> convergencia<br />

directamente. Sin embargo sabemos, que el radio <strong>de</strong> convergencia es / 2.<br />

Luego la solución <strong>de</strong>l problema <strong>de</strong> valor inicial viene dado por<br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 28<br />

π<br />

n


Método <strong>series</strong> <strong>de</strong> Taylor:<br />

MÉTODO DE SERIES DE TAYLOR<br />

1 2<br />

π π<br />

5<br />

⎞<br />

y = L ⎜ ⎟<br />

3 15<br />

⎝ 2 2 ⎠<br />

3<br />

⎛<br />

( x) x + x + x + . x ∈ − , .<br />

Supongamos que <strong>las</strong> soluciones son <strong>de</strong> la forma ∑<br />

∞<br />

Se tiene inicialmente que a = y(0)<br />

0 .<br />

Haciendo = 0<br />

que<br />

0<br />

=<br />

n=0<br />

x y reemplazando el valor <strong>de</strong> ( 0 ) = 0<br />

( ) = 1+<br />

y( 0)<br />

2<br />

y ′ 0 = 1, ⇒ a1<br />

=<br />

( n ) a ( )<br />

con y 0<br />

a<br />

x n<br />

n<br />

n<br />

= .<br />

n!<br />

y en la ecuación (11.1), se tiene<br />

( 0)<br />

y′<br />

1!<br />

= 1<br />

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

Haciendo = 0<br />

y ′<br />

= 2yy′<br />

( 11.5)<br />

x y reemplazando los valores anteriores ( 0 ) 0, ( 0) = 1<br />

ecuación (11.5), tenemos que<br />

Repitiendo el proceso una vez<br />

y en la<br />

( 0)<br />

y′′<br />

y ′′( 0) = 2y( 0) y′<br />

( 0)<br />

= 0, ⇒ a2 = = 0.<br />

2!<br />

= y′<br />

y ′′′ = 2yy′′<br />

+ 2<br />

y ′′′<br />

( y′<br />

)<br />

( 0) = 2y( 0) y′′<br />

( 0) + 2( y′<br />

( 0)<br />

)<br />

2<br />

2<br />

= 2(0)(1) + 2(1)<br />

2<br />

= 2,<br />

⇒ a<br />

3<br />

=<br />

( 0)<br />

y ′′′<br />

3!<br />

=<br />

1<br />

3<br />

Otra vez,<br />

y<br />

y<br />

iv<br />

iv<br />

= 2yy′′′<br />

+ 2y′<br />

y′′<br />

+ 4<br />

( y′<br />

)( y′′<br />

)<br />

= 2yy<br />

′′′ + 6y′<br />

y′′<br />

( 0) = 2y( 0) y′′′<br />

( 0) + 6y′<br />

( 0) y ′′ ( 0) = 2(0)(2) + 6(1) ( 0)<br />

= 0,<br />

⇒ a<br />

( 0)<br />

iv<br />

y<br />

4!<br />

4<br />

= =<br />

0<br />

Y otra vez…..<br />

y<br />

v<br />

y<br />

v<br />

= 2yy<br />

iv<br />

+ 2y′<br />

y′′′<br />

+ 6y′<br />

y ′′′ + 6y′′<br />

y′′<br />

= 2yy<br />

iv<br />

( 0) = 2y( 0) y ( 0) + 8y′<br />

( 0) y′′′<br />

( 0) + 6( y′′<br />

( 0)<br />

)<br />

⎛ 1 ⎞<br />

= 2(0)(0) + 8(1) ⎜ ⎟ + 6<br />

⎝ 3⎠<br />

( 0)<br />

2<br />

=<br />

8<br />

,<br />

3<br />

2<br />

⇒ a<br />

iv<br />

5<br />

+ 8y′<br />

y′′′<br />

+ 6<br />

( 0)<br />

v<br />

y<br />

=<br />

5!<br />

=<br />

( y ′′ )<br />

2<br />

15<br />

2<br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 29


MÉTODO DE SERIES DE TAYLOR<br />

Hagamóslo una vez más<br />

y<br />

vi<br />

y<br />

vi<br />

Por última vez<br />

= 2yy<br />

v<br />

+ 2y′<br />

y<br />

iv<br />

+ 8y′<br />

y<br />

+ 8y′′<br />

y′′′<br />

+ 12<br />

( y′′<br />

)<br />

v<br />

iv<br />

( 0) = 2y( 0) y ( 0) + 10y′<br />

( 0) y ( 0) + 20y<br />

′′ ( 0) y′′′<br />

( 0)<br />

y<br />

vii<br />

y<br />

vii<br />

= 2yy<br />

iv<br />

y ′′′ = 2yy<br />

= 0<br />

v<br />

+ 10y′<br />

y<br />

⇒ a<br />

iv<br />

( 0)<br />

vi<br />

y<br />

6!<br />

+ 20y′′<br />

y ′′′<br />

6<br />

= =<br />

vi<br />

v<br />

iv<br />

2<br />

= 2yy<br />

+ 12y′<br />

y + 30y′′<br />

y + 20( y′′′<br />

)<br />

vi<br />

v<br />

iv<br />

( 0) = 2y( 0) y ( 0) + 12y′<br />

( 0) y ( 0) + 30y′′<br />

( 0) y ( 0) + 20( y′′′<br />

( 0)<br />

)<br />

⎛ 8 ⎞<br />

= 12(1) ⎜ ⎟ + 20<br />

⎝ 3⎠<br />

= 112<br />

vi<br />

+ 2y′<br />

y<br />

⇒ a<br />

6<br />

v<br />

=<br />

+ 10y′<br />

y<br />

( 2)<br />

2<br />

112<br />

7!<br />

=<br />

v<br />

2<br />

.<br />

21<br />

+ 10y′′<br />

y<br />

iv<br />

+ 20y′′<br />

y<br />

Luego la solución <strong>de</strong>l problema <strong>de</strong> valor inicial viene dado por<br />

Esto es,<br />

y<br />

iv<br />

+ 20y′′′<br />

y′′′<br />

1 2 2 23 9<br />

π π ⎞<br />

= ⎜ ⎟<br />

3 15 21 810<br />

⎝ 2 2 ⎠<br />

3 5 7<br />

⎛<br />

( x) x + x + x + x + x + L.<br />

x ∈ − , .<br />

2<br />

0<br />

tan x ≈ x +<br />

1<br />

3<br />

x<br />

3<br />

+<br />

2<br />

15<br />

x<br />

5<br />

+<br />

2<br />

21<br />

x<br />

7<br />

+<br />

23<br />

810<br />

x<br />

9<br />

+ L.<br />

⎛ π π ⎞<br />

x ∈ ⎜ − , ⎟.<br />

⎝ 2 2 ⎠<br />

Nótese que estamos en capacidad <strong>de</strong> calcular en forma recurrente los coeficientes<br />

<strong>de</strong> la serie pero no somos capaces <strong>de</strong> expresar fácilmente a_n explícitamente como<br />

función <strong>de</strong> n. De nuevo no po<strong>de</strong>mos encontrar su radio <strong>de</strong> convergencia.<br />

Pero si po<strong>de</strong>mos calcular recurrentemente tantos coeficientes <strong>de</strong> la serie como sea<br />

necesario <strong>para</strong> producir una solución con una exactitud <strong>de</strong>seada.<br />

Esto es lo que pasa cuando se trata <strong>de</strong> encontrar solución en <strong>series</strong> <strong>de</strong> problemas<br />

no lineales.<br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 30


MÉTODO DE SERIES DE TAYLOR<br />

Ejemplo 11. Encuentre la solución en <strong>series</strong> <strong>de</strong> potencias y en <strong>series</strong> <strong>de</strong> Taylor <strong>de</strong>l<br />

problema <strong>de</strong> valor inicial<br />

− y<br />

′<br />

y = x + e<br />

( 0) 0.<br />

( 12.1)<br />

; y =<br />

Solución.<br />

En este problema po<strong>de</strong>mos encontrar su solución en forma analítica como sigue:<br />

Haciendo<br />

u<br />

− y<br />

= e , se tiene que<br />

du<br />

dx<br />

= − e<br />

− y<br />

dy<br />

dx<br />

( 12.2)<br />

Así que multiplicamos la ec. (12.1) por<br />

− e − y , <strong>para</strong> obtener<br />

− e<br />

− y<br />

dy<br />

dx<br />

= − xe<br />

− y<br />

− e<br />

−2 y<br />

O bien, el siguiente problema <strong>de</strong> valor inicial equivalente<br />

du<br />

+ xu = −u<br />

dx<br />

2<br />

,<br />

( 12.3)<br />

La ecuación diferencial (12.3) es <strong>de</strong> tipo Bernoulli, por lo tanto haremos la<br />

sustitución<br />

−1<br />

w = u<br />

,<br />

( 12.4)<br />

Con lo cual se tiene<br />

dw −<br />

= − u<br />

2<br />

dx<br />

du<br />

dx<br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 31


MÉTODO DE SERIES DE TAYLOR<br />

Multiplicando a ambos miembros <strong>de</strong> la ecuación (12.3) por<br />

−2<br />

− u , se obtiene<br />

− u<br />

2<br />

du<br />

dx<br />

− xu<br />

−1<br />

= −1 ,<br />

−1<br />

−1<br />

O bien, ya que w = u , w( 0) = [ u( 0)<br />

] = 1<br />

dw<br />

dx<br />

− xw = −1 , w =<br />

( 0) 1<br />

( 12.5)<br />

La ecuación (12.5) resulta ser lineal, se encuentra que el factor integrante viene a<br />

2<br />

x<br />

x<br />

⎡ ⎤ −<br />

ser<br />

2<br />

µ ( x) = exp⎢<br />

− tdt⎥<br />

= e<br />

⎣ ∫<br />

.<br />

0 ⎦<br />

Multiplicando la ecuación (12.5) por el factor integrante, se tiene<br />

d<br />

dx<br />

⎡<br />

⎢e<br />

⎢⎣<br />

2<br />

x<br />

−<br />

2<br />

⎤<br />

w⎥<br />

= −e<br />

⎥⎦<br />

2<br />

x<br />

−<br />

2<br />

,<br />

Luego la solución <strong>de</strong> (12.5) es obtenida como<br />

w<br />

2<br />

x<br />

⎡<br />

=<br />

⎢<br />

∫<br />

⎣<br />

−<br />

2<br />

2<br />

( x) e ⎢C<br />

+ e dt⎥<br />

,<br />

( 12.6)<br />

Reemplazando la condición inicial <strong>para</strong> encontrar C, obtenemos<br />

0<br />

x<br />

2<br />

t<br />

⎤<br />

⎥⎦<br />

1<br />

( )<br />

0<br />

2<br />

= w( 0)<br />

= e ⎢C<br />

+<br />

∫<br />

2<br />

⎡<br />

⎢⎣<br />

0<br />

0<br />

e<br />

2<br />

t<br />

−<br />

2<br />

⎤<br />

dt⎥<br />

,<br />

⎥⎦<br />

⇒<br />

C = 1<br />

Así que al <strong>de</strong>volvernos, tenemos:<br />

1<br />

( x)<br />

2<br />

2<br />

x<br />

⎡ x t<br />

− ⎤<br />

e<br />

=<br />

2<br />

e ⎢ +<br />

2<br />

1 e dt⎥<br />

, ⇒ u(<br />

x)<br />

=<br />

⎢<br />

∫<br />

0<br />

⎣<br />

⎥⎦<br />

1+<br />

0<br />

2<br />

x<br />

−<br />

2<br />

2<br />

u x t<br />

−<br />

2<br />

∫<br />

e<br />

dt<br />

Pero<br />

e<br />

− y<br />

u<br />

− y<br />

= e .<br />

⎡<br />

⎤<br />

2<br />

2<br />

x<br />

x<br />

−<br />

⎡<br />

⇒ − = − ⎢ +<br />

⎥<br />

⎥<br />

⎥<br />

⎢<br />

⎢<br />

⎢ −<br />

2<br />

2<br />

2<br />

x<br />

e<br />

e<br />

−<br />

2<br />

= ⇒ − y = ln<br />

y ln e ln 1<br />

2<br />

2<br />

x t<br />

⎢<br />

∫<br />

−<br />

x t<br />

−<br />

2<br />

+ e dt<br />

⎢<br />

2<br />

1<br />

1+<br />

e dt ⎥<br />

⎣<br />

∫<br />

0<br />

⎢⎣<br />

∫<br />

0 ⎥⎦<br />

0<br />

x<br />

e<br />

2<br />

t<br />

−<br />

2<br />

⎤<br />

dt⎥<br />

⎥⎦<br />

O finalmente,<br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 32


′′′<br />

y<br />

MÉTODO DE SERIES DE TAYLOR<br />

2<br />

x ⎡<br />

= +<br />

2 ⎢<br />

∫<br />

⎣<br />

2<br />

x<br />

2<br />

x ⎞⎤<br />

⎥<br />

2 ⎠⎦<br />

−<br />

2<br />

( x) + ln⎢1<br />

e dt⎥<br />

= + ln 1+<br />

erf ⎜ ⎟ , x > −1.<br />

2755<br />

don<strong>de</strong> la función <strong>de</strong> error erf(x) viene dada por:<br />

0<br />

x<br />

t<br />

2<br />

⎤<br />

⎥⎦<br />

2<br />

erf ( x)<br />

=<br />

π<br />

Ahora encontremos su solución por el método <strong>de</strong> <strong>las</strong> <strong>series</strong> <strong>de</strong> Taylor:<br />

Supongamos que <strong>las</strong> soluciones son <strong>de</strong> la forma ∑<br />

∞<br />

Se tiene inicialmente que a = y(0)<br />

0 .<br />

Haciendo = 0<br />

que<br />

0<br />

=<br />

∫<br />

⎡<br />

⎢<br />

⎣<br />

0<br />

x<br />

e<br />

−t<br />

2<br />

π<br />

2<br />

dt.<br />

n=0<br />

x y reemplazando el valor <strong>de</strong> ( 0 ) = 0<br />

⎛<br />

⎝<br />

( n ) a ( )<br />

con y 0<br />

a<br />

x n<br />

n<br />

( 0) ′<br />

( )<br />

( 0)<br />

= 0 + e = 1, ⇒ a =<br />

− y<br />

y ′ 0<br />

1<br />

1!<br />

n<br />

= .<br />

n!<br />

y en la ecuación (12.1), se tiene<br />

= 1<br />

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

−<br />

y′ = 1−<br />

e y<br />

y<br />

′<br />

( 12.7)<br />

Haciendo = 0<br />

x y reemplazando los valores anteriores ( 0 ) 0, ( 0) = 1<br />

ecuación (12.7), tenemos que<br />

y en la<br />

( 0)<br />

−( 0) y′′<br />

y ′′ ( 0) = 1−<br />

e y′<br />

( 0)<br />

= 0, ⇒ a2<br />

=<br />

2!<br />

= y′<br />

= 0.<br />

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

Haciendo = 0<br />

y ′′ = e<br />

′<br />

−<br />

y′<br />

− e<br />

y′′<br />

= −e<br />

− y − y<br />

y<br />

′<br />

( y ′′ − y ),<br />

( 12.8)<br />

x y reemplazando los valores anteriores y ( 0 ) 0, ( 0) = 1 y y ( 0 ) = 0<br />

en la ecuación (12.8), tenemos que<br />

Repitiendo el proceso anterior<br />

−( 0) y ′′′<br />

y ′′′<br />

( 0) = −e<br />

( y′′<br />

( 0) − y′<br />

( 0)<br />

) = 1, ⇒ a3<br />

=<br />

3!<br />

y<br />

= − e<br />

( y′′′<br />

− 2y′′<br />

+ y ),<br />

iv − y<br />

′<br />

= y′<br />

( 0)<br />

=<br />

1<br />

3!<br />

′′<br />

y<br />

iv<br />

−( 0) ( ) = − e ( y ( 0) − 2y<br />

′′ ( 0) + y′<br />

( 0)<br />

)<br />

0 = −2,<br />

⇒ a4<br />

=<br />

( 0)<br />

iv<br />

y<br />

4!<br />

= −<br />

2<br />

4!<br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 33


′′′<br />

′′′<br />

MÉTODO DE SERIES DE TAYLOR<br />

Repetiremos el proceso unas cuantas veces<br />

y<br />

vi<br />

y<br />

v<br />

y<br />

= − e<br />

iv<br />

( y − 3y′′′<br />

+ 3y′′<br />

− y ),<br />

v − y<br />

′<br />

v<br />

y<br />

( )<br />

( 0)<br />

= 6, ⇒ a =<br />

−( 0) iv<br />

( ) = − e y ( 0) − 3y<br />

( 0) + 3y<br />

′′ ( 0) − y′<br />

( 0)<br />

0<br />

5<br />

y<br />

= − e<br />

v iv<br />

( y − 4y<br />

+ 6y<br />

′′′ − 4y′′<br />

+ y ),<br />

vi − y<br />

′<br />

v<br />

y<br />

( )<br />

( 0)<br />

= −21,<br />

⇒ a =<br />

−( 0) v<br />

iv<br />

( ) = − e y ( 0) − 4y<br />

( 0) + 6y<br />

( 0) − 4y<br />

′′ ( 0) + y′<br />

( 0)<br />

0<br />

6<br />

5!<br />

=<br />

6!<br />

6<br />

5!<br />

= −<br />

21<br />

6!<br />

Siguiendo el proceso, encontramos la siguiente fórmula <strong>para</strong><br />

una formula un tanto no obvia <strong>para</strong> a<br />

k<br />

:<br />

(<br />

y k )<br />

( x)<br />

por lo tanto<br />

y<br />

( n)<br />

( x)<br />

= −e<br />

= −e<br />

− y<br />

⎛<br />

⎜ y<br />

⎜<br />

⎜<br />

⎜<br />

⎜<br />

⎝<br />

n<br />

∑ − 2<br />

− y<br />

k = 0<br />

⎛n<br />

− 2⎞<br />

⎝ 1 ⎠<br />

( n−1<br />

) ( n−2<br />

( ) ) ( n−3<br />

x − ⎜ ⎟y<br />

( x) + ⎟y<br />

)<br />

( x)<br />

⎛n<br />

− 2⎞<br />

⎝ k ⎠<br />

k<br />

( n−1−<br />

k<br />

( −1) ⎜ ⎟y<br />

)<br />

( x)<br />

⎛n<br />

− 2⎞<br />

⎜<br />

⎝ 2 ⎠<br />

+<br />

− L<br />

⎛n<br />

− 2⎞<br />

⎝ n − 3⎠<br />

n<br />

( 2<br />

( −1) ⎜ ⎟y<br />

)<br />

( x) + ( −1)<br />

n+<br />

1<br />

⎞<br />

⎟<br />

⎟<br />

⎟<br />

y′<br />

( x)<br />

⎟<br />

⎟<br />

⎠<br />

Que al evaluar en x=0, obtenemos:<br />

y<br />

n<br />

∑ − 2<br />

k = 0<br />

⎛n<br />

− 2⎞<br />

⎜<br />

⎝ k ⎠<br />

( n) k<br />

( n−1−<br />

k<br />

(0) = − ( −1) ⎟y<br />

)<br />

( 0)<br />

De aquí una fórmula <strong>para</strong> los coeficientes a<br />

k<br />

:<br />

a<br />

n<br />

=<br />

( 0)<br />

( n)<br />

y<br />

n!<br />

=<br />

⎡<br />

⎢−<br />

⎢⎣<br />

n 2<br />

∑ −<br />

k = 0<br />

⎛n<br />

− 2⎞<br />

⎝ k ⎠<br />

k<br />

( n−1−<br />

k<br />

( −1) ⎜ ⎟y<br />

)<br />

( 0)<br />

n!<br />

⎤<br />

⎥<br />

⎥⎦<br />

,<br />

n ≥ 0.<br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 34


MÉTODO DE SERIES DE TAYLOR<br />

Bibilografía.<br />

1. Charles E. Robertrs Jr., Ecuaciones Diferenciales Ordinarias. Un enfoque al<br />

cálculo numérico.Ed. Prentice-Hall Int. 1980.<br />

2. Krei<strong>de</strong>r, Kuller, Ostberg. Ecuaciones Diferenciales. Fondo Editorial<br />

Iberoamericano. 1973.<br />

3. Derrick W. , Grossman S. Ecuaciones Diferenciales con Aplicaciones. Fondo<br />

Editorial Iberoamericano. 1984<br />

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

Diferenciales. Fondo Editorial Universidad EAFIT, 2010.<br />

JOSÉ ALBEIRO SÁNCHEZ CANO‐ UNIVERSIDAD EAFIT‐ 2010 Página 35

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!