FAIR and interactive data graphics from a scientific knowledge graph

In mathematics, Fredholm theory is a theory of integral equations. In the narrowest sense, Fredholm theory concerns itself with the solution of the Fredholm integral equation. In a broader sense, the abstract structure of Fredholm's theory is given in terms of the spectral theory of Fredholm operators and Fredholm kernels on Hilbert space. The theory is named in honour of Erik Ivar Fredholm.

Overview

The following sections provide a casual sketch of the place of Fredholm theory in the broader context of operator theory and functional analysis. The outline presented here is broad, whereas the difficulty of formalizing this sketch is, of course, in the details.

Fredholm equation of the first kind

Much of Fredholm theory concerns itself with the following integral equation for f when g and K are given:

g(x)=\int _{a}^{b}K(x,y)f(y)\,dy.

This equation arises naturally in many problems in physics and mathematics, as the inverse of a differential equation. That is, one is asked to solve the differential equation

Lg(x)=f(x)

where the function $f$ is given and $g$ is unknown. Here, $L$ stands for a linear differential operator.

For example, one might take $L$ to be an elliptic operator, such as

L={\frac {d^{2}}{dx^{2}}}\,

in which case the equation to be solved becomes the Poisson equation.

A general method of solving such equations is by means of Green's functions, namely, rather than a direct attack, one first finds the function $K=K(x,y)$ such that for a given pair $x,y$ ,

LK(x,y)=\delta (x-y),

where $δ (x)$ is the Dirac delta function.

The desired solution to the above differential equation is then written as an integral in the form of a Fredholm integral equation,

g(x)=\int K(x,y)f(y)\,dy.

The function $K (x,y)$ is variously known as a Green's function, or the kernel of an integral. It is sometimes called the nucleus of the integral, whence the term nuclear operator arises.

In the general theory, $x$ and $y$ may be points on any manifold; the real number line or $m$ -dimensional Euclidean space in the simplest cases. The general theory also often requires that the functions belong to some given function space: often, the space of square-integrable functions is studied, and Sobolev spaces appear often.

The actual function space used is often determined by the solutions of the eigenvalue problem of the differential operator; that is, by the solutions to

L\psi _{n}(x)=\omega _{n}\psi _{n}(x)

where the $ω n$ are the eigenvalues, and the $ψ n (x)$ are the eigenvectors. The set of eigenvectors span a Banach space, and, when there is a natural inner product, then the eigenvectors span a Hilbert space, at which point the Riesz representation theorem is applied. Examples of such spaces are the orthogonal polynomials that occur as the solutions to a class of second-order ordinary differential equations.

Given a Hilbert space as above, the kernel may be written in the form

K(x,y)=\sum _{n}{\frac {\psi _{n}(x)\psi _{n}(y)}{\omega _{n}}}.

In this form, the object $K (x,y)$ is often called the Fredholm operator or the Fredholm kernel. That this is the same kernel as before follows from the completeness of the basis of the Hilbert space, namely, that one has

\delta (x-y)=\sum _{n}\psi _{n}(x)\psi _{n}(y).

Since the $ω n$ are generally increasing, the resulting eigenvalues of the operator $K (x,y)$ are thus seen to be decreasing towards zero.

Inhomogeneous equations

The inhomogeneous Fredholm integral equation

f(x)=-\omega \varphi (x)+\int K(x,y)\varphi (y)\,dy

may be written formally as

f=(K-\omega )\varphi

which has the formal solution

\varphi ={\frac {1}{K-\omega }}f.

A solution of this form is referred to as the resolvent formalism, where the resolvent is defined as the operator

R(\omega )={\frac {1}{K-\omega I}}.

Given the collection of eigenvectors and eigenvalues of K, the resolvent may be given a concrete form as

R(\omega ;x,y)=\sum _{n}{\frac {\psi _{n}(y)\psi _{n}(x)}{\omega _{n}-\omega }}

with the solution being

\varphi (x)=\int R(\omega ;x,y)f(y)\,dy.

A necessary and sufficient condition for such a solution to exist is one of Fredholm's theorems. The resolvent is commonly expanded in powers of $\lambda =1/\omega$ , in which case it is known as the Liouville-Neumann series. In this case, the integral equation is written as

g(x)=\varphi (x)-\lambda \int K(x,y)\varphi (y)\,dy

and the resolvent is written in the alternate form as

R(\lambda )={\frac {1}{I-\lambda K}}.

Fredholm determinant

The Fredholm determinant is commonly defined as

