Equivalence Principle in muon experiment?

In summary: Earth. In order to have the same time dilation as the muon storage ring, you'd need a black hole with a radius of about 10^-19 meters--one planck length.
  • #36
DaleSpam said:
Frankly, your conclusion seems completely unrelated to the proposed scenario. In order to conclude something you have to set up a scenario where different values of the thing being tested will change the outcome.
I'm trying to find a scenario where a dummy like me can not easily see what the total time dilation is.

Let's consider a moving clock in a gravity well. Maybe that's a difficult case.

There's a scientist in a gravity well, he sets one alarm clock to go off after an hour, another alarm clock he sets to go off after two hours. Then he puts the first clock into a carousel, which is set to such speed that the clocks will go off at the same time, after two hours.

Distant observers agree with the scientist that the both clocks where running the same amount of time, and that one clock's hour hand proceeded one hour forwards, while the other clock's hour hand proceeded two hours forwards.

The guy in the gravity well says the clock rate of the carousel-clock was halved because of kinetic time dilation. The distant observers say the clock rate of the carousel-clock was halved by kinetic time dilation.

What is going on?? Why is this so simple? Maybe the clock in the gravity well is not measuring time?
 
Physics news on Phys.org
  • #37
This problem with your proposed scenarios that I am talking about is more about experimental design than relativity. If you have some experimental quantity whose effects you want to test then you need to design an experiment with some parameter which varies that quantity in a systematic manner. If you have two such effects then you need two such parameters.

So here, you need something about your experimental setup which you can vary to change gravitational time dilation only, call that parameter U, and something which you can vary to change kinematic time dilation only, call that parameter V. Then, you want to determine the total time dilation as a function of U and V, ##\gamma(U,V)##. If you find that ##\gamma(U,V)=f(U) g(V)## for some functions f and g, then you say that the gravitational and kinematic time dilation are separate.

Since we already know ##\gamma(U,V)## cannot be expressed as ##f(U) g(V)## (except to a very crude 0-order approximation) you simply cannot get such an experimental result without violating GR and/or the Schwarzschild metric.
 
  • #38
jartsa said:
Why is this so simple?

Because you only varied the velocity (you put one clock into a carousel), not the altitude (both clocks are still at the same height). In other words, you constructed a test that only tests for kinematic time dilation, so of course you're only going to find kinematic time dilation. As DaleSpam says, if you have two effects (kinematic and gravitational time dilation in this case), then you have to have two different things to vary in order to test the two effects; you can't test for two different effects if you only vary one thing.
 
  • #39
DaleSpam said:
Then, you want to determine the total time dilation as a function of U and V, ##\gamma(U,V)##. If you find that ##\gamma(U,V)=f(U) g(V)## for some functions f and g, then you say that the gravitational and kinematic time dilation are separate.

Since we already know ##\gamma(U,V)## cannot be expressed as ##f(U) g(V)## (except to a very crude 0-order approximation) you simply cannot get such an experimental result without violating GR and/or the Schwarzschild metric.
Ok, here's a point where I seem to be misguided.

In my book, in a static spacetime, the time T of a canonical (=static) observer is exactly coordinate time, up to a factor $$\sqrt{g_{tt}}$$. That difference would count as of gravitational origin ##f(U)##. Now this observer observes something moving and find its time ##\tau## to be dilated by a factor ##\sqrt{1-v^2}##, if v denotes the velocity in said observers frame. So we have ##d\tau/dt = dT/dt d\tau/dT = \sqrt{1-2U}\sqrt{1-v^2}##, that is ##\gamma(U,V)=f(U) g(V)##.
To check my line of thought, I calculated your example on Wikipedia. There is one problem with it, what they sell as the Schwarzschild metric is obviously just a usual approximation to it. But their formula for the combined time dilation due to gravitational potential and coordinate velocity seems to be correct - because if you re-write it in terms of observed velocity, you find ##d\tau/dt = \sqrt{1-2U}\sqrt{1-v^2}##, with clearly separable gravitational and velocity components. That is, I found this to be the case, which might be an example of wishful thinking. I'd appreciate if you could check the result.

So for me, in a static spacetime, time dilation is a two-step thing: from coordinate to observer, then from observer to object. The first step is gravitational, the second needs SR only.
But I don't exclude the possibility that I just overlooked something important.
 
Last edited:
  • #40
Ich said:
Ok, here's a point where I seem to be misguided.

