33 votos

¿Por qué campos de la matanza son relevantes en la física?

Me estoy tomando un curso sobre la teoría de la Relatividad General y las notas que estoy siguiendo definir un Asesinato campo de vectores de $X$ como aquellos verificar:

$$\mathcal{L}_Xg~=~ 0.$$

Parecen ser muy importante en física, pero no entiendo por qué aún debido a que la definición es la única cosa que he hecho hasta ahora. No estoy muy familiarizado con la Mentira de derivados, así que no sé cómo interpretar esa ecuación tan lejos.

¿Cuál es el significado de la Mentira derivados de la métrica de 0? ¿Por qué están Matando a los campos pertinentes físicamente?

26voto

Prahar Puntos 6600

Campos de muerte son uno de los conceptos más importantes en la relatividad general, tanto en su clásica como cuántica versiones.

Clásicamente, una cosa que siempre nos interesa es el mundo de la línea/la trayectoria de una caída libre de observador en la curva espacio-tiempo. Estos líneas se describen como geodesics y satisfacer la ecuación $$ \frac{d^2 x^\mu}{d\tau^2} + \Gamma^\mu_{\rho\sigma} \frac{dx^\rho}{d\tau} \frac{ dx^\sigma }{ d\tau } = 0 $$ donde $\tau$ es el parámetro afín a lo largo de la línea geodésica.

Ahora, si $\xi^\mu$ es Matar a un campo vectorial, entonces es fácil demostrar que $$ Q_\xi = \xi_\mu \frac{dx^\mu}{d\tau} $$ es una constante a lo largo de la línea geodésica, es decir, $$ \frac{d}{d\tau} Q_\xi = 0 $$ Por lo tanto. nos encontramos con que cada uno de los asesinatos de campo vectorial da lugar a una cantidad conservada a lo largo del mundo-línea de caida libre observador. Este hecho puede entonces ser utilizado para la etiqueta geodesics. Esto no es sino un ejemplo de teorema de Noether en juego en GR.

Por ejemplo, condicionados por el espacio-tiempo, existe una Matanza vector que es a nivel mundial el tiempo-como (esta es la definición de los equipos fijos de espacio-tiempo), $k^\mu$. Entonces, podemos definir una cantidad conservada $$ E = - k_\mu \frac{dx^\mu}{d\tau} $$ Esto es simplemente la generalización de la definición de energía! (Se puede comprobar lo que esto se reduce a un plano espacio-tiempo?)

En las teorías cuánticas del campo, Matando a los vectores pueden ser utilizados para construir conservado corrientes (y por lo tanto a la conclusión de la existencia de simetrías y todo el alboroto que la acompaña). Por ejemplo, cualquier local de la teoría cuántica de campos tiene una tensión tensor de operador $T_{\mu\nu}$ que es simétrica y conservado. El uso de la Matanza de campos vectoriales $\xi^\mu$ podemos definir conservado corrientes $$ j^\nu = \xi_\mu T^{\mu\nu} $$ Esta corriente, a continuación, cumple diversos Barrio identidades, etc.

Línea de fondo - simetrías forma la base de casi toda la física que se hace en la actualidad. La matanza de campos vectoriales son simplemente manifestaciones de las simetrías en el contexto de la relatividad general.

21voto

murki Puntos 317

Imagine el agua que fluye de manera constante en una corriente, de manera constante lo que hace que la superficie del agua nunca cambia de forma. El agua forma una imagen tridimensional de colector $M$. Ver cómo el agua se mueve a lo largo de un período de $t$ segundos da un diffeomorphism $\phi^t \colon M \a M$. Si la corriente es la realización de una diatomea por la corriente, y usted verá en el punto $p$, usted sabe que en $t$ segundos estará en el punto $\phi^t(p)$.

El agua se encuentra dentro de el espacio Euclidiano, por lo que podemos medir ángulos y distancias en el agua. En otras palabras, $M$ tiene una métrica de $g$. El flujo de la corriente puede cambiar los ángulos y las distancias. Como ejemplo, imagine una pequeña medusa flotando en la corriente. Ahora, es en el punto $p$, y dos de sus tentáculos que sobresalen a lo largo de la perpendicular de la unidad de vectores de $v, w \en T_p M$.

Después de que $t$ segundos, la medusa será en $\phi^t(p)$, y sus tentáculos se pegue a lo largo de los nuevos vectores de $\phi^t_*(v)$ y $\phi^t_*(w)$. Aquí, $\phi^t_*$ denota el pushforward, también conocido como el total de derivados, de la diffeomorphism $\phi^t$. Los vectores $\phi^t_*(v)$ y $\phi^t_*(w)$ no se vectores unitarios más, y no podría ser perpendicular más bien.

