Questions about energy conditions

  • Thread starter haushofer
  • Start date

haushofer

Science Advisor
2,126
506
Hi there, i have a question about the energy-momentum tensor T of a perfect fluid, en the relations between pressure en density. I've read something about the Dominant Energy condition, which states that the contraction between T and 2 null- or timelike vectors is always positive. This I understand, but it also implies some relations between the pressure and density, and I don't see this. T contains 2 timelike vectors also, can those 2 be identified with the 2 vectors which are used in the contraction, when the T of a perfect fluid is filled in this condition? ( so the normalisation of timelike vectors can be used?)

The book of d'Inverno speaks about turning the question into an eigenvalue problem, in which he turns the eigenvectors in a tetrad. I don't understand this also.....and least but not last, I look for a derivation of the dominant energy condition of Hawking and Ellis ( maybe they use the way which I described earlier? )


If someone could help me, I would be very pleased! I'm busy right now with a little research in cosmology and the cosmological constant, and I'm a little stuck right now :)
 

haushofer

Science Advisor
2,126
506
hellfire said:
Ok, thank you for your time, but then still my questions hold if, in the energy condition, you may contract the velocities in the tensor with the velocities used in the condition and use the normalisation for such timelike vectors.

If I calculate the contraction between the mixed En-mom tensor and a timelike vector, I get w*p*U, with U the contravariant timelike vector and rho=w*p. How can I conclude from this that w<-1 ?

And i didn't quite understate your statement about the velocity of a sound wave ( dp/d(rho) )

I hope I'm not to much a pain in the arse :)
 

hellfire

Science Advisor
1,047
1
If you calculate [tex]T^{\mu}_{\nu}A^{\nu}[/tex] you get

[tex]( - \rho A^0, p A^1, p A^2, p A^3) [/tex]

For the DEC this must be timelike, therefore the following must hold considering [tex]p = w \rho[/tex]:

[tex] (A^0)^2 > w^2 ((A^1)^2 + (A^2)^2 + (A^3)^2))[/tex]

If w2 > 1, this is not true for every timelike A.
 

haushofer

Science Advisor
2,126
506
Ok, very clear :) But I've another question now.

From the standard action you can derive an Enery momentum tensor, and identify that T(00)=rho, en pg(ij)=T(ij). From this, I read that rho=1/2*(timederivative of scalarfield)^2 + V, and p=/2*(timederivative of scalarfield)^2 -V.

The first is clear, but the expression for p is not.... i need this for an examination of the relation p=rho*w, where w is than variable. Anyone? :)
 

hellfire

Science Advisor
1,047
1
haushofer said:
From the standard action you can derive an Enery momentum tensor, and identify that T(00)=rho, en pg(ij)=T(ij). From this, I read that rho=1/2*(timederivative of scalarfield)^2 + V, and p=/2*(timederivative of scalarfield)^2 -V.
What action? Are you talking about a scalar field? In such a case you have different equations of state w = -1, 1 depending on whether you neglect the kinetic term or the potential term. Otherwise, for the general case, I don't think there must be an equation of state of type [tex]\inline{p = \omega \rho}[/tex]... (but I am not sure).
 

haushofer

Science Advisor
2,126
506
Sorry for the late reply. Well, w is then just defined as the ratio between rho and p. And rho an p are something you can extract from the general energy momentum tensor of the scalar. But those are different bij a term 2*V, and they both contain the time derivative of the scalarfield... And I'm heavily traumatised, cause I can't see this step :(
 

hellfire

Science Advisor
1,047
1
If you take the Lagrangian for the scalar field [tex]\inline{L \approx \frac{1}{2} \dot \phi^2 + V = K + V}[/tex] and apply Noether's theorem to compute the energy-momentum tensor, you will get [tex]\inline{\rho = K + V}[/tex] and [tex]\inline{p = K - V}[/tex]. Now, depending on whether you neglect K or V you will have w = -1 or w = 1. If you do not neglect any of them, then I guess you cannot have a simple relation [tex]\inline{p = w \rho}[/tex].
 
Last edited:

haushofer

Science Advisor
2,126
506
hellfire said:
If you calculate [tex]T^{\mu}_{\nu}A^{\nu}[/tex] you get

[tex]( - \rho A^0, p A^1, p A^2, p A^3) [/tex]

For the DEC this must be timelike, therefore the following must hold considering [tex]p = w \rho[/tex]:

[tex] (A^0)^2 > w^2 ((A^1)^2 + (A^2)^2 + (A^3)^2))[/tex]

If w2 > 1, this is not true for every timelike A.
But this doesn't work for a general, symmetric energy-momentum tensor; only for a tensor in the form T=diag(rho,-p,-p,-p,). How does one generalize this for a general symmetric T(ab) ?

