Ecuacion de Hermite PDF

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 ]
k nk nk
an (r ) = k = 0
F (r + n )
DEPARTAMENTO DE CIENCIAS BSICAS

UNIDAD DOCENTE BSICA MATEMTICA
FACULTAD REGIONAL GENERAL PACHECO
UNIVERSIDAD TECNOLGICA NACIONAL
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
7
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 tema-
aumenta 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.
8
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
9
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
n n 1 n2
En este caso puede demostrarse que
n 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 Ley de formacin

sucesin
Uno1
11
Un uno
21
Dos unos
1211
Un dos, un uno
111221
Un uno, un dos, dos unos
21112211
Dos unos, un uno, dos dos, un uno
1221112221
Un dos, dos unos, un uno, dos dos, un dos, un uno.
11222111221211
Dos unos, dos dos, un dos, dos unos, un uno, dos
dos, un uno, un dos, dos unos.

II Monotona de una sucesin
8 Una sucesin {an} es montona creciente si
a n a n 1 n
y es estrictamente creciente si
a n a n 1 n
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 n
13
y es estrictamente decreciente si
a n a n 1 n
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 ,...}
.......... .......... .......... .......... .......... ..
a nprimo {a , a , a , a , a , a
1 2 3 5 7 11 , a13 ,...}
.......... .......... .......... .......... .......... ........
V 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 , 0
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 00:00:30 00:01:00 00:01:30
VII Monotona y convergencia
24 Se relacionan a continuacin condiciones de monotona y de

convergencia:
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 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
n
lim bn L
n
a n c n bn
Entonces la sucesin {cn} es convergente y su lmite vale L.
lim cn L
n
Por ejemplo, la sucesin
cn 1
2
1
2
1
... 2
1

n 1 n 2 n 3 n n
2
Es convergente pues est comprimida entre las dos sucesiones

convergentes
an 0,0,0,0,...,0,...
n
bn
n 2 1
Como ambas convergen a 0, {cn} 0.
X 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 1 bn
n b
an
existe, entonces el lim tambin existe y coincide con el anterior.
n b
n
19
1 2 3 4 ... n
27 Por ejemplo la sucesin cn cuyo trmino genrico
n2
puede interpretarse como el cociente entre la suma de los primeros n nmeros
naturales y n2. La sucesin n2 es creciente y divergente, entonces:
an 1 an n 1 n 1 1
lim lim lim
n bn 1 bn n n 1 n
2 2 n 2n 1 2
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 00:00:30 00:01:00 00:01:30
XI Subsucesiones y convergencia
28 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
n
lim a ** n L
n
entonces
lim an L
n
20
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
k 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
La serie 1
2 3 4 5 6 k
y es divergente. En efecto:
1 1 1 1 1 1 1 1 1
S 2 n 1 ... n 1 ... n
2 3 4 5 6 7 8 2 1 2
1 1 1 1 1 1 1 1 1
1 ... n ... n
2 4 4 8 8 8 8 2 2
1 1 1 1 1
1 ... 1 n
2 2 2 2 2
1
lim S 2 n lim 1 n
n n
2
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
n n
dado que Sn-1 se puede considerar una subsucesin de {Sn} teniendo entonces el
mismo lmite por ser convergente, por hiptesis, la serie numrica dada.
lim an 0
Un corolario importante es que si n la serie es divergente.
39 Por ejemplo, la serie asociada a la sucesin es divergente porque

n2
lim 1 0
n n2 1
.
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.
n
S ak ak a k S n Tn
k 1 k 1 k n 1
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.

a u k
Sea k
una serie cuyo carcter se desea establecer y sea k 1 una
serie convergente, con suma U, verificndose que ak uk, entonces ak

u k
converge y su suma S es menor o igual a la suma U. La serie k 1 es una serie
mayorante de la serie dada.
26
Captulo 1
Minorante divergente
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.

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

a
u k
k 1 es una serie minorante de la serie dada.
49 Estos criterios tienen sendos corolarios.
a u k
Sea k
una serie cuyo carcter se desea establecer y sea k 1
an
, 0
una serie convergente, con suma U, y la razn u n
entonces a k
converge y su suma S es menor o igual a la suma U.

a u k
Sea una serie cuyo carcter se desea establecer y sea
k k 1
an
, 0
una serie divergente, y la razn u n entonces a k
diverge.
XVIII 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
Sea una serie de trminos positivos n , se calcula

a
52
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 a n

, se calcula
lim n an L
n
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
1
u
Sea una serie de trminos positivos n y
a
54 n una serie divergente.
Se calcula
a
lim u n n u n 1 L
n
a n 1
Si L > 0 la serie a n
converge, si L < 0 la serie a n
diverge.
28
Captulo 1
Criterio de Raabe
55 Consiste en tomar un = n en el criterio de Kummer (serie armnica) con lo

que resulta
a
lim n n 1 L
a n 1
n

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

a
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 f ( x ) dx
XIX Serie de trminos alternados
57 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
n
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.
a
k
k converge absolutamente ak
k
converge
Si la serie de valores absolutos, diverge, la serie dada le dice

condicionalmente convergente.
XXI Sucesin de funciones
61 Una sucesin de funciones es una aplicacin del conjunto N (o, a veces,

N0 ) en un conjunto U de funciones, de tal forma que, a cada nmero natural n
le corresponde una y slo una funcin denominada un(x).
un ( x ) u1 ( x ), u 2 ( x ), u3 ( x ),..., uk ( x ),...
Por ejemplo, la sucesin
x x, x
n 2
, 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 [0,1)
x u( x) 10
n
x 1

31
1.0
0.8
0.6
0.4
0.2
0.2 0.4 0.6 0.8 1.0
xn
66 La sucesin n
converge en el intervalo [0,) a la funcin
1 x
0 x [0,1)
x n
1
n
u( x) x 1
1 x 2
1 x (1, )
1.0
0.8
0.6
0.4
0.2
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 Convergencia puntual
71 La sucesin de funciones u n ( x ) converge puntualmente a la funcin u ( x )

si
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.
72 Por ejemplo, la sucesin de funciones x n en [0,1] converge a la funcin

u(x) = 0 pero
ln( )
un ( x) u( x) x n 0 , 0 xn n N ( , x)
ln(x)
Esto indica claramente que, cuanto ms cerca se est de 1, mayor ser el valor
del ndice a partir del cual el trmino genrico satisfaga la desigualdad
planteada.
En cambio, si el estudio se realiza en el intervalo [0,1) basta con tomar
ln( )
n N ( ), 0 1
ln(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 Convergencia Uniforme
73 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)
74 Por ejemplo, la sucesin converge uniformemente a la
n
funcin f ( x ) 0 en [0, ] como puede apreciarse en el grfico siguiente.
sen(nx)
0
n U
1.0
0.8
0.6
0.4
0.2
0.5 1.0 1.5 2.0 2.5 3.0

-0.2
-0.4
75 En cambio, la sucesin sen n

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

0 [0, )
2

sen ( x) u ( x) 1
n
x
2

0 ( , ]
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
u( x )
entonces u ( x ) es una funcin continua.
XXIV Serie de funciones
82 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
k 1
84 Si la sucesin S n (x) es uniformemente convergente, la serie de

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

f ( x) S n ( x) u
k n 1
k ( 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
u
a x b k n 1
k ( x) 0 si n
37
Test de convergencia uniforme

85 Una serie numrica m
k 1
k es una serie dominante de una serie de

funciones u
k 1
k ( x) si u k ( x) mk , k , x [a, b] .
Criterio M de Weierstrass
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)
87 Por ejemplo, la serie
k 1 k2

converge uniformemente en todo el eje

1
real porque est dominada por la serie numrica convergente 2 .
k 1 k
XXV 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
n 0
n
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
n
n
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 x
n 0
n
converge en el intervalo I=(-1,1) dado que,
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 ...

xn
94 Otros ejemplos que sern oportunamente estudiados son la serie
n 0 n!

convergente en I= (-, ) y la serie n! x
n 0
n
convergente en un solo punto,
0.
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
n 0
n
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 )
n
donde M es la cota. La serie M es geomtrica con razn q < 1 que
n 0 rn
opera como dominante convergente. Por el criterio M de Weierstrass la serie
de potencias converge uniformemente.
40
Captulo 1
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 lim n an ( x x0 ) 1
n n
1
llamando R resulta que la serie es convergente en
lim n a n
n
( x x0 ) R
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.