Como la medusa que flota hacia el arroyo, ¿cómo son los ángulos y las longitudes de sus tentáculos cambiando? La Mentira derivados de la métrica de $g$ nos dirá.

La velocidad del agua en el punto $p$ es descrito por un vector tangente a $M$ a $p$, de forma que la velocidad del agua en todas partes es descrito por un vector de campo $X$ en $M$. El campo de velocidad $X$ no cambia con el tiempo, porque el agua está fluyendo constantemente. El número de $$\mathcal{L}_X g(v, w)$$ se define como la tasa actual de cambio, es decir, la derivada en el tiempo cero de $g(\phi^t_*(v), \phi^t_*(w))$. De manera más general, $\mathcal{L}_X g$ se describe la forma en que el flujo de la corriente es el cambio de ángulos y distancias.

Por último, ¿qué significa si $\mathcal{L}_X g$ es cero? Esto significa que el flujo del agua no cambia de ángulos y distancias. El agua se mueve en un completamente rígido: que bien podría ser una hoja de hielo de deslizamiento hacia abajo de una colina, en lugar de un arroyo. En un par de segundos, todas las diatomeas y las medusas atrapado en el hielo en diferentes lugares, pero los ángulos y las distancias entre ellos no va a cambiar. Las criaturas, a pesar de ser congelado en el mismo se plantea; la pobre medusa tiene sus tentáculos que salen en ángulos rectos para siempre.

En física, la corriente $M$ es reemplazado por el espacio-tiempo. Un campo de vectores de $X$ de $\mathcal{L}_X g = 0$ se describe completamente rígido movimiento del espacio-tiempo: un flujo que no cambia el espacio-tiempo de los intervalos entre los eventos. El nombre técnico para esto es un flujo de isometrías.

En el espacio-tiempo de Minkowski, constantes rotaciones, constante aumenta, constante y traducciones en el espacio y el tiempo son todos los flujos por isometrías, por lo que el asociado campos vectoriales son todos ejemplos de campos de Matanza. En particular, si usted está flotando en el espacio sin tumbling o acelerar, el "flujo del tiempo" desde su punto de vista es un flujo de isometrías.

Para otro ejemplo, supongamos que usted está en órbita alrededor de una estrella, por lo que su mundo es bien descrito por un espacio-tiempo de Schwarzschild. Si su órbita es circular, el "flujo del tiempo" desde su punto de vista es una vez más un flujo de isometrías. Un deporte extremo astronauta usando una luz de la vela se ciernen sobre la estrella sin que giran a su alrededor se ve distinto "flujo del tiempo", y que el suyo es un flujo de isometrías.

En general, un timelike campo de muerte describe un punto de vista de que el "flujo del tiempo" es completamente rígido: el río del tiempo es más como un glaciar de tiempo. Un espacio-tiempo con un punto de vista que se llama estacionaria. En los ejemplos anteriores, podemos ver que el espacio-tiempo de Minkowski y de Schwarzschild spacetimes son estacionarias. FLRW spacetimes, sin embargo, no son: no importa cómo se mire, un universo FLRW siempre es expandir o colapsar, por lo que no se puede encontrar ningún punto de vista desde el cual el flujo del tiempo es rígido. Incluso en la Tierra, dudo que el espacio-tiempo está muy cerca de la estacionario: si alguna vez has visto un castillo de arena inundada por la marea creciente, usted sabe la gravedad de la Luna es demasiado fuerte como para ignorarlo, así que nuestro local el espacio-tiempo es, probablemente, el mejor descrito por alguna extraña tres cuerpo-espacio-tiempo que implican la Tierra, la Luna y el Sol. Esta imagen, si lo precisas, justifica el "río del tiempo" imágenes utilizadas por los poetas desde tiempo inmemorial.

4voto

Daniel Mahler Puntos 2066

Campo de muerte de los flujos de preservar las formas y tamaños. Que hace generadores de infinitesimales isometrías. Esta conexión a la simetría es una de las razones de su importancia.

