Vous êtes sur la page 1sur 127

INSTITUTO POLITCNICO NACIONAL

ESFM
ESFM

ESCUELA SUPERIOR DE FSICA Y MATEMTICAS

El Espacio de Bloch
de Funciones Analticas
TESIS
Que para obtener el grado de

MAESTRO EN CIENCIAS
EN MATEMTICAS
Presenta

DIANA DENYS JIMNEZ SURO


Directores de Tesis
Dr. Lino Feliciano Resndis Ocampo
Dr. Luis Manuel Tovar Snchez

Mxico, D.F.

Noviembre 2009

Resumen

Resumen
Este trabajo es un estudio sobre uno de los espacios pesados (o ponderados) de funciones analticas
mas importantes, que es El Espacio de Bloch. Se presentan sus propiedades geometricas y analticas
as como diferentes caracterizaciones del Espacio de Bloch y las relaciones con otros espacios de funciones.
En la primera parte se analizan propiedades importantes de las transformaciones conformes del
disco unitario sobre s mismo; despues se consideran algunas propiedades geometricas del disco pseudohiperb
olico y finalmente se estudian las funciones de Green en el disco unitario.
Dado que los antecedentes de la Teora del Espacio de Bloch encuentran su origen en la Teora
de Funciones Univalentes, es que en la segunda parte se incluyen algunos resultados de la Teora Elemental de Funciones Univalentes haciendo enfasis en los teoremas de crecimiento, de distorsi
on y en
criterios de univalencia; los cuales involucran a la funci
on, as como sus primeras dos derivadas. Esta

teora comienza con el Teorema del Area,


que es un resultado fundamental en el estudio de funciones

univalentes. Este es empleado para demostrar el Teorema de Bieberbach, que habla sobre funciones
univalentes normalizadas y que establece que el coeficiente a2 de su desarrollo en serie de potencias
satisface que |a2 | 2. Este resultado es basico para la prueba de los teoremas de crecimiento y distorsion. Debido a la importancia de conocer si una funcion es univalente o no, se incorpora en esta
seccion el operador Schwarziano ya que se usa para obtener el Criterio de univalencia de Nehari. Este
criterio se usa en la demostracion de algunos resultados del siguiente captulo.
En la tercera parte se define la constante de Bloch, el critero que da nombre al Espacio de Bloch y
se consideran los resultados derivados de los mismos. Para funciones analticas en el disco unitario se
define el radio de univalencia asociado a un punto f (z), proporcionando diversas caracterizaciones de
la condici
on de Bloch, presentada en la u
ltima parte de la tesis.
En la parte final, se proporcionan los conceptos y propiedades basicas del Espacio de Bloch as como
algunas de sus primeras caracterizaciones, tomando en cuenta el disco de univalencia, as como sus
primitivas y derivadas. Finalmente se consideran algunas caracterizaciones integrales mas recientes del
Espacio de Bloch y las relaciones con otros espacios de funciones tales como el Espacio de Dirichlet, el
Espacio BMOA, los Espacios de Hardy H p y los Espacios Qp .

II

Resumen

Abstract

III

Abstract
This work sets about one of the most important weighted spaces of analytic functions, which is the
Bloch space. Its geometric and analytic properties are presented as well as its different characterizations
and relationship with other function spaces.
In the first part of this work important properties of conformal mapping from the unit disk onto
itself are analyzed; afterwards some geometrical properties of the pseudohiperbolic disk are considered
and finally we study the Green functions in the unit disk.
Since the Bloch space has its origin in the univalent function theory, in the second part some results
of the elementary theory of univalent functions are included emphasizing on the growth and distortion
theorems and univalence criteria, which involves the function and its first two derivatives. It begins
with the Area Theorem, a fundamental result in the study of univalent functions. It is used to prove
the Bieberbach theorem which spaeaks on normalized functions and sets: the a2 coefficient of their
expression as a power series satisfies that |a2 | 2. This result is basic in the proof of the growth and
distortion theorems. Because of the importance of knowing whether a function is univalent or not, the
Schwarzian operator is incorporated into this section due to it is used to obtain the Neharis univalence
criterion. This criterion is applied in the proof of some results in the next part.
In the third part the Bloch constant and the criterion that names the Bloch space are defined; in
addtion we consider the results derived from them. For analytic functions in the unit disk the large
schlicht disc around the point f (z) is defined, providing different characterizations of the Bloch condition, presented in the last part of this thesis.
At the end, we provide basic concepts and properties of the Bloch space and some of its early
characterizations, taking into account the schlicht disk, as well as the primitive and derivative of the
function. Finally we consider some recent integral characterizations of Bloch space and its relationship
with some other function spaces such as the Dirichlet space, the BMOA space, the Hardy spaces H p
and the Qp spaces.

IV

Abstract

Indice general
Introducci
on.

1. Preliminares
1.1. Transformaciones de Mobius. . . . . . . . . .
1.2. La transformacion de Mobius a . . . . . . . .
1.3. El disco pseudohiperbolico . . . . . . . . . . .
1.4. Funciones de Green. . . . . . . . . . . . . . .
1.4.1. Funcion de Green en el disco unitario.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

5
. 5
. 6
. 11
. 16
. 18

2. Teora Elemental de Funciones Univalentes

2.1. Teorema del Area


. . . . . . . . . . . . . . .
2.2. Teoremas de crecimiento y distorsion . . . .
2.3. El Schwarziano . . . . . . . . . . . . . . . .
2.4. Univalencia y el Schwarziano . . . . . . . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

21
27
31
37
41

3. Teorema de Bloch
49
3.1. Constante de Bloch . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
3.2. Radio de univalencia d(z). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
4. Funciones de Bloch
4.1. El Espacio de Bloch B . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2. El Espacio de Banach B. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.3. Invarianza conforme del Espacio de Bloch . . . . . . . . . . . . . . . . . . . . .
4.4. Caracterizacion de funciones en el Espacio de Bloch B. . . . . . . . . . . . . . .
4.5. El Espacio peque
no de Bloch, B0 . . . . . . . . . . . . . . . . . . . . . . . . . .
4.6. Primitivas y Derivadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.7. Relaciones entre otros Espacios de Banach de funciones y el Espacio de Bloch.
4.7.1. Espacios H p . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.7.2. El Espacio BM OA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.7.3. El Espacio de Dirichlet D. . . . . . . . . . . . . . . . . . . . . . . . . . .
4.7.4. Los Espacios Qp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.8. Caracterizaciones integrales de las funciones de Bloch B. . . . . . . . . . . . . .
4.9. Conclusiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

77
77
78
82
82
87
89
96
96
97
97
98
103
108

A. Ap
endice

109

B. Bibliografa

113

C. Biografa de Andr
e Bloch

115

D. Fotografas de algunos matem


aticos

116

INDICE GENERAL

Introduccion

Introducci
on
Uno de los objetivos fundamentales del Analisis Funcional es el estudio de las propiedades de las familias de funciones en su dominio de definicion: por ejemplo en base a su continuidad, diferenciabilidad,
integrabilidad, alguna caracterstica geometrica, o sus valores lmite al aproximarse a la frontera, etc.
y con ello por similitud establecer clases de funciones, las cuales en muchos casos llegan adem
as a
constituir alg
un tipo de espacios de funciones.
Gracias al Teorema de Mapeo de Riemman en Analisis Complejo, muchas veces, basta estudiar la
familia de funciones analticas en el disco unitario para saber cual es su comportamiento en cualquier
dominio simplemente conexo distinto de C, como es el caso de las propiedades conformemente invariantes. Un buen ejemplo es la conjetura de Bieberbach [Bi] ahora conocida como el Teorema de Branges
[Br]. Tambien el Teorema de Identidad nos dice que el comportamiento de una funcion analtica en un
dominio simplemente conexo queda determinado completamente por sus valores en cualquier vecindad
de cualquier punto del dominio, lo anterior aunado al hecho de que las funciones analticas son de clase
C , nos habla de un comportamiento bastante regular en el interior de su dominio de analiticidad; sin
embargo estas pueden tener un comportamiento completamente irregular al acercarnos por distintas
direcciones a un punto de la frontera de su dominio. Es importante mencionar que en algunas ocasiones
el Teorema de Mapeo de Riemman no es suficiente para la resolucion de un problema en un dominio
simplemente conexo arbitrario al tratar de reducirlo al disco unitario.
La Teora de Funciones Ponderadas o pesadas estudia y clasifica a las funciones analticas por medio
de su comportamiento al ser evaluadas en vecindades de la frontera de su dominio, valiendose para
ello de determinados factores de peso y midiendo con diversas herramientas matematicas la funci
on
as ponderada.
La Teora de Funciones Ponderadas inicio a principios del siglo XX. Andre Bloch noto que, al considerar funciones analticas con cierta normalizacion y mapear discos contenidos en el disco unitario
con estas funciones, la imagen de dichos discos contenan a su vez un disco cuyo radio y centro est
a estrechamente relacionado entre otros parametros con el radio del disco mapeado. Mas a
un A. Bloch
estimo una cota para el radio de tales discos, dicho resultado esta expresado en el Teorema de Bloch [Bl],
3.1.6. Posteriormente su trabajo fue tomado para la creaci
on de un criterio que permitiera clasificar funciones por medio de su comportamiento al ser evaluadas en vecindades de la frontera del disco unitario.
Similarmente otros espacios de funciones fueron creados utilizando diferentes criterios.
En particular se consideraron tambien clases de funciones con otro tipo de peso y propiedades
geometricas lo cual dio origen a otros espacios de funciones, un ejemplo es el Espacio de Dirichlet.
Estos desarrollos que se pueden suponer ajenos en sus inicios, encuentran a partir de 1994 con el desarrollo de los Espacios Qp introducidos por Rauno Aulaskari y Peter Lappan [AuLa], [AuXiZh], un
marco general que muestra que los espacios mencionados son solo casos particulares de una familia

Introducci
on

infinita no numerable y anidada de Espacios de Banach Mobius invariante. A partir de ese momento
la Teora de Funciones Ponderadas se ha visto enriquecida por muchos resultados que parten ahora de
dicha definicion.
El estudio de los espacios ponderados llevado a cabo por R. Aulaskari, P. Lappan, J. Xiao, R. Zhao
entre otros, tiene sus orgenes en el a
no de 1961 con el trabajo de F. John y L. Nirenberg [JoNi] en
el cual definen las funciones de oscilaci
on media acotada (BMO) en Rn . Posteriormente, C. Fefferman
en 1971 [Fe] establece que el Espacio de funciones BMO es el dual del Espacio de Hardy H 1 (Rn ). A
partir de este hecho, R. Gundy [BuGuSi] introduce el Espacio de funciones analticas con oscilaci
on
media acotada (BMOA) y da la caracterizacion que actualmente es conocida como el caso Q1 . Es la
formulacion de R. Gundy la que R. Aulaskari y P. Lappan generalizan para introducir los denominados
Espacios Qp , para 0 p < .
Como ya se menciono anteriormente, para la clasificacion de una funcion se requiere de un criterio
(el cual da nombre al conjunto de funciones que lo satisfacen). El Espacio de Funciones de Bloch
es uno de los casos particulares de los Espacios Qp , en este trabajo se estudia su origen, definici
on y
diferentes caracterizaciones del criterio as como las relaciones que tiene con otros espacios de funciones.
Se ha tratado que sea lo mas autocontenido posible, lo cual hizo necesario incorporar resultados sobre
funciones univalentes.

Captulo 1

Preliminares
El objetivo de este captulo es mostrar algunas propiedades importantes de las transformaciones conformes del disco unitario D sobre s mismo, y las funciones de Green las cuales son de gran utilidad en
el estudio de los espacios ponderados de funciones analticas en D.
Entre las geometras mas importantes estan la: Euclidiana, esferica e hiperbolica pues todas ellas
son casos particulares de geometra conforme, cuando el espacio es la esfera unitaria n-dimensional y
el grupo de transformaciones es dado por las transformaciones de Mobius.
Una transformacion de Mobius puede verse en el plano complejo C como la composici
on de una
proyeccion estereografica del plano sobre la esfera, seguida de una rotacion o traslacion de la esfera y
finalmente la inversa de la proyeccion estereografica de la esfera al plano.

1.1.

Transformaciones de M
obius.

Definici
on 1.1.1. Las transformaciones racionales lineales o de M
obius f : C C , donde C es el
plano complejo extendido, tienen la forma general
f (z) =

az + b
cz + d

donde a, b, c, d son constantes complejas.


Estas transformaciones son conformes en todo punto excepto cuando ad bc = 0 ya que en ese
punto f (z) = 0 y la funcion es constante. De aqu en adelante se supondra ad bc 6= 0.
La funcion f es composicion de rotaciones, homotesias, traslaciones e inversiones. Las propiedades
de estas transformaciones son heredadas de las transformaciones que las factorizan con respecto a la
composicion.
Las transformaciones de Mobius poseen diversas propiedades importantes:
a) Forman un grupo no conmutativo bajo composicion.
b) Toda recta o crculo que no pase por el polo z = dc de la transformacion es mapeado en un
crculo; y toda recta o crculo que pasa por el polo es mapeado en una recta.
c) Son funciones inyectivas de C sobre C .
d) Son complejo diferenciables en C \ {z0 }, donde z0 es el polo de la transformacion.

Preliminares

6
e) Son mapeos conformes del plano complejo extendido en s mismo.
(Ver [Sil] captulo 5).

1.2.

La transformaci
on de M
obius a .

En esta seccion centramos nuestro estudio en una subfamilia de las transformaciones de Mobius que
determinan como lo mostraremos mas adelante a todos los mapeos conformes del disco en el disco.
A lo largo de este trabajo D sera el disco unitario {z C : |z| < 1} y D denotara su frontera, es
decir, D = {z C : |z| = 1}. Dado a D denotamos por a a la transformacion de Mobius dada por
a (z) =

az
;
1 az

esta transformacion tiene un cero en z = a y un polo simple en z =

(1.1)
1
a

6 D.

Cuando se observa una funcion biyectiva nos preguntamos acerca de su inversa. En el caso de a
su funcion inversa es ella misma.
Proposici
on 1.2.1. Dado a D, entonces 1
a = a .
Demostraci
on.
Directamente de la composicion:
a (a (z)) =

az
a 1az
a a (z)
a aaz a + z
z |a|2 z
=
=
=
=z
az
1 aa (z)
1 az aa + az
1 |a|2
1 a 1az

se tiene el resultado.
De la propiedad (c) en la lista anterior se tienen:
Corolario 1.2.2. Sea a D, entonces a es inyectiva.
Proposici
on 1.2.3. Sea a D, entonces a (D) = D.
Demostraci
on.
Sea z D, entonces z = ei y



i
a ei a ei


= |a e | = 1 .

|a (z)| = |a (e )| =
=
1 aei ei a a ei
i

Ademas, como a es inyectiva y dado que mapea circunferencias en circunferencias o rectas se


concluye que a (D) = D.
Proposici
on 1.2.4. Sea a D, entonces a (D) D.

1.2. La transformacion de Mobius a .

Demostraci
on.
Sea z D, entonces
|z|2 (1 |a|2 ) <
|z|2 + |a|2 <

|z|2 (az + az) + |a|2 <


(z a)(z a) <
|z a|2 <
|a z|
<
|1 az|
|a (z)| <

1 |a|2 ;
1 + |a|2 |z|2 ;

1 (az + az) + |a|2 |z|2 ;


(1 az)(1 az) ;
|1 az|2 ;

1;
1.

Corolario 1.2.5. Sea a D, entonces a (D) = D y a (Dc ) = Dc .


Demostraci
on.
De la Proposicion 1.2.4, se tiene que a (D) D, luego
a (a (D))
D

a (D)
a (D)

por la Proposicion 1.1, por lo tanto a (D) = D.


As, de este hecho, por el Corolario 1.2.2 se tiene que a (Dc ) = Dc .
La siguiente igualdad sera de gran utilidad en la aplicaci
on del Teorema de Cambio de Variable de
integracion.
Proposici
on 1.2.6. Sea a como en (1.1), entonces para cada z D se cumple que
|a (z)|2 =

(1 |a|2 )2
(1 |a (z)|2 )2
=
.
4
|1 az|
(1 |z|2 )2

Demostraci
on.
Calculando la derivada a a (z)
a (z) =
=

(1 az)(1) (a z)(a)
(1 az)2
1 + az + |a|2 az
|a|2 1
=
2
(1 az)
(1 az)2

tomando modulos y elevando al cuadrado


|a (z)|2

2
1 |a|2
=
.
|1 az|4

(1.2)

Preliminares

8
Por otro lado
2

1 |a (z)|



az
az
|a|2 az az + |z|2
= 1
1
1 az
1 az
1 az az + |a|2 |z|2
2
2
2
1 az az + |a| |z| + |a| az az + |z|2
1 az az + |a|2 |z|2
2
2
1 + |a| |z| |a|2 |z|2
1 |z|2 |a|2 (1 |z|2 )
=
1 az az + aazz
1 az az(1 az)
2
2
(1 |z| )(1 |a| )
,
(1 az)(1 az)


=
=
=
=

finalmente despejando y elevando al cuadrado


2
1 |a|2
(1 |a (z)|2 )2
=
= |a (z)|2 .
(1 |z|2 )2
|1 az|4
Proposici
on 1.2.7. Sean z, a D, entonces
2

1 |a (z)|
4

.
1 |z|2
1 |a|2
Demostraci
on.
Por un lado,
|a| |z|
1 |a|
1 |a| |z|
(1 |a|)(1 + |a|)
1 |a| |z|
1 |a|2
1 |a| |z|

<

|a| ;

<

1;

<

2;

<

2;

(1.3)

mientras que,
0 1 |a| |z| |1 az| 1 + |a| |z| 2 ;
1
1
1
1

;
2
1 + |a| |z|
|1 az|
1 |a| |z|

entonces de (1.3) y (1.4) se tiene

1
1

;
|1 az|
1 |a| |z|

1 |a|2
1 |a|2

2;
|1 az|
1 |a| |z|
1 |a|2
2;
|1 az|

(1 |a|2 )2
4;
|1 az|2

1 |a|2
4

;
|1 az|2
1 |a|2

(1.4)

1.2. La transformacion de Mobius a .

por u
ltimo, de la Proposicion 1.2.6, sabemos que
1 |a (z)|2
1 |a|2
=
.
2
1 |z|
|1 az|2
As para todo z D,

1 |a (z)|2
1 |z|2

2

16
(1 |a|2 )2

Algunos calculos directos nos dan:


a (0) = |a|2 1,

a (a) =

1
,
|a|2 1

a (z) =

a z
,
1 + az

a (0) = a.

a (0) = a,

Como se observara mas adelante, la funcion a es u


til para caracterizar las funciones analticas
biyectivas en D, para esto, necesitamos un paso intermedio.
Proposici
on 1.2.8. Sea f una funci
on analtica en D con |f (z)| 1 y sea a D, entonces
|f (a)|

1 |f (a)|2
.
1 |a|2

Demostraci
on.
Sea = f (a) y sea g = f a , entonces g(D) D y
g(0) = (f (a (0))) = (f (a)) = () = 0.
Entonces por el Lema de Schwarz:
i) |g (0)| 1,
ii) |g(z)| |z| para todo z D.
iii) Si |g (0)| = 1 o si |g(z)| = |z| para alg
un z 6= 0, entonces existe una constante c con |c| = 1, tal
que g(w) = cw para todo w D.
Ahora calculemos |g (0)|. Aplicando regla de la cadena
g (0) = ( f ) (a (0))a (0) = ( f ) (a)(|a|2 1)
= (f (a))f (a)(|a|2 1) = ()f (a)(|a|2 1)
1
1 |a|2

2
=
f
(a)(|a|

1)
=
f (a).
||2 1
1 ||2
Despejando y tomando modulos
|f (a)| =

1 ||2
|g (0)|,
1 |a|2

y como = f (a) se tiene


|f (a)|

1 |f (a)|2
.
1 |a|2

Preliminares

10

Nota 1.2.9. De hecho, de la demostraci


on se observa que la igualdad ocurrir
a exactamente cuando
|g (0)| = 1, y en este caso, de acuerdo a (iii), existir
a una constante c con |c| = 1 de manera que
g(z) = f a (z) = cz,
f (z) = (ca (z)) .
Tenemos ademas que si |c| = 1 y |a| < 1, entonces c y a definen un mapeo f = ca : D D que es
analtico y biyectivo. A continuacion veremos que el recproco de esta afirmacion tambien es cierto.
Teorema 1.2.10. Sea f : D D un mapeo analtico y biyectivo y sup
ongase que f (a) = 0, entonces
existe una constante c con |c| = 1 tal que f = ca .
Demostraci
on.
Como f es biyectiva existe g : D D analtica y biyectiva tal que f (g(z)) = g(f (z)) = z para
z D, entonces g(0) = a y ambas, f y g, cumplen las condiciones de la anterior proposicion, por lo
que
1
1 |f (a)|2
=
,
|f (a)|
1 |a|2
1 |a|2
|g (0)|

1 |g(0)|2
= 1 |a|2 .
1 |0|2

Pero g f es la identidad en D y por tanto su derivada es 1 en todo D, en particular para z = a tenemos


(g f ) (a) = g (f (a))f (a) = g (0)f (a) = 1, mas a
un
|f (a)| =

1
,
1 |a|2

|g (0)| = 1 |a|2 ,
y recordando nuestra nota anterior, como se cumple la igualdad, entonces para f , existe c con |c| = 1
tal que f (z) = 0 (ca (z)) = ca (z) para toda z D.
Corolario 1.2.11. Sean a, b D, entonces existen c D y k con |k| = 1 tales que
a b = kc .
M
as a
un c = b (a).
Demostraci
on.
Como 1
= b , a b se anula en b (a), pues (a b )(b (a)) = a (b (b (a))) = a (a) = 0,
b
entonces tomando f = a a y a = b (a) en la proposicion anterior, tenemos que existe k con |k| = 1
tal que
a b (z) = kb (a) (z).


Proposici
on 1.2.12. Sean a, z D, entonces |a| (|z|) |a (z)|.
Demostraci
on.

Queremos mostrar que






|z| |a| 2 z + a 2



1 |a||z|
1 + az ,

1.3. El disco pseudohiperbolico

11

pero primero notemos que si a = |a|ei entonces


z+a
z + |a|ei
ei (zei + |a|)
=
=
;
i
1 + az
1 + |a|e z
1 + |a|zei
tomando w = zei tenemos que |z| = |w| y entonces





|w| |a| |z| a z + a w + |a|

=

=

1 |a||w| 1 |a||z| 1 + az 1 + |a|w .

As que basta probarlo para 0 a < 1. Sea 0 a < 1, z = Re (z) + i Im (z) entonces
Re (z)


2a Re (z) (1 |z|2 )(1 a2 )

Ademas

(1 |z|2 )(1 a2 ) =
=
=

|z| ;


2a|z| (1 |z|2 )(1 a2 ) .

1 |z|2 a2 + a2 |z|2

(1 2a|z| + a2 |z|2 ) (|z|2 2a|z| + a2 )


(1 a|z|)2 (|z| a)2 .

Entonces
0
0
0

2a|z|(1 a2 )(1 |z|2 ) + 2a Re (z)[(1 a|z|)2 (|z| a)2 ] ;

2a|z|[1 + a2 |z|2 |z|2 a2 ] + 2a Re (z)(1 a|z|)2 2a Re (z)(|z| a)2 ] ;


2a|z| + 2a3 |z|3 2a|z|3 2a3 |z| + 2a Re (z)(1 a|z|)2 2a Re (z)(|z| a)2 ] ;

en donde
2a|z| 2a3 |z|3 + 2a(|z| a)2 Re (z) 2a|z|3 2a3 |z| + 2a(1 a|z|)2 Re (z) ;

2a|z| + a2 + a2 |z|4 2a3 |z|3 + a4 |z|2 + 2a(|z| a)2 Re (z)

2a|z|3 + a2 |z|4 + a2 2a3 |z| + a4 |z|2 + 2a(1 a|z|)2 Re (z) ;

|z|2 2a|z| + a2 + 2a(|z| a)2 Re (z) + (|z| a)2 a2 |z|2

|z|2 2a|z|3 + a2 |z|4 + 2a(1 a|z|)2 Re (z) + (1 a|z|)2 a2 ;

(|z| a)2 [1 + 2a Re (z) + a2 |z|2 ]


(|z| a)2 |1 + az|2


|z| a 2


1 a|z|

1.3.

(1 a|z|)2 (|z|2 + 2a Re (z) + a2 ) ;


(1 a|z|)2 |z + a|2 ;


z + a 2


1 + az .

El disco pseudohiperb
olico

Sabemos que a es una transformacion conforme que tiene la propiedad de mapear lneas rectas o
circunferencias en lneas rectas o circunferencias.
Sea 0 < r < 1 y Dr (0) = {z D : |z| < r}. En este caso, dado que Dr (0) D y que para todo
z D, con |z| = r se tiene que z 6= a1 (pues a1 6 D), es decir, el polo de la transformacion no est
a en
D, entonces para toda 0 < r < 1, a (Dr (0)) es un disco tal que a (Dr (0)) D.

Preliminares

12

Definici
on 1.3.1. La imagen de Dr (0) bajo a se llama disco pseudo-hiperb
olico, es decir es el conjunto
a (Dr (0)) := {a (z) : |z| < r},
donde a D y 0 < r < 1.
Para determinar la circunferencia de a (Dr (0)) tomemos dos puntos diametralmente opuestos z1
r
r
y z2 Dr (0), sean z1 = |a|
a y z2 = |a|
a, el segmento de recta que une a z1 y z2 es un diametro de
Dr (0), por ser a conforme entonces el segmento de recta que une a a (z1 ) y a (z2 ) sera a su vez un
diametro de a (Dr (0)).
Apoyandonos en tales propiedades geometricas, la siguiente proposicion prueba que a (Dr (0)) es
un disco euclidiano:
Proposici
on 1.3.2. Denotemos por d, c y R al di
ametro, centro y radio del disco
D(a, R) := a (Dr (0)) respectivamente, entonces
d=

2r(1 |a|2 )
,
1 |a|2 r2

c=

1 r2
a,
1 r2 |a|2

R=

r(1 |a|2 )
.
1 |a|2 r2

Demostraci
on.
Las imagenes de z1 y z2 son


r
r
a 1 |a|
a |a|
a

=
a (z1 ) =
,
r
1 r|a|
1 a |a|
a


r
r
a 1 + |a|
a
a + |a|

=
a (z2 ) =
.
r
1 + r|a|
a
1 + a |a|
Calculemos el diametro d:

d =

=
=
=
=






a 1 + r
r
a
1


|a|
|a|

|a (z2 ) a (z1 )| =
1 r|a|
1 + r|a|


|a|+r


|a|r
|a|
|a| + r
|a| r
|a|



|a|

= 1 + r|a| 1 r|a|
1 + r|a| 1 r|a|


(1 r|a|)(|a| + r) (1 + r|a|)(|a| r)




(1 r|a|)(1 + r|a|)


|a| + r |a|2 r r2 |a| |a| + r |a|2 r + r2 |a|




1 r2 |a|2


2r 2|a|2 r |2r(1 |a|2 )|
2r(1 |a|2 )


1 r2 |a|2 = |1 r2 |a|2 | = 1 |a|2 r2 .

1.3. El disco pseudohiperbolico

13

Calculemos tambien el centro c:

a (z1 ) + a (z2 )
=
2
|a|aar
|a|

= =
=
=
=

1r|a|

r
a(1+ |a|
)
1+r|a|

r
a(1 |a|
)
1r|a|

|a|a+ar
|a|

1+r|a|

|a|aar
|a|(1r|a|)

|a|a+ar
|a|(1+r|a|)

2
2


1
(1 + r|a|)(|a|a ar) + (1 r|a|)(|a|a + ar)
2|a|
(1 r|a|)(1 + r|a|)


1
|a|a ar + a|a|2 r a|a|r2 + |a|a + ar a|a|2 r a|a|r2
2|a|
1 r2 |a|2


2
1
2a|a| 2a|a|r
1 r2
=
a.
2|a|
1 r2 |a|2
1 r2 |a|2

De lo anterior tenemos el resultado.


Recprocamente, mediante estas expresiones, si se conoce el radio R y el centro c del disco pseudohiperbolico D(c, R) entonces se puede conocer a D y el radio r del disco Dr (0) D tal que
a (Dr (0)) = D(c, R).
Proposici
on 1.3.3. Sea R y c el radio y el centro del disco pseudohiperb
olico respectivamente, entonces

r=

|c|2 + 1 + R2 +

|c|2 1 R2
2R

2

4R2

1/2

a=

c
,
1 rR

donde r es el radio del disco contenido en D y a es el punto en D tal que D(a, R) = a (Dr (0)).
Demostraci
on.
De la proposicion anterior se sabe que
c=

1 r2
a
1 r2 |a|2

(1.5)

R=

r(1 |a|2 )
.
1 |a|2 r2

(1.6)

Debido a que la inversa de a es ella misma (Proposicion 1.2.1), bastara resolver el sistema de ecuaciones
para r y a, despejemos |a|2 de (1.6):
R r2 R|a|2 r + r|a|2
2

|a| r (1 rR)
|a|2

= 0
= rR
rR
=
;
r(1 rR)

(1.7)

continuando con el sistema de ecuaciones, ahora sustituyendo (1.7) en el modulo al cuadrado de (1.5)

Preliminares

14
se tiene

|c|2

=
=
r|c|2 =
Rr2 + (|c|2 1 R2 )r + R =

(r R)(1 r2 )2
r(1 rR)(r R)(1 r2 )2
r(1 rR)
=


2
(r r2 R r3 + r2 R)2
r2 (r R)
1
r(1 rR)
(r R)(1 r2 )2 (1 Rr)
r(1 r2 )2
(r R)(1 rR)
;
r
r R r2 R + rR2 ;
0;

(1.8)

as,
r=

|c|2 + 1 + R2 +

|c|2 1 R2
2R

2

4R2

1/2

Por u
ltimo de (1.7) y (1.8)
|a|2 =

rR
|c|2
=
;
r(1 rR)
(1 rR)2

