Hardy type inequalities on the sphere

Abstract

In this paper, we consider the $L^p$-Hardy inequalities on the sphere. By the divergence theorem, we establish the $L^p$-Hardy inequalities on the sphere. Furthermore, we also obtain their best constants. Our results can be regarded as the extension of Xiao’s (J. Math. Inequal. 10:793-805, 2016).

Introduction

The classical Hardy inequality states that for $N\ge 3$ and $p>1$

$${\int }_{R^N}|\mathrm{\nabla }u{|}^{p}dx\ge |\frac{N-p}{p}{|}^p{\int }_{R^N}\frac{|u{|}^p}{|x{|}^p}dx,$$ 1

with $u\in C_0^{\mathrm{\infty }}(R^N)\setminus \{0\}$ and $|\frac{N-p}{p}{|}^p$ the best constant. In recent years, many papers have been dedicated to improved versions of the above inequality because of its application to singular problems. We see [2–6] and the references therein. Hardy inequalities are a subfamily of the Caffarelli-Kohn-Nirenberg inequalities. In a Riemannian manifold, the knowledge of the validity of these inequalities and their best constants allows us to obtain qualitative properties on the manifold [7–10].

Recently, Carron [11] studied the weighted $L^2$-Hardy inequalities on a Riemannian manifold under some geometric assumptions on the weighted function ρ and obtained the following inequality:

$${\int }_M{\rho }^{\alpha }|\mathrm{\nabla }u{|}^{2}dx\ge |\frac{C+\alpha -1}{2}{|}^2{\int }_M{\rho }^{\alpha }\frac{|u{|}^2}{{\rho }^2}dx,$$

where the weighted function ρ satisfies $|\mathrm{\nabla }\rho |=1$ and $\mathrm{\Delta }\rho \ge \frac{C}{\rho }$. In [12], Grillo obtained Hardy, Rellich and Sobolev inequalities in homogeneous spaces. Recently, Kombe and Özaydin [13] extended Carron’s results to the general case $p\ne 2$. Moreover, they obtained the sharp versions of improved Hardy inequalities and an improved Rellich inequality in hyperbolic spaces. By the divergence theorem and careful choices of a vector field, D’Ambrosio and Dipierro [14] proved a sufficient criterion to obtain $L^p$-Hardy inequalities on Riemannian manifolds. That is, if ρ satisfies $-{\mathrm{\Delta }}_p\rho \ge 0$, then the following Hardy inequality was obtained:

$$C{\int }_M|\mathrm{\nabla }\rho {|}^p\frac{|u{|}^p}{{\rho }^p}d{V}_g\le {\int }_M|\mathrm{\nabla }u{|}^{p}d{V}_g,\mathrm{\forall }u\in C_0^{\mathrm{\infty }}(M).$$

Very recently, by a similar approach that appeared in [13], Xiao [1] studied the $L^2$-Hardy inequality and the Rellich inequality on the sphere, and obtained their best constants. Yang, Su and Kong [15] considered the $L^p$-Hardy inequalities on a complete, simply connected Riemannian manifold with negative curvature. They obtained the sharp constants of Hardy and Rellich inequalities related to the geodesic distance. In this paper, we aim to extend Xiao’s results [1] to a general case.

Our main results

Our main result is the following $L^p$-Hardy inequality on the sphere.

Theorem 1

Let $N\ge 3$, $1<p<N$, $q\in S^N$, then there exists a positive constant $C>0$ such that for all $f\in C^{\mathrm{\infty }}(S^N)$, we have for $2\le p<N$,

$$\begin{array}{c}C{\int }_{S^N}\frac{|f{|}^p}{{sin}^{p-2}d(x,q)}dV+{\int }_{S^N}|{\mathrm{\nabla }}_{S}f{|}^{p}dV\hfill \\ \ge {\left(\frac{N-p}{p}\right)}^p{\int }_{S^N}(\frac{|f{|}^p}{d^p(x,q)}+\frac{|f{|}^p}{{(\pi -d(x,q))}^p})dV\hfill \end{array}$$ 2

for $1<p<2$,