In my book, in a static spacetime, the time T of a canonical (=static) observer is exactly coordinate time, up to a factor $$\sqrt{g_{tt}}$$. That difference would count as of gravitational origin ##f(U)##. Now this observer observes something moving and find its time ##\tau## to be dilated by a factor ##\sqrt{1-v^2}##, if v denotes the velocity in said observers frame. So we have ##d\tau/dt = dT/dt d\tau/dT = \sqrt{1-2U}\sqrt{1-v^2}##, that is ##\gamma(U,V)=f(U) g(V)##.
To check my line of thought, I calculated your example on Wikipedia. There is one problem with it, what they sell as the Schwarzschild metric is obviously just a usual approximation to it. But their formula for the combined time dilation due to gravitational potential and coordinate velocity seems to be correct - because if you re-write it in terms of observed velocity, you find ##d\tau/dt = \sqrt{1-2U}\sqrt{1-v^2}##, with clearly separable gravitational and velocity components. That is, I found this to be the case, which might be an example of wishful thinking. I'd appreciate if you could check the result.

So for me, in a static spacetime, time dilation is a two-step thing: from coordinate to observer, then from observer to object. The first step is gravitational, the second needs SR only.
But I don't exclude the possibility that I just overlooked something important.

Let's keep things simple using c=1, and considering only objects with no radial component of velocity. So the Schwarzschild metric time dilation formula is:
##\gamma(U,V)=\sqrt{1-2U-v^2}##. Now, if ##f(U)=\sqrt{1-2U}## and ##g(v)=\sqrt{1-v^2}## then ##f(U)\;g(v) = \sqrt{1-2U-v^2+2Uv^2} \ne \gamma(U,V)##

You can, as you describe, build a local inertial frame around any event on the worldline of an observer down in a gravity well. In that local inertial frame the observer can serve as a local "reference clock" and attribute any measured time dilation at very nearby events entirely to kinematic time dilation. However, that still does not generally lead to a separation between the gravitational and kinematic time dilation since the "reference clock" is already gravitationally time dilated. In other words, you can use this method to construct a valid ##f(U)##, but then you are left with ##g(U,v)## since the v is measured wrt a local "reference clock" which is itself a function of U.
 
  • #41
DaleSpam said:
Let's keep things simple using c=1, and considering only objects with no radial component of velocity. So the Schwarzschild metric time dilation formula is:
##\gamma(U,V)=\sqrt{1-2U-v^2}##. Now, if ##f(U)=\sqrt{1-2U}## and ##g(v)=\sqrt{1-v^2}## then ##f(U)\;g(v) = \sqrt{1-2U-v^2+2Uv^2} \ne \gamma(U,V)##
Yes, that was something I disagreed with, too. Where did you get this formula? To me, it looks like a very special kind of approximation (not eliminating the square root, that is).
DaleSpam said:
You can, as you describe, build a local inertial frame around any event on the worldline of an observer down in a gravity well. In that local inertial frame the observer can serve as a local "reference clock" and attribute any measured time dilation at very nearby events entirely to kinematic time dilation. However, that still does not generally lead to a separation between the gravitational and kinematic time dilation since the "reference clock" is already gravitationally time dilated. In other words, you can use this method to construct a valid ##f(U)##, but then you are left with ##g(U,v)## since the v is measured wrt a local "reference clock" which is itself a function of U.
I disagree. You have total time dilation ##1/\gamma##, which cosists of two factors. The first is ##\sqrt{g_{tt}}##, definitely GR.The second is really SR time dilation and nothing else. Of course, in Schwarzschild coordinates or something, you have to cut it out of the "gravitationally contaminated" coordinates - using ##f(U)##. But this step is physically nothing else than the measurement of local time dilation. Mathematically, it is the dot product of two four velocities at the same event. Both are clearly nothig else than SR time dilation, with no contribution of the potential at all. We could do this anywhere in every universe at every place. It's jut the introduction of certain coordinates that make g(U,v) a function of U. It isn't, really. It's g(v) only, if v is a proper local velocity.

Did you check my calculations of Wkipedia time dilation?
 
Last edited:
  • #42
Ich said:
Mathematically, it is the dot product of two four velocities at the same event.

If this is your definition of "time dilation", then there is no such thing as gravitational time dilation to begin with. But then what do you call the fact that, for example, an observer at rest in a gravity well can exchange light signals with an observer at rest far away from the gravity well ("at rest" means they are at rest relative to each other) and verify that his elapsed proper time between two successive round-trip light signals is shorter than the far-away observer's elapsed proper time between those round-trip light signals? The standard name for that is "gravitational time dilation", and it is certainly not just a matter of the dot product of two 4-velocities at the same event.
 
  • #43
PeterDonis said:
But then what do you call the fact that, for example, an observer at rest in a gravity well can exchange light signals with an observer at rest far away from the gravity well ("at rest" means they are at rest relative to each other) and verify that his elapsed proper time between two successive round-trip light signals is shorter than the far-away observer's elapsed proper time between those round-trip light signals? The standard name for that is "gravitational time dilation", and it is certainly not just a matter of the dot product of two 4-velocities at the same event.

