CAPÍTULO 2

Funciones analı́ticas
2.1 INTRODUCCIÓN

Para definir las series de potencias y la noción de analiticidad a que conducen, sólo
se necesitan las operaciones de suma y multiplicación y el concepto de lı́mite. Esto
nos dice que las series de potencias en C son otro concepto que podemos definir
exactamente igual que en R y gozará de las mismas propiedades y con idénticas
demostraciones que en R (¡si no dependen de la ordenación de R!).
Por tanto, este capı́tulo (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álisis Matemático (segunda edición). Re-
verté, Barcelona (1991).

2.2 SERIES EN C: GENERALIDADES.

∞
1. Dada una sucesión (z n )∞
n=0 ⊂ C, la serie infinita z n se dice convergente
n=0
si


N
∃ lim z n ∈ C.
N →∞
n=0


∞
Al valor de dicho lı́mite se le denota también por z n y se le llama suma
n=0
de la serie.
2. Criterio de convergencia de Cauchy.
 


∞ 
n 
 
z n converge ⇔ ∀ε > 0, ∃n 0 ∈ N  si n > m > n 0 ,  z k  < ε.
n=0
k=m 

∞
3. Decimos que la serie z n converge absolutamente si converge la serie de
n=0


∞
números reales |z n | (recordemos que podemos poner más abreviadamente
n=0


∞
|z n | < +∞).
n=0

28
Funciones analı́ticas 29

Toda serie absolutamente convergente es convergente, pero el recı́proco no es

cierto.


∞
4. La serie z n converge si y solo si convergen las dos series de números reales
n=0


∞

∞
e z n y
m z n . Además
n=0 n=0

∞

∞

∞
zn = e z n + i
m z n .
n=0 n=0 n=0

5. Producto de Cauchy de series.

∞

∞
Consideremos dos series de números complejos, an , bn . Para cada
n=0 n=0
k ∈ N ∪ {0}, definimos



k
ck = an bm = an bn−k = a0 bk + a1 bk−1 + . . . + ak b0 .
n+m=k n=0

∞

∞

∞
La serie ck se llama producto de Cauchy de las series an y bn .
k=0 n=0 n=0

En principio, ésta es una definición formal, que no atiende a la convergencia

de las series que intervienen. Si efectuáramos “la multiplicación de las sumas
infinitas” de an y bm , colocando todos los “sumandos del producto” an bm en una
tabla (infinita) de doble entrada, asociándolos según las diagonales secundarias, el
resultado es la serie producto de Cauchy de las iniciales; cada “sumando producto”
an bm interviene una y una sola vez, sin ausencias ni repeticiones. Cabe esperar, por
tanto, que cuando sea lı́cito reagrupar términos (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á todo lo que necesitemos, es el siguiente.

∞

∞
Teorema (Mertens). Si las series an y bn son absolutamente convergentes,
n=0 n=0


∞
entonces la serie ck es absolutamente convergente y además,
k=0
  

∞

∞

∞
an bn = ck .
n=0 n=0 k=0
30 Funciones analı́ticas

6. Convergencia uniforme. Criterio M de Weierstrass.

Recordemos la siguiente:
Definición. 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 | f n (z) − f (z)| −→ 0.
z∈A

Es claro que la convergencia uniforme implica la convergencia puntual en

cada punto de A.
Definición. 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 lı́mite uniforme de funciones continuas es una función continua y la
continuidad es una propiedad local, tenemos:
Proposición. 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 definiciones análogas (como limite de
las funciones sumas parciales).
El siguiente resultado será de uso frecuente.
Criterio M de Weierstrass. Dadas f n : A ⊂ C −→ C. Si podemos encontrar
una sucesión (Mn ) de números positivos tal que

∞
| f n (z)| ≤ Mn , ∀z ∈ A ∧ Mn < +∞
n=0

∞
entonces, f n (z) converge uniformemente y absolutamente en A.
n=0
Funciones analı́ticas 31

2.3 SERIES DE POTENCIAS

Definición. Dado a ∈ C, llamaremos serie de potencias centrada en a a toda

serie de la forma

∞
an (z − a)n = a0 + a1 (z − a) + a2 (z − a)2 + . . . ,
n=0

donde los coeficientes (an ) ⊂ C.

El primer problema es saber para qué puntos de C converge. Es claro que,
sean cuales sean los coeficientes, una serie de potencias siempre converge en a.
El siguiente resultado (con demostración totalmente análoga a la de R) deja
claro este problema de convergencia de una serie de potencias.
En el enunciado utilizamos la notación D(a; +∞) = C.

Teorema 1 (Abel). Sea ∞ n=0 an (z − a) una serie de potencias centrada en a .
n

Entonces, existe un número R ∈ [0, +∞] tal que

∞
n=0 an (z−a) converge absolutamente y casi uniformemente en D(a; R).
n
1.
∞
n=0 an (z − a) no converge en C \ D(a; R).
n
2.
 −1
3. Fórmula de Cauchy-Hadamard: R = lim sup |an |1/n .

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ólo 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
afirma nada en relación 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ótese que R no depende de a. A efectos de convergencia, lo que le ocurre a
la serie viene determinado por los coeficientes
 (an ). Por ello, es suficiente que
n
 en 0, ann z , pues los resultados se trasladarán
estudiemos series centradas
de forma obvia a la serie an (z − a) .
32 Funciones analı́ticas

iii) Toda serie de potencias con radio R > 0, define una función


∞
f (z) = an (z − a)n , z ∈ D(a; R),
n=0
que, al ser lı́mite casi uniforme de funciones continuas, es una función continua
en D(a; R).
iv) En muchos casos, la fórmula de Cauchy-Hadamard se simplifica, si recor-
damos el siguiente resultado sobre lı́mites.
Dada una sucesión (an ), con an = 0, ∀n, si
|an+1 |
∃ lim ∈ [0, +∞],
n→∞ |an |

