Vous êtes sur la page 1sur 156

Ing. Jorge J. L.

Ferrante
Colaboradora: Lic. Sandra Barrutia

SOLUCIN DE
ECUACIONES DIFERENCIALES
MEDIANTE SERIES DE
POTENCIAS
n 1

a (r )[ p (r + k ) + q ]

an (r ) = k = 0

nk

F (r + n )

DEPARTAMENTO DE CIENCIAS BSICAS


UNIDAD DOCENTE BSICA MATEMTICA
FACULTAD REGIONAL GENERAL PACHECO
UNIVERSIDAD TECNOLGICA NACIONAL

nk

AVISO IMPORTANTE:
edUTecNe, la Editorial de la Universidad Tecnolgica
Nacional Repblica Argentina, recuerda que las obras
publicadas en su sitio web son de libre acceso para fines
acadmicos y como un medio de difundir la produccin
cultural y el conocimiento generados por autores
universitarios o auspiciados por las universidades, pero que
estos y edUTecNe se reservan el derecho de autora a
todos los fines que correspondan.

Ejemplar para uso personal exclusivamente.


Prohibida su venta o reproduccin total o parcial
en cualquier medio de soporte sin permiso expreso de
edUTecNe.

SOLUCIN DE
ECUACIONES DIFERENCIALES
MEDIANTE SERIES DE POTENCIAS

Universidad Tecnolgica Nacional Repblica Argentina

Rector: Ing. Hctor C. Brotto


Vicerrector: Ing. Pablo Andrs Rosso

edUTecNe Editorial de la Universidad Tecnolgica Nacional

Coordinador General: Ing. Ulises J. P. Cejas


Director de Ediciones: Ing. Eduardo Cosso
Coordinador del Comit Editorial: Dr. Jaime Moragues
reas Pre-prensa y Produccin: Tc. Bernardo H. Banega, Ing.
Carlos Busqued, Nicols Mauro

rea Promocin y Comercializacin: Fernando H. Cejas, Dr. Lzaro


Brito Godoy

Ejemplar para uso personal exclusivamente. Prohibida su reproduccin total o


parcial en cualquier medio de soporte sin permiso expreso de edUTecNe.

SOLUCIN DE
ECUACIONES DIFERENCIALES
MEDIANTE SERIES DE POTENCIAS
Ing. Jorge J. L. Ferrante
Colaboradora Lic. Sandra Barrutia
DEPARTAMENTO DE CIENCIAS BSICAS
UNIDAD DOCENTE BSICA MATEMTICA
FACULTAD REGIONAL GENERAL PACHECO
UNIVERSIDAD TECNOLGICA NACIONAL

edUTecNe
Buenos Aires, 2014

SOLUCIN DE ECUACIONES DIFERENCIALES


MEDIANTE SERIES DE POTENCIAS
Ing. Jorge J. L. Ferrante
Colaboradora Lic. Sandra Barrutia
eduTecNe 2014

Editado en Argentina - Published in Argentina


edUTecNe, 2014
Sarmiento 440, Piso 6
(C 1041AAJ) Buenos Aires, Repblica Argentina
http://www.edutecne.utn.edu.ar

CONTENIDO

PRLOGO
CAPITULO PRIMERO. A modo de informal introduccin.
CAPITULO SEGUNDO. Ecuaciones Diferenciales Ordinarias de
segundo orden. Puntos ordinarios. Solucin mediante serie de
potencias.
CAPITULO TERCERO. Ecuaciones diferenciales ordinarias en puntos
singulares regulares.
CAPITULO CUARTO. Funciones especiales.
BIBLIOGRAFA CONSULTADA

(pgina dejada intencionalmente en blanco)

Prlogo

PROLOGO

La Unidad Docente Bsica Matemtica desarrolla, en forma permanente,


un taller sobre Ecuaciones Diferenciales. Tengo el privilegio de dirigirlo.
Cabe preguntarse por qu el tema elegido es ecuaciones diferenciales y
tambin cabe preguntarse por qu tiene carcter permanente.
Las respuestas son fciles.
El tema ha sido elegido porque la gran mayora de los modelos
matemticos que usa la ingeniera, en todas sus especialidades y cada vez ms
otras profesiones, son ecuaciones diferenciales, totales o en derivadas
parciales.
Estas ecuaciones diferenciales, salvo simplificaciones efectuadas para
adecuarlas a formas conocidas, carecen de solucin exacta, en el sentido de
obtener una expresin explcita que represente el comportamiento del sistema
fsico en estudio mediante combinaciones de funciones conocidas.
El ejemplo ms trivial de lo expuesto es el sistema fsico pndulo. Si se
plantea su estudio mediante la aplicacin cannica de leyes fsicas, su
comportamiento queda modelado por una ecuacin diferencial de segundo
orden, no lineal. Si se formula la hiptesis accesoria de pequeos
desplazamientos alrededor de la posicin de equilibrio, el modelo resultante es
una ecuacin diferencial lineal de segundo orden de solucin conocida.
Queda entonces planteado el interrogante cmo se resuelven aquellas
ecuaciones diferenciales que modelan sistemas que no admiten simplificaciones
como la expresada? Quiere esto decir que debemos renunciar al conocimiento
del comportamiento del sistema cuando ocurre algo as?
De ninguna manera. Existe un mtodo general para resolver
analticamente las ecuaciones diferenciales de segundo orden mediante
desarrollos en series de potencias. Por supuesto, la solucin tambin ser una
serie de potencias y los resultados sern tanto ms cercanos al verdadero
valor cuantos ms trminos sean considerados, una vez determinada la
convergencia de la serie resultado.
Este mtodo para resolver ecuaciones diferenciales es, tal vez, uno de
los primeros utilizados para hacerlo. Segn las constancias buscadas,
correspondi a Isaac Newton hacerlo por primera vez.
Profundizando un poco en esta tcnica pronto aparecen los casos
patolgicos que, en esta materia, se llaman los puntos singulares regulares. Fue

Solucin de ecuaciones diferenciales mediante series de potencias

el alemn Ferdinand Georg Frobenius quien dio la forma de buscar soluciones


en entornos de dichos puntos.
Enhorabuena lo hizo porque una serie de problemas de la fsica
matemtica llevan de manera inexorable a ecuaciones diferenciales de segundo
orden en puntos como los indicados.
Es ms, muchas de ellas han dado origen a nuevas funciones
identificadas con el nombre de aquellos que por primera vez las utilizaron.
Felizmente, ahora esas funciones se encuentran tabuladas y/o son
recurso natural en los lenguajes algebraicos utilizados normalmente.
Por todo lo expuesto, parece lgico brindar a los interesados un resumen
completo de solucin de ecuaciones diferenciales mediante desarrollos en serie
de potencias. Esta es la razn de este trabajo.
Adems, el seminario es de carcter permanente porque acaso alguien
puede creer que se han estudiado todos los problemas y que se conocen todos
los mtodos de solucin para los mismos?
Hacerlo sera, sencillamente, negar la ciencia que ha sido muy bien
caracterizada como una burbuja de dimetro creciente, de tal forma que
cuando aumenta su volumen los conocimientos sobre un determinado temaaumenta tambin la superficie de contacto con lo desconocido.
En esa lnea, este documento est formado por cuatro captulos.
El primero es una copia de la Gua de Estudio y Prctica (GEP) que la
ctedra de Anlisis Matemtico I de la Facultad Regional General Pacheco
facilita a sus alumnos para estudio y prctica sobre sucesiones y series. En
algn sentido, constituye un auto plagio, seguramente no punible.
Se lo incluye para que, quien no tenga actualizados y/o seguros sus
conocimientos sobre el tema, pueda leerlo rpidamente y de la misma forma
rpida- recuperar operatividad para el mismo.
El segundo captulo
trata el tema de la solucin de ecuaciones
diferenciales ordinarias de segundo orden mediante desarrollos en serie de
potencias, en puntos no singulares. Abundan ejemplos.
El tercer captulo trata el tema de la solucin de ecuaciones
diferenciales ordinarias mediante desarrollos en serie de potencias en puntos
singulares regulares. Es, de lejos, el ms complejo de todos y, sobre el mismo
cabe contar una ancdota que formaba parte de los mitos que circulaban en los
pasillos de la Facultad de Ingeniera. Segn el mismo, de lo cual no soy testigo,
Don Julio Rey Pastor sola decir, con su inefable tono este es uno de los temas
ms oscuros que conozco. Si eso es cierto, imaginen, simplemente imaginen.

Prlogo

El cuarto est formado por la aplicacin del contenido de los anteriores


a algunas de las ecuaciones diferenciales con nombre propio.
Hace ya bastante tiempo que escrib los primeros borradores de los
captulos dos y tres, como material soporte para clases sobre el tema. Con
estos en las manos, result fcil pensar que agregando al principio el captulo
sobre sucesiones y series escrito para los alumnos de primer ao y, al final un
captulo dedicado a algunas funciones especiales quedara un trabajo aceptable
para el seminario sobre solucin de ecuaciones diferenciales mediante
desarrollos en serie de potencias.
En realidad creo que en esos momentos no tena todava muy claro las
caractersticas del terreno en el que me meta. El Captulo II es relativamente
fcil aunque requiere mucha operatoria algebraica, soportable con una buena
dosis de paciencia y, por supuesto, una computadora con algn lenguaje
algebraico instalado.
No ocurre lo mismo con el Captulo III. Si el mito de Don Julio Rey
Pastor no es cierto, merecera serlo porque el trabajo que implica encontrar la
segunda solucin cuando las races de la ecuacin indicial son iguales o difieren
en un entero no es recomendable para temperamentos ansiosos. Sobre todo si
se quiere hallarlas segn lo propuso Frobenius, por la va del Wronskiano y
siguiendo los pasos de la teora.
Sandra Barrutia, auxiliar docente y miembro permanente del Seminario
tom la responsabilidad de revisar los originales y, dando un paso ms, logr
con casi infinita paciencia y enorme capacidad de clculo, llevar adelante los
pasos necesarios para revisar y alcanzar soluciones
A ella, mi agradecimiento.
Ahora queda por ver la opinin de los participantes del Seminario y de
los lectores interesados en general. Sus opiniones sern bienvenidas.

Jorge J. L. Ferrante
PROFESOR CONSULTO

(pgina dejada intencionalmente en blanco)

Captulo 1

CAPITULO PRIMERO
A modo de informal introduccin
Sucesiones Numricas, Series Numricas, Sucesiones de Funciones,
Series de Funciones, Series de Potencias, Aproximacin, Series de Potencias
en el Campo Complejo.
I

Sucesiones numricas

1
Una sucesin de nmeros reales es una aplicacin del conjunto N (o, a
veces, N0) en R, de tal forma que, a cada nmero natural n le corresponde uno y
slo un nmero real denominado an en lugar de usar la notacin a = f(n)

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.
3

Se incluyen a continuacin cuatro ejemplos arbitrarios de sucesiones.


La primera es la sucesin {an} = { 1/n}
{1, 1/2, 1/3, 1/4, 1/5, 1/6, 1/7, 1/8, 1/9, 1/10, }
La segunda es la sucesin {an} = { (2n-1)/n2}
{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

La tercera es la sucesin {an} = { n(1/n)}


{1., 1.41421, 1.44225, 1.41421, 1.37973, 1.34801, 1.32047, 1.29684, }
La cuarta es la sucesin {an} = {(- 1)n n}
{-1; 2; - 3; 4; - 5; 6; - 7; 8; }
4
En los casos presentados se ha definido la sucesin mediante una
expresin o frmula que proporciona los trminos de la misma. Otra forma de
definirlas es dando alguna caracterstica de sus trminos, por ejemplo la
sucesin formada por todos los nmeros naturales cuyo dgito de unidades sea
cuatro (4):
{an} = {4, 14, 24, 34, 44, 54, 64, 74, }
5
Otra forma de definirlas es mediante una expresin de recurrencia (del
latn recurrire, volver al origen), estableciendo una relacin entre el trmino
ensimo y anteriores a l.
6
En las sucesiones recurrentes se dan los primeros trminos necesarios
para la construccin de la misma. Por ejemplo la sucesin de Fibonacci est
definida por la recurrencia:

a 0 0

a1 1
a a a
n 1
n2
n

n 1

En este caso puede demostrarse que


n

1 1 5
1 1 5

an
5 2
5 2

12

Captulo 1

7
Por ltimo se pueden definir de manera completamente arbitraria
siempre y cuando medie una ley de formacin, por ejemplo:

Trmino de la
sucesin

Ley de formacin

1
11
21
1211
111221
21112211
1221112221
11222111221211

Uno
Un uno
Dos unos
Un dos, un uno
Un uno, un dos, dos unos
Dos unos, un uno, dos dos, un uno
Un dos, dos unos, un uno, dos dos, un dos, un uno.
Dos unos, dos dos, un dos, dos unos, un uno, dos
dos, un uno, un dos, dos unos.

II

Monotona de una sucesin

Una sucesin {an} es montona creciente si


a n a n 1

y es estrictamente creciente si
a n a n 1

9
Obsrvese que la nica diferencia entre sucesin creciente y
estrictamente creciente es que en la segunda la desigualdad debe cumplirse
necesariamente mientras que en las crecientes puede haber igualdad entre
trminos sucesivos
10

Una sucesin es montona decreciente si


a n a n 1

13

Solucin de ecuaciones diferenciales mediante series de potencias

y es estrictamente decreciente si
a n a n 1

Vale en este caso la misma observacin anterior.


11
Demostrar el crecimiento o decrecimiento de una sucesin suele
requerir el uso de induccin completa o de reduccin al absurdo. Sin embargo,
en ocasiones puede tomarse una funcin de variable real f tal que f(n) = an y
estudiar el signo de la derivada primera de esta funcin para determinar
crecimiento o decrecimiento. Si f es montona creciente (decreciente) la
sucesin {an} tambin lo ser.

III

Acotacin

12
La sucesin {an} est acotada superiormente si existe un nmero M tal
que an M para todo n.
La sucesin {an} est acotada inferiormente si existe un nmero M tal
que M an para todo n.
La sucesin {an} est acotada si est acotada superior e inferiormente es
decir si
an M
n
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)
Por ejemplo, dada la sucesin

an a1 , a3 , a3 , a4 ,..., an ,...

14

Captulo 1

Las siguientes son subsucesiones posibles

a2 n {a2 , a4 , a6 , a8 ,..., a2 n ,...}


a2 n 1 {a1 , a3 , a5 , a7 ,..., a2 n 1 ,...}
.......... .......... .......... .......... .......... ..

nprimo

{a , a , a , a , a , a
1

11

, a13 ,...}

.......... .......... .......... .......... .......... ........

Convergencia de una sucesin

14
A continuacin se agregan grficos (obviamente no continuos) en los que
se representan los trminos de distintas sucesiones

{an} = (-1)n /n
0.10

0.05

0.00

-0.05

-0.10

00:00:00

00:00:30

00:01:00

00:01:30

{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

15
En la primera y en forma absolutamente intuitiva puede inferirse que, al
crecer n, los trminos de la sucesin (los puntitos) tienden a 0; en la segunda,

16

Captulo 1

tienden a uno (1); en la tercera tienden a +1 o a -1 y, en la cuarta parece que


crecen ms all de todo lmite.
16
Estudiar la convergencia de una sucesin consiste precisamente en
investigar a qu valor tiende el trmino genrico de la misma cuando n .
Si tiende a un nmero finito L la sucesin se dice convergente, si tiende
a o no existe el nmero L, la sucesin se dice divergente.
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!).
19

Condicin necesaria y suficiente para que la sucesin

an a1,a2,a3,a4,a5,a6,a7, ..., an, ...a , ..., a p, ...


de nmeros reales sea convergente, es que para cada nmero positivo
corresponda un valor de n, tal que todas las diferencias an an+p, n > , p > 0
entre trminos posteriores a a se conserva en valor absoluto menor que .
an an p , 0, n , p 0
20
Obsrvese que este criterio permite asegurar la convergencia de una
sucesin sin conocer el valor del lmite.
VI

Lmite de una sucesin

21

El nmero L es el lmite de la sucesin {an} si se cumple que

an L ,

n N

17

Solucin de ecuaciones diferenciales mediante series de potencias

es decir, si desde un trmino en adelante la diferencia entre este y el lmite se


puede hacer tan chica como se quiera con tal de tomar n suficientemente
grande (mayor que N).
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 .
23
Obsrvese detenidamente que, en el intervalo [L + , L - ] despus de N
hay infinitos elementos de la sucesin, mientras que, antes de N solo hay un
nmero finito de ellos.
0.10

0.05

0.00

-0.05

-0.10

00:00:00

VII

00:00:30

00:01:00

00:01:30

Monotona y convergencia

24
Se relacionan
convergencia:

continuacin

condiciones

de

monotona

Toda sucesin convergente es acotada.

Toda sucesin creciente y acotada superiormente es convergente.

Toda sucesin decreciente y acotada inferiormente es convergente.

Toda sucesin decreciente y no acotada inferiormente es divergente

IX

de

Teorema de compresin

25
Este teorema es til para estudiar la convergencia de algunas
sucesiones.

18

Captulo 1

Sean {an}, {bn} y {cn} tres sucesiones. Se verifica que:

lim a n L

lim bn L
n

a n c n bn
Entonces la sucesin {cn} es convergente y su lmite vale L.

lim cn L

Por ejemplo, la sucesin

cn

1
1
1
1
2
2
... 2

n n
n 1 n 2 n 3
2

Es convergente pues est comprimida entre las dos sucesiones


convergentes

an 0,0,0,0,...,0,...
n

n 2 1

bn

Como ambas convergen a 0, {cn} 0.

Criterio de Stltz Csaro

26
Sea {bn} una sucesin creciente y divergente y {an} otra sucesin. Si el
lmite:
a a
lim n 1 n
n b
n 1 bn

an
tambin existe y coincide con el anterior.
n b
n

existe, entonces el lim

19

Solucin de ecuaciones diferenciales mediante series de potencias

1 2 3 4 ... n
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:

27

lim

an 1 an
n 1
n 1 1
lim
lim

2
2
n

bn 1 bn
2n 1 2
n 1 n

Entonces, la sucesin dada converge a 1/2. Por si queda alguna duda, se