I understand how to do the calculation, but I am still confused what the reply to the OP is. Is it that the equivalence principle doesn't apply, because one integrates over a path in spacetime, which is nonlocal so the equivalence principle doesn't apply? Or is it that the equivalence principle does apply - but in which case how does one separate out the SR and GR components?
 
  • #44
PeterDonis said:
Because you only varied the velocity (you put one clock into a carousel), not the altitude
I put radioactive gas in a bottle, in another bottle I put radioactive gas which decays twice as fast as the first gas. Then I heat the second gas until the gases decay at the same rate.

Then I put both bottles in a basket. Then I dip the basket in a gravity well.

I have varied velocity by heating, and altitude by dipping.

Has one gas decayed more than the other after this procedure?
 
  • #45
Ich said:
Yes, that was something I disagreed with, too. Where did you get this formula?
I got the formula from the Wikipedia site I linked to, with c=1 and the radial component of velocity = 0 for simplification, as I mentioned earlier. We can keep the radial velocity if you want, but it makes the gravitational and kinematic components even less separable.

Ich said:
I disagree You have total time dilation ##1/\gamma##, which cosists of two factors. The first is ##\sqrt{g-{tt}}##, definitely GR.The second is really SR time dilation and nothing else.
That is just the problem. It doesn't consist of two factors. This doesn't take a long involved chain of physical reasoning, just note that ##\gamma(U,v) \ne f(U) \, g(v)##. The factors simply don't exist.

If you don't like the Wikipedia expression then post one that you do like. It is possible that it becomes separable in some circumstance that I am not aware of.
 
  • #46
atyy said:
Or is it that the equivalence principle does apply - but in which case how does one separate out the SR and GR components?
The equivalence principle does apply, but why should that be at all related to separating out SR and GR components? The requirement is that the two different frames agree on the measurements, not that either be able to separate time dilation into different components.
 
  • #47
atyy said:
I am still confused what the reply to the OP is.

The OP's question was based on a mistaken implication: that because observers at different heights in a gravity well have different proper accelerations, the difference in their clock rates must be because of the different accelerations. That's not correct. An easy way to see that it's not correct is to note that the equivalence principle analysis of a gravitational redshift experiment goes through just fine even if the acceleration is the same throughout the experiment. As the Usenet Physics FAQ entry notes, the conclusion relies on the difference in speeds between the emission and detection of the light beam in the experiment; it does not rely on any difference in accelerations.

atyy said:
Is it that the equivalence principle doesn't apply, because one integrates over a path in spacetime, which is nonlocal so the equivalence principle doesn't apply?

In the example given in the Usenet Physics FAQ, the EP applies just fine, because the experiment can be analyzed within a single local inertial frame. The fact that you also get gravitational time dilation between observers whose difference in height is too large for them to both fit in a single local inertial frame is just an additional fact; it doesn't change the analysis of the case where the height difference is not too large.

atyy said:
Or is it that the equivalence principle does apply - but in which case how does one separate out the SR and GR components?

In a local inertial frame, such as that used in the Usenet Physics FAQ example, there is no "GR component"; everything is just straight SR. I think the follow-on discussion about cases where the height difference is too large for a single local inertial frame to cover everything is not really germane to the OP's original question. We just like thread derails here. ;)
 
  • #48
DaleSpam said:
The equivalence principle does apply

More precisely, the equivalence principle does apply if the experiment can fit within a single local inertial frame. If you're trying to compute the total gravitational redshift of light coming from the Sun when observed by us here on Earth, you can't rely on the EP to get the answer; you have to go through the full computation using the Schwarzschild metric.
 
  • #49
DaleSpam said:
The equivalence principle does apply, but why should that be at all related to separating out SR and GR components? The requirement is that the two different frames agree on the measurements, not that either be able to separate time dilation into different components.

I do understand the two frames will agree on the measurements, but how does that involve the equivalence principle? In the calculations, one makes use of the clock hypothesis, and integration over the spacetime path. I guess the equivalence principle is involved in the form "comma goes to semicolon" if the clock hypothesis can be stated in a local form, without the integration. Is this why Ich defines the time dilation as the dot product of the four velocities at each event?

Also, how does intuitive picture of the two accelerating spaceships apply? There both observers are accelerating, but in the muon case it seems that one observer is inertial and the other is accelerating.
 
  • #50
jartsa said:
I have varied velocity by heating, and altitude by dipping.

No, you haven't varied the altitude; both gases are at the same altitude (even though that altitude changes during the experiment). Varying the altitude would mean different gases would have different altitudes.

jartsa said:
Has one gas decayed more than the other after this procedure?

If the decay rates of both gases were equal before dipping the basket, they will be equal after dipping the basket, because you dipped both gases. (The rate as observed from far away outside the gravity well will be lower after the dipping, but it will still be the same for both baskets.)
 
  • #51
