Is There Really a Strictly Conserved Stress-Energy Tensor in GR?

In summary: The null Nordtvedt results you're citing are evidence of that, but they're not evidence that *any* system has a "net gravitating mass".
  • #1
Q-reeus
1,115
3
This is a fork off the locked thread here: https://www.physicsforums.com/showthread.php?t=648423, and is further a response to a recent blog entry 'Does Gravity Gravitate?' (not sure of the PF rules on blogs re threads so won't post a link to it here).
The blog presents well what is doubtless a standard argument for why gravitational field is not self-gravitating in GR. One key consequence of that position holds that given ∇aGab=∇aTab=0, the only means whereby the net gravitating mass M of some 'isolated' system can change is via a flux of non-zero Tab stress-energy-momentum in or out of that system. But it seems not hard to readily refute that fundamental GR dogma. Although not widely known, it is well known that a small but finite fraction of the energy pouring out from say a stellar body is owing to HFGW's (high-frequency gravitational waves) as a consequence of thermal jostling between particles

[Moderator's note: unacceptable reference deleted; acceptable reference needed.]

This entirely random but overall quite smooth and isotropic outgoing flux of non-Tab energy has an obviously insignificant perturbation on the metric at any given time, yet over time represents a steady conversion from and loss of Tab source. This must be so given argument in that closed thread that all forms of gravitational field - including GW's, are not part of Tab. Thus the continuity eq'n ∇aTab=0 cannot be generally correct - unless one wishes to argue that HFGW's are produced 'for free' - thus a further violation of energy-momentum conservation in order to avoid violation of Tab conservation. In that case one has to ask how it is that the Hulse-Taylor binary-pulsar orbital decay data is cited as evidence in favor of both GR and the GW's it predicts, if energy-momentum accounting is not central to that evidence.

In that other thread I had cited null Nordtvedt results (involving both Lunar and binary-pulsar observations) as a further line that strongly implied gravity does indeed gravitate, but above single point involving conversion to HFGW's aught to suffice for now. Comments?
 
Last edited by a moderator:
Physics news on Phys.org
  • #2
There is no contradiction between the two claims that (1) gravity makes no contribution to the stress-energy tensor, and (2) gravitational radiation causes orbits to decay.

The difference has to do with general covariance. The generally covariant stress-energy tensor [itex]T^{\alpha \beta}[/itex] is not globally conserved, and has no gravitational contribution. However, in the special case of asymptotically flat spacetime it is possible to choose a specific coordinate system in which one can define a "pseudo-tensor" [itex]t^{\alpha \beta}[/itex] that is globally conserved. It's a "pseudo-tensor" because it is only defined for some coordinate systems, unlike a true tensor, which is defined for any coordinate system. The pseudo-tensor does have a contribution due to gravity.
 
  • #3
Q-reeus said:
(not sure of the PF rules on blogs re threads so won't post a link to it here).

AFAIK linking to blogs is the same as linking to threads; in any case, I certainly don't mind if anyone links to mine. The entry in question is here:

https://www.physicsforums.com/blog.php?b=4287

Q-reeus said:
The blog presents well what is doubtless a standard argument for why gravitational field is not self-gravitating in GR.

That's not what I argued. I argued that the question "does gravity gravitate?" can be validly answered *both* ways, "no" *and* "yes".

Q-reeus said:
One key consequence of that position holds that given ∇aGab=∇aTab=0, the only means whereby the net gravitating mass M of some 'isolated' system can change is via a flux of non-zero Tab stress-energy-momentum in or out of that system.

No, that's *not* a consequence of the GR position. I will address this in more detail in a follow-up post to the one linked to above (which is in draft now), but the quick answer is that the "net gravitating mass" M of an isolated system *can* change without any flux of non-zero T out of the system; as you correctly note, this is exactly what happens in a system that emits gravitational waves. See next comment.

Q-reeus said:
Thus the continuity eq'n ∇aTab=0 cannot be generally correct

Yes, it can, and it is. GW emission does not violate the conservation law. Again, I'll go into this in more detail in the follow-up post (and the questions you've asked here are helping me to draft that post), but the quick answer is that when GWs are emitted, the "amount of source" [itex]T_{ab}[/itex] does not change as viewed from a local inertial frame (which is what the continuity equation requires), but the relationship between a local inertial frame and the global coordinates in which the "net gravitating mass" of the system is evaluated *does* change (so the "net gravitating mass" can change without violating the continuity equation).

Q-reeus said:
In that other thread I had cited null Nordtvedt results (involving both Lunar and binary-pulsar observations) as a further line that strongly implied gravity does indeed gravitate

This is really the same general issue as the above: the "net gravitating mass" of an isolated system is something different from the "source" that appears in the EFE.
 
Last edited by a moderator:
  • #4
Q-reeus said:
Thus the continuity eq'n ∇aTab=0 cannot be generally correct - unless one wishes to argue that HFGW's are produced 'for free' - thus a further violation of energy-momentum conservation in order to avoid violation of Tab conservation.
Any solid evidence to support this claim?

The Einstein tensor is divergence free as an identity from Riemannian geometry which is valid for all manifolds, all metrics, any number of dimensions, etc. Since the Einstein Field Equation states that the stress energy tensor is proportional to the Einstein tensor then it is automatically also divergence free. That means any situation which satisfies the EFE guarantees the continuity of the stress energy tensor. Thus, to me it seems that your claim is clearly false.
 
  • #5
PeterDonis said:
AFAIK linking to blogs is the same as linking to threads; in any case, I certainly don't mind if anyone links to mine. The entry in question is here:

https://www.physicsforums.com/blog.php?b=4287
Good - that eases my mind.
That's not what I argued. I argued that the question "does gravity gravitate?" can be validly answered *both* ways, "no" *and* "yes".
OK but you made it plain there the "yes" part involving quantum gravity reduced to standard "no" GR even for typical BH situation well inside EH, so that was not even a consideration here that sticks to just standard GR.
...but the quick answer is that when GWs are emitted, the "amount of source" [itex]T_{ab}[/itex] does not change as viewed from a local inertial frame (which is what the continuity equation requires), but the relationship between a local inertial frame and the global coordinates in which the "net gravitating mass" of the system is evaluated *does* change (so the "net gravitating mass" can change without violating the continuity equation).
Well cannot recall this part ever being presented to me before. Seems highly restrictive - basically only good for an observer in free-fall which has in general implies a very brief use-by date. Anyway, I was about to respond to stevendaryl but you have addressed his points in the meantime, so await further expansion on this matter of just what use the local conservation law is if it is globally flouted - and presumably that could mean for any real-world extended body.
This is really the same general issue as the above: the "net gravitating mass" of an isolated system is something different from the "source" that appears in the EFE.
That you will have to expand on - I cannot see the linkage.
 
Last edited by a moderator:
  • #6
DaleSpam said:
The Einstein tensor is divergence free as an identity from Riemannian geometry which is valid for all manifolds, all metrics, any number of dimensions, etc. Since the Einstein Field Equation states that the stress energy tensor is proportional to the Einstein tensor then it is automatically also divergence free. That means any situation which satisfies the EFE guarantees the continuity of the stress energy tensor. Thus, to me it seems that your claim is clearly false.
You may have noticed from other posts the issue is now about local vs global - something new to me. Settle down Mr circling buzzard - I'm still kicking!
 
  • #7
Q-reeus said:
Seems highly restrictive - basically only good for an observer in free-fall which has in general implies a very brief use-by date.

It's not really restrictive at all, but I agree the key point is not often stressed, even in textbooks. The key point is this: *all* tensor equations are, strictly speaking, written in a local inertial frame. Remember that even an object with nonzero proper acceleration still has a local inertial frame at each event on its worldline; similarly, even inside a strongly gravitating body like a neutron star, there is still a local inertial frame at each event, and all objects "appear" in it, even accelerated ones.

When you use a global coordinate chart like the Schwarzschild chart to write tensor equations, you're not really writing a single global equation: you're writing an infinite family of local equations, each valid at a particular event with particular values of the tensor components as written in that global chart. So when we write the continuity equation [itex]\nabla^a G_{ab} = \nabla^a T_{ab} = 0[/itex], we are really writing an infinite family of continuity equations, one for each event, and each of them describes how continuity works in a local inertial frame at that event. But *all* physical objects at that event can be described in that local inertial frame.

In fact, since there are an infinite number of possible local inertial frames at a given event, each corresponding to a particular state of motion being "at rest" instantaneously at that event, a given tensor equation can be written in an infinite number of ways (i.e., with an infinite number of possible sets of values for the tensor components) even at a single event. A global chart like the Schwarzschild chart picks out one particular local inertial frame at each event--in the case of the Schwarzschild chart in the region exterior to the horizon, it's the local inertial frame of a static observer at that event, since that observer is at rest in the global Schwarzschild coordinates.

Also, it's worth noting that, from the standpoint of tensor equations, a local inertial frame is the only kind of frame there is. There is no such thing as an "accelerated frame"; there is only the local inertial frame of a particular accelerated observer at a given event. A global coordinate chart such as the Schwarzschild chart can make a particular family of accelerated observers appear to be "at rest" for more than an instant, but all that is really doing, as I said above, is picking out the local inertial frames at each event in a particular way.

A note on technical jargon: when you see people talking about tensor equations being valid in the "tangent space" at a given event, and how every event has its own distinct tangent space, that's a shorthand way of referring to what I said above. So it is in the textbooks, but the aspects of it that I stressed above are not stressed in the textbooks.
 
  • #8
PeterDonis said:
It's not really restrictive at all, but I agree the key point is not often stressed, even in textbooks. The key point is this: *all* tensor equations are, strictly speaking, written in a local inertial frame. Remember that even an object with nonzero proper acceleration still has a local inertial frame at each event on its worldline; similarly, even inside a strongly gravitating body like a neutron star, there is still a local inertial frame at each event, and all objects "appear" in it, even accelerated ones.
To say an accelerated (possibly highly non-uniformly accelerated) reference frame is at the same time locally inertial smacks to me of double-talk - not that I'm suggesting that of you personally - just the presumably standard notion in general.
In fact, since there are an infinite number of possible local inertial frames at a given event, each corresponding to a particular state of motion being "at rest" instantaneously at that event,
Instantaneously at rest is one thing, but calling it inertial regardless of proper acceleration is another. Feynman accused philosophers of using words in funny ways - maybe he should have looked closer to home.
a given tensor equation can be written in an infinite number of ways (i.e., with an infinite number of possible sets of values for the tensor components) even at a single event. A global chart like the Schwarzschild chart picks out one particular local inertial frame at each event--in the case of the Schwarzschild chart in the region exterior to the horizon, it's the local inertial frame of a static observer at that event, since that observer is at rest in the global Schwarzschild coordinates.
Again, I'm having trouble reconciling an observer static = at rest in a SC (thus experiencing proper acceleration) being at the same time in a locally inertial frame. Always before I have seen locally inertial connected with geodesic motion = free-fall = only tidal forces present, never 'full g'. Wow - this is is a real revelation. The words 'inertial frame' seem to have lost all meaning - after all proper acceleration is an intensive property that affects physics 'at a point' - stress, energy density etc.
Also, it's worth noting that, from the standpoint of tensor equations, a local inertial frame is the only kind of frame there is. There is no such thing as an "accelerated frame"; there is only the local inertial frame of a particular accelerated observer at a given event. A global coordinate chart such as the Schwarzschild chart can make a particular family of accelerated observers appear to be "at rest" for more than an instant, but all that is really doing, as I said above, is picking out the local inertial frames at each event in a particular way.
Still gobsmacked - whether in free-fall or violent proper acceleration the situation is always locally inertial? I need to swallow a keep-sane pill right now!
A note on technical jargon: when you see people talking about tensor equations being valid in the "tangent space" at a given event, and how every event has its own distinct tangent space, that's a shorthand way of referring to what I said above. So it is in the textbooks, but the aspects of it that I stressed above are not stressed in the textbooks.
I get the impression 'tangent space' relates to gradients and higher derivatives of such at a point, which per se doesn't bother me.

So where does all this lead as to usefulness of the 'conserved' SET? Let me again quote you from that blog:
Physically, ∇aTab=0 means that the "source" of gravity, stress-energy, is conserved: it is neither created nor destroyed in any infinitesimal volume of spacetime. This is the most fundamental GR version of energy-momentum conservation, and it is a highly desirable property for the stress-energy tensor to have. But it only holds if we write the EFE the way we did above, with the SET only containing "fields" other than gravity; and that requires that we split the action up the way we did, into a part SG that only includes gravity, and a part SM that only includes fields other than gravity.

So we write the EFE the way we do in order to ensure automatic conservation of the "source", and that way of writing the EFE requires the "source" to only include fields other than gravity.
Well here's my problem. Above sure seemed to say that, unlike 'ordinary' conservation of energy which *globally* fails in general in GR, here with the SET we have a genuinely conserved quantity. But now I am confronted with that this SET 'conservation law' is valid also only strictly at a point - and therefore fails globally just as 'ordinary' energy-momentum does. Forgive me for concluding that such an at-a-point-only conservation principle is not much of a guide or use. [1]

Getting back to my scenario in #1, note that with HFGW's gravity can be arbitrarily weak even at local regions of most violent inter-particle accelerations. It is only owing to the vast numbers and huge accelerations that appreciable GW's are generated. In principle one could construct a multilayered heat shield around a HFGW source at sufficient radius that outgoing flux of internal EM radiation matches that of incoming CMBR arbitrarily closely, and essentially the sole outgoing flux is from HFGW's. Given sufficient time, a large proportion of initial mass M within has been converted to GW's, and without a doubt for the remaining gravitating mass M', M'<<M. Yet what seems like to me physics variety of Orwellian Newspeak maintains that SET has been conserved? [1] This doesn't quite add up as a bottom-line accounting procedure imo.

[1]: Forgot that there is this position that gravitating mass M can diminish while leaving SET unchanged. So my wording may not have been strictly correct there. Whatever the correct wording, it needs to be cleared up just how or whether an arbitrarily reduced system gravitating mass M can leave it's source SET 'conserved' - if that is the official GR position. :confused:
 
Last edited:
  • #9
Warning: somewhat long-winded post, but I think it gives good background on this topic.

Q-reeus said:
To say an accelerated (possibly highly non-uniformly accelerated) reference frame is at the same time locally inertial smacks to me of double-talk - not that I'm suggesting that of you personally - just the presumably standard notion in general.

Instantaneously at rest is one thing, but calling it inertial regardless of proper acceleration is another. Feynman accused philosophers of using words in funny ways - maybe he should have looked closer to home.

It's not double-talk, but it is insisting on a precision in the use of words that is much greater than usual even in scientific discussions. Here are the precise definitions I am using:

(1) A "reference frame" is a set of four mutually orthogonal unit vectors, one timelike and three spacelike, *at a given event*. It is only valid at that event. The timelike vector can be physically interpreted as the 4-velocity of an inertial observer that is at rest in the frame; call this observer the "fiducial" observer for the frame. This may also be the 4-velocity, at the given event, of some non-inertial (i.e., accelerated) observer that happens to be (momentarily) at rest relative to the fiducial observer at that event.

(For practical purposes, we make use of the frame in a small local patch of spacetime surrounding the event; how small depends on how accurate we want our answers to be and how curved the spacetime is in the vicinity of the event.)

Note that there is no such thing as an "accelerated" vs. "non-accelerated" reference frame by this definition. The frame doesn't care which observers happen to have a 4-velocity at the given event that coincides with the timelike basis vector of the frame, or whether some of them are or are not accelerated. The basis vectors of the frame are just vectors, defined in the tangent space at the given event; there's no such thing as an "inertial" or "accelerated" vector.

(2) A "coordinate chart" is a mapping of 4-tuples of real numbers to events in a spacetime, or in some patch of a spacetime. If we want to write down actual mathematical expressions for the basis vectors of some frame at some event, we need to define a coordinate chart to write them down in (at least, we do for the most commonly used way of treating such problems). Different coordinate charts covering a patch of spacetime containing a given event will lead to different mathematical expressions for the basis vectors of a frame at that event. But the geometric objects, the basis vectors of the frame, stay the same regardless of which chart we use.

(3) A "frame field" is a mapping of frames (i.e., sets of 4 mutually orthogonal vectors in a tangent space) to events in a spacetime, or in some patch of a spacetime. The most common way of specifying a frame field is to write down the basis vectors of the frames in the field as functions of spacetime position--i.e., as functions of the coordinates in some coordinate chart. The reason frame fields are useful is that they provide a convenient link between something that has a clear physical interpretation (frames at particular events) and something that has a lot of well-tested mathematical machinery associated with it (coordinate charts). So, for example, if I want to know if a family of observers associated with a particular frame field (such as the frame field of "static" observers in Schwarzschild spacetime--see below) is "accelerated" or not, I can write the frame field in terms of a coordinate chart such as the standard Schwarzschild exterior coordinates, and then compute derivatives of the basis vectors as a function of the coordinates (which in this case means functions of [itex]r[/itex]).

(4) An "observer" is modeled as a particular timelike worldline in spacetime. However, usually we aren't interested in single observers as much as we are in families of observers that all share some property (such as static observers in Schwarzschild spacetime). Such families of observers are most usefully described by frame fields; the worldlines of particular observers within the family are then given by the integral curves of the frame field (more precisely, of the timelike vector of the frame field, considered as a vector field on spacetime).

This allows us to make sense of the notion of "inertial" or "accelerated" observers, in terms of the corresponding notions with respect to frame fields (see above): if I take the derivative of the timelike basis vector of the frame field, along the integral curves of that same timelike basis vector, I get the "proper acceleration" of the observers traveling along those integral curves. If it's zero, the observers are inertial; if it's not zero, they are accelerated. However, these terms clearly apply only when we have a full frame *field*; they don't apply if all we have is a single frame (i.e., if we're only looking at a single event). Individual frames can't be "accelerated", because there's no way to compute any derivatives if all you have is vectors at a single event.