agrega el grfico correspondiente a los cien primeros trminos de {cn}.

0.55
0.54
0.53
0.52
0.51
00:00:00

XI

28

00:00:30

00:01:00

Subsucesiones y convergencia

Una sucesin {an} converge a L si toda subsucesin {a*n} converge a L.

Sean {a*n} y {a**n} dos subsucesiones de {an}. Si

lim a * n L

lim a ** n L

entonces

lim an L

20

00:01:30

Captulo 1

29
Esta propiedad puede utilizarse para demostrar la divergencia de
algunas sucesiones. En efecto, si de una dada sucesin, se consideran dos
subsucesiones con distinto lmite, la sucesin dada es divergente.
Por ejemplo, de la sucesin {an} = {(-1)n} = {-1, 1, -1, 1, -1, 1, } se
pueden tomar las subsucesiones de ndice impar y de ndice par. La primera
tiene lmite menos uno (-1); la segunda uno (1), en consecuencia la sucesin
dada es divergente.
XII

Series numricas

30

Dada una sucesin numrica {an} se plantea el siguiente algoritmo:


a1 a2 a3 a4 a5 a6 a7 ... ak ...

pero, como el algoritmo de la suma est definido para un nmero finito de


trminos, la expresin anterior carece de sentido. Obsrvese que nadie, ni
an la ms poderosa computadora existente, puede sumar infinitos
trminos, pues por ms rpida que sea, el tiempo requerido sera infinito y
todava le faltara por lo menos, otro tanto y otro y...
Corresponde entonces aclarar el significado de la expresin
planteada asociada a la sucesin {an}.

31
Para ello, yendo a cosas conocidas, se forma la denominada
Sucesin de Sumas Parciales definida por:
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

La sucesin {Sn} se denomina Serie Numrica asociada a la sucesin {an}


Si existe lim S n L la serie numrica se dice convergente y entonces (y
n

solo entonces) se escribe

a
k 1

y el nmero L se llama suma de la serie. En

caso de tender a o no existir el lmite la serie es divergente.


32
Obsrvese que, a travs de las sumas parciales se han combinado los
algoritmos de la suma y del paso al lmite, permitiendo para las series
convergentes extender a infinito el nmero de sumandos.
XIII

Casos notables

33
Se presentan a continuacin dos casos emblemticos de series
numricas. El primero es el de la serie denominada armnica y el segundo es el
de la serie geomtrica.

Serie Armnica
1 1 1 1 1
1
... ... se denomina serie armnica
k
2 3 4 5 6
y es divergente. En efecto:

La serie 1

1
1
1 1 1 1 1 1 1
... n
S 2 n 1 ... n 1
2
2 1
2 3 4 5 6 7 8
1
1 1 1 1 1 1 1
1
1 ... n ... n
2
2 4 4 8 8 8 8
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

34
Todos los trminos de la serie armnica son mayores o iguales a los de
una serie divergente (minorante divergente), entonces la serie armnica
diverge.

22

Captulo 1

35
Segn Sadosky (Sadosky - Guber, edicin 1958, pg 523) Bernouilli y
otros conocan esta caracterstica de la serie armnica y agrega que, S1000 <
8; S1.000.000 < 15; S1.000.000.000.000 < 30 y S10100 < 232. Sin embargo esta suma
puede hacerse tan grande como se quiera, superando a cualquier nmero por
grande que este sea, tomando un nmero suficientemente grande de trminos.
Serie geomtrica
36
Se denomina serie geomtrica a una serie donde cada trmino se obtiene
multiplicando al anterior por un factor constante q, llamado razn de la serie

a aq aq2 aq3 aq4 aq5 ... aqn 1 ...


Se forma la suma parcial de orden n y se le resta la misma multiplicada
por la razn q

Sn a aq aq 2 aq3 aq 4 aq5 ... aq n 1


qSn aq aq 2 aq3 aq 4 aq5 aq 6 ... aq n
qSn Sn aq n a
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

XIV

Condicin necesaria de convergencia

38
Si una serie numrica {Sn} asociada a la sucesin {an} es convergente,
entonces
lim an 0
n
.
En efecto, dada la sucesin {an} es:
n

S n ak
k 1

n 1

S n 1 a k
k 1

la diferencia entre ambos elementos de {Sn}, Sn-1-Sn = an , es igual al trmino


genrico de la serie. Pasando al lmite cuando n se tiene:

limSn S n 1 lim an 0

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.
Un corolario importante es que si
39

lim an 0

Por ejemplo, la serie asociada a la sucesin

la serie es divergente.
es divergente porque

n2
1 0
n n2 1
.
lim

Obsrvese que la propiedad es solamente necesaria, lo que quiere decir


que hay series cuyo trmino genrico tiende a cero y divergen. La serie
armnica, es ejemplo.

24

Captulo 1

XV

Criterio general de convergencia

40
Se establece aplicando el criterio de Bolzano Cauchy para sucesiones a la
sucesin {Sn}

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
Que puede expresarse diciendo: la condicin necesaria y suficiente para
que una serie numrica sea convergente es que la suma de p trminos a partir
de uno dado pueda hacerse tan pequea como se quiera.
Dejando n fijo y haciendo tender p a infinito se tiene:

a n 1 a n 2 a n 3 a n 4 ... a n p ... , 0 , n
lo que indica que prescindiendo de los n primeros trminos de una serie
convergente, la serie resultante, llamada serie resto, se puede hacer tan chica
como se quiera con tal de tomar n > .
41
Esto es muy importante en las aplicaciones porque, en general, no se
conoce la suma S de una serie convergente. Slo se puede aproximar este valor
mediante la suma de algunos (pocos, varios, bastantes, muchos, muchsimos,
etc.) trminos iniciales, cosa que se hace porque se sabe que el resto es
pequeo y de poca influencia en los clculos. Y que cuantos ms trminos
iniciales se toman, ms chico es el resto aunque no se lo conozca.

k 1

k 1

S ak ak

k n 1

S n Tn

25

Solucin de ecuaciones diferenciales mediante series de potencias

42

Tambin se puede plantear como condicin de convergencia que:

lim Tn 0
n

XVI

Series de trminos positivos

43
Son las ms importantes porque el estudio de las dems se reduce
fcilmente al estudio de las mismas y tambin son las ms sencillas.
44
La condicin necesaria y suficiente para que una serie de trminos
positivos sea convergente es que sus sumas parciales Sn se conserven acotadas,
Sn < M. Entonces, la suma es S M.
45
Tambin se verifica que asociando o descomponiendo trminos de una
serie de trminos positivos no vara su carcter convergente ni su suma. Lo
mismo ocurre si se reordenan arbitrariamente sus trminos.
XVII

Criterios de comparacin

46
Particularmente tiles son los denominados criterios de comparacin
para el estudio de la convergencia de series de trminos positivos. Mediante
ellos se comparan ordenadamente los trminos de la serie en estudio con los de
otras series cuyo comportamiento se conoce.
Mayorante convergente
47
Si los trminos de una serie de trminos positivos son menores o iguales
que los correspondientes de otra serie convergente, la serie es convergente.

Sea

una serie cuyo carcter se desea establecer y sea

u
k 1

serie convergente, con suma U, verificndose que ak uk, entonces

una
ak

converge y su suma S es menor o igual a la suma U. La serie


mayorante de la serie dada.

26

u
k 1

es una serie

Captulo 1

Minorante divergente
48
Anlogamente puede decirse que, si los trminos de una serie de
trminos positivos son mayores o iguales que los correspondientes de otra
serie divergente, es divergente.

uk
una serie cuyo carcter se desea establecer y sea k 1 una
a
serie divergente, verificndose que ak uk, entonces k diverge. La serie
Sea

u
k 1

49

es una serie minorante de la serie dada.


Estos criterios tienen sendos corolarios.

Sea

una serie cuyo carcter se desea establecer y sea

u
k 1

an
, 0
u
n
una serie convergente, con suma U, y la razn
entonces

converge y su suma S es menor o igual a la suma U.

XVIII

una serie cuyo carcter se desea establecer y sea


an
, 0
u
n
una serie divergente, y la razn
entonces
diverge.
Sea

k 1

Series patrn

50
Las series que suelen tomarse como mayorantes o minorantes son la
serie geomtrica y la serie armnica o la armnica generalizada, siendo esta
1
n
ltima la serie
, convergente si > 1 y divergente si 1.

27

Solucin de ecuaciones diferenciales mediante series de potencias

Criterios de convergencia de series de trminos positivos


51
Se presentan a continuacin criterios de convergencia de series de
trminos positivos cuyas demostraciones se basan en los criterios de
comparacin ya vistos en general con series geomtricas y/o armnicas y son
mucho ms operativos que los criterios expuestos hasta el momento.
Criterio de DAlembert
52

a
Sea una serie de trminos positivos n , se calcula
a
lim n L
n a
n 1

Si L < 1 la serie es convergente, si L > 1 la serie es divergente y, si L = 1 el


criterio no permite determinar convergencia o divergencia. En la demostracin
la serie de comparacin es una serie geomtrica.
Criterio de Cauchy
53

Sea una serie de trminos positivos

, se calcula

lim n an L

Si L < 1 la serie es convergente, si L > 1 la serie es divergente y, si L = 1 el


criterio no permite determinar convergencia o divergencia. En la demostracin
la serie de comparacin es nuevamente una serie geomtrica.
Criterio de Kummer

a
54
Sea una serie de trminos positivos n y
Se calcula

a
lim u n n u n 1 L
n
a n 1

Si L > 0 la serie

28

converge, si L < 0 la serie

una serie divergente.

diverge.

Captulo 1

Criterio de Raabe
55
Consiste en tomar un = n en el criterio de Kummer (serie armnica) con lo
que resulta
a

lim n n 1 L
n

a n 1
a
Si L > 1 la serie n es convergente, si L < 1 la serie es divergente, si L =
1 hay que recurrir a otro criterio de convergencia.

Criterio de la integral
56
Sea a1 a 2 a 3 a 4 a 5 ... a n ... una serie de trminos positivos
decrecientes. Se toma una funcin f(x) tal que f(n) = an. La serie converge o
diverge segn converja o diverja la integral

n0
XIX
57

f ( x ) dx

Serie de trminos alternados


Sean

0, . La expresin
a1 a2 a3 a4 a5 a6 a7 a8 ... an an 1 ...

se denomina serie alternada.


58
El estudio de la convergencia de estas series es ms sencillo que el
correspondiente a las series de trminos positivos. En efecto, en las series
alternadas, si los trminos son decrecientes y se cumple que:

lim an 0

la serie alternada es convergente.

29

Solucin de ecuaciones diferenciales mediante series de potencias

59
Adems y muy til en la prctica, en las series alternadas, el error que
se comete en la suma de la serie al considerar los n primeros trminos es
menor, en valor absoluto, que el primer trmino despreciado.

S (1) k 1 ak
k 1
n

S n (1) k 1 ak
k 1

S S n an1
XX

Serie absolutamente convergente

60
Una serie se llama absolutamente convergente si es convergente la serie
formada por los valores absolutos de los trminos de la serie dada.

converge

absolutamente

ak

converge

Si la serie de valores absolutos, diverge, la serie dada le dice


condicionalmente convergente.

XXI

Sucesin de funciones

61
Una sucesin de funciones es una aplicacin del conjunto N (o, a veces,
N0 ) en un conjunto U de funciones, de tal forma que, a cada nmero natural n
le corresponde una y slo una funcin denominada un(x).

un ( x ) u1 ( x ), u 2 ( x ), u3 ( x ),..., uk ( x ),...
Por ejemplo, la sucesin

x x, x
n

, x 3 , x 4 , x 5 ,..., x k ,...

Esta sucesin de funciones se transforma en sucesin numrica cuando


se le asignan valores numricos a x. Esa sucesin puede ser convergente o
divergente.

30

Captulo 1

62
Por ejemplo, la sucesin anterior en x = 1/2; en x = 1 y en x = 2 se
transforma en las sucesiones numricas:

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

2 2, 4, 8, 16, 32, 64, 128, ...


n

La primera es convergente a 0, la segunda es convergente a 1 y la


tercera es divergente.
63
El conjunto de valores de x que hacen que las sucesiones numricas
resultantes sean convergentes, se denomina campo de convergencia de la
sucesin de funciones.
64
Adems, para todo x tomado en el campo de convergencia, la sucesin
numrica resultante converge a un valor real. Queda as establecida una
aplicacin donde a cada x del campo de convergencia le corresponde un valor
numrico, es decir queda establecida una funcin.
Se escribe

lim un ( x) u( x)
n

y debera estar claro que una sucesin de funciones, cuando converge,


converge a una funcin.
65

Por ejemplo, la sucesin x n converge en el intervalo [0,1] a la funcin

x u( x) 10
n

x [0,1)
x 1

31

Solucin de ecuaciones diferenciales mediante series de potencias

1.0

0.8

0.6

0.4

0.2

0.2

0.4

0.6

0.8

1.0

xn
La sucesin
converge en el intervalo [0,) a la funcin
n
1 x
x [0,1)
0
n

x
1
u( x)
x 1

n
1 x
2
x (1, )
1

66

1.0

0.8

0.6

0.4

0.2

0.5

1.0

1.5

2.0

67
Se observa que las sucesiones estn formadas por funciones continuas
pero que la funcin a la que convergen, en ciertos puntos, no son continuas.

32

Captulo 1

68
Obsrvese que la influencia del intervalo en la que se realiza el estudio
tiene un peso decisivo en esa materia. En efecto, si en el primer ejemplo se
toma el intervalo [0,1) la sucesin converge a la funcin continua f(x) = 0
{ATENCIN: la diferencia est en un parntesis y en un corchete!}.
69
En el segundo ejemplo la convergencia es hacia la funcin continua f(x) =
0 en el intervalo [0,1) y hacia la funcin continua f(x) = 1 en el intervalo (1, )
{De nuevo, asunto de [ y/o de )}
70
Este tipo de problemas requieren definir muy ajustadamente el
significado del trmino "converge".
XXII
71
si

Convergencia puntual
La sucesin de funciones u n ( x ) converge puntualmente a la funcin u ( x )

u n ( x) u ( x) , 0

tomando

n N N ( , x)

Es decir, si la diferencia en valor absoluto entre el trmino genrico de la


sucesin de funciones y la funcin lmite se puede hacer tan pequea como se
quiera () con tal de tomar el ndice n mayor que un valor N que depende de y
del punto x en el que se estudia la convergencia.
Por ejemplo, la sucesin de funciones x n en [0,1] converge a la funcin
u(x) = 0 pero

72

un ( x) u( x) x n 0 , 0

xn

ln( )
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.
En cambio, si el estudio se realiza en el intervalo [0,1) basta con tomar
n

ln( )
N ( ),
ln(1 )

0 1

33

Solucin de ecuaciones diferenciales mediante series de potencias

para que, desde un nico valor de n en adelante, e independientemente del


punto considerado, simultneamente en todos los puntos se satisfaga la
desigualdad. Esto lleva, de manera natural al concepto de:
XXIII
73

Convergencia Uniforme

La sucesin de funciones u n ( x ) converge uniformemente a la funcin

u ( x ) si

u n ( x) u ( x) , 0

tomando

n N N ( )

Es decir, si la diferencia en valor absoluto entre el trmino genrico de


la sucesin de funciones y la funcin lmite se puede hacer tan pequea como se
quiera () con tal de tomar el ndice n mayor que un valor N que depende
solamente de y no de x. Y esto ocurre simultneamente para todos los
puntos del intervalo. Por lo tanto, la convergencia uniforme implica la
convergencia puntual.

sen(nx)

converge uniformemente a la
n
funcin f ( x ) 0 en [0, ] como puede apreciarse en el grfico siguiente.
74

Por ejemplo, la sucesin

sen(nx)

0
n U
1.0
0.8
0.6
0.4
0.2
0.5

1.0

1.5

2.0

2.5

3.0

-0.2
-0.4

75

En cambio, la sucesin

sen

( x ) no converge uniformemente en ese

intervalo, pero si lo hace en los intervalos [0, /2); (/2, ] y, en ellos converge

34

Captulo 1

a la funcin f ( x ) 0 . Tambin en este caso, una representacin grfica ayuda a


entender ese comportamiento.

1.0

0.8

0.6

0.4

0.2

0.5

1.0

1.5

2.0

2.5

3.0

/2

76

Segn el criterio de Cauchy, la convergencia es uniforme cuando


un ( x ) um ( x ) , 0

n, m N 0 N ( )

es decir, cuando la diferencia, en valor absoluto entre dos trminos de la


sucesin de funciones puede hacerse tan pequea como se quiera con tal de
tomarlos ms all de un valor de su ndice que solo dependa de y no de x.
77
Segn el criterio del supremo, la convergencia es uniforme cuando:

lim sup

u n ( x ) u ( x ) 0

35

Solucin de ecuaciones diferenciales mediante series de potencias

es decir, si la ms pequea de las cotas superiores de la diferencia entre el


trmino genrico de la sucesin y la funcin a la que esta converge tiende a
cero.
78
Desde el punto de vista geomtrico, la convergencia uniforme significa
que, desde un cierto valor de n en adelante, cada uno de los trminos de la
sucesin de funciones se mantiene dentro de un -tubo construido con la
funcin lmite u(x) como gua o eje.

u(x) +
u(x)

un(x)
tubo
u(x)

79
Esta caracterstica puede ser utilizada para analizar el tipo de
convergencia de una sucesin de funciones. Por ejemplo, la sucesin ya tratada
sen n (x) converge a la funcin

n
sen ( x) u ( x) 1

[0, )
2
x

( , ]
2

80
Si en intervalo [0, ] se traza una horizontal con ordenada 0 < < 1, el
valor de la funcin correspondiente a x = /2 (1) queda fuera del tubo
construido con eje coincidente con el eje x . La convergencia no es uniforme en
ese intervalo.

36

Captulo 1

81

La convergencia uniforme permite demostrar que si las funciones u n ( x )

son continuas en el intervalo en el que se hace el estudio y adems

un ( x)
u( x )
U
entonces u ( x ) es una funcin continua.
XXIV
82

Serie de funciones
Dada una sucesin de funciones u n ( x ) se forma a partir de ella una

