De Wikipedia, la enciclopedia libre
  (Redirigido desde el campo Frame )
Saltar a navegación Saltar a búsqueda

En la relatividad general , un campo de trama (también llamado una tétrada o vierbein ) es un conjunto de cuatro puntual - ortonormales campos de vectores , uno de tipo temporal y tres spacelike , definida en un colector de Lorentz que se interpreta físicamente como un modelo de espacio-tiempo . El campo de vector unitario en forma de tiempo a menudo se denota por y los tres campos de vector unitario en forma de espacio por . Todas las cantidades tensoriales definidas en la variedad se pueden expresar utilizando el campo de marco y su campo de marco doble .

Los marcos fueron introducidos en la relatividad general por Albert Einstein en 1928 [1] y por Hermann Weyl en 1929. [2]

La notación índice para tétradas se explica en tétrada (notación índice) .

Interpretación física [ editar ]

Los campos de cuadro siempre corresponden a una familia de observadores ideales inmersos en el espacio-tiempo dado; las curvas integrales del campo vectorial unitario en forma de tiempo son las líneas de mundo de estos observadores, y en cada evento a lo largo de una línea de mundo dada, los tres campos de vector unitario en forma de espacio especifican la tríada espacial llevada por el observador. Se puede pensar que la tríada define los ejes de coordenadas espaciales de un marco de laboratorio local , que es válido muy cerca de la línea de mundo del observador.

En general, las líneas de mundo de estos observadores no tienen por qué ser geodésicas temporales . Si alguna de las líneas de mundo se desvía de una trayectoria geodésica en alguna región, podemos pensar en los observadores como partículas de prueba que aceleran mediante el uso de motores de cohetes ideales con un empuje igual a la magnitud de su vector de aceleración . Alternativamente, si nuestro observador está unido a un poco de materia en una bola de fluido en equilibrio hidrostático , este pedacito de materia en general será acelerado hacia afuera por el efecto neto de la presión que sostiene la bola de fluido contra la atracción de su propia gravedad. Otras posibilidades incluyen un observador adjunto a una partícula de prueba cargada libre en unsolución de electrovacío , que por supuesto será acelerada por la fuerza de Lorentz , o un observador unido a una partícula de prueba giratoria , que puede ser acelerada por una fuerza de giro-giro.

Es importante reconocer que los marcos son objetos geométricos . Es decir, los campos vectoriales tienen sentido (en una variedad suave) independientemente de la elección de un gráfico de coordenadas y (en una variedad de Lorentz), también lo tienen las nociones de ortogonalidad y longitud. Por lo tanto, al igual que los campos vectoriales y otras cantidades geométricas, los campos de marco se pueden representar en varios gráficos de coordenadas. Los cálculos de los componentes de las cantidades tensoriales, con respecto a un marco dado, siempre producirán el mismo resultado, cualquiera que sea la tabla de coordenadas que se utilice para representar el marco.

Estos campos son necesarios para escribir la ecuación de Dirac en el espacio-tiempo curvo .

Especificando un marco [ editar ]

Para escribir un marco, se debe elegir un gráfico de coordenadas en la variedad de Lorentz. Luego, cada campo vectorial en la variedad se puede escribir como una combinación lineal de los cuatro campos vectoriales de base de coordenadas :

Aquí, se utiliza la convención de suma de Einstein y los campos vectoriales se consideran operadores diferenciales lineales de primer orden , y los componentes a menudo se denominan componentes contravariantes . Esto sigue las convenciones de notación estándar para secciones de un paquete tangente . Las notaciones alternativas para los campos vectoriales de base de coordenadas de uso común son

En particular, los campos vectoriales en el marco se pueden expresar de esta manera:

Al "diseñar" un marco, uno naturalmente necesita asegurarse, usando la métrica dada , que los cuatro campos vectoriales sean ortonormales en todas partes.

Los textos más modernos adoptan la notación para y o para . Esto permite el truco visualmente inteligente de escribir la métrica del espacio-tiempo como el producto interno de los vectores tangentes de coordenadas:

y la métrica de Minkowski de espacio plano como el producto de los gammas:

La elección de para la notación es una combinación intencional con la notación utilizada para las matrices de Dirac ; permite que se tomen no solo como vectores, sino como elementos de un álgebra, el álgebra del espacio-tiempo . Si se usa apropiadamente, esto puede simplificar parte de la notación utilizada al escribir una conexión de espín .

Una vez que se adopta una firma, por la dualidad cada vector de la base tiene un doble covector en el cobasis ya la inversa. Por lo tanto, cada campo de fotograma está asociado con un campo de fotograma único y viceversa; un campo de coframe es un conjunto de cuatro secciones ortogonales del paquete cotangente .

Especificar la métrica mediante un coframe [ editar ]

Alternativamente, el tensor métrico se puede especificar escribiendo un coframe en términos de una base de coordenadas y estipulando que el tensor métrico está dado por

donde denota producto tensorial . Esta es solo una forma elegante de decir que el coframe es ortonormal . Ya sea que se use para obtener el tensor métrico después de escribir el marco (y pasar al coframe dual), o comenzar con el tensor métrico y usarlo para verificar que se ha obtenido un marco por otros medios, siempre debe ser verdadero.

Relación con el tensor métrico, en una base de coordenadas [ editar ]

El campo vierbein,, tiene dos tipos de índices: etiqueta la coordenada del espacio-tiempo general y etiqueta el espacio-tiempo de Lorentz local o las coordenadas del laboratorio local.

El campo vierbein o campos de la trama pueden ser considerados como la “matriz raíz cuadrada” del tensor métrico , ya que en una base de coordenadas,

donde es la métrica de Lorentz .

Los índices de Lorentz locales aumentan y disminuyen con la métrica de Lorentz de la misma manera que las coordenadas espaciales-temporales generales aumentan y disminuyen con el tensor métrico. Por ejemplo:

El campo vierbein permite la conversión entre el espacio-tiempo y los índices de Lorentz locales. Por ejemplo:

El propio campo vierbein se puede manipular de la misma manera:

, desde

Y estos se pueden combinar.

Algunos ejemplos más: el espacio-tiempo y las coordenadas locales de Lorentz se pueden combinar:

Las coordenadas locales de Lorentz se transforman de manera diferente a las coordenadas espaciales-temporales generales. Bajo una transformación de coordenadas general tenemos:

mientras que bajo una transformación de Lorentz local tenemos:

Comparación con base de coordenadas [ editar ]

Los vectores de base de coordenadas tienen la propiedad especial de que sus paréntesis de Lie en pares desaparecen. Excepto en regiones localmente planas, al menos algunos corchetes de Lie de campos vectoriales de un marco no desaparecerán. El bagaje resultante necesario para calcular con ellos es aceptable, ya que los componentes de los objetos tensoriales con respecto a un marco (pero no con respecto a una base de coordenadas) tienen una interpretación directa en términos de mediciones realizadas por la familia de observadores ideales correspondientes al marco .

Los vectores de base de coordenadas pueden ser nulos , lo que, por definición, no puede suceder para los vectores de marco.

Marcos inerciales y no giratorios [ editar ]

Algunos marcos son más bonitos que otros. Particularmente en las soluciones de vacío o electrovacío , la experiencia física de los observadores inerciales (que no sienten fuerzas) puede ser de particular interés. La caracterización matemática de un marco inercial es muy simple: las curvas integrales del campo de vector unitario temporal deben definir una congruencia geodésica , o en otras palabras, su vector de aceleración debe desaparecer:

A menudo, también es deseable asegurarse de que la tríada espacial llevada por cada observador no gire . En este caso, la tríada puede verse como giroestabilizada . El criterio para un marco inercial no giratorio (NSI) es nuevamente muy simple:

Esto dice que a medida que nos movemos a lo largo de la línea de mundo de cada observador, su tríada espacial se transporta en paralelo . Los marcos inerciales no giratorios ocupan un lugar especial en la relatividad general, porque están lo más cerca que podemos estar en una variedad Lorentziana curvada de los marcos de Lorentz utilizados en la relatividad especial (estos son marcos inerciales especiales no giratorios en el vacío de Minkowski ).

De manera más general, si la aceleración de nuestros observadores es distinta de cero , podemos reemplazar las derivadas covariantes

