Existence results for nonconvex sweeping processes with perturbations and with delay: Lip\-schitz case. (Q1873564)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 1916513
Language Label Description Also known as
default for all languages
No label defined
    English
    Existence results for nonconvex sweeping processes with perturbations and with delay: Lip\-schitz case.
    scientific article; zbMATH DE number 1916513

      Statements

      Existence results for nonconvex sweeping processes with perturbations and with delay: Lip\-schitz case. (English)
      0 references
      0 references
      0 references
      2002
      0 references
      The authors consider the following first-order functional differential inclusion problem: \[ \begin{aligned} &\dot u(t)\in -N^P(C(t);\;u(t))+ F(t, u_t)\quad\text{a.e. on }[0,T],\\ & u(t)\in C(t),\quad\forall t\in [0,T],\\ &u(s)={\mathcal T}(0) u(s)= \varphi(s),\quad\forall s\in [-\tau, 0],\end{aligned} \] which is called nonconvex sweeping process with perturbation and with delay (NSPPD). In this connection, \(C\) is a nonconvex Lipschitz set-valued mapping, \(F\) is a set-valued mapping with convex compact values in a separable Hilbert space \(H\), \(T> 0\) and \(\tau > 0\), and \(N^P(S; x)\) denotes the proximal normal cone to \(S\) at \(x\). It is shown that under suitable assumptions there exists a continuous mapping \(u:[-\tau, T]\to H\) that is Lipschitz continuous on \([0, T]\) and satisfies NSPPD. The proof is carried out by constructing a sequence of continuous mappings \(u_n: [0,T]\to H\) via discretization. Crucial tools are the Arzelà-Ascoli theorem and an upper semicontinuity result on the proximal subdifferential of the distance function \(d_{C(t)}\) due to M. Bounkhel and L. Thibault which has not yet appeared.
      0 references
      uniformly prox-regular set
      0 references
      nonconvex sweeping processes
      0 references
      differential inclusions
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references