Boundedness of Calderón-Zygmund operators on special John-Nirenberg-Campanato and Hardy-type spaces via congruent cubes (Q2064157)

Let \(p \in [1, \infty]\), \(q \in [1, \infty)\), \(s \in \mathbb{Z_+}:= \mathbb{N} \cup \{0\}\), \(\alpha \in \mathbb{R}\) and \(\Pi_{\ell}(\mathbb{R}^n)\) be the class of all collections of interior pairwise disjoint subcubes \(\{Q_j\}_j\) of \(\mathbb{R}^n\) with edge length \(\ell\). For the main results, the authors define the specialized John-Nirenberg-Campanato space via congruent cubes \(JN_{(p,q,s)_{\alpha}}^{\text{con}}(\mathbb{R}^n)\) by the set of all \(f \in L^{q}_{\text{loc}}(\mathbb{R}^n)\) such that \[ \|f\|_{JN_{(p,q,s)_{\alpha}}^{\text{con}}(\mathbb{R}^n)} := \begin{cases} \sup_{\genfrac{}{}{0pt}{}{\ell \in (0,\infty)}{ \{Q_j\}_j \in \Pi_{\ell}(\mathbb{R}^n)} } \bigg[ \sum_j |Q_j| \big\{ |Q_j|^{-\alpha} & \\ \times \big[ \frac{1}{|Q_j|} \int_{Q_j} | f(x) - P_{Q_j}^{(s)}(f)(x)|^q dx \big]^{1/q} \big \}^{p} \bigg]^{1/p}, & p \in [1, \infty)\\ \sup_{ \text{cube} \ Q \subset \mathbb{R}^n } |Q|^{-\alpha} \big[ \frac{1}{|Q|} \int_{Q} \big| f(x) - P_{Q}^{(s)}(f)(x) \big|^q dx \big]^{1/q}, & p = \infty \end{cases} \] is finite, where for any cube \(Q\) of \(\mathbb{R}^n\) the notation \(P_{Q}^{(s)}(f)\) denotes the unique polynomial of total degree not greater than \(s\) such that for any \(\gamma =(\gamma_1, \dots, \gamma_n) \in \mathbb{Z}_+^n := (\mathbb{Z}_+)^n\) with \(|\gamma|=|\gamma_1|+\cdots +|\gamma_n| \leq s\) and \(x^{\gamma} := x_1^{\gamma_1} \cdots x_n^{\gamma_n} \) \[ \int_{Q} \big[f(x) - P_{Q}^{(s)}(f)(x) \big] \, x^{\gamma} \, dx = 0. \] They also define a measurable function \(K\) on \(\mathbb{R}^n \times \mathbb{R}^n \setminus \{(x,x): x \in \mathbb{R}^n\}\) by an \(s\)-order standard kernel, if there exists a positive constant \(C\) and a \(\delta \in (0,1]\) such that for any \(\gamma \in \mathbb{Z}_+^n\) with \(|\gamma| \leq s\): \begin{itemize} \item[(i)] for any \(x, y \in \mathbb{R}^n\) with \(x \neq y\) \[ \bigg|\frac{\partial^{|\gamma|}}{\partial{y_1}^{\gamma_1} \cdots \partial{y_n}^{\gamma_n} } K(x,y) \bigg| \leq \frac{C}{|x-y|^{n+|\gamma|}}; \] \item[(ii)] (i) still holds true for the first variable of \(K\); \item[(iii)] for any \(x, y, z \in \mathbb{R}^n\) with \(x \neq y\) and \(|x-y| \geq 2|y-z|\), \[ \bigg|\frac{\partial^{|\gamma|}}{\partial{y_1}^{\gamma_1} \cdots \partial{y_n}^{\gamma_n}} K(x,y) - \frac{\partial^{|\gamma|}}{\partial{y_1}^{\gamma_1} \cdots \partial{y_n}^{\gamma_n}}K(x,z)\bigg| \leq \frac{C|y-z|^{\delta}}{|x-y|^{n+|\gamma|+\delta}}; \] \item[(iv)] (iii) still holds true for the first variable of \(K\). \end{itemize} Along with two definitions as above, consider a linear operator \(T\) defined by an s-order Calderón-Zygmund singular integral operator with kernel \(K\) if \(T\) is bounded on \(L^2(\mathbb{R}^n)\) and, for any given \(f \in L^2(\mathbb{R}^n)\) and for almost every \(x \in \mathbb{R}^n\), \[T(f)(x) = \lim_{\eta \rightarrow 0^+} T_{\eta}( f )(x),\] where \[T_{\eta}( f )(x) := \int_{\mathbb{R}^n \setminus B(x,\eta)} K(x, y) f (y) \, dy. \] Here \(B(x,r) := \{y \in \mathbb{R}^n : |y-x| < r \} \subset \mathbb{R}^n \) with \(x \in \mathbb{R}^n\) and \(r \in (0, \infty)\). The main results of this paper are to prove that \begin{itemize} \item[(1)] an \(s\)-order modified Calderón-Zygmund operator \(\widetilde{T}\) with kernel \(\widetilde{K}(x,y) := K(y,x)\) is bounded on \(JN_{(p,q,s)_{\alpha}}^{\text{con}}(\mathbb{R}^n)\), \ \ \text{and} \item[(2)] an \(s\)-order Calderón-Zygmund singular integral operator \(T\) with kernel \(K\) can be extended to a unique continuous linear operator on the Hardy-kind space \(HK_{(p,q,s)_{\alpha}}^{\text{con}}(\mathbb{R}^n)\), the predual space of \(JN_{(p^\prime,q^\prime,s)_{\alpha}}^{\text{con}}(\mathbb{R}^n)\) with \(1/p + 1/p' = 1 = 1/q + 1/q^\prime\) \end{itemize} if and only if \(T^\ast(x^{\gamma}) = 0\), i.e. for any \(\gamma \in \mathbb{Z}_+^n\) with \(|\gamma| \leq s\) \[\int_{\mathbb{R}^n} T(a)(x) \, x^{\gamma} \, dx = 0\] where any compact supported \((p, q,s)_\alpha\)-atom \(a \in L^2(\mathbb{R}^n)\) satisfies the moment properties \(\int_{\mathbb{R}^n} a(x)\, x^{\gamma} \, dx = 0\).