PeterDonis said:
In the example given in the Usenet Physics FAQ, the EP applies just fine, because the experiment can be analyzed within a single local inertial frame. The fact that you also get gravitational time dilation between observers whose difference in height is too large for them to both fit in a single local inertial frame is just an additional fact; it doesn't change the analysis of the case where the height difference is not too large.

Yes, the FAQ example of two observers in a spaceship is fine, since that is all "local". But how about the muon going round in a ring? It seems to differ from the spaceship example, because (1) how is going round in a ring "local" and (2) in the muon case one observer is inertial and one is accelerating, whereas the spaceship example has both observers accelerating.
 
  • #52
PeterDonis said:
If this is your definition of "time dilation", then there is no such thing as gravitational time dilation to begin with.
It's just how you calculate the kinematic time dilation of two observers at the same event. The SR part of time dilation, if you like.
It was my point that this expression definitely has nothing to do with gravitational time dilation.
 
  • #53
DaleSpam said:
I got the formula from the Wikipedia site I linked to, with c=1 and the radial component of velocity = 0 for simplification, as I mentioned earlier.
Ah, I see. But they use the coordinate velocity dx/dt. The decomposition is in terms of relative velocity to the local static observer. If I'm not mistaken, that is ##v=v_{rel} =v_{co}/ \sqrt{1-2U}##. So you have

##\sqrt{1-2U-v_{co}^2}=\sqrt{1-2U-(1-2U)v^2}=\sqrt{1-2U}\sqrt{1-v^2}##
DaleSpam said:
We can keep the radial velocity if you want, but it makes the gravitational and kinematic components even less separable.
It's just more math, but with ##v_{r, rel} =v_{r,co}/ (1-2U)## you still get ##\sqrt{1-2U}\sqrt{1-v^2}##.
 
  • #54
Ich said:
Ah, I see. But they use the coordinate velocity dx/dt. The decomposition is in terms of relative velocity to the local static observer. If I'm not mistaken, that is ##v=v_{rel} =v_{co}/ \sqrt{1-2U}##. So you have

##\sqrt{1-2U-v_{co}^2}=\sqrt{1-2U-(1-2U)v^2}=\sqrt{1-2U}\sqrt{1-v^2}##
It's just more math, but with ##v_{r, rel} =v_{r,co}/ (1-2U)## you still get ##\sqrt{1-2U}\sqrt{1-v^2}##.
Sure, I agree, but as I said earlier ##v_{co}=g(U,v)\ne g(v)##. I.e. different observers at different U will disagree on the value of ##v_{co}##.
 
  • #55
DaleSpam said:
Sure, I agree, but as I said earlier ##v_{co}=g(U,v)\ne g(v)##. I.e. different observers at different U will disagree on the value of ##v_{co}##.
Sorry, I can't follow. I don't see why a decomposition should use, of all things, a coordinate velocity.
The thing is: ##\gamma(U,v)= f(U) \, g(v)##. f is a function of the potential only, and g is a function of the relative velocity only. That is a geometric, frame-independent, unique decomposition of time dilation, exactly what you've been looking for.

Ok, for the geometric formulation you need the Killing vector and the four velocity at the event in question, and also a reference Killing vector. The ratio of the lengths of the Killing vectors gives gravitational time dilation, the product of the normalized Killing vektor with the four velocity gives kinematic time dilation. Is this right?
 
  • #56
atyy said:
I do understand the two frames will agree on the measurements, but how does that involve the equivalence principle?
I think that the OP's idea for involving the equivalence principle is that the centrifugal acceleration felt by the muon in the storage ring should be equivalent to a gravitational field and produce gravitational time dilation in the muon's frame. The muon's frame is a little bit of an unusual frame since it has the Coriolis acceleration as well as the more normal centrifugal acceleration, but for a lab clock at the center is at rest in the rotating frame, so for that specific scenario you can make a gravitational analogy where the muon is dilated because it is deep in a "gravitational potential" (from the centrifugal force).

At least, that is how I understood the OP.
 
  • #57
Ich said:
Sorry, I can't follow. I don't see why a decomposition should use, of all things, a coordinate velocity.
Because time dilation is a comparison of proper time to coordinate time, so naturally the velocity should be the coordinate velocity of the same coordinate system for which the coordinate time is being used.

Ich said:
The thing is: ##\gamma(U,v)= f(U) \, g(v)##. f is a function of the potential only, and g is a function of the relative velocity only.
Not for any ##\gamma(U,v)## of which I am aware. Again, if you don't like the one I am using can you post the one you are thinking of? There may very well be some, but I have never seen a separable one.

