Universidad de El Salvador

Facultad de Ciencias Naturales y Matemática

Licenciatura en Matemática
Geometría Diferencial

Alumno:
José Manuel Ramón Mendoza RM13003

Docente:
Lic. Ernesto Américo Hidalgo

Diciembre 7 de 2019
Índice

1. Introducción 2
2. Objetivos 3
3. Desarrollo del tema 4
3.1. El problema de Plateau . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
3.2. Mapeo de Gauss de una supercie mínima . . . . . . . . . . . . . . . . 10
3.3. Parametrización conforme de una supercie mínima . . . . . . . . . . . 11

4. Conclusiones 14

1
1. Introducción

En el siguiente ensayo se enuncian ciertos teoremas respecto a supercies mínimas,

estas supercies tienen como particularidad que su curvatura media H es nula en todo
punto.
Se mostraran algunos ejemplos de este tipo de supercies, además se dará a conocer el
problema de Plateau, el cual nos habla sobre una caracterización de supercie mínima
que relaciona el área de esta. Tambien veremos que con estas supercies la aplicación
de Gauss es una aplicación conforme de ella a la esfera S 2 .
Por último se tratará un teorema que garantiza que existen parametrizaciones que la
hacen conforme, es decir, se satisface E = G y F = 0.

2
2. Ob jetivos

Mostar algunas supercies mínimas

Dar a conocer la relación que existe entre las películas de jabón y las supercies
mínimas
Proporcionar una característica que cumple la aplicación de Gauss

3
3. Desarrollo del tema

3.1. El problema de Plateau

Plateau fue un físico belga que hizo experimentos con películas de jabón son su-
percien, el cual llego a descubrir una relación entre estas y las supercies mínimas.
Plateau planteó lo siguiente: para cada curva cerrada ω ∈ R3 existe una supercie S
de área mínima que tiene a ω como borde. Un estudio llegó a concluir que las super-
cies que generan las películas de jabón son supercies mínimas, estas películas de jabón
estan relacionadas con la tensión supercial, tema de física.
Mas adelante, se dará una denición muy útil de la función área que nos ayudará
en la sección.
En esta sección se estudiará una familia de parametrizaciones σ t : U → R3 , donde
U es un subconjunto abierto de R2 independiente de t, y t pertenece a algún intervalo
abierto (−δ, δ), para algún δ > 0. Sea σ = σ 0 .
La familia se requiere que sea suave, en el sentido que la aplicación (u, v, t) → σ t (u, v)
de un subconjunto abierto {(u, v, t) : (u, v) ∈ U, t ∈ (−δ, δ)} de R3 a R3 es suave. La
supercie de variación de una familia es la función ϕ : U → R3 dada por
ϕ = σ̇ t |t=0 ,
donde el punto denotará d/dt.
Ahora, consideremos ω una curva cerrada simple que esta contenida, con su interior
int(ω), en U . Entonces ω corresponde a una curva cerrada γ t = σ t ◦ ω en la parame-
trización σ t , y denimos la función área A siendo el área de la parte de σ t dentro de
γ t: 
A(t) = dAσt .
int(ω)

Notar que, si consideramos una familia de supercies con una curva borde ja γ ,
entonces γ t = γ para todo t, entonces ϕt (u, v) = 0 cuando (u, v) es un punto en la
curva ω .
Teorema 1. Suponga que la supercie de variación ϕt se anula a lo largo de la curva
borde ω . Entonces

Ȧ(0) = −2 H(EG − F 2 )1/2 αdudv, (1)
int(ω)

donde H es la curvatura media de σ , E, F y G son los coecientes de la primera

forma fundamental, y α = ϕ · N donde N es el vector normal estandar de σ .
Demostración. Sea ϕt = σ̇ t , asi que ϕ0 = ϕ, y sea Nt el vector normal estándar de σ t .
Existen funciones suaves αt , β t y γ t de (u, v, t) tal que
ϕt = αt Nt + β t σ tu + γ t σ tv
asi que α = α0 . Para simplicar la notación, omitiremos el superíndice t para el
resto de la prueba, al nal de la prueba pondremos t = 0. Tenemos
 
