You are on page 1of 17

Tema 5.- SOLUCIONES EN SERIES DE POTENCIAS DE E.D.O.

LINEALES
Ampliacin de Matemticas. Ingeniera Tcnica Industrial. Especialidad en Electrnica Industrial.

ndice General
1 Introduccin 2 Series numricas 2.1 Series de trminos no negativos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.2 Series alternadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.3 Series absolutamente convergentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Series de potencias. Radio e intervalo de convergencia 3.1 Desarrollos en series de potencias. Series de Taylor y Mac-Laurin. Series binmicas . . . . 4 Soluciones en series de potencias de E.D.O. lineales 4.1 Soluciones en serie en torno a puntos ordinarios . . . . . . . . . . . . . . . . . . . . . . . . 4.2 Soluciones en torno a puntos singulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1 3 4 4 4 7 9 11 14

Introduccin

Hasta ahora hemos resuelto, principalmente, ecuaciones diferenciales lineales de segundo orden o de orden superior, cuando las ecuaciones tenan coecientes constantes. Sin embargo, en las aplicaciones, se puede observar que las ecuaciones lineales con coecientes variables tienen la misma importancia, si no ms, que las de coecientes constantes, y que ecuaciones sencillas de segundo orden, como por ejemplo y 00 + xy = 0, no tienen soluciones expresables en trminos de funciones elementales. Por esta razn vamos a dedicar este tema a la bsqueda de soluciones linealmente independientes que vienen representadas por lo que se denominan series de potencias. As, en la primera parte del tema introduciremos algunas nociones y propiedades de las series de potencias para posteriormente, observar una de sus aplicaciones importantes como es la obtencin de soluciones de ecuaciones diferenciales ordinarias. Previamente, antes de denir y estudiar las propiedades elementales de las series de potencias, daremos algunos conceptos y resultados bsicos relativos a las series numricas que nos sern necesarios para abordar el estudio de las series de potencias.

Series numricas

Se llama serie de nmeros reales a todo par ordenado ({an }, {Sn }) en el que {an } es una sucesin de nmeros reales arbitraria y {Sn } es la sucesin denida por: S1 = a1 Sn+1 = Sn + an+1 = a1 + + an+1 para todo n N.

trmino general {an }.

A {an } se le llama trmino general de la serie mientras que a la sucesin {Sn } se llamar sucesin de P P sumas parciales de la serie. En adelante denotaremos por an (o ms brevemente an ) a la serie de
n=1

Tema 5. Soluciones en serie de potencias de EDOs. Ampliacin de Matemticas. Esp. Electrnica Industrial. 2

P Se dice que la serie de nmeros reales an es convergente cuando su sucesin de sumas parciales es convergente (esto es, cuando su sucesin de sumas parciales tiene lmite nito), en cuyo caso el lmite de la sucesin de sumas parciales recibe el nombre de suma de la serie y se le representa por
X

n=1

an = lim Sn = lim (a1 + + an ).


n n

Cuando la sucesin de sumas parciales no es convergente (esto es, no tenga lmite o bien el lmite sea ), diremos que la serie es divergente, en cuyo caso no hablaremos de suma de la serie. Ejemplos: 1) Se denomina serie geomtrica de razn r y primer trmino a, siendo a y r dos nmeros reales no nulos, a la
X

n=1

arn1 = a + ar + ar2 +

Esta serie es convergente si y slo si | r |< 1. En efecto, para r 6= 1, se tiene: Sn = a + ar + . . . + arn1 = y por tanto, a a) Cuando | r |< 1, entonces lim Sn = y la serie es convergente independientemente del 1r a . valor de a siendo su suma 1r b) Cuando | r |> 1, la serie es divergente ya que + si r > 1 y a > 0 rn 1 si r > 1 y a < 0 = lim Sn = lim a n n r1 no existe si r < 1 arn a r1

2) La serie

P1 se denomina serie armnica. Dicha serie es divergente pues se verica que lim Sn = n +, ya que, como se puede comprobar, la sucesin de sumas parciales {Sn } es estrictamente creciente y no est acotada superiormente. P 1 3) Para cada nmero real , la serie recibe el nombre de serie armnica de orden . El estudio n de la convergencia de esta serie pone de maniesto que, para 1, dicha serie es divergente y para > 1, la serie es convergente. Veremos ahora dos propiedades generales de las series numricas.

c) Cuando r = 1, como la sucesin de sumas parciales es a, 0, a, 0, . . . y el nmero a es no nulo, entonces la serie es divergente. d) En el caso r = 1, se tiene que Sn = a n y de ah que la serie diverja para cualquier valor de a.

Teorema 2.1 (Condicin necesaria de convergencia) Una condicin necesaria para que la serie P an sea convergente es que lim an = 0. P P bn son convergentes, entonces la Teorema 2.2 (Propiedad de linealidad) Si las series an y P serie (an + bn ) con , R es convergente y se cumple:
n=1

A continuacin daremos algunos resultados importantes en el estudio de la convergencia de algunos tipos de series.

(an + bn ) =

n=1

an +

n=1

bn .

Tema 5. Soluciones en serie de potencias de EDOs. Ampliacin de Matemticas. Esp. Electrnica Industrial. 3