xn x x2 x3 xk
101 Por ejemplo, la serie
n 0 n!
1
1! 2! 3!
...
k!
... converge en todo
el eje real. Por lo siguiente:
1 n n 2n n 2 n 2n
R lim n n! lim n lim
lim n a n n n en n e
n
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
n 0
n
1 x 2! x 2 3! x 3 4! x 4 ... k! x k ... solo
converge en x0 = 0, por lo siguiente:
1 1 en e
R lim n lim n n lim 2 n 0
lim n an n n! n n 2n n n 2n
n
Si, en lugar del criterio de Cauchy se aplica el criterio de D'Alembert

para el anlisis de convergencia, el radio de convergencia resulta:
1
R
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:
(k )

a n ( x x0 ) n n ( n 1)( n 2)...( n k 1)( x x 0 ) n k
n 0 n k
Integracin
Las series de potencias pueden ser integradas trmino a trmino
b n
b
a n
a ( x x0 )
dx an a ( x x0 ) n dx
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:
x 3 x 5 x 7 x 9 x 11 x 13
arctg ( x ) x ...
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:
f ( n ) ( x0 )
an
n!
106 De inmediato se tiende a pensar, con injustificado optimismo, que se

puede escribir, sin ms

f ( n ) ( x0 )
f ( x)
( x x0 ) n
n 0 n !
pero el entusiasmo cae en picada cuando se considera, por ejemplo, la siguiente
funcin
44
Captulo 1
x12
x0
f ( x ) e
0 x0
que tiene derivadas de todos los rdenes en el origen y valen cero (0)!
(verificarlo). Entonces, la frmula:

f ( n ) ( 0) n
f ( x) x
n 0 n!
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:

f ( n ) ( x0 ) m
f ( n ) ( x0 ) f ( n ) ( x0 )

n 0 n!
( x x0 ) n
n 0 n!
( x x0 ) n
n m 1 n!
( x x0 ) n
Para que la serie de potencias represente a la funcin es necesario que

f ( n ) ( x0 )

n m 1 n !
( x x0 ) n 0 n
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 ( n ) ( x0 ) m
f ( n ) ( x0 ) q( x )
f ( x) ( x x0 ) n ( x x0 ) n ( x x0 ) m 1
n 0 n! n 0 n! ( m 1)!
lo que equivale a decir que

f ( n ) ( x0 ) q( x )

n m 1 n!
( x x0 ) n
( m 1)!
( x x0 ) m 1
45
109 Se crea una nueva funcin de la siguiente manera
m
f ( )
(n)
q( x )
F ( ) f ( x ) ( x )n ( x )n
n 0 n! ( m 1)!
f ( ) f ( ) f ( ) q( x )
f ( x ) f ( ) (x ) ( x )2 ( x ) 3 ... ( x ) m 1
1! 2! 3! ( m 1)!
pero esta funcin en x0 y en x vale 0. Por lo siguiente
m
f ( n ) ( x0 ) q( x )
F ( x0 ) f ( x ) ( x x0 ) n ( x x0 ) m1 0
n 0 n! (m 1)!
por la definicin hecha al principio y en = x
f ( x ) f ( x ) f ( x ) q( x )
F ( x) f ( x) f ( x) ( x x) ( x x)2 ( x x ) 3 ... ( x x ) m 1 0
1! 2! 3! ( m 1)!
110 Como la funcin es continua y vale 0 en los extremos del intervalo [x0,x]
en por lo menos un punto intermedio se debe cumplir el teorema de Rolle F'(c)
= 0. Derivando queda
f ( ) f ( ) f ( ) f ( )
F ( ) f ( ) (x ) ( x )2 2( x )
1! 1! 2! 2!
f iv ( ) f ( ) f m1 ( ) f m ( )m q( x )(m 1)
( x )3 3( x ) 2 ... ( x )m ( x ) m1 ( x )m
3! 3! m! m! (m 1)!
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 )m
f m 1 ( )
f ( x) ( x x0 ) n ( x x0 ) m 1
n 0 n ! ( m 1)!
si la derivada de orden m+1 est acotada es inmediato que, para m
46
Captulo 1
el segundo trmino del segundo miembro tiende a cero y entonces, ahora si

f ( n ) ( x0 )
f ( x) ( x x0 ) n
n 0 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 ( n ) ( x0 )
f ( x) ( x x0 ) n
n 0 n!
m
f ( n ) ( x0 ) f ( m1) ( )
f ( x) ( x x0 ) n ( x x0 ) m1
n 0 n! ( m 1)!
La segunda forma, de fundamental importancia en las aplicaciones, como

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

f ( n ) ( x0 ) n
f ( x0 h ) h
n 0 n!
m
f ( n ) ( x0 ) n f ( m 1) ( ) m 1 m f ( n ) ( x0 ) n
f ( x0 h ) h h h O ( h n 1 )
n 0 n! ( m 1)! n 0 n !
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) ( ) f ( m 1) ( x0 h ) m 1
( x x0 ) m 1 h 0 1
( m 1)! ( m 1)!
Cuando se toma x0 = 0, se tiene la llamada Serie de Mc Laurin

f ( n ) ( 0) n f (0) f (0) 2 f (0) 3 f ( k ) ( 0) k
f ( x) x f ( 0) x x x ... x O ( x k 1 )
n 0 n! 1! 2! 3! k!
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 (0) 0
f ( x) cos( x) f (0) 1
f ( x) sen( x) f (0) 0
f ( x) cos( x) f (0) 1
f ( x) sen( x) f (0) 0
f ( x) cos( x) f (0) 1
.......................................................
Entonces es (el trmino de sptimo grado ha sido afortunadamente estimado)
d n sen( x)
dx n x3 x5 x7
sen( x) x 0
xn x ...
n 0 n! 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 1 2 3
-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.
-3 -2 -1 1 2 3
-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 1 2 3
- 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 1 2 3
- 0.5
- 1.0
117 Con el mismo procedimiento se pueden encontrar los siguientes

desarrollos en serie de Mc Laurin

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

n 0 n n!

( 1) n 1 n x2 x3 x4
log(1 x ) x x ... x 1
n 1 n 2 3 4

1 n x2 x3
ex x 1 x ... xR
n 0 n! 2! 3!

( 1) n x3 x5
sen ( x ) x 2 n 1 x ... xR
n 0 ( 2 n 1)! 3! 5!
( 1) n 2 n x2 x4
cos( x ) x 1 ... xR
(2n )! 2! 4!

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

