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

__Improper Definite Integrals__

Recall the

**definition**of the

*definite integral*:

**∫**d_{a}^{b}f(x)**x =**

=lim=

**Σ**

_{i∈[1,N]}

*f(x*Δ_{i})·*x*_{i}where

**Δ**represents partitioning of segment [

*x*_{i}=x_{i}−x_{i−1}*] into*

**a,b***parts, and it is assumed that the widest interval*

**N****Δ**is shrinking to zero by length as

*x*_{i}*.*

**N→∞**Before we only defined and calculated these integrals for cases where the segment of definition [

*] was finite and the integrated function*

**a,b***was, at least, continuous on this segment and, as a consequence, was finite as well.*

**f(x)**Consider now cases of integration over unbounded (infinite) domains and/or functions that go to infinity around some point(s) within their domains. Let's start with a statement that we never defined these types of integrals. Riemann sums are not applicable in these cases.

For example, you want to determine an area under the curve

*from left boundary*

**y=1/x²***to positive infinity.*

**x=1**This function diminishes to zero as

*, so, intuitively, the area under this infinite curve might or might not be finite, depending on how fast the function value goes to zero as its argument goes to infinity.*

**x→∞**Our first order is to define definite integrals of this kind.

*Definition for infinite intervals of integration*

We will define an improper integral of each kind as a limit of the corresponding proper integral

**if and only if this limit exists**.

1.

**∫**d_{a}^{∞}f(x)**x =**

=lim=

_{b→∞}**∫**d_{a}^{b}f(x)**x**provided this limit exists.

2.

**∫**d^{b}_{−∞}f(x)**x =**

=lim=

_{a→−∞}**∫**d_{a}^{b}f(x)**x**provided this limit exists.

When both margins are infinite, we can define the integral as a sum of two integrals, each with only one margin being infinite, provided both exists in a sense of corresponding limits as defined above.

3.

**∫**d^{∞}_{−∞}f(x)**x =**

= ∫d= ∫

^{0}_{−∞}f(x)**x + ∫**d^{∞}_{0}f(x)**x***Definition for functions going to infinity*

Assume, we are integrating a function that asymptotically goes to infinity around one point within or on the border of a segment of integration.

For example,

**∫**d_{0}^{1}ln(x)**x**As we know, logarithm goes to negative infinity as we approach argument 0, which is a left boundary of integration segment.

To define this integral, we will cut off this point out of integration by stepping side-wise and take a limit of the result as the point of cut-off is getting closer and closer to a point where our function is not defined. If this special point is on the border of a segment of integration, we will have to take only one such limit. If it's in the middle, we will have to split the segment in two parts and integrate each one separately using this technique.

Assume, function

*is defined and continuous on interval (*

**f(x)***] that is open on the left because*

**a,b***as*

**f(x)→∞***.*

**x→a**Then we define

4.

**∫**d_{a}^{b}f(x)**x =**

=lim=

_{d→0}**∫**d^{b}_{a+d}f(x)**x**For any

*, however small, integral on the right exists. So, if there is its limit as*

**d***, that limit is the definition of the integral on the left.*

**d→0**Analogously, assume, function

*is defined and continuous on interval [*

**f(x)***) that is open on the right because*

**a,b***as*

**f(x)→∞***.*

**x→b**Then we define

5.

**∫**d_{a}^{b}f(x)**x =**

=lim=

_{d→0}**∫**d_{a}^{b−d}f(x)**x**For any

*, however small, integral on the right exists. So, if there is its limit as*

**d***, that limit is the definition of the integral on the left.*

**d→0**Finally, assume, function

*is defined and continuous on intervals [*

**f(x)***) and (*

**a,b***] - everywhere at segment [*

**b,c***] except point*

**a,c***because*

**x=b***as*

**f(x)→∞***.*

**x→b**Then we define

6.

**∫**d_{a}^{c}f(x)**x =**

= ∫d= ∫

_{a}^{b}f(x)**x + ∫**d_{b}^{c}f(x)**x**provided both integrals on the right exist in a sense of limits defined above.

_______

*Example 1*

**∫**d_{1}^{∞}1/x²**x =**

=lim=

_{b→∞}**∫**d_{1}^{b}1/x²**x**The indefinite integral (antiderivative) of

*is function*

**f(x)=1/x²***. Therefore, the definite integral on the right in the above equality can be evaluated by Newton-Leibniz formula as*

**g(x)=−1/x**

**∫**d_{1}^{b}1/x²**x =**

= (−1/b) − (−1/1) = 1 − 1/b= (−1/b) − (−1/1) = 1 − 1/b

Now we can take a limit of this expression as

*:*

**b→∞***lim*

_{b→∞}**(1 −1/b) = 1**Therefore, according to the definition of this improper integral,

**∫**d_{1}^{∞}1/x²**x = 1**_______

*Example 2*

**∫**d_{0}^{1}ln(x)**x =**

=lim=

_{d→0}**∫**d_{d}^{1}ln(x)**x**Indefinite integral (antiderivative) of

*is*

**f(x)=ln(x)**

**g(x)=x·ln(x)−x***).*

**ln(x)**Using Newton-Leibniz formula, we can evaluate the integral on the right:

**∫**d_{d}^{1}ln(x)**x =**

= (1·ln(1)−1) − (d·ln(d)−d) =

= −1 − d·ln(d) + d= (1·ln(1)−1) − (d·ln(d)−d) =

= −1 − d·ln(d) + d

Going to a limit as

*, we notice that*

**d→0***lim*(see a note with the proof below) and, therefore, our integral, according to the definition, is

_{d→0}**d·ln(d) = 0**

**∫**d_{0}^{1}ln(x)**x = −1**NOTE: Proof of the limit:

*lim*

_{d→0}**d·ln(d) =**

=lim=

_{d→0}**ln(d)/(1/d)**Use L'Hopital's rule to replace the ratio of functions with ratio of their derivatives.

*lim*

_{d→0}**ln(d)/(1/d) =**

=lim=

_{d→0}**(1/d)/(−1/d²) =**

=lim=

_{d→0}**(−d) = 0**
## No comments:

Post a Comment