Aplicaciones Armonicas

Christiam Figueroa
1. Introducci on
Una supercie mnima en el espacio Euclidiano puede presentarse como solucion al
problema variacional de minimizar el funcional area y tambien como aquella supercie
cuya curvatura media o la semitraza del diferencial de la aplicacion normal de Gauss, es
cero. De manera mas general, podemos decir que una inmersion isometrica, f : M N es
mnima si su vector curvatura media es cero o, que f(M) es punto crtico de un problema
variacional, en este caso el funcional volumen. Generalizando a un mas, dada una aplicacion
diferenciable entre dos variedades Riemannianas, f : M N, denimos el campo de
tensiones (f) como la traza de una forma bilineal vectorial, que se llamara segunda
forma fundamental de f. Este campo tambien aparece como el lagrangiano asociado a un
problema variacional. Diremos que f es armonica si el campo de tensiones (f) es nulo es
decir la traza de la segunda forma fundamental es cero o es punto crtico de un problema
variacional.
En estas notas presentaremos las tres situaciones antes descritas y siempre bajo los
dos puntos de vista, vale decir, como problema variacional y como traza de alguna forma
bilineal. Y veremos, entre otras cosas, que el campo de tensiones coincide con el vector
curvatura media cuando f es una inmersion isometrica.
2. Supercies Mnimas
En 1760 Lagrange propuso el siguiente problema
Dada una curva cerrada C (sin autointersecciones) encontrar una supercie
de area mnima que tenga a esta curva como frontera.
Lagrange presento este problema como un ejemplo de lo que se conoce ahora como el
Calculo de Variaciones. En particular, incluyo el siguiente caso: Sea S IR
3
el graco de
una funcion diferenciable f : IR
2
IR, es decir
S = (x, y, z) : z = f(x, y), con(x, y)
Denimos la siguiente variacion de S,
S
t
= (x, y, f(x, y) + th(x, y)) : (x, y)
1
donde h es una funcion diferenciable en y h[

= 0. El area de S
t
sobre

esta dado por
A(t) =
__

w(t)dxdy
donde w(t) =
_
det(g
ij
(t)) y g
ij
(t) es la metrica de S
t
inducida por IR
3
. Luego, para que
S tenga area mnima, primero tiene que ser punto crtico de A(t), es decir
A

(0) =
__

Hhdxdy = 0
donde
H =

x
_
f
x
w
_
+

y
_
f
y
w
_
. (1)
Por la arbitrariedad de h, concluimos que
A

(0) = 0 sii H = 0 (2)

Es claro que las funciones anes f(x, y) = ax + by + c son soluciones triviales de esta
ecuacion. A nos mas tarde, Meusnier obtuvo dos soluciones no triviales de esta ecuacion:
El Catenoide, que resulta de girar la catenaria y = a cosh(
x
a
) alrededor alrededor del eje
x. y el Helicoide, que es una supercie reglada.
Posteriormente, Scherk obtuvo un nuevo ejemplo, al buscar soluciones de la forma f(x, y) =
g (x) + h(y) . En este caso, la solucion esta dado por
f (x, y) =
1
a
[ln (cos ax) ln (cos ay)] =
1
a
ln
_
cos ax
cos ay
_
Un importante resultado esta dado por el teorema de Bernstein que establece que el
unico graco mnimo completo (es decir, denido en todo IR
2
) es el plano. Es interesante
este resultado, pues en el caso completo excluye todas las diferentes soluciones menos la
solucion trivial vale decir, el plano. Para una simple demostracion de este teorema ver [4].
Otra manera de analizar las supercies mnimas, es estudiar la geometra extrnseca de
la supercie. La principal herramienta para este estudio es la aplicacion normal de Gauss.
Dada una supercie orientada S, la aplicacion normal de Gauss es una correspondencia,
N : S S
2
, que asocia a cada punto de S su normal unitaria, seg un la orientacion de S..
Se prueba que el diferencial dN
p
: T
p
S T
p
S es un operador autoadjunto, por lo tanto
diagonalizable, y sus valores propios reales k
1
(p) y k
2
(p), llamadas curvaturas principales,
coinciden con la maxima y mnima curvatura de las secciones normales. La curvatura de
2
Gauss de S en p esta por K(p) = k
1
(p)k
2
(p) y la curvatura media es H(p) =
1
2
(k
1
(p)+k
2
(p);
es decir, K(p) y H(p) son el determinante y la semitraza de la transformacion lineal dN
p
,
respectivamente.
El caso particular en que S es el graco de una funcion diferenciable f : IR
2
IR,
la curvatura media es igual a
H =
(1 + f
2
x
)f
yy
2f
x
f
y
f
xy
+ (1 + f
2
y
)f
xx
(1 + f
2
x
+ f
2
y
)
3/2
(3)
la cual coincide con la igualdad dada en (1).
Problema 1. Vericar la armacion hecha en (2)
Problema 2. Demostrar que todo operador autoadjunto, en un espacio producto interno,
es diagonalizable.
Problema 3. Demuestre que la aplicacion dN
p
: T
p
S T
p
S es autoadjunta.
Problema 4. Sea S el graco de una funcion diferenciable f : IR IR. Determine
la curvatura media de S.
3. Inmersiones mnimas
Generalizaremos la situacion anterior de la siguiente manera. Sea f : M

M una
inmersion isometrica, entonces para cada punto p M el espacio tangente se puede
descomponer de la siguiente manera
T
f(p)

M = T
f(p)
M
_
T
f(p)
M
_

La conexion Riemanniana

de

M induce una conexion, en M de tal manera que cumple
con la siguiente igualdad
df(
X
Y ) =
_

df(X)
df (Y )
_

donde X, Y son campos diferenciables en M.

Problema 5. Demuestre que es la conexion Riemanniana en M.
Denicion 1. La segunda forma fundamental de la inmersion f es una forma vectorial
bilineal simetrica B : T
p
M T
p
M
_
T
f(p)
M
_

dada por
B(x, y) =
_

X

Y
_

donde

X,

Y son campos en M, extensiones de x , y T
p
M.
3
Para cada
_
T
f(p)
M
_

existe un unico operador autoadjunto S

en T
f(p)
M, asociado
a la forma bilineal B, dado por
B (x, y) , = S

(x) , y = x, S

(y)
donde x, y T
p
M.
Escogiendo una base ortonormal
1
, . . . ,
k
de
_
T
f(p)
M
_

, denimos el vector cur-

vatura media de la inmersion f
H =
1
k
k

i=1
(trS

i
)
i
(4)
Notemos que el vector curvatura media es perpendicular a M.
Si e
1
, . . . , e
n
es una base ortonormal de T
f(p)
M, entonces
tr (S

i
) =
n

r=1
S

i
(e
r
) , e
r
= B (e
r
, e
r
) ,
i

Reemplazando en (4), obtenemos otra formula para representar al vector curvatura media
H =
1
k
n

r=1
B (e
r
, e
r
) (5)
Decimos que la inmersion f es mnima y f (M) es una subvariedad inmersa mnima de

M
si H = 0.
Ejemplo 2. Sea : I

M una geodesica y como

es un campo paralelo en

M a lo largo
de , entonces B (

) = 0, luego es una inmersion mnima y (I) es una subvariedad

mnima.
Por otro lado, es posible describir las inmersiones mnimas como puntos crticos de un
problema variacional: Sea f : M

M una inmersion donde M es una variedad compacta
con frontera M (puede ocurrir que M = .)
Una variacion de f es una aplicacion F : (, ) M

M, C

tal que
a) Cada aplicacion F
t
: M M es una inmersion, t (, ).
b) F
0
= f
c) F
t
[
M
= f[
M
para todo t (, )
4
Sea E (p) = dF(

t
) =
F
t
(0, p) el campo variacional de

M, perpendicular a M y A(t)
el volumen de la subvariedad inmersa f
t
(M) en

M, es decir,
A(t) =
_
M
dv
t
(6)
donde dv
t
es el elemento de volumen de la inmersion F
t
.
Teorema 3. Con las notaciones anteriores,
A

(0) =
_
M
H, E dv
donde dv es el elemento de volumen de M.
Demostracion. En efecto, derivando la ecuacion ( 6) con respecto de t obtenemos
A

(t) =
_
M
d
dt
(dv
t
)
Sea E
i

i=1,...,n
un referencial geodesico en p M es decir,
a) E
i

i=1,...,n
es una base ortonormal en una vecindad de p M, en la metrica inducida
por f.
b) (
E
i
E
j
)
p
= 0, i, j = 1, . . . , n
Si w
i

