Action d'Einstein-Hilbert (original) (raw)

Un article de Wikipédia, l'encyclopédie libre.

L'action d'Einstein-Hilbert, ainsi désignée en l'honneur d'Albert Einstein et David Hilbert, est un objet mathématique homogène à une action. Elle décrit la dynamique du champ gravitationnelchap. 7,%5Fsec. 7.1-1" title="null">[1],chap. 7,%5Fsec. 7.2-2" title="null">[2]. Elle est utilisée, en relativité générale, pour dériver le tenseur d'Einsteinchap. 1er,%5Fsec. 1.6-3" title="null">[3] et l'équation d'Einstein dans le videchap. 7,%5Fsec. 7.2-2" title="null">[2],chap. 1er,%5Fsec. 1.6-3" title="null">[3], ce au moyen d'un principe variationnelchap. 7,%5Fsec. 7.1-1" title="null">[1] appelé principe de moindre action.

L'intégralechap. 4,%5Fsec. 4.2-4" title="null">[4] d'action d'Einstein-Hilbertchap. 7,%5Fsec. 7.1-1" title="null">[1],chap. 19,%5Fsec. 19.2-5" title="null">[5],chap. 5-6" title="null">[6],[N 1] est souvent notée S E H {\displaystyle S_{\mathrm {EH} }} {\displaystyle S_{\mathrm {EH} }}chap. 7,%5Fsec. 7.1-1" title="null">[1],chap. 19,%5Fsec. 19.2-5" title="null">[5],[N 2].

Elle est donnée parchap. 7,%5F§ 7.3,%5F%287.24%29%5Fet%5F%287.25%29-15" title="null">[13],chap. 13,%5F§ 13.2,%5F%2813.10%29-16" title="null">[14] :

S E H = c 3 16 π G ∫ d 4 x − g R = 1 2 κ c ∫ d 4 x − g R , {\displaystyle {\begin{aligned}S_{\mathrm {EH} }&={\frac {c^{3}}{16\pi G}}\int \mathrm {d} ^{4}x{\sqrt {-g}}\;R\\&={\frac {1}{2\kappa c}}\int \mathrm {d} ^{4}x{\sqrt {-g}}\;R\end{aligned}},} {\displaystyle {\begin{aligned}S_{\mathrm {EH} }&={\frac {c^{3}}{16\pi G}}\int \mathrm {d} ^{4}x{\sqrt {-g}}\;R\\&={\frac {1}{2\kappa c}}\int \mathrm {d} ^{4}x{\sqrt {-g}}\;R\end{aligned}},}

où :

Avec c = ℏ = 1 {\displaystyle c=\hbar =1} {\displaystyle c=\hbar =1}, l'action d'Einstein-Hilbert s'écritchap. 4,%5Fsec. 4.1,%5F§ 4.1.1-21" title="null">[19] :

S E H = 1 2 m P 2 ∫ d 4 x − g R {\displaystyle S_{\mathrm {EH} }={\frac {1}{2}}m_{\mathrm {P} }^{2}\int \mathrm {d} ^{4}x{\sqrt {-g}}\;R} {\displaystyle S_{\mathrm {EH} }={\frac {1}{2}}m_{\mathrm {P} }^{2}\int \mathrm {d} ^{4}x{\sqrt {-g}}\;R},

où :

m P {\displaystyle m_{\mathrm {P} }} {\displaystyle m_{\mathrm {P} }} est la masse de Planck réduitechap. 4,%5Fsec. 4.1,%5F§ 4.1.1-21" title="null">[19], définie parchap. 4,%5Fsec. 4.1,%5F§ 4.1.1-21" title="null">[19] m P 2 = ℏ c 8 π G {\displaystyle m_{\mathrm {P} }^{2}={\frac {\hbar c}{8\pi G}}} {\displaystyle m_{\mathrm {P} }^{2}={\frac {\hbar c}{8\pi G}}}.

L'action d'Einstein-Hilbert est, par définition, homogène à une action : dim ⁡ ( S ) = M L 2 T − 1 {\displaystyle \dim(S)={\mathsf {ML}}^{2}{\mathsf {T}}^{-1}} {\displaystyle \dim(S)={\mathsf {ML}}^{2}{\mathsf {T}}^{-1}}chap. 9,%5Fsec. 9.2,%5F§ 9.2.2-22" title="null">[20],chap. 4,%5Fsec. 4.1,%5F§ 4.1.1-23" title="null">[21].