2.1

Series de trminos no negativos


P an tal que an 0 para todo n N, se denomina serie de trminos no

Denicin 2.1 Una serie negativos.

La sucesin de sumas parciales de una serie de este tipo es creciente, luego la serie es convergente si, y slo si, la sucesin de sumas parciales est acotada superiormente. Este hecho hace que las series de trminos no negativos sean especialmente fciles de tratar, y aunque se dispone de numerosos criterios de convergencia para las mismas, nicamente veremos los criterios de comparacin, de DAlembert, de Raabe y de Pringsheim. Teorema 2.3 (Criterio de comparacin) P P Si, para las series de nmeros reales no negativos an y bn , se cumple la desigualdad an bn

para todo n p, P P entonces se verica: si la serie bn a P es convergente, la serie P n es convergente. Y en consecuencia: si la serie an es divergente, la serie bn es divergente. P Teorema 2.4 (Criterio de DAlembert o del cociente) Si an es una serie de trminos positivos tal que existe an+1 =R n an lim

se verica: 1) Si < 1, entonces la serie P an es convergente. P an es divergente.

2) Si > 1, pudiendo ser = +, entonces la serie

an+1 3) Si = 1 el criterio no arma nada, salvo que sea > 1 para todo n a partir de un cierto p N an P en cuyo caso la serie an es divergente. P Teorema 2.5 (Criterio de Raabe)Si para la serie de trminos positivos an existe el lmite an+1 lim n 1 = n an entonces: 1) Si 1 < , la serie converge. an+1 3) Si = 1 el criterio no arma nada, salvo que sea n 1 < 1 para todo n p en cuyo caso an la serie diverge. Teorema 2.6 (Criterio de Pringsheim) P Si an es una serie de trminos no negativos, y existe un nmero real tal que la sucesin {n an }converge a un nmero real positivo, entonces: X an converge si, y slo si, > 1. 2) Si < 1, la serie diverge.

Tema 5. Soluciones en serie de potencias de EDOs. Ampliacin de Matemticas. Esp. Electrnica Industrial. 4

2.2

Series alternadas

Teorema 2.7 (Criterio de Leibnitz) Una condicin suciente para que converja la serie alternada P (1)n an es que lim an = 0 y la sucesin {an } sea decreciente.

Denicin 2.2 Las series cuyos trminos consecutivos alternan el signo se llaman alternadas. As, P suponiendo an > 0 para todo n N, las series alternadas aparecen de dos maneras: (1)n an P n1 (1) an .

2.3

Series absolutamente convergentes

P Denicin 2.3 Una serie de trminos arbitrarios P n es absolutamente convergente (absolutamente a divergente) cuando la serie de trminos no negativos |an | es convergente (divergente). Teorema 2.8 Toda serie absolutamente convergente, es convergente. El recproco del teorema anterior no es en general cierto. Por ejemplo, la serie de trmino general (1)n an = es convergente pero no absolutamente convergente. n Denicin 2.4 Las series que son convergentes pero no absolutamente convergentes, se llaman series condicionalmente convergentes.

Series de potencias. Radio e intervalo de convergencia


X

Una serie de potencias centrada en un punto x0 R es una expresin de la forma an (x x0 )n = a0 + a1 (x x0 ) + a2 (x x0 )2 +

n=0

donde a0 , a1 , . . . son constantes reales. La serie anterior tambin se denomina serie de potencias de xx0 . Obsrvese que en las series de potencias adoptaremos el convenio de hacer variar el ndice de la suma desde cero, en lugar de comenzar con 1 como ha sido habitual hasta ahora, con el objeto de que el subndice de cada monomio coincida con el grado de ste. Cuando se toma x0 = 0, se obtiene como caso particular una serie de potencias de x
X

n=0

an xn = a0 + a1 x + a2 x2 +

Puesto que un simple cambio de variables, tomando como nueva variable xx0 , permite reducir cualquier serie de potencias considerada a otra anloga con x0 = 0, en lo sucesivo slo manejaremos este ltimo caso particular, que abrevia la escritura, sin que ello suponga restriccin a los resultados que obtengamos. Asociada a dicha serie de potencias tenemos la sucesin de funciones {Sn (x)} denida as: Sn (x) = a0 + a1 x + a2 x2 + + an xn que recibe el nombre de sucesin de sumas parciales. P P Diremos que la serie an xn converge (diverge) en un punto c R cuando la serie numrica an cn sea convergente (divergente). As pues, la serie de potencias es convergente en el punto c cuando existe y es nito lim Sn (c), cuyo valor se llama suma de la serie en el punto c.
n

Tema 5. Soluciones en serie de potencias de EDOs. Ampliacin de Matemticas. Esp. Electrnica Industrial. 5

El subconjunto D de R formado por los puntos en los que la serie de potencias es convergente se denomina dominio de convergencia de la serie, en l es posible denir una funcin S : D R dada por S(x) = lim Sn (x)
n

