El teorema de 1/4 de Koebe

Edward Camelo1
1 Escuelade Ciencias Exactas e Ingenierı́a
Universidad Sergio Arboleda

El teorema de 1/4 de Koebe

Edward, Camelo (USA) Análisis Complejo USA 2021 1 / 26

 P
Las clases de las funciones S y

Definición 1.
Sea U un subconjunto abierto de C. Una función holomorfa f : U → C
que es inyectiva se le denomina función univalente. También es llamada
función de schlicht.
Vamos a definir la clase de funciones

0
S = {f : D → C : es univalente en D , f (0) = 0, f (0) = 1} (1)

Cada miembro de S tiene una expansión de Taylor sobre 0

f (z) = z + a2 z 2 + a3 z 3 + · · · (2)

La cual es convergente para |z| < 1

Edward, Camelo (USA) Análisis Complejo USA 2021 2 / 26

Algunos ejemplos

Ejemplos.
El miembro mas importante de S , la función de Koebe
z
f (z) = = z + 2z 2 + 3z 3 + · · ·
(1 − z)2

La función f es univalente de D en el complemento de (−∞, − 14 ]. Para

ver esto, tome
1 1+z 2 1
 
f (z) = −
4 1−z 4

Edward, Camelo (USA) Análisis Complejo USA 2021 3 / 26

Algunos ejemplos

Ejemplos.
Otros ejemplos de funciones que están en S
z 3 5 7
1) f (z) = 1−z 2 = z + z + z + z + · · · . Que va de D a el complemento
S
de (−∞, −1/2] [1/2, ∞)

2) f (z) = 21 log 1+z π

1−z el cual va de D a la banda − 4 < Im(w ) <
π
4

3) f (z) = z − 12 z 2 = 12 (1 − (1 − z)2 ) el cual va de D a un cardioide.

Edward, Camelo (USA) Análisis Complejo USA 2021 4 / 26

Nota 1.
Note que la clase de funciones de S no es cerrada bajo la suma ni la
multiplicación. Sea
z z
f (z) = y g (z) =
1−z 1 + iz
f y g están en S. Sin embargo
0 1 0 1
f (z) = 2
y g (z) =
(1 − z) (1 + iz)2
0 0
De esto, se concluye que f (z) + g (z) = 0 si

1 1+i
z= =
1−i 2
Por lo que f + g no es inyectiva, es decir no esta en S

Edward, Camelo (USA) Análisis Complejo USA 2021 5 / 26

Transformaciones.
Por otro lado, la clase de funciones de S se conserva bajo una serie de
transformaciones que vamos a ver a continuación.

Edward, Camelo (USA) Análisis Complejo USA 2021 6 / 26

Conjugación.
La función g (z) = f (z) = z + a2 z 2 + a3 z 3 + · · · pertenece a S.

Rotación.
Para todo θ ∈ R, la función

g (z) = e −iθ f (e iθ z) = z + e iθ a2 z 2 + e 2iθ a3 z 3 + · · ·

pertenece a S

Dilatación.
Para todo r ∈ (0, 1), la función

g (z) = r −1 f (rz) = z + ra2 z 2 + r 2 a3 z 3 + · · ·

pertenece a S

Edward, Camelo (USA) Análisis Complejo USA 2021 7 / 26

Automorfismos del Disco.
Para cada α ∈ D,la función
z+α
f ( 1+αz ) − f (α)
g (z) =
(1 − |α|2 )f 0 (α)
z+z0
Suponga que f ∈ S y sea w (z) = 1+z 0z
la transformación de Mobius con
w (0) = z0 , con z0 < 1. Como z0 ∈ D se concluye que:

f (w (z)) − f (z0 )
g (z) =
(1 − |z0 |2 )f 0 (z0 )

es univalente en D con g (0) = 0. Mas aun

0 0 0
0 w (z)f (w (z)) f (w (z))
g (z) = 0 =
2
(1 − |z0 | )f (z0 ) (1 − z0 z)2 f 0 (z0 )
0
Con g (0) = 1, que es lo requerido.

Edward, Camelo (USA) Análisis Complejo USA 2021 8 / 26

Transformación de rango.
Si Ψ es una función analı́tica y univalente en el rango de f con Ψ(0) = 0 y
0
Ψ (0) = 1 entonces la función g = Ψ ◦ f pertenece a S

Transformación de valor omitido.

Si w no pertenece al rango de f entonces la función

wf (z)
g (z) =
w − f (z)