pero a y c tienen el mismo argumento puesto que a deja invariante el segmento que une al punto a
con el origen, por tanto
c
a=
.
1 rR
La figura 1. 1, muestra el disco unitario con discos contenidos en el de radio 0 < r < 1 (en color
verde) y diametros arbitrarios de los discos (en color violeta).
1.0

0.5

-1.0

0.5

-0.5

-0.5

-1.0

Figura 1.1: Disco Unitario

1.0

1.3. El disco pseudohiperbolico

15

A continuacion, se observa en las figuras 1. 2 y 1. 3 el mapeo hecho por a (con diferentes valores
para a) de los diferentes discos Dr (0) D (color verde), as como el mapeo de los diametros (color
violeta) en crculos que al no intersectarse con el polo de la transformacion z = a1 no se mapean en
rectas, el u
nico diametro que es mapeado en recta es el que si intersecta con el polo.

1.0

0.5

-1.0

0.5

-0.5

1.0

-0.5

-1.0

Figura 1.2: a = 41 14 i

1.0

0.5

-1.0

0.5

-0.5

-0.5

-1.0

Figura 1.3: a =

2
3

+ 23 i

1.0

Preliminares

16

1.4.

Funciones de Green.

En esta seccion estudiaremos una clase particular de funciones armonicas que seran de utilidad en el
estudio del comportamiento de las funciones analticas en D cuando nos aproximamos a la frontera de D.
Los resultados del estudio de las funciones armonicas, en particular las funciones de Green en el
disco unitario, pueden ser interpretados para discos arbitrarios.
Definici
on 1.4.1. Sea G un dominio en el plano y sea a G. Una funci
on de Green de G, con
singularidad logartmica en a es una funci
on ga : G\{a} R que cumple las propiedades:
a) ga es arm
onica en G\{a}.
b) G(z) = ga (z) + log |z a| es arm
onica en un disco alrededor de a.
c) lm ga (z) = 0 para cada w G, d
onde G es la frontera de G en el plano complejo extendido.
zw

Nota 1.4.2. Respecto a la definici


on anterior, podemos hacer algunas observaciones:
Dado un dominio G y a G, la funci
on ga no necesariamente existe. De existir esta es u
nica,
pues si ha tambien es una funci
on de Green en G con singularidad en a. Entonces ha ga es
arm
onica en G, la propiedad (c) implica que lm [ha (z) ga (z)] = 0 y aplicando el principio del
zw
m
aximo tenemos que ha ga = 0, entonces ha = ga .
ga es una funci
on positiva, es decir ga (z) > 0 para todo z G\{a}. Pues ga es arm
onica en
G\{a} y como G(z) = ga (z) + log |z a| es arm
onica en z = a, entonces lm g(z) = + por lo
za

que el principio del m


aximo implica que ga (z) > 0 para todo z G\{a}.

C no tiene funci
on de Green con singularidad en cero. Es decir, no existe g0 (z).
Definici
on 1.4.3. Diremos que G es un dominio de Dirichlet, si para cada funci
on continua
f : G R existe una funci
on continua u : G R tal que u es arm
onica en G y u(z) = f (z) para
todo z G.
Teorema 1.4.4. Si G es un dominio de Dirichlet acotado, entonces para cada a G existe una funci
on
de Green en G con singularidad en a.
Demostraci
on.
Sea f : G R definida como f (z) = log |z a|. Como G es acotado se tiene que G = G.
Por hipotesis G es dominio de Dirichlet, luego existe u : G R funcion continua y armonica en G
tal que f (z) = u(z) para todo z G. Entonces si definimos
ga (z) = u(z) log |z a|,
la cual es armonica en G\{a}, se tiene que ga (z) es la funcion de Green en G con singularidad en a.
Las funciones de Green definidas en un dominio y su imagen bajo una funcion analtica e inyectiva
estan estrechamente relacionadas, como se observa en el siguiente teorema:
Teorema 1.4.5. Sean G y dominios tales que existe una funci
on f analtica e inyectiva de G sobre
; sea a G y = f (a). Si ga y son las funciones de Green de G y con singularidades en a y
respectivamente, entonces
ga (z) = (f (z)) .

1.4. Funciones de Green.

17

Demostraci
on.
Sea : G R definida como (z) = ( f ) (z). Queremos ver que (z) = ga (z), es decir que
es la funcion de Green de G con singularidad en z = a.
Para ello mostremos que cumple las propiedades de la definicion de funcion de Green en G:
es armonica en G\{a} y G(z) = (z) + log |z a| es armonica alrededor de a.

Como f es analtica e inyectiva f (a) 6= 0 y podemos escribirla en su expansion en serie de potencias


alrededor de z = a, como:
f (n) (z0 )
+ ...
n!
f (z) = + A1 (z a) + A2 (z a)2 + ...
|f (z) | = |z a| |A1 + A2 (z a) + ...|
f (z) = f (a) + f (a)(z a) + ... +

log |f (z) |

= log |z a| + log |A1 + A2 (z a) + ...| .

Como A1 = f (a) 6= 0 se tiene que h(z) = log |A1 + A2 (z a) + ...| es armonica en una vecindad de a.
As
log |f (z) | = log |z a| + h(z).
(1.9)
Sabemos que es una funcion de Green para con singularidad en y sea la funcion definida por
(f (z)) =
(w) =

(f (z)) + log |f (z) f (a)|


(w) + log |w |;

entonces por la propiedad (b) de la Definicion 1.4.1, (w) es armonica en . De aqu


(w) = (w) log |w | = (w) log |f (z) |.
Usando la ecuacion (1.9)
(w) = (w) log |z a| h(z)
(f (z)) = (f (z)) log |z a| h(z)

(z) = [(f (z)) h(z)] log |z a| ;

luego, como (f (z)) h(z) es armonica en una vecindad de z = a pues (f (z)) y h(z) lo son, se cumple
que (z) es armonica en una vecindad de z.
lm ga (z) = 0 para cada z G.

z
z

Queremos ver que


para todo z G,

lm ga (z) = 0

z
z

es decir que para cualquier sucesion {zn } G con zn z se tiene


para todo z G .

lm (zn ) = 0

zn
z

Pero como (z) = (f (z)), entonces dada la sucesion {zn } G, {f (zn )} , luego existe {znk } G
tal que f (znk ) w con w . Por lo tanto (znk ) = (f (znk )) 0, pues es de Green. Y esto
pasa para cualquier subsucesion convergente de {f (zn )}, se tiene que
lm (zn ) = lm (f (zn )) = 0,

zn
z

por lo tanto, para toda z G

zn
z

lm (z) = 0.

z
z

Preliminares

18

1.4.1.

Funci
on de Green en el disco unitario.

Como se menciono en la seccion anterior las funciones de Green en el disco unitario juegan un papel
muy importante en el analisis de funciones analticas, m
as a
un se hara uso de las propiedades de una
de ellas para definir los Espacios Qp de los cuales se hablara mas adelante.
Lema 1.4.6. Sea f una funci
on analtica en el dominio G tal que f (z) 6= 0 para cualquier z, entonces
la funci
on real definida por U = log |f | es arm
onica en G.
Demostraci
on.
Como f (z) 6= 0, la funcion Log esta bien definida y es analtica en una vecindad de f (z),
entonces g(z) = Log (f (z)) es analtica en z y como g(z) = ln |f (z)| + iarg (f (z)) se tiene que
u(z) = Re Log (f (z)) = ln |f (z)| es arm
onica.
Proposici
on 1.4.7. Sea a : D D una transformaci
on de M
obius con a
entonces ga (z) = log |a1(z)| es funci
on de Green de D con singularidad en z = a.

D,

Demostraci
on.
Sea ga (z) = log |a1(z)| donde a (z) =
singularidad en z = a.

az
1az .

Queremos ver que ga (z) es funcion de Green de D con

Para ello mostremos que ga (z) cumple las propiedades de la definicion de funcion de Green:
a) ga es armonica en D\{a}:
1
Como a (z) = 0 si y solo si z = a entonces a 6= 0 para todo z D\{a}. Luego
es analtica en

a (z)


1
es armonica en D\{a} por el lema anterior.
D\{a} y por lo tanto ga (z) = ln
a (z)
b) G(z) = ga (z) + log |z a| es arm
onica en un disco alrededor de a:

Sea z Ba donde Ba D es el disco con centro en a y radio r = 1|a|. Dado que ga (z) = log |1az|
|az|
tiene una singularidad en z = a. Entonces G(z) = ga (z) + log |z a| tambien la tiene, sin embargo si
z 6= a, entonces
|1 az|
+ log |z a| = log |1 az| .
G(z) = log
|a z|
Para todo z Ba \{a}, se tiene G(z) = log |1 az| luego lm G(z) = log(1 |a|2 ). As definamos
za

G(a) = log(1 |a|2 ), G(z) es continua y como f (z) = 1 az es analtica en D entonces por el Lema
1.4.6 G(z) es armonica en D.
c) lm ga (z) = 0 para cada z D:
z
z

lm ga (z) =

z
z





1
1
lm log
= log lm
z
z
z
z |a (z)|
|a (z)|

1
= log 1 = 0,
log
lm |a (z)|
z
z

1.4. Funciones de Green.

19

para cada z D.
Finalmente se tiene que ga (z) = log |a1(z)| es funcion de Green de D con singularidad en z = a.
Corolario 1.4.8. Sea gb una funci
on de Green en el disco D y a una transformaci
on de M
obius de
D en D. Si h es la funci
on de Green en D con singularidad logartmica en a (b), entonces
gb (z) = ha (b) (a (z)).

20

Preliminares

Captulo 2

Teora Elemental de Funciones


Univalentes
A una funcion f (z) se le llama univalente en un dominio G si esta proporciona un mapeo de manera
inyectiva sobre su imagen, f (G). Geometricamente, esto significa que la representacion del dominio
imagen puede ser visualizado localmente como un conjunto conveniente de puntos en el plano complejo.
Esta burda descripcion intuitiva se precisa en la siguiente definicion:
Definici
on 2.0.9. Una funci
on f se llama univalente en un dominio G C si nunca toma el mismo
valor dos veces; es decir, si f (z1 ) 6= f (z2 ) para todo z1 , z2 G con z1 6= z2 .
Las funciones univalentes son llamadas tambien funciones uniformes o inyectivas. Univalencia de
una funcion f en G implica univalencia en cada subdominio de G.
Definici
on 2.0.10. Una funci
on f es localmente univalente en un punto z0 G si es univalente en
una vecindad de z0 .
Por el Teorema de la Funcion Inversa, para funciones analticas f , la condicion f (z0 ) 6= 0 es equivalente a univalencia local en z0 . Una funcion analtica univalente se llama un mapeo conforme debido
a su propiedad de preservar angulos entre curvas.
Los ejemplos mas simples son las transformaciones de Mobius
(z) =

az + b
,
cz + d

d
a, b, c, d C; ad bc 6= 0, z 6= .
c

Debido a que la Teora de Funciones Univalentes es muy amplia y variada, se deben realizar ciertas
suposiciones que simplifican el analisis. De esta forma, el Teorema del Mapeo de Riemman nos ofrece
una herramienta para trasladar la mayora de los teoremas geometricos concernientes a las funciones
analticas en D a enunciados acerca de funciones univalentes en dominios arbitrarios simplemente
conexos con mas de un punto en la frontera.
As mismo muestra que existe una correspondencia uno a uno entre dominios simplemente conexos
(objetos geometricos) y funciones univalentes susceptibles de ser normalizadas (objetos analticos).
Si una funcion analtica g : D C es univalente es natural preguntarse: como afecta este hecho a
los coeficientes de su desarrollo en serie de potencias?
g(z) = b0 + b1 z + b2 z 2 + ... =

n=0

bn z n .

(2.1)

Teora Elemental de Funciones Univalentes

22

Notemos que si g(z) es univalente en un dominio G, entonces la traslacion por medio de una constante
g(z) + C es nuevamente univalente en G. Nuevamente en (2.1), el termino b0 es arbitrario.
Como primer paso hacia la normalizacion, consideremos g(z) b0 . Despues observemos que si
g (z0 ) = 0, entonces g(z) no es univalente en ninguna vecindad de z0 . En consecuencia si g(z)
es univalente en G, entonces b1 = g (0) 6= 0. Por lo tanto podemos dividir por b1 y considerar
0
. Como la multiplicaci
on por b11 u
nicamente rota y encoge (o expande) la imagen,
f (z) g(z)b
b1
se puede ver que g(z) es univalente en D, entonces f (z) es tambien univalente en el mismo dominio
y recprocamente, si f (z) es univalente en D, entonces tambien lo es g(z). Sea an = bbn1 , luego se ha
llegado a una forma normalizada.
Definici
on 2.0.11. Sea F el conjunto de todas las funciones f analticas en una regi
on que contiene
a la cerradura del disco unitario D y que satisface f (0) = 0 y f (0) = 1.
Definici
on 2.0.12. Una funci
on analtica en el dominio D est
a normalizada si f (0) = 0 y f (0) = 1.
Si f (z) es univalente y est
a normalizada, se le llama funci
on univalente normalizada.
Consideremos ciertas subclases de funciones univalentes normalizadas.
Definici
on 2.0.13. Sea S la clase de funciones f analticas y univalentes normalizadas en el disco
unitario D. Cada f S tiene una expansi
on en serie de potencias de la forma
f (z) = z + a2 z 2 + a3 z 3 + ... ,

|z| < 1.

(2.2)

En general es un problema muy difcil saber si una funcion es univalente dados los coeficientes del
desarrollo en serie de potencias de la misma. El problema que se estudia es dada una funcion univalente,
determinar cotas para sus coeficientes. Sin embargo, si se considera la clase de funciones univalentes
normalizadas S, se puede conjeturar que para cada n > 2 existe una cota An tal que |an | An para
toda g(z) S. Para obtener alguna estimacion para An procedamos a construir la funcion univalente
mas destacada de esta teora.
Consideremos la composicion
u(z) =

1+z
,
1z

g(z) = u2 (z),

f (z) =

1
(g(z) 1) .
4

La funcion u(z) mapea el dominio D sobre el semiplano Re u > 0. Entonces g(z) mapea el semiplano
sobre todo el plano complejo excepto por el eje real negativo: g(z) 0. Finalmente f (z) es u
nicamente
el proceso de normalizacion descrito anteriormente.
Para calcular f (z) se tiene
1
f (z) =
4

"

1+z
1z

2

1 =

(1 + z)2 (1 z)2
z
=
.
4(1 z)2
(1 z)2

Esta funcion perteneciente a la clase S es muy importante y recibe el nombre de la funci


on de
Koebe.
n
X
k(z) = z(1 z)2 =
nz n .
n=1

A continuacion se indican graficamente los mapeos usados en la construccion de k(z):

23
i B
b

C
1
b

A
1

i D
z

B i
b

0
D i
b

u=

1+z
1z

21 41
B D C
b

w=

z
(1 z)2

Otros ejemplos simples de funciones en la clase S son:


(i) f (z) = z, el mapeo identidad;
(ii) f (z) = z(1 z)1 , el cual mapea D de manera conforme sobre el semiplano Re (w) > 21 ;
(iii) f (z) =

1
2

log[ 1+z
1z ], el cual mapea D sobre la franja horizontal 4 < Im (w) <

4,

ver figura 2. 1;

(iv) f (z) = z 12 z 2 = 12 [1 (1 z)2 ], el cual mapea D sobre el interior de una cardioide; ver figura
2. 2.

Teora Elemental de Funciones Univalentes

24

0.5

-2

-1

-0.5

Figura 2.1: Grafica f (z) =

1
2

log[ 1+z
1z ]

1.0

0.5

-1.5

-1.0

0.5

-0.5

-0.5

-1.0

Figura 2.2: Gr
afica f (z) = z 12 z 2 = 12 [1 (1 z)2 ]
La suma de dos funciones pertenecientes a la clase S no necesariamente es univalente. Por ejemplo
para la suma de f (z) = z(1 z)1 y g(z) = z(1 + iz)1 su derivada se anula en 12 (1 + i). Sin embargo,
la clase S es cerrada bajo ciertas transformaciones elementales.
A continuacion, se enlista una parte de ellas:
Rotaci
on. Si f S y g(z) = ei f (ei z), entonces g S.
Expansi
on. Si f S y g(z) = r1 f (rz), donde 0 < r < 1, entonces g S.
Automorfismo sobre el disco. Si f S y D fijo. Sea f1 (z) = z f (), f2 (z) =
y g la composicion (ver figura 2. 3)
f
g(z) = (f2 f1 f ) (z) =

z
1+z

f ()

(1 ||2 ) f ()

|| < 1,

notemos que g S, es decir, g es analtica en D, univalente y normalizada:


g es analtica y univalente pues , f , f1 , f2 lo son.
g esta normalizada pues:
g(0) =
y
g (z) =
luego g (0) = 1.

f (0) f ()
f () f ()
=
= 0;
(1 ||2 ) f ()
(1 ||2 ) f ()

f ( (z)) (z)
,
(1 ||2 ) f ()

(z) =

1
2 ,
1 + z

z
(1 ||2 ) f ()

(2.3)

25
w
i

(z)

z
i

1
b

f (w)

v
b

f ()

i
g(z)
b

0
u f ()

v
(1 ||)2 f ()
Figura 2. 3: g(z)
Transformaci
on del rango. Si f S y es una funcion analtica y univalente en el rango de f ,
con (0) = 0 y (0) = 1, entonces g = f S.
Transformaci
on del valor omitido. Si f S y f (z) 6= ,
g(z) :=

f (z)
f (z)

(2.4)

entonces g S.
Transformaci
on raz cuadrada. Si f S y
g(z) =
entonces g S.

p
f (z 2 )

(2.5)

La transformacion raz cuadrada requiere de mayor explicacion, pues dado que f (z) = 0 s
olo en el
origen, se puede escoger una rama univaluada de la raz cuadrada; escribiendo
p
1
g(z) =
f (z 2 ) = z 1 + a2 z 2 + a3 z 3 + 2
=

z + c3 z 3 + c5 z 5 + ,

|z| < 1.

Notemos que g es una funcion analtica impar, luego g(z) = g(z). Si g(z1 ) = g(z2 ), entonces f (z12 ) =
f (z22 ) y z12 = z22 , lo cual implica que z1 = z2 . Pero si z1 = z2 , entonces g(z1 ) = g(z2 ) = g(z1 ).
As que g(z1 ) = 0, y z1 = 0. Esto muestra que z1 = z2 en ning
un caso, probando que g es univalente.
Debemos remarcar que toda funcion impar que pertenezca a la clase S es la transformaci
on raz
cuadrada de alguna funcion f S.

Teora Elemental de Funciones Univalentes

26

Definici
on 2.0.14. Sea S (m) la subclase de S que consiste de todas las funciones
f (z) = z + am+1 z m+1 + a2m+1 z 2m+1 + = z +

anm+1 z nm+1 ,

n=1

donde m es un entero tal que m > 1.


Proposici
on 2.0.15. La transformaci
on m-esima raz cuadrada g(z) de cada funci
on f S,
1

g(z) = {f (z m )} m
pertenece a S (m) . Recprocamente toda funci
on g S (m) tiene esta forma.
La clase S esta estrechamente relacionada a la clase de funciones , definidas a continuaci
on:
Definici
on 2.0.16. Sea la clase de funciones g analticas y univalentes en el dominio
= {z : |z| > 1} el exterior de D, excepto por un polo simple en infinito con residuo 1. As toda
g es de la forma
g(z) = z + b0 + b1 z 1 + b2 z 2 + .

Cada funcion g mapea sobre el complemento de un conjunto conexo y compacto E. Es muy


u
til considerar la subclase de funciones g para las cuales 0 E, es decir, las funciones tales que
g(z) 6= 0 en . Cualquier funcion g que pertenezca a producira una funcion h que pertenenecer
aa
despues de realizar ajustes convenientes del coeficiente b0 . Tales ajustes seran solo traslaciones del
rango de la funcion pero se conserva la univalencia.
La siguiente proposicion es inmediata.
Proposici
on 2.0.17. Para cada f S, la funci
on
g(z) =
pertenece a .

1
f

1
z

 = z a2 + (a22 a3 )z 1 +

(2.6)

Esta transformacion es llamada inversion, la cual establece una correspondencia uno a uno entre S
y .
La clase es cerrada bajo la transformacion raz cuadrada, de (2.6):
g(z 2 ) =
p
G(z) = g(z 2 ) =
=

z 2 a2 + (a22 a3 )z 2 +

1
1
z 2 a2 + (a22 a3 )z 2 + 2 = z 1 a2 z 2 + (a22 a3 )z 4 + 2
1
z 1 + b0 z 2 + b1 z 4 + 2 .

Es importante observar que esta operacion no puede ser aplicada a toda funcion g , pero es
permitido si g , debido a que la raz cuadrada introducira un punto rama para un z tal que
g(z 2 ) = 0.

Definici
on 2.0.18. Sea la clase de funciones g cuyo conjunto E de valores omitidos tiene

medida de Lebesgue (dos dimensional) cero. Las funciones g ser


an llamadas mapeos saturantes.


2.1. Teorema del Area

2.1.

27

Teorema del Area

La univalencia de una funcion


g(z) = z + b0 +

bn z n ,

n=1

|z| > 1,

(2.7)

coloca una fuerte restriccion sobre el modulo de los coeficientes de Laurent bn , n = 1, 2, ... . Esto es

expresado por el Teorema del Area,


que es fundamental en la Teora de Funciones Univalentes, pues es
empleado para demostrar el Teorema de Bieberbach 2.1.3 y el Corolario 2.1.2 los cuales proporcionan
un acotamiento especial para el coeficiente a2 de las funciones en S y el coeficiente b1 de las funciones
en respectivamente.

El nombre Teorema del Arease


debe a que este teorema es la expresion analtica del siguiente
hecho geometrico: bajo el mapeo de un dominio || > , donde > 1, por una funcion w = F (), una
parte del plano w = u + iv de area positiva permanece sin ser cubierta. Esta interpretacion geometrica
indica el curso de la prueba.

Teorema 2.1.1 (Teorema del Area).


Si g , con desarrollo (2.7) entonces

n=1

n|bn |2 1,

donde la igualdad se cumple si y s


olo si g .
Demostraci
on.
Sea E el conjunto omitido por g. Para r > 1, sea Cr = g(reit ) la imagen bajo g del crculo |z| = r.
Como g es univalente, Cr es una curva simple cerrada que encierra a un dominio Er E. El Teorema
de Green (A.0.12) nos dice que si g , Hr es el dominio interno de Cr y h(w) es analtica en Hr0
para alg
un r0 > 1, entonces
Z
ZZ
1
1

h(w)h (w)dw =
|h (w)|2 d.
2i Cr

Hr
Aplicando el Teorema de Green con h(w) = w, tenemos
ZZ
Z
1
1
d =
wdw,

2i Cr
Er
y entonces el area de Er es
ZZ
Z
Z
1
1
Ar =
d =
wdw =
g(z)g (z)dz
2i
2i
Er
Cr
|z|=r
!
!
Z 2

X
X
1
i
n in
v1 i(v+1)
=
re
+
bn r e
1
vbv r
e
rei id
2i 0
n=0
v=1
!
!
Z 2

X
X
1
i
n in
i
v1 iv
=
re
+
bn r e
re
vbv r
e
d
2 0
n=0
v=1
#
Z 2 "

X
X
2
n+1 i(n+1)
n+1 i(n+1)
=
r +
bn r
e

vbv r
e
F (r, ) d,
0

n=0

v=1

Teora Elemental de Funciones Univalentes

28
donde
F (r, ) =

vbv r

v iv

v=1

bn r

n in

n=0

1
2

r2

n=1

b bn rn ei(n) ,

=1,n=0

integrando termino a termino, y utilizando el hecho de que


Ar

R 2
0

eik d = 0, k 6= 0;
!
Z
2

n|bn |2 r2n

X
1
=
(2) r2
n|bn |2 r2n
2
n=1
!

X
2
2 2n
= r
n|bn | r
,

!
para r > 1 .

n=1

Haciendo r 1+ obtenemos
m(E) =

n=1

n|bn |

donde m(E) es la medida exterior de E. Debido a que m(E) 0, el teorema queda demostrado.
1

Un corolario inmediato es |bn | n 2 , n = 1, 2, . . . , sin embargo esta desigualdad no es optima si


n 2, pues la funcion
1
g(z) = z + n 2 z n
claramente no es univalente debido a el exponente 12 . De hecho si n 2, su derivada
1

g (z) = 1 n 2 z n1
se anula en algunos puntos en . Sin embargo, notemos que, la desigualdad |b1 | 1 es optima y tiene
importantes consecuencias como veremos a continuacion.
Corolario 2.1.2. Si g , entonces |b1 | 1, y la igualdad se cumple si y s
olo si g tiene la forma
g(z) = z + b0 +

b1
,
z

|b1 | = 1.

Este mapeo es conforme y mapea sobre el complemento de un segmento de recta de longitud cuatro.
Demostraci
on.

Ya que g , g es de la forma g(z) = z + b0 + b1 z 1 + b2 z 2 + , por el Teorema del Area,


se
tiene que

X
n|bn |2 1,
n=1

es decir

|b1 |2 + 2|b2 |2 + 3|b3 |2 + 1 ;


|b1 |2

1 2|b2 |2 3|b3 |2 < 1 ,

luego |b1 | 1. Se afirma ahora que |b1 | = 1 si y solo si g(z) = z + b0 + bz1 .

Ahora por el Teorema del Area


2.1.1, se tiene que |b1 |2 + 2|b2 |2 + 3|b3 |2 + 1, como |b1 | = 1,
entonces bn = 0 para todo n 2, por lo tanto g es de la forma
g(z) = z + b0 +

b1
.
z


2.1. Teorema del Area

29

Recprocamente, si g(z) = z + b0 +

b1
z ,

por el Teorema del Area,


se tiene que

n=1

n|bn |2 1,

en este caso |b1 |2 1, luego |b1 | 1. Igualmente, del Teorema del Area,
|b1 | = 1, si y solo si g .

Veamos que g en efecto pertenece a la clase , pues


g(z) = z + b0 +

b1
= 2(z) + b0 ,
z

donde (z) es la funcion de Joukowski (ver Definicion A.0.16) y por el Teorema A.0.17, se tiene que

es una funcion saturante, es decir . Por lo tanto g .


De este u
ltimo resultado se requiere solo un peque
no paso para obtener el Teorema de Bieberbach
que estima el segundo coeficiente a2 de una funcion de clase S. Este teorema fue demostrado en 1916
[Bi] y fue la base principal de la famosa Conjetura de Bieberbach, la cual afirma que de todas las
funciones f S, la funcion de Koebe K o sus rotaciones poseen los coeficientes mas grandes, es decir
que |an | n, para n = 2, 3, . . . la desigualdad estricta ocurre excepto si se trata de K o una de sus
rotaciones. Tal conjetura es ahora conocida como el Teorema de Branges [Br], ya que fue L. Branges
quien la probo, mas a
un probo la Conjetura de Millin que implica la de Bieberbach.
Teorema 2.1.3 (Teorema de Bieberbach). Si f S, entonces |a2 | 2, y la igualdad se cumple si y
s
olo si f es una rotaci
on de la funci
on de Koebe.
Demostraci
on.
Aplicando a f S las transformaciones raz cuadrada g(z) =
se obtiene una funcion

p
f (z 2 ) y la inversion h() =

1
g( 1 )

1
a2
h(z) = q
= z z 1 +
2
1
f ( z2 )

la cual esta en la clase . Entonces aplicando el Teorema del Area,


tenemos
a
2
+ 3|a3 |2 + 1.
2

(2.8)

Por lo tanto |a2 | 2. Si a2 = 2ei para alg


un , entonces en la desigualdad (2.8) se tiene que an = 0
para todo n 2, luego h tiene la forma
h() =
De esta forma
g(z) =

dado que f (z 2 ) = g 2 (z) =


funcion de Koebe.

z2
(1ei z 2 )2

ei
.

1
1
z
 =
=
,
i z 2
1
1
1

e
i z

e
h
z
z
z
se tiene que f (z) =
, la cual es una rotaci
on de la
(1 ei z 2 )2

Como una primera aplicacion del Teorema de Bieberbach, probaremos un famoso teorema de cobertura debido a Koebe. Cada funci
on f S es un mapeo abierto que cumple f (0) = 0, as que su

Teora Elemental de Funciones Univalentes

30

imagen contiene un disco centrado en el origen. La Teora de Funciones Univalentes tuvo un impulso
notable debido a P. Koebe quien probo en 1906 que las imagenes de todas las funciones en S contienen
un disco com
un |w| < , donde es una constante absoluta. La funci
on de Koebe muestra que 14 , y
mas tarde L. Bieberbach establecio la conjetura de que deba tomar el valor 14 . El siguiente teorema
depende fuertemente de la desigualdad |a2 | 2 para f (z) S.
Teorema 2.1.4 (Teorema de un cuarto de Koebe). La imagen de cualquier funci
on de la clase S
contiene el disco {w : |w| < 14 }.
Demostraci
on.
Si una funcion f S omite el valor C, entonces
g(z) =

f (z)
,
f (z)

es analtica y univalente en D. Esta


es la transformacion del valor omitido (6), que es la composici
on
de f con un mapeo lineal racional.
Calculando las derivadas correspondientes para obtener los coeficientes de la expansion en serie de
potencias de g(z) y recordando que f (0) = 0, y f (0) = 1 se tiene:
b0

b1

b2

=
=

g(0)
f (0)
=
=0
1
f (0)
g (0)
( f (0)) f (0) f (0) (f (0))
2 f (0)
=
=
=1
2
1
( f (0))
( f (0))2
g (0)
( f (0))2 2 f (0) 2 f (0) [2 ( f (0)) f (0)]
=
4
2
2 ( f (0))
2 4 a2 + 2 3
1
4 f (0) + 2 3
=
= a2 + ,
4
2
2 4

resumiendo b2 = a2 + 1 , ya que f (0) = 2a2 .


Como g S, el Teorema de Bieberbach nos da




a2 + 1 2,

