В рамках открытого курса Института математического анализа MIT OpenCourseWare очередная лекция посвящена переходу от изучения абстрактных метрических пространств к фундаментальной теме дифференцирования функций одной переменной. На занятии детально разбираются строгое определение производной, базовые законы дифференцирования — от правила суммы до цепного правила — а также неочевидная связь между непрерывностью и наличием производной. Этот аналитический материал закладывает основу для изучения ключевых теорем математического анализа, включая теорему Ролля и теорему о среднем значении.
📐 Определение производной и первые примеры 0:00
Лектор объявляет о переходе от метрических пространств к теории дифференцирования. Функция $f$, заданная на вещественной прямой $\mathbb{R}$, называется дифференцируемой в точке $x_0$, если существует предел так называемого разностного отношения (difference quotient):
$$\lim_{x \to x_0} \frac{f(x) - f(x_0)}{x - x_0}$$
При формировании этого отношения всегда предполагается, что $x \neq x_0$, чтобы знаменатель имел смысл. Если этот предел существует, он называется производной функции $f$ в точке $x_0$ и обозначается как $f'(x_0)$.
Профессор приводит два простейших примера для иллюстрации этого понятия:
- Постоянная функция $f(x) = C$. В этом случае разностное отношение имеет вид $\frac{C - C}{x - x_0} = 0$ для любого $x$, следовательно, предел существует и равен нулю. Таким образом, производная константы во всех точках равна 0.
- Линейная функция $f(x) = x$. Здесь разностное отношение принимает вид $\frac{x - x_0}{x - x_0} = 1$ для всех $x \neq x_0$. Предел равен 1, а значит, функция дифференцируема везде, и её производная равна 1.
🔗 Непрерывность как необходимое условие дифференцируемости 12:41
Прежде чем перейти к доказательству сложных правил дифференцирования, профессор формулирует и доказывает важную лемму: если функция $f$ дифференцируема в точке $x_0$, то она обязательно является непрерывной в этой точке. Это означает, что дифференцируемость представляет собой более сильное свойство, чем непрерывность.
Доказательство строится через строгое определение предела на языке $\epsilon-\delta$. Поскольку предел разностного отношения существует и равен $f'(x_0)$, для $\epsilon = 1$ существует такое $\delta > 0$, что при $0 < |x - x_0| < \delta$ выполняется неравенство:
$$\left|\frac{f(x) - f(x_0)}{x - x_0} - f'(x_0)\right| < 1$$
Умножая обе части на $|x - x_0|$, лектор преобразует выражение и применяет неравенство треугольника:
$$|f(x) - f(x_0)| \le |x - x_0| + |f'(x_0)| \cdot |x - x_0| = (1 + |f'(x_0)|) \cdot |x - x_0|$$
Чтобы доказать непрерывность, необходимо показать, что $|f(x) - f(x_0)| < \epsilon$ для любого заданного $\epsilon > 0$. Профессор демонстрирует, что выбрав $\delta_1$ как минимум из исходного $\delta$ и величины $\frac{\epsilon}{1 + |f'(x_0)|}$, мы гарантированно получаем выполнение условия непрерывности функции в точке.
🌀 Парадоксы непрерывности: функции без производных 20:48
Чтобы показать, что непрерывность не гарантирует дифференцируемость, лектор разбирает три классических примера:
- Функция модуля: $f(x) = |x|$. Она непрерывна во всех точках, включая $0$. Однако при попытке найти производную в нуле разностное отношение справа ($x > 0$) равно $1$, а слева ($x < 0$) равно $-1$. Поскольку односторонние пределы не совпадают, общего предела в точке $0$ не существует, и функция там недифференцируема.
- Осциллирующая функция: $f(x) = x \sin(1/x)$ (при $f(0) = 0$). За счёт сомножителя $x$ амплитуда колебаний синуса зажимается к нулю, что обеспечивает непрерывность функции в нуле. Но разностное отношение в точке $0$ превращается в $\sin(1/x)$. При $x \to 0$ эта функция бесконечно быстро колеблется между $-1$ и $1$, не стремясь ни к какому конкретному значению, поэтому предела и производной нет.
- Сглаженная осцилляция: $f(x) = x^2 \sin(1/x)$ (при $f(0) = 0$). В этом примере более высокая степень сомножителя гасит колебания сильнее. Разностное отношение сводится к $x \sin(1/x)$, что при $x \to 0$ успешно стремится к 0. Данная функция оказывается дифференцируемой в нуле.
✖️ Алгебра производных: правила Лейбница и частного 5:10
Для вычисления производных сложных выражений существуют базовые законы: правило суммы, правило Лейбница (произведения), правило частного и цепное правило.
Правило суммы доказывается тривиальным разделением числителя разностного отношения на две независимые дроби для функций $f$ и $g$, которые в пределе дают сумму производных $f'(x_0) + g'(x_0)$.
Правило Лейбница описывает производную произведения двух дифференцируемых функций. Профессор отмечает в конспектах, что Готфрид Лейбниц был крайне интересной и важной исторической фигурой. Формула произведения имеет вид:
$$(fg)'(x_0) = f'(x_0)g(x_0) + f(x_0)g'(x_0)$$
Для её доказательства применяется алгебраический трюк: в числитель разностного отношения вычитается и тут же добавляется перекрёстное выражение $f(x_0)g(x)$. Затем выражение группируется и разбивается на две дроби. Поскольку функция $g$ дифференцируема, она непрерывна, и в пределе $g(x) \to g(x_0)$, что и приводит к искомой формуле.
Аналогичный подход используется для вывода правила частного, предполагая, что знаменатель $g(x_0) \neq 0$:
$$\left(\frac{f}{g}\right)'(x_0) = \frac{f'(x_0)g(x_0) - f(x_0)g'(x_0)}{g^2(x_0)}$$
Приведя выражение к общему знаменателю, лектор снова добавляет и вычитает компенсирующие члены $f(x_0)g(x_0)$. При смене порядка слагаемых во второй части дроби возникает знак «минус», а непрерывность $g(x)$ в знаменателе дает квадрат $g^2(x_0)$.
Эти правила позволяют легко дифференцировать любые полиномы вида $\sum a_k x^k$ и рациональные функции.
⛓️ Цепное правило: дифференцирование сложной функции 1:00:00
Цепное правило (chain rule) регулирует дифференцирование композиции функций. Если функция $f$ дифференцируема в точке $x_0$, а функция $g$ дифференцируема в точке $y_0 = f(x_0)$, то их композиция $(g \circ f)$ также дифференцируема в $x_0$, и её производная равна:
$$(g \circ f)'(x_0) = g'(y_0) \cdot f'(x_0)$$
Лектор предлагает разделить доказательство на два случая. В первом случае предполагается, что $f'(x_0) \neq 0$. Это гарантирует, что при $x$, достаточно близких к $x_0$, значения $f(x)$ не будут равны $f(x_0)$. Обозначив $y = f(x)$ и $y_0 = f(x_0)$, разностное отношение композиции можно умножить и разделить на $(y - y_0)$:
$$\frac{g(f(x)) - g(f(x_0))}{x - x_0} = \frac{g(y) - g(y_0)}{y - y_0} \cdot \frac{f(x) - f(x_0)}{x - x_0}$$
В силу непрерывности $f$, при $x \to x_0$ значение $y \to y_0$. Первый множитель стремится к $g'(y_0)$, а второй — к $f'(x_0)$.
Второй случай, когда $f'(x_0) = 0$, на первый взгляд проблематичен, так как нельзя делить на $y - y_0$. Однако профессор показывает, что если $y = y_0$ (то есть $f(x) = f(x_0)$), то разностное отношение композиции изначально строго равно нулю, что тривиально совпадает с ожидаемым результатом $g'(y_0) \cdot 0 = 0$.
🏔️ Локальные экстремумы и взгляд в будущее 1:15:32
В завершение лекции профессор формулирует лемму, связывающую дифференцируемость и локальные экстремумы функции: если точка $x_0$ является точкой локального максимума или минимума дифференцируемой функции $f$, то её производная в этой точке обязательно равна нулю ($f'(x_0) = 0$).
Под локальным максимумом понимается наличие такой окрестности точки $x_0$ (интервала $(x_0 - \delta, x_0 + \delta)$), в пределах которой значение $f(x_0)$ является наибольшим. При этом в других, более удаленных областях функция может принимать значительно более высокие значения.
Из-за нехватки времени лектор оставляет само доказательство этой леммы, а также вытекающие из неё теорему Ролля и теорему о среднем значении (Mean Value Theorem) для следующего занятия, отмечая, что подробные конспекты уже опубликованы на платформе курса.
