Namespaces
Variants
Actions

Integral

From Encyclopedia of Mathematics
Revision as of 17:23, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

One of the central notions in mathematical analysis and all of mathematics, which arose in connection with two problems: to recover a function from its derivative (for example, the problem of finding the law of motion of a material object along a straight line when the velocity of this point is known); and to calculate the area bounded by the graph of a function on an interval and the -axis (the problem of calculating the work performed by a force over an interval of time leads to this problem, as do other problems).

The two problems indicated above lead to two forms of the integral, the indefinite and the definite integral. The study of the properties and calculation of these interrelated forms of the integral constitutes the problem of integral calculus.

In the course of development of mathematics and under the influence of the requirements of natural science and technology, the notions of the indefinite and the definite integral have undergone a number of generalizations and modifications.

The indefinite integral.

A primitive of a function of the variable on an interval is any function whose derivative is equal to at each point of the interval. It is clear that if is a primitive of on the interval , then so is , where is an arbitrary constant. The converse also holds: Any two primitives of the same function on the interval can only differ by a constant. Consequently, if is one of the primitives of on the interval , then any primitive of on this interval has the form , where is a constant. The collection of all primitives of on the interval is called the indefinite integral of (on this interval) and is denoted by the symbol

According to the fundamental theorem of integral calculus, there exists for each continuous function on the interval a primitive, and hence an indefinite integral, on this interval (cf. also Indefinite integral).

The definite integral.

The notion of the definite integral is introduced either as a limit of integral sums (see Cauchy integral; Riemann integral; Lebesgue integral; Stieltjes integral) or, in the case when the given function is defined on some interval and has a primitive on this interval, as the difference between the values at the end points, that is, as . The definite integral of on is denoted by . The definition of the integral as a limit of integral sums for the case of continuous functions was stated by A.L. Cauchy in 1823. The case of arbitrary functions was studied by B. Riemann (1853). A substantial advance in the theory of definite integrals was made by G. Darboux (1879), who introduced the notion of upper and lower Riemann sums (see Darboux sum). A necessary and sufficient condition for the Riemann integrability of discontinuous functions was established in final form in 1902 by H. Lebesgue.

There is the following relationship between the definitions of the definite integral of a continuous function on a closed interval and the indefinite integral (or primitive) of this function: 1) if is any primitive of , then the following Newton–Leibniz formula holds:

2) for any in the interval , the indefinite integral of the continuous function can be written in the form

where is an arbitrary constant. In particular, the definite integral with variable upper limit,

(1)

is a primitive of .

In order to introduce the definite integral of over in the sense of Lebesgue, the set of values of is divided into subintervals of points , and one denotes by the set of all values of in the interval for which , and by the measure of the set in the sense of Lebesgue (cf. Lebesgue measure). A Lebesgue integral sum of the function on the interval is defined by the formula

(2)

where are arbitrary numbers in the interval .

A function is said to be Lebesgue integrable on the interval if the limit of the integral sums (2) exists and is finite as the maximum width of the intervals tends to zero, that is, if there exists a real number such that for any there is a such that under the single condition the inequality holds. The limit is then called the definite Lebesgue integral of over .

Instead of the interval one can consider an arbitrary set that is measurable with respect to some non-negative complete countably-additive measure. An alternative introduction to the Lebesgue integral can be given, when one defines this integral originally on the set of so-called simple functions (that is, measurable functions assuming at most a countable number of values), and then introduces the integral by means of a limit transition for any function that can be expressed as the limit of a uniformly-convergent sequence of simple functions (see Lebesgue integral).

Each Riemann-integrable function is Lebesgue integrable. The converse is false, since there exist Lebesgue-integrable functions that are discontinuous on a set of positive measure (for example, the Dirichlet function).

In order that a bounded function be Lebesgue integrable, it is necessary and sufficient that this function belongs to the class of measurable functions (cf. Measurable function). The functions encountered in mathematical analysis are, as a rule, measurable. This means that the Lebesgue integral has a generality that is sufficient for the requirements of analysis.

The Lebesgue integral also covers the cases of absolutely-convergent improper integrals (cf. Improper integral).