pertenece a S.(Caso especial de la transformación de rango).

Edward, Camelo (USA) Análisis Complejo USA 2021 9 / 26

Transformación de la raı́z cuadrada.
Hay una rama bien definida y continua de la función
q
g (z) = f (z 2 )

que pertenece a S. Para ver esto, primero observe que f (z) tiene un único
cero en 0 lo cual implica que f (z 2 ) tiene un único cero en 0 y este es de
orden 2.Luego si expandimos la función

f (z 2 ) = z 2 + a2 z 4 + a3 z 6 + a4 z 8 + · · · = z 2 (1 + a2 z 2 + a3 z 4 + a4 z 6 )

La expresión en paréntesis nunca se vuelve cero, y por la proposición vista

en clase, existe una rama continua de la raı́z cuadrada de dicha expresión
definida en D. hay dos ramas de este tipo, con valor +1 y −1, escojamos
la rama con valor +1 en 0. y denotese por h(z).Entonces
q
g (z) = f (z 2 ) = z · h(z)

Edward, Camelo (USA) Análisis Complejo USA 2021 10 / 26

Definición 2.
∆ = {w ∈ C : |w | > 1}

Clase de funciones Σ.
Una clase de funciones relacionadas con S es la clase:
0
Σ = {g : ∆ → C : g es univalente en ∆, lim g (z) = ∞, g (∞) = 1}
z→∞

Recuerde que si el limz→∞ g (z) = ∞ implica que g es holomorfa de una

vecindad del ∞ a una vecindad de infinito. La derivada de g en ∞ es
1
calculada por la derivada de la función f (z) = g (1/z) en 0. Esto es
0 0
g (∞) = f (0)

Edward, Camelo (USA) Análisis Complejo USA 2021 11 / 26

Clase de funciones Σ.
Un elemento de Σ tiene una expansión en series
b1 b2
g (z) = z + b0 + + 2 + ···
z z
que es convergente para |z| > 1.
Es util considerar la subclase de funciones
0
Σ = {f : ∆ → C : f ∈ Σ, 0 ∈
/ f (∆)}

Note que todo elemento Σ puede ser ajustado añadiendo un termino

0
constante para que este sea un elemento de Σ

Edward, Camelo (USA) Análisis Complejo USA 2021 12 / 26

 0
Existe una correspondencia inyectiva entre S y Σ obtenida por inversión.
Esto es, para cada f ∈ S la función
1
g (z) = , |z| > 1
f (1/z)
0
pertenece a Σ

Edward, Camelo (USA) Análisis Complejo USA 2021 13 / 26

Medida cero de Lebesgue.
Recuerde que un conjunto E ⊂ C tiene una medida cero de Lebesgue, S o
área cero, si para doto  > 0 existe z i ∈ C y r i > 0 tal que E ⊆ B(zi , ri )
2
P
y i πri ≤ .
Una subclase de Σ es

Σ = {f : ∆ → C : f ∈ Σ, f (∆)c tiene una medida cero de Lebesgue}

Edward, Camelo (USA) Análisis Complejo USA 2021 14 / 26

En 1914 Gronwall descubrió la siguiente restricción en los coeficientes de
las funciones en la clase Σ
Teorema (Teorema del Area)
Si
b1 b2
g (z) = z + b0 + + 2 + ···
z z
pertenece a Σ, entonces
∞
X
n|bn |2 ≤ 1 (3)
n=1

Con la igualdad si y solo si g ∈ Σ

Edward, Camelo (USA) Análisis Complejo USA 2021 15 / 26

Demostración.
Para r > 1, Sea Cr la imagen el circulo |z| = r bajo g . Cada Cr tiene una
curva simple, cerrada y suave. Sea Er la componente acotada y conectada
de C\Cr . Y sea w = x + iy la coordenada en la imagen de g.
El teorema de green nos indica que
Z Z
1 1
Area(Er ) = xdy = w dw
2i Cr 2i Cr

Con el cambio de variables

Z
1 0
= g (z)g (z)dz
2i |z|=r

Sustituyendo g (z) y escribiendolo en forma polar se tiene

∞ ∞
! !
1 2π
Z X X
re −iθ + bn r −n e inθ 1− vbv r −v −1 e −i(v +1)θ ire iθ dθ
2i 0
n=0 v =1

Edward, Camelo (USA) Análisis Complejo USA 2021 16 / 26

Demostración.

∞ ∞
! !
Z 2π
1 −iθ
X
−n inθ
X
−v −1 −i(v +1)θ
re + bn r e 1− vbv r e ire iθ dθ
2i 0 n=0 v =1

