Apunte de Variable Compleja, segunda parte

Pawel Kroger
Funciones armonicas, integral de Poisson, desigualdad de Har-
nack
El operador de Laplace es probablemente el operador diferencial mas importante con
muchas aplicaciones fsicas. Recuerdese que el operador de Laplace en R
n
esta dado por
:=

2
x
2
1
+

2
x
2
2
+... +

2
x
2
n
, x
1
, x
2
, ..., x
n
son coordenadas rectangulares en R
n
.
Denicion de funciones armonicas: Sea u una funcion de una region en R
n
en C.
Suponga que u es dos veces diferenciable con derivadas parciales continuas. Entonces, u
se llama armonica si u = 0.
Podemos identicar C con R
2
si usamos parte real e imaginaria como coordenadas. De-
notamos la parte real e imaginaria de z en C por x e y. Entonces, el operador de Laplace
tiene la factorizacion siguiente (se supone que la funcion es dos veces diferenciable con
derivadas parciales continuas):
=

2
x
2
+

2
y
2
=
_

x
i

y
__

x
+ i

y
_
.
Teorema (funciones analticas son armonicas): Toda funcion analtica en un
abierto es armonica.
Demostracion: Sea f analtica en un abierto O. La funcion f es innitas veces difer-
enciable por la formula de Cauchy. Entonces, f =
_

x
i

y
__

x
+ i

y
_
f. Sea w
un punto cualquiera en O. Para simplicar la notacion suponemos que 0 pertenece a O
y que w = 0. (Se puede lograr eso por una translacion del plano complejo.) Entonces,
lm
z0
(f(z) f(0) f

(0)z)/z = 0. Ahora usamos que

f

(0)z = f

(0) x + i f

(0)y.
Entonces,
f
x
(0) = f

(0),
f
y
(0) = i f

(0).
Eso implica que
_

x
+ i

y
_
f(w) = 0 (recuerdese que w = 0).
Finalmente,
_

x
+ i

y
_
f = 0 en todo O implica que
_

x
i

y
__

x
+ i

y
_
f = 0.
Observacion: Adoptando la notacion de la ultima demostracion, podemos escribir
f
z
(w) =
f
x
(w) =
1
i
f
y
(w) =
1
2
_
f
x
(w) +
1
i
f
y
(w)
_
para todo w en O. Los operadores
1
2
_

x
+
1
i

y
_
y
1
2
_

x

1
i

