Funciones Armonicas

VALORES FRONTERA DE FUNCIONES ARMONICAS. GEODESICAS EN SUPERFICIES DE RIEKANN.
Jas Gonzlez Llorente
5309563
772
UNIVERSIDAD COMPLUTENSE
Director
de tesis:
Jas Luis Fernndez Prez.
Memoria para aspirar
al grado de
Doctor en Ciencias Matemticas.
Departamento de Anlisis Matemtico. Universidad Complutense de Madrid.
Mayo de 1993.
A mis padres, que han compartido conmigo alegras y sacrificios y a Raquel, que siempre ha estado cerca de m para apoyarme. A ellos Les dedico esta tesis.
Hace poco menos tiempo, a contemplar
de cinco
aos
tuve
la
fortuna de
que Jos
Luis
Fernndez comenzase a dirigir mi tesis. El me ha enseado, durante todo este el intrincado paisaje matemtico desde diversas y variadas perspectivas. Le agradezco de corazn el esfuerzo que ha derrochado en esta tarea y la comprensin y perseverancia que ha demostrado ante mis equivocados puntos de vista. La totalidad de esta tesis est indisolublemente unida a su inters y dedicacin. Pero no slo me ha enseado matemticas. Me ha enseado tambin a comprender el significado de dos palabras : entrega y generosidad. Puede que vaya olvidando lo primero con el paso del tiempo; esto ltimo espero no olvidarlo nunca. Agradezco sinceramente a mi profesar de Bachillerato y amigo, Enrique Velzquez, la confianza que depasit en mi y los consejos que siempre me ha dado. El me anim a descubrir la belleza que encerraban las matemticas y introducirme de lleno en ellas. Quiero dar las gracias al prof. que ha puesto en mi trayectoria y J.L. Gonzlez Llavona por el inters por la buena disposicin que siempre he a
encontrado en l cuando le he necesitado. Desea expresar mi agradecimiento al prof. Ansemil por el tiempo y la
ayuda que me ofreci durante la Licenciatura y por la cordialidad con que siempre me ha recibido. Mis agradecimientos asimismo al prof. B. Rubio por su amable colaboracin durante estos ltimos meses. Gracias tambin a toda mi familia y a mis amigos de la U. Autnoma y de la U. Complutense por su apoyo y su aliento.
EL destructor de cizaa. cardos y espinas es un benefactor tanto si siembra como si no. ROBERT G. INGERSOLL
INDICE
Introduccion.
.1
Captulo
1. 33 42 46 50
.1. Prueba del teorema 1 1.2. Prueba del teorema 2 1.3. Prueba del teorema 3 1.4. Prueba del teorema 4 1.5. Prueba del teorema 5
Capitulo II.
64
11.1
72 81
89
11.2 11.3 11.4 11.5. Prueba del teorema 6
95 102
110
Referencias
INTRODUCC ION.
Esta memoria est formada por dos partes, la primera analtica y probabilistica estudian unidad. y la segunda geomtrica. En la primera en parte el se
propiedades
frontera de
funciones armnicas
disco
En la segunda parte se usan los resultados analticos de la
primera con el fin de obtener informacin acerca del comportamiento asinttico de geodsicas en superficies de Riemann.
El estudio de las propiedades frontera de funciones analticas Co armnicas) en el disco unidad constituye una rama clsica en la teora de funciones de variable compleja. primero en el que se aplic la El trabajo de Fatou entonces incipiente [FI fue el teora de
integracin de Lebesgue al anlisis de problemas frontera en variable compleja. El siguiente teorema es uno de los resultados clsicos de la
1
teora.
Teorema CFatou)
Si u es una funcin armtinica acotada en el disco iG en la circunferencia unidad, excepto
unidad entonces para todo e quizs un conjunto de
medida de Lebesgue cero.
u(z) tiende a un
lmite finito cuando z tiende a e
dentro de cada cono simtrico

le
<respecto del radio correspondiente a e inferior a ir.
) de vrtice e
iO
y apertura
Si O
<
16
es un punto de la circunferencia unidad,
O s ~ < ir/2 y
r < 1, se define el cono de Stolz truncado.
e
C(e ,a,r)
=
{ e z
IArgClz)l ~ a,
r ~ IzI
<
>
donde Arg representa la eleccin del argumento en [ir, ir). Si f es una funcin definida en el disco unidad, A, complejos, y p e C, el plano complejo ampliado, limite no tangencial p en el punto e
16
con valores
se dir que tiene

16
(y se denotar e
e F(u.p)) si
16
para cada a e [O,ir/2),(z) tiende a p cuando z tiende a e f
dentro de
algn cono de Stolz C(e le ,a,r). El conjunto de todos los puntos de la circunferencia unidad,
811,
en los que f tiene limite no tangencial
finito se denomina conjunto de Fatou de f y se designar F(f). As, el teorema de Fatou se puede enunciar diciendo que casi todo e
te
e 811 es
un punto de Fatou de cualquier funcin armnica acotada en A.
Resulta natural
preguntarse
si
el
teorema de
Fatou
seguira
siendo cierto relajando las condiciones de crecimiento de max {Iu(z)I : pero
IzI
r>
funciones armnicas de crecimiento
lo cierto es que existen
arbitrariamente lento que no tienen lmite radial (finito o infinita) en ningn punto de la circunferencia unidad EMc2], conjunto de Fatou es vaco. Una pregunta que cabe plantearse es qu se puede decir acerca del comportamiento frontera de una funcin armnica cuyo conjunto de Fatou sea pequeo. ([Pl], de Una primera respuesta viene dada por el teorema de en particular su
Plessner frontera
[1]) que, de modo informal, dice que el comportamiento las funciones analticas es muy regular o muy
irregular: Teorema (Plessner): Si f es analtica en A entonces para todo e iB

i6
E
e 811, F(f)
salvo quizs un conjunto de medida de Lebesgue cero, o bien e
o bien la imagen por f de cualquier cono de Stolz truncado de vrtice
iB e
-.
es densa en . La dicotoma
expresada
en el
teorema
de
Plessner las
puede
ser en
formulada
geomtricamente
como una
propiedad de
geodsicas
cualquier superficie
de Riemann, segn se ver ms adelante.
El teorema de Plessner tiene varias consecuencias interesantes:
______________
Teorema de Fatou local.
Sea u una funcin armnica en el disco unidad
A y sea E un subconjunto de 811 tal que para todo e te e E existe algn e cono de Stolz truncado de vrtice e en el que u es acotada superior
o inferiormente. Entonces casi todo punto de es de Fatou.
Teorema de Unicidad de Privalov:
Si 1 es analtica no constante en
el disco unidad y p e ID, entonces 1 tiene lmite no tangencial p en, a lo sumo, un subconjunto de medida cero de la circunferencia unidad.
Si u es armnica en A, funcin f
=
el teorema de Privalov aplicado a la proporciona
u, 1 u
,
donde
es una conjugada armnica de u,
el siguiente teorema de unicidad para funciones armnicas:
Corolario:
Si u es armnica en el disco unidad, entonces u tiene
lmite no tangencial infinito en, a lo sumo, un subconjunto de medida cero de la circunferencia unidad.
Estos resultados muestran que cuando se analiza el comportamiento frontera de funciones analticas o armnicas en el disco unidad surgen de forma natural, asociados a las funciones, algunos subconjuntos Por ello se el
especiales de medida cero en la circunferencia unidad.
necesita disponer de alguna herramienta que permita distinguir
tamao
de
distintos que se
conjuntos utiliza en
de
medida
(de
Lebesgue) es la
cero.
La de
herramienta
este
trabajo
dimensin
Hausdorff, que se introduce a continuacin.
Si E c [0,1] a
y O s a s 1,
se define el contenido de Hausdorff
dimensional, M (E), como el nfimo de las sumas a

w
211k1 a
donde {I }~
1< <=1
es
.
un recubrimiento por intervalos de E y
II 1 es la
Ic
longitud de 1
1<
Cuando a designa El.
1, M (E) es la medida exterior de Lebesgue de E, y se

1
Si en al definicin de a
contenido se exige que los intervalos
que forman el recubrimiento sean didicos se obtiene el a didico Md que es comparable con el ordinario: a
M
contenido
Md
s 3M
La dimensin de Hausdorff de E se define as: dimE=inf<ac[0,1]:M(E)=O} a Ntese que la desigualdad M (E) a

>
O implica dim E ~ a.
Un procedimiento habitual para estimar inferiormente la dimensin de Hausdorff de un subconjunto de [0,1]es la construccin de una medida en [0,1]que tenga masa positiva en dicho conjunto. Concretamente: Sea i(I)
ji 5
una medida finita positiva en [0,11que verifica
CIII a para todo intervalo 1 y alguna constante

>
(0.1)
positiva C. Si E c [0,1]y jiCE)
0, entonces dim E ~ a
k
Para probar (0.1) basta observar que si c [0,1],pIE) > O y {I } es
un recubrimiento de E por intervalos, O En este

<
entonces
Cg(E) s se
E
k
trabajo
ha
preferido
introducir
la
dimensin
de
Hausdorff a travs del contenido en lugar de la medida de Hausdorff debido a la mayor simplicidad y mejor manejabilidad de la definicin. Las propiedades bsicas de pueden consuitarse en [Ro], la medida y el [O]. contenido de Hausdorff
Una nocin similar a la de cx

ji
contenido es la de a en ID, se define la
capacidad. integral de
es una medida positiva (0 s a a

=
finita
energa 1(g),
<
2) de la forma
-
J$(b<
donde
sia=O
iog la a
-
Si F es un subconjunto de ID, cap(F),
capacidad de F, que se designara
se define mediante la expresin: p~ (cap CF))

=
mf {i
(ji)
ji
es una probabilidad en F}
y si E es un subconjunto cualquiera de ID. se define la a de E como cap(E) Cuando cx

= =
capacidad
sup {cap CF) : F c E, E compacto> O
O,
la
capacidad
recibe
el
nombre
de
capacidad
logartmica. La importancia de la capacidad logartmica reside en q~ie los conjuntos de capacidad logartmica como conjuntos de tamao cero pueden ser considerados en ciertos problemas de
despreciable
extensin analtica.
Si E c (0,1], la dimensin capacitaria dim(E)=inf{ae[0,l]:cap(E)=0} a coincide con la dimensin de Hausdorff ([Ci, Fag. 28).
A lo largo de todo el trabajo, sistemticamente aplicacin t

*
el intervalo
[0,11 811,
se identificar mediante la
con e 1 Zltt
.
la
circunferencia
unidad
La medida de Lebesgue de un subconjunto E c 811 anterior permite
ser denotada igualmente por IEI y la identificacin hablar de a
contenido y dimensin de Hausdorff de subconjunto de 811.
La adopcin de puntos de vista probabilsticos constituye uno de los aspectos relevantes de esta memoria. Concretamente, ha resultado
muy ventajoso interpretar problemas de valores frontera de funciones armnicas en trminos del comportamiento asinttico el intervalo unidad. de martingalas en
Puesto
que
los
ejemplos
de
martingalas
que
aparecen
en
el
captulo 1 son bien concretos, se elude dar la definicin abstracta de martingala, que puede consultarse en
[SI!,
[St]. Algunos
casos
particulares son las sumas de variables aleatorias independientes y las martingalas didicas en [0,1].Una martingala didica en [0,1] es una sucesin (5 rl ) de funciones escalonadas de forma que cada S rl es constante intervalos en los
+
intervalos 1)2], 0
5
didicos
de
la
generacin
(los
a
(m2,(m
m 52 1) y el valor que toma 5
en
cada intervalo de la generacin n es la medida de los valores que toma 5 en sus dos hijos didicos de la generacin n 1 (Obsrvese la
+
n+1
analoga con la propiedad de la media de las funciones armnicas).
Un ejemplo muy interesante de martingalas didicas en (0,1] constituye las sumas de

+
lo la
las funciones de Rademacher.

-
Si
es
funcin que vale
1 en (0,1/2) y
=
1 en [1/2.1], definanse ct ~ [0,1], k ~ (X ) son las funciones de

k
Xk(t) donde (a]
2%
2kt]
denota la parte entera de a.
Rademacher en (0,1] y las sumas 5=
~L=~
X
forman una martingala didica en (0.1], tienen siempre valor absoluto 1.
cuyos incrementos S La martingala (5 )

n
rl
puede
interpretarse
probabilisticamente
como la fortuna despus de n jugadas
de un jugador que lanza una moneda, cada una de cuyas dos caras sale con probabilidad 1/2, y gana o pierde una unidad en cada intento,
segn acierte o no acierte. Si, por ejemplo, los xitos se representan por ceros y los fracasos por unos, entonces el conjunto de todas las opciones sucesiones del juego se identifica con el conjunto de todas las
formadas por ceros y unos, clsicos
es decir,
con el
intervalo las
[0,1]. Resultados
(ver por ejemplo
[Fe]) afirman que
fortunas poseen un carcter totalmente oscilante para casi todas las posibilidades del juego:
hm sup 5 rl (t)
n* 0
+ w
hm sup 5 rl (U
n.-+ W
para casi todo t ~ [0,1]
En particular el conjunto e [0.1] : hm 5 (U

n rl
=
+ o
en el que la fortuna tiende a infinito tiene medida cero. Sin embargo la pregunta natural que surge es la siguiente: Cmo de grande es este conjunto? Por ejemplo cul es su dimensin de Hausdorff ?
La respuesta es que se trata de un conjunto de dimensin de Hausdorff uno. El razonamiento que permite llegar a esta conclusin
es especialmente ilustrativo y se ofrece a continuacin.
Para empezar, construir una
se elige un nmero positivo a, de probabilidad en se
1/2
<
<
1.
Se un al
medida
(0.1]
mediante masa a
procedimiento
iterativo.
En el
primer paso,
asigna 1]. se
intervalo (0,1/2) y masa 1 paso se independiza la
a al intervalo (1/2. es decir, 3/4).
En el segundo asigna a los a

2
asignacin,
intervalos a(1
[0,1/4), [1/4. 1/2), (1
(1/2,
[3/4, 1]
masas
a),
a)a,
(1
a)2 respectivamente.
Habindose
seguido
este proceso hasta el paso n,
la forma de continuar es clara: Si es la masa asignada a sus dos
un intervalo didico de la generacin n, hijos didicos de la generacin n

+
1 es el producto de la masa izquierdo o por
asignada a 1 por el factor a si se trata del hijo 1
a si se trata del hijo derecho Se demuestra ([Sh] Pag.

ji
150) que esta asignacin realmente define en [0.1].Si 1 es un intervalo didico de
una medida de probabilidad
la generacin n entonces, por definicin:
jiC)
ak (1
a) nk
(0.2)
donde k es el nmero de veces que se ha elegido la izquierda para llegar a 1 o, en lenguaje ldico, el nmero de xitos en las primeras n jugadas. En particular a pIE) donde a
=
a~
Ii
(log
...i~
a
)(log 20.
Las
funciones
de
Rademacher
(X )
son
variables
aleatorias
independientes
idnticamente
distribuidas
respecto
de (Fe]
la se
probabilidad ji y de la ley fuerte de los grandes nmeros deduce: S Ct) hm

a
A
Ji
IXdji2a1 o
>0 (En [BU, Pag. 141
para casi todo t ~ (0,1] respecto de la medida ji.
se utiliza el teorema ergdico. Ver tambin [Hw].Pag. 29). Por tanto, existe un conjunto E c [0,1], con pIE) la fortuna 5(t) tiende a
rl + w
=
1 tal que, para todo t c E,
con el mximo crecimiento.
De (0.1) y (0.2) se deduce pues: dim < t (0.1] hm 5 rl (t) rl > ~ cx
y el resultado anunciado se obtiene cuando a se hace tender a 1/2.
Si (nk) es una sucesin de enteros que satisface la condicin de Hadamard: n n la sucesin (e (kcW
1<
rl e k
) 0
<
2ir,
se comporta en muchos aspectos como
una sucesin de variables aleatorias independientes e idnticamente distribuidas. Este hecho ha sido extensamente abordado en la
literatura matemtica de los ltimos cuarenta aos; por ejemplo se han obtenido resultados anlogos a las leyes de los grandes nmeros, el teorema central del lmite y la ley del [SZ], logaritmo iterado ([SZ ],
1
[W]. [1<]) para las sumas trigonomtricas. T(6)

=
acos(6n
k1
y de ellos se deducen resultados paralelos para los lmites radiales de las series lacunares
Re ~
k= 1
En el caso particular n
k
2k,
1 para todo k
~ se tiene, igual
en el ejemplo del lanzamiento de la moneda:
n40
sup
T e
+ w,
hm ini T
para casi todo e e [0,2u]
y tambin ((Hw], Pag. 29): dim <6 Si 2 u(z)

= =
6
[0,2ir] hm 1 (6) :
Re ~ z k1
2
k1
r2cos
( 62k)
6) (z=re
se desprende de un clculo sencillo que existe una constante absoluta
>
O tal que
IT(S)
En consecuencia: sup u(re~6)
r 4 1
=
u(retI
si
<
2<rl1>
+ w,
hm
r 4
mf
1
uCre iS)
para casi todo 6
[0,2ir]
te
dim { O
[0,21W
IIni u(re
+ w
Una funcin anhitica f en el disco unidad es de Bloch (Pl si Sup { (1 De forma anloga,
Iz )If (z<
2
IzL
<
1 }
<
se dir que una funcin armnica u en el disco o
unidad es de Bloch si es la parte real de una funcin de Bloch. equivalentemente: sup <(1
II 2)VWj
IzI
<
<
donde Vu es el gradiente de u.
Las
series
lacunares
proporcionan
ejemplos
interesantes
de
10
funciones de Bloch. Una serie lacunar

rl
n
k
,
f(z)
b z
k k1
k+1
n
k
>
1.
1, 2,
es de Bloch si y slo si EACF]: sup Ib k

It
<
El siguiente
ejemplo
anterior,
Re
k1
z itt
k
,
es EA?2],
un
caso
particular del
teorema de Anderson [M ],
1
refinado posteriormente uno de los puntos de
por Makarov
EM ],
2
que ha constituido
arranque de este trabajo:
Teorema: 1 es un
Si u es una funcin armnica de Bloch en el disco unidad, y arco

>
de
la
circunferencia
unidad,
entonces
bien
19(u) n II
00 bien ~ hm u<rete)
i-*1
=
dliii [ele
En EM 1, se aproxima la funcin u por una martingala didica en

2
[0,1].La propiedad de Bloch se traduce en la acotacin uniforme de

los incrementos de la martingala y el procedimiento de aproximacin permite deducir el teorema anterior para martingalas: del siguiente resultado anlogo
Teorema: 5
rl
Si (S ) es una martingala didica en [0,11 cuyos incrementos

rl
n1
son uniformemente
acotados,
entonces o
bien S <t)
tiene
lmite finito cuando n tiende a infinito en un subconjunto de [0,11 de medida positiva, o bien dim U
E
[0,11
hm S U)
n n
1.
11
La
condicin
de
Bloch
es
una
fuerte
restriccin
sobre
la
derivada. Por ejemplo, si una funcin es de Bloch, entonces crece a lo sumo como log(1
Izil pero el recproco no es cierto. De hecho,
como ya se ha mencionado, existen funciones armnicas de crecimiento arbitrariamente lento que no tienen limite radial (finito o infinito) en ningn punto y en particular no son de Sloch.
Por consiguiente, si no se imponen condiciones sobre la derivada de la funcin, los limites radiales no ofrecen una panormica completa
del comportamiento frontera y se hace necesario el uso de formas menos restrictivas de convergencia que ayuden a describirlo,. una funcin f definida en A tiene lmite asinttico p e t
tU E E
Se dice que
ID en el punto
le
8A si existe un camino T :
4
[0,1)
1.
A tal que r<t)* e
cuando
1 y f(7(t))
p cuando
El conjunto de puntos en los que
f tiene lmite asinttico p se denota A(f.p). Para cada a e [0,1), se define la clase 4< a armnicas en el disco unidad que satisfacen: a sup <(1 Iz) u(z) : z E A > e es invariante por composicin con funciones analticas de
<
de todas las funciones
La clase 4< a
A en A:
Si u
E
4<
y f : 11
A es analtica, entonces
uof
4<
(0.3)
En efecto, dada f:11*11 analtica, unidad q~, y : 11

*
existe un automorfismo del disco con g(0)

=
A analtica;
O tal que f
2
9og.
Por
tanto (Ver [G], Pag 2): 1 y

uof E
If(z)I
4<a.
I~ (g(z)H(1
Ig(z)I )
eCl
IzI )
(z
A)
Se ha obtenido el
siguiente resultado paralelo al teorema de
12
Anderson
itt
Makarov para crecimientos ms generales ([FLL

1
]):
Teorema 1.
Para cada a e [0,1) existe una constante positiva C a y 1 es un arco de la
si u e 4< a circunferencia unidad, entonces 9(u) n II > O que slo depende de a tal que,
ti (A(u, +co)flI)~C
Ii~a
a
y en particular u tiene lmite asinttico de dimensin de lausdorf1 al menos 1

-
~ en un subconjunto de 1
a.
Los teoremas que configuran este trabajo se distinguen por numerados. El resto de los teoremas que se citen no llevan nmero
ir
La prueba del teorema 1 usa una adaptacin de un argumento de Makarov [SI ].

1
Conviene sealar que Berman ha obtenido el siguiente
resultado relacionado EB]: Teorema Si 1 es analtica en A y sup [(1 IzI)If(z)
zsA)<w
<OScz<1)
>
entonces para cada arco de la circunferencia unidad, 19(1) n II ti<A<f,w) n 1) Ntese que el
>
0 6
O a diferencia del
=
teorema de Berman,
teorema
1,
es
aplicable a funciones subarmnicas de la forma u
logifi,
mientras
que, por otra parte, el teorema 1 proporciona una estimacin uniforme del 1
a contenido.
No se ha conseguido hasta ahora,
unificar las
tcnicas usadas en las demostraciones de ambos resultados. El teorema 1 tiene el siguiente anlogo para capacidades: Teorema 2. Si u es armnica en A y verifica: u%z) 11 (1
ziA dx dy
13
<
donde O
<
(3
<
1, existe una constante positiva
que slo depende de

>
(3 tal que, si 1 es un arco de 811, entonces IFCu) n fi

cap
-(3
<Mu,
+ w)
nl) ~ C
(3
Las
conclusiones sobre el
del
teorema
1 se
conducen necesita
preguntarse
qu poder
restricciones
gradiente
imponer para
deducir la existencia de limites radiales a partir de la existencia de lmites asintticos. El clsico teorema de Lindelbf ([CL] funcin analtica acotada en 11 tiene Pag. lmite 19) dice que si una asinttico
iB
.
en
e tU
entonces tiene el mismo limite
no tangencial en e
Esta conclusin
sigue siendo vlida con restricciones bastante menos severas sobre la funcin. Este hecho fue extensamente desarrollado por Lehto y Virtanen [LV], que introdujeron el concepto de funcin normal. Una funcin
analtica en 11 se llama normal si sup {U Lehto y
z 2)(
If(z)I 2) 1 lfz)I el siguiente
IzI
<
1 }
<
Virtanen
demostraron
resultado
(Ver
[1],
Pag.268): Teorema Si E es normal y tiene lmite asinttico a

E
ID en un punto
de la circunferencia unidad entonces E tiene lmite no tangencial a en el mismo punto. Si u es armnica en A y su gradiente satisface una condicin de crecimiento del tipo
iVu(z)
SC
1~~<~>t
=
(z E
A)
se comprueba fcilmente que la funcin f una conjugada armnica de u,
exp (u
Rl), donde u es
es normal. Por tanto, si u tiene lmite
14
asinttico
w,
tambin tiene limite no tangencial
ca.
El prximo sobre el
resultado dice que basta con que exista alguna restriccin
gradiente en trminos de la funcin para que esto siga siendo cierto.
Teorema 3. existe
0
Sea u armnica en el [0, + ca) <1

+
disco unidad y supngase que tal que

(st e
<O, + ca> no decreciente,

S o(u(z)j)
IzI 2.)IVu(z>I
te
A)
Si u tiene limite asinttico tangencial

+
+ ca
en e
entonces u tiene limite no
ca
en e
El teorema 1 junto con el teorema 3 proporcionan versin del teorema 1 con limites radiales:
la siguiente
Corolario 1.
Supngase que u e 4< (1
cx
<
1 y
(st e
Iz 2)iVu(z) s 0(Iu<z)I)
0
A>
Si 1 es
para alguna funcin
10,
+ ca)
(0, 6
+ ca>
no decreciente.
un arco de 811, entonces <u) n II > 0
1-a
donde C es una constante positiva que slo depende de cx. cx
La
siguiente
cuestin
que
se
alt
aborda
es
la
construccin
de
funciones armnicas en las clases
cuyos limites radiales presenten
un comportamiento determinado. En vista del valor de la dimensin de Hausdorff que se obtiene en el teorema 1, resulta natural preguntarse si existiran tuviese
+
funciones medida
armnicas
en la clase 4<
cx
cuyo conjunto limites
de
Fatou fuesen
(de Lebesgue)
cero y cuyos
radiales
ca en un conjunto de dimensin 1
a.
15
Para la construccin de este tipo de ejemplos se ha aprovechado el paralelismo, ya esbozado en esta introduccin, entre funciones
armnicas en A y martinglas en [0,1]
mediante el cual el crecimiento
de la funcin se corresponde con el crecimiento de la martingala y el comportamiento radial de la funcin se corresponde con la
convergencia de la martingala. El primer paso ha sido, pues, construir martingalas en [0,1] que satisfagan las propiedades paralelas a las exigidas a las funciones. -a Si e (0,1]. p e Ny .3 es un nmero positivo, con p se define: s5 <1,
(+1
Xc (t)
=
dci
Ostsd .5 < t 1
5
X (U
It
= Xc(p
It
It [p t])
Oc e N, t
It
[0,1])
donde [a] simboliza la parte entera de a. Obsrvese que X Xc en cada intervalo Sea S( t) La martingala
=
reproduce
(mp
k
,
Cm
l)p
-It
] con 0 s u
It
1.
Ita
k0
XItCt) las siguientes
(te
(0,1], neN)
de
(5)
posee
propiedades
convergencia (ver lema 1.3): 1) 5

