Y RELATIVIDAD GEOMETR IA Profesor Jos e Antonio Pastor Gonz alez http://www.cuentacosmos.es Relacion 1.

Curso 2012 2013

Nota: cada ejercicio est a marcado con una ( ), dos ( ) o tres ( cacion atiende a la dicultad: b asica, media, alta.

) estrellas. Esta clasi-

1 ( ) Sean L1 y L2 las longitudes de los brazos #1 y #2 del interferometro de Michelson al e ter. Si, inicialmenMorley. Supongamos que la velocidad de la luz es c en relacion del viento del e ter y el brazo #2 est te, el brazo #1 est a paralelo a la direccion a perpendicular a dicho viento, entonces demuestra que el tiempo empleado por los rayos de luz es 1 v2 v2 2L1 2L1 1 2 1+ 2 t1 = c c c c para el brazo #1 mientras que es 2L2 t2 = c v2 1 2 c
1/2

2L2 c

1+

v2 2c2

para el #2. Observemos que hemos aplicado el desarrollo binomial (1 + x)m 1 + mx ya que v 2 /c2 104 y los t erminos de mayor orden son despreciables. As pues, los dos rayos de luz llegan al observador con un desfase dado por el tiempo t = t1 t2 2 c L1 L2 + L1 v 2 L2 v 2 c2 2c2 .

saca factor comun L1 L2 en esta expresion y, en la expresion reA continuacion, sultante, justica que los posibles motivos por los que t = 0 (es decir, por los que se puede observar desfase) pueden ser dos: 1) porque v = 0 (esto es, porque existe ter) o 2) porque L1 = L2 (es decir, porque los brazos no tienen igual el viento del e longitud). propuesta por Michelson Como se puede eliminar esta ambiguedad? La solucion en rotar los dos brazos del aparato 90 grados de modo que iny Morley consistio tercambiaban sus roles. Si ahora denotamos por t1 y t2 los tiempos para L1 y L2 entonces calcula t = t1 t2 y demuestra que t t = v 2 L1 + L2 c2 c

de interferencias (el dibujo) en ambas De esta forma, deducimos que si el patron situaciones es id entico (esto es, si t = t ) es porque v = 0 y no existe el viento del ter. Esto fue realmente lo que se observo. e

