Solucion Ecuac Diferenciales Ferrante

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

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

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
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
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 ),...
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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

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

Solucion Ecuac Diferenciales Ferrante

Cargado por

Información del documento

Descripción:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Descripción:

Copyright:

Formatos disponibles

Solucion Ecuac Diferenciales Ferrante

Cargado por

Descripción:

Copyright:

Formatos disponibles

Ing. Jorge J. L.

DEPARTAMENTO DE CIENCIAS BSICAS

Ejemplar para uso personal exclusivamente.

Universidad Tecnolgica Nacional Repblica Argentina

Rector: Ing. Hctor C. Brotto

edUTecNe Editorial de la Universidad Tecnolgica Nacional

Coordinador General: Ing. Ulises J. P. Cejas

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

Ejemplar para uso personal exclusivamente. Prohibida su reproduccin total o

SOLUCIN DE ECUACIONES DIFERENCIALES

Editado en Argentina - Published in Argentina

(pgina dejada intencionalmente en blanco)

La Unidad Docente Bsica Matemtica desarrolla, en forma permanente,

Solucin de ecuaciones diferenciales mediante series de potencias

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

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

(pgina dejada intencionalmente en blanco)

Se incluyen a continuacin cuatro ejemplos arbitrarios de sucesiones.

Solucin de ecuaciones diferenciales mediante series de potencias

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

En este caso puede demostrarse que

Monotona de una sucesin

Una sucesin {an} es montona creciente si

Una sucesin es montona decreciente si

Solucin de ecuaciones diferenciales mediante series de potencias

Vale en este caso la misma observacin anterior.

Las siguientes son subsucesiones posibles

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

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

Convergencia de una sucesin

Solucin de ecuaciones diferenciales mediante series de potencias

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

Condicin necesaria y suficiente para que la sucesin

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

Lmite de una sucesin

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

Solucin de ecuaciones diferenciales mediante series de potencias

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

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

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

Por ejemplo, la sucesin

Es convergente pues est comprimida entre las dos sucesiones

Como ambas convergen a 0, {cn} 0.

Criterio de Stltz Csaro

existe, entonces el lim

Solucin de ecuaciones diferenciales mediante series de potencias

puede interpretarse como el cociente entre la suma de los primeros n nmeros

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

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

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

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

Solucin de ecuaciones diferenciales mediante series de potencias

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

solo entonces) se escribe

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

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

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