The definite integral we have studied so far can only apply to the continuous functions. Now we extend this definition to the function with finite number of discontinuity.
| Improper Integral of the 1st kind |
|---|
[1] If is continuous on and discontinuous at . Then is continuous on the interval
. Thus we can think of the following definite integral
is continuous on and discontinuous at . Then is continuous on the interval
. Thus we can think of the following definite integral
|
1.
2.

. Then
and
.
,
![]() |
![]() |
![]() |
is continuous on
and antiderivative of
is
.
![]() |
![]() |
![]() |
|
![]() |
![]() |
2.

SOLUTION 1.
is continuous on
, but discontinuous at
. Let
. Then
,
,
is not continuous at
.
![]() |
![]() |
![]() |
|
![]() |
![]() |
is continuous on
, but not continuous at
. Then we write
Improper Integral of the 1st kind
[3]
is discontinuous at
. Then divide the interval
into subintervals
. Now consider the improper imtegral on each subintervals. If all improper integrals exist, then we define the sum of improper integrals as improper integral of
on
.
is not continuous at
. Then we write

is not continuous at
. Then we write the integral as follows:
. Thus we can conclude that no improper integral exists
| Improper Integral of the 2nd kind |
|---|
is continuous on
. Then is continuous on , where
. Then we define the infinite integral using the limit of
.
is continuous on
.
|
,
![]() |
![]() |
![]() |
|
![]() |
![]() |
,
If
is continuous on
and
exists, then we express this limit
.
![]() |
![]() |
![]() |
|
![]() |
![]() |
Proof
1.
Gamma Function
Let
. Then
is natural number



Using integration by parts,
![]() |
![]() |
![]() |
|
![]() |
![]() |
||
![]() |
![]() |
, we use the Maclaurin series expansion of
.
2. By 1. for
, we have the recurrence relation
.
![]() |
![]() |
![]() |
. Then let
. Then
,
.
. Thus,
![]() |
![]() |
![]() |
. Thus
|
Exercise A
|
|
Exercise B
|
is called the complete elliptic integral of the 1st kind?DLet
be the arithmetic mean. Then the following is known?D
?D