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

__Definite Integrals -__

Area under Curve

Area under Curve

Consider the following problem.

Given a smooth function

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

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

**f(x) ≥ 0***]*

**a, b**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 "area under curve" - the measure of a part of coordinate plane bounded on the top by a graph of this function, on the bottom - the X-axis, on the left - by a line

**x = a**

**x = b**This area looks like this gray shaded part of a plane (for now, do not pay attention to what's written inside this area):

There is no ready to use formula for such an area. We do know how the area of a rectangle is defined, it is a product of its two dimensions - length multiplied by width, but not of such a complicated figure as the one we consider now.

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

*on segment*

**f(x)***]*

**a, b**We did have a similar problem in Geometry with the area of a circle, 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 "area under curve" and will prove that this definition is mathematically valid.

The process of approximation starts with dividing segment

*]*

**a, b***intervals by points*

**N***,*

**a=x**_{0}*,*

**x**_{1}*,*

**x**_{2}*...*

**x**_{3}*, and constructing rectangles, based on each interval*

**x**_{N}=b*]*

**x**_{i−1}, x_{i}*of function*

**m**_{i}*on this interval, similar to the following picture (consider only light blue rectangles)*

**f(x)**All the light blue rectangles are completely below the curve (since their heights are minimums of the function values on each interval) and, therefore, the sum of their areas does not exceed the intuitively understood "area under curve".

Alternatively, we can consider a set of rectangles built on the same intervals but of the height equaled to a maximum value

*of function*

**M**_{i}*on each interval (consider now pink extension of light blue rectangles).*

**f(x)**New taller rectangles are higher than the curve and, therefore, the sum of their areas is not less than the intuitively understood "area under curve".

Notice that the union of all blue rectangles resembles the figure we are trying to determine the area of. So, the sum of areas of all rectangles is close to the "area under curve", while always being less than "area under curve".

This sum of areas of rectangles can be expressed by a formula

**s**_{N}=**Σ**

_{i∈[1,N]}**m**_{i}·(x_{i}−x_{i−1}) =**Σ**

_{i∈[1,N]}**m**_{i}·**Δ**

*x*_{i−1}where

**Δ**, which is the width of each interval.

*x*_{i−1}= x_{i}−x_{i−1}Adding pink extension, we note that the sum of these taller rectangles also approximates the "area under curve", while being larger than it.

This sum of areas of rectangles can be expressed by a formula

**S**_{N}=**Σ**

_{i∈[1,N]}**M**_{i}·(x_{i}−x_{i−1}) =**Σ**

_{i∈[1,N]}**M**_{i}·**Δ**

*x*_{i−1}where

**Δ**, which is the width of each interval.

*x*_{i−1}= x_{i}−x_{i−1}Both approximations seem to be better if the number of intervals

*we divide our segment*

**N***]*

**a, b****- the better our approximation will be.**

*N*This can be confirmed by the following obvious statements.

If we divide any existing interval in two parts, build two rectangles instead of one and calculate the sum of areas of these rectangles, sum

*, based on minimum values of function*

**s**_{N}*, will increase and sum*

**f(x)***, based on maximum values of function*

**S**_{N}*, will decrease.*

**f(x)**Let's continue adding points of partitioning to infinity such that the largest interval's width converges to zero.

During this process sum

*will monotonically increase or stay the same, but not decrease, while being bounded from above by any*

**s**_{N}*; and sum*

**S**_{N}*will monotonically decrease or stay the same, but not increase, while being bounded from below by any*

**S**_{N}*.*

**s**_{N}These properties of sequences

*and*

**s**_{N}*are sufficient to state that both have limits:*

**S**_{N}*lim*

**s**_{N}= s_{∞}*lim*

**S**_{N}= S_{∞}where

*, and the limit is understood in terms of making partitioning of segment*

**s**_{∞}≤ S_{∞}*]*

**a, b**So, our next step in the process of approximation of the "area under curve" is to divide each of

*intervals in two parts, getting twice as many intervals and build twice as many narrower rectangles.*

**N**Blue rectangles lying below the curve will be inscribed "tighter" to the area under the graph of function

*, so the approximation of the "area under curve" with*

**f(x)***will be better.*

