| ЛЕКЦИЯ 7 | К СОДЕРЖАНИЮ |
- Задача о площади криволинейной трапеции.
- Вычисление объёма конуса.
- Понятие интегральной суммы.
- Геометрический смысл интегральной суммы.
- Определение определённого интеграла.
- Формула Ньютона – Лейбница.
- Необходимое условие интегрируемости.
- Суммы Дарбу.
- Необходимое и достаточное условие интегрируемости.
- Интегрируемость непрерывных функций.
- Свойства определённых интегралов.
- Сохранение знака неравенства при интегрировании.
- Теорема о среднем.
- Непрерывность определённого интеграла как функция верхнего предела.
- Производная от интеграла с переменным верхним пределом.
- Замена переменной в определённом интеграле.
- Примеры.
- Примеры применения пакета MAPLE
- Вопросы для самопроверки.
Задача о площади криволинейной трапеции
Разобьём отрезок [0, х] на n одинаковых отрезков длиной
:
.

,
,

.
.23 - 13 = 3·12 + 3·1 + 1,
33 - 23 = 3·22 + 3·2 + 1,
(n + 1) - n3 = 3·n2 + 3·n + 1
,
,
.
Вычисление объёма конуса
Решение. Разделим высоту конуса на n равных частей и через точки деления проведём плоскости, параллельные основанию. В результате конус разделится на слои. при большом n эти слои будут достаточно тонкими, и можно считать, что k - й слой имеет форму цилиндра с высотой
и радиусом основания
, k = 1, 2,
, n, который легко найти из подобия треугольников SO1B и SOA (смотрите рисунок)
Из подобия треугольников SOA и SO1B найдём найдём отношения радиуса k - го цилиндра и радиуса основания



ступенчатого тела, вписанного в конус:

, следовательно, эта последовательность имеет предел. Примем этот предел за объём конуса. Тогда

Понятие интегральной суммы
При решении вышеприведённых задач наметился общий подход к решению этих задач. Введем в рассмотрение ломаную линию, которая расположена достаточно близко к кривой у = f (x) на [a, b] (см. рисунок 1). Фигура под ломаной состоит из прямоугольников, и ее площадь Sn, равная сумме площадей этих прямоугольников, может быть вычислена с использованием известных формул планиметрии. Поскольку ломаная выбрана достаточно близко к кривой y = f(x), то справедливо приближенное равенство S ≈ Sn. Это равенство оказывается тем более точным, чем ближе ломаная к исходной кривой. Поэтому в качестве искомой площади S можно взять предел площади ступенчатой фигуры Sn в предположении неограниченного приближения ломаной к заданной кривой.
Пусть на отрезке [а, b] заданна функция у = f(x). Разобьем отрезок [а, b] на n элементарных отрезков точками x0, x1, , xn:a = x0 < x1 < x2 < < xn = b. На каждом отрезке [xi - 1, xi] разбиения выберем некоторую точку ξ i и положим Δ xi = xi - xi - 1, где i = 1, 2, , n. Сумму вида

Геометрический смысл интегральной суммы
Обозначим через λ длину наибольшего частичного отрезка разбиения
.
Определение определённого интеграла
,
.
,

Пример. Используя определение, вычислить интеграл
, где С – некоторое число.Решение. Разобьем отрезок [a, b] на n произвольных частей точками a = x0 < x1 < x2 < < x i - 1 < xi < < xn = b и составим соответствующую интегральную сумму. Так как подынтегральная функция f (x) = C постоянна, то для любого выбора промежуточных точек ξ i получим интегральную сумму вида:
.
.
.Формула Ньютона–Лейбница

,
.

.
.
,- 1) постараться отыскать конечным образом какую-нибудь первообразную F(х) для функции f (x);
- 2) найдя первообразную F(х), составить разность F(b) - F(a) её значений на концах основного отрезка [a, b]. Эта разность и есть искомый предел.
.Необходимое условие интегрируемости функции
Доказательство. Предположим обратное. Допустим, что f (x) является неограниченной на отрезке [a, b]. Покажем, что в этом случае интегральную сумму можно сделать сколь угодно большой за счет выбора точек ξ 1, ξ 2, , ξ n при любом разбиении отрезка [a, b].
Действительно, так как f (x) не ограничена на [a, b], то при любом разбиении отрезка [a, b] она обладает этим свойством хотя бы на одном частичном отрезке разбиения, например на [x0, x1]. Выберем на остальных частях отрезка точки ξ 2, ξ 3, , ξ n произвольно и обозначим

.
и
,Замечание. Обратная теорема неверна, т.е. условие ограниченности функции f (x) необходимое, но не является достаточным условием интегрируемости функции. Поясним это утверждение примером. Рассмотрим функцию Дирихле на отрезке [0,1]:

