Contact Tulczyjew Geometry for Continuous and Discrete Dissipative Dynamics on Skew Algebroids

Cet article établit un formalisme de contact de Tulczyjew unifié sur les algebroïdes de type skew qui explique intrinsèquement la dynamique dissipative à travers un morphisme modifié et étend ce cadre tant aux équations d'Euler-Lagrange-Herglotz continues qu'aux intégrateurs variationnels de contact discrets.

L'essentiel

Imaginez que vous essayiez de prédire comment une balle dévale une colline. Dans un monde parfait et sans friction, les règles sont simples : l'énergie est conservée et la balle suit une trajectoire fluide et prévisible. C'est ce que les physiciens appellent la « dynamique conservative ».

Mais dans le monde réel, les choses deviennent désordonnées. Il y a de la friction, de la résistance de l'air et des pertes d'énergie. La balle ralentit, chauffe et sa trajectoire change d'une manière que les règles standards peinent à décrire proprement. C'est la dynamique dissipative.

Ce document présente une nouvelle « carte » puissante pour naviguer dans ces systèmes désordonnés et perdant de l'énergie, spécifiquement pour des objets qui se déplacent de manières complexes et non standard (mathématiquement appelées « algebroïdes faussement commutatifs » ou skew algebroids). Voici comment les auteurs décomposent cela, en utilisant des analogies simples :

1. L'ancienne carte vs la nouvelle carte (Le trépied de Tulczyjew)

