Déterminant fonctionnel

En analyse fonctionnelle, une branche des mathématiques, il est parfois possible de généraliser la notion de déterminant d'une matrice carrée d'ordre fini (représentant une transformation linéaire d'un espace vectoriel de dimension finie vers lui-même) au cas de dimension infinie d'un opérateur linéaire S mappant un espace fonctionnel V à lui-même. La quantité correspondante det(S) est appelée le déterminant fonctionnel de S.

Il existe plusieurs formules pour le déterminant fonctionnel. Ils sont tous basés sur le fait que le déterminant d'une matrice finie est égal au produit des valeurs propres de la matrice. Une définition mathématiquement rigoureuse est via la fonction zêta de l'opérateur ,

${\zeta }_S(a)=\mathrm{tr}(S^{-a}),$

où tr représente la trace fonctionnelle : le déterminant est alors défini par

$\det S={\mathrm{e}}^{-{{\zeta }_S}^{\prime }(0)},$

où la fonction zêta au point s = 0 est définie par prolongement analytique. Une autre généralisation possible, souvent utilisée par les physiciens lors de l'utilisation du formalisme d'intégrale de chemin de Feynman en théorie quantique des champs (QFT), utilise une intégrale fonctionnelle :

$\det S\propto {\left(\underset{V}{\int }𝒟\varphi {\mathrm{e}}^{-⟨\varphi ,S\varphi ⟩}\right)}^{-2}.$

Cette intégrale de chemin n'est bien définie que jusqu'à une certaine constante multiplicative divergente. Pour lui donner un sens rigoureux, il doit être divisé par un autre déterminant fonctionnel, annulant ainsi effectivement les « constantes » problématiques.

Ce sont maintenant, ostensiblement, deux définitions différentes du déterminant fonctionnel, l'une provenant de la théorie quantique des champs et l'autre de la théorie spectrale. Chacun implique une sorte de régularisation : dans la définition populaire en physique, deux déterminants ne peuvent être comparés qu'entre eux ; en mathématiques, la fonction zêta a été utilisée. Osgood, Phillips & Sarnak (1988) ont montré que les résultats obtenus en comparant deux déterminants fonctionnels dans le formalisme de la théorie quantique des champs concordent avec les résultats obtenus par le déterminant fonctionnel zêta.

Définir des formules

Par une intégrale de chemin

Pour un opérateur auto-adjoint positif S sur un espace euclidien de dimension finie V, la formule est vérifiée :

$\frac{1}{\sqrt{\det S}}=\underset{V}{\int }{\mathrm{e}}^{-\pi ⟨x,Sx⟩}\mathrm{d}x$

Le problème est de trouver un moyen de donner un sens au déterminant d'un opérateur S sur un espace fonctionnel de dimension infinie. Une approche, privilégiée dans la théorie quantique des champs, dans laquelle l'espace des fonctions est constitué de chemins continus sur un intervalle fermé, consiste à tenter formellement de calculer l'intégrale

$\underset{V}{\int }{\mathrm{e}}^{-\pi ⟨\varphi ,S\varphi ⟩}𝒟\varphi$

où V est l'espace des fonctions et $⟨\cdot ,\cdot ⟩$ le produit interne L², et $𝒟\varphi$ la mesure de Wiener. L'hypothèse de base sur S est qu'il doit être auto-adjoint et avoir un spectre discret λ₁, λ₂, λ₃, … avec un ensemble correspondant de fonctions propres f₁, f₂, f₃, … qui sont complètes dans L² (comme ce serait par exemple le cas pour l'opérateur de dérivée seconde sur un intervalle compact Ω). Cela signifie grossièrement que toutes les fonctions φ peuvent être écrites comme des combinaisons linéaires des fonctions f_i :

$|\varphi ⟩=\sum _i{c}_i|f_i⟩\text{avec}{c}_i=⟨f_i|\varphi ⟩.$

Par conséquent, le produit scalaire dans l'exponentielle peut être écrit comme

$⟨\varphi |S|\varphi ⟩=\sum _{i,j}{c}_i^{*}{c}_j⟨f_i|S|f_j⟩=\sum _{i,j}{c}_i^{*}{c}_j{\delta }_{ij}{\lambda }_i=\sum _i|c_i{|}^2{\lambda }_i.$

Dans la base des fonctions f_i, l'intégration fonctionnelle se réduit à une intégration sur toutes les fonctions de base. Formellement, en supposant que le cas de la dimension finie se répercute comme supposé dans le cadre de la dimension infinie, la mesure devrait alors être égale à

$𝒟\varphi =\prod _i\frac{\mathrm{d}{c}_i}{2\pi }.$

Cela fait de l'intégrale fonctionnelle un produit d'intégrales gaussiennes :

$\underset{V}{\int }𝒟\varphi {\mathrm{e}}^{-⟨\varphi |S|\varphi ⟩}=\prod _i\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}\frac{\mathrm{d}{c}_i}{2\pi }{\mathrm{e}}^{-{\lambda }_i{c}_i^2}.$

Les intégrales peuvent alors être évaluées :

