Multilinear Calderón-Zygmund operators on Hardy spaces (Q5944984)

In analogy to the linear theory, the authors study the boundedness of multilinear Calderón-Zygmund operators on products of Hardy spaces. Let \(K(x,y_1,\dots, y_m)\) be a function defined away from the diagonal \(x= y_1=\cdots= y_m\) in \((\mathbb{R}^n)^{m+1}\) which satisfies the estimates \[ |\partial^{\alpha_0}_{y_0}\cdots \partial^{\alpha_m}_{y_m} K(y_0,y_1,\dots, y_m)|\leq {A_\alpha\over (\sum^m_{k,l=0}|y_k- y_l|)^{mn+ |\alpha|}},\quad\text{for all }|\alpha|\leq N,\tag{1} \] where \(\alpha=(\alpha_0,\dots, \alpha_m)\) is an ordered set of \(n\)-tuples of nonnegative integers, \(|\alpha|= |\alpha_0|+\cdots+ |\alpha_m|\), where \(|\alpha_j|\) is the order of each multiindex \(\alpha_j\), and \(N\) is a large integer. The \(m\)-linear operator \(T\) is defined by \[ T(f_1,\dots, f_m)(x)= \int_{\mathbb{R}^n}\cdots \int_{\mathbb{R}^n} K(x, y_1,\dots, y_m) \prod^m_{j=1} f_j(y_j) dy_j,\tag{2} \] where \(f_j\), \(j= 1,\dots, m\), are smooth functions with compact support and \(x\not\in \bigcap^m_{j=1} \text{supp}(f_j)\). Then the authors establish the following main theorem: Theorem 1.1. Let \(1< q_1,\dots, q_m\), \(q<\infty\) be fixed indices satisfying \[ {1\over q_1}+\cdots+{1\over q_m}={1\over q} \] and let \(0< p_1,\dots, p_m\), \(p\leq 1\) be real numbers satisfying \[ {1\over p_1}+\cdots+{1\over p_m}= {1\over p}. \] Suppose that \(K\) satisfies (1) with \(N= [n(1/p-1)]\). Let \(T\) be related to \(K\) as in (2) and assume that \(T\) admits an extension that maps \(L^{q_1}(\mathbb{R}^n)\times\cdots\times L^{q_m}(\mathbb{R}^n)\) into \(L^q(\mathbb{R}^n)\) with norm \(B\). Then \(T\) extends to a bounded operator from \(H^{p_1}(\mathbb{R}^n)\times\cdots\times H^{p_m}(\mathbb{R}^n)\) into \(L^p(\mathbb{R}^n)\) which satisfies the norm estimate \[ \|T\|_{H^{p_1}\times\cdots\times H^{p_m}\to L^p}\leq C\Biggl(B+ \sum_{|\alpha|\leq N+1} A_\alpha\Biggr), \] for some constant \(C= C(n,p_j,q_j)\). The above theorem is also extended to the case when some \(p_j\)'s are bigger than \(1\) and the remaining \(p_j\)'s are less than or equal to \(1\).