J'ai récemment publié un article important, Quelques cas particuliers des conjectures de Khintchine en mécanique statistique: ergodicité approximative de la fonction d'autocorrélation d'un assemblage d'oscillateurs à couplage linéaire. REVISTA INVESTIGACIÓN OPERACIONAL VOL. 33, NO. 3, 99-113, 2012 http://rev-inv-ope.univ-paris1.fr/files/33212/33212-01.pdf qui fait avancer l'état des connaissances sur la réponse à cette question.
En un mot: il faut justifier la conclusion de l'hypothèse ergodique, sans faire l'hypothèse ergodique elle-même. L’opportunité de le faire a été réalisée pendant longtemps, mais les progrès espiègles ont été lents. Terminologie: l ' hypothèse érdodique est que chaque chemin traverse (ou au moins près de) chaque point. Cette hypothèse n'est presque jamais vraie. La conclusion de l'hypothèse ergodique : presque toujours, les moyennes temporelles infinies d'une observable sur une trajectoire sont (au moins approximativement) égales à la moyenne de cette observable sur l'ensemble. (Même si l'hypothèse ergodique tient bon, la conclusion ne suit pas. Désolé, mais cette terminologie est devenue standard, traditionnelle, orthodoxe, et il est trop tard pour la changer.) Le théorème ergodique : sauf s'il sont des sous-espaces invariants distincts non triviaux, alors les conclusions de l'hypothèse ergodique sont valables.
Darwin ( http://www-gap.dcs.st-and.ac.uk/history/Obits2/Darwin_C_G_RAS_Obituary.html) et Fowler ( http: // www- history.mcs.st-andrews.ac.uk/Biographies/Fowler.html), d'importants physiciens mathématiques (Fowler était l'élève de Darwin et Dirac était de Fowler), ont trouvé la justification fondamentale correcte de Stat Mech dans les années 1920, et a montré qu'il était d'accord avec l'expérience dans tous les cas habituellement examinés jusqu'à cette époque, ainsi que pour les réactions stellaires. Khintchine, le grand mathématicien soviétique, a retravaillé les détails de leurs preuves (L'introduction de son petit livre sur le sujet a été publiée sur le Web à http://www-history.mcs.st-andrews.ac .uk / Extras / Khinchin_introduction.html), les a rendus accessibles à un public plus large, et a été beaucoup étudié par les mathématiciens et les philosophes des sciences intéressés par les fondements de la mécanique statistique ou, en fait, par toute inférence scientifique (voir, pour un exemple, http://igitur-archive.library.uu.nl/dissertations/1957294/c7.pdf et, pour un autre exemple, Jan von Plato Théorie ergodique et fondements de Probabilité , dans B. Skyrms et WL Harper, eds, Causation, Chance and Credence. Actes de la Conférence d'Irvine sur la probabilité et la causalité, vol. 1 , pp. 257-277, Kluwer , Dordrecht 1988). Les travaux de Khintchine allaient plus loin, et dans certaines conjectures, il espérait que tout système dynamique avec un nombre de degrés de liberté suffisamment grand aurait la propriété que les observables physiquement intéressants satisferaient approximativement aux conclusions du théorème ergodique même si le système dynamique ne satisfait même pas approximativement les hypothèses du théorème ergodique. Son arrestation, il est mort en prison, a interrompu l'éventuelle formation d'une école pour mener à bien son programme de recherche, mais Ruelle et Lanford III ont fait quelques progrès.
Dans mon article j'ai pu prouver les conjectures de Khintchine
pour pratiquement tous les systèmes dynamiques classiques linéaires. Pour la mécanique quantique, la situation est bien plus controversée. Néanmoins, Fowler a en fait basé ses théorèmes sur la mécanique statistique classique sur la théorie quantique, bien que Khintchine ait fait l'inverse: d'abord en prouvant le cas classique, puis en essayant, sans succès, de traiter les modifications nécessaires à la QM. À mon avis, le cas quantique n'introduit rien de nouveau.
Pourquoi la mesure est modélisée par une moyenne temporelle infinie en mécanique statistique
C'est le point d'appui pour le théorème ergodique ou ses substituts.
Masani, P., et N. Wiener, "Non-linearPrediction", dans Probability and Statistics, The Harald Cramer Volume , éd. U. Grenander, Stockholm, 1959, p. 197: «Comme l'indique von Neumann ... en mesurant une quantité macroscopique $ x $ associée à un mécanisme physique ou biologique ... chaque lecture de $ x $ est en fait la moyenne sur un intervalle de temps $ T $ [qui] peut semblent courts d'un point de vue macroscopique, mais ils sont larges au microscope. Que la limite $ \ overline x $, comme $ T \ rightarrow \ infty $, d'une telle moyenne existe, et dans les cas ergodiques est indépendante de l'état microscopique, est le contenu du paramètre continu $ L_2 $ -ErgodicTheorem. L'erreur en pratique de ne pas prendre la limite doit naturellement être interprétée comme une dispersion statistique centrée sur $ \ overline x $. »Cf. également Khintchine, A., op. cit. , p. 44f., «Une observation qui donne la mesure d'une quantité physique n'est pas effectuée instantanément, mais nécessite un certain intervalle de temps qui, si petit qu'il nous paraisse, serait, en règle générale, très grand du point de vue d'un observateur qui regarde l'évolution de notre système physique. [...] Nous devrons donc comparer les données expérimentales ... avec des moyennes de temps prises sur de très grands intervalles de temps. » Et
pas la valeur instantanée ou l'état instantané. Wiener, cité dans Heims, op. cit. , p. 138f., «Chaque observation ... prend un temps fini, introduisant ainsi l'incertitude.»
Benatti, F. Chaos déterministe dans des systèmes quantiques infinis , Berlin, 1993, Trieste Notes en physique , p. 3, «Les temps caractéristiques des processus de mesure sur les macrosystèmes étant bien plus longs que ceux gouvernant les micromènes sous-jacents, il est raisonnable de penser aux résultats d'une procédure de mesure comme des moyennes de temps évaluées le long de trajectoires de phase correspondant à des conditions initiales données.» Et Pauli, W., Pauli Lectures on Physics, volume 4, StatisticalMechanics , Cambridge, Mass., 1973, p. 28f., «Ce qui est observé macroscopiquement sont des moyennes de temps ...»
Wiener, «Logique, Probabiliteet Methode des Sciences Physiques», «Toutes les lois de probabilite connuesessont de caractere asymptotique ... les considérations asymptotiques n 'ontd'autre but dans la Science que de permettre de connaître les proprietes desensembles tres nombreux en evitant de voir ces proprietes s'evanouir dans laconfusion resultant de las specificite de leur infinitude. L'infini permet de considérer des nombres tres grands sans avoir à tenir compte du fait que ce sont des entites distinctes. »
Pourquoi nous devons remplacer les moyennes d'ensemble par des moyennes de phase, ce qui peut être accompli en de différentes manières, la manière traditionnelle est d'utiliser l'hypothèse ergodique.
Ces citations expriment l'approche orthodoxe de Classical Stat Mech. Le système mécanique classique est dans un état particulier, et une mesure d'une propriété de cet état est modélisée par une moyenne à long terme sur la trajectoire du système. Nous approchons cela en prenant la moyenne temporelle infinie. Notre théorie, cependant, ne peut pas calculer cela, de toute façon nous ne connaissons même pas les conditions initiales du système donc nous ne savons pas quelle trajectoire ... ce que notre théorie calcule est la moyenne de phase ou la moyenne d'ensemble. Si nous ne pouvons pas justifier une sorte d'égalité approximative de la moyenne d'ensemble avec la moyenne temporelle, nous ne pouvons expliquer pourquoi les quantités calculées par notre théorie sont en accord avec les quantités que nous mesurons .
Certaines personnes , bien sûr, ne se soucient pas. Cela doit être anti-fondateur.