Superficies mı́nimas

Presentado por:
Victor Alfonso Diaz Mercado
Carlys Mendoza Amor
Estudiantes de Matemáticas Universidad de Antioquia

Profesor:
Fabricio Valencia

Universidad de Antioquia
Facultad de Ciencias Exactas y Naturales
Instituto de Matemáticas
Caucasia
14 de Noviembre de 2018
Introducción
Nos concentraremos en elementos de superficie (que al menos localmente) tienen área superficial mı́nima
y por tanto nos referimos a ellos como Superficies mı́nimas. Las superficies mı́nimas se asocian generalmente
con pelı́culas de jabón que se pueden obtener el sumergir un marco de alambre en una solución de jabón y
retirarlo con mucho cuidado. Mediante algunas consideraciones fı́sicas se puede mostrar que la pelı́cula de
jabón asumirá una forma regular de modo tal que su curvatura media H es nula.
La conexión entre superficies mı́nimas y pelı́culas de jabón motivó el problema de Plateau planteado de
la siguiente forma: Probar que para cada curva cerrada C ⊆ R3 existe una superficie S de área mı́nima con
C como frontera.
Lagrange fue el primero en introducir el término “superficie mı́nima” en 1760, mas tarde en 1930 Douglas
y Radó resolvieron simultáneamente el problema planteado por Plateau. Otras versiones del problema (y
generalizaciones para dimensiones mayores) han inspirado la creación de ramas de las matemáticas ver [4].
Planteamento del problema: Dada una curva acotada, encontrar la superficie generada por la frontera
con la menor área superficial posible, o hallar las condiciones geométricas que deben de cumplir tales
superficies.
Para hallar las condiciones geométricas asumamos que f : U ⊂ R2 → R3 es un elemento de superficie
regular. Consideremos D ⊂ U un dominio acotado( abierto y conexo) y ϕ : D → R de clase C 2 (D = D ∪∂D)
la cual se anula en la frontera, ν su aplicación de Gauss y ε0 > 0. Definimos la variación en la dirección normal
(conocido como variación normal) de f (D) determinada por ϕ, es la función dada por F : D×(−ε0 , ε0 ) → R3 ,
donde
F (u1 , u2 , ε) : = f (u1 , u2 ) + εϕ(u1 , u2 )ν(u1 , u2 ).
Por notación, para cada ε ∈ (−ε0 , ε0 ), definimos fε : D → R3 , como fε (u1 , u2 ) : = F (u1 , u2 , ε). En otras
palabras, consideremos una familia adecuada fε de elementos de superficie todos con la misma frontera,
donde f0 = f .
Por la forma en que definimos fε , vemos que:
∂fε ∂f ∂ϕ ∂ν
= +ε ν + εϕ ,
∂ui ∂ui ∂ui ∂ui
y además, la matriz de representación de la primera forma fundamental es:
 
(ε) ∂fε ∂fε
(gij ) = ,
∂ui ∂uj
     
∂f ∂ν 2 2 ∂ν ∂ν ∂ϕ ∂ϕ
= gij + 2εϕ , +ε ϕ , +
∂ui ∂uj ∂ui ∂uj ∂ui ∂uj
= gij − 2εϕhij + O(ε2 ).
ε es definido positivo para valores de |ε| suficientemente pequeños,
Si gij es definido positivo, entonces gij
donde ϕ es cualquier función.
Supongamos ahora que f : U ⊂ R2 → R3 es un elemento de superficie inyectivo, sea α : f (U ) → R
continua. Para todo K compacto subconjunto de U , la expresión
ZZ ZZ q
αdA = (α ◦ f )(u1 , u2 ) Det(gij )du1 du2
f (K) K

