Double Integrals
Double Integrals
Multiple integrals
n X
X m
f (xi , yj )∆A
i=1 j=1
47
48 5. Multiple integrals
This looks a lot like the definition of the integral of a function of single variable.
In fact, this is also the definition of a double integral, or more exactly an integral
of a function of two variables over a rectangle:
ZZ Xn X m
f (x, y) dA = lim f (xi , yj )∆A
R n,m→+∞
i=1 j=1
Note the similarities and differences in the notation to single integrals. We have
two integrals to denote the fact that we are dealing with a two dimensional region
and we have a differential here as well. Note that the differential is dA instead of
the dx and dy that we’re used to seeing. Note as well that we don’t have limits
on the integrals in this notation. Instead we have the R written below the two
integrals to denote the region that we are integrating over.
As indicated above one interpretation of the double integral of f (x, y) over the
rectangle R is the volume under the function f (x, y) (and above the xy-plane). Or,
ZZ
Volume = f (x, y) dA
R
The following theorem tells us how to compute a double integral over a rectan-
gle.
Theorem 5.1 (Fubini). If f (x, y) is continuous on R = [a, b] × [c, d], then
ZZ Z bZ d Z dZ b
f (x, y) dA = f (x, y) dy dx = f (x, y) dx dy
R a c c a
These integrals are called iterated integrals. Note that there are in fact two
ways of computing a double integral over a rectangle and also notice that the
inner differential matches up with the limits on the inner integral and similarly
for the outer differential and limits. In other words, if the inner differential is dy
then the limits on the inner integral must be y limits of integration and if the outer
differential is dy then the limits on the outer integral must be y limits of integration.
Now, on some level this is just notation and doesn’t really tell us how to com-
pute the double integral. Let’s just take the first possibility above and change the
notation a little.
ZZ Z "Z b
#
d
f (x, y) dA = f (x, y) dy dx
R a c
We’ve done a similar process with partial derivatives. To take the derivative of
a function with respect to y we treated the x’s as constants and differentiated with
respect to y as if it was a function of a single variable.
Double integrals work in the same manner. We think of all the x’s as constants
and integrate with respect to y or we think of all y’s as constants and integrate
with respect to x.
Example 5.2. Find
"Z #
ZZ Z b d
2
6xy dA = f (x, y) dy dx
R a c
Moreover, if f (x, y) = 1 then the volume equals (numerically) the value of the area
of D so we night write:
ZZ
Area of D = dA.
D
Exercise 5.1.4. Suppose that two numbers are chosen uniformly from the interval
[0, 1]. We call the larger of the two numbers X and the smaller one Y . Their
joint pdf (probability density function) is fX,Y (x, y) = 2 if 0 ≤ y ≤ x ≤ 1 and 0
otherwise. Find the expected value of X and the marginal distribution of X. Note
that the expected value of a random variable Z with pdf f (x, y) is
ZZ
Zf (x, y) dx dy
R2
The two events are independent so the joint probability is the product of the two
probabilities
(
0 x < 0 or y < 0
p(x, y) = pW (x)pF (y) = 1 − x 1 − y
10 e 10
30 e 30 x, y≥0
52 5. Multiple integrals
where u = g(x).
There are many reasons for changing variables. For example, one may want to
get an integral that is easier with the new variables, or to convert the region into a
nicer region to work with
We call the equations that define the change of variables a transformation.
Essentially, if we start with a set of variables x then we want to use another set of
variables u. For example, in two-variables, one may want to go from (x, y) to (u, v)
where x = x(u, v) and y = y(u, v). By changing the variables, the description of
the region changes as well.
2
Example 5.6. If R is the ellipse x2 + y36 = 1 and the transformation is x = u2 ,
2 2
y = 3v then R in the (u, v) system is u4 + v4 = 1, that is a circle with radius 2. 4
Similarly to the one-variable case, the rule for changing variables involves
derivatives. We start considering a change of variable in R2 :
x = g(u, v), y = h(u, v)
that is, a function f : R → R2 defined by
2
g(u, v)
f (u, v) = .
h(u, v)
We assume this function is differentiable and its differential, the Jacobian matrix,
is
∂g ∂g
∂u ∂v
Jf (u, v) =
∂h ∂h
∂u ∂v
The factor we need to transform the integral is the absolute value of the determinant
of the Jacobian.
∂g ∂g
∂u ∂v ∂g ∂h ∂g ∂h
det = −
∂h ∂h ∂u ∂v ∂v ∂u
∂u ∂v
We have the following theorem.
Theorem 5.7. Suppose that we want to integrate f (x, y) over the region R. Under
the transformation x = g(u, v), y = h(u, v) the region becomes S and the integral
becomes ZZ ZZ
f (x, y) dA = f (g(u, v), h(u, v))|det(Jf )| dA
R S
RR
Example 5.8. Evaluate R x+y dA where R is the trapezoidal region with vertices
given by (0, 0), (5, 0), (5/2, 5/2) and (5/2, −5/2) using the transformation x =
2u + 3v and y = 2u − 3v.
First of all, we need to transform the xy-region R into the uv-region R0 . To do
so, we need to express (u.v) in terms of (x, y). This is easy from the transformation
above, since adding the two equations and subtracting them we get
x+y x−y
u= , v=
4 6
Then we have the following correspondence (xy → uv):
(0, 0) → (0, 0), (5, 0) → (5/4, 5/6), (5/2, 5/2) → (5/4, 0), (5/2, −5/2) → (0, 5/6)
and the region R0 is a rectangle in the uv-plane. From the same equations we
also get x + y = 4u. It remains only the determinant of the Jacobian. Since the
transformation is linear, the Jacobian is a constant matrix:
2 3
J=
2 −3
and the determinant is −12. Thus we have
ZZ ZZ Z 5/4 Z 5/6
x + y dA = 4u|−12| du dv = du 48u dv
R R0 0 0
Z 5/4 Z 5/6 Z 5/4
5
= 48u du dv = 48 · u du
0 0 6 0
25 125
= 40 · =
32 4
4
Example 5.9. Evaluate ZZ
2
+y 2
ex dx dy
D
where D is the unit disk centered at the origin.
To write the domain in terms of xy variables is quite difficult and, moreover,
2
the integral of et is impossible to write using elementary functions. The solution
here is to change the variables making both the domain and the function easy to
write.
The “obvious” choice is that of the so called polar coordinates. From basic
trigonometry we have
x = ρ cos θ, y = ρ sin θ
so that the region D is described by 0 ≤ ρ ≤ 1 and 0 ≤ θ ≤ 2π. Since x2 + y 2 = ρ2
2
the function to integrate becomes eρ .
The determinant of the Jacobian is
∂x ∂x
cos θ −ρ sin θ
!
∂ρ ∂θ
det
= det = ρ cos2 θ + ρ sin2 θ = ρ
∂y ∂y sin θ ρ cos θ
∂ρ ∂θ
54 5. Multiple integrals
5.1.1 We have
ZZ Z 4 Z 3
3
2x − 4y dA = 2x − 4y 3 dy dx
R −5 0
Z 4
= (6x − 81) dx
−5
= 48 − 75 − 729 = −756
5.1.2 We have
ZZ Z 2 Z y3
x/y
e dA = ex/y dx dy
D 1 y
Z 2
2
= (y(ey − e)) dy
1
Z 2
2
= yey − ey dy
1
2
1 2 ey 2
= ey −
2 2 1
e4 − 4e e4 − 4e
= −0=
2 2
5.1.3 D consists of all points in the first quadrant inside the circle x2 + y 2 = 9. We
can then compute I as
Z 3 Z √9−x2 Z 3 p
9 − x2
dx (x + y) dy = x 9 − x2 + dx
0 0 0 2
Z 3 p Z 3
9 − x2
= x 9 − x2 + dx
0 0 2
Z 3 p
27 9
= x 9 − x2 dx + −
0 2 2
Z 3 √
t 27 9
= − dt + −
0 2 2 2
27 9
=9+ − = 18
2 2
5.1.4 Since X is larger than Y the region D where f (x, y) is not zero is the triangle
with vertices (0, 0), (1, 1) and (1, 0). We have
ZZ ZZ Z 1 Z x Z 1
f (x, y) dx dy = f (x, y) dx dy = dx 2 dy = 2x dx = 1
R2 D 0 0 0
5.2.3 From the equations of the transformation we get u = y and v = 6xu = 6xy.
Moreover, the Jacobian is
1
− 6uv 2
!
6u
0 2
1
and its determinant is 3u .
The transformation changes the boundaries of R into that of R0 (in the (u, v)
coordinates). y = 2 is transformed into u = 1 and y = 6 into u = 3. xy = 1 is
transformed into v = 3 and xy = 3 into v = 9. Then, R0 is a rectangle in the (u, v)
plane delimited by these straight lines.
Finally, we have
ZZ ZZ
3 v 1
xy dA = · (2u)3 · du dv
R R0 6u 3u
ZZ
v 1
= · 8u3 · du dv
0 6u 3u
ZRZ
4
= v · u du dv
9 R0
Z 3Z 9
4
= u du v dv
9 1
3
4 9 1 81 9
= − −
9 2 2 2 2
4
= · 4 · 36 = 64
9