CAP

ITULO 2
Funciones analticas
2.1 INTRODUCCI

ON
Para denir las series de potencias y la noci on de analiticidad a que conducen, s olo
se necesitan las operaciones de suma y multiplicaci on y el concepto de lmite. Esto
nos dice que las series de potencias en C son otro concepto que podemos denir
exactamente igual que en R y gozar a de las mismas propiedades y con id enticas
demostraciones que en R (si no dependen de la ordenaci on de R!).
Por tanto, este captulo (al menos, los dos primeros apartados) va a ser un sim-
ple repaso de lo que conocemos en R, pero puesto en el contexto de C. Los detalles
pueden consultarse en Apostol, T.M.: An alisis Matem atico (segunda edici on). Re-
vert e, Barcelona (1991).
2.2 SERIES EN C: GENERALIDADES.
1. Dada una sucesi on (z
n
)

n=0
C, la serie innita

n=0
z
n
se dice convergente
si
lim
N
N

n=0
z
n
C.
Al valor de dicho lmite se le denota tambi en por

n=0
z
n
y se le llama suma
de la serie.
2. Criterio de convergencia de Cauchy.

n=0
z
n
converge > 0, n
0
N si n > m > n
0
,

k=m
z
k

< .
3. Decimos que la serie

n=0
z
n
converge absolutamente si converge la serie de
n umeros reales

n=0
|z
n
| (recordemos que podemos poner m as abreviadamente

n=0
|z
n
| < +).
28
Funciones analticas 29
Toda serie absolutamente convergente es convergente, pero el recproco no es
cierto.
4. La serie

n=0
z
n
converge si y solo si convergen las dos series de n umeros reales

n=0
e z
n
y

n=0
mz
n
. Adem as

n=0
z
n
=

n=0
e z
n
+i

n=0
mz
n
.
5. Producto de Cauchy de series.
Consideremos dos series de n umeros complejos,

n=0
a
n
,

n=0
b
n
. Para cada
k N {0}, denimos
c
k
=

n+m=k
a
n
b
m
=
k

n=0
a
n
b
nk
= a
0
b
k
+a
1
b
k1
+. . . +a
k
b
0
.
La serie

k=0
c
k
se llama producto de Cauchy de las series

n=0
a
n
y

n=0
b
n
.
En principio, esta es una denici on formal, que no atiende a la convergencia
de las series que intervienen. Si efectu aramos la multiplicaci on de las sumas
innitas de a
n
y b
m
, colocando todos los sumandos del producto a
n
b
m
en una
tabla (innita) de doble entrada, asoci andolos seg un las diagonales secundarias, el
resultado es la serie producto de Cauchy de las iniciales; cada sumando producto
a
n
b
m
interviene una y una sola vez, sin ausencias ni repeticiones. Cabe esperar, por
tanto, que cuando sea lcito reagrupar t erminos (si disponemos de las propiedades
conmutativa y asociativa), partiendo de series convergentes lleguemos a una serie
convergente con suma el producto de las sumas. Un resultado bastante satisfactorio,
que ser a todo lo que necesitemos, es el siguiente.
Teorema (Mertens). Si las series

n=0
a
n
y

n=0
b
n
son absolutamente convergentes,
entonces la serie

k=0
c
k
es absolutamente convergente y adem as,
_

n=0
a
n
__

n=0
b
n
_
=

k=0
c
k
.
30 Funciones analticas
6. Convergencia uniforme. Criterio M de Weierstrass.
Recordemos la siguiente:
Denici on. Sean f
n
, f : A C C. Diremos que f
n
f uniformemente
en A si
> 0, n
0
N si n n
0
, | f
n
(z) f (z)| < , z A,
Equivalentemente
sup
zA
| f
n
(z) f (z)| 0.
Es claro que la convergencia uniforme implica la convergencia puntual en
cada punto de A.
Denici on. Dado abierto de C, y f
n
, f : C, diremos que f
n
f
casi uniformemente en si f
n
f uniformemente sobre cada subconjunto
compacto de .
Como el lmite uniforme de funciones continuas es una funci on continua y la
continuidad es una propiedad local, tenemos:
Proposici on. Sea abierto de C, y f
n
, f : C. Si para cada n N, las
funciones f
n
son continuas en y f
n
f casi uniformemente en , entonces
f es continua en .
Para series de funciones, se tienen las deniciones an alogas (como limite de
las funciones sumas parciales).
El siguiente resultado ser a de uso frecuente.
Criterio M de Weierstrass. Dadas f
n
: A C C. Si podemos encontrar
una sucesi on (M
n
) de n umeros positivos tal que
| f
n
(z)| M
n
, z A