y
_
(que pueden ser interpretados como derivadas parciales o
direccionales) se denotan por y . Una funcion f con derivadas parciales continuas de
primer orden es analtica en un abierto O si y solamente si f = 0 en O. Esta ecuacion
diferencial parcial de primer orden se llama la ecuacion de Cauchy-Riemann. Si de-
notamos parte real e imaginaria de f por u y v, la ecuacion f = 0 se convierte en el
sistema
u
x
=
v
y
,
u
y
=
v
x
. Estas ecuaciones se llaman tambien las ecuaciones de
Cauchy Riemann.
Para toda funcion analtica f vale f =
f
z
.
1
2
Ejemplos: 1.) Para toda funcion analtica f tenemos que z f(z) es armonica. Razon:
f = 0 implica que (f(z)) = 0 para todo z.
2.) Parte real y parte imaginaria de una funcion analtica son armonicas.
Razon: El operador lineal tiene coecientes reales, entonces 'u = 'u = 0 para
toda funcion analtica u. La prueba para la parte imaginaria es la misma.
3.) La funcion z Ln[z[ es armonica (y univalente) en C0. Razon: En una vecindad
de todo z
0
distinto de 0 podemos escribir la funcion dada como parte real de una funcion
analtica: Ln[z[ = ' Ln (z/z
0
) + Ln [z
0
[.
4.) Suponga que u es armonica en una region . Entonces, u es analtica. Razon:
(u) =
1
4
u = 0. (Notese que u esta denido para toda funcion u con derivadas
parciales continuas, no pedimos la diferenciablidad con respecto al argumento complejo.)
Se puede motivar la integral de Poisson con series de Laurent. Suponga que la serie
de Laurent

n=
c
n
z
n
converge en un anillo z [ R
1
< [z[ < R
2
. Para simplicar
la notacion supongamos que R
2
= 1/R
1
. Entonces, el anillo contiene la circunferencia
unitaria. Sea f la suma de la serie, entonces la serie de Laurent da el desarollo de la
funcion t f(e
it
) en una serie de Fourier:
f(e
it
) =

n=
c
n
e
int
si t en R.
Los c
n
son los coecientes de Fourier de la funcion t f(e
it
). La funcion f tiene una
extension analtica al disco z [ [z[ < R
2
solamente si todos los coecientes c
n
con
n < 0 son iguales a 0. (Podemos vericar directamente que la existencia de una extension
analtica al disco z [ [z[ < R
2
implica que c
n
=
1
2i
_

z
1n
f(z) dz = 0 seg un Cauchy
si n < 0; denota la circunferencia unitaria con centro en 0 en el sentido positivo.)
Ahora observamos que z
n
= z
n
si [z[ = 1. La funcion z

1
n=
c
n
z
n
+

n=0
c
n
z
n
es armonica en el disco z [ [z[ < R
2
. Vamos a demostrar que toda funcion continua
t f(e
it
) con t en R tiene una extension continua al disco cerrado z [ [z[ 1 que
es armonica en el interior de este disco. Podemos construir esta extension a partir del
desarollo de f en una serie de Fourier. Supongamos por un momento que f es un polinomio
de Fourier para evitar problemas con la convergencia de series innitas. La formula de
Euler nos da los coecientes c
n
:
c
n
=
1
2
_
2
0
f(e
it
) e
int
dt para todo entero n.
Entonces, la extension armonica es (recuerdese que f es un polinomio de Fourier, entonces
solamente un n umero nito de coecientes c
n
es distinto de 0):
z
1
2
1

n=
__
2
0
f(e
it
) e
int
dt
_
z
n
+
1
2

n=0
__
2
0
f(e
it
) e
int
dt
_
z
n
.
Si usamos la representacion polar z = re
i
, podemos escribir esta funcion como
re
i

1
2
1

n=
_
2
0
f(e
it
) r
n
e
in(t)
dt +
1
2

n=0
_
2
0
f(e
it
) r
n
e
in(t)
dt .
Denicion (n ucleo de Poisson): El n ucleo de Poisson P
r
(t) es la funcion (r, t)

n=
r
|n|
e
int
denida para r y t real con 0 r < 1.
Para probar que la convolucon con el n ucleo de Poisson dene una extension continua de
la funcion al disco unitario cerrado con centro en el origen que es armonica en el interior
del disco (vease el teorema abajo sobre la formula de Poisson para funciones continuas),
3
conviene probar las siguientes propiedades:
Propiedades del n ucleo de Poisson: 1.) P
r
(t) =
1r
2
12r cos t+r
2
,
2.) P
r
(t) > 0,
1
2
_

P
r
(t) dt = 1,
3.) t P
r
(t) es par y decreciente en [0, ],
4.) lm
r1
P
r
(t) = 0 si t no es un multiple entero de 2.
Demostracion: 1.) Sea z = re
it
. Entonces, P
r
(t) =
_

n=0
(re
it
)
n
+ (re
it
)
n
_
1
=
1
1re
it
+
1
1re
it
1 =
1
1z
+
1
1z
1 =
2zz
1zz+|z|
2
1 =
1|z|
2
12z+|z|
2
=
1r
2
12r cos t+r
2
.
La primera parte de 2.) y 3.), 4.) siguen de inmediato de 1.), la segunda parte de 2.) sigue
de la formula de Euler para el termino constante de la serie de Fourier t

n=
r
|n|
e
int
.
Interpretacion fsica: El n ucleo de Poisson describe la temperatura de equilibrio de una
placa homogenea en forma del disco unitario con centro en el origen si la temperatura de
la frontera es
1
(t) ( denota la distribucion de Dirac).
Observacion: Sea f un polinomio. Vamos a usar la formula de Cauchy para vericar de
nuevo que la funcion re
i

1
2
_
2
0
f(e
it
) P
r
( t) dt es igual a f si r < 1. Sea z = re
i
.
Suponga que z ,= 0. Recuerdese que P
r
(t) =
1
1re
it
+
1
1re
it
1 (visto al principio de la
demostracion de la propiedad 1.). En esta formula reemplazamos t por t y usamos
que re
i(t)
= ze
it
. Entonces,
P
r
( t) =
1
1 ze
it
+
1
1 ze
it
1 =
e
it
e
it
z

ze
it
ze
it
1
=
_
1
e
it
z

1
e
it
1/z
_
e
it
.
Al sustituir en la integral,
1
2
_
2
0
f(e
it
) P
r
( t) dt =
1
2i
_
2
0
f(e
it
)
_
1
e
it
z

1
e
it
1/z
_
de
it
dt
dt = f(z)
por la formula de Cauchy. (La funcion w
f(w)
w1/z
es analtica en una vecindad del disco
w[ [w[ 1 porque [1/z[ > 1.) El caso z = 0 es facil porque el segundo termino es en
este caso igual a 0.
Si f es un polinomio en z, podemos usar que z f(z) es un polinomio en z. Acabamos
de ver que f(re
i
) =
1
2
_
2
0
f(e
it
) P
r
( t) dt. Dado que P
r
( t) es real, sigue tambien
en este caso que f(re
i
) =
1
2
_
2
0
f(e
it
) P
r
( t) dt.
Se puede decir que la representacion por el n ucleo de Poisson es equivalente a la formula
de Cauchy en un disco. Hemos introducido el n ucleo de Poisson mediante series de Fourier
porque queremos construir una extension armonica suponiendo solamente que la funci on
en la frontera del disco es continua. (Se puede considerar funciones en la frontera que ni
siquiera son continuas como funciones acotadas medibles. Se puede generalizar eso a un
mas al reemplazar funciones por ciertas medidas.)
Teorema (formula de Poisson para funciones continuas): Sea f una funcion real
y continua denida en la circunferencia unitaria con centro en 0. Entonces, la extension
u denida por la integral de Poisson
u(re
i
) :=
_
1
2
_
2
0
f(e
it
)P
r
( t) dt si r < 1,
f(e
i
) si r = 1
es continua en el disco z [ [z[ 1 y armonica en el interior de este disco.
4
Demostraci on: Escribir el n ucleo de Poisson P
r
(t) como parte real de una funcion
analtica:
P
r
(t) = '
_
2

n=0
r
n
e
int
_
1 = '
2
1 re
it
1.
Entonces, re
i

1
2
_
2
0
f(e
it
)P
r
( t) dt es la parte real de la funcion
re
i

1
2
_
2
0
f(e
it
)
_
2
1 re
i(t)
1
_
dt.
La funcion (r, t)
2
1re
it
es uniformamente acotada en todo disco re
it
[ r 1 con
positivo, entonces re
i

1
2
_
2
0
f(e
it
)
_
2
1re
i(t)
1
_
dt es analtica en este disco para
todo positivo por Morera. Entonces, u es armonica en el interior del disco unitario con
centro en el origen porque la parte real de una funcion analtica es armonica.
Sea positivo. Aproximar f por una suma g de polinomios en z y z tal que [f(e
it
)
g(e
it
)[ < para todo t. (Entonces, g(re
i
) =

m
n=m
c
n
r
|n|
e
in
para y r real con 0
r < y un entero positivo m.) La integral de Poisson
1
2
_
2
0
g(e
it
)P
r
( t) dt es igual a
g(re
i
) si r < 1. Entonces, la extension de g denida por la integral de Poisson es continua
en el disco z [ [z[ 1. Ahora [f(e
it
) g(e
it
)[ < para todo t y la propiedad 2.) del
n ucleo de Poisson implican que

1
2
_
2
0
f(e
it
)P
r
( t) dt
1
2
_
2
0
g(e
it
)P
r
( t) dt

<
para todos r, con 0 r < 1. El lmite uniforme de funciones continuas es una funcion
continua.
Observacion: Se puede tambien probar la continuidad de la extension con estimativos
, usando las propiedades del n ucleo de Poisson (en particular, 2.)-4.)).
Observacion: La formula de Poisson da una extension armonica al interior del disco para
cualquier funcion continua en la frontera (no necesariamente real). Para la prueba es
suciente separar la parte real e imaginaria.
Observacion: La formula de Poisson tiene un analogo para cualquier disco de radio positivo
y cualquier centro. Este analogo se llama tambien la formula de Poisson. Para probar eso
usamos un cambio de variable lineal que mapea el disco en el disco unitario con centro en
el origen.
Observacion: El concepto de funciones armonicas y la integral de Poisson pueden ser
generalizados a R
n
para cualquier n. Se necesitan otros argumentos para la prueba que
la integral de Poisson en dimension mayor que 2 es armonica. Una posibilidad es probar
que toda funcion que cumple la propiedad de valor medio es armonica (vease abajo).
Denicion de la propiedad de valor medio: Sea u un funcion continua en una regi on
. Se dice que u tiene la propiedad de valor medio si para todo z en existe una sucesi on
r
n

n=1
de n umeros positivos con lmite 0 tal que para todo n sucientemente grande se
cumple que
u(z) =
1
2
_
2
0
u(z +r
n
e
it
) dt.
Justicacion: Para todo z en tenemos que la circunferencia de radio r
n
con centro en
z es un subconjunto de si el radio r
n
es sucientemente peque no.
Proposicion (la integral de Poisson tiene la propiedad de valor medio): Sea
f una funcion continua en la circunferencia unitaria con centro en 0. Entonces, la
funcion u en el interior del disco unitario denida por la integral de Poisson u(re
i
) :=
1
2
_
2
0
f(e
it
)P
r
( t) dt si r < 1 tiene la propiedad de valor medio.
5
Demostracion: Probamos eso separadamente para la parte real e imaginaria. Suponga
que f sea real. Entonces, u es la parte real de una funcion analtica. La formula de
Cauchy implica que toda funcion analtica tiene la propiedad de valor medio.
Teorema (caracterizacion de funciones armonicas por la propiedad de valor
medio): Sea u una funcion continua en una region . Entonces, u es armonica si y
solamente si u tiene la propiedad de valor medio.
Demostracion: Para la prueba suponemos que las funciones tienen valores reales. No se
pierde nada porque una funcion con valores complejos es armonica si y solamente si parte
real y parte imaginaria son armonicas. Del otro lado, una funcion con valores complejos
tiene la propiedad de valor medio si y solamente si parte real y parte imaginaria tienen
la propiedad de valor medio. Suponga que u tiene la propiedad de valor medio. Sea
D = z [ [z a[ r un disco de radio r positivo con centro en a que cabe en . La
integral de Poisson dene una funcion v continua en D y armonica en el interior de D que
coincide con u en la frontera del disco. Suponga que uv tiene un maximo estrictamente
positivo en D. Elija positivo tal que la funcion z (u v)(z) + ([z a[
2
r
2
) tiene
tambien un maximo estrictamente positivo en D, sea z
0
un punto donde esta funcion
tiene este valor maximo positivo. Dado que la funcion z (uv)(z) +([z a[
2
r
2
) es
identicamente igual a 0 en la frontera, podemos concluir que z
0
pertenece al interior de
D. Ambas funciones u y v tienen la propiedad de valor medio. Del otro lado, la funci on
cuadratica z [z a[
2
cumple
1
2
_
2
0
[z
0
+r
n
e
it
a[
2
dt =
1
2
_
2
0
[z
0
a[
2
+r
2
n
dt > [z
0
a[
2
para todo n. Entonces,
(u v)(z
0
) +[z
0
a[
2
<
1
2
_
2
0
(u v)(z
0
+r
n
e
it
) +[z
0
+r
n
e
it
a[
2
dt
para una sucesion de radios r
n
que tiende a cero. Eso contradice la suposicion que la
funcion z (u v)(z) + [z a[
2
tiene un maximo en z
0
, entonces u v no puede
tener un m aximo estrictamente positivo en D. Similar: v u no puede tener un maximo
estrictamente positivo en D. Entonces, u y v coinciden en todo D. Ya sabemos que v es
armonica en el interior del disco D.
Suponga ahora que u es armonica. Denimos la funcion v exactamente de la misma
manera como en la primera parte. Elija como antes para encontrar un punto z
0
en el
interior de tal que la funcion z (uv)(z)+[za[
2
tiene un maximo en z
0
. Entonces,

2
x
2
_
(u v)(z) +[z a[
2
_

z=z
0
0 y

2
y
2
_
(u v)(z) +[z a[
2
_

z=z
0
0;
(x e y denotan la parte real e imaginaria de z). La funcion cuadratica contribuye

2
x
2
[z
a[
2
= 2 y

2
y
2
[z a[
2
= 2. Eso contradice la suposicion que u v es armonica:
(

2
x
2
+

2
y
2
)(u v) = 0. Entonces, u y v coinciden en todo D. Ya sabemos que v cumple
la propiedad de valor medio en todo punto de D.
Observacion: Hemos usado que las integrales de Poisson denen funciones armonicas y
que las funciones armonicas forman un espacio vectorial. Ademas, funciones armonicas
alcanzan su valor maximo en la frontera de la region. Este principio de maximo motivo
una version abstracta: la teora de potencial axiomatica. Esta teora abstracta no cumplio
con las expectativas y murio.
El siguiente corolario sigue de la ultima parte de la demostracion del teorema:
Corolario (unicidad de la extension armonica): Sea u continua en un disco cerrado
D y armonica en el interior de este disco. Entonces, u es igual a la extension armonica
6
dada por la integral de Poisson.
Teorema (desigualdad de Harnack en un disco): Sea D
R
un disco de radio R y
centro en a y sea D
r
un disco de radio r menor que R con el mismo centro a. Entonces,
para toda funcion u positiva en D
R
y armonica en el interior de D
R
vale
R r
R +r
u(a) u(z)
R +r
R r
u(a) para todo z en D
r
(a).
Demostracion: Reemplazamos R por un radio menor R
s
con R
s
> r, despues consider-
aremos el lmite R
s
R. Seg un la formula de Poisson y el corolario sobre la unicidad de
la extension armonica (para la estimacion usamos tambien la propiedad 3 del n ucleo de
Poisson y la suposicion que u es positiva), tenemos que para todo con r y todo t
real
u(a +e
i
) =
1
2
_
2
0
R
2
s

2
R
2
s
2R
s
cos( t) +
2
u(a +R
s
e
it
) dt

R
2
s

2
R
2
s
2R
s
+
2
1
2
_
2
0
u(a +R
s
e
it
) dt
R
s
+r
R
s
r
u(a).
La cota superior sigue para R
s
R. La cota inferior sigue de manera similar.
Teorema (desigualdad de Harnack en una region): Sea una region y sean z
1
, z
2
dos puntos en esta region. Entonces, existe una constante C (que depende de y z
1
, z
2
pero no depende de la funcion) tal que para toda funcion u positiva y armonica en vale
u(z
1
) Cu(z
2
).
Demostracion: Sea una curva compuesta por segmentos rectos en con punto inicial
z
1
y punto nal z
2
. Al dividir estos segmentos en subsegmentos podemos lograr que
los discos con diametro igual al doble de la longitud del subsegmento y centro en la
mitad del subsegmento caben en la region . Sean w
1
y w
2
los extremos de uno de estos
subsegmentos, entonces la desigualdad de Harnack para discos aplicada a un disco de radio
[w
1
w
2
[ con centro en
w
1
+w
2
2
implica que u(w
1
)
|w
1
w
2
|+
1
2
|w
1
w
2
|
|w
1
w
2
|
1
2
|w
1
w
2
|
u(
w
1
+w
2
2
) = 3u(
w
1
+w
2
2
).
Similar: u(
w
1
+w
2
2
) 3u(w
2
). La armacon del teorema sigue por induccion.
Motivacion: El principio de reexion de Schwarz demuestra que una funcion analtica
denida en un semiplano tiene bajo ciertas ciertas condiciones una extension al otro
semiplano. Vamos a usar eso para obtener la formula de Schwarz-Cristoel (vease el
captulo sobre mapeo conforme).
Partimos con la observacion que z f(z) analtica en una vecindad de z
0
implica que
z f(z) es analtica en una vecindad de z
0
. Esta armacion sigue de la denicion:
lm
zz
0
f(z) f(z
0
)
z z
0
= lm
wz
0
_
f(w) f(z
0
)
w z
0
_
= f

(z
0
).
Teorema (principio de reexion de Schwarz): Sea una region simetrica con
respecto al eje real. Sean I la interseccion de con el eje real y
+
la interseccion de
con el semiplano superior:
+
= z [ z > 0. Suponga que f es analtica en
+
y
que lm
zx
f(z) = 0 para todo x en I.
Entonces, existe una extension analtica F de f a tal que F(z) = F(z) para todo z
en .
Observacion: La condicion lm
zx
f(z) = 0 para todo x en I es necesaria para la ex-
istencia de la extension F. Razon: F(z) = F(z) implica que F(z) = F(z) para todo
z real. Entonces, la restriccion de F al eje real es real y por continuidad sigue que
lm
zx
F(z) = 0 para todo x en I.
7
Demostracion: Sea v(z) = f(z) y v(z) = f(z) para todo z en
+
. Sea v(x) = 0 para
todo x en I. Seg un la suposicion, v es continua en . Ademas, v tiene la propiedad de
valor medio. Podemos concluir eso en los puntos de
+
porque v es la parte imaginaria de
una funcion analtica, entonces armonica. La propiedad de valor medio para los puntos
de en el semiplano inferior sigue por reexion. Finalmente, el promedio de v sobre toda
circunferencia en con centro en el eje real es igual a 0. Entonces, v es una funcion
armonica en .
Sea D
t
un disco cerrado en con centro en el eje real. Seg un la formula de Poisson,
existe una funcion analtica f
t
en el interior de D
t
tal que la parte imaginaria f
t
es igual
a v. Seg un denicion, v = f en
+
. Entonces, f
t
f es real en
+
. Seg un el teorema de
mapeo abierto, f
t
f es una constante. (Claro: esta constante es real.) Podemos elegir
f
t
tal que esta constante es igual a 0.
La funcion f
t
tiene valores reales en RD
t
, entonces la serie de Taylor en torno a t tiene
coecientes reales. Entonces, f
t
(z) = f
t
(z) para todo z en D
t
. Sea D
s
otro disco cerrado
en con centro en el eje real que tiene una interseccion no vaca con D
t
. Entonces, f
t
y f
s
coinciden en la region conexa que se obtiene como interseccion de D
t
y D
s
porque
ambas funciones coinciden con f en la interseccion de D
t
y D
s
con el semiplano superior.
Eso justica la denicion F(z) := f(z) para todo z en
+
, F(z) := f
t
(z) para todo z
en D
t
y todo disco D
t
en y nalmente F(z) := f(z) para todo z en con z < 0.
La funcion F es analtica en porque F coincide en una vecindad de todo punto de
con una o varias de las funciones f, f
t
o z f(z).
Observacion: Las funciones elementales exp, cos, z z
n
para n entero y algunas funciones
no elementales como la funcion de Euler y la funcion de Riemann que vamos a considerar
mas tarde tienen valores reales a lo largo del eje real. La unica funcion elemental que
presenta problemas es la funcion logaritmo. Sin embargo, el valor principal Ln que
hemos denido en el plano complejo excepto en el eje real negativo cumple tambien las
condiciones del teorema.
Observacion: Mas tarde vamos a extender el principio de reexion de Schwarz por un
cambio de variables mediante una transformacion de Mobius. El ejemplo mas sencillo
de una transfomacion de Mobius no lineal es la transformacion que mapea z en w :=
1
z
.
Con esta sustitucion la recta z +z = 1 se convierte en
1
w
+
1
w
= 1, entonces ww = w+w.
Al completar el cuadrado obtenemos [w 1[
2
= 1. Se trata de una circunferencia que
pasa por el origen.
Se puede usar eso para una version del principio de reexion de Schwarz que permite
extender una funcion f denida en el anillo z [ r < [z[ < 1 para r positivo al otro lado
de la circunferencia z [ [z[ = 1 y obtener una funcion analtica en el anillo mas grande
z [ r < [z[ < 1/r si la funcion cumple la suposicion lm
|z|1

[f(z)[ = 1.
Interpolacion: teoremas de Phragmen-Lindelof y Hadamard
La primera aplicacion del principio del modulo maximo en este captulo es el lema de
Schwarz. Vamos a usar este lema facil como herramienta principal para probar el teorema
de Riemann sobre mapeo conforme. Los teoremas de este captulo pueden ser aplicados
a otras regiones por un cambio de variables. (Vease el captulo sobre mapeo conforme.
Un mapeo conforme es una funcion analtica con derivada distinta de cero en todos los
puntos. Entonces, todo cambio de variable analtico es un mapeo conforme.)
Lema de Schwarz: Sea f analtica en el disco unitario con centro en el origen. Suponga
que f(0) = 0 y [f(z)[ 1 para todo z con [z[ < 1.
Entonces, [f(z)[ [z[ para todo z con [z[ < 1. Ademas, [f

(0)[ = 1 o [f(z
0
)[ = [z
0
[
para un z
0
con 0 < [z
0
[ < 1 implica que f(z) = z para todo z y una constante de
modulo 1.
8
Demostraci on: La funcion z f(z)/z denida para todo z con 0 < [z[ < 1 tiene una
singularidad removible en 0. (Usar el criterio en pagina 13 de la primera parte.) La funci on
g denida por g(z) :=
_
f(z)/z si z ,= 0,
f

(0) si z ,= 0
es analtica en todo el disco unitario con
centro en el origen. Entonces, podemos aplicar el principio de modulo maximo a la funcion
g en todo disco cerrado z [ [z[ r con radio r en el intervalo (0, 1). Seg un la suposicion,
[g(z)[ = [f(z)/z[ 1/r para z con [z[ = r. Entonces, [g(z)[ = [f(z)/z[ 1/r para
todo z con 0 < [z[ r. Si tomamos el lmite r 1

, sigue que [f(z)/z[ 1 para todo

z con 0 < [z[ < 1.
Finalmente, [g(0)[ = [f

(0)[ = 1 o [g(z
0
)[ = [f(z
0
)/z
0
[ = 1 para un z
0
con 0 < [z
0
[ < 1
implica seg un mapeo abierto que g(z) = f(z)/z es constante.
Contraejemplo: Para muchas aplicaciones necesitamos un analogo del principio del
modulo maximo en regiones no acotadas. La generalizacion directa sin suposiciones adi-
cionales es falsa. Como ejemplos consideramos las funciones
f
k
: z exp(iz
k
)
en el siguiente sector S
k
de angulo /k con vertice en 0:
S
k
:= z [ 0 Arg z /k 0
para todo entero positivo k. Entonces, z z
k
tiene valores reales en la frontera del sector
S
k
. Por ende, el modulo de f
k
tiene el valor 1 en la frontera del sector S
k
. Sin embargo,
a lo largo del rayo z [ z = r exp(i/(2k)), r > 0 tenemos que
f
k
(r exp(i/(2k))) = exp(ir
k
exp(i/2)) = exp(r
k
).
Entonces, f
k
crece rapidamente. Notese que f
k
crece mas rapidamente si el angulo del
sector decrece. Los teoremas de Phragmen-Lindelof dicen que o la funcion crece muy
rapidamente en una region no acotada o el principio del modulo maximo es aplicable.
Observacion: La version mas conveniente para aplicaciones es la siguiente version en una
franja.
En algunas de las aplicaciones principales la funcion f mide la norma de un operador
en espacios L
p
donde p esta relacionado con la parte imaginaria de la variable z.
Teorema de Phragmen-Lindelof: Sea f continua en la franja := z [ /2 z
/2 y analtica en el interior de esta franja. Suponga que el modulo de f cumple en la
frontera la siguiente desigualdad: [f(z)[ 1 si z = /2. Suponga ademas que existen
constantes y A con < 1 tal que
[f(z)[ Aexp(Aexp(['z[)) para todo z en .
Entonces,
[f(z)[ 1 para todo z en .
Contraejemplo: La funcion z exp(exp(z)) tiene modulo 1 si z = /2. Sin embargo,
esta funcion es no acotada a lo largo del eje real.
Demostracion: Elija tal que < < 1. Para todo positivo introducemos la funcion
auxiliar
h

(z) := exp( cosh(z)) para todo z en ;

recuerdese que por denicion cosh(z) = (exp(z) + exp(z))/2. Sea z = x + iy con
x, y reales. Entonces,
'(cosh(z)) = (exp((x +iy))+ exp((x iy))+ exp((x iy))+ exp((x +iy)))
_
4
= cosh(x) cos(y)) cosh(x) cos(/2).
9
Eso implica que
[f(z)h

(z)[ < Aexp

_
Aexp([x[) cos(/2) cosh(x)
_
para todo z en . El lado derecho tiende a 0 a medida que [x[ . Elija R tal que el
lado derecho es menor que 1 si [x[ R. Notese que R depende de , podemos suponer
que R > 1/. Ademas, tenemos que h

(z) 1 para todo z en . Entonces,

[f(z)h

(z)[ 1 para todo z en la frontera del rectangulo z [ ['z[ R, [z[ /2.

El principio del modulo maximo implica que [f(z)h

(z)[ 1 para todo z en este

rectangulo. Al tomar el lmite 0, podemos concluir que [f(z)[ 1 para todo z en .
Teorema de Hadamard de los tres crculos: Sea f(z) analtica en un anillo
A = z [ R
1
< [z[ < R
2
. Denotamos el maximo de f sobre la circunferencia de radio r
con centro en 0 por M(r) := max
0<2
[f(re
i
)[ para todo r con R
1
< r < R
2
.
Entonces, la funcion Lnr LnM(r) es convexa.
Nota: Recuerdese que la funcion s h(s) denida en un intervalo I es convexa (seg un
la denicon) si para los todos triples s
1
< s < s
2
en el intervalo I vale h(s) h(s
1
) +
h(s
2
)h(s
1
)
s
2
s
1
(s s
1
).
Demostracion: Fijamos r
1
, r
2
con R
1
< r
1
< r
2
< R
2
. Se dene a como
a :=
LnM(r
2
) LnM(r
1
)
Lnr
2
Lnr
1
.
La idea sera aplicar el principio del modulo maximo a la funcion z f(z)z
a
(vamos
a ver por que estan las comillas) porque esta funcion cumple
max
0<2
[f(r
1
e
i
)(r
1
e
i
)
a
[ = max
0<2
[f(r
2
e
i
)(r
2
e
i
)
a
[.
(Eso no es ning un milagro, elegimos a de manera tal que eso funciona.) Como denir
z
a
para z complejo? La denicion natural usa el logaritmo, desgraciadamente no
podemos denir el logaritmo en forma univalente en un anillo con centro en el origen. De
hecho, tampoco podemos denir z
a
en este anillo excepto si a es un entero. Se puede
evitar eso al introducir la funcion g en una franja innita por
g(w) := f(exp(w)) exp(aw) para todo w con Ln r
1
'w Lnr
2
.
Entonces, g es acotada en toda la franja y
[g(w)[ M(r
1
) exp(a Lnr
1
) = M(r
2
) exp(a Lnr
2
) si 'w = Ln r
1
o 'w = Ln r
2
.
Seg un Phragmen-Lindelof,
[g(w)[ M(r
1
) exp(a Lnr
1
) para todo w con Ln r
1
'w Lnr
2
.
(No importa que la franja es horizontal y tiene un ancho distinto de , se puede arreglar
eso con un cambio de variable lineal. Tampoco importa que M(r
1
) exp(a Lnr
1
) ,= 1, se
puede dividir g por esta constante.)
Para todo z con r
1
< [z[ < r
2
elegimos un w tal que z = exp w. Entonces, w cumple
Lnr
1
'w Lnr
2
y podemos concluir que
[f(z)[ = [g(w)[ [ exp(aw)[
M(r
1
) exp(a('w Lnr
1
)) = exp ( LnM(r
1
) + a( Ln[z[ Lnr
1
)) .
Aproximacion por polinomios y funciones racionales: Runge
Denicion de la esfera de Riemann: El conjunto C con la topologa dada por
las vecindades w[ [w z[ < r de z en C y w[ [w[ > 1/r de para todos r positivos
se llama la esfera de Riemann y se denota por S
2
.
10
Ejemplo: Para toda funcion f : C C y todo a en C tenemos que lm
z
f(z) = a
si y solamente si lm
z0
f(1/z) = a. Similar: lm
za
f(z) = si y solamente si
lm
za
1/f(z) = 0.
Conviene demostrar el teorema de aproximacion de Runge en la version general de la
aproximacion de una funcion analtica por funciones racionales. Bajo ciertas suposiciones
sigue la version para polinomios. Obtenemos el teorema de Runge a partir de la formula
de Cauchy al mover los polos a lugares convenientes. Por ejemplo, podemos aproximar
polinomios en
1
za
por polinomios en z si [a[ > [z[. Para eso aproximamos
1
za
=
1
a
1
1z/a
por una suma parcial de la serie geometrica
1
a

z
a
2

z
2
a
3
... Vamos a ver que polinomios
en z son fracciones racionales con un unico polo en , entonces el polo en a se mueve
mediante esta aproximacion a .
Lema sobre la modicacion de los polos: Sea K un conjunto compacto en C. Sean
a, b puntos de la misma componente conexa de CK. Entonces, la funcion z (z a)
1
puede ser aproximada uniformamente sobre K por polinomios en z (z b)
1
.
Demostracion: Para todo w en S
2
K denotamos por H
w
(K) el conjunto de todas las
funciones denidas y analticas en una vecindad de K que pueden ser aproximadas uni-
formamente sobre K por polinomios en (z w)
1
.
Suponga que c pertenece al complemento de K y sea la distancia de c a K:
:= mn [z c[ [ z en K.
Vericamos que para todo d con [c d[ < la funcion z (z c)
1
pertenece a H
d
(K):
1
z c
=
1
z d
1
1
cd
zd
=
1
z d
+
c d
(z d)
2
+... si [c d[ < [z d[.
La propiedad clave es la transitividad: z (z a)
1
en H
b
(K) y z (z b)
1
en
H
c
(K) implican que z (z a)
1
pertenece a H
c
(K). (Notese que z (z a)
1
en
H
w
(K) para cualquier w es solamente posible si a pertenece al complemento de K.) La
transitividad sigue de la denicion porque al aproximar z (z a)
1
por polinomios
en z (z b)
1
y z (z b)
1
por polinomios en z (z c)
1
obtenemos una
aproximacion de z (z a)
1
por polinomios en polinomios en z (z c)
1
. (Usamos
que polinomios son uniformamente continuos sobre compactos.)
Conectamos ahora los puntos a y b de la misma componente conexa de C K por
un camino compuesto de segmentos rectos que no tienen puntos en com un con K. Sea
la mnima distancia de este camino a K. Elija c
0
, ..., c
n
sobre este camino tal que
a = c
0
, c
n
= b y tal que la distancia de dos puntos consecutivos es siempre menor que :
[c
k
c
k1
[ para k = 1, ..., n. Entonces, z (z a)
1
en H
c
1
(K) y z (z c
1
)
1
en
H
c
2
(K),... implican por induccion que z (z a)
1
pertenece a H
b
(K).
Lema de aproximacion por fracciones parciales: Sea K un subconjunto compacto
del abierto . Entonces, existen curvas cerradas
1
, ...,
n
en K tal que para toda
funcion f analtica en vale
f(z) =
1
2i
n

k=1
_

k
f(w)
w z
dw para todo z en K.
Demostracion: Por compacidad, el nmo de las distancias entre puntos en K y en el
complemento de es positivo. Sea igual a este nmo. Considerar una particion de C
en cuadrados del lado /2 y seleccionar todos los cuadrados cerrados que tienen al menos
un punto en com un con K. Sean
1
, ...,
m
las fronteras de estos cuadrados en el sentido
11
positivo. Seg un la formula de Cauchy, para toda funcion f analtica en y todo z en K
que no pertenece a ninguna de las fronteras de los cuadrados vale
f(z) =
1
2i
m

k=1
_

k
f(w)
w z
dw =
1
2i
4m

k=1
_

k
f(w)
w z
dw.
Juntamos paso a paso fronteras que tienen un segmento recto en com un. Sea una curva
compuesta por segmentos de la o las fronteras de uno o varios cuadrados y la frontera de
un cuadrado que tiene un segmento o varios segmentos en com un con . Estos segmentos
se recorren en sentidos opuestos y las integrales correspondientes se cancelan. Juntamos
las partes restantes de y . De esta manera, se eliminan todos los segmentos que tienen
un punto en com un con K (todos estos pertenecen a las fronteras de dos cuadrados).
Obtenemos curvas cerradas
1
, ...,
n
en K tal que la armacion se cumple para todo z
en K que no pertenece a ninguna frontera
k
de un cuadrado. Por continuidad, podemos
concluir que la armacion vale para todo z en K.
Teorema de Runge en compactos: Sea un abierto y K un subconjunto compacto
de . Sea A un conjunto tal que cada componente conexa de S
2
K contiene al menos
un punto de A.
Entonces, para toda funcion analtica f en y toda constante positiva existe una
funcion racional R con todos sus polos en A tal que
[f(z) R(z)[ < para todo z en K.
Demostracion: Al aproximar las integrales en el ultimo lema por sumas de Riemann,
obtenemos una aproximacion de la funcion analtica f por una funcion racional Q tal que
[f(z) Q(z)[ < /2 para todo z en K. Ahora usamos el lema sobre la modicacion de
los polos para mover todos los polos de la funcion Q a puntos del conjunto A.
Observacion: El teorema de Runge permite dar otra prueba para las versiones generales
del teorema y de la formula de Cauchy porque la prueba para funciones racionales es muy
elemental (vease el captulo sobre calculo de residuos).
Observacion: Usamos el siguiente lema para obtener aproximaciones en todo el abierto
:
Lema: Todo conjunto abierto en C es la union de una sucesion de compactos
K
1
, K
2
, K
3
, ... tal que K
1
K
2
K
3
... y todo subconjunto compacto de es sub-
conjunto de un K
n
y tal que toda componente conexa de S
2
K
n
contiene al menos una
componente de S
2
. (Es decir, todo hoyo de K
n
corresponde a un hoyo de .)
Demostracion: Se dene
K
n
:= z [ [z w[
1
n
para todo w en el complemento de , [z[ n
para n = 1, 2, 3, ... Por Bolzano-Weierstrass, los K
n
son compactos. Por denicion, K
n

K
n+1
para todo n.
Para todo z en existe un n tal que el disco abierto de radio
1
n
con centro en z es un
subconjunto de . Entonces, z pertenece al conjunto K
n
con este ndice n (y a todos los
conjuntos siguientes K
n+1
, K
n+2
, ...). Al reemplazar el disco de radio
1
n
con centro en z
por un disco de radio
1
2n
con centro en z y el conjunto K
n
por K
2n
podemos concluir que
K
2n
contiene todo el disco de radio
1
2n
con centro en z. La union de estos discos contiene
todo . Entonces, todo subconjunto compacto L de es subconjunto de la union de
un n umero nito de estos discos. Sea m el maximo de los ndices n correspondientes.
Entonces, L es un subconjunto de K
m
.
Finalmente, para todo z en el complemento S
2
K
n
de K
n
existe un w en el comple-
mento S
2
tal que [z w[ <
1
n
. Entonces, S
2
K
n
contiene el segmento recto [z, w]. La
componente conexa de S
2
que contiene w es un subconjunto de la componente conexa
12
de S
2
K
n
que contiene z.
Teorema de Runge en abiertos: Sea un abierto y A un conjunto tal que cada com-
ponente conexa de S
2
contiene al menos un punto de A. Para toda funcion analtica f
en existe una sucesion de funciones racionales R
n
con todos sus polos en A que converge
uniformamente sobre todo subconjunto compacto de a la funcion f.
Demostracion: Usamos la sucesion creciente de compactos K
n
del lema anterior. En-
tonces, cada componente conexa de S
2
K
n
contiene al menos un punto de A. Seg un
Runge para compactos, existe una funcion racional R
n
con todos sus polos en A tal que
[f(z) R
n
(z)[ <
1
n
para todo z en K
n
. La armacion sigue porque todo compacto K en
es subconjunto de los K
n
para todo n sucientemente grande.
Observacion: El caso mas importante es el caso donde el complemento de es conexo.
Entonces, podemos elegir A := y obtenemos una aproximacion de la funcion por
polinomios.
Observacion: La tecnica de cubrir un compacto con cuadrados que hemos usado para la
prueba de Runge para compactos sirve tambien para otras aplicaciones, por ejemplo la
siguiente version de Rouche.
Teorema de Rouche para compactos: Sean f y g funciones continuas en un com-
pacto K y analticas en el interior de K. Suponga ademas que [f(z)g(z)[ < [f(z)[+[g(z)[
para todo z en la frontera de K. Entonces, las funciones f y g tienen el mismo n umero
de ceros en el interior de K (ceros multiples se cuentan seg un multiplicidad).
Demostracion: Por compacidad, existe una constante positiva tal que [f(z)[ +[g(z)[
[f(z) g(z)[ > para todo z en la frontera de K. Por continuidad uniforme, existe una
constante positiva tal que para todo w en K con [w z[ para al menos un z en la
frontera de K todava vale [f(w)[+[g(w)[[f(w)g(w)[ > 0. Sea K

el conjunto de todos
los puntos w en en el interior de K con [w z[ > para todos los z en la frontera de K.
Como en la prueba del lema de aproximacion por fracciones parciales, podemos construir
un abierto compuesto por cuadrados tal que la frontera de cada componente conexa es un
subconjunto de K K

. Para todo w en K K

vale [f(w)[ +[g(w)[ [f(w) g(w)[ > 0,

aplicar Rouche a cada una de estas componentes conexas.
Mapeo conforme, teorema de Riemann, formula de Schwarz-
Cristoel
Notas historicas: La notacion mapeo conforme fue utilizado historicamente para de-
notar funciones que mantienen los angulos. Se puede mostrar usando la aproximacion
por un polinomio de Taylor que toda funcion analtica con derivada distinta de 0 tiene
esta propiedad. (Idea: Aproximar f cerca de un punto a por la funcion lineal z
a + f

(a)(z a). Escriba f

(a) en la forma [f

(a)[e
it
para t real. Entonces, la funci on
lineal es la composicion de una amplicacion o reduccion con una rotacion.) Se puede ver-
icar tambien que una funcion analtica con derivada igual a 0 en un punto a no mantiene
los angulos en el punto a. (De hecho, si f

tiene un cero de orden n 1 en a, entonces

podemos aproximar f cerca de a por el polinomio z a +
f
n
(a)
n!
(z a)
n
. Al aplicar este
polinomio, todos los angulos con vertice en a se multiplican por el factor n.)
Denicion de mapeo conforme: Una funcion analtica en una region con derivada
distinta de cero en todos los puntos de esta region se llama mapeo conforme.
Observacion: Conviene considerar mapeos conformes de regiones en la esfera de Riemann
S
2
con valores en S
2
. Usamos las convenciones 1/0 = y 1/ = 0. Se dice que f es
analtica en una vecindad de si z f(1/z) es analtica en 0. De manera similar, una
funcion que tiene un polo simple en a es un mapea conforme de una vecindad de a a una
13
vecindad de . (La funcion 1/f tiene una singularidad removible en a.)
Una clase de mapeos conformes que contiene todas las funciones lineales y ademas la
funcion z 1/z es la clase de las transformaciones de Mobius:
Denicion de una transformacion de Mobius: Sea A =
_
a b
c d
_
una matriz invertible
con entradas complejas. Entonces, la funcion
A
: S
2
S
2
denida por

A
(z) :=
_
az+b
cz+d
si cz +d ,= 0,
si cz +d = 0
si z en C,

A
() :=
_
a
c
si c ,= 0,
si c = 0
se llama la transformacion de Mobius dada por la matriz A.
Observacion: Las matrices A y kA para una constante k distinta de 0 denen la misma
transformacion de Mobius.
Observacion: La transformacion de Mobius es no lineal (es decir, no es un polinomio de
grado 1) si y solamente si c es distinto de cero. En este caso, podemos escribir
az+b
cz+d
como
suma de una constante y una fraccion parcial, entonces toda transformacion de Mobius es
o lineal o una composicion de transformaciones lineales con la transformacion z 1/z.
Anotamos que toda transformacion de Mobius es continua y 1 1 de S
2
sobre S
2
.
(Usando la proyeccion estereograca, se puede mostrar que toda transformacion de Mobius
corresponde a una rotacion de la esfera de Riemann.)
Para calcular la composicion de transformaciones de Mobius sirve la proposicion sigu-
iente:
Proposicion sobre la composicion de transformaciones de Mobius: Sean
A
y

B
transformaciones de Mobius denidas por las matrices A y B. Entonces, la transfor-
macion compuesta
A

B
esta denida por la matriz producto AB.
Demostracion: La matriz B dene una transformacion lineal invertible de C
2
en C
2
.
Entonces, B mapea subespacios de dimension 1 en subespacios de dimension 1. En par-
ticular, B mapea el subespacio con la base
__
z
1
__
en el subespacio con la base
__

B
(z)
1
__
.
(Por convencion, consideramos el vector
_

1
_
como elemento del espacio generado por el
vector
_
1
0
_
.) Entonces, existe un escalar (que depende de z) tal que
B
_
z
1
_
=
_

B
(z)
1
_
.
(De hecho, B =
_
a b
c d
_
implica que B
_
z
1
_
=
_
az+b
cz+d
_
= (cz+d)
_
az+b
cz+d
1
_
= (cz+d)
_

B
(z)
1
_
.)
De manera similar, A
_
w
1
_
=
_

A
(w)
1
_
para otro escalar que depende de w. Eso implica
que
AB
_
z
1
_
= A
_

B
(z)
1
_
=
_

A
(
B
(z))
1
_
.
Transformaciones de discos y semiplanos
Despues del principio de reexion de Schwarz hemos visto que el mapa z 1/z mapea
la recta 'z = 1/2 en la circunferencia [z 1[
2
= 1 y viceversa. Es facil de ver que
z 1/(z a) mapea toda lnea recta que no pasa por el punto a en una circunferencia
que pasa por el punto a. Por continuidad, sigue que z 1/(z a) mapea los dos
semiplanos separados por la lnea recta en interior y exterior de la circunferencia por a.
(Basta calcular el valor en un punto del interior de uno de los semiplanas para ver si la
imagen es el interior o el exterior del disco.) Entonces, z 2/(z +i) mapea el semiplano
z [ z > 0 en el interior o exterior de un disco. Anotamos que este disco es simetrico
con respecto a la recta imaginaria y que las imagenes de 0 y son los extremos de
un diametro de esta circunferencia. Al trasladar este diametro por i, podemos concluir
que z
2
z+i
+ i =
iz+1
z+i
mapea el semiplano superior en el interior del disco unitario
14
con centro en el origen. Al girar este disco, obtenemos que z
zi
z+i
mapea tambien el
semiplano superior en el interior del disco unitario con centro en el origen. (Se puede
vericar directamente que z real implica que

za
za

= 1 para todo a complejo con a ,= z.)

Notacion: En esta seccion denotamos el disco unitario con centro en el origen por U.
Denotamos el semiplano superior z [ z > 0 por H.
Observacion: Sea la transformacion de Mobius z
zi
z+i
. Entonces, mapea H sobre
U. Usando la representacion por la matriz
_
1 i
1 i
_
, obtenemos que
1
esta denida por
la matriz
_
i i
1 1
_
. Hay transformaciones lineales que mapean el semiplano superior H en
si mismo, conveniente es
r
denida por
r
(z) = z para todo z y una constante positiva
r. Al calcular
r

1
vamos a ver que hay transformaciones de Mobius que dejan
el disco U invariante y que no son rotaciones. Usamos que
r
esta denida por la matriz
_
r 0
0 1
_
y calculamos el producto de las matrices correspondientes:
_
1 i
1 i
__
r 0
0 1
__
i i
1 1
_
=
_
(r+1)i (r1)i
(r1)i (r+1)i
_
.
Sea a :=
1r
1+r
. Entonces, z
za
1az
mapea el disco unitario con centro en el origen en si
mismo para todo a de la forma a =
1r
1+r
= 1
2
1+r
para r real positivo. Los n umeros
reales que tienen una representacion de esta forma son exactamente los n umeros reales
con modulo menor que 1. Por composicion con una rotacion del disco U y la inversa de
esta rotacion, obtenemos la transformacion siguiente
a
(con a complejo de modulo < 1)
del disco U en si mismo:

a
(z) :=
z a
1 az
para todo z en S
2
y a con [a[ < 1 jo.
Notese que
a
mapea 0 en a. La inversa es (
a
)
1
=
a
(verique por multiplicacion
de matrices). Se puede vericar directamente que z = e
it
para t real implica que

(e
it

a)
_
(1 ae
it
)

e
it
(1 ae
it
)
_
(1 ae
it
)

= 1.
Dado que las transformaciones de Mobius son analticas y biyectivas de S
2
sobre S
2
,
surge la pregunta que otras biyecciones analticas de S
2
sobre S
2
existen. Desgraci-
adamente, ninguna. Para probar eso, usamos la composicion con una transformaci on
de Mobius para obtener una biyeccion f de S
2
sobre S
2
con f() = . Entonces,
g : z 1/f(1/z) es biyectiva y analtica. Ademas, g(0) = 0 y mapeo abierto implican
que g tiene un cero simple en 0. Entonces, f tiene un polo simple en . Por Liouville,
sigue que f

es una constante y f es lineal.

El teorema de mapeo conforme de Riemann demuestra que hay una clase grande de
regiones tal que existe una biyeccion analtica de esta region sobre una region sencilla.
Conviene usar el disco U como esta region sencilla. (Otra posibilidad sera un semi-
plano.) Necesitamos la denicion siguiente para describir las regiones que permiten una
biyeccion analtica sobre el disco U:
Denicion de una region simplemente conexa: Una region en C se llama simple-
mente conexa si el complemento de es conexo en S
2
.
Advertencia: Ojo! La denicion habitual dice que una region en R
n
o C
n
es simplemente
conexa si toda curva cerrada en la region puede ser contraida en forma continua a un solo
punto sin salir de la region. Como contraejemplo consideramos el interior de un toro en
R
3
donde no podemos contraer una curva que se da una vuelta completa alrededor del
eje del toro a un solo punto sin salir del toro. (Podramos demostrar eso usando el ndice
pero no vale la pena.) Del otro lado, el complemento del toro es conexo. No vamos a
preocuparnos de esta distincion porque para regiones en C ambas deniciones son equiv-
alentes (eso sigue del teorema de mapeo conforme de Riemann).
Contraejemplo: Para la region := C 0 no existe una biyeccion analtica sobre el
disco U. Demostraremos eso por reduccion al absurdo. Sea : U una biyeccion
15
analtica. Sea f : C la funcion z 1/z y sea : [0, 2] C la curva denida por
(t) := e
it
para todo t en [0, 2]. Entonces,
_

f(z) dz = 2i. Por cambio de variables,

_

g(w) dw =
_

(g )(z)

(z) dz para toda funcion analtica g : U C.

Se puede despejar la ecuacion f(z) = (g )(z)

(z) para todo z en para la funcion g

(la solucion es g =
f
1

1
). Entonces, g es analtica y tenemos que
_

f(z) dz =
_

g(w) dw.
La integral en el lado izquierdo es distinta de 0 y la integral en el lado derecho es igual a
0 por Cauchy. Contradiccion! Notese que el complemento de la region C 0 en S
2
no
es conexo, entonces la region C 0 no es simplemente conexa.
Proposicion sobre el logaritmo: Sea una region simplemente conexa y sea f una
funcion analtica en que es distinta de 0 en toda esta region. Entonces, existe un a
funcion g analtica en tal que f = exp(g).
Ejemplo: Para la region denida por := C z [ z 0 y la funcion f denida por
f(z) = z podemos elegir como g la parte principal del logaritmo que denotamos por Ln .
Ejemplo: Se pide que es simplemente conexo, f() no tiene que ser simplemente conexa.
Eso ocurre para la region del ejemplo anterior y la funcion f denida por f(z) := z
2
para todo z en . Entonces, f() es igual a C 0 y ya sabemos que esta region no es
simplemente conexa.
Demostracion de la proposicion: Fijar z
0
en y elegir g(z
0
) en C tal que exp(g(z
0
)) =
f(z
0
). Podemos denir g(z) := g(z
0
) +
_

f
(z) dz para cualquier curva en con punto
inicial z
0
y punto nal z.
Justicacion: Esta integral no depende de la eleccion de la curva . Consideramos un
par de curvas
1
,
2
con el mismo punto inicial z
0
y el mismo punto nal z. Sea la curva
compuesta por
1
y la curva opuesta

2
de
2
. Ahora,

Ind

() = 0 y S
2
conexo
implican que

Ind

(a) = 0 para todo a en el complemento de . Cauchy es aplicable y

implica que
_

f
(z) dz = 0. Entonces,
_

1
f

f
(z) dz =
_

2
f

f
(z) dz.
Para vericar que f = exp(g), calculamos la derivada de f exp(g):
d
dz
(f(z) exp(g(z))) = f

(z) exp(g(z)) f(z)

f

f
(z) exp(g(z)) = 0.
Concluimos que f exp(g) es una constante. El valor de esta constante es igual al valor
en z
0
, entonces es igual a 1.
Contraejemplo: No existe una biyeccion analtica de C sobre el disco U. Eso sigue de
inmediato del teorema de Liouville porque una funcion analtica con valores en el disco U
es acotada, entonces constante.
Teorema de mapeo conforme de Riemann: Sea una region simplemente conexa
con distinta de C. Entonces, existe una biyeccion analtica de sobre el disco U.
Idea de una prueba peatonal (seg un Kobe): Consideramos el caso acotado. (Vamos
a ver que no es tan difcil lograr eso.) Si no cabe en U, multiplicamos por una
constante positiva para que quepa. Suponga que es un subconjunto de U. Buscamos
una biyeccion analtica de sobre el disco U. Tratamos de construir tal como lmite
de funciones compuestas f
1
, f
2
f
1
, f
3
f
2
f
1
,... donde cada una de las funciones f
n
expande la subregion
n1
de U denida como
n1
:= f
n1
... f
2
f
1
un poco mas
en una regi on
n
denida como
n
:= f
n

n1
. Como medir que la region
n
se acerca
16
un poco mas a la meta U que la region
n1
?
Ejemplo: El conjunto U [0, 1) que se obtiene al quitar al disco U un radio tiene el
mismo area como el disco U. La eleccion obvia del crecimiento del area como criterio de
acercamiento a la meta U no funciona.
Hay otro problema. La transformacion de Mobius
a
mapea U [0, 1) sobre U [a, 1)
para todo a real con [a[ < 1. Una idea sera entonces considerar el lmite a medida que a
tiende a 1:
(z) := lm
a1, aU

a
(z) = lm
a1, aU
z a
1 az
= 1 para todo z en U.
Este lmite no es una biyeccion sobre U. En verdad, la funcion constante tiene nada
que ver con el mapeo conforme que buscamos. Ademas, las transformaciones
a
son
invertibles. No hemos ganado nada, todos los conjuntos distintos U [a, 1) muestran el
mismo grado de acercamiento a la meta modulo transformaciones triviales de Mobius.
Para resolver el problema de movimientos irrelevantes de la region (movimientos dados
por transformaciones de Mobius), jamos un punto. Suponga que 0 pertenece a (se
puede lograr eso por una traslacion) y que es un subconjunto de U (multiplicar por un
factor de escalamiento si es necesario). Suponga que los f
n
dejan el punto 0 jo: f
n
(0) = 0
para todo n. Falta un criterio de acercamiento a la meta U. Escribimos
= g
n
f
n
f
n1
... f
2
f
1
para una biyeccion g
n
de
n
sobre U con g
n
(0) = 0. El lema de Schwarz (aplicado a la
inversa g
1
n
) implica que [g

n
(0)[ 1. Ademas, [g

n
(0)[ = 1 implica que
n
es igual a U.
Seg un la regla de la cadena,

(0) = g

n
(0) f

n
(0) f

n1
(0) ... f

2
(0) f

1
(0) para todo n = 1, 2, 3, ...
Entonces, buscamos f
n
tal que [f

n
(0)[ sea grande (vamos a ver de inmediato que debe
ser mayor que 1 para acercarnos a la meta). Por la regla de la cadena, 1 [g

n
(0)[ =
[g

n1
(0)[/[f

n
(0)[ < [g

n1
(0)[. Eso indica que
n
esta mas cerca de la meta que
n1
.
Un lema similar al siguiente es la base de la prueba de Koebe. Para la prueba que
vamos a dar en seguida, conviene una version que usa solamente simplemente conexa
(no pedimos que la imagen
0
() sea simplemente conexa).
Lema sobre la raz cuadrada: Sea una region simplemente conexa y sea
0
: U
una funcion analtica. Suponga que
0
(0) = 0 y

0
(0) ,= 0. Suponga que a pertenece al
conjunto U
0
(). Elija g analtica en tal que exp g =
a

0
y sea b = exp
_
1
2
g(0)
_
.
Entonces, la funcion analtica
1
denida por

1
:=
b
exp
_
1
2
g
_
mapea en U y cumple [

1
(0)[ > [

0
(0)[ y
1
(0) = 0.
Observacion: Llamamos este lema el lema sobre la raz cuadrada porque exp
_
1
2
g
_
2
=
exp g =
a

0
.
Demostraci on: Para todo z en tenemos que [ exp
_
1
2
g(z)
_
[ = [ exp g(z)[
1/2
= [
a
(z)[
1/2
<
1 y por ende
b
exp
_
1
2
g
_
(z) pertenece a U.
La ultima parte sigue de
b
exp
_
1
2
g
_
(0) =
b
(b) = 0.
Denotamos la funcion z z
2
por s. Entonces,
a
s
b

1
=
0
. La funcion

a
s
b
: U U mapea 0 en 0 y obviamente no se trata de una rotacion. Seg un el
lema de Schwarz, podemos concluir que [
d
dz
_

a
s
b
_
(0)[ < 1. Seg un la regla de la
cadena, [

1
(0)[ > [

0
(0)[.
17
Observacion: Se puede tambien calcular
d
dz
_

a
s
b
_
(0) usando la regla de la cadena:
d
dz
_

a
s
b
_
(0) =

a
(a) s

(b)

b
(0);
hemos usado que b
2
= a. Se obtiene

b
(0) = 1bb, s

(b) = 2b,

a
(a) = 1/(

a
(0)) =
1/(1 aa). El producto de estos terminos es 2b/(1 +bb). Obviamente,

2b/(1 +bb)

< 1.
Ejemplo: Sea a un n umero negativo de modulo menor que 1 y sea el conjunto U[1, a].
Sea
0
la funcion identidad en U [1, a]. Entonces,
a
mapea en U [1, 0]. (Usar

a
(1) = 1 y
a
(0) = a.) Podemos elegir g tal que exp
_
1
2
g
_
es el semidisco
U z [ 'z > 0 y tal que b es la raz cuadrada positiva

a. Finalmente, () es
la region delimitada por la frontera de U y el arco de la circunferencia simetrico al eje
real, que interseca el eje real en el punto b y tiene angulos rectos con la frontera de
la region U. Ahora () contiene un disco de radio

a con centro en 0. La prueba

peatonal de Koebe usa que mediante la raz cuadrada obtenemos una region que contiene
un disco de radio mayor (con centro en 0) que la region anterior.
Demostracion del teorema de mapeo conforme de Riemann: Suponga que es un sub-
conjunto de U y suponga que 0 pertenece a . (Vamos a liberarnos de estas suposiciones
adicionales al nal de la prueba.) Sea el conjunto de todas las funciones 11 y analticas
de en U que mapean el punto 0 en si mismo. Para todo punto z
0
existe un disco con
centro en z
0
que cabe en . Obtenemos de la formula de Cauchy que las derivadas de las
funciones en son uniformamente acotadas en todo disco de radio menor con centro en
el mismo punto z
0
.
En particular, las derivadas

(0) para todo en son acotadas. Sea

n

n=1
una
sucesion de funciones en tal que los [

n
(0)[ tienden al supremo de los modulos de las
derivadas en 0 para las funciones en :
lm
n
[

n
(0)[ = sup

(0)[.
Elija una sucesion z
k

k=1
densa en . Elija una subsucesion diagonal de la sucesion

n=1
tal que los valores de esta subsucesion en todo punto de la sucesion z
k

k=1
convergen. Para simplicar la notacion, suponemos que la sucesion
n

n=1
ya tiene esta
propiedad.
Las derivadas de las funciones en son uniformamente acotadas en una vecindad de
todo punto de la region , entonces la sucesion
n

n=1
converge uniformamente sobre
todo subconjunto compacto de . Por Morera, el lmite de la sucesion
n

n=1
es
analtica.
Los recorridos de los
n
son subconjuntos de U, entonces el recorrido de es un
subconjunto de la clausura U de U. Obviamente, no es constante (sabemos que [

(0)[ >
0). Entonces, el teorema de modulo maximo implica que [(z)[ < 1 para todo z en .
Usamos Rouche para demostrar que es 1 1. Suponga que (z
1
) = w
1
y (z
2
) = w
2
para puntos distintos z
1
y z
2
en . Elija un disco cerrado D en con centro en z
2
que
no contiene z
1
y tal que la funcion w
1
no tiene ceros en la frontera de este disco.
(Tal disco existe porque la funcion w
1
no tiene puntos de acumulacion de ceros.) Las
funciones
n

n
(z
1
) no tienen ceros en el disco cerrado D. (Estas funciones son 1 1
y tienen un cero en el punto z
1
que no pertenence a D.) Por Rouche, sigue que el lmite
w
1
no tiene ceros en el disco cerrado D. En particular, (z
1
) ,= (z
2
).
El lema sobre la raz cuadrada y el hecho que [

(0)[ = sup

(0)[ implican que

mapea U sobre U. (En caso contrario, podramos construir un
1
en con [

1
(0)[ >
[

(0)[.)
Sea ahora una region simplemente conexa no necesariamente acotada y distinta de
C. Supongamos que 0 no pertenece a . (Se puede lograr eso por una traslacion.)
Elija g analtica en tal que exp g(z) = z para todo z en . La funcion h denida
18
por h := exp
_
1
2
g
_
cumple h(z)
2
= z para todo z en . Entonces, la funcion h es
1 1. Fijamos un punto w
1
en . Seg un suposicion, w
1
,= 0. Entonces, h(w
1
) ,= 0.
Probamos por reduccion al absurdo que el recorrido de h no contiene h(w
1
). Suponga
que h(w
2
) = h(w
1
) para un w
2
en . Entonces, h(w
2
)
2
= h(w
1
)
2
implica que w
2
= w
1
y h(w
2
) = h(w
1
). Eso contradice h(w
2
) = h(w
1
) y h(w
1
) ,= 0.
Por mapeo abierto, h mapea una vecindad de w
1
en una vecindad de h(w
1
). El mismo
argumento como arriba demuestra que el recorrido de h no contiene ning un punto de una
vecindad de h(w
1
).
La transformacion de Mobius z 1/(z + h(w
1
)) mapea en una region acotada.
Esta region es simplemente conexa, mediante una transformacion lineal obtenemos una
subregion de U. Ademas podemos lograr que 0 pertenece a esta subregion. Fin de la
prueba!
Denicion de curvas contraibles a un punto: Una curva se llama contraible a
un punto en la region si existe una funcion continua del cuadrado [0, 1] [0, 1] en
tal que
s
: t (s, t) es una curva cerrada para todo s en [0, 1] y tal que
0
= y
1
es
una curva constante. (Notese que el recorrido de una curva constante es un solo punto.)
Ejemplos de regiones tal que todas las curvas son contraibles a un punto: Toda
curva en una region convexa es contraible a un punto en esta region. Sea una curva en
una region convexa . Suponga que el punto 0 pertenece a esta region. (Podemos lograr
eso por una traslacion.) Denimos por multiplicacion de la curva por un factor de
reduccion: (s, t) := (1 s)(t) para todos s, t en [0, 1].
Corolario sobre regiones simplemente conexas en el plano complejo: Una
region en C es simplemente conexa si y solamente si toda curva cerrada en esta region es
contraible a un punto en la region.
Demostracion: Ya sabemos que toda curva cerrada en una region convexa es contraible
a un punto. Seg un el teorema de mapeo conforme de Riemann, para toda region con
S
2
conexo y distinta de C existe una biyeccion analtica : U. Sea una
curva cerrada en . Entonces, podemos denir la curva cerrada
u
en U por
u
:= .
Existe una contraccion
u
: [0, 1] [0, 1] U de
u
a un solo punto. Ahora denimos la
contraccion : [0, 1] [0, 1] por (s, t) :=
1

u
.
Suponga ahora que es una region con S
2
no conexo. Entonces, existen abiertos
disjuntos V y W tal que S
2
V W y tal que ninguna de las intersecciones V
_
S
2

_
y W
_
S
2

_
es vaca. El punto pertenece a S
2
. Entonces, pertenece a uno de los
conjuntos V o W. Suponga que pertenece a V , entonces S
2
V es compacto. Por ende,
W
_
S
2

_
=
_
S
2
V
_

_
S
2

_
es compacto. Obviamente, W = W
_
S
2

_

W y el conjunto diferencia
_
W
_

_
W
_
es igual a . Aplicamos el lema
de aproximacion por fracciones parciales al subconjunto compacto W del abierto
W y la funcion constante igual a 1. Entonces, existen segmentos orientados
1
, ...,
n
en tal que 1 =
1
2i

n
k=1
_

k
1
wz
dw para todo z en W . La prueba del lema
de aproximacion por fracciones parciales implica que los segmentos orientados
1
, ...,
n
pueden ser reordenados en curvas cerradas. Entonces, existen una curva cerrada en
y un z en S
2
tal que la integral
_

1
wz
dw es distinta de 0. Es decir, el ndice

Ind

(z)
es distinto de 0.
Queremos demostrar por reduccion al absurdo que esta curva no es contraible a
un punto en . Suponga que existe una contraccion : [0, 1] [0, 1] en tal que

s
: t (s, t) es una curva cerrada para todo s en [0, 1] y tal que
0
= y
1
es una
curva constante. Dado que el ndice de una curva constante alrededor de otro punto es
obviamente igual a 0, basta probar que el ndice

Ind

s
(z) depende continuamente de s
(donde z es el punto previamente determinado con ndice

Ind

(z) distinto de 0). A un no
hemos denido el ndice para una curva continua que no sea diferenciable por tramos. Se
19
puede evahir este problema al aproximar uniformamente por un polinomio de Fourier

. Al elegir un polinomio periodico con perodo 1 en t y con perodo 2 en s, podemos

garantizar que las funciones
s
: t

(s, t) son curvas cerradas y diferenciables para
todo s en el intervalo [0, 1]. Si la aproximacion es sucientemente buena, tenemos que z
no pertenece al recorrido

s
para todo s y que los ndices para s = 0, 1 no cambien:

Ind

0
(z) =

Ind

0
(z),

Ind

1
(z) =

Ind

1
(z).
La denici on del ndice por integrales implica que s

Ind

s
(z) es una funcion continua
con valores enteros. Eso implica que esta funcion es constante. Recuerdese que

Ind

0
(z) =

Ind

(z) ,= 0 y

Ind

1
(z) = 0 porque la curva
1
es constante. Contradiccion!
Motivacion para la extension de Riemann a la frontera: Mediante esta extension podemos
tratar algunos problemas de valores en la frontera. Consideramos el problema de Dirichlet
en una regi on simplemente conexa con distinta de C:
u = 0 en , lm
za
u(z) = f(a) para todo a en
donde f es una funcion continua con valores reales f : R (aca denota la
frontera de la region ). Sea una biyeccion analtica de sobre el disco U. Entonces, u
es armonica si y solamente si la funcion u
1
de U en C es armonica. Esta armacion
sigue del hecho que la composicion de funciones analticas es analtica porque toda funcion
armonica es seg un Poisson localmente la parte real de una funcion analtica. (Escriba
u = 'g en un peque no disco, entonces u
1
= 'g
1
.) Para transportar la
condicion en la frontera lm
za
u(z) = f(a) para todo a en la frontera de la region
a la frontera de la region U y viceversa necesitamos que la biyeccion tiene una extensi on
continua de la clausura a la clausura U. Ya sabemos como resolver el problema de
Dirichlet para el disco unitario (Poisson).
Otra aplicacion de la extension del teorema de mapeo conforme a la frontera que vamos
a ver es la formula explcita de Schwarz-Cristoel para el mapeo conforme del semiplano
superior H sobre la region delimitada por un polgono. (No importa si tratamos mapeos
de H o U sobre el polgono porque existe una transformacion de Mobius que mapea H
sobre U.)
No podemos esperar obtener una extension continua y biyectiva a la frontera del mapeo
conforme de toda region simplemente conexa y distinta de C sobre el disco unitario U
como demuestra el ejemplo del disco unitario con un radio removido: U[0, 1]. La frontera
contiene puntos problematicos (todos en el intervalo (0, 1]) que no cumplen la propiedad
siguiente:
Denicion de puntos simples de la frontera: Sea una region y sea a un punto de
la frontera de . Entonces, el punto a se llama un punto simple de la frontera de la region
si para toda sucesion z
n

n=1
en con lmite a existe una curva continua : [0, )
que pasa por todos los puntos z
n
y tiene el lmite a:
(n) = z
n
para n = 1, 2, ..., lm
t
(t) = a.
Ejemplo: Todos los puntos de la frontera de una region convexa son simples. Sea a un
punto de la frontera de la region y sea z
n

n=1
una sucesion en la region con lmite a.
Denimos la curva como cadena de los segmentos rectos [z
n
, z
n+1
] por (n + ) :=
(1 )z
n
+z
n+1
para n = 1, 2, ... y todo en el intervalo [0, 1].
Ejercicio: Verique que para la region U [0, 1] los puntos del segmento (0, 1] (todos los
puntos del radio excepto el extremo 0 del radio) no son puntos simples de la frontera,
todos los otros puntos de la frontera son simples.
Lema sobre el area: Sea una biyeccion analtica de una region
1
sobre otra region

2
. Entonces, para todo abierto acotado U en
1
el area de la imagen (U) es igual
20
a
_
U
[

(z)[
2
dx dy donde x e y denotan parte real e imaginaria de z y dx dy denota la
medida de Lebesgue en R
2
.
Demostracion: Sea (x +iy) = f(x, y) +ig(x, y) para f, g, x, y reales. Entonces, el Jaco-
biano
(f,g)
(x,y)
es igual a
f
x
g
y

f
y
g
x
=
_
f
x
_
2
+
_
g
x
_
2
= [f

(z)[
2
(seg un Cauchy/Riemann).
La armaci on sigue del teorema sobre el cambio de coordenadas en una integral multiple.
Teorema sobre la extension del mapeo conforme a la frontera: Sea una region
con frontera diferenciable por tramos. Suponga que todos los puntos de la frontera son
simples. Sea una biyeccion analtica de sobre el disco unitario U. Entonces, existe
una extension continua de en una biyeccion de sobre U.
Demostracion: Suponga que a es un punto de la frontera de tal que el lmite lm
za
f(z)
no existe. La clausura del recorrido U es compacta, entonces existen una sucesion z
n

n=1
en con lmite a tal que la sucesion f(z
n
)

n=1
tiene dos puntos lmite distintos. Al elegir
una subsucesion, podemos suponer que f(z
2n1
)

n=1
converge a un punto w
1
en U y que
f(z
2n
)

n=1
converge a otro punto w
2
en U.
Elegimos ahora una curva continua en tal que (n) = z
n
para n = 1, 2, ... y
lm
t
(t) = a. Entonces, los puntos w
1
y w
2
son puntos lmite de la curva .
Denotamos la preimagen del disco cerrado w[ [w[ bajo por K

para todo con

< 1. Entonces, K

es compacto. El lmite lm
t
(t) es igual a a y no pertenece a K

,
entonces existe un t

tal que (t) pertenece al complemento K

si t > t

para todo
con < 1. Eso signica que las imagenes (t) cumplen [ (t)[ > si t > t

. En
particular, los puntos lmite w
1
y w
2
pertenecen a la frontera w[ [w[ = 1 del disco U.
Los radios [0, w
1
) y [0, w
2
) dividen el disco U en dos sectores. Existen dos radios distintos
[0, w
3
) y [0, w
4
) en uno de estos sectores tal que la curva t (t) cruce estos radios
innitas veces para t arbitrariamente grande. (Aplicar el teorema de valor intermedio a
la funcion argumento de .)
Dado que la frontera de es diferenciable por tramos, existe un r
2
positivo tal que
para toda circunferencia C
r
de radio r menor que r
2
con centro en a la interseccion de la
circunferencia C
r
con es un subconjunto conexo de esta circunferencia. Denotamos este
subconjunto conexo por S
r
para todo r con r < r
2
. La preimagen
1
([0, w
3
)) contiene
puntos de la curva (t) para t arbitrariamente grande y el lmite lm
t
(t) es igual a
a, entonces la preimagen
1
([0, w
3
)) tiene una interseccion no vaca con S
r
para todo r
menor que la distancia [
1
(0) a[. (Aplicar el teorema de valor intermedio a la funcion
distancia al punto a.) Podemos suponer que el radio r
2
positivo elegido previamente es
menor que [
1
(0) a[. Tratamos
1
([0, w
4
)) de la misma manera. (A partir de este
punto ya no ocupamos la curva y los puntos z
n
, todo que necesitamos son los puntos
de interseccion de
1
([0, w
3
)) y
1
([0, w
4
)) con el segmento S
r
.) Podemos concluir que
existen angulos
r
y
r
con [
r

r
[ < 2 y un r
2
positivo tal que

_

r

r
d
d
f(z +re
i
) d

[w
3
w
4
[/2 para todo r positivo con r < r
2
.
La formula para el area contiene el cuadrado [f

(z)[
2
, entonces aplicamos Cauchy/Schwarz:
_

r

r
[
d
d
f(z +re
i
)[
2
d [
r

r
[

_

r

r
d
d
f(z +re
i
) d

2
.
Obviamente, [
d
d
f(z + re
i
)[ = r[f

(z + re
i
)[. Entonces, las dos ultimas desigualdades
implican que existe una constante positiva tal que
_

r

r
[f

(z +re
i
)[
2
d /r
2
.
21
Para todo r
1
positivo con r
1
< r
2
obtenemos la cota inferior siguiente para el area de la
imagen de un subconjunto de
_
r
2
r
1

_
(r)
(r)
[f

(z)[
2
r d

dr
_
r
2
r
1

r
dr.
La imagen es un subconjunto del disco U de area , para r
1
0+ obtenemos una
contradiccion. Eso implica que el lmite lm
za
(z) existe.
Notese que el mismo argumento que hemos usado arriba demuestra que lm
za
(z) es
un punto de la frontera de U.
Dado que la frontera de es diferenciable por tramos, se obtiene de manera similar
que la inversa
1
tiene tambien una extension continua a la frontera. Entonces, se
extiende a una biyeccion de de sobre U.
Contraejemplo a la existencia de un mapeo conforme: La existencia de un
mapeo conforme para regiones no simplemente conexas depende de condiciones adi-
cionales. Como ejemplo demostraremos que para anillos A
r
1
,R
1
:= z [ r
1
< [z[ < R
1

y A
r
2
,R
2
:= w[ r
2
< [w[ < R
2
con r
1
, r
2
> 0 existe una biyeccion analtica de
A
r
1
,R
1
sobre A
r
2
,R
2
si y solamente si R
1
/r
1
= R
2
/r
2
. Podemos reducir el caso general al
caso R
1
= R
2
= 1 mediante transformaciones lineales. Suponga que sea una biyecci on
analtica de A
r
1
,1
sobre A
r
2
,1
. Se puede demostrar con argumentos similares a los argumen-
tos de la prueba del teorema anterior que tiene un extension continua a una funcion de
la clausura A
r
1
,1
sobre la clausura A
r
2
,1
. Vamos a denotar esta extension continua tambien
por . Si la extension continua mapea la frontera exterior z [ [z[ = 1 sobre la frontera
interior w[ [w[ = r
2
, entonces reeplazamos por z r
2
/(z). Supongamos ahora
que mapea la frontera exterior z [ [z[ = 1 sobre la frontera exterior w[ [w[ = 1 y
la frontera interior z [ [z[ = r
1
sobre la frontera interior w[ [w[ = r
2
. Por reexion
de Schwarz, se puede extender a una biyeccion analtica de A
r
2
1
,1
sobre A
r
2
2
,1
. Esta
extension cumple [(z)[ = r
2
2
si [z[ = r
2
1
. (Se puede vericar que la formula para la
extension es z r
2
2
/(r
2
1
/z). No vamos a ocupar esta formula.) Continuar! Obtenemos
una biyeccion analtica del disco cerrado U sobre el cerrado U con (0) = 0. El lema de
Schwarz implica que es una rotacion, entonces r
1
= r
2
.
Ejemplo (mapeo conforme de un sector sobre un semiplano): Sea re
it
[ r >
0, 0 < t < un sector de angulo con vertice en 0. Se introduce el parametro por el
cambio de variable trivial = . Suponga que 0 < < 2. La funcion potencia con el
exponente real 1/ mapea el sector sobre el semiplano superior:
re
it
r
1/
e
it/
si r > 0, 0 < t < .
Notese que esta funcion es analtica porque la obtenemos como composicion de una funcion
logaritmo (esta bien denida en el sector porque el sector no contiene 0 y su complemento
en S
2
es conexo) con la funcion multiplicacion por el escalar 1/ y la funcion exponencial.
El sector puede ser interpretado como un polgono con dos vertices, uno en 0 y el otro
en (excepto si el angulo es igual a , los vertices desaparecen en este caso).
La formula de Schwarz-Cristoel: Sea f una biyeccion analtica de H sobre un
polgono con una frontera que contiene solamente puntos simples. Sean
1
,
2
, ...,
n

los angulos del polgono con n umeros reales

1
,
2
, ...,
n
en el intervalo (0, 2). Suponga
que f() es un punto en C que no es vertice del polgono. Entonces, existen parametros
reales a
1
, a
2
, ..., a
n
con a
1
< a
2
< ... < a
n
y parametros complejos c y d tales que f es el
mapa
z c
_
z
0
dz
(z a
1
)
1
1
(z a
2
)
1
2
...(z a
n
)
1
n
+d para z en H.
22
Observacion: Las potencias se denes mediante una funcion logaritmo como es usual.
Eso es posible simultaneamente para z a
1
, z a
2
, ..., z a
n
porque todos estos puntos
pertenecen al semiplano superior H si z pertenece al semiplano superior H. (Recuerdese
que a
1
, a
2
, ..., a
n
son reales.) No importa si multiplicamos la funcion potencia z
(z a
1
)
1
1
con un exponente no entero 1
1
por una constante, el parametro c en
frente de la integral se traga estas constantes.
Demostracion: Sea D el polgono. La funcion f tiene una extension continua a una
biyeccion de H sobre D. Usamos el principio de reexion de Schwarz para extender la
funcion f a todo C. Desgraciadamente, vamos a ver que se obtiene una funcion multi-
valente. Usando un truco similar a la derivada logartmica, obtenemos a partir de esta
funcion multivalente una funcion univalente. Podemos identicar esta funcion usando
Liouville.
Denotamos los vertices del polgono por w
1
, w
2
, ..., w
n
(en este orden). Entonces, las
preimagenes de estos vertices bajo la extension de f son puntos en la frontera de H, en-
tonces n umeros reales a
1
, a
2
, ..., a
n
. Al permutar los w
1
, w
2
, ..., w
n
en forma ciclica podemos
lograr que a
1
< a
2
< ... < a
n
o a
1
> a
2
> ... > a
n
. En el ultimo caso revertimos el orden
de los w
1
, w
2
, ..., w
n
para obtener el orden creciente a
1
< a
2
< ... < a
n
. Aplicamos el
principio de reexion de Schwarz sobre el segmento (a
1
, a
2
) y obtenemos una extension
de f a todo C con excepcion de los dos intervalos reales (, a
1
] y [a
2
, ). La dicultad
es que la extension de f al semiplano superior mediante una reexion de Schwarz sobre
el segmento (a
2
, a
3
) no coincide con la funcion f original. De hecho, el producto de las
reexiones sobre las aristas (w
1
, w
2
) y (w
2
, w
3
) es en general una rotacion del plano. Una
rotacion del plano complejo esta dada por w uw + v para constantes u, v con [u[ = 1.
Entonces, la funcion f se convierte mediante estas dos reexiones en la funcion uf + v.
Para eliminar las constantes no deseadas u y v sacamos la derivada (eso elimina la
constante aditiva v) y al resultado aplicamos la derivada logartmica. Entonces,
d
dw
_
d
dw
(uf +v)
__
d
dw
(uf +v) =
d
dw
_
d
dw
(uf)
__
d
dw
(uf) =
d
dw
_
d
dw
(f)
__
d
dw
(f).
La funcion f

/f

es una funcion analtica en todo C excepto en los puntos a

1
, a
2
, ..., a
n
.
Ahora determinamos que tipo de singularidades tiene f

/f

en los puntos a
1
, a
2
, ..., a
n
.
La idea es convertir el angulo
k
en el angulo para convertir la singularidad en a
k
en
una singularidad removible. Sea g = (f w
k
)
1/
k
donde la potencia se dene mediante
una funcion logaritmo como es usual. Entonces, g tiene una extension analtica e inyectiva
a una vecindad de a
k
(por el principio de reexion de Schwarz) y la singularidad aislada
en a
k
es removible por continuidad. Por inyectividad, g

(a
k
) ,= 0. Ahora f

= g

k
1
implica que f

(z a
k
) = (z a
k
)

k
1
h(z) para todo z en una vecindad de a
k
y una
funcion h que es analtica y distinta de 0 en una vecindad de a
k
. Entonces, la derivada
logartimica de f

tiene un polo simple con residuo

k
1 en a
k
:
f

(z) =

k
1
z a
k
+
h

h
(z) para todo z en una vecindad de a
k
.
Queremos usar Liouville, falta analizar el comportamiento en . El punto f() pertenece
a la frontera del polgono (porque f tiene una extension continua a la frontera) y no es un
vertice del polgono (seg un suposicion). Entonces, la funcion f es analtica en y tiene
derivada distinta de cero. Es decir, la funcion z f(1/z) tiene un desarollo de Taylor
c
0
+c
1
z +c
2
z
2
+... en una vecindad de 0. Obtenemos que f tiene el desarollo de Laurent
c
0
+c
1
/z+c
2
/z
2
+... en una vecindad de ; aca c
1
,= 0. Ahora f

(z) = c
1
/z
2
2c
2
/z
3
...
y f

(z) = 2c
1
/z
3
+6c
2
/z
4
+... implican que f

/f

tiene un cero en . Entonces, la funci on

z
f

(z)
n

k=1

k
1
z a
k
23
es analtica en todo C y tiende a 0 a medida que z tiende a . Por Liouville, tal funcion
es identicamente igual a cero. Hemos encontrado la derivada logartmica de la derivada
de f, la formula de Schwarz-Cristoel sigue por integracion (dos veces).
Ejemplo (casos especiales de la formula de Schwarz-Cristoel): Suponga que
g mapea H sobre un polgono tal que g() es un vertice del polgono y g() ,= .
Denotamos las otras preimagenens de los vertices bajo g por b
1
, ..., b
n1
con b
1
< ... < b
n1
.
Elija b real con b < b
1
y tal que g(b) ,= . La funcion f : z g(b 1/z) esta dada por
la formula de Schwarz-Cristoel. Sea = b 1/z. Entonces, con g() = f(1/(b ))
obtenemos que
g() = c
_
1/(b)
0
dz
(z a
1
)
1
1
...(z a
n1
)
1
n1
(z a
n
)
1
n
+d
donde a
1
, ..., a
n1
, a
n
son las preimagenes de los vertices bajo f. Ahora z = 1/(b )
implica que z a
k
=
1
b

1
bb
k
= c
k
zb
k
b
para constantes c
k
y todo k con k < n. Adem as,
a
n
= 0. Al efectuar la sustitucion z = 1/(b ) en la integral, obtenemos que
g() = c

_

0
(b )
1
1
...(b )
1
n1
(b )
1
n
1
(b)
2
( b
1
)
1
1
...( b
n1
)
1
n1
d +d

para constantes c

, d

. Finalmente, la suma de los angulos (1

1
), ..., (1
n1
), (1

n
) es 2 y el numerador en la ultima integral es igual a 1. Entonces, la formula de
Schwarz-Cristoel para un mapa g tal que la imagen de es un vertice del polgono tiene
la forma
g() = c

_

0
1
( b
1
)
1
1
...( b
n1
)
1
n1
d + d

para todo z en H
donde b
1
, ..., b
n1
son las preimagenes de los restantes vertices del polgono y c

, d

son
constantes.
Si es un vertice del polinomio, conviene usar la convencion de tomar el angulo
correspondiente con signo negativo. (Por ejemplo, el sector re
it
[ r > 0, 0 < t < /3
tiene los angulos /3 en 0 y /3 en .) Como antes consideramos g = f
1/
(ahora con
negativo) para demostrar que la derivada logartmica de f

tiene un polo simple con

residuo 1 en el punto preimagen f
1
().
Como ejemplo consideramos el triangulo D = z [ 'z > 0, [z[ < /2. Los angulos
son /2, /2 y 0. Usamos una transformacion de Mobius para mover las preimagenes de
los vertices bajo el mapeo conforme a los puntos 1, 1 y (mover primero la preimagen
de a ). Entonces, obtenemos con la formula de Schwarz-Cristoel el mapeo
c

0
d
(+1)
1/2
(1)
1/2
+d

= c

cosh
1
+d

.
Ejercicio: Verique que la funcion cosh mapea el triangulo D sobre el semiplano supe-
rior H.
Otro ejemplo sencillo (pero importante!) es el mapeo
_

0
d
+1
= Ln ( + 1). La
imagen de H es la franja z [ 0 < z < . (En este ejemplo y en algunos otros ejemplos
podemos aplicar Schwarz-Cristoel bien que no es un punto simple de la frontera. Para
justicar eso, aproximamos el polgono por polgonos con fronteras simples.)
Observacion: Muchas de las antiderivadas raras de funciones algebraicas (es decir, fun-
ciones que cumplen ecuaciones polinomiales) tienen una explicacion por mapeo conforme.