que se denomina suma de la serie en el conjunto D. P Diremos que la serie an xn es absolutamente convergente (divergente) en un punto c R cuando la P n serie numrica an c sea absolutamente convergente (divergente). Teorema 3.1 (Teorema de Abel) P 1) Si una serie de potencias an xn es convergente en un punto c R, c 6= 0, entonces es absolutamente convergente en todo punto del intervalo abierto ( |c| , |c|). 2) Si la serie diverge en un punto d, entonces diverge para todo valor de x tal que |x| > |d|. P Puesto que toda serie de potencias an xn es convergente en el punto x = 0, el teorema anterior nos permite precisar an ms cmo es el dominio de convergencia de tales series. As, para toda serie de P potencias an xn se presenta una, y slo una, de las tres situaciones siguientes: 1. La serie slo converge en el origen. Se dice entonces que el radio de convergencia es R = 0. 2. La serie converge absolutamente en todo R. Se dice que tiene radio de convergencia R = y que su intervalo de convergencia es I = (, +) 3. Existe un nmero R R+ tal que la serie es absolutamente convergente en el intervalo abierto (R , R ) y diverge en todo punto x R tal que | x |> R . En este caso el radio de convergencia es R = R y el intervalo de convergencia es I = (R , +R ). En los ejemplos siguientes se comprueba que hay series de potencias con los tres tipos de radio de convergencia (R = 0, R = y R R+ ). Ejemplos: P n 1) La serie de potencias x para cada valor de x da lugar a una serie geomtrica de razn x. Por ello es convergente si |x| < 1 y divergente si |x| 1. Se trata de una serie con radio de convergencia R = 1. Su intervalo de convergencia es ] 1, 1[ y en l su suma es 1/(1 x). P 2) La serie de potencias n!xn slo converge en el origen (R = 0), ya que para cualquier x R, x 6= 0, P n la serie numrica n! |x| es divergente (se puede comprobar aplicando el criterio de DAlembert); luego la serie dada no converge absolutamente en ningn x 6= 0, lo que asegura (justifquese!) que la serie slo converge en x = 0. 3) La serie de potencias
P xn es absolutamente convergente para cualquier valor real de x y por n n=1 n tanto su radio de convergencia es R = .

4) La serie de potencias

P xn tambin es absolutamente convergente para todo x con |x| < 1, y n=1 n divergente cuando |x| > 1. As que su radio de convergencia es 1. Ahora la serie converge no absolutamente para x = 1 y diverge para x = 1 (armnica). Su intervalo de convergencia es, por tanto, el intervalo (1, 1) y su dominio de convergencia es [1, 1).

Tema 5. Soluciones en serie de potencias de EDOs. Ampliacin de Matemticas. Esp. Electrnica Industrial. 6

Clculo del radio de convergencia P Dada una serie de potencias an xn , se sabe que en el interior de su intervalo de convergencia la serie es absolutamente convergente. Por tanto, para averiguar el radio de convergencia consideraremos la serie P |an | |x|n y veremos en qu puntos x converge esta ltima. Para ello, podemos aplicar el criterio de DAlembert, calculando |an+1 | |x|n+1 = L (x) n n |an | |x| lim y deduciendo los valores de x que para los que L (x) < 1. Estos valores constituirn el intervalo de convergencia de la serie. Ejemplos: P n2 n 1) El radio de convergencia de la serie a x , con 0 < a < 1, es R = . Si a fuera mayor que 1, entonces R = 0. P n P xn P xn 2) Las series x , tienen radio de convergencia R = 1. Un estudio posterior , n+1 (n + 1)2 en los puntos 1 y 1 no lleva a decir que: la primera no es convergente en los puntos 1 y 1, la segunda converge en 1 pero no en 1 y la tercera converge en ambos puntos. PROPIEDADES DE LAS SERIES DE POTENCIAS P Como los trminos de una serie de potencias an xn son funciones potenciales y stas son continuas,
n=0

derivables e integrables, vamos a estudiar si su suma goza de las mismas propiedades. Ello nos lleva estudiar series de potencias de la forma:
X X an xn+1 n+1 n=0

nan xn1 ,

n=1

que son series de potencias obtenidas al derivar o integrar trmino a trmino la serie dada. Teorema 3.2 Las tres series de potencias de convergencia.
P

an xn ,

n=0

n=1

nan xn1 ,

an n+1 tienen el mismo radio x n+1 n=0

Observacin. Puede ocurrir que el dominio de convergencia de una serie de potencias y el de la serie obtenida al derivar trmino a trmino no coincidan; aunque, segn el teorema anterior, ambas tienen el P xn1 P xn converge en [3, 3], mientras que slo mismo radio de convergencia. Ntese que la serie n2 3n n3n converge en [3, 3[. Teorema 3.3 Si
n=0 P

an xn es una serie de potencias con radio de convergencia R 6= 0, intervalo de


P

convergencia I, y suma S(x) para cada x I, se verica:

La funcin suma es derivable en el intervalo I, y adems S 0 (x) =

nan xn1 , es decir, la derivada

n=1

de la suma de una serie de potencias se puede obtener derivando trmino a trmino la serie de potencias dada.

Tema 5. Soluciones en serie de potencias de EDOs. Ampliacin de Matemticas. Esp. Electrnica Industrial. 7
P

Corolario 3.1 La suma de una serie de potencias

an xn con radio de convergencia no nulo, tiene

n=0

derivadas de todos los rdenes en los puntos del intervalo de convergencia de la serie dada, y sus derivadas se pueden obtener derivando sucesivamente trmino a trmino la serie dada.
P

Teorema 3.4 Si

n=0

an xn es una serie de potencias con radio de convergencia R 6= 0, dominio de


P

convergencia D, y suma S(x) para cada x D, se verica: 1) La suma S(x) = 2) La suma S(x) =
n=0 P

