Grupos A y B GEOMETRIA DIFERENCIAL Y CALCULO TENSORIAL Curso 201617

Para el exmen llevar material

se
podra ,
no
hay PROGRAMA
que aprenderse las frmulas

1 TEORIA DE CURVAS
1. Curvas parametrizadas.
2. Longitud de arco.

:
Todo lo calcular desde dentro de la
que podemos superficie .

3. Curvaturas.
4. Formulas de Frenet.
2 SUPERFICIES: PRIMERA FORMA FUNDAMENTAL Y CALCULO TENSORIAL
1. Concepto de superficie.
2. Curvas en una superficie.
3. Primera forma fundamental.

:O
de lo de la superficie desde fuera
4. Geometra riemanniana. que podemos conocer

5. Vectores contravariantes y covariantes.

6. Fundamentos del calculo tensorial.
7. Tensores especiales.

3 SUPERFICIES: SEGUNDA FORMA FUNDAMENTAL, CURVATURA MEDIA Y CURVATURA GAUSSIANA

1. Segunda forma fundamental.
2. Curvaturas principales, curvatura media y curvatura gaussiana.
3. Formulas de Weingarten y de Gauss.
4. Propiedades de los smbolos de Christoel.
5. Tensor de curvatura de Riemann.
6. Teorema egregio de Gauss.

)
"
de la forma fundamental de los dentro de la superficie
"

4 CURVATURA GEODESICA Y GEODESICAS dependen 1 viven

que
.
.

" "

1. Curvatura geodesica. geodsica camino ms corto entre 2 puntos .

2. Geodesicas.
3. Arcos de longitud mnima: introduccion al calculo variacional.
4. Teorema de Gauss-Bonnet. ( para propiedades globales de las geodsica )
5 APLICACIONES ENTRE SUPERFICIES ( se ver poco )

1. Aplicaciones entre superficies.

2. Isometras.
6 DERIVACION COVARIANTE Y TRANSPORTE PARALELO ( derivacin , integracin gradientes
,
,
rotacionales etc .
en
espacios

1. Derivacion covariante. curvados )

2. Identidad de Ricci.
3. Identidades de Bianchi.
4. Transporte paralelo. ( a traves de la geodsica manteniendo el vector con el mismo ngulo )
7 INTRODUCCIN A LAS VARIEDADES ( No lo veremos )
Como estudiarlas desde de dimensin Teora de variedades
manejar superficies sin un
espacio superior que las englobe .

1
 BIBLIOGRAFIA

1. Erwin Kreyszig Se
sigue casi al de la letra Cambiaremos de detalles de notacin Tiene muchos problemas
pie un
por
}
. .

Dierential Geometry
resueltos la el captulo est
Dover, New York (1991). nica
pega
es 2
que un mal Salvo teoria de unas
el
y para
.

eso
, poco .

resto se al de la letra
sigue pie .

EJERCICIOS ( intentaremos hacerlos todos

)

1 (a) Reconstruya y dibuje la curva en R2 cuya curvatura es (s) = 1/s (s > 0) efectuando las integraciones en la
variable s y posteriormente la reparametrizacion s = et /4 . (b) Calcule la longitud del arco de dicha curva entre los
puntos (1/2, 1/2) y ( e /2, e /2).
p p
2 Demuestre que la curva en R3 dada por x(t) = (t + 3 sen t, 2 cos t, 3t sen t) es una helice circular y encuentre
una isometra propia de R3 que lleve la helice a la forma x(t) = (a cos t, a sen t, bt).

3 Considere la curva x(t) = ((4/5) cos t, 1 sen t, (3/5) cos t). Demuestre que es una circunferencia y calcule su
radio, su centro y la ecuacion cartesiana del plano en que se encuentra.

4 Sea S la superficie parametrizada x(u, v) = (u cos v, u sen v, u2 ), (0 < u, 0 < v < 2), y sean C1 y C2 las curvas
sobre S dadas por (u(t), v(t)) = (t, t + 1) y (u(t), v(t)) = (t, 3 t) respectivamente. Calcule el angulo que forman dichas
curvas en el punto P en que se cortan sobre S: (a) encontrando parametrizaciones de las curvas en R3 ; (b) operando
en la base coordenada del plano TP (S) tangente a S en el punto P .

5 (a) Calcule la primera forma fundamental de la superficie parametrizada x(u, v) = (R(u) cos v, R(u) sen v, H(u)),
donde R(u) y H(u) son funciones dadas. (b) Demuestre que dicha superficie es de revolucion y se puede reparametrizar
de modo que g11 (u, v) = 1, g12 (u, v) = g21 (u, v) = 0 y g22 (u, v) sea funcion unicamente de u.

6 (a) Calcule la primera forma fundamental de la superficie parametrizada x(u1 , u2 ) = (u1 + u2 , u1 u2 , u1 u2 ). (b)
Utilizando la regla tensorial, calcule la primera forma fundamental al efectuar la reparametrizacion u1 = (u1 + u2 )/2,
u2 = (u1 u2 )/2. (c) Compruebe el resultado calculando x(u1 , u2 ) y obteniendo la primera forma fundamental a partir
de esta reparametrizacion.
p p
7 Sea la base de R2 constituida por los vectores x1 = (2, 0), x2 = (1/ 2, 1/ 2). (a) Calcule los vectores depla p base
dual x1 , x2 ; (b) Calcule mediante productos escalares las componentes contravariantes v del vector v = (3 + 2, 2);
(c) Calcule mediante productos escalares las componentes covariantes v ; (d) Compruebe la relacion v = g v .

8 Calcule y simplifique las siguientes expresiones ( es el tensor de Levi-Civita): (a)

; (b)

; (c) ;
(d) ; (e) .

9 Calcule la primera forma fundamental, el area, la segunda forma fundamental, las curvaturas principales, la curva-
tura media y la curvatura gaussiana de la pseudoesfera con la parametrizacion x(u, v) = (sech u cos v, sech u sen v, u
tanh u), 0 < u < 1, 0 < v < 2. Dibuje la superficie.

10 Encuentre la ecuacion diferencial que debe cumplir la funcion f (u, v) para que la superficie parametrizada
x(u, v) = (u, v, f (u, v)) tenga curvatura gaussiana identicamente nula.

11 Calcule los smbolos de Christoel para la superficie parametrizada x(u, v) = (u cos v, u sen v, f (u)) con
0 < u, 0 < v < 2.

12 Demuestre que no existe una superficie x(u1 , u2 ) cuya primera forma fundamental g y segunda forma funda-
mental b sean
1 0 cos2 (u1 ) 0
(g ) = , (b ) = .
0 cos2 (u1 ) 0 1

2
 13 Sabiendo que
1 0 1 0
(g ) = , (b ) = ,
0 sen2 u 0 sen2 u
son, respectivamente, la primera y la segunda forma fundamental de una superficie parametrizada x(u, v), reconstruya
la superficie mediante los siguientes pasos:
(a) Escriba las ecuaciones de Gauss y de Weingarten.

(b) Eliminando nu entre las ecuaciones para xuu y nu demuestre que

x(u, v) = a(v) sen u + b(v) cos u + c(v).

(c) Utilizando la ecuacion para xuv demuestre que b y c son vectores constantes.

(d) Utilizando las restantes ecuaciones demuestre que

a(v) = d cos v + e sen v,

con d y e vectores constantes.

(e) Finalmente, calculando con la expresion resultante para x(u, v) la primera forma fundamental, demuestre que los
vectores b, d y e son ortonormales y que por tanto la superficie es una esfera.

14 A partir del tensor de Riemann R se definen el tensor de Ricci R = R y la curvatura escalar R = R .

Sabiendo que en dimension 2 (es decir, para una superficie) el tensor de Riemann se puede escribir como R =
K(g g g g ), donde K es la curvatura gaussiana, calcule: (a) la forma del tensor de Ricci de una superficie;
(b) la curvatura escalar de una superficie; (c) R , donde es el tensor de Levi-Civita.

15 Considere la superficie parametrizada x(u1 , u2 ) = (u2 cos(u1 ), u2 sen(u1 ), cosh(u2 )). Calcule todas las componen-
tes no nulas de su tensor de Riemann R .

16 Sea la superficie parametrizada x(u, v) = (cos u, sen u, v). (a) Calcule la curvatura normal y la curvatura geodesica
de las curvas sobre dicha superficie dadas por u(t) = t, v(t) = tn /n, (n = 1, 2, 3, . . .). (b) Encuentre todos los valores
de n para los que las curvas anteriores se pueden reparametrizar de forma que sean geodesicas.

17 Calcule la primera forma fundamental, la segunda forma fundamental, las curvaturas principales, la curvatura
media y la curvatura gaussiana del toro con la parametrizacion x(u, v) = ((R + r cos v) cos u, (R + r cos v) sen u, r sen v),
0 < u < 2, 0 < v < 2, 0 < r < R. Calcule la curvatura total: (a) mediante integracion; (b) haciendo uso del teorema
de Gauss-Bonnet.

18 Compruebe en el plano parametrizado en coordenadas polares x(u, v) = (u cos v, u sen v, 0) que la derivada
covariante g ; es identicamente nula.

19 Sea la superficie parametrizada x(u1 , u2 ) = (u1 cos(u2 ), u1 sen(u2 ), 0). Calcule la derivada covariante w; del
campo vectorial cuyas componentes contravariantes son w1 = cos(u2 ), w2 = sen(u2 )/u1 . Interprete geometricamente
el resultado.

20 Considere la esfera parametrizada por x(u1 , u2 ) = (cos(u1 ) cos(u2 ), cos(u1 ) sen(u2 ), sen(u1 )). (a) Calcule (plan-
1 2
teando y resolviendo las ecuaciones correspondientes) elp transporte
p paralelo w(t) = w (t)x1 + w (t)x2 del vector
w(0) = x2 a lo largo de u = /4 partiendo del punto (1/ 2, 0, 1/ 2). (b) Derivando la solucion obtenida (vista como
curva en R3 ), compruebe que w0 (t) es ortogonal a la superficie.

3
 El
objetivo de la asignatura es llevamos de las ecuaciones de Newton a las ecuaciones de la relatividad general .

* Nota no No cualquier tenga ndices arriba tensor ! !

y abajo
cosa es
que un

Qu la geometra ? Sabemos muchas todas estudian las propiedades de figuras colecciones de puntos
que hay geometra geomtricas
es o .

dice invariante ante de las diferentes geometias difieren el

una propiedad se geomtrica si es cierto tipo transformaciones , y
en
tipo

de transformacin Un tensor considerado tal ante de ante otros

.
puede ser como un tipo transformaciones y no .

Los tensores garantizaran que

los resultados no dependen del sistema de referencia escogido .

el Una geomtrica de la lo mantiene invariante la

Tengamos una curva en
plano .
propiedad una es
que se bajo desplazamientos Cej

longitud o
la curvatura
) .
Una propiedad no
geomtrica
seran las coordenadas del
punto
inicial .

desplazarnos
~ -
~
Queremos caracterizar de forma intrnseca la una

propiedades geometrics
globales

necesitamos conocer la una entera ( longitud )

la
locales
dependen solo del punto entorno del mismo Curvatura en
punto )
y un un

Casi todas las propiedades estudiaremos sern locales Salvo el teorema de Gauss Bonnet
que
-
. .

dentro de
Si vine sanos una
hoja de papel , no
podamos distinguir su
geometra

Luego
hay propiedades que se pueden
ver desde fuera y otras desde dentro tienen formla
ambals
la ta fundamental

Las curvas no Herren geometra intrnseca

,
desde dentro no se
puede saber si estan amadas o no .
Desde un punto de vista intrnseco local

las figuras son lo mismo

y
.

Para
distinguir lo que se puede
medir desde dentro
y
desde
fuera empleamos la te
y
29 forma fundamental .

ella volante
A groso
modo ,
usa una sera una
geodsica si montados en en un coche no tuvisemos
que girar el .

Efi
No es geodsica

{
no es geodsica
Dos isomtrica desde dentro desde tienen la 1
forma fundamental diferencian
superficies son si se ven
igual aunque fuera no
misma
y
se

en la 29 (ej . un cilindro
,
un uno ,
un
plano ) .

Repaso de lgebra rapido

"

Espacio Euclidiano IR

"
un vector de IR es I = ( Xe ,
. . . xn )

el escalar lo derrotaremos I ya
producto con un
punto . =
Xryrtxryrt . . .

Xnyn

La norma la derrotamos como es usual HH = VII = Fix

La distancia entre 2
puntos es dlxa j ) ,
= III -

jtl =
(xryejt.tn . yute

ordenados)
Nosotros emplearemos otro
concepto
de base todas seran ordenadas
( n
vectores linealmente independientes
y

En el de 1123
tendremos los vectores i. orden !!
caso ms
importante , j ,
en ese

Si tuvisemos otro orden ambas bases mediante movimiento

J
no
podamos superponer
un
rgido .

j
^

i. vi. j

E
vectores base de la otra base
i
dyma quedaras

Como saber si 2 bases tienen la misma orientacin ?

ET
Pijej = si det ( Pij ) a O ambas bases tendran la misma orientacin

Se pueden como combinacin lineal al ser ambas bases

poner
.

"

Isometra de IR

t
" "

Una isometra es una transformacin T.IR

IR
que
conserva las distancias DCTI , Tj ) = DCI j ), I. js

En espacio sabemos que tasaciones notaciones sometas reflexiones tambin

nuestro son i Las son isometra
y .

" "
En IR todas las isometra se pueden escribir como T = RI tbs donde b- EIR ate R es matriz ortogonal ,
y
una

RTR Al llama
decir de matices
8.to les Reocn ,
es = 11 " se
9Mt
"

ill Rjs ) = E.
j ( uusenap.ua , e. aeanes,

Transforma bases ortono males en bases ortononnales

 "
De todas las isometrics de IR quedamos con
aquellas conservan la orientacin det ( R ) t 1 (rotaciones sin reflexiones )
que

nos =

denomina el SOG )
grupo especial ortogonal
este se

"
TEORA DE CURVAS ( en R ) -
CURVAS PARAMETRIZADAS

xnlt ) )
" "

Una curva
parametizada es una
aplicacin de un intervalo abierto I a IR I : I
IR .
Ser de la forma I A) =
( xlt ) .
. . .

Una curva
parametizada es
regular si su vector velocidad no se anula nunca en todo el intervalo Itt ) =
( xlttxct ) xcslt ) HO V. TEI
,

IRZ Ilt ) el dominio de la funcin sobreentiende todo el

Ej : una urna en =
(t ,
T
) Si no decimos cual es
,
se
que
es dominio en

el est definida Esta la trata de

que .
curva implica y
=
luego curva es
y
se una
panmetizacin regular .

pues IH ( e. e) = + ( o
,
o
) V. t .

Ej
2 :
Itt ) =
( ts ,
t 3) la
grfica es la misma
que
la de la anterior ,
pero
no es una
parametizaavh regular pues
Itt ) =
( 3T ,
3T
)

en to vale 6,0 )
y

Ej :3 Ilt ) =
( ti ,
T 3) definida en todo IR .
fijmonos que Xzo mientras - o a
y
a co . Si cogemos x
y
elevamos a 312

tenemos la coordenada
y , luego tendremos y
= It

) no es una
parametizacin reglar pues

I. lo ) =
( o
,
o
)
\
Si
regular ser ello culpa de la
nos encontramos con una
pwametizacin no
, parametizuin escogida o es
que hay puntos

En general
singulares ? averiguarse
no
puede .

Necesitamos alguna Tcnica para cambiar de

parametizan
de unas dipeo morfismo .

Difeomorfismo ( isomofirsmo diferencial)

aplicacin 0 :
J
I
que cumple
:

a) es
biyediva (1 a 1 sin
que
sobre ni falte )

b
) 0 es co ( J ) ( infinitas derivadas )

c) 0/-1 es C. ( J )
01 existe
porque 0 es biyedva
 0kt ) ent
-

(
F
"

Ej 1 :
d :( o
,
co
)

( .
co
,
os
)
0ft ) = hrt es un difeomorfismo y d
LH = et
- - t
J I

t l
TT P # t Fall di
c)
t.HN
"
%
% 2
P di " " " "
:
" = " " " " me
"
" " " "

IR IR
t

La funcion es c. a( unque muchas derivadas sean O

) la funcin inversa es
01 ( t ) =
Tf
pero

'
'
esta derivable en o Of ( o ) existe
y
no es
no

'
Si 0kt ) es un difeomorfismo entonces ( t) f- o

de
Reparametizacion una curva

"

tengamos I I IR regular difeomorfismo 0 I Se llama reparametzizan de la

Tengamos J una
-
una curva : . un :
.
con

el difeo morfismo I J I ECF ) I ( 6 CF ) ) No es ms cambiar la variable T otra funcin de otro

por

a
que
: =
,

parmetro 0 LF ) tal que E) sea un

difeomorfismo .

Ej : I :
feo ,
) - IRZ Ict ) =
Lt ,
t ) haremos t.lt .
Entonces la nueva parametizaubn ser

E :

tqn
IRZ
ltlflnt ,
but ) Tambien
regular pues
la de
partida era regular y la parametizecioh
tambin :

y
T F sistema de coordenadas interno f- 1 2
tipos de
parumetizaciones
un son
y proporcionan y
.

E- e

FO

- al mismo
punto ,
distintas
E- 1

parametrizaciones .

debe invariante ante

propiedad geometra ser
reparametizuiones

( desde dentro )
" "

En m
espacio mono dimensional solo hay 2 orientaciones
posibles ,
dependern de
que
el difeomorfismo tenga derivada positiva o
negativa

la orientacin si 0/1 ( F )
reparametizacin conserva > O

reparametnizan invierte la orientacin si

oplt ) ao

* Isometra visto desde fuera habr

que
estudiar el
comportamiento del objeto geomtrico ante ambas

y
.

Reparametizaciones visto desde dentro

Longitud de un arco de curva

I )
"
[ a. b ] IR ( intervalo cerrado se sobreentiende abierto ms grande donde est definida la
que hay
: un wwa

definimos la longitud de este arco de curva como t

f II. A) Hdt
= fab xtttt . .
itxnlt )
2
dt

Ejemplo : la hlice circular

Es del
tipo Ilt ) =
( a cost, asent , bt ) donde citbfo ( que al menos una de las 2 no sea O
) .

Supongamos a. bso

Si bt = o tendriamos una circunferencia en un

plano Pero tenemos sube con velocidad constante b.
que
.

seniri de
" una " " tpicamente ejemplo .

eiias
Izrb ( paso
,
a

Calculemos la
longitud de una vuelta de la hlice con a =3 ,
b = 4 Ilt ) =
(3 cost 3 sent 4T
, , ) I :[ 0,2Mt ir

Il A) =
( -3 sent
,
3 cost , 4) III. Ct ) 11
= 9 saittcecoitt 16 = 5 Cate ) l =
fjtsdt = don

]
Las hlices el cilindro
" "
son
geodsica en . Al estirarlas serian rectas .
Habr geodsica
que no sean

la lnea ms corta entre 2 puntos ! !

"

( reparametizaones) empleamos
" "

Al desde ( desplazamientos externos ) al dentro

"

tilde desde
mirar fuera emplearemos una N mirar -

"

Comportamiento de la longitud ante isometra en IR (desplazamientos

y
notaciones ) R es de
je , de

/ u
como no cambiamos la
parametizacin :[ a. b) IR
"

( vista desde fuera) = RICT ) tb

'

fabllxi.lt ) Hdt debe depender de la isometra Lt ) RI '

Lt ) lbtes de )
y
= no =

RTR 11 productos escolares

tanto mdulos
pues R

conserva
ortogonal y por
=
es .

~
el mddo ser IILHH = HRI
'
LHH = III
'
A) 11

luego E = fabll I '

lttlldt =L =L

aqu a cambiado el intervalo

de la ante de
Comportamiento longitud reparametrizaabnes parmetros

un
"
b] E :L ibf

II
Tenemos una funcin 0 : [ ,

[ a
, t.co/lF t
) una nueva curva ser IR ;
EI = I ( Ct ) )
- -

J I

tendremos las f- fabltxllttlldt E fbl El IHHDF iguales

comprobar que longitudes son
=

que y
 de
parametizada con longitud arco .

Ejemplo : Calculamos el vector tangente unitario a una curva .

el ITCS ) solo de
Si xls ) vector tangente unitario ser esto la
est
parametizada long
si cura con arco
pero
. .

taI gift
Si as cambiamos variable de la cadena otras
no es con
regla
DASI =
ddtqds =
=

para parametizaciones
,

-
s I
I
'
En abreviada I lo esto ms simple la vista
notacin = =
,
=
using esto es mismo
que ,
pero
a .

Al geometra diferencial cada colocamos tiedn estudiamos

estudiar ,
en
punto del objeto geomtrico a estudiar un
y
cmo se
comporta ese

tienda al la curva / superficie

movemos
por
:

- =
En curvas metemos piedras orhononnales ,
en
superficies no lo haremos ( aunque se puede hacer pero
,
es un infierno )

Sistema de referencia de frenet ( en IR

"
)

" "

Es base ortonomal mucho la Una general tiene tener sistema de referencia de

por qu
se curva curva en no un
una
que pega
a .

Frenet ( ej recta vector sera el tangente la recta los otros 2 tendran fija)
. una , pues
un a
pero
no una
posicin

una circunferencia s admite un sistema de referencia mvil de Frenet

)
Il
" " "
Construccin / I linealmente independientes
"
I Les Gran
'
I I IR Schmiz fabricando
sea sean
aplicamos

:
-

. .
, ,
. .

as vectores ortonomales e ,
eI . . Ene .

y
aadimos el que nos falta ,
eI de modo
que
la base sea orientada
positivamente

Recordemos el mtodo os

1) ET =

III 'll
Observamos i contiene las derivadas , eI tiene LES
que

.tn?in*e:eim.ii..i....m.taei=nEEntfaiu.as.y...
:p
"
.

I
' "
I Es UTM
( eI I ( r ) Es
' "

3) ) eI
' "

UT Los coeficientes de las derivadas correspondientes son

positivos
= -
. -
.
=

INTII

hlice Ilt ) ( cost sent t

) la derivada
la 1123
Ejemplo en calcular 11 24
: =
, ,
.

Hay que y :
 ( UI i
t
"
I. ltk cost ) I :( cost ) VI C- sent cost
'
-
sent ,
1 ; LH .

,
- sent o las normas son II = entonces =
, , 1)
, ,

ir I l ) eI ei ir r (
"
I f cost, ) C- cost, sent , ) est normalizado
)
"
Sent a o
cost sent
ya
= - . =
-
o - = -
= .
- o
, , ,

et ex Es
te
se calcula forma que la base
el no se calcula
por
GS ! ! de sea orientada
positiva
ET = =
( sent ,
-
cost ,
1)

( lgicamente ya
est de mdulo 1)

Si no fuesen linealmente independientes nos hubiese salido algn vi. o

Pero IR
"
producto vectorial
cmo calwlaamos u teniendo orientacin positiva ? Hacerlo ( mediante
en no
hay ,
como
ejercicio no un

and

7
jaleo ! ! )
sistema lineal es
que un

Bien lo
que
hemos hecho es situar un tiene encima de cada punto de la hlice Al ser unitarios lo nico
, que

hacer Cao estirarse contraerse slo hace falta tener cuenta las derivadas respecto de
t
pueden es
girar
ni
) luego en .

Ecuaciones de Frenet

Queremos ver cmo vara el tiedo ( cmo rola

) con t .
lt ) =
J wijltjlt ) ( escrito en su
propia
base )

los nes
wij se calculan
muy facil al estar en bases ortonormales
wijlt ) = tlt ) .

jlt ) ( relacionado con la curvatura

)

dado ct ) jlt )
Sij derivando Itt ) jlt ) ETCD jllt )
wjilt )
luego
wijlt ) luego

o w es
que
=
=
t .
= una
. .
-

matiz anti simtrica

'

'
eI I
" "
I eI I
' "
contiene contiene contare
'
I as luego al derivar :
; , ; , ,
y

eI llevar eI llevar
'

" ' ' "
llevar I I I
"
I I
" " "
I
' "

; , ; , ,

con lo cual
wij
=
o si j si +1 .
En forma matricial
,
con las cosas
que sabemos
,
tendremos ( omitiendo dependencia en T
)

iYo
1
el 0 Wez O O le luego necesitamos n -1 funciones de T describir el tiene
para
.
-

400
eI
'
z
me
,
O l
las = O -

Wzz O 3

:
:
:

Le

,

En 0 lu

(
O O

sobre estas todoeso los )

2 diagonales , wijlt

Nos lo calculado ser si intrnseco Esto

/
ser geomtrico
preguntamos
si propiedad geomtrica , para ver es .

para desplazamientos rgidos pero

no ante reparametrizaciones
Veamos cmo

Fn
cambia ante desplazamientos notaciones
ylo
.

lt RIH ) tbs 5 ates

"
I
"
:
Iu IR con ETCTI nlt ) : I - IR ) con
y
=
...
con ,

al derivar Ick
'
Ct ) = Rxlk
'
LT )
( se nos cepillan la 5) luego simplemente CH = Rlt ) . .
LT) = Rult )

'

jlt) R .lt ) Rjlt ) eitt

y
entonces
ijlt ) A) pero
al ser R ortogonal =
) qtlt ) =
wij luego cij wij
.

= .
= . .
.

Ahora la
neparamehizaciones de
vamos a ver cmo cambian ante curva :

"
I IR nlt ) ECI
I
( Act ) ) cambios
"
:
Ims con ETCTI : J
IR con ) = Nos restringimos a de
parmetros que
y
...

conserven la orientacin
(F)
'
a O

Los vectores del tiene son los mismos salvo Eilt ) Ii ( ALF ) ) , CF ) esto nos
estropea
la iuvariana
parmetro
= . . .

tendremos
ijlt ) = i .lt ) Ejlt ) =
effect )) 0kt ) .
ejlokt )) = ECT) .

jlt ) .

0.lt ) =
wijlt )
0
pero se puede arreglar .
Acudimos
para
ello a la expresin CF ) = I (d( F )) .
Derivando LT ) =
I. ( 0kt )) d. Lt ) .

Calculamos el mdulo IIITHH III. l t ) 1101 .lt ) luego este cociente geomtrico ante
uiifflmj

si
ftp.ipft#
= =
que es

Es hiedra de frenet
reparunetizaones (y ante desplazamientos ) son los vectores del

Wiiitt
llaman IR
"
de la I IR
" ( t ) El lt ) .
itelt )
Se curvaturas en curva
:
I a kict ) =
-
=
-
con i =
1 . . .
n -
1

III. A) 11
III. A) II dimensin del

espacio
Entonces en
forma matricial :

Dmonos
cuenta de Kelt ) so Knzlt ) > o sobre la ltima
que
. .

ltt O kdt ) O . - . o

'
lt ) = III 11 -

kdt ) o
Kzlt ) - O
Kn .
rlt ) puede tener cualquier signo o anularse debido a
que
el ltimo

I '

O .

Krlt ) O '
n
.

i ' '

knlt )
ltt lo de la base
i

vector fijbamos GS sino orientacin

por
1
por
, , no

O O -

knltt ser la ltima

por
)
pqllorsin

curvatura

En lp
hay una curvatura ( K
, tenga el signo que sea
) .
En 1123
hay 2 curvaturas
( Ky y Kz con keso
y kz como sea
)

Para la heliue ,
tanto la curvatura como la torsin ( ke y kz ,
o bien kyr ) son constantes .

d. En las Determinan la
qu medida curvaturas kilt ) . . .
Knelt ) determinan una curva ? cuales arra .
Ej : si K
y
r son utes

entonces se trata de una hlice .

Si 2 curvas tienen la misma curvatura hay una isometra entre ambas unas .

3
En IRZ podremos reconstruir de curvatura resolviendo diferenciales En IR demas complica el asunto
una curva a
partir su ,
mas ec .

y
se .
 Dadas las funciones Kecs ) Knzls ) kn ) I existe tal las curvaturas ? S
so
,
_ .
so
, .
,
Cs , alguna curva
que
estas sean .

Al estudiar superficies habr algo parecido ,

con la 1-9
y
ZE forma fundamental .
( teoremas fundamentales de la teoria de curvas
)

CURVAS EN IRZ ( Parmetizan arbitraria )

Ilt ) ( Lo tenet Aplicamos

ylt ) ) encontrar de G- S
Tengamos una curva = xlt ) , .

primero ,
un sistema .
.

( x.lt ) y
.lt ) )
ser )) et G)
,

velocidad I.lt ) lx.CH

El y .lt luego
vector = =

-
,

X. Htty LTY
'

'
El 2 : vector se fija por GS es el ltimo en IR Se calulu ortononmalidad con ETCD de modo se
tenga
ya
no
pues .

por que

una orientacin
positiva ( determinante positivo ) cruzar componentes
_ cambiar de
signo a la e.
Y

IRZ ms narices ilt ) fyt ) xyf ) )

en
hay
,
no
que
=
_

VTER

Solo hay una wwatra en 1122 klt ) =

ltttl.li#n No hace falta calcular : Ct ) explcitamente en realidad
III. LTIH

derivando ( debe hacerse clculos ) EITT ) dtq (te ) ylltl ) te ( H)