nueva sucesin de funciones, definida de la siguiente forma:


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

La sucesin de funciones S n (x ) se denomina serie de funciones.


83

Si la sucesin S n (x ) es convergente puntualmente se escribe:

lim S n ( x) f ( x) u k ( x)
n

84

Si la sucesin

S n (x)

k 1

es uniformemente convergente, la serie de

funciones es uniformemente convergente a la funcin f(x). Entonces:

f ( x) S n ( x)

k n 1

( x)

Cuando n > N() simultneamente para todo x en el intervalo en que se hace el


estudio. En otros trminos, la convergencia es uniforme si:

sup f ( x) S n ( x) sup

a x b

a x b k n 1

( x) 0

si

37

Solucin de ecuaciones diferenciales mediante series de potencias

Test de convergencia uniforme


85

Una serie numrica

m
k 1

funciones

u
k 1

es una serie dominante de una serie de

( x) si u k ( x) mk , k , x [a, b] .

Criterio M de Weierstrass
86
Si para una serie de funciones definida en [a,b] existe una serie
dominante convergente, la serie de funciones converge uniformemente en el
intervalo dado.

sen(kx)
converge uniformemente en todo el eje
k2
k 1

1
real porque est dominada por la serie numrica convergente 2 .
k 1 k

87

XXV

Por ejemplo, la serie

Serie de potencias

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

se denomina serie de potencias. El nmero real an es el coeficiente n-esimo y


el punto x0 es el centro del desarrollo. Por comodidad, dado que un cambio de
variable lo permite, casi siempre se trabaja con x0 = 0 con lo cual las series de
potencias tienen este aspecto.

a x
n 0

a0 a1 x a2 x 2 a3 x 3 ... ak x k ...

89
En cierto sentido, parecen un polinomio de infinitos trminos, pero hay
que ser muy cuidadoso con este tipo de generalizacin porque unos cuantos
problemas delicados deben ser aclarados antes de afirmarlo.

38

Captulo 1

Se enuncian algunos de ellos:

Convergen las series de potencias?


A qu convergen?
Cual es el campo de convergencia de las series de potencias?
Qu tipo de convergencia tienen, puntual o uniforme?
Se pueden derivar como se puede derivar un polinomio?
Se pueden integrar como se puede integrar un polinomio?

90
Se trata a continuacin de ir respondiendo estos -y tal vez otros
interrogantes- relacionados con las series de potencias.
La serie de potencias

converge en el intervalo I=(-1,1) dado que,

n 0

por simple divisin resulta:


1
1 x x 2 x 3 x 4 ... x n ...
1 x
Cualquier valor de x I, la serie representa a la funcin, es decir, su
suma coincide con el valor de la funcin en ese punto.
Para x = 0 esto es obvio, para x = 0,5 resulta:
1
1 0.5 0.5 2 0.53 0.5 4 0.55 ... 2
0 .5

por ser serie geomtrica de primer trmino 1 y razn q = 0.5.


91
En los extremos del intervalo el anlisis debe ser ms fino. En efecto, en
x = -1 resulta:
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

92
Qu resulta? Nuevas preguntas, como, por ejemplo se puede aplicar la
propiedad asociativa? En alguna poca de la larga historia del estudio de las
series, algunos cuyo nombre es mejor olvidar optaron por el promedio entre
ambos "valores" y dictaminaron la convergencia a 1/2 Asombroso!

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.
93
Fuera del intervalo, en x = 2, por ejemplo, aparece un valor
perfectamente definido para la funcin y una serie divergente. La serie no
representa a la funcin.
1
1
1 2
1 2 4 8 16 32 64 128 ...

94

Otros ejemplos que sern oportunamente estudiados son la serie

n! x

convergente en I= (-, ) y la serie

xn

n 0 n!

convergente en un solo punto,

n 0

0.
95
Algunas preguntas quedan contestadas: cuando convergen, las series de
potencias convergen a una funcin, la convergencia se da en un intervalo, en
todo el eje real o en punto.
Si convergen, la convergencia es uniforme
96

Por lo siguiente: sea

a (x x )
n 0

una serie de potencias convergente. Si

se toma r 0 y es (x-x0) < r y la sucesin anrn est acotada, la serie es


absolutamente convergente. En efecto:
( x x0 ) n
( x x0 ) n

0 a n ( x x 0 ) n a n r n
M

rn
rn

( x x0 )
donde M es la cota. La serie M
es geomtrica con razn q < 1 que
rn
n 0

opera como dominante convergente. Por el criterio M de Weierstrass la serie


de potencias converge uniformemente.

40

Captulo 1

97

En base a esto, se denomina Radio de Convergencia a:

R sup x x0 / an ( x x0 ) n S
n 0

Si R > 0 el intervalo I = (x0 - R, x0 + R) se denomina Intervalo de Convergencia.


98

Entonces, resumiendo:

Cuando convergen, las series de potencias convergen a una funcin.


Las series de potencias convergen en un punto, en un intervalo finito o en un
intervalo infinito.
En el intervalo de convergencia, la convergencia es uniforme.
Clculo del radio de convergencia
99
Para calcular el radio de convergencia de una serie de potencias puede
utilizarse la frmula de Cauchy - Hadamard. (Cauchy, si nuevamente Cauchy!).
Para cada x I = (x0 - R, x0 + R) la serie de potencias es una serie
numrica convergente. Por serlo, debe ser

lim n an ( x x0 ) n 1
n

llamando R

1
lim n a n

lim n an ( x x0 ) 1
n

resulta que la serie es convergente en

( x x0 ) R

Si R = 0, la serie converge en un punto y su suma es a0.


Si R la serie converge en todo el eje real.
Si R es un nmero real cualquiera, la serie converge en (x0 - R, x0 + R).

41

Solucin de ecuaciones diferenciales mediante series de potencias

100 Debe notarse especialmente que el radio de convergencia depende


exclusivamente de los coeficiente numricos de la serie y no de la variable de
la misma.
101

xn
x x2 x3
xk

...

... converge en todo

k!
1! 2! 3!
n 0 n!

Por ejemplo, la serie

el eje real. Por lo siguiente:


R

1
lim n a n

lim n n! lim n
n

n n 2n
n 2 n 2n

lim
n
en
e

en consecuencia, la serie converge en todo el eje real (se ha utilizado la


frmula de Stirling para aproximar el factorial)
102

En cambio, la serie

n! x

1 x 2! x 2 3! x 3 4! x 4 ... k! x k ... solo

n 0

converge en x0 = 0, por lo siguiente:


R

1
lim n an
n

lim n
n

1
en
e
lim n n
lim 2 n
0
n! n n 2n n n 2n

Si, en lugar del criterio de Cauchy se aplica el criterio de D'Alembert


para el anlisis de convergencia, el radio de convergencia resulta:
R

1
a
lim n 1
n a
n

Derivacin e integracin de series de potencias.


103 Se pueden demostrar dos propiedades fundamentales de las series de
potencias dentro de su campo de convergencia.
Derivacin
Las series de potencias pueden ser derivadas trmino a trmino.

42

Captulo 1

n
an ( x x0 ) nan ( x x0 ) n1
n 0
n1
aplicando en forma reiterada se tiene:

a n ( x x0 ) n
n 0

(k )

n ( n 1)( n 2)...( n k 1)( x x 0 ) n k


n k

Integracin
Las series de potencias pueden ser integradas trmino a trmino
b

b
n
a
(
x

x
)
dx

an a ( x x0 ) n dx
0
a n

n0

n0

Las respectivas demostraciones hacen uso de la convergencia uniforme dentro


del campo de convergencia.
104 Esto es extremadamente til para encontrar algunas series de potencias.
Por ejemplo, por simple divisin se tiene que, para -1 < x < 1.
1
1 x 2 x 4 x 6 x 8 x 10 x 12 ...
1 x2

Integrando trmino a trmino se tiene:


arctg ( x ) x

x 3 x 5 x 7 x 9 x 11 x 13

...
3
5
7
9
11 13

en el mismo intervalo anterior -1 < x < 1.

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

Dada una funcin infinitamente derivable en un intervalo existe una


serie de potencias que la represente?
Corresponde aclarar, CON MAYSCULAS, qu quiere decir que una
serie REPRESENTA A UNA FUNCIN.
UNA SERIE DE POTENCIAS REPRESENTA A UNA FUNCIN,
SIMPLEMENTE, CUANDO, PARA CADA PUNTO DEL CAMPO DE
CONVERGENCIA, LA SUMA DE LA SERIE ES IGUAL AL VALOR DE LA
FUNCIN EN ESE PUNTO.

Supngase que esa serie existe. Entonces ser:

f ( x ) a n ( x x0 ) n a 0 a1 ( x x0 ) a 2 ( x x0 ) 2 a 3 ( x x0 ) 3 a 4 ( x x0 ) 4 ...
n 0

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

............................................................................................................................................................

de estas igualdades se deduce que:


an

f ( n ) ( x0 )
n!

106 De inmediato se tiende a pensar, con injustificado optimismo, que se


puede escribir, sin ms

f ( n ) ( x0 )
( x x0 ) n
n
!
n 0
pero el entusiasmo cae en picada cuando se considera, por ejemplo, la siguiente
funcin
f ( x)

44

Captulo 1

x12

f ( x ) e
0

x0
x0

que tiene derivadas de todos los rdenes en el origen y valen cero (0)!
(verificarlo). Entonces, la frmula:

f ( x)
n 0

f ( n ) ( 0) n
x
n!

slo se cumple en x0 = 0 y no hay aproximacin a la funcin.


107

Cul es entonces, el problema?

El problema queda en evidencia cuando se escribe la serie de la siguiente


manera:

n 0

f ( n ) ( x0 )
f ( n ) ( x0 )
f ( n ) ( x0 )
( x x0 ) n
( x x0 ) n
( x x0 ) n
n!
n!
n!
n 0
n m 1

Para que la serie de potencias represente a la funcin es necesario que

f ( n ) ( x0 )
( x x0 ) n 0
n

n
!
n m 1
como ya ha sido dicho y, para demostrar eso es necesario hacer lo siguiente:
108

Suponer la existencia de una funcin q(x) tal que

f ( x)
n 0

m
f ( n ) ( x0 )
f ( n ) ( x0 )
q( x )
( x x0 ) n
( x x0 ) n
( x x0 ) m 1
n!
n!
( m 1)!
n 0

lo que equivale a decir que

n m 1

f ( n ) ( x0 )
q( x )
( x x0 ) n
( x x0 ) m 1
n!
( m 1)!

45

Solucin de ecuaciones diferenciales mediante series de potencias

109

Se crea una nueva funcin de la siguiente manera

q( x )
( )
( x )n
( x )n
n!
( m 1)!
n 0
f ( )
f ( )
f ( )
q( x )
f ( x ) f ( )
(x )
( x )2
( x ) 3 ...
( x ) m 1
1!
2!
3!
( m 1)!
m

F ( ) f ( x )

(n)

pero esta funcin en x0 y en x vale 0. Por lo siguiente


m

F ( x0 ) f ( x )
n 0

f ( n ) ( x0 )
q( x )
( x x0 ) n
( x x0 ) m1 0
n!
(m 1)!

por la definicin hecha al principio y en = x


F ( x) f ( x) f ( x)

