Multiple integral

A definite integral of a function of several variables. There are several different concepts of a multiple integral (Riemann integral, Lebesgue integral, Lebesgue–Stieltjes integral, etc.).

The multiple Riemann integral is based on the concept of a Jordan measure . Let be a Jordan-measurable set in the -dimensional Euclidean space , let be the -dimensional Jordan measure and let be a partition of , i.e. a system of Jordan-measurable sets such that and , , . The quantity

where is the diameter of , is called the mesh of the partition . If , , is a function defined on , then any sum of the type

is called a Riemann integral sum of the function . If has the property that exists, independently of the specific sequence of partitions, then this limit is called the -tuple Riemann integral of over , and is denoted by

or

The function itself is then said to be Riemann integrable or, more briefly, R-integrable.

When , the set over which the integration takes place is usually an interval and is a partition consisting exclusively of intervals (see Riemann integral). Hence both the set over which the integration is performed and the elements of the partition are Jordan-measurable sets of a very special form — intervals. That is why not all the properties of functions which are R-integrable on an interval are valid for functions which are R-integrable on arbitrary Jordan-measurable sets. For example, since any function defined on a set of Jordan measure zero is R-integrable on that set, it follows that R-integrable functions need not be bounded. This is impossible for R-integrable functions on intervals. If one wishes R-integrability of a function on some set to imply that the function is bounded, certain additional conditions must be imposed on the set; for example, one might require that the set have arbitrarily fine partitions all elements of which have positive Jordan measure. The class defined by this condition includes all Jordan-measurable open sets and their closures, in particular all Jordan-measurable open domains and their closures. These are precisely the sets for which multiple Riemann integrals are most often used. When (), a multiple integral is called a double (triple) integral (cf. also Double integral).

Since a multiple Riemann integral can be evaluated only over Jordan-measurable sets (if such a set is also called squarable; if it is also called cubable), double (triple) Riemann integrals are considered only on sets (usually domains or closures of domains) with boundaries of Jordan area (volume) zero.

The Riemann integral of a bounded function of variables () possesses the usual properties of an integral (linearity, additivity with respect to the set of integration, preservation of non-strict inequalities under integration, integrability of the product of integrable functions, etc.).

A multiple Riemann integral can be reduced to a repeated integral. Let ,

where is a Jordan-measurable set in , is the intersection of with the -dimensional hyperplane , is the projection of on the hyperplane , with and measurable in the sense of the -dimensional and -dimensional Jordan measure, respectively. If is an R-integrable function on and if for all the -multiple integrals of the restrictions of to the set exist, then the repeated integral

where the outer integral is an -tuple Riemann integral, exists, and

For this implies the following formulas:

1) If , if is the projection of on the -plane, and if and , , are functions with graphs bounded by the set in the -direction, i.e.

then

2) Let the projection of on the -axis be an interval , and let be the intersection of with the plane through the point parallel to the -plane; then

In case is a Jordan-measurable domain in the space and is also continuously differentiable on the closure of into , one has the following formula for substitution of variables in the integral of a function which is integrable on :

(1)

where is the Jacobian of the mapping .

The geometrical meaning of the multiple Riemann integral of a function of variables is connected with the concept of the -dimensional Jordan measure : If is integrable on a set , on and if

then

(2)

A multiple Lebesgue integral is the Lebesgue integral of a function of several variables; the definition is based on the concept of the Lebesgue measure in the -dimensional Euclidean space. A multiple Lebesgue integral can be reduced to a repeated integral (see Fubini theorem). For continuously-differentiable one-to-one mappings of domains, formula (1) for substitution of variables holds, as well as formula (2), which conveys the geometrical meaning of the multiple Lebesgue integral, with now being interpreted as the -dimensional Lebesgue measure.

The concept of a multiple integral carries over to functions integrable on a subset of the product of two sets and , on each of which a -finite complete non-negative measure, and , respectively, has been given; in this situation integration over involves the measure which is the product of and .

For functions of several variables one also has a concept of an improper multiple integral (see Improper integral). The concept of a multiple integral is also applied to indefinite integrals of functions of several variables: An indefinite multiple integral is a set function

where is a measurable set. For example, if is Lebesgue integrable on some set, then it is the symmetric derivative of its indefinite integral almost-everywhere on that set. In this sense (in analogy to the case of functions of one variable), the evaluation of an indefinite integral is the operation inverse to differentiation of set functions.

References

[1]	V.A. Il'in, E.G. Poznyak, "Fundamentals of mathematical analysis" , 2 , MIR (1982) (Translated from Russian)
[2]	A.N. Kolmogorov, S.V. Fomin, "Elements of the theory of functions and functional analysis" , 1–2 , Graylock (1957–1961) (Translated from Russian)
[3]	S.M. Nikol'skii, "A course of mathematical analysis" , 2 , MIR (1977) (Translated from Russian)

References

[a1]	T.M. Apostol, "Mathematical analysis" , Addison-Wesley (1957)
[a2]	R.G. Bartle, "The elements of real analysis" , Wiley (1976)
[a3]	K.T. Smith, "Primer of modern analysis" , Bogden & Quigley (1971)
[a4]	K.R. Stromberg, "Introduction to classical real analysis" , Wadsworth (1981)