Глава 1. Задача Коши и решение как процесс

Где стоит глава

Открытие Части VIII

Часть VII довела гармонический анализ до рационального преобразования Уолша–Адамара — <<Фурье без трансцендентностей>>. Накопленного аппарата — процессов над ℚ, скалярного произведения, интеграла как процесса накопления, банаховой неподвижной точки — достаточно, чтобы взяться за уравнения, которые лежат в основании всей математической физики: обыкновенные дифференциальные уравнения, уравнения изменения.

Классическая теория ОДУ берёт решение как завершённый объект: функцию $y(t)$ на отрезке, существующую по теореме Пикара–Линделёфа (или Пеано) как готовый элемент функционального пространства $C([a,b])$. Само существование формулируется как утверждение о наличии такого объекта: <<существует функция, удовлетворяющая уравнению и начальному условию>>. ToS применяет здесь тот же приём, что вёл весь том. Решение для нас — не завершённая функция, а процесс: последовательность приближений Эйлера или итераций Пикара, $y_0,y_1,y_2,\dots$, каждое из которых — конечный рациональный объект. А существование — не наличие готовой функции в $C([a,b])$, а свойство этого процесса: его приближения образуют процесс Коши. Завершённая функция-решение на отрезке — роль-предел, к которому процесс сходится, но который не нужно актуализировать как объект, чтобы вести теорию.

Настоящая глава задаёт онтологический каркас всей Части VIII: решение есть процесс, существование есть наличие Коши-процесса приближений. Конкретные методы (Эйлер на сетке — Глава 8.2), полноценная теорема Пикара–Линделёфа как сжатие на пространстве функций (центр Части, Глава 8.3), устойчивость и единственность (Глава 8.4), экспонента и линейные уравнения (Глава 8.5) разворачивают этот каркас в подробностях. Здесь же мы устанавливаем сам сдвиг точки зрения и проверяем, что он несёт честное конструктивное содержание.

Что эта глава утверждает — и что нет

Честность с самого начала. Глава работает с задачей Коши для скалярного уравнения первого порядка

$$y^{\prime }(t)=f(t,y(t)),y(t_0)=y_0,$$

с правой частью $f$, удовлетворяющей условию Липшица по $y$, и переформулирует понятие решения как процесс приближений над ℚ. Доказанное ядро — конкретное: траектория Эйлера и (скалярная) итерация Эйлера–Пикара суть рациональные процессы; при липшицевости и достаточно малом шаге итерация есть сжатие, а значит — процесс Коши (банахова неподвижная точка).¹

Чего глава не делает: она не предъявляет завершённую функцию-решение на отрезке как готовый объект, не доказывает глобальное во времени продолжение и не вызывает к существованию точный предел иначе как роль-предел. В текущем формальном слое сам переход от геометрического убывания итератов к их Коши-сходимости и к завершённому пределу наследует закон исключённого третьего (L3); это честно отмечается там, где используется, и не маскируется под конструкцию.²

Чтобы держать границу в поле зрения, различим три уровня строгости. Первый — конкретные процессы над ℚ: траектория Эйлера, скалярная итерация Эйлера–Пикара, её сжатие и Коши-свойство — доказаны точно, без аксиом. Второй — процессные чтения: решение как роль-предел Коши-процесса итераций, существование как Коши-свойство приближений, правая часть $f$ как закон скорости. Третий — завершённая функция-решение на отрезке как готовый объект, глобальное продолжение и точный предел — роль-пределы и направление, а не построенная теория. Первые два уровня глава ведёт как доказанные (с явной отметкой там, где предел требует L3), третий — как честно помеченную границу.

E/R/R-каркас главы

Зададим каркас системы в порождающем порядке Rules $\to$ Roles $\to$ Elements; полный разбор с таблицей и проверкой корректности — в § «Разбор в порождающем порядке». Глава вводит систему решения задачи Коши как процесса.

Rules (Правила, $\leftrightarrow$ L5). Само уравнение $y^{\prime }=f(t,y)$ — закон изменения, связывающий значение и скорость. Над ним — правило порождения приближений: шаг Эйлера $y_{n+1}=y_n+hf(t_n,y_n)$ или оператор Пикара $\Phi (y)(t)=y_0+{\int }_{t_0}^{t}f(s,y(s))ds$. И венчающее правило существования: при липшицевости итерация есть сжатие, поэтому процесс приближений — процесс Коши; решение — его предел (неподвижная точка оператора).