rl
0(p) limite finito, cuando n tiende a infinito, para
u)
5 Ct) no tiene ningn t e(0,1].
iii) El conjunto e [0.1]

:
hm 5 Ct)
rl rl
= + e>
tiene dimensin de Hausdorff 1
(log-}-Hlog pi.
16
Ntese que el valor de la dimensin en iii)
es exactamente
a con
-a
la eleccin fi
= p
Ahora, si a 5 p (3 y
[0.1],
(3 e(0,] y p e ~ es bastante grande, elijase

armnica acotada en A cuyos valores
sea h la
funcin
frontera dados por: h(et~t) es decir, h vale

+
Xo(t)
<
(0
t s 1)
1 en el arco {e~~ : O Obsrvese que

=
<
2irfi} y
5(1
.3)
en su complementario.
XIt (t)
hCe2irtP)
(0
1,
k e
Si se define ahora la funcin

e It (st
uCz)
~ pIt%(zP )
k=O
cA)
que depende de cx, (3 y p, es claro que SC t)

rl
=
L..
ka
h( t2lTtP
It 0
para todo n e ff4 y todo t ~ (0,1], por medio de las sumas parciales
luego la martingala
CS ) se recupera
rl
de u. Las propiedades
frontera de u
se reflejan en el siguiente teorema:
Teorema 4. a>
Existe una constante absoluta C
>
O tal que
,
Si a E [0,1) y (3 e <O,a) n <0. 1/2) entonces u e 4<
cx
u no tiene
limite radial finito en ningn punto de 811 y u tiene lmite radial

+
ca
en un subconjunto de 811 con dimensin de Hausdorff comprendida
entre 1 1)
(3 y 1
(3
C<log p) 1
Si e [1/2, 1) y(3 611/2, cii entonces u e 4<, uno tiene lmite a radial finito en ningn punto de 811 y u tiene lmite radial + ca en un subconjunto de 811 con dimensin de Mausdorff comprendida entre (3 y
17
(3
log<Clog p)<log p).
Obsrvese que el teorema 4 proporciona valores de la dimensin siempre mayores que 1/2. Algunas modificaciones de la construccin anterior
permiten eliminar los
trminos de error,
as como obtener mejores
cotas inferiores de la dimensin:
Teorema 5 a) Si a
E
[0,1) y (3 e <0,4 n <0,1/21, existe u
alt
tal que u no
tiene lmite radial finito en ningn punto de 811 y u tiene lmite radial b)
+
ca
en un subconjunto de 811 de dimensin de Hausdorff 1
(3.
Si ci e <1/2, 1), (3 E<1/2, a), existe u E 4<
tal que u no tiene
limite radial finito en ningn punto de 811 y u tiene lmite radial

I
+
ca
en un subconjunto de 811 de dimensin de Hausdorff (1 Examinando las conclusiones del
2(3>
teorema 4 se constata que el
mecanismo de intercambio entre funciones y martingalas que sirvi de motivacin resultados originan para la construccin para para valores valores de estos ejemplos ha 1/2 a dado pero los se
esperados distorsiones
de (3 de (3
menores que
superiores
1/2.
Esta
situacin se transmite al teorema 5. El teorema 5 es una variante del teorema 4 que de ms informacin que ste porque proporciona dimensiones menores que
1/2 adems de
suprimir los trminos de error. El precio que se paga por ello es el de una construccin ms artificiosa pero cuyos aspectos tcnicos pues, por
esenciales se encuentran en el teorema 4.
Se ha optado,
4
ofrecer una prueba detallada

esquemtica del teorema 5.
del
teorema
y dar
una prueba ms
18
La razn de considerar series del tipo

ca
It
h(z~ en lugar de series trigonomtricas
se debe a que, Re It =0 ka pk si p es grande (lo cual
es esncial en el argumento
utilizado en el teorema 4) entonces la dimensin resultante en el caso trigonomtrico es prcticamente

ci.
(del
orden
de
CClog p) 1 ),
independientemente de
De ah que las series trigonomtricas sean
demasiado rgidas para los propsitos que se desean y se introduzca la funcin h con el fin de alcanzar una mayor flexibilidad que permita obtener un Intervalo ms amplio de valores de la dimensin.
El
inters
en
el del
tipo estudio
de
problemas
que
se
ha
tratado de
anteriormente surge
del
comportamiento
asinttico
geodsicas en superficies de Riemann. Antes de presentar los problemas que se abordan en el segundo captulo, conviene comenzar exponiendo
las nociones bsicas que configuran el punto de partida de la teorcia de ([A], superficies de Riemann. Los detalles pueden consultarse en
[Be], [Boj)
Una uno
superficie Por
de
Riemann todo
es
una
variedad plano es,
compleja de forma
dimensional.
ejemplo
dominio
natural, una superficie de Riemann.
Si
es
una
superficie
de
Riemann
cualquiera,
existe
una
superficie de Riemann simplemente conexa S, nica salvo equivalencia
19
conforme, y una aplicacin analtica E recubridora bianalitica. en sentido topolgico. S se
S que es una aplicacin E es localmente
En
particular
La superficie
llama recubrimiento uiversal de 5 lo usual es emplear Si E : S

*
aunque por razones que se explican ms adelante, este trmino para referirse a la aplicacin E. recubrimiento universal de 5 y g 5
*
5 es un
es bianalitica entonces Fog
es tambin un recubrimiento universal de 5 y todos los recubrimientos universales se obtienen de esta forma. Dado un recubrimiento universal E : 5 las
Fog
*
5, el grupo recubridor G asociado a E est formaddo por todas (automorfismos) y sin g :

.
aplicaciones bianalticas
=
tales que
y 5 es
E.
actua
discontinuamente
puntos
fijos
conformemente equivalente a S/G (dos puntos p, q c S son equivalentes mediante G si existe g c G tal que gC~)
=
Si E es un recubrimiento universal de 5 y g es un automorfismo de 5, el grupo recubridor

= g
1 1
G
1
asociado
E
1
Fog
es
conjugado
con
G,
concretamente G
Gg.
En virtud del
teorema
de
unuformizacin,
toda
superficie
de
Riemann simplemente conexa es conformemente equivalente a la esfera de Riemann C

,
el plano
complejo ID o al disco unidad A,
por tanto el
recubrimiento universal de cualquier superficie de Riemann es, salvo equivalencia conforme, una de estas tres superficies cannicas y
cgrupo recubridor estar formado por transformaciones de Moebius.
Si S
= ID
los automorfismos de son todas las transformaciones
de Moebius.
Puesto que cada transformacin de Moebius tiene algn
punto fijo, no hay grupos que actuen sin puntos fijos, y 5 debe ser conformemente equivalente a C.
20
Si S
= ID,
el grupo de automorfismos de S est formado por todas

*
las transformaciones de Moebius st puntos fijos debe ser a discontinuamente,

= 1 y
az
b. Si se exige que no haya subgrupo actue
si se exige que el
los nicos subgrupos que quedan son los generados
por una o dos traslaciones. Las superficies que se originan, aparte de ID

=
5, son ID\{0} y los toros.
Las superficies S cuyo recubrimiento universal es
son por
tanto las superficies conformemente equivalentes a ID, ID, CV0} o a un toro. Todas las dems tienen como recubrimiento universal al disco
unidad A.
En todo lo que resta de trabajo la denominacin superficie de Riemann se otorgar exclusivamente a las superficies cuyo
recubrimiento universal es A.
El
grupo de automorfismos de A,
AutCA)
est formado por las
transformaciones de Moebius TCz)

=
_____
sta 1 az
a e A
Xi
y por tanto el grupo recubridor de cualquier superficie de Riemann es un subgrupo de Aut(A) que actua discontinuamente y sin puntos fijos.
Debido a la equivalencia conforme entre A y el semiplano superior U

=
<st E
ID
Im
st
>
0>
menudo
se
preferir,
por
comodidad,
considerar U como recubrimiento universal. El grupo de automorfismos de U, Aut(U), est formado por las transformaciones de Moebius:
21
T(z)
az cz
+ +
b d a, b, c, d e A pueden
,
ad
bc
Los subgrupos traslacin
grupos de z
~
recubridores Por
considerase los grupos

~
igualmente generados
>
como la
Aut(U). z
+
ejemplo,
por
1 y por las homotecias z
Az (A
0) son grupos
recubridores del disco menos un punto A\<0> y de los anillos centrados en 0.
La observacin crucial debida a Poincar es que los automorfismos de A son precisamente las isometras que conservan orientacin cuando se dota a A de la mtrica que tiene por elemento de longitud Cdx2 2 ~ ds 2 ds2 =
(1
zi
a~
1z12 IdzI
Esta mtrica se conoce con el nombre de mtrica de Poincar. Se trata de un mltiplo variable de mtrica cucldea y por tanto es conforme con ella. El disco unidad con la mtrica de Poincar es una mtrica completa de curvatura constante
constituye
el
modelo
de
Poincar de la geometra hiperblica. Las geodsicas son los dimetros y los arcos de circunferencia ortogonales a 811. La distancia denotar dA. Si z
E
de
Poincar.
o distancia hiperblica,
en A
se
A, dA CO,z)
=
log
y en general, si z,
e A:
A (z,w)
og
1 + 1-
<-14 -.1.
1z
ni
La mtrica de Poincar es la nica mtrica en A conforme con la
22
mtrica cucldea y de curvatura constante
1.
Mediante una transformacin conforme, la mtrica de Poincar en A se transforma en mtrica en U que tiene elemento de longitud ds
=
___
y a la que se llamar mtrica de Poincar o hiperblica en U. A y U son isomtricos con sus respectivas mtricas de Poincar.
Si
es
una
superficie
de
Riemann
E : A
-4
es
un
recubrimiento
universal
de 5 entonces
se puede representar 5
= A/O
donde G es un grupo de isometras de A. La mtrica de Poincar en A se proyecta por curvatura
medio
de
en una
mtrica
riemanniana
completa de
1 en 5 que convierte a E en una isometria local. Esta
mtrica se denomina mtrica de Poincar en 5. Las geodsicas son ahora las imgenes por E de las geodsicas de A. es decir, las imgenes de
los dimetros y los arcos de circunferencia ortogonales a La distancia asociada, distancia cociente: d(p.q)=inf{d(z,w):
5
a.
que se denota por d, es en realidad la
z,w
A,
F(z)p,
F(w)=q}
Cp,qeS)
y se verifica que, para cada p,q existebeAconECb) =qyd5 Cp, q) La distancia d 5
5 y todo d11Ca.b).
a c A con F(a)
convierte a 5 en un espacio mtrico completo es decir las bolas crradas
que verifica la propiedad de HeineBorel, son compactas.
El lema de Schwarz admite la siguiente formulacin en trminos de la distancia de Poincar f : 5

1
4
si S~ 5
2
son dos superficies de Riemann y
5 es holomorfa entonces
2
23
d 5 (f(p), f(q)) s d 5 (p,q)

2 1
(p,q c 5 1 ) decrecen
(0,4) distancias
Por
consiguiente
las
funciones
holomorfas
hiperblicas. Si O c ID es un dominio plano (distinto de ID. C\<a}, con a e ID) la mtrica de Poincar d
=
en O tiene elemento de longitud A0Cz)IdzI densidad de Poincar. Si E : A

*
donde
A Cz)
es
la
es
un
recubrimiento universal de 0, E es una isometra local y se deduce que A CE(st))IF(z)I

=
(z e A)
(0.5)
de modo que conocer la densidad de Poincar equivale a conocer el recubrimiento universal. Si O

1
c O~,
se
deduce
de
(0.4)
la
siguiente
propiedad
de
comparacin: A0 (z) s A Cz) 0

2 1
CzcC2)
1
(0.6)
En general resulta imposible calcular explcitamente la densidad de Poincar, as que slo se puede aspirar a conseguir buenas
st
estimaciones. Si z e Oc ID y d0Cz) es la distancia euclidea de
a la
frontera de O se deduce de (0.4) la siguiente desigualdad general: A (z) 2 (0.7)
Las desigualdades delicadas,pues dominio 0. La dependen
en sentido de las de
opuesto
son por
lo
general
ms del
caractersticas la densidad de
particulares Poincar
importancia la
reside
precisamente en que
geometra del
dominio O se
traduce en la
existencia de ciertas cotas inferiores de la densidad y esto permite, segn (0.5), conseguir estimaciones del crecimiento del recubrimiento
24
universal
de
donde
se
obtienen
facilmente,
por
subordinacin,
estimaciones de crecimiento de cualquier funcin analtica de A en O. Esta forma de proceder ser utilizada a lo largo de la seccin 11.4, en la que se da una prueba moderna de un resultado clsico de Littlewood, basada en el uso de la mtrica de Poincar. Este es uno de los ejemplos que pone de manifiesto la la transparencia con la que
ciertos problemas de
teora analtica de funciones pueden ser
entendidos empleando tcnicas geomtricas como la mtrica hiperblica.
SI E es el recubrimiento universal de una superficie de Riemann y G es su grupo recubridor asociado, la rbita GCa) de un punto a e A es el conjunto {g<a) g
E
Gb
=
Puesto que todo grupo recubridor actua

=
transitivamente <si FMst)
FCw). existe g e G tal que g(z)

=
w),
la
rbita O(a) coincide con el conjunto <z e A : FCz) carcter discontinuo de O,
E(a)>. Debido al
la rbita de cada punto es discreta y slo
se acumula en 811 y el grupo O es numerable.
Si p es un punto de la superficie de Riemann 5 se define el radio de inyectividad de p, 5 (p) como el supremo de los radios r
5
>
O tales
que la bola B Cp,r) es simplemente conexa. De las propiedades bsicas de las aplicaciones recubridoras se deduce que 5Cp) es el supremo de los radios r
>
O tales que la restriccin de recubrimiento universal E con E(a) expresarse

