On \(L^2\)-boundedness of pseudo-multipliers associated to the Grushin operator (Q6184867)

For a suitable function \(f\) on \({\mathbb R}^n\) and a bounded measurable function \(m\) on \({\mathbb R}^n\times {\mathbb R}^n\), one may consider the pseudo-differential operator \(m(x,D)\) defined by \[ m(x,D)f(x):=\frac{1}{(2\pi)^{n/2}}\int_{{\mathbb R}^n}m(x,\xi)\widehat{f}(\xi)e^{ix\cdot\xi}d\xi. \] Let \(H=-\Delta+\mid x\mid^2\) be the Hermite operator on \({\mathbb R}^n\). Let \(P_k\) be the orthogonal projection of \(L^2({\mathbb R}^n)\) onto the eigenspace for \(H\) corresponding to the eigenvalue \(2k+n\), involved in the spectral resolution of \(H\). Suppose now that \(m\in C^\infty({\mathbb R}^n\times{\mathbb R}_+)\). For \(\sigma\in{\mathbb R}\), \(\rho,\delta\geq 0\), \(m\) is said to belong to the symbol class \(S^\sigma_{\rho,\delta}\) if \[ \mid\partial_x^{\alpha}\partial_\eta^{l}m(x,\eta)\mid\lesssim_{l,\alpha}(1+\eta)^{\sigma-\rho l+\delta\mid\alpha\mid} \] for all \(l\in{\mathbb N},\alpha\in{\mathbb N}^n\). The first main result proved in the paper under review is the following analogue of the Calderón-Vaillancourt theorem (Theorem 1.3): Let \(m\in S^0_{\rho,\delta}\), with \(0\leq\delta\leq\rho\), \(\delta\neq 1\). Then the operator \(m(x,\sqrt{H})\) extends to a bounded operator from \(L^2({\mathbb R}^n)\) to itself. A similar statement is proved when the Hermite operator \(H\) is replaced by the Grushin operator \(G:=-\Delta_{x^\prime}-\mid x^\prime\mid^2\Delta_{x^{\prime\prime}}\), where \(x=(x^\prime,x^{\prime\prime})\in{\mathbb R}^{n_1}\times{\mathbb R}^{n_2}\).