Pendant longtemps, les physiciens ont utilisé un outil géométrique appelé le triple de Tulczyjew pour traduire entre différentes façons de décrire le mouvement (comme passer d'une vue « lagrangienne » à une vue « hamiltonienne »). Considérez ce triple comme un traducteur universel qui vous aide à changer de langue sans perdre le sens de l'histoire.

Cependant, cet ancien traducteur ne fonctionnait bien que pour les systèmes sans friction et conservant l'énergie. Dès que l'on ajoutait de la friction (la dissipation), le traducteur s'embrouillait.

L'innovation du papier : Les auteurs ont construit un nouveau traducteur amélioré, spécifiquement conçu pour les systèmes avec friction. Ils l'appellent un « formalisme de contact de Tulczyjew ».

• La partie « Contact » : Considérez le « contact » non pas comme un toucher, mais comme une sorte de colle géométrique spéciale qui maintient le système ensemble même lorsque l'énergie s'échappe. C'est comme ajouter un « cadran de dissipation » à votre carte.
• La partie « Skew Algebroid » : C'est le terrain. Imaginez un paysage qui n'est pas seulement un plan plat ou une simple colline, mais une surface tordue et complexe où les règles de mouvement sont légèrement différentes en chaque point. Le papier crée une carte qui fonctionne sur ce terrain tordu, même lorsque la friction est présente.

2. L'ingrédient secret : Le « Champ de vecteurs d'Euler »

Comment ont-ils réparé la carte ? Ils ont découvert une astuce simple.

• Dans l'ancienne carte sans friction, il y avait une flèche spécifique (un champ de vecteurs) qui indiquait la voie.
• Dans la nouvelle carte avec friction, ils ont réalisé qu'il suffit d'ajouter une petite poussée supplémentaire à cette flèche.
• Ils appellent cette poussée supplémentaire le « champ de vecteurs d'Euler ».
• L'analogie : Imaginez que vous conduisez une voiture (le système). L'ancienne carte vous disait comment diriger le volant sur une route sèche. La nouvelle carte dit : « D'accord, continuez à diriger de la même façon, mais ajoutez aussi une force de « freinage » constante qui dépend de votre vitesse. » Cette force de freinage est le champ de vecteurs d'Euler. Elle explique exactement d'où vient le « terme de friction » dans les équations, montrant que ce n'était pas un ajout aléatoire, mais une partie naturelle de la géométrie.

3. De le mouvement fluide aux étapes de « correspondance » (La partie discrète)

Le papier examine également comment simuler ces systèmes sur un ordinateur. Les ordinateurs ne voient pas le mouvement fluide ; ils voient une série de petits instantanés figés (des étapes).

• Le problème : Habituellement, pour simuler une étape, on a besoin d'une règle claire qui dit : « Si vous êtes ici, vous serez exactement là l'étape suivante. »
• La solution du papier : Ils proposent qu'au lieu d'une règle stricte (une application ou map), nous devions plutôt penser à une relation (une connexion).
• L'analogie : Imaginez un jeu de « relier les points ».
  • Dans un monde parfait, les points sont reliés par une ligne droite et incassable.
  • Dans ce nouveau monde avec friction, les points sont reliés par une ligne de « peut-être ». La règle est : « La fin de l'étape A doit toucher le début de l'étape B. »
  • C'est ce qu'on appelle une relation. Cela permet de traiter des systèmes où l'on ne peut pas prédire l'étape exacte suivante parce que le système est trop complexe ou « singulier » (brisé). Le papier montre que même si vous ne pouvez pas tracer une seule ligne de A vers B, la règle du « toucher » fonctionne parfaitement pour décrire la physique.

4. Pourquoi cela importe (Sans le jargon)

Les auteurs revendiquent trois points principaux :

1. C'est intrinsèque : Ils n'ont pas seulement inventé une nouvelle équation ; ils ont montré que le « terme de friction » est en fait une caractéristique géométrique fondamentale de l'espace dans lequel le système vit. C'est comme réaliser que le « bas » n'est pas seulement une direction, mais une propriété de la forme de la Terre.
2. Cela gère le désordre : Leur méthode fonctionne même lorsque le système est « singulier » (là où les mathématiques standards s'effondrent). Au lieu d'échouer, les mathématiques deviennent simplement une « relation » plutôt qu'une « fonction ». C'est comme dire : « Nous ne pouvons pas vous dire exactement où se trouve la balle, mais nous pouvons vous dire exactement quels deux points elle doit connecter. »
3. Cela unifie le discret et le continu : Que l'on regarde le flux fluide du temps ou les instantanés étape par étape d'une simulation informatique, ce nouveau cadre traite les deux comme les deux faces d'une même pièce.

Résumé

Considérez ce papier comme la construction d'un GPS universel pour les systèmes perdant de l'énergie sur des terrains étranges.

• Ancien GPS : « Tournez à gauche, puis à droite. » (Fonctionne uniquement sur des routes lisses et sans friction).
• Nouveau GPS : « Tournez à gauche, mais n'oubliez pas de freiner constamment en fonction de votre vitesse, et si la route devient trop cahoteuse, assurez-vous simplement que votre prochain virage se connecte au vôtre actuel. »

Les auteurs ont prouvé que ce nouveau GPS est mathématiquement solide, fonctionne pour les mouvements fluides et saccadés (discrets), et explique exactement pourquoi les termes de friction apparaissent dans les équations. Ils n'ont pas encore appliqué cela à des machines spécifiques du monde réel (comme des freins de voiture ou des bras de robots), mais ils ont fourni le « blueprint » géométrique fondamental que les ingénieurs et les physiciens peuvent désormais utiliser pour construire ces applications.

Résumé technique

Résumé Technique : Géométrie de contact de Tulczyjew pour la dynamique dissipative continue et discrète sur les algebroïdes faussement commutatifs (skew algebroids)

Énoncé du Problème
L'article traite de la formulation géométrique de la dynamique dissipative sur les algebroïdes faussement commutatifs (skew algebroids), une généralisation des algebroïdes de Lie où l'identité de Jacobi pour le crochet n'est pas supposée. Bien que le triple de Tulczyjew classique fournisse un cadre symplectique puissant pour la mécanique conservatrice sur les algebroïdes (encodant la dynamique sous forme de relations implicites plutôt que de champs de vecteurs), un cadre correspondant pour les systèmes dissipatifs (spécifiquement ceux régis par des principes variationnels de type Herglotz) sur les algebroïdes faussement commutatifs généraux faisait défaut. Les approches existantes de la mécanique de contact sur les algebroïdes de Lie reposent souvent sur des structures de Jacobi, des prolongements ou des dérivations variationnelles directes, mais une formulation unifiée de type Tulczyjew, basée sur les relations et intégrant naturellement la structure de l'algebroïde faussement commutatif tout en gérant les cas singuliers sans supposer a priori l'existence de champs de vecteurs, n'avait pas été établie.

Méthodologie
Les auteurs développent une extension de contact du formalisme de Tulczyjew en adaptant l'approche par fibré linéaire à la géométrie de contact. La méthodologie procède par les étapes suivantes :

1. Cadre de Fibré Linéaire : Au lieu de s'appuyer sur une forme de contact globalement choisie, la structure de contact est encodée via un fibré linéaire $L \to E^*$ (ou un fibré principal associé $\mathbb{R}^\times$). Cela permet un traitement intrinsèque où les Lagrangiens et Hamiltoniens de contact sont des représentants locaux d'objets de fibrés linéaires.
2. Morphisme de Tulczyjew de Contact : En partant du morphisme de Tulczyjew standard pour les algebroïdes faussement commutatifs $\varepsilon_E: T^*E \to TE^*$, les auteurs construisent son extension de contact. Ils démontrent que, dans une trivialisation locale, cette extension est obtenue en ajoutant la contribution du champ de vecteurs d'Euler $\Delta_{E^*}$ sur $E^*$ au morphisme ordinaire. Spécifiquement, si $r$ représente l'impulsion de contact verticale, le terme supplémentaire est $r \Delta_{E^*}$.
3. Génération de la Dynamique Implicite : Un objet générateur de contact (représenté localement par une fonction $L: E \times \mathbb{R} \to \mathbb{R}$) définit une différentielle de contact. La composition de celle-ci avec le morphisme de Tulczyjew de contact produit une relation de phase de contact $\Lambda_L$. La dynamique n'est pas définie comme un champ de vecteurs, mais comme la condition que la prolongation tangente de la courbe de Legendre appartienne à cette relation.
4. Contrepartie Discrète : Les auteurs étendent ce cadre à la dynamique discrète. Ils remplacent la condition d'admissibilité continue par une relation d'admissibilité discrète $Ad \subset E \times E$. Un Lagrangien de contact discret $L_d$ génère une relation de Tulczyjew de contact discrète. Les extrémaux de Herglotz discrets sont caractérisés par l'appariement des impulsions de contact consécutives (sortantes d'une étape, entrantes à la suivante) au sein de cette relation.

Contributions Clés et Résultats

• Explication Intrinsèque du Terme de Contact : L'article fournit une explication géométrique intrinsèque du terme de contact local ($p_z p_\alpha$) apparaissant dans les morphismes de Tulczyjew de contact. Il est identifié comme le représentant local de la contribution du champ de vecteurs d'Euler sur $E^*$ découlant de la structure du fibré linéaire, plutôt qu'une modification ad hoc.
• Dérivation des Équations d'Euler–Lagrange–Herglotz : En imposant la condition d'appariement $t(\lambda_L \circ \gamma) = \Lambda_L \circ \gamma$ (où $\lambda_L$ est l'application de Legendre de contact), les auteurs retrouvent les équations d'Euler–Lagrange–Herglotz sur l'algebroïde faussement commutatif. Ils prouvent que ces équations sont équivalentes à la stationnarité de la valeur terminale de l'action de Herglotz sous des variations admissibles.
• Gestion de la Régularité et de la Singularité :
  • Cas Régulier : Si le hessien des fibres est non dégénéré, la relation implicite définit un champ de vecteurs local.
  • Cas Hyperrégulier : Si l'application de Legendre de contact est un difféomorphisme global, le système est équivalent à un système hamiltonien de contact via une transformation de Legendre.
  • Cas Singulier : Le cadre accueille naturellement les Lagrangiens singuliers. Dans ce cas, la dynamique reste une relation différentielle implicite bien définie sur l'espace de phase de contact, évitant ainsi le besoin d'un champ de vecteurs a priori. Cela s'aligne sur la philosophie de Tulczyjew selon laquelle la dynamique est fondamentalement une relation.
• Relations de Tulczyjew de Contact Discrètes : Les auteurs construisent une relation de Tulczyjew de contact discrète $R_{L_d}$ sur $E^* \times \mathbb{R}$. Ils montrent que les extrémaux de Herglotz discrets correspondent à la concaténation d'éléments de cette relation.
  • Dans le cas régulier du fibré tangent ($E=TQ, Ad=Q\times Q$), cela retrouve les intégrateurs variationnels de contact standards.
  • Dans le cadre plus général des algebroïdes faussement commutatifs ou singuliers, la construction produit une relation discrète implicite significative même lorsqu'une application de mise à jour de l'espace de phase ne peut exister.
• Interprétation Conormale : Pour les systèmes contraints (où $Ad$ est une sous-variété propre), la condition d'appariement de l'impulsion est interprétée modulo le fibré conormal, conformément aux constructions de Tulczyjew pour les systèmes contraints.

Signification et Revendications
L'article affirme établir un cadre géométrique unifié, basé sur les relations, pour la mécanique dissipative sur les algebroïdes faussement commutatifs, parallèlement au schéma de Tulczyjew symplectique pour les systèmes conservatifs.

• Unification : Il unifie la dynamique dissipative continue et discrète sous une seule philosophie de Tulczyjew, où l'objet primaire est une relation géométrique plutôt qu'un champ de vecteurs ou une application spécifique.
• Généralité : Le cadre est applicable aux algebroïdes faussement commutatifs (et non seulement aux algebroïdes de Lie) et gère naturellement les systèmes singuliers. Il ne nécessite pas l'existence d'un groupoïde intégrateur, travaillant plutôt avec des relations d'admissibilité locales.
• Clarté Géométrique : En identifiant le terme de contact avec la contribution du champ de vecteurs d'Euler sur $E^*$, l'article clarifie l'origine géométrique de la dynamique de contact dans ce contexte, la distinguant d'une simple réécriture de coordonnées des équations de Herglotz.
• Fondation pour des Travaux Futurs : Les auteurs positionnent ce travail comme une fondation pour de futurs développements, notant spécifiquement qu'il prépare le terrain pour :
  • Les algorithmes de contraintes pour les systèmes d'algebroïdes de contact singuliers.
  • Les extensions covariantes à la théorie classique des champs.
  • Les formulations globales utilisant des groupoïdes de contact.
  • Le contrôle optimal de contact (principe du maximum de Pontryagin) sur les algebroïdes faussement commutatifs.
  • La théorie de Hamilton–Jacobi pour la dynamique de Tulczyjew de contact.

Les auteurs soulignent que leur construction discrète est distincte des intégrateurs préservant Jacobi existants ; plutôt que de se lever vers des systèmes de Poisson homogènes, ils isolent la relation de Tulczyjew derrière les équations de Herglotz discrètes, rendant la construction significative même en l'absence de régularité.