Insights How to Study Fermi-Walker Transport in Minkowski Spacetime

Physics news on Phys.org
of the concept of parallel transport, which only works along geodesics, to transport along worldlines that might not be geodesics, i.e., accelerated worldlines

This seems to imply that you cannot make a parallel transport along a non-geodesic, which is not true. I believe what you mean to say is that the timelike tangent of a worldline is not parallel transported along a non-geodesic world line.
 
Orodruin said:
This seems to imply that you cannot make a parallel transport along a non-geodesic, which is not true. I believe what you mean to say is that the timelike tangent of a worldline is not parallel transported along a non-geodesic world line.

Yes, you're right. I have updated that paragraph accordingly.
 
  • Like
Likes Orodruin
I like the Insight in general. It is always interesting to see how others introduce a subject. Personally, I always like to think about and draw parallels (haha :rolleyes:) to the Riemannian (or even Euclidean) analogue to introduce things like these. The problem with Fermi-Walker transport is that it requires at least three dimensions to make it clear about what ”non-rotating” means. I would typically give the example of a circular path in R^3 (which is essentially the Euclidean version of your Rindler frame) and discuss that the tangent change is proportional to acceleration and in order to keep a vector orthogonal to the path orthogonal to the path you would need to change it accordingly proportional to the velocity. Of course, the different metric signature complicates things a little bit but is no stranger than other signs appearing when taking the step to Lorentzian from Riemannian.
 
Orodruin said:
The problem with Fermi-Walker transport is that it requires at least three dimensions to make it clear about what ”non-rotating” means.

Not necessarily; the Rindler case in Minkowski spacetime can be reduced to two dimensions and will still show how the spacelike vector has to rotate to stay orthogonal to the timelike vector.

Orodruin said:
I would typically give the example of a circular path in R^3 (which is essentially the Euclidean version of your Rindler frame) and discuss that the tangent change is proportional to acceleration and in order to keep a vector orthogonal to the path orthogonal to the path you would need to change it accordingly proportional to the velocity.

Wouldn't this still work if you just looked at the plane of the path, i.e., a circular path in ?
 
PeterDonis said:
Not necessarily; the Rindler case in Minkowski spacetime can be reduced to two dimensions and will still show how the spacelike vector has to rotate to stay orthogonal to the timelike vector.
Yes, it is the same in the Euclidean case, but you need the third direction to demonstrate how vectors orthogonal to both velocity and acceleration do not rotate, which was the point of referring to the frame field as somehow being non-rotating. I guess ”minimally rotating” would describe it sufficiently ...
 
Orodruin said:
you need the third direction to demonstrate how vectors orthogonal to both velocity and acceleration do not rotate

Ah, got it.
 
Of course, you could just start with the 2D case to demonstrate the rotation and then state that you keep the rest orthogonal ...
Once that is introduced I would probably compare with your Rindler case and the corresponding hyperbolic rotation as I would probably already have discussed other concepts in a similar manner earlier in the course (such as circles <-> hyperbolae, etc).
 
Well, my own understanding of Fermi-Walker transport in Minkowski space, can be found in my SRT FAQ:

https://th.physik.uni-frankfurt.de/~hees/pf-faq/srt.pdf

It's of course clear that "rotation free spatial basis" is meant in a local sense, i.e., for an infinitesimal transport of an arbitrary vector, that is Minkowski perpendicular to the time-like tangent unit vector , it changes only by an rotation free Lorentz transformation, which is the idea of my derivation of the Fermi-Walker transport equation (1.8.6). Of course for a finite transport the spatial vector is necessarily rotating, if the time-like tangent vector changes direction, since you can see it as a composition of many rotation free Lorentz transformations with varying boost directions, and the composition of two rotation free Lorentz boosts in different boost directions is not rotation free anymore. This is the point of the Thomas precession (or mathematically spoken the Wigner rotation).

For a worldline of hyperbolic motion of a particle it's easy to see. The worldline starting for at is given by

The tangent vector along the curve is simply the four-velocity,

