- #1
- 5,844
- 551
Hi guys, this is in regards to a problem from Wald from the section on linearized gravity. We have a quantity [itex]t_{ab}[/itex] very, very similar to the L&L pseudo tensor and have the quantity (a sort of total energy) [itex]E = \int_{\Sigma }t_{00}d^{3}x[/itex] where [itex]\Sigma [/itex] is a space - like hypersurface of a background flat space - time with perturbation. We must show this quantity is time translation invariant. We know, from previous calculations not shown here, that [itex]\partial ^{a}t_{ab} = 0[/itex] so in particular we know that [itex]\partial ^{0}t_{00} = -\partial ^{i}t_{i0}[/itex] where [itex]i = 1,2,3[/itex]. We also have that [itex]\partial _{0}E = -\partial ^{0}E[/itex] and so we proceed [itex]\partial _{0}E = -\partial ^{0}E = -\partial ^{0}\int_{\Sigma }t_{00}d^{3}x = -\int_{\Sigma }\partial ^{0}t_{00}d^{3}x = \int_{\Sigma }\partial ^{i}t_{i0}d^{3}x[/itex]. We also know that [itex]r\rightarrow \infty \Rightarrow t_{\mu \nu }\rightarrow 0 ,\forall \mu ,\nu [/itex]. Ideally, one would like to use the divergence theorem to get a surface integral over the boundary of this space - like hypersurface because, due to the boundary condition, the surface integrand will vanish identically on this boundary and therefore so will the surface integral thus giving us our desired result that [itex]\partial _{0}E = 0[/itex]. Now my initial idea in order to do this was to somehow compactify [itex]\Sigma [/itex] but I'm not sure how to formalize this plus there is the issue of orientability. I've seen very hand - wavy arguments about taking a closed ball of some radius and taking the limit as this radius approaches infinity but I have not seen a proof that this works not to mention this perturbed background flat space - time doesn't have that extra metric structure pre - imposed so we would have to invoke a theorem allowing us to place some metric on the manifold. Any and all help is appreciated, thank you!