\det(I-\lambda K)=\exp \left[-\sum _{n}{\frac {\lambda ^{n}}{n}}\operatorname {Tr} \,K^{n}\right]

where

\operatorname {Tr} \,K=\int K(x,x)\,dx

and

\operatorname {Tr} \,K^{2}=\iint K(x,y)K(y,x)\,dx\,dy

and so on. The corresponding zeta function is

\zeta (s)={\frac {1}{\det(I-sK)}}.

The zeta function can be thought of as the determinant of the resolvent.

The zeta function plays an important role in studying dynamical systems. Note that this is the same general type of zeta function as the Riemann zeta function; however, in this case, the corresponding kernel is not known. The existence of such a kernel is known as the Hilbert–Pólya conjecture.

Main results

The classical results of the theory are Fredholm's theorems, one of which is the Fredholm alternative.

One of the important results from the general theory is that the kernel is a compact operator when the space of functions are equicontinuous.

A related celebrated result is the Atiyah–Singer index theorem, pertaining to index (dim ker – dim coker) of elliptic operators on compact manifolds.

History

Fredholm's 1903 paper in Acta Mathematica is considered to be one of the major landmarks in the establishment of operator theory. David Hilbert developed the abstraction of Hilbert space in association with research on integral equations prompted by Fredholm's (amongst other things).

References

Fredholm, E. I. (1903). "Sur une classe d'equations fonctionnelles" (PDF). Acta Mathematica. 27: 365–390. doi:10.1007/bf02421317.
Edmunds, D. E.; Evans, W. D. (1987). Spectral Theory and Differential Operators. Oxford University Press. ISBN 0-19-853542-2.
B. V. Khvedelidze, G. L. Litvinov (2001) [1994], "Fredholm kernel", Encyclopedia of Mathematics, EMS Press
Driver, Bruce K. "Compact and Fredholm Operators and the Spectral Theorem" (PDF). Analysis Tools with Applications. pp. 579–600.
Mathews, Jon; Walker, Robert L. (1970). Mathematical Methods of Physics (2nd ed.). New York: W. A. Benjamin. ISBN 0-8053-7002-1.
McOwen, Robert C. (1980). "Fredholm theory of partial differential equations on complete Riemannian manifolds". Pacific J. Math. 87 (1): 169–185. doi:10.2140/pjm.1980.87.169. Zbl 0457.35084.

Spectral theory and ^*-algebras
Basic concepts	Involution/-algebra Banach algebra B-algebra C-algebra Noncommutative topology Projection-valued measure Spectrum Spectrum of a C-algebra Spectral radius Operator space
Main results	Gelfand–Mazur theorem Gelfand–Naimark theorem Gelfand representation Polar decomposition Singular value decomposition Spectral theorem Spectral theory of normal C*-algebras
Special Elements/Operators	Isospectral Normal operator Hermitian/Self-adjoint operator Unitary operator Unit
Spectrum	Krein–Rutman theorem Normal eigenvalue Spectrum of a C*-algebra Spectral radius Spectral asymmetry Spectral gap
Decomposition	Decomposition of a spectrum Continuous Point Residual Approximate point Compression Direct integral Discrete Spectral abscissa
Spectral Theorem	Borel functional calculus Min-max theorem Positive operator-valued measure Projection-valued measure Riesz projector Rigged Hilbert space Spectral theorem Spectral theory of compact operators Spectral theory of normal C*-algebras
Special algebras	Amenable Banach algebra With an Approximate identity Banach function algebra Disk algebra Nuclear C*-algebra Uniform algebra Von Neumann algebra Tomita–Takesaki theory
Finite-Dimensional	Alon–Boppana bound Bauer–Fike theorem Numerical range Schur–Horn theorem
Generalizations	Dirac spectrum Essential spectrum Pseudospectrum Structure space (Shilov boundary)
Miscellaneous	Abstract index group Banach algebra cohomology Cohen–Hewitt factorization theorem Extensions of symmetric operators Fredholm theory Limiting absorption principle Schröder–Bernstein theorems for operator algebras Sherman–Takeda theorem Unbounded operator
Examples	Wiener algebra
Applications	Almost Mathieu operator Corona theorem Hearing the shape of a drum (Dirichlet eigenvalue) Heat kernel Kuznetsov trace formula Lax pair Proto-value function Ramanujan graph Rayleigh–Faber–Krahn inequality Spectral geometry Spectral method Spectral theory of ordinary differential equations Sturm–Liouville theory Superstrong approximation Transfer operator Transform theory Weyl law Wiener–Khinchin theorem