La Gaceta de la RSME, Vol. 14 (2011), Nm. 1, Pgs.

8596 85
Sobre un teorema de Hadamard y la frmula de
Cauchy-Hadamard

por
Guillermo Lpez Lagomasino y Valeri V. Vavilov
Resumen. Algunos resultados clsicos de Cauchy, Hadamard y Fabry sobre
discos de analiticidad y meromorsmo de series de Taylor se han convertido
en fuente de inspiracin para el desarrollo de una teora analtica de las las
de los aproximantes racionales de Pad. En este trabajo haremos un breve
resumen de esa teora y explicaremos el motivo del nombre de frmula de
Cauchy-Hadamard para el radio de convergencia de una serie de Taylor.
1. El teorema de Hadamard
Consideremos una serie de nmeros complejos

n=0
a
n
. (1)
Quizs uno de los resultados que mejor recordamos de nuestros estudios universita-
rios es el criterio de Cauchy. Segn el mismo, la serie (1) converge absolutamente
si
lmsup
n
|a
n
|
1/n
< 1
y es divergente cuando
lmsup
n
|a
n
|
1/n
> 1.
En la poca de Augustin Louis Cauchy (17891857) el concepto de lmite superior
an no haba sido introducido. En su libro [1, pg. 280], se habla del mayor de los
lmites de la sucesin |a
n
|
1/n
. Obviamente, se refera al mayor de los lmites que se
pueden alcanzar por subsucesiones convergentes de dicha sucesin.
Una consecuencia inmediata de este criterio es la frmula del radio de conver-
gencia de la serie de potencias

n=0
a
n
z
n
. (2)

Realizado con el apoyo del proyecto MTM2009-12740-C03-01 del Ministerio de Ciencia e Inno-
vacin.
86 Un teorema de Hadamard y la frmula de Cauchy-Hadamard
Segn esta frmula, si denimos
R = 1/ lmsup
n
|a
n
|
1/n
, (3)
la serie converge absolutamente en el disco
D = {z : |z| < R}
y diverge puntualmente si |z| > R. Tambin sabemos que la serie converge unifor-
memente en cualquier disco cerrado contenido en D, pero en la poca de Cauchy
tampoco se haba introducido el concepto de convergencia uniforme (aunque posi-
blemente, de manera intuitiva, Cauchy comprenda que esta propiedad tena lugar).
En la mayora de los textos modernos, (3) recibe el nombre de frmula de Cauchy-
Hadamard. Teniendo en cuenta que Jacques Hadamard vivi en el perodo 1865
1963, despus que Cauchy haba fallecido, muchos se preguntan qu aporte adicional
podra haber hecho Hadamard a una frmula (por otro lado elemental en su presenta-
cin) que mereciese que su nombre se asociase a la misma. El motivo es sorprendente
y justica con creces la aportacin de Hadamard. A pesar de ello, es poco conoci-
do. Antes de entrar en detalles, hagamos una ligera disgresin relativa al signicado
de (2).
Supongamos que tenemos un elemento analtico en D cuyo desarrollo en serie de
Taylor viene dado por (2). Los coecientes a
n
, n Z
+
, representan el cdigo ge-
ntico de dicho elemento. A partir de su cdigo, y slo a partir de ello, queremos
extraer toda la informacin posible de dicho elemento. Si es posible, reconstruirlo
ntegramente en todo su dominio de denicin, que por prolongacin analtica sa-
bemos puede exceder en mucho a D. ste es el tipo de pregunta que se plante
J. Hadamard en su tesis doctoral, defendida en 1892, y publicada en [4].
Sea m Z
+
un nmero entero no negativo. Sea R
m
el radio del mayor disco
abierto D
m
con centro en z = 0 al cual el elemento analtico que determina (2) se
puede prolongar teniendo a lo sumo m polos (contando multiplicidades). Siguiendo
esta notacin, en lo sucesivo R
0
denota el radio del disco de convergencia de la serie.
Si R
0
= 0 se asume que R
m
= 0, m Z
+
. Por denicin resulta que
R
0
R
1
R
m
.
Para aclarar el signicado de R
m
consideremos dos ejemplos. Sea
f
1
= log(1 z), log 1 = 0.
Se tiene que R
m
= 1, m Z
+
, pues ningn disco centrado en z = 0 de radio mayor
que 1 es admisible ya que incluye el punto z = 1 que es de ramicacin, y slo se
admiten polos. Si tomamos
f
2
=
1
(z 1)
2
se tiene que R
0
= R
1
= 1 y R
m
= , m 2, puesto que z = 1 es polo doble y no
podemos incluirlo en D
m
hasta tanto m 2. Los discos D
m
se conocen como discos
de Hadamard.
La Gaceta Artculos 87
Con los coecientes de (2), J. Hadamard construy los siguientes determinantes
que tambin reciben su nombre:
H
n,m
=

