The Hardy-Rellich inequality and uncertainty principle on the sphere

Let ${\mathrm{\Delta }}_0$ be the Laplace-Beltrami operator on the unit sphere ${\mathbb{S}}^{d-1}$ of ${\mathbb{R}}^d$. We show that the Hardy-Rellich inequality of the form $${\int }_{{\mathbb{S}}^{d-1}}{\mid f(x)\mid }^{2}d\sigma (x)\le c_d\underset{e\in {\mathbb{S}}^{d-1}}{\min }{\int }_{{\mathbb{S}}^{d-1}}(1-⟨x,e⟩){\mid (-{\mathrm{\Delta }}_0{)}^{\frac{1}{2}}f(x)\mid }^{2}d\sigma (x)$$ holds for $d=2$ and $d \ge 4$butdoesnotholdfor$d=3$ with any finite constant, and the optimal constant for the inequality is $c_d=8\mathrm{/}(d-3{)}^2$ for $d=2,4,5$ and, under additional restrictions on the function space, for $d\ge 6$. This inequality yields an uncertainty principle of the form $$\underset{e\in {\mathbb{S}}^{d-1}}{\min }{\int }_{{\mathbb{S}}^{d-1}}(1-⟨x,e⟩)\mathrm{\mid }f(x){\mathrm{\mid }}^{2}d\sigma (x){\int }_{{\mathbb{S}}^{d-1}}{\mid {\mathrm{\nabla }}_{0}f(x)\mid }^{2}d\sigma (x)\ge c_d^{\mathrm{\prime }}$$ on the sphere for functions with zero mean and unit norm, which can be used to establish another uncertainty principle without zero mean assumption, both of which appear to be new. This paper is published in Constructive Approximation, 40(2014): 141-171. An erratum is now appended.