an xn es continua en D. an xn es integrable en todo intervalo cerrado y acotado contenido en D, y su

n=0

integral se puede obtener integrando trmino a trmino la serie dada. Es decir: Z x XZ x S(t)dt = an tn dt
n=0

para cualesquiera , x de D.

3.1

Desarrollos en series de potencias. Series de Taylor y Mac-Laurin. Series binmicas

En este apartado se trata de dar respuesta a una cuestin que, en cierto modo, es recproca de la anterior: Dada una funcin f , existe una serie de potencias con radio de convergencia no nulo cuya suma sea igual a f ? La respuesta a esta pregunta es negativa: no todas las funciones se pueden expresar como series de potencias. Aquellas funciones que se distinguen por poder representarse en dicha forma se llaman analticas. Denicin 3.1 Se dice que una funcin f es analtica en x0 si, en un intervalo abierto que contenga a P x0 , esta funcin es la suma de una serie de potencias an (x x0 )n que tiene un radio de convergencia
n=0

positivo.

Teorema 3.5 Si f es analtica en x0 , entonces la representacin f (x) =


X f n) (x0 ) (x x0 )n n! n=0

es vlida en cierto intervalo abierto centrado en x0 . La serie anterior se llama serie de Taylor de f centrada en x0 . Cuando x0 = 0, tambin se le conoce como serie de Maclaurin de f. Adems de los resultados conocidos ya sobre series de potencias, stas tienen tambin una propiedad de unicidad; esto es, si la ecuacin
X

n=0

an (x x0 )n =

n=0

bn (x x0 )n

es vlida en algn intervalo abierto que contiene a x0 , entonces an = bn para n = 0, 1, 2, . . . . Por tanto, si de alguna manera se puede obtener un desarrollo en serie de potencias para una funcin analtica, entonces esta serie de potencias debe ser su serie de Taylor.

Tema 5. Soluciones en serie de potencias de EDOs. Ampliacin de Matemticas. Esp. Electrnica Industrial. 8

El clculo directo de los coecientes de la serie de Taylor o Maclaurin por derivaciones sucesivas puede resultar difcil. El mtodo ms prctico para hallar una serie de Taylor o Maclaurin consiste en desarrollar series de potencias para una lista bsica de funciones elementales. De esta lista se podrn deducir series de potencias para otras funciones mediante suma, resta, producto, divisin, derivacin integracin o composicin con series conocidas. Antes de presentar esta lista bsica desarrollaremos en serie la funcin f (x) = (1 + x)r con r R que produce lo que se llama la serie binmica. Las funciones de este tipo slo son polinomios cuando r es natural o cero. Son indenidamente derivables en un entorno del cero, y se tiene: f n) (0) = r(r 1) (r n + 1) r Por tanto, si cuando n N y r R utilizamos la notacin para indicar n r r r(r 1) (r n + 1) = y =1 n n! 0 obtenemos como posible desarrollo en serie de Mac-Laurin de la funcin dada el siguiente:
X r xn n n=0

f n) (x) = r(r 1) (r n + 1)(1 + x)rn ,

Cuando r no es un nmero natural o cero, el radio de convergencia de la serie de la expresin anterior es R = 1. La serie, en consecuencia, es absolutamente convergente en ] 1, 1[ y divergente cuando | x |> 1. Se puede probar tambin que la suma de dicha serie en ] 1, 1[ es precisamente la funcin f (x) = (1 + x)r . P r n La serie x se denomina serie binomial o binmica puesto que cuando r es un nmero natural n=0 n slo sus n + 1 primeros trminos son no nulos, y adems su expresin es la conocida frmula de Newton para la potencia del binomio (1 + x)r . Como casos particulares de la serie binmica citamos los siguientes: Para r = 1 1 = 1 x + x2 x3 + 1+x Para r = 1/2 x 13 3 135 4 1 2 1+x=1+ x + x x + 2 24 246 2468 Para r = 1/2 1 13 2 135 3 1 = 1 x + x x + 2 24 246 1+x En la lista que sigue, ofrecemos las series de Maclaurin de otras funciones elementales junto con sus intervalos de convergencia.

Tema 5. Soluciones en serie de potencias de EDOs. Ampliacin de Matemticas. Esp. Electrnica Industrial. 9

SERIES DE POTENCIAS PARA FUNCIONES ELEMENTALES

senx = x cos x = 1 ex = 1 +

x3 x5 (1)n 2n+1 + + + x 3! 5! (2n + 1)! x2 x4 (1)n 2n + + x + 2! 4! (2n)!

< x < < x < < x < < x < < x < 1 < x < 1 1 < x < 1 1 < x < 1 1 < x < 1

x x2 xn + + + + 1! 2! n! 1 x3 x5 + + + x2n+1 + 3! 5! (2n + 1)! x2 x4 1 + + + x2n + 2! 4! (2n)! 1 x3 1 3 x5 (2n)! x2n+1 + + + + 2 3 24 5 (2n n!)2 (2n + 1) x3 x4 (1)n1 n x2 + + + x + 2 3 4 n

sh x = x +

ch x = 1 +

arcsen x = x+

ln (1 + x) = x

1 = 1 x2 + x4 x6 + + (1)n x2n + 1 + x2 arctg x = x x3 x5 x7 (1) x2n+1 + + + + 3 5 7 2n + 1


n

Entre las aplicaciones de los desarrollos en serie se encuentran: El clculo de integrales denidas. El clculo de la suma de series numricas. La resolucin de ecuaciones diferenciales.

Soluciones en series de potencias de E.D.O. lineales

En esta seccin veremos un procedimiento para obtener soluciones en serie de potencias de una ecuacin diferencial lineal. El mtodo de series de potencias para resolver una ecuacin diferencial consiste en sustituir la serie de potencias
X

n=0

an (x x0 )n

en la ecuacin diferencial y despus determinar cules deben ser los coecientes a0 , a1 , a2 , . . . para que la serie de potencias satisfaga la ecuacin diferencial. Esto es muy semejante al mtodo de coecientes indeterminados, pero ahora tenemos un nmero innito de coecientes que de algn modo hemos de obtener.

Tema 5. Soluciones en serie de potencias de EDOs. Ampliacin de Matemticas. Esp. Electrnica Industrial. 10

Para ilustrar el mtodo de la serie de potencias consideremos una ecuacin diferencial lineal de primer orden sencilla. Ejemplo: Encontrar una solucin en serie de potencias en torno a x = 0 de la ecuacin y 0 + 2xy = 0. Solucin: Si suponemos que existe una solucin en serie de potencias de la forma y (x) =
X

(1)

an xn ,

n=0

nuestra tarea consistir en determinar los coecientes an . Para ello, sustituimos los desarrollos en serie de y (x) y y 0 (x) en la ecuacin (1), obteniendo
X

nan xn1 + 2x

n=1

n=0

an xn = 0,

o equivalentemente
X

nan xn1 +

n=1

n=0

2an xn+1 = 0.

(2)

Si escribimos los primeros trminos de estas series y sumamos los coecientes de potencias iguales de x, se obtiene a1 + (2a2 + 2a0 ) x + (3a3 + 2a1 ) x2 + (4a4 + 2a2 ) x3 + = 0. Para que la serie de potencias del primer miembro de la ecuacin anterior sea idnticamente cero, se debe vericar que todos los coecientes sean iguales a cero. De modo que a1 = 0, 3a3 + 2a1 = 0, Resolviendo el sistema anterior resulta a1 = 0, a2 = a0 , 2 a3 = a1 = 0, 3 1 1 a4 = a2 = a0 . 2 2 2a2 + 2a0 = 0, 4a4 + 2a2 = 0, . . .

Por tanto, la serie de potencias adopta la forma 1 y (x) = a0 a0 x2 + a0 x4 + 2 Si bien el clculo de estos primeros trminos es til, sera mejor disponer de una frmula de trmino general del desarrollo en serie de potencias de la solucin. Para ello, volvemos a la expresin (2) y la escribimos de manera que las dos series presenten la misma potencia de x, esto es
X

(k + 1) ak+1 xk +

k=0

k=1

2ak1 xk = 0,

y, puesto que la primera serie empieza en k = 0 y la segunda en k = 1, separamos el primer trmino de la primera y sumamos los coecientes de igual potencia de x, obteniendo que a1 +
X

[(k + 1) ak+1 + 2ak1 ] xk = 0.

k=1

Tema 5. Soluciones en serie de potencias de EDOs. Ampliacin de Matemticas. Esp. Electrnica Industrial. 11

Haciendo ahora todos los coecientes iguales a cero, obtenemos una relacin de recurrencia para los coecientes a1 = 0 ak+1 = 2 a2 = a0 = a0 , 2 2 1 a4 = a2 = a0 , 4 2! 2 1 a6 = a4 = a0 , 6 3! y de aqu, se observa que a2n = 2 ak1 k+1 2 a3 = a1 = 0, 3 2 a5 = a1 = 0, 5 2 a7 = a1 = 0, 7

Tomando k = 1, 2, . . . , 6 y teniendo en cuenta que a1 = 0, resulta que (k = 1) (k = 3) (k = 5) (k = 2) (k = 4) (k = 6)

(1) a0 n!

n = 1, 2, 3, . . . n = 0, 1, 2, . . .

a2n+1 = 0

Puesto que el coeciente a0 se deja indeterminado, sirve como constante arbitraria y, por tanto, proporciona la solucin general de la ecuacin
X (1)n 1 y (x) = a0 a0 x2 + a0 x4 + = a0 x2n . 2 n! n=0

Se puede comprobar que esta serie tiene radio de convergencia R = . Adems esta serie recuerda el desarrollo de la funcin exponencial, vericndose que y (x) = a0 ex , solucin que se poda obtener fcilmente ya que se trataba de una ecuacin de variables separables.
2

4.1

Soluciones en serie en torno a puntos ordinarios

Aunque el mtodo de series de potencias puede usarse en ecuaciones lineales de cualquier orden, sus aplicaciones ms relevantes se reeren a ecuaciones diferenciales lineales de segundo orden de la forma a (x) y 00 + b (x) y 0 + c (x) y = 0, (3)

donde a (x) , b (x) y c (x) son funciones analticas de x. En realidad, en la mayora de las aplicaciones esas funciones son polinomios. Por esta razn limitaremos el estudio a este tipo de ecuaciones. Para determinar cundo el mtodo de series de potencias ser efectivo, reescribimos la ecuacin anterior en la forma y 00 + p (x) y 0 + q (x) y = 0, (4)

con el coeciente principal 1 y p (x) = b (x) /a (x) y q (x) = c (x) /a (x) . Ntese que p (x) y q (x) en general no tienen porqu ser analticas en los puntos que a (x) se anula. Por ejemplo, en la ecuacin xy 00 + y 0 + xy = 0 todos los coecientes son funciones analticas en todos los puntos pero si lo escribimos en la forma (4) 1 resulta que p (x) = no es analtica en x = 0. x

Tema 5. Soluciones en serie de potencias de EDOs. Ampliacin de Matemticas. Esp. Electrnica Industrial. 12

Denicin 4.1 El punto x = x0 se denomina punto ordinario de la ecuacin diferencial (3) si las funciones p (x) y q (x) son analticas en x0 . En caso contrario, el punto recibe el nombre de punto singular. Ejemplos: 1) El punto x = 0 es un punto ordinario de la ecuacin xy 00 + (sen x) y 0 + x2 y = 0 pues p (x) = son ambas analticas en x = 0. 2) El punto x = 0 no es un punto ordinario de la ecuacin y 00 + x2 y 0 + xy = 0 pues p (x) = x2 es analtica en el origen, pero q (x) = x no lo es, ya que q (x) no es diferenciable en x = 0. Vamos a encontrar ahora soluciones en serie de potencias en torno a puntos ordinarios, para ecuaciones diferenciales del tipo (3) en las que los coecientes son polinomios. Para ello, se deber, tal y como hemos P hecho en un ejemplo anterior, sustituir y (x) = an (x x0 )n en (3), agrupar trminos semejantes e
n=0

