En la relatividad general , una solución de campo escalar es una solución exacta de la ecuación de campo de Einstein en la que el campo gravitacional se debe enteramente a la energía del campo y al momento de un campo escalar . Tal campo puede o no tener masa , y se puede considerar que tiene un acoplamiento de curvatura mínimo , o alguna otra opción, como un acoplamiento conforme .
En la relatividad general, el escenario geométrico de los fenómenos físicos es una variedad de Lorentz , que se interpreta físicamente como un espacio-tiempo curvo, y que se especifica matemáticamente definiendo un tensor métrico (o definiendo un campo de marco ). El tensor de curvatura de esta variedad y cantidades asociadas como el tensor de Einstein , están bien definidos incluso en ausencia de cualquier teoría física, pero en la relatividad general adquieren una interpretación física como manifestaciones geométricas del campo gravitacional .
Además, debemos especificar un campo escalar dando una función . Esta función debe satisfacer dos condiciones siguientes:
.
Ambas condiciones se derivan de variar la densidad lagrangiana para el campo escalar, que en el caso de un campo escalar sin masa mínimamente acoplado es
Aquí,
da la ecuación de onda, mientras que
da la ecuación de Einstein (en el caso en que la energía del campo escalar es la única fuente del campo gravitacional).
Los campos escalares a menudo se interpretan como aproximaciones clásicas, en el sentido de teoría de campos efectivos , a algún campo cuántico. En la relatividad general, el campo de quintaesencia especulativo puede aparecer como un campo escalar. Por ejemplo, un flujo de piones neutros puede, en principio, modelarse como un campo escalar sin masa mínimamente acoplado.
Los componentes de un tensor calculados con respecto a un campo de marco en lugar de la base de coordenadas a menudo se denominan componentes físicos , porque estos son los componentes que (en principio) pueden ser medidos por un observador.
En el caso especial de un campo escalar sin masa mínimamente acoplado , un marco adaptado
(el primero es un campo vectorial unitario temporal , los últimos tres son campos vectoriales unitarios espaciales ) siempre se puede encontrar en el que el tensor de Einstein toma la forma simple
¿Dónde está la densidad de energía del campo escalar?
El polinomio característico del tensor de Einstein en una solución de campo escalar sin masa mínimamente acoplada debe tener la forma
En otras palabras, tenemos un valor propio simple y un valor propio triple, siendo cada uno negativo del otro. Multiplicando y usando métodos de base de Gröbner , encontramos que los siguientes tres invariantes deben desaparecer de manera idéntica:
Usando las identidades de Newton , podemos reescribirlas en términos de las huellas de las potencias. Encontramos eso
Podemos reescribir esto en términos de gimnasia índice como criterio manifiestamente invariante:
Las soluciones de campo escalar individuales notables incluyen