Reference: Moore, Thomas A., A General Relativity Workbook, University Science Books (2013) – Chapter 7; Problem 7.8; Chapter 20, Problem 20.5.
Since energy is the time component of the four-momentum and the density of a scalar quantity such as mass or charge is the time component of a four-vector (four-current in the case of charge), the energy density of a collection of particles would appear to transform as the component of a second-rank tensor (since we have one Lorentz transformation for the energy and another for the density). If we then take a slight leap in logic and assume that the energy density of electromagnetic fields transforms in the same way, then we can assume that this energy density is the component of a tensor known as the stress-energy tensor.
The idea, then, is to find a second-rank tensor from the electromagnetic field tensor that has this as its component. We can get a clue as to how to do this by looking at the quantity . During the derivation of this, we found that the (that is, the 00 component) component of the tensor product . Combining this with we get
If we raise the 0 index in the first term on the RHS, we get
where we’ve introduced the minus sign in the first term since raising the index changes the sign in the 0 column of .
This looks promising, but the expression on the RHS is the sum of the component of a tensor (the first term) and a scalar. We can convert this to be the component of a tensor by multiplying the last term by (the Kronecker delta):
If we now propose this is the term of the stress-energy tensor we can postulate
The other elements of have meanings that we’ll get to eventually, but we can note that for
For for example, we get
This is the component of the Poynting vector, which describes the rate of energy transfer per unit area of an electromagnetic field. Again, something we’ll get to in EM theory eventually.