c



|
|

c


     


 




Profesor: José Albeiro Sánchez Cano

Departamento de Ciencias Básicas

Universidad EAFIT. Medellín-Colombia

josanche@eafit.edu.co

Objetivo: Aplicar el método de Taylor para resolver ecuaciones diferenciales,

que como se verá es la misma solución que proporciona la solución en series
de potencias (o de coeficientes indeterminados). Esto es, si la solución en
series de potencias arroja la solución en una formula cerrada, se tendrá
entonces que la solución dada por los polinomios de Taylor también entregará
dicha solución en forma cerrada.

Por lo tanto, en el caso de solución en puntos ordinarios, debería de enseñarse

el método de desarrollo de Taylor, pues viene a ser mucho más cómodo para
un estudiante de ecuaciones diferenciales, pues cuando se trabaja con solución
mediante series de potencias, el acomodo de los índices de la sumatoria
siempre es un poco confuso para ellos. Sin embargo ambos métodos son en
esencia los mismos.

Veamos en que consiste cada método.

    
 para obtener soluciones numéricas de las
ecuaciones diferenciales, consiste en calcular las derivadas sucesivas de la
ecuación diferencial dada, evaluando las derivadas en el punto inicial ü i y
reemplazando el resultado en la serie de Taylor. La principal dificultad de este
método es el cálculo recurrente de las derivadas de orden superior.

        !  


consiste en suponer una solución en la forma *ü

*ü X ü

 i
 i

* º
. Esta

ecuación se deriva tantas veces como sea necesario para obtener expresiones
en serie de todas las derivadas que aparecen en la ecuación diferencial y se

      
 

|
 c



|
reemplazan en la ecuación diferencial dada para obtener los coeficientes
 º
La dificultad de este método es la manipulación de las series que se puedan
necesitar y la obtención de los coeficientes de las series.

Pero los métodos son esencialmente los mismos. En efecto, los coeficientes
que aparecen en la serie de potencias,
 y los coeficientes en el método de
 * *üi  * *üi
Taylor , || | vienen relacionados por la formula
 . La solución
o o

 * *ü i
por el método de Taylor viene dada por 
ü

 i
o
*ü X ü i * º º

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

"#$Resolver el problema de valor inicial

 
 Xü  
i — *—º—
ü

Solución.
ü

Ë

Observar que la solución de (1.1) se puede escribir como *ü —  X  º
i

Ya que no hay funciones elementales para calcular la integral anterior, por lo

tanto no se podría escribir la solución en forma cerrada y por consiguiente
tendríamos que conformarnos con alguna aproximación numérica.

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

las derivadas sucesivas y evaluándolas en ü i para obtener:



*ü X ü X ü  

*i i



*ü * ü X   
 Xü 



*i X
*ü *X  ü  — ü  

Xü
£ 
 £ *i i
*ü *— ü X  ü  — 

Xü
£  
  £ *i —

|||||||||||||||||||||||||||||||||||||||| ||||||||||||||| |
|||1[1] Ecuaciones Diferenciales Ordinarias. Un enfoque al cálculo numérico. Charles E.
Roberts Jr.,

      
 

|
 c



|
Ôotando que 
i  *i *i — y 

i — y reemplazando en la ecuación (S.T)
se obtiene la solución

ü ü

ü — ü X  Xº *—º
 —i

Ahora supongamos que la ecuación (1.1) tiene una solución en serie de

potencias


*ü

ü º
 i


*—º

haciendo ü i en la ecuación (1.3) e imponiendo la condición inicial se ob-

tiene 
i —
i . Diferenciando la ecuación (1.3), obtenemos

 


*ü

ü
 —

 X—

*  —

 i
 — üº *—º

Ya que ü
ü
 i

o ,


*X —  ü  



 Xü *—º
 i
o

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

 
*X —  ü   º

*ü
 —

 ü  X—


 i
o

o en forma equivalente

ü ü

—  
 ü  
 ü   
 ü   
 ü   º —X ü   º


Igualando los coeficientes de potencias iguales, encontramos

— —

— —
 i
 X 
 i
 
i º
 —i

En general, se tiene

 i

  X—
*X —   X—  —º
* X — * X — o

      
  

|
 c



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

*X —  ü  —

ü —

 i
*  —  o

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

Según el autor, debe ser obvio que es más fácil obtener valores adicionales de
los coeficientes de la serie utilizando el método de los coeficientes indetermina-
dos, que utilizando el método de las series de Taylor. En consecuencia, dice el
autor, usualmente se empleará el método de los coeficientes indeterminados,
descartando entonces el método de las series de Taylor.

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

series de Taylor, tenemos



*ü X ü X ü  

*i i
o