**s**_{N}Blue rectangles with pink extensions lying above the curve will encompass "tighter" the area under the graph of function

*, so the approximation of the "area under curve" with*

**f(x)***will also be better.*

**S**_{N}As the number of intervals grows and the width of the largest interval becomes an infinitesimal variable, the difference between

*and*

**s**_{N}*becomes smaller and smaller.*

**S**_{N}If we can prove that this difference converges to zero, as long as the width of the largest interval converges to zero, it would be a sufficient foundation to call the limits

*or*

**s**_{∞}*(they are the same) the*

**S**_{∞}*.*

**area under curve***Proof*

Recall that we are proving this theorem for sufficiently smooth functions. They and their derivatives are assumed to be continuous. In general, the theorem can be proven under weaker conditions (differentiability is not a necessary condition), but for the purposes of this course we are choosing the easier proof that is valid for smooth functions.

Consider the

*-th interval*

**i***].*

**x**_{i−1}, x_{i}Assume that function

*reaches its maximum*

**f(x)***on this interval at point*

**M**_{i}*∈[*

**ξ**_{i}*]*

**x**_{i−1}, x_{i}*on this interval at point*

**m**_{i}*∈[*

**η**_{i}*].*

**x**_{i−1}, x_{i}According to Lagrange Mean Value Theorem, there is a point

*∈[*

**ζ**_{i}*].*

**ξ**_{i}, η_{i}

**f**^{ I}(ζ_{i})·(ξ_{i}−η_{i}) = M_{i}−m_{i}from which we can derive the upper boundary for |

*|:*

**M**_{i}−m_{i}**|**≤

*M*|_{i}−m_{i}*max*{

_{[a,b]}**|**}

*f*|^{ I}(x)**·**

*max*{

_{i}**|**}

*x*|_{i}−x_{i−1}Here

*max*{

_{[a,b]}**|**} represents the maximum of the absolute value of the first derivative of

*f*|^{ I}(x)*on segment*

**f(x)****[**, which is some constant since

*a,b*]*is a smooth function, let's call it*

**f(x)***.*

**K**The second multiplier

*max*{

_{i}**|**}

*x*|_{i}−x_{i−1}*parts, let's call it*

**N***.*

**W**_{N}So, we conclude that

**|**≤

*M*|_{i}−m_{i}

**K·W**_{N}where

*(the widest interval) is assumed to be an infinitesimal variable as*

**W**_{N}*.*

**N→∞**Now we can evaluate the difference

*:*

**S**_{N}−s_{N}

**S**_{N}−s_{N}=**Σ**

_{i∈[1,N]}**(M**_{i}−m_{i})·(x_{i}−x_{i−1}) ≤ K·W_{N}·**Σ**

_{i∈[1,N]}**(x**_{i}−x_{i−1}) = K·W_{N}·(b−a)The last expression contains an infinitesimal variable

*multiplied by two constants.*

**W**_{N }Therefore, we have proven that the difference between upper

*and lower*

**S**_{N}*boundaries of "area under curve" is infinitesimal variable if the widest interval of partitioning of our segment*

**s**_{N}**[**shrinks in width to zero.

*a,b*]From this follows that if, instead of choosing minimum value

*or maximum value*

**m**_{i}*on each interval*

**M**_{i }**[**as the height of a corresponding rectangle, we choose any value of a function

*x*]_{i−1},x_{i}*on this interval, the limit will be the same since the corresponding sum of areas of these rectangles will always be between*

**f(x)***and*

**s**_{N}*.*

**S**_{N}We can conclude now that if we define the

*as a limit of sum of areas of rectangles based on intervals we divide the original segment into with the heights equal to values of our function in any point inside the corresponding intervals (left margin*

**area under curve***, right margin*

**x**_{i−1}*, maximum point*

**x**_{i}*, minimum point*

**ξ**_{i}*or any other), the limit will be the same as long as the widest interval's width converges to zero.*

**η**_{i}That proves the mathematical correctness of this definition. The

*, as defined, exists (since the limit of the sums of rectangles exist) and unique (since the limit does not depend on how we proceed partitioning the original segment and how we choose the points where the function value for the height of rectangle is chosen).*

**area under curve**End of proof.