Postulats de la mécanique quantique 422777 31320577 2008-07-05T12:33:09Z 90.4.25.169 /* Introduction */ {{Quantique}} Cet article traite des '''postulats de la mécanique quantique'''. La description du monde microscopique que fournit la [[mécanique quantique]] s'appuie sur une vision radicalement nouvelle, et s'oppose en cela à la [[mécanique classique]]. Elle repose sur des [[postulat]]s. == Introduction == Les implications de cette nouvelle vision sont si complexes, si profondes et si inhabituelles (par rapport à notre propre expérience) qu'une grande partie de la [[communauté scientifique]] a décidé de les éluder, et se contente d'utiliser la théorie, qui a fourni les prévisions les plus précises à ce jour. Les tenants de cette approche, dite de l'[[École de Copenhague (physique)|École de Copenhague]], tiennent à peu près ce discours : :Il importe de remarquer dès maintenant que ces postulats n'ont aucun sens (méta-)physique : ils ne décrivent pas l'univers. Ils sont purement formels, opératoires, en ce qu'ils décrivent les opérations adéquates, mais sans permettre de les interpréter, ni a fortiori d'expliquer pourquoi elles permettent de décrire les phénomènes et même de les prédire. C'est la raison pour laquelle on a pu dire : :: « Si quelqu'un vous dit qu'il a compris la mécanique quantique, c'est un menteur » :Il s'agit d'une impossibilité radicale, liée à l'absence de lien physique entre les postulats et la réalité, et non d'une « simple » ignorance qui pourrait être comblée à l'intérieur du cadre de la mécanique quantique actuelle. :Bref, la mécanique quantique est parfaitement valide dès maintenant (en attendant une surprise toujours possible…), mais incompréhensible sans complément encore à faire. Parallèlement, une partie de la communauté scientifique ne pouvant accepter l'approche de l'[[École de Copenhague (physique)|École de Copenhague]] a tenté de créer une « autre » mécanique quantique qui serait en accord avec les principes « naturels » sur lesquels toute science expérimentale devrait s'appuyer : la reproductibilité d'une expérience et le principe de [[déterminisme]]. Dans ce but, de nombreuses théories aussi sérieuses que farfelues ont vu le jour. La première solution proposée fut celle des variables cachées (théorie qui suppose que l'information « manquante » pour que le système se comporte d'une manière déterministe absolue est portée par des variables dont nous n'avons pas la connaissance). À l'heure actuelle, il est impossible de résoudre tous les systématiques à l'aide d'une théorie de cette forme. Une autre solution à cette problématique est le fait d'accepter la mécanique quantique et ces « problème de déterminisme », mais, en opposition à l'[[École de Copenhague (physique)|École de Copenhague]], de ne pas accepter le caractère fondamental des postulats de la mécanique quantique. Pour ce faire, les membres de cette école ont porté leur analyse sur les « axiomes » fondamentaux qui soutiennent les sciences expérimentales. Cette analyse a porté ces fruits, et cette école reformule ces axiomes de manière qu'une science ou mécanique fondée sur cette « logique axiomatique » {{Référence nécessaire|soit en accord avec la mécanique quantique}} (voir [[Les trois axiomes de la mécanique quantique]] ). Cette solution est très peu connue dans le monde non scientifique et possède encore un grand nombre de détracteurs. Les discours des détracteurs et les réponses des protagonistes de cette solution peuvent se résumer ainsi : ;Les détracteurs : Cette solution ne fait que déplacer le problème, car au lieu d'avoir une mécanique quantique fondée sur cinq postulats « sortis de nulle part », vous avez trouvé une solution pour qu'elle soit fondée sur trois axiomes « sortis de nulle part »{{ref nécessaire}}. ;Les protagonistes : Premièrement il est nécessaire de comprendre à quel point toute science est fondée sur une axiomatique fondamentale qui régit l'acquisition de données expérimentales et le traitement de ces données. En effet, l'idée de [[causalité]], de [[déterminisme]], de [[reproductivité]] d'une expérience sont des concepts fondamentaux sans lesquels il serait impossible à l'esprit humain de créer une science. Et ces concepts sont des axiomes ! Ces axiomes ont été formulés durant l'[[La Physique (Aristote)|Antiquité]] et nous les avons acceptés jusqu'à présent sans aucun doute. Or, avec l'arrivée de la physique moderne et l'étude des [[particules élémentaires]], ces axiomes engendrent des [[Paradoxes de la mécanique quantique|paradoxes]], il est donc clair que nous ne pouvons donc plus les accepter tels quels, il devient donc nécessaire de les reformuler. Nous n'avons pas déplacé le problème, car nous avons réduit six postulats et un axiome en trois axiomes. Enfin, ces trois nouveaux axiomes sont bien plus « naturels » que les six postulats de la mécanique quantique{{ref nécessaire}}. == Formulation mathématique == La formulation mathématique de la mécanique quantique, dans son usage général, fait largement appel à la [[notation bra-ket]] de [[Paul Dirac|Dirac]], qui permet de représenter de façon concise les opérations sur les [[espace de Hilbert|espaces de Hilbert]] utilisés en [[Analyse fonctionnelle (mathématiques)|analyse fonctionnelle]]. Cette formulation est souvent attribuée à [[John von Neumann]]. Soit un [[espace séparable]] <math>\mathcal{H}</math> de Hilbert. Les états sont les rayons projectifs de <math>\mathcal{H}</math>. Un opérateur est une transformation linéaire d'un sous-espace dense de <math>\mathcal{H}</math> vers <math>\mathcal{H}</math>. Si cet opérateur est continu, alors cette transformation peut être prolongée de façon unique à une transformation linéaire bornée de <math>\mathcal{H}</math> vers <math>\mathcal{H}</math>. Par tradition, les choses observables sont identifiées avec des opérateurs, bien que ce soit discutable, particulièrement en présence des [[symétrie]]s. C'est pourquoi certains préfèrent la formulation d'état de densité. Dans ce cadre, le [[principe d'incertitude]] d'[[Werner Heisenberg|Heisenberg]] devient un théorème au sujet des opérateurs non-[[commutativité|commutatifs]]. En outre, on peut traiter des observables continues et discrètes ; dans le premier cas, l'espace de Hilbert est un espace de [[fonction d'onde|fonctions d'onde]] de carré intégrables. ==Les postulats== === Postulat I === <u>Définition de l'état quantique</u> {{Article détaillé|état quantique}} La connaissance de l'[[état quantique|état d'un système quantique]] est ''complètement'' contenue, à l'instant t, dans un vecteur normalisable de l'espace des états <math>\mathcal{H}</math>. Il est habituellement noté sous la forme d'un [[Notation_Bra-Ket|ket]] <math> | \psi (t) \rangle </math>. === Postulat II === <u>Principe de correspondance</u> {{Article détaillé|principe de correspondance|observable}} À toute propriété observable, par exemple la position, l'[[énergie]] ou le [[spin]], correspond un [[opérateur]] [[hermitien]] [[opérateur linéaire|linéaire]] agissant sur les [[vecteur]]s d'un [[espace de Hilbert]] <math>\mathcal{H}</math>. Cet opérateur est nommé [[observable]]. Les opérateurs associés aux propriétés observables sont définis par des règles de construction qui reposent sur un principe de correspondance<ref>Dans les définitions données ci-dessus, les opérateurs sont représentés en fonction des coordonnées. Une autre représentation, équivalente, mais basée sur les quantités de mouvement existe aussi.</ref> : ;L'opérateur de position : <math>\hat{\mathbf{Q}} = \mathbf{r}</math> ;L'opérateur d'[[énergie potentielle]] classique ou électromagnétique : <math>\hat{V}(\mathbf{r}) = V_{cl} (\mathbf{r})</math> ;L'opérateur de [[quantité de mouvement]] : <math>\hat{\mathbf{P}}(\mathbf{r}) = -i\hbar \nabla </math>, où <math>\nabla</math> désigne le gradient des coordonnées <math>\mathbf{r}</math> ;L'opérateur de [[moment angulaire]] : <math>\hat{\mathbf{L}}(\mathbf{r}) = \hat{\mathbf{Q}} \times \hat{\mathbf{P}} = -i\hbar\mathbf{r} \times \nabla </math> ;L'opérateur d'[[énergie cinétique]] : <math>\hat{K}(\mathbf{r}) = \frac{\hat{\mathbf{P}} \cdot \hat{\mathbf{P}}}{2m} = -\frac{\hbar^2}{2m} \nabla^2 </math> ;L'opérateur d'énergie totale, appelé [[hamiltonien]] : <math>\hat{H} = \hat{K} + \hat{V} = \hat{K}(\mathbf{r}) + V_{cl} (\mathbf{r})</math> ;L'opérateur action du système, appelé [[lagrangien]] : <math>\hat{L} = \hat{K} - \hat{V}</math> === Postulat III === <u>Mesure : valeurs possibles d'une observable</u> La mesure d'une grandeur physique représentée par l'observable '''A''' ne peut fournir que l'une des [[valeur propre|valeurs propres]] de A. Les [[vecteur propre|vecteurs propres]] et les [[valeur propre|valeurs propres]] de cet opérateur ont une signification spéciale : les valeurs propres sont les valeurs pouvant résulter d'une mesure idéale de cette propriété, les vecteurs propres étant l'état quantique du système lors de cette mesure. En utilisant la [[notation bra-ket]], ce postulat peut s'écrire ainsi : :::<math>\hat{A} | \alpha_n \rangle = a_n | \alpha_n \rangle</math> où <math>\hat{A}</math>, <math>| \alpha_n \rangle</math> et <math>a_n</math> désignent, respectivement, l'observable, le vecteur propre et la valeur propre correspondante. Les états propres de tout observable <math>\hat{A}</math> sont complets et forment une [[base orthonormée]] dans l'[[espace de Hilbert]]. Cela signifie que tout vecteur <math> | \psi (t) \rangle </math> peut se décomposer de manière unique sur la base de ces vecteurs propres (<math> | \phi_i \rangle </math>): : <math> | \psi \rangle = c_1 | \phi_1 \rangle + c_2 | \phi_2 \rangle + ... + c_n | \phi_n \rangle </math> === Postulat IV === <u>Postulat de [[Max Born|Born]] : interprétation probabiliste de la fonction d'onde</u> La mesure d'une grandeur physique représentée par l'observable '''A''', effectuée sur l'état quantique (normalisé) <math> | \psi (t) \rangle </math>, donne le résultat a<sub>n</sub>, avec la probabilité P<sub>n</sub> égale à |c<sub>n</sub>|<sup>2</sup>. Le [[produit scalaire]] d'un état et d'un autre vecteur (qu'il appartienne ou non à <math>\mathcal{H}</math>) fournit une amplitude de probabilité, dont le carré correspond à une [[probabilité]] ou une densité de probabilité de la façon suivante : * Pour un système constitué d'une seule particule, la fonction d'onde <math>\Psi_\alpha(\mathbf{r}) = \langle \mathbf{r} | \alpha \rangle </math> est l'''amplitude de probabilité'' que la particule est à la position <math>\mathbf{r}</math>. La ''probabilité'' <math>P_\alpha(\mathbf{r})</math> de trouver la particule entre <math>\mathbf{r}</math> et <math>\mathbf{r} + d\mathbf{r}</math> est: ::<math>P_\alpha(\mathbf{r}) = {|\langle\mathbf{r}|\alpha\rangle|}^2 d^3\mathbf{r} \equiv {|\Psi_\alpha(\mathbf{r})|}^2 d^3\mathbf{r} </math> Donc <math>\rho_\alpha(\mathbf{r})={|\langle\mathbf{r}|\alpha\rangle|}^2</math> est une densité de probabilité. <li>Si le système est dans un état <math>|\alpha\rangle</math>, alors l'amplitude de probabilité <math>C_{\beta\alpha}\,</math> et la probabilité <math>P_{\beta\alpha}\,</math> de le retrouver dans tout autre état <math>|\beta\rangle</math> sont: ::<math>C_{\beta\alpha} = \langle\beta|\alpha\rangle</math>. ::<math>P_{\beta\alpha} = {|\langle\beta|\alpha\rangle|}^2</math>. Ni <math>|\alpha\rangle</math>, ni <math>|\beta\rangle</math> ne doivent être nécessairement un état propre d'un opérateur quantique. <li>Dans l'éventualité où un système peut évoluer vers un état <math>|\alpha, t\rangle</math> au temps <math>t</math> par plusieurs trajets différents, alors, pour autant que l'on n'effectue pas de mesure pour déterminer quel trajet a été effectivement suivi, <math>|\alpha, t\rangle</math> est une [[combinaison linéaire]] des états <math>|\alpha_j, t\rangle</math> où <math>j</math> spécifie le trajet: ::<math>|\alpha, t\rangle = \sum{w_j |\alpha_j, t\rangle}</math> où <math>w_j\,</math> sont les coefficient de la combinaison linéaire. L'amplitude <math>C_{\beta\alpha}(t) = {|\langle\beta|\alpha, t\rangle|}</math> devient alors la somme des amplitudes <math>C_{\beta\alpha_j}(t)</math> et la probabilité <math>P_{\beta\alpha}(t)\,</math> contient des termes d'interférence : ::<math>P_{\beta\alpha}(t) = {|\langle\beta|\alpha, t\rangle|}^2 = {\left|\sum{w_j\langle\beta |\alpha_j, t\rangle}\right|}^2 = {\left|\sum{w_j C_{\beta\alpha_j}(t)}\right|}^2</math> Mais si une mesure a déterminé que le trajet <math>k</math> a été suivi, alors les coefficients deviennent <math>w_j \rightarrow \delta_{jk}</math> et les sommes précédentes se réduisent à un seul terme. <li>En supposant que le système se trouve dans un état <math>|\alpha\rangle</math>, alors la prédiction théorique de la valeur moyenne de la mesure de l'observable <math>\hat{A}</math> est donnée par : ::<math>{\langle\hat{A}\rangle}_\alpha = \langle\alpha|\hat{A}|\alpha\rangle</math> </ul> === Postulat V === <u>Mesure : réduction du paquet d'onde; obtention d'une valeur unique; projection de l'état quantique</u> {{Article détaillé|Réduction du paquet d'onde}} Si la mesure de la grandeur physique A, à l'instant t, sur un système représenté par le vecteur <math> | \psi \rangle </math> donne comme résultat la valeur propre <math>a_n\,</math>, alors l'état du système immédiatement après la mesure est le sous-espace propre associé à <math>a_n\,</math> : <math> | \alpha_n \rangle</math>. Ce postulat est aussi appelé "postulat de [[réduction du paquet d'onde]]". === Postulat VI === <u>Évolution temporelle de l'état quantique</u> {{loupe | Équation de Schrödinger}} L'état <math>\left|\Phi, t\right\rangle</math> de tout système quantique non-relativiste est une solution de l'[[équation de Schrödinger]] dépendante du temps: :<math>i\hbar\frac{\partial}{\partial t}\left|\Phi, t\right\rangle = \hat{H}\left|\Phi, t\right\rangle </math> Le sixième postulat est l'équation de Schrödinger. Cette équation est l'équation dynamique de la mécanique quantique. Elle signifie simplement que c'est l'opérateur « énergie totale » du système ou [[opérateur hamiltonien|hamiltonien]], qui est responsable de l'évolution du système dans le temps. En effet, la forme de l'équation montre qu'en appliquant l'hamiltonien à la fonction d'onde du système, on obtient sa dérivée par rapport au temps c'est-à-dire comment elle varie dans le temps. Cette équation n'est valable que dans le cadre non relativiste. ==Voir aussi== * [[Les trois axiomes de la mécanique quantique]] ==Notes et références== {{références}} ==Bibliographie== * {{ouvrage|auteurs=Claude Cohen-Tannoudji, Bernard Diu & Franck Laloë|titre=Mécanique quantique, volume 1|éditeur=Hermann|année=1973|isbn=2705660747}} *:Le chapitre 3 de ce livre propose une revue dans les détails des postulats de la mécanique quantique. De plus, ce livre est probablement le livre de référence sur l'introduction à la mécanique quantique dans le monde francophone. Un bon niveau de mathématique est requis pour la compréhension de cet ouvrage. Le seul désavantage de cet ouvrage est, à l'instar de cet article, qu'il utilise la notation de Dirac qui est née alors que les mathématiques utiles à la mécanique quantique n'étaient que très peu développées. A l'heure actuelle, de nombreux théoriciens ont abandonné cette notation pour utiliser un formalisme, peut-être moins adapté à la mécanique quantique, mais plus rigoureux mathématiquement. Voir pour exemple les articles [[analyse fonctionnelle (mathématiques)]], théorie des [[opérateur (mathématique)|opérateurs (mathématique)]] et [[théorie des groupes]]. * {{ouvrage|auteur=Richard Feynman|titre=Mécanique quantique, volume 3 du Cours de physique de Feynman|éditeur=Dunod|isbn=2100049348}} *:Livre écrit initialement en anglais. La traduction est bonne. Ce livre est probablement le plus adapté à un profane possédant un niveau bac scientifique en mathématique et voulant avoir une introduction rigoureuse à la mécanique quantique. {{portail physique}} [[Catégorie:Principe physique]] [[Catégorie:Mécanique quantique]] [[ar:صياغة رياضية لميكانيكا الكم]] [[bn:কোয়ান্টাম বলবিজ্ঞানের গাণিতিক সূত্রায়ন]] [[de:Mathematische Struktur der Quantenmechanik]] [[en:Mathematical formulation of quantum mechanics]] [[es:Formulación matemática de la mecánica cuántica]] [[it:Postulati della meccanica quantistica]] [[ja:量子力学の数学的基礎]] [[ko:양자역학의 수학적 공식화]] [[la:Leges motus quanticae]] [[zh:量子力學的數學表述]]