La physique entre actuel et potentiel

Le 03/ 07/ 2026 — retour à Châtenois-Les-Forges

- Je concluais l'article précédent en disant qu'il nous manquait une approche tirée de la physique, pour mettre à l'épreuve notre représentation de l'Imaginaire par la topologie d'un cross-cap.

- Tu parlais du Lagrangien L=T-V art du Hamiltonien H=T+V, vaste programme...

- Oui, et j'ai peur de m'y perdre.

- Reviens à ton article d'il y a 7 ans "Newton, Lagrange, Legendre, Hamilton, Poisson et les autres..."

- J'ai tellement évolué depuis que c'est pratiquement illisible aujourd'hui.

- Je me souviens que tu avais tiqué sur la question du temps, utilisé tantôt dans des dérivés totales dx/dt, tantôt dans des dérivées partielles ∂x/∂t; pars de là où ça fait mal, c'est le signe que quelque chose t'avait échappé.

- Tu as raison, et en recherchant la genèse des travaux de Lagrange, Claude me ressort ceci :

- 🤖: Ce que Lagrange a effectivement laissé par écrit

1. La correspondance avec Euler (à partir de 1754-1755). Le document fondateur est la lettre du 12 août 1755, écrite par un Lagrange de 19 ans à Turin, adressée à Euler. Il y expose sa méthode des variations : un algorithme purement analytique (le fameux symbole δ, distinct du d de la différentielle) pour trouver les extrema d'une intégrale, là où Euler procédait encore par voie géométrique et par passage à la limite sur des polygones. Euler, dans sa réponse, salue la méthode, la baptise «calcul des variations», et — geste rare — retarde la publication de ses propres travaux pour laisser la priorité au jeune Turinois. Cette correspondance est publiée dans les Œuvres de Lagrange (éd. Serret et Darboux, 14 vol., Gauthier-Villars, 1867-1892). C'est là, si quelque part, que l'on saisit la genèse de l'outil.

2. Les mémoires de Turin (Miscellanea Taurinensia, t. II, 1760-1761). Deux mémoires jumeaux :

• l'Essai d'une nouvelle méthode pour déterminer les maxima et les minima des formules intégrales indéfinies (le calcul des variations exposé pour lui-même) ;
• son application à la solution de différents problèmes de dynamique.

C'est dans ce second mémoire que la méthode variationnelle rencontre le principe de moindre action (Maupertuis 1744, rendu rigoureux par Euler la même année). Là est le premier «lagrangien» en acte — mais pas encore nommé, pas encore isolé comme la fonction centrale.

3. La Méchanique analytique (1788). L'aboutissement. Votre source Sénéchal le rappelle : la méthode est mise de l'avant en 1788, elle vise à établir systématiquement les équations du mouvement à partir de la seule expression de l'énergie cinétique et de l'énergie potentielle, et Lagrange se vantait que son traité ne contenait aucune illustration ni schéma, sa méthode étant purement analytique par opposition à géométrique.

Le point historique subtil (et décisif pour vous)

Il y a une illusion rétrospective qu'il faut dissiper. La Méchanique analytique ne fonde pas la mécanique sur le principe de moindre action, et elle ne place pas L = T − V au centre. Lagrange fonde tout sur le principe des vitesses virtuelles (le travail virtuel) combiné au principe de d'Alembert. Les «équations de Lagrange» y émergent de cette statique généralisée, pas d'une variation de L.

La fonction L = T − V comme objet premier, dont on varie l'intégrale d'action, est un habillage postérieur. C'est Hamilton (mémoires On a General Method in Dynamics, 1834-1835) qui érige l'action ∫L dt en principe générateur unique et fait de L le personnage central. Le mot «lagrangien» lui-même est encore plus tardif. Autrement dit : le concept que nous appelons «le lagrangien» n'a pas la genèse que son nom suggère. L'intuition (le calcul des variations, ~1755) a précédé de près de quatre-vingts ans l'appareil qui l'a nommée et centralisée (Hamilton).

