Hace unos meses, también necesitaba el resultado de este cálculo del diagrama de Witten de tres puntos de contacto de Freedman, Mathur, Matusis y Rastelli. También me quedé estupefacto por la falta de detalles en su artículo, ya que todo lo que decían era "se hace fácilmente con los métodos convencionales de parámetros de Feynman". Así que descubrí mi propia derivación. Probablemente no sea lo que FMMR tenía en mente y no sea el enfoque más elegante, pero hace el trabajo y es matemáticamente riguroso. Va de la siguiente manera.
Dejar
tu: =∫∞0dz0∫Rddz za0(z20+ ( z− x)2)b(z20+ ( z− y)2)C .
Asumiendo
b , c > 0
, insertamos la identidad
1Aα=1Γ ( α )∫∞0ds sα - 1mi- s un
dos veces para conseguir
tu=1Γ ( segundo ) Γ ( c )∫∞0dz0∫Rddz∫∞0ds∫∞0dt za0ssegundo - 1tdo - 1Exp( -V1)
con
V1: = s (z20+ ( z− x)2) + t (z20+ ( z− y)2)
= s (z20+X2) + t (z20+y2) + ( s + t )z2− 2 ( s x + t y) z .
De este modo
∫Rddz Exp( -V1) =mi- s (z20+X2) - t (z20+y2)∫Rddz Exp( - ( s + t )( z−s x + t ys + t)2+( s x + t y)2s + t)
= exp(V2) ×(πs + t)d2
con
V2: =( s x + t y)2s + t- s (z20+X2) - t (z20+y2) ,
y después de calcular la integral de Gauss en
z
. Un poco de álgebra muestra
( s + t )V2= − ( s + t)2z20- s t ( x - y)2 .
enchufar de nuevo en
tu
obtenemos
tu=πd2Γ ( segundo ) Γ ( c )∫∞0dz0∫∞0ds∫∞0dt za0ssegundo - 1tdo - 1( s + t)−d2Exp(− ( s + t)2z20- s t ( x - y)2s + t) .
Cambiar variables de
z0
a
z20
e integrar sobre este último. Proporcionó
a > − 1
, ahora obtenemos
tu=πd2Γ (un + 12)2 Γ ( segundo ) Γ ( c )∫∞0ds∫∞0dt ssegundo - 1tdo - 1( s + t)−a + 1 + d2Exp( -s ts + t( x − y)2) .
Cambiar variables:
o l d s= 1( x − y)2× noticias _ _ _
y
o l re t= 1( x − y)2× nuevo _ _ _
. Por eso,
tu=πd2Γ (un + 12)2 Γ ( segundo ) Γ ( c )× | x − y|a + 1 + d- 2 segundo - 2 do× ancho
con
W: =∫∞0ds∫∞0dt ssegundo - 1tdo - 1( s + t)−a + 1 + d2Exp( -s ts + t) .
Usamos la fórmula bivariada de cambio de variable para integrar sobre
0 < tu < ∞
y
0 < v < 1
relacionadas con las antiguas variables por
(st) = (tu _( 1 - v ) tu) .
El jacobiano es
∣∣∣∣∂s∂tu∂t∂tu∂s∂v∂t∂v∣∣∣∣= - tu .
Como resultado
W=∫∞0dtu∫10dv vsegundo - 1( 1 - v)do - 1tu−a + re+ 12+ segundo + do - 1 Exp[ - tu v ( 1 - v ) ] .
Proporcionó
−a + re+ 12+ b + c > 0
, podemos integrar en
tu
de modo que
W= Γ ( −a + re+ 12+ segundo + c ) ×∫10dv va + re+ 12- do - 1( 1 - v)a + re+ 12- segundo - 1 .
Por supuesto, la última integral beta da una relación de funciones Gamma, por lo que en todos
tu: =πd22| x−y|a + 1 + d- 2 segundo - 2 doΓ (un + 12) Γ ( -a + re+ 12+ segundo + do ) Γ (a + re+ 12− c ) Γ (a + re+ 12- segundo )Γ ( segundo ) Γ ( c ) Γ ( un + re+ 1 - segundo - do )
lo cual es válido cuando todos los argumentos de la función Gamma son positivos (o complejos con parte real positiva). Para ver que estas restricciones no son contradictorias, es mejor cambiar a las variables de dimensión de escala más simétricas.
⎧⎩⎨⎪⎪Δ1Δ2Δ3===bCa + re+ 1 - segundo - do
Las restricciones ascienden a
Δ1,Δ2,Δ3
siendo las longitudes de un triángulo no degenerado que es suficientemente grande, es decir,
Δ1+Δ2+Δ3> re
.
También debo mencionar que existen técnicas más sofisticadas para calcular diagramas de Witten. Véase, por ejemplo, las conferencias TASI de Penedones .
prahar
Kagaratsch