Ides fondamentales de la mcanique quantique

Dans l'tat actuel des connaissances scientifiques, la mcanique quantique joue un rle fondamental pour la description et la comprhension des phnomnes naturels. En effet, ds que ces derniers se produisent une chelle trs fine (chelle atomique ou subatomique), ils ne sont explicables que dans le cadre de la physique quantique; par exemple, l'existence et les proprits des atomes, la liaison chimique, la propagation d'un lectron dans un cristal, etc,...ne peuvent tre comprises partir de la mcanique classique. Or mme si l'on ne s'intresse qu'aux objets physiques macroscopiques (c'est--dire de dimensions comparables ceux que l'on considre dans la vie courante), il faut en principe commencer par tudier le comportement des divers atomes, ions, lectrons qui les constituent avant de pouvoir en donner une description scientifique complte. C'est en ce sens que l'on peut dire que la mcanique quantique est la base de notre comprhension actuelle de tous les phnomnes naturels, y compris ceux qui relvent traditionnellement de la chimie, de la biologie, etc.... D'ailleurs, il s'avre que nombreux sont les phnomnes macroscopiques qui manifestent clairement notre chelle le comportement quantique de la nature. D'un point de vue historique, les ides quantiques, en regroupant les proprits des particules matrielles et du rayonnement, ont d'ailleurs contribu une unification remarquable des concepts de la physique fondamentale. En effet, la fin du XIX , on distinguait dans les phnomnes physiques deux entits : matire et rayonnement, pour lesquelles on disposait de lois compltement diffrentes. Pour prdire le mouvement des corps matriels, on utilisait les lois de la mcanique newtonienne dont les succs, pour tre anciens, n'en taient pas moins impressionnants. En ce qui concerne le rayonnement, la thorie de l'lectromagntisme avait abouti, grce l'introduction des quations de Maxwell, une comprhension globale d'un ensemble de phnomnes qui relevaient autrefois de domaines diffrents : lectricit, magntisme et optique; en particulier, la thorie lectromagntique du rayonnement avait reu une confirmation exprimentale clatante avec la dcouverte des ondes hertziennes. Enfin, les interactions entre rayonnement et matire s'interprtaient bien partir de la force de Lorentz. Cet ensemble de lois avait conduit la physique un tat qui pouvait, compte tenu des donnes exprimentales de cette poque, tre considr comme satisfaisant. La physique allait pourtant, au dbut du XX sicle, tre marque par des bouleversements profonds, qui aboutirent l'introduction de la mcanique relativiste et de la mcanique quantique. Rvolution relativiste et rvolution quantique furent dans une large mesure indpendantes, car elles remirent en question la physique classique sur des points diffrents : les lois classiques cessent d'tre valables pour des corps matriels anims de trs grandes vitesses, comparables celle de la lumire (domaine relativiste); de plus, elles sont aussi en dfaut l'chelle atomique ou sub-atomique (domaine quantique). Il est cependant important de remarquer que, dans les deux cas, la physique classique apparat comme une approximation des nouvelles thories, approximation valable pour la plupart des phnomnes l'chelle courante; par exemple, la mcanique newtonienne permet de prdire correctement le mouvement d'un corps solide, condition qu'il soit non relativiste (vitesses faibles devant celle de la lumire) et macroscopique (dimensions grandes devant celles des atomes). Cependant, d'un point de vue fondamental, la thorie quantique reste toujours indispensable : elle seul permet par exemple de comprendre l'existence mme d'un corps solide et la valeur des paramtres macroscopique (densit, chaleur spcifique, lasticit, etc...) qui lui sont

associs. Nous ne disposons pas encore, l'heure actuelle, d'une thorie pleinement satisfaisante qui soit la fois quantique et relativiste, car des difficults ont surgi dans ce domaine. Toutefois, la plupart des phnomnes atomiques et molculaires sont bien expliqus par la mcanique quantique non relativiste que nous nous proposons d'tudier ici. Ce chapitre constitue en fait une premire prise de contact avec les ides et le vocabulaire quantiques. Il n'est pas questions ici d'tre rigoureux ou complet. Le but essentiel est d'veiller la curiosit du lecteur, de lui dcrire des phnomnes qui branlent des notions aussi solidement ancres dans notre intuition que la notion de trajectoire, et de lui rendre plausible la thorie quantique en lui montrant de faon simple et qualitative comment elle permet de rsoudre les problmes rencontrs l'chelle atomique. Nous reprendrons ultrieurement les diffrentes notions introduites dans ce chapitre, en les prcisant soit sur le plan du formalisme mathmatique, soit sur le plan physique. Dans le premier paragraphe, nous introduisons tout d'abord les ides quantiques de base (dualit onde-corpuscule, mcanisme de la mesure) en nous appuyant sur des expriences d'optique bien connues. Puis nous indiquons comment on peut tendre ces ides aux corpuscules matriels (fonction d'onde, quation de Schrdinger). Nous tudions ensuite plus en dtail les caractristiques du paquet d'ondes associ une particule, et introduisons les relations d'incertitude de Heisenberg. Enfin, nous discutons quelques effets typiquement quantiques sur des cas simples.

Les quanta de lumire et les relations de Planck-Einstein

Newton considrait la lumire comme un jet de corpuscules, qui par exemple rebondissaient lors de la rflexion sur un miroir. Durant la premire moiti du XIX sicle, dmonstration fut faite de la nature ondulatoire de la lumire (interfrences, diffraction), ce qui permit par la suite l'intgration de l'optique dans la thorie lectromagntique. Dans ce cadre, la vitesse de la lumire est relie des constantes lectriques et magntiques, et les phnomnes de polarisation lumineuse s'interprtent comme des manifestations du caractre vectoriel du champ lectrique. Cependant, l'tude du rayonnement du corps noir, que la thorie lectromagntique tait impuissante expliquer, amena Planck mettre l'hypothse de la quantification de l'nergie (1900) : pour une onde lectromagntique de frquence les seules nergies possibles sont des multiples entiers du quantum , o est une nouvelle constante fondamentale. Puis Einstein, donnant cette hypothse une porte beaucoup plus gnrale, proposa un retour la thorie corpusculaire (1905) : la lumire est constitue d'un jet de photons dont chacun possde l'nergie . Einstein montra comment l'introduction des photons permettait de comprendre de manire trs simple certaines caractristiques de l'effet photolectrique inexpliques jusque l. Il fallut attendre presque vingt ans pour que le photon soit directement mis en vidence, en tant que corpuscule individualis, par l'effet Compton (1924). Ces rsultats conduisent la conclusion suivante : l'interaction d'une onde lectromagntique avec la matire se fait par processus lmentaires indivisibles, o le rayonnement apparat comme constitu de corpuscules, les photons. Paramtres corpusculaires (nergie et impulsion d'un photon) et paramtres ondulatoires (pulsation et vecteur d'onde

, o fondamentales :

tant la frquence et

la longueur d'onde) sont lis par les relations

(1.1) relations de Planck-Einstein

est dfini partir de la constante de Planck Joule

: (1.2)

seconde

Au cours de chaque processus lmentaire, il y a conservation de l'nergie et de l'impulsion totales. Nous voil donc revenus une conception corpusculaire de la lumire. Est-ce dire qu'il faille abandonner la thorie ondulatoire? Certainement pas : nous allons voir que les phnomnes typiquement ondulatoires mis en vidence par les expriences d'interfrence et de diffraction seraient inexplicables dans un cadre purement corpusculaire. En analysant l'exprience bien connue des fentes d'Young, nous allons tre conduits la conclusion suivante : une interprtation complte des phnomnes ne peut tre obtenue qu'en conservant la fois l'aspect ondulatoire et l'aspect corpusculaire de la lumire (bien qu'ils paraissent priori inconciliables). Nous indiquerons ensuite comment ce paradoxe peut tre rsolu par l'introduction des notions quantiques fondamentales.

Analyse de l'exprience des fentes d'Young

Le dispositif de cette exprience est schmatis sur la figure 1 : la lumire monochromatique mise par la source tombe sur une plaque opaque perce de deux fentes fines et , qui clairent l'cran d'observation (par exemple une plaque photographique). Si l'on obstrue , on obtient sur diffraction de par une rpartition d'intensit lumineuse , qui est la tache de est dcrite

; de mme, lorsque et

est bouch, la tache de diffraction de

. Quand les deux fentes

sont ouvertes la fois, on observe sur l'cran un

systme de franges d'interfrence : on constate en particulier que l'intensit correspondante n'est pas la somme des intensits produites par et sparment :

(1.3)

Comment pourrait-on envisager d'expliquer, au moyen d'une thorie corpusculaire (dont la ncessit est apparue au paragraphe prcdent), les rsultats exprimentaux que nous venons de dcrire? L'existence d'une tache de diffraction, lorsqu'une seule des deux fentes est ouverte, pourrait par exemple s'expliquer par l'influence des chocs des photons sur les bords de la fente; une telle explication demanderait bien sr tre prcise et une tude plus dtaille montrerait qu'elle n'est pas suffisante. Cependant, concentrons plutt notre attention sur le phnomne d'interfrence. Nous pourrions tenter de l'expliquer en faisant intervenir une interaction entre les photons qui passent par la fente , et ceux qui passent par la fente ; cette explication conduirait alors la prdiction suivante : si l'on diminue l'intensit de la source (c'est--dire le nombre de photons qu'elle met par seconde) jusqu' ce que les photons arrivent pratiquement un par un sur la plaque puis sur l'cran, l'interaction entre les photons doit diminuer et, la limite, s'annuler : les franges d'interfrence devraient donc disparatre. Avant d'indiquer la rponse donne par l'exprience, rappelons que la thorie ondulatoire, elle, fournit une interprtation toute naturelle des franges. L'intensit lumineuse en un point de l'cran est proportionnelle au carr de l'amplitude du champ lectrique en ce point. Si et par les fentes reprsentent, en notation complexe, les champs lectriques produits en et respectivement (elles se comportent comme des sources secondaire), et sont toutes deux ouvertes est :

le champ total rgnant en ce point lorsque

(1.4)

En utilisant la notation complexe, on aura donc : (1.5)

Comme d'autre part les intensits et

et

sont respectivement proportionnelles diffre de par un

, la formule (1.5) montre que

terme d'interfrence, qui dpend de la diffrence de phase entre et , et dont la prsence explique les franges. La thorie ondulatoire prvoit donc que, si l'on diminue l'intensit de la source , les franges vont simplement diminuer elles aussi d'intensit, mais persister. Que se passe-t-il en fait, lorsque met les photons pratiquement un par un? Ni les prdictions de la thorie ondulatoire, ni celles de la thorie corpusculaire ne sont vrifies. En effet : (i) Si l'on recouvre l'cran d'une plaque photographique, et si l'on augmente suffisamment le temps de pose de faon recevoir quand mme pour chaque photographie un grand nombre de photons, on constate au dveloppement que les franges n'ont pas disparu; il faut donc rejeter l'interprtation purement corpusculaire selon laquelle les franges sont dues une interaction entre photons. (ii) On peut au contraire exposer la plaque photographique pendant un temps suffisamment court pour qu'elle ne puisse recevoir que quelques photons. On constate alors que chaque photon produit sur un impact localis, et non une figure d'interfrence d'intensit trs faible; il faut donc aussi rejeter l'interprtation purement ondulatoire. En ralit, au fur et mesure que les photons arrivent sur la plaque photographique, il se produit le phnomne suivant : leurs impacts se rpartissent de manire alatoire, et ce n'est que lorsqu'un grand nombre d'entre eux est arriv sur que la rpartition des impacts semble avoir un aspect continu; la densit des impacts en chaque point de correspond aux franges : elle est maximum sur une frange brillante, nulle sur une frange noire. On peut donc dire que, au fur et mesure de leur arrive, les photons reconstituent la figure d'interfrence. Le rsultat de cette exprience conduit donc apparemment un paradoxe, qui, dans le cadre de la thorie corpusculaire par exemple, peut tre explicit comme suit. Puisque, l'interaction entre photons est exclue, il nous faut considrer chacun d'eux sparment. Mais on ne comprend pas alors pourquoi les phnomnes changent tellement suivant qu'une seule fente est ouverte, ou les deux : comment admettre que, pour un photon passant par l'une des fentes, le fait que l'autre soit ferme ou non ait une importance si cruciale?

Avant de discuter ce problme, il convient de remarquer que, dans l'exprience prcdente, nous n'avons pas cherch dterminer par laquelle des deux fentes tait pass chacun des photons que recevait l'cran. Pour obtenir ce renseignement, on peut envisager de placer des dtecteurs (photomultiplicateurs) derrire et . On constatera bien alors que, si les photons arrivent un un, chacun d'eux franchit une fente bien dtermine (on obtiendra un signal soit sur le dtecteur plac derrire , soit sur celui qui couvre , mais pas sur les deux la fois). Mais, bien videmment, les photons ainsi dtects seront absorbs et ne parviendront pas jusqu' l'cran. Supprimons alors le photomultiplicateur qui masque exemple. Celui qui reste en la moiti franchit l'cran, passent par , par

nous indiquera que, sur un grand nombre de photons, environ

. Nous en concluons que les autres, ceux qui peuvent continuer jusqu' ; mais la figure qu'ils construisent peu peu sur l'cran n'est pas une est obstru; c'est seulement la tache de diffraction de .

figure d'interfrence, puisque

Unification quantique des deux aspects de la lumire

L'analyse qui prcde montre qu'il est impossible d'expliquer tous les phnomnes observs si l'on ne s'attache qu' l'un des deux aspects, corpusculaire ou ondulatoire, de la lumire. Or ces deux aspects semblent s'exclure mutuellement. Pour surmonter cette difficult, il devient donc indispensable de rviser de faon critique les concepts de la physique classique et d'admettre que, bien que notre exprience quotidienne nous enseigne qu'ils sont parfaitement tablis, ces concepts peuvent ne plus tre valables dans le domaine nouveau (dit microscopique) que nous abordons. Par exemple, une caractristique essentielle de ce nouveau domaine est apparue lorsque nous avons plac des compteurs derrire les fentes d'Young : lorsque l'on effectue une mesure sur un systme microscopique, on le perturbe de faon fondamentale; il s'agit l d'une proprit nouvelle puisque, dans le domaine macroscopique, nos sommes habitus ce qu'il soit toujours possible de concevoir des appareils de mesure dont l'influence sur le systme est pratiquement aussi faible que l'on veut. Cette rvision critique de la physique classique est impose par l'exprience, et doit bien sr tre guide par l'exprience. Reprenons d'abord le paradoxe, nonc plus haut, du photon qui passe par une fente mais se comporte diffremment suivant que l'autre est ouverte ou ferme. Nous avons vu que, si l'on cherche dtecter les photons lorsqu'ils franchissent les fentes, on les empche d'arriver jusqu' l'cran. De faon plus gnrale, une analyse dtaille des expriences montre qu'il est impossible d'observer la figure d'interfrence et de savoir en mme temps par quelle fente est pass chaque photon. On est donc oblig, pour rsoudre le paradoxe, de renoncer l'ide qu'un photon passe forcment par une fente dtermine. On remet ainsi en cause la notion, fondamentale en physique classique, de trajectoire d'un corpuscule. D'autre part, lorsque les photons arrivent un un, leurs impacts sur l'cran reconstituent progressivement la figure d'interfrence. Ceci implique que, pour un photon particulier, on ne sait pas l'avance de faon certaine o il va aller frapper l'cran. Or ces photons sont tous

