¿Cómo integrar la ruta sobre la línea media?

Considere la integral de trayectoria sobre un campo escalar φ :

Z = S   mi i S [ φ ] d φ
dónde S es algún espacio funcional (digamos, Schwartz o su dual).

¿Cómo podemos implementar la condición? φ 0 ? ¿Qué efecto tiene esta restricción, tanto a nivel perturbativo como no perturbativo?

Tenga en cuenta que esta no es simplemente una pregunta "por curiosidad". La situación anterior ocurre en la práctica (en su manifestación más simple, en el mecanismo de Higgs donde descomponemos H ( X ) = ρ ( X )   mi i σ ( X ) ; aquí la integral sobre ρ está solo sobre la línea media ρ 0 ).

¿No podría incluir una función delta funcional o una función escalón de Heaviside en la integral? He visto algo similar hecho para integrales de trayectoria en variedades en física estadística.
@Quantumspaghettification una función delta seleccionaría φ 0 , así que no creo que eso funcione. Un Heaviside, por otro lado, selecciona φ 0 , así que eso es bueno. No estoy seguro de cómo girar Θ ( φ ) en algo manejable sin embargo. En cualquier caso, es motivo de reflexión, ¡así que gracias!
Nuevamente, partiendo de lo que sé de la física estadística, podría escribir el Heaviside en términos de su representación integral, que supongo que se puede generalizar al caso funcional.
En la teoría de la perturbación, generalmente se trabaja en el caso en que ρ 0 (digamos, en la fase vev ordenada/que no desaparece), y se expande ρ = ρ + d ρ . Entonces la integral sobre d ρ no está restringido (lo que generalmente está bien).
@Adam seguro, en el caso simple en el que el proceso SSB se desencadena por un solo campo escalar, tiene razón. Pero en algunos casos, donde tiene varios campos escalares, solo algunos componentes adquieren un vev distinto de cero. El resto no, en cuyo caso las fluctuaciones en la dirección correspondiente se restringen a ser positivas.
Cuando no está en la fase ordenada, por lo general no se usa esta formulación de fase de amplitud, precisamente porque no es fácil cuidar la restricción. Tenga en cuenta que también puede usar una formulación mixta, dependiendo del componente, en principio (aunque no sé si esto se hace en la práctica).
Otras ideas son escribir ρ como, digamos, ρ = ϕ 2 o ρ = mi ϕ , dónde ϕ R .
¿Qué tal hacerlo a mano desde la definición límite de la integral, si eso es posible?

Respuestas (1)

Para una partícula libre en la línea media, el requisito de que el hamiltoniano:

H = pag 2 2 metro

es auto adjunto

( ψ , H ϕ ) = ( H ψ , ϕ ) = ϕ ( 0 ) d ψ d X ( 0 ) ψ ( 0 ) d ϕ d X ( 0 )

(esta condición significa que no hay probabilidad de cruce de corriente X = 0 ), conduce a una familia de extensiones autoadjuntas caracterizadas por las condiciones de contorno:

ψ ( 0 ) = γ d ψ d X ( 0 )

El propagador de la solución general de la ecuación de Schrödinger con esta condición de contorno viene dado por:

GRAMO ( X 1 , X 2 ) = GRAMO 0 ( X 2 X 1 ) + GRAMO 0 ( X 2 + X 1 ) 2 γ 0 d λ mi γ λ GRAMO 0 ( X 2 + X 1 + λ )

( GRAMO 0 es el propagador libre sin restricciones; Por favor, vea Gamboa )

Tanto Clark, Menikoff y Sharp como Fahri y Gutmann

mostró que este propagador se puede obtener a partir de una cuantificación integral de trayectoria de la acción libre con un potencial delta en el origen para trayectorias que se extienden desde a + .

L = metro X ˙ 2 2 + γ d ( X )

Sin embargo, esta no es la única forma de cuantificar el movimiento en la línea media:

Isham , definió un esquema de cuantización basado en la transformación canónica:

( X , pag ) ( mi X , mi X pag )

Otro esquema de cuantificación se basa en la cuantificación de R + como un espacio de cociente: por favor vea Tanimura

R + = R 2 / S O ( 2 ) ,

Este método conduce a otra familia de hamiltonianos:

No tengo conocimiento de ninguna formulación de integral de trayectoria de los dos últimos métodos. Claramente, el último método conduce a cuantizaciones no equivalentes con respecto al primero. Estoy bastante seguro de que ambos métodos pueden fusionarse en un método unificado que incluya ambas familias de cuatizaciones.