Espace de Fock

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

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_\nu 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, \nu=+) ou de Fermi-Dirac (fermions, \nu=-).
  • 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)

Exemple[modifier | modifier le code]

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 \phi_1, la deuxième avec \phi_2 et ainsi de suite et où \phi_i est une fonction d’onde quelconque de l’espace de Hilbert H à une particule. Quand nous parlons d'une particule dans l’état \phi_i 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 \phi_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 n_0 particules dans l’état \left|\psi_0\right\rangle, n_1 particules dans l’état \left|\psi_1\right\rangle,..., n_k 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 \nu=-, chaque n_i 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ù \phi 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 (en) dans l’état \left|\phi\right\rangle est a^\dagger\left(\phi\right)a\left(\phi\right)).

En pratique, on dispose généralement 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 \phi

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