What is the hamiltonian in Klein-Gordon equation?

[wdlang]

since the time derivative is second order, the KG equation can not be put in the form

i \dot{\psi}= H \psi

so there is no H in KG equation?

and no Heisenberg picture for KG equation?

 

[xepma]

But ofcourse there is a Hamiltonian.

You can always start off with a Lagrangian which produces the equations of motion. From this Lagrangian you can define a "coordinate" q + its "conjugate momentum" p and use these to switch to a Hamiltonian approach.
Specifically, tThe Hamiltonian is the usual definition of

H = p(\partial_t q) - L

Now, in field theory the "coordinates" and "momentum" are replaced by fields. In this case we have the scalar KG field \phi(x,t) and its conjugate field \pi(x,t), which happens to be the time derivative of the field, \pi(x,t) = \partial_t \phi(x,t). The Hamiltonian density at a given timeslice t is then:

\mathcal{H} = \pi(x,t)\partial_t\phi(x,t) - \mathcal{L}

You can look up the Lagrangian for the KG theory and come up with the definite form of H. The full Hamiltonian is given by integrating over all of space for a given timeslice t,

H = \int d^3x \mathcal{H}

 

[xepma]

As for the Heisenberg picture... it's still there! You can switch to a Heisenberg picture through a unitary transformation. In this picture the operators evolve through time as:

A_H(t) = e^{iHt} A_H(0) e^{-iHt}

The operator e^{-iHt) is the time-evolution operator. In the Schroedinger picture the states transform in the usual way:

|\psi_S(t)\rangle = e^{-iHt}|\psi_S(t)\rangle

And here is something you do not hear every day (but is certainly still true!). The equation of motion of the time evolution operator is nothing but Schroedingers equation!

\frac{d}{dt} e^{-iHt} = -i H e^{-iHt}

Yes, the Schroedinger equation still plays a role in relativistic quantum field theory!

In fact, for fields operators we can apply the time evolution for operators. Take for instance the conjugate field \pi(x,t)

\pi(x,t) = e^{iHt} \pi(x,0) e^{-iHt}

which -- when taking the time derivative -- reduces to Heisenbergs equations of motion:
\partial_t \phi(x,t) = i[H,\pi(x,t)]

But for a free scalar field theory, i.e. KG theory, this commutator can be computed explicitly. Namely, the Hamiltonian is given by:

H = \frac{1}{2} \int d^3 x' \left(\pi(x,0)^2 + (\nabla\phi(x,t))^2 +m^2\phi(x,t)^2\right)

Now, the equal-time commutation relations should be familiar
[\phi(x,t),\pi(x',t)] = i \delta(x-x')

with on the right hand side the three dimensional spatial delta function. All other commutators are zero. The commutator we are after is then...

[H,\pi(x,t)] = i\int d^3x' \left(\nabla^2 \phi(x',t) + m^2\phi(x',t)\right)\delta(x-x') = \nabla^2 \phi(x',t) + m^2\phi(x',t)

You need to apply some partial integration to obtain this, but it's quite straightforward. Anyways, now, this commutator determines the time-evolution of the conjugate field. So we have:

\partial_t \pi(x,t) = \nabla^2 \phi(x,t) - m^2\phi(x,t)

This is simply the Heisenberg equation of motion for the conjugate field. But remember, the conjugate field \pi(x,t) is nothing but the time derivative of the original KG field \phi(x,t). And so we end up with...

\partial_t^2 \phi(x,t) - \nabla^2 \phi(x,t) + m^2\phi(x,t) = 0

Ha, that should look familiar!

 

[arkajad]

Another way of looking at it:

K-G equation is of 2-order. Its Hilbert space of (positive energy) solutions can be parametrized by the Cauchy data - the function itself and its time derivative at, say, t=0. On this Hilbert space you have a natural unitary representation of the Poincare group. The generator of time translations is the Hamiltonian.

Formally:

H=(-\nabla^2+m^2)^\frac12

 

[Demystifier]

The Klein-Gordon equation can be viewed as a Hamiltonian constraint
H \psi(x) =0
where
H = -p^{\mu}p_{\mu}+m^2
This Hamiltonian is a scalar (not a time component of a vector), it is not equal to energy, and it generates evolution with respect to the proper time. For more details see, e.g.,
http://xxx.lanl.gov/abs/1006.1986

 

[arkajad]

This Hamiltonian is a scalar (not a time component of a vector), it is not equal to energy, and it generates evolution with respect to the proper time.

Some people call it super-Hamiltonian in order to distinguish it from the Hamiltonian?