Какими свойствами обладает определенный интеграл

Данная статья подробно рассказывает об основных свойствах определенного интеграла. Они доказываются при помощи понятия интеграла Римана и Дарбу. Вычисление определенного интеграла проходит, благодаря 5 свойствам. Оставшиеся из них применяются для оценивания различных выражений.

Перед переходом к основным свойствам определенного интеграла, необходимо удостовериться в том, что a не превосходит b.

Основные свойства определенного интеграла

Определение 1

Функция y = f(x), определенная при х=а, аналогично справедливому равенству ∫aaf(x)dx=0.

Доказательство 1

Отсюда видим, что значением интеграла с совпадающими пределами равняется нулю. Это следствие интеграла Римана, потому как каждая интегральная сумма σ для любого разбиения на промежутке [a; a] и любого выбора точек ζi равняется нулю, потому как xi-xi-1=0, i=1, 2,…, n, значит, получаем, что предел интегральных функций – ноль.

Определение 2

Для функции, интегрируемой на отрезке [a; b], выполняется условие ∫abf(x)dx=-∫baf(x)dx.

Доказательство 2

Иначе говоря, если сменить верхний и нижний предел интегрирования местами, то значение интеграла поменяет значение на противоположное. Данное свойство взято из интеграла Римана. Однако, нумерация разбиения отрезка идет с точки х=b.

Определение 3

∫abfx±g(x)dx=∫abf(x)dx±∫abg(x)dxприменяется для интегрируемых функций типа y= f(x) и y=g(x), определенных на отрезке [a;b].

Доказательство 3

Записать интегральную сумму функции y=f(x)±g(x) для разбиения на отрезки с данным выбором точек ζi: σ=∑i=1nfζi±gζi·xi-xi-1==∑i=1nf(ζi)·xi-xi-1±∑i=1ngζi·xi-xi-1=σf±σg

где σf и σg являются интегральными суммами функций y = f(x) и y = g(x) для разбиения отрезка. После перехода к пределу при λ=maxi=1, 2,…, n(xi-xi-1)→0 получаем, что limλ→0σ=limλ→0σf±σg=limλ→0σg±limλ→0σg.

Из определения Римана это выражение является равносильным.

Определение 4

Вынесение постоянного множителя за знак определенного интеграла. Интегрируемая функция из интервала [a; b] с произвольным значением k имеет справедливое неравенство вида ∫abk·f(x)dx=k·∫abf(x)dx.

Доказательство 4

Доказательство свойства определенного интеграла аналогично предыдущему:

σ=∑i=1nk·fζi·(xi-xi-1)==k·∑i=1nfζi·(xi-xi-1)=k·σf⇒limλ→0σ=limλ→0(k·σf)=k·limλ→0σf⇒∫abk·f(x)dx=k·∫abf(x)dx

Определение 5

Если функция вида y=f(x) интегрируема на интервале x с a∈x, b∈x, получаем, что ∫abf(x)dx=∫acf(x)dx+∫cbf(x)dx.

Доказательство 5

Свойство считается справедливым для c∈a; b, для c≤a и c≥b. Доказательство проводится аналогично предыдущим свойствам.

Определение 6

Когда функция имеет возможность быть интегрируемой из отрезка [a; b], тогда это выполнимо для любого внутреннего отрезка c; d∈a; b.

Доказательство 6

Доказательство основывается на свойстве Дарбу: если у имеющегося разбиения отрезка произвести добавление точек, тогда нижняя сумма Дарбу не будет уменьшаться, а верхняя не будет увеличиваться.

Определение 7

Когда функция интегрируема на [a; b] из f(x)≥0 f(x)≤0 при любом значении x∈a; b, тогда получаем, что ∫abf(x)dx≥0 ∫abf(x)≤0.

Свойство может быть доказано при помощи определения интеграла Римана: любая интегральная сумма для любого выбора точек разбиения отрезка и точек ζi с условием, что f(x)≥0 f(x)≤0, получаем неотрицательной.

Доказательство 7

