La mécanique quantique peut être formulée de différentes manières mathématiquement équivalentes mais conceptuellement très différentes. La formulation usuelle, fondée sur les équations différentielles et les opérateurs agissant sur des fonctions d’onde, trouve son origine dans les travaux de Schrödinger et Heisenberg. Cependant, une approche alternative, introduite par Richard Feynman dans les années 1940 à la suite d’intuitions initiales de Dirac, propose une vision radicalement nouvelle de la dynamique quantique.
Cette formulation repose sur une idée simple mais profondément novatrice : au lieu de considérer qu’un système évolue suivant une trajectoire unique, comme en mécanique classique, on suppose que toutes les évolutions possibles contribuent à la dynamique du système. Chaque évolution, ou chemin, est associée à une amplitude de probabilité, dont la phase est donnée par l’action classique du système.
Le cœur du formalisme consiste alors à sommer ces contributions sur l’ensemble des chemins possibles, ce qui conduit à la notion d’intégrale de chemin, ou intégrale fonctionnelle. Cette construction établit un lien direct entre la mécanique quantique et le principe de moindre action, et permet de comprendre l’émergence de la mécanique classique comme une limite du comportement quantique.
Au-delà de son intérêt conceptuel, ce formalisme joue un rôle central en théorie quantique des champs, où les objets fondamentaux ne sont plus des trajectoires mais des configurations de champs. Il constitue aujourd’hui l’un des outils les plus puissants pour décrire les interactions fondamentales.
L’objectif de cet article est de présenter de manière progressive et rigoureuse les fondements du formalisme des intégrales de chemin, en mettant en évidence les étapes mathématiques essentielles et leur interprétation physique.
Du principe de moindre action aux chemins quantiques
La formulation lagrangienne de la mécanique classique repose sur le principe de moindre action, qui constitue une caractérisation globale de la dynamique d’un système. On considère un système décrit par des coordonnées généralisées \(x(t)\), évoluant entre deux instants \(t_{a}\ \)et \(t_{b}\), avec des conditions aux limites fixées :
\[x(t_{a}) = x_{a},x(t_{b}) = x_{b}\]
À toute trajectoire \(x(t)\ \)reliant ces deux points, on associe une quantité scalaire appelée action, définie par
\[S\lbrack x(t)\rbrack = \int_{t_{a}}^{t_{b}}{L(x(t),}\dot{x}(t),t)\text{ }dt\]
Où \(L\ \)est le lagrangien du système.
Le principe de moindre action affirme que la trajectoire effectivement suivie par le système est celle qui rend l’action stationnaire, c’est-à-dire telle que
\[\delta S = 0\]
Cette condition conduit aux équations d’Euler-Lagrange, qui déterminent de manière unique la trajectoire classique sous réserve des conditions initiales ou aux limites. Ainsi, parmi l’ensemble infini des trajectoires mathématiquement possibles reliant \(x_{a}\ \)à \(x_{b}\), une seule est physiquement réalisée.
La démarche introduite par Feynman consiste à remettre en question ce caractère exclusif de la trajectoire classique. Dans le cadre quantique, on abandonne l’idée qu’un système suit une trajectoire unique bien définie. À la place, on considère que toutes les trajectoires compatibles avec les conditions aux limites contribuent à l’évolution du système.
Mathématiquement, cela revient à considérer l’ensemble des fonctions \(x(t)\ \)définies sur l’intervalle \(\left\lbrack t_{a},t_{b} \right\rbrack\ \)et satisfaisant les conditions
\[x(t_{a}) = x_{a},x(t_{b}) = x_{b}\]
Cet ensemble est un espace fonctionnel de dimension infinie, dont chaque élément représente un « chemin » possible reliant les deux points.
La transition entre deux états n’est alors plus décrite par une trajectoire unique, mais par une superposition de contributions associées à chacun de ces chemins. Cette idée constitue une généralisation radicale du principe variationnel classique : au lieu de sélectionner une trajectoire privilégiée par une condition de stationnarité, on prend en compte l’ensemble des trajectoires possibles.
Il est important de souligner que cette construction conserve néanmoins un lien profond avec la mécanique classique. En effet, dans certaines limites (en particulier lorsque l’action est grande devant \()\) les contributions des chemins éloignés de la trajectoire classique interfèrent de manière destructive. Les chemins proches de la trajectoire stationnaire dominent alors, ce qui permet de retrouver le principe de moindre action comme une approximation du comportement quantique.
Ainsi, la formulation en termes de chemins peut être vue comme une extension du principe variationnel classique à un cadre probabiliste et non déterministe, dans lequel la dynamique d’un système est décrite non plus par une trajectoire unique, mais par l’ensemble des trajectoires mathématiquement admissibles.
Amplitude associée à un chemin
La transition d’un système quantique entre deux états ne peut être décrite uniquement par la donnée des chemins possibles. Il est nécessaire d’associer à chacun de ces chemins une contribution quantitative. Dans le cadre de la formulation de Feynman, cette contribution prend la forme d’une amplitude complexe, dont la structure est directement reliée à l’action classique.
Considérons un chemin \(x(t)\ \)reliant les points \(x_{a}\ \)et \(x_{b}\) entre les instants \(t_{a\ }\)et \(t_{b}\). À ce chemin, on associe l’action
\[S\lbrack x(t)\rbrack = \int_{t_{a}}^{t_{b}}{L(x(t),}\dot{x}(t),t)\text{ }dt\]
Le postulat fondamental de Feynman consiste à attribuer à chaque chemin une amplitude de probabilité de la forme
\[\varphi\lbrack x(t)\rbrack = \frac{1}{C}\text{ }\exp\left( \frac{i}{\hbar}S\lbrack x(t)\rbrack \right)\]
Où \(C\ \)est une constante de normalisation.
Cette expression présente plusieurs propriétés essentielles. Tout d’abord, l’amplitude est un nombre complexe de module constant. Ainsi, tous les chemins contribuent avec le même poids en module : seule leur phase, proportionnelle à l’action, les distingue. L’information dynamique est donc entièrement encodée dans la phase de l’amplitude.
Cette dépendance en phase entraîne des conséquences profondes. Lorsque deux chemins \(x_{1}(t)\ \)et \(x_{2}(t)\ \)possèdent des actions proches, les phases correspondantes sont également proches, et leurs contributions interfèrent de manière constructive. En revanche, si les actions diffèrent significativement, les phases oscillent rapidement, ce qui conduit à des interférences destructives.
Ce mécanisme permet d’établir un lien direct avec la mécanique classique. En effet, les chemins pour lesquels l’action est stationnaire (c’est-à-dire ceux qui vérifient \(\delta S = 0\)) sont précisément ceux pour lesquels la phase varie le moins. Dans leur voisinage, les contributions des chemins s’additionnent de manière cohérente, tandis que les contributions des chemins éloignés s’annulent en moyenne. On retrouve ainsi, dans une limite appropriée, le principe de moindre action comme résultat émergent de la superposition quantique.
Le choix de l’expression
\[\exp\left( \frac{i}{\hbar}S\lbrack x(t)\rbrack \right)\]
n’est pas arbitraire. Le facteur \(1/\hbar\ \)assure la bonne homogénéité dimensionnelle, tandis que la présence de l’unité imaginaire \(i\)garantit que les amplitudes restent oscillantes plutôt qu’exponentiellement croissantes ou décroissantes. Cette structure est essentielle pour reproduire les phénomènes d’interférence caractéristiques de la mécanique quantique.
Ainsi, à chaque chemin \(x(t)\ \)est associée une contribution complexe dont la phase est directement déterminée par l’action classique. Cette correspondance constitue le cœur du formalisme de Feynman : elle établit un pont profond entre la mécanique classique, fondée sur l’action, et la mécanique quantique, fondée sur les amplitudes de probabilité.
Principe de superposition et somme sur les chemins
Une fois définie l’amplitude associée à un chemin donné, il reste à déterminer comment obtenir l’amplitude totale de transition entre deux états. Le principe fondamental de la mécanique quantique est le principe de superposition, selon lequel l’amplitude d’un processus est la somme des amplitudes associées à toutes les configurations possibles permettant de réaliser ce processus.
Dans le cadre de la formulation de Feynman, cela signifie que l’amplitude de transition entre un état initial \(\left( x_{a},t_{a} \right)\ \)et un état final \(\left( x_{b},t_{b} \right)\ \)est obtenue en sommant les contributions de tous les chemins \(x(t)\ \)reliant ces deux points. On introduit ainsi le propagateur
\[K(x_{b},t_{b};x_{a},t_{a})\]
Il est défini formellement par
\[K(x_{b},t_{b};x_{a},t_{a}\mathcal{) = \int D}x(t)\text{ }\exp\left( \frac{i}{\hbar}S\lbrack x(t)\rbrack \right)\]
Où le symbole \(\mathcal{D}\mathbf{x(t)\ }\)désigne une intégration sur l’ensemble des chemins admissibles.
Cette expression est appelée intégrale de chemin. Elle généralise la notion de somme discrète à un espace continu de dimension infinie : au lieu de sommer sur un ensemble fini ou dénombrable de configurations, on « intègre » sur un espace fonctionnel.
Pour donner un sens plus concret à cette construction, on peut procéder à une discrétisation du temps. On découpe l’intervalle \(\left\lbrack t_{a},t_{b} \right\rbrack\ \)en \(N\ \)intervalles de durée \(\varepsilon\), et on considère les positions intermédiaires \(x_{1},x_{2},\ldots,x_{N – 1}\). Un chemin est alors approximé par une suite de points, et l’intégrale de chemin devient une intégrale multiple :
\[K(x_{b},t_{b};x_{a},t_{a}) = \underset{N \rightarrow \infty}{\lim}\int\prod_{k = 1}^{N – 1}dx_{k}\text{ }\exp\left( \frac{i}{\hbar}S_{N}(x_{0},\ldots,x_{N}) \right)\]
Où \(x_{0} = x_{a}\), \(x_{N} = x_{b}\), et \(S_{N}\ \)est une approximation discrète de l’action.
Dans cette formulation, chaque configuration intermédiaire contribue à l’amplitude totale, et l’intégrale de chemin apparaît comme la limite d’une intégrale ordinaire de dimension finie lorsque le nombre de subdivisions tend vers l’infini. Cette procédure fournit une interprétation plus concrète de la mesure formelle \(\mathcal{D}x(t)\).
L’amplitude totale ainsi obtenue contient toute l’information dynamique du système. En particulier, la probabilité de transition entre les états initial et final est donnée par le module carré du propagateur :
\[P = \mid K(x_{b},t_{b};x_{a},t_{a}) \mid^{2}\]
Les phénomènes d’interférence entre chemins différents sont directement encodés dans la structure oscillante de l’intégrale, et résultent de la superposition des phases associées à chaque trajectoire.
Cette construction réalise une généralisation profonde du principe de superposition. Alors que, dans le formalisme habituel de la mécanique quantique, on superpose des états, ici on superpose des histoires complètes du système. La dynamique quantique peut ainsi être interprétée comme une interférence entre toutes les évolutions possibles reliant deux configurations.
Ainsi, le formalisme des intégrales de chemin remplace la notion de trajectoire unique par une somme sur un ensemble continu de chemins, chacun contribuant avec une phase déterminée par l’action. Cette perspective fournit une description globale de la dynamique quantique, dans laquelle les principes variationnels de la mécanique classique apparaissent comme une limite émergente.
Nature mathématique de l’intégrale de chemin
L’expression de l’intégrale de chemin
\[K(x_{b},t_{b};x_{a},t_{a}\mathcal{) = \int D}x(t)\text{ }\exp\left( \frac{i}{\hbar}S\lbrack x(t)\rbrack \right)\]
introduit un objet mathématique fondamentalement différent des intégrales usuelles rencontrées en analyse. Contrairement à une intégrale classique, où l’on intègre une fonction sur un espace de dimension finie, l’intégrale de chemin est une intégrale fonctionnelle : elle porte sur un espace de fonctions, c’est-à-dire un espace de dimension infinie.
Plus précisément, l’objet \(\mathcal{D}x(t)\ \)ne désigne pas une mesure au sens usuel, mais une notation formelle représentant une « mesure » sur l’ensemble des chemins \(x(t)\ \)satisfaisant les conditions aux limites. Cet ensemble peut être vu comme un espace fonctionnel, par exemple un espace de fonctions continues ou de fonctions suffisamment régulières définies sur l’intervalle \(\left\lbrack t_{a},t_{b} \right\rbrack\).
La difficulté essentielle réside dans le fait que la théorie de la mesure sur les espaces de dimension infinie est beaucoup plus délicate que dans le cas fini. En particulier, il n’existe pas, en général, d’analogue direct de la mesure de Lebesgue sur un espace fonctionnel qui permettrait de donner un sens rigoureux à l’expression \(\mathcal{D}x(t)\). Ainsi, l’intégrale de chemin est, dans sa forme initiale, un objet formel dont la définition mathématique complète nécessite des outils avancés d’analyse fonctionnelle et de théorie des probabilités.
Pour contourner cette difficulté, on introduit une procédure de discrétisation, qui permet de ramener le problème à une intégrale de dimension finie. On découpe l’intervalle de temps en \(N\ \)sous-intervalles, et on approxime un chemin \(x(t)\ \)par une suite de valeurs discrètes \(\left( x_{0},x_{1},\ldots,x_{N} \right)\). L’intégrale de chemin est alors définie comme la limite
\[\mathcal{\int D}x(t)\text{ }(\cdots\text{ }) = \underset{N \rightarrow \infty}{\lim}\int\prod_{k = 1}^{N – 1}dx_{k}\text{ }(\cdots\text{ })\]
Où chaque \(dx_{k\ }\)est une intégration ordinaire sur \(\mathbb{R}\). Cette construction permet de donner un sens opérationnel à l’intégrale, même si la limite elle-même reste délicate à justifier rigoureusement.
Un autre point important concerne la nature de l’exponentielle complexe
\[\exp\left( \frac{i}{\hbar}S\lbrack x(t)\rbrack \right)\]
Celle-ci n’est pas absolument intégrable en général, ce qui empêche l’application directe des théorèmes classiques d’analyse. Pour remédier à cette difficulté, on introduit souvent une transformation dite rotation de Wick, qui consiste à effectuer un changement de variable \(t \mapsto – i\tau\). L’intégrale devient alors
\[\mathcal{\int D}x(\tau)\text{ }\exp\left( – \frac{1}{\hbar}S_{E}\lbrack x(\tau)\rbrack \right)\]
Où \(S_{E}\ \)est l’action euclidienne. L’intégrande devient alors exponentiellement décroissant, ce qui rapproche l’intégrale de chemin d’une intégrale de type gaussien et facilite son traitement mathématique.
Dans ce cadre euclidien, l’intégrale de chemin est étroitement liée à des objets bien connus en théorie des probabilités, comme les mesures gaussiennes sur les espaces de fonctions, ou encore les processus de diffusion. Cette connexion permet d’établir des fondements mathématiques plus solides, en particulier dans le cas des théories libres.
Malgré ces difficultés, le formalisme des intégrales de chemin s’est révélé extrêmement puissant. Même lorsque sa définition rigoureuse est délicate, il fournit un outil de calcul efficace et une intuition profonde sur la structure des théories quantiques. Il permet notamment de reformuler la mécanique quantique et la théorie quantique des champs en termes d’intégrales fonctionnelles, ouvrant la voie à des méthodes analytiques et numériques particulièrement riches.
Ainsi, l’intégrale de chemin apparaît comme un objet mathématique à la frontière entre l’analyse, la géométrie et la physique théorique : formel dans sa définition initiale, mais remarquablement fécond dans ses applications.
Lien avec la mécanique quantique standard
Le formalisme des intégrales de chemin, bien que conceptuellement différent, est entièrement équivalent à la formulation usuelle de la mécanique quantique fondée sur les opérateurs et l’équation de Schrödinger. Cette équivalence peut être établie en montrant que le propagateur défini par l’intégrale de chemin satisfait l’équation de Schrödinger.
On rappelle que, dans la mécanique quantique standard, l’évolution d’un état \(\psi(x,t)\ \)est gouvernée par l’équation de Schrödinger :
\[i\hbar\text{ }\frac{\partial\psi}{\partial t}(x,t) = \widehat{H}\psi(x,t)\]
Où \(\widehat{H}\ \)est l’opérateur hamiltonien. La solution de cette équation peut être exprimée à l’aide du propagateur \(K(x_{b},t_{b};x_{a},t_{a})\), selon la relation
\[\psi(x_{b},t_{b}) = \int K(x_{b},t_{b};x_{a},t_{a})\text{ }\psi(x_{a},t_{a})\text{ }dx_{a}\]
Le propagateur apparaît ainsi comme le noyau de l’opérateur d’évolution temporelle. Dans le formalisme de Feynman, ce propagateur est défini par l’intégrale de chemin
\[K(x_{b},t_{b};x_{a},t_{a}\mathcal{) = \int D}x(t)\text{ }\exp\left( \frac{i}{\hbar}S\lbrack x(t)\rbrack \right)\]
Pour établir le lien avec l’équation de Schrödinger, on considère une évolution sur un intervalle de temps infinitésimal \(\varepsilon\). On peut alors approximer le propagateur par
\[K(x’,t + \varepsilon;x,t) \simeq A\text{ }\exp\left( \frac{i}{\hbar}\text{ }\varepsilon\text{ }L\left( x,\frac{x’ – x}{\varepsilon},t \right) \right)\]
Où \(A\ \)est un facteur de normalisation. En insérant cette expression dans la relation d’évolution de la fonction d’onde et en développant à l’ordre 1 en \(\varepsilon\), on retrouve précisément l’équation de Schrödinger.
Pour le voir explicitement, considérons une particule de masse \(m\ \)dans un potentiel \(V(x)\), de lagrangien
\[L(x,\dot{x}) = \frac{m}{2}{\dot{x}}^{\text{ }2} – V(x)\]
Sur un intervalle de temps infinitésimal \(\varepsilon\), on approxime alors l’action par
\[S\lbrack x(t)\rbrack \simeq \varepsilon\text{ }L\left( x,\frac{x’ – x}{\varepsilon} \right) = \frac{m(x’ – x)^{2}}{2\varepsilon} – \varepsilon V(x)\]
De sorte que le propagateur infinitésimal prend la forme
\[K(x’,t + \varepsilon;x,t) = A(\varepsilon)\text{ }\exp\left\lbrack \frac{i}{\hbar}\left( \frac{m(x’ – x)^{2}}{2\varepsilon} – \varepsilon V(x) \right) \right\rbrack\]
La relation d’évolution de la fonction d’onde s’écrit alors
\[\psi(x’,t + \varepsilon) = \int_{- \infty}^{+ \infty}{K(}x’,t + \varepsilon;x,t)\text{ }\psi(x,t)\text{ }dx\]
On pose
\[\eta = x’ – x,\ \ x = x’ – \eta\]
Ce qui donne
\[\psi(x’,t + \varepsilon) = A(\varepsilon)\int_{- \infty}^{+ \infty}\exp\left\lbrack \frac{im\eta^{2}}{2\hbar\varepsilon} – \frac{i\varepsilon}{\hbar}V(x’ – \eta) \right\rbrack\psi(x’ – \eta,t)\text{ }d\eta\]
Lorsque \(\varepsilon\ \)est petit, l’exponentielle force les contributions dominantes à provenir des petites valeurs de \(\eta\). On peut donc développer \(V(x’ – \eta)\ \)et \(\psi(x’ – \eta,t)\ \)au voisinage de \(x’\). À l’ordre utile, on écrit
\[V(x’ – \eta) = V(x’) + O(\eta)\]
Et
\[\psi(x’ – \eta,t) = \psi(x’,t) – \eta\text{ }\partial_{x}\psi(x’,t) + \frac{\eta^{2}}{2}\partial_{x}^{2}\psi(x’,t) + O(\eta^{3})\]
De plus,
\[e^{- \frac{i\varepsilon}{\hbar}V(x’ – \eta)} = 1 – \frac{i\varepsilon}{\hbar}V(x’) + O(\varepsilon\eta,\varepsilon^{2})\]
En reportant ces développements dans l’intégrale, on obtient
\[\psi(x’,t + \varepsilon) = A(\varepsilon)\int e^{\frac{im\eta^{2}}{2\hbar\varepsilon}}\left\lbrack \psi – \eta\text{ }\psi_{x} + \frac{\eta^{2}}{2}\psi_{xx} – \frac{i\varepsilon}{\hbar}V\psi \right\rbrack d\eta\]
Où, pour alléger l’écriture, \(\psi\), \(\psi_{x}\), \(\psi_{xx}\) désignent respectivement \(\psi(x’,t)\), \(\partial_{x}\psi(x’,t)\), \(\partial_{x}^{2}\psi(x’,t)\).
On utilise alors les intégrales gaussiennes suivantes :
\[A(\varepsilon)\int e^{\frac{im\eta^{2}}{2\hbar\varepsilon}}\text{ }d\eta = 1\]
Ceci fixe la constante de normalisation \(A(\varepsilon)\), puis
\[A(\varepsilon)\int\eta\text{ }e^{\frac{im\eta^{2}}{2\hbar\varepsilon}}\text{ }d\eta = 0\]
Par symétrie, et
\[A(\varepsilon)\int\eta^{2}\text{ }e^{\frac{im\eta^{2}}{2\hbar\varepsilon}}\text{ }d\eta = \frac{i\hbar\varepsilon}{m}\]
On en déduit
\[\psi(x’,t + \varepsilon) = \psi(x’,t) + \frac{i\hbar\varepsilon}{2m}\text{ }\partial_{x}^{2}\psi(x’,t) – \frac{i\varepsilon}{\hbar}V(x’)\psi(x’,t) + O(\varepsilon^{2})\]
D’autre part, le développement de Taylor en temps donne
\[\psi(x’,t + \varepsilon) = \psi(x’,t) + \varepsilon\text{ }\partial_{t}\psi(x’,t) + O(\varepsilon^{2})\]
En identifiant les termes du premier ordre en \(\varepsilon\), on obtient
\[\partial_{t}\psi(x,t) = \frac{i\hbar}{2m}\text{ }\partial_{x}^{2}\psi(x,t) – \frac{i}{\hbar}V(x)\psi(x,t)\]
En multipliant par \(i\hbar\), il vient
\[i\hbar\text{ }\partial_{t}\psi(x,t) = – \frac{\hbar^{2}}{2m}\text{ }\partial_{x}^{2}\psi(x,t) + V(x)\psi(x,t)\]
Cette expression est précisément l’équation de Schrödinger en une dimension.
En dimension 3, le même calcul conduit à la forme usuelle
\[i\hbar\text{ }\frac{\partial\psi}{\partial t} = – \frac{\hbar^{2}}{2m}\Delta\psi + V\psi\]
On retrouve ainsi, à partir du propagateur infinitésimal défini par l’intégrale de chemin, l’équation fondamentale de la mécanique quantique non relativiste.
Cette construction montre que le formalisme des intégrales de chemin n’introduit pas une nouvelle théorie, mais constitue une reformulation équivalente de la mécanique quantique. La différence réside dans le point de vue adopté : alors que la formulation standard repose sur des opérateurs agissant sur un espace de Hilbert, la formulation de Feynman décrit directement l’évolution du système comme une somme sur des trajectoires.
Un autre aspect important de cette correspondance concerne la limite classique. Lorsque l’action est grande devant \(\hbar\), l’intégrale de chemin peut être évaluée à l’aide de la méthode de phase stationnaire. Dans cette approximation, les contributions dominantes proviennent des chemins pour lesquels l’action est stationnaire, c’est-à-dire ceux qui satisfont les équations d’Euler-Lagrange. On retrouve ainsi la dynamique classique comme limite du formalisme quantique.
Cette propriété met en évidence la cohérence du cadre théorique : la mécanique classique apparaît comme une approximation du comportement quantique lorsque les effets d’interférence deviennent négligeables. Le formalisme des intégrales de chemin fournit ainsi un lien direct entre les deux descriptions, en montrant comment la trajectoire classique émerge de la superposition des chemins quantiques.
Enfin, le propagateur vérifie une propriété de composition fondamentale :
\[K(x_{b},t_{b};x_{a},t_{a}) = \int K(x_{b},t_{b};x,t)\text{ }K(x,t;x_{a},t_{a})\text{ }dx\]
Cette relation traduit le fait que l’évolution entre deux instants peut être décomposée en évolutions successives, et elle est parfaitement cohérente avec la structure du formalisme des intégrales de chemin, où les chemins peuvent être découpés et recombinés.
Ainsi, le formalisme de Feynman s’inscrit pleinement dans le cadre de la mécanique quantique standard, dont il constitue une reformulation particulièrement élégante et intuitive, fondée sur la notion de somme sur les histoires possibles du système.
Généralisation à la théorie quantique des champs
Le formalisme des intégrales de chemin se généralise naturellement à la théorie quantique des champs en remplaçant les trajectoires \(x(t)\)par des configurations de champs définies sur l’espace-temps. Alors que, dans le cas d’une particule, l’objet fondamental est une fonction du temps, dans une théorie des champs, la variable dynamique devient un champ \(\varphi(x)\), où \(x = (x^{\mu})\ \)désigne un point de l’espace-temps.
Dans ce cadre, la dynamique du système est entièrement déterminée par une densité lagrangienne \(\mathcal{L(}\varphi,\partial_{\mu}\varphi)\), et l’action associée à une configuration de champ est donnée par
\[S\lbrack\varphi\mathcal{\rbrack = \int L(}\varphi(x),\partial_{\mu}\varphi(x))\text{ }d^{4}x\]
Cette expression généralise directement l’action de la mécanique classique, en remplaçant l’intégrale sur le temps par une intégrale sur l’espace-temps.
De manière analogue au cas des particules, on associe à chaque configuration de champ \(\varphi(x)\ \)une amplitude de la forme
\[\exp\left( \frac{i}{\hbar}S\lbrack\varphi\rbrack \right)\]
Le principe de superposition conduit alors à définir une intégrale de chemin sur l’ensemble des configurations de champ :
\[Z = \int\mathcal{D}\varphi\text{ }\exp\left( \frac{i}{\hbar}S\lbrack\varphi\rbrack \right)\]
Cette quantité, appelée fonctionnelle de partition ou fonctionnelle génératrice, joue un rôle central en théorie quantique des champs.
L’intégrale est ici prise sur un espace fonctionnel de dimension infinie, constitué de toutes les configurations possibles du champ \(\varphi(x)\). Comme dans le cas des trajectoires, la mesure \(\mathcal{D}\varphi\ \)est formelle et doit être interprétée comme une limite d’intégrales de dimension finie obtenues par discrétisation de l’espace-temps.
Le formalisme s’étend sans difficulté aux champs possédant plusieurs composantes, tels que les champs vectoriels ou les spineurs. Par exemple, pour un champ de Dirac \(\psi(x)\), l’intégrale de chemin prend la forme
\[Z = \int\mathcal{D}\overset{ˉ}{\psi}\text{ }\mathcal{D}\psi\text{ }\exp\left( \frac{i}{\hbar}S\lbrack\overset{ˉ}{\psi},\psi\rbrack \right)\]
Où l’action est construite à partir de la densité lagrangienne du champ fermionique.
Dans le cas des théories de jauge, la situation est encore plus riche. Le champ \(\varphi(x)\ \)doit alors être remplacé par un ensemble de champs, incluant les champs de matière et les champs de jauge. L’intégrale de chemin s’écrit alors formellement
\[Z = \int\mathcal{D}\varphi\text{ }\mathcal{D}A_{\mu}\text{ }\exp\left( \frac{i}{\hbar}S\lbrack\varphi,A_{\mu}\rbrack \right)\]
Où \(A_{\mu}\ \)désigne le champ de jauge. La présence d’une invariance de jauge introduit des redondances dans la description, ce qui nécessite l’introduction de procédures de fixation de jauge pour rendre l’intégrale bien définie.
Une propriété fondamentale de ce formalisme est que les équations classiques du champ, obtenues par les équations d’Euler-Lagrange, apparaissent comme les conditions de stationnarité de l’action. Comme dans le cas des particules, les configurations de champ qui dominent l’intégrale dans la limite \(\hbar \rightarrow 0\ \)sont celles qui rendent l’action stationnaire. Les solutions classiques émergent ainsi comme une approximation de la théorie quantique.
Le formalisme des intégrales de chemin fournit également un outil puissant pour le calcul des observables. En introduisant des sources extérieures couplées aux champs, on peut construire des fonctions de corrélation, qui contiennent toute l’information physique du système. Ces fonctions de corrélation sont obtenues par dérivation fonctionnelle de la fonctionnelle génératrice \(Z\), ce qui établit un lien direct entre le formalisme lagrangien et les quantités observables.
Ainsi, la généralisation du formalisme des intégrales de chemin à la théorie quantique des champs consiste à remplacer la somme sur les trajectoires par une somme sur les configurations de champ. Cette extension permet de traiter de manière unifiée les phénomènes de création et d’annihilation de particules, et constitue aujourd’hui l’un des outils fondamentaux de la physique théorique moderne.
Interprétation physique
Le formalisme des intégrales de chemin introduit une manière profondément différente d’interpréter la mécanique quantique. Alors que la formulation usuelle repose sur l’évolution d’une fonction d’onde dans un espace de Hilbert, la formulation de Feynman propose une vision dans laquelle la dynamique d’un système est décrite comme une superposition de toutes les évolutions possibles reliant deux configurations.
Dans cette approche, une particule ne suit pas une trajectoire unique entre deux points de l’espace-temps. Au contraire, tous les chemins mathématiquement admissibles contribuent à l’amplitude de transition, chacun étant pondéré par un facteur de phase déterminé par l’action classique. Cette idée constitue une généralisation radicale de la notion de trajectoire : la réalité quantique ne correspond plus à un chemin unique, mais à une interférence entre une infinité de chemins.
Le rôle central est joué par la phase
\[\exp\left( \frac{i}{\hbar}S\lbrack x(t)\rbrack \right)\]
Elle encode l’information dynamique associée à chaque chemin. Les contributions de différents chemins peuvent interférer de manière constructive ou destructive selon la valeur de leur action. Ainsi, les phénomènes d’interférence, au cœur de la mécanique quantique, apparaissent ici comme une conséquence directe de la superposition des phases associées aux chemins.
Une conséquence remarquable de cette structure est la manière dont la mécanique classique émerge comme une limite du formalisme quantique. Lorsque l’action est grande devant \(\hbar\), la phase varie très rapidement pour la plupart des chemins. Les contributions correspondantes s’annulent en moyenne en raison des oscillations rapides de l’exponentielle complexe. En revanche, dans le voisinage des chemins pour lesquels l’action est stationnaire, la phase varie peu, et les contributions s’additionnent de manière cohérente. Ce sont précisément ces chemins qui satisfont les équations d’Euler-Lagrange. Le principe de moindre action apparaît ainsi comme une conséquence statistique de l’interférence des chemins quantiques.
Cette interprétation permet de comprendre le caractère probabiliste de la mécanique quantique sous un angle nouveau. Les probabilités ne sont pas associées directement à des trajectoires individuelles, mais au résultat global d’une interférence entre toutes les histoires possibles du système. Le module carré de l’amplitude totale fournit alors la probabilité de transition entre les états considérés.
Dans le cadre de la théorie quantique des champs, cette interprétation prend une dimension encore plus générale. Les objets fondamentaux ne sont plus des trajectoires, mais des configurations de champs, et l’intégrale de chemin correspond à une somme sur toutes les configurations possibles. Les processus de création et d’annihilation de particules s’intègrent naturellement dans ce cadre, chaque configuration contribuant à l’amplitude globale du processus.
Ainsi, le formalisme des intégrales de chemin offre une vision unifiée et conceptuellement riche de la mécanique quantique. Il met en évidence le rôle fondamental de l’action, déjà centrale en mécanique classique, et montre comment la dynamique quantique peut être comprise comme une interférence entre toutes les évolutions possibles d’un système.
Conclusion
Le formalisme des intégrales de chemin constitue une reformulation profonde de la mécanique quantique, dans laquelle la dynamique d’un système n’est plus décrite par une trajectoire unique ni uniquement par des opérateurs, mais par une somme sur l’ensemble des évolutions possibles reliant deux configurations.
En partant du principe de moindre action de la mécanique classique, cette approche introduit une généralisation naturelle dans laquelle chaque chemin contribue à l’amplitude de transition, avec une phase déterminée par l’action. Le principe variationnel classique apparaît alors comme une limite du comportement quantique, résultant d’un mécanisme d’interférence constructive autour des trajectoires stationnaires.
D’un point de vue mathématique, le formalisme repose sur des intégrales fonctionnelles définies sur des espaces de dimension infinie, dont la manipulation nécessite des outils analytiques sophistiqués. Malgré ces difficultés, il fournit un cadre extrêmement puissant, permettant de retrouver l’équation de Schrödinger, de reformuler la mécanique quantique et d’étendre naturellement ces concepts à la théorie quantique des champs.
Dans ce contexte plus général, les trajectoires sont remplacées par des configurations de champs, et les phénomènes d’interaction, de création et d’annihilation de particules apparaissent comme des conséquences directes de la structure de l’action. Le formalisme des intégrales de chemin devient alors un outil central de la physique théorique moderne, notamment dans l’étude des théories de jauge et du modèle standard.
Ainsi, la démarche introduite par Feynman offre une vision unifiée dans laquelle les principes variationnels, les phénomènes d’interférence et la structure des théories quantiques sont étroitement liés. Elle illustre de manière particulièrement claire le rôle fondamental de l’action comme objet central reliant la mécanique classique et la physique quantique.