con las derivadas de Fermi-Walker (proyectadas espacialmente) para definir un marco no giratorio .

Dada una variedad de Lorentz, podemos encontrar infinitos campos de marco, incluso si necesitamos propiedades adicionales como el movimiento inercial. Sin embargo, un campo de trama dado muy bien podría definirse solo en una parte de la variedad.

Ejemplo: observadores estáticos en el vacío de Schwarzschild [ editar ]

Será instructivo considerar con cierto detalle algunos ejemplos simples. Considere el famoso vacío de Schwarzschild que modela el espacio-tiempo fuera de un objeto masivo esféricamente simétrico que no gira, como una estrella. En la mayoría de los libros de texto, se encuentra el tensor métrico escrito en términos de una gráfica esférica polar estática, de la siguiente manera:

Más formalmente, el tensor métrico se puede expandir con respecto a la cobase de coordenadas como

Se puede leer un coframe a partir de esta expresión:

Para ver que este coframe realmente corresponde al tensor métrico de Schwarzschild, simplemente conecte este coframe en

El marco dual es el coframe transpuesto invertido como

(El signo más en asegura que es el futuro que apunta .) Este es el marco que los modelos de la experiencia de los observadores estáticos que utilizan los motores de cohetes a "flotar" sobre el objeto masivo . El empuje que necesitan para mantener su posición viene dado por la magnitud del vector de aceleración

Esto apunta radialmente hacia adentro, ya que los observadores necesitan acelerar alejándose del objeto para evitar caer hacia él. Por otro lado, las derivadas de Fermi proyectadas espacialmente de los vectores de base espacial (con respecto a ) se desvanecen, por lo que este es un marco no giratorio.

Ahora se pueden calcular los componentes de varias cantidades tensoriales con respecto a nuestro marco y su coframe dual.

Por ejemplo, el tensor de mareas para nuestros observadores estáticos se define usando notación tensorial (para una base de coordenadas) como

donde escribimos para evitar saturar la notación. Sus únicos componentes distintos de cero con respecto a nuestro coframe resultan ser

Los componentes de base de coordenadas correspondientes son

(Una nota rápida sobre la notación: muchos autores colocan signos de intercalación sobre índices abstractos que se refieren a un marco. Al escribir componentes específicos , es conveniente denotar los componentes del marco con 0,1,2,3 y coordinar los componentes con . Dado que una expresión como no no tiene sentido como una ecuación tensorial , no debería haber posibilidad de confusión).

Compare el tensor de mareas de la gravedad newtoniana, que es la parte sin trazas del hessiano del potencial gravitacional . Usando la notación tensorial para un campo tensorial definido en el espacio euclidiano tridimensional, esto se puede escribir

Es posible que el lector desee analizar esto (observe que el término de rastreo en realidad desaparece de manera idéntica cuando U es armónico) y comparar los resultados con el siguiente enfoque elemental: podemos comparar las fuerzas gravitacionales en dos observadores cercanos que se encuentran en la misma línea radial:

Debido a que al discutir los tensores estamos tratando con álgebra multilineal , solo retenemos términos de primer orden, entonces . De manera similar, podemos comparar la fuerza gravitacional en dos observadores cercanos que se encuentran en la misma esfera . Usando algo de trigonometría elemental y la aproximación de ángulo pequeño, encontramos que los vectores de fuerza difieren por un vector tangente a la esfera que tiene magnitud

Al usar la aproximación de ángulo pequeño, hemos ignorado todos los términos del orden , por lo que las componentes tangenciales son . Aquí, nos referimos al marco obvio obtenido de la carta esférica polar para nuestro espacio euclidiano tridimensional:

Claramente, los componentes de coordenadas calculados anteriormente ni siquiera se escalan de la manera correcta, por lo que claramente no pueden corresponder a lo que un observador medirá ni siquiera aproximadamente. (Por coincidencia, los componentes del tensor de mareas de Newton concuerdan exactamente con los componentes del tensor de mareas relativista que escribimos anteriormente).

Ejemplo: observadores de Lemaître en el vacío de Schwarzschild [ editar ]