Roles (Роли, $\leftrightarrow$ L4). Приближение $y_n$ — роль-стадия процесса; правая часть $f$ — роль-поле-скорости (закон, по которому состояние меняется); начальное условие $y_0$ — роль-якорь; <<существование>> — роль-свойство (сходится ли процесс); а само решение — роль-предел Коши-процесса приближений, не актуализируемый как завершённая функция.

Elements (Элементы, $\leftrightarrow$ L1$+$P4). Рациональные значения приближений $y_n$, узлы сетки $t_n$, конечный номер стадии $n$, шаг $h$. Под P4 завершённая функция-решение на отрезке — вне элементов: актуальны лишь конечные стадии процесса.

Задача Коши

Уравнение изменения

Дифференциальное уравнение связывает состояние системы с темпом его изменения. Задача Коши — это уравнение плюс начальное условие:

$$y^{\prime }(t)=f(t,y(t)),y(t_0)=y_0.$$

Здесь $f$ — известное правило, говорящее, как быстро меняется состояние в зависимости от текущего момента и текущего значения; $y_0$ — состояние в начальный момент. Вопрос: что такое решение этой задачи?

Классический ответ: решение — это функция $y(t)$, всюду на некотором отрезке дифференцируемая и обращающая уравнение в тождество. Существование такого объекта гарантирует теорема Пикара–Линделёфа при условии, что $f$ непрерывна и липшицева по $y$. В этой формулировке решение — завершённая функция, элемент пространства $C^1([a,b])$, и существование есть утверждение о наличии такого элемента.

ToS принимает уравнение и начальное условие без оговорок — это конечные, рациональные данные. Под сомнение ставится не задача, а онтология ответа: обязаны ли мы, чтобы осмысленно говорить о решении, иметь в руках завершённую функцию на всём отрезке? Весь том отвечает: нет. Как иррациональное число есть процесс приближений, а не завершённая бесконечная десятичная дробь (Часть III),³ так и решение дифференциального уравнения есть процесс приближений, а не завершённая траектория.

Сдвиг вопроса

Сдвиг точки зрения меняет сам вопрос. Вместо <<существует ли функция $y(t)$?>> мы спрашиваем: сходится ли процесс приближений, который порождает уравнение из начального условия? Это не ослабление, а уточнение: классическое существование функции и процессная сходимость приближений — два прочтения одного и того же факта, но второе конструктивно в той мере, в какой первое — нет. Процесс приближений можно предъявить и вычислить на любой конечной стадии; завершённую функцию — лишь помыслить как предел.

Решение задачи Коши — не завершённый объект, который <<есть>> или <<нет>> в функциональном пространстве, а роль: место, к которому стремится процесс приближений, порождённый уравнением из начального условия. Спрашивать <<существует ли решение>> значит спрашивать <<сходится ли этот процесс>> — вопрос о Коши-свойстве рациональной последовательности, а не о членстве объекта в завершённом пространстве.

Решение как процесс приближений

Траектория Эйлера

Простейший процесс, порождаемый задачей Коши, — метод Эйлера. Разобьём интервал шагом $h$ и будем по шагам двигаться по касательной, которую в каждой точке задаёт правая часть:

$$y_{n+1}=y_n+hf(t_n,y_n),t_n=t_0+nh.$$

Это явный рекуррентный процесс: из начального значения $y_0$ он порождает рациональную последовательность $y_0,y_1,y_2,\dots$, и каждое $y_n$ — конечный рациональный объект, вычислимый за $n$ шагов. Никакого предельного перехода в самом построении нет: траектория Эйлера — это процесс в точном смысле тома, отображение номера стадии в рациональное приближение.⁴ Глава 8.2 разберёт его подробно; здесь важно лишь, что задача Коши немедленно порождает процесс, а не объект.

Итерация Пикара

Второй, более тонкий процесс — итерация Пикара. Перепишем задачу Коши в интегральной форме (по сеточно-процессной основной теореме анализа Части V, где интеграл — процесс накопления):

