La formulation par intégrale de chemin est l'approche de la théorie quantique qui exprime les amplitudes de transition et les fonctions de corrélation comme des intégrales fonctionnelles sur des trajectoires pondérées par exp(iS/ħ) ; c'est une alternative lagrangienne fondée sur l'action à la formulation canonique par opérateurs, largement utilisée en mécanique quantique et en théorie quantique des champs.

Principe

La dynamique est encodée dans l'action classique : l'évolution quantique s'obtient en sommant les contributions de phase de toutes les histoires compatibles avec les conditions aux limites, les trajectoires classiques émergeant d'une évaluation par phase stationnaire et les effets quantiques provenant des fluctuations et de la topologie de l'espace des chemins.

Démonstration

La formulation sert à dériver les propagateurs par découpage temporel et composition de noyaux de court instant, à obtenir des règles de Feynman perturbatives en théorie des champs, et à calculer des effets non perturbatifs (instantons, solitons) via des expansions semiclassiques autour des points selle.

Mauvaise application

Supposer que l'intégrale de chemin est toujours la voie la plus simple néglige des subtilités telles que les ambiguïtés d'ordre d'opérateurs, les anomalies, la nécessité de jauge et la dépendance à la mesure ; l'utiliser sans régularisation ou sans traiter correctement les systèmes contraints conduit à des résultats incorrects ou incohérents.

Conséquence

Adopter la formulation par intégrale de chemin fournit un langage unifié pour quantifier des champs, mettre en œuvre des principes de symétrie et de jauge, dériver des développements perturbatifs en diagrammes, et développer une intuition semiclassique sur le tunneling et les phénomènes collectifs.

Inversion

La formulation canonique Hamiltonienne/par opérateurs, qui construit la dynamique à partir d'opérateurs, de relations de commutation et d'analyses spectrales, est la perspective inverse ; les deux formulations sont souvent équivalentes mais mettent l'accent sur des structures différentes (action vs algèbre d'opérateurs).

Limite

La formulation s'applique largement mais nécessite une définition soignée : choix de la mesure et du régulateur, conditions aux limites, fixation de jauge et contributions de ghost en théories de jauge, et renormalisation en théorie des champs sont des qualifications nécessaires qui limitent l'applicabilité naïve.

Tension sémantique

Une tension existe entre l'utilisation de l'intégrale de chemin comme image conceptuelle de nombreuses histoires possibles et son usage comme procédure limite techniquement définie ; de plus, le découpages temporel discret par rapport aux manipulations formelles en continu peut conduire à des implémentations pratiques différentes.

Synthèse

La formulation par intégrale de chemin réexprime la dynamique quantique en termes de sommes d'histoires pondérées par l'action ; lorsqu'elle est définie avec régularisation et gestion de jauge appropriées, elle constitue un complément puissant et parfois plus intuitif aux méthodes opératoires et la base des techniques modernes de théorie des champs.