Kato–Rellich theorem

Kato–Rellich theorem
Name	Kato–Rellich theorem
Field	Functional analysis; Operator theory; Mathematical physics
People	T. Kato; Franz Rellich
First proved	1940s
Related	Self-adjoint operator; Perturbation theory; Schrödinger operator

Kato–Rellich theorem is a foundational result in Functional analysis and Operator theory asserting stability of self-adjointness under certain symmetric perturbations, with major consequences for the spectral analysis of Schrödinger operators and for rigorous formulations in Quantum mechanics. The theorem originates in mid-20th-century work by Tosio Kato and Franz Rellich and connects to later developments by figures such as John von Neumann, Israel Gelfand, Marshall Stone, Paul Dirac, and John von Neumann's collaborators on self-adjoint extensions. It underpins mathematical justification for models studied by researchers at institutions like Princeton University, University of Tokyo, and Humboldt University of Berlin.

Statement of the theorem

The theorem states that if A is a densely defined self-adjoint operator on a separable Hilbert space associated with analysts such as Stefan Banach and David Hilbert, and B is a symmetric operator that is relatively bounded with respect to A with relative bound less than one, then A + B is self-adjoint on Dom(A) and essentially self-adjoint on any core for A. This formulation was formalized by Tosio Kato building on concepts introduced by Franz Rellich and earlier spectral work by John von Neumann and Marshall Stone. Equivalently, for domains considered in the tradition of Eugene Wigner and Paul Dirac, the theorem provides sufficient conditions ensuring closure properties and spectral stability for perturbed operators used in models by researchers at Institute for Advanced Study and École Normale Supérieure.

Historical context and motivations

Motivations trace to problems in quantum theory treated by Paul Dirac and rigorous foundations sought by John von Neumann and Eugene Wigner; concerns about domains and self-adjointness arose in studies of relativistic operators investigated by Franz Rellich in European schools and by Tosio Kato in Japanese and American circles. The era included contemporaneous work by Israel Gelfand, Mark Krein, Murray Gell-Mann, and others addressing perturbative methods inspired by experiments at laboratories like Los Alamos National Laboratory and theoretical programs associated with Princeton Plasma Physics Laboratory. The theorem resolved debates exemplified in correspondences involving scholars at University of California, Berkeley and Harvard University about when formal operator sums correspond to bona fide observables in the style of Niels Bohr and Werner Heisenberg.

Proof outline and key lemmas

Key lemmas include the Kato–Rellich relative boundedness criterion, the closedness and self-adjointness preservation lemma, and resolvent estimates connected to work by Ralph Fox and Einar Hille. The proof employs the Friedrichs extension technique developed in contexts linked to Kurt Friedrichs and uses quadratic form methods similar to those of Otto Toeplitz and John von Neumann. A central step is establishing that B is A-bounded with bound a < 1 and estimating resolvents inspired by Mark Kac and E. H. Lieb; one then applies perturbation strategies reminiscent of Tosio Kato's analytic perturbation theory and of extension theory from M. Reed and B. Simon. Complementary propositions invoke core invariance and closed graph arguments traceable to Stefan Banach and David Hilbert.

Applications in spectral theory and quantum mechanics

The theorem is applied to demonstrate self-adjointness for Schrödinger operators with potentials treated by Enrico Fermi, Werner Heisenberg, and Erwin Schrödinger, and to justify the use of Hamiltonians in models by Richard Feynman and Paul Dirac. It supports spectral stability results used in scattering theory developed by Ludwig Faddeev, Konrad Friedrichs, and M. Shubin, and informs lifetime estimates and resonances studied by Simon Dyson and Freeman Dyson. In mathematical physics, the result is foundational for rigorous study of atomic Hamiltonians by Elliott Lieb, Barry Simon, and groups at Laboratoire de Physique Théorique and Max Planck Institute for Physics.

Extensions and generalizations

Generalizations include Kato–Rellich type results for semibounded operators, form-bounded perturbations introduced by Kurt Friedrichs and expanded by Barry Simon and Michael Reed, and abstract operator-sum criteria in non-separable settings studied by Michael Atiyah and Isadore Singer. Other extensions incorporate unbounded operator matrices studied by Tosio Kato and operator-valued perturbations investigated by Paul Halmos and Richard Kadison. Recent work connects to non-self-adjoint spectral theory advanced by E. Brian Davies and to pseudo-differential operator frameworks influenced by Louis Boutet de Monvel and J. J. Duistermaat.

Examples and counterexamples

Canonical examples include the free Laplacian plus potential V(x) where V is Kato-small as in analyses by Kiyosi Itô and Tosio Kato; Coulomb potentials treated by Enrico Fermi and Ettore Majorana fit the theorem via Hardy-type inequalities originally studied by G. H. Hardy. Counterexamples arise when the relative bound equals or exceeds one, demonstrated in constructions echoing pathologies noted by John von Neumann and Marshall Stone and in models of singular perturbations explored by Alfred Tarski and Israel Gelfand. Further instructive cases are boundary-condition induced failures analyzed in operator extension work by Klaus Friedrichs and Franz Rellich.

Category:Operator theory