Assuming we have a Effective Field Theory, for example a Real Scalar Field Theory, defined through a Lagrangian density of the form
Leff=12∂μϕ∂μϕ−12mϕ2−λ4!ϕ4+higher dimensional terms.
with arbitrary higherdimensional and nonrenormalizable terms such as ∂μ∂νϕ ∂μ∂νϕ etc.
N-point greens functions can be defined through the pathintegral:
⟨T{ϕ(x1)…ϕ(xn)}⟩=∫Dϕ ϕ(x1)…ϕ(xn)ei∫d4xLeff[ϕ]
which may be evaluated perturbatively.
My Question is:
How can we obtain the Hamiltonian-Operator (as the generator of time-evolution U(t,t0)=eiH(t−t0)) from the Lagrangian that is used in the Pathintegral ?
⟨ϕb|e−iHeffT|ϕa⟩=∫Dϕ ei∫T0dt∫d3x Leff[ϕ]
I would expect the Hamiltonian to be of the form Heff=∫d3x12˙ϕ2+12(∇ϕ)2+12mϕ2+λ4!ϕ4+higher dimensional terms,
as a sum of arbitrary higher dimensional Operators (but finitely many at each perturbative order maybe ?).
This post imported from StackExchange Physics at 2014-09-03 21:43 (UCT), posted by SE-user Thomas