esta bien definida y es llamada Integral de superficie. En el caso que α sea idénticamente igual a la
función constante 1 se obtiene el área de la superficie. R p
Ası́ para valores de ε suficientemente pequeños comparamos las áreas de superficie D̄ Det(gij )du1 du2
q
ε )du du de f , se cumple la siguiente relación (denotemos
R
de f = f0 con el área de superficie D̄ Det(gij 1 2 ε

2
 2 ):
por g = det(gij ) = g11 g22 − g12
Z q Z
∂ ∂
q
(ε) (ε)
|ε=0 Det(gij )du1 du2 = |ε=0 Det(gij )du1 du2
∂ε D D ∂ε
q
Z ∂| (ε)
∂ε ε=0 Det(gij )
= p du1 du2
D 2 Det(gij )
  !
Z (ε) (ε) (ε)
1 ∂g11  ∂g22  ∂g12
= √ g22 + g11 − 2g12 du1 du2
D 2 g ∂  ∂  ∂
 
Z ε=0 ε=0
1
= √ (−2ϕg22 h11 − 2ϕg11 h22 − 2(−2ϕg12 h12 ))du1 du2
D 2 g
√
Z
1
=− ϕ (h11 g22 + h22 g11 − 2h12 g12 ) gdu1 du2
g
ZD
√
=− ϕ2H gdu1 du2 ; 2H : = h11 g22 + h22 g11 − 2h12 g12
ZD
√
= −2 ϕHdA; dA : = gdu1 du2
D

Si elegimos ϕ = H en el interior (tal que ϕ decrece en tamaño hacia la frontera) obtenemos el siguiente
resultado

Definición 1. Sea U ⊂ R2 abierto, U un compacto con frontera ∂U y f : U → R3 un elemento de superficie.

Una condición necesaria para que el área de la superficie de f sea menor o igual al área de superficie de
todas las variaciones normales fε : U → R3 con

fε |∂U = f |∂U

es que H = 0 en todo punto u de U . Diremos que un elemento de superficie con curvatura media cero H = 0
es una superficie mı́nima.

Observación 1. Estrictamente hablando la ecuación H = 0 solo expresa el hecho de que el área de superficie
es estacionario (un punto crı́tico). Por ejemplo, este podrı́a ser maximal o tipo silla, tales como los puntos
silla ocurren en problemas de minimización en varias variables.

Definimos el área funcional de un elemento de superficie f : U → R3 de clase C ∞ (con la frontera de f

fija) mediante la fórmula
√
Z
A(f ) : = gdu1 du2
U
Anteriormente calculamos la derivada direccional de A en la dirección de una variación normal como


∂A(fε ) 
Dϕ A(f ) =
∂ε ε=0
√
Z
= −2 ϕH gdu1 du2
D

El gradiente de A es entonces determinado únicamente por la ecuación

hgrad A(f ), ϕi = Dϕ A(f ),

donde el producto interno h, i es definido sobre el espacio de funciones C ∞ (U ) por

√
Z
hψ1 , ψ2 i : = ψ1 ψ2 gdu1 du2
U

3
El producto interno anterior es definido positivo y no degenerado. Ası́, grad A(f ) = −2H ya que
√
Z
h−2H, ϕi = −2 ϕH gdu1 du2 = Dϕ A(f ) = hgrad A(f ), ϕi
U

Esto muestra lo siguiente: Si f no es una superficie mı́nima, entonces fε conduce a una superficie estricta-
mente menor, ya que grad A(f ) = −2H < 0 y por tanto A(f ) es decreciente.

Definición 2 (Parametrización conforme). Una parametrización f : U → R3 de un elemento de superfi-

cie se dice conforme, si la matriz de representación de la primera forma fundamental es un multiplo escalar
de la identidad, es decir, si la ecuación
 
1 0
(gij ) = λ(u1 , u2 )
0 1

se cumple para alguna función λ : U → R. Más generalmente, dos elementos de superficie parametrizados por
el mismo conjunto f, fe: U → R3 se dice que son conformente equivalentes, si la primera forma fundamental
(gij ) es múltiplo escalar de (f
gij ):

gij ) = λ(u1 , u2 )(gij ) para (u1 , u2 ) ∈ U,

