- Research
- Open access
- Published:
Sharp subcritical and critical \(L^{p}\) Hardy inequalities on the sphere
Journal of Inequalities and Applications volume 2022, Article number: 98 (2022)
Abstract
We obtain sharp inequalities of Hardy type for functions in the Sobolev space \(W^{1,p}\) on the unit sphere \(\mathbb{S}^{n-1}\) in \(\mathbb{R}^{n}\). We achieve this in both the subcritical and critical cases. The method we use to show optimality takes into account all the constants involved in our inequalities. We apply our results to obtain lower bounds for the the first eigenvalue of the p-Laplacian on the sphere.
1 Introduction
Hardy inequalities have been studied extensively on various types of manifolds (see for example [3, 4, 8, 11], the references therein, and the recent cited papers that are too many to mention). To our best knowledge, Xiao [15] was the first to look at Hardy inequalities in the particular case of the Euclidean sphere. He developed the idea used in [9] to obtain sharp inequalities of Hardy and Rellich type on Riemannian manifolds. The Laplacian of the geodesic distance on the sphere changes sign (see formula (3.13) of Lemma 3.4 below). This makes known results on compact manifolds not easy to apply directly. Xiao [15] obtained \(L^{2}\) inequalities of the Hardy type on the sphere \(\mathbb{S}^{n}\), \(n\geq 3\). These results were complemented in [1] in the limiting case where optimal \(L^{2}\) inequalities of the Hardy type were proved on \(\mathbb{S}^{2}\). The results in [15] were also extended in [12] to \(L^{p}(\mathbb{S}^{n})\), \(1< p< n\), \(n\geq 3\).
In [1, 12, 15], the singularity is assumed to be at either the north or south pole so that the geodesic distance will be simply the polar angle. Hence, if the singularity is not polar, we must rotate the local axes in order to apply these inequalities. However, we should not need to rotate the axes. It is not physically plausible as we could be dealing with a punctured sphere missing a closed connected piece, or a sphere with a crack missing an open simple curve. This motivates us to look for \(L^{p}\) Hardy inequalities in which the singularity is the geodesic distance from an arbitrary point.
The general geodesic distance was very recently considered in [2, 16]. The proofs in [2, 16] are based on a formula for the Laplacian of the geodesic distance. No reference was provided for that formula, and no proof of it was given either. We also noted that the definition of the geodesic distance on \(\mathbb{S}^{n}\) adopted in [2, 16] is not specified. Such a definition is important to understand the set up of the inequalities. This is also technically important since the singularities in the inequalities involve trigonometric functions. That in turn necessitates determining whether the range of the geodesic distance is \([-\frac{\pi}{2},\frac{\pi}{2}]\) or \([0,\pi ]\).
The results in [2] are supposed to generalize the \(L^{2}\) Hardy inequality presented in [16] to an \(L^{p}\) inequality on \(\mathbb{S}^{n}\) where \(1< p< n\) and \(n\geq 3\). We revisit the proof presented in [2] in [17], where we additionally prove the limiting case \(L^{n}\) Hardy-type inequalities on the sphere \(\mathbb{S}^{n}\), \(n\geq 2\), with optimal coefficients, considering the general geodesic distance and adopting Xiao’s method.
When it comes to the sharpness of the coefficients, all the results in [1, 2, 12, 15, 16] are based on the same principle that we find insufficient. The method implemented is also unnecessarily involved at times. Inequalities of Hardy type obtained in [1, 2, 12, 15, 16] on \(\mathbb{S}^{n}\) take the generic form
where \(u\in C^{\infty}(\mathbb{S}^{n})\), and f is a continuous function of the geodesic distance ρ. Sharpness of the constants \(A_{n,p}\), \(B_{n,p}\) and \(C_{n,p}\) is claimed to be proved by showing that
However, the latter does not prove that the constants \(B_{n,p}\) and \(C_{n,p}\) are both the smallest possible.
We prove sharp \(L^{p}\) Hardy inequalities on the sphere \(\mathbb{S}^{n}\) in \(\mathbb{R}^{n+1}\) in both the subcritical and critical exponent cases. We follow a method of proof different from that used in [1, 2, 12, 15, 16]. The method we adopt is fairly simple and requires fewer computations. Before delving into the derivation of the inequalities, we use explicit formulas for the geodesic distance, the surface gradient and the Laplace–Beltrami operator on the n-dimensional sphere to demonstrate some basic properties of the geodesic distance on which we rely heavily in obtaining our results.
In addition to proving (1.1), we show the optimality of all the constants in our inequalities by proving that
To achieve this, we exploit a formula for integration over spheres (see (2.5) below) to calculate the ratios above for explicit functions in the appropriate Sobolev space.
Finally, inspired by the interesting applications given in [2], we use our inequalities to obtain the lower bounds for the first eigenvalue of the p-Laplacian on the sphere.
2 Preliminaries
Let \(n\geq 2\) and let \(\theta _{j}\in [0,\pi ]\), \(j=1,\dots ,n-2\), and \(\theta _{n-1}\in [0,2\pi ]\). Denote \((\theta _{1},\dots ,\theta _{n-1})\) by \(\Theta _{n-1}\). Any point on the unit sphere \(\mathbb{S}^{n-1}\) in \(\mathbb{R}^{n}\) has the spherical coordinates parametrization \((x_{1}(\Theta _{n-1}),\dots x_{n}(\Theta _{n-1}) )\), where
The surface gradient \(\nabla _{\mathbb{S}^{n-1}}\) on the sphere \(\mathbb{S}^{n-1}\) is then given by
where \(\{\widehat{{\theta}_{j}} \}\) is an orthonormal set of tangential vectors with \(\widehat{{\theta}_{j}}\) pointing in the direction of increasing \({\theta}_{j}\). Moreover, the Laplace–Beltrami operator \(\Delta _{\mathbb{S}^{n-1}}\) is given by
Identifying each point \((x_{m}(\Theta _{n-1}))_{m=1}^{n}\in \mathbb{S}^{n-1}\) with its parameters \(\Theta _{n-1}\), we can express the geodesic distance \(d(\Theta _{n-1},\Phi _{n-1})\) from a point \(\Phi _{n-1} \in \mathbb{S}^{n-1}\) as
where
2.1 A useful formula for integration over the sphere
Let \(v\in \mathbb{R}^{n}\setminus \{0 \}\) and let \(F\in L^{1}(\mathbb{S}^{n-1}\longrightarrow \mathbb{R})\) be such that \(F(\Theta _{n-1}):=f(v\cdot \Theta _{n-1})\). Then,
where \(C_{n}= \frac{ 2\pi ^{\frac{n-1}{2}}}{\Gamma{ (\frac{n-1}{2} )}}\). (See [7], Appendix D).
2.2 The Sobolev space \(W^{1,p} (\mathbb{S}^{n-1} )\)
It is useful to define the weak Laplace–Beltrami gradient of a function \(f\in L^{1} (\mathbb{S}^{n-1} )\). Let \(f\in C^{\infty} (\mathbb{S}^{n-1}\rightarrow \mathbb{R} )\). Then, by the divergence theorem, we have
for any vector field \(V\in C^{\infty} (\mathbb{S}^{n-1}\rightarrow T (\mathbb{S}^{n-1} ) )\), where \(T (\mathbb{S}^{n-1} )\) is the tangent bundle on the smooth manifold \(\mathbb{S}^{n-1}\). Therefore, f is weakly differentiable if there exists a vector field \(\Psi _{f}\in L^{1} (\mathbb{S}^{n-1}\rightarrow T ( \mathbb{S}^{n-1} ) )\) such that
Such a vector field \(\Psi _{f}\), if it exists, is called the weak surface gradient of f. The weak surface gradient is unique up to a set of measure zero. As shown in ([5], Proposition 3.2, page 15)
The definition (2.6) is equivalent to defining \(W^{1,p} (\mathbb{S}^{n-1} )\) as the completion of the space \(C^{\infty} (\mathbb{S}^{n-1} )\) in the usual Sobolev norm.
In the next section, we show some interesting properties of the geodesic distance on the sphere that carry on to all dimensions.
3 The gradient and Laplacian of the geodesic distance on the sphere
The geodesic distance d on the sphere \(\mathbb{S}^{n-1}\) has a gradient and Laplacian analogous to those of the Euclidean metric. We demonstrate that \(|\nabla _{\mathbb{S}^{n-1}}d|_{\mathbb{S}^{n-1}}=1\) and that \(\Delta _{\mathbb{S}^{n-1}}d=(n-2)\cos{d}/\sin{d}\), in any dimension \(n\geq 2\). Unlike with the Euclidean distance, the Laplacian of the geodesic distance d changes sign on the sphere. We start with showing that
the Kronecker delta.
Lemma 3.1
Let \(n\geq 2\) and let \(\nabla _{\mathbb{S}^{n-1}}\) be the gradient on the unit sphere \(\mathbb{S}^{n-1}\) in \(\mathbb{R}^{n}\). Then,
Proof
Lemma 3.1 is trivial in the dimension \(n=2\) and similarly easily verifiable when \(n=3\) by the computation
Suppose \(n\geq 4\). Again, the identity (3.1) is easy to prove when \(m=1,2\), and so is the identity (3.2) when \(1\leq \ell \), \(m\leq 2\). Observe that, for all \(n\geq 4\),
Fix \(m\geq 3\). We obtain (3.1) from the calculation
and the orthonormality of the set \(\{\widehat{{\theta}_{j}} \}_{j=1}^{n-1}\) along with the identity
Indeed, one can write
Now, we turn to the identity (3.2). Assume, losing no generality, that \(1\leq \ell < m\). Then, tedious yet straightforward computation uncovers that
and when \(2\leq \ell \leq m-1\) we have
□
The next lemma shows that the components \(x_{m}\) are eigenfunctions of the Laplace–Beltrami operator (2.2).
Lemma 3.2
Proof
Write
where \(\Delta _{\ell}\) are the differential operators
Then, to prove (3.5), it suffices to establish that
Straightforward calculations affirm (3.6) when \(m=1\). We prove (3.6) by induction. Assume (3.6) holds true for some \(1\leq m\leq n-2\). Let us define
Now, since
then we have
Consequently, what remains to prove is
Calculating further, we find
Therefore, (3.8) is equivalent to
which is easy to verify. Having proved (3.6), we can exploit its validity for \(m=n-1\) in particular to prove (3.7). Write \(x_{n}=x_{n-1}\delta _{n-1}\) with \(\delta _{n-1}(\Theta _{n-1}):= \sin{\theta _{n-1}}/\cos{\theta _{n-1}}\). Arguing as above, we discover that
This reduces (3.7) to
which is simple to check. □
Lemma 3.3
Let \(\Phi _{n-1}\in \mathbb{S}^{n-1}\), and let \(\lambda (.,\Phi _{n-1}): \mathbb{S}^{n-1}\rightarrow [-1,1] \) be the function defined in (2.4). Then,
Proof
Using Lemma 3.1, we obtain
This shows (3.10). We also obtain (3.11) as a direct consequence of Lemma 3.2, since \(\lambda (\Theta _{n-1},\Phi _{n-1})\) is a linear combination of eigenfunctions of \(\Delta _{\mathbb{S}^{n-1}}\) that all correspond to the eigenvalue \(-(n-1)\). □
Lemma 3.4
Let \(\Phi _{n-1}\) be a point on the sphere \(\mathbb{S}^{n-1}\), and let \(d(.,\Phi _{n-1}): \mathbb{S}^{n-1}\rightarrow [0,\pi ] \) be the geodesic distance from \(\Phi _{n-1}\) on \(\mathbb{S}^{n-1}\) defined in (2.3). Then,
Proof
From (2.3), we find
Hence, (3.12) follows from (3.10). Taking the divergence of both sides of (3.14), then substituting for \(\nabla _{\mathbb{S}^{n-1}}\lambda \) from (3.10) and for \(\Delta _{\mathbb{S}^{n-1}}\lambda \) from (3.11), we deduce that
4 Subcritical \(L^{p}\) Hardy inequalities
Let \(\mathbb{S}^{n-1}\) be the unit sphere in \(\mathbb{R}^{n}\), \(n\geq 4\). Let \(1< p<n-1\) and consider the following nonlinear positive functionals on \(W^{1,p}(\mathbb{S}^{n-1}\longrightarrow \mathbb{R})\):
Define also the constant
Remark 4.1
Formula (2.5) makes it clear that both integrals \(\int _{\mathbb{S}^{n-1}} \frac{|u|^{p}}{ |\tan{d}|^{p}}\,d\sigma _{n-1}\) and \(\int _{\mathbb{S}^{n-1}} \frac{|u|^{p}}{ \sin ^{p}{d}}\,d\sigma _{n-1}\) are convergent when u is continuous. Indeed, recalling that \(d(\Theta _{n-1}, \Phi _{n-1})=\arccos{ ( \Theta _{n-1}\cdot \Phi _{n-1} )}\), \(\Phi _{n-1} \in \mathbb{S}^{n-1}\), we immediately see that
which exists for \(p< n-1\).
We show that the functionals \(T_{p}\), \(\widetilde{T}_{p}\), \(S_{p}\), and \(\widetilde{S}_{p}\) are all well defined and related by the following \(L^{p}\) inequalities of Hardy type:
Theorem 4.1
(Subcritical \(L^{p}\) Hardy inequalities)
Suppose \(u\in W^{1,p}(\mathbb{S}^{n-1}\longrightarrow \mathbb{R})\), \(n\geq 4\). Then, \(\frac{u}{\sin{d}}\in L^{p}(\mathbb{S}^{n-1})\), when \(1< p< n-1\), and \(\frac{u}{|\tan{d}|}\in L^{p}(\mathbb{S}^{n-1})\), when \(2\leq p< n-1\). Moreover,
Proof
Let us start with the inequality (4.1). Using a density argument, we may assume \(u\in C^{\infty} (\mathbb{S}^{n-1} )\). Recalling the identities (3.12) and (3.13) in Lemma 3.4, we can compute
Integrating both sides of (4.3) against \(|u|^{p}/\sin ^{p-1}{d}\) over \(\mathbb{S}^{n-1}\), then employing the divergence theorem, we obtain
Observe that we simplified the latter integral using the fact \(|\nabla _{\mathbb{S}^{n-1}}d|=1\). So far, it suffices to require that \(p>1\) to make sense of the gradient of \(|u|^{p}\). Invoking Hölder’s inequality then applying Young’s inequality and using (3.12) once more, we can bound
with \(\beta >0\) as yet undetermined. Inserting the estimate (4.5) into the inequality (4.4) then rearranging gives
Note here that Remark 4.1 justifies this manipulation of the terms of (4.4). We proceed from (4.6) by simply replacing the factor cos2d by \(1-\sin ^{2}{d}\) in the first integral to obtain
The optimal value of β for (4.7) is easily determined through finding the maximum point \(t_{*}\) of the function \(t\mapsto t (n-p-1-(p-1)t^{\frac{1}{p-1}} )\) on \([0,+\infty [\). We find \(t_{*}= (\frac{n-p-1}{p} )^{\frac{p-1}{p}}\). Hence, the inequality (4.7) takes the form (4.1).
With the exception of some technical details, the proof of (4.2) is similar to that of (4.1). Instead of using (4.3), we capitalize on (3.13). Let \(2\leq p< n-1\). Integration by parts on \(\mathbb{S}^{n-1}\) yields
Observe that the restriction \(2\leq p< n-1\) is necessary to make sense of \(\nabla _{\mathbb{S}^{n-1}}|\cos{d}|^{p-2}\cos{d}\). It also guarantees the convergence of the integral \(\int _{\mathbb{S}^{n-1}} \frac{1}{|\tan{d}|^{p}} \frac{1}{\cos ^{2}{d}}\,d\sigma _{n-1}\). This is inferred by formula (2.5) that asserts
Since \(|\nabla _{\mathbb{S}^{n-1}} d|=1\), then, applying Hölder’s inequality followed by Young’s inequality analogously to (4.5) gives
for any \(\beta >0\). We can also split
Returning to (4.8) with (4.9) and (4.10) we deduce that
The optimal value of β for (4.11) is \(\alpha ^{\frac{p-1}{p}}_{n,p}\). This proves the inequality (4.2). □
Theorem 4.2
(Sharpness of the inequalities (4.1) and (4.2))
The constants on both sides of the inequality (4.1) are sharp. Precisely, we have
All the constants involved in the inequality (4.2) are sharp for all \(2\leq p< n-1\). Precisely,
Remark 4.2
The values \(\frac{n}{2}\leq p< n-1\) can be admitted in (4.14) if the supremum is taken over nontrivial functions in \(L^{p}(\mathbb{S}^{n-1})\) with a weak gradient in the weighted space \(L^{p}(\mathbb{S}^{n-1};| \cos{d(\Theta _{n-1},\Phi _{n-1})}|^{p}\,d\sigma _{n-1})\).
Proof
Fix \(n\geq 4\) and \(1< p<n-1\). Consider the function
on \(\mathbb{S}^{n-1}\setminus \{\pm \Phi _{n-1} \}\). Verifiably, \(u_{\epsilon}\in W^{1,p} (\mathbb{S}^{n-1} )\) for every \(\epsilon >0\). Moreover,
where
Exploiting formula (2.5) we find
Note that \(I_{n,p}(\epsilon )\) is finite for every \(\epsilon >0\) but blows up in the limit. Additionally,
Furthermore, for all \(\Theta _{n-1}\notin \{\pm \Phi _{n-1} \}\cup \{ \Theta _{n-1}\in{\mathbb{S}}^{n-1}: d (\Theta _{n-1},\Phi _{n-1} )={\pi}/{2} \}\)
Also, Minkowski’s inequality implies
with \(0<\epsilon <(n-p-1)/2\). That is,
Since, by (2.5), we have
then, we can simplify
where
Consequently, putting together the inequalities (4.1), (4.18), (4.19), and (4.20), and the estimate (4.21) implies
as \(\epsilon \longrightarrow 0^{+}\) by the continuity of the gamma function on \(]0,\infty [\), and the fact that \(\lim_{\epsilon \rightarrow 0^{+}}\Gamma{(\epsilon )}=+\infty \) that makes \(\lim_{\epsilon \rightarrow 0^{+}}\Lambda _{n,p}(\epsilon )=0\). This squeeze along with the inequality (4.1) proves (4.12). In the same fashion
when \(\epsilon \longrightarrow 0^{+}\). This shows (4.13) in the light of (4.1). We proceed to prove (4.14) that shows that the constant \(n-p\) on the right-hand side of (4.1) is the smallest possible for all \(1< p<\frac{n}{2}\). Define the function
For \(\epsilon >0\), we have \(\tilde{u}_{\epsilon}\in L^{p}(\mathbb{S}^{n-1})\), \(1< p< n-1\) and \(\nabla _{\mathbb{S}^{n-1}} \tilde{u}_{\epsilon}\in L^{p}(\mathbb{S}^{n-1})\), \(1< p< n/2\) as shown by the following calculations:
Combining (4.22)–(4.24) yields
as \(\epsilon \longrightarrow 0^{+}\). This convergence together with the inequality (4.2) confirms (4.17).
Now, we turn our attention to (4.15)–(4.17). Let \(2\leq p< n-1\), \(n\geq 4\), and define the function
on \(\mathbb{S}^{n-1}\setminus \{\pm \Phi _{n-1} \}\). Evidently \(v_{\epsilon}\in W^{1,p} (\mathbb{S}^{n-1} )\) for every \(\epsilon >0\). Furthermore, \(0<\epsilon <(n-p-1)/2\), we have
where
using formula (2.5). We also have
Consequently,
as \(\epsilon \longrightarrow 0^{+}\). This, together with the inequality (4.2), proves (4.15). In addition,
when \(\epsilon \longrightarrow 0^{+}\), which proves (4.16). Finally, we show (4.17) that demonstrates that the constant \(p-1\) on the right-hand side of (4.2) is optimal. We have
which converges to \(p-1\). □
An important consequence of (4.14) is that, in any dimension \(n\geq 4\), and for every \(1< p< n-1\), we can find \(u\in C^{\infty} (\mathbb{S}^{n-1} )\) such that
It similarly follows from (4.17) that the inequality
does not hold true on \(C^{\infty} (\mathbb{S}^{n-1} )\), \(n\geq 4\). More interestingly:
Theorem 4.3
The inequality
is generally false on \(W^{1,p} (\mathbb{S}^{n-1} )\) for every \(1< p< n-1\), \(n\geq 4\). In particular, there exists \(u\in H^{1} (\mathbb{S}^{n-1} )\) such that
for every \(n>4\).
Proof
If we test the inequality (4.25) with a constant function we find it false for \(1< p< n/2\). We provide an explicit counterexample in \(W^{1,p} (\mathbb{S}^{n-1} )\) for which (4.25) fails for all \(1< p< n-1\). Define
When ϵ is sufficiently small, we have
with
Formula (2.5) helps us determine the exact value of \(K_{n,p}(\epsilon )\). Indeed, upon translating \(t\rightarrow t-1\) then rescaling \(t\rightarrow 2t\), we discover that
Substitute (4.27) into (4.26). It follows then from the continuity of the gamma function on \(]0,\infty [\), and the fact that \(\lim_{\epsilon \rightarrow 0^{+}} \epsilon \Gamma{(\epsilon )}=1\), that
On the other hand,
Hence, defining
we see from (4.29) that
Comparing (4.28) against (4.30) we conclude that, given \(1< p< n-1\), there exists \(0<\epsilon _{0}<(n-p-1)/2\) such that
for each \(\epsilon <\epsilon _{0}\). □
5 Critical \(L^{p}\) Hardy inequalities
Let \(n\geq 2\) and define the following nonlinear positive functionals on \(W^{1,n}(\mathbb{S}^{n}\longrightarrow \mathbb{R})\):
Define also the constant
Theorem 5.1
Suppose \(u\in W^{1,n}(\mathbb{S}^{n}\longrightarrow \mathbb{R})\), where \(n\geq 2\). Then, \(\frac{u}{\sin{d}\log{ (\frac{e}{\sin{d}} )}}\), \(\frac{u}{\tan{d}\log{ (\frac{e}{\sin{d}} )}} \) are in \(L^{n}(\mathbb{S}^{n})\). Furthermore,
Remark 5.1
Arguing as in Remark 4.1, the functionals \(U_{n}\) and \(V_{n}\) are bounded on continuous functions as the integrals
are convergent. This is clear thanks to formula (2.5) that ascertains
whereas the latter integral exists for all \(n>1\).
Remark 5.2
It is noteworthy that the integral \(\int _{\mathbb{S}^{n}} \frac{d\sigma _{n}}{|\tan{d}|^{n} \vert \log{{c}{|\tan{d}|}} \vert ^{m}} \) is divergent for every \(m\in \mathbb{R}\) and any \(c>0\). Observe that
Remark 5.3
The inequality (5.2) is proved in [17] using a different method.
Proof
The proof of (5.1) is analogous to that of (4.1). Let \(n\geq 2\) and use density to assume \(u\in C^{\infty}(\mathbb{S}^{n})\). Starting from (4.3), we integrate both sides against \(|u|^{n}/ (\sin ^{n-1}{d}\log ( {e}/ {\sin{d}} )^{n-1} )\), then use the divergence theorem. We obtain,
Using Hölder’s inequality then applying Young’s inequality implies
with \(\beta >0\). Returning with the estimate (5.4) to the inequality (5.3), we deduce that
where we estimated \(\int _{\mathbb{S}^{n}} \frac{|u|^{n}}{\sin ^{n-2}{d} ( \log{\frac{e}{\sin{d}}} )^{n}}\leq \int _{\mathbb{S}^{n}} \frac{|u|^{n}}{\sin ^{n-2}{d} ( \log{\frac{e}{\sin{d}}} )^{n-1}}\). The value \(\beta = (\frac{n-1}{n} )^{\frac{n-1}{n}}\) optimizes (5.5) and produces (5.1).
Again, the inequality (5.2) can be proved in the same way as (4.2). Since \(\Delta _{\mathbb{S}^{n}}d=(n-1)/\tan{d}\), then invoking the divergence theorem we obtain
Analogously to the inequality (4.9), utilizing Hölder’s inequality followed by Young’s inequality we obtain
for any \(\beta >0\). Inserting the estimate (5.7) into (5.6) and rearranging while taking into account the identity \(\sec ^{2}{d}=1+\tan ^{2}{d}\) produces
The value of β that optimizes the inequality (5.8) is \(\beta = (\frac{n-1}{n} )^{\frac{n-1}{n}}\). □
Theorem 5.2
(Sharpness of the inequalities (5.1) and (5.2))
The inequality (5.1) is optimal in the following sense:
The inequality (5.2) is also sharp. We precisely have
Proof
We prove (5.9)–(5.13) via introducing a sequence of nonzero real functions in \(W^{1,n} (\mathbb{S}^{n} )\) for which the respective suprema are attained. Define
Then, using formula (2.5), we have
where
uniformly in ϵ. Moreover,
with
It follows from (5.18) that
with an implicit constant that depends only on n. Furthermore,
as \(\epsilon \rightarrow 0^{+}\), by the dominated (or monotone) convergence theorem. Observe that \(\int _{0}^{1}\frac{ds}{ \log{\frac{e}{\sqrt{1-s^{2}}}}}\leq 1\). Using (5.14) together with (5.15), and (5.17), we obtain that
by the limits (5.19) and (5.20). This convergence proves (5.9). In the same manner
which proves (5.10). Proceeding, we have
where
where
Note here that
where the implicit constant depends solely on the dimension n. This follows from the dominated convergence theorem as we have the uniform bound
We also have
by the dominated convergence theorem. Now, using (5.21) and (5.22) we obtain
as \(\epsilon \longrightarrow 0^{+}\) by (5.23) and the convergence in (5.24). This proves (5.11). We also have
when \(\epsilon \longrightarrow 0^{+}\) using (5.23) and (5.24). This proves (5.12). Finally, we prove (5.13). Employing (5.21) and (5.22) one last time, we find
6 A lower bound for the first eigenvalue of the p-Laplacian on the sphere
Let M be a compact connected manifold without boundary. The p-Laplacian on M is the operator given by \(\Delta _{p}u:=-\text{div}_{g}(|\nabla _{g} u|^{p-2}\nabla _{g} u)\), where \(\nabla _{g}\) is the gradient induced by the Riemannian metric g on M and \(\text{div}_{g}\) is the adjoint of \(\nabla _{g}\) for the \(L^{2}\)-norm induced by the metric g on the space of differential forms. The p-Laplacian is associated with the p-energy functional \(E_{p}(u):=\int _{M} |\nabla _{p} u|^{p}d_{g}\), where \(d_{g}\) is the Riemannian volume element induced by g. A nonzero function u that satisfies \(\Delta _{p}u=\lambda |u|^{p-2}u\) for some \(\lambda \in \mathbb{R}\) is an eigenfunction of \(\Delta _{p}\) that corresponds to the eigenvalue λ. The set of nonzero eigenvalues of \(\Delta _{p}\) is an unbounded subset of \(]0,+\infty [\) (see [6]). The infimum \(\lambda _{p}(M)\) of this set is itself an eigenvalue that has the variational characterization ([10, 13, 14]):
Let M be the unit sphere \(\mathbb{S}^{n-1}\), \(n\geq 4\), one can apply Theorem 4.1 to obtain lower bounds for the first nonzero eigenvalue \(\lambda _{p}(\mathbb{S}^{n-1})\) of the p-Laplacian
It is well known ([2, 10]) that \(\lambda _{p}(\mathbb{S}^{n-1})\geq (\frac{n-2}{p-1} )^{{p}/{2}}\), \(p\geq 2\). Let \(2\leq p< n-1\). Using the sharp Hardy inequality (4.1) of Theorem 4.1, we obtain
where the infima and supremum are taken over all nontrivial functions in \(W^{1,p}({\mathbb{S}}^{n-1})\). It similarly follows from the inequality (4.2) of Theorem 4.1 that
Availability of data and materials
Not applicable.
References
Abdelhakim, A.A.: Limiting case Hardy inequalities on the sphere. Math. Inequal. Appl. 21(4), 1079–1090 (2018)
Abolarinwa, A., Rauf, K., Yin, S.: Sharp \(L^{p}\) Hardy type and uncertainty principle inequalities on the sphere. J. Math. Inequal. 13(4), 1011–1022 (2019)
Adriano, L., Xia, C.: Hardy type inequalities on complete Riemannian manifolds. Monatshefte Math. 163, 115–129 (2011)
D’Ambrosioa, L., Dipierrob, S.: Hardy inequalities on Riemannian manifolds and applications. Ann. Inst. Henri Poincaré C, Anal. Non Linéaire 31(3), 449–475 (2014)
Eichhorn, J.: Global Analysis on Open Manifolds. Nova Publ. (Nova Science Publishers), New York (2007)
Garzia Azorero, J.P., Peral Alonso, I.: Existence and nonuniqueness for the p-Laplacian eigenvalues. Commun. Partial Differ. Equ. 12, 1389–1430 (1987)
Grafakos, L.: Classical Fourier Analysis, 2nd edn. Springer, Berlin (2008)
Keller, M., Pinchover, Y., Pogorzelski, F.: Critical Hardy Inequalities on Manifolds and Graphs, Analysis and Geometry on Graphs and Manifolds. Cambridge University Press, Cambridge (2020)
Kombe, I., Özaydin, M.: Improved Hardy and Rellich inequalities on Riemannian manifolds. Trans. Am. Math. Soc. 361(12), 6191–6203 (2009)
Matei, A.M.: First eigenvalue for the p-Laplace operator. Nonlinear Anal. 39, 1051–1068 (2000)
Miklyukov, V.M., Vuorinen, M.K.: Hardy’s inequality for \(W^{1,p}_{0}\)-functions on Riemannian manifolds. Proc. Am. Math. Soc. 127(9), 2745–2754 (1999)
Sun, X., Pan, F.: Hardy type inequalities on the sphere. J. Inequal. Appl. 2017, 148 (2017)
Valtorta, D.: Sharp estimate on the first eigenvalue of the p-Laplacian. Nonlinear Anal., Theory Methods Appl. 75(13), 4974–4994 (2012)
Veron, L.: Some existence and uniqueness results for solution of some quasilinear elliptic equations on compact Riemannian manifolds. In: Colloquia Mathematica Societatis Janos Bolyai, vol. 62, pp. 317–352. P.D.E, Budapest (1991)
Xiao, Y.: Some Hardy inequalities on the sphere. J. Math. Inequal. 10, 793–805 (2016)
Yin, S.: A sharp Hardy type inequality on the sphere. N.Y. J. Math. 24, 1101–1110 (2018)
Yin, S., Abdelhakim, A.A.: Optimal critical exponent \(L^{p}\) inequalities of Hardy type on the sphere via Xiao’s method. J. Math. Inequal. 16(1), 265–272 (2022)
Acknowledgements
The author is greatly indebted to the reviewers for their helpful comments that improved the manuscript. The author would also like to thank Abimbola Abolarinwa and Kamilu Rauf for their valuable remarks.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
The author confirms sole responsibility for the preparation of the manuscript. The author read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Abdelhakim, A.A. Sharp subcritical and critical \(L^{p}\) Hardy inequalities on the sphere. J Inequal Appl 2022, 98 (2022). https://doi.org/10.1186/s13660-022-02833-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-022-02833-w