mis dans les mmes conditions. Voil donc dtruite aussi l'ide classique suivant laquelle les conditions initiales dterminent compltement le mouvement ultrieur d'une particule. On peut seulement dire, lorsqu'un photon est mis, que la probabilit pour qu'il frappe l'cran en est proportionnelle l'intensit . Aprs bien des ttonnements qu'il n'est pas question de dcrire ici, on en est arriv la notion de dualit onde-corpuscule, que l'on peut schmatiquement rsumer ainsi1.1 (iii) Les aspects corpusculaire et ondulatoire de la lumire sont insparables; la lumire se comporte la fois comme une onde et comme un flux de particules, l'onde permettant de calculer la probabilit pour qu'un corpuscule se manifeste. (iv) Les prvisions sur le comportement d'un photon ne peuvent tre que du type probabiliste. (v) L'information sur un photon l'instant est donne par l'onde solution des quations de Maxwell; nous dirons que cette onde caractrise l'tat des photons l'instant . est interprt comme l'amplitude de probabilit pour qu'un photon manifeste sa prsence, l'instant , au point : cela signifie que la probabilit correspondante est proportionnelle
REMARQUES :

calcule dans la thorie ondulatoire, c'est--dire

(i) Les quations de Maxwell, tant linaires et homognes, admettent un principe de superposition : si et sont deux solutions de ces quations, alors

, o et sont des constantes, est aussi une solution. C'est ce principe de superposition qui explique en optique classique les phnomnes de type ondulatoire (interfrences, diffraction). En physique quantique, l'interprtation de comme amplitude de probabilit est donc essentielle pour que de tels phnomnes persistent. (ii) La thorie permet seulement de calculer la probabilit pour qu'un vnement donn se produise. Les vrifications exprimentales devront donc tre fondes sur la rptition d'un grand nombre d'expriences identiques (dans l'exprience ci-dessus, on envoie successivement un grand nombre de photons, tous produits de la mme faon, pour reconstituer la figure d'interfrence, matrialisation des probabilits calcules). (iii)

Nous parlons ici d'tat du photon de manire pouvoir dvelopper dans le 1.1.5 suivant une analogie entre et la fonction d'onde qui caractrise l'tat quantique d'une particule matrielle. Cette analogie optique est trs fructueuse et permet notamment de comprendre simplement et sans calculs diverses proprits quantiques des particules matrielles. Cependant, elle ne doit pas tre pousse trop loin et faire croire qu'il est, en toute rigueur, correct d'assimiler quantique d'un photon. l'tat

D'ailleurs, nous verrons que le fait que

soit complexe est essentiel en mcanique quantique,

alors que la notation complexe est employe en optique par pure commodit (seule sa partie relle a un sens physique). La dfinition prcise de l'tat quantique (complexe) du rayonnement ne peut tre donne que dans le cadre de l'lectrodynamique quantique qui est une thorie la fois quantique et relativiste. Il ne peut tre question d'aborder ici ces problmes.

Le principe de dcomposition spectrale

Munis des notions introduites prcdemment, nous allons maintenant discuter une autre exprience simple d'optique, en nous intressant cette fois la polarisation de la lumire. Cela nous permettra d'introduire les concepts fondamentaux concernant la mesure de grandeurs physiques.

L'exprience consiste envoyer une onde lumineuse plan monochromatique et polarise sur un analyseur ; dsigne la direction de propagation de cette onde, le vecteur unitaire qui dcrit sa polarisation (cf. fig. 2); l'analyseur transmet les polarisations parallles et absorbe les polarisations parallles .

La description classique de cette exprience (description valable pour une intensit lumineuse suffisamment grande) est la suivante. L'onde plane polarise est caractrise par un champ lectrique de la forme : (1.6)

o est une constante; l'intensit lumineuse est proportionnelle travers l'analyseur , on obtient une onde plane polarise suivant

. Aprs passage : (1.7)

dont l'intensit

, proportionnelle

, est donne par la loi de Malus : (1.8)

est le vecteur unitaire de l'axe

, et on a pos

].

Que va-t-il se passer au niveau quantique, c'est--dire lorsque est suffisamment faible pour que les photons arrivent un un sur l'analyseur? (On place alors un dtecteur de photons derrire cet analyseur). Tout d'abord, on n'enregistrera jamais dans le dtecteur une fraction de photon : ou bien le photon franchit l'analyseur, ou bien il y est entirement absorb. Ensuite (sauf cas particuliers que nous examinerons dans un instant), on ne peut pas prdire avec certitude si tel photon qui arrive va passer ou tre absorb; on ne peut connatre que les probabilits correspondantes. Enfin, si l'on envoie l'un aprs l'autre un grand nombre de photons, on va retrouver la loi classique, en ce sens qu'on en dtectera pratiquement aprs l'analyseur. Nous retiendrons de cette description les ides suivantes : (vi) L'appareil de mesure (ici l'analyseur) ne peut donner que certains rsultats privilgis, que nous appellerons rsultats propres1.2. Dans l'exprience ci-dessus, il n'y a que deux rsultats possibles : le photon franchit l'analyseur, ou il est arrt. On dit qu'il y a quantification du rsultat de la mesure, par opposition au cas classique [cf. formule

(1.8)] o l'intensit transmise entre 0 et . (vii)

peut varier de faon continue, suivant la valeur de

A chacun des rsultats propres correspond un tat propre. Ici, les deux tats propres sont caractriss par : (1.9)

est le vecteur unitaire de l'axe

). Si

, on sait avec certitude que le

photon va franchir l'analyseur; si , il va au contraire tre srement arrt. La correspondance entre rsultats propres et tats propres est donc la suivante : si le corpuscule se trouve, avant la mesure, dans un des tats propres, le rsultat de cette mesure est certain; il ne peut tre que le rsultat propre associ. (viii) Lorsque l'tat avant la mesure est quelconque, on ne peut prdire que les probabilits d'obtenir les diffrents rsultats propres. Pour trouver ces probabilits, on dcompose l'tat du corpuscule en une combinaison linaire des divers tats propres; ici, pour quelconque, on crit : (1.10)

La probabilit d'obtenir tel rsultat propre est alors proportionnelle au carr du module du coefficient dont est affect l'tat propre correspondant (le facteur de proportionnalit est dtermin par la condition que la somme de toutes ces probabilits soit gale ). De (1.10), on dduit donc que chaque photon a une probabilit de franchir l'analyseur, et d'y tre absorb (on a bien : ); c'est effectivement ce qui a t indiqu plus haut. Cette rgle est appele en mcanique quantique principe de dcomposition spectrale. Il faut remarquer que la dcomposition effectuer dpend du type d'appareil de mesure considr, puisqu'il faut utiliser les tats propres qui lui correspondent : dans la formule (1.10), le choix des axes (ix) Aprs passage de l'analyseur, la lumire est compltement polarise suivant . Si donc on dispose, aprs le premier, un second analyseur de mme axe, tous les photons qui ont franchi franchiront aussi . D'aprs ce que nous venons de voir, ceci signifie que, aprs la traverse de , l'tat des photons est l'tat propre caractris par . Il y a donc changement brusque de l'tat des corpuscules : avant la colinaire ; aprs la mesure, et est fix par l'analyseur.

mesure, cet tat tait dfini par un vecteur

on possde une information supplmentaire (le photon est pass) que l'on incorpore en dcrivant l'tat un vecteur diffrent, colinaire cette fois . Ceci traduit le fait, dj signal au 1.1.3, que la mesure perturbe le systme microscopique (ici le photon) de faon fondamentale.
REMARQUE :

La prdiction certaine du rsultat lorsque ou n'est qu'un cas particulier. En effet, la probabilit de l'un des vnements possibles est alors gales ; mais, pour vrifier cette prdiction, on est oblig d'effectuer un grand nombre d'expriences : il faut s'assurer que tous les photons passent (ou sont arrts), puisque le fait qu'un photon particulier franchisse l'analyseur (ou soit absorb) n'est pas caractristique de (ou ).

Les relations de Louis de Broglie

Paralllement la dcouverte des photons, l'tude des spectres d'mission et d'absorption des atomes mit en vidence un fait fondamental, que la physique classique ne permettait pas de comprendre : ces spectres sont constitus de raies fines; autrement dit, un atome donn n'met ou n'absorbe que des photons de frquences (c'est--dire d'nergie) bien dtermines. Ce fait s'interprte trs bien si l'on admet que l'nergie de l'atome est quantifie, c'est--dire qu'elle ne peut prendre que certaines valeurs discrtes ( ) : l'mission ou l'absorption d'un photon s'accompagne alors d'un saut de l'nergie de l'atome d'une valeur permise frquence une autre telle que : (1.11) , et la conservation de l'nergie implique que le photon ait une

Seules des frquences obissant (1.11) peuvent donc tre mises ou absorbes par l'atome. L'existence de tels niveaux d'nergie discrets fut confirme indpendamment par l'exprience de Franck et Hertz. Bohr la traduisit en termes d'orbites lectroniques privilgies, et donna, avec Sommerfeld, une rgle empirique permettant de calculer ces orbites dans le cas de l'atome d'hydrogne. Mais l'origine fondamentale de ces rgles de quantification restait mystrieuse. C'est alors (1923) que L. de Broglie mit l'hypothse suivante : les corpuscules matrielles, tout comme les photons, peuvent avoir un aspect ondulatoire. Il retrouva alors les rgles de quantification de Bohr-Sommerfeld comme consquence de cette hypothse, les divers niveaux d'nergie permis apparaissant de faon analogue aux modes propres d'une corde vibrante ou d'une cavit rsonnante. Les expriences de diffraction des lectrons (Davisson et

Germer, 1927) vinrent confirmer de faon clatante l'existence d'un aspect ondulatoire de la matire, en montrant que des figures d'interfrence peuvent tre obtenues avec des corpuscules matriels tels que des lectrons. On associe donc, un corpuscule matriel d'nergie et d'impulsion , une onde dont la pulsation et le vecteur d'onde sont donns par les mmes relations que pour les photons (cf. 1.1.1) :

(1.12)

Autrement dit, la longueur d'onde correspondante est : (1.13) relation de L. de Broglie

REMARQUE :

La trs petite valeur de la constante de Planck explique que le caractre ondulatoire de la matire soit trs difficile mettre en vidence l'chelle macroscopique;

Fonction d'onde. quation de Schrdinger

Suivant l'hypothse de L. de Broglie, nous allons tendre toutes les particules matrielles les notions introduites prcdemment dans le cas du photon. En reprenant chacune des conclusion de ce paragraphe, nous arrivons la formulation suivante : (iv) Au concept classique de trajectoire, il faut substituer celui d'tat dpendant du temps . L'tat quantique d'un corpuscule tel que l'lectron1.3 est caractris par une fonction d'onde corpuscule. (v) est interprte comme une amplitude de probabilit de prsence. tant donn que les positions possibles de la particule forment un continuum, la probabilit pour que la particule soit trouve, l'instant , dans un lment de volume , qui contient toutes les informations qu'il est possible d'obtenir sur le

situ au point

doit tre proportionnelle

et donc

infinitsimale : . On interprte alors probabilit correspondante en posant :

comme la densit de (1.14)

o (vi)

est une constante de normalisation.

Le principe de dcomposition spectrale s'applique la mesure d'une grandeur physique quelconque : Le rsultat trouv appartient forcment un ensemble de rsultats propre . A chaque valeur propre est associ un tat propre, c'est--dire une fonction propre . Cette fonction est telle que, si effectue la mesure), la mesure donnera coup sr Lorsque l'instant : (1.15) est quelconque, la probabilit , la valeur propre ( . tant l'instant o est

de trouver, lors d'une mesure sur les fonctions

s'obtient en dcomposant

Alors : (1.16)

(la prsence du dnominateur assure que la probabilit totale est gale ) Si la mesure donne effectivement aprs la mesure est :

, la fonction d'onde du corpuscule immdiatement

(1.17)

(vii) Reste crire l'quation d'volution laquelle obit la fonction . Il est possible de l'introduire de manire trs naturelle partir des relations de Planck et de L. de Broglie. Toutefois, il ne peut tre question de dmontrer cette quation fondamentale, appele quation de Schrdinger, et nous allons simplement la poser; nous discuterons ensuite quelques unes de ses consquences (c'est la vrification exprimentale de ces consquences qui prouvera sa validit). Nous reviendrons d'ailleurs de manire beaucoup plus dtaill sur cette quation au chapitre 3.

Lorsque la particule (de masse d'onde

) subit l'action d'un potentiel1.4

, sa fonction

obit l'quation de Schdinger :

(1.18)

est le laplacien

On remarque immdiatement que cette quation est linaire et homogne en ; par consquent, il existe pour les particule matrielles un principe de superposition qui, combin avec l'interprtation de comme amplitude de probabilit; donnera des effets de type ondulatoire. Notons d'autre part que l'quation diffrentielle (1.18) est du premier ordre par rapport au temps; cette condition est ncessaire pour que l'tat du corpuscule un instant , caractris par , dtermine son tat ultrieur.

Il existe donc une profonde analogie entre matire et rayonnement : dans les deux cas, une description correcte des phnomnes ncessite l'introduction des concepts quantiques, et en particulier la notion de dualit onde-corpuscule.
REMARQUES :

(iv) Pour un systme constitu d'une seule particule, la probabilit totale pour trouver la particule n'importe o dans l'espace, l'instant , est gale 1 :

(1.19)

tant donn par la formule (1.14), on en conclut que la fonction d'onde doit tre de carr sommable : (1.20) est finie La constante de normalisation relation : qui figure dans (1.14) est alors donne par la

(1.21)