(f

para alguna función positiva λ : U → R. Similarmente, diremos que f : U → R3 , fe : U e → R3 son llamados

conformemente equivalentes con el factor conforme λ, si existe un cambio de parametrización Φ : U → U e,
tal que * +  
∂(fe ◦ Φ) ∂(fe ◦ Φ) ∂f ∂f
, = λ(u1 , u2 ) , para todo i, j
∂ui ∂uj ∂ui ∂uj
Una parametrización conforme es tambien llamada isotermal, y sus parametros son llamados coordenadas
isotermales.

Comentario. Dado V un espacio vectorial finito dimensional sobre un campo K, T : V → V una transfor-
mación lineal y A la matriz de representación de T . Asumamos que V tiene una base {v1 , ..., vn } donde cada
vi es un vector propio asociado al valor propio λi para i = 1, 2, ..., n. Entonces el polinomio caracterı́stico de
A es
p(λ) = (λ − λ1 ) . . . (λ − λn ),
y
p(A) = (A − λ1 I) . . . (A − λn I).
Multiplicando esta última expresión por vi , entonces el factor (A − λi I)vi se anula y por tanto, p(A)vi = 0.
En consecuencia p(A) = 0 [3].

Consecuencia 2. (a) La aplicación de Gauss ν es conforme para una superficie mı́nima con K 6= 0, es
decir, ν y f son conformemente equivalentes con valor conforme −K
 
3 1 0
(b) La siguiente relación se satisface para una parametrización conforme f : U → R con (gij ) = λ
0 1

∂2f ∂2f
+ = 2Hλν
∂u1 2 ∂u2 2
En particular, una parametrización conforme f define una superficie mı́nima si, y sólo si, las tres
funciones componentes f1 , f2 , f3 , de f son armónicas, lo cual significa que se satisface la relación:

∂2f ∂2f
4fi = + =0
∂u1 2 ∂u2 2

El vector H = Hν es llamado el vector de curvatura media.

4
Demostración: (a) Se sigue inmediatamente de la ecuación III − 2HII + KI = 0, lo cual implica que
III = −KI pero III es la primera forma fundamental aplicada a la aplicación de Gauss.

(b) Iniciaremos con la observación:

     
∂f ∂f ∂f ∂f ∂f ∂f
, =λ= , , , =0
∂u1 ∂u1 ∂u2 ∂u2 ∂u1 ∂u2
.
Al derivar se obtiene:
∂ 2 f ∂f
  2
∂f ∂ 2 f
   
∂ f ∂f
, = , =− ,
∂u21 ∂u1 ∂u1 ∂u2 ∂u2 ∂u1 ∂u22
D 2 2
E D 2 E
∂ 2 f ∂f 2 2
Por tanto ∂∂uf2 + ∂∂uf2 , ∂u
∂f
1
= 0 y similarmente ∂ f
∂u 2 + ∂u
,
2 ∂u
2
= 0 Entonces el vector ∂∂uf2 + ∂∂uf2
1 2 1 2 1 2
es perpendicular al plano tangente, en consecuencia, linealmente dependiente sobre el D normal unitario
E
2 2
ν. Como 2H = λ−2 (g22 h11 + g11 h22 ) = λ−1 (h11 + h22 ). Tenemos finalmente que ∂∂uf2 + ∂∂uf2 , ν =
1 2
h11 + h22 = 2Hλ

Ejemplo 1. Consideremos el elemento de superficie f : (0, 2π) × R → R3 dado por

f (u1 , u2 ) = (cosh(u2 ) cos(u1 ), cosh(u2 ) sin(u1 ), u2 ).

Nótese que esta superficie es generada al hacer rotar y(z) = cosh(z) alrededor del eje z. Además

E = G = cosh2 (u2 ), F =0

y
∂2f ∂2f
+ =0
∂u21 ∂u22
Ası́, la catenoide es una superficie mı́nima. Se puede probar que es la única superficie de revolución que
resulta mı́nima.

0.8

0.6

0.4

0.2

0.1

-0.1

0.15 0.1 0.05 0 -0.05 -0.1 -0.15

Figura 1: Catenoide

Corolario 3 (Complexificación). Sea f : U → R3 un elemento de superficie con componentes (f1 , f2 , f3 )

definimos la función ϕ : U → C3 mediante la realación ϕ(u + iv) = ∂f ∂f
∂u (u, v) − ∂v (u, v) cuyas componentes
son:
∂f1 ∂f1
ϕ1 (u + iv) = (u, v) − i (u, v);
∂u ∂v

5
 ∂f2 ∂f2
ϕ2 (u + iv) = (u, v) − i (u, v);
∂u ∂v
∂f3 ∂f3
ϕ1 (u + iv) = (u, v) − i (u, v)
∂u ∂v
Entonces tenemos:

(a) f es conforme si, y sólo si, ϕ21 + ϕ22 + ϕ23 = 0

(b) Si f es una parametrización conforme, f es una superficie mı́nima si, y sólo si, las funciones ϕ1 , ϕ2 , ϕ3
son complejas analı́ticas (holomorfas).

(c) Recı́procamente si ϕ1 , ϕ2 , ϕ3 son complejas analı́ticas con ϕ21 + ϕ22 + ϕ23 = 0, entonces la función f
definida por la ecuación arriba es regular (por tanto una inmersión) si, y sólo si, ϕ1 ϕ¯1 +ϕ2 ϕ¯2 +ϕ3 ϕ¯3 = 0

En adelante, usaremos los siguientes hechos básicos de la teorı́a de funciones de variable compleja. Una
función complejo valuada ϕ(u + iv) = x(u, v) + iy(u, v) con u, v, x, y ∈ R es compleja analı́tica o holomorfa
si, y sólo si, se cumplen las ecuaciones de Cauchy-Riemann
∂x ∂y ∂x ∂y
= ; =−
∂u ∂v ∂v ∂u
.

Demostración: (a) Por definición tenemos:

     
∂f ∂f ∂f ∂f ∂f ∂f
ϕ21 + ϕ22 + ϕ23 = , +i , − 2i , = g11 − g22 − 2ig12
∂u ∂u ∂v ∂v ∂u ∂v

Ası́, el lado izquierdo se anula si, y sólo si g11 = g22 y g12 = 0

(b) Calculemos las segundas derivadas:

∂ 2 fk ∂ ∂ 2 fk ∂
2
= (Re ϕk ) , 2
= − (Im ϕk )
∂u ∂u ∂v ∂v
∂ 2 fk ∂ ∂
= (Re ϕk ) = − (Im ϕk )
∂u∂v ∂v ∂u
2 2
La validez de la ecuación ∂∂uf2 + ∂∂vf2 = 0 es equivalente a la validez de las ecuaciones de Cauchy-Riemann
para ϕ1 , ϕ2 , ϕ3 . Por la consecuencia 2 este es precisamente el caso en donde f es una superficie mı́nima.
D E D E
(c) Tenemos ϕ1 ϕ¯1 + ϕ2 ϕ¯2 + ϕ3 ϕ¯3 = ∂f , ∂f
∂u ∂u + ∂f ∂f ∂f ∂f
∂v ∂v ≥ 0 con igualdad si, y sólo si, ∂u = ∂v = 0. Por
,
la demostración del inciso (a) ambos vectores son nulos o son linealmente independientes, esto implica
(a)

Ejemplo 2. Considerando el Ejemplo 1, se tiene:

ϕ1 (u1 + iu2 ) = sinh(u1 + iu2 )

ϕ2 (u1 + iu2 ) = −i cosh(u1 + iu2 )
ϕ3 (u1 + iu2 ) = 1

son holomorfas, y además

2
X
ϕ2i (z) = sinhz +i2 coshz +1 = 0
i=1

Por el Corolario anterior f es una superficie mı́nima conformemente parametrizada.

6
 Los ceros de la función compleja ϕ corresponden (por el inciso (c) del corolario anterior) a los puntos
en los cuales f es no regular (llamadas singularidades de f ) la razón para esas consideraciones es que en
la teorı́a de las funciones de variable compleja no tiene sentido excluir ceros, mientras que en geometrı́a
diferencial usualmente se asume la regularidad de los elementos de superficie.

Corolario 4. Sea C ⊆ C un dominio simplemente conexo y ϕk : U → C (k=1,2,3) funciones holomorfas

con ϕ21 + ϕ22 + ϕ23 = 0 y ϕ1 ϕ¯1 + ϕ2 ϕ¯2 + ϕ3 ϕ¯3 6= 0, entonces la función f : U → R3 definida por:
Z z
fk (z) = Re ϕk (ξ)dξ k = 1, 2, 3
z0

es un elemento de superficie regular.

Lema 5 (Coordenadas isotermales). Dada f : U → R3 una superficie mı́nima con K 6= 0 (esto significa
g12 = h12 = 0), existe una parametrización conforme para f , es decir, coordenadas isotermales.
∂ν ∂f
Demostración: En términos de los parámetros de curvatura tenemos: ∂ui = −ki ∂ui
por tanto,

∂2ν
   
∂ ∂f ∂ ∂f
=− k2 =− k1
∂u1 ∂u2 ∂u1 ∂u2 ∂u2 ∂u1

Haciendo κ = k1 = −k2 > 0 se sigue que:

∂κ ∂f ∂2f ∂κ ∂f
+ 2κ + =0
∂u2 ∂u1 ∂u1 ∂u2 ∂u1 ∂u2
y por tanto ,
∂2f
 
∂κ ∂f ∂κ ∂f ∂f
+ 2κ + , =0
∂u2 ∂u1 ∂u1 ∂u2 ∂u1 ∂u2 ∂u1
consecuentemente
∂k ∂g11 ∂k ∂
g11 + k + 0= (kg11 ) = 0
∂u2 ∂u2 ∂u1 ∂u2
De esto se sigue que kg11 es constante en la dirección de u2 por tanto, es una función de u1 solamente.
De manera similar,kg22 es constante en dirección de Rpu1 y por tanto es una función solo de u2 . Haciendo
kg11 = Φ1 (u1 ) > 0 y kg22 = Φ2 (u2 ) > 0 como vi = Φi (ui )dui con i = 1, 2 entonces la matriz de Jacobi
de la transformación (u1 , u2 ) 7−→ (v1 , v2 ) es:
   √ 
∂vi Φ1 √0
=
∂uj 0 Φ2

es de rango maximal. El elemento lineal ds2 transforma la ecuación arriba como sigue:

ds2 = g11 du21 + g22 du22

Φ1 2 Φ2 2
= du1 + du2
k k
 2  2
Φ1 1 Φ2 1
= √ dv1 + √ dv2
k Φ1 k Φ2
1
dv12 + dv22


=
k
 
1 1 0
Ası́, v1 , v2 son coordenadas isotermales, es decir, I(v1 , v2 ) = k esto se satisface siempre que f sea
0 1
una superficie mı́nima sin puntos de nivel, es decir, en caso de que H ≡ 0 y k 6= 0. Es fácil ver que cerca a
un punto de nivel el factor k1 puede hacerse arbitrariamente grande y que este proceso no funcionará cerca
a tales puntos.

7
Ejemplo 3 (Superficie Mı́nima de Scherks). Esta dada por:
  2 
z+i z+1 z + 1
f (u1 , u2 ) = arg , arg , log  2  , z 6= ±1, z 6= ±i
z−i z−1 z − 1

donde z = x + iy y arg(z) denota el ángulo que el eje real forma con z. Podemos ver fácilmente que:

z+i 2u1
arg = arctan( 2 )
z−i u1 + u22 − 1
z+i −2u1
arg = arctan( 2 )
z−i u1 + u22 − 1
 2  2 2 2 2 2
 = log (u1 − u2 + 1) + 4u1 u2
z + 1 1
log  2
z −1  2 (u − u − 1)2 + 4u2 u2
2
1
2
2 1 2

por tanto,
∂f ∂f 2i 2i 4z
ϕ1 = −i =− , ϕ2 = − , ϕ3 =
∂u1 ∂u2 1 − z2 1 − z2 1 − z4
Como ϕ21 + ϕ22 + ϕ23 ≡ 0 y ϕ1 , ϕ2 , ϕ3 son holomorfas, f es una parametrización isotermal de una superficie
mı́nima.

Figura 2:

Corolario 6 (Analicidad). Sea f : U → R3 un elemento de superficie mı́nima sin puntos de nivel, con
f ∈ C 3 , entonces existe una parametrización con la propiedad de que las tres funciones componentes son
reales-analı́ticas, por tanto f se puede aproximar localmente por una serie de Taylor.

Resumiendo nuestros resultados hasta este punto, tenemos que toda superficie mı́nima localmente per-
mite una parametrización conforme. Siempre que no hayan puntos de nivel. En esta parametrización la
superficie es analı́tica, ocurriendo como la parte real de una función compleja analı́tica. Para una ϕ dada
con las restricciones |ϕ| 6= 0 y ϕ21 + ϕ22 + ϕ23 = 0 uno siempre obtiene una superficie mı́nima de forma
explicita.

8
Referencias
[1] Manfredo Perdig ao do Carmo. Differential geometry of curves and surfaces. Englewood Cliffs, N. J.:
Prentice-Hall, Inc. VIII, 503 p. (1976)., 1976.

[2] Wolfgang Kühnel. Differential geometry: curves, surfaces, manifolds. Translated from the 2013 German
edition by Bruce Hunt, with corrections and additions by the author. 3rd edition., volume 77. Providence,
RI: American Mathematical Society (AMS), 3rd edition edition, 2015.

[3] Serge Lang. Linear algebra. 3rd ed. Springer, Cham, 1987.

[4] H. Blaine Lawson, Jr. Lectures on minimal submanifolds. Vol. I, volume 14 of Monografı́as de Matemática
[Mathematical Monographs]. Instituto de Matemática Pura e Aplicada, Rio de Janeiro, 1977.