Hartman-type conditions for multivalued Dirichlet problem in abstract spaces (Q260707)

The authors consider the Dirichlet boundary value problem associated to the differential inclusion \[ \ddot{x} \in F(t,x(t),\dot{x})\text{ for a.a. }{t \in [0,T]}, \] where \(E\) is a Banach space satisfying suitable technical conditions and \(F:[0,T]\times E \times E \multimap E\) is an upper semicontinuous multifunction with compact convex values. The aim of the paper is to generalize and to extend in several directions the classical \textit{P. Hartman}'s theorem [Trans. Am. Math. Soc. 96, 493--509 (1960; Zbl 0098.06101)]. In what follows it is described a consequence of one of the main results. It is first assumed that \(E\) is a Hilbert space and that \(K \subset E\) is an open bounded convex set containing \(0\). It is assumed that \[ \gamma(F(t,\Omega_1 \times \Omega_2)) \leq g(t)(\gamma(\Omega_1)+(\gamma(\Omega_2)) \] for a.a. \({t \in [0,T]}\) and each \(\Omega_1 \subset \bar K\) and each bounded \(\Omega_2 \subset E\), where \(g \in L^1([0,T],[0,+\infty))\) and \(\gamma\) the measure of non-compactness in \(E\). Additionally, the condition \[ (T+4)||g||_{L^1([0,T],[0,+\infty))} < 2 \] is required. Moreover, it is assumed that for every non-empty bounded set \(\Omega \subset E \times E\) there exists \(v_\Omega \in L^1([0,T],[0,+\infty))\) such that \(||F(t,x,y)|| \leq v_\Omega(t)\) for a.a. \(t \in [0,T]\) and all \((x,y)\in \Omega.\) Finally, let there exist \(R>0\) such that \(<x,w> +<y,y> \geq 0\) holds for all \(t \in [0,T], (x,y)\in E\times E\) with \(||x||=R\) and all \(w \in F(t,x,y).\) Furthermore, it is required that \(||F(t,x,y)|| \leq \phi(||y||)\) for a.a. \(t \in [0,T]\) and all \(x\in E\) with \(||x|| \leq R\) and \(y\in E,\) with \(\phi: [0,+\infty)\to (0,+\infty)\) a continuous nondecreasing function such that \(\lim_{s\to +\infty}s^2/\phi(s)= +\infty\). Under the above assumptions, the given Dirichlet BVP admits a solution \(x(\cdot)\) such that \(||x(t)||\leq R\) for all \(t \in [0,T].\) If, moreover, \(0\notin F(t,0,0)\) for a.a. \(t \in [0,T]\), then the obtained solution is nontrivial. The final section contains an application to a control problem. The proofs are performed by topological methods, combined with bound set techniques. The interested reader can refer to the authors' paper [Bound. Value Probl. 2014, Article ID 23, 24 p. (2014; Zbl 1335.34091)] and references therein.