Valeur moyenne (quantique)

en mécanique quantique, valeur moyenne prédite pour le résultat d'une expérience

En mécanique quantique, la valeur moyenne, ou espérance quantique, est la valeur moyenne prédite pour le résultat d'une expérience. C'est un concept fondamental pour tous les domaines de la physique quantique.

Définition opératoire

modifier

La physique quantique présente un comportement statistique fondamental : le résultat d'une mesure expérimentale ne sera pas, en général, le même si l'expérience est répétée plusieurs fois. Ce n'est que la moyenne statistique des valeurs mesurées dans un grand nombre de répétitions de l'expérience qui est une quantité reproductible. La théorie quantique ne prédit pas le résultat de mesures individuelles, mais seulement leur moyenne statistique. Cette moyenne prédite est appelée valeur moyenne, ou parfois espérance quantique.

Alors que le calcul de la valeur moyenne de résultats expérimentaux est exactement la même qu'en statistique classique, sa représentation mathématique dans le formalisme de la théorie quantique est profondément différente du concept classique de mesure.

Formalisme de la mécanique quantique

modifier

En théorie quantique, un dispositif expérimental est décrit par l'observable   à mesurer, et l'état   du système. La valeur moyenne de   dans l'état   est notée  

Mathématiquement,   est un opérateur hermitien sur un espace de Hilbert. Le plus souvent, en mécanique quantique,   est un état pur, décrit par un vecteur normalisé   [1] de l'espace de Hilbert. La valeur moyenne de   dans l'état   est définie comme

(1)       .

Si l'on prend en compte la dynamique, on fait dépendre du temps soit le vecteur   soit l'opérateur   selon que l'on utilise la représentation de Schrödinger ou celle de Heisenberg. Mais la dépendance en temps de la valeur moyenne ne dépend pas de ce choix.

Si   possède un système complet de vecteurs propres  , avec des valeurs propres  , on peut reformuler (1) en :

(2)       .

Cette expression ressemble à la moyenne arithmétique, et illustre la signification physique du formalisme mathématique : les valeurs propres   sont les résultats possibles de l'expérience[2], et les coefficients qui les affectent   sont les probabilités de survenue de ces résultats ; on les appelle souvent probabilités de transition de   vers  .

Un cas particulièrement simple est celui où   est un projecteur, dont les valeurs propres ne sont que 0 et 1. Ceci correspond physiquement à une expérience par oui ou non, et, comme  , son résultat peut être calculé comme

(3)       .