esto, junto con la desigualdad |a2 | 2, muestra que | 1 | 4, o || 14 . Por lo tanto todo valor omitido
esta fuera del disco |w| < 14 .
La demostracion, de hecho, muestra que la funcion de Koebe y sus rotaciones son las u
nicas funciones en S que omiten un valor con modulo 14 . Por lo tanto la imagen de cualquier otra funci
on en S
cubre un disco de radio mayor.
Hay que notar que la univalencia es la clave del Teorema de Koebe. Por ejemplo, las funciones
analticas
1
fn (z) = (enz 1),
n = 1, 2, . . . ,
n
tienen la propiedad fn (0) = 0 y fn (0) = 1, pero fn omite el valor n1 , el cual se puede elegir arbitrariamente cerca del origen. Obviamente las funciones fn no son univalentes.

2.2. Teoremas de crecimiento y distorsion

2.2.

31

Teoremas de crecimiento y distorsi


on

El hecho de que |a2 | 2 para cualquier f (z) S puede ser utilizado para probar otros teoremas
referentes a la clase S. Puesto que cualquier transformacion que lleve a una funcion pertenenciente a S
sobre otra funcion en S nos dara una expresion para el segundo coeficiente para el cual se puede aplicar
la cota que se deduzca. Si la transformacion es elegida apropiadamente, se obtendran resultados que
sean optimos e interesantes.
Como ya se menciono, la desigualdad de Bieberbach |a2 | 2 tiene muchas implicaciones en la
Teora Geometrica de Mapeos Conformes. Una consecuencia importante es el Teorema de Distorsi
on
de Koebe, el cual provee un acotamiento optimo tanto superior como inferior para |f (z)|, cuando f
pertenece a la clase S.
El termino distorsion se debe a la interpretacion geometrica de |f (z)| como el factor de magnificacion infinitesimal de la longitud de arco bajo el mapeo f , o al jacobiano |f (z)|2 como el factor de
magnificacion infinitesimal de area.
El siguiente teorema nos da una estimacion que se basa en el Teorema de Bieberbach y resultados
relacionados.
Teorema 2.2.1. Para cada f S,


zf (z)
2r2
4r

f (z) 1 r2 1 r2 ,

|z| = r < 1.

(2.9)

Demostraci
on.

Sea f S y D fijo. Se considera el automorfismo (2.3)




z+
f 1+z
f ()
F (z) =
.
2
(1 ||) f ()
Ahora, sea A2 =

F (0)
2 ,

como
F (z) =


2
f ( (z)) (z) + f ( (z)) (z)
(1 ||2 ) f ()

y
(z) =
entonces

F (0) =
=
y sustituyendo

2(1 ||2 )(1 + z)


,
4
1 + z



f () 2(1 ||2 ) + f ()(1 ||2 )2
(1 ||2 ) f ()

 f ()
2f () + f ()(1 ||2 )
= 2 + 1 ||2

f ()
f ()
1
A2 =
2


 f ()
1 ||
2 .
f ()
2

Por Teorema de Bieberbach 2.1.3, |A2 | 2, entonces






1
2 f ()
2,
1 ||

2


2
f ()

(2.10)

Teora Elemental de Funciones Univalentes

32

multiplicando en ambos lados de la desigualdad por ||,







1 ||2 f () 2 4||

f ()

reemplazando por z y dado que |z| = r, se tiene







1 r2 z f (z) 2r2 4r ;


f (z)


2
f (z)
2r
4r
z
f (z) 1 r2 1 r2 ,

|z| = r < 1.

(2.11)

Veamos explcitamente que con una rotacion apropiada de la funcion de Koebe obtenemos la igualdad. Sea f S y la rotacion f (z) = ei K(ei z). Luego
f (z) = K (ei z)
donde K(z) =

f (z) = ei K (ei z),

z
1+z
4 + 2z
, K (z) =
, K (z) =
.
2
3
(1 z)
(1 z)
(1 z)4

Sustituyendo en (2.11):




zei 4+2zei


2
i
4

zei (4 + 2zei )
(1ze )
2r
2r2



1+ei z
1 r2 (1 zei )(1 + zei ) 1 r2

(1ei z)3

con z = rei ,




r(4 + 2r)
2r2 4r + 2r2
2r2
4r

(1 r)(1 + r) 1 r2 = 1 r2 1 r2 = 1 r2 .

Teorema 2.2.2 (Teorema de Distorsion). Para cada f S,


1r

(1 + r)

|f (z)|

1+r
(1 r)

|z| = r < 1.

(2.12)

Para cada z D, z 6= 0, la igualdad ocurre si y s


olo si f es una rotaci
on apropiada de la funci
on de
Koebe.
Demostraci
on.
Primero analicemos el caso de la desigualdad:
sabemos que si C y || c entonces c Re c. Del Teorema 2.2.1, se tiene


 
4r
z f (z)
2r2
4r

Re

;
1 r2
f (z)
1 r2
1 r2
luego

 
2r2 4r
z f (z)
2r2 + 4r

Re

1 r2
f (z)
1 r2

con z = rei , r = |z| se tiene que




 i


i


f (re )

i f (re )
Re re
= r Re
z =r
{Re log f (rei ) },
f (rei )
f (rei ) r
r

(2.13)

2.2. Teoremas de crecimiento y distorsion

33

se puede hacer ya que f (z) 6= 0 y f (0) = 1, pues f esta normalizada, sustituyendo en (2.13)
 2r + 4
2r 4

log |f (rei )|
.
2
1r
r
1 r2

Tomemos fijo, integrando con respecto a r desde 0 hasta R se tiene


Z R
Z R
Z R

2r 4

2r + 4

i
dr
log |f (re )| dr
dr ,
2
2
1

r
r
0
0
0 1r

(2.14)

(2.15)

y notemos que
Z

2r 4
dr
1 r2

=
=
=
=
=



R
dr
1
1+r
2
=

log(1

r
)

4
log
2
2
1r 0
0
0 1r
1+R
log(1 R2 ) 2 log
1R
log(1 + R) log(1 R) 2 log(1 + R) + 2 log(1 R)
Z

2rdr
4
1 r2

3 log(1 + R) + log(1 R) = log(1 R) log(1 + R)3


1R
log
(1 + R)3

(2.16)

luego
Z

2r + 4
dr
1 r2

=
=
=
=
=



R
dr
1
1+r
2
= log(1 r ) + 4
log
2
2
1r 0
0
0 1r
1+R
log(1 R2 ) + 2 log
1R
log(1 + R) log(1 R) + 2 log(1 + R) 2 log(1 R)
Z

2rdr
+4
1 r2

log(1 + R) 3 log(1 R) = log(1 + R) log(1 + R)3


1+R
log
.
(1 R)3

(2.17)

Tambien como |f (0)| = 1;


Z

log |f (rei )| dr
r

=
=


R
log |f (rei )| 0 = log |f (Rei )| log |f (0)|
log f (Rei ).

Luego, sustituyendo (2.16), (2.17) y (2.18) en (2.15),


log

1R
1+R
log |f (rei )| log
,
(1 + R)3
(1 R)3

y el Teorema de Distorsion se sigue de la exponenciacion.


Veamos ahora la igualdad:
sea f S y la rotacion f (z) = ei K(ei z), luego
f (z) = K (ei z)
donde K(z) =

z
, K (z) =
(1 z)2

Sustituyendo en (2.12):

1+z
(1z)3 ,

y
K (z) =

f (z) = ei K (ei z)
4+2z
(1z)4 .

(2.18)

Teora Elemental de Funciones Univalentes

34



1 + ei z
1r

1+r

(1 + r)3
(1 ei z)3 (1 r)3

con z = rei ,

y con z = rei se tiene

Recprocamente, si
igualdad



1+r
1+r


(1 r)3 (1 r)3

1+r
1r

.
(1 + r)3
(1 + r)3

1r
1+r
= |f (z)| o |f (z)| =
para z = Rei tambien se cumple la
(1 + r)3
(1 r)3

2r 4

2r + 4
=
log |f (Rei )|;
log |f (Rei )| =
,
2
1r
R
R
1 r2
esta debe ocurrir en la parte correspondiente de (2.14) para todo r, 0 r R. En particular


f (0)
Re ei
= 4 ,
f (0)
lo cual implica que |a2 | = 2. As por el Teorema de Bieberbach, f debe ser una rotacion de la funci
on
de Koebe.
El Teorema de Distorsion puede ser ahora aplicado para obtener cotas superior e inferior optimas
para |f (z)|. Este resultado es como sigue:
Teorema 2.2.3 (Teorema de Crecimiento). Para cada f S,
r
r
|f (z)|
,
(1 + r)2
(1 r)2

|z| = r < 1.

(2.19)

Para cada z D, z 6= 0, la igualdad ocurre si y s


olo si f es una rotaci
on apropiada de la funci
on de
Koebe.
Demostraci
on.
Se prueba la desigualdad derecha. Sea f S y fijemos z = rei con 0 < r < 1. Notemos que
Z r
f (z) =
f (ei )ei d ,
0

dado que f (0) = 0. Entonces por el Teorema 2.2.2,


Z r
Z r
i
1+
f (e ) d
|f (z)|
d
(1
)3
0
0

Z r
1
2
r

+
d =
.
2
3
(1

)
(1

)
(1

r)2
0
Para la desigualdad izquierda se tiene que si 0 < r < 1, se satisface
0
2r
4r
r
(r + 1)2

< (r 1)2 ;

< r2 + 1 ;
< (r + 1)2 ;
1
<
.
4

(2.20)

2.2. Teoremas de crecimiento y distorsion

35

Luego si |f (z)| 14 para todo z D, la desigualdad se tiene. Si |f (z)| < 14 , por el Teorema 2.1.4 se
tiene que el segmento radial que une 0 hasta f (z) esta completamente contenido en f (D).
Sea C la preimagen de este segmento, entonces C es un arco simple desde 0 hasta z, y
Z
f (z) =
f () d.
C

Pero f () tiene signo constante a lo largo de C, por construccion, por lo que |f ()| ser
a el mismo
para todo en el arco. As por el Teorema 2.2.2 se tiene
Z
Z r
1

|f (z)| =
|f ()| |d|
d ,
3
C
0 (1 + )

Z r
1
2
r
+
d =
.

2
3
(1
+
)
(1
+
)
(1
+
r)2
0
La igualdad implica que
1r
= |f (z)|
(1 + r)3

|f (z)| =

1+r
(1 r)3

y por el Teorema 2.2.2 esto ocurre si y solo si f es una rotacion apropiada de la funcion de Koebe.
Todos estos resultados fueron obtenidos por medio de la parte real en la desigualdad (2.9). Tomando
la parte imaginaria en lugar de la parte real, se encuentra que
 
4r
z f (z)
4r

Im

,
2

1r
f (z)
1 r2
o

4r

4r

argf (rei )
.
1 r2
r
1 r2
La integracion radial produce entonces la desigualdad

|argf (z)| 2 log

1+r
,
1r

f S,

(2.21)

donde argf (z) es la rama principal del logaritmo la cual se anula en el origen. El valor argf (z) puede
ser interpretado geometricamente como el factor de rotacion local bajo mapeo conforme. Por esta raz
on
la desigualdad (2.21) puede ser nombrada Teorema de Rotaci
on. Desafortunadamente, tal desigualdad
no es optima en ning
un punto z 6= 0 en el disco D.
Resulta u
til una desigualdad que combina el Teorema de Crecimiento y Distorsion,
Teorema 2.2.4. Para cada f S,

z f (z)
1r
1+r ,

1+r
f (z)
1r

|z| = r < 1.

(2.22)

Para cada z D, z 6= 0, la igualdad ocurre si y s


olo si f es una rotaci
on apropiada de la funci
on de
Koebe.
Demostraci
on.
Primero analicemos el caso de la desigualdad.

Teora Elemental de Funciones Univalentes

36

Sea f S, D y F : D D el automorfismo (2.3) dado por:




z+
f
f ()
1 + z
F (z) =
.
(1 ||2 )f ()
En la demostracion del Teorema 2.2.1 se mostro que F S, luego por el Teorema 2.2.3 se tiene
||

(1 + ||)

|F ()|

||

(1 ||)

(2.23)

sustituyendo




f ()
||


2 1 ||)(1 + ||)f ()
2 ;
(1 + ||)
(1 ||)


(1 ||)(1 + ||) f () (1 ||)(1 + ||)

;
2
2
f ()
(1 + ||)
(1 ||)


1 || f () 1 + ||

.
1 + || f () 1 ||
||

Resta probar que las rotaciones de la funcion de Koebe proporcionan los u


nicos casos de igualdad.

z f (z)
1r
para alguna f S, en alg
=
un punto z = D.
1+r
f (z)
Entonces, la funcion F relacionada satisface (ver 2.23)
Supongamos primero que

|F ()| =

||

(1 ||)

de la cual, nuevamente por el Teorema 2.2.3


F (z) =

(1 +

2,
ei z)

ei =

con

.
||

Ahora, sea
w=

z+
,
1 + z

z=

y sea
G(w) = F

w
1 w

w
,
1 w
.

Evaluemos entonces G(w) G(0) si


G(w) = F (z) =

f (w) f ()
(1 ||2 ) f ()

G(0) =

f ()
,
(1 ||2 ) f ()

luego
G(w) G(0)
f (w)

f (w)
(1 ||2 ) f ()


= [G(w) G(0)] 1 ||2 f ()

(2.24)

2.3. El Schwarziano

37

donde, por otro lado


G(w) G(0) =
=

=
y como ei =

|| ,

w
1 w

F ()

w
1w

i2
h

2
w
(1 ei )
1 + ei 1w

(w )(1 )

,
+
i
i
2
(1

ei )2
(1 w + e w e )

entonces
G(w) G(0) =
=
=
=
=
=

w w2 + ||2 w

(1 ei ||w + ei w ||)
(w )(1 w)

[(1 +

1
(1 ||)2
1
(1 ||)2
(1 + ||)2
(1 ||)2

(1 ei )2

(1 ||)2
||)]


(w )(1 w)
+
(1 + ei w)2


(w )(1 w)(1 + ei w)2
(1 + ei w)2


w(1 + ||)2
+

(1 + ei w)2
w
.
(1 + ei w)2

ei w)(1

1
(1 ||)2

(2.25)

as, de (2.25) y (2.24) se sigue


3

f (w) =

(1 + ||) f ()
w

,
(1 ||)
(1 + ei w)2

luego f es una rotacion de la funcion de Koebe.



z f (z)
= 1 + r.
Un argumento muy parecido se aplica a la igualdad
f (z)
1r

2.3.

El Schwarziano

Hermann Amandus Schwarz (1843-1921) fue el alumno mas brillante de Weierstrass y finalmente se
convirti
o en su sucesor en la Universidad de Berln. En la decada de 1860-1870 se dedico a un problema
geometrico que consista en mapear polgonos de manera conforme. Esto lo condujo a deducir su famoso
Principio de simetra y tambien en 1869 dio origen a un operador diferencial que despues fue conocido
como la derivada de Schwarz o par
ametro diferencial, o simplemente como el Schwarziano (Schwarzian
en ingles). Lo que Schwarz quera era un operador diferencial que fuera invariante bajo el grupo de
todas las transformaciones lineales racionales, ahora conocidas como las transformaciones de M
obius.
Definici
on 2.3.1. Denotamos el Schwarziano de w respecto a z por {w, z} y est
a definido por
 
 2
w
1 w
{w, z} =

.
w
2 w

Teora Elemental de Funciones Univalentes

38

El Schwarziano puede escribirse de varias maneras, por ejemplo


d2
dz 2



 
2
dw
1 d
dw
log

log
dz
2 dz
dz

o tambien

w
3

w
2

w
w

2

donde las primas indican derivacion respecto a z.


Por supuesto existen otros operadores diferenciales invariantes bajo las transformaciones de M
obius,
pero en 1969 un matematico israel llamado Meira Lavie [La] demostro que un operador de orden n con
esta propiedad y operando sobre una funcion f con restricciones no muy fuertes, puede ser expresado
en terminos de {f, z} y sus derivadas de orden n 3.
El Schwarziano tiene tambien aplicaciones dentro de varias ramas del analisis complejo. Juega
un papel importante en la Teora de Ecuaciones Diferenciales Lineales de segundo orden, en mapeos
conformes y en el estudio de univalencia y uniformizacion. Evidentemente la parte en que estamos
interesados es en la de funciones univalentes, as que se recurrira a algunos resultados referentes al
Schwarziano. Algunas de las demostraciones no seran incluidas con detalle pues estan fuera de los
objetivos de este trabajo. A
un as se dara un buen bosquejo de ellas.
Lema 2.3.2. Si (z) =

az + b
, entonces {, z} = 0.
cz + d

Demostraci
on.
La demostracion consiste en un simple calculo. Primero calculamos las derivadas de :
(z) =

ad bc
2c(ad bc)
, (z) =
,
(cz + d)2
(cz + d)3

(z)
2c
=
(z)
cz + d

y finalmente sustituyendo
2 


2

2c
1
2c
=

cz + d
2 cz + d
2
c
1
4c
= 2c

= 0.
(cz + d)2
2 (cz + d)2

{, z} =

1
2

El comportamiento del Schwarziano con respecto a la composicion esta dado por


Teorema 2.3.3. Sea u = u(z) y w = w(u), entonces
{w, z} = (u )2 {w, u} + {u, z} ,
donde la prima indica derivaci
on respecto a z.
Demostraci
on.
Nuevamente la prueba consiste en hacer el calculo, primero las derivadas
w =

dw
d2 w 2 dw
u , w =
(u ) +
u ,
du
du2
du

w
=
w

d2 w
du2 u
dw
du

u
u

2.3. El Schwarziano

39

y sustituyendo
!
!2
2
u
1 dduw2 u
u

+
+
dw
u
2
u
du

!  
!2
 2
d2 w
d2 w
d2 w

u
1
u
u
2
2
du2

du
u
+
(u )2 + 2 dudw +
dw
dw

u
2
u
du
du
du
d2 w
du2 u
dw
du

{w, z} =
=

d2 w
du2
dw
du

d2 w
du2 u
dw
du

d
du

d
du

{w, u}(u ) + {u, z}.

d2 w
du2
dw
du
2

(u ) +

1
(u )2
2

d2 w
du2
dw
du

!2

u
u

d2 w
du2
dw
du

(u ) +

u
u

!2

(u )


u
u

d2 w
du2 u
dw
du

u
u

2

2

Corolario 2.3.4. El Schwarziano es invariante bajo transformaciones de M


obius en el primer
argumento, es decir


aw + b
, z = {w, z},
cw + d
para cada a, b, c, d C, ad bc 6= 0.
Demostraci
on.
Tomando (w) =

aw + b
tenemos {, w} = 0 y podemos escribir por el Teorema 2.3.3,
cw + d


aw + b
,z
= {, z}
cw + d

2
d
= {, w}
+ {w, z}
dw
= {w, z}.

Con respecto al segundo argumento el Schwarziano se comporta como lo dice el siguiente resultado.
Corolario 2.3.5.
{w, z} =
Demostraci
on.
Nuevamente tomando (z) =

az+b
cz+d ,



az + b (ad bc)2
w,
.
cz + d (cz + d)4

tenemos {, z} = 0 y

{w, z} =
=
=

{w, }( )2 + {, z}

2
ad bc
{w, }
(cz + d)2
(ad bc)2
{w, }
.
(cz + d)4

Teora Elemental de Funciones Univalentes

40
Corolario 2.3.6.
{w, z} = {z, w}
Demostraci
on.
{z, z} = {z, w}

dw
dz

2

dw
dz

2

+ {w, z} = 0.

Teorema 2.3.7. Sean y1 y y2 dos soluciones linealmente independientes de la ecuaci


on
y + P (z)y = 0

(2.26)

que est
an definidas y son holomorfas en un dominio simplemente conexo G en el plano complejo.
Entonces
y1 (z)
w(z) =
y2 (z)
satisface la ecuaci
on
{w, z} = 2P (z)
(2.27)

en todos los puntos de G donde y2 (z) 6= 0. Recprocamente, si w(z) es soluci


on de (2.27), holomorfa en
una vecindad de un punto z0 G, entonces existen u(z) y v(z) soluciones linealmente independientes
de (2.26) definidas en G tales que
u(z)
.
w(z) =
v(z)
M
as a
un, si v(z0 ) = 1 entonces u y v est
an definidas de manera u
nica.
Demostraci
on.

Si u = u(z) y v = v(z) son soluciones de (2.26) y w = w(z) = uv , tenemos que u = uP y


v = vP y calculamos
u
;
w =
v
vu uv
w =
;
v2
v 2 (vu uv ) 2vv (vu uv )
w =
;
v4

v[v(uP ) u(vP )] 2v (vu uv )


=
v3

2v (vu uv )
=
;
v3
w
2v
=
w
v
y calculando
 
 2
w
1 w
{w, z} =

w
2 w



2

2v
1 2v
=

v
2
v
vv (v )2
1 4(v )2
= 2

v2
2 v2

v
vP
= 2
= 2
= 2P.
v
v

2.4. Univalencia y el Schwarziano

41

Si una solucion de (2.27) esta determinada por sus valores iniciales w(z0 ), w (z0 ) y w (z0 ) en un punto
z0 D. Podemos asumir que w (z0 ) 6= 0, pues de otra forma P (z) no sera holomorfa en z = z0 .
Podemos entonces elegir dos soluciones linealmente independientes de (2.26), u(z) y v(z) de manera

que en z = z0 el cociente w1 (z) = u(z)


v(z) tiene los valores iniciales w1 (z0 ), w1 (z0 ) y w1 (z0 ). Si v(z0 ) = 1
las soluciones u(z) y v(z) estan determinadas de manera u
nica y se tiene w(z) = w1 (z).

2.4.

Univalencia y el Schwarziano

Antes de enunciar los siguientes resultados, haremos un resumen de algunas definiciones y propiedades
que utilizaremos en esta seccion. Ademas sera posible encontrar algunas condiciones sobre {f, z} necesarias o suficientes para que f sea univalente.
Si f (z) es univalente en D entonces es inyectiva y f (z) 6= 0 en D y ademas {f, z} existe y es
holomorfa en D.
Recordemos que en el captulo 1 denotamos por S a la clase de funciones
f (z) = z + a2 z 2 + a3 z 3 + . . .
que son univalentes en D y denotamos por a la clase de funciones
f (z) = z 1 + a0 + a1 z + a2 z 2 + . . .
univalentes en D.
De acuerdo a la Proposicion 2.0.17 existe una correspondencia uno a uno entre estas dos clases de
funciones:
si f (z) S, entonces
Si F (z) =

1
,
f ( z1 )

1
f ( z1 )

y viceversa.

entonces A1 = a22 a3 , y ademas |A1 | 1 por el Corolario 2.1.2. Esto nos ser
a de

utilidad para probar el siguiente teorema debido a Z. Nehari [Ne1], donde caracteriza las funciones
f (z) univalentes en D usando el valor |{f, z}|.
Teorema 2.4.1. Si f (z) es univalente en D, entonces

|{f, z}| 6(1 |z|2 )2


y 6 es la mejor constante posible.
Demostraci
on.
Con la notacion anterior sea a D y consideremos la transformacion de Mobius
z+a
a (z) =
,
1 + az
que mapea en forma biyectiva D en s mismo. Se sigue entonces que f (a (z)) es univalente en D.
Calculando el desarrollo de a (z) en serie de potencias se tiene
z+a
a (z) =
,
a (0) = a ;
1 + az
1 |a|2
a (z) =
,
a (0) = 1 |a|2 ;
(1 + az)2
2a(1 |a|2 )
a (z) =
,
a (0) = 2a(1 |a|2 ) ;
(1 + az)3
6a2 (1 |a|2 )
2
2

a (z) =
a (0) = 6a (1 |a| ) ;
(1 + az)4

Teora Elemental de Funciones Univalentes

42
de donde

a (z) = a + (1 |a|2 )(z az 2 + a2 z 3 ) a + w(z).

(2.28)

Claramente (z) 6 S, pero s la funcion (ver automorfismo 2.3)


g(z) =

f (a (z)) f (a)
= z + a2 z 2 + a3 z 3 + .
f (a)(1 |a|2 )

La funcion f se puede escribir de la siguiente forma donde w = w(z)


f (a + w) = f (a) + f (a)w +

1
1
f (a)w2 + f (a)w3 +
2!
3!

y entonces sustituyendo en g
g(z) =
=



1
1
1

2
3
f (a)w + f (a)w + f (a)w +
f (a)(1 |a|2 )
2!
3!

1 f (a)
1
1 f (a)
1
1
w+
w2 +
w3 + ;
1 |a|2
2! f (a) 1 |a|2
3! f (a) 1 |a|2

(2.29)

ademas por 2.28


w
w2
w3


= (1 |a|2 ) z az 2 + a2 z 3

= (1 |a|2 )2 z 2 + (2a)z 3 +

= (1 |a|2 )3 z 3 + (3a)z 4 + ;

por lo que sustituyendo en (2.29) y simplificando se obtiene


a1
a2
a3

= 1,
1 f (a)
1 f (a)
1
2 2
+
(1

|a|
)
=
a
(1 |a|2 ),
2! f (a) 1 |a|2
2! f (a)
1 f (a)
1
1 f (a)
1
2 2
= a2 +
(1

|a|
)
(2a)
+
(1 |a|2 )3
2! f (a) 1 |a|2
3! f (a) 1 |a|2
f (a)
f (a) 1
= a2 a(1 |a|2 )
+ (1 |a|2 )
.
f (a)
6
f (a)
= a +

Ahora calculando
A1

=
=
=
=
=
=
=

a22 a3

2 


1 f (a)
1
2
2
2 f (a)
2 f (a)
a +
(1 |a| ) a a(1 |a| )
+ (1 |a| )
2! f (a)
f (a)
6
f (a)


2
f (a) 1
f (a)
f (a) 1
f (a)
a2 a(1 |a|2 )
+ (1 |a|2 )2
a2 + a(1 |a|2 )
(1 |a|2 )

f (a)
4
f (a)
f (a)
6
f (a)
 2

1
f (a)
1
f (a)
(1 |a|2 )2
(1 |a|2 )
4
f (a)
6
f (a)
 2

31
f (a)
1
2 f (a)
(1 |a|2 )2

(1

|a|
)
26
f (a)
6
f (a)
"
#


2
f (a) 3 f (a)
1
(1 |a|2 )2

6
f (a)
2 f (a)
1
(1 |a|2 )2 {f, a} ;
6

2.4. Univalencia y el Schwarziano


pero |A1 | 1, entonces

43

|{f, a}|

6
,
(1 |a|2 )2

y como a es arbitrario, la demostraci


on esta completa.

Para ver que 6 es la mejor constante posible basta con considerar la rotacion de Koebe
f (z) =

z
(1 + z)2

la cual es univalente en D, sus derivadas son


f (z) =

1z
2z 4
, f (z) =
,
(1 + z)3
(1 + z)4

f (z)
2z 4
=
f (z)
1 z2

y calculando
{f, z} =
=



2
1 2z 4
2z 4

1 z2
2 1 z2
2
(1 z )(2) (2z 4)(2z) 1 4z 2 16z + 16
6

=
.
2
2
2
2
(1 z )
2 (1 z )
(1 z 2 )2

Aunque el recproco no es cierto, Z. Nehari encontro tambien condiciones suficientes para la univalencia de f . Pero antes necesitaremos dos lemas mas.
Lema 2.4.2. Sean f (z) analtica en D, k C con |k| = 1 y u(z) una transformaci
on de la forma
u(z) = k
entonces si

z
,
1 z

|{f, u}|

2
,
(1 |u|2 )2

|{f, z}|

2
.
(1 |z|2 )2

se tiene

Demostraci
on.
La transformacion u(z) se puede ver como la composicion de las dos transformaciones,
u1 (z) = kz,

u2 (z) =

z
,
1 z

con |k| = 1 y R. As utilizando los corolarios del Teorema 2.3.3 se tiene para u1
{f, z} =

|{f, z}| =

k 2 {f, u1 }
|{f, u1 }|

por lo tanto la transformacion u1 = kz no altera la condicion. Ahora para u2 se tiene


{f, z} =
=

(u2 )2 {f, u2 }
(1 2 )2
{f, u2 } ;
(1 z)4

(2.30)

Teora Elemental de Funciones Univalentes

44
tomando normas y usando la condicion (2.30)
|{f, z}| =

=
=
=
=

(1 2 )2
|{f, u2 }|
|1 z|4

2
1 2
2
|1 z|2 (1 |u2 |2 )
2

1 2
2
|1 z|2 |u2 |2 (|1 z|2 )

|1 z|2

|z|
|1z|

2

(|1 z|2 )

2
1 2
2
|1 z|2 | z|2

2
1 2
2
(1 z)(1 z) ( z)( z)

2

2
1 2
1 2
2
=2
1 2 |z|2 + 2 |z|2
(1 |z|2 )(1 2 )
2
.
(1 |z|2 )2


Por lo tanto la condicion no se ve afectada.

Lema 2.4.3. Sea u(x) una funci


on real valuada y diferenciable con derivada integrable en [1, 1] y
ceros simples en x = 1, entonces
Z 1 2
Z 1
u (x) dx
<
(u (x))2 dx .
2 2
1 (1 x )
1
Demostraci
on.
Consideremos la integral positiva
2

Z 1
Z 1
xu(x)
2xu(x)u (x)
x2 u2 (x)

2
u (x) +
dx
=
(u
(x))
+
+
dx ;
1 x2
1 x2
(1 x2 )2
1
1

(2.31)

integrando por partes el segundo sumando del integrando de la derecha



1
Z 1
Z 1
2xu(x)u (x)
x
1 + x2
2
2
dx
=
u
(x)

u
(x)
dx
1 x2
1 x2
(1 x2 )2
1
1
1
y sustituyendo en (2.31)
2

1
Z 1
Z 1
Z 1
xu(x)
x
u2 (x)

2
2
u (x) +
dx
=
(u
(x))
dx
+
u
(x)

dx
2 2
1 x2
1 x2
1
1
1 (1 x )
1
y como x = 1 son ceros simples, la integral de la derecha existe y la parte integrada se anula. Por lo
tanto
Z 1
Z 1
u2 (x)
(u (x))2 dx
dx > 0,
2 2
1
1 (1 x )
lo que concluye la prueba.
Haciendo el cambio de variable x = t se obtiene por el lema anterior:

2.4. Univalencia y el Schwarziano

45

Corolario 2.4.4. Si u(x) es una funci


on real valuada y diferenciable con derivada integrable en [1, 1]
y polos simples en x = , entonces
Z 2
Z
u (x) dx
2
<
(u (x))2 dx.
2 x2 )2
(

El siguiente es una condicion necesaria de univalencia.


Teorema 2.4.5 (Criterio de Nehari). Sea f (z) analtica en D, entonces f es univalente en D si
|{f, z}|

2
.
(1 |z|2 )2

Demostraci
on.
Sabemos que las soluciones de (2.27) son de la forma f = y1 /y2 , donde y1 y y2 son dos soluciones
linealmente independientes de (2.26). Supongamos entonces que
|P (z)|

1
(1 |z|2 )2

(2.32)

y ahora basta probar que el cociente y1 /y2 es univalente en D. Para que el cociente sea univalente es
necesario y suficiente que ninguna solucion de (2.26) se anule mas de una vez en D ya que
y1 (z1 )
y2 (z2 )
=
=
y2 (z1 )
y2 (z2 )
si y solo si
y1 (z1 ) y2 (z1 ) = 0,

y1 (z2 ) y2 (z2 ) = 0.

Tomando la ecuacion (2.26),


y (z) + P (z)y(z) = 0
y multiplicandola por y(z) dz e integrandola de z1 a z2 , con z1 , z2 D, se tiene
Z z2
Z z2

y(z) d(y (z)) dz +


P (z)|y(z)|2 dz = 0.
z1

z1

La primera integral se obtiene integrando por partes, si u(z) = y(z) y dv(z) = d (y (z)) entonces
du(z) = y (z) dz y v(z) = y (z), as
Z z2
Z z2
z
[y(z) y (z)]z21
|y (z)|2 dz +
P (z) |y(z)|2 dz = 0 ,
z1

z1

esta es la llamada transformada de Green de (2.26). Si y(z1 ) = y(z2 ) = 0, tenemos


Z z2
Z z2

2
|y (z)| dz =
P (z) |y(z)|2 dz.
z1

(2.33)

z1

Por lo tanto, el teorema estara demostrado si mostramos que la ecuacion (2.33) no puede ser cierta.
Ademas, debido al Lema 2.4.2 podemos restringirnos, sin perdida de generalidad al caso |z1 | = |z2 | =
< 1. Lo que queremos probar entonces es la incompatibilidad de (2.33) y (2.32) para z2 = z1 pues
cualesquiera dos puntos en D pueden ser transformados en puntos simetricos respecto al origen con
una transformacion u(z) como en el Lema 2.4.2 sin afectar la univalencia o la cota de {f, z}. M
as a
un,
podemos considerar z2 = z1 con z1 R. Entonces (2.33) toma la forma
Z
Z
|y (r)|2 dr =
P (r)|y(r)|2 dr
(0 < < 1).

Teora Elemental de Funciones Univalentes

46
Escribiendo y(x) = u(x) + iv(x) tenemos
|y(x)|2

|y (x)|2

u2 (x) + v 2 (x),

u2x (x) + vx2 (x).

Entonces (2.33) toma ahora la forma


Z
Z
2
2
(ux (x) + vx (x)) dx =

P (x)(u2 (x) + v 2 (x)) dx.

(2.34)

Usando el Lema 2.4.3 junto con su corolario y la cota de P (x), tenemos


Z

Z
Z 2

2


u (x) + v 2 (x)
2
2


u (x) + v 2 (x) dx
P
(x)

u
(x)
+
v
(x)
dx
|P
(x)|

dx


(1 x2 )2

Z 2
u (x) + v 2 (x)
< 2
dx.
(2 x2 )2

Como y(z) = u(z) + iv(z) tiene ceros simples en z = , entonces tanto para u(z) como para v(z) se
cumple lo mismo, por lo que usando nuevamente el Lema 2.4.3 se tiene
Z

Z 2


u (x) + v 2 (x)
2
2

< 2
dx
P
(x)

u
(x)
+
v
(x)
dx


(2 x2 )2

Z
<
(u2x + vx2 )dx ,

lo cual contradice (2.34). Por lo tanto si P (z) cumple (2.32) ninguna solucion de (2.26) puede anularse
mas de una vez en D y entonces f = y1 /y2 es univalente.
En este caso tambien resulta que 2 es la mejor constante posible en el sentido de que para toda
c > 2 se puede construir explcitamente la funcion

ti
1z
f (z) =
,
1+z
donde t es una constante real con c = 2(1 + t2 ). Esta f cumple
i) f (0) = 0.
ii) f (z) es holomorfa en D.
iii) f (z) toma el valor 1 un n
umero infinito de veces.
iv) |{f, z}|