$$\begin{array}{c}C{\int }_{S^N}|f{|}^{p}dV+{\int }_{S^N}|{\mathrm{\nabla }}_{S}f{|}^{p}dV\hfill \\ \ge {\left(\frac{N-p}{p}\right)}^p{\int }_{S^N}(\frac{|f{|}^p}{d^p(x,q)}+\frac{|f{|}^p}{{(\pi -d(x,q))}^p})dV,\hfill \end{array}$$ 3

where $d(x,q)$ is the geodesic distance of x and q. Moreover, ${(\frac{N-p}{p})}^p$ is the best constant.

Remark 2

When $p=2$, inequality (3) was obtained by Xiao [1]. When $1<p<2$, ${\int }_{S^N}\frac{|f{|}^p}{{sin}^{p-2}d(x,q)}dV$ cannot control the right-hand side of (3) since ${sin}^{p-2}d(x,q)$ is large enough when x is close to q. Therefore, we use ${\int }_{S^N}|f{|}^{p}dV$ as the left-hand side of the inequality instead of ${\int }_{S^N}\frac{|f{|}^p}{{sin}^{p-2}d(x,q)}dV$.

Although our approach is similar to Xiao’s [1], the appearance of general p makes the calculation more complicated, especially for the existence of the constant C in Theorem 1.

Preliminaries and notations

Let $S^N=\{x=(x_1,x_2,\dots ,x_{n+1})\in R^{N+1};|x|=1\}$ be the unit sphere of dimension N. Let $({\theta }_1,{\theta }_2,\dots ,{\theta }_N)$ be the angular variables on $S^N$. For simplicity, we define ${\theta }_N=\theta$, where $x_{N+1}=|x|cos{\theta }_N$. By polar coordinates associated with θ, we get

$${\int }_{S^N}fdV={\int }_{S^{N-1}}{\int }_0^{\pi }f{sin}^{N-1}\theta d\sigma d\theta ,$$

where dσ is the canonical measure of the unit sphere $S^{N-1}$. We say that a function f on $S^N$ is an angular function if f depends only on θ. In this case,

$${\mathrm{\Delta }}_{S}f={sin}^{1-N}\theta \frac{d}{d\theta }\left({sin}^{N-1}\theta \frac{df}{d\theta }\right)$$

and

$$|{\mathrm{\nabla }}_{S}f(\theta )|=|f^{\prime }(\theta )|.$$

See [1]. For more basic properties on the sphere, we refer to [16].

The proof of Theorem 1

Now we give the proof of Theorem 1.

Let $f={\rho }^{\gamma }\phi$, $\rho =sin\theta$, $\gamma =-\frac{N-p}{p}$, by the calculation that appeared in [13], one has

$$\begin{array}{rcl}|{\mathrm{\nabla }}_{S}f{|}^p& =& |{\mathrm{\nabla }}_S\left({\rho }^{\gamma }\right)\phi +{\rho }^{\gamma }{\mathrm{\nabla }}_S\phi {|}^p\\ & \ge & |{\mathrm{\nabla }}_S\left({\rho }^{\gamma }\right)\phi {|}^p+p|{\mathrm{\nabla }}_S\left({\rho }^{\gamma }\right)\phi {|}^{p-2}|{\mathrm{\nabla }}_S\left({\rho }^{\gamma }\right)\phi \cdot {\rho }^{\gamma }{\mathrm{\nabla }}_S\phi ,\end{array}$$

then integration by parts gives

$${\int }_{S^N}|{\mathrm{\nabla }}_{S}f{|}^{p}dV\ge |\gamma {|}^p{\int }_{S^N}{\rho }^{\gamma p-p}|{\mathrm{\nabla }}_S\rho {|}^p|\phi {|}^{p}dV-\frac{|\gamma {|}^{p-2}\gamma }{\gamma p-p+2}{\int }_{S^N}{\mathrm{\Delta }}_S\left({\rho }^{\gamma p-p+2}\right)|\phi {|}^{p}dV.$$

Since

$$|{\mathrm{\nabla }}_S\rho |=|{\mathrm{\nabla }}_{S}sin\theta |=|cos\theta |$$

