Un campo cuántico que no interactúa se puede descomponer en y . Esto nos permite calcular la varianza de un campo libre. Por ejemplo, la varianza del campo escalar real libre, en el vacío de la teoría, se calcula que es (sin un límite de impulso)
Como ya mencionaron otras personas, no está realmente bien definido porque hay una divergencia UV al tomar en . Pero en QFT podemos dar un significado a como operador compuesto . La divergencia UV que encontramos se puede restar orden por orden en la teoría de la perturbación y obtener una respuesta finita al final.
Permítanme asumir por simplicidad que el valor esperado de es cero en el vacío. Entonces tenemos que calcular . Supongo que está familiarizado con el formalismo de la integral de caminos. Definamos una fuente al que el operador compuesto está acoplado. Entonces tenemos una función de partición
Las reglas de Feynman son simples, simplemente agregue a las reglas para un nuevo vértice con un pierna y dos piernas. La función que necesitamos es la suma de todos los diagramas de Feynman con uno externo pierna. En un bucle en dim-reg esto es
A continuación, puede absorber ese polo en en la definición de para obtener una respuesta finita en el esquema. Tenga en cuenta que si el campo no tiene masa, esta integral desaparece de manera idéntica en dim-reg.
Figura 1
Damiano Anselmi, Renormalización . 14B1
No necesita calcular la varianza de un campo escalar para ver que siempre diverge: la expresión es esencialmente el límite del propagador para y es constante porque es un invariante de Lorentz. El propagador debe divergir para ya que de lo contrario predeciría una probabilidad no unitaria de que una partícula se propague a partir del evento al evento , lo cual no tendría sentido.
En la teoría de la interacción, cualquier intento de "cálculo" tendría que proceder calculando el propagador reanudado por Dyson con la precisión deseada y luego tomando el límite . Que, como se argumentó anteriormente, siempre divergirá, por lo que no tiene sentido intentarlo.
Dato adicional: la falta de definición/divergencia de es un reflejo del hecho de que un campo cuántico es una distribución con valores de operador y no se puede elevar al cuadrado una distribución de una manera matemáticamente rigurosa.
Profesor Legolasov
una mente curiosa
SRS