Математический анализ определенный интеграл, несобственный интеграл, приложения определенного интеграла
.pdfЗамечание 2 (геометрическая ин- |
|
y |
|
|
||||||
терпретация теоремы об интегральном |
|
|
|
|
||||||
среднем |
значении |
функции). |
Пусть |
|
|
|
|
|||
( |
) |
и f ( x) ≥ 0 , x [a, b] |
|
|
|
|
||||
f ( x) C [a, b] |
f (c) =µ |
|
|
|
||||||
( a < b ). В этом частном случае из со- |
|
|
|
|||||||
отношения (5) следует, что существует |
|
|
|
|
||||||
прямоугольник с высотой |
µ = f (c) и |
|
|
|
x |
|||||
длиной основания (b −a) , площадь ко- |
|
|
|
|||||||
|
a |
c |
b |
|||||||
торого равна площади криволинейной |
|
|||||||||
Рис. 1.14. Геометрическая |
||||||||||
трапеции, |
ограниченной |
линиями: |
||||||||
интерпретация теоремы об интегральном |
||||||||||
y = 0 , y = f (x) , x = a , x = b . |
|
среднем значении функции |
||||||||
Примеры. |
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|||
1. Определить |
интегральное |
среднее |
значение |
|
функции |
|||||
f ( x) = sin x sin ( x +ϕ) на промежутке [0, 2π]. |
|
|
|
|
1 |
2π |
|
|
|
1 |
2π |
|
|
|
|
|
|
|
|
|
||||
fcp = |
∫sin x sin (x +ϕ) dx = |
∫12 [cos ϕ − cos(2x +ϕ)]dx = |
|
|
||||||||||||||||
2π |
2π |
|
|
|||||||||||||||||
0 |
|
|
|
|
|
0 |
|
x=2π |
|
|
|
|
|
|
|
|
|
|||
|
|
|
1 |
|
1 |
|
|
|
|
|
|
cos |
ϕ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
= |
|
x cos ϕ − |
2 |
sin (2x + |
ϕ) |
|
|
= |
2 |
|
. |
|
|
|
|
|
||||
|
|
|
|
|
|
|||||||||||||||
|
|
|
4π |
|
|
|
|
|
x=0 |
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
2πt |
|
|
|
|
|||||
2. Сила переменного тока меняется по закону |
i = i |
|
|
i |
|
|||||||||||||||
sin |
|
+ϕ |
, где |
– |
||||||||||||||||
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
T |
|
|
0 |
амплитуда, t – время, T – период и ϕ среднее значение квадрата силы тока.
i2 = i02 sin2 2Tπt +ϕ
|
2 |
|
|
|
i2 |
T |
|
|
π |
|
|
|
|
(i |
|
|
|
0 |
|
4 |
t |
dt = |
|||||
|
) |
cp |
= |
|
|
1 |
−cos |
|
|
+ 2ϕ |
|
||
|
|
|
|
|
|||||||||
|
|
|
|
2T |
∫ |
|
T |
|
|
|
|||
|
|
|
|
|
0 |
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
– начальная фаза. Найти интегральное
|
|
i2 |
|
|
|
|
π |
|
|
|
|
|
|
|
|
|
||
|
|
0 |
|
|
4 |
t |
|
|
|
|
|
|
|
|||||
= |
|
|
1 |
−cos |
T |
|
+ |
2ϕ |
|
; |
|
|
|
|
|
|||
2 |
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
i |
2 |
|
|
|
T |
|
|
4 |
π |
|
|
|
|
t=T |
|
i2 |
|
|
|
|
|
|
|
|
|
|
||||||||||
0 |
|
|
|
t |
|
|
|
|
|
0 |
|
|||||||
|
|
|
|
t − |
|
sin |
|
|
+ 2ϕ |
|
|
= |
|
. |
||||
|
2T |
4π |
|
|
|
|
2 |
|||||||||||
|
|
|
|
T |
|
|
|
|
t=0 |
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
§6. Некоторые неравенства для определенных интегралов
Теорема |
1. Пусть f ( x) R [a, b] ( a ≤ b ), и пусть |
f (x) – такая, что |
|
|
( |
) |
|
A ≤ f (x) ≤ B , |
x [a, b]. Тогда |
|
|
|
|
b |
|
|
A(b −a) ≤ ∫ f (x) dx ≤ B(b −a) . |
(1) |
a
1) Если a = b , то соотношение (1) выполняется (очевидно). 2) Пусть a < b . По теореме о среднем имеем
31
|
|
|
b |
|
|
|
|
|
|
|
|
∫ f (x) dx = µ(b −a) , где m ≤ µ ≤ M |
(2) |
||||
|
|
|
a |
|
|
|
|
|
( m = inf |
f (x) , |
M = sup |
f (x) ). |
|
|
|
|
|
[a,b]{ |
|
} |
[a,b]{ |
} |
|
|
|
|
По условию, |
A ≤ f (x) ≤ B , x [a, b] |
числа A и B являются соответствен- |
||||||
но нижней |
и |
верхней |
границами |
множества |
{ |
f (x) , |
x [a, b]. Значит, |
|
|
|
|
|
|
|
} |
|
A ≤ m ≤ M ≤ B . Так как m ≤ µ ≤ M , то и подавно A ≤ µ ≤ B . Умножим все части
последнего неравенства на |
(b −a) |
(у нас b > a |
b −a > 0 ). Получим |
|
|
b |
|
A(b −a) ≤ µ(b −a) ≤ B(b −a) . |
Из (2): |
µ(b −a) = ∫ f (x) dx . |
Тогда предыдущее |
a
неравенство может быть записано в виде
.
Замечание. Из доказанной теоремы вытекают следующие утверждения. |
|
( |
) |
Утверждение 1. Пусть f (x) R [a, b] ( a ≤ b ), и пусть f (x) ≥ 0 , x [a, b]. |
|
b |
|
Тогда ∫ f (x) dx ≥ 0.
a
Если в теореме 1 положить A = 0 , то получим утверждение 1. |
|||||
Утверждение 2. Пусть |
|
( |
) |
( |
) |
f (x) R [a, b] , g(x) R [a, b] ( a ≤ b ). Пусть |
|||||
|
b |
|
b |
|
|
f ( x) ≤ g(x) , x [a, b]. Тогда |
∫ f (x) dx ≤ ∫g(x) dx , |
т.е. неравенство можно ин- |
|||
|
a |
|
a |
|
|
тегрировать, если порядок пределов нормальный. |
|
x [a, b]. Ясно, что |
|||
Введем в рассмотрение функцию ϕ(x) = g(x) − f (x) , |
|||||
|
( |
) |
. Но тогда из утверждения 1 следует: |
||
ϕ(x) ≥ 0 , x [a, b], и что ϕ(x) R [a, b] |
|||||
b |
|
|
|
|
|
∫ϕ(x) dx ≥ 0 , т.е. |
|
|
|
|
|
a |
|
|
|
|
|
b |
|
|
b |
b |
|
∫(g(x) − f (x))dx ≥ 0 ∫ f (x) dx ≤ ∫g(x) dx . |
|||||
a |
|
|
a |
a |
|
32
Теорема 2. Пусть f (x) C([a, b]) ( a < b ). Пусть f (x) ≥ 0 , x [a, b]. Тогда если в [a, b] имеется хотя бы одна точка x0 такая, что f (x0 ) > 0, то
b
∫ f (x) dx > 0.
a
|
|
|
|
|
|
|
a |
x0−δ x0 x0+δ b x |
Рис. 1.15. К доказательству теоремы 2
Пусть, для определенности, точка x0 (a, b) (т.е. x0 – внутренняя точка промежутка). Пусть f (x0 ) = h ( h > 0 ). По теореме о стабильности знака суще-
ствует uδ(x0 ) такая, что uδ(x0 ) (a, b) и f (x) > h2 , x uδ(x0 ) . Имеем
|
|
|
|
|
|
|
b |
|
x0 −δ |
|
x0 +δ |
|
|
b |
|
|
|
||||
|
|
|
|
|
|
|
∫ f (x) dx = |
∫ f ( x) dx + |
∫ f ( x) dx + |
∫ f (x) dx . |
|
(3) |
|||||||||
|
|
|
|
|
|
|
a |
|
x0 |
a |
|
x0 −δ |
|
|
x0 +δ |
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
−δ |
|
|
b |
|
|
|
|
|
||
По |
утверждению 1: |
|
∫ f (x) dx ≥ 0 ; |
∫ f (x) dx ≥ 0 . |
По |
теореме 1: |
|||||||||||||||
|
x0 +δ |
|
|
|
|
|
|
|
|
|
a |
|
|
x0 +δ |
|
|
|
|
|
||
|
|
|
h |
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
||||
|
∫ f (x) dx > |
|
|
|
|
. Тогда из (3) следует: ∫ f (x) dx > 0. |
|
|
|||||||||||||
|
2 2δ = h δ > 0 |
|
|
||||||||||||||||||
|
x0 −δ |
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
Замечание. Справедливо утверждение: |
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
( |
) |
( a < b ). |
Пусть |
f (x) ≥ 0 , x [a, b]. |
Тогда |
если |
||||||||
|
Пусть f ( x) C [a, b] |
||||||||||||||||||||
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∫ f (x) dx = 0 , то f (x) ≡ 0 , x [a, b]. |
|
|
|
|
|
|
|
|
|
||||||||||||
|
a |
Рассуждаем от противного. Предположим, что в [a, b] имеется хотя бы |
|||||||||||||||||||
|
|
||||||||||||||||||||
одна |
точка |
x0 |
такая, |
что |
f (x0 ) > 0. Тогда по |
теореме |
2 |
должно |
быть |
||||||||||||
|
b |
|
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
∫ f (x) dx > 0, а это не так (по условию ∫ f (x) dx = 0 ). |
|
|
|
||||||||||||||||||
|
a |
|
|
|
|
|
|
|
|
|
|
( |
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
Теорема |
3. |
Пусть |
|
f ( x) R [a, b] |
. Пусть |
|
f (x) |
≤ K , |
x [a, b]. |
Тогда |
||||||||||
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∫ f (x) dx |
≤ K |
|
b −a |
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
33
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
[a,b]{ |
} |
По теореме о среднем |
∫ |
f (x) dx = µ(b −a) , где m ≤ µ ≤ M |
||||||||||||||
|
( m = inf |
f (x) , |
||||||||||||||
M = sup |
{ |
} |
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
f (x) ). Тогда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
[a,b] |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
∫ f (x) dx |
|
= |
|
µ |
|
|
|
b −a |
|
. |
|
(4) |
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
По условию − K ≤ f ( x) ≤ K , x [a, b] числа − K и K являются соответ-
ственно нижней и верхней границами множества |
{ |
|
} |
|
x [a, b]. Следова- |
|||||||||||||||||||||
|
f (x) , |
|
||||||||||||||||||||||||
тельно, − K ≤ m ≤ µ ≤ M ≤ K − K ≤ µ ≤ K , т.е. |
|
µ |
|
≤ K |
|
|
µ |
|
|
|
b −a |
|
≤ K |
|
b −a |
|
. |
|||||||||
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
Тогда из (4) получаем |
∫ f (x) dx |
|
≤ K |
|
b −a |
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Примеры. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1. Оценить интеграл 20∫cos1+ 2x8x dx .
12
Так как 0 ≤ cos2 x ≤1, то при x ≥12 выполняется неравенство
|
|
|
|
|
0 ≤ |
cos2 x |
|
≤ |
1 |
|
< |
|
1 |
. |
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
128 |
|
|
|
|
|
|
|
|
|||||||||||||
Поэтому |
|
|
|
|
|
|
1+ x8 |
|
|
1+128 |
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
20 cos2 x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
1 |
|
|
|
|
|
|
|
8 |
|
|
|
|
1 |
|
|
|
|
|
|||||||
|
0 < |
∫ |
|
dx < |
|
|
|
(20 −12) = |
|
|
|
|
|
|
< |
|
. |
|
|
|
|
|||||||||
|
1+ x8 |
128 |
128 |
|
|
107 |
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
12 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
2. Пусть функция |
|
f ( x) задана на [0,1] следующим образом: |
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
f ( x) = |
x x |
, x (0,1], |
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
1, |
|
x = 0. |
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( |
) |
|
|
|||||||||||
|
f (x) = lim x x = lim ex ln x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
Имеем lim |
=1 = f (0) |
|
|
f ( x) C [0,1] |
|
|
||||||||||||||||||||||||
x→+0 |
|
|
x→+0 |
x→+0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
( |
) |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
∫ |
x x dx существует. Произведем оценку этого интеграла. |
|
||||||||||||||||||||||||||||
f ( x) R [0,1] , т.е. |
|
|
|
|||||||||||||||||||||||||||
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f ( x) в |
|||
Для этого найдем наименьшее и наибольшее значения функции |
||||||||||||||||||||||||||||||
[0,1]. Имеем для |
x (0,1) : |
y′ = (x x )′ |
= (ex ln x )′ = ex ln x (ln x +1) |
|
y′ |
= 0 |
||||||||||||||||||||||||
лишь в точке x = 1 |
|
|
|
|
x |
|
|
|
|
|
x |
|
|
|
|
|
x |
|
|
|
|
|
|
x |
|
|||||
|
(в остальных точках промежутка (0,1) |
y′ существует, ко- |
||||||||||||||||||||||||||||
|
e |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
1 |
||
нечная, отличная от нуля). Из выражения для |
y′ следует: |
y′ < 0 , |
0, |
|||||||||||||||||||||||||||
x |
e |
, и |
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
x |
|
|
|
34
y′ > 0 , |
1 |
|
точка x = |
1 |
– точка минимума функции |
y = x |
x |
||
x |
,1 |
e |
|
||||||
x |
e |
|
|
|
|
|
|
|
|
( ymin = e |
−1 |
|
|
|
f (0) =1; f (1) =1. Вывод: наименьшее зна- |
||||
e = 0.692... ). Имеем далее: |
|||||||||
чение нашей функции m = e |
−1 |
|
|
|
|
|
|||
e ; наибольшее значение M =1. |
|
|
|||||||
Таким образом, получаем неравенство |
|
|
|
||||||
|
|
1 |
1 |
|
|
1 |
1 |
|
|
|
e−e (1−0) ≤ ∫x x dx ≤1 (1−0), т.е. e−e ≤ ∫x x dx ≤1. |
|
|
||||||
|
|
|
0 |
|
|
|
0 |
|
|
3. Неравенство Буняковского – Шварца (Буняковский В.Я., 1804–1889 –
российский математик, Шварц К.Г., 1843–1921 – немецкий математик). |
|
|||||||
( |
) |
g( x) |
|
( |
) |
|
|
|
Пусть f ( x) R [a, b] ; |
R [a, b] ( a ≤ b ). Пусть λ – любое, вещест- |
|||||||
венное. Имеем |
b |
|
|
|
|
|
|
|
|
|
[f (x) + λg(x)]2 dx ≥ 0 |
|
|||||
|
|
∫ |
|
|||||
|
b |
a |
|
|
b |
|
b |
|
|
|
|
|
|
|
|||
λ2 ∫g2 ( x) dx + 2λ∫ f (x) g(x) dx + ∫ f 2 (x) dx ≥ 0 . |
(5) |
|||||||
|
a |
|
|
|
a |
|
a |
|
b |
b |
|
|
b |
|
|
||
Обозначим ∫g2 ( x) dx = α; |
∫ f (x) g(x) dx = β; ∫ f 2 ( x) dx = γ . В новых обозначе- |
|||||||
a |
a |
|
|
a |
|
|
||
ниях (5) примет вид |
|
|
|
|
|
|
|
|
|
|
|
αλ2 + 2βλ + γ ≥ 0 . |
|
(6) |
|||
Так как трехчлен αλ2 + 2βλ + γ неотрицателен для всех λ лишь тогда, |
когда |
|||||||
β2 −αγ ≤ 0 , то в силу (5) |
|
|
|
|
|
|
|
|
|
b |
|
|
|
2 |
b |
b |
|
|
∫ f ( x) g( x) dx |
|
≤ |
∫ f 2 ( x) dx ∫g2 ( x) dx , |
(7) |
|||
|
a |
|
|
|
|
a |
a |
|
или |
|
|
|
|
|
|
|
|
|
b |
|
|
|
b |
|
b |
|
|
|
|
|
|
|
|||
|
∫ f ( x) g( x) dx ≤ |
|
∫ f 2 ( x) dx |
∫g2 ( x) dx . |
(8) |
|||
|
a |
|
|
|
a |
|
a |
|
Неравенства (7) и (8) носят название неравенств Буняковского – Шварца.
В частном случае, когда g( x) ≡1, x [a, b], будем иметь
35
b |
|
b |
|
|
|
~ |
∫ f ( x) dx ≤ |
b −a ∫ f |
2 |
( x) dx . |
|||
|
( 8 ) |
|||||
a |
|
a |
|
|
|
|
§7. Обобщенная теорема о среднем значении для определенного интеграла
Пусть
1)f ( x) R([a, b]) и g( x) R([a, b]),
2)m ≤ f (x) ≤ M , x [a, b],
3)функция g( x) не меняет знака на [a, b] , т.е. либо неотрицательна, либо неположительна на [a, b] .
Тогда справедливо соотношение:
b |
b |
|
∫ f (x) g(x) dx = µ∫g(x) dx , |
(1) |
|
a |
a |
|
где µ – некоторое число, удовлетворяющее условию m ≤ µ ≤ M . |
||
Заметим, что если a = b , то соотношение (1) |
выполняется для любого |
|
µ [m, M ]. |
|
|
1) Обсудим случай, когда a < b . По условию имеем: |
||
m ≤ f (x) ≤ M, |
x [a, b]. |
(2) |
Умножим все части неравенства (2) на g( x) . Получим:
mg(x) ≤ f (x)g(x) ≤ Mg(x) , если g( x) ≥ 0 ,
и
mg(x) ≥ f (x)g(x) ≥ Mg(x) , если g( x) ≤ 0 .
У нас a < b (порядок пределов интеграла нормальный). А тогда, интегрируя последние неравенства, будем иметь соответственно
b |
b |
b |
|
m∫g(x) dx ≤ ∫ f (x) g(x) dx ≤ M ∫g(x) dx , если g( x) ≥ 0 , |
(3) |
||
a |
a |
a |
|
b |
b |
b |
|
m∫g(x) dx ≥ ∫ f (x) g(x) dx ≥ M ∫g(x) dx , если g( x) ≤ 0 . |
(4) |
||
a |
a |
a |
|
|
b |
b |
|
Заметим, что ∫g(x) dx ≥ 0 , если g( x) ≥ 0 , и ∫g(x) dx ≤ 0 , если g( x) ≤ 0 . Если
a a
b
окажется, что ∫g(x) dx = 0 , то как в первом, так и во втором случаях
a
36
b
∫ f (x) g(x) dx = 0
a
(это видно непосредственно из (3) и (4)), и, следовательно, соотношение (1) бу-
b
дет выполняться при любом µ [m, M ]. Если же ∫g(x) dx ≠ 0, то будем иметь
b |
a |
|
|
|
|
∫g(x) dx > 0 , |
если g( x) ≥ 0 , |
x [a, b], |
a |
|
|
и |
|
|
b |
|
|
∫g(x) dx < 0 , |
если g( x) ≤ 0 , |
x [a, b]. |
a |
b |
|
|
|
Разделив неравенства (3) и (4) на ∫g(x) dx , получим в обоих случаях одно и
a
то же неравенство
b
∫ f ( x) g( x) dx
|
|
m ≤ |
a |
|
|
≤ M . |
(5) |
|
|
|
b |
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
∫g( x) dx |
|
|
|
|
b |
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
∫ f ( x) g( x) dx |
|
|
|
|
|
|
Обозначим |
a |
= µ (ясно, что m ≤ µ ≤ M ). Тогда |
|
||||
b |
|
||||||
|
|
|
|
|
|
|
|
|
∫g(x) dx |
|
|
|
|
|
|
|
a |
b |
|
b |
|
||
|
|
|
|
||||
|
|
∫ f (x) g(x) dx = µ∫g(x) dx , |
|
||||
|
|
a |
|
a |
|
аэто и требовалось установить.
2)Рассмотрим теперь случай, когда a > b . Мы знаем, что
b |
a |
|
∫ f (x) g(x) dx = −∫ f (x) g(x) dx , |
(6) |
|
a |
b |
|
b |
a |
|
∫g(x) dx = −∫g( x) dx . |
(7) |
|
a |
b |
|
37
a |
a |
У интегралов ∫ f (x) g(x) dx и ∫g(x) dx порядок пределов нормальный ( b < a ).
b |
b |
Для таких интегралов в пункте 1) было установлено |
|
a |
a |
∫ f (x) g(x) dx = µ∫g(x) dx, m ≤ µ ≤ M . |
|
b |
b |
Принимая во внимание (6), (7), последнее соотношение можно переписать в виде
b |
b |
|
|
− ∫ f ( x) g( x) dx = −µ∫g( x) dx (1). |
|
|
|
a |
a |
( |
) |
Частный случай обобщенной теоремы о среднем. Пусть g( x) R [a, b] и
g( x) не меняет знака на [a, b] , т.е. либо неотрицательна, либо неположительна
( |
) |
. Тогда на [a, b] обязательно найдется хотя бы |
на [a, b] . Пусть f ( x) C [a, b] |
||
одна точка c такая, что будет |
|
|
b |
|
b |
∫ f (x) g(x) dx = f (c)∫g(x) dx .
|
|
a |
( |
) |
|
a |
По условию |
|
f ( x) |
достигает в [a, b] своих наибольше- |
|||
f ( x) C [a, b] |
||||||
го M и |
наименьшего m значений |
m ≤ f (x) ≤ M , x [a, b]. Так как |
||||
( |
) |
|
|
( |
) |
что выполнены все условия обоб- |
f ( x) C [a, b] , то |
f ( x) R [a, b] . Видим, |
|||||
|
|
|
|
|
b |
b |
щенной теоремы о среднем. Поэтому ∫ f (x) g(x) dx = µ∫g(x) dx , где m ≤ µ ≤ M .
|
|
|
|
|
a |
a |
|
Было отмечено, что значения m и M функцией |
f ( x) достигаются на [a, b] . Если |
||||||
же |
m < µ < M , |
то по |
теореме о |
промежуточном значении |
для функции |
||
|
( |
) |
заключаем: на промежутке [a, b] обязательно найдется хотя бы |
||||
f ( x) C [a, b] |
|||||||
одна |
точка |
c |
такая, |
что будет |
f (c) = µ, |
а значит, и в |
этом случае |
b |
|
|
b |
|
|
|
|
∫ f (x) g(x) dx = f (c)∫g(x) dx . |
|
|
|
||||
a |
|
|
a |
|
|
|
|
Примеры применения обобщенной теоремы об интегральном среднем значении функции на промежутке.
2
1. Определить знак интеграла J = ∫x3ex dx .
−2
2 |
0 |
2 |
∫x3ex dx = ∫x3ex dx + ∫x3ex dx . В первом интеграле справа делаем замену
−2 |
−2 |
0 |
x = −t . Получаем
38
0 |
2 |
−t |
|
|
2 |
|
3 x |
3 |
dt |
|
3 −x |
|
|
∫x e |
dx = −∫t e |
|
= −∫x e |
dx . |
||
−2 |
0 |
|
|
|
0 |
|
2 |
2 |
Следовательно, J = ∫x3(ex −e−x ) dx = 2∫x3 sh x dx . Положим f ( x) = sh x , |
|
0 |
0 |
g( x) = x3 . Тогда по обобщенной теореме об интегральном среднем значении функции будем иметь
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
J = 2sh c∫x3dx = 8sh c > 0, 0 < c < 2 . |
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
1 |
xndx |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
2. Доказать, что nlim→∞ |
∫ |
= 0 . |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
1+ x |
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Положим f ( x) = |
|
|
1 |
|
, |
g( x) = xn . Применяем обобщенную теорему об ин- |
||||||||||||||||||||||
1 |
+ x |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
тегральном среднем значении функции. Получаем |
|
|||||||||||||||||||||||||||
1 xndx |
1 |
1 |
|
|
n |
|
|
|
1 |
|
|
xn+1 |
|
x=1 |
1 |
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
∫ |
|
= |
|
|
∫x |
|
|
dx = |
|
|
|
|
|
|
|
= |
|
|
|
, где 0 ≤ c ≤1, |
||||||||
1+ x |
1+c |
|
|
1+c |
n +1 |
(n +1)(1+c) |
||||||||||||||||||||||
0 |
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x=0 |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
откуда |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
1 xndx |
|
||||
|
|
|
|
|
1 |
|
|
|
|
|
|
xndx |
1 |
|
|
|
|
|
||||||||||
|
|
|
|
|
≤ ∫ |
|
|
≤ |
|
|
nlim→∞ ∫ |
|
= 0 . |
|||||||||||||||
|
|
|
|
(n +1) 2 |
1+ x |
n +1 |
1+ x |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
π 2 |
0 |
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. Доказать, что lim ∫sinn x dx = 0 .
n→∞ 0
Возьмем ε > 0 – любое сколь угодно малое. Имеем
π |
π− |
ε |
|
π |
|
~ ~ |
|
2 |
2 |
|
2 |
|
2 |
|
|
Jn = ∫sinn x dx = |
|
∫sinn x dx + |
∫sinn |
||||
|
x dx = Jn + Jn . |
||||||
0 |
10 4243 |
π |
ε |
|
|||
2 |
− |
2 |
|
||||
|
|
|
~ |
14243 |
|||
|
|
|
=Jn |
|
|
~ |
|
|
|
|
|
|
|
=Jn |
При любом n N справедлива оценка
~ |
|
|
π |
|
|
|
π |
|
π |
|
||
|
|
|
|
|
|
|||||||
|
|
2 |
|
|
|
2 |
|
|
|
2 |
2ε . |
|
Jn |
= |
|
∫sinn x dx |
|
≤ |
|
∫ |
sinn x |
dx ≤ |
|
∫dx = |
|
|
|
π−ε |
|
|
π−ε |
π−ε |
|
|||||
|
|
2 |
2 |
|
|
2 |
2 |
|
2 |
2 |
|
39
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
π−ε |
|
|
|
|
π−ε |
|
|
|
|||
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
n−1 |
|
|
|
|
|
|
|
π |
|
|
ε |
2 |
2 |
|
n |
|
|
2 |
2 |
n−1 |
|
|||||||
Так как 0 ≤ sin |
x |
≤ sin |
x |
для |
x |
|
− |
|
< |
∫sin |
x dx ≤ |
|
∫sin |
x dx , |
||||||||||||||||||||||||||||
|
|
|
0, |
|
2 |
|
, то 0 |
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
0 |
|
|
|
|
|
|
0 |
|
|
|
||||
|
|
|
|
|
~ |
~ |
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
т. е. |
0 < Jn ≤ |
Jn−1 {Jn}n N монотонно убывающая, ограниченная снизу. Зна- |
||||||||||||||||||||||||||||||||||||||||
чит, |
|
существует |
|
конечный |
предел |
|
|
|
|
|
~ |
|
|
Представим |
|
~ |
в |
|
виде |
|||||||||||||||||||||||
|
|
|
|
l = lim Jn . |
|
Jn |
|
|||||||||||||||||||||||||||||||||||
|
|
|
π−ε |
|
|
|
|
|
π−ε |
|
|
|
|
|
|
|
|
|
|
|
|
|
n→∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
~ |
|
2 |
∫ |
2 |
|
|
|
|
|
2 |
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
|
sinn x dx = |
|
|
sinn−1 x |
sin x dx по обобщенной теореме об интеграль- |
||||||||||||||||||||||||||||||||||||
J |
n |
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
∫124 43 |
{ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
0 |
|
|
|
|
|
|
|
0 |
=g(x) |
= f (x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
π−ε |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
2 |
|
2 |
|
n |
−1 |
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
π |
|
ε |
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= sin cn ∫sin |
|
|
|
|
|
|
|
, где cn |
|
− |
||||||||||||||||||
ном среднем значении Jn |
|
|
|
x dx = sin cn Jn−1 |
0, |
2 |
. |
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
||
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
Из соотношения |
|
|
|
|
|
|
заключаем, что l = 0 . (Если предположить, |
|||||||||||||||||||||||||||||||||
|
|
Jn = |
Jn−1 sin cn |
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
что l ≠ 0 , то будем иметь |
lim sin cn = lim |
~Jn |
=1, а это невозможно, ибо все |
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n→∞ |
|
|
|
n→∞ Jn−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
значения sin cn |
|
|
|
|
|
|
|
π |
− |
ε |
|
.) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
0, sin |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
Таким образом, получили |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
> 0 отвечает номер |
|||||||||||||||||||||||
|
|
lim Jn = 0 . Значит, взятому ε |
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
~ |
|
|
|
~ |
|
ε |
|
n→∞ |
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
~ |
|
|
|
|
|
|
||||
N такой, что |
|
|
= |
|
, если |
|
|
|
|
|
|
|
|
|
|
|
|
≤ |
|
|
|
|
|
если n |
> N . |
|||||||||||||||||
|
Jn |
Jn < |
2 |
n > N . А тогда |
Jn |
|
Jn |
+ |
|
Jn |
< ε, |
|||||||||||||||||||||||||||||||
Последнее означает, что |
|
|
|
|
|
|
π 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lim J |
n |
= lim |
∫ |
sinn x dx = 0 . |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n→∞ |
n→∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
§8. Определенный интеграл как функция своего верхнего (нижнего) предела
Пусть функция f (t) R([a, b]). Пусть x – любое, удовлетворяющее условию:
( |
) |
x |
|
∫ |
f (t) dt |
||
a ≤ x ≤ b . Ясно, что [a, x] [a, b] и, следовательно, f (t) R [a, x] , т.е. |
|
a
существует для любого x [a, b].
x
Нетрудно понять, что ∫ f (t) dt представляет собой функцию аргумента x,
a
определенную в промежутке [a, b] . Будем обозначать эту функцию через Φ( x) , x [a, b]. Таким образом,
40