CAPITULO 2

Funciones analticas
2.1

INTRODUCCION

Para definir las series de potencias y la nocion de analiticidad a que conducen, solo
se necesitan las operaciones de suma y multiplicacion y el concepto de lmite. Esto
nos dice que las series de potencias en C son otro concepto que podemos definir
exactamente igual que en R y gozara de las mismas propiedades y con identicas
demostraciones que en R (si no dependen de la ordenacion de R!).
Por tanto, este captulo (al menos, los dos primeros apartados) va a ser un simple repaso de lo que conocemos en R, pero puesto en el contexto de C. Los detalles
pueden consultarse en Apostol, T.M.: Analisis Matematico (segunda edicion). Reverte, Barcelona (1991).
2.2

SERIES EN C: GENERALIDADES.

1. Dada una sucesion

(z n )
n=0

C, la serie infinita

z n se dice convergente

n=0

si
lim

N

z n C.

n=0

Al valor de dicho lmite se le denota tambien 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  < .
k=m 
n=0

3. Decimos que la serie

numeros reales

z n converge absolutamente si converge la serie de

n=0

|z n | (recordemos que podemos poner mas abreviadamente

n=0

|z n | < +).

n=0

28

Funciones analticas

29

Toda serie absolutamente convergente es convergente, pero el recproco no es

cierto.

4. La serie
z n converge si y solo si convergen las dos series de numeros reales

n=0

e z n y

n=0

m z n . Ademas

n=0

zn =

n=0

e z n + i

n=0

m z n .

n=0

5. Producto de Cauchy de series.

Consideremos dos series de numeros complejos,

ck =

n+m=k

La serie

an ,

n=0

k N {0}, definimos

an bm =

k

bn . Para cada

n=0

an bnk = a0 bk + a1 bk1 + . . . + ak b0 .

n=0

ck se llama producto de Cauchy de las series

k=0

an y

n=0

bn .

n=0

En principio, e sta es una definicion formal, que no atiende a la convergencia

de las series que intervienen. Si efectuaramos la multiplicacion de las sumas
infinitas de an y bm , colocando todos los sumandos del producto an bm en una
tabla (infinita) de doble entrada, asociandolos segun 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 lcito reagrupar terminos (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 sera todo lo que necesitemos, es el siguiente.

Teorema (Mertens). Si las series
an y
bn son absolutamente convergentes,

entonces la serie

k=0

n=0

n=0

ck es absolutamente convergente y ademas,



n=0


an

n=0


bn

k=0

ck .

30

Funciones analticas

6. Convergencia uniforme. Criterio M de Weierstrass.

Recordemos la siguiente:
Definicion. 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.
zA

Es claro que la convergencia uniforme implica la convergencia puntual en

cada punto de A.
Definicion. 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 funcion continua y la
continuidad es una propiedad local, tenemos:
Proposicion. 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 analogas (como limite de
las funciones sumas parciales).
El siguiente resultado sera de uso frecuente.
Criterio M de Weierstrass. Dadas f n : A C C. Si podemos encontrar
una sucesion (Mn ) de numeros positivos tal que
| f n (z)| Mn , z A

Mn < +

n=0

entonces,

n=0

f n (z) converge uniformemente y absolutamente en A.

Funciones analticas
2.3

31

SERIES DE POTENCIAS

Definicion. 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 que puntos de C converge. Es claro que,
sean cuales sean los coeficientes, una serie de potencias siempre converge en a.
El siguiente resultado (con demostracion totalmente analoga a la de R) deja
claro este problema de convergencia de una serie de potencias.
En el enunciado utilizamos la notacion D(a; +) = C.

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

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

n
2.
n=0 an (z a) no converge en C \ D(a; R).
1

3. Formula 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 solo 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 relacion 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) Notese 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
estudiemos series centradas
 en 0, ann z , pues los resultados se trasladaran
de forma obvia a la serie an (z a) .

32

Funciones analticas

iii) Toda serie de potencias con radio R > 0, define una funcion

an (z a)n , z D(a; R),
f (z) =
n=0