Para encontrar un marco inercial, podemos aumentar nuestro marco estático en la dirección mediante un parámetro de impulso indeterminado (dependiendo de la coordenada radial), calcular el vector de aceleración del nuevo marco indeterminado, establecerlo en cero y resolver el impulso desconocido. parámetro. El resultado será un marco que podremos utilizar para estudiar la experiencia física de los observadores que caen libre y radialmente hacia el objeto masivo. Al elegir adecuadamente una constante de integración, obtenemos el marco de los observadores de Lemaître , que caen desde el reposo en el infinito espacial . (Esta frase no tiene sentido, pero el lector sin duda no tendrá dificultad en comprender nuestro significado). En la carta esférica polar estática, este marco se obtiene de las coordenadas de Lemaître y se puede escribir como

Tenga en cuenta que , y que "se inclina hacia adentro", como debería, ya que sus curvas integrales son geodésicas temporales que representan las líneas del mundo de los observadores que caen . De hecho, dado que las derivadas covariantes de los cuatro vectores base (tomadas con respecto a ) se desvanecen de manera idéntica, nuestro nuevo marco es un marco inercial no giratorio .

Si nuestro objeto masivo es de hecho un agujero negro (no giratorio) , probablemente deseemos seguir la experiencia de los observadores de Lemaître a medida que caen a través del horizonte de eventos en . Dado que las coordenadas esféricas polares estáticas tienen una singularidad de coordenadas en el horizonte, tendremos que cambiar a un gráfico de coordenadas más apropiado. La opción más simple posible es definir una nueva coordenada de tiempo mediante

Esto da la tabla de Painlevé . El nuevo elemento de línea es

Con respecto a la carta Painlevé, el marco Lemaître es

Observe que su tríada espacial se ve exactamente como el marco del espacio euclidiano tridimensional que mencionamos anteriormente (cuando calculamos el tensor de mareas newtoniano). De hecho, ¡las hiperslices espaciales resultan ser localmente isométricas al espacio euclidiano tridimensional plano! (Esta es una propiedad notable y bastante especial del vacío de Schwarzschild; la mayoría de los espaciotiempos no admiten un corte en secciones espaciales planas).

El tensor de mareas tomado con respecto a los observadores de Lemaître es

donde escribimos para evitar saturar la notación. Este es un tensor diferente al que obtuvimos anteriormente, porque se define usando una familia diferente de observadores . No obstante, sus componentes no evanescentes parecen familiares: . (Esta es nuevamente una propiedad bastante especial del vacío de Schwarzschild).

Observe que simplemente no hay forma de definir observadores estáticos dentro o dentro del horizonte de eventos. Por otro lado, los observadores de Lemaître tampoco están definidos en toda la región exterior cubierta por la carta esférica polar estática, por lo que en estos ejemplos, ni el marco de Lemaître ni el marco estático están definidos en toda la variedad.

Ejemplo: observadores de Hagihara en el vacío de Schwarzschild [ editar ]

De la misma manera que encontramos los observadores de Lemaître, podemos impulsar nuestro marco estático en la dirección mediante un parámetro indeterminado (dependiendo de la coordenada radial), calcular el vector de aceleración y requerir que este desaparezca en el plano ecuatorial . El nuevo marco de Hagihara describe la experiencia física de los observadores en órbitas circulares estables alrededor de nuestro objeto masivo. Aparentemente, fue discutido por primera vez por el astrónomo Yusuke Hagihara .

En la carta esférica polar estática, el marco de Hagihara es

que en el plano ecuatorial se convierte en

El tensor de mareas donde resulta estar dado (en el plano ecuatorial) por

Por lo tanto, en comparación con un observador estático que se desplaza en un radio de coordenadas dado, un observador de Hagihara en una órbita circular estable con el mismo radio de coordenadas medirá las fuerzas de marea radiales que son ligeramente mayores en magnitud, y las fuerzas de marea transversales que ya no son isotrópicas (pero un poco más grande ortogonal a la dirección del movimiento).

Tenga en cuenta que el marco de Hagihara solo se define en la región . De hecho, las órbitas circulares estables solo existen , por lo que el marco no debe usarse dentro de este locus.

