Integral que involucra dos funciones de energía de Green

El problema

Estoy tratando de evaluar esta integral:

I ( k ) = límite ϵ 0 d 3 q 1 mi mi q + i ϵ 1 mi mi k + q + i ϵ

con mi q = q 2 / 2 y mi k + q = | k + q | 2 / 2 .

Si es posible, sería bueno ver múltiples métodos de solución.

Mi intento

Elegí trabajar en un sistema de coordenadas esféricas con k alineado a lo largo de la z -eje. Alquiler ϕ representan el ángulo polar entre k y q , Escribí mi k + q como

mi k + q = 1 2 ( k 2 + q 2 2 k q porque ( π ϕ ) ) = k 2 2 + q 2 2 + k q porque ϕ .

Entonces es bastante sencillo evaluar ambas integrales angulares, dejando solo la integral radial:

I ( k ) = límite ϵ 0 2 π k 0 d q q mi q 2 / 2 + i ϵ en | mi ( k q ) 2 / 2 + i ϵ mi ( k + q ) 2 / 2 + i ϵ | .

Pero aquí es donde me quedo atascado.

Si bien estoy de acuerdo en que esto no está totalmente fuera de lugar aquí, ya que trata con integrales que ocurren en la teoría de campos, creo que pertenece más a Math.SE. ¡Yo personalmente hice preguntas similares allí y tuve suerte!
¡Gracias por el comentario! ¿Debería eliminar esta pregunta y volver a hacerla allí? ¿O preguntarlo allí y vincularlos de alguna manera? (Lo siento, nuevo en esto.)
Para ser honesto, yo también soy bastante nuevo en esto. He visto preguntas movidas, aunque no sé cómo sucede eso, probablemente moderadores que lo hacen. En cualquier caso, no está de más preguntarlo allí, ya que sospecho que esta pregunta probablemente se marcará aquí de todos modos :) Pero no es necesario que la elimine a menos que lo desee. Además, sospecho que querías decir k ± q en la última ecuación.
Gracias, y tienes razón sobre el error tipográfico, ¡buena captura! Arreglado.

Respuestas (2)

Como sugirió Philip Cherian, es posible que desee consultar la sección de Matemáticas. Sin embargo, quiero señalar una cosa sobre cómo manejar el límite.

supondré que | k | 0 . Lo primero que debes hacer es separar cada propagador en sus partes real e imaginaria. En general,

límite d 0 + 1 mi mi ( q ) + i d = límite d 0 + [ 1 mi mi ( q ) i d [ mi mi ( q ) ] 2 + d 2 ] ,
donde multipliqué arriba y abajo por el complejo conjugado del denominador, y descarté el d 2 en el denominador de la parte real, ya que simplemente desaparecerá cuando tomes el límite. Entonces usas la identidad
límite d 0 + d [ mi mi ( q ) ] 2 + d 2 = π d ( mi mi ( q ) ) ,
es decir, el delta de Dirac. lo que obtienes es
d 3 q [ 1 mi mi ( q ) i π d ( mi mi ( q ) ) ] [ 1 mi mi ( | q + k | ) i π d ( mi mi ( q + k ) ) ] = d 3 q 1 mi mi ( q ) 1 mi mi ( | q + k | ) + i π d 3 q [ d ( mi mi ( q ) ) mi mi ( | q + k | ) + d ( mi mi ( | q + k | ) ) mi mi ( q ) ] .

Tenga en cuenta que, dado que estoy asumiendo k 0 , el producto de dos deltas de Dirac tendrá que desaparecer, porque sus argumentos nunca son simultáneamente cero. Puede evaluar fácilmente la integral con los deltas de Dirac. Recuerde que, dado que la dispersión es cuadrática en q , debe seguir ciertas reglas cuando cambie las variables. Eso te da la parte imaginaria de la integral. No tengo ningún consejo real sobre cómo evaluar la parte real.

R mi { I ( k ) } = d 3 q 1 mi mi ( q ) 1 mi mi ( | q + k | ) ,
excepto para comprobar que realmente lo necesita. Dependiendo del problema que estés resolviendo, a veces todo lo que necesitas es la parte imaginaria. Por otro lado, también te recomiendo que verifiques que ambos denominadores en I ( k ) tener + i ϵ , en lugar de que uno tenga + i ϵ y el otro i ϵ . Digo esto porque esa expresión parece la aproximación del esqueleto a una burbuja de polarización, que es el producto de un propagador retrasado y uno avanzado, en cuyo caso sus partes imaginarias tienen signos opuestos.

Esta es una modificación de las manipulaciones clásicas que se realizan cuando se calculan integrales de bucle. La herramienta a usar generalmente se denomina "parámetros de Feynman". Insertar en las definiciones de mi i y definiendo metro 2 2 mi para hacer la conexión con los cálculos habituales que encuentro (dejo caer el ϵ 's ya que son irrelevantes aquí):

1 2 I = d 3 q 1 ( q 2 metro 2 ) ( ( q + k ) 2 metro 2 ) = 0 1 d X d 3 q 1 [ ( ( q + k ) 2 metro 2 ) X + ( q 2 metro 2 ) ( 1 X ) ] 2
Expandiendo y reescribiendo la expresión un poco da,
1 2 I = 0 1 d X d 3 q 1 [ ( q + k X ) 2 k 2 X 2 + k 2 X metro 2 ] 2
Ahora desplazando la variable integral encuentro:
1 2 I = 0 1 d X d 3 q 1 [ q 2 + Δ ] 2
dónde Δ k 2 X 2 + k 2 X metro 2 . La parte angular de la integral ahora es trivial y la integral radial es sencilla. Encuentro,
1 2 I = π 2 0 1 d X Δ 1 / 2
El X la integral generalmente se deja intacta, pero sospecho que en este caso también podría intentar llevarla a cabo.

Genial, gracias, esto es exactamente el tipo de cosa que estaba esperando. Aceptaré la respuesta una vez que haya tenido tiempo de sentarme y resolverla yo mismo. Parece que será posible realizar el X integral analíticamente. Pero, en general, ¿qué quiere decir con "el X la integral generalmente se deja intacta"?
En integrales de bucle más complicadas, a menudo es demasiado difícil llevar a cabo las integrales sobre los parámetros de Feynman, por lo que se dejan como integrales y se hacen numéricamente si se desea.