Lebesgue–Stieltjes integration

Source: Wikipedia, the free encyclopedia.

In

regular Borel measure
, and conversely every regular Borel measure on the real line is of this kind.

Lebesgue–Stieltjes

Henri Leon Lebesgue and Thomas Joannes Stieltjes, are also known as Lebesgue–Radon integrals or just Radon integrals, after Johann Radon, to whom much of the theory is due. They find common application in probability and stochastic processes, and in certain branches of analysis including potential theory
.

Definition

The Lebesgue–Stieltjes integral

is defined when    is Borel-measurable and bounded and    is of

monotone and right-continuous
. To start, assume that f is non-negative and g is monotone non-decreasing and right-continuous. Define w((s, t]) = g(t) − g(s) and w({a}) = 0 (Alternatively, the construction works for g left-continuous, w([s,t)) = g(t) − g(s) and w({b}) = 0).

By Carathéodory's extension theorem, there is a unique Borel measure μg on [a, b] which agrees with w on every interval I. The measure μg arises from an outer measure (in fact, a metric outer measure) given by

the

infimum taken over all coverings of E by countably many semiopen intervals. This measure is sometimes called[1]
the Lebesgue–Stieltjes measure associated with g.

The Lebesgue–Stieltjes integral

is defined as the

Lebesgue integral
of f with respect to the measure μg in the usual way. If g is non-increasing, then define

the latter integral being defined by the preceding construction.

If g is of bounded variation, then it is possible to write

where g1(x) = V x
a
g
is the
total variation of g in the interval [a, x], and g2(x) = g1(x) − g(x). Both g1 and g2 are monotone non-decreasing.

Now, if f is bounded, the Lebesgue–Stieltjes integral of f with respect to g is defined by

where the latter two integrals are well-defined by the preceding construction.

Daniell integral

An alternative approach (Hewitt & Stromberg 1965) is to define the Lebesgue–Stieltjes integral as the Daniell integral that extends the usual Riemann–Stieltjes integral. Let g be a non-decreasing right-continuous function on [a, b], and define I( f ) to be the Riemann–Stieltjes integral

for all continuous functions f. The functional I defines a Radon measure on [a, b]. This functional can then be extended to the class of all non-negative functions by setting

For Borel measurable functions, one has

and either side of the identity then defines the Lebesgue–Stieltjes integral of h. The outer measure μg is defined via

where χA is the indicator function of A.

Integrators of bounded variation are handled as above by decomposing into positive and negative variations.

Example

Suppose that γ : [a, b] → R2 is a

rectifiable curve
in the plane and ρ : R2 → [0, ∞) is Borel measurable. Then we may define the length of γ with respect to the Euclidean metric weighted by ρ to be

where is the length of the restriction of γ to [a, t]. This is sometimes called the ρ-length of γ. This notion is quite useful for various applications: for example, in muddy terrain the speed in which a person can move may depend on how deep the mud is. If ρ(z) denotes the inverse of the walking speed at or near z, then the ρ-length of γ is the time it would take to traverse γ. The concept of extremal length uses this notion of the ρ-length of curves and is useful in the study of conformal mappings.

Integration by parts

A function f is said to be "regular" at a point a if the right and left hand limits f (a+) and f (a−) exist, and the function takes at a the average value

Given two functions U and V of finite variation, if at each point either at least one of U or V is continuous or U and V are both regular, then an integration by parts formula for the Lebesgue–Stieltjes integral holds:[2]

Here the relevant Lebesgue–Stieltjes measures are associated with the right-continuous versions of the functions U and V; that is, to and similarly The bounded interval (a, b) may be replaced with an unbounded interval (-∞, b), (a, ∞) or (-∞, ∞) provided that U and V are of finite variation on this unbounded interval. Complex-valued functions may be used as well.

An alternative result, of significant importance in the theory of stochastic calculus is the following. Given two functions U and V of finite variation, which are both right-continuous and have left-limits (they are càdlàg functions) then

where ΔUt = U(t) − U(t−). This result can be seen as a precursor to Itô's lemma, and is of use in the general theory of stochastic integration. The final term is ΔU(tV(t) = d[U, V],which arises from the quadratic covariation of U and V. (The earlier result can then be seen as a result pertaining to the Stratonovich integral.)

Related concepts

Lebesgue integration

When g(x) = x for all real x, then μg is the

Lebesgue integral
of f.

Riemann–Stieltjes integration and probability theory

Where f is a continuous real-valued function of a real variable and v is a non-decreasing real function, the Lebesgue–Stieltjes integral is equivalent to the Riemann–Stieltjes integral, in which case we often write

for the Lebesgue–Stieltjes integral, letting the measure μv remain implicit. This is particularly common in probability theory when v is the cumulative distribution function of a real-valued random variable X, in which case

(See the article on Riemann–Stieltjes integration for more detail on dealing with such cases.)

Notes

  1. ^ Halmos (1974), Sec. 15
  2. JSTOR 2309287
    .

Also see

Henstock-Kurzweil-Stiltjes Integral

References