Una vez que se empieza a pensar en la relatividad, los campos gauge, el qft, etc., es fácil olvidar que la ecuación de KG sin masa es en realidad sólo un nombre elegante para una de las ecuaciones más simples y comunes de la física: $$ (\partial_t^2 - \partial_x^2) \, \varphi = 0 , $$ ¡la ecuación de onda!
El ejemplo más conocido son las ondas en una cuerda. Aquí está la respuesta en ese contexto:
$$ (\partial_t^2 - \partial_x^2 + m^2) \, \varphi = 0 $$
[![](https://i.imgur.com/lzo1xTY.png "(a) Zero mass.")](https://imgur.com/lzo1xTY) [![](https://i.imgur.com/p12lX43.png "(b) Nonzero mass.")](https://imgur.com/p12lX43)
Con $m=0$ estás hablando de ondas en una cuerda, donde cada pequeño segmento de cuerda está acoplado sólo a sus vecinos. (A esto lo llamamos "ecuación de onda").
Con $m\neq 0$ cada pequeño segmento de cuerda tiene una fuerza de restauración armónica de vuelta a su desplazamiento de equilibrio, además del acoplamiento de los vecinos. (Yo lo llamaría "ecuación de onda con dispersión").
El valor de $m$ le indica la fuerza de restauración armónica en cada punto, en relación con la fuerza de acoplamiento de los vecinos.
Bien, ¿por qué "masivo" y "sin masa"? Por algunas razones.
Mira la relación de dispersión $\omega = \sqrt{k^2 + m^2}$ .
-
En la mecánica cuántica $\omega \sim E$ y $k \sim p$ A grandes rasgos. Traduciendo, la relación de dispersión es como $E = \sqrt{p^2 + m^2}$ que es la energía relativista para una partícula con masa en reposo $m$ .
-
Los paquetes de ondas normalizados tienen una energía total mínima $m$ . (Puede que esto no sea estrictamente cierto, pero la idea es correcta. No me apetece elaborar la prueba. La cuestión es que en el espacio de Fourier (en un tiempo fijo) estás sumando energías relacionadas con $\omega(k) \geq m$ .)
-
La velocidad de grupo de todos los paquetes de ondas es $c$ (por supuesto $c=1$ aquí) si $m=0$ . Si $m>0$ todos los paquetes de ondas tienen una velocidad de grupo inferior a $c$ . En el caso masivo $m>0$ Los paquetes de ondas normalizados de baja energía se quedan quietos (toda la energía de la "masa en reposo", sin energía cinética), mientras que los paquetes de ondas normalizados muy energéticos se mueven casi a $c$ (alta energía cinética).
Al pasar a la cuántica, las propiedades 2 y 3 de los paquetes de ondas clásicos se traducen básicamente en las propiedades correspondientes de las excitaciones cuánticas.
Así que básicamente la respuesta a tu segunda pregunta es: Porque la relación de dispersión de KG corresponde a la ecuación de energía relativista para una partícula de masa en reposo $m$ y la dinámica de paquetes de ondas asociada también concuerda con la analogía.
Estoy seguro de que hay muchas más formas de pensar en esto, algunas más rigurosas desde el punto de vista matemático, pero creo que todas están fundamentalmente relacionadas con ese hecho básico y las propiedades anteriores.
2 votos
En unidades naturales, m se convierte en la masa de los cuantos del campo $\phi$ después de la cuantificación. Es una constante real e independiente de $\phi$ . Puede tener una expansión similar de $A_\mu$ en términos de $e^{\pm ipx}$ con la excepción de que $a_p$ y $a_p^*$ llevará un vector de polarización $\epsilon_\mu$ y $\epsilon_\mu^*$ respectivamente.
0 votos
La falta de masa (equivalente a la libertad gauge) provoca sólo dos vectores de polarización independientes.
0 votos
La falta de masa no es equivalente a la libertad de calibre.
0 votos
@my2cts en el espacio plano todas las representaciones unitarias de dimensión finita del grupo de Poincaré con masa cero tienen invariancia gauge. Cuando dices que la ausencia de masa y la libertad gauge no son equivalentes ¿a qué te refieres concretamente?
0 votos
@Mane.andrea esto dice que la falta de masa implica invariancia gauge, en lugar de ser equivalente a ella. Sigo sin estar de acuerdo y me interesaría una referencia al respecto. ¿Quieres decir que un campo vectorial masivo que es invariante gauge no puede ser renormalizado?
0 votos
@my2cts La renormalizabilidad no tiene nada que ver. Además los campos vectoriales masivos nunca son invariantes gauge. Es una afirmación de la teoría de grupos. El pequeño grupo de una representación sin masa es $\mathrm{ISO}(2)$ que no es compacto. En consecuencia, la única manera de tener representaciones unitarias de dimensión finita es hacer trivial la acción de los generadores en las direcciones no compactas. Esto se discute en las Secciones 2.5 y 5.9 de Weinber QFT 1 (específicamente me refería a la frase siguiente (2.5.43))