" "
cosa
que no
, puede ser
muy engorroso
en otros
=
lx.lt ) , t x , y HY

observamos el let trmino no contribuye

que

solo necesitamos la
parte de
paralela a eI ,
la
parte perpendicular
no
contribuye pues
al hacer el
podido
escalar con eI se va .

KH ) =
Y"-"_ frmula para la curvatura en 1122
3k
(X 2)
' 2 ,
+
y

Ejemplo sobre el
signo de la wnatra Tengamos ILH ( t sent ) Calculando la wmalva tenemos klt )
Sentlttcoit
. = . =
,
-

3k
)

Sabemos tenemos
que , grficamente

i2

le
para girar
el vector turgente tenemos que girar en sentido opuesto
a como nos marca eI K s O

...

KLO
%

Kso

!!
'
Un desde intrnseco
punto de inflexin K (
es si en ese K t ) # as caracteriza de vista
punto o se

punto
=

punto
o
y
m un
 ) #
1k
Si klt define el radio de curvatura
o se como
FLH =

Ahora calcular todo esto denuevo natal Veremos se simplifica todo

vamos a
pero
en
parmetro .

que
.

CURVAS EN IRZ ( Parmetizan natural

)

IIH
"

Tendremos Ils ) ( xcs ) Cs )

) Para saber si estamos en
parmetro natural Solo comprobamos que 1
y
. =
,
.

)
calculamos ETCS ) = ( ics ) , jcs ) ) ( ya est normalizado de
por
s al trabajar en parmetro natal )

Entonces ls ) =
C- jcs ) ,
x. ls )
)

La curvatura sera Kcs ) =

I .
eI ( sin denominador ,
pues
el mddo es 1 l

Entonces Kcs ) =
iij -

iij

Ejemplo : Ics ) =
( tz costos ) ,
t Sen ( 35 ) )

Calculamos x. Cs ) =
fsentss ) ,
cos ( 35 ) ) y comprobamos que llxi 11=1 luego estamos en parmetro natural

Calculamos (s ) =
( -3 costos ) ,
-3rem ( 35 ) ) radio de curvatura

luego Kls ) =
3 ( sttss ) tcoslsos ) ) =3

curvatura cte
circunferencia de radio arco 1%
de circunferencia quiz )

INTERPRETACIN GEOMTRICA DE LA CVRVANRA KCS ) EN IRZ

Tengamos una curva I : I 1122 con su sistema de frenet .

llamamos Ocs )

al ngulo que forma
el vector velocidad con el
eje x.

tomas ) derivamos
ate
ls litio tttanocs
ttt
Si
) )
t.com astros
= = = =
.

, ,

i2t5%11.ua
kcs )
.

CS) KCS )
= =
xoj -

iij =

ii

Entonces la curvatura indica cmo vara el O de

ngulo por longitud
arco
RECONSTRUCUN DE UNA WRVA EN IRZ DADA su WRVATURA kls ) E I

Vamos a ir marcha atrs partiendo de la solucin .

1) Definimos un OCS )
,
recordando
que
LSI = K ,
entonces OCS ) =
fkcs ) ds esto nos da una
primera de de integracin Oo

2) Ics ) =

( fas ( ocs )
) dsta ,
fsen (
ocs ) ) ds t b
) total de des de
integrada 3ns Oo
,
a. b

(
COSOO Serio

)
-

R =

seno .
coso .

Vamos a demostrarlo :

( oslols )) , senlols ) ) ) ;
=

( .

senlocs ) ) cs ) coslocs ) ) cs ) , )

y
la curvatura
KCS ) =
iij -

iij = cs ) ( cosrols ) tsaocs ) ) = CS ) Esto nos demuestra

que
dada la curvatura ,
conocemos

la una ( sabe tasaciones de la misma )

por
.

Ejemplo la dada kcs )

1- Vamos cual
:
tengamos una
por
a ver es
= .

1+5

1) OCS ) =
fksds =

fffsmga = arctan C s ) ( no vamos a

poner
la ute de
integracin -
ngulo para notar -

xcs ) =
fcos ( ocs ) ) ds =
fcos ( arotancs )
) ds =

fd.tn = arcsenhcs )

fsenlocs) ) ds fsen ( arctanls ) ds

) Ft
ycs ) fesmjds
= = = =

luego Ils ) =

( arcsenhcs ) ,
Ntt
) ahora
repwametizamos para
ver
que
curva es este
, pues
en
parmetro natural es

un
pepino .

Hacemos f- arcsenhls )
si senht luego tts = T = coshlt ) luego Ilt ) =
(t ,
ushlt ) )

las curvas serian la del coseno hiperbolico ( llevada quiz a otro lado
y
notada
, pero
es la misma curva intrnseca
)
 EN 1123
CURVAS

En 1123 se complica el caso

,
ahora todos los clculos los hacemos en
parmetro
natural
y luego al final cambiamos si acaso

de
parmetro .

Tengamos Ics ) = ( xcsl ,

y
Cs ) ,
zls ) ) con ltxls ) 11=1
( parametizada en long .
de arco
)

Lo 1 ?
como
siempre es encontrar un sist .
de tenet .

eI Cs ) =
IT ( pues ya
esta normalizado
) ; cs ) se llama vector
tangente unitario se le llama F
y

cs ) ( por GS )
acs ) =

UH
( no se le quita nada
pues
es perpendicular ya ); acs ) se llama vector normal principal .
P

cs ) ( no GS ) cs ) xics
)ics ) - scs ) se denomina vector binomial I
por
= =
;
II # ll
-

b
La notacin t.pe es la notacin clsica el trecho de Ferret n
,
para
normal

plano
los forman tambien tienen nombre

planos que
s
p

F -
plano revtilicante L ] plano oscilador
F
Kecs ) = KCS ) s O

Krls ) = zcs ) ( torsin )

[
.

F
-

O Kls ) o t

Matnalmente tenemos
( pie

) e- kcs ) o res
) ( pi )
)

b o
b
zcs )
.

Callemos la curvatura -
kcs ) krcs ) I Es
ftp. lixills O Como son L
.
= = = .

calculemos II Hill IIII entonces II llso tiene

ventajas )
serian veces
(
se
y
11 x a como x veces
pone
= a

al serperpend .

Calculemos la torsin rcs ) Krcs ) I Es al

igual antes
hay
termino el escalar se ir
prod
= con nos
que
=
que
.
un .

rcs )
(t ) tu ii. i )
En el numerador tenemos mixto det ( el denominador tenemos
=
ddmg t . un
prodrto
,
y
en

2 modelos .

Luego zcs ) - detli.E.IN ( recordar que

el producto mixto se puede escribir como un determinante
)
2
IIII
Recordatorio de curvas en 1123

Sistema de frenet ics ) =

=
I

{
1 .

( en
parmetro
natural ) Eres ) =
=p

cs) eI eI I L
parmetro natural
= x =
= 1 = 1 pues en

un un

kcs ) =
IIII = II x
II
pues al estar en
parmetro natural H x H = IIIIIIH .
Senor . IIII

detlx.ie#
rcs , =

II x
112

Ics i
Introducimos el vector curvatura ) = = kcs ) pics ) ( en curvas no se usa mucho ,
s en
superficies )

Introducimos el centro de curvatura ( en cada punto ) Ia = I t

PTI
.

KCS )

CURVAS EN 1123
( pwametizacih arbitraria )

Vamos a calcular el sistema de ferret en parmetro arbitrario :

1) el eI
como
siempre
=

III. ll

5 "-
)
'
I I
"
1123
2) ahora calculamos
primero ,
como = ( solo vlido en
,
porque
tiene
que ser perpendicular a
y a

III. x I "
ll

3) entonces el
que nos queda ps = XF

Calulamos
primero
el cambio de variables
para
=) IT =
D =
ddttfdst =

,
da =
ftp.n
,

( 2
DDZN

'
derivando de I de los el vectorial
nuevo - = dffftnz + ddtt =

ying t lo puntos no contribuir en producto

. .
. . .

iii. tesis
datffttpi.de#l
=
. .
t
D ) . .

ftp.untx
=
"
. . t I
'
. . .

frmula
'

luego la solo hay que cambiar dividir UI la potencia correspondiente

por
11
en
puntos por comas
y
a

'
ll I ll
' '

x I
Klt ) la wrratra en
parametizaun arbitraria
para
=
-

III. 113

Ahora la torsin
rlt ) para la torsin en
paam
arbitraria
para
detlITI.TT#=srCt)=detlItiITII
=
.

IF
'
III
"
XI 112
III.
III. 116 XI "

16
Interpretacin geomtrica

Vamos a hacer todo en

parmetro natural .
El vector normal principal nos dice cmo se curva la curva .

Una curva
plana implica I = ute viceversa
y

U
Decir
que
la curra es plana es decir
que ( Ics ) -
Ica ) . J Cs ) [ -
Ico ) ) se 5
T

Ils )
)
Si derivamos Cs ) i. o
; cs ) i. o tanto III J llbtll =
1
y y
. .

por

Una curvatura distinta de 0 es solo s la torsin ( )

curva con
plana si
y
es 2=0 k so

Luego con la curvatura

y
la torsion sabemos si una una es
plana y por qu plano pasa .
( imponiendo ortogonaldad con I )

= .

zif = o

Forma normal de una curva en un entorno de un

punto

3 '
IR I I IR natal UH el del parmetro natural
Tengamos parmetro 1 cogemos origen f-
:
una curva en
con =
.
en o

Ils ) lo CO ) si 4)
En un entorno = Ilo ) t ) s t
t +
tziico ) t . .
O (s Nos
paramos en la derivada 3
porque
la torsin

tena hasta 3 Es
derivadas .
Queremos
expresar
x. Lo ) ,
CO ) CO ) ,
en funcin de K
,
C en 5- o

el
primero es fcil , pues
sabemos que Fcs ) =

Cs ) Eco ) = Flo )

CS ) = kls ) pies ) luego Ilo ) = Kco ) pico ) .

Derivamos lo anterior
para
la derivada 39 . ls ) = vics ) pts ) t Kcsjpcs ) introducimos

G
fkcs) LS ) tzcsbls ) co ) tklorldbslo)
.

la e. de fnenet ) = rics )
picsstkcs ) ) luego en f- o = .
KCOFLOIIKCDPTO)

Reescribiendo en funcin de estos nuevos trminos :

FCS I
53 ) tksf )
3
Ils ) Ico ) t
p ( k SE t
Kz s t 004 )
-
=
-

desde el de vista de la base de tenet los trminos ms son los

punto , importantes primeros :

xL.is#kzpkEsIf..
= Ico )

{I ;
donde los valores de wwama torsin estn evaluados en o
y

piqool
Pq
.

normal de la entorno de 5=0 K K ( )

forma
=
curva en un o

2=26 )
 lol

( KIGS 3)
Con
respecto al sistema de tenet en s en un entorno la curva es s KZE
Etd
= o
,
co ,
,

l "
Vamos las proyecciones los planos que vimos
a
pintar en

oscilador la
en el
plano curva es ( s
, KE ) un Kso esto es una parbola

en el plano
normal , suponiendo r > o ( no tiene
que
ser
siempre asi ) tendramos
( kzsr , KOIS 2) esta
proyeccin
tiene una singularidad

1)
ib

Y
la
am
que curva original no

me

P
j

en

si
el

una
plano rectificarla

curva es
plana ,
esta
tendremos

medida
(

en
s
,

el plano
KES 3)

os

...
t +
a

Esta normal aclara el significado geomtrico del signo de la torsin

forma nos

zs O
b la
El torsin sale del plano oscilador diremos de la bi normal
de dice si la curva en la
signo
nos .

p t

o la
opuesta ( zso )
)

I.
(piel es el plano oscilador
, y
como r > o la una atraviesa en ese punto el plano oscilador

en la direccin de I

b- ZCO

*

y

Una helice derechas tiene torsin

positiva y a
izquierdas Tiene torsin negativa no se
pueden superponer
y
a
, ,

Hay 2 planos especialmente importantes el oscilador el plano rectificarla

plano y

Otra consecuencia de la normal de la J sub intervalo JCIZ Lo > tal sobre I ( ) toda la
forma una es
que
un
que ,
en o
,

una se encuentra en el lado del

plano rectificad al
que apunta p .
 PROBLEMAS

1 tenemos KCS ) =
1g ; sso .
Para reconstruir la curva en
1122 sabemos
que hay que integrar Ots ) =
fklslds =
ftds = lns

p( oniendo la cte de integracin a o

)

ser
La curva en parmetro natural xls ) =
fcos ( ocs ) ) ds =
fcos ( ens ) ds tenemos
que integrar por partes

al
integrar por partes tendremos m trmino sus Clns ) t otras cosas
pues
si derivamos
dtfscosllns ) ] = los ( bis ) -
son ( bus )

luego habr
que corregir .

xls ) =
tzssenllns
tzscosllns
) )

yls ) = .

tscosllns ) ttssenllns )

Eq (
t -
TYY
M
et "
sent cost
-

Reparametizamos con S = nos queda Ilt ) )

y
-
=
,

Vamos a calcular la wmatra con esta

pwamethizacin .
En 1122 tenamos una
frmula explcita Klt ) =

t
e%
-

Nos sale Klt ) Grficamente la

=
.
una es
algo como

1
lmidmlnte debido al den atmi
"

El ' ad " Me "

P "
P
" m " te mi " Se " " a es
Pitd 68 "

Es continuo de transformaciones
invariante bajo un
grupo
.

S T s T sistemas de coordenadas distintos cada de la tiene

punto y
son como 2
, punto una

(12 -

E) 1 % asociado una coordenada en s otra en t

y
,

fz ) en 5%

Para calcular la longitud ve arco entre los 2 puntos ; en

parmetro natural es una tontera solo es hacer la diferencia la Sr -

se

l = en -1

511/4

%
fsyy et
-

el t hay que calcularlo la dt en -1

en
parmetro como =

pero

Una magnitud ser escalar si ELF ) klt ) La curvatura es objeto depende del sistema de coordenadas
un = . un
geomtrico ,
no

t
l "
-

escogido calcularla En nuestro la coordenada s tenemos KCS ) 1g la coordenada t Klt )

para
caso
para y
en
.
= =
,

luego la significa las K

tengan la lo ltt K (0 t ))
expresion no
que misma
expresin que significa es
que C
=
,
 F
1-
"
" -

En nuestro ELF ) e KCF ) la curvatura el otro

caso vemos
que = es
parmetro
=

que para
= .

F. Tu
e

Vamos la solucin La teoria dice definidas el intervalo

2 a
poner primero general . nos
que si tenemos 2 curvas en mismo I

que cumplen las condiciones :

lt
KCH =
)

ZCT ) = ECT )

III. Lt ) II =
HEILHH

Entonces 7 una nica isometra

propia ( con determinante t
1)

Lo calculamos la curvatura torsin y mdulo velocidad de ambas

primero ,
curvas
, y comprobamos que sean
iguales .

WVW
Cogemos nico punto el nos de la y nos calculamos el tiene de Frenet en dicho punto
que gana
un
, ,

{ por ejemplo ,
ento

CO) CO ) pelo)
n
^

Calwlaamos pelo ) b lo ) blo ) ahora solo tenemos calcular la transformacin de uno

, ,
y , , y que

a
otro el teorema de existencia
y
unicidad nos
asegura que
ser la nica transformacin posible
y
.

Tenemos
que encontrar la Transformacin = RI tbs

1) a las coordenadas
geneicas le restamos Ilo )
para
llevar la helice al origen
,
luego lo notamos para
orientarle con la otra

hlice le Flo RLI ICODTCO) R lo

y luego empujamos con ) = = t )
Ri
- -

b
en

en

R [ eeler les 1) la matriz inversa nos la lleva al revs la inversa es la traspuesta al ser R
pero
=
,

ortogonal .
Entonces la R
que
necesitamos es R = [ e ,
t
.

l [ en leales Jt

En este caso 5=0 ,

se trata de una notacin
pura .


-1
La hlice circular estndar es
( acost asent bt
) calulamos K 2
y
el mdulo del vector velocidad
=
, ,
y ,

lt
9-
) = Klt ) =

tbr 4

b-
t ) =

2 y
en nuestra curva dada obtenemos 24 ) =

4
( hlice a izquierdas )
citb

III. LHH = altar III. HN

necesitamos
=
452

como K
y
r son utes
,
tenemos hlices circulares ( muelles ) pero
conocer el radio de la hlice
y
lo estirada
que

est .

a- %
Igualamos =

AZTBZ

} de
at Sacamos a = 2
,
b = -2 luego LH =
(2 cost
,
rsent
,
-2T )
ajo = y
-

la hlice la Calculamos Frenet

Esa es a
que
tenemos
que llegar . el tiedo de

lo) tu ( 0,1
Flo ) =

# ( etr ,
o
,
-1 TVI ) =
,
.

1)

Co ) =

( o
,
-1
,
o ) Flo ) = ( 1,0 ,
O
)

COI lo )
=

tmfetfs ,
o
,
-
e- VI ) y
=

tz ( o
, 1,1 )

lo ) =
( 2,0 ,
O ) lo) =
( 2,0 ,
o
)

la frmula hallamos
Aplicamos que
vinos antes
y

" la o.O )
ftp.oq)
y
 3 Problema de examen .

Tenemos ILH =

( SI cost
,
1- sent ,
-

ssecost )
Una Ser helice
" "
la identificamos curvatura torsin Una curvatura constante torsin nula
una con su
y
. curva un
y
una
plana

es decir circunferencia
, una

.
Dado que III. lttll = 1 la una est pwametizada con long .
de arco
ya ,
lo que simplifica los clculos

ITCS ) =

f- te sens
,
-
cosas ,
z Sens
)
ls =

f Isuss ,
sens
, sqecoss )

calulamos wwalwa torsin

y

Kls ) =
toxin = 1
;
I =

y
p =

( -

Es ,
o
, -4g) como I es ute curva
plana rcs ) = O

el radio 1
de curvatura es r
1k
= =

y
el centro de curvatura c = Ilol
ttuplo ) =

( SI ,
1
, -3g ) +
f- 4g ,
o
,
} ) =

( o
,
1
,
o
)

y
el
plano que
la contiene -
( -

Io
E) 5=0 .

Tambien se puede hallar el

plano imponiendo A xct ) t B y Ct ) CCZCH ) t D= o Vi T ver si existen A B C D
t
y , ,
.

Se comprueba si
que .
 SUPERFICIES
V Z ...

Al l v. iluivl ) se le denomina carta local de la superficie

par

0u~J.is?W!..F/_vns ( sistema de coordenadas con

pwametizacin local .

' '
Un subconjunto SCIR es una
superficie regular si cada punto P E S existen un abierto UCIRZ un abierto VCIR
para , y

una
aplicacin I :
U VAS Tales que :

1) I : U
VAS es lo ( v
) Ilu ,
v
) =
( xlu ,
v ) , y Cu ,
v ) , zlyv ) ) luego
,
y ,
z son Co en su dominio

2) I : U
VAS es un homeo morfismo ( biyeutiva 1 a 1
y
con aplicacin inversa continua
) evitarnos as superficies con auto intersecciones

como
por ejemplo
4.2 cul sera el
plano tangente en los puntos de la interseccin ?

bidimensional )
3) I : U VAS es
regular ( aplicacin cuya imagen
es . Matemticamente se
expresa imponiendo que rango ( J ) = 2

Donde J es el jawbiano de la aplicacin I J = Z Esta condicin nos evita cosas como I ( v.v ) = ( utv ,
utv
,
utr
)

que
no es una superficie sino ,
una recta .
{ zz

22
)
Tu Iv

El hecho de tener 2
parmetros no nos
garantiza que
se trate de una superficie .
Esto
podra
ocurrir si xilu ,
v ) =
xi (T ( v.v ) ) .

En general ,
una
superficie no se
puede cubrir con una nica carta .
( por ejemplo ,
una esfera) .

Ejemplos

Ej 1 : El
plano XY .
Lgicamente se
puede cubrir con una nica carta I ( v.v ) =
(u ,
v
,
o
) con dominio (v ,
v
) E
( .
co
,
co
)

El
jacobino
de la
aplicacin es J =

[qt ) que
es de
rango 2
,
luego se trata de una parametrizan regular

Las grficas de funciones son tipo Z flx y) con ( x. ) E UCIRZ se pueden cubrir con nica carta ser de la forma
y que
= una
, que ,
,

(
fluir ) ) lo
3
I ( El resulta de

qtff
de
Ilu ) Jacobino

)
v
IR ; v u
y J es
rango
2
independientemente
gato que que
: = =
, , .
,

las derivadas
valgan .

el de revolucin i 2
La
Ej 2 :
paraboloid , cuya
ecuacin es z - t
y .
superficie se
puede cubrir con una nica carta como

1H#

Ilu ,
v ) = ( v.v ,
ti )
Ej 3 : el paraboloid hiperblica ( silla de montar ) z = xr -

y
2
.
Parametrizamos como Ilu ,
v ) =
( u
, v.v
2- v 2)

Uti
Ej 4 :
Semiesfera z = 1-xr.TT .
El domino
aqu hay que restringido
a los puntos un
2
+
y
2
a 1 .
Podemos
parametizar

17
-

como I : U
1123 donde U es el conjunto de
puntos tvd Ilu ,
v ) =
( v.v
u )

Es una
parte
de la espera solo ! ! ( excluye el ecuador )

de cilindro local
( por )
Trozo
Ej 5 : carta

Sabemos cilindro de radio unidad XZT 2=1 Le aadimos la altura

que en un se
cumplir que y .

y parametizamos como

,
C
V
( cosu ,
senu
,
v
) .
La coordenada de la altera tiene dominio en VEIR ( de -
co a A) , pero
la u tiene
que
estar en un conjunto

abierto luego O a va 2h no
podemos cenar el intervalo Entonces la pwametrizan no es de todo el cilindro sino de :
,
y
.

.
Para definir el cilindro completo necesitamos otra carta ms , que
llamamos
ytlu ,
T ) =
( cos ,
sen ,
T
) con -
nast

.
J ser la real Esta cubre toda la de atrs el conjunto de las cartas
pwmnetizacin nos zona -
y
2
.
. .

nos da todo el cilindro .

* El cilindro se
puede
cubrir con una nica carta ( con un nico sistema de coordenadas
) , aunque
a la hora de trabajar se
trabaja mejor con

estas 2 cartas .

Para una espera necesitaramos 6 cartas de

monge para
cubrir la superficie completa .
Las cartas de
mouge
son las del tipo Iluv ) =
( v.v , flu ,
v ) )

Carta local espera

para
una

=
seno los
y

Sabemos que para

una espera de radio unidad
{ y
Z
=

= COSO
seno serie luego llamamos UEO ; V =
y y parametizamos como :

ILU , v ) =
( senucosv ,
senusenv
,
cosu ) Iiv 1123
y
como U debe ser un abierto entonces U
Iar
!
{ Ootuv lo wal
pwametiza
un

trozo de espera
con otra carta ms podemos cubrir toda la esfera
Carta local
para un cono

# Lo
primero que
debemos hacer es quitarle el
pico , para que
sea una
superficie regular .

La ecuacin del cono es z = 2 o en

polares Z = r
-

Podemos
pararme
trizas facilmente con UER
;
V = O ICU ,
v ) =
( ucosv
,
usenv
,
v ) El dominio vendr dado
por
uso ( excluimos

pico )
el OCVC 29 Esta wbe otra carta cubra la de delante cubriramos
y
.

parametizacin nos
-
u
que nos
parte
- -
=
-

el uno completo ( salvo el origen )

Carta local
para
un heliwide ( escalera de caracol con
peldaos infinitos )

Las coordenadas ET lo
parametizamos
son U Er v como
; y

CU ,
v ) =
( vcosv
,
usenv
,
v
) con o s U

Para dar una

superficie habr
que
dar el llamado atlas ( conjunto de cartas de un
espacio ,
de forma que a cada regin de dicho
espacio

le corresponden mas coordenadas

) .

Para estudiar superficies lo que hacemos es situar curvas sobre ellas , y

analizar cmo se
comportan ( curvatura
,
etc .
)

Curvas en una superficie ( en una carta local )

.IT?is0-ictkxTunuty U

ltarta
En darnos la una como ( vltl vlt ) ) con TEI la aplicacin I lleva dicha curva la
superficie
y
a .

, ,
,
 P la carta coordenadas Cuo ) P

Tengamos un
punto
en uv
,
un
,
vo .

Hay 2 curvas especialmente importantes que pasan por .

(-8-7
"

q.to q
llevada la Itt )
tu
;tf
v.
a
superficie

,
v. una coordenada

El vector
tangente a la una en la direccin v es I.lt ) =
taI u.lt ) t.si/ItT =
O
ZU

La otra wwa importante es :

P
ULH Lo llevamos la superficie obtenemos la 21 coordenada
{ yo
Vo a una
y
=
... . . . . .

" " "

ftp.T/
u

Notacin Llamaremos Iu =
fu y
XT =
II
decir Es El seri
rango ( )
Necesitamos J 2 lo cual equivale tu f vector normal
imponer que XTXXTHXTXXTII
= a .
.

Con esto tenemos el tiedo situamos sobre la superficie Se calula ms facilmente el caso de
ya que
curvas
que que en no
ya
.

ortonormal XT XT tienen ortogonales cada obtiene de forma la condicin

es
y no
por qu ser
,
uno se una
, pero

Fu x XT =/ o s
que implica que apuntan a direcciones distintas ( si apartasen
en la misma direccin Iux v sea nulo )

REY
Lgicamente los Tu XT svblienden el dicho
,
vectores
y
un
plano
plano tangente en
punto

MX
N " ah " d
el
" de " del "
Mit " thitem
M tanta " al "
"

" " " " " "

"
P "
" " " " "
" " "

espacio
vectorial
 Notacin general en teoria de superficies

Las superficies
las habamos escrito como I ( v.v ) Ahora hacemos U = Ut v = UZ I ( ut ) adems lo vamos a

y
.
,
,

( Ua ( En relatividad
escribir como
) con a =
1,2 en nuestro caso ) . K =
1,2 , 3,4 .

Las derivadas las

ponamos como
II. = Iw ; 2 = XT .
Ahora escribimos como
3 = XT
; O = XT

de hecho llamamos a todas genricamente como Ia

S
Iuu O e
Con esta notacin
ZUIRV
=
.
Por ejemplo
zuly
=
.
Derrotamos todas ellas como
Iap

ta forma fundamental

Uz

It " " 4 " )

7-
" " "
Icuyur ) Queremos conocer la longitud de arco de la cuna en la superficie

f- fablhittllldt

( utlt ) , UYT ) )

TE la , b ] notacin

Calculamos el vector velocidad I. Ct ) =

T vi. lt ) +
31 vi. H )
/ XI ttttrur .lt )

necesitamos el mdulo ello calculamos el producto

escalar mismo
, para primero consigo :

Ittt Itt ) vi. LD un A) Iii te tut.lt ) ur A) Ie Ir .tt uilt ) Url A) xt.IR

'
III '
A) 112 =
.

=
.
Es + vlt ) u
"
A)

llamamos r TY Ir Irte Ir XT
gu gez gre grr
=
. .

; ;
.

= .
= - =

lo cual ,
en
forma compadre se escribe como
gap
=
Iaixp .
En muchos libros se emplea la notacin de Gauss
,
donde :

G
Gu
= E ;
Ger
=
grief ; grz
=

Callar la LE
forma fundamental del cartesianas vi.
Ejemplo 1 :
plano XY en = x
; y

Tenemos la cada lue )

'
) atlas coeficientes la forma fundamental
,
vi =
( u
,
ur , o
que constituye un .
de 11

en cartesianas

coslrhsenly
calculamos XT =
2 ,
e-
( 1,0 ,
o
) ;
Ir =

S =
( odio ) luego
gap
=

[ loq }

XY local ( cubrimos todo el plano vi. va

Ejemplo 2 :
plano en polares ,
carta no r
;
= O

EE t.ua ) =
( tcoslr ) esenly , ,
o ) Es =
0 ,
=
( ,
o
) ;
E =

II =
futsenlrhecoslrho)
luego
5.p
=
( tfif
lo
Ejemplo 3 . el cilindro
,
un carta local

[ 7)
"

Il .ua ) ( cosa ) ) I fsenll ) ) XT ( o.O 1)

'
senlue ) uslu luego
'
o
gap
= u =
;
, , ; , ,
=
,
=
o

Observemos describen mismo distintas Cmo saber si describen lo mismo

que gap y cjap
un
plano , aunque
con
pwametizacioues .

al analizar la 11 forma fundamental ? 1

y 3 tienen la misma forma fndamentl , y esque
visto desde dentro ,
un cilindro es

lo mismo localmente ( globalmente ) son

superficies
localmente isomtrica
plano
no
que un .

Localmente los 3 la desde el de vista de la 11 forma fundamental

ejemplos son misma cosa
punto

Volvamos al clculo
que
tenamos :

O P gapva.lt ) UP
'

III. LDIT
"
A) V. Ct ) .lt )
go.vr.lt ) ) H)
"
.lt ) Urllt
"
)
'
lt '
tt ) U
guv v
gnv t
gr U t
= + =
,
, ,

?
Esto se compadre como III. LHH =