$$y(t)=y_0+{\int }_{t_0}^{t}f(s,y(s))ds.$$

Правая часть — это оператор $\Phi$, действующий на функции: $\Phi (y)(t)=y_0+{\int }_{t_0}^{t}f(s,y(s))ds$. Решение — неподвижная точка этого оператора, $\Phi (y)=y$. Итерация Пикара строит её как процесс: стартуем с постоянной $y^{(0)}(t)\equiv y_0$ и последовательно применяем оператор, $y^{(m+1)}=\Phi (y^{(m)})$. Каждая итерация — функция, приближающая решение; вся последовательность — процесс на пространстве функций.⁵

В обоих случаях — и для Эйлера, и для Пикара — решение предстаёт как процесс: последовательность приближений, индексированная номером стадии. Различие методов — в том, что приближает стадия (точку траектории или целую функцию) и как быстро процесс сходится. Но онтология одна: актуальна стадия, предел — роль.

Приближение $y_n$ (или $y^{(m)}$) — роль-стадия: конечный рациональный снимок ещё не завершённого процесса. Правая часть $f$ — роль-поле-скорости: закон, по которому процесс делает следующий шаг. Само решение — роль-предел, направление сходимости стадий, а не один из её снимков.

Существование как наличие Коши-процесса

Сжатие порождает сходимость

Что значит <<процесс приближений сходится>>? В точности то, что он есть процесс Коши: его стадии в конце концов сближаются сколь угодно тесно. И здесь липшицевость правой части играет решающую роль. Если $f$ липшицева по $y$ с константой $L$, то на достаточно малом шаге итерация Эйлера–Пикара — сжатие: расстояние между образами двух приближений строго меньше расстояния между самими приближениями, с коэффициентом $r<1$. А сжатие, по банаховой схеме, порождает процесс Коши: последовательные приближения сближаются геометрически.⁶

Таким образом существование решения переписывается без обращения к завершённой функции: приближения, порождённые уравнением, образуют процесс Коши. Это утверждение о рациональной последовательности — его можно сформулировать и доказать, не вызывая к существованию ни одного бесконечного объекта. Конструктивное ядро теоремы Пикара–Линделёфа — именно это: не <<есть функция>>, а <<процесс сжимается>>.

Где появляется граница

Граница ровно там, где от Коши-процесса требуют завершённый предел как объект. <<Процесс Коши сходится к пределу>> — шаг, который над ℚ (без завершённого ℝ) опирается на закон исключённого третьего: предел существует как роль, к которой стадии подходят, но его актуализация как готовой функции — уже не конструкция, а постулат L3.⁷ Точно так же глобальное во времени продолжение решения, его поведение на бесконечном интервале и завершённая траектория как единый объект — роль-пределы, а не построенные сущности.

Доказано конечное и процессное: уравнение порождает процесс приближений, и при липшицевости этот процесс — Коши. Этого достаточно, чтобы вести всю теорию ОДУ как теорию процессов решения — сеточных траекторий (Глава 8.2), сжимающего оператора Пикара (Глава 8.3), устойчивости приближений (Глава 8.4), — не вызывая к существованию завершённую функцию-решение.

Существование решения — роль-свойство процесса: сходится ли он. Доказано конструктивно (0 аксиом) — алгебра сжатия и геометрический зазор итератов (Глава 8.3, picard_iter_gap); сама Коши-сходимость и завершённый предел в текущем формальном слое наследуют L3 через Qpow_vanish и честно помечаются по Print Assumptions. Завершённый предел — роль-предел, не актуализируемый как функция-объект.

E/R/R-разбор: решение как Роль-предел процесса

Постановка

Разберём построенную систему — решение задачи Коши как процесс — в терминах E/R/R. Оговорка об уровне: <<система решения>> здесь — содержательная интерпретация конструкции (уравнение плюс правило порождения приближений плюс сходимость), а не объект, буквально объявленный в коде как System. Разбор есть онтологическое осмысление структуры главы и чтение авторских E/R/R-шапок опорных файлов,⁸ а не приписывание коду новых формальных утверждений.

