Skip to main content
1 of 2
alvarezpaiva
  • 13.5k
  • 40
  • 83

Time averages and differentiability

Let $\varphi_t : M \rightarrow M$ be a smooth flow on a smooth manifold $M$. We may assume (although I'm not sure if this is important) that the flow preserves a smooth volume form on $M$. Given a continuous function $f : M \rightarrow \mathbb{R}$, is it true that if ALL the (partial) time averages $$ A_T f(x) := {1 \over T} \int_0^T f(\varphi_t (x)) \, dt \hskip 1cm (T > 0) $$ are smooth functions, then $f$ is also smooth?

Remark.

This is obviously true for the trivial action and it is non-trivially true for the case where $M = \mathbb{R}$ and the flow is the usual flow by translations. That's all I know for now.

alvarezpaiva
  • 13.5k
  • 40
  • 83