Abstract:This article develops mathematical formalisms and provides numerical methods for studying the evolution of measures in nonsmooth dynamical systems using the continuity equation. The nonsmooth dynamical system is described by an evolution variational inequality and we derive the continuity equation associated with this system class using three different formalisms. The first formalism consists of using the {superposition principle} to describe the continuity equation for a measure that disintegrates into a probability measure supported on the set of vector fields and another measure representing the distribution of system trajectories at each time instant. The second formalism is based on the regularization of the nonsmooth vector field and describing the measure as the limit of a sequence of measures associated with the regularization parameter. In doing so, we obtain quantitative bounds on the Wasserstein metric between measure solutions of the regularized vector field and the limiting measure associated with the nonsmooth vector field. The third formalism uses a time-stepping algorithm to model a time-discretized evolution of the measures and show that the absolutely continuous trajectories associated with the continuity equation are recovered in the limit as the sampling time goes to zero. We also validate each formalism with numerical examples. For the first formalism, we use polynomial optimization techniques and the moment-SOS hierarchy to obtain approximate moments of the measures. For the second formalism, we illustrate the bounds on the Wasserstein metric for an academic example for which the closed-form expression of the Wasserstein metric can be calculated. For the third formalism, we illustrate the time-stepping based algorithm for measure evolution on an example that shows the effect of the concentration of measures.

Continuity of the natural dimension of piecewise linear iterated function systems

On nonlinear iterated function systems with overlaps

ON SEPARATION PROPERTIES FOR ITERATED FUNCTION SYSTEMS OF SIMILITUDES

Towards an Effective Theory of Absolutely Continuous Measures

Conditions on the continuity of the Hausdorff measure

Continuity in Weak Topology: First Order Linear Systems of ODE

Typical dimension and absolute continuity for classes of dynamically defined measures, Part II : exposition and extensions

On the dimension of stationary measures for random piecewise affine interval homeomorphisms

Iterated Function Systems with Super-Exponentially Close Cylinders II

Exploring Iterated Implicit Function Systems: Existence and Properties of Attractors

Periodic trajectories in planar discontinuous piecewise linear systems with only centers and with a nonregular switching line

Iterated relation systems on Riemannian manifolds

Evolution of Measures in Nonsmooth Dynamical Systems: Formalisms and Computation

Continuous dependence of linear differential systems on polynomial matrices

Connections Between Discrete- and Continuous-Time Results for Positive Real and Negative Imaginary Systems

Continuity of Lyapunov exponents for stochastic differential equations

Semistability of Linear Continuous Systems

On Lower Dimensional Invariant Tori in Reversible Systems

Discontinuous Function with Continuous Second Iterate

Relational generalized iterated function systems

Dependence of solutions and eigenvalues of measure differential equations on measures