Practical tensor calculus on embedded submanifolds of arbitrary codimension

Cet article présente un cadre de calcul tensoriel entièrement extrinsèque, sans paramétrisation et sans composantes pour les sous-variétés plongées de codimension arbitraire, mettant en œuvre une notation récursive algorithmique qui facilite à la fois l'analyse théorique et les applications pratiques en dynamique des fluides, en mécanique des milieux continus et en géométrie évolutive.

L'essentiel

Imaginez que vous essayez de décrire la forme et le mouvement d'un morceau de papier flottant dans une pièce en 3D, ou d'une bulle de savon, ou même d'une forme complexe de haute dimension que nous ne pouvons pas facilement visualiser. En mathématiques, ces formes sont appelées des sous-variétés.

Pendant longtemps, les mathématiciens ont eu une manière très spécifique et rigide de faire du calcul (la mathématique du changement et du mouvement) sur ces formes. C'est comme essayer de décrire le mouvement du papier en collant d'abord une grille de papier millimétré dessus, en notant les coordonnées de chaque point individuel, puis en effectuant des calculs complexes basés sur cette grille. Cela fonctionne, mais c'est désordonné, difficile à calculer, et cela échoue si le papier se tord, tourne ou change de forme au fil du temps.

La Grande Idée du Document : « La Méthode de l'Arbre »
Vladimir Yushutin propose une nouvelle façon, plus propre, de faire ces mathématiques. Au lieu de coller une grille sur la forme, il suggère d'observer la forme depuis « l'extérieur » (la pièce où elle flotte) et d'utiliser une structure spéciale et récursive qu'il appelle une « représentation par lignes ».

Imaginez un tenseur (un objet mathématique complexe contenant des informations sur la direction et la grandeur) non pas comme une gigantesque feuille de calcul remplie de nombres, mais comme un arbre complet.

• Le sommet de l'arbre est l'objet principal.
• Les branches se divisent en plus petits morceaux (lignes).
• Les feuilles sont les nombres réels.

Cette structure en « arbre » permet aux mathématiques d'être algorithmiques. Cela signifie que vous pouvez écrire un programme informatique qui gère ces formes en suivant simplement les branches de l'arbre, peu importe la complexité de la forme ou le nombre de dimensions qu'elle possède. Vous n'avez pas besoin de vous soucier des coordonnées spécifiques de la forme ; vous suivez simplement les règles de l'arbre.

Les Trois Découvertes Principales
L'auteur utilise cette nouvelle méthode « arbre » pour résoudre trois problèmes spécifiques qui étaient auparavant difficiles ou mal compris :

