Tesis Doctoral PDF

TESIS DOCTORAL
SUPERFICIES MINIMALES
COMPLETAS E HIPERB

OLICAS
EN R
3
SANTIAGO MORALES DOMINGO
UNIVERSIDAD DE GRANADA
SUPERFICIES MINIMALES COMPLETAS E HIPERB
OLICAS EN R
3
Memoria presentada por el Ldo. Santiago Morales Domingo, y realizada en el
Departamento de Geometra y Topologa de la Universidad de Granada, bajo la
direcci on de D. Francisco Martn Serrano, Profesor Titular de dicho Departamento,
con objeto de aspirar al grado de Doctor en Ciencias Matem aticas.
Granada, junio de 2002
Prof. Dr. D. Francisco Martn Serrano D. Santiago Morales Domingo
Director de la Memoria Aspirante al grado de Doctor
DEPARTAMENTO DE GEOMETRIA Y TOPOLOGIA
FACULTAD DE CIENCIAS
UNIVERSIDAD DE GRANADA
Esta memoria fue mantenida y defendida el veinte de setiembre de dos mil dos en el
Sal on de Grados de la Facultad de Ciencias de la Universidad de Granada, ante
el Tribunal formado por los profesores: Dr. D. Daniel Hern andez Ruip erez,
Dr. D. Francisco Jos e L opez Fern andez, Dr. D. Antonio F elix Costa
Gonz alez, Dr. D. Roberto Paoletti y Dr. D. Joaqun P erez
Mu noz, obteniendo la m axima caliciaci on de
Sobresaliente cum laude por unanimidad.
Granada, setiembre de 2002.
Lo que queda
Cu anto certero golpe de sable,
cu anto p arpado pasmado,
cu anta casida escogida
ser an hueros ma nana.
Imru-l-Qays.
Agradecimientos
Quiero aprovechar esta ocasi on para expresar mi gratitud a todas aquellas
personas que han contribuido, en sentido amplio, a la realizaci on de la presen-
te memoria. En primer lugar, a mi director, Francisco Martn. A el le agradezco
el haberme hecho depositario de su conanza, facilit andome en todo momento
la consecuci on de mi trabajo. Tambi en quiero agradecerle a Francisco J. L opez
y Joaqun P erez su ayuda e inestimables consejos.
No quisiera pasar por alto a mis compa neros de despacho: C esar Rosales,
Miguel Ortega, Jos e Luis Flores; y de fuera de el, Leonor Ferrer, Magdalena
Rodrguez, Domingo Rodrguez, Rafael Ramrez, y Antonio Ca nete; as como
a Ceferino Ruiz, con el que realic e una olmpica PSS. Tambi en, vaya mi agrade-
cimiento al resto de compa neros del Departamento de Geometra y Topologa.
Sin dilatarme m as, termino con mi agradecimiento hacia Mara, Jos e, Jor-
ge, Francisca y Pancra; los cuales, en cierto sentido, han sido los principales
contribuyentes para que este trabajo llegara a puerto.
INDICE GENERAL
Introducci on iii
1 Preliminares 1
1.1 Supercies de Riemann . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Supercies Minimales . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.1 La Representaci on de Weierstrass . . . . . . . . . . . . . 7
1.2.2 La Transformaci on de L opez-Ros . . . . . . . . . . . . . . 12
1.3 Supercies Minimales Completas y Acotadas en R
3
. . . . . . . 15
1.3.1 Los Ejemplos Simplemente Conexos de Nadirashvili . . 17
1.4 El Tipo Conforme de una Supercie Minimal Completa en R
3
. 21
2 Existencia de Coronas Minimales Completas y Acotadas en R
3
25
2.1 Demostraci on del Teorema . . . . . . . . . . . . . . . . . . . . . . 30
2.2 Demostraci on del Lema . . . . . . . . . . . . . . . . . . . . . . . 34
3 Existencia de Supercies Minimales Hiperb olicas y Propias en R
3
59
3.1 Demostraci on del Teorema . . . . . . . . . . . . . . . . . . . . . . 61
3.2 Demostraci on del Lema . . . . . . . . . . . . . . . . . . . . . . . 65
3.2.1 El Primer Proceso . . . . . . . . . . . . . . . . . . . . . . . 66
3.2.2 El Segundo Proceso . . . . . . . . . . . . . . . . . . . . . . 88
3.2.3 Denici on de la Inmersi on Y . . . . . . . . . . . . . . . . 96
Indice de Notaci on 103

Bibliografa 105
i
INTRODUCCI

ON
El estudio de las supercies minimales es una disciplina que cuenta con
dos siglos y medio de historia, y en la actualidad se mantiene como un campo
de extrema vitalidad de la investigaci on matem atica.
El punto de partida de dicho estudio es el problema de determinar un grafo,
z = f (x, y), sobre un abierto del plano R
2
, con la menor area posible de
entre todas las supercies que toman unos valores determinados a lo largo de
la frontera de . Haciendo uso de las ecuaciones de Euler-Lagrange, podemos
ver que f debe ser soluci on de la siguiente ecuaci on diferencial:
(1 + f
2
y
) f
xx
2f
x
f
y
f
xy
+ (1 + f
2
x
) f
yy
= 0. (1)
Como ya comprobaron matem aticos de enorme talla en el pasado, no solo
se trata de un problema de extraordinaria dicultad, sino tambi en de posibili-
dades casi ilimitadas.
Este primer contacto con la teora es puramente analtico, pero tambi en
podemos proporcionar una interpretaci on geom etrica a la ecuaci on (1); la cur-
vatura media de la supercie, H, es constantemente cero. Es por ello que se ha
convertido en costumbre usar el t ermino supercie minimal, para todas aque-
llas supercies vericando H = 0, sin tener en cuenta que muchas de ellas no
representan mnimos del area.
Siguiendo con esta lista de caracterizaciones de las supercies minimales,
nos gustara decir que, ya en 1863, Christoffel observ o que la aplicaci on de Gauss
de una supercie minimal es conforme, y que este hecho las caracteriza, junto
con las esferas. Esto ha resultado ser trascendental en el estudio de las su-
percies minimales completas, pues una de las lneas de investigaci on m as
iii

OLICAS
fructferas en el estudio de esta familia ha sido la obtenci on de teoremas de
tipo Liouville para la aplicaci on de Gauss.
En 1847, el fsico belga J. Plateau observ o que una realizaci on material de
una supercie minimal se puede obtener sumergiendo un alambre curvado en
una disoluci on jabonosa. De esta forma, el problema de determinar una super-
cie minimal con topologa jada y bordeada por una curva de Jordan pres-
crita, se conoce en la literatura como problema de Plateau. Desgraciadamente,
Plateau careca del bagaje matem atico para abordar los aspectos te oricos de
este problema. Las primeras formulaciones precisas, as como las primeras
soluciones parciales de dicho problema, se debieron a Schwarz, Riemann y
Weierstrass. Este problema no sera resuelto satisfactoriamente hasta 1931 por
J. Douglas y T. Rad o. Conviene destacar que Douglas gan o una de las dos pri-
meras medallas Fields por este trabajo, la otra fue a parar al no menos insigne
analista L. V. Ahlfors.
Figura 1: Problema de Plateau: pelcula de jab on tendida
entre dos aros circulares.
A partir de la d ecada de 1950, en el estudio de las supercies minimales
aparece una nueva lnea de trabajo que est a conceptualmente alejada de la
motivaci on original, pues comienzan a estudiarse sistem aticamente las super-
cies minimales completas. Curiosamente, es Ahlfors quien va a ejercer una
inuencia indirecta, aunque determinante, en el desarrollo de esta nueva lnea
de investigaci on.
En 1951, Robert Osserman era un joven estudiante de doctorado en Har-
vard, que realizaba su tesis sobre el problema del tipo conforme en supercies
de Riemann, bajo la direcci on de Ahlfors. En dicho a no, asisti o, con su director
de tesis, a una conferencia en Princeton, celebrada con motivo del centenario
del nacimiento de las supercies de Riemann. Durante este encuentro, surgie-
ron dos problemas que captaron la atenci on de Ahlfors:
iv
INTRODUCCI
ON
PROBLEMA 1 (Loewner, Bers): Una supercie regular de la forma z = f (x, y) de-
nida sobre todo el plano (x, y), es necesariamente biholomorfa con el plano complejo?
PROBLEMA 2 (Nirenberg): Una supercie minimal (sin borde) completa y simple-
mente conexa, cuya aplicaci on de Gauss omita un abierto de la esfera unidad, es
necesariamente biholomorfa con el plano complejo?
Ambas cuestiones estaban inspiradas en un resultado previo de Bernstein que
armaba:
TEOREMA 1 (Bernstein [Ber], 1915): Las unicas soluciones de (1) denidas sobre
todo el plano complejo son las funciones anes.
Es obvio que de ser ciertos los problemas 1 o 2, aplicando el teorema de Liou-
ville a la aplicaci on de Gauss de la supercie minimal, implicaran como coro-
lario el teorema de Bernstein. En aquel tiempo ya se saba que:
TEOREMA 2 (Korn, Lichtenstein [Kaz]): Toda variedad Riemanniana orientable de
dimensi on 2 tiene, de forma natural, una estructura de supercie de Riemann.
Por tanto, teniendo en cuenta el teorema de uniformizaci on de Koebe (ver el
teorema 1.1), las unicas posibilidades para la estructura conforme de una su-
percie vericando las hip otesis de los problemas 1 o 2 seran: el plano com-
plejo (estructura parab olica) o el disco unidad (estructura hiperb olica). Se tra-
taba de descartar esta ultima posibilidad.
Ahlfors propuso ambos problemas a Osserman para su tesis. Y Osserman
prob o que la respuesta al problema 1 es no, pues encontr o un ejemplo de un
grafo hiperb olico sobre todo el plano complejo (v ease [Os1]), mientras que la
respuesta a la conjetura de Nirenberg es armativa [Os2]. Posteriormente Os-
serman obtuvo resultados mucho m as nos que este sobre la aplicaci on de
Gauss de una supercie minimal [Os3, Os4]; pero lo que para nosotros es m as
importante es que al tiempo que Osserman persegua estos teoremas, abra
adem as de par en par las puertas de la teora de supercies minimales com-
pletas en R
3
. Dos fueron sus contribuciones en este sentido.
Por un lado, aport o un nuevo punto de vista a las f ormulas de representa-
ci on de A. Enneper [Enn] y K. Weierstrass [We2, We1], llen andolas de un con-
tenido m as geom etrico, acorde con los avances que las Geometras Algebraica
y Diferencial haban experimentado en la primera mitad del siglo XX. As toda
inmersi on X : M R
3
isom etrica y minimal, de una supercie riemanniana
v

OLICAS
en el espacio eucldeo tridimensional, puede verse como:
X(p) = Re
_
p _
1
2
(1 g
2
),
i
2
(1 + g
2
), g
_
, (2)
donde es una 1-forma holomorfa en M y g es una funci on meromorfa, estan-
do los ceros y polos de ambas relacionados como se explica en la secci on 1.2.1.
La aplicaci on g coincide con la imagen estereogr aca de la aplicaci on de Gauss
de M.
El resultado de este impulso fue claro; el An alisis Complejo y la teora de
supercies de Riemann comenzaron a jugar un fuerte papel en el estudio y la
comprensi on de las supercies minimales del espacio eucldeo.
Por otra parte, era conocido un resultado de A. Huber, por el que se poda
controlar fuertemente la estructura conforme subyacente de una supercie mi-
nimal, cuando la integral de la curvatura de Gauss sobre la supercie era nita.
La cantidad resultante de la anterior integral es conocida como la curvatura to-
tal de la supercie. El resultado de Huber armaba:
TEOREMA 3 (Huber [Hub], 1957): Una supercie minimal (sin borde) completa
con curvatura total nita tiene la estructura conforme de una supercie de Riemann
compacta a la que le hemos quitado una cantidad nita de puntos. En particular la
supercie es parab olica.
Los puntos que menciona el teorema corresponden con los nales topol ogicos
de la supercie. Gracias a este teorema, Osserman [Os4] observ o que las 1-
formas que aparecen en la representaci on de Weierstrass de una supercie
minimal completa con curvatura total nita pueden verse c omo formas me-
romorfas sobre la supercie de Riemann compacta, con polos en los nales de
la supercie. Posteriormente, y ya en la d ecada de los ochenta, L. P. M. Jorge
y W. H. Meeks [JoMe] vieron que las singularidades de la representaci on de
Weierstrass en los nales gobiernan el comportamiento asint otico en R
3
de la
supercie, estableciendo una relaci on entre esas singularidades, el grado de la
aplicaci on de Gauss y el g enero topol ogico de la compacticaci on de la super-
cie minimal.
No obstante, hay ejemplos tan conocidos como el helicoide, que no tienen
curvatura total nita, aunque s siguen teniendo un tipo conforme nito, es
decir, sus interiores son del tipo conforme de una supercie de Riemann com-
pacta menos una cantidad nita de puntos. As surgi o, de la mano de H. Ro-
senberg, el concepto de supercie de tipo nito, que generaliza al de supercie
de curvatura total nita. En esencia, una supercie se dir a de tipo nito si la
supercie de Riemann subyacente es de tipo conforme nito y adem as
dg
g
y
se extienden de forma meromorfa a los nales, aunque la aplicaci on de Gauss,
g, no extienda necesariamente.
vi
INTRODUCCI
ON
A partir de la d ecada de los ochenta la cantidad de nuevos ejemplos de su-
percies minimales completas (en especial los de curvatura total nita) se dis-
par o. Esta relativa abundancia de ejemplos ha tenido dos efectos simult aneos.
Por un lado, ha motivado la necesidad de clasicar dichos ejemplos, comen-
zando por los g eneros m as bajos. Por otro lado, la aparici on de supercies
minimales con determinadas propiedades (o la carencia de las mismas) ha si-
do la gua para la obtenci on de algunos resultados de car acter general. Veamos
algunos ejemplos:
Figura 2: La catenoide y el helicoide.
Despu es de que Euler construyera la catenoide en 1740, no volvieron a apa-
recer m as ejemplos de supercies minimales completas, embebidas, de curva-
tura total nita y con la topologa de una esfera punteada. Esto llev o a D. Hoff-
man y W. H. Meeks a conjeturar que el plano y la catenoide eran las unicas
supercies minimales con estas caractersticas. En 1991, F. J. L opez y A. Ros
[LR] demostraron que la conjetura era cierta. En el curso de la prueba de su
resultado, L opez y Ros introdujeron una forma de deformar una supercie mi-
nimal a trav es de supercies minimales que hoy se conoce como deformaci on
de L opez-Ros (v ease secci on 1.2.2). Como quedar a de maniesto m as adelante,
esta deformaci on ha sido crucial en varios puntos de la presente memoria.
Otra ocasi on, donde la evoluci on de los ejemplos conocidos ha condiciona-
do de forma positiva a la teora, es el caso de las supercies minimales embebidas
y simplemente conexas de R
3
. Puesto que desde 1776 nadie haba sido capaz de
construir nuevos ejemplos con estas propiedades, L. Nirenberg se pregunt o en
1955: Son el plano y el helicoide las unicas supercies minimales completas,
embebidas y simplemente conexas del espacio eucldeo? En 2001, Meeks y Ro-
senberg han obtenido una respuesta parcial armativa a la anterior conjetura:
TEOREMA 4 (Meeks, Rosenberg [MR2]): Una supercie minimal (sin borde) sim-
plemente conexa y propiamente embebida en R
3
es o el plano, o el helicoide.
vii

OLICAS
No obstante, la sobreabundancia de ejemplos con determinadas caracters-
ticas ha viciado a veces la visi on de los ge ometras, llev andolos a conjeturas
err oneas. He aqu algunos de esos casos:
A comienzos de los sesenta, todos los ejemplos conocidos de supercies
minimales completas y no llanas se extendan indenidamente en todas las di-
recciones del espacio; era imposible encontrar una coordenada acotada para
esas supercies. Esto llev o a E. Calabi a conjeturar que:
CONJETURA 1 (Calabi-Yau [Ya1, Ya2, Cal]): No existen supercies minimales
(sin borde) completas dentro de una bola de R
3
.
Los primeros pasos en la resoluci on de la conjetura, se encaminaron a propor-
cionar ejemplos de supercies minimales completas con una coordenada aco-
tada. Fueron L. P. M. de Jorge y F. Xavier, los que construyeron los primeros
ejemplos de supercies de este tipo, en 1980. Para obtener contraejemplos a
la conjetura 1 hubo que esperar a 1996, en que fueron construidos por N. Na-
dirashvili [Nad]. Una exposici on m as detallada sobre supercies minimales
completas con coordenadas acotadas ser a realizada en la secci on 1.3. Es ob-
vio, que el tipo conforme de todos los ejemplos mencionados no puede ser
parab olico, como en las supercies de tipo nito; la acotaci on de alguna de las
coordenadas implica autom aticamente hiperbolicidad.
Citamos otro caso, relacionado con el tipo conforme de una supercie mi-
nimal con g enero nito, en el que la sobreabundancia de ejemplos ha llevado
a conclusiones err oneas. Decimos que una supercie tiene g enero nito cuan-
do su interior es homeomorfo a una supercie compacta menos una familia
discreta de puntos. Ya, desde la aparici on del teorema de Huber (teorema 3),
parece observarse cierto predominio de la parabolicidad en el ambiente de las
supercies minimales. Posiblemente, este pensamiento se haya visto potencia-
do por la aparici on de algunos recientes resultados en los que se puede obser-
var cierta conexi on entre la propiedad de que una supercie est e propiamente
inmersa en R
3
y que sea parab olica. As, dada una supercie minimal pro-
piamente inmersa en R
3
es posible concluir que es parab olica, si imponemos
algunas hip otesis. Un repertorio de teoremas de este tipo ser a presentado en
la secci on 1.4. Estos resultados, haban ampliado a un m as la conanza puesta
en una conjetura (falsa a la luz de esta memoria) que armaba:
CONJETURA 2 (Meeks, Sullivan [Mee]): Una supercie minimal (sin borde) con
g enero nito, propiamente inmersa en R
3
, debe ser de tipo conforme parab olico.
Llegados a este punto, podemos preguntarnos acerca de cu al es el espacio
que les queda a las supercies hiperb olicas en la teora de supercies minima-
viii
INTRODUCCI
ON
les. Por todo lo anterior, podramos pensar que la familia de supercies mini-
males completas e hiperb olicas en R
3
se limitan a desempe nar un papel marginal
en el desarrollo de la teora. La presente memoria es una contribuci on a la de-
saprobaci on de la anterior armaci on. En ella aportaremos nuevos ejemplos
de supercies minimales completas e hiperb olicas con cualidades particula-
res; con los que pretendemos impulsar la idea de que no es posible pasar por
alto a los ejemplos hiperb olicos en el estudio y clasicaci on de las supercies
minimales completas.
Entre los ejemplos de supercies minimales completas e hiperb olicas, po-
demos citar las supercies con alguna coordenada acotada, as como la familia
de supercies minimales triplemente peri odicas. Los resultados principales
de la memoria son sendos teoremas de existencia de supercies minimales hi-
perb olicas.
Figura 3: Supercie minimal triplemente peri odica: La
supercie P de Schwarz.
El primero de estos resultados, es una manera de construir ejemplos de su-
percies minimales completas y acotadas con topologa no trivial. Los prime-
ros ejemplos de este tipo de supercies, construidos por Nadirashvili, tenan la
topologa de un disco. En [Ya2], S. T. Yau se preguntaba acerca de la geometra
de las supercies del tipo de Nadirashvili. En general, la obtenci on de nuevos
ejemplos, con topologa no trivial, de supercies con caractersticas particula-
res, es una constante en la teora de supercies minimales. Nuestro resultado,
justamente, proporciona los primeros ejemplos de supercies minimales com-
ix

OLICAS
pletas y acotadas con topologa distinta a la de un disco.
TEOREMA 5 (Martin, Morales [MM], 2000): Existe una supercie minimal com-
pleta y acotada en R
3
, con la topologa de una corona abierta del plano.
La prueba del teorema es una generalizaci on de la construcci on realizada por
Nadirashvili [Nad] (las ideas generales de dicha construcci on pueden verse en
la secci on 1.3.1). Una supercie vericando el enunciado del teorema 5 es obte-
nida como el lmite de una sucesi on de supercies minimales. La construcci on
de la sucesi on est a basada en un uso conjunto de la transformaci on de L opez-
Ros y del teorema de Runge. Con ambas herramientas se consigue deformar
una supercie minimal para que su distancia intrnseca desde el interior al
borde aumente, y al mismo tiempo, y en funci on de ese aumento, se contro-
la una cota de la supercie en R
3
. De esta manera, tomando una supercie
minimal inicial se consigue, mediante sucesivas deformaciones, construir una
sucesi on de supercies minimales en la que la distancia intrnseca aumenta in-
nitamente, pero manteniendo todas las supercies dentro de una bola ja de
R
3
. Esto supone la obtenci on, en el lmite, de un ejemplo minimal completo y
acotado. La generalizaci on de la construcci on de Nadirashvili para demostrar
el teorema 5, conlleva varios inconvenientes. El principal, radica en el proble-
ma de periodos de la integral (2), que surge al trabajar con representaciones de
Weierstrass denidas sobre supercies que no son simplemente conexas. Ello,
ser a resuelto mediante el uso de una familia especial de representaciones de
Weierstrass denidas sobre coronas planas, que llamaremos de tipo z
2
. Este
tipo de representaciones verican que tanto g como dependen de z
2
, esto es
g(z) = g(z
2
) y (z) = (z
2
). Gracias a esta propiedad, una supercie prove-
niente de la integraci on de una representaci on de Weierstrass de tipo z
2
, (2),
estar a bien denida, ya que el periodo de las 1-formas integradas ser a nulo.
Adem as, esto conlleva cierta simetra en las supercies obtenidas. De hecho, la
corona minimal completa y acotada que construiremos ser a sim etrica respecto
del origen. La prueba del teorema 5 ser a realizada en detalle, en el captulo 2.
El segundo teorema de existencia que incluimos en la memoria, proporcio-
na un contraejemplo a la conjetura 2, con lo que mostramos que el concepto de
parabolicidad y el hecho de estar propiamente inmersa en R
3
no siempre van
unidos. Nuestro teorema arma:
TEOREMA 6 (Morales [Mo2], 2001): Existe una supercie minimal propiamente
inmersa en R
3
, que es conforme a un disco abierto. En particular, existir a una su-
percie minimal (sin borde), de g enero nito y propiamente inmersa en R
3
que es
hiperb olica.
La prueba de este teorema est a inspirada en la construcci on de Nadirashvili.
x
INTRODUCCI
ON
De nuevo, la supercie que demuestra el teorema ser a obtenida como el lmite
de una sucesi on de supercies minimales. Las demostraciones de los teore-
ma 5 y 6 utilizan las mismas herramientas, estas son, la transformaci on de
Lop ez-Ros y el teorema de Runge, pero de distinta manera. El uso conjunto
de estas dos herramientas se ha mostrado de gran utilidad para la deforma-
ci on de supercies minimales en las que hay que controlar su comportamien-
to en R
3
. Como hemos comentado para la prueba del teorema 5, con dicho
control se consigue que una supercie crezca intrnsecamente hasta el innito,
manteni endose acotada dentro de una bola ja. En cambio, para demostrar el
teorema 6, el control obtenido gracias a la transformaci on de L opez-Ros, nos
proporcionar a la manera de deformar sucesivamente una supercie minimal
para que crezca extrnsecamente en R
3
hacia el innito, garantizando que la
supercie obtenida en el lmite del proceso de deformaci on este propiamen-
te inmersa en R
3
. A diferencia con el teorema 5, en la prueba del teorema 6,
no deberemos preocuparnos del problema de periodos de la integral de (2), ya
que trataremos solo con inmersiones denidas sobre dominios simplemente
conexos. La prueba del teorema 6 ser a abordada en el captulo 3.
Cierto aspecto importante de la prueba de ambos teoremas, consiste en el
control que es necesario ejercer sobre las estructuras conformes de las super-
cies que constituyen la sucesi on, para que la supercie lmite tenga la estruc-
tura conforme deseada. En la prueba del teorema 5 tratamos con una sucesi on
de supercies, en la que cada una es conforme a una corona del plano. Gracias
a un resultado b asico sobre grupos de homologa, teorema 2.6, deduciremos
que la estructura conforme de la supercie lmite no degenera y es la de una
corona. Para el teorema 6, la sucesi on estar a constituida por supercies con-
formes a discos abiertos, cuyo lmite tampoco degenera y posee la estructura
conforme de un disco abierto.
El n umero de problemas que permanecen abiertos en relaci on con las su-
percies minimales es a un grande. Quisi eramos incluir en esta introducci on
algunos de esos problemas, cuyo estudio pueden considerarse como una con-
tinuaci on de los resultados aqu expuestos.
Aunque la conjetura 2 queda zanjada gracias al teorema 6, queda abierta la
posibilidad de que sea verdadera si a nadimos la condici on de que la supercie
sea embebida en R
3
. Ninguna de las construcciones aqu realizadas parecen
proporcionar ejemplos embebidos, as que los dos siguientes problemas, plan-
teados por Yau y Meeks respectivamente, permanecen a un sin resolver.
PROBLEMA 3 (Yau [Ya2]): Es posible la construcci on de una supercie minimal
(sin borde) completa y embebida en una bola de R
3
?
PROBLEMA 4 (Meeks): Toda supercie minimal (sin borde) con g enero nito pro-
piamente embebida en R
3
tiene tipo conforme parab olico.
xi

OLICAS
La armaci on del ultimo problema, es cierta si la supercies tiene un n ume-
ro nito de nales, v ease [MR2] y [Col]. No obstante el problema est a abierto
en el caso de que la supercie tenga innitos nales.
Tambi en, como es usual en la construcci on de ejemplos de supercies mini-
males, se puede plantear, para las supercies del tipo del teorema 6, la cuesti on
sobre la existencia de ejemplos con topologa m as complicada:
PROBLEMA 5: Existen supercies minimales (sin borde) con topologa no trivial y
propiamente inmersas en R
3
que sean hiperb olicas?
Por ultimo, citamos un problema relacionado con la conjetura 1, que arma:
PROBLEMA 6: Existe alguna supercie minimal (sin borde) completa y acotada,
cuya supercie conjugada, es decir la supercie proveniente de la parte imaginaria de
la integral de la representaci on de Weierstrass, es acotada tambi en?
Una respuesta armativa a este problema proporcionara un ejemplo de una
curva holomorfa isotr opica en C
3
, completa y acotada. La existencia de di-
cha curva parece aventurar varias aplicaciones. Por ejemplo, de su existencia,
se podra deducir otra manera de obtener supercies minimales completas y
acotadas con g enero arbitrario, diferente a la proporcionada en [LMM].
xii
1
PRELIMINARES
El objeto de este captulo es avanzar una serie de conceptos y resultados que
ser an necesarios para desarrollar y comprender mejor los teoremas principales
de esta memoria.
Los contenidos presentados est an estructurados de la siguiente manera. En
las secciones 1.1 y 1.2 daremos al lector una serie de deniciones y resulta-
dos b asicos, que ser an de uso com un a lo largo del texto. La secci on 1.1 versa
sobre supercies de Riemann; en ella nuestro principal n ser a presentar la
denici on del tipo conforme de una supercie de Riemann, as como algunos
resultados utiles, que clasican la estructura conforme de algunos dominios
planos. En la secci on 1.2, nos ocuparemos del concepto de supercie minimal,
haciendo hincapi e en la representaci on de Enneper-Weierstrass de una super-
cie minimal y en la transformaci on de L opez-Ros.
Por otro lado, las secciones 1.3 y 1.4 tienen la intenci on de motivar los dos
teoremas principales presentados en la memoria. Para ello, expondremos al-
gunos trabajos previos relacionados.
En la secci on 1.3, mostraremos los antecedentes del teorema 5, enunciado
en la introducci on, y que se demuestra en el captulo 2. Comentaremos las
distintas construcciones existentes de supercies minimales completas con al-
guna de sus funciones coordenadas acotada; centr andonos, principalmente,
en la construcci on de las primeras supercies minimales completas y acota-
das debidas a Nadirashvili. Con esto pretendemos motivar mejor las t ecnicas
utilizadas en el captulo 2.
1

OLICAS
La secci on 1.4, puede usarse como lectura previa al captulo 3, en el cual
se tratar a la construcci on de una supercie minimal propiamente inmersa en
R
3
e hiperb olica. En esta secci on, enunciaremos unos recientes resultados so-
bre la parabolicidad de algunas supercies minimales propias en R
3
. Nuestra
intenci on es situar al lector en mejores condiciones de apreciar el ejemplo de
supercie hiperb olica obtenido por el teorema 6 de la introducci on.
1.1 SUPERFICIES DE RIEMANN
Las supercies de Riemann proporcionan una especie de puente entre el
an alisis y la geometra en el campo de las variables complejas, que permite
relacionar con la geometra, las propiedades analticas m as profundas de las
funciones.
Una supercie de Riemann M es una variedad compleja conexa de dimensi on
uno. A lo largo de la memoria, consideraremos supercies de Riemann sin
borde, salvo en aquellos caso en que indiquemos lo contrario. Una aplicaci on
f : M N, entre dos supercies de Riemann, se dice holomorfa si en coorde-
nadas locales se escribe como una funci on holomorfa entre abiertos de C. Por
otro lado, una aplicaci on meromorfa sobre M ser a una aplicaci on f : M C,
holomorfa que no es constantemente . A los puntos del conjunto f
1
() se
les llama polos de f . Asimismo, una 1-forma compleja se dice holomorfa si
localmente se escribe como = f dz, donde f es una funci on holomorfa. Por
ultimo, una 1-forma meromorfa sobre M es una 1-forma holomorfa denida
en un abierto U M cuyo complementario es un subconjunto discreto de M,
con la propiedad de que localmente se escribe = f dz, donde f es una fun-
ci on meromorfa con polos en M U. A los puntos del conjunto M U se les
llama polos de .
Como ejemplos de supercies de Riemann, entre los m as simples, podemos
citar al plano complejo C, la esfera de Riemann S
2
, y el disco unidad abierto
D. De hecho es conocido que cualquier supercie de Riemann simplemente
conexa es conformemente equivalente a alguna de las anteriores, esto es, existe
un biholomorsmo entre ambas que identica las estructuras conformes co-
rrespondientes a cada supercie de Riemann.
TEOREMA 1.1 (Teorema de uniformizaci on de Koebe [Ahl]): Cualquier super-
cie de Riemann simplemente conexa es conformemente equivalente a D, C, o S
2
.
A continuaci on, enunciamos sendos teoremas, los cuales nos ser an de gran
utilidad en el transcurso de la memoria. Se trata de dos conocidos resultados
que clasican la estructura conforme de los dominios planos 0-conexos y 1-
2
1. PRELIMINARES
conexos
1
, respectivamente.
TEOREMA 1.2 (Teorema de Representaci on Conforme de Riemann [Co1]): Sea
G un dominio de C simplemente conexo, que no es C y a G. Entonces existe un
unico biholomorsmo, f : G D, satisfaciendo:
f (a) = 0,
f
/
(a) R
+
.
En particular G ser a conformemente equivalente al disco unidad abierto.
El otro teorema de clasicaci on es:
TEOREMA 1.3 ([Co2, Teor. 15.5.8]): Si G es un dominio 1-conexo de C, se tiene
que:
1) Si cada componente de C G es un punto, entonces G es conformemente
equivalente a C 0.
2) Si una de las componentes de C G es un punto y la otra no, entonces G
es conformemente equivalente a D 0.
3) Si ninguna de las componentes de C G es un punto, entonces existe
r R, r > 1 tal que G es conformemente equivalente a z C : 1 < [z[ < r.
En cierto sentido, es posible estudiar una supercie de Riemann a partir
de la existencia y propiedades de ciertas funciones que tienen una especial co-
nexi on con la estructura conforme de la supercie, como son por ejemplo las
funciones subarm onicas, arm onicas, holomorfas, meromorfas... Existe una cla-
sicaci on de las supercies de Riemann, en tres grandes familias, ateni endonos
a la existencia o no de estas funciones:
DEFINICI
ON 1.4: Dada una supercie de Riemann M (sin borde), la clasicaremos

como elptica, parab olica o hiperb olica, seg un explicamos a continuaci on:
si M es compacta, diremos que es de tipo elptico,
si M no es compacta y no existen funciones subarm onicas negativas no constan-
tes sobre M, diremos que es de tipo parab olico,
si existe una funci on subarm onica negativa no constante sobre M, diremos que
M es de tipo hiperb olico.
1
Un dominio A C es nconexo, si y solo si, C A tiene unicamente n + 1 componentes
conexas.
3

OLICAS
La anterior denici on divide a las supercies de Riemann en tres familias
mutuamente excluyentes. N otese que una supercie hiperb olica no puede ser
compacta; esto es obvio a partir del principio del m aximo para funciones su-
barm onicas:
TEOREMA 1.5 (Principio del M aximo [Co1]): Sea G un abierto conexo del plano
y u : G R una funci on subarm onica. Si existe un punto a G con u(a) u(z),
z G, entonces u es una funci on constante. Por tanto, si u est a denida de manera
continua en G, los posibles m aximos de la funci on estar an en G.
El problema de decidir cu al es el tipo conforme de una supercie de Rie-
mann dada es conocido como el problema del tipo. Es f acil distinguir entre el
tipo elptico y los otros dos; ya que las supercies elpticas corresponden con
las supercies compactas. Una cuesti on m as interesante es distinguir entre el
tipo parab olico y el hiperb olico.
Los t erminos parab olico e hiperb olico tambi en est an denidos para super-
cies de Riemann con borde. La denici on es la siguiente:
DEFINICI
ON 1.6: Dada una supercie de Riemann M con frontera no vaca, dire-

mos que es parab olica si toda funci on arm onica
2
acotada en la supercie est a determi-
nada por sus valores en la frontera. En otro caso, diremos que la supercie riemaniana,
es hiperb olica.
Es conveniente observar que las dos deniciones de parabolicidad dadas
en 1.4 y 1.6 no son comparables, ya que se aplican a dos familias de supercies
de Riemann disjuntas: las que tienen borde y las que no.
A continuaci on queremos introducir el concepto de que una supercie de
Riemann sea recurrente. Este concepto no es propio de las supercies de Rie-
mann; est a denido para otros objetos m as generales. El t ermino recurrente
surge en la teora que estudia el modelo matem atico del fen omeno fsico lla-
mado movimiento Browniano. Por tal nombre se conoce al movimiento ca otico
que describe una peque na partcula suspendida en un lquido. Una constru-
cci on rigurosa del modelo matem atico de dicho movimiento fue realizada por
N. Wiener en [Wie].
Intuitivamente, podramos explicar el concepto de recurrente de la siguien-
te manera. Consideremos una partcula que se mueve sobre una supercie M
siguiendo un movimiento Browniano. El concepto de que M sea recurrente
corresponde con el hecho de que, para cualquier conjunto abierto O, no vaco,
de la supercie, la probabilidad de que dicha partcula pase por O es uno.
Curiosamente, en el ambiente de las supercies de Riemann, el concepto
2
es decir, arm onica en el interior de M y continua en M.
4
1. PRELIMINARES
de recurrente est a relacionado con el tipo conforme de la supercie. De hecho,
en esta memoria optamos por dar la siguiente denici on de recurrencia, que
est a en funci on del concepto de parabolicidad para supercies de Riemann con
borde.
DEFINICI
ON 1.7 ([Mee, Lema 2.3]): Dada una supercie de Riemann M (sin bor-
de), diremos que es recurrente si y solo si, M O es parab olico para cualquier conjunto
O M abierto no vaco. Si M no es recurrente, diremos que es transitoria.
En [Gri] podemos encontrar una denici on general de recurrencia para una
variedad riemanniana. En nuestro caso, para supercies de Riemann sin bor-
de, el concepto de recurrencia se reduce a que la supercie no tenga tipo con-
forme hiperb olico:
TEOREMA 1.8 ([Gri, Teor. 5.1]): Sea M una supercie de Riemann (sin borde), en-
tonces son equivalentes las siguientes armaciones:
1. M es transitoria,
2. M es hiperb olica,
3. existe una funci on subarm onica negativa no constante en M.
Suele ser usual, a la hora de hablar del tipo conforme de una supercie,
utilizar los t erminos de parab olico e hiperb olico de la denici on 1.6, cuando la
supercie tiene borde no vaco; y los t erminos de recurrente y transitoria cuando
la supercie es sin borde.
1.2 SUPERFICIES MINIMALES
Sea M una supercie de Riemann; por
X : M R
3
,
denotaremos una inmersi on de M en el espacio eucldeo tridimensional que
admite derivadas de todos los ordenes.
La inmersi on X induce una m etrica riemaniana en la supercie M que nota-
remos por o
X
. La m etrica o
X
es aquella que hace de X : (M, o
X
) (R
3
, , ))
una inmersi on isom etrica:
(o
X
)
p
(v, w) =
(dX)
p
(v), (dX)
p
(w)
_
, v, w T
p
M, p M.
5

OLICAS
Diremos que la inmersi on X es completa cuando M lo sea para la m etrica
o
X
. Adem as, denotaremos por K
X
: M R, a la curvatura de Gauss para o
X
.
NOTACI
ON 1.9: Consideremos o una m etrica riemanniana sobre una variedad N,

entonces usaremos la siguiente notaci on a lo largo del texto:
long(, o) es la longitud de una curva medida con una m etrica o.
dist
(B,o)
(p, q) = inflong(, o) : curva en B uniendo p y q, para p, q
B y B N.
dist
(B,o)
(p, A) = infdist
(B,o)
(p, a) : a A, para A B N y p B.
Dada T = e
1
, e
2
, e
3
una base ortonormal de R
3
y x R
3
notaremos las
coordenadas de x en la base T como (x)
i,T
= x, e
i
). Cuando no haya lugar
a confusi on sobre la base T a la que nos referimos, abreviaremos la notaci on
escribiendo (x)
i
en lugar de (x)
i,T
.
Supongamos que M es una supercie orientada. Siendo as, la m etrica rie-
maniana o
X
dene una nueva estructura conforme sobre M, (ver teorema 2 en
la p agina v). Dicha estructura es la proveniente de un atlas holomorfo formado
por la familia de par ametros isotermos que son compatibles con la orientaci on
elegida.
La inmersi on X se dir a conforme si la estructura conforme inducida por la
m etrica o
X
es la misma que la que tena M como supercie de Riemann.
Una conocida f ormula para inmersiones conformes y orientadas (es decir,
M orientada), arma:
o
X
X(p) = 2H
X
(p)G
X
(p), p M.
Aqu, estamos notando por
o
X
, al operador laplaciano asociado a la m etrica
o
X
; por G
X
: M S
2
, a la aplicaci on de Gauss de la supercie X(M); y por
H
X
: M R a su curvatura media. De la anterior f ormula se deduce que H
X
se anula id enticamente, si y solo si, X es una aplicaci on arm onica de M en
R
3
, (es decir, que sus funciones coordenadas son arm onicas). Este hecho es
fundamental para la familia de inmersiones que trataremos en esta memoria:
DEFINICI
ON 1.10: Una inmersi on X : M R

