Une méthode pour attribuer des valeurs finies à des sommes spectrales divergentes ou à des produits infinis en construisant une fonction zêta auxiliaire ζ(s) (typiquement ζ(s)=∑ λ_i^{-s} pour des valeurs propres λ_i>0), en prolongeant analytiquement ζ(s) au voisinage d'un point spécial (souvent s=0) et en définissant des sommes ou déterminants régularisés via des valeurs comme ζ(0) ou des dérivées telles que -ζ'(0).

Principe

Le prolongement analytique remplace une expression formellement divergente par la continuation analytique d'une fonction auxiliaire dont la valeur en un paramètre spécial fournit une valeur régularisée canonique ; la méthode repose sur la continuation méromorphe et le choix de normalisation cohérent avec la géométrie spectrale ou l'analyse.

Démonstration

Pour un opérateur elliptique à valeurs propres {λ_i>0}, définir ζ(s)=∑ λ_i^{-s} pour Re(s) grand, prolonger ζ(s) méromorphiquement jusqu'en s=0 et poser log det' Δ = -ζ'(0) pour obtenir un déterminant régularisé fini utilisé en géométrie spectrale et en certaines computations en théorie quantique des champs.

Mauvaise application

Appliquer la régularisation zêta sans garantir le prolongement analytique requis, en ignorant les pôles et contributions de résidus, ou en traitant la valeur régularisée comme invariante sous des manipulations arbitraires (choix de branche, soustractions non canoniques) peut conduire à des incohérences ou à des résultats dépendant du schéma.

Conséquence

Fournit des invariants finis, souvent canoniques, à partir de données spectrales divergentes, permettant des comparaisons entre géométries et facilitant des calculs en physique mathématique, bien que subsistent parfois des ambiguïtés (renormalisations finies) selon les choix effectués.

Inversion

Les régularisations par cutoff ou dimensionnelles approchent par troncature ou par continuation analytique en la dimension ; tandis que la régularisation zêta remplace la divergence par le prolongement analytique d'une zêta spectrale, les cutoffs rendent explicite la dépendance au régulateur et aux schémas de soustraction.

Limite

S'applique lorsque l'on peut définir une fonction zêta associée et la prolonger méromorphiquement au point pertinent ; elle n'est pas applicable s'il n'existe pas de zêta spectrale appropriée ou si le prolongement présente des singularités essentielles ou des résidus incontrôlables.

Tension sémantique

Tension entre régularisation analytique formelle et renormalización físicamente motivada : distintos esquemas de regularización pueden diferir por términos finitos relevantes físicamente o que requieren condiciones de renormalización ; la régularisation zêta es elegante pero a veces dependiente del esquema.

Synthèse

Associer une fonction zêta à l'expression divergente, effectuer son prolongement analytique au point où l'expression formelle serait évaluée, et extraire des valeurs finies (par ex. ζ(0), -ζ'(0)) comme régularisations canoniques lorsque la structure analytique le permet, en suivant les éventuelles ambiguïtés dépendant du schéma.