sen x x2 x4 =1 + + , x 3! 5!

q (x) = x

igualar a cero los coecientes de la serie de potencias resultante, lo que conducir a una relacin de recurrencia para los coecientes an . Para simplicar, supondremos que un punto ordinario de la ecuacin diferencial est siempre localizado en x = 0, ya que si no lo est, la sustitucin t = x x0 traslada el valor x = x0 a t = 0. Establecemos ahora un resultado bsico de existencia de soluciones en serie de potencias en torno a un punto ordinario de la ecuacin (3) que justica el mtodo de series de potencias. Teorema 4.1 Si x = 0 es un punto ordinario de la ecuacin diferencial (3), entonces existen dos soluciones linealmente independientes en forma de series de potencias centradas en 0, es decir, cada una de la forma y (x) =
X

an xn ,

n=0

cuyos radios de convergencia son por lo menos tan grandes como la distancia de x = 0 al punto singular ms prximo. Ejemplo: Encontrar la solucin de 2y 00 + xy 0 + y = 0 en forma de serie de potencias en torno al punto ordinario x = 0. Solucin: Consideramos y (x) =
X

an xn ,

n=0

Tema 5. Soluciones en serie de potencias de EDOs. Ampliacin de Matemticas. Esp. Electrnica Industrial. 13

y los correspondientes desarrollos en serie para y 0 (x) y y 00 (x) dados por y 0 (x) =
X

nan xn1 ,

y 00 (x) =

n=1

n=2

Sustituimos estas series de potencias en nuestra ecuacin


X

n (n 1) an xn2 .
X

n=2

2n (n 1) an xn2 +

n=1

y escribimos las tres series de forma que el trmino general de cada una de ellas sea una constante multiplicada por xk .
X

nan xn +

an xn = 0,

n=0

2 (k + 2) (k + 1) ak+2 xk +
0

k=0

Separamos los trminos correspondientes a x y agrupamos los coecientes de xk obteniendo 4a2 + a0 +


X

kak xk +

k=1

ak xk = 0.

k=0

[2 (k + 2) (k + 1) ak+2 + kak + ak ] xk = 0.

k=1

Igualando a cero los coecientes de la serie de potencias, resulta que 4a2 + a0 = 0 ak+2 = De esta manera, a2 = a4 = a6 = a8 = 1 a0 22 1 1 a2 = 2 a0 24 2 24 1 1 a4 = 6 a0 26 2 3! (k = 2) (k = 4) a3 = a5 = a7 = 1 a1 23 1 1 a3 = 2 a1 25 2 35 1 1 a5 = 3 a1 27 2 357 (k = 1) (k = 3) (k = 5) 1 ak 2 (k + 2) k 1.

1 1 (k = 6) a6 = 8 a0 28 2 4! Considerando a0 y a1 como constantes arbitrarias, se obtiene a2n = (1) a0 22n n! (1) a1 2n [1 3 5 (2n + 1)] y2 (x) =
P n n

n 1, n 1.
n

a2n+1 =

De aqu resultan dos soluciones linealmente independientes y1 (x) =