Ich said:
That is a geometric, frame-independent, unique decomposition of time dilation, exactly what you've been looking for.
There is no such thing as frame-independent time dilation.

Ich said:
Ok, for the geometric formulation you need the Killing vector and the four velocity at the event in question, and also a reference Killing vector. The ratio of the lengths of the Killing vectors gives gravitational time dilation, the product of the normalized Killing vektor with the four velocity gives kinematic time dilation. Is this right?
I have never seen anyone do this, so I am not sure. However, it does sound interesting. What do you mean by "reference Killing vector"?
 
  • #58
So, here is my thought process when calculating time dilation. I start with the line element with the (+,-,-,-) signature: ##d\tau^2##. To calculate the time dilation formula I simply divide by ##dt^2## and take the square root: ##\sqrt{d\tau^2/dt^2}##.

Generally that quantity will be a function of the coordinates, e.g. (x,y,z), as well as a function of the coordinate velocities, e.g. (dx/dt,dy/dt,dz/dt). The question is if you can separate the function of the coordinates from the function of the coordinate velocities.
 
  • #59
atyy said:
(1) how is going round in a ring "local"

Well, since you can analyze the experiment in a single inertial frame, the rest frame of the ring (because you can assume flat spacetime, the effect of Earth's gravity is negligible over the period of the muon's orbit in the ring), it is certainly local in that sense.

If you try to analyze it in the instantaneously comoving frame of the muon, then as DaleSpam pointed out, you have to deal with the fact that the muon has a tangential velocity, so it's not quite the same as the case covered in the Usenet Physics FAQ article. (Strictly speaking, in the muon's instantaneous comoving frame, the center of the ring has a tangential velocity. See further comments below.)

atyy said:
(2) in the muon case one observer is inertial and one is accelerating, whereas the spaceship example has both observers accelerating.

Yes, that's because the muon's acceleration is not linear, it's circular. But you could still do a perfectly valid analysis in the muon's instantaneously comoving frame; you would just have to account for the relative velocity of the muon and the center of the ring.

However, you would then have to ask the question, what does such an analysis tell you? Does it tell you the time dilation of the muon that we have been talking about? That is, does it tell you how the muon's elapsed proper time over one orbit differs from the inertial clock's proper time between the same two events in spacetime? (More precisely, between the same two spacelike surfaces?) The answer to that is no, it doesn't. To get that answer, you have to do the analysis in either the rest frame of the ring (inertial), or a frame in which the muon remains at rest over an entire orbit (non-inertial). The latter analysis is the one in which a "gravitational field" would come into play.

In short: you are correct that the muon case is different from the case described in the FAQ; but that doesn't change the answer to the OP's question, which is that the FAQ is correct when it says acceleration does not affect clock rates. The reason a "gravitational field" affects clock rates is not, as the OP implies, because the acceleration it takes to remain at rest in the field varies with position. (See my posts #6 and #12 in this thread.)
 
  • #60
DaleSpam said:
Because time dilation is a comparison of proper time to coordinate time, so naturally the velocity should be the coordinate velocity of the same coordinate system for which the coordinate time is being used.
Ok, but see my answer to your third reply. In my opinion, the coordinate time is relevant only if is connected with something physically interesting.

DaleSpam said:
Not for any ##\gamma(U,v)## of which I am aware. Again, if you don't like the one I am using can you post the one you are thinking of? There may very well be some, but I have never seen a separable one.
There seem to be misunderstandings. I used exactly the one(s) you used also. I just replaced the coordinate velocity with the relative velocity. The expressions then reduce neatly to the one given by me.
DaleSpam said:
There is no such thing as frame-independent time dilation.
If we're talking about static spacetimes, there are the canonical static observers. Their common simultaneity planes are frame independent objects and define gravitational time dilation. Of course, that's the same as Schwarzschild coordinate time, but I think we call the effect time dilation because these coordinates represent the underlying frame-independent preferred observers. If the coordinates were "just numbers" - as they may well be -, you wouldn't call their relation to proper time "time dilation", as it'd be completely arbitrary.

DaleSpam said:
]I have never seen anyone do this, so I am not sure. However, it does sound interesting. What do you mean by "reference Killing vector"?
I'm making this up as I go along, that's why I ask you to follow and see if it is right.
I'm trying to translate time dilation in static spacetimes into a geometric formulation, to give it a clear definition or meaning.
The first thing is the "potential", ##\sqrt{g_{tt}}## in static coordinates. It is defined not by coordinates, but by the timelike Killing field that exists in every static spacetime. More or less by definition it follows that the time dilation between canonical observers corresponds to the length of the respective Killing vectors (you shift for different intervals everywhere to keep everything "the same"). Now you still need a definition where the potential is 1 (no time dilation). That would be at infinity in the Schwarzschild metric, or at the origin in de Sitter space. It could also be at the surface of a planet or star. That is the "reference Killing vector".
So this is time dilation between canonical observers. The time dilation of a moving object would then naturally be the product of its four-velocity with the respective Killing vector. That should give the ratio of proper time to static coordinate time. (Please check!) The contributions of the scaling of the killing vector (=gravitational time dilation) and the angle between Killing vector and four velocity (=kinematic time dilation) are uniquely separable.
 
  • #61