L'équation aux dimensions est obtenue en considérant que le tenseur métrique g μ ν {\displaystyle g_{\mu \nu }} {\displaystyle g_{\mu \nu }} est une grandeur sans dimension : dim ⁡ ( g μ ν ) = 1 {\displaystyle \dim(g_{\mu \nu })=1} {\displaystyle \dim(g_{\mu \nu })=1}part.%5FI,%5Fchap. 3,%5Fsect.%5F3.1,%5Findrod.-24" title="null">[22],chap. 9,%5Fsec. 9.2,%5F§ 9.2.2-22" title="null">[20]. Il en résulte que la dimension du tenseur de Ricci R μ ν {\displaystyle R_{\mu \nu }} {\displaystyle R_{\mu \nu }} est celle de l'inverse du carré d'une longueur : dim ⁡ ( R μ ν ) = L − 2 {\displaystyle \dim(R_{\mu \nu })={\mathsf {L}}^{-2}} {\displaystyle \dim(R_{\mu \nu })={\mathsf {L}}^{-2}}part.%5FI,%5Fchap. 3,%5Fsect.%5F3.1,%5Findrod.-24" title="null">[22]. Il en résulte que la courbure de Ricci R {\displaystyle R} {\displaystyle R} a la même dimension dim ⁡ ( R ) = L − 2 {\displaystyle \dim(R)={\mathsf {L}}^{-2}} {\displaystyle \dim(R)={\mathsf {L}}^{-2}}part.%5FI,%5Fchap. 3,%5Fsect.%5F3.1,%5Findrod.-24" title="null">[22]. D'autre part, la dimension de d 4 x {\displaystyle \mathrm {d} ^{4}x} {\displaystyle \mathrm {d} ^{4}x} est celle d'un volume à quatre dimensions : dim ⁡ ( d 4 x ) = L 4 {\displaystyle \dim(\mathrm {d} ^{4}x)={\mathsf {L}}^{4}} {\displaystyle \dim(\mathrm {d} ^{4}x)={\mathsf {L}}^{4}}chap. 9,%5Fsec. 9.2,%5F§ 9.2.2-22" title="null">[20].

Remarque

Certains manuels définissent l'action d'Einstein-Hilbert avec un facteur c 4 {\displaystyle c^{4}} {\displaystyle c^{4}} au lieu d'un facteur c 3 {\displaystyle c^{3}} {\displaystyle c^{3}}chap. 7,%5Fsect.%5F7.4,%5Fintrod.,%5Fn. 3-25" title="null">[23]. Avec ce choix, la quantité obtenue n'a pas la dimension d'une actionchap. 7,%5Fsect.%5F7.4,%5Fintrod.,%5Fn. 3-25" title="null">[23].

Supposons que notre théorie ne contienne que l'action d'Einstein-Hilbert ainsi qu'un terme L M {\displaystyle {\mathcal {L}}_{\mathrm {M} }} {\displaystyle {\mathcal {L}}_{\mathrm {M} }} décrivant n'importe quel champ de matière. L'action totale est donc :

S = ∫ [ 1 2 κ R + L M ] − g d 4 x {\displaystyle S=\int \left[{\frac {1}{2\kappa }}R+{\mathcal {L}}_{\mathrm {M} }\right]{\sqrt {-g}}\,\mathrm {d} ^{4}x} {\displaystyle S=\int \left[{\frac {1}{2\kappa }}R+{\mathcal {L}}_{\mathrm {M} }\right]{\sqrt {-g}}\,\mathrm {d} ^{4}x}.

La variation de l'action par rapport à l'inverse de la métrique doit être nulle pour les solutions, donnant l'équation :

0 = δ S = ∫ [ 1 2 κ δ ( − g R ) δ g μ ν + δ ( − g L M ) δ g μ ν ] δ g μ ν d 4 x = ∫ [ 1 2 κ ( δ R δ g μ ν + R − g δ − g δ g μ ν ) + 1 − g δ ( − g L M ) δ g μ ν ] δ g μ ν − g d 4 x {\displaystyle {\begin{aligned}0&=\delta S\\&=\int \left[{\frac {1}{2\kappa }}{\frac {\delta ({\sqrt {-g}}R)}{\delta g^{\mu \nu }}}+{\frac {\delta ({\sqrt {-g}}{\mathcal {L}}_{\mathrm {M} })}{\delta g^{\mu \nu }}}\right]\delta g^{\mu \nu }\,\mathrm {d} ^{4}x\\&=\int \left[{\frac {1}{2\kappa }}\left({\frac {\delta R}{\delta g^{\mu \nu }}}+{\frac {R}{\sqrt {-g}}}{\frac {\delta {\sqrt {-g}}}{\delta g^{\mu \nu }}}\right)+{\frac {1}{\sqrt {-g}}}{\frac {\delta ({\sqrt {-g}}{\mathcal {L}}_{\mathrm {M} })}{\delta g^{\mu \nu }}}\right]\delta g^{\mu \nu }{\sqrt {-g}}\,\mathrm {d} ^{4}x\end{aligned}}} {\displaystyle {\begin{aligned}0&=\delta S\\&=\int \left[{\frac {1}{2\kappa }}{\frac {\delta ({\sqrt {-g}}R)}{\delta g^{\mu \nu }}}+{\frac {\delta ({\sqrt {-g}}{\mathcal {L}}_{\mathrm {M} })}{\delta g^{\mu \nu }}}\right]\delta g^{\mu \nu }\,\mathrm {d} ^{4}x\\&=\int \left[{\frac {1}{2\kappa }}\left({\frac {\delta R}{\delta g^{\mu \nu }}}+{\frac {R}{\sqrt {-g}}}{\frac {\delta {\sqrt {-g}}}{\delta g^{\mu \nu }}}\right)+{\frac {1}{\sqrt {-g}}}{\frac {\delta ({\sqrt {-g}}{\mathcal {L}}_{\mathrm {M} })}{\delta g^{\mu \nu }}}\right]\delta g^{\mu \nu }{\sqrt {-g}}\,\mathrm {d} ^{4}x\end{aligned}}}.

Puisque cette équation tient pour toute variation δ g μ ν {\displaystyle \delta g^{\mu \nu }} {\displaystyle \delta g^{\mu \nu }}, cela implique que

δ R δ g μ ν + R − g δ − g δ g μ ν = − 2 κ 1 − g δ ( − g L M ) δ g μ ν {\displaystyle {\frac {\delta R}{\delta g^{\mu \nu }}}+{\frac {R}{\sqrt {-g}}}{\frac {\delta {\sqrt {-g}}}{\delta g^{\mu \nu }}}=-2\kappa {\frac {1}{\sqrt {-g}}}{\frac {\delta ({\sqrt {-g}}{\mathcal {L}}_{\mathrm {M} })}{\delta g^{\mu \nu }}}} {\displaystyle {\frac {\delta R}{\delta g^{\mu \nu }}}+{\frac {R}{\sqrt {-g}}}{\frac {\delta {\sqrt {-g}}}{\delta g^{\mu \nu }}}=-2\kappa {\frac {1}{\sqrt {-g}}}{\frac {\delta ({\sqrt {-g}}{\mathcal {L}}_{\mathrm {M} })}{\delta g^{\mu \nu }}}}

est l'équation du mouvement pour la métrique. Le membre de droite de l'équation est (par définition) proportionnel au tenseur énergie-impulsion,

T μ ν := − 2 − g δ ( − g L M ) δ g μ ν = − 2 δ L M δ g μ ν + g μ ν L M {\displaystyle T_{\mu \nu }:={\frac {-2}{\sqrt {-g}}}{\frac {\delta ({\sqrt {-g}}{\mathcal {L}}_{\mathrm {M} })}{\delta g^{\mu \nu }}}=-2{\frac {\delta {\mathcal {L}}_{\mathrm {M} }}{\delta g^{\mu \nu }}}+g_{\mu \nu }{\mathcal {L}}_{\mathrm {M} }} {\displaystyle T_{\mu \nu }:={\frac {-2}{\sqrt {-g}}}{\frac {\delta ({\sqrt {-g}}{\mathcal {L}}_{\mathrm {M} })}{\delta g^{\mu \nu }}}=-2{\frac {\delta {\mathcal {L}}_{\mathrm {M} }}{\delta g^{\mu \nu }}}+g_{\mu \nu }{\mathcal {L}}_{\mathrm {M} }}.

pour calculer le membre de gauche de l'équation, nous avons besoin des variations du scalaire de Ricci R {\displaystyle R} {\displaystyle R} et du déterminant de la métrique. Elles peuvent être calculées de façon élémentaire comme donné ci-dessous, méthode qui est principalement inspirée de Carroll 2004.

Pour calculer la variation de la courbure de Ricci, on commence par calculer la variation du tenseur de Riemann, puis du tenseur de Ricci. Rappelons que le tenseur de Riemann est localement défini par