el valor de dicho lı́mite coincide con lim sup |an |1/n . Por tanto, en los casos en
que esto ocurra (en la práctica será frecuente), tendremos la siguiente fórmula
para el radio de convergencia,
|an |
R = lim .
n→∞ |an+1 |

v) Aún en casos en que no sepamos calcular el radio por la fórmula de Cauchy-

Hadamard, las dos primeras partes del teorema de Abel dan muy buena infor-
mación.
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 cı́rculo de convergencia es suficiente en los casos más sencillos el
siguiente criterio.

 Sea (an ) una sucesión de números reales, no creciente y

Criterio de Dirichlet.
convergente a 0. Sea bn una serie de números complejos cuyas sumas parciales
forman una sucesión acotada. Entonces la serie an bn es convergente.

En lo que sigue, por abreviar notación y teniendo en cuenta la observación ii),

bastará que consideremos series de potencias centradas en 0. El número R colocado
sin más al lado de la serie, será su radio de convergencia.
El primer resultado que vemos a continuación nos indica que las series de
potencias, definen funciones muy buenas desde un punto de vista analı́tico (son
indefinidamente derivables) y desde un punto de vista algebraico (se puede derivar
término a término).
Funciones analı́ticas 33
∞ ∞
n=0 an z , R ∈ (0, +∞]. Sea f (z) = an z n , |z| < R .
n
Teorema 2. Sea n=0
Entonces,
i) f es derivable en D(0; R), y además

∞

f (z) = nan z n−1 , |z| < R.
n=1

ii) f es indefinidamente derivable en D(0; R), y para cada k ∈ N,

∞
(k)
f (z) = n(n − 1) . . . (n − k + 1)an z n−k , |z| < R.
n=k

iii) Para cada k ∈ N ∪ {0},

f (k) (0)
ak = .
k!

iv) La serie “antiderivada” o “primitiva término a término”

∞
an n+1
z
n=0
n + 1

converge en D(0; R) a una función cuya derivada es f .

Observación.
Nótese 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 an z tiene radio R y P es cualquier polinomio y k ∈ N, las series
n

∞

∞
an+k z ,
n
P(n)an z n
n=0 n=0

tienen radio R.
El apartado iii) del teorema nos dice que los coeficientes vienen determinados
por el valor de las derivadas sucesivas de f en 0. Como para conocer éstas, sólo
hace falta conocer f en un entorno de 0, es inmediato el siguiente
34 Funciones analı́ticas
 ∞
Corolario. Si dos series de potencias ∞ a
n=0 n z n
y n=0 bn z con radios R1 , R2 >
n

0 son tales que coinciden en un entorno de 0, entonces

an = bn , ∀n ∈ N ∪ {0}.

Hemos ignorado en lo anterior el comportamiento en la frontera del cı́rculo

de convergencia. Si la serie converge en un punto z tal que |z| = R ¿hay alguna
relación entre la suma de la serie en tal punto y la suma en los puntos interiores?
He aquı́ una respuesta parcial.