(nous verrons plus loin que la forme de l'quation de Schrdinger entrane que est indpendante du temps). On utilise souvent des fonctions d'onde normalises, c'est-dire telles que : (1.22)

La constante est alors gale . (v) Notons la grande diffrence entre la notion d'tat classique et la notion d'tat quantique. L'tat d'une particule classique est dtermin l'instant par la donne de six paramtres caractrisant sa position et sa vitesse l'instant : L'tat d'une particule quantique est dtermin par une infinit de paramtres : les .

valeurs aux divers points de l'espace de la fonction d'onde qui lui est associe. A la notion classique de trajectoire, succession des divers tats du corpuscule classique au cours du temps, doit tre substitue la notion de propagation de l'onde associe la particule. Reprenons par exemple l'exprience des franges d'Young dcrite plus haut dans le cas des photons, mais qui est en principe galement possible pour des particules matrielles comme des lectrons; lorsqu'on observe la figure d'interfrence, se poser la question de savoir par quelle fente chaque corpuscule est pass n'a pas de sens, car l'onde qui lui est associe passe par les deux trous la fois. (vi)

Il convient de remarquer que, la diffrence des photons qui peuvent tre mis ou absorbs au cours d'une exprience, les corpuscules matriels ne peuvent pas tre cres ou dtruits : lorsqu'un filament chauff met des lectrons, ceux-ci prexistent dans le filament; de mme, un lectron absorb par un compteur ne disparat pas, mais se retrouve dans un atome ou participe un courant lectrique. En ralit, la thorie de la relativit enseigne qu'il est possible de crer et d'annihiler des corpuscules matriels : par exemple un photon d'nergie suffisante, passant prs d'un atome, peut se matrialiser en une paire lectron-positron; inversement, le positron, rencontrant un lectron, s'annihile avec lui en donnant des photons. Cependant, nous avons indiqu au dbut de ce chapitre que nous nous limiterions ici au domaine quantique nonrelativiste, et nous avons effectivement trait de faon dissymtrique le temps et les coordonnes d'espace. Dans le cadre de la mcanique quantique non-relativiste, les particules matrielles ne peuvent tre ni cres ni annihiles. Cette loi de conservation, nous le verrons, joue mme un rle de premier plan; la ncessit de l'abandonner est l'une des difficults importantes que l'on rencontre lorsqu'on chercher construire une mcanique quantique relativiste.

Particule libre
Considrons une particule dont l'nergie potentielle est nulle (ou a une valeur constante) en tout point de l'espace. La particule n'est donc soumise aucune force; on dit qu'elle est libre.

Lorsque

, l'quation de Schdinger devient :

(1.23)

Cette quation diffrentielle admet visiblement des solutions de la forme : (1.24)

(o

est une constante) condition que

et

soient lis par la relation : (1.25)

Remarquons que, d'aprs les relations de L. de Broglie [voir (1.12)], la condition (1.25) exprime que l'nergie et l'impulsion en mcanique classique : d'une particule libre vrifient l'galit bien connue

(1.26)

Nous reviendrons plus loin (1.4) sur l'interprtation physique d'un tat de la forme (1.24); nous voyons dj que, comme (1.27)

une onde plane de ce type reprsente une particule dont la probabilit de prsence est uniforme dans tout l'espace (voir remarque ci-dessus) Le principe de superposition indique que toute combinaison linaire d'ondes planes vrifiant (1.25) sera aussi solution de l'quation (1.23). Une telle superposition peut s'crire :

(1.28)

reprsente par dfinition l'lment de volume infinitsimal dans l'espace des

); , qui peut tre complexe, doit tre suffisamment rgulire pour que l'on puisse driver sous le signe somme. On peut d'ailleurs dmontrer que toute solution de carr sommable peut tre crite sous la forme (1.28). Une fonction d'onde telle que (1.28), superposition d'ondes planes, est appele un paquet d'ondes trois dimensions. Pour simplifier, nous allons souvent tre amens tudier le cas d'un paquet d'ondes une dimension, obtenu par superposition d'ondes planes se propageant toutes paralllement ; la fonction d'onde ne dpend alors plus que de et de :

(1.29)

Dans le paragraphe suivant, nous allons nous intresser la forme du paquet d'ondes un instant donn; si nous choisissons cet instant comme origine des temps, la fonction d'onde s'crit : (1.30)

On voit que

est simplement la transforme de Fourier de

: (1.31)

Par suite, la validit de la formule (1.30) n'est pas limite au cas de la particule libre : quel que soit le potentiel, on peut toujours crire sous cette forme. Les consquences que nous allons en tirer aux 1.3.2 et 1.4 ci-dessous sont donc parfaitement gnrales.
REMARQUE :

Une onde plane du type (1.24), dont le module est constant dans tout l'espace [cf. (1.27)] n'est pas de carr sommable; en toute rigueur, elle ne peut donc reprsenter un tat physique pour la particule (de mme, en optique, une onde plane monochromatique n'est pas physiquement ralisable). Par contre, une superposition d'ondes planes, comme (1.29), peut parfaitement tre de carr sommable.

Forme du paquet d'ondes un instant donn

La forme du paquet d'ondes est donne par la dpendance en l'galit (1.30). Supposons que de dfinie par

ait l'allure reprsente sur la figure 3, c'est--dire et dont la largueur (dfinie

prsente un pic prononc dont le maximum est situ en par exemple mi-hauteur) a pour valeur .

Commenons par chercher comprendre qualitativement le comportement de

en

tudiant un cas particulier trs simple : , au lieu d'tre la superposition d'une infinit d'ondes planes comme dans la formule (1.30), est la somme de trois ondes planes

seulement; ces ondes planes ont pour vecteurs d'onde amplitudes respectives sont proportionnelles et

, . On a alors :

, et leurs

(1.32)

On voit que est maximal lorsque ; ce rsultat est d au fait que, lorsque prend cette valeur, les trois ondes sont en phase et interfrent constructivement, comme le montre la figure 4. Au fur et mesure que l'on s'carte de la valeur , les ondes se dphasent l'une par rapport l'autre, et destructive lorsque le dphasage entre lorsque , tant donn par : et dcrot. L'interfrence devient compltement est gal : s'annule

(1.33)

Cette formule indique que la largeur

de la fonction

(distance entre deux zros de est plus petite.

) est d'autant plus grande que la largeur

REMARQUE :

de la fonction

La formule (1.32) montre que

est priodique en

, et prsent donc une srie

de maximums et minimums. Ceci provient du fait que est la superposition d'un nombre fini d'ondes (ici trois); pour une superposition continue d'une infinit d'ondes, comme dans la formule (1.30), un tel phnomne ne se produit pas, et n'avoir qu'un seul maximum. peut

Revenons maintenant au paquet d'ondes gnral de la formule (1.30); sa forme rsulte aussi d'un phnomne d'interfrences : interfrent de manire constructive. est maximal lorsque les diffrentes ondes planes

Soit en effet

l'argument de la fonction

: (1.34)

Supposons que

varie de faon suffisamment rgulire dans l'intervalle o est apprciable; on peut alors, lorsque au voisinage de : (1.35) est

suffisamment petit, dvelopper

ce qui permet de rcrire (1.30) sous la forme : (1.36)

avec : (1.37)

La forme (1.36) est commode pour tudier les variations de

en fonction de

lorsque est grand, la fonction de intgrer oscille un trs grand nombre de fois dans l'intervalle ; on voir alors que les contributions des oscillations successives s'annulent entre elles et que l'intgrale sur prend une valeur ngligeable. En d'autres termes, lorsque est fix une valeur loigne de , les phases des diverses ondes qui composent , et ces ondes se dtruisent par

varient trs rapidement dans le domaine

interfrence. Par contre, si et est maximal.

, la fonction intgrer sur

n'oscille pratiquement plus,

La position

du centre du centre du paquet d'ondes est donc :

(1.38)

En pratique, le rsultat (1.38) peut tre retrouv par un raisonnement trs simple. Une intgrale comme celle qui apparat dans (1.30) sera maximale (en module) lorsque les ondes d'amplitude la plus grande, c'est--dire celles qui correspondent voisin de , interfrent de manire constructive. Ceci se produit lorsque la phase de ces ondes, qui dpend de , ne varie pratiquement pas autour de . Pour obtenir le centre du paquet d'ondes, on crit donc (condition de phase stationnaire) que la drive par rapport de la phase s'annule en . Dans le cas particulier qui nous occupe, la phase de l'onde correspondant , et . est la valeur de qui annule la drive est

prise pour

Lorsque si lorsque :

s'carte de la valeur

dcrot; cette dcroissance devient apprciable parcourt le domaine , c'est--dire

oscille peu prs une fois lorsque

(1.39)

Si

est la largeur approximative du paquet d'ondes, on a donc : (1.40)

Nous retrouvons ainsi une relation classique entre les largeurs de deux fonctions transformes de Fourier l'une de l'autre. Le fait important est que le produit est born infrieurement; la valeur exacte de cette borne dpend bien sr de la dfinition prcise des largeurs et .

Un paquet d'ondes tel que (1.29) reprsente donc l'tat d'une particule dont la probabilit de prsence, l'instant , est pratiquement nulle en dehors d'un intervalle de largeur approximative
REMARQUE :

centr sur la valeur

Le raisonnement prcdent pourrait faire croire que le produit est toujours de l'ordre de 1. Insistions sur le fait qu'il s'agit l d'une limite infrieure : s'il est impossible de construire des paquets d'ondes o le produit soit ngligeable devant , il est parfaitement possible d'en construire pour lesquels ce produit est aussi grand qu'on le dsire. C'est pourquoi (1.40) est crit sous forme d'une ingalit.

Relation d'incertitude de Heisenberg

L'ingalit (1.40) a, en mcanique quantique, des consquences physiques extrmement importantes; nous nous proposons de les discuter maintenant (nous restons pour simplifier dans le cadre d'un modle une dimension). Nous avons vu qu'une onde plane correspond une densit de probabilit constante sur l'axe , quel que soit ; on peut exprimer grossirement ce rsultat en disant que la valeur de correspondante est infinie. Par contre, il y intervient une seule pulsation et un seul vecteur d'onde ; d'aprs les relations de L. de Broglie, cela signifie que

l'nergie et l'impulsion de la particule sont bien dtermines : et . Une telle onde plane peut d'ailleurs tre considre comme un cas particulier de (1.29), pour lequel est une fonction delta : (1.41)

La valeur correspondante de

est alors nulle.

Mais on peut aussi interprter cette proprit de la faon suivante, dans le cadre du principe de dcomposition spectrale. Dire qu'une particule, dcrite par la fonction d'onde , possde une impulsion bien dtermine, c'est dire qu'une mesure de l'impulsion cet instant donnera propre correspondant coup sr. On en dduit que caractrise l'tat

. Comme, d'autre part, il existe une onde plane pour toute

valeur relle de , les valeurs propres que l'on peut attendre a priori dans une mesure de l'impulsion sur un tat quelconque sont toutes les valeurs relles (dans ce cas, il n'y a pas quantification des rsultats possibles : comme en mcanique classique, toutes les valeurs de l'impulsion sont permises).

Considrons alors la formule (1.30). Elle fait apparatre

comme une superposition est .

linaire des fonctions propres de l'impulsion, dans laquelle le coefficient de On est donc amen interprter trouver si l'on mesure

( un facteur constant prs) comme la probabilit de l'impulsion d'une particule dont l'tat est dcrit par comme pour forment un ensemble

. En ralit, les valeurs possibles pour continu, et

est proportionnel une densit de probabilit : la probabilit .

d'obtenir une valeur comprise entre et est, un facteur prs, Plus prcisment, si l'on rcrit la formule (1.30) sous la forme :

(1.42)

on sait que

et

vrifient l'galit de Bessel-Parseval : (1.43)

Si la valeur commune des ces intgrales est pour que la particule soit trouve,

, et

est la probabilit ; de mme : (1.44)

, entre

est la probabilit pour que la mesure de l'impulsion donne un rsultat compris entre [l'galit (1.43) assure alors que la probabilit totale pour trouver une valeur quelconque est bien gal ]. Revenons maintenant l'ingalit (1.40). On peut l'crire :

et

(1.45)

( est la largeur de la courbe reprsentative de ). Considrons une particule dont l'tat est dfini par le paquet d'ondes (1.42); nous savons que sa probabilit de prsence, , est apprciable seulement dans une rgion de largeur autour de : sa position est connue avec une incertitude . Si l'on mesure l'impulsion de cette particule

au mme instant, on peut trouver une valeur comprise entre puisque

et

est pratiquement nul en dehors de cet intervalle : l'incertitude sur l'impulsion

est donc . L'interprtation de la relation (1.45) est alors la suivante : il est impossible de dfinir un instant donn la fois la position de la particule et son impulsion avec une prcision arbitraire; lorsque la limite infrieure impose par (1.45) est atteinte, augmenter la prcision sur la position (faire dcrotre ) implique que la prcision sur l'impulsion diminue ( Heisenberg. crot), et vice-versa. Cette relation est appele relation d'incertitude de

On ne connat rien de tel en mcanique classique. La limitation exprime par (1.45) provient du fait que n'est pas nul; c'est la trs petite valeur de l'chelle macroscopique qui rend cette limitation totalement ngligeable en mcanique classique. REMARQUE :

L'ingalit (1.40) dont nous sommes partis n'a rien, en elle-mme, de typiquement quantique. Elle ne fait qu'exprimer une proprit gnrale des transformes de Fourier, dont il existe de nombreuses applications en physique classique : il est par exemple bien connu en radio-lectricit qu'il n'existe pas de train d'ondes lectromagntiques dont on puisse dfinir au mme instant la position et la longueur d'onde avec une prcision infinie. Ce qui est quantique, c'est d'associer une onde une particule matrielle, et d'imposer la longueur d'onde et l'impulsion de satisfaire la relation de L. de Broglie.

Espace des fonctions d'onde d'une particule

L'interprtation probabiliste de la fonction d'onde chapitre prcdent : d'une particule a t donne au , la

reprsente la probabilit pour que, l'instant

particule soit trouve dans le volume autour du point . La probabilit totale de trouver la particule dans tout l'espace tant gale , on doit avoir : (2.1)

o l'intgrale est tendue tout l'espace. Nous somme ainsi amens tudier l'ensemble des fonctions de carr sommable, c'est--dire des fonctions pour lesquelles l'intgrale (2.1) converge2.1. D'un point de vue physique, il est clair que l'ensemble signification attribue est trop vaste : tant donn la

, les fonctions d'onde effectivement utilises possdent

certaines proprits de rgularit. On peut ne garder que les fonctions partout dfinies, continues, et mme indfiniment drivables (par exemple, affirmer qu'une fonction est vraiment discontinue en un point donn de l'espace n'a aucun sens physique, aucune exprience ne permettant d'avoir une ide sur les phnomnes rels une chelle trs petite, disons m); il est galement possible de se limiter aux fonctions d'onde support born (on est sr que la particule se trouve dans une rgion finie de l'espace, par exemple le laboratoire). Nous ne chercherons pas prciser ici ces conditions supplmentaires dans le cas gnral et nous appellerons l'ensemble des fonctions d'onde, constitu par les fonctions suffisamment rgulires de ( est un sous espace de ).

