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

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

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

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

Рассмотрим некоторую функцию , определенную на отрезке . Пусть во всех точках отрезка значение функции неотрицательно. Мы хотим найти площадь фигуры, ограниченной графиком , горизонтальной осью и вертикальными прямыми и . Как это сделать?

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

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

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

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

Определение 1. Набор точек называется разбиением отрезка , если
то есть все точки , лежат на отрезке , следующая точка правее предыдущей, нулевая совпадает с левым концом, а последняя — с правым.

Для данного разбиения введём также обозначения:

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

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

Определение 3. Выберем теперь в каждом из отрезков по точке произвольным образом (она может совпадать с правым или левым концом отрезка, тут нет запретов). Тогда разбиение вместе с набором точек называется размеченным разбиением отрезка .

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

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

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

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

Определение 5. Число называется интегралом Римана от функции по отрезку , если для всякого найдётся такое что для всех размеченных разбиений верно утверджение: если , то

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

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

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

Здесь — знак интеграла, и — пределы интегрирования (нижний и верхний соответственно), — подынтегральная функция. Кто такой , объяснить сложнее, но если посмотреть на определение интегральной суммы (см. (24.1)), видно, что там было . При переходе к пределу, сумма превращается в знак интеграла, превращается просто в , а превращается в . В порядке шутки можно сказать, что при переходе к пределу угловатая фигура, составленная из прямоугольников, превращается в нашу нашу настоящую фигуру с плавной криволинейной границей, а угловатые значки и превращаются в плавные значки и . Почему полезно «таскать с собой» воспоминание про , станет ясно чуть позже, когда мы обсудим формулы замены переменной в интеграле.

Пример 1. Пусть для всех , . Тогда
поскольку искомая площадь — это площадь прямоугольника с шириной и высотой .

Замечание 1. Сейчас мы дали определение определённого интеграла. Определённый интеграл — это просто число. Ещё бывают неопределенные интегралы — это семейства функций. Про них мы поговорим позже.

Замечание 2. Имя переменной, по которой происходит интегрирование, можно менять, значение интеграла от этого не изменится:
Это аналогично тому, что имя переменной, по которой происходит суммирование, не влияет на сумму:
Можно сказать, что переменная суммирования ( или в (24.2)), равно как и переменная интегрирования ( и в (24.2)) не существуют за пределами соответствующей суммы или интеграла. Это похоже на то, что происходит с переменной, перед которой поставили квантор, и такие переменные также называются связанными.

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

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

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

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

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

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

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

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

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

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

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

Когда мы определяли интеграл, мы начинали с задачи нахождения площади под графиком неотрицательной функции. Однако, определение, которое в результате получилось, не содержит ограничений на знак функции: может принимать как положительные, так и отрицательные значения. Если для какого-то из отрезков разбиения значение отрицательное, соответствующее слагаемое в интегральной сумме также отрицательно, а его абсолютное значение равно площади прямоугольника шириной и высотой ; на картинке логично изображать такой прямоугольник растущим «вниз» от горизонтальной оси. Таким образом, те участки, на которых подынтегральная функция отрицательна, вносят отрицательный вклад в интеграл. Если отрезок разбивается на несколько отрезков, на каждом из которых функция знакопостоянна, интеграл имеет следующую интерпретацию. Нужно посчитать площадь между кривой и горизонтальной осью на тех участках, где функция положительна, и вычесть из неё площадь между кривой и горазонтальной осью на участках, где функция отрицательна. Таким образом, можно сказать, что интеграл — это площадь с учётом знака.

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

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

Утверждение 1. Пусть функции и интегрируемы на отрезке . Тогда функция также интегрируема на отрезке и сумма интегралов равна интегралу суммы:

Утверждение 2. Пусть функция интегрируема на отрезке и — некоторая константа. Тогда интеграл от функции определён и
иными словами, константу можно выносить за знак интегрирования.

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

Утверждение 3. Пусть функции и интегрируемы на отрезке и пусть для всех , . Тогда

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

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

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

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