gapult) UP.lt ) empleando el convenio de sumacin de Einstein

bttarb
'

aaba = ar . . .

los ( que sumados ) denominan mudos Solo haber ellos

pareja de
ndices repetidos van se ndices .
puede una
,

El nombre de un ndice mudo es irrelevante

daba e-

apb
P
( a veces es necesario cambiarlo al multiplicar cosas )

por ejemplo
si haciendo un clculo nos sale daba y
en otro clculo tenemos cada .
Si los
queremos multiplicar no

'
Esto
aab codo daba Cpd P
'
hacer
podemos sino . s
que equivaldra a
qubtucud

Con esto ,
la
longitud de arco resulta l =
fabltxttttldt = fab TGAPUHUPD dt Para
comprimir
notacin
,
sabiendo
que

la
'

A) dt lo de dentro
DUTT ) = va entonces podemos ponerlo como
fab Tgapddu como es el diferencial de longitud de arco

entonces escribe d P coeficientes de la 11 forma fudamenlzl la carta dada

gapdvadu
se =
= en
gap
.

Vemos la informacin de la este los Ualt ) la informacin de la est los

que
una en
,
y superficie en
gap
Interpretacin de la 19 forma fundamental
geomtrica

Icua ) wa " " " " " l " " " " " " P " " " " " " " " " "
te t
"
"
"
P
"

los vectores tangentes ITH =

Iava .lt )

Al conjunto de todos los vectores P le llama

tangentes que pasan por
se
plano tangente

Tpls )
Visto en
perspectiva el
plano tangente

TP " ) tenemos entonces una base Ia { XT =

Z ,
Ir =
O } la base depende de la
parametizmin
.
P
mi
T el escribir lineal
escogida . Cualquier vector en
plano Tpls ) se puede como combinacin

JE J Vt
?

Tpcs )

= t v XT = Va o me
a los va se les denomina componentes contaran antes del vector

J en la base dada Ojo VK no es vector ontravariante muchas veces se llame as son las componentes contrariarte
. un
aunque , .

Un vector solo depende de la base sern distintas

es un
palo con
punta ,
y escogida sus
componentes .

Se llama 19
forma fndameutal a la restriccin del producto
escalar Euclidiano al plano tangente .

Para la le forma fundamental smbolos I

se
emplean 2 -
, G .

!
Dados 2 vectores i. E
Tpls ) se llama 14
forma fundamental de T ,
a
I
( i ,
vi ) =

G (
J ) ,
= T .

=
a)
( VAI FWPIP )

solo dentro del !

Ojo ,
plano tangente

J va WP
J .
vawa
Iaixp =

vawpgap luego se trata del producto escalar de lo la vida .

gap
.

Ejemplo : calcular el ngulo entre 2 vectores en el plano tangente .

Si i ,
E Tpls ) sabemos
que
coso =

T.INT
INTH

Va WP calcular el
luego coso = Gap Si
queremos ngulo entre los 2 vectores de la base

gutter

9-12
Ir XT Ir V
'

}
'
1 t O
(1 ) coso 1 VEO el nico
pronto
nulo es v W
-

= = o = -
no
,
pues

Ir = O XT t 1 XI =
( 0,1 ) % 522 wt = o VV = o

Una
parametizun es ortogonal si
gez = O
( no
garantiza
ovtonormalidad
)

Una ortonormal si 1
pwametrizacin es
grz
= O ; gu
=
Grr
=
 0 711 dudv
Ejiz calcular rea Ilyv ) ACS)
ffull seguir el Marsden
el de trozo de VE U

para
un
superficie u
,
=

ff.org
. -

Reescribimos
ffull e XTHDDUZ
eso un nuestra notacin ACS ) =

gaa gran
.
. gu gu
mmm mm

llixirlt LXIXXT ) ( Ir E) ( E. Ir ) ( ii. KIR EN

9in)
detfge
De
algebra vectorial sabemos ( xixxr )
.

que g
= .
= -
. = =

Luego
y
es el determinante de la le forma fndamental . Entonces

ACS ) dutdu 2

tenemos la I solo las cosas dependen
de v
'
va
ya
=
que
no
, y

con lo cual el rea depende solo de la 14 forma fundamental .

Naturalmente cada habra forma vectorial vectores

en punto un
plano turgente ,
que un
espacio , y
no se pueden sumar que pertenezcan
a

distintos el ltimo tema

planos tangentes .
De eso se
encarga ,
de transporte paralelo .

Reparametizaciones

(t)
En curvas
ya
vimos
que repwametizar nicamente era sustituir en t =
( t ) donde
(F) era un difeomorfismo

Ahora en superficies tenemos 2

parmetros .

'
Il ) flt 2) as sera de Vamos la notacin
g(
U t r ) comprimir

manejar
= =
a
, , ; , muy engorroso .
.

Vemoslo en un
ejemplo concreto :

ur
UT
expresamos
el
dipeomorfismo como va = va CP )

dife-mf.sn
notacin
4 vi en
compacta

ett
'
' et -
r

por ejemplo
u = uz =
;

La nariz Jawbiana ser

lettuz
) ( LE )
frauapm =
el determinante de la matiz Jacobiana se suele escribir como D .

en nuestro caso D= - Z

Como es dipeomorfismo debe existir la inversa intercambiamos los

palitos por los
"

palitos
"
JP tlua )
aplicacin no
un =
,

lo unico
que hay que
hacer es despejar .
En nuestro ejemplo sale t =

f- ( lntlnv ) ;
E- 12 ( ln - ln )

FTP )
) DIDETFE)
la aplicacin

(
el ser el determinante ser
jawbiano de inversa =
y correspondiente = .

,
Evidentemente la matiz
( IGU) y ( TA) son inversas
aguja Ift =
Soy al ser
funciones inversas
por
el

teorema de
funcin inversa .

( Hemos utilizado el convenio de sunacion de Einstein )

* Al multiplicar las matices no nos sale 11

se refieren a variables distintas tendramos que
hacer el cambio en
alguna de ellas
pues ,

todo las variables ( palillo pabilo ) y as sale la identidad

para multiplicar
en mismas o no s nariz .

Tambien debe cumplirse que D. D- = 1 relacin los determinantes

expresados ambos en las mismas variables tambin
para .

Tengamos un
plano turgente en un
punto .

.
P Al tener la
parametizauin
de la superficie I( ua ) tenemos
ya
una base inducida Ia a
{ Ir =
n ,
i. ATF

Tengamos otra carta Flip ) que

cubre ese
punto .
con esta carta tenemos otra base coordenada
p
{ E = FE ,
E =
III }

Cmo de base la otra ?

pasamos
una a

Xz XL
P Tendremos de transformacin LP ) I
( ( B ) )
'
.
mas ecuaciones = u

XT

Entonces , por regla

de la cadena
, =

S =
DA 75 =
ifffam ta luego el cambio de coordenadas es
# =
3pts Ia

Pero todas nuestras bases deben orientadas tenemos tener cuenta el determinante de la matiz de cambio de base sea
ser
, que en
que

positivo para que

las 2 bases
tengan la misma orientacin D= detfgfanp ) en el caso del ejemplo anterior nos daba negativo

( la antigua)
luego la base nuera tena distinta orientacin normal de esa base es de sentido opuesto a la normal de la otra base

( la normal se halla un el producto vectorial ,

normalizando )

intercambio
UZ

{
=

Para invertir la orientacin de la carta basta con hacer un de variables UT = ul

.
ja U" " "
Mt
"

" " " 4 " de si

Mdem " " l " " " "
tmili " de " " de
ti " "
9 "

en todos los donde de Cartes las normales coinciden Lgicamente ,

puntos en
haya solapamiento ,
.

una
superficie pueda cubrirse sola carta ser orientables
siempre
con una
que
.

Por la cinta de Moebius oriented Las normales desde lado desde el otro coinciden al toparse
ejemplo ,
en

no es una
superficie .
un
y
no .
 * Todas las superficies que vamos sern orientables
manejar
a

La transformacin inversa , como siempre ,

es cambiar palitos por
no
palitos
Ia = rfgta Fp

Un vector la base tiene Si lo la base palitos

, expresado en sin
palitos ,
mas componentes contaran antes .
expresamos
en con

tendremos F TP Ep en la base sin

palito tendremos otras el mismo valor J = V
"
a
y
=
, pero

T a IIIa p P
"
Cmo cambian las componentes coutravwiantes del vector ? si tenemos = va = V = luego :

JP =
III. Va
Comparando con la transformacin de los valores de la base varan con la matriz inversa contravenan

cmo varan las componentes

de la 1
forma fundamental ahora ?

Queremos calcular
ojap = Ea .

p acudimos a las
expresiones que
hemos estado viendo .
Tenemos
que tener
cuidado con los ndices ,
tendremos

cambiar los ndices mudos en cada caso coincidan a Ia segua Ir Ep srgtfpu XT luego
para que
no
que
=
;
=

fttf ) ( tufo ) as
XT las la forma pndamental
5.p Zafia luego de 14 cambian
gw como :
= =
componentes

Xcx 5

Xp

5.p
= OZUT F gpv gap
ser un tensor 2 veces covariant ( cambian 2 veces con la misma matiz de cambio de base

L
que
los vectores de la base
) cuentan como ndices abajo aunque sean
superndices
de

Ahora queremos ver cmo vara

y ( el determinante de la ta forma fundamental ) -
Ni es un tensor ni es un escalar
,
cambia de forma rara .

Debemos total de la cuidado de los

g- ojz cjzge
meter 4 ley de transformacin para ndices
g-
en
=
u
-

copias g ,
con :

fnutofquufufaufgqfefufeaufgmffaufaougso) fawrumin
sacamos
E-
:

los ndices v sumados O - resultado parntesis

yo
- van

go.gs.EE :# ( :# :# as :*
)
e . o

.
=

.
1 2 ?

2 1 ?
Entonces solo 2 trminos entonces
contribuyen 2 2 O
.
 El resto de trminos queda :

*
s.se :* ( :* .

:# t.gr ... :# :# ( .

:* )
-
-

D .
D

5
=

( 9g gr
-

qozgge) rttftfnsffna ( grege ,

-

grrge , ) ZIID de los

Dt trminos
4 sumando en
y g
slo quedan 2 :

gceertaminanal
5 =
GD
( : qe .

qqiq )
.
=D

luego la ( determinante de la ta forma fundamental ) cambia como

oj GDZ no es escalar entonces
y g
= un

pues 57g

* recordemos
que
D= det
( as )

Ahora vamos a
integrar .
Para calcular el rea de una
superficie en las coordenadas con
gomina

ff Fg dtdul .

Realizamos cambio de variables Ia ( ups ) como es escalar no basta con sustituir la sin ms :
y y
un no
.

ff TGDE (
DZ sale

.
= det iupm
)
dued
pero
la de la raz
y se cancela con su inversa =
fftgdutduz
1
Jacobino D del cambio de variables

luego el elemento de rea s es un escalar ( invariante

) DA =
Tg dutdvr

Base Dual :
componentes covariates de un vector

Tpls )
P xp Sabemos T Va Ia Ia base ortononnd base ( deal )
que
=
pero
no es una
.
Queremos fabricar otra

calcular las contaran antes productos escolares , haramos si fuese ortononnal

para poder componentes con como .

{ El
Irffo
'
.is p
'

}
v = I Va = Esa
,

VZ = pa .

XT XT
Deber
cumplir que
-1 =
o o en notacin general Ictxp 5ps
.
.
=

Ir .

XT = O IZ .

Es = 1

I Ir
debe ser L a =
(o a
)

{
,

Ej : XT xp =
(r ,
o ) ldalam "

ja .

= e =) =
( 0,52 )
XT
Ii ( t.EE )
1 2
t XT
debe ser L a =
( a
,
-
a
)

{
caeueamos
I

.
= e =
(E ,
-

E)
 Entonces si
T =
vete +
ti Vl . TJ no XT i no es ortonomal la base
y pues .

Naturalmente la base ortonormal la base base dual

,
si es
,
es igual a su .

Mtodo general
def

/ -1

Say dual
"
la la la calculamos
g Pypy
definimos base
( gap ) ( gap )
matriz es decir = . Entonces como :
=

Ia
gaf Ip

ttgp
= .
cambiamos ndices

Stx
Demos IP .
Ia .
=

Iagptugp .
=

*
El mismo vector T puede combinacin lineal de los vectores de la base B de la base deal B tendremos
expresarse
como o
,
y

en cada caso las componentes conthurariantes o covariates :

J va Ia Va Ia P Ip T
VPIP vp
.

=
= =
con = .

Vamos a intentar verlo geomtricamente .

T Tgu IUSO

nfoji Xz la componente covariant ve se halla como V, = XP .

=

p
>
qtr
"
de tiramos
"
En tirar

X 1
vez
paralelas perpendiculares

vexi .

si
.

p
.
. .

1
%
.

que mide )
.
!
V
( lo -
.

syn
.
.
.

; p
.

XP
La relacin entre componentes covariates contrariarles es :

Va VP
g. Pvp va Vp
=

gap
= =

Tengamos el
producto
escalar entre 2 vectores J = Va a
y
=
Wtsxp Entonces F. =

# WP

En relatividad especial
( xt ) =
( xo xt xa x 3) =
( at x.
y
z
) con la mtrica (y ) =
diay ( l -1 -1 1) luego las

-

, , , , ,
, , ,

)
'
componentes covariates son
Xp ) ( xe x
'
x
'
x 3) ( Ct X y z
yqvx
=
pues xp
-
-
= =
-
- - -

, , , , , ,
 *3
XT

Si tenemos una base no ortononnal como en fsica del estado slido

X1
,

XTXXRTXT
La base dual viene dada XT T_ Ir xxrm I3 =

por
= =

( XIXIS ) I. ( rxxs ) In ( XTX XI )

.

tal TE p Soplar )3 2ft

K
Aunque ponen que
.
=

ya que
=

( P )

:* : :c :#
"
U "
"

Oi
. ... " .

como los otros -

o vectores dales o
formas .

componentes centraran antes

'

de un vector TP =
It V
"

Tp =
01 Va
aua srp

sea out
componentes es Arma fundamental cjap =
ifufasuupmgpv qap =

aun
grv

Ja = II. T =
siuuaxpii =
aaftsvp

Los vectores de la base deal tcnicamente vectores transforman deben las podemos tratar
no son
pues
no se como ,
son
formas , pero

( cuidado )
"
vectores tiene sentido distintas
por ejemplo
como con sumar V t va son cosas
pues
no
,

Geometra Riemaniana

( to
)
Riemaniana
gap )
mtrica
( = se le denomina .

,
y

darnos
)
' '
de dimensiones vie funciones ( un Tales cada ( )
"
En U
punto u
espacio en v
gap
n
un
que
.
.
:
. .

la simtrica
a) matriz es
gapi gpa

los
b
) matriz definida positiva
todos determinantes menores s o

c) si cambiamos de carta las familias de funciones Cambian como

cjap =

Ifft feting

Supongamos tenemos la carta vt "

familia de n
2
funciones Cut un ) cumplen
que U 1
qp
una n con
y
=

gap
,
que
.
. . . . . .
. .

las 3 condiciones anteriores .

Entonces tenemos una mtrica riemanniana .
=) Es como si nos hubieran dado las I ( va )

estas de damos deducir de la forma fundamental

pero
no
aparecen .
Es un cambio
proceder : en lugar de una superficie y ah la ahora

imponemos estas condiciones definir mtrica

para
una .
 Dentro de la cambio de variables
geometra riemamniana

I la ) T(
.
un escalar se transforma como = h =) = hlua ) =) n ) =
hlupsla ) ) es una propiedad geomtrica , i

independiente del sistema de coordenadas

-
un vector contaminante ( componentes contaran antes de un vector ) =) P =
Oy V
"

( se impone ,
no se dedica como antes )

-
un vector covariant ( componentes covariates de un vector )
Jp =
rfgtfapm Va

-
tensor 2 veces covariates
ap =

rttfarfffpav

Eap
Tensor mixto
que dejar
claro cual es el ndice n-1 y
ne 2 vale
poner
C
no se sataa cul va antes
-

no
pues

Why
(f ) :# aI
sra
.
tipo =

-
en coordenadas 5 en coordenadas U

el cancelarse los indices .

* tensor
que
va sin
gorrito debe con

ia.tt:7#...:7::q__qEn:m.a..m
Reglas del clculo tensorial

Suma de tensores =) atv t

btu = tt ,
el resultado tambin es un tensor del mismo
tipo

Producto directo de tensores olv bi ttv 5 el resultado es otro tensor ( comprobar que
se transforma como thl )

ANV
'
Contracciones ( entre 2 ndices ) significa los ndices iguales ( y por tanto sumarlos ) =)
Al = a t
ztaz
poner

n
...

En el tensor de Riemann
Rtvap una
posible contraccin es
Rtqup =
Rvp ( tensor de Richi
)

Se
pueden hacer muchos tipos de contraccin .
Al hacer una contraccin de un tensor ( is ) en 2 indicar tendremos w tensor ( iTe ) ( pues

nos hemos cargado un ndice arriba

y
otro
abajo )

Subida
y bajada
de ndices los ndices suben con
gap y bajan con

gap

VP
Rtvap Rtvop el

Va
Rgrap representan mismo objeto geomtrico
gap
= =
;
gpeg
.

Propiedades
que pueden
tener o no los tensores !
( solo ENTRE NDICES DEL Mismo TIPO )

i i
N
T.it
- " .

simtrico ndices ( tipo) al intercambiarlos igual

"

del
.

-
un tensor es en 2 mismo si se queda
= T
 t O
N N
- - - "
-

tensor ( del
- "

anti simtrico
.

ndices
- .

un es 2 mismo tipo ) si T T
-

en = -

Tensores especiales

Smbolo de Kronecker ( no cambia entre distintos sistemas de coordenadas )

{ Pp

sgi
aa
lo
"

S Nos si tensor
tenemos cmo cambia bajo sistema de coordenadas distinto
preguntamos ver
es un
que
= un
p
;

= 1 ( matriz .
Su inversa
)

calculamos 8Pa
OA as el nico trmino no nulo de la suma es cuando a
=p
OA 8Pa
as =
Effi ftp.SY
tensor especial las componentes las mismas sin el sistema de coordenadas
es un

porque
son
importar .

Si hacemos ahora GKPVP = VK ( sin importar el sistema de coordenadas

) es el operador identidad en el espacio tangente .

ICT ) =P

Eap = smbolo

/
Smbolo de Levi -
Civita
( no es lo mismo
que
el tensor de Levi -
Civile
)
p
= tensor

En =
O

{
simbolo vale cualquier sistema
Eap porque esto en
=
.

Eez = 1 = -

Ezl

[
22=0

Para ver s es un tensor le metemos el cambio de coordenadas

Eap OL Ifft tenemos nicamente 2 sumas no nulas

Ea pasta quot =

oatfaf -

ste apilaremos a ecuaciones te te

la
?
E con
LEY
:L o

DA
Z
=]
Y; Ifft
'

{
si luego OGU D hubiese D sea tensor si
Y Eap Eqv
si nos
restringimos
= no una un .

a transformaciones con determinante D= 1 entonces si se trata de un tensor En nuestro caso trabajamos con dileomorfismos son
.

, , que

transformaciones tratar de tensor

generales , luego en
general no se un .

Si nos acordamos de
que g- =
GDZ
y
=

SA
si hacemos
Vg =

, TIA
IDI =

luego Fg E PAY ser un tensor

para transformaciones que
conserven la orientacin

Pseudo -
tensor de Levi -
cinta

Eee = O

la transformacin la
Eaptg el

{ qfog
tensor si orientacin Esto si cambia
Eap
= = es m conserva con
que

gge
.

= -
q ,

sistema de coordenadas cambia

pues y
.
 Va WP
Vamos a ver
qu hace el pseudo -
tensor de lui -
cinta .
Calculemos
Eap =
Tg ( Mut -
vrwt ) en nuestro caso

T "
t s '
tktxzs JXVT (
'
2- vlwn
tenemos = V t v 23 y
= W .
Si hacemos su producto vectorial = v w
) XTX

I )
JX (
'
2- vrwn
) III-iv
' '
va lo
'
calcular
= v w =
5g ( v w -
w luego que
nos hace es reas de
paralelogramo .

IHTXIRH
=
Tg
si cambiarnos de
parametizacin los vectores seguirn siendo los mismos
pero la normal puede cambiar su orientacin de ah nos
pero ,
y

L.jo
El vi
,
)
Saca
signo
-

un .

T.Y.pl
ndices
O si
hay 2 iguales

{
En el smbolo de Levi
N dimensiones se define Cinta como 1 si
hay una
permutacin par
de ndices
y
el
pseudo tensor
igual
- -

-1 si
hay una
permutacin impar de ndices

con un factor Tg delante O en el resto de casos we

pero
.

qopo
UN Wwr calcula el volmen del parallelepiped ( con m
signo dependiendo de la orientacin ) un
 PROBLEMAS
4
lu ,
v
) =
( ucosv
,
usenv ,
v 2) esto es lo
que
no nos dan en la
geometra Riemannian a.

q : ( ultt ,
vltl ) =
( tittt ) ( wwa 1)

I.lt
anglo en TH

Cr :
( vlt ) , vlt ) ) =
( T
,
t .

1) ( una
2)

En le de carrera haramos las usas en 1123

G ICH :
( Tcoslttt ) ,
tsenlttt ) ,
1-2 ) ;
T = .

. 1) =
( los 2- son 2
,
los 2 t senor
, 2) ; IIJH = VE

cz lt ) =
( tus ( 3- T)
,
tsen (3 .
t)
,
T ) ;
=
I 'Iv( f- 1) =
( cosa tsenz
,
son 2- cos
2,2 ) ; UIKVI

coso

=

t.wllv.lt/lwT
=

Ahora hacemos las usas en la carta . calculamos la 14 forma fundamental

XT v fusenv )
( cosv 2 ) vcosv
=
senv u = o
, , ; , ,

cnn.tt
:): .at :):
"

. !
las unas son Ilt ) = I l ualt ) ) I. LH =
Io Va .lt ) las 2 derivadas
y

)
las componentes contra variantes de los vectores son ( Vd ) = ( 1,1 ) ; ( W
a) =
(e ,
-1 )

ahora el ngulo lo calculamos como

y

"
WP
Gap
.is#:::i:I.=:
V
Coso =

se
5 ICUN ) =
( Rlu ) cosv
,
Rlu ) senv
,
Hlv ) )

[ alabemos la te fuma fundamental .

(R R.lu ) H.lu ) ) r ( )
'
XT cu ) cosv Rlu ) Rkfcosv
senv senv
=
=
;
-
o
, ,
, ,

" "

( uiottku
g)
Entonces ( gap ) =
lio .

XI ) =

t
Son 4
productos
escolares
 ICU )

AZ
y
Veamos ) ( Rlu ) ) el El parmetro dice
H ( esto
paramtrica plano xz
que punto

u en en nos en
,
o = o es una curva .
v
, ,

( la

1 Z
estamos de la wwa
"
altura "
)

}
-
Un

}
sei "" del
" el " "
tb "
te "

como IU ,
o ) =
( R .lu ) ,
o
,
H
'
cu )
) no es ms
que
el vector velocidad de la una

RF
[}

miramos en
longitud de arco du
repararme

tjapl
[ )
zqp
con esto =

Gracias a esta
repwametizan se pueden calcular geodsica .

I ( 2) ( ultu
'
2)
'
6 tenemos la superficie u
'
u = u - va u v
, , ,

ve ttur )
=
12 (

UZ =
tlut -

[! )
utlu
2

ftp.
"

gap )
calculamos la te forma fundamental =) En =
( 1,1 ,
u 2) ; XT =
(e ,
-1 ,
u
'
) luego ( =

cenamos
Esta ) =

Efi! )

Iy [ 9.
2

Da ) t 2) hemos terminado lo que

'

5V
= ZFP
Gap
:
Su =
e
t
gez tgz , tgzz
= 1 t
( v tu *
Ojo ,
no
,

variables
salga aqu debe
tener

luego gen
= 1 +
con
gorrito
, luego hay que

Sustituir

* Si hubisemos tenido tensor 2 veces contaran ante nos hubiesen todo variables Si lo tuvisemos mixto
aparecido
un con
ya
.

tanto Js
apareceran Uscomo .

[ (a)
2-
z ty [ 911 grzf te ( 1)
2) tqutur
=

gu gu
-
= .
= -
t u

[ gu [
2

522 ) te ) 2) ltylut )
'
=

1g
-

Geiger +
ya
=
e t lui -
u =

E ( l te [ (
2- 2
)
Por
supuesto tambien
podemos repwametizar
la superficie como : ( El ,
E) =
,
r ,
) (E) f

y
calcular =
(e ,
o
, IT
U ) ;
E =
( o ,
1 ,
-

EI ) y
calcular
ojap
=
( Ea
p .

) .
Sale lo mismo
, pero muchas

de la
veces no
disponemos superficie
 7 En =
(2 ,
o
) ; Ir =
tpz ( 1,1 )

52

YZK
4

)
t )
'

la base cual calculamos la

Para hallar
lgap ) invertimos matiz

( gap )
=
=
,
y

Ahora calculamos la base dual como Ia =

golf Ip

gtlxe (% %) E)
"
I
geri 72
gua (
' -

XT o
g
= + = = t =
,
; ,

IK
Comprobamos que .

Ip =
Sap en cada una de las combinaciones .

Ahora calculamos las untavaiantes

componentes

Vl = Il .
J =
3/2 ;
VZ = I ? T = 2

J Fr ( 2)
'
V XT 2
3+52
comprobamos t
=

que
=
v
y ,

Vt XT T normalidad t P
donde
para
sacar no multiplicarnos .

,
C
pues
no hay orto
) sino .

las covaiantes
y componentes :

J z T VP
Ve 6 t 252 Vz 2
trpz donde evidentemente Va podemos comprobar
=

gap
.
= = .
= = como
;
.

8
Saa St t 522 1 t 1 2 primero sum amos en
B luego k
y en
= = =
.
e

"
'S
'

SAP Spa =
Sa sea tga S = Se
,
+
S 822 ( el resto se anda
) =
t.tt 11 . 2

P =

gatgtquv lo unico
que
sabemos es
que detfgap ) so
( gap ) =

( 9Gt
)
9g tenemos
que
invertirla simblicamente

jefe ftp.g921 ) { l
tg

( sabemos
En
1g y
.

que
=

=
.

E.

Eat
tgagpdfrg ) ( go.gr ) Eat
' '
Entonces
gatg qu ,
=
gel GP 25g =
Vg -

ya GP luego ya podemos sacar dando valores

operando identificando
y p
a a e
y

11
E = O

22
E = O

P (g ga ) Tgtg
" "

vg grr tgn
.

g
- = -
= =

21
E = -
1

rg
 Ahora tenemos todas las contracciones entre 2 tensores de kri cinta
posibles
-

Edf l
"

te )
ftg ) Tg
E
( el nulos ) C- Tg
Epa Ez , Era resto son
+
= = + = -2

( P Eap
=

2) 4 ecuaciones pues hay 2 ndices libres

que
recorren de la 2

juremos
P al
EKZEZ
( contraccin de 1 solo ndice
) Epy = E
Ee ,
t
,
( vemos que no aparecer ninguna
y pues
o se cancelan o van un un 0
)

al a U
E
Ee ,
t EKZEZ ,
= -

Sau Pues
y e -1

1 2 O

2 1 O

2 2 - 1

Observemos el producto de 2
pseudo tensores tensor Al cambiar de carta le menos cada de los pseudo tensores
es
signo
un cae un a uno -

que
-
.
.

el los cancela reducen conociendo Eats )

producto Eap
se
pero .

pero ,

P hacer

Epu ( aqu tenemos 16 ecuaciones

pues hay
4 ndices libres ) tenemos
que
16 cuentas .
Las
ys
se van como antes

v

a

p Si a =
y P = V =) +1 .
En caso contrario -1 .
Entonces se puede expresar como :

1 2 1 2 t 1

1 2 2 1 -
1
San Sav
qap c- observemos antisimtico en v
p
es a en
que
=

y
| }
, ,

2 1 1 2 -1
gp gpu

2 1 2 1 +1
 24 FORMA FUNDAMENTAL

Ahora salimos de la analizaremos fuera

"
desde
"
la superficie
y

Medimos la curvatura viendo la de

plano tangente
se
como
separa superficie su

"

;"

D= licuatnas .

icuoyti

{ normal al

si d la separar la direccin de la revs
es
positiva , superficie se en
,
y
si es
negativa ,
.

guay

HPT
de d I ) ( Ia h
t Iap ha RT
"
Metemos el teorema Taylor a E- orden a ( uatha = va
) t t

( trminos de orden
superior )

al meterlo d Ir shoh P
RI
donde XI
Iap
normales a =) de
,
como
y
son
21 . t

Se denomina 29
forma fundamental a
bap
=
XTXP
. s ( emplearemos esta
para
celular
)

ve
puede escribirse como
boxp
= -
Ia .

YT ( emplearemos esta
para
razonar ) pues
Ia . = o
ap .
ta .

Tip = O

Llamaremos b ( determinante de la forma fundamental )

detlbap )
= E

* en notacin de Gauss bu =L
; bez =
bze = M ; bzz = N

