##  [Déterminant de Fredholm](/fr/node/58227) 

 Définition

Le déterminant de Fredholm det(I+K) est un scalaire défini pour des opérateurs de classe trace (nucleaire) K sur un espace de Hilbert, construit comme le produit convergent ∏_j (1+λ_j) sur les valeurs propres λ_j de K (avec multiplicité algébrique), ou équivalemment par det(I+K)=exp(tr log(I+K)). Il caractérise l'inversibilité de I+K et la dépendance analytique aux paramètres.

 

 

 

 

 

 





## Principe

Principe

Les conditions de compacité et de classe trace garantissent la convergence du produit spectral et l'existence d'expansions analytiques ; les zéros de det(I+K) correspondent à −1 dans le spectre de K, signalant la non-inversibilité et la présence de valeurs propres.

 

 

 

 

 





## Démonstration

Démonstration

Pour un opérateur intégral K sur L^2 à noyau k(x,y) de classe trace, le déterminant de Fredholm est une fonction entière du paramètre spectral dont les zéros localisent les valeurs propres et déterminent les pôles du résolvant en problèmes de diffusion.

 

 

 

 

## Mauvaise application

Mauvaise application

Prendre formellement le produit ∏(1+λ_j) pour un opérateur compact non de classe trace où ∑|λ_j| diverge conduit à un produit infini divergent et à des conclusions invalides sur le spectre ou l'inversibilité.

 

 

 

 

 





## Conséquence

Conséquence

Les déterminants de Fredholm permettent la prolongation analytique, des identités de déterminant (par ex. formules de trace), le comptage des valeurs propres et le suivi paramétrique des transitions spectrales dans des familles de perturbations compactes.

 

 

 

 

## Inversion

Inversion

En dimension finie, le déterminant d'une matrice donne l'inversibilité directement à partir des coefficients ; le déterminant de Fredholm étend cette notion aux dimensions infinies mais exige des hypothèses de classe d'opérateur et une régularisation spectrale.

 

 

 

 

 





## Limite

Limite

Défini pour des opérateurs de classe trace (nucleaires) ; pour des opérateurs hors de la classe trace on utilise des déterminants régularisés (ex. Carleman ou ζ‑régularisation) ou d'autres invariants spectraux. Le choix de branche du logarithme doit être contrôlé.

 

 

 

 

 





## Tension sémantique

Tension sémantique

Analogue du polynôme caractéristique en dimensions finies mais différent par sa structure analytique et son domaine : le déterminant de Fredholm est une fonction analytique sous hypothèses de classe d'opérateur, pas un polynôme, et requiert des hypothèses de trace absentes pour les matrices finies.

 

 

 

 

 





## Synthèse

Synthèse

Un analogue infini-dimensionnel du déterminant pour les perturbations de l'identité en classe trace qui encode les zéros spectraux, contrôle l'inversibilité de I+K et fournit des outils analytiques pour les familles d'opérateurs.