f ( x )
f ( x )
f ( x )
q( 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 ( )

2( x )
( x )2
(x )
2!
1!
2!
1!
q( x )(m 1)
f m ( )m
f iv ( )
f ( )
f m1 ( )

( x )m
( x ) m1
( x )m
3( x ) 2 ...
( x )3
m!
m!
(m 1)!
3!
3!
F ( ) f ( )

Igualando a cero queda

f m 1 ( )
q( x )( m 1)
( x )m
( x )m 0
m!
( m 1)!

de donde, en un punto intermedio ser


q( x ) f

m 1

( )

Finalmente
f ( n ) ( x0 )
f m 1 ( )
( x x0 ) n
( x x0 ) m 1

n
!
(
m
1
)!
n 0
si la derivada de orden m+1 est acotada es inmediato que, para m
m

f ( x)

46

Captulo 1

el segundo trmino del segundo miembro tiende a cero y entonces, ahora si

f ( x)
n 0

f ( n ) ( x0 )
( x x0 ) n
n!

es el desarrollo en serie de potencias de la funcin f(x), desarrollo que se


conoce como Serie de Taylor mientras que
f m 1 ( )
( x x0 ) m 1
( m 1)!

se conoce como trmino complementario de Lagrange.


Distintas formas de la Serie de Taylor
111
Se presentan a continuacin distintas formas en que puede presentarse
la Serie de Taylor

f ( x)
n 0

f ( x)
n 0

f ( n ) ( x0 )
( x x0 ) n
n!
f ( n ) ( x0 )
f ( m1) ( )
( x x0 ) n
( x x0 ) m1
n!
( m 1)!

La segunda forma, de fundamental importancia en las aplicaciones, como


se ver ms adelante.
Haciendo x = x0 + h resulta

f ( x0 h )
n 0

f ( x0 h )
n 0

f ( n ) ( x0 ) n
h
n!
f ( n ) ( x0 ) n f ( m 1) ( ) m 1 m f ( n ) ( x0 ) n
h
h
h O ( h n 1 )
n!
( m 1)!
n
!
n 0

O(hn+1) representa un infinitsimo de orden n+1


112 Esta forma resulta muy til para analizar el comportamiento de la
funcin en un entorno de x0. De hecho, el anlisis completo de mximos,

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.
113 Una variante se presenta tambin en este caso cuando el trmino
complementario de Lagrange se escribe en la forma de Cauchy
f ( m 1) ( x0 h ) m 1
f ( m 1) ( )
( x x0 ) m 1
h
( m 1)!
( m 1)!

0 1

Cuando se toma x0 = 0, se tiene la llamada Serie de Mc Laurin

f ( x)
n 0

f ( n ) ( 0) n
f (0)
f (0) 2 f (0) 3
f ( k ) ( 0) k
x f ( 0)
x
x
x ...
x O ( x k 1 )
k!
n!
1!
2!
3!

donde O(xk+1) indica un infinitsimo de orden k+1


114 Por ejemplo, para calcular el desarrollo en serie de Mc Laurin de la
funcin y = sen (x) se debe hacer

f ( x) sen( x)
f ( x) cos( x)
f ( x) sen( x)
f ( x) cos( x)
f ( x) sen( x)
f ( x) cos( x)

f (0) 0
f (0) 1
f (0) 0
f (0) 1
f (0) 0
f (0) 1

.......................................................
Entonces es (el trmino de sptimo grado ha sido afortunadamente estimado)

sen( x)
n 0

d n sen( x)
dx n
n!

x 0

xn x

x3 x5 x7

...
3! 5! 7!

115 A continuacin se representan grficamente distintas aproximaciones a


la funcin considerada mediante su desarrollo en serie de Mc Laurin a efectos
de que se aprecie definitivamente el sentido conceptual de aproximacin.

48

Captulo 1

116 Aproximacin de primer grado sen(x) x. Se observa la coincidencia de


valores en el entorno del origen. Recordar que, en ese punto ambas funciones
son infinitsimos equivalentes.
3
2
1

-3

-2

-1

-1
-2
-3

Aproximacin de tercer grado sen(x) x - x3/3!. Se aprecia como el


polinomio se adapta a la forma de la funcin senoidal. Ms all de x = 1.2 las
diferencias son notorias y crecientes.
2

-3

-2

-1

-1

-2

Aproximacin de quinto grado sen(x) x - x3/3! + x5/5!. La adecuacin del


polinomio a la funcin senoidal es cada vez mejor, notndose ahora
discrepancias desde x = 2 en adelante.
1.0

0.5

-3

-2

-1

- 0.5

- 1.0

Aproximacin mediante el polinomio de sptimo grado


sen(x)x-x3/3!+x5/5!-x7/7!. Las discrepancias son apreciables en los entornos
de y -, pero "pequeas"

49

Solucin de ecuaciones diferenciales mediante series de potencias

1.0

0.5

-3

-2

-1

- 0.5

- 1.0

117 Con el mismo procedimiento se pueden encontrar los siguientes


desarrollos en serie de Mc Laurin

n 0

1 x x n 1 x ... ( 1)...( n 1) x n ... x 1


n
n!
( 1) n 1 n
x2 x3 x4
x x

...
n
2
3
4
n 1

log(1 x )

1 n
x2 x3
x 1 x

...
2! 3!
n 0 n!

ex

xR

( 1) n
x3 x5
x 2 n 1 x

...
3! 5!
n 0 ( 2 n 1)!

sen ( x )

cos( x )

( 1) n 2 n
x2 x4
x 1

...
(2n )!
2! 4!

x 1

xR

xR

1 * 3 * 5 * ... * ( 2n 1) x 2 n 1
1
3 5
x x3
x ... x 1
2 * 4 * 6 * ... * 2n 2n 1
6
40
n 1

arcsen( x)

x3 x5
( 1) n 2 n 1
x
x

... x 1
3
5
n 0 2n 1

arctg ( x )

(ya hallada por integracin)


Anlisis del error

50

Captulo 1

118 En las aplicaciones es necesario estimar el error que se comete cuando,


en lugar de la serie representativa de la funcin, se utiliza la suma de sus
primeros m trminos - conocida en ocasiones como polinomio de Taylor- ms un
resto.
El error es, en estos casos, una estimacin de la cota del trmino
complementario de Lagrange o de Cauchy.
119

Por ejemplo, la serie de Mc Laurin para ex es


ex 1 x

hace

x2 x3 x4
xn

...
2! 3! 4!
n 0 n!

xR

Siendo operativamente imposible trabajar con infinitos trminos, se

ex 1 x

4
4
4

x2 x3 x4
xn
xn
xn e 5
x n e x 5

T5

x
x
2! 3! 4!
5!
5!
n 0 n!
n 5 n!
n 0 n!
n 0 n!

donde se ha escrito el trmino complementario segn Lagrange y segn Cauchy.


Si se desea calcular el valor de e mediante el polinomio de cuarto grado escrito
se toma x = 1 y resulta como cota del error
e 5
3
1
0.025
5!
120

Habindose estimado que, en todos los casos es e < 3


e 11

con un decimal exacto.

1 1 1
67

2,7916666 ...
2 6 24 24

Con un trmino ms en la aproximacin, la cota del error T6


0.0041666... y, el valor aproximado es 2,7166666...

es

51

Solucin de ecuaciones diferenciales mediante series de potencias

Operaciones con Series de Taylor y Mc Laurin


120 Dadas dos funciones cuyas respectivas series de potencias se conocen,
las siguientes proposiciones son vlidas

f ( x) an x n

f ( kx ) a n k n x n

n 0

f ( x m ) a n x mn

n 0

n 0

f ( x ) g ( x ) ( a n bn ) x n
n 0




f ( x ) g ( x ) a n x n bn x n c k x k
n 0
n 0
k 0

ck

a n bm a n bk n

n m k

n 0

Slo han sido expuestas las propiedades para desarrollos de Mc Laurin


porque mediante un adecuado cambio de variables los desarrollos de Taylor
pueden llevarse a esa forma.
121 Esas propiedades habilitan, por ejemplo a calcular el desarrollo en serie
de potencias de la funcin y = sen2(x) elevando al cuadrado la serie
2

2
1 6
x3 x5 x7 x9
sen ( x ) x

... x 2 x 4
x ...
2
3! 5! 7! 9!
3!

5! 3!
2

Las operaciones a realizar son pesadas, el trmino general es de difcil


expresin y, por ltimo, corresponde sealar que el campo de convergencia no
necesariamente coincide con el de la o las funciones originales.
Series en el campo complejo
122 Si w = f(z) es una funcin de variable compleja, analtica en z0,
verifica que

f z f z 0 f z 0 z z 0

se


f z 0
z z 0 2 f z 0 z z 0 3 ...
2!
3!

que se corresponde mutatis mutandi con el desarrollo en Serie de Taylor en


variable real.

52

Captulo 1

En este caso, la convergencia se da en un disco de centro z0 y radio ,


calculable mediante alguno de los criterios vistos para variable real

z0

Se debe recordar que, en teora de variable compleja es


f

123

(k )

( z0 )
1
f ( z)

dz

k!
2i ( z z 0 ) k 1

Si la funcin es analtica en la corona circular


r1 z z 0 r2

r1

r2

z0

53

Solucin de ecuaciones diferenciales mediante series de potencias

La serie, denominada Serie de Laurent toma la forma

bk
k
k 1 ( z z 0 )

f ( z) ak ( z z0 ) k
k 0

Donde los coeficientes valen


1
2
1
2

124 No se puede utilizar la frmula de la integral de Cauchy para su clculo


porque z0 est fuera de la zona de analiticidad de f(z), (al anillo circular del
prrafo anterior) razn por la cual parecera que el clculo de los coeficientes
debe llevarse a cabo calculando las integrales consignadas.
Obviamente si bien es posible realizar ese clculo, el trabajo puede
llegar a ser mprobo.
Felizmente un teorema de sencilla demostracin permite establecer la
unicidad del desarrollo de Laurent (Taylor), lo que significa que, cualquiera sea
el procedimiento vlido naturalmente- para obtener un desarrollo en potencias
positivas y negativas de (z z0), lo obtenido ser el desarrollo de Laurent
(Taylor).
125 Por ejemplo, si se busca el desarrollo de Mc Laurin (Taylor en z0 = 0) de
f(z) = esen(z) en lugar de plantear el clculo de

f ( k ) z 0
e sen ( z )
1

dz
k!
2i z z 0 k 1
de muy dudoso xito, puede hacerse, suponiendo

54

Captulo 1

u sen( z )

e sen ( z ) e u 1

uz

u u2 u3 u4
uk

...
...
1! 2! 3! 4!
k!

z3 z5 z7

...
3! 5! 7!
2

z3 z5 z7
z3 z5 z7
z3 z5 z7

...
z

...
z

...

3! 5! 7!
3! 5! 7!

...
3! 5! 7!
e sen ( z ) 1

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 ltima de ellas permite una apreciacin del grado de ajuste alcanzado


entre la funcin y su correspondiente desarrollo en serie de potencias en un
entorno del origen.
La representacin grfica de la serie de potencias.

La representacin de la funcin

55

Solucin de ecuaciones diferenciales mediante series de potencias

La superposicin de ambas.

56

Captulo 2

CAPITULO SEGUNDO
Ecuaciones Diferenciales Ordinarias de segundo orden. Puntos ordinarios.
Solucin mediante serie de potencias.

INTRODUCCIN.

126

Sea la EDO de segundo orden


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( z ) p0

q( z ) q0

(k )

p 0
z z 0 p0 z z 0 2 p0 z z 0 3 p0 z z 0 4 ... p 0 z z 0 k ...
k!
1!
2!
3!
4!

(k )

q 0
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!

127 Entonces, si la solucin tambin es analtica en z0, se puede plantear la


solucin de la EDO dada como una serie de potencias en z-z0 escribiendo
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

Por ser las series de potencias uniformemente convergentes, esta se


puede derivar trmino a trmino, obtenindose

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

w ( z ) 2 a 2 3 . 2 a 3 z z 0 ... k k 1 a k z z 0
128

k2

k 1

...

...

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
2
3
4

z z 0 k ...
...
p

0
0
0
0
0

1!
2!
3!
4!
k!

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
2
3
4

z z 0 k ..
q

...

0
0
0
0
0
1!
2!
3!
4!
k!

a1 z z 0 a 2 z z 0 a3 z z 0 ... a k z z 0 .. 0
2

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

128 Siendo conocidas las ps y las qs corresponde despejar del sistema


anterior los coeficientes a de la serie de potencias propuesta como solucin de
la ecuacin diferencial dada. Debe tenerse especialmente en cuenta que, por
tratarse de una EDO de segundo orden, el problema de valores iniciales
w z 0 w0 como valores iniciales que llevados
requiere dos valores wz 0 w0
a la forma en que ha sido planteada la serie solucin se corresponden con los
y a1 respectivamente.
valores a0
129 Conocidos entonces estos valores, de la primera ecuacin puede
despejarse a2

a2

a 0 q0 a1 p0
2

Con a2 conocido, de la segunda ecuacin puede despejarse a3, resultando

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
Aprecindose que este coeficiente slo depende de a0 y a1.

130

De la siguiente ecuacin puede despejarse a4, obtenindose

a4

3a 3 p 0 a 2 q 0 2a 2 p 0 a1 q 0

1
1
a1 p 0 a 0 q 0
2
2

12

Reemplazando en esta ltima a2 y a3 por su expresin en funcin de a0 y a1


tiene

se

59

Solucin de ecuaciones diferenciales mediante series de potencias


a 0 q 0 a1 p 0

p 0 a1 q 0 a 0 q 0
a1 p 0 2
2
p
3
0


a4
12
1
1
a 0 q 0 a1 p 0
a 0 q 0 a1 p 0
q0 2
p 0 a1 q 0 a1 p 0 a 0 q 0

2
2
2
2

12

No se han efectuado simplificaciones. Simplemente se ha utilizado la


posibilidad de intercalar expresiones ya calculadas al slo fin de permitir la
visualizacin de los coeficientes a2, a3, a4, etc. en funcin de los dos valores
iniciales a0 y a1.
Fcilmente se comprende lo laborioso de la tarea y cmo esta crece a
medida que se calculan coeficientes de trminos de mayor grado de la solucin
propuesta.
Asimismo y para facilitar los clculos casi siempre se toma z0 = 0 lo que
no quita generalidad al tema puesto que un oportuno cambio de variables
siempre puede llevar el origen a z0.
131 En realidad corresponde encontrar, para cada caso particular las
relaciones de recurrencia (del latn recurrire, volver al origen) que permiten el
clculo de los coeficientes del desarrollo en serie de la solucin buscada en
funcin de los ya calculados o de los dos primeros.
132 Por ejemplo, antes de generalizar el tema, se resuelve por este mtodo,
la EDO de variable real

y x yx 0
Se toma x0 = 0 y se plantea una solucin del tipo

y x a 0 a1 x a 2 x 2 a 3 x 4 a 4 x 5 ...

60

Captulo 2

Supuesta la convergencia de esta serie, la misma ser uniforme dentro


de su radio de convergencia, razn por la cual es posible calcular las siguientes
derivadas

y x a1 2a 2 x 3a3 x 2 4a 4 x 3 5a5 x 4 ...


y x
133

2a 2 3.2a 3 x 4.3a 4 x 2 5.4a5 x 3 ...

Adems, en este caso p x 0 y q x 1 ambas analticas en un entorno

del origen (ellas mismas son sus desarrollos en serie de potencias) con lo cual
puede plantearse
2a 2 3.2a3 x 4.3a 4 x 2 5.4a5 x 3 ...a 0 a1 x a 2 x 2 a3 x 4 a 4 x 5 ... 0

De donde
a 0 2a 2 0 a 2

a0
2

a1 3.2a 3 0 a3

a1
3. 2

a 2 4.3a 4 0 a 4

a
a2
0
4. 3 4. 3. 2

a 3 5. 4 a 5 0 a 5

a3
a1

5.4 5.4.3.2

Con lo cual puede escribirse

y x a 0 a1 x

a 0 2 a1 3
a
a1
x
x 0 x4
x 5 ...
2
3.2
4.3.2
5.4.3.2

Sacando factores comunes queda

x2 x4

x3 x5

... a1 x
...
yx a0 1
2 24
6 120

61

Solucin de ecuaciones diferenciales mediante series de potencias

Obsrvese que las series entre parntesis se corresponden con los


desarrollos en serie de Mc Laurin de cos(x) y sen(x) respectivamente, lo que
permitira escribir

yx a0 cosx a1 sen x
que evidentemente satisface a la ecuacin diferencial propuesta dado que

y x a0 sen x a1 cos x
y x a0 cos x a1 sen x
y, en consecuencia

y x y x a0 cos x a1 sen x a0 cos x a1 sen x 0


134 Se generaliza ahora el tema enunciando el teorema de existencia
correspondiente. El interesado en su demostracin puede consultarla en el
texto de INCE, DIFFERENTIAL EQUATIONS, Helipolis, 1926
II

TEOREMA FUNDAMENTAL

135

Sea la ecuacin diferencial


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

lineal, de orden n, no homognea y pi z ,

i 1, n

y f z analticas en un

intervalo I. Sea z 0 un punto de I. Entonces, la solucin de la ecuacin


diferencial es analtica en I alrededor de z 0 y converge en I.
136

62

Este teorema establece que si

Captulo 2

p1 z p10 p11 z z 0 p12 z z 0 p13 z z 0 ...


2

z z0 R

p 2 z p 20 p 21 z z 0 p 22 z z 0 p 23 z z 0 ...

z z0 R

p3 z p30 p31 z z 0 p32 z z 0 p33 z z 0 ...

z z0 R

p n z p n 0 pn1 z z 0 p n 2 z z 0 p n3 z z 0 ...
2

f z f 0 f1 z z 0 f 2 z z 0 f 3 z z 0 ...
2

z z0 R
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

137 Lo dicho permite suponer que la solucin de la ecuacin diferencial


propuesta es una serie de potencias y hallar sus coeficientes mediante el
procedimiento propuesto en el ejemplo desarrollado.
138

Se trata ahora otro ejemplo: resolver la EDO

y xy y 0

x0 0

En este caso las variables son reales y

p1 x x

p 2 x 1
f x 0

Son funciones analticas en x0 0 por qu?.


entonces se supone que la solucin es de la forma

y x a k x k
k 0

Entonces, dentro del intervalo de convergencia ser

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

139

Reemplazando en la ecuacin diferencial propuesta queda

k k 1x

k 2

k 2

k k 1x

k 2

k 2

k 1

k 0

x ka k x k 1 a k x k 0

k 1

k 0

ka k x k a k x k 0

A continuacin es necesario un trabajo de homogenizacin de los ndices


de las sumatorias. Obsrvese que la primera de ellas comienza desde k=2, la
segunda desde k=1 y la tercera desde k=0.
140

Para ello se hace, en la primera k i 2 con lo que resulta

k 2

i 0

k k 1a k x k 2 i 2i 1ai 2 x i
En la segunda se hace k i 1

ka
k 1

x k i 1a i 1 x i 1
i 0

mientras que, en la tercera slo se cambia el ndice.


141

Reemplazando, factoreando y agrupando queda

i 2i 1a

i o

i2

a i x i i 1a i 1 x i 1 0

Por estar igualado a cero, los coeficientes de las distintas potencias de x


deben ser nulos. Entonces

64

Captulo 2

Coeficiente de x0

2.1a 2 a 0 0 a 2

a0
2

Coeficiente de x

3.2a3 a1 a1 0 a3

a1
3

Coeficiente de x2

4.3a 4 a 2 2a 2 0 a 4

a
a2
0
4 2.4

Coeficiente de x3
5.4a5 a3 3a3 0 a5

a3
a
1
5 3.5

Coeficiente de x4
6.5a 6 a 4 4a 4 0 a 6

a
a4
0
6
2.4.6

Coeficiente de x5
7.6a 7 a5 5a5 0 a 7

a5
a
1
7
3.5.7

Este tedioso procedimiento puede continuarse para las siguientes


potencias, pero lo hecho hasta este punto permite escribir, como solucin de la
ecuacin diferencial propuesta

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
y 0 x 1

x2 x4
x6

...
2 2.4 2.4.6

x3 x5
x7
y1 x x

...
3 3.5 3.5.7

142 Corresponde ahora analizar la convergencia de las dos series obtenidas


como solucin a la ecuacin diferencial propuesta. Para ello se aplica el criterio
de DAlembert para series de potencias de prrafo 105
R

an
1
lim
n a
a
n 1
lim n 1
n a
n

Esto a su vez requiere sea determinado el trmino general de las series


en estudio.
En la primera de las mismas este trmino es de la forma (excluyendo el 1
inicial cuya presencia o ausencia- no altera el carcter de la serie)

an

1
n

2k
k 1

De lo que resulta

1
n 1

an
1
R
lim
lim
a n 1 n a n 1 n
lim
n a
n

2k
k 1

1
n 1

2k
k 1

66

lim

2k

k 1
n n

2k
k 1

lim
n

2k
k 1
n

2k
k 1

2n 1 lim 2n 1
n

Captulo 2

Lo que prueba que la primera serie hallada como parte de la solucin es


convergente en todo el eje real.
Algo completamente similar ocurre con la segunda de tal forma que
puede decirse que se ha encontrado una solucin a la ecuacin diferencial
propuesta, formada por dos funciones linealmente independientes
y0 x e y1 x cuya combinacin lineal constituye la solucin general del
problema planteado.
La solucin particular se tendr cuando, a partir de las condiciones
y a1
iniciales sean determinadas a0
143

El siguiente grfico representa las funciones y0 x

e y1 x

Donde resulta sencillo identificar la funcin par y 0 x y la impar y1 x .


144 Para finalizar este ejemplo se eligen en forma arbitraria condiciones
iniciales a0 1 y a1 0 con lo que se obtiene la solucin particular
1

48

384

3840

46080

645120

10321920

67

Solucin de ecuaciones diferenciales mediante series de potencias

Cuya representacin grfica es la siguiente

Para mejor apreciar la aproximacin alcanzada, se resuelve el problema


planteado mediante un mtodo numrico y se obtiene

La superposicin de ambos grficos permite la mencionada apreciacin,


debindose tener en cuenta que los desarrollos adoptados como solucin han
sido hechos alrededor de x = 0 lo que asegura una buena aproximacin en un
cierto entorno de dicho punto, aproximacin que se deteriora a medida que se
produce un alejamiento del mismo.
Este hecho es perfectamente visible en el grfico siguiente donde,
fuera del intervalo (-2,2) se producen alejamientos entre ambas curvas.

68

Captulo 2

III

MATHEMATICA

145 Los recursos que pone a disposicin MATHEMATICA evitan el muy


pesado trabajo que implica resolver ecuaciones diferenciales mediante
desarrollos en serie de potencias calculadas manualmente.
146

Una receta al efecto puede ser la siguiente:


1

Definir la serie que se supone es la solucin de la EDO dada. Esto


puede hacerse mediante el comando
Y[x_]:=Sum[a[i] x^i, {i, 0, n}]+O[x]^(n+1)

Definir la EDO por su expresin


e = y[x] + x y[x] + y[x] == 0

Mediante el comando LogicalExpand establecer las condiciones


que deben cumplir los coeficientes de la EDO
c = LogicalExpand[ e ]

Resolver el sistema formado por el resultado del comando


anterior, tomando como incgnitas todos los coeficientes a hallar
en funcin de a0 y a1. Esto puede hacerse con el comando
coe = Solve[ c, Table[ a[i], {i, 2, n}]

69

Solucin de ecuaciones diferenciales mediante series de potencias

Armar la solucin y[x] colocando en la serie supuesta como


solucin los coeficientes recin calculados en funcin de a0 y a1
sol = y[x] /. coe

Quitar de la lista resultante, la solucin de la EDO mediante el


comando
sol = sol [[ 1 ]]

Hallar las dos series cuya combinacin lineal constituye la solucin


general de la EDO.
Collect[ sol, {a[0], a[1] }]
Estudiar la convergencia de cada una de ellas (en un papel,
naturalmente)

Calcular la solucin particular, e decir asignar valores a a0 y a1


solp = sol /. {a[0] -> a0 , a[1] -> a1 }

Normalizar La serie, eliminando el infinitsimo de orden n+1


solpn = Normal [solp]

A partir de ese momento del procesamiento se dispone de una serie de


potencias (cuya convergencia habr que estudiar) que, si es convergente en I
podr utilizarse como solucin de la EDO en ese intervalo.
147 Para constatar la eficacia de la receta se resuelve nuevamente la
ecuacin diferencial anterior.
1

70

Captulo 2

71

Solucin de ecuaciones diferenciales mediante series de potencias

El resultado final es exitoso.


148

Se resuelve ahora la EDO y t e t yt 0 , con la complicacin accesoria

de tener que utilizar un desarrollo en serie de potencias para la exponencial et


Se supone una solucin en serie de potencias con lo que, dentro del
campo de convergencia, se tendr y t

a
k 0

tn

y t na n t n 1
k 1

y t nn 1a n t n 2
k 2

72

Captulo 2

y, adems, se debe considerar la funcin exponencial mediante su desarrollo en

tn
serie de potencias e t
con lo cual la EDO propuesta queda
n 0 n!

nn 1a t
n

n 2

n2

t n

a n t n 0

n0 n! n0

que puede escribirse

a k t k 0
k! k 0

t
k 2k 1ak 2t k
k 0

k 0

Desarrollando segn potencias crecientes de t el segundo trmino se tiene


Coeficiente de t 0

a0

Coeficiente de t

a0 a1

Coeficiente de t 2

a0

a1 a 2
2!

Coeficiente de t 3

a 0 a1

a 2 a3
3! 2!

..

..

Coeficiente de t k

i0

ak
i !

Con lo cual la EDO propuesta puede escribirse

k 2k 1a
k 0

k 2

i 0

ak k
t 0
k i !

73

Solucin de ecuaciones diferenciales mediante series de potencias

De donde la relacin de recurrencia ser


k

ak 2

149

ak

k i !
i 0

k 2k 1

Considerando algunos primeros trminos, puede escribirse


0
ak

k i ! a0
a 2 i 0
0 20 1
2
1

a3

ak

k i !
i 0

1 21 1
2

a 0 a1
3.2

ak

a 0 a1 a 2

a
a 4 i 0
2! 1! 0! 1
2 22 1
4.3
4.3

k i !

a5

1
3a0 2a1
120

Con estos primeros coeficientes de la serie supuesta como solucin


puede escribirse

y t a 0 a1t

a0 2 1
a
1
3a0 2a1 t 5 ...
t a 0 a1 t 3 1 t 4
2
6
12
120

Agrupando se escribe

t3 t4 t5

t2 t3 t5
yt a0 1
...
... a1 t
2 6 40
6 12 60

Faltara demostrar la convergencia de los dos series linealmente


independientes que forman la solucin general de la EDO planteada.

74

Captulo 2

150

Siguiendo la receta anterior, se tiene

75

Solucin de ecuaciones diferenciales mediante series de potencias

Los valores de los coeficientes permiten suponer que la serie es


convergente. Naturalmente una suposicin NO DEMUESTRA NADA y tampoco
NADA se sabe sobre el radio de convergencia, pero
151 El siguiente grfico representa la solucin particular encontrada en el
prrafo anterior y la correspondiente solucin hallada por un mtodo numrico.
La coincidencia de valores en un intervalo centrado en el origen es significativa.

76

Captulo 3

CAPITULO TERCERO
Ecuaciones diferenciales ordinarias en puntos singulares regulares

152

Se estudia ahora la EDO homognea P z w Q z w R z w 0 .


Se definen:

z 0 es un punto ordinario si P z 0 0
z 0 es un punto singular si P z 0 0
z 0 es un punto singular regular si P z 0 0 y z z 0

z z 0 2 R z
P z

Q z
y
P z

son analticas en z 0

z 0 es un punto singular irregular sin las funciones mencionadas en


el punto anterior no son analticas en dicho punto.
Obsrvese que la analiticidad postulada requiere la existencia de

lim z z 0

x x0

Q z
p0
Pz

lim z z 0

x x0

Rz
q0
Pz

153 En base a estas definiciones es claro que todas las ecuaciones


consideradas en el captulo segundo han sido solucionadas en puntos ordinarios.
154 Ferdinand Georg Frobenius (Charlottemburg 26 de octubre de 1849
Berln 3 de agosto 1917) Matemtico alemn reconocido por sus aportes a la
teora de las ecuaciones diferenciales y a la teora de grupos; tambin por su
profundizacin en el teorema de Cayley-Hamilton y su aporte al teorema
planteado por Eugne Rouch llamado entonces teorema de Rouch-Frobenius.

77

Solucin de ecuaciones diferenciales mediante series de potencias

Demostr que este tipo de EDO tiene una solucin de la forma

wz ( z z 0 ) r a k ( z z 0 ) k

a0 0

k 0

en un entorno de un punto singular regular, siendo r un valor a determinar.


155 Se advierte al lector que lo que sigue es decididamente pesado. Requiere
una dosis muy grande de atencin y paciencia para seguir los pasos algebraicos
necesarios para el desarrollo del tema. Por ese motivo se recomienda respirar
profundamente, retener el aire, animarse y adelante!
156

Por supuesto, por simplicidad se toma z0 = 0, entonces se puede escribir


P z w Q z w R z w 0
w

Q z
R z
w
w0
P z
P z

Multiplicando por z2 se tiene


z 2 Rz
zQz

z 2 w z
w

w 0

P z
Pz

y se hace
pz

78

zQ z
P z

q z

z 2 R z
P z

Captulo 3

Siendo p z y q z analticas en z0 , por definicin, puede escribirse

p z p n z n

q z q n z n

n 0

n 0

con lo cual la EDO queda


z 2 w z p n z n w q n z n w 0
n 0

n 0

n 0

n 0

Siendo la solucin propuesta de la forma w z r a n z n a n z n r

157

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

y, reemplazando en la EDO dada queda

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

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

a rr 1z a r 1rz a r 2r 1z ... a n rn r 1z ...


p p z p z ... p z ...a rz a r 1z a r 2z ... a r nz
q q z q z ... q z ...a z a z a z ... a z ... 0
r1

r1

nr

r2

r1

r2

r2

rn

...

rn

159 Multiplicando entre si las series y agrupando segn potencias de z se


tiene

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 ...
Esta ltima expresin puede ser escrita

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
160

Se define ahora la funcin cuadrtica

F r r r 1 p 0 r q0
con ella, la EDO se escribe
0

a 0 F r z r a1 F r 1 a k p1 k r k q1 k z r 1
k 0

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
Habiendo asumido que a 0 0 debe ser F r 0 , es decir
F r r r 1 p0 r q0 0

80

Captulo 3

Esta ecuacin se denomina ecuacin indicial de la EDO propuesta. Como


toda ecuacin de segundo grado, esta tiene dos races que, en general, se
suponen reales y distintas r1 y r2 tomando los subndices de tal forma que
r1 r2 (o Re(r1)>Re(r2) si las races son complejas)

161

Siendo

F r 0

necesariamente los coeficientes de las distintas

potencias de z tambin deben serlo. Por lo tanto, debe cumplirse


n 1

a n F r n a k p n k r k q n k 0
k 0

De donde, la relacin de recurrencia es:


n 1

a r p r k q

an r k 0

nk

nk

F r n

donde se ha colocado explcitamente a la variable r como argumento de los


coeficientes de los desarrollos en serie de potencias.
162 Como ha sido expresado la ecuacin indicial, como toda ecuacin de
segundo grado, tiene dos races. En el problema en estudio los siguientes tres
casos dan origen a distintas soluciones de la EDO propuesta.
Races distintas que no difieren en un entero
Races iguales
Races distintas con r1 r2 n siendo n un entero.
Se analizan a continuacin cada uno de estos tres casos.

RAICES DISTINTAS QUE NO DIFIEREN EN UN ENTERO.


163 En este caso, el ms sencillo de los tres, la solucin general de la EDO
propuesta ser de la forma

n 0

n 0

wz C1 a n r1 z r1 n C 2 a n r2 z r2 n

81

Solucin de ecuaciones diferenciales mediante series de potencias

a r z

Donde

n 0

a r z

r1 n

n 0

son

r2 n

funciones

linealmente

independientes soluciones de la ecuacin diferencial de segundo orden


propuesta y C1 y C 2 son las constantes de integracin cuyos valores pueden ser
hallados a travs de las condiciones iniciales del problema.
164

Como ejemplo, a continuacin se resuelve la EDO de segundo orden

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
lim
z 0

zQ z
z .3 z
3
lim 2 p 0
P z x0 2 z
2

lim
z 0

z2 z2 1
1
q0
2
2
2z

Lo que indica que z=0 es un punto singular regular.


165

La ecuacin indicial correspondiente es

F r r r 1 p 0 r q 0 r r 1

3
1
1
1
r r2 r 0
2
2
2
2

Las races son

r1, 2

2
2

1 4
1


4 2 2

1
1 8
1 3 r1


2
4 4 2 2

2
2
r 1
2

resultan distintas y no difieren en un entero.

82

Captulo 3

En consecuencia, la solucin general ser de la forma

wz C1 z a n r1 z n C 2
n 0

166

1
an r2 z n
z n 0

Corresponde determinar los coeficientes a n r1

a n r2

Para ello

se aplica la relacin de recurrencia


n 1

a r p r k q

an r k 0

nk

nk

F r n

pero, para hacerlo es necesario desarrollar en serie de potencias en el entorno


del origen a las funciones p(z) y q(z).
Teniendo en cuenta que su desarrollo en serie es

p z p 0 p1 z p 2 z 2 p3 z 3 ...

3
0 z 0 z 2 0 z 3 ...
2

y que

1 z2
qz
2 2
Resulta

z2
1
qz q0 q1 z q 2 z 2 q3 z 3 ... 0 z
0 x 0 z 3 0 z 4 ...
2
2
167

Se calculan a continuacin los coeficientes de la serie correspondientes


1
a la raz r1
2
1

a 0 r1 p1 0 q1
a 0 r1 0 0 0

a1 r1

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

a 2 r k 0

nk

F r n

nk

a 0 r1 p 2 r1 0 q 2 a1 r1 p1 r1 1 q1

r1 2r1 2 1 p0 (r1 2)1 q0

1
1
1
1
a 0 r1 0 0 a1 r1 0 1 0
a 0 r1
2
2
2
a r

2
0 1
7
14
1
1 3 1
1
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

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
a 3 r1

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

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

Con lo cual la primera solucin puede comenzar a escribirse

w1 z a0 r1

84

z2

z4
...
z 1
14 616

Captulo 3

168

Se hace lo propio para la raz r2 1

a1 r2

a0 r2 p1 0 1 q1
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

a3 r2

a 0 r2 p3 r2 0 q3 a1 r2 p 2 r2 1 q 2 a 2 r2 p1 r2 2 q1

3
1
r2 3r2 3 1 r2 3
2
2
a 0 r2
0r2 2 0
2
0
3
1
1 3 1 3 1 1 3
2
2

a 0 r2 0r2 0 0 0 p 2 r2 1 q 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
02 1 0 p1 3 1 q1

2
2

3
1
3 .2 .3
2
2

a 0 r2 00 1 0 0 p 3 1 1 q 3

a 0 r2
40

Con lo cual la segunda solucin puede comenzar a escribirse

1
z2 z4

...
w2 z a 0 r2 1
2 40
z

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.
Obviamente el clculo anterior es fcilmente programable mediante
algn lenguaje algebraico hecho que, fuera de toda duda, simplifica en forma
notable el procedimiento y, sobre todo, evita los casi siempre presentes
errores del clculo manual con expresiones tan complejas.
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
... C2 1 ...
wz C1w1 z C2 w2 z C1 z 1
2 40
z
14 616

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.
172

Por ejemplo, siendo la EDO a resolver 2 z 2 w 3 zw 1 z 2 w 0 se hace

wz a n z n r
n 0

w z n r a n z n r 1
n 0

w z n r n r 1z n r 2

Y se reemplaza en la EDO dada, resultando

2 z 2 n r n r 1z n r 2 3z n r a n z n r 1 1 z 2
n 0

n 0

a z

n 0

n 0

n 0

n 0

n 0

nr

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
A efectos de tener en todos los trminos la misma potencia de z, se
modifica el ltimo trmino de la sumatoria anterior y, se escribe

86

Captulo 3

n 0

n 0

n 0

n2

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
Los trminos correspondientes a n = 0 y n = 1 se escriben por separado a
fin de comenzar desde n = 2 en adelante. Resulta

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

Como a 0 0 debe ser 2r r 1 3r 1 0 ecuacin indicial, con las races


1
ya obtenidas r1
y r2 1 . Con cualquiera de estas races el coeficiente
2
de a1 no se anula, razn por la cual debe ser a1 0
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
2
2n r n r 1
Haciendo r

1
se tiene
2
an

an2
2n 2 3n

an

a n2
2n 2 3n

y, haciendo r 1 se tiene

173 Con estas dos relaciones de recurrencia se encuentran de inmediato los


coeficientes de las dos series solucin del problema. Obsrvese que, por ser
a1 0 todos los coeficientes de ndice impar son nulos.

z2
z4
z6
z 1

...
14 616 55440

2
4
6

z
z
z
1
w 2 z 1

...
z
2
40 2160

w1 z

87

Solucin de ecuaciones diferenciales mediante series de potencias

que coinciden con las halladas aplicando cannicamente la expresin de


recurrencia general (excepto los trminos correspondientes a potencias
sextas).
Se agregan a continuacin las grficas de ambas expresiones.

174 Se ha obviado el estudio de la convergencia de las dos series halladas,


haciendo la suposicin que ambas son convergentes.
RAICES IGUALES
175

Si las dos races de la ecuacin indicial son iguales r1 r2 no hay

problema en hallar la primera solucin

w1 z

a r z

n 0

r n

aplicando alguno de los procedimientos vistos en el caso anterior.


Para hallar la segunda solucin el tema se complica pues, al ser
coincidentes las races, un segundo procedimiento de clculo necesariamente
deber ser igual al primero. El camino evidentemente no lleva a ninguna parte.
176 Sin embargo la bsqueda de la segunda solucin puede encararse de la
siguiente forma.: si las races de la ecuacin indicial son coincidentes es porque
dicha ecuacin toma la forma

88

Captulo 3

F r r r 1 p0 r q 0 r r1

y r1 es una raz doble. Y cuando esto ocurre, la raz hallada es tambin raz de
la funcin derivada.
177

Entonces se considera que la expresin


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

es una funcin de la variable r cuya derivada con respecto a r tambin debe


anularse en r1
178

Ese clculo produce, teniendo en cuenta que a 0 r a 0 es una constante

no nula
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
k 0
n 1

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
k 0
n 1

Tomando como factor ln z se tiene


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
0
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 1
k 0

Si en la expresin anterior se hace r r1 ocurre lo siguiente:


1

F r1 0 por ser r1 una raz doble

2
La expresin entre llaves que tiene como factor a ln x es la EDO
resuelta para w1 z . En consecuencia vale cero.

89

Solucin de ecuaciones diferenciales mediante series de potencias

Queda entonces
n 1

a
r
F
r
n
a
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
n
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

a n r1

2na n r1 a k r1 p n k r1 k q n k a k r1 p n k
k 0

F r1 n

la relacin general de recurrencia que permite calcular los coeficientes de una


nueva serie.
179 Resulta as, como segunda solucin cuando las races de la ecuacin
indicial son iguales

w2 z w1 z ln z a n r1 z n r1
n 1

an r1

dan (r )
dr r r1

Donde la sumatoria comienza en n=1 dado que a0(r1) = a0 constante y, en


consecuencia a0( r1) = 0
180 Se desarrolla a continuacin un ejemplo en variable real. Documento
ACM95b/100 b Lecture Notes Caltech.
xy y y 0
P( x) x
Q( x) 1
R( x) 1

90

Q( x) 1

P ( x) x
R( x)
1
q( x)

P( x)
x
p( x)

xp( x) 1
x 2 q ( x) x

Captulo 3

El origen es un punto singular regular. Las funciones xp(x) y x 2 q( x) son


analticas en dicho punto.
181

En consecuencia, se busca una solucin del tipo

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

Reemplazando en la ecuacin diferencial propuesta, operando y agrupando se


llega a la ecuacin indicial
r r 1 r 0
Esta ecuacin de segundo orden tiene dos races iguales. Ambas valen 0.
182 En consecuencia se plantea la bsqueda de una primera solucin de la
forma

y an x n
n 0

y na n x n 1
n 0

y n( n 1) a n x n 2

Reemplazando en la ecuacin diferencial propuesta queda

n 0

n 0

n 0

xy y y n(n 1)a n x n 1 na n x n 1 a n x 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)ka
k 0

k 1

k 0

k 0

k 0

x k (k 1)a k 1 x k a k x k a k 1 (k 1)k (k 1) a k x k

k 0

k 1

(k 1) 2 a k x k 0

De donde
a k 1

ak
( k 1) 2

a0
1
a
a1
a2 2 02
2
1 .2
a0
a
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!)
a1