( 1) n 2 n 1 x3 x5
arctg ( x ) x x ... x 1
n 0 2n 1 3 5
(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

x2 x3 x4 xn
ex 1 x ... xR
2! 3! 4! n 0 n!
Siendo operativamente imposible trabajar con infinitos trminos, se

hace
x2 x3 x4 4
xn
xn 4
xn e 5 4
x n e x 5
ex 1 x T5 x x
2! 3! 4! n 0 n! n 5 n! n 0 n! 5! n 0 n! 5!
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
1 1 1 67
e 11 2,7916666 ...
2 6 24 24
con un decimal exacto.
Con un trmino ms en la aproximacin, la cota del error T6 es

0.0041666... y, el valor aproximado es 2,7166666...
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 f ( x m ) a n x mn
n 0 n 0 n 0

f ( x ) g ( x ) ( a n bn ) x n
n 0
k
f ( x ) g ( x ) a n x n bn x n c k x k ck a n bm a n bk n
n 0 n 0 k 0 n m k n 0
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
x3 x5 x7 x9 2 2 1 6
sen ( x ) x
2
... x 2 x 4 2
x ...
3! 5! 7! 9! 3! 5! 3!
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, se

verifica que
f z 0
f z f z 0 f z 0 z z 0 z z 0 2 f z 0 z z 0 3 ...
2! 3!
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
(k )
f ( z0 ) 1 f ( z)
k!

2i ( z z 0 ) k 1
dz
123 Si la funcin es analtica en la corona circular
r1 z z 0 r2
r1
z0
r2
z
53
La serie, denominada Serie de Laurent toma la forma

bk
f ( z) ak ( z z0 ) k
k 1 ( z z 0 )
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 1 e sen ( z )
2i z z 0 k 1
dz
k!
de muy dudoso xito, puede hacerse, suponiendo
54
Captulo 1
u sen( z )
u u2 u3 u4 uk
e sen ( z ) e u 1 ... ...
1! 2! 3! 4! k!
z3 z5 z7
uz ...
3! 5! 7!
2 3
z3 z5 z7 z3 z5 z7 z3 z5 z7
z
... z ...

z ...
3! 5! 7! 3! 5! 7!
e sen ( z ) 1 3! 5! 7! ...
1! 2! 3!
Se agregan a continuacin grficas correspondientes a la aproximacin
dada por la serie anterior; la de la funcin desarrollada y una superposicin de
las mismas.
La 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.
I 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 0 (k )
p( z ) p0 z z 0 p0 z z 0 2 p0 z z 0 3 p0 z z 0 4 ... p 0 z z 0 k ...
1! 2! 3! 4! k!
q 0 (k )
q( z ) q0 z z 0 q0 z z 0 2 q0 z z 0 3 q 0 z z 0 4 ... q 0 z z 0 k ..
1! 2! 3! 4! k!
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 3 k
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 k 1
...
w ( z ) 2 a 2 3 . 2 a 3 z z 0 ... k k 1 a k z z 0
k2
...
128 Reemplazando en la EDO dada se tiene
2a 2 3.2a3 z z 0 ... k k 1a k z z 0
k 2
...
p 0 p 0 p 0 p0 p (k ) 0
p 0 z z 0 z z 0 2
z z 0 3
z z 0 4
... z z 0 k ...
1! 2! 3! 4! k!
a1 2a 2 z z 0 3a3 z z 0 ... ka k z z 0
2 k 1

..
q 0 q 0 q 0 q0 q (k ) 0
q
0 z z 0 z z 0 2
z z 0 3
z z 0 4
... z z 0 k ..
1! 2! 3! 4! k!
a 0 a1 z z 0 a 2 z z 0 a3 z z 0 ... a k z z 0 .. 0
2 3 k

Desarrollando los productos y agrupando se tiene, por ser nulo el segundo
trmino
2a 2 a1 p0 a0 q0 0
3.2a3 a1 p0 2a 2 p 0 a1q0 a0 q0 0
1 1
12a 4 3a3 p0 a 2 q0 2a 2 p0 a1 q0 a1 p0 a0 q0 0
2 2
1 1 1
20a5 4a 4 p0 a3 q0 3a3 p0 a 2 q0 a 2 p0 a1q0 a1 p0 a0 q0 0
2 6 6
3 1 1 1 1 1
5a5 p0 a 4 q0 4a 4 p0 a3 q0 a3 p0 a 2 q0 a 2 p0 a1q0 a1 p0 a0 q0 0
2 2 3 6 24 24
1 1 1 1 1 1
a5 q0 5a5 p0 a 4 q0 2a4 p0 a3 q0 a3 p0 a 2 q0 a 2 p0 a1q0 a1 p0

2 2 6 12 24 120
1
a0 q0 0
120
58
Captulo 2
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
requiere dos valores wz 0 w0 w z 0 w0 como valores iniciales que llevados
a la forma en que ha sido planteada la serie solucin se corresponden con los
valores a0 y a1 respectivamente.
129 Conocidos entonces estos valores, de la primera ecuacin puede

despejarse a2
a 0 q0 a1 p0
a2
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
1 1
3a 3 p 0 a 2 q 0 2a 2 p 0 a1 q 0 a1 p 0 a 0 q 0
a4 2 2
12
Reemplazando en esta ltima a2 y a3 por su expresin en funcin de a0 y a1 se

tiene
59
a 0 q 0 a1 p 0
a1 p 0 2 2
p 0 a1 q 0 a 0 q 0
3 p
0
6

a4
12
a 0 q 0 a1 p 0 a 0 q 0 a1 p 0 1 1
q0 2 p 0 a1 q 0 a1 p 0 a 0 q 0
2 2 2 2
12
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 2a 2 3.2a 3 x 4.3a 4 x 2 5.4a5 x 3 ...
133 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
a0
a 0 2a 2 0 a 2
2
a1
a1 3.2a 3 0 a3
3. 2
a2 a
a 2 4.3a 4 0 a 4 0
4. 3 4. 3. 2
a3 a1
a 3 5. 4 a 5 0 a 5
5.4 5.4.3.2
Con lo cual puede escribirse
a 0 2 a1 3 a a1
y x a 0 a1 x x x 0 x4 x 5 ...
2 3.2 4.3.2 5.4.3.2
Sacando factores comunes queda
x2 x4 x3 x5
yx a0 1 ... a1 x ...
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 Este teorema establece que si
62
Captulo 2
p1 z p10 p11 z z 0 p12 z z 0 p13 z z 0 ...

2 3
z z0 R
p 2 z p 20 p 21 z z 0 p 22 z z 0 p 23 z z 0 ...
2 3
z z0 R
p3 z p30 p31 z z 0 p32 z z 0 p33 z z 0 ...

2 3
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 3
z z0 R
f z f 0 f1 z z 0 f 2 z z 0 f 3 z z 0 ...
2 3
z z0 R

Entonces la solucin w z es analtica en z 0 y se expresa wz a k z z 0 k
k 0
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
x ka k x k 1 a k x k 0
k 1 k 0
k k 1x
k 2
k 2
ka k x k a k x k 0
k 1 k 0
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 k 1a k x k 2 i 2i 1ai 2 x i
k 2 i 0
En la segunda se hace k i 1
ka k x k i 1a i 1 x i 1
k 1 i 0
mientras que, en la tercera slo se cambia el ndice.
141 Reemplazando, factoreando y agrupando queda
i 2i 1a

i2 a i x i i 1a i 1 x i 1 0
i o
Por estar igualado a cero, los coeficientes de las distintas potencias de x

deben ser nulos. Entonces
64
Captulo 2
Coeficiente de x0
a0
2.1a 2 a 0 0 a 2
2
Coeficiente de x
a1
3.2a3 a1 a1 0 a3
3
Coeficiente de x2
a2 a
4.3a 4 a 2 2a 2 0 a 4 0
4 2.4
Coeficiente de x3
a3 a
5.4a5 a3 3a3 0 a5 1
5 3.5
Coeficiente de x4
a4 a
6.5a 6 a 4 4a 4 0 a 6 0
6 2.4.6
Coeficiente de x5
a5 a
7.6a 7 a5 5a5 0 a 7 1
7 3.5.7
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
x2 x4 x6
y 0 x 1 ...
2 2.4 2.4.6
x3 x5 x7
y1 x x ...
3 3.5 3.5.7
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
1 an
R lim
a n 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)
1
an n
2k
k 1
De lo que resulta
1
n n 1 n
1 an 2k 2k 2k
R lim lim k 1
lim k 1
lim k 1
2n 1 lim 2n 1
a n 1 n a n 1 n 1 n n n n n
lim n 1 2k 2k
2k
n a k 1 k 1
n
k 1
66
Captulo 2
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
iniciales sean determinadas a0 y a1
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
2 8 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)
2 Definir la EDO por su expresin
e = y[x] + x y[x] + y[x] == 0
3 Mediante el comando LogicalExpand establecer las condiciones

que deben cumplir los coeficientes de la EDO
c = LogicalExpand[ e ]
4 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
5 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
6 Quitar de la lista resultante, la solucin de la EDO mediante el

comando
sol = sol [[ 1 ]]
7 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)
8 Calcular la solucin particular, e decir asignar valores a a0 y a1
solp = sol /. {a[0] -> a0 , a[1] -> a1 }
9 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.
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 n tn
k 0

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!

t n
nn 1a t
n
n2
a n t n 0
n 2 n0 n! n0
que puede escribirse

t k

k 2k 1ak 2t k a k t k 0
k! k 0
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
a0
Coeficiente de t 2 a1 a 2
2!
a 0 a1
Coeficiente de t 3 a 2 a3
3! 2!
.. ..
k
ak
Coeficiente de t k k
i0 i !
Con lo cual la EDO propuesta puede escribirse

k
ak k
k 2k 1a k 2
k i !
t 0
k 0 i 0
73
De donde la relacin de recurrencia ser
k
ak
k i !
i 0
ak 2
k 2k 1
149 Considerando algunos primeros trminos, puede escribirse

0
ak
k i ! a0
a 2 i 0
0 20 1 2
1
ak
k i !
i 0 a 0 a1
a3
1 21 1 3.2
2
ak a 0 a1 a 2
k i !
a
a 4 i 0 2! 1! 0! 1
2 22 1 4.3 4.3
1
a5 3a0 2a1
120
Con estos primeros coeficientes de la serie supuesta como solucin

puede escribirse
a0 2 1 a 1
y t a 0 a1t t a 0 a1 t 3 1 t 4 3a0 2a1 t 5 ...
2 6 12 120
Agrupando se escribe
t2 t3 t5 t3 t4 t5
yt a0 1 ... a1 t ...
2 6 40 6 12 60
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
Q z
z 0 es un punto singular regular si P z 0 0 y z z 0 y
P z
z z 0 2 R z son analticas en z 0
P z
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
Q z Rz
lim z z 0 lim z z 0
2
p0 y q0
x x0 Pz x x0 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
Q z R z
w w w0
P z P z
Multiplicando por z2 se tiene
zQz z 2 Rz
z 2 w z w w 0
P z Pz
y se hace
zQ z z 2 R z
pz q z
P z P z
78
Captulo 3
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

157 Siendo la solucin propuesta de la forma w z r a n z n a n z n r
n 0 n 0
con a 0 0 .
Se calculan

w a n n r z n r 1 w a n n r n r 1z n r 2
n 0 n 0
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
n
nr
p n z n a n n r z n r q n z n a n z n r 0
n0 n 0 n 0 n 0
158 Como primer paso se escriben algunos primeros trminos de cada una de
las series involucradas en la segunda de las expresiones anteriores. Se tiene
entonces
a rr 1z a r 1rz a r 2r 1z ... a n rn r 1z ...

0
r
1
r1
2
r2
n
nr
p p z p z ... p z ...a rz a r 1z a r 2z ... a r nz

0 1 2
2
n
n
0
r
1
r1
2
r2
n
rn

...
q q z q z ... q z ...a z a z a z ... a z ... 0
0 1 2
2
n
n
0
r
1
r1
2
r2
n
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
1

a 2 F r 2 a k p 2 k r k q 2 k z r 2 ...
k 0
n 1

... a n F r n a k p n k r k q n k z r n ... 0
k 0
Esta ltima expresin puede ser escrita nuevamente con doble sumatoria, de la
siguiente forma:

n 1

a 0 F r z r a n F r n a k p n k r k q n k z r n 0
n 1 k 0
LA ECUACION INDICIAL
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
k nk nk
an r k 0
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

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

Donde a r z
n 0
n 1
r1 n
y a r z
n 0
n 2
r2 n
son 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
zQ z z .3 z 3
lim lim 2 p 0
z 0 P z x0 2 z 2
lim

z2 z2 1
q0
1
2
z 0 2z 2
Lo que indica que z=0 es un punto singular regular.
165 La ecuacin indicial correspondiente es
3 1 1 1
F r r r 1 p 0 r q 0 r r 1 r r2 r 0
2 2 2 2
Las races son
1 3 r1
1 1 4 1 1 8 1
2
r1, 2 2 4 2 2 4 4 2 2

2 2 2 r 1
2

resultan distintas y no difieren en un entero.
82
Captulo 3
En consecuencia, la solucin general ser de la forma

1
wz C1 z a n r1 z n C 2 an r2 z n
n 0 z n 0
166 Corresponde determinar los coeficientes a n r1 y a n r2 Para ello

se aplica la relacin de recurrencia
n 1
a r p r k q
k nk nk
an r k 0
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
3
p z p 0 p1 z p 2 z 2 p3 z 3 ... 0 z 0 z 2 0 z 3 ...
2
y que
1 z2
qz
2 2
Resulta
1 z2
qz q0 q1 z q 2 z 2 q3 z 3 ... 0 z 0 x 0 z 3 0 z 4 ...
2 2
167 Se calculan a continuacin los coeficientes de la serie correspondientes

1
a la raz r1
2
1 1
a 0 r1 p1 0 q1 a 0 r1 0 0 0
a1 r1 2 2 0
1 1 31 1 1 1 31 1
1 1 1 1 1 1 1 1
2 2 22 2 2 2 22 2
83
a r p r k q
k nk nk
a 0 r1 p 2 r1 0 q 2 a1 r1 p1 r1 1 q1
a 2 r k 0
F r n r1 2r1 2 1 p0 (r1 2)1 q0
1 1 1
a 0 r1 0 0 a1 r1 0 1 0 1
a 0 r1
2 2 2 a r
2 0 1
1 1 3 1 1 7 14
2 1 2
2 2 2 2 2
a 0 r1 p3 r1 0 q3 a1 r1 p 2 r1 1 q 2 a 2 r1 p1 r1 2 q1
a 3 r1
3 1
r1 3r1 3 1 r1 3
2 2
1 1 1 1
a 0 r 1 0 0 0 a1 r1 0 1 a 2 r1 0 2 0
2 2 2 2
0
1 1 31 1
3 2 3
2 2 22 2
1 1 1 1 1
a 0 r1 p 4 0 q 4 a1 r1 p3 1 q3 a 2 r1 p 2 2 a3 r1 p1 3 q1
2 2 2 2 2
a 4 r1
1 1 31 1
4 4 1 4
2 2 22 2
a 2 r1

2 a 0 r1
88 616
4
Con lo cual la primera solucin puede comenzar a escribirse
z2 z4
w1 z a0 r1 z 1 ...
14 616
84
Captulo 3
168 Se hace lo propio para la raz r2 1
a0 r2 p1 0 1 q1
a1 r2 0
3 1
1 1 1 1
2 2
1
a 0 r2 p 2 0 1 a1 r2 p1 1 1 q1
a r p 0 1 q 2 a1 r2 p1 1 1 q1 2
a 2 r2 0 2 2
3 1 1
2 12 1 1 2 1
2 2
a 0 r2

2
a 0 r2 p3 r2 0 q3 a1 r2 p 2 r2 1 q 2 a 2 r2 p1 r2 2 q1
a3 r2
3 1
r2 3r2 3 1 r2 3
2 2
a 0 r2
a 0 r2 0r2 0 0 0 p 2 r2 1 q 2 0r2 2 0
2 0
3 1
1 3 1 3 1 1 3
2 2
1
a 0 r2 p 4 0 1 q 4 a1 r2 p 3 1 1 q 3 a 2 r2 p 2 2 1 a 3 r1 p1 3 1 q1
2
a 4 r2
1 4 1 4 1 3 1 4 1
2 2
a 0 r2 1
a 0 r2 00 1 0 0 p 3 1 1 q 3 02 1 0 p1 3 1 q1
2 2

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

40
Con lo cual la segunda solucin puede comenzar a escribirse
1 z2 z4
w2 z a 0 r2 1 ...
z 2 40
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
wz C1w1 z C2 w2 z C1 z 1 ... C2 1 ...
14 616 z 2 40
Procedimiento alternativo
171 Existe una forma menos pesada de resolver este tipo de problemas (si
es que ello es posible) consistente en aplicar al caso particular en estudio el
procedimiento que fuera seguido al establecer la teora correspondiente.
Resulta as ms fcil establecer relaciones de recurrencia.
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 w z n r a n z n r 1 w z n r n r 1z n r 2
n 0 n 0
Y se reemplaza en la EDO dada, resultando
a z

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

2 n r n r 1z n r 3 n r a n z n r a n z n r a n z n r 2 0
n 0 n 0 n 0 n 0
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

2 n r n r 1z n r 3 n r a n z n r a n z n r a n 2 z n r 0
n 0 n 0 n 0 n2
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
2n r n r 1
2
1
Haciendo r se tiene
2
an2
an
2n 2 3n
y, haciendo r 1 se tiene
a n2
an
2n 2 3n
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
w1 z z 1 ...
14 616 55440
1 z 2
z 4
z 6

w 2 z 1 ...
z 2 40 2160
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 zn
r n
n 0
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
2
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
n 1 k 0

n 1

a n r F r n a k r p n k r k q n k ln z z n r 0
n 1 k 0
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
a n r F r n a n r F r n a k r p n k r k q n k a k r p n k z 0
n 1 k 0
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
n r F r n a n r F r n a k r p n k r k q n k a k r p n k z r n 0
n 1 k 0
Siendo F r 2r 1 p0 y F r1 0 resulta F r1 n 2n y entonces
n1
an r1 Fr1 n 2nan r1 ak r pnk r1 k qnk ak r1 pnk 0
k 0
Y, de esta ltima
n 1
2na n r1 a k r1 p n k r1 k q n k a k r1 p n k
a n r1 k 0
F r1 n
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

dan (r )
w2 z w1 z ln z a n r1 z n r1 an r1
n 1 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
Q( x) 1
P( x) x p( x) xp( x) 1
P ( x) x
R( x) 1
Q( x) 1 q( x) x 2 q ( x) x
P( x) x
R( x) 1
90
Captulo 3
El origen es un punto singular regular. Las funciones xp(x) y x 2 q( x) son

analticas en dicho punto.
181 En consecuencia, se busca una solucin del tipo

y x r an x n
n0
Derivando se tiene

y (n r )a n x n r 1
n 0

y (n r )(n r 1)a n x n r 2
n 0
Reemplazando en la ecuacin diferencial propuesta, operando y agrupando se

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