En théorie quantique, on utilise aussi des opérateurs dont le spectre n'est pas discret, comme l'opérateur de position   en mécanique quantique. Cet opérateur ne possède pas de valeurs propres, mais a un spectre complètement continu. Dans ce cas, le vecteur   peut être écrit comme une fonction à valeurs complexes   sur le spectre de   (habituellement l'axe des nombres réels). La valeur moyenne de l'opérateur de position s'écrit alors

(4)       .

Une formule semblable est valable pour l'opérateur de moment  , dans les systèmes où il a un spectre continu.

Toutes les formules ci-dessus ne sont valables que pour des états purs  . Tout particulièrement en thermodynamique, les états mixtes, sont importants ; on les décrit par un opérateur à trace positif   que l'on appelle opérateur statistique ou matrice densité. On peut alors obtenir la valeur moyenne sous la forme

(5)       .

Formulation générale

modifier

En général, les états quantiques   sont décrits par des fonctionnelles linéaires positives et normalisées sur l'ensemble des observables, décrite mathématiquement souvent comme une C*-algèbre. La valeur moyenne d'une observable   est alors donnée par

(6)       .

Si l'algèbre des observables agit de façon irréductible sur un espace de Hilbert, et si   est une fonctionnelle normale, c'est-à-dire continue dans la topologie ultrafaible

 

avec un opérateur positif de classe trace   de trace 1, alors ceci donne la formule (5) ci-dessus. Dans le cas d'un état pur,   est un projecteur sur le vecteur unitaire  . Alors  , ce qui donne la formule (1) ci-dessus.

  est censé être un opérateur hermitien. Dans le cas général, son spectre ne sera ni complètement discret ni complètement continu. Mais on peut tout de même écrire pour   une décomposition spectrale

 

avec une mesure à valeur de projecteur  . Pour la valeur moyenne de   dans un état pur  

 ,

que l'on peut considérer comme une généralisation commune des formules (2) et (4) ci-dessus.

En théorie non-relativiste d'un grand nombre fini de particules, (mécanique quantique stricto sensu), les états considérés sont en général normaux. Mais dans d'autres domaines de la théorie quantique, on utilise aussi des états non-normaux : ils apparaissent par exemple, sous la forme d'états KMS en mécanique statistique quantique des milieux infinis[3], et comme des états chargés en théorie quantique des champs[4]. Dans ces cas, la valeur moyenne n'est déterminée que par la formule plus générale (6).

Exemple dans l'espace de configuration

modifier

Par exemple, considérons une particule quantique dans un espace à 1 dimension, dans la représentation de l'espace de configuration. Ici, l'espace de Hilbert est  , l'espace des fonctions de carré sommable sur l'axe réel. Les vecteurs   sont représentés par des fonctions  , que l'on appelle « fonctions d'onde ». Le produit scalaire est donné par  . Les fonctions d'onde ont une interprétation directe en termes de distributions de probabilité :

 

donne la probabilité de trouver la particule dans un intervalle infinitésimal de longueur   autour du point  .

Considérons comme observable l'opérateur de position  , qui agit sur les fonctions d'onde   par

 .

L'espérance quantique, ou valeur moyenne, de   sur un grand nombre de systèmes indépendants identiques est donnée par

 .

On notera que la valeur moyenne ne converge que si l'intégrale converge, ce qui n'est pas le cas pour tous les vecteurs  . Ceci est dû au fait que l'opérateur de position est non borné, et il faut choisir   dans son domaine de définition.

En général, la valeur moyenne de toute observable peut être calculée en remplaçant   par l'opérateur convenable. Par exemple, pour calculer le moment moyen, on utilise la représentation de l'opérateur moment dans l'espace de configuration,  . Explicitement, cette valeur moyenne est donc

 .

Tous les opérateurs ne possèdent pas en général une valeur moyenne. Un opérateur qui a une valeur moyenne réelle est appelé une observable, et sa valeur peut être directement mesurée expérimentalement.

Articles connexes

modifier

Voir aussi

modifier

La valeur moyenne, en particulier, l'aspect présenté dans la section « Formalisme de la mécanique quantique », est présenté dans la plupart des manuels élémentaires sur la mécanique quantique[5].

Pour une discussion des aspects conceptuels, voir par exemple[6].

Notes et références

modifier
  1. Cet article suppose toujours que   est de norme 1. Pour les vecteurs non normalisés,   doit être remplacé par   dans toutes les formules.
  2. On suppose ici que les valeurs propres ne sont pas dégénérées.
  3. (en) Ola Bratteli et Derek W. Robinson,Operator Algebras and Quantum Statistical Mechanics 1, 2e éd., Springer, 1987 (ISBN 978-3540170938)
  4. (en) Rudolf Haag, Local Quantum Physics, Springer, 1996 (ISBN 3-540-61451-6), Chap. IV
  5. Voir par exemple Albert Messiah, Mécanique Quantique, T. 1, Dunod, coll. « Les cours de référence », Paris, 1995, 2e éd. ou
    C. Cohen-Tannoudji, B. Diu, F. Laloë, Mécanique quantique, T. 1, Hermann, coll. « Enseignement des Sciences », Paris, 1973, (ISBN 2 7056 6074 7)
  6. (en) Chris J. Isham, Lectures on Quantum Theory : Mathematical and Structural Foundations, Imperial College Press, 1995, (ISBN 978-1860940019)
  NODES
Note 3
Project 3