3. Méthode de Fredholm
Supposons toujours A compact et le noyau K continu sur A2. Si l'on partage A en p parties Ai de mesures αi, i = 1, ..., p, et si l'on choisit xi ∈ Ai pour chaque indice i, on peut considérer le système linéaire :



Le monôme (9) est le terme général d'une série entière convergente pour tout λ ∈ C ; en ajoutant à la série un terme constant égal à 1, on obtient une fonction entière D(λ) appelée déterminante du noyau K et aussi déterminante du noyau transposé K∼ défini par :

Le produit de cette déterminante et du noyau résolvant est encore une fonction entière de λ :

Le premier théorème de Fredholm affirme que, si D(λ) ≠ 0, pour tout second membre f ∈ C(A), l'équation (1) a une solution unique, encore donnée par (6), avec maintenant :[…]
… pour nos abonnés, l'article se prolonge sur 4 pages…