R ρ σ μ ν = ∂ μ Γ ν σ ρ − ∂ ν Γ μ σ ρ + Γ μ λ ρ Γ ν σ λ − Γ ν λ ρ Γ μ σ λ {\displaystyle {R^{\rho }}_{\sigma \mu \nu }=\partial _{\mu }\Gamma _{\nu \sigma }^{\rho }-\partial _{\nu }\Gamma _{\mu \sigma }^{\rho }+\Gamma _{\mu \lambda }^{\rho }\Gamma _{\nu \sigma }^{\lambda }-\Gamma _{\nu \lambda }^{\rho }\Gamma _{\mu \sigma }^{\lambda }} {\displaystyle {R^{\rho }}_{\sigma \mu \nu }=\partial _{\mu }\Gamma _{\nu \sigma }^{\rho }-\partial _{\nu }\Gamma _{\mu \sigma }^{\rho }+\Gamma _{\mu \lambda }^{\rho }\Gamma _{\nu \sigma }^{\lambda }-\Gamma _{\nu \lambda }^{\rho }\Gamma _{\mu \sigma }^{\lambda }}.

Puisque le tenseur de Riemann ne dépend que des symboles de Christoffel Γ μ ν λ {\displaystyle \Gamma _{\mu \nu }^{\lambda }} {\displaystyle \Gamma _{\mu \nu }^{\lambda }}, sa variation peut être calculée comme

δ R ρ σ μ ν = ∂ μ δ Γ ν σ ρ − ∂ ν δ Γ μ σ ρ + δ Γ μ λ ρ Γ ν σ λ + Γ μ λ ρ δ Γ ν σ λ − δ Γ ν λ ρ Γ μ σ λ − Γ ν λ ρ δ Γ μ σ λ {\displaystyle \delta {R^{\rho }}_{\sigma \mu \nu }=\partial _{\mu }\delta \Gamma _{\nu \sigma }^{\rho }-\partial _{\nu }\delta \Gamma _{\mu \sigma }^{\rho }+\delta \Gamma _{\mu \lambda }^{\rho }\Gamma _{\nu \sigma }^{\lambda }+\Gamma _{\mu \lambda }^{\rho }\delta \Gamma _{\nu \sigma }^{\lambda }-\delta \Gamma _{\nu \lambda }^{\rho }\Gamma _{\mu \sigma }^{\lambda }-\Gamma _{\nu \lambda }^{\rho }\delta \Gamma _{\mu \sigma }^{\lambda }} {\displaystyle \delta {R^{\rho }}_{\sigma \mu \nu }=\partial _{\mu }\delta \Gamma _{\nu \sigma }^{\rho }-\partial _{\nu }\delta \Gamma _{\mu \sigma }^{\rho }+\delta \Gamma _{\mu \lambda }^{\rho }\Gamma _{\nu \sigma }^{\lambda }+\Gamma _{\mu \lambda }^{\rho }\delta \Gamma _{\nu \sigma }^{\lambda }-\delta \Gamma _{\nu \lambda }^{\rho }\Gamma _{\mu \sigma }^{\lambda }-\Gamma _{\nu \lambda }^{\rho }\delta \Gamma _{\mu \sigma }^{\lambda }}.

Maintenant, puisque δ Γ ν σ ρ {\displaystyle \delta \Gamma _{\nu \sigma }^{\rho }} {\displaystyle \delta \Gamma _{\nu \sigma }^{\rho }} est la différence de deux connexions, il s'agit d'un tenseur, dont on peut calculer la dérivée covariante,

∇ μ ( δ Γ ν σ ρ ) = ∂ μ ( δ Γ ν σ ρ ) + Γ μ λ ρ δ Γ ν σ λ − Γ μ ν λ δ Γ λ σ ρ − Γ μ σ λ δ Γ ν λ ρ {\displaystyle \nabla _{\mu }\left(\delta \Gamma _{\nu \sigma }^{\rho }\right)=\partial _{\mu }(\delta \Gamma _{\nu \sigma }^{\rho })+\Gamma _{\mu \lambda }^{\rho }\delta \Gamma _{\nu \sigma }^{\lambda }-\Gamma _{\mu \nu }^{\lambda }\delta \Gamma _{\lambda \sigma }^{\rho }-\Gamma _{\mu \sigma }^{\lambda }\delta \Gamma _{\nu \lambda }^{\rho }} {\displaystyle \nabla _{\mu }\left(\delta \Gamma _{\nu \sigma }^{\rho }\right)=\partial _{\mu }(\delta \Gamma _{\nu \sigma }^{\rho })+\Gamma _{\mu \lambda }^{\rho }\delta \Gamma _{\nu \sigma }^{\lambda }-\Gamma _{\mu \nu }^{\lambda }\delta \Gamma _{\lambda \sigma }^{\rho }-\Gamma _{\mu \sigma }^{\lambda }\delta \Gamma _{\nu \lambda }^{\rho }}.

