-
Notifications
You must be signed in to change notification settings - Fork 0
StieltjesIntegral
The integral
is a Riemann-Stieltjes integral(or just Stieltjes integral) which is defined as:
Here,
If the function
Now, the integral is a standard Riemann integral with respect to the variable
So, when an integral is with respect to a function rather than a variable, it means that the measure of integration is based on the function itself, and it is represented as a Riemann-Stieltjes integral. You can evaluate this integral by converting it to a standard Riemann integral if the function has a continuous derivative, and then proceed to use standard techniques or numerical methods for evaluation.
The Riemann-Stieltjes integral plays an important role in various areas of mathematics including but not limited to:
-
F. Riesz's theorem: The Riemann-Stieltjes integral appears in the original formulation of F. Riesz's theorem, which characterizes the dual space of the Banach space
$C[a,b]$ of continuous functions on the interval$[a,b]$ . In this context, the dual space consists of Riemann-Stieltjes integrals against functions of bounded variation. Later, as you pointed out, the theorem was reformulated in terms of measures, giving rise to the concept of Radon measures. -
Spectral theorem for self-adjoint operators: The Riemann-Stieltjes integral also appears in the formulation of the spectral theorem for non-compact, self-adjoint (or more generally, normal) operators in a Hilbert space. The spectral theorem expresses a self-adjoint operator as an integral of its spectral projections with respect to a spectral measure. The spectral measure, in this case, is a mapping from the Borel subsets of the spectrum to the orthogonal projections in the Hilbert space, and the Riemann-Stieltjes integral is used to define the integral with respect to the spectral family of projections.
Both of these instances demonstrate the importance and versatility of the Riemann-Stieltjes integral in various branches of mathematics, including functional analysis and operator theory.