Accueil🇫🇷Chercher

Théorèmes de Fredholm

En mathématiques, les théorèmes de Fredholm sont un ensemble de résultats célèbres produit par Ivar Fredholm et s'intégrant dans la théorie de Fredholm des équations intégrales. Il existe plusieurs théorèmes étroitement liés, pouvant être énoncés via des équations intégrales, l'algèbre linéaire ou l'opérateur de Fredholm sur les espaces de Banach.

L'alternative de Fredholm est l'un des théorèmes de Fredholm.

Algèbre linéaire

Le théorème de Fredholm dans sa version algèbre linéaire stipule que si M est une matrice, alors le complément orthogonal de l'espace des lignes de M est le noyau de M :

De même, le complément orthogonal de l'espace colonne de M est le noyau de l'adjoint :

Équations intégrales

Sous sa forme utilisant les équations intégrales, le théorème s'exprime comme suit. Soit un opérateur intégral, considérons les équations homogènes

et son adjoint complexe

Ici, désigne le conjugué du nombre complexe , et le conjugué de . Le théorème de Fredholm stipule alors que, pour toute valeur fixe de , ces deux équations ont soit la solution triviale soit le même nombre de solutions linéairement indépendantes , .

Une condition suffisante pour ce théorème est que doit être de carré intégrable sur le rectangle (où a et b peuvent être moins ou plus l'infini).

Ici, l'intégrale est exprimée comme une intégrale unidimensionnelle dans les réels. Ce résultat se généralise dans la théorie de Fredholm, en s'appliquant aux opérateurs intégraux sur des espaces multidimensionnels, cela comprend par exemple, les variétés riemanniennes.

Existence de solutions

L'un des théorèmes de Fredholm, étroitement lié à l'alternative de Fredholm, concerne l'existence de solutions à l'équation intégrale de Fredholm

Des solutions à cette équation existent si et seulement si la fonction est orthogonale à l'ensemble des solutions de l'équation adjointe homogène correspondante :

est le conjugué de et le premier est l'un des ensembles complets de solutions pour

Une condition suffisante de ce théorème est que doit être de carré intégrable sur le rectangle .

Références

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.