a
nm+1
a
nm+2
a
n
a
nm+2
a
nm+3
a
n+1
.
.
.
.
.
.
.
.
.
.
.
.
a
n
a
n+1
a
n+m1

, a
j
= 0 si j < 0;
obsrvese que H
n,m
es el determinante de una matriz m m. Tambin dene los
siguientes valores:

0
= 1,
m
= lmsup
n
|H
n,m
|
1/n
, m N.
(En las primeras pginas de [4] se introduce detalladamente el concepto de lmite
superior, por lo que es de suponer que es ah donde aparece por primera vez.)
Teorema 1 (J. Hadamard). Se tiene que
R
m
=
m
/
m+1
, m Z
+
. (4)
Al interpretar la frmula se toma, por convenio, que 0/0 = e / = 0. En
particular, se tiene que si
k
= 0, k = 0, . . . , m, y
m+1
= 0, entonces (2) se extiende
como funcin meromorfa a todo el plano complejo C y tiene ah exactamente m polos.
Esta frmula sencilla y elegante, que se reduce a (3) cuando m = 0, determin que
se asociase el nombre de Hadamard junto con el de Cauchy a la frmula del radio
de convergencia de una serie de Taylor.
Es de destacar que (4) tiene carcter universal pues es aplicable a cualquier serie
de Taylor, incluso si su radio de convergencia es R
0
= 0. El teorema de Hadamard
permite calcular los radios de los discos de meromorsmo del elemento analtico ms
all de la regin dentro de la cual la serie converge usando la misma informacin
que nos brinda la propia serie. La lectura del cdigo gentico del elemento analtico
se hace mediante los determinantes de Hadamard.
Los autores de este artculo no conocen ningn texto de anlisis complejo que
presente este teorema de Hadamard en alguna forma ms o menos general. Uno de
nosotros ha incluido en dos ocasiones la demostracin completa del mismo en el
curso de Variable Compleja de segundo ao de la Facultad de Matemticas de la
Universidad Estatal de Mosc.
Un problema ntimamente relacionado con el teorema de Hadamard es el de
la localizacin de los polos del elemento analtico y la determinacin de su orden.
Este problema fue estudiado en la tesis doctoral de Robert de Montessus de Ballore
(18701937), discpulo de J. Hadamard, y publicado en [7].
2. Relacin con los aproximantes de Pad
En lo que sigue, f denotar a la serie (2), y cuando R
0
> 0 tambin su extensin
analtica en el sentido de Weierstrass.
Fijados un par de enteros (n, m), sea (Q, P) un par de polinomios que satisfacen
88 Un teorema de Hadamard y la frmula de Cauchy-Hadamard
(i) deg P n, deg Q m, Q 0;
(ii) (Qf P)(z) = Az
n+m+1
+ , z 0.
Hallar (Q, P) se reduce a resolver un sistema lineal y homogneo de n + m + 1
ecuaciones en n + m + 2 incgnitas (los coecientes de estos dos polinomios). En
efecto, si Q(z) = b
0
+ + b
m
z
m
, entonces
(Qf)(z) =

