Boundedness of multilinear operators on Triebel-Lizorkin spaces (Q1774656)

Let \(\mathbb{R}^n, n\geq 2\) be the \(n\)-dimensional Euclidean space. For \(\beta >0\) and \(p>1\), let \(\dot{F}_p^{\beta ,\infty }\) be the homogeneous Triebel-Lizorkin space; the Lipschitz space \(\dot{\Lambda}_{\beta }\) is the space of functions \(f\) such that \[ \| f\| _{\dot\Lambda}{}_{\beta }=\sup\limits_{\substack{ x,h\in \mathbb{R}^n \\ h\neq 0 }} | h| ^{-\beta }| \Delta _h^{[\beta ]+1}f(x)| <\infty, \] where \(\Delta _h^k\) denotes the \(k\)th difference operator. For \(p>0\), let \( M_p(f)=(M(| f| ^p))^{\frac {1}{p}}\) where \(M(f)\) denotes the Hardy-Littlewood maximal function of \(f\). For a positive integer \(m\) and a function \(A\) on \(\mathbb{R}^n\), we let \[ R_{m+1}(A;x,y)=A(x)-\sum\limits_{| \alpha | \leq m}\frac {1}{\alpha !}D^{\alpha }A(y)(x-y)^{\alpha }. \] where the supp is taken over all cubes \(Q\) of \(\mathbb{R}^n\) with side parallel to the axes and \(x\in Q\). In this paper, the author studied the boundedness of some multilinear operators on Triebel-Lizorkin spaces. The operators considered in this paper which are related to certain convolution operators include Littlewood-Paley operator, Marcinkiewicz integral, and Bochner-Riesz operator. Concerning the Bochner-Riesz operator, the author proves the following: Let \(\delta >(n-1)/2\), \(0<\beta <\min (1,\delta -(n-1)/2)\), \(1<p<\infty \), {and }\(A\) is a function on \(\mathbb{R}^n\) {\ that satisfies }\(D^{^\alpha }A\in \){\ }\(\dot{\Lambda} _{_\beta }\){\ for }\(\left| \alpha \right| =m\){. Let }\( B_t^{^\delta }(\widehat{f})(\xi )=(1-t^2\left| \xi \right| ^2)_{+}^{^\delta }\) \(\widehat{f}(\xi )\) and let{\ }\(B_{_\delta ,*}^A\){\ be the multilinear Bochner-Riesz operator given by } \[ B_{_\delta ,*}^A(f)(x)=\sup_{t>0}\left| \int\nolimits_{\mathbb{R} ^n}B_t^{^\delta }((x-y))\frac{R_{m+1}(A;x,y)}{\left| x-y\right| ^m} f(y)\,dy\right| \] where \(B_t^{^\delta }(z)=t^{-n}B^{^\delta }(z/t)\) for \(t>0\){. Then } \noindent (1) \(B_{_\delta ,*}^A\) {is bounded from }\(L^p(\mathbb{R}^n)\) {\ to }\(\dot{F}_p^{\beta ,\infty }(\mathbb{R}^n)\){;} \noindent (2) \(B_{_\delta ,*}^A\) {is bounded from }\(L^p(\mathbb{R}^n) \){\ to }\(L^q(\mathbb{R}^n)\)\ for \(1/p-1/q=\beta /n\){\ and }\( 1/p>\beta /n\). The author were also able to prove similar results for multilinear Littlewood-Paley operator and multilinear Marcinkiewicz integral operator.