Lyapunov stability of differential inclusions involving prox-regular sets via maximal monotone operators (Q2322360)

The authors consider the first-order differential inclusion \[\dot{x}(t)\in f(x(t))-N_{C}(x(t)), \quad t\geq 0,\] \(x(0)=x_{0}\in C\) in a Hilbert space, where \(N_{C}\) represents the normal cone to the \(r\)-uniformly prox-regular closed subset \(C\) of \(H\), and \(f\) is Lipschitz and can be thought of as a perturbation. The authors give a stability result for the invariance of closed sets, a proof for the existence and uniqueness of solutions, and characterize the lower semi-continuous \(a\)-Lyapunov pairs and functions, followed by applications to the control of sweeping processes. It is also noted that (1) includes some parabolic variational inequalities and nonlinear differential complementarity systems. Results from the literature, for example [\textit{A. Hantoute} and \textit{M. Mazade}, Positivity 21, No. 1, 423--448 (2017; Zbl 1370.34117)], are extended. The main key to the paper is writing (1) as a differential inclusion governed by a maximal monotone operator connected to the prox-regular set, and thus classical results can be applied, such as those found in [\textit{H. Brézis}, Opérateurs maximaux monotones et semi-groupes de contractions dans les espaces de Hilbert. Amsterdam: Elsevier (1973; Zbl 0252.47055)].