Invariant sets and Lyapunov pairs for differential inclusions with maximal monotone operators (Q2408624): Difference between revisions

Let \(H\) be a Hilbert space; \(A: H \multimap H\) a maximal monotone operator and \(f: H \to H\) a Lipschitz continuous map. The authors study the problem of invariance of a set \(S \subset \operatorname{dom} A\) (which is not assumed to be convex or smooth) with respect to the solutions of the differential inclusion \[ \dot{x}(t) \in f(x(t)) - Ax(t)\quad\text{for a.e. } t\geq 0;\quad x(0) = x_0 \in S. \tag{1} \] These results are applied to establish the existence of \(a\)-Lyapunov pairs \((a \geq 0)\) for the above inclusion, i.e., such pairs of proper l.s.c. functions \(V, W: H \to \overline{\mathbb{R}}\) with \(W \geq 0\) such that for every \(x_0 \in \overline{\mathrm{dom }A}\) and the unique solution \(x(\cdot;x_0)\) of (1) the following hold: \[ e^{at}V(x(t;x_0)) + \int_s^t W(x(\tau;x_0))d\tau \leq e^{as}V(x(s;x_0))\quad \text{for all }t \geq s \geq 0. \]