On a control problem for a system of implicit differential equations (Q6148144)

The authors consider a control problem involving a first-order implicit nonlinear differential inclusion in \(\mathbb{R}^N\): \[ \ F(t,x,\dot x,\dot x) \ni 0,t \in [a,b] \] \[\dot x \in B(t),t \in [a,b] \] \[ x(a)=\gamma. \] \(\mathbb{R}^N\) is assumed to have the standard ordering. The authors first state Theorem 1, a revision of a theorem from [\textit{E. S. Zhukovskiy} et al., Adv. Syst. Sci. Appl. 22, No. 1, 176--191 (2022; \url{doi:10.25728/assa.2022.22.1.1225})] which used ordering covering to prove the existence of a solution \(x\) for problem (1)--(3) with \(\dot x \leq \dot\eta\), where \(F\) is compact-valued, satisfies regularity conditions and is antitone as a function of its second and third variables, \(B\) is closed-valued and measurable among other conditions, and \(\eta\) is absolutely continuous and satisfies \[ \eta (a) \geq \gamma \text{, and } F(t,\eta (t),\dot\eta (t),\dot\eta (t)) \cap \mathbb{R}^N_{+} \neq \emptyset\text{ a.e on [a,b]}. \] Note that a mapping \(G:X \rightarrow Y\) is said to be antitone on the set \(U\subseteq X\) if for any \(x,u \in U\) such that \(x \leq u\) and for any \(z \in G(u)\) there exists a \(y \in G(x)\) satisfying the inequality \(y \geq z\). Theorem 2 uses Theorem 1 to demonstrate that there exists a solution \(x\) with minimal derivative in the sense of partial order, i.e., \(x \leq y\) for any solution \(y\) that is comparable to \(x\). In Theorem 3 the authors make additional assumptions so that there is a solution \(x\) with minimal derivative, i.e., \(x \leq y\) for any solution \(y\). Finally, the authors apply these results to the control system \[ f(t,x,\dot x,\dot x,u)=0 \] with the feedback \[ u(t) \in U(t,x(t),\dot x (t)), t \in [a,b] \] with constraint (2) and initial condition (3).