2 ( ) (La aberracion estelar) Si miramos por un telescopio ocurre que debemos inclinarlo levemente para poder observar una estrella distante. Demuestra que esta est ngulo inclinacion a dada por el a = arctan(v/c) v/c siendo v la velocidad orbital de la tierra (30 kilometros por segundo) y c la velocidad de la luz. Comprueba que 20,6 . 3 ( ) El radio de nuestra galaxia (la V luz. Puede una a L actea) mide 5 104 anos persona, en teor a, viajar del centro de la galaxia a su borde en el tiempo de una temporal o la contraccion vida normal? Expl calo utilizando de nuevo la dilatacion de longitudes. 4 ( ) Un atleta S lleva una p el atleta) y corre hacia la puerta de ertiga de 16m (segun un granero tan r apido que un observador S en el granero mide la p ertiga y obtiene la mide S . Comenta la histo8m, que es precisamente la longitud del granero segun ria desde ambos puntos de vista y responde a las preguntas siguientes: (a) cu al es la velocidad relativa entre S y S ? (b) dibuja un diagrama espacio temporal y localiza los eventos m as destacados y sus coordenadas en ambos sistemas (puedes poner t = t = 0 cuando la punta de la p ertiga entra en el granero, por ejemplo, aunque ser cualquier otra eleccion a correcta). 5 ( ) Demuestra que una forma bilineal sim si, su etrica b es no degenerada si, y solo matriz respecto a cualquier base es invertible. 6 ( ) (Indicaci on: p agina 49 de [ONe]) Sea W un subespacio de un espacio vectorial V equipado con un producto escalar g . Demuestra que dimW + dimW = dimV y que W

= W.

7 ( ) Sea (V, g ) un espacio vectorial equipado con un producto escalar. Si g es denido a cualquier subespacio W es tambi positivo, entonces su restriccion en denido positivo. Ahora bien, es esto cierto cuando g es un producto escalar arbitrario? Justica tu respuesta. 8 ( ) Sea (V, b) un espacio vectorial equipado con una forma bilineal sim etrica. Se dene el nulespacio de b como N = {v V : b(v, w) = 0 w V }.

Se dene tambi en el cono nulo de V como el conjunto de todos los vectores nulos de V . Sea A = {0}. Demuestra que: 1. N A 2. N es un subespacio, pero A no lo es salvo que sea trivial

 si, N = 0 3. b es no degenerada si, y solo si, A = 0. 4. b es denida si, y solo 9 ( ) Sea (V, g ) un espacio vectorial lorentziano y sea W un subespacio de V . Encuentra ejemplos de modo que el producto g restringido a W sea: 1. denido positivo 2. no degenerado 3. degenerado En el primer caso, se dice que W es espacial, en el segundo temporal y en el tercero luminoso. El tipo al que pertenece un subespacio W se denomina su car acter causal. es coherente con la dada para vectores ya que un vector Observa que esta denicion individual v tiene el mismo car acter causal que la recta vectorial que genera. 10 ( ) (Indicaci mayor o on: p agina 141 de [ONe]) Sea W un subespacio de dimension igual que 2 en un espacio vectorial lorentziano. Demuestra que son equivalentes: 1. W es temporal 2. W contiene dos vectores nulos linealmente independientes 3. W contiene un vector temporal 11 ( ) (Indicaci on: p agina 142 de [ONe]) Sea W un subespacio de un espacio vectorial lorentziano. Demuestra que son equivalentes: 1. W es luminoso 2. W contiene un vector nulo pero no un vector temporal 3. W = L {0} donde L es una recta vectorial y es el cono nulo de V . 12 ( ) Considera el plano de Minkowski, esto es, el plano R2 equipado con la m etrica 2 2 dx dy en coordenadas canonicas. Expresa esta m etrica en coordenadas polares (r, ). Qu e se puede decir del car acter causal de los vectores r y ? 13 ( ) Dos part culas que est an situadas a la misma altura y separadas horizontalmente por una distancia de 10m se dejan caer desde un edicio de 240m de altura. Cu anto tiempo tardar an las part culas en llegar al suelo? El radio medio de la tierra es angulos semejantes prueba que cuando las part culas r 6,37 106 m. Utilizando tri horizontal ha disminuido 0, 4mm. alcanzan el suelo su separacion 14 ( ) (Unidades geom etricas) Es bien conocido por todos que es posible medir el tiempo en metros gracias a la formula t(en s) c(en metros/s) = t(en metros) de forma que el tiempo se mide ahora en unidades geom etricas (cambiamos la no m a metros para no confundirnos con la masa). Nos gustar tacion a poder hacer lo mismo con la masa m que est a expresada en kg . Para ello, encuentra en qu e uni G y demuestra que el factor dades se expresa la constante universal de gravitacion

G/c2 tiene unidades metros/kg . As , una masa en kg se convierte a metros mediante la expresion m(en kg ) G/c2 (en metros/kg ) = m(en metros). Demuestra que la ley de gravitacion universal adopta en estas nuevas unidades la expresion Mm F = 2 . r 15 ( ) Por qu e no tendr a sentido identicar las trayectorias de las part culas materiales con las geod esicas si la masa inercial y la gravitatoria no coincidieran? 16 ( ) Considera la variedad M = {(x, y, z, t) R4 : t > 1} con la m etrica g = (1 + t)dtdx + dy 2 + dz 2 . Demuestra que M es una variedad lorentziana (es decir, que ejemplo de part g es una m etrica y que adem as tiene ndice 1). Escribe algun cula material en dicha M (esto es, una curva cuya velocidad sea siempre temporal). 17 ( ) Errelandia es un mundo unidimensional en el que existe un campo de fuerzas gravitatorio. No obstante, un f sico les ha dicho a sus habitantes que tal fuerza no existe y que lo que realmente ocurre es que el tejido m etrico de su espacio-timepo de coordenadas (t, x) est a alterado por la presencia de una masa con arreglo a la m etrica dada por g = (1 + x2 )dt2 + dx2 Demuestra que g es una m etrica Lorentziana en la variedad R2 con coordenadas vamos a hallar sus geod (t, x). A continuacion esicas temporales (las l neas del universo de las part culas que se mueven libremente). Para ello, basta pensar que (t, x) son las coordenadas de una supercie de la Geometr a Diferencial de Tercero y que los coecientes de la primera forma fundamental son E (t, x) = (1 + x2 ) y G = 1. A escribe las ecuaciones diferenciales de las geod continuacion esicas y encuentra las funciones (t(s), x(s)) que nos dan dichas geod esicas. Considera ahora la l nea del universo de una part cula que parte del reposo desde x (0). Deduce el punto p R (entonces x(0) = p, x (0) = 0). Calcula su aceleracion entonces que para los errelandeses existe un sol en el origen, porque las part culas en reposo a la derecha del cero aceleran hacia la izquierda mientras que ocurre lo contrario para las part culas a la izquierda. 18 ( ) Considera un astronauta cerca de una estrella de masa M . Supongamos que el astronauta tiene los motores de su nave encendidos de suerte que permanece en estacionaria con respecto a la estrella. Sus coordenadas en esta posicion son posicion de la forma (u) = (u, r0 , 0 , 0 ) donde u es la unica variable no constante. Encuentra el par ametro arco de la curva que llamaremos . Este par ametro es el tiempo que observa el astronauta en el reloj que lleva en la nave (su tiempo propio). Compara el valor del tiempo propio con el valor del tiempo t en la m etrica de Schwarzschild (tiempo en el innito). Demuestra que, salvo una constante, = (1 2M 1/2 ) t r0

y deduce que si el astronauta emite un pulso de luz cada segundo, entonces el observador en el innito (sucientemente lejos de M ) recibe esos pulsos de luz cada t > 1 segundos (esto se conoce como efecto Doppler gravitacional). 19 ( ) En el ejercicio anterior, es la curva una geod esica? Justica tu respuesta. 20 ( ) Considera una estrella con la misma masa que el sol (M = 1, 477 kms) en unidades geom etricas. Esta estrella modica el espacio-tiempo con arreglo a la m etrica de Schwarzschild y sean las coordenadas canonicas de esta m etrica dadas por (t, r, , ). Considera A y B los eventos dados por A = (0, 4, /2, 0 ) y B = (0, 5, /2, 0 ). Calcula la longitud de la circunferencia s (0, 4, /2, s) que pasa por A. Demuestra que su longitud es 8 kms. Considera la curva radial dada por (u) = (0, 4+u, /2, 0 ). Es una curva temporal? Espacial? Nula? Calcula el modulo de su vector velocidad. Calcula la longitud de la curva y demuestra que es 1,723 kms. Concluye que el espacio-tiempo est a curvado y que esta curvatura se hace m as patente conforme nos vamos acercando al centro de la estrella. 21 ( ) Considera la m etrica de Schwarzschild y ja dos de las coordenadas: = 0 y la m = 0 . En esta situacion etrica de Schwarzschild nos queda (1 2M 2 2M 1 2 )dt + (1 ) dr r r

pues las otras dos diferenciales se anulan. Si v = (v1 , v2 , 0, 0) es un vector tangente en (t, r, 0 , 0 ), calcula su modulo. Qu e condiciones tienes que cumplir las componentes de v para que sea un vector nulo. Representa en un plano las coordenadas t y r de suerte que r est e en el eje horizontal y t en el vertical. Dibuja los conos de luz en este plano (esto es, las direcciones en las cuales los vectores son nulos). Interpreta los resultados. [ONe] ONeill, Barrett, Semi-riemannian geometry (with applications to relativity). Academic Press.