Если функции y = f(x) и y = g(x) интегрируемы на отрезке [a; b] , тогда следующие неравенства считаются справедливыми:

∫abf(x)dx≤∫abg(x)dx, если f(x)≤g(x) ∀x∈a;b∫abf(x)dx≥∫abg(x)dx, если f(x)≥g(x) ∀x∈a;b

Благодаря утверждению знаем, что интегрирование допустимо. Данное следствие будет использовано в доказательстве других свойств.

Определение 8

При интегрируемой функции y=f(x) из отрезка [a; b] имеем справедливое неравенство вида ∫abf(x)dx≤∫abf(x)dx.

Доказательство 8

Имеем, что -f(x)≤f(x)≤f(x). Из предыдущего свойства получили, что неравенство может быть интегрировано почленно и ему соответствует неравенство вида -∫abf(x)dx≤∫abf(x)dx≤∫abf(x)dx. Данное двойное неравенство может быть записано в другой форме: ∫abf(x)dx≤∫abf(x)dx.

Определение 9

Когда функции y = f(x) и y = g(x) интегрируются из отрезка [a; b] при g(x)≥0 при любом x∈a; b, получаем неравенство вида m·∫abg(x)dx≤∫abf(x)·g(x)dx≤M·∫abg(x)dx, где m=minx∈a; bf(x) и M=maxx∈a; bf(x).

Доказательство 9

Аналогичным образом производится доказательство. M и m считаются наибольшим и наименьшим значением функции y = f(x), определенной из отрезка [a; b], тогда m≤f(x)≤M. Необходимо умножить двойное неравенство на функцию y = g(x), что даст значение двойного неравенства вида m·g(x)≤f(x)·g(x)≤M·g(x). Необходимо проинтегрировать его на отрезке [a; b], тогда получим доказываемое утверждение.

Следствие: При g(x)=1 неравенство принимает вид m·b-a≤∫abf(x)dx≤M·(b-a).

Первая формула среднего значения

Определение 10

При y = f(x) интегрируемая на отрезке [a; b] с m=minx∈a;bf(x) и M=maxx∈a; bf(x) имеется число μ∈m; M, которое подходит ∫abf(x)dx=μ·b-a.

Следствие: Когда функция y = f(x) непрерывная из отрезка [a; b], то имеется такое число c∈a; b, которое удовлетворяет равенству ∫abf(x)dx=f(c)·b-a.

Первая формула среднего значения в обобщенной форме

Определение 11

Когда функции y = f(x) и y = g(x) являются интегрируемыми из отрезка [a; b] с m=minx∈a; bf(x) и M=maxx∈a; bf(x), а g(x)>0 при любом значении x∈a; b. Отсюда имеем, что есть число μ∈m; M, которое удовлетворяет равенству ∫abf(x)·g(x)dx=μ·∫abg(x)dx.

Вторая формула среднего значения

Определение 12

Когда функция y=f(x) является интегрируемой из отрезка [a; b], а y=g(x) является монотонной, тогда имеется число, которое c∈a; b, где получаем справедливое равенство вида ∫abf(x)·g(x)dx=g(a)·∫acf(x)dx+g(b)·∫cbf(x)dx

Источник

1. Понятие определенного интеграла

Пусть функция y = f(x) определена на отрезке [a, b], a < b. Выполним следующие операции:

1) разобьем [a, b] точками a = x0 < x1 < … < xi–1 < xi < … < xn = b на n частичных отрезков [x0, x1], [x1, x2], …, [xi–1, xi ], …, [xn–1, xn ];

2) в каждом из частичных отрезков [xi–1, xi ], i = 1, 2, … n, выберем произвольную точку и вычислим значение функции в этой точке: f(zi);

3) найдем произведения f(zi) · Δxi, где – длина частичного отрезка [xi–1, xi ], i = 1, 2, … n;

4) составиминтегральную суммуфункции y = f(x) на отрезке [a, b]:

С геометрической точки зрения эта сумма σ представляет собой сумму площадей прямоугольников, основания которых – частичные отрезки [x0, x1], [x1, x2], …, [xi–1, xi ], …, [xn–1, xn ], а высоты равны f(z1), f(z2), …, f(zn) соответственно (рис. 1). Обозначим через λ длину наибольшего частичного отрезка:

5) найдем предел интегральной суммы, когда λ → 0.

Рис. 1

Определение. Если существует конечный предел интегральной суммы (1) и он не зависит ни от способа разбиения отрезка [a, b] на частичные отрезки, ни от выбора точек zi в них, то этот предел называется определенным интегралом от функции y = f(x) на отрезке [a, b] и обозначается

Таким образом,

В этом случае функция f(x) называется интегрируемой на [a, b]. Числа a и b называются соответственно нижним и верхним пределами интегрирования, f(x) – подынтегральной функцией, f(x)dx – подынтегральным выражением, x – переменной интегрирования; отрезок [a, b] называется промежутком интегрирования.

Теорема 1. Если функция y = f(x) непрерывна на отрезке [a, b], то она интегрируема на этом отрезке.

Определенный интеграл с одинаковыми пределами интегрирования равен нулю:

Если a > b, то, по определению, полагаем

2. Геометрический смысл определенного интеграла

Пусть на отрезке [a, b] задана непрерывная неотрицательная функция y = f(x). Криволинейной трапециейназывается фигура, ограниченная сверху графиком функции y = f(x), снизу – осью Ох, слева и справа – прямыми x = a и x = b (рис. 2).

Определенный интеграл от неотрицательной функции y = f(x) с геометрической точки зрения равен площади криволинейной трапеции, ограниченной сверху графиком функции y = f(x), слева и справа – отрезками прямых x = a и x = b, снизу – отрезком оси Ох.

3. Основные свойства определенного интеграла

1. Значение определенного интеграла не зависит от обозначения переменной интегрирования:

2. Постоянный множитель можно выносить за знак определенного интеграла:

3. Определенный интеграл от алгебраической суммы двух функций равен алгебраической сумме определенных интегралов от этих функций:

4. Если функция y = f(x) интегрируема на [a, b] и a < b < c, то

5. (теорема о среднем). Если функция y = f(x) непрерывна на отрезке [a, b], то на этом отрезке существует точка , такая, что

4. Формула Ньютона–Лейбница

Теорема 2. Если функция y = f(x) непрерывна на отрезке [a, b] и F(x) – какая-либо ее первообразная на этом отрезке, то справедлива следующая формула:

которая называется формулой Ньютона–Лейбница. Разность F(b) – F(a) принято записывать следующим образом:

где символ называется знаком двойной подстановки.

Таким образом, формулу (2) можно записать в виде:

Пример 1. Вычислить интеграл

Решение. Для подынтегральной функции f(x) = x2 произвольная первообразная имеет вид

Так как в формуле Ньютона-Лейбница можно использовать любую первообразную, то для вычисления интеграла возьмем первообразную, имеющую наиболее простой вид:

Тогда

5. Замена переменной в определенном интеграле

Теорема 3. Пусть функция y = f(x) непрерывна на отрезке [a, b]. Если:

1) функция x = φ(t) и ее производная φ'(t) непрерывны при ;

2) множеством значений функции x = φ(t) при является отрезок [a, b];

3) φ(a) = a, φ(b) = b, то справедлива формула

которая называется формулой замены переменной в определенном интеграле.

В отличие от неопределенного интеграла, в данном случае нет необходимости возвращаться к исходной переменной интегрирования – достаточно лишь найти новые пределы интегрирования α и β (для этого надо решить относительно переменной t уравнения φ(t) = a и φ(t) = b).

Вместо подстановки x = φ(t) можно использовать подстановку t = g(x). В этом случае нахождение новых пределов интегрирования по переменной t упрощается: α = g(a), β = g(b).

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

