Professional Documents
Culture Documents
- SOLUCIONES EN SERIES DE
POTENCIAS DE E.D.O. LINEALES
Ampliacin de Matemticas. Curso 2003-04
I. T. I. Especialidades en Mecnica y Electrnica Industrial.
Introduccin
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.
P
an (o
llamar sucesin de sumas parciales de la serie. En adelante denotaremos por
n=1
P
ms brevemente
an ) a la serie de trmino general {an }.
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),
1
X
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
X
n=1
arn1 = a + ar + ar2 +
arn a
r1
y por tanto,
a
y la serie es convergente indepen1r
a
.
dientemente del valor de a siendo su suma
1r
b) Cuando | r |> 1, la serie es divergente ya que
+
si r > 1 y a > 0
n
r 1
lim Sn = lim a
=
si r > 1 y a < 0
n
n
r1
no existe
si r < 1
a) Cuando | r |< 1, entonces lim Sn =
P 1
3) Para cada nmero real , la serie
recibe el nombre de serie armnica de orden
n
. El estudio de la convergencia de esta serie pone de manifiesto que, para 1,
dicha serie es divergente y para > 1, la serie es convergente.
Veremos ahora dos propiedades generales de las series numricas.
Teorema 1 (Condicin necesaria de convergencia) Una condicin necesaria para
P
que la serie
an sea convergente es que lim an = 0.
P
P
bn son convergentes,
Teorema 2 (Propiedad de linealidad) Si las series
an y
P
entonces la serie (an + bn ) con , R es convergente y se cumple:
X
X
X
(an + bn ) =
an +
bn .
n=1
n=1
n=1
A continuacin daremos algunos resultados importantes en el estudio de la convergencia de algunos tipos de series.
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 4 (Criterio de comparacin)
P
P
bn , se cumple la desigualSi, para las series de nmeros reales no negativos
an y
dad
an bn
para todo n p,
P
P
a es convergente.
entonces se verifica: si la serie
bn es convergente, la serie
P
Pn
Y en consecuencia: si la serie
an es divergente, la serie
bn es divergente.
P
Teorema 5 (Criterio de DAlembert o del cociente) Si
an es una serie de
trminos positivos tal que existe
an+1
lim
=R
n an
se verifica:
3
an es convergente.
an es divergente.
an+1
> 1 para todo n a partir de
3) Si = 1 el criterio no afirma nada, salvo que sea
an
P
un cierto p N en cuyo caso la serie
an es divergente.
P
Teorema 6 (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
< 1 para todo
3) Si = 1 el criterio no afirma nada, salvo que sea n 1
an
n p en cuyo caso la serie diverge.
2.2
Series alternadas
Definicin 8 Las series cuyos trminos consecutivos alternan el signo se llaman alternadas. As, suponiendo an > 0 para todo n N, las series alternadas aparecen de dos
P
P
maneras: (1)n an (1)n1 an .
Teorema X
9 (Criterio de Leibnitz) Una condicin suficiente para que converja la serie
alternada
(1)n an es que lim an = 0 y la sucesin {an } sea decreciente.
P
Salvo en algunos casos particulares, no se conoce la suma S de una serie an supuestamente convergente. Se toma entonces por valor aproximado la suma Sn de sus n primeros
trminos. Se comete as un error igual a Rn = S Sn = an+1 + an+2 +
P
En el caso de una serie alternada (1)n an , con an 0, que verifique la condicin
suficiente del criterio de Leibnitz, se tiene que
|Rn | = |S Sn | = |an+1 an+2 + an+3 | = an+1 (an+2 an+3 ) ( ) an+1
por tanto, el valor absoluto del error cometido al aproximar la suma de la serie por una de
sus sumas parciales es menor o igual que el valor absoluto del primer trmino despreciado.
4
2.3
P
Definicin 10 Una serie de trminos arbitrarios an es absolutamente convergente (abP
solutamente divergente) cuando la serie de trminos no negativos
|an | es convergente
(divergente).
Teorema 11 Toda serie absolutamente convergente, es convergente.
El recproco del teorema anterior no es en general cierto. Por ejemplo, la serie de
(1)n
trmino general an =
es convergente pero no absolutamente convergente.
n
Definicin 12 Las series que son convergentes pero no absolutamente convergentes, se
llaman series condicionalmente convergentes.
X
n=0
an (x x0 )n = a0 + a1 (x x0 ) + a2 (x x0 )2 +
X
n=0
an xn = a0 + a1 x + a2 x2 +
Puesto que un simple cambio de variables, tomando como nueva variable x x0 , 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.
as:
Asociada a dicha serie de potencias tenemos la sucesin de funciones {Sn (x)} definida
Sn (x) = a0 + a1 x + a2 x2 + + an xn
5
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
P
tales series. As, para toda serie de 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+ ).
6
Ejemplos:
X
1) La serie de potencias
xn 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).
X
2) La serie de potencias
n!xn slo converge en el origen (R = 0), ya que para
X
cualquier x R, x 6= 0, la serie numrica
n! |x|n 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.
X
xn
3) La serie de potencias
X
xn
4) La serie de potencias
n=1
y deduciendo los valores de x que para los que L (x) < 1. Estos valores constituirn el
intervalo de convergencia de la serie.
Ejemplos:
1) El radio de convergencia de la serie
mayor que 1, entonces R = 0.
X
7
X xn X xn
,
2) Las series
x ,
tienen radio de convergencia R = 1. Un
n+1
(n + 1)2
estudio posterior 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.
X
X
Como los trminos de una serie de potencias
an xn son funciones potenciales y stas
n=0
son continuas, derivables e integrables, vamos a estudiar si su suma goza de las mismas
propiedades. Ello nos lleva estudiar series de potencias de la forma:
n1
nan x
X
an n+1
x
n+1
n=0
n=1
que son series de potencias obtenidas al derivar o integrar trmino a trmino la serie dada.
Teorema 14 Las tres series de potencias
an x ,
n=0
X
n=1
n1
nan x
X
an n+1
x
,
tienen el
n+1
n=0
n=0
P
nan xn1 , es decir,
La funcin suma es derivable en el intervalo I, y adems S 0 (x) =
n=1
n=0
nulo, tiene 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 17 Si
n=0
n=0
2) La suma S(x) =
an xn es continua en D.
an xn es integrable en todo intervalo cerrado y acotado contenido
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 18 Se dice que una funcin f es analtica en x0 si, en un intervalo abierto
P
an (x x0 )n que
que contenga a x0 , esta funcin es la suma de una serie de potencias
n=0
X
f n) (x0 )
n=0
n!
(x x0 )n
X
n=0
an (x x0 )n =
9
X
n=0
bn (x x0 )n
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!
0
n
obtenemos como posible desarrollo en serie de Mac-Laurin de la funcin dada el siguiente:
X
r n
x
n
n=0
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 .
X
r n
La serie
x se denomina serie binomial o binmica puesto que cuando r es
n
n=0
un nmero natural 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
1 2
135 4
x
13 3
1+x=1+
x +
x
x +
2 24
246
2468
10
Para r = 1/2
1
13 2 135 3
1
x
x +
= 1 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.
SERIES DE POTENCIAS PARA FUNCIONES ELEMENTALES
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 +
xn
x x2
+
+ +
+
1! 2!
n!
< x <
sh x = x +
x3 x5
1
+
+ +
x2n+1 +
3!
5!
(2n + 1)!
< x <
ch x = 1 +
1 2n
x2 x4
+
+ +
x +
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
(1)n1 n
x2 x3 x4
+
+ +
x +
2
3
4
n
1
= 1 x2 + x4 x6 + + (1)n x2n +
1 + x2
arctg x = x
x3 x5 x7
(1)n x2n+1
+
+ +
+
3
5
7
2n + 1
1 < x < 1
1 < x < 1
1 < x < 1
1 < x < 1
X
n=0
an (x x0 )n
(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
n1
nan x
+ 2x
n=1
o equivalentemente
X
n=1
an xn = 0,
n=0
n1
nan x
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.
12
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,
2a2 + 2a0 = 0,
3a3 + 2a1 = 0,
4a4 + 2a2 = 0, . . .
Resolviendo el sistema anterior resulta
a1 = 0,
a2 = a0 ,
2
a3 = a1 = 0,
3
1
1
a4 = a2 = a0 .
2
2
X
X
(k + 1) ak+1 xk +
2ak1 xk = 0,
k=0
k=1
k=1
Haciendo ahora todos los coeficientes iguales a cero, obtenemos una relacin de recurrencia
para los coeficientes
a1 = 0
2
ak1
k+1
Tomando k = 1, 2, . . . , 6 y teniendo en cuenta que a1 = 0, resulta que
ak+1 =
2
a2 = a0 = a0 ,
2
(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!
(k = 5)
13
(1)n
a0
n!
n = 1, 2, 3, . . .
a2n+1 = 0
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)n 2n
1
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
(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)
q (x) = x
y 00 + x2 y 0 + xy = 0
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 21 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.
15
y (x) =
an xn ,
n=0
y (x) =
n1
nan x
00
y (x) =
n=1
X
n=2
n (n 1) an xn2 .
X
n=2
n2
2n (n 1) an x
nan x +
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 x +
k=0
kak x +
k=1
ak xk = 0.
k=0
X
4a2 + a0 +
[2 (k + 2) (k + 1) ak+2 + kak + ak ] xk = 0.
k=1
1
ak
2 (k + 2)
De esta manera,
1
a2 = 2 a0
2
k 1.
a3 =
1
a1
23
(k = 1)
(k = 3)
a4 =
1
1
a2 = 2
a0 (k = 2)
24
2 24
a5 =
1
1
a3 = 2
a1
25
2 35
a6 =
1
1
a4 = 6
a0
26
2 3!
(k = 4)
a7 =
1
1
a5 = 3
a1 (k = 5)
27
2 357
a8 =
1
1
a6 = 8
a0
28
2 4!
(k = 6)
16
(1)n
= 2n
a0
2 n!
a2n+1 =
n 1,
(1)n
a1
2n [1 3 5 (2n + 1)]
n 1.
X
(1)n 2n
y1 (x) =
x
22n n!
n=0
y2 (x) =
X
n=0
(1)n
x2n+1
2n [1 3 5 (2n + 1)]
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,
X
an (x x0 )n .
no siempre es posible encontrar una solucin de la forma y (x) =
n=0
Veremos que, en algunos casos, si podemos obtener una solucin de la forma y (x) =
X
n=0
X
X
n+1/2
an x
an xn1/3 .
y (x) =
y
y (x) =
n=0
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.
17
x2 (x + 1)2 y 00 + x2 1 y 0 + 2y = 0.
Si examinamos
p (x) =
x2
x1
(x + 1)
q (x) =
2
x2 (x + 1)2
q0 = lim (x x0 )2 q (x)
xx0
son vlidos en intervalos que tengan radio de convergencia positivo. Despus de sustituir
X
y (x) =
an (x x0 )n+r en la ecuacin y simplificar, la ecuacin indicial es la ecuacin
n=0
X
y1 (x) =
an xn+r1 ,
a0 6= 0
n=0
X
y2 (x) =
bn xn+r2 ,
b0 6= 0
n=0
X
y(x) =
an xn+r .
n=0
Puesto que
X
y 0 (x) =
(n + r) an xn+r1 ,
X
y 00 (x) =
(n + r) (n + r 1) an xn+r2
n=0
n=0
X
n=0
X
n=0
"
n+r1
(n + r) (n + r 1) an x
= xr r (3r 2) a0 x1 +
k=0
n+r1
(n + r) an x
n=0
(n + r) (3n + 3r 2) an xn+r1
"
X
X
n=0
an xn+r
n=0
an xn+r
#
(k + r + 1) (3k + 3r + 1) ak+1 ak xk = 0
19
ak+1 =
1
ak
(k + r + 1) (3k + 3r + 1)
k = 0, 1, 2, . . .
(5)
2
y r2 = 0. Al
3
sustituir en (5) los dos valores de r resultan dos relaciones de recurrencia diferentes
De la ecuacin r (3r 2) = 0 (ecuacin indicial), tenemos que r1 =
ak+1 =
1
ak
(3k + 5) (k + 1)
ak+1 =
1
ak
(k + 1) (3k + 1)
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)
y1 (x) = a0 x
1
xn
n!5 8 11 (3n + 2)
1
xn
n!1 4 7 (3n 2)
n=0
y2 (x) = a0 x
n=0
X
X
1
1
= C1 x2/3
xn + C2 x0
xn
n!5
11
(3n
+
2)
n!1
(3n
2)
n=0
n=0
20
an xn+r1
a0 6= 0
n=0
y2 (x) = y1 (x) ln x+
bn xn+r1
n=1
an xn+r1
n=0
a0 6= 0
X
n=0
bn xn+r2
b0 6= 0
Por ltimo, si x = 0 es un punto singular irregular, debe hacerse notar que puede ser
P
an xn+r .
posible no encontrar ninguna solucin de la forma y(x) =
n=0
Bibliografa
22