c
(1|z|2 )2 .

Los teoremas anteriores son un trabajo sobresaliente de parte de Z. Nehari [Ne1] y ademas establecen
un criterio para que una funcion sea univalente en D. En 1966 P. Duren, H. Shapiro y A. Shields
[DuShaShi] simplifican este criterio, encontrando condiciones necesarias y suficientes para univalencia
que aunque similares, son mas simples.
Para construir este criterio ( Teorema 2.4.7) requeriremos de la ecuacion (2.2.1) y un lema adicional.
Lema 2.4.6. Si f (z) es analtica en D y
|f (z)|
entonces
|f (z)|

c
,
1 |z|2
4c
.
(1 |z|2 )2

2.4. Univalencia y el Schwarziano

47

Demostraci
on.
2

Sean z D, z = rei , y R positivo tal que 2 = 1+r


< 1, entonces > r y tenemos Aplicando
2
la formula de Cauchy a f
Z
1
f ()
f (z) =
d
2i ||= ( z)2
entonces
|f ()|
|d|
|
z|2
||=
"
#
Z
c
1
|d|
.
1 r2 2 ||= | z|2
1
2

|f (z)|

Pero = ei por lo que


d
|d|

| z|2

=
=

iei d
d

2 + r2 2r cos( ).

As que sustituyendo
|f (z)|
=
=



Z 2
1
d
c
1 r2 2 0 2 + r2 2r cos( )


Z 2
c

1
2 r2 d
1 r2 2 r2 2 0 2 + r2 2r cos( )
#
"
2
Z 2
1 r2 d
c

1
.
1 r2 2 r2 2 0 1 + r22 2 r cos( )

El integrando es el Kernel de Poissson P r ( ), luego por la Proposicion A.0.14 inciso a), la cantidad
entre corchetes es igual a 1. Se tiene entonces
|f (z)|

2c
2c
c

=
2.
(1 r2 )(2 r2 )
(1 r2 )2
(1 |z|2 )

Teorema 2.4.7. Sea f (z) una funci


on analtica en D. Para que f sea univalente en D es necesario
que

f (z)
6


f (z) 1 |z|2

y es suficiente que

Demostraci
on.


f (z) 2( 5 2)


.
f (z)
1 |z|2

Del Teorema 2.2.1, si f (z) es univalente entonces cumple




zf (z)
2r2
4r2

f (z) 1 r2 1 r2 ,

Teora Elemental de Funciones Univalentes

48
donde r = |z| < 1, entonces


f (z)
6


f (z) 1 |z|2 .

Para probar la suficiencia, tomemos la funcion

g(z) =

f (z)
f (z)

y supongamos que

c
,
1 r2
donde a
un no especificamos la constante c. De acuerdo al lema anterior
|g(z)|

4c + c2
1
|{f, z}| = |g (z) (g(z))2 |
.
2
(1 r2 )2
De acuerdo al criterio de Nehari, la funcion sera univalente si
4c +

c2
2.
2

El valor de c mas grande para el que se sigue cumpliendo esta desigualdad es c = 2( 5 2), es decir,
f sera univalente si


f (z) 2( 5 2)

|g(z)| =
.
f (z)
1 |z|2

Captulo 3

Teorema de Bloch
3.1.

Constante de Bloch

considero las funciones f F, es


La idea basica de lo descrito a continuacion se debe a Andre Bloch. El
decir funciones analticas y normalizadas en el disco unitario D. La imagen de D bajo f es wf = f (D).
Un disco de univalencia (no ramificado) en f (D) es un disco abierto f (D) tal que existe un dominio
D con f mapeando inyectivamente sobre . Denotamos por df (z) al radio del disco de m
axima
univalencia en f (D) con centro f (z). Sea rf el supremo de df (z) cuando z varia sobre D y se define
B = nf{rf : f F }.
En 1925 A. Bloch mostro que B es estrictamente positiva [Bl].
Ejemplo 1. Si nos restringimos a la clase de funciones S, se tiene por el Teorema 2.1.4 que rf = 14 .

Para f (z) = 12 log[ 1+z


1z ], la cual mapea D sobre la franja horizontal 4 < Im (w) < 4 ; se tiene que

rf = 4 (ver crculo rojo en el lado derecho de la figura 3. 1 y su preimagen tambien en rojo en el lado
izquierdo).

1.0

0.5

0.5

-1.0

0.5

-0.5

1.0

-2

-1

-0.5

-0.5

-1.0

Figura 3. 1: Grafica f (z) =

1
2

log[ 1+z
1z ], z D.

Teorema de Bloch

50

Ejemplo 2. Sea f (z) = z 12 z 2 = 12 [1 (1 z)2 ], el cual mapea D sobre el interior de una cardioide;
en la figura 3. 2 se ilustra rf = 1 (crculo rojo en el lado derech de la figura y su preimagen tambien
en rojo en el lado izquierdo).

1.0

1.0

0.5
0.5

-1.5
-1.0

0.5

-0.5

-1.0

0.5

-0.5

1.0

-0.5

-0.5

-1.0

-1.0

Figura 3. 2: Grafica f (z) = z 12 z 2 , z D.

Durante el periodo de 1925 a 1968 los resultados de A. Bloch motivaron trabajos de diferente naturaleza:
Un grupo de matematicos considero la generalizacion de los resultados de A. Bloch a bolas en Rn
y Cn . Otro grupo calculo cotas superiores e inferiores para B.
Un tercer grupo se concentro en las implicaciones teoricas para el caso del disco. El Teorema de
Bloch ha sido un elemento importante al proveer una prueba del Teorema de Picard evitando el uso
de funciones modulares.
En el periodo comprendido de 1969 a la fecha, un Espacio de Banach B de funciones analticas
llamadas funciones Bloch, ha sido intensamente estudiado. Por supuesto el requisito para pertenecer
a B es derivado de la idea del Teorema de Bloch. Han habido importantes progresos en el estudio de
las propiedades analticas y funcionales de B. Estudiar tales funciones como parte de un Espacio de
Banach ha permitido la visualizacion de un panorama mas amplio y por lo tanto se han presentado
un nuevo grupo de preguntas sobre el Espacio de Bloch.
Otros resultados recientes se deben a L. A. Harris y a R. Timoney. El primero obtuvo una forma
fuerte del Teorema de Bloch para mapeos analticos desde la bola, de un Espacio de Banach X en X
[Ha]. Mientras que el segundo ha hecho un estudio de las funciones de Bloch en dominios acotados y
simetricos en Cn .
Para adecuar el resultado referido en el ttulo de esta seccion en las preguntas generales planteadas
en la introduccion, sea D = B(0; 1) y F como en la Definicion 2.0.11:
que tan grande puede ser f (D)?. Visto de otra forma: debido a que f (0) = 1 6= 0, f no es una
funcion constante y por lo tanto f (D) es abierto. Es decir, f (D) debe contener un disco de radio positivo.
Nota 3.1.1. Observe que las u
ltimas dos condiciones de la Definici
on 2.0.11 no son realmente restrictivas pues si f (0) 6= 0, digamos para c C se tiene que f (0) = c, entonces se considera la funci
on
g(z) = f (z) c, luego g(0) = 0. Por otro lado si f (0) 6= 1, digamos para v C se tiene que f (0) = v,
f (z)
entonces se considera la funci
on h(z) =
, luego h (0) = 1. De aqu que las condiciones puestas en
v

3.1. Constante de Bloch

51

el enunciado sirven u
nicamente para facilitar los c
alculos. Ejemplos de este procedimiento se observan
m
as adelante en la demostraci
on del Lema 3.1.3, as como en el Teorema de Bloch y su corolario.
Como consecuencia del Teorema de Bloch, existe una constante positiva B tal que f (D) contiene
un disco de radio B para cada f en la familia F .
Los lemas que se citan a continuacion aseguran la existencia de un disco de ciertas caractersticas
contenido en la imagen de D mediante el mapeo de una funcion igualmente caracterstica.

Lema 3.1.2. Sea f una funci


 on analtica en D y f (0) = 0, f (0) = 1, y |f (z)| M para todo z en D,
1
entonces M 1 y B 0; 6M f (D).

Demostraci
on.

Sean z D y 0 < r < 1. Por hipotesis f (0) = 0, f (0) = 1, as que el desarrollo en serie de potencias
alrededor de z0 = 0 esta dado por

X
f (z) = z +
ak z k ;
k=2

(n)
f (0)
de acuerdo a la estimacion de Cauchy |f (0)| n!M
,
y
tambi
e
n
se
sabe
que
|a
|
=
n! para
n
n
r
toda n 1, luego
(n)
f (0) M

|an | =
,
para todo n 1.
n! rn
En particular para n = 1 y r = 1:

f (0)
=1 M .
|a1 | =
1
1
(n)

Si |z| =

1
4M ,

entonces |z|k =

1
,
(4M)k

as

f (z) = z +

ak z k

k=2

|f (z)| =

Como M 1,



X
X
X
1
1

k
k
ak z |z|
|ak ||z |
M

z +


4M
(4M )k
k=2
k=2
k=2
"
#
2 
3

k
1
1
1
1
M
+
+ ... +
+ ...
4M
4M
4M
4M




1
1
1
1
4M
4M + 1
M
1
=
M

1
4M
4M
4M
4M 1
4M
1 ( 4M
)
M (4M + 1)
4M 2
1
16M 2 1 16M 2
1
+

=
+
4M
4M
4M 1
4M
4(4M 1)
1
1

.
4M
16M 4
M 1
4M 1
1
3M


1
1
4 3M
1

16M 4

0
3M
1
4M 1


1
1
4 4M 1
1

;
12M

Teorema de Bloch

52
luego
|f (z)|
por lo tanto si |z| =

1
4M

1
1
1
1
1

=
;
4M
16M 4
4M
12M
6M

1
.
6M
y definamos g(z) = f (z) w, por ver que w f (D):
|f (z)|

Supongamos que |w| <


1
Para |z| = 4M
,

1
6M

1
< |f (z)| |f (z)| + |g(z)| ;
6M

|f (z) g(z)| = |f (z) f (z) + w| = |w| <


1
luego por el Teorema de Rouche A.0.7, f y g tienen el mismo n
umero de ceros en B 0; 4M
. Dado que
f (0) = 0 entonces g(z0 ) = 0 para alg
un z0 , as
g(z0 ) = f (z0 ) w = 0 ;
o sea
f (z0 ) = w ;
1
entonces w f (D), pues z0 es la preimagen de w. Luego, como w B 0; 6M
1
tiene que B 0; 6M f (D).

y w es arbitrario, se

Lema 3.1.3. Sea g funci


on analtica en B(0; R), con g(0) = 0, |g (0)| = > 0, y |g(z)| M para
todo z, entonces


R2 2
B 0;
g (B(0; R)) .
6M
Demostraci
on.
Sea f1 (z) = Rz, f2 (z) =

1
z y f la composicion
Rg (z)
f (z) := f2 g f1 (z) =

1
g(Rz),
Rg (0)

luego f es analtica en D y
f (0) =

g(R 0)
g(0)
=
= 0;

Rg (0)
Rg (0)

Rg (R 0)
g (0)
=
= 1;

Rg (0)
g (0)


g(Rz)
|g(Rz)|
M

|f (z)| = =

.
Rg (0)
R|g (0)|
R
f (0) =

Entonces f cumple las condiciones para poder aplicar el lema anterior. As obtenemos
!


1
R
B 0; M
= B 0;
f (D) = f2 (g (B(0; R))) ;
6M
6 R
luego
f21


 
R
B 0;
g (B(0; R)) ;
6M

pero f21 (z) = Rg (0) z, as






R|Rg (0)|
2 R2
B 0;
= B 0;
g (B(0; R)) ,
6M
6M

3.1. Constante de Bloch

53

lo que concluye la prueba.


El siguiente es un criterio de univalencia.
Lema 3.1.4. Sea f una funci
on analtica en el disco B(a, r) tal que |f (z) f (a)| < |f (a)| para todo
z B(a; r), z 6= a; entonces f es uno a uno.
Demostraci
on.
Sean z1 , z2 B(a, r), z1 6= z2 . Para ver que f es uno a uno, probemos que f (z1 ) 6= f (z2 ).
Sea el segmento de lnea que une al punto z1 con el punto z2 , as
Z
Z






|f (z1 ) f (z2 )| = f (z)dz = (f (z) f (a) + f (a)) dz

Z
Z







f (a)dz (f (z) f (a))dz

Z
Z


|f (a)| dz |f (z) f (a)||dz|

luego

|f (z1 ) f (z2 )| |f (a)||z2 z1 |

|f (z) f (a)||dz|.

(3.1)

Por otro lado


|f (z) f (a)| <

|f (z) f (a)| >


|f (z) f (a)||dz| >

as

|f (a)|

|f (a)|
Z
Z

|f (a)||dz| = |f (a)| |dz|

|f (z) f (a)||dz| > |f (a)||z2 z1 | .

Sustituyendo en la desigualdad (3.1), se tiene


|f (z1 ) f (z2 )| >
|f (z1 ) f (z2 )| >

|f (a)||z2 z1 | |f (a)||z2 z1 | = 0
0;

as, por las propiedades del modulo se tiene que f (z1 ) 6= f (z2 ).
Proposici
on 3.1.5. Sea K : (0, 1) R definida por K(r) = max{|f (z)| : |z| = r}. Entonces K(r)
es continua en (0, 1).
Demostraci
on.
Sea r0 (0, 1) y > 0. Sea z0 D tal que |f (z0 )| = K(r0 ), entonces |z0 | = ro .
Como |f (z)| es continua en D, existe > 0 tal que |z z0 | < implica ||f (z)| |f (z0 )|| < .
Sea r (0, 1) tal que |r r0 | <

y sea z D tal que K(r) = |f (z)|, entonces |z| = r.

Teorema de Bloch

54

Sean w1 , w2 D con |w1 | = r, |w2 | = r0 y tales que |z0 w1 | < , |z w2 | < , entonces |f (w1 )|
|f (z)|, |f (w2 )| |f (z0 )| de donde

|f (z)|
|f (z0 )|

|f (w1 )|;
|f (w2 )|.

Entonces
|f (z)| |f (z0 )| |f (z)| |f (w2 )| ||f (z)| |f (w2 )|| < ;

luego

|f (z0 )| |f (z)| |f (z0 )| |f (w1 )| ||f (z0 )| |f (w1 )|| < ,


|K(r) K(r0 )| = ||f (z)| |f (z0 )|| <

y por lo tanto K(r) es continua en (0, 1).

Teorema 3.1.6 (Teorema de Bloch). Sea f una funci


on analtica en una regi
on que contiene a la
cerradura del disco unitario D y satisface f (0) = 0, f (0) = 1, entonces existe un disco D en el
cual f es inyectiva y tal que f () contiene un disco de radio 1/72.
Demostraci
on.
Sea K(r) = max{|f (z)| : |z| = r} y se define h : [0, 1] R por h(r) = (1 r)K(r). La cual es
continua pues K(r) lo es por la proposicion anterior, se cumple h(0) = 1, h(1) = 0.
Sea r0 = sup{r : h(r) = 1}, entonces h(r0 ) = 1, con 0 < r0 < 1. De esta forma, si r r0 , implica
h(r) = (1 r)K(r) < 1 ya que r0 = sup{r : h(r) = 1}.
Sea a D tal que |a| = r0 y |f (a)| = K(r0 ), entonces
h(r0 ) =
=

(1 r0 )K(r0 )

(1 r0 )|f (a)| ;

despejando |f (a)| se tiene


|f (a)| =

h(r0 )
1
=
= (1 r0 )1 .
1 r0
1 r0

Si |z a| < 12 (1 r0 ) = 0 y |z| = 21 (1 + r0 ), como r0 < 21 (1 + r0 ),







h 21 (1 + r0 )
1
1

,
|f (z)| K
(1 + r0 ) =
h
(1 + ro ) < 1
2
2
1 12 (1 + ro )
1
1
1

= 1
= ,
1
1

1 2 2 r0
0
2 (1 r0 )
para todo z tal que |z a| < 0 . Estimemos:
|f (z) f (a)|

Sea g : D C definida por


La funcion g satisface:

g(w) =

1
1
+
0
1 r0
1
1
1
1
=
+
+
1
0
0
20
2 2 (1 r0 )
3
.
20

|f (z)| + |f (a)|

2
0 (f (0 w + a) f (a)) .
3

3.1. Constante de Bloch

55

g(w) es analtica en D,
g(0) = 23 0 (f (0 + a) f (a)) =

2
3

(f (a) f (a)) = 0,

|g(w)| = 23 0 |f (0 w + a) f (a)|

20
3

3
20

= 1,

entonces, por Lema de Schwarz, |g(w)| |w|, es decir


2
0 |f (0 w + a) f (a)| |w| ;
3
y regresando a la variable original, w =

za
0 ;



z a |z a|
2


=
0 |f (z) f (a)|
;
3
0
0

despejando

|f (z) f (a)|

3 |z a|
3

= 2 |z a|
20
0
20

para todo z B(a; 0 ). Luego, si z A = B(a; 13 0 ), es decir |z a| 13 0 se tiene


3 0
1
3
|z a| 2
=
= |f (a)|
2
20
20 3
20

|f (z) f (a)|

y por el Lema 3.1.4, f es uno a uno en A. Resta demostrar que f (A) contiene un disco de radio

1
72 .


Sea t : B 0; 31 0 C la funcion definida por

t(z) = f (z + a) f (a).

Notemos que
t(0) = f (0 + a) f (a) = 0,

t (z) = f (z + a),

|t (0)| = |f (0 + a)| = |f (a)| =

1
;
20


ademas si z B 0; 13 0 entonces el segmento de lnea := [a, a + z] esta contenido en A B(a; 0 ).
Como |f (z)| < 10 ,


Z
Z
Z


1
1



|t(z)| = f (w)dw |f (w)|dw
dw |z| ;

0
0


pero |z| < 30 pues z B 0; 13 0 , as
|t(z)|

Ahora, como t(0) = 0, |t (0)| =

1
20

y |t(z)| 13 , aplicando el Lema 3.1.3 se tiene que


 

1
B(0; ) t B 0; 0
3

donde
=

1 0
1

= .
0 3
3

2
1
3 0
6

1
20


1
3

2

1 2
9 0



1
420


6

1
36

1
72

(3.2)

Teorema de Bloch

56
luego, sustituyendo en (3.2) se tiene


 

 

1
1
1
B 0;
t B 0; 0
= f B 0; 0
f (a) ;
72
3
3


 

1
1
f B 0; 0
;
B f (a);
72
3


1
f ().
B f (a);
72

Corolario 3.1.7. Sea f una funci


on analtica en una regi
on que contiene a B(0; R); entonces f (B(0; R))
1
contiene un disco de radio 72
R|f (0)|.
Demostraci
on.
Sea f1 (z) = Rz, f2 (z) = z f (0), f3 (z) =

z
y g la composicion
Rf (0)

g(z) = f3 f2 f f1 (z) =

f (Rz) f (0)
,
Rf (0)

g es analtica en D y cumple
g(0) =
g (z) =
g (0) =

f (R 0) f (0)
f (0) f (0)
=
= 0;
Rf (0)
Rf (0)
f (Rz)
Rf (Rz)
=
;

Rf (0)
f (0)
f (R 0)
f (0)
=
= 1;

f (0)
f (0)

entonces g cumple las condiciones para poder aplicar el Teorema de Bloch. As obtenemos


1
B 0;
g(D) = f3 (f2 (f (B(0; R))))
72
pues f1 (D) = B(0; R), entonces
 

1
f31 B 0;
f2 (f (B(0; R)))
72
pero f31 (z) = z Rf (0), luego


R|f (0)|
B 0;
f2 (f (B(0; R))) .
72
As

con f2 (z) = z + f (0),

 

R|f (0)|
f21 B 0;
f (B(0; R))
72
R|f (0)|
B f (0);
72


f (B(0; R)) .

3.1. Constante de Bloch

57

Recordando los conceptos presentados en la introduccion de este captulo, entonces


rf

1
.
72

La constante de Bloch es el n
umero definido por
B = nf{rf : f F }.
1
De acuerdo al Teorema de Bloch, B 72
. Si se considera la funcion del Ejemplo 1, f (z) = 12 log[ 1+z
1z ],

entonces B 4 . Sin embargo, mejores cotas que esta estimacion son conocidas. De hecho, se sabe que
0. 43 B 0. 47. Aunque el valor exacto de B permanece desconocido, ha sido conjeturado que


13 11
12
B=
1
,
1 + 3 2 14
R
donde (z) = 0 ex xz1 dx es la funcion gamma.

Definici
on 3.1.8. Para cada f F, sea

(f ) = sup{r : f (D) contiene un disco de radio r}.


La constante de Landau est
a definida por
L = nf{(f ) : f F }.
Claramente L B, y es facil ver que L 1. Nuevamente el valor exacto de L es desconocido, pero
se puede probar que 0. 50 L 0. 56. En particular, L > B.
Proposici
on 3.1.9. Si f F, entonces f (D) contiene un disco de radio L.
Demostraci
on.
Basta demostrar que un disco de radio = (f ) esta contenido en f (D). Como
(f ) = sup{r : f (D) contiene un disco de radio r}
entonces

1
n

< , para cada n N y existe un punto n f (D) tal que B n ,

1
n

f (D).

Ahora, como D D entonces f (D) f (D), luego n f (D) f (D). Dado que f es continua y
D es compacto, f (D) tambien lo es y por tanto {n } tiene un punto lmite f (D) y existe as una
subsucesion {nk } tal que nk . Reindexando, nk = n , = lm n .
n

Sea w B(, ), luego |w | < . Sea n0 tal que |w | < n10 < . Existe un n1 > n0 N
tal que
1
|n | <
|w |
para cada n n1 .
(3.3)
n0
Entonces
|w n | = |w + n | |w | + | n | ;
de la desigualdad (3.3)
|w n | <

1
1
< .
n0
n

Por lo tanto w B(n , n1 ) f (D), entonces B(, ) f (D), es decir B(, L) f (D).
Corolario 3.1.10. Sea f analtica en una regi
on que contiene a B(0; R); entonces f (B(0; R)) contiene
un disco de radio R|f (0)|L.

Teorema de Bloch

58
Demostraci
on.
Sea f1 (z) = Rz, f2 (z) = z f (0), f3 (z) =

z
y g la composicion
Rf (0)

g(z) := f3 f2 f f1 (z) =

f (Rz) f (0)
,
Rf (0)

g es analtica en D y cumple
g(0) =
g (z) =
g (0) =

f (R 0) f (0)
f (0) f (0)
=
= 0;

Rf (0)
Rf (0)
Rf (Rz)
f (Rz)
=
;
Rf (0)
f (0)
f (R 0)
f (0)
=
= 1;
f (0)
f (0)

entonces g cumple las condiciones para poder aplicar la proposicion anterior. As obtenemos que existe
tal que
B (; L) g(D) = f3 (f2 (f (B(0; R))))
pues f1 (D) = B(0; R), entonces
f31 (B (; L)) f2 (f (B(0; R))) ;
pero f31 (z) = z Rf (0), luego
B (; LR|f (0)|) f2 (f (B(0; R))) .
As

f21 (B (; LR|f (0)|)) f (B(0; R))

con f2 (z) = z + f (0),

3.2.

B ( + f (0); LR|f (0)|) f (B(0; R)) .

Radio de univalencia d(z).

La clasica caracterizacion geometrica de las funciones de Bloch involucra el radio df (z) del disco m
as
grande de univalencia alrededor del punto f (z) en f (D). El material de esta seccion esta basado en [Ci].
Para obtener esta caracterizacion es necesario probar algunos resultados.
Definici
on 3.2.1. Sea a (0, 1) y sea Aa la familia de funciones analticas f : D D con normalizaci
on f (0) = 0 y f (0) = a.
Notemos que la familia Aa es no vaca pues la funcion B(z) Aa donde B(z) esta definida por

Sea f Aa , se define

B(z) = 0 (z) a (z).

(3.4)

Uf sup{r : f univalente en B(0, r)}

(3.5)

nf{Uf : f Aa }.

(3.6)

3.2. Radio de univalencia d(z).

59

Proposici
on 3.2.2. Sea definido como en (3.6), entonces > 0.
Demostraci
on.
Notemos que B (z) se anula en el punto z =

1 1a2
.
a

En efecto,

za
1 az

B(z) =

0 (z) a (z) = z

B (z) =

0 (z) a (z) 0 (z) a (z) =

az 2 2z + a
.
(1 az)2

Luego B (z) = 0 dice:


B (z) =
az 2 2z + a
as:
z=
y B se anula en z =
se tiene < 1.

=
1

az 2 2z + a
=0
(1 az)2

1 a2
a

1 a2
1 + 1 a2
con |z| < 1 pues z =
6 D. Entonces dado que B(z) S
a
a

Teorema 3.2.3. Sea f analtica en D y a (0, 1). El n


umero Uf = si y s
olo si
f (z) = B(z),
donde || = 1 y la funci
on B es de la forma (3.4).
Demostraci
on.
Supongamos Uf = < 1 y f Aa y por el Lema de Schwarz |f (z)| |z|, ahora, sea g(z) la funci
on
definida por
g(z) := a

g(z) = a

f (z)
z

f (z)
z

f (z)
z

z C(z) ,

f (z) za
z af (z)
!

a f (z)
z
f (z)
z a

z af (z)

notemos que:
g(z) es analtica en D,
f (z)
= f (0) = a, se tiene que g(0) = a (a) = 0,
z




|g(z)| = a f (z)
1,
z
como lm

