Calcul tensoriel et géométrie différentielle
Apprenez à calculer la géométrie sans confondre les coordonnées avec la structure physique.
Développez variétés, tenseurs, métriques, dérivées covariantes, géodésiques, courbure, formes différentielles et diagnostics invariants, prérequis mathématique de la relativité générale et de l'analyse de l'ingénierie de la métrique.
Avant de commencer
- • Calcul différentiel, vecteurs et équations différentielles
- • Mécanique lagrangienne
- • Algèbre linéaire et calcul à plusieurs variables
À la fin, vous saurez
- • Transformer vecteurs, covecteurs et tenseurs d'une carte de coordonnées à l'autre.
- • Calculer les connexions de Levi-Civita et les géodésiques à partir d'une métrique.
- • Calculer les tenseurs de courbure et leurs contractions invariantes.
- • Séparer les effets de coordonnées des effets géométriques mesurables.
Modèle interactif
Explorez avant de calculer
Leçon 1 sur 3
Cartes, espaces tangents et tenseurs
Quelles grandeurs changent avec les coordonnées, et quels énoncés géométriques survivent à toutes les cartes ?
Une variété est localement munie de coordonnées mais ne se confond avec aucune grille de coordonnées particulière. Les vecteurs tangents agissent comme des dérivées directionnelles, les covecteurs agissent sur les vecteurs, et les tenseurs sont des applications multilinéaires dotées d'une loi de transformation bien définie.
La métrique est un tenseur symétrique non dégénéré de rang deux. Elle convertit les vecteurs en covecteurs, définit les intervalles et les angles, et fournit un élément de volume une fois choisies une signature et une orientation.
Exemple résolu
Transformez la métrique du plan euclidien des coordonnées cartésiennes aux coordonnées polaires.
- 1. Écrivez x=r cosφ et y=r sinφ.
- 2. Dérivez pour obtenir dx et dy.
- 3. Insérez-les dans ds²=dx²+dy².
- 4. Regroupez les termes en dr², dr dφ et dφ².
ds²=dr²+r²dφ² ; la géométrie est plate alors même que les composantes de la métrique varient.
Essayez
Audit coordonnées contre courbure
Matériel : Un carnet de calcul symbolique ou du papier
- 1. Écrivez la métrique du plan dans les cartes cartésienne et polaire.
- 2. Comparez les dérivées des composantes.
- 3. Calculez ou consultez la courbure scalaire.
- 4. Expliquez pourquoi des composantes variables n'impliquent pas de courbure.
Observez : Une grille de coordonnées peut se courber sur la page alors que la courbure invariante reste nulle.
Vérifiez votre compréhension : Peut-on décider qu'un espace est courbe en regardant si les composantes de la métrique varient ?
Réponse : Non.
La variation des composantes peut venir des coordonnées ; la courbure exige un calcul invariant, comme le tenseur de Riemann.
Leçon 2 sur 3
Connexions, transport parallèle et géodésiques
Comment des dérivées peuvent-elles comparer des vecteurs vivant dans des espaces tangents différents ?
Une connexion corrige les dérivées ordinaires des composantes pour que le résultat se transforme tensoriellement. La connexion de Levi-Civita, sans torsion et compatible avec la métrique, est déterminée par la métrique via les symboles de Christoffel.
Les géodésiques transportent parallèlement leur propre tangente. Ce sont des chemins localement extrémaux pour l'intervalle dans les conditions usuelles, mais l'accélération en coordonnées le long d'elles n'a pas à s'annuler.
Exemple résolu
Trouvez les symboles de Christoffel non nuls du plan en coordonnées polaires.
- 1. Utilisez g_rr=1 et g_φφ=r².
- 2. Évaluez Γᵃ_bc=½gᵃᵈ(∂_b g_dc+∂_c g_db−∂_d g_bc).
- 3. Seules les dérivées radiales de r² subsistent.
- 4. Appliquez la symétrie sur les indices du bas.
Γʳ_φφ=−r et Γᵠ_rφ=Γᵠ_φr=1/r.
Essayez
Géodésiques sur une sphère
Matériel : Un globe, du fil et un carnet
- 1. Tendez le fil entre deux points le long d'un grand cercle.
- 2. Comparez avec un parallèle de latitude.
- 3. Écrivez la métrique sphérique.
- 4. Identifiez quel chemin est localement géodésique.
Observez : Une géodésique est intrinsèque à la surface et n'a pas à paraître droite dans un espace d'accueil.
Vérifiez votre compréhension : Les symboles de Christoffel sont-ils des composantes de tenseur ?
Réponse : Non.
Leur terme de transformation inhomogène est précisément ce qui répare les dérivées en dérivées covariantes.
Leçon 3 sur 3
Courbure, invariants et formes différentielles
Quelle mesure distingue une véritable courbure d'artefacts de coordonnées ?
Le tenseur de Riemann mesure le défaut de commutation des dérivées covariantes et la dépendance au chemin du transport parallèle. Ses contractions donnent le tenseur de Ricci et la courbure scalaire.
Les formes différentielles emballent proprement intégration, orientation et conservation. La dérivation extérieure est indépendante des coordonnées et le théorème de Stokes unifie gradient, rotationnel, divergence et lois de bord.
Exemple résolu
Quel test de courbure distingue les coordonnées polaires d'un plan d'une sphère ?
- 1. Calculez un invariant de courbure plutôt que des dérivées de composantes.
- 2. Pour le plan, R=0.
- 3. Pour une sphère de rayon a, la courbure de Gauss vaut 1/a².
- 4. Concluez que les espaces sont intrinsèquement différents.
Des singularités de coordonnées peuvent survenir en espace plat ; des invariants de courbure non nuls, eux, ne peuvent pas être éliminés par changement de coordonnées.
Essayez
L'holonomie du transport parallèle
Matériel : Un globe et une flèche découpée
- 1. Emportez la flèche vers le nord le long d'un méridien.
- 2. Déplacez-vous le long de l'équateur.
- 3. Revenez par un autre méridien.
- 4. Comparez l'orientation finale et l'orientation initiale.
Observez : La rotation après une boucle fermée enregistre la courbure intégrée.
Vérifiez votre compréhension : Pourquoi le scalaire de Ricci ne suffit-il pas à caractériser toute la courbure ?
Réponse : Des tenseurs de Riemann différents peuvent partager la même contraction scalaire.
Un seul scalaire jette l'information directionnelle et l'information de marée.
De la formule au sens
Lisez l'équation en langage courant.
ds²=g_μν dx^μdx^ν
La métrique transforme des déplacements en coordonnées en un intervalle invariant.
Γ^ρ_μν=½g^ρσ(∂_μg_σν+∂_νg_σμ−∂_σg_μν)
La connexion de Levi-Civita se construit à partir des dérivées premières de la métrique.
R^ρ_σμν=∂_μΓ^ρ_νσ−∂_νΓ^ρ_μσ+Γ^ρ_μλΓ^λ_νσ−Γ^ρ_νλΓ^λ_μσ
La courbure enregistre la non-commutativité du transport covariant.
Pratique autonome
Série d'exercices
Travaillez chaque exercice avant d'ouvrir l'indice et la solution.
1. Calculez l'inverse et le déterminant de diag(−1,a²,b²,c²).
Voir l'indice
Inversez chaque élément diagonal et multipliez la diagonale pour le déterminant.
Voir la solution
g^{μν}=diag(−1,a⁻²,b⁻²,c⁻²), det g=−a²b²c².
2. Montrez qu'une métrique constante en coordonnées cartésiennes a une connexion de Levi-Civita nulle.
Voir l'indice
Chaque terme de Γ contient une dérivée de la métrique.
Voir la solution
Tous les termes ∂g s'annulent, donc Γ^ρ_μν=0 dans cette carte.
3. Une 2-sphère a R=2/a². Que se passe-t-il quand a→∞ ?
Voir l'indice
Pensez à la limite locale des grands rayons.
Voir la solution
R→0 ; un morceau assez petit tend vers un plan.
Atelier de dérivation
Construisez le résultat, ligne par ligne.
Gardez les hypothèses visibles pour que les mathématiques restent vérifiables.
Point de départ
L'équation des géodésiques à partir de l'intervalle stationnaire
S=½∫g_μν ẋ^μẋ^ν dλ
- 1. Traitez l'intégrande comme un lagrangien.
- 2. Calculez les dérivées par rapport à ẋ^ρ et à x^ρ.
- 3. Appliquez l'équation d'Euler–Lagrange.
- 4. Montez un indice et reconnaissez la combinaison de Christoffel.
ẍ^ρ+Γ^ρ_μνẋ^μẋ^ν=0
Le mouvement libre est droit au sens covariant, même quand les composantes en coordonnées accélèrent.
Point de départ
La courbure à partir d'un commutateur
[∇_μ,∇_ν]V^ρ
- 1. Développez les deux dérivées covariantes.
- 2. Simplifiez les dérivées partielles secondes.
- 3. Regroupez les dérivées de Γ et les termes quadratiques en Γ.
- 4. Factorisez les composantes du vecteur.
[∇_μ,∇_ν]V^ρ=R^ρ_σμνV^σ
La courbure est un obstacle opératoire à une comparaison de vecteurs indépendante du chemin.
Carnet de calcul
Transformez le modèle en expérience.
Laboratoire de géodésiques et de courbure
Comment les trajectoires en coordonnées et la courbure invariante changent-elles entre un plan, une sphère et une selle ?
Entrées
- • Composantes métriques de trois surfaces à deux dimensions
- • Position et tangente initiales
- • Pas d'intégration et plage du paramètre affine
Algorithme
- 1. Calculez Γ pour chaque métrique.
- 2. Intégrez l'équation des géodésiques.
- 3. Évaluez la courbure scalaire.
- 4. Comparez les trajectoires par carte aux diagnostics invariants.
Preuves à produire
- • Tracés de géodésiques dans chaque carte
- • Table de courbure
- • Une explication séparant artefact de coordonnées et géométrie
Atelier de lecture d'articles
Interrogez la source, pas sa réputation.
Reconstruisez les hypothèses, reproduisez un calcul et arrêtez-vous à la limite des preuves rapportées.
Reconstruire une affirmation sur une métrique
La source établit-elle une géométrie nouvelle, une description en coordonnées, ou seulement un ansatz proposé ?
- 1. Recopiez la métrique et précisez la signature et les coordonnées.
- 2. Listez les symétries et les conditions aux limites.
- 3. Calculez au moins un invariant.
- 4. Ramenez chaque interprétation physique à un tenseur ou à une observable.
Calcul à reproduire : Reproduisez la métrique inverse, le déterminant, un coefficient de connexion et un invariant de courbure.
Limite des preuves : Une métrique mathématiquement cohérente n'est pas une preuve que le tenseur énergie-impulsion requis existe ou puisse être fabriqué.
Poursuivez vers les preuves
Lecture suivante, avec ses sources
Cours 1 : Qu'est-ce qu'une métrique ?
Le pont conceptuel entre les coordonnées et la mesure invariante.
Chapitre 4 : Le tenseur métrique, les moteurs à distorsion et les trous de ver
Appliquez les outils géométriques aux métriques standards et proposées tout en préservant les frontières de preuve.
Cours 5 : Les trous de ver de Morris–Thorne
Une géométrie travaillée avec ses conditions explicites de gorge et d'évasement.