Hopefully that wasn't too long. :smile: But I hope it helps in understanding what's going on. For example:

Q-reeus said:
Again, I'm having trouble reconciling an observer static = at rest in a SC (thus experiencing proper acceleration) being at the same time in a locally inertial frame.

The observer experiences proper acceleration in the sense that the frame *field* associated with the family of static observers is accelerated (by the definition given above). But if we are only looking at a single event, then all the observer has at that event is a particular 4-velocity, which is the timelike basis vector of his frame at that event. We can't tell whether the derivative of his timelike basis vector along his worldline is nonzero unless we look at the worldline, i.e., multiple events, not just one event.

So in this respect, perhaps the term "local inertial frame" is a misnomer as well; it should just be "local frame", with the particular observer whose 4-velocity defines the timelike basis vector specified if necessary. The reason the term "local inertial frame" is often used is that it is often convenient to adopt a coordinate chart in the small local patch of spacetime around the given event in which the metric is (to the desired approximation) the flat Minkowski metric. But there is no requirement that we do this in order to define the basis vectors of the frame. So this is partly my fault for not following my own advice about adopting precise terminology. :redface:

Q-reeus said:
Always before I have seen locally inertial connected with geodesic motion = free-fall = only tidal forces present, never 'full g'. Wow - this is is a real revelation. The words 'inertial frame' seem to have lost all meaning - after all proper acceleration is an intensive property that affects physics 'at a point' - stress, energy density etc.

