Это подробное изложение лекции профессора Тобиаса Холька Колдинга (Tobias Holck Colding) в рамках курса MIT 18.100B «Вещественный анализ», прочитанной в весеннем семестре 2025 года.
В лекции рассматриваются фундаментальные свойства степенных рядов — возможность их почленного дифференцирования и интегрирования, а также дается введение в теорию обыкновенных дифференциальных уравнений (ОДУ). Профессор Колдинг демонстрирует, как абстрактные понятия метрических пространств находят практическое применение в доказательстве существования решений ОДУ.
📉 Дифференцирование последовательностей функций 1:10
Тобиас Хольк Колдинг начинает с повторения ключевых концепций: поточечной и равномерной сходимости. Основной акцент делается на условиях, при которых предел производных последовательности функций равен производной предельной функции .
Основные условия теоремы о дифференцируемости предела:
- Последовательность функций $f_n$ определена на ограниченном интервале $[a, b]$.
- Существует хотя бы одна точка $x_0$, в которой последовательность значений $f_n(x_0)$ сходится к некоторому числу $c$ .
- Функции $f_n$ дифференцируемы, их производные $f_n'$ непрерывны.
- Последовательность производных $f_n'$ сходится равномерно к некоторой функции $g$ .
При выполнении этих условий существует дифференцируемая функция $f$, такая что $f_n \to f$ равномерно, и $f' = g$. Для доказательства лектор использует основную теорему анализа, определяя функцию $f$ через интеграл от предела производных: $f(x) = c + \int_{x_0}^{x} g(s) ds$ . Важным следствием является то, что равномерная сходимость производных гарантирует «хорошее» поведение самой последовательности функций.
➕ Свойства степенных рядов: Радиус сходимости и производные 31:39
Профессор Колдинг переходит к более специфическому объекту — степенным рядам вида $\sum a_n x^n$. Он напоминает формулу Коши-Адамара для радиуса сходимости $R = 1/M$, где $M = \limsup \sqrt[n]{|a_n|}$ .
Ключевой технический результат лекции: степенной ряд и ряд, полученный его почленным дифференцированием, имеют одинаковый радиус сходимости .
- При дифференцировании n-й член $a_n x^n$ превращается в $n a_n x^{n-1}$.
- Лектор доказывает, что $\sqrt[n]{n} \to 1$ при $n \to \infty$ .
- Следовательно, верхний предел корня n-й степени из коэффициентов не меняется при умножении на $n$.
Этот результат позволяет утверждать, что внутри радиуса сходимости степенной ряд является бесконечно дифференцируемым ($C^\infty$) . Дифференцировать его можно почленно любое количество раз, и полученные ряды будут сходиться равномерно на любом компактном подмножестве внутри интервала сходимости.
🗳 Почленное интегрирование рядов 56:51
Аналогичные правила действуют и для интегралов. Согласно теореме, доказанной в начале лекции, если последовательность функций сходится равномерно, то предел интегралов равен интегралу от предела .
- Для степенного ряда на любом интервале $[A, B]$ внутри радиуса сходимости можно вычислить интеграл, интегрируя каждое слагаемое по отдельности: $\int \sum a_k x^k dx = \sum a_k \frac{x^{k+1}}{k+1}$ .
- Это значительно упрощает работу с трансцендентными функциями, которые могут быть представлены в виде рядов (например, экспонента, синус или косинус).
🧮 Введение в обыкновенные дифференциальные уравнения (ОДУ) 1:04:19
Во второй части лекции Тобиас Хольк Колдинг вводит понятие дифференциального уравнения как уравнения, связывающего неизвестную функцию и её производные. Он приводит простые примеры :
- $f'(x) = x$ — решение $f(x) = \frac{1}{2}x^2 + C$.
- $f' = f^2$ — пример уравнения, где решение может «взрываться» (уходить в бесконечность).
- $f'' = 0$ — решение $f(x) = ax + b$.
Термин «обыкновенные» (Ordinary) означает, что искомая функция зависит только от одной переменной, в отличие от уравнений в частных производных (PDE) .
Стандартная форма ОДУ, рассматриваемая в курсе: $y'(x) = f(y(x)) + g(x)$ при начальном условии $y(0) = A$ . Здесь $y$ — неизвестная функция, а $f$ и $g$ — заданные функции (например, $f$ дифференцируема с непрерывной производной, а $g$ просто непрерывна) .
🧩 Теорема Пикара–Линделёфа и принцип сжимающих отображений 1:13:30
Центральным вопросом теории ОДУ является существование и единственность решения. Профессор Колдинг анонсирует доказательство теоремы Пикара–Линделёфа, которое будет подробно разобрано на следующей лекции .
Суть теоремы:
- Для заданных «хороших» функций $f$ и $g$ и начального значения $A$ всегда существует некоторое малое число $\delta > 0$, такое что на интервале $[-\delta, \delta]$ существует решение ОДУ.
- Это решение является единственным.
Самый глубокий инсайт лекции заключается в методе доказательства: использование принципа сжимающих отображений в метрических пространствах .
- ОДУ переформулируется в виде интегрального уравнения.
- Определяется пространство функций $X$ (замкнутый шар в пространстве непрерывных функций).
- Задается оператор $T$, который преобразует одну функцию в другую.
- Если $T$ является «сжимающим» (расстояние между образами меньше расстояния между оригиналами в $k$ раз, где $k < 1$), то по теореме Банаха у него есть единственная неподвижная точка .
- Эта неподвижная точка и есть искомое решение дифференциального уравнения.
Профессор Колдинг подчеркивает, что хотя постановка задачи (ОДУ) кажется чисто аналитической, её решение эффективно находится через топологические свойства полных метрических пространств (пространств Коши) .
