Sharp variational, jump and oscillation bounds in a general Gaussian context

Abstract

We consider a general, nonsymmetric Ornstein--Uhlenbeck semigroup $({\mathcal{H}}_t{)}_{t>0}$. We prove an $L^p$ bound for the jump quasi-seminorms for $1<p<\infty$ and a weak type (1,1) oscillation inequality, both with respect to the invariant measure. These results are established for the order $\varrho =2$. To do so, we analyze specific components of $({\mathcal{H}}_t{)}_{t>0}$, by distinguishing between small and large values of $t$, and between local and global spatial zones. This decomposition allows us to explicitly identify which parts of the semigroup remain bounded and which are responsible for the failure of boundedness, both in a weak and in a strong sense, even with respect to Lebesgue measure.

28 pages