i=1,...,n
es la base dual de E
i

i=1,...,n
, la metrica g
t
, inducida por F
t
, puede ser
escrita de la siguiente manera
ds
2
t
=
n

i,j=1
g
ij
(t) w
i
w
j
donde g
ij
(t) = dF
t
(E
i
) , dF
t
(E
j
) . Luego
dv
t
=
_
g (t)w
1
. . . w
n
=
_
g (t)dv
0
donde g (t) = det (g
ij
(t)) . Derivando con respecto de t y evaluando en t = 0,
d
dt
(dv
t
)
t=0
=
1
2
g

(0) dv
0
=
1
2
tr(g

ij
(0)). (7)
Desarrollemos la expresion del lado derecho en la ultima igualdad. Extendemos E
i

i=1,...,n
sobre (, ) U, donde U es una vecindad de p. Usando la interpretacion geometrica del
5
corchete, tenemos que
_

t
, E
i

= 0. Si E,

E
1
, . . . ,

E
n
son las imagenes de los campos
anteriores mediante dF, entonces
g
ii
(t) = dF (E
i
) , dF (E
i
) =
_

E
i
,

E
i
_
en F (t, p) . Luego,
d
dt
g
ii
(t) = E

E
i
,

E
i

= 2

E

E
i
,

E
i

= 2

E
i
E,

E
i

en la ultima igualdad usamos la simetra de la conexion Riemanniana

en M. Por la
compatibilidad de la conexion con respecto a la metrica y el hecho de que E,

E
k
= 0,
obtenemos que
1
2
d
dt
g
ii
(t) =
_
E,

E
i

E
i
_
= E, B (E
i
, E
i
)
Usando (5) , y evaluando en (0, p) , obtenemos
1
2
n

i=1
d
dt
g
ii
(0) = E, H
Problema 6. Recuerde que un referencial geodesico se construye a partir de una base
ortonormal en T
p
M, y trasladando paralelamente a lo largo de los rayos geodesicos que
salen de p. Demuestre que de esta manera se obtiene un referencial que cumple con las
condiciones a) y b), descritas anteriormente.
Problema 7. Demuestre que el operador S

es autoadjunto.
Problema 8. Demuestre la igualdad dada en ( 7).
Problema 9. Demuestre que la denicion de H no depende del referencial ortonormal
escogido.
4. Fibrados Vectoriales
Recordemos algunos conceptos sobre brados vectoriales que seran utilizados mas ade-
lante. Sea M una variedad diferenciable ( C

) conexa y orientable.
Denicion 4. Un brado vectorial real de rango n sobre M consiste en:
6
1. Tres variedades C

, V llamado espacio total, M, variedad base y un espacio vectorial

real de dimension, F, llamado la bra estandar del brado.
2. Una aplicacion : V M sobreyectiva y C