La Mentira derivado puede ser pensado como el efecto de ser arrastrado por el flujo de un campo vectorial. Para este propósito una métrica puede ser pensado como un campo de $\epsilon$-bolas wrt para que la métrica. Mentira arrastrando una métrica en el punto $p$ junto $v$ corresponde al desplazamiento de cada punto dentro de la $\epsilon$-bola centrada en $p$ $v$. La Mentira derivado a continuación, corresponde a la distorsión en la forma y el tamaño de la pelota. La Mentira derivado de una métrica es 0 cuando $\epsilon$-bolas se conservan arrastrando. Esto significa campos de muerte debe ser divergencia libre.

Imagina una gota de tinta en un flujo de fluido compresible. Si la gota conserva su forma y tamaño, a continuación, el campo de velocidad del flujo de un campo de muerte en el barrio de la gota de tinta.

Esta es una ilustración de Penrose de la Carretera a la Realidad:

enter image description here

El flujo de un campo de muerte puede arrastrar el conjunto de colector. Desde la Matanza de los campos son divergencia libres y por tanto sus flujos no tienen fuentes o sumideros, arrastrando todo el colector da un bijection entre los puntos de inicio y fin (un automorphism). Puesto que el flujo preserva la métrica de la bijection es una isometría.


El último párrafo debe ser tomado con un grano de sal, consulte campos de muerte y simetrías

Creo que el argumento en el párrafo anterior sólo es válida para compact/cerrado los colectores.

3voto

miskio1646 Puntos 23

Una forma muy sencilla e intuitiva de imagen que puede ser moldeada por la definición de la mentira derivado siempre en Wald libro (C. 2.1), $$\mathcal{L}_{v}T_ {\ \ \ \ b_{1} la...b_{k}}^{a_{1}..a_{k}}=\lim_{t\rightarrow0}\left(\frac{\phi_{-t}^{*}T_ {\ \ \ \ b_{1} la...b_{k}}^{a_{1}..a_{k}}-T_ {\ \ \ \ b_{1} la...b_{k}}^{a_{1}..a_{k}}}{t}\right)$$ donde $\phi_t$ es un grupo de parámetros de diffeomorphisms generado por el vector de campo $v$ ($t$ es el parámetro) y $\phi^*_{-t}$ indica el mapa que llevar el tensor a lo largo del vector tangente $v$ cuando $t\rightarrow 0$. Sin ser sofisticado, la Mentira derivada nos dice cuánto de un tensor de cambio en la dirección de $v$.

Ahora, si la métrica no cambia a lo largo de una dirección determinada $X$ en $p$ (un punto del colector) entonces $X$ es Matar a un vector en $p$ y esto significa físicamente que la "gravedad" no cambia en esa dirección. Así que físicamente una Matanza de campos vectoriales formas curvas, donde la "gravedad" no cambia.

Un ejemplo se puede encontrar en la estática de las soluciones de las ecuaciones de Einstein (por ejemplo, de Schwarzschild). Estas soluciones tienen la "gravedad" que no cambia cuando el flujo del tiempo. Así que usted puede encontrar un tiempo como vector de campo que es de Matar-tipo (e $t$ anteriormente puede ser un buen parámetro para su tiempo).

Hay otra manera matemática de ver su importancia: El teorema de Noether. Se puede ver en estas conferencias Van Holten y Rietdijk http://arxiv.org/pdf/hep-th/9205074

1voto

David Z Puntos 571

Si la Mentira derivados de la métrica con respecto a un campo de vectores de $X$ es cero, entonces la métrica es constante a lo largo de curvas integrales del campo de vectores.

Si te dan una Matanza de campo vectorial, se puede mover a lo largo de cualquiera de sus curvas integrales sin cambiar la métrica. La matanza de campos vectoriales, por tanto, corresponden a las simetrías de la métrica. Si un determinado espacio-tiempo tiene simetrías, es a menudo conveniente para describir esas simetrías en términos de Matar campos vectoriales.

La matanza de campos vectoriales son esenciales, por ejemplo, en la definición de lo que significa para un espacio-tiempo es el tiempo de la traducción invariante. El término formal para un tiempo de traducción invariante en el espacio-tiempo es estacionaria, y fijo que el espacio-tiempo es uno que tiene un campo de muerte que está en todas partes timelike (esta definición se puede ampliar a no exigir que el campo es timelike en todas partes, pero no tendremos en cuenta este caso ahora).

En otras palabras, en un estacionario el espacio-tiempo no es un conjunto de curvas a lo largo de la cual la métrica es invariable, y estas curvas son timelike. Esto corresponde a la idea del tiempo de la traducción de la invariancia-podemos mover a lo largo de ciertas timelike curvas sin cambiar el espacio-tiempo.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X