Evalúe la contribución de 111 bucles a la función de Green de 444 puntos

Estoy tratando de evaluar la siguiente integral

(1) I = d d pag mi ( 2 π ) d 1 ( pag mi 2 + metro 2 ) ( ( q mi pag mi ) 2 + metro 2 )
dónde pag mi es el momento en el espacio euclidiano (es decir, después de haber realizado una rotación de Wick). Usando el truco de parametrización de Feynman y algo de esfuerzo, ecuación ( 1 ) Se puede escribir como:
(2) I = 0 1 d X d d pag mi ( 2 π ) d 1 [ pag mi 2 + q mi 2 X ( 1 X ) + metro 2 ] 2
dónde pag mi = pag mi q ( 1 X ) . Conozco esa ecuacion ( 2 ) es correcto como lo he verificado al verificar 2 fuentes diferentes. Ahora bien, según las dos fuentes antes mencionadas, la ecuación ( 2 ) puede escribirse evaluado como:
(3) I = π d / 2 ( 2 π ) d Γ ( 2 d / 2 ) 0 1 d X ( q mi 2 X ( 1 X ) + metro 2 ) d / 2 2
dónde Γ ( 2 d / 2 ) es la función gamma . Sin embargo, no sé de dónde viene esto.

Hasta ahora, lo más cerca que he llegado es escribiendo la ecuación ( 2 ) como:

(4) I = 0 1 d X d d pag mi ( 2 π ) d 0 d tu 0 d tu mi tu ( pag mi 2 + q mi 2 X ( 1 X ) + metro 2 )
Podemos realizar la integración sobre pag mi mediante el uso de la integración de Gauss:
d d pag mi mi tu pag mi 2 = ( π tu ) d / 2
Así ecuación ( 4 ) se convierte en:
(5) I = π d / 2 ( 2 π ) d 0 1 d X 0 d tu 0 d tu tu d / 2 mi tu ( q mi 2 X ( 1 X ) + metro 2 )
Ahora, dejando:
w = ( q mi 2 X ( 1 X ) + metro 2 ) tu d tu = ( q mi 2 X ( 1 X ) + metro 2 ) 1 d w
y reemplazando lo anterior en la ecuación ( 5 ) rendimientos:
\begin{ecuación}\begin{alineado}I & = \frac{\pi^{d/2}}{(2 \pi)^d} \int\limits^1_0 \mathrm{d} x \int\limits ^\infty_0 \mathrm{d}w \int\limits^\infty_0 \mathrm{d}w \; w^{-d/2}e^{-w} \left(q_\text{E}^2 x(1-x) + m^2 \right)^{d/2-2} \\&= \frac{\pi^{d/2}}{(2 \pi)^d} \int\limits^1_0 \mathrm{d} x \int\limits^\infty_0 \mathrm{d}w \; \Gamma(1-d/2) \left(q_\text{E}^2 x(1-x) + m^2 \right)^{d/2-2} \tag{6}\end{alineado }\end{ecuación}
En este punto estoy atascado. No tengo idea si los pasos tomados para llegar a la ecuación ( 6 ) son correctas, pero la ecuación ( 6 ) se parece a una ecuación ( 3 ) así que espero que lo sean. ¿Alguien podría ayudarme y decirme cómo puedo derivar la ecuación? ( 3 ) ?

La expresión que mencionó se conoce como "la fórmula maestra" cuando se realizan cálculos de bucle. Los libros de QFT probablemente tengan una derivación. Estoy bastante seguro de que Peskin y Schroeder lo hacen cuando introducen estas técnicas.
@JeffDror He buscado en P&S, pero no pude encontrar nada. Tal vez me lo he perdido; Revisaré nuevamente.
@JeffDror qué expresión en mi publicación original se conoce como "la fórmula maestra". No puedo encontrar nada en P&S que pueda resolver mi problema.
Me refería a la ecuación 3. Esta ecuación y sus modificaciones se derivan en la pág. 249-251. El conjunto de fórmula maestra en el espacio de Minkowski (es decir, evita la molestia de la rotación de Wick) se cita en el apéndice, página 807.
Además, creo que tiene un error tipográfico en su ecuación 6. No creo que necesite el extra w integración.
@JeffDror Gracias por su respuesta. ¿Por qué no crees que el extra w ¿Es necesaria la integración? en ecuacion ( 4 ) ya estoy usando dos tu integraciones, ¿crees que eso también está mal?
Lo siento, no miré con mucha atención. Asumí que había un error ya que estabas integrando sobre la misma variable dos veces. Todavía no tuve la oportunidad de seguir toda la publicación.
@JeffDror está bien, no hay problema. Si tienes la oportunidad de echar un vistazo en algún momento en el futuro, te lo agradecería mucho.

