Utilisateur:Yanismissou/Brouillon

En mathématiques, le théorème de Fredholm est un ensemble de résultats obtenus par Ivar Fredholm dans le cadre de sa théorie sur les équations intégrales. There are several closely related theorems, which may be stated in terms of integral equations, in terms of linear algebra, or in terms of the Fredholm operator on Banach spaces.

L' alternative de Fredholm est l'une de ces propriétés.

Algèbre linéaire

Fredholm's theorem in linear algebra is as follows: if M is a matrix, then the orthogonal complement of the row space of M is the null space of M:

$(\operatorname {row} M)^{\bot }=\ker M.$

Similarly, the orthogonal complement of the column space of M is the null space of the adjoint:

$(\operatorname {col} M)^{\bot }=\ker M^{*}.$

Equations intégrales

Fredholm's theorem for integral equations is expressed as follows. Let $K(x,y)$ be an integral kernel, and consider the homogeneous equations

$\int _{a}^{b}K(x,y)\phi (y)\,dy=\lambda \phi (x)$

and its complex adjoint

$\int _{a}^{b}\psi (x){\overline {K(x,y)}}\,dx={\overline {\lambda }}\psi (y).$

Here, ${\overline {\lambda }}$ denotes the complex conjugate of the complex number $\lambda$, and similarly for ${\overline {K(x,y)}}$. Then, Fredholm's theorem is that, for any fixed value of $\lambda$, these equations have either the trivial solution $\psi (x)=\phi (x)=0$ or have the same number of linearly independent solutions $\phi _{1}(x),\cdots ,\phi _{n}(x)$, $\psi _{1}(y),\cdots ,\psi _{n}(y)$.

A sufficient condition for this theorem to hold is for $K(x,y)$ to be square integrable on the rectangle $[a,b]\times [a,b]$ (where a and/or b may be minus or plus infinity).

Here, the integral is expressed as a one-dimensional integral on the real number line. In Fredholm theory, this result generalizes to integral operators on multi-dimensional spaces, including, for example, Riemannian manifolds.

Existence de solutions

One of Fredholm's theorems, closely related to the Fredholm alternative, concerns the existence of solutions to the inhomogeneous Fredholm equation

$\lambda \phi (x)-\int _{a}^{b}K(x,y)\phi (y)\,dy=f(x).$

Solutions to this equation exist if and only if the function $f(x)$ is orthogonal to the complete set of solutions $\{\psi _{n}(x)\}$ of the corresponding homogeneous adjoint equation:

$\int _{a}^{b}{\overline {\psi _{n}(x)}}f(x)\,dx=0$

where ${\overline {\psi _{n}(x)}}$ is the complex conjugate of $\psi _{n}(x)$ and the former is one of the complete set of solutions to

$\lambda {\overline {\psi (y)}}-\int _{a}^{b}{\overline {\psi (x)}}K(x,y)\,dx=0.$

Ce théorème a pour condition suffisante to hold is for $K(x,y)$ to be square integrable on the rectangle $[a,b]\times [a,b]$.

Réferences

• E.I. Fredholm, "Sur une classe d'equations fonctionnelles", Acta Math., 27 (1903) pp. 365–390.
• (en) Eric W. Weisstein, « {{{titre}}} », sur MathWorld
• (en) « Yanismissou/Brouillon », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, 2002 (ISBN 978-1556080104, lire en ligne)