Structure of solution sets to the nonlocal problems (Q2634921)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Structure of solution sets to the nonlocal problems
scientific article

    Statements

    Structure of solution sets to the nonlocal problems (English)
    0 references
    0 references
    0 references
    0 references
    10 February 2016
    0 references
    The authors consider the nonlocal problem \[ \dot{x}(t)+B(t,x(t))+Dx(t)\in F(t,x(t)),\text{ for a.e. }t\in I,\qquad x(0)=\tau (x), \] where \(I=[0,T]\), \(B:I\times V\rightarrow V^{\ast }\), \((V,H,V^{\ast })\) is an evolution triple of spaces, \(D:V\rightarrow V^{\ast }\) is a bounded linear self-adjoint operator, \(F:I\times H\rightarrow 2^{V^{\ast }}\) and \(\tau :C(I,H)\rightarrow H\) is continuous. Existence of weak solutions is guaranteed by [\textit{J. Zhang} et al., Bound. Value Probl. 2013, Article ID 15, 21 p. (2013; Zbl 1287.34050)]. Along with other conditions, the authors assume that \(B(t,x)\) is measurable in \(t\), satisfies a one-sided Lipschitz condition in \(x\) and satisfies a growth condition, and \(F\) is closed convex-valued, is graph measurable, satisfies a growth condition and for almost all \(t\in I\) \(F(t,\cdot )\) has a closed graph. It is then proven that the solution set \(S\) is an \(R_{\delta }\) set in \(C(I,H)\), i.e., the solution set is the intersection of a decreasing sequence of nonempty compact absolute retracts. It follows that the reachable set is compact and connected in \(H\). The proof uses results from [\textit{F. S. De Blasi} and \textit{J. Myjak}, Bull. Pol. Acad. Sci., Math. 33, 17--23 (1985; Zbl 0571.34008)]. Dropping the assumption that \(F\) is convex-valued and adding a Lipschitz-type assumption on \(F(t,\cdot )\), the authors then prove that \(S\) is path connected. Two examples are given to illustrate the application of these theorems.
    0 references
    0 references
    nonlocal conditions
    0 references
    evolution inclusions
    0 references
    absolute retract
    0 references
    path connected
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references