# Тобиас Колдинг разобрал теорему Пикара — Линделёфа для студентов MIT

Источник: https://www.youtube.com/watch?v=75PZmUc0TK0
Канал: MIT OpenCourseWare
Опубликовано: 02.09.2025

---

В рамках подготовки к финальному экзамену по курсу «Вещественный анализ» (18.100B) в MIT, профессор Тобиас Колдинг провел детальный разбор теоремы Пикара — Линделёфа. Лекция охватывает фундаментальные аспекты существования и единственности решений обыкновенных дифференциальных уравнений (ОДУ), связывая их с теорией сжимающих отображений и топологическими свойствами метрических пространств.

## 🧠 Теорема Пикара — Линделёфа и постановка задачи
[[JUMP:00:13]]

Основной темой обсуждения стала теорема Пикара — Линделёфа, которая дает ответ на вопрос о существовании и единственности решений ОДУ. Профессор Колдинг сформулировал задачу следующим образом: дана дифференцируемая функция $f$ и непрерывная функция $g$. Требуется найти решение $y$ для уравнения:

$$y'(x) = f(y(x)) + g(x)$$

При этом задается начальное условие $y(0) = a$. Главная цель анализа — доказать, что при определенных условиях решение не только существует для данного $a$, но и является единственным. Это означает, что если у нас есть два решения одного и того же уравнения с одинаковыми начальными данными, они должны полностью совпадать.

## 🔗 Метод сжимающих отображений: «сердце» доказательства
[[JUMP:03:26]]

Для решения задачи об ОДУ профессор предлагает использовать теорему о сжимающем отображении (теорему Банаха). 

**Ключевые требования теоремы:**

* **Метрическое пространство:** Оно должно быть полным по Коши (Cauchy complete).
* **Сжимающее отображение:** Это функция $T$ из пространства в себя, для которой существует константа $c < 1$ такая, что расстояние между образами элементов меньше расстояния между оригиналами, умноженного на эту константу.
* **Неравенство сжатия:** $d(T(x), T(y)) \le c \cdot d(x, y)$.

Согласно теореме, если эти условия соблюдены, отображение $T$ имеет единственную неподвижную точку ($T(x) = x$). Именно этот абстрактный результат становится инструментом для поиска функции-решения ОДУ.

## 🔄 Преобразование уравнения в интегральный оператор
[[JUMP:06:03]]

Чтобы применить теорему Банаха к дифференциальному уравнению, необходимо переформулировать задачу. Колдинг вводит оператор $T$, действующий на пространстве непрерывных функций на интервале $I$, содержащем ноль.

Определение оператора $T(y)$ выглядит следующим образом:

$$T(y)(x) = a + \int_{0}^{x} (f(y(s)) + g(s)) \, ds$$

Благодаря основной теореме анализа (Fundamental Theorem of Calculus), функция, полученная таким образом, автоматически становится дифференцируемой. Если мы найдем неподвижную точку этого оператора ($T(y) = y$), это будет означать, что производная $y'$ равна подынтегральному выражению, а значение в нуле $y(0) = a$. Таким образом, неподвижная точка оператора $T$ является искомым решением ОДУ.

## 📏 Ограничение интервала и доказательство сжатия
[[JUMP:11:43]]

Профессор Колдинг подчеркивает, что оператор $T$ не всегда является сжимающим на произвольном интервале. Чтобы добиться сжатия, необходимо ограничить область определения.

**Этапы доказательства сжатия:**

1.  **Определение константы Липшица:** Вводится величина $L$ — максимум модуля производной $f'$ на некотором отрезке $[-M, M]$.
2.  **Применение теоремы о среднем значении:** Разность $|f(z_1) - f(z_2)|$ оценивается как $L \cdot |z_1 - z_2|$.
3.  **Оценка интеграла:** Разность между $T(y_1)$ и $T(y_2)$ сводится к интегралу от разности $f(y_1)$ и $f(y_2)$.
4.  **Выбор дельты:** Чтобы константа сжатия была меньше 1, интервал $\delta$ выбирается таким образом, чтобы $\delta \cdot L < 1$ (например, $\delta = 1/2L$).

В результате такого ограничения оператор $T$ гарантированно сжимает расстояние между функциями как минимум в два раза, что обеспечивает существование единственной неподвижной точки на малом интервале.

## 🧩 Связность метрических пространств
[[JUMP:31:10]]

Для доказательства единственности решения на более глубоком уровне профессор обращается к понятию связности метрических пространств. Пространство называется связным, если единственными его подмножествами, которые одновременно являются и открытыми, и замкнутыми, являются пустое множество и само пространство.

Колдинг приводит доказательство того, что любой интервал в $\mathbb{R}$ является связным пространством. Доказательство строится «от противного» с использованием понятия супремума (точной верхней грани) подмножества $B$, состоящего из точек, до которых интервал полностью содержится в целевом множестве $A$. Поскольку множество $A$ замкнуто, оно должно содержать предел (супремум). Поскольку оно открыто, его точки не могут быть границей, что вынуждает множество $A$ совпадать со всем интервалом.

## ⚖️ Единственность решения и лемма о совпадении
[[JUMP:46:34]]

Используя свойство связности, Колдинг формулирует лемму: если две непрерывные функции $U_1$ и $U_2$ совпадают в одной точке и для каждой точки их совпадения существует окрестность, где они также совпадают, то они равны на всем интервале.

Применительно к ОДУ это означает:

* Два решения $y_1$ и $y_2$ совпадают в начальной точке $y(0) = a$.
* Локальная теорема Пикара — Линделёфа гарантирует, что они совпадают в малой окрестности этой точки.
* Поскольку этот аргумент можно применить к любой точке, где решения встретились, по свойству связности они должны быть идентичны везде, где определены.

## 💥 Эффект «взрыва» и пределы существования решений
[[JUMP:59:06]]

Важное замечание профессора касается того, почему мы вынуждены ограничивать интервал $\delta$. Решения ОДУ не всегда существуют на всей числовой прямой $\mathbb{R}$. В качестве примера Колдинг рассматривает уравнение:

$$y' = y^2$$

Для этого уравнения с положительным начальным условием решение имеет вид $y(x) = \frac{a}{1 + a(x_0 - x)}$. Профессор указывает на «эффект взрыва» (blow-up): когда знаменатель стремится к нулю (в точке $x = x_0 + 1/a$), значение функции устремляется в бесконечность. В этой точке график функции имеет вертикальную касательную, и решение не может быть продолжено дальше. Это стандартная проблема дифференциальных уравнений, объясняющая, почему теоремы существования часто носят локальный характер.