Ferrante
Colaboradora: Lic. Sandra Barrutia
SOLUCIN DE
ECUACIONES DIFERENCIALES
MEDIANTE SERIES DE
POTENCIAS
n 1
a (r )[ p (r + k ) + q ]
k nk nk
an (r ) = k = 0
F (r + n )
edUTecNe
Buenos Aires, 2014
SOLUCIN DE ECUACIONES DIFERENCIALES
MEDIANTE SERIES DE POTENCIAS
Ing. Jorge J. L. Ferrante
Colaboradora Lic. Sandra Barrutia
eduTecNe 2014
PRLOGO
BIBLIOGRAFA CONSULTADA
(pgina dejada intencionalmente en blanco)
Prlogo
PROLOGO
7
Solucin de ecuaciones diferenciales mediante series de potencias
8
Prlogo
Jorge J. L. Ferrante
PROFESOR CONSULTO
9
(pgina dejada intencionalmente en blanco)
Captulo 1
CAPITULO PRIMERO
A modo de informal introduccin
I Sucesiones numricas
a n a1 , a 2 , a 3 , a 4 ,..., a n ,...
2 Los nmeros a1, a2, etc. son los trminos de la sucesin. El trmino an es
el trmino genrico de la sucesin. Obsrvese que los tres puntos finales
colocados luego de an constituyen un smbolo matemtico que debe ser
entendido como y as hasta infinito.
{1, 1/2, 1/3, 1/4, 1/5, 1/6, 1/7, 1/8, 1/9, 1/10, }
{1, 3/4, 7/9, 15/16, 31/25, 7/4, 127/49, 255/64, 511/81, 1023/100, }
11
Solucin de ecuaciones diferenciales mediante series de potencias
{-1; 2; - 3; 4; - 5; 6; - 7; 8; }
a 0 0
a1 1
a a a n 1
n n 1 n2
n n
1 1 5 1 1 5
an
5 2 5 2
12
Captulo 1
Uno1
11
Un uno
21
Dos unos
1211
Un dos, un uno
111221
Un uno, un dos, dos unos
21112211
Dos unos, un uno, dos dos, un uno
1221112221
Un dos, dos unos, un uno, dos dos, un dos, un uno.
11222111221211
Dos unos, dos dos, un dos, dos unos, un uno, dos
dos, un uno, un dos, dos unos.
a n a n 1 n
y es estrictamente creciente si
a n a n 1 n
a n a n 1 n
13
Solucin de ecuaciones diferenciales mediante series de potencias
y es estrictamente decreciente si
a n a n 1 n
III Acotacin
IV Subsucesiones
13 Una sucesin {a*n} es una subsucesin de {an} si existe una aplicacin f(n)
de N en N estrictamente creciente tal que a*n = af(n)
an a1 , a3 , a3 , a4 ,..., an ,...
14
Captulo 1
{an} = (-1)n /n
0.10
0.05
0.00
-0.05
-0.10
{an} = n2/(n2+1)
15
Solucin de ecuaciones diferenciales mediante series de potencias
1.000
0.998
0.996
0.994
0.992
00:00:00 00:00:30 00:01:00 00:01:30
{an} = (-1)n
1.0
0.5
0.0
-0.5
-1.0
00:00:00 00:00:30 00:01:00 00:01:30
{an} = n2
400
300
200
100
0
00:00:05 00:00:10 00:00:15 00:00:20
16
Captulo 1
17 Los grficos anteriores parecen indicar que las dos primeras son
convergentes mientras que las restantes son divergentes.
18 Antes de definir lmite de una sucesin (hecho que el lector debe estar
sospechando hace un rato) se da un criterio general de convergencia llamado
de Bolzano-Cauchy (cuando no Cauchy!).
an L , 0
n N
17
Solucin de ecuaciones diferenciales mediante series de potencias
22 Por ejemplo, la sucesin {an}={(-1)n/n} tiene lmite cero (0) porque fijado
un > 0 basta con tomar N > 1/ para que la diferencia entre el trmino
genrico y el lmite sea menor que .
0.10
0.05
0.00
-0.05
-0.10
IX Teorema de compresin
18
Captulo 1
lim a n L
n
lim bn L
n
a n c n bn
lim cn L
n
Por ejemplo, la sucesin
cn 1
2
1
2
1
... 2
1
n 1 n 2 n 3 n n
2
an
existe, entonces el lim tambin existe y coincide con el anterior.
n b
n
19
Solucin de ecuaciones diferenciales mediante series de potencias
1 2 3 4 ... n
27 Por ejemplo la sucesin cn cuyo trmino genrico
n2
puede interpretarse como el cociente entre la suma de los primeros n nmeros
naturales y n2. La sucesin n2 es creciente y divergente, entonces:
an 1 an n 1 n 1 1
lim lim lim
n bn 1 bn n n 1 n
2 2 n 2n 1 2
0.55
0.54
0.53
0.52
0.51
XI Subsucesiones y convergencia
lim a * n L
n
lim a ** n L
n
entonces
lim an L
n
20
Captulo 1
a1 a2 a3 a4 a5 a6 a7 ... ak ...
S1 a1
S 2 a1 a2
S3 a1 a2 a3
S 4 a1 a2 a3 a4
....................................
k n
S n a1 a2 a3 a4 ... an ak
k 1
21
Solucin de ecuaciones diferenciales mediante series de potencias
Serie Armnica
1 1 1 1 1 1
... ... se denomina serie armnica
La serie 1
2 3 4 5 6 k
y es divergente. En efecto:
1 1 1 1 1 1 1 1 1
S 2 n 1 ... n 1 ... n
2 3 4 5 6 7 8 2 1 2
1 1 1 1 1 1 1 1 1
1 ... n ... n
2 4 4 8 8 8 8 2 2
1 1 1 1 1
1 ... 1 n
2 2 2 2 2
1
lim S 2 n lim 1 n
n n
2
22
Captulo 1
Serie geomtrica
Sn
a qn 1
q 1
Si q> 1 la serie es divergente, si q< 1 la serie es convergente y su suma
vale
a
S
1 q
si q = 1 o q = -1 la serie es divergente.
37 No era tonto aquel que la historia nombra como el inventor del juego de
ajedrez. El Sultn, agradecido le ofreci lo que quisiese. El inventor pidi un
grano de trigo en la primera casilla del tablero, dos en la segunda, cuatro en la
tercera y as sucesivamente. El Sultn, poco avispado con series divergentes,
accedi de inmediato. La sorpresa fue enorme cuando los contables del reino
dijeron Majestad, debemos entregarle 18.446.744.073.709.551.615 granos
de trigo. (Aprox. 1.019.180.000.000 tn) Tendremos hambre este ao, el que
viene y muchos otros ms. Como a menudo ocurre, el inventor fue preso, a
cultivar trigo, por haber osado intentar burlarse de la majestad del Sultn.
23
Solucin de ecuaciones diferenciales mediante series de potencias
n
S n ak
k 1
n 1
S n 1 a k
k 1
limSn S n 1 lim an 0
n n
dado que Sn-1 se puede considerar una subsucesin de {Sn} teniendo entonces el
mismo lmite por ser convergente, por hiptesis, la serie numrica dada.
lim an 0
Un corolario importante es que si n la serie es divergente.
24
Captulo 1
S n S n p , 0, n , p N
siendo
n
S n ak
k 1
n p
S n p ak
k 1
resulta
S n S n p a n 1 a n 2 a n 3 a n 4 ... a n p , 0, n , p N
a n 1 a n 2 a n 3 a n 4 ... a n p ... , 0 , n
n
S ak ak a k S n Tn
k 1 k 1 k n 1
25
Solucin de ecuaciones diferenciales mediante series de potencias
lim Tn 0
n
Mayorante convergente
a u k
Sea k
una serie cuyo carcter se desea establecer y sea k 1 una
serie convergente, con suma U, verificndose que ak uk, entonces ak
u k
converge y su suma S es menor o igual a la suma U. La serie k 1 es una serie
mayorante de la serie dada.
26
Captulo 1
Minorante divergente
a uk
Sea una serie cuyo carcter se desea establecer y sea k 1 una
k
u k
k 1 es una serie minorante de la serie dada.
a u k
Sea k
una serie cuyo carcter se desea establecer y sea k 1
an
, 0
una serie convergente, con suma U, y la razn u n
entonces a k
converge y su suma S es menor o igual a la suma U.
a u k
Sea una serie cuyo carcter se desea establecer y sea
k k 1
an
, 0
una serie divergente, y la razn u n entonces a k
diverge.
27
Solucin de ecuaciones diferenciales mediante series de potencias
Criterio de DAlembert
Criterio de Cauchy
Criterio de Kummer
1
u
Sea una serie de trminos positivos n y
a
54 n una serie divergente.
Se calcula
a
lim u n n u n 1 L
n
a n 1
Si L > 0 la serie a n
converge, si L < 0 la serie a n
diverge.
28
Captulo 1
Criterio de Raabe
Criterio de la integral
n0 f ( x ) dx
57 Sean 0, . La expresin
a1 a2 a3 a4 a5 a6 a7 a8 ... an an 1 ...
lim an 0
n
29
Solucin de ecuaciones diferenciales mediante series de potencias
S (1) k 1 ak
k 1
n
S n (1) k 1 ak
k 1
S S n an1
a
k
k converge absolutamente ak
k
converge
un ( x ) u1 ( x ), u 2 ( x ), u3 ( x ),..., uk ( x ),...
Por ejemplo, la sucesin
x x, x
n 2
, x 3 , x 4 , x 5 ,..., x k ,...
30
Captulo 1
1 n 1 1 1 1 1
, , , , ,...
2 2 4 8 16 32
1 1,1,1,1,1,1,1,1,1,1,1,...
n
Se escribe
lim un ( x) u( x)
n
x [0,1)
x u( x) 10
n
x 1
31
Solucin de ecuaciones diferenciales mediante series de potencias
1.0
0.8
0.6
0.4
0.2
xn
66 La sucesin n
converge en el intervalo [0,) a la funcin
1 x
0 x [0,1)
x n
1
n
u( x) x 1
1 x 2
1 x (1, )
1.0
0.8
0.6
0.4
0.2
32
Captulo 1
ln( )
un ( x) u( x) x n 0 , 0 xn n N ( , x)
ln(x)
Esto indica claramente que, cuanto ms cerca se est de 1, mayor ser el valor
del ndice a partir del cual el trmino genrico satisfaga la desigualdad
planteada.
ln( )
n N ( ), 0 1
ln(1 )
33
Solucin de ecuaciones diferenciales mediante series de potencias
sen(nx)
74 Por ejemplo, la sucesin converge uniformemente a la
n
funcin f ( x ) 0 en [0, ] como puede apreciarse en el grfico siguiente.
sen(nx)
0
n U
1.0
0.8
0.6
0.4
0.2
-0.4
34
Captulo 1
1.0
0.8
0.6
0.4
0.2
/2
un ( x ) um ( x ) , 0 n, m N 0 N ( )
lim sup
n
u n ( x ) u ( x ) 0
35
Solucin de ecuaciones diferenciales mediante series de potencias
u(x) +
u(x)
un(x)
tubo
u(x)
36
Captulo 1
un ( x)
U
u( x )
S1 ( x ) u1 ( x )
S 2 ( x ) u1 ( x ) u2 ( x )
S 3 ( x ) u1 ( x ) u2 ( x ) u3 ( x )
...............................................
k n
S n ( x ) u1 ( x ) u2 ( x ) u3 ( x ) ... un ( x ) uk ( x )
k 1
lim S n ( x) f ( x) u k ( x)
n
k 1
f ( x) S n ( x) u
k n 1
k ( x)
sup f ( x) S n ( x) sup
a x b
u
a x b k n 1
k ( x) 0 si n
37
Solucin de ecuaciones diferenciales mediante series de potencias
85 Una serie numrica m
k 1
k es una serie dominante de una serie de
funciones u
k 1
k ( x) si u k ( x) mk , k , x [a, b] .
Criterio M de Weierstrass
sen(kx)
87 Por ejemplo, la serie
k 1 k2
converge uniformemente en todo el eje
1
real porque est dominada por la serie numrica convergente 2 .
k 1 k
88 Las funciones ms "sencillas", sin duda, son las funciones potenciales del
tipo f n ( x) an ( x x0 ) n . Una expresin de la forma:
a (x x )
n 0
n 0
n
a x
n 0
n
n
a0 a1 x a2 x 2 a3 x 3 ... ak x k ...
38
Captulo 1
1
1 0.5 0.5 2 0.53 0.5 4 0.55 ... 2
0 .5
1 1
1 1 1 1 1 1 1 1 1 ... (1 1) (1 1) (1 1) (1 1) ... 0
1 ( 1) 2
1 1
1 1 1 1 1 1 1 1 1 ... 1 ( 1 1) ( 1 1) ( 1 1) ( 1 1) ... 1
1 ( 1) 2
39
Solucin de ecuaciones diferenciales mediante series de potencias
En x = 1 resulta
1 1
1 1 1 1 1 1 1 1 1 ...
11 0
de un lado, una expresin carente de sentido, del otro una serie divergente.
1 2 4 8 16 32 64 128 ...
xn
94 Otros ejemplos que sern oportunamente estudiados son la serie
n 0 n!
convergente en I= (-, ) y la serie n! x
n 0
n
convergente en un solo punto,
0.
96 Por lo siguiente: sea a (x x )
n 0
n 0
n
una serie de potencias convergente. Si
( x x0 ) n ( x x0 ) n
0 a n ( x x 0 ) n a n r n
M
rn rn
( x x0 )
n
donde M es la cota. La serie M es geomtrica con razn q < 1 que
n 0 rn
opera como dominante convergente. Por el criterio M de Weierstrass la serie
de potencias converge uniformemente.
40
Captulo 1
R sup x x0 / an ( x x0 ) n S
n 0
98 Entonces, resumiendo:
lim n an ( x x0 ) n 1 lim n an ( x x0 ) 1
n n
1
llamando R resulta que la serie es convergente en
lim n a n
n
( x x0 ) R
41
Solucin de ecuaciones diferenciales mediante series de potencias
xn x x2 x3 xk
101 Por ejemplo, la serie
n 0 n!
1
1! 2! 3!
...
k!
... converge en todo
1 n n 2n n 2 n 2n
R lim n n! lim n lim
lim n a n n n en n e
n
102 En cambio, la serie n! x
n 0
n
1 x 2! x 2 3! x 3 4! x 4 ... k! x k ... solo
1 1 en e
R lim n lim n n lim 2 n 0
lim n an n n! n n 2n n n 2n
n
1
R
a
lim n 1
n a
n
Derivacin
42
Captulo 1
n
an ( x x0 ) nan ( x x0 ) n1
n 0 n1
(k )
a n ( x x0 ) n n ( n 1)( n 2)...( n k 1)( x x 0 ) n k
n 0 n k
Integracin
b n
b
a n
a ( x x0 )
dx an a ( x x0 ) n dx
n0 n0
1
1 x 2 x 4 x 6 x 8 x 10 x 12 ...
1 x2
x 3 x 5 x 7 x 9 x 11 x 13
arctg ( x ) x ...
3 5 7 9 11 13
Serie de Taylor
105 Se ha llegado, por fin, al punto donde se puede hacer la pregunta clave
en este tema. Aqu va.
43
Solucin de ecuaciones diferenciales mediante series de potencias
f ( x ) na n ( x x0 ) n 1 a1 2a 2 ( x x0 ) 3a 3 ( x x0 ) 2 4a 4 ( x x0 ) 3 ...
n 1
f ( x ) n ( n 1)a n ( x x0 ) n 2 2a 2 3 * 2a 3 ( x x0 ) 4 * 3a 4 ( x x0 ) 2 ...
n 2
............................................................................................................................
f ( k ) ( x ) n ( n 1)...( n k 1)a n ( x x0 ) n k k ( k 1)...2 * 1a k ( k 1)k ...2 * 1a k 1 ( x x0 ) ...
n k
............................................................................................................................................................
f ( n ) ( x0 )
an
n!
f ( n ) ( x0 )
f ( x)
( x x0 ) n
n 0 n !
pero el entusiasmo cae en picada cuando se considera, por ejemplo, la siguiente
funcin
44
Captulo 1
x12
x0
f ( x ) e
0 x0
que tiene derivadas de todos los rdenes en el origen y valen cero (0)!
(verificarlo). Entonces, la frmula:
f ( n ) ( 0) n
f ( x) x
n 0 n!
f ( n ) ( x0 ) m
f ( n ) ( x0 ) f ( n ) ( x0 )
n 0 n!
( x x0 ) n
n 0 n!
( x x0 ) n
n m 1 n!
( x x0 ) n
f ( n ) ( x0 ) m
f ( n ) ( x0 ) q( x )
f ( x) ( x x0 ) n ( x x0 ) n ( x x0 ) m 1
n 0 n! n 0 n! ( m 1)!
f ( n ) ( x0 ) q( x )
n m 1 n!
( x x0 ) n
( m 1)!
( x x0 ) m 1
45
Solucin de ecuaciones diferenciales mediante series de potencias
m
f ( )
(n)
q( x )
F ( ) f ( x ) ( x )n ( x )n
n 0 n! ( m 1)!
f ( ) f ( ) f ( ) q( x )
f ( x ) f ( ) (x ) ( x )2 ( x ) 3 ... ( x ) m 1
1! 2! 3! ( m 1)!
m
f ( n ) ( x0 ) q( x )
F ( x0 ) f ( x ) ( x x0 ) n ( x x0 ) m1 0
n 0 n! (m 1)!
f ( x ) f ( x ) f ( x ) q( x )
F ( x) f ( x) f ( x) ( x x) ( x x)2 ( x x ) 3 ... ( x x ) m 1 0
1! 2! 3! ( m 1)!
110 Como la funcin es continua y vale 0 en los extremos del intervalo [x0,x]
en por lo menos un punto intermedio se debe cumplir el teorema de Rolle F'(c)
= 0. Derivando queda
f ( ) f ( ) f ( ) f ( )
F ( ) f ( ) (x ) ( x )2 2( x )
1! 1! 2! 2!
f iv ( ) f ( ) f m1 ( ) f m ( )m q( x )(m 1)
( x )3 3( x ) 2 ... ( x )m ( x ) m1 ( x )m
3! 3! m! m! (m 1)!
f m 1 ( ) q( x )( m 1)
( x )m ( x )m 0
m! ( m 1)!
q( x ) f m 1
( )
Finalmente
f ( n ) ( x0 )m
f m 1 ( )
f ( x) ( x x0 ) n ( x x0 ) m 1
n 0 n ! ( m 1)!
si la derivada de orden m+1 est acotada es inmediato que, para m
46
Captulo 1
f ( n ) ( x0 )
f ( x) ( x x0 ) n
n 0 n!
f m 1 ( )
( x x0 ) m 1
( m 1)!
f ( n ) ( x0 )
f ( x) ( x x0 ) n
n 0 n!
m
f ( n ) ( x0 ) f ( m1) ( )
f ( x) ( x x0 ) n ( x x0 ) m1
n 0 n! ( m 1)!
f ( n ) ( x0 ) n
f ( x0 h ) h
n 0 n!
m
f ( n ) ( x0 ) n f ( m 1) ( ) m 1 m f ( n ) ( x0 ) n
f ( x0 h ) h h h O ( h n 1 )
n 0 n! ( m 1)! n 0 n !
47
Solucin de ecuaciones diferenciales mediante series de potencias
mnimos y puntos de inflexin puede hacerse, con ventajas, con esta expresin.
Tambin es muy usada en clculo numrico para establecer aproximaciones
numricas a las derivadas.
f ( m 1) ( ) f ( m 1) ( x0 h ) m 1
( x x0 ) m 1 h 0 1
( m 1)! ( m 1)!
f ( n ) ( 0) n f (0) f (0) 2 f (0) 3 f ( k ) ( 0) k
f ( x) x f ( 0) x x x ... x O ( x k 1 )
n 0 n! 1! 2! 3! k!
f ( x) sen( x) f (0) 0
f ( x) cos( x) f (0) 1
f ( x) sen( x) f (0) 0
f ( x) cos( x) f (0) 1
f ( x) sen( x) f (0) 0
f ( x) cos( x) f (0) 1
.......................................................
d n sen( x)
dx n x3 x5 x7
sen( x) x 0
xn x ...
n 0 n! 3! 5! 7!
48
Captulo 1
-3 -2 -1 1 2 3
-1
-2
-3
-3 -2 -1 1 2 3
-1
-2
1.0
0.5
-3 -2 -1 1 2 3
- 0.5
- 1.0
49
Solucin de ecuaciones diferenciales mediante series de potencias
1.0
0.5
-3 -2 -1 1 2 3
- 0.5
- 1.0
1 x x n 1 x ... ( 1)...( n 1) x n ... x 1
n 0 n n!
( 1) n 1 n x2 x3 x4
log(1 x ) x x ... x 1
n 1 n 2 3 4
1 n x2 x3
ex x 1 x ... xR
n 0 n! 2! 3!
( 1) n x3 x5
sen ( x ) x 2 n 1 x ... xR
n 0 ( 2 n 1)! 3! 5!
( 1) n 2 n x2 x4
cos( x ) x 1 ... xR
(2n )! 2! 4!
1 * 3 * 5 * ... * ( 2n 1) x 2 n 1 1 3 5
arcsen( x) x x3 x ... x 1
n 1 2 * 4 * 6 * ... * 2n 2n 1 6 40
( 1) n 2 n 1 x3 x5
arctg ( x ) x x ... x 1
n 0 2n 1 3 5
50
Captulo 1
x2 x3 x4 xn
ex 1 x ... xR
2! 3! 4! n 0 n!
x2 x3 x4 4
xn
xn 4
xn e 5 4
x n e x 5
ex 1 x T5 x x
2! 3! 4! n 0 n! n 5 n! n 0 n! 5! n 0 n! 5!
e 5 3
1 0.025
5! 120
1 1 1 67
e 11 2,7916666 ...
2 6 24 24
con un decimal exacto.
51
Solucin de ecuaciones diferenciales mediante series de potencias
f ( x) an x n f ( kx ) a n k n x n f ( x m ) a n x mn
n 0 n 0 n 0
f ( x ) g ( x ) ( a n bn ) x n
n 0
k
f ( x ) g ( x ) a n x n bn x n c k x k ck a n bm a n bk n
n 0 n 0 k 0 n m k n 0
2
x3 x5 x7 x9 2 2 1 6
sen ( x ) x
2
... x 2 x 4 2
x ...
3! 5! 7! 9! 3! 5! 3!
f z 0
f z f z 0 f z 0 z z 0 z z 0 2 f z 0 z z 0 3 ...
2! 3!
52
Captulo 1
z0
(k )
f ( z0 ) 1 f ( z)
k!
2i ( z z 0 ) k 1
dz
r1 z z 0 r2
r1
z0
r2
z
53
Solucin de ecuaciones diferenciales mediante series de potencias
bk
f ( z) ak ( z z0 ) k
k 1 ( z z 0 )
k
k 0
1
2
1
2
f ( k ) z 0 1 e sen ( z )
2i z z 0 k 1
dz
k!
54
Captulo 1
u sen( z )
u u2 u3 u4 uk
e sen ( z ) e u 1 ... ...
1! 2! 3! 4! k!
z3 z5 z7
uz ...
3! 5! 7!
2 3
z3 z5 z7 z3 z5 z7 z3 z5 z7
z
... z ...
z ...
3! 5! 7! 3! 5! 7!
e sen ( z ) 1 3! 5! 7! ...
1! 2! 3!
Se agregan a continuacin grficas correspondientes a la aproximacin
dada por la serie anterior; la de la funcin desarrollada y una superposicin de
las mismas.
La representacin de la funcin
55
Solucin de ecuaciones diferenciales mediante series de potencias
La superposicin de ambas.
56
Captulo 2
CAPITULO SEGUNDO
I INTRODUCCIN.
d 2w dw
p( z ) q( z ) w 0
dz dz
w( z 0 ) w0
w' ( z 0 ) w' 0
y z0 un punto donde las funciones p(z) y q(z) son analticas, es decir un punto
donde existen y son convergentes las series de potencias:
p 0 (k )
p( z ) p0 z z 0 p0 z z 0 2 p0 z z 0 3 p0 z z 0 4 ... p 0 z z 0 k ...
1! 2! 3! 4! k!
q 0 (k )
q( z ) q0 z z 0 q0 z z 0 2 q0 z z 0 3 q 0 z z 0 4 ... q 0 z z 0 k ..
1! 2! 3! 4! k!
w ( z ) a 0 a 1 z z 0 a 2 z z 0 a 3 z z 0 ... a k z z 0 ...
2 3 k
57
Solucin de ecuaciones diferenciales mediante series de potencias
w ( z ) a 1 2 a 2 z z 0 3 a 3 z z 0 ... ka k z z 0
2 k 1
...
w ( z ) 2 a 2 3 . 2 a 3 z z 0 ... k k 1 a k z z 0
k2
...
128 Reemplazando en la EDO dada se tiene
2a 2 3.2a3 z z 0 ... k k 1a k z z 0
k 2
...
p 0 p 0 p 0 p0 p (k ) 0
p 0 z z 0 z z 0 2
z z 0 3
z z 0 4
... z z 0 k ...
1! 2! 3! 4! k!
a1 2a 2 z z 0 3a3 z z 0 ... ka k z z 0
2 k 1
..
q 0 q 0 q 0 q0 q (k ) 0
q
0 z z 0 z z 0 2
z z 0 3
z z 0 4
... z z 0 k ..
1! 2! 3! 4! k!
a 0 a1 z z 0 a 2 z z 0 a3 z z 0 ... a k z z 0 .. 0
2 3 k
Desarrollando los productos y agrupando se tiene, por ser nulo el segundo
trmino
2a 2 a1 p0 a0 q0 0
3.2a3 a1 p0 2a 2 p 0 a1q0 a0 q0 0
1 1
12a 4 3a3 p0 a 2 q0 2a 2 p0 a1 q0 a1 p0 a0 q0 0
2 2
1 1 1
20a5 4a 4 p0 a3 q0 3a3 p0 a 2 q0 a 2 p0 a1q0 a1 p0 a0 q0 0
2 6 6
3 1 1 1 1 1
5a5 p0 a 4 q0 4a 4 p0 a3 q0 a3 p0 a 2 q0 a 2 p0 a1q0 a1 p0 a0 q0 0
2 2 3 6 24 24
1 1 1 1 1 1
a5 q0 5a5 p0 a 4 q0 2a4 p0 a3 q0 a3 p0 a 2 q0 a 2 p0 a1q0 a1 p0
2 2 6 12 24 120
1
a0 q0 0
120
58
Captulo 2
a 0 q0 a1 p0
a2
2
a0 q0 a1 p0
a1 p0 2 p 0 a1q0 a0 q0
a1 p0 2a2 p 0 a1q0 a0 q0 2
a3
2 *3 6
1 1
3a 3 p 0 a 2 q 0 2a 2 p 0 a1 q 0 a1 p 0 a 0 q 0
a4 2 2
12
59
Solucin de ecuaciones diferenciales mediante series de potencias
a 0 q 0 a1 p 0
a1 p 0 2 2
p 0 a1 q 0 a 0 q 0
3 p
0
6
a4
12
a 0 q 0 a1 p 0 a 0 q 0 a1 p 0 1 1
q0 2 p 0 a1 q 0 a1 p 0 a 0 q 0
2 2 2 2
12
132 Por ejemplo, antes de generalizar el tema, se resuelve por este mtodo,
la EDO de variable real
y x yx 0
y x a 0 a1 x a 2 x 2 a 3 x 4 a 4 x 5 ...
60
Captulo 2
De donde
a0
a 0 2a 2 0 a 2
2
a1
a1 3.2a 3 0 a3
3. 2
a2 a
a 2 4.3a 4 0 a 4 0
4. 3 4. 3. 2
a3 a1
a 3 5. 4 a 5 0 a 5
5.4 5.4.3.2
a 0 2 a1 3 a a1
y x a 0 a1 x x x 0 x4 x 5 ...
2 3.2 4.3.2 5.4.3.2
x2 x4 x3 x5
yx a0 1 ... a1 x ...
2 24 6 120
61
Solucin de ecuaciones diferenciales mediante series de potencias
yx a0 cosx a1 sen x
y x a0 sen x a1 cos x
y x a0 cos x a1 sen x
y, en consecuencia
II TEOREMA FUNDAMENTAL
w ( n ) p1 z w ( n 1) p 2 z w ( n 2 ) p 3 z w ( n 3) ... p n z w f z
62
Captulo 2
p 2 z p 20 p 21 z z 0 p 22 z z 0 p 23 z z 0 ...
2 3
z z0 R
f z f 0 f1 z z 0 f 2 z z 0 f 3 z z 0 ...
2 3
z z0 R
Entonces la solucin w z es analtica en z 0 y se expresa wz a k z z 0 k
k 0
y xy y 0 x0 0
p1 x x
p 2 x 1
f x 0
y x a k x k
k 0
63
Solucin de ecuaciones diferenciales mediante series de potencias
y x ka k x k 1
k 1
y x k k 1x k 2
k 2
k k 1x
k 2
k 2
x ka k x k 1 a k x k 0
k 1 k 0
k k 1x
k 2
k 2
ka k x k a k x k 0
k 1 k 0
k k 1a k x k 2 i 2i 1ai 2 x i
k 2 i 0
En la segunda se hace k i 1
ka k x k i 1a i 1 x i 1
k 1 i 0
i 2i 1a
i2 a i x i i 1a i 1 x i 1 0
i o
64
Captulo 2
Coeficiente de x0
a0
2.1a 2 a 0 0 a 2
2
Coeficiente de x
a1
3.2a3 a1 a1 0 a3
3
Coeficiente de x2
a2 a
4.3a 4 a 2 2a 2 0 a 4 0
4 2.4
Coeficiente de x3
a3 a
5.4a5 a3 3a3 0 a5 1
5 3.5
Coeficiente de x4
a4 a
6.5a 6 a 4 4a 4 0 a 6 0
6 2.4.6
Coeficiente de x5
a5 a
7.6a 7 a5 5a5 0 a 7 1
7 3.5.7
65
Solucin de ecuaciones diferenciales mediante series de potencias
x2 x4 x6 x3 x5 x7
y x a 0 1 ... a1 x ...
2 2.4 2.4.6 3 3.5 3.5.7
y x a 0 y 0 x a1 y 1 x
x2 x4 x6
y 0 x 1 ...
2 2.4 2.4.6
x3 x5 x7
y1 x x ...
3 3.5 3.5.7
1 an
R lim
a n a
n 1
lim n 1
n a
n
1
an n
2k
k 1
De lo que resulta
1
n n 1 n
1 an 2k 2k 2k
R lim lim k 1
lim k 1
lim k 1
2n 1 lim 2n 1
a n 1 n a n 1 n 1 n n n n n
lim n 1 2k 2k
2k
n a k 1 k 1
n
k 1
66
Captulo 2
1
2 8 48 384 3840 46080 645120 10321920
67
Solucin de ecuaciones diferenciales mediante series de potencias
68
Captulo 2
III MATHEMATICA
c = LogicalExpand[ e ]
69
Solucin de ecuaciones diferenciales mediante series de potencias
sol = sol [[ 1 ]]
70
Captulo 2
71
Solucin de ecuaciones diferenciales mediante series de potencias
y t na n t n 1
k 1
y t nn 1a n t n 2
k 2
72
Captulo 2
t n
nn 1a t
n
n2
a n t n 0
n 2 n0 n! n0
t k
k 2k 1ak 2t k a k t k 0
k! k 0
k 0 k 0
Coeficiente de t 0 a0
Coeficiente de t a0 a1
a0
Coeficiente de t 2 a1 a 2
2!
a 0 a1
Coeficiente de t 3 a 2 a3
3! 2!
.. ..
k
ak
Coeficiente de t k k
i0 i !
k
ak k
k 2k 1a k 2
k i !
t 0
k 0 i 0
73
Solucin de ecuaciones diferenciales mediante series de potencias
k
ak
k i !
i 0
ak 2
k 2k 1
1
ak
k i !
i 0 a 0 a1
a3
1 21 1 3.2
2
ak a 0 a1 a 2
k i !
a
a 4 i 0 2! 1! 0! 1
2 22 1 4.3 4.3
1
a5 3a0 2a1
120
a0 2 1 a 1
y t a 0 a1t t a 0 a1 t 3 1 t 4 3a0 2a1 t 5 ...
2 6 12 120
Agrupando se escribe
t2 t3 t5 t3 t4 t5
yt a0 1 ... a1 t ...
2 6 40 6 12 60
74
Captulo 2
75
Solucin de ecuaciones diferenciales mediante series de potencias
76
Captulo 3
CAPITULO TERCERO
z 0 es un punto ordinario si P z 0 0
z 0 es un punto singular si P z 0 0
Q z
z 0 es un punto singular regular si P z 0 0 y z z 0 y
P z
z z 0 2 R z son analticas en z 0
P z
Q z Rz
lim z z 0 lim z z 0
2
p0 y q0
x x0 Pz x x0 Pz
77
Solucin de ecuaciones diferenciales mediante series de potencias
wz ( z z 0 ) r a k ( z z 0 ) k a0 0
k 0
P z w Q z w R z w 0
Q z R z
w w w0
P z P z
zQz z 2 Rz
z 2 w z w w 0
P z Pz
y se hace
zQ z z 2 R z
pz q z
P z P z
78
Captulo 3
p z p n z n q z q n z n
n 0 n 0
z 2 w z p n z n w q n z n w 0
n 0 n 0
157 Siendo la solucin propuesta de la forma w z r a n z n a n z n r
n 0 n 0
con a 0 0 .
Se calculan
w a n n r z n r 1 w a n n r n r 1z n r 2
n 0 n 0
z 2 a n n r n r 1z n r 2 z p n z n a n n r z n r 1 q n z n a n z n r 0
n0 n0 n 0 n 0 n 0
a n r n r 1z
n 0
n
nr
p n z n a n n r z n r q n z n a n z n r 0
n0 n 0 n 0 n 0
158 Como primer paso se escriben algunos primeros trminos de cada una de
las series involucradas en la segunda de las expresiones anteriores. Se tiene
entonces
79
Solucin de ecuaciones diferenciales mediante series de potencias
a0 r r 1 a0 p0 r a 0 q0 z r
a1 r 1r a1 p 0 r 1 a1 q 0 a 0 q1 a0 p1 r z r 1
a 2 r 2r 1 a 2 p 0 r 2 a1 p1 r 1 a1 q1 a0 p 2 r q 2 a0 q0 a 2 a1 p1 ra1 p1 z r 2 ...
... a n n r n r 1 a 0 p n r a n p 0 r n a 0 q n a n q 0 ...z r n ...
a 0 r r 1 p 0 r q 0 z r
a1 r r 1 p 0 r 1 q 0 a 0 p1r q1 z r 1
a 2 r 2r 1 p 0 r 2 q 0 a1 p1 r 1 q1 a 0 p 2 r q 2 z r 2 ...
a n r n r n 1 p0 n r q0 a n 1 p 0 r n q0 ... a1 p n 1 r 1 q n 1 a 0 p n r q n z r n
... 0
F r r r 1 p 0 r q0
0
a 0 F r z r a1 F r 1 a k p1 k r k q1 k z r 1
k 0
1
a 2 F r 2 a k p 2 k r k q 2 k z r 2 ...
k 0
n 1
... a n F r n a k p n k r k q n k z r n ... 0
k 0
Esta ltima expresin puede ser escrita nuevamente con doble sumatoria, de la
siguiente forma:
n 1
a 0 F r z r a n F r n a k p n k r k q n k z r n 0
n 1 k 0
LA ECUACION INDICIAL
F r r r 1 p0 r q0 0
80
Captulo 3
n 1
a n F r n a k p n k r k q n k 0
k 0
n 1
a r p r k q
k nk nk
an r k 0
F r n
wz C1 a n r1 z r1 n C 2 a n r2 z r2 n
n 0 n 0
81
Solucin de ecuaciones diferenciales mediante series de potencias
Donde a r z
n 0
n 1
r1 n
y a r z
n 0
n 2
r2 n
son funciones linealmente
2 z 2 w 3zw z 2 1 w 0
En ella
Pz 2 z 2
Qz 3z
Rz z 2 1
Verificndose que
P 0 0
zQ z z .3 z 3
lim lim 2 p 0
z 0 P z x0 2 z 2
lim
z2 z2 1
q0
1
2
z 0 2z 2
3 1 1 1
F r r r 1 p 0 r q 0 r r 1 r r2 r 0
2 2 2 2
1 3 r1
1 1 4 1 1 8 1
2
r1, 2 2 4 2 2 4 4 2 2
2 2 2 r 1
2
82
Captulo 3
1
wz C1 z a n r1 z n C 2 an r2 z n
n 0 z n 0
n 1
a r p r k q
k nk nk
an r k 0
F r n
3
p z p 0 p1 z p 2 z 2 p3 z 3 ... 0 z 0 z 2 0 z 3 ...
2
y que
1 z2
qz
2 2
Resulta
1 z2
qz q0 q1 z q 2 z 2 q3 z 3 ... 0 z 0 x 0 z 3 0 z 4 ...
2 2
1 1
a 0 r1 p1 0 q1 a 0 r1 0 0 0
a1 r1 2 2 0
1 1 31 1 1 1 31 1
1 1 1 1 1 1 1 1
2 2 22 2 2 2 22 2
83
Solucin de ecuaciones diferenciales mediante series de potencias
a r p r k q
k nk nk
a 0 r1 p 2 r1 0 q 2 a1 r1 p1 r1 1 q1
a 2 r k 0
F r n r1 2r1 2 1 p0 (r1 2)1 q0
1 1 1
a 0 r1 0 0 a1 r1 0 1 0 1
a 0 r1
2 2 2 a r
2 0 1
1 1 3 1 1 7 14
2 1 2
2 2 2 2 2
a 0 r1 p3 r1 0 q3 a1 r1 p 2 r1 1 q 2 a 2 r1 p1 r1 2 q1
a 3 r1
3 1
r1 3r1 3 1 r1 3
2 2
1 1 1 1
a 0 r 1 0 0 0 a1 r1 0 1 a 2 r1 0 2 0
2 2 2 2
0
1 1 31 1
3 2 3
2 2 22 2
1 1 1 1 1
a 0 r1 p 4 0 q 4 a1 r1 p3 1 q3 a 2 r1 p 2 2 a3 r1 p1 3 q1
2 2 2 2 2
a 4 r1
1 1 31 1
4 4 1 4
2 2 22 2
a 2 r1
2 a 0 r1
88 616
4
z2 z4
w1 z a0 r1 z 1 ...
14 616
84
Captulo 3
a0 r2 p1 0 1 q1
a1 r2 0
3 1
1 1 1 1
2 2
1
a 0 r2 p 2 0 1 a1 r2 p1 1 1 q1
a r p 0 1 q 2 a1 r2 p1 1 1 q1 2
a 2 r2 0 2 2
3 1 1
2 12 1 1 2 1
2 2
a 0 r2
2
a 0 r2 p3 r2 0 q3 a1 r2 p 2 r2 1 q 2 a 2 r2 p1 r2 2 q1
a3 r2
3 1
r2 3r2 3 1 r2 3
2 2
a 0 r2
a 0 r2 0r2 0 0 0 p 2 r2 1 q 2 0r2 2 0
2 0
3 1
1 3 1 3 1 1 3
2 2
1
a 0 r2 p 4 0 1 q 4 a1 r2 p 3 1 1 q 3 a 2 r2 p 2 2 1 a 3 r1 p1 3 1 q1
2
a 4 r2
1 4 1 4 1 3 1 4 1
2 2
a 0 r2 1
a 0 r2 00 1 0 0 p 3 1 1 q 3 02 1 0 p1 3 1 q1
2 2
3 1
3 .2 .3
2 2
a 0 r2
40
1 z2 z4
w2 z a 0 r2 1 ...
z 2 40
85
Solucin de ecuaciones diferenciales mediante series de potencias
169 Se han desarrollado los clculos anteriores con todo detalle para evitar
el cmodo y a la vez odioso operando se llega a y demostrar lo pesado que
resulta aplicar la expresin de recurrencia oportunamente encontrada.
170 Asimismo se hace notar que en las expresiones resultantes aparecen dos
a 0 r uno para cada una de las races de la ecuacin indicial. Estas quedan
incorporadas a las constantes arbitrarias de la solucin general.
z2 z4 1 z2 z4
wz C1w1 z C2 w2 z C1 z 1 ... C2 1 ...
14 616 z 2 40
Procedimiento alternativo
171 Existe una forma menos pesada de resolver este tipo de problemas (si
es que ello es posible) consistente en aplicar al caso particular en estudio el
procedimiento que fuera seguido al establecer la teora correspondiente.
Resulta as ms fcil establecer relaciones de recurrencia.
a z
2 z 2 n r n r 1z n r 2 3z n r a n z n r 1 1 z 2 n
nr
0
n 0 n 0 n 0
2 n r n r 1z n r 3 n r a n z n r a n z n r a n z n r 2 0
n 0 n 0 n 0 n 0
86
Captulo 3
2 n r n r 1z n r 3 n r a n z n r a n z n r a n 2 z n r 0
n 0 n 0 n 0 n2
a 0 2r r 1 3r 1z r a1 2r 1r 3r 1 1z r 1 2n r n r 1 3n r 1a n a n 2 z n r 0
n2
La expresin encerrada entre llaves del ltimo trmino debe ser nula, de
donde se obtiene, luego de operar algebraicamente, la siguiente relacin de
recurrencia.
an2
an
2n r n r 1
2
1
Haciendo r se tiene
2
an2
an
2n 2 3n
y, haciendo r 1 se tiene
a n2
an
2n 2 3n
z2 z4 z6
w1 z z 1 ...
14 616 55440
1 z 2
z 4
z 6
w 2 z 1 ...
z 2 40 2160
87
Solucin de ecuaciones diferenciales mediante series de potencias
RAICES IGUALES
w1 z a r zn
r n
n 0
88
Captulo 3
F r r r 1 p0 r q 0 r r1
2
y r1 es una raz doble. Y cuando esto ocurre, la raz hallada es tambin raz de
la funcin derivada.
n 1
a 0 r F r z r a n r F r n a k r p n k r k q n k z r n 0
n 1 k 0
n 1
a 0 F r z r a 0 F r ln z z r a n r F r n a n r F r n a k r p n k r k q n k a k r p n k z n r
n 1 k 0
n 1
a n r F r n a k r p n k r k q n k ln z z n r 0
n 1 k 0
n 1
a 0 F r z r ln x a 0 F r z r a n r F r n a k r p n k r k q n k z r n
n 1 k 0
n 1
rn
a n r F r n a n r F r n a k r p n k r k q n k a k r p n k z 0
n 1 k 0
89
Solucin de ecuaciones diferenciales mediante series de potencias
Queda entonces
n 1
a
n r F r n a n r F r n a k r p n k r k q n k a k r p n k z r n 0
n 1 k 0
Siendo F r 2r 1 p0 y F r1 0 resulta F r1 n 2n y entonces
n1
an r1 Fr1 n 2nan r1 ak r pnk r1 k qnk ak r1 pnk 0
k 0
Y, de esta ltima
n 1
2na n r1 a k r1 p n k r1 k q n k a k r1 p n k
a n r1 k 0
F r1 n
179 Resulta as, como segunda solucin cuando las races de la ecuacin
indicial son iguales
dan (r )
w2 z w1 z ln z a n r1 z n r1 an r1
n 1 dr r r1
xy y y 0
Q( x) 1
P( x) x p( x) xp( x) 1
P ( x) x
R( x) 1
Q( x) 1 q( x) x 2 q ( x) x
P( x) x
R( x) 1
90
Captulo 3
y x r an x n
n0
Derivando se tiene
y (n r )a n x n r 1
n 0
y (n r )(n r 1)a n x n r 2
n 0
Esta ecuacin de segundo orden tiene dos races iguales. Ambas valen 0.
y an x n
n 0
y na n x n 1
n 0
y n( n 1) a n x n 2
xy y y n(n 1)a n x n 1 na n x n 1 a n x n 0
n 0 n 0 n 0
Cambiando el ndice de las dos primeras sumatorias para trabajar con iguales
potencias de x, se tiene
91
Solucin de ecuaciones diferenciales mediante series de potencias
k 1 (k 1) 2 a k x k 0
k 0
De donde
ak
a k 1
( k 1) 2
a0
a1
1
a1 a
a2 2 02
2 1 .2
a a0
a 3 22
3 1 .2 2 . 3 2
a a0
a 4 32 2 2 2
4 1 . 2 .3 . 4
.......... .......... .......... ....
a
an 0 2
(n!)
Resulta finalmente
1 1 1 3 1 4
y1 ( x) 2
xn 1 x x2 x x ...
n 0 ( n!) 4 36 576
92
Captulo 3
a n r
da n (r )
y 2 x y1 x ln x a n r1 x n r1
n 1 dr r r1
dan (r )
Para evitar el clculo de an r puede procederse mediante la
dr r r1
sustitucin
y y1 x lnx bk x k
k 1
De modo que
dy1 x y1 x
y ln x kb k x k 1
dx x k 1
dy1 x
x y1 ( x)
1 dy1 x d 2 y1 x
y ln( x) dx k k 1bk x k 2
x dx dx 2 x2 k 1
dy x
1 dy1 x x 1 y1 ( x)
d 2 y1 x dy1 x y1 x
x ln( x) 2
dx
2
k k 1bk x k 2
ln x kb k x k 1
x dx dx x k 1 dx x k 1
y1 x ln x bk x k 0
k 1
93
Solucin de ecuaciones diferenciales mediante series de potencias
Factoreando
d 2 y1 x d y1 x dy ( x ) dy1 ( x ) y1 ( x ) y1 ( x )
ln( x ) x 2
y1 ( x ) 1
dx dx dx dx x x
x k k 1bk x k 2 kb k x k 1 b k x k 0
k 1 k 1 k 1
dy1 ( x)
x k k 1bk x k 2 kb k x k 1 b k x k 2
k 1 k 1 k 1 dx
1 1 1 3 1 4
Siendo y1 ( x) 2
xn 1 x x2 x x .. resulta
n 0 ( n!) 4 36 576
dy1 ( x) 1 1 1 3
1 x x2 x ...
dx 2 12 144
Entonces, haciendo k 1 n
1 2 1 3
(n 1)nbn1 x n (n 1)b n1 x n b n1 x n1 2 x
k 1 k 1 k 1 6
x
72
x .
1 2 1 3
(n 1)nb
k 1
n 1 x n (n 1)bn 1 x n b n 1 x n 1 2 x
k 1 k 1 6
x
72
x ...
1 2 1 3
(n 1)
n 0
2
bn 1 x n b n 1 x n 1 2 x
n 0 6
x
72
x ...
1 2 1 3
b1 b1 x 4b2 x b2 x 2 9b3 x 3 b3 x 4 ... 2 x x x ..
6 72
94
Captulo 3
Y, de esta ltima
b1 2
3
4b2 b1 1 b2
4
1 1 1 3 11
9b3 b2 b3
6 9 6 4 108
1 1 1 11 25
16b4 b3 b4
72 16 72 108 3456
............................................................................................
1 1 3 1 4 3 11 3 25 4
y 2 x 1 x x 2 x x ... ln( x) 2 x x 2 x x ...
4 36 576 4 108 3456
x x2 x3 x4
y x, r 1
r 12 r 12 r 22 r 12 r 22 r 32 r 12 r 22 r 32 r 42
x5
...
r 12 r 22 r 32 r 42 z 52
95
Solucin de ecuaciones diferenciales mediante series de potencias
y z , r 2x 2x 2 2x 2 2x 3
r r 12 r 12 r 23 r 13 r 22 r 12 r 22 r 33
2x 3 2x 3 2x 4
r 12 r 23 r 32 r 13 r 22 r 32 r 13 r 22 r 32 r 42
2x 4 2x 4 2x 4
r 12 r 23 r 32 r 42 r 12 r 22 r 33 r 42 r 12 r 22 r 32 r 43
2x5 2x5
r 13 r 22 r 32 r 42 r 52 r 12 r 23 r 32 r 42 r 52
2x5 2x5
r 12 r 22 r 33 r 42 r 52 r 12 r 22 r 32 r 43 r 52
2x5
r 12 r 22 r 32 r 42 r 53
yx, r 3 11 25 4 137 5
2x x2 x3 x x ...
r r0 4 108 3456 432000
1 1 3 1 4 3 11 3 25 4 137
y 2 x 1 x x 2 x x ... ln( x) 2 x x 2 x x x 5 ...
4 36 576 4 108 3456 432000
Queda por discutir cual de los dos caminos es ms fcil o menos trabajoso.
Conste que la derivada antes consignada fue calculada mediante
MATHEMATICA as como lo fue su valor numrico para r = 0
96
Captulo 3
185 El caso en que las dos races de la ecuacin indicial difieren en un entero
es, tal vez, el ms complejo de este tema, de por si complejo. La complejidad se
aprecia al considerar la expresin general
n 1
a r p r k q
k nk nk
a n r k 0
F r n
w1 z x r1 a n r1 z n
n 0
n 1
1 La expresin a r p r k q
k 0
k nk nk es divisible por r r2 y, dado que
n 1
2 La expresin a r p r k q no es divisible por
k 0
k nk nk r r2 .
97
Solucin de ecuaciones diferenciales mediante series de potencias
WRONSKIANO
w1 z w2 z
W w1 z , w2 z W z w1 z w2 z w2 z w1 z 0
w1 z w2 z
Derivando se tiene
W z w1 z w2 z w1 z w2 z w2 z w1 z w1 z w2 z w1 z w2 z w1 z w2 z
w z p z w z q z w z 0
W z w1 z p z w2 z q z w2 z w2 z p z w1 z q z w1 z
p z w1 z w2 z w1 z w2 z p z W z
z
p z dz
W z Ce 0
98
Captulo 3
Siendo
W z w1 z w2 z w2 z w1 z
W z w2 z w2 z w1 z w2 z d 1 d w2 z
w2 z
w1 z w1 z
2
w1 z
2
w1 z dz w1 z dz w1 z
zx
p z dz
W z e 0
w2 z w1 z dz w1 z
z z
dz
0 w12 z 0 w12 z
FROBENIUS
Lwz, r a0 r r1 r r2 z r
99
Solucin de ecuaciones diferenciales mediante series de potencias
195 Sin embargo, el hecho que el operador L slo contenga derivadas con
respecto a la variable independiente z, hace que la expresin no sea afectada
al ser multiplicado por expresiones en otra variable distinta de z, en particular
la variable supuesta continua r.
Lr r2 wz, r L r r2 wz, r
r r
a0 r r2 z r 2a0 r r1 r r2 z r a0 r r1 r r2 z r lnz
2
w1 z a n z n r1
n 0
w2 z r r2 w1 z w1 z ln( z ) z r2 bn z n
r 0
1
200 La primera de ellas es la ecuacin z 2 w zw z 2 w 0 . El punto z 0
4
es un punto singular regular puesto que en l P0 0 y, luego de dividir la
ecuacin dada por z 2 se tiene
w 1
w 1 2 w 0
z 4z
100
Captulo 3
1 1
y las funciones p z y qz 1 2 son analticas en el origen al ser
z 4z
2
multiplicadas por z y z respectivamente.
w1 ( z ) z r a n z n a n z n r
0 0
1
an n r n r 1z nr 2 an n r z nr 2 an z nr
n 0 n 0 n 0
an z n r 2 0
4 n 0
operando se llega a:
1
n r 2
a n z n r 2 a n z n r 0
4
2 1 1 1 1 1
1 r a1 z r 1 2 r a 2 z r 3 r a 3 z r 1 n r a n z n r 2
r2 2 2 2 2
r a 0 z
4 4 4 4 n4 4
a 0 z r a 1 z r 1 a 2 z r 2 a 3 z r 3 a n z n r 0
n4
1
dado que a0 es distinto de cero, debe ser r 2 0 . Esta es la ecuacin indicial
4
1 1
de la EDO planteada. Sus soluciones son r1 r2
2 2
101
Solucin de ecuaciones diferenciales mediante series de potencias
1
1 r 4 a1 0
2
a1 0
1
3 r 4 a 3 a1 0
2
a3 0
1
5 r 2
a5 a3 0 a5 0
4
.................................................................
1
k r 2
a k a k 2 0 ak 0 k 7,9,11,13,...
4
a k 2
ak
1
k r 4
2
1
De aplicacin para ndices pares con lo que resulta para la raz r1
2
a k 2 a k 2
ak
1
2
1 k k 1
k
2 4
De donde
a0
a2
2.3
a a0
a4 2
4.5 5.4.3.2
a a0
a6 4
6.7 7.6.5.4.3.2
......................................
a0
a 2 j 1
j
2 j 1!
102
Captulo 3
z2j z2 z4 z6 z8
w1 z z 1 z 1 ...
j
0 2 j 1! 3! 5! 7! 9!
205 Para el clculo de la segunda solucin se parte del supuesto que la misma
es de la forma
w2 z r r2 w1 z w1 z ln( z ) z r2 bn z n
r 0
w2 w1 ln( z ) z r2 bk z k
0
1 d r2
w2 w1 ln( z ) w1 z bk z k
z dz 0
1 1 1 d2
w1 w1 2 2 z r2 bk z k
w2 w1 ln( z ) w1
z z z dz 0
w w d
2
w1 ln( z ) 2 1 21 2 z r2 bk z k
z z dz 0
w1 w d 2 r2 1 1 d r2
w1 ln( z ) 2 21 2
z b k z k w1 ln( z ) w1 z bk z k
z z dz 0 z z dz 0
1
1 2
w1 ln( z ) z r2 b k z k 0
4 z 0
103
Solucin de ecuaciones diferenciales mediante series de potencias
w1 1 w
ln( z ) w1 1 w 2 1
2 1
z 4z z
d 2
1 d 2 r2 k 1 d 2 r2
2 z r2 b k z k 2
z 0 k 4 z 2 dz 2 z 0 b k z k
b z 1 0
dz 0 z dz
d2 1 d 1
L 2
1 2
dz z dz 4 z
A la expresin z r2 bk z k de esa forma resulta finalmente
0
r2 k
12 w
L z bk z L z bk z k 2 1
0 0 z
5 3 3 1 3
3 2 1 1
z bk z k z 2 kbk z k 1 z 2 kbk z k 1 z 2 z 2 k k 1bk z k 2
4 0 2 0 2 0 0
1 1
3 1
1
z 2 bk z k z 2 kbk z k 1 1 2 bk z k 0
z 2 0 0 4z 0
5
3 1 1
z bk z k bk z k bk z k
2
4 0 2 0 4 0
3
1 1
z 2 kbk z k 1 kbk z k 1 kbk z k 1
2 0 2 0 0
1
z 2 k k 1z k 2 bk z k 0
0 0
104
Captulo 3
Los dos primeros parntesis se anulan, razn por la cual todo se reduce a
1
z 2 k k 1z k 2 bk z k 0
0 0
1 1 3 5 1 1 3 5
2.1b2 z 2
2.3b3 z 2 3.4b4 z 2 4.5b5 z 2 ... b0 z 2
b1 z 2 b2 z 2 b3 z 2 ...
1 1 3 5
2b2 b0 z 2
6b3 b1 z 2 12b4 b2 z 2 20b5 b3 z 2 ...
1 w
L z 2 bk z k 2 1
0 z
Resulta
1 5
3 1 3
2
z
w1 2 z
z 2
2
b z k
k
z 2
kb z k
k 1
z 2 bk z k 2 z 2 kbk z k 1
0 0 0 0
3 1 5
5 2 9 2 13 2
9
z 2
z z z ...
3! 5! 7!
210 Igualando
1 1 3
32 5 12 9 52 13 92 5
2b2 b0 z 2
6b3 b1 z 12b4 b2 z 20b5 b3 z ... z z z z ...
2 2 2
3! 5! 7!
105
Solucin de ecuaciones diferenciales mediante series de potencias
0
2b2 b0 0
5
6b3 b1 0
6
12b4 b2 0
9
20b5 b3 0
120
..........................
b0
2b2 b0 0 b2
2
b
6b3 b1 0 b3 1
6
b b
12b4 b2 0 b4 2 0
12 24
b b
20b5 b3 0 b5 3 1
20 120
211 Por fin puede escribirse como segunda solucin de la EDO dada
1
1k 2 k
1
k
w2 z b0 z b1 z 2 k 1
2
0 2k ! 0 2k 1!
1 1k 2 k
w2 ( z ) b0 z
z 0 2k !
106
Captulo 3
z 2k 1 (1) k 2 k
w( z ) C1 z 1
k
C2 z
0 2k 1! z 0 (2k )!
zw w 0
w z r a n z n a n z n r
0 0
w ( n r ) a n z n r 1
0
w ( n r )( n r 1) a n z n r 2
0
z ( n r )( n r 1) a n z n r 2 a n z nr 0
0 0
( n r )( n r 1) a
0
n z n r 1 a n z n r 0
0
107
Solucin de ecuaciones diferenciales mediante series de potencias
r (r 1)a0 z r 1 (n r )(n r 1)an z n r 1 an z n r 0
1 0
r (r 1)a0 z r 1 (n r )(n r 1)an z n r 1 an 1 z n r 1
1 1
r (r 1)a0 z r 1 (n r )(n r 1)an an 1 z n r 1 0
1
r ( r 1) 0
r1 1
r2 0
(n r )(n r 1)an an 1 0
a n 1
an
(n r )(n r 1)
an 1
an
(n 1)n
108
Captulo 3
De donde
a0
a1
2. 1
a a0
a2 1
3.2 3.2.2.1
a a0
a3 2
4. 3 4.3.3.2.2.1
a a0
a4 3
5.4 5.4.4.3.3.2.2.1
a a0
a5 4
6. 5 6.5.5.4.4.3.3.2.2.1
a a0
a6 5
7.6 7.6.6.5.5.4.4.3.3.2.2.1
........................................................
a a0
an n 1 ( 1) n
( n 1) n ( n 1)(n!) 2
Y se puede escribir
z2 z3 z4 z5 z6 z7
w1 a 0 z ...
2 12 144 2880 86400 3628800
109
Solucin de ecuaciones diferenciales mediante series de potencias
w2 z r r2 w1 z w1 z ln( z ) z r2 bn z n
r 0
1n a0
w1 z a n z n 1 an
0 n 1n!2
z 2 z3 z 4 z5 z6
w1 z z ...
2 12 144 2880 86400
L zD 2 1
w2 z w2 w1 z ln( z ) z 0 bn z n
0
w1 d
w2 w1 ln z bn z n
z dz 0
w w d
2
w2 w1 ln z 2 1 21 2 bn z n
z z dz 0
110
Captulo 3
w1 d2
zw2 w2 zw1 ln z 2 w1 z 2 bn z n w1 ln( z ) z 0 bn z n
z dz 0 0
w1
ln z zw1 w1 2 w1 L bn z n 0
z 0
w
L bn z n 2 w1 1
0 z
Calculando L bn z n queda
0
L bn z n zD 2 bn z n bn z n z n(n 1)bn z n 2 bn z n
0 0 0 0 0
n(n 1)bn z n 1 bn z n 2.1b2 z 3.2b3 z 2 4.3b4 z 3 5.4b5 z 4 6.5b6 z 5 ...
0 0
b0 b1 z b2 z b3 z 3 b4 z 4 b5 z 5 ...
2
w1 z2 z3 z4 z5 z z2 z3 z4 z5
2 w1 2 1 z
... 1
..
z 4 36 576 14400 2 12 144 2880 86400
111
Solucin de ecuaciones diferenciales mediante series de potencias
w1 3 5 7
2 w1 z z 2 z 3 ...
z 2 12 144
221 Igualando la ltima expresin del prrafo 373 y la del anterior a ste,
segn potencias de z, se plantea el sistema de ecuaciones
b0
3
2b2 b1
2
5
6b3 b2
12
12b b 7
4 3
144
....
De la segunda resulta
13 3 1
b2 b1 b0 b1
22 4 2
De la tercera
1 5
b3 b2
6 12
1 7
b3 b0 b1
12 3
1 35 1
b4 b0 b1
12 144 12
Reemplazando entonces en
w2 z w2 w1 z ln( z ) z 0 bn z n
0
112
Captulo 3
Se tiene finalmente
z2 z3 z4 z5 z6 z7
w2 ( z) z ... ln(z) b0 b1 z
2 12 144 2880 86400 3628800
3 1 1 7 1 35 1
b0 b1 z 2 b0 b1 z 3 b0 b1 z 4 ...
4 2 12 3 12 144 12
1 1 1 4 1 5 5 47 4
w2 ( z ) z z 2 z 3 z z 5 ... Ln( z ) 1 z z 2 z 3 z ...
2 12 144 2880 4 18 1728
1 1 1 4 1 5 3 7 35 4
w2 ( z ) z z 2 z 3 z z ... Ln( z ) 1 z 2 z 3 z ...
2 12 144 2880 4 36 1728
Con lo que b0 = a0 = 1 = -
113
Solucin de ecuaciones diferenciales mediante series de potencias
a n 1
an
( n r )( n r 1)
a0
a1
1 r r
a1 a0
a2
( 2 r )(1 r ) ( 2 r )(1 r ) 2 r
a2 a0
a3
(3 r )( 2 r ) (3 r )( 2 r ) 2 (1 r ) 2 r
---------------------------------------------
y, con l se expresa
z z2 z3 z4
w( z , r ) a 0 z r 1 ...
r 1 r r 1 r 2 r r 1 r 2 r 3 r r 1 r 2 r 3 r 4 r
2 2 2 2 2 2
z z2 z3 z4
rw( z, r ) a 0 z r r ...
1 r 1 r 2 r 1 r 2 r 3 r 1 r 2 r 3 r 4 r
2 2 2 2 2 2
rw z , r
223 Corresponde ahora calcular . Este clculo da, haciendo
r
arbitrariamente a 0 1
114
Captulo 3
rw z , r z 1 r z 2 r 2 z 2 r z 3 r
zr
r 1 r 2 1 r 2 2 r 2 1 r 3 2 r 1 r 2 2 r 2 3 r 2
2 z 3 r 2 z 3 r z 4 r
1 r 3 2 r 2 3 r 1 r 2 2 r 2 3 r 1 r 2 2 r 2 3 r 2 4 r 2
2 z 4 r 2 z 4 r 2 z 4 r
1 r 2 2 r 2 3 r 3 4 r 1 r 2 2 r 3 3 r 2 4 r 1 r 3 2 r 2 3 r 2 4 r
z 1 r ln( z ) z 2 r ln( z ) z 3 r ln( z ) z 4 r ln( z )
rz r ln( z )
1 r 1 r 2 2 r 1 r 2 2 r 2 3 r 1 r 2 2 r 2 3 r 2 4 r
5 2 5 3 47 4 1 1 1 4 1
w2 z 1 z z z z ... z z 2 z 3 z z 5 ... ln( z )
4 18 1728 2 12 144 2880
WRONSKIANO
e 0
p ( z ) dz
z
w2 ( z ) w1 ( z ) dz
0
w1 ( z )2
en el caso en estudio es p ( z ) 0 , entonces queda
z dz
w2 ( z ) w1 ( z )
0
w1 ( z )2
226 Teniendo en cuenta que w1 ( z ) es una serie de potencias, su cuadrado es
de muy laboriosa obtencin, naturalmente operando solamente sobre algunos
primeros trminos.
115
Solucin de ecuaciones diferenciales mediante series de potencias
Tal vez, en estos prrafos est la razn por la cual en los textos
consultados esta tcnica no se aplica o, si se aplica, se lo hace con
prescindencia de otras.
116
Captulo 3
GRAN RESUMEN
1 Si r1 r2 no es un nmero entero
w1 z ( z z0 )r1 an ( z z0 )n
n 0
w2 z ( z z0 )r
2
n 0
bn ( z z0 )n
w2 z w1 ( z ) ln( z z0 ) ( z z0 )r bn ( z z0 )n
n 0
3 Si r1 - r2 es un nmero entero
w1 z ( z z0 )r an ( z z0 )n
1
n 0
w2 z w1 ( z ) ln( z z0 ) ( z z0 ) r2
n 0
bn ( z z0 )n
117
(pgina dejada intencionalmente en blanco)
Captulo 4
CAPITULO CUARTO
FUNCIONES ESPECIALES
y ''( x ) y ( x ) 0
119
Solucin de ecuaciones diferenciales mediante series de potencias
ECUACION DE HERMITE
120
Captulo 4
d 2 wz dwz
2
2z wz 0
dz dz
238 Se hace
wz a n z n
n 0
w z na n z n 1
n 1
w z nn 1a n z n 2
n2
nn 1an z n2 2t nan z n1 an z n 0
n2 n 1 n 0
nn 1a n z n2 2 nan z n a n z n 0
n2 n 1 n 0
239 Haciendo
nn 1a
n2
n z n 2 i 2i 1ai 2 z i
i 0
nan z n i 1ai1 z i1
n 1 i 0
a n z n ai z i
n 0 i 0
resulta
121
Solucin de ecuaciones diferenciales mediante series de potencias
i 2i 1a
i2 ai z i 2i 1ai 1 z i 1 0
i 0
De donde
i0 2.1a 2 a 0 2 a1 z
i 1 3.2 a 3 a1 z 2.2 a 2 z 2
i2 4.3a 4 a 2 z 2 2.3a 3 z 3
i3 5.4 a 5 a 3 z 3 2.4 a 4 z 4 ...
2a 2 a 0 0 a2 a0
2
2i
i 2i 1ai 2 2i ai 0 ai 2 a
i 2i 1 i
Con lo cual
2
a3 a1
3.2
a4
4
a2
4 a 4 a
0 0
4.3 4.3 2 4!
a5
6
a3
6 2
a1
6 2 a
1
5.4 5.4 3.2 5!
8 4 . 8
a6 a4 a0
6.5 6!
.......................................................
122
Captulo 4
2.2 ...22i 2
a 2i a0
2i !
a 2i 1
2.1 ...22i 1 a
2i 1! 1
4 4 4 8 6
y x a 0 1 z 2 z z ...
2 4! 6!
2 3 2 6 5
a1 z z z ...
3! 5!
H 0 z 1
H 1 z 2 z
H 2 z 2 4 z 2
H 3 z 12 z 8 z 3
H 4 z 12 48 z 2 16 z 4
H 5 z 120 z 160 z 3 32 z 5
.......... .......... .......... .......... ..
123
Solucin de ecuaciones diferenciales mediante series de potencias
ECUACION DE LAGUERRE
124
Captulo 4
zw (1 z)w w 0 R
La ecuacin indicial es
r r 1 p 0 r q0 0
donde
p0 lim z
1 z 1
z 0 z
q0 lim z 2 0
z 0 z
w1 ( z ) a n z n w2 ( z ) w1 ( z ) ln( z ) bn z n
0 0
w1 ( z ) a n z n
0
125
Solucin de ecuaciones diferenciales mediante series de potencias
z nn 1a n z n 2 1 z na n z n 1 a n z n
2 1 0
nn 1a n z n 1 na n z n 1 na n z n a n z n 0
2 1 1 0
2.1a2 z 3.2a3 z 2 4.3a4 z 3 ... 1a1 2a2 z 3a3 z 2 ... 1a1 z 2a2 z 2 3a3 z 3 ...
a0 a1 z a2 z 2 a3 z 3 ... 0
De donde
a1 a0 0 a1 a0
1
2.1a2 2a2 a1 a1 0 a2 a0
4
1 2
3.2a3 3a3 2a2 a2 0 a3 a0
4.9
k 1kak 1 k 1a k 1 kak a k 0
1 2... k
a k 1 1
k
a0
k 1!2
Haciendo a0 1 se tiene
1 2... n 1
w1 z 1 1
n
zn
1 n! 2
126
Captulo 4
L0 z 1
L1 z 1 z
1 2
L2 z 1 2 z z
2
3 1
L3 z 1 3 z z 2 z 3
2 6
ECUACION DE LEGENDRE
127
Solucin de ecuaciones diferenciales mediante series de potencias
1 z w 2 zw 1w 0
2
2z
p( z )
1 z2
1
q( z)
1 z2
w( z ) a n z n
0
w( z ) nan z n1
1
w( z ) nn 1a n z n 2
2
1 z nn 1a z
2
n
n2
2 z nan z n 1 1 a n z n 0
2 1 0
Observando que
nn 1an z n2 n 2n 1an2 z n2
2 0
y que
na n z n1 n 1a n1 z n
1 0
128
Captulo 4
n 2n 1a
0
n2 nn 1a n 2a n 1a n z n 0
n 2n 1a
0
n2 n 1 nan z n 0
de donde
n 2 n 1 an2 n 1 n an 0
an 2
n 1 n a
n 2 n 1 n
a2
1 a
0
2 1
a3
2 1 a
1
3 2
a4
3 2 a
3 1 2 a
2 0
43 4 3 2 1
a5
4 3 a3
4 2 1 3
a1
5 4 5 4 3 2 1
a2 n (1) n
2n 1 2n 3 ... 1 2 ... 2n 2 a
0
(2n !)
a2 n 1 (1) n
2n 2n 2 ... 2 1 3 ... 2n 1 a
1
(2n 1)!
129
Solucin de ecuaciones diferenciales mediante series de potencias
258 Se definen
1 ( z ) 1 ( 1) n
2n 1 2n 3 ... 1 2 ... 2n 2 z 2 n
1 (2n !)
2 ( z ) z ( 1) n
2n 2n 2 ... 2 1 3 ... 2n 1 z 2 n 1
1 (2n 1)!
( z ) a01 ( z ) a12 ( z )
0 1 ( z ) 1
2 1 ( z) 1 3z 2
35 4
4 1 ( z ) 1 10 z 2 z
3
130
Captulo 4
261 Se puede concluir que, para todo nmero natural m existe un polinomio
de ese grado que es solucin de la ecuacin diferencial de Legendre.
ECUACIN DE AIRY
131
Solucin de ecuaciones diferenciales mediante series de potencias
w zw 0
nn 1a
2
n z n 2 z a n z n nn 1a n z n 2 a n z n 1
0 2 0
2.1a 2 k 2 k 1a k 2 z k a k 1 z k 0
1 1
k 2k 1ak 2 z k ak 1 z k
0 0
0
k 2k 1a
0
k 2 a k 1 z k 0
k 2k 1a k 2 a k 1 0
De donde
a k 1
ak 2
k 2k 1
132
Captulo 4
a0
a3
3.2
a
a4 1
4.3
a
a5 2 0
5.4
a a0
a6 3
6.5 2.3.5.6
a a1
a7 4
7.6 3.4.6.7
a a2
a8 5 0
8.7 4.5.7.8
.......................................
Y de all
1 3 1 1 1 4 1 1
wz a0 1 z z6 z 9 ... a1 z z z7 z 10 ...
3.2 2.3.5.6 2.3.5.6.8.9 4.3 3.4.6.7 3.4.6.7.9.10
k 1.4.7....3k 2 3 k k 2.5.8....3k 1 3 k 1
w z a 0 1 1 z a1 z 1 z
1 3k ! 1 3k 1!
ECUACIN DE BESSEL
133
Solucin de ecuaciones diferenciales mediante series de potencias
z 2 w '' zw ' ( z 2 2 ) w 0 R
z
zp( z ) z 1
z2
(z2 2 )
z 2 q( z ) z 2 2
(z2 2 )
z
134
Captulo 4
w '( z ) w ' (n r )an z nr 1
0
w ''( z ) w '' (n r )(n r 1)an z n r 2
0
zr a0 r (r 1) a0 r a0 2 0
z r 1 a1 (r 1)(r 2) a1 (r 1) a1 2 0
z r 2 a0 a2 (r 2)(r 1) a2 (r 2) a2 2 0
z r 3 a1 a3 (r 3)(r 2) a3 (r 3) a3 2 0
de la primera
a0 [r (r 1) r 2 ] 0
r2 2 0
de donde r1 y r2 .
135
Solucin de ecuaciones diferenciales mediante series de potencias
a1[(r 1)(r 2) (r 2) 2 ] 0
Como el corchete no se anula para las races de la ecuacin indicial, deber ser
a1 0 .
a0 a2 [(r 2)(r 1) (r 2) 2 ] 0
a0 a2 [(r 2)[(r 1) 1] 2 ] 0
a0 a2 [(r 2)2 2 ] 0
con lo cual
a0
a2
(r 2) 2 2
a1 a3{(r 3)[(r 2) 1] 2} 0
a2 a0
a4
(r 4)
2 2
[(r 2) ][(r 4) 2 2 ]
2 2
a5 0
a0
a6
[(r 2) ][(r 4) 2 2 ][(r 6) 2 2 ]
2 2
a7 0
I real no entero
136
Captulo 4
a0
a2
(r1 2) 2 2
a0 a0
a2
4 4
2 2
4 1
a2 a2 a2 a0
a4 2
4
2 2
8 16 2
8 2 4.8. 1 2
a4 a4 a4 a0
a6 2
6
2 2
12 36 2
12 3 4.8.12 1 2 3
.......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... ......
( 1) k a 0
a2k
2 2 k k! 1 2 3... k
k
( 1) k a 0
w1 z a 0 z 2 k
k 0 2 2k
k ! 1 2 3 ... k
1
a0
2 1
z 1 zz
n 1 n!
137
Solucin de ecuaciones diferenciales mediante series de potencias
J z
1k z
2 k
k!k 1 2
J z
1
k
z
2 k
k!k 1 2
w z c1 J z c2J z
II Caso en que 0 r1 y r2 0
138
Captulo 4
a1 a3 a5 0
a0 arbitrario
a0
a2
22
a0
a4
22 42
a
a6 0
2 2 2
246
a0
a2 n (1)n
2 4 6 (2n) 2
2 2 2
Por ser
22 42 62 (2n) 2 22 (2 2) 2 (2 3) 2 (2 4) 2 (2n) 2
2 242
22 (222 )(2232 )(22 42 ) (22 n2 ) 22 n (1 223 n2 ) 22 n (n !)2
z2 z4 z6 z 2n
J0 z 1 ...( 1) n
...
22 22 42 22 4262 2 2 n ( n !) 2
139
Solucin de ecuaciones diferenciales mediante series de potencias
140
Captulo 4
z2 z4 z 2n
w( z, r ) z 1
r
(1) n
2
(r 2) (r 2) (r 4) (r 2) (r 4) (r 2n)
2 2 2 2 2
2z 2 2z 4 2z 4 2z 6
r r 2 r 22 r 43 r 23 r 42 r 22 r 42 r 63
3
w( z , r )
z
r 2z 6 2z 6
...
r 2 r 4 r 6 r 23 r 42 r 62
2 3 2
z2 z4 z6
z r 1 2
Log ( z )
r 2 r 2 r 4 r 2 r 4 r 6
2 2 2 2 2
z2 z4 z6 z8 z 10
w2 z ln z 1 ...
4 64 2304 147456 1474560
2 4 6 8 10
z 3z 11z 25 z 137 z
...
4 128 13824 1769472 884736000
141
Solucin de ecuaciones diferenciales mediante series de potencias
Por ltimo se escribe lo que algunos textos hacen figurar como expresin
general para esta segunda solucin, mencionando adems que se trata de una
expresin de trabajosa prueba.
142
Captulo 4
z 2n 1 1 1
J 0 z ln( z ) ( 1) n 2n 2
1
1 2 ( n !) 2 3 n
r2 1 0
a0 a a
a2 2 0 2 0
(r1 2) r1
2 2
3 1 8
a2 a0 a
a4 0
(r1 4) r1
2 2
8(5 1 ) 8 24
2 2
a0
a6
8 24 48
a0
a8
8 24 48 80
z3 z5 z7 z9
J 1 z a 0 z ...
8 192 9216 737280
an 2 an 2 an 2
an
( r n) 1
2 2
[(r n) 1][r n) 1] (r n 1)(r n 1)
143
Solucin de ecuaciones diferenciales mediante series de potencias
a0
a2
( r 1)( r 3)
a2 a0
a4
(r 5)(r 3) (r 5)(r 3) 2 (r 1)
a4 a0
a6
(r 7)(r 5) (r 7)(r 5) 2 (r 3) 2 (r 1)
Entonces
z2 z4 z6
w( z, r ) z r a0 1
(r 1)(r 3) (r 5)(r 3) (r 1) (r 7)(r 5) (r 3) (r 1)
2 2 2
z r 2 z r 4 z r 6
(r 1) w( z, r ) a0 (r a) z r
(r 3) (r 5)(r 3) (r 7)(r 5) (r 3)
2 2 2
r 1w z , r z r2 z r4 2 z r4 z r6
zr
r r 3 2 r 32 r 5 2 r 33 r 5 r 3 2 r 5 2 r 7 2
2 z r6 2 z r 6
r 1z r ln z
r 3 r 5 r 7 r 3 r 5 r 7
2 3 3 2
z r 2 ln z z r 4 ln z z r 6 ln z
r3 r 3 2 r 5 r 3 2 r 5 2 r 7
Dndole a r el valor -1 se tiene finalmente
144
Captulo 4
1 1 1 5 1 z 5 5 5
w2 ( z ) z z 3 z ln( z ) z 3 z
2 16 384 z 4 64 1152
y esto es igual a
1 1 z 2 5z 4 5z 6 47 z 8 131 z 10
Y1 z ln z J 1 z 1 ...
2 z 4 64 1152 442368 88473600
2n
J n 1 z J n 1 z J n z
z
J n 1 z J n 1 z 2 J n' z
279 El siguiente grfico representa las funciones de Bessel J0, J1, J2, J3 y J4
145
Solucin de ecuaciones diferenciales mediante series de potencias
1
z 2 w '' zw ' ( z 2 ) w 0
4
w( z ) w an z r n
0
1
an z r n 2 an z r n 0
0 4 0
2 1 1 1 r+n
r a
0
4
z r
( r 1) 2
4
a1 z r 1
(r n) an an 2 z =0
2
2
146
Captulo 4
1
r2 0
4
1 1 1 1
Cuyas races son r1 y r2 y cuya diferencia es r1 r 2 1 un
2 2 2 2
entero positivo!
1 1
281 Se considera en primer lugar la raz r1 . En este caso (r 1)2 ,
2 4
factor numrico de a1 es distinto de cero. En consecuencia a1 debe ser nula y,
por recurrencia tambin deben serlo todos los coeficientes de ndice impar de
la serie propuesta como solucin.
an 2
an 2
1 1
n
2 4
a2 m 2 a2 m 2
a2 m m=1,2,3,4,
1 1
2
2m(2m 1)
2m
2 4
Resulta as
a0
a2
23
a2 a0 a
a4 0
5 4 5 4 3 2 5!
a4 a
a6 0
76 7!
En general
a0
a2 m (1)m
(2m 1)!
147
Solucin de ecuaciones diferenciales mediante series de potencias
1
(1)m 2 m 12 (1)m 2 m1
w1 ( z ) z 1
2
z z z
1 (2m 1)! 0 (2m 1)!
Definiendo
1
2 2 2
J 1 ( z ) w1 ( z ) sen( z )
2 z
2 1 1 1 r+n
r a
0
4
z r
( r 1) 2
4
a1 z r 1
(r n) an an 2 z =0
2
2
148
Captulo 4
1
Siendo en este caso r el corchete
2
1 1 2 1
( r 1) 2
1 0
4 2 4
284 Entonces, para los coeficientes pares puede escribirse, como antes
a2 m 2 a2 m 2
a2 m m=1,2,3,4,
1 1
2
2m(2m 1)
2m
2 4
a2 m 2
a2 m 2
m=1,2,3,4,
1 1
2m
2 4
De donde
a0 arbitrario
a0 a0
a2 2
1 1 2
2
2 4
a2 a2 a0
a4
1 1
2
4 3 4 3 2
4
2 4
( 1) m a0
a2 m m=1,2,3,4,
2m !
285 Con relacin a los coeficientes impares, mediante un clculo similar al
anterior, resulta
( 1) m a1
a2 m 1 m=1,2,3,4,
2m 1!
149
Solucin de ecuaciones diferenciales mediante series de potencias
1
(1)m z 2 m
(1)m z 2 m1
w2 ( z ) z 0
a a1
2
0 (2m)! 0 (2m 1)!
1
w2 ( z ) z 2
a0 cos( z ) a1sen( z )
2
J 1 (z) cos( z )
2
z
w( z ) c1 J 1 ( z ) c2 J 1 ( z )
2 2
w '( z ) 2
w ''( z ) 1 2 w( z ) 0
z z
Cuando z -> resulta la ecuacin diferencial que satisfacen las funciones
trigonomtricas.
w ''( z) w( z) 0
150
BIBLIOGRAFA CONSULTADA
I Pginas WEB
Bessel Functions. Project for the Penn State - Gttingen Summer School on
Number Theory. Martin Kreh
Lecture 13: Series Solutions near Singular Points, March 28, 2007
II Textos
152
Una publicacin de edUTecne