I Klein-Gordon equation

  • Thread starter TimeRip496
  • Start date
254
5
Suppose φ is solution to Klein-Gordon equation, Multiplying it by -iφ* we get

[itex]iφ^*\frac{\partial^2φ}{\partial t^2}-iφ^*∇^2φ+iφ^*m^2=0[/itex] ..............(5)

Taking the complex conjugate of the Klein-Gordon equation and multiplying by -iφ we get

[itex]iφ\frac{\partial^2φ^*}{\partial t^2}-iφ∇^2φ^*+iφm^2=0[/itex]]..............(6)

If we subtract the second from the first we obtain

[itex]\frac{\partial}{\partial t}[i(φ^*\frac{\partial φ}{\partial t}-φ\frac{\partial φ^*}{\partial t})]+ ∇. [-i(φ^*∇φ-φ∇φ^*)]=0[/itex]...............(7)

This has the form of an equation of continuity

[itex]\frac{\partial p}{\partial t}+ ∇.j = 0[/itex].........................(8)

Source: https://www2.warwick.ac.uk/fac/sci/physics/staff/academic/boyd/stuff/dirac.pdf

Qns 1: What does it means to have the complex conjugate of the KL equation? I know we obtain eqn(5) by multiplying the KL eqn with -iφ*, so that we can get the probability but why do we need to come up with the complex conjugate of the KL eqn which lead us to eqn(6)?

Qns 2:Subsequently what is the rationale behind subtracting the second from the first to get eqn (7)?

Qns 3: Isn't eqn(8) conservation of charge? How does it relates to the KL eqn which is obtain from the energy-momentum conservation eqn?
 
Last edited:
72
21
Strictly speaking, the Klein Gordon equation should really be considered as the equation of motion for a classical or quantum field, not a wave equation, which is why doing all of this seems hand-wavy if we interpret it as the latter.

In an effort to not be too unclear, but still hopefully illuminating, consider a classical (i.e. non-quantized) complex scalar field [itex]\phi(x)[/itex]. You can separate this field into two real ones, or just treat it and its complex conjugate as two independent fields. The Lagrangian describing the free fields is given by [itex]\mathcal{L}=\frac{1}{2}\partial^\mu\phi^*\partial_\mu\phi-\frac{1}{2}m^2\phi^*\phi[/itex]. The equations of motion from the Euler-Lagrange equations are simply [itex](\Box+m^2)\phi=0[/itex] and[itex](\Box+m^2)\phi^*=0[/itex] (the KG equation for the two fields).

So far so good. Now, the above mentioned Lagrangian has a global symmetry - if we make a transformation [itex]x\rightarrow x[/itex] and [itex]\phi(x)\rightarrow e^{i\varphi}\phi(x)[/itex], where [itex]\varphi[/itex] is real, but otherwise arbitrary, then the Lagrangian will remain unchanged because the complex conjugate transforms as [itex]\phi^*(x)\rightarrow e^{-i\varphi}\phi^*(x)[/itex], so they cancel out. This is one of the most elementary examples of a global symmetry (called [itex]U(1)[/itex]), and there's a theorem, called Noether's theorem, relating global symmetries of a Lagrangian (or more generally, global symmetries of the action, [itex]S=\int\mathcal{L} d^4 x[/itex] ) to conserved currents (conserved in the sense [itex]\partial_\mu j^\mu=0[/itex]).

The current you've obtained is exactly the one which comes from this symmetry. Once you quantize the fields, you discover that the charge (which is [itex]Q=\int j^0 d^3x[/itex]) corresponding to the conserved current counts the number of particles minus the number of antiparticles (or vice versa, since if [itex]j^\mu[/itex] is conserved, then so is [itex]-j^\mu[/itex]), which due to charge quantization is the same thing as charge conservation.

How does it relates to the KL eqn which is obtain from the energy-momentum conservation eqn?
The KG equation isn't quite "obtained" from energy-momentum conservation, it's just that plane wave solutions to it obey the relativistic energy-momentum relation. There is however a different conserved Noether current called the energy-momentum tensor which is a consequence of translational symmetry of the above Lagrangian, from which we can obtain the standard energy-momentum conservation. This current doesn't really have any relation to the previous one, they are quite independent from one another. Note that the Lagrangian of a real scalar field will not have [itex]U(1)[/itex] symmetry, but it will have translational symmetry, and hence a corresponding energy-momentum tensor.

tl;dr version - this is a hand-wavy way to rediscover properties of classical fields
 
254
5
Strictly speaking, the Klein Gordon equation should really be considered as the equation of motion for a classical or quantum field, not a wave equation, which is why doing all of this seems hand-wavy if we interpret it as the latter.

