[x |
,x |
], а через |
M |
¢ |
|||
i-1 |
|
i |
|
|
|
i |
|
ции |
|
f (x) |
|
³0 на том |
|||
|
|
||||||
|
|
|
|
|
|
|
|
Тогда разность
и mi¢ – наибольшее и наименьшее значения функже отрезке.
между наибольшей S и наименьшей s суммами
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
функции y = f (x) |
равна |
|
S |
-s =å(M i -mi ) Dxi , а разность |
|
между |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
наибольшей |
|
¢ и |
наименьшей |
|
s¢ суммами |
функции |
|
|
f (x) |
|
|
|
равна |
||||||||||||||||||||
S |
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
¢- |
s¢ |
=å(Mi¢-mi¢)Dxi . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
S |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
i=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
Убедимся, что |
M |
¢-m ¢ £M |
i |
-m |
. Для этого рассмотрим |
четыре |
||||||||||||||||||||||||
возможных случая: |
i |
|
|
|
i |
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
1) случай, когда Mi |
и mi |
– неотрицательны е числа (см. рис. 1.13). |
||||||||||||||||||||||||||||
Тогда на отрезке [xi-1,xi ] функция |
|
f (x) неотрицательна, следовательно, |
|||||||||||||||||||||||||||||||
|
f (x)= |
|
f (x) |
|
|
для всех x Î[x |
,x |
] |
. |
В этом случае M |
¢ = M |
i |
и m |
¢ =m , |
|||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i-1 |
i |
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
i |
i |
|
значит, выполняется равенство |
M |
¢ |
-m ¢ |
= M |
i |
-m |
; |
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
i |
|
|
i |
|
|
|
|
|
|
|
|
|
|
Рис. 1.13. Изображение функций |
f (x) и |
|
f (x) |
|
на [xi-1,xi ] (1-ый случай) |
||||||
|
|
||||||||||
2) случай, когда Mi |
и mi |
– неположительные числа (см. рис. 1.14). |
|||||||||
Тогда на отрезке [xi-1,xi ] |
функция |
f (x) неполож ительная, следователь- |
|||||||||
но, наибольшее и наименьшее |
значения f (x)= |
|
f (x) |
|
для всех |
||||||
|
|
x Î[xi-1,xi ] удовлетворяют следующим равенствам:
Mi¢ =-mi и mi¢ =-Mi ,
значит, выполняется равенство Mi¢-mi¢ =-mi -(-Mi )= Mi -mi ;
41
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
на [xi-1,xi ] (2-ой случай) |
|||||||||||||||||||||
Ри с. 1.14. Изображение функци й f (x) |
и |
|
f (x) |
|
||||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||||||||||||
3) случай, когда Mi >0 и mi £0, причем Mi |
< |
|
mi |
|
|
(см. рис. 1.15). |
||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||||||||||||
Тогда на отрезке [xi-1,xi ] функция |
|
f (x) принимает неотрицатель- |
||||||||||||||||||||||||||||||||||||||||
ные и неположительные значения. Следовательно, |
f (x)= |
|
f (x) |
|
для тех |
|||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||||||||||||
x Î[x i-1,xi ], при которых |
f (x) ³0 и |
|
f (x) |
|
=-f (x) для тех x Î[xi -1,xi ], |
|||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||||||||||||
при которых |
|
f (x)<0. В этом случае |
M |
i |
¢ =-m и |
m ¢ = M |
, значит, вы- |
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
i |
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|||
полняется |
равенство |
M |
¢-m ¢ = |
|
OMi¢ |
|
|
|
|
OM |
|
|
|
|
|
|
Om |
|
= M |
-m |
||||||||||||||||||||||
|
|
- |
Om ¢ |
< |
|
i |
|
+ |
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
i |
i |
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
i |
i |
|||
или M |
¢-m |
¢ £M |
-m |
; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
i |
|
i |
|
i |
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Рис. 1.15. Изображение функций f (x) и |
|
f (x) |
|
на [xi-1,xi ] |
(3-ий случай) |
||||
|
|
||||||||
4) случай, когда Mi >0 и mi £0, причем Mi ³ |
|
mi |
|
|
(см. рис. 1.16). |
||||
|
|
||||||||
42 |
|
|
|
|
|
|
|
|
|
|
|
Рис. 1.16. Изображение функций |
|
|
f (x) и |
|
|
|
f (x) |
|
на [xi-1,xi ] |
(4-ый случай) |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
Тогда на отрезке [xi-1,xi ] |
|
функция |
f (x) принимает неотрицатель- |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
ные и |
неположительные значения. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
Следовательно, |
|
|
|
|
|
f (x) |
|
|
|
= f (x) |
|
|
для |
тех |
|
x Î[xi-1,xi ], при |
|
которых |
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
f (x)³0 и |
|
f (x) |
|
=-f (x) для тех x Î[xi-1,xi ], при которых f (x)<0. |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
В этом случае |
M |
|
i |
¢ = M |
i |
и m ¢ =-m |
|
, значит, выполняется равен- |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
ство M |
|
¢ |
-m ¢ |
|
|
OMi¢ |
|
|
|
|
|
|
|
|
|
OM |
|
|
|
|
|
|
Om |
|
= M |
|
-m . |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
i |
= |
|
|
- |
Om ¢ |
|
< |
|
i |
|
+ |
|
|
i |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
Тогда на отрезке [xi-1,xi ] |
|
функция |
f (x) неотрицательна, следова- |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
тельно, |
|
|
f (x) = |
|
|
f (x) |
|
|
|
|
для всех |
|
|
x Î[x |
|
|
,x |
]. В этом случае |
M |
¢ |
= -m |
и |
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i-1 |
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
i |
|
||||
m ¢ = M |
, значит, выполняется равенство |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
i |
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
M |
¢-m ¢ = |
|
OMi¢ |
|
|
|
|
|
|
|
|
|
OM |
|
|
|
|
|
|
|
Om |
|
|
|
= M |
|
-m . |
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
- |
Om ¢ |
|
< |
|
i |
|
+ |
|
i |
|
i |
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|||||||
|
|
|
|
Убедились, что во всех четырех случаях |
|
M |
¢ |
|
-m ¢ £M |
i |
-m . |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
i |
|
|
|
|
i |
|
|||
|
|
|
|
Из последнего неравенства следует, что для разности верхней |
|
¢ |
и |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
S |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
нижней s¢ суммы функции y = |
|
|
f (x) |
|
|
|
имеет место ее оценка через раз- |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
ность |
|
верхней |
|
|
|
|
|
|
|
и |
|
нижней |
|
s |
|
|
суммы |
функции |
y = f (x), а |
именно |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
S |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
¢- |
s¢ |
=å(Mi |
¢-mi¢)Dxi £å (Mi -mi ) Dxi = |
|
|
-s . |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
S |
S |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
i=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
43 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
По условию функция y = f (x) интегрируема на [a,b], тогда по достаточному условию интегрирования функции y = f (x) следует, для заданного числа ε > 0 существует такое разбиение отрезка [a,b], для которого разность S -s ˂ ε. Отсюда для функции y = f (x) с учетом послед-
него неравенства и оценки S¢-s¢£S -s получаем S¢-s¢ ˂ ε, что соответствует достаточному условию интегрируемости функции y = f (x) .
Докажем оценку модуля определенного интеграла. Для двойного неравенства функции y = f (x) имеем - f (x) £ f (x)£ f (x). Перехо-
дим к интегральным неравенствам, применяя оценку 5, получаем
b
-òf (x)dx
a
b
£òf (x)
a
b
dx £òf (x)dx ,
a
а это означает, что имеет место требуемая оценка
|
b |
|
b |
||||
|
|
||||||
|
òf (x)dx |
|
£ò |
|
f (x) |
|
dx . |
|
|
|
|
||||
|
a |
|
a |
|
|
|
|
Замечание. Из интегрируемости модуля функции f (x) не следует, вообще говоря, интегрируемость самой функции f (x). Проиллюстрируем это на примере. Пусть функция f (x) определяется на отрезке
|
é |
1 |
при x = m , |
|
|
|
ê |
|
|||
[0,1] следующим образом: |
ê |
|
|
n |
, где n – натуральное |
f (x)= ê |
|
|
|||
|
ê |
|
при x ¹ |
m |
|
|
ê-1 |
n |
|
||
|
ë |
|
|
|
число, а m – целое неотрицательное число.
Эта функция не интегрируема на заданном отрезке [0,1], так как не
существует предел последовательности интегральных сумм для любого разбиения отрезка. В самом деле, подсчитывая интегральные суммы заданной функция f (x), где выбранные точки ci рациональные, получается
длина отрезка [0,1], равная 1.
А выбирая точки ci иррациональные, получаем значение интегральных сумм, равное числу (-1). Таким образом, не выполняется условие независимости предела интегральных сумм функции f (x) от выбора точек ci .
44
При этом функция |
|
|
|
f (x) |
|
º1 – интегрируема на отрезке [0,1], |
||||||
|
|
|
||||||||||
и ее интеграл |
|
|
|
|
|
|
|
|
||||
1 |
|
|
|
|
|
|
1 |
|
|
|||
|
|
|
|
|
|
|||||||
ò |
|
f (x) |
|
dx = |
|
òf 1×dx |
|
= (1-0)=1 . |
||||
|
|
|||||||||||
0 |
|
|
|
|
|
|
|
0 |
|
|
Оценка 7. Пусть функция y = f (x) интегрируема на отрезке [a,b],
M и m – соответственно наибольшее и наименьшее значения функции на [a,b].
Пусть функция g (x) тоже интегрируема на отрезке [a,b] и для всех x удовлетворяет условию g(x)³0. Тогда
b |
b |
b |
mòg(x)dx £òf (x)×g(x)dx£ Mòg(x)dx. |
||
a |
a |
a |
Доказательство. Функция y = f (x) на [a,b] удовлетворяет неравенствам m £ f (x)£M . Умножим это двойное неравенство на функцию g(x)³0. Получим m g(x)£ f (x) g(x)£M g(x). Согласно оценке 5,
|
|
|
b |
b |
|
|
если f (x) g(x)³m g(x), то |
òf (x)×g(x)dxy ³ mòg(x)dx |
и |
если |
|||
|
|
|
a |
a |
|
|
|
|
b |
b |
|
|
|
M g(x)³ f (x) g(x), |
то Mòg(x)dx³òf (x)×g(x)dx . Объединяя послед- |
|||||
|
|
a |
a |
|
|
|
ние обе оценки, получим искомое двойное интегральное неравенство |
||||||
b |
b |
|
b |
|
|
|
mòg(x)dx£òf (x)×g(x)dx £ Mòg(x)dx , что и требовалось. |
|
|||||
a |
a |
|
a |
|
|
|
Оценка 8. Первая формула среднего значения. |
|
|
|
|||
Пусть |
функция |
y = f (x) |
интегрируема на |
отрезке |
[a,b], |
M |
и m –соответственнонаибольшееинаименьшеезначенияфункциина [a,b].
Тогда найдется такое число μ, удовлетворяющее неравенствам m ≤ μ ≤ M, что
b
òf (x)dx = m(b - a).
a
45
Доказательство. Функция y = f (x) на отрезке [a,b] удовле воря-
ет неравенству |
m £ f (x)£M . |
|
Используя |
оценку 3 |
имеем |
||
b |
|
|
|
|
|
|
|
òf (x)dx ³ m(b - a). |
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
b |
|
b |
|
Согласно оценке 5, если f (x) |
³g( x), тоòf (x)dxy ³ |
g(x)dx . |
|
||||
|
|
|
|
a |
|
a |
|
|
|
|
b |
b |
|
b |
- a). |
Возьмем g (x)= M , |
тогда |
òg x)dx =òMdx = M |
dx = M ( |
||||
|
|
|
a |
a |
|
a |
|
|
|
|
|
b |
|
|
|
Объединяя обе оценки, получаем m(b - a)£òf (x)dx £ M (b - a). |
|
||||||
|
|
|
|
a |
|
|
|
Для функции |
f ( x) 0 |
при всех x a,b |
последне е двойное нера- |
венство имеет очевидную геометрическую интерпретацию (см. рис. 1.17), а им нно площадь прямоугольн ика A1A2A3A4 равна m(b a), площадь
прямоугольника A1B1 2A4 равна M (b a). Отсюда следует, что площадь криволинейной трапеции A1C1C2C3A4 не м ньше площади первого прямоугольника A1A2A 3A4 и не больше площади второго A1B1B2A4 .
Рис. 1.17. Оценка определ нного ин еграла
|
|
|
b |
Делим войное неравенствоm(b -a)£òf (x )dx £ M (b - a) на кон- |
|||
|
|
|
a |
|
b |
f (x)dx |
|
|
|
|
|
станту b-a >0, получаем m £ |
a |
|
M . |
|
b -a |
||
|
|
|
46
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
òf (x)dx |
|
|
|
|
|
|
|
|
||||
|
Обозначим m = |
a |
|
|
. Число μ удовлетворяет условию m £m £ M . |
||||||||||
|
b -a |
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
b |
(x)dx = m b -a), что и требовалось. |
|
|
|
|
|||||||||
Получилиòf |
|
|
|
|
|||||||||||
|
a |
|
|
|
|
|
|
|
|
|
|
a,b |
|
|
|
|
Замечание. Для непрерывной |
на |
отрезке |
функции |
f (x) |
||||||||||
найдется такая точка c a,b , |
b |
|
|
|
|
|
|
|
|||||||
чтоòf ( x)dx = f ( |
)(b - a). |
|
|
||||||||||||
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
Доказательство. Приме няем |
теорему Больцано-К оши, которая |
|||||||||||||
утверждает, что если функция |
f x |
– непрерывна на отрезке |
a,b , |
||||||||||||
то она принимает |
|
все |
|
промежуточные |
знач ния, |
лежащие |
между |
||||||||
наименьшим |
и наибольшим |
M значе иями заданной функции f x . |
|||||||||||||
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
Из равенства òf (x)dx = m(b - a), где число μ удовлетворяет усло- |
||||||||||||||
|
|
|
a |
|
|
|
|
|
|
|
c a, b |
|
|
||
вию |
m £m £ M , следует |
|
существование |
точки |
такой, что |
||||||||||
f (c) = m. При этом число |
f c |
называется интегральным средним значе- |
|||||||||||||
|
|
f x |
|
|
|
|
|
|
|
|
b |
f (x)dx = f (c)(b |
a). |
||
нием функции |
|
на отрезке a,b . Получили |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
Для фу нкции |
|
f (x) 0 |
при всех |
x a,b |
последнее равенство |
|||||||||
имеет |
очеви ную |
геометрическую |
и терпретацию |
(с м. |
рис. |
1.18), |
а им нно, сущ ествует прямоугольник A1B1B2B3A4, равновеликий криволинейной трап еции A1 A2B2A3A4 .
ис. 1.18. ллюстрация равенства площадей криволинейной трапеции и прямоугольника
47
Значение произведения f c b a численно равно площади прямоугольника A1B1B2B3A4 с основанием A1A4 b a и высотой f c .
b
А определенный интеграл òf (x)dx численно равен площади кри-
a
волинейной трапеции A1A2B2A3A4 .
Оценка 9. Первая формула среднего значения в обобщенном виде. Пусть функция y = f (x) интегрируема на отрезке [a,b], M
и m – наибольшее и наименьшее значения функции на [a,b] соответ-
ственно.
Пусть функция g (x) тоже интегрируема на отрезке [a,b] и для всех удовлетворяет условию g(x)³0 (или g (x)£0).
Тогда найдется такое число μ, удовлетворяющее неравенствам
b |
b |
m £m£ M , что òf (x)×g (x)dx = mòg (x)dx . |
|
a |
a |
В частности, если |
f (x) – непрерывная функция на отрезке [a,b], |
b
то существует такое число c Î[a,b], что òf (x)×g (x)dx =
a
b
f (c)òg (x)dx .
a
Последняя формула называется первой формулой среднего значения в обобщенной форме.
b
Доказательство. Если òg (x)dx = 0, то подставляя значение этого
|
|
a |
|
|
|
b |
b |
b |
|
интеграла в оценку 7: mòg (x)dx £òf (x)×g (x)dx £ Mòg (x)dx , получает |
||||
|
a |
a |
a |
|
|
b |
|
|
b |
m×0£òf (x)×g (x)dx £ M ×0. |
Таким образом, òf (x)×g (x)dx = 0. |
|||
|
a |
|
|
a |
|
b |
|
|
|
Если |
òg (x)dx ¹0, то разделим |
двойное |
интегральное неравенство |
|
|
a |
|
|
|
b |
b |
b |
(x)dx на |
b |
mòg |
(x)dx £òf (x)×g (x)dx £ Mòg |
òg (x)dx > 0. Получим |
||
a |
a |
a |
|
a |
b
òf (x)×g (x)dx
m £ a b
òg (x)dx >0
a
|
b |
|
òf (x)×g (x)dx |
|
|
£ M . Обозначим m = |
a |
. |
b
òg (x)dx >0
a
48
Число μ удовлетворяет неравенствам m £m£ M . Следовательно,изпо-
|
|
b |
|
|
b |
следнегоравенстваимеемòf (x)×g (x)dx = mòg (x)dx ,чтоитребовалось. |
|||||
|
|
a |
|
|
a |
Если g (x)<0, то умножая двойное неравенство m £ f (x)£M на |
|||||
g (x)<0, получим |
m g(x)³ f (x) g(x)³M g(x). Согласно оценке 5, |
||||
|
|
|
b |
|
b |
если f (x) g (x)³M g(x), |
то òf |
(x)×g (x)dxy ³ Mòg (x)dx , и если |
|||
|
|
|
a |
|
a |
|
|
b |
|
b |
|
m g(x)³ f (x) g(x), то mòg |
(x)dx ³òf (x)×g (x)dx . Объединяя послед- |
||||
|
|
a |
|
a |
|
ние обе оценки, получим двойное интегральное неравенство |
|||||
b |
|
b |
|
|
b |
mòg (x)dx ³òf (x)×g (x)dx ³ Mòg (x)dx . |
|||||
a |
|
a |
|
|
a |
|
|
|
|
|
b |
Делим последнее неравенство на òg (x)dx ˂ 0 и меняем знаки в |
|||||
|
|
|
|
|
a |
|
|
b |
|
|
|
|
òf (x)×g (x)dx |
||||
неравенствах, тогда m £ |
a |
|
|
£ M . |
|
b |
|
|
|||
|
|
òg (x)dx >0 |
a
b
òf (x)×g (x)dx
Обозначим m = a b
òg (x)dx >0
a
ствам m £m£ M . Следовательно,
. Число μ удовлетворяет неравен-
из последнего равенства имеем
b |
b |
òf (x)×g (x)dx = mòg (x)dx , что и требовалось. |
|
a |
a |
Теперь получим первую формулу среднего значения в обобщенной форме.
Если функция f (x) – непрерывна на отрезке [a,b], то по теореме
Больцано-Коши о промежуточном значении непрерывной функции на отрезке [a,b] для любого числа μ, удовлетворяющего условию m £m£ M ,
существует такое число c Î[a,b], что f (c)= m.
49
Отсюда
b
òf (x)×g (x)dx
f (c)= a b
òg (x)dx >0
a
b |
b |
илиòf (x)×g (x)dx = f (c)òg (x)dx. |
|
a |
a |
Последняя формула представляет собой первую формулу среднего значения в обобщенной форме. Доказательство оценки 9 закончено.
Оценка10.ВтораяформуласреднегозначенияилиформулаБонне. Пусть функция y = f (x) интегрируема на отрезке [a,b], а функция
g (x) монотоннанаэтомотрезке.Тогдасуществуеттакоечисло c Î[a,b],что
b
òf (x)×g (x)dx
a
c |
b |
= g (a)òf (x)dx +g (b)òf (x)dx. |
|
a |
с |
1.7. Формула вычисления определенного интеграла
Интеграл с переменным верхним пределом
Пусть функция y = f (x) интегрируема на любом отрезке, содержащемся в интервале (a,b), и пусть c – некоторая фиксированная точка
выбранного интервала. Тогда каково бы ни было число x из интервала (a,b), функция f (x) интегрируема на отрезке [c,x]. Поэтому на отрезке
определена функция F (x)=òx f (t)dt (здесь переменная интегрирования
c
обозначена буквой «t», так как буквой «x» обозначен верхний предел интегрирования).
Определение. Функция F (x)=òx f (t)dt называется интегралом с
c
переменным верхним пределом.
Найдем производную функции F (x) по переменному верхнему
пределу x .
Теорема. Если функция f (x) непрерывна на интервале a,b , то
для любого му пределу
d æòx f (t)dt dx ççèc
x Î(a,b) производная от интеграла по переменному верхнеравна подынтегральной функции в верхнем пределе, т.е.
ö
÷÷ = f (x),где c –любаяфиксированнаяточкаинтервала a,b .
ø
50