Доказательство. От противного. Пусть не является ограниченной на . Мы докажем, что для любого, сколь угодно мелкого разбиения, можно подобрать такую разметку, что интегральную сумма будет сколь угодно большой. Действительно, если функция не является ограниченной на , она не является ограниченной на каком-то из отрезков разбиения . Пусть у нас есть какая-то разметка . Можно сдвинуть точку таким образом, чтобы площадь было сколь угодно большой по модулю. Если остальные точки разметки при этом не менять, соответствующие им слагаемые интегральной суммы также не будут меняться. А если у нас есть сумма, в которой одной слагаемое можно сделать сколь угодно большим по модулю, а остальные не меняются, то и всю сумму можно сделать сколь угодно большой по модулю. И значит никакого конечного предела нет.

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

Это означает, что для всякого найдётся такая , что для всякого размеченного разбиения , если , то . Положим и возьмём . Из свойств модуля следует, что в этом случае для всех разбиений, у которых ,
Рассмотрим теперь произвольное размеченное разбиение , у которого . Пусть оно состоит из отрезков
Если функция не является ограниченной на , найдётся по крайней мере один из отрезков разбиения , на котором она не является ограниченной. (Действительно, если бы она была ограниченной на каждом из отрезков разбиения, для каждого существовало бы такое число , что для всех , . Но тогда число ограничивало бы для любого , и значит функция была бы ограниченной на этом отрезке.) Докажем, что модифицируя разметку отрезка , то есть меняя на какой-то , мы можем получить сколь угодно большую по модулю интегральную сумму, и значит (24.4) выполняться не может.

Действительно, поскольку не является ограниченной на отрезке , для всякого найдётся такое , что . Возьмём

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

Пусть . В этом случае

то есть слагаемое, отвечающее отрезку , имеет модуль, с запасом превосходящий сумму модулей всех остальных слагаемых. Поскольку (проверьте, что это всегда правда), отсюда следует, что модуль интегральной суммы
что противоречит (24.4).

Замечание 4. Несмотря на то, что мы только что железобетонно доказали, что неограниченные функции не интегрируемы, очень скоро мы зададимся вопросом — а что сделать, если мы всё-таки захотим их проинтегрировать? Оказывается, иногда это можно сделать, но для этого придётся несколько модифицировать определение интеграла — вместо обычного интеграла Римана, каким мы его определили на этой лекции, использовать так называемый несобственный интеграл. Но об этом — позже.

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

Утверждение 5. Пусть функция интегрируема на отрезках и . Тогда она интегрируема на отрезке и
Это свойство называется аддитивностью интеграла Римана.

Набросок доказательства. Будем называть интеграл интегралом , — интегралом и — интегралом .

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

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

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

Замечание 5. До сих пор в интегралах, с которыми мы работали, верхние пределы были больше нижних. Однако, свойство (24.5) позволяет расширить определение на противоположный случай естественным образом. Во-первых, очевидно, что если верхний предел совпадает с нижним, такой интеграл должен быть нулевым. Действительно, геометрически это соответствует тому, что мы рассматриваем площадь фигуры нулевой ширины, которая должна равняться нулю. Формально, можно в равенстве (24.5) положить и получить
откуда следует, что
Теперь положим в (24.5) . Тогда слева будет ноль, и получится такое равенство:
откуда
Иными словами, если в интеграле верхний конец меньше нижнего, то соответствующую площадь под кривой нужно брать с обратным знаком. Это единственный способ доопределить понятие интеграла таким образом, чтобы равенство (24.5) всегда выполнялось.

Также можно, заметить, что если мы в определнии интегральной суммы разрешим разбиения, идущие «справа налево», и перенумеруем элементы какого-то разбиения с конца

то в интегральной сумме (24.1) все станут отрицательными, и знак интегральной суммы (а значит и интеграла) поменяется на противоположный. Это другой способ обсновать равенство (24.7).

24.3Заключение

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