\(BV\)-norm continuity of sweeping processes driven by a set with constant shape (Q324590): Difference between revisions

The authors consider the sweeping process driven by a moving set \(y(t)\in C(t)\), \(t\in[0,T]\) \[ Dy=v\mu v(t)+\partial I_{C(t)}(y(t))\in 0 \text{ for \(\mu\)-a.e. } t\in[0,T]y(0)=\mathrm{Proj}_{C(0)}(y_\theta) \] where \(C\in BV^r([0,T];C_H)\), \(C_H\) is the set of nonempty, closed, convex subsets of the real Hilbert space \(H\), \(BV^r\) is the set of right-continuous functions of bounded variation, \(D\) denotes the distributional derivative, \(v\in L^1(\mu;H)\), \(\mu\) is a certain measure defined on the Borel sets of \([0,T]\), \(\partial I_{C(t)}\) denotes the subdifferential of the indicator function of \(C(t)\) and \(\mathrm{Proj}_{C(0)}\) is the projection operator on \(C(0)\). The main result is the proof of the continuity of the associated ``play operator'' \(P:Z\times BV^r([0,T];H)\to BV^r([0,T];H)\) if \(BV^r([0,T];H)\) is endowed with the topology induced by the \(BV\) norm \(\| f\|\equiv\| f\|_\infty+V(f,[a,b])\), where \(V\) is the variation of \(f\) on \([a,b]\) and \(Z\in C_H\). A similar result can be proven for the left-continuous functions. \(H\) is not assumed to be separable and \(Z\) is not assumed to have a smooth boundary as in some previous results. The proof makes use of ideas from [\textit{J. J. Moreau}, J. Differ. Equations 26, 347--374 (1977; Zbl 0356.34067)] and [the second author, J. Convex Anal. 23, No. 3, 921--946 (2016; Zbl 1357.34103)].