P (1)n 2n x 2n n! n=0 2

(1) x2n+1 n [1 3 5 (2n + 1)] n=0 2

y por consiguiente la solucin general de nuestra ecuacin viene dada por y (x) = a0 y1 (x) + a1 y2 (x) . Este mtodo se puede utilizar tambin para resolver problemas de valores iniciales. Si se tienen los valores de y (0) y y 0 (0) , es fcil comprobar que se verica que a0 = y (0) y a1 = y 0 (0) , con lo cual se llega a una solucin nica del problema de valor inicial.

Tema 5. Soluciones en serie de potencias de EDOs. Ampliacin de Matemticas. Esp. Electrnica Industrial. 14

4.2

Soluciones en torno a puntos singulares

En la seccin precedente vimos que no hay mucha dicultad en encontrar una solucin en serie de potencias de a (x) y 00 + b (x) y 0 + c (x) y = 0, en torno a un punto ordinario x = x0 . Sin embargo, cuando x = x0 es un punto singular, no siempre es P posible encontrar una solucin de la forma y (x) = an (x x0 )n .
n=0

Veremos que, en algunos casos, si podemos obtener una solucin de la forma y (x) =

n=0

se puede demostrar que existen dos soluciones en serie de la forma y (x) =


P

Por ejemplo, si consideramos la ecuacin diferencial 6x2 y 00 + 5xy 0 + x2 1 y = 0, que tiene un punto P singular en x = 0, esta ecuacin no tienen ninguna solucin de la forma y (x) = an xn . No obstante,
n=0

donde r es una constante a determinar.

an (x x0 )

n+r

an xn+1/2

y (x) =

n=0

n=0

an xn1/3 .

Vamos, por tanto, a investigar la solucin de la ecuacin (3) cerca de un punto singular. Los puntos singulares se subdividen en regulares e irregulares. Para denir estos conceptos reescribimos la ecuacin de la forma y 00 + p (x) y 0 + q (x) y = 0. Denicin 4.2 Un punto singular, x = x0 , de la ecuacin (3) es un punto singular regular si tanto (x x0 ) p (x) como (x x0 )2 q (x) son analticas en x0 y es un punto singular irregular en caso contrario. Ejemplo Los puntos x = 0 y x = 1 son, ambos, puntos singulares de la ecuacin diferencial 2 x2 (x + 1) y 00 + x2 1 y 0 + 2y = 0. x1 x2 (x + 1) y q (x) = x2

Si examinamos p (x) =

2 (x + 1)2

podemos observar que x = 0 es un punto singular irregular, mientras que x = 1 es un punto singular regular. Antes de establecer un resultado de existencia de soluciones en serie en torno a un punto singular regular, necesitamos la siguiente denicin. Denicin 4.3 Si x0 es un punto singular regular de y 00 + p (x) y 0 + q (x) y = 0, entonces llamamos ecuacin indicial de ese punto a la ecuacin r (r 1) + p0 r + q0 = 0 donde p0 = lim (x x0 ) p (x)
xx0 2

q0 = lim (x x0 ) q (x)
xx0

Las races de la ecuacin indicial se llaman exponentes (ndices) de la singularidad x0 .

Tema 5. Soluciones en serie de potencias de EDOs. Ampliacin de Matemticas. Esp. Electrnica Industrial. 15

En general, si x0 es un punto singular regular de (3), entonces las funciones (x x0 ) p (x) y (x x0 )2 q (x) son analticas en x0 ; es decir, los desarrollos (x x0 ) p (x) = p0 + p1 (x x0 ) + p2 (x x0 ) + 2 2 (x x0 ) q (x) = q0 + q1 (x x0 ) + q2 (x x0 ) + son vlidos en intervalos que tengan radio de convergencia positivo. Despus de sustituir y (x) = P an (x x0 )n+r en la ecuacin y simplicar, la ecuacin indicial es la ecuacin cuadrtica en r que
n=0 2

resulta de igualar a cero el coeciente total de la menor potencia de (x x0 ) .

Para estudiar la existencia de soluciones en serie en torno a puntos singulares regulares, y al igual que hicimos en la seccin precedente, restringiremos nuestra atencin al caso en el que x0 = 0 es un punto singular regular de la ecuacin. El siguiente teorema nos garantiza la existencia de al menos una solucin en serie de la forma anterior a la vez que proporciona, en algunos casos, la expresin de una segunda solucin linealmente independiente. Teorema 4.2 Soluciones en serie de Frobenius Sea x = 0 un punto singular regular de la ecuacin y 00 + p (x) y 0 + q (x) y = 0 y sean r1 y r2 las races, con r1 r2 , de la ecuacin indicial asociada. Entonces: (a) Para x > 0, existe una solucin de la forma y1 (x) = correspondiente a la raz mayor r1 . (b) Si r1 r2 no es cero ni un entero positivo, entonces existe una segunda solucin linealmente independiente para x > 0 de la forma y2 (x) = correspondiente a la raz menor r2 . Ejemplo: Encontrar la solucin de 3xy 00 + y 0 y = 0 en forma de serie de potencias en torno al punto singular regular x = 0. Solucin: Ensayamos una solucin de la forma y(x) = Puesto que y 0 (x) =
X X X X