k=0
(a
k
b
0
+ + a
km
b
m
)z
k
, a
j
= 0, j = 1, 2, . . . .
Igualando a cero los coecientes de las potencias z
n+1
, . . . , z
n+m
, se obtiene el sis-
tema lineal y homogneo de ecuaciones
a
nm+1
b
m
+ a
nm+2
b
m1
+ + a
n+1
b
0
= 0
a
nm+2
b
m
+ a
nm+3
b
m1
+ + a
n+2
b
0
= 0
.
.
.
.
.
.
a
n
b
m
+ a
n+1
b
m1
+ + a
n+m
b
0
= 0
(5)
Por lo tanto el sistema siempre tiene solucin no trivial. De este modo hemos en-
contrado Q = 0, deg Q m, tal que, escogiendo P como el polinomio de Taylor de
grado n de Qf, se cumple (i)(ii) .
Obviamente, las condiciones (i)(ii) no determinan un nico par (Q, P). Basta
tomar (Q, P), = 0. Sin embargo, todo par que satisface (i)(ii) dene una nica
fraccin racional P/Q. Supongamos que (Q

, P

) tambin satisface (i)(ii); entonces,

de (ii),
(Qf P)(z) = Az
n+m+1
+
y
(Q

f P

)(z) = A

z
n+m+1
+ .
Multiplicando la primera ecuacin por Q

, la segunda por Q y restando se obtiene

que
(QP

P) = Bz
n+m+1
+ .
Por (i), a la izquierda tenemos un polinomio de grado n + m, y la parte derecha
nos dice que en z = 0 tiene un cero de orden n + m + 1, luego dicho polinomio es
idnticamente nulo. De aqu se deduce que P/Q = P

/Q

, como queramos probar.

Definicin 1. Sean n, m dos enteros no negativos. Se llama aproximante de Pad
de tipo (n, m) de f a la nica fraccin racional
n,m
= P/Q que se obtiene de un
par (Q, P) arbitrario que resuelve (i)(ii). La familia de fracciones racionales {
n,m
},
n, m 0, se denomina tabla de aproximantes de Pad asociada a f.
Resulta conveniente interpretar dicha tabla geomtricamente asociando al punto
(n, m) la fraccin racional
n,m
. Fijado m, la sucesin {
n,m
}, n 0, se conoce como
la m-sima de la tabla. Cuando m = 0 obtenemos la sucesin de los polinomios de
Taylor de f.
La Gaceta Artculos 89
Si aadimos al sistema (5) la ecuacin dada por
b
m
z
m
+ b
m1
z
m1
+ + b
0
= Q(z)
y consideramos el nuevo sistema como un sistema lineal de m + 1 ecuaciones en las
incgnitas b
m
, . . . , b
0
, usando la regla de Cramer es fcil ver que, bajo la condicin
H
n,m
H
n+1,m
= 0, se puede tomar
Q(z) =

a
nm+1
a
nm+2
a
n+1
a
nm+2
a
nm+3
a
n+2
.
.
.
.
.
.
.
.
.
.
.
.
a
n
a
n+1
a
n+m
z
m
z
m1
1

= (1)
m
H
n+1,m
z
m
+ + H
n,m
. (6)
En lo que sigue denotaremos mediante Q
n,m
el denominador de
n,m
despus de
cancelar los ceros comunes con el numerador y normalizndolo para que sea mnico
(tales factores comunes son posibles siempre que el espacio solucin del sistema lineal
del que hablamos anteriormente tenga dimensin mayor que 1).
Teorema 2 (R. de Montessus). Supongamos que R
0
> 0 y que f tiene en D
m
exactamente m polos (contando multiplicidades); entonces
lm
n

n,m
f
1/n
K
sup{|z| : z K}/R
m
(< 1) (7)
donde
K
denota la norma uniforme en K y K es un compacto arbitrario contenido
en D

