Nonisotropic dilations and the method of rotations with weight (Q2845554)

Let \(\{A_t\}_{t>0}\) be a dilation group on \(\mathbb{R}^n\) defined by \(A_t=t^P\), where \(P\) is an \(n \times n\) real matrix whose eigenvalues have positive real parts. For \(t<0\), let \(A_t=-A_{|t|}\). For \((x,\theta) \in \mathbb{R}^n \times S^{n-1}\), the maximal function \(Mf(x,\theta)\), the singular integral \(Hf(x,\theta)\), and the maximal singular integral \(H_*f(x,\theta)\) are defined by NEWLINE\[NEWLINE\begin{aligned} Mf(x,\theta)&=\sup_{h>0} \frac{1}{h} \bigg| \int_0^h f(x-A_t \theta ) dt \bigg|,\\ Hf(x,\theta)&=\text{p.v.} \int_{-\infty}^\infty f(x-A_t \theta ) \frac{dt}t,\\ H_*f(x,\theta)&=\sup_{0<\varepsilon<R} \bigg| \int_{\varepsilon<|t|<R} f(x-A_t \theta ) \frac{dt}t \bigg|, \end{aligned}NEWLINE\]NEWLINE respectively. For \(1\leq p, q \leq \infty\), let \(\Delta_{(p,q)} \subset [0,1] \times [0,1]\) be the interior of the convex hull of the points \((0,0), (1,1), (0,1), (1/p,1/q)\). Let \(q_n(p)=p(n-1)/(n-p)\) if \(p <n\), and \(q_n(p)=\infty\) if \(p \geq n\). The main results of this paper areNEWLINENEWLINETheorem 1. Suppose that \((1/p,1/q) \in \Delta_{(2,q_n(2))}\). Then \(H_*\) is bounded from \(L^p(\mathbb{R}^n)\) to \(L^p(L^q)\).NEWLINENEWLINETheorem 2. Let \(2 \leq q \leq q_n(2)\). Then \(M, H\), and \(H_*\) are bounded from \(L^2_w(\mathbb{R}^n)\) to \(L^2_w(L^q)\) for \(w \in \mathcal A_1^\tau\), \(\tau=2(n-1)/q-n+2\), where \(\mathcal A_1^\tau\) is a subclass of Muckenhoupt's class \(\mathcal A_1\) defined by \(\mathcal A_1^\tau=\{v^\tau: v \in \mathcal A_1 \}\).NEWLINENEWLINEWhen \(n=2\), Theorem 1 generalizes the main result of \textit{L.-K. Chen} [Ill. J. Math. 33, No.2, 268--279 (1989; Zbl 0672.42012)]. As applications of Theorems 1 and 2, via the Calderon-Zygmund method of rotations with the extrapolation, the \(L^p\) and \(L^p_w\) boundedness of singular integrals with variable kernels defined by NEWLINE\[NEWLINE\begin{aligned} Tf(x)&=\text{p.v.} \int K(x, y)f(x-y) dy,\\ T_*f(x)&=\sup_{\varepsilon, R >0} \bigg| \int_{\varepsilon\leq |y|\leq R} K(x, y)f(x-y) dy \bigg| \end{aligned}NEWLINE\]NEWLINE are proved, where the kernel \(K(x,y)\) satisfies \(K(x, A_t y)= t^{- (\text{trace}\,P)} K(x, y)\) for all \(t>0\) and \((x,y)\in \mathbb R^n \times (\mathbb R^n\setminus \{0\})\).