Nous pouvons alors observer que la variation du tenseur de Riemann ci-dessus est exactement égale à la différence de deux tels termes,

δ R ρ σ μ ν = ∇ μ ( δ Γ ν σ ρ ) − ∇ ν ( δ Γ μ σ ρ ) {\displaystyle \delta {R^{\rho }}_{\sigma \mu \nu }=\nabla _{\mu }\left(\delta \Gamma _{\nu \sigma }^{\rho }\right)-\nabla _{\nu }\left(\delta \Gamma _{\mu \sigma }^{\rho }\right)} {\displaystyle \delta {R^{\rho }}_{\sigma \mu \nu }=\nabla _{\mu }\left(\delta \Gamma _{\nu \sigma }^{\rho }\right)-\nabla _{\nu }\left(\delta \Gamma _{\mu \sigma }^{\rho }\right)}.

On peut désormais obtenir la variation du tenseur de Ricci simplement en contractant deux indices dans l'expression de la variation du tenseur de Riemann, et nous obtenons alors l'identité de Palatini:

δ R σ ν ≡ δ R ρ σ ρ ν = ∇ ρ ( δ Γ ν σ ρ ) − ∇ ν ( δ Γ ρ σ ρ ) {\displaystyle \delta R_{\sigma \nu }\equiv \delta {R^{\rho }}_{\sigma \rho \nu }=\nabla _{\rho }\left(\delta \Gamma _{\nu \sigma }^{\rho }\right)-\nabla _{\nu }\left(\delta \Gamma _{\rho \sigma }^{\rho }\right)} {\displaystyle \delta R_{\sigma \nu }\equiv \delta {R^{\rho }}_{\sigma \rho \nu }=\nabla _{\rho }\left(\delta \Gamma _{\nu \sigma }^{\rho }\right)-\nabla _{\nu }\left(\delta \Gamma _{\rho \sigma }^{\rho }\right)}.

La courbure de Ricci est alors définie comme

R = g σ ν R σ ν {\displaystyle R=g^{\sigma \nu }R_{\sigma \nu }} {\displaystyle R=g^{\sigma \nu }R_{\sigma \nu }}.

Par conséquent, sa variation par rapport à l'inverse de la métrique g σ ν {\displaystyle g^{\sigma \nu }} {\displaystyle g^{\sigma \nu }} est donnée par

δ R = R σ ν δ g σ ν + g σ ν δ R σ ν = R σ ν δ g σ ν + ∇ ρ ( g σ ν δ Γ ν σ ρ − g σ ρ δ Γ μ σ μ ) {\displaystyle {\begin{aligned}\delta R&=R_{\sigma \nu }\delta g^{\sigma \nu }+g^{\sigma \nu }\delta R_{\sigma \nu }\\&=R_{\sigma \nu }\delta g^{\sigma \nu }+\nabla _{\rho }\left(g^{\sigma \nu }\delta \Gamma _{\nu \sigma }^{\rho }-g^{\sigma \rho }\delta \Gamma _{\mu \sigma }^{\mu }\right)\end{aligned}}} {\displaystyle {\begin{aligned}\delta R&=R_{\sigma \nu }\delta g^{\sigma \nu }+g^{\sigma \nu }\delta R_{\sigma \nu }\\&=R_{\sigma \nu }\delta g^{\sigma \nu }+\nabla _{\rho }\left(g^{\sigma \nu }\delta \Gamma _{\nu \sigma }^{\rho }-g^{\sigma \rho }\delta \Gamma _{\mu \sigma }^{\mu }\right)\end{aligned}}}

Dans la seconde ligne, nous avons utilisé la compatibilité de la métrique avec la connexion ∇ σ g μ ν = 0 {\displaystyle \nabla _{\sigma }g^{\mu \nu }=0} {\displaystyle \nabla _{\sigma }g^{\mu \nu }=0}, et le résultat obtenu précédemment sur la variation du tenseur de Ricci.

Le dernier terme,

