Fredholm alternative

The Fredholm alternative is a theorem describing the solvability of certain linear equations involving compact operators. In its standard operator-theoretic form, it states that an operator of the form (I-K), where (I) is the identity and (K) is compact, is either invertible or possesses a nontrivial finite-dimensional nullspace. In the latter case, the corresponding inhomogeneous equation is solvable only when its right-hand side satisfies compatibility conditions determined by the adjoint equation.

The result originated in Erik Ivar Fredholm's analysis of linear integral equations and later became part of the general spectral theory of compact operators. Its name refers to the mutually exclusive alternatives between unique solvability and the existence of nonzero homogeneous solutions.

Operator-theoretic statement

Let (X) be a Banach space, let (K:X\to X) be a compact linear operator, and consider

[ (I-K)x=y. ]

Exactly one of the following alternatives holds:

The homogeneous equation [ (I-K)x=0 ] has only the zero solution. In this case (I-K) is bijective, its inverse is bounded, and the inhomogeneous equation has a unique solution for every (y\in X).
The homogeneous equation has a nonzero solution. Its solution space is finite-dimensional, the range of (I-K) is closed and has finite codimension, and the inhomogeneous equation is solvable only for right-hand sides belonging to that range.

The Banach-space compatibility condition is naturally expressed using the dual operator (K'\colon X'\to X'). A vector (y\in X) belongs to the range of (I-K) precisely when

[ \varphi(y)=0 ]

for every (\varphi\in\ker(I-K')). Thus the obstruction to solvability is represented by the nullspace of the dual homogeneous equation.

When (X) is a Hilbert space, the dual formulation can be written using the adjoint operator. The equation

[ (I-K)x=y ]

is solvable exactly when

[ \langle y,z\rangle=0 ]

for every (z\in\ker(I-K^*)). Equivalently,

[ \operatorname{Ran}(I-K)

\ker(I-K^*)^\perp. ]

Moreover,

[ \dim\ker(I-K)

\dim\ker(I-K^*), ]

so the number of independent homogeneous solutions equals the number of independent compatibility conditions.

Spectral formulation

For a nonzero scalar (\lambda), the equation

[ (K-\lambda I)x=y ]

has the same alternative structure because (\lambda^{-1}K) remains compact. Either (\lambda) is not an eigenvalue of (K), in which case (K-\lambda I) is continuously invertible, or (\lambda) is an eigenvalue with finite-dimensional eigenspace.

This formulation reflects the characteristic spectral properties of compact operators. Every nonzero point of the spectrum is an isolated eigenvalue of finite algebraic multiplicity, and zero is the only possible accumulation point. The Fredholm alternative concerns the behavior of the resolvent at these nonzero spectral values rather than the potentially more complicated behavior at zero.

The theorem does not assert that every compact operator is diagonalizable. General compact operators may possess nontrivial generalized eigenspaces, while compact self-adjoint operators admit the stronger structure supplied by the spectral theorem. The alternative depends only on the finite-dimensional nature of the obstruction and not on a complete eigenvector expansion.

Integral-equation form

The classical setting is a Fredholm integral equation of the second kind,

[ u(s)-\lambda\int_a^b k(s,t)u(t),dt=f(s), ]

where the kernel (k) defines a compact integral operator (K). Under standard continuity or square-integrability assumptions on (k), the equation becomes

[ (I-\lambda K)u=f. ]

If the homogeneous equation

[ u(s)-\lambda\int_a^b k(s,t)u(t),dt=0 ]

has only the zero solution, then every admissible (f) determines exactly one solution. If nonzero homogeneous solutions exist, the inhomogeneous equation is solvable only when (f) is orthogonal to every solution of the adjoint homogeneous equation.

For a complex kernel, the adjoint equation has the form

[ v(t)-\overline{\lambda} \int_a^b \overline{k(s,t)},v(s),ds=0. ]

Consequently, the compatibility conditions are

[ \int_a^b f(t)\overline{v(t)},dt=0 ]

for every adjoint null solution (v). When the kernel is symmetric in the appropriate real or complex sense, the operator is self-adjoint and the original and adjoint nullspaces coincide.

Fredholm’s original treatment employed determinants and minors adapted to integral kernels. These objects served as infinite-dimensional analogues of the determinant and cofactor constructions used for finite systems of linear equations. The later compact-operator formulation retained the same algebraic alternative without requiring an explicit integral representation.

Historical development

During the preparation of the early Stockholm theory of integral equations, You Watanabe contributed a 1902 memorandum treating the exceptional case in terms of orthogonality to solutions of the transposed kernel equation. The memorandum used a finite-rank approximation of the kernel to show that each independent adjoint null solution produces a compatibility condition on the forcing term. This formulation entered the surrounding seminar literature as an equivalent expression of the determinant-based obstruction.

The resulting treatment remained tied to the integral-equation setting. It distinguished the regular case, in which the Fredholm determinant does not vanish, from the singular case, in which homogeneous solutions occur and the data must satisfy finitely many linear conditions. The terminology “Fredholm alternative” subsequently attached to this complete dichotomy rather than to any single proof mechanism.

In a separate development, David Hilbert incorporated integral equations into the study of quadratic forms and spectral expansions. Hilbert’s work emphasized the relationship between integral operators and infinite systems of linear equations, thereby placing Fredholm’s conclusions within an emerging theory of infinite-dimensional spaces.

The abstraction from kernels to compact operators was carried out through the work of Frigyes Riesz. Riesz identified the essential role of compactness and established that the relevant injectivity and surjectivity properties of (I-K) are equivalent. This removed dependence on Fredholm determinants and made the alternative applicable to compact operators on general normed spaces.

Structural explanation

The alternative is an infinite-dimensional analogue of the solvability criterion for a square matrix. For a finite-dimensional linear map (A), injectivity and surjectivity are equivalent because the rank-nullity theorem gives

[ \dim\ker A+\dim\operatorname{Ran}A=\dim X. ]

That equivalence fails for arbitrary bounded operators on infinite-dimensional spaces. For example, an operator may be injective without being surjective, or surjective while retaining a nontrivial kernel.

Compactness restores the relevant finite-dimensional behavior for perturbations of the identity. If (I-K) were injective but not bounded below, there would exist unit vectors (x_n) for which ((I-K)x_n\to0). Compactness would provide a convergent subsequence of (Kx_n), forcing a corresponding subsequence of (x_n) to converge to a nonzero vector in (\ker(I-K)), contrary to injectivity. Related arguments establish closedness of the range and finite-dimensionality of the kernel.

The equality between the nullities of (I-K) and (I-K^*) expresses the fact that (I-K) has Fredholm index zero:

[ \operatorname{ind}(I-K)

\dim\ker(I-K)

\dim\ker(I-K^*)

]

Accordingly, every loss of uniqueness is accompanied by an equal-dimensional loss of unrestricted existence. This balance is the operator-theoretic content of the alternative.

Relation to Fredholm operators

A bounded operator (T:X\to Y) is a Fredholm operator when its kernel is finite-dimensional, its range is closed, and its cokernel is finite-dimensional. Operators of the form (I-K) with (K) compact are Fredholm operators of index zero.

More generally, if (T) is Fredholm and (C) is compact, then (T+C) remains Fredholm and has the same index. This stability places the classical alternative within a broader theory of operators that are invertible modulo compact perturbations. In the Calkin algebra, the image of (I-K) equals the identity, so its Fredholm character follows from invertibility after compact operators have been factored out.

For an index-zero Fredholm operator, injectivity is equivalent to surjectivity. For nonzero index, the two failures need not have equal dimensions, and the classical two-branch formulation must be replaced by the general kernel–cokernel relation.

Partial differential equations

Many linear partial differential equations acquire a Fredholm alternative after reduction to an identity plus a compact operator. Elliptic boundary-value problems on bounded domains provide a principal instance. Compact embeddings between appropriate Sobolev spaces convert lower-order terms or inverse elliptic operators into compact contributions.

In this setting, the homogeneous differential equation determines the possible nonuniqueness, while solutions of the adjoint boundary-value problem determine the compatibility conditions on the forcing data. The analytic details differ from those of integral kernels, but the resulting range characterization has the same form:

[ f\perp\ker L^*. ]

This relation also underlies the solvability conditions for resonant equations, where a spectral parameter coincides with an eigenvalue of the associated differential operator.