Решение. Введем новую переменную по формуле . Возведя в квадрат обе части равенства , получим 1 + x = t2, откуда x = t2 – 1, dx = (t2 – 1)’dt = 2tdt. Находим новые пределы интегрирования. Для этого в формулу подставим старые пределы x = 3 и x = 8. Получим: , откуда t = 2 и α = 2; , откуда t = 3 и β = 3. Итак,

6. Интегрирование по частям

Теорема 4. Пусть функции u = u(x) и v = v(x) имеют непрерывные производные на отрезке [a, b]. Тогда имеет место следующая формула интегрирования по частям:

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

Решение. Пусть u = ln x, тогда , v = x. По формуле (4)

Источник

Мы начинаем новую тему — интегрирование. Задача интегрирования формулируется как
задача отыскания площади — казалось бы, ничего общего с теми вещами, которые мы
обсуждали до сих пор — производными, скоростями роста и т.д. Однако, очень
быстро обнаружится, что связь есть, причём самая непосредственная.

24.1Интеграл Римана

24.1.1Интеграл и площадь

Рассмотрим некоторую функцию f, определенную на отрезке [a,b]. Пусть во
всех точках отрезка значение функции неотрицательно. Мы хотим найти площадь
фигуры, ограниченной графиком y=f(x), горизонтальной осью и вертикальными
прямыми x=a и x=b. Как это сделать?

Чтобы начать отвечать на этот вопрос, нужно подумать о том, что вообще такое
«площадь». Мы знаем, что площадь прямоугольника — это произведение его длины и
ширины. Мы также знаем (считаем это аксиомой или частью определения), что если у
нас есть две фигуры, и мы складываем из них третью «без нахлёста», то площадь
новой фигуры равна сумме площадей исходных фигур. И ещё, что если у нас
есть две равные фигуры (то есть такие, которые можно положить друг на друга
так, чтобы они совпали), то их площади равны. Из этих трёх правил можно вывести много
других. Например, прямоугольник разбивается своей диагональю на два равных
прямоугольных треугольника, и значит площадь каждого из них вдвое меньше площади
прямоугольника, и равна половине произведения катетов. Произвольные треугольник разбивается
высотой на два прямоугольных, откуда легко вывести, что его площадь равна
половине произведения высоты на основания. Более сложные многоугольники можно
разбивать на треугольники и находить их площади таким образом. Так мы определяем
площади довольно широкого класса фигур — но далеко не всех. Что делать, если мы
имеем дело не с многоугольником, а фигурой, ограниченной какой-то «кривой»
линией, не состоящей из прямолинейных отрезков? Такую фигуру нельзя разбить на
прямоугольники или треугольники. Однако, её можно приблизить более
простыми фигурами с известными площадами, добиться того, чтобы эти приближения
становились всё лучше и лучше, и перейти к пределу. Именно таким образом
определяется интеграл Римана.

24.1.2Разбиения и интегральные суммы

Наша идея следующая. Давайте разобьем фигуру, площадь которой мы хотим найти, на
тонкие вертикальные полоски. Они выглядят почти как прямоугольники, только
верхняя сторона не совсем прямая. Их можно приблизить прямоугольниками, найти их
площадь и сложить. Получится приближение к искомой площади. Затем количество
прямоугольников можно увеличивать и делать их всё более тонкими. Куда при этом
устремится их совокупная площадь — то и будет (по определению) площадью нашей
фигуры.

Чтобы это сформулировать аккуратно, придётся ввести несколько новых понятий.

Определение 1. Набор точек (x0,x1,…,xn) называется разбиением
отрезка [a,b], если

a=x0<x1<…<xn−1<xn=b,

то есть все точки xk, k=0,…,n лежат на отрезке [a,b],
следующая точка правее предыдущей, нулевая совпадает с левым концом, а
последняя — с правым.

Для данного разбиения P=(x0,…,xn) введём также обозначения:

Ik=[xk−1,xk],δXk=xk−xk−1,k=1,…,n,

то есть Ik — это k-й отрезок разбиения, Δxk — его длина.

Определение 2. Диаметром разбиения P называется максимум длин
отрезков этого разбиения:

