reference
Annexe mathématique
Trois résultats formels qui sous-tendent le cadre : la borne sur l'amplification cohérente, l'annulation du courant net à l'équilibre via le bilan détaillé, et la condition de symétrie pour une sortie dirigée (principe de Curie).
Cette annexe énonce et démontre trois résultats sur lesquels le reste de la référence s’appuie de façon informelle. Chacun est élémentaire et standard ; les rassembler ici, avec des démonstrations explicites, rend les affirmations porteuses du cadre vérifiables plutôt que simplement asserties. Ils correspondent aux trois mécanismes développés de façon narrative dans les analyses approfondies : l’amplification cohérente, l’interdiction à l’équilibre, et la rectification.
Lemme 1 — L’amplification cohérente est bornée par N
Énoncé. Pour centres diffuseurs identiques, chacun contribuant une amplitude , la section efficace effective satisfait dans la direction entièrement cohérente (vers l’avant) et lorsque les contributions s’ajoutent de façon incohérente, où . Le facteur d’amplification cohérente par rapport au cas incohérent est donc au plus .
Démonstration. L’amplitude de diffusion totale est la somme déphasée , où est le transfert de quantité de mouvement et les positions des centres. La section efficace est proportionnelle à :
Dans la limite vers l’avant chaque phase vaut l’unité, la double somme compte termes égaux, et , d’où . Si au contraire les phases sont aléatoires et non corrélées, les termes hors diagonale se moyennent à zéro, ne laissant que les termes diagonaux, de sorte que et . Le rapport des deux est , atteint seulement là où les phases s’alignent ; à fini, un facteur de forme interpole entre les deux.
L’amplification est ainsi réelle mais bornée : elle peut relever une section efficace par particule d’un facteur allant jusqu’à , et seulement à l’intérieur de la fenêtre de cohérence fixée par . C’est le contenu quantitatif qui sous-tend la loi en .
Lemme 2 — Aucun courant net à l’équilibre
Énoncé. Un système en équilibre thermique ne produit aucun courant stationnaire dirigé : . Par conséquent le rendement de conversion net s’annule à l’équilibre, et toute sortie non nulle requiert un entraînement hors d’équilibre.
Démonstration. Soit le taux de transition entre micro-états. Le bilan détaillé à la température exige
avec . Le courant stationnaire associé à toute observable antisymétrique est . Par (2) le crochet est nul terme à terme, donc . De façon équivalente, le théorème de fluctuation–dissipation fixe le spectre de fluctuation à l’équilibre à la réponse dissipative à la même , ne laissant aucun surplus à rectifier.
C’est le sens précis dans lequel le cadre ne décrit pas une machine à mouvement perpétuel : à l’équilibre il renvoie exactement zéro, et il n’est défini que pour les systèmes ouverts maintenus hors d’équilibre (systèmes thermodynamiques ouverts).
Lemme 3 — Une sortie dirigée requiert une symétrie brisée
Énoncé (principe de Curie). Si la dynamique et l’entraînement d’un système sont invariants sous l’inversion spatiale , alors le courant dirigé stationnaire s’annule, . Un courant dirigé non nul requiert donc une symétrie d’inversion brisée.
Démonstration. Soit l’inversion spatiale. Le courant est un vecteur polaire, . Si le générateur de la dynamique (hamiltonien plus entraînement, et la distribution stationnaire qu’il induit) commute avec , alors l’espérance est invariante par inversion, , d’où . Un non nul n’est possible que si n’est pas une symétrie — le système doit porter une asymétrie structurelle (un rochet).
Avec le lemme 2, cela donne les deux conditions nécessaires à une sortie dirigée : une symétrie spatiale brisée (lemme 3) et un entraînement hors d’équilibre (lemme 2). Aucune seule ne suffit — un rochet à l’équilibre ne donne toujours rien — et cette paire est exactement ce que présuppose le facteur de rectification dans (rectification stochastique).
Ce que l’annexe garantit
Les trois lemmes constituent l’ossature mathématique de l’histoire physique du cadre : l’amplification est réelle mais plafonnée à (lemme 1) ; l’équilibre ne donne rien, donc aucune loi thermodynamique n’est violée (lemme 2) ; et toute sortie dirigée nette exige à la fois une asymétrie structurelle et un entraînement hors d’équilibre (lemme 3). Aucun de ces résultats n’est une physique nouvelle — ce sont des résultats standard de la théorie de la diffusion, de la mécanique statistique et de l’analyse de symétrie — et c’est précisément le propos : les étapes porteuses de reposent sur des mathématiques établies, les amplitudes empiriques étant laissées à la mesure (mesure et falsifiabilité).