Evolution inclusions with Clarke subdifferential type in Hilbert space (Q984204)

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 5757147
Language Label Description Also known as
default for all languages
No label defined
    English
    Evolution inclusions with Clarke subdifferential type in Hilbert space
    scientific article; zbMATH DE number 5757147

      Statements

      Evolution inclusions with Clarke subdifferential type in Hilbert space (English)
      0 references
      0 references
      0 references
      16 July 2010
      0 references
      The authors consider the existence of solutions for differential inclusions of the form \[ \begin{aligned} -\dot{x}(t) &\in \partial _{C}\phi (x(t))+G(t,x(t)),\\ x(0) &=x_0\end{aligned}\tag{1} \] in a real, separable Hilbert space \(H\), where \(\partial _{C}\) denotes the Clarke subdifferential. Throughout, it is assumed that there exists a regular function \(F:H\rightarrow \mathbb{R}\) such that \(\phi -F\) is proper, convex and lower semicontinuous, and is inf-compact in \(H\), among other conditions. Assuming that \(G(t,x)\) \(=f(t)\), a single-valued \(L^{2}\) function, it is proven that (1) has a unique strong solution. \ Assuming \(G\) is convex, weakly compact set-valued, measurable in \(t\), upper semicontinuous in \(x\) and satisfies a linear growth condition, it is proven that (1) has a solution (Theorem 3.2). Existence is also proven in the case \(G\) is lower semicontinuous in \(x\) (Theorem 3.3). For the relaxed problem \[ \begin{aligned} -\dot{x}(t) &\in \partial _{C}\phi (x(t))+\text{ext }G(t,x(t)),\\ x(0) &=x_0\end{aligned}\tag{2} \] it is proven that a solution exists under the assumptions of Theorem 3.2, assuming also that \(G\) is closed valued and continuous in \(x\) (Theorem 4.1). Under the additional assumption that \(G\) is one-sided Lipschitz continuous, it is shown that \(\bar{S}_{e}=S\), where \(S_{e}\) is the solution set to (2) and \(S\) is the solution set to (1). The proofs are accomplished using tools such as the selection theorems due to Aumann, Fryszkowski and Tolstonogov, Schauder's fixed point theorem and an existence theorem of \textit{H. Attouch} and \textit{A. Damlamian} [Isr. J. Math 12, 373--390 (1972; Zbl 0243.35080)]. Finally, existence of solutions is demonstrated for two parabolic partial differential inclusions by applying Theorems 3.3 and 4.1 respectively.
      0 references
      evolution inclusions
      0 references
      subdifferential
      0 references
      Hilbert space
      0 references
      relaxation theorem
      0 references
      existence of solutions
      0 references
      extremal solution
      0 references
      differential inclusions
      0 references
      selection
      0 references
      fixed point
      0 references

      Identifiers