A Besov estimate for multilinear singular integrals (Q5925955)

This paper deals with a bilinear singular integral in \({\mathbb R}^n\). For all \(\varepsilon>0\), all smooth functions \(a\) and \(b\), all measurable functions \(f\) and all \(x\in {\mathbb R}^n\), define \[ C_{\varepsilon}(a,b;f)(x)=\int_{\left|x-y\right|>\varepsilon} P_{m_1}(a;x,y)P_{m_2}(b;x,y)\frac{\Omega(x-y)}{\left|x-y\right|^{n+M-2}}f(y)dy, \] where \(P_m(b;x,y)\) denotes the \(m\)-th order Taylor series remainder at \(x\) expanded about \(y\), \(m=m_1+m_2\). Assume that \(\Omega\) is homogeneous of degree \(0\), that \(\left|\Omega(x)-\Omega(y)\right|\leq \left|x-y\right|\) when \(x,y\) are in the unit sphere of \({\mathbb R}^n\) and has vanishing moments up to order \(M-2\) on the unit sphere of \({\mathbb R}^n\). Define the maximal function \[ C_{\ast}(a,b;f)(x)=\sup\limits_{\varepsilon>0} \left|C_{\varepsilon}(a,b;f)(x) \right|. \] Define also the following variant of the Hardy-Littlewood maximal function: \[ M_{\alpha,p}f(x)=\sup\limits_{Q\ni x} \left(\frac 1{\left|Q\right|^{1-\frac{\alpha p}n}} \int_Q \left|f(y)\right|^p dy \right)^{1/p}. \] The first result of the present paper is the following good \(\lambda\) inequality: for \(1<r<p<+\infty\), there exists \(\gamma_0>0\) such that, for all \(\gamma\in \left]0,\gamma_0\right[\) and all \(\lambda>0\), \[ \left|\left\{x\in {\mathbb R}^n;\;C_{\ast}(a;b;f)(x)>3\lambda,\;\left\|\nabla^{m_1-1}a\right\|_{\dot{\Lambda_{\beta}}} \left\|\nabla^{m_2-1}b\right\|_{\dot{\Lambda_{\beta}}} M_{2_\beta,p}f(x)\leq \gamma\lambda\right\}\right| \] \[ \leq C\gamma^r \left|\left\{x\in {\mathbb R}^n;\;C_{\ast}(a;b;f)(x)>\lambda \right\}\right|. \] In this estimate, \(\dot{\Lambda_{\beta}}\) denotes the homogeneous Lipschitz space of order \(\beta\). As a consequence of this good \(\lambda\) inequality, some estimates for the operator \(C(a,b;f)=\lim_{\varepsilon\rightarrow 0} C_{\varepsilon}(a,b;f)\) are derived. More precisely, estimates in \(L^q\) and in \(\dot{F}_p^{\beta,\infty}\) are obtained. The previous BMO estimates for these operators are due to Cohen and Gosselin. The estimates proved in the present paper may be viewed as a bilinear version of the celebrated Coifman-Rochberg and Weiss commutator result.