Expression pour courbure extrinsèque

Aug 16 2020

Dans le livre de Padmanabhan Gravitation Foundations and Frontiers, l'équation suivante concernant la courbure extrinsèque d'une hypersurface peut être trouvée dans la section 12.2 (voir juste au-dessus de l'équation 12.19 dans ce livre),

\begin{align} K_{\alpha\beta}=-\nabla_\alpha n_\beta=-N\Gamma^0_{\alpha\beta}. \end{align}

Selon la convention du livre, les indices grecs fonctionnent pour les coordonnées spatiales ($\alpha=1,2,3$) et les indices latins exécutés pour les coordonnées spatio-temporelles ($a=0,1,2,3$). Ainsi, l'équation ci-dessus donne une expression pour les composantes spatiales de la courbure extrinsèque,$K_{\alpha\beta}$. Ici,$n^a$ est le champ vectoriel normal à l'hypersurface et $N$est la fonction de déchéance. Maintenant, le livre affirme que si nous développons le symbole de Christoffel, nous obtiendrons l'expression suivante (voir l'équation 12.19 dans le livre),

$$K_{\alpha\beta}=\frac{1}{2N}\left(D_\alpha N_{\beta}+D_\beta N_{\alpha}-\partial_0 h_{\alpha\beta}\right)$$

Ici, $N^\alpha$ est le vecteur de décalage, $h_{\alpha\beta}$ est la métrique spatiale induite sur l'hypersurface, et $D_m$ est la dérivée covariante intrinsèque sur l'hypersurface avec son action sur les vecteurs purement spatiaux $X_s$, qui satisfait une contrainte comme $X_sn^s=0$, défini comme

$$D_mX_s=h^a_mh^b_s\nabla_aX_b,$$

où, $h^a_b=\delta^a_b+n^an_b$ sont le tenseur de projection sur l'hypersurface, et $\nabla_a$ est la dérivée covariante habituelle de l'espace-temps.

Je n'ai pas réussi à dériver l'équation 12.19 donnant l'expression de $K_{\alpha\beta}$. Ci-dessous, je montre comment j'ai essayé de le faire. Le symbole Christoffel peut être développé comme suit:\begin{align} \Gamma^0_{\alpha\beta}&=\frac{1}{2}g^{0a}\left(\partial_\alpha g_{\beta a}+\partial_\beta g_{\alpha a}-\partial_a g_{\alpha\beta}\right)\nonumber\\ &=\frac{1}{2}g^{00}\left(\partial_\alpha g_{\beta 0}+\partial_\beta g_{\alpha 0}-\partial_0 g_{\alpha\beta}\right)+\frac{1}{2}g^{0\gamma}\left(\partial_\alpha g_{\beta \gamma}+\partial_\beta g_{\alpha \gamma}-\partial_\gamma g_{\alpha\beta}\right)\nonumber\\ &=\frac{-1}{2}N^{-2}\left(\partial_\alpha N_{\beta}+\partial_\beta N_{\alpha}-\partial_0 h_{\alpha\beta}\right)+\frac{1}{2}N^{-2}N^{\gamma}\left(\partial_\alpha h_{\beta \gamma}+\partial_\beta h_{\alpha \gamma}-\partial_\gamma h_{\alpha\beta}\right)\nonumber\\ &=\frac{-1}{2}N^{-2}\left(D_\alpha N_{\beta}+D_\beta N_{\alpha}+2\Gamma^\gamma_{\alpha\beta}N_{\gamma}-\partial_0 h_{\alpha\beta}\right)+\frac{1}{2}N^{-2}N^{\gamma}\left(\partial_\alpha h_{\beta \gamma}+\partial_\beta h_{\alpha \gamma}-\partial_\gamma h_{\alpha\beta}\right)\nonumber\\ &=\frac{-1}{2}N^{-2}\left(D_\alpha N_{\beta}+D_\beta N_{\alpha}-\partial_0 h_{\alpha\beta}\right)-N^{-2}\Gamma^\gamma_{\alpha\beta}N_{\gamma}+\frac{1}{2}N^{-2}N^{\gamma}\left(\partial_\alpha h_{\beta \gamma}+\partial_\beta h_{\alpha \gamma}-\partial_\gamma h_{\alpha\beta}\right) \end{align} Dans ce qui précède, j'ai utilisé les faits qui, $$n_0=-N,\quad n_\alpha=0,$$ $$D_\alpha N_\beta=h^a_\alpha h^b_\beta\nabla_a N_b=\partial_\alpha N_\beta-\Gamma^\gamma_{\alpha\beta}N_\gamma,$$ $$h_{00}=N^\gamma N_\gamma,\quad h_{0\alpha}=N_\alpha,\quad h_{\alpha\beta}=g_{\alpha\beta}$$