Напомним принятое в томе различение: аббревиатура E/R/R задаёт эпистемический порядок (Elements $\to$ Roles $\to$ Rules, от наблюдаемого к глубинному), а порождающий (онтологический) порядок обратен: Rules $\to$ Roles $\to$ Elements. Эпистемически мы шли от наблюдаемых приближений к закону их порождения и сходимости; ведём разбор в порождающем порядке.

Разбор в порождающем порядке

Rules (Правила, $\leftrightarrow$ L5). В основании — само уравнение $y^{\prime }=f(t,y)$: закон, связывающий состояние и скорость его изменения. Над ним — правило порождения приближений: дискретный шаг Эйлера $y_{n+1}=y_n+hf(t_n,y_n)$ или интегральный оператор Пикара $\Phi$. Венчает конструкцию правило существования: при липшицевости $f$ итерация есть сжатие, поэтому процесс приближений — процесс Коши, а решение — неподвижная точка оператора (его роль-предел). Универсальный слой этих правил — законы L1–L5 (в частности L3, делающий завершённый предел объектом); конкретный слой — формула шага и условие $Lh<1$.

Roles (Роли, $\leftrightarrow$ L4). Правила задают роли. Приближение $y_n$ — роль-стадия: конечный снимок процесса на номере $n$. Правая часть $f$ — роль-поле-скорости: закон следующего шага. Начальное условие $y_0$ — роль-якорь. <<Существование>> — роль-свойство (сходится ли процесс). А само решение — роль-предел: место, к которому стремятся стадии, не актуализируемое как завершённая функция-объект.

Elements (Элементы, $\leftrightarrow$ L1$+$P4). Роли подбирают носителей, и носители здесь конечны на каждой стадии: рациональные приближения $y_n$, узлы сетки $t_n$, номер стадии $n\in N$, шаг $h\in Q$. Под P4 ни один элемент не есть завершённая бесконечность: актуальны лишь конечные стадии; завершённая функция-решение не актуализируется как элемент — актуализируется процесс приближений к ней.

Компонент	Что фиксирует	E/R/R
$y^{\prime }=f(t,y)$; шаг Эйлера $y_{n+1}=y_n+hf$; оператор Пикара $\Phi$; сжатие$\Rightarrow$Коши	КАК порождаются приближения и почему сходятся	Rules ($L5$)
стадия $y_n$; поле скорости $f$; якорь $y_0$; существование; решение как предел	ЗАЧЕМ значимы носители: места в процессе	Roles ($L4$)
$y_n\in Q$; узлы $t_n$; номер $n\in N$; шаг $h\in Q$	ЧТО есть на каждой стадии (конечно, P4)	Elements ($L1$, P4)

Проверка сформированности и что даёт разбор

{ Система сформирована корректно: каждый компонент попадает ровно в одну E/R/R-категорию, и нет самоотнесения (P1). Существенно, чего здесь нет: процесс решения не берёт своим элементом <<завершённую траекторию на всём отрезке>> или <<функцию-решение как готовый объект>>. Система конечна на каждой стадии, а существование проверяется как Коши-свойство порождённого процесса, а не как членство объекта в завершённом функциональном пространстве. Именно отсутствие такого самоотнесения объясняет, почему теория ОДУ не нуждается здесь ни в завершённой функции, ни в постулате о её существовании сверх сходимости процесса: всё содержательное выражено конечными приближениями и критерием их сближения.}

Что даёт разбор. Он переводит результаты главы на язык структуры: решение — это Роль (предел процесса приближений), существование — это Правило-критерий (сжатие, влекущее Коши-свойство), а сами приближения $y_n$ и узлы $t_n$ — Элементы (конечные на каждой стадии). Брать <<решение>> как завершённую функцию-объект значит ставить роль-предел на место Элемента — смешение категорий того же рода, что <<число как объект>> вместо роли-количества (Часть II), <<точка как объект>> вместо класса (Глава 4.3), <<ряд Фурье как завершённая сумма>> вместо семейства усечений (Глава 7.1). Решение ОДУ начинается здесь как процесс конечных приближений; его сходимость — Коши-свойство этого процесса, а как завершённый объект решение не нужно и не строится.

Следующая глава предъявляет простейший из этих процессов во всей конкретности — метод Эйлера на рациональной сетке: траекторию как порождающий процесс, строгое различение номера стадии и шага сетки, и явные рациональные приближения к экспоненте, линейному и квадратичному решениям.