Ich said:
In my opinion, the coordinate time is relevant only if is connected with something physically interesting

In Schwarzschild coordinates, it is: the timelike Killing vector is ##\partial / \partial t##, i.e., the ##t## coordinate is aligned with the timelike Killing vector. That means that if the reference Killing vector (in your terminology) is at infinity, the coordinate time dilation in Schwarzschild coordinates is exactly what you're calling the time dilation relative to the reference Killing vector.

Ich said:
The time dilation of a moving object would then naturally be the product of its four-velocity with the respective Killing vector.

This can't be quite right as a general statement, because the dot product between two 4-vectors is an invariant, but time dilation is coordinate-dependent. However, per my comments above, if we use Schwarzschild coordinates, we can ignore that complication.

Having said that, let's compute the dot product explicitly. It is ##u \cdot k = g_{\mu \nu} u^{\mu} k^{\nu}##, where ##u^{\mu}## is the 4-velocity and ##k^{\nu}## is the Killing vector. As I noted above, the Killing vector is just ##\partial / \partial t##, so its components are ##(1, 0, 0, 0)##; that means the only term in the dot product is the ##t## term, so we have ##u \cdot k = g_{tt} u^t = g_{tt} dt / d\tau = g_{tt} / \left( d\tau / dt \right)##.

In other words, the dot product ##u \cdot k## is not the same as what is usually called the "time dilation", which is ##d\tau / dt##. It's not even the same as the reciprocal of the time dilation, because of the factor ##g_{tt}##. But it just so happens that, for a static observer, since ##d\tau / dt = \sqrt{g_{tt}}##, the dot product becomes ##u \cdot k = g_{tt} / \sqrt{g_{tt}} = \sqrt{g_{tt}}##, which happens to be equal to ##d\tau / dt##. So for a static observer, the relationship you came up with does happen to hold; but unfortunately it doesn't generalize to a non-static observer.
 
  • #62
Let's consider a quite massive long rail, and next to it a clock with low mass. This scenario happens in empty space.

When the clock is at rest relative to the rail, the clock experiences a very small gravitational time dilation.

If the rail starts to move very fast relative to the clock, the clock experiences more gravitational time dilation.

If the clock starts to move very fast relative to the rail, the clock experiences more (gravitational?) time dilation, and kinetic time dilation of course.

Right?

Finally I found an example where multiplying kinetic and gravitational time dilation factors does not work.
 
Last edited:
  • #63
Ich said:
In my opinion, the coordinate time is relevant only if is connected with something physically interesting.
I agree completely with your opinion, but my conclusion is substantially different. My conclusion is that because time dilation is connected to coordinate time and because coordinate time is not generally something physically interesting, time dilation itself is not generally something physically interesting. IMO, time dilation tells you about the coordinates rather than the physics.

I think that the related quantities which are physically interesting are redshift and differential aging. Both of those are unambiguous and frame invariant.

It seems to me that you are trying to change time dilation into something that it is not. I agree with your reason why time dilation may not meet the criteria as something "physically interesting", but there are many such quantities and I would prefer to just put it in with all the rest of the coordinate dependent quantities and recognize it as such.

Ich said:
There seem to be misunderstandings. I used exactly the one(s) you used also. I just replaced the coordinate velocity with the relative velocity. The expressions then reduce neatly to the one given by me.
And I have already agreed that you can clearly do this. Not only can you do this in static spacetimes but you can do this in any spacetime at any event. You can always generate a set of locally inertial coordinates. The only thing that a static spacetime gains is that it naturally picks out one such set of local inertial coordinates at every event.

I don't see what you are not understanding here. The relative velocity depends on the observer relative to whom the velocity is being compared. Different observers at different U will disagree, so the relative velocity implicitly depends on U.

Ich said:
The first thing is the "potential", ##\sqrt{g_{tt}}## in static coordinates. It is defined not by coordinates, but by the timelike Killing field that exists in every static spacetime. More or less by definition it follows that the time dilation between canonical observers corresponds to the length of the respective Killing vectors (you shift for different intervals everywhere to keep everything "the same"). Now you still need a definition where the potential is 1 (no time dilation). That would be at infinity in the Schwarzschild metric, or at the origin in de Sitter space. It could also be at the surface of a planet or star. That is the "reference Killing vector".
I like this approach. It makes it clear for static spacetimes which local frame to use in the decomposition. However, it still doesn't make it independent of the potential. Although you have clearly identified which local observers to use (the ones following the Killing vector), the fact remains that different observers at different potentials disagree! Furthermore, as you mention, the choice of the reference is arbitrary.

