Bilinear pseudo-differential operators with exotic symbols (Q2027777)

Let \(m\in\mathbb R, 0\leq\delta\leq\rho\leq 1\). A function \(\sigma(x,\xi,\eta)\in C^{\infty}(\mathbb R^n\times\mathbb R^n\times\mathbb R^n)\) belongs to the bilinear Hörmander symbol class \(BS^m_{\rho,\delta}(\mathbb R^n)\equiv BS^m_{\rho,\delta}\) if for every triple of multi-indices \(\alpha,\beta,\gamma\in\mathbb N^n_0=\{0,1,2,\dots\}^n\) there exists a constant \(C_{\alpha,\beta,\gamma}>0\) such that \[ |\partial^{\alpha}_x\partial^{\beta}_{\xi}\partial^{\gamma}_{\eta}\sigma(x,\xi,\eta)|\leq C_{\alpha,\beta,\gamma}(1+|\xi|+|\eta|)^{m+\delta|\alpha|-\rho(|\beta|+|\gamma|)}. \] Such a symbol \(\sigma\in BS^m_{\rho,\delta}\) generates the bilinear pseudo-differential operator \(T_{\sigma}\) in the following way \[ T_{\sigma}(f,g)(x)=\frac{1}{(2\pi)^{2n}}\int\limits_{\mathbb R^n\times\mathbb R^n}e^{ix\cdot(\xi+\eta)}\sigma(x,\xi,\eta)\hat f(\xi)\hat g(\eta)d\xi d\eta,~~~f,g\in S(\mathbb R^n). \] Main results of the paper are the following. Theorem 1.2. Let \(0\leq\rho<1, m=-(1-\rho)n/2\). The the operator \(T_{\sigma}, \sigma\in BS^m_{\rho,\rho}\) is a bounded operator \(L^2(\mathbb R^n)\times L^{\infty}(\mathbb R^n)\rightarrow L^2(\mathbb R^n)\). Theorem 1.3. Let \(0\leq\rho<1, m=-(1-\rho)n\). The the operator \(T_{\sigma}, \sigma\in BS^m_{\rho,\rho}\) is a bounded operator \(L^{\infty}(\mathbb R^n)\times L^{\infty}(\mathbb R^n)\rightarrow\mathrm{BMO}(\mathbb R^n)\). There are also very important Corollary 1.4 regarding to boundedness \(T_{\sigma}: L^p(\mathbb R^n)\times L^q(\mathbb R^n)\rightarrow L^r(\mathbb R^n)\) for \(1\leq p,q,r\leq\infty\) and good introduction with historical remarks and explanations in the paper.