HP ha HP
txops
Se denomina oscilador la ) ha
Qlha Qlha )
paraboloid superficie
tzbap
a
a = o =

Propiedades de la 21
forma fundamental

1) (
bap )
= lo ) la superficie S no se
separa
de su
plano tangente S es
parte de un plano

forma fndamenthl idnticamente nula en la carta

. es un vector
que fabricamos
unitario vi. s = O a E
Tpls ) derivar con
respecto
al
w

derivadas de parmetro ox .

m
.
decir Cbap ) = ( o
) es decir
que
Ia .

Ip = o
y
los Ia forman una base .
Entonces = cte
luego ( I. ) a
=
Ia s
.
= o

luego I. = de

2) Carcter tensorial de
bop . Exp =
-

]
a .
= -
Oaufna Effie i. NT =
sroftnasupb , pero
es
que
al cambiar

de la cambiar luego tensor

carta puede bap
su
signo
es un
pseudo
-

otro lado el determinante I =D Db 5 N b

por , para =
Significado de la 2 a-
toma fundamental

Lsinbsnf
Queremos ver cmo se
separa
una
superficie
de su plano tangente .
Hay 4 posibles casos :

TMS )
a) caso elptico Qlha ) =

tbap
ha HP es un
paraboloid elptico

determinante de la 2 a- forma fundamental lado del

superficie a un
plano tangente

de la bu hacia arriba
En un entorno ese punto , superficie se
parece
a un
paraboloid elptico =) si ro superficie

b) Caso hiperblica ( si bao ) Qlha ) es un

paraboloid hiperblica ( la silla de montar
)

-04

1-

Tpls )

o
parablico ( si b =
o
pero ( bap ) to ) determinante nulo
pero matriz no
es idnticamente nula

)
a-
por ejemplo ,
un cilindro parablico ) Ejemplo Ilu ,
v ) = ( u
,
v
,
tv 3)
y y v > o elpticos
Vao hiperblicos
Toda esta linea es de puntos
no parablicos
parablicos

d) No
(
to
todo
Caso
) =) punto planar .
hay manera de clasificarlo ,
puede pasar
de .

en determinados puntos no en todos

pues si no seria un
plano
,

Ilu ) monkey saddle )

2
) ( 3-3 el anula la fundamental
Ejemplo ,
v = v.v ,
U vv
( en
origen
se 2
forma .

Examples : en un donuts ( toro ) .

La circunferencia es la
generatriz .

T.pl?ttisusceospmnsoernmeneoswaeesp.aimos
puntos parablicos

En 3g

prints
: "

)
"
subimos

Otra forma de ver la E forma fundamental

Observemos el vector curvatura depende

de la curva en cuestin no de la superficie en est sitiada
que , que

I Observar cmo influye el ngulo entre I
y

curvatura normal geodsica
superficie )
( misma una en distinta
pywwatra
y
Desean pondremos el vector curvatura en una
parte ortogonal a
y
otra
parte paralela a s E =

y k4
En +
 -
n

Suponemos que
la curva est parametizada en long .
de arco UIT cssll = 1

!:
. " "" "

ser .

:*:
el vector curvatura normal Iu =
/
donde 4J ku =
E. s

Recordamos
que
el vector curvatura de la curva era E = luego ,
en parmetro natural I = donde Ils ) = I ( vais ) )

Ia
derivando a
Iapiip IA
.

luego =
+
y
=

I. s I E. I P
Iap
"
s ovp
Entonces kn = = =
luego =
bap
.
.

" "

como la curvatura est parte de curvatura viene

forzada ( por la kn ) y otra parte es la forzamos nosotros
en una
superficie ,
su
que

( kg )

Entonces P hemos obtenido

bapt
de as tostn
kn =
pero
esto es en
parmetro long arco
, y parametizar
es un
, luego ahora
que

visto desde la carta

los resultados cambiarnos variables .

Entonces la curvatura normal es el
,
-

cociente entre la 21 la 1
y

dudctf_d.jp

a
=
ddtfa =
ddtfoddf =
dguftn luego entonces kn =
bopuku.PT forma fndamental evaluada ,

,
gporv
"
sobre la wva

4.jo k.kusa.bqiuu.FI una

Queremos calcular todas las curvaturas normales

y quedarnos con la
que
sea
mayor y
con la
que
sea menor .
( curvaturas normales )

Tenemos hallar el mximo el mnimo de Kn

boPUKU.PT las variables us En los libros llaman la = uo
'

que respecto
= con a
y
.

gyuuw
Entonces kn = bapt .
Al n unerador le llamaremos A
y
al denominador B .

querer
multiplicamos por B

# p
Bote A
3k 0 29 gpnltlv go.pl LP
"
-

d- B
.

= = o
-

kn = O podemos reescribir = =

BZ

LP
luego operando ( bop -

kngop )
= O
aqu hay 2 ecuaciones
(1 ndice libre que
toma 2 valores )

"

para
a = 1
=) ( bn , -

Kngu )
l t ( bez -

kngrz )
= O

" '

( by l ( brz kngrr )
l
ga )
a- 2 ku t =
O
para
-

Este sistema de ecuaciones lineales homogneo le y la =) det ( matiz de coef ) J solucin trivial
es un
para = o
para no
 bu Ku brz kngr
- -

gu 2

=) de
aqu habra soluciones libros llaman Ke ( la )
2 .
Hay que
z Kz ke es
mayor

by -

kngzr brr -

kngzz ( 2 raices
, que
llamamos Kr , kz )

As se calculan las curvaturas normales principales Esto no es ms

que
un
problema
de valores vectores
propios pero en una base no
.

ortonormal .

Definimos la curvatura media H

tz ( Ketkz ) esto necesitamos la 21 forma fundamental
.

para
-

principales )
K la
Definimos la wrvatra
gaussiana
a =
kekz ( producto de las curvaturas esta es la
que
mide curvatura de la

superficie .

La curvatura K calcularse nicamente mediante la 11 forma fundamental ! !

gaussiana puede

Una superficie minimal es aquella con H . o

la superficie modo normal H de

Si
repwametrizamos
de
que
se invierte su cambia signo pero
K no
( - . -
= t
)

Vamos reescribir esto base ortonormul obtener frmulas explicitas H K

en
para mas
una
para y
a
,

LP
( bop -

Kngop )
= o =)
queremos
convertir esto a un sistema de valores
propios usuales .
Es decir
,
convertir
Kngap
en

la identidad multiplicamos por pon

obtenerlo
( gato bap -

Kn gol
gol gap )
LP = o es el

nico ndice libre )

( btp -

kn Stop ) LP = O btup se denomina el operador de

Weingarten ( 21 forma fundamental con su ler ndice subido
)

Entonces las curvaturas principales son los autovalor del operador de Weingarten .

detlbop ) =
detfgobpl.de#1T=0.b1
1
( btetbz ) (b abre )
' " '
b b '
Ki Knbaa
'
k
t.bg
=) b -

Kn b r -
Ku t e 2
- =
O -
= o
,

by bar -
Kn

luego , como en una ecuacin de E grado ,

el trmino
independiente es
siempre
el producto de las races K =
1g ( muy util
)

y
H =

tzbva

Si cambiamos de carta =) I b DZ DZ luego

al dividir se el DZ K tensor de orden O
g- nos va es un
y
= =

( es un escalar )
Vamos ahora el anlogo de las de Frenet Construimos el hecho lo
para superficies largo
ver ecuaciones vemos cmo se mueve
y
a .
a

de la
superficie :

Para las derivadas parciales de los vectores en

1
s

expr
LT
Ecuaciones de Gauss funcin de base
y Weingarten
su
propia
-

El objeto es ver cmo se mueve el tiedo .

tendremos =
opt y +
aop ( combinacin lineal )

{
y
tambien Ia =
Car y t
d as derivadas parciales porque
nos
podemos mover a lo

largo de las 2 direcciones dadas Iso

por y por
como los a son
perpendiculares a
s nos
cepillamos el ltimo trmino :

como llll = 1 =) Ia . = o da = O

Para sacar
Cat hay que multiplicar por el vector dual
ya que
no es una base ortonormal

Car Ir o bar
= .
=
grPip .
o =
-

grts bop = -

Ahora vamos a la ec .
de arriba . como Ia tus podemos multiplicar por

para
sacar los coeficientes

'

Iap top Iap bop
.ci#rmtaqsIenI

aop
=
.

.
= =

'
Para ello multiplicamos por el

Nos queda calcular

pop .
rector dal , que siguen siendo E
Tpls )
y por
tanto L luego

IO
Mapt =
.

ap los
topos se denominan smbolos de Christoffel de 2 a-
especie ( no es un tensor , es un smbolo )

tu
Denominaremos smbolos de Christoffel de 11
Mapy Ir op Pop
especie
gyy
a = .
=

El convenio ms habitual
para
los smbolos de Christoffel es
trap

Las ecuaciones de Gauss Weingarten nos quedan como :

Tp =
Papi y t
bap

r = .
bar xsi

Hay muchos smbolos de Christoffel que

son
iguales ,
ya que
las derivados cruzadas conmutan -

Iap =
pa los Christoffel

Son simtricos los ndices Luego tenemos 8 Christoffel solo 6 este

en o
y p .

pero independientes ,
en caso .

Los Christoffel se
pueden calcular en trminos de la ta forma fundamental ( que es lo nico
que
tendremos en relatividad )
 de los Christoffel trminos de la 14
Expresin en forma fundamental

Gay
=
d
a .
Vamos a derivar

a
ap
ay

rotando
2%1 typo copiamos la

Fua
XTP 3 esto
Pop ,
=
.
t .

=
t ec .
veces

29 sp p
Mpod
= +

dap

isquq tps tasp

=
+

Tenemos los smbolos P 2 ndices permutados son iguales luego despejamos obtenemos
que
con sus 2
primeros ,
y
:

t ( sigan taobao.08q.fm
) delante
'
obtener los de le
Tops =

y para
la
especie metemos un
gr por

t GM
( 03 tsgdudfsn ) smbolos de la
Papi =
-

2qf- Hemos conseguido escribir los Christoffel en funcin de ta

forma fundamental .

Caso de coordenadas ortogonales =) o

gez gzr
= =

Nr
'

tu
taque rtgsfrr
Entonces = =

M = -

rgt siguen rr = .
1 292L
1
2911 2 U

t.i-rri-rgn.at#hi=rri=rgs9I
* Si el ndice repelido es el nombre de una coordenada no se suna
,

)
' '
Il ) ( CUY ur
'
o
Ejemplo :
,
ur = u coscur ) ,
U seu ,
o U = r =

( gap ) =

( lo
q
hemos mantenido el nombre de la coordenada

Se anulan muchos de los smbolos de Christof en la mtrica O v

2
las derivadas respecto U
2
nos
aparece
como no = con a
,
pues

se anulan 1 ate al derivar tambien se anula O sumado el nombre de coordenada

gu pues
como = no va es una
y
= .

, .

-
tal Trot
O
Nos quedarn = Peor =
-
r
put =

fre = =
por =

t
 Vamos a ver cmo se transforman los smbolos de Chvishofel al hacer un cambio de coordenadas

Ley de transformacin de los smbolos de Christof

Ed
"

I
Queremos hallar
Tap en el sistema de coordenadas con
gorrito
Tapt =

q .

y
sabemos
que
o =
Ir as

F.
Entonces op =

Iqisfufup astuto t Ir frutos y

= Ir de la ley de transformacin de los vectores duales

Nqt I tsfffm T
'
Luego Top =
rffftp Estf Este ultimo trmino ( inhomogineo pues
no tiene b multiplicando )

nos
impide que papitensores
sean .
Sern tensores si el E Trmino es nulo
( zas derivadas nulas
transformacin lineal
)

Ecuaciones de Mainaroi -
Codazzi

Recordemos curvas tenamos las ecuaciones de trenet sabiamos si nos dan la curvatura la torsion de

que para ,
y que y

la curva
,
sabamos que curva era ( aunque no dnde esta
y
su orientacin )

Ahora ver qu las superficies El anlogo las ec de Frenet las de Mainaroi Codazzi
queremos pasa
con a son ec -
.
.
.

dan definida
- Si nos una Cgop ) simtrica
y positiva y
una
bop simtrica ,
en
general no
hay una
superficie que

Tenga ambas formas fundamentales , mientras en curvas s .

dan

gap
bap
Las de Mainwozi las condiciones dada Z ambas
ec nos
para que una
superficie con
y
.

opy =

Ioyp Ia son los vectores de la base .

Esto nos dice que
da
igual moverlos en una direccin
y luego

en la otra al revs
que

(1)
Calculemos :
ap =
Papk k tbqs derivamos ahora con
respecto a 8 :

opy =

}tqP IK t
tapk ky t
2pts15 t
bop r ahora
queremos expresarlo
todo en funcin de los vectores de

la volvindoles meter las de sale atrocidad

base
,
a ecuaciones Gauss (1) .
Nos una :

opr =

( siaqfitropkrksr
-

bop bi
) Io +

( t.pk bastaban) lr )

Para hallar solo intercambiamos los

Iogp tan ndices en
(2)

Ambas cosas nos deben salir iguales

las
formulas
de Mainarozi los vectores son linealmente independientes las
por y como
, ,

componentes deben ser

iguales :
Al igualar ambas las ecuaciones buscamos
cosas nos
aparecern que
:

rkbkpt
"

Pop bus
-

aabuafm -

aabqt = o

srarqfim -

sigue +
topkrrsr roskrkpr bopbir baabpo -
=
-

cuntas ecuaciones independientes tenemos ?

# 1
a
pd Tan solo " os
importan las Irse
ez =
y Ira ,
=
Ir ,
1
|
)
2 11 22
Luego tenemos 2 ecuaciones no triviales . ( Pves decir Ieee =
Efe ,
es trivial

Las que hay

sern
f|q5_

Denominamos tensor de Riemann

por
definicin a R =

2gtou1-%fa-ott.pk tkso troyktkpcr -

Es un tensor
porque
es un
producto
de 2 pseudo tensores ( bap )

Se suele escribir el tensor de Riemann como

Rtogp

del
Buscamos simetras .
Para encontrarlas ,
sabiendo
que
solo podemos calcularlas con ndices mismo tipo ( covaiantes o couthwariautes )

lo hacemos bajarle el re
'
ndice al tensor de Riemann
que es :

Rrasp =
goz Roaap
Reap
=
bap bar
-

bar bpe

1) R
@4Rsp
=

zx

pa

2) Rz = -

Roz ( anti simetra en sus 2

primeros
ndices
)
,
gp yp

3) Reo = -

Rzo ( antisimeta en sus 2 ultimos ndices )

yp py

nyd
~
4) Rzogp t
Re Rz O ( propiedad cclica
)
a
p
spot
=

pyo

Vamos hacer tabla con las 16 combinaciones de ndices del tensor de Riemann veamos obtenemos :
que
a una
y
,
 1 1 1 1 O Solo 4 distintos de O solo 1 Se suele el 1212
independiente
=
es
y coger
o

1 1 1 2 = O

1 1 2 1 Entonces R R
Rrzyz
O
Rzeze
= -
= =
=
-

2112 1221
1 1 2 2 =
O

1 2 1 1 =
O solo tenemos calcular este :
y que
1 2 r

)
1 2 el otro
= -

( uno es -

)
1 2 2 e
4212 =
buzz =
berbze = b

1 2 2 2 = O

2 1 1 1 O
podemos calcular
=

luego el determinante de la 2
forma fundamental lo

1 1 2

Y )
2
= -

( uno es -
el otro

2 1 2 1
mediante la 14 fmafndamental .
Esto estaba relacionado con la

2 1 2 2 = O

2 2 1 1 =
O
curvatura Gaussiana K 4212
bgn
= =

2 2 1 2 = o g

2 2 2 1 O Pues Riemann calcula de

Christof
=
el tensor de se mediante los smbolos ,
que
2 2 2 2 =
O

a su vez se calcula con la 11 forma fundamental .

Si nos dan la superficie nos

piden hallar el tensor de Riemann lo ms rpido es
y ,

x.co.ug?ETb.pEsbnsRr.p9IsRrosp
PROBLEMAS

10 Tenemos una carta de

monje Ilyv ) =
( v.v ,
flu ,
v ) ) debe ser isomtrica a un
plano si tiene curvatura idnticamente nula .

( deformar un
plano de la forma que sea )

b-
Debemos
imponer
K = O =)
bgn
=
o =) -
o ( pues y
no
puede ser O
)

calcular calcularla
Recordemos que hay 2 formas de la 21 forma fundamental .
Vamos a como
bop =
op .

C alabemos u =
( 1,0 f ) v ( 0,1 fv ) la normal ser _ 1
ffu fv 1)
y
= = = -

te
, , , ,

HXTXXTU

Calculamos las dcivadas

parciales :

XTU =
( o
,
o
,
fuu ) Ivv =
( 0,0 , fw ) y
w =
w =

( o
,
o
, fuv )

Ya hallar
podemos bop =
Iap .

fw

bw =

N
buv =
bvu =

tufte
fvv
bw =

-1
.

2
tfutfv

Para que el determinante se ande ,

dado
que
los denominadores son
iguales nos centramos en los numerado res fuufw -

ffuv )2= O

Luego la ecuacin diferencial que

deben cumplir las grficas de funciones ( o cartas de
monje )
ifffm O (sputum} - = o

4 Tenemos I ( v.v ) =
( vcosv
,
vsenv , fcu ) ) esto es una
superficie de revolucin =) la ta
forma diferencial debe

( lo que sea .

cosv
,
lo
que
sea .
seuv
,
fw ) )

salir diagonal ,
lo cual simplificar los caldos

Calculamos Io ( f ) Iv ( )
'
= cosv senv cu ) =
.
Usenv vcosv o
, , , ,

( gop ) =

ftotmuq)
Con esto
podemos calcular los smbolos de Christoffel :

tra Pat
'
idfuz test
zig 011
VE
ztg Jive
Mu = = donde UE ul
zgtzn
= =
;
,

rue.fq.at#rri=.eq.aar:ri=rri=q.aosfa Las derivadas respecto de UZ ( v) se anulan

de v
pues (gop ) no depende
Nos quedan :

ff
"

' "

Me =
pw =
-

2
1 t ( f 1)

T twv
Ultftuj
= = -

1 Esto tiene
que
ver con las ecuaciones de Mainanei - lodazzi

foiq )
"

tuya
"
/
icuvs
Cgap ) ) lbqs )
? .
=

El teorema nos dice :

1) LE forma fundamental simtrica definida positiva

y

2) E forma fundamental simtrica

Hay calcular los smbolos de Christoff estamos base ortogonal =) solo 3 smbolos de Christo fel
que . como en una en
principio

independientes .
Pero adems en este caso solo
hay 2 independientes

put MZ
'
pra =
senlvnlcoslue ) = = - tan Cue )

Las ec de codazzi nos dicen

que
.
:

about.at#=o -
o = o

leal be
,
-

( put .

Mep ) ber -

tu 2bar = O -

(O -

C- tan C ) ) ) .
O -
O = O Luego se
cumple
la la ecuacin de

Mainaroi - codazzi .

Ahora la 24 ecuacin de Codazzi :

ber
2gbfzt-qgbuqf.co O = O e- O
pues
-

bien
Ot
Pralbee -

( Perl -

Mart) bez -

M bzz = Senlue ) cos ( u

'
) cosrlu ) ' - -
ftanlue ) ) . 1
t O luego no se ample la 2A .

ecuacin de Maiuwoi -
Codazzi No
puede
existir una
superficie Ilu ,
v ) con esas 1 a-
y
29
forma fundamentales dadas .
 ( lo
to ) ( Liu
lo )
"

4 ( bop ) )
"

( gap )
"

( la
"
= = como si thiesemos la curvatura torsin
y

En este sistema de coordenadas coinciden la 1 a- 2 a- fundamental =) eso es una esfera

,
y

a) Ecuaciones de Gauss
y Weingarten .

Necesitamos bar ( operador de

Weingarten )

gtt
8
bo =

bop
Necesitamos la inversa de
lgop ) .
como es diagonal es
muy
sencillo ( inversa de cada uno de los elementos

de la
diagonal )

'
" ' P
bar
2
=

gttbop =

g b. ,
t
g base .
Tengamos en cuenta
que g
= o si
87ps lo
que
nos simplifica

bit =
1
bj = O

48 ( bat ) =

q ) =
11

b = O
bar =

1g .
serio = ,

Necesitamos Tambin los Christo fel Podemos utilizar las abreviadas como la derivada de O tendremos muchos
.

expresiones .

yu es

smbolos nulos .

Operando
debemos
llegar a :

ftp.2 =
fwv = cotlu ) tzzt =
Pwu = -
Sen lo ) coslu )

Entonces :

Iuu Iur tlv ) Iv

senucosu
= = =
Iw

IW =
-
tu + senru nos
} go.com .
el
anlogo a las ecuaciones de frenet . Nos dicen la
superficie que es
,

u XT v Iv donde est ni su orientacin

pero
= .
= -
no .

b) derivando de la 19 ec . Iuu = Iuu = u = -

u
de = O

luego tenemos resolver es Iuu t Iu O =) x

" '
t x
'
o bit b =
o =) 72 = i
que
=
=

> = i
3
-

xlt ) =
Cecost tczsent t Css

La diferencia es
que
la ec . es vectorial
y que
las derivadas son parciales ( las utes
pueden depender de la otra variable )

La solucin es Ilu ,
v
) = cv ) seno t Ilv ) coso t
Ilv )

I LVF
c)

Ilu ) la sustituimos las ecuaciones de Gauss tenemos arriba Nos sale que
Cv )
Cogemos
v en =

que
:
,
y
.

.lv ) cosv - I '

lysenu = I.lv ) cosv tbtllvswsucotu ti .lv ) cotcu ) Itv ) = -
Itv ) cosu lv ) =) Tcv ) = J
 w w Iuu

tu tsev Iu
)

d Xw =
n = -
senvcosu metiendo la 19 .
en la ZI = -
senvcosu tseiu

As
"
lv ) lv ) ctcosv tsenv
llegamos a C v ) =
=

lu v
)
I cosvsenv t senvsenv t cosu t E Si los vectores son ortouomrales entonces esto es una esfera I nos
y
=
,

dice dnde est el centro de la esfera .

( desconocido )

11 Sabemos
que Rywgo =
( 9ns guo
-

grrogvg )
K (1)

la RN
Rtva
Se pide hallar Ruo de ah anata escalar R
partir
=
a
y
=

lo 1 hacemos subirle el ler ndice al tensor de Riemann

que es :

( gtukgrzggvo
"

Rtuso gl )
"
Lo a)

gt
de K
Raso metemos dentro
guagua
= .
-

-
un

producto de 1 matriz louisuo =

Sto
=
Stf
inversa
Por su

el resto nulos
Ms son

luego Rtyso =

( Stsgvo -

Sto gu , ) K =
2
=
guo
-

un
-

Ahora igualamos el ler

y
3 ndice
para
celular el tensor de Richie
Rtvr ( = St
gyo
-

Strgqu ) K

Luego el tensor de Richi de cualquier superficie es

Rpr =

gpok

Ahora calculamos la curvatura escalar ( o curvatura de Richi

) como R =

Rt luego debemos subirle un ndice arriba al tensor

No GN gvok

St
de Riuhi = =
SNOK y
ahora
ya podemos
contraer como :
( es hallar la traza )

R =
Rfu = K = 2k ( K es la wrratra Garssiana
)
" '

(
'
EK Edo EK Edo
)
'
Ahora tenemos
que
hallar
Rfwyo =
K
grzygvo
-
E Edogkrgvg ojo con
el orden al bajar ndices

con la mtrica =) = K ( Eso Etr -

Eoy
Edo
) = K
( Ego
Etr t
Ego Edo ) = 2k
Eso
Edr = 4k

1
k cambia por b abajo

el ndice el
Si
que baja es el E-
,
entonces es ese
y
no otro
,
cuidado con orden !!

R
yo gdr = o
pues
la contraccin de
g4
4 ndices simtricos con ndices aulisimtnios es nulo .

{ antisimtsiuls
simtricos
 4 Il ,
u 2) =
( urcoslut ) ,
senlue ) ,
wshlur )
)

Se trata de de revolucin claramente

superficie
una

Calculamos te la
( gap ) i

Ir =

( -

senlut ) ,
coslue ) ,
O
) ;
Ir =

( coslut ) , senlue ) ,
senhlvr ) )
2

Gap
=

a
p .

Gee
=
( UZ ) Gez
=

gr ,
= O
gzz
= cosllu 2)

Calculamos de el co tensor mmio Cano

( gop ) es
diagonal es sencillo :
ya paso muy
. .

# COST
" " "

gee y
O
y g
= = = =

Ahora vamos a la 2 forma fundamental Calculamos la normal :

por .

( usluytanhlur ) tanhluy )
'
=
ulifixfrm =
) ,
senlu ,
-

seuhluy
,

Ahora calculamos las derivadas segundas de Io :

u =
fltcoslu '
) ,
-
ltsenlve ) ,
o
)

ez XT ( ) ) )
' '
=
,
=
-

senlv , coslu ,
o

r =
( o
,
o
,
coshlur ) )

Y hallar
ya podemos bop :

212
bu =
-
tanhlv 2) brz =
bre = O bzz = -1

b = lttanhlur )

Con esto hallar el tensor de Riemann

podemos
:

tanh )
Re =
Ray =
-

Rzryz = -

Rgzze = ( ur

"
Ahora debemos subirle un ndice
Rapper
=

g Rrpp ,
=
gol Reppptgarzp , Separamos los casos :

"
trmino nulo la diagonal )
Rtp ( pues
0=1 el 2 ? meta
. caso
,
=
g Repqy
es
ya que
es

"
caso D= 2
Mpp , g Rrpp
=
.

Esto mtricas diagonales donde el ndice sube de inmediata

se
aplica siempre
en
,
manera
Entonces :

" "
tanta
#
R = - R = UZ tanhlur ) =
ar zz , 2
U

1-
Pine =
-

Peez = lttanhlur )
coslilur )

Se del Pero ndice

la antisimetria los ndices de atrs
pierden
la simetras al '

que implican
mantiene en 2 son mismo tipo se re
pues
.

9 Entrega ble

Tenemos la
superficie Ilyv ) =
( sechucosv
,
sechvsenv
,
U -
tanhu ) .
Se trata de una
superficie de revolucin .
Para entenderla
,
tan

solo tenemos que pintar la curva

{ suqdfuanyu
Yz
I y
darle vueltas .
Esta urna es una tractiz .

\ .
Es como si pesamos andando verticalmente en linea recta con una cuerda perfectamente rgida .
El

extremo de esta cuerda esta

sigue trayectoria .

Al dale vueltas obtenemos la

superficie

Sacarnos entonces :

I =
( -

sechutanucosv
,
-
sechutanhusenv ,
1- sedu ) ;
v =
( -
sechusenv ,
sechvcosv ,
o
)

( gop ) =
aoihugeoy [ )
vg = tanhusechu

"

luego
A
fo foditanhusechududv
2h
= =

(
sechutanhu

)
- o

La 21
forma fundamental llega a ( bop ) =

y
de
aqu, como
ya
esta en
forma diagonal ,

O gauuqngu

se leer las curvaturas principales :

pueden ya

2 2

Ke =
BI "

cosecho kz
bit
'

senhv K = -
1
y
= - = =

Gu GR
 CURVATURA GEODSICA

dt aj
E-

xx )
ntrg
gxt
luego
E. I Lix I ) Es (
kg
= = =
.

= .

J vector curvatura propiedad de

la
superficie

F E = Tomamos las derivadas en

parmetro nahml Luego cambiaremos de variable
pues
= :
y
.
.

Entonces ( I ) det
( ii. ) curvatura natal
kg geodsica parmetro
=
x en
.

= ,

Curvatura parmetro arbitrario

geodsica en

i
," I '
Ahora cambiar variable ftp.ny
tendremos
que
=

,
=

z
t
luego kg
=

(554)-5^11
, XT 113

Esta frmula es sencilla de usar si tenemos Ilt ) Pero

trabajar desde dentro teniendo vols ) ( utls ) vrls ) )
queremos

muy ,
.

Curvatura vista desde la carta

geodsica

( IT IT ) T P is EE
Tenemos Io Ipy ( henos
a
las va iv. cambiado
kg Metemos
. = =
x
t
.
.

los ndices lo vendr despues )

anticipndonos

E
a
que .

X.
=

I
ftp.cnet
bpy) E)
(ppytptt

etbpyfit
t
Ahora lo todo en funcion del Miedo v. P v. t Ie
ponemos
=
.

Sabemos
que
Ir x Ir =
rg

}
ax Io = o con esto
llegamos a la
expresin final :

x = o

vi. = 1

(ppj
'

)
Vg P iii.
2

tps ZP ir rt la curvatura intrnseca Se calcular conociendo

kg t
luego geodsica es
puede
-
= -
.

nicamente la 14 forma fundamental .

Ahora la est ? Ud Vact ) Pues cambiamos variable

, que pasa
si curva no
poramehizada en long . de arco =
.
simplemente

dud
a duro o
= =
-
= -

ds
aI III. 11

dt
 GEODSICAS

