Supongamos que tenemos una enorme teoría, la función de correlación exacta de dos puntos se da como
Entonces la condición de renormalización es
Sin embargo, cuando derivamos la ecuación de Callan-Symanzik para la teoría sin masa, definimos la condición de renormalización como
Hasta donde entendí la primera es exacta, también la segunda es exacta y para emparejarlas decimos
Pero la parte confusa es, en el caso sin masa, la exacta debería ser exactamente
Creo que la idea es que asumen que hay una escala de impulso donde la teoría se comporta exactamente como una teoría libre y ese punto como condición de renormalización pero cómo saben si existe tal punto.
Los campos escalares masivos no tienen singularidades en sus contratérminos, sin embargo, tienen singularidades cuando tomas . Por ejemplo, considere el contratérmino para la acción del campo escalar masivo
que hemos obtenido del lagrangiano desnudo
al sustituir
Por la presente, puede definir las condiciones de renormalización como se indica en su pregunta. Ahora se puede realizar la regularización dimensional y utilizar la parametrización de Feynmann para obtener una expresión para en :
Es fácil ver que este contratérmino desaparece cuando tomas . Como resultado, este esquema de renormalización no se puede utilizar cuando .
Para evitar estas singularidades en los contratérminos, defina las condiciones de renormalización para el caso sin masa en algún momento espacial (no físico) con , en lugar de en el caparazón . La ventaja es que los contratérminos no explotan como se vio anteriormente.
Tenga en cuenta que, en general, esta es una buena receta (incluso para el caso masivo), ya que evita por completo la necesidad de definir las condiciones de renormalización en la masa en el caparazón. Ahora se pueden usar varios funciones de punto de Green para escribir y resolver la ecuación de Callan-Symanzik, de la cual se deriva la ecuación de flujo RG en términos de la escala de renormalización .