Why Does the Conserved Current for the Klein-Gordon Equation Differ by a Sign?

Click For Summary
SUMMARY

The discussion focuses on the computation of the conserved current for the Klein-Gordon equation using Noether's theorem, specifically addressing the discrepancy in sign within the current expression. The Lagrangian density for a complex scalar field is given as \(\mathcal L=\frac{1}{2}\partial^\nu\phi^{*}\partial_\nu\phi-\frac{1}{2}m^2\phi^{*}\phi\). The correct form of the conserved current is identified as \(J^k=-\frac{1}{2}\left(\partial^k\phi^{*}\phi-\partial^k\phi\phi^{*}\right)\), highlighting that while \(\phi\) and \(\phi^*\) are symmetric in the Lagrangian, they do not yield symmetric contributions in the current due to their transformation properties.

PREREQUISITES
  • Understanding of Noether's theorem
  • Familiarity with Lagrangian mechanics
  • Knowledge of complex scalar fields
  • Proficiency in tensor calculus and partial derivatives
NEXT STEPS
  • Study the implications of Noether's theorem in field theory
  • Explore the properties of complex scalar fields in quantum field theory
  • Learn about symmetries and conservation laws in physics
  • Investigate the role of transformations in deriving conserved quantities
USEFUL FOR

The discussion is beneficial for theoretical physicists, graduate students in physics, and anyone studying quantum field theory, particularly those interested in the application of Noether's theorem to scalar fields.

Landau
Science Advisor
Messages
905
Reaction score
0

Homework Statement



Given the Lagrangian density of a complex relativistic scalar field
\mathcal L=\frac{1}{2}\partial^\nu\phi^{*}\partial_\nu\phi-\frac{1}{2}m^2\phi^{*}\phi
where * stands for complex conjugation, compute the conserved current (using Noether's theorem).

Homework Equations



I can (should) use J^k=-\frac{\partial \mathcal L}{\partial (\partial_k \phi_I)}\phi_I, where summation over I is implied (which just means we have two terms, one for \phi and one for \phi^{*}).

The Attempt at a Solution



Well, I computed \frac{\partial \mathcal L}{\partial (\partial_k \phi)}=\partial^k\phi^{*}, and similarly \frac{\partial \mathcal L}{\partial (\partial_k \phi^{*})}=\partial^k\phi.

Combining these, we simply get J^k=-\frac{\partial \mathcal L}{\partial (\partial_k \phi_I)}\phi_I=-\frac{\partial \mathcal L}{\partial (\partial_k \phi)}\phi-\frac{\partial \mathcal L}{\partial (\partial_k \phi^*)}\phi^*=-\frac{1}{2}\left(\partial^k\phi^{*}\phi+\partial^k\phi\phi^{*}\right)

But the correct answer should be =-\frac{1}{2}\left(\partial^k\phi^{*}\phi-\partial^k\phi\phi^{*}\right), differing in a minus sign.

(Just looking at the Lagrangian, \phi and \phi^* are symmetric, right? So the terms in the conserved current should also come in symmetric...but in the correct answer they aren't.)

Apparently \frac{\partial \mathcal L}{\partial (\partial_k \phi^{*})}=-\partial^k\phi?
 
Last edited:
Physics news on Phys.org
Apparently \frac{\partial \mathcal L}{\partial (\partial_k \phi^{*})}=-\partial^k\phi?

No.

While \phi and \phi^* appear symmetrically in the Lagrangian, they don't come into play symmetrically in the application of Noether's theorem to a Klein-Gordon system.

The Lagrangian is invariant under the continuous transformation \phi \rightarrow e^{i\alpha} \phi, which means \phi^* \rightarrow e^{-i\alpha} \phi^*.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
Replies
5
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
2K
  • · Replies 30 ·
2
Replies
30
Views
7K
  • · Replies 18 ·
Replies
18
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
5
Views
3K
Replies
10
Views
2K
  • · Replies 0 ·
Replies
0
Views
2K