The \(L^p\) spectrum of Riemannian products (Q2481720): Difference between revisions

Let \((M,g)\) be a complete Riemannian manifold and \(\Delta_{M}\) the Laplace-Beltrami operator on \(M\) associated with the metric \(g\) (with domain the space of compactly supported smooth functions). Since \(\Delta_{M}\) is essentially selfadjoint, its closure \(\Delta_{M,2}\) defines a positive selfadjoint operator on \(L^{2}(M)\). The semigroup \(e^{-t\Delta_{M,2}}\) defines a family of strongly continuous semigroups \(t\mapsto T_{p}(t)\) on \(L^{p}(M)\) for \(p\geq 1\). Write \(\Delta_{M,p}\) for the generator of \(t\mapsto -T_{p}(t)\) and \(\sigma(\Delta_{M,p})\) for the \(L^{p}\)-spectrum of \(\Delta_{M}\). The author proves the following result: let \((M_{1},g_{1})\) and \((M_{1},g_{2})\) be two complete Riemannian manifolds and let \((M=M_{1}\times M_{2},g=g_{1}\oplus g_{2})\) be the corresponding Riemannian product. Then one has: \[ \sigma(\Delta_{M,p})=\sigma(\Delta_{M_{1},p})+\sigma(\Delta_{M_{2},p})\;\;\forall p>1 \] where the right-hand side is a set theoretic sum. Moreover it is proved that if both \(M_{1}\) and \(M_{2}\) have bounded geometry then the previous assertion holds for \(p=1\).