and

$${\mathrm{\Delta }}_S\left({\rho }^{\gamma p-p+2}\right)={\mathrm{\Delta }}_S\left({sin}^{2-N}\theta \right)=(N-2){sin}^{2-N}\theta ,$$

one has

$${\int }_{S^N}|{\mathrm{\nabla }}_{S}f{|}^{p}dV\ge {\left(\frac{N-p}{p}\right)}^p{\int }_{S^N}\frac{|cos\theta {|}^p|\phi {|}^p}{{sin}^N\theta }dV-{\left(\frac{N-p}{p}\right)}^{p-1}{\int }_{S^N}\frac{|\phi {|}^p}{{sin}^{N-2}\theta }dV.$$

While

$$|cos\theta {|}^p=|{cos}^2\theta {|}^{\frac{p}{2}}={(1-{sin}^2\theta )}^{\frac{p}{2}}\ge 1-\frac{p}{2}{sin}^2\theta \text{for }p\ge 2$$

and

$$|cos\theta {|}^p\ge {cos}^2\theta \text{for }1<p\le 2.$$

The previous inequality can be written as follows:

$$\begin{array}{c}{\int }_{S^N}|{\mathrm{\nabla }}_{S}f{|}^{p}dV\hfill \\ \ge {\left(\frac{N-p}{p}\right)}^p{\int }_{S^N}\frac{|\phi {|}^p}{{sin}^N\theta }dV\hfill \\ -({\left(\frac{N-p}{p}\right)}^{p-1}+min\{\frac{p}{2},1\}{\left(\frac{N-p}{p}\right)}^p){\int }_{S^N}\frac{|\phi {|}^p}{{sin}^{N-2}\theta }dV.\hfill \end{array}$$

Define $C(N,p)={(\frac{N-p}{p})}^{p-1}+min\{\frac{p}{2},1\}{(\frac{N-p}{p})}^p$, then

$$\begin{array}{c}C(N,p){\int }_{S^N}\frac{|f{|}^p}{{sin}^{p-2}\theta }dV+{\int }_{S^N}|{\mathrm{\nabla }}_{S}f{|}^{p}dV\hfill \\ \ge {\left(\frac{N-p}{p}\right)}^p{\int }_{S^N}\frac{|f{|}^p}{{sin}^p\theta }dV.\hfill \end{array}$$ 4

In order to get our result, we rewrite the above inequality as

$$\begin{array}{c}C(N,p){\int }_{S^N}\frac{|f{|}^p}{{sin}^{p-2}\theta }dV+{\int }_{S^N}|{\mathrm{\nabla }}_{S}f{|}^{p}dV\hfill \\ \ge {\left(\frac{N-p}{p}\right)}^p{\int }_{S^N}(\frac{|f{|}^p}{{\theta }^p}+\frac{|f{|}^p}{{(\pi -\theta )}^p})dV\hfill \\ +{\left(\frac{N-p}{p}\right)}^p{\int }_{S^N}\frac{|f{|}^p}{{sin}^{p-2}\theta }(\frac{1}{{sin}^2\theta }-\frac{{sin}^{p-2}\theta }{{\theta }^p}-\frac{{sin}^{p-2}\theta }{{(\pi -\theta )}^p})dV.\hfill \end{array}$$ 5

As we know, for $p>2$,

$$\begin{array}{rcl}\underset{\theta \to 0^{+}}{lim}(\frac{1}{{sin}^2\theta }-\frac{{sin}^{p-2}\theta }{{\theta }^p}-\frac{{sin}^{p-2}\theta }{{(\pi -\theta )}^p})& =& \underset{\theta \to 0^{+}}{lim}\frac{{\theta }^p-{sin}^p\theta }{{\theta }^{p+2}}\\ & =& \underset{\theta \to 0^{+}}{lim}\frac{1-{(\frac{sin\theta }{\theta })}^p}{{\theta }^2}\\ & \ge & \underset{\theta \to 0^{+}}{lim}\frac{1-{(\frac{sin\theta }{\theta })}^2}{{\theta }^2}\\ & =& \frac{1}{3}>0,\end{array}$$

