Double Integral - Integral Calculus of Multivariable Functions - University Mathematics Handbook

University Mathematics Handbook (2015)

VIII. Integral Calculus of Multivariable Functions

Chapter 2. Double Integral

2.1  Definition of Double Integral

Let be a function defined above region . Let region be divided by lines parallel to coordinate lines, into elementary sections, resulting in a rectangular net covering . The area of inner rectangles is . Inside every rectangle, we choose a point and express a sum by all inner rectangles:

This is the integral sum of function corresponding to the given partition and dependent on the choice of points .

a.  Function is integrable (according to Riemann) above domain if there exists a finite limit of its integral sum when the maximum diagonal of rectangles tends to zero, when the limit is independent both of manner of partitioning and of the choice of points .

This limit is the double integral of function over . It is denoted or .

b.  Let be a curve in and be rectangles covering its area. is called zero area curve if .

c.  Function is piecewise continuous in if it discontinuous at no more than a finite number of zero area curves.

d.  If is continuous over then it is integrable.

e.  If is integrable over it is bounded in .

f.  If is bounded and piecewise continuous in , then it is integrable.

2.2  Properties of Double Integral

a.  The area of domain : .

b.  If functions and are integrable in , then:

1.  For every real and , function is integrable, and

2.  Function is integrable over .

3.  If, in addition, on every point of , then:

c.  If is integrable over , then is integrable in the same domain, and

The inverse is incorrect. That is, from the integrability of does not necessarily follow the integrability of in the same domain .

d.  If is integrable in , , , then , when is the area of region .

If, in addition, is connected and is continuous in , then there exists a point in such that .

f.  If function is integrable over , and region is divided, by curve of zero area, into connected regions and with no inner common points, then is integrable over and and holds: