Divergencia

MAT 2
MATerials MATemtics
Volum 2014, treball no. 5, 37 pp. ISSN: 1887-1097
Publicaci electrnica de divulgaci del Departament de Matemtiques
de la Universitat Autnoma de Barcelona
www.mat.uab.cat/matmat
Hablemos de Series Divergentes

Josefina lvarez
Especialmente con los trabajos de Abel y
Cauchy, se observa un gran afn por la formalizacin y el rigor en las matemticas europeas
de la primera parte del siglo XIX. En este contexto, las series convergentes y las divergentes
parecen atenerse muy bien al refrn Cra buena fama y chate a dormir, cra mala fama y
chate a morir. Sin embargo, mucho se puede hacer con las series divergentes, mientras
que las convergentes no siempre son tan buenas como su fama indicara. El propsito de
este artculo es discutir el papel que las series
divergentes juegan en la llamada aproximacin
asinttica de funciones.
Nuestra presentacin ser informal pero
cuidadosa y pondr nfasis en discutir las profundas diferencias que hay entre la aproximacin por medio del concepto de convergencia
y la aproximacin asinttica. El artculo incluye numerosos ejemplos y una lista de referencias que permitirn ampliar la
exposicin y aplicarla en diferentes campos.
1.
Comencemos por recordar . . .

. . . la definin de serie convergente.
Definicin 1 Una serie, que para fijar ideas siempre supondremos de trminos reales, es convergente, si la sucesin de sus sumas parciales converge.
Es decir, la serie
X
uj
j0
con suma parcial

Sn =
n
X
uj
j=0
es convergente, si hay un nmero S para el cual

lm Sn = S.
Esto quiere decir que para cada > 0 existe N = N () tal que
|Sn S| < para todo n N .
Si ste es el caso, decimos
que la serie converge a S o que su suma es S,
P
lo que indicaremos
uj = S. En cualquier otro caso catalogamos a la serie
j0
como divergente.
Por ejemplo, cada una de las series
X 1
,
2
j
j1
X
xj
para |x| < 1 ,
j0
X xj
j0
es convergente, con suma

series
para todo x ,
j!
2
1
,
y ex respectivamente, mientras que las
6 1x
X
(1)j ,
j0
para |x| 1 ,
j0
X
j0
son divergentes.
j! xj
para todo x ,
Josefina lvarez
Ya el matemtico ingls John Wallis (16161703) formul en 1655 una

