Espace de Fock

Un article de Wikipédia, l'encyclopédie libre.
Cet article a une forme trop académique.
La forme ressemble trop à un extrait de cours et nécessite d'être réécrit afin de correspondre aux standards de l'encyclopédie. N'hésitez pas à l'améliorer.


L’espace de Fock est un espace de Hilbert utilisé en physique quantique pour décrire les états quantiques avec un nombre variable ou inconnu de particules.

L’espace de Fock se définit comme l’espace de Hilbert obtenu par la somme directe des produits tensoriels des espaces de Hilbert pour une particule.

F_\nu \left(H\right) = \bigoplus_{n=0}^\infty S_\nu H^{\bigotimes n}

où :

  • F_\nu \left(H\right) est l'espace de Fock.
  • Sν est l’opérateur qui symétrise ou antisymétrise l’espace selon que l’espace de Fock décrit des particules obéissant aux statistiques de Bose-Einstein (bosons, ν = + ) ou de Fermi-Dirac (fermions, ν = − ).
  • H est l’espace de Hilbert pour une particule. Il décrit les états quantiques pour une seule particule et pour décrire les états quantiques de systèmes avec n particules, ou des superpositions de tels états, il faut utiliser un espace de Hilbert plus large, l’espace de Fock, qui contient des états avec un nombre non limité et variable de particules. Les états de Fock sont la base naturelle de cet espace. (voir aussi Déterminant de Slater)

[modifier] Exemple

Un exemple d’état de l’espace de Fock est

\left|\Psi\right\rangle_\nu = \left|\phi_1,\phi_2,...,\phi_n\right\rangle_nu

qui décrit n particules, une avec la fonction d'onde φ1, la deuxième avec φ2 et ainsi de suite et où φi est une fonction d’onde quelconque de l’espace de Hilbert H à une particule. Quand nous parlons d'une particule dans l’état φi, il faut garder à l’esprit qu’en mécanique quantique les particules identiques sont indiscernables et, dans un même espace de Fock, toutes les particules sont identiques (pour décrire plusieurs types de particules, il faut effectuer le produit tensoriel de plusieurs espaces de Fock différents). Une des propriétés les plus puissantes de ce formalisme est que les états sont intrinsèquement symétrisés correctement. Par exemple, si l’état ci-dessus \left|\Psi\right\rangle_- est fermionique, il sera nul si deux (ou plus) des φi sont égaux car selon le principe d’exclusion de Pauli deux fermions (ou plus) ne peuvent pas être dans le même état quantique. De même, les états sont correctement normalisés, par construction.

Une base utile et pratique pour cet espace est la base du nombre de particules. Si \left|\psi_i\right\rangle est une base de H, alors nous pouvons noter l’état avec n0 particules dans l’état \left|\psi_0\right\rangle, n1 particules dans l’état \left|\psi_1\right\rangle,..., nk particules dans l’état \left|\psi_k\right\rangle comme

\left|n_0,n_1,...,n_k\right\rangle_\nu

avec, bien sûr, si ν = − , chaque ni prenant seulement les valeurs 0 ou 1 (autrement l’état est nul).

Un tel état est appelé un état de Fock. Puisque les \left|\psi_i\right\rangle sont des états stationnaires des champs libres, c’est-à-dire avec un nombre définis de particules, un état de Fock décrit une assemblée de particules sans interaction en nombre définis. L’état pur le plus général est une superposition linéaire des états de Fock.

Deux opérateurs d’une immense importance sont les opérateurs de création et d’annihilation qui agissent sur un état de Fock en, respectivement, ajoutant et retirant une particule à l’état quantique décrit. Ils sont notés a\left(\phi\right) et a^\dagger\left(\phi\right) respectivement, où φ est l’état quantique \left|\phi\right\rangle dans lequel la particule est ajoutée ou enlevée. Il est souvent utile de travailler avec des états de la base de H, ainsi ces opérateurs ajoutent et enlèvent exactement une particule dans l’état donné. Ces opérateurs servent aussi de base pour des opérateurs plus généraux agissant sur l’espace de Fock (par exemple, l’opérateur de nombre de particules dans l’état \left|\phi\right\rangle est a^\dagger\left(\phi\right)a\left(\phi\right)).

En pratique, on dispose générale des opérateurs de création et d’annihilation et l’on cherche à construire l’espace de Fock. On définit l’état du vide \left|0\right\rangle comme l’état qui est annulé par tous les opérateurs d’annihilation

a\left(\phi\right)\left|0\right\rangle = 0 pour tout φ

On peut ensuite construire les états à une particule en faisant agir l’opérateur de création sur l’état du vide : \left|\phi\right\rangle=a^\dagger\left(\phi\right)\left|0\right\rangle. On écrit aussi de manière abrégée \left|1\right\rangle=a^\dagger\left|0\right\rangle. On procède de même pour les états à deux, trois... particules.

Ensuite, en utilisant la procédure mathématique standard de superposition linéaire et la complétion de Cauchy, on construit l’espace complet. L’espace résultant est l’espace de Fock recherché.