Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/iii/paper-52/3/i/solution

For each fixed coordinate function , the expression is a scalar: labels four chosen functions and is not a free tensor index. The equation is therefore coordinate invariant when those functions are held fixed. However, the demand that the currently chosen coordinates themselves be harmonic coordinates is a chart condition, not a four-vector equation invariant under arbitrary changes of coordinate functions.
Indeed, for new functions the d'Alembert operator gives
The second term prevents a vector transformation law. An affine redefinition preserves harmonic coordinates; an arbitrary nonlinear one does not. For example, a Cartesian spatial coordinate in Minkowski spacetime has , whereas , and is a valid new coordinate on . The equations are scalar equations for specified functions, while harmonic gauge is chart dependent.

New to topics? Read the docs here!