1.

Mtodo de Solucin con Series de Potencias

Ahora toca el turno de dar solucin a las ecuaciones diferenciales lineales con coecientes variables. El mtodo ms comn para resolver este tipo de ecuaciones est basado en el uso de series de potencias, por lo que comenzaremos dando un breve repaso de algnos conceptos importanes que sern necesarios para el mtodo. Con mucha frecuencia este tipo de ecuaciones aparecen en la fsica matemtica en problemas de transferecia de calor, ecuaciones de onda, problemas de acstica y electromagnetismo, entre otras areas. La ecuacin de Bessel x2 y00 + xy 0 + x2 n2 y = 0 1 x2 y00 2xy 0 + n (n + 1) y = 0

y la ecuacin de Legendre

son un ejemplo de este tipo de ecuaciones.

1.1.

Repaso a las series de potencias

Una serie de potencias en x a, es una serie innita que tiene la forma

X

n=0

cn (x a)n = c0 + c1 (x a) + c2 (x a)2 + c3 (x a)3 +

X

si a = 0 entonces se tendr

n=0

cn (x a)n = c0 + c1 x + c2 x2 + c3 x3 +

que no es ms que un polinomio de grado innito. Una serie de potencias se dice convergente en el intervalo I si
X

cn xn = l m

n=0

n=0

N X

cn xn

existe y es nito para algn valor x I. Si converge para cualquier valor x I entonces la suma f (x) =
X

cn xn

n=0

ser la representacin de la funcin f (x) en el intervalo I. El conjutno de valores para los cuales la serie converge es conocido como intervalo de convergencia. Si la serie no converge para algn valor x I se dice entonces que es divergene. El radio de convergencia de una serie se reere a la extencin del interalo de convergencia medido a partir de su centro, este puede ser de tres tipos: Si la serie converge solo en su centro a, entonces el radio de convergencia ser R = 0. Si la serie converge para toda x tal que |x a| < R, entonces el radio de convergencia ser R > 0. La serie diverge para |x a| > R. Si la serie converge para todo x R, entonces R = .

Algunas series importantes son ex =

X xn

sin (x) = cos (x) = ln (1 + x) = 1 1x =

n=0 X

n!

=1+x+

x2 x3 + + 2! 3!

x3 x5 (1)n x2n+1 =x + + (2n + 1)! 3! 5! n=0

X (1)n x2n

n=0 X X

(2n)!

=1

x2 x4 + + 2! 4!

x2 x3 x4 (1)n+1 xn =x + + n 2 3 4 n=0 xn = 1 + x + x2 +

n=0

Note que las tres primera series son siempre convergentes, es decir que para cualquier valor x R, la serie converge, mientras que las ltimas dos son convergentes solo para |x| < 1 (x (1, 1)). Una forma comn de obtener representaciones de funciones a travs de series de potencias es utilizando el Teorema de Taylor : la serie de Taylor de una funcin f innitamente diferenciable, con centro en x = a est dada por f (x) =
X f (n) (a)

n=0

n!

(x a)n = f (a) + f 0 (a) (x a) +

f 00 (a) (x a)2 + 2!

En especial si x = 0, entonces la serie se ver como f (x) = conocida como la serie de Maclaurin. Decimos que una funcin f es analtica en x = a si se puede representrar mediane una serie de potencias en x a con un radio de convergencia positivo. Operaciones aritmticas con series de potencias Dadas dos funciones f y g, y su representacin en series de potencias f (x) = g (x) = entonces Suma: f (x) + g (x) = Producto: f (x) g (x) =
X X X X f (n) (0)

n=0

n!

xn = f (0) + f 0 (0) x +

f 00 (a) 2 x + 2!

an xn bn xn

n=0 X n=0

(an + bn ) xn

n=0

cn xn

n=0

= a0 b0 + (a1 b0 + a0 b1 ) x + donde cn = an b0 + an1 b1 + + a0 bn 2

Si f y g son convergentes, f + g y fg tambin lo son y convergen a f (x) + g (x) y a f (x) g (x). Derivacin de series Derivar una serie de potencias resulta realmente sencillo. Si partimos de la idea de que tenemos un polinomio, entonces ! d X d n a0 + a1 x + a2 x2 + an x = dx n=0 dx = a1 + 2a2 x + 3a3 x2 + 4a4 x3 + X nan xn1 =
n=1

