Added to Favorites

Related Searches

Definitions

Nearby Words

Riemann, Bernhard (Georg Friedrich Bernhard Riemann), 1826-66, German mathematician. He studied at the universities of Göttingen and Berlin and was professor at Göttingen from 1859. His great contributions to mathematics include his work on the theory of the functions of complex variables (see complex variable analysis) and his method of representing these functions on coincident planes or sheets (Riemann surfaces). He laid the foundations of a non-Euclidean system of geometry (Riemannian geometry) representing elliptic space and generalized to *n* dimensions the work of C. F. Gauss in differential geometry, thus creating the basic tools for the mathematical expression of the general theory of relativity. Riemann also was interested in mathematical physics, particularly optics and electromagnetic theory. The Riemann zeta-function analytically encodes information about the distribution of prime numbers. The so called "Riemann hypothesis," concerning the instances in which the function's value is zero, is one of the great unsolved problems in mathematics.

See studies by J. Derbyshire (2003), M. du Sautoy (2003), and K. Sabbagh (2003).

The Columbia Electronic Encyclopedia Copyright © 2004.

Licensed from Columbia University Press

Licensed from Columbia University Press

In mathematics, the Riemann-Stieltjes integral is a generalization of the Riemann integral, named after Bernhard Riemann and Thomas Joannes Stieltjes.
## Definition

The Riemann-Stieltjes integral of a real-valued function f of a real variable with respect to a real function g is denoted by## Properties and relation to the Riemann integral

## Existence of the integral

## Application to probability theory

## Application to functional analysis

## See also

## References

- $int\_a^b\; f(x)\; ,\; dg(x)$

and defined to be the limit, as the mesh of the partition P of the interval [a, b] approaches zero, of the approximating sum

- $sum\_\{x\_iin\; P\}f(c\_i)(g(x\_\{i+1\})-g(x\_i))$

where c_{i} is in the i-th subinterval [x_{i}, x_{i+1}]. The two functions f and g are respectively called the integrand and the integrator. Most commonly, g will be nondecreasing, but this is not required. In order that this Riemann-Stieltjes integral exist it is necessary that f and g do not share any points of discontinuity.

An alternative, and slightly more general, definition of the Riemann-Stieltjes integral uses the same approximating sums as above, but takes the limit to be a Moore-Smith limit on the directed set of partitions of [a, b]. That is, take the limit as more and more division points are inserted into the partition. With this definition, an integral can exist when f and g share points of discontinuity, as long as they are not discontinuous from the same side at the same point.

For another formulation of integration that is much more general, see Lebesgue integration. It is notable however, that if improper Riemann-Stieltjes integrals are allowed, the Lebesgue integral is not strictly more general.

If g should happen to be everywhere differentiable, then the integral may still be different from the Riemann integral

- $int\_a^b\; f(x)\; g\text{'}(x)\; ,\; dx,$

for example, if the derivative is unbounded. But if the derivative is continuous, they will be the same. This condition is also satisfied if g is the (Lebesgue) integral of its derivative; in this case g is said to be absolutely continuous.

However, g may have jump discontinuities, or may have derivative zero almost everywhere while still being continuous and increasing (for example, g could be the Cantor function or Minkowski's question mark function), in either of which cases the Riemann-Stieltjes integral is not captured by any expression involving derivatives of g.

The Riemann-Stieltjes integral admits integration by parts in the form

- $int\_a^b\; f(x)\; ,\; dg(x)=f(b)g(b)-f(a)g(a)-int\_a^b\; g(x)\; ,\; df(x).$

and the existence of the integral on the left implies the existence of the integral on the right.

The best simple existence theorem states that if f is continuous and g is of bounded variation on [a, b], then the integral exists. Note that g is of bounded variation if and only if it is the difference between two monotone functions. If g is not of bounded variation, then there will be continuous functions which cannot be integrated with respect to g.

If g is the cumulative probability distribution function of a random variable X that has a probability density function with respect to Lebesgue measure, and f is any function for which the expected value E(|f(X)|) is finite, then, as is well-known to students of probability theory, the probability density function of X is the derivative of g and we have

- $E(f(X))=int\_\{-infty\}^infty\; f(x)g\text{'}(x),\; dx.$

But this formula does not work if X does not have a probability density function with respect to Lebesgue measure. In particular, it does not work if the distribution of X is discrete (i.e., all of the probability is accounted for by point-masses), and even if the cumulative distribution function g is continuous, it does not work if g fails to be absolutely continuous (again, the Cantor function may serve as an example of this failure). But the identity

- $E(f(X))=int\_\{-infty\}^infty\; f(x),\; dg(x)$

holds if g is any cumulative probability distribution function on the real line, no matter how ill-behaved.

The Riemann-Stieltjes integral appears in the original formulation of F. Riesz theorem which represents the dual space of the Banach space $C[a,b]$ of continuous functions in an interval $[a,b]$ as Riemann-Stieltjes integrals against functions of bounded variation (later, that theorem was reformulated in terms of measures).

Also, the Riemann-Stieltjes integral appears in the formulation of the spectral theorem for (non-compact) self-adjoint (or more generally, normal) operators in a Hilbert space (in this theorem, the integral is considered with respect to a so-called spectral family of projections).

[see the book by F. Riesz for details]

- Shilov, G. E., and Gurevich, B. L., 1978. Integral, Measure, and Derivative: A Unified Approach, Richard A. Silverman, trans. Dover Publications. ISBN 0-486-63519-8. Emphasizes the Daniell integral.
- Stroock, Daniel W., 1998. A Concise Introduction to the Theory of Integration. Birkhauser. 3 edition. ISBN 0-8176-4073-8. Includes problems with solutions.
- F. Riesz, B. Sz. Nagy. Functional Analysis. (1955) F. Ungar Publishing.

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)

This article is licensed under the GNU Free Documentation License.

Last updated on Sunday September 21, 2008 at 07:04:17 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

This article is licensed under the GNU Free Documentation License.

Last updated on Sunday September 21, 2008 at 07:04:17 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

Copyright © 2015 Dictionary.com, LLC. All rights reserved.