Manipulation within the Einstein Tensor in Einstein field equations

Click For Summary

Discussion Overview

The discussion revolves around the manipulation of the Einstein field equations, specifically focusing on the expression and simplification of the equations involving the Einstein tensor. Participants explore various mathematical approaches and potential errors in notation and indices, with implications for solving the equations.

Discussion Character

  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant proposes a method to simplify the Einstein field equations by manipulating the curvature scalar R and suggests that this leads to a more straightforward derivation of the Ricci tensor.
  • Multiple participants challenge the initial proposal, pointing out mistakes in index notation and the overloading of indices, which could invalidate the manipulations presented.
  • Another participant introduces the trace-reversed form of the equations, suggesting that it may simplify certain cases, particularly in vacuum scenarios.
  • There is a mention of using Killing fields to calculate components of the Ricci tensor more efficiently, which some participants find to be a useful technique.
  • Several participants emphasize the importance of proper index notation and the rules of indicial algebra, indicating that errors in these areas can lead to incorrect conclusions.

Areas of Agreement / Disagreement

Participants generally disagree on the validity of the initial manipulations presented. There is no consensus on the correctness of the proposed simplifications, and multiple competing views regarding the proper handling of indices and the implications for solving the equations remain evident.

Contextual Notes

Limitations include unresolved issues related to index notation, the dependence on correct application of Einstein summation convention, and the potential for misunderstanding the implications of the manipulations on the equations.

space-time
Messages
218
Reaction score
4
Hello everybody. I was recently brainstorming ways to make the Einstein field equations a little easier to solve (as opposed to having to write out that monstrosity of equations that I started on some time ago) and I got an interesting idea in my mind.

Here, we have the field equations:

R[itex]\mu[/itex][itex]\nu[/itex] - [itex]\frac{1}{2}[/itex]g[itex]\mu[/itex][itex]\nu[/itex]R = ((8[itex]\pi[/itex]G)/c4)T[itex]\mu[/itex][itex]\nu[/itex]

Now, notice that the curvature scalar R is apart of the equations. Now we know that:

R = g[itex]\mu[/itex][itex]\nu[/itex]R[itex]\mu[/itex][itex]\nu[/itex]

This means that we can express the equations as:

R[itex]\mu[/itex][itex]\nu[/itex] - [itex]\frac{1}{2}[/itex]g[itex]\mu[/itex][itex]\nu[/itex]g[itex]\mu[/itex][itex]\nu[/itex]R[itex]\mu[/itex][itex]\nu[/itex] = ((8[itex]\pi[/itex]G)/c4)T[itex]\mu[/itex][itex]\nu[/itex]

Now, the g[itex]\mu[/itex][itex]\nu[/itex] and the g[itex]\mu[/itex][itex]\nu[/itex] cancel each other out.

This just leaves:

R[itex]\mu[/itex][itex]\nu[/itex] - [itex]\frac{1}{2}[/itex]R[itex]\mu[/itex][itex]\nu[/itex] = ((8[itex]\pi[/itex]G)/c4)T[itex]\mu[/itex][itex]\nu[/itex]

This reduces to:

[itex]\frac{1}{2}[/itex]R[itex]\mu[/itex][itex]\nu[/itex] = ((8[itex]\pi[/itex]G)/c4)T[itex]\mu[/itex][itex]\nu[/itex]

Finally, you should be able to then multiply both sides of the the equation by 2 to get:

R[itex]\mu[/itex][itex]\nu[/itex] = ((16[itex]\pi[/itex]G)/c4)T[itex]\mu[/itex][itex]\nu[/itex]

Now, you have the Ricci tensor derived and then you can derive the metric tensor from here (thus solving the equations).

Would my logic in this process be accurate or is there some mathematical error within my logic that would render this invalid?
 
Physics news on Phys.org
You have made a mistake in doing your indices. You have overloaded the ##\mu,\nu## indices. The expression in terms of the Ricci tensor is:

$$R_{\mu\nu}-\frac{1}{2}g_{\mu\nu}g^{\rho\tau}R_{\rho\tau}=\frac{8\pi G}{c^4}T_{\mu\nu}$$

There IS a trace reversed version of the equations, and they look like this:

$$R_{\mu\nu}=\frac{8\pi G}{c^4}\left(T_{\mu\nu}-\frac{1}{2}Tg_{\mu\nu}\right)$$

Where here similarly in the previous case ##T\equiv T_{\mu\nu}g^{\mu\nu}##.

Basically you take the trace of the EFE's and then multiply it by ##g_{\mu\nu}/2## and add it back to the EFE's to get this equation. This may make things somewhat easier sometimes (especially useful in the vacuum case for when ##T_{\mu\nu}=0##), but you're really still just solving the same equation.
 
space-time said:
R[itex]\mu[/itex][itex]\nu[/itex] - [itex]\frac{1}{2}[/itex]g[itex]\mu[/itex][itex]\nu[/itex]g[itex]\mu[/itex][itex]\nu[/itex]R[itex]\mu[/itex][itex]\nu[/itex] = ((8[itex]\pi[/itex]G)/c4)T[itex]\mu[/itex][itex]\nu[/itex]

Your indices are all messed up here. It should be ##g_{\mu\nu}g^{\alpha\beta}R_{\alpha\beta}## which won't give you anything useful beyond the canonical form of the EFEs.

However there is a very slick and elegant way to calculate certain components of ##R_{\mu\nu}## if you have Killing field(s) available. If ##\xi^{\mu}## is a Killing field then it is very easy to show that ##R_{\mu\nu}\xi^{\nu} = \frac{1}{\sqrt{g}}\partial_{\nu}(\sqrt{g}\nabla_{\mu}\xi^{\nu})##. This let's you calculate the components of ##R_{\mu\nu}## along ##\xi^{\mu}## almost effortlessly. It is infinitely quicker to calculate this way if you have Killing fields available. It won't necessarily get you all the components of the Ricci tensor but it's better than nothing.
 
space-time said:
R = g[itex]\mu[/itex][itex]\nu[/itex]R[itex]\mu[/itex][itex]\nu[/itex]

This means that we can express the equations as:

R[itex]\mu[/itex][itex]\nu[/itex] - [itex]\frac{1}{2}[/itex]g[itex]\mu[/itex][itex]\nu[/itex]g[itex]\mu[/itex][itex]\nu[/itex]R[itex]\mu[/itex][itex]\nu[/itex] = ((8[itex]\pi[/itex]G)/c4)T[itex]\mu[/itex][itex]\nu[/itex]

Now, the g[itex]\mu[/itex][itex]\nu[/itex] and the g[itex]\mu[/itex][itex]\nu[/itex] cancel each other out.

Any time that your dummy indices are not paired, one up and one down and no other appearances, something has to be wrong. In this case, you'll see the problem if you try writing the summations out explicitly instead of using the summation convention.
 
Friend

You made ​​a mistake. The rules of algebra notational not allow to have more than two equal indices in a monomial. The rule of the sum of Einstein and determining which are the free indices can not be applied:

Rμν - 1/2gμνgμνRμν = ((8πG)/c4)Tμν
 
Please, it reads "notational algebra", read indicial algebra.
Excuse me.

VictorNeto
 
Please, it reads "notational algebra", read indicial algebra.
Excuse me.

VictorNeto
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 38 ·
2
Replies
38
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
958
  • · Replies 16 ·
Replies
16
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 9 ·
Replies
9
Views
1K
  • · Replies 8 ·
Replies
8
Views
1K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K