Ley del Inverso del Cuadrado en dimensiones DDD (dos casos)

Estoy leyendo A. Zee "Teoría cuántica de campos en pocas palabras" y he resuelto el problema sobre la ley del cuadrado inverso en D dimensiones. Desafortunadamente, me he confundido con algunos resultados. Permítanme describir mis derivaciones brevemente y centrarme en los resultados. La energía de interacción tiene la siguiente forma:

mi ( r ) = d D k ( 2 π ) D mi i k r k 2 + metro 2 W ( r ) ,
dónde W ( r ) se puede calcular usando la parametrización de Schwinger (ver Wiki) con el parámetro A = k 2 + metro 2 . Entonces, he obtenido el resultado:
W ( r ) = 1 ( 2 π ) D / 2 ( metro r ) D / 2 1 k D / 2 1 ( metro r ) ,
dónde k v es la función de Bessel de segundo tipo. El resultado demuestra la respuesta correcta para portador de fuerza masiva ( metro 0 ) en 3D pero no entiendo cómo obtener W ( r ) en caso 2D con soporte masivo porque k 0 ( metro r ) en ( metro r ) . Además, mi cálculo falla en el caso de un portador sin masa ( metro = 0 ), es fácil verlo. ¿Alguien puede explicar cómo evaluar las respuestas correctas para el portador sin masa a partir de mi cálculo?

( metro / r ) D / 2 1 = 1 + ϵ 2 registro ( metro / r ) , con d = 2 + ϵ .
como la regularización dimensional?
Bien, déjame probar esto. yo amplío k v y ( metro / r ) en serie. Así, obtengo:
k 0 ( metro r ) k 0 ( metro r ) registro ( metro r ) ϵ + . . .
Y...? No es fácil para mí ver registro ( r ) ley para portadores sin masa.
Deberías verlo en la teoría clásica de campos de Mark Burgess. Él ha dado estas soluciones.
Estimado Zohaib, ¿puede ser más específico? ¿Campos covariantes clásicos por M. Burgess?

Respuestas (2)

¡Gracias, AccidentalForierTransform y Sean E. Lake!

(1) Para obtener la respuesta correcta para el portador sin masa, se puede usar la parametrización de Schwinger y obtener la siguiente expresión:

mi ( r ) = 2 D / 2 1 r D 2 Γ ( D 2 1 ) 1 2 ( 2 π ) D / 2 .
(2) Desafortunadamente, ambos casos (portadores masivos y sin masa) tienen "mal comportamiento" para D = 2 . La función gamma tiene el polo en z = 0 . Para solucionarlo, se puede utilizar la regularización dimensional: replace D D + 2 ϵ . Así, la medida de integración es cambiar:
d D k ( 2 π ) D d D + 2 ϵ k ( 2 π ) D + 2 ϵ ,
pero con este reemplazo, se debe corregir el parámetro de dimensionalidad y regularización m . Finalmente, la medida tiene la siguiente forma:
d D + 2 ϵ k ( 2 π ) D + 2 ϵ m 2 ϵ .
Esta regularización proporciona la respuesta físicamente correcta. La función gamma debe expandirse en serie:
Γ ( ϵ ) 1 ϵ γ .
y la fraccion ( 1 / ( m r ) ) ϵ también debería expandirse:
( m r ) ϵ 1 en ( m r ) ϵ .

Teniendo en cuenta todo lo anterior, la respuesta es

mi ( r ) = 1 2 π en ( m r ) ,
que tiene la dimensionalidad correcta (en contraste con en r / ( 2 π ) que es "no físico" debido al logaritmo de longitud).

Comentarios :

  1. regularización dimensional no cambia el carácter de singularidad de la función gamma para D = 2 porque la expansión contiene el polo en 0.
  2. la parametrización de Schwinger es una forma muy conveniente de calcular el tipo de propagador porque permite evitar la farsa con coordenadas hiperpséricas
  3. por supuesto, estos trucos son fáciles para los buenos físicos, pero no he encontrado ninguna explicación y solución para este problema.
Ver también: formas limitantes de las funciones de Bessel en textos estándar. por ejemplo, dlmf.nist.gov/10.30

También estoy leyendo el libro de Zee. Al intentar esta pregunta, tomé un atajo y consideré el caso sin masa ( metro = 0 ) desde el principio. Entonces, noté que mi ( r ) se reduce a la función de Green para el D ecuación de Laplace bidimensional. Es bien sabido, o por la Ley de Gauss, que se puede encontrar que mi ( r ) = 1 S D 1 1 / r D 1 , dónde S D 1 es el área de la superficie de un D -esfera dimensional. De este modo, mi ( r ) 1 / r D 2 . En el caso de D = 2 , mi ( r ) 1 / r mi ( r ) en ( r ) .

Si desea ver los cálculos para el caso D-dimensional, notifíqueme
Además, su respuesta no es completamente correcta. De hecho, calcula la función de registro del argumento con dimensionalidad de longitud. El argumento de las funciones de registro debe ser adimensional
¡Ay tienes razón! gracias por señalar eso!