∇ ρ ( g σ ν δ Γ ν σ ρ − g σ ρ δ Γ μ σ μ ) {\displaystyle \nabla _{\rho }\left(g^{\sigma \nu }\delta \Gamma _{\nu \sigma }^{\rho }-g^{\sigma \rho }\delta \Gamma _{\mu \sigma }^{\mu }\right)} {\displaystyle \nabla _{\rho }\left(g^{\sigma \nu }\delta \Gamma _{\nu \sigma }^{\rho }-g^{\sigma \rho }\delta \Gamma _{\mu \sigma }^{\mu }\right)}, i.e. ∇ ρ A ρ ≡ A λ ; λ {\displaystyle \nabla _{\rho }A^{\rho }\equiv A^{\lambda }{}_{;\lambda }} {\displaystyle \nabla _{\rho }A^{\rho }\equiv A^{\lambda }{}_{;\lambda }} with A ρ = g σ ν δ Γ ν σ ρ − g σ ρ δ Γ μ σ μ {\displaystyle A^{\rho }=g^{\sigma \nu }\delta \Gamma _{\nu \sigma }^{\rho }-g^{\sigma \rho }\delta \Gamma _{\mu \sigma }^{\mu }} {\displaystyle A^{\rho }=g^{\sigma \nu }\delta \Gamma _{\nu \sigma }^{\rho }-g^{\sigma \rho }\delta \Gamma _{\mu \sigma }^{\mu }},

multiplié par − g {\displaystyle {\sqrt {-g}}} {\displaystyle {\sqrt {-g}}}, devient une [dérivée totale], puisque pour tout vecteur A λ {\displaystyle A^{\lambda }} {\displaystyle A^{\lambda }} et toute densité de tenseur − g A λ {\displaystyle {\sqrt {-g}}\,A^{\lambda }} {\displaystyle {\sqrt {-g}}\,A^{\lambda }} nous avons:

− g A ; λ λ = ( − g A λ ) ; λ = ( − g A λ ) , λ {\displaystyle {\sqrt {-g}}\,A_{;\lambda }^{\lambda }=({\sqrt {-g}}\,A^{\lambda })_{;\lambda }=({\sqrt {-g}}\,A^{\lambda })_{,\lambda }} {\displaystyle {\sqrt {-g}}\,A_{;\lambda }^{\lambda }=({\sqrt {-g}}\,A^{\lambda })_{;\lambda }=({\sqrt {-g}}\,A^{\lambda })_{,\lambda }} or − g ∇ μ A μ = ∇ μ ( − g A μ ) = ∂ μ ( − g A μ ) {\displaystyle {\sqrt {-g}}\,\nabla _{\mu }A^{\mu }=\nabla _{\mu }\left({\sqrt {-g}}\,A^{\mu }\right)=\partial _{\mu }\left({\sqrt {-g}}\,A^{\mu }\right)} {\displaystyle {\sqrt {-g}}\,\nabla _{\mu }A^{\mu }=\nabla _{\mu }\left({\sqrt {-g}}\,A^{\mu }\right)=\partial _{\mu }\left({\sqrt {-g}}\,A^{\mu }\right)}

et ainsi par le théorème de Stokes il ne reste d'un terme de bord après intégration. Le terme ne bord n'est en général pas nul, puisque l'intégrande ne dépend pas seulement de δ g μ ν , {\displaystyle \delta g^{\mu \nu },} {\displaystyle \delta g^{\mu \nu },} mais aussi de ses dérivées partielles ∂ λ δ g μ ν ≡ δ ∂ λ g μ ν {\displaystyle \partial _{\lambda }\,\delta g^{\mu \nu }\equiv \delta \,\partial _{\lambda }g^{\mu \nu }} {\displaystyle \partial _{\lambda }\,\delta g^{\mu \nu }\equiv \delta \,\partial _{\lambda }g^{\mu \nu }}; voir l'article termes de bord de Gibbons–Hawking–York pour plus de détails. Néanmoins, lorsque la variation de la métrique δ g μ ν {\displaystyle \delta g^{\mu \nu }} {\displaystyle \delta g^{\mu \nu }} varie dans le voisinage du bord ou lorsqu'il n'y a pas de bords, ce terme ne contribue pas à la variation de l'action. Ainsi, nous obtenons :

δ R δ g μ ν = R μ ν {\displaystyle {\frac {\delta R}{\delta g^{\mu \nu }}}=R_{\mu \nu }} {\displaystyle {\frac {\delta R}{\delta g^{\mu \nu }}}=R_{\mu \nu }},

en dehors des bords.

On rappelle la différentielle du déterminant

δ g = δ det ( g μ ν ) = g g μ ν δ g μ ν {\displaystyle \delta g=\delta \det(g_{\mu \nu })=gg^{\mu \nu }\delta g_{\mu \nu }} {\displaystyle \delta g=\delta \det(g_{\mu \nu })=gg^{\mu \nu }\delta g_{\mu \nu }},

que l'on peut calculer par exemple via la formule explicite du déterminant et d'un développement limité [24]