est un espace vectoriel

Il est facile de montrer que par exemple que : satisfait toutes les proprits d'un espace vectoriel. Montrons

Si

et

, alors :

(2.2)

et

tant deux nombres complexes quelconques.

Pour montrer que

est de carr sommable, dveloppons

: (2.3)

Les deux derniers termes de (2.3) ont mme module, qu'on peut majorer par , converge, puisque et est donc infrieur une fonction dont l'intgrale

sont de carr sommable.

Dfinition
A tout couple de deux lments de nombre complexe, not , et , pris dans cet ordre, on associe un

, qui vaut par dfinition : (2.4)

est le produit scalaire de appartiennent ].

par

[cette intgrale converge toujours si

et

Proprits
Elles dcoulent de la dfinition (2.4) : (2.5)

(2.6)

(2.7)

Le produit scalaire est linaire par rapport la deuxime fonction du couple, antilinaire par rapport la premire. Si , on dit que et sont orthogonales. (2.8)

est un nombre rel, positif, qui est nul si et seulement si

s'appelle la norme de [on peut vrifier aisment que ce nombre a toutes les proprits d'une norme]. Le produit scalaire choisi plus haut permet donc de dfinir une norme dans . Mentionnons enfin l'ingalit de Schwarz : (2.9)

l'galit tant ralise si et seulement si les deux fonctions

et

sont proportionnelles.

Dfinition
Un oprateur linaire est, par dfinition, un tre mathmatique qui, toute fonction , la correspondance tant (2.10) , fait correspondre une autre fonction linaire :

(2.11)

Citons quelques exemples simples d'oprateurs linaires : l'oprateur parit dfinitions est :

, dont la

(2.12)

l'oprateur multiplication par

, que nous dsignerons par

, et qui est dfini par : (2.13)

enfin, l'oprateur drivation par rapport dfinition est :

, que nous dsignerons par

, et donc la

(2.14)

