Beruflich Dokumente
Kultur Dokumente
Enero de 2017
2
ndice general
6. Extensin y aproximacin 57
6.1. El principio de reflexin de Schwarz . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
6.2. El teorema de aproximacin de Runge . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
6.3. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
3
4 NDICE GENERAL
8. Series de Laurent 83
8.1. Series de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
8.2. Singularidades aisladas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
8.3. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
Bibliografa 127
Captulo 1
5
6 CAPTULO 1. NMEROS COMPLEJOS Y FUNCIONES ELEMENTALES
usaremos la notacin
z w := z + (w),
operacin que corresponde, por supuesto, a la diferencia de vectores en el plano.
Es un ejercicio sencillo comprobar que el conjunto C, con las operaciones de suma y producto as
definidas, tiene las siguientes propiedades, para todos los z, w, C:
1. z + (w + ) = (z + w) + (asociatividad de la suma);
2. z + w = w + z (conmutatividad de la suma);
Es decir, (C, +, ) es un cuerpo conmutativo, del cual el conjunto R de los nmeros reales, identificado
con {x + iy C : y = 0}, es un subcuerpo.
La frmula para el inverso de z resulta ms fcil de recordar una vez que se definen la nociones de
nmero complejo conjugado, y de mdulo de un nmero complejo. Dado z = x + iy C, definimos su
conjugado, denotado por z, como
z = x iy.
La operacin de conjugacin corresponde geomtricamente a una reflexin en C = R2 respecto de la
recta R := {x + iy C : y = 0}. Se define el mdulo de z = x + iy por
p
|z| = x2 + y 2 .
x = Rez, y = Im.
z z+z zz
z 1 = 2
; Rez = , Imz = .
|z| 2 2i
z + w = z + w;
zw = zw;
|z| = |z|;
|z|2 = zz;
|zw| = |z| |w|.
1.1. NMEROS COMPLEJOS Y FUNCIONES COMPLEJAS ELEMENTALES 7
Las coordenadas polares en R2 resultan muy tiles cuando se manejan crculos, sectores de crculos,
rectas que pasan por el origen, etc. Cada nmero complejo z = x + iy puede escribirse como z =
r cos + ir sen , con
p x
r = x2 + y 2 = |z|, = arctan ,
y
donde el ngulo est determinado salvo suma de un mltiplo entero de 2. Como ya sabemos la
aplicacin
(0, ) (, ] 3 (r, ) 7 r cos + ir sen C \ {0}
es una biyeccin.
Definicin 1.1 (Exponencial compleja). Para cada R definimos
ei := cos + i sen ,
y si z = x + iy C, definimos
ez := ex eiy .
Por tanto todo z = x + iy puede escribirse en la forma z = rei , donde r = |z|, y est determinado
unvocamente en (, ] si z 6= 0. Denotaremos
Argz =
para este nico (, ], y a la funcin z 7 Argz la llamaremos rama principal del argumento. Por
ejemplo se tiene Arg(i) = /2, Arg(1 i) = /4. Tambin usaremos la notacin
arg z = {2k + Argz : k Z}
para la funcin multivaluada que para cada z C \ {0} nos da todos los posibles nmeros R tales
que z = |z|ei .
Definiremos la rama principal del logaritmo como la aplicacin log : C \ (, 0] C definida por
log z = log |z| + iArg(z).
Es claro que se tiene
elog z = z,
y que log z coincide con el logaritmo usual en R cuando z (0, +). La funcin log definida as es
inyectiva, pero la funcin exponencial compleja ez no lo es: de hecho se tiene ez+2ki = ez para todo
k Z (se dice que ez es peridica de perodo 2i). Veamos otras propiedades bsicas de la funcin
7 ei .
Proposicin 1.1. Se tiene, para todos , R, que:
1. |ei | = 1;
2. ei = ei ;
3. ei = 1/ei ;
4. ei(+) = ei ei .
Demostracin. (1) equivale a sen2 + cos2 = 1, (2) es consecuencia de que sen es simtrica impar
y cos es simtrica par, y (3) se deduce de (1) y (2) y la frmula z 1 = z/|z|2 . Para demostrar (4),
observemos que esta igualdad equivale a
cos( + ) + i sen( + ) = (cos + i sen )(cos + i sen )
= cos cos sen sen + i (cos sen + sen cos ) ,
que a su vez (igualando partes reales e imaginarias de ambos miembros) equivale a las frmulas de la
suma para las funciones seno y coseno, que son bien conocidas.
8 CAPTULO 1. NMEROS COMPLEJOS Y FUNCIONES ELEMENTALES
ez ew = ex+iy ea+ib = (ex eiy )(ea eib ) = (ex ea )(eiy eib ) = ex+a ei(y+b) = e(x+a)+i(y+b) = ez+w .
1. arg z = arg z;
Demostracin. Todas las propiedades son fciles; demostremos por ejemplo (3). Escribiendo zj =
rj eij , j = 1, 2, y usando la proposicin anterior, tenemos
z1 z2 = r1 ei1 r2 ei2 = r1 r2 ei1 ei2 = r1 r2 ei(1 +2 ) ,
La propiedad (4) de la proposicin, o la (3) del corolario, nos desvelan el significado geomtrico
del producto de dos nmeros complejos: si z1 = r1 ei1 y z2 = r2 ei2 son dos nmeros complejos, su
producto es
z1 z2 = r1 r2 ei(1 +2 ) ,
un nmero complejo cuya distancia al origen es el producto de las distancias al origen de z1 y z2 , y
que forma un ngulo con la recta y = 0 igual a la suma de los ngulos que forman z1 y z2 con esa
misma recta. En el caso particular de que los mdulos sean 1, vemos que multiplicar nmeros complejos
equivale a sumar argumentos.
Estas observaciones nos permiten, por ejemplo, calcular las n races n-simas de un nmero complejo
w, para cualquier n N: escribimos w = ei , z = rei , y planteamos la ecuacin z n = w, cuya forma
polar es
rn ein = ei ,
de donde, igualando mdulos y argumentos, deducimos que r = 1/n , y = n + 2k, con k Z. Por
tanto, las n races n-simas de w son los nmeros zj definidos por
+ 2j
zj = 1/n ej , con j = , j = 0, 1, ..., n 1,
n
puntos que determinan los vrtices de un polgono regular de n lados inscrito en el crculo unidad.
Ms adelante veremos que todo polinomio complejo de grado n 1 tiene exactamente n races
complejas, contadas con sus multiplicidades (Teorema Fundamental del lgebra).
Examinemos con ms detenimiento el caso bsico n = 2. La funcin z 7 w = z 2 no es inyectiva:
cada punto w = ei C \ {0}, donde (, ), tiene dos antimgenes, z = 1/2 ei/2 . Podemos
definir entonces dos ramas de la funcin raz cuadrada, dadas por f1 : C \ (, 0] C,
z = e log z ,
donde log es la rama principal del logaritmo. Ms adelante veremos cmo definir funciones de este tipo
en cualquier dominio abierto de C que no tenga agujeros y no contenga al 0.
Recomendamos al lector que examine con cuidado el comportamiento geomtrico de las funciones
e , log z, z n , z 1/n , analizando cmo transforman diversos conjuntos bsicos del plano complejo tales
z
como rectas paralelas a los ejes, semirrectas que pasen por el origen, circunferencias centradas en 0,
sectores de crculos centrados en 0, etc.
Veamos ahora cmo se definen las funciones trigonomtricas en C. Usando la definicin de ei , y
recordando que sen es simtrica impar y cos es simtrica par, obtenemos las igualdades
ei + ei ei ei
cos = , sen = , R.
2 2i
Por tanto una manera natural de definir sen y cos en C (y, como veremos ms adelante, la nica posible,
entre otras equivalentes, si queremos que sean funciones diferenciables en sentido complejo) es mediante
cos(z) = cos z, sen(z) = sen z, sen(z + 2k) = sen z, cos(z + 2k) = cos z,
y
cos(z) = sen z +
2
para todos z C, k Z. Ms adelante veremos que todas las dems identidades usuales que involucran
a las funciones sen y cos en R (como las frmulas del seno o el coseno de la suma, o el hecho de que
sen2 x + cos2 x = 1) siguen siendo vlidas en C.
Las funciones trigonomtricas hiperblicas se definen por
ez + ez ez ez
cosh z = , senh z = .
2 2
d(z, w) = |z w|,
D(z0 , r) = {z C : |z z0 | r}.
Los abiertos, los cerrados, las sucesiones convergentes, las sucesiones de Cauchy, los puntos de acumu-
lacin, etc, de C son los mismos que en R2 . Por tanto todos los conceptos mtricos y topolgicos que se
han estudiado en Rn se aplican directamente a C al particularizar en el caso n = 2. As por ejemplo un
conjunto de C es abierto si y slo si para cada z existe r > 0 tal que D(z, r) , y una sucesin
(zn ) converge a z si y slo si para todo > 0 existe n0 N tal que si n n0 entonces |zn z| .
Anlogamente, lmzz0 f (z) = si para todo > 0 existe > 0 tal que si 0 < |z z0 | < entonces
|f (z) | < , y una funcin g es continua en z0 siempre y cuando lmzz0 g(z) = g(z0 ). Por supuesto,
C es un espacio mtrico completo, ya que R2 con la distancia eucdea lo es.
Tambin es obvio, al escribirlas como funciones de R2 R2 R2 , que las funciones S, P : CC
C definidas por
S(z, w) = z + w, P (z, w) = zw
son continuas (por ejemplo, si z = x + iy, w = a + ib, P puede escribirse en notacin cartesiana como
y es claro que P es continua porque sus funciones componentes lo son). En particular se obtiene que si
(zn ) converge a z y (wn ) converge a w entonces la sucesin de los productos complejos (zn wn ) converge
a zw. Y tambin que si lmzz0 f (z) = y lmzz0 g(z) = , entonces lmzz0 f (z)g(z) = .
Lo mismo sucede con las funciones Q(z, w) = z/w (definida para w 6= 0), C(z) = z, ez , sen z,
cos z, etc, y con las combinaciones de todas ellas que involucren suma, producto, cociente, y composi-
cin, en los conjuntos donde estn bien definidas. En particular observemos que si lmzz0 f (z) = y
lmzz0 g(z) = 6= 0, entonces lmzz0 f (z)/g(z) = /.
Tambin pueden considerarse sucesiones y series de funciones complejas y considerar su convergen-
cia puntual y uniforme. A este respecto, recordemos un criterio de convergencia de series de funciones
que nos ser muy til en captulos sucesivos.
X
Mn < ,
n=1
P
entonces la serie de funciones n=1 fn converge uniformemente en X. Es decir, existe una funcin
f : X E tal que
N
X
lm fn (x) = f (x), uniformemente en x X.
N
n=1
Demostracin. La demostracin es igual, salvo cambios obvios, que la del caso en que X es un intervalo
de R, que es ya conocida. En todo caso no viene mal recordarla. Dado > 0, existe N0 N tal que
P
j=N0 Mj . Entonces, si n m N0 , se tiene
n m
n
X X X X X
fj (x) fj (x) =
fj (x)
|fj (x)| Mj (1.1)
j=1 j=1 j=m+1 j=N0 j=N0
y por supuesto F 1 () = N .
La demostracin del siguiente resultado se propone como ejercicio.
Teorema 1.5. La proyeccin estereogrfica lleva circunferencias de la esfera (definidos como intersec-
ciones de planos afines de R3 con la esfera S2 ) en circunferencias o rectas de C. Ms precisamente:
lleva las circunferencias de S2 que no contienen a N en circunferencias del plano, y las circunferencias
que s contienen a N en rectas del plano.
Por tanto tiene sentido referirse a las circunferencias y rectas de C como circunferencias de C , y
viceversa.
Mediante la proyeccin estereogrfica podemos definir una topologa en C que hace que este espacio
sea homeomorfo a la esfera S2 , y en particular sea un espacio compacto: diremos que un conjunto W es
abierto en C2 si y slo si F 1 (W ) es abierto en S2 , donde F : S2 C es la proyeccin estereogrfica.
Esto equivale a declarar un subconjunto W entorno de un punto z en C siempre que W contenga
un disco abierto de centro z, cuando z C; o siempre que W contenga el complementario de un
subconjunto acotado de C, cuando z = . Los entornos tpicos de en C son por tanto de la forma
U = {z C : |z| R} {}, con R 0, y una sucesin (zn ) en C converge a en C si y slo si
la sucesin de nmeros reales |zn | cumple que lmn |zn | = .1
Cuando se manejan funciones definidas en C el siguiente cambio de variable facilita muchos clcu-
los: w = (z) = 1/z, conviniendo que 1/0 = y 1/ = 0. La aplicacin : C C as definida
intercambia los puntos 0 e , y lleva entornos de 0 en entornos de , y viceversa, por lo que es continua
en 0 y en . Adems es biyectiva y continua tambin en todos los dems puntos de C. Por tanto es un
homeomorfismo de C en C . Resulta entonces, por ejemplo, que una funcin f : C C es continua
en si y slo si la funcin C 3 z 7 f (1/z) C es continua en 0. La interpretacin geomtrica
de este cambio de variable es la siguiente: si identificamos C con S2 por medio de la proyeccin
estereogrfica, la funcin es una rotacin de 180 grados alrededor del eje X en la esfera.
az + b
w = f (z) = ,
cz + d
donde ad bc 6= 0 (esta condicin garantiza que f no es constante). En los textos en lengua inglesa
tambin se les llama fractional linear transformations. Como casos especiales tenemos:
1
El smbolo tiene diversas funciones en este contexto. Es difcil incurrir en confusiones graves por este motivo, pero si
el lector estima repugnante esta duplicidad es libre de denotar el punto del infinito en C de cualquier otra forma.
2
Esta seccin es opcional y su lectura puede posponerse hasta el captulo 10.
1.4. TRANSFORMACIONES DE MEBIUS 13
Este tipo de funciones f pueden extenderse fcilmente al plano complejo ampliado C = C {}: si f
es afn, se define f () := . Por otro lado, si c 6= 0, se define f (d/c) := , y
a + b/z a
f () := lm f (z) = lm = .
|z| |z| c + d/z c
Proposicin 1.6.
La matriz asociada a una transformacin de Mebius no es nica: obviamente al multiplicar todos los
coeficientes por una misma constante obtenemos la misma transformacin. De hecho puede verse que
dos transformaciones de Mebius son iguales si y slo si sus matrices son iguales salvo multiplicacin
por constante no nula. Por tanto las transformaciones de Mebius pueden contemplarse como un espa-
cio proyectivo de matrices (denotado por P GL2 (R), el espacio resultante de identificar una matriz de
GL2 (R) := {A : det(A) 6= 0} con otra siempre que ambas sean iguales salvo constante multiplicativa).
Teorema 1.7. Dados tres puntos distintos z0 , z1 , z2 C , y otros tres puntos distintos w0 , w1 , w2 C ,
existe una nica transformacin de Mebius f : C C tal que f (zj ) = wj para todo j = 1, 2, 3.
14 CAPTULO 1. NMEROS COMPLEJOS Y FUNCIONES ELEMENTALES
Demostracin. Basta demostrar el resultado en el caso particular en el que se desea encontrar f tal que
f (z0 ) = 0, f (z1 ) = 1, y f (z2 ) = . En efecto, si f tiene esta propiedad y g lleva w0 , w1 , w2 en 0, 1, ,
respectivamente, entonces g 1 f lleva z0 , z1 , z2 en w0 , w1 , w2 , respectivamente.
Probemos pues la existencia de tal f .
Caso 1.1. / {z0 , z1 , z2 }. Basta definir en este caso
z z 0 z1 z2
f (z) = .
z z2 z1 z0
Caso 1.2. {z0 , z1 , z2 }. Podemos suponer por ejemplo z0 = . Entonces
z1 z1
f (z) =
z z2
es la transformacin buscada.
Veamos ahora la unicidad de f .
Caso 2.1. Supongamos f (0) = 0, f (1) = 1, f () = . Entonces f es necesariamente afn, digamos
f (z) = az + b, para cierto a 6= 0, b C. Adems f (0) = 0 implica que b = 0, y entonces f (1) = 1
implica que a = 1. Por tanto f es la identidad.
Caso 2.2. Caso general. Supongamos que g y h son dos transformaciones de Mebius que llevan zj
en wj para cada j = 1, 2, 3. Sea (z) una transformacin de Mebius que lleva z0 , z1 , z2 en 0, 1,
respectivamente. Entonces f = h1 g 1 lleva 0, 1, en 0, 1, por este orden, y por lo ya
visto resulta que f es la identidad. Luego g = h 1 f = h 1 = h.
Teorema 1.8. Toda transformacin de Mebius es composicin de dilataciones, traslaciones e inversio-
nes.
Demostracin. Sea f (z) una transformacin de Mebius.
Caso 1. Supongamos que f () = . Entonces f es afn, y por tanto composicin de una dilatacin
con una traslacin.
Caso 2. Supongamos que f () C; entonces
az + b
f (z) =
,
cz + d
con c 6= 0, y podemos dividir numerador y denominador por c y suponer por tanto c = 1, es decir,
podemos suponer que f es de la forma
az + b b ad
f (z) = =a+ ,
z+d z+d
y es claro entonces que f es composicin de una traslacin, con una inversin, con una dilatacin, y con
otra traslacin:
1 b ad b ad
z 7 z + d 7 7 7 a + = f (z).
z+d z+d z+d
Teorema 1.9. Toda transformacin de Mebius lleva circunferencias de C (es decir, circunferencias o
rectas de C) en circunferencias de C .
Demostracin. Gracias al teorema anterior, basta demostrar que esto es as en el caso de traslaciones,
dilataciones e inversiones. Para traslaciones y dilataciones esto es obvio. Vemoslo para las inversiones.
Consideremos primero el caso de una circunferencia de C que no pasa por , es decir, una circun-
ferencia de C (recurdese el Teorema 1.5). Su ecuacin es por tanto del tipo {z : |z a|2 = r2 }, que es
transformada por w = 1/z en {w : |1 aw|2 = r2 |w|2 }. Escribiendo w = u + iv y calculando
0 = |1 aw|2 r2 |w|2 = (1 aw)(1 aw) r2 |w|2 = (|a|2 r2 )|w|2 aw aw + 1
= (|a|2 r2 )(u2 + v 2 ) + Au + Bv + 1,
donde A, B R (puesto que aw + aw = 2Re(aw) R; explcitamente, A = 2Re(a), y B = 2Im(a)),
vemos que:
1.5. PROBLEMAS 15
1.5. Problemas
Problema 1.1. Resolver las siguientes cuestiones.
1. Determinar los nmeros complejos cuyo cuadrado sea igual a su conjugado.
4. Encontrar los nmeros complejos cuyo cuadrado coincide con el cuadrado de su conjugado.
6. Hallar los nmeros complejos cuyos inversos son iguales a sus opuestos.
7. Determinar los nmeros complejos cuyo cuadrado sea: i) imaginario puro; ii) real positivo; iii) real
negativo.
Problema 1.2. Determinar y dibujar los conjuntos:
1. A = {z C : |z i|2 + |z + i|2 < 2};
3. n1
k=0 wk = (1)
n1 ;
(
Pn1 k 0, si 1 k n 1
4. j=0 wj =
n, si k = n.
Problema 1.7. Sea z C \ {1} y tal que |z| = 1. Probar que z + z 1 es real y que 1+z
1z es imaginario
puro.
Problema 1.8. Demostrar que C no admite una relacin de orden total tal que
z1 z2 = z1 + z3 z2 + z3 , y
z3 0, z1 z2 = z1 z3 z2 z3 .
16 CAPTULO 1. NMEROS COMPLEJOS Y FUNCIONES ELEMENTALES
Indicacin: es posible i 0?
Problema 1.9. Probar que si ez+w = ez para todo z C entonces w = 2ki para algn k Z.
Problema 1.10. Determinar la transformacin de Mbius f tal que f (0) = 1, f (i) = 0, y f () = 1.
Hallar f (L), donde L = {x + i : x R}.
Problema 1.11. Determinar la transformacin de Mbius f tal que f (2) = 1 2i, f (i) = 0, y
f (2) = 1 + 2i.
Problema 1.12. Demostrar que si f es una transformacin de Mbius que no es la identidad, entonces
f tiene uno o dos puntos fijos.
Problema 1.13. Justificar que las funciones ez , cos z, sen z son continuas en C.
Problema 1.14. Probar que la sucesin de funciones
n + ez
fn (z) =
1 + n|z|2
converge uniformemente en cada conjunto Er = {z C : 1/R |z| R} con R > 1. Comprobar
tambin que converge puntualmente en C \ {0}.
Problema 1.15. Sean z, w C tales que zw 6= 1. Demostrar que
wz
1 wz < 1 si |z| < 1 y |w| < 1,
y que
wz
1 wz = 1 si |z| = 1 o |w| = 1.
Problema 1.16. Denotemos por D el disco unidad abierto. Demostrar que para cada w D fijo, la
aplicacin
wz
F (z) =
1 wz
tiene las siguientes propiedades:
1. F (D) D;
2. F (0) = w y F (w) = 0;
3. |F (z)| = 1 si |z| = 1;
4. F : D D es biyectiva.
Problema 1.17. Demostrar que la proyeccin estereogrfica lleva circunferencias de la esfera S2 que
no contienen al polo norte N = (0, 0, 1) en circunferencias de C- Demostrar tambin que si K es una
circunferencia de S2 que contiene a N entonces dicha proyeccin lleva K en L {}, donde L es una
recta de C.
Problema 1.18. Consideremos la funcin f (z) = 1/z, y sea L = {x + iy : Cx + Dy = E} una recta
de C. Demostrar que f (L) es un crculo de C si E 6= 0, y es una recta de C si E = 0. Interpretar estos
resultados considerando que f est definida de C en C (con f (0) = y f () = 0).
Captulo 2
En este captulo definiremos las funciones holomorfas como las funciones complejas que son dife-
renciables en sentido complejo, y responderemos a la pregunta, natural y muy importante, de bajo qu
circunstancias una funcin de dos variables reales, con valores en R2 , y diferenciable en sentido real
resulta holomorfa al considerarla como funcin de variable compleja con valores en C.
17
18 CAPTULO 2. FUNCIONES HOLOMORFAS. LAS ECUACIONES DE CAUCHY-RIEMANN
Como ejemplo bsico de funcin que no es holomorfa tenemos la conjugacin C(z) = z: se cumple que
C(z + h) C(z) h
= ,
h h
y esta expresin no tiene lmite cuando h 0 (ya que a lo largo de la recta h = t R la funcin es
idnticamente 1, mientras que a lo largo de la recta h = it, t R, es constantemente 1). Sin embargo,
obsrvese que C(z) es una funcin de clase C (R2 , R2 ); de hecho C(z) es incluso R-lineal.
Proposicin 2.1. Si f es holomorfa en z0 entonces es continua en z0 .
Demostracin. f (z0 + h) f (z0 ) = f 0 (z0 )h + o(h) = O(h).
Demostracin. (1) es muy fcil y se deja como ejercicio. Para ver (2) basta escribir
f (z0 + h)g(z0 + h) f (z0 )g(z0 )
=
h
f (z0 + h) f (z0 ) g(z0 + h) g(z0 )
g(z0 + h) + f (z0 ) g(z0 )f 0 (z0 ) + f (z0 )g 0 (z0 ),
h h
cuando h 0, por la definicin de derivada y la proposicin anterior.
Demostremos ahora la regla de la cadena. Consideraremos dos casos.
Caso 1. Supongamos que f 0 (z0 ) 6= 0. Entonces de la definicin de derivada se sigue que existe > 0 tal
que si 0 < |h| < entonces
f (z0 + h) f (z0 ) |f 0 (z0 )|
> 0,
h 2
y en particular |f (z0 + h) f (z0 )| > 0 si 0 < |h| < . Luego podemos dividir g(f (z0 + h)) g(f (z0 ))
por f (z0 + h) f (z0 ) para h suficientemente pequeo (aunque no nulo) y tomar lmites, obteniendo as
g(f (z0 + h)) g(f (z0 )) g(f (z0 + h)) g(f (z0 )) f (z0 + h) f (z0 )
lm = lm = g 0 (f (z0 ))f 0 (z0 ),
h0 h h0 f (z0 + h) f (z0 ) h
gracias a la definicin de g 0 (f (z0 )) y f 0 (z0 ) y al hecho de que lmh0 f (z0 + h) = f (z0 ).
Caso 2. Supongamos ahora que f 0 (z0 ) = 0. Usando la definicin de derivada para g 0 (f (z0 )) deducimos
que existe > 0 tal que si |w g(f (z0 ))| < entonces
|g(w) g(f (z0 ))| (|g 0 (f (z0 ))| + 1)|w f (z0 )| := A|w f (z0 )|.
Como lmzz0 f (z) = f (z0 ), existe r > 0 tal que si |h| r entonces |f (z0 + h) f (z0 )| , y as
podemos usar la desigualdad anterior con w = f (z0 + h), obteniendo, para 0 < |h| < r,
g(f (z0 + h)) g(f (z0 ))
A f (z0 + h) f (z0 ) A|f 0 (z0 )| = 0
h h
2.2. LAS ECUACIONES DE CAUCHY-RIEMANN Y ALGUNAS DE SUS CONSECUENCIAS 19
Como consecuencia de la proposicin anterior y de hechos ya conocidos, tenemos por ejemplo que
cualquier polinomio complejo es holomorfo en C, y que cualquier cociente de polinomios complejos
P (z)/Q(z) es holomorfo en {z C : Q(z) 6= 0}. An no podemos demostrar que otras funciones
complejas importantes, como ez , sen z, cos z, etc, sean holomorfas, pero todo esto lo podremos deducir
inmediatamente de los resultados de la siguiente seccin.
y preguntarnos cul es la relacin entre la posible diferenciabilidad de f vista como funcin de dos
variables reales y la posible holomorfa de f como funcin de una variable compleja. En vista del ejem-
plo f (z) = z ya sabemos que el hecho de que f sea diferenciable en sentido real (o incluso de clase
C (R2 , R2 )) no implica que f sea holomorfa. El siguiente teorema nos da una condicin que, al aadir-
la a la diferenciabilidad en sentido real de f , resulta ser necesaria y suficiente para que f sea holomorfa.
Teorema 2.3. Sea f = u + iv una funcin definida en un abierto de C y con valores en C. Entonces
f es holomorfa en un punto z0 = x0 + iy0 si y slo si las funciones u, v son diferenciables en z0 y
sus derivadas parciales cumplen
(
u v
x (x0 , y0 ) = y (x0 , y0 )
(CR) u v
y (x0 , y0 ) = x (x0 , y0 ).
donde a, b R. Supongamos primero que f 0 (z0 ), existe y denotmosla f 0 (z0 ) = a + ib. Entonces,
definiendo A como la aplicacin lineal A : R2 R2 cuya matriz respecto de la base cannica de R2 es
a b
,
b a
como consecuencia de la definicin de f 0 (z0 ). Esto significa que f es diferenciable en sentido real y que
Df (x0 , y0 ) = A.
Recprocamente, supongamos que f es diferenciable en sentido real y Df (x0 , y0 ) tiene matriz del
tipo
a b
,
b a
donde a, b R. Definamos entonces w = a + ib. La igualdad () y la diferenciabilidad de f en z0 =
(x0 , y0 ) implican que
Otra consecuencia, que se propone como ejercicio, es que si f es holomorfa en un abierto conexo
de C y f 0 = 0 en , entonces f es constante en . Tambin se ver en los problemas de este captulo
que, gracias a las ecuaciones de Cauchy-Riemann, las funciones armnicas (es decir, las que cumplen
u = 0) en los abiertos de R2 pueden caracterizarse localmente como las funciones que son partes
reales de funciones holomorfas.
Veremos a continuacin cmo las ecuaciones de Cauchy-Riemann pueden usarse para establecer que
localmente una funcin f es holomorfa y tiene derivada no nula si y slo si f es una aplicacin conforme.
Proposicin 2.4. Si : (, ) C es una curva de clase C 1 con (0) = z0 y f es holomorfa en z0
entonces el vector tangente a la curva = f en f (z0 ) es
Demostracin. Por la regla de la cadena para funciones diferenciables en sentido real (que podemos
aplicar gracias al teorema anterior) se tiene
2. f es conforme en z0 .
Demostracin. (1) = (2): Sean 1 , 2 curvas como en la definicin anterior. Usando la Proposicin,
tenemos
(f j )0 (0) = f 0 (z0 )j0 (0) 6= 0
para j = 1, 2. Adems
ngulo (f 1 )0 (0), (f 2 )0 (0) = ngulo f 0 (z0 )10 (0), f 0 (z0 )20 (0) =
y para cada (, ] definamos la curva (t) = tei = (cos , sen ), de modo que
Por hiptesis,
Ahora bien, la nica manera en que esto puede ser posible1 para todo (, ] es que se tenga
a d + i(c + b) = 0,
Usando las ecuaciones de Cauchy-Riemann es muy sencillo comprobar que ex+iy = ex (cos y +
i sen y) es holomorfa en C. Se sigue entonces que tambin lo son las funciones sen, cos, as como las
sumas, multiplicaciones, cocientes y composiciones de polinomios o de cualquiera de estas funciones,
donde estn bien definidas.
1
Es fcil demostrar que si z, w C y la funcin t 7 Arg(z + weit ) es constante, entonces w = 0.
22 CAPTULO 2. FUNCIONES HOLOMORFAS. LAS ECUACIONES DE CAUCHY-RIEMANN
1
(f 1 )0 (w) =
f 0 (f 1 (w))
para todo w V .
Demostracin. Al ser f holomorfa y f 0 continua, se tiene que f C 1 (, R2 ) vista como funcin de dos
variables reales con valores en R2 ; adems sabemos por (2.1), y usando la hiptesis sobre f 0 (z0 ), que
Entonces, por el teorema de la funcin inversa, existen U entorno abierto de z0 en y V entorno abierto
de f (z0 ) en C tal que f|U = f : U f (U ) = V es biyectiva y la inversa f 1 : V U es de clase
C 1 . Veamos que f 1 es holomorfa. Sea w1 V , pongamos que f (z1 ) = w1 , con z1 U . Puesto que
f : U V es un difeomorfismo C 1 sabemos que la aplicacin lineal Df (z1 ) es invertible, y por tanto
detDf (z1 ) 6= 0. Usando de nuevo (2.1) tenemos que f 0 (z1 ) 6= 0. Consideremos ahora w = f (z), con
z U ; entonces
f 1 (w) f 1 (w1 ) z z1 1 1 1
= = = 0 1
w w1 f (z) f (z1 ) f (z)f (z1 ) f 0 (z1 ) f (f (w1 ))
zz1
Ms adelante veremos que toda funcin holomorfa f tiene derivadas complejas de todos los rdenes,
y en particular f 0 es continua (por ser derivable). Por esto la hiptesis de continuidad de f 0 en el teorema
anterior es en realidad redundante.
2.4. Problemas
Problema 2.1. Recordemos que hemos definido, para cada z = x + iy C, ez = ex (cos y + i sen y).
Utilizar las ecuaciones de Cauchy-Riemman para demostrar que f (z) = ez es holomorfa en C, y que
f 0 (z) = ez .
Problema 2.2. Deducir del ejercicio anterior que las siguientes funciones son holomorfas, y calcular sus
derivadas:
eiz eiz
1. sen z := 2i
eiz +eiz
2. cos z := 2
ez ez
3. senh z := 2
ez +ez
4. cosh z := 2 .
2.4. PROBLEMAS 23
Problema 2.4. Sea un abierto conexo de C. Demostrar que si f : C es holomorfa y slo toma
valores reales (es decir f () R) entonces f es constante.
Problema 2.9. Demostrar que en coordenadas polares las ecuaciones de Cauchy-Riemann se expresan:
u 1 v u v
= , = r .
r r r
Problema 2.10. Comprobar que, para cada m Z, las funciones u, v definidas en coordenadas polares
por u(rei ) = rm cos(m), v(rei ) = rm sen(m) satisfacen las ecuaciones de Cauchy-Riemann.
definidas para z C \ ((, 1] [1, +)), son derivables, y calcular su derivada. Mostrar que esta
funcin coincide con el arcsenx usual cuando z = x (1, 1).
Problema 2.13. Sea f : C C holomorfa e inyectiva, con derivada f 0 continua. Demostrar que
Z
rea(f ()) = |f 0 (z)|2 dxdy.
u = 0,
donde
2u 2u
u = + ... +
x1 2 xn 2
y entendemos que u es por lo menos de clase C 2 .
Problema 2.16. Demostrar que la conjugada armnica, si existe en un abierto conexo de C, es nica
salvo una constante aditiva.
Problema 2.17. Comprobar que u(x, y) = xy es armnica en R2 , y hallar una conjugada armnica de
u.
Problema 2.18. Generalizar la estrategia de la solucin del ejercicio anterior para demostrar que si
es un disco abierto, o un rectngulo abierto con lados paralelos a los ejes, y u(x, y) es armnica en ,
entonces existe v conjugada armnica de u en , y que v es de la forma
Z y Z x
u u
v(x, y) = (x, t)dt (s, y0 )ds + C.
y0 x x0 y
2 u 1 u 1 2u
+ + = 0.
r2 r r r2 2
Problema 2.20. Usando el ejercicio anterior, comprobar que log |z| es armnica en C \ {0}, pero no
tiene ninguna conjugada armnica en C \ {0}.
Problema 2.22. Hallar una aplicacin conforme de la banda horizontal {z C : < Imz < } en el
semiplano de la derecha {w C : Rez > 0}.
Problema 2.23. Sea f = u + iv una funcin de clase C 1 () tal que detDf (z) 6= 0 para cada z
(abierto conexo en C), y supongamos que f lleva curvas ortogonales en curvas ortogonales. Demostrar
que o bien f o bien f es holomorfa.
2
Veremos ms adelante que si f = u + iv es holomorfa entonces f tiene derivadas complejas de todos los rdenes, y
u, v C (). Por tanto la hiptesis de que u, v C 2 () es redundante en la prctica.
Captulo 3
Una serie de potencias centrada en un punto z0 de C es una suma infinita del tipo
X
an (z z0 )n ,
n=0
N
X
lm an (z z0 )n = f (z).
N
n=0
P n
Pla serie n=0nan (z z0 ) es absolutamente convergente
Diremos que Psi la suma de nmeros reales
positivos n=0 |an (z z0 ) | es finita. Por ltimo, diremos que la serie a
n=0 n (z z 0 )n es uniforme-
1
= lm sup |an |1/n , (3.1)
R n
25
26 CAPTULO 3. SERIES DE POTENCIAS COMPLEJAS
r := (L + ) < 1,
|an |1/n L + ,
luego
|an | n (L + )n n = rn ,
y por tanto
X
X
|an | n rn < 1,
n=n0 n=n0
P
lo
P que prueba que n=0 |an | n < . Usando ahora el criterio M de Weierstrass, deducimos que
n
n=0 an z converge absoluta y uniformemente en el disco D(0, ).
Por otro lado, si |z| > R, podemos elegir tal que
s := (L )|z| > 1,
y por definicin de lm sup existe una sucesin estrictamente creciente (nj )jN de nmeros naturales tal
que
|anj |1/nj L ,
luego
|anj z nj | (L )nj |z|nj = snj
cuando j , y en particular n
P
n=0 an z diverge.
Supongamos en segundo lugar que R = . En este caso, el mismo argumento que antes muestra
que n converge absoluta y uniformemente en el disco D(0, ), para cualquier > 0.
P
n=0 a n z
Supongamos por ltimo que R = 0. Entonces, para cualquier z con |z| > 0, como L = podemos
encontrar una sucesin estrictamente creciente (nj )jN de nmeros naturales tal que
2
|anj |1/nj ,
|z|
luego
|anj z nj | 2nj
P n
cuando j , y por tanto n=0 an z diverge.
de convergencia, la situacin es ms delicada: por ejemplo, puede haber convergencia para algunos z
con |z| = R pero no para otros; tambin puede suceder que la serie diverja para todo |z| = R, o incluso
que converja para todo |z| = R. Ejemplos de las tres situaciones se estudiarn en los ejercicios de este
captulo.
Otro criterio muy til para hallar el radio de convergencia de una serie de potencias es el criterio del
cociente. Recordemos que, si (bn )n es una sucesin de nmeros reales positivos, el criterio del cociente
dice que la suma bn+1 bn+1
P
n=0 bn es finita si lm supn bn < 1, y es infinita si lm inf n bn > 1 (no
obtenindose ninguna informacin si lmn bn+1 bn = 1). Una aplicacin inmediata de este criterio al
n
caso bn = |an z | demuestra el siguiente resultado.
|an | P n
1. Si 0 < r < lm inf n |an+1 | entonces n=0 an z converge absoluta y uniformemente en |z|
r.
|an | P n
2. Si |z| > lm supn |an+1 | entonces n=0 an z diverge.
donde slo hay potencias de z de rdenes multiplos de 3, y se supone que todos los an son no nulos. Para
hallar el radio de convergencia podemos considerar el lmite
|an+1 |
lm |z|3 <1
n |an |
la serie 3n ser convergente, mientras que ser divergente si la desigualdad es al revs. Esto
P
n=0 an z
indica que el radio de convergencia R de esta serie viene dado por
1 |an+1 |
= lm .
R3 n |an |
Ms en general, cualquier otro criterio de convergencia de series de nmeros reales positivos (por
ejemplo el de la integral, o el de Raabe, o el de condensacin de Cauchy, etc) puede usarse en las
ocasiones apropiadas para determinar el radio de convergencia de una serie de potencias, si tenemos en
cuenta que dicho
P radio est caracterizado, gracias al Teorema 3.1, como el supremo de los r 0 tales
n
que la serie n=0 |an |r converge (o equivalentemente como el nfimo de los r > 0 tales que la serie
P n
n=0 |an |r diverge).
A continuacin vemos que las funciones definidas por series de potencias son holomorfas en su disco
de convergencia, y de hecho pueden derivarse trmino a trmino, tantas veces como uno desee.
Adems la serie de potencias de f 0 (z) tiene el mismo radio de convergencia que la de f (z).
28 CAPTULO 3. SERIES DE POTENCIAS COMPLEJAS
P n1
Demostracin. Podemos suponer z0 = 0. La afirmacin sobre el radio de convergencia de n=1 nan z
se sigue del hecho de que lmn n1/n = 1, luego
y por el Teorema 3.1 esta serie tiene el mismo radio de convergencia que la de f (z). Definamos entonces
g : D(0, R) C por
X
g(z) = nan z n1 ,
n=1
y veamos que f 0 (z) = g(z) para cada z D(0, R). Fijemos z D(0, R), y escojamos r tal que
|z| < r < R. Escribamos
f () = SN () + TN (),
donde
N
X
X
SN () = an n , TN () = an n ,
n=0 n=N +1
f (z + h) f (z)
g(z) = (3.2)
h
SN (z + h) SN (z) 0 0
TN (z + h) TN (z)
SN (z) + SN (z) g(z) + . (3.3)
h h
Vamos aPestimar por separado cada una de estos tres trminos. En primer lugar, usando que an bn =
(a b) n1
j=0 a
n1j bj con a = z + h y b = z obtenemos que
|(z + h)n z n |
TN (z + h) TN (z) X X
|an | |an |nrn1 0,
h |h| N
n=N +1 n=N +1
ya que g() converge absoluta y uniformemente en || r. Por tanto, dado > 0 podemos encontrar
N1 N tal que
TN (z + h) TN (z)
para todo N N1 . (3.4)
h 3
0 (z) = g(z), existe N N tal que
En segundo lugar, puesto que lmN SN 2
0
|SN (z) g(z)| para todo N N2 . (3.5)
3
0 (z) =
PN0 n1 ,
Tomemos N0 = max{N1 , N2 }. Puesto que la suma finita SN0 es derivable, con SN 0 n=1 nan z
podemos encontrar (0, r |z|) tal que
SN0 (z + h) SN0 (z) 0
SN0 (z) siempre que 0 < |h| . (3.6)
h 3
3.1. Problemas
3.1. Sean {an }N
ProblemaP N
n=1 y {bn }n=1 dos sucesiones finitas de nmeros complejos. Pongamos B0 =
k
0 y Bk = n=1 bn para k = 1, 2, ..., N . Demostrar la frmula de suma por partes:
N
X N
X 1
an bn = aN BN aM BM 1 (an+1 an )Bn .
n=M n=M
P
Problema 3.2. Demostrar el teorema de Abel: si n=1 an converge entonces
X
X
lm an rn = an .
r1
n=1 n=1
1. La serie de potencias n
P
n=1 nz no converge en ningn punto de la circunferencia unidad |z| = 1.
2. La serie de potencias n 2
P
n=1 z /n converge en todo punto de la circunferencia unidad.
3. La serie de potencias n
P
n=1 z /n converge en todo punto de la circunferencia unidad, excepto en
z = 1.
Indicacin: usar suma por partes.
Problema 3.8. Supongamos que f y g son funciones holomorfas en un entorno de 0, y denotemos sus
representaciones en series de potencias en un disco D centrado en 0 por
X
X
f (z) = an z n , g(z) = bn z n .
n=0 n=0
Demostrar que:
1
P n
1+ n=1 bn z
0 (t) (a)
+ (a) := lm = lm 0 (t),
ta+ ta ta+
R es equivalente a
que recorre [a, b] empezando en (b) y terminando en (a). La curva orientada de clase C 1 representada
por esta curva opuesta se denotar
= [ ].
Anlogamente podemos definir curvas de clase C 1 a trozos. Diremos que una aplicacin continua
: [a, b] Rn es una curva parametrizada de clase C 1 a trozos si existe a = a0 < a1 < ... < am = b
particin de [a, b] tal que la restriccin de a cada subintervalo [aj , aj+1 ], j = 0, 1, ..., m 1, define
una curva parametrizada de clase C 1 . En esta situacin ms general admite un nico vector tangente
31
32 CAPTULO 4. INTEGRACIN EN CURVAS DE FUNCIONES COMPLEJAS
0 (t) en cada punto (t) con t 6= aj para todo j, mientras que en los puntos (aj ) tiene una tangente a
la izquierda y otra tangente a la derecha de (aj ), definidas respectivamente por los vectores
posiblemente diferentes.
Diremos que una curva parametrizada : [a, b] Rn de clase C 1 a trozos es equivalente a otra curva
parametrizada : [c, d] Rn de clase C 1 a trozos si existen particiones a = a0 < a1 < ... < am = b de
[a, b] y c = c0 < c1 < ... < cm = d de [c, d] tales que la restriccin |[a ,a ] es una curva parametrizada
j j+1
de clase C 1 equivalente a la restriccin |[c ,c ] , para cada j = 0, 1, ..., n 1. De nuevo es inmediato
j j+1
comprobar que la relacin
R es equivalente a
Es fcil comprobar usando el teorema del cambio de variable que si y son (curvas parametrizadas de
clase C 1 ) equivalentes entonces long() = long(). Tambin que long() = long( ). Por tanto, dada
una curva orientada de clase C 1 a trozos puede definirse
long() = long(),
una curva cerrada en Rn si admite una parametrizacin : [a, b] Rn tal que (a) = (b);
una curva cerrada simple si admite una parametrizacin : [a, b] Rn tal que (a) = (b) y la
restriccin de al intervalo [a, b) es inyectiva.
4.2. INTEGRACIN DE FUNCIONES CON VALORES EN RN 33
Podemos suponer x 6= 0. Tenemos entonces, usando la linealidad de la integral de funciones con valores
en R y la desigualdad de Cauchy-Schwarz en Rn , que
n
X Z n
Z X Z Z
kxk2 = hx, xi = xj j (t)dt = xj j (t)dt kxk k(t)kdt = kxk kk,
j=1 A A j=1 A A
Puesto que la norma del vector (x(t), y(t)) de R2 es igual al mdulo del nmero complejo z(t) =
x(t) + iy(t), la propiedad (2) del teorema de la seccin anterior implica que
Z b Z b
(t)dt |(t)|dt. (4.1)
a a
A continuacin definimos la integral de una funcin compleja sobre una curva de clase C 1 a trozos.
1
Aqu k k es la norma eucldea en Rn . El resultado de (2) es tambin cierto para cualquier otra norma en Rn , pero una
demostracin basada en la misma idea requerira usar el teorema de Hahn-Banach.
34 CAPTULO 4. INTEGRACIN EN CURVAS DE FUNCIONES COMPLEJAS
Definicin 4.1. Sean f : C C una funcin continua, y : [a, b] una curva parametrizada
de clase C 1 a trozos. Definimos la integral de f sobre por
Z Z b
f= f ((t)) 0 (t)dt, (4.2)
a
R Escribiendo f = u + iv, (t) = x(t) + iy(t), obtenemos otra expresin equivalente para la integral
f:
Z Z b Z b
u(x(t), y(t))x0 (t) v(x(t), y(t))y 0 (t) dt+i u(x(t), y(t))y 0 (t) + v(x(t), y(t))x0 (t) dt.
f=
a a
Conviene Rsubrayar que el producto que aparece en (4.2) es el producto complejo, no el producto escalar.
Por tanto f es en general un nmero complejo, y no es la integral del campo vectorial f a lo largo
de la curva en R2 (tal Rintegral sera
R siempre un nmero real). Tambin es importante evitar caer en
el error de pensar que | f | |f |, lo cual sera absurdo porque el trmino de la derecha es en
general un nmero complejo, mientras que el de la izquierda es un real positivo. Ni siquiera es cierta
esta desigualdad an suponiendo que ambos trminos son reales,R como muestra el ejemplo f (z) = 1/z,
(t) = eit , t [0, 2]. No obstante, la tercera propiedad de f de las que enunciamos a continuacin
sirve en la prctica como sustituto de dicha desigualdad (que, insistimos, es falsa en general).
Teorema 4.2. Sean f, g : C C funciones continuas, , C, y : [a, b] una curva
parametrizada de clase C 1 a trozos. Se tiene que:
R R R
1. (f + g) = g + g.
R R
2. f = f .
R
3. k f k supz[a,b] |f (z)| long().
Demostracin. La propiedad (a) se sigue fcilmente de la definicin, mediante un clculo directo y el
uso de la linealidad de la integral de funciones con valores reales. La propiedad (b) tambin se comprueba
muy fcilmente a partir de la definicin y cambio de variable s = a + b t. En cuanto a (c), se obtiene
como sigue:
Rb Rb Rb
| f | = | a f ((t)) 0 (t)dt| a |f ((t)) 0 (t)|dt = a |f ((t))| | 0 (t)|dt
R
Rb Rb
a supz[a,b] |f (z)| | 0 (t)|dt = supz[a,b] |f (z)| a | 0 (t)|dt = supz[a,b] |f (z)| long(),
donde en la primera desigualdad hemos usado (4.1).
donde en la segunda igualdad hemos usado el cambio de variable t = (s) y en la tercera la regla de la
cadena.
4.3. INTEGRACIN DE FUNCIONES COMPLEJAS SOBRE CURVAS EN C 35
En virtud de la proposicin anterior podemos definir, para cada curva orientada de clase C 1 a trozos
contenida en C, la integral de una funcin continua f : C sobre la curva por
Z Z
f = f,
Teorema 4.4. Si una funcin continua f tiene una primitiva F en y es una curva de clase C 1 a
trozos en que comienza en w1 y acaba en w2 , entonces
Z
f = F (w2 ) F (w1 ).
R
En particular f no depende de la curva , sino slamente de sus puntos inicial y final w1 y w2 .
donde en la cuarta igualdad hemos usado la Proposicin 2.4, y en la quinta el Teorema 4.1(3).
Se deduce del corolario anterior, por ejemplo, que la funcin f (z) = 1/z no tiene primitivas en
D(0, r) \ {0} para ningn r > 0, ya que, si C(0, r) es la circunferencia de centro 0 y radio r, orientada
positivamente (es decir girando en el sentido contrario a las agujas del reloj) se tiene
Z Z 2 Z 2
1 1
dz = rieit dt = idt = 2i 6= 0.
C(0,r) z 0 reit 0
Concluyamos esta introduccin a la teora de integracin de funciones complejas sobre curvas con
un resultado que nos ser muy til en el prximo captulo.
Teorema 4.6 (Derivacin compleja bajo el signo integral). Sean C abierto, curva orientada de
clase C 1 a trozos en , y : C continua tal que para cada la funcin z 7 (, z) es
36 CAPTULO 4. INTEGRACIN EN CURVAS DE FUNCIONES COMPLEJAS
holomorfa en , y la funcin (, z) 7 z (, z) es continua en . Entonces la funcin g : C
definida por Z
g(z) = (, z)d
es holomorfa, con Z
0
g (z) = (, z)d.
z
Demostracin. Sean z0 , y r > 0 tal que D(z0 , r) . Para |h| < r, considerando el segmento
S = [z0 , z0 + h] , parametrizado por ejemplo por Sh ( ) = z0 + h, [0, 1], y aplicando el
teorema anterior, tenemos que
Z Z 1 Z 1
(, z0 + h) (, z0 ) = (, z)dz = (, Sh ( ))Sh0 ( )d = (, z0 + h) h d
Sh z 0 z 0 z
g(z0 + h) g(z0 )
Z
1
lm = lm ((, z0 + h) (, z0 )) d =
h0 h h0 h
Z Z 1 Z b Z 1
1
lm (, z0 + sh) h ds d = lm ((t), z0 + sh)ds 0 (t)dt =
h0 h 0 z h0 a 0 z
Z Z
lm ((t), z0 + sh) 0 (t)dsdt = lm ((t), z0 + sh) 0 (t)dsdt =
h0 [0,1][a,b] z [0,1][a,b] h0 z
Z Z b Z
0 0
((t), z0 ) (t)dsdt = ((t), z0 ) (t)dt = (, z)d,
[0,1][a,b] z a z z
donde en la cuarta igualdad hemos usado el teorema de Fubini y en la quinta el intercambio de integral y
lmite se justifica porque al ser /z continua en el compacto D(z0 , r) es uniformemente continua
en este conjunto y por tanto
lm ((t), z0 + sh) 0 (t) = ((t), z0 ) 0 (t)
h0 z z
uniformemente en (s, t) [0, 1] [a, b].
4.4. Problemas
R
Problema 4.1. Calcular las integrales f en los siguientes casos:
1. f (z) = 1/z, y la circunferencia unidad, orientada en el sentido contrario a las agujas del reloj
(orientacin positiva).
2. f (z) = z/(z 2 + 6), y el tringulo de vrtices 1, i, i, orientado en el sentido de las agujas del
reloj (orientacin negativa).
Problema 4.3. Demostrar que si es un abierto conexo de Rn entonces para todo x, y existe
curva de clase C 1 a trozos que une x con y.
Problema 4.4. Demostrar que la curva del ejercicio anterior puede tomarse siempre de clase C (y
con 0 (t) 6= 0 para todo t).
Problema 4.5. Sea una curva C 1 a trozos en C, sea C la traza de , y sea (fn ) una sucesin
de funciones continuas fn : C tales que (fn ) converge uniformemente en a una funcin f .
Demostrar que Z Z
lm fn = f.
n
Problema 4.7. Sea F : [0, 1] C una funcin continua, donde es un abierto de C, y sea
: [a, b] una curva de clase C 1 a trozos. Probar que la funcin : [0, 1] C definida por
Z
(t) = F (t, z)dz
es continua.
38 CAPTULO 4. INTEGRACIN EN CURVAS DE FUNCIONES COMPLEJAS
Captulo 5
En este captulo estudiaremos los dos teoremas ms importantes del curso: el teorema de Cauchy,
que dice que si f es holomorfa en un abierto convexo entonces
Z
f =0
para toda curva cerrada simple de clase C 1 a trozos , y la frmula integral de Cauchy, que nos
dice que para cualquier disco cerrado D(z0 , r) contenido en se tiene
Z
1 f ()
f (z) = d,
2i D(z0 ,r) z
para todo z D(z0 , r), donde el borde del disco est orientado positivamente. Entre las numerosas
consecuencias de estos resultados (algunas de las cuales estudiaremos en la parte final del captulo) hay
muchas que son tambin fundamentales, y en muchos casos sorprendentes.
Teorema 5.1 (Goursat). Sean C abierto, T un tringulo en cuya regin interior tambin est
contenida en , p , y f : C continua tal que f es holomorfa en \ {p}. Entonces
Z
f = 0.
T
39
40 CAPTULO 5. TEORA LOCAL DE CAUCHY
lado de T04 de forma opuesta a la del mismo lado considerado como lado de T0j para algn j = 1, 2, 3
(equivalentemente, orientamos todos los tringulos T0j de forma positiva); ver la figura. Entonces se tiene
Z 4 Z
X
f= f,
T j=1 T0j
puesto que las integrales de la suma de la derecha se cancelan mutuamente en cada lado de T04 .
Debe existir al menos un j {1, 2, 3, 4} tal que
Z
1 Z
f f
T0 4 T0
j
R P4 R P4 1
R R
(ya que de lo contrario tendramos | T0 f| = | j=1 T0j f| < j=1 4 | T0 f| = | T0 f |, lo que es
absurdo). Ejijamos pues un T0j para el que se cumpla la desigualdad anterior y llammoslo T1 , denotando
por T1 la regin interior a T1 junto con el propio T1 . Repitamos ahora el argumento anterior cambiando T0
por T1 : dividimos T1 en cuatro subtringulos slidos T1j con bordes T1j , j = 1, 2, 3, 4, cuyos permetros
sern ahora un cuarto del permetro del tringulo original T . Elegimos uno de los cuatro tringulos T1j
para el que se tenga Z
1 Z
j f f ,
T1 4 T1
y por tanto tambin Z Z
1
j f 2 f ,
T1 4 T
llamamos T2 a este tringulo, denotamos T2 la regin interior a T2 junto con T2 , y volvemos a dividir
T2 uniendo los puntos medios de los lados de T2 . Reiterando este proceso obtenemos por induccin una
sucesin Tj , j = 0, 1, 2, ... de tringulos slidos con bordes Tj tales que:
f | 4j |
R R
2. | T Tj f |;
3. 2j long(Tj ) = long(T ).
En particular, como el permetro de un tringulo es mayor o igual que su dimetro, se tiene que {Tj }
j=1
es una familia de compactos encajados en C R2 cuyos dimetros tienden a cero, y por tanto existe un
nico punto z0 tal que
\
z0 Tj .
j=1
Puesto que estamos suponiendo que p / T , la funcin f es holomorfa en z0 y por tanto, dado cualquier
> 0 existe > 0 tal que si |z z0 | entonces
Por otro lado, como lmj long(Tj ) = 0, existe j0 N tal que si j j0 entonces long(Tj ) < , luego
|z z0 | para todo z Tj , de donde deducimos que, para j j0 es
Z Z
f (z) f (z0 ) f 0 (z0 )(z z0 ) dz
f =
Tj Tj
sup |z z0 | long(Tj ) long(Tj )2 = j long(T )2 ,
zTj 4
donde en la primera igualdad hemos usado que Tj (f (z0 ) + f 0 (z0 )(z z0 )) dz = 0 por ser la integral en
R
una curva cerrada de una funcin que tiene primitiva; en la segunda desigualdad hemos vuelto a usar que
el dimetro de un tringulo es menor o igual que su permetro, y en la ltima igualdad hemos utilizado
la propiedad (3) de la sucesin de tringulos. Combinando la desigualdad anterior con la propiedad (2)
de la sucesin de tringulos obtenemos que
Z Z
1
f j long(T )2 ,
4 j Tj 4
T
y por tanto Z
f long(T )2 .
T
R
Haciendo 0 concluimos que T f = 0.
Caso 2: supongamos que p T . Distinguiremos a su vez tres subcasos.
Caso 2.1: supongamos que p es un vrtice de T . Podemos suponer adems a = p; recordemos que
a, b, c denotan los vrtices de T . Como f es continua en el compacto T , existe M > 0 tal que |f (z)| M
para todo z T . Dado > 0 , consideremos dos puntos x [a, b], y [c, a] tales que la longitud del
tringulo T1 de vrtices a, x, y sea menor que /M . Denotemos por T2 el tringulo de vrtices x, b, y, y
por T3 el de vrtices b, c, y, con las orientaciones inducidas por la de T . Por lo demostrado en el caso 1,
tenemos Z Z
f =0= f.
T2 T3
Luego
Z 3 Z Z
X
f = f = f M long(T1 ) ,
T j=1 Tj T1
R
y haciendo 0 se deduce que T f = 0.
42 CAPTULO 5. TEORA LOCAL DE CAUCHY
Caso 2.2: supongamos que p est en un lado de T . Digamos por ejemplo que p [a, b]. Sean T1 el
tringulo de vrtices a, p, c, y T2 el tringulo de vrtices p, b, c. Se tiene entonces, usando el caso anterior
que Z Z Z
f= f+ f = 0 + 0 = 0.
T T1 T2
Caso 2.3: supongamos por ltimo que p est en la regin interior a T . Definamos T1 como el trin-
gulo de vrtices a, p, c; T2 el de vrtices a, b, p; y T3 el de vrtices b, c, p. Usando de nuevo el caso 2.1
tenemos
Z X3 Z
f= f = 0 + 0 + 0 = 0.
T j=1 Tj
donde [z0 , z] es el segmento que une z0 con z, orientado en la direccin de z z0 , Ntese que para cada
z se tiene [z0 , z] gracias a la convexidad de y por tanto F est bien definida. Fijemos ahora
z , y tomemos r > 0 tal que D(z, r) . Para cada h C con |h| < r se tiene, gracias de nuevo
a la convexidad de , que el tringulo Tz,h de vrtices z0 , z, z + h, as como su regin interior, est
contenido en . Por el teorema de Goursat tenemos pues
Z
f = 0,
Tz,h
ya que lmh0 sup[z,z+h] |f () f (z)| = 0 por ser f continua en z. Esto prueba que existe F 0 (z) y
es igual a f (z).
Demostracin. Cambiando por un disco abierto ligeramente mayor que D contenido en , podemos
suponer sin prdida de generalidad que es convexo. Fijemos z int(D) y definamos g : C por
(
f (w)f (z)
wz si w 6= z,
g(w) = 0
f (z) si w = z.
Es claro que g es continua en y holomorfa en \ {z}. Por el teorema anterior tenemos entonces
Z
g(w)dw = 0,
D
es decir
f (w) f (z)
Z
dw = 0,
D wz
luego Z Z
1 f (w)
f (z)2i = f (z) dw = dw,
D wz D wz
donde en la primera igualdad hemos usado el Corolario 4.7.
Corolario 5.5 (Propiedad del valor medio). Si f es holomorfa en un entorno abierto de D(z0 , r) entonces
Z 2
1
f (z0 ) = f (z0 + rei )d.
2 0
R f ()
Demostracin. La prueba se reduce a calcular la integral D(z0 ,r) z0 y aplicar el teorema anterior con
z = z0 .
Combinando este Corolario con los problemas sobre funciones armnicas del Captulo 2, obtenemos
tambin lo siguiente.
Corolario 5.6 (propiedad del valor medio de las funciones armnicas). Si u es armnica en un entorno
abierto de D(z0 , r) entonces
Z 2
1
u(z0 ) = u(z0 + rei )d.
2 0
A partir de la frmula integral de Cauchy y usando el Teorema de derivacin bajo el signo integral
podemos demostrar que una funcin holomorfa tiene infinitas derivadas, y encontrar una frmula de
estilo parecido para estas derivadas.
44 CAPTULO 5. TEORA LOCAL DE CAUCHY
Teorema 5.7 (Frmulas integrales de Cauchy para las derivadas). Sean un abierto de C, y f : C
holomorfa. Entonces su derivada f 0 tambin es holomorfa, y en particular continua. De hecho f tiene
derivadas de todos los rdenes, y si D es un disco cerrado contenido en , la derivada n-sima de f
satisface Z
(n) n! f ()
f (z) = d
2i D ( z)n+1
para todo z int(D) y todo n N {0}.
luego por el principio de induccin el enunciado y la frmula son vlidos para cualquier n N{0}.
n!
|f (n) (z0 )| sup |f (z)|
Rn zD
para todo n N.
tiene radio de convergencia mayor o igual que el radio de cualquier disco cerrado contenido en z0 .
A continuacin vemos que de hecho esta serie converge a la propia funcin f (z) uniformemente en
cualquiera de dichos discos. Es decir, que toda funcin holomorfa es analtica.
donde el intercambio de suma infinita e integral se justifica gracias a la convergencia uniforme de la suma
en D. Esto prueba que la serie
X f (n) (z0 )
(z z0 )n
n!
n=0
converge a f (z) para cada z int(D). Como el mismo argumento vale cambiando D(z0 , R) por
D(z0 , R + ) para algn > 0 suficientemente pequeo tal que el disco D(z0 , R + ) siga estando
contenido en , es obvio que la serie tambin converge a f (z) para z D. Finalmente, para dicho ,
de las desigualdades de Cauchy se deduce que
f (n) (z ) 1/n
0 C 1/n
,
n! (R + )
1 R+
1/n n
lm = R + ,
C 1/n
(n)
f (z0 )
lm supn n!
tiene radio de convergencia mayor o igual que R + , y en particular converge uniformemente en el disco
cerrado D(z0 , R).
de una funcin holomorfa f en un abierto de C viene dado por sup{r > 0 : D(z0 , r) }; es decir,
es el radio del mayor disco abierto de centro z0 que est contenido en .
y la serie de potencias tiene radio de convergencia infinito. Esto puede usarse por ejemplo para deducir
fcilmente las siguientes frmulas para las funciones exponencial, seno y coseno complejas:
z
X 1 n X (1)n 2n+1 X (1)n 2n
e = z , sen z = z , cos z = z .
n! (2n + 1)! (2n)!
n=0 n=0 n=0
Por hiptesis z0 U , luego U 6= . Puesto que f y sus derivadas son continuas, es claro que U es un
cerrado relativo a . Por otro lado, si w0 U entonces f (w0 ) = 0 = f (n) (w0 ) para todo n N, y
aplicando el teorema anterior tenemos que
X f (n) (w0 )
f (z) = (z w0 )n = 0
n!
n=0
para todo z en un disco abierto D(w0 , r) que est contenido en . Se deduce entonces que f (z) = 0 =
f (n) (z) para todo z en dicho disco y todo n N, luego D(w0 , r) U . Esto prueba que U es abierto.
Como U es abierto no vaco y cerrado relativo a , que es conexo, se concluye que U = y por tanto
f = 0 en .
5.3. Ms consecuencias
Otra consecuencia muy importante de la analiticidad de las funciones holomorfas es que una pequea
parte de la funcin determina la totalidad: si dos funciones holomorfas definidas en un mismo abierto
conexo coinciden en un conjunto con algn punto de acumulacin dentro de , entonces son iguales.
Demostracin. Cambiando f por f g podemos suponer que g = 0. Tambin podemos suponer que E
es una sucesin (zn ) que converge a un punto z0 , y tal que f (zn ) = 0 y zn 6= z0 para todo n N.
Como f es holomorfa en , si tomamos R > 0 tal que D(z0 , R) , sabemos que
X
f (z) = an (z z0 )n
n=0
Corolario 5.13 (Principio de permanencia de las ecuaciones funcionales). Sean C abierto conexo,
E un subconjunto con algn punto de acumulacin dentro de , y F : C tal que las
funciones 3 z 7 F (z, w) y 3 w F (z, w) son holomorfas para cada w y cada z
respectivamente. Supongamos que F (z, w) = 0 para todos los z, w E. Entonces F (z, w) = 0 para
todos los z, w .
Demostracin. Fijemos en primer lugar z0 E. Como la funcin w 7 F (z0 , w) es holomorfa y se
anula en E, por el teorema anterior tenemos que F (z0 , w) = 0 para todo w .
Fijemos ahora un punto w cualquiera. Sabemos que F (z0 , w) = 0, donde z0 E es arbitrario.
Es decir, sabemos que la funcin z 7 F (z, w) se anula en E, y es holomorfa. Por el teorema anterior
deducimos que F (z, w) = 0 para todo z . Y como w es arbitrario, se concluye que F (z, w) = 0
para todos z, w .
kf k
|f 0 (z0 )| ,
R
y haciendo R obtenemos que f 0 (z0 ) = 0.
Corolario 5.15 (Teorema fundamental del lgebra). Todo polinomio P : C C con coeficientes com-
plejos y de grado n 1 tiene exactamente n races (posiblemente repetidas, contadas con su multiplici-
dad).
lm f (z) = 0,
|z|
y junto con la continuidad de f esto implica que f est acotada en C. Pero entonces, por el teorema
anterior, f es constante, luego P tambin lo es, y esto contradice que p sea de grado mayor o igual que
uno.
Por tanto P tiene al menos una raz; llammosla z1 . Entonces P se puede factorizar en la forma
P (z) = (z z1 )Q1 (z), donde Q1 es un polinomio de grado n 1. Si n = 1 hemos acabado. En caso
contrario, aplicamos el argumento anterior a Q1 para obtener z2 C tal que Q1 (z2 ) = 0. En particular
Q1 (z) = (z z2 )Q2 (z), donde Q2 es un polinomio de grado n 2, y se tiene por tanto
Por ltimo estudiaremos el teorema de Morera, un recproco del teorema de Cauchy que tiene con-
secuencias directas muy relevantes en relacin con las propiedades de las sucesiones de funciones holo-
morfas.
para todo tringulo T contenido en cuya regin interior tambin est contenida en . Entonces f es
holomorfa en .
Demostracin. Supongamos primero que es convexo. Entonces, como se observ despus de la de-
mostracin del Teorema 5.2, la misma demostracin de ese resultado (cambiando la utilizacin del teo-
rema de Goursat por la presente hiptesis) sirve para probar que existe F : C holomorfa tal que
F 0 = f . Pero como ahora sabemos que las funciones holomorfas tienen derivadas holomorfas (de todos
los rdenes), deducimos que F 0 = f es holomorfa.
En el caso general en que no es necesariamente convexo, para cada z0 consideramos un disco
abierto D(z0 , r) contenido en . Entonces, puesto que este disco es convexo, el argumento anterior
prueba que f es holomorfa en D(z0 , r). Como z0 es arbitrario se deduce que f es holomorfa en todo el
abierto .
5.3. MS CONSECUENCIAS 49
Teorema 5.17. Sea (fn )nN una sucesin de funciones holomorfas en un abierto de C, f : C
una funcin, y supongamos que (fn ) converge a f , uniformemente en cada subconjunto compacto de .
Entonces f es holomorfa.
Demostracin. Observemos primero que f es continua en , por ser lmite uniforme de funciones con-
tinuas en cada subconjunto compacto de , y en particular en cada disco cerrado contenido en . Sea D
un disco abierto contenido en , y sea T un tringulo cualquiera contenido en D. Al ser fn holomorfa
en el abierto convexo D, sabemos por el teorema de Cauchy que
Z
fn = 0
T
para cada n N y cada tringulo T contenido en D. Entonces, dado T uno cualquiera de estos tringulos,
como lmn fn (z) = f (z) uniformemente en z T , se tiene que
Z Z Z
f= lm fn = lm fn = 0.
T T n n T
Por el teorema de Morera esto implica que f es holomorfa en D. Por ltimo, como D es arbitrario, se
deduce que f es holomorfa en todo .
Puede resultar instructivo comparar el resultado anterior con el teorema de Weierstrass que dice que
toda funcin continua definida en un compacto de Rn , y con valores en Rm , puede aproximarse uni-
formemente por polinomios. Si aplicamos este teorema con n = m = 2 obtenemos que toda funcin
continua en un subconjunto compacto de C R2 puede aproximarse uniformemente por polinomios. Sin
embargo estos polinomios sern en general polinomios reales, no complejos (puesto que todo polinomio
complejo es una funcin holomorfa, y evidentemente hay funciones continuas que no son holomorfas).
Recordemos que por ejemplo la funcin f (z) = z no es holomorfa: es el ejemplo ms simple de polino-
mio real (incluso R-lineal) que no es un polinomio complejo (ni por supuesto tampoco C-lineal).
Teorema 5.18. Con las mismas hiptesis del teorema anterior, se tiene tambin que la sucesin de
derivadas fn0 converge a f 0 , uniformemente en cada subconjunto compacto de . Ms en general, para
(j)
cualquier j N y cualquier compacto K de , la sucesin de derivadas j-simas (fn )nN converge a
la derivada j-sima f (j) , uniformemente en K.
1
= dist(K, ).
3
Entonces el conjunto
K := {z : dist(z, K) }
sigue siendo compacto y est contenido en , y por tanto fn f uniformemente en K .
Para cada j N y cada z K, se tiene que D(z, ) K , y aplicando las desigualdades de
Cauchy a la funcin holomorfa fn f obtenemos que
j! j!
|fn(j) (z) f (j) (z)| sup |fn () f ()| sup |fn () f ()|,
j D(z,) j K
Usando los resultados anteriores podemos dar tambin una versin ms refinada1 del teorema de
derivacin bajo el signo integral.
Teorema 5.20 (de derivacin compleja bajo el signo integral, versin 2.0). Sean C abierto, F :
[a, b] C continua y tal que 3 z 7 F (z, s) es holomorfa para cada s en el intervalo [a, b].
Entonces la funcin f : C definida por
Z b
f (z) = F (z, s)ds
a
F
es holomorfa en . Adems, para cada z0 , la funcin [a, b] 3 s 7 z (z0 , s) es integrable, y se
tiene Z b
F
f 0 (z0 ) = (z0 , s)ds.
a z
Demostracin. Salvo un cambio de variable evidente, podemos suponer que [a, b] = [0, 1]. Para cada
n N consideremos la suma de Riemann
n
1X k
fn (z) = F (z, ),
n n
k=1
de forma que Z 1
f (z) = F (z, s)ds = lm fn (z).
0 n
Como cada funcin z 7 F (z, k/n) es holomorfa por hiptesis, es claro que fn es holomorfa para todo
n N. Por tanto, en virtud del Teorema 5.18, bastar probar que fn converge a f uniformemente en
cada disco cerrado D(z0 , r) contenido en . Y en efecto, como F es continua y D(z0 , r) [0, 1] es
compacto, F es uniformemente continua en este conjunto, luego para cada > 0 existir > 0 tal que
si z1 , z2 D(z0 , r), s1 , s2 [0, 1] y |z1 z2 | + |s1 s2 | entonces
|F (z1 , s1 ) F (z2 , s2 )| ,
y en particular
y esto prueba la convergencia uniforme de fn a f en D(z0 , r), y por tanto que f es holomorfa en D(z0 , r).
Por ltimo, usando otra vez el Teorema 5.18, sabemos que la sucesin de derivadas fn0 tambin
converge a la derivada f 0 , uniformemente en D(z0 , r). En particular, asumiendo por un momento que la
funcin [a, b] 3 s 7 F
z (z0 , s) es integrable, tendramos
n Z 1
0 1 X F k F
f (z0 ) = lm f 0 (z0 ) = lm z0 , = (z0 , s)ds.
n n n n z n 0 z
k=1
Veamos que, de hecho, esta derivada parcial es siempre integrable Riemann, con integral f 0 (z0 ). Usando
el teorema de Darboux, bastar ver que para cada > 0 existe > 0 tal que para cualquier particin
1
Ntese que esta versin del teorema no presupone ni continuidad ni integrabilidad de la derivada parcial F/z.
5.4. PROBLEMAS 51
P = {a = t0 < t1 < ... < tN = b} de [0, 1] en subintervalos de longitud menor o igual que , y para
cualesquiera sj [tj1 , tj ], j = 1, ..., n se tiene
N
0
f (z0 )
X F
(z 0 , sj ) (tj t j1 ) .
z
j=1
Supongamos que esto no fuera as: entonces existiran 0 > 0, una sucesin de particiones Pn = {a =
tn0 < tn1 < ... < tnNn } de [0, 1] en subintervalos de longitudes menores que 1/n, y puntos snj en cada
subintervalo [tnj1 , tnj ], j = 1, ..., Nn , tales que
Nn
0
f (z0 )
X F n n n
(z0 , sj ) tj tj1 > 0 . ()
z
j=1
Cada gn es holomorfa. Dado > 0 arbitrario, usando () obtenemos que si n > 1/ y z D(z0 , r)
entonces
n Z 1
X
F (z, snk ) tnk tnk1
|gn (z) f (z)| = F (z, s)ds
k=1 0
N Z n Nn Z tn Nn
X n tk X k X
(F (z, snk ) F (z, s)) ds |F (z, snk ) F (z, s)| ds tnk tnk1 = ,
=
k=1 tn
k1
k=1 tn k1 k=1
lo que prueba que lmn gn (z) = f (z), uniformemente para z D(z0 , r). Entonces, usando el
Teorema 5.18, deducimos que gn0 converge a f 0 uniformemente en los compactos de D(z0 , r), y en
particular lmn gn0 (z0 ) = f 0 (z0 ), lo cual contradice ().
Se deduce ahora fcilmente la siguiente variante del teorema anterior para integrales sobre curvas C 1
a trozos en C.
5.4. Problemas
Problema 5.1. Calcular las siguientes integrales para una curva de clase C 1 a trozos que vaya de i
a i en el semiplano derecho.
1. z 4 dz;
R
2. ez dz;
R
52 CAPTULO 5. TEORA LOCAL DE CAUCHY
R
3. cos zdz;
R
4. senh zdz.
Problema 5.11. Supongamos que f es holomorfa con derivada continua en un abierto y que
es una curva cerrada simple de clase C 1 a trozos cuya regin interior est contenida en . Aplicar el
teorema de Green para demostrar que Z
f = 0,
obteniendo as una versin del teorema de Cauchy vlida para curvas ms generales (bajo la suposicin
adicional de que f 0 sea continua, la cual puede ser obviada puesto que ya hemos demostrado que las
funciones holomorfas son infinitamente diferenciables en sentido complejo). Despus usar esta versin
del teorema de Cauchy para probar que
Z
1 f ()
f (z) = d
2i z
para todo z en la regin interior a .
5.4. PROBLEMAS 53
Indicacin: considerar primero el caso en que los cj son reales, aplicando el teorema de Cauchy a la funcin f (x)2
separadamente en la mitad superior y la mitad inferior del disco unidad.
Problema 5.14. Sean f : C C y T un tringulo cuya regin interior tambin est contenida
en . Supongamos que f es holomorfa en excepto quizs en un punto w , y que f est acotada en
un entorno de w. Probar que Z
f = 0.
T
Problema 5.15. Calcular las siguientes integrales usando la frmula integral de Cauchy:
zn
R
1. |z|=2 z1 dz, n 0
zn
R
2. |z|=1 z2 dz, n 0
3. |z|=1 senz z dz
R
z
4. |z|=1 zem dz, m Z
R
dz
R
5. |z|=1 z 2 (z 2 4)ez
dz
R
6. |z1|=4 z(z 2 4)ez
para cualquier funcin f holomorfa en . Despus aplicar esta desigualdad a f (z)n , tomar races n-
simas, y hacer n para concluir que puede tomarse C = 1. Concluir que si f es holomorfa en ,
el mximo de |f | en la regin interior a se alcanza siempre en su frontera .
54 CAPTULO 5. TEORA LOCAL DE CAUCHY
para todo z en dicha banda, donde R, demostrar que para cada n N existe An 0 tal que
para todo x R.
Problema 5.23. Digamos que una funcin f : C C es doblemente peridica si existen dos perodos
1 , 2 C de f que no estn alineados con 0 (es decir, 1 , 2 son linealmente independientes en R2 , y
se tiene f (z + 1 ) = f (z) = f (z + 2 ) para todo z C. Demostrar que las nicas funciones enteras
doblemente peridicas son las constantes.
Problema 5.24. Supongamos que f (z) es una funcin entera y f (z)/z n est acotada para |z| R.
Demostrar que entonces f (z) es un polinomio de grado menor o igual que n. Qu ms puede saberse si
f (z)/z n est acotada en C?
Problema 5.25. Sea h una funcin continua en un intervalo [a, b] de R. Demostrar que la funcin
Z b
H(z) = h(t)eitz dt
a
es una funcin entera para la que existen constantes A, C > 0 tales que
A una funcin entera que satisfaga este tipo de restriccin en su crecimiento se le llama funcin entera
de tipo finito.
Problema 5.26. Supongamos que la funcin h del problema anterior est definida en un subintervalo
[a, b] de [0, ). Demostrar que entonces la correspondiente funcin H est acotada en el semiplano
inferior.
Problema 5.28. Supongamos que f es una funcin entera y que para cada z0 C existe al menos algn
coeficiente cn en su expansin
X
f (z) = cn (z z0 )n
n=0
Si f es una funcin holomorfa en un entorno de D(z0 , r), demostrar que para cada s (0, r) existe una
constante C = C(r, s) tal que
Deducir que si (fn ) es una sucesin de funciones holomorfas en un abierto U C que es de Cauchy
en la norma k kL2 (U ) , entonces (fn ) converge a una funcin holomorfa en U , uniformemente en cada
subconjunto compacto de U .
Indicacin: usar la propiedad del valor medio de las funciones holomorfas.
56 CAPTULO 5. TEORA LOCAL DE CAUCHY
Captulo 6
Por otro lado el teorema de extensin de Whitney da condiciones necesarias y suficientes para poder
encontrar una extensin diferenciable de una funcin, junto con un candidato a derivada de esa funcin,
definidos en un cerrado de Rn .
uniformemente para x en cada subconjunto compacto de C. Entonces existe F C 1 (Rn , Rm ) tal que
F = f en C y DF = G en C.
El recproco tambin es cierto (y evidente). Hay tambin una versin del teorema de Whitney para
funciones de clase C k (Rn , Rm ) para k 2, con condiciones ms complicadas que no procede resear
en estos comentarios introductorios a una de nuestras preguntas principales en este captulo: dado un
abierto acotado de C y una funcin compleja f definida en la adherencia de C, puede extenderse
f a una funcin holomorfa definida en un abierto que contenga a ? Una observacin importante que
explica la aparentemente escasa ambicin de nuestra pregunta es que en general este abierto no podr
ser todo C: por ejemplo, sabemos que es imposible extender la funcin z 7 1/z, definida en = {z
C : 1 |z| 2}, a todo C conservando su holomorfa. Sin embargo, como veremos en este captulo, si
la frontera de es buena y f es continua en y holomorfa en , s que habr una extensin holomorfa
de f definida en un abierto que contiene a . Este tipo de resultado es falso en general para funciones
reales.
Comenzaremos estudiando una situacin muy especial. Sea un abierto de C que es simtrico
respecto de la recta real, es decir, tal que
z z .
57
58 CAPTULO 6. EXTENSIN Y APROXIMACIN
Definamos
Obviamente es = + I.
f + (x) = f (x)
es holomorfa en .
Demostracin. Es claro que f : C est bien definida y es continua. Tambin es obvio que f es
holomorfa en + . La nica dificultad est en probar que f es holomorfa en cada punto de I. Para
ello usaremos el teorema de RMorera. Dado D un disco centrado en un punto x0 de I y contenido en ,
tenemos que comprobar que T f = 0 para cada tringulo T D. Consideraremos tres casos:
Caso 1. El tringulo T no corta al segmento I. Entonces T est enteramente contenido o bien en D+ o
bien en D , y como cualquiera de estos
R dos semidiscos es abierto y convexo, y f es holomorfa en ellos,
el teorema de Cauchy nos dice que T f = 0.
6.1. EL PRINCIPIO DE REFLEXIN DE SCHWARZ 59
Caso 2. El tringulo T est contenido o bien en D+ I o bien en D I. Supongamos por ejemplo que
T D+ I (el razonamiento es anlogo en la otra situacin). Entonces, definiendo
T = i + T,
tenemos que T D+ , luego Z
f = 0.
T
Por otra parte es inmediato comprobar que
Z Z
lm f= f.
0+ T T
R
Por tanto conclumos que T f = 0 tambin en este caso.
Caso 3. La regin interior a T corta a I. Podemos reducir la situacin al caso anterior escribiendo la
regin interior a T como unin de tres tringulos slidos con bordes T1 , T2 , T3 cada uno de los cuales
tiene un vrtice o un lado contenido en I, y orientados de forma compatible con la orientacin de T
(vase la figura). Entonces tenemos
Z Z Z Z
f= f+ f+ f =0+0+0=0
T T1 T2 T3
60 CAPTULO 6. EXTENSIN Y APROXIMACIN
gracias al caso 2.
Por el teorema de Morera, resulta que f es holomorfa en D.
Teorema 6.4. [Principio de reflexin de Schwarz] Sea un abierto de C que es simtrico respecto de
R, y sea f una funcin holomorfa en + que se extiende con continuidad a I y toma valores reales en I.
Entonces existe F : C holomorfa tal que F = f en + I.
y sean
f (z) = f (z), definida para z I,
y
f + (z) = f (z), definida para z I.
Es claro que f + y f son continuas, y que coinciden en I (ya que f (x) = f (x) = f (x) para todo x I,
puesto que por hiptesis f toma valores reales en I). Tambin es obvio que f + es holomorfa en + , y
que las restricciones de F a + I y a I son, respectivamente, f + y f . Por tanto, para concluir
la prueba usando el teorema anterior, slo falta ver que f es holomorfa en . Esto es sencillo: si
D(z0 , r) , entonces, por la simetra de respento de R, D(z0 , r) + . Al ser f holomorfa en
+ , tiene una expansin en serie de potencias centrada en z0 ; es decir, para cada z D(z0 , r), puesto
que z D(z0 , r), podemos escribir
X
f (z) = an (z z0 )n ,
n=0
para cada z D(z0 , r). Esto prueba que f es holomorfa en un entorno de z0 , y como z0 es
arbitrario conclumos que f es holomorfa en .
De nuevo el ejemplo f (x) = x, x [0, ), muestra que el resultado anterior es falso para fun-
ciones reales. A continuacin aplicamos el principio de reflexin para obtener un resultado de extensin
para recintos con fronteras analticas.
Definicin 6.1. Diremos que la frontera de un subconjunto abierto del plano complejo C es ana-
ltica si cada punto z tiene un entorno abierto U para el que existe una aplicacin conforme (es
decir, holomorfa, biyectiva, y con inversa holomorfa) : D U definida de un disco centrado en un
punto de la recta real R y que toma valores en U , de manera que (D+ ) = U y (D R) = U .
6.1. EL PRINCIPIO DE REFLEXIN DE SCHWARZ 61
Teorema 6.5. [Principio de reflexin de Schwarz, versin 2.0] Sea un abierto de C con frontera
analtica, y supongamos que f : C es continua en , holomorfa en , y que f () es tambin un
abierto1 con frontera analtica que contiene a f (). Entonces existen U abierto que contiene a y
F : U C holomorfa tales que F (z) = f (z) para todo z .
Demostracin. Veamos primero que para cada z0 existen V entorno abierto de z0 y g : V C
tales que g coincide con f en V (gracias al principio de identidad de las funciones holomorfas luego
podremos deducir fcilmente el resultado general). Puesto que y f () son analticas, existen V y
W , entornos abiertos de z0 y f (z0 ) respectivamente, y existen aplicaciones conformes : D U ,
:D e W definidas en discos centrados en puntos de la recta real, tales que (D R) = V ,
(D+ ) = V , (D e R) = W f (), y (D e + ) = W f (). Denotemos V + = (D+ ),
W = (D ), I = D R, I = D R. Podemos suponer que f (V + ) W + haciendo D ms
+ e + + e e +
h = 1 f .
g = H 1 ,
F () = f () si , y F () = gz () si Vz para algn z .
Obsrvese que si z1 , z2 y Vz1 Vz2 6= entonces Vz1 Vz2 es un abierto no vaco en el que las
funciones gz1 , gz2 y f coinciden, luego por el principio de identidad de las funciones holomorfas se tiene
1
Como veremos ms adelante, por el Teorema de la aplicacin abierta, resulta que la imagen de un abierto por una aplicacin
holomorfa no constante es abierto, de forma que esta hiptesis es redundante en la prctica.
62 CAPTULO 6. EXTENSIN Y APROXIMACIN
que gz1 = gz2 en Vz1 Vz2 . Anlogamente f = gz1 en Vz1 , y f = gz2 en Vz2 . Por tanto F est
bien definida. Adems, como localmente F coincide o bien con f o bien con alguna de las gz , que son
holomorfas, es claro que F es holomorfa.
Conviene observar que si f () no tiene frontera analtica el resultado anterior es en general falso:
ver por ejemplo el problema 6.5 de este captulo.
Se dice que una funcin f2 : 2 C es prolongacin analtica de otra funcin f1 : 1 C si 2
es un abierto que contiene a 1 , f2 es holomorfa en 2 , y f2 coincide con f1 en 1 . Es evidente que la
relacin
f1 f2 f2 es prolongacin analtica de f1
es un orden parcial. Un argumento de zornicacin estndar muestra que toda funcin holomorfa tiene
una prolongacin analtica maximal. Sin embargo, las prolongaciones maximales no son nicas, ya que
sus dominios son en general diferentes.
lm f (x) = f (x)
0+
uniformemente en x Rn ; ver el Problema 11.9 y la Proposicin 11.4 del captulo 11 para ms infor-
macin. La terminologa proviene del hecho de que u(t, x) = f Ht (x) es la solucin de la ecuacin
del calor (
u
t x u = 0 en (0, ) Rn ;
u(0, x) = f (x) para todo x Rn .
En C, este tipo de resultados de aproximacin de funciones continuas por funciones diferenciables en
sentido complejo (es decir, holomorfas) son falsos. Por ejemplo, ya sabemos que si una funcin compleja
es lmite, uniforme en compactos, de una sucesin de funciones holomorfas, entonces es holomorfa. Pero
obviamente existen funciones continuas que no son holomorfas (por ejemplo z 7 z).
No obstante, cabe preguntarse: si f es holomorfa, es cierto que f puede aproximarse, uniformemente
en cada compacto, por polinomios complejos?2 La respuesta a esta pregunta es que ello depende de la
geometra del dominio de f . Por ejemplo, observemos que si f es holomorfa en un disco entonces tiene
una expansin en serie de potencias que converge uniformemente en los subconjuntos compactos de
ese disco, y por tanto puede aproximarse uniformemente en tales compactos por polinomios (las sumas
parciales de la serie de potencias). Por otro lado, si = C \ {0} y K = D(0, 1), f (z) =R1/z es
holomorfa en peroR no puede aproximarse uniformemente en K por polinomios (puesto que K f =
2i, mientras que K P = 0 para cualquier polinomio).
El teorema de Runge clarifica completamente la situacin.3
2
Los polinomios que proporciona el teorema de Weierstrass no son en general complejos, como se ha observado en el
captulo anterior.
3
Como veremos en los ejercicios, si C \ K no es conexo entonces existe F holomorfa en un entorno de K que no puede
aproximarse uniformemente en K por polinomios; es decir, el recproco de la segunda parte del teorema es tambin verdad.
6.2. EL TEOREMA DE APROXIMACIN DE RUNGE 63
Lema 6.7. Existe una coleccin finita de segmentos 1 , ..., N contenidos en \ K tales que
N Z
X 1 f ()
f (z) = d
2i n z
n=1
para todo z K.
Demostracin. Sea d = 12 d(K, ), y consideremos una cuadrcula del plano formada por cuadrados
slidos Q paralelos a los ejes coordenados, y de lados de longitud d. Denotemos
{Q1 , ..., QM } := Q := {Q : Q K 6= }
(la subfamilia de estos cuadrados que cortan a K), orientemos positivamente el borde Qj de cada Qj , y
denotemos por 1 , ..., N la coleccin de lados de cuadrados de Q que no son comunes a dos cuadrados
adyacentes de Q.
Ntese que para cada n = 1, ..., N se tiene n \ K. En efecto: si n no estuviera contenido en
tendramos d(K, C \ ) diam(Qj ) = 2d = 22 d(K, C \ ), lo que es absurdo. Por otra parte, si
n cortara a K entonces al menos uno de los ocho cubos adyacentes al cubo Qj del cual n es un lado
intersecara tambin a K, contradiciendo la eleccin de n .
Ahora, si z K no est en la frontera de ningn cuadrado Q Q y est en el interior de algn
Qj Q, tenemos, por el teorema de Cauchy y la frmula integral de Cauchy, que
Z (
1 f () f (z) si m = j;
d =
2i Qm z 0 si m 6= j.
64 CAPTULO 6. EXTENSIN Y APROXIMACIN
Por otro lado, si Qm y Qm0 son adyacentes, las integrales sobre su lado comn se toman una vez en un
sentido y otra vez en el sentido opuesto, de modo que las integrales sobre los lados que son comunes a
dos cuadrados se cancelan entre s, y por tanto
M Z N Z
X 1 f () X 1 f ()
f (z) = d = d,
2i Qm z 2i n z
m=1 n=1
N Z
X 1 f ()
z 7 d
2i n z
n=1
Lema 6.8. Si es un segmento contenido en \ K, existe una sucesin de funciones racionales, con
singularidades contenidas exclusivamente en , que aproxima la funcin fz
R ()
d, uniformemente en
z K.
f ((t)) 0
z 7 F (z, t) := (t)
(t) z
es uniformemente continua en el compacto K [0, 1], luego dado > 0 existe > 0 tal que
Definamos
n n
1X k 1 X f ((k/n)) 0
fn (z) = F z, = (k/n),
n n n (k/n) z
k=1 k=1
6.2. EL TEOREMA DE APROXIMACIN DE RUNGE 65
R1
que es una suma de Riemann para 0 F (z, t)dt y tambin una funcin racional, por ser suma de funciones
del tipo
bj
,
aj z
con aj , bj C. Para n 1/ y z K tenemos entonces
Z 1 n Z j
fn (z) f ((t)) 0 X n j
(t)dt = F (z, ) F (z, s) ds
0 (t) z j1 n
j=1 n
n Z j n
F (z, j ) F (z, s) ds
X n X
= ,
j1 n n
j=1 n j=1
R f ()
lo quue prueba que fn (z) converge a z d uniformemente en z K.
Combinando los dos lemas anteriores deducimos inmediatamente la primera parte del teorema de
Runge. Para demostrar la segunda parte (es decir que la aproximacin uniforme de f en K por polinomios
es posible si C \ K es conexo), en vista de demostracin del lema anterior es suficiente probar que
cualquier funcin del tipo
1
z 7
za
puede aproximarse, uniformemente en K, por polinomios, siempre que a C \ K y C \ K sea conexo.
1
Lema 6.9. Si C \ K es conexo y z0 C \ K entonces la funcin z 7 zz0 puede aproximarse por
polinomios, uniformemente en z K.
Sea D un disco abierto suficientemente grande para que K D, y sea z1 C \ D. Se tiene
1 X z n X
1 1 1 1
= z = = n+1 z n ,
z z1 z 1 1 z1 z1 z1 z1
n=0 n=0
donde la serie converge uniformemente en z K. Las sumas parciales de esta serie son polinomios en
1
z que aproximan la funcin z 7 zz 1
uniformemente en z K. Dado que, para cada j N, la funcin
j 1
g(z) = z es uniformemente continua en cualquier acotado y que la imagen de K por la funcin zz 1
1
es compacta, es inmediato deducir que cualquier potencia de zz 1
puede aproximarse, uniformemente
1
en K, por polinomios en la variable z. Y por tanto tambin que cualquier polinomio en la variable zz 1
puede aproximarse, uniformemente en K, por polinomios en la variable z. Por tanto bastar demostrar
1
que si C \ K es conexo entonces z 7 zz 0
puede aproximarse, uniformemente en K, por polinomios
1
en la variable zz1 .
Sea una curva en C \ K que conecta z0 con z1 , digamos que : [0, 1] C \ K es continua,
(0) = z0 , y (1) = z1 . Pongamos
1
= d(K, ),
2
y elijamos puntos w0 = z0 , w1 , ..., wl = z1 en la traza de tales que
1 X w w0 n X
n+1
1 1 1 0 n 1
= 0 = = (w w ) ,
zw z w0 1 ww
zw0
z w0 z w0 (z w0 )
n=0 n=0
66 CAPTULO 6. EXTENSIN Y APROXIMACIN
1
Las sumas parciales de esta serie son polinomios en la variable zw 0 que convergen, uniformemente en
1
z K, a la funcin zw .
Usando reiteradamente este aserto junto con la observacin de que si una funcin del tipo z 7
1 1
zw puede aproximarse uniformemente en K por polinomios en la variable zw0 entonces cualquier
1
potencia suya (y por consiguiente tambin cualquier polinomio en la variable zw ) puede aproximarse
1
uniformemente en K por polinomios en la variable zw0 , y por supuesto tambin el hecho de que si una
funcin puede aproximarse uniformemente en un conjunto por funciones de un tipo A, y las funciones
de tipo A pueden aproximarse uniformemente en ese conjunto por funciones de otro tipo B entonces
la funcin puede aproximarse uniformemente en el conjunto por funciones de tipo B, obtenemos lo
1
siguiente. La funcin zz 0
puede aproximarse, uniformemente en K, por polinomios en la variable
1 1
zw1 , que a su vez pueden aproximarse, uniformemente en K, por polinomios en la variable zw2 , que
1
pueden aproximarse, uniformemente en K por polinomios en la variable zw 3
, etc, hasta llegar en l pasos
1 1
a que zz0 puede aproximarse por polinomios en la variable zz1 , que como hemos visto al principio
1
pueden aproximarse por polinomios en la variable z. Por tanto zz 0
puede aproximarse por polinomios
en z, uniformemente para z K.
6.3. Problemas
Problema 6.1. Supongamos que f es una funcin continua y que no se anula en el disco unidad cerrado,
y tal que f es holomorfa en el disco unidad abierto. Demostrar que si |f (z)| = 1 para todo z con |z| = 1,
entonces f es constante.
Indicacin: extender f a todo C poniendo f (z) = 1/f (1/z) para |z| > 1, y razonar como en las demostraciones
del principio de simetra y del principio reflexin de Schwarz.
Problema 6.2. Sea f una funcin continua en un abierto tal que f es holomorfa en \ R. Probar que
f es holomorfa en . Generalizar (por ejemplo, cambiar R por una lnea cualquiera de C, o una curva
inyectiva de clase C 1 a trozos).
Problema 6.3. Probar el recproco del teorema de Runge: si K es un compacto de C cuyo comple-
mentario no es conexo, entonces existe una funcin holomorfa en un entorno de K que no puede ser
aproximada uniformemente en K por polinomios.
Indicacin: Sea z0 K c y definamos f (z) = 1/(z z0 ). Suponiendo que f pueda ser aproximada uniformemente
en K por polinomios, comprobar que existe un polinomio p tal que |(z z0 )p(z) 1| < 1, y usar el Problema
5.18 del captulo anterior para demostrar que esta desigualdad sigue valiendo en la componente conexa de K c que
contiene a z0 .
Demostrar que:
1. f es holomorfa.
Problema 6.5. En 1872 Weierstrass dio el primer ejemplo de una funcin continua en R que no es
diferenciable en ningn punto de R: la funcin
X 1
W (t) = cos(3n t)
2n
n=0
Demostrar lo siguiente:
1. f es holomorfa en D.
Problema 6.6. Buscar en internet, y estudiar, una demostracin de que la funcin W de Weierstrass
definida en el problema anterior no es diferenciable en ningn punto.
Problema 6.7. En este problema se demostrar que existe una funcin entera F con la siguiente propie-
dad: dada cualquier otra funcin entera, existe una sucesin creciente (nk ) de nmeros naturales tales
que
lm F (z + nk ) = h(z)
k
2
donde un (z) = pn (z Mn )ecn (zMn ) y cn , Mn son nmeros positivos elegidos adecuadamente y
2
tales que lm cn = 0, lm Mn = (tngase en cuenta que la funcin ez tiende a cero rpidamente
cuando |z| en los sectores |argz| < /4 y | argz| < /4 ).
68 CAPTULO 6. EXTENSIN Y APROXIMACIN
Captulo 7
Definicin 7.1. Sean 0 , 1 : [a, b] C dos curvas continuas con los mismos puntos inicial y
69
70 CAPTULO 7. TEORA GLOBAL DE CAUCHY
final (es decir 0 (a) = 1 (a), y 0 (b) = 1 (b)). Diremos que 0 y 1 son homtopas en si existe una
aplicacin continua H : [0, 1] [a, b] tal que
H(s, a) = 0 (a) = 1 (a) y H(s, b) = 0 (b) = 1 (b) para todo s [0, 1], y
As, para cada s [0, 1], la curva [a, b] 3 t 7 s (t) := H(s, t) es continua, y tiene los mismos
puntos inicial y final que 0 y 1 . Conforme s vara de 0 a 1, la curva 0 va transformndose gradualmente
en 1 .
Proposicin 7.1. Si C es abierto y 0 , 1 son curvas de clase C 1 que son homtopas en , siempre
puede encontrarse una homotopa H entre ellas en que es de clase C 1 . Por otro lado, si 0 y 1 son
de clase C 1 a trozos y son homtopas en , existe una homotopa H entre ellas en de forma que para
cada s [0, 1] la curva s = H(s, ) es de clase C 1 a trozos.
La demostracin de esta proposicin se deja como ejercicio (ver el problema 7.3 de este captulo).
Fijemos por el momento s1 , s2 [0, 1] tales que |s1 , s2 | , sean a := t0 < t1 < ...tn < tn+1 := b
tales que |tj tj+1 | , y definamos
de modo que zj , zj+1 , wj , wj+1 Dj para cada j = 0, 1, ..., n. Ahora bien, como cada disco Dj es
convexo, existe Fj : Dj C, primitiva de f en Dj . En cada interseccin Dj Dj+1 las funciones Fj y
Fj+1 son primitivas de la misma funcin f , y por tanto difieren en una constante. Entonces
As pues
Z Z
f= f
s1 s2
Definicin 7.2. Un abierto conexo de C diremos que es simplemente conexo si todo par de curvas en
con los mismos puntos inicial y final son homtopas en .
Por ejemplo, es sencillo demostrar que todo abierto convexo de C es simplemente conexo. Tambin
lo es el probar (usando por ejemplo coordenadas polares y observando que (0, ) (, ) es convexo
en R2 ) que C \ (, 0] es simplemente conexo. Un ejemplo de abierto que no es simplemente conexo
es C \ {0} (veremos un poco ms adelante en este captulo una demostracin rigurosa de este hecho).
Es un ejercicio rutinario probar los homeomorfismos conservan los conjuntos simplemente conexos.
En particular, cualquier abierto de C que sea homeomorfo a un disco es simplemente conexo.1
donde z es cualquier curva C 1 a trozos en que une z0 con z (siempre existe tal z por ser conexo).
La definicin de F es independiente de la curva z escogida, ya que si ez es otra curva que une z0 con
zR en , Rcomo este abierto es simplemente conexo entonces z y ez son homtopas en , y por tanto
z f = fz f gracias al teorema anterior.
1
Sin embargo, a diferencia de lo que ocurre con la conexin (la imagen continua de un conjunto conexo es conexo), una
aplicacin continua puede transformar un conjunto simplemente conexo en otro conjunto que no es simplemente conexo. Por
ejemplo, C es simplemente conexo, f (z) = ez es continua, y f (C) = C \ {0} no es simplemente conexo.
72 CAPTULO 7. TEORA GLOBAL DE CAUCHY
Veamos que F 0 (z) = f (z) para cada z . En efecto, fijemos z y elijamos > 0 tal que
D(z, ) . Como D(z, ) es convexo, existe G primitiva de f en D(z, ). Dada una curva C 1 a trozos
z que una z0 con z, la concatenacin z [z, z + h] es una curva que une z0 con z + h, y por tanto
Z
F (z + h) F (z) = f = G(z + h) G(z),
[z,z+h]
Usando el teorema anterior podemos dar un argumento riguroso que demuestra que C \ {0} no es
simplemente conexo: si lo fuera, tendramos
Z
1
0= dz = 2i,
|z|=1 z
7.2. TEOREMAS DE CAUCHY PARA RECINTOS MLTIPLEMENTE CONEXOS 73
lo que es absurdo.
En los cursos de topologa algebraica se demuestra fcilmente que un conjunto abierto, conexo y
acotado de R2 es simplemente conexo si y slo si R2 \ C es conexo. Tambin se ve que si es una
curva cerrada simple en R2 entonces R2 \ tiene exactamente dos componentes conexas: una no acotada,
que se llama regin exterior a , y otra acotada, que se llama regin interior a ; este resultado se conoce
como el Teorema de la curva de Jordan.2 En lo que resta de captulo usaremos con frecuencia estos
teoremas.
Z m Z Z
X Q P
P dx + Qdy P dx + Qdy = dxdy,
Uj \(
Sm
Uj ) x y
j=1 j=1
Z m Z
X
f f = 0,
j=1 Uj
Za Z a
Entonces, usando primero el teorema de Green y despus las ecuaciones de Cauchy-Riemann, obtenemos
que
Z m Z
X
f f=
j=1 Uj
Z m Z
X Z m Z
X
udx vdy udx vdy + i vdx + udy vdx + udy =
j=1 Uj j=1 Uj
Z Z
v u u v
dxdy + i dxdy =
\( m
S
j=1 Uj )
x y \( m
S
j=1 Uj )
x y
Z Z
0dxdy + i 0dxdy = 0 + 0 = 0.
\( mj=1 Uj ) \( m j=1 Uj )
S S
y tambin
Z m Z
(n) n! f () n! X f ()
f (z) = n+1
d d,
2i ( z) 2i Uj ( z)n+1
j=1
es decir Z Z m Z
f () f () X f ()
0= d d d.
z D(z,) z Uj z
j=1
Por otro lado, por la frmula integral de Cauchy para un disco sabemos que
Z
f ()
2if (z) = d,
D(z,) z
Demostracin. Como 0
/ , la funcin 1/z es holomorfa en . Definamos
Z
1
F (z) = d,
z
donde z es cualquier curva de clase C 1 a trozos en que conecta 1 con z. Puesto que es simple-
mente conexo, la definicin de F (z) no depende de la curva z escogida. Repitiendo el argumento de la
demostracin del Teorema 7.3 se ve que para cada z existe F 0 (z) = 1/z, lo que prueba (1).
Para comprobar (2) es suficiente ver que zeF (z) = 1 para todo z . Y en efecto, como
d F (z)
ze = eF (z) zF 0 (z)eF (z) = 0,
dz
el conjunto es conexo, y la funcin 3 z 7 zeF (z) vale 1 en 1 (ya que F (1) = 0), esta funcin
debe ser constantemente 1.
Finalmente, si r (0, +) y > 0 es tal que r D(1, ) entonces el segmento [1, r] est
contenido en , y por tanto Z Z r
1 1
F (r) = d = dt = log r,
[1,r] 1 t
identidad que puede comprobarse derivando ambos miembros de la igualdad, sumando la serie geom-
trica obtenida, y observando que ambos miembros se anulan en z = 0.
A partir del teorema anterior podemos tambin definir ramas de la funcin z para cualquier C:
dado abierto simplemente conexo que contiene a 1 pero no a 0, se define
z = e log z ,
donde log denota la nica primitiva de 1/z en que vale 0 en 1, es decir la funcin F del teorema.
Obsrvese que 1 = 1, y que si = 1/n entonces (z 1/n )n = z.
A continuacin vemos que cualquier funcin definida en un abierto simplemente conexo y que no se
anula en ningn punto de su dominio tiene un logaritmo.
f 0 ()
Z
g(z) = d + c0 ,
z f ()
7.4. LA FUNCIN NDICE 77
donde z es cualquier curva C 1 a trozos en que une z0 con z, y c0 es una constante tal que ec0 = f (z0 ).
La definicin es independiente de la curva z escogida, y usando el argumento de la demostracin del
Teorema 7.3 se ve que g es holomorfa en con
f 0 (z)
g 0 (z) = .
f (z)
Adems la funcin z 7 f (z)eg(z) es constantemente 1 en , puesto que su derivada es cero (lo que
se comprueba inmediatamente), y vale 1 = f (z0 )ec0 en z = z0 . Es decir que f (z) = eg(z) para todo
z . Por ltimo, si h es otra funcin con la misma propiedad que g, se tiene
g 0 (z)f (z) = g 0 (z)eg(z) = f 0 (z) = h0 (z)eh(z) = h0 (z)f (z),
de lo que se deduce que g 0 (z) = h0 (z), y por tanto que g y h difieren en una constante.
Por ejemplo, es fcil ver, usando la frmula integral de Cauchy y un sencillo cambio de variable, que
para (t) = eikt , 0 t 2, k Z, se tiene
(
k si |z| < 1;
W (z) =
0 si |z| > 1.
Por otro lado, para la curva de la figura, tenemos
0
si z = z0 ;
W (z) = 1 si z = z1
2 si z = z2 .
78 CAPTULO 7. TEORA GLOBAL DE CAUCHY
Proposicin 7.10. Sea : [a, b] C una curva cerrada, y = ([a, b]). Se tiene:
1. Si z C \ entonces W (z) Z.
0 (s)
Z t
G(t) = ds,
0 (s) z
que es una funcin continua que adems es derivable, salvo quizs en una cantidad finita de puntos, con
0 (t)
G0 (t) = .
(t) z
que tambin es continua, y derivable salvo a lo sumo en una cantidad finita de puntos, con
Esto implica que H es constante. Como adems, puesto que (0) = (1), se tiene
Teorema 7.11. Sea un abierto conexo y acotado de C. Entonces es simplemente conexo si y slo si
W (z) = 0 para toda curva cerrada en de clase C 1 a trozos y todo z C \ .
1
Demostracin. Si es simplemente conexo y z C \ entonces la funcin f () = z es holomorfa
en , y por el Teorema 7.4 tenemos Z
f = 0,
Lema 7.12. Dado w F1 , existe una familia finita Q = {Q1 , ..., Qn } de cuadrados cerrados pertene-
cientes a una cuadrcula del plano formada por cuadrados de igual tamao y lados paralelos a los ejes,
tal que:
1. w int(Q1 );
2. int(Qj ) int(Qk ) = si k 6= j;
S
n
3. F1 int Q
j=1 j ;
S
n
4. F2 j=1 Qj = ;
5. La frontera de nj=1 Qj est contenida en y consiste en una unin finita de curvas cerradas
S
simples poligonales que son disjuntas dos a dos.
Suponiendo cierto el lema por un momento, terminemos la demostracin del teorema. Puesto que
w int(Q1 ) y w
/ Qj para j > 1, se tiene que
n Z
X 1 d
= 1,
2i Qj w
j=1
donde los Qj estn orientados positivamente. Sean 1 , ..., M las curvas poligonales dadas por (5) del
lema; entonces se tiene, debido a las cancelaciones al integrar dos veces la funcin en cada lado comn
a dos cuadrados, una vez en un sentido y otra en el sentido opuesto, que
n Z M Z
X 1 d X 1 d
1= = .
2i Qj w 2i k w
j=1 k=1
80 CAPTULO 7. TEORA GLOBAL DE CAUCHY
En particular, alguna de las integrales de la suma del miembro de la derecha tiene que ser no nula: existe
k0 {1, ..., M } tal que
Z
1 d
6= 0,
2i k w
0
es decir Wk0 (w) 6= 0 para esta curva cerrada k0 que, segn (5) del lema, est contenida en , mientras
que w F1 C \ . Esto concluye la prueba del teorema.
Demostremos ahora el lema. Como F1 es compacto y F2 es cerrado, y F1 F2 = , tenemos que la
distancia d := d(F1 , F2 ) es positiva. Sea G0 una cuadrcula del plano formada por cuadrados cerrados de
lados de longitud menor que d/10, paralelos a los ejes coordenados, y de forma que w est en el centro
de un cuadrado de esta cuadrcula. Denotemos por R = {R1 , ..., Rm } la subcoleccin de G0 formada por
los cuadrados de G0 que cortan a F1 ; obviamente R es finita por ser F1 acotado, y podemos suponer que
w est en el centro de R1 . La frontera de cada cuadrado Rj de R se considera orientada positivamente.
Es claro que R cumple las propiedades (1) (4) del enunciado, aunque quizs no la (5).
Diremos que un lado de un cuadrado Rj de R es un lado borde si no pertenece a dos cuadrados
adyacentes de R. Llamaremos vrtices borde a los extremos de cada lado borde. Diremos que un vrtice
borde es malo
S si es punto extremo de ms de dos lados borde, y que es bueno en caso contrario. La
frontera de nj=1 Rj es igual a la unin de los lados borde de los cuadrados de R. Si hay vrtices malos
entonces esta frontera no ser unin de curvas cerradas simples y la propiedad (5) no se cumplir. Para
corregir esta posible situacin, refinamos la cuadrcula G0 , subdividiendo cada cuadrado de G0 en 9
subcuadrados de igual tamao, obteniendo as una sub cuadrcula que llamaremos G.
Denotemos por {Q1 , ..., Qp } los cuadrados de G que son subcuadrados de cuadrados de R (as que
p = 9m). Podemos suponer que w est en el centro de Q1 . Podemos ahora aadir una cantidad finita
de cuadrados de G alrededor de cada vrtice malo de {R1 , ..., Rm } (exactamente dos cuadrados ms por
cada vrtice malo) de forma que la familia resultante Q = {Q1 , ..., Qn } no tiene ningn vrtice malo.
7.4. LA FUNCIN NDICE 81
Sn Es claro que Q cumple (1) (4). Veamos que tambin cumple (5). Sea [a1 , a2 ] un lado borde de
j=1 Qj . Entonces a2 es el punto inicial de otro lado borde [a2 , a3 ]. Continuando as, obtenemos una
sucesin de lados borde [a1 , a2 ], [a2 , a3 ], [a3 , a4 ], etc. Como hay una cantidad finita de lados borde,
se tiene que ak = aj para ciertos j > k 1. Podemos elegir como j 0 el menor j para el que existe
k < j con ak = aj , y llamar k 0 al menor de los k < j tales que ak = aj 0 . Si k 0 > 1 entonces a0j
sera punto extremo de tres lados borde, a saber [ak0 1 , ak0 ], [ak0 , ak0 +1 ], y [aj 0 1 , aj 0 ], luego aj 0 sera un
vrtice malo, lo cual es absurdo. Por tanto k 0 = 1. Esto quiere decir que el polgono formado por [a1 , a2 ],
[a2 , a3 ], ..., [aj 0 1 , aj 0 ] es una curva cerrada simple, a la que llamamos 1 .
Repitiendo el proceso, en una cantidad finita de pasos obtenemos curvas poligonales cerradas SM sim-
ples 2 , ..., M , disjuntas dos Sn a dos y tambin disjuntas con 1 , y de forma que la unin j=1 j es
precisamente la frontera de j=1 Qj .
El siguiente resultado resume lo que sabemos sobre los abiertos acotados simplemente conexos, en
relacin con las propiedades de las funciones holomorfas.4
Teorema 7.13. Sea un abierto acotado de C. Las siguientes propiedades son equivalentes:
1. es simplemente conexo.
2. C \ es conexo.
Demostracin. Por todo lo anterior sabemos que (1) (2) = (3) (4). Es obvio, poniendo
1
f (w) = wz en (4), que (4) = (5). Y tambin sabemos (5) = (1) por el teorema anterior. Luego
todas las propiedades son equivalentes.
Usando la funcin ndice podemos tambin dar una versin de la frmula integral de Cauchy que es
vlida para curvas parametrizadas cerradas cuyas trazas pueden recorrerse varias veces.
Es claro que g es continua, en , y que g es holomorfa en \ {z}. Por un ejercicio (o simplemente como
consecuencia de los teoremas de Goursat y Morera), sabemos que entonces g es de hecho holomorfa en
f (n) (z)
todo ; otra forma de comprobar esto es escribir f () f (z) = n
P
n=1 n! ( z) , luego g() =
(n) (n+1)
1 P f (z) n
P f (z) n
z n=1 n! ( z) = n=0 (n+1)! ( z) .
4
Las equivalencias del teorema, exceptuando la propiedad (2), son vlidas tambin para abiertos no acotados, como veremos
en el captulo 10.
82 CAPTULO 7. TEORA GLOBAL DE CAUCHY
7.5. Problemas
Problema 7.1. Esbozar la traza de la curva (t) = eit sen(2t), 0 t 2, y determinar W (, z) para
todo z que no est en dicha traza. Despus hacer lo mismo con la curva (t) = eit cos(2t).
Problema 7.3. Sean 0 , 1 : [a, b] C dos curvas de clase C 1 a trozos, y supongamos que son
homtopas en . Demostrar que existe una homotopa H : [0, 1] [a, b] entre 0 y 1 tal que para
cada s [0, 1] la curva [a, b] 3 t 7 s (t) := H(s, t) es de clase C 1 a trozos. Demostrar tambin que si
0 , 1 son de clase C 1 entonces H puede tomarse de clase C 1 ([0, 1] [a, b]).
Indicacin: usar por ejemplo el teorema de Weierstrass para aproximar una homotopa continua por un polinomio
real P : R2 R2 con P ([0, 1] [a, b]) . Despus combinar 0 , 1 y P mediante sumas y multiplicaciones
por funciones adecuadas para obtener una funcin H con las propiedades deseadas.
Problema 7.4. Probar que todo abierto estrellado respecto de un punto (es decir, que existe z0 tal
que para todo z el segmento [z0 , z] est contenido en ) es simplemente conexo.
Problema 7.5. Probar que no existe ninguna funcin f holomorfa en el disco unidad abierto que se
extienda con continuidad a su frontera y tal que f (z) = 1/z en dicha frontera.
Problema 7.6. Sean , : [a, b] C curvas cerradas de clase C 1 a trozos, z C, y supongamos que
para cada t se tiene z
/ [(t), (t)]. Probar que W (, z) = W (, z).
Problema 7.7. Sean y son curvas cerradas en un abierto de C, de clase C 1 a trozos. Supongamos
que y son homtopas en . Probar que W (, z) = W (, z) para todo z / .
Por ejemplo, la funcin f (z) = 1/z es holomorfa en . Lo mismo ocurre con z 7 P (1/z),
donde P es cualquier polinomio. Sin embargo ningn polinomio P (z) no constante es holomorfo en .
Obsrvese tambin que si f es holomorfa en entonces f est acotada en un entorno de en C (es
decir, est acotada fuera de algn disco centrado en 0).
El teorema de descomposicin de Laurent nos permite expresar una funcin holomorfa en un anillo
D(z0 , ) \ D(z0 , ) como suma de una funcin holomorfa en D(z0 , ) ms una funcin holomorfa en
C \ D(z0 , ).
83
84 CAPTULO 8. SERIES DE LAURENT
Teorema 8.2. [Desarrollo en series de Laurent] Sean 0 < +, y supongamos que f es una
funcin holomorfa en el anillo := D(z0 , ) \ D(z0 , ). Entonces f tiene una expansin de la forma
X
f (z) = an (z z0 )n , < |z z0 | < ,
n=
que converge absolutamente en cada punto del anillo , y que converge uniformemente en cada subanillo
de la forma r |z z0 | s siempre que < r < s < . Los coeficientes an vienen dados por
Z
1 f ()
an = d
2i |zz0 |=r ( z0 )n+1
para todo n Z, en donde r es cualquier nmero tal que < r < . Adems, las funciones f0 y f1 del
teorema anterior vienen dadas por
X
f0 (z) = an (z z0 )n , |z z0 | < ,
n=0
y
1
X an
f1 (z) = , < |z z0 |.
n=
(z z0 )n
que converge absoluta y uniformemente en cada disco D(0, r) con r < . Por otra parte, como f1 es
holomorfa en C \ D(0, ) sabemos que z 7 f1 (1/z) es holomorfa en D(0, 1/), y tambin tiene un
desarrollo de la forma
X
1
f1 = bn z n , |z| < 1/,
z
n=0
que converge absoluta y uniformemente en cada disco de la forma D(0, ) con < 1/. Por tanto,
poniendo w = 1/z, tenemos que
X
f1 (w) = bn wn , |w| > 1/,
n=0
con convergencia absoluta y uniforme en cada conjunto de la forma C \ D(0, r), con r > . Adems
b0 = 0 ya que f1 () = 0. Definiendo entonces an = bn para n Z, n < 0, tenemos que
X
f (z) = an z n , < |z| < ,
n=
con convergencia absoluta y uniforme en cualquier subanillo de la forma r |z| s con < r < s < .
Para calcular los an dividimos por (z z0 )n+1 e integramos en la circunferencia |z z0 | = r. Como
la converencia de la serie es uniforme en esta circunferencia, podemos intercambiar el orden de la suma
86 CAPTULO 8. SERIES DE LAURENT
Por ejemplo 1/z tiene una singularidad aislada en 0; sen(1/z) tiene singularidades aisladas en cada
punto de la forma k, con k Z, y 1/ sen(1/z) no tiene una singularidad aislada en 0.
Si f tiene una singularidad aislada en z0 , sabemos por el teorema anterior que f admite una repre-
sentacin
X
f (z) = an (z z0 )n , 0 < |z z0 | < r.
n=
Segn cuntos y cules coeficientes an se anulen en esta serie, diremos que f tiene una singularidad de
uno u otro tipo en z0 :
1. Si an = 0 para todo
Pn < 0, se dicen que f tiene una singularidad evitable en z0 . En este caso
tenemos f (z) = n=0 an (z z0 ) , y si definimos f (z0 ) = a0 entonces f es holomorfa en
D(z0 , r).
2. Si existe N N tal que aN 6= 0 y ak = 0 para todo k < N , se dice que f tiene un polo de
orden N en z0 . En este caso tenemos
aN a1 X
f (z) = + ... + + an (z z0 )n ,
(z z0 )N z z0
n=0
Na a1
y a P (z) = (zz 0)
N + ... + zz0 se le llama parte principal de f en z0 . Si N = 1 se habla de polo
3. Finalmente, si ak 6= 0 para una cantidad infinita de k < 0, se dice que f tiene una singularidad
esencial en z0 .
Es obvio que estas tres posibilidades son exhaustivas y mutuamente excluyentes. A continuacin estu-
diamos cmo caracterizar cada tipo de singularidad (sin tener que calcular los an , lo que podra resultar
inmanejable en muchas situaciones).
El recproco es obvio, y por tanto este resultado caracteriza las singularidades evitables de una fun-
cin holomorfa.
8.2. SINGULARIDADES AISLADAS 87
para cada z r, . Usando que f est acotada en D(z0 , r), es fcil comprobar que
Z
1 f ()
lm d = 0.
0+ 2i |z0 |= z
Teorema 8.4. Sea z0 una singularidad aislada de una funcin f . Las siguientes afirmaciones son equi-
valentes:
1. z0 es un polo de f ;
2. lmzz0 |f (z)| = ;
con aN 6= 0, luego
a a
N 1
X
n
lm |f (z)| = lm + ... + + a (z z )
n 0
zz0 (z z0 )N z z0
zz0
n=0
1
N 1
X
n+N
= lm a + a (z z ) + ... + a (z z ) + a (z z )
N N +1 0 1 0 n 0
zz0 |z z0 |N
n=0
1
= lm |aN | = .
zz0 |z z0 |N
por (2). Luego g est acotada en un entorno de z0 . Por el teorema anterior se deduce que g es holomorfa
en un entorno de z0 .
(3) = P (4): Si g es holomorfa y g(z0 )P= 0, como no es idnticamente nula existe N N tal que
g(z) = n=N nc (z z 0 ) n = (z z )N
0
k
k=0 cN +k (z z0 ) . Entonces
1 1
f (z) = P = h(z),
(z z0 )N k=0 cN +k (z z0 )
k (z z0 )N
donde
1
h(z) = P
k=0 cN +k (z z0 )k
es holomorfa en un entorno de z0 , ya que cN 6= 0.
(4) = (1): Si h(z) = k
P
k=0 bk (z z0 ) es la expansin en serie de potencias de h en un entorno de
z0 , b0 = h(z0 ) 6= 0, y
h(z)
f (z) = ,
(z z0 )N
entonces
b0 b1 bn1 X
f (z) = N
+ N 1
+ ... + + bN +j (z z0 )j
(z z0 ) (z z0 ) z z0
j=0
es una serie de Laurent con b0 6= 0, lo que implica que f tiene un polo de orden N en z0 .
Corolario 8.5. De la demostracin del teorema anterior se sigue que las siguientes afirmaciones son
equivalentes, para una singularidad aislada z0 de una funcin f :
1. z0 es un polo de orden N de f ;
Recordemos que se dice que una funcin g tiene un cero de orden N en z0 si g y sus primeras N 1
Pse anulan en z0n. Tratndose NdeP
derivadas funciones holomorfas, esto significa que g puede escribirse
g(z) = n=N c n (z z 0 ) = (z z 0 ) k
k=0 cN +k (z z0 ) , con cN 6= 0.
Finalmente, el siguiente teorema caracteriza las singularidades esenciales.
Teorema 8.6. [Casorati-Weierstrass] Sea z0 una singularidad aislada de una funcin f . Las siguientes
afirmaciones son equivalentes:
2. Para todo w C existe una sucesin (zn ) que converge a z0 tal que f (zn ) converge a w. Es decir,
f (D(z0 , r) \ {z0 }) es denso en C, para cada r > 0.
|f (z) w| >
para todo z D(z0 , r) \ {z0 }. Podemos definir entonces g : D(z0 , r) \ {z0 } C por
1
g(z) = ,
f (z) w
que es holomorfa y acotada (por 1/). Entonces por el teorema de Riemann de las singularidades evita-
bles g puede extenderse a una funcin holomorfa en D(z0 , r), que seguiremos denotando g. Se presentan
ahora dos posibilidades:
8.3. PROBLEMAS 89
Caso 1. Si g(z0 ) 6= 0 entonces f = w + 1/g es holomorfa en D(z0 , r), lo que contradice que f tiene
una singularidad esencial en z0 .
Caso 2. Si g(z0 ) = 0 entonces, como g no es idnticamente nula y es holomorfa en D(z0 , r), g tiene un
cero de orden N 1 en z0 , lo que por el teorema anterior significa que f w, y por tanto tambin f ,
tiene un polo de orden N 1 en z0 , tambin contradiciendo la hiptesis de que z0 es una singularidad
esencial de f .
(2) = (1): si z0 no es una singularidad esencial de f entonces se tiene que, o bien lmzz0 f (z) = `0
existe y es finito (cuando f tiene una singularidad evitable en z0 ), o bien lmzz0 |f (z)| = (cuando
z0 es un polo de f ). En cualquiera de los casos es imposible que se cumpla (2), ya que los valores de
f (z) cuando z tiende a z0 se acumularn en `0 o en .
De hecho hay un resultado mucho ms fuerte: un teorema de Picard asegura que si z0 es una singu-
laridad esencial de f , entonces el complemento de f (D(z0 , r) \ {z0 }) tiene a lo sumo un punto p0 para
todo r > 0 suficientemente pequeo, y para todo w C \ {p0 } el conjunto f 1 ({w}) es infinito. Puede
consultarse una demostracin de este teorema en el libro de Gamelin, pginas 315-322.
8.3. Problemas
Problema 8.1. Supongamos que f es holomorfa en C \ {0}. Demostrar que existe una constante c tal
que g(z) = f (z) cz tiene una primitiva en C \ {0}.
Problema 8.3. Escribir las expansiones de Laurent, centradas en 0, de las funciones siguientes:
z1 1
f (z) = ; g(z) = 2 .
z+1 (z 1)(z 2 9)
Problema 8.5. Determinar las singularidades aisladas de las siguientes funciones, y decir si son evi-
tables, esenciales o polos (en este ltimo caso determinar el orden del polo, y la parte principal de la
funcin en el polo):
zez
2 1 log z 2 cos z
f (z) = 2 , g(z) = z sen , h(z) = 3
, (z) = e1/(z +1) , (z) = 2 .
z 1 z (z 1) z 2 /4
Problema 8.6. Probar que si f tiene una singularidad aislada en z0 y lmzz0 (z z0 )f (z) = 0 entonces
la singularidad es evitable.
Problema 8.7. Demostrar que toda funcin entera f que sea inyectiva es de la forma f (z) = az + b,
con a, b C, a 6= 0.
Problema 8.8. Probar que si z0 es una singularidad aislada de una funcin holomorfa f y (z z0 )N f (z)
est acotada cerca de z0 para algn N N entonces la singularidad o bien es evitable o bien es un polo
de orden menor o igual que N .
Problema 8.9. Sea S = (zn )nN una sucesin de puntos de C que converge a un punto z0 , y sea f una
funcin holomorfa en D(z0 , r) \ (S {z0 }). Demostrar que entonces o bien f puede extenderse a una
funcin meromorfa en D(z0 , r), o bien para todo w C existe (n )nN sucesin convergente a z0 tal
que f (n ) converge a w.
90 CAPTULO 8. SERIES DE LAURENT
Problema 8.10. Demostrar que si f (z) es una funcin entera no constante entonces ef (z) tiene una
singularidad esencial en .
Problema 8.11. Sea f una funcin holomorfa en un entorno abierto del discoP unidadncerrado, excepto
en un punto z0 de la circunferencia unidad en el cual f tiene un polo. Sea
n=0 an z la expansin en
serie de potencias de f centrada en 0. Demostrar que
an
lm = z0 .
n an+1
Captulo 9
2. f tiene una singularidad evitable en si g(z) = f (1/z) tiene una singularidad evitable en 0.
3. f tiene una singularidad esencial en si g(z) = f (1/z) tiene una singularidad esencial en 0.
Equivalentemente, si consideramos el desarrollo en serie de Laurent de f fuera de un disco suficiente-
mente grande,
X
f (z) = bk z k , |z| > ,
k=
se tiene que:
1. f tiene un polo de orden N 1 en si y slo si bN 6= 0 y bk = 0 para todo k > N .
2. f tiene una singularidad evitable en si y slo si bk = 0 para todo k > 0 (en cuyo caso f es
holomorfa en si se define f () = b0 .
1
Cuando los haya; por ejemplo, si es acotado
91
92 CAPTULO 9. FUNCIONES MEROMORFAS Y RESIDUOS
3. f tiene una singularidad esencial en si y slo si bk 6= 0 para una cantidad infinita de k > 0.
Adems, si f tiene un polo de orden N en , definimos la parte principal de f en como el polinomio
P (z) = b0 + b1 z + ... + bN z N ;
lm f (z) P (z) = 0.
|z|
Por otro lado sean z1 , ..., zm los polos de f en C, y Pk la parte principal de f en zk para cada k = 1, ..., m.
Cada funcin Pk es de la forma
k,1 k,Nk
Pk (z) = + ... + ,
z zk (z zk )Nk
y en particular Pk es holomorfa en , con Pk () = 0. Adems f Pk es holomorfa en zk , por definicin
de parte principal.
Consideremos ahora la funcin
m
X
g(z) = f (z) P (z) Pj .
j=1
lm g(z) = 0,
|z|
9.2. EL TEOREMA DE LOS RESIDUOS Y ALGUNAS DE SUS CONSECUENCIAS 93
y como g es continua se deduce que g es acotada en C. Luego por el teorema de Liouville f es constante
en C. Puesto que el lmite de g en es 0, dicha constante slo puede ser 0. Esto quiere decir que
m
X
f (z) = P (z) + Pj (z)
j=1
Se define el residuo de f (z) en z0 , y se denota Res(f, z0 ), como el coeficiente a1 que aparece en esta
expansin. Dicho de otro modo,
Z
1
Res(f, z0 ) = f,
2i |zz0 |=r
siendo r cualquier nmero con 0 < r < .
Por ejemplo, es inmediato comprobar que Res( z1 , 0) = 1, Res( (zz1 0 )2 , z0 ) = 0, Res( 1+z
1
2 , i) =
1
2i .
Teorema 9.3 (de los residuos). Sean , U1 , ..., Um abiertos simplemente conexos y acotados cuyos
1
Sm de clase C a trozos, y tales que Uj y
bordes , U1 , ..., Um son curvas cerradas simples
Uj Uk = para todo j 6= k. Definamos D = \ j=1 Uj , y supongamos que f es holomorfa en un
entorno abierto de D excepto quizs en una cantidad finita de singularidades z1 , ..., zn en D. Entonces
se tiene que
Z Z Xm Z Xm
f := f f = 2i Res(f, zj ),
D j=1 Uj j=1
en donde , Uj estn orientadas positivamente
Es obvio que este teorema generaliza el teorema de Cauchy, versin 3. De hecho es equivalente a
ste ya que puede demostrarse fcilmente usando el teorema de Cauchy.
Demostracin. Elijamos > 0 tal que D(zj , ) D para cada j = 1, ..., n. Sea D la regin obtenida
al quitar de D la unin de estos discos D(zj , ), es decir,
!
[m n
[
D = \ Uj D(zk , ) .
j=1 k=1
y como Z
f = 2i Res(f, zk )
D(zk ,)
se sigue el resultado.
94 CAPTULO 9. FUNCIONES MEROMORFAS Y RESIDUOS
El teorema de los residuos puede usarse para calcular integrales que pueden resultar muy difciles de
evaluar por otros medios; vanse los problemas de este captulo. A continuacin damos algunas reglas
que pueden agilizar el clculo de residuos en la prctica.
Proposicin 9.4.
d
(z z0 )2 f (z) .
Res(f, z0 ) = lm
zz0 dz
(z z0 )2 f (z) = a2 + a1 (z z0 ) + (z z0 )2 (z),
y derivando una vez y tomando despus lmzz0 en ambos miembros se obtiene lo que queremos. Obvia-
mente (4) es consecuencia de (3) con f 1. Con las hiptesis de (3) sabemos por un resultado anterior
que f /g tiene un polo simple en z0 . Usando (1) y la definicin de derivada obtenemos entonces
f f (z) f (z) f (z0 )
Res , z0 = lm (z z0 ) = lm g(z)z(z ) = 0 .
g zz0 g(z) zz0 0 g (z0 )
zz0
Teorema 9.5 (Principio del argumento). Sea D un recinto como el del enunciado del teorema de los
residuos, y supongamos que f es meromorfa en un entorno abierto de D, que f no se anula en ningn
punto de D, y que f no tiene ningn polo en D. Entonces se cumple que
f 0 (z)
Z
1
dz = N0 N ,
2i D f (z)
Demostracin. Se deduce aplicando el teorema de los residuos a f 0 (z)/f (z). En efecto, esta funcin es
holomorfa en un entorno abierto de D excepto quizs en los ceros y en los polos de f en D. Sea z0 un
cero o un polo de f , y definamos
(
orden de z0 si z0 es un cero de f ;
N = Nz0 :=
orden de z0 si z0 es un polo de f,
de modo que
f (z) = (z z0 )N g(z),
donde g es holomorfa en un entorno de z0 y g(z0 ) 6= 0. Entonces
La interpretacin geomtrica del teorema anterior es la siguiente. En las condiciones del teorema, si
suponemos adems que D es una curva cerrada simple, parametrizada por : [a, b] C, entonces se
tiene
f 0 (z)
Z b 0
f ((t)) 0 (t)
Z
1 1
dz = dt = W (, 0),
2i D f (z) 2i a f ((t))
donde (t) = f ((t)), t [a, b]. As el teorema anterior nos dice que el incremento en el argumento de
(o sea el nmero de vueltas que da la curva = f alrededor del origen) coincide con el nmero
de ceros de f en la regin interior a , menos el nmero de polos de f en dicha regin, contados con sus
multiplicidades.
Una aplicacin importante del principio del argumento es el teorema de Rouch, que nos dice que
el nmero de ceros de una funcin holomorfa en una regin dada es estable con respecto a pequeas
perturbaciones de la funcin.
Teorema 9.6 (Rouch). Sea un abierto simplemente conexo y acotado tal que su frontera es una
curva cerrada simple de clase C 1 a trozos, y sean f , g funciones holomorfas en un abierto que contiene
a . Supongamos que
|g(z)| < |f (z)| para todo z .
Entonces f y f + g tienen el mismo numero de ceros en , contando sus multiplicidades.
Demostracin. Daremos dos demostraciones del teorema, ya que ambas son instructivas y contienen
ideas que resultan tiles para probar otros resultados o resolver problemas.
La primera demostracin usa la interpretacin geomtrica del principio del argumento: por hiptesis
|f + g| |f | |g| > 0 en , lo que implica que f 6= 0 6= f + g en . Escribiendo
g
f +g =f 1+ ,
f
obtenemos
g
arg(f + g) = arg(f ) + arg 1 + ,
f
96 CAPTULO 9. FUNCIONES MEROMORFAS Y RESIDUOS
y puesto que |g/f | < 1 en , los valores de 1 + g(z)/f (z), z , estn en el semiplano derecho,
lo que implica que el incremento en el argumento de 1 + g(z)/f (z) cuando z se mueve en una curva
cerrada tal como es cero. Por tanto las funciones arg(f (z)+g(z)) y arg(f (z)) experimentan el mismo
incremento cuando z se mueve a lo largo de . Por el principio del argumento este incremento coincide
con el nmero de ceros de f dentro de , y tambin con el de f + g. Por tanto f y f + g tienen el mismo
nmero de ceros en .
La segunda demostracin es analtica: para cada t [0, 1] definamos
|ft (z)| = |f (z) + tg(z)| |f (z)| t|g(z)| |f (z)| |g(z)| > 0 si z , t [0, 1],
y por tanto ft no tiene ningn cero en . Por el principio del argumento obtenemos entonces que
ft0 (z)
Z Z b
1 1
nt = dz = H(t, (s)) 0 (s)ds,
2i ft (z) 2i a
donde : [a, b] C parametriza y H es la funcin definida por
f 0 (z) + tg 0 (z)
H(t, z) = , (t, z) [a, b] .
f (z) + tg(z)
Rb
Es fcil ver que la funcin [0, 1] 3 t 7 nt = a H(t, (s)) 0 (s)ds es continua (o aplquese el ejercicio
4.7 del captulo 4). Pero como nt slo toma valores enteros y [0, 1] es conexo, se deduce que nt debe
ser constante, y en particular n0 = n1 (es decir, el nmero de ceros de f0 = f coincide con el de
f1 = f + g).
9.3. Problemas
Problema 9.1. Si P y Q son polinomios complejos tales que grado(Q) grado(P ) + 2 y Q no tiene
ceros en R, demostrar que
Z m
P (x) X P
dx = 2i Res , zj ,
Q(x) Q
j=1
R cos(ax)
Problema 9.2. Probar que 1+x2 dx = ea .
9.3. PROBLEMAS 97
R cos x
Problema 9.3. Calcular (x2 +a2 )(x2 +b2 ) dx.
Problema 9.4. Sean Q(z) un polinomio complejo sin ceros en R, y f una funcin holomorfa en un
abierto que contiene el semiplano superior cerrado. Supongamos que existe b < m 1 tal que |f (z)|
|z|b para |z| > 1. Probar que, si z1 , ..., zm son los ceros de Q(z) en el semiplano superior abierto, se
tiene que
Z m
f (x) X f
dx = 2i Res , zj .
Q(x) Q
j=1
R 2 1
Problema 9.5. Calcular 0 a+cos d si a > 1.
Indicacin: usar el teorema de los residuos en el crculo unidad.
Problema 9.11. El lema de Jordan puede usarse para calcular mediante el teorema de los residuos
R P (x) R P (x)
integrales del tipo Q(x) sen xdx o del tipo Q(x) cos xdx, donde P y Q son polinomios con
grado(Q) = grado(P ) + 1 y Q no tiene ceros en R. Por ejemplo, demostrar que
R
x3 sen x
Z
lm 2 2
dx = .
R R (x + 1) 2e
98 CAPTULO 9. FUNCIONES MEROMORFAS Y RESIDUOS
Problema 9.13. Usar el teorema de Rouch para averiguar cuntos ceros tiene el polinomio P (z) =
z 6 + 9z 4 + z 3 + 2z + 4 dentro del crculo unidad.
Problema 9.14. Demostrar que 2z 5 + 6z 1 tiene una raz en el intervalo (0, 1) y cuatros races en el
anillo {z : 1 < |z| < 2}.
z2 zm
P (z) = 1 + z + + ... + + 3z n
2! m!
tiene exactamente n races en el disco unidad.
Problema 9.16. Sea f : C C meromorfa, y supongamos que existe m N tal que ](f 1 (w)) m
para cada w C. Probar que f es racional.
Problema 9.17. Sea f = P/Q una funcin racional, donde P y Q no tienen ceros en comn, y definamos
d = max{grado(P ), grado(Q)}. Probar que para cada w C \ {f ()} se tiene ](f 1 (w)) = d, y que
](f 1 (w)) = d para todo w C (contando multiplicidades).
Problema 9.18. Sea un dominio simplemente conexo con frontera una curva cerrada de clase C 1 a
trozos, y sean f, g meromorfas en un entorno abierto de tales que ni f ni g tienen ceros o polos en .
Dar un ejemplo que muestre que f y f + g pueden tener un nmero diferente de ceros en .
Problema 9.19. Sin embargo, en la situacin del ejercicio anterior, puede encontrarse una relacin entre
el nmero de ceros y el nmero de polos de f y de f + g. Encuntrese y demustrese.
Captulo 10
Demostracin. Sea w0 f (), digamos f (z0 ) = w0 con z0 . Queremos encontrar > 0 tal que
D(w0 , ) f (). Por el teorema de identidad, puesto que f no es constante, existe > 0 tal que
D(z0 , ) y f (z) 6= w0 para todo z D(z0 , ) \ {z0 }. Entonces, como D(z0 , ) es compacto y
f w0 es continua y no se anula en este conjunto, existe > 0 tal que
Veamos que para este se tiene D(w0 , ) f (). Dado w D(w0 , ), definamos las funciones
g(z) = f (z) w;
F (z) = f (z) w0 ;
G(z) = w0 w,
de modo que
g(z) = F (z) + G(z).
Se tiene |F (z)| > |G(z)| para cada z D(z0 , ), y por supuesto F y G son holomorfas en un entorno
de D(z0 , ). Entonces, por el teorema de Rouch, g = F + G debe tener un cero en D(z0 , ), ya
que F lo tiene (en z0 ). Esto significa que existe z D(z0 , ) tal que f (z) = w, y por tanto que
w f (D(z0 , )) f ().
99
100 CAPTULO 10. TEOREMA DE LA APLICACIN ABIERTA. APLICACIONES CONFORMES
Entonces, si n n0 ,
fn (z) = fn (z) f (z) + f (z) := gn (z) + f (z),
donde gn es holomorfa y |gn (z)| /2 < |f (z)| para todo z D(z0 , ). Por el teorema de
Rouch (aplicado a f + gn ), resulta que fn = f + gn y f tienen el mismo nmero de ceros, es decir N
ceros, en el disco D(z0 , ), para todo n n0 . Adems, puesto que puede tomarse tan pequeo como
se desee, es claro que estos N ceros convergern a z0 cuando n .
Corolario 10.5. Sea (fn ) una sucesin de funciones holomorfas e inyectivas en un abierto conexo de
C, y supongamos que fn converge a una funcin f , uniformemente en cada compacto de . Entonces f
es o bien inyectiva o bien constante.
Demostracin. Supongamos que f no es constante, y sean z0 , 0 tales que f (z0 ) = f (0 ) = w0 .
Queremos ver que z0 = 0 . Puesto que f no es constante, z0 y 0 son ceros de orden finito de z 7
f (z) w0 . Por el teorema de Hurwitz existen sucesiones zn z0 y n 0 tales que
fn (zn ) = w0 = fn (n )
para todo n, y como fn es inyectiva se deduce que zn = n para todo n, de donde, tomando lmites,
z0 = 0 .
f 1 ()
Z 2 1
(t)f 0 ((t)) 0
Z Z 2
1 f (f ((t))) 0
f (w) = d = (t)dt = (t)dt
f w 0 f ((t)) w 0 f ((t)) w
zf 0 (z)
Z
= dz
|zz0 |=r f (z) w
El siguiente teorema garantiza que las funciones inyectivas y holomorfas son automticamente con-
formes.
Teorema 10.7. Sea U un abierto de C. Si f : U C es holomorfa e inyectiva entonces f 0 (z) 6= 0 para
todo z U . En particular f es conforme, y tambin lo es su inversa f 1 : f (U ) U .
Demostracin. Supongamos que f 0 (z0 ) = 0 para algn z0 U . Pongamos w0 = f (z0 ). Entonces, para
r0 > 0 con D(z0 , r0 ) U podemos escribir
X
f (z) = w0 + an (z z0 )n , z D(z0 , r0 ),
n=k
102 CAPTULO 10. TEOREMA DE LA APLICACIN ABIERTA. APLICACIONES CONFORMES
Pongamos entonces
:= mn |f (z) w0 | > 0,
zD(z0 ,)
Entonces, por el teorema de Rouch, las funciones y g tienen el mismo nmero de ceros en D(z0 , ),
a saber, k ceros (ya que tiene un cero de orden k en z0 , y ningn otro en el disco D(z0 , )). Es decir,
la ecuacin f (z) = w tiene exactamente k soluciones para z dentro del disco D(z0 , ). Adems estas
soluciones son distintas, ya que los ceros de orden mayor que uno de g en D(z0 , ) son ceros de su
derivada, que es igual a f 0 , y f 0 no tiene ceros en D(z0 , ) \ {z0 }. Por tanto, como k 2, existen
z1 , z2 D(z0 , ), z1 6= z2 , tales que
f (z1 ) = w = f (z2 ),
2. Si para algn z0 D\{0} es |f (z0 )| = |z0 |, entonces f es una rotacin (es decir existe [0, 2]
tal que f (z) = ei z).
3. |f 0 (0)| 1.
1. Diremos que F es normal si toda sucesin (fn )nN F tiene un subsucesin que converge a una
funcin f : C, uniformemente en cada subconjunto compacto de . 3
2. Diremos que F est uniformemente acotada en los compactos de si para cada K compacto
existe MK > 0 tal que |f (z)| MK para todo z K y toda f F.
3. Diremos que F es equicontinua en un conjunto A si para todo > 0 existe > 0 tal que si
z, w A y |z w| entonces |f (z) f (w)| para toda f F.
2. F es normal.
1 2r|z w| 1
2
sup |g()| := M |z w|.
2 2r gF , K+D(0,2r) r
donde
1
Kj = {z : d(z, ) , |z| j}.
j
Cada Kj es compacto, y se cumple adems que Kj int(Kj+1 ). Por lo anterior, sabemos que existe
(1,n ) subsucesin de (fn ) que converge uniformemente en K1 . Como {1,n : n N} sigue siendo
equicontinua en cada compacto, el argumento anterior tambin muestra que existe (2,n ) subsucesin de
(1,n ) tal que (2,n ) converge en K2 . Continuamos el proceso de esta forma y definimos (n ) como la
subsucesin diagonal n (z) = n,n (z). Entonces (n ) es una subsucesin de (fn ) que converge unifor-
memente en Kj , para cada j N (por ser (n )nj subsucesin de (j,n ), que converge uniformemente
en Kj ). Puesto que para cada K compacto existe j0 N tal que K Kj0 , se deduce que (n )
converge uniformemente en K.
La unicidad de la aplicacin f del teorema es fcil de demostrar: si g es otra aplicacin con las
mismas propiedades entonces H = f g 1 : D D es conforme y tiene la propiedad de que H(0) = 0
luego, por el lema de Schwarz, |H(z)| |z|. Pero H 1 = g f 1 tiene estas mismas propiedades, luego
tambin |z| |H(z)|. Por tanto |H(z)| = |z| para todo z D y, otra vez por el lema de Schwarz, H es
una rotacin, es decir H(z) = ei z para cierto [0, 2). Pero adems
1 f 0 (z0 )
H 0 (0) = f 0 (g 1 (0)) = (0, ),
g 0 (g 1 (0)) g 0 (z0 )
ef (z) = z 0
cualquiera que sea w (en efecto, de lo contrario existe (zn ) tal que f (zn ) converge a f (w)+2i
luego, tomando exponenciales, zn 0 converge a w 0 , es decir zn w, luego f (w) = f (w) + 2i,
que es absurdo). Fijemos pues w , tomemos
y definamos
1
(z) = .
f (z) f (w) 2i
Es obvio que es holomorfa e inyectiva, luego : () es conforme. Adems () D(0, 1/),
y por supuesto () es abierto. Componiendo con una traslacin y una homotecia h adecuadas,
obtenemos una funcin = h con las propiedades deseadas.
Paso 2. Gracias al Paso 1, podemos suponer, y lo supondremos en todo lo que sigue, que 0 D.
Definamos
F = {f : D | f es holomorfa, inyectiva, y f (0) = 0}.
Se tiene que F =
6 (por ejemplo, la identidad est en F), y que F es uniformemente acotada en los
compactos de (y de hecho en todo , puesto que f () D para toda f F). Definamos ahora
= sup |f 0 (0)|,
f F
y observemos que < (gracias a las desigualdades de Cauchy, tomando r > 0 tal que D(0, r)
y recordando que f () D, se tiene |f 0 (0)| 1r para toda f F). Ntese tambin que 1, ya que
la identidad est en F. Elijamos una sucesin (fn ) F tal que
lm |fn0 (0)| = .
n
106 CAPTULO 10. TEOREMA DE LA APLICACIN ABIERTA. APLICACIONES CONFORMES
Por el teorema de Montel podemos extraer una subsucesin convergente uniformemente en cada com-
pacto de a una funcin holomorfa f : C. Por comodidad de notacin, podemos seguir llamando
(fn ) a esta subsucesin. Recordemos que las derivadas fn0 tambin convergen uniformemente en cada
compacto a la derivada f 0 , y as
de lo que se deduce que f no puede ser constante. Entonces, gracias al Corolario 10.5, f es inyectiva
. Por otra parte |fn (z)| 1 para todo n, luego tambin |f (z)| 1, es decir F () D. Pero por el
teorema de la aplicacin abierta, al ser f () un abierto contenido en D, debe estar de hecho contenido
en D. Adems fn (0) = 0 para todo n, luego tambin f (0) = 0. De todo ello deducimos que f F, y
que
|f 0 (0)| = sup |g 0 (0)| = .
gF
f = 1
w h g(w) F = F,
donde = 1 w h g(w) , y como (D) D y (0) = 0, gracias al Lema de Schwarz sabemos que
0
| (0)| < 1 (de lo contrario sera una rotacin y en particular biyectiva, lo que es claramente falso ya
que h no lo es y w , g(w) s lo son). Pero entonces
Observacin 10.2. Conviene sealar que las nicas partes de la prueba anterior en las que se usa que
sea simplemente conexo son cuando se manejan la ramas holomorfas del logaritmo y de la raz cuadrada
en los pasos 1 y 3. Revisando la demostracin de la construccin de log , se ve que estas funciones
10.2. APLICACIONES CONFORMES ENTRE ABIERTOS DE C 107
existen siempre que sepamos que cualquier funcin holomorfa en tiene una primitiva,
R o bien, equiva-
lentemente, que sea holomrficamente simplemente conexo, en el sentido de que f = 0 para toda
f : C holomorfa y toda curva cerrada en de clase C 1 a trozos. Por tanto el teorema de la
aplicacin de Riemann es vlido cambiando la hiptesis de que sea simplemente conexo por esta otra.
Esto nos permite demostrar la siguiente versin del Teorema 4.5 del captulo 7 para abiertos no
necesariamente acotados.
Teorema 10.12. Sea un abierto de C. Las siguientes propiedades son equivalentes:
1. es simplemente conexo.
2. Toda funcin holomorfa f : C tiene una primitiva.
3. Para todaRcurva cerrada en de clase C 1 a trozos, y toda funcin holomorfa f : C se
tiene que f = 0.
Demostracin. Sabemos que (1) = (2) (3). Veamos que (3) = (1). Por la observacin
anterior el teorema de la aplicacin de Riemann es vlido para el abierto , luego existe F : D
conforme. Como los homeomorfismos preservan la conexin simple y D es simplemente conexo, se
deduce que tambin lo es.
Una pregunta natural y adems importante (por cuestiones relacionadas con la solucin del problema
de Dirichlet que veremos en el prximo capitulo) es la de si la aplicacin de Riemann puede extenderse a
la frontera de con continuidad e inyectividad. En general la respuesta a esta pregunta es negativa, pero
si suponemos que es acotado y su borde es una curva cerrada simple, entonces es positiva.4
Teorema 10.13. [Carathodory] Sean U abierto acotado de C, y f : D U conforme. Entonces f
puede extenderse a un homeomorfismo fe : D U si y slo si U es una curva cerrada simple.
Demostracin. Si una tal extensin fe existe entonces se tiene fe(D) = U , y por tanto U es una curva
cerrada simple. El recproco no es en absoluto obvio; dividiremos la demostracin en dos pasos.
Paso 1. Si U es una curva cerrada simple entonces f puede extenderse a D con continuidad, de
manera nica. Esto equivale a decir que f : D U es uniformemente continua (ya que toda funcin
uniformemente continua en un conjunto A tiene una nica extensin a la adherencia de A). Supongamos
pues que f no es uniformemente continua, y llegaremos a una contradiccin. Existen > 0, y sucesiones
(zn ) D, (wn ) D tales que |zn wn | 0 pero
|f (zn ) f (wn )| 2 (10.1)
para todo n. Puesto que D es compacto, existe una subsucesin de (zn ), que podemos seguir denotando
(zn ), que converge a un punto D. Necesariamente
lm zn = lm wn = D,
n n
ya que f es continua en el interior de D. Para cada r (0, 1), sea r : (r , r ) C la curva r (t) =
+ reit , con r , r elegidos de tal forma que
r (r , r ) = D D(, r).
La longitud de esta curva puede estimarse como sigue:
Z r Z r
0 0
long(f r ) = |f (r (t))r (t)|dt = |r0 (t)|1/2 ) |f 0 (r (t))| |r0 (t)|1/2 dt
r r
Z r 21 Z r 12 Z r 12
1
|r0 (t)|dt |f 0 (r0 (t)|2 |r0 (t)|dt (2r) 2 |f 0 ( + rei )|2 rd ,
r r r
4
Este resultado es llamativo, ya que no supone que U sea rectificable, ni siquiera localmente en algn punto: por ejemplo
U podra ser la curva de Koch con forma de copo de nieve.
108 CAPTULO 10. TEOREMA DE LA APLICACIN ABIERTA. APLICACIONES CONFORMES
de donde
long(f r )2
Z
2 |f 0 ( + rei )|2 rd,
r {:|+rei |1}
y as
Z 1
long(f r )2
Z Z
1 0
dr 2
|f (x + iy)| dxdy |f 0 (x + iy)|2 dxdy = rea(f (D)) < ,
2 0 r DD(,1) D
puesto que U = f (D) es acotado. Esto implica que debe existir una sucesin rn 0+ tal que long(f
rn ) 0 (de lo contrario las integrales de las desigualdades anteriores seran infinitas). Por comodidad
de notacin escribiremos n en lugar de rn , y n y n en lugar de rn y rn en todo lo que sigue.
Tenemos as una sucesin de curvas f n con longitudes finitas que tienden a 0 cuando n .
Por tener longitud finita, la curva f n : (n , n ) C tiene una nica extensin continua a
[n , n ], que seguiremos denotando n , con
Z 0
f n (n ) := an := f (n (0 )) + f 0 (n (t))n0 (t)dt,
n
y
Z n
f n (n ) := bn := f (n (0 )) + f 0 (n (t))n0 (t)dt,
0
siendo 0 un nmero cualquiera en el intervalo (n , n ). Como el dimetro de una curva es menor o
igual que su longitud, tenemos que
|an bn | long(f n ) 0
cuando n . Adems es fcil ver que an , bn U . Sea n la curva dentro de U que conecta an
con bn y tiene menor dimetro de las dos curvas que hay en U con esta propiedad. Recurdese que
U es homeomorfo a la circunferencia unidad S1 por definicin de curva cerrada simple. Si h : S1
U es un tal homeomorfismo y elegimos tn , sn S1 con h(sn ) = an , h(tn ) = bn , puesto que h es
uniformemente continuo (por ser S 1 compacta) y |an bn | 0, se obtiene |tn sn | 0, lo que, como
se ve inmediatamente implica, usando otra vez la continuidad uniforme de h, que diam(n ) 0.
Consideremos ahora la curva cerrada simple n (f n ), y llamemos Un a la regin interior a ella,
de forma que n (f n ) = Un . Puesto que diam(n ) 0 y
diam(f n ) long(f n ) 0,
lm diam(Un ) = 0. (10.2)
n
10.2. APLICACIONES CONFORMES ENTRE ABIERTOS DE C 109
f (Vn ) = Un
(de lo contrario, como slo hay dos componentes conexas en D \ n y en f (D) \ (f n ), tendramos
f (D \ Vn ) = Un , luego tambin diam(Un ) f (D(0, 1/2)) > 0 para todo n, lo que contradice (10.2)).
Por tanto hemos probado que
lm diam(f (Vn )) = 0. (10.3)
n
Pero, extrayendo subsucesiones de (zn ), (wn ) si fuera necesario, podemos suponer que zn , wn Vn para
todo n, y entonces (10.1) y (10.3) se contradicen mutuamente.
Paso 2. La nica extensin continua de f a D es inyectiva, y define un homeomorfismo de D en U .
Llamemos tambin f a esta nica extensin que ya sabemos que existe gracias al Paso 1. Se tiene que
f (D) es compacto y contiene a U , luego U f (D). Adems la continuidad de f tambin implica que
f (D) f (D) = U . Luego f : D U es continua y sobreyectiva, y como D es compacto, para ver que
f es un homeomorfismo basta probar que f es inyectiva. Ya sabemos que lo es en D. Adems, es fcil
ver, usando que f : D U es un homeomorfismo, que f (D) U . Por tanto para probar que f es
inyectiva, supondremos que existen 1 , 2 D tales que 1 6= 2 y f (1 ) = f (2 ) U , y llegaremos
a una contradiccin. Pongamos 1 = ei1 , 2 = ei2 , donde podemos suponer 0 1 < 2 2, y
definamos las curvas
(t) = eit , t [1 , 2 ],
(t) = eit , t [2 , 1 ],
y las regiones
W2 = regin interior a [0, 1 ] [2 , 0],
W1 = D \ W2 ,
V = regin interior a f ([0, 1 ] [2 , 0]).
Vase el dibujo.
Por un argumento obvio de conexin, se tiene que o bien f (W1 ) = V o bien f (W2 ) = V . Supongamos
por ejemplo f (W2 ) = V (el argumento es anlogo en el otro caso). Entonces
f () V U = {f (1 )} = {f (2 )},
Ahora bien, componiendo f con la aplicacin conforme F que lleva el semiplano superior H :=
{z C : Im(z) > 0} en D, definida por
iz
F (z) =
i+z
(funcin que adems se extiende con continuidad a R y lleva R en D \ {1}), y multiplicando por una
constante adecuada obtenemos una funcin fe = f F que es holomorfa en + := {z C : Im(z) >
0, |z a0 | < r} (donde a0 R y r > 0 son tales que F ([a0 r, a0 + r]) ), que se extiende con
continuidad a I := (a0 r, a0 + r), y toma un valor constante, y real, en I. Por el principio de simetra
de Schwarz fe puede extenderse holomorfamente a D(a0 , r), y la extensin slo puede ser constante (por
el teorema de identidad, ya que fe es constante en I). Esto implica que f es constante en D(F (a0 ), s) D
para s suficientemente pequeo, lo que de nuevo por el teorema de identidad asegura que f es constante
en D, lo cual es absurdo.
Si adems se supone que U es una curva analtica, es inmediato deducir, del teorema anterior y
del Teorema 6.5, que toda aplicacin conforme f : D U puede extenderse (de manera nica) a una
aplicacin holomorfa definida en un entorno abierto de D. De esto a su vez se desprende lo siguiente.
Corolario 10.14. Si f : 1 2 es una aplicacin conforme entre dos abiertos simplemente conexos
y acotados de C cuyas fronteras son curvas cerradas simples analticas, entonces existen abiertos W1 y
W2 que contienen a 1 y 2 respectivamente, y una aplicacin conforme F : W1 W2 tal que F = f
en 1 .
10.3. Problemas
Problema 10.1. Sea U un conjunto acotado, y sea f : U C continua tal que f es holomorfa en U .
Demostrar que (f (U )) f (U ).
Problema 10.2. El objetivo de este problema es dar una versin del teorema de la funcin implcita para
funciones holomorfas. Sean un abierto de C2 y F : C continua. Supongamos que para cada w
fijo la funcin z 7 F (z, w) es holomorfa, y denotemos
F (z, w)
F1 (z, w) = .
z
Supongamos que F (z0 , w0 ) = 0 y que F1 (z0 , w0 ) 6= 0, y elijamos > 0 tal que F (z, w0 ) 6= 0 si
z D(z0 , ) \ {z0 }.
1. Demostrar que existe > 0 tal que para cada w D(w0 , ) existe un nico z = g(w) tal que
z D(z0 , ) y F (z, w) = 0.
2. Probar que Z
1 F1 (, w)
g(w) = d
2i |z0 |= F (, w)
para todo w D(w0 , ).
Indicacin: usar el teorema de los residuos con la funcin 7 F1 (, w)/F (, w).
Problema 10.3. Sean f una funcin holomorfa definida en un entorno de z0 . Supongamos que z0 es cero
de orden n de la derivada f 0 , y pongamos w0 = f (z0 ). Demostrar que:
1. Existe > 0 tal que f 0 (z) 6= 0 y f (z) 6= w0 para todo z D(z0 , ) \ {z0 }.
Problema 10.5. Comprobar que f (z) = 1+z 1z lleva el semidisco unidad superior conformemente en el
primer cuadrante del plano. Qu ocurre con las fronteras?
Problema 10.6. Se llama automorfismo del disco unidad D a toda aplicacin conforme de D en D.
Demostrar que todo automorfismo de D es de la forma
wz
f (z) = ei := ei w (z)
1 wz
para ciertos [0, 2] y w D.
Indicacin: si f (w) = 0, aplicar el lema de Schwarz a g := f w y a g 1 .
Problema 10.7. Probar que los nicos automorfismos de D que fijan el origen son las rotaciones.
Problema 10.8. Demostrar que para cualesquiera a, b D existe f : D D conforme tal que f (a) = b.
Problema 10.9. Dar un ejemplo de abierto acotado simplemente conexo cuya frontera no es una curva
cerrada simple.
112 CAPTULO 10. TEOREMA DE LA APLICACIN ABIERTA. APLICACIONES CONFORMES
Captulo 11
113
114 CAPTULO 11. LAS FUNCIONES ARMNICAS Y EL PROBLEMA DE DIRICHLET
suponiendo que la serie converja y las series de las dos primeras derivadas tambin converjan.
Podramos esperar incluso que todas las soluciones de la ecuacin de Laplace en el disco sean de esta
forma, lo que nos conduce inmediatamente P a la siguiente pregunta: dada una funcin continua f en D,
existen nmeros an C tales que f () = mZ am eim ? Esta es una de las preguntas fundamentales
del Anlisis de Fourier de la que hablaremos muy brevemente en la siguiente seccin. Avanzamos que
esto no siempre es as, aunque s que es verdad si se supone, por ejemplo, que f es Lipchitz.
Cabe esperar, sin embargo, que incluso si la serie de Fourier de una funcin continua f no converge,
an tengamos que X
f () = lm am r|m| eim ,
r1
mZ
con lo cual la funcin u : D C definida, en coordenadas polares, por u(r, ) = mZ am r|m| eim
P
si 0 r < 1, y por u(1, ) = f (), sera continua en D, dos veces diferenciable en D, y satisfara la
ecuacin u = 0. Es decir, habramos resuelto el problema
(
u = 0 en D,
u=f en D.
En este captulo probaremos que esto es realmente as, y que de hecho la funcin u as definida es la
nica solucin de esta ecuacin. Ms en general, veremos cmo este tipo de problema puede resolverse
en dominios que son conformemente equivalentes a D y estn limitados por curvas cerradas simples.
y diremos que S(f, t) converge si existe lmN SN (f, t). Probaremos ms adelante en este captulo
(ver los Corolarios 11.9 y 11.10) que si f es continua y la serie SN (f, t) converge uniformemente a una
funcin g(t), entonces necesariamente f = g.
Averiguar bajo qu condiciones y de qu forma converge una serie de Fourier es uno de los problemas
fundamentales del Anlisis de Fourier, y no resulta nada fcil de responder. Fourier (1768-1830) pensaba
que toda funcin continua f debera tener la propiedad de que su serie de Fourier convergera a f , pero,
11.3. CONVOLUCIN DE FUNCIONES Y NCLEOS DE SUMABILIDAD 115
como demostr Du Bois-Reymond en 1873, estaba equivocado. Sin embargo el conjunto de los puntos en
los que la convergencia de la serie de Fourier de una funcin continua puede fallar, aunque posiblemente
infinito, es relativamente pequeo: tiene medida cero. Esto fue demostrado en 1966 por Carleson.
En general puede demostrarse fcilmente (usando integracin por partes) que cuanto ms regular es
una funcin f (en el sentido de tener mayor diferenciabilidad), ms rpidamente decrecen sus coeficien-
tes de Fourier fb(n) cuando |n| , y porPtanto ms rpidamenteP converger su serie de RFourier. Por
ejemplo, si f es de clase C 2 en T, se ve que nZ |fb(n)| C 1
n=1 n2 < , con C = 2 1
T |f |. Tam-
1
bin es cierto, aunque menos inmediato, que si f es de clase C a trozos entonces nZ |fb(n)| < ,2
P
lo que implica la convergencia absoluta y uniforme de S(f, t) a f (t). P
Por otro lado, si f es la restriccin a D de una serie de Laurent nZ an z n que converge en un
anillo 0 < |z| con < 1 < , entonces sabemos que
X
f (ei ) = an ein
n=
uniformemente en , y se deduce adems integrando el producto f (ei )eik en [0, 2], que ak = fb(k)
para cada k Z. En particular, si f es holomorfa en un entorno de D, resulta que todos los coeficientes
de Fourier fb(n) se anulan para n < 0.
Sin embargo todos estos resultados, y otros muchos an ms finos, no son suficientes para resolver
problemas como el de Dirichlet si se desea imponer como dato de frontera una funcin meramente
continua (es decir, resolver u = 0 en D con u = f en D, suponiendo slo que f es continua). En
este tipo de problemas resulta muy til considerar nociones de convergencia ms dbiles, que pueden
definirse mediante convoluciones con diversos ncleos.
2
Esto puede verse fcilmente una vez que se ha estudiado la convergencia en media cuadrtica de las series de Fourier,
integrando por partes y usando que f 0 L2 (T). Vanse los problemas 11.2 y 11.3.
116 CAPTULO 11. LAS FUNCIONES ARMNICAS Y EL PROBLEMA DE DIRICHLET
2. f g = g f
3. f (g h) = (f g) h.
Adems, en el caso en que f, g L1 (T), se tiene
(f g)(x) = (f g)(x)
y como la funcin kDgk f es integrable, se sigue del teorema de la convergencia dominada que
f g(x1 ..., xj + tn , ..., xd ) f g(x1 , ..., xd )
Z
lm = lm hn (y)dy
n tn n
Z Z
g g
= lm hn (y) = f (y) (x y)dy = f (x).
n xj xj
11.3. CONVOLUCIN DE FUNCIONES Y NCLEOS DE SUMABILIDAD 117
Definicin 11.1. Se dice que una sucesin {n }nN de funciones de L1 (T) es un ncleo de sumabilidad
en L1 (T) si
1. supnN kn k1 <
1
R
2. 2 T n = 1 para todo n
R
3. lmn T\[r,r] |n | = 0 para todo r (0, ).
1. supnN kn k1 <
R
2. Rm n = 1 para todo n
R
3. lmn Rm \B(0,r) |n | = 0 para todo r > 0.
Tambin puede cambiarse en esta definicin la familia numerable de funciones {n } por una familia
no numerable {t } con t (a, b) R, y tomar lmites cuando t a+ (o cuando t b ). Por ejemplo,
en el caso (a, b) = (0, ), t 0+ , una familia {t }t>0 es un ncleo de sumabilidad en L1 (Rm ) si
1. supt>0 kt k1 <
R
2. Rm t = 1 para todo t > 0, y
R
3. lmt0+ Rm \B(0,r) |t | = 0 para todo r > 0.
Como ejemplo bsico de ncleo de sumabilidad en L1 (Rm ) tenemos el ncleo del calor, definido
por
1 2
t (x) = n/2
e|x| /4t ,
(4t)
y llamado as porque u(t, x) = f t (x) es la solucin de la ecuacin del calor
(
ut x u = 0 en (0, +) Rm ,
u(0, x) = f (x) para x Rm .
En este ejemplo t (0, ), y los lmites se toman cuando t 0+ . Ntese que en el caso de ncleos
positivos {t }t>0 como es el del calor, la definicin de ncleo de sumabilidad equivale a decir que:
R
1. Rm t = 1 para todo t > 0, y
R
2. lmt0+ Rm \B(0,r) t = 0 para todo r > 0.
3
Alternativamente, la prueba se obtiene aplicando un teorema de derivacin bajo el signo integral; lo que acabamos de hacer
esencialmente consiste en demostrar uno de estos teoremas.
118 CAPTULO 11. LAS FUNCIONES ARMNICAS Y EL PROBLEMA DE DIRICHLET
lm Dk (f n )(x) = Dk f (x)
n
Demostracin: Dado > 0, al ser f uniformemente continua existe r > 0 tal que |f (x y) R f (x)|
/3 supn kn k1 si |y| R r. Por otro lado, como {n } es un ncleo de sumabilidad se tiene n = 1,
y tambin que lmn |y|>r n (y)dy = 0. Por tanto existe N N tal que |n | /2(1 + kf k ) y
R
|y|>r |n (y)|dy /4(1 + kf k ) para todo n N . Entonces, para todo n N y todo x se tiene
Z Z
|f n (x) f (x)| = | (f (x y) f (x)) n (y)dy| |f (x y) f (x)| |n (y)|dy
Z Z
|f (x y) f (x)| |n (y)|dy + |f (x y) f (x)| |n (y)|dy
|y|r |y|>r
Z
sup kn k1 + 2kf k |n (y)|dy + = .
nN |y|>r 2 2
1 x
(x) = . (11.2)
n
11.4. EL NCLEO DE POISSON Y LA SOLUCIN DEL PROBLEMA DE DIRICHLET EN EL DISCO119
Es fcil ver que cada funcin es de clase C (Rn ), tiene soporte en B(0, ), e integral 1. Por tanto,
{ }>0 es un ncleo de sumabilidad. En los textos en lengua inglesa a las funciones se les llama
mollifiers.
Usando estas propiedades y la proposicin anterior, es inmediato comprobar que para toda funcin
continua f : Rn R, la familia de funciones f := f es de clase C y converge a f cuando 0+ ,
uniformemente sobre cada subconjunto compacto de Rn . Ms en general, si f es de clase C p (con p 1),
entonces las derivadas de f convergen a las derivadas de f (hasta el orden p), uniformemente sobre
acotados, cuando 0. Si adems Dk f es uniformemente continua en Rn , se tiene que Dk f Dk f
uniformemente en Rn .
Una variante de estos resultados es la siguiente.
Teorema 11.5. Sea un abierto de Rn . Para cada > 0 definamos = {x : d(x, ) > }. Si
f : R es una funcin continua, pongamos
Z
f (x) := f (y) (x y)dy
para cada x Rn , donde { }>0 est definida por (11.1) y (11.2). Entonces se tiene que f C (Rn ),
f = 0 en Rn \ , y lm0+ f = f , uniformemente en cada subconjunto compacto de .
La demostracin queda como ejercicio para el lector.
Puesto que la sucesin doble {fb(n)}nZ est acotada por kf k , es obvio que Ar (f, ) converge absoluta
y uniformemente en T para todo r [0, 1).
Para estudiar la convergencia de Ar (f, ) cuando r 1 , vamos a ver que Ar (f, ) = f Pr , donde
X
Pr () := r|n| ein
nZ
120 CAPTULO 11. LAS FUNCIONES ARMNICAS Y EL PROBLEMA DE DIRICHLET
es el ncleo de Poisson.
En efecto, tenemos
Z !
1 X
|n| in(t)
f Pr () = f (t) r e dt =
2 T
nZ
Z
X
|n| 1 int
X
= r f (t)e dt ein = r|n| fb(n)ein = Ar (f, ),
2 T
nZ nZ
donde el cambio de orden entre integral y suma puede justificarse por la convergencia uniforme de la
serie para cada r [0, 1).
El siguiente lema prueba que el ncleo de Poisson es un ncleo de sumabilidad.
1 r2 1 r2
0 Pr () ,
(1 | cos |)2 (1 | cos |)2
lo que prueba
R que Pr () 0 cuando r 1 , uniformemente en T \ [, ], y en particular tambin
lmr1 ||> Pr ()d = 0 para cada > 0. Finalmente, es inmediato comprobar (integrando trmino a
trmino la expresin nZ r|n| ein ) que 2
1
P R
T Pr ()d = 1 para todo r (0, 1), y por tanto {Pr }0r<1
es un ncleo de sumabilidad en L1 (T).
para todo T.
11.4. EL NCLEO DE POISSON Y LA SOLUCIN DEL PROBLEMA DE DIRICHLET EN EL DISCO121
(donde el intercambio de suma e integral se puede justificar por la convergencia uniforme de la serie).
Es decir, f y g tienen los mismos coeficientes de Fourier. Como adems ambas son continuas deducimos
del corolario anterior que f = g.
Con todo esto ya podemos demostrar la existencia y unicidad de las soluciones del problema de
Dirichlet en el disco unidad.
Teorema 11.11. Sea f C(T, R), y definamos u : D R en coordenadas polares por
X
u(r, ) = r|n| fb(n)ein = Ar (f, ) = (Pr f )().
nZ
Entonces:
1. u C (D), y u = 0.
lm u(r, ) = f (0 )
(r,)(1,0 )
122 CAPTULO 11. LAS FUNCIONES ARMNICAS Y EL PROBLEMA DE DIRICHLET
Por tanto u C(D) es solucin de (). Finalmente, la unicidad de esta solucin es consecuencia del
principio del mximo para las funciones armnicas, que estudiamos a continuacin.
Teorema 11.12 (Principio del mximo). Sean un abierto acotado y conexo de C, y u C 2 ()C().
Supongamos que u es armnica en . Entonces
Demostracin. Supongamos que existe z0 con u(z0 ) = M u(z) para todo z . Entonces, para
cada r (0, d(z0 , )), por la propiedad del valor medio de las funciones armnicas,
Z
1
M = u(z0 ) = u M,
2 D(z0 ,r)
y como, al ser u continua, la igualdad slo puede darse si u M en D(z0 , r), se deduce que u es
constante en B(z0 , r). En particular esto prueba que el conjunto {z : u(z) = M } es abierto. Como
tambin es un cerrado relativo a , que es conexo, se deduce que este conjunto coincide con , lo que
prueba la segunda parte del enunciado, que a su vez implica la primera.
Corolario 11.13. Sean un abierto acotado de C, f C(), g C(). Entonces a lo sumo existe
una nica solucin del problema (
u = f en ,
u=g en .
Corolario 11.14. Para cada disco D(z, r) R2 y cada funcin continua f : D(z, r) R existe una
nica funcin continua u : D(z, r) R tal que u = f en D(z, r) y u es armnica en D(z, r).
Demostracin. Consideremos g : D(0, 1) R, g() = f (z + r). Por el teorema 11.11 existe una
nica funcin v continua en D(0, 1) y armnica en D(0, 1), tal que v = g en D(0, 1). Entonces la
funcin u() = v (( z)/r) es armnica en D(z, r), como se comprueba fcilmente, y coincide con
f en D(z, r). Adems u es la nica funcin con estas dos propiedades: si hubiera otra tal funcin w
entonces h() = w(z + r) sera una funcin armnica en D que coincidira con g en su borde, con
lo cual, otra vez por el teorema 11.11, tendramos h = v en D, lo que equivale a decir w = u en
D(z, r).
Ya sabemos que es posible recuperar el valor de una funcin armnica en el interior de un disco
a partir del promedio de sus valores en el borde del disco. A continuacin vemos que de hecho esta
propiedad caracteriza a las funciones armnicas: basta que una funcin sea continua y tenga la propiedad
del valor medio para que automticamente sea armnica y en particular tenga derivadas de todos los
rdenes.
11.5. EL PROBLEMA DE DIRICHLET EN DOMINIOS LIMITADOS POR CURVAS DE JORDAN123
Teorema 11.15 (Propiedad del valor medio, versin 2.0). Sea R2 un abierto, y u : R una
funcin continua. Entonces u es armnica si y slo si para cada disco D(z, r) se tiene que
Z 2
1
u(z) = u(z + rei )d.
2 0
Demostracin. Que las funciones armnicas tienen esta propiedad ya lo demostramos como consecuen-
cia de la frmula integral de Cauchy y el hecho de que toda funcin armnica es localmente la parte real
de una funcin holomorfa. Recprocamente, supongamos que la frmula es vlida para todo D(z, r),
y veamos que u = 0. Es suficiente probar que u = 0 en D(z, r) para cada z , r > 0 con
D(z, r) . Fijado un tal disco, por el corolario anterior sabemos que existe una nica v solucin de
v = 0 en D(z, r) tal que v = u en D(z, r). Veamos que u = v en D(z, r), y por tanto u = 0 en
D(z, r).
Supongamos que v 6= u, por ejemplo v u > 0 en algn punto de D(z, r). Definamos
que es un compacto no vaco contenido en D(z, r) (ya que v u = 0 en D(z, r)), y sea w E tal que
|w z| = max{| z| : E}.
Como w D(z, r), existe r0 > 0 tal que D(w, r0 ) D(z, r), y por la hiptesis sobre u tenemos
Z 2
1
u(w) = u(w + r0 ei )d.
2 0
La misma propiedad tiene v por ser armnica, luego la diferencia tambin cumple
Z 2
1
(v u)(w) = (v u)(w + r0 ei )d.
2 0
contradiciendo la ecuacin anterior. Anlogamente se ve que no puede haber puntos para los cuales
v u < 0. Por tanto u = v.
Demostracin. Puesto que el resultado es de carcter local podemos suponer que V es un disco abierto.
Entonces sabemos que existe G : V C holomorfa tal que u = ReG. Como la composicin de
funciones holomorfas es holomorfa se tiene que H = G F es holomorfa, y por tanto Re(H) =
Re(G) F = u F es armnica.
Teorema 11.17. Sea un abierto acotado de C cuya frontera es una curva cerrada simple, y sea
f : R continua. Entonces existe una nica solucin del problema
(
u = 0 en ,
u=f en .
Demostracin. La unicidad es consecuencia del principio del mximo estudiado en la seccin anterior.
Para probar la existencia, sea F : D conforme (F existe gracias a teorema de la aplicacin de
Riemann). Por el teorema de Carathodory sabemos que F puede extenderse a un homeomorfismo de D
en , que seguiremos denotando F . Consideremos g = f F : D R, que es continua, y sea v la
nica solucin del problema de Dirichlet en el disco, es decir
(
v = 0 en D,
v=g en D.
11.6. Problemas
Problema 11.1. Consideremos la banda horizontal = {x + iy : 0 < y < 1}, y sean f0 , f1 : R R
continuas. Definamos f : R por f (x, 0) = f0 (x) y f (x, 1) = f1 (x). Consideremos tambin las
funciones
i ez
1 1z
F (z) = log i , G(z) = .
1+z i + ez
n Z n
2 Z
X 1 X 1
|fb(k)|2 + f (t) ikt
f (k)e dt = |f (t)|2 dt.
b
2 T 2 T
k=m k=m
Indicacin: para comenzar, usar la frmula |z|2 = zz con el integrando del trmino de la izquierda.
11.6. PROBLEMAS 125
Indicacin: integrar por partes para demostrar que fb0 (n) = infb(n). Luego usar el ejercicio anterior (con f 0 en
lugar de f ), observando que
1 b0 1 1 b0 (n)|2 .
|fb(n)| = |f (n)| + |f
|n| 2 n2
lm fb(n) = 0.
|n|
lm nk fb(n) = 0.
|n|
Problema 11.6. Sean , C > 0 y m N con m 2. Supongamos que f C(T) verifica que
C
|fb(n)|
nm+
para todo n Z con |n| suficientemente grande. Demostrar que entonces f C m1 (T).
Problema 11.7. Sea f C(T). Demostrar que las siguientes condiciones son equivalentes:
1. f es real analtica.
3. Existe a > 0 tal que la serie nZ fb(n)einz converge y define una funcin holomorfa en |Im(z)| <
P
a.
Problema 11.9. Dar una demostracin del teorema de Weierstrass de aproximacin polinmica siguien-
do estas pautas (que son esencialmente las ideas que us Weierstrass en su demostracin):
4. Escribir Z Z
X
f t (x) = f (y)t (x y)dy = f (y)Pj (x, y, t)dy,
Rn Rn j=0
y probar que puede sacarse la suma infinita fuera de la integral, con convergencia uniforme para x
en K.
126 CAPTULO 11. LAS FUNCIONES ARMNICAS Y EL PROBLEMA DE DIRICHLET
R
5. Comprobar que la funcin x 7 gj (x, t) := Rn Pj (x, y, t)dy es un polinomio j-homogneo, para
cada j N, t > 0.
Problema 11.10 (El teorema de Morera vale con crculos en lugar de tringulos). Sean abierto de C,
y f : C continua. Supongamos que Z
f =0
D
para todo disco cerrado D contenido en . Demostrar que entonces f es holomorfa en .
R
Indicacin: Definir f como en el Teorema 11.5, usar el teorema de Fubini para comprobar que D
f (z)dz = 0,
y combinar con el problema 7.8.
Problema 11.11. Demostrar que el teorema de Morera es vlido tambin si se cambian los tringulos
por traslaciones y homotecias de cualquier curva cerrada simple fija, de clase C 1 a trozos (por ejemplo,
un cuadrado, o un rectngulo).
1
Z
yf (s)
F (x, y) = ds,
(x s)2 + y 2
1. Demostrar que {Kt }t>0 es un ncleo de sumabilidad. (A este ncleo se le llama ncleo de Poisson
para el semiplano superior.)
Problema 11.13. Sea (un ) una sucesin de funciones armnicas definidas en un abierto de C, y
supongamos que (un ) converge a una funcin u, uniformemente en cada compacto de . Probar que u
tambin es armnica.
Bibliografa
La originalidad que puede tener un manual de estas caractersticas es escasa. En este caso se limita a
algunas variaciones en pruebas y enunciados, y en la seleccin y el orden de exposicin de ciertos con-
tenidos, y un puado de ejercicios. Las referencias que hemos manejado con mayor intensidad durante
la preparacin de este texto son las siguientes.
[1] J.M.M. Ansemil, S. Ponte, Manual de Anlisis de Funciones de Variable Compleja. Universidad
Complutense, 2015.
[2] T.W. Gamelin, Complex analysis. Undergraduate Texts in Mathematics. Springer-Verlag, New York,
2001.
[3] R.E. Greene, S.G. Krantz, Function theory of one complex variable. Third edition. Graduate Studies
in Mathematics, 40. American Mathematical Society, Providence, RI, 2006.
[4] W. Rudin, Real and complex analysis. Third edition. McGraw-Hill Book Co., New York, 1987.
[5] E.M. Stein, R. Shakarchi, Complex analysis. Princeton Lectures in Analysis, 2. Princeton University
Press, Princeton, NJ, 2003.
127