*ü * ü X   
 X ü



*i X X
—o
£ *ü *X  ü  — ü  
 X ü
 £ *i i
—
 o
£ *ü *— ü X  ü  —  
  X ü
 £ *i —
 o
£ *ü *X —i ü  — i ü X  ü    X ü
  £ *i i
—
o
*ü *X —i 
i ü X i ü 

£  
ü Xü   £ *i X—i X X
o

Se observa la siguiente ley de formación:

 *  i

 *  X— *X —  X— ** X — o  — º
* X — o

En consecuencia, se tiene los coeficientes

 * 

 i
* o
 *  X— ** X — o

  X— *X — X—  —º
* X — o * X — o* X — o
      
 !
|
 c



|
O bien,

  i

  X— *X — X— ** X — o *X —  X— * X  o

* X — o* X — o * X — * X  o* X — o
—
*X — X—
* X — o* X — o
Ôuevamente se obtiene la solución encontrada por series de potencias:

*X —  ü  —

ü —
º
 i
*  —  o

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

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

#$ % &
%%



Las ecuaciones diferenciales homogéneas lineales de segundo orden de la

forma

 

i *ü 

— *ü 
 *ü  i *—
ü ü

donde
i 
— y
 son polinomios. Dichas ecuaciones aparecen en muchas
aplicaciones físicas. Algunos ejemplos de estas ecuaciones son:
      
 "
|
 c



|
Ecuación de Legendre: 2

 
*— X ü 

ü 
X  ü  Y *Y  — 
ü
i *

Ecuación de Airy:


X ü i *
ü 

Ecuación de Chebyshev:

 
*— X ü 

ü 
X ü Y  
ü
i *

Ecuación de Hermite:

 

X  ü  Y i *
ü ü

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

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

! &'%) Supongamos que

i 
— y
 no tienen factores
comunes. Decimos que üi es un G
 
 de (1) si
i *üi
i , o es un
G
 

 si
i *üi i.

Para la ecuación de Legendre (2), üi — y üi X— son puntos singulares y

todos los otros puntos son puntos ordinarios.

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

Ôecesitaremos el próximo teorema.

'( % 
)

Si ü ü i es un punto ordinario de la ecuación diferencial



*ü 
— *ü  
 *ü  i
|||||||||||||||||||||||||||||||||||||||| ||||||||||||||| |
|

      
 #

|
 c



|
Se pueden encontrar siempre dos soluciones linealmente independientes en la
forma de series de Taylor centradas en ü ü i


 * *i
*ü

 i
o
*ü X ü i

Una solución en series de Taylor converge al menos para ü X üi | ? , donde R

es la distancia de ü i al punto singular más cercano (real o complejo), en tal ca-
so se dice que la solución  *ü es una solución alrededor del punto ordinario üi

*+Encontrar las soluciones en serie de potencias en ü X üi para

ecuaciones de la forma

 
*—  Y *ü X ü i


ü 
 *ü X üi
ü
w  iº *

Muchas ecuaciones importantes que aparecen en aplicaciones son de esta

forma con üi i , incluso la x  
x x
x
x (2) , la x  
x
(3), la x  
xx
 x (3), y la x  
xxx (5 ).

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

(6), la cual la haremos, sin pérdida de generalidad para el caso üi i .

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

casos.

",$Encuentre la serie de potencias en x para la solución general de

 
*
—  Yü
ü 

ü
ü
w  i *º—

Solución:

Buscamos la solución general de la forma

      
 $

|
 c



|


*ü

ü
 i


*º

donde

 * *i

   i — 2 y
i  *i  i 
— 
*i — .
o

Para encontrar el coeficiente
 , hacemos ü i en (2.1) y reemplazamos los

valores de
i i 
— — ¦

esto es,



*i  w 
i i  

*i Xw 
i Xw i


*i w
luego se tiene que
 X i º
o o

Ahora para obtener los coeficientes
  2 , deberemos derivar

implícitamente con respecto a x la ecuación (2.1) n veces, y sustituir los
valores encontrados de los
anteriores.

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

  
* —  Yü 

ü 
 *Y  ü  * w
ü ü
i *º

Haciendo ü i y reemplazando los valores de *i   

*i   

*i en (3) se tiene:



*i  *  w  

i i  


*i X*  w  

i X*  w —



*i * w
Luego se encuentra que
 X — º
o o

Obtengamos ahora
  para lo cual derivamos implícitamente con respecto a

x la ecuación (2.3):

 
     
ü
*
Yü   —  Yü
ü 
 *Y 
ü 
 *Y  ü  * w
ü ü 
i

o bien, organizando:

  

*—  Yü 

ü 
 *Y  ü