forma

y an x n
n 0

y na n x n 1
n 0
y n( n 1) a n x n 2
Reemplazando en la ecuacin diferencial propuesta queda

xy y y n(n 1)a n x n 1 na n x n 1 a n x n 0
n 0 n 0 n 0
Cambiando el ndice de las dos primeras sumatorias para trabajar con iguales
potencias de x, se tiene
91
(k 1)ka k 1 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 0 k 0 k 0
k 1 (k 1) 2 a k x k 0
k 0
De donde
ak
a k 1
( k 1) 2
a0
a1
1
a1 a
a2 2 02
2 1 .2
a a0
a 3 22
3 1 .2 2 . 3 2
a a0
a 4 32 2 2 2
4 1 . 2 .3 . 4
.......... .......... .......... ....
a
an 0 2
(n!)
Resulta finalmente

1 1 1 3 1 4
y1 ( x) 2
xn 1 x x2 x x ...
n 0 ( n!) 4 36 576
92
Captulo 3
183 Habiendo encontrado la primera solucin, la segunda, linealmente

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

da n (r )
y 2 x y1 x ln x a n r1 x n r1
n 1 dr r r1
dan (r )
Para evitar el clculo de an r puede procederse mediante la
dr r r1
sustitucin

y y1 x lnx bk x k
k 1
De modo que
dy1 x y1 x
y ln x kb k x k 1
dx x k 1
dy1 x
x y1 ( x)
1 dy1 x d 2 y1 x
y ln( x) dx k k 1bk x k 2
x dx dx 2 x2 k 1
Reemplazando en la ecuacin diferencial propuesta queda
dy x
1 dy1 x x 1 y1 ( x)
d 2 y1 x dy1 x y1 x
x ln( x) 2
dx
2
k k 1bk x k 2
ln x kb k x k 1
x dx dx x k 1 dx x k 1

y1 x ln x bk x k 0
k 1
93
Factoreando
d 2 y1 x d y1 x dy ( x ) dy1 ( x ) y1 ( x ) y1 ( x )
ln( x ) x 2
y1 ( x ) 1
dx dx dx dx x x

x k k 1bk x k 2 kb k x k 1 b k x k 0
k 1 k 1 k 1
El primer corchete es nulo puesto que es la ecuacin diferencial dada

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

dy1 ( x)
x k k 1bk x k 2 kb k x k 1 b k x k 2
k 1 k 1 k 1 dx

1 1 1 3 1 4
Siendo y1 ( x) 2
xn 1 x x2 x x .. resulta
n 0 ( n!) 4 36 576
dy1 ( x) 1 1 1 3
1 x x2 x ...
dx 2 12 144
Entonces, haciendo k 1 n

1 2 1 3
(n 1)nbn1 x n (n 1)b n1 x n b n1 x n1 2 x
k 1 k 1 k 1 6
x
72
x .

1 2 1 3
(n 1)nb
k 1
n 1 x n (n 1)bn 1 x n b n 1 x n 1 2 x
k 1 k 1 6
x
72
x ...

1 2 1 3
(n 1)
n 0
2
bn 1 x n b n 1 x n 1 2 x
n 0 6
x
72
x ...
Desarrollando algunos trminos se tiene
1 2 1 3
b1 b1 x 4b2 x b2 x 2 9b3 x 3 b3 x 4 ... 2 x x x ..
6 72
94
Captulo 3
Y, de esta ltima
b1 2
3
4b2 b1 1 b2
4
1 1 1 3 11
9b3 b2 b3
6 9 6 4 108
1 1 1 11 25
16b4 b3 b4
72 16 72 108 3456
............................................................................................
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
x x2 x3 x4
y x, r 1
r 12 r 12 r 22 r 12 r 22 r 32 r 12 r 22 r 32 r 42
x5
...
r 12 r 22 r 32 r 42 z 52
95
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
yx, r 3 11 25 4 137 5
2x x2 x3 x x ...
r r0 4 108 3456 432000
De forma tal que combinada con y1 x ln x permite escribir como segunda

solucin linealmente independiente de la primera
1 1 3 1 4 3 11 3 25 4 137
y 2 x 1 x x 2 x x ... ln( x) 2 x x 2 x x x 5 ...
4 36 576 4 108 3456 432000
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
k nk nk
a n r k 0
F r n
y observar que F (r n) , cuando r r2 y n m se transforma en la cola del

escorpin dado que 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.
n 1
1 La expresin a r p r k q
k 0
k 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.
n 1
2 La expresin a r p r k q no es divisible por
k 0
k 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.
w1 z w2 z
W w1 z , w2 z W z w1 z w2 z w2 z w1 z 0
w1 z w2 z
Derivando se tiene
W z w1 z w2 z w1 z w2 z w2 z w1 z w1 z w2 z w1 z w2 z w1 z w2 z
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
w1 z w1 z
2
w1 z
2
w1 z dz w1 z dz w1 z
De esta ltima se obtiene
zx
p z dz
W z e 0
w2 z w1 z dz w1 z
z z
dz
0 w12 z 0 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 2
pz qz w 0 y
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 pero no es una solucin linealmente

independiente de la primera.
197 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.
1
200 La primera de ellas es la ecuacin z 2 w zw z 2 w 0 . El punto z 0
4
es un punto singular regular puesto que en l P0 0 y, luego de dividir la
ecuacin dada por z 2 se tiene
w 1
w 1 2 w 0
z 4z
100
Captulo 3
1 1
y las funciones p z y qz 1 2 son analticas en el origen al ser
z 4z
2
multiplicadas por z y z respectivamente.
201 Se propone entonces una solucin de la forma

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

1
an n r n r 1z nr 2 an n r z nr 2 an z nr
n 0 n 0 n 0
an z n r 2 0
4 n 0
operando se llega a:
1
n r 2
a n z n r 2 a n z n r 0
4
202 Haciendo explcitos algunos primeros trminos se escribe

2 1 1 1 1 1
1 r a1 z r 1 2 r a 2 z r 3 r a 3 z r 1 n r a n z n r 2
r2 2 2 2 2
r a 0 z
4 4 4 4 n4 4

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

1
3 r 4 a 3 a1 0
2
a3 0
1
5 r 2
a5 a3 0 a5 0
4
.................................................................
1
k r 2
a k a k 2 0 ak 0 k 7,9,11,13,...
4
204 De la ltima expresin anterior puede plantearse la relacin de

recurrencia
a k 2
ak
1
k r 4
2
1
De aplicacin para ndices pares con lo que resulta para la raz r1
2
a k 2 a k 2
ak
1
2
1 k k 1
k
2 4
De donde
a0
a2
2.3
a a0
a4 2
4.5 5.4.3.2
a a0
a6 4
6.7 7.6.5.4.3.2
......................................
a0
a 2 j 1
j
2 j 1!
102
Captulo 3
Con lo cual la primera solucin es

z2j z2 z4 z6 z8
w1 z z 1 z 1 ...
j

0 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

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
1 d r2
w2 w1 ln( z ) w1 z bk z k
z dz 0
1 1 1 d2

w1 w1 2 2 z r2 bk z k
w2 w1 ln( z ) w1
z z z dz 0
w w d
2

w1 ln( z ) 2 1 21 2 z r2 bk z k
z z dz 0
reemplazando estos valores en la EDO dada resulta
w1 w d 2 r2 1 1 d r2
w1 ln( z ) 2 21 2
z b k z k w1 ln( z ) w1 z bk z k
z z dz 0 z z dz 0
1

1 2
w1 ln( z ) z r2 b k z k 0
4 z 0
103
sacando factores comunes y cancelando trminos queda
w1 1 w
ln( z ) w1 1 w 2 1
2 1
z 4z z
d 2
1 d 2 r2 k 1 d 2 r2
2 z r2 b k z k 2
z 0 k 4 z 2 dz 2 z 0 b k z k
b z 1 0
dz 0 z dz
Como w1 es solucin de la EDO dada, el primer corchete es nulo mientras que el

segundo corresponde a la aplicacin del operador
d2 1 d 1
L 2
1 2
dz z dz 4 z

A la expresin z r2 bk z k de esa forma resulta finalmente
0
r2 k
12 w
L z bk z L z bk z k 2 1
0 0 z
208 Aplicando el operador L se obtiene
5 3 3 1 3
3 2 1 1
z bk z k z 2 kbk z k 1 z 2 kbk z k 1 z 2 z 2 k k 1bk z k 2
4 0 2 0 2 0 0
1 1
3 1
1
z 2 bk z k z 2 kbk z k 1 1 2 bk z k 0
z 2 0 0 4z 0
Sacando factor comn
5
3 1 1
z bk z k bk z k bk z k
2
4 0 2 0 4 0
3
1 1

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