The dot stands for derivatives wrt. proper time, and I use the (+---) convention with for this posting (otherwise I get confused with the signs, although it's no problem to switch to the east-coast convention of course). The acceleration is


Now let's start with the basis , at . All we need to get the 2-bein along the hyperbolic world line is the Fermi-Walker transport of along this world line. Let's define . Then the FW-transport equation,

reads

The solution of course leads to

Indeed is not along anymore, although locally not rotating in the sense of the definition of Fermi-Walker transport.

Of course, in this case the spatial coordinate system (4-bein) along the hyperbolic world line is not rotating at all since all infinitesimal boosts are in one direction, here chosen as the -direction, and thus here we have no Wigner rotations.
 
Last edited:
  • Like
Likes jbergman
  • #10
A clarification about covariant derivative and Fermi-Walker transport: AFAIK parallel transport as defined by an affine connection (covariant derivative operator) makes sense only for a vector field along a curve.

Does Fermi-Walker transport make sense even only for vectors (i.e not just for vector fields) to be transported along a curve ?
 
Last edited:
  • #11
cianfa72 said:
A clarification about covariant derivative and Fermi-Walker transport: AFAIK parallel transport as defined by an affine connection (covariant derivative operator) makes sense only for a vector field ##X## along a curve.

Does Fermi-Walker transport make sense even only for vectors (i.e not just for vector fields) to be transported along a curve ?
Parallel transport is well defined for any vector (or tensor) along a curve. The same with FW transport. If you want to apply the covariant derivative to a full field you can extend the field smoothly to a neighborhood around the curve, but the transport will not depend on the extension.
 
  • Like
Likes vanhees71
  • #12
Orodruin said:
Parallel transport is well defined for any vector (or tensor) along a curve. The same with FW transport.
Ah ok, so the rule that a geodesic parallel transports its tangent vector i.e. actually involves only the set of tangent vectors defined along the curve (geodesic) and not off of it.
 
  • #13
Btw, if we take a vector field , evaluate it on a point P on a generic curve that is orbit of a Killing vector field and FW transport it along that curve up to point Q, it should result the same as the Lie transport of along the (KVF) .

Does it make sense ?
 
  • Like
Likes vanhees71
  • #14
cianfa72 said:
Btw, if we take a vector field ##X##, evaluate it on a point P on a generic curve that is orbit of a Killing vector field ##V## and FW transport it along that curve up to point Q, it should result the same as the Lie transport of ##X## along the (KVF) ##V##.

Does it make sense ?
Why?
 
  • #15
martinbn said:
Why?
Mine was just an intuitive argument: along the Killing vector field the metric does not change by definition (). The inner product (defined by on each tangent space) between the vector fields and both evaluated at point P should be the same as the inner product of the Lie transport of at point Q and the vector field evaluated at the same point Q (Lie transport of along the integral orbit of from P to point Q).

I think the above should be actually the same as the FW transport along the integral orbit of through P connecting it with point Q.
 
Last edited:
  • #16
To prove (or disprove) the statement, you should consider whether or not the FW derivative along V being zero implies that the Lie derivative is zero (or not).
 
  • #17
Orodruin said:
To prove (or disprove) the statement, you should consider whether or not the FW derivative along V being zero implies that the Lie derivative is zero (or not).
We know that FW transport does not change the inner product between vectors being transported and that the FW transport of along itself (i.e. along one of the integral orbits of ) is always null.

Suppose the FW derivative of vector field along V ((i.e. along the integral orbit that connect point P to point Q) is null at Q. That basically means the FW transported vector at Q equals the vector field evaluated at Q.

Since the Lie transport of vector field along equals the vector field evaluated at Q hence the FW transport of along is the same as the Lie transport of along . Now if is a KVF for the underlying manifold then the Lie transport and the FW transport of a vector field along give the same result.

Hence a zero FW derivative along the KVF implies Lie derivatives along it is zero too.
 
  • #18
cianfa72 said:
Now if V is a KVF for the underlying manifold then the Lie transport and the FW transport of a vector field X along V give the same result.
Why? You cannot assume what you wanted to show.
 
  • #19
@cianfa72 If you replace Fermi-Walker with parallel transport, in what you wrote, what changes? The argument you are presenting seems to work for both, so it cannot be right.
 
  • #20
martinbn said:
@cianfa72 If you replace Fermi-Walker with parallel transport, in what you wrote, what changes? The argument you are presenting seems to work for both, so it cannot be right.
In case of parallel transport along a generic integral orbit of , hence the vector you get by the parallel transport of along itself from point P to point Q is not the same as its Lie transport ().

In case of geodesic congruence as integral orbits of , FW transport and parallel transport are the same.
 
  • Like
Likes vanhees71
  • #21
Orodruin said:
Why? You cannot assume what you wanted to show.
As said before mine was an intuitive reasoning: my idea is that in case of a KVF vector field the diffeomorphism defined by its flow from point P to Q actually results in an orthonormal transformation between tangent vector spaces defined at both point (let me say it is just a 'rotation').
 
  • #22
cianfa72 said:
As said before mine was an intuitive reasoning: my idea is that in case of a KVF vector field ##V## the diffeomorphism defined by its flow from point P to Q actually results in an orthonormal transformation between tangent vector spaces defined at both point (let me say it is just a 'rotation').
The tangent spaces are different so it cannot be a rotation per se. It is also not sufficient to say that the FW and Lie transports of give the same result and that the inner products between and after FW/Lie transports are the same (it is only sufficient in a two-dimensional manifold) - fixing the transport of and the inner product of the transported and only constraints the component of in the direction of (and the conservation of the norm of further constrains only up to a rotation in dimensions).
 
  • #23
Orodruin said:
It is also not sufficient to say that the FW and Lie transports of ##V## give the same result
You really mean the FW/Lie transport of along give the same result, I think.

Orodruin said:
and that the inner products between ##X## and ##V## after FW/Lie transports are the same (it is only sufficient in a two-dimensional manifold) - fixing the transport of ##V## and the inner product of the transported ##X## and ##V## only constraints the component of ##X## in the direction of ##V## (and the conservation of the norm of ##X## further constrains ##X## only up to a rotation in ##N-1## dimensions).
Here you are saying that the inner product of vector fields and both evaluated at point P is the same as the inner product of their FW/Lie transports along at point Q.

Orodruin said:
fixing the transport of ##V## and the inner product of the transported ##X## and ##V## only constraints the component of ##X## in the direction of ##V## (and the conservation of the norm of ##X## further constrains ##X## only up to a rotation in ##N-1## dimensions).
Ah ok (so my argument makes sense only for 2D manifold).
 
Last edited:
  • #24
So, based on post #22, can you write down a counter example to your assertion?
 
  • #25
Orodruin said:
So, based on post #22, can you write down a counter example to your assertion?
For example on a 3D Riemann manifold we can image a metric field with a 'geodesic' symmetry (i.e. a KVF field having geodesics as integral orbits) such that the Lie transport of a vector field along from point P to point Q differs from the FW/parallel transport of along the (geodesic) integral orbit of from P to Q by just a rotation in 2 dimension.

However I've some difficulty to write down a counter example from an analytic point of view.
 
  • #26
Here’s one:

Consider three-dimensional Minkowski space and the symmetry transformation:

The corresponding tangent field is given by

Now consider the transports along the time axis from to along which is the only non-zero component of . The relevant integral curve is therefore .

Take the vector , at the origin. The Fermi-Walker transport of this vector along the curve is simply because the time-axis is a geodesic and Fermi-Walker transport reduces to parallel transport in regular Minkowski coordinates, which means constant components.

However, the Lie derivative of if you want to Lie transport it is given by , leading to the two non-trivial equations

with the solution and and therefore and for , which is generally different from (0,1,0).
 
  • Like
Likes vanhees71
  • #27
Just to clarify myself some points as follows:

First one if we calculate the derivative of w.r.t. ed evaluate it for we get


and similarly from we get


Then I tried to prove myself that the above map is really a symmetry for the 3D Minkowski spacetime. I calculated the Jacobian matrix of the (active) transformation as:


This is actually an orthogonal matrix hence the pullback of the diagonal metric tensor ( in standard Minkowski coordinates) does not change.

About the Lie derivative my understanding is that the first RHS term represents the derivatives of vector field components w.r.t. the Minkowski coordinate (basically it is the expansion of vector field along ).

Is the above correct ? Thank you.
 
Last edited:
  • #28
Looks like I had a sign error, but you get the idea anyway.

cianfa72 said:
my understanding is that the first RHS term X˙a represents the derivatives of vector field X components w.r.t. the t Minkowski coordinate (basically it is the expansion of ∇VX vector field along Vt=1).
It is along the curve. The covariant derivative does not appear in the Lie derivative as the Lie derivative is independent from the connection.
 
  • #29
Orodruin said:
It is ##V^b \partial_b X^a## along the curve. The covariant derivative does not appear in the Lie derivative as the Lie derivative is independent from the connection.
ah ok, so is really the vector field evaluated along the points on the integral orbit of .

Btw in #27 I employed a symmetric connection since for any of it should result .
 
  • #30
cianfa72 said:
ah ok, so X˙a is really the vector field Vb∂bXa evaluated along the points on the integral orbit of Vt=1,Vx=Vy=0.
If it was not, say if the commutator depended on derivatives of in directions other than along the path, then you would not be able to compute the Lie transport without knowing the full field . As it is, you only need to know the initial value of .

Also, it is not a vector field. The expression becomes the component of a vector field only when considered along with the second term as well.

cianfa72 said:
Btw in #27 I employed a symmetric connection ∇ since for any of it should result (LVX)a=[V,X]a=(∇VX)a−(∇XV)a.
While this is true, it is not very satisfying as it makes it appear as if the Lie derivative depends on the connection. It does not.
 
  • Like
Likes cianfa72
  • #31
Sorry, I have some problem to grasp how you get the two non-trivial equations:


The LHS for each of the above equations should be evaluated for index and respectively. What about the respective RHS terms, namely and ?

Thank you.

Orodruin said:
While this is true, it is not very satisfying as it makes it appear as if the Lie derivative depends on the connection. It does not.
Yes, you are definitely right.
 
  • #32
cianfa72 said:
The LHS for each of the above equations should be (LVX)a=[V,X]a=X˙a−Xb∂bVa=0 evaluated
No. I moved the term to the RHS. Hence resulting in
 
  • #33
Orodruin said:
No. I moved the term ##X^b \partial_b V^a## to the RHS. Hence resulting in
$$
\dot X^a = X^b \partial_b V^a = X^x \partial_x V^a + X^y \partial_y V^a.
$$
Yes, sure. The point is where the two terms and come from ?
 
  • #34
cianfa72 said:
Yes, sure. The point is where the two terms ##- \omega X^y## and ##\omega X^x## come from ?
Evaluating the derivatives of .
 
  • Like
Likes cianfa72
  • #35
facenian said:
In my opinion the origen of FWT is better understood in flat spacetime. Its generalization to curved space time is then rutinary as explained in this paper https://doi.org/10.1007/s10699-020-09679-9
I think that's a bit overcomplicating the issue. Indeed FWT provides a transport of a tetrad along a time-like worldline which is locally rotation free. That's must simpler derived directly by simply using an infinitesimal Lorentz transformation when moving an "infinitesimal increment" along the worldline:

https://itp.uni-frankfurt.de/~hees/pf-faq/srt.pdf p. 21ff
 
  • Like
Likes jbergman
  • #36
facenian said:
My point was that to understand the FWT concept, it is simpler to carry out the analysis in flat spacetime
Which, as has already been pointed out, is exactly what the article under discussion does. If other references try to start the analysis in curved spacetime, that is irrelevant for this discussion.

You have now been banned from further posting in this thread.
 
  • #37
Orodruin said:
However, the Lie derivative of ##X## if you want to Lie transport it is given by ##(\mathcal L_V X)^a = [V,X]^a = \dot X^a - X^b \partial_b V^a = 0##, leading to the two non-trivial equations
$$
\dot X^x = X^x \partial_x V^x + X^y \partial_y V^x = - \omega X^y, \qquad
\dot X^y = \omega X^x
$$ with the solution ##X^x = \cos(\omega s)## and ##X^y = \sin(\omega s)## and therefore ##X^x = \cos(\omega)## and ##X^y = \sin(\omega)## for ##s = 1##, which is generally different from (0,1,0).
Just to be complete: there is a third equation namely
for which identically is a solution.

Therefore the solution vector field 'evaluated' at the point matches the vector we started with. Hence the vector field (i.e. its components ) is function of coordinate only.

Is the above correct ? Thanks.
 
Last edited:
  • #38
cianfa72 said:
Just to be complete: there is a third equation namely
$$ \dot X^t = X^t \partial_t V^t = X^t$$ for which ##X^t=0## identically is a solution.
The component is equal to one. Therefore its derivative is zero.
 
  • #39
Orodruin said:
The component ##V^t## is equal to one. Therefore its derivative is zero.
Yes sure, we get therefore identically. As said in #37 the solution vector field is a function of coordinate only (i.e. along the curve), right ?
 
  • #40
cianfa72 said:
Yes sure, we get ##\dot X^t = 0## therefore ##X=const=0## identically. As said in #37 the solution vector field ##X## is a function of coordinate ##t## only (i.e. ##s## along the curve), right ?
Technically is not a full field, but only defined along the integral curve, which makes it a function of the curve parameter such that , where is the point the parameter maps to along the curve.
 
  • Like
Likes cianfa72
  • #41
Orodruin said:
Technically ##X## is not a full field, but only defined along the integral curve, which makes it a function of the curve parameter such that ##s\mapsto X(s) \in T_{\gamma(s)}M##, where ##\gamma(s)## is the point the parameter maps to along the curve.
So basically the solution is not defined in a open neighborhood of each point along the integral curve. What has been done is to solve the three differential equations along the integral curve .
 
  • #42
cianfa72 said:
So basically the solution ##X## is not defined in a open neighborhood of each point along the integral curve. What has been done is to solve the three differential equations along the integral curve ##t=0##.
The integral curve is , is the only varying coordinate.
 
  • #43
Orodruin said:
The integral curve is ##x = y = 0##, ##t## is the only varying coordinate.
Oops, yes (i.e. let me say becomes the curve parameter ). Thank you.
 
Back
Top