Matemáticamente esto sucede porque el impulso viene dado por el valor, en un estado físico, del operador que genera las traducciones de espacio y tiempo.
Un estado físico que contiene un fotón es un estado que contiene una partícula que se traduce en el espacio y el tiempo. No es un estado invariante bajo las traducciones de espacio y tiempo. De hecho, un fotón siempre se mueve a lo largo de un camino similar a la luz: viaja a lo largo de un cono de luz.
Entonces, un estado que contiene un fotón debe tener un momento distinto de cero.
Si se presiona, diría que la noción de impulso es más básica que la noción de masa. Por lo tanto, en su lugar, cambiaría toda la pregunta.
Si un fotón no tuviera impulso, ¿qué podría significar decir que tenía masa cero?
Encuentro que los términos “masa en reposo” y “masa relativista” son superfluos en las teorías actuales, aunque ambos son bastante universalmente utilizados por los físicos. Su uso se produce históricamente porque la gente estaba, al principio, muy sorprendida por algunas de las implicaciones de la relatividad especial que tiene que ver con las relaciones entre masa, energía e impulso, ya que estas cantidades se habían entendido en la mecánica newtoniana. Por lo tanto, el uso de esos términos no desaparecerá pronto, lo cual está perfectamente bien. Pero la cantidad básica que es de verdadero interés solo requiere una palabra para denotarla y esa palabra debería ser “masiva”, creo.
Tenga en cuenta que el término “masa en reposo” de hecho no tiene ningún significado para un fotón, ya que no existe un marco de referencia en el que un fotón esté en reposo. Para alcanzar ese marco, se requeriría una transformación singular de Lorentz.
El movimiento, que es solo otra palabra para la traducción de estados en el espacio y el tiempo, puede existir perfectamente sin masa, definiéndose la masa de la manera más consistente que conozco. Entonces, dado que el momento genera movimiento, el momento se asocia más directamente con el movimiento que con la masa.
Los fotones parecen ser bastante reales y pueden moverse y producir efectos reales y medibles. Como pueden moverse, deben tener impulso. Pero no se sigue eso, porque tienen impulso, también deben tener masa.
Es interesante recordar que Isaac Newton se refirió al impulso como la “cantidad de movimiento”, aunque en su descripción fue explícito que el impulso era proporcional a lo que Newton llamó la “masa” de un objeto, así como a su velocidad. Sus leyes del movimiento se referían a la “cantidad de movimiento”, es decir, se ocupaban del impulso y de cómo cambiaba con el tiempo.
Sin ser terriblemente específico sobre lo que significa esto, uno podría escribir el generador de traducciones de espacio y tiempo como:
[matemáticas] P_ \ mu, \, \ mu = 0,1,2,3 [/ matemáticas].
El impulso tiene cuatro componentes, ya que el espacio y el tiempo parecen describirse por cuatro coordenadas. En la construcción más natural, estos operadores de momento tendrán valores reales en un estado cuántico de algún objeto o alguna partícula.
Momentum square es un operador Casimir cuadrático del grupo de isometría del espacio de Minkowski: que es el grupo de Lorentz más las traducciones de espacio y tiempo. Este grupo también se llama a menudo el grupo de Poincaré. Ese momento al cuadrado es un operador de Casimir, solo significa que es un operador que conmuta con todos los otros generadores del grupo, lo cual se verifica fácilmente si uno simplemente los escribe explícitamente y luego calcula usando el álgebra de Lie del grupo. No lo haré, pero no es nada difícil de hacer.
Esto significa, según el lema de Schur, que en una representación del grupo, el valor del momento al cuadrado será un número bien definido.
Ese número es real y puede ser positivo, puede ser negativo o puede ser cero. Se llama la masa al cuadrado para abreviar. La raíz cuadrada del número se llama masa.
Por lo tanto, en un irrep [math] \ vert i \ rangle [/ math] sería el caso de que:
[matemáticas]
\ begin {align}
P ^ 2 \ vert i \ rangle & = ((P_0) ^ 2 – (P_1) ^ 2 – (P_2) ^ 2 – (P_3) ^ 2) \ vert i \ rangle \\
& = m_i ^ 2 \ vert i \ rangle
\ end {align}
[/matemáticas],
para algún número real [matemáticas] m_i ^ 2 [/ matemáticas].
Cuando se construyen teorías de campo cuántico que están destinadas a describir el mundo, la gente generalmente quiere tratar de hacerlas invariantes de Lorentz, ya que se cree ampliamente que esta es una simetría local básica del mundo.
Esto se hace construyendo operadores de campo libre precisamente para que admitan una expansión en algunos irreps del grupo de Lorentz, y luego asegurándose de que los operadores de campo solo aparecen en combinaciones invariantes de Lorentz en la densidad lagrangiana que se escribe para la teoría, y que produce las ecuaciones de movimiento.
Resulta que las teorías de campo que están escritas involucrando irreps con [math] m ^ 2 <0 [/ math] tienen problemas severos, que no son fáciles de resolver en general, pero que las teorías con irreps que tienen [math] m ^ 2 \ geq 0 [/ math] parece ser, al menos superficialmente, consistente.
Las partículas que se describen en el campo libre, en el enfoque de cuantificación canónica de la teoría del campo cuántico, tienen momentos que satisfacen la relación de capa de masa, y los estados en la teoría del campo libre se pueden describir mediante un conjunto de números de ocupación que indican cuántos partículas de un tipo dado están ahí. Entonces, para cada partícula tenemos la relación de capa de masa:
[matemáticas] p ^ 2 = m ^ 2 [/ matemáticas].
Los valores permitidos para los componentes del momento [math] p_ \ mu [/ math] son cualquier número real. Si [math] m [/ math] resulta ser cero, entonces ese sigue siendo el caso.
La relación de caparazón de masa aún exige que la energía, que es el componente número 0 del momento, y el momento tres que consiste en los otros tres componentes no sean números totalmente arbitrarios, sino que estén relacionados de una manera particular, de modo que el la masa es exactamente cero. Entonces, que una partícula tenga masa cero no implica que tenga un momento cero.
Resulta que, en general, esta imagen no puede trasladarse rigurosamente al caso de una teoría de campo que interactúa en cuatro dimensiones para cualquier caso no trivial. Un teorema llamado teorema de Haag lo impide, y nunca se han construido modelos tridimensionales no triviales que satisfagan lo que parece ser un conjunto razonable de axiomas para la teoría cuántica de campos.
Sin embargo, todavía es posible demostrar que esta visión de lo que es la teoría cuántica de campos es posible mantener, al menos cuando las interacciones son muy débiles; es una descripción precisa de la teoría cuando es una teoría perturbativa. Para ciertas teorías de campo importantes, la teoría de la perturbación puede ser impulsada de manera muy, muy dura y da resultados de acuerdo con todos los experimentos que hasta ahora se han realizado.
Entonces, la mejor imagen matemática, en el sentido de que parece ser la imagen más útil para describir la física, que hasta ahora se puede construir de lo que realmente son la masa y el momento, permite que el momento de un fotón sea distinto de cero al mismo tiempo. tiempo ya que su masa es cero.