d2 dx2

n=0

an x

= =

d dx

n=1

d a1 + 2a2 x + 3a3 x2 + 4a4 x3 + dx = 2a2 + (2 3) a3 x + (3 4) a4 x2 + X = n (n 1) an xn2

n=2

nan x

n1

Cambio de Indices En las expresiones de las derivadas, el ndice de suma cambi sin embargo el resultado siguie siendo una serie de potencias cuyos coecientes se obtienen en forma especial. Es posible cambiar el ndice de suma para que comience desde cero de la siguiente manera Proponemos el cambio k = n donde es el valor del inicio del ndice
X

n=1

nan xn1

k =n1 n=k+1

Se sustituye el valor de n en cualquier lugar dentro de la sumatoria y se simplica

X

(k + 1) ak+1 xk+11 =

k+1=1

k=0

(k + 1) ak+1 xk

1.2.

Solucin de ecuaciones diferenciales al rededor de puntos ordianrios

Dada la ecuacin diferencial lineal de segundo orden a2 (x) y 00 + a1 (x) y0 + a0 (x) y = 0 o dada en su forma estandar y 00 + P (x) y 0 + Q (x) y = 0 decimos que x = x0 es un punto ordinario de la ecuacin diferencial si P (x) y Q (x) son analticas, es decir tienen una representacin en series de potencias de x x0 con un radio de convergencia positivo. Un punto que no es ordinario se dice que es un punto singular de la ecuacin Por ejemplo, la ED y 00 + ex y + sin (x) y = 0 es analtica para cualquier punto x R, ya que se puede encontrar una representacin en series de potencias de las funciones P (x) = ex y Q (x) = sin (x) en cualquier punto x R. Sin embargo la ED y00 + ln (x) y = 0 tiene un punto singular en x = 0 ya que para Q (x) = ln x no se puede encontrar una representacin en seres de potencias centrada en x = 0. Si en la ED a2 (x) y 00 + a1 (x) y0 + a0 (x) y = 0 las funciones a2 (x) , a1 (x) y a0 (x) son polinmicas sin factores comunes, el trabajo de localizar los puntos ordinarios y singulares se simplica un poco: un punto x0 es ordinario si a2 (x0 ) 6= 0 singular si a2 (x0 ) = 0 es decir se tienen puntos ordinarios en las races de a2 (x), cualesquiera otros valores son puntos ordinarios. Theorem 1 (Existencia de soluciones en series de potencias) Si x = x0 es un punto ordinario de la ED y 00 + P (x) y 0 + Q (x) y = 0 se pueden encontrar siempre dos soluciones linealmente independientes en la forma de series de potencias centradas en x0 X y (x) = cn (x x0 )n
n=0

Una solucin en series de potencias converge al menos para |x x0 | < R, donde R es la distancia de x0 al punto singular ms cercano (real o complejo), en tal caso se dice que la solucin y (x), es una solucin alrededor del punto ordinario x0 .

Mtodo de solucin El mtodo es bastante simple y aunque aqu se describe el caso de una ecuacin de segundo orden se puede aplicar a una ecuacin lineal de orden n de manera general: Para encontrar una solucin para la ED lineal de segundo orden y 00 + P (x) y 0 + Q (x) y = 0

1. Proponemos que la solucin es una funcin analtica en x0 cuya expansin de series de potencias es y (x) =
X

n=0

cn (x x0 )

2. Sustitumos la solucin supuesta y (x) en la ED y tratamos de encontrar dos conjuntos de coecientes cn de manera que se tengan dos series de potencias y1 (x) y y2 (x) las cuales formarn el cfs (conjunto fundamental de soluciones) 3. La solucin general estar dada por la combinacin lineal de estas dos funciones y1 (x) y y2 (x).

1.2.1.

Ejemplos

Para ilustrar el mtodo de solucin proponemos los siguientes ejemplos: Example 2 Resuelva la siguiente ED utilizando el mtodo de series de potencias. 1 x2 y 0 2xy = 0

Solution 3 Ya que a2 (x) = 1x2 y los coecientes son polinmicos se tienen singularidades en x = 1, tomaremos x0 = 0 como punto ordinario para hacer la expansin de la serie a proponer como solucin 1. y (x) = 2. De lo anterior y0 = y sustituyendo en la ED
X

