Main content

## Multivariable calculus

# Double integrals

Double integrals are a way to integrate over a two-dimensional area. Among other things, they lets us compute the volume under a surface.

## What we're building to

- Given a two-variable function f, left parenthesis, x, comma, y, right parenthesis, you can find the volume between this graph and a rectangular region of the x, y-plane by taking an integral
*of an integral*,This is called a**double integral**. - You can compute this same volume by changing the order of integration:The computation will look and feel very different, but it still gives the same result.

## Volume under a surface

Consider the function

Its graph looks like this:

Now consider the rectangle on the x, y-plane defined by

and

What is the volume above this rectangle, and under the graph of f, left parenthesis, x, comma, y, right parenthesis?

## Quick refresh of area under curve

From single variable calculus, we know that integrals let us compute the

*area*under a curve. For example, the area under the graph of y, equals, start fraction, 1, divided by, 4, end fraction, x, squared, plus, 1 between the values x, equals, minus, 3 and x, equals, 3 isA nice way to think about this is to imagine adding the areas of infinitely many, infinitely thin rectangles which sweep under the curve in the specified region:

You can think of the value of the function g, left parenthesis, x, right parenthesis, equals, start fraction, 1, divided by, 4, end fraction, x, squared, plus, 1 as being the height of each rectangle, d, x as being the infinitesimal width, and integral as being a pumped-up summing machine that's able to handle the idea of infinitely many infinitely small things. Written more abstractly, this looks like

## Sweeping area under a volume

For our volume problem, we can do something similar. Our strategy will be to

- Subdivide the volume into slices with two-dimensional area
- Compute the areas of these slices
- Combine them all together to get the volume as a whole.

Think of two-dimensional slices of the volume under the graph of f, left parenthesis, x, comma, y, right parenthesis. Specifically, take all the slices representing a constant value of y:

Consider just one of those slices, such as the one representing y, equals, start fraction, pi, divided by, 2, end fraction. The area of that slice is given by the integral

Written more abstractly, for a given value of y, the area of that slice is

Notice, this is an integral with respect to x, as indicated by the d, x, so as far as the integral is concerned, the symbol "y" represents a constant.

When you perform this integral, it will be some expression of y.

Try it for yourself: Perform the integral to compute the area of these constant-y-value slices:

When you plug in some value of y to this expression, such as y, equals, start fraction, pi, divided by, 2, end fraction, you get the area of a slice of our volume representing that y-value.

Now if we multiply the area of each one of these slices by d, y, a tiny change in the y-direction, we will get a tiny slice of volume. For example, 4, plus, 2, sine, left parenthesis, y, right parenthesis might represent the area of a slice, but left parenthesis, 4, plus, 2, sine, left parenthesis, y, right parenthesis, right parenthesis, d, y represents the infinitesimal volume of that slice.

Using yet another integral, this time with respect to y, we can effectively sum up all those tiny volume slices to get the total volume under the surface:

Try it yourself!What do you get when you plug in the expression for integral, start subscript, 0, end subscript, squared, f, left parenthesis, x, comma, y, right parenthesis, d, x that you found above, and solve the second integral?

## Two choices in direction

You could also dissect the volume we are trying to find a different way. Take slices which represent constant x values, instead of constant y values, and add up the volume slices.

**Concept check**: Which of the following integrals represents the area of a constant-x-value slice?

Now imagine multiplying each of these areas by d, x, a tiny step in the x-direction, which is perpendicular to the slice. This will give some kind of infinitesimal volume. By adding up all those infinitesimal volumes as x ranges from 0 to 2, we will get the volume under the surface.

**Concept check**: Which of the following double-integrals represents the volume under the graph of our function

in the region where

0, is less than or equal to, x, is less than or equal to, 2 and minus, pi, is less than or equal to, y, is less than or equal to, pi?

**Try it yourself!**: Perform the double integral to compute the volume under the surface. (Of course, you already found the volume in the previous section, but it is edifying to see how it can be computed a second way).

Thankfully, this computation gives the same volume that we found in the previous section. Something would have to be wrong with our reasoning if it didn't.

In short,

**the order of integration does not matter**. On the one hand, this might seem obvious, since either way you are computing the same volume. However, these are two*genuinely different*computations, so the fact that they equal each other turns out to be a useful mathematical trick.For example, several proofs in probability theory involve showing that two quantities are equal by showing that both result from the same double integral, just computed in a different order.

## Another example

Consider the function

What is the volume under the graph of this function in the region where

and

minus, pi, is less than or equal to, y, is less than or equal to, pi?

Here what this volume looks like:

**Concept check**: Imagine cutting this volume under f, left parenthesis, x, comma, y, right parenthesis, equals, cosine, left parenthesis, y, right parenthesis, x, squared, plus, 1 along the plane representing y, equals, 1. Which of the following integrals represents the area of that slice?

**Practice**: What do you get when you compute this integral for a general value of y, not just y, equals, 1?

**More practice**: The expression you just found represents the area of slices of our volume representing constant y-values. Using this expression, set up an integral to find the volume under the surface, and solve the integral.

## Summary

- Given a two-variable function f, left parenthesis, x, comma, y, right parenthesis, you can find the volume between its graph and a rectangular region of the x, y-plane by taking an integral
*of an integral*,This is called a**double integral**. - You can compute this same volume by changing the order of integration:The computation will look and feel very different, but it still gives the same result.

## Want to join the conversation?

- Is integrate x^2/(x^2+y^2) with respect to x and y an example of non-exchangeable double integral? What is Fubini's rule mainly talk about?(2 votes)
- Few integrals are non-exchangeable. I am doing differential equations right now, and I have never encountered any. You probably won't have to worry about this, but if you really want to learn more about Fubini's theorem, you could start with the Wikipedia page on it, or find some other sources on your own! https://en.wikipedia.org/wiki/Fubini%27s_theorem(5 votes)

- What is the main advantge of double integrals(3 votes)
- It's an extension of single variable integral to multi-variable integral, letting us compute volume in 3D under some function f(x,y) over some surface in the xy plane, which does not even have to be rectangular or square.(2 votes)

- In the second question I really wish they had written the function like this:

x^2cos(y) to reduce the ambiguity of what is being passed to the cosine function!(3 votes) - for Fubini's theorem, is this mainly, say, the y and x are dependent on each other? Thus we can't change(2 votes)
- Nope, It is that if the function is continuous in a certain region then the x and y can swap in the integration ;)

Come to the Hong Kong University and learn Dr. Ching Tak Wing's multivariable Calculus and you will get it!(1 vote)

- How do we know this limit : "Since our volume is defined in the region where −π≤y≤π"(1 vote)
- It is given below the picture with the red slice.(1 vote)

- A tank was modeled in a pyramid shape of heght 4 using four different planes -4/3x-4y+z=-4 , 2x-4y+z=-4 ,2x+y+z=-4 and -4/3x+y+z=-4.can help me find how much water can tank afford using double integration?(1 vote)
- integrate integrate (2 + 2y) dy from chi ^ 2 to 2 dx from 1 to 0(1 vote)
- I'm little confused in changing the order of integration of double integral.

What are the steps to change the order of integration?(1 vote) - when is a double integral not an iterated integral

e.g why is the example below not an iterated integral

integral of ( integral of (x^2y)dx )dy with limits y=-x to y=1 and x=y to x=y^2(0 votes)