A p-specific spectral multiplier theorem with sharp regularity bound for Grushin operators

In a recent work, Chen and Ouhabaz proved a p-specific Lp\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$L^p$$\end{document}-spectral multiplier theorem for the Grushin operator acting on Rd1×Rd2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb {R}}^{d_1}\times {\mathbb {R}}^{d_2}$$\end{document} which is given by L=-∑j=1d1∂xj2-(∑j=1d1|xj|2)∑k=1d2∂yk2.\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\begin{aligned} L =-\sum _{j=1}^{d_1} \partial _{x_j}^2 - \Bigg ( \sum _{j=1}^{d_1} |x_j|^2\Bigg ) \sum _{k=1}^{d_2}\partial _{y_k}^2. \end{aligned}$$\end{document}Their approach yields an Lp\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$L^p$$\end{document}-spectral multiplier theorem within the range 1<p≤min{2d1/(d1+2),2(d2+1)/(d2+3)}\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$1< p\le \min \{ 2d_1/(d_1+2), 2(d_2+1)/(d_2+3) \}$$\end{document} under a regularity condition on the multiplier which is sharp only when d1≥d2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$d_1\ge d_2$$\end{document}. In this paper, we improve on this result by proving Lp\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$L^p$$\end{document}-boundedness under the expected sharp regularity condition s>(d1+d2)(1/p-1/2)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$s>(d_1+d_2)(1/p-1/2)$$\end{document}. Our approach avoids the usage of weighted restriction type estimates which played a key role in the work of Chen and Ouhabaz, and is rather based on a careful analysis of the underlying sub-Riemannian geometry and restriction type estimates where the multiplier is truncated along the spectrum of the Laplacian on Rd2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb {R}}^{d_2}$$\end{document}.