$\underset{V}{\int }𝒟\varphi {\mathrm{e}}^{-⟨\varphi |S|\varphi ⟩}=\prod _i\frac{1}{2\sqrt{\pi {\lambda }_i}}=\frac{C}{\prod _i\sqrt{{\lambda }_i}}$

où C est une constante infinie qui doit être traitée par une procédure de régularisation. Le produit de toutes les valeurs propres est égal au déterminant pour les espaces de dimension finie, et on définit donc formellement que c'est également le cas dans le cas de la dimension infinie. Cela se traduit par la formule

$\underset{V}{\int }𝒟\varphi {\mathrm{e}}^{-⟨\varphi |S|\varphi ⟩}\propto \frac{1}{\sqrt{\det S}}.$

Si toutes les quantités convergent dans un sens approprié, alors le déterminant fonctionnel peut être décrit comme une limite classique (Watson et Whittaker). Sinon, il est nécessaire d'effectuer une sorte de régularisation. La plus usuelle pour le calcul des déterminants fonctionnels est la régularisation zêta . Par exemple, cela permet de calculer le déterminant des opérateurs de Laplace et de Dirac sur une variété riemannienne, en utilisant la Modèle:Lien. Sinon, il est aussi possible de considérer le quotient de deux déterminants, faisant s'annuler les constantes divergentes.

Par la fonction zêta

Soit S un opérateur différentiel elliptique à coefficients lisses qui est positif sur les fonctions de support compact. Autrement dit, il existe une constante Modèle:Nobr telle que

$⟨\varphi ,S\varphi ⟩\ge c⟨\varphi ,\varphi ⟩$

pour toutes les fonctions lisses à support compact φ. Alors S admet un prolongement auto-adjoint vers un opérateur sur L ² de borne inférieure c. Les valeurs propres de S peuvent être disposées en une suite

$0<{\lambda }_1\le {\lambda }_2\le \cdots ,{\lambda }_n\to \mathrm{\infty }.$

Alors la fonction zêta de S est définie par la série :

${\zeta }_S(s)=\sum _{n=1}^{\mathrm{\infty }}\frac{1}{{\lambda }_n^s}.$

On sait que ζ _S a un prolongement méromorphe à tout le plan. De plus, bien que l'on puisse définir la fonction zêta dans des situations plus générales, la fonction zêta d'un opérateur différentiel elliptique (ou opérateur pseudo-différentiel) est régulière en Modèle:Nobr

Formellement, dériver cette série terme à terme donne

${{\zeta }_S}^{\prime }(s)=\sum _{n=1}^{\mathrm{\infty }}\frac{-\ln {\lambda }_n}{{\lambda }_n^s},$

et donc si le déterminant fonctionnel est bien défini, alors il devrait être donné par

$\det S=\exp (-{{\zeta }_S}^{\prime }(0)).$

Puisque la suite analytique de la fonction zêta est régulière en zéro, cela peut être rigoureusement adopté comme définition du déterminant.

Ce type de déterminant fonctionnel zêta-régularisé apparaît également lors de l'évaluation des sommes de la forme ${\sum }_{n=0}^{\mathrm{\infty }}\frac{1}{(n+a)}$. L'intégration en a donne ${\sum }_{n=0}^{\mathrm{\infty }}\ln (n+a)$ qui peut simplement être considéré comme le logarithme du déterminant pour un oscillateur harmonique. Cette dernière valeur est juste égale à $-{\partial }_s{\zeta }_H(0,a)$, où ${\zeta }_H(s,a)$ est la fonction zêta de Hurwitz.

Exemple pratique

Le puits de potentiel infini avec A = 0.

Puits de potentiel infini

On calcule le déterminant de l'opérateur suivant décrivant le mouvement d'une particule de mécanique quantique dans un puits de potentiel infini :

$\det (-\frac{{\mathrm{d}}^2}{\mathrm{d}{x}^2}+A)(x\in [0,L]),$

où A est la profondeur du potentiel et L est la longueur du puits. On va calculer ce déterminant en diagonalisant l'opérateur et en multipliant les valeurs propres. Pour ne pas avoir à s'embarrasser de la constante divergente sans intérêt, nous allons calculer le quotient entre les déterminants de l'opérateur de profondeur A et de l'opérateur de profondeur A = 0. Les valeurs propres de ce potentiel sont égales à

${\lambda }_n=\frac{n^2{\pi }^2}{L^2}+A(n\in \mathbb{N}\setminus \{0\}).$

Cela signifie que

$\frac{\det (-\frac{{\mathrm{d}}^2}{\mathrm{d}{x}^2}+A)}{\det (-\frac{{\mathrm{d}}^2}{\mathrm{d}{x}^2})}=\prod _{n=1}^{+\mathrm{\infty }}\frac{\frac{n^2{\pi }^2}{L^2}+A}{\frac{n^2{\pi }^2}{L^2}}=\prod _{n=1}^{+\mathrm{\infty }}(1+\frac{L^{2}A}{n^2{\pi }^2}).$

