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

From MaRDI portal
scientific article; zbMATH DE number 7786622
Language Label Description Also known as
English
On a control problem for a system of implicit differential equations
scientific article; zbMATH DE number 7786622

    Statements

    On a control problem for a system of implicit differential equations (English)
    0 references
    11 January 2024
    0 references
    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).
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    control systems
    0 references
    implicit differential inclusions
    0 references
    order covering
    0 references
    antitone
    0 references
    minimal derivative
    0 references
    partial order
    0 references
    set-valued mappings
    0 references
    existence of solutions
    0 references
    0 references
    0 references