m
= D
m
\ {z : f(z) = }. Para todo n lo sucientemente grande, se tiene que
deg Q
n,m
= m. Finalmente, si Q
m
denota el polinomio mnico de grado m cuyos
ceros son los polos de f en D
m
(repetidos segn sus multiplicidades), se cumple
lm
n
Q
n,m
Q
m

1/n
= R
m1
/R
m
< 1, (8)
donde es una norma arbitraria en el espacio de los polinomios de grado m.
Segn el teorema de Montessus, la la m de los aproximantes de Pad recupera a
f en todo D
m
con velocidad geomtrica y sus denominadores localizan, tambin con
velocidad geomtrica, sus polos y determinan sus rdenes. El teorema de Montessus
no es universal como el de Hadamard. No slo hace falta que R
0
> 0 sino, lo que
es ms restrictivo, que f tenga en D
m
exactamente m polos. Ya vimos en uno de
los ejemplos antes dados que el nmero de polos de f
2
en D
m
slo coincide con
m cuando m {0, 2}. El problema es sumamente delicado; si le asignamos a
n,m
demasiados polos, hay algunos que no saben a dnde dirigirse segn n crece.
Ocasionalmente, esos ceros pueden caer en el compacto donde queremos aproximar
la funcin destruyendo la convergencia (no solo uniforme sino tambin puntual).
La prxima seccin es un poco tcnica y el lector puede saltarla sin perder la
continuidad del artculo.
90 Un teorema de Hadamard y la frmula de Cauchy-Hadamard
3. Esquema de la demostracin de los teoremas de Mon-
tessus y Hadamard
Sobre la prueba del teorema de Montessus. Fijado (n, m), sea (Q, P) un
par que cumple (i)(ii) y Q
m
el polinomio mnico cuyos ceros son los polos de f
en D
m
. De acuerdo con (ii) tenemos que
(QQ
m
f Q
m
P)(z) = A

z
n+m+1
+ .
Obsrvese que (QQ
m
fQ
m
P)/z
n+m+1
no tiene singularidades en D
m
. De la frmula
integral de Cauchy se sigue que
(QQ
m
f Q
m
P)(z)
z
n+m+1
=
1
2i
_
{||=r}
(QQ
m
f Q
m
P)()

n+m+1
d
z
para todo z, |z| < r. Como Q
m
()P()/(
n+m+1
( z)) es analtica fuera de {|| =
r} y tiene en un cero de orden 2, aplicando el teorema de Cauchy esta frmula
se puede reescribir como
(QQ
m
f Q
m
P)(z) =
1
2i
_
{||=r}
z
n+m+1

n+m+1
(QQ
m
f)() d
z
.
Si K es un compacto cualquiera contenido en D

m
y sup{|z| : z K} = < r < R
m
,
dividiendo la frmula integral anterior por QQ
m
, mediante acotaciones elementales
se deduce que
|(f
n,m
)(z)|
C
|Q

n,m
(z)|
_

r
_
n+m+1
, (9)
donde C es una constante que depende de K y r, y Q

n,m
es el polinomio mnico
cuyos ceros son aqullos de Q
n,m
de mdulo menor que 2 m ax{|z
1
|, . . . , |z
m
|} siendo
Q
m
(z) =

m
k=1
(z z
k
).
De esta acotacin casi se deduce (7) a no ser por el denominador Q

n,m
, que
pudiera tener ceros en K. El objetivo es probar que los ceros de Q

n,m
se aproximan
a los de Q
m
segn n . Ello elimina tal posibilidad ya que la distancia de K a
los ceros de Q
m
es positiva.
Para simplicar consideremos que los ceros de Q
m
, o sea los polos de f, son
simples. Escojamos uno de ellos, z
k
. Sea > 0 lo sucientemente pequeo para que
el disco cerrado C

= {z : |z z
k
| = } est contenido en D
m
y no contenga ningn
polo de f distinto a z
k
. De (9), tomando K = C

se deduce que, para todo z C

,
|(z z
k
)(fQ

n,m
)(z) (z z
k
)Q