an xn+r1 ,

n=0

a0 6= 0

bn xn+r2 ,

n=0

b0 6= 0

an xn+r .

n=0

(n + r) an xn+r1 ,

y 00 (x) =

n=0

n=0

(n + r) (n + r 1) an xn+r2

Tema 5. Soluciones en serie de potencias de EDOs. Ampliacin de Matemticas. Esp. Electrnica Industrial. 16

al sustituir en la ecuacin, obtenemos 3


X

n=0

(n + r) (n + r 1) an xn+r1 +

n=0

n=0 r

(n + r) an xn+r1 an xn+r

n=0

(n + r) (3n + 3r 2) an xn+r1 r (3r 2) a0 x


1

n=0

= x lo cual implica que

"

"

an xn+r

k=0

(k + r + 1) (3k + 3r + 1) ak+1 ak x

=0

r (3r 2) a0 = 0 ak+1 = 1 ak (k + r + 1) (3k + 3r + 1) k = 0, 1, 2, . . . (5)

2 De la ecuacin r (3r 2) = 0 (ecuacin indicial), tenemos que r1 = y r2 = 0. Al sustituir en (5) los 3 dos valores de r resultan dos relaciones de recurrencia diferentes 1 1 ak+1 = ak+1 = ak ak (3k + 5) (k + 1) (k + 1) (3k + 1) Iterando en ambas relaciones obtenemos 1 a1 = a0 51 a2 = a3 = a4 = . . . an = 1 a0 n!5 8 11 (3n + 2) y1 (x) = a0 x2/3 y2 (x) = a0 x0
P

a1 = a2 = a3 = a4 = . . . an =

1 a0 11 1 1 a1 = a0 24 2!1 4 1 1 a1 = a0 37 3!1 4 7 1 1 a1 = a0 4 10 4!1 4 7 10

1 1 a1 = a0 82 2!5 8 1 1 a2 = a0 11 3 3!5 8 11 1 1 a3 = a0 14 4 4!5 8 11 14

1 a0 n!1 4 7 (3n 2)

Conseguimos as dos soluciones en serie 1 xn n!5 8 11 (3n + 2) n=0 1 xn n!1 4 7 (3n 2) n=0
P

Se puede comprobar que el radio de convergencia de estas series es R = . Adems se puede ver que ninguna es un mltiplo constante de la otra y por lo tanto, y1 (x) y y2 (x) son soluciones linealmente independientes. Luego, y (x) = C1 y1 (x) + C2 y2 (x) " # " # X X 1 1 2/3 n 0 n = C1 x x + C2 x x n!5 8 11 (3n + 2) n!1 4 7 (3n 2) n=0 n=0

Tema 5. Soluciones en serie de potencias de EDOs. Ampliacin de Matemticas. Esp. Electrnica Industrial. 17

representa la solucin general de la ecuacin diferencial en cualquier intervalo que no contenga al origen. En el caso en el que r1 = r2 slo puede haber una solucin en serie de Frobenius. Si r1 r2 es un entero positivo, puede existir o no una segunda solucin en serie de Frobenius correspondiente a la raz menor r2 . Los resultados correspondientes a la obtencin de una segunda solucin linealmente independiente en estas dos situaciones particulares los enunciamos en el siguiente teorema. Teorema 4.3 Sea x = 0 un punto singular regular de la ecuacin y 00 + p (x) y 0 + q (x) y = 0 y sean r1 y r2 las races, con r1 r2 , de la ecuacin indicial asociada. Entonces: (a) Si r1 = r2 , existen dos soluciones linealmente independientes para x > 0 de la forma y1 (x) =
X

an xn+r1
X

n=0

a0 6= 0 bn xn+r1

y2 (x) = y1 (x) ln x +

n=1

(b) Si r1 r2 es un entero positivo, existen dos soluciones linealmente independientes para x > 0 de la forma y1 (x) =
X

an xn+r1

n=0

a0 6= 0
X

y2 (x) = Cy1 (x) ln x + donde C es una constante que puede ser cero.

bn xn+r2

n=0

b0 6= 0

En el caso (b) del teorema b0 6= 0, pero C puede ser cero o no; de modo que el trmino logartmico puede estar presente o no en la segunda solucin. Los coecientes de estas series (y la constante C) pueden determinarse por sustitucin directa de las series en la ecuacin diferencial. Observacin: Puede ocurrir que al intentar encontrar la solucin en serie de una ecuacin diferencial de la forma (3), en torno a un punto singular regular, las races de la ecuacin indicial resulten ser nmeros complejos. Cuando r1 y r2 son complejos, la suposicin r1 > r2 carece de signicado y debe ser reemplazada por Re (r1 ) > Re (r2 ) , y, en este caso las soluciones sern complejas. Esta dicultad puede ser superada mediante el principio de superposicin. Puesto que una combinacin de soluciones tambin es solucin de la ecuacin diferencial, podramos formar combinaciones adecuadas de y1 (x) y y2 (x) para obtener soluciones reales. Por ltimo, si x = 0 es un punto singular irregular, debe hacerse notar que puede ser posible no P encontrar ninguna solucin de la forma y(x) = an xn+r .
n=0