Professional Documents
Culture Documents
2
2 1 0
0
) ( ) ( ) ( a x c a x c c a x c
n
n
n
3
La serie converge
si existe el siguiente lmite de las sumas
parciales:
Intervalo de convergencia
Es el conjunto de nmeros reales x o
interalo para los que la serie conerge!
Radio de convergencia
Si R es el radio de conergencia" la serie
de potencias conerge para #x a# < R $
dierge para #x a# > R. Si R % & la serie
conerge solo para x % a! ' si la serie
conerge para todo x" entonces
escri(imos R % )!
N
n
n
n N N N
a x c x S
0
) ( lim ) ( lim
Ch5_4
Convergencia absoluta
*entro de su interalo de conergencia" una
serie de potencias conerge a(solutamente!
Es decir" la siguiente serie conerge:
0
| ) ( |
n
n
n
a x c
L
c
c
a x
a x c
a x c
n
n
n
n
n
n
n
n
+
+
+
1
1
1
lim | |
) (
) (
lim
.
+ +
+ + + +
! 6 ! 4 ! 2
1 cos
! 5 ! 3
sin ,
! 2 ! 1
1
6 4 2
5 3 2
x x x
x
x x
x x
x x
e
x
Una serie de potencias deine una uncin
cu$o dominio es el interalo de conergencia de la serie" donde
es continua" deria(le e integra(le:
) 1 ( ) ( " , ) ( '
2
2
1
1
n
n
n
n
x n n x y x n x y
0
) (
n
n
n
x c x y
2
+ +
+
,
_
+ +
,
_
+ +
,
_
+ + +
,
_
,
_
+ + + + +
30 3
24
1
12
1
120
1
6
1
6
1
2
1
6
1
) 1 ( ) 1 (
5040 120 6 24 6 2
1
sin
5 3
2
5 4 3 2
7 5 3 4 3 2
x x
x x
x x x x x
x x x
x
x x x
x
x e
x
Ch5_7
Escri(ir como
una sola serie de potencias (i!e!" (ajo el mismo sumatorio4!
Solucin
1rimero" (uscamos que am(os sumatorios comiencen por
la misma potencia:
56ora cuando sustituimos el primer alor de n en am(os
sumatorios" las series comien7an potencias x
1
! 8aciendo
los cam(ios de ndice k = n 9 2 para la primera serie $ k =
n : 1 para la segunda serie:
+
0
1
2
2
) 1 (
n
n
n
n
n
n
x c x c n n
+ +
+ + +
2 0 3 0
1 2 0
2
1 2
) 1 ( 1 2 ) 1 (
n n n n
n
n
n
n
n
n
n
n
x c x c n n x c x c x c n n
+
+ + + +
1 1
1 2 2
) 1 )( 2 ( 2
k k
k
k
k
k
x c x c k k c
+
+ + + +
1
1 2 2
] ) 1 )( 2 [( 2
k
k
k k
x c c k k c
;
Supongamos la E* lineal
que podemos escri(ir como
0 ) ( ) ( ) (
0 1 2
+
+
y x a y x a y x a
0 ) ( ) ( +
+
y x Q y x P y
Se dice que un punto x
&
es un punto ordinario o regular
de la E* si P(x) $ Q(x) son analticas en x
&
; es decir si
admiten desarrollos en serie de potencias alrededor de x
&
.
/n punto que no es un punto ordinario es un punto
singular.
DEFINICIN
Si P(x) $ Q(x) son cocientes de polinomios: P(x) = a
1
(x4<a
2
(x4"
Q(x) % a
&
(x4<a
2
(x4" entonces x = x
es un punto ordinario de
nuestra ecuaci0n simplemente si a
2
(x
&
4 &!
=
:
TEOREMA
Existencia de soluciones
en series de potencias
0
0
) (
n
n
n
x x c y
Soluciones respecto a puntos ordinarios
1&
Resoler
Solucin
@o tenemos puntos singulares! 1odemos (uscar
soluci0n en serie alrededor de cualquier punto
porque todos son regulares! En particular" lo
6aremos para x = .
$
Sustitu$endo en la E* o(tenemos:
0 " +xy y
0
) (
n
n
n
x c x y
2
2
) 1 ( ) ( "
n
n
n
x c n n x y
+
+ +
0
1
2
2
2 0
2
) 1 (
) 1 (
n
n
n
n
n
n
n n
n
n
n
n
x c x n n c
x c x x n n c xy y
P(x) % &" Q(x) % x
11
?(tuimos esta suma de series en el ejercicio
anterior
1ara que la identidad se cumpla es necesario
que todos los coeficientes sean cero: 2c
2
% &,
c
2
% & $
1uesto que (k : 14(k : 24 &" o(tenemos la
siguiente relaci0n de recurrencia:
+
+ + + + +
1
1 2 2
0 ] ) 2 )( 1 [( 2
k
k
k k
x c c k k c xy y
, 3 , 2 , 1 , 0 ) 2 )( 1 (
1 2
+ + +
+
k c c k k
k k
, 3 , 2 , 1 ,
) 2 )( 1 (
1
2
+ +
+
k
k k
c
c
k
k
12
Aomando alores de B $ recordando que c
2
% &:
, 1 k
3 2
0
3
c
c
, 2 k
4 3
1
4
c
c
, 3 k
0
5 4
2
5
c
c
, 4 k
0
3
6
6 5 3 2
1
6 5
c
c
c
, 5 k
1
4
7
7 6 4 3
1
7 6
c
c
c
, 6 k
0
8 7
5
8
c
c
, 7 k
0
6
9
9 8 6 5 3 2
1
9 8
c
c
c
, 8 k
1
7
10
10 9 7 6 4 3
1
10 9
c
c
c
, 9 k
0
11 10
8
11
c
c
(....)
, 3 , 2 , 1 ,
) 2 )( 1 (
1
2
+ +
+
k
k k
c
c
k
k
Observa qe !odos "os #oe$i#ie%!es de&e%de% o de #
0
, o de #
'
.
(e he#ho, si #
0
) #
'
%o qeda% i%de!ermi%ados es qe hemos
me!ido "a *amba e% a"*+% si!io.
13
Entonces las dos soluciones linealmente independientes en serie
de potencias son:
) ( ) ( .... 0
7 6 4 3
6 5 3 2
0
4 3 3 2
0 ) (
1 1 0 0
7
1
6
0
4
1
3
0
1 0
0
x y c x y c x
c
x
c
x
c
x
c
x c c x c x y
n
n
n
+ + +
+
+ +
+ +
+
+
+
+ +
1
1 3
10 7 4
1
) 1 3 )( 3 ( 4 3
) 1 (
10 9 7 6 4 3
1
7 6 4 3
1
4 3
1
1 ) (
k
k
k
x
k k
x
x x x x y
+
+ +
1
3
9 6 3
0
) 3 )( 1 3 ( 3 2
) 1 (
1
9 8 6 5 3 2
1
6 5 3 2
1
3 2
1
1 ) (
k
k
k
x
k k
x x x x y
c
c
, 4 k
6 5 3 2
1
6 5
3
6
c
c
, 5 k
0
7
c
+
+ +
1
3
9 6 3
0
) 3 )( 1 3 ( 3 2
) 1 (
1
9 8 6 5 3 2
1
6 5 3 2
1
3 2
1
1 ) (
k
k
k
x
k k
x x x x y
(...)
12
Si 6acemos a6ora c
&
% & $ c
1
% 1" o(tenemos:
, 3 , 2 , 1 ,
) 2 )( 1 (
1
2
+ +
+
k
k k
c
c
k
k
, 1 k
0
3
c
, 2 k
4 3
1
4
c
, 3 k
0
5 4
2
5
c
c
, 4 k
0
6 5
3
6
c
c
, 5 k
7 6 4 3
1
7 6
4
7
c
c
(....)
+
+
+
+ +
1
1 3
10 7 4
1
) 1 3 )( 3 ( 4 3
) 1 (
10 9 7 6 4 3
1
7 6 4 3
1
4 3
1
1 ) (
k
k
k
x
k k
x
x x x x y
1D
Resoler
Solucin
1uesto que x
2
: 1 % &" x = i" Ei son puntos
singulares" la soluci0n en serie de potencias
centrada en & conerger al menos para #x# + 1!
/sando la soluci0n en forma en serie de potencia
de !, !" e !#$
0 ' " ) 1 (
2
+ + y xy y x
+ +
+ +
0 1 2
2
2
2 0 1
1 2 2
) 1 ( ) 1 (
) 1 ( ) 1 (
n
n
n
n
n
n
n
n
n
n
n
n
n n
n
n
n
n
n
n
n
x c x nc x c n n x c n n
x c x nc x x c n n x
1;
n k
n
n
n
n k
n
n
n
n k
n
n
n
n k
n
n
n
x c x nc x c n n
x c n n x c x c x c x c x c
+ +
+ + +
2 2
2
4
2
2
1 1 3
0
0
0
2
) 1 (
) 1 ( 6 2
+
+ + + + + +
+ + + + + +
2
2 3 0 2
2
2 3 0 2
0 ] ) 1 )( 2 ( ) 1 )( 1 [( 6 2
] ) 1 )( 2 ( ) 1 ( [ 6 2
k
k
k k
k
k
k k k k
x c k k c k k x c c c
x c kc c k k c k k x c c c
Primero ha#emos qe !odos "os sma!orios #omie%#e% &or "a &o!e%#ia m1s
a"!a, qe e% es!e #aso es 2
2
, ) se&aramos "os !3rmi%os 4sobra%!es4.
Ahora rei%de2amos.
1=
*e lo anterior" tenemos 2c
2
c
&
% &" 2c
3
% & " $
5s que c
2
% c
&
<2" c
3
% &" c
k:2
% (1 9 k4c
k
<(k : 24!
3uego:
0 ) 1 )( 2 ( ) 1 )( 1 (
2
+ + + +
+ k k
c k k c k k
0
2
0 2 4
! 2 2
1
4 2
1
4
1
c c c c
0
5
2
3 5
c c
0
3
0 4 6
! 3 2
3 1
6 4 2
3
6
3
c c c c
0
7
4
5 7
c c
2&
!!! $ as
sucesiamente!
0
4
0 6 8
! 4 2
5 3 1
8 6 4 2
5 3
8
5
c c c c
0
9
6
7 9
c c
0
5
0 8 10
! 5 2
7 5 3 1
10 8 6 4 2
7 5 3
10
7
c c c c
) ( ) (
! 5 2
7 5 3 1
! 4 2
5 3 1
! 3 2
3 1
! 2 2
1
2
1
1
1 1 0 0
1
10
5
8
4
6
3
4
2
2
0
10
10
9
9
8
8
7
7
6
6
5
5
4
4
3
3
2
2 1 0
x y c x y c
x c x x x x x c
x c x c x c x c x c
x c x c x c x c x c c y
+
+
1
]
1
+ + +
+ + + + + +
+ + + + +
1 | | ,
! 2
) 3 2 ( 5 3 1
) 1 (
2
1
1 ) (
2
2
1 2
0
<
+ +
x x
n
n
x x y
n
n
n
n
x x y ) (
2
21
Si se (usca una soluci0n en serie de potencias
!(x4 centrada en cero para
o(tenemos c
2
% c
&
<2 $ la siguiente relaci0n de
recurrencia:
Examinando la f0rmula se e que c
3
" c
C
" c
.
" % se
expresan en tFrminos de c
1
$ c
2
. Eligiendo
primero c
&
&" c
1
% &" tenemos:
, 3 , 2 , 1 ,
) 2 )( 1 (
1
2
+ +
+
+
k
k k
c c
c
k k
k
0 ) 1 ( +
y x y
0 2
2
1
c c
)
22
56ora elegimos c
&
% &" c
1
&" $ entonces
0
0 1 2
4
24
1
4 3 2 4 3
c
c c c
c
+
0
0 2 3
5
30
1
2
1
6
1
5 4 5 4
c
c c c
c
1
]
1
+
+
0
0 0 1
3
6
1
3 2 3 2
c
c c c
c
+
0
2
1
0 2
c c
) as5 s#esivame%!e...
1
1 0 1
3
6
1
3 2 3 2
c
c c c
c
+
1
1 1 2
4
12
1
4 3 4 3
c
c c c
c
+
1
1 2 3
5
120
1
6 5 4 5 4
c
c c c
c
+
E!#.
23
Ginalmente" la soluci0n ser:
! % c
&
!
&
: c
1
!
1
" donde
+ + + + +
5 4 3 2
0
30
1
24
1
6
1
2
1
1 ) ( x x x x x y
+ + + +
5 4 3
1
120
1
12
1
6
1
) ( x x x x x y
qe #o%ver*e% &ara !odo 2.
Ch5_24
Resoler
Solucin
?(seremos que en este caso Q(x) no es un
polin0mio! x = & es un punto ordinario de la
ecuaci0n! /sando la serie de Maclaurin para
cos x" $ empleando como
soluci0n:
0 n
n
n
x c y
0 ) (cos " + y x y
,
_
+ + +
+
2 0
6 4 2
2
! 6 ! 4 ! 2
1 ) 1 (
) (cos
n n
n
n
n
n
x c
x x x
x c n n
y x y
0
2
1
20
2
1
12 ) 6 ( 2
3
1 3 5
2
0 2 4 1 3 0 2
,
_
+ +
,
_
+ + + + + x c c c x c c c x c c c c
2.
*e a6 deducimos que
c
2
% 1<2c
&
" c
3
% 1<2c
1
" c
C
% 1<12c
&
" c
.
= 1<3&c
1
"H!
5grupando tFrminos llegamos a la soluci0n general
! % c
&
!
1
: c
1
!
2
" con radio de conergencia #x# + :
0
2
1
20 , 0
2
1
12 , 0 6 , 0 2
1 3 5 0 2 4 1 3 0 2
+ + + + c c c c c c c c c c
+
4 2
0
12
1
2
1
1 ) ( x x x y
+
5 3
1
30
1
6
1
1 ) ( x x x y
22
Soluciones respecto a puntos singulares
/n punto singular x
&
de una E* lineal
puede ser regular o irregular! 3a clasificaci0n
depende de
0 ) ( ) ( ) (
0 1 2
+
+
y x a y x a y x a
0 ) ( ) ( +
+
y x Q y x P y
Se dice que un punto singular x
&
es un punto singular
regular si p(x4 % (x 9 x
&
4P(x4 $ &(x4 % (x 9 x
)
'
Q(x4
son analticas en x
&
, i.e. admiten desarrollos en series
de potencias centradas en x
&
. /n punto singular que no
es regular es un punto singular irregular de la ecuaci0n!
DEFINICIN
P%!os si%*"ares re*"ares e irre*"ares
2D
Coeicintes polino"iales
Si (x x
&
4 aparece a lo sumo a la primera potencia
en el denominador de P(x4 $ a lo sumo a la segunda
potencia en el denominador de Q(x4" entonces x
&
es
un punto singular regular!
)
'
Q(x4 son analticas en
x % x
&
! ?(sera que de esta manera 6emos ImatadoI las
singularidades!
0 ) ( ) ( ) ( ) (
0 ) ( ) ( ) ( ) ( ) (
0
2
0
2
0
2
0
2
0
+
y x q y x p x x y x x
y x Q x x y x P x x y x x
2;
x x
x P
2 2
) 2 ( ) 2 (
5
) (
+
x x
x Q
1ara x % 2" la potencia de (x 9 24 en el denominador
de P(x) es 1" $ la potencia de (x 9 24 en el
denominador de Q(x) es 2! 5s que x % 2 es un punto
singular regular!
1ara x % E2" la potencia de (x : 24 en el denominador
de P(x) $ Q(x) es 2! 5s que x % E 2 es un punto
singular irregular!
2=
Si x
= x
&
es un punto singular regular" entonces
existe al menos una soluci0n de la forma
donde el nmero r es una constante por determinar!
3a serie conerge al menos en algn interalo
& + x x
&
< R.
TEOREMA
Teorema de Frobenius
0
0
0
0 0
) ( ) ( ) (
n
r n
n
n
n
n
r
x x c x x c x x y
3&
$%e"plo del "#todo de Frobenius
+
y y y x
0 n
r n
n
x c y
+
+
0
1
) (
n
r n
n
x c r n y
+
+ +
0
2
) 1 )( (
n
r n
n
x c r n r n y
31
+
+ +
+ + + +
+
0 0
1
0 0
1
0
1
) 2 3 3 )( (
) ( ) 1 )( ( 3
3
n
r n
n
n
r n
n
n
r n
n
n
r n
n
n
r n
n
x c x c r n r n
x c x c r n x c r n r n
y y y x
0 ] ) 1 3 3 )( 1 [( ) 2 3 (
) 2 3 3 )( ( ) 2 3 (
0
1
1
0
0
1
1
1 1
0
1
]
1
+ + + + +
1
1
1
]
1
+ + +
k
k
k k
r
n k
n
n
n
n k
n
n
n
r
x c c r k r k x c r r x
x c x c r n r n x c r r x
32
Lue implica:
r(3r 9 24c
&
% &
(k ( r : 14(3k : 3r : 14c
k:1
9 c
k
% &" k % &" 1" 2" H
8aciendo c
+
k
r k r k
c
c
k
k
r
1
% 2<3" k % &" 1" 2"H
r
2
% &" k % &" 1" 2"H
,
) 1 )( 5 3 (
1
+ +
+
k k
c
c
k
k
,
) 1 3 )( 1 (
1
+ +
+
k k
c
c
k
k
Ch5_33
r
1
% 2<3"
k % &" 1" 2"H
,
) 1 )( 5 3 (
1
+ +
+
k k
c
c
k
k
,
) 1 3 )( 1 (
1
+ +
+
k k
c
c
k
k
r
2
% &"
k % &" 1" 2"H
3C
?(sera que los dos conjuntos contienen el
mismo mltiplo c
&
! Si se omite este tFrmino"
6aciFndolo igual a "1 tenemos:
1
]
1
+
+
1
3 2
0
) 2 3 ( 11 8 5 !
1
1 ) (
n
n
x
n n
x x y
1
]
1
1
0
1
) 2 3 ( 7 4 1 !
1
1 ) (
n
n
x
n n
x x y
% &!
Sus desarrollos en serie de potencia son:
p(x4 % xP(x4 % a
&
a
1
x a
2
x
2
&(x4 % x
2
Q(x4 % *
&
*
1
x *
2
x
2
que sern lidos en interalos con ciertos radios de
conergancia!
32
Multiplicando por x
'
, tenemos
*espuFs de sustituir
p(x4 % xP(x4 % a
&
a
1
x a
2
x
2
&(x4 % x
2
Q(x4 % *
&
*
1
x *
2
x
2
en la E*?"
o(tendremos la ecuaci0n indicial:
0 ) ( ) (
0 )] ( [ )] ( [
2
2 2
+
+
+
+
y x q y x xp y x
y x Q x y x xP x y x
0 ) ( ) ( +
+
y x Q y x P y
0 n
r n
n
x c y
+
+
0
1
) (
n
r n
n
x c r n y
+
+ +
0
2
) 1 )( (
n
r n
n
x c r n r n y
r(r 9 14 : a
&
r : *
&
% &
Ch5_37
Resoler
Solucin
Sea " entonces
0 n
r n
n
x c y
+
+ + + + +
+ + +
+ + + +
+
+ +
0 0
1
0 0
0
1
0
1
) 1 ( ) 1 2 2 )( (
) (
) ( ) 1 )( ( 2
) 1 ( 2
n
r n
n
n
r n
n
n
r n
n
n
r n
n
n
r n
n
n
r n
n
x c r n x c r n r n
x c x c r n
x c r n x c r n r n
y y x y x
0 ' ) 1 ( " 2 + + + y y x xy
3;
1
]
1
+ + + + + + + +
1
1
1
]
1
+ + + + + +
0
1
1
0
0
1
1
1 1
0
] ) 1 ( ) 1 2 2 )( 1 [( ) 1 2 (
) 1 ( ) 1 2 2 )( ( ) 1 2 (
k
k
k k
r
n k
n
n
n
n k
n
n
n
r
x c r k c r k r k x c r r x
x c r n x c r n r n x c r r x
, 2 , 1 , 0 , 0 ) 1 ( ) 1 2 2 )( 1 (
1
+ + + + + + +
+
k c r k c r k r k
k k
r (2r 9 14 % &, r
1
% N " r
2
% &!
, 2 , 1 , 0 ,
) 1 ( 2
1
+
+
k
k
c
c
k
k
, 2 , 1 , 0 ,
1 2
1
+
+
k
k
c
c
k
k
3=
1
1 2
0
1
0
1
c
c
c
c
, 2 , 1 , 0
,
) 1 ( 2
1
+
k
k
c
c
k
k
, 2 , 1 , 0
,
1 2
1
+
k
k
c
c
k
k
C&
5s para r
1
% N
$ para r
2
% &
' la soluci0n final es !(x4 % )
1
!
1
( )
2
!
2
.
1
]
1
+
0
2 1
1
2 1
1
! 2
) 1 (
! 2
) 1 (
1 ) (
n
n
n
n
n
n
n
n
x
n
x
n
x x y
<
| | ,
) 1 2 ( 7 5 3 1
) 1 (
1 ) (
1
2
x x
n
x y
n
n
n
C1
Resoler
Solucin
*e xP = , x
2
Q = x, $ el 6ec6o de que & $ x sean sus
propias series de potencias centradas en &" se
conclu$e a
&
% &" *
&
% &!
*e modo que la ecuaci0n indicial r(r 9 14 : a
&
r : (
&
% &"
queda:
r(r 9 14 % &" r
1
% 1" r
2
% &!
>omprue(a que en este caso am(as races producen
el mismo conjunto de coeficientes! En otras pala(ras"
que s0lo o(tenemos una soluci0n en serie
0 " +y xy
...
12 2 )! 1 ( !
) 1 (
) (
3 2
1
0
1
+ + +
+
x x
x x
n n
x y
n
n
n
C2
+
0
2
0
1
2 1
) ( ) (
n
r n
n
n
r n
n
x b x y x c x y
O>0mo o(tener la segunda soluci0nP
8a$ que distinguir tres casos:
(14 Si r
1
" r
2
son distintas $ la diferencia r
1
Q r
2
no es un entero
positio" entonces existen dos soluciones linealmente
independientes de la ecuaci0n de la forma :
(24 Si r
1
9 r
2
% +, donde + es un entero positio" entonces
existen dos soluciones linealmente independientes de la
ecuaci0n de la forma :
0 , ln ) ( ) (
0 , ) (
0
0
1 2
0
0
1
2
1
+
+
b x b x x Cy x y
c x c x y
n
r n
n
n
r n
n
C3
(34 Si r
1
% r
2
, entonces existen dos soluciones linealmente
independientes de la ecuaci0n de la forma:
ln ) ( ) (
0 , ) (
0
1 2
0
0
1
2
1
+
+
n
r n
n
n
r n
n
x b x x y x y
c x c x y
Si $a conocemos una soluci0n !
1
" la
segunda puede o(tenerse de la siguiente
manera
Reamos un ejemplo!
) (
2
1 2
1
dx
y
e
y x y
Pdx
CC
8allar la soluci0n general de
Solucin 8a(amos 6allado una soluci0n:
0 " +y xy
...
12 2 )! 1 ( !
) 1 (
) (
3 2
1
0
1
+ + +
+
x x
x x
n n
x y
n
n
n
1
]
1
+ + + +
1
]
1
+ + + +
1
]
1
+ +
1
]
1
+ + + +
dx x x x
x
x y
dx x
x x
x y
x x x x
dx
x y
x x x x
dx
x y dx
x y
e
x y x y
dx
2
1
2
1
5 4 3 2
1
2
4 3 2
1
2
1
0
1 2
144
19
12
7
ln
1
) (
72
19
12
7 1 1
) (
12
7
12
5
) (
144
1
12
1
2
1
) (
)] ( [
) ( ) (
C.
1
]
1
+ + + +
2
1 1 2
144
19
12
7 1
) ( ln ) ( ) ( x x
x
x y x x y x y
6e $i%a"me%!e %os &ro&or#io%a #omo so"#i-%.
Para ver m1s e0em&"os rese"!os ) de!a""es de es!a
+"!ima &ar!e, #o%s"!a "os a&%!es de 7ose O"arrea e%
8o"#io%es9series.&d$.