. Grâce à ce résultat, nous obtenons

δ − g = − 1 2 − g δ g = 1 2 − g ( g μ ν δ g μ ν ) = − 1 2 − g ( g μ ν δ g μ ν ) {\displaystyle \delta {\sqrt {-g}}=-{\frac {1}{2{\sqrt {-g}}}}\delta g={\frac {1}{2}}{\sqrt {-g}}\left(g^{\mu \nu }\delta g_{\mu \nu }\right)=-{\frac {1}{2}}{\sqrt {-g}}\left(g_{\mu \nu }\delta g^{\mu \nu }\right)} {\displaystyle \delta {\sqrt {-g}}=-{\frac {1}{2{\sqrt {-g}}}}\delta g={\frac {1}{2}}{\sqrt {-g}}\left(g^{\mu \nu }\delta g_{\mu \nu }\right)=-{\frac {1}{2}}{\sqrt {-g}}\left(g_{\mu \nu }\delta g^{\mu \nu }\right)}

Dans la dernière égalité, nous avons utilisé le fait que

g μ ν δ g μ ν = − g μ ν δ g μ ν {\displaystyle g_{\mu \nu }\delta g^{\mu \nu }=-g^{\mu \nu }\delta g_{\mu \nu }} {\displaystyle g_{\mu \nu }\delta g^{\mu \nu }=-g^{\mu \nu }\delta g_{\mu \nu }}

qui suit de la différentielle de l'inverse d'une matrice

δ g μ ν = − g μ α ( δ g α β ) g β ν {\displaystyle \delta g^{\mu \nu }=-g^{\mu \alpha }\left(\delta g_{\alpha \beta }\right)g^{\beta \nu }} {\displaystyle \delta g^{\mu \nu }=-g^{\mu \alpha }\left(\delta g_{\alpha \beta }\right)g^{\beta \nu }}.

Ainsi, nous concluons que

1 − g δ − g δ g μ ν = − 1 2 g μ ν {\displaystyle {\frac {1}{\sqrt {-g}}}{\frac {\delta {\sqrt {-g}}}{\delta g^{\mu \nu }}}=-{\frac {1}{2}}g_{\mu \nu }} {\displaystyle {\frac {1}{\sqrt {-g}}}{\frac {\delta {\sqrt {-g}}}{\delta g^{\mu \nu }}}=-{\frac {1}{2}}g_{\mu \nu }}.

Maintenant, nous avons toutes les variations nécessaire pour obtenir l'équation du mouvement. On insère les équations calculées dans l'équation du mouvement pour la métrique pour obtenir

R μ ν − 1 2 g μ ν R = 8 π G c 4 T μ ν {\displaystyle R_{\mu \nu }-{\frac {1}{2}}g_{\mu \nu }R={\frac {8\pi G}{c^{4}}}T_{\mu \nu }} {\displaystyle R_{\mu \nu }-{\frac {1}{2}}g_{\mu \nu }R={\frac {8\pi G}{c^{4}}}T_{\mu \nu }},

qui est l'équation d'Einstein, et

κ = 8 π G c 4 {\displaystyle \kappa ={\frac {8\pi G}{c^{4}}}} {\displaystyle \kappa ={\frac {8\pi G}{c^{4}}}}