Respuestas (2)

Puedes probar una fórmula general

d d pag mi ( 2 π ) d ( pag mi 2 ) metro ( pag mi 2 + Δ ) norte = 1 ( 4 π ) d / 2 Γ ( metro + d / 2 ) Γ ( norte metro d / 2 ) Γ ( d / 2 ) Γ ( norte ) ( 1 Δ ) norte metro d / 2 , norte > metro + d / 2
utilizando la integral de Gauss y la integral de Euler de primera clase.

Gracias, sin embargo, no estoy seguro de cómo aplicarlo al problema anterior. Según su identidad, norte = 2 y metro = 0 , de este modo:
I = 1 ( 4 π ) d / 2 Γ ( d / 2 ) Γ ( 2 d / 2 ) Γ ( d / 2 ) Γ ( 2 ) ( Δ ) 2 d / 2
que no es igual a la ecuación ( 3 ) .
Y Δ = q mi 2 X ( 1 X ) + metro 2 , es independiente de pag mi .
Ahhh ok, por lo que se ve muy similar. ¿Qué ha pasado con el 0 1 d X parte que debe ir delante de ( Δ ) 2 d / 2 (ver ecuación ( 3 ) )?
No podemos obtener una expresión analítica de la integral (3). Para d = 4 , (1) es log divergente.
Para metro 2 = 0 , (3) se puede expresar mediante la integral de Euler.
Lo siento, tal vez estoy siendo tonto, pero todavía no entiendo cómo se produce tu identidad:
I = π d / 2 ( 2 π ) d Γ ( 2 d / 2 ) 0 1 d X ( q mi 2 X ( 1 X ) + metro 2 ) d / 2 2
Aunque se vuelve similar a esa ecuación.
El 0 1 d X se copia de (2). Los dos I s no son los mismos en sus comentarios.
Sí, tienes toda la razón, no estaba prestando suficiente atención. ¡Gracias!

Aunque la respuesta dada por soliton es suficiente, he encontrado una manera de evaluar explícitamente esta integral (en caso de que alguien esté interesado). Partamos de la ecuación ( 2 ) en el mensaje original:

(2) I = 0 1 d X d d pag mi ( 2 π ) d 1 [ pag mi 2 + q mi 2 X ( 1 X ) + metro 2 ] 2
Esto se puede escribir como:
I = 0 1 d X d d pag mi ( 2 π ) d 0 d tu 1 mi tu 1 ( pag mi 2 + q mi 2 X ( 1 X ) + metro 2 ) 0 d tu 2 mi tu 2 ( pag mi 2 + q mi 2 X ( 1 X ) + metro 2 )
La integración terminada pag mi se convierte en una integral gaussiana ordinaria:
d d pag mi mi pag mi 2 ( tu 1 + tu 2 ) = ( π tu 1 + tu 2 ) d / 2
y entonces:
(3) I = 1 ( 4 π ) d / 2 0 1 d X 0 d tu 1 0 d tu 2 ( 1 tu 1 + tu 2 ) d / 2 mi ( q mi 2 X ( 1 X ) + metro 2 ) ( tu 1 + tu 2 )
Podemos hacer la siguiente sustitución:
tu 1 = s X , tu 2 = s ( 1 X )
dónde 0 < s < (y por supuesto 0 < X < 1 ), tal que:
tu 1 + tu 2 = s y j = | ( tu 1 , tu 2 ) ( X , s ) | = s
Por lo tanto, la ecuación ( 3 ) se convierte en:
I = 1 ( 4 π ) d / 2 0 1 d X 0 d s s 1 d / 2 mi ( q mi 2 X ( 1 X ) + metro 2 ) s
Ahora, hacemos la sustitución:
w = ( q mi 2 X ( 1 X ) + metro 2 ) s d s = ( q mi 2 X ( 1 X ) + metro 2 ) 1 d w
tal que:
I = 1 ( 4 π ) d / 2 0 1 d X 0 d w w 1 d / 2 mi w ( q mi 2 X ( 1 X ) + metro 2 ) d / 2 2 = 1 ( 4 π ) d / 2 Γ ( 2 d / 2 ) 0 1 d X ( q mi 2 X ( 1 X ) + metro 2 ) d / 2 2