[les deux oprateurs et , agissant sur une fonction en une fonction qui n'est plus ncessairement de carr sommable].

, peuvent la transformer

Produit d'oprateurs
Soient deux oprateurs linaires et . Leur produit est dfini par : (2.15)

On fait d'abord agir fonction

sur

, ce qui donne

, puis ensuite

sur la

ainsi obtenue.

En gnral, dfini par

. On appelle commutateur de

et

l'oprateur not

et

(2.16)

Calculons, titre d'exemple, le commutateur quelconque :

. Pour cela, prenons une fonction

(2.17)

Ceci tant vrai quelle que soit

, on en dduit :

Dfinition
Soit un ensemble dnombrable de fonctions de ): , repres par un indice discret (

L'ensemble

est orthonorm si : (2.19)

, symbole de Kronecker, vaut

pour

et 0 pour

Il constitue une base2.2 si toute fonction d'une seule sur les :

peut se dvelopper d'une faon et

Composantes d'une fonctions d'onde sur la base

Multiplions les deux membres de (2.20) par (2.6) et (2.19) il vient2.3 : et intgrons dans tout l'espace. D'aprs

(2.21) c'est--dire : (2.22)

La composante La base composantes

de

sur

est donc gale au produit scalaire de

par

ayant t choisie, il est quivalent de se donner

ou l'ensemble de ses reprsente

sur les fonctions de base. On dit que l'ensemble des nombres . REMARQUES :

dans la base (vii)

On notera l'analogie avec une base orthonorme trois dimensions. Le fait que effet s'exprimer par : , et

de l'espace ordinaire sont orthogonaux et unitaires peut en (2.23)

Tout vecteur

de

se dveloppe sur les

: (2.24)

avec

(2.25)

Les formules (2.19), (2.20) et (2.22) gnralisent donc en quelque sorte les formules bien connues (2.23), (2.24) et (2.25). Il faut noter cependant que les nombres rels, alors que les (viii) La mme fonction a videmment des composantes diffrentes dans deux bases diffrentes. Nous tudierons plus loin le problme du changement de base. (ix) On peut galement, dans la base , reprsenter un oprateur linaire par un ensemble de nombre qui peuvent tre rangs sous forme d'une matrice. Nous reprendrons cette question au 2.3, aprs avoir introduit les notations de Dirac. sont des nombres complexes. sont des

Expression du produit scalaire en fonction des composantes

Soient et deux fonctions d'onde dont les dveloppements s'crivent :

(2.26)

On peut calculer leur produit scalaire en utilisant (2.6), (2.7) et (2.19) :

(2.27)

c'est--dire : (2.28)

En particulier :

(2.29)

Le produit scalaire de deux fonctions d'onde (ou encore le carr de la norme d'une fonction d'onde) s'exprime donc trs simplement en fonction des composantes de ces fonctions dans la base

. REMARQUE : Soient et deux vecteurs de , de composantes analytique de leur produit scalaire est bien connue : et . L'expression

(2.30)

La formule (2.28) peut donc tre considre comme une gnralisation de (2.30).

Relation de fermeture
La relation (2.19), dite relation d'orthonormalisation, exprime que les fonctions de l'ensemble sont normes et orthogonales entre elles. Nous allons tablir maintenant une autre relation, dite relation de fermeture, qui exprime que cet ensemble constitue une base.

Si fonction

est une base dans

, il existe un dveloppement tel que (2.20) pour toute

. Reportons, dans (2.20), l'expression (2.22) des diverses composantes figure dj dans (2.20)] :

[il faut changer le nom de la variable d'intgration, puisque

(2.31)

En intervertissant

et

, on obtient :

(2.32)

est donc une fontion , on ait :

de

et de

telle que, pour toute fonction

(2.33)

L'quation (2.33) est caractristique de la fonction

. On en dduit : (2.34)

Rciproquement, si un ensemble orthonorm

vrifie la relation de fermeture (2.34), quelconque sous la forme :

il constitue une base. En effet, on peut crire une fonction

(2.35)

En reportant l'expression (2.34) de , on obtient la formule (2.32), et il suffit d'intervertir nouveau sommation et intgration pour revenir (2.31). Cette quation exprime alors que peut toujours tre dveloppe sur les dveloppement. REMARQUE :

, et donne les coefficients de ce

Nous reprendrons la relation de fermeture avec les notations de Dirac au 2.3, et nous verrons qu'on peut en donner une interprtation gomtrique simple.

Introduction de bases n'appartenant pas

Les bases tudies plus haut sont constitues de fonctions de carr sommable. Il peut tre galement commode d'introduire des bases de fonctions n'appartenant ni , ni , mais sur lesquelles on peut nanmoins dvelopper toute fonction d'onde . Nous allons donner des exemples de telles bases et montrer comment on peut leur tendre les formules importantes tablies au paragraphe prcdent.

Exemple des ondes planes

Raisonnons pour simplifier une dimension. nous tudions donc des fonctions de carr sommable, , qui ne dpendent que de la variable . Nous avons vu au chapitre I tout de :

l'intrt qu'il y avait introduire la transforme de Fourier

(2.36)

(2.37)

Considrons la fonction

dfinie par :

(2.38)

est une onde plane, de vecteur d'onde

. L'intgrale tendue tout l'axe

de

diverge. Donc

. Nous dsignerons par

l'ensemble

de toutes les ondes planes, c'est--dire de toutes les fonctions

correspondant aux

diverses valeurs de

; p, qui varie continment de

, sera considr comme un [rappelons

indice continu permettant de reprer les diverses fonctions de l'ensemble que l'indice utilis pour l'ensemble tudi plus haut tait discret].

On peut rcrire les formules (2.36) et (2.37) en utilisant (2.38) :

(2.39)

(2.40)

Ces deux formules peuvent tre rapproches de (2.20) et (2.22). L'galit (2.39) exprime que toute fonction peut tre dveloppe d'une faon et d'une seule sur les variant de faon continue et non discrte, la ,

c'est--dire sur les ondes planes. L'indice

sommation

figurant dans (2.20) est remplace par une intgration sur de sur

. L'galit (2.40)

donne, comme (2.22), la composante scalaire2.4 possibles de .

sous la forme du produit

; l'ensemble de ces composantes, correspondant aux diverses valeurs , constitue une fonction de , , qui est la transforme de Fourier de

est donc l'analogue de

. Ces deux nombres complexes, qui dpendent soit de

, soit

de , reprsentent les composantes de la mme fonction et .

sur les deux bases diffrentes

Ce point apparat galement de faon claire si l'on calcule le carr de la norme de D'aprs l'galit de Parseval, on a en effet :

(2.41)

formule qui ressemble (2.29), condition de remplacer

par

et

par

Montrons que les

vrifient une relation de fermeture. En effet, en utilisant la formule :

(2.42)

on trouve : (2.43)

Cette formule est l'analogue de (2.34) avec, cette fois encore, la substitution de

Calculons enfin le produit scalaire pour voir s'il existe un quivalent de la relation d'orthonormalisation. En utilisant encore (2.42), on obtient :

(2.44)

soit : (2.45)

Comparons (2.45) et (2.19). Au lieu d'avoir deux indices discrets et Kronecker , on a maintenant deux indices continues . Notons que si l'on fait et

et un symbole de

et une fonction delta de la , le produit scalaire

diffrence des indices,

diverge; on retrouve bien le fait que . Bien que cela constitue un abus de langage, nous appellerons dans la suite (2.45) une relation d'orthonormalisation. On dit aussi quelquefois que les sont orthonorms au sens de Dirac.

La gnralisation trois dimensions ne prsente pas de difficults. On considre les ondes planes :

(2.46)

Les fonctions de la base suivantes :

dpendent maintenant des trois indices continus . On dmontre alors aisment les formules

, condenss dans la notation

(2.47)

(2.48)

(2.49)

(2.50)

(2.51)

qui gnralisent (2.39), (2.40), (2.41), (2.43) et (2.45).

On peut donc considrer que les

constituent une base continue. Toutes les formules

tablies plus haut pour la base discrte peuvent tre tendues cette base continue moyennant les rgles de correspondance rsumes dans le tableau (2.1). Tableau 2.1:

Exemple des fonctions delta

Introduisons de mme un ensemble de fonction de (notation condense pour , , repres par l'indice

) et dfinies par : (2.52)

reprsente l'ensemble des fonctions delta centres aux divers points n'est videmment pas de carr sommable : .

de l'espace;

Considrons alors les galits suivantes valables pour toute fonction

appartenant

(2.53)

(2.54)

On peut les rcrire d'aprs (2.52), sous la forme : (2.55)

(2.56)

(2.55) exprime que toute fonction suivante les

peut se dvelopper d'une faon et d'une seule sur la fonction (on a

. (2.56) indique que la composante de

ici affaire de base relles) est prcisment la valeur de au point . (2.55) et (2.56) sont analogues (2.20) et (2.22) : on remplace simplement l'indice discret par l'indice

continu

, et

par

est donc l'quivalent de

: ces deux nombres complexes, qui dpendent soit de dans deux bases

soit de , reprsentent les composantes de la mme fonction diffrentes et .

La formule (2.29) devient ici :

(2.57)

La dfinition (2.4) du produit scalaire apparat alors simplement comme l'application de (2.29) au cas de la base continue .

Notons enfin que les du mme type que celles des

satisfont des relations d'orthonormalisation et de fermeture ; on a en effet :

(2.58)

et : (2.59)

Toutes les formules tablies pour la base discrte base continue (2.2).

ont donc pu tre gnralises la

moyennant les rgles de correspondance rsumes dans le tableau Tableau 2.2:

REMARQUE IMPORTANTE

L'utilit des bases continues que nous venons d'introduire apparatra plus clairement par la suite. Il ne faut pas perdre de vue cependant le point suivant : un tat physique doit toujours correspondre une fonction d'onde de carr sommable. En aucun cas ou ne peuvent reprsenter l'tat d'une particule. Ce sont uniquement des intermdiaires de calcul trs commodes pour les oprations effectuer sur les fonctions d'onde qui, elles, sont susceptibles de dcrire un tat physique.

Une situation analogue se rencontre en optique classique o l'onde plane monochromatique est une idalisation trs commode mathmatiquement mais jamais ralisable physiquement : mme les filtres les plus slectifs laissent toujours passer une bande de frquence trs petite mais non strictement nulle.

Il en est de mme pour les fonctions

. On peut imaginer une fonction d'onde de , par exemple

carr sommable, extrmement localise autour de

o les

sont des fonctions prsentant un pic de largeur ou , et telles que

et de hauteur . Quand

, centr en ,

qui n'est plus de carr sommable. Mais en fait, il est impossible de raliser un tat physique correspondant cette limite : aussi localis que soit l'tat physique d'une particule, n'est jamais strictement nul.

Gnralisation : bases orthonormes continues

Dfinition
Gnralisant les rsultats obtenus dans les deux paragraphes prcdents, nous appellerons base orthonorme continue un ensemble de fonctions de , , repres par un indice continu et satisfaisant aux deux relations suivantes dites d'orthonormalisation et de fermeture : (2.60)

(2.61)

REMARQUES :

(x) Si (xi) peut reprsenter plusieurs indices, comme c'est le cas pour exemples ci-dessus. (xii) et dans les , diverge. Donc .

On peut imaginer des bases comportant la fois des fonctions indice discret, et des fonctions l'ensemble des

, repres par un

repres par un indice continu. Dans ce cas, .

ne forme pas une base; il faut lui ajouter l'ensemble des

Dans le cas d'une base mixte, discrte et continue, d'orthonormalisation s'crivent :

, les relations

(2.62)

Quant la relation de fermeture, elle devient :

Composantes d'une fonction d'onde

On peut toujours crire : (2.64)

En reportant l'expression de intervertir et

donne par (2.61) et en admettant qu'on peut

, on obtient :

soit : (2.65)

avec

(2.66)

(2.65) exprime que toute fonction d'onde , la composante scalaire . de sur

se dveloppe d'une faon et d'une seule sur les tant gale d'aprs (2.66) au produit

Expression du produit scalaire et de la norme en fonction des composantes

Soient les : (2.67) et deux fonctions de carr sommable dont on connat les composantes sur

(2.68)

Calculons leur produit scalaire :

(2.69)

La dernire intgrale est donne par (2.60) : (2.70)

c'est--dire :

(2.71)

En particulier : (2.72)

Toutes les formules du 2.1.2 gnralisent donc, suivant les rgles de correspondance du tableau 2.3 Tableau 2.3:

Les formules les plus importantes tablies dans ce 2.1 sont rassembles dans le tableau 2.4. En fait, il n'est pas ncessaire de les retenir sous cette forme : nous verrons que l'introduction des notations de Dirac permet de les retrouver trs simplement. Tableau 2.4: Base discrte Relation d'orthonormalisati on Relation de fermeture Dveloppement d'une fonction d'onde Expression des composantes de Base continue

Produit scalaire

Carr de la norme

Espace des tats. Notations de Dirac

Introduction
Au chapitre I, nous avons nonc le postulat : l'tat quantique d'une particule est dfini, un instant donn, par une fonction d'onde . L'interprtation probabiliste de cette fonction d'onde exige qu'elle soit de carr sommable, ce qui nous a conduits l'tude de l'espace (2.1). Nous avons alors trouv, en particulier, qu'une mme fonction peut tre reprsent par plusieurs ensembles distincts de composantes, correspondant chacun au choix d'une base [tableau 2.5]. On peut interprter ce rsultat de la manire suivante : la donne de , ( ) ou (si l'on a spcifi auparavant quelle base on utilise) caractrise tout . D'ailleurs, , ( ) et elle: la valeur

aussi bien l'tat d'une particule que celle de la fonction d'onde mme apparat, dans le tableau 2.5, sur le mme plan que que prend la fonction d'onde au point

de l'espace peut tre considre comme sa

composante suivante une fonction dtermine d'une base particulire [base des fonctions delta, cf. 2.52]. Tableau 2.5: Base Composantes de

Nous nous trouvons alors dans une situation analogue celle que l'on connat bien pour l'espace ordinaire : la position d'un point dans l'espace peut tre repre par un ensemble de trois nombre, qui sont ses coordonnes par rapport un systme d'axes dfini l'avance; si l'on change de repre, au mme point correspondra un autre ensemble de coordonnes. Mais la notion de vecteur gomtrique et le calcul vectoriel permettent de s'affranchir de la rfrence un systme d'axes, ce qui simplifie considrablement les formules et les raisonnements. C'est une dmarche de ce type que nous allons entreprendre ici : tout tat quantique d'une particule sera caractris par un vecteur d'tat, appartenant un espace abstrait espace des tats d'une particule. Le fait que l'espace soit un sous espace de , appel entrane que

est un sous espace de Hilbert. Nous allons dfinir les notations et les rgles du calcul vectoriel dans .

En ralit, l'introduction des vecteurs d'tat et de l'espace des tats n'apporte pas seulement une simplification du formalisme. Elle permet aussi sa gnralisation. En effet, il existe des systmes physiques dont la description quantique ne peut pas se faire partir d'une fonction d'onde : nous verrons que c'est le cas, mme si l'on a affaire une seule particule, lorsque l'on tient compte des degrs de libert de spin. Par consquent, le premier postulat que nous poserons au chapitre 3 sera le suivant : l'tat quantique d'un systme physique quelconque est caractris par un vecteur d'tat, appartenant un espace qui est l'espace des tats du systme. Nous allons donc, dans le reste de ce chapitre, dvelopper le calcul vectoriel dans . Les notions que nous allons introduire et les rsultats que nous obtiendrons sont valables quel que soit le systme physique considr. Toutefois, pour illustrer ces notions et rsultats, nous les appliquerons au cas simple d'une particule (sans spin), puisque c'est celui que nous avons tudi jusqu'ici. Nous commenons, dans ce paragraphe, par dfinir les notations de Dirac, qui vont s'avrer trs commodes pour les manipulations formelles que nous aurons faire.

Vecteurs ket et vecteurs bra

lments de : kets

Notation
Un lment quelconque, ou vecteur, de l'espace ket. On le note par le symbole est appel vecteur-ket, ou plus simplement , en mettant l'intrieur un signe distinctif permettant de .

caractriser le ket correspondant par rapport tous les autres, par exemple :

En particulier, puisque la notion de fonction d'onde nous est maintenant familire, nous allons dfinir l'espace des tats d'une particule en associant toute fonction de carr sommable de . (2.73)

un vecteur-ket

Nous transposerons ensuite dans

les diffrentes oprations que nous avons introduites pour

. Bien que et soient isomorphes, nous les distinguerons soigneusement pour viter les confusions et mnager les possibilits de gnralisation mentionnes au 2.2.1 ci-dessus. Insistons sur le fait qu'il n'apparat plus dans seulement la lettre de dpendance par rapport , mais

qui rappelle quelle fonction il est associ :

sera interprte

(2.6) comme l'ensemble des composantes du ket sur une base particulire, jouant le rle d'un indice [cf. 2.1.3 et tableau 2.5]. Par consquent, la procdure que nous adoptons pour dfinir un vecteur consiste le caractriser au dpart par ses composantes dans un systme d'axes privilgi, qui sera par la suite ramen sur le mme plan que tous les autres systmes d'axes. Nous dsignerons par l'espace des tats d'une particule (sans spin) une seule dimension, c'est--dire l'espace abstrait construit comme en 2.2.1, mais partir des fonctions d'onde dpendant de la seule variable .

Produit scalaire
A tout couple de deux kets qui est leur produit scalaire et pris dans cet ordre, on associe un nombre complexe, , satisfaisant aux diverses proprits dcrites par les

quations (2.5), (2.6) et (2.7); nous rcrirons plus loin ces formules, dans la notation de Dirac, aprs avoir introduit la notion de bra. Dans , le produit scalaire de deux kets concidera avec celui qui a t dfini plus haut pour les fonctions d'onde associes.

lments du dual

de

: bras

Dfinition du dual
Rappelons tout d'abord ce qu'est une fonctionnelle linaire dfinie sur les kets fonctionnelle linaire complexe : est une opration linaire qui, tout ket de . Une

, associe un nombre

nombre (2.74)

Il ne faut pas confondre fonctionnelle linaire et oprateur linaire. Il s'agit dans les deux cas d'oprations linaires, mais tout ket la premire associe un nombre complexe, alors que la deuxime associe un autre ket.

On peut montrer que l'ensemble des fonctionnelles linaires dfinies sur les kets constitue un espace vectoriel, que l'on appelle espace dual de et que l'on note

Notation bra pour les vecteurs de

Un lment quelconque, ou vecteur, de l'espace bra. On le note par le symbole est appel vecteur-bra ou plus simplement dsigne la fonctionnelle linaire . Par exemple, le bra

et nous utiliserons dornavant la notation agir la fonctionnelle linaire sur le ket

pour dsigner le nombre obtenu en faisant : (2.75)

En anglais, le symbole bra pour la partie gauche

s'appelle bracket (crochet), d'o l'origine de la dnomination , ket pour la partie droite de ce symbole.

Correspondance entre kets et bras

A tout ket correspond un bra

L'existence d'un produit scalaire dans ket va nous permettre de montrer maintenant qu' tout , c'est--dire un bra, que l'on notera .

, on peut associer un lment de

En effet, le ket permet de dfinir une fonctionnelle linaire : celle qui, tout fait correspondre (de faon linaire) un nombre complexe gale au produit scalaire de relation par . Soit

cette fonctionnelle linaire; elle est donc dfinie par la

Cette correspondance est antilinaire

Dans l'espace , le produit scalaire est antilinaire par rapport au premier vecteur. Ceci s'crit, dans la notation (2.76) :

(2.77)

Il ressort de (2.77) que le bra associ au ket :

est le bra

(2.78)

La correspondance ket
REMARQUE :

bra est donc antilinaire.

Si

est un nombre complexe, et

un ket, :

est un ket (

est un espace

vectoriel). On est amen parfois le noter

(2.79)

Il faut alors prendre gadre au fait que reprsente le bra associ au ket correspondance entre ket et bra tant antilinaire, on a donc :

. La

(2.80)

Notation de Dirac pour le produit scalaire

Nous disposons maintenant de deux notations distinctes pour dsigner le produit scalaire de par : ou , tant le bra associ au ket . Dornavant nous

utiliserons uniquement la notation , dite de Dirac. Le tableau 2.6 rsume, en notations de Dirac, les proprits du produit scalaire, dj donnes au 2.1.1. Tableau 2.6:

A tout bra correspond-il un ket?

Si tout ket correspond un bra, nous allons voir sur deux exemples choisi dans , qu'on peut trouver des bras auxquels ne correspondent pas de kets. Nous montrerons ensuite pourquoi cette difficult n'est pas gnante en mcanique quantique. (viii) Contre-exemples choisis dans Nous raisonnerons pour simplier une dimension.

Soit

une fonction relle suffisamment rgulire, telle que

et ayant la forme d'un pic de largeur , centr en carr de sa norme est de l'ordre de correspondant : [voir la fig. 1]. Si ,

, de hauteur (le le ket

); dsignons par

(2.81)

Si a:

. soit

le bra associ ce ket; pour tout

, on

(2.82)

Faisons maintenant tendre

vers zro. D'une part : (2.83)

[le carr de la norme de quand ]; donc :

, qui est de l'ordre de

, diverge (2.84)

D'autre part, l'intgrale (2.87) tend, lorsque dfinie par noterons de : , la valeur [puisque, pour

, vers une limite parfaitement

suffisamment petit, on peut remplacer dans (2.87) tend vers un bra que nous

et le sortir de l'intgrale]. Par suite,

est la fonctionnelle linaire qui fait correspondre, tout ket prise au point par la fonction d'onde associe : (2.85)

Si

(2.86)

On voit donc que le bra

existe, mais qu'il ne lui correspond pas de ket.

Considrons de mme une onde plane tronque en dehors d'un intervalle de largeur :

(2.87) si

la fonction

s'annulant rapidement (tout en restant continue et drivable) le ket associ : (2.88)

l'extrieur de cet intervalle. Nous noterons

Le carr de la norme de . Donc :

, qui vaut pratiquement

, diverge si (2.89)

tudions maintenant le bra

associ

. Pour tout

, on a :

(2.90)

Quand Fourier de

, pour

a une limite : la valeur . Donc :

de la transforme de , vers

tend, lorsque

un bra parfaitement dfini

(2.91)

Si

(2.92)

Ici encore, aucun ket ne correspond au bra (ix) Solution physique aux difficult prcdentes

Cette dissymtrie de la correspondance entre kets et bra est lie, comme le montrent les exemples prcdents, l'existence de bases continues pour constituant ces bases n'appartiennent pas un ket de : les fonctions

, et on ne peut donc pas leur associer est

; pourtant, leur produit scalaire avec une fonction quelconque de

dfini, ce qui permet de leur associer une fonctionnelle linaire dans

, c'est--dire

un bra appartenant . La raison pour laquelle on utilise de telles bases continues tient leur commodit pour certains calculs pratiques. La mme raison (elle apparatra plus clairement dans la suite) amne ici rtablir la symtrie entre kets et bras en introduisant des ket gnraliss , dfinis partir de fonctions qui ne sont pas de carr sommable, mais dont le produit scalaire avec toute fonction de existe : nous travaillerons donc dans la suite avec des kets tels que ou , associs

ou . Il ne faut pas oublier que ces kets gnraliss ne peuvent pas, strictement parler, reprsenter des tats physique; ce sont seulement des intermdiaires de calcul commodes pour certaines oprations que l'on aura effectuer sur les vritables kets de l'espace ralisables. qui, eux, caractrisent des tats quantiques effectivement

Cette faon de procder pose un certain nombre de problme mathmatiques que l'on peut luder en adoptant le point de vue physique suivante : (ou ) dsigne

en fait (ou ) o est une longueur trs petite (ou une longueur trs grande) devant toutes celles qui interviennent dans le problme tudi; dans tous les calculs intermdiaires o apparaissent (ou ), on ne passe jamais la

limite (ou ), de sorte qu'on travaille toujours dans . Le rsultat physique obtenu la fin du calcul sera trs peu sensible la valeur de , pourvu que celle-ci soit suffisamment petit par rapport toutes les autres longueurs : on pourra alors ngliger , c'est--dire poser dans le rsultat (la procdure est analogue pour ).

On pourrait alors objecter que, contrairement

et

et ne sont pas vraiment des bases dans , dans la mesure o elles ne satisfont pas rigoureusement la relation de fermeture. En fait, elles y obissent de faon approche. En effet, on voit par exemple que l'expression

est une fonction de excellent approximation de

qui peut constituer une

: sa reprsentation graphique est pratiquement

un triangle de base

, de hauteur

, centr en

; si

est ngligeable

devant toutes les longueurs du problme, la diffrence avec inapprciable physiquement. De faon gnrale, le dual de l'espace des tats

sera

ne lui pas isomorphe, sauf bien sr si

est de dimension finie2.5 : si tout ket de correspond un bra dans , la rciproque n'est pas vraie. Toutefois, nous conviendrons d'utiliser, en plus des vecteurs appartenant (dont la norme est finie), des kets gnraliss de norme infinie mais dont le produit scalaire avec tout ket de est fini. Ainsi, chaque bra de correspondra un ket. Mais les kets gnraliss ne reprsentent pas des tats physiques du systme.

Oprateurs linaires
Dfinition

Un oprateur linaire fait correspondre tout ket la correspondance tant linaire :

un autre ket

, (2.93)

(2.94)

produit de deux oprateurs linaires

et

, not

: (2.95)

agit d'abord sur En gnral

pour donner le ket . de et :

agit ensuite sur le ket

Commutateur

(2.96)

lment de matrice de

entre

et

est le produit scalaire :

(2.97)

C'est un nombre qui dpend linairement de

et antilinairement de

Remarque importante sur les notations de Dirac

La simplicit et la commodit du formalisme de Dirac.

Le nombre que la fonctionnelle linaire simplement en juxtaposant les symbole de par le ket correspondant .

associe un ket quelconque et :

s'crit

; c'est le produit scalaire

Si nous nous en tenons la rgle de juxtaposition des symboles, l'expression reprsente un oprateur. En effet, prenons un ket quelconque et considrons : (2.98)

Nous savons dj que

est un nombre complexe; par consquent,

est un ket, obtenu en multipliant par le scalaire . , appliqu un ket quelconque, donne un autre ket : c'est un oprateur. On voit donc que : o l'ordre dans lequel se succdent les symboles a une importance cruciale. o Il n'y a que les nombres complexes dont on peut changer la place sans dommage, cause de la linarit de l'espace et des oprateurs que nous utiliserons; en effet, si est un nombre :

(2.99)

o o

Mais, pour les kets, bras et oprateurs, il faudra toujours bien prendre garde de respecter leur ordre dans l'criture des formules : c'est l le prix de la simplicit dans le formalisme de Dirac.

Projecteur
Considrons l'oprateur

sur un ket
dfini par : (2.100)

est norm l'unit.

Appliquons cet oprateur un ket

quelconque : (2.101)

, agissant sur un ket quelconque proportionnalit

, donne un ket proportionnel par .

; le coefficient de

est le produit scalaire de

La signification gomtrique de orthogonale sur le ket .

est donc claire : c'est l'oprateur de projection

Cette interprtation est confirme par le fait que (projeter deux fois de suite sur un vecteur donn est quivalent projeter une seule fois). En effet : (2.102)

Dans cette expression,

est un nombre, qui vaut d'ailleurs 1. Donc : (2.103)

Projecteur sur un sous-espace

Soient , ,..., , q vecteurs norms, orthogonaux les uns aux autres : (2.104)

Dsignons par Soit

le sous-espace de

sous-tendu par ces

vecteurs.

l'oprateur linaire dfini par :

(2.105)

Calculons (2.106)

ce qui donne : (2.107)

est donc un projecteur. Il est facile de voir que effet, quel que soit :

projette sur le sous-espace

q. En

(2.108)

agissant sur projection de

donne la superposition linaire des projections de sur le sous-espace q.

, c'est--dire la

Conjugaison hermitique
Action d'un oprateur linaire sur un bra
Soi un bra bien dtermin, et considrons l'ensemble de tous les kets . A chacun de

ces kets on peut associer le nombre complexe l'lment de matrice de entre et . Comme

, dj dfini plus haut comme est linaire et que le produit scalaire . Nous

dpend linairement du ket, le nombre pouvons ainsi, et

dpend linairement de

tant fixs, associer tout ket

un nombre qui dpend

linairement de . La donn de et dfinit donc une nouvelle fonctionnelle linaire sur les kets de , c'est--dire un nouveau bra appartenant . Nous noterons ce nouveau bra . La relation dfinissant s'crit donc : (2.109)

L'oprateur Exercice :

associe tout bra

un nouveau bra

Montrez que cette correspondance est linaire. Dmonstration :

Considrons pour cela une combinaison linaire des bras

et

: (2.110)

(ce qui signifie que

). On a d'aprs la dfinition (2.113) :

(2.111)

tant quelconque, on en dduit : (2.112)

L'quation prcdente dfinit donc une opration linaire sur les bras. Remarque :

Avec la dfinition (2.113) de

, on voit que la place de la parenthse dans le entre et n'a pas d'importance. : (2.113)

symbole dfinissant l'lment de matrice de

Aussi dsignerons-nous dsormais cet lment de matrice par la notation

L'ordre relatif de et non , donnerait

et

est trs important dans la notation agissant sur un ket

. Il faut crire donne un nombre

. En effet,

est donc bien un bra. Par contre , c'est--dire un oprateur (l'oprateur

, agissant sur un ket

multipli par le nombre n'a donc

). Nous n'avons pas dfini d'objet mathmatique de cette sorte : pas de signification.

Oprateur adjoint

d'un oprateur linaire

La correspondance entre kets et bras permet d'associer, tout oprateur linaire , un autre oprateur linaire , appel oprateur adjoint (ou conjugu hermitique) de .

Soit en effet

un ket quelconque de de .

. L'oprateur

lui associe un autre ket

Au ket

correspond un bra

; de mme,

correspond

. Cette correspondance sur les bras : au bra

entre kets et bras permet alors de dfinir l'action de l'oprateur correspondant au ket ; on note : , l'oprateur associe le bra .

correspondant au ket

La relation Dmonstration :

est linaire. (Exercice :Dmontrez-le)

En effet, au bra

correspond le ket transforme

(la correspondance en

entre bra et ket est antilinaire). L'oprateur

. A ce ket correspond enfin le bra . On en conclut que : (2.114)

est donc un oprateur linaire, dfini par la formule : (2.115)

On dduit aisment de (2.119) une autre relation importante satisfaite par l'oprateur effet, on peut toujours crire, d'aprs les proprits du produit scalaire :

. En

(2.116)

tant un ket quelconque de obtient :

. En utilisant les expressions (2.119) pour

et

, on (2.117)

relation valable quels que soient Remarque :

et

Nous avons dj mentionn plus haut une notation qui peut prter confusion : , o , o : est un scalaire. Le mme problme se rencontre propos des notations est un oprateur linaire.

et et

est une autre notation pour dsigner le ket

(2.118)

est le bra associ au ket

. En utilisant (2.122) et (2.119), on voit que : (2.119)

Lorsqu'on fait sortir un oprateur linaire adjoint (et le faire sortir droite).

du symbole bra, il faut le remplacer par son

Proprits de la correspondance entre un oprateur et son adjoint

En utilisant (2.119) ou (2.121), on dmontre aisment que : (2.120)

(2.121)

(2.122)

Calculons enfin

AB). Considrons pour cela le ket . Alors :

. crivons-le

, en posant :

(2.123)

car

. On en dduit : (2.124)

Il faut bien noter que l'ordre change quand on prend l'adjoint d'un produit d'oprateurs. Remarque :

Comme

, on peut crire, d'aprs (2.123) : (2.125)

On peut donc rcrire le membre de gauche de (2.113) sous la forme . De mme, le membre de droite de cette mme quation peut-tre mis, avec la notation (2.122), sous la forme de A : . D'o l'quation suivante, utilise quelquefois pour dfinir l'oprateur adjoint

Conjugaison hermitique dans les notations de Dirac

Nous avons introduit au paragraphe prcdent la notion d'oprateur adjoint en utilisant la correspondance entre kets et bras. On dit d'un ket et du bra correspondant qu'ils sont

conjugus hermitiques l'un de l'autre. L'opration de conjugaison hermitique associe . C'est la raison pour laquelle est aussi appel oprateur conjugu hermitique de

L'opration de conjugaison hermitique change l'ordre des objets auxquels on l'applique. Ainsi nous voyons que devient : le ket est chang en , en et, de plus, l'ordre est invers. De mme, nous avons vu en (2.128) que le conjugu hermitique d'un produit de deux oprateurs tait gal au produit des conjugus hermitiques pris dans l'ordre inverse. Montrons enfin que : (2.127)

(on remplace

par

par . Il vient :

et on change l'ordre). En effet, appliquons la relation

(2.123) l'oprateur

(2.128)

Or :

(2.129)

On voit sur (2.125) que l'opration de conjugaison hermitique transforme

en

(conjugaison complexe). Ceci est bien en accord avec le fait que . Dans les notations de Dirac, l'oprateur de conjugaison hermitique est trs simple effectuer; il suffit d'appliquer la rgle suivante : Pour obtenir le conjugu hermitique (ou l'adjoint) d'une expression quelconque comportant des constantes, des kets, des bras, des oprateurs, il faut :

Remplacer o les constantes par leurs complexes conjugues o les kets par les bras associs o les bras par les kets associs o les oprateurs par leurs adjoints Inverser l'ordre des facteurs (la place des constates n'a nanmoins pas d'importance).

Exercice :

Chercher le conjugu hermitique des expressions suivantes :

Oprateurs hermitiques
Un oprateur est dit hermitique s'il concide avec son adjoint, c'est--dire si : (2.130)

En portant (2.134) dans (2.123), on voit qu'un oprateur hermitique satisfait la relation : (2.131)

valable quels que soient

et

Nous verrons que les oprateurs hermitiques jouent un rle fondamental en mcanique quantique.

Si l'on applique la formule (2.131) au cas o est hermitique :

, on voit que le projecteur

(2.132)

Remarque :

Le produit de deux oprateurs hermitiques effet, si n'est gal et que si

et

n'est hermitiques que si

. En , qui

, on dduit de (2.128) que

Reprsentations dans l'espace des tats

Dfinition d'une reprsentation
Choisir une reprsentation, c'est choisir une base orthonorme, discrte ou continue, dans l'espace des tats . Les vecteurs et oprateurs sont alors reprsents dans cette base par des nombres : composantes pour les vecteurs, lments de matrice pour les oprateurs. Le calcul vectoriel devient alors le calcul matriciel sur ces nombres. Le choix d'une reprsentation est en principe arbitraire; en ralit, il dpend videmment du problme tudi : dans chaque cas, on l'effectue de faon simplifier au maximum les calculs.

Relations caractristiques d'une base orthonorme

Relation d'orthonormalisation
Un ensemble discret { }, ou continu, { }, de kets est dit orthonorm si les kets de cet ensemble satisfont la relation d'orthonormalisation : (2.133)

o (2.134)

On voit que, pour un ensemble continu, n'existe pas : les ont une norme infinie et n'appartiennent donc pas . On peut nanmoins dvelopper les vecteurs de sur les , et il est par suite intressant d'admettre les comme kets gnralis.

Relation de fermeture
Un ensemble discret { appartenant }, ou continu, { }, constitue une base si tout ket ou les :

se dveloppe d'une faon et d'une seule suivant les

(2.135)

(2.136)

Supposons de plus la base orthonorme. Multiplions alors scalairement les deux membres de (2.139) par , et ceux de (2.140) par ou . Nous obtenons, en utilisant (2.137) ou : (2.137)

(2.138), les expressions des composantes

(2.138)

Remplaons alors dans (2.139)

par

, dans (2.140)

par

(2.139)

(2.140)

Nous voyons ainsi apparatre deux oprateurs, agissant sur tout ket appartenant quelconque, on en dduit :

et . tant

, qui,

, redonnent le mme ket

(2.141)

(2.142)

o 1I dsigne l'oprateur identit dans . La relation (2.145), ou (2.146), est appele relation de fermeture. Rciproquement, montrons que les relations (2.145) et (2.146) expriment que les ensembles { } et { , on peut crire : } constituent des bases. En effet, pour tout appartenant

(2.143) avec : (2.144)

De mme :

(2.145)

avec : (2.146)

Ainsi, tout ket

peut se dvelopper d'une manire et d'une seule sur les

ou sur les

. Chacun de ces deux ensembles forme donc une base, discrte ou continue. Nous voyons aussi que la relation (2.145), ou (2.146), permet de retrouver immdiatement, sans effort de mmoire, les expressions (2.148) et (2.150) des composantes et .

Le tableau 2.7 rsume les seules formules fondamentales qui doivent tre retenues pour pouvoir effectuer tous les calculs dans la reprsentation { Tableau 2.7: Reprsentation { } Reprsentation { } } ou { }.

Reprsentation des kets et des bras

Reprsentation des kets

Dans la base { }, le ket est reprsent par l'ensemble de ses composantes, c'est--

dire par l'ensemble des nombres . On range tous ces nombres verticalement pour former une matrice une colonne (et en gnral une infinit dnombrable de lignes) :

(2.147)

Dans la base continue {

}, le ket

est reprsent par une infinit continue de . On peut alors tracer un axe . A chacune de ces valeurs

nombres, , c'est--dire par une fonction de vertical sur lequel on repre les diverses valeurs possibles de correspond un nombre, :

(2.148)

Reprsentation des bras

Soit un bra quelconque. Dans la base { }, on peut crire : (2.149)

se dveloppe d'une faon et d'une seule sur les bras , sont les complexes conjugus des composantes .

; les composantes de du ket

, associ

On obtiendrait de mme, dans la base {

}:

(2.150)

Les composantes de du ket

, sont les complexes conjugus des composantes associ .

Nous avons convenu de ranger verticalement les composantes d'un ket. Avant d'indiquer la faon de ranger les composantes d'un bra, montrons comment la relation de fermeture permet de retrouver simplement l'expression du produit scalaire de deux kets en fonction de leurs composantes. On peut en effet toujours mettre 1I entre produit scalaire : et dans l'expression du

(2.151) De mme :

(2.152)

Rangeons horizontalement les composantes ligne ( une ligne et une infinit de colonnes) :

du bra

, pour former une matrice

(2.153)

Avec cette convention,

est le produit, au sens des matrices, de la matrice colonne . On obtient bien alors une matrice

reprsentant par la matrice ligne reprsentant une ligne et une colonne, c'est--dire un nombre.

Dans la base { }, il y a une infinit continue de composantes pour . On tracera un axe horizontal pour reprer les diverses valeurs de . A chacune de ces valeurs correspondra une composante de : (2.154)

REMARQUE :

Dans une reprsentation donne, les matrices reprsentant un ket

et le bra associ

sont hermitiques conjugues l'une de l'autre (au sens des matrices). On passe en effet d'une matrice l'autre en intervertissant lignes et colonnes et en prenant le complexe conjugu de chaque lment.

Reprsentation des oprateurs

Reprsentation de par une matrice carre
} ou { }, lui

tant donn un oprateur linaire , nous pouvons, dans une base { associer une srie de nombres dfinis par :

(2.155)

ou (2.156)

Ces nombres dpendent de deux indices et seront donc rangs en une matrice carre ayant une infinit dnombrable, ou continue, de lignes et de colonnes; la convention habituelle est

que le premier indice repre les lignes et le second les colonnes. Ainsi, dans la base { l'oprateur est reprsent par la matrice :

};

(2.157)

On voit que la transform

me colonne est constitue par les composantes dans la base { du ket de base .

} du

Pour une base continue, on trace deux axes perpendiculaires; un point d'abscisse d'ordonne correspond le nombre :

et

(2.158)

Utilisons la relation de fermeture pour calculer la matrice reprsentant l'oprateur base { }:

dans la

(2.159)

La convention prise plus haut pour ranger les lments

[ou

] est donc bien

cohrente avec celle relative au produit de deux matrices : (2.163) exprime en effet que la matrice reprsentant l'oprateur est le produit des matrices associes et .

Reprsentation matricielle du ket

Le problme est le suivant : connaissant les composantes de dans une reprsentation donne, calculer les composantes de reprsentation. et les lments de matrice de dans la mme

Dans la base {

}, les coordonnes

de

sont donnes par : (2.160)

Il suffit alors d'insrer la relation de fermeture entre

et

pour obtenir :

(2.161)

Pour la base {

}, on obtiendrait de la mme faon :

(2.162)

L'criture matricielle de

est donc trs simple. On voit, par exemple sur

(2.165), que la matrice colonne reprsentant reprsentant

est gale au produit de la matrice colonne :

par la matrice carre reprsentant

(2.163)

Expression du nombre
En insrant la relation de fermeture deux fois, entre d'autre part, on obtient : et d'une part, entre et

pour la base {

}:

(2.164)

pour la base {

}:

(2.165)

Ces formules s'interprtent matriciellement de la faon suivante : est un nombre, c'est--dire une matrice une ligne et une colonne, qu'on obtient en multipliant dans l'ordre la matrice colonne reprsentant reprsentant par la matrice carre reprsentant }: et par la matrice ligne

. Par exemple, dans la base {

(2.166)

REMARQUES :

(xiii) On montrerait de la mme faon que le bra est reprsent par une matrice ligne,

produit de la matrice carre reprsentant par la matrice ligne reprsentant [deux premires matrices du deuxime membre de (2.170)]. On voit de nouveau l'importance de l'ordre des symboles : l'expression conduirait en effet une opration matricielle non dfinie (produit d'une matrice ligne par une matrice carre). (xiv) Du point de vue matriciel, l'galit (2.113) qui dfinit ne fait que traduire l'associativit du produit des trois matrices figurant dans (2.170). (xv) Avec les conventions prcdentes, effet : est reprsent par une matrice carre. En

(2.167)

C'est donc bien un oprateur, alors que matrice ligne, est un nombre.

, produit d'une matrice colonne par une

Reprsentation matricielle de l'adjoint

En utilisant (2.121), on obtient aisment :

de A

(2.168)

ou encore (2.169)

Donc, les matrices reprsentant et dans une reprsentation donne sont hermitiques conjugues l'une de l'autre, au sens des matrices : on passe de l'une l'autre par une conjugaison complexe suivie d'une symtrie par rapport la diagonale principale.

Si

est hermitique, par

, et l'on peut alors remplacer dans (2.173) :

par

dans (2.172), et

(2.170)

(2.171)

Un oprateur hermitique est donc reprsent par une matrice hermitique, c'est--dire telle que deux lments quelconques par rapport la diagonale principale sont complexes conjugus l'un de l'autre. En particulier, pour ou , (2.174) et (2.175) deviennent : (2.172)

(2.173)

Les lments diagonaux d'une matrice hermitique sont donc toujours des nombres rels.

Changement de reprsentation
Dans une reprsentation donne, un ket (ou un bra, ou un oprateur) est reprsent par une matrice. Si l'on change de reprsentation, c'est--dire de base, le mme ket (ou bra, ou oprateur) sera reprsent par une matrice diffrente. Comment ces deux matrices sont-elles relies?

Nous supposerons ici pour simplifier que l'on passe d'une base orthonorme discrte { une autre base orthonorme discrte { donne des composantes de l'ancienne. Nous poserons : }. Le changement de base est dfini par la

de chacun des kets de la nouvelle base sur chacun des kets

(2.174)

est la matrice de changement de base. Si

dsigne son hermitique conjugue : (2.175)

Les calculs qui suivent se font trs aisment, et sans effort de mmoire, en utilisant les deux relations de fermeture : (2.176)

(2.177)

et les deux relations d'orthonormalisation : (2.178)

(2.179)

REMARQUE :

La matrice de changement de base

est unitaire; en effet, elle vrifie : (2.180)

est la matrice unit.

Transformation des composantes d'un ket

Pour obtenir les composantes composantes : d'un ket dans la nouvelle base partir de ses et

dans l'ancienne base, on insre tout simplement (2.180) entre

(2.181) On dmontre de mme les formules inverses l'aide de (2.181)

(2.182)

Transformation des composantes d'un bra

Le principe du calcul est exactement le mme. Par exemple :

Transformation des lments de matrice d'un oprateur

Si, dans part, on obtient : , on insre (2.180) entre et d'une part, et entre et d'autre

(2.184)

soit : (2.185)

De mme :

quations aux valeurs propres

Valeurs propres et vecteurs propres d'un oprateur
On dit que est vecteur propre (ou ket propre) de l'oprateur si : (2.187)

o est un nombre complexe. L'quation prcdente est appele quation aux valeurs propres de l'oprateur linaire . Cette quation n'a en gnral des solutions que lorsque prend certaines valeurs, dites valeurs propres de . L'ensemble des valeurs propres s'appelle le spectre de .

Notons que, si est vecteur propre de avec la valeur propre , (o est un nombre complexe quelconque) est aussi vecteur propre de avec la mme valeur propre : (2.188)

REMARQUE :

Pour s'affranchir de cette indtermination, on pourrait convenir de normer vecteurs propres :

les (2.189)

Mais ceci ne lve pas compltement l'indtermination, puisque quelconque, a mme norme que

, avec

rel

. Nous verrons dans la suite que, en mcanique ou sont les

quantique, les prdictions physiques obtenues partir de mmes.

La valeur propre est qualifie de non-dgnre (ou simple) lorsqu'il lui correspond un vecteur propre unique un facteur multiplicatif prs, c'est--dire lorsque tous les kets propres

associs sont colinaires. Au contraire, s'il existe au moins deux kets linairement indpendants qui soient vecteurs propres de avec la mme valeur propre, celle-ci est dite dgnre; son degr (ou ordre) de dgnrescence est alors le nombre de vecteurs propres linairement indpendants qui lui sont associs (le degr de dgnrescence d'une valeur propre peut tre fini ou infini). Si indpendants est dgnre d'ordre tels que : (2.190) , il lui correspond donc kets

Mais alors tout ket

de la forme : (2.191)

est vecteur propre de effet :

avec la valeur propre

, quels que soient les coefficients

; en

(2.192)

Par consquent, l'ensemble des kets propres de

associs

constitue un espace vectoriel . En

de dimension (qui peut tre infinie), appel sous-espace propre de la valeur propre particulier, il est quivalent de dire que est non-dgnr ou que son degr de dgnrescence est .

Pour illustrer ces dfinitions, prenons l'exemple d'un projecteur : quation aux valeurs propres s'crit :

(avec

=1). Son

(2.193)

soit

(2.194)

Le ket du premier membre est toujours colinaire sont : d'une part,

, ou nul. Par consquent, les vecteurs propres de ; d'autre part, tous les kets . Le spectre de orthogonaux

lui-mme, avec pour valeur propre

, pour lesquels la valeur propre associe est

comprend donc seulement deux

valeurs :

et 0 . La premire est simple, la deuxime dgnre d'ordre infini (si l'espace des tats considr est est le supplmentaire de

de dimension infinie); le sous-espace propre associ REMARQUES :

(xvi) En prenant le conjugu de chacun des membres de l'quation (2.191), on obtient : (2.195)

Donc, si est ket propre de avec la valeur propre , on peut aussi dire que est bra propre de avec la valeur propre . Insistons cependant sur le fait que, sauf dans le cas o (xvii) En toute rigueur, on devrait rsoudre l'quation aux valeurs propres (2.191) dans l'espace , c'est--dire ne considrer que les vecteurs propres ayant une norme finie. En fait, nous serons amens utiliser des oprateurs pour lesquels les kets propres ne remplissent pas cette condition (2.6); nous admettrons donc que les vecteurs solutions de (2.191) puissent tre des kets gnraliss. est hermitique, on ne peut a priori rien dire sur .

Recherche des valeurs et vecteurs propres d'un oprateur

tant donn un oprateur linaire , comment trouver toutes ses valeurs propres, et les vecteurs propres correspondants? Nous nous intressons ici cette question d'un point de vue purement pratique. Nous allons raisonner dans le cas o l'espace des tats est de dimension finie , et nous admettrons que les rsultats peuvent tre gnraliss un espace des tats de dimension infinie.

Choisissons une reprsentation, par exemple {

}, et projetons l'quation vectorielle :

(2.191) sur les diffrents vecteurs de base orthonorme

(2.196)

En insrant la relation de fermeture entre

et

, on obtient : (2.197)

Avec les notations habituelles :

(2.198)

les quations (2.201) s'crivent : (2.199)

ou (2.200)

On peut considrer (2.204) comme un systme d'quations dont les inconnues sont les , composantes du vecteur propre dans la reprsentation choisie. Ce systme est linaire et homogne.

L'quation caractristique
Le systme (2.204) comporte alors quations ( ) inconnues (

). Comme il est linaire et homogne, il admet une solution autre que la solution triviale (tous les Cette condition s'crit : nuls) si et seulement si le dterminant des coefficients est nul. (2.201)

est la matrice

d'lments

et

la matrice unit.

L'quation (2.205), dite quation caractristique (ou quation sculaire), permet de dterminer toutes les valeurs propres de l'oprateur , c'est--dire son spectre. On peut expliciter (2.205) sous la forme :

(2.202)

Cette quation est de degr en ; elle aura par suite racines, relles ou imaginaires, distinctes ou confondues. Il est d'ailleurs facile de montrer, en effectuant un changement de base quelconque, que l'quation caractristique est indpendante de la reprsentation choisie. Donc, les valeurs propres d'un oprateur sont les racines de son quation caractristique.

Dtermination des vecteurs propres

Choisissons maintenant une valeur propre , solution de l'quation caractristique (2.205), et cherchons les vecteurs propres correspondants. Nous allons distinguer deux cas : (x) Plaons-nous dans le cas o est une racine simple de l'quation caractristique. On

peut alors montrer que le systme (2.204) comporte en fait, lorsque , quations indpendantes, la tant consquence des prcdentes. Or nous avons inconnues; il y a donc bien une infinit de solutions, mais tous les dtermins de faon unique en fonction de l'un d'entre eux, disons peuvent tre . En effet, si l'on

fixe , on obtient pour les autres un systme de quations linaires, inhomognes (le second membre de chaque quation est constitu par le terme en ), et de dterminant non nul [les La solution de ce systme est de la forme : quations sont indpendantes]. (2.203)

puisque le systme initial (2.204) est linaire et homogne; par dfinition, et les des lments de matrice coefficients et de pour

est bien sr gal sont dtermins partir ne diffrent

. Les vecteurs propres associs

les uns des autres que par a valeur choisie pour

; ils sont donc tous donns par : (2.204)

avec : (2.205)

Donc, lorsque est une racine simple de l'quation caractristique, il lui correspond un seul vecteur propre ( un facteur multiplicatif prs) : c'est une valeur propre non dgnre. (xi) Lorsque est une racine multiple d'ordre ventualits peuvent se produire : de l'quation caractristique, deux

en gnral, le systme (2.204) comporte encore, lorsque

quations indpendantes. A la valeur propre ne correspond alors qu'un seul vecteur propre. L'oprateur n'est pas diagonalisable dans ce cas : les vecteurs propres de ne sont pas en nombre suffisant pour qu'on puisse construire avec eux seuls une base de l'espace des tats. il peut toutefois se produire que le systme (2.204) comporte, lorsque seulement quations indpendantes ( tant un nombre suprieur , ,

mais qui ne peut tre plus grand que sous-espace propre de dimension Supposons par exemple que, pour et

). A la valeur propre est une valeur propre , (2.204) comporte

correspond alors un fois dgnre. quations

linairement indpendantes. Ces quations permettent de calculer les coefficients en fonction de deux d'entre eux, par exemple et , qui sont arbitraires : (2.206)

(videmment : sont alors de la forme :

); tous les vecteurs propres associs

(2.207)

avec :

(2.208)

Les vecteurs constituent bien un espace vectoriel deux dimensions, ce qui est caractristique d'une valeur propre doublement dgnre. Lorsqu'un oprateur est hermitique, on peut montrer que le degr de dgnrescence d'une valeur propre est toujours gal sa multiplicit comme racine de l'quation caractristique. Comme dans la suite nous n'tudierons dans la plupart des cas que des oprateurs hermitiques, il nous suffira de connatre la multiplicit de chaque racine de (2.205) pour obtenir immdiatement la dimension du sous-espace propre correspondant. Dans un espace de dimension finie , un oprateur hermitique a donc toujours vecteurs propres linairement indpendants (nous verrons plus loin qu'ils peuvent tre choisis orthonorms) : cet oprateur est alors diagonalisable (2.5.2).

Ici il manque qq chapitre des bases mathmatiques

Retour aux fondements de la mcanique quantique Les postulats de la Mcanique Quantique

Les postulats sur lesquels est base la description quantique des systme physiques fourniront une rponse aux questions suivantes

Comment dcrire mathmatiquement l'tat d'un systme quantique un instant donn? Comment, cet tat tant donn, prvoir les rsultats de mesure des diverses grandeurs physique? Comment trouver l'tat du systme un instant quelconque lorsqu'on connat cet tat l'instant ?

Description de l'tat d'un systme

1er Postulat : A un instant ket fix, l'tat d'un systme physique est dfini par la donne d'un .

appartenant l'espace des tats

Il est important de noter ds maintenant que, comme est un espace vectoriel, ce premier postulat implique un principe de superposition : une combinaison linaire de vecteurs d'tats est un vecteur d'tat.

Description des tats physiques

2me Postulat : Tout grandeur physique mesurable dans ; cet oprateur est une observable. Le fait que essentiel. est dcrite par un oprateur agissant

soit une observable (cf. chap. 2, 2.5) apparatra ci-dessous (3.1.3) comme

Mesure des grandeurs physiques

Rsultats possibles
3me Postulat : La mesure d'une grandeur physique ne peut donner comme rsultat qu'une des valeurs propres de l'observable correspondante. Une mesure de hermitique. Si le spectre de quantifis. donnera toujours une valeur relle, puisque est par dfinition sont

est discret, les rsultats que l'on peut obtenir en mesurant

Principe de dcomposition spectrale

Considrons un systme dont l'tat est caractris, un instant donn, par le ket norm 1 : , suppos

(3.1)

Nous voulons prdire le rsultat de la mesure, cet instant, d'une grandeur physique du systme, laquelle est associe l'observable . Cette prdiction, nous le savons dj, sera de type probabiliste : nous allons donner les rgles qui permettent de calculer la probabilit d'obtenir telle ou telle valeur propre de .

Cas d'un spectre discret

4me Postulat (cas d'un spectre discret non-dgnr) : Lorsqu'on mesure la grandeur physique sur un systme dans l'tat norm, la probabilit de l'observable d'obtenir comme

rsultat la valeur propre non-dgnr

correspondante est : (3.2)

est le vecteur propre norm de

associ la valeur propre

4me Postulat (cas d'un spectre discret) : Lorsqu'on mesure la grandeur physique systme dans l'tat propre norm, la probabilit correspondante vaut :

sur un

d'obtenir comme rsultat la valeur

de l'observable

(3.3)

est le degr de dgnrescence de , et ( ) un systme orthonorm de vecteurs formant une base dans le sousespace propre n associ la valeur propre Cas d'un spectre continu de A.

4me Postulat (cas d'un spectre continu et non-dgnr) : Lorsqu'on mesure la grandeur physique sur un systme dans l'tat et vaut : (3.4) norm, la probabilit d'obtenir un

rsultat compris entre

o .

est le vecteur propre correspondant la valeur propre

de l'observable

associe

Exercice : Vrifiez, dans chacun des cas considrs ci-dessus, que la probabilit totale est gale 1.

La condition de normalisation de n'est pas essentielle : si elle n'tait pas remplie, il suffirait d'utiliser les formules suivantes : (3.5)

et

(3.6)

Pour que le 4me postulat soit cohrent, il est ncessaire que l'oprateur associ une grandeur physique quelconque soit une observable : il faut en effet que n'importe quel tat puisse tre dvelopp sur le systme des vecteurs propres de . Nous n'avons pas donn le 4me postulat sous sa forme la plus gnrale : il est facile, partir de la discussion des cas que nous avons envisags d'tendre le principe de dcomposition spectrale n'importe quelle situation (spectre continu dgnr, spectre en partie discret, etc...)

Consquence importante
Considrons deux kets et tels que : (3.7)

est un nombre rel. Si

est norm,

l'est aussi : (3.8)

Les probabilits que l'on prdit, pour une mesure quelconque, partir de les mmes, puisque, quelque soit :

ou de

sont

(3.9)

De mme, nous pouvons remplacer

par : (3.10)

sans changer aucun des rsultats physiques; (Dmontrez le). Donc, deux vecteurs d'tat proportionnels reprsentent le mme tat physique. Il faut bien prendre garde d'interprter correctement ce rsultat. En gnral :

(3.11)

ne dcrit pas le mme tat que

dfini par : (3.12)

Autrement dit : un facteur de phase global n'affecte pas les prdictions physiques, mais les phases relatives des coefficients d'un dveloppement sont significatives.

Rduction du paquet d'ondes

Nous prsenterons cette notion dans le cas d'un spectre discret. Supposons que l'on veuille mesurer, un instant donn, la grandeur physique . Si l'on

connat le ket qui reprsente l'tat du systme immdiatement avant la mesure, le 4me postulat permet de prdire les probabilits d'obtenir les divers rsultats possibles. Mais, lorsqu'on effectue rellement la mesure, on obtient videmment un seul de ces rsultats possibles. Immdiatement aprs cette mesure, il n'est plus question de probabilit d'avoir obtenu telle ou telle valeur : on sait quelle est celle qui a t effectivement obtenue. On possde donc une information supplmentaire, et il est comprhensible que l'tat du systme aprs la mesure, qui doit incorporer cette information soit diffrent de .

5me Postulat : Si la mesure de la grandeur physique le rsultat

sur le systme dans l'tat

donne

, l'tat du systme immdiatement aprs la mesure est la projection norme,

, de

sur le sous-espace propre associ

. de valeur

L'tat du systme aussitt aprs la mesure est donc toujours un vecteur propre de propre

. Insistons cependant sur le fait que ce n'est pas n'importe quel ket du sous-espace qui appartient n (convenablement normalise par commodit).

n, mais la partie de Exercice :

Quel est le ket obtenu lorsque la valeur propre

obtenu par la mesure est non-dgnre.

volution des systmes dans le temps

6me Postulat : L'volution dans le temps du vecteur d'tat Schrdinger : est rgie par l'quation de

(3.13)

est l'observable associe l'nergie totale du systme.

est appel l'oprateur hamiltonien du systme; car on l'obtient partir de la fonction de Hamilton classique.

Rgles de quantification
nonc
Nous allons indiquer comment, pour une grandeur physique dj dfinie en mcanique classique, on construit l'oprateur qui la dcrit en mcanique quantique.

Considrons d'abord un systme d'une seule particule, sans spin, soumise un potentiel scalaire. Alors :

A la position

de la particule est associe l'observable

A l'impulsion

de la particule est associe l'observable et

Rappelons que les composantes de canoniques :

vrifient les relations de commutations

(3.14)

Une grandeur physique quelconque variables dynamiques fondamentales

relative cette particule s'exprime en fonction des et : . Pour obtenir l'observable , les

correspondante, on pourrait simplement remplacer, dans l'expression de variable et par les observable et :

(3.15)

Toutefois, cette manire de faire serait en gnral ambigu. Supposons par exemple que, dans , apparaisse un terme de la forme : (3.16)

Em mcanique classique, le produit scalaire l'crire :

est commutatif, et on peut tout aussi bien (3.17)

Mais, lorsque l'on remplace et par les observables et correspondantes, les oprateurs obtenus partir de (3.16) et (3.17) ne concident pas (3.18)

De plus, ni Exercice : Dmontrez le Dmonstration :

ni

ne sont hermitiques :

(3.19)

On ajoute donc aux postulats prcdents une rgle de symtrisation. Par exemple, l'observable associe sera : (3.20)

qui est bien hermitique; pour une observable plus complique que symtrisation analogue. En conclusion : L'observable qui dcrit une grandeur physique

, on effectuerait une dfinie classiquement , et par les

s'obtient en remplaant, dans l'expression convenablement symtrise de observables et respectivement.

Il existe cependant des grandeur physiques quantiques qui n'ont pas d'quivalent classique, et qui sont donc dfinies directement par les observables correspondantes (c'est le cas par exemple pour le spin des particules).

Exemples importantes

Hamiltonien d'une particule dans un potentiel scalaire

Considrons une particule (sans spin) de charge lectrique drivant d'un potentiel scalaire et de masse , place dans un champ

; l'nergie potentielle de la particule est donc

, et la fonction de Hamilton correspondante s'crit :

(3.21)

avec : (3.22)

est la vitesse de la particule. correspondant ; aucune ne font

Il n'y a pas de difficults pour construire l'oprateur quantique

symtrisation n'est en effet ncessaire puisque ni , ni intervenir de produits d'oprateurs ne commutant pas entre eux. Nous avons donc :

(3.23)

est l'oprateur obtenu en remplaant

par

dans

Dans ce cas particulier, l'quation de Schrdinger, donne dans le 6me postulat, devient :

Hamiltonien d'une particule dans un potentiel vecteur

Si la particule est plonge dans un champ lectromagntique quelconque, la fonction de Hamilton classique devient : (3.25)

et

sont les potentiels scalaire et vecteur qui dcrivent le champ est donn par :

lectromagntique, et o

(3.26)

Cette fois encore, comme

ne dpend que de

et du paramtre

(et non de

), il n'y

a pas de difficults pour construire l'oprateur quantique hamiltonien est alors donn par :

correspondant; l'oprateur

(3.27)

avec : (3.28)

et l'quation de Schrdinger s'crit : (3.29)

Remarque : Il faut prendre garde ne pas confondre (impulsion de la particule, ou encore moment conjugu de ) avec (quantit de mouvement de la particule) : la diffrence entre ces deux grandeurs apparat clairement en (3.26). En mcanique quantique, il existe bien sr un oprateur associ la vitesse de la particule qui s'crit ici : (3.30)

est alors donn par : (3.31)

C'est la somme de deux termes, dont l'un correspond l'nergie cintique et l'autre l'nergie potentielle de la particule. Cependant, c'est l'impulsion et non la quantit de mouvement qui devient en mcanique quantique l'oprateur satisfaisant aux relations de commutation canoniques (3.14)

Systmes conservatifs
Lorsque l'hamiltonien d'un systme physique ne dpend pas explicitement du temps, on dit que ce systme est conservatif. En mcanique classique, la consquence la plus importante d'une telle situation est la conservation de l'nergie au cours du temps. On dit encore que l'nergie totale du systme est une constante du mouvement. Nous allons voir dans ce paragraphe que, en mcanique quantique galement, les systmes conservatifs possdent des proprits particulires importantes.

Rsolution de l'quation de Schrdinger

Considrons tout d'abord l'quation aux valeurs propres de : (3.32)

Nous supposons pour simplifier le spectre de

discret;

dsigne l'ensemble des indices

autres que qui sont ncessaires pour caractriser un vecteur unique (ces indices repreront en gnral les valeurs propres d'oprateurs formant avec un E.C.O.C.). Comme, par hypothse, ne dpend pas explicitement du temps, n'intervient ni dans la valeur propre , ni dans le ket propre .

Nous allons montrer tout d'abord que la connaissance des et des permet de rsoudre trs simplement l'quation de Schrdinger, c'est--dire de dterminer l'volution au cours du temps d'un tat quelconque. En effet, les formant une base ( est une

observable), on peut toujours, pour chaque valeur de , dvelopper un tat quelconque du systme sur les :

(3.33)

avec : (3.34)

Comme les contenue dans les

ne dpendent pas de toute la dpendance temporelle de . Il vient :

est

(3.35)

tant hermitique, on peut dduire de (3.32) que : (3.36)

de sorte qu'on peut crire (3.35) sous la forme : (3.37)

Cette quation s'intgre immdiatement pour donner : (3.38)

Pour trouver

, connaissant

, on procde donc comme suit :

On dveloppe

sur la base des tats propres de

: (3.39)

est donn par la formule habituelle : (3.40)

On obtient alors

, pour

quelconque, en multipliant chaque coefficient , tant la valeur propre de

du dveloppement (3.39) par associe l'tat :

(3.41)

Exercice : Gnralisez la formule prcdente au cas o le spectre de Rponse :

est continu

(3.42)

tats stationnaires
Un cas particulier important est celui o dveloppement (3.39) de mme valeur propre (par exemple lui-mme est tat propre de . Le de

ne fait alors intervenir que des tats propres de ):

(3.43)

Dans la formule (3.43), il n'y a pas de sommation sur fait intervenir un seul facteur

, et le passage de

, que l'on peut sortir de la sommation sur

(3.44)

et

ne diffrent donc l'un de l'autre que par le facteur de phase global

. Ces deux tats sont physiquement indiscernables. Nous en concluons que toutes les proprits physiques d'un systme qui se trouve dans un tat propre de ne varient pas au cours du temps; les tats propres de sont appels pour cette raison tats stationnaires.

Exemples simples Oscillateur harmonique une dimension

Introduction
L'oscillateur harmonique une dimension est un systme physique particulirement important. En fait, un grand nombre de systmes sont rgis (au moins de manire approche) par les quations de l'oscillateur harmonique. En effet, chaque fois que l'on tudie le comportement d'un systme physique au voisinage d'une position d'quilibre stable, on aboutit des quations qui, la limite des petites oscillations, sont celles d'un oscillateur harmonique. Les rsultats du calcul de l'oscillateur harmonique sont applicables toute une srie de phnomnes physiques importants :

les vibrations des atomes d'une molcule autour de leur position d'quilibre, les oscillations des atomes ou ions d'un rseau cristallin (phonons)

L'oscillateur harmonique joue galement un rle important dans la description d'un ensemble de particules identiques se trouvant toutes dans le mme tat quantique (les bosons). Ceci est d au fait que les niveaux d'nergie d'un oscillateur harmonique sont, comme nous le verrons plus loin, quidistants, la distance sparant deux niveaux conscutifs tant gale . On peut alors associer au niveau d'nergie repr par l'entier (situ une distance audessus du niveau fondamental) un ensemble de particules (ou quanta) identiques possdant chacune une nergie . Le passage de l'oscillateur du niveau au niveau ou

correspond la cration ou l'annihilation d'un quantum d'nergie . Ce passage est dcrit par des oprateurs ou . Ces oprateurs, appels oprateurs de cration ou d'annihilation, sont couramment utiliss en mcanique statistique quantique et en thorie quantique des ch

L'oscillateur harmonique en mcanique classique

Considrons une particule de masse et de la forme : se dplaant dans un potentiel ne dpendant que de

(4.1)

(k est une constante relle positive). Le mouvement de la particule est rgi par l'quation de la dynamique : (4.2)

La solution gnrale de cette quation est de la forme : (4.3)

o et les constantes d'intgration et sont dtermines par les conditions initiales du mouvement. La particule est donc anime d'un mouvement oscillatoire sinusodal autour du point d'quilibre O, d'amplitude et de pulsation .

L'nergie totale est compose d'une partie cintique et une partie potentielle :

(4.4)

est l'impulsion de la particule.

On trouve facilement que l'nergie de la particule vaut

, elle est

indpendante du temps et peut prendre n'importe quelle valeur positive ou nulle, puisque peut tre priori quelconque. amps.

Proprits gnrales de l'hamiltonien quantique

En mcanique quantique, les grandeurs classiques et les observables et (cf. chap. 3), qui vrifient : sont remplaces respectivement par

(4.5)

On obtient aisment partir de (4.4) l'oprateur hamiltonien du systme : (4.6)

tant indpendant du temps (systme conservatif), l'tude quantique de l'oscillateur harmonique se ramne la rsolution de l'quation aux valeurs propres : (4.7)

qui s'crit en reprsentation {

}:

Valeur propres de l'hamiltonien

Notations
Introduis

Les oprateurs
Les observables et

et
ont videmment des dimensions (celles d'une longueur et d'une et dfinies par :

impulsions respectivement). Il est facile de voir que les observable

(4.9)

(4.10)

sont sans dimension. Exercice : Dmontrez que les oprateur Dmonstration : tant homogne l'inverse d'un temps, et temps). La dimension de est donc : une action (produit d'une nergie par un et sont sans dimension

(4.11)

cell de

est : (4.12)

Avec ces nouveaux oprateurs, la relation de commutation canonique devient : (4.13)

Exercice :

Dmontrez que Dmonstration : (4.14)

l'hamiltonien se met sous la forme : (4.15)

avec : (4.16)

En effet : (4.17)

Nous allons donc chercher les solutions de l'quation aux valeurs propres : (4.18)

o l'oprateur et les valeurs propres sont sans dimension; l'indice peut priori appartenir un ensemble discret ou continu, et l'indice supplmentaire permet de distinguer ventuellement les diffrents vecteurs propres orthogonaux associs la mme valeur propres . ons certaines notations qui vont s'avrer trs commodes.

Les oprateurs
Si et

et

taient des nombres et non des oprateurs, on pourrait crire la somme sous la forme d'un produit de termes linaires : et sont des oprateurs qui ne commutent pas, . Il est cependant utile de considre : (4.19)

qui figure dans l'expression (4.16) de . En fait, comme n'est pas gal

et son adjoint : (4.20)

Ces formules s'inversent immdiatement pour donner : (4.21)

et son adjoint : (4.22)

et

tant hermitiques, et

et

ne le sont pas ( cause du facteur ).

Le commutateur de

se calcule aisment :

(4.23)

c'est--dire : (4.24)

tablissons quelques formules simples qui nous seront utiles dans la suite : (4.25)

Dmonstration :

(4.26) On voit que : (4.27)

Exercice :

Dmontrez que : Dmonstration :

(4.28)

Introduisons l'oprateur

dfini par :

. Cet oprateur est hermitique, puisque : (4.29)

de sorte que les vecteurs propres de Exercice : Calculez les commutateur de Dmonstration : avec

sont vecteurs propres de

, et vice versa.

et

(4.30)

(4.31)

(ici on a employ l'galit

L'tude de l'oscillateur harmonique que nous allons dvelopper est base sur l'utilisation des oprateur , , et . Nous avons en quelque sorte remplac l'quation aux valeurs propres de , que nous avons d'abord crite sous la forme (4.18), par celle de : (4.32)

Lorsque cette quation sera rsolue, nous saurons que le vecteur propre vecteur propre de avec la valeur propre et :

de

est aussi

(4.33)