Resulta finalmente

1
1
1 3
1 4
xn 1 x x2
x
x ...
2
4
36
576
n 0 ( n!)

y1 ( x)

92

Captulo 3

183 Habiendo encontrado la primera solucin, la segunda, linealmente


independiente de la primera, se obtiene mediante la expresin
a n r

y 2 x y1 x ln x a n r1 x n r1
n 1

Para evitar el clculo de an r

da n (r )
dr

r r1

dan (r )
puede procederse mediante la
dr r r1

sustitucin

y y1 x lnx bk x k
k 1

De modo que
y ln x

dy1 x y1 x

kb k x k 1
dx
x
k 1

d 2 y1 x
1 dy1 x
y
ln( x)

x dx
dx 2

dy1 x
y1 ( x)
dx
k k 1bk x k 2
x2
k 1

Reemplazando en la ecuacin diferencial propuesta queda

dy x

x 1 y1 ( x)
1 dy1 x

dy1 x y1 x
d 2 y1 x
k 2
dx

ln( x)

k
k

1
b
x

ln
x

kb k x k 1
x

k
2
2
dx
x
x
dx
dx
x
k 1
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 )

y1 ( x ) 1
ln( x ) x

2
dx
dx
x
x
dx
dx

k 1

k 1

k 1

x k k 1bk x k 2 kb k x k 1 b k x k 0

El primer corchete es nulo puesto que es la ecuacin diferencial dada


con y y1 ( x ) primera solucin. En definitiva queda

k 1

k 1

k 1

x k k 1bk x k 2 kb k x k 1 b k x k 2

dy1 ( x)
dx

1
1
1 3
1 4
xn 1 x x2
x
x .. resulta
2
4
36
576
n 0 ( n!)

Siendo y1 ( x)

dy1 ( x)
1
1
1 3
1 x x2
x ...
dx
2
12
144
Entonces, haciendo k 1 n

k 1

k 1

k 1

(n 1)nbn1 x n (n 1)b n1 x n b n1 x n1 2 x

(n 1)nb

n 1