cn xn

n=0 X

ncn xn1

n=1

! ! X X 2 n1 n 1x ncn x cn x 2x = 0
n=1 n=0 n=1 X

ncn xn1

n=1

ncn xn+1

n=0

2cn xn+1

= 0

Notar que, respectivamente en cada sumatoria, la primer potencia de x que aparece es:x0 , x2 y x1
X

n=1

Para poder hacer una simplicacin de esta expresin como una sola sumatoria, es necesario que todas las sumas comiencen en la misma potencia de sumacin; quitando de la primera suma los dos primeros trimnos y de la segunda solo el primro tendremos c1 x0 + c2 x1 +
X

ncn xn1 {z
x0

n=1

ncn xn+1 {z
x2

n=0

2cn xn+1 = 0 {z
x1

n=3

c1 + c2 x 2c0 x + c1 + (c2 2c0 ) x +

ncn xn1 {z
x2 X

n=1

n=3 X n=3

ncn xn1 ncn xn1 5

ncn xn+1 2c0 x1 {z

x2 X

n=1

n=1 X n=1

ncn xn+1 ncn xn+1

X X

2cn xn+1 {z
x2

= 0

2cn xn+1 2cn xn+1

= 0 = 0

n=1 X n=1

Para simplicar, necesitamos hacer un cambio de ndices en las sumatorias c1 + (c2 2c0 ) x +
X

n=3

{z } k =n3 n=k+3

ncn xn1

n=1

{z } k =n1 n=k+1

ncn xn+1

n=1

2cn xn+1

= 0

{z } k =n1 n=k+1 = 0 = 0

c1 + (2c2 2c0 ) x +

k+3=3

(k + 3) ck+3 xk+31
X

k+1=1

(k + 1) ck+1 xk+1+1
X

c1 + (2c2 2c0 ) x +

(k + 3) ck+3 x

k+2

(k + 1) ck+1 x

k=0

k=0

c1 + (2c2 2c0 ) x +

k=0

X (k + 3) ck+3 xk+2 (k + 1) ck+1 xk+2 2ck+1 xk+2 = 0 X

k+1=1 X k+2

2ck+1 xk+1+1 2ck+1 xk+2

k=0

c1 + (2c2 2c0 ) x +

k=0

((k + 3) ck+3 (k + 1) ck+1 2ck+1 ) xk+2

= 0

De esta ltima expresin trataremos de encontrar los valores de cn que nos llevan a encontrar una funcin y (x) expresada en series de potencias. Ya que estamos comparando dos polinomios, para que ser verique la igualdad se debe de cumplir que c1 c2 (k + 3) ck+3 (k + 1) ck+1 2ck+1 de la ltima relacin si despejamos el trmino de ndice ms alto (k + 3) ck+3 (k + 1) ck+1 2ck+1 ck+3 = 0 (k + 1) ck+1 + 2ck+1 = (k + 3) (k + 1 + 2) ck+1 = (k + 3) = ck+1 = 0 = c0 = 0

ck+3

la cual es una relacin de recurrencia. Para poder determinar los valore de cn haremos una tabla para ver cual es su comportamiento k 0 1 2 3 4 5 . . . 3. Como la solucin fue propuesta como y (x) =
X

ck+3 = ck+1 c3 = c1 = 0 c4 = c2 = c0 c5 = c3 = 0 c6 = c4 = c0 c7 = c5 = 0 c8 = c6 = c0 . . .

n=0

cn xn = c0 + c1 x + c2 x2 + c3 x3 + c4 x4 +

sustituyendo los valores encontrados de cn , la solucin queda como y (x) =

X

n=0

cn xn = c0 + 0x + c0 x2 + 0x3 + c0 x4 + 0x5 + c0 x6 +

= c0 + c0 x2 + c0 x4 + c0 x6 + c0 x8 + c0 x10 + = c0 1 + x2 + x4 + x6 + x8 + x10 + 6

que podemos sintetizar como y (x) = c0 Example 4 Resuelva la siguiente ED utilizando el mtodo de series de potencias.

n=0

x2n

y00 4xy 0 + 4x2 2 y = 0

Solution 5 Ya que a2 (x) = 1 y los coecientes son polinmicos no se tienen singularidades; tomaremos x0 = 0 como punto ordinario para hacer la expansin de la serie a proponer como solucin 1. y (x) = 2. De lo anterior y0 y 00 = =
X X

cn xn

n=0

ncn xn1 n (n 1) cn xn2

n=1 X n=2

y sustituyendo en la ED ! ! ! X X X 2 n (n 1) cn xn2 4x ncn xn1 + 4x 2 cn xn = 0

n=2 n=1 n=2 X

n (n 1) cn x
X

n2

4x

n=1 X

ncn x

n1

+4

n=0 X

cn x

x 2

n=0 X

cn x

n=2

n (n 1) cn xn2

4ncn xn2 +

n=1

n=0

4cn xn+2

n=0 X

= 0 = 0

2cn xn

n=0

Simplicando
X

n=2

| |

n (n 1) cn xn2 {z
x0

n=4

2(1)c2 +3(2)c3 x+

} }

n=1

| |

4ncn xn + {z
x1

n (n 1) cn xn2 {z
x2

n=2

4c1 x

} }

n=0

| |

4cn xn+2 {z
x2

4ncn xn + {z
x2

n=0

} }

n=0

| |

2cn xn {z
x0

= 0

4cn xn+2 {z
x2

n=2

2c0 2c1 x

} = 0 }

2cn xn {z
x2

2 (1) c2 + 3 (2) c3 x 4c1 x 2c0 2c1 x +

n=4

n (n 1) cn xn2 {z k =n4 n=k+4

X

n=2

| {z } k =n2 n=k+2

4ncn xn +

n=0

{z } k=n

4cn xn+2

n=2

| {z } k =n2 n=k+2 2ck+2 xk+2 = 0 = 0 = 0

2cn xn

= 0

2c2 2c0 + (6c3 6c1 ) x +

X k=0

(k + 4) (k + 3) ck+4 xk+2
X

4 (k + 2) ck+2 xk+2 +

k=0

k=0

4ck xk+2

k=0

2c2 2c0 + (6c3 6c1 ) x +

k=0

((k + 4) (k + 3) ck+4 4 (k + 2) ck+2 + 4ck 2ck+2 ) xk+2

X k=0

2c2 2c0 + (6c3 6c1 ) x + 7

((k + 4) (k + 3) ck+4 2 (2k + 3) ck+2 + 4ck ) xk+2

de donde 2c2 2c0 6c3 6c1 (k + 4) (k + 3) ck+4 2 (2k + 3) ck+2 + 4ck De lo anterior podemos deducir que c0 c1 ck+4 = c2 = c3 (2k + 3) ck+2 2ck = 2 (k + 4) (k + 3) = 0 = 0 = 0

Para poder determinar los valore de cn haremos una tabla para ver cual es su comportamiento k 0 1 2 3 . . . 3. Como la solucin fue propuesta como y (x) =
X

ck+4 = 2 (2k+3)ck+2 2ck (k+4)(k+3) 2 c4 = 2 3c2 2c0 = (4)(3) c0 = 1 c0 (4)(3) 6 5c3 2c1 6 3 c5 = 2 (5)(4) = (5)(4) c1 = 10 c1 c6 = 2 7c4 2c2 = 2 (6)(5) c7 = 2 9c5 2c3 = (7)(6) . . .
2 7 (4)(3) c0 2c0 (6)(5) 6 9 (5)(4) c1 2c1 2 (7)(6)

1 = 18 c0

1 30 c1

n=0

cn xn = c0 + c1 x + c2 x2 + c3 x3 + c4 x4 +

sustituyendo los valores encontrados de cn , la solucin general queda como y (x) =

X

n=0

cn xn = c0 + 0x + c0 x2 + 0x3 + c0 x4 + 0x5 + c0 x6 +

1 1 3 1 = c0 + c1 x + c0 x2 + c1 x3 + c0 x4 + x5 x6 + x7 + 6 30 10 18 1 6 1 4 3 5 1 2 3 = c0 1 + x + x x + + c1 1 + x + x + x7 + 6 18 10 30 donde 1 1 y1 (x) = 1 + x2 + x4 x6 + 6 18 3 1 y2 (x) = 1 + x3 + x5 + x7 + 10 30