En relativité générale, les invariants de courbure sont un ensemble de scalaires formé à partir des tenseurs de Riemann, Weyl et Ricci. Cet ensemble représente la courbure, et éventuellement les opérations telles que les contractions, les dérivées covariantes et la dualisation de Hodge.
Certains invariants formés à partir de ces tenseurs de courbure jouent un rôle important dans la classification des espaces-temps. Les invariants sont en réalité moins puissants pour distinguer localement les variétés lorentziennes non-isométriques que pour distinguer les variétés riemanniennes. Cela signifie qu'ils sont plus limités dans leurs applications que pour les variétés dotées d'un tenseur métrique positif défini.
Histoire En , Charles Nelson Haskins (-) montre que de courbure, tous construits à partir du tenseur de courbure de Riemann et du tenseur métrique, et indépendants les uns des autres, permettent de caractériser la courbure d'une variété. En , Jules Geheniau (-) et Robert Debever (-) présentent un tel ensemble d'invariants de courbure. En , (-) et K. R. Karmarkar présentent à leur tour un tel ensemble. Par la suite, plusieurs auteurs construisent divers ensembles d'invariants. En , John Carminati et montrent que le nombre de indépendants, antérieurement suggéré, ne suffit pas à caractériser la courbure d'un espace-temps dans le cas d'un fluide parfait. Ils construisent un ensemble de indépendants. En , E. Zakhary et C. G. B. McIntosh construisent le premier ensemble complet d'invariants indépendants pour toutes les métriques possibles.
Utilisation Les invariants de courbure sont notamment utilisés dans le cadre de l'étude des singularités de courbure. Ils servent également à la classification des tenseurs de courbure : par exemple, Corrado Segre les a utilisés pour établir sa ; et, autre exemple, , pour établir sa . Ils sont, en outre, utilisés dans le cadre de l'étude du problème de l'équivalence métrique, c'est-à-dire de la question de savoir si deux métriques d'espace-temps sont ou non équivalentes.
Principaux invariants En relativité générale, le scalaire de Ricci est l'invariant de courbure présent dans le tenseur de courbure d'Einstein. Il est défini comme la trace du tenseur de courbure de Ricci. Il est des invariants de courbure. Il est l'unique invariant de courbure, construit à partir du tenseur de courbure de Riemann et du tenseur métrique, qui : 1) est linéaire dans les dérivées secondes du tenseur métrique ; 2) ne contient pas de dérivées d'ordre supérieur du tenseur métrique ; et 3) s'annule dans un espace-temps plat. Il n'est constant que lorsque l'espace-temps est à symétrie maximale.
Les principaux invariants des tenseurs de Riemann et de Weyl d'une variété lorentzienne à quatre dimensions sont certains invariants polynomiaux quadratiques.
Les sont au nombre de trois. Ils sont notés . Ils sont désignés et définis comme suit : Le : , Le : , Le : .
Ce sont des invariants polynomiaux quadratiques (somme des carrés des composants). Quelques auteurs définissent le scalaire de Chern-Pontryagin en utilisant le duale droit plutôt que le duale gauche.
L'éponyme du scalaire de Kretschmann est le physicien théoricien allemand (-) qui l'a introduit en . Les deux autres noms sont quelque peu anachroniques, mais depuis que les intégrales des deux derniers sont liées au nombre d'instanton pour l'un et au caractéristique d'Euler pour l'autre, on peut les comprendre.
Les sont au nombre de deux. Ils sont notés . Ils sont définis comme suit : , .
(Parce que , il n'est pas nécessaire de définir un troisième invariant principal pour le tenseur de Weyl.)
Relation avec la décomposition de Ricci Il existe une relation entre la décomposition de Ricci et les invariants de courbures. Si on applique cette décomposition au tenseur de Riemann pour donner un tenseur de Weyl ainsi qu'une somme de tenseurs du quatrième rang, qui sont par ailleurs construits à partir du tenseur du second rang de Ricci et du scalaire de Ricci., on observe que ces deux ensembles d'invariants sont liés (en dimension 4).
Relation avec la décomposition de Bel En quatre dimensions, la décomposition de Bel du tenseur de Riemann par rapport à un champ vectoriel de temps , pas nécessairement en géodésique ou en hypersurface orthogonal, se compose de trois parties : Le tenseur de la gravité électronique Le tenseur de la gravité magnétique Le tenseur de la gravité topologique
À cause du fait qu'ils soient tous transversaux, ils peuvent être représentés comme des opérateurs linéaires de vecteurs en trois dimensions, ou comme des matrices réelles 3x3. Ils sont respectivement symétriques, sans trace, et symétriques (6,8,6 composants linéaires indépendants, pour un total de 20). Si nous nommons ces opérateurs respectivement E,B, et L, les principaux invariants de Riemann sont obtenus comme suit :
est la trace de E² + L² - 2 B B, est la trace de B ( E - L ), est la trace de E L - B².
Expression dans le formalisme de Newman-Penrose En termes de scalaires de Weyl dans le formalisme de Newman-Penrose, les principaux invariants du tenseur de Weyl peuvent être obtenus en prenant les parties réelles et imaginaires de l'expression
Le principal invariant quadratique du tenseur de Ricci, , peut être obtenu avec une expression plus compliquée impliquant les scalaires de Ricci.
Notes et références
Voir aussi
Bibliographie
Dictionnaires et encyclopédies
.
Manuels d'enseignement supérieurs
.
Ouvrages fondamentaux
Études
Publications historiques . . . . . . . . . .
Divers
. .
Articles connexes Courbure scalaire
Catégorie:Tenseur de courbure Catégorie:Relativité générale