ü 
 *Y    w
ü 
i *º

      
 %

|
 c



|
Haciendo ü i y reemplazando los valores de *i   
*i   

*i   


*i en (2.4) se
tiene:

 £ *i  *Y    w 


i i  


*i X*Y    w  


i w *Y    w i

Luego se encuentra que

 £ *i w *Y    w

 X i º
o o

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

 *   *i X*Y* X —    w  *
i   i— 2 *º

Llamando

* *Y* X —  w   i—2

Se tiene lo siguiente:

 *   *i
*
*  *
i
*

 X  *
i X X

*   o
   o
  
  — o
  
  —

Obtenemos la fórmula recursiva de los coeficientes
 i— 2

*

  X
  i — 2 *º
*   *  — 
La fórmula (2.6) coincide con la fórmula dada en [1] .

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

 
ü  ö —

*X — ö 

*X— ö 

ö X— ü ö ö X—

ü i
*   —
*  — 
ö i
 i  * ö o ö i
 i  *ö  — o

"  $

"-$ Encuentre la serie en series de potencias en x para la solución

general de

 
*—   ü 

ü 
 ü  
ü
iº *º—

Solución:

La ecuación tiene la forma de (3.1), reconocemos Y  yw .

      
 &

|
 c



|
Por un lado encontremos el polinomio

 :



* * X —     *  —

Utilizando la formula recursiva (2.6) , se tiene

i i 

— — 

  —

  X
  i — º
*   
Determinemos los coeficientes de potencias pares de x:

— —

 X
i X i 
  —
     —  —º

 X
  X  X i i 
     —  — º
    —º  —ºº

X
  X  i X i 
     —º  —ºº

 
 —ºº  —ººº

 X
 X  X i i
    —ºº  —ººº

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

 * X — 
ö

ö *X — ö —
i  ö i — º º
º
öo

Ahora determinemos los coeficientes de las potencias impares de x:

 —

 X
— X — 
  
      —   —º

 X
 X  X  —  — 
        º
     —º  —ºº


X
 X    — — X  — 

 
 º  ºº

    —ºº   —ººº

 X

X  X   —  — º
    ºº
 ºº
º

En general,

 ö öo

 ö — *X — ö —  ö i — º º
º
 *  —
ö

      
 

|
 c



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

 * X — ü
ö
 

*X— ö
*X — ö
 ö öo

ü i — ö
 — ü  ö —
 *  —
ö
ö i
öo ö i
—

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

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

Ya
i *ü —   ü  no se anula en los reales, luego la solución está definida en
todo R. Sin embargo,
i *ü — ü i en ü   esto implica que las
soluciones dada por el método de Taylor converge en el intervalo
*X —  X—   . Esto ocurre, ya que  —  |es la distancia del punto üi i|
a ü   |en el plano complejo).

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

".. Resolver el problema de valor inicial mediante series de potencias

 
*—   ü 

ü 
 —i ü    i 
ü

i   
*i X

Solución:

      
 

|
 c



|
La ecuación tiene la forma de (1), reconocemos Y  —i y w  y las
condiciones iniciales:
i *i  
— 
*i X

Por un lado encontremos el polinomio

 :

*  * X —  —i   *  


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

 2 , podemos utilizar la formula (5):

 *   *i X*    *
i   i—2


Encontremos los primeros términos.

Para  i ¦


*i


*i X 
i X
 X— 
 X
o

Para  — ¦



*i



*i X—  

i X—
X  
 
o

Para  ¦

  *i 
 *i£
X 


i X
X— — 

o 

Para   ¦

 £ *i 
 £
*i X 



i Xi
 X
ii 
 X
o 

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



 *ü

ü
 i



i 
— ü 
 ü  
 ü  
 ü   º
     —i

 X ü X  ü    ü   ü X ü X ü  ü º º
   

Más generalmente, sea üi
i un punto ordinario. Por lo tanto la solucion por

los polinomios de Taylor será de la forma

      
 

|
 c



|


*ü

*ü X ü
 i
 i

º

donde

 * *üi

   i — 2
o

Es la solución de

 
*—  Y *ü X ü i


ü 
 *ü X üi
ü
w  iº *

Se puede demostrar

 *   *üi X*Y* X —    w  *
ü i   i—2

"/$Determinar mediante los polinomios de Taylor la solución general

de la ecuación diferencial

 
*   ü X  ü 

ü 
X — *ü X —
ü
X —  iº *º— 

Solución

Lo primero que hay que hacer, es escribir el polinomio

i *ü   ü X  ü 

En potencias de *ü X — º

Ahora
i *ü  X *ü X —

  ü X ü 

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

 
* X *ü X — 

ü 
X — *ü X —
ü
X —  i

