On the boundedness of singular integrals in Morrey spaces and its preduals (Q276087): Difference between revisions

For \(M\in\mathbb Z^n\) and \(J\in\mathbb Z\), let \(Q_{\mathrm{JM}}=2^{-J}(M+[-1,1]^n)\), and for \(1<p<\infty\) and \(-n/p\leq r<0\), define \(\| f|L_p^r(\mathbb R^n)\| =\sup_{m\in \mathbb Z^n}\sup_{J\in\mathbb Z} 2^{J(n/p+r)}\| f\| _{L^p(Q_{\mathrm{JM}})}\). Define the \textit{Morrey spaces} as \(L_p^r(\mathbb R^n):=\{f\in L_{\mathrm{loc}}^p(\mathbb R^n); \| f|L_p^r(\mathbb R^n)\| <\infty\}\). For \(1<p<\infty\) and \(-n<\rho<-n/p\), define the \textit{predual Morrey space} \(H^\rho L_p(\mathbb R^n)\) as the set of all \(h\in \mathcal S'(\mathbb R^n)\) which can be represented as \(h=\sum_{J\in\mathbb Z, M\in \mathbb Z^n}\lambda_{\mathrm{JM}} a_{\mathrm{JM}}\) in \(\mathcal S'(\mathbb R^n)\) with \(\mathrm{supp }a_{\mathrm{JM}}\subset Q_{\mathrm{JM}}\), \(\| a_{\mathrm{JM}}\| _{L^p(\mathbb R^n)}\leq 2^{-J(n/p+\rho)}\) such that \(\sum_{J\in\mathbb Z, M\in \mathbb Z^n}|\lambda_{\mathrm{JM}}|<\infty\). Its norm is defined by the infimum of the sums \(\sum_{J\in\mathbb Z, M\in \mathbb Z^n}|\lambda_{\mathrm{JM}}|\) taken over all representations of \(h\). Note that \(L_p^r(\mathbb R^n) =L^{p,-pr}(\mathbb R^n)\) and \(H^{-n-r}L_{p'}(\mathbb R^n)\) coincides with the Zorko space \(Z^{p',-pr}(\mathbb R^n)\) used in many other works such as [\textit{D. R. Adams}, Morrey spaces. Cham: Birkhäuser/Springer (2015; Zbl 1339.42001)]. \(Z^{p',-pr}(\mathbb R^n)\) also coincides with the block space \(B_{p'}^{(-n/r)'}(\mathbb R^n)\). Also, \(L_p^r(\mathbb R^n)=\mathcal M_p^{-n/r}(\mathbb R^n)\), see [\textit{W. Yuan} et al., Morrey and Campanato meet Besov, Lizorkin and Triebel. Lecture Notes in Mathematics 2005. Berlin: Springer (2010; Zbl 1207.46002)]. Let \(\overset{\circ} L_p^r(\mathbb R^n)\) be the completion of \(\mathcal D(\mathbb R^n)\) in \(L_p^r(\mathbb R^n)\). Then, as is known, \((\overset{\circ} L_p^r(\mathbb R^n))'=H^{-n-r} L_{p'}(\mathbb R^n)\) and \((H^{-n-r} L_{p'}(\mathbb R^n))'=L_p^r(\mathbb R^n)\). For \(1<q<\infty\), the authors define the \(l^q\)-valued spaces \(L_p^r(l^q, \mathbb R^n)\), \(H^\rho L_p(l^q, \mathbb R^n)\) and \(\overset{\circ} L_p^r(l^q, \mathbb R^n)\). They show as in the scalar case that \((\overset{\circ} L_p^r(l^q,\mathbb R^n))'=H^{-n-r} L_{p'}(l^q,\mathbb R^n)\) and \((H^{-n-r} L_{p'}(l^q, \mathbb R^n))'=L_p^r(l^q, \mathbb R^n)\). One of their main theorems is as follows: let \(1<p<\infty\), \(-n/p\leq r<0\), \(1<q<\infty\), and let \(T_j\) \((j=0,1,\dots)\) be operators with the following properties: {\parindent=8mm \begin{itemize}\item[(i)] \(T_j: D(\mathbb R^n)\to C(\mathbb R^n)\) is linear or \(T_j(f_1+f_2)(y)\leq T_jf_1(y)+T_jf_2(y)\), \(T_jf(-y)=T_jf(y, T_j(0)=0\) for \(f,f_1,f_2\in D(\mathbb R^n)\) and \(y\in \mathbb R^n\); \item[(ii)] \(|T_jf(y)|\leq C \int_{\mathbb R^n}|f(z)|/|y-z|^n dz\) for all \(f\in D(\mathbb R^n)\) and \(y\notin \mathrm{supp }f\); \item[(iii)] \(\| T_jf_j\| _{L^p(l^q,\mathbb R^n)}\leq C\| f_j\| _{L^p(l^q,\mathbb R^n)}\) for \(\{f_j\}\subset D(\mathbb R^n)\). \end{itemize}} Then: {\parindent=6mm\begin{itemize}\item[(1)] There are unique bounded extensions \(\tilde T_j\) of \(T_j\) to \(\overset{\circ} L_p^r(\mathbb R^n)\) for \(j=0,1,\dots\) such that \(\{\tilde T_j\}: \overset{\circ} L_p^r(l^q, \mathbb R^n)\hookrightarrow \overset{\circ} L_p^r(l^q, \mathbb R^n)\). \item[(2)] If the \(T_j\) are linear, then there are linear and bounded extensions \(\tilde T_j\) of \(T_j\) to \({L_p^r}(\mathbb R^n)\) for \(j=0,1,\dots\) such that \(\{\tilde T_j\}: {L_p^r}(l^q, \mathbb R^n) \hookrightarrow {L_p^r}(l^q, \mathbb R^n)\). \end{itemize}} The authors also obtain similar results for \(H^{-n-r} L_{p'}(l^q, \mathbb R^n)\). As consequences, they give mapping properties as above for various classes of operators in vector-valued Morrey-type spaces, concerning Calderón-Zygmund operators, maximal operators of Hardy-Littlewood and Calderón-Zygmund type, as well as vector-valued inequalities and Fourier multipliers such as characteristic functions, smooth functions, strongly singular operators and Bochner-Riesz multipliers with critical indices.