Fredholm operators

Fredholm operators are bounded linear operators between Banach spaces characterized by finite-dimensional kernel and cokernel and a closed range. Their study links spectral theory, operator algebras, and partial differential equations through connections to elliptic operators, K-theory, and topological invariants, and has influenced work by Ivar Fredholm, John von Neumann, Israel Gelfand, Michael Atiyah, and Isadore Singer.

Definition and basic properties

A bounded linear operator T: X → Y between Banach spaces X and Y is Fredholm if ker(T) and coker(T) are finite-dimensional and range(T) is closed; this notion arose in analysis related to integral equations studied by Ivar Fredholm, David Hilbert, Erhard Schmidt, Frigyes Riesz, and Marcel Riesz. Fundamental properties include stability under compact perturbations (if K is compact then T+K is Fredholm) and invariance of kernel and cokernel dimensions under small norm perturbations, facts developed in the work of John von Neumann, Norbert Wiener, Marshall Stone, and Franz Rellich. Fredholm operators form an open subset in the space of bounded operators on a Banach space, a structure explored in operator theory by Paul Halmos, Gert Pedersen, Bertram Kostant, and Richard Kadison. The adjoint T* of a Fredholm operator between Hilbert spaces has index related to T, an observation used in the writings of Israel Gelfand, Mark Krein, Marshall H. Stone, and George Mackey.

Index and stability

The index of a Fredholm operator, defined as dim ker(T) − dim coker(T), is integer-valued and stable under continuous deformations and compact perturbations; this invariant plays a central role in studies by Michael Atiyah, Isadore Singer, Raoul Bott, Stephen Smale, and John Milnor. The analytic index connects to topological data via index theorems, while the stability under homotopy underpins work in K-theory by Bott, Atiyah, Singer, Karoubi, and Max Karoubi. Fredholm index additivity under composition and behavior under direct sums are algebraic properties used in applications by André Weil, Jean Leray, Lars Hörmander, and Louis Nirenberg. The spectral flow for paths of self-adjoint Fredholm operators was developed in studies by Daniel B. Ray, Isadore Singer, M. S. Atiyah, and R. Bott and connects to topology explored by Edward Witten, Michael Hopkins, and Graeme Segal.

Examples and classes

Canonical examples include elliptic differential operators on compact manifolds (studied by Lars Hörmander, Shmuel Agmon, Peter Lax, Louis Nirenberg), integral operators with smooth kernels (originating in work by Ivar Fredholm, David Hilbert, Erhard Schmidt), and pseudodifferential operators (developed by Joseph Kohn, Louis Boutet de Monvel, Jean-Michel Bony, Richard Melrose). On Hilbert spaces, Fredholm operators include invertible operators modulo compact operators studied in C*-algebra theory by Gert Pedersen, Israel Gelfand, Mark Rieffel, and Alain Connes. Toeplitz operators on the Hardy space provide concrete nontrivial examples linked to index computations by Harold Boas, Ron Douglas, Brett Wick, and Marek Jarnicki. Shift operators, Wiener–Hopf operators, and boundary value problems yield further classes studied by Norbert Wiener, Eberhard Hopf, Francois Trèves, and Robert Seeley.

Fredholm alternative and applications

The Fredholm alternative describes solvability dichotomies for inhomogeneous equations associated with compact perturbations of the identity, a principle used extensively in integral equations by Ivar Fredholm, David Hilbert, Erhard Schmidt, and Richard Courant. Applications span existence results for boundary value problems on manifolds by Lars Hörmander, Agmon, Louis Nirenberg, and Jürgen Moser, spectral theory in mathematical physics influenced by John von Neumann, Eugene Wigner, Hermann Weyl, and Barry Simon, and inverse problems studied by Victor Isakov, Gunther Uhlmann, Alberto P. Calderón, and Lassas Mikko. In numerical analysis the Fredholm property underlies discretization stability and regularization methods investigated by Gene H. Golub, Charles Van Loan, Gilbert Strang, and Lloyd Trefethen.

Atiyah–Singer index theorem and extensions

The Atiyah–Singer index theorem relates the analytical index of elliptic Fredholm operators on compact manifolds to topological invariants, a landmark result by Michael Atiyah and Isadore Singer building on earlier work by Raoul Bott, Hermann Weyl, Henri Cartan, and Jean-Pierre Serre. Extensions include families index theorems by Atiyah, Singer, Bismut, and Freed, equivariant versions by Berline, Getzler, and Vergne, and noncommutative generalizations in the program of Alain Connes and collaborators linking to cyclic cohomology and operator K-theory developed by Max Karoubi, Gennadi Kasparov, Niels Jacobson, and Gennady Golub. The theorem's applications touch representation theory studied by Harish-Chandra, geometric quantization by Kirillov, anomalies in quantum field theory analyzed by Edward Witten and Alvarez-Gaumé, and modern developments in topology by Michael Freedman, Edward Witten, and Daniel Freed.

Category:Functional analysis