k 1

(n 1)
n 0

k 1

k 1

x n (n 1)bn 1 x n b n 1 x n 1 2 x

bn 1 x n b n 1 x n 1 2 x
n 0

1 2 1 3
x
x .
6
72
1 2 1 3
x
x ...
6
72

1 2 1 3
x
x ...
6
72

Desarrollando algunos trminos se tiene

b1 b1 x 4b2 x b2 x 2 9b3 x 3 b3 x 4 ... 2 x

94

1 2 1 3
x x ..
6
72

Captulo 3

Y, de esta ltima
b1 2
3
4
1
1 1 3
11
b3
9b3 b2
6
9 6 4
108
1
1 1
11
25
b4

16b4 b3

72
16 72 108
3456
............................................................................................
4b2 b1 1

b2

En consecuencia, la segunda solucin linealmente independiente es

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

184 Al mismo resultado puede llegarse aplicando cannicamente lo


demostrado por Frobenius, planteando la solucin dependiendo de la variable
de la ecuacin diferencial propuesta, z en este caso, y de la raz genrica r de
la ecuacin indicial; derivando luego la expresin resultante con respecto a la
variable r y, por ltimo, reemplazando r por el valor coincidente hallado.
En este caso la expresin es
y x, r 1

x2

x3

x4

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

Calculando la derivada parcial con respecto a r resulta


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
Haciendo ahora r = 0 resulta finalmente

3
11
25 4 137 5
yx, r
2x x2 x3
x
x ...
4
108 3456 432000
r r0
De forma tal que combinada con y1 x ln x permite escribir como segunda
solucin linealmente independiente de la primera

3
11 3
25 4
137
1
1 3
1 4

y 2 x 1 x x 2
x
x ... ln( x) 2 x x 2
x
x
x 5 ...
4
108
3456
432000
4
36
576

que coincide con la hallada anteriormente.


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

Cualquiera de los dos caminos es una trampa especialmente


montada para inducir un error, equivocarse y no llegar a nada.

96

Captulo 3

RAICES QUE DIFIEREN EN UN ENTERO

r1 r2 m

m N

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

a n r k 0

nk

F r n

y observar que F (r n) , cuando r r2


escorpin

dado

que

nk

y n m se transforma en la cola del

F (r n) F (r2 m) F (r1 ) 0

nada

menos

que

un

denominador nulo!
186 Naturalmente esto ocurre al buscar la segunda solucin, dado que la
primera

w1 z x r1 a n r1 z n
n 0

se encuentra mediante el procedimiento ya desarrollado en los casos


anteriores.
187

La segunda solucin presenta dos alternativas.

La expresin

n 1

a r p r k q
k

k 0

nk

nk

es divisible por r r2 y, dado que

F (r ) tambin lo es, la indeterminacin queda salvada y es posible calcular

mediante la frmula de recurrencia los coeficientes a m (r2 ), a m 1 r2 , a m 3 r2 ,... de

forma tal que la segunda solucin sea w2 ( z ) z r2 a n (r2 ) z n . Obsrvese que en


n 0

este caso no existe factor logaritmo.


2

La expresin

n 1

a r p r k q no es divisible por
k 0

nk

nk

r r2 .

En este caso es necesario el trabajo que se consigna en prrafos siguientes.

97

Solucin de ecuaciones diferenciales mediante series de potencias

188

Conocida la primera solucin w1 x la segunda solucin se puede buscar

por dos mtodos distintos. El primero de ellos utilizando el Wronskiano y el


segundo mediante la tcnica de derivacin con respecto a r (Frobenius).
189

Se desarrolla a continuacin el primero de los mencionados.


WRONSKIANO

190 Es un hecho conocido de la teora de las ecuaciones diferenciales lineales


que las soluciones de una EDO lineal de segundo orden son linealmente
independientes y que, por ese motivo el Wronskiano de las mismas debe ser
distinto de cero en el intervalo de validez de las mismas.

W w1 z , w2 z W z

w1 z w2 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

Teniendo en cuenta que la EDO puede escribirse


w z p z w z q z w z 0

Despejando de esta w z y reemplazando en la expresin del Wronskiano se


tiene
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

De donde, resolviendo la EDO de primer orden W z pz W z


z

p z dz
W z Ce 0

98

Captulo 3

191

Teniendo la primera solucin w1 z el clculo de la segunda puede

buscarse de la siguiente forma:


Siendo

W z w1 z w2 z w2 z w1 z

Se dividen ambos miembros por w1 x obtenindose


2

W z w2 z w2 z w1 z w2 z d 1
d w2 z

w2 z
2
2
w1 z dz w1 z
dz w1 z
w1 z w1 z
w1 z

De esta ltima se obtiene

w2 z w1 z

W z
dz w1 z
0
w12 z

zx

p z dz

e 0
dz
w12 z

Siendo esta ltima expresin la que permite el clculo de w2 z . No puede

dejar de mencionarse que w1 z es una serie lo que permite imaginar qu es su


cuadrado y despus su inversa para, luego calcular la integral. Sencillamente
horrible.
FROBENIUS

192 Se desarrolla a continuacin el mtodo de Frobenius aplicado a este


caso.
d 2w
dw
193 Primero, se considera la ecuacin diferencial
pz
qz w 0 y
2
dz
dz
d2
d
se toma el operador L 2 p z q z 0 . Llamando w z, r a la solucin,
dz
dz
deber ser

Lwz, r a0 r r1 r r2 z r
194

Esta expresin se anula para r r1 y r r2 pero para el segundo caso

r r2 tambin se anula el denominador de la frmula de recurrencia, -prrafo


185- hecho que no hace posible la bsqueda de la segunda solucin linealmente
independiente por este camino.

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.
196

Si se toma Lr r2 w z, r a 0 r r1 r r2 z r tambin es solucin de la


2

ecuacin diferencial propuesta


independiente de la primera.
197

pero

no

es

una

solucin

linealmente

Sin embargo, derivando con respecto a r se tiene

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

Esta expresin es nula para r r 2 . Entonces tambin es una solucin de la


ecuacin diferencial en estudio.
198

Entonces, cuando las races r1 y r2 difieren en un entero se tienen las

soluciones linealmente independientes

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

199 A ttulo de ejemplo se resuelven a continuacin EDO que se


corresponden con lo escrito.

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

200

ecuacin dada por z 2 se tiene

100

w
1
1 2 w 0
z 4z

Captulo 3

1
1

y qz 1 2 son analticas en el origen al ser


z
4z
2
multiplicadas por z y z respectivamente.

y las funciones p z

201

Se propone entonces una solucin de la forma

w1 ( z ) z r a n z n a n z n r
reemplazando estos valores en la EDO propuesta queda

n 0

n 0

n 0

an n r n r 1z nr 2 an n r z nr 2 an z nr

1
an z n r 2 0
4 n 0

operando se llega a:

n r
202

1
a n z n r 2 a n z n r 0
4

Haciendo explcitos algunos primeros trminos se escribe

1
1
1
1
2 1

2
2
2
2
r2
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
r a 0 z
4
4
4
4
4

n4

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
0 . Esta es la ecuacin indicial
4
1
1
de la EDO planteada. Sus soluciones son r1
r2
2
2
dado que a0 es distinto de cero, debe ser r 2

203 Estas races difieren en el entero 1, razn por la cual la solucin


correspondiente a r1 se puede obtener fcilmente (es una forma de decir)
mientras que la segunda depender en que caso de los planteados est el
problema.

101

Solucin de ecuaciones diferenciales mediante series de potencias

Observando que en el desarrollo anterior existe un solo trmino en


potencias de z r 1 puede escribirse

2
a1 0

1 r 4 a1 0

2
a3 0
3 r 4 a 3 a1 0
1

5
r
a5 a3 0

a5 0

4
.................................................................
1

k
r
a k a k 2 0

ak 0

k 7,9,11,13,...

204 De la ltima expresin anterior puede plantearse la relacin de


recurrencia

ak

a k 2
1

2
k r 4

De aplicacin para ndices pares con lo que resulta para la raz r1

ak

a k 2
2

1
1

2
4

a k 2
k k 1

De donde
a0
2.3
a0
a
a4 2
4.5 5.4.3.2
a0
a
a6 4
6.7
7.6.5.4.3.2
......................................
a0
j
a 2 j 1
2 j 1!
a2

102

1
2

Captulo 3

Con lo cual la primera solucin es

w1 z z 1

z2 z4 z6 z8

z2j
z 1

...
2 j 1!
3! 5! 7! 9!

Donde no se ha escrito a0 por haberlo supuesto igual a uno.


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

segn se ha establecido en el prrafo 198.


206 Para la determinacin de los coeficientes b, se calculan la primera y
segunda derivada de w2, se reemplaza en la EDO dada y se buscan relaciones
de recurrencia que permitan el clculo de dichos coeficientes en funcin de los
dos primeros.
207

Se agrega el clculo mencionado

w2 w1 ln( z ) z r2 bk z k
0

w2 w1 ln( z ) w1

1 d r2

z bk z k
z dz
0

d2
1
1
1

w1 w1 2 2 z r2 bk z k
z
z
z
dz
0

w
w
d

w1 ln( z ) 2 1 21 2 z r2 bk z k
z
z
dz
0

w2 w1 ln( z ) w1

reemplazando estos valores en la EDO dada resulta

w1 ln( z ) 2

w1
w
d 2 r2
1
d r2
1
21
z bk z k
z b k z k w1 ln( z ) w1
2
z
z
z
dz
z
dz
0
0

1
w1 ln( z ) z r2 b k z k 0
2
4 z

103

Solucin de ecuaciones diferenciales mediante series de potencias

sacando factores comunes y cancelando trminos queda

ln( z ) w1

w1
w
1
w 2 1
1
2 1
z
z
4z

d
1 d 2 r2
1 d 2 r2

k
z
b
z

2 z r2 b k z k

0 k 4 z 2 dz 2 z 0 b k z k
2
z
dz
dz
0

Como w1 es solucin de la EDO dada, el primer corchete es nulo mientras que el


segundo corresponde a la aplicacin del operador
L

d2 1 d
1

1 2
2
z dz 4 z
dz

A la expresin z r2 bk z k de esa forma resulta finalmente


0

12
w
r2
k
L z bk z L z bk z k 2 1
z
0
0

208

Aplicando el operador L se obtiene


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
2
2
0
0
0
0

1
3


1 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

Sacando factor comn


5
2

1
1
3

z bk z k bk z k bk z k
2 0
4 0
4 0


1
1

z 2 kbk z k 1 kbk z k 1 kbk z k 1


2 0
0

2 0
1

z 2 k k 1z k 2 bk z k 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

Escribiendo algunos primeros trminos queda finalmente


2.1b2 z

1
2

2b2 b0 z
209

2.3b3 z 2 3.4b4 z 2 4.5b5 z 2 ... b0 z

1
2

1
2

b1 z 2 b2 z 2 b3 z 2 ...

6b3 b1 z 2 12b4 b2 z 2 20b5 b3 z 2 ...

Trabajando ahora con el segundo miembro de la igualdad

w
L z 2 bk z k 2 1
z
0

Resulta

w1 2

z
z 2

3
2

b z

1
2

kb z
k

k 1

z 2 bk z k 2 z 2 kbk z k 1

0
0

Desarrollando primeros trminos queda

210

3
2

1
5
9

5 2 9 2 13 2
z z z ...
3!
5!
7!

Igualando

2b2 b0 z

1
2

32 5 12 9 52 13 92

6b3 b1 z 12b4 b2 z 20b5 b3 z ... z z z z ...


3!
5!
7!

1
2

3
2

5
2

105

Solucin de ecuaciones diferenciales mediante series de potencias

Tomando coeficientes de potencias iguales de z puede escribirse el sistema

0
2b2 b0 0
5
6b3 b1 0
6
12b4 b2 0
9
0
120
..........................
20b5 b3

De donde puede afirmarse que la segunda solucin no tiene trmino logartmico


y que los coeficientes bk pueden hallarse calculando

b0
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
2b2 b0 0

211

b2

Por fin puede escribirse como segunda solucin de la EDO dada

w2 z

1
2

1k 2 k

1
z b1
z 2 k 1
b0
0 2k 1!
0 2k !

Como b1 es arbitrario puede tomarse nulo, con lo cual resulta


1
w2 ( z )
z

106

1k 2 k
z
b0
0 2k !

Captulo 3

La solucin general es entonces

w( z ) C1 z 1
0

1 (1) k 2 k
z 2k
z
C2

2k 1!
z 0 (2k )!

las constantes a0 y b1 se han consolidado en las constantes de integracin C1 y


C2 respectivamente. Por supuesto, el valor de estas constantes depende de las
condiciones iniciales del problema en consideracin y/o del problema fsico en
tratamiento. No debe olvidarse que se trata de ecuaciones diferenciales de
segundo orden, problema de valores iniciales, cuya solucin general depende de
los valores de la funcin solucin y de su derivada en un punto z0.
212 Se desarrolla a continuacin un segundo ejemplo. Se trata de resolver la
ecuacin
zw w 0

para la que se propone una solucin del tipo

w z r a n z n a n z n r

cuyas derivadas son

w ( n r ) a n z n r 1
0

w ( n r )( n r 1) a n z n r 2
0

213

Introduciendo estos valores en la ecuacin propuesta queda

z ( n r )( n r 1) a n z n r 2
0

( n r )( n r 1) a
0

z nr 0

z n r 1 a n z n r 0
0

107

Solucin de ecuaciones diferenciales mediante series de potencias

escribiendo el primer trmino y agrupando queda

r (r 1)a0 z r 1 (n r )(n r 1)an z n r 1 an z n r 0


1

r (r 1)a0 z r 1 (n r )(n r 1)an z n r 1 an 1 z n r 1

r (r 1)a0 z r 1 (n r )(n r 1)an an 1 z n r 1 0


1

214 El primer trmino contiene la ecuacin indicial, que se escribe a


continuacin junto a sus races
r ( r 1) 0
r1 1
r2 0

que difieren en un entero

215

Asimismo, el corchete de la ltima expresin debe ser nulo, entonces


(n r )(n r 1)an an 1 0

De donde se deduce que

an

a n 1
(n r )(n r 1)

Y, de esta ltima para r=1


an

108

an 1
(n 1)n

Captulo 3

De donde
a0
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
a1

Y se puede escribir

z2 z3
z4
z5
z6
z7
w1 a 0 z

...
2 12 144 2880 86400 3628800

216

Cuya grfica es, haciendo a 0 1

109

Solucin de ecuaciones diferenciales mediante series de potencias

217 Toca ahora calcular la segunda solucin, correspondiente a la raz r 0 .


Como se explicara en el prrafo 201, la segunda
solucin linealmente
independiente de la primera puede calcularse mediante la siguiente expresin

w2 z

r r2 w1 z w1 z ln( z ) z r2 bn z n
r
0

Y recordando que la solucin w1 z es

w1 z a n z n 1

an

1n a0
n 1n!2

Que, una vez expandida queda

w1 z z

z 2 z3 z 4
z5
z6

...
2 12 144 2880 86400

Adems, se recuerda que la ecuacin diferencial es zwz wz 0 con lo


cual, el operador correspondiente es

L zD 2 1
218

Se plantea entonces como segunda solucin

w2 z w2 w1 z ln( z ) z 0 bn z n
0

Donde resulta necesario calcular los coeficientes bn


Para poder reemplazar en la ecuacin diferencial dada es necesario
calcular
w1 d

bn z n
z dz 0

2
w
w
d

w2 w1 ln z 2 1 21 2 bn z n
z
z
dz 0

w2 w1 ln z

110

Captulo 3

Llevando estos valores a la ecuacin diferencial en estudio, resulta


zw2 w2 zw1 ln z 2 w1

ln z zw1 w1 2 w1
219

w1
d2

z 2 bn z n w1 ln( z ) z 0 bn z n
z
dz 0
0

w1

L bn z n 0
z
0

Dado que zw1 w1 0 Por qu? resulta


w

L bn z n 2 w1 1
z
0

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

b0 b1 z b2 z b3 z 3 b4 z 4 b5 z 5 ...
2

b0 2b2 b1 z 6b3 b2 z 2 12b4 b3 z 3 20b5 b4 z 4 30b6 b5 z 5 ...

220 Calculando el segundo miembro de la ecuacin inicial de este prrafo


resulta:
2 w1

w1
z2 z3
z4
z5
z2
z3
z4
z5

2 1 z

... 1

..
4 36 576 14400
2 12 144 2880 86400
z

obsrvese que el primer parntesis de la expresin anterior es la derivada de


w1

111

Solucin de ecuaciones diferenciales mediante series de potencias

Se puede ahora escribir


2 w1

w1
3
5
7
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
3
4
144

....

De la segunda resulta

b2

13
1

3
b1 b0 b1
22
2

De la tercera
b3

1 5

b2
6 12

reemplazando b2 por la su expresin en funcin de b1, se obtiene


b3

1 7

b0 b1
12 3

De la misma forma se llega a


b4

1 35
1
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

1
1 7
1 35
1
3

b0 b1 z 2 b0 b1 z 3
b0 b1 z 4 ...
2
12 3
12 144
12
4

tiene

Tomando arbitrariamente b0 y b1 iguales a 1 lo que implica tomar =-1 se

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

Obsrvese que b0 y estn relacionados por la igualdad b0=- mientras


que b1 si es arbitrario. Podra haberse tomado b1 =0 con lo cual la segunda
solucin hubiese sido
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

No debe causar sorpresa al lector esta aparente disparidad de


resultados. Tngase en cuenta que, como ya se ha anticipado en el ejemplo
anterior, una ecuacin diferencial de segundo orden tiene como solucin
general una combinacin lineal de dos funciones linealmente independientes,
siendo las constantes que definen esa combinacin lineal el resultado de la
adecuacin de la solucin general a los valores iniciales del problema planteado.
En la medida que se tomen otros valores en forma arbitraria, como en este
caso, los resultados dispares sern esperables.

Adems se debe prestar atencin al hecho que se ha tomado

a 0 =1 hecho que condiciona el valor posible de b 0 segn el siguiente


desarrollo.

w2 ( z ) z r 2 bk z k z 0 (b0 b1 z b2 z 2 b3 z 3 ...) b0 z r1 (b1 b2 z b3 z 3 ...)