que, al ser lmite casi uniforme de funciones continuas, es una funcion continua
en D(a; R).
iv) En muchos casos, la formula de Cauchy-Hadamard se simplifica, si recordamos el siguiente resultado sobre lmites.
Dada una sucesion (an ), con an = 0, n, si
|an+1 |
[0, +],
lim
n |an |
el valor de dicho lmite coincide con lim sup |an |1/n . Por tanto, en los casos en
que esto ocurra (en la practica sera frecuente), tendremos la siguiente formula
para el radio de convergencia,
|an |
.
R = lim
n |an+1 |
v) Aun en casos en que no sepamos calcular el radio por la formula de CauchyHadamard, las dos primeras partes del teorema de Abel dan muy buena informacion.
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 suficiente en los casos mas sencillos el
siguiente criterio.
Criterio de Dirichlet.
 Sea (an ) una sucesion de numeros reales, no creciente y
complejos cuyas sumas parciales
convergente a 0. Sea bn una serie de numeros
forman una sucesion acotada. Entonces la serie an bn es convergente.
En lo que sigue, por abreviar notacion y teniendo en cuenta la observacion ii),
bastara que consideremos series de potencias centradas en 0. El numero R colocado
sin mas al lado de la serie, sera su radio de convergencia.
El primer resultado que vemos a continuacion nos indica que las series de
potencias, definen funciones muy buenas desde un punto de vista analtico (son
indefinidamente derivables) y desde un punto de vista algebraico (se puede derivar
termino a termino).

Funciones analticas
Teorema 2. Sea
Entonces,

33

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


n=0

an z n , |z| < R .

i) f es derivable en D(0; R), y ademas



f (z) =

nan z n1 , |z| < R.

n=1

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

f

(k)

(z) =

n(n 1) . . . (n k + 1)an z nk , |z| < R.

n=k

iii) Para cada k N {0},

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

iv) La serie antiderivada o primitiva termino a termino

an n+1
z
n
+
1
n=0

converge en D(0; R) a una funcion cuya derivada es f .

Observacion.
Notese 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:

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

n=0

an+k z ,
n

P(n)an z n

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 e stas, solo
hace falta conocer f en un entorno de 0, es inmediato el siguiente

34

Funciones analticas



n
n
Corolario. Si dos series de potencias
a
z
y
n=0 n
n=0 bn z con radios R1 , R2 >
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 crculo
de convergencia. Si la serie converge en un punto z tal que |z| = R hay alguna
relacion entre la suma de la serie en tal punto y la suma en los puntos interiores?
He aqu una respuesta parcial.

n
Teorema del lmite de Abel. Sea f (z) =
n=0 an z , |z| < R , R (0, +).
Supongamos que la serie converge tambien para z = R . Entonces existe el lmite
radial (a traves del segmento (0, R)) de la funcion f y vale
lim f (x) =

xR
0<x<R

an R n .

n=0

Operaciones con series de potencias.

Sean f (z) =

n
n=0 an z , R1 ; g(z) =


n=0

bn z n , R2 .

1. Suma.

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

2. Producto.
f (z) g(z) =

n=0

cn z , c n =
n

n

ak bnk , R min{R1 , R2 }.

k=0

3. Division. Si f (0) = 0 entonces > 0 tal que

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

Este resultado afirma que la funcion 1/ f es una serie de potencias en un

entorno del origen. Pero no es facil dar una expresion explcita de los
coeficientes n en terminos de los an .

Funciones analticas

35

4. Composicion. Si para un z D(0; R2 ),

|bn z n | < R1 , entonces tiene

n=0

sentido la funcion composicion f g, y ademas

f g(z) =

k z k

n=0

en un entorno del origen.

La demostracion de estos dos u ltimos resultados es bastante farragosa.
Teoricamente nos dicen que la division y composicion de series de potencias son series de potencias, pero en la practica son de difcil aplicacion.

n
4. Cambio de centro. Sea f (z) =
n=0 an z , R > 0 y sea b D(0; R).
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) =
Son equivalentes:


n=0

an z n , R > 0. Sea E = {z D(0; R) : f (z) = 0}.

i) E = D(0; R) (es decir, f es identicamente nula).

