MA111 Lec4 D3D4

MA-111 Calculus II
(D3 & D4 )
Lecture 4
B.K. Das
Department of Mathematics
Indian Institute of Technology Bombay
Powai, Mumbai - 76
January 31, 2022

Integrable functions
Integrals over any bounded region in R2

Bonaventura Cavalieri (1598 - 1647)
http://en.wikipedia.org/wiki/File:Bonaventura Cavalieri.jpeg
Cavalieri’s Principle
Suppose two solids are included between two parallel planes. If every
plane parallel to these two planes intersects both regions in cross-sections
of equal area, then the two regions have equal volumes.
http://en.wikipedia.org/wiki/File:Cavalieri
The Slice Method
Cavalieri’s basic idea is that we can find the volume of a given solid by
slicing it into thin cross sections, calculating the areas of the slices and
then adding up these areas.
Let S be a solid and Px be a family of planes perpendicular to the x-axis
with x as x-coordinate such that
1. S lies between Pa and Pb ,
2. the area of the slice of S cut by Px is A(x).
Then the volume of S is given by
Z b
A(x)dx.
a
Applying this to the solid graph of z = f (x, y ) above a rectangle R in the
plane, we see that we get exactly the second of our iterated integrals.
Thus Cavalieri’s principle is actually a generalization of the method of
iterated integrals. Note that in order to apply the principle we do not
require the solid to necessarily lie above a rectangular region in the plane.
Cavalieri’s principle is particularly useful in computing the volumes of
solids of revolution. These are obtained by taking a region B lying
between the lines x = a and x = b on the x-axis and the graph of a
function y = f (x) and rotating it through an angle 2π around the x-axis.
Solids of revolution
In this case, we can easily compute the cross-sectional area A(x), since
each cross section is nothing but a disc. The radius of the circle is
nothing but f (x). Hence, the area A(x) is given by
A(x) = π[f (x)]2 ,
and the volume V of the solid is given by

Z b
V =π [f (x)]2 dx.
a
Solids of revolution may also arise by rotating the graph of a function

f (x) around the y -axis. In this case, we can follow the procedure above,
replacing x by y and the function f (x) by its inverse.
Existence of integrals on R = [a, b] × [c, d]-I
All our statements so far depend on f being integrable on R. Is there any
characterization to determine if f is integrable?
Let f : R → R be a bounded function. The function ‘f is monotonic in
each of two variables’ means that for each fixed x, f (x, y ) is a monotonic
function in y variable and similarly, for each fixed y , f (x, y ) is a
monotonic function in x variable.
Theorem
If f is bounded and monotonic in each of two variables, then f is
integrable on R.
Again the proof follows by using Riemann condition.
Example: Let f (x, y ) := [x + y ], for all (x, y ) ∈ R, where [u] means the
greatest integer less than equal to u, for any u ∈ R. Since f is monotonic
in each of two variables, f is integrable on R.
However, the previous condition is not that common and seems rather
special.
Surely what worked in one variable should work here. In fact, a proof
similar to the case of one variable will show the following theorem.
Existence of integrals on R = [a, b] × [c, d]-II
Theorem
If a function f : R → R is bounded and continuous on R except possibly
finitely many points in R, then f is integrable on R.
Example. Let R := [−1, 1] × [−1, 1],

xy
(x 2 +y 2 ) , (x, y ) ∈ R, (x, y ) 6= (0, 0),
f (x, y ) =
0, (x, y ) = (0, 0).
What are points of discontinuity for f on R?
In the one variable case, we saw that a bounded function with at most a
finite number of discontinuities on a closed bounded interval is Riemann
integrable.
The reason that a finite number of discontinuities do not matter is that
points have length zero. What might be the analogous result in two
variables?
In other words what sets have “zero area”?
A bounded subset E of R2 has ‘zero area’ if for every > 0, there are
finitely many rectangles whose union contains E and the sum of whose
areas is less than .
It turns out graph of a continuous function, that is, set of the form
{(x, φ(x)) | x ∈ [a, b]} for a continuous function φ : [a, b] → [c, d] has
‘zero area’ or has content zero.
Theorem
If a function f is bounded and continuous on a rectangle
R = [a, b] × [c, d] except possibly along a finite number of graphs of
continuous functions, then f is integrable on R.
Example: Let R = [0, 1] × [0, 1] and

