In mathematics, the resolvent formalism is a technique for applying concepts from complex analysis to the study of the spectrum of operators on Banach spaces and more general spaces. Formal justification for the manipulations can be found in the framework of holomorphic functional calculus.
The resolvent captures the spectral properties of an operator in the analytic structure of the functional. Given an operator A, the resolvent may be defined as
Among other uses, the resolvent may be used to solve the inhomogeneous Fredholm integral equations; a commonly used approach is a series solution, the Liouville–Neumann series.
The resolvent of A can be used to directly obtain information about the spectral decomposition
of A. For example, suppose λ is an isolated eigenvalue in the
spectrum of A. That is, suppose there exists a simple closed curve
in the complex plane that separates λ from the rest of the spectrum of A.
Then the residue
defines a projection operator onto the λ eigenspace of A.
The Hille–Yosida theorem relates the resolvent through a Laplace transform to an integral over the one-parameter group of transformations generated by A. Thus, for example, if A is a Hermitian, then U(t) = exp(tA) is a one-parameter group of unitary operators. Whenever , the resolvent of A at z can be expressed as the Laplace transform
where the integral is taken along the ray .
The first major use of the resolvent operator as a series in A (cf. Liouville–Neumann series) was by Ivar Fredholm, in a landmark 1903 paper in Acta Mathematica that helped establish modern operator theory.
The name resolvent was given by David Hilbert.
For all z, w in ρ(A), the resolvent set of an operator A, we have that the first resolvent identity (also called Hilbert's identity) holds:
(Note that Dunford and Schwartz, cited, define the resolvent as (zI −A)−1, instead, so that the formula above differs in sign from theirs.)
The second resolvent identity is a generalization of the first resolvent identity, above, useful for comparing the resolvents of two distinct operators.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Quantum mechanics is one of the most successful physical theories. This course presents the mathematical formalism (functional analysis and spectral theory) that underlies quantum mechanics. It is sim
In mathematics, Hilbert spaces (named after David Hilbert) allow the methods of linear algebra and calculus to be generalized from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise naturally and frequently in mathematics and physics, typically as function spaces. Formally, a Hilbert space is a vector space equipped with an inner product that induces a distance function for which the space is a complete metric space.
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. The following sections provide a casual sketch of the place of Fredholm theory in the broader context of operator theory and functional analysis.
The spectrum of a linear operator that operates on a Banach space is a fundamental concept of functional analysis. The spectrum consists of all scalars such that the operator does not have a bounded inverse on . The spectrum has a standard decomposition into three parts: a point spectrum, consisting of the eigenvalues of ; a continuous spectrum, consisting of the scalars that are not eigenvalues but make the range of a proper dense subset of the space; a residual spectrum, consisting of all other scalars in the spectrum.
We revisit the rapid stabilization of the heat equation on the 1-dimensional torus using the backstepping method with a Fredholm transformation. We prove that, under some assumption on the control operator, two scalar controls are necessary and sufficient ...
We study the rapid stabilization of the heat equation on the 1-dimensional torus using the backstepping method with a Fredholm transformation. This classical framework allows us to present the backstepping method with Fredholm transformations for the Lapla ...
A capillary jet falling under the effect of gravity continuously stretches while thinning downstream. We report here the effect of external periodic forcing on such a spatially varying jet in the jetting regime. Surprisingly, the optimal forcing frequency ...