Soy nuevo en QFT, por lo que es posible que tenga una terminología incorrecta.
Muchos libros de QFT proporcionan un ejemplo de derivación de ecuaciones de movimiento para varias teorías libres. Un ejemplo es para un campo escalar complejo:
¿Cuál es la motivación para este método de tratar los dos campos como separados? Intuitivamente quiero tratar ϕ ∗ como simplemente el complejo conjugado de ϕ , no como un campo separado, y trabajar exclusivamente con ϕ .
¿Es simplemente un atajo para obtener las ecuaciones de movimiento?
También entiendo que uno podría escribir ϕ = ϕ 1 + i ϕ 2 donde los dos campos suscritos son reales, como se hace aquí ; tal vez esto aborde mi pregunta de una manera que no entiendo.
TL; DR: Sí, es solo un atajo. El punto principal es que el mapa complejo
es un mapa biyectivo: C 2 → C 2 .
Notación en esta respuesta: en esta respuesta, dejemos ϕ , ϕ ∗ ∈ C denotar dos campos complejos independientes . Dejar ϕ ¯ ¯ ¯ denotar el complejo conjugado de ϕ .
I) Comencemos por el principio. Imagine que consideramos una teoría de campo de un campo escalar complejo ϕ . Se nos da una densidad lagrangiana
eso es un polinomio en ϕ , ϕ ¯ ¯ ¯ y derivados del espacio-tiempo de los mismos. Siempre podemos descomponer un campo complejo en partes reales e imaginarias.
dónde ϕ 1 , ϕ 2 ∈ R . Por lo tanto, podemos reescribir la densidad lagrangiana (B) como una teoría de dos campos reales.
II) Podemos continuar al menos de tres maneras:
Variar la acción wrt. las dos variables reales independientes ϕ 1 , ϕ 2 ∈ R .
Originalmente ϕ 1 , ϕ 2 ∈ R son, por supuesto, dos campos reales . Pero podemos complejizarlos, variar la acción wrt. las dos variables complejas independientes ϕ 1 , ϕ 2 ∈ C , si al final del cálculo imponemos las dos condiciones reales
O, de manera equivalente, podemos reemplazar el campo conjugado complejo ϕ ¯ ¯ ¯ → ϕ ∗ en la densidad lagrangiana (B) con una nueva variable compleja independiente ϕ ∗ , es decir, tratar ϕ y ϕ ∗ como dos variables complejas independientes, varíe la acción wrt. las dos variables complejas independientes ϕ , ϕ ∗ ∈ C , si al final del cálculo imponemos la condición compleja
III) Las ecuaciones de Euler-Lagrange que derivamos a través de los dos métodos (1) y (2) obviamente serán exactamente las mismas. Las ecuaciones de Euler-Lagrange que derivamos a través de los dos métodos (2) y (3) serán solo combinaciones lineales entre sí con coeficientes dados por la matriz constante de eq. (UN).
IV) Mencionamos para completar que la teoría compleja [es decir, la teoría que obtendríamos si no imponemos la condición (E), o equivalentemente, la condición (F)] generalmente no es unitaria y, por lo tanto, está mal definida como QFT. Recuerde, para empezar, que generalmente exigimos que la densidad lagrangiana sea real.
Referencias
Por supuesto, la respuesta de @ QMechanic es correcta.
Me gustaría mostrar una razón muy simple por la que esto es así (y también señalar posibles generalizaciones)
En primer lugar, cualquier número complejo. z = a + b i , es bidimensional y cada parte (la parte real un o la parte imaginaria b i ) pueden ser completamente independientes entre sí. Como resultado, un número complejo puede representar en forma condensada 2 números . Además, esto también significa que también se debe determinar un número complejo para determinar completamente cada una de las dimensiones .
Por otro lado, de cada número complejo z = a + b i (junto con su complejo conjugado z ¯ = a - b i ), se pueden calcular 2 números reales ( un , si ) como:
Ya que un y si pueden ser completamente independientes entre sí, por lo que pueden z y z ¯ .
Existe una simetría completa de la representación (si se puede usar dicho término).
Esto significa que en QFT (por ejemplo), en lugar de hacer variaciones en el un , si campos reales, uno puede hacer variaciones equivalentes (por el mismo token) en el z , z ¯ campos complejos, etc.
ACTUALIZAR:
Entrar un poco más en las matemáticas abstractas.
La conjugación compleja es (el natural) automorfismo del campo de los números complejos . Además, el complejo conjugado de un número complejo z no puede derivarse de ninguna función analítica de z (más o menos significa funciones racionales de z y series de potencia). Esto hace que el complejo conjugado z ¯ candidato natural para tratar como campo separado.
Prueba: ¿Cuántos componentes se necesitan para calcular la velocidad? v = d x / d t de un objeto que tiene posición X ¿Y pueden considerarse independientes? O en otras palabras, saber la posición X (en un momento dado t ), ¿podemos saber también la velocidad? v (al mismo tiempo)
Me gustaría hacer un comentario, que puede aclarar y simplificar un poco las cosas.
En el análisis complejo [véase, por ejemplo, `` Introducción al análisis complejo "de BV Shabat] por definición derivados sobre las variables complejas z y z ¯ son dados por:
auxsvr