d(P)=max{Δxk∣k=1,…,n}.

Определение 3. Выберем теперь в каждом из отрезков Ik по точке x∗k произвольным образом
(она может совпадать с правым или левым концом отрезка, тут нет запретов). Тогда
разбиение P вместе с набором точек (x∗1,…,x∗n) называется
размеченным разбиением отрезка [a,b].

Определение 4. Для данной функции f и данного размеченного разбиения P определим
интегральную сумму:

S(P,f):=f(x∗1)Δx1+…+f(x∗n)Δxn=n∑k=1f(x∗k)Δxk.(24.1)

Интегральная сумма имеет следующую интерпретацию. Над каждым из отрезков Ik
построим прямоугольник, у которого ширина совпадает с этим отрезком, а высота
равна значению f(x∗k). Интегральная сумма — это сумма площадей таких
прямоугольников. Если порезать интересующую нас фигуру на вертикальные полоски
прямыми x=xk, то площади этих полосок будут близки к площадям
соответствующухи прямоугольников, и можно ожидать, что чем тоньше будут
полоски (то есть чем меньше диаметр разбиения), тем точнее будет приближение.

24.1.3Определенный интеграл как предел

Тут очень хочется записать какой-то предел при d(P)→0, однако проблема в
том, что S(P,f) не является функцией от диаметра разбиения d(P) — для
разных разбиений даже с одинаковым диаметром могут получаться разные значения
интегральных сумм. Поэтому использовать обычное определение предела нельзя. Но
ничто не помешает нам изготовить новое определение, специально для этого случая.
Оно будет очень похожим на обычное.

Определение 5. Число I∈R называется интегралом Римана от функции f по отрезку [a,b], если для всякого ε>0 найдётся такое δ>0 что для всех
размеченных разбиений P верно утверджение: если d(P)<δ, то

|S(P,f)−I|<ε.

Можно записать, что

limd(P)→0S(P,f)=I,

понимая здесь под пределом ровно то, что сказано в
определении 5.

Обозначается интеграл таким образом:

I=:∫baf(x)dx.

Здесь ∫ — знак интеграла, a и b — пределы интегрирования (нижний и
верхний соответственно), f — подынтегральная функция. Кто такой dx,
объяснить сложнее, но если посмотреть на определение интегральной суммы (см.
(24.1)), видно, что там было f(x∗k)Δxk. При переходе к
пределу, сумма превращается в знак интеграла, f(x∗k) превращается просто в
f(x), а Δxk превращается в dx. В порядке шутки можно сказать, что
при переходе к пределу угловатая фигура, составленная из прямоугольников,
превращается в нашу нашу настоящую фигуру с плавной криволинейной границей, а
угловатые значки ∑ и Δ превращаются в плавные значки ∫ и d.
Почему полезно «таскать с собой» воспоминание про Δxk, станет ясно чуть
позже, когда мы обсудим формулы замены переменной в интеграле.

Пример 1. Пусть для всех x∈R, f(x)=2. Тогда

∫baf(x)dx=∫ba2dx=2(b−a),

поскольку искомая площадь — это площадь прямоугольника с шириной (b−a) и
высотой 2.

24.2Свойства определённого интеграла

24.2.1Интегрируемые и неинтегрируемые функции

Для начала нужно сказать, что, как и любой предел, интеграл может существовать,
а может и не существовать. Если интеграл существует, функция f называется
интегрируемой (по Риману) на отрезке [a,b]. Тот факт, что значение
интеграла определяется однозначно (то есть не бывает двух разных чисел I1 и
I2, удовлетворяющих определению 5), доказывается точно так
же, как доказывается аналогичное утверждение для пределов последовательностей
или функций — сделайте это самостоятельно.

Не все функции интегрируемы. Например, функция Дирихле