a été choisi de sorte à obtenir la limite non-relativiste souhaitée: la loi universelle de la gravitation de Newton, où G {\displaystyle G} {\displaystyle G} est la constante gravitationnelle.

  1. chap. 7,%5Fsec. 7.1%5F1-0" title="null">a chap. 7,%5Fsec. 7.1%5F1-1" title="null">b chap. 7,%5Fsec. 7.1%5F1-2" title="null">c et chap. 7,%5Fsec. 7.1%5F1-3" title="null">d Basdevant 2022, chap. 7, sec. 7.1, p. 144.
  2. chap. 7,%5Fsec. 7.2%5F2-0" title="null">a et chap. 7,%5Fsec. 7.2%5F2-1" title="null">b Ferrari, Gualtieri et Pani 2020, chap. 7, sec. 7.2, p. 122.
  3. chap. 1er,%5Fsec. 1.6%5F3-0" title="null">a et chap. 1er,%5Fsec. 1.6%5F3-1" title="null">b Romero et Vila 2013, chap. 1er, sec. 1.6, p. 15.
  4. chap. 4,%5Fsec. 4.2%5F4-0" title="null">↑ Das et DeBenedictis 2012, chap. 4, sec. 4.2, p. 293.
  5. chap. 19,%5Fsec. 19.2%5F5-0" title="null">a et chap. 19,%5Fsec. 19.2%5F5-1" title="null">b Hobson, Efstathiou et Lasenby 2009, chap. 19, sec. 19.2, p. 528.
  6. chap. 5%5F6-0" title="null">↑ Rovelli 2022, chap. 5, p. 91.
  7. chap. 6,%5Fsec. 6.2%5F7-0" title="null">↑ Barrau et Grain 2016, chap. 6, sec. 6.2, p. 105.
  8. chap. 4,%5Fsec. 4.5,%5F§ 4.5.1%5F8-0" title="null">↑ Gourgoulhon 2014, chap. 4, sec. 4.5, § 4.5.1, p. 115.
  9. § 5%5F9-0" title="null">↑ Connes 1997, § 5, p. 343.
  10. col. 1''s.v.''%5Faction%5F%28sens%5F2%29%5F11-0" title="null">a et col. 1''s.v.''%5Faction%5F%28sens%5F2%29%5F11-1" title="null">b Taillet, Villain et Febvre 2018, s.v. action (sens 2), p. 11, col. 1.
  11. chap. 15,%5Fsec. 15.4%5F12-0" title="null">↑ Padmanabhan 2010, chap. 15, sec. 15.4, p. 654.
  12. col. 1''s.v.''%5FEinstein-Hilbert-Wirkung%5F13-0" title="null">↑ Walz 2016, s.v. Einstein-Hilbert-Wirkung, p. 20, col. 1.
  13. chap. 7,%5F§ 7.3,%5F%287.24%29%5Fet%5F%287.25%29%5F15-0" title="null">↑ Bambi 2018, chap. 7, § 7.3, (7.24) et (7.25), p. 128.
  14. chap. 13,%5F§ 13.2,%5F%2813.10%29%5F16-0" title="null">↑ Maggiore 2018, chap. 13, § 13.2, (13.10), p. 192.
  15. col. 2''s.v.''%5Fcourbure%5Fde%5FRicci%5F17-0" title="null">↑ Taillet, Villain et Febvre 2018, s.v. courbure de Ricci, p. [173], col. 2.
  16. chap. 5%5F18-0" title="null">a chap. 5%5F18-1" title="null">b et chap. 5%5F18-2" title="null">c Rovelli 2022, chap. 5, p. 93.
  17. Poisson et Will 2014, p. 230.
  18. chap. 7,%5F§ 7.2%5F%287.19%29%5F20-0" title="null">↑ Bambi 2018, chap. 7, § 7.2 (7.19), p. 127.
  19. chap. 4,%5Fsec. 4.1,%5F§ 4.1.1%5F21-0" title="null">a chap. 4,%5Fsec. 4.1,%5F§ 4.1.1%5F21-1" title="null">b et chap. 4,%5Fsec. 4.1,%5F§ 4.1.1%5F21-2" title="null">c Tong 2019, chap. 4, sec. 4.1, § 4.1.1, p. 145.
  20. chap. 9,%5Fsec. 9.2,%5F§ 9.2.2%5F22-0" title="null">a chap. 9,%5Fsec. 9.2,%5F§ 9.2.2%5F22-1" title="null">b et chap. 9,%5Fsec. 9.2,%5F§ 9.2.2%5F22-2" title="null">c Hübsch 2015, chap. 9, sec. 9.2, § 9.2.2, p. 327.
  21. chap. 4,%5Fsec. 4.1,%5F§ 4.1.1%5F23-0" title="null">↑ Tong 2019, chap. 4, sec. 4.1, § 4.1.1, p. 144.
  22. part.%5FI,%5Fchap. 3,%5Fsect.%5F3.1,%5Findrod.%5F24-0" title="null">a part.%5FI,%5Fchap. 3,%5Fsect.%5F3.1,%5Findrod.%5F24-1" title="null">b et part.%5FI,%5Fchap. 3,%5Fsect.%5F3.1,%5Findrod.%5F24-2" title="null">c Harko et Lobo 2018, part. I, chap. 3, sect. 3.1, indrod., p. 39.
  23. chap. 7,%5Fsect.%5F7.4,%5Fintrod.,%5Fn. 3%5F25-0" title="null">a et chap. 7,%5Fsect.%5F7.4,%5Fintrod.,%5Fn. 3%5F25-1" title="null">b Ferrari, Gualtieri et Pani 2020, chap. 7, sect. 7.4, introd., n. 3, p. 129.
  24. Différentielle du déterminant (lire en ligne)

Document utilisé pour la rédaction de l’article : document utilisé comme source pour la rédaction de cet article.