I also saw that you can construct in this way a contravariant vector an a covariant vector, and take the innerproduct and set this always bigger than 0. Does anyone know this derivation, because I can't get the right results...

But the rest is clear now.
 

hellfire

Science Advisor
1,047
1
I am sorry but I cannot help you with this. I know about the relation [tex]\inline{p = \omega \rho}[/tex] only in the context of perfect fluids for which the energy-momentum tensor is diagonal. I guess (but I don’t know) that there will not exist such a simple relation for fluids with viscosity and heat conduction and you will need to consider other state functions or other variables to find an expression for the pressure of the fluid.
 

George Jones

Staff Emeritus
Science Advisor
Gold Member
7,117
665
For now, I just want to comment that I hope to get involved in this thread sometime soon, but I want to do some other things first, so this won't happen until maybe later today, maybe tomorrow, maybe ... .

The only references that I have available are the books by Hartle and Carroll, but I think this will be enough to allow us to work through some things together. In the meantime, you might find Matt Visser's paper, Twilight for the energy conditions?, interesting (and not entirely relevant).

http://www.arxiv.org/abs/gr-qc/0205066

Regards,
George
 

haushofer

Science Advisor
2,126
506
hellfire said:
I am sorry but I cannot help you with this. I know about the relation [tex]\inline{p = \omega \rho}[/tex] only in the context of perfect fluids for which the energy-momentum tensor is diagonal. I guess (but I don’t know) that there will not exist such a simple relation for fluids with viscosity and heat conduction and you will need to consider other state functions or other variables to find an expression for the pressure of the fluid.
Well, you know, the problem is more this:

I've got a perfect fluid, and with this you get T(00)=rho and T(ij)=-pg(ij). With the dominant energy condition one can reveal that -1<w<1, that is to say, I read it all over the place. But no-one gives a normal derivation of this result! I've read Carroll, Inverno, Wald, Cheng, and a lot of articles, but everyone thinks it is trivial or something...

What I've done is this: I contracted the perfect fluid-tensor with a time-like vector ( 2 times ofcourse, to create a contra and a covariant vector) . Then i took the innerproduct, and stated that it should be bigger than 0. And that's were I got stuck.

Anyway, I really appreciate the effort from you guys :) It's just a little frustrating that something that seems to be a little algebra causes so much headaches...
 

hellfire

Science Advisor
1,047
1
haushofer said:
What I've done is this: I contracted the perfect fluid-tensor with a time-like vector ( 2 times ofcourse, to create a contra and a covariant vector) . Then i took the innerproduct, and stated that it should be bigger than 0. And that's were I got stuck.
I think I explained in post #4 how to proceed then. Actually, after reading your last post I am not sure to understand what your problem is.
 

George Jones

Staff Emeritus
Science Advisor
Gold Member
7,117
665
According to Carroll, the energy-momentum tensor for a perfect fluid is

[tex] T_{\mu\nu} = (\rho + p)U_\mu U\nu + p g_{\mu\nu}. [/tex]

The dominant energy con requires that for all timelike 4-vectors [itex] \mathbf{t} [/itex]:

1) [itex] T_{\mu\nu} t^\mu t^nu \geq 0 [/itex]
 

George Jones

Staff Emeritus
Science Advisor
Gold Member
7,117
665
Sorry, I clicked Submit Reply when I meant to click Preview Post. Here's what seems to me to be a complete argument.

According to Carroll, the energy-momentum tensor for a perfect fluid is

[tex] T_{\mu\nu} = (\rho + p)U_\mu U_\nu + p g_{\mu\nu}. [/tex]

The dominant energy con requires that for all timelike 4-vectors [itex] \mathbf{t} [/itex]:

1) [itex] T_{\mu\nu} t^\mu t^nu \geq 0 [/itex];
2) [itex] v^\nu = T^{\mu\nu} t_\mu [/itex] is timelike or lightlike.

[itex] \mathbf{U} [/itex] is timelke, and using this in 1) gives

[tex]
\begin{equation*}
\begin{split}
0 &\leq T_{\mu\nu} U^\mu U^\nu\\
&= [(\rho + p)U_\mu U_\nu + p g_{\mu\nu}] U^\mu U^\nu\\
&= (\rho + p)(-1)(-1) + p(-1)\\
&= \rho,
\end{split}
\end{equation*}
[/tex]

so [itex] \rho \geq 0 [/itex].

The information that is needed from 2) is obtained by keeping [itex] \mathbf{t} [/itex] arbitrary. [itex] v^\nu = T^{\mu\nu} t_\mu [/itex] timelike or lightlike means