= p,
a la bola hiperblica BA (a, r), radio de inyectividad puede
es una isometria. trminos del
El
en
grupo
recubridor O. Se tiene ([Bu], (F(z))

8
-~
Pag 96):
ip
(z) g
t
Cz
A)
(0.8)
donde iiCz)
inf{d(z A
g(z)) : g e O.
identidad>
25
La relacin (0.8) tiene siguiente interpretacin geomtrica: radio de inyectividad de p

E
el
5 es la mitad de la longitud de la curva
cerrada no trivial ms corta que pasa por p.
Tras esta parte preliminar se pueden exponer ya los problemas que se tratarn en este capitulo. La cuestin bsica es la siguiente:
Cuantas
geodsicas
que
parten
de
un
punto
arbitrario
de
una
superficie de Riemann se marchan a infinito en la superficie?
En trminos ms precisos,
sea una supericie de Riemann,
se
elige p e S y se considera la circunferencia de direcciones en p, es decir, la circunferencia unidad en el espacio tangente en p. Para cada direccin y e C(p), se designa por
~
(t) la geodsica que
parte de p con velocidad inicial y, parametrizada en R. Se define la dimensin geodsica rtS.p) como la dimensin de Hausdorff del conjunto e C(p) : Evidentemente, 7(S,p)
E
1dm d(p,r(t))
= ca>
(0.1]. Se ver (Corolario 2.5) que 2}S,p) no
depende del punto base p y se designar simplemente por r(S).
Si E es un recubrimiento universal de A en 5 con E(O)
= p,
las las
imgenes por E de los radios que parten de O son precisamente geodsicas que emanan de p.
La aplicacin tangente es una isometria
entre el espacio tangente de A en O y el espacio tangente de 5 en p, de ah que se identifiquen C(p) y 8A. Se tiene por tanto: y(S)
= dita <6
E
(0.Zifl :
lira dCp,E(re
r-*1
1]
= e>
26
Por
ejemplo,
si
A\{0},
la
funcin
FCz)
e iz
es
un
recubrimiento universal del semiplano U en O. Todas las geodsicas que partan de un punto cualquiera de O terminan en 80 y por tanto se
marchan a infinito en 0 (Ntese que la frontera de un dominio pano est a distancia hiperblica infinita). Por tanto ~CA\<0})=
1. En O
hay curvas cerradas de longitud hiperblica arbitrariamente pequea que rodean el origen, situado por supuesto a distancia infinita. El
origen representa geomtricamente una cspide que se alarga hasta el infinito y se estrecha cada vez ms. De hecho, los entornos de O en O son isomtricos a regiones de la pseudoesfera.
Si O
C\<0,1,ca>, el recubrimiento universal de O es la clsica
funcin modular (Ver por ejemplo [Fu], Pag.54). Los puntos 0,1,ca son aislados en 80 y cada uno de ellos origina una cspide. En este caso slo hay una cantidad numerable de geodsicas que, partiendo de un punto cualquiera, terminan en 0,1, 6
ca,
y por tanto ~(0)
0.
En
realidad casi toda geodsica se acerca arbitrariamente a cada uno de los tres puntos o, de forma ms grfica, se introduce infinitas veces en cada una de las tres cspides y alcanza alturas arbitrariamente grandes. La cuestin de la frecuencia con que las geodsicas penetran en las cspides ha sido tratada en problemas de aproximacin diofntica. Estos ejemplos se analizarn con ms detalle en la seccin 11.3. Una aproximacin heurstica al problema parece sugerir que en el caso de dominios planos debera haber ms geodsicas que se marchasen a infinito cuanto ms grande (en algn sentido) fuese la frontera del dominio. Un teorema clsico de Nevanlinna (Ver (Nl. Pag. 209) da una respuesta extraordinariamente precisa a esta cuestin: [MP] y esta relacionada con
27
Teorema.
Sea O c C
=
un dominio distinto de C,
*
C\(a) con a e C.
O un recubrimiento
Supngase que E universal de O. siguientes:
80 es compacto y sea E : A
Entonces se verifica una de las dos alternativas
a> E tiene capacidad logartmica positiva. O tiene funcin de Green y
ia
,
ie
para casi todo e (re > tiende a algn punto de E cuando r 1. b> E tiene capacidad logartmica cero, O no tiene funcin de Green y el conjunto de Fatow de 9 tiene medida cero.
Obsrvese que en la situacin a) casi toda geodsica tiende a infinito en O, ~(0)

=
luego ;<O)
1.
Sin embargo en b) no se puede garantizar que
0. En el caso a) casi toda geodsica termina en algn punto de
80. en particular es euclideamente acotada. Por el contrario se ver ms adelante que en el caso b) casi ninguna geodsica es acotada. Eernndez y Pestana (EP] han obtenido el siguiente sorprendente resultado sobre geodsicas acotadas:
Teorema. 9 A
4
Si 2 c ID es un dominio, distinto de ID y ID\(a). con a e C, y 0 es un recubrimiento universal de O entonces dima 610.2K) sup <re
O<r1
< ca)
1 dimensin uno de
Por consiguiente
existe siempre un
conjunto de
geodsicas euclideamente acotadas.
Si 5 es una superficie de Riemann, E : A
5 es un recubrimiento
universal de 5 y G es el grupo recubridor asociado, se dice que e petenece al conjunto lmite cnico A (G) si existe algn cono de Stolz
y
28
i6 de vrtice e que contiene infinitos elementos de rbita de 0. Hablar del conjunto lmite cnico y de las geodsicas divergentes es lo mismo ya que (Proposicin 2.3): e
18
e8A\A(G) siyslosi
c
=
d(E(0), ECre
u
jO
)) .4cacuandor-*1
Se deduce pues que y(S)
dimC8A..A CG)).
e
Se ver tambin en la proposicin 2.3 que A e CG) tiene medida O 2ff. La dicotoma expresada en el teorema de Nevanlinna se generaliza a supericies de Riemann de la siguiente forma (ver corolario 2.4):
Teorema.
Si
es
una
superficie
de
Riemann,
E : A
es
un
recubrimiento universal
de 5 y G es el grupo recubridor asociado>
entonces se verifica una de las dos alternativas siguientes: a) 5 tiene funcin de Creen,
lAe <G>I
O y casi
toda geodsica
tiende a infinito. 1,> 5 no tiene funcin geodsica tiende a infinito.
de
Creen,
lA <5)!
e
2r
casi
ninguna
En el caso b) se puede probar usando la teora ergdica de Hopf (Ni] que casi toda geodsica es densa. Obsrvese la analoga con el teorema de Plessner.
La dimensin geodsica es un modo de medir el estrechamiento de la superficie en el infinito. Cuanto ms pequeo sea y(S), ms difcil resulta acceder al infinito o, dicho de otra forma, ms se estrecha la superficie. Existe una forma geomtrica de medir el estrechamiento que es transversal, en cierto modo, a la anterior y es precisando cmo
decrece el radio de inyectividad en el infinito.
29
Si p e 5, se define (3CS,p)
=
inf<t
hm inf (q)e9 d( p, q)-)e
<p,q> >
0>
Igual que en el caso de la dimensin geodsica. $CS,p) no depende del punto p elegido y se designa por (3(5). Las caractersticas especficas de la geometra hiperblica permiten probar que $(S)c[0.i] (Corolario
2.2).
Si el radio de inyectividad (3(5)
=
est acotado inferiormente,
entonces
O, mientras que si O es un dominio plano cuya frontera tiene entonces (3(0)

=
algn punto aislado,
1 (Ver seccin .3)
Hasta ahora todos los ejemplos que se han mencionado son dominios planos. En la seccin 11.3 se construye un ejemplo interesante superficie superficie de Riemann que no es dominio plano. Se trata de una de una
que se parece bastante a Z. La Idea parte de contemplar
el modelo del lanzamiento de la moneda comentado anteriormente desde un punto de vista dinmico. Se consideran caminos aleatorios en Z de modo que la probabilidad de pasar de un punto n e Z a cualquiera de sus consecutivos n 1 sea 1/2. El conjunto de todos los posibles con el Intervalo [0,1]. Esto
caminos que parten de O se identifica
permite hablar de medida y dimensin de Hausdorff en el conjunto de todos los posibles caminos aleatorios. Con esta formulacin, los
resultados asintticos antes citados diran ahora que casi todo camino oscila siempre entre
+ ca
ca
+
pero existe un conjunto de dimensin

ca.
uno de caminos que tienden a
Esta interpretacin
dinmica sirve
de motivacin para la construccin de una superficie de Riemann 5 que desempea el papel de Z en el modelo de caminos aleatorios geodsicas presentan el mismo comportamiento que los y cuyas La
caminos.
30
superficie
se
obtiene pegando
infinitas
copias
iguales
de
una
superficie compacta de gnero uno limitada por dos geodsicas simples cerradas de la misma longitud. Es esencial que el pegado se realice a lo largo de geodsicas Los si se quiere conservar se las estructuras en la
riemannianas. seccin 11.3.
detalles de
la construccin
explican
La periodicidad de la superficie as construida implica que el radio de inyectividad est acotado inferiormente, luego (3(5)
=
0.
La determinacin de y(S) se deduce a partir de la existencia de una funcin armnica u en S tal que u(p) Si
* +
ca
cuando p un
ca , 9
u(p)
ca
cuando p deS
y
ca 9
E :1145
t
es c
>
recubrimiento
universal
uF,
la
condicin
O permite probar (lema 2.8) que

y
es una funcin
armnica de Bloch en A. El conjunto de Eatou de
tiene medida cero y
se
verifica que iO limsupv(re

r 1
=+ca,
limsupv(re
r 1
)ca
6 para casi todo e

.
La consecuencia
geomtrica
es
que casi
toda
geodsica que parte de un punto cualquiera entre

+ca 9
y
de 5 oscila eternamente
ca. 5
Del radial
teorema de Anderson
+ ca
Pitt
se deduce
que
tiene
lmite
en un conjunto de dimensin uno,
por tanto existe un
conjunto de dimensin uno de geodsicas que,
partiendo de cualquier
=
punto de la superficie, se marchan a infinito. En particular y(S)
1.
(De nuevo se remite a la seccin 11.3 para consultar los detalles).
Esta ejemplo ha constituido una valiosa fuente de inspiracin para demostrar el siguiente teorema, que constituye el principal
31
resultado del captulo y del cual todos los ejemplos anteriores son casos particulares [ELL2]:
Teorema 6.
Si 5 es una superficie de Riemann no compacta, entonces y(S) t 1
(3<5) teorema 6 en
En la seccin
11.4 se dar una prueba simple del
elcaso de dominios planos (teorema 6). basada en estimaciones de la mtrica de Poincar. La prueba del teorema 6 est relacionada con un resultado clsico de Littlewood, sencilla. La forma de proceder para demostrar el teorema 6 se describe brevemente a continuacin. En primer lugar se construye, bajo ciertas condiciones, una funcin armnica propia u en la superficie 5. La del que se ofrece una prueba muy
construccin de la funcin u no ser, por supuesto, tan sencilla como en el caso del ltimo ejemplo que se ha comentado, y ser necesario el uso de la teora de operadores normales desarrollada en (ASI. Si se
compone u con el recubrimiento universal de 5 se obtiene una funcin armnica

y
en el disco unidad.
1
Una adaptacin de un argumento de

y
Sullivan [5 ], para cada (3

<
(lema 2.8) permite probar que (3(5). Del Corolario 1,

+ ca
pertenece a la clase 44(3

y
captulo 1 se deducir que
tiene limite radial
en un conjunto de dimensin al menos 1
(3,
de donde se obtiene finalmente el resultado del teorma 6.
32
SECCIoN .1. PRUEBA DEL TEOREMA 1.
Teorema 1. C
a
Para cada
ci,
cx
<

ci
que slo depende de a tal que, si u e A
y 1 es un arco de la
circunferencia unidad, entonces IF(u) n fl > O o bien Ciii
+ ca>)
El teorema 1 es una consecuencia del siguiente caso particular:
Teorema It
fi
ci
Para cada
ci,
o s
ci
<

ci
que slo depende de ci tal que, si u e A M(A<u.

+
entonces IF<u)I > O o bien
ca))
fi
En la demostracin del teorema V se necesitar el siguiente lema, Si O c ID es un dominio de Jordan y ~ es una aplicacin conforme del disco unidad A en O, el teorema de Carathodory afirma que ~ puede ser
extendida a un homeomorfismo de
en 2 ((Pl, Pag 281). Si zoe O, y E
es un subconjunto de Borel de 80, se define la medida armnica (desde Zo) de E en 2 como ~(0)
=
~1 CE)I,
donde ~ es conforme de A en O tal que

zo
zo. La medida armnica en zo coincide con el valor en
de la
solucin de Perron al problema de Dirichlet en 2 con valores frontera 1 en E y O en 8t2\E C[A],(N]). La medida armnica es un invariante
conforme y el hecho de que sea nula no depende del punto base elegido.
Si O es un dominio de Jordan contenido en A, 0 e 0, g conforme con pCa)

= 0
= A
O es que
es
un
subconjunto
de
8A
tal
pCA) c 80 n 811 entonces el clsico Lema de distorsin de L6wner dice
33
que
IAl
I,(A)I.
Obsrvese
que
esta
desigualdad
no
es
sino
el
y,
Principio del Mximo aplicado a las funciones armnicas u, en 2, y en A, que tienen valores frontera 1 en y(A), O en 80\w(A) y 1 en O en 8A\~(A) respectivamente.
Lema 1.1 ([BR]).
Sea O un dominio de Jordan contenido en A,

=
supngase que O e O. Si E O, entonces existe E c E,
80 n 8A tiene medida armnica positiva en !FI > O tal que, para todo e E existe
2.
un cono de Stolz truncado de vrtice que est contenido en
Demostracin del Lema 1.1 Considrese una aplicacin conforme ~ de A en O con ~(0) teorema de McMiilan (fl~]) pag. 3263, casi todo
= 0.
Segn el
te satisface una de
las dos siguientes posibilidades:
a)
~(z)
(te)
tB
tiene lmite no tangencial finito en ete
ze
b)
Arg ( 1~Cz)
te
~Ce
)J
es no acotado, superior e inferiormente a lo

te
.
largo de cada curva que termine en e decir que enrosca
Geomtricamente, esto quiere
la imagen mediante ~ de cada arco que acabe en e e se y se desenrrosca
infinitas veces alrededor de ~(e
te 3 de
manera que da un nmero de vueltas arbitrariamente grande en cada uno de los sentidos.
Puesto que O c A, e te e p1 (E). A c ~

-1
la posibilidad b)
>
no puede ocurrir para ningn 0, luego existe un subconjunto
Por hiptesis j~ 1 (E)! Al

>
CE),
O tal que cada e
te
e A verifica la condicin a). En
34
particular,
la imagen por ~ de cada cono de Stolz truncado de vrtice
ja
e y apertura a est contenida en un cono de Stolz de vrtice e y apertura (1 + da. Si E = y(A), entonces, por el Lema de Lbwner, FI
>
O y los puntos de E satisfacen el requerimiento del enunciado
del lema. *
El siguiente teorema de extensin de dominio de Makarov [Mi] tambin se usar en la demostracin del teorema 1:
Teorema.
Sea OcA
un dominio de Jordan, Oc2. y sea ~ una aplicacin

=
conforme de A en O con O>
O.
Para cada a, O s s 1 existe una
constante Cci que slo depende de ci tal que si E es un subconjunto de

811
y t> c 80 n 811. entonces:
CM</E>
Ntese que en el L6wner.
caso
ci
1,
se
obtiene precisamente
el Lema de
Demostracin del teorema 1, Supngase que u ECu)i

= 0.
S
0 (1 IzO
u
>
-a
,
donde C
es una constante positiva, y A} que contrario
Sea A O.
IuCo)I
sea 2 la componente de en
contiene
2 es
simplemente conexa porque
caso
existira una componente G de C\0 estrictamente contenida en A. Por continuidad los valores de u serian idnticamente
A en 8G y del lo cual es una
Principio del Mximo se deducirla que u es constante, contradiccin, ya que IE(u)I

=
0. Por tanto O es simplemente conexa, y

*
el mismo razonamiento anterior muestra que 80 n 811
0.
De hecho en
35
este caso las especiales
condiciones de crecimiento de u permiten
asegurar que 2 es un dominio de Jordan (1B2],(Mci]).
La medida armnica de 82 n 811 en O debe ser cero,
porque en caso
contrario el lema 1.1 implicara que u es no tangencialmente acotada inferiormente en un subconjunto de 811 de medida positiva, y del
>
teorema de Fatou local (ver la introduccin) se deducira ECu)!
0,
contrario a la hiptesis. Por tanto, si p es una aplicacin conforme de A en 2 con ~(0)

=
O. entonces
n 811)1
= 0
(1.1)
La funcin
u(~)
es armnica en 11 y positiva,
g, tal que
ji
y
luego existe una
medida finita y positiva p([R],
es la Integral de Poisson de
=
Pag. 229). La masa de

y
es y(o)
21r(u(0)
xJ.
La observacin
O en 80 n A junto con (1.1) Implican
para casi todo Oe[0,27r)
hm vCre ie3 = r41 (respecto de la medida de Lebesgue). de donde

ji
se deduce que la derivada de la medida Lebesgue particular Lebesgue es es

ji
respecto de la medida de ([R], pag. 225). En
cero
para
casi
todo
ee[O,2ir)
ji
es singular y la derivada de
+
respecto de la medida de
ji)
ca
en casi todo punto (respecto de
de 811. C [R],
pag.
147). En lo sucesivo, E denotar un subconjunto de iimedida plena tal que

__________
g(ec,e+c)
te
ca para
2c
todo
e eE
36
donde (O
e, O
e) designa el arco <e It
<
<
c}.
La funcin
satisface una condicin de crecimiento semejante a la de

5
u. En efecto, por el lema de Schwarz, j~<z)I
IzI, luego
vCz) s C (1
u
IzIf
<
(z
A)
(1.2)
Sea Oc [0.2w] y fjese e, O e a

= (1
<
ir.
Si 1 es el arco (e
e,
e) y
e/2,r)e
se verifica, segn (1.2): y(a) s C (2w) 2a iV

u
Por otra parte, un clculo directo proporciona otra desigualdad en sentido contrario:
y(a) ~
J1$dPcet~~~~
a12(
2w fo
(fl
Luego: 3 1-7-1sv(a)SC(2ir) 2ci ~- +A Por consiguiente: hm v(re lO)

=
+
(1.3)
ca
si
e e e E
y se obtiene tambin de (1.3) que para cualquier arco 1 se verifica: pCI) s SOCC Ahora, de (0,1) se deduce:
u
+
A)IIIlci
(E)
>.
i~TCJ
u
J14L
ir
T3
u(o) + A C ~A
u
El teorema de extensin de dominio de Makarov garantiza que
37
tS
para una cierta constante positiva E

a
que slo depende de se tiene en
ci.
Si
se
hace
+
tender A
infinito y
cuenta
que
~(EJ c Mu,
ca)
se obtiene finalmente:
M(A(u. como se buscaba. *
+ ca)]
Demostracin del Teorema 1 lugar Supngase en primer

ci
que 1
alt,
es
una y
semicircunferencia, IF(u) n II
= 0.
por
ejemplo
{e~ =ir/2< t <,r/2}
Si 2 es un dominio de Jordan contenido en A tal que 82 es suave y 8<2 n 811

= = 1,
~ es una aplicacin conforme de A en 2 con ~(I)

y
= O
1 y
u(~), entonces
e A
ci
por (0,3). 8A\I c E(v).
IF(v) n II
M(A(u.
+ ca)
IN
~ ~M
(A(v.
+ ca)]
donde C es una constante absoluta positiva. Este argumento muestra que es posible suponer 8A\I c ECu).
Considrese u Cx
+
la
funcin
armnica
,
u
ci
definida
por
= O y
iy)
uC
y
x
u
iy).
Es claro que u e A entonces

y
IE(u% n (811\I)j
=
1 c ECu). Si
e A
ci
y !ECv)I
0,
de modo que,
por el teorema 1: M1..4A(v.

y
+ ca)]
E
a
por simetra:
38
M(ACu.
ca))
B
=
_____
1-a
y por tanto el resultado est probado en el caso en que 1 es una semicircunferencia.
Finalmente,
si
se
es
un
arco
cualquiera
de n
811,
ci
ECu)
II
0,
quiere probar que M(A(u.
+ ca)
iJ
a Cj ~ 1~ci
Sin prdida de generalidad supngase que 1 es el punto medio de 1, esto es: 1

=
< e
tt
= 6
<
<
e >
(0 s e c ir)
La eleccin a dado por
cos
(1
sen 0) -I hace que el automorfismo de A
za 0(z)

az
transforme el arco 1 en la semicircunferencia Si w

=
uC), entonces w c 44
ci
= {et = t < o 2 2 por (0,3) y IE(w) n 1 1= 0, luego segn o
lo anterior: M(A(w.
+ ca)
a C
Por otra parte, si J es un subarco de 1, se verifica:
IeCJ)!
ir
<
sup lo (z)IIJI ze 1
Calculando la derivada se obtiene que el supremo anterior es- inferior

1
a 12111
Einalmente, la igualdad 0(A(u + ca) n las estimaciones
A(w.
+ ca)
n 1 argumento elemental
junto
con
anteriores
un
proporcional las desigualdades:
39
CSM(A(w.
+w)
nI)
~ (6ir]
(iAiu. +ca)nI]
De modo que:
~ACu, +
ca)
n Ij ~ CC6ir) -1 II *
1-a
y el teorema 1 est totalmente probado.
Comentarios al teorema 1 1. La conclusin del teorema 1 invita a pensar que se puede acotar M,(A(u.
+
interiormente 18A\F(u)I
ca))
por
alguna
expresin
que
involucre
si u eA
pero esto no es as en absoluto.

y
Elijase una
= O
funcin armnica de Bloch
tal
que
IFCv)I
Mv,
+ ca)j
(por iZ) o
ejemplo la parte real del recubrimiento universal de A en C\CZ la parte real de ~

~2).
Entonces
e A
para todo
+ ca)
ci
>
o.
Sea H un
subconjunto abierto de 811 que contiene a A(v, menor que

ir,
y cuya medida es
y sea <1 } una descompsicin de H en arcos disjuntos.

1< Ii
Para cada k considrese un arco 1 los de 82n 811 1

=
contenido en A, cuyos extremos son tal que
It
sea 2 un dominio de Jordan contenido en A

It
}.
8A\H y 8C2nA es la unin de los arcos <1

=
Si ~ es una
,
aplicacin conforme de A en 2 y u a
>
vCw), entonces u e 4< a

It
para cada
O,
ACu.
It
+ ca)
= 0
<
IECu)l
<
2w si cada arco 1 se ha elegido
prximo a 1
De modo que, tamao de A(u,

+
en general, cuando ECu)!
slo puede estimarse por debajo el

=
ca)
0. Sin embargo, si ECu) es cerrado se verifica
Co difiere de un cerrado un conjunto de medida cero) M(A(u.

+ ca)]
C I811\E(u)l
lci
40
2.
Si
ci
~ 1, u cM
ci
IE(u)l
0, entonces ACu, +ca) es siempre denso Un ejemplo de donde E es la La
en 8A([BRS]~
Corolario 1).
pero puede ser numerable.

