On the search for weighted inequalities for operators related to the Ornstein-Uhlenbeck semigroups (Q1591384)

The main result of the article includes the following characteristics of a weight with ``good'' behaviour of maximal and averaging functions with respect to the Gaussian measure. Theorem. Given \(1<p<\infty\) and \(v\) a positive measurable function, the following conditions are equivalent (i) For every \(f\in L^p(v d\gamma)\), \(\lim_{r\rightarrow 0}A_r f(x)=f(x)\) for a.e. \(x\), where \[ A_r f(x)=\frac 1{\gamma(B(x,r))}\int_{B(x,r)} f(y) d\gamma(y). \] (ii) For every \(f\in L^p(v d\gamma)\), \(M_\gamma f(x)<\infty\) for a.e. \(x\). (iii) There exists a positive measurable function \(u\) and a constant \(C\) such that for every \(f\in L^p(v d\gamma)\) we have \[ \int M_{\gamma} f(x)^p u(x) d\gamma(x) \leq C \int |f(x)|^p v(x) d\gamma(x). \] Moreover, the weight \(u\) whose existence is guaranteed in (iv) satisfies \(\|u^{-1}\|_{L^{\frac{s}{p-s}}(d\gamma)} <\infty\) for every \(0<s<1\). The proof is based on the Rubio de Francia's approach, i.e., by consideration of the corresponding inequality for vector-valued functions. Amazing is the fact, that the global part of the considered operator is of strong \((1,1)\)-type.