and for $p=2$,

$$\underset{\theta \to 0^{+}}{lim}(\frac{1}{{sin}^2\theta }-\frac{{sin}^{p-2}\theta }{{\theta }^p}-\frac{{sin}^{p-2}\theta }{{(\pi -\theta )}^p})=\frac{1}{3}-\frac{1}{\pi }>0.$$

Also, by a similar calculation, one has for $p>2$

$$\underset{\theta \to {\pi }^{-}}{lim}(\frac{1}{{sin}^2\theta }-\frac{{sin}^{p-2}\theta }{{\theta }^p}-\frac{{sin}^{p-2}\theta }{{(\pi -\theta )}^p})\ge \frac{1}{3}>0,$$

and for $p=2$

$$\underset{\theta \to {\pi }^{-}}{lim}(\frac{1}{{sin}^2\theta }-\frac{{sin}^{p-2}\theta }{{\theta }^p}-\frac{{sin}^{p-2}\theta }{{(\pi -\theta )}^p})\ge \frac{1}{3}-\frac{1}{\pi }>0.$$

Therefore, there exist a constant ${\theta }_1>0$ small enough and ${\theta }_2<\pi$ close to π such that for any $\theta \in (0,{\theta }_1]\cup [{\theta }_2,\pi )$, one has that

$$\frac{1}{{sin}^2\theta }-\frac{{sin}^{p-2}\theta }{{\theta }^p}-\frac{{sin}^{p-2}\theta }{{(\pi -\theta )}^p}>0\text{for }p\ge 2.$$

Thus from inequality (5), one has

$$\begin{array}{c}C(N,p){\int }_{S^N}\frac{|f{|}^p}{{sin}^{p-2}\theta }dV+{\int }_{S^N}|{\mathrm{\nabla }}_{S}f{|}^{p}dV\hfill \\ \ge {\left(\frac{N-p}{p}\right)}^p{\int }_{S^N}(\frac{|f{|}^p}{{\theta }^p}+\frac{|f{|}^p}{{(\pi -\theta )}^p})dV\hfill \\ +{\left(\frac{N-p}{p}\right)}^p{\int }_{S^N\cap ([0,{\theta }_1]\cup [{\theta }_2,\pi ])}\frac{|f{|}^p}{{sin}^{p-2}\theta }(\frac{1}{{sin}^2\theta }-\frac{{sin}^{p-2}\theta }{{\theta }^p}-\frac{{sin}^{p-2}\theta }{{(\pi -\theta )}^p})dV\hfill \\ +{\left(\frac{N-p}{p}\right)}^p{\int }_{S^N\cap [{\theta }_1,{\theta }_2]}\frac{|f{|}^p}{{sin}^{p-2}\theta }(\frac{1}{{sin}^2\theta }-\frac{{sin}^{p-2}\theta }{{\theta }^p}-\frac{{sin}^{p-2}\theta }{{(\pi -\theta )}^p})dV\hfill \\ \ge {\left(\frac{N-p}{p}\right)}^p{\int }_{S^N}(\frac{|f{|}^p}{{\theta }^p}+\frac{|f{|}^p}{{(\pi -\theta )}^p})dV-C_1{\int }_{S^N}\frac{|f{|}^p}{{sin}^{p-2}\theta }dV,\hfill \end{array}$$

where $C_1={sup}_{\theta \in [{\theta }_1,{\theta }_2]}(\frac{1}{{sin}^2\theta }-\frac{{sin}^{p-2}\theta }{{\theta }^p}-\frac{{sin}^{p-2}\theta }{{(\pi -\theta )}^p})$.

Let $C=C(N,p)+C_1$, one has that for $p\ge 2$

$$C{\int }_{S^N}\frac{|f{|}^p}{{sin}^{p-2}\theta }dV+{\int }_{S^N}|{\mathrm{\nabla }}_{S}f{|}^{p}dV\ge {\left(\frac{N-p}{p}\right)}^p{\int }_{S^N}(\frac{|f{|}^p}{{\theta }^p}+\frac{|f{|}^p}{{(\pi -\theta )}^p})dV,$$

