|
|
|
|
|
|
|
121 |
Масса |
всего стержня будет приближенно выражаться суммой: |
|
|||||
|
|
|
|
|
|
|
. |
Чем мельче участки |
, т.е. чем меньше ранг разбиения |
, тем точнее это |
|||||
приближенное равенство. Точное равенство достигается в пределе при |
: |
||||||
|
|
|
|
|
. |
|
|
Задача 3 (о площади криволинейной трапеции). |
|
|
|
|
|||
Рассматривается криволинейная трапеция |
фигура на плоскости, ограниченная |
||||||
графиком функции |
, осью абсцисс и прямыми |
и |
. Предполагается, |
||||
что |
|
. Требуется найти площадь |
этой криволинейной трапеции. |
||||
Решение. |
|
|
|
|
|
|
|
Разбиваем промежуток |
произвольным образом на |
частичных |
|||||
промежутков |
|
, |
|
|
|
|
. Пусть |
|
, |
|
ранг разбиения (дробления). |
||||
Через точки дробления проведем отрезки прямых, параллельных оси ординат. Криволинейная трапеция разобьется при этом на полос. Площадь - той полосы
приближенно равна площади прямоугольника с основанием |
и высотой |
, где |
|
: |
. |
|
|
122
Площадь всей криволинейной трапеции будет приближенно выражаться суммой:
|
. |
Чем меньше частичные промежутки |
, т.е. чем меньше ранг разбиения , |
тем точнее это приближенное равенство. Точное равенство достигается в пределе при
:
.
Разнообразные задачи в математическом анализе и в его приложениях, подобные разобранным выше, приводят к необходимости рассмотрения сумм специального вида, а также к понятию пределов нового типа.
Понятие определенного интеграла. |
|
|
|
|
|
Пусть имеется функция |
, заданная в промежутке |
. |
|
||
Рассмотрим конечный набор точек |
таких, что |
|
|
||
|
|
|
. |
|
|
Этот набор точек будем называть разбиением (или дроблением) промежутка |
|||||
и обозначать: |
. В результате такого разбиения возникает набор частичных |
||||
промежутков |
, |
, объединение которых составляет весь промежуток: |
|||
|
|
… |
|
. |
|
Пусть |
, |
|
длины частичных промежутков. |
|
|
Число |
|
- максимальная из длин частичных промежутков, |
|||
называется рангом разбиения (дробления). Ранг разбиения зависит от числа |
и от |
||||
самого способа разбиения. |
|
|
|
|
|
Замечание.
Разбиение промежутка можно производить разнообразными способами, например:
|
если |
|
|
|
, |
- то имеем равномерное разбиение, здесь |
||||||||
|
|
|
||||||||||||
|
|
|
|
, |
|
; |
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
||||||
|
если |
|
|
- середина промежутка |
, а |
произвольное |
||||||||
|
|
|
||||||||||||
разбиение |
|
|
, то это разбиение не является равномерным, здесь |
|
|
|||||||||
|
|
|||||||||||||
и |
при |
. |
|
|
|
|
|
|
|
|
||||
|
Далее в каждом частичном промежутке |
|
выбираем произвольную точку |
|||||||||||
|
, |
|
; |
набор точек |
будем называть набором |
|||||||||
промежуточных точек. |
|
|
|
|
|
|||||||||
|
Вычисляем значения функции |
в промежуточных точках и составляем |
||||||||||||
суммы: |
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
123 |
|
|
|
. |
|
|
Суммы |
называются интегральными суммами (или суммами Римана). |
||||
Заметим, что интегральные суммы |
зависят не только от числа |
, но и от способа |
|||
разбиения |
и от выбора промежуточных точек |
. |
|
||
Далее введем понятие предела |
|
|
|
|
|
Определение. |
|
|
|
|
|
Число |
называется пределом интегральных сумм |
, если для |
|
||
такое, что для любого разбиения промежутка |
с рангом разбиения |
и при |
|||
любом выборе промежуточных точек |
|
выполняется неравенство |
. |
||
Таким образом, запись: |
|
означает, что при |
этот предел |
||
существует, и он не зависит ни от способа разбиения, ни от выбора промежуточных точек.
Замечание. |
|
|
|
|
|
|
|
|
|
|
|
Условие: |
|
- нельзя заменить более понятным условием: |
, так как оно |
||||||||
не гарантирует, что |
(см. Замечание выше). Другими словами, условие: |
|
|||||||||
является лишь необходимым, но не достаточным условием для того, чтобы |
. |
||||||||||
Для введенного здесь нового типа предела остаются верными все их свойства, |
|||||||||||
рассмотренные в разделе «Введение в математический анализ» (см. |
главы |
и ). |
|||||||||
Определение. |
|
|
|
|
|
|
|
|
|
|
|
Конечный предел интегральных сумм при |
|
называется определенным |
|||||||||
интегралом от функции |
|
по промежутку |
. |
Обозначение: |
|
|
|||||
|
|
|
|
|
|
, где |
|
|
|
|
|
нижний и верхний пределы интегрирования, |
знак интеграла, |
|
|||||||||
переменная интегрирования, |
подынтегральная функция, |
|
|||||||||
|
подынтегральное выражение. |
|
|
|
|
|
|||||
Таким образом, |
|
|
|
или: |
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
||||||||
Функция |
|
, для которой существует определенный интеграл, называется |
|||||||||
интегрируемой на промежутке |
. |
|
|
|
|
|
|
||||
Обозначение: |
|
|
|
, т.е. |
принадлежит классу |
на промежутке |
. |
||||
Теперь можно дать решения задач 1 |
3, разобранных в начале параграфа, |
||||||||||
следующими формулами: |
|
|
|
|
|
|
|
|
|
||
1) |
|
|
путь, пройденный материальной точкой с заданной скоростью |
||||||||
|
за промежуток времени от |
до |
; |
|
|
|
|
||||
2) |
|
|
масса неоднородного стержня с линейной плотностью |
||||||||
распределения массы |
; |
|
|
|
|
|
|
|
|||
|
|
|
124 |
|
3) |
|
площадь криволинейной трапеции, ограниченной графиком |
||
функции |
. |
|
|
|
В последней формуле заключен геометрический смысл определенного интеграла, |
||||
а в первых двух формулах |
его физический смысл. |
|
|
|
Пример 1. |
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
Пример 2.
|
. |
|
|
|
|
|
|
|
|
|
|
Таким образом, имеем: |
|
|
. |
|
|
Пример 3. |
|
|
|
|
|
|
|
|
|
|
|
, где |
функция Дирихле: |
|
|||
|
если |
рациональное число |
|
||
|
если |
иррациональное число . |
|
||
Для произвольного разбиения |
промежутка |
в качестве |
|||
промежуточных точек |
выберем в одном случае только рациональные точки, а в |
||||
другом случае только иррациональные точки. |
|
||||
Тогда в одном случае имеем: |
|
|
, |
||
а в другом случае: |
|
|
. |
|
|
Значит, |
не существует, так как он не должен зависеть от выбора |
||||
промежуточных точек.
Следовательно, функция Дирихле не интегрируема ни на каком промежутке.
§ 2. Условия интегрируемости функции.
Необходимое условие интегрируемости. |
|
|
|
|
||
Теорема 1. |
|
|
|
|
|
|
Если функция |
интегрируема на промежутке |
, то она ограничена на |
. |
|||
Доказательство. |
|
|
|
|
|
|
Если функция |
была бы не ограничена на |
|
, то |
при любом разбиении |
|
|
промежутка на части |
она сохранила бы это свойство, хотя бы в одном из частичных |
|
||||
промежутков. |
|
|
|
|
|
|
Тогда за счет выбора в этой части промежуточной точки |
можно было бы сделать |
|||||
значение |
, а вместе с ним и значение интегральной суммы |
, сколь угодно |
|
|||
большим. Но в этом случае конечного предела для |
существовать не могло бы. |
|
||||
125
Итак, если функция интегрируема, то она и ограничена. Теорема доказана.
Обратное утверждение не имеет места. Например, функция Дирихле ограничена, но не интегрируема ни на каком промежутке.
Следствие. |
|
|
|
|
|
|
Если функция |
не ограничена на |
, то она и не интегрируема на |
. |
|||
|
|
|
, где |
любое число, - не интегрируема |
||
Например, функция |
||||||
на промежутке , т.к. она не ограничена на этом промежутке.
В дальнейшем изложении функция |
|
предполагается ограниченной: |
|
||
|
|
|
. |
|
|
Для получения признаков интегрируемости функции введем новые понятия. |
|
||||
Для произвольного разбиения |
промежутка |
введем обозначения: |
|||
|
, |
|
|
, |
. |
Очевидно, что |
|
|
, |
. |
|
Определение. |
|
|
|
|
|
Сумма |
называется нижней интегральной суммой (нижней |
||||
суммой Дарбу); |
|
|
|
|
|
Сумма |
называется верхней интегральной суммой (верхней |
||||
суммой Дарбу). |
|
|
|
|
|
Очевидно, что интегральная сумма Римана находится между значениями интегральных сумм Дарбу:
для любого разбиения промежутка |
и любого выбора промежуточных точек |
. |
||||
Теорема 2 (основной признак интегрируемости). |
|
|
|
|
||
Для того чтобы ограниченная функция |
была интегрируема на |
, |
|
|||
необходимо и достаточно, чтобы |
|
|
: |
|
|
|
|
|
|
|
. |
|
|
Доказательство этой теоремы можно найти в |
. |
|
|
|||
Пусть |
- колебание функции |
|
в промежутке |
. Тогда |
|
|
|
|
|
|
|
. |
|
Теперь основной признак интегрируемости можно сформулировать следующим |
||||||
образом. |
|
|
|
|
|
|
Для того чтобы ограниченная функция |
была интегрируема на |
, |
|
|||
необходимо и достаточно, чтобы для |
|
|
такое, что для любого разбиения |
|||
промежутка |
с рангом разбиения |
выполнялось неравенство |
|
. |
||