∞ ∞
! !
Z 2π
1 −iθ
X
−n inθ iθ
X
−v −iv θ
= re + bn r e re − vbv r e dθ
2 0 n=0 v =1
∞
!
X
= π r2 − n|bn |2 r −2n
n=1

Tomando el limite cuando r tiende a 1, se concluye que

∞
!
X
2
Area(C\g (∆)) = π 1 − n|bn |
n=1

Edward, Camelo (USA) Análisis Complejo USA 2021 17 / 26

Demostración.
Como cada termino de la suma de g es positivo, podemos concluir que
para todo n ≥ 1 siempre se va a tener
1
|bn | ≤ √
n

Edward, Camelo (USA) Análisis Complejo USA 2021 18 / 26

Teorema (Corolario 1)
Si g ∈ Σ, entonces |b1 | ≤ 1, con la igualdad si y solo si g tiene la forma

b1
g (z) = z + b0 + , |b1 | = 1
z

Edward, Camelo (USA) Análisis Complejo USA 2021 19 / 26

De hecho, podemos ver que√para algún b0 y b1 con |b1 | = 1, g pertenece a
Σ. Dado b0 y b1 , sea a1 = b1 , para alguna elección de la raı́z cuadrada,
y sea a2 = a11 . Definamos la funcion h1 (z) = a1 z y h2 (z) = a2 z − a2 b0 .
h1 y h2 son automorfismos de C. Si tomamos a f = h2 ◦ g ◦ h1 .
Realizando la respectiva composición f (z) = z+1
z .Ya que

z +1
f (z) = = z + z = 2Re(z)
z
Esto significa que la restricción de f al conjunto |z| > 1 cubre C\[−2, +2]
Esto implica que g es univalente en ∆ y su imagen es igual a algún
segmento de linea de longitud 4.

Edward, Camelo (USA) Análisis Complejo USA 2021 20 / 26

Teorema (Teorema de Bieberbach)
Si f ∈ S, entonces |a2 | ≤ 2, con la igualdad si y solo si f es una rotación
de la función de Koebe.

Edward, Camelo (USA) Análisis Complejo USA 2021 21 / 26

Demostración.
Sea f (z) = z + a2 z 2 + a3 z 3 + · · · , Apliquemos la transformación de raı́z
cuadrada obteniendo
a2
q
h(z) = f (z 2 ) = z + z 3 + · · ·
2
Como vimos antes h es un elemento de S. Aplicando una inversión a la
función h, obtenemos
1 1 1 1
g (z) = = 2 1/2
= a2 =z a2
h(1/z) f (1/z ) 1/z + 2z 3 + · · · 1 + 2z 2 + · · ·

a2 1
=z− + ···
2 z
Ası́ g pertenece a Σ.

Edward, Camelo (USA) Análisis Complejo USA 2021 22 / 26

Demostración.
Por el corolario 1, |a2 | ≤ 2.
Si |a2 | = 2 entonces g se reduce a la forma

g (z) = z − e iθ /z

La cual es equivalente a

z2
f (1/z 2 ) =
z 4 − 2e iθ z 2 + e 2iθ

Usando la coordenada w = 1/z 2 en D se concluye que

w −iθ e iθ w
f (w ) = = e = e −iθ k(e iθ w )
(1 − e iθ w )2 (1 − e iθ w )2

Donde k es la función de Koebe.

Edward, Camelo (USA) Análisis Complejo USA 2021 23 / 26

Teorema (Teorema 1/4 de Koebe)
Para todo f ∈ S, f (D) contiene la bola |w | < 1/4

Edward, Camelo (USA) Análisis Complejo USA 2021 24 / 26

Demostración.
Sea f (z) = z + a2 z 2 + a3 z 3 + · · · una función en S que omite el valor
w ∈ C. Usando la transformación de valor omitido, construimos la funcion
wf (z) 1
h(z) = = z + (a2 + )z 2 + · · ·
w − f (z) 2

h esta en S como habı́amos visto anteriormente.

Por el teorema de Bieberbach, podemos asegurar que
1
|a2 + |≤2
w
Combinado con el resultado de |a2 | ≤ 2, podemos concluir que |1/w | ≤ 4,
esto es |w | ≥ 1/4

Edward, Camelo (USA) Análisis Complejo USA 2021 25 / 26

 Gracias

Edward, Camelo (USA) Análisis Complejo USA 2021 26 / 26