o bien, en la forma (*):


 —   
— X *ü X —  X  *ü X — X  i
   ü ü

—
Reconocemos Y X  X y w X .


Se tiene entonces el polinomio

 :

      
  

|
 c



|

*
—
X  * X — X  X  X
*   *     i—2
 

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

 2 , podemos utilizar la formula (5):

 *   *—
*   *    *
—   i—2


Encontremos los primeros términos.

Para  i ¦


*— 


*—  
— i 
 i
o 

Para  — ¦



*—



*— 

— — 
 —
o

Para  ¦

  *— 
 £ *— —i  


— ii 
 i
o 

Para   ¦

 £ *— 
 £ *— —  



— Xi— 
 —
o 

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



 *ü

*ü X—
 i



  

i 
— *ü X — 
 *ü X — 
 *ü X — 
 *ü X —  º
     ö  — ö 
 i —  *ü X —  *ü X —  º  ö *ü X —  º 
    
  ö  —  ö — 
—  *ü X —  *ü X —  *ü X — º  ö *ü X —
 
º
   
º

O en forma más compacta:

      
 !

|
 c



|
 
ö  — ö  —
 *ü i

 i
ö
*ü X — ö
 —

 i
ö
*ü X —  ö —

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

— *— —   *— i

— *— i    *— —

y por lo tanto

 *—    *—
iº

Donde  *—    denota el Wronskiano de las soluciones — y   , en las

cuales
 
ö  — ö  —
— *ü

 i
ö
*ü X — ö
   *ü
 i
ö
*ü X —  ö —
º

º

"0$Resolver el problema de valor inicial

ü 
 
 ü i 
— i 
*— X— * º—
Solución.

c +

Mediante el cambio de variable ü X — , llevamos el problema al origen.

En efecto,

 

 ü

º
 
   

  ü 

La ecuación (6.1) toma la forma

   
*  —   *  —  i 
i i 
*i X—
  

      
 "

|
 c



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






ö i
ö
ö

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

  

*  —
ö *ö X —
ö ö X

ö
ö
ö X—
 *  —

ö
ö
i
ö  ö — ö i

Relalizando las multiplicaciones

    

ö *ö X —

ö 
ö
ö X—

ö *ö X —

ö 
ö
ö X

ö

ö —
ö
ö X—



ö i
ö
ö —


ö i
ö
ö
i

Escibiendo todo en potencias de ö , obtenemos

    

ö *ö  —

ö —
ö —  ö

*ö   *ö  —

ö i
ö  
ö

*ö  —

ö i
ö — 
ö



ö —
ö X— 
ö



ö i
ö
ö
i

Empezando todas las sumatorias desde ö — , y organizando, se tiene




 
— 
i 
ö *ö  —

ö —
ö —  *ö   *ö  —
ö    *ö  —
ö — 
ö X— 
ö  ö i

mejor,



 
— 
i 
*ö   *ö  —

ö —
ö   *ö  —
ö — 
ö X— 
ö ö

 i

Así pues,


 
— 
i i
*ö   *ö  —
ö    *ö  — 
ö — 
ö X— 
ö i ö  —º * º
Usando las condiciones iniciales 
i i 
*i X— . Con lo que

i i
— X— . Reemplazando en (6.3), se tiene los primeros coeficientes:

— — —

 
 X 
 


De donde

      
 #

|
 c



|
  

X  X  º


Y haciendo ü X — , se tiene finalmente


ü X*ü X — 
*ü X —  X *ü X —   *ü X —  º


Donde la convergencia se tiene en el intervalo *i ¿por qué?

c
+

Buscamos soluciones de la forma


 * *—
*ü
 i
o
*ü X —  º

Para ello derivamos sucesivamente y evaluamos en las derivadas encontradas,

esto es,


*— —
ü 
 
 ü i 
i 
— i
— 
*— X—

o 



*— X —
ü 

  
 ü 
 i 

o o
 *—
£

ü £    
 ü 
   i 

o o
 *—
£
—
ü £    £  ü 

  i 
 X
o o

Siguiendo el proceso, se obtiene la formula recursiva:

ü *  * X — 
 X—  ü * X 
 X   * X i   º

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

*ü X— *ü X— *ü X—
  

ü X*ü X —  X  º


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

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

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

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

      
 $

|
 c



|

"1$' % &2)Encuentre la solución en series Taylor

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

 
*— X ü 

ü 
X  ü  Y *Y  — 
ü
i *
º—

Solución:

Buscamos la solución general de la forma



 *ü

ü
 i


*
º

donde

 * *i

   i — 2 y
i  *i  i 
— 
*i — .
o