A(t) = kσ u × σ v kdudv = N · (σ u × σ v )dudv,
int(ω) int(ω)
4
así 
∂
Ȧ = (N · (σ u × σ v ))dudv. (2)
int(ω) ∂t
Ahora,
∂
(N · (σ u × σ v )) = Ṅ · (σ u × σ v ) + N · (σ̇ u × σ v ) + N · (σ u × σ̇ v ) (3)
∂t
Ya que N es un vector unitario,
Ṅ · (σ u × σ v ) = Ṅ · Nkσ u × σ v k = 0.
Por otro lado,
(σ u × σ v ) · (σ̇ u × σ v )
N · (σ̇u × σv ) =
kσ u × σ v k
(σ u · σ̇ u )(σ u · σ v ) − (σ u · σ v )(σ v · σ̇ u )
=
kσ u × σ v k
G(σ u · σ̇ u ) − F (σ v · σ̇ u )
= ,
(EG − F 2 )1/2
Esto es, usando propiedad de algebra de vectores. De forma similar,
E(σ v · σ̇ v ) − F (σ u · σ̇ v )
N · (σu × σ̇v ) = .
(EG − F 2 )1/2
Sustituyendo esto en la ecuación 3, obtenemos
∂ E(σ v · σ̇ v ) − F (σ̇ u · σ v + σ u · σ̇ v ) + G(σ u · σ̇ u )
(N · (σ u × σ v )) = . (4)
∂t (EG − F 2 )1/2
Ahora
σ̇ = ϕu = αu N + βu σ u + γu σ v + αNu + βσ uu + γσ uv ,
∴ σ u · σ̇ u = Eβu + F γu + (σ u · Nu )α + (σ u · σ uu )β + (σ u · σ uv )γ.
Ya que
σ u · Nu = −e,
1
σ u · σ uu = Eu ,
2
1
σ u · σ uv = Ev .
2
obtenemos
1 1
σ u · σ̇ u = Eβu + F γu − eα + Eu β + Ev γ.
2 2
Similarmente,
 
1 1
σ v · σ̇ u = F βu + Gγu − f α + Fu − Ev β + Gu γ,
2 2
 
1 1
σ u · σ̇ v = Eβv + F γv − f α + Ev β + Fv − Gu γ,
2 2
1 1
σ v · σ̇ v = F βv + Gγv − gα + Gu β + Gv γ.
2 2
5
 Sustituyendo estas últimas cuatro ecuaciones en el lado derecho de la ecuación 4,
simplicando, y usando la fórmula para H en coordenadas locales, obtenemos
∂ 
1/2
 
1/2

1/2
(N · (σ u × σ v )) = β(EG − F 2 ) + γ(EG − F 2 ) − 2αH(EG − F 2 ) . (5)
∂t u v

Comparando con la ecuación 2, y agregando los superíndices, vemos que debemos

probar que
 n    o
1/2 1/2
β 0 (EG − F 2 ) + γ 0 (EG − F 2 ) dudv = 0. (6)
int(ω) u v

Pero por el teorema de Green, esta integral es igual a


1/2
(EG − F 2 ) (β 0 dv − γ 0 du),
ω

y esto se anula porque β 0 = γ 0 = 0 a lo largo de la curva borde ω .

Si σ tiene la menor área entre todas las supercies con la misma curva borde γ ,
entonces A debe tener un mínimo absoluto en t = 0, asi Ȧ(0) = 0 para todas las familias
suaves de supercies como las anteriores. De modo que la integral en 1 debe anularse
para todas las funciones suaves α : U → R. Esto solo puede suceder si el término que
multiplica a α en la integral se anula, es decir, solo si H = 0, lo cual sugiere la siguiente
denición
Denición 1. Una supercie mínima es una supercie cuya curvatura media es cero
en todo punto de ella.
Corolario 1. Si una supercie S tiene la menor área entre todas las supercies con la
misma curva como borde, entonces S es una supercie mínima.
Ejemplo 1. El catenoide, obtenida al hacer rotar la curva x = a1 cosh az alrededor del
eje Z (véase la gura 1). Por simplicidad vamos a considerar a = 1. La catenoide puede
parametrizarse como