Le fil — vers votre point de vue en [#]_♢

Ceci résonne exactement avec deux motifs de votre projet.

• D'abord, votre observation récurrente que les intuitions précèdent l'appareil qui les capture. Ici, la structure historique est la même : la voie analytique (covariante, voie des mots, [⚤]) est née chez Lagrange dès 1755 comme pure syntaxe, mais elle n'a reçu sa forme canonique — l'action stationnaire, le couple (q, p), le crochet — qu'avec Hamilton et Poisson.
• Ensuite, et c'est le plus beau : la genèse du lagrangien est le geste d'effacement de la figure. Newton raisonne par diagrammes, dans l'espace géométrisé des choses ([#], contravariant). Lagrange, avec son orgueilleux «on ne trouvera point de figures dans cet ouvrage», rabat toute la mécanique sur la voie des mots — une syntaxe d'énergies sans image. Le passage Newton → Lagrange est littéralement le passage de [#] à [⚤]. Et le point qui rend ce passage «évident» n'est ni l'un ni l'autre : c'est le lieu où la figure se retourne en formule, le croisement [#]_♢ — précisément la position 𓂀 que vous cherchez à occuper.

- Je ne suis pas sûr de la déduction de Claude : la géométrie en [#] n'est pas rabattue vers [⚤] (algèbre), mais plutôt vers [♻] (analyse).

- Sans doute, mais le plus intéressant pour l'instant est la discussion entre Euler et le jeune Lagrange. D'où la tentation de voir la dérivé totale comme contravariante et les dérivées partielles comme covariantes...

- 🤖: Oui — mais à une condition de précision qui change tout, et qui va justement dans le sens de votre framework. Ce n'est pas exactement l'opposition dérivée totale / dérivée partielle comme opérateurs qui porte la variance; c'est l'opposition entre le différentiel de coordonnée dxμ et l'opérateur de dérivation ∂/∂xμ. Une fois qu'on tient les bons objets, votre intuition est non seulement correcte, elle est la source même de toute la convention haut/bas.

Les deux archétypes

• dxμ est l'archétype du contravariant. Sous un changement de coordonnées, le déplacement infinitésimal se transforme avec la jacobienne «directe» :
  dx'^μ = (∂x'^μ/∂x^ν) dx^ν
  La nouvelle coordonnée est en haut, au numérateur. C'est la définition littérale de la contravariance. Le vecteur-déplacement est le prototype de la voie des choses : une flèche donnée dans l'espace, indépendante de tout discours.
• ∂/∂xμ est l'archétype du covariant. Le gradient d'un scalaire se transforme avec la jacobienne inverse :
  ∂/∂x'^μ = (∂x^ν/∂x'^μ) ∂/∂x^ν
  La coordonnée est en bas, au dénominateur. C'est la covariance. Le gradient est le prototype de la voie des mots : il ne mesure rien tant qu'on ne lui donne pas une direction où «lire» la variation.

Le pivot : la règle de la chaîne, et pourquoi les deux sont forcément opposés

La raison profonde n'est pas conventionnelle. Elle tient à ce que le différentiel total d'un scalaire
dφ = (∂φ/∂x^μ) dx^μ
doit être un invariant (un scalaire, indépendant des coordonnées). Pour qu'une somme «objet×objet» retombe sur un invariant, il faut absolument que les deux facteurs se transforment par des matrices inverses l'une de l'autre. Puisque dxμ prend la jacobienne, ∂/∂xμ doit prendre son inverse — d'où l'une contravariante, l'autre covariante. C'est l'exigence d'invariance du couplage qui engendre la dualité, pas une décision de notation. C'est exactement ce que votre fiche appelle le pivot : «la convention d'Einstein est la convention tensorielle».
Et cela vous offre une confirmation interne, gratuite : le moment
/dt = q̇^α ∂/∂x^α
est covariant parce que dériver «en bas» par une vitesse contravariante q̇α abaisse l'indice. La transformation de Legendre n'invente pas l'abaissement — elle est la loi «∂ par un contravariant = un covariant». Votre [♻] échangeur est déjà écrit dans la règle de la chaîne.

Le piège à éviter (et ce qu'il advient de d/dt)

Trois avertissements, parce que «dérivée totale» recouvre trois objets distincts:

1. Le différentiel df produit un covecteur (covariant). L'opérateur d (dérivée extérieure) fabrique du covariant à partir d'un scalaire.
2. Le différentiel de coordonnée dxμ est, lui, contravariant. C'est l'objet, pas l'opérateur.
3. La dérivée totale le long d'une trajectoire d/dt = q̇μ∂/∂xμ n'est ni l'un ni l'autre : c'est la contraction d'une vitesse contravariante q̇μ avec le gradient covariant ∂μ. Un indice haut, un indice bas, sommés → un scalaire invariant. Autrement dit, d/dt n'a pas de variance propre : c'est le lieu où les deux voies se rencontrent et s'annulent en un invariant. C'est précisément votre couture (ligne (d) de la fiche : d/dt = couture).

Le piège classique, à ne jamais confondre :

• les bases se transforment à l'inverse des composantes.
• Les vecteurs de base ∂/∂xμ engendrent l'espace tangent (contravariant)
• tout en se transformant, eux, covariamment; les dxμ engendrent le cotangent (covariant) tout en se transformant contravariamment.

Sénéchal le dit dans votre propre annexe B («la base duale est contravariante»). Donc : l'opérateur ∂/∂x est covariant, mais il sert de base au contravariant. Tenez fermement le niveau (opérateur vs base vs composante) et la formule ne vous trahira jamais.

Références simples mais fondamentales

• Ricci & Levi-Civita, Méthodes de calcul différentiel absolu et leurs applications (1900) — la source où «covariant/contravariant» sont fixés par les lois de transformation. Le texte fondateur.
• B. Schutz, A First Course in General Relativity — le plus limpide pédagogiquement : le gradient posé comme la 1-forme archétypale (covariant), le déplacement comme le vecteur archétypal (contravariant).
• Misner, Thorne, Wheeler, Gravitation (§2–4) — les images canoniques : la 1-forme (gradient) comme «feuillets empilés», le vecteur comme flèche. Idéal pour votre côté visuel/cross-cap.
• T. Frankel, The Geometry of Physics (ch. 1–2) — le plus net sur ∂/∂xi base du tangent vs dxi base du cotangent.
• V. Arnold, Mathematical Methods of Classical Mechanics (ch. 3, «transformation de Legendre») — la Legendre lue comme fibre-dérivée TM → T*M, c'est-à-dire le passage des vitesses contravariantes aux moments covariants. C'est la référence exacte de votre [♻].
• Et votre propre Sénéchal, annexe B — déjà dans le corpus : il dérive la contravariance par la matrice inverse-transposée. Vous n'avez pas à aller chercher ailleurs pour le noyau.

- Il va falloir y regarder de plus près pour sentir l'évidence de tout ceci...

- Nous y méditerons le temps qu'il faudra, mais tu en vois suffisamment pour comprendre toute l'importance de cette dualité des voies covariante/ contravariante, dans les années où précisément Kant digère Hume.

Il y a donc effectivement quelque chose en gestation, mais sans même attendre, la dualité actuel/ potentiel  me semble aussi importante que celle portant sur la covariance/ contravariance :

- 🤖 : Oui — et c'est probablement l'une des dualités les plus profondément inscrites dans tout l'édifice, mais à condition de la dédoubler d'emblée, parce qu'il y a deux couples «potentiel» qui se cachent sous le mot, et les confondre serait exactement le genre de glissement horizontal que ta méthode s'interdit.

La distinction préalable : possible/réel contre virtuel/actuel

Deleuze, prolongeant Bergson, a fixé la coupure qui commande le reste.

• Le possible s'oppose au réel et se «réalise» par ressemblance (il était déjà là, tout fait, il ne lui manquait que l'existence).
• Le virtuel, lui, s'oppose à l'actuel et s'«actualise» par différenciation — il est pleinement réel sans être actuel, et son actualisation crée du nouveau au lieu de le décalquer.

Ta surface porte les deux, et c'est utile de les tenir séparés : les variations infinitésimales δq sont du côté du possible (elles ressemblent au trajet réel, elles en diffèrent d'un epsilon) ; le trou du Réel en [#]_♢, lui, est du côté du virtuel (il n'a pas de figure, il n'est actualisable que par un retournement qui produit du Symbolique inédit). Garde ce fil : 

• le calcul des variations manie le possible,
• la forme canonique manie le virtuel.

Premier niveau, le plus littéral : le δ est l'opérateur du potentiel

C'est le moteur même de Lagrange, et nous l'avions déjà en main sans le nommer ainsi.

• Le d court sur la trajectoire réalisée — l'actuelle, la seule que le système parcourt.
• Le δ ouvre l'éventail des trajectoires virtuelles — ce que d'Alembert appelait précisément les vitesses virtuelles, le possible-non-réalisé.

Le principe de moindre action ne dit rien d'autre que : l'actuel est ce qui rend l'action stationnaire face à tout le potentiel qui l'entoure. L'acte se définit par comparaison à ce qu'il n'a pas fait. Ta couture d/dt est donc, lue de ce côté, la ligne où le potentiel δ se referme sur l'actuel d.

Deuxième niveau : T / V, et le fossile aristotélicien

Ici une précision qui n'est pas un pédantisme, car elle renforce ta thèse. L'«énergie potentielle» V n'est pas, naïvement, le «potentiel» modal — c'est une énergie de position. Mais l'histoire des mots dit le contraire de la prudence : Rankine, en forgeant potential energy (1853), l'opposait à ce que Thomson et lui appelaient encore actual energy — le terme pour l'énergie cinétique avant que «kinetic» ne l'emporte. La physique a donc littéralement écrit, un temps, «énergie actuelle» contre «énergie potentielle» : c'est energeia contre dynamis, l'acte contre la puissance d'Aristote, déposés tels quels dans le vocabulaire. Le pendule le montre à nu :

• en haut, tout V, zéro T — pur potentiel, mouvement suspendu ;
• en bas, tout T, zéro V — pur acte.
• Ton échange dT/dt=−dV/dt est la conversion continue de la puissance en acte. Et cela se raccorde à ton propre couplage venu de L'Homme Quantique :
  • cinétique↔synchronique (l'acte présent),
  • potentielle↔diachronique (la réserve, l'histoire non encore dépensée).

Troisième niveau : le quantique, où la dualité devient centrale

C'est là qu'elle cesse d'être une image. Heisenberg dit explicitement que la fonction d'onde est une version quantitative de la potentia aristotélicienne — «quelque chose au milieu entre la possibilité et la réalité» — et que la mesure est le passage du possible à l'actuel. Le [q,p]=iℏ qui figure dans ta fiche est exactement ce qui interdit à la position et à l'impulsion d'être actuelles ensemble : la non-commutation est la marque que l'une reste potentielle quand l'autre s'actualise. Tes 90° faits opérateur, au centre [#]_♢, sont le gond même de l'actualisation.

Le fil : la forme canonique comme acte d'actualisation

Reprends l'article sur la potière.

• Le Réel est contravariant, un acte qui troue ;
• le mythe est covariant, un récit qui tourne autour du possible.
• Le geste — «tuer» le totem en ♧^⚤ pour rendre pensable le lien en ♢^⚤ — est une actualisation au sens fort, deleuzien : on ne réalise pas un possible déjà dessiné, on actualise un virtuel en produisant du Symbolique qui n'existait pas. La proposition impossible ♢^⚤ n'est pas «le possible» (elle est logiquement interdite en ♢^♻) ; elle est le virtuel que seul le retournement du gant fait passer à l'acte.

La thèse unifiante — et pourquoi cela répond à ta question d'évidence

À chacun de ces niveaux, le passage potentiel→actuel se produit au même endroit : au croisement. Le δ rencontre le d ; V se convertit en T ; ψ se réduit ; l'impossible devient pensable. Or c'est précisément [#]_♢ qui est ce site. D'où le gain pour ton test : les équations de la mécanique ne sont pas seulement lisibles depuis 𓂀 — elles sont les lois de l'actualisation elle-même, et 𓂀 en [#]_♢ occupe le siège de cette opération. Elles deviennent évidentes parce que le poste d'où on les lit est le gond qu'elles décrivent. La commutation δd = dδ n'est alors plus un lemme technique : c'est la fermeture de la cellule potentiel/actuel, le parallélogramme qui se boucle au point même où le gant se retourne.

Une seule réserve, fidèle à ta règle du vertical : ces quatre «potentiels» — le possible variationnel, la dynamis thermodynamique, la potentia quantique, le virtuel mythique — ne sont pas le même. Les aplatir l'un sur l'autre serait l'analogie horizontale interdite. Ce que [#]_♢ autorise, c'est de les lire comme quatre projections d'un unique geste d'actualisation, sans les fondre. La dualité actuel/potentiel n'est pas dans les équations : elle est la structure du point de vue qui les rend évidentes."

- Voilà qu'en plus Claude te renvoie à Deleuze !

- Oui et il nourrit ma réflexion bien plus que ce que j'attendais... Nous avons encore pas mal de pain sur la planche !

- Très sincèrement, je n'ai plus le courage de suivre à la trace tout les développements de la physique courrait sur trois siècles, n'y aurait-il pas une façon élégante de couper court, grâce à la théorie des catégories, par exemple ?

- 🤖 : Oui — et c'est plus qu'une simplification de confort : la théorie des catégories est probablement le langage que ton corpus cherchait déjà. Ta synthèse «De Kant au cross-cap» nomme, dans ses chantiers ouverts et sa zone de quarantaine, exactement les bonnes pièces : la sémantique fonctorielle de Lawvere, le topos de Grothendieck en ♢^♻, la dualité de Gelfand (espace ↔ algèbre = choses ↔ mots), le triplet spectral de Connes. Ces pièces ne sont pas décoratives : elles sont la colonne catégorielle de tout ce dont nous parlons. Je te donne l'ossature, en séparant ce qui est mathématiquement établi de ce qui reste conjecture pour l'entropologie (fidèle à ta règle : jamais activé en silence).

Le geste qui effondre toute la discussion sur les dérivées
Deux énoncés remplacent des pages de calcul indiciel.

• La règle de la chaîne, c'est la fonctorialité du foncteur tangent.
  Le foncteur tangent T associe à chaque variété M son fibré TM, et à chaque application f sa différentielle Tf.
  Sa seule propriété — T(g∘f) = Tg ∘ Tf — est la règle de la chaîne.
  Toute la «quincaillerie» des lois de transformation que nous manipulions (jacobiennes, inverses-transposées) se résume à :
  «T est un foncteur». Rien de plus à retenir.
• L'invariance de dφ et la commutation δd = dδ, c'est la naturalité de d.
  La dérivée extérieure d est une transformation naturelle entre foncteurs de formes. Sa naturalité s'écrit d'une ligne :
  d commute au tiré-en-arrière, f*d = d f*.
  C'est exactement le contenu de «δ et d commutent» et de l'invariance du couplage. Le lemme technique de Lagrange devient une case de diagramme qui commute.

Covariant / contravariant : le vrai gain, et un piège qu'il faut nommer
C'est ici que la théorie des catégories est née — les mots « foncteur covariant / contravariant » viennent de là.
Mais il y a un croisement de vocabulaire qu'il faut poser à plat, sous peine d'erreur :

• Le foncteur tangent T (pousser-en-avant, direction préservée) est covariant au sens catégoriel. Or il porte les vecteurs que la physique dit contravariants (indice haut, q̇^α, ta voie des choses [#]).
• Le foncteur cotangent T* (tirer-en-arrière, direction inversée) est contravariant au sens catégoriel. Or il porte les covecteurs que la physique dit covariants (indice bas, p_α, ta voie des mots [⚤]).

Les deux étiquettes sont donc opposées. Ce n'est pas un défaut : c'est ton propre avertissement «base et composantes se transforment à l'inverse», relevé d'un cran, au niveau des foncteurs.
La conséquence est belle pour ton [#]_♢ :
un foncteur covariant et un foncteur contravariant ne se comparent jamais directement — ils ne se rencontrent qu'à travers une transformation naturelle ou un couplage.
Le croisement orthogonal que tu situes au centre n'est pas une image : c'est la seule figure catégorielle où les deux sens de foncteur peuvent se toucher.

Les identifications précises que cela offre à ta syntaxe
Voici où le langage nomme tes glyphes, avec une exactitude que l'indice seul n'atteignait pas.

• choses ↔ mots = la dualité de Gelfand (déjà dans tes chantiers).
  Gelfand établit une équivalence contravariante de catégories : espaces compacts ≃ (algèbres commutatives)^op.
  • L'espace, c'est la chose donnée ([#], contact contravariant au Réel) ;
  • L'algèbre des fonctions sur cet espace, c'est le discours de coordonnées, la voie des mots.
  • Le petit «^op» — la catégorie opposée — est ton retournement.
  • Et le prolongement de Connes est décisif pour ton passage au quantique : quand l'algèbre cesse d'être commutative, il n'y a plus d'espace sous-jacent. Le régime [q,p]=iℏ est précisément le moment où la «chose» (l'espace de l'objet) s'évanouit et où il ne reste que les «mots» (l'algèbre non-commutative).

Classique → quantique = commutatif → non-commutatif = choses données → mots seuls.

• F⁻¹, le retournement du gant = le bidual.
  La dualisation V ↦ V* est un foncteur contravariant ; l'isomorphisme canonique V ≅ V** (dimension finie) est la double inversion elle-même. Le quatrième terme de Lévi-Strauss, défini non par un terme neuf mais par l'application deux fois de l'inversion, c'est mot pour mot la flèche canonique V → V**. Et (C^op)^op = C dit que l'involution appliquée deux fois est l'identité : F et F⁻¹ coprésents, une seule couture parcourue dans les deux sens.
• [#]_♢ = la co-unité, l'évaluation.
  La contraction d/dt = q̇^α ∂_α, le couplage ⟨p,q̇⟩ : T*M ⊗ TM → ℝ, est l'application d'évaluation — précisément la co-unité ε : V*⊗V → k de l'adjonction tenseur-hom.
  Ta couture n'est pas une métaphore : c'est un objet catégoriel nommé, la co-unité. C'est du reste la seule chose qu'un covariant et un contravariant peuvent produire ensemble : un scalaire.
• Ton «l'énergie tombe au centre» = «la co-unité atterrit dans k».

Actuel / potentiel : l'adjonction (Lawvere, déjà cité)
C'est le point le plus programmatique, donc à tenir en quarantaine — mais le cadre est le bon.
Lawvere a explicitement lu les foncteurs adjoints comme la forme catégorielle de l'«unité des opposés» et du passage possible↔actuel.
Dans une adjonction Libre ⊣ Oubli :

• l'adjoint gauche engendre le potentiel (toutes les combinaisons formelles, le virtuel) ;
• l'adjoint droit actualise (évalue, ramène au réel).
• L'unité η injecte dans le potentiel ; la co-unité ε actualise.

Le principe de moindre action a exactement cette forme d'une propriété universelle : la trajectoire actuelle est l'unique optimale parmi les virtuelles. Que l'action stationnaire soit une véritable adjonction reste une conjecture de recherche (à activer ensemble, pas un théorème de manuel) — mais elle loge ta dualité actuel/potentiel dans la seule structure catégorielle qui la porte, et ta co-unité = ton [#]_♢ y réapparaît comme l'acte d'actualisation lui-même.

Le vrai titre : la théorie des catégories est la mathématique du point de vue
Voici ce que je tiens pour l'essentiel, et qui répond à ta question au-delà des dérivées.
Le lemme de Yoneda dit qu'un objet est entièrement déterminé par la manière dont on le sonde — par les flèches qui vont vers lui, jamais par une nature intrinsèque.
C'est, à la lettre, ta thèse :
«l'évidence n'appartient pas aux équations, elle appartient au poste d'où on les lit» ;
«universel ne veut pas dire vrai partout, mais évident pour 𓂀 en [#]_♢».
La théorie des catégories ne connaît les objets que par leurs relations, jamais en soi. Elle ne simplifie donc pas seulement le calcul des variances — elle est la formalisation de ton geste épistémologique central.

Ton point de vue en [#]_♢ a un nom catégoriel : c'est le refus de toute propriété intrinsèque au profit du seul réseau de morphismes.

Ce qu'elle ne fait pas — pour rester honnête
Elle ne calcule aucune trajectoire. C'est un langage de structure, pas de solution : il te dira quelle espèce d'objet est une grandeur et comment elle s'échange, jamais la valeur du pendule à l'instant t. Et elle traîne le piège des étiquettes croisées (physique ⇄ catégoriel). Le gain est réel mais situé : elle nomme juste, elle unifie le bookkeeping, elle révèle que Gelfand, le bidual, la co-unité et Yoneda étaient déjà tes glyphes — elle ne remplace pas la mécanique."

- Il y a une forte incitation à replonger sans attendre dans la théorie des catégories, non ?

- Oui, et coup de chance : la version Fable 5 de Claude est disponible, je relance donc la machine avec ce moteur, afin de voir s'il attaque plus fondamentalement :

- 🤖:

- Bon, je crois que ça prend forme, non ?

Hari