Invariant measures of smooth dynamical systems, generalized functions and summation methods

Abstract

We discuss conditions for the existence of invariant measures of smooth dynamical systems on compact manifolds. If there is an invariant measure with continuously differentiable density, then the divergence of the vector field along every solution tends to zero in the Cesàro sense as time increases unboundedly. Here the Cesàro convergence may be replaced, for example, by any Riesz summation method, which can be arbitrarily close to ordinary convergence (but does not coincide with it). We give an example of a system whose divergence tends to zero in the ordinary sense but none of its invariant measures is absolutely continuous with respect to the `standard' Lebesgue measure (generated by some Riemannian metric) on the phase space. We give examples of analytic systems of differential equations on analytic phase spaces admitting invariant measures of any prescribed smoothness (including a measure with integrable density), but having no invariant measures with positive continuous densities. We give a new proof of the classical Bogolyubov–Krylov theorem using generalized functions and the Hahn–Banach theorem. The properties of signed invariant measures are also discussed.