Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Series de Potencias
Series de Potencias
ndice General
1 Introduccin
2 Series numricas
2.1 Series de trminos no negativos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2 Series alternadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3 Series absolutamente convergentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
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 coeficientes constantes. Sin embargo, en las aplicaciones, se puede
observar que las ecuaciones lineales con coeficientes variables tienen la misma importancia, si no ms, que
las de coeficientes 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 definir 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 definida por:
S1 = a1
Sn+1 = Sn + an+1 = a1 + + an+1
para todo n N.
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 finito), en cuyo caso el lmite de
la sucesin de sumas parciales recibe el nombre de suma de la serie y se le representa por
n=1
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
n=1
arn1 = a + ar + ar2 +
arn a
r1
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
P1
se denomina serie armnica. Dicha serie es divergente pues se verifica 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 manifiesto que, para 1, dicha serie es divergente y para
> 1, la serie es convergente.
2) La serie
(an + bn ) =
n=1
n=1
an +
bn .
n=1
Tema 5. Soluciones en serie de potencias de EDOs. Ampliacin de Matemticas. Esp. Electrnica Industrial. 3
2.1
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 verifica: si la serie
bn es convergente, la serie Pan es convergente.
P
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 verifica:
1) Si < 1, entonces la serie
an es convergente.
an es divergente.
an+1
3) Si = 1 el criterio no afirma 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.
2) Si < 1, la serie diverge.
an+1
3) Si = 1 el criterio no afirma nada, salvo que sea n 1
< 1 para todo n p en cuyo caso
an
la serie diverge.
Teorema
P 2.6 (Criterio de Pringsheim)
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.
Tema 5. Soluciones en serie de potencias de EDOs. Ampliacin de Matemticas. Esp. Electrnica Industrial. 4
2.2
Series alternadas
Definicin 2.2 Las series cuyos trminos consecutivos alternan el signo se llaman alternadas.
As,
P
n
suponiendo
a
>
0
para
todo
n
N,
las
series
alternadas
aparecen
de
dos
maneras:
(1)
a
n
n
P
(1)n1 an .
Teorema 2.7 (Criterio de Leibnitz) Una condicin suficiente para que converja la serie alternada
P
(1)n an es que lim an = 0 y la sucesin {an } sea decreciente.
2.3
P
Definicin 2.3 Una serie de trminos arbitrarios Pan es absolutamente convergente (absolutamente
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
Definicin 2.4 Las series que son convergentes pero no absolutamente convergentes, se llaman series
condicionalmente convergentes.
n=0
an (x x0 )n = a0 + a1 (x x0 ) + a2 (x x0 )2 +
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
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)} definida 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 finito 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 definir una funcin S : D R dada por
S(x) = lim Sn (x)
n
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.
xn
P
es absolutamente convergente para cualquier valor real de x y por
n
n=1 n
tanto su radio de convergencia es R = .
3) La serie de potencias
xn
P
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).
4) La serie de potencias
Tema 5. Soluciones en serie de potencias de EDOs. Ampliacin de Matemticas. Esp. Electrnica Industrial. 6
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:
nan xn1 ,
n=1
X
an n+1
x
n
+1
n=0
que son series de potencias obtenidas al derivar o integrar trmino a trmino la serie dada.
Teorema 3.2 Las tres series de potencias
n=0
de convergencia.
an xn ,
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
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
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.
Teorema 3.4 Si
n=0
n=0
2) La suma S(x) =
an xn es continua en D.
n=0
n=0
para cualesquiera , x de D.
3.1
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.
Definicin 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.
X
f n) (x0 )
(x x0 )n
n!
n=0
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 coeficientes 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 indefinidamente
derivables en un entorno del cero, y se tiene:
f n) (x) = r(r 1) (r n + 1)(1 + x)rn ,
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 n
x
n
n=0
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
senx = x
x3 x5
(1)n 2n+1
+
+
+
x
3!
5!
(2n + 1)!
< x <
cos x = 1
x2
x4
(1)n 2n
+
+
x +
2!
4!
(2n)!
< x <
ex = 1 +
x
x2
xn
+
+ +
+
1!
2!
n!
< x <
sh x = x +
1
x3 x5
+
+ +
x2n+1 +
3!
5!
(2n + 1)!
< x <
ch x = 1 +
x2 x4
1
+
+ +
x2n +
2!
4!
(2n)!
< x <
arcsen x = x+
1 x3 1 3 x5
(2n)! x2n+1
+
+ +
+
2 3
24 5
(2n n!)2 (2n + 1)
ln (1 + x) = x
x3 x4
(1)n1 n
x2
+
+ +
x +
2
3
4
n
1
= 1 x2 + x4 x6 + + (1)n x2n +
1 + x2
1 < x < 1
1 < x < 1
1 < x < 1
arctg x = x
x3 x5 x7
(1) x2n+1
+
+ +
+
3
5
7
2n + 1
1 < x < 1
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
n=0
an (x x0 )n
en la ecuacin diferencial y despus determinar cules deben ser los coeficientes a0 , a1 , a2 , . . . para que
la serie de potencias satisfaga la ecuacin diferencial. Esto es muy semejante al mtodo de coeficientes
indeterminados, pero ahora tenemos un nmero infinito de coeficientes 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.
(1)
an xn ,
n=0
nuestra tarea consistir en determinar los coeficientes an . Para ello, sustituimos los desarrollos en serie
de y (x) y y 0 (x) en la ecuacin (1), obteniendo
nan xn1 + 2x
n=1
an xn = 0,
n=0
o equivalentemente
nan xn1 +
n=1
2an xn+1 = 0.
(2)
n=0
Si escribimos los primeros trminos de estas series y sumamos los coeficientes 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
verificar que todos los coeficientes sean iguales a cero. De modo que
a1 = 0,
3a3 + 2a1 = 0,
2a2 + 2a0 = 0,
4a4 + 2a2 = 0, . . .
a2 = a0 ,
2
a3 = a1 = 0,
3
1
1
a4 = a2 = a0 .
2
2
(k + 1) ak+1 xk +
k=0
2ak1 xk = 0,
k=1
k=1
Tema 5. Soluciones en serie de potencias de EDOs. Ampliacin de Matemticas. Esp. Electrnica Industrial. 11
Haciendo ahora todos los coeficientes iguales a cero, obtenemos una relacin de recurrencia para los
coeficientes
a1 = 0
ak+1 =
2
ak1
k+1
(k = 1)
2
a3 = a1 = 0,
3
(k = 2)
2
1
a4 = a2 = a0 ,
4
2!
(k = 3)
2
a5 = a1 = 0,
5
(k = 4)
2
a7 = a1 = 0,
7
(k = 6)
2
1
a6 = a4 = a0 ,
6
3!
y de aqu, se observa que
(k = 5)
a2n =
(1)
a0
n!
a2n+1 = 0
n = 1, 2, 3, . . .
n = 0, 1, 2, . . .
Puesto que el coeficiente a0 se deja indeterminado, sirve como constante arbitraria y, por tanto, proporciona la solucin general de la ecuacin
X
1
(1)n 2n
y (x) = a0 a0 x2 + a0 x4 + = a0
x .
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, verificndose que
2
y (x) = a0 ex ,
solucin que se poda obtener fcilmente ya que se trataba de una ecuacin de variables separables.
4.1
Aunque el mtodo de series de potencias puede usarse en ecuaciones lineales de cualquier orden, sus
aplicaciones ms relevantes se refieren 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)
Tema 5. Soluciones en serie de potencias de EDOs. Ampliacin de Matemticas. Esp. Electrnica Industrial. 12
Definicin 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) =
sen x
x2 x4
=1
+
+ ,
x
3!
5!
q (x) = x
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 coeficientes 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
igualar a cero los coeficientes de la serie de potencias resultante, lo que conducir a una relacin de
recurrencia para los coeficientes an . Para simplificar, 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 justifica 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) =
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) =
n=0
an xn ,
Tema 5. Soluciones en serie de potencias de EDOs. Ampliacin de Matemticas. Esp. Electrnica Industrial. 13
y 00 (x) =
nan xn1 ,
n=1
n=2
n=2
2n (n 1) an xn2 +
n (n 1) an xn2 .
nan xn +
n=1
an xn = 0,
n=0
y escribimos las tres series de forma que el trmino general de cada una de ellas sea una constante
multiplicada por xk .
2 (k + 2) (k + 1) ak+2 xk +
k=0
kak xk +
k=1
0
ak xk = 0.
k=0
[2 (k + 2) (k + 1) ak+2 + kak + ak ] xk = 0.
k=1
1
ak
2 (k + 2)
k 1.
De esta manera,
a2 =
1
a0
22
a4 =
1
1
a2 = 2
a0
24
2 24
a6 =
1
1
a4 = 6
a0
26
2 3!
a3 =
1
a1
23
(k = 1)
(k = 2)
a5 =
1
1
a3 = 2
a1
25
2 35
(k = 3)
(k = 4)
a7 =
1
1
a5 = 3
a1
27
2 357
(k = 5)
1
1
(k = 6)
a6 = 8
a0
28
2 4!
Considerando a0 y a1 como constantes arbitrarias, se obtiene
a8 =
a2n =
(1)
a0
22n n!
n 1,
n
a2n+1 =
(1)
a1
2n [1 3 5 (2n + 1)]
n 1.
(1)n
P
x2n
2n n!
n=0 2
y2 (x) =
(1)
x2n+1
n
n=0 2 [1 3 5 (2n + 1)]
Tema 5. Soluciones en serie de potencias de EDOs. Ampliacin de Matemticas. Esp. Electrnica Industrial. 14
4.2
En la seccin precedente vimos que no hay mucha dificultad 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
an (x x0 )
n+r
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
an xn+1/2
y (x) =
n=0
an xn1/3 .
n=0
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 definir estos conceptos reescribimos la ecuacin
de la forma y 00 + p (x) y 0 + q (x) y = 0.
Definicin 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.
Si examinamos
p (x) =
x1
x2 (x + 1)
q (x) =
2
x2
(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 definicin.
Definicin 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
q0 = lim (x x0 ) q (x)
xx0
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
2
(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 simplificar, la ecuacin indicial es la ecuacin cuadrtica en r que
n=0
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) =
an xn+r1 ,
a0 6= 0
n=0
bn xn+r2 ,
b0 6= 0
n=0
an xn+r .
n=0
Puesto que
y 0 (x) =
n=0
(n + r) an xn+r1 ,
y 00 (x) =
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
n=0
n=0
r
= x
(n + r) (n + r 1) an xn+r1 +
n=0
(n + r) (3n + 3r 2) an xn+r1
"
r (3r 2) a0 x
"
k=0
(n + r) an xn+r1
an xn+r
n=0
an xn+r
n=0
(k + r + 1) (3k + 3r + 1) ak+1 ak x
=0
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
a1 =
1
a0
11
a2 =
1
1
a1 =
a0
82
2!5 8
a2 =
1
1
a1 =
a0
24
2!1 4
a3 =
1
1
a2 =
a0
11 3
3!5 8 11
a3 =
1
1
a1 =
a0
37
3!1 4 7
a4 =
1
1
a3 =
a0
14 4
4!5 8 11 14
a4 =
1
1
a1 =
a0
4 10
4!1 4 7 10
..
.
an =
..
.
1
a0
n!5 8 11 (3n + 2)
an =
1
a0
n!1 4 7 (3n 2)
1
xn
n!5
11
(3n + 2)
n=0
1
xn
n!1
(3n 2)
n=0
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) =
an xn+r1
a0 6= 0
n=0
y2 (x) = y1 (x) ln x +
bn xn+r1
n=1
(b) Si r1 r2 es un entero positivo, existen dos soluciones linealmente independientes para x > 0 de la
forma
y1 (x) =
an xn+r1
n=0
a0 6= 0
bn xn+r2
n=0
b0 6= 0
P
encontrar ninguna solucin de la forma y(x) =
an xn+r .
n=0