Derivation of gauge condition in linearized GR

WannabeNewton
Science Advisor
Gold Member
Messages
5,848
Reaction score
552
Hey there guys! So we know that in linearized GR we work with small perturbations \gamma _{ab} of the background flat minkowski metric. In deriving the linearized field equations the quantity \bar{\gamma _{ab}} = \gamma _{ab} - \frac{1}{2}\eta _{ab}\gamma is usually defined, where \gamma = \gamma ^{a}_{a}. Under the action of an infinitesimal diffeomorphism (generator of flow), \gamma _{ab} transforms as \gamma' _{ab} = \gamma _{ab} + \partial _{b}\xi _{a} + \partial _{a}\xi _{b} (this comes out of the lie derivative of the minkowski metric with respect to the flow generated by this vector field). This implies that \bar{\gamma' _{ab}} = \bar{\gamma _{ab}} + \partial _{b}\xi _{a} + \partial _{a}\xi _{b} - \eta _{ab}\partial^{c}\xi _{c}. Since we have the freedom to then fix the gauge by choosing some \xi ^{a}, we can take one satisfying \partial ^{b}\partial _{b}\xi _{a} = -\partial ^{b}\bar{\gamma _{ab}} which, after differentiating the expression for \bar{\gamma' _{ab}}, gives \partial^{b}\bar{\gamma' _{ab}} = 0. Apparently we can then conclude from this that \partial^{b}\bar{\gamma _{ab}} = 0 but why is that? Is it because in a background flat space - time we can regard \partial^{b}\bar{\gamma' _{ab}} = 0 as a covariant equation due to being able to treat \triangledown _{a} as \partial _{a} therefore, since \bar{\gamma '_{ab}}, \bar{\gamma _{ab}} are related by a diffeomorphism, the equation must remain invariant under the transformation \bar{\gamma '_{ab}}\rightarrow \bar{\gamma _{ab}} (in the context of GR)?
 
Last edited:
Physics news on Phys.org
I don't see the difference. You use the gauge transformation to put γab into the Hilbert gauge and then just drop the prime.
 
Hi Bill! Thanks for responding. My question is why are we allowed to drop the prime? Thanks again mate.
 
My question is why are we allowed to drop the prime?
It's just notation. Whether you call it γab or γ'ab or something else entirely, it represents the gravitational perturbation in the Hilbert gauge.

By the way, in gravity this gauge condition IS called the Hilbert gauge, not the "Lorentz gauge", which pertains to electromagnetism. And "Lorentz gauge" itself is incorrect. Quoting Wikipedia,
The Lorenz condition is named after Ludvig Lorenz. It is a Lorentz invariant condition, and is frequently called the "Lorentz condition" because of confusion with Hendrik Lorentz, after whom Lorentz covariance is named.
 
Thanks Bill and atyy!
 
In this video I can see a person walking around lines of curvature on a sphere with an arrow strapped to his waist. His task is to keep the arrow pointed in the same direction How does he do this ? Does he use a reference point like the stars? (that only move very slowly) If that is how he keeps the arrow pointing in the same direction, is that equivalent to saying that he orients the arrow wrt the 3d space that the sphere is embedded in? So ,although one refers to intrinsic curvature...
ASSUMPTIONS 1. Two identical clocks A and B in the same inertial frame are stationary relative to each other a fixed distance L apart. Time passes at the same rate for both. 2. Both clocks are able to send/receive light signals and to write/read the send/receive times into signals. 3. The speed of light is anisotropic. METHOD 1. At time t[A1] and time t[B1], clock A sends a light signal to clock B. The clock B time is unknown to A. 2. Clock B receives the signal from A at time t[B2] and...
So, to calculate a proper time of a worldline in SR using an inertial frame is quite easy. But I struggled a bit using a "rotating frame metric" and now I'm not sure whether I'll do it right. Couls someone point me in the right direction? "What have you tried?" Well, trying to help truly absolute layppl with some variation of a "Circular Twin Paradox" not using an inertial frame of reference for whatevere reason. I thought it would be a bit of a challenge so I made a derivation or...
Back
Top