D(x)={1,x∈Q,0,x∉Q.

не является интегрируемой ни на каком отрезке [a,b]. Действительно, для
любого, сколь угодно мелкого разбиения, на любом отрезке разбиения найдутся как
рациональные, так и иррациональные точки. Выбирая x∗k иррациональными, можно
сделать интегральную сумму нулевой. А выбирая x∗k рациональными, можно
сделать интегральную сумму равной b−a>0. Значит, никакого одного предела, к
которому стремились бы интегральные суммы с уменьшением диаметра разбиения, не
существует.

Трудно описать множество всех интегрируемых функций, однако для наших целей
важно сказать, что функции из некоторых важных для нас классов таким свойством
обладают.

Теорема 1. Пусть функция f непрерывна на отрезке [a,b]. Тогда она интегрируема на
этом отрезке.

Я не буду доказывать эту теорему — это требует некоторых усилий, носящих скорее
технический характер. (Ключевые слова для тех, кому интересно: верхняя и нижняя
суммы Дарбу.) Скажу лишь пару слов про основной механизм. Как показывает пример
с функцией Дирихле, препятствием к интегрируемости оказывается ситуация, при
которой свобода в выборе x∗k∈Ik даёт нам возможность сильно менять
значение функции — и следовательно интегральной суммы. Если функция непрерывна,
её значения в близких точках близки, и значит меняя x∗k в пределах
маленького отрезка Ik, мы не поменяем значение функции слишком сильно, чтобы
это существенно повлияло на интегральную сумму.

Непрерывность является достаточным условием интегрируемости, но не является
необходимым — например, кусочно-непрерывные функции, чьи разрывы являются
скачками, тоже интегрируемы. Чуть позже мы обсудим это подробнее.

24.2.2Интеграл как площадь с учётом знака

Когда мы определяли интеграл, мы начинали с задачи нахождения площади под
графиком неотрицательной функции. Однако, определение, которое в результате
получилось, не содержит ограничений на знак функции: f(x) может принимать как
положительные, так и отрицательные значения. Если для какого-то из отрезков
разбиения Ik значение f(x∗k) отрицательное, соответствующее слагаемое в
интегральной сумме f(x∗k)Δxk также отрицательно, а его абсолютное
значение равно площади прямоугольника шириной Δxk и высотой
|f(x∗k)|; на картинке логично изображать такой прямоугольник растущим «вниз»
от горизонтальной оси. Таким образом, те участки, на которых подынтегральная
функция отрицательна, вносят отрицательный вклад в интеграл. Если отрезок [a,b] разбивается на несколько отрезков, на каждом из которых функция f
знакопостоянна, интеграл имеет следующую интерпретацию. Нужно посчитать площадь
между кривой и горизонтальной осью на тех участках, где функция положительна, и
вычесть из неё площадь между кривой и горазонтальной осью на участках, где
функция отрицательна. Таким образом, можно сказать, что интеграл — это площадь с
учётом знака.

24.2.3Линейность и интегрирование неравенств

Сформулируем несколько очень естественно выглядящих свойств интегралов.

Утверждение 1. Пусть функции f и g интегрируемы на отрезке [a,b]. Тогда функция
h(x)=f(x)+g(x) также интегрируема на отрезке [a,b] и сумма интегралов
равна интегралу суммы:

∫ba(f(x)+g(x))dx=∫baf(x)dx+∫bag(x)dx

Утверждение 2. Пусть функция f интегрируема на отрезке [a,b] и c —
некоторая константа. Тогда интеграл от функции h(x)=cf(x) определён и

∫bacf(x)dx=c∫baf(x)dx,

иными словами, константу можно выносить за знак интегрирования.

Эти свойства похожи на аналогичные свойства дифференцирования. В совокупности
они называются линейностью интеграла — а почему так, вы узнаете на курсе
линейной алгебры. Утверждение 2 имеет геометрическую
интерпретацию: если функция умножается на c, график вытягивается в c раз по
вертикали, поэтому площадь мод ним умножается на c. Геометрическая
интерпретация утверждения 1 несколько менее очевидна (см.
статью про метод
Кавальери).

Утверждение 3. Пусть функции f и g интегрируемы на отрезке [a,b] и пусть для всех x∈[a,b], f(x)≤g(x). Тогда

∫baf(x)dx≤∫bag(x)dx.

А у этого утверждения есть простая геометрическая интерпретация: если f и g
неотрицательны, интегралы равны площадям под соответсвующими графиками, и фигура
под графиком g находится нестрого внутри фигуры под графиком f, а значит имеет
не большую площадь.

Утверждения 1, 2 и 3 доказываются с
помощью одного и того же заклинания: это верно для интегральных сумм,
значит, это верно и для интегралов. Аккуратные доказательства полностью
аналогичны доказательствам соответствующих утверждений для пределов — арифметики
пределов и предельного перехода в неравенствах. Записать эти доказательства
— хорошее упражнение.

24.2.4Интегрируемость и ограниченность

Утверждение 4. Если функция f интегрируема на отрезке [a,b], то она ограничена на этом
отрезке.

Доказательство. От противного. Пусть f не является ограниченной на [a,b]. Мы докажем,
что для любого, сколь угодно мелкого разбиения, можно подобрать такую
разметку, что интегральную сумма будет сколь угодно большой. Действительно,
если функция не является ограниченной на [a,b], она не является
ограниченной на каком-то из отрезков разбиения Im. Пусть у нас есть
какая-то разметка x∗k. Можно сдвинуть точку x∗m таким образом, чтобы
площадь Δxmf(x∗m) было сколь угодно большой по модулю. Если остальные
точки разметки при этом не менять, соответствующие им слагаемые интегральной
суммы также не будут меняться. А если у нас есть сумма, в которой одной
слагаемое можно сделать сколь угодно большим по модулю, а остальные не
меняются, то и всю сумму можно сделать сколь угодно большой по модулю. И
значит никакого конечного предела нет.

Более формальное доказательство выглядит следующим образом. Пусть

∫baf(x)dx=I.

Это означает, что для всякого ε>0 найдётся такая
δ=δ(ε)>0, что для всякого размеченного разбиения P, если
d(P)<δ, то |I−S(P,f)|<ε. Положим ε=1 и возьмём
δ1:=δ(1). Из свойств модуля следует, что в этом случае для всех
разбиений, у которых d(P)<δ1,

|I|<|S(P,f)|+1(24.4)

Рассмотрим теперь произвольное размеченное разбиение P, у которого
d(P)<δ1. Пусть оно состоит из n отрезков

Ik=[xk−1,xk],x∗k∈Ik,k=1,…,n.

Если функция f не является ограниченной на [a,b], найдётся по крайней
мере один из отрезков разбиения Im, на котором она не является
ограниченной. (Действительно, если бы она была ограниченной на каждом из
отрезков разбиения, для каждого k∈{1,…,n} существовало бы
такое число Ck, что для всех x∈Ik, |f(x)|≤Ck. Но тогда число
C=max{C1,…,Cn} ограничивало бы f(x) для любого x∈[a,b], и значит функция была бы ограниченной на этом отрезке.) Докажем, что
модифицируя разметку отрезка Im, то есть меняя x∗m на какой-то z∗m∈Im, мы можем получить сколь угодно большую по модулю интегральную
сумму, и значит (24.4) выполняться не может.

Действительно, поскольку f не является ограниченной на отрезке Im, для
всякого C найдётся такое x=x(C)∈Im, что |f(x)|>C. Возьмём

C=1Δxm⎛⎜
⎜⎝n∑k=1k≠m|f(x∗k)Δxk|+|I|+1⎞⎟
⎟⎠.

В правой части стоит сумма модулей всех слагаемых в интегральной сумме, кроме
m-го. Нам пришлось также поделить её на Δxk — буквально через
секунду станет понятно, почему.

Пусть z∗m=x(C). В этом случае

|f(z∗m)Δxm|>n∑k=1k≠m|f(x∗k)Δxk|+|I|+1,

то есть слагаемое, отвечающее отрезку Im, имеет модуль, с запасом
превосходящий сумму модулей всех остальных слагаемых. Поскольку |a+b|≥|a|−|b| (проверьте, что это всегда правда), отсюда следует, что модуль
интегральной суммы

∣∣
∣
∣∣f(z∗m)Δxm+n∑k=1k≠mf(x∗k)Δxk∣∣
∣
∣∣>|I|+1,

что противоречит (24.4).∎

24.2.5Аддитивность интеграла

Утверждение 5. Пусть функция f интегрируема на отрезках [a,b] и [b,c]. Тогда она
интегрируема на отрезке [a,c] и

∫caf(x)dx=∫baf(x)dx+∫cbf(x)dx.(24.5)

Это свойство называется аддитивностью интеграла Римана.

Набросок доказательства. Будем называть интеграл ∫caf(x) интегралом I, ∫baf(x)dx — интегралом I1 и ∫cbf(x)dx — интегралом I2.

Геометрически наше свойство выглядит очевидным: фигура, соответствующая
интегралу I, составлена из фигур, соответствующих интегралам I1 и
I2, и её площадь очевидно должна быть равна сумме площадей этих фигур.

Если поверить в интегрируемость функции f на отрезке [a,c], доказать,
что интегралы равны, довольно просто. Действительно, возьмём произвольное
размеченное разбиение отрезка [a,b] и произвольное размеченное разбиение
отрезка [b,c]. Объединим эти разбиения: получим размеченное разбиение
отрезка [a,c]. Интегральная сумма для интеграла I, соответствующая
этому разбиению, будет суммой двух интегральных сумм, соответствующих
интегралам I1 и I2. Выбирая достаточно мелкие разбиения, можно сделать
эти две интегральные суммы сколь угодно близкими к соответствующим
интегралам I1 и I2. А значит интегральную сумму для интеграла I
можно сделать сколь угодно близкой к сумме интегралов I1 и I2. Таким
образом, именно эта сумма и является пределом интегральных сумм, то есть
интегралом I.

Для совсем аккуратного доказательства нам нужно показать, что если
какое-нибудь разбиение отрезка [a,c] (не обязательно составленное как
объединение разбиений по каждому из отрезков [a,b] и [b,c]) является
достаточно мелким, то соответствующая интегральная сумма близка к сумме двух
интегралов. Чтобы это сделать, дополнительно разобьем отрезок разбиения,
содержащий точку b, на два отрезочка поменьше — ровно по точке b.
Разметку на новых отрезочках выберем произвольным образом. В результате этой
операции мы попали в предыдущий случай: опять интегральная сумма,
соответствующая I, является суммой интегральных сумм, соответствующих
I1 и I2. Однако, в результате дополнительного разбиения интегральная
сумма, соответствующая I, изменилась. Легко показать, что изменилась она
не сильно: изменения затронули лишь один отрезок исходного разбиения, и
максимально возможное изменение соответствующей площади не превосходит
ширины этого отрезка (маленькой, поскольку диаметр разбиения можно выбрать
маленьким), умноженной на максимально возможное изменение значения функции f,
ограниченное константой: если модуль функции f ограничен какой-то константой
C, то модель разности её значений в двух разных точках не больше 2C. А
функция f ограничена в силу интегрируемости. Значит, погрешность, которая
возникает из-за дополнительного разбиения отрезка, стремится к нулю вместе с
диаметром разбиения, и следовательно не влияет на предел.∎

24.3Заключение

Дифференцирование и интегрирование — два столпа математического анализа. В этой
лекции, основываясь на геометрической задаче отыскания площади, мы начали
строить теорию интеграла Римана — дали определение и обсудили несколько важных
свойств. Однако, у нас пока нет ни малейших представлений о том, как считать
интегралы, кроме как пользуясь определением — что не только муторно, но и редко
когда приводит к успеху. На следующей лекции мы познакомимся к формулой Ньютона
— Лейбница, связывающей интегрирование с дифференцированием — и с её помощью
научимся вычислять некоторые (хотя и далеко не все) определенные интегралы.

Источник