Lagrangian of Klein-Gordon

waht

1. The problem statement, all variables and given/known data

I'm trying to derive the Klein-Gordon equation from its lagrangian density

[tex] \mathcal{L} = - \frac{1}{2} \partial^{\mu} \varphi \partial_{\mu} \varphi - \frac{1}{2} m^2 \varphi^2 + \Omega_0 [/tex]

(Srednicki p.24)


2. Relevant equations

[tex] S = \int d^4x \mathcal{L} [/tex]

[tex] \delta S = 0 [/tex]


3. The attempt at a solution

So here is what I got so far,

[tex] \int d^4x \left[ -\frac{1}{2} \partial^{\mu} (\varphi + \delta\varphi) \partial_{\mu} (\varphi + \delta\varphi)- \frac{1}{2} m^2 (\varphi+\delta\varphi)^2 + \Omega_0 \right] = 0[/tex]


[tex] \int d^4x \left[ -\frac{1}{2} \partial^{\mu} \delta\varphi \partial_{\mu} \varphi -\frac{1}{2} \partial^{\mu} \varphi \partial_{\mu} \delta\varphi - m^2 \varphi \delta\varphi \right] + \int d^4x \left[\partial^{\mu}\varphi \partial_{\mu} \varphi + \partial^{\mu}\delta\varphi \partial_{\mu} \delta\varphi + \Omega_0 \right] = 0[/tex]

The answer in the book is the first integral on the left. But that would mean that the second integral has to vanish. If this is correct why does the second integral is zero?

Ben Niehoff

The variation operator [itex]\delta[/itex] is supposed to act like a derivative operator:

[tex]\delta(ab) = (\delta a)b + a \delta b[/tex]

It looks like what happened is that you forgot two things. First, you need to subtract off the original function:

[tex]\delta f(\phi) = f(\phi + \delta \phi) - f(\phi)[/tex]

and second, you forgot that [itex]\delta \phi[/tex], because it is an infinitesimal, is nilpotent:

[tex]\delta \phi \delta \phi = 0[/tex]

waht

I get it now, didn't realize we have to subtract that off, now it works.

The second part requires integration by parts of the first two terms,

[tex] \int d^4x \left[ -\frac{1}{2} \partial^{\mu} \delta\varphi \partial_{\mu} \varphi -\frac{1}{2} \partial^{\mu} \varphi \partial_{\mu} \delta\varphi - m^2 \varphi \delta\varphi \right] = 0 [/tex]

to obtain

[tex] \int d^4x \left[+\partial^{\mu}\partial_{\mu} \varphi - m^2 \varphi \right] \delta\varphi = 0 [/tex]

If I do this to the first term

[tex] u = \partial^{\mu} \delta\varphi [/tex] and [tex] v' = \partial_{\mu} \varphi [/tex]

[tex] du = 2 \partial^{\mu} \partial_{\mu} \delta\varphi [/tex] and [tex] v = \varphi [/tex]

then

[tex] (\partial^{\mu} \delta\varphi)\varphi - \int 2 \partial_{\mu}\partial^{\mu} \delta\varphi [/tex]

and the same to the second term and add it up, then I guess the constants with [itex] \delta\varphi [/itex] should vanish, but I will get a constant of two in the integrand, which can't seem to get rid off.

Ben Niehoff

When integrating by parts, you need to move the derivatives off of [itex]\delta \phi[/itex], not the other way around.

I'm not sure where you got the factor of 2 from in the first place. Integration by parts doesn't work exactly the same way in multi-dimensional integrals. What you need is a generalized divergence theorem, which you can derive from the product rule:

[tex]\partial_{\mu}(uv) = v \partial_{\mu} u + u \partial_{\mu} v[/tex]

So

[tex]\int_R d^4x \; u \partial_{\mu} v = \int_R d^4x \; \partial_{\mu}(uv) - \int_R d^4x \; v \partial_{\mu} u = \int_{\partial R} d^3x \; uv - \int_R d^4x \; v \partial_{\mu} u[/tex]

where [itex]\partial R[/itex] means the boundary of the region of integration R. Generally the fields are assumed to vanish on the boundary, so the boundary integral also vanishes.

waht

That's interesting. So if the boundary integral vanishes, this integral is antisymmetric with respect to u, and v.

[tex] \int_R d^4x \; u \partial_{\mu} v = -\int_R d^4x \; v \partial_{\mu} u [/tex]

So when applying this to the original problem

[tex] \int d^4x \left[ -\frac{1}{2} \partial^{\mu} \delta\varphi \partial_{\mu} \varphi -\frac{1}{2} \partial^{\mu} \varphi \partial_{\mu} \delta\varphi - m^2 \varphi \delta\varphi \right] = 0 [/tex]


this kind of works by flipping u and v in the second term of the integral,

but when flipping u and v in the first term of the integral, [itex] \delta\varphi [/itex] is still in front of the derivate,

[tex] u = \partial^{\mu} \delta\varphi [/tex]

[tex] v = \varphi [/tex]

Ben Niehoff

Try looking at it again. I think you've confused yourself. You want to move the derivative off of [itex]\delta \phi[/itex], not the other way around.

u and v are just arbitrary objects.