Estimates for the Maximal Operator of the Ornstein-Uhlenbeck Semigroup (Q3974462)

The Ornstein-Uhlenbeck semigroup is transformed to the Poisson-Hermite transform \[ P_ rf(x)=c\int (1-r^ 2)^{-n/2}\exp(| rx-y| ^ 2/(1-r^ 2))f(y)dy. \] Define the maximal operator \(P^*f(x)=\sup_{0<r<1}| P_ rf(x)|\). Then, for the Gaussian weight \(\gamma(x)=\pi^{-n/2}e^{-| x| ^ 2}\), it is known that \(P^*\) is bounded in \(L^ p(\mathbb{R}^ n; \gamma(x)dx)\) and in the one-dimensional case it is of weak-type \((1,1)\) with respect to \(\gamma\). In this paper the authors give the pointwise estimate \[ P^*f(x)\leq c_ nM_ \gamma f(x)+(\max(2,| x| ))^ ne^{| x| ^ 2}\| f\| _{L^ 1(\gamma(x)dx)}, \] where \(M_ \gamma f\) is the centered maximal function with respect to \(\gamma\). From this it follows the weak-type \((1,1)\) result. Other natural consequences of this estimate are given.