Teorema del lı́mite de Abel. Sea f (z) = ∞ n=0 an z , |z| < R , R ∈ (0, +∞).
n

Supongamos que la serie converge también para z = R . Entonces existe el lı́mite

radial (a través del segmento (0, R)) de la función f y vale

∞
lim f (x) = an R n .
x→R n=0
0<x<R

Operaciones con series de potencias.

∞ ∞
Sean f (z) = n=0 an z , R1 ; g(z) =
n
n=0 bn z n , R2 .
1. Suma.


∞
f (z) + g(z) = (an + bn )z n , R ≥ min{R1 , R2 }.
n=0

2. Producto.


∞

n
f (z) · g(z) = cn z , c n =
n
ak bn−k , R ≥ min{R1 , R2 }.
n=0 k=0

3. División. Si f (0) = 0 entonces ∃δ > 0 tal que

1
∞
= γn z n , |z| < δ.
f (z) n=0

Este resultado afirma que la función 1/ f es una serie de potencias en un

entorno del origen. Pero no es fácil dar una expresión explı́cita de los
coeficientes γn en términos de los an .
Funciones analı́ticas 35

∞
4. Composición. Si para un z ∈ D(0; R2 ), |bn z n | < R1 , entonces tiene
n=0
sentido la función composición f ◦ g, y además


∞
f ◦ g(z) = δk z k
n=0

en un entorno del origen.

La demostración de estos dos últimos resultados es bastante farragosa.
Teóricamente nos dicen que la división y composición de series de poten-
cias son series de potencias, pero en la práctica son de difı́cil aplicación.

4. Cambio de centro. Sea f (z) = ∞ n=0 an z , R > 0 y sea b ∈ D(0; R).
n

Entonces, ∃δ > 0 tal que

∞
f (z) = bn (z − b)n , |z − b| < δ.
n=0

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 an 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énticamente nula).
ii) an = 0, ∀n
iii) E  ∩ D(0; R) = ∅ (i.e., E tiene puntos de acumulación en D(0; R)).
Demostración. i) ⇔ ii) es consecuencia inmediata del corolario del teorema
2 y la implicación i) ⇒ iii) es obvia.
Veamos que iii) ⇒ i). Llamemos A = E  ∩ D(0; R) = ∅. A es cerrado en
la topologı́a relativa de D(0; R) porque E  siempre es un cerrado de C. Si vemos
que también A es abierto en D(0; R) (o, lo que es lo mismo, en C, pues D(0; R)
es abierto), por conexión tendremos que A = D(0; R) y de aquı́ es muy fácil ver
que E = D(0; R), lo que concluirı́a la demostración.
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 analı́ticas

Por el cambio de centro, f será una serie de potencias en un entorno de a,

∞
f (z) = bn (z − a)n , en D(a; δ) ⊂ D(0; R)
n=1

(la serie empieza en 1, pues f (a) = 0).

Si bn = 0, ∀n tendremos claramente que D(a; δ) ⊂ A.
En otro caso, sea bk el primer coeficiente que no se anula. Entonces,


f (z) = (z − a) k
bn (z − a)n−k = (z − a)k g(z)
n=k

donde g es una función 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 bn = 0, ∀n,
y esto demuestra el resultado.
El teorema anterior afirma que si una serie de potencias se anula en un sub-
conjunto del disco abierto de convergencia que tenga algún punto de acumulación
en dicho abierto, entonces la serie es idénticamente nula.

2.4 FUNCIONES ANALÍTICAS

Definición. Sea  = ∅ un abierto de C. Una función f :  −→ C se dice

analı́tica en a ∈ , si existe una serie de potencias centrada en a con radio R > 0
tal que

∞
f (z) = an (z − a)n , |z − a| < δ.
n=0

Es decir, f coincide con una serie de potencias en un entorno de a .

f se dice analı́tica en  si lo es en cada punto a ∈ .

Ejemplos.
1. Todo polinomio es una función analı́tica en C. En efecto, siempre podemos
cambiar de base y expresar, para cualquier a ∈ C,

P(z) = a0 + a1 z + . . . + an z n = b0 + b1 (z − a) + . . . + bn (z − a)n .
Funciones analı́ticas 37

2. Gracias al resultado de cambio de centro, toda serie de potencias f (z) =

∞
an z n con radio R > 0 es analı́tica en D(0; R). Análogamente, f (z) =
n=0


