Sharp $L^p$ estimates for Schrödinger groups on spaces of homogeneous type
We prove an $L^{p}$ estimate $$ \|e^{-itL} φ(L)f\|_{p}\lesssim (1+|t|)^s\|f\|_p, \qquad t\in \mathbb{R}, \qquad s=n\left|\frac{1}{2}-\frac{1}{p}\right| $$ for the Schrödinger group generated by a semibounded, selfadjoint operator $L$ on a metric measure space $\mathcal{X}$ of homogeneous type (where $n$ is the doubling dimension of $\mathcal{X}$). The assumptions on $L$ are a mild $L^{p_{0}}\to L^{p_{0}'}$ smoothing estimate and a mild $L^{2}\to L^{2}$ off--diagonal estimate for the corresponding heat kernel $e^{-tL}$. The estimate is uniform for $ φ$ varying in bounded sets of $\mathscr{S}(\mathbb{R})$, or more generally of a suitable weighted Sobolev space. We also prove, under slightly stronger assumptions on $L$, that the estimate extends to $$ \|e^{-itL} φ(θL)f\|_{p}\lesssim (1+θ^{-1}|t|)^s\|f\|_p, \qquad θ>0, \quad t\in \mathbb{R}, $$ with uniformity also for $θ$ varying in bounded subsets of $(0,+\infty)$. For nonnegative operators uniformity holds for all $θ>0$.