Una confusión del texto QFT de Weinberg (un término que desaparece en la ecuación de Lippmann-Schwinger)

Estaba revisando los primeros capítulos de Weinberg Vol I y encontré un agujero en mi comprensión en la página 112, donde trató de mostrar en el pasado asintótico t = , los estados in coinciden con un estado libre. En particular, argumentó la integral

(1) d α mi i mi α t gramo ( α ) T β α + Φ β mi α mi β + i ϵ

se desvanecería, donde d α = d 3 pag (también involucra índices discretos como spin, pero no tiene relevancia aquí). En su argumento, usó una integración de contorno en el complejo mi α plano, en el que la integral de interés central es la integración a lo largo de la línea real

(2) d mi α mi i mi α t gramo ( α ) T β α + Φ β mi α mi β + i ϵ

No veo cómo obtener (2) de (1), ya que el límite inferior de energía es la masa en reposo, en el mejor de los casos podría obtener algo como metro d mi α , pero ¿cómo podría uno extender esto a toda la línea real?

Perdona, ¿dónde ves exactamente la integral de -infinito a +infinito? De lo contrario, su integral desde m hasta el infinito es completamente antinatural. Lo que es más natural sería una integral de línea doble dando la vuelta a la integral m...infinity dos veces, de ida y vuelta. En general, las integrales sobre "contornos abiertos" que comienzan en un lugar aleatorio del plano complejo como m son completamente tontas y no permiten usar el poder del cálculo complejo. Siempre tratamos con contornos cerrados o contornos que van hacia el infinito en alguna parte.
@LubošMotl: Weinberg estaba usando cálculo de residuos, lo que significa que está haciendo una integral de contorno cerrado, por eso asumí que en la sección de línea real debe estar integrando desde a + , que es la ecuación (2). Mi problema es que no pude obtener (2) de la ecuación (1), que es un término de la ecuación de Lippmann-Schwinger.
¿Qué pasa si solo cocinamos algo ficticio? α con mi α < 0 y fuerza gramo ( α ) para que esas cosas sean 0 ? En otras palabras, en su Eq(2), el integrando para mi α < 0 simplemente se toma como 0 . Sin embargo, no estoy seguro de si esto causa algún problema en el análisis complejo... (por cierto, no considero esto como una ``respuesta''. Quería comentar pero no encontré el botón, ¿es porque soy nuevo?)
Creo que esto puede destruir la analiticidad del integrando.
En realidad al final de la página 109 ya dijo gramo ( α ) es suave y distinto de cero en un rango finito Δ mi . (¿y supongo que esto siempre se puede lograr usando mollifier?)
El punto es una continuación analítica para gramo ( α ) de línea real a plano complejo debe ser único, y la función resultante en la mayoría de los casos no puede tener gramo ( α ) = 0 por mi α < 0
Quiero decir, antes de hacer la continuación analítica de los valores complejos de mi α , tu ya lo tienes gramo ( α ) es suave y distinto de cero en un rango finito Δ mi solamente, y se desvanece para todos los demás valores de mi , incluidos los valores negativos: todo esto es real mi . Asi que metro + d mi α gramo ( α ) = + d mi α gramo ( α ) . Luego haces la continuación analítica.
@JingyuanChen: Si fuerza gramo ( α ) ser 0 para mi α < metro , gramo ( α ) no es analítico en su dominio original (es decir, toda la línea real), no puede hacer una continuación analítica para él. Por ejemplo, piense en la continuación analítica de F ( X ) = k = 0 X k , cual es 1 1 X cuándo | X | < 1 , indefinido cuando | X | > 1 . Su continuación analítica debe ser F ( z ) = 1 1 z , que no es 0 para | X | > 1 . En este ejemplo, ¿has forzado F ( X ) = 0 cuándo | X | > 1 , la continuación hubiera sido imposible.
Otra publicación de Physicsforums.com que básicamente hace la misma pregunta (v1): physicsforums.com/showthread.php?t=399704

Respuestas (1)

1) OP básicamente se pregunta cómo Weinberg en el medio de la p. 112 puede extender la región de integración desde 1

j β ±   =   metro α d mi α mi i mi α t gramo ( mi α ) T β α ± mi α mi β ± i 0 +

para incluir el eje real negativo

j β ±   =   d mi α mi i mi α t gramo ( mi α ) T β α ± mi α mi β ± i 0 + ,

donde gramo : mi α gramo ( mi α ) es una función meromórfica ?

2) Que Weinberg (implícitamente) asume la meromorficidad del gramo : D C C La función se puede deducir más abajo en la p. 112, donde escribe que