z0

entonces, por Lema de Schwarz, |g(z)| |z|, es decir

|z C(z)| = |z| |C(z)| |z|;

(3.7)

Teorema de Bloch

60
f (z)
z

a
es analtica en D y |C(z)| 1 para todo z D.
z af (z)
Sabemos que 1
on 1.2.1, as de la igualdad (3.7) se tiene
a = a de la Proposici

as C(z) =

f (z)
=
z
f (z) =
|f (z)| =

a (z C(z)) ,
z a (z C(z)) ,
|z| |a (z C(z))| ;



pero |a (z C(z))| |a| (|z C(z)|) debido a la Proposicion 1.2.12, luego como 0 < a < 1,


|f (z)| |z| |a| (|z C(z)|) = |z| |a (|z C(z)|)| ;


a |z C(z)|

.
|f (z)| |z|
1 a |z C(z)|

(3.8)

A partir de 1 |C(z)|, tenemos las siguientes desigualdades


1 |z| |z| |C(z)|

|z C(z)| |z| 1
a |z C(z)| a |z| a 1
(a 1) (a |z|) (a |z C(z)|),

(3.9)

por otro lado


1 |z| |z| |C(z)|
a a |z| a |z C(z)|
a |z C(z)| a |z| a
1 a |z C(z)| 1 a |z| 1 a

multiplicando (3.9) con (3.10):

1
1
1

;
1a
1 a |z|
1 a |z C(z)|

(3.10)

(a 1)
(a |z|)
(a |z C(z)|)

,
1a
1 |z|
1 a |z C(z)|
es decir

a |z C(z)|
a |z|

;
1 a |z C(z)|
1 a |z|

luego, de la desigualdad (3.8), se sigue



a |z|

:= (|z|).
|f (z)| |z|
1 a |z|

(3.11)

Por lo tanto f queda definida como se quera.

Como Uf sup{r : f univalente para todo z B(0, r)} entonces f no es univalente en |z| Uf
o existe z0 D tal que |z0 | = Uf y f (z0 ) = 0.
Se completa la prueba suponiendo que existen z1 y z2 , z1 6= z2 tales que |z1 | = |z2 | = Uf y
f (z1 ) = f (z2 ) = c.

3.2. Radio de univalencia d(z).

61

Sea m(z) la funcion definida por


m(z) = c (f (z))

1
1

,
z1 (z) z2 (z)

con singularidades removibles en z1 y z2 , acotados por 1 en el disco D. En particular


|m(0)| 1.
En efecto,
m(0) =
=

f (0) c
1 cf (0)
c
;
z1 z2



1
z1



1
z2


(3.12)

puesto que f (0) = 0 y |z1 | = |z2 | = Uf , luego


|m(0)| =

|c|
|z1 | |z2 |

1,

|c| Uf2 .

(3.13)

Sea z = z1 en (3.11):
|f (z1 )|



a |z1 |


|z1 |
1 a |z1 |

dado que f (z1 ) = c, usando la desigualdad (3.13) se tiene




a |z1 |
2

;
Uf |z1 |
1 a |z1 |

por u
ltimo, sabemos que |z1 | = Uf , entonces

Sea x Uf , entonces x

Uf2

Uf

a Uf
1 a Uf
a Uf
.
1 a Uf

Uf

ax
xa
=
= a (x).
1 ax
1 ax

Notemos que las funciones x y a (x) tienen un valor com


un en x0 de la forma
=

a (x0 ) =

ax20 2x0 + a

x0

x0 a
1 ax0

1 a2
a

1 a2
1 + 1 a2
luego x0 =
, satisfaciendo a (x0 ) = x0 puesto que x =
6 D. As x0 (0, 1)
a
a
y ademas a (x) x si 0 < x < x0 . Entonces Uf x0 . Notemos que B (x0 ) = 0, por lo tanto
= UB .
1

x0

Teorema de Bloch

62

1 a2
. Las siguientes figuras muestran la imagen de B(z)
a
4
separando la parte univalente de la que no lo es. Por ejemplo, para a = , se tiene que = 12 ; la figura
5
3. 3 muestra la grafica de B(z) = 0 (z) 54 (z), para todo |z| 21 , en ella se observa la univalencia.
Mientras que en la figura 3. 4 para todo |z| > 12 , la funcion B(z) ya no es univalente.
Ejemplo 3. No es difcil ver que =

-1.0

1.0

1.0

0.5

0.5

0.5

-0.5

1.0

0.5

-0.5

-0.5

-0.5

-1.0

-1.0

Figura 3. 3: Grafica de la imagen de


B(z) = z

-1.0

za
, |z| 12 .
1 az

1.0

Figura 3. 4: Grafica de la imagen de


B(z) = z

za
, |z| > 21 .
1 az

El siguiente resultado se debe a W. Seidel y J. Walsh [SeWa], en el se induce un acotamiento local


superior e inferior para la condicion de Bloch de funciones univalentes en terminos de su disco de
univalencia df (z).
Cuando no haya confusion se escribira d(z) en lugar de df (z)
Teorema 3.2.4. Sea f analtica y univalente en D, entonces para z D,
d(z) |f (z)|(1 |z|2 ) 4 d(z).

(3.14)

Demostraci
on.
Se muestra primeramente la desigualdad izquierda d(z) |f (z)|(1 |z|2 ) y se vera que s
olo es
necesario que la f sea localmente univalente.

z z0
1
Sea z0 D y (z) = f z0 (z); luego 1
,
z0 (z) = f (z) pero z0 (z) = z0 (z) =
1 z0 z
as z0 (z) = f (z) para z0 , z0 (z0 ) = 0, luego
( z0 ) (z0 ) = (0) = f (z0 ) = w0 ,
entonces para |w0 w| < d(z0 ), con w0 , w f (D) existe 1 () = h() que mapea a B (w0 , d(z0 ))
en el interior de D de manera univalente con h(w0 ) = 0.
Luego, sea g() = h (w d(z0 ) + 0 ), || < 1 y g () = d(z0 ) h (w d(z0 ) + 0 ). Notemos que se
cumplen las condiciones del Lema de Schwarz para g() pues g(0) = 0 y como h = 1 , se tiene
|g(w)| 1, |g(0)| = |h(0 )| = 0, entonces |g (0)| 1 y |g()| ||.

3.2. Radio de univalencia d(z).

63

De |g (0)| = |d(z0 ) h (0 )| 1 se tiene que


d(z0 )

1
|h (w0 )|

(3.15)

como h(z) = (f z0 )1 (z) entonces (h f z0 ) (z) = z as


(h f z0 ) (0)

por lo tanto de (3.16) se tiene

= h ((f z0 ) (0)) f (z0 (0)) z0 (0)

= h (f (z0 )) f (z0 ) z0 (0) = h (w0 ) f (z0 ) z0 (0)



= h (w0 ) f (z0 ) 1 |z0 |2 = 1 ;


|f (z0 )| 1 |z0 |2 =

1
|h (w0 )|

(3.16)

d(z0 ).

Se muestra ahora la desigualdad derecha de (3.14), es decir |f (z)|(1 |z|2 ) 4 d(z).


Sea z0 D, probaremos la desigualdad utilizando la funcion (2.3)
(z) =
donde z0 (z) =

(f z0 ) (z) f (z0 )
f (z0 )(1 |z0 |2 )

z + z0
.
1 + z0 z

Notemos que por (2.3), (z) es univalente y normalizada. Veamos que omite el valor si w 6 f (D)
donde
w f (z0 )
=
.
f (z0 )(1 |z0 |2 )
Supongamos lo contrario, es decir que existe z D tal que (z ) = entonces
(z ) =

w f (z0 )
(f z0 ) (z ) f (z0 )
==
f (z0 ) (1 |z0 |2 )
f (z0 ) (1 |z0 |2 )
(f z0 ) (z ) f (z0 ) = w f (z0 )
(f z0 ) (z ) = w

sea = z0 (z ), ya que z0 : D D entonces D, luego f () = w lo cual es una contradicci


on
pues w 6 f (D). Por lo tanto es omitido por .
Por el Teorema de un Cuarto de Koebe 2.1.4, || 14 , as




|w f (zo )|
1
w f (z0 )
=
|| =
;
2
f (z0 ) (1 |z0 | ) |f (z0 )| (1 |z0 |2 )
4

(3.17)

luego, dado que w 6 f (D), se puede elegir D tal que |w f (z0 )| = mn |f (z0 ) |, D por
tanto | z| = df (z0 ) = d(z0 ). Entonces de (3.17)
|w f (z0 )|
d(z0 )
1
=
;
|f (z0 )| (1 |z0 |2 )
|f (z0 )| (1 |z0 |2 )
4
luego

|f (z0 )| 1 |z0 |2 4 d(z0 )

con z0 D arbitrario.

Teorema de Bloch

64

Nota 3.2.5. La univalencia global de f no es usada en la demostraci


on para la desigualdad izquierda
y por lo tanto d(z) |f (z)|(1 |z|2 ) es v
alida para cualquier funci
on analtica.
Un segundo resultado de interes es el siguiente pues es valido para todo tipo de funciones analticas
acotadas en F :
Teorema 3.2.6. Sea f una funci
on analtica acotada en D, tal que |f (z)| kf k = M , entonces
1/2

d(z) |f (z)|(1 |z|2 ) [6M d(z)]

(3.18)

Demostraci
on.
La desigualdad izquierda d(z) |f (z)|(1 |z|2 ) se sigue de la Nota 3.2.5. Se presenta ahora la
prueba de la desigualdad |f (z)|(1 |z|2 ) [6M d(z)]1/2 .
Si |f (z)| M , entonces la imagen tiene area acotada, luego
ZZ
|f (z)|2 dx dy M 2 .
zD

Si f (z)

n=0

an z n , la desigualdad anterior se convierte en (ver Teorema 2.1.1)

n=0

n|an |2 M 2 ,

de donde se tiene

M
.
(3.19)
n1/2
Sabemos quePf esta normalizada, es decir, f (0) = 0 y f (0) = 1, luego de la desigualdad (3.19) se sigue

que la serie n=0 an z n no es mas grande en modulo termino a termino que la serie
|an |

z + M z2 + M z3 + M z4 + ;

para |z| < 1, la suma de la u


ltima serie esta dada por
z+

M z2
,
1z

M 1.

(3.20)

De la desigualdad (3.20) se tiene


f (z)
|f (z) z|
max|f (z) z|

|z|=r

max|f (z) z|
|z|=r

pero como
1r
1

|1 z|

M z2
;
1z
M |z|2
,
|1 z|
M r2
,
|1 z|
M r2

,
|1 z|

z+

|1 z|
1

,
1r

(3.21)

3.2. Radio de univalencia d(z).

65

entonces de (3.21)
r max|f (z) z|

|z|=r

M r2
,
1r

(3.22)

ademas
1
4M

1r

1
4
3
4

1
1r

r=

as, de la desigualdad (3.22) y (3.23), tomando r =


r max|f (z) z| r
|z|=r

max|f (z) z| r

para |w| <

1
6M ,

(3.23)

se tiene que

4M r2
1
1
1
=

=
.
3
4M
12M
6M

De esta forma,
|z|=r

1
4M ,

4
;
3

1
1
=
< |z w|,
6M
12M

luego
|f (z) z| < |z w|.

Ahora, por el Teorema de Rouche A.0.7, G(z) = z w y [G + F ] (z) = (z w) + (f (z) z) = f (z) w


1
, donde Dr = {z D : |z| < r}, y dado que G(z)
tienen el mismo n
umero de ceros en Dr con r = 4M
solo tiene un cero en Dr , esto implica que f (z) wsolo tiene un cero, por lo tanto f (z) es univalente
1
en Dr y cubre de la misma forma el disco B 0, 6M
. Luego
df (0)

1
.
6M

(3.24)

Se observa que para z0 D arbitrario, el caso f (z0 ) = 0 implica de inmediato la desigualdad (3.18)
con cero en cada miembro; en el caso f (z0 ) 6= 0, consideremos la funcion (ver 2.3)
(z) :=
donde z0 (z) =

(f z0 ) (z) f (z0 )
f (z0 )(1 |z0 |2 )

z + z0
.
1 + z0 z

La funcion (z) es analtica en |z| < 1 y de (2.3), se tiene ademas que esta normalizada.
Es importante observar que la composicion f z0 para z D no altera el acotamiento de la
funcion f pues z0 : D D. De esta manera,
|(z)|

M
=: M
|f (z0 )|(1 |z0 |2 )

y de la desigualdad (3.24) se puede escribir


d (w0 )

1
|f (z0 )|(1 |z0 |2 )
=
,
6M
6M

(3.25)

donde d (w0 ) se refiere al disco de univalencia de la imagen de D bajo la transformaci


on
w = (z). Sabemos que el disco de univalencia df (z) = d(z) contenido en f (D), no se ve afectado si se

Teorema de Bloch

66

traslada tras aplicar la transformacion f1 (z) = z z0 . Mas a


un, si se aplica la transformaci
on
z
f2 (z) =
,
el
disco
de
univalencia
ya
est
a
en
la
imagen
de
la
funci
o
n
,
es
decir,
|f (z0 )|(1 |z0 |2 )
|f (z

d(z)
= d (w0 ).
2
0 )|(1 |z0 | )

Luego, sustituyendo en (3.25)


|f (z0 )|(1 |z0 |2 )
6M

d (w0 ) =

|f (z0 )|2 (1 |z0 |2 )2

6 M d(z) ,

|f (z

d(z)
,
2
0 )|(1 |z0 | )

lo que implica
1/2

|f (z)|(1 |z|2 ) [6M d(z)]

El teorema que sigue establece varias equivalencias, la equivalencia (1) y (2) se encuentra en [SeWa]
y dice que una funcion f D analtica cumple con la condicion de Bloch si y solo si f (D) no contiene discos de univalencia arbitrariamente grandes. Las condiciones (3) y (4) fueron dadas por Ch.
Pommerenke [Po1] y la u
ltima condici
on se debe a A. Zygmund [Zy]. El termino funci
on de Bloch
sera definido por cualquiera de estas condiciones equivalentes. Recordemos antes algunas definiciones.
Definici
on 3.2.7. Una familia {f }I de funciones analticas en D se dice normal si para todo
compacto K D existe un n
umero positivo M (K) tal que


|f (z)|
sup
M (K)
para toda I.
1 + |f (z)|2
zK
Definici
on 3.2.8. Una funci
on f (z) analtica en D se dice finitamente normal si la familia de funciones
f (z) := f ((z)) f ((0));
Aut(D)
es una familia normal, donde no est
a permitido como lmite.
Definici
on 3.2.9. Al conjunto de funciones f : D C continuas, tales que f |D se le llama algebra
del disco.
Definici
on 3.2.10. Se escribir
a f (x) = O (g(x)), cuando x c, si existe C > 0 tal que |f (x)|
C|g(x)| en una vecindad de c.
Definici
on 3.2.11. Se escribir
a f (x) = o (g(x)), cuando x c, si f (x) = h(x)g(x), en una vecindad
f (x)
de c, x 6= c, con lm h(x) = 0. Si g(x) 6= 0 para todo x en la vecindad de c implica lm
= 0.
xc
xc g(x)
Definici
on 3.2.12. Una funci
on g continua en |z| = 1 est
a en la clase si la condici
on
|g(ei(+h) ) 2g(ei ) + g(ei(h) )| = O(h)
se cumple uniformemente para toda [0, 2) y h > 0.

Lema 3.2.13. Sea f una funci
on analtica en D con f (z) = O (1 |z|)1 , entonces f es continua
en D.

3.2. Radio de univalencia d(z).

67

Demostraci
on.

La condicion de crecimiento sobre f implica que f (z) = O log(1 |z|)1 . Integrando f se
puede comprobar que f es una funcion holomorfa acotada y que tiene lmites radiales en cualquier
punto ei D:


Z
Z
dr
1

|f (z)|
= log
= log(1 r),
(3.26)
1r
1r

pues ( log(1 r)) =

1
1
(1) =
.
1r
1r

Para ei D, se tiene que


f ei = f (0) + lm

r0

Ahora,


f ei dr.

Z
Z
Z R
R
R


1

i
|f ei | dr
log
dr,
f( e
dr


0
1r
0
0

integrando por partes, sea u = 1 r y du = dr, luego


Z R
Z 1R
Z 1R
1
1
log
dr =
log (du) =
log u du = [u log v u]1R
1
1r
u
0
1
1
= (1 R) log(1 R) (1 R) + 1 1
k1

Por eso f admite lmites radiales.


Tomemos 0 1 < 2 < 2 y 0 < < 1 y sean como se muestra en la figura 3. 5:
1

2
3

=
=

{rei1 | r < 1};

{ei | 1 2 };
{rei2 | r < 1};
{ei | 1 2 }.

i
4

1
2

rei1

ei1
R

1
b

3
b

ei2

rei2

Figura 3. 5

Teorema de Bloch

68

El Teorema de la Integral de Cauchy implica que


Z
1
f ()d
f (ei2 ) f (ei1 ) =
2i 1 2 3
Z
Z
Z
1
1
1

=
f ()d +
f ()d +
f ()d
2i 1
2i 2
2i 3
Z
Z 2
Z 1



1
1
1
=
f rei1 dr +
f ei d +
f rei2 dr
2i 1
2i 1
2i

Cada una de las integrales se puede evaluar y existe una constante c > 0 (independiente de 1 y
2 ) tal que





f ei2 f ei1 c|2 1 | log |2 1 |

Esto completa la demostracion.

Teorema 3.2.14. Sea f analtica en D, entonces las siguientes condiciones son equivalentes:
(1) sup df (z) < ;
zD


(2) sup 1 |z|2 |f (z)| < ;
zD

(3) f es finitamente normal;

(4) existe una constante > 0 y una funci


on g analtica univalente en D tal que
f (z) = log g (z);
(5) la primitiva
g(z)
pertenece al a
lgebra del disco y g(ei ) .

f ()d
0

Demostraci
on.
(2)(1)
Del Teorema 3.2.4 se tiene que df (z) (1 |z|2 )|f (z)|, por lo tanto
sup df (z) sup (1 |z|2 )|f (z)| < .
zD

zD

(1)(2)
Sea M > 0 tal que df (z) M para toda z D. Definamos las funciones
(z) := f z0 (z) ;
g(z) :=

(z1 + (1 |z1 |)z)


;
(1 |z1 |) (z1 )

con z0 , z1 D y de manera que (z1 ) 6= 0. La funcion g es analtica en D pues es composici


on de
funciones analticas en D y ademas
g (z) =

(1 |z1 |) (z1 + (1 |z1 |)z)


(z1 + (1 |z1 |)z)
=
,
(1 |z1 |) (z1 )
(z1 )

3.2. Radio de univalencia d(z).

69
g (0) =

(z1 )
= 1;
(z1 )

es decir, g cumple las condiciones para aplicar el Teorema de Bloch, luego existe D tal que
1
dg () 72
. Entonces si w = z1 + (1 |z1 |),
g() =

(z1 + (1 |z1 |))


(w)
=
;
(1 |z1 |) (z1 )
(1 |z1 |) (z1 )
dg () =

d (w)
1

;
(1 |z1 |)| (z1 )|
72

1
(1 |z1 |)| (z1 )|.
72
Notemos que si (z1 ) = 0 la desigualdad (3.27) sigue siendo valida. Luego,
d (w)

(3.27)

1
(1 |z1 |)| (z1 )|,
72

|d (w)|
pero

M |d (w)| = |df z0 (z)| ,


entonces
72 M (1 |z|)| (z)|,

para z D.

Ahora, por el Teorema Fundamental del calculo integral en analisis complejo sea
Z z
(t) dt ,
(z) := (z) (0) =
0

tomando modulos:
|(z)| =

Z

|(z) (0)| =

72M

|z|

Z

(t) dt

|z|

| (t)| dt

dt
|z|
72M [log(1 t)]0 72M log(1 |z|)
1t

si t (0, 1) fijo y |z| < t. Aplicando el Teorema 3.2.6 a la funcion (tz) se tiene


2
t| (tz)|(1 |z|2 )

2 2

2 2

t | (tz)| (1 |z| )
t | (tz)| (1 |z| )

8 [72M log(1 t)] d (tz) ,

8(72) log(1 t) d (tz) ;

8(72)M log(1 t) d (tz) ,

(3.28)

por otro lado


| (tz)|2 = |f (z0 (tz)) ||z0 (tz)| ;
sustituyendo en (3.28)
t2 |f (z0 (tz)) |2 |z0 (tz)|2 (1 |z|2 )2

t2 |f (z0 (tz)) |2 (1 |z|2 )2

8(72) log(1 t) df (tz)

8(72)
log(1 t) df (tz)
|z0 (tz)|2

como t (0, 1) fijo, |z| < t, y c = |z0 (tz)|2 se tiene


t2 |f (z0 )|2 (1 |z0 |2 )2

8(72)
log(1 t) df (tz).
c

(3.29)

Teorema de Bloch

70
Consideremos ahora la funcion U(t) :=
U (t)

t2
cuyo maximo ocurre cuando
log(1 t)
2t log(1 t) t2 (1 t)1

(log(1 t))2

t2
;
1t
t
,
2(1 t)

2t log(1 t) =
log(1 t) =

= 0;

0 < t < 1,

es decir, ocurre para t0 (0, 1) donde t0 0. 7153, luego regresando a (3.29)


t2
|f (z0 )|2 (1 |z0 |2 )2
log(1 t)

U(t)|f (z0 )|2 (1 |z0 |2 )2

c U(t)
|f (z0 )|2 (1 |z0 |2 )2
8(72)

8(72)
df (z0 )
c
8(72)
df (z0 )
c
df (z0 ),

finalmente tomando supremos en la desigualdad se tiene el resultado.


(2)(3)
Por la formula del Jacobiano de
|f (z)| =
=
=
=

|[f ((z)) f ((0))] |


|f ((z)) (z)|

|f ((z))|| (z)|
1 |(z)|2
|f ((z))|
;
1 |z|2

entonces para Aut(D) y K D compacto se tiene






|f (z)|
1
(1 |(z)|2 )|f ((z))|
sup
=
sup
<
2
1 + |f (z)|2
1 + |f (z)|2
zK
zK 1 |z|
y por tanto f es finitamente normal.
(3)(2)
Como f es finitamente normal, existe una constante M (0) tal que
|f (0)|
M (0)
1 + |f (0)|2
es decir

para todo Aut(D) ,

|f (0)|
|f ((0))|| (0)|
=
= |f ((0))|| (0)| M (0).
2
1 + |f (0)|
1 + |f ((0) f ((0))|2

Sea w = (0), entonces

(1 |w|2 )|f (w)| = (1 |(0)|2 )|f ((0))|| (0)| (1 |(0)|2 )M (0)


luego
(1 |w|2 )|f (w)| < M (0) ,

y por lo tanto sup 1 |z|2 |f (z)| < .
zD

3.2. Radio de univalencia d(z).

71

(2)(4)
Si sup(1 |z|2 )|f (z)| < , entonces definimos
zD

= 3 sup(1 |z|2 )|f (z)|


zD

y
g(z) =

f ()

d.

Se tiene:
f (z)

g (z) = e
f (z) f (z)
e
g (z) =

g (z)
f (z)
=
.
g (z)

Calculamos ahora

g (z)

(1 |z| )
g (z)
2

=
=

1
(1 |z|2 ) |f (z)|

1 (1 |z|2 )|f (z)|


3 sup(1 |z|2 )|f (z)|
zD

1
.
3

Por lo que

1
g (z)
3


g (z) 1 |z|2

y g(z) es univalente por el Teorema 2.4.7. Entonces g(z) y cumplen las condiciones pedidas.
(4)(2)
Supongamos ahora que existe una funcion g(z) analtica y univalente en D y > 0 tales que
f (z) = log(g (z)). Entonces como g(z) es univalente se tiene por el Teorema 2.4.7 que

g (z)
6


g (z) 1 |z|2

y as


g (z)

(1 |z| )|f (z)| = (1 |z| )
g (z)


6
2
(1 |z| )
= 6 ,
1 |z|2
2

por lo tanto
sup(1 |z|2 )|f (z)| 6 < .
zD

Teorema de Bloch

72
(2)(5)


Supongamos que sup 1 |z|2 |f (z)| < , el Lema 3.2.13 implica que f es continua en D.
zD

Sea 0 < h < 1 dado y fijo. Utilizaremos los siguientes operadores lineales:
h G()

2h G()

G( + h) G() ;

G( + 2h) 2G( + h) + G().

y la notacion sugerida para ello. Claramente son lineales pues si


h (G + F ) ()

2h G()

=
=

(G + F ) ( + h) (G + F ) ()

h (g()) + h (f ()) .
h h (G) = h (g( + h) g())

G( + 2h) G( + h) G( + h) + G() = G( + 2h) 2G( + h) + G().

Debemos probar que 2h g() = O(h) uniformemente en cuando h 0. Entonces escribimos






2h g(ei ) = 2h g ei g ei + 2h g ei ,
con 0 < < 1
(3.30)

con = 1 h y basta probar que





2h g ei g ei = O(h)


y 2h g ei = O(h)

cuando h 0 uniformemente.




Estimemos primero 2h g ei g ei :


R1
consideremos la integral e2i (1 r)f rei dr, integrando por partes sea u = 1 r y dv = dr


luego du = f rei dr y v = ei f rei , as
Z 1
Z 1
h

 i1

2i

i
i
i
i
e
(1 r)f re dr = (1 r)e f re
+e
f rei dr

(1 r)ei f re

 i1
i


i

+ g re




i
i
i
= (1 )e f e + g e g ei ;

luego
g e
pero

g e

Ahora, por hipotesis

= (1 )e f e



g ei g ei =

+e

2i


(1 r)f rei dr,


f rei dr .


sup 1 |z|2 |f (z)| = C < ,
zD

y para cada z D se cumple


1 |z|2 |f (z)| C,
|f (z)|

|f (z)|

C
,
1 |z|2
C
,
1 |z|

(3.31)

(3.32)

3.2. Radio de univalencia d(z).

73

o sea:
f (z) = O
Por lo tanto si |z| = se tiene

f (z) = O

1
1 |z|

1
1

= O (h) .

(3.33)

luego el segundo sumando del lado derecho de (3.31) se puede expresar como
e2i


(1 r)f rei dr = (1 )C = O (h) .

(3.34)

entonces de (3.34) y (3.32) se tiene que (3.31) es de la forma





g ei g ei = (1 )ei f ei + O (h) ,
luego






2h g ei g ei = h2h ei f ei + O(h),

pero


 


= h ei f ei(+h) + ei h f ei




1
= O(h)O log
+ ei h f ei
h




1
= O h log
+ ei h f ei
h



h ei f ei

y como cuando h 0

entonces

por lo tanto



h f ei = i



ei(+s) f ei(+s) ds = O(1),



 i

1
i
h e f e
= O h log
+ O(1) = O(1),
h


h ei f ei = O(1)

y as






h2h ei f ei = hh h ei f ei
= O(h).



Por lo tanto 2h g ei g ei = O(h). Ahora solo resta probar que


2h g tei = O(h).

Se tiene que
Z
n 
o
2h g tei(h)
= it


 

ei(+s) ei f tei(+s) ds+

+ it

h 


i
ei f tei(+s) f tei(s) ds+
+ it

h

 

ei ei(t) f tei(s) ds ,

(3.35)

Teorema de Bloch

74

los integrandos en el primer y el tercer termino estan acotados por C1 s| log h|, donde C1 es independiente de mientras que el integrando en el segundo termino esta acotado por C1 s(h)1 , finalmente
se concluye que


2h g tei = O(h)

uniformemente en .
(5)(2)

Consideremos el Kernel de Poisson (ver Definicion A.0.13 ecuacion A.3),


P (r, ) =
con derivadas parciales respecto de :
P (r, )
P (r, )

1 r2

1 r2
,
1 2r cos + r2

1 2r cos + r2

= 2r(1 r2 )
= 2r(1 r2 )
= 2r(1 r2 )
= 2r(1 r2 )
= 2r(1 r2 )

2

z = rei ,

(2r sin ) = 2r(1 r2 )

sin
2

(1 2r cos + r2 )


2
cos 1 2r cos + r2 2 sin 1 2r cos + r2 (2r sin )
(1 2r cos + r2 )

cos 1 2r cos + r2 4r sin2

(1 2r cos + r2 )

cos (1 + r2 ) 2r cos2 2r sin2 2r sin2


(1 2r cos + r2 )3

cos (1 + r2 ) 2r 1 + sin2

(1 2r cos + r2 )3

2r 1 + sin2 cos (1 + r2 )
3

(1 2r cos + r2 )
R
notemos que P (r, ) = P (r, ) y ademas 0 P (r, t) dt = 0 pues
"
#
Z
sin

2
P (r, t) dt = [P (r, t)]0 = 2r(1 r )
= 0.
2
(1 2r cos + r2 ) 0
0
Para r (0, 1) fijo, P se anula en un punto s() = s = rei0 el cual satisface
P (r, 0 ) =

2
2
2r
1
+
sin

cos

0
0 (1 + r )
=
2r(1 r2 )
3
(1 2r cos 0 + r2 )

2r 1 + sin2 0 cos 0 (1 + r2 ) =

2r 1 + sin2 0
=
2r
=
1 + r2

0
0
0
cos 0 (1 + r2 )
cos 0
.
1 + sin2 0

Tal n
umero s() existe pues:
cos 0
1 + sin2 0
cos 0
2

=
=

cos 0 + cos 0 2 =

2r
1,
1 + r2

1 + 1 cos2 0 ,
=

0,

(3.36)

3.2. Radio de univalencia d(z).

75

luego
cos 0
0

1 + 82
;
=
2
!

1 + 1 + 82
.
= arc cos
2
1

Por otro lado



42

1 + 82
p
1 + 82

1 + 1 + 82
2

1
4
1 + 4 + 42

2 + 1

1.

Ahora, como g pertenece al algebra del disco, admite la siguiente representacion integral para z = rei :
Z
1
P (r, t) g(eit ) dt,
g(z) =
2
para 0 r < 1 y para todo . Tomando las derivadas parciales de g(z) respecto a
Z
1
g (z) =
P (r, t) g(eit ) dt ;
2
Z
1
g (z) =
P (r, t) g(eit ) dt ;
2
o bien
g (z) =

1
2

Z

P (r, t) g(eit ) dt +


P (r, t) g(eit ) dt ,

considerando el cambio de variable u = t en (3.37) se tiene por (3.36)


"Z
#
Z +

1
g (z) =
P (r, u) g(ei(+u ) du +
P (r, u) g(ei(u) ) du
2

Z
h
i
1
=
P (r, u) g(ei(+u ) + g(ei(u) ) du
2 0
Z
h
i
1
=
P (r, u) g(ei(+u ) 2g(ei ) + g(ei(u) ) du.
2 0

Por hipotesis g y luego

|g (z)| A

t |P (r, t)| dt ,

integrando por partes la integral de la derecha, sea u = t y dv = P (r, t) dt, entonces


Z
Z

P (r, t) dt
t |P (r, t)| dt = [t P (r, t)]0
0

= [t P (r, t) P (r, t)]0

= [t P (r, t) P (r, t)]00 + [t P (r, t) P (r, t)]0


= 0 P (r, 0 ) + P (r, 0 ) P (r, 0) + P (r, )

P (r, ) 0 P (r, 0 ) + P (r, 0 )


= 20 P (r, 0 ) + 2P (r, 0 ) + ( 1)P (r, ) P (r, 0) .

(3.37)

Teorema de Bloch

76
Observemos que cuando r 1,


kP (r, 0 )k = O (1 r)1 ,


kP (r, 0 )k = O (1 r)2 .

En efecto, considerando la expresion (A.1) para el Kernel de Poisson,


P (r, 0 )
1
1r

=
=

(1 r)P (r, 0 ) = (1 r) 1 + 2
(1 r) + 2 (1 r)

r cos n 0

n=1

rn cos n 0

n=1

el lmite del primer sumando es cero cuando r 1, tomando modulos del segundo sumando se tiene
que



X
X
X


rn cos n0 2 (1 r)
rn |cos n 0 | 2 (1 r)
rn
2 (1 r)


n=1
n=1
n=1


1
= 2 (1 r)
1 = 2 r;
(3.38)
1r

sea C = 2 en la Definicion 3.2.10 y de esta manera P (r, 0 ) = O (1 |z|)1 .
Ahora, para P (r, 0 )

P (r, 0 )
1
(1r)2

= (1 r) P (r, 0 ) = (1 r)

tomando modulos

nr sin n 0

n=1

como

n=1

X
X


(1 r)2 P (r, 0 ) 2 (1 r)2
nrn |sin n 0 | 2 (1 r)2
nrn ,
n=1

r =

r
1r ,

entonces

n=1

nr =

1
(1r)2 ,

n=1

luego

X


(1 r)2 P (r, 0 ) 2(1 r)2 r
nrn = 2 (1 r)2
n=1

r
= 2 r;
(1 r)2


Nuevamente sea C = 2 en la Definicion 3.2.10 y de esta manera P (r, 0 ) = O (1 |z|)2 , m
as a
un
P (r, 0 ) = O (1 |z|)1 .
Por lo tanto


g (z) = O (1 |z|)1 .

La representacion integral de Poisson de g implica que


Z
2r sin t dt
2 2
|g (z)| c(1 r ) M
,
2 2
0 (1 2r cos t + r )
de esta forma

g (z) = O (1 |z|)1 .

Finalmente como


g (z) = f (z) = r2 e2i (ig (z) g (z)) = O (1 r)1 ,

se completa la prueba.

Captulo 4

Funciones de Bloch
El concepto de funciones de Bloch en el disco unitario fue introducido por Ch. Pommerenke [Po1]
quien ha invertido muchos a
nos en su estudio. Como se vera a lo largo de este captulo, las funciones
de Bloch forman un Espacio de Banach, ademas de estar caracterizadas por su comportamiento geometrico, particularmente cuando se aproximan a la frontera del disco D.
El material de las secciones 4. 1 a la 4. 5 esta basado en [Da], la seccion 4. 6 esta basada en [AuReTo]
excepto los teoremas 4.6.1 y 4.6.2; dichos teoremas al igual que la seccion 4. 8 se basan en [St]. Finalmente los resultados de la seccion 4. 7 los podemos encontrar en [AuLa] y en [AuXiZh].

4.1.

El Espacio de Bloch B

Inicialmente se proporcionan los conceptos y propiedades basicas del Espacio de funciones de Bloch
y posteriormente se dan algunas caracterizaciones de las funciones pertenecientes al Espacio B.
Definici
on 4.1.1. Una funci
on f se llama funci
on de Bloch si es analtica en D y adem
as

sup 1 |z|2 |f (z)| < .

(4.1)

zD

Denotamos por B a la familia de todas las funciones de Bloch.

Proposici
on 4.1.2. Toda funci
on acotada f : D C es funci
on de Bloch.
Demostraci
on.
Se sigue del Teorema 3.2.6.
Los polinomios son un ejemplo de funciones acotadas que pertenecen a B. El ejemplo cl
asico de
una funcion de Bloch que no es acotada es la funcion logartmica (z) definida como
(z) = log(1 z),

para z D, pues (z) =

1
1
y | (z)| =
, as
1z
|1 z|

1 |z|2

sup 1 |z|2
zD

1
|1 z|

1
|1 z|


1
1
1 |z|2
|1 |z||
1 |z|
1
(1 + |z|)(1 |z|)
= 1 + |z|
1 |z|
1 |z|2

sup (1 + |z|) = 2.
zD

Funciones de Bloch

78

Esta funcion es extremal en el Espacio de Bloch respecto al crecimiento de las funciones en el


Espacio de Bloch, como lo muestra el siguiente resultado.
Lema 4.1.3. Sea f B, entonces para toda z D
|f (z)| |f (0)| + M | (|z|)|

donde (z) = log(1 z) y M = sup 1 |z|2 |f (z)|.
zD

Demostraci
on.

Como f B, f es analtica y para z = |z| ei D se tiene,


f (z) f (0) =

f ()d = e

|z|
0

y entonces
f (z) = f (0) +

f ()d = f (0) + e


f tei dt ,

|z|

f (tei )dt ;


pero de (4.1) existe M > 0 con M = sup 1 |z|2 |f (z)| < , entonces
zD

|f (tei )|

M
M
=
.
i
2
1 |te |
1 t2

As al tomar modulos y sustituir




Z |z|
Z |z|


i


i

i
i
f (te ) dt
|f (z)| = f (0) + e
f (te ) dt |f (0)| + |e |


0
0
Z |z|
1
|f (0)| + M
dt ;
1 t2
0
es decir,
|f (z)|

4.2.

Z |z|
1
1
|f (0)| + M
dt |f (0)| + M
dt
2
1

t
1

t
0
0
1
|f (0)| + M log
= |f (0)| + M | (|z|)| .
1 |z|
Z

|z|

El Espacio de Banach B.

Sabemos que una propiedad importante para cualquier espacio metrico o normado es la de ser completo,
como se vera a continuacion, B satisface las condiciones necesarias para serlo:
Proposici
on 4.2.1. El conjunto B, dotado con la norma

kf kB = |f (0)| + sup 1 |z|2 |f (z)|
zD

es un Espacio de Banach.

4.2. El Espacio de Banach B.

79

La adicion del termino |f (0)| es para distinguir a las funciones constantes.


Demostraci
on.
Debemos probar que B es un espacio lineal, normado y completo.
(B, k kB ) es lineal.
Sean f, g B y a C, entonces
sup(1 |z|2 )|(f + ag) (z)| =
zD

sup(1 |z|2 )|f (z) + ag (z)|


zD

sup(1 |z|2 ) (|f (z)| + |a||g (z)|)

sup(1 |z|2 )|f (z)| + |a|sup(1 |z|2 )|g (z)|

zD

zD

zD

pero
sup(1 |z|2 )|f (z)| < ,
zD

sup(1 |z|2 )|g (z)| <


zD

|a| <

entonces
kf + agkB sup(1 |z|2 )|f (z)| + |a|sup(1 |z|2 )|g (z)| = kf kB + |a|kgkB <
zD

(4.2)

zD

por lo tanto f + ag B.
kf kB es norma.
i) kf kB 0.
Es claro que kf kB 0.
ii) kf kB = 0 si y solo si f (z) 0.
Sea f = 0 B, claramente |f (0)| = 0 y |f (0)| = 0. Entonces kf kB = 0. Recprocamente,
sea

f B tal que kf kB = |f (0)|+sup 1 |z|2 |f (z)| = 0, entonces |f (0)| = 0 y sup 1 |z|2 |f (z)| =
zD
zD

0, luego 1 |z|2 |f (z)| = 0 para toda z D, por lo tanto f (z) = 0 para toda z D, luego f
es constante y como f (0) = 0, se tiene f 0.
iii) para todo f , g B, kf + gkB kf kB + kgkB .
Sea |a| = 1 en (4.2).
(B, k kB ) es completo.
Sea {fn } una sucesion de Cauchy en el Espacio de Bloch, debemos probar que existe f B tal que,
dado > 0 existe N N de manera que si n > N , kfn f kB < .
Sean > 0 y r (0, 1). Como {fn } es una sucesion de Cauchy, entonces para todo n, m > N () se
tiene kfn fm kB < 2 .
Si |z| r < 1 se tiene
1r
1

1 |z|


1
log

1 |z|

1 |z|
1
1r


1
log
.
1r

Funciones de Bloch

80

Sea M (m, n) = sup(1 |z|2 )|fn (z) fm


(z)|, as
zD

1
1r
1
1
|fn (0) fm (0)| + M (m, n) log
+ |fn (0) fm (0)| log
+ M (m, n)
1r
1r


1
(|fn (0) fm (0)| + M (m, n)) 1 + log
1r


1
kfn fm kB 1 + log
1r


1
.
(4.3)
1 + log
1r

|fn (z) fm (z)| |fn (0) fm (0)| + M (m, n) log

<

Por lo tanto, {fn } converge uniformemente en el compacto B(0, r) D para todo r (0, 1). Por la
prueba M -de Weierstrass (ver A.0.4) f es continua y la sucesion de funciones converge uniformemente,
luego por la convergencia uniforme por compactos (ver Teorema A.0.19) f es analtica en D y fn (z)
f (z) cuando n . Ahora para todo n, m > N y z D tenemos por hipotesis:

(1 |z|2 )|fn (z) fm


(z)| + |fn (0) fm (0)| <

.
2

Haciendo m , se tiene para n > N ,


kfn f kB <

(4.4)

por tanto fn f B y como B es lineal, f B. Finalmente (4.4) muestra que fn f en B.


B es grande en el sentido de separabilidad.
Definici
on 4.2.2. Sea E C, E se dice separable si existe un conjunto A E numerable tal que
A = E.
Proposici
on 4.2.3. El Espacio de Bloch B no es separable.
Demostraci
on.
Sea E = {ft : 0 t

2}

ft (z) =

donde
eit
log
2

1 + eit z
1 eit z

eit
log
2

eit + z
eit z

z D.

Veamos que ft (z) es analtica:


sea gt (z) =

eit + z
, como |z| < 1, entonces
eit z
eit + z 6= 0
eit z 6= 0

(4.5)

para todo z D. La funcion gt (z) es una transformacion de Mobius entonces g(D) es un crculo, un
semiplano o el exterior de un crculo, pero de 4.5 se tiene que g(z) 6= 0 para todo z D, por lo tanto
0 6 g(D).
Ahora, notemos que los puntos eit + z, eit y eit z son colineales. Tambien notemos que g(D) no conit
+z
tiene puntos que pertenezcan al eje real negativo pues si para alg
un > 0 se cumple que eeit z
= ,

4.2. El Espacio de Banach B.

81


entonces eit + z = eit z y por tanto los puntos eit + z, 0 y eit z seran colineales. Luego eit + z,
eit , eit z y 0 seran tambien colineales, pero esto no puede ser ya que |eit | = 1 y |z| < 1 implica que
los puntos eit + z y eit z no pueden estar en lados opuestos del origen sobre el segmento que los une.

Finalmente
on
 it  ya que g(D) (R {0}) = se puede definir una rama de analiticidad de la funci
e +z
log eit z con arg (g(z)) ( 2 , 2 ). Luego ft (z) es analtica en D.
Para cada t, la funcion es analtica en D y ademas para toda z D




eit
1
1
eit eit z + eit + z
ft (z) =

=
2
eit + z
eit z
2
e2it z 2


eit
2eit
1
= 2it
=
2it
2
e z2
e z2
e2it
.
=
1 e2it z 2

Tomando modulo:
|ft (z)| =
y por tanto:

|e2it |
1
=
|1 e2it z 2 |
|1 e2it z 2 |

(1 |z|2 )|ft (z)|

1 |z|2
1,
|1 e2it z 2 |

entonces ft B para toda t.


Sean t, (0, 2 ), con 6= t, entonces si z = reit





e2it
e2i
e2it
e2i

|ft (z) f (z)| =



2it
2
2i
2
2it
it
2
2i
it
2
1e
z
1e
z
1e
(re )
1e
(re )

2it


e

e2it
e2i
e2i




=



2
2it+2it
2
2i
+2it
2
2
2i(t
)
1r e
1r e
1r
1r e

2it
2i

e
e

(1 |z|2 )|ft (z) f (z)| = (1 r2 )


2
2
2i(t
)
1r
1r e
|e2i |
|e2it | (1 r2 )
|1 r2 e2i(t ) |
1 r2
1
.
|1 r2 e2i(t ) |
Haciendo r 1

entonces

1 r2
1,
|1 r2 e2i(t ) |

kft f kB = |ft (0) f (0)| + sup(1 |z|2 )|ft (z) f (z)| 1 ,


zD

es decir kft f kB 1, para t 6= .


Supongamos ahora que B es separable, entonces existe un conjunto numerable P = {n }nN , n B
tal que P = B. Entonces para toda f , ft E con t 6= existen n, m N tal que kn ft kB < 21 y
km f kB < 21 , pero n 6= m, pues si n = m entonces kft f kB kft n kB + kn f kB < 1.
Entonces la correspondencia t n es uno a uno, pero esto es una contradiccion pues (0, 2 ) no es
numerable.

Funciones de Bloch

82

4.3.

Invarianza conforme del Espacio de Bloch

Las funciones de Bloch no forman un algebra respecto a la multiplicacion. Por ejemplo


g(z) = log2 (1 z) 6 B, sin embargo f (z) = log(1 z) B.
Una propiedad importante de la condicion (4.1) es su invarianza respecto a los mapeos conformes.
Proposici
on 4.3.1. Sean f B, y : D D una transformaci
on conforme del disco unitario sobre
si mismo, entonces h(z) = f ((z)) B.
Demostraci
on.
Por hipotesis, (z) es una transformacion conforme de D sobre D; por la Proposicion 1.2.10, (z)
es de la forma
az
(z) = c
1 az

con |c| = 1, y a D. Ademas si f B, entonces f es analtica en D y sup(1 |z|2 )|f (z)| < . Luego,
zD

sea w = (z) y sea h(z) = f (w) = f ((z)), as


|h (z)| = |f (w)| = |f ((z)) (z)| = |f ((z)) || (z)| ,
donde, por la Proposicion 1.2.6 se tiene


2
|a|2 1

= 1 |a| .
| (z)| = |c|
(1 az)2 |1 az|2

Se calcula (1 |z|2 )|h (z)|, as:

(1 |z|2 )|h (z)| = (1 |z|2 )|f ((z)) || (z)|




1 |a|2
= (1 |z|2 )|f (w)|
,
|1 az|2
y por la Proposicion 1.2.6 se tiene:
2

(1 |z| )|h (z)| = (1 |z| )|f (w)|

1 |(z)|2
1 |z|2

= (1 |(z)|2 )|f (w)|.

Por lo tanto
(1 |z|2 )|h (z)| = (1 |w|2 )|f (w)|
y de aqu se concluye la prueba.

4.4.

Caracterizaci
on de funciones en el Espacio de Bloch B.

A traves de esta seccion de analizaran diferentes caracterizaciones y propiedades de las funciones que
pertenecen al Espacio de Bloch B. Recordemos que los Teoremas 3.2.4, 3.2.6 y 3.2.14 son caracterizaciones del Espacio de Bloch.
Vemos que al trabajar con funciones analticas, resulta natural expresarlas en su serie de potencias,
y esto a su vez nos hace preguntarnos sobre las ventajas de mirarlas de esa forma. Una caracterstica
de los coeficientes de Taylor an de la serie de f B es la de estar acotados para toda n, por la norma
de la propia funcion.

4.4. Caracterizacion de funciones en el Espacio de Bloch B.

83

Teorema 4.4.1. Sup


ongase que f B tiene el desarrollo de Taylor

f (z) =

an z n ,

n=0

entonces |an | 2e kf kB , n = 0, 1, 2, ... .


Demostraci
on.
La estimacion es consecuencia de la definicion de la norma de Bloch. Recordemos que kf kB =
|f (0)| + sup(1 |z|2 )|f (z)|.
zD

Para n = 0,
|a0 | = |f (0)| |f (0)| + sup(1 |z|2 )|f (z)| = kf kB .
zD

Para n = 1,
|a1 | = |f (0)| sup(1 |z|2 )|f (z)| |f (0)| + sup(1 |z|2 )|f (z)| = kf kB .
zD

zD

Para n 2 usando la formula de Cauchy para la derivada f (z), se obtiene




Z
Z
|f (n) (0)| 1 1
f ()
1
kf kB
|an | =
=
d

d

n 2i ||=r n
2n ||=r | n |(1 r2 )
n!

kf kB
para || = r. Luego
1 r2
Z
Z
1 kf kB
d
1 kf kB 1
1 kf kB 1
|an |
=
d =
(2r)
2
n
2
n
2n 1 r ||=r ||
2n 1 r r ||=r
2n 1 r2 rn

pues |f ()|

as
|an |
para cada r (0, 1). En particular
|an |

1
kf kB
n rn1 (1 r2 )

kf kB
1
mn
.
n r(0,1) rn1 (1 r2 )

Sea g(r) = rn1 (1 r2 ), calculemos max g(r) para 0 r 1. Como



g (r) = rn2 (n 1) (n + 1)r2 = 0

implica que (n 1) (n + 1)r2 = 0, es decir r =


max r

n1

r(0,1)

(1 r ) =

n1
n+1

 n1

2

n1
n+1

1/2

. Sustituyendo

n1
1
n+1

n1
n+1

 n1

2

2
n+1

de donde se sigue que


|an |

n+1
n1

 n1

2

n+1
2

kf kB
1
=
n
2



 n1
1
n+1 2
1+
kf kB ,
n
n1

n 2.

Ahora sea
1
(x) =
2



 x1


 x1
2
1
x+1 2
1
1
2
1+
=
1+
1+
,
x
x1
2
x
x1

x 2.

Funciones de Bloch

84
Se observa que
lm (x) =

e
2

pues,
1
x 2
lm

1+

1
x


1+

2
x1

 x1
2

1
x 2

= lm

1+

1
x

 x1

2
1
1
e
1 + x1
= (1)(e) = .
2
2
2

Y ademas

(x)

1
2

1
1+
x

"

x1
2

x+1
x1

 x3

2

2
(x 1)2

x+1
x1

 x1
2


#
1
x+1
log
2
x1


1
2
x



 x1
1 x+1 2
+
2 x1


 x1





1
1 x+1 2
1
1
x+1
1
1+
=

+ log
2
2 x1
x
x+1
2
x1
x

 x1






x+1 2 1
1
2
1
1
=
(x + 1)
log 1 +

> 0,
x1
2x
2
x1
x+1
x
debido a que


2
log 1 +
x1

>

2 x1
2

+1

2
,
x

x e
2,

As, ya que (x) > 0, la funcion es creciente y (x)


1
sup
n2 2

1
1+
n



n+1
n1

x 2.

se sigue entonces que

 n1
2

e
,
2

y por lo tanto |an | 2e kf kB , n = 0, 1, 2, ....


Teorema 4.4.2. Si f B, entonces para z, w D se cumple
|f (z) f (w)| kf kB d(z, w)
donde d(z, w) denota la distancia no euclidiana


zw
1
+

1zw
1
1 + |z (w)|
1


d(z, w) = log
= log
zw .
2
1 |z (w)|
2
1 1zw

Recprocamente, si para todo z, w D y para una constante M > 0,


|f (z) f (w)| M d(z, w)
entonces f B con kf kB M .
Demostraci
on.
Sean z, w D y la transformaci
on de Mobius z () =

z () := w D.

z
. Se tiene que z (0) = z y
1 z

4.4. Caracterizacion de funciones en el Espacio de Bloch B.

85

Sea f = g, entonces kf kB = kgkB pues B es conformemente invariante. Luego por el Teorema


Fundamental del Calculo
Z




|f (z) f (w)| = |g(0) g()| =


g (s)ds ,
0

si s = t, ds = dt, entonces

Z
Z
Z 1

|f (z) f (w)| =
g (t)dt
|g (t)|||dt = ||
|g (t)|dt.
0

0
0

Como

para todo z D, si z = t

(4.6)


kgkB |g(0)| + 1 |z|2 |g (z)| = |g(0)|
kgkB |g(0)|
kgkB

.
2
2
1 || t
1 ||2 t2

|g (t)|

Sustituyendo en (4.6) se tiene que


|f (z) f (w)|

Z 1
kgkB
||
dt

kgk
dt
B
2
2
2 2
0 1 || t
0 1 || t

1

1 ||t + 1
1
1 + ||
kgkB
ln
= kgkB ln
.
2 ||t 1
2
1 ||
||

Ademas por la Proposicion 1.2.1 sabemos que 1


= (w) =
z = z , as

zw
, y entonces
1 zw



zw
1
+

1zw
1
1 + ||
1
1


|f (z) f (w)| kgkB ln
= kgkB ln
zw = 2 kgkB d(z, w).
2
1 ||
2
1 1zw

Recprocamente, para z 6= w D, por hipotesis |f (z) f (w)| M d(z, w), o bien


De esta forma
lm

wz

|f (z)f (w)|
d(z,w)

|f (z) f (w)|
|f (z) f (w)| |z w|
|z w|
= lm

= |f (z)| lm
.
wz
wz d(z, w)
d(z, w)
|z w|
d(z, w)

M.
(4.7)

Notemos que de la expresion de la distancia hiperbolica d(z, w) en el disco:




zw
1 + 1zw

|1 zw| + |z w|
2|z w|


zw = |1 zw| |z w| = 1 + |1 zw| + |z w|
1 1zw
P
n1 z n
y de ln(1 + z) = n=1 (1)
n , sustituyendo en (4.7) se tiene
|f (z)| lm

|z w|

wz d(z, w)

= |f (z)| lm

wz 1
2

= |f (z)| lm

wz

= |f (z)| lm

wz

= |f (z)|

|z w|


2|zw|
ln 1 + |1zw|+|zw|
2|z w|


(1)k1
k=1
n

2|zw|
|1zw|+|zw|

1
|1zz|

2|zw|
|1zw|+|zw|

1
2

k

2|z w|
2
2|zw|
+
|1zw|+|zw|

1
3

2|zw|
|1zw|+|zw|

= |f (z)|(1 |z|2 ) = |f (z)|(1 |z|2 ) M,

3

Funciones de Bloch

86
para todo z D, por lo tanto f B.

Sabemos que en el espacio B existen funciones tanto acotadas como no acotadas. El siguiente resultado proporciona un criterio para saber si una funcion que se puede representar como cierta serie
de potencias, pertenece o no al Espacio de Bloch.
P
nk
Las series de potencias de la forma
con nnk+1
> 1 son llamadas series lacunarias;
k=1 bk z
k
ellas juegan un papel importante un muchas areas de la Teora de Funciones Complejas.
Teorema 4.4.3. Sea f (z) =
k, entonces f B.

k=1 bk z

nk

, z D, donde nk N,

nk+1
nk

> 1 y |bk | M para todo

Demostraci
on.
Sin perdida de generalidad, dado que es un espacio lineal, podemos considerar M = 1, luego
|f (z)|

|z| + |z|2 + . . . + |z|n + . . .



|z| 1 + |z| + |z|2 + . . . + |z|n + . . . =

|z|
,
1 |z|

z D,

por tanto la funcion f es analtica en D.

Se probara ahora que f satisface la condicion de Bloch escrita en la forma


|z|
|zf (z)|
C
,
1 |z|
(1 |z|)2

(4.8)

para toda z D y cierta constante C > 0. En esta desigualdad, se puede usar de forma mas eficiente
la condici
on lacunaria.
Primero notemos que para ns n < ns+1 se tiene
X nk
n

|z f (z)|
1 |z|

s
X
nk

n1
n2
ns2
ns1
ns
+
+ +
+
+
ns
ns
ns
ns
ns
nk n
k=1




n1 n2 n3
ns2 ns1
ns2 ns1
ns1
=

+ +

+
+1
n2 n3 n4
ns1
ns
ns1
ns
ns
1
(1 )s1 + . . . + 2 + 1 + 1
.
1 1
P
Para z D se tiene que |z f (z)| k=1 nk |z|nk , luego

ns

(n1 |z|n1 + + nk |z|nk + ) (1 + |z| + + |z|m + )

X
X
X
1
1
|z|

nk |z|ni
ni |z|ni

.
1
1
1 i=1
1
(1 |z|)2
i=1
nk ni

1
Sea 1
1 = C. Luego f cumple la desigualdad (4.8) y por lo tanto f B ya que, nuevamente por la
desigualdad mencionada,
(1 |z|)|f (z)| C

y multiplicando ambos lados por (1 + |z|), se obtiene

(1 |z|2 )|f (z)| C(1 + |z|) 2C

4.5. El Espacio peque


no de Bloch, B0

87

y as
sup(1 |z|2 )|f (z)| 2C.
zD

Como ya se vio, existen diferentes caracterizaciones de B, unas son analticas y otras de tipo
geometrico. La clasica caracterizacion geometrica de las funciones de Bloch involucra el radio df (z)
del disco mas grande de univalencia alrededor del punto f (z) en f (D), (ver Teorema 3.2.14).

4.5.

El Espacio peque
no de Bloch, B0

Definici
on 4.5.1. El Espacio peque
no de Bloch, denotado por B0 , consiste de todas las funciones f
analticas en D con

lm 1 |z|2 |f (z)| = 0.

|z|1

Proposici
on 4.5.2. B0 B.

(4.9)

Demostraci
on.
Supongamos que existe f B0 tal que f 6 B, es decir que f satisface que


lm 1 |z|2 |f (z)| = 0
y
sup 1 |z|2 |f (z)| = .
|z|1

(4.10)

zD


Luego existe una sucesion {zj }jN en D tal que 1 |zj |2 |f (zj )| no esta acotada. Como la sucesi
on
{zj }jN es acotada, entonces tiene una subsucesion {zk }kN convergente.
Ahora, sea lm {zk }kN = z0 , entonces z0 D o z0 D:
k

si z0 D, se tiene que
la condicion (4.10).

lm

|zk |1


1 |zk |2 |f (zk )| = , lo cual no puede ser ya que f satisface


si z0 D, se sumple 1 |z0 |2 |f (z0 )| < , lo cual no puede ser pues f satisface nuevamente
la condicion (4.10).
Por lo tanto no existe f B0 tal que f 6 B. As B0 B.
Claramente B0 es espacio lineal normado con la norma k kB . Mas a
un, B0 es de Banach. Para
probar esto, consideremos una sucesion de Cauchy de funciones fn B0 . Notemos primero que debido
a que B es de Banach, es completo, entonces existe f B tal que fn f . Entonces solo debemos
verificar que f B0 .
Proposici
on 4.5.3. Sea {fn } una sucesi
on de funciones fn B0 , y sea f B tal que kfn f kB 0,
entonces
i) lm fn (z) = f (z) local y uniformemente en D.
n

ii) lm (1 |z|2 )|fn (z)| = 0 uniformemente en D para cada n.


|z|1

Demostraci
on.
La prueba de (i) se encuentra en la u
ltima parte de la demostracion del Teorema 4.2.1, pues para
toda n, fn B.

Funciones de Bloch

88
De la definicion de la norma de Bloch

kfn fm kB = |fn (0) fm (0)| + sup(1 |z|2 )|fn (z) fm


(x)|
zD

tenemos

(1 |z|2 ) (|fn (z)| |fm


(z)|) (1 |z|2 ) (|fn (z) fm
(z)|) ,

kfn fm kB .

Luego dado

> 0, existe N () N tal que

(1 |z|2 )|fn (z)| (1 |z|2 )|fm


(z)| + kfn fm kB

< (1 |z|2 )|fm


(z)| +
3

para m, n > N () y |z| < 1 pero usando (4.9) en fm se tiene


(1 |z|2 )|fn (z)| <

2
3

y con esto se prueba (ii).


Proposici
on 4.5.4. B0 es un Espacio de Banach.
Demostraci
on.
Consideremos una sucesion de Cauchy de funciones fn B0 , y sea f B tal que fn f . De la
proposicion anterior la convergencia es uniforme, por lo tanto se tiene que fn (z) f (z), esto junto con (4.9) implica que (1|z|2 )|f (z)| 0 cuando |z| 1 y por lo tanto f B0 y B0 es completo.
B0 contiene funciones analticas tanto acotadas como no acotadas en D.
Todas las funciones analticas en D y continuas en D pertenecen a B0 : es sabido que una funci
on f
de esta forma, es el lmite uniforme en D de algunos polinomios pn . Escribimos
f (z) = pn (z) + n (z).
Dado que n 0 uniformemente en D cuando n , existe un > 0 y N = N () tal que
sup|N (z)| < 2 . Ademas, existe R = R(N ) = R() con 1 |z|2 |pN (z)| < 2 para R < |z| < 1.
zD

Se sigue que

1 |z|2 |f (z)| + sup|N (z)| < ,


2 zD

para R < |z| < 1.

Sin embargo, existen funciones analticas en D, las cuales no pertenecen a B0 .


Ejemplo 4.

1+z

Sea f (z) = e 1z , z D. Luego f (z) =



1 |z|2 |f (z)| =

1+z
2
e 1z , as
2
(1 z)

1 |z|2