z 2 k k 1z k 2 bk z k 0
0 0
104
Captulo 3
Los dos primeros parntesis se anulan, razn por la cual todo se reduce a
1

z 2 k k 1z k 2 bk z k 0
0 0
Escribiendo algunos primeros trminos queda finalmente
1 1 3 5 1 1 3 5

2.1b2 z 2
2.3b3 z 2 3.4b4 z 2 4.5b5 z 2 ... b0 z 2
b1 z 2 b2 z 2 b3 z 2 ...
1 1 3 5

2b2 b0 z 2
6b3 b1 z 2 12b4 b2 z 2 20b5 b3 z 2 ...
209 Trabajando ahora con el segundo miembro de la igualdad
1 w
L z 2 bk z k 2 1
0 z
Resulta
1 5
3 1 3

2
z
w1 2 z
z 2
2
b z k
k
z 2
kb z k
k 1
z 2 bk z k 2 z 2 kbk z k 1

0 0 0 0
Desarrollando primeros trminos queda

3 1 5
5 2 9 2 13 2
9

z 2
z z z ...
3! 5! 7!
210 Igualando

1 1 3
32 5 12 9 52 13 92 5
2b2 b0 z 2
6b3 b1 z 12b4 b2 z 20b5 b3 z ... z z z z ...
2 2 2
3! 5! 7!
105
Tomando coeficientes de potencias iguales de z puede escribirse el sistema
0
2b2 b0 0
5
6b3 b1 0
6
12b4 b2 0
9
20b5 b3 0
120
..........................
De donde puede afirmarse que la segunda solucin no tiene trmino logartmico

y que los coeficientes bk pueden hallarse calculando
b0
2b2 b0 0 b2
2
b
6b3 b1 0 b3 1
6
b b
12b4 b2 0 b4 2 0
12 24
b b
20b5 b3 0 b5 3 1
20 120
211 Por fin puede escribirse como segunda solucin de la EDO dada

1
1k 2 k
1
k

w2 z b0 z b1 z 2 k 1
2
0 2k ! 0 2k 1!
Como b1 es arbitrario puede tomarse nulo, con lo cual resulta
1 1k 2 k
w2 ( z ) b0 z
z 0 2k !
106
Captulo 3
La solucin general es entonces

z 2k 1 (1) k 2 k
w( z ) C1 z 1
k
C2 z
0 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
0 0
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 a n z nr 0
0 0

( n r )( n r 1) a
0
n z n r 1 a n z n r 0
0
107
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 0

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

r (r 1)a0 z r 1 (n r )(n r 1)an an 1 z n r 1 0
1
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
a n 1
an
(n r )(n r 1)
Y, de esta ltima para r=1
an 1
an
(n 1)n
108
Captulo 3
De donde
a0
a1
2. 1
a a0
a2 1
3.2 3.2.2.1
a a0
a3 2
4. 3 4.3.3.2.2.1
a a0
a4 3
5.4 5.4.4.3.3.2.2.1
a a0
a5 4
6. 5 6.5.5.4.4.3.3.2.2.1
a a0
a6 5
7.6 7.6.6.5.5.4.4.3.3.2.2.1
........................................................
a a0
an n 1 ( 1) n
( n 1) n ( n 1)(n!) 2
Y se puede escribir
z2 z3 z4 z5 z6 z7
w1 a 0 z ...
2 12 144 2880 86400 3628800
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

r 0
Y recordando que la solucin w1 z es

1n a0
w1 z a n z n 1 an
0 n 1n!2
Que, una vez expandida queda
z 2 z3 z 4 z5 z6
w1 z z ...
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
w2 w1 ln z bn z n
z dz 0
w w d
2

w2 w1 ln z 2 1 21 2 bn z n
z z dz 0
110
Captulo 3
Llevando estos valores a la ecuacin diferencial en estudio, resulta
w1 d2
zw2 w2 zw1 ln z 2 w1 z 2 bn z n w1 ln( z ) z 0 bn z n
z dz 0 0
w1
ln z zw1 w1 2 w1 L bn z n 0
z 0
219 Dado que zw1 w1 0 Por qu? resulta
w
L bn z n 2 w1 1
0 z

Calculando L bn z n queda
0

L bn z n zD 2 bn z n bn z n z n(n 1)bn z n 2 bn z n
0 0 0 0 0

n(n 1)bn z n 1 bn z n 2.1b2 z 3.2b3 z 2 4.3b4 z 3 5.4b5 z 4 6.5b6 z 5 ...
0 0
b0 b1 z b2 z b3 z 3 b4 z 4 b5 z 5 ...
2
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:
w1 z2 z3 z4 z5 z z2 z3 z4 z5
2 w1 2 1 z
... 1
..
z 4 36 576 14400 2 12 144 2880 86400
obsrvese que el primer parntesis de la expresin anterior es la derivada de

w1
111
Se puede ahora escribir
w1 3 5 7
2 w1 z z 2 z 3 ...
z 2 12 144
221 Igualando la ltima expresin del prrafo 373 y la del anterior a ste,
segn potencias de z, se plantea el sistema de ecuaciones
b0
3
2b2 b1
2
5
6b3 b2
12
12b b 7
4 3
144
....
De la segunda resulta
13 3 1
b2 b1 b0 b1
22 4 2
De la tercera
1 5
b3 b2
6 12
reemplazando b2 por la su expresin en funcin de b1, se obtiene
1 7
b3 b0 b1
12 3
De la misma forma se llega a
1 35 1
b4 b0 b1
12 144 12
Reemplazando entonces en

w2 z w2 w1 z ln( z ) z 0 bn z n
0
112
Captulo 3
Se tiene finalmente
z2 z3 z4 z5 z6 z7
w2 ( z) z ... ln(z) b0 b1 z
2 12 144 2880 86400 3628800
3 1 1 7 1 35 1
b0 b1 z 2 b0 b1 z 3 b0 b1 z 4 ...
4 2 12 3 12 144 12
Tomando arbitrariamente b0 y b1 iguales a 1 lo que implica tomar =-1 se

tiene
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
an
( n r )( n r 1)
a0
a1
1 r r
a1 a0
a2
( 2 r )(1 r ) ( 2 r )(1 r ) 2 r
a2 a0
a3
(3 r )( 2 r ) (3 r )( 2 r ) 2 (1 r ) 2 r
---------------------------------------------
y, con l se expresa
z z2 z3 z4
w( z , r ) a 0 z r 1 ...
r 1 r r 1 r 2 r r 1 r 2 r 3 r r 1 r 2 r 3 r 4 r
2 2 2 2 2 2

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

rw z , r
223 Corresponde ahora calcular . Este clculo da, haciendo
r
arbitrariamente a 0 1
114
Captulo 3
rw z , r z 1 r z 2 r 2 z 2 r z 3 r
zr
r 1 r 2 1 r 2 2 r 2 1 r 3 2 r 1 r 2 2 r 2 3 r 2
2 z 3 r 2 z 3 r z 4 r

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

1 r 2 2 r 2 3 r 3 4 r 1 r 2 2 r 3 3 r 2 4 r 1 r 3 2 r 2 3 r 2 4 r
z 1 r ln( z ) z 2 r ln( z ) z 3 r ln( z ) z 4 r ln( z )
rz r ln( z )
1 r 1 r 2 2 r 1 r 2 2 r 2 3 r 1 r 2 2 r 2 3 r 2 4 r
por supuesto, el clculo ha sido hecho con MATHEMATICA.
224 Haciendo r=0 en la expresin anterior se tiene
5 2 5 3 47 4 1 1 1 4 1
w2 z 1 z z z z ... z z 2 z 3 z z 5 ... ln( z )
4 18 1728 2 12 144 2880
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
e 0
p ( z ) dz
z
w2 ( z ) w1 ( z ) dz
0
w1 ( z )2
en el caso en estudio es p ( z ) 0 , entonces queda
z dz
w2 ( z ) w1 ( z )
0
w1 ( z )2
226 Teniendo en cuenta que w1 ( z ) es una serie de potencias, su cuadrado es
de muy laboriosa obtencin, naturalmente operando solamente sobre algunos
primeros trminos.
115
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
2

n 0
bn ( z z0 )n
2 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
3 Si r1 - r2 es un nmero entero

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

w2 z w1 ( z ) ln( z z0 ) ( z z0 ) r2

