Invariants of the stress energy tensor

Join the discussion
Registration is free. Start your own thread to ask a follow-up.
9 replies · 3K views
Messages
37,243
Reaction score
16,363
Does anyone know of a set of invariants for the stress energy tensor? In particular, I would like to know if there is a small set of linearly independent invariants, each of which (or at least some of which) have a clear physical meaning.
 
Physics news on Phys.org
It depends on which situation you look at.

Take an ideal fluid. It's characterized by an equation of state and a fluid four-velocity field ##u^{\mu}##. The energy-momentum tensor is defined through 2 invariants (or rather scalar fields): the internal-energy density and pressure in the local rest frames of the fluid cells, ##\epsilon## and ##P##. At one space-time point in the restframe the components read
$$T^{* \mu \nu}=\mathrm{diag}(\epsilon,P,P,P).$$
Since ##u^{* \mu}=(1,0,0,0)## and ##\eta^{*\mu \nu}=(1,-1,-1,-1)## you can write this in manifestly covariant form as
$$T^{* \mu \nu}=(\epsilon+P) u^{*\mu} u^{* \nu}-P \eta^{* \mu \nu}.$$
Since ##u^{\mu}## are four-vector components, and ##\eta^{* \mu \nu}=\eta^{\mu \nu}## are invariant tensor components (under Lorentz boosts), the equation holds in any frame,
$$T^{\mu \nu} =(\epsilon+P) u^{\mu} u^{\nu} - P \eta^{\mu \nu}.$$
The invariants (scalar fields) in this case are
$$u_{\mu} u_{\nu} T^{\mu \nu}=\epsilon$$
and
$$\eta_{\mu \nu} T^{\mu \nu}=\epsilon-3P.$$
Of course the latter scalar ("the trace") is one you can define for any energy-momentum tensor. For a free electromagnetic field or a fluid of massless particles it vanishes (in the classical-field theory approximation) because of the scale invariance of free electromagnetic fields and massless particles making up an ideal fluid.
 
Like any (1,1) tensor, the invariants should just be the eigenvalues or combinations thereof? This is reflected in #2 where the assumption of an ideal fluid makes three of the eigenvalues equal so that you only have two independent ones.
 
  • Like
Likes   Reactions: Dale and vanhees71
Does ##\nabla_\mu T^{\mu\nu}=0## count? It's the local conservation of energy, and is four invariants constructed from the stress-energy tensor.
 
Orodruin said:
Like any (1,1) tensor, the invariants should just be the eigenvalues or combinations thereof?
Is that true in all coordinate systems or just in locally inertial coordinates?
 
I rather thought the invariants would be ##T^u{}_u## and perhaps ##*T^u{}_u##, where ##*T^{cd} = \epsilon^{abcd}T_{ab}##. But that was mainly from a discussion of an anti-symmetric tensor, I'm not sure what difference symmetry might make.
 
pervect said:
I rather thought the invariants would be ##T^u{}_u## and perhaps ##*T^u{}_u##, where ##*T^{cd} = \epsilon^{abcd}T_{ab}##. But that was mainly from a discussion of an anti-symmetric tensor, I'm not sure what difference symmetry might make.
Well, to start ##T## is not a 2-form. Since it is symmetric, ##*T## would be zero trivially.

The trace of ##T## is indeed an invariant as it is the sum of eigenvalues.

Dale said:
Is that true in all coordinate systems or just in locally inertial coordinates?
Eigenvalues of a (1,1) tensor do not depend on the coordinates. The coordinate independent eigenvector equation is ##T(V)=\lambda V##.
 
  • Like
Likes   Reactions: Dale
Orodruin said:
The coordinate independent eigenvector equation is ##T(V)=\lambda V##.
So in coordinate notation that is ##g_{\nu\xi}T^{\mu\nu}V^{\xi}=\lambda V^{\mu}##
 
Dale said:
So in coordinate notation that is ##g_{\nu\xi}T^{\mu\nu}V^{\xi}=\lambda V^{\mu}##
Yes.
 
  • Like
Likes   Reactions: Dale