0

Con lo que b0 = a0 = 1 = -

113

Solucin de ecuaciones diferenciales mediante series de potencias

222 A continuacin se resuelve nuevamente el ejercicio utilizando la tcnica


propuesta por Frobenius. Para ello se considera la forma general del trmino
ensimo determinada en prrafo 218 precedente
a n 1
( n r )( n r 1)
a0
a1
1 r r
a0
a1

a2
( 2 r )(1 r ) ( 2 r )(1 r ) 2 r
a0
a2

a3
(3 r )( 2 r )
(3 r )( 2 r ) 2 (1 r ) 2 r
an

---------------------------------------------

y, con l se expresa

z
z2
z3
z4

...
w( z , r ) a 0 z r 1

2
2
2
2
2
2
r 1 r r 1 r 2 r r 1 r 2 r 3 r r 1 r 2 r 3 r 4 r

Resulta obvio que, al tomar r 0 los trminos dentro del corchete se


indeterminan. Siguiendo lo propuesto por Frobenius, esta expresin se
multiplica por r evitndose as las indeterminaciones mencionadas. Resulta

z
z2
z3
z4

...
rw( z, r ) a 0 z r r
2
2
2
2
2
2
1 r 1 r 2 r 1 r 2 r 3 r 1 r 2 r 3 r 4 r

223

Corresponde ahora calcular

arbitrariamente a 0 1

114

rw z , r
. Este clculo da, haciendo
r

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

1 r 3 2 r 2 3 r

2 z 4 r

2 z 3 r

z 4 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

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

rz r ln( z )

z 1 r ln( z )
z 2 r ln( z )
z 3 r ln( z )
z 4 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

por supuesto, el clculo ha sido hecho con MATHEMATICA.


224

Haciendo r=0 en la expresin anterior se tiene

w2 z 1 z

5 2 5 3
47 4
1
1
1 4
1

z z
z ... z z 2 z 3
z
z 5 ... ln( z )
4
18
1728
2
12
144
2880

que coincide con una de las soluciones halladas anteriormente


WRONSKIANO
225 Para aplicar la tcnica de clculo de la segunda solucin mediante el
Wronskiano, se recuerda que la expresin correspondiente a esta segunda
solucin es
z

w2 ( z ) w1 ( z )

p ( z ) dz
e 0

w1 ( z )2

dz

en el caso en estudio es p ( z ) 0 , entonces queda


w2 ( z ) w1 ( z )

226

dz

w1 ( z )2

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

Luego corresponde calcular su inversa efectuando para ello una divisin


de polinomios hasta alguna potencia coherente con el cuadrado antes calculado.
A continuacin una integral definida con lmite superior variable y lmite
inferior que la frmula establece como cero pero que en la parte operatoria
debe ser otro valor por la indeterminacin que el cero produce en la evaluacin
del resultado de la integracin. No ha sido posible encontrar referencia sobre
este punto en la bibliografa ni tampoco establecer relacin alguna de este
valor con alguna de las constantes arbitrarias antes definidas.
Luego, nada menos que multiplicar la serie representativa de la primera
solucin, mejor dicho, alguno de sus primeros trminos, por el resultado de la
integracin para obtener la segunda solucin.
El autor recorri varias veces este laborioso camino, llegando a
resultados poco satisfactorios con relacin a los previamente calculados (b0 y
b1 y aplicacin de la metodologa propuesta por Frobenius, etc.). Su
colaboradora hizo lo propio, verificando numricamente resultados calculados
con iguales discrepancias finales.
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.
Claramente este parece ser un tema a resolver, por supuesto, ajeno al
alcance de estas notas sobre el tema.
Por lo expuesto, no se presenta en estas pginas el clculo de la segunda
solucin mediante el Wronskiano.

116

Captulo 3

GRAN RESUMEN
227 Sea z0 un punto singular regular para una ecuacin diferencial de
segundo
orden,
homognea
de
la
forma
sea el radio de convergencia de los desarrollos en serie de los
coeficientes (el menor de ellos) y sean r1 y r2 las races de la ecuacin
indicial o de ndices ordenados de forma tal que Re(r1) Re(r2). Entonces
existen en (z0, z0 + ) dos soluciones linealmente independientes dadas por
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

bn ( z z0 )n

n 0

Si r1 = r2= r las soluciones son

w1 z ( z z0 )r an ( z z0 )n
n 0

w2 z w1 ( z ) ln( z z0 ) ( z z0 )r bn ( z z0 )n
n 0

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

bn ( z z0 )n

n 0

y puede ser cero

117

(pgina dejada intencionalmente en blanco)

Captulo 4

CAPITULO CUARTO
FUNCIONES ESPECIALES
Ecuaciones diferenciales con nombre propio
228 En la fsica matemtica y en la ingeniera se presentan problemas cuyos
modelos matemticos son ecuaciones diferenciales en derivadas parciales. Sus
respectivas soluciones son necesarias para predecir o simular el
comportamiento de los sistemas que responden a dichos modelos. Esto, desde
el punto de vista de la ingeniera, es fundamental porque tanto predicciones
como simulaciones permiten la realizacin y la operacin de los ingenios
necesarios para la aplicacin prctica de modelos tericos debidamente
aceptados.
229 Los casos de simetra axial o central existentes llevan en forma
inexorable a la utilizacin de sistemas de coordenadas cilndricas o esfricas
respectivamente, sistemas de referencia que, cuando se aplica a aquellas
ecuaciones el mtodo de separacin de variables llevan a ecuaciones
diferenciales de segundo orden de formas especiales, que se identifican con
los nombres propios de aquellos que las estudiaron en sus orgenes.
230 Las soluciones de estas ltimas ecuaciones diferenciales definen
funciones a las que suele denominarse funciones especiales.
231 Obsrvese que las muy trilladas funciones trigonomtricas pueden, en
este orden de ideas, ser definidas como las soluciones de la ecuacin
diferencial
y ''( x ) y ( x ) 0

con adecuadas condiciones iniciales.

119

Solucin de ecuaciones diferenciales mediante series de potencias

232 Naturalmente las funciones definidas por las ecuaciones diferenciales


que sern expuestas no son tan elementales como las trigonomtricas, aunque
algunas tienen comportamientos oscilatorios similares, aparte de otras
propiedades fundamentales para el tratamiento de los problemas que las
generan.
233 A ttulo ilustrativo, no completo, este tipo de ecuaciones diferenciales
aparecen en el estudio de potenciales en campos conservativos; en campos no
conservativos; esfuerzos de torsin; distribucin de temperaturas en rgimen
estacionario; propagacin del calor; vibraciones de cuerdas y membranas;
propagacin de ondas sonoras, luminosas, de radio, de seales telegrficas; etc.
234 Aunque todas estas funciones tienen importantes propiedades
matemticas las mismas no se exponen ni se desarrollan porque el objetivo de
este trabajo es ver la solucin de EDO por medio de series de potencias. Nada
ms. El lector interesado puede sin duda alguna recurrir a la muy amplia y
variada bibliografa existente para cada una de ellas.
ECUACION DE HERMITE
235 La ecuacin de Hermite as llamada en honor a Charles Hermite (24 de
diciembre de 1822 - 14 de enero de 1901) un matemtico francs que investig
en el campo de la teora de nmeros, sobre las formas cuadrticas, polinomios
ortogonales y funciones elpticas, y en el lgebra. Varias entidades
matemticas se llaman hermitianas en su honor.
236 Le fueron concedidos los honores de Gran Oficial de la Legin de
Honor y la Gran Cruz de la Estrella polar de Suecia.

120

Captulo 4

237

La ecuacin de Hermite

d 2 wz
dwz
2z
wz 0
2
dz
dz
donde es un parmetro real, est ntimamente relacionada con diversos
problemas de Mecnica Cuntica
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

Y se reemplaza en el EDO dada, quedando

n2

n 1

n 0

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
239

Haciendo

nn 1a
n2

z n 2 i 2i 1ai 2 z i
i 0

n 1

i 0

nan z n i 1ai1 z i1

n 0

i 0

a n z n ai z i
resulta

121

Solucin de ecuaciones diferenciales mediante series de potencias

i 2i 1a

i 0

i2

ai z i 2i 1ai 1 z i 1 0

De donde
i0
i 1
i2
i3

2.1a 2 a 0 2 a1 z

3.2 a 3 a1 z 2.2 a 2 z 2

4.3a 4 a 2 z 2 2.3a 3 z 3

5.4 a 5 a 3 z 3 2.4 a 4 z 4 ...

Agrupando segn potencias de z se tiene


2a 2 a 0 0

a2

i 2i 1ai 2 2i ai

a0

ai 2

2i
a
i 2i 1 i

Con lo cual
a3

2
a1
3.2

a4

4 a 4 a
4
a2
0
0
4.3
4.3 2
4!

a5

6 2 a
6
6 2
a3
a1
1
5.4
5.4 3.2
5!

4 . 8
8
a4
a0
6.5
6!
.......................................................
a6

122

Captulo 4

240

En general se puede escribir


a 2i

a 2i 1

241

2.2 ...22i 2

2i !

a0

2.1 ...22i 1 a
1
2i 1!

Tomando como factores comunes a a 0 y a1 se escribe como solucin

general de la EDO de Hermite

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!

242 Un caso interesante se da cuando el parmetro es par, de la forma


= 2 k En ese caso la relacin de recurrencia muestra que ak+2 = ak+4 = =0 y, si
se toma a1 =0 la solucin se reduce a un polinomio de grado k. De la misma
forma, si k es impar y se toma a0 = 0 la solucin se reduce a otro polinomio de
grado k
243 Con una eleccin especial de a0 y a1 para que el coeficiente de zk sea 2k
resultan los denominados polinomios de Hermite.

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

.......... .......... .......... .......... ..


Cuyas respectivas representaciones grficas se agregan a continuacin

123

Solucin de ecuaciones diferenciales mediante series de potencias

ECUACION DE LAGUERRE
244 Edmond Nicols Laguerre (Francia, 9 de abril de 1834, Bar-le-Duc - 14
de agosto de 1886), fue un matemtico francs, conocido principalmente por la
introduccin de los polinomios que llevan su nombre.
245 Comenz sus estudios en la cole Polytechnique (Promocin 1853).
Efectu una carrera militar de 1854 a 1864 como oficial de artillera. Luego,
fue tutor de la escuela en la que se form.
246 Laguerre public ms de 140 artculos sobre los diferentes aspectos de
la geometra y del anlisis. Sus obras completas fueron publicadas en diez
volmenes entre 1898 y 1905 por encargo de Charles Hermite, Henri Poincar
y Eugne Rouch.

124

Captulo 4

247

La ecuacin diferencial de Laguerre es

zw (1 z)w w 0

en la que z 0 es un punto singular regular dado que z


funciones analticas en el origen

1 z
z

y z2

son

La ecuacin indicial es

r r 1 p 0 r q0 0
donde

p0 lim z
z 0

1 z 1

q0 lim z 2
z 0

en consecuencia r r 1 p0 r q0 r r 1 r 0

r 2 0 con lo que

resultan dos races iguales a cero


248 De acuerdo a lo visto, la ecuacin de Laguerre tiene dos soluciones
linealmente independientes dadas por

w1 ( z ) a n z n
0

249

w2 ( z ) w1 ( z ) ln( z ) bn z n
0

La primer solucin se busca haciendo

w1 ( z ) a n z n
0

y sustituyendo en la ecuacin diferencial propuesta, resulta

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

nn 1a n z n 1 na n z n 1 na n z n a n z n 0

250

Haciendo explcitos algunos trminos se tiene

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
agrupando segn potencias de z

a1 a0 2.1a2 2a2 a1 a1 z 3.2a3 3a3 2a2 a2 z 2 4.3a4 4a4 4a4 a4 z 3 ... 0


De donde
a1 a0 0

a1 a0

2.1a2 2a2 a1 a1 0

3.2a3 3a3 2a2 a2 0

a2

a3

a0

1 2
4.9

a0

En general, para la potencia z k se tiene (habra que probarlo por induccin)

k 1kak 1 k 1a k 1 kak a k

de donde se obtiene la relacin de recurrencia

a k 1 1

1 2... k

k 1!2

a0

Haciendo a0 1 se tiene

w1 z 1 1
1

126

1 2... n 1

n!

zn

Captulo 4

251

Si es un nmero natural, las soluciones son polinomios.


L0 z 1

L1 z 1 z
1 2
z
2
3
1
L3 z 1 3 z z 2 z 3
2
6

L2 z 1 2 z

ECUACION DE LEGENDRE
252 Adrien-Marie Legendre, Pars, 18 de septiembre de 1752 - Auteuil,
Francia, 10 de enero de 1833) fue un matemtico francs. Hizo importantes
contribuciones a la estadstica, la teora de nmeros, el lgebra abstracta y el
anlisis matemtico.

127

Solucin de ecuaciones diferenciales mediante series de potencias

253 Se lo conoce tambin por la transformada de Legendre, utilizada para


pasar de la formulacin lagrangiana a la hamiltoniana de la mecnica clsica.
Tambin se usa en termodinmica para obtener la entalpa de las energas
libres de Helmholtz y Gibbs partiendo de la energa interna.
254

La ecuacin diferencial de Legendre es de la forma

1 z w 2 zw 1w 0
2

dividiendo por 1 z 2 se tiene


p( z )

q( z)

2z
1 z2

1
1 z2

que son funciones analticas en el origen, en consecuencia la ecuacin admite


una solucin en serie de potencias de la forma

w( z ) a n z n
0

w( z ) nan z n1
1

w( z ) nn 1a n z n 2
2

255

Reemplazando en el ecuacin diferencial dada se tiene

1 z nn 1a z
2

n2

2 z nan z n 1 1 a n z n 0

Observando que

nn 1an z n2 n 2n 1an2 z n2
y que

na
1

128

z n1 n 1a n1 z n
0

Captulo 4

256

Resulta, reemplazando nuevamente en la ecuacin diferencial

n 2n 1a

n2

nn 1a n 2a n 1a n z n 0

operando en el corchete se obtiene

n 2n 1a

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

que es la relacin de recurrencia que permite calcular los coeficientes del


desarrollo en serie de la solucin conocidos a0 y a1 .
257

Tomando valores n= 0,1,2,3,4,5, se tiene


a2

a3

a4
a5

5 4

2 1

2 1 a
1

3 2

3 2 a

43

1 a

a3

3 1 2 a

4 3 2 1

2 1 3
5 4 3 2 1

a1

Por induccin es posible demostrar que


a2 n (1) n

2n 1 2n 3 ... 1 2 ... 2n 2 a
(2n !)

a2 n 1 (1) n

2n 2n 2 ... 2 1 3 ... 2n 1 a
(2n 1)!

129

Solucin de ecuaciones diferenciales mediante series de potencias

258

Se definen

1 ( z ) 1 ( 1) n
1

2 ( z ) z ( 1) n
1

2n 1 2n 3 ... 1 2 ... 2n 2 z 2 n
(2n !)
2n 2n 2 ... 2 1 3 ... 2n 1
(2n 1)!

z 2 n 1

entonces, la solucin general de la ecuacin de Legendre es

( z ) a01 ( z ) a12 ( z )
Si es un nmero par, de la forma 2 m, m natural, entonces la funcin
1 ( z ) es un polinomio de grado 2m con potencias pares de z. La otra funcin

259

2 ( z ) es una serie de potencias. Se listan a continuacin algunos polinomios


0 1 ( z ) 1

2 1 ( z) 1 3z 2
4 1 ( z ) 1 10 z 2

260

35 4
z
3

Si 2 m 1, m natural entonces 1 ( z ) es una serie de potencias y 2 ( z ) es

un polinomio de grado 2m 1 que contiene solo potencias impares de z. Se listan


a continuacin algunos de ellos
1 2 ( z ) z
5
3 2 ( z ) z z 3
3
14 3 21 5
5 2 ( z ) z z z
3
5

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
262 As llamada en honor a George Biddell Airy (Alnwick, 27 de
julio de 1801 - Greenwich, 2 de enero de 1892, Reino Unido de la Gran Bretaa,
Gales y Escocia) fue un astrnomo y matemtico ingls.

263 Es una ecuacin relacionada con la ecuacin de Schrdinger y con el


movimiento unidimensional de una partcula cuntica afectada por una fuerza
constante.

131

Solucin de ecuaciones diferenciales mediante series de potencias

264

La ecuacin es de la forma

w zw 0
cuyos puntos son regulares, admitiendo en consecuencia una solucin en serie
de potencias del tipo:

w an z n
0

w nan z n1
1

w nn 1a n z n2
2

Reemplazando en la ecuacin diferencial se tiene

nn 1a

z n 2 z a n z n nn 1a n z n 2 a n z n 1
0

2.1a 2 k 2 k 1a k 2 z k a k 1 z k 0

265 Donde, a fin de encontrar una relacin de recurrencia entre los


coeficientes de la serie solucin, se hace, en la primera sumatoria k n 2 y en
la segunda k n 1 y se escribe explcitamente el trmino correspondiente a
z 0 . Con esas igualdades resulta

k 2k 1ak 2 z k ak 1 z k

k 2k 1a

k 2

a k 1 z k 0

Para satisfacer la igualdad, deber ser

k 2k 1a k 2 a k 1 0
De donde

ak 2

132

a k 1
k 2k 1

Captulo 4

266

Puede escribirse entonces


a0
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
.......................................
a3

Y de all

1 3
1
1
1 4
1
1

wz a0 1
z
z6
z 9 ... a1 z
z
z7
z 10 ...
2.3.5.6
2.3.5.6.8.9
4.3
3.4.6.7
3.4.6.7.9.10
3.2

En general, despus de larga especulacin y grandes cantidades de


prueba y ensayo

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
3k !
3k 1!
1
1

ECUACIN DE BESSEL
267 La Ecuacin de Bessel aparece cuando se buscan soluciones a la ecuacin
de Laplace o a la ecuacin de Helmholtz por el mtodo de separacin de
variables en coordenadas cilndricas o esfricas. Por ello, las funciones de
Bessel son especialmente importantes en muchos problemas de propagacin de
ondas, potenciales estticos y cualquier otro problema descrito por las
ecuaciones de Helmholtz o Laplace en simetras cilndricas o esfricas. Cuando
se resuelven sistemas en coordenadas cilndricas, se obtienen funciones de