ii) an = 0, n
iii) E  D(0; R) = (i.e., E tiene puntos de acumulacion en D(0; R)).
Demostracion. i) ii) es consecuencia inmediata del corolario del teorema
2 y la implicacion i) iii) es obvia.
Veamos que iii) 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 tambien A es abierto en D(0; R) (o, lo que es lo mismo, en C, pues D(0; R)
es abierto), por conexion tendremos que A = D(0; R) y de aqu es muy facil ver
que E = D(0; R), lo que concluira la demostracion.
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 sera 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)

bn (z a)nk = (z a)k g(z)

n=k

donde g es una funcion 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 subconjunto del disco abierto de convergencia que tenga algun punto de acumulacion
en dicho abierto, entonces la serie es identicamente nula.
2.4

FUNCIONES ANALITICAS

Definicion. Sea  = un abierto de C. Una funcion f :  C se dice

analtica 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 analtica en  si lo es en cada punto a .
Ejemplos.
1. Todo polinomio es una funcion analtica 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 analticas

37

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

an z n con radio R > 0 es analtica en D(0; R). Analogamente, f (z) =
n=0

an (z a)n es analtica en D(a; R).

n=0

3. La funcion racional f (z) =

que es analtica en 0, pues

1
es analtica en C \ {1}. En efecto, es claro
1z

1
z n , |z| < 1.
=
1z
n=0

Pero, utilizando esta misma suma, si a C \ {1},

1
1
1
1
=
=
za
1z
1 a (z a)
1 a 1 ( 1a
)



(z a)n
za n

1

=
1 a n=0 1 a
(1 a)n+1
n=0


z a
 < 1. Es decir, en el entorno de a, |z a| < |1 a|.
siempre que 
1 a
De forma parecida, descomponiendo en fracciones simples, no es difcil probar
que toda funcion racional es analtica en su dominio de definicion, esto es, en
todo C menos los ceros del denominador.
Proposicion. Si f es analtica en  entonces f es holomorfa. Es mas, f es
indefinidamente derivable en .

Demostracion. Es claro, pues la derivabilidad es una propiedad local y ya sabemos

que una serie de potencias es indefinidamente 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.
Observacion.
Estos resultados son consecuencia de las correspondientes operaciones para
serie de potencias. No merece la pena insistir en la demostracion porque, mas
adelante, veremos que, en C, una funcion es analtica si y solo si es holomorfa, y
para funciones holomorfas ya conocemos las propiedades 1, 2 y 3.

38
2.5

Funciones analticas
ANALITICA

PRINCIPIO DE PROLONGACION

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

potencias.
Teorema (P.P.A.). Sea  una region 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 acumulacion en .

Demostracion.
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

acumulacion en .
iii) i) Por hipotesis, un subconjunto de E = f 1 (0)  tiene puntos de
acumulacion en , luego tambien los tiene el propio E, de modo que E   = .
Usemos el clasico argumento de conexion.
E   es cerrado en .
E   es abierto en . En efecto, sea a E  . En un entorno de a,
D(a; ) ,

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

Esta serie se anula en un conjunto con punto de acumulacion en D(a; ) (precisamente 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 facilmente que D(a; ) E  .
Entonces, como  es conexo, E   = . Luego todo z  esta en E  y de
aqu, como f es continua, f (z) = 0.

Funciones analticas

39

Corolario. Sea  una region 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 acumulacion en .

Demostracion. Basta tomar la funcion f g.

Si denotamos, para  abierto
A() = { f :  C : f es analitica en },
tenemos esta otra consecuencia:
Corolario. Sea  region. Sean f, g A() tales que la funcion f g 0 en .
Entonces, o f 0 en , o g 0 en . Dicho de otra manera, A() es un dominio
de integridad.

Demostracion. 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 e ste tiene puntos
de acumulacion en , por el teorema, g 0 en .
Observacion.
Segun la definicion, 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
tambien es analtica y, por tanto, por el P.P.A., tendremos que la igualdad
f (z) =

an (z a)n

n=0

es valida en la componente conexa de  D(a; R) que contiene al punto a.

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

conexos, su interseccion  D(a; R) no
tiene por que serlo, como se ve en la figura,
de manera que hay que evitar la tentacion
natural de escribir la igualdad para todo
z de la interseccion; puede haber desigualdad en los puntos de las componentes conexas de la interseccion que no contengan
al punto a.)