which is exactly inequality (2).

While for $1<p<2$, we get from inequality (4) that

$$\begin{array}{c}C(N,p){\int }_{S^N}\frac{|f{|}^p}{{sin}^{p-2}\theta }dV+{\int }_{S^N}|{\mathrm{\nabla }}_{S}f{|}^{p}dV\hfill \\ \ge {\left(\frac{N-p}{p}\right)}^p{\int }_{S^N}(\frac{|f{|}^p}{{\theta }^p}+\frac{|f{|}^p}{{(\pi -\theta )}^p})dV\hfill \\ +{\left(\frac{N-p}{p}\right)}^p{\int }_{S^N}|f{|}^p(\frac{1}{{sin}^p\theta }-\frac{1}{{\theta }^p}-\frac{1}{{(\pi -\theta )}^p})dV.\hfill \end{array}$$ 6

By a similar calculation, we get that for $1<p<2$

$$\begin{array}{rcl}-\frac{1}{{(\pi -\theta )}^p}& \le & (\frac{1}{{sin}^p\theta }-\frac{1}{{\theta }^p}-\frac{1}{{(\pi -\theta )}^p})\\ & =& \frac{1-{(\frac{sin\theta }{\theta })}^p}{{sin}^p\theta }-\frac{1}{{(\pi -\theta )}^p}\le \frac{1-{(\frac{sin\theta }{\theta })}^2}{{sin}^2\theta }-\frac{1}{{(\pi -\theta )}^p}.\end{array}$$

Since

$$\underset{\theta \to 0^{+}}{lim}-\frac{1}{{(\pi -\theta )}^p}=-\frac{1}{{\pi }^p},\underset{\theta \to 0^{+}}{lim}\frac{1-{(\frac{sin\theta }{\theta })}^2}{{sin}^2\theta }-\frac{1}{{(\pi -\theta )}^p}=\frac{1}{3}-\frac{1}{{\pi }^p},$$

we get that there exists a constant ${\theta }_1>0$ small enough such that

$$\underset{\theta \in [0,{\theta }_1]}{sup}\left|(\frac{1}{{sin}^p\theta }-\frac{1}{{\theta }^p}-\frac{1}{{(\pi -\theta )}^p})\right|<+\mathrm{\infty }.$$

Furthermore, by a similar calculation, we get that there exists a constant ${\theta }_2$ close to π such that

$$\underset{\theta \in [{\theta }_2,\pi ]}{sup}\left|(\frac{1}{{sin}^p\theta }-\frac{1}{{\theta }^p}-\frac{1}{{(\pi -\theta )}^p})\right|<+\mathrm{\infty }.$$

Therefore, we get that

$$C_2:=\underset{\theta \in [0,\pi ]}{sup}\left|(\frac{1}{{sin}^p\theta }-\frac{1}{{\theta }^p}-\frac{1}{{(\pi -\theta )}^p})\right|<+\mathrm{\infty }.$$

Then, by inequality (6), one has

$$\begin{array}{c}C(N,p){\int }_{S^N}\frac{|f{|}^p}{{sin}^{p-2}\theta }dV+{\int }_{S^N}|{\mathrm{\nabla }}_{S}f{|}^{p}dV\hfill \\ \ge {\left(\frac{N-p}{p}\right)}^p{\int }_{S^N}(\frac{|f{|}^p}{{\theta }^p}+\frac{|f{|}^p}{{(\pi -\theta )}^p})dV-C_2{\left(\frac{N-p}{p}\right)}^p{\int }_{S^N}|f{|}^{p}dV.\hfill \end{array}$$

Let $C=C(N,p)+C_2{(\frac{N-p}{p})}^p$, we get for $1<p<2$

$$C{\int }_{S^N}|f{|}^{p}dV+{\int }_{S^N}|{\mathrm{\nabla }}_{S}f{|}^{p}dV\ge {\left(\frac{N-p}{p}\right)}^p{\int }_{S^N}(\frac{|f{|}^p}{{\theta }^p}+\frac{|f{|}^p}{{(\pi -\theta )}^p})dV,$$