1, 0 ≤ x < y , y ∈ [0, 1],
f (x, y ) =
0, y ≤ x ≤ 1, y ∈ [0, 1].
Is f integrable over R?
The slightly more general theorem says that given a rectangle R and a
bounded function f : R → R, the function is integrable over R if the
points of discontinuity of f is a set of ‘content zero’.
However the converse of the above statement is not true. There are
integrable functions whose points of discontinuity is not a set of ‘content
zero’. (Check Tutorial)
Counter example: Bivariate Thomae function: f : [0, 1] × [0, 1] → R is
defined by

 1, if x = 0, y ∈ Q ∩ [0, 1],
 1 , x, y ∈ Q ∩ [0, 1] and x = p ,

f (x, y ) = q q

 p, q ∈ N are relatively prime,
0, otherwise.

Integrals over any bounded region in R2
So far we have learnt to integrate bounded functions on any rectangle in

R2 .
Let D be any bounded subset (not necessarily rectangle) of R2 .
How to define integral of f : D → R on D?
Remedy If D is a bounded subset of R2 , then there exists a rectangle R
in R2 containing D, i.e., D ⊂ R. Why?
Since D is a bounded subset of R 2 , there exists a > 0 such that any
(x, y ) ∈ D satisfies x 2 + y 2 < a2 , i.e, D ⊂ Ba = {(x, y ) | x 2 + y 2 ≤ a2 }.
Note Ba ⊂ [−a, a] × [−a, a]
Then the rectangle R := [−a, a] × [−a, a] contains D.
Extend f from D to R by defining
(
∗ f (x, y ), (x, y ) ∈ D,
f (x, y ) := .
0, (x, y ) ∈
/ D.
Definition
The function f : R2 → R is said to be integrable on bounded D ⊂ R2 , if
f ∗ is integrable on R and the integral of f on D is defined by
Z Z Z Z
f (x, y ) dx dy := f ∗ (x, y ) dx dy .
D R
I If f ≥ 0 on D ⊂ R2 and f is integrable on D, then the double

integral of f on D is the volume of the solid that lies above D in the
x-y plane and below the graph of the surface z = f (x, y ) for all
(x, y ) ∈ D.
RR
D f = volume of V
Independent of choice of rectangle
I The choice of rectangle R containing D is not unique.
I But the value of the integral of f on D does not depend on the
choice of the rectangle R containing D.
I Use the additivity property of integrals on rectangle and note that
only ‘zero’ is getting added outside D.
Properties of Integrals over bounded sets in R2
Let D be a bounded subset of R2 . Let f : D → R be an integrable

function.
I The algebraic properties for integrals on any bounded set D in R2
hold similarly to those of the case of integrals on rectangle.
Domain additivity property: Let D ⊆ R2 be a bounded set. Let

D1 , D2 ⊆ D such that D = D1 ∪ D2 . Let f : D → R2 be a bounded
function. If f is integrable over D1 and D2 and D1 ∩ D2 has content zero
then f is integrable on D and
Z Z Z Z Z Z
f = f + f.
D D1 D2
Existence of Integrals over bounded sets in R2
Theorem
Let D ⊂ R2 be a bounded set whose boundary ∂D is given by the finitely
continous closed curve then any bounded and continuous function
f : D → R is integrable over D.
Example. Let D = {(x, y ) | x 2 + y 2 ≤ 1} and
f (x, y ) = x 2 + y 2 , ∀ (x, y ) ∈ D. Then f is integrable over D.
A slightly more general theorem is as follows:

Let D be a bounded set in R2 such that ∂D is of content zero. Let
f : D → R be a bounded function whose points of discontinuity have
‘content zero’. Then f is integrable over D.

MA111 Lec4 D3D4

Uploaded by

Copyright:

Available Formats

MA111 Lec4 D3D4

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

MA111 Lec4 D3D4

Uploaded by

Copyright:

Available Formats

MA-111 Calculus II

January 31, 2022

Integrals over any bounded region in R2

A(x) = π[f (x)]2 ,

and the volume V of the solid is given by

Solids of revolution may also arise by rotating the graph of a function

Again the proof follows by using Riemann condition.

Example. Let R := [−1, 1] × [−1, 1],

What are points of discontinuity for f on R?

So far we have learnt to integrate bounded functions on any rectangle in

I If f ≥ 0 on D ⊂ R2 and f is integrable on D, then the double

Let D be a bounded subset of R2 . Let f : D → R be an integrable

Domain additivity property: Let D ⊆ R2 be a bounded set. Let

A slightly more general theorem is as follows:

You might also like