El cálculo de las derivadas de Fermi muestra que el campo de cuadro que se acaba de dar está girando con respecto a un cuadro giroestabilizado. La razón principal por la que es fácil de detectar: ​​en este marco, cada observador de Hagihara mantiene sus vectores espaciales alineados radialmente , de modo que gire mientras el observador orbita alrededor del objeto masivo central. Sin embargo, después de corregir esta observación, todavía queda una pequeña precesión del eje de giro de un giroscopio llevado por un observador de Hagihara; este es el efecto de precesión de De Sitter (también llamado efecto de precesión geodésica ).

Generalizaciones [ editar ]

Este artículo se ha centrado en la aplicación de marcos a la relatividad general y, en particular, en su interpretación física. Aquí esbozamos muy brevemente el concepto general. En una variedad riemanniana n- dimensional o una variedad pseudo-riemanniana , un campo marco es un conjunto de campos vectoriales ortonormales que forman una base para el espacio tangente en cada punto de la variedad. Esto es posible globalmente de manera continua si y solo si el colector es paralelizable . Como antes, los fotogramas se pueden especificar en términos de una base de coordenadas dada, y en una región no plana, algunos de sus paréntesis de Lie por pares no desaparecerán.

De hecho, dado cualquier espacio de producto interno , podemos definir un nuevo espacio que consta de todas las tuplas de bases ortonormales para . Al aplicar esta construcción a cada espacio tangente se obtiene el haz de marcos ortonormal de una variedad (pseudo) riemanniana y un campo de marcos es una sección de este paquete. De manera más general, podemos considerar paquetes de tramas asociados a cualquier paquete de vectores , o incluso paquetes de fibras principales arbitrarios . La notación se vuelve un poco más complicada porque es más difícil evitar distinguir entre índices que se refieren a la base e índices que se refieren a la fibra. Muchos autores hablan de componentes internos cuando se refieren a componentes indexados por la fibra.

Ver también [ editar ]

  • Soluciones exactas en relatividad general
  • Georges Lemaître
  • Karl Schwarzschild
  • Método de fotogramas en movimiento
  • Paul Painlevé
  • Vierbein
  • Yusuke Hagihara

Referencias [ editar ]

  1. ^ Albert Einstein "de Riemann-Geometrie mit Aufrechterhaltung des des Begriffes Fernparallelismus", Sitzungsberichte der Wissenschaften Preußischen Akademieder, Physikalisch- MathematischeKlasse , p217-221, 06/07/1928, http://echo.mpiwg-berlin.mpg.de/MPIWG:YP5DFQU1 . Traducción al inglés disponible en Jeffrey Yepez, "Einstein's vierbein field theory of curved space", https://arxiv.org/abs/1106.2037 .
  2. ^ Hermann Weyl "Elektron und Gravitation I", Zeitschrift Physik , 56, p330–352, 1929.
  • Flandes, Harley (1989). Formas diferenciales con aplicaciones a las ciencias físicas . Nueva York: Dover. ISBN 0-486-66169-5.Vea el Capítulo IV para los marcos en E 3 , luego vea el Capítulo VIII para los campos de marco en las variedades de Riemann . Este libro no cubre realmente las variedades de Lorentz, pero con estos antecedentes en la mano, el lector está bien preparado para la siguiente cita.
  • Misner, Charles; Thorne, Kip S .; Wheeler, John Archibald (1973). Gravitación . San Francisco: WH Freeman. ISBN 0-7167-0344-0.En este libro, un campo marco (campo coframe) se denomina base anholonómica de vectores (covectores) . La información esencial está muy dispersa, pero se puede encontrar fácilmente utilizando el índice extenso.
  • Landau, LD; Lifschitz, EF (1980). La teoría clásica de los campos (4ª ed.) . Londres: Butterworth-Heinemann. ISBN 0-7506-2768-9.En este libro, un campo de marco se denomina tétrada (que no debe confundirse con el término ahora estándar NP tétrada utilizado en el formalismo de Newman-Penrose ). Consulte la Sección 98 .
  • De Felice, F .; Clarke, CJ (1992). Relatividad en colectores curvos . Cambridge: Cambridge University Press. ISBN 0-521-42908-0.Consulte el Capítulo 4 para los marcos y coframes. Si alguna vez necesita más información sobre los campos de marcos, este podría ser un buen lugar para buscar.