n,m
(z)
n,m
(z)| C
_
|
k
| +
r
_
n+m+1
.
La funcin dentro del mdulo a la izquierda de la desigualdad es holomorfa en todo
{z : |z z
k
| }. Por el principio del mximo, la desigualdad es cierta tambin en
el interior del disco; en particular, en z = z
k
. Teniendo en cuenta que lm
zz
k
(z
z
k
)f(z) = c = 0 (hemos supuesto que z
k
es polo simple) llegamos a que
|cQ

n,m
(z
k
)| C
_
|
k
| +
r
_
n+m+1
.
La Gaceta Artculos 91
Tomando raz n-sima, lmite superior en n, haciendo tender a cero y r a R
m
, se
concluye que
lmsup
n
|Q

n,m
(z
k
)|
1/n
|z
k
|/R
m
. (10)
Esto implica, en particular, que existe una sucesin de puntos {z
n,k
}, n n
0
(k), tal
que Q
n,m
(z
n,k
) = 0 y lm
n
z
n,k
= z
k
. Como deg Q

n,m
m, se concluye que, para
todo n lo sucientemente grande, Q
n,m
= Q

n,m
, deg Q
n,m
= m y lm
n
Q
n,m
=
Q
m
.
Volviendo a (9) resulta inmediato que se cumple (7). Teniendo en cuenta (10) no
es difcil deducir (8) con en lugar de =. Si R
m
< , demostrar la igualdad no es
difcil por reduccin al absurdo. Cuando R
m
= resulta ms difcil. La prueba en
el caso de polos mltiples diere del esquema anterior en detalles tcnicos.
Sobre la prueba del teorema de Hadamard. Nos limitaremos al caso en que
D
m
contiene exactamente m polos. Estos casos resultan los cruciales en la demos-
tracin general.
Como estamos en condiciones de aplicar el teorema de Montessus, sabemos que
deg Q
n,m
= m, n n
0
. Usando (ii) para los pares de ndices (n, m), (n +1, m), n
n
0
, y la misma idea empleada en la demostracin de la unicidad de los aproximantes
de Pad se obtiene que
(Q
n,m
P
n+1,m
Q
n+1,m
P
n,m
)(z) = A
n,m
z
n+m+1
, n n
0
,
donde A
n,m
= H
n,m+1
/H
n,m
. Luego
(
n+1,m

n,m
)(z) =
A
n,m
z
n+m+1
(Q
n+1,m
Q
n,m
)(z)
.
Usando una suma telescpica se sigue que

n+1,m
(z) =
n
0
,m
(z) +
n

k=n
0
A
k,m
z
k+m+1
(Q
k+1,m
Q
k,m
)(z)
.
Teniendo en cuenta el teorema de Montessus y razonando como en la prueba de la
frmula clsica de Cauchy-Hadamard se deduce que
R
m
= 1/ lmsup
n
|A
n,m
|
1/n
.
Ahora bien, la frmula del determinante (6) para Q nos indica que Q
n,m
(0) =
(1)
m
H
n,m
H
n+1,m
. Como existe
lm
n
|Q
n,m
(0)| = lm
n
|H
n,m
/H
n+1,m
| = |Q
m
(0)| = 0,
se tiene a su vez que existe
lm
n
|H
n,m
|
1/n
= 1/|Q
m
(0)| =
m
.
92 Un teorema de Hadamard y la frmula de Cauchy-Hadamard
Por lo tanto,
1/R
m
= lmsup
n
_
|H
n,m+1
|
|H
n,m
|
_
1/n
=
lmsup
n
|H
n,m+1
|
1/n
lm
n
|H
n,m
|
1/n
=

m+1

m
,
como queramos probar.
4. Problemas inversos
Veamos una cuestin de sumo inters relacionada con la convergencia de los
denominadores de los aproximantes de Pad y las singularidades de f.
Dado (2) y jado m hallemos la sucesin {Q
n,m
}, n 0, de los denominadores
de los aproximantes de Pad {
n,m
}, n 0, normalizados a mnicos y sin factores
comunes con el numerador.
Supongamos que
lm
n
Q
n,m
(z) = Q(z) =
m

k=0
(z z
k
). (11)
Qu se puede armar sobre las propiedades analticas de f basados exclusivamente
en la existencia de este lmite? Tales problemas se denominan de tipo inverso.
Al respecto, comentemos un resultado clsico, debido a Eugne Fabry (1856
1944). Es fcil vericar que si a
n
a
n+1
= 0 se tiene que
Q
n,1
(z) = z
a
n
a
n+1
.
En [2] se demostr el
Teorema 3 (E. Fabry). Sea (2) tal que
lm
n
a
n
a
n+1
= s;
entonces s es un punto singular de f.
Obsrvese que el lmite anterior implica que R
0
= |s|. Luego el teorema permite
detectar una singularidad sobre la frontera del disco de analiticidad. Puede no ser un
polo, ni siquiera una singularidad aislada. En efecto, tenemos el desarrollo de Taylor
f
1
(z) = log(1 z) =

n=1
z
n
n
para el cual lm
n
n+1
n
= 1 nos da el punto de ramicacin que tiene f
1
sobre la
circunferencia unidad.
El teorema de Fabry arma que si los denominadores de la primera la de los
aproximantes de Pad convergen, el cero del polinomio lmite es una singularidad.
La Gaceta Artculos 93
Obsrvese que en el ejemplo dado la convergencia no es geomtrica y la singularidad
no es de tipo polar.
En [3], el acadmico ruso A. A. Gonchar plante la siguiente cuestin: existe
alguna relacin entre la velocidad de convergencia de los polos de los aproximantes
de Pad a determinados puntos y el hecho que los mismos sean polos o no del
elemento analtico? Algunas respuestas fueron expuestas en ese mismo trabajo, y las
comentaremos ms adelante. Primero analicemos otro resultado en esta direccin
debido a su discpulo S. P. Suetin, que en [9] dio una interesante generalizacin del
teorema de Fabry.
Teorema 4 (S. P. Suetin). Supongamos que (11) tiene lugar para algn m 1, y
los ceros del polinomio lmite cumplen
0 < |z
1
| |z
k
| < |z
k+1
| = = |z
m
|.
Entonces R
k
= = R
m1
= |z
m
|, f tiene exactamente k polos en D
k
que coinciden
con los puntos z
1
, . . . , z
k
, y z
k+1
, . . . , z
m
son puntos singulares de f en la frontera
de D
k
. Adems, los ceros de Q
n,m
que aproximan a los ceros z
1
, . . . , z
k
lo hacen con
velocidad geomtrica.
El caso en que k = m1 haba sido probado anteriormente en [6], reducindolo
en cierto sentido al teorema de Fabry.
Del teorema de Suetin se puede extraer como consecuencia que
lm
n

n,m
f
1/n
K
sup{|z| : z K}/R
m
(< 1)
donde K es un compacto arbitrario contenido en D

k
= D
k
\{z
1
, . . . , z
k
}. La hiptesis
del teorema de Montessus es sustituida por el conocimiento de que todos los polos
de los aproximantes tienen lmite.
En los Teoremas 34 se asume que todos los polos de los aproximantes tienen
lmite. Es posible individualizar la informacin? O sea, si slo suponemos que una
sucesin de polos de los aproximantes tiene lmite, aunque el resto no, podemos de
todos modos sacar alguna informacin sobre las propiedades analticas de la funcin?
Para la formulacin precisa de esta cuestin y su anlisis, A. A. Gonchar introdujo
en [3] ciertos parmetros descriptivos.
Denotemos
| |
1
= mn{| |, 1}.
Fijado un punto a C, denimos
(a) = lmsup
n
|Q
n,m
(a)|
1/n
1
.
Obviamente, se tiene que 0 (a) 1. Sea
P
n,m
= {z
n,1
, . . . , z
n,m
n
}, m
n
m,
el conjunto de ceros de Q
n,m
(es decir, de los polos de
n,m
). Supondremos que los
subndices se han enumerado de forma tal que
|a z
n,1
| |a z
n,m
n
|. (12)
94 Un teorema de Hadamard y la frmula de Cauchy-Hadamard
Introducimos los valores

