では"Lorentzゲージ"における式(3)ではどうなるだろうか。実はLorentz条件式 は一般には大域的に成立し得ないのである。ある点 に着目してその点を局所慣性座標で表すと、Lorentz条件式は(5)より であるが、一方でその微分も(座標によらず)大域的にゼロでなければならない。これも(6)を用いて同様に点 に対して局所慣性座標で表すと つまり
を満たさなければならない。点 は任意なので、"Lorentz条件式" が大域的に成立するためには曲率がゼロでなければならないことを意味するのである。 というのはちょっと言い過ぎで、少なくとも局所慣性座標に移ったとき、(7)式を満たさなければならない。
ちなみにWald ¥cite[71頁]{Wald:1984aa:bk}はLorentzゲージで曲率が現れることが言及しているが、それ以上のことは書いていない。内山 ¥cite[115頁]{uchiyama:1992aa:bk}も、(3)を導出しただけで何も言及していない。Landau, Lifshitz ¥cite{landau:1994aa:bk}は初めから普通微分で書いているので、共変Lorentzゲージどころか曲率と結合しているかのような式も出てこない。
¥bibliographystyle{unsrt}¥bibliography{../bib,../jp_bib}