В рамках проекта MIT OpenCourseWare профессор Тобиас Колдинг представил детальный разбор фундаментальных концепций дифференциального исчисления. Лекция охватывает логическую цепочку от базового определения производной до мощных инструментов аппроксимации, включая теорему Мишеля Ролля, теорему о среднем значении (Лагранжа и Коши) и разложение Брука Тейлора. Эти математические инструменты лежат в основе современного математического анализа и позволяют исследовать сложнейшие функциональные зависимости, заменяя их локально более простыми полиномами.
🔄 Повторение пройденного: дифференцируемость и базовые правила 0:00
Профессор Колдинг начал лекцию с краткого напоминания ключевых положений предыдущего занятия, подчеркнув строгое определение дифференцируемости функции. Функция $f$, заданная на вещественной прямой $\mathbb{R}$ или некотором интервале, называется дифференцируемой в точке $x_0$, если существует предел разностного отношения при стремлении $x$ к $x_0$:
$$\lim_{x \to x_0} \frac{f(x) - f(x_0)}{x - x_0}$$
Существование этого предела означает, что для точек, находящихся на достаточно малом расстоянии $\delta$ от $x_0$, значение разностного отношения будет сколь угодно близко к определенному числу. Важным следствием дифференцируемости является непрерывность функции в этой точке, что было доказано ранее в виде отдельной леммы.
Для практического применения дифференциального исчисления используются пять фундаментальных правил, которые позволяют находить производные сложных комбинаций функций:
- Правило суммы: Производная суммы двух дифференцируемых функций равна сумме их производных.
- Умножение на константу: Производная функции, умноженной на постоянную величину, равна этой константе, умноженной на производную исходной функции.
- Правило Лейбница (произведение функций): Производная произведения двух функций находится по формуле $(fg)' = f'g + fg'$.
- Правило частного: Определяет производную отношения двух функций при условии, что знаменатель не обращается в ноль.
- Цепное правило (производная сложной функции): Если функция $f$ отображает интервал $(a, b)$ в $(c, d)$, а функция $g$ определена на $(c, d)$, то производная их композиции $g(f(x))$ вычисляется как производная внешней функции по промежуточному аргументу, умноженная на производную внутренней функции: $g'(f(x)) \cdot f'(x)$.
📉 Локальные экстремумы и критические точки 5:30
Переходя к новому материалу, профессор ввел понятия локального максимума и минимума функции, отметив, что для самого определения дифференцируемость не требуется. Функция $f$ имеет локальный максимум в точке $x_0$, лежащей внутри открытого интервала, если существует такая малая окрестность $\delta > 0$, что для всех $x$ из этой окрестности выполняется условие $f(x) \le f(x_0)$. При этом поведение функции за пределами данной окрестности значения не имеет — на больших расстояниях функция может принимать значительно большие значения, поэтому максимум и называется локальным. Аналогичным образом, через изменение знака неравенства, определяется локальный минимум.
Связь между локальными экстремумами и производной формулируется в виде важной леммы: если функция дифференцируема во внутренней точке $x_0$ интервала и достигает в ней локального максимума или минимума, то ее производная в этой точке равна нулю.
Профессор Колдинг привел строгое доказательство этой леммы для случая локального максимума, разделив его на два этапа:
- Приближение справа ($x > x_0$): Разность $f(x) - f(x_0)$ в числителе разностного отношения неналожительна, так как $f(x_0)$ — максимум в окрестности. Знаменатель $x - x_0$ положителен. Следовательно, все разностное отношение является неположительным, и его предел справа также не может быть больше нуля.
- Приближение слева ($x < x_0$): Числитель остается неположительным, но знаменатель $x - x_0$ теперь становится строго отрицательным. Деление неположительной величины на отрицательную дает неотрицательный результат. Таким образом, предел разностного отношения слева должен быть неотрицательным.
Поскольку функция дифференцируема, пределы слева и справа обязаны совпадать и равняться единственному числу — значению производной. Единственным числом, которое одновременно является и неположительным, и неотрицательным, является ноль. Следовательно, $f'(x_0) = 0$. Точки, в которых производная обращается в ноль, в математическом анализе называют критическими точками.
Для иллюстрации природы критических точек были рассмотрены два примера с полиномами:
- Функция $f(x) = x^2$: Ее производная равна $2x$. Точка $x = 0$ является единственной критической точкой. На графике четко видно, что в ней достигается локальный (и глобальный) минимум.
- Функция $f(x) = x^3$: Ее производная равна $3x^2$. В точке $x = 0$ производная также равна нулю, то есть это критическая точка. Однако график функции в этой точке лишь «выполаживается», не образуя ни локального максимума, ни локального минимума. Это доказывает, что равенство производной нулю является необходимым, но не достаточным условием наличия экстремума.
🎯 Теорема Мишеля Ролля: фундамент анализа 20:20
Первым крупным приложением леммы о критических точка стала теорема, автором которой является французский математик Мишель Ролль.
Теорема Мишеля Ролля утверждает: если функция $f$ непрерывна на замкнутом отрезке $[a, b]$, дифференцируема на открытом интервале $(a, b)$ и принимает равные значения на концах отрезка ($f(a) = f(b)$), то внутри этого интервала существует хотя бы одна точка $x_0$, в которой производная функции равна нулю.
Геометрически это означает, что если график функции начинается и заканчивается на одной высоте, на нем обязательно найдется точка, где касательная к кривой параллельна оси абсцисс. Доказательство теоремы опирается на теорему о максимальном и минимальном значениях непрерывной функции (теорему Вейерштрасса) и разделяется на три логических сценария:
- Случай 1: Функция является постоянной на всем отрезке. В таком случае ее производная равна нулю в любой точке интервала, что тривиально доказывает утверждение.
- Случай 2: Внутри интервала существует точка $x$, где значение функции строго больше значения на концах отрезка ($f(x) > f(a)$). Согласно теореме о максимальном значении, непрерывная функция обязана достигать своего глобального максимума на этом отрезке. Поскольку значения внутри больше значений на границах, максимум достигается во внутренней точке интервала. Из предыдущей леммы следует, что производная в этой точке максимума равна нулю.
- Случай 3: Внутри интервала существует точка, где значение функции строго меньше, чем на концах ($f(x) < f(a)$). Рассуждения аналогичны случаю 2, но строятся вокруг достижения глобального минимума во внутренней точке интервала.
📏 Теорема о среднем значении (Лагранж и Коши) 25:45
Теорема Мишеля Ролля служит отправной точкой для доказательства более общих утверждений. Профессор Колдинг рассмотрел две версии теоремы о среднем значении: классическую (теорему Лагранжа) и ее расширенную форму (теорему Коши).
Классическая теорема о среднем значении утверждает, что для любой дифференцируемой на отрезке $[a, b]$ функции существует точка $x$ внутри интервала, в которой производная равна среднему разностному отношению на границах отрезка:
$$f'(x) = \frac{f(b) - f(a)}{b - a}$$
Для доказательства этого утверждения конструируется вспомогательная функция $h(x)$, представляющая собой разность между исходной функцией и линейной функцией, соединяющей крайние точки графика:
$$h(x) = f(x) - \frac{f(b) - f(a)}{b - a}(x - a)$$
Прямая подстановка показывает, что значения вспомогательной функции на концах отрезка совпадают: $h(a) = f(a)$ и $h(b) = f(a)$. Поскольку функция $h(x)$ удовлетворяет всем условиям теоремы Мишеля Ролля, внутри интервала существует точка, где ее производная $h'(x) = 0$. Дифференцируя выражение для $h(x)$, получаем:
$$h'(x) = f'(x) - \frac{f(b) - f(a)}{b - a}$$
Приравнивая $h'(x)$ к нулю, мы мгновенно приходим к формулировке теоремы Лагранжа.
Более сложным и мощным инструментом является теорема о среднем значении Коши, которая оперирует одновременно двумя дифференцируемыми функциями $f$ и $g$. Согласно этой теореме, существует внутренняя точка $x_0$, для которой справедливо соотношение:
$$f'(x_0)[g(b) - g(a)] = g'(x_0)[f(b) - f(a)]$$
Если дополнительно предположить, что $g(b) \neq g(a)$ и производная $g'(x_0) \neq 0$, то формулу можно переписать в более наглядном виде:
$$\frac{f'(x_0)}{g'(x_0)} = \frac{f(b) - f(a)}{g(b) - g(a)}$$
Профессор Колдинг пояснил, что теорема Коши позволяет синхронизировать приращения двух разных функций в одной точке, что кажется удивительным, но доказывается столь же изящно, как и предыдущая теорема. Для этого вводится специальная функция:
$$h(x) = f(x)[g(b) - g(a)] - g(x)[f(b) - f(a)]$$
Вычисления показывают, что $h(a) = h(b) = f(a)g(b) - g(a)f(b)$. Применение теоремы Мишеля Ролля к функции $h(x)$ дает искомую точку $x_0$, где $h'(x_0) = 0$, что полностью завершает доказательство.
📊 Приближение функций: формула Брука Тейлора 43:52
Главной темой финальной части лекции стала концепция, предложенная английским математиком Бруком Тейлором — локальное приближение произвольных дифференцируемых функций с помощью полиномов. Основная идея заключается в том, что поведение сложной функции в малой окрестности некоторой точки можно с высокой точностью описать многочленом, и чем выше степень этого многочлена, тем точнее аппроксимация.
Профессор Колдинг начал с разбора частного случая — аппроксимации полиномом первой степени (линейной функцией), что соответствует приближению функции касательной. Такой полином Тейлора первого порядка имеет вид:
$$P_1(x) = f(a) + f'(a)(x - a)$$
Чтобы оценить точность этого приближения, формулируется теорема: существует точка $c$, лежащая строго между $a$ и $b$, позволяющая выразить точное значение функции через полином Тейлора и остаточный член, содержащий вторую производную:
$$f(b) = P_1(b) + \frac{f''(c)}{2}(b - a)^2$$
Для доказательства вводится число $M$, определяемое из уравнения $f(b) - P_1(b) = \frac{M}{2}(b - a)^2$. Далее конструируется вспомогательная функция:
$$h(x) = f(x) - P_1(x) - \frac{M}{2}(x - a)^2$$
Значения этой функции на концах рассматриваемого промежутка равны нулю: $h(b) = 0$ (по определению $M$) и $h(a) = 0$. По теореме Мишеля Ролля существует точка $c_1$, в которой первая производная $h'(c_1) = 0$.
Затем профессор применил оригинальный аналитический ход, рассчитав производную функции $h(x)$ в исходной точке $a$. Оказалось, что $h'(a) = f'(a) - f'(a) - 0 = 0$. Имея две точки ($a$ и $c_1$), в которых производная $h'$ обращается в ноль, мы можем применить теорему Мишеля Ролля повторно, но уже к самой функции производной $h'$ на отрезке $[a, c_1]$. Это дает нам вторую точку $c_2$ (или просто $c$), в которой зануляется уже вторая производная: $h''(c) = 0$. Из уравнения $h''(x) = f''(x) - M$ напрямую следует, что константа $M$ в остаточном члене в точности равна значению второй производной функции $f$ в промежуточной точке $c$.
В завершение лекции профессор Колдинг обобщил данный метод на случай полинома произвольной степени $k-1$. Полином Тейлора степени $k-1$ в окрестности точки $a$ записывается через сумму высших производных и факториалы:
$$P_{k-1}(x) = \sum_{i=0}^{k-1} \frac{f^{(i)}(a)}{i!}(x - a)^i$$
Общая теорема Тейлора с остаточным членом в форме Лагранжа утверждает, что если функция дифференцируема $k$ раз, то ее значение в точке $b$ можно представить как:
$$f(b) = P_{k-1}(b) + \frac{f^{(k)}(c)}{k!}(b - a)^k$$
где точка $c$ лежит между $a$ и $b$.
Доказательство общего случая полностью повторяет логику частного, но требует последовательного применения теоремы Мишеля Ролля $k$ раз. При каждом шаге дифференцирования и поиске очередного нуля производной промежуточные точки $c_1, c_2, \dots$ смещаются по интервалу влево, приближаясь к стартовой точке $a$. На $k$-м шаге итерация завершается, определяя точную математическую структуру остаточного члена.
В самом конце лекции профессор Колдинг отметил, что применение теоремы о среднем значении Коши также открывает путь к правилу Гийома де Лопиталя для раскрытия неопределенностей в дробях, изучение которого будет начато на следующем занятии.
