#jsDisabledContent { display:none; } My Account |  Register |  Help

# Laplace–Stieltjes transform

Article Id: WHEBN0000365929
Reproduction Date:

 Title: Laplace–Stieltjes transform Author: World Heritage Encyclopedia Language: English Subject: Collection: Publisher: World Heritage Encyclopedia Publication Date:

### Laplace–Stieltjes transform

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.

## Contents

• Real-valued functions 1
• Vector measures 2
• Related transforms 3
• Probability distributions 4
• Exponential distribution 4.1
• Erlang distribution 4.2
• Uniform distribution 4.3
• References 5

## Real-valued functions

The Laplace–Stieltjes transform of a real-valued function g is given by a Lebesgue–Stieltjes integral of the form

\int\mathrm{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
\{\mathcal{L}^*g\}(s) = \int_{-\infty}^{\infty} \mathrm{e}^{-sx}\,dg(x).
• The unilateral (one-sided) Laplace–Stieltjes transform is given by
\{\mathcal{L}^*g\}(s) = \int_{0^-}^{\infty} \mathrm{e}^{-sx}\,dg(x).
where the lower limit 0 means
\lim_{\varepsilon\to 0^+}\int_{-\varepsilon}^\infty.
This is necessary to ensure that 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,

\mathcal{L}^*g = \mathcal{L}(dg).

In particular, it shares many properties with the usual Laplace transform. For instance, the convolution theorem holds:

\{\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:

\{\mathcal{L}^*F\}(s) = \mathrm{E}\left[\mathrm{e}^{-sX}\right].

## 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

\sup \sum_i \|g(t_i)-g(t_{i+1})\|_X < \infty

where the supremum is taken over all partitions of [0,T]

0=t_0 < t_1<\cdots< t_n=T.

The Stieltjes integral with respect to the vector measure dg

\int_0^T e^{-st}dg(t)

is defined as a Riemann–Stieltjes integral. Indeed, if π is the tagged partition of the interval [0,T] with subdivision 0 = t0t1 ≤ ... ≤ tn = T, distinguished points τi∈ [ti,ti+1] and mesh size |π| = max|ti− ti+1|, the Riemann–Stieltjes integral is defined as the value of the limit

\lim_{|\pi|\to 0} \sum_{i=0}^{n-1}e^{-s\tau_i}[g(t_{i+1})-g(t_i)]

taken in the topology on X. The hypothesis of strong bounded variation guarantees convergence.

If in the topology of X the limit

\lim_{T\to\infty} \int_0^T e^{-st}dg(t)

exists, then the value of this limit is the Laplace–Stieltjes transform of g.

## Related transforms

The Laplace–Stieltjes transform is closely related to other integral transforms, including the Fourier transform and the Laplace transform. In particular, note the following:

• If g has derivative g' then the Laplace–Stieltjes transform of g is the Laplace transform of g' .
\{\mathcal{L}^*g\}(s) = \{\mathcal{L}g'\}(s),
• We can obtain the Fourier–Stieltjes transform of g (and, by the above note, the Fourier transform of g' ) by
\{\mathcal{F}^*g\}(s) = \{\mathcal{L}^*g\}(\mathrm{i}s), \quad s \in \mathbb{R}.

## Probability distributions

If X is a continuous random variable with cumulative distribution function F(t) then moments of X can be computed using[1]

\mathbb E [X^n] = (-1)^n \left.\frac{\text{d}^n \{\mathcal{L}^*F\}(s)}{\text{d}s^n} \right|_{s=0}.

### Exponential distribution

For an exponentially distributed random variable Y with rate parameter λ the LST is,

\tilde Y(s) = \{\mathcal{L}^*F_Y\}(s) = \int_0^\infty e^{-st} \lambda e^{-\lambda t} dt = \frac{\lambda}{\lambda+s}

from which the first three moments can be computed as 1/λ, 2/λ2 and 6/λ3.

### Erlang distribution

For Z with Erlang distribution (which is the sum of n exponential distributions) we use the fact that the probability distribution of the sum of independent random variables is equal to the convolution of their probability distributions. So if

Z = Y_1 + Y_2 + \ldots + Y_n

with the Yi independent then

\tilde Z(s) = \tilde Y_1(s) \cdot \tilde Y_2(s) \cdot \cdots \cdot \tilde Y_n(s)

therefore in the case where Z has an Erlang distribution,

\tilde Z(s) = \left( \frac{\lambda}{\lambda+s} \right)^n.

### Uniform distribution

For U with uniform distribution on the interval (a,b), the transform is given by

\tilde U(s) = \int_a^b e^{-st} \frac{1}{b-a}\text{d}t = \frac{e^{-sa}-e^{-sb}}{s(b-a)}.

## References

1. ^ Harchol-Balter, M. (2012). "Transform Analysis". Performance Modeling and Design of Computer Systems. p. 433.
• Apostol, T.M. (1957), Mathematical Analysis (1st ed.), Reading, MA: Addison-Wesley; 2nd ed (1974) ISBN 0-201-00288-4.
• Apostol, T.M. (1997), Modular Functions and Dirichlet Series in Number Theory (2nd ed.), New York: Springer-Verlag, .
• Grimmett, G.R.; Stirzaker, D.R. (2001), Probability and Random Processes (3rd ed.), Oxford: Oxford University Press, .
• .
• Zhavrid, N.S. (2001), "Laplace transform", in Hazewinkel, Michiel, .
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.

Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.

By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.