σ(u, v) = (cosh u cos v, cosh u sen v, u), (u, v) ∈ R × (0, 2π),

Entonces

σu = (senh u cos v, senh u sen v, 1),

σv = (− cosh u sen v, cosh u cos v, 0),
σ uu = (cosh u cos v, cosh u sen v, 0),
σ uv = (− senh u sen v, senh u cos v, 0),
σ vv = (− cosh u cos v, − cosh u sen v, 0).

De modo que los coecientes de la primera y segunda forma fundamental de σ son

6
 Figura 1: Catenoide

E = G = cosh2 u, F = 0,
e = −1, f = 0, g = 1.

Ahora
eG − 2f F + gE − cosh2 u + cosh2 u
H= = = 0,
2(EG − F 2 ) 2 cosh4 u
Para esta supercie mínima se estudiará si de hecho minimiza el área para una
curva borde ja. Se vuelve a considerar la curva x = a1 cosh az para cierto a > 0 jo,
y tomamos b = cosh a. La supercie S formada por la parte de la catenoide donde
|z| < a tiene como frontera a dos círculos C − y C + de radio b en los planos z = ±a, con
centros el eje Z . Otra supercie que también abarca estos dos círculos es, desde luego,
la supercie S0 conformada por los dos discos x2 + y 2 ≤ b2 en los planos z = ±a. El
área de S se calcula mediante
 2π  a  2π  a
1/2
(EG − F 2 ) dudv = cosh2 ududv = 2π(a + senh a cosh a).
0 −a 0 −a

Por otro lado, el área de S0 es, 2πb2 = 2π cosh2 a. Entonces, la catenoide S no

minimiza área respecto a todas las supercies con frontera los dos círculos C − y C + si
se cumple que cosh2 a < a + sinh a cosh a, es decir, si

1 + e−2a < 2a. (7)

7
 Figura 2: Grácas de 2a y 1 + e−2a

Las funciones 1+e−2a y 2a se cortan en exactamente un punto (ver gura 2), digamos
a = a0 , y la desigualdad 7 se cumple si a < a0 . Es decir, si se satisface esta condición
la catenoide no minimiza área. Es posible mostrar que en el caso a < a0 la catenoide si
tiene área mínima respecto de las supercies con C − y C + como frontera.
Ejemplo 2. El helicoide(ver gura 3), el cual se puede parametrizar como
σ(u, v) = (v cos u, v sen u, u), (u, v) ∈ (0, 2π) × R,

Figura 3: Helicoide

Haciendo los respectivos cálculos obtenemos

σu = (−v sen u, v sen u, u),

σv = (cos u, sen u, 0),
σ uu = (−v cos u, −v sen u, 0),
σ uv = (− sen u, cos u, 0),
σ vv = (0, 0, 0)

8
 Con esto obtenemos las expresiones para los coecientes de la primera y segunda
forma fundamental

E = v 2 + 1, G = 1, F = 0,
e = g = f = 0.

Luego
eG − 2f F + gE
H= =0
2(EG − F 2 )
Ejemplo 3. La supercie de Enneper (ver gura 4) es la supercie parametrizada
u3 v3
 
2 2 2 2
σ(u, v) = u − + uv , v − + vu , u − v , (u, v) ∈ R2 ,
3 3

Figura 4: Supercie de Enneper

Tenemos

σu = (1 − u2 + v 2 , 2vu, 2u),
σv = (2uv, 1 − v 2 + u2 , −2v),
σ uu = (−2u, 2v, 2),
σ uv = (2v, 2u, 0),
σ vv = (2u, −2v, −2)

