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

__Double Integrals -__

Volume of a Solid

Volume of a Solid

Consider the following problem.

Given a smooth function of two variables

*(we will always consider smooth functions in terms of continuity and sufficient differentiability), with non-negative values (that is,*

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

**f(x, y) ≥ 0**

**a ≤ x ≤ b**

**c ≤ y ≤ d**In the following we will use the word "area" in a sense of a two-dimensional part of a plane and as a quantitative measure of this part of plane. The context would clarify which one it is used in every case.

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 - the X,Y-plane and on the four sides by planes

**x = a**

**x = b**

**y = c**

**y = d**There is no ready to use formula for such a volume. We do know how the volume of a rectangular parallelepiped is defined, it is a product of its three dimensions - length multiplied by width, multiplied by height, but not of such a complicated figure as the one we consider now.

We really have to define what the volume of this figure is and then attempt to calculate it based on values of function

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

**a, b, c, d**We did have a similar problem in Geometry with the volume of solids and approached it as a sequence of approximations of a complex figure with simple ones. Let's do the same now.

We will use certain intuitive considerations to define the volume of a solid and will prove that this definition is mathematically valid.

The process of approximation starts with dividing rectangle

*]*

**a, b, c, d***(where*

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

**i***],*

**0,M***,*

**x**_{0}=a*) and*

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

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

**j***],*

**0,N***,*

**y**_{0}=c*) and constructing*

**y**_{N}=d*rectangular parallelepipeds on the base of these small rectangles with the height equaled to a value of function*

**M·N**

**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. There are two simple methods.

1. We can go from one point

*to another, varying index*

**y=y**_{j}*from*

**j***to*

**1***and for each value of*

**N***summarize the volumes of all parallelepipeds based on all values of*

**y=y**_{j}*, varying index*

**x=x**_{i}*from*

**i***to*

**1***. So, for each index*

**M***we calculate the sum of all*

**j***, varying index*

**V**_{i,j}*.*

**i**Then we summarize these sums by index

*deriving with an approximate volume*

**j**

**V**_{M·N}=**Σ**Δ

*Σ*_{j∈[1,N]}*Σ*

=_{i∈[1,M]}V_{i,j}==

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

**x**_{i}

**y**

=_{j}==

**Σ**Δ

*[Σ*_{j}_{i}f(x_{i}, y_{j})·*]·Δ*

**x**_{i}

**y**_{j}2. On the other hand, we can go from one point

*to another, varying index*

**x=x**_{i}*from*

**i***to*

**1***and for each value of*

**M***summarize the volumes of all parallelepipeds based on all values of*

**x=x**_{i}*, varying index*

**y=y**_{j}*from*

**j***to*

**1***. So, for each index*

**N***we calculate the sum of all*

**i***, varying index*

**V**_{i,j}*.*

**j**Then we summarize these sums by index

*deriving with an approximate volume*

**i**

**V**_{M·N}=**Σ**Δ

*Σ*_{i∈[1,M]}*Σ*

=_{j∈[1,N]}V_{i,j}==

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

**x**_{i}

**y**

=_{j}==

**Σ**Δ

*[Σ*_{i}_{j}f(x_{i}, y_{j})·*]·Δ*

**y**_{j}

**x**_{i}Both approaches to summarizing the volumes of small parallelepipeds should result in the same value of a combined volume.

Let's examine now what happens with both our formulas for total volume when the rectangles are getting smaller and smaller.

Recall the definition of a definite integral of function

*on a segment*

**φ(t)***as a limit of sums of areas of rectangles obtained by dividing segment [*

**p ≤ t ≤ q***] into small pieces:*

**p,q****Σ**Δ

_{k}φ(t_{k})·

**t**_{k}**→ ∫**

_{p}^{q}**φ(t)**d**t**We can now say that

**Σ**Δ

_{j}f(x_{i}, y_{j})·*converges to*

**y**_{j}

**φ(x**lim_{i}) =**Σ**Δ

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

**y**_{j}= ∫

_{c}^{d}**f(x**d_{i}, y)**y**under condition of maximum among Δ

*converges to zero. Then we continue with the second summation getting*

**y**_{j}**Σ**Δ

*[Σ*_{i}_{j}f(x_{i}, y_{j})·*]·Δ*

**y**_{j}*→*

**x**_{i}→

**Σ**

*[∫*_{i}*]·Δ*

_{c}^{d}**f(x**d_{i}, y)**y***→*

**x**_{i}→ ∫

*[∫*

_{a}^{b}*]*

_{c}^{d}**f(x**d_{i}, y)**y***d*

**x**On the other hand, we can similarly state that

**Σ**Δ

_{i}f(x_{i}, y_{j})·*converges to*

**x**_{i}

**ψ(y**lim_{j}) =**Σ**Δ

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

**x**_{i}= ∫

_{a}^{b}**f(x, y**d_{j})**x**under condition of maximum among Δ

*converges to zero. Then we continue with the second summation getting*

**x**_{i}**Σ**Δ

*[Σ*_{j}_{i}f(x_{i}, y_{j})·*]·Δ*

**x**_{i}*→*

**y**_{j}→

**Σ**

*[∫*_{j}*]·Δ*

_{a}^{b}**f(x, y**d_{j})**x***→*

**y**_{j}→ ∫

*[∫*

_{c}^{d}*]*

_{a}^{b}**f(x, y)**d**x***d*

**y**But these are supposed to be the same results since the difference is only in the order of summation. The sums are the same, therefore the limits are the same, therefore we can write this limit as a

*double integral*:

∫

*∫*

_{c}^{d}

_{a}^{b}**f(x, y)**d**x***d*

**y**or

∫

*∫*

_{a}^{b}

_{c}^{d}**f(x, y)**d**y***d*

**x**Both are the same and constitute two integrations of function

**performed consecutively, either by**

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

*x***to**

*a***(keeping**

*b***as a constant) and then by**

*y***from**

*y***to**

*c***or, in reverse, first by**

*d***from**

*y***to**

*c***(keeping**

*d***as a constant) and then by**

*x***from**

*x***to**

*a***.**

*b*
## No comments:

Post a Comment