History-dependent operators and prox-regular sweeping processes

We consider an abstract inclusion in a real Hilbert space, governed by an almost history-dependent operator and a time-dependent multimapping with prox-regular values. We establish the unique solvability of the inclusion under appropriate assumptions on the data. The proof is based on the arguments of monotonicity, fixed point, and prox-regularity. We then use our result in order to deduce some direct consequences, including an existence and uniqueness result for a class of sweeping processes associated with prox-regular sets. Finally, we provide an example in a finite dimensional case inspired by a rheological model in solid mechanics.