Nonsmooth Lyapunov pairs for infinite-dimensional first-order differential inclusions (Q654043)

The object of this article is to provide criteria for weakly lower semicontinuous, extended real-valued Lyapunov functions/pairs for the first order differential inclusion \[ \dot{x}(t;x_{0})\in f(x(t;x_{0}))-Ax(t;x_{0}),\;t\geq 0, ~x_{0}\in \text{cl(dom A)} \] in a real Hilbert space. \ \(A\) is a multivalued maximal monotone operator and \(f\) is a single-valued Lipschitz perturbation. These criteria make use of the proximal and basic subdifferentials and the contingent directional derivative. No knowledge of the semigroup generated by \(-A\) is assumed. Examples are given and also a comparison is made to results in the literature such as [\textit{M. Kocan} and \textit{P. Soravia}, J. Funct. Anal. 192, No. 2, 342--363 (2002; Zbl 1040.93062)] and [\textit{S. Adly} and \textit{D. Goeleven}, J. Math. Pures Appl. (9) 83, No. 1, 17--51 (2004; Zbl 1103.34054)].