[tex]
\begin{equation*}
\begin{split}
0 &\geq v^\nu v_\nu\\
&= T^{\mu\nu} t_\mu T^\lambda{}_\nu t_\lambda\\
&= [(\rho + p)U^\mu U^\nu + p g^{\mu\nu}][(\rho + p)U^\lambda U_\nu + p \delta^\lambda_\nu]t_\mu t_\lambda\\
&= [-(\rho + p)^2 U^\mu U^\lambda + p(\rho + p)U^\lambda U^\mu + (\rho + p)pU^\mu U^\lambda + p^2 g^{\mu\lambda}] t_\mu t_\lambda\\
&= [(p^2 - \rho^2)U^\mu U^\lambda + p^2 g^{\mu\lambda}] t_\mu t_\lambda\\
&= (p^2 - \rho^2)(U^\mu t_\mu)^2 + p^2 t_\mu t^\mu.
\end{split}
\end{equation*}
[/tex]

Because [itex] \mathbf{t} [/itex] is an arbitrary timelike vector, the magnitude of the second term in the last line above can be made arbitrarily small, i.e. for very (no matter how small) [itex] \epsilon > 0 [/itex], there is a [itex] \mathbf{t} [/itex] with [itex] 0 > p^2 t_\mu t^\mu \geq -\epsilon [/itex]. Thus, neglect this second term. Now, divide by the positive scalar [itex] (U^\mu t_\mu)^2 [/itex] to give [itex] \rho^2 \geq p^2 [/itex]. Because [itex] \rho [/itex] is positive,

[tex] -\rho \leq p \leq \rho. [/tex]

I have tried to be fairly explicit, but if anything is unclear, let me know.

Regards,
George
 

haushofer

Science Advisor
2,126
506
George Jones said:
Sorry, I clicked Submit Reply when I meant to click Preview Post. Here's what seems to me to be a complete argument.

According to Carroll, the energy-momentum tensor for a perfect fluid is

[tex] T_{\mu\nu} = (\rho + p)U_\mu U_\nu + p g_{\mu\nu}. [/tex]

The dominant energy con requires that for all timelike 4-vectors [itex] \mathbf{t} [/itex]:

1) [itex] T_{\mu\nu} t^\mu t^nu \geq 0 [/itex];
2) [itex] v^\nu = T^{\mu\nu} t_\mu [/itex] is timelike or lightlike.

[itex] \mathbf{U} [/itex] is timelke, and using this in 1) gives

[tex]
\begin{equation*}
\begin{split}
0 &\leq T_{\mu\nu} U^\mu U^\nu\\
&= [(\rho + p)U_\mu U_\nu + p g_{\mu\nu}] U^\mu U^\nu\\
&= (\rho + p)(-1)(-1) + p(-1)\\
&= \rho,
\end{split}
\end{equation*}
[/tex]

so [itex] \rho \geq 0 [/itex].

The information that is needed from 2) is obtained by keeping [itex] \mathbf{t} [/itex] arbitrary. [itex] v^\nu = T^{\mu\nu} t_\mu [/itex] timelike or lightlike means

[tex]
\begin{equation*}
\begin{split}
0 &\geq v^\nu v_\nu\\
&= T^{\mu\nu} t_\mu T^\lambda{}_\nu t_\lambda\\
&= [(\rho + p)U^\mu U^\nu + p g^{\mu\nu}][(\rho + p)U^\lambda U_\nu + p \delta^\lambda_\nu]t_\mu t_\lambda\\
&= [-(\rho + p)^2 U^\mu U^\lambda + p(\rho + p)U^\lambda U^\mu + (\rho + p)pU^\mu U^\lambda + p^2 g^{\mu\lambda}] t_\mu t_\lambda\\
&= [(p^2 - \rho^2)U^\mu U^\lambda + p^2 g^{\mu\lambda}] t_\mu t_\lambda\\
&= (p^2 - \rho^2)(U^\mu t_\mu)^2 + p^2 t_\mu t^\mu.
\end{split}
\end{equation*}
[/tex]

Because [itex] \mathbf{t} [/itex] is an arbitrary timelike vector, the magnitude of the second term in the last line above can be made arbitrarily small, i.e. for very (no matter how small) [itex] \epsilon > 0 [/itex], there is a [itex] \mathbf{t} [/itex] with [itex] 0 > p^2 t_\mu t^\mu \geq -\epsilon [/itex]. Thus, neglect this second term. Now, divide by the positive scalar [itex] (U^\mu t_\mu)^2 [/itex] to give [itex] \rho^2 \geq p^2 [/itex]. Because [itex] \rho [/itex] is positive,

[tex] -\rho \leq p \leq \rho. [/tex]

I have tried to be fairly explicit, but if anything is unclear, let me know.

Regards,
George
You are my hero, but that last sentence, that the arbitrary timelike t can be made arbitrary small isn't quite clear yet. I don't see yet how you can pick such a freedom to talk t that small; you want the DEC to be true for all vectors t, also for vectors with a norm bigger than epsilon. But this is indeed the derivation I was looking for !
 

haushofer

