Теорема о чередовании нулей и её приложения

Материал из sawiki
Перейти к навигации Перейти к поиску

Постановка задачи

Рассмотрим движение материальной точки в нелинейном поле:

\begin{equation*} \ddot x + f(x, \dot x) = u, \end{equation*} \begin{equation*}\label{newSys} \begin{cases} \dot x_1 = x_2,\\ \dot x_2 = -f(x_1, x_2) + u,\\ x_1(t_0) = x_1^0, x_2(t_0) = x_2^0,\\ |u| \leq 1. \end{cases} \end{equation*}

Пусть \(f(0, 0) = 0\) (иначе воспользуемся заменой переменных). Требуется стабилизировать систему: \begin{equation*} \begin{cases} \dot x_1(t_1) = \dot x_2(t_1) = 0,\\ t_1 \rightarrow min. \end{cases} \end{equation*} \begin{equation*} H = \psi_1 x_2 - \psi_2 f(x_1, x_2) + \psi_2 u \end{equation*}

Сопряженная система: \begin{equation*} \begin{cases} \dot \psi_1 = \psi_2 \frac{\partial f(x_1, x_2)}{\partial x_1},\\ \dot \psi_2 = -\psi_1 + \psi_2 \frac{\partial f(x_1, x_2)}{\partial x_2},\\ \end{cases} \end{equation*} Условие максимума: \begin{equation*} u^* = \begin{cases} \sign \psi_2, \psi_2 \neq 0,\\ [-1, 1], \psi_2 = 0.\\ \end{cases} \end{equation*}

Если \(\psi_2 \equiv 0\) на \((\tau_1, \tau_2)\), то \(\dot \psi_2 = - \psi_1 + \psi_2 \frac{\partial f}{\partial x_2}\), но \(\psi_2 \equiv 0, \dot \psi_2 \equiv 0 \Rightarrow \psi_1 \equiv 0 \Rightarrow \psi \equiv 0 ?!\)

Следовательно, особый режим невозможен \(\Rightarrow u^* = \sign \psi_2\).

\begin{equation*} H = \psi_1 x_2 - \psi_2 f(x_1, x_2) + |\psi_2| \equiv const \end{equation*}

Запишем задачу:

\begin{equation*} \begin{cases} \dot x_1 = x_2,\\ \dot x_2 = -f(x_1, x_2) + \sign \psi_2,\\ \dot \psi_1 = \psi_2 \frac{\partial f(x_1, x_2)}{\partial x_1},\\ \dot \psi_2 = -\psi_1 + \psi_2 \frac{\partial f(x_1, x_2)}{\partial x_2}. \end{cases} \end{equation*}

Теорема о чередовании нулей

Формулировка теоремы.
Если \(\tau_1 < \tau_2, [\tau_1, \tau_2] \subseteq [t_0, t_1]\), то:

\begin{equation*} 1) \begin{cases} \psi_2(\tau_1) = \psi_2(\tau_2) = 0,\\ x_2(\tau_1) = 0. \end{cases} \Rightarrow x_2(\tau_2) = 0. \end{equation*}

\begin{equation*} 2) \begin{cases} \psi_2(\tau_1) = \psi_2(\tau_2) = 0,\\ x_2(\tau_1) \neq 0. \end{cases} \Rightarrow x_2(\tau_2) \neq 0, \exists \tau \in (\tau_1, \tau_2) : x_2(\tau) = 0. \end{equation*}

\begin{equation*} 3) \begin{cases} x_2(\tau_1) = x_2(\tau_2) = 0,\\ x_2(t) \neq 0, \forall t \in (\tau_1, \tau_2),\\ \psi_2(\tau_1) = 0. \end{cases} \Rightarrow \psi_2(\tau_2) = 0. \end{equation*}

\begin{equation*} 4) \begin{cases} x_2(\tau_1) = x_2(\tau_2) = 0,\\ x_2(t) \neq 0, \forall t \in (\tau_1, \tau_2),\\ \psi_2(\tau_1) \neq 0. \end{cases} \Rightarrow \psi_2(\tau_2) \neq 0, \exists \tau \in (\tau_1, \tau_2) : \psi_2(\tau) = 0. \end{equation*}

