1
$\begingroup$

I am trying to derive the Klein-Gordon equation from Einstein's field equation, since the energy momentum tensor for the Klein-Gordon equation is defined as:

$$T^{\mu\nu} =\partial^{\mu}\phi \ \partial^{\nu}\phi-\eta^{\mu\nu}L_{KG}$$

where $L_{KG}$ is Klein-Gordon Lagrangian, defined as:

$$L_{KG}=\frac{1}{2}\partial_{\mu}\phi \ \partial^{\mu}\phi-\frac{1}{2}m^{2}\phi^{2}.$$

If I substitute above Energy-momentum tensor in Einstein's field equation and trying to solve for Einstein tensor, will I get the Klein-Gordon equation of motion?

$\endgroup$

2 Answers 2

2
$\begingroup$

To derive a field equation (equation of motion) one needs an action (or a Lagrangian). In this particular scenario you mention, the action will be

$$S = \int d^4x \sqrt{-g} \left(\frac{R}{2} - \frac{1}{2}\partial^{\mu}\phi\partial_{\mu}\phi - \frac{1}{2}m^2\phi^2\right)$$

In this action, we have considered two fields. The gravitational metric field $g_{\mu\nu}$ which is hidden in the volume element through the determinant term $\sqrt{-g}$, in the Ricci scalar $R \equiv R_{\mu\nu}g^{\mu\nu}$, and in the kinetic energy of the scalar field, since, $\partial_{\mu}\phi\partial^{\mu}\phi = g^{\mu\nu}\partial_{\mu}\phi\partial_{\nu}\phi$, and the scalar field $\phi$. Hence these two types of field are coupled minimally via the volume element in this action. By variation with respect to the metric and the scalar fields, one obtains

$$G_{\mu\nu} = T_{\mu\nu} \equiv \partial_{μ}\phi\partial_{ν}\phi - \cfrac{1}{2}g_{μν}g^{αβ}\partial_{α}\phi\partial_{β}\phi - g_{\mu\nu}m^2\phi^2/2$$ $$\Box \phi = m^2\phi$$

So, one can obtain the Klein-Gordon equation without using anything but the variational principle. In order to obtain the Klein-Gordon equation from general relativity as you mention you will need to use the fact that the Einstein tensor is covariantly free

$$\nabla^{\mu} G_{\mu\nu}=0$$ Now applying the divergence free property $\nabla^{\mu} G_{\mu\nu}=0 \to \nabla^{ \mu}T_{\mu\nu}=0$, you will end up with the Klein-Gordon equation.

$\endgroup$
10
  • $\begingroup$ What i understand is that i cant directly get klein-gordon equation from solving einstein tensor but instead i can get klein-gordon equation from the divergence of einstein tensor right? But after the suitable selection of energy-momentum tensor and plugging in into einstein equation after that solving for Einstein tensor we eventually have to get equation of motion isn't that so? $\endgroup$ Jul 23, 2022 at 15:47
  • $\begingroup$ I do not understand what you mean by "solving einstein tensor". $\endgroup$
    – Noone
    Jul 23, 2022 at 15:47
  • $\begingroup$ The Einstein equation will have on the left hand side the Einstein tensor and on the right hand side the energy momentum tensor of the scalar field. By solving the Einstein equation, you will find the metric tensor $g_{\mu\nu}$. To get the Klein-Gordon you will need the divergence free property, i.e to take the divergence of the energy momentum tensor. $\endgroup$
    – Noone
    Jul 23, 2022 at 15:51
  • $\begingroup$ For eg: When Tuv=0 we get from Einstein field equation Guv=0 or Ruv=0 and after that we solve for Ruv=0 and get famous Schwarzschild solution which helps to determine the motion in spacetime so in the similar manner can't we do the same thing for klein-gordon equation? $\endgroup$ Jul 23, 2022 at 15:52
  • $\begingroup$ A vanishing energy momentum tensor everywhere implies abscense of matter. How can one obtain a field equation for a matter field, if the matter field does not exist? $\endgroup$
    – Noone
    Jul 23, 2022 at 15:55
0
$\begingroup$

The Einstein field equations give you the dynamical equations for the metric tensor, which is taken as a second rank tensor field whose evolution describes the evolution of the background. The Klein Gordon equation is the dynamical equation for a scalar field in a fixed background. They are fundamentally different things.

What you can do of course, is to start with an action that has a scalar field coupled to gravity (this could be done in many ways), and by varying the action with respect to the scalar field (or the matter field) obtain the Klein Gordon equation. Note that this is not a special case of the Einstein equations since in deriving those, we vary the Einstein Hilbert action with respect to the metric tensor field. You don't need a dynamical background (metric) to derive the Klein Gordon equation, and you don't need a scalar field to derive the Einstein equations.

Update in response to a comment: The divergence of the energy momentum tensor being zero is true and has a more geometrical origin (called the Bianchi identity), but the equations of motion depend on the matter Lagrangian. That is to say, even for a scalar field you could have any Lagrangian. The usual Klein Gordon Lagrangian has a specific form for the EM tensor. But I could very well have a different Lagrangian with a scalar field (eg the $\phi^4$ theory). In this case, the form of the EM tensor will also be different. This EM tensor will also be divergenceless, but demanding this will not give you the KG equation.

As an aside, note that dynamical equations for a matter field (or any field) are obtained by varying the action with respect to that field. As I mentioned previously, the Einstein equations are obtained by varying the (Einstein-Hilbert) action with respect to the metric.

Further, regarding the point about the vanishing divergence of the EM tensor. It can be shown that if I have an action of the form $\mathcal{S}_Q = \int d^4 x \text{ }\sqrt{-g} Q$ where $Q$ is a scalar, then demading that $\delta \mathcal{S}_Q = 0$ will always give me some tensor $M^{\mu \nu}$ such that $\nabla_{\mu}M^{\mu \nu} = 0$. The fact that the Einstein tensor and the EM tensor obey this are simply examples of this more general fact.

$\endgroup$
1
  • $\begingroup$ @KeshavShrestha I updated my answer after you commented $\endgroup$
    – newtothis
    Jul 24, 2022 at 15:46

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.