3
se dir a minimal, si su curvatura
media se anula id enticamente: H
X
(p) = 0, p M.
6
1. PRELIMINARES
1.2.1 La Representaci on de Weierstrass
En 1860, Weierstrass dio un importante empuje a la teora de supercies mi-
nimales gracias a la obtenci on de f ormulas de representaci on para estas super-
cies, [We1] y [We2]. Independientemente, unas f ormulas de representaci on
similares fueron establecidas por Enneper, [Enn], en 1864. Estas f ormulas de
representaci on son las hoy llamadas representaci on de Weierstrass (o de Enneper-
Weierstrass) de una supercie minimal. Ya en la segunda mitad de nuestro
siglo, Robert Osserman [Os5], recuper o esta olvidada teora, mostrando su uti-
lidad e importancia en el estudio de las supercies minimales completas. La
representaci on de Weierstrass es una excelente herramienta, que identica ca-
da inmersi on minimal con tres 1-formas holomorfas sobre la supercie M; en
la manera que describimos a continuaci on.
Consideremos M una supercie de Riemann, X : M R
3
una inmersi on
minimal conforme, T una base ortonormal en R
3
, y X
j
, j = 1, 2, 3 las funcio-
nes coordenadas de X en la base T. Como dX
j
, j = 1, 2, 3, son tres 1-formas
arm onicas, si llamamos
j
= dX
j
+ i(dX
j
), j = 1, 2, 3,
siendo el operador de Hodge, tenemos que
j
es una 1-forma holomorfa en
M. Si (U, z = u +iv) son unos par ametros locales isotermos de la supercie M
para la m etrica o
X
, las 1-formas
j
tienen una expresi on local en U de la forma:
j
=
_
X
j
u
i
X
j
v
_
dz, z = u + iv.
Teniendo en cuenta la anterior expresi on, observamos que por ser X conforme
se verica
2
1
+
2
2
+
2
3
= 0,
y por ser X una inmersi on entonces
[
1
[
2
+[
2
[
2
+[
3
[
2
,= 0.
Adem as si p, q M y es una curva diferenciable a trozos, uniendo p con q,
se tiene que:
Re
_
j
= X
j
(q) X
j
(p), j = 1, 2, 3.
Puesto que la parte real de la integral no depende de la curva, solamente de
los puntos inicial y nal, es usual escribir
Re
_
p
q
j
, en lugar de Re
_
j
.
7

OLICAS
Con esta notaci on podemos reconstruir la inmersi on X a partir de las 1-formas
(
1
,
2
,
3
), de la siguiente manera:
X(p) =
_
Re
_
p
p
0
1
_
e
1
+
_
Re
_
p
p
0
2
_
e
2
+
_
Re
_
p
p
0
3
_
e
3
+ X(p
0
). (1.1)
donde p
0
M jo y p M.
Recprocamente, dadas
1
,
2
,
3
tres 1-formas vericando
2
1
+
2
2
+
2
3
= 0, (1.2)
[
1
[
2
+[
2
[
2
+[
3
[
2
,= 0, (1.3)
Re
_
(
1
,
2
,
3
) = 0, H
1
(M), (1.4)
y T = e
1
, e
2
, e
3
3
, entonces la aplicaci on X : M
R
3
denida por:
X(p) =
_
Re
_
p
p
0
1
_
e
1
+
_
Re
_
p
p
0
2
_
e
2
+
_
Re
_
p
p
0
3
_
e
3
+ X(p
0
),
es una inmersi on minimal y conforme. La condici on (1.4) nos dice que Re
_
p
q

j
no depende de la curva tomada, uniendo p con q; y por tanto, la aplicaci on est a
bien denida. La condici on (1.3) implica que X es una inmersi on, mientras que
(1.2) nos lleva a que X es una inmersi on conforme. Por ultimo, por constru-
cci on, se verica que X
i
= 0, para el operador laplaciano de la supercie
de Riemann M. Como X es conforme, lo anterior implica que
o
X
X
i
= 0; de
donde se deduce que X es minimal.
Es conveniente que observemos que las tres formas (
1
,
2
,
3
) dependen
de la base ortonormal T en la que expresamos la inmersi on. Sin embargo, es
f acil comprobar que si (
1
,
2
,
3
) y (
1
,
2
,
3
) son dos representaciones de
Weierstrass de X, correspondientes a distintas bases ortonormales, entonces:
(
1
,
2
,
3
)
t
= A (
1
,
2
,
3
)
t
,
donde A O(3, R) es la matriz ortonormal del cambio de base correspondien-
te.
A lo largo de la memoria, ser a crucial tener siempre presente cu al es el
sistema de referencia que estamos usando al trabajar con (
1
,
2
,
3
). Es por
esta raz on que en la denici on que nosotros vamos a dar de representaci on de
Weierstrass, precisaremos la base ortonormal que se est a teniendo en cuenta.
DEFINICI
ON 1.11: Una representaci on de Weierstrass ser a una cuadrupla =

(
1
,
2
,
3
, T), en la que T es una base ortonormal de R
3
y
1
,
2
,
3
son tres 1-formas
holomorfas sobre M vericando (1.2) y (1.3).
8
1. PRELIMINARES
Dadas dos representaciones de Weierstrass = (
1
,
2
,
3
, T) y
= (
1
,
2
,
3
,
T),
diremos que son equivalentes si
(
1
,
2
,
3
)
t
= A
(T,
T)
(
1
,
2
,
3
)
t
,
donde A
(T,
T)
es la matriz del cambio de bases entre T y

T. Esto constituye una re-
laci on de equivalencia en la familia de las representaciones de Weierstrass. Para no
complicar en exceso la notaci on, escribiremos tambi en por a la clase de equivalencia
de la representaci on .
OBSERVACI
ON 1.12: Sobre la anterior denici on podemos hacer las siguientes ob-

servaciones:
Diremos que una representaci on de Weierstrass = (
1
,
2
,
3
, T) no tiene pe-
riodos reales, si verica (1.4). De lo dicho anteriormente, queda claro que si
no tiene periodos reales entonces la aplicaci on X dada por (1.1) es una inmersi on
minimal conforme.
Cuando M es simplemente conexo, cualquier forma holomorfa sobre M no tiene
periodos, y por tanto cualquier representaci on de Weierstrass dene una inmer-
si on minimal bien denida.
En el caso de que una representaci on de Weierstrass = (
1
,
2
,
3
, T), T =
e
1
, e
2
, e
3
, proporcione una inmersi on minimal bien denida a trav es de (1.1),
la expresi on de la inmersi on se escribir a como X(p) = Re
_
p
p
0
+ C, p M
con p
0
M y C R
3
, donde estamos usando la siguiente notaci on:
Re
_
p
p
0
Re
_
_
p
p
0
1
_
e
1
+Re
_
_
p
p
0
2
_
e
2
+Re
_
_
p
p
0
3
_
e
3
. (1.5)
Obs ervese que la anterior expresi on no depende del representante elegido para la
clase de . Desde esta perspectiva, la denici on de la relaci on de equivalencia an-
terior se ver a m as natural, ya que podemos asociar a cada clase de equivalencia
de , una familia de inmersiones X
C
= Re
_
+ C, C R
3
, que se diferen-
cian unicamente en una traslaci on (claro est a, siempre que proporcione una
inmersi on minimal bien denida).
N otese que para una clase de representaciones de Weierstrass y T una base
ortonormal, siempre existir a un representante de la forma =(
1
,
2
,
3
, T); es
decir, que para cualquier base ortonormal T siempre existe un representante de la
clase de en el que T ocupa la cuarta posici on de la cuadrupla. A veces utiliza-
remos la siguiente notaci on para dicho representante: = (
1,T
,
2,T
,
3,T
, T).
9

OLICAS
La informaci on contenida en las tres 1-formas de una representaci on de
Weierstrass puede condensarse un poco m as. Consideremos T una base or-
tonormal, denimos
(,T)
=
1
i
2
, (1.6)
g
(,T)
=

3
1
i
2
, (1.7)
donde (
1
,
2
,
3
, T) es un representante de la clase de . Tenemos entonces
una 1-foma holomorfa
(,T)
y una funci on meromorfa g
(,T)
, a partir de las
cuales es posible recuperar
1
,
2
,
3
de la siguiente forma:
1
=
1
2
(1 g
2
(,T)
)
(,T)
,
2
=
i
2
(1 + g
2
(,T)
)
(,T)
, (1.8)
3
= g
(,T)
(,T)
.
Si X(p) = Re
_
p
p
0
est a bien denida, la funci on meromorfa g
(X,T)
= g
(,T)
tiene un sentido geom etrico claro. Se verica que
G
X
(p) =
_
2
Re(g
(X,T)
(p))
1 +[g
(X,T)
(p)[
2
, 2
Im(g
(X,T)
(p))
1 +[g
(X,T)
(p)[
2
,
[g
(X,T)
(p)[
2
1
1 +[g
(X,T)
(p)[
2
_
,
o lo que es igual,
g
(X,T)
= G
X
, (1.9)
donde : S
2
C es la proyecci on estereogr aca desde el polo norte (para la
base ortonormal T = e
1
, e
2
, e
3
):
(ae
1
+ be
2
+ ce
3
) =
_
a
1 c
,
b
1 c
_
, (ae
1
+ be
2
+ ce
3
) S
2
e
3
.
Es por esto, que es frecuente llamar a g
(X,T)
la aplicaci on de Gauss de la inmer-
si on X.
DEFINICI
ON 1.13: Dado un par (, g) formado por una forma holomorfa y una

funci on meromorfa, diremos que constituyen unos datos de Weierstrass si se verica:
los ceros de la 1-forma se encuentran justamente sobre los polos
de la funci on g, y adem as el orden de un cero p de es el doble del
orden del polo p de g.
(1.10)
N otese que, dados unos datos de Weierstrass (, g) y una base ortonormal
T, podemos construir una representaci on de Weierstrass = (
1
,
2
,
3
, T) me-
diante las relaciones (1.8). La relaci on (1.10) garantiza que
1
,
2
,
3
son holo-
morfas y verican (1.2) y (1.3).
10
1. PRELIMINARES
NOTACI
ON 1.14: Sea X : M R
3
una inmersi on minimal conforme, y T una base
ortonormal en R
3
, entonces notaremos por
(X,T)
= (
1
,
2
,
3
, T) a la representaci on
de Weierstrass correspondiente a la inmersi on minimal X para la base T. Adem as
escribiremos por (
(X,T)
, g
(X,T)
) a los datos de Weierstrass de la inmersi on X para la
base T, esto es:
(X,T)
=
(
(X,T)
,T)
y g
(X,T)
= g
(
(X,T)
,T)
.
En esta memoria, trataremos con representaciones de Weierstrass denidas
sobre M, para M un abierto del plano complejo sobre el que consideramos la
estructura conforme usual, es decir la inducida por la m etrica eucldea, , ).
A continuaci on, queremos jar cierta notaci on para este caso.
Sea (
1
,
2
,
3
, T) y (, g) una representaci on y unos datos de Weierstrass,
respectivamente, sobre M, entonces las 1-formas ,
1
,
2
,
3
pueden ser expre-
sadas globalmente mediante funciones holomorfas:
= f (z) dz,
1
=
1
(z) dz,
2
=
2
(z) dz,
3
=
3
(z) dz.
Para estas funciones usaremos una notaci on an aloga a la empleada para for-
mas: = (
1
,
2
,
3
, T),
(X,T)
=
(X,T)
dz,
(X,T)
= f
(X,T)
dz,
(,T)
= f
(,T)
dz.
Dada una representaci on de Weierstrass = dz = (
1
dz,
2
dz,
3
dz, T), y
z M, denimos: |(z)| como la norma del vector (
1
(z),
2
(z),
3
(z)) C
3
,
esto es:
|(z)| =
_
[
1
(z)[
2
+[
2
(z)[
2
+[
3
(z)[
2
.
Obs ervese que || est a bien denido, ya que no depende del representante de
la clase de .
Para medir la proximidad entre dos representaciones de Weierstrass, y

consideraremos |
| denido como:
|
(z) (z)| = |(
1
(z)
1
(z),
2
(z)
2
(z),
3
(z)
3
(z))|, (1.11)
donde = (
1
,
2
,
3
, T) y

= (
1
,
2
,
3
, T); ambas expresadas en la misma
base T. Obs ervese que, de nuevo, la expresi on |
(z) (z)| no depende de la

base T escogida en los representantes de y
.
Cuando X : M R
3
, X(z) = Re
_
z
z
0
dz es una inmersi on minimal con-
forme bien denida, || describir a la m etrica o
X
inducida por la inmersi on.
Para apreciar esto, t engase en cuenta que decir que la inmersi on es conforme,
equivale a que las m etricas , ) y o
X
son conformes, es decir, que existe una
funci on
X
: M R positiva tal que:
(o
X
)
p
(v, w) =
2
X
(p) v, w) , v, w T
p
M R
2
, p M.
11

OLICAS
As, se puede comprobar que
X
(z) =
1
2
[ f
(X,T)
(z)[(1 +[g
(X,T)
(z)[
2
) =
|(z)|
2
, (1.12)
K
X
(z) =
_
4[g
/
(X,T)
(z)[
2
[ f
(X,T)
(z)[(1 +[g
(X,T)
(z)[
2
)
2
_
2
. (1.13)
1.2.2 La Transformaci on de L opez-Ros
Sea = (
1
,
2
,
3
, T) una representaci on de Weierstrass denida sobre M,
y (
(,T)
, g
(,T)
) los correspondientes datos de Weierstrass para la base T. Con-
sideremos h una funci on holomorfa que no se anula sobre ning un punto de M,
entonces denimos una nueva representaci on de Weierstrass
= (
1
,
2
,
3
, T)
donde:
,T)
=
(,T)
h, g
(
,T)
=
g
(,T)
h
.
Esta manera de obtener una nueva representaci on de Weierstrass a partir de
otra, es conocida como transformaci on de L opez-Ros. Ella posee la siguiente par-
ticularidad:
3
=
(,T)
g
(,T)
= (
(,T)
h)(g
(,T)
/h) =
3
.
Si asumimos que X = Re
_
y

X = Re
_

son sendas inmersiones minima-
les bien denidas sobre M, se tendr a que sus terceras coordenadas, referidas a
T, son id enticas:
(X(p))
3,T
= (
X(p))
3,T
, p M.
En este caso, la transformaci on de Lop ez-Ros lo que hace es proporcionar una
manera de deformar una inmersi on minimal en otra supercie, tambi en mini-
mal; sin modicar su tercera coordenada en T. Es claro, que esta transforma-
ci on depende tanto de la funci on h como de la base ortonormal T escogida; es
decir, depende del representante de .
El nombre de esta transformaci on proviene de que dichos autores la utili-
zaron en [LR]; tomando como h funciones constantes. Ellos deformaban una
supercicie minimal obteniendo una familia continua uniparam etrica de super-
cies minimales. Aunque al principio, la transformaci on fue usada para h
constante, posteriormente se han utilizado otras funciones menos simples. En
la construcci on de supercies minimales completas y acotadas de Nadirashvi-
li, [Nad], se utilizaron funciones h holomorfas que no se anulaban, obtenidas
mediante el teorema de Runge. Recordemos que el teorema de Runge es un
resultado cl asico de la variable compleja que arma:
TEOREMA 1.15 (Teomera de Runge [Co1]): Sea K un subconjunto compacto de
C y sea E un subconjunto de C K que corta a cada componente conexa de
12
1. PRELIMINARES
C K. Si f es una funci on holomorfa en un conjunto abierto que contiene a K
y > 0, entonces existe una funci on racional R(z) con polos unicamente en E y tal
que
[ f (z) R(z)[ <
para todo z K.
Nadirashvili trabajaba con datos de Weierstrass (, g) denidos sobre do-
minios simplemente conexos. Esto supona que las correspondientes formas
1
,
2
,
3
, denidas a partir de (1.8), no tenan periodos reales, con lo cual,
a partir de ellas se obtena una inmersi on minimal bien denida. El uso de
una funci on h holomorfa que no se anula, en la transformaci on de L opez-Ros,
implica que (h, g/h) son datos de Weierstrass; con lo cual, dan lugar a una
inmersi on minimal bien denida. En estas circunstancias la trasformaci on de
L opez-Ros proporciona una manera de deformar una inmersi on minimal en
otra, sin necesidad de preocuparse de los periodos de las formas de la nueva
representaci on.
Adem as, Nadirashvili, mediante el uso del teorema de Runge para cons-
truir las funciones h, introduca una manera de controlar la nueva inmersi on
obtenida al aplicar la transformaci on de L opez-Ros. Veamos en qu e consiste
este control.
Sea = dz una representaci on de Weierstrass denida sobre M, un do-
minio plano relativamente compacto. Consideremos una base ortonormal T,
y sean ( f
(,T)
dz, g
(,T)
) los correspondientes datos de Weierstrass. Sea K
1
un
compacto simplemente conexo contenido en M y K
2
un entorno abierto de K
1
,
tal que M K
2
es simplemente conexo. Supongamos que pretendemos modi-
car sobre K
1
pero sin apenas perturbarla sobre M K
2
. Para ello podemos
usar la transformaci on de L opez-Ros en la manera siguiente. Sean > 0 y
h : K
1
C una funci on holomorfa denida en un entorno de K
1
; considere-
mos h una funci on holomorfa sobre C, denida gracias al teorema de Runge,
vericando:
1.) h no se anula sobre M,
2.) [h 1[ < , en M K
2
,
3.) [h

h[ < , en K
1
.
Sea
=

dz la representaci on de Weierstrass resultante de aplicar una trans-
formaci on de L opez-Ros a para la funci on h en la base ortonormal T =
e
1
, e
2
, e
3
, es decir, que f
(
,T)
= f
(,T)
h y g
(
,T)
= g
(,T)
/h.
De esta manera, si es pr oximo a cero, conseguimos deformar una repre-
sentaci on de Weierstrass en otra
, de tal forma que apenas se modica en

M K
2
, gracias a la propiedad 2.). Por otro lado, se deforma sobre K
1
en la
13

OLICAS
manera que indica la funci on

h (propiedad 3.)). En cambio, existe una zona de
descontrol correspondiente a K
2
K
1
, en la cual no sabemos c omo se comporta
.
Concretemos en qu e consiste la proximidad entre las representaciones de
Weierstrass, obtenida gracias a la propiedad 2.). Claramente, de 2.) se deduce
que
3
f
(
,T)
converge uniformemente a f
(,T)
, y g
(
,T)
converge uniformemente a
g
(,T)
sobre M K
2
cuando 0. En consecuencia,
converge uniformemente
a sobre M K
2
cuando 0, es decir
|
(z) (z)|
0
0 uniformemente sobre M K
2
.
No es difcil comprobar, a partir de lo anterior, que los datos de Weierstrass de
en cualquier base ortonormal S, converger an a los datos de , esto es:

f
(
,S)
0
f
(,S)
uniformemente sobre M K
2
,
f
(
,S)
g
2
(
,S)
0
f
(,S)
g
2
(,S)
uniformemente sobre M K
2
.
N otese que esto se deduce de que
f
(
,S)
=
_
1
i
2
_
0
(
1
i
2
) = f
(,S)
,
f
(
,S)
g
2
(
,S)
=
_

2
3
1
i
2
_
0
_

2
3
1
i
2
_
= f
(,S)
g
2
(,S)
,
donde

= (
1
,
2
,
3
, S) y = (
1
,
2
,
3
, S) son las representaciones de
Weierstrass de
y respectivamente, expresadas en la base S.

Supongamos que X y

X son dos inmersiones bien denidas a partir de las
representaciones de Weierstrass:
X(z) = Re
_
z
z
0
+ C,

X(z) = Re
_
z
z
0
+ C,
tal que X(z
0
) =

X(z
0
) = C para cierto z
0
M K
2
. De la proximidad entre
y
cuando 0, se puede deducir que X y

X ser an pr oximas en M K
2
.
Consideremos z M K
2
y
z
una curva en M K
2
, que une z con z
0
y tal
que long(
z
, , ))
4
3
dist
(MK
2
,,))
(z, z
0
). Entonces, si = (
1
,
2
,
3
, T),
3
Obs ervese que h depende de la constante , y por tanto
tambi en.
14
1. PRELIMINARES
= (
1
,
2
,
3
, T) y T = e
1
, e
2
, e
3
, se tiene que:
|
X(z) X(z)| =
_
_
_
_
_
3
i=1
_
Re
_
z
(
i
(w)
i
(w))dw
_
e
i
_
_
_
_
_
=
=
_
3
i=1
Re
_
z
(
i
(w)
i
(w))dw
long(
z
, , ))
_
3
=1
_
max
w
z
_

i
(w)
i
(w)
_
_
2
4
3
dist
(MK
2
,,))
(z, z
0
) 3 sup
z
|
|.
En consecuencia,
|
X(z) X(z)| 4 sup

wMK
2
_
dist
(MK
2
,,))
(z
0
, w)
_
sup
MK
2
|
|. (1.14)
Por tanto, si sup
_
dist
(MK
2
,,))
(w, z
0
) : w M
_
< , la inmersi on

X conver-
ge a X uniformemente sobre M K
2
cuando 0.
1.3 SUPERFICIES MINIMALES COMPLETAS YACOTADAS
EN R
3
Son cl asicos algunos de los resultados, que nos informan sobre la acotaci on
que puede sufrir una supercie completa en R
3
, en funci on de su curvatura.
Recu erdese, por ejemplo, el teorema de Bonnet, que arma que una super-
cie completa con curvatura gaussiana mayor que una constante positiva debe
ser compacta, y por tanto acotada; o aquel otro teorema de Nirenberg y Hart-
man, que arma que si la curvatura gaussiana es nula entonces la supercie
ser a un plano o un cilindro ortogonal sobre una curva plana. En cambio, para
curvatura gaussiana negativa exista una conjetura que armaba:
CONJETURA 1.16 (Hadamard [Had]): No existen supercies completas y acota-
das en R
3
con curvatura de Gauss negativa.
Esta secci on, entre otras cosas, estudia dicho problema para el caso de que
la curvatura media de la supercie sea nula. A continuaci on examinaremos
15

OLICAS
los avances obtenidos sobre la existencia de supercies minimales completas y
acotadas en R
3
.
Fue posiblemente la carencia de ejemplos de este tipo, entre las supercies
minimales conocidas a mediados del siglo pasado, lo que llevo a E. Calabi,
[Cal], a plantearse la existencia de supercies minimales completas contenidas
en una bola de R
3
: conjetura 1 de la introducci on. Los primeros resultados
parciales aparecieron en 1980. En dicho a no, L. P. Jorge y F. Xavier [JoXa] idea-
ron una manera de construir una supercie minimal completa que estuviera
contenida en una banda de R
3
, (entre dos planos paralelos), y no fuera el pla-
no. Su demostraci on consista en obtener una representaci on de Weierstrass de
dicha supercie, haciendo uso del teorema de Runge. Posteriormente fueron
apareciendo resultados de no-existencia de supercies acotadas, bajo ciertas
hip otesis extra. Podemos citar, a este respecto, el siguiente teorema de Xavier:
TEOREMA 1.17 ([Xav], 1984): La envolvente convexa de una supercie minimal
completa y con curvatura de Gauss acotada, que no sea un plano, es R
3
.
Otro resultado de no-existencia es el conocido como teorema fuerte del se-
miespacio, que arma:
TEOREMA 1.18 (D. Hoffman y W. H. Meeks III, [HoMe]): Una supercie mini-
mal (sin borde) no plana, propiamente inmersa en R
3
y conexa, no puede estar conte-
nida en un semiespacio.
La idea usada por Jorge y Xavier para construir el ejemplo contenido en
una banda, fue explotada para obtener m as supercies de este tipo, pero con
topologas m as complicadas. La supercie construida por Jorge y Xavier tena
la topologa de un disco. En 1982, H. Rosenberg y E. Toubiana construyeron
coronas [RoTo], y en 1988, L opez construy o cintas de M obius [Lo1]. Todas
las anteriores construcciones estaban basadas en la utilizaci on del teorema de
Runge para obtener representaciones de Weierstrass de las supercies desea-
das. Un m etodo de construcci on de supercies minimales alternativo, que no
usaba el teorema de Runge, fue dado por F. F. de Brito. En el, se haca uso
de series de potencias con huecos de Hadamard para obtener representaciones
de Weierstrass de supercies minimales completas contenidas en una banda,
con las topologas de un disco y una corona: [Br1] y [Br2] respectivamente.
T ecnicas m as elaboradas, aplicadas sobre supercies de Riemann, permitie-
ron obtener ejemplos del tipo anterior, con la topologa de una supercie de
cualquier g enero: C. Costa y P. A. Q. Sim oes [CoSi], y L opez [Lo2].
A pesar de todos los anteriores trabajos, la cuesti on sobre la existencia de
supercies minimales completas y acotadas en R
3
segua abierta. En 1996, N.
Nadirashvili concibi o una forma de responder armativamente a la cuesti on,
16
1. PRELIMINARES
construyendo las primeras supercies minimales completas y acotadas, [Nad].
Su demostraci on tambi en estaba basada en el uso del teorema de Runge para
obtener representaciones de Weierstrass de supercies minimales, pero esta
vez, aplic andolo de una manera m as ingeniosa que la pensada por Jorge y Xa-
vier. La topologa de estos ejemplos es la de un disco. Con la intenci on de
encontrar ejemplos con topologa no trivial, F. Martn y el autor de esta memo-
ria generalizaron la t ecnica elaborada por Nadirashvili, y obtuvieron ejemplos
de supercies minimales completas y acotadas en R
3
con la topologa de una
corona, [MM]. Como ya hemos comentado, esta construcci on constituir a el
captulo 2 de esta memoria.
Otro reciente resultado de construcci on de ejemplos de supercies mini-
males completas y acotadas con topologa no trivial es [LMM]. En el se cons-
truyen supercies con g enero arbitrario; su demostraci on combina la t ecnica
usada por Nadirashvili, con otra basada en el teorema de la funci on implcita,
que sirve para obtener inmersiones minimales bien denidas (sin periodos)
sobre supercies de Riemann con g enero.
Es oportuno observar que todos los ejemplos de supercies minimales com-
pletas, citadas en esta secci on, son hiperb olicas. Esto es consecuencia de que
tienen alguna, o todas, sus coordenadas acotadas.
En la siguiente secci on se dar a un esbozo de la construcci on de Nadirash-
vili, mostrando unicamente las ideas fundamentales de la misma.
1.3.1 Los Ejemplos Simplemente Conexos de Nadirashvili
En esta secci on, se tratar an los primeros ejemplos de supercies minima-
les completas y acotadas, obtenidos por Nadirashvili. Dicho autor prob o el
siguiente teorema:
TEOREMA 1.19 ([Nad], 1996): Existe una inmersi on minimal completa y confor-
me, : D R
3
, que est a acotada y tiene curvatura de Gauss negativa.
El teorema proporciona ejemplos que tienen la propiedad adicional de ser
de curvatura de Gauss negativa. Esto supone un contraejemplo a la conjetura
de Hadamard (conjetura 1.16), que arma que no existen supercies completas
y acotadas con curvatura de Gauss negativa.
La intenci on de esta secci on no es dar una demostraci on detallada de la
elaborada construcci on de Nadirashvili, sino un esbozo de la misma.
La construcci on est a basada en una t ecnica que consiste en: dado un disco
geod esico de una supercie minimal en R
3
, es posible deformarlo para obte-
ner un nuevo disco geod esico minimal de radio mayor. Esta deformaci on se
efect ua de tal manera que ambos discos geod esicos son casi id enticos, salvo en
17

OLICAS
un peque no entorno alrededor de la frontera. Adem as, el radio de una bola
donde est a inmerso el nuevo disco geod esico est a determinado por el radio
de una bola donde estaba inmerso el disco geod esico de partida, el incremen-
to de los radios de los discos geod esicos, y la proximidad entre ellos. Dicho
de otra manera, dado un disco minimal en R
3
es posible deformarlo, tan solo
sustancialmente a lo largo de un entorno de su frontera, para que su di ametro
intrnseco aumente, pero controlando el di ametro en R
3
.
La t ecnica descrita es recogida con precisi on en el siguiente lema:
LEMA 1.20: Sea X : D R
3
, una inmersi on minimal y conforme con X(0) =
(0, 0, 0), vericando:
1) (D, o
X
) es un disco geod esico de radio centrado en el origen,
2) X(D) B
r
.
Entonces, para cualesquiera , s reales positivos, existe Y : D R
3
, inmersi on mini-
mal y conforme con Y(0) = (0, 0, 0), que verica:
a) (D, o
Y
) es un disco geod esico de radio + s centrado en el origen,
b) Y(D) B
R
, donde R =

r
2
+ s
2
+ ,
c) |Y(z) X(z)| < , z D
1
.
Adem as, si la inmersi on X tiene curvatura de Gauss negativa, la inmersi on Y puede
ser tambi en obtenida con curvatura de Gauss negativa.
Aqu, r es el radio de la bola donde est a inmerso el disco geod esico originario,
s mide el incremento que experimentan los radios de los discos geod esicos, y
la proximidad de las dos supercies en D
1
. De este modo el radio de una
bola donde est a inmerso el nuevo disco geod esico es dado por la expresi on:
R =
_
r
2
+ s
2
+ . (1.15)
Es justamente esta manera de denir el nuevo radio, lo que permite construir
una supercie minimal completa y acotada.
Veamos c omo sera la demostraci on del teorema 1.19 a partir del lema 1.20.
En primer lugar tomamos una inmersi on minimal X
1
: D R
3
, de un disco
geod esico de radio
1
= 1, con imagen contenida en una bola de radio r
1
> 0.
Seguidamente, se dene de manera recurrente una sucesi on de inmersiones
minimales X
i
: D R
3
, donde X
i
es obtenida al aplicar el lema 1.20 a la
inmersi on X
i1
para s = 1/i y < 1/i
2
. En consecuencia, se verican las
siguientes propiedades:
18
1. PRELIMINARES
|X
i
X
i1
| < 1/i
2
en D
11/i
2. Esto garantiza que la sucesi on X
i
es
de Cauchy, y por tanto, converge a cierta inmersi on minimal y conforme
: D R
3
.
(D, o
X
i
) es un disco geod esico de radio
i
=
i
k=1
1/k. Luego (D, o
)
ser a una supercie completa.
X
i
(D) B
r
i
. Es aqu donde intervienen las propiedades de la expresi on
(1.15), ya que
r
i
<
_
r
2
i1
+
1
i
2
+
1
i
2
implica que la sucesi on r
i
es acotada; con lo cual la inmersi on estar a
acotada.
En resumen, como lmite de X
i
obtendramos una inmersi on : D R
3
minimal completa y acotada. Adem as, si la sucesi on de inmersiones es cons-
truida dentro de la familia de las supercies con curvatura de Gauss negativa,
lo cual es posible gracias al lema 1.20, se podra obtener que tuviera curva-
tura de Gauss negativa. Luego la inmersi on demostrara el teorema 1.19.
Como vemos, la clave del razonamiento anterior est a en que la sucesi on
n
de los radios de los discos geod esicos diverge, mientras que el control
ejercido por (1.15), nos permite tener acotada la sucesi on r
n
de los radios de
las bolas donde est an inmersas las supercies.
La parte m as intrincada de la construcci on de Nadirashvili consiste en pro-
bar el lema 1.20. Grosso modo, dicho lema est a basado en un uso ingenioso
del teorema de Runge y de la transformaci on de L opez-Ros.
Supongamos que tomamos un peque no conjunto cerca de la frontera del
disco geod esico (D, o
X
), sobre el cual la inmersi on X es casi constante. Sea
un peque no entorno de . Supongamos que aplicamos una transformaci on de
L opez-Ros a la inmersi on X en un sistema de referencia, que tiene como tercera
direcci on un vector que apunta hacia X(). La funci on h, que usaremos en
la transformaci on, ser a obtenida mediante el teorema de Runge, para que se
aproxime a 1 fuera del entorno y a una constante grande > 0 en . Qu e
efecto habramos conseguido mediante esta transformaci on? En primer lugar,
como vimos en la secci on 1.2.2, la nueva inmersi on obtenida

X y la inmersi on
X seran pr oximas en D . Adem as, la m etrica intrnseca inducida por

X,
o
X
, en se vera incrementada en funci on de . Gracias a esto ultimo, para
un incremento de la m etrica suciente, es posible encontrar puntos p que
est an a una distancia del origen + s con la m etrica o
X
.
Por otro lado, es posible acotar |
X(p)|, p , como indicamos. Respecto

a la m etrica o
X
, p est a a una distancia al origen pr oxima a ; ya que (D, o
X
) es
un disco geod esico centrado en el origen de radio y p est a cerca de la frontera
19

OLICAS
de D. Por lo tanto, se puede estimar que:
|
X(p) X(p)| s.
Observemos que, como hemos usado una transformaci on de L opez-Ros en un
sistema de referencia cuya tercera direcci on apunta hacia X(), se tiene que las
terceras coordenadas de los vectores

X(p) y X(p) son iguales. De este modo,
podemos usar el teorema de Pit agoras, como indica la gura 1.1, para obtener
la siguiente cota aproximada:
|
X(p)| <
_
r
2
+ s
2
.
Figura 1.1: Acotaci on de |
X(p)|.
Lo que acabamos de describir es una manera de deformar localmente un
disco geod esico minimal, para que, cerca de la frontera, en un peque no con-
junto , se incremente la m etrica intrnseca pero, al mismo tiempo, se controle
su di ametro en R
3
. La demostraci on del lema consiste en aplicar dicha defor-
maci on local, sucesivamente para una familia nita de conjuntos
1
, . . . ,
n
,
de tal manera que el efecto nal sea un incremento global de la distancia del
origen a la frontera del disco. Ser a necesario que los conjuntos
1
, . . . ,
n
, so-
bre los que se deforma, no se solapen; ya que, en otro caso, la superposici on de
dos o m as deformaciones sobre un mismo trozo del disco descontrolara la cota
del di ametro de la supercie en R
3
, que se tena. Tambi en es necesario que los
conjuntos tengan una forma especial, y se dispongan a lo largo de la frontera
en la manera que se indica en la gura 1.2. La cualidad caracterstica de esta
familia de conjuntos consiste en que: dada una curva que parta del interior
20
1. PRELIMINARES
Figura 1.2: Distribuci on de los conjuntos
1
, . . . ,
n
en el
disco unidad.
del disco y llegue a su frontera, deber a o bien atravesar trozos de los conjun-
tos, o bien bordearlos. Adem as, obs ervese que los conjuntos
1
, . . . ,
n
son
disjuntos dos a dos y cada uno de ellos es peque no. De esta manera, un disco
geod esico, obtenido por sucesivas deformaciones en cada conjunto
1
, . . . ,
n
ver a incrementada su distancia al borde: ya que cualquier curva que llegue a la
frontera, o bien atravesar a trozos de los conjuntos, donde la m etrica ha sido in-
crementada; o bien tendr an una longitud eucldea grande, como consecuencia
de que debe bordear la sinuosa forma del laberinto descrito por los conjuntos.
Dicho disco geod esico, inmerso en R
3
, es el que demostrara el lema 1.20.
Con esto, se termina el esbozo de la construcci on de Nadirashvili. Una
descripci on detallada puede ser consultada en [Mo1] y [CoRo].
1.4 EL TIPO CONFORME DE UNA SUPERFICIE MINIMAL
COMPLETA EN R
3
La estructura conforme de una supercie minimal completa inuye en mu-
chas de sus propiedades globales. En los ultimos a nos, ha tomado cada vez
m as relevancia la determinaci on del tipo conforme de una supercie minimal
completa. Esta secci on ofrece algunos recientes trabajos en los que se demues-
tra que, asumiendo ciertas condiciones sobre una supercie minimal completa,
se puede determinar la parabolicidad de su estructura conforme.
Entre los resultados de este tipo, destacamos el siguiente:
21

OLICAS
TEOREMA 1.21 (Collin, Kusner, Meeks, Rosenberg [CKMR]): Sea X : M
R
3
una inmersi on minimal propia de una supercie M con frontera no vaca. Si X(M)
est a contenido en un semiespacio cerrado, entonces M es parab olica.
Obs ervese que el teorema fuerte del semiespacio, teorema 1.18, arma la im-
posibilidad de supercies de este tipo si M es no llana y con frontera vaca.
Una prueba que muestra la utilidad de conocer el tipo conforme al traba-
jar con supercies minimales, la da el hecho de que el teorema 1.21 ha sido
decisivo en la demostraci on del teorema de unicidad de Meeks y Rosenberg
(teorema 4 de la introducci on), en el que muestran que el plano y el helicoide
son las unicas supercies minimales simplemente conexas embebidas propia-
mente en R
3
.
El siguiente resultado arma que el teorema 1.21 sigue siendo valido pa-
ra regiones m as grandes que un semiplano, si asumimos ciertas condiciones
adicionales sobre la aplicaci on de Gauss.
TEOREMA 1.22 (L opez, P erez [LoPe]): Sea X : M R
3
una inmersi on minimal
propia no plana y M con frontera no vaca, tal que para alg un (0, 1) se tiene que:
X(M)
_
(x
1
, x
2
, x
3
) R
3
: x
3
>
_
_
x
2
1
+ x
2
2
_
_
.
Entonces, si la imagen de la aplicaci on de Gauss de toda la supercie, salvo un sub-
conjunto compacto de M, est a contenida en un subconjunto hiperb olico de la esfera,
M deber a ser parab olica.
Una consecuencia directa de este teorema es:
COROLARIO 1.23: Sea M R
3
un grafo minimal propio denido sobre un dominio
D R
2
. Si M (x
1
, x
2
, x
3
) R
3
: x
3
> (
_
x
2
1
+ x
2
2
)
para alg un (0, 1),

entonces M es parab olico. En particular, cualquier grafo minimal propio que est e por
encima de media catenoide x
3
= a cosh
_
x
2
1
+ x
2
2
, a > 0, es parab olico.
Cualquier supercie minimal sin borde propiamente inmersa en R
3
puede
ser expresada como M = M(+) M() donde
M(+) = (x
1
, x
2
, x
3
) M : x
3
0
y
M() = (x
1
, x
2
, x
3
) M : x
3
0.
Obs ervese que gracias al teorema 1.21, sabemos que M(+) y M() son pa-
rab olicos. Es conocido que si M es uni on de dos subdominios parab olicos con
22
1. PRELIMINARES
intersecci on compacta, entonces M es recurrente. Por esta raz on, una condi-
ci on suciente para que M sea recurrente es que M(+) M() = M X
1
3
(0)
sea compacto.
El siguiente teorema nos muestra algunas propiedades sobre M X
1
3
(0),
para M con borde, que implican la parabolicidad de la supercie.
TEOREMA 1.24 (Meeks, Rosenberg [MR1]): Sea X : M R
3
una inmersi on
minimal propia de una supercie con frontera compacta y topologa nita (es decir, el
interior de M es homeomorfo a una supercie compacta menos una cantidad nita de
puntos). Si existe un plano R
3
tal que X
1
() tiene un n umero nito de compo-
nentes conexas y X(M) interseca a transversalmente, salvo en un n umero nito de
puntos, entonces M es conformemente equivalente a una supercie de Riemann com-
pacta menos un n umero nito de puntos y un n umero nito de discos abiertos. En
particular M ser a parab olica.
Para el pr oximo teorema, es necesaria la denici on que sigue:
DEFINICI
ON 1.25: Un mapa de ciudad en un plano R

3
es un conjunto de
la forma
N = p : dist(p, B (
i
l
i
)) < /2,
donde dist es la distancia eucldea, > 0, l
1
, . . . , l
r
un conjunto nito de semilneas
en disjuntas dos a dos, y B un disco de que corta a cada semilnea. V ease la gura
1.3.
TEOREMA 1.26 (L opez [Lo3]): Sea X : M R
3
una inmersi on minimal propia
de una supercie con topologa nita y frontera compacta. Si X(M) no corta a un
subconjunto F R
3
de uno de los tres tipos descritos m as abajo, entonces M es
conformemente equivalente a una supercie de Riemann menos un n umero nito de
puntos y un n umero nito de discos abiertos. En particular M ser a parab olica.
1) F es la uni on disjunta de tres semiplanos cerrados, que cortan perpendicularmente
a un mismo plano, y cuya envolvente convexa es R
3
.
2) F es la uni on disjunta de tres semiplanos cerrados, que cortan perpendicularmente
a un mismo plano, y tal que dos de ellos est an contenidos en un plano.
3) Tomamos tres planos paralelos en R
3
, y dibujamos un mapa de ciudad sobre uno
de los tres y lo trasladamos ortogonalmente a los otros planos. Entonces, denimos
F como la uni on de los complementarios de los mapas de ciudad en los tres planos.
Sobre los anteriores resultados que concluyen parabolicidad, cabe cuestio-
narse si realmente son necesarias todas las hip otesis impuestas. En este sen-
23

OLICAS
Figura 1.3: Situaci on 3) del teorema 1.26. Tres mapas de
ciudad.
tido, existe una conjetura de Meeks, ya comentada en la introducci on de esta
memoria (conjetura 2), que plantea que la unica condici on indispensable es
que la supercie tenga g enero nito y est e propiamente inmersa en R
3
:
Hace unos 20 a nos, D. Sullivan se pregunt o sobre una cuesti on relacionada
con la anterior conjetura: una funci on arm onica positiva sobre una super-
cie minimal propia de R
3
debe ser constante? Es claro, que si la conjetura 2
es cierta, entonces la respuesta a la pregunta de Sullivan es armativa para
supercies con g enero nito.
Es conocido que la conjetura 2 no es cierta si no imponemos que M tie-
ne g enero nito. Esto se debe a que ninguna supercie minimal triplemente
peri odica es recurrente, como indica el siguiente teorema:
TEOREMA 1.27 (Lyons, Sullivan [LySu]): Sea M una supercie de Riemann (sin
borde) y : M M/ un recubridor donde es un grupo discreto y abeliano de
isometras actuando en M, tal que M/ es compacto. Entonces M es transitoria si y
solamente si el rango del grupo abeliano es al menos 3.
Uno de los teoremas principales de esta memoria, teorema 3.2, proporciona
un contraejemplo a la conjetura 2. Dicho teorema, que ser a demostrado en
el captulo 3, muestra la existencia de discos abiertos minimales propiamente
inmersos en R
3
.
24
2
EXISTENCIA DE CORONAS
MINIMALES COMPLETAS Y
ACOTADAS EN R
3
Este captulo est a dedicado a mostrar con detalle la construcci on de las pri-
meras supercies minimales completas y acotadas en R
3
, con topologa no tri-
vial. Mientras que las primeras supercies minimales completas y acotadas,
obtenidas por Nadirashvili, tenan la topologa de un disco, las nuestras ser an
conformemente equivalentes a coronas planas. El resultado que demostrare-
mos es el siguiente:
TEOREMA 2.1 (Martn, Morales [MM], 2000): Existe una inmersi on minimal
completa conforme y acotada : A R
3
, que est a denida sobre un conjunto A C
que es conforme a una corona.
Este teorema tambi en supone la obtenci on de nuevos ejemplos de supercies
minimales completas e hiperb olicas, con la topologa de una corona.
La demostraci on del resultado es una generalizaci on de la construcci on de
Nadirashvili. En la secci on 1.3.1, donde se realizaba un esbozo de dicha cons-
trucci on, se han avanzado los razonamientos principales que usaremos en este
25

OLICAS
captulo. Cuando se trata de aplicar estos razonamientos a supercies con la
topologa de una corona, surgen algunos problemas. A lo largo del captulo,
se har a especial hincapi e en ellos y en c omo se han solventado.
La inmersi on de la que habla el teorema 2.1 ser a obtenida como el lmite
de una sucesi on de inmersiones minimales de coronas en R
3
. Para ello, la su-
cesi on ser a construida de tal manera que: por un lado, la distancia intrnseca
desde el interior a la frontera de la corona, con la m etrica inducida por la in-
mersi on, diverge a lo largo de los t erminos de la sucesi on; mientras que por
otro lado, la imagen por las inmersiones de las coronas siempre est an conteni-
das en una bola ja de R
3
. Adem as, ser a necesario que la construcci on de la
sucesi on garantice su convergencia. As, las dos anteriores propiedades impli-
car an la completitud y acotaci on de la inmersi on obtenida en el lmite.
La sucesi on mencionada ser a denida de manera inductiva. Para construir
uno de sus t erminos a partir del anterior usaremos el lema 2.5, que enunciare-
mos en la p agina 28. Este lema tiene las mismas pretensiones que el lema 1.20,
usado por Nadirashvili en su prueba: esto es, aumentar la distancia intrnseca
al borde, pero controlando a su vez la acotaci on en R
3
.
Si pensamos en c omo adaptar el lema 1.20 a inmersiones denidas sobre
una corona, el primer escollo que se presenta es resolver el problema de perio-
dos que surge al trabajar con representaciones de Weierstrass denidas sobre
dominios no simplemente conexos. La soluci on que se ha aportado en esta
memoria ha sido usar solo cierto tipo de representaciones de Weierstrass, las
cuales siempre dan lugar a inmersiones que est an bien denidas sobre una
corona. Con esta intenci on, hacemos la siguiente denici on:
DEFINICI
ON 2.2: Sea D
el disco unidad abierto menos el origen. Diremos que una

representaci on de Weierstrass, = (
1
dz,
2
dz,
3
dz, T) denida sobre D
es de tipo
z
2
si
i
(z) =

i
(z
2
), i = 1, 2, 3. Esta denici on no depende del representante de .
De este modo, el periodo de las formas de una representaci on de Weiers-
trass de tipo z
2
en el origen es nulo, ya que

i
(z
2
) tiene un desarrollo en serie
de potencias de exponentes pares en el origen. Por esta raz on, X : D
R
3
dada por X(z) = Re
_
z
z
0
, z
0
D
est a bien denida para z D
. El uso de este
tipo de representaciones, adem as de solucionar el problema de periodos, con-
lleva que las inmersiones obtenidas son sim etricas respecto de un punto. Esto
es debido a que se satisface A
(
1
,
2
,
3
) = (
1
,
2
,
3
), donde A : D D
es una involuci on denida por A(z) = z. El punto de simetra de la inmer-
si on X se calcula por (X(z) + X(z))/2 para cualquier z D
. En adelante,
notaremos por C(X) el vector
C(X) = X(z) + X(z), para alg un z D
.
26
2. CORONAS MINIMALES COMPLETAS Y ACOTADAS
Otro problema de car acter m as t ecnico es el que surge con los dominios
donde est an denidas las inmersiones. En la construcci on de Nadirashvili
existe una uniformizaci on de los dominios de denici on: ya que se trabaja con
inmersiones de discos geod esicos que siempre est an denidas sobre el disco
unidad. Repasando la demostraci on del lema 1.20 (v ease [Nad]), se puede ver
que esto es as gracias a que cualquier inmersi on minimal denida sobre un
dominio simplemente conexo, distinto de C, puede ser reparametrizada, para
que est e denida sobre el disco unidad. Lo anterior es consecuencia del teo-
rema de representaci on conforme de Riemann, teorema 1.2, que arma que
cualquier dominio simplemente conexo, distinto de C, es biholomorfo a D. Sin
embargo, para dominios 1-conexos las posibilidades para la estructura confor-
me son m as amplias, como pone de maniesto el teorema 1.3. En el caso en
que un dominio 1-conexo G sea equivalentemente conforme a una corona de
la forma z C : 1 < [z[ < r, como en el tercer caso del teorema 1.3, la de-
terminaci on de r es un procedimiento sosticado, difcil de llevar a la pr actica
(v ease [Ahl]). La opci on que se ha tomado en este trabajo, para resolver este
problema, ha sido no uniformizar los dominios donde est an denidas las inmer-
siones con las que trabajamos, soslayando as el problema de la determinaci on
de la estructura conforme de un dominio 1-conexo. Usaremos una familia de
dominios 1-conexos, que denimos a continuaci on:
DEFINICI
ON 2.3: Una poligonal P ser a una curva de Jordan en R

2
formada por un
n umero nito de segmentos rectos que contiene al origen en su interior. El dominio
abierto interior ser a notado por Int P.
Por un par poligonal (P, Q) notaremos un par de poligonales vericando:
D
1/3
Int Q Int Q D
2/3
D
2/3
Int P Int P D,
P = P y Q = Q.
El dominio interior bordeado por un par poligonal ser a notado por T(P, Q) = Int P
Int Q.
El hecho de imponer que los dominios T(P, Q) sean sim etricos respecto del
origen, es debido a que una representaci on de Weierstrass de tipo z
2
verica
A
(
1
,
2
,
3
) = (
1
,
2
,
3
).
Para el desarrollo posterior del captulo, ser a necesario introducir la si-
guiente denici on:
DEFINICI
ON 2.4: Sea > 0, diremos que (P
, Q
) es un par poligonal paralelo

al par (P, Q), si (P
, Q
) es un nuevo par poligonal formado por lados paralelos a

los lados de (P, Q) a una distancia , tal que T(P
, Q
) T(P, Q). A lo largo de la

memoria, entenderemos que es sucientemente pr oximo a cero para que tenga sentido
la denici on.
27

OLICAS
Figura 2.1: El par poligonal (P, Q) y el par poligonal
paralelo (P
, Q
)
Observando la gura 2.1 queda claro el sentido de la anterior denici on.
Llegados a este punto, poseemos las deniciones necesarias para enunciar
nuestra versi on del lema 1.20 para supercies con la topologa de una corona:
LEMA 2.5: Sea X : D
R
3
una inmersi on minimal y conforme. Consideremos
r > 0 y (P, Q) un par poligonal que verica las siguientes propiedades:
(A1) X(z) = Re
_
_
z
2/3
_
+ C, z D
, donde C R
3
y es una representaci on
de Weierstrass de tipo z
2
,
(A2) C(X) = (0, 0, 0),
(A3) X(T(P, Q)) B
r
.
Entonces para cualesquiera s > 0 y > 0 (sucientemente peque no para que (P
, Q
)
tenga sentido) existe una inmersi on minimal y conforme Y : D
R
3
y un par
poligonal (
P,

Q) que verican:
28
(B1) Y(z) = Re
_
_
z
2/3
_
+ C, z D
, donde es una representaci on de Weiers-

trass de tipo z
2
,
(B2) C(Y) = (0, 0, 0),
(B3) T(P
, Q
) T(
P,

Q) T(
P,

Q) T(P, Q),
(B4) s < dist
(T(
P,
Q),o
Y
)
(
P

Q, P
),
(B5) Y(T(
P,

Q)) B
R
donde R =
_
r
2
+ (2s)
2
+ ,
(B6) |Y X| < en T(P
, Q
).
Sintetizando en pocas palabras el enunciado, el lema nos permite tomar
una corona minimal inmersa en una bola de R
3
de tipo z
2
, y deformarla pa-
ra que aumente la distancia intrnseca a la frontera en una cantidad arbitraria
s (propiedad (B4)), sin incrementar en exceso el di ametro en R
3
(propiedad
(B5)). La nueva inmersi on construida se parecer a a la de partida tanto co-
mo queramos (propiedad (B6)), salvo en un peque no entorno de la frontera.
Adem as, dicha deformaci on puede realizarse dentro de la familia de las super-
cies minimales sim etricas respecto del origen, esto es con representaciones de
Weierstrass de tipo z
2
y C(X) = (0, 0, 0) (propiedades (A1), (A2), (B1) y (B2)).
Observemos que aunque las inmersiones que aparecen est an denidas so-
bre D
, tan solo ejercemos un control sobre ellas en dominios bordeados por

pares poligonales. La inmersi on X de partida est a controlada en un dominio
T(P, Q). En cambio, la nueva inmersi on Y obtenida est a controlada en un do-
minio T(
P,

Q), que representa casi todo el dominio T(P, Q) salvo un entorno
de su frontera arbitrariamente peque no, en funci on de (propiedad (B3)).
Por otro lado, debido a que trabajamos con supercies no simplemente co-
nexas, no es posible expresar el aumento de la distancia intrnseca en t erminos
de discos geod esicos que aumentan de radio, como en el lema 1.20. En cam-
bio, aqu expresaremos ese hecho mediante la propiedad (B4): que arma que
la distancia desde la frontera del dominio T(P
, Q
) a la frontera de T(
P,

Q) es
mayor que s.
En la siguiente secci on demostraremos el teorema 2.1 asumiendo que es
cierto el lema 2.5. La demostraci on del lema la postergaremos a la secci on 2.2.
29

OLICAS
2.1 DEMOSTRACI

ON DEL TEOREMA
Como hemos comentado anteriormente, el teorema 2.1 ser a demostrado
mediante la construcci on de una sucesi on convergente de inmersiones de co-
ronas, de tal forma que la inmersi on obtenida en el lmite verique las propie-
dades requeridas por el enunciado.
Previamente consideraremos r
n
,
n
y
n
sucesiones de n umeros rea-
les. La primera es denida recurrentemente por la expresi on
r
n
=
_
r
2
n1
+ (
2
n
)
2
+
1
n
2
,
con un primer t ermino r
1
> 0, que precisaremos despu es; la segunda sucesi on
es la serie divergente
n
=
n
i=1
1/i; y la tercera es una sucesi on satisfaciendo
0 <
i
< 1 y
i=1

i
= 1/2. Por ejemplo:
1
=
1
2
e
1/2
y
n
= e
1/2
n
para n > 1. (2.1)
Nuestro primer paso ser a construir una sucesi on de t erminos:
n
= X
n
, (P
n
, Q
n
),
n
,
n
, n N,
donde X
n
: D
R
3
es una inmersi on minimal y conforme, (P
n
, Q
n
) es un
par poligonal y,
n
y
n
son dos sucesiones decrecientes de reales positi-
vos satisfaciendo
n
,
n
< 1/n
2
. Adoptaremos la notaci on: T
n
= T(P
n
, Q
n
),
T
n
= T(P
n
, Q
n
), para > 0. Deseamos que la sucesi on
n
verique las si-
guientes propiedades para n 2:
(C1
n
) X
n
(z) = Re
_
_
z
2/3
n
_
+ C
n
, z D
donde C
n
R
3
y
n
es una repre-
sentaci on de Weierstrass del tipo z
2
,
(C2
n
) C(X
n
) = (0, 0, 0),
(C3
n
) T
n1
n1
T
n
n
T
n
T
n1
,
(C4
n
)
n
< dist
(T
n
n
,o
X
n
)
(T
n
n
, 2/3),
(C5
n
) X
n
(T
n
) B
r
n
,
(C6
n
) |X
n
(z) X
n1
(z)| <
n
, z T
n1
n1
,
(C7
n
)
X
n
(z)
n
X
n1
(z), z T
n1
n1
.
La nalidad de estas condiciones es la siguiente. Gracias a las propiedades
30
(C6
n
) veremos que dicha sucesi on converge a una inmersi on minimal denida
en un dominio 1-conexo, que determinaremos gracias a las propiedades (C3
n
).
Adem as, mediante las propiedades (C4
n
) y (C5
n
), comprobaremos que la in-
mersi on lmite es completa y acotada, respectivamente. El prop osito de las
propiedades (C7
n
) es garantizar que la inmersi on lmite es regular, esto es, que
no tiene puntos de ramicaci on.
Vamos a denir la sucesi on
n
de manera recurrente: construiremos cada
t ermino de la sucesi on a partir del anterior, haciendo uso del lema 2.5, enun-
ciado anteriormente.
Para empezar, tomamos X
1
: D
R
3
una inmersi on minimal y confor-
me, 1 >
1
> 0 y (P
1
, Q
1
) un par poligonal vericando (C1
1
), (C2
1
) y (C4
1
) (por
ejemplo, X
1
puede ser un trozo de plano: X
1
(u, v) = (u, v, 0), para Rsu-
cientemente grande, con
1
y (P
1
, Q
1
) tomados adecuadamente). Denimos,
ahora, r
1
> 0 tal que se tenga la propiedad (C5
1
). N otese que la manera de
elegir
1
, nos es indiferente, ya que no interviene en las propiedades de
n
para n 2.
Supongamos que tenemos construidos los n primeros t erminos:
1
, . . . ,
n
.
Veamos como construir el t ermino
n+1
. Para ello, ser a fundamental el lema
2.5. Consideremos
m
una sucesi on decreciente y convergente a cero tal que
m
< 1/(n + 1)
2
y
m
<
n
para todo m. Sea Y
m
: D
R
3
y (
P
m
,

Q
m
) la
inmersi on minimal y el par poligonal, respectivamente, que proporciona el
lema 2.5 al aplicarlo a los siguientes datos:
X = X
n
, (P, Q) = (P
n
, Q
n
), r = r
n
, s =
1
n+1
, =
m
.
Debido a la propiedad (B6) del lema 2.5, se tiene que la sucesi on Y
m
conver-
ge a X
n
uniformemente en T
n
n
(obs ervese que T
n
n
T
m
n
). Esto implica que
Y
m
m

X
n
uniformemente en T
n
n
, y
_
dist
(T
n
n
,o
Y
m
)
(T
n
n
, 2/3)
_
m
dist
(T
n
n
,o
X
n
)
(T
n
n
, 2/3).
Teniendo en cuenta lo anterior y (C4
n
), existe m
0
N tal que:
Y
m
0
(z)
n+1
X
n
(z), z T
n
n
, (2.2)
n
< dist
(T
n
n
,o
Y
m
0
)
(T
n
n
, 2/3). (2.3)
Visto esto, denimos X
n+1
= Y
m
0
, (P
n+1
, Q
n+1
) = (
P
m
0
,

Q
m
0
), y
n+1
=
m
0
.
Las propiedades (C1
n+1
), (C2
n+1
), (C5
n+1
) y (C6
n+1
) se obtienen como conse-
cuencia directa de las propiedades (B1), (B2), (B5) y (B6) del lema 2.5, respec-
tivamente. Adem as:
T
n
n
T
n+1
n
T
n+1
n
T
n+1
T
n+1
T
n
(2.4)
31

OLICAS
1
n+1
< dist
(T
n+1
,o
X
n+1
)
(T
n+1
, T
n+1
n
). (2.5)
La propiedad (C7
n+1
) se debe a (2.2). Por otro lado, gracias a (2.3), (2.4) y (2.5)
se obtiene
n+1
< dist
(T
n+1
,o
X
n+1
)
(T
n+1
, 2/3). (2.6)
Si
n+1
> 0 es tomado sucientemente peque no; gracias a (2.4), se deduce
(C3
n+1
), y gracias a (2.6), se deduce (C4
n+1
). Con esto,
n+1
queda denido, y
podemos dar por terminado el proceso recurrente de denici on de la sucesi on
i
.
El siguiente paso es denir el conjunto A C donde estar a denida la
inmersi on que demostrar a el teorema. Sea
A =
_
nN
T
n
n
.
El conjunto A es abierto y arco-conexo; ya que es el lmite de una sucesi on cre-
ciente de conjuntos abiertos arco-conexos. Como H
1
(T
n
n
) = Z, n, podemos
armar que H
1
(A) = Z. Esto es debido al siguiente resultado, que dice como
es la homologa del lmite de una sucesi on creciente de conjuntos:
TEOREMA 2.6 ([Bre, Teor. 19.1]): Sea X =
i
U
i
un espacio topol ogico donde U
i
son abiertos tales que U
i
U
i+1
, para todo i. Entonces H
p
(X) es el lmite directo en
i de H
p
(U
i
).
Por tanto, C A solo puede tener dos componentes conexas: una contenien-
do a D
1/3
y otra a C D. Gracias al teorema 1.3 concluimos que A es conforme
a una corona del plano.
La sucesi on de inmersiones X
n
es uniformemente de Cauchy sobre los
conjuntos compactos de A. Esto es consecuencia de la estructura del conjunto
A y de las propiedades (C6
n
), como podemos comprobar. Sea K A un com-
pacto, entonces existe n
0
N tal que K T
n
n
, n n
0
. Para n > m > n
0
se
tiene que:
|X
n
X
m
| <
n
i=m+1
i
<
i=n
0
1
i
2
en K.
Luego X
n
es uniformemente de Cauchy sobre los compactos de A. Ahora,
podemos recordar el teorema de Harnack, que arma:
TEOREMA 2.7 (Teorema de Harnack [Co1]): Sea G C un abierto conexo, en-
tonces el espacio de las funciones arm onicas denidas sobre G, dotado con la topologa
uniforme sobre los compactos de G, es completo.
32
De esta suerte, la sucesi on de inmersiones X
n
converge uniformemente
sobre los compactos de A a una aplicaci on arm onica : A R
3
.
Para terminar, comprobemos que es una inmersi on minimal vericando
todas las propiedades que peda el teorema 2.1:
es una inmersi on conforme.
Esto es consecuencia del hecho de que es el lmite de una sucesi on de
inmersiones conformes X
n
(obs ervese que las derivadas parciales de
X
n
convergen a las correspondientes derivadas parciales de ). En este
punto, tan solo hay que comprobar que no tiene puntos de ramica-
ci on. Sea z A; veamos que z no es un punto de ramicaci on de .
Consideremos n
0
N tal que z T
n
n
, n > n
0
. Aplicando sucesivamen-
te las propiedades (C7
i
), se tiene lo siguiente para n > n
0
:
X
n
(z)
n
X
n1
(z)
n

n
0
+1
X
n
0
(z)
n

1
X
n
0
(z).
Tomando lmite cuando n , deducimos
(z)
1
2
X
n
0
(z) > 0; (2.7)
recu erdese que
i=1

i
= 1/2. Luego, z no es punto de ramicaci on de .
Observemos que la desigualdad precedente es cierta para todo z T
n
n
.
Claramente la inmersi on conforme es minimal, ya que es arm onica.
(A) est a acotado.
Esto es debido a las propiedades (C5
i
). Sea z A. Consideremos n N
sucientemente grande para que z T
n
n
y |(z) X
n
(z)| <
1
2
, entonces:
|(z)| |(z) X
n
(z)| +|X
n
(z)|
1
2
+ r
n
.
Que (A) est a acotado quedar a demostrado al comprobar que r
n
es
una sucesi on acotada. Obs ervese que r
n
es creciente. Sea r
n
/ el primer
t ermino de la sucesi on que es mayor que 1 (si no existiese r
n
/ la demos-
traci on concluira). Para n > n
/
podemos decir lo siguiente:
r
n
=
_
r
2
n1
+ (
2
n
)
2
+
1
n
2

_
r
2
n1
+2r
n1
(
2
n
)
2
+ (
2
n
)
4
+
1
n
2
=
= r
n1
+ (
2
n
)
2
+
1
n
2
= r
n1
+
5
n
2
.
Aplicando lo anterior sucesivamente:
r
n
r
n1
+
5
n
2
. . . r
n
/ +
n
i=2
5
i
2
< r
n
/ +5.
Luego la sucesi on r
n
est a acotada.
33

OLICAS
La corona A considerada con la m etrica o
es completa.
Para probar esto, veamos que dada una curva A partiendo de 2/3 y
divergente en A, tiene longitud innita con la m etrica o
. Por la relaci on
(2.7), para n sucientemente grande:
long(, o
) dist
(T
n
n
,o
)
(T
n
n
, 2/3) >
1
2
dist
(T
n
n
,o
X
n
)
(T
n
n
, 2/3).
La parte derecha de la desigualdad est a controlada por la propiedad
(C4
n
), luego se deduce que
long(, o
) >
1
2
n
.
En consecuencia, long(, o
) = , ya que la sucesi on
n
es divergente.
En resumen, : A R
3
es una sucesi on minimal, conforme, completa y
acotada, que est a denida sobre un dominio A conforme a una corona del
plano. Esto demuestra el teorema 2.1.
2.2 DEMOSTRACI

ON DEL LEMA
Para dejar zanjada la demostraci on del teorema 2.1, es necesario probar el
lema 2.5. Este es justamente el cometido de la presente secci on. A continua-
ci on recordamos el enunciado del lema. Por simplicidad hemos adoptado la
notaci on T = T(P, Q), T
= T(P
, Q
), para > 0, y

T = T(
P,

Q).
LEMA (2.5): Sea X : D
R
3
una inmersi on minimal y conforme. Consideremos
r > 0 y (P, Q) un par poligonal que verica las siguientes propiedades:
(A1) X(z) = Re
_
_
z
2/3
_
+ C, z D
, donde C R
3
y es una representaci on
de Weierstrass de tipo z
2
,
(A2) C(X) = (0, 0, 0),
(A3) X(T) B
r
.
Entonces para cualesquiera s > 0 y > 0 (sucientemente peque no para que (P
, Q
)
tenga sentido) existe una inmersi on minimal y conforme Y : D
R
3
y un par
poligonal (
P,

Q) que verican:
34
(B1) Y(z) = Re
_
_
z
2/3
_
+ C, z D
, donde es una representaci on de Weiers-

trass de tipo z
2
,
(B2) C(Y) = (0, 0, 0),
(B3) T

T

T T,
(B4) s < dist
(
T,o
Y
)
(
T, T
),
(B5) Y(
T) B
R
donde R =
_
r
2
+ (2s)
2
+ ,
(B6) |Y X| < en T
.
El lema 2.5 constituye la parte fundamental de la construcci on de una co-
rona minimal completa y acotada, que estamos realizando; en su prueba se
desarrollan los argumentos m as profundos y esenciales involucrados en la de-
mostraci on del teorema 2.1.
El principal prop osito de la demostraci on del lema ser a deformar la inmer-
si on X fuera del conjunto T
(propiedad (B6)) con el n de obtener una nueva

inmersi on Y que satisfaga las propiedades (B4) y (B5): es decir, la distancia
medida con o
Y
alrededor de T crece, y al mismo tiempo se controla una cota
de la imagen de Y en la manera que indica (B5). Con este n, tomaremos la
representaci on de Weierstrass de la inmersi on X,
0
, y la modicaremos en su-
cesivas etapas; obteniendo en cada una de ellas una nueva representaci on de
Weierstrass
i
. La representaci on
i
ser a de tipo z
2
, con lo cual, dar a lugar a
una inmersi on minimal F
i
bien denida sobre D
, sin tener que preocuparnos

por los periodos. Tras un n umero nito de pasos, llegaremos a una inmersi on
F
2N
; que ser a, salvo una traslaci on, la inmersi on minimal que demuestra el
lema.
X = F
0
F
1
F
2N
0

1

2N
Para construir la inmersi on F
i
, aplicaremos una transformaci on de L opez-Ros a
la inmersi on F
i1
, considerando un sistema de referencia (
i
y una funci on holo-
morfa h
i
, que ser an escogidos adecuadamente. La manera en que se elijan (
i
y
h
i
ser a decisiva en la argumentaci on. La funci on h
i
ser a obtenida mediante una
versi on especial del teorema de Runge (v ease m as adelante la proposici on 2.10).
Asimismo, tendremos asociado a este proceso un subconjunto
i
, contenido en
una peque na banda alrededor de T. Gracias a la manera en que ser a elegida
h
i
, las inmersiones F
i
y F
i1
ser an pr oximas en el dominio T menos un peque no
entorno de
i
; adem as la m etrica o
F
i
aumentar a en
i
respecto de o
F
i1
, (con
35

OLICAS
esto queremos expresar que
F
i
ser a grande respecto de
F
i1
en
i
). En cier-
to sentido el conjunto
i
marca el subconjunto de T donde, esencialmente, se
modicar a la inmersi on F
i1
para obtener F
i
; en el resto pr acticamente no se
deforma F
i1
. Por otro lado, la elecci on del sistema de referencia (
i
tendr a co-
mo n principal controlar las direcciones de los vectores F
i
(z) F
i1
(z), z D
.
Como veremos, este control ser a crucial a la hora de comprobar la propiedad
(B5).
Visto el esquema general de la demostraci on del lema, pasamos a su reali-
zaci on en detalle. El primer paso consiste en jar el n umero de etapas en que
construiremos la inmersi on Y. Consideramos un natural N sucientemente
grande para que se veriquen ciertas desigualdades que aparecer an a lo largo
de esta secci on. Es importante observar que la elecci on del natural N solo depende de
los datos de partida del lema, esto es: la inmersi on X, el par poligonal (P, Q) y las
constantes r, s, . Para los razonamientos que siguen, tambi en es conveniente
tener en cuenta lo siguiente:
OBSERVACI
ON 2.8: A lo largo de la demostraci on del lema 2.5, trabajaremos con

una serie de reales positivos, r
i
, i = 1, . . . , 11 que depender an solo de los datos de
partida del lema: X, (P, Q), r, , s. La denici on de estas constantes no depender a del
natural N que acabamos de jar.
El siguiente paso a seguir es denir la colecci on de conjuntos
1
, . . . ,
2N
a
la que aludamos antes. Estos conjuntos hacen un papel an alogo a aquellos que
describamos en la secci on 1.3.1, donde trat abamos la construcci on de discos
minimales completos y acotados. Antes de denirlos, vamos a hacer algunas
reexiones acerca de que forma y distribuci on en el plano deben tener.
La deformaci on, que aplicaremos a F
i1
para obtener F
i
, tiene sus efec-
tos solo en un peque no entorno de
i
: en el resto del dominio T ambas
inmersiones son pr oximas. Como hemos dicho ya, la deformaci on que
describiremos involucra cierto control de la acotaci on de la imagen de F
i
.
Sin embargo, cuando la deformaci on act ua dos veces sobre el mismo con-
junto, dicho control se pierde. Por esta raz on, los conjuntos
1
, . . . ,
2N
deber an ser disjuntos dos a dos.
Las inmersiones F
i
ser an todas de tipo z
2
; para evitar problemas de pe-
riodos. En consecuencia, sus representaciones de Weierstrass ser an inva-
riantes por la involuci on A(z) = z. Por esta raz on, las deformaciones
que aplicamos a
i1
para obtener
i
tienen que respetar en cierto senti-
do la involuci on A. Esto implicar a que la manera en que se deforma en z
tiene que ser igual a la manera en que se deforma en z. Por este motivo,
cada conjunto
i
debe ser tambi en invariante por A.
36
Por ultimo, ser a necesario que F
i1
sea casi constante sobre cada compo-
nente conexa de
i
. Cada conjunto
i
estar a formado por un peque no
conjunto, (sucientemente peque no para que F
i1
se aproxime tanto co-
mo necesitemos a una constante), junto con su imagen por la involuci on
A, (para que A(
i
) =
i
). En cada paso, la deformaci on que usaremos
aumentar a la m etrica o
F
i1
tan solo en el peque no conjunto
i
. Sin em-
bargo, para que F
2N
verique (B4) ser a necesario un aumento de o
F
2N
alrededor de toda la frontera de T. Por esto, los conjuntos
1
, . . . ,
2N
deber an envolver a T.
Habiendo tenido en cuenta todas estas consideraciones, una manera de denir
los conjuntos
1
, . . . ,
2N
es la siguiente:
Consideremos la poligonal P. Sea N el n umero de lados de P. Divida-
mos cada lado de P en
2N
segmentos de igual longitud (supondremos que N

ha sido elegido tal que es m ultiplo de ). Llamaremos v
1
, . . . , v
2N
a la sucesi on
de v ertices de los segmentos en que hemos dividido P, ordenados consecu-
tivamente al recorrer P. Observemos que debido a la simetra de P respecto
del origen, los puntos v
1
, . . . , v
2N
tambi en son sim etricos: v
i
= v
N+i
. Su-
pongamos que N ha sido escogido para que
2
N
< y tambi en para que los
pares poligonales (P
, Q
) tengan sentido para todo

2
N
. Consideremos
v
/
1
, . . . , v
/
2N
una sucesi on de puntos de P
2/N
que divide la poligonal de ma-
nera an aloga a la descrita para P, (v ease la gura 2.2). Estos puntos tambi en
vericar an v
/
i
= v
/
N+i
.
Denimos los siguientes conjuntos (v ease la gura 2.3):
L
i
como el segmento que une v
i
con v
/
i
, i = 1, . . . 2N;
T
i
= P
i/N
3
, i = 0, . . . 2N
2
;
/ =
N
2
1
_
i=0
Int(T
2i
) Int(T
2i+1
), y

/ =
N
2
_
i=1
Int(T
2i1
) Int(T
2i
);
L =
_
N
_
i=1
L
2i
_
/, y

L =
_
N1
_
i=0
L
2i+1
_

/;
H =
_
_
2N
2
_
i=0
T
i
_
_
L

L;

P
N
= z Int(T
0
) Int(T
2N
2 ) : dist
(R
2
,,))
(z, H)
1
4N
3
, (supondremos
que N es sucientemente grande para que
P
N
sea no vaco);
37

OLICAS
Figura 2.2: Los pares poligonales (P, Q) y (P
, Q
).
Figura 2.3: Descripci on de los conjuntos
j
i
.
38
para i = 1, . . . , N: denimos el compacto
1
i
como el segmento L
i
junto
con aquellas componentes conexas de
P
N
, que cortan a L
i
; tambi en de-
nimos el compacto
2
i
como el segmento L
N+i
junto con aquellas com-
ponentes conexas de
P
N
que cortan a L
N+i
;
para i = 1, . . . , N: denimos unos entornos abiertos de los compactos
anteriores como
j
i
= z C : dist
(R
2
,,))
(z,
j
i
) < , j = 1, 2, i = 1, . . . , N,
donde 1/N > > 0 y es sucientemente peque no para que las adhe-
rencias de los conjuntos
j
i
(j = 1, 2, i = 1, . . . , N) sean disjuntas dos a
dos. N otese que
1
i
=
2
i
y
1
i
=
2
i
.
Figura 2.4: Distribuci on de los conjuntos
j
i
.
Luego, alrededor de la poligonal P tenemos denidos los conjuntos:
P
N
,
j
1
, . . . ,
j
N
,
j
1
, . . . ,
j
N
, j = 1, 2.
De manera an aloga, podemos denir para la poligonal Q los correspondientes
conjuntos:
Q
N
,
j
N+1
, . . . ,
j
2N
,
j
N+1
, . . . ,
j
2N
, j = 1, 2.
39

OLICAS
Por ultimo, denimos para i = 1, . . . , N, los siguiente conjuntos
i
=
1
i

2
i
,
i
=
1
i

2
i
,
N
=
P
N

Q
N
.
En la gura 2.4 podemos ver una representaci on de los conjuntos
1
, . . . ,
2N
.
Los conjuntos
1
, . . . ,
2N
forman un laberinto alrededor de las poligona-
les P y Q con cualidades especiales. El uso de poligonales no es imprescindi-
ble en la construcci on que estamos desarrollando. De hecho, la construcci on
podra haberse llevado a cabo usando dominios 1-conexos m as generales que
los bordeados por pares poligonales. El motivo por el que nos hemos decidido
por ellos es una mayor sencillez a la hora de describir el laberinto formado por
los conjuntos
1
, . . . ,
2N
, que acabamos de mostrar.
Las propiedades contenidas en la siguiente proposici on ser an cruciales en
nuestros razonamientos. Contempl andolas, podemos comprender ahora el
porqu e de la denici on del laberinto anterior.
PROPOSICI
ON 2.9: Existen r
1
y r
2
constantes positivas que no dependen de N, tales
que los conjuntos
i
,
i
y
N
verican lo siguiente:
(D1) A(
i
) =
i
, y A(
i
) =
i
.
(D2) Cualesquiera dos puntos de
j
i
, pueden ser unidos por una curva
j
i
, que
verica:
long(, , )) <
r
1
N
.
(D3) Sea c > 0 y o =
2
, ) una m etrica en D
conforme a la eucldea, que verica:

_
c en T,
cN
4
en
N
.
Entonces, para toda curva T que une P
2/N
Q
2/N
con P Q, se tiene
que
long(, o)
c r
2
N
4
.
DEMOSTRACI
ON: La propiedad (D1) se deduce claramente de

1
i
=
2
i
y
1
i
=
2
i
. Esto es consecuencia de que la construcci on de los conjuntos que
hemos realizado respeta la simetra respecto del origen. Recu erdese que v
i
=
v
N+i
y v
/
i
= v
/
N+i
para i = 1, . . . , N.
40
La propiedad (D2) se obtiene gracias a la forma que tienen los conjuntos
j
i
, (v ease la gura 2.3); razonando como sigue. Sean a, b
j
i
y L
k
el corres-
pondiente segmento contenido en
j
i
. Consideramos una curva , que une a y
b, formada por: un segmento contenido en
j
i
que une a con L
k
, un trozo del
segmento L
k
, y otro segmento contenido en
j
i
que una L
k
con b. Para dar una
cota de la longitud de , es necesario primero acotar la longitud de L
k
. Supon-
gamos que el conjunto
j
i
es de los que est an alrededor de la poligonal P, es
decir, i 1, . . . , N. En caso de que i N + 1, . . . , 2N, la argumentaci on
ser a id entica, pero usando Q en lugar de P.
Sean
1
, . . . ,
los angulos interiores formados por la poligonal P en sus

v ertices (v ease la gura 2.5). Denimos
r
3
= max
_
1
[ sen(
i
/2)[
: i = 1, . . . ,
_
.
Es claro que
long(L
i
, , )) =
1
N
3
1
sen(
i
/2)
,
y en consecuencia
long(L
i
, , ))
r
3
N
3
, i = 1, . . . , 2N.
Figura 2.5: Acotaci on de la longitud de L
i
.
Denamos r
4
como una cota superior de las longitudes de los lados de las
poligonales P
para todo 0 . Denidos r

3
y r
4
de esta manera, obs ervese
que es posible escoger adecuadamente los segmentos que forman la curva
para que
long(, , )) <
r
4
2N
+
r
3
N
3
+
r
4
2N
.
Recordemos que cada lado de una poligonal T
n
era dividido en
2N
segmentos
de igual longitud: con lo que cada segmento medir a a lo sumo
r
4
2N
. Se dene,
por tanto, r
1
=
r
4
2
+ r
3
+
r
4
2
; y as, (D2) queda demostrado.
41

OLICAS
La propiedad (D3) se fundamenta en la siguiente propiedad del laberin-
to
1
, . . . ,
2N
. Sea r
2
una cota inferior de las longitudes de los lados de las
poligonales P
para todo . En particular r

2
acota inferiormente las lon-
gitudes de los lados de las poligonales T
j
, j = 1, . . . , 2N
2
. Si es una curva
uniendo la poligonal T
2i
con la poligonal T
2i+2
con long(, , )) <
r
2
4N
, se ve-
ricar a que atraviesa alguna componente conexa de
N
, esto es: existe un
trozo conexo de contenido en
N
que tiene longitud eucldea de a lo menos
1/N
3
2/(4N
3
) = 1/(2N
3
), (v ease la gura 2.3).
Para demostrar (D3) consideremos una curva T que une P
2/N
Q
2/N
con P Q. Sea
i
, para i = 0, . . . N
2
1, un trozo conexo de la curva uniendo
T
2i
con T
2i+2
. Para probar (D3) es suciente comprobar que long(
i
, o)
cr
2
4N
.
Para ello distinguimos dos posibles casos:
Primero, supongamos que long(
i
, , ))
r
2
4N
. En este caso, f acilmente se
deduce que:
long(
i
, o) c
r
2
4N

cr
2
4N
.
En el segundo caso, supongamos que long(
i
, , )) <
r
2
4N
. Por lo dicho
anteriormente, la curva
i
tiene que atravesar alguna componente conexa de
N
, y por tanto un trozo de
i
transcurre por
N
con una longitud eucldea
de al menos 1/(2N
3
). Por consiguiente:
long(
i
, o) cN
4 1
2N
3

cr
2
4N
,
donde estamos suponiendo que N ha sido elegido sucientemente grande en
funci on de r
2
.
Una vez denidos los conjuntos
1
, . . . ,
2N
, nuestro prop osito es precisar
las 2N modicaciones que vamos a aplicar a la inmersi on X, para obtener la
inmersi on F
2N
:
X = F
0
F
1
. . . F
2N
.
Tras cada modicaci on obtenemos una inmersi on F
i
: D
R
3
. La inmersi on
obtenida en el ultimo paso, F
2N
ser a la inmersi on Y que demuestra el lema.
Nuestra intenci on es que en cada paso, para i = 1, . . . , 2N, la inmersi on F
i
sa-
tisfaga lo siguiente:
42
(E1
i
) F
i
(z) = Re
_
_
z
2/3
i
_
+ X(2/3), z D
, donde
i
=
i
dz, es una repre-
sentaci on de Weierstrass de tipo z
2
;
(E2
i
) |
i
(z)
i1
(z)|
1
N
2
, z T
i
;
(E3
i
) |F
i
(z) F
i1
(z)|
1
N
2
, z T
i
;
(E4
i
) |C(F
i
)|
4
N
;
(E5
i
) |
i
(z)| N
7/2
, z
i
;
(E6
i
) |
i
(z)|
1
N
, z
i
;
(E7
i
) dist
(S
2
,,))
(G
i
(z), G
i1
(z)) <
1
N
N
, z T
i
, donde , ) representa la
m etrica can onica de S
2
y G
i
es la aplicaci on de Gauss de la inmersi on F
i
;
(E8
i
) existen (
i
= e
i
1
, e
i
2
, e
i
3
3
y una constante r
5
> 0
que no depende de N, tales que:
(E8.1
i
) Si z
i
, entonces
|(F
i1
(z))
1,(
i
e
i
1
+ (F
i1
(z))
2,(
i
e
i
2
| <
r
5
N
;
(E8.2
i
) (F
i
(z))
3,(
i
= (F
i1
(z))
3,(
i
, z D
.
Seg un la propiedad (E1
i
), la representaci on de Weierstrass
i
ser a de tipo
z
2
, con lo que no existir an problemas de periodos, y por tanto, F
i
ser a una in-
mersi on minimal bien denida. Las propiedades (E2
i
) y (E3
i
), reejan el hecho,
ya comentado, de que la deformaci on que aplicamos a F
i1
para obtener F
i
casi
no act ua sobre T
i
; ya que tanto las representaciones de Weierstrass, como
las inmersiones son pr oximas (en funci on del natural N elegido). Recu erdese
que la norma de una representaci on de Weierstrass describe la m etrica induci-
da por la inmersi on (v ease la relaci on (1.12)). De esta manera, las propiedades
(E5
i
) y (E6
i
), junto a la ya comentada (E2
i
), proporcionan informaci on sobre la
m etrica o
F
i
sobre T en funci on de N. Pensando en N como un natural gran-
de; sobre T
i
, la m etrica o
F
i
es parecida a la m etrica o
F
i1
de la inmersi on
del paso anterior; sobre
i
, o
F
i
es grande; y sobre
i

i
, conocemos una cota
inferior de orden
1
N
.
La condici on (E8
i
) arma que existe una base ortonormal en el que las coor-
denadas primera y segunda de los puntos de F
i1
(
i
) son peque nas en funci on
de N. Adem as en este sistema de referencia, las inmersiones F
i
y F
i1
tienen
id enticas terceras coordenadas. Gracias a esto, podremos lograr, al nal del
43

OLICAS
proceso, la cota de la imagen de F
2N
que dese abamos.
Construyamos ahora una secuencia de inmersiones F
0
, F
1
, . . . , F
2N
que sa-
tisfaga las anteriores propiedades, y cuyo primer t ermino F
0
es la inmersi on X.
Supongamos que tenemos construidas F
0
, . . . , F
j1
para alg un j 1, . . . , 2N
1. Denamos F
j
. Para ello aplicaremos una trasformaci on de L opez-Ros a la
inmersi on F
j1
, usando un sistema de referencia y una funci on holomorfa h
j
,
determinados. N otese que para el caso j = 1, obtendremos F
1
a partir de
F
0
= X. La inmersi on F
0
solo satisface las propiedades (E1
0
) y (E4
0
), el resto no
tienen sentido; sin embargo, esto ser a suciente para construir F
1
.
La funci on holomorfa h
j
, que usaremos, ser a obtenida mediante el siguiente
resultado. Este es consecuencia casi directa del teorema de Runge, pero tiene
la cualidad particular de proporcionar funciones que dependen de z
2
.
PROPOSICI
ON 2.10: Sean E
1
y E
2
dos conjuntos compactos disjuntos de C tales
que:
1) E
i
= E
i
, para i = 1, 2;
2) C (E
1
E
2
) tiene dos componentes arco conexas, una que contiene al cero y otra
que es no acotada.
Entonces dado > 1, existe una funci on holomorfa h : C 0 C, vericando:
a) la funci on h es de la forma h(z) =
h(z
2
), z D
,
b) h(z) ,= 0, z C 0,
c) [h 1[ <
1
en E
1
,
d) [h [ <
1
en E
2
.
DEMOSTRACI
ON: En la demostraci on buscaremos h de la forma h(z) = e

(z
2
)
para cierta funci on holomorfa en C 0. De este modo, h vericar a a) y b)
autom aticamente. Para encontrar una funci on de tal suerte que h verique
las propiedades c) y d), procedemos como sigue. Sea E
2
i
= z
2
: z E
i
para
i = 1, 2. Los conjuntos E
2
1
y E
2
2
son compactos y disjuntos; adem as C (E
2
1
E
2
2
)
tiene dos componentes conexas: una que contiene al cero y otra no acotada.
Usando el teorema de Runge, teorema 1.15, para > 0, existe una funci on
holomorfa
: C 0 C (con un polo en cero) tal que:

[
[ < en E
2
1
;
[
a[ < en E
2
2
, donde a R tal que e
a
= .
Por ultimo, denimos h(z) = e
(z
2
)
para tomado sucientemente peque no
para que h verique c) y d).
44
En la siguiente proposici on, vamos a reparar en algunas propiedades de
la inmersi on F
j1
que se deducen de las propiedades (E1
i
), . . . ,(E8
i
), para i =
1, . . . , j 1; y que necesitaremos para construir la inmersi on F
j
. La condici on
(F5) nos indicar a el sistema de referencia que debemos usar en la transforma-
ci on de L opez-Ros que aplicaremos a F
j1
.
PROPOSICI
ON 2.11: Existen r
5
, . . . , r
9
constantes positivas que no dependen de N
tal que se satisfacen las siguientes propiedades:
(F1) |
j1
| < r
6
en T
j1
k=1

k
.
(F2) |
j1
| > r
7
en T
j1
k=1

k
.
(F3) El di ametro en R
3
de F
j1
(
i
j
) es menor que
r
8
N
.
(F4) El di ametro en S
2
, medido con la m etrica usual de S
2
, de G
j1
(
i
j
) es menor
que
r
9
N
.
(F5) Existe una base ortonormal de R
3
, (
j
= e
j
1
, e
j
2
, e
j
3
tal que se verica la propie-
dad (E8.1
j
) para cierto r
5
R
+
que no depende de N, y adem as:
min(e
3
, G
j1
(z)), (e
3
, G
j1
(z))
2
r
7
N
, z
j
, (2.8)
donde (a, b) [0, [ denota el angulo formado por a y b en R
3
.
DEMOSTRACI
ON: Para demostrar (F1) es suciente aplicar sucesivamente las

propiedades (E2
i
) para i = 1, . . . , j 1. Sea z T
j1
k=1

k
, entonces
|
j1
(z)| |
j1
(z)
0
(z)| +|
0
(z)|
|
j1
(z)
j2
(z)| + . . . +|
1
(z)
0
(z)| +|
0
(z)|
(j 1)
1
N
2
+sup
_
|
0
(w)| : w T
_
2
N
+sup
_
|
0
(w)| : w T
_
< r
6
,
donde r
6
= 1 + sup
_
|
0
(w)| : w T
_
, y hemos supuesto que N ha sido
elegido sucientemente grande.
La propiedad (F2) se obtiene de igual manera, si N es elegido suciente-
mente grande en funci on de |
0
|. Denamos r
7
=
1
2
inf
_
|
0
(w)| : w T
_
.
45

OLICAS
Sea z T
j1
k=1

k
; se tiene:
|
j1
(z)| |
0
(z)| |
j1
(z)
0
(z)|
inf
_
|
0
(w)| : w T
_
2
N
> r
7
.
La condici on (F3) se comprueba del siguiente modo. Sean a, b
i
j
arbitra-
rios. Por la propiedad (D2) de la proposici on 2.9, existe una curva : [0, 1]
i
j
con long(, , )) <
r
1
N
que une a con b. Para la curva F
j1
se tiene que:
long(F
j1
, , )) =
_
1
0
|(dF
j1
)
(t)
(
/
(t))|dt =
=
_
1
0
F
j1
((t))|
/
(t)|dt =
_
1
0
1
2
|
j1
||
/
(t)|dt <
por la propiedad (F1),
<
r
6
2
_
1
0
|
/
(t)|dt =
r
6
2
long(, , ))
r
6
2
r
1
N
de f
=
r
8
N
.
Esto concluye la prueba de (F3), ya que |F
j1
(a) F
j1
(b)| <
r
8
N
, a, b
i
j
.
Comprobemos la condici on (F4). Sea l 1, . . . , 2N. Consideremos a
/
, b
/

i
l
y una curva en las mismas condiciones que en la demostraci on de la con-
dici on (F3). Sea r
10
= max|(dG
0
)
z
(v)| : z T, |v| = 1. Para la curva
G
0
tenemos que:
long(G
0
, , )) =
_
1
0
|(dG
0
)
(t)
(
/
(t))|dt
_
1
0
r
10
|
/
(t)| r
10
long(, , )) r
10
r
1
N
.
Hasta ahora, solo hemos comprobado que el di ametro en S
2
de G
0
(
i
l
) es me-
nor que
r
10
r
1
N
para todo l = 1, . . . , 2N. Para acotar el di ametro en S
2
de G
j1
(
i
j
)
aplicaremos la propiedad (E7
k
) sucesivamente para k = 1, . . . , j 1:
dist
(S
2
,,))
(G
j1
(z), G
0
(z))
dist
(S
2
,,))
(G
j1
(z), G
j2
(z)) + . . . +dist
(S
2
,,))
(G
1
(z), G
0
(z)) <
<(j 1)
1
N
N

2
N
, z
i
j
.
Sean a, b
j
, entonces:
dist
(S
2
,,))
(G
j1
(a), G
j1
(b))
dist
(S
2
,,))
(G
j1
(a), G
0
(a)) + dist
(S
2
,,))
(G
0
(a), G
0
(b)) +
+dist
(S
2
,,))
(G
0
(b), G
j1
(b)) <
<
2
N
+
r
10
r
1
N
+
2
N

4+r
10
r
1
N
=
r
9
N
,
46
para r
9
= 4 + r
10
r
1
. Por consiguiente, se verica (F4).
Para (F5), comprobemos que podemos tomar una base ortonormal (
j
=
e
j
1
, e
j
2
, e
j
3
satisfaciendo (E8.1
j
) y (2.8). En ello solo intervendr a la tercera direc-
ci on e
j
3
.
Sea g
0
G
j1
(
1
j
) y
H = Cono
_
g
0
,
r
9
N
+
2
r
7
N
_
_
Cono
_
g
0
,
r
9
N
+
2
r
7
N
_
,
donde Cono(a, ) = p R
3
0 : (p, a) < , a R
3
, R
+
. Para
que se verique (2.8) es suciente tomar (
j
= e
j
1
, e
j
2
, e
j
3
tal que e
j
3
S
2
H.
Esto es una consecuencia de la propiedad (F4), que garantiza que G
j1
(
1
j
)
Cono(g
0
,
r
9
N
) (v ease la gura 2.6).
Figura 2.6: La propiedad (2.8).
Por otro lado, denimos r
11
= r
8
+(1 +r)(r
9
+
2
r
7
) y tomamos p
0
= F
j1
(z
0
),
para alg un z
0

1
j
.
Estudiemos los siguientes dos casos posibles:
Si
p
0
|p
0
|
, H, denimos (
j
tal que e
j
3
=
p
0
|p
0
|
. Entonces, gracias a (F3), se
tiene la propiedad (E8.1
j
) para z
1
j
:
|(F
j1
(z))
1
e
j
1
+ (F
j1
(z))
2
e
j
2
| |F
j1
(z) p
0
|
r
8
N
<
r
11
N
, z
1
j
.
47

OLICAS
En cambio, si
p
0
|p
0
|
H, deno (
j
tal que e
j
3
, H y |e
j
3

p
0
|p
0
|
|
r
9
N
+
2
r
7
N
, (en particular, podemos tomar e
j
3
H). De esta forma, tambi en se
tiene (E8.1
j
) para z
1
j
:
|(F
j1
(z))
1
e
j
1
+(F
j1
(z))
2
e
j
2
| |F
j1
(z)
_
|p
0
|e
j
3
_
|
|F
j1
(z) p
0
| +|p
0
|
_
_
_
_
e
j
3
p
0
|p
0
|
_
_
_
_
r
8
N
+|p
0
|
_
r
9
N
+
2
r
7
N
_
.
N otese que, por (E3
i
) para i = 1, . . . , j 1, se tiene |p
0
| = |F
j1
(z
0
)|
(j 1)
1
N
2
+|F
0
(z
0
)| < 1 + r, para N sucientemente grande. Luego:
|(F
j1
(z))
1
e
j
1
+(F
j1
(z))
2
e
j
2
| <
r
8
N
+(1 +r)
_
r
9
N
+
2
r
7
N
_
r
11
N
, z
1
j
.
V ease que, en ambos casos, s olamente hemos demostrado que es posible de-
nir (
j
para que se veriquen (E8.1
j
) y (2.8) para z
1
j
. Sin embargo, esto es
suciente, como vamos a comprobar. Consideremos z
2
j
. Obs ervese que
G
j1
(z) = G
j1
(z), debido a que
j1
es de tipo z
2
(y por tanto g
(
j1
,(
j
)
(z) =
g
(
j1
,(
j
)
(z)); y que |F
j1
(z) + F
j1
(z)|
4
N
, por (E4
j
). As, se verica, para
N sucientemente grande, que
|(F
j1
(z))
1
e
j
1
+ (F
j1
(z))
2
e
j
2
| <
r
11
N
+
4
N

r
11
+1
N
,
y
min(e
j
3
, G
j1
(z)), (e
j
3
, G
j1
(z))
2
r
7
N
.
Terminamos deniendo r
5
= r
11
+ 1. De esta manera la propiedad (F5) queda
demostrada para todo z
j
=
1
j

2
j
.
Finalmente, despu es de haber estudiado algunas de las propiedades de
F
j1
, vamos a denir la inmersi on F
j
. Para ello aplicamos una transformaci on
de L opez-Ros a la inmersi on F
j1
, en la manera que vamos a indicar.
Sea
j
> 0 escogido sucientemente grande en funci on de lo que diremos
despu es. Consideremos h
j
: D
C una funci on holomorfa, obtenida por la

proposici on 2.10, que verica:
h
j
es de la forma h
j
(z) =

h
j
(z
2
), z D
;
48
h
j
(z) ,= 0, z D
;
[h
j
(z) 1[ <
1
j
, z T
j
;
[h
j
(z)
j
[ <
1
j
, z
j
.
Consideremos la base (
j
= e
j
1
, e
j
2
, e
j
3
dada en la propiedad (F5), y sean (
(F
j1
,(
j
)
,
g
(F
j1
,(
j
)
) los datos de Weierstrass de la inmersi on F
j1
: D
R
3
en el siste-
ma de referencia (
j
. Por simplicidad, notaremos =
(F
j1
,(
j
)
, g = g
(F
j1
,(
j
)
, y
= f dz.
Denimos una nueva representaci on de Weierstrass
j
, por medio de una
transformaci on de L opez-Ros aplicada a los datos de Weierstrass (, g) en la
base (
j
, esto es
j
= (
j
1
,
j
2
,
j
3
, (
j
), para
j
1
=
1
2
(1 g
2
),
j
2
=
i
2
(1 + g
2
),
j
3
= g,
donde
= h
j
y g = g/h
j
.
Lo primero que podemos decir de
j
es que es de tipo z
2
; ya que tanto f , g
como h
j
son funciones de z
2
. Por ello, F
j
: D
R
3
dada por:
F
j
(z) = Re
_
z
2/3
j
+ X(2/3),
es una inmersi on minimal conforme bien denida sobre D
, ya que
j
1
,
j
2
,
j
3
son holomorfas y sin periodos sobre D
. Obs ervese que F

j
y F
j1
tendr an
terceras coordenadas iguales en (
j
.
Conrmemos que la inmersi on minimal F
j
, que acabamos de denir, satis-
face las propiedades (E1
j
), . . . , (E8
j
).
La propiedad (E1
j
) se satisface de manera directa, ya que
j
es de tipo z
2
.
Respecto a las propiedades (E2
j
), . . . ,(E7
j
), recu erdese que no dependen de
los representantes de
j
ni
j1
, como vimos en la secci on 1.2.2. En lo que
sigue, notaremos
j
=
j
dz y =

f dz.
La propiedad (E2
j
) se debe al modo en que fue escogida la funci on h
j
.
N otese que cuando
j
, h
j
converge uniformemente a la funci on constan-
te 1 en T
j
; y en consecuencia, como vimos en la secci on 1.2.2,
j
converge
49

OLICAS
uniformemente
1
a
j1
sobre T
j
cuando
j
. Luego si suponemos que
j
ha sido elegido sucientemente grande en funci on de N, concluimos:
|
j
(z)
j1
(z)|
1
N
2
, z T
j
.
La propiedad (E3
j
) se deduce tambi en del hecho de que
j

j1
. Sabemos,
(v ease (1.14) de la secci on 1.2.2) que si z T
j
, se tiene:
|F
j
(z) F
j1
(z)| 4 sup
pT
j
_
dist
(T
j
,,))
(2/3, p)
_
sup
T
j
|
j
j1
|.
Obs ervese que supdist
(T
j
,,))
(2/3, p) : p T
j
< , con lo cual F
j
converge uniformemente a F
j1
sobre T
j
cuando
j
. Esto implica que
(E3
j
) es cierto, si
j
es escogido sucientemente grande.
La propiedad (E4
j
) se demuestra usando las propiedades (E3
i
), i = 1, . . . , j,
y que C(F
0
) = 0. Sea z T
j
i=1
i
, entonces
|C(F
j
)| =|F
j
(z) + F
j
(z)|
|F
j
(z) F
0
(z)| +|F
0
(z) + F
0
(z)| +| F
0
(z) + F
j
(z)|
2j
1
N
2
+|C(F
0
)| <
4
N
+0.
La propiedad (E5
j
) es consecuencia de que h
j
es de m odulo grande en
j
.
Para demostrarlo, realizamos los siguientes c alculos, donde consideraremos
que
j
ha sido elegido sucientemente grande. Sea z
j
, entonces
|
j
(z)| =
1
2
_
[ f (z)h
j
(z)[ +
f (z)g
2
(z)
h
j
(z)
2
[ f (z)[[h
j
(z)[
2
(
j
1) sup[ f (w)[ : w T N
7/2
.
La propiedad (E6
j
) no puede probarse invocando de nuevo al comporta-
miento de la funci on h
j
, ya que sobre
j

j
no tenemos ning un control de h
j
.
En ultima instancia, esto es debido, (v ease la demostraci on de la proposici on
2.10), a que el teorema de Runge (que arma que se puede aproximar por fun-
ciones racionales cualquier funci on holomorfa denida en un entorno abierto
de un compacto) no proporciona ning un control de la funci on racional fuera
del compacto. La prueba de (E6
j
) se fundamenta en la condici on (2.8). De he-
cho, el motivo por el que pedamos que la elecci on del sistema de referencia
(
j
vericara (2.8) era justamente este: obtener una cota inferior adecuada de
|
j
|. Veamos que (2.8) proporciona una cota de [g[ sobre
j
, y que a su vez,
1
T engase en cuenta que
j
depende de la constante
j
.
50
esto dar a (E6
j
). Sea : S
2
C la proyecci on estereogr aca desde el polo
norte, para el sistema de referencia (
j
. Es conocido que g = G
j1
al consi-
derar el sistema de referencia (
j
. Por (2.8), se tiene que (v ease la gura 2.7) la
tercera coordenada de cualquier punto de G
j1
(
j
) es mayor que cos(
2
r
7
N
)
y menor que cos(
2
r
7
N
).
Figura 2.7: Cota de la coordenada tercera de G
j1
(z), para
z
j
.
N otese que la proyecci on estereogr aca lleva el conjunto:
S
2
_
a
1
e
j
1
+ a
2
e
j
2
+ a
3
e
j
3
R
3
: cos
_
2
r
7
N
_
< a
3
< cos
_
2
r
7
N
__
,
en la corona:
_
_
_
z C :
sen
_
2
r
7
N
_
1 cos
_
2
r
7
N
_ < [z[ <
sen
_
2
r
7
N
_
1 +cos
_
2
r
7
N
_
_
_
_
.
Por tanto, obtenemos la siguiente cota de [g[ sobre
j
:
sen
_
2
r
7
N
_
1 +cos
_
2
r
7
N
_ < [g(z)[ <
sen
_
2
r
7
N
_
1 cos
_
2
r
7
N
_, z
j
. (2.9)
Gracias a las precedentes relaciones, podemos acotar el m odulo de
j
en
j
de la siguiente manera. Obs ervese que x +
1
x
2, x > 0. Luego, si z
j
,
51

OLICAS
se tiene:
|
j
(z)| =
1
2
[ f (z)g(z)[
_
[h
j
(z)[
[g(z)[
+
[g(z)[
[h
j
(z)[
_
2
[ f (z)g(z)[ = 2|
j1
(z)|
[g(z)[
1 +[g(z)[
2
.
(2.10)
Teniendo en cuenta (2.9), y que
x
1+x
2
min1/2,
a
1+a
2
,
b
1+b
2
, x (a, b), con
0 < a < b, se sigue, para N elegido sucientemente grande, que:
[g(z)[
1 +[g(z)[
2
min
_
_
1
2
,
sen
_
2
r
7
N
_
1+cos
_
2
r
7
N
_
1 +
_
_
sen
_
2
r
7
N
_
1+cos
_
2
r
7
N
_
_
_
2
,
sen
_
2
r
7
N
_
1cos
_
2
r
7
N
_
1 +
_
_
sen
_
2
r
7
N
_
1cos
_
2
r
7
N
_
_
_
2
_
_
=
=
sen
_
2
r
7
N
_
2
.
Continuando con (2.10), gracias a (F2):
|
j
(z)| |
j1
(z)| sen
_
2
r
7
N
_
r
7
sen
_
2
r
7
N
_
,
y para N sucientemente grande, concluimos (E6
j
):
|
j
(z)|
1
N
, z
j
.
La propiedad (E7
j
), se fundamenta en que g = g
(F
j
,(
j
)
converge uniforme-
mente a g = g
(F
j1
,(
j
sobre T
j
cuando
j
; como indic abamos en la
secci on 1.2.2. Para verlo m as claramente, realicemos unos c alculos:
2 sen
_
dist
(S
2
,,))
(G
j
(z), G
j1
(z))
2
_
=
= |G
j
(z) G
j1
(z)|
R
3 < 2[ g(z) g(z)[, z T
j
.
Luego, si hemos elegido
j
sucientemente grande en funci on de N, se obtiene
la propiedad (E7
j
).
52
Por ultimo, la propiedad (E8
j
) es debida a la elecci on que hemos hecho de
la base ortonormal (
j
en (F5). La propiedad (E8.2
j
) se comprueba f acilmente,
ya que las terceras coordenadas de las representaciones de Weierstrass de las
inmersiones F
j
y F
j1
coinciden, al considerar el sistema de referencia (
j
, como
ya habamos indicado.
Llegados a este punto, podemos suponer construida la familia de inmer-
siones minimales y conformes Y = F
0
, . . . , F
2N
, vericando las propiedades
(E1
i
),. . . , (E8
i
), para i = 0, . . . , 2N.
En lo que sigue, nos encargaremos de estudiar la inmersi on F
2N
, que ser a,
salvo una traslaci on, la inmersi on que demuestre el lema 2.5.
La inmersi on F
2N
verica:
(G1) 2s < dist
(T,o
F
2N
)
(T
, T);
(G2) |F
2N
(z) X(z)|
2
N
, z T
2N
j=1

j
;
(G3) Existe un par poligonal (
P,

Q) tal que:
(G3.1) T

T

T T, donde

T = T(
P,

Q);
(G3.2) s < dist
(T,o
F
2N
)
(z, T
) < 2s, z
T;
(G3.3) F
2N
(
T) B
R/2
, donde R =
_
r
2
+ (2s)
2
+ .
Demostremos las anteriores propiedades:
La propiedad (G1) se debe al aumento que hemos realizado en la m etrica
o
F
2N
a lo largo de las 2N deformaciones, sobre los conjuntos
1
, . . . ,
2N
. Te-
niendo en mente la relaci on
F
2N
=
1
2
|
2N
|, este aumento se obtiene median-
te las propiedades (E5
i
). Tambi en es clave para demostrar esto, que o
F
2N
no es
demasiado peque na fuera de los conjuntos
1
, . . . ,
2N
. Para ello, las propieda-
des (E2
i
) y (E6
i
) proporcionar an un control esencial de o
F
2N
.
Veamos como acotar
F
2N
en T, a partir de las propiedades mencionadas.
Razonando de la misma manera en que se deduca la propiedad (F2), se tiene:
|
2N
(z)| r
7
, z T
2N
_
k=1
k
.
Para cada j 1, . . . , 2N, por (E5
j
) y (E2
i
), para i = j +1, . . . , 2N, se obtiene:
|
2N
(z)| |
j
(z)| |
2N
(z)
j
(z)| N
7/2
2
N
, z
j
;
53

OLICAS
y por (E6
j
) y (E2
i
), para i = j +1, . . . , 2N:
|
2N
(z)| |
j
(z)| |
2N
(z)
j
(z)|
1
N

2
N
, z
j
.
Teniendo en cuenta las anteriores desigualdades, para N sucientemente gran-
de, deducimos que:
F
2N
(z)
_
_
r
7
2

1
2
N
, si z T
2N
_
k=1
k
,
1
2
_
1
N

2
N
_
1
2
N
, si z
2N
_
k=1
k
,
1
2
_
N
7/2
2
N
_
1
2
N
N
4
, si z
2N
_
k=1
k
.
As, se tiene que
F
2N
(z)
_
_
1
2
N
, si z T,
1
2
N
N
4
, si z
N
.
Por una de las propiedades que posea nuestro laberinto
1
, . . . ,
2N
, (propie-
dad (D3) de la proposici on 2.9), obtenemos que
1
2
N
r
2
N
4
dist (T, o
F
2N
)(T
2/N
, T).
Luego, si N fue elegido sucientemente grande en funci on de s y r
2
, conclui-
mos que:
2s < dist (T, o
F
2N
)(T
2/N
, T) < dist
(T,o
F
2N
)
(T
, T).
Observese que T
T
2/N
.
La propiedad (G2) se obtiene aplicando sucesivamente la propiedad (E3
j
)
para j = 1, . . . , 2N.
Sigamos, deniendo un par poligonal (
P,

Q) que verique (G3). Para ello
ser a necesario el siguiente resultado topol ogico:
PROPOSICI
ON 2.12: Sea K C un compacto con 0 , K, tal que corta a toda curva

divergente que parte del origen. Entonces, si O es un abierto vericando que K O y
0 , O, existir a una poligonal P contenida en O.
54
DEMOSTRACI
ON: Sea O
/
un abierto acotado cuya frontera est a formada por un
n umero nito de curvas de Jordan, tal que K O
/
O
/
O. Por ejemplo,
podemos tomar O
/
como la uni on de los conjuntos pertenecientes a un recubri-
dor nito de K formado por discos cerrados contenidos en O. Por la propiedad
que satisface K para las curvas divergentes, es claro que C O
/
tiene al menos
dos componentes arco conexas: una exterior y otra conteniendo al origen. Por
esta raz on, alguna de las curvas de Jordan que constituyen la frontera exterior
de O
/
, contendr a en su interior al origen. Para terminar la demostraci on, toma-
mos P como una poligonal, sucientemente pr oxima a la anterior curva, para
que P O.
Veamos como utilizar el anterior resultado para construir (
P,

Q). Sean
O = z C Int P
: s < dist
(T,o
F
2N
)
(z, P
) < 2s,
K = z C Int P
: dist
(T,o
F
2N
)
(z, P
) =
3
2
s.
Por (G1), es claro que toda curva divergente que pase por P
debe cortar a
O. Luego, usando la proposici on 2.12 para K y O, existe una poligonal, que
llamaremos

P, contenida en O. Obs ervese que por (G1), sabemos que O
Int P Int P
, por lo que
Int P
Int

P Int

P Int P.
Por otro lado,

P tambi en verica:
s < dist
(T,o
F
2N
)
(z, P
) < 2s, z

P.
An alogamente, es posible denir

Q para que satisfaga:
s < dist
(T,o
F
2N
)
(z, Q
) < 2s, z

Q,
Int Q Int

Q Int

Q Int Q
.
El par poligonal (
P,

Q) denido de esta manera satisface (G3.1) y (G3.2). Para
terminar, comprobemos que tambi en verica (G3.3).
Reparemos en el hecho de que la funci on F
2N
es arm onica en cada una de
sus componentes. Por ello, gracias al Principio del M aximo, teorema 1.5, tan
solo es necesario comprobar que
|F
2N
(z)| R, z
T, (2.11)
para vericar la propiedad (G3.3). Sea p
T. Si p T
2N
k=1
k
, entonces por
la propiedad (G2), y considerando que N es sucientemente grande, se tiene
que:
|F
2N
(p)| |F
2N
(p) X(p)| +|X(p)|
2
N
+ r R /2.
55

OLICAS
Esto prueba justamente la desigualdad (2.11) para p T
2N
k=1
k
.
Sin embargo, si p
j
para alg un j 1, . . . , 2N, la demostraci on se
complica algo m as, siendo necesario contar con la propiedad (E8
j
). Esta pro-
piedad, en cierto sentido, nos proporciona cierto control de la direcci on del
vector F
j
(z) F
j1
(z) para z
j
, esto es, un control de la direcci on en que se
deforma F
j1
sobre
j
. Dicha direcci on ser a perpendicular a la tercera direc-
ci on e
j
3
del sistema de referencia (
j
.
Lo primero que haremos ser a estimar la distancia en R
3
entre F
2N
(p) y
F
2N
(p), donde p ser a un punto en el que casi no se ha deformado la inmersi on
X; es decir, p T
2N
i=1
j
. N otese que para p sabemos que |F
2N
(p) X(p)|
2
N
. Con este prop osito, tomamos una curva : [0, 1] T tal que (0) T
,
(1) = p, y long(, o
F
2N
) < 2s; esto es posible gracias a (G3.1). Denimos
t = sup
_
t [0, 1] : (t)
j
_
, p =
_
t
_
,
y sea
1
el trozo de que transcurre entre p y p.
Como consecuencia de long(
1
, o
F
2N
) < 2s, se tiene que
|F
2N
(p) F
2N
(p)| < 2s. (2.12)
Consideremos ahora el sistema de referencia (
j
= e
j
1
, e
j
2
, e
j
3
de la propie-
dad (E8
j
). Pretendemos acotar F
2N
(p) acotando cada una de sus dos siguientes
componentes:
(F
2N
(p))
3
e
j
3
,
y
(F
2N
(p))
= (F
2N
(p))
1
e
j
1
+ (F
2N
(p))
2
e
j
2
.
Como p
j
, obs ervese que la primera componente es pr oxima a (X(p))
3
, ya
que la deformaci on de F
j1
en
j
es en una direcci on perpendicular a e
j
3
, como
se deduce de (E8.2
j
) y (E3
i
) para i = 1, . . . , 2N. Comprob emoslo:
|(F
2N
(p))
3
e
j
3
| = |(F
2N
(p))
3
e
j
3
(F
j
(p))
3
e
j
3
| +
+|(F
j
(p))
3
e
j
3
(F
j1
(p))
3
e
j
3
| +|(F
j1
(p))
3
e
j
3
(F
0
(p))
3
e
j
3
| +
+|(F
0
(p))
3
e
j
3
|
2
N
+0 +
2
N
+ r =
4
N
+ r.
(2.13)
56
Por otro lado, para acotar la segunda componente, usaremos (2.12):
|(F
2N
(p))
|
|(F
2N
(p))
(F
2N
(p))
| +|(F
2N
(p))
(F
j1
(p))
| +|(F
j1
(p))
|
2s +
2
N
+|(F
j1
(p))
|.
Obs ervese que p
j
, y por tanto, en lo anterior se ha podido aplicar las
propiedades (E3
i
).
Ahora, usando las propiedad (E8.1
j
), se concluye que:
|(F
2N
(p))
| 2s +
2
N
+
r
5
N
. (2.14)
Finalmente, por (2.13), (2.14) y utilizando el teorema de Pit agoras, podemos
armar que:
|F
2N
(p)|
_
_
4
N
+ r
_
2
+
_
2s +
2
N
+
r
5
N
_
2
_
r
2
+ (2s)
2
+ /2 = R /2,
siempre que supongamos que N fue escogido sucientemente grande en fun-
ci on de r, s, y r
5
.
Llegado este punto, el lema 2.5 est a pr acticamente probado. La inmersi on
Y que lo demuestra es la inmersi on F
2N
, salvo una traslaci on. La inmersi on F
2N
y el par poligonal (
P,

Q) verica todas las tesis del lema, salvo la (B2). Esto es
as, si suponemos N elegido sucientemente grande (
2
N
< ), y considerando
las propiedades (G3.2), (G3.1), (G3.3) y (G2); que implican las propiedades (B3),
(B4), (B5) y (B6) del lema 2.5. Observemos que (B4) se deduce de (G3.1), ya que
T T, y por tanto
s < dist
(T,o
F
2N
)
(
T, T
) < dist
(
T,o
F
2N
)
(
T, T
).
La propiedad (B1) es directa a partir de la denici on de F
2N
. Sin embargo,
la propiedad (B2) es la unica que no satisface F
2N
. Por ello, denimos Y :
D
R
3
como Y(z) = F
2N
(z)
1
2
C(F
2N
), z D
. De esta forma, Y verica

claramente (B2); y hereda de F
2N
las propiedades (B1), (B3) y (B4), que no son
afectadas por translaciones de la inmersi on. Obs ervese que (B5) y (B6) tambi en
son satisfechas por Y, ya que si z

T se tiene:
|Y(z)| |F
2N
(z)| +
1
2
|C(F
2N
)|
57

OLICAS
por (G3.3) y (E4
2N
),
R

2
+
1
2
4
N
R,
para N sucientemente grande. Adem as, para (B6), si z T
,
|Y(z) X(z)| |F
2N
(z) X(z)| +
1
2
|C(F
2N
)|
2
N
+
1
2
4
N
< ,
para N sucientemente grande.
Con esto damos por terminada la prueba del lema 2.5, lo que supone que
la demostraci on del teorema 2.1 queda completada.
58
3
EXISTENCIA DE SUPERFICIES
MINIMALES HIPERB

OLICAS Y
PROPIAS EN R
3
Este captulo constituye, sin duda, la parte m as importante de la memoria,
pues demuestra que las supercies minimales hiperb olicas juegan un mayor
papel del que en principio se les crea reservado.
Como ya indicamos en la secci on 1.4, existe una serie de resultados, que
parecen indicar la anidad entre los conceptos de parabolicidad y estar pro-
piamente inmersa, en el ambiente de las supercies minimales. De hecho, es
conocida una conjetura al respecto, que arma:
CONJETURA 3.1 (Meeks, Sullivan [Mee]): Sea M una supercie de Riemann sin
frontera y con g enero nito, sobre la que existe : M R
3
una inmersi on minimal
conforme y propia en R
3
. Entonces M debe de ser recurrente.
Los ejemplos de supercies minimales que construiremos en este captulo cons-
tituyen un contraejemplo de la anterior conjetura. Concretando, demostrare-
59

OLICAS
mos el teorema siguiente:
TEOREMA 3.2 (Morales [Mo2], 2001): Existe : D R
3
una inmersi on mini-
mal conforme y propia.
La estructura conforme que estamos considerando en D es la usual para domi-
nios del plano; para la cual D es un dominio transitorio.
El esquema general de la demostraci on del teorema precedente es parecido
al del teorema 2.1; en el captulo 2, en el que se construa una corona minimal
completa y acotada. Una inmersi on que demostrar a el teorema, ser a obteni-
da como el lmite de una sucesi on de inmersiones minimales de supercies
con borde. El comportamiento de la sucesi on deber a garantizar principalmen-
te dos cosas: primero, que la sucesi on sea convergente; y segundo, que los
bordes de la supercies inmersas de la sucesi on diverjan en R
3
, de tal modo
que se asegure que la inmersi on lograda en el lmite sea propia. La sucesi on
de inmersiones ser a construida recurrentemente, mediante la obtenci on de un
t ermino de la sucesi on a partir del anterior. Esta parte es la m as profunda de
la argumentaci on que prueba el teorema 3.2; y se lleva a cabo por medio del
lema que enunciamos:
LEMA 3.3: Sea X : O R
3
una inmersi on minimal conforme denida sobre un
abierto simplemente conexo O, con X(0) = (0, 0, 0). Consideremos r, s > 0 tal que
s < r/100, y P una poligonal con Int P O, que satisface:
r < |X(z)| < r +
s
2
, z O Int P. (3.1)
Entonces, para todo b
1
, b
2
> 0, existe una poligonal Q, un abierto con Int Q ,
y una inmersi on minimal conforme Y : R
3
, con Y(0) = (0, 0, 0), que verica:
(H1) Int P Int Q Int Q O;
(H2) |Y(z) X(z)| < b
1
, z Int P;
(H3) [|Y(z)| (r + s)[ < b
2
, z Q;
(H4) |Y(z)| > r 3
sr > r/2, z Int Q Int P.

Aunque hemos armado que la estructura general de la demostraci on del teo-
rema 3.2 es parecida a la del teorema 2.1, no podemos decir que la prueba del
lema 3.3 sea an aloga a la del lema 2.5, que era usado en la construcci on de
coronas minimales completas y acotadas. Sin embargo, s es cierto que la he-
rramienta en que se basan las demostraciones de ambos lemas es la misma;
60
3. SUPERFICIES MINIMALES HIPERB
OLICAS Y PROPIAS
aunque usada de distinta manera. Dicha herramienta es la transformaci on de
L opez-Ros para inmersiones minimales. Volveremos, en este captulo, a com-
probar que es posible cierto control de la imagen de una inmersi on obtenida
por una transformaci on de L opez-Ros, si se hace una elecci on acertada del sis-
tema de referencia y de la funci on holomorfa asociada a la transformaci on.
El lema precedente, visto a grandes rasgos, lo que hace es proporcionar una
manera de deformar una inmersi on minimal X denida sobre un simplemente
conexo O de tal forma que:
La deformaci on, esencialmente, solo se realiza sobre un entorno de la
frontera del dominio de denici on, O Int P: l ease la propiedad (H2),
considerando un real b
1
pr oximo a cero.
La deformaci on hace crecer la norma de la inmersi on a lo largo de una
poligonal Q, contenida en el entorno O Int P, en funci on del par ametro
s: l eanse las propiedades (H3) y (H1), considerando un real b
2
pr oximo a
cero.
La norma de la inmersi on, obtenida al deformar, es controlada por una
cota inferior en Int Q Int P: lease la propiedad (H4). Obs ervese que esto
junto con la propiedad (H2) proporcionan una cota inferior de la norma
de la inmersi on en Int Q. La condici on (H4) ser a b asica en la obtenci on
de la propiedad de ser propia para la inmersi on del teorema.
En este captulo se demostrar an los anteriores resultados. La manera en
que se desarrollar a es la siguiente: en la secci on 3.1, demostraremos el teorema
3.2 suponiendo cierto el lema 3.3; y la prueba del lema 3.3 ser a relegada a la
secci on 3.2.
3.1 DEMOSTRACI

ON DEL TEOREMA
En esta secci on construiremos una sucesi on convergente de inmersiones
X
n
cuyo lmite ser a una inmersi on que, salvo una reparametrizaci on de su
dominio, ser a la inmersi on que demostrar a el teorema 3.2. Para ello, haremos
uso del lema 3.3. Consideremos, previamente, r
n
y
n
sendas sucesiones
de n umeros reales positivos: la primera denida como r
k
= r
k1
+ 2/k para
k > 1 y r
1
= 301, es una sucesi on divergente; y la segunda denida como en
(2.1), verica que 0 <
k
< 1 y
k=1

k
= 1/2.
Concretando, lo que queremos hacer es construir una sucesi on de inmer-
si on minimales y conformes X
n
: U
n
R
3
, con U
n
una sucesi on de abier-
tos del plano, y una sucesi on de poligonales P
n
; satisfaciendo lo siguiente
para n 2:
61

OLICAS
(I1
n
) Int P
n
U
n
;
(I2
n
) X
n
(0) = (0, 0, 0);
(I3
n
) Int P
n1
Int P
n
Int P
n
D
3
;
(I4
n
) [|X
n
(z)| r
n
[ <
1
2(n+1)
2
, z P
n
;
(I5
n
) |X
n
(z)|
r
n1
2

1
2n
, z Int P
n
Int P
n1
;
(I6
n
) |X
n
(z) X
n1
(z)| <
1
n
2
, z Int P
n1
;
(I7
n
)
X
n
(z)
n
X
n1
(z), z Int P
n1
.
Explicaremos brevemente cu al es la nalidad de cada una de estas condi-
ciones. Las propiedades (I6
i
) nos asegurar an que la sucesi on X
n
converge a
una inmersi on minimal denida sobre un dominio simplemente conexo, que
determinaremos por medio de las propiedades (I3
i
). Las propiedades (I5
i
) y
(I7
i
) tienen como prop osito garantizar algunas propiedades de la inmersi on
obtenida en el lmite. As, de las propiedades (I7
i
) se tendr a que la inmersi on
lmite no posee puntos de ramicaci on. En cambio, de las propiedades (I5
i
) se
deducir a que la inmersi on lmite es propia. Las propiedades (I4
i
) son necesa-
rias en la inducci on que realizaremos para construir la sucesi on X
n
, como
comprobaremos.
Ya sabemos cu ales son las propiedades que deseamos que tengan las suce-
siones X
n
y P
n
; ahora pasamos a denirlas. Lo haremos de manera recu-
rrente.
Para empezar, es necesario denir los primeros t erminos X
1
y P
1
. Tomemos
X
1
: U
1
R
3
, por ejemplo, como un trozo de plano: X
1
(u + iv) = r
1
(u, v, 0)
con U
1
= D
3
; y P
1
una poligonal contenida en U
1
tomada sucientemente
pr oxima a D para que satisfaga (I4
1
). Es evidente que las propiedades (I1
1
),
(I2
1
) y Int P
1
D
3
se verican. Obs ervese que no tienen sentido las propie-
dades (I5
1
) (I6
1
) (I7
1
) y parte de la (I3
1
); ya que involucran a los t erminos no
denidos X
0
y P
0
.
El siguiente paso en la recurrencia es denir los t erminos X
n
y P
n
suponien-
do que tenemos denidos X
n1
y P
n1
, vericando las propiedades (I1
n1
), . . . ,
(I7
n1
), (para el caso n = 2, solo las propiedades (I
n1
) que tengan sentido).
Para esto, necesitamos el lema 3.3. Sea
m
una sucesi on decreciente y con-
vergente a cero tal que
m
< 1/n
2
para todo m. Consideremos
X = X
n1
, P = P
n1
, r = r
n1
1
n
, s =
3
n
, b
1
=
m
, b
2
=
1
2(n+1)
2
,
y O un dominio simplemente conexo tomado para que Int P
n1
O D
3
y
62
OLICAS Y PROPIAS
verique (3.1). Esta elecci on de O es posible ya que, como consecuencia de
(I4
n1
), se tiene para z P
n1
que:
|X
n1
(z)| > r
n1
1
2n
2
> r
n1
1
n
= r,
y tambi en,
|X
n1
(z)| < r
n1
+
1
2n
2
< r
n1
1
n
+
3
2n
= r +
s
2
.
Luego para O tomado sucientemente pr oximo a Int P
n1
se verica (3.1). Por
otro lado, tambi en es cierto que s < r/100; v ease lo siguiente:
r
1
= 301
301
n
< r
n1

3
n
<
1
100
(r
n1
1
n
) s <
r
100
.
Queda claro entonces que los datos que hemos tomado verican lo necesario
para poder aplicar el lema 3.3.
Sean Y
m
:

U
m
R
3
,

U
m
y Q
m
la inmersi on minimal, el abierto y la poli-
gonal, respectivamente, que proporciona el lema al aplicarlo a los datos men-
cionados. Debido a la propiedad (H2) del lema, se tiene que Y
m
converge a
X
n1
uniformemente sobre Int P
n1
(recordemos que Int P
n1

U
m
, m). Esto
implica que
Y
m
m

X
n1
uniformemente en Int P
n1
. Teniendo en cuenta
lo anterior, existe m
0
N tal que:
Y
m
0
(z)
n
X
n1
(z), z Int P
n1
. (3.2)
Visto esto, denimos X
n
= Y
m
0
, U
n
=

U
m
0
y P
n
= Q
m
0
. Las propiedades (I1
n
) y
(I3
n
) se obtiene de (H1), y las (I4
n
), (I5
n
) y (I6
n
) de (H3), (H4) y (H2) respectiva-
mente. La propiedad (I2
n
) claramente se tiene al haber obtenido X
n
mediante
el lema 3.3, y la propiedad (I7
n
) se sigue de haber tomado m
0
vericando (3.2).
Con esto quedan denidos los t erminos X
n
: U
n
R
3
y P
n
vericando
(I1
n
), . . . ,(I7
n
); y podemos dar por terminado el proceso recurrente de deni-
ci on de X
i
y P
i
.
El siguiente paso es denir el conjunto A C donde estar a denida la
inmersi on que demostrar a el teorema. Sea
A =
_
nN
Int P
n
.
El conjunto A es abierto y simplemente conexo; ya que es el lmite de una su-
cesi on creciente de conjuntos abiertos simplemente conexos, (v ease el teorema
2.6). Adem as A ,= C, ya que Int P
n
D
3
para todo n.
La sucesi on de inmersiones X
n
es uniformemente de Cauchy sobre los
conjuntos compactos de A. Esto se razona exactamente igual que hacamos en
la secci on 2.1 p agina 32: se obtiene gracias a las propiedades (I6
n
). Entonces,
63

OLICAS
por el teorema de Harnack, X
n
converge uniformemente sobre los compac-
tos de A a una aplicaci on arm onica : A R
3
.
Finalmente, veamos que es una inmersi on minimal que verica las pro-
piedades siguientes:
es una inmersi on conforme.
Esto es consecuencia del hecho de que es el lmite de una sucesi on de
inmersiones conformes X
n
. La inmersi on no tiene puntos de rami-
caci on gracias a las propiedades (I7
n
). Esto se demuestra exactamente
igual a como hicimos en la secci on 2.1, p agina 33.
Claramente la inmersi on conforme es minimal, ya que sus coordenadas
son arm onicas.
: A R
3
es propia en R
3
.
Esto es debido a las propiedades (I5
n
). Ve amoslo. Sea B un compacto de
R
3
; deberemos vericar que
1
(B) es compacto. Consideremos n
0
tal
que para todo k > n
0
, tenemos:
|p| <
r
k1
2

1
2k
2, p B. (3.3)
Por (I5
n
) y (I6
n
), para z Int P
k
Int P
k1
podemos estimar lo siguiente:
|(z)| |X
k
(z)| |X
k
(z) (z)|
r
k1
2

1
2k
|X
k
(z) (z)| >
r
k1
2

1
2k
2. (3.4)
Razonando con (3.3) y (3.4), concluimos que
1
(B) (Int P
k
Int P
k1
) = , k > n
0
.
Por tanto
1
(B) Int P
n
0
A, y esto implica que
1
(B) es compacto.
De este modo, : A R
3
es una sucesi on minimal, conforme y propia,
que est a denida sobre A. El dominio A es un abierto simplemente conexo
distinto de C, con lo cual es biholomorfo a D.
La inmersi on es la inmersi on que demuestra el teorema 3.2, salvo una
reparametrizaci on del dominio. As, si : D A es un biholomorsmo,
( ) : D R
3
es una inmersi on minimal conforme y propia, denida sobre
D. Obs ervese que ( ) es propia ya que lleva compactos en compactos.
Por tanto, la inmersi on ( ) demuestra el teorema 3.2. Con esto damos
por terminada esta secci on.
64
OLICAS Y PROPIAS
3.2 DEMOSTRACI

ON DEL LEMA
En esta secci on demostraremos el lema 3.3. Como ya se ha dicho, este lema
constituye la parte primordial de la demostraci on del teorema.
La construcci on de una corona minimal completa y acotada, que trat abamos
en el captulo 2, tambi en estaba basada en un lema previo: lema 2.5. En su de-
mostraci on aplic abamos sucesivamente transformaciones de L opez-Ros con el
objetivo de aumentar la m etrica asociada a la inmersi on en ciertos conjuntos,
al mismo tiempo que se mantena determinado control sobre la imagen de la
inmersi on. Sin embargo, en la demostraci on del lema 3.3, que vamos a iniciar,
nos interesar an deformaciones que aumenten la norma de la inmersi on, m as
que aquellas que aumentan la m etrica asociada. Para ello, la transformaci on
de L opez-Ros sigue siendo util, como comprobaremos.
La demostraci on del lema consistir a en tomar la inmersi on X y deformarla
sucesivamente, con la intenci on de incrementar su norma alrededor del borde,
y al mismo tiempo controlar la norma en el resto del dominio de denici on.
Cada una de las deformaciones que aplicaremos ser a una transformaci on de
L opez-Ros, que actuar a principalmente sobre un peque no conjunto fuera de
Int P, no deformando apenas la inmersi on en el resto del dominio de deni-
ci on. Al igual que en la construcci on del captulo 2, la clave del control de la
inmersiones que obtenemos en cada deformaci on, estar a en la elecci on acerta-
da del sistema de referencia y la funci on holomorfa que usaremos al transfor-
mar mediante L opez-Ros.
Tras la aplicaci on sucesiva de un n umero nito de transformaciones de
L opez-Ros, se obtendr a una inmersi on Y, denida en un entorno de Int P, y
pr oxima a X en Int P (propiedad (H2)). Adem as se habr a aumentado la norma
de la inmersi on a lo largo de una poligonal cercana al borde de Int P, de tal
forma que se vericar a (H3). Las transformaciones se realizar an de tal manera
que la norma de Y estar a acotada inferiormente como indica (H4). Resumien-
do, no solamente se aumentar a la norma de Y a lo largo de una poligonal Q,
sino que tambi en se obtendr a cierta cota inferior de |Y| fuera de Int P. La
inmersi on Y, que as construiremos, ser a la que demuestra el lema 3.3.
El anterior plan de demostraci on ser a llevado a cabo en dos etapas. La pri-
mera de ellas consistir a en un proceso recurrente cuyo n ser a deformar X para
obtener una inmersi on X
n
denida sobre un conjunto simplemente conexo
que contiene a Int P y tal que:
La nueva inmersi on X
n
es pr oxima a X en Int P en funci on de b
1
.
La norma de X
n
es mayor que r + s a lo largo de una familia de puntos
a
1
, . . . , a
n
que est an sobre el borde de . Esto supone un paso previo en
la consecuci on de la propiedad (H3).
65

OLICAS
Adem as de estas dos propiedades, la inmersi on X
n
vericar a otras propieda-
des que ser an necesarias en la etapa siguiente. Este primer proceso ser a abor-
dado en la secci on 3.2.1.
En la segunda etapa, modicando X
n
obtenemos una inmersi on Y deni-
da sobre , que prueba el lema 3.3. As, la inmersi on X
n
es deformada en
un proceso recurrente, que tiene la nalidad de incrementar la norma de X
n
a lo largo de las n curvas de que unen los puntos a
1
, . . . , a
n
. Como con-
secuencia, Y satisfacer a (H3) para una poligonal Q cercana a . Adem as, la
inmersi on Y ser a pr oxima a X
n
en Int P, y por tanto Y y X ser an pr oximas en
Int P, (propiedad (H2)). El segundo proceso ser a explicado en la secci on 3.2.2.
En ambos procesos, ejerceremos un control sobre la norma de la inmersi on
que se obtiene al deformar, para que (H4) se verique. Este control es debido
a la elecci on que haremos, en cada deformaci on, del sistema de referencia y la
funci on holomorfa que aplicaremos en la transformaci on de L opez-Ros.
3.2.1 El Primer Proceso
Antes que nada, vamos a comentar las lneas generales de este primer pro-
ceso. Su principal objetivo ser a deformar la inmersi on X, a lo largo de una serie
de puntos a
1
, . . . , a
n
, para obtener una inmersi on X
n
tal que |X
n
| sea mayor
que r + s sobre dichos puntos. Para ello deniremos otra secuencia nita de
puntos p
1
, . . . , p
n
, contenidos en O Int P, alrededor de la poligonal P. Ser a
necesario tomar tales puntos bastante pr oximos los unos de los otros, para as
poder suponer que, tanto X, como su representaci on de Weierstrass son casi
constantes sobre un entorno conexo de p
i
y p
i+1
para cada i = 1, . . . , n, donde
p
n+1
= p
1
. Con la intenci on de obtener los puntos a
1
, . . . , a
n
, que veriquen lo
ya comentado, modicaremos la representaci on de Weierstrass
0
de la inmer-
si on X, sucesivamente, produciendo una secuencia de n ternas de 1-formas:
0

1
. . .
n
.
Aunque los elementos
j
veriquen (1.2), no ser an representaciones de Weierstrass,
seg un hemos denido; ya que poseer an una cantidad nita de polos y, posiblemente,
tambien de ceros en O. Por un polo, entendemos un punto sobre el que alguna
de las tres 1-formas de
j
posee un polo; y por un cero, entendemos un punto
sobre el que se anulan simult aneamente las tres 1-formas, es decir que no se
verica (1.3). Cada
j
ser a una representaci on de Weierstrass sobre O salvo en
una cantidad nita de ceros y polos. Sin embargo, por simplicidad de nomen-
clatura seguiremos reri endonos a
j
como una representaci on de Weierstrass
sobre O, aunque posea polos y ceros.
En cada paso, aplicaremos a
i1
una transformaci on de L opez-Ros que
esencialmente, solo actuar a sobre un peque no disco D(p
i
, ) centrado en p
i
y con > 0, denido como veremos a continuaci on. Obtendremos
i
una
66
OLICAS Y PROPIAS
representaci on de Weierstrass con un nuevo polo en p
i
y pr oxima a
i1
fuera
de unos peque nos entornos de p
1
, . . . , p
i
. Obs ervese que
i1
tendr a polos
sobre p
1
, . . . , p
i1
.
Una vez que tengamos la representaci on de Weierstrass
n
, deniremos
un dominio simplemente conexo , que contenga a Int P, pero no a ning un
polo ni cero de las representaciones
1
, . . . ,
n
. Por esta raz on, X
i
(z) =
_
z
0

i
estar a bien denido sobre , para todo i = 1, . . . , n. Como
n
tiene un polo
en cada punto p
i
para i = 1, . . . , n, ser a posible tomar a
i
pr oximo a p
i
tal que
la norma de X
n
(a
i
) sea mayor que r + s. Obs ervese adem as, que debido a la
proximidad de las representaciones de Weierstrass, las inmersiones X
i
y X
i1
ser an pr oximas en D(p
i
, ); y en consecuencia X
n
y X ser an pr oximas en
Int P (
n
k=1
D(p
k
, )).
A lo largo de las anteriores transformaciones, ejerceremos cierto control
sobre
i
en el segmento p
i
a
i
. Nuestra intenci on es que la deformaci on que
realizamos sobre p
i
a
i
sea parecida a la que hicimos en el paso anterior sobre
p
i1
a
i1
, para as obtener que X
n
(a
i1
) y X
n
(a
i
) sean pr oximos. Esto es crucial
para el desarrollo del segundo proceso, como explicaremos en la secci on 3.2.2.
Hasta aqu, nos hemos limitado a exponer las ideas generales de la argu-
mentaci on que vamos a seguir. Continuamos con la realizaci on detallada del
esquema esbozado. El primer paso ser a denir los puntos p
1
, . . . , p
n
, y al-
gunas constantes que intervendr an en la demostraci on. Las primeras de esas
constantes son:
> 1 escogido sucientemente cercano a 1 para que verique
3
< 2
(3.5)
(r + s) 2
3
_
4
(r + s)
2
r
2
> r 2
_
(r + s)
2
r
2
;
s
/
= +
_
4
(r + s)
2
r
2
;

0
con 1 >
0
> 0 tomado sucientemente peque no para que se veri-
quen ciertas desigualdades que aparecer an a lo largo de esta demostra-
ci on. Tan solo las constantes r, s, b
1
, y s
/
estar an involucradas en dichas
desigualdades, con lo que la elecci on de
0
unicamente depender a de
ellas.
Ahora pasamos a tomar los puntos p
i
mencionados. Para ello ser a necesario
considerar la siguiente armaci on:
67

OLICAS
AFIRMACI
ON 3.4: Existen, un abierto simplemente conexo W, con Int P W

W O, y una aplicaci on continua S denida sobre W Int P, que asigna a cada
z W Int P una base ortonormal en R
3
, S(z) = e
1
(z), e
2
(z), e
3
(z) donde e
3
(z) =
X(z)
|X(z)|
.
DEMOSTRACI
ON: Por (3.1), z

X(z)
|X(z)|
es una aplicaci on bien denida y dife-
renciable de O Int P en S
2
. Como P tiene medida nula, entonces X(z)/|X(z)| :
z P S
2
p
0
para cierto p
0
S
2
. Tomemos W sucientemente peque no,
pero que contenga a Int P, para que
_
X(z)
|X(z)|
: z W Int P
_
S
2
p
0
.
Sea : S
2
p
0
C la proyecci on estereogr aca, y u
1
, u
2
sendos campos de
vectores constantes sobre C, ortogonales y no nulos. Por ser una aplicaci on
conforme, V
1
= (
1
)
(u
1
) y V
2
= (
1
)
(u
2
) denir an sobre S
2
p
0
dos
campos tangentes ortogonales y no nulos. Luego, una aplicaci on S sobre W
Int P que verique la armaci on, puede ser denida como:
e
1
(z) =
V
1
_
X(z)
|X(z)|
_
_
_
_V
1
_
X(z)
|X(z)|
__
_
_
, e
2
(z) =
V
2
_
X(z)
|X(z)|
_
_
_
_V
2
_
X(z)
|X(z)|
__
_
_
, e
3
(z) =
X(z)
|X(z)|
.
Los puntos p
1
, . . . , p
n
ser an tomados en W Int P para que veriquen lo
siguiente (convendremos que p
n+1
= p
1
):
(1) los segmentos p
1
p
2
, . . . , p
n1
p
n
, p
n
p
n+1
forman una poligonal que llama-
remos

P tal que

P W Int P;
(2) para i 1, . . . , n, existe un disco B
i
W Int P con p
i
, p
i+1
B
i
, su-
cientemente peque no para que X sea una aplicaci on casi constante, esto
es
|X(z) X(w)| <
0
, z, w B
i
; (3.6)
(3) para i 1, . . . , n, los sistemas de referencia S(p
i
) y S(p
i+1
) son pr oximos,
es decir:
_
_
_e
i
j
e
i+1
j
_
_
_ <
0
, j 1, 2, 3, (3.7)
donde notamos e
i
j
= e
j
(p
i
);
68
OLICAS Y PROPIAS
Figura 3.1: Distribuci on de los puntos p
i
.
(4) para cada i = 1, . . . , n, se tiene
f
(X,S(p
i
))
(p
i
) ,= 0. (3.8)
N otese que es posible realizar una elecci on de los puntos p
1
, . . . , p
n
, para
que veriquen las propiedades que acabamos de enumerar. Observemos que
para satisfacer (1), (2) y (3) tan solo debemos tomar una cantidad grande de
puntos p
i
, colocados sucientemente pr oximos los unos de los otros. De este
modo, las propiedades (2) y (3) se deber an a la continuidad uniforme de X y
S, respectivamente.
Para la propiedad (4) basta con comprobar que el conjunto z W Int P :
f
(X,S(z))
(z) ,= 0 es denso en W Int P. Supongamos que no fuese cierto, y que
la igualdad f
(X,S(z))
(z) = 0 es cierta en un abierto O. Este hecho se traduce
en que X(z) tiene la misma direcci on que la aplicaci on de Gauss en z, G(z).
Para ver esto, obs ervese que g
(X,S(z))
(z) = y que el tercer vector de la base
ortonormal S(z) apunta justamente en la direcci on de X(z). Por tanto X(z) =
|X(z)|G(z), z O; de donde se deduce que X(O) es un trozo de la esfera.
Esto ultimo, proporciona una contradicci on con el hecho de que la curvatura
media de X es cero. As, armamos que f
(X,S(z))
(z) = 0 no puede vericarse
en todo el abierto O; por lo cual, el anterior conjunto es denso en W Int P.
Luego, damos por comprobado que es posible tomar p
1
, . . . , p
n
vericando
las propiedades enumeradas. Ahora, el siguiente paso consiste en tomar n
69

OLICAS
n umeros complejos
1
, . . . ,
n
, con [
i
[ = 1 y Im
i
,= 0, satisfaciendo:
i
f
(X,S(p
i
))
(p
i
)
[ f
(X,S(p
i
))
(p
i
)[
=
i+1
f
(X,S(p
i+1
))
(p
i+1
)
[ f
(X,S(p
i+1
))
(p
i+1
)[
, i = 1, . . . , n. (3.9)
Esto, no es m as que decir, que dada una secuencia de n vectores del plano
f
(X,S(p
i
))
(p
i
), i = 1, . . . , n no nulos, es posible girar cada uno de ellos un angulo
i
(distinto de 0 y ) para que dos vectores consecutivos tengan direcciones
iguales. Por ejemplo, tomemos cada
i
, 1, 1 vericando
i
f
(X,S(p
i
))
(p
i
)
[ f
(X,S(p
i
))
(p
i
)[
= z
0
,
donde [z
0
[ = 1 verica z
0
,
f
(X,S(p
i
))
(p
i
)
| f
(X,S(p
i
))
(p
i
)|
: i = 1, . . . , n. Esto es sucien-
te para garantizar la condici on (3.9). Los giros
1
, . . . ,
n
ser an usados para
controlar sobre los discos D(p
i
, ) (que ser an denidos a continuaci on) las de-
formaciones realizadas a las ternas de formas
0
, . . . ,
n
que construiremos.
Es necesario para el desarrollo posterior de la prueba, que el lector se d e
cuenta del hecho de que las propiedades (3.6), (3.7) y (3.9) tienen un car acter
cclico, es decir, son ciertas para i = n al considerar p
n+1
= p
1
.
Este es el momento de denir la constante , de la que ya hemos habla-
do. Esta representa el radio de una familia de discos centrados en p
i
, D(p
i
, ).
Dichos discos delimitar an los entornos de p
1
, . . . , p
n
sobre los que vamos a
deformar la representaci on de Weierstrass de X, en el primer proceso; fuera
de estos discos la representaci on apenas va a sufrir cambios. El n umero real
debe elegirse tal que 0 < <
2
0
y sucientemente peque no para que verique
la siguiente lista de propiedades, (v ease la gura 3.1):
(J1) Int

P
n
k=1
D(p
k
, ) es un conjunto simplemente conexo;
(J2) D(p
i
, ) D(p
i+1
, ) B
i
, i = 1, . . . , n;
(J3) D(p
i
, ) D(p
k
, ) = , i = 1, . . . , n, y k ,= i;
(J4)

max
D(p
i
,)
[ f
(X,S(p
i
))
[ < 1, i = 1, . . . , n;
(J5)

max
D(p
i
,)
[ f
(X,S(p
i
))
g
2
(X,S(p
i
))
[
[ Im
i
[
< 1, i = 1, . . . , n;
(J6)

max
D(p
i
,)
|
0
| < 1, i = 1, . . . , n.
La propiedad (J1) nos dice que la topologa de Int

P no se complica al quitar
los n discos D(p
i
, ). Si notamos por c al conjunto Int

P
n
k=1
D(p
k
, ), deni-
mos la constante l como:
l = sup
zc
_
dist
(c,,))
(0, z)
_
+2 + +1. (3.10)
70
OLICAS Y PROPIAS
Hasta ahora, unicamente hemos denido una serie de constantes, y unos
puntos p
1
, . . . , p
n
. Es conveniente observar la dependencia existente entre las
distintas deniciones. En particular, v ease que
0
depende solo de , s
/
, r, s y
b
1
; y solo de
1
, . . . ,
n
y
0
.
Una vez realizadas las deniciones precedentes, podemos precisar la ma-
nera en que modicaremos la representaci on de Weierstrass de X,
0
, con la in-
tenci on de obtener la representaci on de Weierstrass
n
con polos en p
1
, . . . , p
n
,
que habamos anunciado. Para ello, construiremos recurrentemente una fami-
lia de n elementos
1
, . . . ,
n
donde cada uno
i
=
i
, k
i
, a
i
, C
i
, G
i
, D
i
est a
constituido por:
k
i
una constante positiva;

i
una representaci on de Weierstrass denida sobre un entorno abierto de
W tal que los puntos p
1
, . . . , p
i
son polos de
i
; y los puntos w
1
, . . . , w
i
,
denidos por w
j
= p
j
k
j
j
, son polos o ceros de
i
. Notaremos
i
=
i
dz
donde
i
: W C
3
;
a
i
un punto sobre el segmento p
i
q
i
, donde q
i
= p
i
+ D(p
i
, );
C
i
un arco abierto de la circunferencia centrada en p
i
tal que a
i
C
i
;
G
i
un sector anular cerrado bordeado por: C
i
, un trozo de D(p
i
, ) y dos
radios de circunferencia (tal y como la gura 3.2 indica);
D
i
un abierto simplemente conexo de C vericando D
i
G
i
= y
p
i
, w
i
D
i
D
i
D(p
i
, ).
Figura 3.2: El disco D(p
i
, ).
71

OLICAS
NOTACI
ON 3.5: En lo que resta, seguiremos la convenci on de que

n+1
def
=
1
. Por
tanto
n+1
=
1
, k
n+1
= k
1
, . . . y adem as p
n+1
= p
1
, q
n+1
= q
1
, . . .
La familia
1
, . . . ,
n
ser a construida para que satisfaga las propiedades
que enunciaremos de seguido. En ellas, consideraremos los representantes
i
= (
i
1
dz,
i
2
dz,
i
3
dz, S(p
i
)) y
i1
= (
i1
1
dz,
i1
2
dz,
i1
3
dz, S(p
i
)) para la
base S(p
i
) = e
i
1
, e
i
2
, e
i
3
, que denamos en la p agina 67.
(L1
i
)

max
D(p
k
,)
[ f
(
i
,S(p
k
))
[ < 1, k = i +1, . . . , n;
(L2
i
)

max
D(p
k
,)
[ f
(
i
,S(p
k
))
g
2
(
i
,S(p
k
))
[
[ Im
k
[
< 1, k = i +1, . . . , n;
(L3
i
) 2
2
s
/
[ f
(
i
,S(p
k
))
(p
k
)f
(
0
,S(p
k
))
(p
k
)[
[ f
(
0
,S(p
k
))
(p
k
)[
<
0
, k = i +1, . . . , n;
(L4
i
) | Re
_
i
| <
0
, z C
i
, donde
z
es un trozo del arco C
i
uniendo a
i
con z;
(L5
i
) Se tiene que
i
3,S(p
i
)
=
i1
3,S(p
i
)
;
(L6
i
) |
i
(z)
i1
(z)| <

0
4nl
, z W (D(p
i
, ) (
i1
k=1
D
k
));
(L7
i
) Se verica que
_
_
_
_
_
_
Re
_
q
i
a
i
i
1,S(p
i
)
_
e
i
1
+
_
Re
_
q
i
a
i
i
2,S(p
i
)
_
e
i
2
_
_
_
_
_
> s
/
;
(L8
i
) Tenemos que
_
_
_
_
_
_
Re
_
q
i
z
i
1,S(p
i
)
_
e
i
1
+
_
Re
_
q
i
z
i
2,S(p
i
)
_
e
i
2
_
_
_
_
_
<
3
s
/
, z G
i
;
(L9
i
) | Re
_
q
i
a
i
i
Re
_
q
i1
a
i1
i1
| <
0
(2
2
s
/
+ 12), (solo para i = 2, . . . , n +
1).
Todas las anteriores propiedades son ciertas para i = 1, . . . , n, excepto las pro-
piedades (L1
i
), (L2
i
) y (L3
i
) que solo se verican para i = 1, . . . , n 1. Igual-
mente, la propiedad (L9
i
) es v alida s olamente para i = 2, . . . , n +1 (t engase en
cuenta lo convenido en la notaci on 3.5).
El prop osito de las propiedades es describir el comportamiento de
i
sobre
W, estudiando cada una de sus 3 coordenadas en el sistema de referencia S(p
i
).
72
OLICAS Y PROPIAS
La tercera coordenada es descrita completamente por la propiedad (L5
i
), que
nos dice que es igual a la de
i1
. Por otro lado, (L6
i
) arma que
i
es parecida
a
i1
fuera de los entornos D
1
, . . . , D
i1
de p
1
, . . . , p
i1
, respectivamente, y
del disco D(p
i
, ). Seg un veremos, no nos ser a necesario controlar
i
en los
conjuntos D
1
, . . . , D
i1
, por lo que el resto de propiedades se centrar an en la
descripci on de
i
sobre D(p
i
, ). Las dos primeras propiedades (L1
i
) y (L2
i
)
son una generalizaci on a
i
de las propiedades (J4) y (J5) de
0
. Ambas junto
con (L3
i
) son propiedades de car acter m as t ecnico, que ser an arrastradas a lo
largo del proceso recurrente de denici on de
1
, . . . ,
n
. En particular, tan so-
lo nos interesar a controlar
i
en el subconjunto G
i
del disco D(p
i
, ), en vez de
en todo D(p
i
, ). Estudiaremos la funci on z Re
_
q
i
z
i
, para z G
i
, que es
la expresi on de una inmersi on minimal sobre G
i
con representaci on de Weiers-
trass
i
sin polos ni ceros en G
i
. La curva plana formada por las dos primeras
coordenadas en S(p
i
) de la anterior inmersi on para z q
i
a
i
se comporta de
manera parecida a un segmento recto. La longitud del segmento es mayor que
s
/
como indica (L7
i
). Esta propiedad est a encaminada a obtener que la norma
de la inmersi on X
n
, que construiremos a partir de
n
, es mayor que r + s sobre
a
i
. Adem as la propiedad (L9
i
) nos dice que la manera en que hemos deforma-
do
i1
para obtener
i
sobre q
i
a
i
tiene efecto parecido a la deformaci on del
paso anterior sobre q
i1
a
i1
, en la que se consegua
i1
a partir de
i2
. Por
ultimo, la inmersi on z Re
_
q
i
z
i
sobre G
i
se comporta de manera parecida
a como lo hace sobre el segmento q
i
a
i
. En esta lnea va la propiedad (L4
i
) que
arma que la inmersi on es casi constante, en funci on de
0
, sobre el arco C
i
.
La propiedad (L8
i
) nos da una cota superior de la norma de las dos primeras
coordenadas de la inmersi on anterior en G
i
.
A continuaci on, denimos
1
, . . . ,
n
recurrentemente. Sea
0
=
0
dz, la
representaci on de Weierstrass de la inmersi on X
0
= X. Notemos
0
=
0
.
Supongamos que tenemos denido
i1
para cierto i 1, . . . , n, verican-
do las propiedades (L1
i1
), . . . ,(L9
i1
) que correspondan. Construiremos
i
a
partir de
i1
.
El primer paso, (para i = 1), es un poco especial. La construcci on del caso
general, de
i
a partir de
i1
, para i 2, . . . , n, es v alida tambi en para
construir
1
a partir de
0
. Tan solo debemos tener en cuenta que
0
=
0
satisface las propiedades (L1

0
), (L2
0
), como consecuencia de (J4) y (J5), res-
pectivamente; y (L3
0
) trivialmente.

Unicamente estas tres propiedades ser an
necesarias para construir
1
. Es m as, en general, para construir
i
a partir de
i1
solo es necesario utilizar (L1
i1
), (L2
i1
) y (L3
i1
).
Aclarado esto, denamos ya
i
=
i
, k
i
, a
i
, C
i
, G
i
, D
i
. Lo primero de to-
do es denir
i
como la representaci on de Weierstrass obtenida al aplicar una
transformaci on de L opez-Ros a
i1
, considerando el sistema de referencia
73

OLICAS
S(p
i
) y la funci on meromorfa:
h
i
(z) =
k
i
i
z p
i
+1,
donde k
i
es un real positivo que especicaremos m as adelante. Esto quiere
decir que:
i
1
=
1
2
_
(
i
,S(p
i
))
(
i
,S(p
i
))
g
2
(
i
,S(p
i
))
_
, (3.11)
i
2
=
i
2
_
(
i
,S(p
i
))
+
(
i
,S(p
i
))
g
2
(
i
,S(p
i
))
_
, (3.12)
i
3
=
(
i
,S(p
i
))
g
(
i
,S(p
i
))
, (3.13)
para,
(
i
,S(p
i
))
=
(
i1
,S(p
i
))
h
i
, g
(
i
,S(p
i
))
=
g
(
i1
,S(p
i
))
h
i
.
N otese que entonces f
(
i
,S(p
i
))
= f
(
i1
,S(p
i
))
h
i
.
Cuando k
i
0 la funci on h
i
converge uniformemente a la constante 1 sobre
W D(p
i
, ), y por tanto
i
converge unifomemente a
i1
sobre W (D(p
i
, )
(
i1
k=1
D
k
)). Esto es consecuencia de lo visto en la secci on 1.2.2. Observemos
que para poder aplicar lo dicho en la secci on 1.2.2, y obtener la convergen-
cia uniforme de las representaciones de Weierstrass, ha sido necesario quitar
unos entornos de los puntos p
1
, . . . , p
i1
, w
1
, . . . , w
i1
, donde
i1
, posible-
mente, tiene polos, es decir los conjuntos D
1
, . . . , D
i1
. Por tanto, la propiedad
(L6
i
) ser a cierta siempre que k
i
sea bastante peque no en funci on de
0
, n y l.
Como vimos en la secci on 1.2.2, en esta situaci on, no unicamente se obtiene
la convergencia de las representaciones de Weierstrass, sino tambi en de los
datos de Weierstrass. Luego se tendr an las siguientes convergencias unifor-
mes sobre W (D(p
i
, ) (
i1
k=1
D
k
)), (en particular sobre D(p
k
, ), para cada
k = i +1, . . . , n):
f
(
i
,S(p
k
))
k
i
0
f
(
i1
,S(p
k
))
f
(
i
,S(p
k
))
g
2
(
i
,S(p
k
))
k
i
0
f
(
i1
,S(p
k
))
g
2
(
i1
,S(p
k
))
Teniendo en cuenta lo anterior y que se verican (L1
i1
), (L2
i1
) y (L3
i1
) ve-
mos que las propiedades (L1
i
), (L2
i
) y (L3
i
) se verican, para k
i
sucientemente
peque no. N otese que para el caso i = 1, las propiedades (L1
0
), (L2
0
) y (L3
0
) son
ciertas.
Luego tomamos k
i
sucientemente peque no para que se satisfagan (L1
i
),
(L2
i
), (L3
i
), (L6
i
) y la siguiente desigualdad
k
i
max
wD(p
i
,)
_
f
(
i1
,S(p
i
))
(w) f
(
i1
,S(p
i
))
(p
i
)
w p
i
_
< 1. (3.14)
74
OLICAS Y PROPIAS
Fij emonos en la expresi on que dene a la funci on h
i
. Es esta una funci on
meromorfa con un polo en p
i
y un cero en w
i
= p
i
k
i
i
. Cuando k
i
0,
se tiene que h
i
converge unifomermente a 1 en W D(p
i
, ). Por otro lado, el
complejo
i
hace el efecto de un giro sobre h
i
(z) para z pr oximo a p
i
. Fuera
del disco D(p
i
, ), este efecto se ve aminorado, ya que h
i
1. Esta rotaci on
alrededor del punto p
i
nos permitir a controlar
i
a lo largo de q
i
p
i
, de tal forma
que (L9
i
) se verique.
Por ahora solo hemos denido
i
vericando (L1
i
), (L2
i
), (L3
i
) y (L6
i
). La
propiedad (L5
i
) tambi en es cierta, ya que
i
ha sido obtenida a partir de
i1
mediante una transformaci on de L opez-Ros en el sistema de referencia S(p
i
).
Continuamos deniendo otros elementos de
i
y comprobando el resto de
propiedades. Lo siguiente es llamar a
i
al el primer punto del segmento q
i
p
i
, al
movernos de q
i
a p
i
, tal que:
1
2
[ f
(
0
,S(p
i
))
(p
i
)[
_
q
i
a
i
k
i
dw
w p
i
=
2
s
/
. (3.15)
Por qu e esto es posible? Obs ervese que para todo z q
i
p
i
se tiene que
_
q
i
z
k
i
dw
w p
i
= k
i
ln
_
1
[z q
i
[
[p
i
q
i
[
_
,
y por tanto
_
q
i
z
k
i
dw
wp
i
es un real positivo que diverge a + cuando z p
i
a lo
largo de q
i
p
i
. Teniendo en cuenta esto y el hecho de que f
(
0
,S(p
i
))
(p
i
) ,= 0 por
(3.8), queda claro que es posible la anterior denici on de a
i
.
Denimos D
i
como un dominio simplemente conexo que contiene al polo y
al cero de la funci on h
i
: p
i
y w
i
= p
i
k
i
i
; y tal que D
i
D(p
i
, ) y D
i
q
i
a
i
=
. Esto es posible ya que el cero p
i
k
i
i
, p
i
q
i
, al vericarse que Im
i
,= 0.
Antes de continuar con la denici on de los restantes elementos de
i
, de-
mostraremos la siguiente propiedad de
i
, que dice:
AFIRMACI
ON 3.6: Para todo z q

i
a
i
se tiene que
_
_
_
_
_
_
Re
_
q
i
z
i
1
_
e
i
1
+
_
Re
_
q
i
z
i
2
_
e
i
2
1
2
_
_
q
i
z
k
i
dw
w p
i
_
_
Re ( f
(
0
,S(p
i
))
(p
i
)
i
) e
i
1
+Im( f
(
0
,S(p
i
))
(p
i
)
i
) e
i
2
_
_
_
_
_
_
< 2
0
,
(3.16)
75

OLICAS
donde
i
= (
i
1
,
i
2
,
i
3
, S(p
i
)) es un representante de
i
para la base S(p
i
). En
otras palabras, si X
i
es una inmersi on minimal con representaci on de Weierstrass
i
denida sobre un entorno de q
i
a
i
, X
i
(z) = Re
_
q
i
z
i
, entonces la curva plana
z (X
i
(z))
1,S(p
i
)
e
i
1
+ (X
i
(z))
2,S(p
i
)
e
i
2
para z q
i
a
i
, se aproxima a un segmento que
parte del origen y tiene direcci on
Re ( f
(
0
,S(p
i
))
(p
i
)
i
)e
i
1
+Im( f
(
0
,S(p
i
))
(p
i
)
i
)e
i
2
.
DEMOSTRACI
ON: Esta armaci on, en buena parte, es debida a la forma de la

funci on h
i
, que usamos en la transformaci on de L opez-Ros.
Sea z q
i
a
i
. En los siguientes c alculos usaremos notaci on compleja para
representar los puntos del plano e
i
1
, e
i
2
, as escribiremos a +ib en vez de ae
i
1
+
be
i
2
. Con esta notaci on, se tiene que
_
Re
_
q
i
z
i
1
_
+ i
_
Re
_
q
i
z
i
2
_
=
=
1
2
_
_
q
i
z
f
(
i
,S(p
i
))
(w)dw
_
q
i
z
f
(
i
,S(p
i
))
(w)g
2
(
i
,S(p
i
))
(w)dw
_
=
por la denici on de
i
,
=
1
2
_
_
q
i
z
f
(
i1
,S(p
i
))
(w)h
i
(w)dw
_
q
i
z
f
(
i1
,S(p
i
))
(w)g
2
(
i1
,S(p
i
))
(w)
h
i
(w)
dw
_
=
usando la denici on de h
i
en el primer sumando,
=
1
2
_
_
q
i
z
f
(
i1
,S(p
i
))
(w)
k
i
i
w p
i
dw +
_
q
i
z
f
(
i1
,S(p
i
))
(w)dw
_
q
i
z
f
(
i1
,S(p
i
))
(w)g
2
(
i1
,S(p
i
))
(w)
dw
h
i
(w)
_
=
y sumando y restando las integrales de
1
2
f
(
0
,S(p
i
))
(p
i
)
k
i

i
wp
i
y de
76
OLICAS Y PROPIAS
1
2
f
(
i1
,S(p
i
))
(p
i
)
k
i

i
wp
i
, obtenemos
=
1
2
_
q
i
z
f
(
0
,S(p
i
))
(p
i
)
k
i
i
w p
i
dw +
+
1
2
_
q
i
z
_
f
(
i1
,S(p
i
))
(p
i
) f
(
0
,S(p
i
))
(p
i
)
_
k
i
i
w p
i
dw + (3.17)
+
1
2
_
q
i
z
_
f
(
i1
,S(p
i
))
(w) f
(
i1
,S(p
i
))
(p
i
)
_
k
i
i
w p
i
dw + (3.18)
+
1
2
_
q
i
z
f
(
i1
,S(p
i
))
(w)dw (3.19)
1
2
_
q
i
z
f
(
i1
,S(p
i
))
(w)g
2
(
i1
,S(p
i
))
(w)
dw
h
i
(w)
(3.20)
Ahora, acotaremos superiormente la norma de cada uno de los cuatro ultimos
sumandos.
Para acotar (3.17), recurrimos a la denici on de a
i
, ecuaci on (3.15), y a la
propiedad (L3
i1
). Como
_
q
i
z
k
i
i
wp
i
dw R
+
, se tiene:
_
q
i
z
_
f
(
i1
,S(p
i
))
(p
i
) f
(
0
,S(p
i
))
(p
i
)
_
k
i
i
w p
i
dw
=
= [ f
(
i1
,S(p
i
))
(p
i
) f
(
0
,S(p
i
))
(p
i
)[
_
q
i
z
k
i
i
w p
i
dw
(3.21)
N otese que
1
2
_
_
q
i
z
k
i
dw
wp
i
_
f
(
0
,S(p
i
))
(p
i
)

2
s
/
, z q
i
a
i
, ya que a
i
es el primer
punto del segmento donde se da la igualdad (3.15). Luego
2
2
s
/
[ f
(
i1
,S(p
i
))
(p
i
) f
(
0
,S(p
i
))
(p
i
)[
[ f
(
0
,S(p
i
)
(p
i
)[
<
0
.
La acotaci on en norma de (3.18) se debe a la manera en que denimos k
i
,
v ease (3.14):
_
q
i
z
( f
(
i1
,S(p
i
))
(w) f
(
i1
,S(p
i
))
(p
i
))
k
i
i
w p
i
dw
long(q
i
z, , )) k
i
max
wD(p
i
,)
_
f
(
i1
,S(p
i
))
(w) f
(
i1
,S(p
i
))
(p
i
)
w p
i
_
<
< long(q
i
z, , )) <
0
.
(3.22)
77

OLICAS
Usando (L1
i1
), acotamos (3.19),
_
q
i
z
f
(
i1
,S(p
i
))
(w)dw
max
D(p
i
,)
[ f
(
i1
,S(p
i
))
[ <
<
0
. (3.23)
Por ultimo, para acotar (3.20), observemos previamente que para todo w
q
i
p
i
se tiene:
[h
i
(w)[ =
_
k
i
w p
i
_
2
+2 Re
i
_
k
i
w p
i
_
+1 >
_
1 Re
2
i
= [ Im
i
[.
En los anteriores c alculos, hemos tenido en cuenta que infx
2
+ 2 Re
i
x + 1 :
x R
+
= 1 Re
2
i
y que [
i
[ = 1. Entonces, considerando la cota inferior de
[h
i
[ que acabamos de calcular y la propiedad (L2
i1
) se sigue:
_
q
i
z
f
(
i1
,S(p
i
))
(w)g
2
(
i1
,S(p
i
))
(w)
dw
h
i
(w)

max
D(p
i
,)
[ f
(
i1
,S(p
i
))
g
2
(
i1
,S(p
i
))
[
[ Im
i
[
<
<
0
. (3.24)
Por tanto, gracias a (3.21), (3.22), (3.23) y (3.24) se prueba la desigualdad
(3.16).
La anterior armaci on nos informa sobre la forma de la curva (Re
_
q
i
z
i
1
)e
i
1
+
(Im
_
q
i
z
i
2
)e
i
2
, donde z q
i
a
i
. Como consecuencia, deduciremos las propieda-
des (L7
i
), (L8
i
) y (L9
i
).
La propiedad (L7
i
) se comprueba f acilmente a partir de (3.16), si considera-
mos adem as la manera en que se deni o a
i
:
_
_
_
_
_
_
Re
_
q
i
a
i
i
1
_
e
i
1
+
_
Re
_
q
i
a
i
i
2
_
e
i
2
_
_
_
_
_
>
>
1
2
_
_
q
i
a
i
k
i
dw
w p
i
_
f
(
0
,S(p
i
))
(p
i
)
i
2
0
=
=
2
s
/
2
0
> s
/
,
(3.25)
donde hemos considerado
0
sucientemente peque no en funci on de y s
/
.
Tambi en, como consecuencia de (3.16), deducimos, de manera an aloga, la
siguiente cota superior:
_
_
_
_
_
_
Re
_
q
i
z
i
1
_
e
i
1
+
_
Re
_
q
i
z
i
2
_
e
i
2
_
_
_
_
_

2
s
/
+2
0
<
3
s
/
, z q
i
a
i
, (3.26)
78
OLICAS Y PROPIAS
para
0
sucientemente peque no. Aqu, hemos usado que
1
2
_
_
q
i
z
k
i
dw
w p
i
_
f
(
0
,S(p
i
))
(p
i
)

2
s
/
, z q
i
a
i
.
La propiedad (3.26) nos valdr a para denir los elementos de
i
que nos
quedan: C
i
y G
i
. Tomamos C
i
como un arco de circunferencia centrado en p
i
tal que a
i
C
i
y se verique (L4
i
) y (L8
i
) para G
i
denido como el sector anular
cerrado bordeado por: C
i
, un trozo de D(p
i
, ) y dos radios de circunferencia,
como indica la gura 3.2. La propiedad (L4
i
) se satisfar a si C
i
es escogido como
un arco sucientemente peque no alrededor de a
i
. De igual manera , teniendo
en cuenta (3.26), la propiedad (L8
i
) se satisfar a, ya que el conjunto G
i
tiende a
q
i
a
i
cuando el arco C
i
se aproxima a el punto a
i
.
Luego ya tenemos denido completamente
i
; tan solo queda comprobar
la propiedad (L9
i
). Para ello, realizamos los siguientes c alculos:
_
_
_
_
_
Re
_
q
i
a
i
i
Re
_
q
i1
a
i1
i1
_
_
_
_
_
=
=
_
_
_
_
_
3
k=1
_
Re
_
q
i
a
i
i
k,S(p
i
)
_
e
i
k
k=1
_
Re
_
q
i1
a
i1
i1
k,S(p
i1
)
_
e
i1
k
_
_
_
_
_
k=1
_
_
_
_
_
_
Re
_
q
i
a
i
i
k,S(p
i
)
_
e
i
k
_
Re
_
q
i1
a
i1
i1
k,S(p
i1
)
_
e
i1
k
_
_
_
_
_
.
(3.27)
Procedemos a acotar los tres sumandos del sumatorio de (3.27). Por (3.16),
sabamos que las dos primeras coordenadas en S(p
k
) de Re
_
q
k
z
k
, para z q
i
a
i
describen, aproximadamente, un segmento con direcci on
(Re ( f
(
0
,S(p
k
))
(p
k
)
k
))e
k
1
+ (Im( f
(
0
,S(p
k
))
(p
k
)
k
))e
k
2
,
para k = i 1, i. Recordemos que las constantes
k
se eligieron para que di-
chas direcciones fuesen iguales, v ease (3.9). Adem as, por la manera en que se
denieron los puntos a
k
, las normas de todos los puntos descritos por las dos
primeras coordenadas de Re
_
q
k
a
k
k
son pr oximas. Estos argumentos ser an
los que nos demuestren que Re
_
q
i1
a
i1
i1
y Re
_
q
i
a
i
i
tienen las dos prime-
ras coordenadas casi iguales. Ve amoslo en detalle. En primer lugar para la
79

OLICAS
primera coordenada. Por (3.16), tenemos que
_
_
_
_
_
_
Re
_
q
i
a
i
i
1,S(p
i
)
_
e
i
1
_
Re
_
q
i1
a
i1
i1
1,S(p
i1
)
_
e
i1
1
_
_
_
_
_
_
_
_
_
_
_
1
2
Re ( f
(
0
,S(p
i
))
(p
i
)
i
)
_
q
i
a
i
k
i
dw
w p
i
_
e
i
1
_
1
2
Re ( f
(
0
,S(p
i1
))
(p
i1
)
i1
)
_
q
i1
a
i1
k
i1
dw
w p
i1
_
e
i1
1
_
_
_
_
_
+4
0
=
usando (3.15),
=
_
_
_
_
_
2
s
/
Re ( f
(
0
,S(p
i
))
(p
i
)
i
)
[ f
(
0
,S(p
i
))
(p
i
)[
e
i
1
2
s
/
Re ( f
(
0
,S(p
i1
))
(p
i1
)
i1
)
[ f
(
0
,S(p
i1
))
(p
i1
)[
e
i1
1
_
_
_
_
_
+4
0

sumando y restando el t ermino
2
s
/
Re ( f
(
0
,S(p
i1
))
(p
i1
)
i1
)
[ f
(
0
,S(p
i1
))
(p
i1
)[
e
i
1
, obtenemos

2
s
/
_
_
_
_
_
Re ( f
(
0
,S(p
i
))
(p
i
)
i
)
[ f
(
0
,S(p
i
))
(p
i
)[
e
i
1
Re ( f
(
0
,S(p
i1
))
(p
i1
)
i1
)
[ f
(
0
,S(p
i1
))
(p
i1
)[
e
i
1
_
_
_
_
_
+
+
2
s
/
_
_
_
_
_
Re ( f
(
0
,S(p
i1
))
(p
i1
)
i1
)
[ f
(
0
,S(p
i1
))
(p
i1
)[
e
i
1
Re ( f
(
0
,S(p
i1
))
(p
i1
)
i1
)
[ f
(
0
,S(p
i1
))
(p
i1
)[
e
i1
1
_
_
_
_
_
+4
0

2
s
/
f
(
0
,S(p
i
))
(p
i
)
[ f
(
0
,S(p
i
))
(p
i
)[
f
(
0
,S(p
i1
))
(p
i1
)
[ f
(
0
,S(p
i1
))
(p
i1
)[
i1
+
+
2
s
/
|e
i
1
e
i1
1
|
Re f
(
0
,S(p
i1
))
(p
i1
)
[ f
(
0
,S(p
i1
))
(p
i1
)[
+4
0

aplicando (3.9) y (3.7), conclumos que:
_
_
_
_
_
_
Re
_
q
i
a
i
i
1,S(p
i
)
_
e
i
1
_
Re
_
q
i1
a
i1
i1
1,S(p
i1
)
_
e
i1
1
_
_
_
_
_

2
s
/
0
+4
0
=
0
(
2
s
/
+4).
Con los mismos argumentos, obtenemos una cota para el segundo suman-
80
OLICAS Y PROPIAS
do de (3.27):
_
_
_
_
_
_
Re
_
q
i
a
i
i
2,S(p
i
)
_
e
i
2
_
Re
_
q
i1
a
i1
i1
2,S(p
i1
)
_
e
i1
2
_
_
_
_
_
_
_
_
_
_
_
1
2
Im( f
(
0
,S(p
i
))
(p
i
)
i
)
_
q
i
a
i
k
i
dw
w p
i
_
e
i
2
_
1
2
Im( f
(
0
,S(p
i1
))
(p
i1
)
i1
)
_
q
i1
a
i1
k
i1
dw
w p
i1
_
e
i1
2
_
_
_
_
_
+4
0

0
(
2
s
/
+4).
Para acotar el tercer sumando de (3.27), ser an clave las propiedades (L5
i1
)
y (L5
i
). As,
_
_
_
_
_
_
Re
_
q
i
a
i
i
3,S(p
i
)
_
e
i
3
_
Re
_
q
i1
a
i1
i1
3,S(p
i1
)
_
e
i1
3
_
_
_
_
_
=
=
_
_
_
_
_
_
Re
_
q
i
a
i
i1
3,S(p
i
)
_
e
i
3
+
_
Re
_
q
i1
a
i1
i2
3,S(p
i1
)
_
e
i1
3
_
_
_
_
_
Re
_
q
i
a
i
i1
3,S(p
i
)
Re
_
q
i1
a
i1
i2
3,S(p
i1
)
como long(q
k
a
k
, , )) , para k = i 1, i,

_
max
D(p
i
,)
|
i1
| + max
D(p
i1
,)
|
i2
|
_
aplicando sucesivamente (L6

k
), para k = 1, . . . , i 1

_
max
D(p
i
,)
|
0
| + max
D(p
i1
,)
|
0
| +2
0
_
nalmente, por (J6), terminamos armando que

_
_
_
_
_
_
Re
_
q
i
a
i
i
3,S(p
i
)
_
e
i
3
_
Re
_
q
i1
a
i1
i1
3,S(p
i1
)
_
e
i1
3
_
_
_
_
_
+2
0
< 4
0
.
Por tanto, usando las anteriores cotas de los tres sumandos de (3.27) se
concluye que:
_
_
_
_
_
Re
_
q
i
a
i
i
Re
_
q
i1
a
i1
i1
_
_
_
_
_
2
0
(
2
s
/
+4) + 4
0
.
81

OLICAS
Esto naliza la prueba de la propiedad (L9
i
). Observemos lo especial del caso
i = n +1 que corresponde a la propiedad (L9
n+1
), esto es,
_
_
_
_
_
_
Re
_
q
1
a
1
1
1,S(p
1
)
_
e
1
1
_
Re
_
q
n
a
n
n
1,S(p
n
)
_
e
n
1
_
_
_
_
_

0
(2
2
s
/
+12).
Esta propiedad relaciona la representaci on de Weierstrass obtenida en el pri-
mer paso con el ultimo. A pesar de lo singular del caso, la prueba de (L9
n+1
)
se desarrolla de la misma manera que acabamos de describir.
Llegados a este punto, damos por nalizado el proceso de denici on por re-
currencia de los elementos
1
, . . . ,
n
, vericando las propiedades (L1
i
),. . . ,(L9
i
),
indicadas anteriormente.
Advirtamos que las n representaciones de Weierstrass
1
, . . . ,
n
que he-
mos obtenido no tienen por qu e denir ninguna inmersi on minimal ya que
poseen polos y posiblemente, tambi en ceros. Nuestro siguiente paso consistir a
en buscar un dominio donde las expresiones
X
i
(z)
def
= Re
_
z
0
i
, z , i = 1, . . . , n,
sean inmersiones minimales bien denas. Tomaremos por un dominio sim-
plemente conexo que no contiene ning un polo de las representaciones de Weiers-
trass. Recordemos que los candidatos a polos y ceros eran los puntos p
1
, . . . , p
n
,
w
1
, . . . , w
n
, que estaban contenidos en los conjuntos D
1
, . . . , D
n
. El conjunto
es denido de la siguiente manera (t engase presente la gura 3.3).
Para cada i = 1, . . . , n, sea D
i
un disco abierto centrado en p
i
de radio un
poco mayor que el radio del disco D(p
i
, ), tal que D
1
, . . . , D
n
son disjuntos
dos a dos. Consideremos
i
D
i
D(p
i
, ) una curva simple que conecta
D
i
Int

P con el punto q
i
. Sea N
i
un peque no entorno abierto de
i
q
i
a
i
en
G
i
(D
i
D(p
i
, )). Se dene
=
_
Int

P
n
_
k=1
D
k
_
_
n
_
k=1
N
k
_
.
Las siguientes propiedades del conjunto pueden ser garantizadas si D
i
,
i
y N
i
fueron escogidos adecuadamente, es decir, si D
i
es tomado con radio
bastante pr oximo a , la curva
i
es escogida para que long(
i
, , )) < 2 +
+1/2, y N
i
sucientemente peque no.
(M1) es un dominio simplemente conexo;
(M2) q
i
a
i
y Int P ;
82
OLICAS Y PROPIAS
Figura 3.3: El dominio .
(M3) no contiene ning un punto p
i
, ni ning un cero de las funciones h
i
, i =
1, . . . , n, con lo cual no contiene ning un polo ni cero de las representacio-
nes
1
, . . . ,
n
.
(M4) sup
z
dist
(,,))
(0, z) < l. Ahora queda claro por qu e denamos l,
en (3.10), como
l = sup
zc
_
dist
(c,,))
(0, z)
_
+2 + +1,
donde c = Int

P
n
k=1
D(p
k
, );
(M5) D(p
i
, ) G
i
.
La propiedad (M4) es posible ya que la distancia dist
(,,))
(0, z) para cual-
quier z se puede realizar por una curva descrita como sigue. Si z c
consideramos una curva en c que haga la distancia entre 0 y z en dicho con-
junto. Si z D(p
k
, ) para alg un k, consideramos la curva formada por una
curva en c que haga la distancia entre 0 y D(p
k
, )
k
, junto con un trozo
de
k
q
k
a
k
(de longitud menor que 2 +), junto con una curva que conecte
con z (de longitud menor que 1).
Gracias a (M1) y (M3), las formas
i
son holomorfas sobre ; no tienen ni
ceros ni polos, es decir, son verdaderas representaciones de Weierstrass sobre
seg un la denici on 1.11. Adem as, estas formas no tienen periodos sobre ,
ya que es simplemente conexo; con lo cual, cada una ser a la representaci on
83

OLICAS
de Weierstrass de una inmersi on minimal conforme y bien denida sobre .
Es m as, existe un abierto
/
simplemente conexo
1
conteniendo a , sobre el
que estar an bien denidas las siguientes inmersiones para i = 1, . . . , n :
X
i
:
/
R
3
,
X
i
(z) = Re
_
z
0
i
, z
/
.
Para el desarrollo del segundo proceso de la demostraci on del lema 3.3,
ser an necesarias tener ciertas propiedades del borde del dominio . Para nom-
brarlas, previamente tenemos que denir las siguientes bases ortonormales de
R
3
. Tomamos, para cada i = 1, . . . , n, una base ortonormal T
i
= w
i
1
, w
i
2
, w
i
3
tal que
w
i
3
=
X
n
(a
i
)
|X
n
(a
i
)|
. (3.28)
El borde de es una curva cerrada y simple diferenciable a trozos. Para ca-
da i = 1, . . . , n, el conjunto (C
i
C
i+1
) est a formado por dos componentes
conexas cerradas. Denimos la curva Q
i
como aquella de las dos componentes
conexas que no cortan al resto de arcos C
k
, (v ease la gura 3.3). Obs ervese que
Q
i
, as denida, es una curva que une el arco C
i
con el arco C
i+1
, tal que:
Q
i
B
i
(3.29)
Q
i
D(p
k
, ) = para k , i, i +1. (3.30)
Adem as, la familia de curvas Q
1
, . . . , Q
n
son disjuntas dos a dos, y junto con
ciertos trozos de los arcos C
1
, . . . , C
n
forman el borde de , (v ease las guras
3.3 y 3.5).
Parte del objetivo del segundo proceso consistir a en aumentar la m etrica
inducida por X
n
alrededor de las curvas Q
i
, para as aumentar la norma de
la inmersi on. Para ello, ser a indispensable que supongamos que es cierto lo
siguiente para cada i = 1, . . . , n:
f
(X
n
,T
i
)
(z) ,= 0, z Q
i
. (3.31)
Esta suposici on es posible, ya que en caso de que f
(X
n
,T
i
)
(z
0
) = 0 para cierto
z
0
Q
i
, podemos modicar en un peque no entorno de z
0
para que las
curvas Q
i
, que pertenecen a la frontera de , eviten los ceros de las funciones
f
(X
n
,T
i
)
, i = 1, . . . , n. N otese que esto puede realizarse ya que los ceros de las
funciones f
(X
n
,T
i
)
, i = 1, . . . , n no se acumulan en . No es difcil darse cuenta
que, las anteriores modicaciones de pueden hacerse de tal manera que el
1
Por
/
se puede tomar un entorno tubular de sucientemente peque no.
84
OLICAS Y PROPIAS
nuevo conjunto siga vericando las propiedades (M1), . . . ,(M5), y las curvas
Q
i
resultantes, contin uen satisfaciendo (3.29) y (3.30).
Seguidamente, recapitulamos parte de lo que hemos visto en esta secci on,
mostrando como las inmersiones X
1
, . . . , X
n
heredan de (L1
i
), . . . ,(L9
i
) las si-
guientes propiedades:
PROPOSICI
ON 3.7: Para i = 1, . . . , n, se satisface:

(O1
i
) |X
i
(z) X
i1
(z)| <

0
n
, z D(p
i
, );
(O2
i
) (X
i
)
3,S(p
i
)
= (X
i1
)
3,S(p
i
)
;
(O3
i
) |X
n
(a
i
) X
n
(a
i+1
)| <
0
(2
2
s
/
+17);
(O4
i
) |X
n
(a
i
)| > (r + s);
(O5
i
) |X
n
(q
i
) X
n
(z)| <
3
s
/
+5
0
, z G
i
.
Estas propiedades sintetizan lo que se ha logrado en este primer proceso. En
el hemos modicado la inmersi on X en n pasos X
1
X
2
. . . X
n
, tal que
en cada paso solo se deformaba esencialmente en un peque no disco centrado
en p
i
(propiedad (O1
i
)); sin alterar la tercera coordenada en el sistema de re-
ferencia S(p
i
) (propiedad (O2
i
)). El sistema de referencia S(p
i
) se caracteriza
por que su tercera coordenada apunta en la direcci on de X(p
i
) . En el ultimo
paso, se ha obtenido una inmersi on minimal X
n
denida sobre un dominio
simplemente conexo , que verica:
La inmersi on X
n
es pr oxima a X en todo salvo en unos peque nos discos
centrados en los puntos p
1
, . . . , p
n
, (propiedades (O1
k
)).
La norma de X
n
sobre los puntos a
1
, . . . , a
n
es un poco mayor que r + s
(propiedades (O4
k
)), y adem as X
n
(a
i
) es pr oximo a X
n
(a
i+1
) para cada i,
(propiedad (O3
i
)). Recordemos que, para el caso i = n, esto signica que
X
n
(a
1
) y X
n
(a
n
) son cercanos.
Para cada i = 1, . . . , n, en el conjunto G
i
, donde X y X
n
no se parecen, la
inmersi on X
n
no se aleja en exceso de X
n
(q
i
), (propiedad (O5
i
)). N otese
que q
i
es un punto en el cual X y X
n
son pr oximas.
Sin m as dilaci on, pasemos a demostrar la proposici on anterior.
DEMOSTRACI
ON: La primera propiedad es consecuencia de la proximidad de

las representaciones de Weierstrass respectivas, (L6
i
), y de la cota del di ametro
85

OLICAS
de que hemos establecido en (M4). Sea z D(p
i
, ), y consideremos
(1.14) de la secci on 1.2.2, entonces
|X
i
(z)X
i1
(z)|
4 sup
wD(p
i
,)
dist
(D(p
i
,),,))
(0, w) sup
D(p
i
,)
|
i
i1
|
4 sup
wD(p
i
,)
dist
(,,))
(0, w) sup
D(p
i
,)
|
i
i1
| <

0
n
.
Por otro lado, (O2
i
) se deduce de manera directa a partir de (L5
i
).
La prueba de (O3
i
) se fundamenta en (L9
i+1
). Aplicando sucesivamente las
propiedades (O1
k
), se tiene
|X
n
(a
i
) X
n
(a
i+1
)| |X
i
(a
i
) X
i+1
(a
i+1
)| +2
0

sumando y restando los t erminos X
i
(q
i
) y X
i+1
(q
i+1
) y escribiendo la inmer-
si on en su forma integral, continuamos con
|X
i
(a
i
) X
i
(q
i
) (X
i+1
(a
i+1
) X
i+1
(q
i+1
))| +
+|X
i
(q
i
) X
i+1
(q
i+1
)| +2
0

_
_
_
_
_
Re
_
q
i
a
i
i
Re
_
q
i+1
a
i+1
i+1
_
_
_
_
_
+|X
i
(q
i
) X
i+1
(q
i+1
)| +2
0

usando ahora (L9
i+1
) en el primer sumando, y de nuevo (O1
k
) en el segundo:

0
(2
2
s
/
+12) +|X
0
(q
i
) X
0
(q
i+1
)| +4
0
,
y por (3.6), conclumos que
|X
n
(a
i
) X
n
(a
i+1
)|
0
(2
2
s
/
+12) + 5
0
=
0
(2
2
s
/
+17).
Esto demuestra (O3
i
).
Para probar (O4
i
), invocaremos la propiedad (L7
i
). Aplicando sucesiva-
mente (O1
k
) se tiene que
|X
n
(a
i
)| > |X
i
(a
i
)|
0
.
Ahora acotaremos cada una de las tres coordenadas de X
i
(a
i
) en S(p
i
). Las dos
primeras coordenadas se acotan juntas de la manera siguiente:
|(X
i
(a
i
))
1,S(p
i
)
e
i
1
+ (X
i
(a
i
))
2,S(p
i
)
e
i
2
| >
>
_
_
_
_
_
_
Re
_
q
i
a
i
i
1
_
e
i
1
+
_
Re
_
q
i
a
i
i
2
_
e
i
2
_
_
_
_
_
|(X
i
(q
i
))
1
e
i
1
+ (X
i
(q
i
))
2
e
i
2
| >
86
OLICAS Y PROPIAS
usando (L7
i
) y (O1
k
), se sigue
> s
/
|(X
0
(q
i
))
1
e
i
1
+ (X
0
(q
i
))
2
e
i
2
|
0

por (3.6)
s
/
|(X
0
(p
i
))
1
e
i
1
+ (X
0
(p
i
))
2
e
i
2
| 2
0
=
y como S(p
i
) fue denido tal que e
i
3
=
X(p
i
)
|X(p
i
)|
, se tiene que |(X
0
(p
i
))
1
e
i
1
+
(X
0
(p
i
))
2
e
i
2
| = 0, con lo cual
= s
/
2
0
> s
/
,
esto ultimo, si suponemos que
0
fue tomado sucientemente peque no, en fun-
ci on de y s
/
. Uniendo el principio y el nal de la cadena de desigualdades,
tenemos:
|(X
i
(a
i
))
1
e
i
1
+ (X
i
(a
i
))
2
e
i
2
| > s
/
.
Para acotar la tercera coordenada usamos (O2
i
) y la hip otesis (3.1) del lema que
estamos probando, adem as de algunos de los razonamientos realizados en los
c alculos precedentes.
[(X
i
(a
i
))
3,S(p
i
)
[ = [(X
i1
(a
i
))
3,S(p
i
)
[ [(X
0
(a
i
))
3,S(p
i
)
[
0

[(X
0
(p
i
))
3,S(p
i
)
[ 2
0
= |X
0
(p
i
)| 2
0
> r 2
0
.
Por tanto, utilizando las distintas cotas para las tres coordenadas de X
i
(a
i
), la
propiedad (O4
i
) queda probada por:
|X
n
(a
i
)| >
_
(s
/
)
2
+ (r 2
0
)
2
0
=
=
_
4
(r + s)
2
4
0
(r
0
)
0
> (r + s),
donde hemos tenido en cuenta que s
/
=
_
4
(r + s)
2
r
2
y que
0
es sucien-
temente peque no.
Por ultimo, (O5
i
) es debido a (L8
i
). Sea z G
i
, entonces:
|X
n
(q
i
) X
n
(z)| |X
i
(q
i
) X
i
(z)| +2
0

Considerando, separadamente, la norma del vector formado por las dos pri-
meras coordenadas, y el valor absoluto de la tercera coordenada, se sigue
_
_
_
_
_
_
Re
_
q
i
z
i
1,S(p
i
)
_
e
i
1
+
_
Re
_
q
i
z
i
2,S(p
i
)
_
e
i
2
_
_
_
_
_
+[(X
i
(q
i
) X
i
(z))
3,S(p
i
)
[ +2
0
<
y gracias a (L8
i
), (O1
k
) y (3.6)
<
3
s
/
+[(X
0
(q
i
) X
0
(z))
3,S(p
i
)
[ +4
0

3
s
/
+5
0
.
87

OLICAS
3.2.2 El Segundo Proceso
En el primer proceso, hemos obtenido la inmersi on minimal X
n
; y hemos
garantizado que su norma es mayor que r + s sobre los puntos a
1
, . . . , a
n
. En
este segundo proceso, nuestro objetivo ser a incrementar la norma de X
n
alre-
dedor de toda la frontera de para as obtener (H3). Modicaremos la inmer-
si on Y
0
= X
n
produciendo una secuencia de inmersiones minimales Y
1
, . . . , Y
n
denidas en
/
. En cada paso, tomaremos un peque no entorno Q
i
de la cur-
va Q
i
, y deformaremos la representaci on de Weierstrass de Y
i1
, a lo largo de
Q
i
, obteniendo una nueva inmersi on minimal Y
i
. Las inmersiones Y
i
y Y
i1
ser an pr oximas en Q
i
, y la m etrica intrnseca de Y
i
crecer a alrededor de
Q
i
con respecto a la m etrica de Y
i1
. Como consecuencia de este incremento
de la m etrica, deduciremos que la norma de Y
i
es mayor que r + s alrededor
de la curva Q
i
. Para hacer esto, usaremos la transformaci on de L opez-Ros,
con la base T
i
, antes mencionada, y una funci on holomorfa obtenida gracias al
teorema de Runge.
La inmersi on Y
n
, obtenida en el ultimo paso, ser a la que demuestre el lema
3.3.
Antes de construir Y
1
, . . . , Y
n
, y demostrar rigurosamente que Y
n
es la in-
mersi on que prueba el lema, vamos a anticipar las ideas en que est an basados
estos hechos.
Supongamos que hemos construido las inmersiones Y
1
, . . . , Y
n
en la mane-
ra que antes se ha indicado. Reparemos en por qu e entonces Y
n
vericar a las
propiedades (H1),. . . (H4) del lema.
La propiedad (H2) ser a consecuencia de que, sobre Int P, las inmersiones
X = X
0
y X
n
son pr oximas (lo notaremos por X
0
X
n
), ya que Int P est a
contenido en la parte del dominio donde apenas modic abamos en el primer
proceso:
n
k=1
D(p
k
, ). Tambi en la propiedad ser a consecuencia de que
X
n
= Y
0
Y
n
en Int P, ya que en el segundo proceso casi no se modicar a en

n
k=1
Q
i
.
Para probar (H3) ser a suciente mostrar que la norma de Y
n
es mayor que
r + s alrededor del borde de . De este hecho es posible deducir la existencia
de una poligonal Q vericando (H1) y (H3). Para ver que la norma de Y
n
es
mayor que r + s alrededor de desarrollaremos, en la secci on 3.2.3, un ra-
zonamiento, cuyo esquema general indicamos ahora. Consideremos z
y estudiemos |Y
n
(z)| separadamente para cada uno de estos casos: z Q
i
,
z C
i
Q
i
, z C
i

n
k=1
Q
i1
, para cada i = 1, . . . , n. En general, para cada
caso, empezaremos ubicando X
0
(z) = X(z) en el croquis de la gura 3.5, y
continuaremos describiendo como las deformaciones hechas en las inmersio-
nes afectan a la ubicaci on de la secuencia de puntos
X
0
(z), X
1
(z), . . . , X
n
(z) = Y
0
(z), Y
1
(z), . . . , Y
n
(z).
88
OLICAS Y PROPIAS
Finalizaremos, deduciendo una cota de |Y
n
(z)| a partir de la ubicaci on de
Y
n
(z).
Comenzamos el estudio para cada uno de los anteriores casos:
Si z Q
i
, para alg un i = 1, . . . , n, partimos de Y
i
(z). Por lo comentado
anteriormente sobre Y
i
, se tiene que Y
i
Y
i+1
. . . Y
n
sobre Q
i
, con
lo cual |Y
n
| ser a mayor que r + s alrededor de Q
i
. Recu erdese que |Y
i
|
ser a mayor que r + s alrededor de Q
i
.
Si z C
i
Q
i
, para alg un i = 1, . . . , n, comenzamos en X
n
(z). Sabemos
que X
n
es casi constante sobre el arco C
i
, luego Y
0
(z) = X
n
(z) X
n
(a
i
);
y as
X
n
(a
i
) Y
0
(z) . . . Y
i1
(z).
Como z Q
i
no podemos armar que Y
i1
(z) Y
i
(z), pero si que
(Y
i1
(z))
3,T
i
= (Y
i
(z))
3,T
i
en el sistema de referencia T
i
= w
i
1
, w
i
2
, w
i
3
.
Luego, el punto Y
i
(z) estar a cerca a un plano perpendicular a w
i
3
que pa-
sa por X
n
(a
i
). Ya que Y
i
(z) . . . Y
n
(z), el punto Y
n
(z) tambi en estar a
pr oximo al plano anterior. N otese que la distancia del plano al origen es
aproximadamente |X
n
(a
i
)|, ya que w
i
3
=
X
n
(a
i
)
|X
n
(a
i
)|
; y por tanto mayor que
r + s. Luego se concluir a que |Y
n
(z)| es mayor que r + s.
Si z C
i
Q
i+1
para alg un i = 1, . . . , n, (el caso i = n corresponde con
C
n
Q
1
), el razonamiento es parecido al anterior, salvo algunos detalles.
Se puede ver igualmente que Y
i
(z) X
n
(a
i
). Es importante observar
que por la manera en que deform abamos en el primer proceso, sabamos
que X
n
(a
i
) X
n
(a
i+1
) (propiedad (O3
i
)); con lo cual Y
i
(z) X
n
(a
i+1
).
Ahora, como z Q
i+1
, razonando igual que antes, Y
n
(z) estar a pr oximo
a un plano perpendicular a w
i+1
3
(esto es, perpendicular a X
n
(a
i+1
)) que
pasa por X
n
(a
i+1
). Con lo cual, de nuevo, |Y
n
(z)| ser a mayor que r + s.
Si z C
i

n
k=1
Q
k
para alg un i = 1, . . . , n, consideramos X
n
(z). Como
X
n
es casi constante sobre C
i
, se tiene que X
n
(z) X
n
(a
i
). Teniendo
presente que z no corta a ning un conjunto Q
k
, k = 1, . . . , n, se tiene que
X
n
(a
i
) X
n
(z) = Y
0
(z) . . . Y
n
(z).
De esto se deduce que |Y
n
(z)| es mayor que r + s, ya que |X
n
(a
i
)| es
mayor que r + s.
La idea que usaremos para demostrar la propiedad (H4), en la secci on 3.2.3,
es la siguiente. Consideraremos z Int P; distinguiremos los siguientes
casos, que cubren todas las posibilidades, (v ease la gura 3.5):
89

OLICAS
(a) z , (
n
k=1
D(p
k
, )) (
n
k=1
Q
i
),
(b) z D(p
i
, ) (
n
k=1
Q
k
) para alg un i = 1, . . . , n,
(c) z D(p
i
, ) Q
i
para alg un i = 1, . . . , n,
(d) z D(p
i+1
, ) Q
i
para alg un i = 1, . . . , n, (cuando i = n esto quiere decir
z D(p
1
, ) Q
n
,
(e) z Q
i

n
k=1
D(p
k
, ) para alg un i = 1, . . . , n.
Estudiemos cada caso, siguiendo de nuevo, en la gura 3.5, la ubicaci on de la
secuencia de puntos
X(z) = X
0
(z), X
1
(z), . . . X
n
(z) = Y
0
(z), Y
1
(z), . . . , Y
n
(z).
Para el caso (a) partimos de X(z). Sabemos que
X(z) = X
0
(z) . . . X
n
(z) = Y
0
(z) . . . Y
n
(z).
De esto se obtiene una cota inferior de |Y
n
(z)| apropiada, dada por la
hip otesis (3.1) que arma que |X(z)| > r + s/2 en O Int P.
En el caso (b), sabemos que X(z) = X
0
(z) . . . X
i1
(z), y por tanto
X(p
i
) X
i1
(z); ya que X es casi constante en D(p
i
, ). Al pasar a X
i
(z),
la deformaci on no cambiaba la tercera coordenada en el sistema de re-
ferencia S(p
i
) = e
i
1
, e
i
2
, e
i
3
, con lo cual X
i
(z) estar a pr oximo a un plano
perpendicular a e
i
3
=
X(p
i
)
|X(p
i
)|
que pasa por el punto X(p
i
). Como se tiene
que
X
i
(z) . . . X
n
(z) . . . Y
n
(z),
el punto Y
n
(z) tambi en estar a pr oximo al plano. Dicho plano est a a
una distancia del origen igual a |X(p
i
)|, esto es, mayor que r + s/2
(propiedad (3.1)). De aqu obtenemos la cota inferior de |Y
n
(z)| que
busc abamos.
En el caso (c), podemos partir de lo que sabamos para el caso anterior;
que X
n
(z) es pr oximo a un plano perpendicular a X(p
i
) que pasa por
X(p
i
). Es m as, teniendo en cuenta la propiedad (O5
i
) y que X
n
(q
i
)
X(q
i
) X(p
i
) podemos armar que X
i
(z) est a pr oximo a un disco con-
tenido en el anterior plano, centrado en X(p
i
) y de radio
3
s
/
+ 5
0
, (que
notaremos por D(X(p
i
),
3
s
/
+ 5
0
)). Como z Q
i
, se tiene X
n
(z)
. . . Y
i1
(z). Adem as, (Y
i
(z))
3,T
i
= (Y
i1
(z))
3,T
i
, esto es, Y
i
(z) estar a
cerca de un plano A perpendicular a w
i
3
(esto es, perpendicular a X
n
(a
i
))
que es cercano al punto X
n
(z). Unos c alculos geom etricos elementales,
90
OLICAS Y PROPIAS
Figura 3.4: C alculos acerca de la propiedad (H4).
ver gura 3.4, nos garantizar an que el plano A est a a una distancia del
origen no menor que r 3
sr. Adem as, como Y

i
(z) . . . Y
n
(z), se
concluir a que |Y
n
(z)| est a acotado inferiormente por r 3
sr.
El caso (d) es parecido al caso (c). Razonando como antes, llegaramos
a que Y
i1
(z) est a cerca del disco D(X(p
i+1
),
3
s
/
+ 5
0
) contenido en
un plano perpendicular a e
i+1
3
que pasa por X(p
i+1
). Ahora, como el
disco D(X(p
i+1
),
3
s
/
+5
0
) est a ubicado de forma muy parecida al disco
D(X(p
i
),
3
s
/
+ 5
0
) del caso anterior (ya que X(p
i
) X(p
i+1
) y e
i
3

e
i+1
3
) podemos remitirnos a seguir razonando como en el caso (c).
Por ultimo, para el caso (e), se tiene
X(p
i
) X(z) . . . X
n
(z) . . . Y
i1
(z).
Aqu X(p
i
) X(z) se deber a a que X es casi constante sobre Q
i
B
i
.
Como (Y
i1
(z))
3,T
i
= (Y
i
(z))
3,T
i
, se tiene que Y
i
(z) ser a cercano a un plano
que pasa por X(p
i
) que es perpendicular a X(p
i
). Un argumento, como
el usado en la gura 3.4, nos llevar a a que la distancia de ese plano al
origen es mayor que r 3
sr. Obs ervese que Y

i
(z) . . . Y
n
(z); con lo
que Y
n
(z) ser a pr oximo a dicho plano, y por tanto su norma est a acotada
inferiormente por r 3
sr.
Con esto, damos por terminado el esbozo de los argumentos con los que
demostraremos que Y
n
verica las tesis del lema 3.3. A continuaci on, realiza-
remos con detalle todo lo comentado desde el principio de esta secci on. Em-
pezaremos construyendo la familia de inmersiones Y
1
, . . . , Y
n
.
Lo primero que vamos a hacer, es denir una colecci on de entornos de los
arcos C
1
, . . . , C
n
y de las curvas Q
1
, . . . , Q
n
.
91

OLICAS
Figura 3.5: Las inmersiones X
i
y X
i+1
sobre D(p
i
, ) y
D(p
i+1
, ), respectivamente.
92
OLICAS Y PROPIAS
Para cada i = 1 . . . , n, sea

C
i
un abierto contiendo a C
i
, sucientemente
peque no para satisfacer:
|X
n
(z) X
n
(a
i
)| < 3
0
, z

C
i
. (3.32)
N otese que se puede denir

C
i
de este modo, ya que la desigualdad (3.32) es
cierta para z C
i
. Ve amoslo: sea z C
i
entonces
|X
n
(z) X
n
(a
i
)| < |X
i
(z) X
i
(a
i
)| +2
0
< 3
0
,
donde se han usado las propiedades (O1
k
) y (L4
i
).
Para denir los entornos de las curvas Q
i
, es necesario denir una constante
positiva
1
vericando
2
1
<
1
2
min
Q
i
[ f
(X
n
,T
i
)
[, i = 1, . . . , n. (3.33)
Tengamos en cuenta que
1
puede ser elegida positiva debido a que (3.31) ga-
rantiza que min
Q
i
[ f
(X
n
,T
i
)
[ ,= 0.
Luego, Para cada i = 1, . . . , n, se dene
Q
i
= z C : dist
(R
2
,,))
(z, Q
i
) ,
donde asumiremos que 0 < es sucientemente peque no para que se satisfaga
lo siguiente para i = 1, . . . , n:
(P1) Q
i

/
;
(P2) Q
i
Q
j
= , para i ,= j;
(P3) Q
i
D(p
k
, ) = , para k , i, i +1;
(P4) Q
i
B
i
;
(P5) Q
/2
i
y Q
i
son simplemente conexos;
(P6) Para cada z Q
i
se tiene que
[ f
(X
n
,T
i
)
(z) f
(X
n
,T
i
)
(x)[ <
1
, x B(z, /2);
(P7) supdist
_
Q
i
,,)
_
(0, z) : z Q
i
< l.
93

OLICAS
Observemos que estas propiedades pueden lograrse para sucientemente
peque no. Las propiedades (P1), (P2) y (P5) se deben a que las Q
1
, . . . , Q
n
son
una familia de curvas simples disjuntas dos a dos contenidas en el borde de
. Las propiedades (P3), (P4) y (P7) se obtienen gracias a (3.30), (3.29) y (M4),
respectivamente. La propiedad (P6) se sigue de la continuidad uniforme de
f
(X
n
,T
i
)
sobre Q
i
.
Notaremos Y
0
def
= X
n
. Vamos a construir de manera recurrente la familia de
inmersiones minimales conformes
Y
1
Y
2
. . . Y
n
con Y
i
:
/
R
3
y Y
i
(0) = (0, 0, 0). Tambi en, deniremos una familia de
constantes positivas
1
, . . . ,
n1
y
1
, . . . ,
n1
. Estas familias vericar an las
siguientes propiedades para i = 1, . . . , n:
(Q1
i
) (Y
i
)
3,T
i
= (Y
i1
)
3,T
i
;
(Q2
i
) |Y
i
(z) Y
i1
(z)| <

0
n
, z Q
i
;
(Q3
i
) [ f
(Y
i
,T
k
)
(z) f
(Y
i1
,T
k
)
(z)[ <

1
n
, z Q
i
, para k = i +1, . . . , n;
(Q4
i
) la constante
i
es sucientemente grande, y
i
sucientemente peque na
para que:
_
1
i
+

i
i
(
i
i
)
_
max
Q
i
[ f
(Y
i1
,T
i
)
g
2
(Y
i1
,T
i
)
[ +
i
max
Q
i
[ f
(Y
i1
,T
i
)
[ <
2
;
(Q5
i
) la constante
i
es sucientemente grande para que:
1
2
_
4
min
Q
i
[ f
(Y
0
,T
i
)
[ 1
_
> 2(r + s) + 1.
Denamos Y
1
, . . . , Y
n
por recurrencia. Supongamos que tenemos construidas
Y
0
, Y
1
, . . . , Y
i1
, para alg un i 1, . . . , n. Se dene Y
i
(z) = Re
_
z
0
una in-
mersi on con Y
i
(0) = (0, 0, 0) tal que su datos de Weierstrass est an dados por:
(Y
i
,T
i
)
=
(Y
i1
,T
i
)
l
i
, g
(Y
i
,T
i
)
=
g
(Y
i1
,T
i
)
l
i
,
donde l
i
: C C es una funci on holomorfa que verica:
(R1) l
i
(z) ,= 0, z C;
(R2) [l
i
(z)
i
[ <
i
, z Q
/2
i
;
94
OLICAS Y PROPIAS
(R3) [l
i
(z) 1[ <
i
, z Q
i
.
Esto es, Y
i
:
/
R
3
ha sido denida a partir de Y
i1
:
/
R
3
mediante
una transformaci on de L opez-Ros, en el sistema de referencia T
i
y usando la
funci on l
i
. La inmersi on Y
i
est a bien denida (no hay problema de periodos)
ya que l
i
es una funci on holomorfa sin ceros y
/
un conjunto simplemente
conexo.
La existencia de la funci on l
i
, se deduce como sigue. Como Q
/2
i
y Q
i
son dos conjuntos compactos disjuntos simplemente conexos, por medio del
teorema de Runge (teorema 1.15) podemos obtener, para > 0 arbitrario, una
funci on holomorfa : C C tal que
[
(z)[ < , z Q
i
[
(z)
/
i
[ < , z Q
/2
i
, (3.34)
donde e
/
i
=
i
. Se puede denir la funci on l
i
(z) = e
(z)
, z C; la cual veri-
car a las propiedades requeridas, si es elegido bastante cercano a 0.
La inmersi on Y
i
, as denida, satisface (Q1
i
) de manera directa, ya que ha
sido denida a partir de Y
i1
por medio de una transformaci on de L opez-Ros
usando el sistema de referencia T
i
. El resto de propiedades ser an vericadas
por Y
i
, si suponemos que en su denici on,
i
ha sido tomado sucientemente
grande y
i
sucientemente peque no. De esta manera, claramente se obtie-
nen las propiedades (Q4
i
) y (Q5
i
). T engase en cuenta la propiedad (3.31) para
obtener (Q5
i
). Para deducir las propiedades (Q2
i
) y (Q3
i
), recu erdese que l
i
converge uniformemente 1 sobre Q
i
cuando
i
0; y por tanto, como
vimos en la secci on 1.2.2, se tiene que:
f
(Y
i
,T
k
)
i
0
f
(Y
i1
,T
k
)
, uniformemente sobre Q
i
.
Adem as, se tiene que:
|Y
i
(z) Y
i1
(z)|
4 sup
pQ
i
_
dist
(Q
i
,,))
(0, p)
_
sup
Q
i
_
|
(Y
i
,T
i
)
(Y
i1
,T
i
)
|
_
4 l sup
Q
i
_
|
(Y
i
,T
i
)
(Y
i1
,T
i
)
|
_
,
donde se ha tenido en cuenta (P7). Ahora bien, como
(Y
i
,T
i
)
converge unifo-
memente a
(Y
i1
,T
i
)
en Q
i
cuando
i
0, se verican (Q2
i
) y (Q3
i
), para
i
Esto concluye la denici on por recurrencia de las inmersiones Y
1
, . . . , Y
n
.
En la siguiente secci on, comprobaremos que la inmersi on Y
n
es la que de-
muestra el lema 3.3, con lo que daremos t ermino a su prueba.
95

OLICAS
3.2.3 Denici on de la Inmersi on Y
Denimos la inmersi on Y : R
3
como Y = Y
n
. Comprobaremos que
esta inmersi on satisface las tesis del lema: (H1), . . . ,(H4).
Propiedad (H2): Las propiedades (P4) y (J2), arman que tanto Q
i
como
D(p
i
, ) est an contenidos en B
i
, y como B
i
no corta a Int P (ver p agina 68),
entonces se tiene que
Int P ((
n
k=1
D(p
k
, )) (
n
k=1
Q
k
)).
Por esta raz on podemos aplicar las propiedades (O1
k
) y (Q2
k
) sucesivamente
para z Int P y deducir que:
|Y(z) X(z)| |Y
n
(z) Y
0
(z)| +|X
n
(z) X
0
(z)| < 2
0
. (3.35)
Suponiendo que
0
fue elegido menor que b
1
/2, se concluye la propiedad (H2).
Propiedades (H1) y (H3): Consid erese el siguiente enunciado:
Toda curva plana con origen en 0 C y terminando en un punto del
borde de , posee un punto z
/
tal que |Y(z
/
)| > r + s.
(3.36)
Supongamos que la armaci on (3.36) fuese cierta. Si denimos
K = z : |Y(z)| = r + s,
O = z : [|Y(z)| (r + s)[ < minb
2
, s/3,
queda claro por (3.36) que K corta a toda curva divergente que parta del origen.
Gracias a ello, podramos aplicar la proposici on 2.12, (obs ervese que Y(0) = 0),
con lo cual existira una poligonal Qcontenida en O. N otese que OInt P = ,
ya que para z Int P se tiene que
|Y(z)| |X(z)| +2
0
< r + s/2 +2
0
< r +2s/3.
Lo anterior es consecuencia de (3.35), (3.1) y de suponer que
0
fue tomado
sucientemente peque no. De este modo, se vericar a que Q P = ; y por
tanto Int P Int Q. Gracias a lo anterior, no es difcil ver que la poligonal Q
satisface la propiedades (H1) y (H3).
En conclusi on, para probar la existencia de una poligonal que verique las
propiedades (H1) y (H3), bastar a demostrar (3.36). A continuaci on mostramos
la veracidad de dicha armaci on.
96
OLICAS Y PROPIAS
Sea una curva con (0) = 0 y (1) = z
0
.
Antes de comprobar que la curva est a en las condiciones de (3.36), esto
es, que para alguno de los puntos de la curva z
/
se tiene |Y(z
/
)| > r + s,
mostraremos que
|Y
n
(z)| > r + s, z

C
i
, i = 1, . . . , n.
Sea z

C
i
, para alg un i 1, . . . , n. Por (P3), sabemos que

C
i
no corta a Q
k
para k , i, i 1. Luego, los tres casos que estudiamos a continuaci on, son
los unicos posibles. Esto es o z Q
i
o z Q
i1
o z ,
n
k=1
Q
k
.
Supongamos que z

C
i
Q
i
.
Entonces usando (Q2
k
), para k = i +1, . . . , n se tiene
|Y
n
(z)| |Y
i
(z)|
0
[(Y
i
(z))
3,T
i
[
0
=
por (Q1
i
) y de nuevo (Q2
k
), para k = 1, . . . , i 1, se sigue
= [(Y
i1
(z))
3,T
i
[
0
[(Y
0
(z))
3,T
i
[ 2
0
>
recordando que Y
0
= X
n
y teniendo en cuenta las propiedades (3.32),
(3.28) y (O4
i
), terminamos con
> [(X
n
(a
i
))
3,T
i
[ 5
0
= |X
n
(a
i
)| 5
0
> (r + s) 5
0
> r + s,
donde hemos supuesto de nuevo que
0
es sucientemente peque no. Lo
anterior demuestra que |Y
n
(z)| > r + s, z

C
i
Q
i
.
Supongamos que z

C
i
Q
i1
.
Razonando como en el caso anterior, pero esta vez considerando la terce-
ra coordenada en el sistema de referencia T
i1
, tenemos
|Y
n
(z)| [(Y
0
(z))
3,T
i1
[ 2
0
[(X
n
(a
i
))
3,T
i1
[ 5
0

Llegados a este punto, no es posible usar (3.28) directamente, como en el
caso anterior. Sin embargo usando (O3
i1
) podemos ponernos en situa-
ci on de aplicar (3.28) y (O4
i1
), como vemos a continuaci on:
[(X
n
(a
i1
))
3,T
i1
[
0
(2
2
s
/
+17) 5
0
=
=[X
n
(a
i1
)[
0
(2
2
s
/
+17) 5
0

(r + s)
0
(2
2
s
/
+17) 5
0
r + s.
Aqu, hemos vuelto a suponer que
0
es sucientemente peque no para
vericar la ultima desigualdad.
Observemos que el caso especial

C
1
Q
n
, cuando i = 1, se prueba de la
misma manera que acabamos de ver.
97

OLICAS
Por ultimo, supongamos que z

C
i

n
k=1
Q
k
.
Entonces, utilizando algunos de los razonamientos empleados en los dos
caso anteriores, donde se usaba que z

C
i
, se tiene:
|Y
n
(z)| |Y
0
(z)|
0
> |X
n
(a
i
)| 4
0
> (r + s) 4
0
> r + s.
Acabamos de probar que |Y
n
(z)| > r + s, z

C
i
. De esto, deducimos
que si la curva no corta a z : |Y(z)| > r + s, entonces no corta a ning un
conjunto

C
i
, i = 1, . . . , n. Consideremos, por tanto, que z
0
= (1) pertenece al
borde de y que z ,
n
k=1
C
k
. Esto supone que z
0
Q
i
, para cierto i = 1, . . . , n.
Consideremos z
1
D(z
0
, /2). Obs ervese que, por (P1), tiene sentido
hablar de Y(z) para z z
1
z
0
; ya que z
1
z
0
Q
/2
i
.
Para terminar de comprobar que corta a z : |Y(z)| > r + s, razonare-
mos de la siguiente manera. La inmersi on Y
i
haba sido construida tal que su
m etrica intrnseca sobre Q
/2
i
era grande en funci on de
i
, (como consecuencia
de la propiedad (R2)). Gracias a esto, y teniendo en cuenta que las inmersio-
nes Y
n
y Y
i
son pr oximas en Q
/2
i
, es posible deducir que |Y
n
(z
0
) Y
n
(z
1
)| es
tambi en grande en funci on de
i
. As, comprobaremos que, para
i
suciente-
mente grande, tendremos que o bien |Y
n
(z
0
)| > r + s o bien |Y
n
(z
1
)| > r + s,
con lo que se concluir a que corta a z : |Y(z)| > r + s.
En los siguientes c alculos consideraremos el sistema de referencia T
i
, de-
nido por (3.28). Por simplicar un poco la notaci on, escribiremos f
i1
en vez
de f
(Y
i1
,T
i
)
, y g
i1
por g
(Y
i1
,T
i
)
. Entonces, usando las propiedades (Q2
k
) tene-
mos que:
|Y
n
(z
0
) Y
n
(z
1
)| |Y
i
(z
0
) Y
i
(z
1
)| 2
0

|(Y
i
(z
0
) Y
i
(z
1
))
1,T
i
w
i
1
+ (Y
i
(z
0
) Y
i
(z
1
))
2,T
i
w
i
2
| 2
0
=,
teniendo en cuenta la denici on de Y
i
a partir de su representaci on de Weiers-
trass, y adoptando una notaci on compleja, podemos seguir
=
Re
_
1
2
_
z
1
z
0
f
i1
l
i
f
i1
(g
i1
)
2
l
i
dz
_
+
+i Re
_
i
2
_
z
1
z
0
f
i1
l
i
+
f
i1
(g
i1
)
2
l
i
dz
_
2
0
=
=
1
2
_
z
1
z
0
f
i1
l
i
dz
_
z
1
z
0
f
i1
(g
i1
)
2
l
i
dz
2
0
.
Queremos ver que la anterior cantidad es pr oxima a
i
_
z
1
z
0
f
i1
dz, ya que el
segundo sumando de la integral es peque no y la funci on l
i
se aproxima a
i
98
OLICAS Y PROPIAS
en z
1
z
0
Q
/2
i
. Continuando los anteriores c alculos, sumamos y restamos
algunos t erminos, y queda
|Y
n
(z
0
)Y
n
(z
1
)|
1
2
i
_
z
1
z
0
f
i1
dz
1
2
i
_
z
1
z
0
f
i1
(g
i1
)
2
dz
1
2
_
z
1
z
0
f
i1
(l
i
i
)dz
1
2
_
z
1
z
0
f
i1
(g
i1
)
2
_
1
l
i
i
_
dz
2
0

utilizando (R2), (Q4
i
) y que long(z
1
z
0
, , )) = /2,

i
2
_
z
1
z
0
f
i1
dz

4
_
1
i
max
Q
i
[ f
i1
(g
i1
)
2
[+
+
i
max
Q
i
[ f
i1
[ +

i
i
(
i
i
)
max
Q
i
[ f
i1
(g
i1
)
2
[
_
2
0

1
2
_
_
z
1
z
0
f
i1
dz
1
_
2
0
.
Para obtener una cota inferior apropiada de |Y
n
(z
0
) Y
n
(z
1
)| calcularemos
una cota inferior de [
_
z
1
z
0
f
i1
[, z
1
, z
0
que no dependa de
i
. Sumando y res-
tando algunos t erminos, se tiene
_
z
1
z
0
f
i1
(z)dz
f
(Y
0
,T
i
)
(z
0
)
_
z
1
z
0
dz
_
z
1
z
0
( f
(Y
0
,T
i
)
(z
0
) f
(Y
0
,T
i
)
(z))dz
_
z
1
z
0
( f
(Y
0
,T
i
)
(z) f
i1
(z))dz
y gracias a (Q3
k
), k = 1, . . . , i 1, (P6), y (3.33), deducimos que

2
([ f
(Y
0
,T
i
)
(z
0
)[
1
1
)

2
(min
Q
i
[ f
(Y
0
,T
i
)
[ 2
1
)

4
min
Q
i
[ f
(Y
0
,T
i
)
[.
Por tanto,
|Y
n
(z
0
) Y
n
(z
1
)|
1
2
_
i

4
min
Q
i
[ f
(Y
0
,T
i
)
[ 1
_
2
0
,
y usando que
i
es sucientemente grande, tal y como indica (Q5
i
), se tiene
|Y
n
(z
0
) Y
n
(z
1
)| > 2(r + s) + 1 2
0
> 2(r + s), (3.37)
99

OLICAS
para
0
sucientemente peque no. De la anterior desigualdad, se deduce que,
o bien |Y
n
(z
0
)| > r + s, o bien |Y
n
(z
1
)| > r + s. Con lo cual, se obtiene que
corta a z : |Y(z)| > r + s en z
/
= z
0
o z
/
= z
1
.
Con esto concluye la prueba de que existe una poligonal Q satisfaciendo
(H1) y (H3).
Propiedad (H4): Consideremos z Int Q Int P, y veamos que |Y(z)| >
r 3
sr. Para ello, distinguiremos entre cinco posibles casos, y acotaremos

|Y(z)| por separado en cada uno. Estos cinco casos son z , (
n
k=1
D(p
i
, ))
(
n
k=1
Q
i
), z D(p
i
, )
n
k=1
Q
k
, z D(p
i
, ) Q
i
, z D(p
i+1
, ) Q
i
y z
Q
i

n
k=0
D(p
k
, ). N otese que, por (P3), sabemos que Q
i
solo puede cortar a
D(p
i
, ) o a D(p
i+1
, ), pero no a ninguno de los otros discos.
Supongamos que z , (
n
k=1
D(p
k
, )) (
n
k=1
Q
k
).
Sobre este conjunto las inmersiones Y = Y
n
y Y
0
= X
n
son pr oximas,
(propiedades (O1
k
)), y X
n
y X
0
= X tambi en, (propiedades (Q2
k
)). Te-
niendo en cuenta adem as la hip otesis (3.1) del lema 3.3, deducimos que:
|Y
n
(z)| |X(z)| 2
0
> r 2
0
> r 3
sr,
para
0
sucientemente peque no en funci on de r y s.
Supongamos que z D(p
i
, )
n
k=1
Q
k
, para alg un i = 1, . . . , n.
En este caso, Y
n
y Y
0
son pr oximas, por (Q2
k
); y X
n
y X
i
tambi en, por las
correspondientes propiedades (O1
k
). Luego,
|Y
n
(z)| |X
i
(z)| 2
0

Sin embargo no es posible aplicar (O1
i
). En cambio, usaremos (O2
i
),
[(X
i
(z))
3,S(p
i
)
[ 2
0
= [(X
i1
(z))
3,S(p
i
)
[ 2
0
[(X(z))
3,S(p
i
)
[ 3
0

y como X es casi constante en D(p
i
, ), como indica la propiedad (3.6); y
(X(p
i
))
3,S(p
i
)
e
i
3
= X(p
i
) por denici on de S(p
i
), concluimos con
[(X(p
i
))
3,S(p
i
)
[ 4
0
= |X(p
i
)| 4
0
> r 4
0
> r 3
sr,
para
0
Supongamos que z D(p
i
, ) Q
i
, para alg un i = 1, . . . , n.
Realizando razonamientos iguales a los utilizados en los dos anteriores
casos, se tiene:
|Y
n
(z)| |Y
i
(z)|
0
[(Y
i
(z))
3,T
i
[
0
=
= [(Y
i1
(z))
3,T
i
[
0
[(Y
0
(z))
3,T
i
[ 2
0

100
OLICAS Y PROPIAS
Ahora queremos usar las propiedades (O4
i
) y (O5
i
), (n otese que z G
i
gracias a (M5)). Para ello, sumamos y restamos algunos t erminos,
[(X
n
(a
i
))
3,T
i
[ [(X
n
(a
i
))
3,T
i
(X
n
(q
i
))
3,T
i
[
[(X
n
(q
i
))
3,T
i
(X
n
(z))
3,T
i
[ 2
0
>
Por la manera en que se deni o el sistema de referencia T
i
se tiene que
[(X
n
(a
i
))
3,T
i
[ = |X
n
(a
i
)|. Luego, usando adem as (O4
i
) y (O5
i
), obtene-
mos lo siguiente
|Y
n
(z)| > (r + s) 2
3
s
/
12
0
=
recurriendo a las deniciones de s
/
y en la p agina 67, se tiene
= (r + s) 2
3
_
4
(r + s)
2
r
2
12
0
>
> r 2
_
(r + s)
2
r
2
12
0
= r 2
_
s(s +2r) 12
0
sabiendo que que s < r/100, (hip otesis de lema 3.3),
> r 2
_
_
1
100
+2
_
sr 12
0
> r 3
sr.
Supongamos ahora que z D(p
i+1
, ) Q
i
.
Este caso es parecido al anterior. Podemos deducir, de igual manera, que
|Y
n
(z)| [(X
n
(a
i+1
))
3,T
i
[ [(X
n
(a
i+1
))
3,T
i
(X
n
(q
i+1
))
3,T
i
[
[(X
n
(q
i+1
))
3,T
i
(X
n
(z))
3,T
i
[ 2
0

[(X
n
(a
i+1
))
3,T
i
[ 2
3
s
/
12
0

En este caso, para dar una cota inferior de [(Y
0
(a
i+1
))
3,T
i
[ es necesario
usar (O3
i
). As, continuamos con:
[(X
n
(a
i
))
3,T
i
[ [(X
n
(a
i
))
3,T
i
(X
n
(a
i+1
))
3,T
i
[ 2
3
s
/
12
0
>
> (r + s)
0
(2
2
+17) 2
3
s
/
12
0
r 3
sr,
donde la ultima desigualdad se obtiene de igual forma que en el caso
anterior.
N otese que la demostraci on que acabamos de realizar tambi en es v alida
para el caso particular z D(p
1
, ) Q
n
, si consideramos en los c alculos
el sistema de referencia T
n
.
101

OLICAS
Por ultimo, supongamos que z Q
i

n
k=1
D(p
k
, ).
Consideremos el sistema de referencia T
i
. Un razonamiento igual al de
los dos casos anteriores, da
|Y
n
(z)| [(X
n
(a
i
))
3,T
i
[ [(X
n
(a
i
))
3,T
i
(X
n
(q
i
))
3,T
i
[
[(X
n
(q
i
))
3,T
i
(X
n
(z))
3,T
i
[ 2
0

Obs ervese que no es posible aplicar (O5
i
) en el tercer sumando, ya que
z , G
i
. En cambio, s es posible aplicar (O1
k
) sucesivamente. Luego,
aplicando (O4
i
) para el primer sumando, (O5
i
) para el segundo, y (O1
k
),
k = 1, . . . , n para el tercero, se tiene
(r + s)
3
s
/
9
0
[(X(q
i
))
3,T
i
(X(z))
3,T
i
[
y como z B
i
podemos usar (3.6), con lo cual:
|Y
n
(z)| (r + s)
3
s
/
10
0
> r 3
sr.
Con esto se naliza la distinci on de casos que habamos realizado, y con
ello la comprobaci on de la propiedad (H4).
De esta manera concluimos que Y = Y
n
es una inmersi on que verica to-
das las propiedades que requera el lema 3.3, y por tanto podemos dar por
terminada su demostraci on. Asimismo, esto signica que la demostraci on del
teorema 3.2 ha sido completada; lo que concluye este captulo.
102
INDICE DE NOTACI

ON
C esfera de Riemann: C
S
2
esfera unidad en R
3
D disco abierto unidad en C
D
D menos el origen
D
r
disco abierto de radio r en C
D(p, r) disco abierto en C de radio r centrado en p
B
r
bola abierta de radio r en R
3
Int dominio interior de la curva de Jordan
a b a es pr oximo a b
A : D D involuci on, A(z) = z
H
p
(A) pesimo grupo de homologa de A con
coecientes en Z
, ) m etrica eucldea
tipo conforme nito p agina vi
tipo nito p agina vi
g enero nito p agina viii
o, o
X
m etricas riemanianas, p agina 5
(x)
i,T
, (x)
i
p agina 6
K
X
, H
X
p agina 6
G
X
p agina 6
long(, o), dist
(B,o)
(, ) p agina 6
_
p
p
0
j
p agina 7
Re
_
p
p
0
p agina 9
i,T
p agina 9
= (
1
,
2
,
3
, T) representaci on de Weierstrass, p agina 8
103

OLICAS
(, g) datos de Weierstrass, p agina 10
(
(,T)
, g
(,T)
) p agina 10
X
p agina 11
(X,T)
, (
(X,T)
, g
(X,T)
) p agina 11
f , = (
1
,
2
,
3
, T) p agina 11
(X,T)
, f
(X,T)
, f
(,T)
p agina 11
||, |
| p agina 11
topologa nita p agina 23
C(X) p agina 26
(P, Q) par poligonal, p agina 27
T(P, Q) p agina 27
(P
, Q
) par poligonal paralelo a

distancia , p agina 27
(a, b) angulo formado entre a y b
en R
3
, p agina 45
polos y ceros de una p agina 66
representaci on de Weierstrass
104
BIBLIOGRAF
IA
[Ahl] L. V. Ahlfors, Invariant topics in geometric function theory. McGraw-Hill,
New York, 1973.
[Ber] S. Bernstein,

Uber ein geometrisches theorem und seine anwendung auf die
partiellen differentialgleichungen vom elliptischen typus. Math. Z., 26, (1927),
551-558.
[Bre] G. E. Bredon Topology and Geometry. Graduate Texts in Math., 139, Sprin-
ger Verlag, New York, 1991.
[Br1] F. F. de Brito, Power series with Hadamard gaps and hyperbolic complete mi-
nimal surfaces. Duke Math. J., 68 (1992), N
o
2, 297-300.
[Br2] F. F. de Brito, Many-ended complete minimal surfaces between two parallel
planes. Preprint.
[Cal] E. Calabi, Proceedings of the United States-Japan Seminar in Differential Geo-
metry. Kyoto, 1965, Nippon Hyoronsha Co., Tokyo, 1966.
[Col] P. Collin, Topologie et courbure des surfaces minimales de R
3
. Annals of
Math. 2nd Series, (1997), 145-1:1-31.
[CoRo] P. Collin, H. Rosenberg, Notes sur la d emonstration de N. Nadirashvili des
conjectures de Hadamard et Calabi-Yau. Bull. Sci. math., 123, (1999), N
o
7,
563-576.
105

OLICAS
[CKMR] P. Collin, R. Kusner, W. H. Meeks III, H. Rosenberg The topology, geo-
metry and conformal structures of properly embedded minimal surfaces. Pre-
print.
[Co1] J. B. Conway, Functions of one complex variable. Graduate Texts in Math.,
11, Springer Verlag, New York-Heidelberg, 1973.
[Co2] J. B. Conway, Functions of one complex variable II. Graduate Texts in Math.,
159, Springer Verlag, New York, 1995.
[CoSi] C. Costa, P. A. Q. Sim oes, Complete minimal surfaces of arbitrary genus in
a slab of R
3
. Ann. Inst. Fourier (Grenoble), 46 (1996), 535-546.
[DHKW] [2] U. Dierkes, S. Hildebrandt, A. K uster, O. Wohlrab, Minimal sur-
faces, volumen I y II. Grundlehren der Mathematischen Wissenschaften,
295-6. Springer-Verlag, Berlin, 1992.
[Enn] A. Enneper, Analytsch-geometrische Untersuchungen. Z. Math. Phys., 9,
(1864), 96-125.
[Gri] A. Grigoryan, Analytic and geometric background of recurrence and non-
explosion of the brownian motion on riemannian manifolds. Bull. Amer. Math.
Soc. (N.S.), 36, (1999), 135249
[Had] J. Hadamard, Les surfaces a courbures opposees et leur lignes geodesiques. J.
Math. pure et appl., 4, (1898), 27-73.
[HoMe] D. Hoffman, W. H. Meeks III, The strong halfspace theorem for minimal
surfaces. Invent. math., 101, (1990), 373-377.
[Hub] A. Huber, On subharmonic functions and differential geometry in the large.
Comment. Math. Helv., 32, (1957), 13-72.
[JoMe] L. P. M. Jorge, W. H. Meeks III, The topology of complete minimal surfaces
of nite total Gaussian curvature. Topology, 2, (1983), 203-221.
[JoXa] L. P. M. Jorge, F. Xavier, A complete minimal surface in R
3
between two
parallel planes. Ann. of Math., 112, (1980), 203-206.
[Kaz] J. L. Kazdan, Some applications of partial differential equations to problems in
geometry. Surveys in Geometry, 1983/84.
[Lag] J. L. Lagrange, Essai dune nouvelle m ethode pour d eterminer les maxima et
minima des formules int egrales indenies. Miscellanea Taurinensia 2 (1760-
1), 173-95; Oeuvres de Lagrange. Vol. 1, Gauthiers-Villars, Paris, 1867.
[Lo1] F. J. L opez, A nonorientable complete minimal surface in R
3
between two pa-
rallel planes. Proc. Amer. Math. Soc., 103, (1988), 913-917.
106
BIBLIOGRAFIA
[Lo2] F. J. L opez, Hyperbolic complete minimal surfaces with arbitrary topology.
Trans. Amer. Math. Soc., 350, (1998), 1977-1990.
[Lo3] F. J. L opez, Some Picard theorems for minimal surfaces. Preprint.
[LMM] F. J. L opez, F. Martn, S. Morales, Adding handles to Nadirashvilis surfa-
ces. J. Differential Geom. 60, (2002), 155-175.
[LoPe] F. J. L opez, J. P erez, Parabolicity and Gauss map of minimal surfaces. Apa-
recer a en Indiana Univ. Math. J.
[LR] F. J. L opez, A. Ros, On embedded complete minimal surfaces of genus zero. J.
Differential Geometry., 33, (1991), 293300.
[LySu] T. Lyons, D. Sullivan, Function theory, random paths and covering spaces.
J. Differential Geometry, 19, (1984), 299323.
[MM] F. Martn, S. Morales, A complete bounded minimal cylinder in R
3
. Michi-
gan Math. J., 47, (2000), no. 3, 499-514.
[Mee] W. H. Meeks III, Global problems in Classical minimal surfaces theory. Pre-
print.
[MR1] W. H. Meeks III, H. Rosenberg, Maximum principles at innity with appli-
cations to minimal and constant mean curvature surfaces. Preprint.
[MR2] W. H. Meeks III, H. Rosenberg, The uniqueness of the helicoid and the
asymptotic geometry of properly embedded minimal surfaces with nite topology.
Preprint.
[Mo1] S. Morales, Acotaci on en supercies minimales completas. Tesis de Licen-
ciatura, Universidad de Granada, 2000.
[Mo2] S. Morales, On the existence of a proper minimal surface in R
3
with the con-
formal type of a disk. Preprint.
[Nad] N. Nadirashvili, Hadamards and Calabi-Yaus conjectures on negatively
curved and minimal surfaces. Invent. math., 126, (1996), 457-465.
[Os1] R. Osserman, A hyperbolic surface in 3-space. Proc. Amer. Math. Soc., 7,
(1956), 54-58.
[Os2] R. Osserman, Proof of a conjecture of Nirenberg. Comm. Pure Appl. Math.,
12, (1959), 229-232.
[Os3] R. Osserman, On complete minimal surfaces. Arch. Rational Mech. Anal.,
13, (1963), 392-404.
107

OLICAS
[Os4] R. Osserman, Global properties of minimal surfaces in E
3
and E
n
. Ann. of
Math., (2) 80, (1964), 340-364.
[Os5] R. Osserman, A survey of minimal surfaces. Second edition. Dover Publi-
cations, Inc., New York, 1986.
[RoTo] H. Rosenberg, E. Toubiana, A cylindrical type complete minimal surface in
a slab of R
3
. Bull. Sci. Math., (2), 111, (1987), N
o
3, 241-245.
[We1] K. Weierstrass, Fortsetzung der Untersuchung uber die Minimal achen. Mo-
natsbericht der K onigl. Akademied. Wiss., (1887), 511-518.
[We2] K. Weierstrass, Analytische Bestimmung einfach zusammenh angender Mini-
mal achen, deren Begrenzung aus geradliningen, ganz im endlinchen liegenden
Strecken besteht. Math. Werke, 3, (1903), 221-238. Mayer & M uller, Berlin.
[Wie] N. Wiener, Differential space. J. Math. Phys. Mass. Techn., 2, (1923), 131-
174.
[Xav] F. Xavier, Convex hulls of complete minimal surfaces. Math. Ann. 269,
(1984), 179-182.
[Ya1] S.-T. Yau, Problemsection, in the Seminar on Differential Geometry. Princeton
University Press. Princeton, Ann. Math. Study., 102, 669-706, 1982.
[Ya2] S.-T. Yau, Review of geometry and analysis. Mathematics: frontiers and pers-
pectives. Amer. Math. Soc. Providence, RI, 353401, 2000.
108
v. 25-9-2002

Tesis Doctoral PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Tesis Doctoral PDF

Uploaded by

Copyright:

Available Formats

TESIS DOCTORAL

Indice de Notaci on 103

ON 1.4: Dada una supercie de Riemann M (sin borde), la clasicaremos

ON 1.6: Dada una supercie de Riemann M con frontera no vaca, dire-

ON 1.9: Consideremos o una m etrica riemanniana sobre una variedad N,

ON 1.10: Una inmersi on X : M R

ON 1.11: Una representaci on de Weierstrass ser a una cuadrupla =

ON 1.12: Sobre la anterior denici on podemos hacer las siguientes ob-

ON 1.13: Dado un par (, g) formado por una forma holomorfa y una

(z) (z)| no depende de la

, de tal forma que apenas se modica en

en cualquier base ortonormal S, converger an a los datos de , esto es:

y respectivamente, expresadas en la base S.

cuando 0, se puede deducir que X y

X(z) X(z)| 4 sup

X(p)|, p , como indicamos. Respecto

para alg un (0, 1),

ON 1.25: Un mapa de ciudad en un plano R

el disco unidad abierto menos el origen. Diremos que una

est a bien denida para z D

ON 2.3: Una poligonal P ser a una curva de Jordan en R

ON 2.4: Sea > 0, diremos que (P

) es un par poligonal paralelo

) es un nuevo par poligonal formado por lados paralelos a

) T(P, Q). A lo largo de la

, donde es una representaci on de Weiers-

, tan solo ejercemos un control sobre ellas en dominios bordeados por

, donde es una representaci on de Weiers-

(propiedad (B6)) con el n de obtener una nueva

, sin tener que preocuparnos

ON 2.8: A lo largo de la demostraci on del lema 2.5, trabajaremos con

segmentos de igual longitud (supondremos que N

) tengan sentido para todo

conforme a la eucldea, que verica:

ON: La propiedad (D1) se deduce claramente de

los angulos interiores formados por la poligonal P en sus

para todo 0 . Denidos r

para todo . En particular r

ON: En la demostraci on buscaremos h de la forma h(z) = e

: C 0 C (con un polo en cero) tal que:

ON: Para demostrar (F1) es suciente aplicar sucesivamente las

C una funci on holomorfa, obtenida por la

. Obs ervese que F

ON 2.12: Sea K C un compacto con 0 , K, tal que corta a toda curva

. De esta forma, Y verica

sr > r/2, z Int Q Int P.

ON 3.4: Existen, un abierto simplemente conexo W, con Int P W

ON: Por (3.1), z

ON 3.5: En lo que resta, seguiremos la convenci on de que

satisface las propiedades (L1

ON 3.6: Para todo z q

ON: Esta armaci on, en buena parte, es debida a la forma de la

aplicando sucesivamente (L6

nalmente, por (J6), terminamos armando que

ON 3.7: Para i = 1, . . . , n, se satisface:

ON: La primera propiedad es consecuencia de la proximidad de

sr. Adem as, como Y

sr. Obs ervese que Y

sr. Para ello, distinguiremos entre cinco posibles casos, y acotaremos

) par poligonal paralelo a

You might also like