Доказательство.
1) \begin{equation*} H(\tau_1) = \psi_1(\tau_1) x_2(\tau_1) - \psi_2(\tau_1) f + |\psi_2(\tau_1)| = 0, (\psi_2(\tau_1) = 0, x_2(\tau_1) = 0),\\ H(\tau_2) = H(\tau_1) = \psi_1(\tau_2) x_2(\tau_2) - \psi_2(\tau_2) f + |\psi_2(\tau_2)| = 0 \Rightarrow \psi_1(\tau_2) x_2(\tau_2) = 0 \end{equation*}

Если \(\psi_1(\tau_2) = 0 \Rightarrow \psi \equiv 0 ?!\)

Тогда \(x_2(\tau_2) = 0\).

2) \begin{equation} H(\tau_1) = \psi_1(\tau_1) x_2(\tau_1) - \psi_2(\tau_1) f + |\psi_2(\tau_1)| \neq 0, (\psi_2(\tau_1) = 0, x_2(\tau_1) \neq 0, \phi_1(\tau_1) \neq 0),\\ H(\tau_2) = H(\tau_1) = \psi_1(\tau_2) x_2(\tau_2) - \psi_2(\tau_2) f + |\psi_2(\tau_2)| \neq 0 \Rightarrow x_2(\tau_2) \neq 0 \end{equation}

Без ограничения сложности, положим \(\psi_2(t) \neq 0, \forall t \in (\tau_1, \tau_2)\).

Тогда возможны две ситуации, в каждой из которых \(\dot \psi_2(\tau_1) \dot \psi_2(\tau_2) < 0\):

\begin{equation*} \dot \psi_1(\tau_1) = - \psi_1(\tau_1) + \psi_2(\tau_1) \frac{\partial f}{\partial x_2} < 0 (> 0),\\ \dot \psi_2(\tau_2) = - \psi_1(\tau_2) + \psi_2(\tau_2) \frac{\partial f}{\partial x_2} > 0 (< 0),\\ \Rightarrow \psi_2(\tau_1) \psi_2(\tau_2) < 0. \end{equation*}

Из (1)\[\psi_1(\tau_1) x_2(\tau_1) = \psi_1(\tau_2) x_2(\tau_2) \Rightarrow x_2(\tau_1) x_2(\tau_2) < 0\]

Поскольку \(x_2()\) - непрерывная функция, то \(\exists \tau \in (\tau_1, \tau_2) : x_2(\tau) = 0\).

3) Рассмотрим функцию\[z(t) = \psi_1(t) x_2(t) + \psi_2(t) \frac{dx_2(t)}{dt}\] - кусочна-непрерывна\[\dot x_2 = -f(x_1, x_2) + u\].

Разрывы могут быть лишь в моменты переключений.

Пусть \(t_0\) - точка непрерывности. Тогда при \(t \in V_\delta(t_0)\)\[\frac{dz(t)}{dt} = \psi_2 \frac{\partial f}{\partial x_1} x_2 + \psi_1 (-f + u) + (-\psi_1 + \psi_2 \frac{\partial f}{\partial x_2})(-f + u) + \psi_2(- \frac{\partial f}{\partial x_1} x_2 - \frac{\partial f}{\partial x_2} (-f + u)) = 0\]

Следовательно, \(z(t)\) - кусочно-постоянная.

Если же \(t_0\) - момент переключения, то \(\psi_2(t_0) = 0\).

Но тогда и \(z(t_0 - 0) = z(t_0 + 0) \Rightarrow z(t) \equiv const\).

\begin{equation*} z(\tau_1) = \phi_1(\tau_1) x_2(\tau_1) + \phi_2(\tau_1) \dot x_2(\tau_1) = 0,\\ z(\tau_2) = z(\tau_1) = \phi_1(\tau_2) x_2(\tau_2) + \phi_2(\tau_2) \dot x_2(\tau_2) = 0. \end{equation*}

Следовательно, \(\psi_2(\tau_2) = 0\).

4) Аналогично п. 3):

\begin{equation*} z(\tau_1) = \phi_1(\tau_1) x_2(\tau_1) + \phi_2(\tau_1) \dot x_2(\tau_1) \neq 0,\\ z(\tau_2) = z(\tau_1) = \phi_1(\tau_2) x_2(\tau_2) + \phi_2(\tau_2) \dot x_2(\tau_2) \Rightarrow \psi_2(\tau_2) \neq 0. \end{equation*}

\begin{equation*} \dot x_2(\tau_1) \dot x_2(\tau_2) < 0 \Rightarrow \psi_2(\tau_1) \psi_2(\tau_2) < 0 \Rightarrow \exists \tau \in (\tau_1, \tau_2) : \psi_2(\tau) = 0. \end{equation*}