j
(a) = lmsup
n
|a z
n,j
|
1/n
1
,
donde j = 1, . . . , m

, m

= lminf
n
m
n
. Para j = m

+1, . . . , m, se toma
j
(a) = 1.
Si (a) = 1, es fcil comprobar que
j
(a) = 1, j = 1, . . . , m. Cuando (a) < 1,
entonces existe , 1 m, tal que

1
(a)

(a) < 1
y
+1
(a) = 1 (o = m). Teniendo esto en cuenta, denimos
(a) =
_
0, si (a) = 1,
, si (a) < 1.
Sea ahora
P
m
= {a C \ {0} : (a) 1}.
Dicho en palabras, P
m
es el conjunto de puntos del plano complejo, excluyendo el
origen, hacia los cuales hay alguna sucesin de ceros de los denominadores de la la
m de los aproximantes de Pad que converge con velocidad geomtrica. En este caso
(a) nos da la cantidad de sucesiones que son atradas hacia a con tal velocidad.
En [3], A. A. Gonchar demostr lo siguiente:
Teorema 5 (A. A. Gonchar). Dada una serie formal (2), jados m N y a
C \ {0}, las siguientes armaciones son equivalentes:
(i) a D
m
y a es un polo de f.
(ii) (a) < 1 (o, equivalentemente, (a) 1).
Ms an, si se cumple una de estas dos condiciones, entonces
R
m
= |a|/(a), (a) = ,
donde es la multiplicidad del polo que f tiene en a.
Las armaciones de carcter directo de este resultado (tipo Montessus de Ba-
llore) son (i) (ii), (a) |a|/R
m
y (a) , y ya eran conocidas antes de ese
trabajo. Las de carcter inverso (ii) (i), (a) |a|/R
m
y (a) constituyen
las principales aportaciones.
Como el teorema de Hadamard, este resultado es universal al ser aplicable a
cualquier elemento analtico. Tambin nos da una frmula para los radios de los
discos de Hadamard, esta vez en trminos del comportamiento de los polos de los
denominadores de los aproximantes. Una consecuencia inmediata es
Corolario 1. Dada la serie (2), se tiene que R
m
> R
0
(> 0) si y slo si P
m
= .
Adems,
R
m
= |a|/(a), a P
m
,
y se verica que
La Gaceta Artculos 95
(i) P
m
es el conjunto de polos de f en D
m
;
(ii) para cada a P
m
, (a) nos da la multlicidad del polo;
(iii)