Let me give an example. I am in a lab on the surface of a non-rotating Earth watching GPS satellites pass overhead. We will use my lab as the reference since it is following a Killing vector. This means that in my lab, all time dilation is uniquely attributed to velocity, and for other objects following a Killing vector all time dilation is uniquely attributed to gravitational potential.

But what about the GPS satellites? Because of the Killing field I can uniquely identify one specific observer at any event on the GPS orbit, and I can uniquely determine the kinematic time dilation relative to that observer. However, I disagree with his measurement of time, so I disagree with his measurement of velocity. I attribute some of what he calls velocity to the fact that he is at a different potential from me. As such, it still implicitly is inseparable.
 
  • #64
Hmm. Ich, I think that I am not being self consistent.
DaleSpam said:
If you find that ##\gamma(U,V)=f(U) g(V)## for some functions f and g, then you say that the gravitational and kinematic time dilation are separate.
What you did amounts to a coordinate transform on the spatial coordinates such that there is such a f and such a g. I don't think that it is one of the standard charts, but there is no reason you cannot use it. They are not separable in the normal charts I know of, but it may be that there is a family of charts where there are.
 
  • #65
Wow - I've been away for a while. You guys give me a lot to study. Finally, would someone take a stab at giving a rigorous, complete, unambiguous, thorough, precise, definition of the equivalence principle? Thanks again!
 
  • #66
exmarine said:
Wow - I've been away for a while. You guys give me a lot to study. Finally, would someone take a stab at giving a rigorous, complete, unambiguous, thorough, precise, definition of the equivalence principle? Thanks again!

I don't think there is such a definition; the EP is more of a heuristic, a way of thinking about problems. There are precise statements that can be made about the relationship between acceleration and the local effects of gravity, but these will still contain words like "locally" which themselves lack precise definition.
 
  • #67
DaleSpam said:
What you did amounts to a coordinate transform on the spatial coordinates such that there is such a f and such a g.

I don't think that's what he did. I think he assumed there were such an f and g, and then wrote down what the time dilation would look like under that assumption. It looks to me like that assumption was based on something like his claim about the time dilation being the dot product of the object's 4-velocity with the appropriate Killing vector; but as I showed in post #61, that only works for static observers (i.e., observers following orbits of the Killing vector field).

In post #39 (Ich's first post in this thread), he wrote down a formula which looks, superficially, like it's separable into such an f and g, but that formula mixes time dilations relative to two different coordinate charts. The one involving ##U## is relative to the global Schwarzschild chart, but the one involving ##v## is relative to the local inertial frame of a static observer (note that that's how he *defines* ##v##).
 
Last edited:
  • #68
exmarine said:
Wow - I've been away for a while. You guys give me a lot to study. Finally, would someone take a stab at giving a rigorous, complete, unambiguous, thorough, precise, definition of the equivalence principle? Thanks again!

The best form of the equivalence principle within general relativity is the principle of minimal coupling. This says that general relativity is defined using the Hilbert action, and added matter terms do not contain second or higher-order derivatives of the matter fields, and do not couple to any derivatives of the spacetime metric. This form is general enough for all of classical physics.

The most common form of the equivalence principle is that the general relativistic equations for matter take their special relativistic form, but with the Minkowski metric replaced by the spacetime metric. This form fails for "nonlocal" laws of classical physics, for example, those involving second derivatives. However, there is no conflict with the more general form above, because the "nonlocal" laws of classical physics can be derived from local actions.

A third form, related to the second, common form, is that for any free falling observer (who is tiny enough not to perturb the background spacetime), coordinates on his worldline can be chosen so that the laws of special relativity hold on his worldline (but not away from it), provided he does not probe the curvature of spacetime.

All of the above assumes general relativity. However, there are forms of the equivalence principle that are supposed to guide theories of gravity that are not necessarily general relativity. You can look these up as the weak equivalence principle, the strong equivalence principle, and the Einstein equivalence principle. Newtonian gravity, for example, obeys the weak equivalence principle. Newton was aware of some form of equivalence principle as the idea that gravity can be "locally canceled in free fall". Einstein developed the equivalence principle initially as a heuristic to guess the form of a theory of gravity that would be consistent with special relativity and also reduce to Newtonian gravity in the appropriate limit. Most competing theories to general relativity do not obey the strong equivalence principle, except Nordstrom's theory, which was the first theory of gravity consistent with special relativity, but is ruled out because it is not consistent with the observed perihelion precession.
 
Last edited:
  • #69
