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.

Measure-preserving symmetries and reversibilities of ordinary differential systems

On the fixed points set of differential systems reversibilities

Symmetry-preserving numerical schemes

The uniqueness of symmetrizing measure and linear diffusions

Invariant Measures in Generic Dynamical Systems

Cascade hash tables: a series of multilevel double hashing schemes with O(1) worst case lookup time

Conservation laws by symmetries and adjoint symmetries

Invariant measures for some dissipative systems from the Jacobi last multiplier

Integrability Test for Discrete Equations via Generalized Symmetries

Symmetry algebra of discrete KdV equations and corresponding differential-difference equations of Volterra type

Divergence-free measures in the plane and inverse potential problems in divergence form

Symmetries and perturbations of a singular nonconservative system on time scales

Invariant measures for contact Hamiltonian systems: symplectic sandwiches with contact bread

Involution symmetry quantification using recurrences

Evolution of Measures in Nonsmooth Dynamical Systems: Formalisms and Computation

Symmetry of components, Liouville-type theorems and classification results for some nonlinear elliptic systems

Recursive divergence formulas for perturbing unstable transfer operators and physical measures

Irreversible and dissipative systems

Symmetry preserving discretization of SL(2,R) invariant equations

Nonlinear dynamical systems: Time reversibility versus sensitivity to the initial conditions

Invariant Measures Satisfying an Equality Relating Entropy, Folding Entropy and Negative Lyapunov Exponents