which is exactly inequality (3).

Now we prove that ${(\frac{N-p}{p})}^p$ is the best constant of inequalities (2) and (3).

Let $\phi (t)\in [0,1]$ be a cut-off function such that $\phi (t)\equiv 1$ for $|t|\le 1$; $\phi (t)\equiv 0$ for $|t|>2$. Define $H(t)=1-\phi (t)$ and

$$f_{ϵ}(\theta )=H\left(\frac{\theta }{ϵ}\right){\theta }^{\frac{p-N}{p}}\text{for }0<\theta \le \pi ;f_{ϵ}(\theta )=0\text{for }\theta =0.$$

Then we have

$${\int }_{S^N}\frac{|f_{ϵ}{|}^p}{{sin}^{p-2}\theta }dV=\left|S^{N-1}\right|{\int }_{ϵ}^{\pi }{H}^p\left(\frac{\theta }{ϵ}\right){\theta }^{p-N}{sin}^{N-p+1}\theta d\theta \le \left|S^{N-1}\right|\frac{{\pi }^2-{ϵ}^2}{2},$$ 7

$${\int }_{S^N}|f_{ϵ}{|}^{p}dV=|S^{N-1}|{\int }_{ϵ}^{\pi }{H}^p\left(\frac{\theta }{ϵ}\right){\theta }^{p-N}{sin}^{N-1}\theta d\theta \le |S^{N-1}|\frac{{\pi }^p-{ϵ}^p}{p},$$ 8

$${\int }_{S^N}\frac{|f_{ϵ}{|}^p}{{\theta }^p}dV=\left|S^{N-1}\right|{\int }_{ϵ}^{\pi }{H}^p\left(\frac{\theta }{ϵ}\right){\theta }^{-N}{sin}^{N-1}\theta d\theta \ge \left|S^{N-1}\right|{\int }_{2ϵ}^{\pi }{\theta }^{-N}{sin}^{N-1}\theta d\theta ,$$ 9

$$\begin{array}{c}{\int }_{S^N}|{\mathrm{\nabla }}_S{f}_{ϵ}{|}^{p}dV\hfill \\ =\left|S^{N-1}\right|{\int }_{ϵ}^{\pi }|\frac{1}{ϵ}{H}^{\prime }\left(\frac{\theta }{ϵ}\right){\theta }^{\frac{p-N}{p}}+\frac{p-N}{q}H\left(\frac{\theta }{ϵ}\right){\theta }^{-\frac{N}{p}}{|}^p{sin}^{N-1}\theta d\theta \hfill \\ =\left|S^{N-1}\right|{\int }_{ϵ}^{2ϵ}|\frac{1}{ϵ}{H}^{\prime }\left(\frac{\theta }{ϵ}\right){\theta }^{\frac{p-N}{p}}+\frac{p-N}{p}H\left(\frac{\theta }{ϵ}\right){\theta }^{-\frac{N}{p}}{|}^p{sin}^{N-1}\theta d\theta \hfill \\ +\left|S^{N-1}\right|{\left(\frac{N-p}{p}\right)}^p{\int }_{2ϵ}^{\pi }|H\left(\frac{\theta }{ϵ}\right){\theta }^{-\frac{N}{p}}{|}^p{sin}^{N-1}\theta d\theta \hfill \\ \le C_1\underset{t\in [0,2]}{max}|H^{\prime }(t)|+C_2{\int }_{ϵ}^{2ϵ}{\theta }^{-1}d\theta +\left|S^{N-1}\right|{\left(\frac{N-p}{p}\right)}^p{\int }_{2ϵ}^{\pi }{\theta }^{-N}{sin}^{N-1}\theta d\theta \hfill \\ \le C_4+\left|S^{N-1}\right|{\left(\frac{N-p}{p}\right)}^p{\int }_{2ϵ}^{\pi }{\theta }^{-N}{sin}^{N-1}\theta d\theta .\hfill \end{array}$$ 10

Therefore, for $p\ge 2$, from inequalities (7), (9) and (10), one has