133

Solucin de ecuaciones diferenciales mediante series de potencias

Bessel de orden entero ( n ) y en problemas resueltos en coordenadas


esfricas, se obtienen funciones de Bessel de orden semientero ( n 1 / 2) ,
por ejemplo:

Ondas electromagnticas en guas de onda cilndricas.


Modos transversales electromagnticos en guas pticas.
Conduccin del calor en objetos cilndricos.
Modos de vibracin de una membrana delgada circular (o con forma de
anillo).
Difusin en una red.

Tambin se usan funciones de Bessel en otro tipo de problemas como en


procesamiento de seales.

268

La ecuacin de Bessel es de la forma

z 2 w '' zw ' ( z 2 2 ) w 0

y se la suele denominar de orden aunque es una ecuacin diferencial de


segundo orden, donde z 0 es un punto singular regular dado que

zp( z ) z
z 2 q( z ) z 2

z
1
z2

(z2 2 )
(z2 2 )
2
z

son funciones analticas en el origen de coordenadas.

134

Captulo 4

269

Se toma entonces como solucin

w( z ) w z r an z n an z n r

w '( z ) w ' (n r )an z nr 1


0

w ''( z ) w '' (n r )(n r 1)an z n r 2


0

reemplazando en la ecuacin diferencial queda

z 2 (n r )(n r 1)an z n r 2 z (n r )an z n r 1 ( z 2 2 ) an z n r 0


De esta ltima se obtiene

(n r )(n r 1)an z nr (n r )an z nr an z nr 2 2 an z nr 0


270

Haciendo sucesivamente n = 0, 1, 2, 3, 4, 5, queda, agrupando segn

potencias crecientes de z

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
Como se postula que a0 0 queda
r ( r 1) r 2 0

Esta es la ecuacin indicial que se escribe como


r2 2 0

de donde r1 y r2 .

135

Solucin de ecuaciones diferenciales mediante series de potencias

271

De los coeficientes correspondientes a la potencia z r 1 resulta

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 .

De los correspondientes a la potencia z r 2 resulta

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

a2

a0

(r 2) 2 2

De los correspondientes a la potencia z r 3 resulta

a1 a3{(r 3)[(r 2) 1] 2} 0
Como a1 0 resulta que tambin a3 0
De la misma forma salen

a4

a0
a2

2
2
2
2
(r 4)
[(r 2) ][(r 4) 2 2 ]

a5 0
a6

a0

[(r 2) ][(r 4) 2 2 ][(r 6) 2 2 ]


2

a7 0
272

Se analizan casos segn el valor de

real no entero
En este caso se tiene r1 y r2

136

Captulo 4

a2

a0
(r1 2) 2 2

Tomando r1 y desarrollando cuadrados se tiene

a0
a0

2
4 1
4 4
a0
a2
a2
a2
a4
2

2
2
2
8 2 4.8. 1 2
8 16
4
a0
a4
a4
a4
a6
2

2
2
2
12 3
4.8.12 1 2 3
12 36
6
a2

.......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... ......
a2k

( 1) k a 0
2 2 k k! 1 2 3... k

Reemplazando estos valores en la serie solucin se obtiene


( 1) k a 0
z 2 k
2k

2
!

3
...

k
k
k 0

w1 z a 0

En la bibliografa se suele tomar como valor arbitrario de a0 el valor


a0

Donde

1
2 1

es un smbolo que representa a la denominada funcin Gamma definida

como, tambin llamada factorial generalizado

z t z 1e t dt
0

cuya propiedad fundamental es

z 1 zz
a partir de la cual se deduce

n 1 n!

137

Solucin de ecuaciones diferenciales mediante series de potencias

En base a esta funcin se escribe la funcin de Bessel de orden


J z

2 k
1k
z

k!k 1 2

Para lo otra raz r2 se puede demostrar que


2 k
k

1
z
J z

k!k 1 2

es linealmente independiente de la primera. En consecuencia, la solucin


general de la ecuacin diferencial de Bessel en este caso es

w z

II

c1 J

c2J

Caso en que 0 r1 y r2 0

De acuerdo a lo visto en prrafo anterior, ser

138

Captulo 4

a1 a3 a5 0
a0 arbitrario

a2
a4
a6

a0
22

a0
22 42

a
246

0
2 2 2

a2 n (1)n

a0
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
242

22 (222 )(2232 )(22 42 ) (22 n2 ) 22 n (1 223 n2 ) 22 n (n !)2


Puede escribirse finalmente tomando arbitrariamente a0 1
J0 z 1

z2
z4
z6
z 2n
n

...
...(
1)
22 22 42 22 4262
2 2 n ( n !) 2

Esta misma ecuacin puede escribirse


2

z
z
z
z




2
2
2
2

J 0 z 1

2 ...
2
2
2
1!
2! 3! 4!

Se grafica a continuacin J 0 z con 15 trminos.

139

Solucin de ecuaciones diferenciales mediante series de potencias

La misma funcin segn MATHEMATICA

Superposicin de los dos grficos

140

Captulo 4

273

Corresponde ahora encontrar la segunda solucin, solucin que por

tratarse de races iguales de la ecuacin indicial se puede buscar mediante el


procedimiento propuesto por Frobenius.
Para ello se establece la expresin

z2
z4
z 2n
n
w( z, r ) z 1

(1)
2
2
2
2
2
2
(r 2) (r 4) (r 2n)
(r 2) (r 2) (r 4)
r

Se la deriva con respecto a r y luego se hace r=0. Procediendo de esa forma se


tiene

2z 2
2z 4
2z 4
2z 6

3
r 22 r 43 r 23 r 42 r 22 r 42 r 63
w( z , r )
r r 2
z

r
2z 6
2z 6

...

2
3
2
r 23 r 42 r 62
r 2 r 4 r 6

z2
z4
z6

z r 1
Log ( z )
2
2
2
2
2
2
r 2 r 4 r 2 r 4 r 6
r 2

Haciendo ahora r=0 queda, como segunda solucin


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

274

Se grafican a continuacin la funcin w2 z obtenida, la que se obtiene en

MATHEMATICA y la superposicin de ambas

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

J 0 z ln( z ) ( 1) n
1

z 2n 1 1
1
1
2n
2
2 ( n !) 2 3
n

III

Caso n=1.

275

En este caso la ecuacin indicial es


r2 1 0

Con races r1 1 y r2 1 que difieren en un entero r1 r2 1 (1) 2 lo que


indica que la segunda solucin debe ser hallada aplicando el mtodo de
Frobenius o el del wronskiano.
Tomando a0 0 resulta a1 0 y, junto a l todos los coeficientes de
subndice impar.
Con relacin a los de subndice par ocurre lo siguiente:

a2
a4

a0
a
a
2 0 2 0
2
2
(r1 2) r1
3 1
8

a0
a
a2

0
2
2
2
2
(r1 4) r1
8(5 1 ) 8 24

De la misma forma se obtienen

a6
a8

a0

8 24 48

a0

8 24 48 80

Puede escribirse entonces

z3
z5
z7
z9
J 1 z a 0 z

...
8 192 9216 737280

276

Para hallar la segunda solucin se hace


an

an 2
an 2
an 2

2
2
( r n) 1
[(r n) 1][r n) 1]
(r n 1)(r n 1)

143

Solucin de ecuaciones diferenciales mediante series de potencias

a2

a0

( r 1)( r 3)

a4
a6

a0
a2

(r 5)(r 3) (r 5)(r 3) 2 (r 1)

a0
a4

(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


2
2
2
(r 1)(r 3) (r 5)(r 3) (r 1) (r 7)(r 5) (r 3) (r 1)

Si se hace r 1 se anulan todos los denominadores, no siendo posible,


en consecuencia continuar por este camino para la determinacin de la segunda
solucin. Ver prrafo 185 en el captulo 3.
277

Sin embargo, siguiendo lo demostrado por Frobenius, se puede tomar

z r 2
z r 4
z r 6


(r 1) w( z, r ) a0 (r a) z r
2
2
2
(r 3) (r 5)(r 3) (r 7)(r 5) (r 3)

Y derivar esta expresin con respecto a r y luego hacer r 1 . Se tiene as

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
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
2

Dndole a r el valor -1 se tiene finalmente

144

Captulo 4

1
1 5
1 z 5
5 5
1

w2 ( z ) z z 3
z ln( z ) z 3
z
16
384
z 4 64
1152
2

y esto es igual a
Y1 z

278

1
1
5z 6
47 z 8
131 z 10
z 2 5z 4
ln z J 1 z 1

...
2
4
64 1152 442368 88473600
z

En los textos en los que se trata en profundidad la ecuacin diferencial

de Bessel, sus soluciones y propiedades, se demuestran las siguientes


relaciones de recurrencia:
2n
J n z
z
J n 1 z J n 1 z 2 J n' z
J n 1 z J n 1 z

Lo que permite afirmar que, conocidas J0 y J1 todas las funciones de Bessel de


orden entero pueden conocerse a travs de esas relaciones.
279

El siguiente grfico representa las funciones de Bessel J0, J1, J2, J3 y J4

Y el siguiente las segundas soluciones correspondientes

145

Solucin de ecuaciones diferenciales mediante series de potencias

280

Caso en que = . En este caso la ecuacin de Bessel toma la forma

1
z 2 w '' zw ' ( z 2 ) w 0
4
Se toma como solucin en serie de potencias

w( z ) w an z r n
0

tomando, como siempre a0 0 .


Sustituyendo en la ecuacin diferencial, se tiene

0 (r n)(r n 1)an z

an z r n 2
0

r n

(r n)an z r n
0

1
an z r n 0
4 0

De esta ltima resulta

r n

(
)(
1)
(
)
r
n
r
n
r
n
a
z
an z r n 2 0
0

4
0

Haciendo explcitos los dos primeros trminos de la serie queda

r+n
1
1
2 1

r
2
r 1
2
r
a
z
r
a
z

(
1)
(r n) an an 2 z =0

4
4
4

La ecuacin indicial o de ndices es

146

Captulo 4

1
r2 0
4
Cuyas races son r1

1
1
1 1
y r2 y cuya diferencia es r1 r 2 1 un
2 2
2
2

entero positivo!
281

Se considera en primer lugar la raz r1

1
1
. 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.
Para los coeficientes pares se tiene, despejando de la llave de la
expresin anterior
an

an 2
2

1
1
n
2
4

Haciendo n=2m queda


a2 m

a2 m 2
2

1
1
2m
2
4

a2 m 2
2m(2m 1)

m=1,2,3,4,

Resulta as

a2
a4

a0
23

a0
a
a2

0
5 4 5 4 3 2 5!

a6

a
a4
0
76
7!

En general

a2 m (1)m

a0

(2m 1)!

147

Solucin de ecuaciones diferenciales mediante series de potencias

282

Entonces se puede escribir como primer solucin, con a0 1

(1)m 2 m 12 (1)m 2 m1
w1 ( z ) z 1
z z
z

1 (2m 1)!

0 (2m 1)!

1
2

y esto ltimo por el conocido desarrollo en serie de potencias de la funcin


seno, resulta
w1 ( z )

1
sen( z )
z

Definiendo
1

2
2 2
J 1 ( z ) w1 ( z )
sen( z )
z

2

Cuya grfica se agrega a continuacin

283

Corresponde ahora encontrar la segunda solucin. Para ello se parte de la

expresin

r+n
1
1
2 1

r
2
r 1
2

(
1)
r
a
z
r
a
z
(r n) an an 2 z =0

4
4
4

148

Captulo 4

deducida en prrafo 280 precedente.


Siendo en este caso r

1
el corchete
2

1 2 1
1

2
(
r

1)

1 0

4
2 4

se anula, lo que indica que el coeficiente a1 puede ser elegido arbitrariamente.


284

Entonces, para los coeficientes pares puede escribirse, como antes


a2 m

a2 m 2
2

1
1
2m
2
4

a2 m

a2 m 2
2m(2m 1)

a2 m 2

m=1,2,3,4,

m=1,2,3,4,

1
1
2m
2
4

De donde
a0 arbitrario
a2

a4

a2 m

285

a0
2

1
1
2
2
4
a2
2

1
1
4
2
4

( 1) m a0

2m !

a0

a0
a2

4 3 4 3 2

m=1,2,3,4,

Con relacin a los coeficientes impares, mediante un clculo similar al

anterior, resulta
a2 m 1

( 1) m a1
2m 1!

m=1,2,3,4,

149

Solucin de ecuaciones diferenciales mediante series de potencias

286

Finalmente resulta, como segunda solucin

w2 ( z ) z

1
2

(1)m z 2 m
(1)m z 2 m1

a
a
1
0

(2m 1)!
0
0 (2m)!

w2 ( z ) z

1
2

a0 cos( z ) a1sen( z )

Sin embargo se suele tomar como segunda solucin a


J 1 (z)

2
cos( z )
z

Y se toma como solucin general de la ecuacin de Bessel de orden


w( z ) c1 J 1 ( z ) c2 J 1 ( z )

287 Por ltimo se hace notar que el comportamiento de las funciones de


Bessel similares a las trigonomtricas usuales tiene su fundamento en que, para
valores crecientes de z la ecuacin diferencial que las define se transforma en
la ecuacin correspondiente a la ecuacin diferencial que puede definir a las
funciones trigonomtricas.

z w ''( z ) zw '( z ) ( z 2 2 ) w( z ) 0
2

w ''( z )

w '( z ) 2
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

Pginas WEB

Bessel Functions. Project for the Penn State - Gttingen Summer School on
Number Theory. Martin Kreh
Partial Differential Equations in Polar and Cylindrical Coordinates. Cap IV,
Bessels Equations and Bessel Functions
Universidad de Antioqua. Departamento de Matemtica. Soluciones por
Series, Cap V.
Department of Mathematics, Creighton University. Method of Frobenius. L.
Nielsen.
ACM95B/100b Lecture Notes. The Method of Frobenius. CALTECH
Power Series Solutions I: Basic Computational Methods
Power Series Solutions II: Generalizations and Theory
Modified Power Series Solutions and the Basic Method of Frobenius
The Big Theorem on the Frobenius Method, and Some Applications.
METODOS DE LA FISICA MATEMATICA II Departamento de Fsica
Facultad de Ciencias Universidad de Chile Vctor Muoz G. Jos Rogan C.
Lecture XIV: Frobenius series: Regular Singular Points, S. Ghorai
Problemas resueltos de AMPLIACIN DE MATEMTICAS Ingeniera
Industrial Departamento de Matemtica Aplicada II. Universidad de Sevilla.
Lecture 13: Series Solutions near Singular Points, March 28, 2007
Soluciones en forma de series de potencias. Eduardo Martnez.

Solucin de ecuaciones diferenciales mediante series de potencias

II

Textos

Ordinary Differential Equations. E.L. INCE, Helipolis, Diciembre 1926


Apuntes de Ecuaciones Diferenciales, Departamento de
Universidad de Extremadura, Badajoz, 25 de Octubre de 2012

Matemtica,

Ecuaciones Diferenciales I Artemio Gonzlez Lpez. Madrid.


Ordinary Differential Equations and Dynamical Systems. Gerald Teschl.
American Mathematical Society . Providence, Rhode Island
Ecuaciones Diferenciales Ordinarias para estudiantes de Fsica. Juan M.
Aguirregabiria. Servicio Editorial, Universidad del pas Vasco
Ecuaciones Diferenciales Ordinarias. lvaro Tejero Cantero y Pablo Ruiz
Mzquiz. Alqua.com la red en estudio
Ecuaciones Diferenciales Ordinarias. Luis ngel Zaldvar Cruz. Instituto
Tecnolgico de Tehuacn.
Ecuaciones Diferenciales Modernas. Richard Bronson. Serie SCHAUM
Differential Equations and their Applications. Martin Braun. Springer Verlag.
Ecuaciones Diferenciales. Una perspectiva de modelacin. Robert Borelli y
Courtney S. Coleman. OXFORD.
Ecuaciones Diferenciales. Problemas con valores en la frontera. Cmputo y
modelado. C. Henry Edwards y David E. Penney. Prentice Hall

152

Una publicacin de edUTecne

la editorial de la Universidad Tecnolgica Nacional,


Repblica Argentina.
Sarmiento 440, Piso 6
(C 1041AAJ) Buenos Aires, Repblica Argentina
http://www.edutecne.utn.edu.ar

ACERCA DEL AUTOR


Jorge J. L. Ferrante es ingeniero civil
graduado el 26 de Julio de 1965 en la
Facultad de Ingeniera de la Universidad
de Buenos Aires. Acadmico de Nmero.
Academia Argentina de Ciencias Aeronuticas y Espaciales. Administrador
General en el Rgimen para el Personal
de Investigacin y Desarrollo de las
Fuerzas Armadas. Director de Gestin
Tecnolgica, designado por el Consejo Superior Universitario de la
Universidad Tecnolgica Nacional. Miembro de la Junta de Clasificacin. Rgimen para el Personal de Investigacin y Desarrollo de
las Fuerzas Armadas. Integrante Banco de Evaluadores Por
Resolucin conjunta de la Secretara de Educacin Superior y de la
Secretara para la Tecnologa, la Ciencia y la Innovacin Productiva. Profesor Titular Ordinario, Ctedra de Anlisis Matemtico,
Clculo Numrico y Fundamentos para el Anlisis de Seales. Ex
Secretario de Ciencia y Tecnologa. Universidad Tecnolgica Nacional, desde el 12 de Diciembre de 1997 hasta el 16 de Febrero
de 2006. Ex Decano de la Facultad Regional Tucumn. Universidad
Tecnolgica Nacional. Ex Director Nacional de Planificacin Cientfica y Tecnolgica. Secretara de Ciencia y Tecnologa. Ex Jefe
de Departamento Planificacin y Control. Comisin Nacional de Investigaciones Espaciales. CNIE. Ha dirigido proyectos de investigacin y desarrollo, dictado conferencias, publicado artculos
cientficos y de divulgacin y libros de su especialidad.

Vous aimerez peut-être aussi