This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| Kato's inequality | |
|---|---|
| Name | Kato's inequality |
| Field | Functional analysis; partial differential equations; operator theory |
| Introduced | 1970s |
| Author | Tosio Kato |
| Keywords | Schrödinger operator; Laplacian; semigroup; distribution; positivity |
Kato's inequality is an analytic estimate relating the sign and absolute value of distributions or functions acted on by elliptic operators, originally formulated for the Laplacian and Schrödinger operators. The inequality provides a comparison between the distributional Laplacian of |u| and the real part of the sign of u times the Laplacian of u, and it underlies many positivity, uniqueness, and regularity results in spectral theory and partial differential equations. It has been influential in the study of Schrödinger operators, heat semigroups, magnetic operators, and nonlinear evolution equations.
The basic form, for a complex-valued function u with sufficient regularity on a Riemannian manifold or Euclidean domain, asserts that in the sense of distributions one has Δ|u| ≥ Re((sign u) Δu). Variants replace Δ by more general second-order elliptic operators such as the magnetic Laplacian, the Schrödinger operator with potential, or divergence-form operators with measurable coefficients. Other formulations involve Kato-type inequalities for fractional Laplacians, for heat semigroups generated by self-adjoint operators, and for Dirac-type operators on vector bundles; these variants often appear in analysis on manifolds, spectral theory, and index theory.
Kato's inequality emerged from work by Tosio Kato on perturbation theory and self-adjointness for unbounded operators, influenced by questions in quantum mechanics surrounding the Schrödinger equation, essential self-adjointness of Hamiltonians, and the behavior of eigenfunctions. Subsequent contributions by Reed and Simon, Simon alone, and researchers in geometric analysis connected the inequality to heat-kernel bounds studied in the context of Weyl law problems and the study of the Hodge Laplacian on forms. The inequality was adapted for use in the analysis of magnetic Hamiltonians arising in the Aharonov–Bohm effect and in geometric settings influenced by work of Atiyah, Singer, and others on elliptic operators.
Standard proofs employ approximation by smooth functions, elliptic regularity, and distributional calculus; classical approaches use mollification together with the chain rule and pointwise identities. Semigroup techniques derive Kato-type inequalities from the positivity-preserving properties of heat semigroups generated by self-adjoint operators, connecting to the Hille–Yosida theorem and the Trotter product formula. Formally analytic proofs use quadratic form methods and the theory of closed forms developed in the lineage of Krein, Friedrichs, and Rellich. For magnetic or Dirac variants, gauge transformations and the use of fiber bundle connections as in work by Nash and Uhlenbeck appear in modern expositions.
Kato's inequality is a key tool in proving uniqueness of distributional solutions to elliptic and parabolic PDEs, maximum principles for weak solutions, and L^p regularity for resolvents of Schrödinger operators. It underpins Agmon-type exponential decay estimates for eigenfunctions in spectral geometry problems linked to Courant, Hilbert, and Weyl-type studies. In nonlinear PDEs, the inequality supports comparison principles used in the analysis of reaction–diffusion equations and in the study of blow-up phenomena considered by researchers following traditions of Fujita and Giga. In mathematical physics, it provides monotonicity and diamagnetic inequalities for magnetic Hamiltonians relevant to the work of Klein, Landau, and Pekar.
Extensions include inequalities for fractional and nonlocal operators studied in connection with the Caffarelli–Silvestre extension, for systems and vector-valued functions on Riemannian manifolds, and for operators with complex or matrix-valued potentials influenced by developments in operator theory and nonselfadjoint operator theory. Generalizations also appear in the study of stochastic processes via the Feynman–Kac formula and in the theory of Dirichlet forms connected to Beurling–Deny criteria. Research by authors in geometric analysis has produced versions adapted to singular spaces, metric measure spaces, and settings influenced by the Ricci flow program.
Examples illustrating the inequality include classical eigenfunctions of the Laplacian on domains such as the unit disk, the sphere, and rectangular domains where explicit eigenfunctions from Fourier analysis satisfy the distributional inequality. The diamagnetic inequality for magnetic Schrödinger operators provides concrete comparisons between magnetic and nonmagnetic ground states studied in models from solid state physics and quantum mechanics. Counterexamples to naive strengthenings show failures when replacing Δ by certain nonelliptic operators or when attempting pointwise versions without distributional hypotheses; such pathological behaviors were explored in counterexamples constructed in the spirit of Sobolev space limits and in nonregular coefficient contexts tied to work of De Giorgi and Nash.
Category:Functional analysis Category:Partial differential equations Category:Spectral theory