PeterDonis said:
In Schwarzschild coordinates, it is: the timelike Killing vector is ##\partial / \partial t##, i.e., the ##t## coordinate is aligned with the timelike Killing vector. That means that if the reference Killing vector (in your terminology) is at infinity, the coordinate time dilation in Schwarzschild coordinates is exactly what you're calling the time dilation relative to the reference Killing vector.
Exactly. That is true for all static spacetimes in static coordinates.
PeterDonis said:
This can't be quite right as a general statement, because the dot product between two 4-vectors is an invariant, but time dilation is coordinate-dependent. However, per my comments above, if we use Schwarzschild coordinates, we can ignore that complication.
But it wasn't a general statement. It was made for static spacetimes with a certain reference, as stated.
PeterDonis said:
In other words, the dot product ##u \cdot k## is not the same as what is usually called the "time dilation"
You're right, of course. The product of two four velocites is their respective gamme factor, not its inverse. Here's the correct calculation, with the reference vector assumed to be of unit length:

1. Gravitational time dilation is the length of the killing vector: ##\sqrt{k_{\mu} k^{\mu}}##, that is ##\sqrt{g_{tt}}## in static coordinates.
2. Kinematic time dilation:first normalize the Killing vector to get the four velocity of a static observer: ##o^{\nu} = k^{\nu}/\sqrt{ k_{\mu} k^{\mu}}##. The inverse (that's where I went wrong) of the dot product with an object's four velocity is their kinematic dilation factor: ##1/o_{\nu}u^{\nu}= \sqrt{ k_{\mu}k^{\mu}}/k_{\nu}u^{\nu}##.

The product of both is the total time dilation: ##\frac{k_{\mu} k^{\mu}}{k_{\nu}u^{\nu}} = \frac{g_{tt}}{g_{tt}u^t}=\frac{d\tau}{dt}##
 
  • #70
DaleSpam said:
IMO, time dilation tells you about the coordinates rather than the physics.

I think that the related quantities which are physically interesting are redshift and differential aging. Both of those are unambiguous and frame invariant.

It seems to me that you are trying to change time dilation into something that it is not.
Maybe I do. I always try to see things from the perspective of their operational implementation and, correspondingly, try to find a covariant, geometric expression for what is happening. Coordinates come into the game sometimes abstractly as a calculation tool, but more often by their physical meaning.
So when you differentiate strictly between differential aging and time dilation, I may agree with you. But to me, time dilation is the differential aging between such and such events, usually with an operational setup in mind and a geometric representation available. An easy example is the dilation between two observers in relative motion at the same event. Time dilation is the (!inverse! ;) ) dot product of the respective velocity vectors. That's as coordinate-independent as it can get.
Also, I like to say that down in a gravitatioinal well, time goes slower relative to the outside observer in a well defined way. Only allowing for the notion that whenever you send something down and get it back after a while a different time will have passed for it is kind of...parsimonious. Deliberately not saying all that you could say: that there is a pattern behind it and that this pattern suggests that there is a gravitational diation effect depending on the distance. Sure, the latter is not something you directly observed, but imho it's still physics.
DaleSpam said:
And I have already agreed that you can clearly do this. Not only can you do this in static spacetimes but you can do this in any spacetime at any event. You can always generate a set of locally inertial coordinates. The only thing that a static spacetime gains is that it naturally picks out one such set of local inertial coordinates at every event.
...which is exactly the point here. IIRC, the question was whether in a static spacetime gravitational time dilation can be separated from kinematical time dilation. With a unique notion of "at rest", this is possible.
DaleSpam said:
Furthermore, as you mention, the choice of the reference is arbitrary.
Well, that's fine with me. Time dilation is a relation by nature, and you may choose a reference. It's similar with the potential, btw. Can one define a potential in a static spacetime? Yes. And you may still scale it to make it most useful for the problem at hand.
DaleSpam said:
I attribute some of what he calls velocity to the fact that he is at a different potential from me. As such, it still implicitly is inseparable.
But why? Because coordinates - and thus coordinate velocities - are invariably "contaminated" with the potential?
Humor me and forget about coordinates for the moment. Try the operational definition. You have a satellite, and you have a notion of "at rest". If you'd stop the satellite at this event, all time dilation would be clearly and unmistakably of gravitational origin. Now start it again. Time dilation is different, and the only thing that changed is that there is velocity where before there was none. The position is the same, so the gravitational potential or dilation are still the same. So you have two numbers: the first is definitely gravitational, the second is the combination of gravitational with kinematical time dilation.
The only thing you need to make both components uniquely separable is the assumption that these kind of time dilations is mutiplicative, which can be easily argued from the operational point of view: whatever happens at this position gets dilated again by gravitational redshift for the reference observer.
 
Last edited:
Back
Top