,
.Для существования определенного интеграла от некоторой функции f (x) последняя, помимо ограниченности, должна обладать дополнительными свойствами, обеспечивающими ее интегрируемость. Для установления этих свойств необходимо ввести понятия нижних и верхних сумм.
Суммы Дарбу
,
.
,Следует особо отметить, что суммы Дарбу зависят только от разбиения отрезка [a, b], в то время как интегральная сумма σ зависит еще и от выбора точек ξ i на частичных отрезках [ x i - 1, xi ]. При фиксированном разбиении отрезка [a, b] суммы s и S – некоторые числа, а сумма σ – переменная величина, так как точки ξ i произвольны.
Необходимое и достаточное условие интегрируемости
.Это условие означает, что для любого как угодно малого ε > 0 существует δ = δ (ε) > 0 такое, что при λ < δ выполняется неравенство |S - s| < ε. Так как s ≤ S, то последнее неравенство равносильно неравенству S - s < ε.
Доказательство. (Необходимость) Пусть функция f (x) интегрируема на отрезке [a, b], т. е. существует определенный интеграл
. Это означает, что для любого как угодно малого ε > 0 существует δ = δ (ε) > 0 такое, что для любого разбиения τ, удовлетворяющего условию λ < δ, независимо от выбора точек ξ i выполняется неравенство
.
.Достаточность. Пусть выполнено условие S - s < ε. Предположим, что интеграл зависит от способа разбиения и существует два его значения I* и I*. Согласно свойству s ≤ I* ≤ I* ≤ S для любых нижних и верхних сумм Дарбу, поэтому 0 ≤ I* - I* ≤ S - s, откуда следует, что 0 ≤ I* - I* < ε для любого ε > 0. Значит, I* - I*= 0, т. е. I* = I*. Полагая I = I* = I*, получаем, что для любого разбиения выполняются неравенства s ≤ I ≤ S. Если же интегральная сумма σ и суммы Дарбу s и S отвечают одному и тому же разбиению τ то, как известно, s ≤ σ ≤ S. Из вышесказанного следует, что | σ - I | ≤ S - s. По условию для любого ε > 0 существует δ > 0 такое, что при λ < δ выполняется неравенство S - s < ε. Но тогда имеем, что | σ - I | < ε при λ < δ, а это означает, что число I является пределом интегральной суммы σ при λ → 0, т. е. функция f (x) интегрируема на отрезке [a, b]. В дальнейшем понадобится другая форма записи необходимого и достаточного условия интегрируемости. Обозначая колебанием M i - mi функции f (x) на отрезке [xi - 1, xi] через ω i, имеем
.
при λ < δ.
Интегрируемость непрерывных функций
Доказательство. Так как функция f (x) непрерывна на отрезке [a, b], то по теореме Кантора она равномерно непрерывна на нем. Выберем произвольное как угодно малое ε > 0. Согласно следствию из теоремы Кантора для положительного числа ε /(b - a) найдется δ > 0 такое, что при разбиении отрезка [a, b] на частичные отрезки [x i - 1, xi], длина которых Δ xi < δ, все колебания ωi меньше ε /(b - a). Отсюда
при λ < δ.Свойства определённых интегралов
- Определённый интеграл численно равен площади криволинейной трапеции, ограниченной графиком функции у = f (x), осью абсцисс, и прямыми х = а, х = b.
Ниже приведена программа для построения криволинейной трапеции в пакете MAPLE.
>restart:with(plots):a_plot:=proc(f,a,b,am,bm)local i,n,x1,x2,y1,y2,A,d:n:=200:d:=(b-a)/n:x2:=a:for i from 1 to n do x1:=evalf(x2):y1:=evalf(f(x1)):x2:=evalf(a+i*d):y2:=evalf(f(x2)):if(y1>0)then A[i]:=polygonplot([[x1,0],[x1,y1],[x2,y2],[x2,0]], color=green,style=patchnogrid):else A[i]:=polygonplot([[x1,0],[x1,y1],[x2,y2],[x2,0]],color=red, style=patchnogrid):fi:od:display([plot(f(x),x=am..bm,color=blue,thickness=2,discont=true),seq(A[i],i=1..n)]);end:
>f:=x->sin(x)/x:a_plot(f,-2,5,-10,10);
(Смотри рисунок) - Если нижний и верхний пределы интегрирования поменять местами, то значение определённого интеграла изменится на
противоположное
Доказательство.
.
. - Если промежуток интегрирования стянут в точку, фигура под кривой стягивается в отрезок, площадь которого равна нулю
. - Постоянный множитель можно выносить за знак интеграла
где С — некоторое число.
,
Доказательство.
- Интеграл от алгебраической суммы двух функций равен такой же сумме интегралов от этих функций:
Это свойство остается справедливым для любого конечного числа слагаемых.
,
Доказательство.
- Если промежуток интегрирования разбит на части, то интеграл по всему отрезку равен сумме интегралов по каждой части.
Доказательство. Пусть а < с < b и функция f (x) неотрицательна на [a, b]. Согласно геометрическому свойству определенного интеграла
.
,
есть площади соответствующих криволинейных трапеций. Тогда при сделанных предположениях имеем равенство между площадями S = S 1 + S 2.
(Смотри рисунок) - Если на отрезке [a, b], где а < b, имеет место неравенство 0 ≤ f (x) ≤ g (x), то
Обе части неравенства можно проинтегрировать, при этом смысл неравенства остаётся прежним.
.
Доказательство. Пусть фиксированы разбиение отрезка [a, b] и выбор точек x 1, x 2, , x n на каждом из отрезков разбиения. Тогда из неравенства f (x) ≤ g (x) вытекает аналогичное неравенство для интегральных сумм: Переходя к пределу при max Δ xi → 0, получим рассматриваемое неравенство для интегралов.
.
Следствие. Пусть на отрезке [a, b] где а < b, имеют место неравенства m ≤ f (x) ≤ M, где m и М — некоторые числа. Тогда
- Теорема о среднем. Если функция y = f (x) непрерывна на отрезке [a, b], где а < b, то найдется такое значение c Î [a, b], что
По свойству функции, непрерывной на отрезке, для произвольного значения х Î [a, b] вверны неравенства m ≤ f(x) ≤ M, где m и М — наименьшее и наибольшее значения функции на [a, b]. Тогда,
. Функция, непрерывная на отрезке, принимает любое значение, заключенное между ее наименьшим и наибольшим значениями. Поэтому, в частности, найдется такое число с Î [a, b], что
что и требовалось доказать.
,
Геометрический смысл теоремы о среднем. Пусть f (x) ≥ 0 на [a, b]. По теореме о среднем найдется такая точка, из отрезка [a, b], что площадь под кривой y = f(x) на отрезке [a, b] равна площади прямоугольника со сторонами f (с) и (b - а).
(Смотри рисунок)
Непрерывность определенного интеграла как функции верхнего предела
,Теорема. Если функция f (x) непрерывна на отрезке [a, b] то функция Ф (х) также непрерывна на [а, b].
Пусть Δх таково, что х + Δ х Î [a, b]. Имеем
.
.
.Производная от интеграла с переменным верхним пределом
.
,
Следствие. Если функция y = f (х) непрерывна на отрезке [a, b], то для этой функции существует первообразная на отрезке [а, b] .
Действительно, примером первообразной для f (x) является функция Ф (х).
Замена переменной в определённом интеграле
.Ф(β) - Ф(α) = F(φ (β)) + C - (F(φ (α)) + C) = F(b) - F(a).
Использование замены переменной позволяет упростить интеграл, приблизив его к «табличному». При этом в отличие от неопределенного интеграла, в данном случае нет необходимости возвращаться к исходной переменной интегрирования. Достаточно лишь найти пределы интегрирования α и β по новой переменной t как решение относительно переменной t из уравнений φ (t) = a и φ (t) = b.Примеры
.Решение.