Réponses

1 VacuuM Aug 22 2020 at 13:04

Le calcul du PO semble correct. Si nous procédons dans ce sens, l'expression requise peut être obtenue assez facilement. Tout d'abord, je note que,$$D_\alpha N_\beta=\partial_\alpha N_\beta-{}^{(3)}\Gamma^\gamma_{\alpha\beta}N_\gamma\neq \partial_\alpha N_\beta-{}^{(4)}\Gamma^\gamma_{\alpha\beta}N_\gamma=\partial_\alpha N_\beta-\Gamma^\gamma_{\alpha\beta}N_\gamma,$$Cette substitution est peut-être ce qui était déroutant dans le calcul d'OP. Si nous corrigeons cela, alors il suit,\begin{align} &\frac{1}{2}g^{0a}\left(\partial_\alpha g_{\beta a}+\partial_\beta g_{\alpha a}-\partial_a g_{\alpha\beta}\right)\nonumber\\ &=-\frac{1}{2}N^{-2}\left(D_\alpha N_{\beta}+D_\beta N_{\alpha}+2{}^{(3)}\Gamma^\gamma_{\alpha\beta}N_{\gamma}-\partial_0 h_{\alpha\beta}\right)+\frac{1}{2}N^{-2}N^{\gamma}\left(\partial_\alpha h_{\beta \gamma}+\partial_\beta h_{\alpha \gamma}-\partial_\gamma h_{\alpha\beta}\right)\nonumber\\ &=-\frac{1}{2}N^{-2}\left(D_\alpha N_{\beta}+D_\beta N_{\alpha}-\partial_0 h_{\alpha\beta}\right)-N^{-2}{}^{(3)}\Gamma^\gamma_{\alpha\beta}N_{\gamma}+\frac{1}{2}N^{-2}N^{\gamma}\left(\partial_\alpha h_{\beta \gamma}+\partial_\beta h_{\alpha \gamma}-\partial_\gamma h_{\alpha\beta}\right)\nonumber\\ &=-\frac{1}{2}N^{-2}\left(D_\alpha N_{\beta}+D_\beta N_{\alpha}-\partial_0 h_{\alpha\beta}\right)-N^{-2}{}^{(3)}\Gamma^\gamma_{\alpha\beta}N_{\gamma}\nonumber\\ &\qquad+\frac{1}{2}N^{-2}N_{\sigma}h^{\gamma\sigma}\left(\partial_\alpha h_{\beta \gamma}+\partial_\beta h_{\alpha \gamma}-\partial_\gamma h_{\alpha\beta}\right)\nonumber\\ &=-\frac{1}{2}N^{-2}\left(D_\alpha N_{\beta}+D_\beta N_{\alpha}-\partial_0 h_{\alpha\beta}\right)-N^{-2}{}^{(3)}\Gamma^\gamma_{\alpha\beta}N_{\gamma}+N^{-2}N_{\sigma}{}^{(3)}\Gamma^{\sigma}_{\alpha\beta}\nonumber\\ &=-\frac{1}{2}N^{-2}\left(D_\alpha N_{\beta}+D_\beta N_{\alpha}-\partial_0 h_{\alpha\beta}\right) \end{align} Par conséquent, $$K_{\alpha\beta}=-N\Gamma^0_{\alpha\beta}=\frac{1}{2N}\left[D_\alpha N_{\beta}+D_\beta N_{\alpha}-\partial_0 h_{\alpha\beta}\right].$$

haelewiin Aug 19 2020 at 08:40
  1. La courbure extrinsèque est définie dans l'espace-temps ambiant (plutôt que sur l'hypersurface) comme $n_a$: $$K_{ab} = -P_\perp{}^c{}_{a}P_\perp{}^d{}_b \nabla_c n_d,$$ avec $P_\perp$le tenseur de projection sur l'hypersurface. Notez que par construction la courbure extrinsèque est spatiale et symétrique dans ses deux indices.
  2. Utilisez la symétrie pour écrire $K_{ab}$ comme dérivé de Lie:$$K_{ab} ={-\scriptsize\frac{1}{2}} P_\perp{}^c{}_{a}P_\perp{}^d{}_b \mathcal{L}_n \,g_{cd}.$$
  3. Utiliser la décomposition orthogonale de la métrique et le système de coordonnées adapté $t^a = Nn^a + N^a$ pour que la fonction de déchéance et le vecteur de décalage arrivent à $$K_{ab} = {\scriptsize\frac{1}{2}}N^{-1}\mathcal{L}_{(N-t)}h_{ab}.$$

Références:

  • T.Thiemann, Introduction à la relativité générale quantique canonique moderne , sous-section I.1.1