On peut maintenant utiliser la formule du produit eulérien pour la fonction sinus :

$\sin z=z\prod _{n=1}^{\mathrm{\infty }}(1-\frac{z^2}{n^2{\pi }^2})$

à partir de laquelle une formule similaire pour la fonction sinus hyperbolique peut être dérivée :

$\sinh z=-\mathrm{i}\sin (\mathrm{i}z)=z\prod _{n=1}^{\mathrm{\infty }}(1+\frac{z^2}{n^2{\pi }^2}).$

En appliquant cela, on constate que

$\frac{\det (-\frac{{\mathrm{d}}^2}{\mathrm{d}{x}^2}+A)}{\det (-\frac{{\mathrm{d}}^2}{\mathrm{d}{x}^2})}=\prod _{n=1}^{+\mathrm{\infty }}(1+\frac{L^{2}A}{n^2{\pi }^2})=\frac{\sinh (L\sqrt{A})}{L\sqrt{A}}.$

Autre façon de calculer le déterminant fonctionnel

Pour les potentiels unidimensionnels, un raccourci donnant le déterminant fonctionnel existe. On commence par considérer l'expression suivante :

$\frac{\det (-\frac{{\mathrm{d}}^2}{\mathrm{d}{x}^2}+V_1(x)-m)}{\det (-\frac{{\mathrm{d}}^2}{\mathrm{d}{x}^2}+V_2(x)-m)}$

où m est une constante complexe. Cette expression est une fonction méromorphe de m, ayant des zéros lorsque m est égal à une valeur propre de l'opérateur de potentiel V₁(x) et un pôle lorsque m est une valeur propre de l'opérateur de potentiel V₂(x). On considère maintenant les fonctions Modèle:Nobr et Modèle:Nobr avec

$(-\frac{{\mathrm{d}}^2}{\mathrm{d}{x}^2}+V_i(x)-m){\psi }_i^m(x)=0$

respectant les conditions aux limites

${\psi }_i^m(0)=0,\frac{\mathrm{d}{\psi }_i^m}{\mathrm{d}x}(0)=1.$

Si on construit la fonction

$\mathrm{\Delta }(m)=\frac{{\psi }_1^m(L)}{{\psi }_2^m(L)},$

qui est aussi une fonction méromorphe de m, on voit qu'elle a exactement les mêmes pôles et zéros que le quotient de déterminants qu'on cherche à calculer : si m est une valeur propre de l'opérateur numéro un, alors Modèle:Nobr en sera une fonction propre, c'est-à-dire Modèle:Nobr ; et de manière analogue pour le dénominateur. D'après le théorème de Liouville, deux fonctions méromorphes avec les mêmes zéros et pôles doivent être proportionnelles l'une à l'autre. Dans le cas étudié, la constante de proportionnalité s'avère être égale à 1, et on obtient

$\frac{\det (-\frac{{\mathrm{d}}^2}{\mathrm{d}{x}^2}+V_1(x)-m)}{\det (-\frac{{\mathrm{d}}^2}{\mathrm{d}{x}^2}+V_2(x)-m)}=\frac{{\psi }_1^m(L)}{{\psi }_2^m(L)}$

pour toutes les valeurs de m. Pour m = 0, on obtient

$\frac{\det (-\frac{{\mathrm{d}}^2}{\mathrm{d}{x}^2}+V_1(x))}{\det (-\frac{{\mathrm{d}}^2}{\mathrm{d}{x}^2}+V_2(x))}=\frac{{\psi }_1^0(L)}{{\psi }_2^0(L)}.$

Le potentiel infini bien revisité

Le problème de la section précédente peut être résolu plus facilement avec ce formalisme. Les fonctions Modèle:Nobr et Modèle:Nobr vérifient :

$\begin{array}{cc}& (-\frac{{\mathrm{d}}^2}{\mathrm{d}{x}^2}+A){\psi }_1^0=0,{\psi }_1^0(0)=0,\frac{\mathrm{d}{\psi }_1^0}{\mathrm{d}x}(0)=1,\\ & -\frac{{\mathrm{d}}^2}{\mathrm{d}{x}^2}{\psi }_2^0=0,{\psi }_2^0(0)=0,\frac{\mathrm{d}{\psi }_2^0}{\mathrm{d}x}(0)=1,\end{array}$

donnant les solutions suivantes :

$\begin{array}{cc}& {\psi }_1^0(x)=\frac{1}{\sqrt{A}}\sinh (x\sqrt{A}),\\ & {\psi }_2^0(x)=x.\end{array}$

Cela donne l'expression finale

$\frac{\det (-\frac{{\mathrm{d}}^2}{\mathrm{d}{x}^2}+A)}{\det (-\frac{{\mathrm{d}}^2}{\mathrm{d}{x}^2})}=\frac{\sinh (L\sqrt{A})}{L\sqrt{A}}.$

Articles connexes

• Déterminant de Fredholm
• Modèle:Lien
• Modèle:Lien

Bibliographie

• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Article
• Modèle:Article
• Modèle:Article
• Modèle:Ouvrage
• Modèle:Ouvrage