Métricas de seguimiento de terceros derivados

Question

Deje $(M,\langle \cdot, \cdot\rangle)$ ser un colector de Riemann, y $\varphi: M\to \Bbb R$ ser un suave mapa. Denota el gradiente de $\varphi$ $\nabla \varphi$ y el covariante de Hesse por $\nabla^2\varphi$ (es decir, $\nabla^2\varphi(X,Y) = \langle \nabla_X(\nabla\varphi), Y\rangle$), me gustaría que para el cálculo de la métrica de seguimiento $${\rm tr}_{\langle \cdot,\cdot\rangle}\big((X,Y)\mapsto \nabla^2\varphi(\nabla_X(\nabla\varphi), Y)\big).$$I'm a bit stumped. I tried to do it in coordinates using $({\rm d}x^i)^\sharp = g^{ij}\partial_j$ pero no podía simplificar nada. Ayuda?

Answer 1

Escribir todo en coordenadas locales. Primero de todo, tenemos

$$(\nabla_{\cdot} \nabla \phi)_i^j = g^{jk}\phi_{ik} = \phi_i^j.$$

Deje $A(X, Y) = \nabla^2 \phi(\nabla_X \nabla \phi, Y)$. Entonces

\begin{align} \text{tr} A &= g^{ij} A(\partial_i, \partial_j) \\ &= g^{ij} \nabla^2 \phi (\nabla_{\partial_i} \nabla \phi, \partial _j) \\ &= g^{ij} \nabla^2 \phi ( \phi_i^k \partial_k , \partial_j)\\ &= g^{ij} \phi_{kj}\phi_i^k = \phi_k^i \phi_i^k. \end{align}

Nota: Para cualquier bilineal simétrica forma $V\times V\to \mathbb R$, vamos a $\tilde B : V\to V$ ser dada por $$B(X, Y) = g(X, \tilde B Y)\ \ \text{ for all }X, Y\in V.$$

A continuación, con $B = \nabla^2 \phi$,

$$ A(X, Y) = B ( \tilde B X, Y) = g(\tilde BX, \tilde B Y).$$

Uno podría suponer que los $\tilde B$ es diagonalized en un punto, entonces $$\text{tr}A = \sum_{i=1}^n g (\tilde B e_i, \tilde Be_i) = \sum_{i=1}^n \lambda_i^2.$$