lm 1 |z|2 |f (z)| = 2 lm

|z|1

|z|1

1+z
2
eRe( 1z )
2
|1 z|

1 |z|2 Re( 1+z )
1z
e
,
|1 z|2

el cual no es finito, por lo tanto f 6 B0 .

P
nk +1
nk
Series lacunarias de la forma f (z) =
k=1 bk z , z D, donde nk N, nk > 1 y bk 0
cuando k , son ejemplos tpicos de funciones analticas no acotadas que pertenecen a B0 .

4.6. Primitivas y Derivadas

4.6.

89

Primitivas y Derivadas

Por ejemplo la condicion de Bloch (4.1) describe una restriccion para el crecimiento de la derivada de
una funcion analtica en D. Es interesante que esta condicion es equivalente a una condici
on an
aloga
para la n-esima derivada.
Teorema 4.6.1. Para toda f B y para toda n N, n 2, se cumple

n

sup 1 |z|2 f (n) (z) 22n (n 1)!kf kB .
zD

Recprocamente, si para una funci


on f analtica en D y para n N, n 2, se cumple

n

sup 1 |z|2 f (n) (z) < +
zD

entonces f B.

Demostraci
on.
Para un z D considere el crculo C = { : |z | = 1|z|
ormula de Cauchy para la
2 }. De la f
derivada f (z) se sigue para n 1:
Z
f ()
(n 1)!
(n)
f (z) =
d
2i
( z)n
C




Z





(n

1)!
f
()
n
n


2
(n)
2


1 |z|
d
f (z) = 1 |z|
2i
( z)n

C

Z
f ()

n (n 1)!


1 |z|2
(4.11)
( z)n d .
2
C

Como C, entonces | z|n =


1 |z|2

(1|z|)n
,
2n

n (n)
f (z)

sustituyendo en la ecuacion (4.11)


1 |z|2

n (n 1)!
2n
2 (1 |z|)n

n (n 1)! 2n1
1 |z|2
n

(1 |z|)

|f ()| d

|f ()| d ;

por otro lado


Z

|f ()|d

Z
sup |f ()|d = sup |f ()| d

1 |z|
2

sup |f ()| (1 |z|) sup |f ()| .

Sustituyendo en la ecuacion (4.12) se tiene que


1 |z|2

n (n)
f (z)

n (n 1)! 2n1

n (1 |z|) sup |f ()|

(1 |z|)
C
1
(1 |z|2 )n (n 1)! 2n1 sup |f ()|
,
(1 |z|)n1
C
1 |z|2

(4.12)

Funciones de Bloch

90
y por la estimacion
n1

1
n1

(1 |z|)
entonces
1 |z|2

(1 + |z|)

n1

(1 + |z|)

n1

(1 + |z|)

(1

n1
|z|2 )

n (n)
f (z) 22n2 (1 |z|2 )(n 1)!

2n1
(1 |z|2 )

n1

sup |f ()| .

(4.13)

||= 1+|z|
2

Como z esta dentro de la circunferencia || = 1+|z|


entonces 1 |z| 2(1 ||2 ) y factorizando
2
2
1 |z| = (1 |z|)(1 + |z|) se obtiene

n

1 |z|2 f (n) (z) 22n2 (n 1)! (1 + |z|)(1 |z|) sup |f ()|
||=

1+|z|
2

22n (n 1)! {(1 ||2 ) sup |f ()|}

22n (n 1)! kf kB .

||= 1+|z|
2

Recprocamente, supongase que f es analtica en D y para alg


un n N, n 2, se tiene
sup(1 |z|2 )n |f (n) (z)| = K < +.
zD

Para z D, por el Teorema Fundamental del Calculo se tiene


Z 1
Z
|f (n1) (z) f (n1) (0)|
|f (n) (tz)||zdt| = |z|
0

|f (n) (tz)|dt .

(4.14)

Como
n (n)
f (z) =

n

1 |z|2 f (n) (z)


(n)

f (tz)

sup 1 |z|2
zD

por tanto, en la ecuacion (4.14)


|f

(n1)

(z) f

(n1)

(0)|

K
K
K
n ;
(1 |tz|2 )

Z 1
|z|
K|z|
dt K
n dt
2 )n
(1

|tz|
(1

t|z|)
0
0
i1
K h
K
n+1
(1 t|z|)

n1 .
n + 1
0
(n 1) (1 |z|)

Luego
|f (n1) (z)| |f (n1) (0)|

K
(n 1) (1 |z|)n1

n1

K (1 + |z|)

(n 1) (1

n1
|z|2 )

(1 + |z|)n1

(1 + |z|)n1

2n1 K

y de aqu
(1 |z|2 )n1 |f (n1) (z)|

n1

(n 1) (1 |z|2 )

K n1
2
+ (1 |z|2 )n1 |f (n1) (0)|
n1
K n1
2
+ |f (n1) (0)| .
n1

4.6. Primitivas y Derivadas

91

Aplicando este procedimiento n veces obtenemos finalmente


sup(1 |z|2 )|f (z)| < C(f, k, n) < +.
zD

Teorema 4.6.2. Para toda f B0 y para toda n N, se cumple



n

lm 1 |z|2 f (n) (z) = 0.
|z|1

Recprocamente, si para una funci


on f analtica en D y para alg
un n N, se cumple


n

lm 1 |z|2 f (n) (z) = 0,
|z|1

entonces f B0 .

Demostraci
on.
Sea f B0 B, luego se puede proceder como en la demostracion anterior para f B:
para un z D consideramos el crculo C = { : |z | = 1|z|
2 }, entonces para toda n N se tiene
la desigualdad (4.13)

n

1 |z|2 f (n) (z) 22n2 (1 |z|2 )(n 1)! sup |f ()| .
||= 1+|z|
2

tomando lmites
lm

|z|1


n

1 |z|2 f (n) (z)

22n2 (n 1)! lm (1 |z|2 )


|z|1

sup |f ()| ;

||= 1+|z|
2



22n2 (n 1)! lm (1 |z|2 ) |f (z)|
|z|1

pues si |z| 1 , se tiene que lm sup |f ()| = lm |f (z)|. Finalmente, como f B0


|z|1

||= 1+|z|
2

lm

|z|1

1 |z|2

|z|1

n (n)
f (z) = 0.

Recprocamente, supongase que f es analtica en D y para alg


un n N,



n


lm 1 |z|2 f (n) (z) = 0.
|z|1

Procediendo como en la demostracion del teorema anterior, sea 0 < r < 1 y para w D, por el
Teorema Fundamental del Calculo se tiene
Z 1
|f (n1) (w) f (n1) (rw)|
|f (n) (tw)||wdt|.
(4.15)
r

Como

sup
r|w||z|<1

1 |z|2
1 |z|2

n (n)
f (z)
n (n)
f (z)


(n)

f (tz)

= K
K

K
n ;
(1 |tz|2 )

Funciones de Bloch

92
por tanto, en la ecuacion (4.15)
|f (n1) (w) f (n1) (rw)|

Z 1
K|w|
|w|
dt

K
n
n dt
2
r (1 |tw| )
r (1 t|w|)
i1
K h
K
n+1
(1 t|w|)

n1 .
n + 1
0
(n 1) (1 |w|)

(4.16)

n
Sea > 0 y 0 < r < 1 tal que 1 |z|2 |f (n) (z)| < . De la desigualdad (4.16) se tiene que cuando
r2 < |w| < 1,





n1 (n1)
n1 (n1)
+ (1 |w|)
(rw) ,
(1 |w|)
(w)
f
f
n1




n1 (n1)
2n1


2 n1 (n1)
1 |w|
(w)
+ 1 |w|2
(rw)
f
f
n1

tomando lmites
lm

|w|1

1 |w|2

para todo > 0, luego

2n1

n1 (n1)
n1 (n1)


(w)
+ lm 1 |w|2
(rw) ,
f
f
n 1 |w|1

lm

|w|1

veces obtenemos finalmente

1 |w|2


n1 (n1)
f
(w) = 0. Aplicando este procedimiento n veces


lm 1 |w|2 |f (w)| = 0,

|w|1

por tanto f B0 .

Definici
on 4.6.3. Sea A el conjunto de funciones analticas f : D C y sea H A. Definimos al
espacio de primitivas de H como
P (H) = {F A : F H}.

(4.17)

Proposici
on 4.6.4. P (B) B (respectivamente P (B0 ) B0 ), es decir, si f B, entonces F B
(respectivamente si f B0 , entonces F B0 ).
Demostraci
on.
Probemos primero para f B. Sea F : D C una funcion analtica tal que F (z) = f (z). Dado
que f B, se tiene que
sup(1 |z|2 )|f (z)| < .
zD

Como F (z) = f (z) luego


sup(1 |z|2 )|F (z)| = sup(1 |z|2 )|f (z)| < ,
zD

y dado que |z| < 1,

zD

(1 |z|2 )2 |F (z)| (1 |z|2 )|F (z)|.

Se tiene entonces que


sup(1 |z|2 )2 |F (z)| < ,
zD

y por el Teorema 4.6.1 para n = 2, F B.

4.6. Primitivas y Derivadas

93

De manera analoga si f B0 . Sea F : D C una funcion analtica tal que F (z) = f (z). Dado que
f B0 , se tiene que

lm 1 |z|2 |f (z)| = 0.
|z|1

Como F (z) = f (z) luego

lm

|z|1

y dado que |z| < 1,


1 |z|2 |F (z)| = lm

|z|1


1 |z|2 |f (z)|

(1 |z|2 )2 |F (z)| (1 |z|2 )|F (z)|.

Se tiene entonces que


lm

|z|1

1 |z|2

2

|F (z)| = 0,

finalmente por el Teorema 4.6.2 para n = 2, F B0 .

Proposici
on 4.6.5. Sea g : [0, 1] R dada por:

(1 t) log
g(t) =

1
1t

donde , > 0, entonces

|g(t)|

t [0, 1),
t = 1.

Demostraci
on.
Como g(t) 0 cuando t 1, la funcion g es continua en [0, 1]. Ademas
"
1
1

1
+ (1 t) log1
g (t) = (1 t)
log
1t
1t


1
1
1
1
= (1 t)
log
log
.
1t
1t

1
(1t)2
1
1t

Sea t0 = 1 e , entonces
g (t0 ) =
=

[1 (1 e )]1 log1
e

(1)

1 (1 e )


log

log1 e ( log e ) = 0

1 (1 e )

y
g(t0 ) =
=

[1 (1 e )] log
 

e
log e

1 (1 e )
   

=e
=
> 0.

Por lo tanto t0 = 1 e es un maximo de g. Mas a


un, es un maximo absoluto de g. As
g(t) g(t0 ),

t [0, 1].

Funciones de Bloch

94
Como 0 < t < 1, entonces
por lo tanto

1
1t

1
> 1 y log 1t
> 0, ademas (1 t) > 0, teniendo as que g(t) 0,

|g(t)| = g(t),

t [0, 1] ;

esto implica que |g(t)| g(t0 ), para todo t [0, 1]. Por lo tanto


|g(t)|

t [0, 1].

Corolario 4.6.6. Sea k N y 0 < < 1 fijo, entonces


ZZ

(1)k logk (1 |z|)dxdy

2
1

k
e

k

Demostraci
on.
Utilizando la proposicion anterior tenemos:
ZZ

(1)k logk (1 |z|)dxdy

ZZ

[ log(1 |z|)] dxdy



ZZ 
1
(1 |z|)
logk
dxdy
1 |z| (1 |z|)
D
 k Z Z
 k Z 2 Z 1
k
dxdy
k
r
=
drd

e
(1

|z|)
e
(1

r)
D
0
0
 k Z 2 Z 1
k
1
drd

e
0
0 (1 r)
 k
k
2
.
1 e
D

Definici
on 4.6.7. Al conjunto de funciones analticas f : D C tales que
ZZ

|f (z)|2 dx dy < +,

donde z = x + iy, se le llama Espacio de Dirichlet D .


Teorema 4.6.8. Sea f : D C una funci
on analtica tal que f (z) 6= 0 para todo z D. Sea > 0 y

F una primitiva de f 2 . Si f B, entonces f D.


Demostraci
on.
Sea m N tal que m, entonces para todo r > 0 se tiene r rm + 1. Utilizando el corolario
anterior y la desigualdad


1
|f (z) f (0)| M log
,
1 |z|

4.6. Primitivas y Derivadas

95

donde M = kf kB , tenemos
ZZ
|F (z)|2 dxdy

ZZ

ZZ

|f (z)| dxdy
|f (z)| dxdy =
D
ZZ
ZZ

|f (z)|m dxdy +
dxdy
D
D
ZZ

(M log(1 |z|) + |f (0)|)m dxdy +


=

=
=

ZZ X
m  
m
(M log(1 |z|))k |f (0)|mk dxdy +
k
D k=0
ZZ
m  
X
m
k
mk
M |f (0)|
(1)k logk (1 |z|)dxdy +
k
D
k=0
 k
m  
X
m
2
k
M k |f (0)|mk
+
k
1 e
k=0
k
m  
2 X m
Mk
|f (0)|mk + < .
1
k
e
k=0

Por lo tanto F D.
Ejemplo 5. Sea f : D C definida por
f (z) =

z2 .

k=1

Notemos que cumple las condiciones del Teorema 4.4.3 pues |a2k | = 1 para todo k N y
= 2 > 1, por lo tanto f B.

2k+1
2k

Sin embargo, f (z) =

k=1

2k z 2

y lm |a2k1 | = lm 2k = , as nuevamente por las condik

ciones del Teorema 4.4.3 se tiene que f 6 B.

Ejemplo 6. Considere la familia de funciones f : D C tal que


f (z) =

1
,
(1 z)

para 0 < < 1 .

Luego, {f }(0,1) B = ya que si suponemos {f }(0,1) B =


6 entonces existe h {f }(0,1) B,

as h B y h {f }(0,1) , es decir, que



sup 1 |z|2 |h (z)| < y h(z) = f (z) para algun (0, 1).
zD




Como h (z) = f (z) =


, luego 1 |z|2 |h (z)| = 1 |z|2
con 0 < < 1, pero
+1
(1 z)
|1 z|+1

diverge cuando nos acercamos a z = 1 + 0i:


|1 z|+1
sea z = x + 0i, con x 1 , entonces

(1 x2 )
(1 + x)(1 x)
(1 + x)
=
=
,
+1
+1
(1 x)
(1 x)
(1 x)

luego sup 1 |z|2 |h (z)| no es finito. Por lo tanto h 6 B.
zD

Funciones de Bloch

96
1

Ejemplo 7. Sea f : D C definida por f (z) = e 1z y F funcion analtica en D tal que F (n) = f para
alg
un n N, entonces F 6 B.
Calculemos (1 |z|2 )n |F (n) (z)| y consideremos z = x (0, 1). Entonces
1

(1 |z|2 )n |F (n) (z)| = (1 |z|2 )n |f (z)| = (1 x2 )n |e 1x |




k

1

X

X
1x
1


= (1 x2 )n
= (1 x2 )n

k!
k!(1 x)k
k=0
k=0

= (1 + x)n

X
X
(1 x)n
(1 x)nk
n
=
(1
+
x)
.
k!(1 x)k
k!

k=0

k=0

Pero
(1 + x)n

X
(1 x)nk
=
k!
k=0


(1 x)n2
(1 + x) (1 x)n + (1 x)n1 +
+ ...
2!

(1 x)
1
1
1
+
+
+
+
+ ... .
(n 1)! n! (n + 1)!(1 x) (n + 2)!(1 x)2
n

Por lo tanto

X (1 x)nk
(1 + x)n
< (1 + x)n
,
(n + 1)!(1 x)
k!
k=0

pero

(1 + x)n
x1
.
(n + 1)!(1 x)

Entonces sup(1 |z|2 )n |F (n) (z)| = y por el Teorema 4.6.1 F 6 B.


zD

4.7.

Relaciones entre otros Espacios de Banach de funciones


y el Espacio de Bloch.

A mediados del siglo XX una nueva clase de funciones fue introducida y estudiada por algunos
matematicos. Es la clase de funciones Qp que incluye a clases ya conocidas, tales como los Espacios de Dirichlet, BM OA y por supuesto el Espacio de Bloch.
Los Espacios Qp estan situados entre el Espacio de Dirichlet D y el Espacio de Bloch B, en donde
B es maximal respecto a la invarianza conforme. Ademas, los Espacios Qp como funcion del par
ametro
p llenan el espacio entre D y B y unen estos espacios bien conocidos con ciertos valores de p.

4.7.1.

Espacios H p .

En teora de funciones, los Espacios H p son similares a los Espacios Lp en el analisis real. Mencionaremos solo algunos aspectos de funciones en H p que necesitaremos en las siguientes secciones.
Sea f una funcion analtica en D, r [0, 1) y p > 0. Decimos que f H p si
sup Mp (f, r) < +,

0r<1

4.7. Relaciones entre otros Espacios de Banach de funciones y el Espacio de Bloch.


donde


1
Mp (f, r) =
2

it

|f (re )| dt

 p1

97

Es particularmente interesante el caso p = 2, pues H 2 tiene estructura de Espacio de Hilbert con


el producto interno
Z 2 Z 2
1
(f, g) =
f (eit )g(eit )dt.
2 0
0
2
La norma en HP
es una expresi
on muy especfica que esta en funcion de los coeficientes de la

funcion. Si f (z) = n=o an zn , z D, tenemos de la identidad de Parseval

1
2

|f (reit )|2 dt =

n=0

|an |2 r2n

para todo r (0, 1). Se tiene entonces al tomar el supremo


kf k22 =

4.7.2.

n=0

|an |2 .

El Espacio BMOA

Para una funcion f H 2 y una D consideramos la funcion auxiliar




z+
f () = f ( (z)) f (),
f (z) = f
1 + z

z D.

Claramente f es analtica en D y f (0) = 0. Calculamos su norma en H 2 :


2

Z 


1
z+
2

f () |dz|.
kf k2 =
f

2 D
1 + z

Haciendo w =

s+
1+s

tenemos para toda D


kf k22

=
=
<

Z
1
1 ||2
|f (w) f ()|2
|dw|
2 D
|w |2
Z
1
1 ||2
|f (w)|2
|dw| |f ()|2
2 D
|w |2
+.

El Espacio BM OA se define como el espacio de funciones f H 2 para las cuales


supkf k2 < +.
D

El nombre BM O viene de las siglas en ingles de Bounded Mean Oscillation.

4.7.3.

El Espacio de Dirichlet D.

El Espacio de Dirichlet D consiste de las funciones f analticas en D tales que


ZZ
|f (z)|2 dx dy < +,
D

donde z = x + iy.

Funciones de Bloch

98

4.7.4.

Los Espacios Qp .

Como se menciona en la introduccion el surgimiento de estos espacios trajo como consecuencia que
otros espacios fueran casos particulares de estos.
Definici
on 4.7.1. Para p > 0, denotamos por Qp al espacio de funciones analticas que satisfacen
sup
aD

ZZ

|f (z)|2 g(z, a)p dx dy < ,

(4.18)

donde g es la funci
on de Green definida en la Proposici
on 1.4.7.
Para p = 1 se obtiene el Espacio BMOA, (ver por ejemplo [Ba]).
Definici
on 4.7.2. Para p > 0, denotamos por Qp,0 al espacio de funciones analticas que satisfacen
lm

|a|1

ZZ

|f (z)|2 g(z, a)p dx dy = 0

(4.19)

donde g es la funci
on de Green definida en la Proposici
on 1.4.7.
Para p = 1 se obtiene el espacio de funciones analticas de oscilacion media nula que es denotado
por sus siglas en ingles VMOA.
Proposici
on 4.7.3. Sea w = f (z) una funci
on analtica en |z| r. S L denota la longitud de la
imagen del crculo |z| = r bajo f , entonces
2r|f (0)| Lr .
Demostraci
on.
Dado que f (z) es analtica en |z| r, la longitud de la imagen de |z| = r esta dada por
Z
Lr =
|f (z)| |dz|,
|z|=r

luego por la Formula Integral de Cauchy




Z

1 Z

f
()
d
1
|f ()| |d|

|f (0)| =
.

2 ||=r
2 i ||=r

||
Entonces

2 r|f (0)|

||=r

|f ()| |d| = L.

Proposici
on 4.7.4. Sea w = f (z) analtica en D(0, R) y A el a
rea de la imagen del disco pseudohiperb
olico bajo f , entonces
A=

ZZ

D(0,R)

|f (z)|2 dx dy R2 |f (0)|2 .

donde R es el radio del disco pseudohiperb


olico.

(4.20)

4.7. Relaciones entre otros Espacios de Banach de funciones y el Espacio de Bloch.

99

Demostraci
on.
Sabemos que A =

RR

|f (z)|2 dx dy y lo podemos expresar como


ZZ
R2
=
|f (z)|2 dx dy
R2
D(0,R)
ZZ
ZZ
1

2
=
|f
(z)|
dx
dy
|1|2 dx dy,
R2
D(0,R)
D(0,R)

D(0,R)

ahora, aplicando la desigualdad de Schwarz


A

1
R2

ZZ
Z

1
R2
1
R2

D(0,R)

R
0

"Z

|f (z)| dx dy

|f (re )| r dr d

|z|=r

A=

ZZ

D(0,R)

!2

|f (z)| |dz| dr

Luego, se observa que de la Proposicion 4.7.3 se tiene


# !2
Z R "Z
1

|f (z)| |dz| dr
=
R2
0
|z|=r

Finalmente

!2

!2

1
R2

1
R2

4 2
|f (0)|2
R2

R2 |f (0)|2 .

Lr dr

!2

2r|f (0)| dr

r dr

!2

!2

|f (z)|2 dx dy R2 |f (0)|2 .

Proposici
on 4.7.5. Sea p > 0, si f F, entonces para toda a D se cumple
 p Z Z

16 2e
2 2
2
1 |a|
|f (a)|
|f (z)|2 g(z, a)p dx dy.

p
D
con z = x + iy.

Demostraci
on.
Se cumple que
ZZ

|f (z)|2 g(z, a)p dx dy

ZZ

D(a,R)

|f (z)|2 g(z, a)p dx dy


p
|1 az|
|f (z)|
log
dx dy
|a z|
D(a,R)

p Z Z
1
|f (z)|2 dx dy.
log
R
D(a,R)
ZZ

(4.21)

Funciones de Bloch

100

Entonces por el Teorema de Cambio de Variable se tiene



p Z Z
ZZ
1

2
p
|f (z)| g(z, a) dx dy log
|f (a (w)) |2 |a (w)|2 du dv ;
R
D
D(0,R)
luego, de la Proposicion 1.2.6 y del hecho de que |1 az|4 (1 + |a| |z|)4 (1 + R)4 se sigue que
ZZ

|f (z)| g(z, a) dx dy

2 Z Z

p
1 |a|2
1
log
|f (a (w)) |2 du dv
4
R
(1 + R)
D(0,R)
2 Z Z

p
1 |a|2
1
log
|f (a (w)) |2 du dv,
R
16
D(0,R)

de la Proposicion 4.7.4 se tiene


ZZ

|f (z)| g(z, a) dx dy

2
p

1 |a|2
1
log
R2 |f (a (0)) |2
R
16

p
2

1
log
R2 1 |a|2 |f (a)|2 ;
16
R

entonces

2 2

1 |a|
para toda a D.

16
p
|f (a)|
2
R log R1

ZZ

|f (z)|2 g(z, a)p dx dy

Corolario 4.7.6. Sea f analtica en D y p > 0, entonces


 p
ZZ

16 2e
sup 1 |a|2 |f (a)|
sup
|f (z)|2 g(z, a)p dx dy.

p
aD
aD
D

En particular Qp B.

Para p = 1 se cumple BM OA B.
Proposici
on 4.7.7. Sea p > 0, entonces
J(p) =

1
0

p
log 1r
dr
(1 r2 )2

es finito.
Demostraci
on.

1
y 1 r2 son continuas en (0, 1) y para todo c > 0 se tiene lm cr2 log r = c.
r1
r
Luego para todo > 0 existe () tal que si |r 1| < entonces
2

cr log r < c +
Las funciones log

pero

de esta forma



cr2 log r cr2 log r ,

log r = log

1
c cr2 = c(1 r2 ).
r

4.7. Relaciones entre otros Espacios de Banach de funciones y el Espacio de Bloch.


Luego la igualdad se conserva
log 1r

p

2r
(1 r2 )

ademas
Z

p
log r1
dr
(1 r2 )2

cp 1 r 2

p

cp 1 r 2

p

(1 r2 )

r,

1 r2

p2

r dr
(1
0
"
#1


2 p1
2 p1
cp
p 1r
p 1x
lm c
= lm c
=
.
p1
p1
p1
x0+
x0+
2
r2 )

r dr = 2

101

Lo cual prueba que J(p) es finito para p > 1.


Proposici
on 4.7.8. Si f F y p > 1, entonces para toda a D
ZZ
|f (z)|2 g(z, a)p dx dy J(p)kf k2B ,
D

donde
J(p) = 2

Demostraci
on.

(log 1r )p
r dr.
(1 r2 )2

Primero mostraremos que la proposicion se cumple para a = 0, esto es,



p
ZZ
1
|f (z)|2 log
dx dy J(p)kf k2B .
|z|
D
Tenemos que
(1 |z|2 )|f (z)| kf kB ,

as
ZZ


p
1
|f (z)|2 log
dx dy
|z|
D

ZZ

|f (z)|2 g(z, 0)p dx dy


p
kf k2B
1
log
r dr d
(1 r2 )2
r
0
0
p
Z 1
log r1
2
2kf kB
r dr
2 2
0 (1 r )

J(p)kf k2B .

(4.22)

Para el caso general consideremos inicialmente la composicion f a y por tanto el Teorema de Cambio
de Variable de integracion A.0.10 z = a (w):
ZZ
ZZ

2
p
|f (z)| g(z, a) dx dy =
|f (a (w)) |2 |a (w)|2 g(a (w), a)p du dv ,
D

pero de la Proposicion 1.4.7:



p 
p
|1 aa (w)|
1
g(a (w), a) = log
= log
= g(w, 0)p .
|a a (w)|
|w|
p

As, sustituyendo en (4.23), se tiene


ZZ
ZZ
|f (z)|2 g(z, a)p dx dy =
|f (a (w)) |2 |a (w)|2 g(w, 0)p du dv ,
D
D
ZZ
p
=
|f (a (w)) |2 |a (w)|2 g (a (a (w)), a (a (0))) du dv .
D

Funciones de Bloch

102

Aplicando nuevamente el Teorema de Cambio de Variable de integracion A.0.10 en este caso a (w),
se tiene:
ZZ
ZZ

2
p
|f (z)| g(z, a) dx dy =
|f (z)|2 g(a (z), a (a))p dx dy
D
Z ZD
=
|f (z) |2 g(z, 0)p du dv.
(4.23)
D

Finalmente de (4.22) y (4.23) se sigue


ZZ
|f (z)|2 g(z, a)p dx dy J(p)kf k2B ,
D

para toda a D.
Teorema 4.7.9. Sea f F, entonces las siguientes condiciones son equivalentes:
i) f B.
ii) {f }Qp < para todo p > 1.
iii) {f }Qp < para alg
un p > 1.
Demostraci
on.
i)ii) Inmediato de la Proposicion 4.7.8.
ii)iii) Es clara.
iii)i) Inmediato del Corolario 4.7.6.
Teorema 4.7.10. Sea f F, entonces las siguientes condiciones son equivalentes:
i) f B0 .
RR
ii) lm D |f (z)|2 g(z, a)p dx dy = 0 para todo p > 1.
|a|1

iii)

lm

|a|1

RR

|f (z)|2 g(z, a)p dx dy = 0 para alg


un p > 1.

Demostraci
on.
i)ii) Inmediato de la Proposicion 4.7.8.
ii)iii) Es clara.
iii)i) Inmediato de la Proposicion 4.7.5.
Corolario 4.7.11. Sea p > 1, entonces
i) B = Qp .
ii) B0 = Qp,0 .
Demostraci
on.
Se siguen de los teoremas 4.7.9 y 4.7.10 respectivamente.

4.8. Caracterizaciones integrales de las funciones de Bloch B.

103

Caracterizaciones integrales de las funciones de Bloch B.

4.8.

Definici
on 4.8.1. Sea > 0, se define el Espacio B como

B = {f F : sup(1 |z|2 ) |f (z)| < }.

(4.24)

zD

Ejemplo 8. Sea f (z) = log(1 z) y 1, entonces



2

1 |z|

|f (z)|
=


2

1 |z|

1 |z|2

Por lo tanto f (z) B para 1.

1

1
1 |z|

(1 + |z|) < .

(4.25)

Definici
on 4.8.2. Dos cantidades f y f , ambas dependiendo de una funci
on f analtica en D, se
llaman equivalentes, denotadas f f , si existe una constante finita independiente de la funci
on
f tal que para toda funci
on f analtica en D se tiene:
1
f f f .

Si las cantidades f y f son equivalentes, entonces en particular se tiene f < si y s


olo si
f < .
Lema 4.8.3. Sea n N, entonces para una funci
on f analtica en D, las siguientes cantidades son
equivalentes:
i) kf kB < ;
ii) sup 1 |z|2
zD

Demostraci
on.

n (n) n1
P (k)
f (z) +
f (0) < .
k=1

La prueba se hara por induccion sobre n. Para n = 1 ambas cantidades son iguales, pues al hacer
n = 1 en (ii) se obtiene precisamente la definicion de (i). Ahora bastara probar que para cualquier
n N las cantidades
(bn ) =
(bn+1 ) =

sup 1 |z|2

n

sup 1 |z|2

n+1

zD

zD

son equivalentes.
Para w D tenemos

|f (n) (z)| +

n1
X
k=1

|f (k) (0)|

|f (n+1) (z)| +

n
X

k=1

|f (k) (0)|

|f (n) (w)| |f (n) (0)| |f (n) (w) f (n) (0)|


Z 1

|w| |f (n+1) (tw)| dt ,


0

0
1

|w|
(1 t|w|)n+1 |f (n+1) (tw)| dt
(1 t|w|)n+1

