Sharp $L^p$-estimates for wave equation on $ax+b$ groups

Abstract

Let $G$ be the group ${\mathbb{R}}_{+}⋉{\mathbb{R}}^n$ endowed with Riemannian symmetric space metric $d$ and the right Haar measure $\mathrm{d}\rho$ which is of $ax+b$ type, and $L$ be the positive definite left-invariant distinguished Laplacian on $G$. Let $u=u(t,\cdot )$ be the solution to ${\partial }_t^{2}u+Lu=0$ with initial conditions $u{|}_{t=0}=f_0$ and ${\partial }_{t}u{|}_{t=0}=f_1$. In this article we show that for a fixed $t\in \mathbb{R}\setminus \{0\}$ and every $1<p<\infty$, \begin{align*} \|u(t,\cdot)\|_{L^p(\mathrm{d}ρ)}\leq C_p\,\Big( (1+|t|)^{2|1/p-1/2|}\|f_0\|_{L^p_{α_0}(\mathrm{d}ρ)}+(1+|t|)\,\|f_1\|_{L^p_{α_1}(\mathrm{d}ρ)}\Big) \end{align*} if and only if \begin{align*} α_0\geq n\left|{1\over p}-{1\over2}\right| \quad \mbox{and} \quad α_1\geq n\left|{1\over p}-{1\over2}\right|-1. \end{align*} The polynomial-in-time growth $1+|t|$ multiplying $\Vert f_1{\Vert }_{L_{{\alpha }_1}^p(\mathrm{d}\rho )}$ in the above estimate is best possible. This endpoint result settles the conjecture raised by Müller and Thiele [Studia Math. \textbf{179} (2007)].