n 0
bn ( z z0 )n
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
2
2z wz 0
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
nn 1an z n2 2t nan z n1 an z n 0
n2 n 1 n 0
nn 1a n z n2 2 nan z n a n z n 0
n2 n 1 n 0
239 Haciendo
nn 1a
n2
n z n 2 i 2i 1ai 2 z i
i 0
nan z n i 1ai1 z i1
n 1 i 0
a n z n ai z i
n 0 i 0
resulta
121
i 2i 1a

i2 ai z i 2i 1ai 1 z i 1 0
i 0
De donde
i0 2.1a 2 a 0 2 a1 z
i 1 3.2 a 3 a1 z 2.2 a 2 z 2
i2 4.3a 4 a 2 z 2 2.3a 3 z 3
i3 5.4 a 5 a 3 z 3 2.4 a 4 z 4 ...
Agrupando segn potencias de z se tiene

2a 2 a 0 0 a2 a0
2
2i
i 2i 1ai 2 2i ai 0 ai 2 a
i 2i 1 i
Con lo cual
2
a3 a1
3.2
a4
4
a2
4 a 4 a
0 0
4.3 4.3 2 4!
a5
6
a3
6 2
a1
6 2 a
1
5.4 5.4 3.2 5!
8 4 . 8
a6 a4 a0
6.5 6!
.......................................................
122
Captulo 4
240 En general se puede escribir
2.2 ...22i 2
a 2i a0
2i !
a 2i 1
2.1 ...22i 1 a
2i 1! 1
241 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 R
en la que z 0 es un punto singular regular dado que z

1 z y z2

son
z z
funciones analticas en el origen
La ecuacin indicial es
r r 1 p 0 r q0 0
donde
p0 lim z
1 z 1
z 0 z

q0 lim z 2 0
z 0 z
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 w2 ( z ) w1 ( z ) ln( z ) bn z n
0 0
249 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
2 1 0

nn 1a n z n 1 na n z n 1 na n z n a n z n 0
2 1 1 0
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
1
2.1a2 2a2 a1 a1 0 a2 a0
4
1 2
3.2a3 3a3 2a2 a2 0 a3 a0
4.9
En general, para la potencia z k se tiene (habra que probarlo por induccin)
k 1kak 1 k 1a k 1 kak a k 0
de donde se obtiene la relacin de recurrencia
1 2... k
a k 1 1
k
a0
k 1!2
Haciendo a0 1 se tiene

1 2... n 1
w1 z 1 1
n
zn
1 n! 2
126
Captulo 4
251 Si es un nmero natural, las soluciones son polinomios.
L0 z 1
L1 z 1 z
1 2
L2 z 1 2 z z
2
3 1
L3 z 1 3 z z 2 z 3
2 6
ECUACION DE LEGENDRE
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
2z
p( z )
1 z2
1
q( z)
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
n
n2
2 z nan z n 1 1 a n z n 0
2 1 0
Observando que

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

na n z n1 n 1a n1 z n
1 0
128
Captulo 4
256 Resulta, reemplazando nuevamente en la ecuacin diferencial

n 2n 1a
0
n2 nn 1a n 2a n 1a n z n 0
operando en el corchete se obtiene
n 2n 1a
0
n2 n 1 nan z n 0
de donde
n 2 n 1 an2 n 1 n an 0

an 2
n 1 n a
n 2 n 1 n
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
1 a
0
2 1
a3
2 1 a
1
3 2
a4
3 2 a
3 1 2 a
2 0
43 4 3 2 1
a5
4 3 a3
4 2 1 3

a1
5 4 5 4 3 2 1
Por induccin es posible demostrar que
a2 n (1) n
2n 1 2n 3 ... 1 2 ... 2n 2 a
0
(2n !)

a2 n 1 (1) n
2n 2n 2 ... 2 1 3 ... 2n 1 a
1
(2n 1)!
129
258 Se definen

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

2 ( z ) z ( 1) n
2n 2n 2 ... 2 1 3 ... 2n 1 z 2 n 1
1 (2n 1)!
entonces, la solucin general de la ecuacin de Legendre es
( z ) a01 ( z ) a12 ( z )
259 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
2 ( z ) es una serie de potencias. Se listan a continuacin algunos polinomios
0 1 ( z ) 1
2 1 ( z) 1 3z 2
35 4
4 1 ( z ) 1 10 z 2 z
3
260 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
2
n z n 2 z a n z n nn 1a n z n 2 a n z n 1
0 2 0

