En 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 por completo a la energía de campo y al momento de un campo escalar . Un campo de este tipo puede no tener masa o no , y se puede considerar que tiene un acoplamiento de curvatura mínima , o alguna otra opción, como un acoplamiento conforme .
En la relatividad general, la configuración geométrica 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 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 es necesaria para 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 de que la energía de campo del campo escalar sea la única fuente del campo gravitacional).
Los campos escalares a menudo se interpretan como aproximaciones clásicas, en el sentido de la teoría de campos efectiva , 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 pueden (en principio) 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 de vector unitario en forma de tiempo , los últimos tres son campos de vector unitario en forma de espacio ) siempre se puede encontrar en el que el tensor de Einstein toma la forma simple
donde es 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 el 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 los poderes. Encontramos eso
Podemos reescribir esto en términos de gimnasia índice como el criterio manifiestamente invariante:
Las soluciones de campo escalar individuales notables incluyen