Академический Документы
Профессиональный Документы
Культура Документы
ESFM
ESFM
El Espacio de Bloch
de Funciones Analticas
TESIS
Que para obtener el grado de
MAESTRO EN CIENCIAS
EN MATEMTICAS
Presenta
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
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
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
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
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
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
(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
Demostraci
on.
Sea z D, entonces
|z|2 (1 |a|2 ) <
|z|2 + |a|2 <
1 |a|2 ;
1 + |a|2 |z|2 ;
1;
1.
a (D)
a (D)
(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
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)
=
=
=
=
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|
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)
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
a (a) =
1
,
|a|2 1
a (z) =
a z
,
1 + az
a (0) = a.
a (0) = 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
1 |f (a)|2
.
1 |a|2
Preliminares
10
1 |g(0)|2
= 1 |a|2 .
1 |0|2
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.
11
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
Entonces
0
0
0
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) ;
1.3.
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 .
13
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
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
1.0
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
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)) .
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.
log |f (z) |
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) =
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
lm ga (z) = 0
z
z
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
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 .
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
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
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)
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
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
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.
24
0.5
-2
-1
-0.5
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,
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.
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
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 + .
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
2.1. Teorema del Area
2.1.
27
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
n=1
n|bn |2 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
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
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
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.
X
n|bn |2 1,
n=1
es decir
b1
.
z
2.1. Teorema del Area
29
Recprocamente, si g(z) = z + b0 +
b1
z ,
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 .
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
p
f (z 2 ) y la inversion h() =
1
g( 1 )
1
a2
h(z) = q
= z z 1 +
2
1
f ( z2 )
(2.8)
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
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)
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
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.
31
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.
F (0)
2 ,
como
F (z) =
2
f ( (z)) (z) + f ( (z)) (z)
(1 ||2 ) f ()
y
(z) =
entonces
F (0) =
=
y sustituyendo
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
2
2
f ()
(2.10)
32
f ()
|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) =
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 .
(1 + r)
|f (z)|
1+r
(1 r)
|z| = r < 1.
(2.12)
Re
;
1 r2
f (z)
1 r2
1 r2
luego
2r2 4r
z f (z)
2r2 + 4r
Re
1 r2
f (z)
1 r2
i
f (re )
i f (re )
Re re
= r Re
z =r
{Re log f (rei ) },
f (rei )
f (rei ) r
r
(2.13)
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
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
(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
(2.17)
log |f (rei )| dr
r
=
=
R
log |f (rei )| 0 = log |f (Rei )| log |f (0)|
log f (Rei ).
1R
1+R
log |f (rei )| log
,
(1 + R)3
(1 R)3
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)
34
1 + ei z
1r
1+r
(1 + r)3
(1 ei z)3 (1 r)3
con z = rei ,
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)
+
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)
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
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)
36
(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 ||
||
|F ()| =
||
(1 ||)
(1 +
2,
ei z)
ei =
con
.
||
Ahora, sea
w=
z+
,
1 + z
z=
y sea
G(w) = F
w
1 w
w
,
1 w
.
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
=
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)
f (w) =
(1 + ||) f ()
w
,
(1 ||)
(1 + ei w)2
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
38
2
dw
1 d
dw
log
log
dz
2 dz
dz
o tambien
w
3
w
2
w
w
2
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
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
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
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
40
Corolario 2.3.6.
{w, z} = {z, w}
Demostraci
on.
{z, z} = {z, w}
dw
dz
2
dw
dz
2
+ {w, z} = 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)
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
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
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
a (z) =
a (0) = 6a (1 |a| ) ;
(1 + az)4
42
de donde
(2.28)
f (a (z)) f (a)
= z + a2 z 2 + a3 z 3 + .
f (a)(1 |a|2 )
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)
= (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 + ;
= 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
43
|{f, a}|
6
,
(1 |a|2 )2
Para ver que 6 es la mejor constante posible basta con considerar la rotacion de Koebe
f (z) =
z
(1 + z)2
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 }|
(u2 )2 {f, u2 }
(1 2 )2
{f, u2 } ;
(1 z)4
(2.30)
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
2
u (x) +
dx
=
(u
(x))
+
+
dx ;
1 x2
1 x2
(1 x2 )2
1
1
(2.31)
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:
45
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.
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
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).
46
Escribiendo y(x) = u(x) + iv(x) tenemos
|y(x)|2
|y (x)|2
u2 (x) + v 2 (x),
(2.34)
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
47
Demostraci
on.
2
|f (z)|
| 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 )
y es suficiente que
Demostraci
on.
f (z) 2( 5 2)
.
f (z)
1 |z|2
48
donde r = |z| < 1, entonces
f (z)
6
f (z) 1 |z|2 .
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
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
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
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
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.
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)|
1
6M
1
< |f (z)| |f (z)| + |g(z)| ;
6M
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
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
53
|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 (z) f (a)||dz|.
(3.1)
as
|f (a)|
|f (a)|
Z
Z
|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 | <
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
(1 r0 )K(r0 )
(1 r0 )|f (a)| ;
h(r0 )
1
=
= (1 r0 )1 .
1 r0
1 r0
,
|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)|
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
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,
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
|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),
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)|
1
20
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
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
R|f (0)|
f21 B 0;
f (B(0; R))
72
R|f (0)|
B f (0);
72
f (B(0; R)) .
57
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
1
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
3.2.
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
(3.4)
(3.5)
nf{Uf : f Aa }.
(3.6)
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) =
az 2 2z + a
.
(1 az)2
=
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
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
(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)
|z C(z)| |z| 1
a |z C(z)| a |z| a 1
(a 1) (a |z|) (a |z C(z)|),
(3.9)
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|
a |z|
:= (|z|).
|f (z)| |z|
1 a |z|
(3.11)
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.
61
1
1
,
z1 (z) z2 (z)
f (0) c
1 cf (0)
c
;
z1 z2
1
z1
1
z2
(3.12)
|c|
|z1 | |z2 |
1,
|c| Uf2 .
(3.13)
Sea z = z1 en (3.11):
|f (z1 )|
a |z1 |
|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
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
-1.0
za
, |z| 12 .
1 az
1.0
za
, |z| > 21 .
1 az
(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()| ||.
63
1
|h (w0 )|
(3.15)
|f (z0 )| 1 |z0 |2 =
1
|h (w0 )|
(3.16)
d(z0 ).
(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
(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
(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
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 + ;
M z2
,
1z
M 1.
(3.20)
|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)
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=
max|f (z) z| r
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|.
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 )
1
|f (z0 )|(1 |z0 |2 )
=
,
6M
6M
(3.25)
Teorema de Bloch
66
d(z)
= d (w0 ).
2
0 )|(1 |z0 | )
d (w0 ) =
6 M d(z) ,
|f (z
d(z)
,
2
0 )|(1 |z0 | )
lo que implica
1/2
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.
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
1
1
(1) =
.
1r
1r
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
2
3
=
=
{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
=
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 |
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
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) :=
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() =
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
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| )
(3.28)
8(72)
log(1 t) df (tz)
|z0 (tz)|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,
c U(t)
|f (z0 )|2 (1 |z0 |2 )2
8(72)
8(72)
df (z0 )
c
8(72)
df (z0 )
c
df (z0 ),
|f ((z))|| (z)|
1 |(z)|2
|f ((z))|
;
1 |z|2
|f (0)|
|f ((0))|| (0)|
=
= |f ((0))|| (0)| M (0).
2
1 + |f (0)|
1 + |f ((0) f ((0))|2
71
(2)(4)
Si sup(1 |z|2 )|f (z)| < , entonces definimos
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
.
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() ;
2h G()
=
=
(G + F ) ( + h) (G + F ) ()
h (g()) + h (f ()) .
h h (G) = h (g( + h) g())
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
= (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
1 |z|2 |f (z)| C,
|f (z)|
|f (z)|
C
,
1 |z|2
C
,
1 |z|
(3.31)
(3.32)
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)
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)
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 ,
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 )
(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)
75
luego
cos 0
0
1 + 82
;
=
2
!
1 + 1 + 82
.
= arc cos
2
1
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 ,
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
|g (z)| A
t |P (r, t)| dt ,
P (r, t) dt
t |P (r, t)| dt = [t P (r, t)]0
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 .
=
=
(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 .
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
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),
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
Demostraci
on.
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
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.
79
zD
zD
zD
pero
sup(1 |z|2 )|f (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
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
<
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:
.
2
(4.4)
2}
ft (z) =
donde
eit
log
2
1 + eit z
1 eit z
eit
log
2
eit + z
eit z
z D.
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
= ,
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
1,
|1 e2it z 2 |
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 ) |
Funciones de Bloch
82
4.3.
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
1 |(z)|2
1 |z|2
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.
83
f (z) =
an z n ,
n=0
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
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 )
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
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,
1
1+
n
n+1
n1
x 2.
n1
2
e
,
2
z () := w D.
z
. Se tiene que z (0) = z y
1 z
85
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)|
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 ||
||
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
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)
|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|
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
Demostraci
on.
Sin perdida de generalidad, dado que es un espacio lineal, podemos considerar M = 1, luego
|f (z)|
|z|
,
1 |z|
z D,
(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
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
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
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
tenemos
kfn fm kB .
Luego dado
2
3
Se sigue que
1+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
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.
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
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
(1|z|)n
,
2n
n (n)
f (z)
n (n 1)!
2n
2 (1 |z|)n
n (n 1)! 2n1
1 |z|2
n
(1 |z|)
|f ()| d
|f ()| d ;
|f ()|d
Z
sup |f ()|d = sup |f ()| d
1 |z|
2
n (n)
f (z)
n (n 1)! 2n1
(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
1+|z|
2
22n (n 1)! kf kB .
||= 1+|z|
2
|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
(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
91
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)
sup |f ()| ;
||= 1+|z|
2
22n2 (n 1)! lm (1 |z|2 ) |f (z)|
|z|1
||= 1+|z|
2
lm
|z|1
1 |z|2
|z|1
n (n)
f (z) = 0.
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
2n1
n1 (n1)
n1 (n1)
(w)
+ lm 1 |w|2
(rw) ,
f
f
n 1 |w|1
lm
|w|1
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
zD
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
lm
|z|1
1 |z|2 |F (z)| = lm
|z|1
1 |z|2 |f (z)|
|z|1
1 |z|2
2
|F (z)| = 0,
Proposici
on 4.6.5. Sea g : [0, 1] R dada por:
(1 t) log
g(t) =
1
1t
|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.
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].
2
1
k
e
k
Demostraci
on.
Utilizando la proposicion anterior tenemos:
ZZ
ZZ
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 < +,
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
=
=
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
k=1
2k z 2
1
,
(1 z)
(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
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)
4.7.
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
1
Mp (f, r) =
2
it
|f (re )| dt
p1
97
1
2
|f (reit )|2 dt =
n=0
|an |2 r2n
4.7.2.
n=0
|an |2 .
El Espacio BMOA
z D.
Haciendo w =
s+
1+s
=
=
<
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
+.
4.7.3.
El Espacio de Dirichlet 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
(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
(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
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 .
(4.20)
99
Demostraci
on.
Sabemos que A =
RR
2
=
|f
(z)|
dx
dy
|1|2 dx dy,
R2
D(0,R)
D(0,R)
D(0,R)
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
|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
ZZ
D(a,R)
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
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)
|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
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
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
donde
J(p) = 2
Demostraci
on.
(log 1r )p
r dr.
(1 r2 )2
as
ZZ
p
1
|f (z)|2 log
dx dy
|z|
D
ZZ
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
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
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
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.
103
4.8.
Definici
on 4.8.1. Sea > 0, se define el Espacio B como
(4.24)
zD
1 |z|
|f (z)|
=
2
1 |z|
1 |z|2
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 .
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)|
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)|
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 .
|dw|
2 |wz|=r |w z|
Z
1
=
|f (n) (w)| |dw|
2r |wz|=r
!
1
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 =
|wz|=r
sup
|w|= 1+|z|
2
|f (n) (w)|.
sup
|w|= 1+|z|
2
rn |f (n) (w)|.
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
La cantidad (i) es menor o igual que veces la cantidad (ii) para alguna constante > 0.
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
1
R2
|f (n) (z)|p
D(0,R)
D(a,R)
1 |a (z)|2
1 |z|2
2
)dA(z),
1 |a (z)|2
4
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
D(a,R)
2
2np
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)
D(a,R)
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)
|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.
|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)
|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
= ,
<
<
<
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
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)
1 | (z)|2
1 |z|2
(n)
2 np
1 | (z)|2
= | (z)|
1 |z|2
2
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
2 np2
1 |z|
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 .
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
Apendice
110
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=
=
=
(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;
(A.4)
Definici
on A.0.16. [Ma] p. 164.
La funcion de Joukowsky (z) est
a definida por
(z) =
1
2
1
z+
z
112
Apendice
Bibliografa
[AnClPo]
[AuLa]
[AuReTo]
[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]
[Br]
[BuGuSi]
[Ci]
J. A. Cima, The basic properties of Bloch functions, Internat. J. Math. and Math. Sci., 2
(1979), p. 369-413.
[Co]
[Da]
[Du1]
[Du2]
[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]
[Go]
[Ha]
[Hi]
[JoNi]
[Ma]
[La]
[Ne1]
Z. Nehari, The Scwarzian derivative and schlicht functions, Bulletin of the American Mathematical Society, 55 (1949), p. 545-551.
[Ne2]
[Po1]
[Po2]
[Si]
[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]
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
Ludwig Bieberbach
J. L. Walsh
Antoni Zygmund
Louis Nirenberg
Lois de Branges
Christian Pommerenke
Rauno Aulaskari
Charles Fefferman
118
Fotografas
Joseph Cima
Peter l. Duren
Karel Stroethoff
AGRADECIMIENTOS