Some topological properties of solution sets in a second order differential inclusion with \(m\)-point boundary conditions (Q452276): Difference between revisions

The authors consider topological properties of the \(W_{E}^{2,1}\) solution set for the \(m\)-point boundary value problem \[ \begin{cases}\ddot{u}(t)+\gamma \dot{u}(t) \in F(t,u(t),\dot{u}(t)),\;t\in [0,1] \\ u(0) =0 u(1) =\sum_{i=1}^{m-2}\alpha _{i}u(t_i)\end{cases} \] with \(m>3\) in a separable Banach space \(E\), continuing the work begun in [the author, J. Nonlinear Convex Anal. 12, No. 2, 199--224 (2011; Zbl 1237.34023)]. \(W_{E}^{2,1}([0,1])\) is the set of all continuously differentiable functions with second weak derivatives in \(L_{E}^{1}([0,1])\). Throughout the paper, a technical assumption connecting \(\gamma ,m,\alpha _{1},\alpha _{2},\dots ,\alpha _{m-2},t_{1},t_{2},\dots ,t_{m-2}\) is made, and \(F\) is assumed to be closed-valued and \({\mathcal L}([0,1]) \otimes {\mathcal B}(E) {\otimes }{\mathcal B}(E)\)-measurable, where \({\mathcal L}([0,1])\) represents the collection of Lebesgue measurable sets of \([0,1]\) and \({\mathcal B}(E)\) is the set of all Borel subsets of \(E\). Firstly, a Green's function is derived for this problem. In Theorem 3.1, the compactness in \(C_E^1([0,1])\) of the solution set is proven under the assumptions that \(F\) is convex- and compact-valued and satisfies a Lipschitz condition and some additional compactness condition. Under modified conditions, the authors then make use of Theorem 3.1 to prove that the solution set is a retract in \(C_E^1([0,1])\). An existence result for \(W_{E}^{2,1}\) solutions is also proven under the assumptions that \(F\) is locally Lipschitz in its second and third variables among other conditions. Then, specializing to the case in which \(E\) is finite-dimensional, it is shown that the solution set of (1) is dense in the solution set in \(C_{E}^{1}([0,1])\) of a relaxed problem under the assumptions that \(F\) is locally Lipschitz. This theorem is extended to a separable Banach space \(E\) with the additional assumption that \(F\) is ball-compact.