Examen de M Etodos Matem Aticos IV: 3er Curso de Grado en F Isica
Examen de M Etodos Matem Aticos IV: 3er Curso de Grado en F Isica
Examen de M Etodos Matem Aticos IV: 3er Curso de Grado en F Isica
donde hemos asumido que ϵjki = 1. Este término afecta al signo del vector perpendicular a la superficie
(“hacia afuera” o “hacia adentro” de la superficie y i = cte) pero se hace irrevalante para la norma, ya
que se cancela. Esta norma vendrá dada por:
√
dSyi =cte = ∥dS yi =cte ∥ = dS yi =cte · dS yi =cte
√
= dy j dy k g g ii
Si el sistema de coordenadas es ortogonal, entonces tenemos que g = (h1 )2 (h2 )2 (h3 )2 y g ii = (hi )−2 de
modo que la expresión anterior se simplifica a:
dSyi =cte = hj hk dy j dy k
Problema 2 (3 puntos).
Demostrar que cualquier densidad tensorial polar Tji de peso w par, puede ser expresada como Tji =
√ w i
g Sj , donde Sji es un tensor absoluto y g el determinante del tensor métrico. Demostrar que si w
es impar, entonces la anterior relación define de forma general una densidad tensorial axial de peso w
impar.
Solución:
Para que el objeto Tji sea una densidad tensorial de peso w y paridad ε debemos demostrar que se
transforma de acuerdo con
w
T̃ji = ε |C| Cjp Dqi Tpq
Podemos comenzar con la expresión de este objeto en la nueva base y aplicar la ley de transformación
tensorial del tensor absoluto S:
√ w
T̃ji = g̃ S̃ji
√ w
= g̃ Cjp Dqi Spq
Ahora podemos
√ hacer uso del hecho de que el determinante del tensor métrico es un pseudotensor axial
√
de peso 1: g̃ = sign |C| |C| g, y operar
w w√ w p i q
T̃ji = (sign |C|) |C| g Cj Dq Sp
w
= ε |C| Cjp Dqi Tpq
w
con ε = (sign |C|) . Vemos que si w es par entonces ε = 1 y el objeto se comporta como una densidad
tensorial polar de peso w. Si es impar, entonces ε = sign |C| y obtenemos la transformación de una
densidad tensorial axial.
Problema 3 (5 puntos).
Consideramos la siguiente superficie inmersa en el espacio tridimensional Euclı́deo habitual, descrita en
coordenadas paramétricas por medio de las relaciones
√
x = (a + bu) cos θ, y = (a + bu) sin θ, z = −b 1 − u2
en términos de las coordenadas generalizadas y 1 = u ∈ [−1, 1], y 2 = θ ∈ [0, 2π], siendo los parámetros a,
b constantes, reales y positivos.
• Problema 3a (1 punto).
Describa brevemente el aspecto de esta superficie, indicando si tiene extensión finita o infinita y si
es una superficie de revolución en función de a, b.
• Problema 3b (1 punto).
Calcule la base natural (t1 y t2 ) del espacio tangente y los coeficientes de la primera forma funda-
mental. Estudie si el sistema de coordenadas propuesto es ortogonal en función de a, b.
• Problema 3c (1 punto).
Calcule la curvatura y torsión de las lı́neas coordenadas de la superficie.
¿Es geodésico el sistema de coordenadas propuesto?
• Problema 3d (1 punto).
Calcule los sı́mbolos de Christoffel Γkij de esta variedad diferenciable.
• Problema 3e (1 punto).
Calcule la segunda forma fundamental de esta superficie e indique el carácter parabólico, hiperbólico
o elı́ptico de todos sus puntos.
Solución:
3a. Cuando θ toma valores en [0, 2π] con u constante las coordenadas x, y describen circunferencias de
radio |a + bu|, por tanto se trata de una superficie de revolución, siendo el eje z el eje de simetrı́a
de la figura.
Al variar u en [−1, 1] con θ constante la coordenada z varı́a entre z = 0 (alcanzado para ambos
valores extremos de u) y z = −b (alcanzado para z = 0), describiendo la mitad inferior de las
circunferencias con radio b y centro en xc = a cos θ, yc = a sin θ, zc = 0.
Claramente la superficie tiene extensión finita y en el caso a > b se corresponde con la “mitad
inferior” de un toro de radios a y b. Las distancias máxima y mı́nima al eje z alcanzadas √ por la
superficie son respectivamente a + b y a − b, por tanto para a ≤ b el punto x = y = 0, z = − b2 − a2
se convierte en un punto singular donde la superficie se corta a sı́ misma, tal y como se aprecia en
la figura.
A partir de esta parametrización podemos generar la gráfica de un toro completo añadiendo a esta
figura la mitad
√ superior del toro, que puede parametrizarse por medio de las anteriores x e y junto
con z = +b 1 − u2 .
3b. Base natural:
bu
t1 = {b cos θ, b sin θ, √ }, t2 = {− (a + bu) sin θ, (a + bu) cos θ, 0}
1 − u2
Primera forma fundamental:
b2 2
E= , F = 0, G = (a + bu)
1 − u2
Como F = 0 el sistema de coordenadas es ortogonal para cualesquiera valores de a, b.
y tiene proyección nula sobre el plano tangente, por tanto el conjunto de lı́neas coordenadas θ =
cte es geodésico. El vector de curvatura de las lı́neas u = cte es
−1
k2 = {− cos θ, − sin θ, 0}/ (a + bu) por tanto k2 = |a + bu|
por tanto estas lı́neas no son geodésicas. El sistema coordenado propuesto es geodésico ya que es
ortogonal y una de las familias de curvas coordenadas es geodésica.
Como ambas familias de curvas coordenadas son planas es evidente que su torsión es nula.
3d. Los sı́mbolos de Christoffel de segunda especie Γkij están dados por
u
Γ111 =
1 − u2
( )
Γ122 = − (a + bu) 1 − u2 /b
b
Γ212 = Γ221 =
a + bu
siendo nulos todos los restantes.
3e. Los coeficientes de la segunda forma fundamental son
( )
L = sb/ 1 − u2 , M = 0, N = u |a + bu|