Para encontrar el coeficiente
 , hacemos ü i en (7.1) y reemplazamos los

valores de
i i 
— — ¦

esto es,



*i  Y *Y  — 
i i  

*i XY *Y  — 
i XY *Y  —  i


*i Y *Y  —
luego se tiene que
 X i º
o o

Ahora para obtener los coeficientes
  2 , deberemos derivar implí-

citamente con respecto a x la ecuación (7.1) n veces, y sustituir los valores
encontrados de los
anteriores.

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

  
*— X ü 

ü 
X  ü
ü 
 *Y *Y  — X 
ü
i *
º

Haciendo ü i y reemplazando los valores de *i   

*i   

*i en (7.3) se
tiene:




*i X*Y *Y  — X   

i X*Y *Y  — X  — X*Y   *Y X — —



*i *Y   *Y X —
Luego se encuentra que
 X — º
o  º

      
 %

|
 c



|
Obtengamos ahora
  para lo cual derivamos implícitamente con respecto a
x la ecuación (7.3) , se tiene:

  

*— X ü 

ü 
X ü
ü 
 *Y *Y  — X
ü 
i *
º

Haciendo ü i y reemplazando los valores de *i   

*i   

*i   


*i en (7.4) se
tiene:

 £ *i X*Y *Y  — X 


i X*Y   *Y X  X Y *Y  — i *Y   *Y  — Y *Y X  i
Luego se encuentra que


 £ *i *Y   *Y  — Y *Y X  i º
o o

Derivando la ecuación (7.4) se tiene

  

*— X ü 

ü 
X  ü
ü 
 *Y *Y  — X —
ü 
i *
º

Haciendo ü i y reemplazando los valores de *i   

*i   

*i   


*i en (7.4) se
tiene:

 £ *i X*Y *Y  — X —  



i
X *Y   *Y X  X *Y   *Y X — —  *Y   *Y   *Y X — *Y X  —
Encontrando que


 £ *i *Y   *Y   *Y X — *Y X  — º
o o

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

ö *X — ö *Y  ö X — *Y  ö X  º *Y  — Y *Y X  º *Y X ö   i 
*ö o

 ö — *X — ö *Y  ö *Y  ö X  º *Y   *Y X — *Y X  º *Y X ö  — — º
*ö  — o
Todos los coeficientes estan determinados en términos de ahora  i  y — 
por lo cual debemos tener

*ü  i — *ü  —   *ü 

donde

      
 &

|
 c



|
Y *Y  —  *Y   *Y  — Y *Y X  
—
ü —X ü  ü Xº
o o

O bien,

*Y  ö X — *Y  ö X  º *Y  — Y *Y X  º *Y X ö  
—
ü —
*X —
ö —
ö

*ö o
ü ö 


ü üX
*Y   *Y X — ü 
*Y   *Y   *Y X — *Y X  ü Xº
o o

O bien,

*Y  ö *Y  ö X  º *Y   *Y X — *Y X  º *Y X ö  —
—
ü —
*X —
ö —
ö

*ö  — o
ü  ö — 

Ambas —
ü  y  
ü  son soluciones de la ecuación de Legendre, al tomar

respectivamente

 i *i — — *i i
 i *i i — *i —

Ellas forman una base para las soluciones, ya que

— *i —   *i i
  *—    *—
i
 
— *i i   *i —

Donde  *—    denota el Wronskiano de las soluciones — y   .

Observar que si Y es un entero par no negativo

 ö 
ö i—º 

luego continuar«««««««

      
 

|
 c



|


"3$ Resuelva la ecuación diferencial

ü 
 
 ü iº *º—
Solución.


.

 * *i
Supongamos que las soluciones son de la forma

 ü  con

 i o
.

Para esto, pongamos i  *i  *i *i y — 

*i .
Haciendo ü i y reemplazando los valores anteriores en la ecuación (8.1), se
tiene que — iº

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

ü 

 
 
 ü 
 i  ü 

  
 ü 
 i *º
Haciendo ü i y reemplazando los valores anteriores en la ecuación (8.2), se
tiene que

— —


*i X *i X i
 

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

ü £   

  

 ü 
 
  i  ü £    

 ü 
   i *º
Haciendo ü i y reemplazando los valores anteriores en la ecuación (8.3), se
tiene que

 



*i X 
*i X — i
 

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

ü *  * X —  * X—  ü *X   * X   *X i 

Que al hacer ü i , y reemplazar los valores obtenidos, se obtiene

 * X— *i X
* X   *X *i     *º
* X —
Encontremos varios valores

      
 

|
 c



|

— *i —
  ¦ 

*i X  *i X i 
 
 —
  ¦ 


*i X  *i X — i
 

  ¦  £ *i

