Past exam of the mathematics course of the University of Cambridge / 2001 / iii / Paper 68 / 3 / Solution

The Brans-Dicke theory couples a scalar field $\Phi$ to the Ricci scalar. Assume $\Phi \ne 0$, constant $\omega$, matter independent of $\Phi$, and variations of compact support so boundary terms may be discarded. Use the paper's curvature sign convention and signature $(+---)$. Set $X=g^{ab}{\partial }_a\Phi {\partial }_b\Phi$ and $\square \Phi ={\nabla }_a{\nabla }^a\Phi$. Define the stress-energy tensor consistently byThis convention fixes the sign of the matter term.

Vary with respect to $g^{ab}$. The variation of metric volume density contributes $-g_{ab}/2$ times each scalar Lagrangian, while $\delta R=R_{ab}\delta g^{ab}+g^{ab}\delta R_{ab}$. Applying the Palatini identity followed by two rounds of integration by parts gives the metric variation of a scalar-curvature coupling,The differentiated $\Phi$ terms remain because the curvature multiplier is not constant. Varying the kinetic term at fixed $\Phi$ givesCombining these terms with the matter variation, the Euler-Lagrange equation isRaising both free indices reproduces the contravariant form, because ${\nabla }_a{g}_{bc}=0$.

The independent scalar variation givesor $R+\omega {\Phi }^{-2}X-2\omega {\Phi }^{-1}\square \Phi =0$. The trace of the metric tensor equation in four dimensions isMultiplying the scalar equation by $\Phi$ eliminates the same combination $\Phi R+\omega {\Phi }^{-1}X$. Thus the scalar equation of Brans-Dicke theory isAt the degenerate coupling of Brans-Dicke theory, $\omega =-3/2$, the combined equations impose $T=0$ instead; division by $3+2\omega$ is unavailable. If matter depended directly on $\Phi$, its scalar variation would add a source and the displayed scalar equation would change.

The following lettered sections justify the supplied variation identities; they are supporting identities in the PDF, rather than three independent field-equation problems.