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

Материал из sawiki
Перейти к навигации Перейти к поиску
Строка 17: Строка 17:
 
# <math>g(t,x)</math> измерима по <math>t</math> для всех <math>\forall x \in B_r(x_0)</math>, <math>g(t,x)</math> непрерывна по <math>x</math> для почти всех <math>\dot \forall t \in [t_0-a, t_0+a];</math>
 
# <math>g(t,x)</math> измерима по <math>t</math> для всех <math>\forall x \in B_r(x_0)</math>, <math>g(t,x)</math> непрерывна по <math>x</math> для почти всех <math>\dot \forall t \in [t_0-a, t_0+a];</math>
 
# <math>\exists m(\cdot) -- </math>  интегрируема по Лебегу при <math>t \in t[t_0-a,  t_0+a]</math> такая, что  
 
# <math>\exists m(\cdot) -- </math>  интегрируема по Лебегу при <math>t \in t[t_0-a,  t_0+a]</math> такая, что  
<math>\[ ||g(t,x)|| \geq m(t), \forall x \in B_r(x^{0}), \dot \forall t \in [t_0-a, t_0+a]; \]$$</math>  
+
<math>\[ ||g(t,x)|| \geq m(t), \forall x \in B_r(x^{0}), \dot \forall t \in [t_0-a, t_0+a]; \]</math>  
 
Эти три условия и называются условиями Каратеодори.
 
Эти три условия и называются условиями Каратеодори.
 
# Александр Бабаев
 
# Александр Бабаев

Версия 04:09, 29 ноября 2021


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

Рассмотрим систему ДУ\[\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]\) такая, что

\('"`UNIQ-MathJax3-QINU`"'\) Эти три условия и называются условиями Каратеодори.

  1. Александр Бабаев