n=0
M
n
< +
entonces,

n=0
f
n
(z) converge uniformemente y absolutamente en A.
Funciones analticas 31
2.3 SERIES DE POTENCIAS
Denici on. Dado a C, llamaremos serie de potencias centrada en a a toda
serie de la forma

n=0
a
n
(z a)
n
= a
0
+a
1
(z a) +a
2
(z a)
2
+. . . ,
donde los coecientes (a
n
) C.
El primer problema es saber para qu e puntos de C converge. Es claro que,
sean cuales sean los coecientes, una serie de potencias siempre converge en a.
El siguiente resultado (con demostraci on totalmente an aloga a la de R) deja
claro este problema de convergencia de una serie de potencias.
En el enunciado utilizamos la notaci on D(a; +) = C.
Teorema 1 (Abel). Sea

n=0
a
n
(z a)
n
una serie de potencias centrada en a.
Entonces, existe un n umero R [0, +] tal que
1.

n=0
a
n
(za)
n
converge absolutamente y casi uniformemente en D(a; R).
2.

n=0
a
n
(z a)
n
no converge en C \ D(a; R).
3. F ormula de Cauchy-Hadamard: R =
_
limsup |a
n
|
1/n
_
1
.
Observaciones.
i) R se llama radio de convergencia de la serie de potencias y D(a; R) disco
de convergencia. Si R = 0, la serie s olo converge en z = a, y si R = +,
la serie converge en todo punto de C.
En los casos intermedios 0 < R < +, el teorema asegura que la serie
converge en el disco abierto, y no converge en el exterior del disco. No se
arma nada en relaci on a lo que ocurre en la frontera {z : |z a| = R}. Este
problema del comportamiento en la frontera de una serie de potencias, debe
ser analizado en cada caso particular.
ii) N otese que R no depende de a. A efectos de convergencia, lo que le ocurre a
la serie viene determinado por los coecientes (a
n
). Por ello, es suciente que
estudiemos series centradas en 0,

a
n
z
n
, pues los resultados se trasladar an
de forma obvia a la serie

a
n
(z a)
n
.
32 Funciones analticas
iii) Toda serie de potencias con radio R > 0, dene una funci on
f (z) =

n=0
a
n
(z a)
n
, z D(a; R),
que, al ser lmite casi uniforme de funciones continuas, es una funci oncontinua
en D(a; R).
iv) En muchos casos, la f ormula de Cauchy-Hadamard se simplica, si recor-
damos el siguiente resultado sobre lmites.
Dada una sucesi on (a
n
), con a
n
= 0, n, si
lim
n
|a
n+1
|
|a
n
|
[0, +],
el valor de dicho lmite coincide con limsup |a
n
|
1/n
. Por tanto, en los casos en
que esto ocurra (en la pr actica ser a frecuente), tendremos la siguiente f ormula
para el radio de convergencia,
R = lim
n
|a
n
|
|a
n+1
|
.
v) A un en casos en que no sepamos calcular el radio por la f ormula de Cauchy-
Hadamard, las dos primeras partes del teorema de Abel dan muy buena infor-
maci on.
Por ejemplo, si sabemos que la serie converge en un punto concreto z
0
C,
forzosamente debe ocurrir que R |a z
0
|.
Del mismo modo, si la serie no converge en un punto z
1
C, forzosamente
R |a z
1
|.
Para estudiar el comportamiento de una serie de potencias en los puntos de la
frontera de su crculo de convergencia es suciente en los casos m as sencillos el
siguiente criterio.
Criterio de Dirichlet. Sea (a
n
) una sucesi on de n umeros reales, no creciente y
convergente a 0. Sea

b
n
una serie de n umeros complejos cuyas sumas parciales
forman una sucesi on acotada. Entonces la serie

