Boundedness of multilinear operators in Herz-type Hardy space (Q1578868)

Let \(B_k=\{x\in \mathbb R^n; |x|\leq 2^k\}\) and \(C_k=B_k \setminus B_{k-1}\) for \(k\in \mathbb Z\). Let \(\chi_k\) denote the characteristic function of the set \(C_k\). Suppose \(\alpha\in \mathbb R\), \(0<p, q<\infty\). The homogeneous Herz space \(\dot K_q^{\alpha, p}(\mathbb R^n)\) is defined in terms of \[ \|f\|_{\dot K_q^{\alpha, p}(\mathbb R^n)} =\Bigl\{\sum_{k\in \mathbb Z} |B_k|^{\alpha p/n}\|f\chi_{k}\|_{L^q(\mathbb R^n)}^p\Bigr\}^{1/p} \] by letting \[ \dot K_q^{\alpha, p}(\mathbb R^n)=\{f\in L_{\text{loc}}^q( \mathbb R^n\setminus \{0\}, \mathbb R^n);\;\|f\|_{\dot K_q^{\alpha, p}(\mathbb R^n)}<\infty\}. \] The homogeneous Herz-type Hardy space \(H\dot K_q^{\alpha, p}(\mathbb R^n)\) is the set \(\{f\in \mathcal S^\prime ; Gf\in \dot K_q^{\alpha, p}(\mathbb R^n) \}\), where \(Gf\) is the grand maximal function of \(f\) used in the theory of real Hardy spaces by Fefferman and Stein. For \(0<p<\infty\), \(\dot K_p^{0, p}(\mathbb R^n)=L^p(\mathbb R^n)\), \(\dot K_p^{\alpha/p, p}(\mathbb R^n) =L_{|x|^\alpha}^p(\mathbb R^n)\), and \(H\dot K_p^{0, p}(\mathbb R^n)=H^p(\mathbb R^n)\). Let \(\mathcal S_0(\mathbb R^n)\) be the set of all those Schwartz functions \(f\) such that its Fourier transform vanishes in a neighbourhood of the origin. One denotes by \(\mathcal K(\lambda)\) \((0\leq \lambda<n)\) the set of all Fourier multipliers whose symbol \(a(\xi)\) satisfies \(|\partial _\xi^\alpha a(\xi)|\leq C_\alpha|\xi|^{-\lambda-|\alpha|}\) for every multi-index \(\alpha\). The authors consider the multilinear operator \(\Lambda\) defined by \(\Lambda(f_1,f_2,\ldots,f_k)=\sum_{\sigma\in \mathcal A}(T_1^\sigma f_1) \times\cdots(T_k^\sigma f_k)\) for \(f_j\in \mathcal S_0\), where \(\mathcal A\) is an index set and \(T_j^\sigma\in \mathcal K(\lambda_j^\sigma)\) \((\lambda=\sum_{j=1}^k \lambda_j^\sigma\) is independent of \(\sigma\in \mathcal A)\). The main result is: Let \(1>q_j>\lambda_j^\sigma\) \((\sigma\in \mathcal A)\), \(1/q=\sum_{j=1}^k1/q_j-\lambda/n\), \(0<p_j<\infty\), \(1/p=\sum_{j=1}^k1/p_j\), \(\alpha_j>-n/q_j-\lambda_j^\sigma\), \(\alpha=\sum_{j=1}^k\alpha_j\geq n(1-1/q)\). Then, if \(k=2\) or \(k\geq 3\) and \(T_j^\sigma\) are of homogeneous type, the estimate \[ \|\Lambda(f_1,\ldots,f_k)\|_{H\dot K_q^{\alpha, p}(\mathbb R^n)} \leq C\prod_{j=1}^k\|f_1\|_{H\dot K_{q_j}^{\alpha_j, p_j}(\mathbb R^n)} \] holds provided \(\int_{\mathbb R^n}\Lambda(f_1,\ldots,f_k)(x)x^\beta dx=0\) for \(|\beta|\leq n(1/q-1)+\sum_{j=1}^k\max(\alpha_j,0)\). They state that this is also true for non-homogeneous Herz-type Hardy spaces.