Rough bilinear singular integrals

From MaRDI portal



Abstract: We study the rough bilinear singular integral, introduced by Coifman and Meyer , T_Omega(f,g)(x)=p.v. ! int_{mathbb R^{n}}! int_{mathbb R^{n}}! |(y,z)|^{-2n} Omega((y,z)/|(y,z)|)f(x-y)g(x-z) dydz, when Omega is a function in Lq(mathbbS2n−1) with vanishing integral and 2leqleinfty. When q=infty we obtain boundedness for TOmega from Lp1(mathbbRn)imesLp2(mathbbRn) to Lp(mathbbRn) when 1<p1,p2<infty and 1/p=1/p1+1/p2. For q=2 we obtain that TOmega is bounded from L2(mathbbRn)imesL2(mathbbRn) to L1(mathbbRn). For q between 2 and infinity we obtain the analogous boundedness on a set of indices around the point (1/2,1/2,1). To obtain our results we introduce a new bilinear technique based on tensor-type wavelet decompositions.


Given \(\Omega\in L^\infty(\mathbb S^{2n-1})\), with mean value zero, set \[ K(y,z)=\frac{\Omega((y,z)')}{|(y,z)|^{2n}}, \] where \(x'=x/|x|\). Then, the authors prove the boundedness of the rough bilinear operator \[ T_\Omega(f,g)(x)=\text{p.v.}\int_{\mathbb R^n}\int_{\mathbb R^n} K(x-y,x-z)f(y)g(z)\,dydz, \] on \(L^p(\mathbb R^n)\), for all \(p>1/2\) and all dimensions: \[ T_\Omega:L^{p_1}(\mathbb R^n)\times L^{p_2}(\mathbb R^n)\rightarrow L^{p}(\mathbb R^n), \] \(1 < p_1,p_2<\infty\) and \(1/p=1/p_1+1/p_2\). \(T_\Omega\) was first introduced in [\textit{R. R. Coifman} and \textit{Y. Meyer}, Trans. Am. Math. Soc. 212, 315--331 (1975; Zbl 0324.44005)], where they proved a similar result, in dimension 1, under the more restrictive smoothness condition that \(\Omega\) is a function of bounded variation on the circle. The extension to higher dimensions, for Lipschitz functions \(\Omega\) in \(\mathbb S^{2n-1}\), was obtained in [\textit{L. Grafakos} and \textit{R. H. Torres}, Adv. Math. 165, No. 1, 124--164 (2002; Zbl 1032.42020)]. If \(\Omega\in L^q(\mathbb S^{2n-1})\), \(2\leq q<\infty\), a similar results holds, for \((1/p_1,1/p_2,1/p)\) on a suitable neighborhood of \((1/2,1/2,1)\). The idea of the proof is to write the kernel \(K=\sum_jK_j\), using a Littlewood-Paley decomposition, and then to obtain an exponential decay of the norm of \(T_j\), based on a particular compactly supported wavelet expansion, combined with combinatorial arguments and exploiting orthogonality. Some motivations for these ideas can be found in [\textit{J. Duoandikoetxea} and \textit{J. L. Rubio de Francia}, Invent. Math. 84, 541--561 (1986; Zbl 0568.42012)]. A couple of interesting open problems are stated at the end of this work: if \(\Omega\in L^q(\mathbb S^{2n-1})\), \(2\leq q<\infty\), find the optimal range of indices \(p_1,p_2,p\), for which \(T_\Omega\) is bounded, and study whether the operator is bounded when \(\Omega\in L^q(\mathbb S^{2n-1})\), for \(q<2\).



Cites work


Cited in
(33)








This page was built for publication: Rough bilinear singular integrals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1694299)