definicin equivalente a la definicin de sucesin convergente dada aqu ([25],
pg. 11). De acuerdo con ([25], pg. 16), la expresin serie convergente fue
introducida por el matemtico escocs James Gregory (16381675) en 1668,
mientras que la expresin serie divergente se debe a Nicolaus (I) Bernoulli
(16871759), quien la introdujo en 1733.
Hay resultados que permiten decidir sobre la convergencia de una serie,
sin necesidad de conocer su lmite. A este respecto, podemos citar (ver por
ejemplo [8], pg. 175) la condicin necesaria y suficiente dada por el matemtico francs Augustin Louis Cauchy (17891857) en su Cours dAnalyse,
publicado en 1821. En efecto, Cauchy fue el primero en hacer un estudio
riguroso de las condiciones bajo las cuales una serie converge ([20], biografa
de Cauchy).
Aunque hay mucho para hablar de las series convergentes y de sus usos,
aqu las dejamos por ahora, porque nuestro inters se centra en aquellas series
que son divergentes.
2.
Qu hacer con las series divergentes?
Histricamente, podemos distinguir tres enfoques. Uno, es el desecharlas como algo indeseable.
sta fue la actitud, entre otros, del gran matemtico noruego Niels Henrik Abel (18021829),
quien en 1828 dijo ([11], prefacio escrito por J. E. Littlewood): Las series
divergentes son la invencin del diablo y el basar en ellas una demostracin
es vergonzoso. Abel fue un enamorado del rigor y un admirador ardiente de
Cauchy, a quien consider el nico que hoy en da sabe cmo se deben hacer
las matemticas ([20], biografa de Cauchy).
El segundo enfoque es el formular nuevas definiciones de convergencia, conocidas como mtodos de sumabilidad. Este enfoque ha producido resultados
fructferos, por ejemplo, en el estudio de las series de Fourier ([24], pg. 229;
[12]) y ms recientemente en relacin con mtodos de extrapolacin [3] y en
mecnica cuntica [1].
Un tercer enfoque es el aceptar a las series divergentes por lo que son,
dndose cuenta de que pueden ser una herramienta poderosa en la aproximacin de funciones. Este enfoque, iniciado con el estudio de las soluciones
de ecuaciones diferenciales ordinarias y en la llamada astronoma dinmica
([25], pg. 151; [22]), contina teniendo un nmero creciente de aplicaciones
([2]; [9]; [18], captulo 4).
En las siguientes secciones presentaremos ejemplos y resultados ilustra-
MAT 2
MATerials MATem`
atics
Volum 2006, treball no. 1, 14 pp.
Publicaci
o electr`
onica de divulgaci
o del Departa
de la Universitat Aut`
onoma de Barcelona
tivos de este tercer enfoque, que realmente aprovecha las propiedades muy
interesantes que una serie divergente puede tener. Para no alargar demasiado
las cosas, dejaremos de lado la consideracin del segundo enfoque que hemos
mencionado, los llamados mtodos de sumabilidad. En ([25], pgs. 154158)
y especialmente en [11] se puede ver una presentacin excelente de estos
mtodos.
Antes de meternos de lleno en nuestro tema, necesitaremos recordar un
par de notaciones que nos sern de gran utilidad cuando tengamos que comparar el tamao de funciones en el entorno de un punto.
3.
Las notaciones O y o
Consideramos dos funciones reales, f y g, definidas en un conjunto D de

nmeros reales que tiene un punto de acumulacin a que puede ser finito o
infinito. Cuando trabajemos con + omitiremos el signo +.
Definicin 2 Decimos que
f (x) = O(g(x)) cuando x a
si existe un nmero real C > 0 y un entorno U de a tal que
|f (x)| C |g(x)|
para x D U .
Definicin 3 Decimos que

f (x) = o(g(x)) cuando x a
si para cada > 0, existe un entorno U = U () de a tal que
|f (x)| |g(x)|
para x D U .
Por ejemplo,
5 x3 2 x2 + 1 = O(x3 )
10 x = O(2 x)
x3 = o(x2 )
ln x = o(x )
cuando
cuando
cuando
cuando
x ,
x ,
x 0,
x , para todo > 0 .
Nos referimos a la notacin O diciendo que f es o grande de g , mientras

que la notacin o se lee f es o pequea de g.
Josefina lvarez
Cuando f = O(g) decimos que el order de magnitud de f es no mayor que

el orden de magnitud de g. Es decir, el describir el tamao de una funcin en
trminos de O, es dar una cota superior para el crecimiento de |f |. Por supuesto, estas afirmaciones son relativas a un punto a particular. Si la funcin
que
se anula en un entorno de a, entonces f = O(g) significa
el cociente

g no
f (x)
f
est acotado cerca de a, o equivalentemente, lm sup

g(x) < .
g
xa
La notacin f = o(g) quiere decir, en trminos vagos, que la funcin f
es mucho menor que la funcin g, cerca de a. Si la funcin g no se anula
f (x)
= 0. En
en un entorno de a, entonces f = o(g) significa que lm sup
g(x)
xa
realidad, en muchos casos de inters el lmite existe, lo que hace muy fcil el
establecer y comparar rdenes de magnitud. Tal es el caso en los ejemplos
que acabamos de dar.
Es claro que f = o(g) implica f = O(g), pero no recprocamente:
sen x = O(1) cuando x ,
porque la funcin est acotada para todo x real, pero
sen x 6= o(1) cuando x ,
porque la funcin ni siquiera tiene lmite para x .
De acuerdo con ([26]; [25], pg. 11), las notaciones O y
o fueron introducidas por el matemtico alemn Paul Gustav Heinrich Bachmann (18371920) en el segundo volumen de su excelente tratado ([20], biografa de Bachmann)
sobre teora de nmeros, publicado en 1894. Las notaciones fueron popularizadas por el matemtico alemn Edmund Georg Hermann Landau (18771938), quien las us
en trabajos, tambin sobre teora de nmeros, publicados
en 1909.
P. G. Bachmann
Veremos que las notaciones O y o se usan, por ejemplo,
para describir el error con que una funcin es aproximada
por las sumas parciales de una cierta serie.
El matemtico y cientfico de la computacin americano Donald Ervin
Knuth (n. 1938), creador del lenguage TEX, ha popularizado las notaciones O
y o en computacin cientfica, donde se usan para analizar la complejidad de
un algoritmo ([18], captulo 1). Es decir, para ver cmo depende del tamao
de los datos, el tiempo o el nmero de pasos necesarios para ejecutarlo. En
este contexto, usualmente se trabaja con funciones de los nmeros naturales
MAT 2
MATerials MATem`
atics
Publicaci
o electr`
onica de divulgaci
o del Departa
onoma de Barcelona
en s mismos, cuyo orden de magnitud se desea establecer cuando la variable

tiende a .
Knuth tambin ha refinado varias otras notaciones relacionadas con O
y o ([13], [26]) y ha defendido la conveniencia y la utilidad de emplear las
notaciones O y o en la enseanza del Clculo ([14]).
Podemos pensar que O(g) es el conjunto de todas las funciones cuyo
orden de magnitud, cerca de un cierto punto, no es mayor que el orden de
magnitud de g. Igualmente, o(g) indica a aquellas funciones que tienen orden
de magnitud mucho menor que g, en el sentido de la definicin 3. Desde
este punto de vista, sera ms correcto usar el smbolo de pertenencia, . Por
ejemplo,
x2 O(x3 ) cuando x ,
x o(ln x) cuando x 0 .
Desafortunadamente, hay que aceptar que el uso del signo igual ha prevalecido.
Observemos que las notaciones O y o no son simtricas. Por ejemplo, es
correcto decir
x2 = O(x3 ) cuando x ,
mientras que x3 = O(x2 ) cuando x , no lo es. Informalmente, podemos
decir que el signo igual usado con O y o da una especie de igualdad unilateral.
O sea, que en general se lo puede usar slo de izquierda a derecha. Notamos
otra vez el uso de la palabra es en las expresiones f es o grande de g y
f es o pequea de g.
Knuth observa en [14] que en las matemticas, no es inusual que el signo
igual tenga un significado unilateral, dependiente del contexto. Por ejemplo,
la intencin de desarrollar el cuadrado (1+x)2 se muestra leyendo la igualdad
(1 + x)2 = 1 + 2 x + x2
de izquierda a derecha, pero no de derecha a izquierda.
En esta explicacin de las notaciones O y o, nos hemos limitado casi exclusivamente a aquellos aspectos que sern de inters en las secciones que siguen.
En la referencia ([18], captulo 4) se puede leer una versin an ms sucinta,
mientras que el artculo [26] contiene muchos otros resultados y comentarios.
Josefina lvarez
4.
Series asintticas
Para motivar el tema, comenzaremos desarrollando un par de ejemplos

sencillos. El primero est basado en la igualdad
X
1
=
(1)j xj ,
1+x
j0
(1)
vlida para |x| < 1.

No es difcil comparar la suma de la serie con las sumas parciales. En
efecto, para todo x 6= 1,
n
n+1
X
1
j j
n+1 x
,
(1) x = (1)
1 + x j=0
1+x
(2)
lo cual se puede comprobar calculando

P
1 (1 + x) nj=0 (1)j xj
.
1+x
Por lo tanto,
n
X
1
(1)j xj = O(xn+1 ) cuando x 0

1 + x j=0
(3)
y tambin
n
X
1
(1)j xj = o(xn ) cuando x 0 .

1 + x j=0
Ms precisamente, si fijamos n 2 y consideramos |x|

n
1

X
1

j j
(1)
x

1 + x
(n 1) nn
j=0
para |x|
(4)
1
,
n
1
1
.
n
2
Si, por ejemplo, tomamos n = 3 y en consecuencia |x|
1
3

3
1

X

j j
(1) x < 0,02 .

1 + x

j=0
MAT 2
MATerials MATem`
atics
Publicaci
o electr`
onica de divulgaci
o del Departa
onoma de Barcelona
En cambio, si tomamos n = 4, y entonces |x|
1
,
4

4
1

X

j j
(1) x < 0,002 .

1 + x

j=0
Es decir, que valores pequeos de n ya nos dan sumas parciales que aproximan
bien el valor de la funcin, para valores de x en entornos determinados de
cero.
Observemos que este comportamiento es muy diferente de lo que ocurre
cuando hablamos de la convergencia de la serie a su suma. En este ltimo
caso, fijamos un valor de x dentro de la regin de convergencia y consideramos
valores de n mayores que un valor suficientemente grande, para asegurarnos
que la suma parcial aproxima, con un error preestablecido, a la suma de la
serie.
Nuestro segundo ejemplo es ms interesante, porque la funcin que queremos aproximar no tiene una frmula explcita, sino que est definida por
medio de una integral ([25], pg. 150),
Z xt
e
dt ,
t
x
que converge para todo x > 0. En efecto, fijado x > 0, podemos escribir,
para t x,
ext
ex t
e .
t
x
Por lo tanto, dicha integral define una funcin, digamos f (x), para x > 0 .
Adems,
Z
Z xt
ex t
1
e
dt
e dt = .
f (x) =
t
x x
x
x

1
Es decir, f (x) = O
o f (x) = o(1), cuando x .
x
Estas estimaciones se pueden extender, integrando por partes. En efecto,
si elegimos
u0 = ext , v = t1 ,
podemos escribir
Z xt
ext
e
f (x) =
dt

t x
t2
x
Z xt
1
e
=
dt .
x
t2
x
Josefina lvarez
Despus de n+1 integraciones por partes, para cualquier n 0, tendremos

Z xt
n
X
(1)j j!
e
n+1
f (x) =
+ (1)
(n + 1)!
dt .
j+1
x
tn+2
x
j=0
El primer trmino es la suma parcial Sn (x) de la serie
X (1)j j!
j0
xj+1
, mientras
que el segundo trmino nos da la diferencia entre f (x) y esta suma parcial.
Z xt
e
|f (x) Sn (x)| = (n + 1)!
dt
tn+2
x
Z
(n + 1)!
(n + 1)! xt
e dt =
.
(5)
n+2
x
xn+2
x
Es decir,

f (x) Sn (x) = O
1
xn+2
cuando x
(6)
cuando x .
(7)
y tambin

f (x) Sn (x) = o
1
xn+1
Pongamos a la estimacin (5) en un contexto numrico. Como estamos

interesados en valores grandes de x, supondremos, por ejemplo, x 2 n, para
n 2 fijo. Si ste es el caso,
(n + 1)!
(n + 1)!
n+2 n+2 .
n+2
x
2
n
Para simplificar esta cota, podemos comenzar observando que
n! nn1
para n 1 ,
lo cual puede probarse por induccin. Entonces,

(n + 1)!
(n + 1)
1
n+2 3 n+1 2 .
n+2
n+2
2
n
2
n
2
n
Finalmente,
|f (x) Sn (x)|
1
2n+1 n2
para x 2 n 4 .
Por ejemplo, si n = 2,

2

j
X
(1)
j!

f
(x)

< 0,04 para x 4 .
j+1

x
j=0
MAT 2
MATerials MATem`
atics
Publicaci
o electr`
onica de divulgaci
o del Departa
onoma de Barcelona
10
Cuando n = 5 y x 10 ,

5

j
X
(1)
j!

f (x)
< 0,007 .

xj+1
j=0
Es decir que la suma
n
X
(1)j j!
j=0
xj+1
ya nos da, con valores pequeos de n,
excelentes aproximaciones de la funcin f (x), para un rango grande de valores

de x.
Una vez ms, este comportamiento no tiene nada que ver con la nocin
X (1)j j!
es en realidad divergente para
de convergencia. Ms an, la serie
j+1
x
j0
cada x 6= 0, como puede verse comparando dos trminos consecutivos:

(1)j+1 (j + 1)! xj+1 j + 1

=
.

xj+2
(1)j j!
|x| j
Este ejemplo nos muestra un fenmeno muy interesante. Aunque la exX (1)j j!
presin
es slo una expresin formal, sus sumas parciales dan
j+1
x
j0
muy buenas aproximaciones de la funcin f , cuando fijamos un valor de n y
tomamos x suficientemente grande.
Aqu conclumos con nuestros ejemplos preliminares. Estamos listos ahora
para dar la definicin formal de desarrollo asinttico, comenzando con la
nocin de sucesin o escala asinttica.
Definicin 4 Consideramos funciones reales, definidas en un conjunto real
D con un punto de acumulacin a que puede ser finito o infinito. Suponemos
adems que las funciones no se anulan en D. Una familia {j }j0 de tales
funciones es una sucesin o escala asinttica para x a si
j+1 (x) = o(j (x)) cuando x a .
Por ejemplo, la familia {xj }j0 es una sucesin asinttica para x 0,

1
es una sucesin asinttica para x
mientras que la familia
xj j0
o para x . Observemos que se puede pasar del caso {xj }j0 al caso

1
1
por medio de la transformacin x .
j
x j0
x
Josefina lvarez
11
Definicin 5 Dada una funcin real g definida en D, la serie
aj j es un
j0
desarrollo asinttico de la funcin g para x a, con respecto a la sucesin

asinttica {j }j0 , si para todo n 0,
g(x)
n
X
aj j (x) = o(n (x)) cuando x a .
(8)
j=0
Si esta definicin se cumple, escribimos

X
g(x)
aj j para x a .
j0
Tambin suele decirse que la serie es una representacin asinttica de la

funcin f para x a .
X
Observemos que la serie
aj j puede ser convergente o divergente. Por
j0
ejemplo, de acuerdo con (4) podemos decir que

X
1
(1)j xj
1+x
j0
para x 0 ,
mientras que (7) implica

f (x)
X (1)j j!
j0
xj+1
para x .
En el primer caso la serie asinttica es convergente, mientras que en el segundo caso es divergente. Observemos
que estamos usando las expresiones desarrollo asinttico
y serie asinttica con el mismo significado. Es decir, en
ambos caso suponemos que hay una funcin con respecto
a la cual la serie cumple la definicin 5.
Observemos que al hablar de desarrollo o serie asinttica siempre necesitamos referirnos a una funcin. En
cambio, como dijimos en la seccin 1, la nocin de serie
convergente puede establecerse sin tener que mencionar la
suma.
J. H. Poincar
La definicin de desarrollo asinttico se debe al matemtico francs Jules Henri Poincar (18541912), quien la propuso en su
trabajo sobre ecuaciones diferenciales ordinarias, publicado en Acta Mathematica en 1886 ([25], pg. 151). Poincar obtuvo aproximaciones de soluciones
MAT 2
MATerials MATem`
atics
Publicaci
o electr`
onica de divulgaci
o del Departa
onoma de Barcelona
12
dadas
usando la sucesin asintti por
medio de representaciones integrales,X
1
aj
ca
y suponiendo siempre que la serie
es divergente. ste es
j
x j0
xj
j0
probablemente uno de los casos de mayor inters.
Aunque el concepto formal de desarrollo asinttico comenz con Poincar, otros matemticos, entre ellos Leonhard Euler (17071783), Abraham
de Moivre (16671754), James Stirling (16921770), Pierre-Simon Laplace
(17491827) y Adrien-Marie Legendre (17521833), ya lo haban anticipado
en casos particulares ([5], pg. 1; [25], pg. 151).
5.
Algunas propiedades de las series asintticas
Una funcin puede tener a lo sumo un desarrollo asinttico para x yendo

a un cierto punto a, con respecto
a una sucesin asinttica dada.
P
En efecto, si g(x)
aj j para x a, esto significa que para todo
j0
n 0, se cumple la condicin (8). Para n = 0,

g(x) a0 0 (x) = o(0 (x)) para x a .
O sea, dado > 0, existe un entorno U = U () de a tal que
|g(x) a0 0 (x)| < |0 (x)|
para x U .
Es decir,

g(x)
< ,

a
0

0 (x)
en ese entorno de a. Esto significa que existe
g(x)
= a0 .
xa 0 (x)
lm
(9)
Cuando n = 1,
|g(x) a0 0 (x) a1 1 (x)| < |1 (x)|
en un entorno apropiado de a. O sea, existe
g(x) a0 0 (x)
= a1 .
xa
1 (x)
lm
En general, existe

lm
xa
g(x)
Pn
j=0
aj j (x)
n+1 (x)

= an+1 .
(10)
Josefina lvarez
13
Por supuesto, diferentes sucesiones asintticas dan origen a desarrollos

asintticos distintos, para una funcin dada. Por ejemplo,
X 1
1
x1
xj+1
j0
para x
y tambin
X x+1
x+1
1
= 2
x1
x 1
x2 j+2
j0
para x .
1
Estas afirmaciones se comprueban usando la serie geomtrica de razn y
x
1
, respectivamente, con |x| > 1 .
x2
Una serie puede representar asintticamente a ms de una funcin. Por
X (1)j1
1
ejemplo, la serie
es un desarrollo asinttico de la funcin
j
x
1+x
j1
1
2
+ ex , para x .
y tambin de la funcin
1+x
La primera afirmacin se comprueba volviendo a usar la serie geomtrica
1
de razn para |x| > 1. Para comprobar la segunda afirmacin, slo tenemos
x
que recordar que

1
x2
e
=o
para todo n 0, para x .
xn
X (1)j1
1
2
+ ex , aunj
x
1+x
j1
1
que la serie, que es convergente, no converge a esa funcin, sino a
.
1+x

1
2
Una consecuencia de la propiedad ex = o
para todo n 1, es
xn
que
X 0
2
para x .
ex
xj
j1
Observemos que
es el desarrollo asinttico de
En los dos ejemplos que presentamos en la seccin anterior, vimos (en

(4), (3), (7), (6)) que no slo se cumple la condicin (8), sino que tambin se
cumple la condicin
g(x)
n
X
aj j (x) = O(n+1 (x)) cuando x a .
(11)
j=0
MAT 2
MATerials MATem`
atics
Publicaci
o electr`
onica de divulgaci
o del Departa
onoma de Barcelona
14
Esto es cierto en general, porque (8) y (11) son equivalentes.

En efecto, si se cumple (8) para todo n 0, tendremos
g(x)
n1
X
aj j (x) = an n (x) + o(n (x)) cuando x a ,
j=0
para todo n 1. Para obtener (11), slo tenemos que recordar que o(n (x))
implica O(n (x)).
Recprocamente, si suponemos (11) para todo n 0 ,
g(x)
n
X
aj j (x) = O(n+1 (x)) cuando x a ,
j=0
donde n+1 (x) = o(n (x)). Esto implica

g(x)
n
X
aj j (x) = o(n (x)) .
j=0
Por lo tanto, tenemos (8).

Es decir, la relacin asinttica
X
g(x)
aj j
para x a
j0
se puede describir diciendo que para todo n 0, la suma parcial
n
X
aj j (x)
j=0
es una aproximacin de g(x) con un error cuyo orden de magnitud no es

mayor que el orden de magnitud del primer trmino omitido.
6.
Series de Taylor versus series asintticas

Comencemos por fijar una funcin real g definida en un
entorno de un cierto nmero a. Si la funcin g tiene derivadas continuas de todos los rdenes, el teorema de Taylor
(ver por ejemplo [8], pg. 204), dice que para cada n 0,
g(x) =
n
X
g (j) (a)
j=0
B. Taylor
donde
Rn (x) =
j!
(x a)j + Rn (x) ,
g (n+1) (c)
(x a)n+1 ,
(n + 1)!
Josefina lvarez
15
para x fijo en un entorno apropiado de a y para c entre x y a.

Se sabe que la funcin g (n+1) (x) est acotada para x en un entorno suficientemente pequeo de a, o es O(1) para x a. Por lo tanto,
g(x)
n
X
g (j) (a)
j=0
j!
(x a)j = O (x a)n+1
para x a .
(12)
X g (j) (a)
(x a)j , convergente o no, es

j!
j0
siempre la serie asinttica de la funcin g, con respecto a la sucesin asinttica
{(x a)j }j0 , para x a. ste es el caso de nuestro primer ejemplo, (1).
Observemos que (12) no es cierto para x yendo a cualquier otro punto b.
Por ejemplo, usando (2),

n
1

X
1

j j
(1) x =
|x|n+1 ,

1 + x
1+x
j=0
Es decir, que la serie de Taylor
que no es o ((x b)n ) cuando x b, para b 6= 0 .

Desde el punto de vista de su convergencia, el comportamiento de la
X g (j) (a)
serie de Taylor
(x a)j corresponder a una de las siguientes tres
j!
j0
posibilidades:
1. Su radio de convergencia es mayor que cero y Rn (x) 0 para n
y para cada x en un cierto entorno de a. En este caso la funcin g es la
suma de su serie de Taylor en ese entorno y se dice que g es analtica
en ese entorno.
2. Su radio de convergencia es mayor que cero pero {Rn (x)}n0 no converge a cero para x 6= a. En este caso, la serie de Taylor de g converge
a una funcin que no es g.
3. Su radio de convergencia es cero. Es decir, la serie es simplemente una
expresin formal para x 6= a.
Indicamos a continuacin un ejemplo de cada uno de estos casos.
Ejemplo 1 La igualdad
X
1
=
xj ,
1x
j0
MAT 2
MATerials MATem`
atics
Publicaci
o electr`
onica de divulgaci
o del Departa
onoma de Barcelona
16
vlida para |x| < 1 , nos dice que la serie
xj , con radio de convergencia
j0
1
. Por supuesto, esta fun1x
cin es analtica para todo x 6= 1, como puede verse escribiendo su serie de
Taylor alrededor de cualquier a 6= 1 .
igual a uno, converge a la funcin, analtica,
Ejemplo 2 La funcin
(
e1/x
para x 6= 0
para x = 0
g(x) =
es indefinidamente derivable para todos los valores de x. Adems, para cada
n 1 la derivada g (n) (0) es cero (ver por ejemplo
pg. 3). Por lo tanto,
P [6],
j
la serie de Taylor de g alrededor de cero es
0 x , que por supuesto tiene
j0
radio de convergencia mayor que cero, pero que slo converge a la funcin g
para x = 0 .
Ejemplo 3 La funcin
Z
g(x) =
0
et
dt
1 + x2 t
es indefinidamente derivable para todo x real y su serie de Taylor tiene la

forma (ver una prueba detallada en [6], pg. 1)
X
(1)j j! x2 j .
j0
Esta serie de potencias tiene radio de convergencia cero. En efecto,

(1)j+1 (j + 1)! x2 j+2

= (j + 1) x2 ,

j
2
j
(1) j! x
que va a infinito con j, para todo x 6= 0 .
Como ya lo hemos probado en general, en cada uno de estos ejemplos la
serie de Taylor es un desarrollo asinttico de la funcin, para x 0 .
7.
Operaciones con series asintticas de potencias
Para concluir con las propiedades de series asintticas que queremos presentar, discutiremos ahora el caso de series asintticas de potencias, es decir
Josefina lvarez
series de la forma
17
X
aj (x a)j o
X aj
. Veremos que estas series tienen

xj
muchas de las propiedades de las series convergentes de potencias.
X aj
, que es proPara fijar ideas, vamos a considerar series de la forma
xj
j0
bablemente el caso de mayor inters. Siempre que consideremos estas series,
nos interesar su comportamiento para x , as que no lo mencionaremos
al enunciar las propiedades.
j0
j0
Proposicin 1 Si f (x)
X aj
j0
xj
y g(x)
X bj
, entonces
j
x
j0
1.
f (x) + g(x)
X aj + b j
,
xj
j0
para todos los nmeros reales , .

2.
f (x) g(x)
X cj
,
xj
j0
donde
cj =
j
X
al bjl .
l=0
1
1 X dj
tiene un desarrollo asinttico de la forma
+
,
f (x)
a0 j1 xj
suponiendo que a0 6= 0 . Los coeficientes dj se obtienen recursivamente
a partir de los coeficientes aj .
3. la funcin
4.
Z
x
f (t) a0
X
aj
a1
dt
,
t
(j 1) xj1
j2
(13)
suponiendo que la funcin f es continua para x > A, para cierto A > 0 .

Demostracin. La prueba de la propiedad 1 slo requiere el uso directo de
la definicin (8), o equivalentemente de la definicin (11), y por lo tanto la
omitiremos.
MAT 2
MATerials MATem`
atics
Publicaci
o electr`
onica de divulgaci
o del Departa
onoma de Barcelona
18
Para probar 2, comenzamos usando, por ejemplo (11), con f y con g.

O sea, para todo n 0 ,

n
X
1
aj
,
=O
f (x)
j
n+1
x
x
j=0

n
X
bj
1
g(x)
.
=O
xj
xn+1
j=0
Por otra parte,
n
X
aj
j=0
xj
n
X
bj
xj
j=0
n
X
m
X
1
=
al bml
+O
m
x
m=0
l=0

n
X
1
cm
+O
=
.
xm
xn+1
m=0
xn+1
Entonces,
"

#
1
bj
f (x) g(x) =
+O
+O
j
n+1
j
x
x
x
xn+1
j=0
j=0
! n
!

X

n
n
X bj
X
1
1
aj
cm
+O
+O
=
=
.
j
j
n+1
m
n+1
x
x
x
x
x
m=0
j=0
j=0
n
X
aj
# "X
n
Comenzamos la prueba de 3 recordando el resultado de unicidad (9) y

(10), que probamos en la seccin 5. En nuestro caso, esta propiedad dice que
si
n
X
dj
g(x)
,
xj
j=0
entonces los coeficientes dj estn dados recursivamente por medio de las
frmulas
d0 = lm g(x)
x
"
dn = lm xn g(x)
x
n1
X
dj
j=0
!#
xj
para n 1 .
Puesto que
f (x) a0 = o(1) ,
1
1
=
.
x f (x)
a0
existe lm f (x) = a0 y por lo tanto, existe lm

x
Josefina lvarez
19
1
tuviera un desarrollo asinttico, el coeficiente d0
f (x)
1
debera ser igual a
. En efecto, este valor da la primera aproximacin,
a0
puesto que
1
1
a0 f (x)
=
= o(1) .
f (x) a0
f (x) a0
Es decir, que si
A partir de aqu, el razonamiento se repite. Si
1
tuviera un desarrollo
f (x)
asinttico, el coeficiente d1 debera ser igual a

1
1
lm x
.
x
f (x) a0
1
1
en una forma conveniente.
f (x) a0

a0 a0 ax1 + o x1
1
1
1
1

.
=
=
f (x) a0
a0
a0 + ax1 + o x1
a0 2 + a0xa1 + o x1
Para encontrar este lmite, escribimos
Por lo tanto,

x
1
1
f (x) a0

=
a1 + o(1)
a0 + a0xa1 + o
2
1
x

x
a1
.
a0 2
Comprobemos que este valor de d1 , junto con d0 , dan la segunda aproximacin.

1
a1 1
a0 2 x + f (x) (a0 x + a1 )
1
+ 2 =
f (x) a0 a0 x
f (x) a0 2 x

a0 2 x + a0 + ax1 + o x1 (a0 x + a1 )
=
f (x) a0 2 x
=
a1 2
x
+ o(1)
.
f (x) a0 2 x
Es decir,

x
1
a1 1
1
+ 2
f (x) a0 a0 x

=
a1 2
x
+ o(1)
,
f (x) a0 2
o sea,
1
1
a1 1
+ 2 =o
f (x) a0 a0 x

1
.
x
MAT 2
MATerials MATem`
atics
Publicaci
o electr`
onica de divulgaci
o del Departa
onoma de Barcelona
20
Siguiendo el mismo tipo de razonamiento, podemos comprobar que

1
1
a1 1
2
d2 = lm x
+
x
f (x) a0 a0 2 x
"
!#
1
1
a1 1

= lm x2
+ 2
a2
a1
1
x
a0 a0 x
a0 + x + x 2 + o x 2
=
a1 2 a0 a2
,
a0 3
1
, y as
f (x)
siguiendo. Aunque no lo haremos aqu, calculando otros pocos coeficientes dj
se podra deducir la forma de una frmula general para ellos.
Conclumos la demostracin de la proposicin probando 4. Esta propiedad
casi nos dice que una serie asinttica puede ser integrada trmino a trmino.
a1
El nico inconveniente es que los trminos a0 y
no son integrables en un
x
entorno del infinito y deben ser incorporados a la funcin f .
Usando (11) con n = 1, tenemos

1
a1
=O
,
f (x) a0
x
x2
que nos dar, junto con d0 y d1 , la tercera aproximacin de
lo cual nos dice que la funcin continua f (x) a0 ax1 es integrable para
x > A. Adems, dado n 2 ,

n
a1 X aj
1
f (x) a0
=O
.
x
xj
xn+1
j=2
Es decir,
Z
x
X
a1
dt
aj
f (t) a0
t
j=2
Z
x
dt
=
tj

O
1
tn+1

dt .
Por otra parte, para x suficientemente grande,

Z

Z

dt
C
1

O n+1 dt C
=
,

t
tn+1
n xn
x
x
donde la constante C depender de n. As,

Z
n
X
a1
aj
1
f (t) a0
dt
=
O
,
j1
n
t
(j
1)
x
x
x
j=2
Josefina lvarez
21
con lo cual hemos probado (13). Esto concluye la demostracin de la proposicin 1.

Observemos que en el caso de la sucesin asinttica {(x a)j }j0 , no
necesitamos quitar los dos primeros trminos, pues todos los trminos son
integrables cerca de a.
La proposicin que acabamos de probar nos permite construir nuevos
ejemplos de desarrollos asintticos en potencias.
Por ejemplo, si una funcin f tiene un desarrollo asinttico en potencias,
cualquier potencia entera positiva de f y en general cualquier polinomio en
f , tendrn tambin un desarrollo del mismo tipo. Si una funcin f , que no se
anula en un entorno del infinito, tiene un desarrollo asinttico en potencias,
tambin lo tendr toda funcin racional en f .
En ([5], pgs. 912) se muestran otros resultados sobre operaciones con
series asintticas de potencias, entre ellos un resultado de diferenciacin trmino a trmino.
Debemos decir que contrariamente a lo que ocurre con las series convergentes de potencias, no todas las series asintticas de potencias se pueden
diferenciar trmino a trmino. Por ejemplo, ste es el caso de la funcin
ex sen (ex ) ([25], pg. 153).

1
x
cuando x , para todo n 0 ,
En efecto, puesto que e = o
xn
podemos escribir
X 0
.
ex sen (ex )
j
x
j0
Sin embargo, no podemos decir que
X 0
es la serie asinttica de la derivada
xj
j0
x
x
x
x
x
x
[e
sen
(e )] = cos (e ) e sen (e ), porque eso implicara que cos (e ) =
1
o
cuando x , para todo n 0 , lo cual no es cierto. El problema
xn
x
es que la funcin
cos (e ) no tiene un desarrollo asinttico con respecto a la
1
sucesin
.
xj j0
En efecto, si lo tuviera,
debera de existir un nmero real a0 tal que

1
cos (ex ) a0 = O
. O sea, la funcin x [cos (ex ) a0 ] debera de estar
x
acotada para x en un entorno del infinito.
1
En consecuencia, tomando
x = ln n + 2 para n suficientemente gran1
de, el producto a0 ln n + 2 debera de estar acotado, de donde conclumos
que a0 tiene que ser cero.
MAT 2
MATerials MATem`
atics
Publicaci
o electr`
onica de divulgaci
o del Departa
onoma de Barcelona
22
Si ahora elegimos x = ln (2 n ) con n suficientemente grande, tendremos

que los valores ln (2 n ) deben de formar una sucesin acotada, lo cual no es
verdad.
Es decir que hay funciones
que no admiten un desarrollo asinttico con
1
.
respecto a la sucesin
xj j0
Es natural el preguntarnos si toda serie de potencias ser el desarrollo
asinttico de una cierta funcin. La respuesta es afirmativa, como lo prueba
el siguiente teorema, debido al matemtico suizo Armand Borel (19232003)
y al matemtico americano Joseph Fels Ritt (18931951), cuya demostracin
se puede ver en ([10], pg. 22).
Teorema 1 Dada cualquier sucesin {aj }j0 de nmeros reales (o complejos) existe una funcin real (o compleja) f definida en toda la recta y con
derivadas de todos los rdenes, tal que
X
f (x)
aj xj para x 0 .
j0
Es decir, que contrariamente a lo que ocurre con una serie de potencias

convergente, no hay restricciones en el crecimiento de los coeficientes de una
serie asinttica de potencias.
1
Recordemos que la transformacin x permite adaptar el teorema 1
x

1
al caso de la sucesin asinttica
.
xj j0
8.
Ms ejemplos
Consideremos, para cada x > 0, la funcin
Z
2
f (x) =
et dt .
x
Vamos a probar, usando integracin por partes, que

f (x) ex
X (1)j+1 1 3 5 (2 j 1)
2j+1
j0
1
x2 j+1
para x .
(14)
Si comenzamos escribiendo
2
et =
1 d t2
e ,
2 t dt
(15)
Josefina lvarez
23
la primera integracin por partes nos da

" 2 Z
#

Z
t
1
e
d
1
2
2

et dt =
et dt

2
t
dt
t
x
x
x
Z
2
2
ex
1 et
=
dt .
2x
2 x
t2
(16)
Usando otra vez (15),

Z
Z
2
2
2
ex
ex
1 3 et
t2
e dt =
2 3+ 2
dt .
2x
2 x
2
t4
x
x
Despus de n + 1 integraciones por partes con n 0 ,
Z
n
X
(1)j+1 1 3 5 (2 j 1) 1
t2
x2
(17)
e dt = e
j+1
2 j+1
2
x
x
j=0
Z
2
(1)n+1 1 3 5 (2 n + 1) et
+
dt .
2n+1
t2 (n+1)
x
Estimemos ahora el error.

(1)n+1 1 3 5 (2 n + 1) Z et2

dt

n+1
2
(n+1)

2
t
x
1 3 5 (2 n + 1)
2n+1 x2 n+2
et dt .
Usando la primera integracin por partes (16), podemos escribir

Z
1 3 5 (2 n + 1) t2
e dt
2n+1 x2 n+2
x

Z
1 1
1 3 5 (2 n + 1) 1
+
dt
2n+1 x2 n+2
2 x 2 x t2
1 3 5 (2 n + 1) 1
=
. (18)
2n+1
x2 n+3
Es decir,
x2
f (x) e
n
X
(1)j+1 1 3 5 (2 j 1)
j=0
2j+1
1
x2 j+1
=O
1
x2 n+3

,
cuando x ,
MAT 2
MATerials MATem`
atics
Publicaci
o electr`
onica de divulgaci
o del Departa
onoma de Barcelona
24
lo cual prueba (14).

Aunque no es importante, podemos simplificar la cota (18) y el trmino
general de la serie (17), usando factoriales y potencias de dos. As obtenemos,
1 3 5 (2 n + 1) 1
(2 n + 1)! 1
= 2 n+1
.
n+1
2
n+3
2
x
2
n! x2 n+3
(19)
y
(1)j+1 (2 j 1)! 1
(1)j+1 1 3 5 (2 j 1) 1
=
.
2j+1
x2 j+1
22 j (j 1)! x2 j+1
Como nos interesa x , suponemos, por ejemplo x 2 n, con n 0 .
Entonces el error (19) estar acotado por
(2 n + 1)!
.
n! n2 n+3
24 n+4
Si n = 2 y x 4 ,

2

j+1
X
(1) (2 j 1)! 1

x2
f (x) e
< 0,0002 ,

22 j (j 1)!
x2 j+1
j=0
lo cual ya indica una muy buena aproximacin, para un rango grande de
valores de x. Cuando n = 3 y x 6 , el error es menor que 0,0000007 .
La serie asinttica que aparece en (14) es divergente, como se ve examinando el cociente de dos trminos consecutivos.

(1)j+2 (2 j + 1)! 1
22 j (j 1)!
2 j+1

x

2
j+2
2
j+3
j+1
2
j!
x
(1) (2 j 1)!
=
2j + 1
, para cada x 6= 0 .
2 x2 j
Otra vez, las sumas parciales de una serie divergente aproximan muy bien a
la funcin para n fijo y x suficientemente grande.
Puesto que (ver por ejemplo [4], pg. 2)
t2
e dt =
,
2
0
tambin podemos escribir
Z x
X (1)j+1 (2 j 1)! 1
2
t2
g(x) =
e dt
ex
2
22 j (j 1)!
x2 j+1
0
j0
para x .
(20)
Josefina lvarez
25
Aunque (20) se justifica a mano de inmediato, si deseamos una justificacin

ms formal, podemos usar la primera parte de la proposicin 1.
El desarrollo asinttico (20) fue obtenido directamente por el matemtico
irlands George Gabriel Stokes (1819-1903), en 1857 ([25], pg. 152).
La funcin
Z x
2
g(x) =
et dt
0
2
da el rea entre 0 y x bajo la curva y = et . Excepto por varias constantes

que hemos omitido, g(x) es la llamada funcin de error (ver por ejemplo [4],
pg. 1) que volveremos a ver en la seccin que sigue.
En ([25], pgs. 151152, 159, 251, 368; [17]), hay otros ejemplos, de importancia en la teora de las llamadas funciones especiales ([28], [21]).
Observemos el papel que repetidas integraciones por partes juega en varios
de los ejemplos que hemos presentado hasta ahora. El que podamos integrar
por partes indefinidamente se debe a que en estos ejemplos el integrando tiene
derivadas de todos los rdenes. Cuando ste no es el caso, la integracin por
partes nos dar una suma finita como aproximacin, con un trmino de error
que se puede estimar ([5], pg. 21).
Adems de la integracin por partes ([5], captulo 3), hay varios otros
mtodos para obtener aproximaciones asintticas de funciones dadas por integrales. Por ejemplo, el lema de Watson, el mtodo de la fase estacionaria,
el mtodo del descenso rpido y el mtodo de Laplace ([5], captulos 47). En
el artculo [15] hay una excelente discusin comparativa de estos mtodos,
as como varias extensiones de gran inters.
La tcnica de integrar por partes se adapta muy bien a nuestro inters en
series divergentes y es por eso que la hemos enfatizado. Sin embargo, en la
ltima seccin de este artculo presentaremos en detalle el lema de Watson,
incluyendo un ejemplo de aplicacin que tiene su origen en la teora de las
funciones especiales.
Conclumos esta seccin desarrollando un ejemplo de una naturaleza bastante diferente, tomado de ([25], pg. 152).
Fijado 0 < c < 1, consideramos la funcin
h(x) =
X ck
,
x
+
k
k1
que est bien definida para x > 0. Si x > k, podemos escribir

j
j1
X
X
1
1
j k
j1 k

=
=
(1)
=
(1)
.
j+1
j
x+k
x
x
x 1 + xk
j0
j1
(21)
MAT 2
MATerials MATem`
atics
Publicaci
o electr`
onica de divulgaci
o del Departa
onoma de Barcelona
26
Formalmente, vamos a substituir (21) en la definicin de h(x), obteniendo

"
#
j1 k
XX
X
X
k
c
1
h(x) =
(1)j1
=
(1)j1
k j1 ck j .
j
x
x
j1
k1 j1
k1
Por supuesto, este reemplazo carece de sentido, pues eventualmente la
condicin x > P
k deja de cumplirse. Sin embargo, afirmamos que para cada
j 1, la serie
k j1 ck converge. En efecto, si escribimos el cociente de dos
k1
trminos consecutivos tendremos

(k + 1)j1 ck+1
=
k j1 ck

j1
1
1+
c,
k
expresin que tiene lmite, igual a c, cuando k . Denotemos

X
Aj = (1)j1
k j1 ck .
k1
Vamos a probar que

h(x)
X Aj
j1
, para x .
xj
(22)
En efecto, sea
Sn (x) =
n
X
Aj
j=1
xj
n
XX
k1 j=1
n
X
(1)j1 X
xj
j=1
(1)
j1
xj
k j1 ck
k1
j1 k
E aqu el truco que nos permitir avanzar en nuestro clculo: Multiplicamos y dividimos por x + k, para obtener
n
X
(1)j1 k j1 ck
j=1
xj
n
1 X (1)j1 k j1 ck
(x + k)
x + k j=1
xj
" n
#
n
X (1)j1 k j1 ck X
1
(1)j1 k j ck
+
=
x + k j=1
xj1
xj
j=1

n
ck
k
=
1
.
x+k
x
Josefina lvarez
O sea que
27

n
X ck
k
1
.
Sn (x) =
x
+
k
x
k1
Por lo tanto,
X ck k n
1 X n k
|h(x) Sn (x)|
n+1
k c .
x+k x
x
k1
k1
P
Como probamos antes, la serie
k n ck converge, a una cierta suma que
k1
llamaremos Cn (c). As,

h(x) Sn (x) = O
, cuando x ,
xn+1
lo cual prueba (22). Este ejemplo muestra que an manipulaciones formales

de series pueden llevarnos a obtener desarrollos asintticos.
Hasta aqu hemos centrado nuestra atencin en el uso de las sumas parciales de ciertas series, frecuentemente divergentes, para aproximar funciones
cuando la variable se acerca a un valor dado. En la seccin que sigue, investigaremos por medio de un ejemplo sencillo la siguiente pregunta:
9.
Qu tan buenas son las series convergentes

de potencias?
Usaremos la funcin de error,
Z
g(x) =
et dt ,
introducida en la seccin anterior.

2
Como la serie de Taylor de et se puede integrar trmino a trmino
entre 0 y x, podemos obtener de inmediato la serie de Taylor para g(x), que
converge a la funcin para todo x.
g(x) =
X
j0
(1)j
x2 j+1 .
(2 j + 1) j!
(23)
Veamos qu ocurre si aproximamos el valor de g con las sumas parciales

de su serie de Taylor.
MAT 2
MATerials MATem`
atics
Publicaci
o electr`
onica de divulgaci
o del Departa
onoma de Barcelona
28
Especficamente, digamos que queremos usar
n
X
j=0
(1)j
x2 j+1 para
(2 j + 1) j!
obtener g(x) con dos decimales correctos.

En la siguiente tabla indicamos para varios valores de x el primer valor
de n para el cual ocurre esto. Hemos empleado un sistema de computacin
algebraica, en nuestro caso Scientific WorkPlace, para hacer los clculos.
x
n
1 5
3 65
10 15 20
268 607 ?
No solamente n crece rpidamente al crecer x muy modestamente, sino

que ya para x = 20, el sistema tarda varios minutos en calcular la suma
parcial con n = 7000, a pesar de que este valor de n nos da un error aproximadamente igual a 3,4518 10113 ! .
En cambio operando, digamos, con cinco dgitos, Scientific WorkPlace nos
dice de inmediato que
Z
20
et dt 0,88623 ,
lo cual muestra que

el sistema no est usando la serie de Taylor.
Z 3,4
2
Por cierto, ya
et dt nos da ese valor, que seguramente coincide, con
0
cuatro decimales, con el valor
t2
0,88623 .
e dt =
2
0
Para darnos una mejor idea de la lentitud de la convergencia en (23),
observemos que los trminos de la serie
sj =
(1)j
x2 j+1
(2 j + 1) j!
verifican la frmula recursiva

sj+1 = sj
2 j + 1 x2
.
2j + 3 j + 1
Estos coeficientes decrecern en valor absoluto cuando el valor del producto

2 j + 1 x2
x2
sea menor que uno. Por ejemplo, para x = 20, el factor
2j + 3 j + 1
j+1
2j + 1
es menor que uno si j 400 , mientras que el factor
se puede ignorar
2j + 3
para valores grandes de j.
Josefina lvarez
29
Vemos que la serie de Taylor, convergente en todo punto, es una herramienta muy mala para aproximar la funcin cuando x crece. En cambio hemos
visto que una serie asinttica, divergente, da muy buenas aproximaciones.
Por supuesto, el inters de estos comentarios es, en cierto modo, solamente
terico. Como ya hemos observado, debido a la eficacia de los sistemas de
computacin algebraica, no hay dificultad en calcular el valor de la funcin
con gran precisin. Digamos una vez ms que esto no se hace usando las
sumas parciales de la serie de Taylor, sino que se usa un mtodo de integracin
numrica.
Para concluir esta seccin, mencionemos que las calculadoras grficas
tampoco evalan, por ejemplo, funciones trigonomtricas, usando sus series
de Taylor. En lugar de ellas, las calculadoras emplean algoritmos muy ingeniosos, basados en otras aproximaciones polinomiales, que tienen su origen en
el algoritmo CORDIC (Coordinate Rotation Digital Computer) desarrollado
por J. E. Volder en los aos cincuenta para resolver relaciones trigonomtricas
que aparecieron en problemas de navegacin area [19].
O sea que podemos decir que desde un punto de vista numrico, las series
convergentes no son muy apetecibles, lo cual hace que apreciemos an ms
el concepto de aproximacin asinttica.
Como ya hemos dicho, la mayora de los ejemplos de este concepto que
hemos presentado hasta ahora han sido desarrollados usando integracin por
partes. Cerraremos nuestro artculo discutiendo otro mtodo, el lema de Watson, que fue mencionado en la seccion 8 y que permite obtener desarrollos
asintticos, para x , de ciertos tipos de funciones dadas
medio de
por
1
.
integrales. Siempre trabajaremos con la sucesin asinttica
xj j0
10.
Elemental, Watson
Una integral de la forma

Z
ex t f (t) dt
(24)
se llama integral de Laplace, en referencia a la transformada de Laplace [27]

de la funcin f .
Nuestro objetivo es el formular condiciones generales bajo las cuales (24)
tiene un desarrollo asinttico, como funcin de x, para x .
A fin de darnos una idea del tipo de desarrollo asinttico que podramos
esperar, vamos a hacer algunos clculos formales.
MAT 2
MATerials MATem`
atics
Publicaci
o electr`
onica de divulgaci
o del Departa
onoma de Barcelona
30
Integrando (24) por partes n veces,

Z
Z

1 x t 0
ex t
x t

e f (t) dt =
f (t) +
e f (t) dt
x
x 0
0
0

Z
f (0) ex t 0
1
=
2 f (t) + 2
ex t f 00 (t) dt
x
x
x
0
Z 0
0
f (0) f (0)
1
=
+
+ 2
ex t f 00 (t) dt
2
x
x
x 0
..
.
Z
n
X f (j1) (0)
1
+ n
ex t f (n) (t) dt .
=
j
x
x
0
j=1
As obtenemos el desarrollo formal
X f (j1) (0)
.
j
x
j1
Podemos llegar al mismo resultado substituyendo formalmente
f (t) =
X f (j) (0)
j0
j!
tj
en la integral. En efecto,
Z
X f (j) (0) Z
x t
ex t tj dt .
e f (t) dt =
j!
0
0
j0
Afirmamos que
Z
0
ex t tj dt =
j!
xj+1
, para j = 0, 1, 2, . . .
(25)
lo cual podemos probar por induccin.

El resultado es claramente cierto cuando j = 0 . Suponindolo cierto para
un j 0 fijo, integrando por partes una vez y usando la hiptesis inductiva,
tendremos

Z
Z
ex t j+1
x t j+1
e
t dt =
t + (j + 1)
ex t tj dt
x
0
0
Z 0
j+1
j + 1 j!
(j + 1)!
=
ex t tj dt =
=
,
j+1
x
x x
xj+2
0
lo cual prueba (25).
Josefina lvarez
31
Es decir que, formalmente, podramos escribir

Z
X f (j1) (0)
ex t f (t) dt
.
j
x
0
j1
Esto indicara que bajo condiciones apropiadas, el desarrollo asinttico
de (24) slo depender del comportamiento de la funcin f cerca de cero.
Intuitivamente, la forma de la integral (24) sugiere que, cuando la funcin
f (t) es suficientemente regular, el rea bajo la curva y(t) = ex t f (t), para
x > 0 fijo, se concentra cerca de t = 0. Esta concentracin es ms y ms
pronunciada a medida que x crece hacia .
La justificacin de nuestros clculos formales est dada
por el llamado lema de Watson, probado por el matemtico ingls George Neville Watson (18861965) e includo
en su trabajo [23].
Hay varias versiones de este resultado, con diferentes
grados de generalidad ([5], captulo 6; [7]; [16], pg. 467;
[17]). La versin que vamos a enunciar y a probar aqu es
muy parecida a la presentada en [5]. La nica diferencia
G. N. Watson
importante es que en nuestra versin, que podemos considerar elemental, no usamos funciones de variable compleja.
Esta versin simplificada an tiene muchos usos de inters, como puede verse
en las referencias que acabamos de mencionar.
Proposicin 2 (lema de Watson) Dada la integral
Z
ex t f (t) dt ,
0
suponemos que la funcin f satisface las siguientes condiciones:

1. La funcin f (t) es continua para t > 0, tiene derivadas de todos los
X f (j) (0)
tj , converge a
rdenes cerca de t = 0 y su serie de Taylor,
j!
j0
f (t) cuando |t| < 2 r, para cierto r > 0 .
2. Existen C, a > 0 tales que
|f (t)| C ea t
, para t r .
Entonces,
Z
0
ex t f (t) dt
X f (j) (0)
j0
xj+1
, para x .
MAT 2
MATerials MATem`
atics
Publicaci
o electr`
onica de divulgaci
o del Departa
onoma de Barcelona
32
Demostracin. Comencemos por notar que las condiciones impuestas a la

funcin f implican que la integral existe para cada x > a .
Fijado n 0, escribimos
Z
0
ex t f (t) dt =
"
ex t f (t)
n
X
f (j) (0)
j!
j=0
#
tj dt
Z
n
X
f (j) (0)
j!
j=0
ex t tj dt . (26)
De acuerdo con (25), el segundo trmino es igual a

n
X
f (j) (0)
j=0
xj+1
Nuestro trabajo previo con desarrollos asintticos nos dice que el primer
trmino en (26) debera de ser el error, que llamaremos
Rn (x). De acuerdo

1
con (8), necesitamos probar que Rn (x) = o
, cuando x . Para
xn+1
n
X
f (j) (0) j
t .
ello, comenzamos por estimar la diferencia f (t)
j!
j=0
Si 0 t < r,

n

X f (j) (0)
(j)
X
f
(0)

tj =
tj Cn tn+1 ,
f (t)

j!
j!
j=0
jn+1
para cierta constante Cn > 0, dependiente de n, r, f .
En lo que sigue, Cn indicar el mismo tipo de constante, que probablemente ser diferente en cada ocasin.
Si t r, escribimos

n
n (j)

(j)
X
X
f (0) j
f (0) j

t |f (t)| +
(27)
f (t)
j! t

j!
j=0
j=0
y estimamos cada trmino. Para cierta constante Cn , estimamos el segundo

trmino como

(j)

n
n (j)
n
X
f (0) j X
f (0) t j
t
j

t =

r
C
.
n
j!
j! r
r
j=0
j=0
Josefina lvarez
33
En cuanto al primer trmino en (27), usamos la segunda hiptesis obteniendo

|f (t)| C ea t .
Es decir, para t r,

n
n

(j)
X
t
f
(0)

j
at
t C e + Cn
f (t)

j!
r
j=0
n
n
t
t
at
at
Ce
+ Cn e
Cn ea t tn+1 .
r
r
Finalmente, para todo t 0 ,

n

(j)
X
f
(0)

j
t Cn ea t tn+1 .
f (t)

j!
j=0
En consecuencia, si suponemos x > a ,

Z
Z
x t a t n+1
|Rn (x)| Cn
e
e t
dt = Cn
0
e(xa) t tn+1 dt
Cn
(n + 1)! . (28)
(x a)n+2
Finalmente, si x > 2 a ,
Cn
Cn
n+2 (n + 1)! n+2 ,
x
(x a)

1
lo cual muestra que R(x) = o
para x .
xn+1
Con esto completamos la demostracin de la proposicin 2.
Como un ejemplo de aplicacin, consideramos la integral ([5], pg. 50)
Z
dt
et
,
t+x
0
que define una funcin de x para x > 0. Esta funcin pertenece a la familia
de funciones especiales llamadas hipergeomtricas ([17], captulo 15; [25],
captulos XIV y XVI).
El cambio de variable t = x u, transforma la integral en
Z
du
ex u
,
1+u
0
MAT 2
MATerials MATem`
atics
Publicaci
o electr`
onica de divulgaci
o del Departa
onoma de Barcelona
34
a la que podemos aplicar el lema de Watson con 2 r = 1 , C = 1 y a = 0 . En

total, obtenemos el desarrollo asinttico
Z
X (1)j j!
dt
, para x ,
(29)
et
j+1
t+x
x
0
j0
dado por una serie divergente. Este desarrollo ya fue obtenido al comienzo
de la seccin 4, usando integracin por partes, puesto que
Z xu
Z t
e
e
dt =
du .
t=ux
t+x
u
x
0
El uso de integracin por partes para obtener (29) se debe al matemtico
holands Thomas Jan Stieltjes (1856-1894), quien obtuvo este resultado como
parte de su tesis doctoral, publicada en 1886 en el volumen 3 de Annales
Scientifiques de lcole Normale Suprieure, pginas 201258 ([5], pg. 15).
1
Siguiendo la prueba del lema de Watson con f (u) =
, podemos ver
1+u
que la estimacin del error dada por (28) se reduce a
|Rn (x)|
(n + 1)!
xn+2
, para x > 0 ,
que coincide con la estimacin obtenida en la seccin 4.

Dicen que los matemticos no sabemos parar. Para mostrar que esto no
es cierto, aqu conclumos el artculo.
Referencias
[1] Arteca, G. A., Fernndez, A. M. y Castro, E. A., Large-Order Perturbation Theory And Summation Methods In Quantum Mechanics, SpringerVerlag 1990.
[2] Bhattacharya, R. N. y Ranga Rao, R., Normal Approximation And
Asymptotic Expansions, SIAM (Society For Industrial And Applied Mathematics) 2010.
[3] Brezinski, C. y Zaglia Redivo, M., Extrapolation Methods, Theory And
Practice, North-Holland 1991.
[4] Casselman, W.,Whats Normal?,
http://www.ams.org/samplings/feature-column/
fcarc-normal-integral, junio de 2011.
Josefina lvarez
35
[5] Copson, E. T., Asymptotic Expansions, Cambridge University Press

1967.
[6] Feldman, J., Math 321 (Real Variable II), Lecture Notes On Taylor Series And Asymptotic Expansions (February 2008),
http://www.math.ubc.ca/~feldman/m321/asymptotic.pdf.
[7] Gajjar, J. S. B., Notes For Math 44011: Asymptotic Expansions And
Perturbation Methods (October 2010),
http://www.maths.manchester.ac.uk/~gajjar/MATH44011/notes/
44011_note2.pdf.
[8] Gaughan, E. D., Introduction To Analysis, Fifth Edition, Brooks/Cole
1998.
[9] Grunspan, C., Asymptotic Expansions Of The Lognormal Implied Volatility: A Model Free Approach,
http://www.arxiv.org/pdf/1112.1652.pdf,
7 de diciembre de 2011.
[10] Hunter, J. K., Lectures Notes On Asymptotics (Spring 2004),
http://www.math.ucdavis.edu/~hunter/asymptotics/
asymptotics.html.
[11] Hardy, G. H. Divergent Series, Oxford University Press 1949.
[12] Kahane, J.-P. y Lemari-Rieusset, P.-G., Fourier Series And Wavelets,
Gordon and Breach 1995.
[13] Knuth, D., The Art Of Linear Programming, Volume I: Fundamental
Algorithms, Third Edition, Addison-Wesley 1997.
[14] Knuth, D., Teach Calculus With Big O, Notices Of The American Mathematical Society, Vol. 45, Nm. 6 (1998) p. 687,
http://www.ams.org/notices/199806/commentary.pdf.
[15] Lpez, J. L., Expansiones Asintticas De Integrales: Unificacin De
Mtodos Asintticos,
http://pcmap.unizar.es/~chelo/investig/publicaciones/
joseluis/aexi.pdf.
[16] Miller, P. D., Applied Asymptotic Analysis, American Mathematical Society 2006.
MAT 2
MATerials MATem`
atics
Publicaci
o electr`
onica de divulgaci
o del Departa
onoma de Barcelona
36
[17] National Institute Of Standards And Technology (NIST), NIST Digital

Library Of Mathematical Functions,
http://dlmf.nist.gov.
[18] Sedgewick, R. y Flajolet, P., An Introduction To The Analysis Of Algorithms, Second Edition, Pearson Education 2013,
http://aofa.cs.princeton.edu/home.
[19] Schelin, C. W., Calculator Function Approximation, The American Mathematical Monthly 90 (1983) 317325.
[20] The MacTutor History Of Mathematics,
http://www-history.mcs.st-and.ac.uk.
[21] The Wolfram Functions Site,
http://functions.wolfram.com.
[22] Wasow, W. R., Asymptotic Expansions For Ordinary Differential Equations, John Wiley, 1965.
[23] Watson, G. N., The Harmonic Functions Associated With The Parabolic
Cylinder, Proceedings Of The London Mathematical Society 2 (1918)
116-148.
[24] Wheeden, R. L. y Zygmund, A., Measure And Integral: An Introduction
To Real Analysis, Marcel Dekker 1977.
[25] Whittaker, E. T. y Watson, G. N., A Course Of Modern Analysis, American Edition, Cambridge University Press 1945.
[26] Wikipedia,
http://en.wikipedia.org/wiki/Big_O_notation.
[27] Wikipedia,
http://en.wikipedia.org/wiki/Laplace_transform.
[28] Wolfram, S., The History And Future Of Special Functions,
http://www.stephenwolfram.com/publications/
history-future-special-functions.
RECONOCIMIENTOS: Este artculo es una ampliacin de la charla dada el
30 de marzo de 2012, en el Departamento de Matemticas del Instituto Tecnolgico Autnomo de Mxico. Los datos biogrficos que aparecen sin referencia, han
sido tomados de [20]. Agradecemos al referee sus observaciones y sugerencias.
Josefina lvarez
37
Departamento de Matemticas
New Mexico State University
Las Cruces, Nuevo Mjico, EEUU
jalvarez@nmsu.edu
Publicat el 22 de juliol de 2104
MAT 2
MATerials MATem`
atics
Publicaci
o electr`
onica de divulgaci
o del Departa
onoma de Barcelona

Divergencia

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Divergencia

Uploaded by

Copyright:

Available Formats

MAT 2

Hablemos de Series Divergentes

Comencemos por recordar . . .

Hablemos de Series Divergentes

con suma parcial

es convergente, si hay un nmero S para el cual

para |x| < 1 ,

es convergente, con suma

Ya el matemtico ingls John Wallis (16161703) formul en 1655 una

Qu hacer con las series divergentes?

Hablemos de Series Divergentes

Consideramos dos funciones reales, f y g, definidas en un conjunto D de

Definicin 3 Decimos que

Nos referimos a la notacin O diciendo que f es o grande de g , mientras

Cuando f = O(g) decimos que el order de magnitud de f es no mayor que

Hablemos de Series Divergentes

en s mismos, cuyo orden de magnitud se desea establecer cuando la variable

Para motivar el tema, comenzaremos desarrollando un par de ejemplos

vlida para |x| < 1.

lo cual se puede comprobar calculando

(1)j xj = O(xn+1 ) cuando x 0

(1)j xj = o(xn ) cuando x 0 .

Si, por ejemplo, tomamos n = 3 y en consecuencia |x|

(1) x < 0,02 .

Hablemos de Series Divergentes

En cambio, si tomamos n = 4, y entonces |x|

(1) x < 0,002 .

Despus de n+1 integraciones por partes, para cualquier n 0, tendremos

Pongamos a la estimacin (5) en un contexto numrico. Como estamos

lo cual puede probarse por induccin. Entonces,

Hablemos de Series Divergentes

Es decir que la suma

ya nos da, con valores pequeos de n,

excelentes aproximaciones de la funcin f (x), para un rango grande de valores

Definicin 5 Dada una funcin real g definida en D, la serie

desarrollo asinttico de la funcin g para x a, con respecto a la sucesin

aj j (x) = o(n (x)) cuando x a .

Si esta definicin se cumple, escribimos

Tambin suele decirse que la serie es una representacin asinttica de la

ejemplo, de acuerdo con (4) podemos decir que

mientras que (7) implica

Hablemos de Series Divergentes

Algunas propiedades de las series asintticas

Una funcin puede tener a lo sumo un desarrollo asinttico para x yendo

n 0, se cumple la condicin (8). Para n = 0,

Por supuesto, diferentes sucesiones asintticas dan origen a desarrollos

En los dos ejemplos que presentamos en la seccin anterior, vimos (en

aj j (x) = O(n+1 (x)) cuando x a .

Hablemos de Series Divergentes

Esto es cierto en general, porque (8) y (11) son equivalentes.

aj j (x) = an n (x) + o(n (x)) cuando x a ,

aj j (x) = O(n+1 (x)) cuando x a ,

donde n+1 (x) = o(n (x)). Esto implica

aj j (x) = o(n (x)) .

Por lo tanto, tenemos (8).

se puede describir diciendo que para todo n 0, la suma parcial

es una aproximacin de g(x) con un error cuyo orden de magnitud no es

Series de Taylor versus series asintticas

para x fijo en un entorno apropiado de a y para c entre x y a.

(x a)j , convergente o no, es

Es decir, que la serie de Taylor

que no es o ((x b)n ) cuando x b, para b 6= 0 .

Hablemos de Series Divergentes

vlida para |x| < 1 , nos dice que la serie