∞
an (z − a)n es analı́tica en D(a; R).
n=0
1
3. La función racional f (z) = es analı́tica en C \ {1}. En efecto, es claro
1−z
que es analı́tica en 0, pues
1
∞
= z n , |z| < 1.
1−z n=0
Pero, utilizando esta misma suma, si a ∈ C \ {1},
1 1 1 1
= =
1−z 1 − a − (z − a) 1 − a 1 − ( 1−a
z−a
)
∞ 
1
z−a n
∞
(z − a)n
=
1 − a n=0 1 − a n=0
(1 − a)n+1
 
z − a
siempre que   < 1. Es decir, en el entorno de a, |z − a| < |1 − a|.
1 − a
De forma parecida, descomponiendo en fracciones simples, no es difı́cil probar
que toda función racional es analı́tica en su dominio de definición, esto es, en
todo C menos los ceros del denominador.
Proposición. Si f es analı́tica en  entonces f es holomorfa. Es más, f es
indefinidamente derivable en .
Demostración. Es claro, pues la derivabilidad es una propiedad local y ya sabemos
que una serie de potencias es indefinidamente derivable.

Operaciones con funciones analı́ticas.

1. La suma y el producto de funciones analı́ticas son analı́ticas.
2. Si f es analı́tica en a y f (a) = 0 entonces 1/ f es analı́tica en a.
3. Sean f :  −→ C, g : 1 −→ C con f () ⊆ 1 . Si f es analı́tica en a y g
es analı́tica en f (a), entonces g ◦ f es analı́tica en a.
Observación.
Estos resultados son consecuencia de las correspondientes operaciones para
serie de potencias. No merece la pena insistir en la demostración porque, más
adelante, veremos que, en C, una función es analı́tica si y solo si es holomorfa, y
para funciones holomorfas ya conocemos las propiedades 1, 2 y 3.
38 Funciones analı́ticas

2.5 PRINCIPIO DE PROLONGACIÓN ANALÍTICA

El siguiente resultado va a ser consecuencia del principio de identidad de series de

potencias.
Teorema (P.P.A.). Sea  una región de C. Sea f :  −→ C analı́tica 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ón en .
Demostración.
i) ⇒ ii) Inmediato.
ii) ⇒ iii) En un entorno de a, D(a; δ),

∞
f (n) (a)
f (z) = an (z − a) y an =
n
.
n=0
n!

Ası́, f = 0 en todo D(a; δ) al menos, y obviamente D(a; δ) ⊆  tiene punto de

acumulación en .
iii) ⇒ i) Por hipótesis, un subconjunto de E = f −1 (0) ⊆  tiene puntos de
acumulación en , luego también los tiene el propio E, de modo que E  ∩  = ∅.
Usemos el clásico argumento de conexión.
E  ∩  es cerrado en .
E  ∩  es abierto en . En efecto, sea a ∈ E  ∩ . En un entorno de a,
D(a; δ) ⊆ ,


∞
f (z) = an (z − a)n .
n=0

Esta serie se anula en un conjunto con punto de acumulación 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ácilmente que D(a; δ) ⊆ E  ∩ .
Entonces, como  es conexo, E  ∩  = . Luego todo z ∈  está en E  y de
aquı́, como f es continua, f (z) = 0.
Funciones analı́ticas 39

Corolario. Sea  una región de C. Sean f y g funciones analı́ticas 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ón en .
Demostración. Basta tomar la función f − g.
Si denotamos, para  abierto

A() = { f :  −→ C : f es analitica en },

tenemos esta otra consecuencia:

Corolario. Sea  región. Sean f, g ∈ A() tales que la función f g ≡ 0 en .
Entonces, ó f ≡ 0 en , ó g ≡ 0 en . Dicho de otra manera, A() es un dominio
de integridad.
Demostración. 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 éste tiene puntos
de acumulación en , por el teorema, g ≡ 0 en .
Observación.
Según la definición, 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én es analı́tica y, por tanto, por el P.P.A., tendremos que la igualdad


∞
f (z) = an (z − a)n
n=0

es válida en la componente conexa de  ∩ D(a; R) que contiene al punto a.

(Cuidado: aunque  y D(a; R) son

conexos, su intersección  ∩ D(a; R) no
tiene por qué serlo, como se ve en la figura,

a . de manera que hay que evitar la tentación

‘natural’ de escribir la igualdad para todo
z de la intersección; puede haber desigual-
dad en los puntos de las componentes co-
nexas de la intersección que no contengan
Ω al punto a.)