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).

Dernière mise à jour:

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 NN centres diffuseurs identiques, chacun contribuant une amplitude aa, la section efficace effective satisfait σeff=N2 σ1\sigma_{\text{eff}} = N^2\,\sigma_1 dans la direction entièrement cohérente (vers l’avant) et σeff=N σ1\sigma_{\text{eff}} = N\,\sigma_1 lorsque les contributions s’ajoutent de façon incohérente, où σ1∝∣a∣2\sigma_1 \propto |a|^2. Le facteur d’amplification cohérente par rapport au cas incohérent est donc au plus NN.

Démonstration. L’amplitude de diffusion totale est la somme déphasée A(q)=∑j=1Na eiq⋅rjA(\mathbf{q}) = \sum_{j=1}^{N} a\,e^{i\mathbf{q}\cdot\mathbf{r}_j}, où q\mathbf{q} est le transfert de quantité de mouvement et rj\mathbf{r}_j les positions des centres. La section efficace est proportionnelle à ∣A∣2|A|^2 :

∣A(q)∣2=∣a∣2∑j,keiq⋅(rj−rk).(1)|A(\mathbf{q})|^2 = |a|^2 \sum_{j,k} e^{i\mathbf{q}\cdot(\mathbf{r}_j - \mathbf{r}_k)}. \tag{1}

Dans la limite vers l’avant q→0\mathbf{q}\to 0 chaque phase vaut l’unité, la double somme compte N2N^2 termes égaux, et ∣A∣2=N2∣a∣2|A|^2 = N^2|a|^2, d’où σeff=N2σ1\sigma_{\text{eff}} = N^2\sigma_1. 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 NN termes diagonaux, de sorte que ⟨∣A∣2⟩=N∣a∣2\langle|A|^2\rangle = N|a|^2 et σeff=Nσ1\sigma_{\text{eff}} = N\sigma_1. Le rapport des deux est NN, atteint seulement là où les phases s’alignent ; à q\mathbf{q} fini, un facteur de forme F(q)=N−2∑j,keiq⋅(rj−rk)≤1F(\mathbf{q}) = N^{-2}\sum_{j,k} e^{i\mathbf{q}\cdot(\mathbf{r}_j-\mathbf{r}_k)} \le 1 interpole entre les deux. ■\blacksquare

L’amplification est ainsi réelle mais bornée : elle peut relever une section efficace par particule d’un facteur allant jusqu’à NN, et seulement à l’intérieur de la fenêtre de cohérence fixée par F(q)F(\mathbf{q}). C’est le contenu quantitatif qui sous-tend la loi en N2N^2.

Lemme 2 — Aucun courant net à l’équilibre

Énoncé. Un système en équilibre thermique ne produit aucun courant stationnaire dirigé : ⟨J⟩eq=0\langle J\rangle_{\text{eq}} = 0. Par conséquent le rendement de conversion net ηconv\eta_{\text{conv}} s’annule à l’équilibre, et toute sortie non nulle requiert un entraînement hors d’équilibre.

Démonstration. Soit P(x→x′)P(x\to x') le taux de transition entre micro-états. Le bilan détaillé à la température TT exige

P(x→x′) ρeq(x)=P(x′→x) ρeq(x′),(2)P(x\to x')\,\rho_{\text{eq}}(x) = P(x'\to x)\,\rho_{\text{eq}}(x'), \tag{2}

avec ρeq(x)∝e−βE(x)\rho_{\text{eq}}(x)\propto e^{-\beta E(x)}. Le courant stationnaire associé à toute observable antisymétrique ϕ(x,x′)=−ϕ(x′,x)\phi(x,x') = -\phi(x',x) est J=12∑x,x′ϕ(x,x′)[P(x→x′)ρeq(x)−P(x′→x)ρeq(x′)]J = \tfrac12\sum_{x,x'}\phi(x,x')\big[P(x\to x')\rho_{\text{eq}}(x) - P(x'\to x)\rho_{\text{eq}}(x')\big]. Par (2) le crochet est nul terme à terme, donc J=0J=0. 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 TT, ne laissant aucun surplus à rectifier. ■\blacksquare

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 r→−r\mathbf{r}\to-\mathbf{r}, alors le courant dirigé stationnaire s’annule, ⟨J⟩=0\langle\mathbf{J}\rangle = 0. Un courant dirigé non nul requiert donc une symétrie d’inversion brisée.

Démonstration. Soit P\mathcal{P} l’inversion spatiale. Le courant est un vecteur polaire, PJ=−J\mathcal{P}\mathbf{J} = -\mathbf{J}. Si le générateur de la dynamique (hamiltonien plus entraînement, et la distribution stationnaire qu’il induit) commute avec P\mathcal{P}, alors l’espérance est invariante par inversion, ⟨J⟩=⟨PJ⟩=−⟨J⟩\langle\mathbf{J}\rangle = \langle\mathcal{P}\mathbf{J}\rangle = -\langle\mathbf{J}\rangle, d’où ⟨J⟩=0\langle\mathbf{J}\rangle = 0. Un ⟨J⟩\langle\mathbf{J}\rangle non nul n’est possible que si P\mathcal{P} n’est pas une symétrie — le système doit porter une asymétrie structurelle (un rochet). ■\blacksquare

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 P(t)P(t) (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 à NN (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 P(t)P(t) reposent sur des mathématiques établies, les amplitudes empiriques étant laissées à la mesure (mesure et falsifiabilité).

↑