*Notes to a video lecture on http://www.unizor.com*

__Double Integrals -__

Circular Base

Circular Base

Previous lecture introduced a concept of a double integral as a volume of a solid with a rectangular base.

In particular, we came to a conclusion that in this case we can integrate, first, by one of the argument and then by another or, equally well, in an opposite order. Rectangular base of a solid allowed such a freedom.

In this lecture we will consider a solid with a circular base and, which is important, the technique of calculating the volume of this solid would be valid for many other types of bases, not necessarily circular. Another important point is that the integration in one order cannot be performed in another order without modifications.

Consider the following problem.

Given a smooth function of two variables

*with non-negative values (that is,*

**f(x, y)***),*

**f(x, y) ≥ 0***with a center at the origin of coordinates, and represented by a surface in (X,Y,Z) coordinate space.*

**R**Our task is to find the "volume of a solid" - the measure of a part of coordinate space bounded on the top by a surface representing this function, on the bottom - by X,Y-plane and sides forming a cylindrical surface based on a circle described above, rising on a height determined by the values of our function on the circle's border.

We will follow the same logic as in a case of a rectangular base.

The process of approximation starts with dividing our circular base into many small rectangles by lines

*(where*

**x=x**_{i}*∈[*

**i***],*

**0,M***,*

**x**_{0}=−R*) and*

**x**_{M}=R*(where*

**y=y**_{j}*∈[*

**j***],*

**0,N***,*

**y**_{0}=−R*) and constructing rectangular parallelepipeds on the base of these small rectangles with the height equaled to a value of function*

**y**_{N}=R

**f(x, y)****and**

*x**("top right corner").*

**y**If point

*represents the coordinates of a "top right" corner of a small base rectangle and Δ*

**(x**_{i}, y_{j})*, Δ*

**x**_{i}=x_{i}−x_{i−1}*are sides of this small rectangle, the volume of a constructed rectangular parallelepiped equals to*

**y**_{j}=y_{j}−y_{j−1}Δ

*Δ*

**V**_{i,j}= f(x_{i}, y_{j})·*·Δ*

**x**_{i}

**y**_{j}The combined volume of all these parallelepipeds approximates the volume of our solid. With increasing number of small base rectangles and, correspondingly, decreasing their dimensions we assume that there is a limit of the combined volume of all these parallelepipeds.

It can be proven that under certain conditions of smoothness of our function

**f(x, y)**Now let's consider how we can summarize the volumes of all parallelepipeds constructed on the basis of small rectangles. We cannot summarize all

*and*

**x**_{i}*, as we did in a case of a rectangular base, because many of them will go outside of a circle where the function is undefined.*

**y**_{j}Instead, let's use the following logic. We will choose one of the arguments, let's say

*, as the "primary" and will change it from*

**x***to*

**x**_{0}=−R*, that is through all values of*

**x**_{M}=R*. For each chosen*

**x**_{i}*we will choose only those values of*

**x=x**_{i}*that fall within a circle of radius*

**y***, that is from*

**R****to**

*−√R²−x²***.**

*√R²−x²*Therefore, while the limits of summation by "primary" argument

*are all its values from*

**x***to*

**x**_{0}=−R*, the limits of summation by "secondary" argument*

**x**_{M}=R*depend on the value of "primary"*

**y***as specified above.*

**x**This dependence of the limits of summation (and, subsequently, integration) by secondary argument on the value of the primary one is the only difference of this case of circular base from the previously considered rectangular base.

Decreasing the intervals between division points by both arguments and going to a limit, we will have, firstly, an integral by a primary argument

*in limits from*

**x***to*

**−R***and, for each value of*

**R***we will have to integrate by a secondary argument*

**x***in limits that depend on the value of primary argument*

**y****x**- from

**to**

*−√R²−x²***.**

*√R²−x²*The final formula would look like this:

∫

*[∫*

_{−R}^{R}*]*

_{−√R²−x²}^{√R²−x²}**f(x, y)**d**y***d*

**x**Let's use this formula for calculating the volume of a cylinder with

*- the height of a cylinder.*

**f(x, y)=H**According to the rules of geometry, the volume of a cylinder equals to a product of an area of a base by its height, so we have to get the answer

*.*

**V=πR²H**Let's check if we get it through integration.

∫

*[∫*

_{−R}^{R}*]*

_{−√R²−x²}^{√R²−x²}**H**d**y***d*= ∫

**x***[*

_{−R}^{R}*]*

**2H√R²−x²***d*

**x**Substitute

*,*

**x=R·sin(t)**where

**−π/2 ≤ t ≤ π/2**Then

*,*

**√R²−x² = R·cos(t)***d*,

**x=R·cos(t)**d**t**getting

∫

*[*

_{−π/2}^{π/2}*]*

**2HRcos(t)***=*

**R·cos(t)**d**t***∫*

**2HR²**

_{−π/2}^{π/2}**cos²(t)**d**t**To simplify it further, use the trigonometric identity

**cos(2t) = cos²(t)−sin²(t) =**

= 2cos²(t) −1= 2cos²(t) −1

from which we derive

**cos²(t) =****[**

*cos(2t)+1*]*/2*Our integral now looks like this

*∫*

**2HR²**

_{−π/2}^{π/2}**[**

*cos(2t)+1*]*/2**d*=

**t**=

*∫*

**HR²**

_{−π/2}^{π/2}**[**

*cos(2t)+1*]*d*=

**t**=

*∫*

**HR²***+*

_{−π/2}^{π/2}**cos(2t)**d**t***∫*

**HR²**

_{−π/2}^{π/2}**d****t**Indefinite integral (anti-derivative) of

*is*

**cos(2t)***.*

**(1/2)·sin(2t)**Therefore, the first integral in this sum equals to

∫

*=*

_{−π/2}^{π/2}**cos(2t)**d**t***[*

**(1/2)·***] =*

**sin(2π/2)−sin(−2π/2)***[*

**(1/2)·***] =*

**sin(π)−sin(−π)**

**0**The second integral in a sum above equals to

∫

*=*

_{−π/2}^{π/2}**d****t**

**π/2 − (−π/2) = π**Therefore, the result of integration is

*which corresponds to results from geometry.*

**HR²·π = πR²H**