a
n
b
n
es convergente.
En lo que sigue, por abreviar notaci on y teniendo en cuenta la observaci on ii),
bastar a que consideremos series de potencias centradas en 0. El n umero R colocado
sin m as al lado de la serie, ser a su radio de convergencia.
El primer resultado que vemos a continuaci on nos indica que las series de
potencias, denen funciones muy buenas desde un punto de vista analtico (son
indenidamente derivables) y desde un punto de vista algebraico (se puede derivar
t ermino a t ermino).
Funciones analticas 33
Teorema 2. Sea

n=0
a
n
z
n
, R (0, +]. Sea f (z) =

n=0
a
n
z
n
, |z| < R.
Entonces,
i) f es derivable en D(0; R), y adem as
f

(z) =

n=1
na
n
z
n1
, |z| < R.
ii) f es indenidamente derivable en D(0; R), y para cada k N,
f
(k)
(z) =

n=k
n(n 1) . . . (n k +1)a
n
z
nk
, |z| < R.
iii) Para cada k N {0},
a
k
=
f
(k)
(0)
k!
.
iv) La serie antiderivada o primitiva t ermino a t ermino

n=0
a
n
n +1
z
n+1
converge en D(0; R) a una funci on cuya derivada es f .
Observaci on.
N otese que las distintas series que aparecen en el enunciado tienen el mismo
radio de convergencia que la de partida, pues es muy sencillo probar que:
Si

n=0
a
n
z
n
tiene radio R y P es cualquier polinomio y k N, las series

n=0
a
n+k
z
n
,

n=0
P(n)a
n
z
n
tienen radio R.
El apartado iii) del teorema nos dice que los coecientes vienen determinados
por el valor de las derivadas sucesivas de f en 0. Como para conocer estas, s olo
hace falta conocer f en un entorno de 0, es inmediato el siguiente
34 Funciones analticas
Corolario. Si dos series de potencias

n=0
a
n
z
n
y

n=0
b
n
z
n
conradios R
1
, R
2
>
0 son tales que coinciden en un entorno de 0, entonces
a
n
= b
n
, n N {0}.
Hemos ignorado en lo anterior el comportamiento en la frontera del crculo
de convergencia. Si la serie converge en un punto z tal que |z| = R hay alguna
relaci on entre la suma de la serie en tal punto y la suma en los puntos interiores?
He aqu una respuesta parcial.
Teorema del lmite de Abel. Sea f (z) =

n=0
a
n
z
n
, |z| < R, R (0, +).
Supongamos que la serie converge tambi en para z = R. Entonces existe el lmite
radial (a trav es del segmento (0, R)) de la funci on f y vale
lim
xR
0<x<R
f (x) =

n=0
a
n
R
n
.
Operaciones con series de potencias.
Sean f (z) =

n=0
a
n
z
n
, R
1
; g(z) =

n=0
b
n
z
n
, R
2
.
1. Suma.
f (z) + g(z) =

n=0
(a
n
+b
n
)z
n
, R min{R
1
, R
2
}.
2. Producto.
f (z) g(z) =

n=0
c
n
z
n
, c
n
=
n

k=0
a
k
b
nk
, R min{R
1
, R
2
}.
3. Divisi on. Si f (0) = 0 entonces > 0 tal que
1
f (z)
=

n=0

n
z
n
, |z| < .
Este resultado arma que la funci on 1/f es una serie de potencias en un
entorno del origen. Pero no es f acil dar una expresi on explcita de los
coecientes
n
en t erminos de los a
n
.
Funciones analticas 35
4. Composici on. Si para un z D(0; R
2
),

n=0
|b
n
z
n
| < R
1
, entonces tiene
sentido la funci on composici on f g, y adem as
f g(z) =

n=0

k
z
k
en un entorno del origen.
La demostraci on de estos dos ultimos resultados es bastante farragosa.
Te oricamente nos dicen que la divisi on y composici on de series de poten-
cias son series de potencias, pero en la pr actica son de difcil aplicaci on.
4. Cambio de centro. Sea f (z) =

n=0
a
n
z
n
, R > 0 y sea b D(0; R).
Entonces, > 0 tal que
f (z) =