=
esta situacin lo constituye la funcin u
loglEl,
clsica funcin modular tel recubrimiento universal de C\<0.i}). funcin modular crece a lo sumo como de ah que u e A mientras que ACu.
.
ex~ (1
lzt} ([A].
pag. 19).
El conjunto de Eatou de u tiene medida cero, [que es exactamente FCu,ca) porque E es normal)
ca),
es un conjunto numerable.
41
SEcCION 1.2. PRUEBA DEL TEOREMA 2.
Teorema 2
Sea u armnica en el disco unidad tal que: <1
fJ
2<.>
dx dy < ca
<1.4>
A donde O <(3< 1. Existe una constante positiva que slo depende de
(3 de modo que si 1 es un arco de la circunferencia unidad entonces, IF

n
II
>
o bien: caP1(3[4<u.
+ ca>
n 1) ~ A~l1l ~
En la demostracin del teorema 2 se usar la siguiente relacin entre la integral de energa de una medida positiva en 811 y sus coeficientes de Fourier ([KB]): 2 I~C~) donde !z(n), a ncleo ~
tt
4r
>
l(n)IS
(0<
ci
<1)
ji y
- ca
son los coeficientes de Eourier de la medida 1~a respectivamente.
del
Demostracin del teorema 2: Se asumir que 1

=
811, ya que el caso general se deduce de ste igual
que en el teorema 1. Supngase pues que u satisface las hiptesis del teorema 3, IF(u)l
=
0. Se probar (3 una constante positiva que slo depende de (3. A

+ >
caP 4ACu.
ca))
siendo K
(3
Sea, como en el teorema 1, que contiene a O y

y
IuCO)l, O la componente de 
A}
u(~)
A, donde p es una aplicacin conforme de
A en 2 tal que ,C0)=O. Un razonamiento semejante al que se dio en el teorema 1 mostrara que y es la integral de Poisson de una medida
42
positiva, finita y singular en 811, de masa Existe anlogamente un subconjunto E de 811 de limvCre te3 r-*i A continuacin se estimar la integral rr
II
y
+
2ir(uCo)
AJ.
ji
medida plena tal que
para todo
e te cE
Oz dx dy Iz)
(1
Concretamente, se acotar superiormente por una expresin que dependa de A y de la correspondiente integral de u, e inferiormente por una integral de energa asociada a la medida
ji.
Respecto a la cota superior. obsrvese en primer lugar que:
J
Pag. 11):
v(z) ~ dx dy
fo1 Cl
.-
r)~
[1 3
ulPtre>JdO
2Af
u(~(re
iO 1 )jde
2irA jdr
21
Ahora, teniendo en cuenta que ~CO) = O se sigue por subordinacin UD]
fT
u2(~CreO )j dO
ir
-ir
u2(reOJ de
-ir
Por otra parte, u(p) es armnica, luego:
f
se obtiene:
ir
u(~(reO)Jde
-ir
2w u(O)
Teniendo en cuenta que lu(0)l
<
A y las dos desigualdades anteriores
1
que slo depende de fi.
(z)
dxdy<C u +A(A+ A2) (3
donde C ti es la integral de <1.4) y A(3 es una cierta constante positiva
43
En cuanto a la cota inferior, recurdese que Poisson de la medida u. conduce a la igualdad

ir
es la integral de
Una manipulacin con el ncleo de Poisson
J
-ir
v~frelOlde
2ir2 1,1(n)!2 r2fll

ca
47r2 lCn)12
1
de modo que
1
________
v2(z) 1111 dx dy
=
______ _______
Una estimacin directa proporciona la desigualdad

2ui. 1
fo
r)~
[o~2
,1(n)12 Jjdr
drtB para todo n
J0(irj~ posit?va %
alguna constante
que slo depende de de Fourier y
(3.
Si
se
cuenta que
los
coeficientes
ca
son
cuando n expresin de la integral de
energa en funcin de
2 1,1(n)!2
((KB)
Pag.
40), entonces de la los coeficientes de
Fourier pCn), y~, ..(3 se deduce:
2 -~ Tn,i-(3 = C(3 Ci lzI)~ dx dy ~ 0(3 4ff para alguna constante positiva C que slo depende de (3.
(3
JJ 11
2(z)
(ji)
~(3
Resumiendo, se han obtenido las desigualdades:
.01
(3
1-e..
(4s
rr
Cl
v2Cz) (3 dx dy
Iz)
A (3 (A
A2)
(1.5) es la medida
Obsrvese ahora que si E es un subconjunto de E y obtenida restringiendo [caP 1..(3CEJ de donde (caP (3(E))
2
ji
a E, entonces
(caP1..(3nj~
I~..(3( js(F)j
ji
21 1 (E)
(u)
44
y por tanto, si se recuerda que
2r(uCo)
A) y (1.5), resulta:
1
2
2
caP(3(E)[C2. Ahora bien, ~ : A quizs, ([CL] en un 56),
4w
3
2 es univalente, de 811
luego tiene lmite radial salvo, de capacidad logartmica respecto a cero la
subconjunto en
Pag.
particular
despreciable
1-(3-capacidad. Por tanto, si ~CE) designa el conjunto lim~(re iO 3 r41 el teorema

=
para algun
<EM: entonces,
[Hl
e iO cE> de Hamilton
por
de
extensin
de
dominio
-
anlogo al teorema de Makarov para capacidades

2 1
se obtiene:
ca~ (3LCE))
D(3[ ~w2+u:o:A++AA2)
u
(3
para alguna constante D

(3
que slo depende de (3. Si se tiene en cuenta
que ~(E) c A(u,
ca)
el resultado se concluye, como en el teorema 1,

*
haciendo tender A a infinito.
45
SEccioN 1.3 PRUEBA DEL TEOREMA 3.
Teorema 3.Sea verifica:
una
funcin
armnica
en
el
disco
unidad
que
<1 donde 0 : [0, + ca)
Iz 2)lVu<z>l
~
0<lu<z>I
<z c A)
<1.6)
<O,
ca)
es no decreciente. Entonces, si u tiene u tambien tiene lmite no tangencial
limite asinttico + ca en e
+ ca
te
en e e
Demostracin del teorema 3. Supngase que u tiene limite asinttico sea

+ ca +
ca
en el punto 1 y
[0.1) ~ A un camino que acaba eb 1 tal que cuando t tiende a 1.
u(r(t))
tiende a
Un argumento semejante al que se dar a
continuacin mostrara que no se pierde generalidad si se supone que est contenido en el semidisco
=
<w : Im w
>
O>
El
teorema es una consecuencia directa del Algunas de las ideas que
siguiente principio
en la prueba
del
mnimo.
aparecen
estn
inspiradas en el teorema 9.1 de (P].
Lema 1.2.Sea u una funcin armnica en A que satisface una cierta funcin e no decreciente. Si r que acaba en 1 y u~M>O en r,
(1.6) para es un camino O<ir/2
[0,11
>
11
entonces para cada a,
existen constantes positivas a(a), que, para todo z E A con Arg<1 verifica:
b<a> que slo dependen de a tales

=
z)
a y a<a)lz
II S r<o>
II se
46
u<z) ~ t donde t
>4
=
>4
sup(t 610,11/21 :
0(t)
b<ci)M12).
Demostracin del Lema 1.2 Con argumentos geomtricos elementales se comprueba que para cada a, O
< ci
<,r/2, existen constantes positivas a(a), aCci) slo dependientes
de a tales que, si z c A, y Arg(1
z)
= ci,
entonces el dimetro del
crculo C(z,5(ci)) tangente en z al rayo
<ti
: ArgCl
u)
a> y cuyo
exterior corta a
Elijase
811
con ngulo como en
a(a),
es menor que a(a)lz del lema.
1,. que
el
enunciado
Ntese
atraviesa C(z,aCa)).
1
Sea escribir a
b<a) = 2[ir d(a)] sen a(a). A a(a), b = bCa), CCS) = C(z,cS(ci)).
partir
de
ahora
se
Sean P,Q los puntos de corte de 8C(a) con 811. el
si a
<
<
ir.
Interior de la circunferencia que pasa por P.Q y cuyo exterior
corta a 811 con ngulo
se designar CC).
Puesto que u ~ M en
r,
>4
5 M/2 y la interseccin de
con el
crculo CUS) est estrictamente contenida en A, existe a, a s a e w

tal que, para toda componente 2 de 0(5) n A\P cuya adherencia no se tiene: u~t
>4
corte al segmento (P,Q)
en
Supngase que la conclusin del lema fuera falsa, y sea 5 el numero ms pequeo con la propiedad anterior. Obsrvese que a < 6 y existe una componente 2 de 0(5 3 n AC y zc que
< ir
acca
n 80 n A\~ tal
47
mm 2 por el principio del mnimo. Sea ~ el automorfismo del
u<z 3
= t
>4
disco unidad
tal que 9(0)
z,
y la
antiimagen por p de 8C(5 ) n 11 es el arco de la circunferencia que pasa por 0, es simtrica respecto del radio (0,1) y cuyo exterior
corta a 811 con ngulo 5. Este arco de circunferencia se designar y. Un argumento geomtrico simple revela que la interseccin de 811 con el interior
<
de
la
circunferencia
es
el
arco
1= {ett : 5
t <5>. Si ves la funcin armnica (positiva) en A

8A\I,
que tiene valores frontera O en y irCir -1 en toma el valor 1 en Sean2

=~
entonces
y.
1
C2),
r
=
=~
Cr)
=
ti(O)
u(z 3
o
yh=u(9). minh = t
>4
Obsrveseque
y de nuevo del principio del mnimo se deduce la desigualdad: h Ntese que

+
u(z))v
ti(O)
(M
u(z))v(0) la forma
en (O,c).
contiene
algn
segmento
de
La
desigualdad anterior implica por tanto:

CO)
+
8x
uCz)y- (0) ~ O 18v

o)
Un cculo de la derivada de 8v ~~.(0)2 Por consiguiente.
en o da el valor: sen 5 <-2 sen 5 w b
lvlflo 1
Ahora bien, la expresin
>
~
~ O
uCz)Jb
IVuCz)l(l
Iz
2)
es
=
invariante
por
automorfismos de A ((G], Pag. 3), teniendo en cuenta que u(z 3

o
= t
luego tVh(0)l
y (1.6)
lVu(z 00 3(1
Iz 12) y
>4
resulta:
48
(ti De forma que:
t)b
<
lVu(z)l(1
Iz 12)
0(luCZ
31)
= Ct)
M<t
>~
1 s oCt ) s
M
+
M
=
M *
y esta contradiccin termina con la prueba del lema.
49
SECCIoN 1.4. PRUEBA DEL TEOREMA 4.
-a
Si cie [0,1),p e It p s 5 s 1/4 se definieron en la introduccin X0Ct)x 5(16) x y Xk(t) = X4jpkt [Pt])~1< e [o,6] donde [a] representa la parte entera de a. Se defini tambin la
martingala (9) en [0,1) que viene dada por: 5 Ct)
>
k=0
p<
XCt)
(0 s t s 1, n e 24)
Si
ci
e (0,1], (3 e C0,ci] y se elige 6
8p~ se define la funcin
h, armnica acotada en A cuyos valores frontera son: (trn1 h 1e j es
= X
(ti
(0
s t s 1) e tt
= O <
decir. 5(1
h vale
-I
en
el
arco 2irS
<
{ t
<
<
2irS
>
y vale
en el arco { e
tt
=
2w }.
Se considera la funcin:
It
uCz)
It
ka
h(z~ 3
Oz
A)
Teorema 4. a)
Existe una constante absoluta C > O tal que:
Si a E [0,1), (3 E (O,al n <0,1/2) y p es suficientemente grande,

,
entonces u e 44 a
u no tiene lmite radial finito en ningn punto de

+ ca
811, y u tiene limite radial
en un subconjunto de 811 con dimensin

1
-
de Nausdorff comprendida entre 1
(3
y 1
(3
C<log p)
b) Si a E 11/2,1), (3 e 11/2,4 y p es suficientemente grande. entonces u e A u no tiene lmite radial finito en ningn punto de 811
,
y u tiene lmite radial
ca
en un subconjunto de 811 con dimensin de

+
Hausdorff comprendida entre (3, y (3
log <C log p) <log p) 1
50
Las propiedades de convergencia de la martingala (5 ) se recogen en el

TI
siguiente lema:
Lema 1.3. i) 5 <t)

TI TI
<5 > verifica las siguientes propiedades:

n =
O(p
na
) cuando n
ca
<0
1)
u>
iii>
5 <t) no tiene limite finito para ningn t c to,11 El conjunto ( t c [0.11 = hm 5 <t)
TI TI
-
ca
7 tIene dimensin
de Hausdorff 1
(o~...~j<io~ p).
Demostracin del lema 1.3 Las propiedades U y iii son obvias. Debido a la desigualdad
>
-a
un clculo sencillo muestra que para cada n e 24, 5 Ct)

TI
>
O si
y slo si X (t)
TI
O. Considrese. para cada n <tc[0,1]:X(t)+1

TI
24, el conjunto
E Entonces it Sea y E
TI
Vk~n>
It
[0,1] : hm 5 Ct)
TI TI
= + ca} =
U E
TI TI
(o~-) (log
~).
Por la autosemejanza de los conjuntos
y las propiedades bsicas de la dimensin de Hausdorff basta probar

o =
que dim E
a. Con el fin de clarificar la demostracin se supondr
en el resto de la prueba del lema que pS es entero.
a) El
dimE conjunto
= pS/p. El
Sa
it : X (t) o conjunto
= *
1>
consta
0
de un
= X (U 1
intervalo
= +
de
longitud de pa
it : X Ct)
1
.
1>
consta
intervalos de longitud Sp cada k e 24, el
Repitiendo el proceso se observa que para it : XO (ti

=
.. .
conjunto
= X (ti It
= +
1}
consta de
(pa) It intervalos de longitud Sp It de donde: ti it : X0Ct) y.c

=
.. .
x It (t)
= +
(p)k7+C
-k(7+C)
<5pc
-Itt
51
Por tantoM y+t (E)oparatodoc>OydimE o b) dimE o Para demostrar esta desigualdad se ~y
o 5y.
construye
una
medida
de
probabilidad en [0,1]de la forma siguiente: En el primer paso se asigna masa 1 al intervalo [0,81 = <X0 En el segundo paso se asigna masa (p)
> >
0}. pd
a cada 0, 2<
>
uno de los 0}.

2
intervalos de que consta el conjunto <2< paso se asigna masa (pS) componen el conjunto <2<
0 > 2
En el tercer intervalos que
a cada uno de los

> 1
(pd)
O, 2<
0, 2<
2
>
O>, etc...
Este proceso define una medida de probabilidad Pag 150) concentrada en E los (p6) 2<
It It It
ji
en (0.11 ([Eh]
tal que, para cualquier k e ~I,cada uno de que consta el conjunto {X~,
>
intervalos de
ji
0,
2<
1
>
O,
>
0} tiene
medida (p)
=
It
.
Obsrvese que si 1
It
es uno de
estos intervalos, entonces II It 1 entre p, .5 y, se tiene: ~Ci 3 It

=
.3p
y, dada la relacin que existe
py
It
Se comprueba fcilmente que existe una constante C que slo depende de .3 tal que T pCI) s CIIj para cualquier intervalo 1 de [0,1]. Por tanto, segn (0,1) Ma [E) >OydimE o
tT.
Antes de entrar en la demostracin del teorema 4 se darn tres lemas. El primero de ellos proporciona una amplia familia de funciones
pertenecientes a las clases 44 a Lema 1.4. Sea a etO,1) y sea g una funcin armnica en 11 tal que
52
g<O)
igl 5 1.
Sea
<a )
rl
una
sucesin
de
nmeros
reales y
considrese la funcin
ca
u<z) Entonces u e A a si y slo si a y,
= ~ n0
=
ag(zTI) n
-40.
O<n) cuando
Demostracin: Si u eA entonces su conjugada armnica tambin pertenece a ~ ([Dl,
Pag 83i por tanto u es la parte real de una funcin 1, analtica en A, que verifica: max{Iforeten : OEE0~2iri} La estimacin a
= =
4(1
ra)
y,
a 0(n ) se deduce de la frmula de Cauchy: a

=!--.
2,ri
f z=r
z~1 fCzidz
tomando, por ejemplo, r Recprocamente, Puesto que gCOi

=
= 1
n1.
=
supngase que arl
OCn 3. Se probar que u c 44 ci

=
O. existe una constante C
C(g)
>
O tal que:
lgCz)j 5 ChI SeazeAyr=
Oz E 11)
lzI. EljaseNeN tal que exP{-} Sr <exP{-}
Entonces:
ca ca ca
L=~+1~ s(z~)j
CCN
1)ci
z(~ ~J
nN+1
s C ~
narn s O
nH,1
n e
5
xp{
+
i-}
exP{ N ~ k} basada en
C (N la
1) ~ keIt
It1
a
x e
-x
La
ltima
desigualdad
>
est
que
funcin
es
decreciente si x
En definitiva
1.
ca
fl=~,~y,
gCz)j
o[N
iiaj
Igl ~
Respecto a la primera parte de la serie basta recordar que
1,
53
luego
Ix
ay, g(z~i~
n0
~ nci
TI=O
0(CN
13aJ
Debido a al eleccin de r se concluye finalmente: luCz)l s C1(log ~

-
y el resultado se deduce de la desigualdad log es prximo a 1. *
C (1
2
r)
si r
En el siguiente lema se recopilan las propiedades geomtricas de la funcin auxiliar h que se necesitarn en la prueba del teorema 4. Por comodidad se supondr en lo sucesivo que los arcos de
circunferencia respecto de R.
involucrados en
la definicin de
h son
simtricos
Lema 1.5 tiene
Sea O
<
.3
1/4 y sea Ji la funcin armnica acotada en A que

+
valores
1
frontera
en
el
arco
(ett:
jtl
<
ir)
.5(1
a>
en 811\I. Entonces Ji tiene las siguientes propiedades: con 6<1 6> 1 < e < 1, la curva de nivel
a>
Para cada e > O,

=
(Ji
e
e) es el arco de circunferencia que pasa por los puntos e y corta al arco 811\I Si 0
5
ff6
- tw6
con ngulo
irfl3+c<1-cS)1.
b) c>
1/2, entonces lh<re
te )l
>
s
O,
aar para todo O e (0,2w] O

<
Existen constantes absolutas C

<
<
1 tales que,
para
cada r, con r
<
1 se verifica:
=
i> la longitud del arco i 2w5

+
it: h(relt)
>
6/2) no excede de
C(1
r>/a
u)
arco J,
=
Si el cociente <1
r)/a es pequeo, entonces la longitud del

+
It (e: h<re it > >6/2) es superior a 2ir.3
C<1
r>/6.
54
iii) h<se tt
Para
todo e tt e i tse Ir ,rl. o
se En
verifica h<selt) ~ O particular, para todo
Vsc(O,rl e
E
y se
) ~ 5/2
1,
verifica h<sett> ~ O d) Existe s,
tse [0,11 y h<sett) ~ 6/2
tse Ir0, 1). y constantes
O < so < 1
<
<que puede depender de 6>,

tales que 0< r
absolutas C >0, 0< r o
<5
1 - CSy
max{~Ji<roeIt>I.
h(settj} ~ 6/2
para todo te [0.2w)
Demostracin: a) Considrese
= +
el
=
automorfismo 8?
=
del
>
disco 0>
unidad
tal
que
1 y g(I)
811 n {z: Im z
La aplicacin conforme 2 ~ transforma A en la banda <z: 1 es la recta <y

=
1+g log1 -g 1 < 1. z < 1} de forma que la imagen de

=
1} y la Imagen de 8A\I es la recta {y
1>. Si
ahora se compone la aplicacin anterior con la transformacin aUn
LCz)
que
(1
al (z
1)
1 1> en la <y
=
transforma 6(1
la
<
banda
<
{z: de
<
Im z
<
banda
1>
6)
Im z
1>
modo
=
que
la
recta
se
transforma en si misma y la recta <y <y

=
1} se transforma en la recta
aC
6)~>, resulta que la aplicacin conforme og ~
transforma A en la banda <z: imagen de 1 es la recta <y <y

