В рамках лекционного курса Массачусетского технологического института (MIT OpenCourseWare) профессор подробно разбирает фундаментальную теорему анализа (математического исчисления), связывающую дифференциальное и интегральное исчисления. В центре внимания находятся строгие доказательства алгебраических свойств интеграла Римана, его аддитивности по отрезкам, а также введение в теорию несобственных интегралов и расчет длины дуги. Лекция призвана заложить прочный математический фундамент для понимания механизмов интегрирования и его практического применения.
📐 Освежение в памяти: интеграл Римана и суммы Дарбу 0:00
Математический анализ требует строгости, поэтому лекция начинается с краткого повторения базовых понятий интеграла Римана, заложенных на предыдущих занятиях. Рассматривается ограниченная функция $f$, заданная на определенном интервале от $a$ до $b$, и вводится понятие разбиения $P$, состоящего из точек $x_0, x_1, \dots, x_n$. Для каждого элементарного интервала $[x_{i-1}, x_i]$ определяются две ключевые величины: $M_i$ как точная верхняя грань (sup) функции и $m_i$ как точная нижняя грань (inf) функции на данном промежутке.
На основе этих граней строятся верхняя и нижняя суммы Дарбу:
- Верхняя сумма $U(f, P)$ представляет собой сумму произведений $M_i$ на длину интервала $\Delta x_i$.
- Нижняя сумма $L(f, P)$ формируется как сумма произведений $m_i$ на $\Delta x_i$.
Далее профессор напоминает определения верхнего и нижнего интегралов Римана. Верхний интеграл представляет собой точную нижнюю грань верхних сумм по всем возможным разбиениям, тогда как нижний интеграл — это точная верхняя грань нижних сумм. Функция объявляется интегрируемой по Риману тогда и только тогда, когда эти два числа совпадают. В случае их равенства общее значение и называют интегралом Римана.
➕ Линейность интеграла: доказательство суммы и скалярного умножения 3:06
Переходя к свойствам интеграла, профессор выделяет базовые алгебраические правила, которые во многом параллельны правилам для дифференциалов и пределов. Первое правило гласит, что если интегрируемую функцию умножить на константу $c$, то полученное произведение также будет интегрируемым, а сама константа выносится за знак интеграла. Второе правило постулирует линейность для суммы: интеграл от суммы двух интегрируемых функций $f$ и $g$ равен сумме их интегралов.
Для доказательства теоремы о сумме используется важная лемма из прошлых лекций. Согласно этой лемме, ограниченная функция интегрируема по Риману тогда и только тогда, когда для любого положительного $\epsilon$ существует такое разбиение интервала, при котором разность между верхней и нижней суммами Дарбу становится меньше $\epsilon$.
Поскольку функции $f$ и $g$ интегрируемы по отдельности, для заданного $\epsilon > 0$ можно подобрать индивидуальные разбиения $P_1$ и $P_2$, для которых разности соответствующих сумм Дарбу окажутся меньше $\epsilon / 2$. Профессор предлагает сконструировать новое разбиение $P$, объединяющее все точки деления из $P_1$ и $P_2$. Такое разбиение называют измельчением (refinement) исходных разбиений.
При измельчении разбиения верхняя сумма Дарбу может только уменьшиться (или остаться прежней), а нижняя — только увеличиться. Соответственно, разность сумм Дарбу на измельченном разбиении гарантированно не превысит исходные значения, то есть останется меньше $\epsilon / 2$ как для $f$, так и для $g$.
Профессор обращает внимание на тонкий математический нюанс: на любом элементарном интервале точная верхняя грань суммы двух функций не всегда равна сумме их точных верхних граней — она может быть строго меньше. Аналогично, точная нижняя грань суммы может быть строго больше суммы нижних граней. В качестве примера приводится случай, когда $g = -f$. Тогда их сумма равна нулю, однако точные грани отдельных функций на интервале могут иметь противоположные знаки и давать ненулевые вклады. Тем не менее, строгое неравенство $\inf(f) + \inf(g) \le \inf(f+g) \le \sup(f+g) \le \sup(f) + \sup(g)$ сохраняется всегда.
Умножая полученные неравенства на длины интервалов $\Delta x_i$ и суммируя их, математики получают итоговую оценку для разности верхней и нижней сумм функции $(f+g)$ на разбиении $P$. Она оказывается меньше или равна сумме аналогичных разностей для $f$ и $g$ по отдельности:
$$U(f+g, P) - L(f+g, P) \le (U(f, P) - L(f, P)) + (U(g, P) - L(g, P)) < \frac{\epsilon}{2} + \frac{\epsilon}{2} = \epsilon$$
Это полностью доказывает интегрируемость суммы. В завершение раздела профессор делает историко-лингвистическую ремарку о нотации: сам знак интеграла $\int$ представляет собой стилизованную вытянутую латинскую букву «S», указывающую на суммирование, а символ $dx$ восходит к греческой букве $\Delta$ (дельта) и символизирует предел приращений.
🧩 Свойства монотонности и аддитивности по отрезкам интегрирования 21:51
Третье базовое свойство интеграла касается монотонности: если функция $f$ на всем интервале не превосходит функцию $g$, то и интеграл от $f$ будет меньше или равен интегралу от $g$. Профессор опускает детальное доказательство, отмечая, что оно интуитивно очевидно из неравенства для точных граней на любом подынтервале.
Четвертое свойство — аддитивность интеграла по отношению к промежутку интегрирования. Если функция интегрируема на отрезке $[a, b]$, а точка $c$ лежит внутри этого отрезка, то функция интегрируема на обоих субинтервалах $[a, c]$ и $[c, b]$, причем исходный интеграл равен сумме двух получившихся интегралов.
Для доказательства этого утверждения вновь применяется критерий интегрируемости через $\epsilon$. Беря разбиение $P$, для которого разность верхних и нижних сумм меньше $\epsilon$, профессор строит измельченное разбиение $P^$, принудительно добавляя точку $c$ в качестве точки деления. Поскольку $P^$ содержит точку $c$, всю сумму Дарбу можно строго разделить на две части: пересечение разбиения с интервалом $[a, c]$ и пересечение с интервалом $[c, b]$. Из того, что обе части разности сумм Дарбу неотрицательны, а их общая сумма строго меньше $\epsilon$, делается вывод, что каждая часть по отдельности не превышает $\epsilon$, что доказывает интегрируемость на субинтервалах.
В качестве важнейшего следствия из свойств монотонности выводится неравенство треугольника для интегралов: абсолютная величина интеграла от функции не превышает интеграла от абсолютной величины этой функции. Профессор демонстрирует изящное и простое доказательство, основанное на очевидных неравенствах $f \le |f|$ и $-f \le |f|$. Применяя к ним свойство монотонности и вынося константу $-1$ за знак интеграла, мы получаем двустороннее ограничение, эквивалентное искомому неравенству с модулем.
🚀 Фундаментальная теорема анализа: Версия 1 (Дифференцирование интеграла) 39:57
Главной темой лекции становится переход к механизмам вычисления интегралов с помощью фундаментальной теоремы анализа, которую лектор для удобства изложения разделяет на две версии.
Первая версия теоремы рассматривает поведение функции, заданной в виде интеграла с переменным верхним пределом. Пусть функция $f$ непрерывна на отрезке $[a, b]$. Тогда можно определить новую функцию $F(x)$ как интеграл от $a$ до $x$ от функции $f(s)ds$. Поскольку функция непрерывна на всем промежутке, она гарантированно интегрируема на любом субинтервале $[a, x]$. Утверждение теоремы гласит: функция $F(x)$ является дифференцируемой на $[a, b]$, и её производная $F'(x)$ в точности равна исходной подынтегральной функции $f(x)$.
Для доказательства фиксируется точка $x_0$ и составляется разностное отношение:
$$\frac{F(x) - F(x_0)}{x - x_0}$$
Профессор предлагает сначала оценить разность в числителе, предполагая для простоты, что $x > x_0$. Используя свойство аддитивности, интеграл от $a$ до $x$ разбивается на два промежутка: от $a$ до $x_0$ и от $x_0$ до $x$. В результате вычитания $F(x_0)$ первый интеграл взаимно уничтожается, и разность сводится к единственному интегралу по промежутку $[x_0, x]$.
Затем этот интеграл ограничивается сверху и снизу. Так как функция $f$ непрерывна, на отрезке $[x_0, x]$ она достигает своего максимума (sup) и минимума (inf). Заменяя подынтегральное выражение константами максимума и минимума и вынося их за знак интеграла, лектор получает, что значение интеграла зажато между произведениями этих констант на длину интервала $(x - x_0)$.
Разделив все части неравенства на положительную величину $(x - x_0)$, математики приходят к выводу, что разностное отношение зажато между точной нижней и точной верхней гранями функции на отрезке $[x_0, x]$. По мере того как $x$ стремится к $x_0$, рассматриваемый интервал сжимается в точку, и в силу непрерывности функции $f$ обе её грани устремляются к единому значению $f(x_0)$. По теореме о зажатой функции (теореме о двух милиционерах), предел разностного отношения также существует и равен $f(x_0)$, что полностью доказывает теорему для правостороннего предела. Для левостороннего предела доказательство проводится аналогичным образом.
🧮 Вычисление интегралов: Версия 2 фундаментальной теоремы 53:43
Вторая версия фундаментальной теоремы анализа представляет собой хорошо известный инструмент для практических вычислений, часто называемый формулой Ньютона-Лейбница. Если функция $F(x)$ дифференцируема на отрезке, а её производная $F'(x) = f(x)$ интегрируема по Риману, то приращение функции $F(b) - F(a)$ в точности равно определенному интегралу от $f(x)$ на этом отрезке.
В качестве классического примера профессор демонстрирует вычисление площади под параболой — интеграла от $x^2$ на отрезке от 0 до 1. Для применения теоремы подбирается первообразная функция $F(x) = \frac{x^3}{3}$, производная которой равна $x^2$. Подставляя пределы интегрирования, получаем:
$$\int_{0}^{1} x^2 dx = F(1) - F(0) = \frac{1^3}{3} - \frac{0^3}{3} = \frac{1}{3}$$
♾️ Несобственные интегралы: два типа сингулярностей 58:16
Завершив классическую теорию интегрирования на ограниченных промежутках для ограниченных функций, профессор переходит к расширенному понятию — несобственным интегралам. В математической практике часто возникает необходимость интегрирования в условиях, когда стандартный интеграл Римана неприменим напрямую. Выделяются две основные версии таких интегралов:
- Тип 1: Неограниченный промежуток интегрирования. Функция определена и интегрируема на любом конечном отрезке $[a, b]$, но верхний (или нижний) предел устремляется в бесконечность.
- Тип 2: Неограниченная функция. Сам промежуток интегрирования $[a, b]$ конечен, однако функция имеет вертикальную асимптоту (уходит в бесконечность) в одной из точек, например, при приближении к левому пределу $a$.
В первом случае несобственный интеграл трактуется как предел обычного интеграла Римана от $a$ до $b$ при $b \to \infty$. Если этот предел существует и конечен, то говорят, что несобственный интеграл сходится. Геометрически это означает попытку измерить площадь под графиком функции, простирающимся бесконечно далеко вправо.
Во втором случае, если функция не ограничена или вовсе не определена в точке $a$, берется точка $c$, лежащая строго правее $a$. Вычисляется интеграл на промежутке $[c, b]$, а затем исследуется предел при $c \to a$ справа. Если предел существует, несобственный интеграл второго типа считается сходящимся. Профессор добавляет, что особенности могут располагаться и на правом конце, и на обоих концах одновременно, и все эти случаи поддаются аналогичному анализу.
🔍 Анализ сходимости на практических примерах 1:06:26
Для иллюстрации теории несобственных интегралов первого типа лектор подробно разбирает два примера на промежутке от 1 до бесконечности.
Сначала рассматривается функция $f(x) = \frac{1}{x^2}$. Используя первообразную $F(x) = -\frac{1}{x}$, интеграл по конечному промежутку записывают как $-\frac{1}{b} - \left(-\frac{1}{1}\right) = 1 - \frac{1}{b}$. При устремлении $b$ к бесконечности дробь $\frac{1}{b}$ обращается в ноль, а сам предел оказывается равен 1. Таким образом, данный несобственный интеграл сходится, демонстрируя удивительный математический факт: бесконечная по протяженности область может обладать вполне конечной площадью. Это происходит благодаря тому, что функция убывает к нулю достаточно быстро.
Вторым примером выступает функция $f(x) = \frac{1}{x}$. Она также стремится к нулю при росте аргумента, что дает ей гипотетический шанс на сходимость. Однако её первообразной является функция $\ln(x)$. Вычисление интеграла на конечном промежутке дает $\ln(b) - \ln(1) = \ln(b)$. Поскольку логарифм при росте аргумента неограниченно возрастает и уходит в бесконечность, предел не существует, и интеграл расходится. Функция убывает слишком медленно, чтобы сформировать конечную площадь.
Далее профессор переходит к примерам второго типа на конечном отрезке от 0 до 1, где функции демонстрируют сингулярность в точке 0.
Первой анализируется функция $f(x) = \frac{1}{\sqrt{x}}$, которая при $x \to 0$ устремляется в бесконечность. Её первообразная равна $2\sqrt{x}$. Интеграл на усеченном отрезке $[a, 1]$ равен $2\sqrt{1} - 2\sqrt{a} = 2 - 2\sqrt{a}$. Когда $a$ стремится к 0, корень также стремится к 0, а весь предел оказывается равным 2. Интеграл сходится.
На контрасте рассматривается функция $f(x) = \frac{1}{x}$, уходящая в бесконечность при приближении к нулю гораздо быстрее. Интегрирование по промежутку $[a, 1]$ приводит к выражению $\ln(1) - \ln(a) = -\ln(a)$. Известно, что график логарифма при приближении к нулю уходит в минус бесконечность. Соответственно, величина $-\ln(a)$ стремится к плюс бесконечности, предел расходится, и интеграл не существует.
📏 Геометрическое применение: введение в расчет длины дуги 1:18:19
В финальной части лекции профессор кратко намечает одну из важнейших геометрических аппликаций определенного интеграла — вычисление длины дуги кривой на плоскости. Вводится параметрическое представление кривой $\gamma(t)$, координаты которой задаются двумя дифференцируемыми функциями $f(s)$ и $g(s)$, имеющими непрерывные производные на отрезке $[a, b]$.
По определению, длина такой кривой вычисляется как интеграл от квадратного корня из суммы квадратов производных её параметрических функций:
$$L = \int_{a}^{b} \sqrt{(f'(s))^2 + (g'(s))^2} ds$$
Лектор обещает развить эту тему, предоставить геометрические обоснования и разобрать конкретные примеры вычисления длины кривых на следующем занятии.