n=0
b
n
(z b)
n
, |z b| < .
Es decir, dada una serie de potencias, en cualquier punto de su disco de
convergencia, se puede poner como otra serie de potencias centrada en
ese punto.
Principio de identidad de series de potencias.
Teorema 3. Sea f (z) =

n=0
a
n
z
n
, R > 0. Sea E = {z D(0; R) : f (z) = 0}.
Son equivalentes:
i) E = D(0; R) (es decir, f es id enticamente nula).
ii) a
n
= 0, n
iii) E

D(0; R) = (i.e., E tiene puntos de acumulaci on en D(0; R)).

Demostraci on. i ) i i ) es consecuencia inmediata del corolario del teorema
2 y la implicaci on i ) i i i ) es obvia.
Veamos que i i i ) i ). Llamemos A = E

D(0; R) = . A es cerrado en
la topologa relativa de D(0; R) porque E

siempre es un cerrado de C. Si vemos

que tambi en A es abierto en D(0; R) (o, lo que es lo mismo, en C, pues D(0; R)
es abierto), por conexi on tendremos que A = D(0; R) y de aqu es muy f acil ver
que E = D(0; R), lo que concluira la demostraci on.
Sea pues a A (notemos que, por continuidad, f (a) = 0) y veamos que a
es un punto interior, es decir, existe un disco D(a; ) A.
36 Funciones analticas
Por el cambio de centro, f ser a una serie de potencias en un entorno de a,
f (z) =

n=1
b
n
(z a)
n
, en D(a; ) D(0; R)
(la serie empieza en 1, pues f (a) = 0).
Si b
n
= 0, n tendremos claramente que D(a; ) A.
En otro caso, sea b
k
el primer coeciente que no se anula. Entonces,
f (z) = (z a)
k

n=k
b
n
(z a)
nk
= (z a)
k
g(z)
donde g es una funci on continua (pues es una serie de potencias) con g(a) = 0, lo
que implica que g(z) = 0 en un entorno U de a. Por tanto, f (z) = 0 en U \ {a},
lo que contradice que a E

. Luego, forzosamente, tiene que ocurrir b

n
= 0, n,
y esto demuestra el resultado.
El teorema anterior arma que si una serie de potencias se anula en un sub-
conjunto del disco abierto de convergencia que tenga alg un punto de acumulaci on
en dicho abierto, entonces la serie es id enticamente nula.
2.4 FUNCIONES ANAL

ITICAS
Denici on. Sea = un abierto de C. Una funci on f : C se dice
analtica en a , si existe una serie de potencias centrada en a con radio R > 0
tal que
f (z) =

n=0
a
n
(z a)
n
, |z a| < .
Es decir, f coincide con una serie de potencias en un entorno de a.
f se dice analtica en si lo es en cada punto a .
Ejemplos.
1. Todo polinomio es una funci on analtica en C. En efecto, siempre podemos
cambiar de base y expresar, para cualquier a C,
P(z) = a
0
+a
1
z +. . . +a
n
z
n
= b
0
+b
1
(z a) +. . . +b
n
(z a)
n
.
Funciones analticas 37
2. Gracias al resultado de cambio de centro, toda serie de potencias f (z) =

n=0
a
n
z
n
con radio R > 0 es analtica en D(0; R). An alogamente, f (z) =

n=0
a
n
(z a)
n
es analtica en D(a; R).
3. La funci on racional f (z) =
1
1 z
es analtica en C\ {1}. En efecto, es claro
que es analtica en 0, pues
1
1 z
=

n=0
z
n
, |z| < 1.
Pero, utilizando esta misma suma, si a C \ {1},
1
1 z
=
1
1 a (z a)
=
1
1 a
1
1 (
za
1a
)
1
1 a

n=0
_
z a
1 a
_
n
=

n=0
(z a)
n
(1 a)
n+1
siempre que

z a
1 a

< 1. Es decir, en el entorno de a, |z a| < |1 a|.