Пример 2.Вычислить

Р е ш е н и е. Сделаем подстановку x = sin t, 0 ≤ t ≤ π / 2.

Пример 3.Вычислить

Решение. Непосредственным вычислением получим
. С другой стороны,


Примеры применения пакета MAPLE
> f:=(x)->x^2;fig(f,1,5,20); - построение вышеуказанной процедуры для заданной функции.
> display([seq(fig(f,1,5,i),i=10..80)], insequence =true,axes=BOXED); - анимация приближения площади ступенчатой фигуры к площади криволинейной трапеции при стремлении к нулю максимального отрезка разбиения.
Вопросы для самопроверки
- Что называется разбиением отрезка [a, b] ?
- Что называется интегральной суммой функции f (х) на отрезке [a, b] и в чем состоит ее геометрический смысл?
- Дайте определение определенного интеграла как предела интегральной суммы. Почему вместо l → 0 нельзя писать n → ∞?
- Сформулируйте основные свойства определенного интеграла. Докажите аддитивное свойство определённого интеграла по промежутку интегрирования для расположения точек b < с < а.
- Пусть
. Следует ли отсюда, что f (x) ≥ 0 на [a, b]?
- Сформулируйте теорему о среднем.
- Почему в формуле среднего значения функции точку с нельзя считать произвольной?
- Приведите пример, когда формула среднего значения функции справедлива для любой точки с Î [a, b]?
- Сформулируйте необходимое условие интегрируемости функции.
- Всякая ли ограниченная функция интегрируема? Ответ обоснуйте примером.
- Сформулируйте достаточное условие интегрируемости функции.
- Приведите пример неинтегрируемой функции.
- Какая функция называется интегралом с переменным верхним пределом? В чем состоит ее геометрический смысл?
- Чему равна производная от интеграла по его верхнему пределу? Докажите теорему о производной от интеграла по его верхнему пределу интегрирования.
- Докажите формулу Ньютона-Лейбница.
- Почему формулу Ньютона-Лейбница считают основной формулой интегрального исчисления?
- При каких условиях справедлива замена переменной в определенном интеграле?
- Почему при замене переменной в определенном интеграле можно не возвращаться к старой переменной?
- Доказать, что
Применить полученный результат к вычислению интегралов
.
и
.
- Доказать, что
Применить полученный pезультат к вычислению интеграла
.
.