---

---

Часть: Часть VIII. Обыкновенные дифференциальные уравнения · Том: «Математика»

Навигация: ← Глава 5. Сжатие, быстрое преобразование, свёртка — Часть VII · Глава 2. Метод Эйлера: решение на сетке →

Footnotes

1. Опорные файлы — ProcessODE.v и ProcessPicard.v (каталог src/process/ Rocq-репозитория ToS), плюс stdlib/ODE.v (запись ODE с шагом Эйлера как GenProcess, 22 доказанных утверждения, 0 Admitted). Скалярное сжатие Эйлера–Пикара и его Коши-свойство — euler_picard_contraction и euler_picard_cauchy в ProcessPicard.v; банахов слой — iterate_is_cauchy в FixedPoint.v. ↩

2. Банахова теорема о неподвижной точке (banach_fixed_point) и Коши-сходимость итератов (iterate_is_cauchy) в FixedPoint.v наследуют classic через лемму о затухании $c^n$ (Qpow_vanish) — шапка файла отмечает это прямо, и в нём стоят Print Assumptions для обеих. Конструктивно (0 аксиом) здесь другое: алгебраическая оценка сжатия (euler_picard_contraction, ProcessPicard.v) и — в расширенном слое Главы 8.3 — геометрический зазор итератов и единственность решения на сетке (picard_iter_gap, picard_unique в ProcessPicardOperator.v, проверено Print Assumptions: <>). Стержень главы — именно это различие: алгебра сжатия и зазор строятся без аксиом, переход к завершённому пределу — L3-слой. ↩

3. См. Часть III, Глава 4: иррациональное в ToS есть $R$-процесс (полный E/R/R-объект), а не <<число>> и не <<правило, запрещающее элемент>>. Решение ОДУ наследует ровно эту онтологию: процесс, чей терминус — роль-предел. ↩

4. Шаг Эйлера и метод — euler_step и euler_method в ProcessODE.v; траектория Эйлера на рациональной сетке — euler_traj в analysis/PicardLindelof.v; в stdlib/ODE.v шаг Эйлера оформлен как GenProcess — порождающий процесс тома, отображение $N\to Q$. Что решение есть процесс, а не его предел, зафиксировано в ode_is_process (ProcessODE.v): пара <<процесс-решение / процесс-ошибка>>, где процесс-решение совпадает с итерацией Эйлера–Пикара. ↩

5. Интегральный шаг Пикара picard_step определён в ProcessPicard.v; интеграл в нём — процесс накопления Части V. Полноценная теорема о сжатии оператора Пикара на пространстве функций (а не только скалярного шага) — центр Части, Глава 8.3 (ProcessPicardOperator.v). ↩

6. В скалярном слое: euler_picard_contraction (ProcessPicard.v) доказывает, что отображение $y\mapsto y_0+f(y)h$ есть сжатие (is_contraction) с коэффициентом $Lh$ при $Lh<1$ — это конструктивно, 0 аксиом. Переход от сжатия к самой Коши-сходимости итератов (euler_picard_cauchy там же; iterate_is_cauchy в FixedPoint.v) идёт через лемму о затухании $c^n$ (Qpow_vanish) и потому наследует classic. Иными словами, <<приближения образуют процесс Коши>> распадается на конструктивную алгебру сжатия и L3-зависимый предельный переход — что и проверяется Print Assumptions. ↩

7. Полная банахова теорема в форме <<неподвижная точка существует>> (banach_fixed_point) наследует classic; см. также ProcessPicardOperator.v (Глава 8.3), где сжатие на пространстве функций, единственность решения на сетке и геометрический зазор итератов доказаны без аксиом, а явная обёртка <<итераты $\to$ завершённое решение>> честно отнесена к этому L3-слою. ↩

8. Шапки дают разметку прямо: ProcessODE.v и ProcessPicard.v — Elements: рациональные приближения, узлы сетки, шаг $h$; Roles: приближение — стадия, решение — предел, $f$ — поле скорости; Rules: шаг Эйлера / оператор Пикара, сжатие при липшицевости. Шапка ProcessPicardOperator.v (Глава 8.3) помечает завершённую функцию-решение как роль-предел явно. ↩