aP
m
(a) es igual al nmero de polos de f en D
m
.
Pero, qu se puede armar si slo sabemos que algunos puntos son lmite de
polos de los aproximantes (sin conocer a priori que la convergencia es geomtrica)?
Adoptamos de nuevo el orden dado por (12). Supongamos que lm
n
z
n,1
= a.
Entonces existe 1 tal que
lm
n
z
n,
= a, lmsup
n
|z
n,+1
a| > 0,
o = m. En este caso, escribimos
(a) = .
Si lmsup
n
|z
n,1
a| > 0 tomamos (a) = 0. Denimos
L
m
= {a C \ {0} : (a) 1}.
En [8], S. P. Suetin demostr lo que sigue.
Teorema 6 (S. P. Suetin). Sea a C \ {0} tal que (a) 1. Entonces R
m
|a|.
Adems, si R
m
> |a| se cumple que (a) = (a) = es la multiplicidad del polo que
f tiene en el punto a.
Como consecuencia se tiene
Corolario 2. Sea a C \ {0} tal que (a) 1. Entonces R
m1
|a| y
R
m
= |a|/(a), a L
m
.
En efecto, si R
m1
< |a|, de acuerdo con el teorema anterior, R
m1
< R
m
. Es
fcil ver que esto slo es posible si f tiene exactamente m polos contenidos en D
m
,
de hecho, en D
m1
. En este caso, por el teorema de Montessus todos los ceros de
Q
n,m
aproximan los polos de f en D
m
, luego ninguno puede converger a a, que est
a una distancia positiva de D
m1
.
Por otro lado, segn el teorema de Gonchar, si (a) 1 es vlida la frmula
R
m
= |a|/(a); luego la segunda armacin basta probarla cuando (a) = 0 y
(a) 1 (obsrvese que P
m
L
m
). Si (a) = 0, entonces (a) = 1 y necesitamos
probar que R
m
= |a|. El teorema de Suetin arma que R
m
|a|. Si fuese cierto que
R
m
> |a| el propio teorema nos dice que (a) = (a), lo cual contradice lo supuesto.
De todo lo expuesto anteriormente, es de esperar que los puntos en L
m
\P
m
sean
singularidades de f; o sea, los puntos a L
m
tales que |a| = R
m
. Esta conjetura,
cuya solucin positiva generalizara el teorema de Fabry, permanece abierta.
Una introduccin al estudio de las las de los aproximantes de Pad se puede
ver en [5]. Ah se describe en forma ms detallada los problemas descritos en este
artculo, y se puede encontrar una relacin bibliogrca ms extensa. Tambin se
96 Un teorema de Hadamard y la frmula de Cauchy-Hadamard
demuestran los teoremas de Hadamard y Montessus en detalle, y otros resultados
aqu enunciados. Ese artculo est basado en notas que uno de los autores ha elabo-
rado para el curso de Teora de Aproximacin que imparte regularmente en el mster
de Ingeniera Matemtica en la Universidad Carlos III de Madrid. Dichas notas se
pueden descargar libremente de la pgina web http://gama.uc3m.es/lago.
Referencias
[1] A. L. Cauchy, Cours danalyse de lcole Royale Polytechnique. Premire par-
tie: Analyse algbrique, Debure, Paris, 1821. Reeditado por Bottazini, 1992.
[2] E. Fabry, Sur les points singuliers dune fonction donne par son dveloppement
de Taylor, An. Ecole Norm. Sup. 13 (1896), 367399.
[3] A. A. Gonchar, Poles of rows of the Pad table and meromorphic extension of
functions, Math. USSR Sb. 43 (1982), 527546.
[4] J. Hadamard, Essai sur ltude des fonctions donnes par leur dveloppement
de Taylor, J. Math. Pures Appl. 8 (1892), 101186.
[5] G. Lpez Lagomasino, Constructive Theory of Approximation: An Introduc-
tion to Pad Approximation, Coimbra Lecture Notes on Orthogonal Polynomials,
Nova Science Pub., A. Branquinho y A. Foulqui (Eds.), 101139, 2008.
[6] G. Lpez Lagomasino, V. A. Prokhorov y V. V. Vavilov, On an inverse
problem for rows of the Pad table, Math. USSR Sb. 38 (1981), 109118.
[7] R. de Montessus de Ballore, Sur les fonctions continues algbriques, Bull.
Soc. Math. France 30 (1902), 2836.
[8] S. P. Suetin, On the poles of the m-th row of the Pad table, Math. USSR Sb.
48 (1984), 493497.
[9] S. P. Suetin, On an inverse problem for the m-th row of the Pad table, Math.
USSR Sb. 52 (1985), 231244.
G. Lpez Lagomasino, Dpto. de Matemticas, Universidad Carlos III de Madrid, Avda.
Universidad 30, 28911 Legans, Spain
Correo electrnico: lago@math.uc3m.es
V. V. Vavilov, Escuela Especial Preuniversitaria A. N. Kolmogorov, Universidad Es-
tatal de Mosc M. V. Lomonosov, C/ Kremenchugskya 11, 121357 Mosc, Russia
Correo electrnico: vvavilov1@rambler.ru