The generality attained by the definition of the Lebesgue integral is absolutely essential in many questions in modern mathematical analysis (the theory of generalized functions, the definition of generalized solutions of differential equations, and the isomorphism of the Hilbert spaces and , which is equivalent to the so-called Riesz–Fischer theorem in the theory of trigonometric or arbitrary orthogonal series; all these theories have proved possible only by taking the integral to be in the sense of Lebesgue).

The primitive in the sense of Lebesgue is naturally defined by means of equation (1), in which the integral is taken in the sense of Lebesgue. The relation in this case holds everywhere, except perhaps on a set of measure zero.

Other generalizations of the notions of an integral.

In 1894 T.J. Stieltjes gave another generalization of the Riemann integral (which acquired the name of Stieltjes integral), important for applications, in which one considers the integrability of a function defined on some interval with respect to a second function defined on the same interval. The Stieltjes integral of with respect to the function is denoted by the symbol

(3)

If has a bounded Riemann-integrable derivative , then the Stieltjes integral reduces to the Riemann integral by the formula

In particular, when , the Stieltjes integral (3) is the Riemann integral .

However, the interesting case for applications is when the function does not have a derivative. An example of such a is the spectral measure in the study of spectral decompositions.

The curvilinear integral

along the curve defined by the equations , , is a special case of the Stieltjes integral, since it can be written in the form

A further generalization of the notion of the integral is obtained by integration over an arbitrary set in a space of any number of variables. In the most general case it is convenient to regard the integral as a function of the set over which the integration is carried out (see Set function), in the form

where is a set function on (its measure in a particular case) and the points belong to the set over which the integration proceeds. Particular cases of this type of integration are multiple integrals and surface integrals (cf. Multiple integral; Surface integral).

Another generalization of the notion of the integral is that of the improper integral.

In 1912 A. Denjoy introduced a notion of the integral (see Denjoy integral) that can be applied to every function that is the derivative of some function . This enables one to reduce the constructive definition of the integral to a degree of generality which completely answers the problem of finding a definite integral taken in the sense of a primitive.

References

[1] V.A. Il'in, E.G. Poznyak, "Fundamentals of mathematical analysis" , 1–2 , MIR (1971–1973) (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] L.D. Kudryavtsev, "Mathematical analysis" , Moscow (1973) (In Russian)
[4] S.M. Nikol'skii, "A course of mathematical analysis" , 1–2 , MIR (1975) (Translated from Russian)
[5] V.I. Smirnov, "A course of higher mathematics" , 5 , Addison-Wesley (1964) (Translated from Russian)
[6] H. Lebesgue, "Leçons sur l'intégration et la récherche des fonctions primitives" , Gauthier-Villars (1928)


Comments

Concerning the "simple functions" mentioned above: every real-valued measurable function is the limit of a uniformly-convergent sequence of simple functions. However, such functions need not be Lebesgue integrable.

There are many other types of integrals besides those of Riemann and Lebesgue, cf., e.g., -integral; Boks integral; Burkill integral; Daniell integral; Darboux sum; Kolmogorov integral; Perron integral; Pettis integral; Radon integral; Repeated integral; Strong integral; Wiener integral.

References

[a1] E. Hewitt, K.R. Stromberg, "Real and abstract analysis" , Springer (1965)
[a2] E.J. MacShane, "Integration" , Princeton Univ. Press (1944)
[a3] W. Rudin, "Real and complex analysis" , McGraw-Hill (1974) pp. 24
[a4] S. Saks, "Theory of the integral" , Hafner (1952) (Translated from French)
[a5] K.R. Stromberg, "Introduction to classical real analysis" , Wadsworth (1981)
[a6] A.J. Weir, "Lebesgue integration and measure" , Cambridge Univ. Press (1985)
[a7] A.C. Zaanen, "Integration" , North-Holland (1967)
[a8] G.E. Shilov, B.L. Gurevich, "Integral, measure, and derivative: a unified approach" , Prentice-Hall (1966) (Translated from Russian)
[a9] I.N. Pesin, "Classical and modern integration theories" , Acad. Press (1970) (Translated from Russian)
[a10] J. Diestel, J.J. Uhl jr., "Vector measures" , Math. Surveys , 15 , Amer. Math. Soc. (1977)
How to Cite This Entry:
Integral. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Integral&oldid=28219
This article was adapted from an original article by V.A. Il'in (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article