Convergence of proximal solutions for evolution inclusions with time-dependent maximal monotone operators

• 成果类型: Article
• 署名作者: Camlibel, Kanat; Iannelli, Luigi; Tanwani, Aneel
• 署名单位: University of Groningen; University of Sannio; Universite de Toulouse; Centre National de la Recherche Scientifique (CNRS)
• 刊物名称: MATHEMATICAL PROGRAMMING
• ISSN/ISSBN: 0025-5610
• DOI: 10.1007/s10107-021-01666-7
• 发表日期: 2022
• 页码: 1017-1059
• 关键词: sweeping process; bv solutions; EQUATIONS; EXISTENCE; systems; relaxation; uniqueness; STABILITY

摘要

This article studies the solutions of time-dependent differential inclusions which is motivated by their utility in optimization algorithms and the modeling of physical systems. The differential inclusion is described by a time-dependent set-valued mapping having the property that, for a given time instant, the set-valued mapping describes a maximal monotone operator. By successive application of a proximal operator, we construct a sequence of functions parameterized by the sampling time that corresponds to the discretization of the continuous-time system. Under certain mild assumptions on the regularity with respect to the time argument, and using appropriate tools from functional and variational analysis, this sequence is then shown to converge to the unique solution of the original differential inclusion. The result is applied to develop conditions for well-posedness of differential equations interconnected with nonsmooth time-dependent complementarity relations, using passivity of underlying dynamics (equivalently expressed in terms of linear matrix inequalities).