Science Advisor
2,126
506
And I get a feeling that I should learn how to use LaTeX :') So excuse me if I wasn't that clear in my formulation of the problem.
 

George Jones

Staff Emeritus
Science Advisor
Gold Member
7,117
665
Actually, it's important to note that [itex]b^2 := -t_\mu t^\mu[/itex] can be made arbitrarily small with respect to [itex]a^2 := (U^\mu t_\mu)^2[/itex]. Dividing through by [itex]a^2[/itex] without neglecting [itex]b^2[/itex] gives

[tex]\rho^2 \geq p^2 (1 - (b/a)^2 ).[/tex]

[itex](b/a)^2[/itex] is a scalar-valued function of [itex]\mathbf{t}[/itex] that can take on any value in the range [itex]0<(b/a)^2<\infty[/itex]. The idea is that since this is true for any [itex]\mathbf{t}[/itex], why not choose a [itex]\mathbf{t}[/itex] that gives the tightest constraint?

For exampe, take

[tex]t^\mu = U^\mu + \sqrt{1 - \delta}s^\mu,[/tex]

where [itex]\mathbf{s}[/itex] is a spacelike unit vector orthogonal to [itex]\mathbf{U}[/itex]. Then

[tex]
\begin{equation*}
\begin{split}
t^\mu t_\mu &= (U^\mu + \sqrt{1 - \delta}s^\mu)(U_\mu + \sqrt{1 - \delta}s_\mu)\\
&= -1 + (1 - \delta)\\
&= -\delta,
\end{split}
\end{equation*}
[/tex]

so, [itex]\mathbf{t}[/itex] is timelike as long as [itex]0 < \delta \leq 1[/itex]. Clearly, [itex]U^\mu t_\mu = -1[/itex]. Thus, [itex](b/a)^2 = \delta[/itex], and

[tex]\rho^2 \geq p^2 (1 - \delta)[/tex].

Choosing [itex]\delta[/itex] as close to zero as possible makes [itex](1 - \delta)[/itex] as large as possible, which gives the tightest constraint.

You should give LateX a try! I had never used LateX before I joined Physics Forums a few days ago. Before this, I had always used Scientific Workplace, a front end for Latex that also includes a basic Maple package. I have found the thread

https://www.physicsforums.com/showthread.php?t=8997

to be invaluable.

Regards,
George
 

haushofer

Science Advisor
2,126
506
Ok, there comes a light bubbling into my head, but I oversee something. I would guess that, in order to represent a flow of energy, you would contract the energy momentum tensor with a velocity vector. So t would be a velocity vector, and the innerproduct of velocity vectors with themselfs are normalised as -1. ( with metric convention -,+,+,+) So I would say that b2 is always -1...

I guess I'm a little confused by the definition of the vectors...
 
Last edited:

George Jones

Staff Emeritus
Science Advisor
Gold Member
7,117
665
The condition

2) [itex]v^\nu = T^{\mu\nu} t_\mu[/itex] is timelike or lightlike for all timelike [itex]\mathbf{t}[/itex]

is completely equivalent (in a mathematical sense) to the condition

2') [itex]v^\nu = T^{\mu\nu} t_\mu[/itex] is timelike or lightlike for all [itex]\mathbf{t}[/itex] such that [itex]t^\mu t_\mu = -1.[/itex]

Exercise: show this.

Therefore, using 2) to establish a result, e.g., our desired inequality, is equivalent to using 2') to establish the same result. However, it seems that you would like to see the result established starting directly from 2'). OK.

The result

[tex]\rho^2 \geq p^2 (1 - (b/a)^2 ),[/tex]

with [itex]a^2 := (U^\mu t_\mu)^2[/itex] and [itex]b^2 := -t_\mu t^\mu[/itex] is obtained exactly as before. Now, [itex]b^2 := 1[/itex], so the idea is to find a [itex]\mathbf{t}[/itex] that makes [itex]a[/itex] as large as possible.

To this end, choose [itex]\mathbf{t}[/itex] such that

a) [itex]t^0 = 1/(\sqrt{\delta}U^0 )[/itex];
b) [itex]U^1 t^1 + U^2 t^2 + U^3 t^3 = 0[/itex].

Then, [itex]a^2 = 1/\delta[/itex] and [itex]\rho^2 \geq p^2 (1 - \delta)[/itex] as before. Let [itex]\delta[/itex] go to zero. This will mean that [itex](t^0)^2[/itex] goes to infinity, but this is OK as long as [itex]((t^1)^2 + (t^2)^2 + (t^2)^2)[/itex] goes to infinity such that [itex] -(t^0)^2 + ((t^1)^2 + (t^2)^2 + (t^2)^2) = -1[/itex] is maintained.

Regards,
George
 

Want to reply to this thread?

"Questions about energy conditions" You must log in or register to reply here.

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving
Top