De modo que los coecientes de la primera y segunda forma fundamental son

E = G = (1 + u2 + v 2 )2 , F = 0,
e = 2, g = −2, f = 0.

Así
eG − 2f F + gE 2(1 + u2 + v 2 )2 − 2(1 + u2 + v 2 )2
H= = =0
2(EG − F 2 ) 2(1 + u2 + v 2 )4

9
3.2. Mapeo de Gauss de una supercie mínima
El aplicación de Gauss N de una supercie orientada S asocia cada punto p ∈ S
el vector normal unitario Np de S en p visto como un punto de la esfera unitaria S 2 .
Comenzamos con el siguiente resultado "local".
Proposición 1. Suponga que la curvatura gaussiana de S no se anula en el punto p.
Entonces, existe un subconjunto abierto V de S conteniendo p tal que la restricción de
N a V es inyectiva.

Demostración. Sea σ : U → R3 es una parametrización de S conteniendo p, con p =

σ(u0 , v0 ), y sea N : U → R3 es vector normal estándar de σ . Tenemos

Nu × Nv = Kσ u × σ v ,
donde K es la curvatura gaussiana de S , así existe un subconjunto abierto W de U
conteniendo (u0 , v0 ) tal que la restricción de la aplicación N a W es inyectiva. Entonces,
σ(W ) es un subconjunto abierto de S conteniendo p y la restricción de N a σ(W ) es
inyectiva.
Antes de enunciar el teorema importante de esta sección, se denirá la aplicación
de W eingarten.
Denición 2. Sea p ∈ S . La aplicación de W eingarten WpS de S en p es denida
como
WpS = −dp N

Teorema 2. Sea S una supercie mínima tal que su curvatura gaussiana no se anula
en todo punto. Entonces, la aplicación de Gauss es un mapeo conforme de S a S 2 .
Demostración. Sea p ∈ S y v, w ∈ Tp S ,así

hdNp (v), dNp (w)i = h−W(v), −W(w)i = hW 2 (v), wi

Donde W es la aplicación de W eingarten, en la última ecuación se usa el hecho de que

dicha aplicación es autoadjunta. Además esta aplicación satisface la ecuación

W 2 − 2HW + KI = 0

Usando que H = 0, tenemos que

W 2 = −KI,

donde K es la curvatura gaussiana de S . Luego

hdNp (v), dNp (w)i = hW 2 (v), wi

= h−KI(v), wi
= −Khv, wi,

Con esto se obtiene el resultado

10
3.3. Parametrización conforme de una supercie mínima
En este apartado se busca probar el siguiente teorema
Teorema 3. Sea S una supercie mínima y sea p ∈ S . Entonces, existe una parame-
trización σ de S conteniendo p que es conforme.
Demostración. Sea p = (x0 , y0 , z0 ). Tenemos que si el plano tangente de S en p no
contiene al eje Z , entonces existe un conjunto abierto U en R2 conteniendo (x0 , y0 ) y
una función suave f : V → R tal que un subconjunto abierto de S consistiendo de los
puntos (x, y, z) con (x, y) ∈ V coincide con la gráca de una función f . (Si el plano
tangente en p contiene al eje Z , entonces S será una gráca de la forma x = f (y, z) o
y = f (x, z) cerca de p.) Ademas podemos asumir que V es un disco abierto

D = {(x, y) : (x − x0 )2 + (y − y0 )2 < r2 },
para algún r > 0, ya que todo conjunto abierto en R2 conteniendo (x0 , y0 ) contiene
tal disco. Por lo tanto debemos probar que la parametrización
σ̄(x, y) = (x, y, f (x, y)), (x, y) ∈ D,
tiene una reparametrización conforme.
Los coecientes de la primera forma fundamental de σ̄ son
E = 1 + fx2 , F = fx fy , G = 1 + fy2 .
Probaremos que        
F E G F
= , = , (8)
A x A y A x A y
√
donde A = EG − F 2 . En efecto,
(1 + fx2 + fy2 )(fxx fy + fx fxy ) − fx fy (fx fxx + fx fxy )
   