.
3. Un cubrimiento, |, de abiertos en M tal que para cada abierto, U |, existe una
aplicacion diferenciable :
1
(U) F de tal manera que (, ) :
1
(U) U F
es un difeomorsmo.
4. Cada bra V
x
=
1
(x) es un espacio vectorial sobre IR y [
Vx
: V
x
F es un
isomorsmo lineal para cada x M.
Denotaremos por C (V ) al espacio vectorial de las secciones diferenciables de V ; i.e.
C (V ) = : M V : (x) = x
Un ejemplo tpico de brado vectorial es el brado tangente, donde
V = TM = (p, v) : v T
p
M, p M,
la proyeccion esta dada por (p, v) = p y las secciones, en este caso son los campos
vectoriales C

.
A partir de brados vectoriales, podemos construir nuevos brados. Por ejemplo, ten-
emos el brado dual

: V

M donde (

)
1
(x) = V

x
y las secciones estan dadas por
funcionales (x) : V
x
IR.
Si : W M es otro brado sobre M construimos el brado producto tensorial
: V W M
donde las bras ( )
1
(x) = V
x
W
x
. Si C (V ) y C (W) entonces una seccion
en el brado producto tensorial esta dada por ( ) (x) = (x) (x) para todo x M.
Dada una aplicacion diferenciable f : M N y : W N un brado vectorial sobre
N, entonces el brado sobre M inducido por la aplicacion f se dene de tal manera que la
bra sobre x M esta dada por W
f(x)
, y las secciones en este brado son de la forma f
donde C(W). Tal brado lo denotaremos por f
1
W y se llamara el brado inducido
por f.
Una metrica Riemanniana en un brado vectorial : V M es una secciom <, >
C(V

) la cual es denida positiva en cada bra. Un brado vectorial Riemanniano

(V, <, >) es un brado V con una metrica Riemanniana. Una variedad Riemanniana (M, g)
es una variedad M con una metrica Riemanniana <, > en TM.
7
Si (V, <, >) es un brado vectorial Riemanniana, entonces podemos inducir una metrica
en el brado dual usando el siguiente isomorsmo entre la bra V
x
y la bra dual V

x
,
: V
x
V

x
dado por () = , , es decir, la representacion de Riez para funcionales cuando tenemos
un espacio producto interno. Si denotamos por a la inversa de , entonces denimos el
producto interno en la bra dual
, =

con , V

x
Si (V, <, >
1
) y (W, <, >
2
) son dos brados Riemannianos, inducimos el siguiente pro-
ducto interno en el brado producto tensorial de V W. Sean , V
x
y , W
x
,
, = ,
1
,
2
Problema 10. Sea M una variedad diferenciable de dimension n. Demostrar que TM es
una variedad diferenciable de dimension 2n y que : TM M es un brado vectorial de
rango n.
Problema 11. Dados los brados Riemannianos (V, <, >
1
) y (W, <, >
2
), determine la
metrica Riemanniana inducida en el brado V

W.
4.1. Conexion Lineal
Una conexion lineal en un brado vectorial : V M es una aplicacion bilineal en
el espacio de las secciones
: C (TM) C (V ) C (V ) ,
escrito a partir de ahora como (X, )

X
, tal que para cada funcion diferenciable h en
M, se cumple que:
1.
hX
= h
X

2.
X
h = X(h) + h
X
, con X C(TM), C(V ).
Nos referiremos a
X
como la derivada covariante de la seccion en la direccion del
campo X C(TM).
8
A partir de una conexion lineal en un brado podemos construir una conexion en otro
brado. Si
V
es una conexion lineal en el brado V, denimos la conexion dual en V

como
(

X
)() = X(()) (
V
X
)
donde C (V

) y C (V ) .
Si
W
es una conexion en el brado W, entonces la conexion producto tensorial en
V W esta dada por

X
( ) = (
V
X
) + (
W
X
).
Si f : M N es una aplicacion diferenciable y : W N un brado vectorial
sobre N con conexion lineal
W
, entonces denimos la conexion para el brado vectorial
inducido f
1
W de la siguiente manera: Sea x M, y = f(x) N, X T
x
M y C(W),
entonces

X
(f

) = f

W
df(X)
()
donde f

= f C
_
f
1
W
_
. En particular si W = TN y df(Y ) C (TN) , con
Y C (TM) , entonces

X
df(Y ) =
W
df(X)
df(Y ) (8)
Una conexion Riemanniana en un brado Riemanniano (V, g), es una conexion lineal en
V tal que g es una seccion paralela en el brado vectorial V

, es decir
X
g = 0, para
todo X C(TM).
Problema 12. Una conexion en un brado Riemanniano (V, g) es Riemanniano sii se
cumple
X < , >=<
X
, > + < ,
X
>
donde X C(TM), , C(V )
4.2. Diferencial Covariante
Sea : V M un brado vectorial sobre M y una conexion lineal en este brado.
Si C (V ) , entonces, la aplicacion
() : C (TM) C (V )
dada por (X) :=
X
resulta lineal sobre IR. Es decir, podemos considerar () como
una seccion en el brado TM

V y lo llamaremos el diferencial covariante de la seccion

. De manera analoga, consideremos la conexion producto tensorial en este ultimo brado,
: C(TM) C(TM

V ) C(TM

V ).
9
Si w C(TM

V ), entonces la aplicacion
( w) : C(TM) C(TM

V )
resulta tambien una transformacion lineal, es decir, el diferencial covariante ( w),
pertenece al espacio
C(TM

(TM

V )) = C(
2
TM

V )
y representa el diferencial covariante de la seccion w.
5. El Laplaciano
Sean (M, <, >) una variedad Riemanniana, X una seccion de TM y f : M IR
una funcion diferenciable. Denimos la divergencia de un campo X como una funcion
div X : M IR tal que
div X(p) = Tr(Y
Y
X)
Y el gradiente de f como el campo vectorial en M tal que
< grad f(p), v >= df
p
(v), p M, v T
p
M
Veamos las expresiones locales del divergente y del gradiente, respectivamente. Sean (U, x)
una parametrizacion en p M y
X =

v
k

x
k
la representacion de X en esta parametrizacion. Luego, si denotamos por (g
ij
) la matriz
inversa de la metrica en M, entonces,
div X =

i,j
g
ij
<
x
i
X,

x
j
>
=

i,j,k
g
ij
<
x
i
v
k

x
k
,

x
j
>
=

i,j,k
g
ij
<
v
k
x
i
g
kj
+ v
k

l
ik
g
lj
>
=

ik

ik
v
k
x
i
+

i,k,l
v
k

l
ik

il
=

k
(
v
k
x
k
+

i
v
k

i
ik
)
10
En el caso particular que
i
jk
(x
0
) = 0, la expresion del divergente de X en el punto x
0
es
div X(x
0
) =

k
v
k
x
k
(x
0
)
Mas a un, como
< X,

x
i
>=

j
v
j
g
ij
,
los coecientes del campo X en la base dada por esta parametrizacion son
v
i
=

j
< X,

x
j
> g
ij
.
con i = 1, . . . , dim(M). Recordemos que en un espacio producto interno toda 1-forma
esta en correspondencia biunvoca con los campos vectoriales. Vale decir, dado X
C(TM) existe una unica 1-forma w tal que w(Y ) =< X, Y >, donde Y C(TM).
Luego, en x
0
tenemos que
div X(x
0
) =

i,j

x
i
_
w(

x
j
)g
ij
_
. (9)
Con respecto al gradiente de una funcion, sea grad f =

j
a
j

x
j
, la representacion del
campo gradiente en una parametrizacion en p, entonces,
df(

x
i
) =< grad f,

x
i
>=

j
a
j
g
ij
de donde, los coecientes del campo gradiente son:
a
j
=

i
g
ji
f
x
i
.
Finalmente, denimos el laplaciano de una funcion diferenciable h : M IR como
h = div grad h,
La expresion local del laplaciano esta dado por
h =

i,j
g
ij
<
x
i
grad h,

x
j
>
11
donde, como antes, (g
ij
) es la matriz inversa del producto interno <, > . Usando la com-
patibilidad de la conexion riemanniana con el producto interno y la denicion de gradiente
h =

i,j
g
ij
_

x
i
< grad h,

x
j
> < grad h,
x
i

x
j
>
_
=

i,j
g
ij
_

x
i
(dh(

x
j
)) dh(
x
i

x
j
)
_
Considerando el diferencial covariante del funcional dh C(TM

), obtenemos
h =

i,j
g
ij
(dh(

x
i
,

x
j
)) =

i,j
g
ij
(dh)
ij
(10)
6. Aplicaciones arm onicas
Como hemos visto las inmersiones mnimas se presentan como punto crtico de un
problema variacional del funcional volumen y tambien como aquellas inmersiones cuya
curvatura media es nula, es decir, la traza de la segunda forma fundamental es cero. Gen-
eralizando esta situacion, trabajaremos con aplicaciones diferenciables entre dos variedades
riemannianas, f : M N, y denir su campo de tensiones, (f) , el cual aparece como
el lagrangiano de un problema variacional y tambien como la traza de una forma bilineal,
llamada segunda forma fundamental de f . Y de manera analoga, diremos que la aplicacion
f es armonica si el campo de tensiones (f) es nulo es decir es punto crtico del problema
variacional o la traza de la segunda forma fundamental es cero.
En la siguiente subseccion, presentaremos las aplicaciones armonicas desde el punto de
vista tensorial es decir como la traza de una aplicacion bilineal la cual se denominara la
segunda forma fundamental de f.
6.1. Segunda Forma Fundamental
Sean (M, g) y (N, h) dos variedades Riemannianas y f : M N una aplicacion
diferenciable entre ellas. Sabemos que el diferencial
df
x
: T
x
M T
f(x)
N
es una transformacion lineal y por lo tanto df
x
T
x
M

T
f(x)
N. Desde este punto de
vista, df es una seccion del brado producto tensorial TM

f
1
TN sobre M. Luego, el
diferencial covariante de esta seccion, (df) , pertenece al espacio C
_

2
TM

f
1
TN
_
,
es decir, (df) es una aplicacion bilineal en TM con valores en f
1
TN. Esto nos lleva a
la siguiente
12
Denicion 5. Sea f : M N una aplicacion diferenciable entre dos variedades rieman-
nianas. Se dene la segunda forma fundamental de f como el diferencial covariante de la
seccion df, es decir (df) .
Veamos la regla de correspondencia de este diferencial. Como df pertenece al espacio
C
_
TM

f
1
TN
_
, entonces
(df) : C(TM) C(TM

f
1
TN)
tal que (df)(X) =
X
(df) C(TM

f
1
TN), para todo X C(TM). De donde,

X
(df) : TM f
1
TN, y por lo tanto (df)(X, Y ) = (
X
(df))(Y ).
Por otro lado, desde el punto de vista tensorial podemos escribir df de la siguiente manera,
df =

i
w
i
con
i
C (TM

) , w
i
C
_
f
1
TN
_
. Entonces
(
X
(df)) (Y ) =

X
(
i
w
i
) (Y )
=

i
(

i
w
i
+
i

X
w
i
) (Y )
=

i
(Y ) w
i
+
i
(Y )
X
w
i
(11)
Teniendo en cuenta la conexion en el brado dual TM

tenemos que

i
(Y ) = X (
i
(Y ))
i
(
X
Y ) .
Reemplazando en (11) y reordenando convenientemente,
(
X
(df)) (Y ) =

i
[X (
i
(Y )) w
i
+
i
(Y )
X
w
i
]
i
(
X
Y ) w
i
=

i
(Y ) w
i

i
(
X
Y ) w
i
=
X

i
w
i
(Y )

i
w
i
(
X
Y )
Usando la expresion tensorial de df y la conexion del brado inducido, ver (8), concluimos
que
(df)(X, Y ) =
f
X
df(Y ) df(
X
Y ) =
df(X)
df(Y ) df(
X
Y ). (12)
Hallemos localmente una expresion para la segunda forma fundamental, (df). Sean
(X
i
, U
i
) e (Y

, V

) dos parametrizaciones en p y en f (p) respectivamente,

_

x
i
_
y
_

y
_
los campos coordenados asociados a sus respectivas parametrizaciones, entonces
(df)(

x
i
,

x
j
) =
f

x
i
df(

x
j
) df(
x
i

x
j
) (13)
13
Si escribimos df(

x
j
) =

y
, donde f

j
=
(fy)
x
j
, entonces, de las propiedades de
una conexion lineal, obtenemos

x
i
df(

x
j
) =

x
i
f

_
f
a
ij

+ f
a
j

f

x
i

_
.
De la denicion de conexion inducida, tenemos

x
i
df(

x
j
) =

_
f
a
ij
+ f
a
j

df(

x
i
)

_
=

f
a
ij

f
a
j
f

i

y

Teniendo en cuenta los smbolos de Christoel ,

,de la conexion lineal en TN e inter-

cambiando las sumas convenientemente,

x
i
df
_

x
j
_
=

_
_
f
a
ij
+

f
a
j
f

_
_

y

Por otro lado,

df
_

x
i

x
j
_
=

df

_

x
i

x
j
_

y

.
con f

= y

f : U
i
M IR. Considerando la conexion en el brado dual TM

donde
df

es una seccion,
(df

)
ij
:=
_

x
i
df

__

x
j
_
= f

ij
df

_

x
i

x
j
_
Reemplazando,
df
_

x
i

x
j
_
=

_
f

ij
(df

)
ij
_

y

En (13)
(df)
ij
= (df)
_

x
i
,

x
j
_
=

_
_
(df

)
ij
+

f
a
j
f

_
_

y

. (14)
Denotaremos por (df)

ij
cada componente de la segunda forma fundamental (df)
ij
.
Denicion 6. Sea f : M N una aplicacion diferenciable entre dos variedades rieman-
nianas. Denimos el campo de tensiones de f como
(f) = Tr((df))
14
Dado que df es una bilineal con valores vectoriales, el campo de tensiones (f) toma
valores vectoriales en T
f(x)
N. La expresion local para el campo de tensiones de f esta dada
por
(f) =

donde
(f)

i,j
g
ij
_
(df)

ij
_
=

i,j
g
ij
_
_
(df

)
ij
+

f
a
j
f

_
_
Teniendo en cuenta la expresion local del laplaciano, ver (10), obtenemos,

= f

i,j

,
f
a
j
f

g
ij
con , , = 1, . . . , dimN. Observemos que es el laplaciano asociado a la variedad
riemanniana M y es un sistema de operadores semielipticos.de segundo orden.
Denicion 7. Sean (M, g) y (N, h) dos variedades riemannianas y f : M N una
aplicacion C

. Decimos que f es armonica si (f) = 0.

Dado que N es una variedad Riemanniana, podemos escoger, localmente, una base
ortonormal E
i
en f (x) y expresar la segunda forma fundamental de f en funcion de
esta base,
df (X, Y ) =

i
< df (X, Y ) , E
i
> E
i
.
Esto nos lleva a denir las siguientes formas bilineales H
i
(X, Y ) = < df (X, Y ) , E
i
>,
con i = 1, . . . , dimN las cuales tienen asociadas un operador lineal A
i
, en T
x
M tal que
H
i
(X, Y ) =< A
i
(X) , Y >. Luego el campo de tensiones esta dada por
(f) =

i
(TrA
i
) E
i
.
Notemos que la traza no depende de la base ortonormal escogida. En efecto, sea F
j
otra
base ortonormal en T
f(x)
N tal que F
j
=

i
a
ij
E
i
y B
j
es el operador en T
x
M asociado a la
forma cuadratica < df (X, Y ) , F
j
> . Si e
k
es una base ortonormal en T
x
M entonces
Tr (B
j
) =

k
< B
j
(e
k
) , e
k
>
=

k
< df (e
k
, e
k
) , F
j
>
=

k
a
ij
< df (e
k
, e
k
) , E
i
> =

i
a
ij
Tr (A
i
) .
15
Luego
(f) =

j
(TrB
j
) F
j
=

i
Tr (A
i
)

j
a
ij
F
j
=

i
(TrA
i
) E
i
.
Veamos algunos ejemplos.
Ejemplo 8. Si N = R entonces f es una aplicacion armonica si f es una funcion armonica
en el sentido (10).
Ejemplo 9. La aplicacion identidad en M es armonica dado que df (X, Y ) = 0 para todo
X, Y TM, ver (12).
Ejemplo 10. En general, decimos que una aplicacion f : M N es totalmente geodesica si
su segunda forma fundamental es nula, es decir, (df) = 0. En particular toda aplicacion
totalmente geodesica es armonica.
Ejemplo 11. Sea f : S IR
3
una inmersion isometrica de una supercie regular en IR
3
,
localmente parametrizada por coordenadas isotermicas, es decir, g
ij
=
2

ij
. Entonces,

=
S
f

=
2
f

, = 1, 2, 3
donde es el laplaciano en el plano IR
2
.Por lo tanto f una inmersion mnima si y solamente
si cada f

es una funcion armonica en el sentido euclidiano.

En general, si f : M N es una inmersion isometrica entonces la segunda forma
fundamental de f esta dado por, ver (12),
(df) (X, Y ) = B (X; Y ) =
N
X
Y
X
Y
donde X e Y es identicado con df (X) y df (Y ) respectivamente y la conexion riemanniana
en M esta dada por la parte tangente de la conexion de N, es decir
X
Y = df
_

M
X
Y
_
.
Recordando la denicion de curvatura media , ver (4), tenemos
H = Tr (B (X; Y )) = (f)
Teorema 12. Sea f : (M, g) (N, h) una inmersion isometrica. Entonces
(f) = mH
donde m = dimM y H es el vector curvatura media. En particular, una inmersion
isometrica es mnima sii es armonica.
16
6.2. Funcional Energa
En esta seccion presentaremos las aplicaciones armonicas como puntos crticos de un
problema variacional. Sean (M, g) y (N, h) dos variedades Riemannianas, tales que M y
N son compactas, orientables, conexas y f : M N una aplicacion diferenciable. Como
hemos visto en en la subseccion anterior, df es una seccion del brado Riemanniano
T

M f
1
(TN). Si |df| representa su norma en este brado y (U, x), (V, y) son dos
parametrizaciones en p y en f(p),respectivamente, entonces
|df|
2
= g
ij
h

(f)f

i
f

j
donde (f

i
) =
_
yf
x
i
_
. Notemos que esta norma coincide con la traza de la forma bilineal
f

(h) seg un la metrica g.

Denicion 13. Siguiendo la notacion anterior, denimos la energa de f como
E(f) =
_
M
|df|
2

g
donde
g
es el elemento de volumen de M.
Notemos que E (f) 0 y que E (f) = 0 sii f es una aplicacion constante.
Denicion 14. Decimos que una aplicacion f : M N es punto crtico de E si
dE(f
t
dt
[
t=0
para toda variacion (f
t
)
tIR
de f = f
0
.
Por ejemplo, podemos considerar la siguiente variacion,
f
t
(x) = exp
f(x)
tv(x)
donde v C(f
1
TN).
Teorema 15. Una aplicacion f : M N es un punto crtico de E sii f es armonica.
Demostracion. Por simplicidad, asumiremos que M es compacta. Sea F : M IR N
dada por F(x, t) = f
t
(x). Y
t
la derivada covariante en el brado T

(MIR) F
1
TN
17
Es decir
t
=
1

t
, donde
1
y
2
son las conexiones en T

(M IR) y F
1
(TN)
respectivamente. Luego
d
dt
E(f
t
) [
t=0
=
_
M
d
dt
< df
t
, df
t
>
g
=
_
M
<
t
df
t
, df
t
>[
t=0

g
.
Expresemos de otra manera esta ultima igualdad. Sea X C(TM), y (s) = ((s), t)
una curva en M IR tal que

(s) = X((s) entonces

dF(X) =
d
ds
(F((s))
=
d
ds
(f
t
((s))
= df
t
(X).
Es decir,
< df
t
(X), df
t
(Y ) >=< dF(X), dF(Y ) >,
para todo campo en X, Y C(TM). De (12) y usando el hecho de que [X,

t
] = 0,
(
t
dF)(X) =
F
t
dF(X) dF(
MIR
t
X)
=
TN
dF(t)
dF(X)
=
TN
dF(X)
dF(t) [dF(X), dF(

t
)]
=
F
X
dF(t).
Por lo tanto,

t
dF =
F
dF(t) =
F
F
t
,
coinciden en C(TM). Reemplazando en la derivada de la energa,
d
dt
E(f
t
) [
t=0
=
_
M
<
F
F
t
, df
t
>[
t=0

g
=
_
M
<
f
v, df >
g
donde v =
d
dt
f
t
[
t=0
C(f
1
TN). Ahora demostraremos que
_
M
<
f
v, df >
g
=
_
M
< v, (f) >
g
.
18
En general, para toda seccion f
1
(TN), se tiene que C(TM

f
1
(TN).
Considerando un sistema de coordenadas normales, (U, x) en x
0
M, es decir,
i
j = 0
y
i
g
su
= 0 en x
0
y usando el producto interno en TM

f
1
(TN), se tiene
< , >=

s,u
<
s
, (u) >
W
g
su
donde C(TM

f
1
(TN) y W denota al brado inducido f
1
TN. Luego,
< , > < , g
su
(
s
)(u) > = (<
s
, (u) >
W
+ < , (
s
)(u) >
W
)g
su
Pero, seg un (12)
(
s
)(u) =
f
s
(u) (
M
s
u).
Reemplazando y evaluando en x
0
, tenemos
< , > < , g
su
(
s
)(u) >=

s
< , (u) > g
su
Notemos que el lado derecho de esta ultima expresion es la divergencia de alg un cam-
po vectorial, ver en (9) la expresi on local de la divergencia. Integrando ambos lados y
aplicando el teorema de Green,
_
M
< , >
g
=
_
M
< , g
su
(
s
)(u) >
g
.
En particular para = v , = df , =
f
y observando que g
su
(
s
df)(u) > es la
expresion local del campo de tensiones,(f),
d
dt
E(f
t
) [
t=0
=
_
M
<
f
v, df >
g
=
_
M
< v, (f) >
g
,
Como esto se verica para toda seccion, v C(f
1
(TN)), f es una aplicacion armonica
si f es punto crtico de E. Al contrario es inmendiato.
Problema 13. Dada la variedad diferenciable, M IR, demuestre que [X,

t
] = 0, donde
X C(TM) y

t
es el campo coordenado en IR.
Problema 14. Sean (V, g) y (W, h) dos espacios producto interno y T : V W una
transformacion lineal. Calcule la norma de la forma bilineal T

h seg un la metrica g.
19
Referencias
[1] Warner, F.W. Foundations of Dierentiable Manifolds and Lie Groups. Springer-
Verlag, New York-Berlin, 1983.
[2] J. Eells&J. Sampson. Harmonic mappings of Riemannian manifolds. Amer. J.
Math. (86), 109-160, 1964.
[3] Manfredo do Carmo. Geometria Riemannian. Projeto Euclides, 1988.
[4] Enrico Giusti. Minimal surfaces and functions of bounded variation. Boston :
Birkhuser, 1984.
[5] H. Blaine Lawson Jr. Lectures on Minimal submanifolds, volume 1. Mathematics
Lecture Series (9), Publish or Perish, 1980.
[6] Robert Osserman A survey of Minimal Surfaces. Dover Publications, Inc. 1986.
[7] Walter Poor Dierential Geometric Structures. Dover Publications, Inc. 2007.
[8] S. Kobayashi&K. Nomizu Foundations of Dierential Geometry, Volume 1. Inter-
science Publishers, 1963.
20