=
6(1
63-I <
Ira z
<
1> de forma que la la recta
1> y la imagen de 811\I es
5(1 60>. Por tanto se deduce la representacin h

=
Im L(~-. og ~
<
Ahora,
si
6(1 por
Si L
<
1, la
un clculo elemental muestra que la recta <y

=
antilmagen
de
e>
es
la
recta
55
(y
2(6
c(1
2
6)]>,
cuya
+
antiimagen
por
2/ir log
es
la
semirecta {z:
Obsrvese <z: Arg z que
=
Arg la
ir/2
ida
c(1
Cl
6)]>. g)/(1 gil de la semirecta
antiimagen
por
ir/2}
es
el arco 811\I. El resultado buscado se sigue de
las propiedades geomtricas de las transformaciones de Moebius b) Para probar este apartado se puede usar la serie de Fourier de h, simetra es una serie de cosenos. Un clculo
que por razones de
proporciona la expansin
hCre le 3
=
ii=O
acosO ne)
donde ao
= O y
a y,
2/idi
6) sen(nir6).n~1 s n ~ 1.
Dada la forma especial de las lineas de nivel de h, se tiene: sup{Ih(rete ) OE[0 2)> = ho = sen(nwa) rTI =
ri=1
Cl
aIm
:1=1
trn
Cren
Utilizando el desarrollo hCr)

=
log(1 r&tff6
z)
= ~ n=1
se concluye:
u 2 w
63 Arg Cl
Cl 2
ir
a)~ Arctgl rsen ir ir6J1 ~l rcos
2 Cl
ir
~-i 1 rsen ir6 w6 rcos
si r c) e {h
= = =
1/2.
=
Considrense las lineas de nivel <h 1/2 6/2>
6/2>, <h que 6(3
= 6/2}.
Tomando
en
el
apartado a 811\I
a) con
se
comprueba w/2
la 6)
+
circunferencia mientras que
corta
ngulo
6/2> corta el arco 811\I con ngulo i/2 6(1
6). Se comprueba
asimismo que los centros de las circunferencias {h son, respectivamente, los puntos sen[wa/2 sen[w/2 Cl
+
6/2>, {h
= 6/2>
+
6)][sen w/2 6(3
6i]Y
(3a)] [sen w/2 (56)]. y sus radios sen wa[sen w/2 6(3+6)]
y sen ir [sen ir/2 6(5
6)]
respectivamente.
56
Puesto que w/2 6(3
6)
<
ir/2 por la restriccin 6
1/4, los dos

=
puntos de tangencia de las tangentes a la circunferencia <h
6/2}
desde el origen pertenecen a A (de hecho al semidisco de la derecha) y son simtricos

<
respecto de A.
Si
se elige una constante absoluta
1 mayor que el mdulo comn de estos dos puntos de tangencia,
entonces i) y ti) se deducen de la informacin mencionada antes con argumentos elementales y iii) es consecuencia de iii. Sea r0 como en ci y elijase O E[O,ir/2] tal que z~, = r0e O es un punto de interseccin de las circunferencias <h = 6/2} y <IzI = r o
d)
Sea
ti
el
punto
=
de
interseccin
=
del 1.
radio
[0,e 1
con
la
circunferencia <h obtenidos constante Ci
6/2> y tmese que O est y por
Los valores numricos Inferiormente lo mismo por una con
en ci
revelan
acotado tanto
absoluta
positiva
ocurre
s 3/6, segn la parte o Supngase ahora que e
u
tt
,
del apartado ci. te [ w.w] es un punto arbitrario de la
circunferencia unidad. Se distinguen dos casos: 1. t

E
6,03.
Entonces
r e o
It
pertenece
al
interior
de
la
circunferencia {h 2. 0
5
= 6/2> y
por tanto h(r ett) ~ /2 o se o por

It
tI ~
ir.
Entonces
=
est la
en
el de
exterior s o y por
de
la
circunferencia
{h
6/2>
eleccin
tanto
h(sett) 56/2. o La conclusin es max{ Ihoreitil. lh(set)I} ~ 6/2 para todo * te[0,2,r).
La demostracin del lema 1.4 est completa.
El prximo lema dice que se puede elegir una sucesin de radios
57
Or ) tales que, si IzI

It
r
It
la parte relevante de la serie que define
u(z) es el factor pIta Cz pIt ).
Lema 1.6
Sea Ji como en el lema 1.5 y

ca It Ph(ZP
u<z> Seana~ 2logp y r p It )
>
k0 -It exp (-api e

tOp
para todo k eh. Entonces a para todo
Iu(r e
It
It%<-a
It
>1 ~ p -.y-
Ita
[0,2w>
si p es suficientemente grande.
Demostracin: Si n
1.
t
1<
1,
entonces r pn
It
exp
ap}
1/2,
luego segun el lema
5b)
hIrPtOP<1
P
+
LIt~)
para todo O e [0,2w) y todo n
t
1<
1. Por otra parte.
lhi
1. luego:
It%(~atQPk)
I~ r
n=O
na
ca n=It,1
apr ~ n-ifl
iV +8 a~ p~ exp <2 og
n1
~
6
s pIta[A~
~n j2P]
5~Itci
-3-
si p es suficientemente grande. 8 Se procede ahora a la demostracin del teorema 4. Recurdese que a

E
[0,1). (3 e (O,] y 6
8p~. En primer lugar se
deduce del lema 1.4 que u e A. Se demuestra a continuacin que u no tiene radial finito en ningn punto.
En efecto, elijanse r0, ~ como en el lema 1.5, apartado dJ.
58
Sean a, b>0
tales que r0
e&,
>
=eb
y obsrvese que a>b~Ca
para alguna constante absoluta O r

It =
0. Sean
-
exp<
ap
It
>,
It
exp<
bp
-It
>
Oc
24)
Si p es grande, entonces b ~ 05 ~ 2 log >~, luego segn el lema 1.5 p
max{u[reIOJ
para todo O
It%(
tOPIt)~
I(~)
E
k%(
iO~It)~}
Ita
[0,2ff) todo k y
24.
Ahora bien,
el lema 1.Sd) y la
eleccin de r0, ~ implican max{jh(retOPJ
h[se~OPJ
}~
6/2
para todo O e [0,2w) y todo 1< e 24, luego
de donde se deduce que hm sup IuCr e O JI r-*i

= ca
para todo O e [0,2ir).n particular u no tiene lmite radial finito en E

ningn
punto.
Seguidamente
se
demuestran
las
afirmaciones
relativas
la
dimensin de Hausdorff, para lo cual se distinguen dos casos. [0,13, (3 E (0.ci] n (0.1/2)
a)
a E
De hecho se probar un resultado ms fuerte que el que figura en el enunciado del teorema. Concretamente se demostrar dim ~
(
: hm sup u(r e)>

r41
e )
s (3~O (log p)
.1
-1
Jete:
11 r->i
if
(1
<
te3 > 01
(3
Se comienza por la cota superior de la dimensin. 6) >0} Sea E={ete :11 infC ret
59
Tmese
=
2logp p
-k ap
sea
ete
E
E.
para
cada
24,
sean
exp{
>. Por el lema 1.6 se tiene:
u(jre) y por tanto, si uCrIttB)

>
pk%(je-aetePIt
J~ ~~>Ita 6
O resulta:
h(eaeQPJ
luego e~0~ It pertenece al arco J definido en el lema 1.5. apartado c) con r

a = e
.
3 contiene a 1 y su longitud,
+
segn el lema 1.5, es

>
inferior a 2w6 que 1
O a/.5 para alguna constante absoluta O comparable con x cuando x

*
O (Ntese el
ex
es
0).
Ahora bien,
cociente a 1 32
~
logp
<
es menor que 1 si p es grande, debido a la restriccin (3
1/2. luego
la longitud de J no supera 06 para alguna constante absoluta C >0. La conclusin final es que si e te
6It
E
E, entonces existe k o
= k (O)
tal que, para todo k ~ 1%. e cuya longitud es inferior a 06. Por tanto:
J, que es un arco centrado en 1 y
EcUE
It
TI
y,
J tic ~ n>. La demostracin del lema 1.3 Este
donde E
TI
{ett : ettP
muestra que todos los conjuntos E rl tienen la misma dimensin. valor comn es, a lo sumo:
1 iog1~yiog pi
as que dim E s 1
= 1
(3
1
log C8C)(log pi
(3
log (SCHlog pi
como se buscaba.
En cuanto a la cota inferior, defnase F{e Segn el lema 1.3, dim E

It
:e ItP It 61
ticeN>
= 1
(3
log 8(log pi~.
60
Sea e
O
E
E y r, O
<
<
1. Por la propiedad c) iii) del lema 1.5 y la
definicin de E se verifica: h(rPeIOP) ~ o Sea 1<

E
para todo
24
24 tal que
exp.{pItog ro} s r s ex {p~It~1og r}
donde r0
es la constante que aparece en el lema 1.5 c). Entonces: u(r te)

ka
h(raeIeP)
kci
De la eleccin de 1< se deduce: It En definitiva: uCre te3 de donde hm r-> a

~
log
(A~J
(loa
4)-
COp)(1
rfa
si r es prximo a 1
mf
r)
u(re
iO
>
si e
te
E
lo que concluye la prueba del teorema 4 en el caso a). a c[l/2,a], (3c[1/2,a].
Igual que en el caso a) se obtendrn conclusiones ms fuertes que las del enunciado del teorema. Concretamente: hm
d m{etO
mf
uCre 10)
>
s (3
log OC log pi(log pi
dim{eIO : iIni mf (1 Sean, como en a) E Sea e tO

E
r)
(103
>
(3
{e~ E,
lIra
mf
0) uCre
-It
>
0}. a
2log p
p 10
y rIt
exp<-ap
>
Ok
EH).
Si uCre
It
3>0,
de los
mismos clculos que en a) se desprende que
61
1< h(e~eOP) > 6/2 de modo que e tOp pertenece al arco J definido en el lema 1.5 ci U -a con r = e La longitud de J es, pues, inferior a 2ff + Ca/6, y ahora
.
la restriccin (3 ~ 1/2 hace posible que a ...logp~ 6 4p i-(3 si p es suficientemente grande.
8 p
Por consiguiente,
la longitud de J es inferior a O log

>
para alguna constante absoluta O que en a) se obtiene
O y siguiendo el mismo razonamiento
EcUE
y,
y,
donde
=
<et :
Itp
C
It
E
tic ~
Del lema 1.3 finalmente se deduce: dimEs 1 o~(c
jjCloa
pE
(3
log OC log p)(log pi
y el resultado acerca de la cota superior est probado.
Respecto a la cota inferior, sea Y el arco que se defini en el lema 1.5, apartado cil iii con r Entonces a
=
et
donde a =2 log p
p
logp
8
de modo que Cl es 0
>
a3/5
+
es pequefio si p es grande, y la longitud de J log p

.
mayor
que
2w6
p(3- para
alguna
constante
absoluta
O, segn el lema 1.5 c)
u).
EJ
Ahora la restriccin (3 ~ 1/2 permite
asegurar que .1 tiene longitud mayor que O log

Sea e (3
ticEN> 1
Obsrvese que dim E
log CC log p) Clog p) 62
por el lema 1.3.
Sea e
te
E
E,
r,
con
<
<
24
tal
que ogr>
expsr<exp{
~~It1
o 1<
es la constante que aparece en el lema 1.5, apartado cl.

+
1, entonces r P
rl
5
ro y el apartado c)
iii) del lema 1.5
garantiza que h(rPeIOPJ o a 5 e y tambin del apartado cl
Si n
= k,
entonces r
PIt
iii) del
lema 1.5 se deduce que h(rPCOP) ~ 6/2 En definitiva: It-1

n0
~~1~
y se concluye, igual que en a): lira mf 01

r41
r) auCre ~1
>
sie~6 EF
luego dim{e~ :
mf
rl a uCretO)
>
0}
(3
Por consiguiente, el teorema 4 est totalmente probado.
63
SEccIoN .5. PRUEBA DEL TEOREMA 5.
Tal
como se menciona en la
introduccin,
el
teorema 5 es una
variante, un poco ms artificiosa. del teorema 4. La clave consiste en considerar funciones de la forma.
K=1
donde ahora p es un entero grande, <n It > es una sucesin creciente de enteros a la que se exigir de momento que n- nk ~ ca y h es la
It
funcin del Lema 15 con 6
= 5
siendo (6 It } una sucesin de nmeros
positivos que tiende a cero y se fijar a continuacin en funcin de {n }.

It
Es decir,
ti
It
es la funcin armnica en A, acotada por 1, que
tiene valor frontera 1 en el arco
6(16) It It
It = en811\I. {e: It
ir6~(}
Recurdese que en el forma gp(3 donde (3eCO,a].

It
teorema 4 se elegan valores de 6 de la Anlogamente, en el teorema 5 interesa
tomar valores de
orden de
-(a-y,
p
Si aE[O,1)
It
It1
y (3E(0,a], se elegir, para todo lo que resta

-(3(n -n
6It
=Sp
It
k-1
Los dos lemas siguientes son los anlogos de los lemas 1.3 y 1.6 en la presente situacin.
Lema 1.7
Supngase que C
>
0,
<
ca
y la sucesin
In)
verifica
las condiciones
64
n
It
n k1 n
It
rwZ
4
1<
Sean k, m e 24,
k.*ca
ca
E ., It
( ~t
1< ~ m y considrense los conjuntos ty,
[0,11
.1
ij
I0,C6 1,
Jm,
m+ 1,...k}
Entonces
ca
dim
fl
k=m
EIt
L-(3
L<1
(3)
(3
para todo C
>
O y todo m e 24
Demostracin Como en el caso del Lema 1.3 la dimensin coincide con el valor especial que se obtiene cuando se acota superiormente el contenido de Hausdorff. inferior Sin est embargo, el argumento correspondiente a la cota
revestido de bastantes complicaciones tcnicas as que
slo se ofrece el argumento que permite averiguar el valor correcto de la cota superior.
Supngase,
resultadol. longitud
por
comodidad,
1.1
que
Cesto
no
rl
influye
en
el
Entonces E
consta esencialmente
de p
intervalos de
-y, 1
1
C6p2 1
y,
2
n -n
p en cada uno de ellos se reproduce el proceso y por tanto E

a ay, -y,
de p 6p ~
intervalos de longitud C6 2p
1,2 consta
...
Repitiendo u
k1
el
It1
proceso
se
concluye
It
que
n It
E
I,It
consta
de
6...6
1
y, It
intervalos de longitud OSp
65
-(3(1, -n
Si se sustituye 6 .1
por
su valor 8 p
se obtiene la
siguiente estimacin para
el i contenido:
It
~
MCE sd y 1,It
observese que s1nen el exponente y [..Y<.(3 sustituye n /n
]
+
por L entonces la expresin resultante se anula
si slo si y toma el valor CL valor especial. La hiptesis
~[LO1
.*
(3)
(3].
Llmase y a este
n/ k
ca
permitir controlar el factor
O y y0 ser la dimensin correcta. En efecto, si e n

It
It1 < >
O y k es suficientemente grande para que

e
se comprueba que
It (3(
It c)[.(1 It-1
Qj
SL
I~
1 2J[
07~
-
c)C1 s
(3
(3(y
cl
s -LeOl + (31 + c(3 + ..~.. (32[LC1
+ (3)
(3]
Por consiguiente
y 0Op -clan k-1

14 y.t (E 1,k )sC o
y el factor de la derecha tiende a cero cuando k e >0, en virtud de la hiptesis nk /k ~ de e fue arbitraria se obtiene finalmente dim ca fl
It1 E 1 9k
0
Sy.
ca,
para cualquier
ca.
Puesto que la eleccin
66
rl
y,
k.-I It
<y, It.1
Lema 1.8 exp
Sea a
It
~ 2 log p
-n) It
3,
E
para cada 1<

Ir
24. Entonces
nL.
ctS]
an
1~a
e te Pa)
<6
para todo
(0,2w>
Demostracin: La demostracin es anloga a la del lema 1.6. Si j

>
1, entonces
1,It+lTIIt}
5
1/2
y, TI rJsrk It It
ej
luego
1
para todo 6
E
h(rPe)
+
y,
s e 6r~
[0.2w) y todo j ~ k
~It
1. segn el lema 1.5b).
Por tanto: ju(r e6]

p
ti (e e
tOpTIIt
)
J=0
+
an
an
p
n-n~
~6 exp4 ap1~$.
.1
-~
j It.1
It>
1l~ p
-aCnIt -ri It1
y,
It
2(n
It+1
,~
+86
It+1
J~w
an
It
It
La funcin u pertenece a la clase A
por el lema 1.4,
y la
demostracin de que u no tiene lmite radial finito en ningn punto se basa en al utilizacin del Lema 1.8 y es por tanto paralela a la que se dio en el teorema 4 (con los consabidos cambios 6
It
en lugar de 6 y
67
ti
It
en lugar de ti). Por ello ser omitida.
A continuacin se tratan las cuestiones relativas a la dimensin de Hausdorff. Se distiguirn dos casos, igual que en el teorema 4,
dependiendo de si (3 es mayor o menor que 1/2, y se har una eleccin concreta de la sucesin {n } en cada uno de ellos.
It
Definase E{et6
=
liminf u(r elO]
>
o} }
En lo que resta de demostracin se elige:

y, It+1
y, It
rexP{aP
It
2logp
p
y, k+1 -nIt
(kcft)
Supngase que { n a
It
2
It
u
} verifica la propiedad adicional:

It.I
logp
n
It
-y,-2(3On-n
351
silcessuf. grande
(1.71
It
32p e~]
Sea e~0 e E y sea k e 24 suficientemente grande tal que u(r Por lema 1.8:
>
o.
y,
tiIt(C
etOP
It
/2
TI
y. al ser a /6
It
2
It
1, se deduce del lema 1.5c) que e
tOp
It
pertenece al
arco
{ett=~O<
>
t<O6~}
para alguna constante absoluta O Ec donde

a
O. En definitiva:
ca
ca
U
un
fl
Itm
E
m,It
E o, k
{ett
e
L
ftp
EJ.
It
jm,
4
m+1,
1 ...k>
Supngase que nI~ /nIt~I
1 cuando k
ca. Entonces los conjuntos
68
ca Itm m,It
tienen
dimensin
CL
~[LC1
(3) -
segn el
Lema
1.7.
Ahora
bien, la funcin [1, +.ca)

L
*
R CL
-
~[LC1
(3)
(3]
es creciente, as que conviene elegir los valores de L ms pequeos que sean compatibles con la condicin (1.7). A partir de este punto interesa distinguir dos casos: a) O
<
(3 5 a,
3
(3
.
1/2
=
Elijase n~ n luego
= 1<
Entonces L nzs(nn)
1, y se verifica (1.7) ya que: Sn
(n
nJ
=6k
dim E
(1
~[1
(3
(3]
= 1
(3
En cuanto a la cota inferior, considrese el conjunto
y, r
que tiene dimnensin 1
=
{elt
etP ~
1< e 24
(3 por el lema 1.7.
Si
te
F,
ro,
<
<
es
la
constante del
Lema
1.5
apartado cl, entonces h(s dO] ~
o
2 It/
5 E
[0,1)
[ro,1)
S E
Sea r. O
<
<
ti(s etO] 1 y exp1~p

1y,It
si ke24talque
N,
logro;5r<exp~~p
II
y,
Ic+I
lo~ro}.
Entonces:
rl TI
an
It)
6 It It 2
u(r
e~J ~
It
h(rP
It
e~6
69
(3
Dadoc>0,
2 severificaak3 (3(3k +3k+1)~Cac)Ck+1)3
si k es suficientemente grande, luego por eleccin de r: ( te~ uy ej

,
1
~p
(3
p
Oac)(~+l3
2
>
a log
[J1
>
~og
y por tanto, para cualquier c dim 1e

bil O<(35
0: r1 a-e
.~
te
lira r
mf 1
(i
ulr
01
~
0~- ~ 1 J
(3
(3>1/2
Obsrvese ahora que (1,7) obliga a que
~2(3(n
~
)
1 y se cumple (1.71 porque
y de aqu se deduce que sin /n It- igual que 2(3.
L entonces L debe ser mayor o
Elijase ahora
= kC2$l.
Entonces L
= 2(3
>
.~(
It
01It
nj
= 02(3
1) ~
Por consiguiente en este caso

dimE 5(2(3 (3) [~~
(3]
= (1 +
2$)
Respecto a la cota inferior, ntese que el conjunto
y,t
=
{elt : e1~
1<
t~ e
tiene dimensin (1 a), entonces:
2(31 por el Lema 1.7 y si r, k, ro son como en
It
It
It1
ur ( 1 e
te]
6 It
=
ak(2(3) -(3
(i~C~gl -OIt)C2(3l
70
.1
ci
si k es suficientemente grande. Por tanto dim{eiO rninf (1
r] uf etO]
*
>
0} ~ (1
2(31
El teorema 5 est totalmente demostrado.
71
SECCIoN 11.1.
En esta seccin se probar que (3(5) est comprendido entre O y 1 y que tanto (3(S) como 7(51 no dependen del punto de la superficie que se utilice en su definicin. Se mostrar tambin la relacin entre el conjunto lmite cnico y el comportamiento asinttico de las
geodsicas y se extraern consecuencias geomtricas de esta relacin.
Antes de comenzar la demostracin del primer lema conviene hacer un breve comentario sobre la clasificacin de las transformaciones de Moebius segn el nmero de puntos fijos. Se dice que un automorfismo del semiplano superior U es parbolico si tiene un nico punto fijo e R u
<ca>,
hiperblico
si
tiene
dos puntos a
+
fijos
=
a,(3eR u
ib,
<ca>
>
elptico si tiene dos puntos fijos Toda transformacin parbolica
ci =
ib y a
con b grupo
*
0.
es
conjugada
*
en z
+
el
de
automorfismos de U con una de las traslaciones z es

1
1 z
1,
decir,
si
es
parablica
existe
Au t(U)
tal
que
ATA Cz) = z 1. Toda transformacin hiperblica es alguna homotecia z * Az, A > 1. (Ver (.15] Pag. 219).
conjugada con
_____
Lema 2. 1. Entonces:
Sea g un automorfismo de U, parablico o hiperblico.
d (a g<a)) log djbg<b)> En particular, Riemann 5: og 17(a) si
d<a,b)
<a,bcU)
<2.1)
G es un jrupo recubridor de una superficie de
~ d(a,b>
<a.bEU>
72
donde ,z)
mf d <z,g<z)) : gcG ,g
identidad).
u
Por consiguiente, si p,qcs 5 <p) a 105 77771
5
5<p,q>
Demostracin: Puesto que los automorfismos de U son isometras en la mtrica
hiperblica, (2.1) es equivalente a: og donde Ae Aut (U); conjugacin traslacin z d Ca,A gA(a)) d Ob,AgACb)) u es decir, la propiedad (2. 1) es
invariante
1
%Oa.b)
Ca. bEUI por
(en AutOU)l y por tanto se puede asumir que g es una

*2
1 o una homotecia z
.*
Az
A > 1.
Sean
a,beU
sea
y :
[0,11 e
U,
yOO)
a,
~-O1) b =
una
parametrizacin de la geodsica en U que une a,b. Sea fOz)

=
d (z,g(z)). Entonces:
log duCa::(a))
1
og
fCyCl))
log fOiCO)l
-Fo
donde 1
1
y
f(y(t)l 7 denotan mdulo y gradiente eucldeo respectivamente.
Supngase que se pruba la siguiente desigualdad:
IVf(zlI
f(z) Entonces: log Cal
Im z
CzcUl
02.21
Ir(tli dt dCa,b) j Im yOt)
?TET
y el lema estara demostrado. Para probar (2.2) se distinguen los casos parbolico e hiperblico.
73
i) Sea z f(zl
Caso parablico. Asmase que gOz)

=
= +
1.
iy. Entonces log
= d
(z,z
A)
luego f slo depende de y. Un clculo proporciona:

8f
8y
de donde
(z
_____________
2
y
IVf(z)I
fOz) siendo ti
=
y La
h+lf
~
~og h
funcin
(~ ,
log
~
ca.
~] ~
esto
creciente en (1,
+ ca)
tiende a 1 cuando ti tiende a
Con
concluye la prueba de (2.21 en el caso parablico.
u)
Sea z Ahora
Caso hiperbolico
=
Asmase que gCz)
Az
>
1.
r e
ie
,
+
>
<
<
ir.
f(re
te
1 =dCre
iB
Are
e 1
=log
h4-1
h1
donde ti
= /1
CA
4A
1)2
sen2e
y no depende de r.
Un clculo sencillo de la derivada da:
Ifeozl
Por tanto:
y
_______
fOz) ____
y
og
(ti
un z
JI
tambin se obtiene (2.2) en el caso hiperblico.
Considrese ahora una superficie de Riemann S y un
recubrimiento
74
universal E de U en 5. Sea G el grupo recubridor de E. Debido a que O actua sin puntos fijos en U, hiperblicos. los elementos de O son parablicos o
Sean a,bcU. De (2.1) se deduce:

d (a,b)
d~ (a.gCa)) 5 e
d~ Cb,gOb))
para toda ge O distinta de la identidad. Tomando nfimos: ii(a)

5
e u
d (a,b)
nOb)
Intercambiando el papel de a,b se obtendra la desigualdad recproca, luego finalmente:
log
ii(a ipOb
~ d~Ca~b)
(a, beU)
=
Por tanto, si se tiene en cuenta que 1 (F(z)) s (FOz)) log

~(F(ti)lj
5
5
.~ 2
i>Cz) resulta:
d5(z.wl
Oz,weu)
Ahora la desigualdad
Corolario 2.2
(3=
log ~I~T4
d5Cp,q)
Op,
Es consecuencia de la definicin de la distancia hiperblica en 5. *
Sea 5 una superficie de Riemann y poE5. Entonces
td <PIPO>
(3<S,po>
5
mf jt:
hm
mf 5<p)e
po
>O}
d<p,po) *ca
satisface 05(3
1 y no depende del punto
elegido.
Demostracin: Si p es un punto de 5, bola hiperblica a en 11, la bola E luego

=
E (p,i (pl) es isomtrica a una

5 5
cualquier en
bola A y
contenida en
en
es es
isomtrica
alguna
bola
hiperblica
particular
75
simplemente conexa. Si (p)

5 >
d Cp,pol entonces,
5
segn el comentario anterior,
la bola
E (po, (pl 5
d (p,po)l est contenida en B y por tanto es simplemente 5
conexa, luego
5(p)
5 5(po)
d5Op,po)
y de esta desigualdad se deduce que el radio de inyectividad puede crecer como mximo linealmente respecto de la distancia a un punto cualquiera. En particular (3 es no negativo. Si q0 es otro punto de 5. obsrvese que td (p.pol hm inf5(p)e
5
td >0~ hm
d(p,q
po
Op,q 1
5 0 >0
inI 5(ple
d(p,po) 4w
o 1 ~w
Por tanto (3 no depende del punto En cuanto a la desigualdad (3

5
elegido.
1, ntese que la estimacin
5 CpeS) 5Cp) ~ ~ <po)e que se deduce del lema 2.1. impide que (3 pueda ser mayor que 1. e
La siguiente proposicin pone de manifiesto la relacin entre las geodsicas y el conjunto limite cnico. recubrimiento Recurdese que si F es un
universal de A en la superficie 5, el conjunto limite
e
cnico est formado por todos los puntos e cono de Stolz de vrtice e rbita de 0.
te
tales que existe algn infinitos elementos de
que contiene
Proposicin 2.3. recubrimiento
Sea
5 de
una 11
en
superficie
5
de
=
Riemann. poeS,
G
F el
un
universal
O
con
F<o)
grupo
recubridor de F y A <G) el conjunto lmite cnico de G.usa la rbita de Entonces a> Si en la definicin de conjunto lmite cnico se otro punto acft en lugar de O, el conjunto lmite cnico es el mismo.
76
b) c>
te iB eE8A\A<G)siyslosid<po,F<refl*cacuandor-41.
c
La medida de Lebesgue del conjunto
lmite cnico es O 2w.
Demostracin: El punto de partida para probar a) y b es la siguiente propiedad relevante de los conos de Stolz : constante positiva A O (e6,a,r)
=
dado
ci,
<
<
r/2
existe una
A(a) tal que todos los puntos del cono de Stolz
estn a distancia hiprblica a a e

te
.
lo sumo
A del
radio
correspondiente
Y recprocamente,
e
=
los puntos
cuya distancia
hiperblica al radio(O,e
Stolz O (e
) es a lo sumo A estn en algn cono de aC).
e ,,O)
donde a
Esta propiedad se comprueba fcilmente en el U.
semiplano superior
te
Basta observar que la distancia hiperblica en U del punto re
al
eje imaginario es exactamente log

y
cos e sen 5
+
por tanto,
esta
distancia
es menor o igual
que A si
y slo si
(3 s
ir
(3 donde A y (3 estn relacionados por expresin

A=log 1 + cos (3 sen(3
Ahora a) es consecuencia de la igualdad

d A CgCa).gCO)l
= d
A C0,al
(geG)
y de la propiedad anterior de los conos de Stolz.
La caracterizacin b) tambin es consecuencia de la descripcin de los conos de Stolz en trminos de la distancia hiperblica.
c
En
efecto. supngase que e ee A CG), y sea O un cono de Stolz de vrtice e te que contiene una sucesin <z > con FOz )
II ti
= F(O),
*
z
y,
e tO
Existe una constante A
>
O y una sucesin r
1,
1 tal que
77
tO d Cz,re de donde se deduce: Any, )sA Cnc2U
e
d Sn (po,ECr e 1) s A (ndd) En particular d Cpo,E(re >3 /* ca cuando r * 1.
5
Recprocamente. supngase que d (po,F(re te ))/-4

5
ca
cuando r
1.
Existe entonces una constante A d 5 Cpo,EOrrl e~9) que E(z ) y,

rl =
5
>
O y una sucesin <r } tal que Si se elige,

= d
A para todo n.
para cada n,
zEA tal
Y(O) y d Cpo,ECr 5 y,
t6 3>
(z .r ete) entonces la sucesin
{z } pertenece a la rbita de O y est contenida en algn cono de Stolz de vrtice e te
luego e e e A
o
001.
Finalmente, se prueba c). Se comienza sealando que el conjunto limite cnico gOe
)E
es
o
invariante,
esto
es,
A(O)
>
A CG).
lA c (GIl
>
Supngase que
0.
Sea u la integral de Poisson de la
funcin caracterstica de A CG). Por el teorema de Fatou, hm uOrete) r-* 1

o
= 1
para casi todo e te e A CG). Sea e te e A CG) uno de los puntos en los que
o
el
limite
radial es de G
1.
Ejese en
a cA y sea algn cono
<a> una sucesin de

de vrtice e
te
elementos
g
contenida
con
Cal
Entonces hm u(g Ca))

= 1
y,
Como Ao (O) es g geO. Por
invariante, tambin lo es u, luego uog u(g (a))

rl
u para todo a e A, y
consiguiente 2w. *
u(a)
para
todo
IACG) o
La traduccin geomtrica de la proposicin 2.3 se expresa en el
78
siguiente corolario.
Corolario 2.4
Sea 5 una superficie de Riemann,
po
un punto arbitrario
= po.
de 5 y F un recubrimiento universal de A en 5 con FO) tiene lugar una de las dos alternativas siguientes: a) Para casi todo e
Entonces
te
se verifica
= ca
hm d <po,F<r&e r4 1 5 es decir, Para casi todo e le existe A hm r

5
casi toda geodsica que parte de po tiende a infinito.

>
b)
O tal que
5
ini d <p,F(re O >)

1
para todo peS, es decir, casi toda geodsica que parte de p atraviesa Infinitas veces un entorno fijo de cada punto peS. En particular hm sup d <po,F<re 5 r-*i para casi todo e
te
= ca
Corolario 2.5. Si
es
una
superficie
de
Riemann,
= po y G
es
un
recubrimiento universal de A en 5 con F<0) recubridor de F, entonces: a) b> y<S,po)

=
es el grupo
dim<8A\ A <a))
o
La dimensin geodsica no depende del punto de partida, es decir y<S,p>

=
y<S,po>
para todo peS.

________
Demostracin La parte a) es consecuencia directa de la proposicin 2.3 (apartado b)). Para probar b), elijase un punto cualquiera p de 5 y sea aEA tal que Y(a)
= p. Si y
es un automorfismo de A tal que y(O)
a, entonces
79
= Eoy
es un recubrimiento universal de 5 con asociado es G

= y 1 Gy.
= p
su grupo
= y 1
recubridor
Obsrvese a
que
y 1 gy(0l
gCa) el
para cada geG. conjunto limite,
Puesto que la rbita de se tiene:

= = =
sirve para
definir
A c CG) de modo que 8A\ A (~)

O
y(A c CG)) & C8A\ A CG))

O O
y = yCS, Po)
rCS,pl
1
dim C8A\ A CG))
ya que y
es regular en 8A. *
SO
SECCION 11.2.
En esta seccin se estudia la relacin entre las excursiones geodsicas en una superficie de Riemann y las propiedades de
crecimiento de las funciones armnicas en la superficie.
Se comienza con una aplicacin de la dicotoma expresada en el
Corolario 2.4 conveniente en aplicaciones posteriores. Proposicin 2.6 Sea 5 una superficie de Riemann y u una funcin
ar~nica no constante en 5. Si E es un recubrimiento universal de 5 y

y
uoF, entonces se verifica una de las alternativas siguientes: Para cualquier punto peS, casi todas las geodsicas que parten de a infinito en 5.
a>
p se marchan
b)
Casi ninguna geodsica que parte de un punto cualquiera pES se

y
marcha a infinito en 5 y el conjunto de Eatou de Lebesgue) cero.
tiene medida (de
Demostracin Sea G el grupo recubridor lA (CH

e
de
=
y A (Ql
el
correspondiente
conjunto lmite cnico. Si que parte de
O, entonces casi toda geodsica a infinito en 5 por la
cualquier punto
se
marcha
Proposicin 2.3. Esta es la situacin a). En el caso b, 18A\ A

e CCII =
O y casi ninguna geodsica se marcha

iQ
EA(O) y
y
a infinito (Proposicin 2.3). Supngase que e

te
tiene limite
no tangencial finito en e que E(a)

=
Sea p un punto cualquiera de 5 y aeA tal
p. Puesto que el conjunto lmite cnico no depende de la
81
rbita que se utiliza CProp. 2.3), existe algn cono de Stolz C, de vrtice e que E(z 1
,
= p
y una sucesin {z } contenida en O, que tiende a e te

rl
tal
y,
para todo n. vOz )

y
Ahora
bien,
uCpl
para
cualquier
n,
luego
el
lmite
no
tangencial de
en
debe ser necesariamente uCp),
y como p se
eligi arbitrariamente, u tendra que ser constante, contradiccin. De modo que el conjunto de Eotov de
y
lo cual es una
est contenido en el
complementario del conjunto lmite cnico, y de aqu se obtiene b. *
Si S es una variedad Riemanniana con mtrica g, que tiene por elemento de longitud ds2
= ~
gdxdx~
ti
y u es una funcin regular en 5, el gradiente de u, grad u, es el nico campo vectorial en 5 que es mtricamente equivalente a la diferencial du, es decir gOgrad u,X)
=
duCXl
Pag. 187).
para todo campo vectorial X en 5 ([Sp).
La expresin de grad u respecto de un sistema de coordenadas es la siguiente: gradu=~

t.j
gU~22a ax ~ inversa de Cg
ji
donde
Cg ti 1
es
la matriz
<8 } son los campos

1
coordenados. En lo sucesivo, si 5 es una superficie de Riemann y u es una funcin regular definida en 5, grad u designar el gradiente
respecto de la mtrica de Poinar de 5. Si 5

= A y
y
est definida en A. grad
denotar el gradiente respecto
82
de la mtrica hiperblica en A, mientras que se reserva el smbolo Vv para designar el gradiente eucldeo de
y.
Asimismo,
en lo sucesivo y 1
I D5
designar longitud respecto de la mtrica de Poincar en 5
designar longitud cuclidea. Ntese que en el caso del disco unidad

11
g =g g 12
22
(1
=g 21
Iz 22 1 4
=0 212 vvz
por tanto: grad vOz)
Cl
1zI 4
si se toman longitudes: Israd v(z)IA
Cl
Dvv(z)DA
Iz 2 vvzn
Sea ahora 5 una superficie de Riemann, u una funcin regular en 5, E un recubrimiento universal de A en 5, y
y
= ucE.
Teniendo en cuenta que E es una isometria local y la frmula anterior se deduce la siguiente relacin entre los gradientes de u y de
1
y:
1z12 IVvCzlI
grad u(F(zlljj = grad vCzlUft 2 Tras estos comentarios preparatorios se ofrece una aplicacin del Corolario 1 del Captulo 1.
Lema 2.7
Sea 5 una superficie de Riemann y u una funcin armnica no
constante en 5 que verifica: ~grad u <p)j 5 sA e ~grad u donde

po <p)j5
<pES)
0<Iu<p)I>
(0.
<
es un punto prefijado de 5,0:
+ ca)
.*
(0,
+ ca>
es no
decreciente,
es una constante con 0 s a
es una cierta
constante positiva. Entonces
83
y<S)
1 - ci
Demostracin Sea E un recubrimiento universal de A en 5 con F(0l

y
= po y
sea
= uoF.
De acuerdo con la proposicin 2.3, o bien casi toda geodsica

= 1,
que parte de po tiende a infinito, en cuyo caso y(S) ninguna geodsica que parte de Eatou de
y
o bien casi
po
tiende a infinito y el conjunto de
tiene medida de Lebesgue cero. Supngase que ocurre esta
ltima posibilidad.
Si se tienen en cuenta
5
los comentarios
previos
al
lema,
la
desigualdad d CFCOLF(z)) s ~grad u (F(z)ID para todo zEA. Por tanto: IVv(z)I s
=
d (O z) y las hiptesis, se deduce:

A
1zI2 Vv(z)j ~ A e~A Co,z)
= A(
: ~f
(1 e, integrando se obtiene:
2A IzI
(ZEA)
)
{
De modo que
y
vOzl ~
Cl 0 IzIl 1
para todo zeA, Iz para todo zeA,
si O si
ci
<
ci
<
IvCzlI sC log e 1 a
= O
La segunda condicin sobre el gradiente de u que figura en el enunciado se traduce en la siguiente desigualdad: 1 Iz2 IVvCz s 0(Iv(z) luego se satisfacen deduce que
y
Oz e
A)
las hiptsis del CorolarIo 1,

+ ca
Capitulo 1 y se
tiene limite radial
en un conjunto de dimensin de
Hausdorff al menos 1 Para concluir
a. la demostracin basta observar que si
84
vCre te 1
u(F(re te II
tiende a
+ ca
cuando
tiende a
1.
entonces
necesariamente se verifica que hm

r-* 1
(po,E(re te )l
= ca
ya
compactas.
que
las
bolas
de
la
mtrica
hiperblica
son
relativamente
En definitiva
y(S) ~ 1a.
Si u: X
4
X,Y Y es
son
espacios si
topolgicos, u 1 (Kl es
se
dice en
que X
una
funcin
propia
compacto
para
cualquier
compacto K de Y. Si Y
= R,
entonces u
2 es propia si y slo si u~1 [a,bl es
compacto para cada a,beIR. El siguiente lema relaciona el crecimiento de una funcin
armnica propia en una superficie inyectividad de la superficie.
de
Riemann
con
el
radio
de
Lema 2.8
Si u es una funcin armnica propia en una superficie de
Riemann 5, entonces existe una constante positiva A tal que ~grad up 11 ~ mm A (l,<p)>
para todo peS. En el caso en que Cp) es acotado inferiormente, el Lema 2.8 aparece
5
en
[S] en el contexto ms general de variedades Riemanianas.
La
prueba del Lema2.8 que se da a continuacin es ms simple en el caso de superficie de Riemann.
Demostracin del Lema 2.8 Puesto que u es propia, las lneas de nivel de u son compactas, y
85
para todos los valores de u con la excepcin de una cantidad numerable (los valores correspondientes a los puntos crticos del gradiente), constan de un nmero finito de curvas cerradas regulares disjuntas. Como en [S], se comienza observando que la armonicidad de u
implica que las integrales de lnea
jjgrad uD <0=A }
ds
(2.31
son finitas e
independientes de A Cds significa elemento de longitud
hiperblica en 5). En efecto, armnica u, da: b son dos valores no crticos de la funcin 1 Ca,b) la frmula de Oreen ((Sp], Pag.1921 aplicada en u~
<
si a
<grad u, n>ds
(2.41 Puesto que el gradiente es
donde n es la normal exterior unitaria.
normal a las lineas de nivel, (2.4) no es sino:
Usrad ullds
~grad u~ 5 ds
que es precisamente (2.3). Ahora fijese u(p)

y
pC y supngase sin
prdida de generalidad que

A
= O.
Si E
es un recubrimiento universal de
y
en 5 con F(Ol
= p y
= ucE,
entonces
es una funcin armnica en A y se verifica

=
~grad uCE(zl)D5 Si t
=
jgrad
vozllA
IVvCz)I
Cz e A)
min<1. (pl}, E es una isometria de la bola hiperblica E (O,t) s A
en E Cp,tl por tanto
f
<u=A>nB s
(p,t)
~graduDds
~gradvilAd
<v=A>nB(P~t)
donde d denota longitud de arco hiperblico en A. Teniendo en cuenta que d

=
1 (1 2
Iz 1
21
IdzI
y la relacin entre
>
grad y y Ay,
se
deduce de (2.3) que existe una constante A
O tal que
86
f
<v=A>nB Co,t A para cada A
E
jAvIIdzI sA
R.
que
+
Obsrvese r
=
E (O t)
<z
Iz
<
r}
A(0.r),
siendo
(et
1)(et
1)
y
Sea g la funcin analtica en A(O,r) cuya parte real es que g(O) y si O

= O.
y tal
A
La funcin f definida por f(z)

=
gCrz) es analtica en
= fCA)
g(A(O,r)), entonces (2.5) es equivalente a: longitud (O n <z : Rez

= A}) SA
En particular O no contiene discos de dimetro superior a A. Por consiguiente, f es una funcin de Bloch (ACP] y existe una constante absoluta C
>
o tal que sup {Ci
1z12)If(z)I
Iz
<
1}
C 0A
La conclusin es: ~grad uCp)j

=
.-~ IAv(0)I
_____
IfC0)I
2r Por tanto grad uCp)5 ~ CA para alguna constante absoluta C

>
CA o 2
t.
1 ~ 1
+
O y la prueba est completa. #
La seccin se concluye con un lema que pone de manifiesto la estrecha relacin entre las funciones armnicas propias y el problema
geomtrico que se estudia de este capitulo.
Lema 2.9 Si existe una funcin armnica propia en una superficie de Riemann no compacta 5, entonces y<S> 1-
87
Demostracin
Sea u armnica propia en 5, compacto K Si p
E
Sea K
= u
1,1]
y considrese el
= <q
e 5 : d (q,K) s 1}.
5 5 ~
S\t, la bola H Cp,1) est contenida en S\K, luego:
y se deduce de la desigualdad de Harnack que existe una constante absoluta M

>
O tal que ~grad u(p)
[~ MIu(pH ~
para todo p e S\1C. Por consiguiente, jgrad uCp)fl s MIuCp)I

>
m
0.
(2.6)
para todo p e 5 y alguna constante m Hgase (3

= (3(5) y
sea e
>
0. La definicin de (3(5) dice que

L(3+c>d Lp,po)
hm mf
d Lp, po)4
(p) e
5
>0 existe una constante
siendo po un punto cualquiera de 5. Por tanto, A >0 tal que

fi
(peS)
Ahora el lema 2.8 proporciona la estimacin

((3.c)d Cp,p
grad u(p)~
fi
Ce
~
= Mt + u
para todo p e 5. El Lema 2.7, con 0(t)

y(S) ~
asegura que
(3
y el resultado buscado se obtiene haciendo tender e a cero. *
88
SECCION 11.3.
Esta seccin est dedicada al estudio de algunos ejemplos.
Los dos
primeros son dos casos sencillos de dominios planos, aunque reflejan comportamientos vlidos es casos ms generales, como se ver en la
proxima seccin. El tercer ejemplo constituye un punto de partida muy
interesante
de cara al caso general, que se tratar en el teorema 6.
Por ltimo, se construyen superficies de Riemann 5 con (3(S) prefijado.
1.
A\<O}
La
aplicacin
FOz)
iz
es
un
=
recubrimiento e I
universal
del
semiplano superior U en 0,
con E(i)
El grupo recubridor est

*
generado por la transformacin parablica z E de la regin {x A . (0,e yo 3

=
+
2w y la imagen por
iy : O Iz
<
<
2w. y
>
yO
es el entorno punteado
z : O
<
Las geodsicas en O son las imgenes por E de las circunferencias ortogonales al eje real y las rectas verticales. Puesto que E(E
y = 8A
FOx
iy)
*0 cuando y> 80
y
+ ca
para todo x e R, toda geodsica enO
termina en
por tanto tiende a infinito en O

= 1.
Se tiene pues, y(O) Por otra parte, si y puntos iy, 2ff

+
>
0, la imagen de la geodsica en U que une los la curva cerrada no trivial de

=
iy
es
longitud e~, por
(hiperblica) ms corta en O que pasa por el punto tanto 0 (en)

=
F(iy)
~2
d u (iy,ir
+ iy)
lo~[i
y
y(y +
89
Adems
d (i,iy)
u obtiene:
d (&1,e~) 12
log y,
luego haciendo tender y a
ca
se
1,e~) 0(e
O (Y)
~ -y
de donde se deduce que (3(0) En definitiva (3(0)
= 1.
= y(O) = 1.
En O hay curvas cerradas de longitud hiperblica pequea que rodean la cspide origen. (ver introduccin)
arbitrariamente por el
originada
2.
= C\<O,1}
Ntese que O
= C\<0,1,ca}
o,1,ca son tres puntos aislados en 80,
cada uno de los cuales origina una cspide. El recubrimiento universal de O es la clsica funcin modular (ver por ejemplo [Fu], Pag. 54). Si bien el
comportamiento
de las
geodsicas de O podra deducirse del estudio de los valores radiales de la funcin modular, resulta preferible generales. la utilizar argumentos
geomtricos
vlidos
en situaciones ms
En general,
si O cC y a e 80 es un punto aislado de 812, en un entorno de a,
mtrica hiperblica de O se comporta,
como la
mtrica hiperblica de A\<0} en un entorno de 0; de forma ms precisa, existe un entorno de a de O) a algn

que
es isomtrico (con la mtrica hiperblica

=
entorno
ACO.c)
{z : O
<
Iz
<
e>
con
la mtrica
hiperblica
de A\{0}.
(Una demostracin puede consultarse en [lCr],
Pag. 53). Por consiguiente, los radios de Inyectividad de 12 y de A\<0} coinciden en los puntos equivalentes de dicho entorno por dicha isometra, de donde se deduce que (3CC\<0,1})
= (3CA\<0>) = 1
y de A (0,c)
fi
90
Por otra parte,
las geodsicas que terminan en algunos de los
puntos 0,1,ca se corresponden con los elementos parablicos del grupo recubridor y son por tanto una cantidad numerable, (3(0)
= 1, y(O) = O
luego y(o)
= 0.
En resumen:
3. se
El procedimiento que se expone a continuacin muestra cmo pueden construir superficies de Riemann pegando copias de
superficies con borde ms sencillas a lo largo de geodsicas de la misma longitud. Los bloques bsicos de la construccin son las
llamadas Piezas Y ([Bu]) Se
cuya construccin se comenta a continuacin.
toma en primer lugar un hexgono geodsico H en el disco
unidad, es decir, un hexgono cuyos lados son geodsicas que se cortan con ngulo w/2. Si se fijan a,b
>
se
numeran
los
lados
consecutivamente por
1,2,. ..6 entonces se puede conseguir que el lado
1 tenga longitud (hiperblica) a/2 y los lados 3,5 longitud b/2. Ahora se considera una copia lados pares. por H de H y se identifican los
correspondientes
Las estructuras ejemplo, 1, E pcH, de
Riemanianas
encajan
correctamente porque equivalentes de dos
si, lados
pEH H, H
son dos puntos respectivamente tales que D n H
pares
entonces existen dos discos D, D centrados en p. p es isomtrico a AC0.c)

=
<z :
Iz
<
c.
Im z (
<
>
0} de forma que p se e, e) y anlogamente

<
transforma en O y D n 1 se transforma en Y n H es isomtrico a ACO,c)

=
{z :
jzI
e, Im z
0> de modo que
se transforma en O y D n V se transforma en ( superficie de Riemann, que se denotar Y(a.b),
c,c). En la nueva
la unin D u U es un
entorno del punto ~ e YCa,b) obteniendo mediante la identificacin de p y p, y este entorno es isomtrico al disco ACO,c). La superficie de Riemann Y(a,b) fabricada de este modo tiene la
91
forma de un pantaln cuyo borde est limitado por tres geodsicas simples cerradas, una de longitud a y las otras de longitud b. Considrense dos piezas Y,Y geodsicas de longitud b de Y de tipo Y(1.b) y pguense las dos con los correspondientes en Y,,
conservando la longitud de arco. El mismo razonamiento anterior revela que con este procedimiento de pegado se obtiene una superficie de limitada por dos geodsicas
4.
Riemann compacta So,
de gnero uno y
yo
y
simples cerradas de longitud 1, isomtricamente contenidas en
yo.
Las dos partes Y,? sealar cp.xe es
estn
So.
Conviene
esncial
realizar las operaciones de pegado a lo largo de geodsicas si se quiere conservar las estructuras Riemanianas. Para cada n e Z considrese una copia 5 geodsicas y Riemann 5
de 5
rl o
Si se pegan las de una
y1
para todo n e ?, La
se obtiene una superficie

y
no compacta.
identificacin de y
origina
geodsica simple cerrada y
y, en 5.
la superficie 5 as construida
a
Ntese que la periodicidad de
implica que el radio de inyectividad Por consiguiente (3(5)

= 0.
est acotado inferiormente.
A continuacin se construir una funcin armnica propia en 5 y del lema 2.9 se deducir y(S)
=
1. En este caso se aprovecharn las
fuertes
propiedades de simetra de la superficie 5. no obstante esta
forma de proceder, aunque rodeada de muchas ms complicaciones, dar sus frutos en el teorema 6, de ah que este ejemplo haya constituido una valiosa fuente de inspiracin para la comprensin del caso
general. Sea u +1 en u
2
la funcin armnica en 5
u 5
1
que tiene valores frontera

y~
1 en y~1. Obsrvese que u u 5

-2 -1
vale O en
por simetra. Si
es la funcin armnica en 5
u 5 u 5 con valores frontera 0 1
92
+2 en
r
2
2 eny
2
,
1
entonces y
uvale
2
O eny,
0
yde
2
nuevo por
1
simetra u
vale 1 en y
1 en y
por tanto u
extiende a u.
Continuando este proceso se concluye que existe una funcin armnica en 5 tal que para todo nc Z y, Por
+ ca
el
principio del
> -
mximo u(p)
ca ca
cuando p
tiende
en S y u(p)
ca
cuando p tiende a
en 5, as que u es
propia. En definitiva (3(S) =0, y(s) =1.

y
Si E es un recubrimiento universal de A en 5 entonces una funcin armnica de Bloch en A, segn el Lema 2.8.
= uoF
es
No puede
verificarse la alternativa a) de la proposicin 2.6 porque en ese caso

y
tendra limite no tangencial infinito en casi todo punto de 8A y
esto contradice el teorema de Plessner. Por tanto debe verificarse la alternativa b) y en particular el conjunto de Fatov de cero. Por el corolario 2.4 casi toda geodsica que parta de un punto cualquiera de 5 oscila eternamente entre trminos analticos esto es simplemente: hm
r
tiene medida
+ ca
ca
en 5.
En
sup vCr e~0 )=~~~=

1
hm
infv(retO 3ca
r 4 1
para casi todo e e . Del teorema de AndersonPitt (ver la introduccin) se deduce que existe y tiene limite radial dimensin uno, o equivalente, y(S)
=
+ ca
en un subconjunto
de
1. Obsrvese la analoga con el
modelo de caminos aleatorios en Z.
4.
Dado cualquier (3
=
[0,1],existe una superficie de Riemann S tal pegando piezas Y. Sea <a }
que (3(S)
(3. La construccin se realiza
93
una sucesin de nmeros positivos. Y (a

~2)
Se consideran dos piezas de tipo

ci
se pegan las geodsicas de longitud
Se obtiene as una
2
superficie limitada por 4 geodsicas de longitud
lo largo de
cada una de las cuales se pega una pieza Y(ci,a), superficie limitada por 8 geodsicas de longitud
obteniendo una
ci.
Repitiendo
sucesivamente este proceso se obtiene una superficie de Riemann 5 y si se elige convenientemente la sucesin <a >,
rl
se puede conseguir que
(3(5)
(3.
94
SECCION II. 4
En esta seccin se ofrecer una prueba simple del dominios planos.
teorema 6 para
Tambin se dar una prueba moderna de un resultado
Littlewood que proporciona una clase interesante de dominios planos.
Teorema 6: Si O es un dominio plano distinto de C y C\(a) <a e C> y F es un recubrimiento universal de A en O, entonces dim <e et0,2w1 : haz IF<relB)I En particular y(O) tI -(3<0)
= ca)
1 -
(3<0)
Por supuesto, el mismo resultado es cierto si se sustituye cualquier otro punto b e 8 0: din <O e(O,2w] hm FCre
r41
ca
por
ie
= b} ~
(3(12)
Si no hay posibilidad de confusin,
la densidad de
la mtrica de i
Poincar en O y el radio de inyectivldad sern designados por A, respectivamente.
La distancia euchdea de un punto z e 12 a 8 0 se
denotara d(z). El siguiente lema proporciona una relacin entre A, 8,
que necesitar en la prueba del teorema 6.
Lema 2.10
Existe una constante absoluta C >0 tal que mm 1 1,<w>)

5
A<w)6<w>
G an 1 I,Uw))
para todo w e O. En la prueba del lema 2.10 se usar la siguiente til estimacin de la densidad de Poincar, debida a Heardon y Pommerenke CESPIJ
95
Teorema:
Para todo
1
e O: Ir
5
A<w)5<w) IR al 1 a
B<w)1
k Iv
donde B<w)
=
irff 1 IlogI ~
a,b e8 O.
al
6(w))
y 1<
= 4 +
log < 2
2C7 ).
Demostracin del Lema 2. 10 Debido a las propiedades de reescala de A y 6 se puede suponer sin prdida de generalidad que
ti
= 1,
8(1) = 1 y O
e 8 12.
Sea b e 8 0 tal que Ilog!bi es mnimo. Entonces, por el teorema de Beardon
Pommerenke:
U Ilogbil
~ AC)
>
IlogibIl
(2.7)
para alguna constante absoluta C
0.
Para probar
la desigualdad de
la izquierda del
lema se puede
~ C
1
suponer que 8A CO porque en caso contrario Ilogibl Por tanto 8A COy

Mli
= O y AC)
IlogibIl >0. De la eleccin de b se deduce que el
lo
R
= {
z :
Ilogzl
<
Ilogbl }
est contenido en O,
y la propiedad de comparacin de la densidad de
Poincar dice que la longitud hiperblica de 8A en O es menor o igual que la longitud hiperblica de 8A en FU De un clculo se desprende que la logitud de 8 A en R es exactamente
2
ir
IlogIbI Esto implica que la bola 8 (1 tI no es simplemente conexa si O,

2
>
ff ~-- Ilogibl -1
luego Cl) ~
Ir 2IlogIbLl
2
96
y si se tiene en cuenta (2.7) se deduce la desigualdad de la izquierda en el lema
Para demostrar la otra desigualdad, sea Y que universal de A en O tal que Y(O) = 1, y sea z~ A tal un recubrimiento d Coz) =min { d (O z) : E(z) A o A Entonces Cl)
= =
1 >
.4
d~ (0,z) segn se mencion en la Introduccin.
Puesto O < est contenido en quey 6(1) el 1, el disco A(1.1) = ([Be], IzPag.11 110)1 E} tiene por = teorema de monodroma {z : una inversa g definitiva en AC1,1) tal que gOl) = 0. El teorema Koebe ([1], corolario 1.4) afirma que se verifica la inclusin: de
4
~(AC.u)
A(O..4
18 (1)1)
Por otra parte, obsrvese que E no es inyectiva en el disco MO. Iz 1). luego <ACil)
,~
~
A10 II1 z 1. Por consiguiente se deduce que

~
1z01 Ahora la frmula
y- 4
Ig(1)I
A(ECz))IFOz)l sustituida en z
=
= 201
Iz 2>-1
(z e
A)
(2.8)
O proporciona
= 2IgMl)l
M)
y
por tanto AC)

5
______
1 + 1z01 1IzI o
= 4 d
8Iz0I
log
(0.z 3 o
8 (1)
si
se
recuerda
que
6(1)
la
acotacin
Ad s 2
(ver
la
introduccin) se obtiene tambien ACI) 5 2, y por tanto AC) 5 8 mm < 1.O1) } Esto finaliza la prueba del lema.
Demostracin del teorema 6: Supngase. como en el lema 2.10 que 1 e 0, 0 97
E 8 12 y
E(O)
= 1.
Sea
(3
>
(3(0).
Se
demostrar,
= OCC
que
cumple una
condicin
de
crecimiento del tipo logF Sea A

= AO(3)
>
IzIE~).
O tal que -(3d0Ci,w) A e
Cw) para todo vi

E
O.
Del lema 2. 10 se deduce que
para alguna constante 8 -(3d0 Ci, vi)
>
0:
ACw)6Cw) ~ E e Adems, puesto que a e 80, se tiene que 6(w) s lvii, luego Mvi) ~ para cada
vi
-(3d0(1.vi)
(2.9)
e O.
De (2.8) y de la desigualdad d0(i,ECz))

S
d CO, z)
log
+ -
Iz
se deduce sustituyendo en 2.9:
1 k~UI
sC(i IzIf~
Integrando se obtiene en particular:
Segn el
logIECz)I1 s CC1 de
Iz)
-(3
teorema
Nevanlinna
citado
en
la
introduccin
puede
suponerse que 80 tiene capacidad logartmica cero, y que el conjunto de Eatou de E tiene medida cero porque en caso contrario la imagen por E de casi todo el radio termina en 80 y por consiguiente y(O) Si u
= =
1.
y el conjunto de Fatou de u tambin (3 tiene medida cero (vease el teorema de Plessuer en la introduccin ), luego segn el Teorema 1 (capitulo 3, Y tiene limite asinttico
ca
logiF, entonces u e M
en
un conjunto de dimensin 1
(3. Pero E es una funcin normal, porque EF] Lema 9.2). luego los
omite al menos dos valores ((HI]. Pag. 248,
limites asintticos son tamblen radiales y se concluye que
98
dim {e dO, 2w] : de donde se deduce la
Hm lECr etBH buscada
= ca}
(3. (3
>
conclusin
ya
que
a(a)
es
arbitrario. * Se considera a continuacin una familia interesante de dominios planos
O, con (3(12) = y(O) = 1. Estos dominios estn relacionados con un resultado clsico de Littleviood C[Lt], resultado que sigue al ltimo teorema) del que se da una prueba mtrica de Poincar Este ejemplo pone de manifiesto la transparencia con la que moderna basada en el uso de la
ciertos problemas de la teora analtica de funciones pueden ser entendidos utilizando tcnicas geomtricas como la mtrica hiperblica.
Sea <a } una sucesin de nmeros complejos distintos que tienden a infinito y tal que los sucesivos cocientes verifican: la~:~ 1 ~ para todo n
E
sM
(2.10)
O~ y alguna constante positiva fija H. Se considera el

ca
dominio O = C\ <a > . Del razonamiento que dio en el ejemplo 2. Seccin 3 se deduce n0 (3(0) = 1, mientras que el siguiente resultado n que
de Littleviood y el argumento usado en el final de la prueba del
teorema 6 implican
que
y(O)
= 1.
Teorema CLittleviood) est contenida en 12.
Sea f una funcin analtica en A cuya imagen Entonces existen constantes L,C > O qoe slo
dependaen de ti tales que If<z)I s para todo z

E
3
<1
<2.11>
A.
99
En particular, el recubrimiento universal E de A en 12 (2.11) y el argumento del final del teorema 6 muestra que
satisface
dim <e ~ [0,2ff] :

Demostracin
hm IECre
r->1
JI
= ca
= 1.
Por subordinacin y por el teorema de simetrizacin de Weitsman (Je] se puede asumir sin prdida de generalidad que cada a negativo, Y(O)
= 1,
rl
es real y en
12
E es
>0.
el Se
recubrimiento puede
universal suponer,
de
con
una
ECO)
tambien
mediante
traslacin, que
= 0.
Tras estas normalizaciones se observa que la

Ci.
+ ca).
imagen por Y del radio (0,1) es la semirrecta [Wc]) EOr)

=
Adems (ver
max <IECz)I :
Iz
r >
>
CO
0: 01 s x
<
<
<
1)
Se probar que, para ciertas constantes A,B
x)
si x
=
~ A log x
ca)
(2.12) porque
El teorema de Littleviood se deduce inmediatamente E(r),.entonces

5
de (2.12).
A log FCr)
d (i,E(r)) s E O
=
d (O r) A
= B + log
1~r 1 r
y se obtiene (2.11) con L Para probar (2.12), Entonces d Ci O
A, C
e.
ca)
sea x e [1, + Ca
tal que
la 1
rl
sx
s la es
1.
n+1
x)
d 01, la II O
semirrecta
(1,
+ ca)
una (2.11)
geodsica) y, cuando
debido a la condicin (2.10),

y,
basta comprobar
la 1. Para ello, es suficiente verificar que d0(IaI. IakIJ ~ A log la k 3 (2.13)
para todo 1< ~ 1. Ejese n y sea O
= C\
{ -rsS}
j
< ~dc\ {-i,a}1 lan~i 1 la
rl
Entonces, por las propiedades de comparacin de la mtrica hiperblica: dotlay,I. la rl. 1
d0ql.
lan+i 1 a 1
rl
ico
y sise
tiene en cuenta la siguiente estimacin de la densidad de Pag.478) C\<i,o} t4brr

+
Poincar ([HP],
log t)
se obtiene: lan,i 1 la 1 dc\<10>(i..2j.I j

n
dt t(4VV +log tI
___________ og
C4VV+log M)
jaj
con lo cual Littleviood. *
(2.13) queda probado y con ello la prueba del teorema
Observacin: que, cuando SI
Se puede demostrar que L* 2 cuando SI

*
1.
La idea es
1, 0 tiende al dominio G
+
C\C-ca,0) y Etiende a
la aplicacin conforme 01
z /(1
de A en G.
Se puede dar una formulacin rigurosa de este argumento heurstico utilizando un resultado de Hejhal ([He]) sobre recubrimientos universales de regiones variables. convergencia de
101
SEccIoN 11.5. PRUEBA DEL TEOREMA 6
En lo sucesivo se supondr que 5 no tiene funcin de Creen y no es compacta, es decir, 5 es parablica. La prueba del teorema se divide en dos casos.
1.
Existe una curva cerrada regular
tal que S\r consta de dos
componentes no compactas. Las dos componentes de SS~ se designan por 5 Ca componente
a la derecha de
La
r)
y 5
de
(la componente a la izquIerda de

acuerdo con el Lema 2.9.
r.
en la El
dificultad,
estriba
construccin de una funcin armnica propia en la superficie 5.
procedimiento que se utilizar puede ser descrito de manera informal como sigue. El y u
4.
primer
paso
consiste
en
construir
dos
funciones
armnicas u
en subregiones 14, 14
de 5, 5
respectivamente, que
sern soluciones de un problema de Dirichlet-Neumann y tales que uCp) + ca cuando p e W tiende a infinito en 5 y u~(p) * ca cuando p e 14 tiende a infinito en 5. Este primer paso se describe en [SN] (Pgina 353). En un segundo paso, las condiciones frontera de las
funciones u,,
u~ permiten la aplicacin de la teora de operadores
normales desarrollada en [AS] (Captulo III) y se obtiene una funcin armnica en toda la superficie 5 cuyo comportamiento en el infinito coincide con el de las funciones u,, u~ y por tanto u es propia. A continuacin se ofrecen los detalles de la construccin. En primer lugar, se elige una funcin armnica h en y tal que hOp)
>
st
positiva
+w
cuando p ES + tiende a infinito, es decir, cuando
102
d Cp,r)
5
>
ca.
Una funcin con estas caractersticas se denomina una

4.
funcin de Evans en 5 (Pg 350) Sea B

+
Su construccin puede consultarse en
[SN]
una pequea banda a la derecha de r, limitada por fl y por

y
una curva cerrada regular rt homloga a r, 14

+
considrese la regin
+
= 5 \B
+
.
Sea g una funcin armnica acotada en 14
tal que
los
valores de g en
r~
coinciden con los de fi Cg puede ser obtenida como
limite de soluciones al problema de Dirichlet en subdominios de 14). La funcin u es armnica en 14

+
h-g
4.
acotada inferiormente y
O. Puesto que 5 es
parablica, verifica el principio del mnimo para funciones armnicas ([AS], Pg. 204) y por tanto u
4.
~ O en W Obsrvese que
uOp)
ca
cuando p e 5 tiende a infinito. Si n denota la normal exterior unitaria a 4 un argumento elemental muestra que:
8u
en
la curva
<O
4.
1~
y multiplicando u
+
8n por una constante conveniente se puede suponer que

8u
+
1. Jr
4.
Razonando de manera totalmente anloga se obtiene una funcin armnica negativa u en la regin 14
= S\ E,
donde
es
una
pequea banda a la izquierda de cerrada regular tiende
r,
limitada por
>
r
-
y ca
por una curva cuando p e 5 condiciones
r,
homloga a
.
r,
tal que u (pI
a infinito en 5
La funcin u
satisface
las
frontera:
103
uj (n, igual que antes,
=0
ir
= 1
8u en la
denota la normal exterior unitaria a 14
curva
r
SIS
lCvW
y(3=?
ur,
+
la funcin
v=ux
1
14
Cx denota funcin caracterstica) es armnica en S, v(p) ~ p

E
continua en 9,
.
+ ca
cuando pe 5 tiende a infinito en

y
st
vOp)
ca
cuando
tiende a infinito en 5, y 8v
satisface adems (2.14)
o
y
(3 La condicin (2.14) se expresa a menudo diciendo que flujo cero a travs de (3 y se denota por dv = 0. (3
tiene
La parabolicidad espacio de las
de 5 permite definir un operador de CC~, el continuas en (3, en el espacio de las
funciones
funciones armnicas en 5, y continuas en 9 de la forma siguiente: Sea fe CO~. y
~=11r~
Sea ix
4.
=hCf)
+ 4.
la nica
funcin armnica acotada en 14, continua en -4. tal que 14
h4.Ir+
El hecho de que h
pueda ser obtenida simultneamente como limite
no decreciente y no creciente de soluciones al problema de Dirichlet
en subdominios de 14 garantiza que siguiente condicin sobre el flujo: 14. 0

+
ix
verifica
por
aadidura
la
8h
(2.15)
8h
En (2.15), ~ podra no existir en
pero se entiende esta expresin

4.
como lmite del flujo, a travs de una curva y cuando y
siendo
104
y una curva regular homloga a rt Anlogamente, 14 existe una nica funcin ix tal que
= f =
h Cf 1,
armnica en
continua en 14 ix
adems
Ahora se define Lfh,x

14
+hx
As pues, para cada funcin f e C~),
la funcin Lf es armnica y
acotada en 5 y continua en 5. El operador L satisface las siguientes propiedades:
Cl)
Lf1(3
= f
(2) (3) (4)
L es lineal mSfSH implica msLfsM
El flujo de Lf a travs de (3 es nulo
El
operador L es entonces operador normal,
en el
sentido de
(AS] (Captulo III, Pag. 152), y segn el Teorema de existencia III 3.A ([AS] Pag. 1541, dada
y
ux
14
u~
14
existe una funcin armnica u
en toda la superficieS tal que

u
y
LCu
vI(3)
De modo que u u(p)

*
es acotada y por tanto cuando pe 5 tiende a infinito en 5 tiende a Infinito en 5

+
+ u
u(pI 4-ca cuando p eS
En particular u es propia y, segn el Lema 2.9
105
y(S) ~ 1 (3(5)
Para tratar el caso general se necesitar ms informacin sobre el caso anterior. Si p E 5 + se denota por D(p) el conjunto de direccioneswtalesque hm dOp,y (t))
tca
= ca
(t) e 5 it e CO. + ca) ORecurdese que y es la geodsica que parte de

1
p con direccin
inicial
vi).
Se probar que hm sup pEs dop,r)4 ca dimDOp) ~ 1
(3(s)
(2.16)
Para demostrar 02.16) elijase un punto
po
r.
y
Sea Y un recubrimiento
universal de A en 5 con E(o) = po y hgase caso 1 del teorema 6 tratado anteriormente
= ucE. En realidad, el y los lemas precedentes
muestran que la dimensin de Hausdorff del conjunto E es mayor o igual que 1
himv(re
r-*1
1+ca}
(3(s).
Eijese permite
u(p)
ci <
(3(s).
El comportamiento asinttico de la funcin u positiva A tal que, si p e 5

y
elegir
una constante
~ A, entonces la bola B Cp,i) est contenida en St

fi
Obsrvese que
ca
E1 c
U {e te
1Am v(r e te 3
= + ca,
vCr e 16 )
V r col
Por tanto, existe ro, O < ro = <ele ~e E hm vOr e 3

2
<
= + ca,
tal que, si te vCr e 3 ~ A
Y r
e(ro.i)>
r-*1
106
entonces
dim E
2
>
a. ir/2 de forma que los puntos de cualquier
Elijase a,
<
ao <
te cono de Stolz truncado C(e ,ao,ro) estn a una distancia (hiperblica) del radio CO,e te) inferior a 1. Por consiguiente, si e te ~ E
2~
z e CCe
contenida en 5
5
,
l
r41
,
9
ao,
ro)
ro < r <
1,
la bola B CE(re
rl fi
en particular EOz) e
st
ya que d (ECzI,
te 1,1) est e FCre 31 s
d (z A E
=
e re 3 s 1. Se concluye pues que el conjunto

< te d C ECtOfl
=
FC)
CCe)>
tiene dimensin mayor que ci. Escjase una constante positiva t0 tal que, si e te e BA es el arco de 8A centrado en e te de longitud t0, entonces
E
Ce)
rocie e CC,o, rol para todo Obsrvese que t0 slo depende de Ahora
Za =
cia, ro.
IC~)
se
elige
e0 e
tal
que
dim(E n (Gol)
>
sea
roe
tea .
Para cada e en el
te e
E n iOe0) la geodsica y que une za y e CCe e .ao.ro) y su imagen mediante
te
est
contenida
cono
el As
recubrimiento Y est contenida en
st
por la definicin de E.
pues, se ha llegado a la conclusin de que existe un subconjunto de dA de dimensin mayor que a tal que la Imagen Cpor E) de la geodsica que une
za
con cada punto de este conjunto est contenida en 5

4.
4.
y se
marcha al infinito en 5
Esto quiere decir que

> ci
dim DCECzo))
y
se verifica (2.16).
107
II. Caso general Se comienza eligiendo una geodsica
simple cerrada, no trivial
(no hompota a cero). Se puede asumir que no se produce la situacin del caso 1, luego o bien S\f es conexo o bien una de las componentes de SX es compacta Crecurdese que 5 es no compacta). La forma de
proceder es similar en cada uno de los dos casos, as que se supondr que S\r es conexo.
Se utilizar un argumento de cortar y pegar semejante al que se di en los ejemplos 3, 4 de la seccin 11.3.
Se corta 5 a lo largo de y se obtiene una superficie de Riemann cuyo borde consta de dos geodsicas rocopias de r). Ahora se
rl
pega una copia S~ de
a lo alrgo de las dos geodsicas y se obtiene
una superficie de Riemann S (Es esencial que
r4.
sean geodsicas
de la misma longitud II. Las correspondientes geodsicas ya pegadas en S 5; denotan rl S~ y ~2 estn isomtricamente contenidas en y si = u F, entonces S\r consta de dos componentes no compactos. que son precisamente s en esta situacin
r.
1. S~. El argumento del caso 1 funciona tambien

ahora fl est formado por dos curvas
Caunque
1
cerradas) y la regin 5
juega el papel de S. est suficientemente lejos de
De (2.16) se deduce que si p e 5
~, entonces la dimensin del conjunto de geodsicas que parten de p y
divergen a 1
infinito en S~
sin
cortar a
es
mayor
igual
que
(3(s). Ahora bien, puesto que (3(i) slo depende del comportamiento
del radio de inyectividad en infinito, la construccin de S revela que (3(5)

=
(3(S)
TOS) ~ 1
(3CSI
lo que concluye la prueba del teorema. *
108
Observacin.
Durante la prueba del teorema 6, caso 1 se muestra que,
bajo ciertas condiciones, existe una funcin armnica no constante en una superficie de Riemann 5 no compacta y sin funcin de Creen, que satisface: loggrad u donde (3
< 5
(3d (Po,.)
a
(2.17)
(3(5),
po
es un punto cualquiera de 5 y C es una constante Para
positiva. Una funcin armnica como esta no existe en general.
ello, considrese una superficie de Riemann compacta Ro, cuyo borde es una geodsica simple cerrada y de longitud 1 Riemann compacta simples cerradas
So,
y una superficie de
de gnero uno cuyo cuyo borde sean dos geodsicas y~ de longitud 1 (por ejemplo 5 o podra Sean 5
rl
yo,
construirse pegando dos piezas Y(i,1). n n

= 1,2,3.... =
ver Seccin
j
11.3).
4.
copias de
So.
Si
se pega
con y
y y
rl
con y
para tiene
0,1,2,...
se obtiene una superficie de Riemann 5 que no y cuyo radio de inyectividad

e
funcin de Creen ([Ka]) inferiormente, luego (3(S)
est acotado
= 0. = O, y
Supngase que u es armnica en 5 y verifica (2.17) con (3 decir grad u es acotado en 5. a

= u(p
fl rl
es sea
Escojnse puntos p e y
rl
= y~
3. Por el principio del mximo y la acotacin del gradiente,
en 5 y, Cc 5) se verifica la desigualdad:
lu ~ max
<la 1, la
rl
n4.1
1>
Si (a } fuese acotado, entonces u seria acotada y por tanto constante

rl
(5 no tiene funcin de Creen). Pero si n mximo se deduce: a rl C<a

rl m
<
<
k,
del principio del
<a k
+~ + ca
de modo que <a } debe converger a a

+ ca
o a
- ca.
Si converge por ejemplo
entonces u es acotada inferiormente y de nuevo esto obliga a u a
ser constante ya que 5 no tiene funcin de Creen.
109
REFERENCIAS
[A] Ahlfors,L. y.
Conformal invariants. McGrawHill. 1973.
[ACP] Anderson,J.M., Clunie,.J., Pommerenke,Ch. functions. .J.reine angew. Math.27001974 >1227. [AP] Anderson,J.M., Pitt,L.D.
4.
On Hloch functions and normal
Probabilistic
behaviour
of
functions in
tixe
Zygmund spaces A and A .Proc.London Math.Soc.(3)59(1989)558592. [AP2I Anderson,J.M., Pitt.L.D. Tixe boundary behavior of Bloch functions and
univalent functions. Michigan Math. J. 35(1988>213320. [AS]Ahlfors,L.V., Sario,L.

Princeton. 1960.
Riernann surfaces .Frinceton University Press.
[B]Berman,R.
Angular Iimits
and infinite asymmptotic
values
of
analytic
functions of slow growth.Illinois 1. of Math.
34(1990)845858.
[BM Herman,R.
Angular Iimits, maximun principies and level domains in tixe
MacLane class. Por aparecer. 1992.
[Be] Beardon,A.
A primer on Riemann surfaces.Cambridge university Press.1984.
1H11 Billingsley,P.
Ergodic theory and information.N.York.wiley.1967.
[Ho]Hoothby,W.M.
Mi
introduction to differentiable manifolds and riemannian
geometry. Academic Press. N. York. 1975. [HP]Beardon,A., Pommerenke,Ch. Math. Soc. (2)1801978)475483. Tixe Poincare metric of plane domains.J.Iondon
[BR] Harth,K.E., Rippon,P.J.
Angular limits of holomorphic functions of slow
growth.J.London Math.Soc. (21450199215561.
[HRS] Barth,K.F.,
Rippon,P.l.,
Sons,L.R.
Angular
limits of holomorphic and
meromorphic functions. Y London Math. Soc. (2>42(1990)279291. 110
[Hu]Buser,?. 1992.
Geometry and spectra of compact Riemann surfaces.Hirkhuser
[C] Carleson,L.
Selected problems on exceptional sets.Wadworth Mathematics
Series. Helmont, California. 1983.
(CL] Collingwood,E.F.,
Lohwater,A.J.
The
theory
of
cluster
sets.Cambridge
University Press. London. 1966. [D] Duren,P.L. [E]atou,P. E Theory of H~ spaces.Academic Press.1970. Sries trigonomtriques et sries de Taylor.Acta Math.
30(1906)335400. [Fe] Feller.W. Introduccin a la Teora de Probabilidades y sus aplicaciones Volumen l.Limusa.Mxico. 1923 A note on tSe boundary behaviour
[FLL~1 Fernndez,J.L., Gonzlez Llorente,.!.
of harmonic functions..J.London Math.Soc. (2)46<1992)295300.
[ELLzI Eernndez,J.L..
Gonzlez
Llorente,.!.
Geodesic excursions
to nf inity
in Riemann surfaces. Pendiente de publicacin en Journal dAnalyse Math. [EF] Yernndez,.J.L., Pestana,D. Distortion of boundary sets under inner
functions and applications. Indiana University Math. .1. Vol. 41,N. 2(1992)439448. [Fu] Euchs,W.H.i. Topics in tSe theory of functions of ene complex
variable.Van Nostrand 1967. [G]Garnett,J.H. Beunded analytic functions.Academic Press.N. York. 1981. Conformal distortion of boundary sets.Trans.Amer.Math.Soc.
[Hl Hamilton,D. 308(1988)698l. [He] Hejhal,D. 137(19741720.
Universal
covering
maps
for
variable
regions.
Math.Z.
111
[-fi] HilIe,E. [Hw]
Analytic funotion theory. Volumen 2. Probabilistic behaviour of
edicin.N.York.1973. lacunary series.
Hawkes,J.
sorne
Z. Wahrsch.verw. Gebiete. 53(198012i33. [JSJ .lones,G.A., Singerrnan,D. Complex functions.An algebraic and geometric
viewpoint.Cambridge University Press. 1987.
[Kl Kahane,J.P.
Lacunary
taylor
and
fourier
series.
Hul.
Amner
.Math.
Soc. 70(1964)199213. [Ka) Kanai,M. Rough isometies and tixe parabolicity of riemannian manifolds.
.1. Math. Soc. 7001964>199213. [Kr]Kra,I. Automorphic forms and kleinian groups.Benjamin Reading.1972. Ensembies parfaits et sries trigonomtriques.
[KS] Kabane,J.P., Salem,R. Hermann.Paris. 1963. [Li LindeWf,E.
Sur un principe gneral de lanalyse et ses applications la
thorie de a reprsentation conforme.Acta Soc.Sci.Yenn.46.N.4(1915)135. (La] Landkof,N.S. Eoundations of modern potential theory.Springer.1972. Tixe theory of functions.Oxford University Press.1944. Houndary behaviour and normal meromorphic
[Lt] Littlewood,J.E.L.
[LV] Lehto,O.,
Virtanen,K.I.
functions. Acta Math. 97(1957)4765. [Mi] Makarov,N.G. Smooth measures and dic law of tixe iterated Iogarithm.
Math.USSRlzv. 34, N.2(1990)455463. [MM Makarov,N.G. 1.01989)359 [Mcl] MacLane,G.R. Studies. 49 N.l(1963). 112 Asymptotic values of holomorphic functions. Rice Univ. Probability methods in conformal mapping.Algebra 1 Analiz
[Mcz]MacLane,G.R.
Holomorphic functions of arbitrarily slow grow-th without
radial Iirnits. Michigan Math. J. 9(1962>2124. [MP] Melin,M.V., Pestana,D. Geodesics excursions into cusps in finite volume
hyperbolic manifolds. Pendiente de publicacin en Michigan Math.J.
[N] Nevanlinna,R. [Ni] Nicholls,P.J. Press. 1989. [PlPormnerenke,Ch. [FI]Plessner,A.I.
Analytic functions. SpringerVerlag. Berlin. 1970. Tixe ergodic theory of discrete groups.Cambridge University
Univalent functions. VandenhoeckRuprecht.Gdtingen. 1975. Uber das Verixalten analytischer funktionen amn Rande ihres
Definitionbereichs. .Lreine Angew. Math.158(19279219227. ER] RudinW. Anlisis real y complejo.Alharnbra 1979. Hausdorff measures. Cambridge University Fress. 1970. Growth of positive harmonic functions and kleinian group
[Ro]Rogers,C. A. Sullivan,D.
(Si]
limit sets of zero planar measure and Hausdorff dimension 2.Lecture Notes in Mathematics 894, Geometry Symposiurn. Utrecht 1980. Springer Verlag. 1981. [SM Sullivan,D. Disjoint spheres, approximation by rnaginary quadratic
numbers and tixe logarithm law for geodesics.Acta Math. 14901982>215237. [Sh]Shiryayev,A.N. Probability.Springer Verlag 1984. Classification theory of Riemann surfaces.Springer
[SN]Sanio,L., Nakai,M. Verlag 1970. [Sp] Spivaic,M.

4. Publisch
A comprehensive introduction to Differential Geornetry.Volumen
or perisch. Inc. Berkeley. 1979. Alniost sure convergence.Academic press.1974.
[St] Stout,W.
113
(SL] Salem, R., Zygmnund,A. Sci. USA.33(1947)333-338. Salern,R.,
Qn lacunary trigonometric series. Proc.Nat. Acad.
[5Z2]
Zygmnund,A.
La
loi
du
logarithrne
itr
pour
les
sries
trigonomtriques iacunaires.Bull des Sci. Math. 14(1950>209224.
Vr]
Tsuji,M.
Potential theory in modern functin theory.Maruzen Tokyo.1959. fle law of tixe iterated logarithm for lacunary trigonometric
[WI Weiss,M.
series.Trans.Amer.Math. Soc. 91(1959)444469.
[We] Weistman,A. (19861159169.
Symmetrization of tixe Poincar metric.Annals of Math.124
114

Funciones Armonicas

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Funciones Armonicas

Caricato da

Copyright:

Formati disponibili

VALORES FRONTERA DE FUNCIONES ARMONICAS. GEODESICAS EN SUPERFICIES DE RIEKANN.

Jas Gonzlez Llorente

Jas Luis Fernndez Prez.

Memoria para aspirar

Doctor en Ciencias Matemticas.

Departamento de Anlisis Matemtico. Universidad Complutense de Madrid.

Hace poco menos tiempo, a contemplar

11.2 11.3 11.4 11.5. Prueba del teorema 6

En la segunda parte se usan los resultados analticos de la

Si u es una funcin armtinica acotada en el disco iG en la circunferencia unidad, excepto

unidad entonces para todo e quizs un conjunto de

medida de Lebesgue cero.

lmite finito cuando z tiende a e

dentro de cada cono simtrico

<respecto del radio correspondiente a e inferior a ir.

es un punto de la circunferencia unidad,

r < 1, se define el cono de Stolz truncado.

se dir que tiene

para cada a e [O,ir/2),(z) tiende a p cuando z tiende a e f

en los que f tiene limite no tangencial

un punto de Fatou de cualquier funcin armnica acotada en A.

siendo cierto relajando las condiciones de crecimiento de max {Iu(z)I : pero

lo cierto es que existen

irregular: Teorema (Plessner): Si f es analtica en A entonces para todo e iB

salvo quizs un conjunto de medida de Lebesgue cero, o bien e

o bien la imagen por f de cualquier cono de Stolz truncado de vrtice

de Riemann, segn se ver ms adelante.

El teorema de Plessner tiene varias consecuencias interesantes:

Teorema de Fatou local.

Sea u una funcin armnica en el disco unidad

Teorema de Unicidad de Privalov:

el teorema de Privalov aplicado a la proporciona

es una conjugada armnica de u,

el siguiente teorema de unicidad para funciones armnicas:

Si u es armnica en el disco unidad, entonces u tiene

especiales de medida cero en la circunferencia unidad.

necesita disponer de alguna herramienta que permita distinguir

Hausdorff, que se introduce a continuacin.

se define el contenido de Hausdorff

dimensional, M (E), como el nfimo de las sumas a

un recubrimiento por intervalos de E y

Cuando a designa El.

1, M (E) es la medida exterior de Lebesgue de E, y se

contenido se exige que los intervalos

La dimensin de Hausdorff de E se define as: dimE=inf<ac[0,1]:M(E)=O} a Ntese que la desigualdad M (E) a

una medida finita positiva en [0,11que verifica

CIII a para todo intervalo 1 y alguna constante

positiva C. Si E c [0,1]y jiCE)

Para probar (0.1) basta observar que si c [0,1],pIE) > O y {I } es

un recubrimiento de E por intervalos, O En este

Una nocin similar a la de cx

contenido es la de a en ID, se define la

es una medida positiva (0 s a a

Si F es un subconjunto de ID, cap(F),

capacidad de F, que se designara

se define mediante la expresin: p~ (cap CF))

y si E es un subconjunto cualquiera de ID. se define la a de E como cap(E) Cuando cx

sup {cap CF) : F c E, E compacto> O

A lo largo de todo el trabajo, sistemticamente aplicacin t

La medida de Lebesgue de un subconjunto E c 811 anterior permite

ser denotada igualmente por IEI y la identificacin hablar de a

contenido y dimensin de Hausdorff de subconjunto de 811.

m 52 1) y el valor que toma 5