The Schrödinger equation in \(L^p\) spaces for operators with heat kernel satisfying Poisson type bounds (Q2073692)

The operator \(e^{it\Delta}\) is \(L^p(\mathbb{R}^n) \mapsto L^p(\mathbb{R}^n)\) bounded only when \(p = 2\), but the \(p\) range can be widened prior regularization. This type of phenomenon was already investigated, for example, in [\textit{T. A. Bui} et al., Rev. Mat. Iberoam. 36, No. 2, 455--484 (2020; Zbl 1448.35352)]. In the article under review, the authors consider mapping properties of \(e^{itL}\) for non-negative self-adjoint operators \(L\) in a metric space \((X, d, \mu)\) with doubling measure \(\mu\). Their main result is the inequality \[ \lVert e^{itL}(I + L)^{-\sigma_pn}f \rVert_{L^p(X)} \le C(I + \lvert t \rvert)^{\sigma_pn}\lVert f \rVert_{L^p(X)}, \qquad \text{for } \sigma_p := \bigg\lvert \frac{1}{2} - \frac{1}{p} \bigg\rvert, \tag{1}\] where \(p \in (p_0, p_0^\prime)\) with \(1\le p_0 < 2\), and \(e^{-tL}\) satisfies \[ \lVert \1_{B(x,t^{1/m})}e^{-tL}V_{t^{1/m}}^{\sigma_{p_0}} \1_{B(y,t^{1/m})} f \rVert_{L^2(X)} \le C \Big(1 + \frac{d(x,y)}{t^{1/m}}\Big)^{-n - \kappa} \lVert f \rVert_{L^{p_0}(X)}, \tag{2}\] where \(\kappa > [n/2] + 1\) and \(V_r(x) := \mu(B(x,r))\). The hypothesis (2) covers a wide class of operators. The authors develop a theory of Hardy spaces \(H_L^q(X)\) adapted to \(L\) and show that, by duality and interpolation, it suffices to prove (1) with \(H_L^q(X)\), for \(q < 1\), instead of \(L^p(X)\). To show that the operator is bounded in \(H^q_L(X)\), they prove new estimates for oscillatory multipliers to control off-diagonal terms. The proof uses several techniques, for example: \(L^2\) based estimates; a dyadic-like decomposition (amalgam blocks); and commutator estimates. \par Editorial note: The reviewer found some mistakes in the original paper [see \url{arXiv:2007.01469}] and contacted the authors. They uploaded an amended version of the paper in [\url{arXiv:2007.01469}]. The review above relates to the amended version.