podemos cerrar el contorno de integración para la variable de integración mi α [...],

lo cual es una clara referencia al teorema del residuo , que a su vez asume meromorficidad. También Weinberg escribe en la misma página. 1

[...] Las funciones gramo ( mi α ) y T β α ± puede, en general, esperarse que tenga algunas singularidades en valores de mi α con partes finitas [...] imaginarias [...]

Así que hay pocas dudas de que Weinberg asume la meromorficidad de gramo .

3) Por otro lado, al pie de la p. 109, Weinberg escribe 1

[...] Por lo tanto, debemos considerar paquetes de ondas, superposiciones d mi α   gramo ( mi α ) Ψ α de estados, con una amplitud gramo ( mi α ) que no es cero y varía suavemente en un rango finito Δ mi de energías.[...]

Ahora, de acuerdo con el teorema de identidad para funciones holomorfas, si una función gramo : D C C es cero en un subconjunto S D que tiene un punto de acumulación C en el dominio D , después gramo 0 es idénticamente cero. Sin embargo, cualquier intervalo yo R en la línea real de longitud distinta de cero tiene puntos de acumulación. Entonces, si Weinberg en la cita anterior literalmente significa que gramo es matemáticamente cero fuera de un intervalo finito yo R , después gramo 0 sería idénticamente cero en todo el plano complejo.

Por supuesto, Weinberg no se refiere a eso. Él solo quiere decir que gramo fuera de un rango finito toma valores tan pequeños, que a la precisión ϵ que estamos trabajando, no importa si incluimos la región de integración R yo , O no.

En particular, matemáticamente hablando, Weinberg solo ha probado la condición

(3.1.12) metro α d mi α   mi i mi α t gramo ( mi α ) Ψ α ±     metro α d mi α   mi i mi α t gramo ( mi α ) Φ α   por   t

con cierta precisión ϵ . Sin embargo, la precisión ϵ se puede hacer arbitrariamente fino preparando paquetes de ondas cada vez más definidos gramo .

4) Si uno quisiera tener un ejemplo concreto de un gramo función, uno puede pensar en una función lorentziana (también conocida como distribución Breit-Wigner o Cauchy),

gramo ( mi α )   =   1 π d ( mi α mi 0 ) 2 + d 2 , d mi α   gramo ( mi α )   =   1 ,

para elecciones apropiadas de constantes mi 0 y d .

5) Finalmente, no se debe perder de vista el objetivo principal de Weinberg en la Sección 3.1, a saber, argumentar la ± i 0 + prescripción en las ecuaciones de Lippmann-Schwinger

(3.1.17) Ψ α ±   =   Φ α + d β T β α ± Φ β mi α mi β ± i 0 + .

Las ecuaciones de Lippmann-Schwinger (3.1.17) no son una aproximación y son independientes de la elección del paquete de ondas gramo .

--

1 Para simplificar la discusión, nos hemos tomado la libertad de reemplazar el más general de Weinberg α -integración con solo un mi α -integración. Aquí

(3.1.4) d α norte 1 σ 1 norte 2 σ 2 d 3 pag 1 d 3 pag 2

Cambiando la variable de integración de mi α to momenta no resuelve el problema de OP, esencialmente porque todavía tenemos que elegir la rama de la raíz cuadrada pertinente que tiene parte real positiva, para que no nos acerque más a la comprensión de las energías negativas.

Así que básicamente estás sugiriendo que gramo ( mi α ) , cuando se continuó analíticamente con mi α < metro región, es siempre pequeña en esta región no física? Pero matemáticamente esto parece ser una suposición muy fuerte, no estoy seguro de hasta qué punto está justificado. Además, esto significará que la conclusión derivada de estos argumentos es aproximada en lugar de un teorema exacto, y es un poco insatisfactorio para mí.
Pero nunca tenemos un paquete de ondas infinitamente agudo, por lo que (3.1.12) sigue siendo una aproximación. Pero me gusta su punto (5), de hecho ofrece más validez a la derivación de Weinberg, entonces +1. Si no surgen otras respuestas más razonables que esta, la tomaré como la respuesta correcta.
Ver esta preimpresión Su duda es sobre la validez de la aproximación de Weisskopf-Wigner.
Podemos hacer un ancho Γ = 2 d para la función gramo ( α ) tal que t Γ 2 cuándo t ± . Tenga en cuenta que la integración de Breit-Wigner Amplitude tiene contribuciones solo para un pequeño vecindario de mi 0