1. La Règle de la « Poussée Nette Nulle » (Flux d'Euler) :
   Imaginez un fluide (comme l'eau) s'écoulant parfaitement de manière fluide sur une surface courbe, comme une sphère ou une selle. Les anciennes mathématiques suggéraient que si la surface n'avait aucune symétrie (aucun équilibre parfait gauche-droite ou haut-bas), le fluide pourrait pousser la surface de manière étrange.

   • La Découverte : En utilisant cette nouvelle méthode, l'auteur prouve que si le fluide est incompressible (il ne se comprime pas), la poussée totale (quantité de mouvement) sur toute la surface est toujours nulle. Même si le fluide tourbillonne sauvagement, les forces s'annulent parfaitement sur l'ensemble de la forme. C'est comme un groupe de personnes poussant un bateau de tous les côtés ; même si elles poussent de manière aléatoire, si elles sont toutes sur le bateau, le bateau ne se déplace ni vers l'avant ni vers l'arrière dans son ensemble.

2. Le Malentendu de la « Coupe » (Contrainte de Cauchy) :
   En ingénierie, nous parlons de « contrainte » à l'intérieur des matériaux. Habituellement, nous supposons que si vous coupez un morceau de matériau, la force agit uniquement le long de la surface de coupe. Pour les feuilles plates, c'est facile. Mais pour les formes courbes en 3D (comme une corde tordue ou une coque courbe), les mathématiciens ont débattu pour savoir si la force devait toujours rester « plate » contre la surface ou si elle pouvait pointer « vers le haut » ou « vers le bas ».

   • La Découverte : Le document soutient que les modèles précédents étaient trop restrictifs. Ils supposaient que vous ne pouviez couper le matériau que d'une manière spécifique et plate. L'auteur montre que si vous permettez n'importe quelle coupe (même une coupe étrange et inclinée), les mathématiques prouvent que la force n'a pas à rester plate contre la surface. Elle peut pointer dans n'importe quelle direction, et les lois de la physique (les lois de Newton) restent valables. Cela change la façon dont nous modélisons les contraintes dans des matériaux complexes et courbes.

3. Le Suivi des Formes Changeantes (Sous-variétés Évoluantes) :
   Imaginez une bulle de savon qui se dilate, rétrécit et oscille. Comment calculez-vous l'énergie d'un motif dessiné sur cette bulle alors qu'elle change ?

   • La Découverte : L'auteur crée une formule pour calculer exactement comment l'« énergie » d'un motif change lorsque la forme elle-même se déplace et se transforme. Cela est fait en utilisant une « dérivée matérielle », qui est comme une caméra qui se déplace avec la forme, suivant les changements de l'intérieur tout en tenant compte du mouvement de la forme dans le monde extérieur. Cela fournit un outil précis pour modéliser des choses comme des tissus biologiques en croissance ou des membranes se déformant.

Pourquoi Cela Compte
Le document n'offre pas seulement une nouvelle théorie ; il offre une boîte à outils pratique. En traitant ces formes complexes comme des « arbres » de données, les mathématiques deviennent :

• Sans coordonnées : Vous n'avez pas besoin de choisir un système de grille spécifique.
• Récursives : Vous pouvez résoudre de grands problèmes en les décomposant en étapes plus petites et identiques (comme suivre une branche d'arbre jusqu'à une feuille).
• Universelles : Cela fonctionne pour des formes de n'importe quelle dimension et de n'importe quelle « épaisseur » (codimension).

En bref, le document fournit un nouveau langage, plus flexible et compatible avec les ordinateurs, pour décrire comment les choses se déplacent, poussent et changent sur des surfaces courbes, éliminant le besoin de grilles de coordonnées désordonnées et anciennes.

Résumé technique

Résumé technique : Calcul tensoriel pratique sur des sous-variétés plongées de codimension arbitraire

Énoncé du problème
De nombreux problèmes scientifiques impliquent des champs tensoriels définis sur des sous-variétés plongées dans $\mathbb{R}^n$. Les outils mathématiques traditionnels pour ces problèmes, tels que les opérateurs différentiels et les règles d'intégration, sont généralement introduits de manière intrinsèque en utilisant des paramétrisations par coordonnées locales ou la notation d'indices de Ricci. Bien que puissants, ce formalisme peut entraver les calculs, en particulier lorsqu'il s'agit d'évolution géométrique ou de sous-variétés de dimension et de codimension arbitraires. Les approches extrinsèques existantes se limitent souvent aux cas scalaires, aux tenseurs de rang deux ou aux scénarios de codimension un, manquant d'un cadre unifié pour les tenseurs de rang général en codimensions arbitraires.

Méthodologie
L'article propose une variante entièrement extrinsèque, sans paramétrisation et sans composantes du calcul tensoriel. La méthodologie repose sur la dérivée cartésienne ambiante dans $\mathbb{R}^n$ et la description extrinsèque par niveau de la géométrie de la sous-variété.

Le cœur du cadre est une représentation récursive par lignes des tenseurs. Au lieu d'utiliser des indices matriciels ou des composantes de coordonnées, un tenseur de rang $q$ est représenté comme une liste de $n$ composantes-lignes, chacune étant un tenseur de rang $q-1$. Cette structure est analogue à un arbre $n$-aire complet, où les nœuds feuilles stockent des valeurs et les nœuds internes guident l'évaluation via des produits scalaires récursifs. Cette représentation permet :

• Récursivité algorithmique : Des opérations telles que la projection, le gradient, la divergence et le rotationnel sont définies récursivement sur les composantes-lignes.
• Dérivées extrinsèques : Le gradient sur la sous-variété $\nabla_M$ est défini via le gradient ambient projeté sur l'espace tangent, évitant ainsi le besoin de connexions intrinsèques.
• Projection tangentielle : Un algorithme récursif projette les champs tensoriels généraux sur le sous-espace tangent de la sous-variété.
• Intégration : Une définition d'intégration composante par composante étend le théorème standard de Stokes aux tenseurs de rang arbitraire, produisant une formule de Stokes extrinsèque qui inclut un terme impliquant le vecteur courbure moyenne $\kappa$.

Contributions et résultats clés
L'article démontre l'utilité de ce cadre à travers trois applications distinctes, dérivant de nouveaux résultats pour une dimension et une codimension arbitraires :

1. Équations d'Euler et quantité de mouvement extrinsèque :
   Les auteurs dérivent un nouveau principe de conservation global pour les écoulements d'Euler incompressibles sur des variétés riemanniennes. Ils montrent que la quantité de mouvement extrinsèque (l'intégrale du covecteur vitesse sur la variété) s'annule pour tout écoulement tangent et incompressible, indépendamment des symétries de la variété. Cela conduit à une équation d'équilibre des forces ambiantes où la force de Young-Laplace, la réaction de la frontière et la force centripète s'annulent mutuellement. Ce résultat généralise la propriété connue de la force de pression nette nulle sur des domaines fixes dans $\mathbb{R}^2$ ou $\mathbb{R}^3$.

2. Contrainte de Cauchy sur les sous-variétés :
   L'article réexamine le concept de contrainte de Cauchy sur des sous-variétés plongées de codimension positive. En assouplissant l'hypothèse selon laquelle les tenseurs de contrainte doivent agir uniquement sur des coupes tangentielles, les auteurs dérivent des équations d'équilibre pour des coupes généralement orientées. Ils prouvent que, bien que la conservation du moment cinétique implique la tangentialité du vecteur contrainte pour des orientations tangentielles, cela n'implique pas que le tenseur de contrainte lui-même doive être symétrique ou purement tangentiel. Le tenseur de contrainte peut être non symétrique et non tangentiel sans violer les lois de Newton, à condition que la composante normale-à-tangentielle du vecteur contrainte s'annule.

3. Énergie de Dirichlet sur des sous-variétés évolutives :
   Pour les sous-variétés évolutives, les auteurs introduisent une dérivée matérielle extrinsèque pour les champs tensoriels de rang général. Ils dérivent une expression pour le taux de variation temporelle de l'énergie de Dirichlet tensorielle. Cette dérivation généralise les résultats précédents pour les champs scalaires et vectoriels à des rangs, dimensions et codimensions tensoriels arbitraires, en utilisant les commutateurs entre la dérivée matérielle et le gradient sur la sous-variété.

Importance et affirmations
L'article affirme que le cadre proposé offre une notation pratique et un ensemble d'outils immédiatement utilisables dans la modélisation mathématique, l'analyse des équations aux dérivées partielles (EDP) sensibles à la géométrie et les méthodes numériques sur des sous-variétés plongées.

Les caractéristiques distinctives mises en évidence sont :

• Généralité : Il s'applique aux sous-variétés de toute dimension et codimension et gère les tenseurs de rang arbitraire.
• Adéquation computationnelle : La représentation récursive par lignes reflète la structure des arbres complets, rendant le calcul propice à une implémentation algorithmique et à une analyse théorique.
• Clarté extrinsèque : En évitant les coordonnées locales et en s'appuyant sur des dérivées ambiantes, le cadre simplifie la gestion de l'évolution géométrique et des conditions aux limites.

Les auteurs concluent que cette approche facilite la dérivation de nouvelles lois de conservation et de conditions d'équilibre qui étaient auparavant difficiles à formuler dans un cadre général, et ils suggèrent des orientations futures en analyse numérique, calcul des variations et classification de formes en utilisant les outils développés.