Lyapunov pairs for multi-valued semi-linear evolutions (Q708673)

Let \(X\) be a Banach space, and let \(A:D(A) \rightarrow X\) be the infinitesimal generator of a \(C_{0}\)-semigroup \(S(t)\) on \(X\). Further, let \(M\) be a non-empty subset in \(X\) and \(F:M\rightsquigarrow X\) be a given multi-valued function. Consider the Cauchy problem \[ \begin{cases} y^{\prime}(t)\in Ay(t)+F(y(t)),\\ y(0) =x, \end{cases} \tag{1} \] and the functions \(V\) and \(g\) defined on \(M\) with values in \(( -\infty,+\infty]\). It is known that the functions \(V\) and \(g\) form a Lyapunov pair for the problem (1) if, for every \(x\in\text *{Dom}(V)\), there exist a \(T>0\) and a solution \(y:[0,T] \to M\) of (1) such that \(t\mapsto g(y(t))\) is integrable on \([0,T]\) and, for all \(t\in[0,T]\), \[ V(y(t)) +\int_{0}^{t}g(y(s)) \,\mathrm{d}s\leq V(x). \] Using a new tangency concept and an associated tangency condition introduced by \textit{O. Cârja, M. Necula} and \textit{I. I. Vrabie} [Trans. Am. Math. Soc. 361, No. 1, 343--390 (2009; Zbl 1172.34040)], the author defines a new lower contingent derivative and proves a characterization of a Lyapunov pair. As direct applications, a controllability result and a Lipschitz estimate for the corresponding minimum time function under a Petrov type condition are obtained.