In an effort to not be too unclear, but still hopefully illuminating, consider a classical (i.e. non-quantized) complex scalar field [itex]\phi(x)[/itex]. You can separate this field into two real ones, or just treat it and its complex conjugate as two independent fields. The Lagrangian describing the free fields is given by [itex]\mathcal{L}=\frac{1}{2}\partial^\mu\phi^*\partial_\mu\phi-\frac{1}{2}m^2\phi^*\phi[/itex]. The equations of motion from the Euler-Lagrange equations are simply [itex](\Box+m^2)\phi=0[/itex] and[itex](\Box+m^2)\phi^*=0[/itex] (the KG equation for the two fields).

So far so good. Now, the above mentioned Lagrangian has a global symmetry - if we make a transformation [itex]x\rightarrow x[/itex] and [itex]\phi(x)\rightarrow e^{i\varphi}\phi(x)[/itex], where [itex]\varphi[/itex] is real, but otherwise arbitrary, then the Lagrangian will remain unchanged because the complex conjugate transforms as [itex]\phi^*(x)\rightarrow e^{-i\varphi}\phi^*(x)[/itex], so they cancel out. This is one of the most elementary examples of a global symmetry (called [itex]U(1)[/itex]), and there's a theorem, called Noether's theorem, relating global symmetries of a Lagrangian (or more generally, global symmetries of the action, [itex]S=\int\mathcal{L} d^4 x[/itex] ) to conserved currents (conserved in the sense [itex]\partial_\mu j^\mu=0[/itex]).

The current you've obtained is exactly the one which comes from this symmetry. Once you quantize the fields, you discover that the charge (which is [itex]Q=\int j^0 d^3x[/itex]) corresponding to the conserved current counts the number of particles minus the number of antiparticles (or vice versa, since if [itex]j^\mu[/itex] is conserved, then so is [itex]-j^\mu[/itex]), which due to charge quantization is the same thing as charge conservation.



The KG equation isn't quite "obtained" from energy-momentum conservation, it's just that plane wave solutions to it obey the relativistic energy-momentum relation. There is however a different conserved Noether current called the energy-momentum tensor which is a consequence of translational symmetry of the above Lagrangian, from which we can obtain the standard energy-momentum conservation. This current doesn't really have any relation to the previous one, they are quite independent from one another. Note that the Lagrangian of a real scalar field will not have [itex]U(1)[/itex] symmetry, but it will have translational symmetry, and hence a corresponding energy-momentum tensor.

tl;dr version - this is a hand-wavy way to rediscover properties of classical fields
How do you obtain this equation: "The Lagrangian describing the free fields is given by [itex]\mathcal{L}=\frac{1}{2}\partial^\mu\phi^*\partial_\mu\phi-\frac{1}{2}m^2\phi^*\phi[/itex]."?
 
Last edited by a moderator:

Orodruin

Staff Emeritus
Science Advisor
Homework Helper
Insights Author
Gold Member
2018 Award
15,951
5,920
How do u obtain this equation: "The Lagrangian describing the free fields is given by [itex]\mathcal{L}=\frac{1}{2}\partial^\mu\phi^*\partial_\mu\phi-\frac{1}{2}m^2\phi^*\phi[/itex]."?
It is not something you obtain. It is the definition of the Klein--Gordon Lagrangian density from which you derive the KG equation.
 

haushofer

Science Advisor
Insights Author
2,227
562
How do you obtain this equation: "The Lagrangian describing the free fields is given by [itex]\mathcal{L}=\frac{1}{2}\partial^\mu\phi^*\partial_\mu\phi-\frac{1}{2}m^2\phi^*\phi[/itex]."?
You can obtain it by considering a non-interacting field which is a scalar under the Lorentz group and contains up to second order differential equations of motion. Much more than this action is hard to write down, but try that for yourself.
 

stevendaryl

Staff Emeritus
Science Advisor
Insights Author
8,400
2,573
How do you obtain this equation: "The Lagrangian describing the free fields is given by [itex]\mathcal{L}=\frac{1}{2}\partial^\mu\phi^*\partial_\mu\phi-\frac{1}{2}m^2\phi^*\phi[/itex]."?
Lagrangians are not typically derived. They are just guessed at. Then you use them to derive equations of motion, and look at whether those equations of motion are sensible.
 

Want to reply to this thread?

"Klein-Gordon equation" You must log in or register to reply here.

Related Threads for: Klein-Gordon equation

  • Posted
Replies
2
Views
2K
  • Posted
Replies
6
Views
3K
  • Posted
Replies
9
Views
6K
Replies
4
Views
3K
Replies
4
Views
2K
Replies
2
Views
2K
Replies
32
Views
4K

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving

Hot Threads

Top