Lagrangian of Klein-Gordon

  • Thread starter waht
  • Start date
  • #1
1,482
3

Homework Statement



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)


Homework Equations



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

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


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?
 

Answers and Replies

  • #2
Ben Niehoff
Science Advisor
Gold Member
1,879
162
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]
 
  • #3
1,482
3
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.
 
  • #4
Ben Niehoff
Science Advisor
Gold Member
1,879
162
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.
 
  • #5
1,482
3
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]
 
  • #6
Ben Niehoff
Science Advisor
Gold Member
1,879
162
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.
 

Related Threads on Lagrangian of Klein-Gordon

Replies
3
Views
4K
Replies
17
Views
4K
Replies
7
Views
3K
Replies
11
Views
1K
  • Last Post
Replies
2
Views
480
  • Last Post
Replies
3
Views
4K
  • Last Post
Replies
14
Views
4K
  • Last Post
Replies
4
Views
1K
  • Last Post
Replies
0
Views
1K
  • Last Post
Replies
5
Views
3K
Top