Strictly speaking, proper acceleration can't be defined "at a point", because strictly speaking, derivatives can't be computed "at a point". Our notation invites the misconception that they can, but they can't. As noted above, when we compute the proper acceleration at an event of a particular observer, we are implictly assuming not just a frame at that particular event, but an entire frame field on the spacetime, with the observer following one integral curve of (the timelike basis vector of) that frame field.

Q-reeus said:
I get the impression 'tangent space' relates to gradients and higher derivatives of such at a point, which per se doesn't bother me.

Kinda sorta. If you want to get more confused, you can try the Wikipedia page: :wink:

http://en.wikipedia.org/wiki/Tangent_space

The key point is that, strictly speaking, when we talk about scalars, vectors, tensors, etc. defined "at an event", what we are really talking about is scalars, vectors, tensors, etc. defined *in the tangent space* at that event. Each distinct event has its own distinct tangent space, so in order to compute derivatives of scalars, vectors, tensors, etc., we need to be able to map those objects in the tangent space at one event to the "corresponding" objects in the tangent space at another event. When you see people talking about the "connection", "parallel transport", etc., that's what they're talking about: agreeing on how that correspondence between tangent spaces is to be determined.

Q-reeus said:
Above sure seemed to say that, unlike 'ordinary' conservation of energy which *globally* fails in general in GR, here with the SET we have a genuinely conserved quantity. But now I am confronted with that this SET 'conservation law' is valid also only strictly at a point - and therefore fails globally just as 'ordinary' energy-momentum does. Forgive me for concluding that such an at-a-point-only conservation principle is not much of a guide or use.

In a curved spacetime, in general there is *no* quantity that is "globally conserved" in the sense you mean here. The SET is only "locally conserved" in the sense you mean here. But if it's "locally conserved" at every event, that amounts to saying that no stress-energy can be created or destroyed anywhere in the spacetime, which is a very useful property for the SET to have, whether or not it satisfies your intuitions. IMO, the cure for that is to change your intuitions; we can't change this aspect of the theory of GR in the general case without breaking it altogether (at least, nobody has figured out a way to yet, and many have tried).

Q-reeus said:
Getting back to my scenario in #1, note that with HFGW's gravity can be arbitrarily weak even at local regions of most violent inter-particle accelerations. It is only owing to the vast numbers and huge accelerations that appreciable GW's are generated. In principle one could construct a multilayered heat shield around a HFGW source at sufficient radius that outgoing flux of internal EM radiation matches that of incoming CMBR arbitrarily closely, and essentially the sole outgoing flux is from HFGW's. Given sufficient time, a large proportion of initial mass M within has been converted to GW's, and without a doubt for the remaining gravitating mass M', M'<<M. Yet what seems like to me physics variety of Orwellian Newspeak maintains that SET has been conserved? This doesn't quite add up as a bottom-line accounting procedure imo.