En el libro de define la de la
Kreyszig se una geodsica con
Kaj O , independientemente de
parametizacin curva .

'
Hay el define geodsica III de
otro
ky
11
convenio en se o
que y
=
como =

III ( pwametizado )
'
otro ms moderno 1 de
En convenio =)
ky long
11
en arco
y
= o =
,
.

Para nosotros , llamaremos de

pre geodsica ky independientemente parametizacin
-
a una curva con = o su

,

llamaremos

Definiciones
geodsica III
'
II de
kg
a una curva
y
o
y
con = =

Ej Ilt ) ( lnt but ) ser nosotros

geodsica para kreyszig es geodsica
para pre
: = una
aunque
una
-

, ,

LH ( t t
) ser nosotros geodsica en otros libros III. ll 71
para
una no
y aunque
=
, ,
pues

Ilt ) geodsica sobre

la S III. II de
es
superficie si
kg o
= =
una
y
.

"
Otra def equivalente Ilt ) sobre la S la aceleracin I lt ) la normal
: es una
geodsica superficie si es
paralela a

(e bien O ) ( No hay aceleracin tangencial , luego kg

= o
)

ddqllI.tt
LI ) 2,5I
' " '

.
'
. I = .
= o
, L

Def : ICT ) es una geodsica sobre la superficie S si

kg = o
pre
.

Consecuencias

1) Las rectas sobre

cualquier superficie que las
pre geodsica
son
contenga
-

( la silla de ) Ilu ) Itt ) )

Ej . z =

2-
yr montar =) ,
v =
( v.v ,
v 2- v
2) .

Tengamos la curva =
( TT ,
o
, que
obviamente

esta dentro de la superfine Se trata de

. una
geodsica

2) Si S,
y Sz son dos superficies tangentes a lo largo de una curva C
,
entonces : C
pregeodsicaen
Se# C pregeodsica en sz

52
Ej :

 Ecuacin de las
pregeodsica

las pregeodsicas simplemente se caracterizan

por kg O
=
.

Vamos a
coger
la ecuacin
que
vimos
para ky y
tomamos como
parmetro
F- u .
En vez de tener ( ult )
,
vct )
) tendremos ( u ,
vlu ) )

Nos queda que

:

drv

trdu
1

) ( DDYT (2h22
dv

( )3 ( tal trn
"

Iur
-

+ -

2ha -

fut ) = o
( igualamos la
kg a o )

Ejt : el plano en cartesianas I ( v.v ) =

( u
,
v
,
o ) queremos
calcular sus
geodsica . Sabemos
que ( ydp ) =
( lo
q ) y

Mapd = o .
Llegamos D = o =)
V = autb ( es decir rectas
tipo y = axtb ) pero
nos
faltan las rectas verticales

cte No las dan tendramos utilizar V

nos pues que
como
parmetro
= .
.

Ej : 1 el
plano en
polares
Ilu ,
v
) =
( vcosv
,
Usenv
,
o
) .
Haciendo todo el clculo nos salen las rectas en
polares .

dados vector sobre la

superficie la geodsica extiende toda la

Superficies geodsicamente completas

un
punto y un
, correspondiente se
por

Superficie

Ecuacin de las
geodsica

Partimos de ILS ) Ilutls ls ) ) I ( uocs ) )

una curva
pwametizada en
long .
de arco .
= ) , =

Recordemos el vector curvatura es E =

que

1 ?
Io o la P a
a a lo funcin del
Iap Ahora
calculamos ahora derivada E =)
=

y
= t
expresamos en

Tedro las de Gauss

y Weingarten
con ecuaciones :

( tbop ) TIP Io d factor los Para

=
papd Es +
queremos
sacar comn
pero
en tenemos ndices distintos .
agruparlos

cambiamos Iaa por Iyd ( es un ndice mudo luego se puede

hacer
)

'

(
.

) Es tbopvop
op est normal
t
Pap que descompuesto en
parte tangencial parte
=

ya y .

y
luego la las geodsica ser d '
v.
a
P O D= 1 nuestro 2)
ecuacin
pop ( caso n
para
=
+ = . . n en

darsun +
rqidausodaust = o
Ej el cartesianas I ( ) ( va ) obtenemos
'
:
para plano en vo = v
, ,
o :

dru '
b

"
= O as t

} } que
ahora s son todas las geodsica ( hadas las rectas en el plano )

: = O = bg + d
T

' ello
Dada mtrica hallar meterlos la de las Pero sabemos
una
gop pop en ec
geodsica cmo
con
podemos y
.

ahora la S es la longitud de arco ? est en las tripas de la ecuacin

que pues
:

el mdh del vector velocidad al cuadrado es

gopov
P .
Si calculamos dts ( gqgo v. P ) saldrn 3 trminos
, que

podemos sustituir
por
su ecuacin
correspondiente y ddzgop =

qquqqv.lu y
al final sacamos
que
1dg ( gopiivp ) =
O

lo cual lo la ecuacin de las tiene S la long de

con
que
se
garantiza que geodsica que es
proporcional a .
arco .

En relatividad general
la a . ser
diste t
Mu , date DD = o

Propiedades extremas de las geodsica

Van de de
" a
demostrarte "
si liiste marco lo "
ND mnima entre 2
Puntos '
Ser " ww
odlt " " .

Lo haremos ser :
que

1) Ponemos el
Lagrangian o
que
no
esperara ,
en
long .
de arco
por simplificar

2) Hay otro
Lagrangian que tambien sirve
, pero
con parametizacin arbitraria , y
sirve mucho
mejor .

3) Con el 2 ?
Lagrangian ,
recalularemos de forma ms simple los smbolos de Christoffel

Vamos con ello .

1) El Lagrangian que
me
espera es la
long .
de arco entre 2
puntos
l =
S VIV dt ,
que corresponde a un

MIP
'

Lagrangian . L ( va ,
vo
'

) = invariante ante reparamelnzaciones como sabemos .

,
escondidas en 1

dqdftl)
Las de caber
Out O
ec son
Lagrange
. -
=
.

qopi
,

atme
.pro?uofuo'utyqI=gTn.(gopIIur+gqsuoi?uuI)=FgppuP
.

caeremos
It = -

las coord son independientes

Spa
=

derivar respecto del pues

.

esto sera atroz

tiempo .

Imponemos el T sea a s decir

que la raz cuadrada sea de de forma que al derivar con respecto as
que parmetro ,
es ,
una
,
 acta como tal .

'

parmetro natural ) las

Como ahora estamos natural ( o proporcional al Sustituimos

parmetro

por puntos
en

La ecuacin nos queda dentro de

hay v UCS )
que es
gqs
: =

1dg
( gppp ) =

aqu tziap
qqffmiav.pt


gqu
P =

idqpreiip se va
pareciendo a la e. de las

geodsica .
Agrupamos :

gppe +
( asqueat.su#)iiu .

esto es un smbolo de Christoffel disfrazado .

Se repite muchsimo !!

op 2g# v. OP son
iguales ( simetra en K
y p)
y
srvo IRUP

Nos queda :
( escribiendo como la semi -
suma
)

9ps ,
P tffguptsgdutn
2%1 ) -
OP = o
multiplicamos por la inversa del tensor mtrico :

ii. +
Egipto toque -

aqu ) iii. o

2) Hay otro
Lagrangian
f- xp

que tiene
ya
en las tripas la
parametizan correcta .

L ( Ut ,
P ) =

Izgopop este
Lagrangian . nos lleva directamente a las ecuaciones de Eber -

Lagrange

Calculemos las
parciales :

% ,
=

tzoauofi
P
; Ii =

gpp
P
y
las ea del movimiento son :
tdg ( tgopovp ) = o

3) Aplicacin del nuevo

Lagrangian .
Clculo de smbolos de Christoffel

Veamos un
ejemplo
: calculemos los smbolos de Christoffel del plano en
polares .

kun ,
n ) =

tgopo
P .
Para el
plano en
polares Er vi = o
y gop
=
( tra
lo )

) tra t 07
.
11 geodsica
kruq.in
= t r ec .

/
. la ec .

para
b- .
1
Ud = u
'
= r =) -

DDI
( Ii ) =
O =)
RZ -
ddz ( i ) =
o I -
ri = o 2 a-
ecuacin

geodsica
/
la d- -2 v. % DESVO ) = o O dst ( rr ) =) ri zri
Iri
.

O =
o =
o o
-

e. -
= + + =

para
. =
De leer directamente los smbolos de Christoffel sabemos la las geodsica del
aqu se
pueden ,
pues que
ee .

para
son
tipo :

b
P
4
decir
t t
apd = o es :

rrrr ttorritpoor
'

t.tub-ut.ir
.
para + ir +
tiro io =
o

luego Noor = - r es el nico

que
no es nulo , comparando con la 11 ec .

que
nos haba salido
para
las geodsica

v. two ir
tfrooi toro i tf
O
Ahora D= 2
'
O =) c t
para u o
=
. = =

Oit
ojo ,
a la hora de leer de la 2am la del movimiento
,
tener en cuenta
que
t
2pm
io =
o
tir t
f- ir = o

'

luego toro =
Pro =

tz y resto nulos .

As se calculan ms rpidos los smbolos de Christoffel

 DERIVADA COVARIANTE Y TRANSPORTE PARALELO
del
Notacin ( cambiamos respecto kreyszig )

Notacin Todo el mundo

Kreyszig

derivada normal ;
291 E
g gop ,
JUN
corriente
y

derivada covariant
9

y el

xp ; ,

Derivada covariant

Ovo
las contravariantes de Vd Entonces derivada normal
.
Tengamos componentes un vector .

que
es una ,

= V
'
a derivar todo ( derivada covariant
) hay derivar tambin los vectores de la base
pero y para que
.

OYVU =) pero
al derivar estos vectores habr una
parte en el plano tangente y otra en el
plano normal . Nos cepillarnos la

parte normal parte intrnseca

quedarnos la la
pues queremos con a
superficie .

Partimos de v. = va .
Derivamos =

T XI
21pm t
Vd
Iap .
Ahora empleamos ,
como
siempre ,
las ec .

de Gauss Weingarten para expresarlo en funcin del tiene

y
.

O O o
( Vais tbop ) todo I, el mudo el lei
"
V agrupado cambiamos ndice
= t
pqgd para como en

sumando .

ftp..VE +
r.p.ro/xT+b.pvari
al plano tangente nos la cepillamos
parte ortogonal
,

La derivada covariant ser entonces el leer sumando

( Itp
'
En notacin moderna se escribe DPT = t
Pap
v
d) XT esto es
para
la derivada del vector
completo

la Vd derivada

trap

ordinaria
Si
quieren marcar componente 8ps

un

Vd
'
Nosotros lo llamaremos Vd ; va Vd
pop
como
p
=
Ogvut +
; p
=

, p

correccin debida los

que
a

* la derivada covariant de una constante tiene qu ser O vectores de la base cambian

Ojo
: no
por

( pues los vectores de la base pueden

variar dentro del plano tangente )
 @ -0
acosl nnbrarse a hacer
-

5
d
@
La posicin
de los ndices est forzada :
;
= 211pm t
Pap
O
y la suma con el ler

- ndice

Derivada covariant de un vector contravariante

Ahora escribimos el vector T Io El siendo el

como =
va .
concepto sigue mismo .
Llegamos a :

Va .

, p
=

ftp.tfprvr ( se
corrigen
ahora con un
signo menos
)

Derivacin de tensores general ( la idea hacer la derivada normal cada ndice de forma adecuada )
y corregir
en es

Sea un tensor mixto tipo ( 1,1 ) ttv .

Queremos hallar su derivada covariant Tty ; p
no est corregido

pop
f-
0
est corrigiendo , lo
-
"
copian ,

21

puta
@
Ttv ; p =
+
op vp
a

sup
-
- .

el ndice el ndice
dentada ordinaria para para
contavaiante covariant
=
Ttu
v
, p
Ls los ndices estamos corrigiendo
los copiamos tal cual el resto viene forzado
y luego
no
que ,

* cada ndice contravenan te t t t cada ndice covariant P t Luego

colocamos los ndices como hemos
por y por
va m va un .
.

visto

Propiedades de la derivada covariant

Vimos la derivada covariant de vector

/ tensor es la
"
derivada normal bien hecha "
teniendo en cuenta la variacin de los

que un ,

vectores de la base .

vimos expresaba ttv t

top Trv typrttr
=

que
se como
p ifgtutpm
-

Naturalmente escalar tiene ndices la derivada covariant la derivada usual S S

corregir
1
para
es -

que que ;
un no

p y

, , , ,

En notacin las de Mainardi lodazzi escriben

esta ec se como
bop ;
=
boy ;
-

,
.

y
p

la derivada Las 4 triviales la ltima la ms

Hay de covariant son
s propiedades importante
primeras y
.
:

1) Linealidad si a
y
b son constantes
( atop tbsap ) ; r
=
atop ; . tbsdp.se

2) Propiedad de Leibniz ( regla del

pmdedo )
( top St ); ,
=
Top ; r SN t
Top St ; v

3) La derivada covariant conmuta con las contracciones

tengamos un tensor TN
,
entonces da
igual primero contraer
y
hacer luego la derivada covariant ( TM ) d
g
;

hacer la derivada covariant contraer ndices ( la delta de krouecker )

y luego
con
que primero
 4) las
'
de P nulas
derivadas covariant
gop ,
g y Sap son

tpgoo
el 2
mujer corregir
ndice
P
o o

tqgrp

o
gopw IguaI
= -
- =

/ - lo le es
copiar
el ndice estamos comprendo en su
que no

el
para corregir
indices covariates correspondiente luego el resto viene forzado
lerndhe a posicin y
corrigen un un _

sist de coord
= O en cualquier

.
.

81

Sopa = t
rq Srp
-

tprsao = O
ttpua
-

rppa
=
o

t -
ndices contravaiantes

t
corrigen con m

5) Sabemos
que
las derivadas de toda la vida conmutan f
.
fy .
En general ,
las derivadas covariates no conmutan .

Solo conmutan en mtricas planas ( tensor de Riemann idnticamente nulo

)

" "

tp
hallar
Ej :
tengamos un vector covariant
tps . Queremos hallar Tp ; o , y ; ; o y
su diferencia .

Hay libros

en solo el 17 vez el resto se sobreentiende

que ponen ; una
y
.

Calculamos Tp ; o =

T -

tots esto es un tensor 2 veces covariant

,
calculamos de nuevo su derivada covariant

atrio

rpjt
Iu ( Itf rpd ( aatf rsts)

rpftsr
tp.ru =

sur
.
-

fustas = -

rpts ) .
. .

fosfatos
.

)
y - - - - -

rindes corrigiendo p
comprender tp.ir tg ; o
tp , g
coraiantes a

corregir

quita oirgts rpqtus

-
= -
+ ...

calcular solo
) la frmula Habra trminos cancelen ( los
para tp.pe ; o es donde
pande
o
(y vicaersa en .
que
se

de las derivadas ordinarias

)

final
tp.r.y-tpw.o.tn
Al donde R el Riemann
nos queda Rdpqo es tensor de

De donde vernos
que tp ; o
;
o
-

tp ; o
;
o = O
pues Rtprr = O en el tensor de Riemann

las derivadas cruzadas conmutan si el tensor de Rieman es O .

Un vectorial es cte si sus derivadas covaiantes se anulan Si tenemos VP con

componentes no constantes
campo
un
campo
.

la base
( ya que
los vectores de los
expresamos
en
polares )

su derivada normal sera un
espanto , pero
su derivada covariant es nula .
 Vamos la expresin de lo saldra el caso de tuvisemos 2 ndices covariates :
a ver
que
en
que

tope Rdxqu Tay Rdpqu correcciones Los ndices estn

tgp
2
Top t
aparecen forzados
-
= .

; r ;
p ,
, ;
o

meaiu
para
a umeuioh
para p
( copiamos el
f) ( copiamos el d)

Y si tenemos tensor contaran ante se con los ndices coulravaviantes

un
corrigen signo
-
:

'
TAP TP Raso to
; r ;
,
-

tdpp ; r
= .

,
-

Mary
'
to to = t Ro
:p
- -

; o
; ow ,
qu

Identidades de Bianchi

Cuando vimos el tensor de Riemann analizamos sus simetras .

Vamos ver las derivadas covariant del tensor de Riemann tambin tienen simetras
a
que .

mover
todos una
posicin
"
Estas identidades las tanto el tensor R hacia delante hacia atrs
cumplen Rqgqv
. como o

ppy

R
a
R
a
hacer cclicas
f
Rdppv ; ms
t
t O es
que permutaciones
= no
o
pvo ;
p pop ; y

de los ndices
que no estn dentro del recuadro

TRANSPORTE PARALELO

lo derrotaremos como

ds
1
( antes se utilizaba
pero
se confunda con las derivadas variaciones de mecnica
)

Tengamos un
plano como
superficie

P Queremos calcular vector T el En el sencillo

un
paralelo a en
punto .
plano es
pero
en una

J
la complica por ejemplo
superficie genrica cosa se
, pues
en una espera .

no tiene Sentido trasladarlo como un todo

Lo hacer vector de forma paralela travs de manteniendo

que hay que es
transportar un a una
geodsica ,
su
longitud y su
ngulo

con la geodsica .

El ser cuando haya geodsica

problema no

Si la el se mantener constante geodsica si

curva no es una
geodsica ngulo no va a
, para
una .
Derivada covaante de vectorial a lo
largo de curva
campo
una
un

Tenemos superficie y una en su interior Encima de cada de la hay vector ( campo vectorial le largo
una una .

punto curva un a

el vectorial
de la curva
) .
Nos
preguntamos
cmo vara
campo
a lo largo de la curva .

Se denota como
tdfa ( derivada covariant del
campo
vectorial aa a lo largo de la curva
)

la carta la cual tenemos la dato

tengamos ,
en curva
, que
es un

UZ

/ a
Udlt )
E- lt es un
campo
vectorial sobre la curva

lt ) = lt ) Io ( UPCH )
vl evaluado sobre la
curva

calculamos aa.lt ) Ia aalt ) Ptt ) y de

Iq Empleamos las ecuaciones Gauss Weingarten para expresarlo
t v en
ddq y
.

= .

smbolos de Christoffel evaluados

funcin del tedv ,
y agrupamos .

Sobre la curva

I
lttffopd
'

= ao.lt ) Io t
( upttt ) , t
bop ) UP A )
para agrupar
cambiamos el nombre de un ndice mudo .

fad
t.pt adlttvptttf
'

Lt )
ddq = + XT +
bopaolttuptt)

Nos La derivada de vectorial le define

quedarnos con la
parte tangente .
covariant un
campo
a
largo de una curva se como :

tpnut
tdaf = ad.lt ) + ) a. A) uptt )
evaluados sobre la una UMT )

Un vectorial aalt ) lo de
campo es
paralelo
a
largo una wwa si
tdqt = O

Una vector velocidad

curva es una
geodsica si
transporta paralelamente su

de el
Ej : transporte paralelo un vector en
plano
en cartesianas

a- CH = lt ) I. tltt Ir = lt ) i t
lttj

ya
sabemos
que (
gop )
=
( lo
7 ) y tapd =
o Entonces ad.lt ) = o a
.
Lt ) . a. lo ) se mantienen las

sabemos Es independiente de la la curvatura Gaussiana es idnticamente nula

componentes ,
como
ya . una
que sigamos , ya que
.

entre derivada de definido toda la definido solo lo

Hay que distinguir covariant un

campo
en
superficie y un
campo a
largo

de la curva .
Propiedades

El de lo de las coordenadas
para parametizar
transporte paralelo vector largo de es independiente utilicemos
que
. un a una curva

la Pues todo el clculo es tensorial

superficie

. .

vector velocidad
~
Una curva vals ) es una
geodsica ) Its ) se
transporta paralelamente

lt )
'
lo de C s H) S

es
paralelo a largo es perpendicular a

Esto
'
H)
nos
permite ver algunos transportes paralelos
transporte paralelo

. El producto
escalar es invariante bajo transporte paralelo

ILH
od =
O O O
" "
lt )

\
taI = o
aqui
.

5) =
dfiitadtf =
EEI +
oati
BTH m m

11 11

ttt

El transporte paralelo conserva el mdulo .

Es una consecuencia de la propiedad anterior .

El transporte paralelo el entre vectores el producto escalar

conserva ngulo 2 .

Lgico ,
pues
conserva .

dsica

[5%4]<90
El el velocidad constante solo la
ngulo O entre y
vector se mantiene si curva es

una
geodsica ! ! Mientras el mdbo del vector se conserva
que siempre
.

lt
( comparten la normal
puntos )
Si S, Sz lo de cada los

y
son
tangentes a largo C : en uno de

) es C-
paralelo en Se ) lt ) es C-
paralelo
en
52

Ej :
longitud del arco

# r
rc rsenol
/
=

el l
M
rtan 01
m = Si cortamos
A p - = 2 rrc =
zrrsenuf
&
-
. .
-
. .

las 8
,

re donde
.
.

cono
por m

r 4 rnrsenol
( que es
plano) y p = = zrcos 0
#
ad
8 = 2N (1 -

cos 0)
 colocamos las varillas de de forma
" "

1-7
persiana
una

dentro la superficie lo de la
Tengamos una
superficie con una curva
tangente a a
largo curva .

Coordenadas Normales de Riemann ( sistemas de Referencia Inercial locales ) ( pag .

167 de
kreyszig )

Ilya
P

Dada construir de coordenadas la
)
cualquier superficie y un
punto ,
vamos a un sistema
para superficie

depende
de P

Este sistema de coordenadas es una

parametizan local ( cubre una
parte
de la superficie )

Existe coordenadas el las las Pero smbolos

didnt
sistema de cual ecuaciones de son entonces todos los
un en
geodsica = O .

de Christoffel nulos ? las de las

son
porque
ec .

geodsica son
dtdum +
Plop ddtgt ddutu = o

nicamente la de las Geodsica el el cual hemos

Lo
que pasa
es
que ctdvt = o es ecuacin
que pasan por punto P ,
en

construido el sistema de coordenadas los smbolos de Christoffel en ese sern O

punto
.
.

urv

Entonces de ddtm = o no pueden leerse los smbolos de Christoffel ( libro de I Banner ? de relatividad general )

base ortonormal l )
>
nica

no es
cogemos
una

%

sobre la superficie

pintamos

J =
utv ,
+

la nica geodsica P tiene la velocidad inicial dada T coordenadas normales de

que pasa por y por .

Riemann .

Estamos actuando al revs de como lo hacemos habitualmente , elegimos un

punto
P de la superficie ( que en relatividad ser el
espacio
.

trapo)

construimos 2 vectores ortonormabes Es y E

Tp ( s)
y

Dado vector el teorema de existencia unicidad nicamente

geodsica
un
punto
y
un , por y
nos
garantiza que pasa una .
Supongamos que

la geodsica llega hasta s = 1

( Entorno normal del
punto
P
) .
Si no
llega entonces es
que no sirve el sistema de coordenadas .

oas
i_ se le
asigna
jiu_04.ee

Damos P la identidad los

cuenta de
que la 11 forma fundamental ,
evaluada en el
punto ,
sera
,
ya que
vectores son ortnomrales

) Sap
goplp
=

NI
Las geodsica que pasan por P ( no solo las del entorno normal ,
sino todas
)
UP ( s ) = ats
dsr
= o
Los Christoffel son nulos en el punto P

Pop
>
(p ) = o
,
lo que equivale a
291 ( P) = O
pues
las les dentadas de
gap
es Ds

sus

relacionadas con los smbolos de Christoffel .

Demostracin de las identidades de Bianchy (

pag .
229 del kreyszig )

las identidades
Rropr ; y son de Bianchi
Rtsayp ; r
t
Roaey ; p
t = O

En ni solo elemento nulo luego la demostracin sera tonteria Vamos demostrarlo para arbitrario
hay
un no una a
n
,
.

1) fijamos un
punto
P cualquiera
y construimos
en torno a el un sistema de coordenadas normales de Riemann ( SCNR )

2) cogemos el tensor de Riemann

y
callarnos su derivada covariant
Rooyp ; ,
(P) ( lo evaluamos despues en el punto
P )

Recordando la estructura tena el tensor de Riemann sabiendo que todas las M evaluadas en el sern nulas solo nos
que ,
y punto ,

Sobrevivirn las derivadas segundas

de las M

Entonces
Roqpilp )
=
atraen .

sratfofuon -

ftp.go

3) comprobamos que
Bianchi LP ) =
o

4) Comprobamos que
al
pasar
a
cualquier otro sistema de coordenadas RTP ) = RCP )
2 O . luego las identidades de Bianchi

se
cumplen en cualquier sistemas de coordenadas .
Si un tensor es nulo en un
punto entonces tambin ser nulo en
cualquier otro

sistema .

Sistema de coordenadas
geodsica polares
r S
' o
eI

De nuevo se
construyen en torno a un
punto
P .

- Es como si
fuese un
paraguas
con varillas

0 dice varilla da la longitud de varilla
f
en nos movernos en esa
nos
que nos arco
y
.

Las curvas con constante se llaman circunferencias geodsica ( aunque en

general ni son circunferencias ni son geodsica xD )
g

radiales (
O = ute geodsica s son
geodsica siempre )

Ejemplos : las coordenadas polares en el

plano I (g ,
o ) =
( foso fseno , ,
O )

la 14 forma fndamarlhl gop ,

dado
que g ya
es la
long .
de arco
e

gap
=

z ) y
en este caso el determinante

coincide con
grz

G
=

gzz Tg =

gzz
 Ahora ,
I
( f. o ) =
( Rsenfquso , Rsensq seno
,
Reos
f- ) puesto
as
para que
est en
parmetro
natural

(
1 O

( gap )
) 5g (f )
Ahora Rsen Vamos estudiar del pelo
entonces
La esto cerca
=
= a o

o qggenqayz

Desarrollamos la la de la
como
Tg =

f
-

GSR te . .
es como
g que
tendramos si fuera plana t correcciones
por
curvatura

Tgx g-
De hecho de la curvatura Gaussiana E ( P) Teorema de Puiseux Bertrand
superficie .
,
en funcin t . . .
-

Es algo que se cumple siempre , y tiene muchsima utilidad .

Ejemplo : vamos a calcular la longitud de una circunferencia geodsica prxima al polo lP)

CCP ) footy do fools ) do

3
las circunferencias geodsica miden de
Eco )
tfklpf menos ver
2nF
= = .
= .

# #
circunferencia geodsica

Tambin dandole la vuelta la tortilla calcular la

3 ( 2ns -

CCS ) )
curvatura como KCP )
podemos gaussiana glifo
a = -

, ,
3
Mg
" "
si el Paraguas
tiras radiales de longitud midiendo su longitud
poniendo g y
.

fuese plano

El A
fpfootlgdodf.rfr.fr un

CP )
ftt
rea de un
casquete geodsico ser =
...
 PROBLEMAS

1 Tenemos Ilyv ) =
( cosu
,
seno
,
v
)

vlttt ,
vltt I n =
1,43 ...
normal a la
superficie ,
evaluada sobre la curva
n

y

"

lt ) Itt ) H) nTH.it#
Si dicen nada calculamos las curvaturas desde
fuera ku
Kg
.

no nos como =
.

III. A) IR III.
'

A) 112

Calculamos :

u .
.

( -

senycosu ,
O
) v =

( o
, 0,1 )

uv-
a

La normal lyv ) ( senyo )

= = cosu ,

IIXTXXTII

Ahora evaluamos la normal sobre la curva ltt =

n
( ult ) , vltl ) = (t ,
TNI
) =
( cost ,
sent
,
TNI )

) )
" " -2
(
" "
tenemos I. LH sent cost, t I LH f cost sent ( e) t
y
= . = -
u .

, , ,

n 2
+
-

ln t ) 1
luego
.

Ky
=
Kn = -

312 tren -2
( tan 2)
-

1T y +

Ahora tenemos hallar los valores de la ( kg ) sin 1 da

pre geodsica geodsica
curva sea
que
n
para que una # = nos
-

En este la est natural

caso una
ya
es
geodsica pues
en
parmetro .

trcosv
170 Nos dan un toro Ilyv ) =

(( 12
) cosu
, ( 12 trcosv
) seno ,
rsenv )

Esta
parametizan viene de
coger una circunferencia en el
plano yz

( o
,
rcosv
,
rsenv
) nos la llevamos a

la derecha

( o
,
rcosvt R
,
rsenv
) y
luego le damos vueltas en torno al
epez

( ( Rtrcosv ) cosu
, ( Rtrcosv
) senv
,
rsenv

Calculamos los vectores del plano tangente

u =
( .
( Rtrcosv ) senv
,
( Rtrcosv ) osv
,
o
) ;
v =
frcosuseuv ,
-
rsenvsenv
,
rcosv
)

or
?
)
)
+ " '
Con esto calculamos la ti forma fundamental ( gop ) su determinante rr (R trcosv )
y g
= =

Ahora la 21 forma fundamental necesitamos la normal .

,
para ,

u
. .

= =
( cosvcosv ,
senucosv
,
Senv
)
IIXTXXTII
 necesitamos las 2 a- s derivadas
Y

Iuu =
( -
coso l Rtrcosv ) ,
-
seno ( Rtrusv
) ,
o
)

Iuu =
Iuu =
( rsenusenv ,
-
rcosusenv
,
o
)

