# Régularisation zêta

En analyse fonctionnelle, la régularisation zêta est une méthode de régularisation des déterminants d'opérateurs qui apparaissent lors de calculs d'intégrales de chemins en théorie quantique des champs.

## Le cas du Laplacien

Soit $\Omega$ un domaine compact de $\mathbb {R} ^{n}$ à bord $\partial \Omega$. Sur ce domaine, on considère l'opérateur positif ${\hat {H}}=-\ \Delta$, où $\Delta$ est le Laplacien, muni de conditions aux limites sur le bord $\partial \Omega$ du domaine (Dirichlet, Neumann, mixtes) qui précisent complètement le problème.
Lorsque le domaine $\Omega$ est compact, l'opérateur positif ${\hat {H}}=-\ \Delta$ possède un spectre discret de valeurs propres auxquels est associée une base orthonormée de vecteurs propres (on utilise ici les notations de Dirac) :
${\hat {H}}\ |\psi _{n}\rangle \ =\ \lambda _{n}\ |\psi _{n}\rangle \,,\quad 0\leq \lambda _{1}\leq \lambda _{2}\leq \dots \leq \lambda _{n}\leq \dots \leq +\infty$

## Fonction zêta spectrale
### Définition

On suppose ici que le fondamental $\lambda _{1}\neq 0$. Par analogie avec la fonction zêta de Riemann, on introduit la fonction zêta spectrale par la série de type Dirichlet :
$\zeta (s)=\sum _{n=1}^{+\infty }{\frac {1}{\lambda _{n}^{s}}}$
Cette série ne converge que pour Re(s) suffisamment grand, mais elle admet un prolongement méromorphe à tout le plan complexe.
Lorsque le spectre de l'opérateur ${\hat {H}}$ n'est pas connu explicitement, on peut utiliser la définition formelle comme trace :
$\zeta (s)=\mathrm {Tr} \left(\exp \left[-s\ln {\hat {H}}\right]\right)$

### Lien avec le déterminant

Le déterminant de l'opérateur H est défini par :
$\mathrm {det} {\hat {H}}=\prod _{n=1}^{+\infty }\lambda _{n}$
Avec l'identité :
$\ln \mathrm {det} {\hat {H}}=\ln \left(\prod _{n=1}^{+\infty }\lambda _{n}\right)=\sum _{n=1}^{+\infty }\ln \lambda _{n}=\mathrm {Tr} \ln {\hat {H}}$
on démontre facilement la relation formelle :
$\mathrm {det} {\hat {H}}=\exp \left[-\zeta '(0)\right]$
où la dérivée de la fonction zêta est évaluée en s = 0.

### Lien avec le noyau de la chaleur

La fonction zêta est reliée par une transformée de type Mellin :
$\zeta (s)={\frac {1}{\Gamma (s)}}\int _{0}^{+\infty }\mathrm {d} t\,t^{s-1}\,\mathrm {Tr} \left(\mathrm {e} ^{-t{\hat {H}}}\right)$
à la trace du noyau de la chaleur, définie par :
$\mathrm {Tr} \left(\mathrm {e} ^{-t{\hat {H}}}\right)=\sum _{n=1}^{+\infty }\mathrm {e} ^{-t\lambda _{n}}$

### Lien avec l'intégrale

Pour n entier, la régularisation zêta permet de donner un sens à des intégrales divergentes de la forme $\int _{0}^{\infty }\mathrm {d} xx^{n}\ :$
    $\int _{0}^{\infty }\mathrm {d} x\,x^{n}={\frac {n}{2}}\int _{0}^{\infty }\mathrm {d} x\,x^{n-1}+\zeta (-n)-\sum _{r=1}^{\infty }{\frac {B_{2r}}{(2r)!}}a_{n,r}(n-2r+1)\int _{0}^{\infty }\mathrm {d} x\,x^{n-2r}$,
    $a_{n,r}={\frac {\Gamma (n+1)}{\Gamma (n-2r+2)}}$.
Cette méthode a été introduite en théorie quantique des champs par des physiciens comme James Hartle et Emilio Elizalde. On peut l'utiliser pour régulariser le produit de deux distributions en utilisant le théorème de convolution avec intégrales divergentes $\int _{-\infty }^{\infty }\mathrm {d} t(x-t)^{m}t^{n}$

## Extensions

* Toutes les définitions précédentes se transposent assez naturellement au cas de l'opérateur de Laplace-Beltrami sur une variété riemannienne compacte, qui possède alors également un spectre discret. Elles s'étendent également au cas des variétés non-compactes à bord lorsque le spectre est encore discret
* Il est également possible d'étendre la théorie pour un autre opérateur elliptique.

## Articles liés

* Fonction zêta de Riemann
* Noyau de la chaleur
* Théorie quantique des champs
* Régularisation (physique)