Asymptotic behavior of solutions of differential inclusions and the method of guiding functions (Q498265)

The authors consider differential inclusions \[ x'(t)\in F(t,x(t), \] where \(F:\mathbb R\times \mathbb R^n \multimap \mathbb R^n\) is a compact convex valued multivalued map satisfying Carathéodory conditions and standard growth assumptions. A version of the Krasnosielskii and Perov method of guiding functions is applied to get some information on the asymptotic behaviour of solutions. Recall that a locally Lipschitz function \(V:\mathbb R^n \to \mathbb R\) is called regular if it has directional derivatives which are equal to the Clarke generalized derivatives for all points and directions. Let \(g:\mathbb R \to \mathbb R\) be continuously differentiable. A regular function \(V\) is a guiding potential for the inclusion along the function \(g\) if there exists an \(r_0>0\) such that the condition \(g(t)||x||\geq r_0\) implies the inequalities \[ \begin{aligned} \left\langle v,g'(t)x+g(t)y\right\rangle \geq 0 \quad & \text{for } t>0,\\ \left\langle v,g'(t)x+g(t)y\right\rangle \leq 0 \quad & \text{for } \; t<0\end{aligned} \] for all \(y\in F(t,x)\) and \(y\in \partial V(g(t)x).\) The authors prove that if \(\lim_{||x||\to \infty} V(x)=-\infty\), then each solution of the Cauchy problem satisfies the estimate \(||x(t)||\leq k/g(t)\) for all \(t\in \mathbb R\) with some \(k>0\).