Iw =
(

Las curvaturas dado

principales , que
gop y bqs son diagonales ,
es un
simple cociente

Kr = JI Ka = 922
b

bzz

Ki - 4. Kz = -

te
12 trcosv

cosv
La curvatura Gaussiana es el de ambas K
producto
-
=

r ( 12 trcosv )

La curvatura total nicamente define cerradas Es la de la wrvatra Gaussiana toda la

es algo que se
para superficies .

integral a

" 21
cosv
superficie D=

Kdt =

ff KVJ dutduz =

fo fo r
( Rtrcosv
-

)
r (R t rcosv
) dudv =
O

El teorema de Gauss bonet dice el tono tiene

agujero
nos
que
un

La obtener deformndolas tiene curvatura total 4h

esfera y cualquier superficie
se
,
que pueda

El toro superficie que pueda obtener de formndole tiene wrvatra total O

y cualquier
,
se
,

En el caso de
algo como 5 curvatura total -
4h

Digamos que cada

" "
te resta 4h la curvatura total Por si la esfera 15=49 se le
Xa o
agujero eso
a
agujero
con un
=
, ,
pone
.
,

180 el enunciado las coordenadas las llamaremos vt

'
Aunque en son
v.v ,
nosotros y
v

I ( 2) ( utcos senlur ) )
'
u
,
u =
( va ) , ,
o

Calculamos ( gop ) =

( to )
utp ( y
los smbolos de Christoffel no nulos son
put =
Mr ,
2
=
ut ; fut = -
Ut

tpogar

tlqgp
derivada Aqu hay
La covariant
gap ; 0%1 8 ecuaciones
-

= -
.

- -
el
para corregir
el o
, para corregir p
lo te el otro el P 1 el d solo si
copiamos
r
copiamos , puede ser 1
pues
no

la se anula
g

=/
Vamos
togr tipo geo tyirgoe 2%1
"
a
fijar primero los 2 1 ndices 2
gu O no
-

: = - = - -
=

go.pe , pues

hay ningun tal distinto de 0 .

Vamos ahora con el caso 5 solo puede valer 2 el ler sumando 1 en el 2
?
sumando
y
: en
,

. "

tipo Goa tzetgeo % % Ahora los -1

-

separamos
casos
Ser gzz gu y 2
-
-
= .
=
=
.

; ,

'

-1
gez , ,
= -

tu gzr
-

ta gu
= O

" "
O O

test trztge t
' '
) )
' '
tu
'
2 ( U
geqz
o
f-
u tu =

gu
- -
= -
= . =
-

2922--2%2
Ahora vamos con :
( al fhal del todo es cuando se
sustituyen ya
las
gop )

Ahora vemos los

Grr ;
=
gzz .
casos

2W

t ) 4212
'
Ul (
'
2 2 zv zu o
922 ;
-
= - =
=

0 O O
922,2
-
=
=

11 I ( ) ( vtcoslur ) ulsenlur ) ) Nos dan el plano

'
ur XY
v O en
polares
=
, , ,

wl = coslvr ) WZ = .
Sht
componentes contaran antes de un vector
1
U

test
smbolos de
tzzl
2

tu
Los Christoffel =
Mz =
= - Ut
,

"
Wt '
; e
=
Item t
My ,
w = O

W ~
smbolos de
Christoffel 1 arriba solo 1 luego b solo valer 2
hay puede
un un

= O
=
O

Ift Wd
f- Sent )
'

ta
'
Mart
'
W ; 2
= t
=
OGWU t w =
.
senlur ) t fue ) = O

squl.Itff.sn#)=oW?,2=2gvIttn2W
wru
osttrrwr = =

' )
tuuslur ) o
cosufmur
= .
=

La derivada covariant de este vectorial es O Campo vectorial constante de las son constante
campo ,
a
pesar que componentes no

Para hallar el vector =

WLXI twxz donde Es =
( coslur ) , senlur ) ,
o
) ,
XT =
fuesen luz ) ,
vtcoslul
,
o
)

tanto =

( 1,0 o
)
y por ,
 20 Tenemos =
( coslvt ) coslur ) Ilvy
coslue ),
senti ) ,
senlu )
'
)

la %
'
Tenemos la en carta dada v =
curva
por
UZ Ullo ) = TYY

Parametizamos la curva como UYH = Las coordenadas de P vilo ) = o

TYL .

P
un
{ urltt = t

Esto nos da el punto

inicial del
transporte paralelo

(Iu ,
o
) =

(t ,
o
,
t ) ( F- o en nuestra
paramerizacin )

Calculamos los smbolos de Christoffel el

con
Lagrangian :

" "

Puv =
pw = -
Tan ( v ) ; T =
senlu ) coslu )

"
( t)

{
v - O
Las llevan las derivadas de la Hay evaluar los smbolos de
ecuaciones de
transporte paralelo curva .

que
uz
,
(f) =p

Christoffel en la curva Volt )

Pwv =
rwv =

tantra ) ; rwv =
su
(E) coste)
'

(d) t
( sen # nos
(E) ) wr = o ddttf +
f- who

} { tenemos un sistema lineal de ecuaciones diferenciales

?( )
'
,
ddvqf
( ) tan w
-

wa o o 2
incgnitas
=
-
o con

wrtrwt
=

t tu

v
'
.lt ) Ult )

(i ( i) vt
'
Resolviendo obtenemos Wtlt ) a cos ) tbsen una vez conocido W conocemos = 2 DDW leyendo del sistema
ya
-
=

WYH = tasen (t) .

rzbusft )
Las condiciones iniciales

Las uustantes a
b estan fijadas por WYO ) WYOI nos vienen de saber el
y y
vector vamos
que
a

enunciado lol
kilo
) XITW 40 ) XI WYO )
En el dicen
nos
que
=
luego =
O
transportar
{ WYO )
=
ponemos
"
O 1 = 1

t
las ctes yb b
nos queda entonces que a son a- o =

y
-

Entonces el dado
transporte paralelo viene
por

weltt = -

Ezsenft )

WYH =

coste )

' '
IH ( WY XI
'

tcosft
'

1)
'

) WI
'
sent
) ( cost
=
( w XT t w I t t = -

, ,
 i ?
Ejercicio : cuntas geodsica hay entre 2 puntos de un cono

Pues
depende
del
ngulo
de
apertura del uno

En entre nicamente
un
plano ,
2
puntos hay una
geodsica .

TREN
"

poco el
Abrimos los estan en esta zona 2
geodsica el lado izquierdo el derecho
puntos que pueden ir
por
uno o
por por
un
. ,

la .

cono visto desde Y esto , z puntos son el mismo

arriba

Si el de donde
hacemos cono un
poco
mas piwcb aparecen nuevas
posibilidades geodsica hay ,
zonas hay 3 geodsica .

TEOREMA DE GAUSS -

BONET ( No entra en el exmen , pero es til )

A Gauss le los de
.
preocupaba sumar ngulos un
tringulo geodsico

En el
plano sabemos
que no
Ftc a +
pts-7

En circunferencia tringulo
1 tptt 312
a
geodsico
=
una m
,

En una superficie arbitraria , supongamos que cogemos un

tringulo geodsico

la medida de
Gwss
ffttzd A
resultado 8 de los del
obtuvo el
otpt
-
R =
La diferencia entre sana ngulos tringulo y
Te es una

la curvatura total .

Ej : en la
espera atpt 8 -
M =

tu 1g HRRZ
pues
la curvatura
gaussiana es constante
y
sale de la
integral .

Bonet generaliza este concepto para polgonos

wwilineos ( sin
que tengan por qu ser
tringulos geodsico )

Demostracin del teorema

te lo demostramos suave cerrada

para
una curva

:
tth "

" * d T '
"

" d
M "
" " " " " " " " m 4 lm " " " " " 4h " " " "
"

y de forma normal .

El teorema Bonet dice

fykgds A
de Gauss 28
que ffpgkd
-
nos t =

en
el caso de
tringulos gedesicos
 a)
Yo

"
la I (
lo de de modo
( gap )
'
le
superficie sistema coordenadas ortogonales 2)
paramemizamos u u
con un
que
, =

construimos En =

tu z =

I = Ex eI base ortouonnal de vectores

que
hemos construido en cada
punto

de la
superficie :

El teorema de Gauss - Bonet se reduce bsicamente a

probar
OT .

T -

O .

OAF =

te . Aqu no
hay tensores
,
todo

es orto normal . ( pero se complica)

3 ,
lo queremos
expresar en su
propia
base ,
pero
como eI es unitario ,
su derivada es
perpendicular a l .

( componentes solo en r

eI )

y componentes
-

II. =

eilei
( 3 .

+
( III. f

as
L ( E) gtp-39.LI sioentemente al

+
multiplicar escalar mente esto
= :

por
.
.

OL
gtm

bgtfn la
reforma
=

empleando se fundamental
.

Ahora la otra
parte :

O .
Ir =

I =

t.gr IRI
para
calcular esto , tener en cuenta
que
Ir .

ir =
o .
Derivamos respecto 1

In .

Ir t Ir .

te In
Ir =
XI .

Irs pero Ir .
Ir =
gee derivando este respecto 2
y
-

r .
X t Ir .

r =

OL y por
tanto u Ir .

= .

21291 2
ZU

r
as
ftp.t
entonces
.

y sgqaum
.

tanto la ecuacin buscada es

y por
, :

ftp.t?g9uzneItbgeIrT
el las de Gauss
qq.in = -
este es
analog a ecuaciones
y Weingarten ,
dadas
por .

qs
'
=
Pop Is t
baps
para
bases naturales
Ahora tenemos encontrar la curvatura trminos de e eI
que geodsica ,
en
y

4
Seala est la En de de la estar dada la base annamae de
una
que en superficie "
tanto cuna

la
superficie ( que nada nene
que
ver .

) o
la curva
) ei

I. ls ) cosas ) eI t Sen OCDET El problema ahora el se muere la base tambin

es
que
= :
pero
.
,

( xi )
Kg
=

.

= -

seno ei + caso I tcoso eI + seno ir

Ii
x =
( eI x eI ) xxi = .
seno eI + caso

Ahora hacemos el predicho escalar con

Tener en cuenta eI L i ser unitario Eso nos anula algunos trminos
que
:

por
.

Kg
=
serio t cost -
saio eI .
I + cojo I .
eI

Como .

= o derivando I .

te .

= o entonces i eI .
-
.
eI .

entonces
Kg
ET En el ler tema de wwas O los vectores de la base estaban fijados
kg
=
-
=
. , , pues

Calculamos la integral de
Kg . te hacemos la del ri sumando
fye
.

ds =

fy E-
(sal vi +
T ii ) ds

fgeT.az#edu1tfeI.?guIdu2 esto no es ms
que
el teorema de Green en el
plano

Qdy
ffp (2 2 ) dxdy
deca tenemos
fgpdx
Nos Aplicando esto entonces
que
+ = -

. :
,

freiirds ftp.ffeioeie
aaeiyfduedur
) Ir (
ei
ffr ( S S S 3 duda
.
= .
= -

lo vimos al
es
principio
:

que que

tzdt
fy eI rds
ffptagdutdur ffpbgvgduldur ff
.

= = =

La otra la integral
parte
de
fyoids Opnae Oiniual 21
= =
-

Con esto demostrado el teorema de Gauss Bonet

queda .
Ahora el wrvilneos de
vamos a
generalizar teorema
para polgonos en
lugar unas .

Teorema de Gauss Bonet polgonos curvilnea

para
-

53

9
f -

tt
Sea curvilnea O Soa Sea Suponemos que este est dentro de
csn a
polgono
=

polgono
un . .
= una

superficie amada

fykgds tffpkdt oj (3

del
El teorema nos dice
,
=

,
-
l n .

2) n ME he de vrtices
polgono para tringulo
etc , )
51 Sr 53

fSo
Oids t Se t
fdst Sr +
fds . -
Hay que
sumar los ngulos externos
que
varan bruscamente

Se 52

s t
Setszt . . t Sn = 21 son los ngulos externos
,
que
se
Sj
relacionan con los internos como
dj
= M -

Sj

Caso
particular geodsica ( sus lados son
geodsica) Kg tanto nos
queda
ffakdt qi ( 2) n

polgonos o
y por
: = = .
n .

j -1

Ejemplo 1 :
tringulo en el
plano

n =3
q
t.co ( pues estamos en plano ) Entonces el teorema nos dice tortas ( 3- 2) 1 M
que de
un .
= =

% (
de
)

el
Ejemplo 2 :
polgono en
plano
n = 6

JY
el
-

To Eso pues seguimos

en
plano
Uds 93 (
) 01

Entonces 2)
de tdz t d
3
t
ay
t
os t 46 =
(6 -
Tr = 4N

Enlace con
topologa

Podemos descomponer ocho el teorema cada de los

espera tringulos geodsico y aplicar tringulos y
una en
,
a uno sumar

D
 PROBLEMAS DEL CURSO

1
a) Reconstruya la IRZ curvatura KCS ) % (s ) efectuando las la
y dibuje
> o
curva en
cuya
es
integraciones en
=
,

%
et
.

variable s la
y posteriormente reparametizacin s = .

Sabemos
que ,
en 1122
,
la curvatura KCS ) nos indica cmo vara el Angulo O
que forma el vector velocidad ( Tangente ) de la

de CS )
por longitud KCS )
curva arco . =) =

Entonces dado la curvatura explcitamente esta expresin

,
que
conocemos
, integramos :

1g =

% do = dgsn
o = lucs ) ( Nos olvidamos de la de de integracin
, que
nos indicara la rotacin de

la curva )

Una tenemos el los determinan la

vez
ngulo ,
sus
proyecciones
en
ejes e
y
nos curva .

ICS ) =

( feos ( OCS ) ) ds
, fsen ( OCS ) ) ds ) ( sin considerar las otras 2 constantes de
integracin que nos diran dnde esta

trasladada la curva
)

Entonces nuestra curva ser Ics ) =

( feos ( lnls ) ) ds
, fsenllnls ) ) ds
)

resuelven

gtehfls
Las se mediante cambio de variable
integrales un

fetcosltdt
dt.tn
)
1) fcosflncslfds .

{ ds .
La integral resulta Ahora
integramos por partes

etsent
} fetsentdt
llamando et du etdt
Integrarnos
de el E sumando
v. nuevo
por partes
= -

v =
sent dv = costdt

etcost
+
T
llamando etdt fetsentdt fetcostdt
}
u e du = =
En definitiva hemos llegado :
que
= a
-

.
,

v = .
cost dv = sentdt

etsent tetcost
fetcostdt = -

fetcostdt
fetcostdt =

Izfetsenttetcostf deshaciendo el cambio

1- = bucs ) fcoslencs ) Ids =

szfsenflncslftusllncs) ] )
Para la de la otra I forma
y llegamos
de de similar
integral componente se
opera
a :
,

2) fsenf.lu Cs ) fds =

szfsenflnls
) [ lncsjf ) ) .

los
que
tan solo difiere en un cambio de
signo en el coseno

Entonces la curva reconstruida sera Ics ) =

fsenfln
] tus
[ lucs
( s) )

] ) ,
szfsenflnls
) [ lnlslf ) ) ) .

los
 0ft )
difeomorfismo
-
%
et

t.tt/yIlt)=zm(senflnceIftusllnce
-

Ahora tal como nos dicen reparametizamos como s =

Esto nos lleva a :
y
,
, .

T FTYY FTYY FTYY

usllnce
-

) ) ,
sentence1) -

D )

I ( sent
qcosft
sent
)usft
E) ) )) E ( rrseut
"
Ittt
-
.

-
.

-
.

E -

-
.

q
=

rrcost) ,
-

t ( senx -
cosx
) =

tfenxicosx) =

t ( senx -
cosx
) =

tfenxicosx)

T
l
" %
) (
"
-

Ilt )
te ( sent cost la Ys Yet %)

esta
forma de curvatura K
-

= -

es nuestra curva con =

trata de circunferencia pero cuyo radio

Observamos
que
se una crece
exponencialmente espiral logartmica

u
b
) ( 1/2 l l
)
y (
Calcule la longitud de de dicha entre los -42 )
arco curva puntos
.

, ,

La longitud de la
podemos calcular empleando tanto el
parmetro s el T en
parmetro natural
arco como
parmetro ,
aunque

es trivial .

Los s T definen cada de ellos sistema de coordenadas intrnseco la Es decir cualquiera

parmetros y
nos no un a curva .
,
un
punto

( x ,
y ) visto desde fuera ,
tendr un
valor coordenado asociado a S
y
otro valor asociado a T .

(y solo un nico valor ,

si la una no se

i y,
corta
)
el
punto ( 42 -42 ) :

-
,

min
-
si lo meternos dentro de la curva Ils ) =

[ senfln ( s ) ] tus
[ lucs ) ] )
,
szfsenflnls
) [ ) .

los lnls ) f ) )
szfsenlenlslftusllnls D) =

t sfsenlencssftusfhislff =
1

tenian "
te
tfsfsenqencsy
asqencsyf ; .
=

{
sqsenqaoy .

asqaoyz =
,

corresponde a sit

%
( sent )
'

t
. si lo metemos dentro de la curva Ilt ) = .
cost
,

t
-

sent =
%
Tendremos
te corresponde a ti =
tf
%
et
-

que # y = -

%
 el
punto
f- EE )
,
:

xn -
-

-
si lo meternos dentro de la curva Ils ) =

[ senfln ( s ) ] tus
[ lncs ) ) )
,
szfsenflnls
) [ ) .

los lnls ) f ) )
en
szfsenlencslftuslhs D) = .

{szfsenlencslf
tendremos Sr l
que corresponde a
=

uslhis D) =

I
" %
. si lo metemos dentro de la curva Ilt ) =

te ( sent ,
.
cost
)
%

%fast.eu

t eI

t
-

sent =

4
SR
Tendremos corresponde
que a =

g-
et
.

Entonces la de entre dada bien

longitud arco esos 2
puntos viene
,
o
por
:

:
Tr

fdt III. A) 11

bien
por [ ds 1=9 -

se l = en -1

2 Demuestre que la curva en

1123 dada
por
Ilt ) =
( TTVI Sent ,
zcost ,
Bt -
Sent ) es una hlice circular ,
y
encuentre

3
una isometra
propia
de IR
que
lleve la hlice a la forma ELT) =
( acostasen
bt )
,

Una hlice circular es curva curvatura constante torsin constante Vamos calcular la curvatura la torsin de
una con
y . a
y

la nos dan
curva
que

"
III. Ct ) x I A) II
La curvatura E viene dada K Calculamos el vector velocidad aceleracin de la
por y
curva
=
- .

III. ( t ) 113

Itt ) =
( 1 t tcost ,
-
rsent
,
VI -
cost )
su mdulo es III. LHII =
3ns 'T t 253 cost t 4 t 4 settcost -253 cost

252 la
longitud de arco

proporcional
= a

( VI Sent cost ) III. ll

"
mdulo
'
I l t) = -
-2 Sent
su es Lt ) = 2
, ,

I.lt ) la
( )
"
Como el parmetro t es proporcional a la longitud de arco t Ct ) velocidad perpendicular a aceleracin

III. LHHH
"
III. I LHII LHU 452
"

luego lt ) = 2k 2 tanto
por
=
.
=

42T
ke =

K =

curvatura constante
(zrzp

dlt ( " "

"
)
La torsin viene dada zlt )
'
el denominador lo conocemos falta conocer el determinante
ya
=
nos
por
.

III.
"
x I 112

( -53 cost Sent cost

)
" '
Para ello necesitamos la 3 a- derivada I ( t) = 2
, ,
 1T Bust -
resent VI -
cost Frtfz 1 O VI

cost Sent cost Sent

'

detlx I ) VJ Sent
" ' "

,
I ,
=
. -2 .
VI sent -2

-53 cost resent cost -53 cost resent cost

cost Sent 53 -53 cost -8T ZCT ) 1

-2 sent -2 -2 - 6 =
-8 luego zct ) =
=
-

32 4

2 Sent cost -53 cost resent

- -

= - zcosrt -
2 serit = -2 =
-253 set -
253ns 'T = -253

Tenemos una torsin constante

negativa .
Como la curvatura era constante
,
la curva es entonces una hlice circular ( a izquierdas )

Vamos calcular la la Torsin de la transformar la primera

cuya forma queremos
ahora curvatura curva a
y
a .

ECH =
( acost ,
asent
,
bt
)

Calculamos las derivadas vamos necesitar :

que
a

EH =
fasent ,
acost ,
b
) IIEKHH = TI = de luego la
pwametizacin es
proporcional a
la
long de arco .

"
E
facost ) HE A) It
"
IH =
,
-
asent ,
o a

I. A)
( asent )
"
= - acost o
, ,

Con esto calculamos fcilmente curvatura torsin

y

EH
" Ellttx E "
A)
HCHXEKHH
11

LHNI lttll
"
la HE
'
) la de
parametizacin
es
proporcional long
=
= como a arco
pero
-

HHHP

" El THH .

HEYHII HE "
a) y
tzlt )
BT
entonces = = =

HE LHIP' III. ltyp

la torsin
y para
:

.
asent acost b

Elt ) = dettxTI.it# donde III. I

"
IR =
III. IIIItt "
=
( citbr ) ci detlxiix
"
I
"

) acost asent o
y
- -
=
,

III. XI
"
IR asent acost o
.

acost

asentarlo
- -

cost sent
b
sent cost
= b luego Zlt ) =
atobz
asent .
acost

La teora dice tenemos definidas el intervalo I las condiciones

si
que cumplen
nos 2 curvas en mismo
que
:

a) Klt ) = EH ) b) zlt ) = ICH c) III. HIII =

IILHH

Entonces existe mainica isometra propia ( con determinante 1) nos llena de la la otra
que
t una a .
Entonces vamos a
igualar las 3 cosas en ambas curvas :

f- a-
aI
kltt = Elt ) =) = Dividimos la 1 a- entre la 21 - 1 = b = .
a

tb 2

ZCT ) =
Ict ) =) -

f- =

cita b
/ su " " " " es " en la "
t.ara-aa.at#a=ayb=.a
niyt , " .
#* , =
, ora =

Comprobamos que
adems se
cumple la 3
a-
.

Entonces la hlice es de la forma ELH ( 2 cost 2 sent -2T ) de radio 2 de -4T

paso
=
, , , y

Ahora calcular isometra nos lleve de forma la otra

propia que
una
queremos
una a .

velocidad
Observemos
que ,
como la hlice es la misma
, y
se
dibuja igual ( con el mismo vector
) ,
entonces bastar con calcular

el hiedra frenet de ambas hlices calcular la transformacin lleva de sistema al otro

punto cualquiera
de en nos
y que
un un .

en t = o

en la curva IHI en la curva Elt )

vector
tangente unitario COI =
Ey FLOI =
Ez ( O
,
1
,
-1
)
F . It
III 'll

vector normal principal pito) =

( O
,
-1,0 ) LO ) =
te , 0,0 )
T
F =

III. '
ll

Ilo )
vector binormal =

( te -

1,0 .
-

VI -

1) CO
) =
VZI ( o
, 1,1 )
I = xp

(53+1,053-1)
de la cura Ilo ) =
(2 0,0 ) ECO ) =
( 2,0 o
)
punto , ,

La transformacin entre las 2 hlices es de la

forma LH = RIH ) t . Llevarnos ambas hlices al
origen
del
parmetro
t

=3
B

rr
H
Eco)
Flt ) . =
RLICH -
Ico )
) E Ct ) = RIH ) + ELOI -
RILOI

el T de la ILH Ilo ) Calculamos el hiedo de trenet
cogemos punto curva en ese
-

o
punto
.

(f)

Cogernos
el mismo
punto F- o en la otra curva CH Eco) . Calculamos el tiedro de Frenet en ese
punto

Entonces la rotacin del Triedo ser la rotacin de la hlice .

La la base devuelve coordenadas la base

que aclia coordenadas
matriz R sobre cannica
es una
aplicacin en cannica
y
en
 B B-

{ Fiotpcoyblof TO ) }
ftcoypol

{ xiy
Izf , ,

bi bi bi E E E
Los cambios de base versiones son
para :

bi =
Aiij con AII =
[ Flo ) ; pico ) ; Ilo ) ) =

0iibj-0_A.in ik =
0 IAJK t.0.tt
} ik
= Iii ej con ATI =
[ ) ; pico
Eco
Eco) ; , ]
luego la rotacin 01 = .

t = I. At =
R ( rotacin de la hlice )

:?)
:
O 1 O

3 Considere la curva Ilt ) =

cost
,
1-

Sent ,
-

Igcost ) .
Demuestre
que
es una circunferencia y calcule su radio , su centro

la del el
y
ecuacin cartesiana plano en
que
se encuentra .

Demostrar que curva es circunferencia es comprobar tiene curvatura constante torsin nula vamos verlo
y
una
que
una a
,
.

F
I.lt ) =

f- 4g sent ,
-
cost
,
} sent
) =) III. LHII = 1 luego
ya
est en
parmetro natural .
=

ii.
ftsust ,
sent
, quot ) =p

( 4g sent ,
cost
,
-

SI sent )

La curvatura
,
al estar en
parmetro
natural ,
coincide con el mdulo de la aceleracin
K = II 11=1

detlx ii. Ii )
La torsin en natal viene dada rct ,
,

en nuestro r detli ii. )

parmetro por caso
= =
, ,

III. It

tgsent cost
Insert
-

45 cost sent
2g cost O la 1 a-
fila la 3
Son proporcionales =) 2=0
-

=
pues y

tssent cost -

Issent

Como la curvatura es tz = 1 cte la torsin es nula 2=0 se trata de circunferencia El radio de la circunferencia
y
=
una .

viene dado por

el inverso de la curvatura
f
=

tz = 1

El centro de curvatura se halla como Icc = I t

Ftse en nuestro caso no
depende
del
punto
s
y
Ia =
( O
, 1,0 )
Nos hallar la ecuacin del el Debemos el binormal
imponer ortgonalidad
queda cartesiana plano en se encuentra con vector
que
.

?
punto de la curva

( I Ico ) ) o Ilt ) ( x z )
y
.
- = =
, ,

FX
w

vector genrico de una

-

b- ( en ) f ) ftsust )
natal To
Hallamos sent cost
Is sent sent
East
=
parmetro Es x
= -

.
, , , ,

I -

f- } ,
O ,
-4g) constante ,
como deba ser .

y Ilo ) =
( 4g ,
1 , -3g ) es un
punto cualquiera
de la curva .

f- ( })
la
Entonces o
-4g) x
4g y
-1 z t = O de donde sacamos ecuacin del plano :
. -

, , , ,

4 Sea S la superficie parametizada Ilyv ) =

( vcosv
,
vsenv
,
U
2) ( O su
,
Os va 29
) y
sean Ce
y Cr
las curvas sobre

S dadas
por ( ult ) ,
vlt ) ) =
(T ,
Tte
) y ( ult ) ,
vltt ) =

(T ,
3- T ) respectivamente . calcule el
ngulo que forman

dichas en el P se cortan sobre S:

curvas
punto en
que

a) Encontrando de las IR ?
parametrizaciones curvas en

U V U V
m m m ~

Gi
Tenemos 2 curvas
que nos dan en la carta .
Llamemos RT =
( t.tt 1)
y
tz =
(T ,
3 - t )

v ri
-

Iluiv )

.
U

La de las 1123 vendr dada al sustituir la ecuacin de las sobre la

parametizan curvas en curvas
superficie

Curva RT sobre la superficie I ( ultt ,

vlt ) ) =

( tcoslttt ) ,
Tsenlttt ) ,
T
2) = RT

Curva Es sobre la superficie

I ( ult ) ,
HH ) =
( tus ( 3- T)
,
tsenlzt ) , f) = Es

Ahora calculamos el
punto
en el se cortan igualando ambas curvas
que ,

Tcoslttt ) = tus l3 -
t )

}
tseqqttt
) =
tsenl3.tt Tte =3 - t T .
1

el ngulo que forman las curvas en ese ser el

ngulo que forman sus vectores velocidad en dicho
punto
punto
.

Derivamos ambas curvas ( en

1123
) :
 ( coslttt ) Tcosltte ) )
'
F =
-

tsenltte ) ,
senlttt ) t
,
2T

T =

( los ( 3- T) ttsen
( 3- T) , senl 3- t) -
Tus ( 3- T)
,
2T
)

Evaluamos los vectores velocidad en el

punto
F- 1 :

( 2)
'
RT (T -

1) =
cos (2) -
Sen
(2) ,
Senta ) t cost ) ,

T ( El ) =

( los (2) t senlr ) , senlr ) -

los (2) , 2)
lte ) .
t.lt 1) 4
El ambos estar dado I
ngulo que forman rectores
por
cosa = = =

'
6 3
t.IE
'
IRT ( f- 1) l f- 1) I
F. row
rad
'

luego de 0 84

b) Operando en
la base coordenada del
plano Tp ( s ) tangente a S en el
punto
P .

Hallamos los vectores definen la base del de S Todo punto genrico de coordenadas
que nos
espacio tangente para v.v .

XT =
3 =
( cosv
,
senv
,
20
)
la base Iv
Tu
luego ,

Ir =
OGU =

( .
usenv
,
ucosv
,
o
) es
ortogonal

q
(
4ft 1

)
O
Esto nos define una mtrica
gap
=
Io
Ip .

( gap ) =
que es
independiente de v
y
es
diagonal
o uz

Tpls )
V

ft ir
{ !
ftp.qt Itm
Las ) F-
curvas
que
tenemos son RT =
,
y
=
) que
se cruzan en 1

U V

I.
'

y
sus vectores velocidad son RT =
( 1,1 ) y
=
(1 ,
.

1)

La mtrica en el
punto
de coordenadas P
( Uit
,
v =
2) viene dada
por
gopfy
=

( 50
Y )
q;
Entonces calculamos el ngulo entre los vectores velocidad con esta mtrica como :

P
caso
gop hora

quriuqvggoe
"
0=0.84 rad
4T }
= oso =
=
= como antes .

g g

Es si esthiesemos calculando normalmente el entre 2 vectores dentro de la carta solo curvado

propia
como en
ngulo ,
,
que
un
espacio

hay que la mtrica de las coordenadas

y por
eso
emplear ,
que depende
 5

Calcule la de la ) ( Rlulcosv Rlu ) Hlu ) ) Rlu ) Hlu )

a) primera forma fundamental superficie pararnetizada I ( v.v senv donde
y
=
, , ,

Son funciones dadas .

Calculamos los vectores del

como
siempre plano tangente
:

Iu =

S =

( R .lu ) cosv
,
R.lu ) senv
,
H.lu ) ) ;
Iv =

f- Rlu ) senv
,
Rlu ) cosv
,
o
)

Hacemos los escolares hallar la ta forma fundamental

productos para :

Iu .

tu = Rtut t H
'
lot ;
v
Iu .
=
O ;
Iv .
Iv = R Cut

Rivi nyup
( pntup )
+

Observamos la mtrica la
(gopf
de coordenada v.
que
no
depende
.

b) Demuestre de modo )
que
dicha
superficie es de revolucin
y
se
puede reparametrizar que cjul ,
T = 1
5, ftp.galu , D= O

y cjzrl ,
i ) sea funcin nicamente de .

Para demostrar
que es una
superficie de revolucin ,
hacemos V =
o Ilu ,
o
) =
( Rlu )
,
O
,
Hlu ) ) esto nos define una curva

el dibuja el vector velocidad dado

plana en
plano xz
que
se con
parmetro u un un
por

Itu ) =
(R
'
w ), o
,
H.lu )
) y
de modelo HIUN = R.luttH.lu#

La funcin Rlul nos da la coordenada X la funcin Hlu ) nos da la altura de la curva

y

Observamos que al variar el

parmetro v
Ilu vo ) =
( Rlu ) cosvo Rw ) senvo Hlu ) )
la alta de la wrra
permanece

fu.FR#tH2dv
, .

invariante las lo hacen rotar Vo del eje creando as slido de revolucin

componentes es
ngulo z
ey que respecto
con un un
,
y ,

Vo la la velocidad la coordenada intrnseca esencialmente la

dibuja misma
-

curva se con misma

luego es
.

,
.

kopf
o

la curva dada
por ( Rlu ) ,
o
,
Hlu ) ) es la curva
generatriz de la superficie ,
lo
que vamos a hacer es
porametizarla en

longitud de arco ,
de modo que J =
siendo uo arbitrario
( hay infinitos parmetros naturales )
ltxtulll O
pues v
=

Con este cambio de coordenadas (y T se mantiene

) ,
la meta se transforma como
cjap =

tftflffttp
gpo no depende
de T

luego
5 gutful as t.gr#?fI ( pues los con
atp son nulos
) oju
guffzft.gr#tf)2
gap
= . =

u ,
 aju =
guffrftj pero If =

y qu =
R.lu#t2 dada nuestra
parametizan por el ,

teorema fundamental del Clculo .

( R Cut tlut ) qq.gr#upy 5

.
Entonces
1
oju pretendamos
=
= como

Ifft
3 gieffazf
2

GRUOET
'

Y Jrr
=

Su
+ =
) t
grzfigf)
En =

gzz
=
Rlu )
pero hay que
sustituir

O U no depende =
1 v =
T
pues pues
U en funcin de las nuevas coordenadas .
de T

Pero en la
reparametizan ,
v solo es funcin de J
,
no de T J = TLU ) U =
Ul ) =) gira = Rlul ) ) N
= )

a) Calcule la
primera forma fundamental
de la
superficie parametrizada I ( ut.lt ) =
( uttur ,
v
'
. va
,
v
'
ur )

Hallamos los vectores del

plano tangente Io =

01
Ir =
( 1,1 ,
Ua ) ;
XT =
( 1
,
.
1
,
v
'
)

Haciendo sus
productos
escolares construimos el tensor mtrico o es
forma fundamental
gqg
=
Io .

x-p =

(2 )
utultt
ztfuuyz
b) la tensorial calcule la efectuar la
primera forma fundamental
Utilizando al
regla ,
reparametizacin

' 2
ttf
U =

51=-2 ;
u =

Sabemos la 1 a-
forma fundamental es tensor
por
tanto bajo cambios de coordenadas ( reparametizaciones ) se
que y
un
, , ,

Transforma como
g-ap =

E
quiso ygr
.
Podemos identificar Iffy =
Jsa
y rttfru
=
Jrp como las matrices

del JS la
ggr Jrp
cambio de coordenadas Reordenando
Jawbianas
Jopggo cjop J

ojop
= =
a .

( JS a ) .

)
t.MY .
En forma matricial tenemos Ir =
( GJJ = JTGTJ pero
J es simtrica
y
G tambin

tt
tzfitu 2) tu (a) 2- ( urp )
G- = JGJ =

( ( urp -
( uejg y +
g-
,
_

uzyz
) Pero no hemos acabado .
la ta forma fudamental I
g- op debe

estar funcin de las coordenadas Io de las antiguas va Para ello hay que acudir las de
expresada en
,
no . a ecuaciones

Transformacin va =
Uolp ) Llegamos a :
que
.

f)
[
E
1
ttyly
tutor -

g-ap
= =

tqnvr 1T
#
 calculando I ( fundamental
c) resultado obteniendo la
'
el ) primera forma
Compruebe r de esta
,
y
a
partir reparamehizan .

( ttfvtp
En
)
lut
'
r ) ut ( r ) las coordenadas las
) Simplemente sustituyendo antiguas por
nuevas
-

=
, , ,
.

Ahora calculamos =
( 1,0 tt ) , ; E =
( 0,1 ,
-

Izr) y
calculamos
ojop
= En Ep .
.
Nos sale :

1 +
tyl 't tzueur disponemos de
{ )
deba
.

tenamos Muchas
5op
lo Ser sin
=
que
es mismo
que ,
como . veces , embargo ,
no

qq.ge
,
-

q_u.su y +

la superficie tanto no
podemos
calcularlo as
y por
.

7 Sea la base de IRZ constituida

por
los vectores Ir =
( 2,01 , Ir =
(t , t ) .

base deal
a) Calcule los vectores de la
,
Ir ,
Ir :

Los de la base dual Io Tales Io Se montando de

vectores son aquellos que
.

Ep =
Srp .
puede hacer un sistema ecuaciones
,

lo ms sencillo los vectores de la base forma de columna

y ponerlos
es en
pero , coger

A =
[ Iet Irt =

( 20
gl ) invertimos la matriz t =

(
t.tl ) Leemos los vectores de la base dual

segn sus filas

It =
(% ,
-42 ) y
Ir =
( o
, E)

Comprobamos que :

Il .

Ir =
( 1/2 ,
-112 ) .

( 2,0 ) =
1
;
It .

Iz =
( 112 ,
-42 ) .

( t , t) = O

I. XI =
( o
, E) .

( 2,0 ) =
o
;
Ir .

Ir =

( o
,
E ) .

( EE ,
# =
1

Io J est
Luego se
cumple
.

x-p =
Sap se
supone que

dado en la cannica

y
b) Calcule mediante
productos
escolares las componentes contravariantes Va del vector T =
( 3T VI ,
Vz )

T T Va Ia
"
Si escribimos como
=
entonces V sern las componentes contaran antes Las se pueden sacar
.

componentes

multiplicando los vectores de la base dual de forma Va = Io T Entonces

por que
.
. :
,

( 1/2 1/2 ) ( ) Ir
2
Vt = It J =
-
.
3+52 VI 3/2 V = P =

( 0,52 ) (3+52,52) =
2
;
.

=
.
.

, ,

Luego Vt =
3/2 ,
V 2=2
 Calcule mediante escolares las covariates
c) productos componentes Va

Ahora escribimos el vector como J =

VaIor y por
Tanto sacamos las
componentes covaiantes como
Vd = IX. T

Ve =
Ir . =
( 2,0 ) (3+52,52)
. = 6 t 252
; Vz = Ir .
T =

tz ( 1,1 ) .

(3+52,52) = 2 t
Ira

la
d) Compruebe relacin Va =

gopvp

construimos el tensor
gop
=
p
Ia
.

( %)

Podemos leer va
VP de forma matricial De forma TGT donde T vector las componentes
gap que
=
.
=
es un con

covariates Va J vector las centraran

'

antes Vd
es un con
componentes
y

( seitrffrr ) ( :)
"
secure

.

8 Calule
y simplifique
las
siguientes expresiones ( EP es el tensor de Levi -
Civita ) :

a) si .

J da = 81 t
822 = 1 t 1=2
,

b) Su P Spd . La delta de Dirac es nicamente no nula Si sus ndices toman el mismo valor .
en
cuyo
caso vale 1 .

1
Sea So 224 1 el el
er
Si sumamos en
p

Go t X solo puede valer en 1 sumando 2 en
segundo ,
primero y

1 1 2
quedando
t =

EOP
c) Epa

El tensor de Leni .
Cinta viene dado
por Eap
=

{
= -

Ere subiendo le

con el
2

tensor
ndices

mtrico

EN
'
Para EP la mtrica
celular su
expresin coulravariante necesitamos conocer conocemos
gol GP Eop
=
que

no
,
.

si el tensor
gop
=

(9gal
qjr ) ,
invirtiendo simblicamente gap =

;)
tqf922.jp

Eeqrgigagtqqqgt
Vg ( g
cjogpqqon
EOP
jogtp )
' '
Entonces =

gtudgtsqn
=

g. gtf En
-
t
g. OJP
-
=
GZP .

= O =
Ahora podemos calcular sus elementos :

Tg ( g En
( gu gu )
"
" L
gag )
" "

gu
"
E =

g
- = o =
Tg g .
=

r
- g
g

=
En Vg ( gtrg rg ( gergrr grrg )
"
I
jng )
' "
= .
= .
En .

.
.
= o

- rg
=

g
-

Y as calcular lo queriamos
ya podemos que
:

EDP EREZ
"
Ya al revs
Epa
=

,
t E
Eez =
-
1-1 =
-2
que
si a = 1
, p
solo
puede valer 2
y ( el resto se anula
)

rg rg Yrg vg
-
.

EOP
d) Epv
d V Resultado

EOPEP , = EME t EM
Ezv .
Construimos una tabla con los posibles valores
de los ndices 1 1 -1
, ,

1 2 O

Los factores g se cancelan entre s al multiplicar una

componente coutravaiante ( que van con
tg )
2 1 O

2 2 -1

con su wvaiante ( Vg )

Entonces EOP Sdv Observamos cmo el de resultado tensor

pseudo tensores
da
Epp producto
2
. como un
-
.

e) EN Epv

los ndices libres tenemos de 24 16 combinaciones de Pero de estas nulas

Aqu todos son
luego conjunto qp.pt algunas son
=
un .

el resultado nulo
pues
si a =P y
si
f-
v es

EM ) ( Eyy) Total
d
P
v
sign ( sign

Construimos una tabla con las posibilidades no nulas 1 2 1 2 t t t 1

1 2 2 1 t -
-1

( las y se van a cancelar igual ,

nos interesa slo 2 1 1 2 -
t -
1

2 1 2 1 t 1
-
-

el signo
)

Observamos si te En -1
que a
=p o v caso contrario =)
: =

ps
.

Sg

Soy SPV
Sgdp
Entonces EDP E Sdv S Pp Observamos esto anti simtrico los ndices

es
= en o
p y
-
=

/ / que ,
.
 Calcule el rea la las
la
primera forma fundamental segunda forma fundamental principales , la
9 curvaturas curvatura media
, , ,

y
la curvatura Gaussiana de la
pseudo esfera con la
paramerizacin
I
( u , v ) =
( sechucosv ,
sechusenv
,
U -
Tanhv
)

O O a va 2h Dibuje la
sus A
, .
superficie .

Dada la calculamos los vectores del

superficie , plano tangente :

u =
QG =

( -
sechvtanhvcosv ,
-
sechutanhusenv ,
tanlv ) ; Iv =

O =
( .
sechvsenv
,
sechucosv ,
o
)

la Calculamos los escolares

Calculamos forma fundamental Ip
Io diferentes
1

gop productos
= :
.
.

( )
4
Iu .
XT = seclutanlucosv t sedvtanhusev ttanh U = Tanlv seclucosv t seclu seriv ttanhru

tanlu
( tantu
)
Tanti
= seclu + =

= 1

Tu .

Iv =
seclivtanhusenvcosv - Seclivtanhvsenvcosv = O = v .
XT

v .

v = seclusenv t Seclivcosv = Seclv

tan )
"

( geclfpu
"

(gap) = su determinante ( para luego el clculo de reas ) es

g
= tanluseiu
vg = ttanhusechul

Observamos
que
la 1
forma fundamental no depende de la coordenada v ,
y que
es diagonal ,
con lo cual la base
{ XT ,
Iv }

es
ortogonal

Como el tensor mtrico es simtrico definido positivo nos define mtrica Riemaniana
gap y
una
,
.

Podemos calcular el rea de la superficie como : A -

ffu Tgdudv donde U es el dominio en el que

est definida la

carta .

= 1
-

A =
fottlvfoldu Itanhusechul = 27
foootanhusechudu = 29 .
Hemos eliminado el valor absoluto
pues
en el intervalo de

integracin ( o ,
oo
) el integrando nicamente toma valores
positivos .

Ahora calculamos la
forma fundamental definida s Necesitamos calcular el vector normal s al
24
por bop
=

Iap unitario
.
.
,

de la Por ortogoualidad tenemos

plano tangente superficie .
:

uT_ Calculamos el vectorial

producto
= = :

UGXTN
.

IIXT x XTII
u x XT =

( sechvtanhvcosv sechutanhusenv tanlu ) ( sechvsenv sechvcosv O

)
.
- -

,
,
, ,

i
Sabemos
que
el
producto
vectorial de 2 vectores se
puede
escribir como ( xbs ) Eijkabk
=
luego :

XTXXT =

( seohucosvtanlv sechusenvtanlv sechrucovtanhu seduseivtanhu

)
- - -
-

, ,

=
fsechucosvtanhu ,
-
sechusenvtantu
,
- sedutanhu ) y
si dividimos esto
por 5g = sechutanhv

=
( -
cosvtanhu
,
-
senvtanhv ,
- Sechu
) vector normal unitario

La 2A .

forma fundamental se obtiene como

bap
=

Iap .
. Necesitamos calcular las derivadas segundas de los % ,
pero
es

de coordenadas dentro de ms
un camino
muy engorroso
en este caso , pues dependen 2
expresiones largas .

Io
t.LI Ir
Ia Io Derivando de las coordenadas
como s ,
entonces .
= o .
esto
respecto

p . = o
bop = -
.

NI
=
bop
Y sencillo las derivadas
resulta ms calcular parciales de que
las de I :

27
u =
O =
( .
cosvseclu ,
-
senvsechrv
,
tanhvsechu
) : =

2 V
=

( senvtanhv ,
-
cosvtanhv ,
o
)

Iu
NT Iu NT

)
.

( bop )
.

Realizando los escolares construimos la 2 a-

forma fundamental Obteniendo
productos
= -

nq iv. nq

(
tanhusechu o

)
.

(bop) =

o tanhusechu
, que nos sale tambin diagonal .

Nos
piden
las curvaturas principales .
Sabemos
que
se obtienen imponiendo que
det ( bop
-

kngop )
= O

bu .
kn 911 bn -
K "
912 O tanto los trminos cruzados nulos

pero
como
bop como
gop
son
diagonales ,
son :

bzy -

Kncfzy brz -

knyzz

bu -

kngu O

( bu Kngu ) ( bzr Kugrr) luego las

2 soluciones las curvaturas
que corresponden
-
-
= O a 2 :
,
O bzz -

knofrz
tanhusechv
BI sechu
1
-

bn -

kugu = O =) Ke = =
-
= -

-
= -

Tanhv Senhv
911 tanhru

bzz -

Kugrz = O Kz = BE = tantos =
tarde = genhu

922 Sechrv Sechv

Conocidas las curvaturas la curvatura Gaussiana es IE kr Kz K 1

principales su
producto = = .

y
la curvatura media es H =

f- ( Kr tkr ) =

te ( .

tsenhv
)
=3 =

f- ( senhu -
cschu
)

Como comprobarse la curvatura Gaussiana es

igual al cociente entre los determinantes de la 2 a- de la ta formas fundamentales
puede , y

E =
b-
g
Como la curvatura Gaussiana constante todos los trata de
esfera
y negativa
en
es
puntos ,
se una pseudo -

Para
dibujarla ,
observamos
que
se trata de una
superficie de resolucin , pues
es de la forma Ilu ,
v
) = (R( ) v
cosv ,
R ( )
u senv
,
Hlu ) )

si hacernos V = o tenemos la curva Ilu ,

vio ) =
( sechv
,
O
,
U - Tanhv
) en el
plano XZ
, que se
dibuja como :

\
al variar v
,
la componente Z
( la altura de la curva
) permanece constante ( no depende
de v
) , y
las

componentes x e notan creando el slido de revolucin

y ,

t.to .

100 Encuentre la ecuacin diferencial

que
debe
cumplir la funcin flu ,
v
) para que
la superficie
parametizada
I ( v.v
) =
( v.v flu, , v ))

Tenga curvatura Gaussiana idnticamente nula

Tenemos una carta de ,

es decir , una carta
Monge
la forma
de Ilu ,
v ) =
( u
,
v
, flu ,
v ))

Debemos
imponer que
la curvatura K sea nula es decir
que
la superficie sea isomtrica a un
plano ( deformandolo diferencial mente )

,
,

t.bg debemos el determinante de la forma fundamental nulo

2
Como
, imponer que sea

Fifi
ffu
calculamos la
fuma fundamental : s
Iop
2 a-
entonces
bop = .

u ( 1,0 0 ) ( 2 )

it
Iv Para ahorrar llamaremos
=

, ;
=
o
,
1 ,
notacin ,
a las derivadas de f como
fo

m
La normal ser =

IHTXXTR
donde Iu x Iv =

( 1,0 , Ouf ) x
( 0,1 , auf ) =

( -

fu ,
-

fv 1) ,

1

su mdlo UIUXXTH =
luego
.

fv 1)
#
y
-
.

, ,

ftfvt 1

Las derivadas de Io sern :

Iuu =

( 0,0 , fuu ) Iuu =

( 0,0 , fuv )

vu =
( 0,0 , fru ) w =

( 0,0 ,
fw )
fuv
Entonces
FITT

t.im#:::i::::.:::.::::::::
ftp.

: : :* :*
 debe de funcin deformacin de
que cumplir cualquier grfica que
sea una un
plano .

Calcule los smbolos de Christoffel Mapb para

la superficie pwametizada Ilu , v ) =
( vcosv
,
Usenv , f Iv ) ) ,

con O a U O L V l 29
,

Tenemos de resolucin la la toma fundamental ser diagonal de la coordenada

una
superfine
y
no depender angular v

Iu =
( wsv
,
senv
, ftlu ) ) ;
v =
fusenv ,
ucosv ,
O
)
la respecto de la
coma
significa derivada coordenada

a)
(
toftu
"
(gap ) depende de
sof

v
gas
= no =

, p

|
Conociendo la te forma fundamental podemos calcular los Christoffel como
Pops tzgsd ( gpg +
gas p Gap y )

tg
=
-

,
a ,
, ,

combinaciones posibles
Necesitamos el co .
tensor mtrico gap =
( gopjt pero
al ser
gap diagonal ,

[t
MT )

goo

su inversa no es ms
que
el inverso de los elementos de la diagonal :
( grf ) =
=

Como las coordenadas son ortogonales

" "
lo anula muchos de los smbolos
ge , gr g
nos
g
o
que
= = = =
, ,
,

' "
Me =

tzg ( Ges ,
,
t
Ges ,
,
-

Gu ,
d ) d solo
puede valer 1 , pues
si vale 2
gk = o

(g
'
M tg
"
su
"
e) rwu etfffnm
g. gu
toquen
+
g.
= -
= = = =

, , , , ,
,

"
M =

tzg ( g. g. ,
t
g, , ,
-

gu ,
g)
t solo puede valer 2

( fe 2=0
tgm (
la coordenada )
9112 = -

gu ,
z ) pero
como
G no depende de 2 v entonces

" "
112 =
tal =

tz G ( 92g ,
,
t
g , yz
-

Gu ,
e )
J solo puede valer 1

Mut Pat
tu
1 1
te =
Pre =

gyqz pero
como
y no depende de V = = O

"
le 21g ( Gay )
'
t
=
tu =

,
,
+
Ges ,
z
-

gu ,
,
solo puede
valer 2

" "

tu
M =
tal =

922,1 = (2 U
) Pvv =
tvu =

721 =
tgld ( Gzj ,
e
t
Gzy ,
z
-

gzz ,
, ) J solo
puede
valer 1

M
ztg ( -9rad )
twu
iffy
= = -

d
TR =

2192 ( 92g ,
r
+
Gzg ,
z
-

grr ,
y )
b solo puede valer 2

M 1- Maj
( depende de V O
) =)
=

Gzz
como
pero y
= no
z
2922
,
 P

f-

N
top

Otra
forma ms
rpida para calcular los Christoffel calcular el L escribir las
es
lagrangian o =

gap ,
ecuaciones

de Euler ( cada coordenada UN ) los coeficientes

) comparando
sacar
Lagrange O una
para
- =

ftp.ddfg.nu
con la ecuacin de las geodsica t v. a
P = O

otd
Como la meth.ca construir directamente el Identificamos Ut V
Lagrangian U
= =
conocemos
Gap , podemos .
;

a)
"

(
of
2
+ "

tz ( ) ( ) f- ffrtfcup) ) f- ( ) f-
2 ' 2
L = ,
i = it t u ir = 1 tftut t Vi
KLLU ,
,
i )

qapqqqrdenada

2-
( ftp.v
f )

ultftup
2=0
Iu t.it 2ft f ) Tuvo
"
)
2
un o u lu 1dg + =

para
-
=

) it 2ft ) f ( ttftup ) ftlu ) f

" "

flu ) f U ) Z ) it (
"
= lu t cu -
= -
Lu - 1 tf
'
io ) 2) Tuvo

pwafapqqqrdenada
LY + ii -

ltf.lu
un

)
2
IE o de aqu leemos
tu
'
=

1
Hutton
t f
'
( u
)
2
; tra
'
=
.

1 tftu )
2

dqq.ly o
qtfiv ) O 2uv.it vivo o i. +
tu v = O
-

= .
= =

pez tu
2
de aqu leemos
2
=
tu =

Y el resto de trminos nulos no

,
pues aparecen
.

1 Demuestre
que no existe una
superficie Il ,
ur ) uya primera forma fundamental gap y segunda forma fundamental

sean
bop
:

lo ) ;)
filo
"
lgap )
=

( asoyu ,
,
lb.pl =

Sabemos que ,
si tenemos una 1 a-
forma fundamental definida positiva y una 2 a- forma fundamental simtrica
,
entonces

existir una
superficie con ambas formas siempre que Iapy =
Iosp ( formulas de Mainardi -
Codazzi
)

se traducen en
que

toprbos .

rassbgp + aabqfm -

aabqfm = o

{
Romp bapbgo bogbpr
donde
Roosp
=

topo Paso ttqsktksr task tkpo es el Tensor de Riemann

-
= - -

,
,
, p

Comprobar se cumplen estas ecuaciones sea infierno de ser la metica es

diagonal lo nos cancela muchos
que
un
,
no
porque , que

Trminos
Vamos a calcular los smbolos de Christoffel .
Como la mtrica es
diagonal ,
los nicos smbolos no nulos
independientes son :

"
tu Mar Si tenemos cuenta ( derivadas
ztg
es constante
iguzm
se
gu
en
idgtft que
= = una

anulan ) depende de 02 entonces muchos

y que gz
no
, ,
,

t
M tgassun T taI
= -
= -

smbolos se andan ,
y
nos quedan slo t , rrir

'

M =
M =

ztgma agotan tu =
trrt =

ztgsfdufm
2 independientes

# )
9221 (
'

2ns v
'
Sen U cosvtsenut
Gary
= - = -
-
=

2
tu tan ut
'

zwptm frusutsenu
ta )
'

tgngrr
= = = -
=

,
,
,

La la ecuacin de Mainardi .
lodazzi , teniendo en cuenta todas sus simetras se reduce a 2 ecuaciones :

sjbur -
sabotean .
t but ( re -

re ) bn +
turbar = o

idgbfrt -

byte -
tribu t ( tri -

ta ) bar tfbrr = O

Ahora teniendo en menta

bap es
diagonal brz es cte bu depende de 02
que
no
que que y
:
, ,

O
( O
prj ) O O
.
-
O -
O t - .
t =
O se
cumple

(
'
. O -
O - T zztbu t O - O
) .

O t
tnjbzz = o =) Put brz -

Fu be
,
= O -
tanut -
cosulsenulcolut ) # O

Como se construir dichas la 2 E formas fndamentales

no se
cumple ,
no
puede una
superficie con
y

( lo (
1
1 tu
O
Sabiendo
que ( gap ) =

) ,
lbap)
=

o geny )
son
, respectivamente , la
primera y segunda forma

fundamental de Ilu ) la
superficie mediante los siguientes
superficie parmnetizada
v
una
reconstruya pasos
:
, ,

a) Escriba las de Gauss

y Weingarten
ecuaciones

Las de Gauss las derivadas de los vectores del la normal de las

y Weingarten plano tangente y
ecuaciones nos expresan respecto

coordenadas como combinacin lineal de dichos vectores .

Iap =
status =

Raptis tbap ; .
=
as = -

ba Pip donde bap =

gopboo

Los la
smbolos de Christoffer de 29
especie .

Papi , pueden calcularse a

partir
de le forma fundamental como
ya
hemos visto .
 Yi
Dado la mtrica diagonal , y ademas la de las coordenadas entonces los
que es nica dependencia gop
con es
grr =

grrlu ) ,

Mut tu ?
nicos Christoffel no nulos son :
tal =

zgtm 0%1 y
=

zlg.ua?g9u22tzz1=z1(2Senucosu
-

) =
-

senucosv esta es
para
las derivadas de

los vectores tangentes , queda la expresin

1- aI
(2 derivadas del
2
Test =
Mze = senucosv
) = = cotanv
para
las vector normal .

)
zsaiu Seno

"
Entonces las ecuaciones de Gauss
y Weingarten ,
dadas
por Tp =
Pap XI t
tapiz tbap ,
se escribirn como :

Rp
u =
Iuu =

bu Iuu =
s

Ira =
Ir ,
=
w = w = cotanuz w = Iw =
cotas U

zz =
Irv = -

seuvwsu XT tbrrs =) w = -
senuwsv u + senrvs

Para las derivadas de a necesitamos el operador de

bop bo P GOP
bar ello necesitamos
, ,
Weingarten .
=
y para

el mtrico los elementos la

gop ( diagonal )
no .
tensor
gap , que se obtiene
muy
fcilmente invirtiendo cada no de de diagonal de

( bop ) =

( sonoro
lo ) ( lo
Shu
) =

( to ) el operador no es ms
que la identidad bap = Sol

o bop
Entonces =

SAP
-

=
-
.
=

luego entonces u = -
Iu ;
NT = - XT

b) Eliminando u entre las ecuaciones Iu demuestre Ilu v

) =
ATV ) senv tbtlv ) cosv tcslv )
para y que ,

Iuu
nj
;
la
{ Xntru
Tenemos las ecuaciones si en la le derivamos respecto de U tendremos = u y sustituyendo 21

XTW
Iuu
III
= - Iu t u = O esto es una ecuacin diferencial vectorial t
II =
O

Como es lineal
y
de coeficientes constantes ,
se resuelve mediante la ecuacin asociada : Is t b = o =) b ( Vt 1) =
O

con soluciones D= O D= ti tanto la solucin

general ser del
tipo I ( v.v ) = lv ) senut
ILV ) cosutilv )
, y por

" "

las de
"
donde la variable La ilv ) est asociada al autovalor
"

3 constantes de integracin dependen otra .

constante to

las las races

y
otras 2 a
complejas conjugadas .
c) utilizando la ecuacin Iur demuestre 5 Es vectores constantes
para
son
que y .

Iuu ATV ) tbtlv

cotanlu
Tenemos
que Iuv = =
) Iv .
Por otra
parte
I ( v.v ) = senv ) cosv tcslv ) es la forma de nuestra superficie

Calculamos las derivadas cruzadas

para comparar
.

u = cv ) asu - I lvlsenu

} w =
XTU = llvlcosu -
Itv ) seno

XT =
iysenu + biyrywsu + yv ,

Debe
cumplirse entonces I.lv ) wsv
.
Itv ) senu = cotan UXT sustituimos XT su
expresin
obteniendo :
, por ,

I.
cotanuf.ci/lvIsenutbTlvIcosutI4v ) )
'
lv ) lv ) senu esta
cosu -
=
simplificamos expresin :

llycosu tvlsenv =
citv ) cosut tv ) cosucotanv t T.lv ) cotanv trminos
agrupamos
-

'
lv ) fseuutcosucotanv ) t Itv ) cotanu O Esta expresin debe cumplirse
t v.v En particular U 42
para
= =
,
.

Itv ) = O I es constante =) entonces nos queda Itv ) cotanu = o Ikv ) = o Es es constante

d) Utilizando las restantes ecuaciones demuestre lv ) ctscosv t senv con I Es vectores constantes
que y
= .

Hasta ahora hemos llegado a la conclusin de la superficie es de la forma Ilu v ) lvlsenu tbcosu + I
que
=
,

Utilizando
que
w = -
senuwsv Iu + serivs Iuu =
s =) W = senucosu Iu + serio Iuu
y
.

[ lycosu btsenu ) cosu )

tsenvfcilysenv
"
Y ahora sustituimos la forma de nuestra
superficie aqui l v) senu = -
senucosv -
-

-
me -


Xvv
Xu Xuv
"
de donde ( vlsenu = -
lv )
como debe cumplirse V. v.v =)
"
Cv ) tlvto

la solucin de esta ecuacin diferencial la sabemos lv ) dscosv tsenv donde I son las constantes ( vectoriales )
y y
=
,

No de I lvl
dependen v =

pues

e) Finalmente calculando la resultante Ilu la los I de

,
con
expresin para ,
v )
primera forma fundamental ,
demuestre
que vectores ,
y

son ortuamales Tanto la superficie es una espera

y que por .

XT
d.
) Icosu senucosvtsenvsenv tbcosu
Tenemos Ilu ,
v
) =

( cosv tsenv senu t ti = ti

y
sabemos que
su E forma fundamental es (
gap )
=

( lo
tu )

E = dicosucosv tcosusenv - senv = .

senusenv tsenucosv
;
 Necesitamos los escolares
productos .

Iu .
tu =
1 =
cosrucosrv + Eicosrusenv tbisev +
. s cosrucosvsenv - II senucosvcosv - Es tos
.

cosusenusenv

el resultado sea = 1 tt v.v se

requiere que I I
formen una base ortnmal
para que ,
, ,

11 A
partir
del tensor de Riemann Rtva se definen el tensor de Ricci Rvo =

Rtvyr y
la curvatura escalar R =

RYU .

Sabiendo
que
en dimensin 2
( es decir ,
para
una
superficie ) el tensor de Riemann se
puede
escribir como

Rrrvdo =
K
( cfrrdgyo -

grzogvg ) ,
donde k es la curvatura Gaussiana ,
calcule :

del Ricci de
a) La forma tensor de una superficie

El tensor de Ricki es el resultado de contraer el tensor de Riemann en su ler 30 ndices Calculamos entonces este ltimo
y
.
.

Para ello la dan el enunciado el tensor de Riemann covariant subimos el ler ndice la mtrica
, empleando expresin que
nos en
para ,
con :

gkt Raso = K
( gktgrsgrr -

gktgrog , ) = K
( Srs gw
-

Strgvs )

Rtvgo
( SN Stuogvj ) el
'
K Ahora
er
=) contamos 1 3 ndice
gvo
:
y
-
=
,
.

Rtrpo =
Rvo = K
( Sfugvr -

Stogqo )
= K
( rgvo
-

guo )
=

Kgvo

Luego el tensor de Richi el de

superficies Rvo K
gvo
puede en caso
expresarse como =

b) La curvatura escalar de una

superficie .

Teniendo el tensor de Ricci calculamos fcilmente la wrvatra escalar subindole ndice contrayendo
y
un
,

RN
GY Rvo =

Kgvtgvo RNR = K Sto luego contrayendo ,

= K
Stu R = 2k

EN
'

c) Rkvyo EK Etr ,
donde es el tensor de Levi -
Civita

Lo te es conocer la expresin de las del tensor de Levi cinta

componentes
-

O
En = O

{
Para EDP "

{
covariant contaminante
su
expresin Eap para
su
expresin
E
= =

y
= -

org

Eq
=
-
Ez ,

Rkvdo EK Etr
'
Entonces
( cuyo resultado debe ser un escalar
) presenta muchas simetras .

Sabemos el tensor de Riemann covariant en el caso de

superficies nicamente tiene 4 trminos nulos de los cuales tan
que , ,
no
,

Solo me es
independiente
 Rrzez Rzez 1 Rpzzf b
Rzyez

= = -
= -
=

Eto
"

' "

Ryzvdo EK Rzeyz l
Z
" " '
Et
"
E E
Entonces =
Rerez E E t
Ray t
Ruy t

1212 = - Rpjlz = - R 1212

EKVR
'
l
( ZE ( GL
"

) ( EME
" 21 2 "
EME
"
2)
# tg
Rrwgo =
Run t -
E E -
=
Rey , 2 -
2
) = 2 Rerez +
)

EKV Etr
= 4
Ruy 1g
.
=
4
} Rrwyo = 4k

= b

4 Considere la superficie parametizada ILU

'
,
ur ) =
( UZ cosu
'
,
ltsenut
,
cosh ) . calcula Todas las
componentes no nulas

tensor de Riemann
de su
Rappv

Dado tenemos la de la superficie podemos

calcular la expresin del tensor de Riemann covariant
que expresin ,
Rzogp

de la segunda forma fundamental luego subirle el ler ndice la mtrica

partir Rzagp bapbsz bagbpz
=
a
y
con

gop
-

XT
( senut UZ
) Ir ( senhv 2)
'
cosu o = cosut senvt
;
-
=
, , , ,

elm 2)

( Tanhcosvt Tanhutsenul sechv

-

= =
, ,

IIXTXIRII
2

(
( v 2)
)
O
La 1
forma fundamental ,
construida como
gop
=
p
Isa .

,
resulta ( g. )
p
= resulta
diagonal luego ,

o wghyuy

componentes diagonales)
2 )
atgy
mtrico las
(
el sencillo
co . tensor es ( invertir
( gap ) =

Para la 24
forma fundamental ,
necesitamos las derivadas segundas :

En furcosut v. senvt
) Tir O ( serve
) tu Ira O ( 0,0 coshur
)
'
=
Osten =
,
-

,
o
;
= =
-

,
wsu
,
o = = =
,

e)
2
tanh UZ

(
U O
.

y
construimos
bop =
Iap . ( bop ) = Observamos
que
resulte diagonal tambien
O -

El tensor de Riemann covariant ser ,

al tratarse de una
superficie :

Ruiz Reza Rzee b donde b UZ Tanhlt todas nulas

Rzeze
detlbap ) estas son sus
componentes
= = -
= -
2 = = = no .

Ahora ( el habitual ndice

para obtener el tensor de Riemann mixto
) debemos subir el eer con la mtrica :

got Roppv
" "
la mtrica diagonal los
Rapp ,
= =

g Ripper
t
g Rzppv
.
como es
,
distinguimos casos D= 1
y
a- 2

1
"
el anula de ndices
si a -1 ri sumando se
Rtpyv =

g Reppv
=

# Requu
el resto estn fijados :

R
'
=
Tanhvr = . R
'
-

212 221
UZ
 el
"
si 1 er
sumando anula de donde
Pippo
2 se
g
a sacamos
Rrpp , costmuyrzppy
= = =

R 1- UZ Tanh RZ

2yd = =
-

112
costilla )

4 Sea la superficie parametizada Ilyv ) =

( cosv ,
seno ,
v
) :

a
) Calcule la curvatura normal y
la curvatura geodsica de las curvas sobre dicha
superficie dadas por

vlt ) = t
,
vlt ) =
TNI ( n =
1,2 ,
3. . .
)

Tenemos superficie cilndrica nos dan serie de curvas en la carta Hablaremos de la una en
singular anque sean varias
y
una una .
,
.

La I

tendr dado
"

curvatura
parte paralela
-
i.
curva vector descomponer en
un
que podemos una
a
...
.
,
as n
.

...

qp

la normal a la superficie
( en cada
punto
de la curva
) y
otra
parte ortogonal a

= KT t KTG = Ku t
KGI donde I = Ix

la wwananomae viene dada

por
: kn =

baidu.C.iq#sTju.qfftfu.fttf-=saIT.ti3IITgopduoduP
-
desde fuera
IES 3ft II
desde la carta
-

que puede escribirse ,

invirtiendo la regla de la cadena ,
como Kn =
IKM.tt# siendo lt ) la normal a la superficie
,
evaluada
III. IHIP

IH ) la 1123
sobre la curva
, y
es la curva sobre superficie en ( vista desde fuera )

Para calcular evaluarla sobre la Ualt ) necesitamos los la base del

y poder
curva
,
vectores de
plano tangente :

u v ( )
GOU ( senv cosu O
) 0,1 son normalesorto se
=
= =
; o como ve
que
-
.

, , ,

tiln
luego por
tanto la normal =

IIXTXXTH
.
.
Iux Iv =
fsenu ,
cosu
,
o
)
( o
,
0,1 ) -

( cosu
,
senu
,
o
) solo depende de U

Ahora evaluamos la normal sobre la curva lvlt ) ,

vlt )
) =
( cost ,
Sent
,
o
)

Necesitamos a su vez las derivadas de la curva T.lt )

y
I
"
lt ) .
La curva IH ) ser IH ) =
( cost ,
sent , II ) n -
1,2 ...

f )
-2
" " "

( ) IIITHIE T
-2
I
" "
T.lt ) sent cost t l t) cost sent ( n e) t el modelo de la velocidad 1 t
;
y
=
-
-
=
.
.

, , , ,

-2

( )
"

) wst sent
( . cost -
sent ln 1) t ,
. .

, ,
o

la
,

Con esto sustituimos Ku

Kn
,
en
expresin para
=
-

2
tan
-

1 t

1
simplificando Kn = -

-2
1 t TZN

DET )
"
I
Ahora la curvatura sabemos que calcula Donde las I ' "
toman de la vista desde 1123
geodsica
i

kg
se como = se curva

3
En nuestro caso

" "
-
sent cost t

" -2
-

cost -
sent ( n .
e) t

2)
cost Sent Nos (n-t)lm2_
kg o
queda Kg
= =

3/2
(1
' " -

312 t
TZ
" t
(1
-

como complemento si hallar las curvaturas desde la carta

,
nos
pidiesen :

Jb)
gap
=

( to
? ) ( por ser el cilindro isomtrico al
plano ) ; bop
=

(to )

g)
y
la una en la carta viene dada
por ( utlt ) ,
urlt ) ) =
(t ,
I ) # Ud = volt ) duo = Udtlt ) dt

(1 1) ( lo ( tu e)
"
t
.

dodo P
bop bapvatttwsttt y
.

Entonces Kn lo sala
-

era nos
que
=

que
= - = - =

2
gopvatttvtt) trn
(
-

gopduadup (r ,
tu
.

y ! ( Iuu)
1 +

hacindolos calulos desde fuera de la

superficie = uoyt )

y para
la curvatura geodsica , depende nicamente de la 1 a-
forma fundamental
kg =
Tg ( taptap -

iioptlr
papi
.
itt
)

Z
1)
'
la 11 forma fundamental depende de las
coordenadas Todos los Christoffel nulos
Kg Z ( pues g-

como no son = -
-

ftp.uf.my
'

Ikttfft
"
del T esta ddq nuestra desde la carta
)
para expresarlo funcin parmetro
en en una
y
=

la
de carta

IIITHH = F
" -2 -1
1 (n -
rlt tn o

m m m m
11 ' 1

e.tt#.Iq.ufrnhnkg=fn+-ffntnp,2am
U
Entonces daba antes
kg
= como nos

que
=
= O

b) Encuentre todos los valores de n

para
los
que
las curvas anteriores se pueden reparametizar de forma que sean
geodsica

Equivale los valores de las valores de

pre geodsica
encontrar curvas sean hacen
n
para que n
que Kg
o
a =

Cmttttmn = O =) ( n -

1) fn
-2
= o =) n = 1 unas en la carta de la forma Ualt ) =
(t ,
T)
31
(1 tu 2)
-

estn MTTHH
'

Ademas de ser
pre geodsica ,
sern
geodsica pues ya parametizadas proporcionales a S I A) =
( 1,1 ) = ate
 4 Calcule la
primera forma fundamental ,
la segunda forma fundamental ,
las curvaturas
principales ,
la curvatura media
y
la

curvatura Gaussiana del toro con la

parametizacin Ilu ,
v ) =

(( R trcosv
) cosu
, ( Rtrcosv ) seno
,
rsenv
) ,
O < uazn
,
Oava 2N
,
Otra R

Lo le de donde sale esta del tono ( donuts )

vamos a ver
parametizacin .

La cogiendo circunferencia hacindola rbita

superficie consigue girar
se una en
y

Esta la de la circunferencia el plano
parametizacin es en xz

cantidad
Trasladando el origen en una
(R ) ,
o

OT =
r(cosv + R
,
rsenv
) v es el
parmetro de la una
,
en este caso el ngulo
respecto
de .

z r es el radio est fijado

,
y .

Ahora trata de hacer esta OT del Z El ngulo de corresponde la coordenada

se
girar curva respecto eje
.

giro a U

los U senu
oj
-

la de
respecto del Rz te la

( son
matriz rotacin sobre obtenemos
eje z es
aplicarla una
=

)
qu
"

la de tono
paramemzaun
:

Const
-

senonst ) ( turgente ) Ilyv ) =

( lrwsvtatosu , lrusvtrsenu ,
rsenv
)

Calculamos los vectores de la base de Tp ( s ) :

XT =
t ( = .
( Rtrcosv ) senv
,
( Rtrusv ) cosu ,
o
) ;
XT =
OT =
( -
rsenvcosu
,
-
rsenvsenu
,
rcosv
)

o p Hacemos los
productos escolares
gap
=
.

Io .

Iu =
(R t rcosvj I
IV.
Iu
Iv = = O
; Ir . XT = r
2

;
.

2
( Rtrusv )
(
o 2

luego ( gop ) =

O pz
) y
su determinante
, g
= rr ( Rtrwsv )

Xu Xv
Para la
segunda forma fundamental necesitamos la normal a
la superficie = -

HXTXXTH

ux Iv =
( -

( Rtrcosv
) senu
,
( Rtrcosv ) cosv
,
o
) frsenvwsu ,
.

rsenvsenv
,
rcosv
)
=

(( Rtrcosv ) cosurcosv
, ( Rtrcosv ) seuurcosv
, ( Rtrusv ) senursenvsenvt ( Rtrcosv
) cosursenvwsv
)
=

( r ( Rtrcosv
) cosvcosu
( Rtrcosv )
,
r cosvsenv
,
r ( Rtrcosv
) senv
) observemos
que
tiene la forma de la espera , luego normalizados

dividiendo
por
r ( Rtrcosv )
=

( cosvcosu
,
cosvsenu
,
senv
) esto
ya
sabemos
que
tiene modelo 1 ( espera de radio unitario
)
Necesitamos tambien las derivadas de los del
vectores
plano Tpls )
Es
2

Iuu = segu =
( -

( Rtrcosv ) cosv
,
-

( Rtrwsv ) senu
,
o
) ; Iur =
Iuu =
S =
( rsenvsenv
,
-
rsenvcosv
,
o
)

Iw =

frusvcosu ,
-
rcosvseuu ,
-
rsenv
)

[
(
Ahora construimos
bap
=
Iap .
haciendo los
productos
escolares
,
obtenemos ( bop ) =

t
Rtrowsvtosv )
gafkn
tbg
Las curvaturas obtienen de k
principales se -

bop
= O
pero
como
bop y gap son
diagonales

(bug ) +
kntbbn
kntbgu.bg#=o
( bgfettbgrr ) BI
" "

ki -

brrg k -
ke =
baje ; ka =

Guaf 22
922

ilrtru.tl#
Luego k ,
=

2
K ,
=
-

Rtrcosv
F-
y
Kz =

1 Kz = .

tu
( Rtrcosv )
cosv
La Curvatura Gaussiana el de las curvaturas K ke.kz =) K
principales
es = =

producto
-

r ( Rtrcosv )

La media de las Rt 2 rcosv

curvatura media es la wrvatras principales
M =
12 ( ketkz )
2 r
( Rtrcosv )
Calcule la curvatura total

a) Mediante
integracin solo vale
para superficies
cerradas

/
La curvatura total se define como la integral de la curvatura Gaussiana extendida a la
superficie cerrada X =

KDA

OK
21

1=0
En nuestro E-
fvkrgdudv
fjdrufodrv.fr#rlRrcosv)m=2rfdvcosv
caso =

= O
b) Haciendo uso del Teorema de Gauss -
Bonet

total
Segn este teorema
,
el toro ,
o
cualquier superficie isomticamente
semejante ( deforman dela diferenciabanente ) tiene wwatra O

total
"
total
"

Cada le 4h la Una espera tiene tiene curvatura

agujero que tenga
una
superficie resta a curvatura .
, que no
agujeros ,

4h .

Calular el rea del toro

Sabiendo el elemento diferencial de rea de la dado DA Vgdudv al dominio V

superficie viene
Integramos
=

que por
.

A =
foidr F r ( Rtrcosv ) =
2rrf.FR trcosv ) dv =

rrrfar R t
rfjtosvdv ) A =
wir R

= O
-
 1 Compruebe en el
plano parametizado en coordenadas
polares Ilyv ) =
( ucosv
,
vsenv ,
o
) que
la derivada covariant
gop ; o

es idnticamente nula

Lo hallar la de la 1
forma fundamental

primero vamos a
expresin :

u =
( cosv
,
senv
,
o ) ;
Iv =
fusenv ,
vcosv
,
O
)

haciendo los
productos escolares
obtenemos
( gop ) =

( Our
lo )
Para calcular la derivada covariant necesitamos los Christoffel .
Como la mtrica es diagonal los nicos smbolos no nulos son :
,

iii. rgtasqu ; ni ...

# aosii ir = .

sos ; reir =

# assure

rige
.gs#iri=sosE
iii.
tod

2%22422
E- )
te
Como ademas constante solo de '
los nicos Christof
grz v son
gu
es
y depende U =
.

=
t =
ztgn aqu . le =
faj =

tu y tal = -
u

g.
c.

foot

gdp
Entonces ,
la derivada covariant del tensor mtrico ser
gop ; o
=

tatuar -
-

tpo
el el
Vamos esta para corregir para corregir
ver como se
construye expresin
:
a
indice a ndice
p

1) el te termino equivale a la derivada ordinaria

2) cada ndice covariant el tensor factor P Por cada ndice contravaiante del tensor
g
se
en
corrige
con
por
un
-

, ,

factor P Ahora cmo colocamos los ndices

Se
corrige con un t
g . veremos :

3) Al
corregir un determinado indice ,
lo te
copiamos el resto en su
posicion correspondiente

ftp.t r

g.
gp
=

Sap ;
.

. -

al corregir a. le al corregir le
copiamos p ,
copiamos
el el a
p posicin
en su en su
posicin

la
4) El resto de ndices
quedan ya fijados para que
wade
expresin
:

gap ; o
=
aqu -

taogsp -

rpo

correccin de d correccin de P

Volvamos a nuestro
problema .
Como la mtrica es
diagonal ,
del sumatoria en los Christoffel solo sobreviven los trminos diagonales

Gap ; o
=

Gap , o
-

taogpp -

PP goa Ahora
ya los ndices no suman
pues
estn doblemente repetidos .
Gap ; o
=

Gap , o
-
% gpp
-

PP goa aqu tenemos 3 ndices libres

que
toman 2 valores 23=8 ecuaciones

pero
muchos de los Christoffel son nulos .
Los unicos no nulos eran
tez =
Prj =

tu y tal = -
U

Ademas el ler termino contiene la derivada ordinaria solo ser distinto de 0 el

, que
gop ,
o
en caso
gzr ,
,

tzzlgey
2
si 0=1 Pez gzz si 1 entonces solo puede el resto nulo

gez ; P
D= ser =
2=0 es
y
-
= -
.

Gzqe
=

922,1
-

tu 2922 -

2922
Fu si 0=2
puede
darse P
=
2
,
0=1 o bien f- 1
,
0=2

si D= 2
{
ta
'

ga ,
= .

gee
-

rejgrr ( para f- ti o =

2)

Calculamos estas expresiones :

mm
1122 822 Mzrl gee
mm

ut ( ) tu ) 1
'
v U tu O
Ger ;
- -
= =
=
-

Eine Fini
Erin
Gray
= ZU -

tu ( UZ ) -

tu (a) = 2 u -
zu =
O

Jze ; tu ) tu = U u = o
- -
=
-

Ii T.in
Luego todos los son nulos
gap ; .

190 Sea la superficie parametizada Ilu u 2)

'
,
=
( u
'
coslur ) , vlsenlur ) ,
O
) .
Calcule la derivada covariant WN ; v
del
campo

vectorial
componentes contrariarte son Wt =
coslur ) WZ =
Senter Interprete geomtricamente el resultado
cuyas
-
.

Nos dan la de la de
( plano ) descrita las coordenadas
expresin superficie plano -2=0 XY
polares
un
, por

Tenemos un
campo
vectorial Wa = WOLUP ) ( depende de las coordenadas
,
o del punto de la superficie en
que estemos )

Todo visto desde dentro .

Para calcular la derivada covariant necesitamos los Christoffel ello necesitamos la mtrica
,
y para

(
1 O

tez faj

tu
tal
p)
la calculado del
( gop ) Christoffel

vlt
hemos anterior los
ejercicio eran = =

ya
= = -

y
.

o qu ,

Entonces la derivada coraiante ser Wd ,

p
=
Wd ,
p
t
fupowt .
Observar que si a -1
, p solo puede ser 2
( f- 1 resulta nulo
)
"

y
de la suma en solo sobre vibe
f-
Wt ; 2
Wt t paz WZ donde W 1,2 Ogvuvtn senlvr )

2 = a =
=
-

f- soI )
'
luego W
;
r = -
senlur ) + ) W
'
;
2=0

Ahora si valer tanto 1 2

,
0=2
, p puede como
Wru = Wru + wt
2
+
rzwr =

ifw tffsenuun ) wr ,
e = o

:#
2
( u 1)

"
W ?, put
2 W 2,2 t W Often tu coslur ) W ? o
= =
=
, r

*
1
U

'
Luego W O t a lo viene decirnos el es realmente constante De hecho si lo miramos
P que que campo
= a
; p
.

, ,

desde
fuera ,
callando Ir -
( cosa
,
sen
,
o
) y
Ir =
( -
Ulsenu ? Ulcosv 2,0 )

el vectorial
y expresarnos como
campo

a Iet WH ( ) Senft (
'
VT W
'
W cosur cosa sen utsen vlcosur ) observarnos
simplificando
o
o
= = = -

,
-

, , ,

el realmente es =

(1 o o ) =) es constante !! lo es
que estaba expresado en otro sistema
que campo , , que pasa

de coordenadas ah sus
componentes dependan del punto la derivada covariant del sistema de coordenadas
, y , pero pasa

nos da resultado la derivada total del

y
como
campo .

20 Considere la esfera parametizada por Ilue ,

ur ) =
( coslut ) wslur ) , coslvr ) senlur ) , senlv
'
)) .

a) Calcule ( planteando y resolviendo las ecuaciones correspondientes ) el transporte paralelo H ) =

wtltxet WYT ) XI del

utttf
vector lo ) =
Ir a
lo
largo de
partiendo
del
punto ( t ,
O
,
tu ) .

Tenemos esfera Los vectores de la base del

unitaria superficie plano tangente
una como . son :

Ir =

( -

senlut ) coslur ) ,
-

senlvt ) senlur ) , cosa ) ) y

Ir =
( -

coslutsenlvr ) ,
coslue ) cosluy ,
o
)

Queremos transportar el vector lo ) =

Ir desde el
punto
P =

(t ,
o
, t) .
Lo 1 es ver con
qu coordenadas se asocia este

inicial
Igualamos ) coslur )
tu
'
coslu
punto .

componentes =

.su#yeugan.gaga.am.gu=qo
( ut.FI ) P
,
E- o

{ coslue ) senti ) = O

gen ,
,

,
=
= , aqu sacamos u =

Ahora la la carta
{ }[ }
la el inicial
( i. )
'
en nuestra paramehizacin
parametizamos punto u
seguir
=
,
curva o
,

2
U

se corresponde con T =
o .

P Un
 '
del transporte Wd WPT
polvo Walt )
'
Con la resolver donde denotan las
esto
,
ecuacin paralelo a es t = O

del vector transportar , variarn el los volt ) tienen la informacin de

componentes y lgicamente tiempo
se con
que
.

la curva en la carta la cual se transporta el vector

,
por
.

Como vemos necesitamos los Christoffel .

Para ello calculamos la ta forma fundamental ( gop ) =

(cojo
lo ) ,
,

con ella construimos el

Lagrangian L =
f- gopot =

t ( v.
1
ii ) lo ) ( if)
( uuy =

f- ( lvttt cosa ( u ) ( v. 42 )
'

Planteamos las
qgutj-ddgf.lu ) d
trap
v. P a
ec de
Lagrange o la ec de las geodsica o
y comparamos con
. = =

ftp.t.o cosluelsenluyliij ttcoslutlsenlut ) ftp.O

1
( coordenada )
qui
'
b- 1 u
-
-
= O
para
-
.

de donde sacamos frzt =

hoslu ' ) senlvl ) pues
es el trmino
que acompaa a Z .
it

-2ns
iiitt
) 2=0
( coordenada
(
cosrluy
D= col )
vr
gaff dote frota
2) ( ) senlue )
'
O
2 O
dqt
= = u
para
-

Z -
2 tanlue ) til = O =) z -
tanlue ) tr -
Tanlue ) civil = o de donde te
? =
fui = - tan ( ve )

Y el resto de Christoffel son nulos .

( no
aparecen
trminos asociados )

Para meter los Christoffel en la ecuacin de

transporte , hay que
evaluarlos sobre la curva :
Utlt ) =

Iu ; UYH =
T

rrlt ) =

senfutusff
rrltt =

M ltt =

te A) = -
tan
(E)
red A) =
fajlt ) =
-1

Ahora podemos plantear las ecuaciones las componentes del vector Walt ) Watt ) twpltppodlt) vr.lt ) =
O
ya para

solo indice libre

Hay un
,
o
,
luego hay 2 ecuaciones diferenciales :

'

tra UZTH
"

t
' '
a- 1 W H) + WYH =
o =) W lt ) t WYH = O Esto es un sistema lineal de

1/2
1 =

} 2 ecuaciones con 2 incgnitas

fajttt
"
d- 2

W2.lt ) t Wtlt )
ppi U
"
A ) t Wilt ) = o W A) -
Welt ) = O

. - - .

= -1 =
1 = - 1 =
O

" "
WZ ( t )
En la 2am ec
Wtltk W ltt sustituimos esto en la 1am ec .
=) t
f- WYH = O esta es la ecuacin del oscilador

armnico . Su solucin general es WYH = acos

( tt ) t bsen
# T) . Entonces derivando obtenemos Wtltt

Wllt ) =
tus ( tt ) -

apqsen ( fut ) .
Ahora tenemos que evaluar las constantes a
y
b a
partir de los datos iniciales .

Como dicen LO ) Ir Wtlo ) Iet WYO ) XT Wtlol = O WYO ) = 1 son las

componentes
iniciales de
nos
que
=
;

1
La le condicin nos da
que
b =
o Wllt ) = -

jasen ( tft ) ; WYH = acos

( Et )
E
imponiendo
la ira condicin a -1 . Luego Wtltt =
-

t seu
(t) ;
WYH = los
# )

Conforme pasa
el
parmetro
T
,
las componentes toutravaniantes ) del vector = Walt ) Io se
transportan a lo largo de la

dentro de la esta
curva
superficie de manera .

b) Derivando la solucin obtenida ( vista 1123 llt ) ortogonal la

como curva en
, compruebe que es a
superficie

tsenftzffseutfust
UL
mm

LH WYH
'
CHXI
La una vista desde 1123 ser = W t donde Io deben evaluarse a su vez sobre la wwa Ualt )
ftp.T)
-

LH sent sent costa ) cosft) f- cost sent ,

astfcost )
=
t o
. -

, , ,

- -
XT Iz

ltt
(Isen # cost
tusfttsent tzsenftfsent t
tus (E)
cost
tzsenft ) )
-
-

, ,

Esta sera la curva en 1123 en la cannica

,

Su derivada es kt ) =

f Ecos (E) cost

,
-

tus ( t ) sent
,
-

tcosft ) ) IH . -

tycosft) ( cost ,
sent,
1)

Si es
ortogonal a la superficie es ortogonal a las lineas coordenadas rlt ) y
rlt ) y podemos comprobar como los

productos escolares son nulos .