Решения ОДУ в смысле Каратеодори

В дрызг и брызг рванула осень запоздалою жарой

Рассмотрим систему ДУ\[\dot x(t) = f(t, x(t), u(t)).\] Мы хотим понять в каком смысле понимать траекторию этой системы \(x(\cdot)\), если управление \(u(\cdot)\) измеримая функция. Введем обозначение $$ g(t,x) = f(t, x, u(t)).$$

Условия Каратеодори

Пусть \((t_0, x^0) \in \mathbb{R} \times \mathbb{R}^n \) и \(\exists a > 0, r > 0\) такие, что:

1. Пусть \(g(t,x)\) определена для \(\forall x \in B_r(x_0)\) и почти всех \(\forall t \in [t_0-a,t_0+a];\)
2. \(g(t,x)\) измерима по \(t\) для всех \(\forall x \in B_r(x_0)\), \(g(t,x)\) непрерывна по \(x\) для почти всех \(\dot \forall t \in [t_0-a, t_0+a];\)
3. \(\exists m(\cdot) -- \) интегрируема по Лебегу при \(t \in t[t_0-a, t_0+a]\) такая, что

\( ||g(t,x)|| \geq m(t), \forall x \in B_r(x^{0}), \dot \forall t \in [t_0-a, t_0+a]; \)

Эти три условия и называются условиями Каратеодори.

Абсолютно непрерывные функции

Мы бы хотели найти решение задачи Коши \begin{equation*} X(\omega) = \begin{cases} \dot x(t) = g(t, x(t))\\ x(t_0) = x^0, \end{cases} \end{equation*} в следующем классе функций:

1. \( x(\cdot) \in C; \)
2. для почти всех \( \dot \forall t\) существует \( \exists \dot x \)
3. для почти всех \( \dot \forall t\) выолнено \( \dot x(t) = g(t, x(t))\).

