A fixed-point approach to history-dependent sweeping processes (Q6952256)

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 8070475
Language Label Description Also known as
default for all languages
No label defined
    English
    A fixed-point approach to history-dependent sweeping processes
    scientific article; zbMATH DE number 8070475

      Statements

      A fixed-point approach to history-dependent sweeping processes (English)
      0 references
      0 references
      0 references
      28 July 2025
      0 references
      The authors obtain an existence and uniqueness result for the solutions of the following history-dependent sweeping process in a Hilbert space \(\mathcal{H}:\)\N\[\N\left\{\begin{array}{l} \dot{x}(t) = - N_{C(t)}x(t) +f(t,x(t)) + \mathcal{R}(x)(t) \quad \mbox{a.e.} \quad t \in I := [0,T],\\\Nx(0) = x_0 \in C(0), \end{array} \right.\N\]\Nwhere \(C \colon I \multimap \mathcal{H}\) is a multifunction with nonempty, closed and \(\rho\)-uniformly prox-regular values, \(N_{C(t)}x(t)\) is a normal cone to \(C(t)\) at \(x(t)\), and \(\mathcal{R}\) is a history-dependent operator. Function \(f \colon I \times \mathcal{H} \to \mathcal{H}\) is a given nonlinearity.\N\NBy using the Schauder fixed point theorem the authors prove also the existence result for the state-dependent history-dependent sweeping process of the following type:\N\[\N\left\{\begin{array}{l} \dot{x}(t) = - N_{C(t,x(t))}x(t) +f(t,x(t)) + \mathcal{R}(x)(t) \quad \mbox{a.e.} \quad t \in I,\\\Nx(0) = x_0 \in C(0,x_0), \end{array} \right.\N\]\NThese results are applied to the existence of solutions to Volterra type sweeping process and to viscoelastic models with a long memory.
      0 references
      sweeping process
      0 references
      differential inclusion
      0 references
      fixed point theory
      0 references
      Schauder theorem
      0 references
      history-dependent operator
      0 references
      prox-regular set
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers

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