Jueves 29 de Junio de 2014

Pontificia Universidad Cat olica de Chile

Facultad de Matem aticas
Departamento de Matem aticas
Primer Semestre de 2014
Tarea N
o
6
Geometra Diferencial - MAT2305
Profesor: Jairo Bochi - Ayudante:

Alvaro Ferrada
Matas Gajardo Reyes
1. Calcule los smbolos de Christoel de un conjunto abierto del plano con respecto a las
coordenadas polares.
Solucion: Para el trozo de plano pedido, consideraremos la parametrizacion
: U R
2
R
3
tal que:
(r, ) = (r cos(), r sen(), 0)
Con U = {(r, ) R
2
/0 < r < p, (0, 3)}, siendo p R una constante. Luego,
calculamos las derivadas parciales:

r
= (cos(), sen(), 0)

= (r sen(), r cos(), 0)
Ahora, los coecientes de la primera forma fundamental son:
E =
u
,
u
= 1
F =
u
,
v
= 0
G =
v
,
v
= r
2
Y calculamos sus derivadas parciales:
E
r
= 0, E

= 0
F
r
= 0, F

= 0
G
r
= 2r, G

= 0
Tenemos que si (u, v) es una parametrizacion de una supercie, entonces los smbolos
de Christoer son:
1

1
11
=
GE
u
2FF
u
+FE
v
2(EGF
2
)

1
12
=
GE
v
FG
u
2(EGF
2
)

1
22
=
2GF
v
GG
u
FG
u
2(EGF
2
)

2
11
=
2EF
u
EE
v
FE
u
2(EGF
2
)

2
12
=
EG
u
FE
v
2(EGF
2
)

2
22
=
EG
v
2FF
v
+FG
u
2(EGF
2
)
Reemplazando los valores obtenidos anteriormente se ve:

1
11
= 0,
1
12
= 0,
1
22
= r

2
11
= 0,
2
12
=
1
r
,
2
22
= 0
Que es lo pedido.
2. Suponga que los coecientes de la primera forma fundamental con respecto a una
parametrizacion local X(u, v) son:
E(u, v) = 1, F(u, v) = 0, G(u, v) =
1
v
2
Considere la curva (s) = X(s, c) donde c > 0 es una constante. Calcula la derivada
covariante
D

ds
. Es una geodesica?
Solucion: Primero calcularemos los coecientes de Christoer para la parametrizacion
X(u, v). Derivando obtenemos que:
E
u
= 0, E
v
= 0
F
u
= 0, F
v
= 0
G
u
= 0, G
v
=
2
v
3
2
Por lo tanto los smbolos de Christoer son:

1
11
= 0,
1
12
= 0,
1
22
= 0

2
11
= 0,
2
12
= 0,
2
22
=
1
2
Y recordemos que la derivada covariante se puede escribir en terminos de las derivadas
parciales de X, de los smbolos de Christoer y de las funciones suaves A y B como:
D

ds
= {(A
u
+A
1
11
+B
1
12
)u

+ (A
v
+A
1
12
+B
1
22
)v

}X
u
+{(B
u
+B
2
11
+A
2
12
)u

+ (B
v
+B
2
12
+A
2
22
)v

}X
v
Donde (s) = (u(s), v(s)), y A, B cumplen que:
W(X(u, v)) = A(u, v)X(u, v) +B(u, v)X(u, v)
Con W un campo suave de vectores tangentes a S denido en un abierto U S tal
que W : U R
3
con W(p) T
p
S, p U.
Luego, si reemplazamos los valores de los smbolos obtenidos anteriormente, se tiene
que:
D

ds
= B
1
2
v

X
v
Pero como la curva es tal que (s) = X(s, c) con c constante, tenemos que
v(s) = c v

= 0, por lo tanto:
D

ds
= 0
Para ver si es una geodesica, debemos vericar que

sea un campo paralelo de

vectores, pero por Teorema, sabemos que un campo de vectores es paralelo si la
derivada covariante es 0, y como acabamos de mostrar que
D

ds
= 0, tenemos que
efectivamente

es un campo paralelo de vectores, por lo tanto es una geodesica.

3
4. Sea S una supercie regular compacta como esta:
Figura 1: Supercie S
(S esta cerca de las aristas de un cubo). Determine

S
KdA.
Solucion: Por la forma que se muestra en la gura, claramente podemos decir que
: S C tal que es un homeomorsmo, con C el cubo que delimita la supercie.
Luego, tenemos que la caracterstica de Euler de S y de C son iguales y claramente la
de C es 2, por lo tanto tenemos que (S) = 2 y aplicando el Teorema de Gauss-Bonnet
para supercies compactas tenemos que:

S
KdA = 2(S) = 4
4