- •10. Properties of integrated functions and double integrals
- •11. Double integral calculation.
- •12. Reduction of double integral to repeated one in a case of curvilinear area.
- •13. Change of variables in double integrals.
- •14. Mechanical applications of double integral.
- •15. Triple integral. Task about mass calculation. Definition and conditions of existence.
- •16. Properties of integrated function and triple integrals.
- •18. Calculation of triple integral in a case of arbitrary area.
- •19. Change of variables in triple integrals.
- •20. Harmonic analysis and periodic values.
- •21. Coefficient determination by Euler-Fourier method.
- •22.Orthogonal systems of functions.
- •24. First basic lemma.
- •26. Dini test of Fourier series’ convergence
- •27. Lipschitz test test of Fourier series’ convergence
- •29. The case of aperiodic function.
- •30. The case of arbitrary interval.
- •31. Expanding only by sines or cosines.
- •32. The complex form of Fourier series.
- •33. The extremal property of the partial sums of Fourier series.
- •34. Bessel inequality. Parswval-Steklov equality
10. Properties of integrated functions and double integrals

If area (P) is divided into two parts (P’) and (P’’) then if f(x,y) is integrated in (P)
![]()
Proof. Let’s divide areas (P’) and (P’’) into parts, at the same time area (P) also will be
divided into parts (P1),P(2),…,(Pn). If we denote by symbol i’ parts contained in (P’)
and by
symbol i’’ parts contained in (P’’) then
.
If f(x,y) is
integrated so that left sum approaches to zero with
then both sum
at right will also approach to zero; it means f(x,y) is integrated in (P’) and (P’’) too.
And vice versa, if sums at right approach to zero then sum at left will be approach to 0.
If integrated in (P) func f(x,y) will be multiplied by k then got function will be
![]()
If in area (P) functions f(x,y) and g(x,y) are integrated then
:
![]()
If
then
If f(x,y) is integrated then
is
integrated too and
Function
will be integrated because variation
of
this func in any area (P)
doesn’t
exceed variation
of
function f. Then
and
approaching
to zero of the second sum result in approaching to zero the first one. And necessary
inequality
have obtained by passage to the limit in
![]()
If f(x,y) integrated in (P)
then
(1.1)
It is
obtained by passage to the limit in obvious inequality
.
and
let’s denote middle ratio as μ so we have another record of (1) :
(5.2)
which is called mean value theorem. By theorem of
Bolzano-Cauchy about that continues bounded function must take on all values between
m and M and
denote by
such
point that
then
formula (1.2) must
be rewrote
as
(1.3) . This expression is the most generally used
form of mean value theorem.
11. Double integral calculation.
Reduction of double integral to repeated one in a case of rectangular area.
Let area (P) will be rectangle [a,b,c,d].]
Th 1.
If for function f(x,y) defined in rectangle [a,b,c,d] double
integral
(2.1)
exists and
for any permanent value x in [a,b] integral
(2.2)
exists then
repeated integral
(2.3) also exists and
(2.4)
Proof. Let’s divide segments [a,b] and [c,d] into parts by inserting points i n
So rectangle
(P) will be divided into partial rectangles
.
Let’s
denote by
and
upper
and low bounds of function f(x,y) in rectangle
(Pi,k)
so that for all points in this rectangle
.
Then let’s fix
arbitrary
value of
in
segment [xi,xi+1]
integrate in relation to y from yk
to yk+1
:
,
where
;
integral in relation
to y exist because existence of integral (2.2) is supposed for all segment [c,d]. Now let’s
add such inequalities from k=0 to m-1.We have got
.
Next let’s multiply all parts
of these
inequalities by
and sum up in relation to I from 0 to n-1:
![]()
We have the
integral sum in middle for function f(x,y). And extremes are Darboux
sums
for double integral (2.1). If all
and
will
be approach to zero at the same time the
n double integral’s
(2.1) existence result to approaching s and S to this integral. So
,
i.e. double integral (2.1) represents itself integral
on function
f(x) -
,
q.e.d.
Changing
variables x and y it may be proved that
(2.4*)
