Savart

The Stewart–Walker lemma provides necessary and sufficient conditions for the linear perturbation of a tensor field to be gauge-invariant. $\mathrm{\Delta }\delta T=0$ if and only if one of the following holds

1. $T_0=0$

2. $T_0$ is a constant scalar field

3. $T_0$ is a linear combination of products of delta functions ${\delta }_a^b$

Derivation

A 1-parameter family of manifolds denoted by ${\mathcal{ℳ}}_{ϵ}$ with ${\mathcal{ℳ}}_0={\mathcal{ℳ}}^4$ has metric $g_{ik}={\eta }_{ik}+ϵh_{ik}$. These manifolds can be put together to form a 5-manifold $\mathcal{𝒩}$. A smooth curve $\gamma$ can be constructed through $\mathcal{𝒩}$ with tangent 5-vector $X$, transverse to ${\mathcal{ℳ}}_{ϵ}$. If $X$ is defined so that if $h_t$ is the family of 1-parameter maps which map $\mathcal{𝒩}\to \mathcal{𝒩}$ and $p_0\in {\mathcal{ℳ}}_0$ then a point $p_{ϵ}\in {\mathcal{ℳ}}_{ϵ}$ can be written as $h_{ϵ}(p_0)$. This also defines a pull back $h_{ϵ}^{*}$ that maps a tensor field $T_{ϵ}\in {\mathcal{ℳ}}_{ϵ}$ back onto ${\mathcal{ℳ}}_0$. Given sufficient smoothness a Taylor expansion can be defined

$h_{ϵ}^{*}(T_{ϵ})=T_0+ϵh_{ϵ}^{*}({\mathcal{ℒ}}_X{T}_{ϵ})+O({ϵ}^2)$

$\delta T=ϵh_{ϵ}^{*}({\mathcal{ℒ}}_X{T}_{ϵ})\equiv ϵ({\mathcal{ℒ}}_X{T}_{ϵ}{)}_0$ is the linear perturbation of $T$. However, since the choice of $X$ is dependent on the choice of gauge another gauge can be taken. Therefore the differences in gauge become $\mathrm{\Delta }\delta T=ϵ({\mathcal{ℒ}}_X{T}_{ϵ}{)}_0-ϵ({\mathcal{ℒ}}_Y{T}_{ϵ}{)}_0=ϵ({\mathcal{ℒ}}_{X-Y}{T}_{ϵ}{)}_0$. Picking a chart where $X^a=({\xi }^{\mu },1)$ and $Y^a=(0,1)$ then $X^a-Y^a=({\xi }^{\mu },0)$ which is a well defined vector in any ${\mathcal{ℳ}}_{ϵ}$ and gives the result

$\mathrm{\Delta }\delta T=ϵ{\mathcal{ℒ}}_{\xi }{T}_0.$

The only three possible ways this can be satisfied are those of the lemma.

Sources

• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534 Describes derivation of result in section on Lie derivatives