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