Je viens de me pencher sur une possible démonstration mais je pense qu'elle est fausse.
---
Pour démontrer l'expression donnée pour , j'ai utilisé la définition des tenseurs de courbure de Riemann et du tenseur métrique, ainsi que la relation entre la courbure scalaire et le tenseur de courbure de Riemann.
Le tenseur de courbure de Riemann est défini comme :
où sont les symboles de Christoffel, qui sont liés aux composantes du tenseur métrique par la formule :
Le tenseur métrique est également lié à son inverse par la relation :
où est le symbole de Kronecker.
La courbure scalaire est définie comme la contraction du tenseur de courbure de Riemann :
Maintenant, je considère l'expression donnée pour :
Je développe cette expression en utilisant les définitions des tenseurs de courbure de Riemann, du tenseur métrique et de la courbure scalaire, ainsi que les propriétés des symboles de Christoffel et du symbole de Kronecker.
En utilisant la définition des symboles de Christoffel, je peux simplifier cette expression :
Les termes en se simplifient, et j'obtiens :
Cela ressemble à l'expression pour le tenseur de courbure de Riemann. En effet, en utilisant les définitions et les propriétés des symboles de Christoffel et du tenseur de courbure de Riemann, on peut montrer que :
En conséquence, il vient :
Ce qui correspond à l'expression donnée pour . Ainsi, nous avons démontré l'expression fournie.