# Тобиас Хольк Колдинг: «Как метрические пространства помогают решать дифференциальные уравнения» Источник: https://www.youtube.com/watch?v=EDUMN4s44YU Канал: MIT OpenCourseWare Опубликовано: 02.09.2025 --- Это подробное изложение лекции профессора Тобиаса Холька Колдинга (Tobias Holck Colding) в рамках курса MIT 18.100B «Вещественный анализ», прочитанной в весеннем семестре 2025 года. В лекции рассматриваются фундаментальные свойства степенных рядов — возможность их почленного дифференцирования и интегрирования, а также дается введение в теорию обыкновенных дифференциальных уравнений (ОДУ). Профессор Колдинг демонстрирует, как абстрактные понятия метрических пространств находят практическое применение в доказательстве существования решений ОДУ. ## 📉 Дифференцирование последовательностей функций [[JUMP:01:10]] Тобиас Хольк Колдинг начинает с повторения ключевых концепций: поточечной и равномерной сходимости. Основной акцент делается на условиях, при которых предел производных последовательности функций равен производной предельной функции [02:33]. Основные условия теоремы о дифференцируемости предела: * Последовательность функций $f_n$ определена на ограниченном интервале $[a, b]$. * Существует хотя бы одна точка $x_0$, в которой последовательность значений $f_n(x_0)$ сходится к некоторому числу $c$ [04:50]. * Функции $f_n$ дифференцируемы, их производные $f_n'$ непрерывны. * Последовательность производных $f_n'$ сходится **равномерно** к некоторой функции $g$ [05:06]. При выполнении этих условий существует дифференцируемая функция $f$, такая что $f_n \to f$ равномерно, и $f' = g$. Для доказательства лектор использует основную теорему анализа, определяя функцию $f$ через интеграл от предела производных: $f(x) = c + \int_{x_0}^{x} g(s) ds$ [08:16]. Важным следствием является то, что равномерная сходимость производных гарантирует «хорошее» поведение самой последовательности функций. ## ➕ Свойства степенных рядов: Радиус сходимости и производные [[JUMP:31:39]] Профессор Колдинг переходит к более специфическому объекту — степенным рядам вида $\sum a_n x^n$. Он напоминает формулу Коши-Адамара для радиуса сходимости $R = 1/M$, где $M = \limsup \sqrt[n]{|a_n|}$ [34:46]. Ключевой технический результат лекции: **степенной ряд и ряд, полученный его почленным дифференцированием, имеют одинаковый радиус сходимости** [40:47]. * При дифференцировании n-й член $a_n x^n$ превращается в $n a_n x^{n-1}$. * Лектор доказывает, что $\sqrt[n]{n} \to 1$ при $n \to \infty$ [39:26]. * Следовательно, верхний предел корня n-й степени из коэффициентов не меняется при умножении на $n$. Этот результат позволяет утверждать, что внутри радиуса сходимости степенной ряд является бесконечно дифференцируемым ($C^\infty$) [1:03:04]. Дифференцировать его можно почленно любое количество раз, и полученные ряды будут сходиться равномерно на любом компактном подмножестве внутри интервала сходимости. ## 🗳 Почленное интегрирование рядов [[JUMP:56:51]] Аналогичные правила действуют и для интегралов. Согласно теореме, доказанной в начале лекции, если последовательность функций сходится равномерно, то предел интегралов равен интегралу от предела [59:23]. * Для степенного ряда на любом интервале $[A, B]$ внутри радиуса сходимости можно вычислить интеграл, интегрируя каждое слагаемое по отдельности: $\int \sum a_k x^k dx = \sum a_k \frac{x^{k+1}}{k+1}$ [1:02:24]. * Это значительно упрощает работу с трансцендентными функциями, которые могут быть представлены в виде рядов (например, экспонента, синус или косинус). ## 🧮 Введение в обыкновенные дифференциальные уравнения (ОДУ) [[JUMP:1:04:19]] Во второй части лекции Тобиас Хольк Колдинг вводит понятие дифференциального уравнения как уравнения, связывающего неизвестную функцию и её производные. Он приводит простые примеры [1:05:30]: * $f'(x) = x$ — решение $f(x) = \frac{1}{2}x^2 + C$. * $f' = f^2$ — пример уравнения, где решение может «взрываться» (уходить в бесконечность). * $f'' = 0$ — решение $f(x) = ax + b$. Термин «обыкновенные» (Ordinary) означает, что искомая функция зависит только от одной переменной, в отличие от уравнений в частных производных (PDE) [1:09:12]. Стандартная форма ОДУ, рассматриваемая в курсе: $y'(x) = f(y(x)) + g(x)$ при начальном условии $y(0) = A$ [1:10:19]. Здесь $y$ — неизвестная функция, а $f$ и $g$ — заданные функции (например, $f$ дифференцируема с непрерывной производной, а $g$ просто непрерывна) [1:10:44]. ## 🧩 Теорема Пикара–Линделёфа и принцип сжимающих отображений [[JUMP:1:13:30]] Центральным вопросом теории ОДУ является существование и единственность решения. Профессор Колдинг анонсирует доказательство **теоремы Пикара–Линделёфа**, которое будет подробно разобрано на следующей лекции [1:14:07]. Суть теоремы: * Для заданных «хороших» функций $f$ и $g$ и начального значения $A$ всегда существует некоторое малое число $\delta > 0$, такое что на интервале $[-\delta, \delta]$ существует решение ОДУ. * Это решение является **единственным**. Самый глубокий инсайт лекции заключается в методе доказательства: использование **принципа сжимающих отображений** в метрических пространствах [1:16:16]. 1. ОДУ переформулируется в виде интегрального уравнения. 2. Определяется пространство функций $X$ (замкнутый шар в пространстве непрерывных функций). 3. Задается оператор $T$, который преобразует одну функцию в другую. 4. Если $T$ является «сжимающим» (расстояние между образами меньше расстояния между оригиналами в $k$ раз, где $k < 1$), то по теореме Банаха у него есть единственная неподвижная точка [1:18:59]. 5. Эта неподвижная точка и есть искомое решение дифференциального уравнения. Профессор Колдинг подчеркивает, что хотя постановка задачи (ОДУ) кажется чисто аналитической, её решение эффективно находится через топологические свойства полных метрических пространств (пространств Коши) [1:18:33].