|w|
sup(1 |z|)n+1 |f (n+1) (z)| dt
n+1
(1

t|w|)
zD
0
1
sup(1 |z|)n+1 |f (n+1) (z)|.
n(1 |w|)n zD

Funciones de Bloch

104
Despejando, multiplicando por (1 |w|2 )n y tomando supremos tenemos
|f (n) (w)|

(1 |w|2 )n |f (n) (w)|

sup (1 |w|2 )n |f (n) (w)|

wD

Por lo tanto bn

1
sup(1 |z|)n+1 |f (n+1) (z)| + |f (n) (0)| ,
n(1 |w|)n zD

(1 |w|2 )n
sup(1 |z|)n+1 |f (n+1) (z)| + (1 |w|2 )n |f (n) (0)|
n(1 |w|)n zD
(1 + |w|)n
sup(1 |z|2 )n+1 |f (n+1) (z)| + (1 |w|2 )n |f (n) (0)|
n
zD
2n
sup(1 |z|2 )n+1 |f (n+1) (z)| ,
n zD
2n
sup(1 |z|2 )n+1 |f (n+1) (z)|.
n zD

2n
n bn+1 .

Para el recproco tomemos z D fijo y r = 1|z|


ormula integral de Cauchy
2 . Aplicando la f
a f (n+1) = (f (n) ) , tenemos que


1 Z

(n)
f
(w)


|f (n+1) (z)| =
dw

2i |wz|=r w z
Z
|f (n) (w)|
1

|dw|
2 |wz|=r |w z|
Z
1
=
|f (n) (w)| |dw|
2r |wz|=r
!
1

2 sup |f (n) (w)|


2r
|wz|=r
=

1
sup |f (n) (w)|.
r |wz|=r

Si |w z| = r, entonces

1 + |z|
,
2
por lo que aplicando el principio del m
odulo maximo se tiene
|w| |z| + r =

sup |f (n) (w)|

|wz|=r

sup
|w|= 1+|z|
2

|f (n) (w)|.

Ademas como (1 |z|)n+1 = 2n+1 rn+1 tenemos


(1 |z|)n+1 |f (n+1) (z)| 2n+1

sup
|w|= 1+|z|
2

rn |f (n) (w)|.

Para |w| = 1+|z|


tenemos r = 1 |w| 1 |w|2 , as que multiplicando por (1 + |z|)n+1 (el cual
2
esta acotado por 2n+1 ), obtenemos
n+1 (n+1)
1 |z|2
|f
(z)| 22n+2 sup (1 |w|2 )n |f (n) (w)|.
|w|= 1+|z|
2

Tomando el supremo y usando el hecho de que el n


umero z fue arbitrario, obtenemos finalmente que
bn+1 22n+2 bn , lo cual completa la demostracion.

4.8. Caracterizaciones integrales de las funciones de Bloch B.

105

Teorema 4.8.4. Sean 0 < p < , 0 < r < 1, y n N, entonces para una funci
on f analtica en D
las siguientes cantidades son equivalentes:
i)
ii)

kf kB ;
sup
aD

iii)

sup
aD

iv)

1
1n p
2

|D(a, R)|
Z

D(a,R)

D(a,R)

! p1 n1



X
(n) p

+
f (z) dA(z)
f (k) (0) ;
k=1

! p1



np2
(n) p
dA(z)
f (z) 1 |z|2

n1
X
k=1



(k)
f (0) ;

Z
 p1 n1


X
np2
2
(n) p

sup
1 |a (z)|2 dA(z)
+
f (z) 1 |z|2
f (k) (0) .
aD

k=1

donde A es la medida normalizada de Lebesgue del disco.


Demostraci
on.
Sean 0 < p < , 0 < r < 1, y n N.

La cantidad (i) es menor o igual que veces la cantidad (ii) para alguna constante > 0.

La funcion |g(z)|p , p > 0 es subarmonica, luego


1
|g(0)| 2
R
p

D(0,R)

|g(w)|p dA(w),

con dA = 1 dx dy que denota la medida normalizada de Lebesgue del disco. Sea f una funcion analtica
en D y sea a D, aplicando la desigualdad anterior a la funcion g = f (n) a se tiene
Z


p
 p

1
(n)

(n)

a (w) dA(w),
f a (0) 2
f
R D(0,R)
dado que a (0) = 0, usando el cambio de variable de integracion y la Proposicion (1.2.6) se tiene
|f (n) (a)|p

1
R2

|f (n) (a (w)) |p dA(w)

1
R2

|f (n) (z)|p

de la Proposicion 1.2.7 sabemos que

D(0,R)

D(a,R)

1 |a (z)|2
1 |z|2

2

)dA(z),

1 |a (z)|2
4

para todo z D, entonces regresando a


1 |z|2
1 |a|2

Funciones de Bloch

106
la integral se tiene
|f (n) (a)|p

2 np

1 |a|

|f

(n)

16

R2 (1 |a|2 )
16

(a)|

R2

(1

D(a,R)

|a|2 )2np

|f (n) (z)|p dA(z) ;

D(a,R)
2

|f (n) (z)|p dA(z)

2np

R2 Rnp Rnp (1 |a|2 )

Rnp (1 R|a|2 )2np


4

Rnp

(1

2np
R|a|2 )

2np

D(a,R)

2np

(1 R2 |a|2 )

42
"

1 R2 |a|2


2 2np

1 |a|

(1

R2 |a|2 )2np

np
|D(a, R)|1 2

R2np

D(a,R)

|f (n) (z)|p dA(z)

|f (n) (z)|p dA(z)

D(a,R)

|f (n) (z)|p dA(z) ;

pero
|a|2 R2
1 R2

R2 ,
1 |a|2 R2 ,

luego
1 |a|2

np

|f (n) (a)|p


2 n

1 |a|

|f

(n)

42
Rnp (1 R2 )p(2/pn) |D(a, R)|1
2/p

(a)|

4
n
R (1 R2 )(2/pn)

np
2

1
np
|D(a, R)|1 2

42/p (1 R2 )n
Rn (1 R2 )2/p

1
np
|D(a, R)|1 2

42/p
n
R (1 R2 )2/p

1
np
|D(a, R)|1 2

D(a,R)

D(a,R)

D(a,R)

D(a,R)

|f (n) (z)|p dA(z) ,


|f

|f

(n)

|f

(n)

(n)

!1/p

(z)| dA(z)

!1/p

!1/p

(z)| dA(z)

(z)| dA(z)

puesto que
R2

< 1,

1 R2

< 1,

2 n

(1 R )

< 1.

Sea =

4p
2

Rn (1 R2 ) p


2 n

sup 1 |a|
aD

, por lo tanto

|f

(n)

(a)| sup
aD

1
p
|d(a, R)|1n 2

D(a,R)

|f

(n)

! p1

(z)| dA(z)

del Lema 4.8.3 se tiene que la cantidad (i) es menor o igual que veces la cantidad (ii).
La cantidad (ii) es menor o igual que veces la cantidad (iii), para una constante > 0.

4.8. Caracterizaciones integrales de las funciones de Bloch B.


Sabemos que
1 np
2

|d(a, R)|

1 |a|2

107

2np

(1 R2 |a|2 )

2np R

2np

(4.26)

de (1.2.6), se obtiene

2
1 |a (z)|2 |1 az|
1 |a| =
1 |z|2
2

(4.27)

sustituyendo (4.27) en la igualdad (4.26) se sigue que

|d(a, R)|1

np
2

2np

1 |a (z)|2

2np
2np 
2
|1 az|

(1 |z|2 )2np
!2np

R 1 |a (z)|2 |1 az|2
np2
(1 |z|)
.
1 R2 |a|2

(1 R2 |a|2 )

Sea =

2np

!

2 2np
R 1 |a (z)|2 |1 az|
, luego para z D(a, R):
1 R2 |a|2

|a|2
0 R2 |a|2

1 R2
0 1 R2
1
(1 R2 |a|2 )

1
R2 1

R2 |a|2 0
1 R2 |a|2 1
1

(4.28)

(1 R2 )

as mismo
|1 az|
4

(|1 az|)

1 + |a| |z| 1 + R
(1 + R)4

(4.29)

2

(4.30)

y
1 |a (z)|2
de esta forma, de (4.28),(4.29) y (4.30)
=

!2np

R 1 |a (z)|2 |1 az|2

1 R2 |a|2

luego

R2 (1 + R)
(1 R2 )

!2np

= ,

|d(a, R)|1n 2 (1 |z|2 )np2 .


Finalmente de aqu se sigue que la cantidad (ii) es menor o igual que veces la cantidad (iii).
La cantidad (iii) es menor o igual que veces la cantidad (iv), para una constante > 0.
Para z D(a, R) se cumple que
|a (z)|2
1 R2
2
1 R2

<
<
<

R2
1 |a (z)|2

1 |a (z)|2

2

Funciones de Bloch

108
luego
1 R2

2



np2
(n) p
dA(z)
f (z) 1 |z|2
D(a,R)
Z

np2
2
(n) p
1 |a (z)|2 dA(z),
f (z) 1 |z|2

sea =
Z

2,

(1 R2 )

D(a,R)

entonces

Z



np2
np2
2
(n) p
(n) p
dA(z)
1 |a (z)|2 dA(z).
f (z) 1 |z|2
f (z) 1 |z|2
D

La cantidad (iv) es menor o igual que veces la cantidad (i).


Z

|f (n) (z)|p 1 |z|2

np2
Z

1 | (z)|2
|f

(n)

(z)|

1
dx dy

Z 
D

sup
D

|f

1 |z|

1 | (z)|2
1 |z|2

2

dA(z)

denota a la medida normalizada de Lebesgue del disco por lo que

1 | (z)|2
1 |z|2

(n)


2 np

1 | (z)|2
= | (z)|
1 |z|2
2

Finalmente elevado a la potencia


Z

dA(z) =


p Z 
2
1 | (z)|2
2 n (n)
sup(1 |z| ) |f (z)|
dA(z)
1 |z|2
zD
D

Pero

y ademas dA =

2

(z)|

dA(z) =

1
p

y tomando supremos obtenemos


2 np2

1 |z|

| (z)|2 dA(z) = A ( (D)) = A(D) = 1.


2 2

1 | (z)|

 p1
dA(z)
sup(1 |z|2 )n |f (n) (z)| ,
zD

por lo que la cantidad (iv) es menor o igual a la cantidad (ii) del Lema 4.8.3 por lo que aplicando
dicho lema la demostracion esta completa.

4.9.

Conclusiones

Este trabajo muestra que la Teora clasica de Variable Compleja se mantiene muy dinamica, con
investigaciones abiertas en diversas lneas como es el caso de la teora de Funciones Pesadas (o ponderadas) y la Teora de Funciones Univalentes no solo en una variable.

Ap
endice A

Ap
endice
Definici
on A.0.1. [Co] p. 40.
Un dominio es un subconjunto no vaco, abierto y conexo del plano.
Definici
on A.0.2. [Co] p. 51.
Una funci
on definida en un dominio G es analtica en zo G si es complejo diferenciable en una
vecindad de z0 . Diremos que f es analtica en G si lo es en todos los puntos de G.
Teorema A.0.3 (Teorema de Taylor.). [Si] p. 200-206.
Si f es una funci
on analtica en un dominio D y z0 es un punto arbitrario de D, entonces existe
una serie de potencias

X
an (z z0 )n
n=0

y un numero real > 0 tal que la serie converge en B(z0 , ) D. Los coeficientes de esta serie est
an
dados por
f (n) (z0 )
,
nN
an =
n!
A dicha expansi
on se le conoce como la serie de Taylor para la funci
on analtica f .

Teorema A.0.4 (Prueba M de Weierstrass). [Co] p. 29. Sea un : X


C una funci
on tal que
P
|u
(x)|

M
para
todo
x

X
y
suponga
que
las
constantes
satisfacen
M
<
,
entonces
n
n
n=1
Pn
M
es
uniformemente
convergente.
n
n=1
Teorema A.0.5 (Formula integral de Cauchy.). [Si] p. 172.
Si f es una funci
on analtica en un dominio G y si G contiene una curva cerrada rectificable de
Jordan L y su interior I(L), entonces si z0 I(L)
Z
1
f (z)
f (z0 ) =
dz
2i L z z0

Por otra parte si z0 E(L), donde E(L) es el exterior de L,


Z
f (z)
dz = 0
z
z0
L
Teorema A.0.6. [Si] p. 174.
Si f es analtica en un dominio G, entonces f tiene derivadas de todos los o
rdenes en G y dado
z0 G
Z
n!
f (z)
f (n) (z0 ) =
dz,
n = 0, 1, 2, . . .
2i L (z z0 )n+1
donde L es una curva cerrada rectificable de Jordan tal que z0 I(L) G.

Apendice

110

Teorema A.0.7 (Teorema de Rouche). [Si] p. 262


Dada una curva cerrada rectificable de Jordan L, suponga que las funciones f (z) y g(z) son analticas
en I(L), y suponga que |f (z)| > |g(z)| para todo z L, entonces las funciones f (z) y f (z) + g(z)
tienen el mismo n
umero de ceros en el interior de L.
Teorema A.0.8 (Teorema de Liouville.). [Co] p. 77.
Si f es una funci
on analtica y acotada en C, entonces f es identicamente constante.
Lema A.0.9 (Lema de Schwarz). [Co] p. 126.
Sea f una funci
on analtica en D con
a) |f (z)| 1 para toda z D.
b) f (0) = 0.
Entonces f (0) 1 y |f (z)| |z| para toda z D, m
as a
un, si |f (0)| = 1 o si |f (z)| = |z| para alguna
z D, z 6= 0, entonces existe una constante c, |c| = 1, tal que f(z)=cz para toda z D.
Teorema A.0.10. [St] p. 411.
Para a D la sustituci
on z = a (w) resulta en cambiar el jacobiano de la siguiente manera,
dA(w) = |a (z)|2 dA(z). Para una funci
on h Lebesgue integrable o una funci
on Lebesgue medible no
negativa sobre D tenemos la siguiente f
ormula de cambio de variable.

2
ZZ
ZZ
1 |a (z)|2
h(a (w))dA(w) =
h(z)
dA(z)
1 |z|2
B(0,r)
B(a,r)
Teorema A.0.11.
P [Si] p. 186.
Si la serie n=1 fn (z) = f (z) es uniformemente convergente en E C con z0 como punto lmite
de E y si todo termino fn (z) es continuo en z0 entonces la suma f (z) es tambien continua en z0 .
Nota A.0.12. [Go] p. 8-10.
El Teorema de Green en el plano afirma que si u(x, y) y v(x, y) son funciones reales y si las
derivadas parciales vx y uy existen y son continuas en D, entonces
Z
ZZ
u dx + v dy =
(vx uy ) dx dy
|z|=1

A partir del Teorema de Green se pueden probar algunas f


ormulas de integrales de funciones complejas.
Un caso particular es el siguiente. Si g(z) es una funci
on regular en D, entonces
Z
ZZ
1

g (z)g(z) dz =
|g (z)|2 dx dy
2i |z|=1
D
Definici
on A.0.13 (Kernel de Poisson). [Co] p. 256.
La funci
on

X
Pr () =
r|n| ein ,
n=

para 0 r < 1 y < < , se llama el Kernel de Poisson.


En coordenadas polares P (r, ). Sea z = rei , 0 r < 1; entonces
1 + rei
1 rei

=
=

(1 + z) 1 + z + z + z + = 1 + 2
1+2

n=1

rn ei .

zn

n=1

(A.1)

111
Por lo tanto,
Re

1 + rei
1 rei

= 1+2

n=1

= 1+

n=1

Tambien

rn cos n


rn ein + ein = Pr ().

(A.2)

1 + rei
1 + rei rei r2
=
1 rei
|1 rei |2

as

Pr () = Re

1 + rei
1 rei

1 r2
.
1 2r cos + r2

(A.3)

Proposici
on A.0.14. [Co] p. 257.
El Kernel de Poisson satisface lo siguiente:
R 2
1
a) 2
0 Pr () d = 1;

b) Pr () > 0 para todo , Pr () = Pr (), y Pr es peri


odica en con peri
odo 2;

c) Pr () < Pr () si 0 < < || ;


d) para cada > 0, lm P r() = 0 uniformemente en para || .
r1

Corolario A.0.15. [Co] p. 259.


Si u : D R es una funci
on continua que es arm
onica en D entonces
Z


1
u rei =
Pr ( t) u eit dt
2

(A.4)

para 0 r < 1 y para todo . M


as a
un, u es la parte real de la funci
on analtica
Z it

1
e +z
f (z) =
u eit dt.
it
2 e z

Definici
on A.0.16. [Ma] p. 164.
La funcion de Joukowsky (z) est
a definida por

(z) =

1
2



1
z+
z

Teorema A.0.17. [Ma] p. 164-166


La im
agen del disco unitario D bajo la funci
on de Joukowsky est
a formada por todos los puntos del
plano complejo C con excepci
on del segmento del eje real 1 x 1.
Definici
on A.0.18. [Co] p. 142
Si G es un conjunto abierto en C y (, d) un espacio metrico completo entonces se designar
a por
C (, d) el conjunto de todas las funciones continuas de G a .
Teorema A.0.19. [Co] p. 151
Sea G un subconjunto abierto del plano complejo. Si {fn } es una sucesi
on en la colecci
on de funciones
(k)
(k)
analticas H(G) de G y C (, d) tal que fn f entonces f es analtica y fn f
para cada entero
k 1.

112

Apendice

Bibliografa
[AnClPo]

J. M. Anderson, J. Clunie, Ch. Pommerenke, On Bloch functions and normal functions,


Journal Fur Die Reine Und Angewandte Mathematik, 240 (1974), p. 12-37.

[AuLa]

R. Aulaskari, P. Lappan, Criteria for an analytic function to be Bloch and a harmonic


or meromorphic function to be normal, Complex analysis and its applications, Pitman
Research Notes in Mathematics, 305, Longman Scientific and Technical, Harlow (1994),
p. 136-146.

[AuReTo]

R. Aulaskari, L. F. Resendis O., L. M. Tovar S., Weighted function spaces, primitives


and derivatives, Proceedings of the 11th. international conference on finite or infinite
dimensional complex analysis and applications, (2003), p. 1-26.

[AuXiZh]

R. Aulaskari, J. Xiao, R. Zhao, On subspaces and subsets of BMOA and UBC, Analysis,
15 (1995), p. 101-121.

[Ba]

A. Baernstein II, Analytic Functions of Bounded Mean Oscillation, Aspects of Contemporary Complex Analysis, Editors D. A. Brannan and J. G. Clunie, Academic Press London,
(1980), p. 2-26.

[Bi]

L. Bieberbach, Uber
die Koeffizienten derjenigen Potenzreihen, welche eine schlichte
Abbildung des Einheitskreises vermitteln, Sitzungsber. Preuss. Akad. Wiss. Phys-Math.,
(1916), p. 940-955.

[Bl]

A. Bloch, Les theoremes de M. Varilon sur les functions entieres et la theorie de


luniformisation, Annales de la Fac. des Sc. Toulouse, 3e Serie 17 (1925), p. 1-22.

[Br]

L. Branges, A proof of Bieberbach conjeture, Acta Math., 154 (1985), p. 137-152.

[BuGuSi]

D. Burkholder, R. Gundy, M. Silverstein, A maximal function characterization of the class


H p , Trans. Amer. Math. Soc., 157 (1971), p. 137-153.

[Ci]

J. A. Cima, The basic properties of Bloch functions, Internat. J. Math. and Math. Sci., 2
(1979), p. 369-413.

[Co]

J. B. Conway, Functions of one complex variable, Springer-Verlang, 1978.

[Da]

N. Danikas, Some Banach spaces of analytic functions, University of Joensuu, Department


of Mathematics. Report series No. 2. Edited by Rauno Aulaskari and Ipo Laine. Joensuu,
1999, p. 9-35.

[Du1]

P. L. Duren, Univalent functions, Springer-Verlang, 1983.

[Du2]

P. L. Duren, Theory of H p spaces, Pure and applied mathematics, Academic Press,


Vol. 38, 1970.

[DuShaShi] P. L. Duren, H. S. Shapiro, A. L. Shields, Singular measures and domains not of Smirnov
type, Duke Math. J., 33 (1966), p. 247-254.

114

BIBLIOGRAFIA

[Fe]

C. Fefferman, Characterizations of bounded mean oscillation, Bulletin of the American


Mathematical Society, 77 (1971), p. 587-588.

[Go]

A. W. Goodman, Univalent Functions, Mariner Publishing Company Inc., 1983.

[Ha]

L. A. Harris, On the size of balls covered by analytic transformations, Monaths. Math., 83


(1977), No. 1 p. 9-23.

[Hi]

E. Hille, Ordinary Differential Equations in the Complex Domain, Dover Publications,


Inc., 1997.

[JoNi]

F. John, L. Nirenberg, On Functions of Bounded Mean Oscillation, Comm. Pure Apppl.


Math., 14 (1961), p. 415-426.

[Ma]

A. Markushevich, Teora de las funciones Analticas, Vol. I, MIR Mosc


u, 1978.

[La]

M. Lavie, Disconjugacy of linera differential equations in the complex domain, Pacific


Journal of Mathematics, Vol. 32, No. 2 (1970), p. 435-457.
mela

[Ne1]

Z. Nehari, The Scwarzian derivative and schlicht functions, Bulletin of the American Mathematical Society, 55 (1949), p. 545-551.

[Ne2]

Z. Nehari, Conformal mapping, Dover Publications, 1975.

[Po1]

Ch. Pommerenke, On Bloch functions, J. London Math. Soc., 2 (1970), p. 689-695.

[Po2]

Ch. Pommerenke, Univalent Functions, Vanclenhoeck & Ruprecht in Gottingen, 1975.

[Si]

R. A. Silverman, Introductory complex analysis, Dover Publications USA, 1972.

[St]

K. Stroethoff, Besov-type characterisation for the Bloch space, Bull. Austral. Math. Soc.,
39 (1989), p. 405-420.

[SeWa]

W. Seidel, J. L. Walsh, On the derivatives of functions analytic in the unit circle and their
radii of univalence and of p-valence, Trans. Amer. Math. Soc., 52 (1942), p. 128-216.

[Wa]

J. L. Walsh, Note on the derivatives of functions analytic in the unit circle, Bull. Amer.
Math. Soc., 53 (1947), p. 515-523.

[Zy]

A. Zygmund, Smooth Functions, Duke Math. Journal, 12 (1945), p. 47-76.

Biografa de Andre Bloch

115

Andr
e Bloch

Nacio el 20 de noviembre de 1893 en Besacon, Francia; sus padres originarios de Alsace murieron prematuramente. Fue criado, junto con sus dos hermanos menores, en Besancon por sus tos. Realiz
o sus
estudios de secundaria en esta ciudad, donde fue un estudiante brillante y fue aceptado para competir
por un lugar en la Escuela Politecnica en 1912, al mismo tiempo que su hermano menor George, nacido
un a
no despues que Andre.
Despues de un a
no de servicio militar, seguido de un primer grado en la Escuela Politecnica, los dos
hermanos se enlistaron en el ejercito en 1914 debido a la Primera Guerra Mundial. Andre fue adscrito
al Estado Mayor General de Castelnau, como subteniente de artillera. Despues de meses de bombardeo
en el frente, Andre sufrio una caida desde un sitio de observacion. Este golpe fuerte lo retir
o del servicio activo. En cuanto a su hermano George, fue herido en la cabeza y como consecuencia perdi
o un
ojo. Ambos fueron retirados del ejercito y regresaron a casa, George fue liberado del servicio mientras
que a Andre le permitieron recuperarse pero no fue liberado de sus funciones, sin embargo pese a su
discapacidad George reanudo sus estudios en octubre de 1917 los cuales debio interrumpir por la guerra.
Fue entonces cuando el 17 de noviembre de 1917 se sucito un drama aparentemente incomprensible:
durante una cena en el apartamento de la familia Bloch en Boulevard de Courcelles, Pars, Andre asesino a pu
naladas a su hermano George, a su ta y finalmente a su to, para despues salir corriendo por
la calle gritando; Andre fue aprehendido por la polica. Increblemente este hecho tan deplorable fue
omitido por los periodicos pues no hablaron de ello, incluso los compa
neros de estudio de los hermanos
Bloch no conocieron los detalles de ese drama. Quiza debido a que Francia se encontraba peleando una
guerra y que el asesino era un oficial en permiso.
No se resistio al arresto y ya que el asesinato fue declarado como no intencional Andre fue internado
en un hospital psiquiatrico Saint-Maurice, tambien llamado Casa de Charenton, la cual no abandonara
hasta 31 a
nos mas tarde. Mientras tanto, Andre Bloch escribio obras importantes: comentarios sobre
las funciones holomorfas y meromorfas, cuyos resultados se han convertido en clasicos. Una memoria
de la geometra escrita en colaboraci
on con G. Guillaumin y un gran n
umero de artculos cortos sobre diferentes temas como: teora de funciones, teora de n
umeros, geometra, ecuaciones algebr
aicas
y cinematica. Su interes en las matem
aticas aplicadas lo hizo incluso escribir una nota sobre las mareas.
Llama la atencion el interes que tena este hombre, completamente aislado del mundo, por cuestiones
relativas a la ense
nanza de las matem
aticas, muestra de ello son las publicaciones breves en los Nouvelles
Annales de Mathematiques los cuales se dedican a la mejora de las pruebas clasicas.

116

Fotografas

Todo su trabajo resulta de gran notoriedad pues Andre Bloch fue casi un autodidacta, recordemos
que su educacion fue abrupta y prematuramente interrumpida por la guerra. Su perodo de producci
on
se extiende desde 1919 hasta su muerte.
Los u
nicos vnculos de Andre con el mundo matematico se redujeron a los libros que le entregaban
las revistas a las que estaba suscrito (especialmente el Bulletin des Sciences Mathematiques) y a la
correspondencia que mantuvo con varios matematicos franceses o extranjeros de la epoca tales como G.
Valiron, H. Cartan, J. Hadamard, G. De Polya, Baidoff, E. Picard, P. Montel y G. Mittag-Leffler. Cabe
resaltar que algunos de ellos no eran concientes de su situacion especial, porque daba simplemente la
direccion: 57 Grande Rue Saint Maurice, sin especificar que se trataba de un hospital psiquiatrico. Para
no descubrirse, eluda reuniones, argumentando motivos de salud. Esta reclusion le permitio escapar de
la persecucion nazi contra los judos, pero tuvo que actuar con prudencia, as que firmo con seud
onimos
el trabajo que publico bajo la ocupacion alemana. Cabe se
nalar finalmente que Andre Bloch nunca se
caso.
Cartas dirigidas a E. Picard y P. Montel que han sido conservadas, intercalando en ellas a veces,
citas en latn, muestran un gran respeto por los valores academicos y tambien una conciencia de su
propio valor. Tal vez esto parezca un poco fro y servil, pero en ellas no se refleja ning
un desequilibrio
mental. Es inquietante conocer la vida de aquel hombre que, despues de un triple asesinato, llev
o una
vida extraordinariamente tranquila, totalmente dedicada a las matematicas en el contexto de interno
de un hospital mental. El profesor Henri Baruk, uno de los psiquiatras franceses mas importantes de
mitad de siglo y que en ese entonces diriga el Hospital Saint-Maurice afirmo sobre el caso de Andre:
este es un caso de racionalismo morbido, no se trata de celos, ni es por una decepcion en el amor que
Andre Bloch ha eliminado fr.iamente a sus familiares mas cercanos, sino en obediencia a un deber de
la eugenesia: se eliminara una rama de su familia que el consideraba contaminada.
Al final de su vida, cuando su hermano menor, finalmente decidio visitarlo, Andre le pidi
o informacion especfica sobre toda la familia. Al da siguiente le comento a su medico sobre el asesinato de
sus familiares: Es una cuestion de logica matematica. Haba una enfermedad mental en mi familia
as que se debe seguir normalmente la aniquilacion de toda esta rama. Comence mi trabajo luego de
esta deduccion pero no esta completo. Quisiera saber cual es la situacion .
Sin tomar en cuenta sus delirios, Andre Bloch fue aparentemente, el hombre mas dulce, un modelo
de bondad y calma, cuya vida corra con regularidad monastica, dorma y coma mucho, y pas
o sus
das trabajando en una peque
na mesa que instalo en un rincon del pasillo, negandose a abandonar el
hospital diciendo: las Matematicas son suficiente para m. Era pues el paciente ideal.
Enfermo de leucemia, el 21 de agosto de 1948, Andre dejo el hospital psiquiatrico para someterse
a una ciruga en el hospital Sainte-Anne de Pars, donde murio el 11 de octubre de 1948. Poco antes
de su muerte, Andre Bloch tuvo la alegra de saber que la Academia de Ciencias lo haba presentado
como candidato al premio Becquerel, el premio fue oficialmente concedido a ttulo postumo el 13 de
diciembre del mismo a
no.
Sin duda su obra habra sido mucho mas extensa y fructfera si hubiera vivido en un medio academico
en el cual hubiera podido ampliar su campo de investigacion, uniendose a la comunidad matem
atica.
Nadie sabra nunca si el trauma que sufrio durante la guerra tuvo que ver con la locura asesina que
se apoder
o de el al final de su a
no veinticuatro de vida. Desde entonces, muchas masacres se han
cometido en nombre de los principios de la eugenesia pero estas no tienen nada que ver con la l
ogica
matematica... Pero la vida de Andre Bloch seguira siendo (tal vez afortunadamente) un caso singular
y preocupante, tanto en los anales de la psiquiatra como en la historia de las matematicas.

Fotografas

117

Fotografas de algunos matem


aticos que han
trabajado sobre el tema.

Ludwig Bieberbach

J. L. Walsh

Antoni Zygmund

Louis Nirenberg

Lois de Branges

Christian Pommerenke

Rauno Aulaskari

Donald Lee Burkholder

Charles Fefferman

118

Fotografas

Joseph Cima

Harold Seymour Shapiro

Peter l. Duren

Karel Stroethoff

AGRADECIMIENTOS

CONACYT Programa Nacional de Posgrados de Calidad del CONACYT (PNPC)

CONACYT-25214 Espacios Generalizados de Dirichlet

IPN- Beca Institucional de Posgrado (Extraordinaria) Semestre A09