De forma parecida, descomponiendoenfracciones simples, noes difcil probar
que toda funci on racional es analtica en su dominio de denici on, esto es, en
todo C menos los ceros del denominador.
Proposici on. Si f es analtica en entonces f es holomorfa. Es m as, f es
indenidamente derivable en .
Demostraci on. Es claro, pues la derivabilidad es una propiedad local y ya sabemos
que una serie de potencias es indenidamente derivable.
Operaciones con funciones analticas.
1. La suma y el producto de funciones analticas son analticas.
2. Si f es analtica en a y f (a) = 0 entonces 1/f es analtica en a.
3. Sean f : C, g :
1
C con f ()
1
. Si f es analtica en a y g
es analtica en f (a), entonces g f es analtica en a.
Observaci on.
Estos resultados son consecuencia de las correspondientes operaciones para
serie de potencias. No merece la pena insistir en la demostraci on porque, m as
adelante, veremos que, en C, una funci on es analtica si y solo si es holomorfa, y
para funciones holomorfas ya conocemos las propiedades 1, 2 y 3.
38 Funciones analticas
2.5 PRINCIPIO DE PROLONGACI

ON ANAL

ITICA
El siguiente resultado va a ser consecuencia del principio de identidad de series de
potencias.
Teorema (P.P.A.). Sea una regi on de C. Sea f : C analtica en . Son
equivalentes:
i) f 0 en .
ii) a con f
(n)
(a) = 0, n N {0}.
iii) f = 0 en un subconjunto de con punto de acumulaci on en .
Demostraci on.
i ) i i ) Inmediato.
i i ) i i i ) En un entorno de a, D(a; ),
f (z) =

n=0
a
n
(z a)
n
y a
n
=
f
(n)
(a)
n!
.
As, f = 0 en todo D(a; ) al menos, y obviamente D(a; ) tiene punto de
acumulaci on en .
i i i ) i ) Por hip otesis, un subconjunto de E = f
1
(0) tiene puntos de
acumulaci on en , luego tambi en los tiene el propio E, de modo que E

= .
Usemos el cl asico argumento de conexi on.
E

es cerrado en .
E

es abierto en . En efecto, sea a E

. En un entorno de a,
D(a; ) ,
f (z) =

n=0
a
n
(z a)
n
.
Esta serie se anula en un conjunto con punto de acumulaci on en D(a; ) (precisa-
mente el punto a E

D(a; )). Por tanto, por el principio de identidad para

series de potencias la serie es nula. As, f = 0 en D(a; ), es decir, D(a; ) E,
de donde se deduce f acilmente que D(a; ) E

.
Entonces, como es conexo, E

= . Luego todo z est a en E

y de
aqu, como f es continua, f (z) = 0.
.
.
a

Funciones analticas 39
Corolario. Sea una regi on de C. Sean f y g funciones analticas en . Son
equivalentes:
i) f g en .
ii) a con f
(n)
(a) = g
(n)
(a), n N {0}.
iii) f = g en un subconjunto de con punto de acumulaci on en .
Demostraci on. Basta tomar la funci on f g.
Si denotamos, para abierto
A() = { f : C : f es analitica en },
tenemos esta otra consecuencia:
Corolario. Sea regi on. Sean f, g A() tales que la funci on f g 0 en .
Entonces, o f 0 en , o g 0 en . Dicho de otra manera, A() es un dominio
de integridad.
Demostraci on. Si para un z
0
, f (z
0
) = 0, entonces, por continuidad, f = 0 en
un entorno de z
0
. Luego debe ser g = 0 en dicho entorno, y como este tiene puntos
de acumulaci on en , por el teorema, g 0 en .
Observaci on.
Seg un la denici on, si f A(), en un punto a , coincide en un entorno
de a con una serie de potencias centrada en a con R > 0. A su vez, esta serie
tambi en es analtica y, por tanto, por el P.P.A., tendremos que la igualdad
f (z) =

n=0
a
n
(z a)
n
es v alida en la componente conexa de D(a; R) que contiene al punto a.
(Cuidado: aunque y D(a; R) son
conexos, su intersecci on D(a; R) no
tiene por qu e serlo, como se ve en la gura,
de manera que hay que evitar la tentaci on
natural de escribir la igualdad para todo
z de la intersecci on; puede haber desigual-
dad en los puntos de las componentes co-
nexas de la intersecci on que no contengan
al punto a.)