Nonsmooth Analysis of Doubly Nonlinear Second-Order Evolution Equations with Non-Convex Energy Functionals (1910.10128v4)

Abstract: We investigate the existence of strong solutions to a general class of doubly multivalued and nonlinear evolution equations of second order. The multivalued operators are generated by the subdifferential of nonsmooth potentials that live in different spaces, $U$ and $V$, where in general $U \nsubseteq V$ and $V \nsubseteq U$. The proof is based on the regularization of the dissipation potential using the generalized Moreau--Yosida regularization and a semi-implicit time-discretization scheme, which demonstrates the existence of strong solutions to the regularized problem. The existence of solutions to the original problem is then shown by letting the regularization parameter converge to zero. Furthermore, we establish an energy-dissipation inequality for the solution. We conclude with applications of this abstract theory.