X   *i X   X — i   i 
      º

 ¦  £ *i X  
 *i X  *i i 
 
    

¦  £ *i X  £ *i X  i X i 
  º  º 


Obtengamos ahora los coeficientes
 , note que la formula de recurrencia

(8.4) junto con — i implica que todos los coeficientes con subíndices
impares desaparecen, y


*i — *i —  — —

  *i  X i X i
o o o    
 £ *i —   —

  i i 
o  o   º   º 


 £ *i —   —

X  i
 X i 
o o  º  º   º 



—

 *X —  i 
* * X  º* X   º
 
º    º 

Entonces

i    i
*ü i X 
ü   i  ü  X  i 
ü     
ü  º
       

 
—  ü 
i

 i
X º
*o    
*º

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

nombre de !% &4  i
ü º

      
 

|
 c



|
Deberá observarse que el método de Taylor ha producido sólo una de las solu-
soluciones de la ec. (8.1). Para hallar la otra solución linealmente
ü
independiente, usamos la formula   *ü — *ü
ü— *ü 
 Ë
Entonces la otra solución será:

ü
  *ü  i *ü
Ë ü *ü 
i


La solución general viene dada por

ü
 *ü  i *ü   i *ü
Ë ü *ü  º
i


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

de Taylor no da ninguna solución (como es el caso cuando se usa series de po-
tencias).

"5$Considere la ecuación de Euler

ü  
 ü 
 iº *º—
Solución.

Ya que este problema no contiene condiciones iniciales, pongamos 
i i , y



i — . Con lo cual al reemplazar el valor de ü i 
i i y  

i — en la
ecuación diferencial, tenemos

*i   

*i  *i  
*i   *i iº   i i.

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

tiene

 ü 
 ü  

 ü 
 
   i   ü 
 ü  

   i

Reemplazando los valores de ü i  

i — en la última ecuación diferencial,
tenemos

*i  

*i  *i  


*i    

*i i  — i.

      
  

|
 c



|
Como todas las derivadas evaluadas en ü i estarán en términos de i  y de
—  entonces todos los
 desaparecerán, y por lo tanto arrojará la solución
 *ü i . Así en este caso el método de Taylor falla para encontrar la solución
de la ecuación diferencial de Euler, la cual es

*ü * ü    * ü º

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

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

"#6. Resolver el problema de valor inicial


X ü  i 
i — 
*i — *—iº—
Solución.

Ôótese que en la ecuación diferencial todos los puntos son ordinarios.


 * *i
Buscamos una solución de la forma:  *ü

 i

 ü  donde

o
   iº

Para esto, despejamos  


*ü en la ecuación, reemplazando los valores

i  *i — 
— 
*i — para obtener así
 :




ü  ü *ü
—iº

*i —
 


i  i *i — 

o 

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





ü  ü  *ü   ü  
*ü  ü **ü   
*ü
—iº


*i  —
 



i  i * *i   
*i  

o o 

Derivamos nuevamente (10.3) y reemplazamos

 £
ü  ü **ü   
*ü   ü * 
*ü   

*ü  ü **ü    
*ü   

*ü
—iº

*i  —
  £
i  i **i    
*i   

*i  

o o º

Siguiendo el proceso, encontramos la siguiente fórmula para  *  *ü por lo

tanto para
  ¦

      
 !

|
 c



|
   
*ü  º     * X— *ü  

ü
*ü     
 
 *  
ü  ü   *ü     
  i —   X — 


 ü

 ö  
ö i
*ö
*ü

 

   *ö
 
*i
 ö   *ö
*i


*   

i  i
  *i 
 ö i
   iº
ö i ö
   o
   o

luego la solución general viene dada por



 *ü — ü 


 i
  ü  

 — — — — — 

— ü  ü   —  ü  ü   ü  ü   ü   ü  ü º º
 i

   o   —  —

La serie converge para todo ü ! ?º

Realicemos este mismo ejemplo, pero ahora usando solución en series de

potencias. Para esto necesitamos del siguiente teorema.

      
 "

|
 c



|

 º% 
 

ü

ö i
ö
ö
#
 üö i
ö
ö
*
     ü | ? ?  iº $  



 ü 
ö i
ö
ö

 
ö

 ö

 i
öX 

 ! !"#
  

  ü | ?  
   
 



öi



ö ü ö 



ö i
ö ü


ö

 ü 
ö i
ö
ö

  º

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

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

Ahora ya podemos seguir con el ejemplo anterior.

Suponemos la solución de la forma




ü

ü |
ö i
ö
ö

Al reemplazar en la ecuación diferencial nos da

 

ö
ö X —
ü
ö 
ö
ö X
X ü


