Integrales de Mellin-Barnes (MB) y funciones hipergeométicas

Estoy tratando de entender un paso en arXiv:1104.2661 . La ecuación 3.4 dice,

(3.4) 1 Γ ( 2 ϵ ) i i d ω 2 i π ( t ) ω ( s ) 2 ϵ + ω Γ 2 ( ω + 1 ) Γ ( 2 ϵ + ω ) Γ ( ω ) Γ 2 ( ϵ 1 ω ) .
Entonces, tomando los polos ω = ϵ 2 norte el resultado dice,
(3.5) Γ ( ϵ ) 2 Γ ( 1 ϵ ) 2 Γ ( 2 ϵ ) Γ ( 2 ϵ ) ( t ) ϵ 2   2 F 1 ( 1 , 1 , 2 ϵ , s t ) .
La pregunta es muy simple. El teorema del residuo da el siguiente resultado,
norte = 0 Γ ( ϵ 1 norte ) 2 Γ ( norte + 2 ϵ ) ( 1 ) norte norte ! ( t ) ϵ 2 norte ( s ) norte .
La definición de las lecturas hipergeométricas,
2 F 1 ( a , b , C , z ) = Γ ( C ) Γ ( a ) Γ ( b ) norte = 0 Γ ( a + norte ) Γ ( b + norte ) Γ ( C + norte ) z norte norte ! .
No veo lo que tengo que hacer para obtener la respuesta correcta.

Respuestas (1)

Sugerencias:

  1. Recuerde que la función Gamma Γ ( z ) tiene polos en enteros no positivos z norte 0 .

  2. Use la fórmula de reflexión de Euler para reemplazar el factor

    Γ ( ω + 1 ) 2 Γ ( ω )   =   π 2 pecado 2 ( π ω ) 1 Γ ( ω )
    en la ec. (3.4).

  3. Ahora los únicos polos simples en el negativo ω el semiplano del integrando reescrito (3.4) proviene del Γ ( 2 ϵ + ω ) función.

  4. Cerrado el contorno de integración en negativo. ω semiplano, y realice la integral de contorno a través del teorema del residuo .

  5. Use la fórmula de reflexión de Euler nuevamente para obtener el factor Γ ( ϵ ) 2 Γ ( 1 ϵ ) 2 en la ec. (3.5).

Gracias por tu respuesta. En realidad, el problema era manejar la fórmula de reflexión, pero encuentro una forma más agradable que es más fácil de manejar.
Γ ( ϵ norte ) Γ ( 1 + ϵ ) = ( 1 ) norte 1 Γ ( ϵ ) / Γ ( norte + 1 ϵ )