The SET is conserved as a geometric identity; as DaleSpam pointed out, if the EFE is satisfied, the SET is conserved automatically. That's a general mathematical theorem that applies to any solution of the EFE. We don't have to know the details about "where the stress-energy goes" to know that the theorem holds. Those details may well be useful if you are trying to make the best match you can between your intuitions and what the EFE says, but as I said above, the bottom line IMO is that if the EFE clashes with your intuitions, you need to change your intuitions. Cases like the binary pulsar, which experimentally show energy loss due to GWs, do not call the EFE into question; they *validate* the EFE, because the EFE was used to calculate the predictions that were matched to the experimental data. (In the follow-up blog post I'm working on, I will try to give at least a rough picture of how the calculations work.)
 
  • #10
Q-reeus said:
This doesn't quite add up as a bottom-line accounting procedure imo.

[1]: <...> it needs to be cleared up just how or whether an arbitrarily reduced system gravitating mass M can leave it's source SET 'conserved' - if that is the official GR position. :confused:

Just to expand on this a bit (I'll save more details for the follow-on blog post), there are two key points to be aware of:

(1) GR does not use the "accounting procedure" you speak of at all. In other words, when calculating a system like the binary pulsar, we don't calculate the answers by asking "hey, what happens to the gravitating mass M as the GWs are emitted?" and checking to see that the energy carried away by GWs balances with the decrease in M. Nor do we ask, "hey, how can M decrease when the SET is locally conserved?" These questions are *not relevant* to the theory's predictions at all. They are being dictated by your intuitions, *not* by the theory. So *whichever* answer you get to them, it won't make a difference for the validity of GR: GR is already shown to be valid (within its domain of applicability, to the degree of accuracy tested to date) by the fact that we calculate answers using the EFE and they match what we measure. The rest is "interpretation", if you want to call it that, and interpretation is (IMO) always heuristic: it should not be expected to give an exact correspondence with the actual predictions of the theory. (And why should it? Our intuitions did not evolve to handle this kind of stuff.)

(2) Strictly speaking, the energy carried away by GWs *may not* balance exactly with the decrease in M! That is, this "global conservation" is only *approximately* true anyway, and GR does not predict or require anything more than that. The exact "global conservation" that you are looking for is simply *not required* by the fundamental theory. So if your intuition is telling you that the "global books need to balance", once again, you should change your intuition IMO. (Or you could try to find another theory that matches all of the confirmed predictions of GR but does "balance the global books". Good luck.) I realize that's not going to satisfy you, but we might as well get the truth out on the table: there are definite respects in which GR clashes with your intuitions, and since GR's predictions are confirmed, I think there's a limit to how far we will get with discussion on this issue.
 
  • #11
Since Feynman was mentioned at some point in this discussion (it may have been in the previous thread), I thought I would give a quote that seems relevant. It's from his book QED: The Strange Theory of Light and Matter:

Philosophers have said that if the same circumstances don’t always produce the same results, predictions are impossible and science will collapse. Here is a circumstance—identical photons are always coming down in the same direction to the same piece of glass—that produces different results.

We cannot predict whether a given photon will arrive at A or B. All we can predict is that out of 100 photons that come down, an average of 4 will be reflected by the front surface. Does this mean that physics, a science of great exactitude, has been reduced to calculating only the probability of an event, and not predicting exactly what will happen? Yes. That’s a retreat, but that’s the way it is: Nature permits us to calculate only probabilities. Yet science has not collapsed.

Similar remarks apply here. Some people want to say that if energy isn't "globally conserved", then physics will collapse. But GR says that energy doesn't have to be globally conserved, and yet it gives the right answers: physics has not collapsed.
 
  • Like
Likes martinbn
  • #12
PeterDonis said:
It's not double-talk, but it is insisting on a precision in the use of words that is much greater than usual even in scientific discussions. Here are the precise definitions I am using:...
Peter - thanks much for the effort in outputting much info here on these technical definitions. It will take me some time to digest it all, being very non-acquainted with these geometric matters in GR. Meanwhile I just have time to briefly comment on the following, which is still a sticking point:
In a curved spacetime, in general there is *no* quantity that is "globally conserved" in the sense you mean here. The SET is only "locally conserved" in the sense you mean here. But if it's "locally conserved" at every event, that amounts to saying that no stress-energy can be created or destroyed anywhere in the spacetime, which is a very useful property for the SET to have, whether or not it satisfies your intuitions. IMO, the cure for that is to change your intuitions; we can't change this aspect of the theory of GR in the general case without breaking it altogether (at least, nobody has figured out a way to yet, and many have tried).
(emphasis added)
Huh?! On the one hand, SET only locally conserved - well, ok. But then, also cannot be created or destroyed anywhere in the spacetime. You are darned right about one thing - that very much bothers my intuition - and my understanding of what consistency and coherency means.
The SET is conserved as a geometric identity; as DaleSpam pointed out, if the EFE is satisfied, the SET is conserved automatically. That's a general mathematical theorem that applies to any solution of the EFE. We don't have to know the details about "where the stress-energy goes" to know that the theorem holds...intuition.
To labor a point - in my last scenario, sole net, outgoing flux, is strictly non-SET energy in form of GW's. System SET by imo any sane definition has shrunk, maybe not on a one-to-one energy budget basis (I fully allow that 'ordinary' energy conservation can fail), but shrunk nonetheless. Are we being real here in saying the SET is conserved on any rational basis? Like how is it conserved when it has shrunk without any SET flux in or out of system involved?!

From #10:
In other words, when calculating a system like the binary pulsar, we don't calculate the answers by asking "hey, what happens to the gravitating mass M as the GWs are emitted?" and checking to see that the energy carried away by GWs balances with the decrease in M. Nor do we ask, "hey, how can M decrease when the SET is locally conserved?" These questions are *not relevant* to the theory's predictions at all. They are being dictated by your intuitions, *not* by the theory.
Same comments as above - either SET as a whole is conserved, or not. I'd be fine with either position, as long as we have rational definitions of what 'conserved' means.

Form #11:
Similar remarks apply here. Some people want to say that if energy isn't "globally conserved", then physics will collapse. But GR says that energy doesn't have to be globally conserved, and yet it gives the right answers: physics has not collapsed.
Again, have become familiar with notion that energy-momentum can globally fail in GR, but cannot follow a line that claims an entity - SET, can be both rigorously conserved, yet arbitrarily shrink via conversion to strictly non-SET GW's that form a non-SET flux of energy-momentum. This is way beyond intuitive problem - this is all about logical consistency - my intuition insists! :zzz:
 
  • #13
Q-reeus said:
Huh?! On the one hand, SET only locally conserved - well, ok. But then, also cannot be created or destroyed anywhere in the spacetime. You are darned right about one thing - that very much bothers my intuition - and my understanding of what consistency and coherency means.

Perhaps the word "locally" is causing confusion. Suppose I have a spacetime with a lot of points (events) in it. Consider a proposition I'll call C(E): "No stress-energy is created or destroyed at event E." Proposition C(E) is just another way of saying that "the SET is locally conserved at event E". The proposition {For all E: C(E)} then corresponds to saying "stress-energy can't be created or destroyed anywhere in the spacetime"; it's just asserting that the "local" version holds at *every* point.

Q-reeus said:
Are we being real here in saying the SET is conserved on any rational basis? Like how is it conserved when it has shrunk without any SET flux in or out of system involved?!

The SET does not measure the "size" of the system in any useful sense that I can see. You are thinking of it as measuring "the amount of stuff", but the "stuff" is not just what we normally think of as "matter". Not only does it include radiation, it also includes momentum, pressure, and other stresses. Saying that the SET has zero covariant divergence is not saying that none of those components of the SET change at all; it's only saying that the changes in the components have to be related to each other in a particular way. So the conservation law doesn't say "the amount of stuff doesn't change" in any useful way that I can see. It just says that there is a constraint on the "changes in the stuff".

Q-reeus said:
Same comments as above - either SET as a whole is conserved, or not. I'd be fine with either position, as long as we have rational definitions of what 'conserved' means.

"Conserved" means "zero covariant divergence". That is a mathematically precise equation which can be computed for any event in any spacetime. I don't see how a definition can be any more "rational" than that. What you really mean by "rational" appears to be "matches my intuition"; that's not a good way to judge whether something is "rational" in science.

Q-reeus said:
Again, have become familiar with notion that energy-momentum can globally fail in GR, but cannot follow a line that claims an entity - SET, can be both rigorously conserved, yet arbitrarily shrink via conversion to strictly non-SET GW's that form a non-SET flux of energy-momentum.

The SET does not "shrink". It changes, but the changes are constrained by the requirement of zero covariant divergence, which, as noted above, is a precise requirement. If the only issue you have is that it doesn't match your intuition, then as I've said several times, IMO you need to change your intuition. (Or at any rate, you need to accept that your intuition is going to clash with a theory, GR, which makes correct experimental predictions, and just deal with it.)
 
  • #14
PeterDonis said:
Just to expand on this a bit (I'll save more details for the follow-on blog post), there are two key points to be aware of:

(1) GR does not use the "accounting procedure" you speak of at all. In other words, when calculating a system like the binary pulsar, we don't calculate the answers by asking "hey, what happens to the gravitating mass M as the GWs are emitted?" and checking to see that the energy carried away by GWs balances with the decrease in M. Nor do we ask, "hey, how can M decrease when the SET is locally conserved?" These questions are *not relevant* to the theory's predictions at all. They are being dictated by your intuitions, *not* by the theory. So *whichever* answer you get to them, it won't make a difference for the validity of GR: GR is already shown to be valid (within its domain of applicability, to the degree of accuracy tested to date) by the fact that we calculate answers using the EFE and they match what we measure. The rest is "interpretation", if you want to call it that, and interpretation is (IMO) always heuristic: it should not be expected to give an exact correspondence with the actual predictions of the theory. (And why should it? Our intuitions did not evolve to handle this kind of stuff.)

(2) Strictly speaking, the energy carried away by GWs *may not* balance exactly with the decrease in M! That is, this "global conservation" is only *approximately* true anyway, and GR does not predict or require anything more than that. The exact "global conservation" that you are looking for is simply *not required* by the fundamental theory. So if your intuition is telling you that the "global books need to balance", once again, you should change your intuition IMO. (Or you could try to find another theory that matches all of the confirmed predictions of GR but does "balance the global books". Good luck.) I realize that's not going to satisfy you, but we might as well get the truth out on the table: there are definite respects in which GR clashes with your intuitions, and since GR's predictions are confirmed, I think there's a limit to how far we will get with discussion on this issue.

Well, in an asymptotically flat universe, you can, as I said in an earlier post, use a "pseudo-tensor" that is conserved when a system emits gravitational radiation. That's unsatisfying for other reasons (such as being tied to a particular coordinate system) but it does allow for "balancing the books".

For the universe as a whole, there may be no way to "balance the books", however.
 
  • #15
stevendaryl said:
Well, in an asymptotically flat universe, you can, as I said in an earlier post, use a "pseudo-tensor" that is conserved when a system emits gravitational radiation.

I actually have not seen a lot of literature on the specific requirements for one of the pseudo-tensors to be conserved, so I'm not sure if the conservation holds exactly for *any* asymptotically flat spacetime, regardless of other considerations, or if there are symmetry constraints that have to hold. For example, in a binary pulsar-type system, I'm not sure if the conservation would always hold, or if it would only hold if both objects in the binary system had exactly the same mass, so that the system as a whole had a quadrupole symmetry. Does anyone have any good links?
 
  • #16
Q-reeus

There's a Usenet Physics FAQ: Is Energy Conserved in General Relativity?

The SET is a tensor with 16 components, 10 of which are independent. In Minkowski coordinates you can compare two SETs at two different locations just by comparing their components. In curved spacetime you can't do this in a unique, coordinate-independent way. It's the old "parallel transport" problem.
 
  • #17
PeterDonis said:
I actually have not seen a lot of literature on the specific requirements for one of the pseudo-tensors to be conserved, so I'm not sure if the conservation holds exactly for *any* asymptotically flat spacetime, regardless of other considerations, or if there are symmetry constraints that have to hold. For example, in a binary pulsar-type system, I'm not sure if the conservation would always hold, or if it would only hold if both objects in the binary system had exactly the same mass, so that the system as a whole had a quadrupole symmetry. Does anyone have any good links?

My understanding, from Sam Gralla (co-author of several papers with Wald), who used to post here, is that rigorous conservation of energy, momentum, and angular momentum is possible in GR so long as you have asymptotic flatness (with one of the modern conformal definitions). No other assumption is needed. There is no localization of these quantities - they are only conserved at spatial infinity.

These approaches account, among other things, for the GW carrying both energy and angular momentum (again, not locally). But you can (according to Sam) separate that portion due to the totality of GW versus other sources via comparison of null infinity integrations versus spatial infinity integrations.
 
  • #18
Here is a paper by Wald that references the body of work on conserved quantities in GR given asymptotic conditions. Unfortunately, many of the key results are hard to find on line.

http://arxiv.org/abs/gr-qc/9911095
 
  • #19
PAllen said:
rigorous conservation of energy, momentum, and angular momentum is possible in GR so long as you have asymptotic flatness (with one of the modern conformal definitions). No other assumption is needed. There is no localization of these quantities - they are only conserved at spatial infinity.

Hm, so maybe I was too pessimistic about exact conservation, at least when evaluated at infinity.

PAllen said:
These approaches account, among other things, for the GW carrying both energy and angular momentum (again, not locally). But you can (according to Sam) separate that portion due to the totality of GW versus other sources via comparison of null infinity integrations versus spatial infinity integrations.

Yes, this matches my understanding: in spacetimes where the ADM energy and Bondi energy are well-defined, the difference between them is the energy carried away by radiation. In the general case, as I understand it, "radiation" includes all types of radiation, not just GWs, but in the idealized case where there is no other radiation except GWs, the difference between the two energies (ADM energy is evaluated at spatial infinity and Bondi energy at null infinity) gives the energy carried away by GWs.

The Wald paper you linked to is interesting; I'll have to take some time to digest it, but on a quick skim it looks like it generalizes the kind of scheme I just described to cases where the standard ADM and Bondi energies are *not* well-defined.
 
  • #20
PeterDonis said:
Perhaps the word "locally" is causing confusion. Suppose I have a spacetime with a lot of points (events) in it. Consider a proposition I'll call C(E): "No stress-energy is created or destroyed at event E." Proposition C(E) is just another way of saying that "the SET is locally conserved at event E". The proposition {For all E: C(E)} then corresponds to saying "stress-energy can't be created or destroyed anywhere in the spacetime"; it's just asserting that the "local" version holds at *every* point.
This surely then amounts to what I wrote earlier; zero divergence of SET is good only for a point and thus has no general validity for a real extended system = global failure, no different then to the better known global failure of energy conservation.
The SET does not measure the "size" of the system in any useful sense that I can see. You are thinking of it as measuring "the amount of stuff", but the "stuff" is not just what we normally think of as "matter". Not only does it include radiation, it also includes momentum, pressure, and other stresses. Saying that the SET has zero covariant divergence is not saying that none of those components of the SET change at all; it's only saying that the changes in the components have to be related to each other in a particular way. So the conservation law doesn't say "the amount of stuff doesn't change" in any useful way that I can see. It just says that there is a constraint on the "changes in the stuff".
I never said or implied anywhere that SET only include T00 energy term - always meant the SET inclusive of all terms - and it's the latter that evidently fails in general beyond the point event scale.
"Conserved" means "zero covariant divergence". That is a mathematically precise equation which can be computed for any event in any spacetime. I don't see how a definition can be any more "rational" than that. What you really mean by "rational" appears to be "matches my intuition"; that's not a good way to judge whether something is "rational" in science.
I'm still to here a clear admission that this zero covariant divergence has no generally valid applicability for a real extended system.
The SET does not "shrink". It changes, but the changes are constrained by the requirement of zero covariant divergence, which, as noted above, is a precise requirement. If the only issue you have is that it doesn't match your intuition, then as I've said several times, IMO you need to change your intuition. (Or at any rate, you need to accept that your intuition is going to clash with a theory, GR, which makes correct experimental predictions, and just deal with it.)
Sorry Peter but you can't use this intuition argument on me here. You say SET doesn't shrink just changes - meaning I take it fully conservative conversions between various components. But the hidden clause here presumably is 'only true for a point event'. In other words, it falls apart for a real world extended system where 'conservation' has real meaning. Are we clear then that strict zero divergence has no general global applicability? Assuming so it gets down to what causes this global failure and under what specific circumstances it may or may not fail. Will expand a bit on that next thread.
 
  • #21
DrGreg said:
Q-reeus
There's a Usenet Physics FAQ: Is Energy Conserved in General Relativity?
Yes thanks I've visited it before and recall the (in)famous lines there that it can be argued both ways re gravity gravitating - and that strictly within classical GR setting. The energy-momentum conservation issues are interesting reading, but I will latch onto one section:
Very massive objects emitting light: Light from the Sun appears redshifted to an Earth bound astronomer...The Schwarzschild metric describes spacetime around a massive object, if the object is spherically symmetrical, uncharged, and "alone in the universe". The Schwarzschild metric is both static and asymptotically flat, and energy conservation holds without major pitfalls. For more details, consult MTW, chapter 25.
I believe the scenario of stellar object steadily emitting a spherically symmetric flux of HFGW's should well comply. Although strictly only quasi-static, mass loss is so gradual fapp static can be applied for evaluation of energy flux etc. And that highlights the irony of a 'superior' strictly conserved zero SET divergence law - valid in the small - that is failing in the large where it is the energy conservation (inclusive of GW flux) that holds well. Does this seem like a satisfactory state of affairs? One may further ask what is happening to validity of Birkhoff's theorem in this scenario - a net ∂M/∂t in 'static' and asymptotically flat spacetime setting.
The SET is a tensor with 16 components, 10 of which are independent. In Minkowski coordinates you can compare two SETs at two different locations just by comparing their components. In curved spacetime you can't do this in a unique, coordinate-independent way. It's the old "parallel transport" problem.
I'm assuming the matter of conserved SET is now agreed to be a strictly local relationship that either fails or is ill-defined in a general extended environment. Distinctly recall but can't point to where it was made, is that this zero SET divergence was in contrast to just energy which had no such zero divergence relation in GR. At the same time it is often stated that failure of energy conservation in GR is a global not local feature. The two positions don't match - either conservation of energy in GR fails both locally and globally, or just globally. Seems from PeterDonis's earlier statements (SET doesn't shrink just changes) that the answer is both locally and globally, but not real sure. The local failure of energy-momentum conservation presumably goes something like ' a little bit of energy density transforms into a little bit of pressure or vice versa, or momentum density, etc.'.

Reading from #17 and #18 reinforces my belief we have this inversion situation where for a well-behaved system like static (or so close to it it doesn't matter for our purposes), spherically symmetric, asymptotically flat case, with constant, smooth, symmetric HFGW emission, globally conservation of energy holds but not SET (gravitating mass has simply vanished from universe in-toto). If gravitational energy in this case at least is allowed to also have an equivalent gravitating mass, global SET conservation also applies, which would seem suggestive. Anyway imo such a well-defined global scenario highlights the rather pointless fact of local conservation of SET, despite being touted in earlier posts as such a good thing. :-p
 
  • #22
Q-reeus said:
This surely then amounts to what I wrote earlier; zero divergence of SET is good only for a point and thus has no general validity for a real extended system

I'm not sure how you conclude this. Consider an analogy: the proposition S(R): "The (nonnegative) real number R has a real square root." This proposition is only valid "at a point"; but the proposition {For all R >= 0: S(R)}, which says that S(R) is true at *every* point on the nonnegative real number line, asserts something "global", doesn't it?

The proposition C(E) is of the same type: it asserts that something can't happen at a particular point (the "something" being creating or destroying SET "stuff"). The proposition {For all E: C(E)} asserts that that something can't happen at *any* point, which means it can't happen, period. I don't understand how that amounts to anything less than a "global" proposition.

It's true that the "something that can't happen" is not the something you would like it to be; but that doesn't make the proposition any less global, or any less applicable to a "real extended system". It's just not the proposition you would like it to be.

Perhaps you are thinking that somehow, even though SET "stuff" can't be created or destroyed at a point, it can somehow be created or destroyed "over an extended region"? If that's the case, you're wrong; if SET "stuff" isn't created or destroyed at a point, it isn't created or destroyed, period. The SET is a tensor, and anything that's a tensor is only defined at each point; there's no such thing as a tensor defined "over an extended region". Various *integrals* of a tensor can be defined over an extended region, and those integrals appear to be what you are thinking of as "the SET", but they aren't; those integrals aren't the same as the tensor itself. So the fact that the integrals may not be conserved is irrelevant to the question of whether the SET itself is conserved.

(Also, as I said before, the integrals are *irrelevant* to actually calculating answers with GR. The only reason people look at them at all is to try and develop an intuitive picture of what's going on. But the intuitive picture is *not* the theory; it's an "interpretation" only, and when push comes to shove, it's the theory itself that counts, not any "interpretation".)

Q-reeus said:
Are we clear then that strict zero divergence has no general global applicability?

No. See above.
 
  • #23
Q-reeus said:
I believe the scenario of stellar object steadily emitting a spherically symmetric flux of HFGW's should well comply. Although strictly only quasi-static, mass loss is so gradual fapp static can be applied for evaluation of energy flux etc.

Strictly speaking, GWs can't be emitted in a spherically symmetric spacetime. However, as I posted previously, the paper PAllen linked to, by Wald, makes it appear that what you are calling "global energy conservation", which basically amounts to the ADM energy being constant, holds in *any* asymptotically flat spacetime, whether it is spherically symmetric or not. I was too pessimistic about that before.

Q-reeus said:
And that highlights the irony of a 'superior' strictly conserved zero SET divergence law - valid in the small - that is failing in the large where it is the energy conservation (inclusive of GW flux) that holds well.

The conservation law for the SET (covariant divergence = 0) does not "fail" in this case (or in *any* case); it holds just fine when GWs are emitted. It *always* holds as long as the EFE is satisfied, and the EFE is satisfied for *any* spacetime in GR, including ones where GWs are emitted. Why do you continue to fail to comprehend this?

Q-reeus said:
Does this seem like a satisfactory state of affairs?

Yes.

Q-reeus said:
One may further ask what is happening to validity of Birkhoff's theorem in this scenario

Birkhoff's theorem doesn't apply when GWs are present, because it only holds for a spherically symmetric spacetime.

Q-reeus said:
I'm assuming the matter of conserved SET is now agreed to be a strictly local relationship that either fails or is ill-defined in a general extended environment.

See my previous post. You are misinterpreting what "local conservation" means.
 
  • #24
PeterDonis said:
Perhaps you are thinking that somehow, even though SET "stuff" can't be created or destroyed at a point, it can somehow be created or destroyed "over an extended region"? If that's the case, you're wrong; if SET "stuff" isn't created or destroyed at a point, it isn't created or destroyed, period. The SET is a tensor, and anything that's a tensor is only defined at each point; there's no such thing as a tensor defined "over an extended region". Various *integrals* of a tensor can be defined over an extended region, and those integrals appear to be what you are thinking of as "the SET", but they aren't; those integrals aren't the same as the tensor itself. So the fact that the integrals may not be conserved is irrelevant to the question of whether the SET itself is conserved.
Ah ok sorry bad terminology then; I have been meaning the integrals of SET over a region when talking about global failure. But just how do you reconcile: "if SET "stuff" isn't created or destroyed at a point, it isn't created or destroyed, period.", with saying integral over a region can fail to be conserved? This is imo just playing with words. Explain please how non-conservation over a region is possible if at no point in that region conservation fails. But I can more or less guess it gets down to an accounting procedure. A SET summer walks around over the landscape, recording locally SET values and placing in ledger. Final tally is say M. But when the region as a whole is 'weighed on the scales', a different value M' is found. And the answer has to do with that the summer hadn't put in weighting factors that took into account the changing slope of the local territory when summing.

Well there is something to that little story but it fails to account for the necessary fact that when those HFGW's are being locally produced in stellar interior, it is a process that *locally* is converting SET material into non-SET GW's - repeat - *local process*! So I throw your argument back at you - how can there be a conversion from SET material to non-SET unless it is happening at points all over the place? The same points in fact where SET is supposedly being rigorously conserved! And your answer is?
(Also, as I said before, the integrals are *irrelevant* to actually calculating answers with GR. The only reason people look at them at all is to try and develop an intuitive picture of what's going on. But the intuitive picture is *not* the theory; it's an "interpretation" only, and when push comes to shove, it's the theory itself that counts, not any "interpretation".)
Well my view here is that so far this can be gotten away with because of the typically tiny discrepancy re SET -> non-SET conversion phenomena. Maybe when above matter is cleared up we move on in that regard to a closer look at implications of null Nordtvedt results.
 
  • #25
PeterDonis said:
Strictly speaking, GWs can't be emitted in a spherically symmetric spacetime. However, as I posted previously, the paper PAllen linked to, by Wald, makes it appear that what you are calling "global energy conservation", which basically amounts to the ADM energy being constant, holds in *any* asymptotically flat spacetime, whether it is spherically symmetric or not. I was too pessimistic about that before.
I chose example of HFGW's owing to thermal collisions precisely to head off any opt-out on that basis, which now appears mute as you acknowledge. But fact is thermal HFGW emission is a spherically symmetric emission - just random radiation not coherent as per gross orbital motion in more well known scenarios.
The conservation law for the SET (covariant divergence = 0) does not "fail" in this case (or in *any* case); it holds just fine when GWs are emitted. It *always* holds as long as the EFE is satisfied, and the EFE is satisfied for *any* spacetime in GR, including ones where GWs are emitted. Why do you continue to fail to comprehend this?
See comments in previous thread! It is not I that have a case to answer here imo.
Birkhoff's theorem doesn't apply when GWs are present, because it only holds for a spherically symmetric spacetime.
Ah but it does and it is you that is ignoring the beauty of my scenario in that regard - perfectly uniform spherically symmetric flux of HFGW's - get co-orbiting pulsars out of your thinking on this one. There is nothing in stellar generated HFGW scenario to mess up static spherical symmetry of spacetime at all (and I have previously mentioned the matter of quasi-static - i.e. slowly shrinking M, being arbitrarily close to static in such a scenario) - esp if as you do believe such emission contributes zero to SET. And recall what I wrote last post - those HFGW's are the result of local conversion of SET matter to non-SET - *local*! So I'm saying local SET divergence law is necessarily failing. If as I'm sure you will disagree, kindly explain how in principle those HFGW's can be created without such violation.
 
  • #26
Q-reeus said:
And recall what I wrote last post - those HFGW's are the result of local conversion of SET matter to non-SET - *local*! So I'm saying local SET divergence law is necessarily failing.
Please post some solid evidence (e.g. mainstream scientific reference) supporting this claimed failure.
 
  • #27
Q-reeus said:
Ah but it does and it is you that is ignoring the beauty of my scenario in that regard - perfectly uniform spherically symmetric flux of HFGW's - get co-orbiting pulsars out of your thinking on this one. There is nothing in stellar generated HFGW scenario to mess up static spherical symmetry of spacetime at all (and I have previously mentioned the matter of quasi-static - i.e. slowly shrinking M, being arbitrarily close to static in such a scenario) - esp if as you do believe such emission contributes zero to SET. And recall what I wrote last post - those HFGW's are the result of local conversion of SET matter to non-SET - *local*! So I'm saying local SET divergence law is necessarily failing. If as I'm sure you will disagree, kindly explain how in principle those HFGW's can be created without such violation.

There is no such thing as GW with perfect spherical symmetry. It is mathematically impossible. For GW to be generated at all, the mass/energy must move in ways that make the SET not sperically symmetric, and this makes the vacuum region also not spherically symmetric, and only then can you have GW.
 
Last edited:
  • #28
Q-reeus said:
But just how do you reconcile: "if SET "stuff" isn't created or destroyed at a point, it isn't created or destroyed, period.", with saying integral over a region can fail to be conserved?

Because the integral doesn't just depend on the SET; it also depends on the metric, and in a curved spacetime the metric changes from point to point. In flat spacetime, your reasoning would be correct, because the metric is the same everywhere.

Q-reeus said:
A SET summer walks around over the landscape, recording locally SET values and placing in ledger. Final tally is say M. But when the region as a whole is 'weighed on the scales', a different value M' is found. And the answer has to do with that the summer hadn't put in weighting factors that took into account the changing slope of the local territory when summing.

This sort of captures what I was saying above, if the "changing slope" is analogous to the change in the metric.

Q-reeus said:
Well there is something to that little story but it fails to account for the necessary fact that when those HFGW's are being locally produced in stellar interior, it is a process that *locally* is converting SET material into non-SET GW's - repeat - *local process*!

Ah, perhaps this is the problem. Actually, GWs are *not* "local" phenomena, and generating them is *not* a "local" process. If you look at things locally, you see the metric varying in space and time, but the time variation is related to the spatial variation by the local conservation law, so the local conservation law always holds. It's only when you look on a larger scale that you can see the time and space variation of the metric (more precisely, the high-frequency part of that variation) forming something that can be called a "gravitational wave".

(I'll go into this in more detail in the follow-on blog post I'm writing, using the binary pulsar system as an example. I agree this is not an easy concept; it took me quite some time to wrap my mind around it.)

Q-reeus said:
how can there be a conversion from SET material to non-SET

Once again, *no* SET "material" is being "converted" into anything else. GWs are not "made of" anything "material". As far as the SET and the EFE are concerned, GWs are nothing but time and space variation in the metric, and they are just like any other time and space variation in the metric, and are constrained by the local conservation law as described above.
 
  • #29
DaleSpam said:
Please post some solid evidence (e.g. mainstream scientific reference) supporting this claimed failure.
First you move to have the supporting reference material I linked to in #1 removed - ostensibly on the grounds the Astronomical Journal cited in arXiv article was "not sufficiently mainstream" (no claim made the content itself was in any way 'fringe' or 'crackpot'). Having succeeded in that little piece, you now more or less taunt me to come up with an equivalent source. Nice one! Well for your info it's a little researched area and such material is hard to find. But the rationale for what I claimed is there in that article. Oh bother - no longer showing.
 
  • #30
PAllen said:
There is no such thing as GW with perfect spherical symmetry. It is mathematically impossible. For GW to be generated at all, the mass/energy must move in ways that make the SET not sperically symmetric, and this makes the vacuum region also not spherically symmetric, and only then can you have GW.
Thought I made it clear enough before - there is an enormous number of random HFGW emitters - colliding ions etc., churning out a random but time-averaged highly smooth and spherically symmetric flux of GW's, emanating mostly from stellar core region. Vastly more in number than the surface layer emitters of EM radiation also being put out. Of course the latter completely dominate in overall power, but that's beside the point. Do you deny that luminous EM output of a star is fapp spherically symmetric? Why should radiation output need to require a single massive coherent emitter? To repeat a previous statement directed elsewhere -try and get out of your head this image of orbiting massive bodies as coherent GW emitter here. Previously explained just why HFGW scenario was chosen.
 
  • #31
PeterDonis said:
Ah, perhaps this is the problem. Actually, GWs are *not* "local" phenomena, and generating them is *not* a "local" process. If you look at things locally, you see the metric varying in space and time, but the time variation is related to the spatial variation by the local conservation law, so the local conservation law always holds. It's only when you look on a larger scale that you can see the time and space variation of the metric (more precisely, the high-frequency part of that variation) forming something that can be called a "gravitational wave".

(I'll go into this in more detail in the follow-on blog post I'm writing, using the binary pulsar system as an example. I agree this is not an easy concept; it took me quite some time to wrap my mind around it.)
I shall await with interest. Take note of my position re above - in any region far smaller than the characteristic scale of the gravitating stellar body, we have, owing to thermal collisions, continual conversion from SET material to HFGW's (I never called such 'matter') which unless one wants to advocate continual local violation of conservation of energy, requires a concomitant time-averaged steady reduction in SET content in that same region. Just how that conclusion can be denied or ignored is quite beyond me frankly. Nevertheless, I await your new posting on this.
Once again, *no* SET "material" is being "converted" into anything else. GWs are not "made of" anything "material". As far as the SET and the EFE are concerned, GWs are nothing but time and space variation in the metric, and they are just like any other time and space variation in the metric, and are constrained by the local conservation law as described above.
See above - and note I never claimed or implied GW's are made of matter - but one might say they are 'made' of energy, and books do need to be balanced somehow, agreed? :zzz:
 
  • #32
Q-reeus said:
in any region far smaller than the characteristic scale of the gravitating stellar body, we have, owing to thermal collisions, continual conversion from SET material to HFGW's (I never called such 'matter') which unless one wants to advocate continual local violation of conservation of energy, requires a concomitant time-averaged steady reduction in SET content in that same region.

Unless you can back this up with math, I'm not going to be able to respond beyond just saying "false"; as far as I can see this is simply false as a description of how GR models GW production. GWs arise from quadrupole and higher oscillations in systems of gravitating bodies, not "thermal collisions". And as I've said before, there is no "conversion of SET material" into GWs, and no "reduction in SET content" as a result of GW emission. GWs are just time and space variations in the metric, nothing more. You might want to think very carefully about what that means.
 
  • #33
Q-reeus said:
First you move to have the supporting reference material I linked to in #1 removed
I didn't have anything to do with that.

HFGWs seem legit to me, but I haven't run across anything that indicates that anyone other than yourself thinks they imply divergence of the SET.
 
  • #34
Q-reeus said:
Thought I made it clear enough before - there is an enormous number of random HFGW emitters - colliding ions etc., churning out a random but time-averaged highly smooth and spherically symmetric flux of GW's, emanating mostly from stellar core region. Vastly more in number than the surface layer emitters of EM radiation also being put out. Of course the latter completely dominate in overall power, but that's beside the point. Do you deny that luminous EM output of a star is fapp spherically symmetric? Why should radiation output need to require a single massive coherent emitter? To repeat a previous statement directed elsewhere -try and get out of your head this image of orbiting massive bodies as coherent GW emitter here. Previously explained just why HFGW scenario was chosen.

Well I missed this aspect of your scenario due to the deleted link. However, with the clues there I was able to find what I suspect is the right paper. Irrespective of whether the paper is right in detail [it didn't seem to address what seems like an obvious concern - the gravitational analog of destructive interference; I am concerned that the formula they started with is not valid for huge numbers of dense particles; and that in that scenario, the net GW escaping would be many orders magnitude smaller than even the small number they compute], Birkhoff's theorem is irrelevant. Precisely to the extent that there is a GW contribution to ADM mass, the space-time is not static and Birkhoff does not apply. Remember, even using the paper's figures we are talking about microscopic energy compared to the radiation. The radiation alone means Birkhoff applies only approximately. The microscopic GW would add a microscopic further deviation from SC static geometry.

I think a much sharper form of your idea would be to imagine a bunch of massive massive balls at absolute zero (well, as close as possible) inside a trapping shell (also at absolute zero) in an empty, asymptotically flat universe. Assume all collisions are perfectly elastic (this might not be possible in an SET that satisfies plausible energy conditions; but let's ignore that for now). However, infinitesimal the rate, the motion of the balls would eventually cease, with KE having been radiated as GW. Given the decay of binary pulsar orbits as a model, it would seem necessary that this would happen in principle.

How to make sense of this? SET zero divergence is an infinitesimal conservation, evaluated in in the context of local curvature (here varying at the scale under consideration). The divergence is covariant divergence which incorporates the metric which incorporates the fluctuating geometry. Counter-intuitive as it may be, it is possible for the SET covariant divergence to be everywhere zero at all times, while integrating at null infinity (to get Bondi mass, which excludes the radiated energy) shows a declining mass due to radiated GW and reduced KE of the balls.

In no way do I dispute how counter-intuitive this is. Many scientists have expressed dissatisfaction with state of energy conservation in GR. It is perfectly reasonable to take this as evidence that GR is not a final theory. However, it has no weight at all in showing that GR is internally inconsistent. The only way to do that is to show, mathematically, that one chain of derivation leads to answer x, and another to answer y, and both are without error. Good luck with that.
 
Last edited:
  • #35
To add to this discussion, the very well known review paper below, includes no-go results that say:

- If you list the requirements that a conserved energy should have within a finite region,
then it can be shown that no quantity can have all of these properties.

The upshot is that a conserved energy with all required properties is only possible at infinity (and only for spacetimes with the right type of asymptotic boundary conditions; as shown in the Wald paper I linked, and elsewhere, you can get more general than asymptotically flat; however for a closed universe, or an expanding universe (like ours), a total conserved energy is impossible altogether).

http://relativity.livingreviews.org/Articles/lrr-2009-4/
 
Last edited by a moderator:
Back
Top