Une dichotomie pour les équations linéaires impliquant des opérateurs compacts (ou de Fredholm) : pour un opérateur A de type Fredholm et un scalaire λ, soit (I − λA) est inversible et l'équation inhomogène admet une solution unique pour tout second membre, soit l'équation homogène admet des solutions non triviales et la résolubilité du problème inhomogène exige des conditions de compatibilité (orthogonalité) vis‑à‑vis du noyau de l'adjoint.

Principe

La théorie de Fredholm sépare la résolubilité en une obstruction de dimension finie (noyau/coconécodomaine) et un supplémentaire sur lequel l'opérateur est inversible ; les perturbations compactes de l'identité ont indice zéro et noyaux de dimension finie.

Démonstration

Analogue en dimension finie : pour une matrice carrée M, soit det M ≠ 0 et Mx = b admet une unique solution pour tout b, soit det M = 0 et la résolubilité exige que b appartienne à l'espace des colonnes, équivalent à être orthogonal au noyau à gauche.

Mauvaise application

Appliquer l'alternative à des opérateurs au spectre continu ou à des opérateurs non‑Fredholm (p. ex. opérateurs non bornés sans résolvante compacte) où le noyau/coconécodomaine peut être de dimension infinie et aucune condition de compatibilité finie ne s'applique.

Conséquence

Donne des critères explicites de résolubilité pour les équations intégrales linéaires et les problèmes aux limites elliptiques, ramène la résolubilité en dimension infinie à de l'algèbre linéaire de dimension finie et fournit des outils pour l'analyse de bifurcation près de valeurs singulières de paramètres.

Inversion

Le cas générique inversible (pas de noyau) contraste avec le cas obstrué : inverser l'énoncé met en évidence quand les solutions font défaut (solutions homogènes non triviales) plutôt que quand elles existent de façon unique.

Limite

Nécessite la propriété de Fredholm (noyau de dimension finie et image fermée de codimension finie) ou des hypothèses de compacité ; ne s'applique pas littéralement aux opérateurs bornés généraux en dimension infinie dépourvus de ces propriétés.

Tension sémantique

Alternative de Fredholm vs théorie générale de la résolubilité : l'alternative met l'accent sur des obstructions algébriques de dimension finie, alors que la théorie opératorielle plus large traite du spectre continu, du spectre essentiel et des phénomènes de non‑compacité sans dichotomie similaire.

Synthèse

L'alternative de Fredholm réduit la résolubilité linéaire pour des opérateurs de Fredholm (ou perturbations compactes) à une dichotomie : soit l'inversibilité assure des solutions uniques pour toutes les données, soit un noyau de dimension finie impose des conditions de compatibilité d'orthogonalité déterminées par l'adjoint.