La classe d'intégrales définies d'exponentielles à exposants quadratiques, typiquement de la forme ∫ exp(-a x2 + b x + c) dx, évaluées avec des conditions sur les paramètres (par ex. Re(a)>0) et prolongées par continuation analytique aux paramètres complexes ; largement utilisées en mécanique quantique pour la normalisation, les propagateurs et l'évaluation d'intégrales de chemin.

Principe

Compléter le carré et utiliser la continuation analytique : les intégrales gaussiennes se réduisent à des expressions fermées (√(π/a) multiplié par une exponentielle en b2/4a) lorsque la forme quadratique est non dégénérée, et les actions proches du quadratique permettent des approximations par phase stationnaire ou point col.

Démonstration

Le propagateur d'une particule libre en une dimension et la normalisation de l'état fondamental de l'oscillateur harmonique s'obtiennent par intégration gaussienne ; dans les intégrales de chemin, les actions quadratiques discrétisées donnent des déterminants gaussiens exacts fournissant des propagateurs en forme fermée.

Mauvaise application

Appliquer la formule standard lorsque la partie réelle de a est non positive (menant à des intégrales divergentes), ignorer les choix de branches lors de la continuation analytique de a et b, ou traiter des intégrales non quadratiques comme gaussiennes sans approximation contrôlée.

Conséquence

Permet des solutions en forme fermée pour l'évolution de paquets d'ondes gaussiens, des propagateurs exacts pour les Hamiltoniens quadratiques, et des approximations semiclassiques efficaces pour des actions faiblement non quadratiques ; soutient de nombreuses techniques en théorie des perturbations et déterminants fonctionnels.

Inversion

Les intégrales avec exposants d'ordre supérieur ou non polynomiaux qui ne se réduisent pas par complétion du carré nécessitent des méthodes perturbatives, numériques ou basées sur fonctions spéciales ; des développements autour de points col remplacent l'évaluation gaussienne exacte.

Limite

S'applique strictement aux intégrales aux exposants quadratiques ou aux approximations autour de points stationnaires quadratiques ; les extensions par continuation analytique exigent le contrôle des contours et de la convergence ; exclut les intégrales dominées par des queues lourdes ou des comportements non analytiques.

Tension sémantique

Tension entre les formules gaussiennes exactes et convergentes et leur emploi formel sous continuation analytique dans les intégrales oscillatoires (type Fresnel) ; les physiciens utilisent souvent les résultats gaussiens de façon heuristique là où la convergence mathématique doit être justifiée.

Synthèse

Les intégrales gaussiennes en mécanique quantique sont les évaluations en forme fermée d'intégrales à exponentielle quadratique — calculées par complétion du carré et continuation analytique — qui fournissent des résultats exacts pour les problèmes quadratiques et constituent l'outil d'approximation central (phase stationnaire) pour les actions proches du quadratique.