Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Stress-energy tensor of a perfect fluid

  1. Oct 25, 2006 #1
    The stress energy tensor of a perfect fluid is composed of two terms of which only one term contains the metric tensor gab. (product of metric tensor and pressure). For curved spacetime, one replaces the flat spacetime metric tensor by the metric tensor of curved space. What I find bizar however is that the metric tensor enters into the expression of the stress-energy tensor in such an asymmetric way (one part affected, the other not). The same applies for the stress energy tensor of the electromagnetic field. Is there some deep reason why one part is affected while the other part is not ? Should one not expect that the geometry of spacetime affects all components in a similar way ?
     
  2. jcsd
  3. Oct 25, 2006 #2
    Huh? :confused: Where did you get that from? The stress-energy-momentum for a perfect fluid is

    T^{\alpha\beta} = \rho U^{\alpha} U^{\beta}

    (I used "tex" in square brackets but got a latex error. What did I do wrong??)

    where U is the 4-momentum of a fluid element

    If you're talking about the components of the tensor at a given point then you can choose whatever system of coordinates you like, even locally a locally flat coordinate system in which the metric tensor is diag(1,-1,-1,-1).

    Best wishes

    Pete
     
    Last edited: Oct 25, 2006
  4. Oct 25, 2006 #3
    In the wikipedia article http://en.wikipedia.org/wiki/Fluid_solution" [Broken] it is written as:

    [tex]T^{ab} = (\mu + p) \, u^a \, u^b + p \, g^{ab}[/tex]

    I think he is asking why the velocity vectors are not subject to the metric as the pressure is.

    By the way, happy birthday Pete!
     
    Last edited by a moderator: May 2, 2017
  5. Oct 25, 2006 #4
    Indeed, my question is why the vectors are not subject to the metric as the pressure is.
     
    Last edited by a moderator: May 2, 2017
  6. Oct 25, 2006 #5
    Thank you Jen! :smile: Much appreciated. By the way, how did you know it was my birthday today?

    The Birthday Boy Pete :tongue2:

    ps - My previous post was incorrect. I posted the tensor for a dust. Thanks Jen for getting it right and correcting me. :smile:
     
    Last edited: Oct 25, 2006
  7. Oct 25, 2006 #6

    Stingray

    User Avatar
    Science Advisor

    You're essentially splitting the stress-energy tensor into two parts that are orthogonal to each other. Since the density portion has the tensor structure [itex]u^{a} u^{b}[/itex], the pressure term should be proportional to a rank-2 symmetric tensor that leaves zero when contracted with the 4-velocity. But contracting it with any vector orthogonal to u will just give you that vector back (with a raised index). It's easy to verify that the only object satisfying these requirements is the standard projection operator
    [tex]
    g^{ab} + u^{a} u^{b}
    [/tex]

    Edit: TeX doesn't seem to be working right now. The first bit is supposed to read u^{a} u^{b}, and the second should say g^{ab}+u^{a}u^{b}.
     
    Last edited: Oct 25, 2006
  8. Oct 26, 2006 #7
    I understand that there are clear and strict mathematical rules to construct the tensors with the right properties but is there some way to understand this from a more physical point of view ? How is it possible that part of the tensor (the uaub term) is completely independent of the metric ? Maybe it is not possible to have a better understanding than the mathematical point of view. I was just wondering ..
     
  9. Oct 26, 2006 #8

    Stingray

    User Avatar
    Science Advisor

    How could it involve the metric? In a sense, u^{a} involves it implicitly since it is supposed to be normalized. But beyond that, any terms would just be absorbed into \rho.
     
  10. Oct 27, 2006 #9
    Sorry for the late reply but more down to earth problems have occupied me:rolleyes:
    My knowledge of mathematics and relativity is not so advanced as yours, so I have some difficulty in following your arguments. I do not understand how the metric is implicitly involved in u^{a} (by normalisation). Could you explain this in some more detail ?:confused:
     
  11. Oct 27, 2006 #10

    Stingray

    User Avatar
    Science Advisor

    When writing the [itex]\rho u^{a} u^{b}[/itex], it is assumed that [itex]u^{a} u_{a} = g_{ab} u^{a} u^{b} = -1[/itex]. You cannot make this statement without using the metric. If it isn't imposed, [itex]\rho[/itex] loses its meaning.
     
  12. Oct 27, 2006 #11
    Thanks for this quick reply. I got your point. Suppose one would multiply the metric by some constant (scalar), how would this change, in general, the stress energy tensor of matter, fields, etc. ?
     
  13. Oct 27, 2006 #12

    George Jones

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    It's also illustrative to consider Stingray's last point using index-free notation, i.e., consider the stress-energy tensor to be a bilinear map that takes pairs of 4-vectors into scalars. The stress-energy tensor for a fluid acting on arbitrary 4-vectors [itex]v[/itex] and [itex]w[/itex] gives

    [tex]T \left( v , w \right) = \left( \rho + p \right) g \left( v , u \right) g \left( w , u \right) + pg \left( v , w \right).[/tex]
     
  14. Oct 29, 2006 #13
    Thanks George. Coming back to my last question ; If one would multiply the metric tensor by some scalar constant A, how would the stress energy tensor of a perfect fluid, or the stress energy tensor in general, be modified ?
     
  15. Oct 29, 2006 #14

    Stingray

    User Avatar
    Science Advisor

    Sorry I forgot to answer before. Anyway, what you're asking is a special case of something known as a conformal transformation (or conformal isometry). Multiplying the metric by a positive constant [itex]A^{2}[/itex] is equivalent to a coordinate transformation [itex]x \rightarrow x/A[/itex]. The stress-energy tensor would then transform as [itex]T^{ab} \rightarrow T^{ab}/A^{2}[/itex].
     
  16. Oct 29, 2006 #15
    Thanks Stingray for this very interesting remark. How did you work out this so quickly ?
    What I'm actually trying to find out is how the Einstein Field equations transform when the metric tensor is multiplied by a constant or in other words, how would the Einstein tensor change under such a transformation ?
     
  17. Oct 29, 2006 #16

    Stingray

    User Avatar
    Science Advisor

    By the (old fashioned) definition of tensor, a coordinate transformation [itex]\bar{x}^{a}=\bar{x}^{a}(x)[/itex] transforms the components of any tensor with two upper indices as

    [tex]
    \bar{L}^{ab} = \frac{ \partial \bar{x}^{a} }{ \partial x^{c} } \frac{ \partial \bar{x}^{b} }{ \partial x^{d} } L^{cd}
    [/tex]

    Similarly,

    [tex]
    \bar{L}_{ab} = \frac{ \partial x^{c} }{ \partial \bar{x}^{a} } \frac{ \partial x^{d} }{ \partial \bar{x}^{b} } L_{cd}
    [/tex]

    This applies to the Einstein and metric tensors just like it does to any other.

    If the factor that you're multiplying the metric by isn't a constant, then the interpretation as a coordinate transformation isn't always possible. But it can still be a useful thing to do, and is called a conformal transformation. It is described in detail in one of the appendices in Wald's textbook.
     
    Last edited: Oct 29, 2006
  18. Oct 30, 2006 #17
    So, if I understand it correctly, the Einstein Field Equations ARE invariant under a multiplication of the metric tensor by a constant. But would this invariance not be spoiled by adding the cosmological constant term ? And would this not be an argument against the introduction of this term ?
     
  19. Oct 30, 2006 #18

    Stingray

    User Avatar
    Science Advisor

    Multiplying the metric by a constant is equivalent to a coordinate transformation. Einstein's equations (with or without the cosmological constant) are invariant under all coordinate transformations.
     
  20. Nov 1, 2006 #19
    :surprised Something must be wrong here. If you multiply the metric by a constant, then the cosmological constant term will also be multiplied by that same constant, while the stress energy tensor will be divided by that constant (your previous messages). So, clearly they do not scale in the same way and so Einsteins equations can not be invariant under such a change.
     
  21. Nov 1, 2006 #20

    pervect

    User Avatar
    Staff Emeritus
    Science Advisor

    I don't understand what the problem is. Stingray is right, multiplying by a constant is just a coordinate transformation. Perhaps you need to set up a specific example. Suppose we have a metric g, and a metric gg, representing the same space-time, and all of the coefficients of gg are 4 times as large as the coefficeints of g.

    Then ds^2 = g_ij dx^i dx^j = gg_ij dxx^i dxx^j

    where gg_ij = 4 g_ij
    xx^i = (1/2) x^i

    So when you label all coordinates x^i with 1/2 their old labels, you increase the metric coefficeints g_ij by a factor of 4
     
  22. Nov 1, 2006 #21
    When I asked how the energy-stress tensor (T) changed under a multiplication by a constant (say B), Stingray answered (see 10-29-2006 , 10:53) that it transformed to T/B. If you transform the cosmological constant term (by multiplying g by B), then this term is obviously multiplied by B. Dividing by B is not the same as multiplying by B, so the two terms (cosmological constant term and T) do not trasnform in the same way. This is the problem.
     
  23. Nov 1, 2006 #22

    Stingray

    User Avatar
    Science Advisor

    It makes a difference whether the indices are up or down. It is conventional (though not necessary) to write the metric with lowered indices, so I was considering the transformation [itex]g_{ab} \rightarrow B g_{ab}[/itex]. But that means that [itex]g^{ab} \rightarrow g^{ab}/B[/itex]. Similarly, stress-energy tensors are usually written with raised indices, so that's what I mentioned: [itex]T^{ab} \rightarrow T^{ab}/B[/itex]. But if you look at

    [tex]
    G_{ab} + \Lambda g_{ab} = 8 \pi T_{ab}
    [/tex]

    each term will be multiplied by B under your transformation.
     
  24. Nov 1, 2006 #23
    First off, multiplying by a constant (I assume you're referring to a scalar) is not a coordinate transformation. E.g. recall 3d vector analysis. Let's use the vector R = (a, b, c). Now multiply by the constant q to give qR = (qa, qb, qc). This is simply another vector whose length is q times the length of the original vector. Same thing applies to tensors of any rank.

    And the result is not T/B, its BT.

    Best wishes

    Pete
     
  25. Nov 1, 2006 #24

    Stingray

    User Avatar
    Science Advisor

    Read what I wrote about it. It is correct. He was talking about multiplying the metric by a constant scalar. That is most easily visualized as a coordinate transformation. You can get "inverse scaling" depending on whether the object is covariant or contravariant.
     
  26. Nov 27, 2006 #25

    Chris Hillman

    User Avatar
    Science Advisor

    Perfect fluids in gtr

    Hi, notknowing,

    I am coming into this thread rather late, but for what it is worth, I think I know what you mean, but you were simply being confused by the notation. I think the best way to understand this expression is to study the discussion of perfect fluids in the textbooks by Schutz or D'Inverno, until you understand how it is derived.

    Stingray made a remark about scaling, an notknowing inquired:

    I think the reading I recommended will clarify this (think of how a velocity is scaled, then note that the contribution to the stress-energy tensor from a fluid is quadratic in velocities).

    Actually, this expression represents the contribution from a pressureless perfect fluid or "dust". See for example (21.1) in D'Inverno's textbook.

    I am pretty sure that notknowing was referring to the case of nonzero pressure,
    [itex]T^{ab} = \left( \rho + p \right) \, U^a U^b - p \, g^{ab} [/itex]
    where p is the pressure and [tex]\rho[/tex] is the density, both measured by an idealized observer comoving with a fluid particle. (George Jones has already quoted this expression written in slightly more modern notation.)

    Rescaling the coordinates is called a "dilation". This is an example of a conformal transformation, and of course it is also a diffeomorphism, and thus any tensor equation will therefore be invariant under a dilation. However, individual COMPONENTS will rescale, which seems to be the basis for the confusion in this thread (I think several participants might have been talking past one another). Indeed, thinking in terms of dimensional analysis for vectorial quantities in Euclidean space should give the right idea for how tensor components scale in curved spacetimes--- it seems to me that Peter and Stingray actually agree about this point.

    Chris Hillman
     
    Last edited: Nov 27, 2006
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook