Fredholm operator

From Wikipedia, the free encyclopedia

In mathematics, a Fredholm operator is an operator that arises in the Fredholm theory of integral equations. It is named in honour of Erik Ivar Fredholm.

A Fredholm operator is a bounded linear operator between two Banach spaces whose range is closed and whose kernel and cokernel are finite-dimensional. Equivalently, an operator T : X → Y is Fredholm if it is invertible modulo compact operators, i.e., if there exists a bounded linear operator

S: Y\to X

such that

 \mbox{Id}_X - ST \quad\mbox{and}\quad \mbox{Id}_Y - TS

are compact operators on X and Y respectively.

The index of a Fredholm operator is

 \mbox{ind}\,T = \dim \ker T - \mbox{codim}\,\mbox{ran}\,T

(see dimension, kernel, codimension, and range).

The index of T remains constant under compact perturbations of T. The Atiyah-Singer index theorem gives a topological characterization of the index of certain operators on manifolds.

An elliptic operator can be extended to a Fredholm operator. The use of Fredholm operators in partial differential equations is an abstract form of the parametrix method.

[edit] References

Languages