7
$\begingroup$

Let $(M,g)$ be a $n$-dimensional Riemannian manifold with smooth metric $g$.

Proposition 3.2 in the paper "The Boost Problem in General Relativity" by O'Murchadha and Chistodoulou claims that any conformal Killing field will satisfy the third order PDE: $$\nabla^3 X = A\cdot \nabla X + B \cdot X$$ where $A$ and $B$ are linear combination of $\text{Riem}$ and $\nabla\text{Riem}$ respectively. Does anyone know a proof of this? Any reference is appreciated.

$\endgroup$
1
  • $\begingroup$ Fixed. Thanks Willie. $\endgroup$
    – Laithy
    Feb 17 at 3:13

1 Answer 1

11
$\begingroup$

It is a matter of calculation. Take successive derivatives of the conformal Killing equation, until you notice that you can solve for all derivatives of $X$ at a certain order (3rd order here) in terms of lower order ones. I don't know if there is a canonical reference, but a calculation equivalent to such an equation on $X$ is summarized in Eqs. (69.2--5) of

Eisenhart, L. P., Riemannian geometry, Princeton: Princeton University Press. vii, 306 p. (1949). ZBL0041.29403. Probably (69.2--5) was already there in the original (1926) edition.

More explicitly, from Eisenhart: \begin{gather} \tag{69.1}\label{69.1} \nabla_j \xi_i + \nabla_i \xi_j = \psi g_{ij} \\ \tag{69.2}\label{69.2} \nabla_k \nabla_j \xi_i = -\xi_m R^m{}_{kij} + \frac{1}{2} (g_{ij} \nabla_k \psi + g_{ik} \nabla_j \psi - g_{jk} \nabla_i \psi) \\ \tag{69.4}\label{69.4} g^{il} \xi_m \nabla_l R^m{}_{kij} - \xi_m \nabla_k R^m{}_j - \nabla_k \xi_m R^m{}_j - \nabla_j \xi_m R^m{}_k + \frac{(n-2)}{2} \nabla_k \nabla_j \psi + \frac{1}{2} g_{jk} \nabla^l \nabla_l \psi = 0 \\ \tag{69.5}\label{69.5} \nabla^l \nabla_l \psi = \frac{2}{n-1} (\xi_m \nabla_i R^{mi} + \nabla_i \xi_m R^{mi}) \end{gather} For completeness, note that basically $\psi = \frac{2}{n} \nabla^i \xi_i$. To get a 3rd order equation for $\xi_i$, start by using \eqref{69.5} to eliminate $\nabla^l \nabla_l \psi$ from \eqref{69.4}, and use the result to solve for $\nabla_j \nabla_i \psi$. Then, take an extra derivative of \eqref{69.2} and eliminate $\nabla_j \nabla_i \psi$.

Feel free to complete the calculation and add the resulting equation to this answer.


A quick sketch of the required steps to prove (69.2-5) are as follows:

  • (69.1) is the conformal Killing equation
  • To obtain (69.2), observe that the first Bianchi identity implies $$\nabla_{[i}\nabla_j \xi_{k]} = 0 $$ for any vector field $\xi$; here brackets denote full antisymmetrization. Write $\pi_{ij} = \nabla_i \xi_j + \nabla_j \xi_i$ for the symmetric part, you can write it as $$ \nabla_i (\nabla_j \xi_k - \frac12 \pi_{jk}) + \nabla_j(\nabla_k \xi_i - \frac12 \pi_{ki}) - \nabla_k(\nabla_j \xi_i - \frac12 \pi_{ji}) = 0 $$ move all the $\pi$ terms to the RHS and the second and third $\nabla^2\xi$ terms provide the Riemann tensor.
  • (69.4) is trickier. Start by taking the divergence $\nabla^i$ of (69.2). The LHS looks like $\nabla^i\nabla_k\nabla_j \xi_i = \nabla_k \nabla_j \nabla^i \xi_i + [\nabla^i, \nabla_k\nabla_j] \xi_i$. The commutator generates terms of the form $\nabla \mathrm{Ric} \cdot \xi$ and $\mathrm{Ric} \cdot \nabla X$. Apply also $\nabla^i \xi_i = \frac{n}{2} \psi$.
  • (69.5) is simply the trace of (69.4).

Probably, this result has been rederived independently multiple times in the literature, or referenced in passing as a "well-known" result without citing any convenient source, as in the article referenced by the OP.

More generally, any PDE on an unknown $X$ which has a differential consequence of the form $\nabla^k X = F(X, \ldots, \nabla^{k-1} X)$ is known as a PDE of finite type. While many geometric equations (like variants of the Killing and conformal Killing equations) are known by folklore to be of finite type, it can be surprisingly non-trivial to locate an original or convenient reference for such facts.

$\endgroup$
3
  • $\begingroup$ In the reference you sent, it seems that they write an expression of $\nabla^2 \text{div} X$ instead of $\nabla^3 X$. Does that imply a similar expression for $\nabla^3 X$? Either way, this suffices for my purposes. Thank you very much. I am trying to prove proposition 3.2 in the referenced paper under more relaxed conditions, (for manifolds that are not asymptotically flat and for rougher vector fields.) $\endgroup$
    – Laithy
    Feb 15 at 17:55
  • 1
    $\begingroup$ @Laithy, see added explanation. $\endgroup$ Feb 15 at 19:16
  • $\begingroup$ I just read your explanation. That's exactly what I planned to do! Thank you for your help. $\endgroup$
    – Laithy
    Feb 15 at 20:14

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.