2.1a 2 k 2 k 1a k 2 z k a k 1 z k 0
1 1
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
0 0
0
k 2k 1a
0
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
a k 1
ak 2
k 2k 1
132
Captulo 4
266 Puede escribirse entonces
a0
a3
3.2
a
a4 1
4.3
a
a5 2 0
5.4
a a0
a6 3
6.5 2.3.5.6
a a1
a7 4
7.6 3.4.6.7
a a2
a8 5 0
8.7 4.5.7.8
.......................................
Y de all
1 3 1 1 1 4 1 1
wz a0 1 z z6 z 9 ... a1 z z z7 z 10 ...
3.2 2.3.5.6 2.3.5.6.8.9 4.3 3.4.6.7 3.4.6.7.9.10
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
1 3k ! 1 3k 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 R
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
z
zp( z ) z 1
z2
(z2 2 )
z 2 q( z ) z 2 2
(z2 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
0 0

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
0 0 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
0 0 0 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
a0
a2
(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
a2 a0
a4
(r 4)
2 2
[(r 2) ][(r 4) 2 2 ]
2 2
a5 0
a0
a6
[(r 2) ][(r 4) 2 2 ][(r 6) 2 2 ]
2 2
a7 0
272 Se analizan casos segn el valor de
I real no entero
En este caso se tiene r1 y r2
136
Captulo 4
a0
a2
(r1 2) 2 2

Tomando r1 y desarrollando cuadrados se tiene
a0 a0
a2
4 4
2 2
4 1
a2 a2 a2 a0
a4 2
4
2 2
8 16 2
8 2 4.8. 1 2
a4 a4 a4 a0
a6 2
6
2 2
12 36 2
12 3 4.8.12 1 2 3
.......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... ......
( 1) k a 0
a2k
2 2 k k! 1 2 3... k
Reemplazando estos valores en la serie solucin se obtiene
k
( 1) k a 0
w1 z a 0 z 2 k
k 0 2 2k
k ! 1 2 3 ... k
En la bibliografa se suele tomar como valor arbitrario de a0 el valor
1
a0
2 1
Donde 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
1k z
2 k

k!k 1 2
Para lo otra raz r2 se puede demostrar que
J z
1
k
z
2 k

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 c1 J z c2J z
II 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
a0
a2
22
a0
a4
22 42
a
a6 0
2 2 2
246
a0
a2 n (1)n
2 4 6 (2n) 2
2 2 2
Por ser
22 42 62 (2n) 2 22 (2 2) 2 (2 3) 2 (2 4) 2 (2n) 2
2 242
22 (222 )(2232 )(22 42 ) (22 n2 ) 22 n (1 223 n2 ) 22 n (n !)2
Puede escribirse finalmente tomando arbitrariamente a0 1
z2 z4 z6 z 2n
J0 z 1 ...( 1) n
...
22 22 42 22 4262 2 2 n ( n !) 2
Esta misma ecuacin puede escribirse

2 4 6 8
z z z z

2 2 2 2
J 0 z 1 2 ...
1! 2
2! 3! 4!
2 2
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
w( z, r ) z 1
r
(1) n
2
(r 2) (r 2) (r 4) (r 2) (r 4) (r 2n)
2 2 2 2 2
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

r r 2 r 22 r 43 r 23 r 42 r 22 r 42 r 63
3
w( z , r )
z
r 2z 6 2z 6
...
r 2 r 4 r 6 r 23 r 42 r 62
2 3 2

z2 z4 z6
z r 1 2
Log ( z )
r 2 r 2 r 4 r 2 r 4 r 6
2 2 2 2 2
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

z 2n 1 1 1
J 0 z ln( z ) ( 1) n 2n 2
1
1 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:
a0 a a
a2 2 0 2 0
(r1 2) r1
2 2
3 1 8
a2 a0 a
a4 0
(r1 4) r1
2 2
8(5 1 ) 8 24
2 2
De la misma forma se obtienen
a0
a6
8 24 48
a0
a8
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 2 an 2 an 2
an
( r n) 1
2 2
[(r n) 1][r n) 1] (r n 1)(r n 1)
143
a0
a2
( r 1)( r 3)
a2 a0
a4
(r 5)(r 3) (r 5)(r 3) 2 (r 1)
a4 a0
a6
(r 7)(r 5) (r 7)(r 5) 2 (r 3) 2 (r 1)
Entonces
z2 z4 z6
w( z, r ) z r a0 1
(r 1)(r 3) (r 5)(r 3) (r 1) (r 7)(r 5) (r 3) (r 1)
2 2 2

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
(r 3) (r 5)(r 3) (r 7)(r 5) (r 3)
2 2 2

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
2 3 3 2
z r 2 ln z z r 4 ln z z r 6 ln z

r3 r 3 2 r 5 r 3 2 r 5 2 r 7
Dndole a r el valor -1 se tiene finalmente
144
Captulo 4
1 1 1 5 1 z 5 5 5
w2 ( z ) z z 3 z ln( z ) z 3 z
2 16 384 z 4 64 1152
y esto es igual a
1 1 z 2 5z 4 5z 6 47 z 8 131 z 10
Y1 z ln z J 1 z 1 ...
2 z 4 64 1152 442368 88473600
278 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 1 z J n 1 z J n z
z
J n 1 z J n 1 z 2 J n' 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 r n
(r n)an z r n
0

1
an z r n 2 an z r n 0
0 4 0
De esta ltima resulta

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

0
an z r n 2 0
Haciendo explcitos los dos primeros trminos de la serie queda

2 1 1 1 r+n

r a
0
4
z r

( r 1) 2

4
a1 z r 1
(r n) an an 2 z =0
2
2
La ecuacin indicial o de ndices es
146
Captulo 4
1
r2 0
4
1 1 1 1
Cuyas races son r1 y r2 y cuya diferencia es r1 r 2 1 un
2 2 2 2
entero positivo!
1 1
281 Se considera en primer lugar la raz r1 . En este caso (r 1)2 ,
2 4
factor numrico de a1 es distinto de cero. En consecuencia a1 debe ser nula y,
por recurrencia tambin deben serlo todos los coeficientes de ndice impar de
la serie propuesta como solucin.
Para los coeficientes pares se tiene, despejando de la llave de la

expresin anterior
an 2
an 2

1 1
n
2 4
Haciendo n=2m queda
a2 m 2 a2 m 2
a2 m m=1,2,3,4,
1 1
2
2m(2m 1)
2m
2 4
Resulta as
a0
a2
23
a2 a0 a
a4 0
5 4 5 4 3 2 5!
a4 a
a6 0
76 7!
En general
a0
a2 m (1)m
(2m 1)!
147
282 Entonces se puede escribir como primer solucin, con a0 1
1
(1)m 2 m 12 (1)m 2 m1
w1 ( z ) z 1
2
z z z
1 (2m 1)! 0 (2m 1)!
y esto ltimo por el conocido desarrollo en serie de potencias de la funcin

seno, resulta
1
w1 ( z ) sen( z )
z
Definiendo
1
2 2 2
J 1 ( z ) w1 ( z ) sen( z )
2 z
Cuya grfica se agrega a continuacin
283 Corresponde ahora encontrar la segunda solucin. Para ello se parte de la

expresin

2 1 1 1 r+n

r a
0
4
z r

( r 1) 2

4
a1 z r 1
(r n) an an 2 z =0
2
2
148
Captulo 4
deducida en prrafo 280 precedente.
1
Siendo en este caso r el corchete
2
1 1 2 1
( r 1) 2
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 2 a2 m 2
a2 m m=1,2,3,4,
1 1
2
2m(2m 1)
2m
2 4
a2 m 2
a2 m 2
m=1,2,3,4,
1 1
2m
2 4
De donde
a0 arbitrario
a0 a0
a2 2

1 1 2
2
2 4
a2 a2 a0
a4
1 1
2
4 3 4 3 2
4
2 4
( 1) m a0
a2 m m=1,2,3,4,
2m !
285 Con relacin a los coeficientes impares, mediante un clculo similar al
anterior, resulta
( 1) m a1
a2 m 1 m=1,2,3,4,
2m 1!
149
286 Finalmente resulta, como segunda solucin

1
(1)m z 2 m
(1)m z 2 m1
w2 ( z ) z 0
a a1
2

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

w2 ( z ) z 2
a0 cos( z ) a1sen( z )

Sin embargo se suele tomar como segunda solucin a
2
J 1 (z) cos( z )

2
z
Y se toma como solucin general de la ecuacin de Bessel de orden
w( z ) c1 J 1 ( z ) c2 J 1 ( z )

2 2
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 ) 2
w ''( z ) 1 2 w( z ) 0
z z
Cuando z -> resulta la ecuacin diferencial que satisfacen las funciones
trigonomtricas.
w ''( z) w( z) 0
150
BIBLIOGRAFA CONSULTADA
I Pginas WEB
Bessel Functions. Project for the Penn State - Gttingen Summer School on
Number Theory. Martin Kreh
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 Matemtica,

Universidad de Extremadura, Badajoz, 25 de Octubre de 2012
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 Aero-
nuticas 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 Clasi-
ficacin. 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 Produc-
tiva. Profesor Titular Ordinario, Ctedra de Anlisis Matemtico,
Clculo Numrico y Fundamentos para el Anlisis de Seales. Ex
Secretario de Ciencia y Tecnologa. Universidad Tecnolgica Na-
cional, 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 Cien-
tfica y Tecnolgica. Secretara de Ciencia y Tecnologa. Ex Jefe
de Departamento Planificacin y Control. Comisin Nacional de In-
vestigaciones Espaciales. CNIE. Ha dirigido proyectos de inves-
tigacin y desarrollo, dictado conferencias, publicado artculos
cientficos y de divulgacin y libros de su especialidad.

Ecuacion de Hermite PDF

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Ecuacion de Hermite PDF

Enviado por

Direitos autorais:

Formatos disponíveis

Ing. Jorge J. L.

DEPARTAMENTO DE CIENCIAS BSICAS

edUTecNe, la Editorial de la Universidad Tecnolgica

Ejemplar para uso personal exclusivamente.

edUTecNe Editorial de la Universidad Tecnolgica Nacional

Ejemplar para uso personal exclusivamente. Prohibida su reproduccin total o

Ing. Jorge J. L. Ferrante

DEPARTAMENTO DE CIENCIAS BSICAS

Editado en Argentina - Published in Argentina

CAPITULO PRIMERO. A modo de informal introduccin.

CAPITULO SEGUNDO. Ecuaciones Diferenciales Ordinarias de

CAPITULO TERCERO. Ecuaciones diferenciales ordinarias en puntos

CAPITULO CUARTO. Funciones especiales.

La Unidad Docente Bsica Matemtica desarrolla, en forma permanente,

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

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

Sucesiones Numricas, Series Numricas, Sucesiones de Funciones,

1 Una sucesin de nmeros reales es una aplicacin del conjunto N (o, a

3 Se incluyen a continuacin cuatro ejemplos arbitrarios de sucesiones.

La primera es la sucesin {an} = { 1/n}

La segunda es la sucesin {an} = { (2n-1)/n2}

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}

4 En los casos presentados se ha definido la sucesin mediante una

5 Otra forma de definirlas es mediante una expresin de recurrencia (del

6 En las sucesiones recurrentes se dan los primeros trminos necesarios

En este caso puede demostrarse que

7 Por ltimo se pueden definir de manera completamente arbitraria

Trmino de la Ley de formacin

II Monotona de una sucesin

8 Una sucesin {an} es montona creciente si

9 Obsrvese que la nica diferencia entre sucesin creciente y

10 Una sucesin es montona decreciente si

Vale en este caso la misma observacin anterior.

11 Demostrar el crecimiento o decrecimiento de una sucesin suele

12 La sucesin {an} est acotada superiormente si existe un nmero M tal

Por ejemplo, dada la sucesin

Las siguientes son subsucesiones posibles

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

V Convergencia de una sucesin

14 A continuacin se agregan grficos (obviamente no continuos) en los que

00:00:00 00:00:30 00:01:00 00:01:30

15 En la primera y en forma absolutamente intuitiva puede inferirse que, al

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

16 Estudiar la convergencia de una sucesin consiste precisamente en

Si tiende a un nmero finito L la sucesin se dice convergente, si tiende

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

20 Obsrvese que este criterio permite asegurar la convergencia de una

VI Lmite de una sucesin

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

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

23 Obsrvese detenidamente que, en el intervalo [L + , L - ] despus de N

00:00:00 00:00:30 00:01:00 00:01:30

VII Monotona y convergencia

24 Se relacionan a continuacin condiciones de monotona y de

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

25 Este teorema es til para estudiar la convergencia de algunas