The Laplace–Stieltjes transform, named for Pierre-Simon Laplace and Thomas Joannes Stieltjes, is an integral transform similar to the Laplace transform. For real-valued functions, it is the Laplace transform of a Stieltjes measure, however it is often defined for functions with values in a Banach space. It is useful in a number of areas of mathematics, including functional analysis, and certain areas of theoretical and applied probability.
Real-valued functions The Laplace–Stieltjes transform of a real-valued function g is given by a Lebesgue–Stieltjes integral of the form
∫ e − s x d g ( x ) {\displaystyle \int e^{-sx}\,dg(x)}
for s a complex number. As with the usual Laplace transform, one gets a slightly different transform depending on the domain of integration, and for the integral to be defined, one also needs to require that g be of bounded variation on the region of integration. The most common are:
The bilateral (or two-sided) Laplace–Stieltjes transform is given by { L ∗ g } ( s ) = ∫ − ∞ ∞ e − s x d g ( x ) . {\displaystyle \{{\mathcal {L}}^{*}g\}(s)=\int _{-\infty }^{\infty }e^{-sx}\,dg(x).}
The unilateral (one-sided) Laplace–Stieltjes transform is given by { L ∗ g } ( s ) = lim ε → 0 + ∫ − ε ∞ e − s x d g ( x ) . {\displaystyle \{{\mathcal {L}}^{*}g\}(s)=\lim _{\varepsilon \to 0^{+}}\int _{-\varepsilon }^{\infty }e^{-sx}\,dg(x).} The limit is necessary to ensure the transform captures a possible jump in g(x) at x = 0, as is needed to make sense of the Laplace transform of the Dirac delta function. More general transforms can be considered by integrating over a contour in the complex plane; see Zhavrid 2001. The Laplace–Stieltjes transform in the case of a scalar-valued function is thus seen to be a special case of the Laplace transform of a Stieltjes measure. To wit,
L ∗ g = L ( d g ) . {\displaystyle {\mathcal {L}}^{*}g={\mathcal {L}}(dg).}
In particular, it shares many properties with the usual Laplace transform. For instance, the convolution theorem holds:
{ L ∗ ( g ∗ h ) } ( s ) = { L ∗ g } ( s ) { L ∗ h } ( s ) . {\displaystyle \{{\mathcal {L}}^{*}(g*h)\}(s)=\{{\mathcal {L}}^{*}g\}(s)\{{\mathcal {L}}^{*}h\}(s).}
Often only real values of the variable s are considered, although if the integral exists as a proper Lebesgue integral for a given real value s = σ, then it also exists for all complex s with re(s) ≥ σ. The Laplace–Stieltjes transform appears naturally in the following context. If X is a random variable with cumulative distribution function F, then the Laplace–Stieltjes transform is given by the expectation:
{ L ∗ F } ( s ) = E [ e − s X ] . {\displaystyle \{{\mathcal {L}}^{*}F\}(s)=\mathrm {E} \left[e^{-sX}\right].}
The Laplace-Stieltjes transform of a real random variable's cumulative distribution function is therefore equal to the random variable's moment-generating function, but with the sign of the argument reversed.
Vector measures Whereas the Laplace–Stieltjes transform of a real-valued function is a special case of the Laplace transform of a measure applied to the associated Stieltjes measure, the conventional Laplace transform cannot handle vector measures: measures with values in a Banach space. These are, however, important in connection with the study of semigroups that arise in partial differential equations, harmonic analysis, and probability theory. The most important semigroups are, respectively, the heat semigroup, Riemann-Liouville semigroup, and Brownian motion and other infinitely divisible processes. Let g be a function from [0,∞) to a Banach space X of strongly bounded variation over every finite interval. This means that, for every fixed subinterval [0,T] one has
… excerpt ends here. Continue reading the full article.