F E
− =
A x A y (1 + fx2 + fy2 )3/2
2(1 + fx2 + fy2 )fx fxy − (1 + fx2 )(fx fxy + fy fyy )
−
(1 + fx2 + fy2 )3/2
fy ((1 + fy2 )fxx − 2fx fy fxy + (1 + fx2 )fyy )
=
(1 + fx2 + fy2 )3/2
= 0,
usando la expresión de H para parametrizaciones del tipo z = f (x, y) y usando que
H=0
La segunda ecuación en 8 se prueba de manera similar. Del cálculo sabemos que las
ecuaciones en 8 implican la existencia de funciones suaves ϕ, ψ : D → R tal que
E F F G
ϕx = , ϕy = , ψx = , ψy = .
A A A A
De hecho, podemos denir
 1
xE((1 − t)r0 + tr) + yF ((1 − t)r0 + tr)
ϕ(x, y) = dt,
0 A((1 − t)r0 + tr)
11
 donde r = (x, y), r0 = (x0 , y0 ); y similarmente para ψ . La reparametrización que
queremos es
u(x, y) = x + ϕ(x, y), v(x, y) = y + ψ(x, y).
Notar que
E F
     
ux uy 1 + ϕx ϕy 1+
= = F
A A
G (9)
vx vy ψx 1 + ψy A
1+ A
así
F2
    
 ux uy  E G E+G
 = 1+
 vx vy  1 + − 2
=2+ > 0.
A A A A
Por el Teorema de la Función Inversa, la función T : D → R2 dada por T (x, y) =
(u(x, y), v(x, y)) tiene una función inversa suave T −1 . Sea
T −1 (u, v) = (x(u, v), y(u, v)).
Mostraremos que la reparametrización
σ(u, v) = (x(u, v), y(u, v), f (x(u, v), y(u, v)))
de σ̄ es conforme. Por la regla de la cadena,
  
xu xv ux uy
= I,
yu yv vx vy
así    −1  
xu xv ux uy 1 G + A −F
= =
yu yv vx vy E + G + 2A −F E+A
por la ecuación 9. Haciendo z(u, v) = f (x(u, v), y(u, v)), obtenemos (usando de
nuevo la regla de la cadena)
fx (G + A) − fy F
zu = fx xu + fy yu = ,
E + G + 2A
fy (E + A) − fx F
zv = fx xv + fy yv = .
E + G + 2A
Entonces,

σ u · σ u = x2u + yu2 + zu2

(G + A)2 + F 2 + (fx (G + A) − fy F )2
=
(E + G + 2A)2
(G + A)2 + F 2 + (E − 1)(G + A)2 + (G − 1)F 2 − 2(G + A)F 2
=
(E + G + 2A)2
E(G + A)2 + GF 2 − 2(G + A)F 2
=
(E + G + 2A)2
EA2 + 2A(EG − F 2 ) + G(EG − F 2 )
=
(E + G + 2A)2
A2
= ,
(E + G + 2A)
12
 usando fx2 = E − 1, fy2 = G − 1 esto para pasar de la segunda a la tercera línea y
además usando que A2 = EG−F 2 para pasar de la quinta a la sexta línea. Con calculos
similares se prueba que
A2
σv · σv = ,
E + G + 2A
σ u · σ v = 0.

13
4. Conclusiones

Se vio una relación que tienen estas supercies mínimas con la física, en especíco
con las películas de jabón, Esto fue lo que llevo a Plateau a plantear su problema.
Existen muchas supercies mínimas, por lo cual se hizo necesario formular carac-
terizaciones para facilitar la identicación de estas.
El plano es un ejemplo trivial de ser supercie mínima.
La aplicación de Gauss es un mapeo conforme de cualquier supercie mínima a
la esfera S 2

14