üö i
ö
ö
i |

o bien,

      
 #

|
 c



|

 
ü ö  



ö 
ö
ö X —
ö ü ö X
X




ö i
ö o 
ö i

ö ü ö


i *—iº |

Ahora aplicamos el teorema anterior, para escribir el producto de las dos series
en la siguiente forma:
 
 ü ö     



 ü ü

ö ü ö *

— ü 
 ü  
 ü   º —  ü   º
 öo  i
 o o 
 ö i ö i 

 



i  *
i 
— ü   i 
— 
 ü    i  — 
 
 ü   º
 o   o o 
  ö 





ö i 


i
*ö X o
ü ö º



Sustituyendo esta expresión en (10.5), obtenemos

  ö



ö i

*ö  
ö  —
ö   X



*ö X i
ü ö
o

i |

De esto último se sigue que

ö

*ö X
—


ö   ö  iº
*ö  
ö  — i
o

En particular,

i

 


i 
—

 

— 
i 
i 
—

  
— 
 
—    —

etc., y en principio todos los
ö pueden calcularse en términos de
i y
— º|

Reemplazando los valores de
i —
— — se tiene.|

—

 

—

 

—

 

      
 $

|
 c



|

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

—  —  — 
 *ü — ü  ü  ü  ü º º
 

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

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

ecuación diferencial



*ü   *ü    ü  i

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

"##$Encuentre la solución en series de potencias y en series de

Taylor del problema de valor inicial

 —      *i iº *——º—
Solución.

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

  
mediante el uso de separación de variables, a saber,  *ü  ü  ü !  X  º
  

c +

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



 *ü

ü º
 i


*——º

Derivando, se tiene
 


*ü
 —

 ü  X—
*  —

 i
 — ü º *——º

evaluando la ec. (11.1) en ü i e imponiendo la condición inicial, se

encuentra que 
i i
i . Reemplazando (11.2) , (11.3) en (11.1) vemos
que los coeficientes de la serie
 , deben satisfacer

      
 %

|
 c



|
   
   


*  —
— ü
 i

— 




 i

 ü



—




 i


 ö i
ö X ö
º


*——º

Igualando los coeficientes, obtenemos

— 
i

 i ¦
— —
 — ¦ 
 
i
— i 
 i
 —
  ¦ 
 
i
 
— — 


  ¦ 
 
i
  
—
 i 
 i
  
  ¦ 
 
i
  
—
 
  
 º
 —

En general,


f
f i  
f 


— 
i    —
f—  X—
f

f ö i

ö
 X—X ö     —º

Así, estamos en capacidad de calcular en forma recurrentelos coeficientes de

la serie pero no somos capaces de expresar fácilmente explícitamente en

como función de n. Por tanto, no podemos calcular el radio de convergencia
directamente. Sin embargo sabemos, que el radio de convergencia es  º

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

—    
 *ü ü  ü  ü  º º ü !  X  º
 —   

c
+

 * *i
Supongamos que las soluciones son de la forma

 ü  con

 i o
.

Se tiene inicialmente que
i 
i i.

Haciendo ü i y reemplazando el valor de *i i en la ecuación (11.1), se

tiene que

*i

*i —   *i — 
—

—
—o

      
 &

|
 c



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


    *——º
Haciendo ü i y reemplazando los valores anteriores  *i i  
*i — en la
ecuación (11.5), tenemos que


*i


*i   *i  
*i i 
 iº
o

Repitiendo el proceso una vez



   
 * 




*i —



*i   *i  

*i  * 
*i 

i
—  
— 
 

o 

Otra vez,

£   

  

 * * 
   

 


 £ *i
 £ *i  *i  


*i   
*i  
*i 
i
 
— *i i 
 i
o

Y otra vez«..

£   £    


 


 


   £    


 * 

  *i  £ *i    
*i  

 * 
 
 £ *i *i  *i
—    £ *i 

i
i  
—   *i  

  o —

Hagamóslo una vez más

£   £    
 £   
 £   



 —* 
 

   £  —i  
 £  i  



 £ *i
 £ *i  *i  £ *i  —i  
*i  £ *i  i  

*i  


*i i 
i
o

Por última vez

      
  

|
 c



|
£   £    
 £  —i  
 £  —i  

 £  i  

 £  i  




  £  —  
 £  i  

 £  i* 



 *i  £ *i  —  
*i  £ *i  i  

*i  £ *i  i* 

 
 £ *i *i

—
—   i* 

—— 
—— 
º

o —

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

—       
*ü ü  ü  ü  ü
 ü º º ü !  X  º
 — — —i   

Esto es,

—       
 ü  ü  ü   ü   ü
 ü º º ü !  X  º
 — — —i   