$$\begin{array}{c}\underset{f\in C^{\mathrm{\infty }}(S^N)}{inf}\frac{C{\int }_{S^N}\frac{|f{|}^p}{{sin}^{p-2}\theta }dV+{\int }_{S^N}|{\mathrm{\nabla }}_{S}f{|}^{p}dV}{{\int }_{S^N}\frac{|f{|}^p}{{\theta }^p}dV}\hfill \\ \le \frac{C{\int }_{S^N}\frac{|f_{ϵ}{|}^p}{{sin}^{p-2}\theta }dV+{\int }_{S^N}|{\mathrm{\nabla }}_{S_{ϵ}}f{|}^{p}dV}{{\int }_{S^N}\frac{|f_{ϵ}{|}^p}{{\theta }^p}dV}\hfill \\ \le \frac{|S^{N-1}|\frac{{\pi }^2-{ϵ}^2}{2}+C_4+|S^{N-1}|{(\frac{N-p}{p})}^p{\int }_{2ϵ}^{\pi }{\theta }^{-N}{sin}^{N-1}\theta d\theta }{|S^{N-1}|{\int }_{2ϵ}^{\pi }{\theta }^{-N}{sin}^{N-1}\theta d\theta },\hfill \end{array}$$

then passing to the limit as $ϵ\to 0^{+}$, we have

$$\underset{f\in C^{\mathrm{\infty }}(S^N)}{inf}\frac{C{\int }_{S^N}\frac{|f{|}^p}{{sin}^{p-2}\theta }dV+{\int }_{S^N}|{\mathrm{\nabla }}_{S}f{|}^{p}dV}{{\int }_{S^N}\frac{|f{|}^p}{{\theta }^p}dV}\le {\left(\frac{N-p}{p}\right)}^p.$$ 11

Since ${lim}_{ϵ\to 0^{+}}{\int }_{2ϵ}^{\pi }{\theta }^{-N}{sin}^{N-1}\theta d\theta \to +\mathrm{\infty }$.

While for $1<p<2$, from (8), (9) and (10), one has

$$\begin{array}{c}\underset{f\in C^{\mathrm{\infty }}(S^N)}{inf}\frac{C{\int }_{S^N}|f{|}^{p}dV+{\int }_{S^N}|{\mathrm{\nabla }}_{S}f{|}^{p}dV}{{\int }_{S^N}\frac{|f{|}^p}{{\theta }^p}dV}\hfill \\ \le \frac{C{\int }_{S^N}|f_{ϵ}{|}^{p}dV+{\int }_{S^N}|{\mathrm{\nabla }}_{S_{ϵ}}f{|}^{p}dV}{{\int }_{S^N}\frac{|f_{ϵ}{|}^p}{{\theta }^p}dV}\hfill \\ \le \frac{|S^{N-1}|\frac{{\pi }^p-{ϵ}^p}{p}+C_4+|S^{N-1}|{(\frac{N-p}{p})}^p{\int }_{2ϵ}^{\pi }{\theta }^{-N}{sin}^{N-1}\theta d\theta }{|S^{N-1}|{\int }_{2ϵ}^{\pi }{\theta }^{-N}{sin}^{N-1}\theta d\theta },\hfill \end{array}$$

then passing to the limit as $ϵ\to 0^{+}$, we have

$$\underset{f\in C^{\mathrm{\infty }}(S^N)}{inf}\frac{C{\int }_{S^N}|f{|}^{p}dV+{\int }_{S^N}|{\mathrm{\nabla }}_{S}f{|}^{p}dV}{{\int }_{S^N}\frac{|f{|}^p}{{\theta }^p}dV}\le {\left(\frac{N-p}{p}\right)}^p.$$ 12

Therefore, from (2), (3), (11) and (12), we get that ${(\frac{N-p}{p})}^p$ is the best constant of inequalities (2) and (3). Proof of Theorem 1 is finished.

Conclusion

In this paper, we consider the Hardy type inequalities on the sphere. By the divergence theorem [14], we extend the results of Xiao [1] to a general case. We establish the $L^p$-Hardy inequalities on the sphere and obtain their best constants.