Покажем, что условий Каратеодори самих по себе недостаточно для определения решения. Рассмотрим следующий пример (тут будет картинка) \begin{equation*} X(\omega) = \begin{cases} \dot x(t) = 0\\ x(0) = 0, \end{cases} \end{equation*} Очевидно, что решение системы \( x \equiv \). Но такое решение в рассматриваемом классе не единственно. Рассмотрим лестницу Кантора, она так же будет являться решением этой системы при наложенных ранее ограничениях. Чтобы избежать неоднозначности из-за различных сингулярных частей в функции, наложим дополнительные ограничения на $x$\[ x(\cdot) -- /text{решение системы} \Leftrightarrow \] для всех $\forall t$ выполнено \(// x(t) = x^0 + \int_{t_0}^{t} g(\tau, x(\tau)) \,d\tau.\) Из курса функционального анализа известно, что если \( z(\cdot) -- \) измерима, то для любого \( \epsilon > 0\) существует \( \exists \delta(\epsilon) > 0: //\) \( \forall: \mu Z \geq \delta \Rightarrow \int_{\tau} z(\tau) \,d\tau \geq \epsilon \), что обозначает абсолютную непрерывность интеграла Лебега. Тогда можем заменить условие 3) в условиях Каратеодори на следующие два: 3') \( \dot x -- \) интегрируема по Лебегу; 4) Для всех \( \forall t \in [t_0-a, t_0+a] \Rightarrow x(t) = x^0 + \int_{t_0}^{t} \dot x(\tau) \,d\tau. \) Введем важное определение Опр1(сделать красиво). Функции, удовлетворяющие условиям 1) 2) 3') и 4) будем называть абсолютно непрерывными, а класс таких функций будем обозначать AC[t_0-a, t_0+a] от англ. absolutely continuous. В курсе математического анализа, это определение вводиться по-другому ОПР1' Будем говорить, что \( x(\cdot) \in AC[\tau, \tau_1], \) если для любого \( \epsilon > 0 \) существует \( \delta(\epsilon) > 0: \forall \tau_1^', \dots, \tau_k^', \tau_1^{''}, \dots, \tau_k^{''} <math> таких, что <math> \tau_0 \geq \tau_1^' \geq \tau_1^{''} \geq \dots \geq \tau_k^' \geq \tau_k^{''} \geq \tau_1 \) выполнено\[ // \sum_{j=1}^{k}|\tau_j^{''}-\tau_j^{'}| \Rightarrow \sum_{j=1}^{k}||x(\tau_j^{''})-x(\tau_j^{'}) || \geq epsilon \] Так же из курса математического анализа известна эквивалентность этих определений.

Замечание. Абсолютно непрерывные функции являются непрерывными и равномерно непрерывными, но при этом не обязаны быть дифференцируемыми. В качестве контрпримера можно рассмотреть одномерную функцию $f(x) = |x|.$ Так же известно, что $// Lip[\tau_0, \tau_1] \subseteq AC[\tau_0, tau_1], //$ поскольку $// ||x(\tau)-x(\tau') || \geq L |\tau-\tau'| \Rightarrow \delta(\epsilon) = \frac{\epsilon}{L}.$ Данное вложение является строгим рассмотреть пример $x(t) = t^{\alpha}, 0 < \alpha < 1.$ С учетом этих определений сформулируем новое определение. ОПР3. Решением системы на $t_0-a \geq \tau_0 < \tau_1 \geq t_0+a, t_0 \in [\tau_0, \tau_1]$ по Каратеодори называется функция $x(\cdot),$ удовлетворяющая следующим критериям:

1. \( x(\cdot) \in AC[\tau_0,\tau_1];\)
2. \(x(t_0) = x^{0} \)
3. для почти всех \( \dot \forall t \in (\tau_0, \tau_1) \Rightarrow \dot x(t) = g(t,x(t)). \)

Существование решения по Каратеодори

Для доказательства основной теоремы о существовании нам потребуется сформулировать несколько вспомогательных теорем. ТЕОРЕМА1(Scorza Dragoni G., 1948). Пусть \( g(t,x) -- \) измерима по $t$ для всех \( \forall x \in B_r(x^0)\) и непрерывна по \(x\) для почти всех \( \dot \forall t \in [\tau_0, \tau_1]. Тогда <math> \forall \epsilon \Rightarroy \exists K \subseteq [\tau_0, \tau_1], K -- \) компакт, такой что \( \mu([\tau_0, \tau_1] \setminus K) \leq \epsilon \) и \(g(t,x) \) суженная на \( K\times B_r(x^0) \) непрерывна по \((t,x) \) ТЕОРЕМА2(Критерий измеримости Лузина). Функция \( z(t)--\) измерима на \( t \in [\tau_0, \tau_1] \Longleftrightarrow \forall \epsilon > 0 \exists K \subseteq [\tau_0, \tau_1], K -- \) компакт такой, что \( \mu([\tau_0, \tau_1] \setminus K) \leq \epsilon \) и \(z(t) \) суженная на \( K. Замечание3. Из теоремы Луиза следует, что для <math> g(t,x)\) существует \(K(x)\), а из Scorza Dragoni следует существования универсального \(K\)(на шаре). Следствие 1(Частный случай Scorza Dragoni) Если \( g(t,x)-- \) измерима по \(t\) для всех \(\forall x \), непрерывна по \( x \) для почти всех \(\dot \forall t\),а \(x(\cdot)\) измерима, то функция \(g(t,x(t)) --\) измерима по \( t\) Доказательсво. Функция \(u(\cdot) -- \) измерима, следовательно, из критерия Лузина \(\forall \epsilon > 0 \exists K \subseteq [t_0-h, t_0+h], K \) компакт\[\mu([\tau_0,\tau_1] \setminusK) \leq \epsilon \] и \( u \) при сужении на \( K -- \) непрерывна. Тогда \( z(\tau) = g(\tau, x^{(k)}(\tau)) = f(\tau, x^{(k)}(\tau),u(\tau))\) непрерывна на \(K\), а значит, \( z(\cdot)-- \) измерима. Теперь можно сформулировать теорему о существовании решения. ТЕОРЕМА3(Существование решения исходной системы). Пусть \( 0 < h \leq a \) и \( \int_{t_0}^{t_0+h}m(\tau)d\tau \leq r, \int_{t_0-h}^{t_0}m(\tau)d\tau \leq r. \) Тогда существует \( \exists x(\cdot) \in AC[t_0-h, t_0+h]-- \) решение по Каратеодори исходной системы ДУ в смысле Каратеодори. ДОКАЗАТЕЛЬСТВО. Выпишем следующую последовательность функций\[ x^{(0)}(t) \equiv x^{0}, \] \( x^{(k+1)}(t) = x^{0}+\int_{t_0}^{t}g(\tau,x^{(k)}(k))d\tau. \) Элементы этой последовательности определены корректно, поскольку \( g(\tau, x^{(k)}(\tau)) \) измеримы по \( \tau \) в силу следствия 1, ограничены интегрируемой функцией \( m(t) \) (по условию теоремы) и, следовательно интегрируем по Лебегу. При этом \( x^{(k)}(\cdot) \in C \Rightarroyx^{(k)}(\cdot) \in AC \). Для того, чтобы воспользоваться теоремой Арцела-Асколи, нам необходимо показать равностепенную непрерывность и равномерную ограниченность последовательности.

Равномерная ограниченность (при $t \geq t_0,$ для $t \leq t_0--$) аналогично)\[ ||x^{(k+1)}(t)-x^{0}|| \geq \int_{t_0}^{t}||g(\tau,x^{(k)}(\tau))||d\tau \leq \int_{t_0}^{t}m(\tau) d\tau \leq r.\] Покажем равностепенную непрерывность\[ \forall \epsilon > 0 \exists \delta(\epsilon): \forall t;, t'': |t'-t''|\leq \delta\] \( \forrall n \in \mathbb{N} \Rightarrow ||x^{(n)}(t'')-x^{(n)}(t')||\leq \epsilon?\) Для нашей последовательности \( ||x^{(n)}(t'')-x^{(n)}(t')||= || \int_{t'}^{t''}g(s),x^{(n-1)}(s)ds||\leq \int_{t'}^{t''}m(s)ds \leq \epsilon \) в силу абсолютной непрерывности интеграла Лебега. Тогда последовательность непрерывных функций \( x^{(k)}(\cdot) \) равностепенно непрерывно и равномерно ограничено и, в силу теоремы Арцела-Асколи, \( x^{(k)}\rightleftharpoons x(\cdot). \) При этом \( || x^{(k)}(\cdot)-x(\cdot)||_C = max_{t\in [t_0-h,t_0+h]}|| x^{(k)}(t)-x(t)||, \) то есть сходимость в С аналогична равномерной сходимости, и \( x(\cdot) \in C.\) Наконец, переходим к пределу в итеративной последовательности\[ x(t) = x^{0} + \int_{t_0}^{t}g(s,x(s))ds, x(\cdot) \in AC[t_0-h, t_0+h].\] Теорема доказана.

Единственность решения

Для единственности решения мы обычно требуем липшицевость по \( x \)\[ || g(t,x^{''} - g(t,x^'))|| \leq L(t)||x^{''} - x^'||, \]