Ôotése que estamos en capacidad de de calcular en forma recurrente los coe-

ficientes de la serie pero no somos capaces de expresar facilmente a_n explí-
citamente como función de n. De nuevo no podemos enciontrar su radio de
con-vergencia.

Pero si podemos calcular recurrentemente tantos coeficientes de la serie como

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

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

mas no lineales.

      
  

|
 c



|


"##$Encuentre la solución en series de potencias y en series de Taylor

del problema de valor inicial

 ü  X   *i iº *—º—
Solución.

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

sigue:

Haciendo  X  , se tiene que

 
X X  *—º
ü ü

Así que multiplicamos la ec. (12.1) por X  X  , para obtener


X X X ü X  X  X 
ü

O bien, el siguiente problema de valor inicial equivalente


 ü X   *—º
ü

La ecuación diferencial (12.3) es de tipo Bernoulli, por lo tanto haremos la

sustitución

 X—  *—º
Con lo cual se tiene

 
X X
ü ü

Multiplicando a ambos miembros de la ecuación (12.3) por X X , se obtiene


X  X ü X— X— 
ü

O bien, ya que  X—  *i  *i X— —


X ü X—  *i — *—º
ü

      
  

|
 c



|
La ecuación (12.5) resulta ser lineal, se encuentra que el factor integrante viene
ü
 ü
X
a ser
*ü 
X  
 i  Ë  
.

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

  X

ü ü
X

  X 

ü 


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


ü ü X

*ü 
 


Ë i
 
  

*—º

Reemplazando la condición inicial para encontrar C, obtenemos



*i i 
X
— *i  

 

 Ë i
 
     —


Así que al devolvernos, tenemos:

ü
X
—
ü  ü X
  

*ü
 

— 

 Ë  
   
ü
 ü X


Ë
i
—  

i

Pero X .


ü ü
X


X  ü  ü 

    X X X
 X
ü X

X 

ü X


  
X 
— 

 Ë  
 

Ë Ë
i
—  

—     
i
 i 

O finalmente,

ü  ü X
 ü    ü 
 *ü

 
— 

 Ë i
 
 
 
 
— 

 
   
 ü  X—º


donde la !% & erf(x) viene dada por:

ü

Ë


ü  X º 
 i

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

      
  

|
 c



|

 * *i
Supongamos que las soluciones son de la forma

ü
 i


con

o
.

Se tiene inicialmente que
i 
i i.

Haciendo ü i y reemplazando el valor de *i i en la ecuación (12.1), se

tiene que

*i

*i i   X*i — 
— —
—o

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


 — X  X   *—º

Haciendo ü i y reemplazando los valores anteriores  *i i  

*i — en la
ecuación (12.7), tenemos que


*i


*i — X  X*i  
*i i 
 iº
o

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



  X  
X  X  
 X X  * 
X   *—º
Haciendo ü i y reemplazando los valores anteriores  *i i  
*i —y


*i i en la ecuación (12.8), tenemos que



*i —



*i X X*i * 
*i X  
*i — 

o o

Repitiendo el proceso anterior

£ X  X  * 

X  
  

 £ *i 
 £ *i X  X*i * 


*i X   

*i   
*i X 
 X 
o o

Repetiremos el proceso unas cuantas veces

£ X  X  * £ X   

 
X 


 £ *i
 £ *i *
X  X*i  £ *i X   


*i    

*i X  
*i  

o o

      
  !

|
 c



|
£ X  X  * £ X   £   

X  
 


 £ *i —
 £ *i *
X  X*i  £ *i X   £ *i   


*i X   

*i   
*i X— 

o
X
o

Siguiendo el proceso, encontramos la siguiente fórmula para  *ö *ü por lo

tanto una formula un tanto no obvia para
ö ¦

 * X—  X   * X   X   * X 
 *ü X   *ü    *ü X º
X
  —    
 *
ü X 
  *X —    X    * *ü  *X —  —  

ü
   X 
   
X 
ö  X   * X—X ö
X X 

*X
ö i
—
 ö 
 *ü

X
  X   * X—X ö
Que al evaluar en ü i , obtenemos: *

i X
*X —
ö i
ö

 ö 
 *i

De aquí una formula para los coeficientes
ö ¦

X 
   X   * X—X ö

 *i

X



*X — ö 
ö i  ö 
 *i 


    iº 
o o

Se deja como ejercicio resolver el mismo problema de valor inicial con el

método de las series de potencias.

      
  "

|
 c



|

Bibilografía.

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

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

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

Iberoamericano. 1973.

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

Editorial Iberoamericano. 1984

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

Diferenciales. Fondo Editorial Universidad EAFIT, 2010.

      
  #

|