Home Mathematics Bounds for eigenfunctions of the Neumann p-Laplacian on noncompact Riemannian manifolds
Article Open Access

Bounds for eigenfunctions of the Neumann p-Laplacian on noncompact Riemannian manifolds

  • ORCID logo , ORCID logo EMAIL logo and
Published/Copyright: September 30, 2022

Abstract

Eigenvalue problems for the p-Laplace operator in domains with finite volume, on noncompact Riemannian manifolds, are considered. If the domain does not coincide with the whole manifold, Neumann boundary conditions are imposed. Sharp assumptions ensuring L q - or L -bounds for eigenfunctions are offered either in terms of the isoperimetric function or of the isocapacitary function of the domain.

MSC 2010: 35B45; 35P30

1 Introduction and main results

Let Ω be a connected open set in an n-dimensional Riemannian manifold 𝕄 , which will be assumed to be without boundary throughout. Suppose that n 2 and

n ( Ω ) < ,

where n denotes the n-dimensional Hausdorff measure on 𝕄 , i.e. the volume measure on 𝕄 induced by its Riemannian metric. In particular, if 𝕄 = n equipped with the Euclidean metric, then n agrees with the Lebesgue measure. The choice

Ω = 𝕄

is also admissible, provided that n ( 𝕄 ) < .

We are concerned with eigenfunctions of the p-Laplace operator in Ω, subject to homogeneous Neumann boundary conditions on Ω , if Ω 𝕄 . Namely, we deal with solutions to the equation

(1.1) - div ( | u | p - 2 u ) = γ | u | p - 2 u in  Ω ,

for some γ , satisfying the condition

u 𝐧 = 0 on  Ω ,

if Ω . Here, p > 1 , and 𝐧 stands for the normal unit vector on Ω .

A unified definition of an eigenfunction u of the problems under consideration amounts to requiring that u W 1 , p ( Ω ) and satisfies the equation

(1.2) Ω | u | p - 2 u ϕ d n = γ Ω | u | p - 2 u ϕ 𝑑 n

for some γ and every test function ϕ W 1 , p ( Ω ) , where the dot “ ” denotes the scalar product associated with the Riemannian structure on 𝕄 , and | u | denotes the norm of the gradient u defined via this scalar product.

Classical variational methods ensure that the eigenvalue problems in question do admit non-trivial (i.e. non-constant) eigenfunctions under suitable assumptions on Ω; see, e.g., [37]. This is the case if Ω has a compact closure and a regular boundary – a Lipschitz domain, for instance. The same conclusion holds if Ω = 𝕄 and the latter is compact. The regularity of Ω also guarantees that any eigenfunction of problem (1.2) does not merely belong to L p ( Ω ) , but is in fact globally essentially bounded in Ω. On the other hand, membership of eigenfunctions in L ( Ω ) , and even in L q ( Ω ) for q > p , is not guaranteed if Ω is an arbitrary open set with n ( Ω ) < .

The present paper is aimed at offering minimal assumptions on the geometry of Ω for any eigenfunction of problem (1.2) to belong to L ( Ω ) , and to admit a corresponding bound of the form

(1.3) u L ( Ω ) c u L p ( Ω )

for some constant c depending on Ω, γ and p. Estimates in L q ( Ω ) for every q < , namely inequalities of the type

(1.4) u L q ( Ω ) c u L p ( Ω )

for some constant c depending on Ω, γ, p and q, are also established under slightly weaker conditions on Ω.

The description of the geometry of Ω adopted in our results calls into play certain functions defined in terms of inequalities of geometric-functional nature for subsets of Ω. They are the isoperimetric function and the p-isocapacitary function of Ω.

The isoperimetric function λ Ω is the largest non-decreasing function in [ 0 , n ( Ω ) 2 ] such that

(1.5) λ Ω ( n ( E ) ) P ( E ; Ω )

for every measurable set E Ω with n ( E ) n ( Ω ) 2 . Here, P ( E ; Ω ) denotes the perimeter of E relative to Ω.

Let us emphasize that, in view of our applications, only the asymptotic behavior of the isoperimetric function λ Ω near 0 is relevant. If, for instance, Ω has a Lipschitz continuous boundary and Ω ¯ is compact, or Ω = 𝕄 and the latter is compact, then

(1.6) λ Ω ( s ) = O ( s n - 1 n ) near  0 .

Here, the relation “O near zero” between two functions means that they are bounded by each other, up to positive multiplicative constants, for small values of their argument.

The behavior near 0 is also the only piece of information about the p-isocapacitary function which is needed for our purposes. This function is denoted by ν Ω , p , and is defined in analogy with λ Ω , save that the perimeter of a set E Ω is replaced by its condenser capacity cap p ( E , G ) relative to any set G such that E G Ω . Therefore, ν Ω , p is the largest non-decreasing function in [ 0 , n ( Ω ) 2 ] which renders the inequality

(1.7) ν Ω , p ( n ( E ) ) cap p ( E , G )

true for every measurable set E G Ω such that n ( G ) n ( Ω ) 2 .

If Ω is sufficiently regular, as specified in connection with equation (1.6) for instance, then

(1.8) ν Ω , p ( s ) = { O ( s n - p n ) if  1 p < n , O ( ( log 1 s ) 1 - n ) if  p = n , O ( 1 ) if  p > n ,

near 0.

More details can be found in the next section. Let us just mention here that the regularity of a domain Ω affects the decay of the functions λ Ω and ν Ω , p near 0. A more irregular geometry of the domain Ω is reflected in a faster decay to 0 when their argument approaches 0. In particular, neither λ Ω ( s ) nor ν Ω , p ( s ) can decay more slowly to 0 as s 0 than the functions appearing on the right-hand sides of equations (1.6) and (1.8), respectively, whatever Ω is.

The isoperimetric function and the p-isocapacitary function were introduced in the papers [40, 41] to characterize the domains Ω in n supporting a Sobolev-type inequality for weakly differentiable functions whose gradient belongs to L 1 ( Ω ) and to L p ( Ω ) , respectively. Their use in various questions beyond the theory of Sobolev spaces, including the theory of partial differential equations, the spectral theory of differential operators and Riemannian geometry, has become apparent over the years. Besides the early contributions [42, 43, 44, 45, 48] and the monograph [46], a sample of the developments on these topics is provided by the papers [1, 2, 3, 6, 8, 10, 14, 13, 15, 17, 20, 19, 25, 27, 28, 31, 32, 34, 36, 38, 47, 50, 49, 52, 53, 54, 55, 56, 59].

In particular, the special choice p = 2 in (1.2) reproduces the linear eigenvalue problem for the Neumann Laplacian. The analysis of spectral problems for this classical operator has been the center of numerous investigations, especially in the case when Ω agrees with a compact manifold. The vast bibliography on this topic includes the monographs [9, 4] and the papers [5, 7, 11, 12, 23, 24, 25, 26, 29, 30, 51, 57, 58, 60]. Results for the Laplace operator in the noncompact case, in the same vein as those established here, can be found in [18]. The papers [16, 17] deal with related topics. Our approach in the nonlinear framework at hand has a start reminiscent of that of [18]. However, different techniques have to be exploited in fundamental steps of the proofs of estimates (1.3) and (1.4). For instance, certain customary fixed point theorems, which are well suited for the linear case, do not fit the nonlinear setting.

All criteria that will be proposed are invariant under the replacement of ν Ω , p or λ Ω with equivalent functions near 0, in the sense of the relation “ ” defined as follows. Given two functions f , g : ( 0 , ) [ 0 , ) , the notation

f g near  0

means that c 1 g ( c 1 s ) f ( s ) c 2 g ( c 2 s ) if 0 < s s 0 , for suitable positive constants c 1 , c 2 and s 0 .

The conditions in terms of the isoperimetric function λ Ω ensuring bounds in L q ( Ω ) or L ( Ω ) for eigenfunctions are presented in our first result. Interestingly enough, the condition for L q -estimates is independent of p and q. The dependence on these exponents only enters the constant involved in the estimates. By contrast, the dependence on p is crucial in the condition for L -estimates.

Theorem 1.1 (Bounds for eigenfunctions via λ Ω ).

Assume that n 2 and p > 1 . Let Ω be a connected open subset of an n-dimensional Riemannian manifold M such that H n ( Ω ) < . Let u be any eigenfunction of problem (1.2) associated with any eigenvalue γ.

  1. Assume that

    (1.9) lim s 0 s λ Ω ( s ) = 0 .

    Then

    (1.10) u L q ( Ω )

    for every q ( p , ) , and inequality ( 1.4 ) holds for some constant c = c ( Ω , p , q , γ ) .

  2. Assume that

    (1.11) 0 ( s λ Ω ( s ) ) p d s s < ,

    where p = p p - 1 is the Hölder conjugate of p . Then

    (1.12) u L ( Ω ) ,

    and inequality ( 1.3 ) holds for some constant c = c ( Ω , p , γ ) .

Assumptions (1.9) and (1.11) are optimal, in a sense specified in the next theorem, for (1.10) and (1.12), respectively, to hold in classes of sets Ω with a prescribed decay of λ Ω at 0. In particular, the gap between condition (1.11), ensuring L ( Ω ) bounds for eigenfunctions, and condition (1.9), just yielding L q ( Ω ) bounds for any q < , cannot be essentially filled. This can be demonstrated, for instance, via manifolds 𝕄 of revolution as in Figure 1, whose isoperimetric function is equivalent to a function λ such that

(1.13) λ ( s ) s n - 1 n a non-decreasing function near  0 .

Such an assumption is consistent with the fact that, as noticed above, λ Ω decays as in (1.6) in the best possible case.

Figure 1 
               A manifold of revolution.
Figure 1

A manifold of revolution.

Theorem 1.2 (Sharpness of bounds via λ Ω ).

Let n 2 and p > 1 .

  1. Given any q ( p , ) , there exists an n -dimensional Riemannian manifold 𝕄 , with n ( 𝕄 ) < , such that

    (1.14) λ 𝕄 ( s ) s near  0 ,

    and the p -Laplacian on 𝕄 has an eigenfunction u L q ( 𝕄 ) .

  2. Let λ : [ 0 , ) [ 0 , ) be any non-decreasing function, vanishing only at 0 , such that

    (1.15) lim s 0 s λ ( s ) = 0 ,

    but

    (1.16) 0 ( s λ ( s ) ) p d s s = .

    Assume in addition that condition ( 1.13 ) is in force. Then there exists an n -dimensional Riemannian manifold 𝕄 , with n ( 𝕄 ) < , fulfilling

    λ 𝕄 ( s ) λ ( s ) near  0 ,

    and such that the p -Laplacian on 𝕄 has an unbounded eigenfunction.

Although the isocapacitary function has a less transparent geometric meaning than the isoperimetric function, and its behavior can be more difficult to detect, it is in a sense more appropriate in the framework at hand. Its use provides yet finer conditions for L q - and L -estimates of eigenfunctions, which are exhibited in Theorem 1.3 below. Indeed, not only are these conditions optimal in classes of sets Ω whose isocapacitary function ν Ω , p has an assigned decay at 0 (see the subsequent Theorem 1.4), but there also exist specific sets and entire manifolds where the criteria of Theorem 1.3 apply, whereas those of Theorem 1.1 fail. Typically, this may happen in the presence of complicated geometric configurations. Instances of this kind of manifolds are those depicted in Figure 2 and discussed in Section 5.5.

Figure 2 
               A manifold with a family of clustering submanifolds.
Figure 2

A manifold with a family of clustering submanifolds.

Theorem 1.3 (Bounds for eigenfunctions via ν Ω , p ).

Assume that n 2 and p > 1 . Let Ω be a connected open subset of an n-dimensional Riemannian manifold M such that H n ( Ω ) < . Let u be any eigenfunction of problem (1.2) associated with any eigenvalue γ.

  1. Assume that

    (1.17) lim s 0 s ν Ω , p ( s ) = 0 .

    Then

    u L q ( Ω )

    for every q ( p , ) , and inequality ( 1.4 ) holds for some constant c = c ( Ω , p , q , ν Ω , p ) .

  2. Assume that

    (1.18) 0 ( s ν Ω , p ( s ) ) 1 p - 1 d s s < .

    Then

    u L ( Ω ) ,

    and inequality ( 1.3 ) holds for some constant c = c ( Ω , p , ν Ω , p ) .

The sharpness of condition (1.18) will be exhibited via manifolds 𝕄 whose isocapacitary function is equivalent to a function ν such that either

(1.19) 1 < p < n and ν ( s ) s n - p n a non-decreasing function near  0 ,

or

(1.20) p n and ν ( s ) s ν ( s ) a non-decreasing function near  0 .

These requirements reflect the fact that the behavior of ν Ω , p given by (1.8) is the slowest possible.

Theorem 1.4 (Sharpness of bounds via ν Ω , p ).

Let n 2 and p > 1 .

  1. Given any q ( p , ) , there exists an n -dimensional Riemannian manifold 𝕄 , with n ( 𝕄 ) < , such that

    (1.21) ν 𝕄 , p ( s ) s near  0 ,

    and the p -Laplacian on 𝕄 has an eigenfunction u L q ( 𝕄 ) .

  2. Let ν : [ 0 , ) [ 0 , ) be any non-decreasing, continuously differentiable function, vanishing only at 0 , such that

    (1.22) lim s 0 s ν ( s ) = 0 ,

    but

    (1.23) 0 ( s ν ( s ) ) 1 p - 1 d s s = .

    Assume in addition that ν satisfies the Δ 2 -condition near 0 , and either of the conditions ( 1.19 ) and ( 1.20 ) is in force. Then there exists an n -dimensional Riemannian manifold 𝕄 , with n ( 𝕄 ) < , fulfilling

    (1.24) ν 𝕄 , p ( s ) ν ( s ) near  0 ,

    and such that the p -Laplacian on 𝕄 has an unbounded eigenfunction.

Although the existence of eigenfunctions is not a main focus of this paper, we conclude this section by pointing out that it is ensured under the assumptions of Theorem 1.1 (i), and even under those of Theorem 1.3 (i).

Theorem 1.5 (Existence of eigenfunctions).

Assume that n 2 and p > 1 . Let Ω be a connected open subset of an n-dimensional Riemannian manifold M such that H n ( Ω ) < . Assume that the p-isocapacitary function of Ω fulfills condition (1.17). Then there exists γ > 0 such that problem (1.2) admits an eigenfunction u. In particular, the same conclusion holds if the isoperimetric function of Ω fulfills condition (1.9).

Theorem 1.5 follows from an application of the Ljusternik–Schnirelman variational principle as in [37], thanks to the compactness of the embedding W 1 , p ( Ω ) L p ( Ω ) , which holds under assumption (1.17) or (1.9). The compactness of this embedding is proved in [16, Theorem 2.4] when p = 2 . The proof in the general case is analogous and is omitted.

2 Background

Let Ω be an open set in an n-dimensional Riemannian manifold 𝕄 , possibly Ω = 𝕄 , and let E be a measurable subset of 𝕄 . The perimeter P ( E ; Ω ) of E relative to Ω can be defined by

P ( E ; Ω ) = n - 1 ( Ω * E ) ,

where * E stands for the essential boundary of E in the sense of geometric measure theory, and n - 1 denotes the ( n - 1 ) -dimensional Hausdorff measure on 𝕄 induced by its Riemannian metric. Recall that * E agrees with the topological boundary E of E when the latter is sufficiently regular – a Lipschitz domain with compact closure, for instance.

Assume that n ( Ω ) < . The isoperimetric function

λ Ω : [ 0 , n ( Ω ) 2 ] [ 0 , )

of Ω is defined by

(2.1) λ Ω ( s ) = inf { P ( E ; Ω ) : E Ω , s n ( E ) n ( Ω ) 2 } for  s [ 0 , n ( Ω ) 2 ] .

Obviously, the function λ Ω is non-decreasing. The isoperimetric inequality relative to Ω is a straightforward consequence of the definition of λ Ω and has the form (1.5).

In particular, if Ω is connected, then

λ Ω ( s ) > 0 for  s ( 0 , n ( Ω ) 2 ] ,

as shown via an analogous argument as in [46, Lemma 3.2.4].

The Sobolev space W 1 , p ( Ω ) is defined, for p [ 1 , ] , by

W 1 , p ( Ω ) = { u L p ( Ω ) : u  is weakly differentiable in  Ω  and  | u | L p ( Ω ) } ,

and is endowed with the norm

u W 1 , p ( Ω ) = u L p ( Ω ) + u L p ( Ω ) .

Here, stands for the gradient operator, that is, covariant differentiation on 𝕄 . We denote by W 0 1 , p ( Ω ) the closure in W 1 , p ( Ω ) of the set of continuously differentiable compactly supported functions in Ω.

The homogeneous Sobolev space V 1 , p ( Ω ) is defined by

V 1 , p ( Ω ) = { u : u  is weakly differentiable in  Ω  and  | u | L p ( Ω ) } .

If the set Ω is connected, and ω is an open set such that ω ¯ is compact and ω ¯ Ω , then V 1 , p ( Ω ) is a Banach space equipped with the norm

u V 1 , p ( Ω ) = u L p ( ω ) + u L p ( Ω ) .

Note that replacing ω by another set with the same properties results in an equivalent norm.

The isocapacitary function ν Ω , p of Ω is defined in analogy with (2.1), provided that the perimeter of a set E relative to Ω is replaced by its condenser capacity. Specifically, recall that the standard p-capacity of a set E 𝕄 can be defined, for p 1 , by

C p ( E ) = inf { 𝕄 | u | p 𝑑 n : u W 0 1 , p ( 𝕄 ) , u 1  in some neighborhood of  E } .

Each function u V 1 , p ( Ω ) has a representative u ~ , called the precise representative, enjoying the property that for every ε > 0 there exists a set E Ω , with C p ( E ) < ε , such that u ~ restricted to Ω E is continuous. The function u ~ is unique, up to subsets of p-capacity zero. A pointwise property which holds up to sets of p-capacity zero is said to hold p-quasi everywhere.

In view of a classical result in potential theory (see, e.g., [39, Corollary 2.25]), we adopt the following definition of capacity of a condenser. Let E G Ω . Then we set

cap p ( E , G ) = inf { Ω | u | p 𝑑 n : u V 1 , p ( Ω ) , u ~ 1  in  E , u ~ = 0  in  Ω G p -quasi everywhere } .

Also, we define

cap p ( E ) = inf { cap p ( E , G ) : E G , n ( G ) n ( Ω ) 2 }

for every measurable set E Ω such that n ( E ) n ( Ω ) 2 .

The p-isocapacitary function

ν Ω , p : [ 0 , n ( Ω ) 2 ] [ 0 , )

of Ω is then given by

(2.2) ν Ω , p ( s ) = inf { cap p ( E ) : E Ω , s n ( E ) n ( Ω ) 2 } for  s [ 0 , n ( Ω ) 2 ] .

The function ν Ω , p is clearly non-decreasing. The isocapacitary inequality (1.7) on Ω is a consequence of the very definition (2.2).

If p > 1 , then the function λ Ω is related to ν Ω , p via the inequality

(2.3) ν Ω , p ( s ) ( s n ( Ω ) 2 d r λ Ω ( r ) p ) 1 - p for  s ( 0 , n ( Ω ) 2 ) .

Hence, in particular,

ν Ω , p ( s ) > 0 for  s ( 0 , n ( Ω ) 2 ] ,

provided that Ω is connected.

When p = 1 , one has that

ν Ω , 1 = λ Ω ,

as shown by an analogous argument to the one in [46, Lemma 2.2.5].

For any measurable function u on Ω, we define the distribution function μ u : [ 0 , ) by

μ u ( t ) = n ( { x Ω : u ( x ) t } ) for  t .

Note that here μ u is defined in terms of u, instead of | u | as customary. The signed decreasing rearrangement u : [ 0 , n ( Ω ) ] [ - , ] of u is given by

u ( s ) = sup { t : μ u ( t ) s } for  s [ 0 , n ( Ω ) ] .

The median of u is defined by

med ( u ) = u ( n ( Ω ) 2 ) .

Since u and u are equimeasurable functions, one has that

u L q ( 0 , n ( Ω ) ) = u L q ( Ω )

for every q [ 1 , ] . Moreover, if u W 1 , p ( Ω ) for some p [ 1 , ] , then

(2.4) u  is locally absolutely continuous in  ( 0 , n ( Ω ) ) .

Given u W 1 , p ( Ω ) , we define the function ψ u : [ 0 , ) by

(2.5) ψ u ( t ) = 0 t ( { u = τ } | u | p - 1 𝑑 n - 1 ( x ) ) 1 1 - p 𝑑 τ for  t 0 ,

where the representative of u appearing on the right-hand side is the one which renders the coarea formula true. Via (a version on manifolds of) [46, Lemma 2.2.2/1], one can deduce that, if

med ( u ) = 0 ,

then

(2.6) ν Ω , p ( s ) ψ u ( u ( s ) ) 1 - p for  s ( 0 , n ( Ω ) 2 ) .

3 Proofs of Theorems 1.1 and 1.3

Our main task in the present section is to establish Theorem (1.3). Theorem 1.1 will then easily follow, thanks to inequality (2.3).

The proof of Theorem (1.3) (ii) relies upon an analysis of an integral equation fulfilled by the signed rearrangement of any eigenfunction of problem (1.2). This integral equation is derived after obtaining an equation involving integrals of the eigenfunction over its level sets. Assumption (1.18) is the piece of information which, through inequality (2.6), enables us to deduce the existence and uniqueness of solutions to the integral equation in suitable spaces.

The proof of Theorem (1.3) (i) makes use of an iteration argument, which in turn rests on the Sobolev-type inequality contained in the following lemma. The inequality in question is standard in regular domains. The objective of the lemma is to show that it is also supported by domains which merely satisfy assumption (1.17).

Lemma 3.1.

Let M be an n-dimensional Riemannian manifold and let Ω be a connected open set in M such that H n ( Ω ) < . Assume that condition (1.17) holds for some p > 1 . Then for every ε > 0 there exists a constant c such that

(3.1) u L p ( Ω ) ε u L p ( Ω ) + c u L 1 ( Ω ) p

for every u W 1 , p ( Ω ) .

Proof.

Fix any s ( 0 , n ( Ω ) / 2 ) , and let E be any compact set in Ω such that n ( Ω E ) < s (such a set E certainly exists since Ω is, in particular, a locally compact, separable topological space with a countable basis). Let ξ be any continuously differentiable compactly supported function on Ω such that 0 ξ 1 and ξ = 1 in E. Denote by U the support of ξ. Consider the precise representative u of any function in W 1 , p ( Ω ) . We have that

(3.2) u L p ( Ω ) ( 1 - ξ ) u L p ( Ω ) + ξ u L p ( Ω ) .

Let us set

v = ( 1 - ξ ) u .

Clearly, v W 1 , p ( Ω ) , and the support of v is contained in Ω E . Thus,

{ x Ω : | v | t } = { x Ω E : | v | t } and n ( { x Ω : | v | t } ) s n ( Ω ) 2

for every t > 0 . Hence, by inequality (1.7),

(3.3) Ω | v | p d n = 0 n ( { | v | t } ) d ( t p ) ( sup r s r ν Ω , p ( r ) ) 0 C p ( { | v | t } , Ω E ) d ( t p ) .

Owing to the monotonicity of capacity,

(3.4) 0 C p ( { | v | t } , Ω E ) d ( t p ) 3 k 2 p k C ( { | v | 2 k } , Ω E ) .

Let Ψ : [ 0 , 1 ] be the function given by Ψ ( t ) = 0 if t 0 , Ψ ( t ) = 1 if t 1 , and Ψ ( t ) = t if t ( 0 , 1 ) . Define v k : Ω [ 0 , 1 ] by

v k = Ψ ( 2 1 - k | v | - 1 )

for k . Note that v k W 1 , p ( Ω ) for k , since Ψ is Lipschitz continuous, and v k = 1 in { | v | 2 k } , and v k = 0 in { | v | 2 k - 1 } . In particular, v k = 0 on E = Ω ( Ω E ) . Hence, by the very definition of the capacity of a condenser,

k 2 p k C ( { | v | 2 k } , Ω E ) k 2 p k Ω | v k | p d n
= 2 p k { 2 k - 1 | v | < 2 k } | v | p 𝑑 n
(3.5) = 2 p Ω | v | p 𝑑 n .

From inequalities (3.3)–(3.5), one can infer that there exists a constant c such that

Ω v p 𝑑 n c sup r s r ν Ω , p ( r ) Ω | v | p 𝑑 n .

Consequently,

( 1 - ξ ) u L p ( Ω ) ( c sup r s r ν Ω , p ( r ) ) 1 / p ( ( 1 - ξ ) u ) L p ( Ω )
(3.6) ( c sup r s r ν Ω , p ( r ) ) 1 / p ( u L p ( Ω ) + ξ L ( Ω ) u L p ( U ) ) ,

and, trivially,

(3.7) ξ u L p ( Ω ) u L p ( U ) .

Inequalities (3.2), (3.6) and (3.7) imply that

(3.8) u L p ( Ω ) c ( sup r s r ν Ω , p ( r ) ) 1 / p u L p ( Ω ) + c u L p ( U )

for some constant c.

Now, let Ω be a Lipschitz domain such that Ω ¯ is compact, Ω ¯ Ω and U Ω . Our assumptions on Ω ensure that a version of the standard Sobolev inequality holds, which tells us that

(3.9) u L p ( Ω ) ε u L p ( Ω ) + c u L 1 ( Ω ) p

for some constant c and for every u W 1 , p ( Ω ) . This follows, for instance, via an argument analogous to the one in [46, proof of Theorem 1.4.6/1]. Inequality (3.1) follows from inequalities (3.8) and (3.9). ∎

We are now in a position to prove our criteria for bounds of eigenfunctions to problem (1.2).

Proof of Theorem 1.3.

(i) Let u be an eigenfunction of problem (1.2) and let t , α > 0 . Define the function T t : [ 0 . ) by T t ( s ) = min { | s | , t } for s . Choose the test function ϕ = T t ( u ) α u in equation (1.2). Note that this choice is admissible, since ϕ W 1 , p ( Ω ) , by classical results on truncations of Sobolev functions. One obtains that

(3.10) Ω ( T t ( u ) α + α | u | α χ { | u | < t } ) | u | p 𝑑 n = γ Ω T t ( u ) α | u | p 𝑑 n .

Trivially,

Ω ( T t ( u ) α + α | u | α χ { | u | < t } ) | u | p 𝑑 n Ω T t ( u ) α | u | p 𝑑 n .

On the other hand,

Ω | ( T t ( u ) α p u ) | p 𝑑 n 2 p - 1 Ω ( T t ( u ) α + ( α p ) p | u | α χ { | u | < t } ) | u | p 𝑑 n
2 p - 1 ( 1 + ( α p ) p ) Ω T t ( u ) α | u | p 𝑑 n .

Thus,

(3.11) Ω | ( T t ( u ) α p u ) | p 𝑑 n c 1 Ω ( T t ( u ) α + α | u | α χ { | u | < t } ) | u | p 𝑑 n

for some constant c 1 = c 1 ( α , p ) . From inequality (3.11), via inequality (3.1) applied to the function T t ( u ) α / p u , one deduces that

(3.12) Ω T t ( u ) α | u | p 𝑑 n - c ( Ω T t ( u ) α p | u | 𝑑 n ) p ε c 1 Ω ( T t ( u ) α + α | u | α χ { | u | < t } ) | u | p 𝑑 n .

In order to estimate the right-hand side of equation (3.10), we observe that

(3.13) γ Ω T t ( u ) α | u | p 𝑑 n = γ ( { | u | < t } | u | α + p 𝑑 n + t α { | u | t } | u | p 𝑑 n ) .

Multiplying through inequality (3.10) by ε c 1 and making use of equation (3.12) tell us that

ε c 1 γ Ω T t ( u ) α | u | p 𝑑 n Ω T t ( u ) α | u | p 𝑑 n - c ( Ω T t ( u ) α p | u | 𝑑 n ) p .

Hence, owing to equation (3.13),

(3.14) ( 1 - ε c 1 γ ) ( { | u | < t } | u | α + p 𝑑 n + t α { | u | t } | u | p 𝑑 n ) c ( Ω T t ( u ) α p | u | 𝑑 n ) p .

Choose ε in a such a way that ( 1 - ε c 1 γ ) > 1 2 . With this choice, inequality (3.14) yields

(3.15) 1 2 { | u | < t } | u | α + p 𝑑 n c ( Ω | u | α p + 1 𝑑 n ) p

for some constant c = c ( Ω , γ , α , p ) . Now, apply inequality (3.15) with α = p 2 - p . This results in

{ | u | < t } | u | p 2 𝑑 n c 1 ( Ω | u | p 𝑑 n ) p

for some constant c 1 = c 1 ( Ω , γ , p ) . Letting t yields

u p 2 c 1 1 / p 2 u p .

This shows that u L p 2 ( Ω ) . Next, choose α = p 3 - p in (3.15). Hence,

{ | u | < t } | u | p 3 𝑑 n c 2 ( Ω | u | p 2 𝑑 n ) p

for some constant c 2 = c 2 ( Ω , γ , p ) . Passing to the limit as t implies that

u p 3 c 2 1 / p 3 u p 2 .

Thus, u L p 3 ( Ω ) . Iterating this argument, with α = p k - p for k , shows that u L p k ( Ω ) for every k . Hence, u L q ( Ω ) and inequality (1.4) holds for all q > p .

(ii) Assume that u is an eigenfunction of problem (1.2), and choose its representative which supports the coarea formula for Sobolev functions. Given s ( 0 , n ( Ω ) ) and h > 0 , let ϕ be the test function in equation (1.2) given by

ϕ ( x ) = { 0 if  u ( x ) < u ( s + h ) , u ( x ) - u ( s + h ) if  u ( s + h ) u ( x ) u ( s ) , u ( s ) - u ( s + h ) if  u ( s ) < u ( x ) ,

for x Ω . Notice that ϕ W 1 , p ( Ω ) by standard results on truncations of Sobolev functions. One obtains that

{ u ( s + h ) < u < u ( s ) } | u | p 𝑑 n ( x ) = γ { u ( s + h ) u u ( s ) } | u ( x ) | p - 2 u ( x ) ( u ( x ) - u ( s + h ) ) 𝑑 n ( x )
(3.16) + γ ( u ( s ) - u ( s + h ) ) { u > u ( s ) } | u ( x ) | p - 2 u ( x ) 𝑑 n ( x ) .

Consider the function V : ( 0 , n ( Ω ) ) [ 0 , ) defined by

V ( s ) = { u u ( s ) } | u | p 𝑑 n ( x ) for  s ( 0 , n ( Ω ) ) .

As recalled in equation (2.4), the function u is locally absolutely continuous in ( 0 , n ( Ω ) ) . Moreover, the function

( 0 , ) t { u t } | u | p 𝑑 n ( x )

is locally absolutely continuous, since, thanks to the coarea formula,

{ u t } | u | p 𝑑 n ( x ) = - t { u = τ } | u | p - 1 𝑑 n - 1 ( x ) 𝑑 τ for  t .

Being the composition of monotone locally absolutely continuous functions, the function V is also locally absolutely continuous, and

V ( s ) = - u ( s ) { u = u ( s ) } | u | p - 1 𝑑 n - 1 ( x ) for a.e.  s ( 0 , n ( Ω ) ) .

Here, and in what follows, the superscript “ ” denotes differentiation. Therefore, dividing by h in (3.16) and passing to the limit as h 0 + tell us that

(3.17) - u ( s ) { u = u ( s ) } | u | p - 1 𝑑 n - 1 ( x ) = - γ u ( s ) { u > u ( s ) } | u | p - 2 u 𝑑 n ( x )

for a.e. s ( 0 , n ( Ω ) ) . On the other hand, inasmuch as the functions u and u are equimeasurable,

(3.18) { u > u ( s ) } | u ( x ) | p - 2 u ( x ) 𝑑 n ( x ) = 0 s | u ( r ) | p - 2 u ( r ) 𝑑 r for a.e.  s ( 0 , n ( Ω ) ) .

From equations (3.17) and (3.18), one infers that

- u ( r ) = - γ u ( r ) ( ψ u ( u ( r ) ) ) p - 1 0 r | u ( ρ ) | p - 2 u ( ρ ) 𝑑 ρ for a.e.  r ( 0 , n ( Ω ) ) ,

where ψ u is the function defined by (2.5). Hence,

(3.19) - u ( r ) = - γ 1 p - 1 u ( r ) ψ u ( u ( r ) ) ( 0 r | u ( ρ ) | p - 2 u ( ρ ) 𝑑 ρ ) 1 p - 1 for a.e.  r ( 0 , n ( Ω ) ) .

Let 0 < s < ε < n ( Ω ) . Integrating both sides of equation (3.19) over the interval ( s , ε ) yields

(3.20) u ( s ) = u ( ε ) + γ 1 p - 1 s ε ( - ψ u ( u ( r ) ) ) ( 0 r | u ( ρ ) | p - 2 u ( ρ ) 𝑑 ρ ) 1 p - 1 𝑑 r for  s ( 0 , ε ) .

Set

w = u - med ( u ) ,

and observe that

med ( w ) = 0 , w = u - med ( u )

and

( ψ u ( u ( s ) ) ) = ( ψ w ( w ( s ) ) ) for  s ( 0 , n ( Ω ) ) .

By setting, for simplicity, ϖ ( s ) = ( - ψ w ( w ( s ) ) ) , equation (3.20) reads

(3.21) u ( s ) = u ( ε ) + γ 1 p - 1 s ε ϖ ( r ) ( 0 r | u ( ρ ) | p - 2 u ( ρ ) 𝑑 ρ ) 1 p - 1 𝑑 r for  s ( 0 , ε ) .

Let us choose ε ( 0 , n ( Ω ) / 2 ] so small that u ( r ) > 0 in ( 0 , ε ] . Define the operator

T u f ( s ) = u ( ε ) + γ 1 p - 1 s ε ( 0 r | f ( ρ ) | p - 1 𝑑 ρ ) 1 p - 1 ϖ ( r ) 𝑑 r for  s ( 0 , ε ) ,

for f L p ( 0 , ε ) .

Our aim is now to prove that the equation

(3.22) T u f ( s ) = f ( s ) for  s ( 0 , ε )

has a solution f L ( 0 , ε ) . In order to establish this fact, define the sequence of functions { f k } via iteration by

{ f 0 = u ( ε ) , f k = T u f k - 1 for  k .

We preliminarily observe that, by Fubini’s theorem and inequality (2.6),

γ 1 p - 1 0 ε ϖ ( r ) r 1 p - 1 𝑑 r = γ 1 p - 1 ( p - 1 ) 0 ε ϖ ( r ) ( 0 r ρ 1 p - 1 - 1 𝑑 ρ ) 𝑑 r
= γ 1 p - 1 ( p - 1 ) 0 ε ρ 1 p - 1 - 1 ( ρ ε ϖ ( r ) 𝑑 r ) 𝑑 ρ
= γ 1 p - 1 ( p - 1 ) 0 ε ρ 1 p - 1 - 1 ( ψ v ( v ( ρ ) ) - ψ v ( v ( ε ) ) ) 𝑑 ρ
γ 1 p - 1 ( p - 1 ) 0 ε ρ 1 p - 1 - 1 ν Ω , p ( ρ ) - 1 p - 1 𝑑 ρ
= γ 1 p - 1 ( p - 1 ) 0 ε ( ρ ν Ω , p ( ρ ) ) 1 p - 1 d ρ ρ .

Hence, owing to assumption (1.18), given δ ( 0 , 1 ) , there exists ε as above such that, in addition,

(3.23) γ 1 p - 1 0 ε ϖ ( r ) r 1 p - 1 𝑑 r < δ .

We claim that

(3.24) f k L ( 0 , ε ) u ( ε ) h = 0 k δ h

for k { 0 } , whence f k L ( 0 , ε ) . Inequality (3.24) can be verified by induction. Clearly,

f 0 L ( 0 , ε ) = u ( ε ) .

Assume now that inequality (3.24) holds for some k { 0 } . From inequality (3.23), one then deduces that

f k + 1 L ( 0 , ε ) = f k + 1 ( 0 )
= u ( ε ) + γ 1 p - 1 0 ε ( 0 r f k ( ρ ) p - 1 𝑑 ρ ) 1 p - 1 ϖ ( r ) 𝑑 r
u ( ε ) ( 1 + ( h = 0 k δ h ) γ 1 p - 1 0 ε r 1 p - 1 ϖ ( r ) 𝑑 r )
u ( ε ) h = 0 k + 1 δ h ,

namely inequality (3.24) with k replaced by k + 1 . Hence, our claim follows. In particular, we have that

(3.25) f k L ( 0 , ε ) u ( ε ) 1 - δ .

We next distinguish the cases when p 2 or 1 < p < 2 .

Assume first that p 2 . Under this assumption, one has that

(3.26) f k - f k - 1 L ( 0 , ε ) u ( ε ) δ k

for k . Inequality (3.26) can be shown by induction again. Inequality (3.23) guarantees that

(3.27) f 1 - f 0 L ( 0 , ε ) = u ( ε ) γ 1 p - 1 0 ε r 1 p - 1 ϖ ( r ) 𝑑 r u ( ε ) δ .

Inequality (3.26) is thus verified for k = 1 . Next, suppose that inequality (3.26) holds for some k . Then

f k + 1 - f k L ( 0 , ε ) γ 1 p - 1 0 ε | f k L p - 1 ( 0 , r ) - f k - 1 L p - 1 ( 0 , r ) | ϖ ( r ) 𝑑 r
γ 1 p - 1 0 ε f k - f k - 1 L p - 1 ( 0 , r ) ϖ ( r ) 𝑑 r
f k - f k - 1 L ( 0 , r ) γ 1 p - 1 0 ε r 1 p - 1 ϖ ( r ) 𝑑 r
u ( ε ) δ k + 1 ,

that is, inequality (3.26) with k replaced by k + 1 .

Assume now that 1 < p < 2 . We shall make use of the inequalities

(3.28) | r 1 p - 1 - s 1 p - 1 | c 1 | r - s | ( r 2 - p p - 1 + s 2 - p p - 1 ) for  r , s > 0 ,
(3.29) | r p - 1 - s p - 1 | c 2 | r - s | r 2 - p + s 2 - p for  r , s > 0 ,

for some constants c 1 = c 1 ( p ) and c 2 = c 2 ( p ) .

In this case, one has that

(3.30) f k - f k - 1 L ( 0 , ε ) ( c 1 c 2 ) k - 1 u ( ε ) δ k ( 1 - δ ) ( 2 - p ) ( k - 1 )

for k . Inequality (3.30) holds with k = 1 thanks to (3.27), which is still valid even if 1 < p < 2 . We argue again by induction and assume now that inequality (3.30) holds for some k . Then

f k + 1 - f k L ( 0 , ε ) γ 1 p - 1 0 ε | ( 0 r f k ( ρ ) p - 1 𝑑 ρ ) 1 p - 1 - ( 0 r f k - 1 ( ρ ) p - 1 𝑑 ρ ) 1 p - 1 | ϖ ( r ) 𝑑 r
c 1 γ 1 p - 1 0 ε | 0 r ( f k p - 1 ( ρ ) - f k - 1 ( ρ ) p - 1 ) 𝑑 ρ | ( ( 0 r f k ( ρ ) p - 1 𝑑 ρ ) 2 - p p - 1 + ( 0 r f k - 1 ( ρ ) p - 1 𝑑 ρ ) 2 - p p - 1 ) ϖ ( r ) 𝑑 r
2 c 1 γ 1 p - 1 ( u ( ε ) 1 - δ ) 2 - p 0 ε | 0 r ( f k ( ρ ) p - 1 - f k - 1 ( ρ ) p - 1 ) 𝑑 ρ | r 2 - p p - 1 ϖ ( r ) 𝑑 r
2 c 1 γ 1 p - 1 ( u ( ε ) 1 - δ ) 2 - p 0 ε ( 0 r c 2 | f k ( ρ ) - f k - 1 ( ρ ) | f k ( ρ ) 2 - p + f k - 1 ( ρ ) 2 - p 𝑑 ρ ) r 2 - p p - 1 ϖ ( r ) 𝑑 r
2 c 1 γ 1 p - 1 ( u ( ε ) 1 - δ ) 2 - p c 2 f k - f k - 1 L ( 0 , ε ) 2 u ( ε ) 2 - p 0 ε r 2 - p p - 1 + 1 ϖ ( r ) 𝑑 r
c 1 c 2 ( 1 - δ ) ( 2 - p ) ( c 1 c 2 ) k - 1 u ( ε ) δ k ( 1 - δ ) ( 2 - p ) ( k - 1 ) γ 1 p - 1 0 ε r 1 p - 1 ϖ ( r ) 𝑑 r
( c 1 c 2 ) k u ( ε ) δ k + 1 ( 1 - δ ) ( 2 - p ) k ,

where the second inequality holds by (3.28), the third by (3.25), the fourth by (3.29), the fifth by the fact that f k ( ρ ) u ( ε ) , the sixth by (3.30), and the last one by (3.23).

Inequality (3.26) when p 2 and inequality (3.30) when 1 < p < 2 ensure that, if ε is sufficiently small, then the sequence { f k } converges in L ( 0 , ε ) to some function f, which solves equation (3.22).

Now, we already know that equation (3.22) admits a solution f = u L p ( 0 , ε ) . Our next goal is to show that such a function is the unique solution in L p ( 0 , ε ) . Assume, by contradiction, that f and g are distinct functions in L p ( 0 , ε ) satisfying equation (3.22). Let us again distinguish the cases when p 2 or 1 < p < 2 .

If p 2 , then

| f ( s ) - g ( s ) | = γ 1 p - 1 | s ε ϖ ( r ) ( f L p - 1 ( 0 , r ) - g L p - 1 ( 0 , r ) ) 𝑑 r |
γ 1 p - 1 s ε ϖ ( r ) f - g L p - 1 ( 0 , r ) 𝑑 r
γ 1 p - 1 f - g L p ( 0 , ε ) s ε ϖ ( r ) r 1 p ( p - 1 ) 𝑑 r for  s ( 0 , ε ) .

Hence, owing to Minkowski’s integral inequality and to inequality (3.23),

f - g L p ( 0 , ε ) γ 1 p - 1 f - g L p ( 0 , ε ) ( 0 ε ( s ε r 1 p ( p - 1 ) ϖ ( r ) 𝑑 r ) p 𝑑 s ) 1 p
γ 1 p - 1 f - g L p ( 0 , ε ) 0 ε r 1 p ( p - 1 ) ϖ ( r ) ( 0 r 𝑑 s ) 1 p 𝑑 r
γ 1 p - 1 f - g L p ( 0 , ε ) 0 ε r 1 p - 1 ϖ ( r ) 𝑑 r
(3.31) < δ f - g L p ( 0 , ε ) ,

which is a contradiction since δ ( 0 , 1 ) .

Suppose next that 1 < p < 2 . Without loss of generality, we may assume that u ( ε ) = 1 . Indeed, if f solves equation (3.22), then the function f u ( ε ) solves equation (3.22) with u ( ε ) = 1 . Under this assumption, one has that

f ( r ) 1 and g ( r ) 1    for  r ( 0 , ε ) .

We begin by showing that

(3.32) f L p ( 0 , r ) ( 1 + δ 1 - δ ) f ( r ) r 1 p for  r ( 0 , ε ) .

Actually, given any r ( 0 , ε ) , one has that

f L p ( 0 , r ) r 1 p + γ 1 p - 1 ( 0 r ( s ε ( 0 ρ f ( σ ) p - 1 𝑑 σ ) 1 p - 1 ϖ ( ρ ) 𝑑 ρ ) p 𝑑 s ) 1 p
(3.33) r 1 p + γ 1 p - 1 ( 0 r ( s ε f L p ( 0 , ρ ) ρ 1 p ( p - 1 ) ϖ ( ρ ) 𝑑 ρ ) p 𝑑 s ) 1 p .

On the other hand, Minkowski’s integral inequality tells us that

γ 1 p - 1 ( 0 r ( s ε f L p ( 0 , ρ ) ρ 1 p ( p - 1 ) ϖ ( ρ ) 𝑑 ρ ) p 𝑑 s ) 1 p
γ 1 p - 1 0 r f L p ( 0 , ρ ) ρ 1 p ( p - 1 ) + 1 p ϖ ( ρ ) 𝑑 ρ + γ 1 p - 1 r ε f L p ( 0 , ρ ) ρ 1 p ( p - 1 ) r 1 p ϖ ( ρ ) 𝑑 ρ
(3.34) f L p ( 0 , r ) γ 1 p - 1 0 r ρ 1 p - 1 ϖ ( ρ ) 𝑑 ρ + γ 1 p - 1 r 1 p r ε f L p ( 0 , ρ ) ρ 1 p ( p - 1 ) ϖ ( ρ ) 𝑑 ρ .

Moreover,

f L p ( 0 , ρ ) f L p ( 0 , r ) + f L p ( r , ρ ) f L p ( 0 , r ) + f ( r ) ρ 1 p

for ρ ( r , ε ) . Thus,

(3.35) γ 1 p - 1 r 1 p r ε f L p ( 0 , ρ ) ρ 1 p ( p - 1 ) ϖ ( ρ ) 𝑑 ρ f L p ( 0 , r ) γ 1 p - 1 r ε ρ 1 p - 1 ϖ ( ρ ) 𝑑 ρ + f ( r ) r 1 p γ 1 p - 1 0 r ρ 1 p - 1 ϖ ( ρ ) 𝑑 ρ .

Coupling inequality (3.34) with (3.35) yields

γ 1 p - 1 ( 0 r ( s ε f L p ( 0 , ρ ) ρ 1 p ( p - 1 ) ϖ ( ρ ) 𝑑 ρ ) p 𝑑 s ) 1 p ( f L p ( 0 , r ) + f ( r ) r 1 p ) γ 1 p - 1 0 ε ρ 1 p - 1 ϖ ( ρ ) 𝑑 ρ
(3.36) δ ( f L p ( 0 , r ) + f ( r ) r 1 p ) .

From inequalities (3.33) and (3.36), one infers that

( 1 - δ ) f L p ( 0 , r ) ( 1 + δ f ( r ) ) r 1 p ( 1 + δ ) f ( r ) r 1 p ,

whence inequality (3.32) follows.

Next, observe that

(3.37) f - g L p ( 0 , ε ) γ 1 p - 1 ( 0 ε ( s ε | ( 0 r f ( ρ ) p - 1 𝑑 ρ ) 1 p - 1 - ( 0 r g ( ρ ) p - 1 𝑑 ρ ) 1 p - 1 | ϖ ( r ) 𝑑 r ) p 𝑑 s ) 1 p .

The following chain holds:

| ( 0 r f ( ρ ) p - 1 𝑑 ρ ) 1 p - 1 - ( 0 r g ( ρ ) p - 1 𝑑 ρ ) 1 p - 1 |
c 1 | 0 r ( f ( ρ ) p - 1 - g ( ρ ) p - 1 ) 𝑑 ρ | ( ( 0 r f ( ρ ) p - 1 𝑑 ρ ) 2 - p p - 1 + ( 0 r g ( ρ ) p - 1 𝑑 ρ ) 2 - p p - 1 )
c 1 0 r | f ( ρ ) p - 1 - g ( ρ ) p - 1 | 𝑑 ρ ( ( 0 r f ( ρ ) p 𝑑 ρ ) 2 - p p ( p - 1 ) + ( 0 r g ( ρ ) p 𝑑 ρ ) 2 - p p ( p - 1 ) ) r 2 - p p ( p - 1 )
c 1 c 2 ( f L p ( 0 , r ) 2 - p + g L p ( 0 , r ) 2 - p ) r 2 - p p ( p - 1 ) 0 r | f ( ρ ) - g ( ρ ) | f ( ρ ) 2 - p + g ( ρ ) 2 - p 𝑑 ρ
c 1 c 2 ( 1 + δ 1 - δ ) 2 - p ( f ( r ) 2 - p + g ( r ) 2 - p ) r 2 - p p + 2 - p p ( p - 1 ) f - g L p ( 0 , r ) r p - 1 p f ( r ) 2 - p + g ( r ) 2 - p
(3.38) = c 1 c 2 ( 1 + δ 1 - δ ) 2 - p f - g L p ( 0 , r ) r 1 p ( p - 1 ) ,

where the first inequality is due to (3.28), the second to Hölder’s inequality, the third to (3.29) and the fourth to (3.32). Combining inequalities (3.37) and (3.38), and an application of Minkowski’s integral inequality as in (3.31), enable one to deduce that

f - g L p ( 0 , ε ) c 1 c 2 γ 1 p - 1 ( 1 + δ 1 - δ ) 2 - p f - g L p ( 0 , ε ) ( 0 ε ( s ε r 1 p ( p - 1 ) ϖ ( r ) 𝑑 r ) p 𝑑 s ) 1 p
(3.39) c 1 c 2 γ 1 p - 1 ( 1 + δ 1 - δ ) 2 - p δ f - g L p ( 0 , ε ) .

Inequality (3.39) yields a contradiction, provided that δ is chosen small enough.

We have therefore shown that, for sufficiently small ε, the function u is the unique solution to equation (3.22) in L p ( 0 , ε ) , and that a solution also exists in L ( 0 , ε ) . As a consequence, u L ( 0 , ε ) . The same argument, applied to - u , implies that u L ( n ( Ω ) - ε , n ( Ω ) ) . Altogether, since the function u is non-increasing, we conclude that u L ( 0 , n ( Ω ) ) .

It remains to prove inequality (1.3). To this end, from equation (3.21) one can deduce that, for every ε ( 0 , n ( Ω ) ) ,

u L ( 0 , ε ) | u ( ε ) | + γ 1 p - 1 δ u L ( 0 , ε ) .

Choose ε ( 0 , n ( Ω ) 2 ] so small that the number δ, defined by (3.23), fulfills the inequality

1 - γ 1 p - 1 δ 1 2 .

Therefore,

u L ( 0 , ε ) | u ( ε ) | 1 - γ 1 p - 1 δ 2 | u ( ε ) | .

Owing to the monotonicity of u , if u ( ε ) > 0 , then

| u ( ε ) | ε - 1 p u L p ( 0 , ε ) ,

whereas if u ( ε ) < 0 , then

| u ( ε ) | ( n ( Ω ) - ε ) - 1 p u L p ( ε , n ( Ω ) ) .

Since ε ( 0 , n ( Ω ) 2 ] , we hence obtain that

u L ( 0 , ε ) 2 ε - 1 q u L q ( 0 , n ( Ω ) ) .

The same argument, applied to - u , yields the parallel inequality

u L ( n ( Ω ) - ε , n ( Ω ) ) 2 ε - 1 p u L p ( 0 , n ( Ω ) ) .

Altogether, we conclude that

u L ( 0 , n ( Ω ) ) 2 ε - 1 q u L p ( 0 , n ( Ω ) ) ,

whence inequality (1.3) follows. ∎

Proof of Theorem 1.1.

(i) By assumption (1.9), for every ε > 0 there exists s ε ( 0 , n ( Ω ) 2 ) such that

s p λ Ω ( s ) p < ε

if s ( 0 , s ε ) . Thereby, thanks to inequality (2.3),

s ν Ω , p ( s ) s ( s n ( Ω ) 2 d r λ M ( r ) p ) p - 1 ε p - 1 s ( s s ε d r λ M ( r ) p ) p - 1 + s ( s ε n ( Ω ) 2 d r λ M ( r ) p ) p - 1
(3.40) ε p - 1 ( p - 1 ) p - 1 + s ( 0 n ( Ω ) 2 d r λ M ( r ) p ) p - 1 .

Owing to the arbitrariness of ε, passing to the limit as s 0 + in inequality (3.40) yields equation (1.17). The conclusion hence follows via Theorem 1.3 (i).

(ii) Inequality (2.3) and Fubini’s theorem ensure that

0 n ( Ω ) 2 ( s ν Ω , p ( s ) ) 1 p - 1 d s s 0 n ( Ω ) 2 s 1 p - 1 - 1 s n ( Ω ) / 2 d r λ M ( r ) p 𝑑 s
= ( p - 1 ) 0 n ( Ω ) 2 ( s λ Ω ( s ) ) p d s s .

Thereby, assumption (1.11) implies that equation (1.18) is fulfilled as well. The conclusion hence follows via Theorem 1.3 (ii). ∎

4 Sharpness

The sharpness of the results from Theorems 1.1 and 1.3 will be demonstrated in our proofs of Theorems 1.2 and 1.4 via model “manifolds of revolution”, patterned as in Figure 1 of Section 1, and defined as follows.

Let φ : [ 0 , ) [ 0 , ) be any function in C 1 ( [ 0 , ) ) such that

(4.1) φ ( r ) > 0 for  r ( 0 , ) ,
(4.2) φ ( 0 ) = 0 and φ ( 0 ) = 1 .

Given n 2 , we call the “n-dimensional manifold of revolution 𝕄 built upon φ” the space n parametrized, in polar coordinates, as { ( r , ω ) : r [ 0 , ) , ω 𝕊 n - 1 } and equipped with the Riemannian metric

(4.3) d s 2 = d r 2 + φ ( r ) 2 d ω 2 .

Here, d ω 2 denotes the standard metric on 𝕊 n - 1 . Our assumptions on φ ensure that the metric (4.3) is of class C 1 ( 𝕄 ) . Observe that

𝕄 u 𝑑 n = 𝕊 n - 1 0 u φ ( r ) n - 1 𝑑 r 𝑑 n - 1

for any integrable function u : 𝕄 . In particular, n ( 𝕄 ) < if and only if

0 φ ( r ) n - 1 𝑑 r < .

We shall make use of functions u : 𝕄 depending only on r, which, with some abuse of notation, will simply be denoted by u = u ( r ) . For functions of this kind, one has that

| u | = | u ( r ) | for  r [ 0 , ) .

Moreover, the p-Laplace operator takes the form

- div ( | u | p - 2 u ) = φ ( r ) 1 - n ( φ ( r ) n - 1 | u ( r ) | p - 2 u ( r ) ) .

Thus, equation (1.1) on 𝕄 reduces to the ordinary differential equation

(4.4) ( φ n - 1 | u | p - 2 u ) + γ φ n - 1 | u | p - 2 u = 0 in  ( 0 , ) .

The membership of u in W 1 , p ( 𝕄 ) reads

(4.5) 0 ( | u ( r ) | p + | u ( r ) | p ) φ ( r ) n - 1 𝑑 r < .

Thus, u is an eigenfunction of problem (1.2) if it satisfies condition (4.5) and

0 ( | u | p - 2 u ϕ - γ | u | p - 2 u ϕ ) φ n - 1 𝑑 r = 0

for every locally absolutely continuous function ϕ : ( 0 , ) such that

0 ( | ϕ ( r ) | p + | ϕ ( r ) | p ) φ ( r ) n - 1 𝑑 r < .

It will be convenient to perform a change of variables, in order to get rid of the coefficient φ n - 1 in the differential operator in (4.4). To this end, define the function ψ : ( 0 , ) by

(4.6) ψ ( r ) = r 0 r d ρ φ ( ρ ) n - 1 p - 1 for  r ( 0 , ) ,

where r 0 is any number in ( 0 , ) if p n , and r 0 = 0 if p > n . Note that

ψ ( 0 ) = -  if  1 < p n , and ψ ( 0 ) = 0  if  p > n ,

where we have set ψ ( 0 ) = lim r 0 + ψ ( r ) when 1 < p n . Under the change of variables

s = ψ ( r ) ,
v ( s ) = u ( ψ - 1 ( s ) ) ,
(4.7) η ( s ) = φ ( ψ - 1 ( s ) ) p ( n - 1 ) p - 1 ,

equation (4.4) turns into

(4.8) ( | v | p - 2 v ) + γ η | v | p - 2 v = 0 in  ( ψ ( 0 ) , ψ ( ) ) ,

where we have set ψ ( ) = lim s ψ ( s ) . Moreover, condition (4.5) reads

(4.9) ψ ( 0 ) ψ ( ) ( | v ( s ) | p η ( s ) + | v ( s ) | p ) 𝑑 s < .

A locally absolutely continuous function v : ( ψ ( 0 ) , ψ ( ) ) is a solution to problem (4.8) if it satisfies condition (4.9) and

(4.10) ψ ( 0 ) ψ ( ) ( | v | p - 2 v ϕ - γ | v | p - 2 v ϕ η ) 𝑑 s = 0

for every locally absolutely continuous function ϕ : ( ψ ( 0 ) , ψ ( ) ) such that

ψ ( 0 ) ψ ( ) ( | ϕ ( s ) | p η ( s ) + | ϕ ( s ) | p ) 𝑑 s < .

We introduce now a few notations to be employed in what follows. Let I be an interval of the form I = ( a , ) , where either a or a = - , and let η : I [ 0 , ) be a function such that η L 1 ( I ) . We define, for p [ 1 , ] , the weighted Lebesgue space

L p ( I , η ) = { v  is measurable in  I : I | v ( s ) | p η ( s ) 𝑑 s < } ,

endowed with the norm

v L p ( I , η ) ( I ) = ( I | v ( s ) | p η ( s ) 𝑑 s ) 1 p .

Moreover, we define the Sobolev space

W 1 , p ( I , η ) = { v  is locally absolutely continuous in  I : I ( | v ( s ) | p η ( s ) + | v ( s ) | p ) 𝑑 s < } ,

equipped with the norm

v W 1 , p ( I , η ) ( I ) = ( I | v ( s ) | p η ( s ) 𝑑 s ) 1 p + ( I | v ( s ) | p 𝑑 s ) 1 p .

Conditions on the weight function η for the embedding

(4.11) W 1 , p ( I ) L p ( I , η )

to be compact are given in the following proposition.

Proposition 4.1.

Let η : I [ 0 , ) be such that η L 1 ( I ) . Assume that η is essentially bounded in every bounded subset of I, and that

(4.12) lim s s ( s η ( t ) 𝑑 t ) 1 p - 1 = 0 .

If a = - , assume in addition that

(4.13) lim s - s ( - s η ( t ) 𝑑 t ) 1 p - 1 = 0 .

Then embedding (4.11) is compact.

Proof.

Assume that a = - , namely I = , the proof when a being analogous.

Fix ε > 0 . By assumptions (4.12) and (4.13), there exists > 0 such that

(4.14) sup < t < ( t η ( ρ ) 𝑑 ρ ) 1 p ( t 𝑑 s ) 1 p < ε

and

(4.15) sup - < t < - ( - t η ( ρ ) 𝑑 ρ ) 1 p ( t - 𝑑 s ) 1 p < ε .

Pick a compactly supported continuously differentiable function ξ : [ 0 , 1 ] such that ξ | ( - , ) = 1 and ξ | ( - , - - 1 ] [ + 1 , ) = 0 . Given u W 1 , p ( ) , define the function v : by

v ( s ) = ( 1 - ξ ( s ) ) u ( s ) for  s .

By setting A = ( - - 1 , + 1 ) and B = ( - , ) , we have that

u L p ( , η ) v χ A L p ( , η ) + u χ A L p ( , η ) v χ B L p ( , η ) + u χ A L p ( , η ) .

Since v ( - ) = v ( ) = 0 , one has that

v ( s ) = s v ( t ) 𝑑 t for  s > ,
v ( s ) = - s v ( t ) 𝑑 t for  s < - .

Thus, as a consequence of standard weighted Hardy-type inequalities (see, e.g., [41, Theorems 1.3.2/2 and 1.3.2/3]), inequalities (4.14) and (4.15) ensure that there exists a constant c = c ( p ) such that

v χ ( , ) L p ( , η ) = ( | s v ( t ) 𝑑 t | p η ( s ) 𝑑 s ) 1 p c ε v L p ( , )

and

v χ ( - , - ) L p ( , η ) = ( - - | s - v ( t ) 𝑑 t | p η ( s ) 𝑑 s ) 1 p c ε v L p ( - , ) .

Hence,

(4.16) v χ B L p ( , η ) 2 c ε v L p ( B ) .

Now, consider any bounded sequence { u k } in W 1 , p ( ) . Thereby, u k L p ( ) C and u k L p ( ) C for some constant C > 0 and every k . By inequality (4.16), applied with u replaced by u k - u m in the definition of v, one has that

( u k - u m ) χ A L p ( , η ) ( u k - u m ) ( 1 - ξ ) χ B L p ( , η )
2 c ε ( ( u k - u m ) ( 1 - ξ ) ) L p ( B )
2 c ε ( u k - u m L p ( ) + c ( u k - u m ) χ ( - - 1 , - ) ( , + 1 ) L p ( ) )
(4.17) c ′′ ε

for some constants c , c , c ′′ .

On the other hand, owing to the compactness of the embedding W 1 , p ( A ) L p ( A ) , the sequence { u k } , restricted to A , admits a Cauchy subsequence, still denoted by { u k } , in L p ( A ) . Our assumptions on the function η entail that ess sup A η < , a property which guarantees that { u k χ A } is also a Cauchy sequence in L p ( , η ) . This piece of information, combined with inequality (4.17), tells us that { u k } is a Cauchy sequence in the Banach space L p ( , η ) , and hence converges to some function u L p ( , η ) . ∎

The following theorem extends the results of [18, Theorem 4.1 and Corollary 4.2] to the case when p 2 , with an analogous proof. The details are omitted for brevity.

Theorem 4.2.

Let φ : [ 0 , ) [ 0 , ) be a function in C 1 ( [ 0 , ) ) fulfilling (4.1), (4.2) and such that

(4.18) lim r φ ( r ) = 0 ,
(4.19) there exists  L 0 > 0 such that  φ is decreasing and convex in  ( L 0 , ) ,
(4.20) 0 φ ( ρ ) n - 1 𝑑 ρ < .

Set ω n - 1 = H n - 1 ( S n - 1 ) . Let Φ : ( 0 , ) [ 0 , ) be the function defined by

Φ ( r ) = ω n - 1 r φ ( ρ ) n - 1 𝑑 ρ for  r > 0 ,

and let

λ : ( 0 , ω n - 1 0 φ ( ρ ) n - 1 𝑑 ρ ) [ 0 , )

be the function defined by

(4.21) λ ( s ) = ω n - 1 φ ( Φ - 1 ( s ) ) n - 1 for  s ( 0 , ω n - 1 L 0 φ ( ρ ) n - 1 𝑑 ρ ) ,

and such that

λ ( s ) = λ ( ω n - 1 L 0 φ ( ρ ) n - 1 𝑑 ρ ) for  s ( ω n - 1 L 0 φ ( r ) n - 1 𝑑 r , ω n - 1 0 φ ( r ) n - 1 𝑑 r ) .

  1. The metric of the n -dimensional manifold of revolution 𝕄 built upon φ is of class C 1 ( 𝕄 ) , and n ( 𝕄 ) < . Moreover,

    (4.22) λ 𝕄 ( s ) λ ( s ) near  0 ,

    and

    ν 𝕄 , p ( s ) ( s n ( Ω ) / 2 d r λ ( r ) p ) 1 - p near  0 .

  2. The following conditions are equivalent:

    lim s 0 s ν 𝕄 , p ( s ) = 0 ,
    lim s 0 s λ 𝕄 ( s ) = 0 ,
    lim r ( r 0 r d ρ φ ( ρ ) n - 1 p - 1 ) ( r φ ( ρ ) n - 1 𝑑 ρ ) 1 p - 1 = 0 for any  r 0 ( 0 , ) .

  3. The following conditions are equivalent:

    0 ( s ν 𝕄 , p ( s ) ) 1 p - 1 d s s < ,
    0 ( s λ 𝕄 ( s ) ) p d s s < ,
    ( 1 φ ( r ) n - 1 r φ ( ρ ) n - 1 𝑑 ρ ) 1 p - 1 𝑑 r < .

The construction of the manifolds of revolution provided by the following proposition relies on Theorem 4.2.

Proposition 4.3.

Let n 2 , and let ν : [ 0 , ) [ 0 , ) be a function as in Theorem 1.4. Then there exists a function φ : [ 0 , ) [ 0 , ) as in the statement of Theorem 4.2 such that the n-dimensional manifold of revolution M built upon φ enjoys property (4.22) and

ν ( s ) ν 𝕄 , p ( s ) ( s n ( Ω ) / 2 d r λ 𝕄 ( r ) p ) 1 - p near  0 .

Proof.

To begin with, recall that the Δ 2 -condition near 0 fulfilled by the function ν ensures that there exists a constant c > 0 such that

ν ( 2 s ) c ν ( s ) near  0 .

Let 1 < p < n . Assumption (1.19) guarantees that there exist a function ϑ : [ 0 , ) [ 0 , ) , which is non-decreasing near 0, and positive constants c 1 and c 2 such that

c 1 ϑ ( c 1 s ) ν ( s ) s n - p n c 2 ϑ ( c 2 s ) near  0 .

Hence,

(4.23) ν ( s ) s n - p n ϑ ( s ) near  0 .

Define the function ν 1 : [ 0 , ) [ 0 , ) by

ν 1 ( s ) = ( 0 s ϑ ( r ) n n - p 𝑑 r ) n - p n for  s 0 .

Owing to the monotonicity of the function ϑ, we have that

(4.24) ν 1 ( s ) ν ( s ) near  0 .

Moreover,

ν 1 ( s ) = n - p n ν 1 ( s ) - p n - p ϑ ( s ) n n - p .

Hence, via equations (4.23) and (4.24) and the Δ 2 -condition near 0 for ν, we deduce that there exist constants c 3 and c 4 such that

(4.25) c 3 ν 1 ( s ) s ν 1 ( s ) c 4 ν 1 ( s ) s near  0 .

Define now the function λ : ( 0 , ) ( 0 , ) by

(4.26) λ ( s ) = ν 1 ( s ) ν 1 ( s ) 1 p for  s > 0 .

From equations (4.24) and (4.25), we obtain that

(4.27) λ ( s ) s 1 n = O ( ( ν 1 ( s ) s n - p n ) 1 p ) near  0 .

When p n , we instead define the function λ by

(4.28) λ ( s ) = ν ( s ) ν ( s ) 1 p for  s > 0 ,

and infer that

(4.29) λ ( s ) s 1 n = ( ν ( s ) ν ( s ) s ) 1 p ν ( s ) 1 p s 1 p - 1 n near  0 .

From either equations (4.27) and (1.19), or equations (4.29) and (1.20), one deduces that, for every p > 1 ,

(4.30) λ ( s ) s n - 1 n a non-decreasing function near  0 .

Furthermore, since

ν 1 ( s ) ν 1 ( s ) p = 1 λ ( s ) p near  0  if  1 < p < n , and    ν ( s ) ν ( s ) p = 1 λ ( s ) p near  0  if  p n ,

property (4.24) ensures that

(4.31) ν ( s ) = O ( ( s s 0 d r λ ( r ) p ) 1 - p ) near  0 ,

for any given s 0 ( 0 , ) .

Let us next notice that

(4.32) 0 d r λ ( r ) = .

Indeed, if p < n , then by (4.24)–(4.26), condition (4.32) is equivalent to

0 ( s ν ( s ) ) 1 p d s s = ,

and the latter holds, owing to assumptions (1.22) and (1.23).

If p n , then

ν ( s ) ν ( s ) s = O ( ς ( s ) ) near  0 ,

for some non-decreasing function ς : ( 0 , ) ( 0 , ) . Therefore, owing to equation (4.28), condition (4.32) is equivalent to

0 ( s ν ( s ) ) 1 p d s s ς ( s ) 1 p = ,

which holds thanks to assumptions (1.22) and (1.23), and to the monotonicity of the function ς. Consequently, equation (4.32) holds for every p > 1 .

By equations (4.30)–(4.32), the conclusion follows from [18, Proposition 4.3 ] and Theorem 4.2. ∎

Proof of Theorem 1.4.

(i) Given q > p and n 2 , we shall produce an n-dimensional manifold of revolution 𝕄 , as defined at the beginning of this section, fulfilling property (1.21) and such that problem (1.2), with Ω = 𝕄 , has an eigenfunction u L q ( 𝕄 ) . The eigenfunction to be detected will depend only on the coordinate r. It thus suffices to exhibit a solution v to equation (4.8) for some function η having the form (4.7), with φ as in the definition of the manifold 𝕄 .

Consider first the case when 1 < p n . We are going to construct a function η : ( 0 , ) such that η C 1 ( ) , lim r - η ( r ) = 0 , lim r η ( r ) = 0 ,

(4.33) - η ( ρ ) 1 p 𝑑 ρ < and - η ( ρ ) 1 p 𝑑 ρ = .

The function η is defined as follows. Let s 1 < - 1 < 1 < s 2 to be fixed later, and set

(4.34) η ( s ) = s - p for  s s 2 .

Let 0 < γ < ( p - 1 p ) p . One can verify that there exists α = α ( γ , p ) ( 0 , p - 1 p ) such that the function

v ( s ) = s α

solves equation (4.8) in [ s 2 , ) . Also, α p - 1 p as γ ( p - 1 p ) p . For s ( - , s 1 ] , we define

(4.35) η ( s ) = { ( - s ) p ( n - 1 ) p - n [ ( n - p p - 1 ) p ( n - 1 ) ( p - 1 ) ( n - p ) - γ 1 p - 1 ( n - p ) p p - 1 p ( 1 n ( p - 1 ) ) 1 p - 1 ( - s ) p p - n ] p - 1 if  1 < p < n , n n e n s γ ( n - 1 ) n - 1 ( 1 - e n n - 1 s ) n - 1 if  p = n .

Thus, the function v, defined by

v ( s ) = { ( n - p p - 1 ) p ( n - 1 ) ( p - 1 ) ( n - p ) - γ 1 p - 1 ( n - p ) p p - 1 p ( 1 n ( p - 1 ) ) 1 p - 1 ( - s ) p p - n if  1 < p < n , 1 - e n n - 1 s if  p = n ,

solves equation (4.8) in ( - , s 1 ] . Next, given β > 0 and disjoint neighborhoods I - 1 and I 1 of -1 and 1, respectively, let η be defined in I 1 I 1 by

η ( s ) = { ( p + 1 ) p ( p - 1 ) γ ( β - ( p + 1 ) | s - 1 | p ) p - 2 ( β - | s - 1 | p ) p - 1 for  s I 1 , ( p + 1 ) p ( p - 1 ) γ ( β - ( p + 1 ) | s + 1 | p ) p - 2 ( β - | s + 1 | p ) p - 1 for  s I - 1 .

Hence, the function v, given by

v ( s ) = { ( s - 1 ) ( β - | s - 1 | p ) for  s I 1 , - ( s + 1 ) ( β - | s + 1 | p ) for  s I - 1 ,

is a solution to (4.8) in I - 1 I 1 .

Moreover, v is convex in a left neighborhood of 1 and in a right neighborhood of -1, whereas it is concave in a right neighborhood of 1 and in a left neighborhood of -1.

Finally, in a neighborhood I 0 of 0, define

η ( s ) = ( p ) p - 1 γ ( k - | s | p ) 1 - p for  s I 0 ,

for k > 0 . Then the function v, given by

v ( s ) = 1 p ( | s | p - k ) for  s I 0 ,

is a convex solution to (4.8) in I 0 .

One can verify that, if β is sufficiently large, s 2 and - s 1 are sufficiently large depending on β, and I 1 , I - 1 and I 0 are sufficiently small, then v can be continued to the whole of in such a way that

v W 1 , p ( , η ) ,
{ ( | v | p - 2 v ) = ( p - 1 ) | v | p - 2 v ′′ - C and v C , in  ( I - 1 ( - 1 , 1 ) I 1 ) ,  for some positive constant  C ,
{ ( | v | p - 2 v ) = ( p - 1 ) | v | p - 2 v ′′ C and v - C ,  in  ( - 1 , 1 ) ( I - 1 I 1 ) ,  for some positive constant  C .

Thereby, the function η can be continued to the whole of as a positive function in C 1 ( ) , fulfilling conditions (4.33), in such a way that v is a solution to equation (4.8) in . Also, the function v satisfies condition (4.9).

One can verify that, if q > p and p - 1 q < α < p - 1 p , then

v L q ( , η ) .

Now, define the function F : ( 0 , ) by

(4.36) F ( r ) = - r η ( ρ ) 1 p 𝑑 ρ for  r ,

and the function ψ : ( 0 , ) by

ψ ( s ) = F - 1 ( s ) for  s > 0 .

Thus, ψ ( 0 ) = - and ψ ( ) = . Next, define the function φ : [ 0 , ) [ 0 , ) by

(4.37) φ ( r ) = { η ( ψ ( r ) ) p - 1 p ( n - 1 ) if  r > 0 , 0 if  r = 0 .

One has that lim r 0 + φ ( r ) = 0 and lim r φ ( r ) = 0 . Furthermore,

(4.38) φ ( r ) = p - 1 p ( n - 1 ) η ( ψ ( r ) ) p - 1 p ( n - 1 ) - 1 η ( ψ ( r ) ) ψ ( r ) = p - 1 p ( n - 1 ) η ( ψ ( r ) ) p - 1 p ( n - 1 ) - 1 - 1 p η ( ψ ( r ) ) for  r > 0 .

Let us show that the function φ satisfies assumptions (4.1), (4.2) and (4.18)–(4.20). Assumptions (4.1) and (4.18) are satisfied by the very definition of φ. This definition also tells us that φ ( 0 ) = 0 . From equations (4.35), (4.36) and (4.38), one can deduce that φ ( 0 ) = 1 . Assumption (4.2) is hence fulfilled. Equations (4.34), (4.36) and (4.37) imply that

φ ( r ) = O ( e - p - 1 n - 1 r ) for  r r 2 .

Therefore, (4.19) and (4.20) hold as well, and

(4.39) λ 𝕄 ( s ) s near  0 ,

and

ν M , p ( s ) s near  0 .

Assume next that p > n . Let 0 < s 1 < s 2 to be chosen later. The functions v and η are defined in the interval [ s 2 , ) in the same fashion as above. For s [ 0 , s 1 ] , we set

η ( s ) = s p ( n - 1 ) p - n [ ( p - n p - 1 ) p ( n - 1 ) ( p - 1 ) ( p - n ) - γ 1 p - 1 ( p - n ) p p - 1 p ( 1 n ( p - 1 ) ) 1 p - 1 s p p - n ] p - 1 .

Hence, in the same interval the function v, given by

v ( s ) = ( p - n p - 1 ) p ( n - 1 ) ( p - 1 ) ( p - n ) - γ 1 p - 1 ( p - n ) p p - 1 p ( 1 n ( p - 1 ) ) 1 p - 1 s p p - n ,

solves equation (4.8). In the interval ( s 1 , s 2 ) , on can define the functions v and η in a way analogous to the case when 1 < p n , just suitably translating the neighbors I - 1 , I 1 and I 0 .

The function F : [ 0 , ) [ 0 , ) is now given by

F ( r ) = 0 r η ( ρ ) 1 p 𝑑 ρ for  r 0 ,

and the function ψ : [ 0 , ) [ 0 , ) by

ψ ( s ) = F - 1 ( s ) for  s 0 .

The function φ : [ 0 , ) [ 0 , ) is still defined as in (4.37).

The conclusion then follows as in the case when 1 < p n . The details are omitted for brevity.

(ii) Let φ be a function as in the definition of manifolds of revolution introduced at the beginning of the present section. By Proposition 4.3, if ν is as in the statement, then the function φ can be chosen in such a way that the associated n-dimensional manifold of revolution 𝕄 fulfills (1.24), and hence

(4.40) lim s 0 s ν 𝕄 , p ( s ) = lim s 0 s ν ( s ) = 0

and

(4.41) 0 ( s ν 𝕄 , p ( s ) ) 1 p - 1 d s s = 0 ( s ν ( s ) ) 1 p - 1 d s s = .

Now, recall that the function φ satisfies condition (4.2). Hence,

(4.42) lim r 0 ( r 1 d ρ φ ( ρ ) n - 1 p - 1 ) p - 1 ( 0 r φ ( ρ ) n - 1 𝑑 ρ ) = 0 .

Moreover,

(4.43) 1 d r φ ( r ) n - 1 p - 1 = ,

since lim r φ ( r ) = 0 by Theorem 4.2 (i).

Owing to Theorem 4.2 (ii), condition (4.40) is equivalent to

(4.44) lim r ( 1 r d ρ φ ( ρ ) n - 1 p - 1 ) p - 1 ( r φ ( ρ ) n - 1 𝑑 ρ ) = 0 ,

and, by Theorem 4.2 (iii), condition (4.41) is equivalent to

(4.45) ( 1 φ ( r ) n - 1 r φ ( ρ ) n - 1 𝑑 ρ ) 1 p - 1 𝑑 r = .

The conclusion will follow if we exhibit a number γ > 0 and an unbounded solution v : to equation (4.8) fulfilling (4.9).

Let ψ and η be the functions defined in terms of φ, p and n as in (4.6) and (4.7), respectively. Owing to condition (4.43), the function ψ fulfills ψ ( ) = . Moreover, for every p > 1 , condition (4.44) is equivalent to (4.12). Also, if 1 < p n , then condition (4.42) is equivalent to (4.13). Thus, by Proposition 4.1, the embedding

(4.46) W 1 , p ( I ) L p ( I , η )

is compact, where I denotes either or [ 0 , ) , according to whether 1 < p n or p > n . Hence,

(4.47) W 1 , p ( I ) W 1 , p ( I , η ) .

The existence of an eigenfunction of problem (4.8) could hence be established via the general Ljusternik–Schnirelman principle, as hinted at the end of Section 1. However, we also give a direct, more elementary proof, exploiting the one-dimensional nature of the problem at hand. Let J be the functional given by

J ( v ) = I | v ( s ) | p 𝑑 s I | v ( s ) | p η ( s ) 𝑑 s

for v W 1 , p ( I ) . We claim that J achieves its minimum among all (not identically vanishing) functions v W 1 , p ( I ) such that

(4.48) I | v ( s ) | p - 2 v ( s ) η ( s ) 𝑑 s = 0 .

In particular, by embedding (4.47), v W 1 , p ( I , η ) . Indeed, consider any minimizing sequence { v k } . Owing to the homogeneity of J, the functions v k can be normalized in such a way that I | v k ( s ) | p 𝑑 s = 1 for k . Hence, since the function η is bounded, the sequence { v k } is bounded in W 1 , p ( I ) . By the compactness of the embedding (4.46), there exists a function v W 1 , p ( I ) and a subsequence of { v k } , still denoted by { v k } , such that v k v in L p ( I , η ) and v k v weakly in W 1 , p ( I ) . Also, the function v satisfies the constraint (4.48). Such a function is thus a minimizer for J under (4.48).

It remains to show that the function v fulfills the Euler–Lagrange equation (4.10) for all test functions ϕ W 1 , p ( I , η ) . To verify this assertion, we make use of an argument reminiscent of that of [22, Lemma 2.4]. Observe that the function v also minimizes the functional G defined by

G ( v ) = I | v ( s ) | p 𝑑 s - γ I | v ( s ) | p η ( s ) 𝑑 s .

Consider, for the time being, test functions ϕ W 1 , p ( I ) L ( I ) . Given any h ( 0 , 1 ) , there exists β h such that the function v + h ϕ + β h fulfills constraint (4.48). This is due to the fact that, fixing h, the function

β I | v ( s ) + h ϕ ( s ) + β | p η ( s ) 𝑑 s

is convex and tends to as β ± . Hence, it admits a minimum point β h , at which

(4.49) I | v ( s ) + h ϕ ( s ) + β h | p - 2 ( v ( s ) + h ϕ ( s ) + β h ) η ( s ) 𝑑 s = 0 ,

i.e. condition (4.48) is actually satisfied with v replaced by v + h ϕ + β h .

Next, there exists x h such that ϕ ( x h ) + β h h = 0 . Indeed, if h ϕ ( s ) + β h were positive (resp. negative) for every s I , then, by equation (4.48) and the monotonicity of the function | t | t - 2 t , the integral in equation (4.49) would be positive (resp. negative).

Since we are assuming that the function ϕ is bounded, there exist a sequence { h k } and a number c such that lim k ϕ ( x h k ) = c , whence

lim k β h k h k = - c .

As a consequence of the minimizing property of the function v, one can thus infer that

0 lim k 1 h k ( G ( v + h k ϕ + β h k ) - G ( v ) )
= lim k 1 h k ( G ( v + h k ϕ + β h k ) - G ( v + h k ϕ ) ) + lim k 1 h k ( G ( v + h k ϕ ) - G ( v ) )
= - γ lim k 1 h k ( I | v + h k ϕ | p η 𝑑 s - I | v + h k ϕ + β h k | p η 𝑑 s ) + lim k 1 h k ( G ( v + h k ϕ ) - G ( v ) )
= - c I | v | p - 2 v η 𝑑 s + I | v | p - 2 v ϕ 𝑑 s - γ I | v | p - 2 v ϕ η 𝑑 s
= I | v | p - 2 v ϕ 𝑑 s - γ I | v | p - 2 v ϕ η 𝑑 s .

Equation (4.10) hence follows under the assumption ϕ W 1 , p ( I ) L ( I ) . Next, we claim that

(4.50) W 1 , p ( I ) L ( I ) is dense in  W 1 , p ( I , η ) .

To verify this assertion, we first show that the space W 1 , p ( I ) L ( I ) is dense in W 1 , p ( I , η ) L ( I ) . For every k , consider a continuously differentiable function ξ k : [ 0 , 1 ] such that ξ k = 1 in [ - k , k ] , ξ k = 0 in [ - 2 k , 2 k ] , and | ξ k | c k for some constant c. Given any function v W 1 , p ( I , η ) L ( I ) , define the sequence of functions { v k } in I by v k = v ξ k for k . One has that v k W 1 , p ( I ) . Moreover,

v - v k W 1 , p ( I , η ) = ( I | v - v ξ k - v ξ k | p 𝑑 s ) 1 p + ( I | v - v ξ k | p η 𝑑 s ) 1 p
( I [ - k , k ] | v | p 𝑑 s ) 1 p + v L ( I ) ( { s I : k | s | 2 k } ( c k ) p 𝑑 s ) 1 p + ( I [ - k , k ] | v | p η 𝑑 s ) 1 p
( I [ - k , k ] | v | p 𝑑 s ) 1 p + 2 1 p c k 1 p v L ( I ) + ( I [ - k , k ] | v | p η 𝑑 s ) 1 p .

Inasmuch as v W 1 , p ( I , η ) , the rightmost side of this chain of inequalities tends to 0 as k . Hence, v k v in W 1 , p ( I ) . The density of the space W 1 , p ( I ) L ( I ) in W 1 , p ( I , η ) L ( I ) is thus established.

On the other hand, the space W 1 , p ( I , η ) L ( I ) is in turn dense in W 1 , p ( I , η ) , as can be shown by approximating any function in the latter space by its truncations. Altogether, property (4.50) follows.

It remains to show that any eigenfunction v of problem (4.8) is unbounded. By [33, Theorem 3], condition (4.12) entails that equation (4.8) is nonoscillatory at infinity, and hence that every solution has constant sign at infinity. Thus, we may assume that v ( s ) > 0 for large s. Consequently,

( p - 1 ) | v | p - 2 v ′′ = ( | v | p - 2 v ) < 0 for large  s ,

and hence v is concave near . Now, assume by contradiction that v is bounded. Then lim s v ( s ) exists and, by denoting by v ( ) this limit, one has that v ( ) ( 0 , ) . Moreover, v is increasing for large s and

lim s v ( s ) = 0 .

Integration of equation (4.8) and this limit yield

( v ) p - 1 ( s ) = γ s v ( t ) p - 1 η ( t ) 𝑑 t for large  s .

Hence, there exists s 0 > 0 such that

v ( s ) γ 1 p - 1 v ( ) 2 ( s η ( t ) 𝑑 t ) 1 p - 1 for  s s 0 .

Integration of this inequality over ( s 0 , ) in turn tells us that

v ( ) - v ( s 0 ) γ 1 p - 1 v ( ) 2 s 0 ( s η ( t ) 𝑑 t ) 1 p - 1 𝑑 s .

This is impossible, since condition (4.45), rewritten in terms of the function η, reads

( s η ( r ) 𝑑 r ) 1 p - 1 𝑑 s = .

The proof is complete. ∎

Proof of Theorem 1.2.

(i) Let 𝕄 be the manifold constructed in the proof of Theorem 1.4 (i). Since the function λ satisfies equation (4.39), owing to property (4.22), the isoperimetric function of 𝕄 fulfills assumption (1.14). The conclusion thus holds for this manifold 𝕄 , thanks to the result of Theorem 1.4 (i).

(ii) Let 𝕄 be the manifold constructed in the proof of Theorem 1.4 (ii). This manifold is defined as in Theorem 4.2, with the function λ given by (4.21) and satisfying assumptions (1.15) and (1.16). Since, by equation (4.22), λ 𝕄 λ near 0, the conclusion holds for this manifold 𝕄 , thanks to the result of Theorem 1.4 (ii). ∎

5 Applications

We conclude with applications of our results to some special instances. The first three examples are concerned with problem (1.2) in customary classes of sets Ω n , containing possibly irregular domains, where yet the boundedness of all eigenfunctions can be established thanks to our criteria. We then focus on the eigenvalue problem (1.2) on two one-parameter families of noncompact manifolds. The regularity of the eigenfunctions now depends on the relevant parameter. The former family is less pathological, and can either be handled by exploiting isoperimetric or by isocapacitary inequalities, with the same output. That the use of the isocapacitary function can actually yield sharper conclusions than those obtained via the isoperimetric function is demonstrated by the latter family, which consists of manifolds with a more complicated geometry. Families of open subsets of n of a similar fashion could also be exhibited.

5.1 Hölder domains

Consider the eigenvalue problem (1.2) in a connected bounded open set Ω n , n 2 , whose boundary is Hölder continuous for some exponent α ( 0 , 1 ) . Then

(5.1) ν Ω , p ( s ) { c s 1 - α p n - 1 + α if  1 < p < n - 1 α + 1 , c ( log 1 s ) 1 - n α if  p = n - 1 α + 1 , c if  p > n - 1 α + 1 ,

near 0, for some positive constant c. The first and third lines of equation (5.1) follow via the Sobolev–Poincaré embedding of [35, Theorem] and the equivalence of Sobolev embeddings and isocapacitary inequalities [46, Theorem 6.4.3/2]. The second one can be established via a variant in the proof of [35, Theorem]. Hence, Theorem 1.3 implies that any eigenfunction of problem (1.2) is bounded in Ω.

Let us also mention that

(5.2) λ Ω ( s ) c s n - 1 n - 1 + α near  0 ,

for some positive constant c. This inequality is a consequence of the equivalence of the Sobolev embedding [35, Theorem] with p = 1 and the relative isoperimetric inequality in Ω; see [46, Corollary 5.2.3], and see also [14, Theorem 1] for an earlier direct proof of (5.2) when n = 2 . Hence, the boundedness of the eigenfunctions of problem (1.2) in Ω can also be deduced via Theorem 1.1.

5.2 Cusp-shaped domains

Here we deal with cusp-shaped sets of the form (see Figure 3)

Ω = { x n : | x | < ϑ ( x n ) ,  0 < x n < L } ,

where x = ( x , x n ) and x = ( x 1 , , x n - 1 ) n - 1 , L > 0 and ϑ : [ 0 , L ] [ 0 , ) is a differentiable convex function such that ϑ ( 0 ) = 0 . Let Θ : [ 0 , L ] [ 0 , ) be the function given by

Θ ( ρ ) = ω n - 2 n - 1 0 ρ ϑ ( r ) n - 1 𝑑 r for  ρ [ 0 , L ] .

Figure 3 
                  A cusp-shaped domain.
Figure 3

A cusp-shaped domain.

By [46, Example 6.3.6/1],

ν Ω , p ( s ) ( Θ - 1 ( s ) Θ - 1 ( n ( Ω ) ) ϑ ( r ) 1 - n p - 1 𝑑 r ) 1 - p for  s ( 0 , n ( Ω ) 2 ) .

Thus,

0 ( s ν Ω , p ( s ) ) 1 p - 1 d s s 0 s - 1 + 1 p - 1 Θ - 1 ( s ) Θ - 1 ( n ( Ω ) ) ϑ ( r ) 1 - n p - 1 𝑑 r 𝑑 s
= 0 ϑ ( r ) 1 - n p - 1 0 Θ ( r ) s - 1 + 1 p - 1 𝑑 s 𝑑 r
= ( p - 1 ) 0 ϑ ( r ) 1 - n p - 1 Θ ( r ) 1 p - 1 𝑑 r
0 ( 1 ϑ ( r ) n - 1 0 r ϑ ( ρ ) n - 1 𝑑 ρ ) 1 p - 1 𝑑 r
0 r 1 p - 1 𝑑 r
< .

The boundedness of all eigenfunctions of problem (1.2) hence follows, via Theorem 1.3.

The same conclusion can be derived from Theorem 1.1 and the inequality

λ Ω ( s ) ϑ ( Θ - 1 ( s ) ) n - 1 for  s ( 0 , n ( Ω ) 2 ) ,

which holds by [46, Example 5.3.3/1].

5.3 γ-John domains

A bounded open set Ω n is a γ-John domain if there exist a constant c ( 0 , 1 ) and a point x 0 Ω such that for every x Ω there exists a rectifiable curve ϖ : [ 0 , l ] Ω , parametrized by arclength, such that ϖ ( 0 ) = x , ϖ ( l ) = x 0 , and

dist ( ϖ ( r ) , Ω ) c r γ for  r [ 0 , l ] .

If 1 < p < n and Ω is a γ-John domain with

1 γ < p n - 1 + 1 ,

then the Sobolev–Poincaré inequality from [31, Theorem 2.3] and its equivalence to the isocapacitary inequality [46, Theorem 6.4.3/2] ensure that

ν Ω , p ( s ) s γ ( n - 1 ) + 1 - p n near  0 .

Theorem 1.3 then enables one to infer that every eigenfunction of problem (1.2) in Ω is bounded.

5.4 A family of manifolds of revolution with borderline decay

Consider a one-parameter family of manifolds of revolution 𝕄 as in Section 4, whose profile

φ : [ 0 , ) [ 0 , )

is such that

φ ( r ) = e - r α for large  r ,

and fulfills the assumptions of Theorem 4.2. This theorem tells us that

λ 𝕄 ( s ) s ( log ( 1 s ) ) 1 - 1 / α near  0 ,

and

(5.3) ν 𝕄 , p ( s ) ( s n ( 𝕄 ) d r λ 𝕄 ( r ) p ) 1 - p s ( log ( 1 s ) ) p - p / α near  0 .

An application of Theorem 1.3 (i) ensures, via (5.3), that all eigenfunctions of problem (1.2), with Ω = 𝕄 , belong to L q ( 𝕄 ) , provided that

α > 1 .

On the other hand, from Theorem 1.3 (ii) and equation (5.3) one can infer that the relevant eigenfunctions are bounded under the more stringent assumption that

α > p .

The same conclusions can be derived via Theorem 1.1. Thus, like for any other manifold of revolution of the kind considered in Theorem 4.2, isoperimetric and isocapacitary methods lead to equivalent results for this family of noncompact manifolds.

In both cases, the existence of eigenfunctions is guaranteed by Theorem 1.5.

5.5 A family of manifolds with clustering submanifolds

Here, we are concerned with a class of noncompact surfaces 𝕄 in 3 , which are shaped as in Figure 2 of Section 1, and are patterned on an example appearing in [21], dealing with a planar domain. Their main feature is the presence of a sequence of mushroom-shaped submanifolds { N k } clustering at some point.

Let us emphasize that the submanifolds { N k } are not obtained just by dilation of each other. Roughly speaking, the diameter of the head and the length of the neck of N k decay to 0 as 2 - k when k , whereas the width of the neck of N k decays to 0 as σ ( 2 - k ) , where σ is a function such that

lim s 0 σ ( s ) s = 0 .

The isoperimetric and isocapacitary functions of 𝕄 depend on the behavior of σ at 0 in a way described in the next result (Proposition 5.1). Qualitatively, a faster decay to 0 of the function σ ( s ) as s 0 results in a faster decay to 0 of λ 𝕄 ( s ) and ν 𝕄 , p ( s ) , and hence in a manifold 𝕄 with a more irregular geometry. The proof of Proposition 5.1 can be found in [18, Propositions 7.1 and 7.2], to which we also refer for a more precise definition of the manifold 𝕄 .

Proposition 5.1.

Let M be the two-dimensional manifold in Figure 2 and assume 1 < p 2 . Suppose that σ : [ 0 , ) [ 0 , ) is an increasing function of class Δ 2 such that

s β + 1 σ ( s ) is non-increasing

for some β > 0 .

  1. If

    s 2 σ ( s ) is non-decreasing ,

    then

    (5.4) λ 𝕄 ( s ) σ ( s 1 2 ) near  0 .

  2. If

    s p + 1 σ ( s ) is non-decreasing ,

    then

    (5.5) ν 𝕄 , p ( s ) σ ( s 1 2 ) s - p - 1 2 near  0 .

Owing to equation (5.5), one can derive the following conclusions from Theorem 1.3, involving the isocapacitary function ν 𝕄 , p . Assume that

(5.6) lim s 0 s p + 1 σ ( s ) = 0 .

Then any eigenfunction of problem (1.2) with Ω = 𝕄 belongs to L q ( 𝕄 ) for any q < . If (5.6) is strengthened to

(5.7) 0 ( s 2 σ ( s ) ) 1 p - 1 𝑑 s < ,

then any eigenfunction is in fact bounded.

Conditions (5.6) and (5.7) are weaker than parallel conditions which are obtained from an application of Theorem 1.1 and equation (5.4), and read

(5.8) lim s 0 s 2 σ ( s ) = 0 ,

and

(5.9) 0 s p + 1 p - 1 σ ( s ) p 𝑑 s < ,

respectively. For instance, if b > 1 and

σ ( s ) = s b for  s > 0 ,

then (5.6) and (5.7) amount to b < p + 1 , whereas (5.8) and (5.9) are equivalent to the more stringent condition that b < 2 .

Compliance with ethical standards.

Conflict of interest: The authors declare that they have no conflict of interest.


Communicated by Juan Manfredi


Award Identifier / Grant number: 2017AYM8XW

Award Identifier / Grant number: 201758MTR2

Funding statement: This research was partly funded by: (I) Research Project 2017AYM8XW of the Italian Ministry of Education, University and Research (MIUR) Prin 2017 “Nonlinear Differential Problems via Variational, Topological and Set-valued Methods” (G. Barletta). (II) Research Project 201758MTR2 of the Italian Ministry of Education, University and Research (MIUR) Prin 2017 “Direct and inverse problems for partial differential equations: Theoretical aspects and applications” (A. Cianchi). (III) GNAMPA of the Italian INdAM – National Institute of High Mathematics (grant number not available) (G. Barletta and A. Cianchi).

Acknowledgements

We wish to thank the referees for their careful reading of the paper and for their valuable comments.

References

[1] A. Alvino, A. Cianchi, V. Maz’ya and A. Mercaldo, Well-posed elliptic Neumann problems involving irregular data and domains, Ann. Inst. H. Poincaré C Anal. Non Linéaire 27 (2010), no. 4, 1017–1054. 10.1016/j.anihpc.2010.01.010Search in Google Scholar

[2] V. Bayle, A differential inequality for the isoperimetric profile, Int. Math. Res. Not. IMRN 7 (2004), 311–342. 10.1155/S1073792804130079Search in Google Scholar

[3] I. Benjamini and J. Cao, A new isoperimetric comparison theorem for surfaces of variable curvature, Duke Math. J. 85 (1996), no. 2, 359–396. 10.1215/S0012-7094-96-08515-4Search in Google Scholar

[4] M. Berger, P. Gauduchon and E. Mazet, Le spectre d’une variété riemannienne, Lecture Notes in Math. 194, Springer, Berlin, 1971. 10.1007/BFb0064643Search in Google Scholar

[5] J. Bourgain, Geodesic restrictions and L p -estimates for eigenfunctions of Riemannian surfaces, Linear and Complex Analysis, Amer. Math. Soc. Transl. Ser. 2 226, American Mathematical Society, Providence (2009), 27–35. 10.1090/trans2/226/03Search in Google Scholar

[6] Y. D. Burago and V. A. Zalgaller, Geometric Inequalities, Grundlehren Math. Wiss. 285, Springer, Berlin, 1988. 10.1007/978-3-662-07441-1Search in Google Scholar

[7] V. I. Burenkov and E. B. Davies, Spectral stability of the Neumann Laplacian, J. Differential Equations 186 (2002), no. 2, 485–508. 10.1016/S0022-0396(02)00033-5Search in Google Scholar

[8] J. Cerdà, J. Martín and P. Silvestre, Conductor Sobolev-type estimates and isocapacitary inequalities, Indiana Univ. Math. J. 61 (2012), no. 5, 1925–1947. 10.1512/iumj.2012.61.4709Search in Google Scholar

[9] I. Chavel, Eigenvalues in Riemannian Geometry, Pure Appl. Math. 115, Academic Press, New York, 1984. Search in Google Scholar

[10] I. Chavel and E. A. Feldman, Modified isoperimetric constants, and large time heat diffusion in Riemannian manifolds, Duke Math. J. 64 (1991), no. 3, 473–499. 10.1215/S0012-7094-91-06425-2Search in Google Scholar

[11] J. Cheeger, A lower bound for the smallest eigenvalue of the Laplacian, Problems in Analysis, Princeton University, Princeton (1970), 195–199. 10.1515/9781400869312-013Search in Google Scholar

[12] F. Chung, A. Grigor’yan and S.-T. Yau, Higher eigenvalues and isoperimetric inequalities on Riemannian manifolds and graphs, Comm. Anal. Geom. 8 (2000), no. 5, 969–1026. 10.4310/CAG.2000.v8.n5.a2Search in Google Scholar

[13] A. Cianchi, A sharp form of Poincaré type inequalities on balls and spheres, Z. Angew. Math. Phys. 40 (1989), no. 4, 558–569. 10.1007/BF00944807Search in Google Scholar

[14] A. Cianchi, On relative isoperimetric inequalities in the plane, Boll. Un. Mat. Ital. B (7) 3 (1989), no. 2, 289–325. Search in Google Scholar

[15] A. Cianchi and V. Maz’ya, Neumann problems and isocapacitary inequalities, J. Math. Pures Appl. (9) 89 (2008), no. 1, 71–105. 10.1016/j.matpur.2007.10.001Search in Google Scholar

[16] A. Cianchi and V. Maz’ya, On the discreteness of the spectrum of the Laplacian on noncompact Riemannian manifolds, J. Differential Geom. 87 (2011), no. 3, 469–491. 10.4310/jdg/1312998232Search in Google Scholar

[17] A. Cianchi and V. Maz’ya, Boundedness of solutions to the Schrödinger equation under Neumann boundary conditions, J. Math. Pures Appl. (9) 98 (2012), no. 6, 654–688. 10.1016/j.matpur.2012.05.007Search in Google Scholar

[18] A. Cianchi and V. Maz’ya, Bounds for eigenfunctions of the Laplacian on noncompact Riemannian manifolds, Amer. J. Math. 135 (2013), no. 3, 579–635. 10.1353/ajm.2013.0028Search in Google Scholar

[19] S. Costea and V. Maz’ya, Conductor inequalities and criteria for Sobolev–Lorentz two-weight inequalities, Sobolev Spaces in Mathematics. II, Int. Math. Ser. (N. Y.) 9, Springer, New York (2009), 103–121. 10.1007/978-0-387-85650-6_6Search in Google Scholar

[20] T. Coulhon, A. Grigor’yan and D. Levin, On isoperimetric profiles of product spaces, Comm. Anal. Geom. 11 (2003), no. 1, 85–120. 10.4310/CAG.2003.v11.n1.a5Search in Google Scholar

[21] R. Courant and D. Hilbert, Methoden der mathematischen Physik, Springer, Berlin, 1937. 10.1007/978-3-642-47434-7Search in Google Scholar

[22] B. Dacorogna, W. Gangbo and N. Subía, Sur une généralisation de l’inégalité de Wirtinger, Ann. Inst. H. Poincaré C Anal. Non Linéaire 9 (1992), no. 1, 29–50. 10.1016/s0294-1449(16)30249-9Search in Google Scholar

[23] E. B. Davies and B. Simon, Spectral properties of Neumann Laplacian of horns, Geom. Funct. Anal. 2 (1992), no. 1, 105–117. 10.1007/BF01895707Search in Google Scholar

[24] H. Donnelly, Bounds for eigenfunctions of the Laplacian on compact Riemannian manifolds, J. Funct. Anal. 187 (2001), no. 1, 247–261. 10.1006/jfan.2001.3817Search in Google Scholar

[25] S. Gallot, Inégalités isopérimétriques et analytiques sur les variétés riemanniennes, On the Geometry of Differentiable Manifolds (Rome 1986), Astérisque 163–164, Société Mathématique de France, Paris (1988), 31–91. Search in Google Scholar

[26] A. Grigor’yan, Isoperimetric inequalities and capacities on Riemannian manifolds, The Maz’ya Anniversary Collection. Vol. 1 (Rostock 1998), Oper. Theory Adv. Appl. 109, Birkhäuser, Basel (1999), 139–153. 10.1007/978-3-0348-8675-8_9Search in Google Scholar

[27] R. Grimaldi and P. Pansu, Calibrations and isoperimetric profiles, Amer. J. Math. 129 (2007), no. 2, 315–350. 10.1353/ajm.2007.0010Search in Google Scholar

[28] P. Hajłasz and P. Koskela, Isoperimetric inequalities and imbedding theorems in irregular domains, J. Lond. Math. Soc. (2) 58 (1998), no. 2, 425–450. 10.1112/S0024610798006346Search in Google Scholar

[29] R. Hempel, L. A. Seco and B. Simon, The essential spectrum of Neumann Laplacians on some bounded singular domains, J. Funct. Anal. 102 (1991), no. 2, 448–483. 10.1016/0022-1236(91)90130-WSearch in Google Scholar

[30] V. Jakšić, S. Molčanov and B. Simon, Eigenvalue asymptotics of the Neumann Laplacian of regions and manifolds with cusps, J. Funct. Anal. 106 (1992), no. 1, 59–79. 10.1016/0022-1236(92)90063-OSearch in Google Scholar

[31] T. Kilpeläinen and J. Malý, Sobolev inequalities on sets with irregular boundaries, Z. Anal. Anwend. 19 (2000), no. 2, 369–380. 10.4171/zaa/956Search in Google Scholar

[32] B. Kleiner, An isoperimetric comparison theorem, Invent. Math. 108 (1992), no. 1, 37–47. 10.1007/BF02100598Search in Google Scholar

[33] T. Kusano and N. Yoshida, Nonoscillation theorems for a class of quasilinear differential equations of second order, J. Math. Anal. Appl. 189 (1995), no. 1, 115–127. 10.1006/jmaa.1995.1007Search in Google Scholar

[34] E. Kuwert, Note on the isoperimetric profile of a convex body, Geometric Analysis and Nonlinear Partial Differential Equations, Springer, Berlin (2003), 195–200. 10.1007/978-3-642-55627-2_12Search in Google Scholar

[35] D. A. Labutin, Embedding of Sobolev spaces on Hölder domains (in Russian), Proc. Steklov Inst. Math. 227 (1999), 163–172; translation in Trudy Mat. Inst. 227 (1999), 170–179. Search in Google Scholar

[36] J. Lang and V. Maz’ya, Essential norms and localization moduli of Sobolev embeddings for general domains, J. Lond. Math. Soc. (2) 78 (2008), no. 2, 373–391. 10.1112/jlms/jdn035Search in Google Scholar

[37] A. Lê, Eigenvalue problems for the p-Laplacian, Nonlinear Anal. 64 (2006), no. 5, 1057–1099. 10.1016/j.na.2005.05.056Search in Google Scholar

[38] P.-L. Lions and F. Pacella, Isoperimetric inequalities for convex cones, Proc. Amer. Math. Soc. 109 (1990), no. 2, 477–485. 10.1090/S0002-9939-1990-1000160-1Search in Google Scholar

[39] J. Malý and W. P. Ziemer, Fine Regularity of Solutions of Elliptic Partial Differential Equations, Math. Surveys Monogr. 51, American Mathematical Society, Providence, 1997. 10.1090/surv/051Search in Google Scholar

[40] V. Maz’ya, Classes of regions and imbedding theorems for function spaces (in Russian), Dokl. Akad. Nauk. SSSR 133 (1960), 527–530; translation in Soviet Math. Dokl. 1 (1960), 882–885. Search in Google Scholar

[41] V. Maz’ya, On p-conductivity and theorems on imbedding certain functional spaces into a C-space (in Russian), Dokl. Akad. Nauk SSSR 140 (1961), 299–302. Search in Google Scholar

[42] V. Maz’ya, On the solvability of the Neumann problem (in Russian), Dokl. Akad. Nauk SSSR 147 (1962), 294–296. Search in Google Scholar

[43] V. Maz’ya, The Neumann problem in regions with nonregular boundaries (in Russian), Sibirsk. Mat. Ž. 9 (1968), 1322–1350. 10.1007/BF02196450Search in Google Scholar

[44] V. Maz’ya, On weak solutions of the Dirichlet and Neumann problems (in Russian), Trusdy Moskov. Mat. Obšč. 20 (1969), 137–172; translation in Trans. Moscow Math. Soc. 20 (1969), 135–172. Search in Google Scholar

[45] V. G. Maz’ya, Certain integral inequalities for functions of many variables (in Russian), Probl. Math. Anal. 3 (1972), 33–69; translation in J. Sov. Math. 1 (1973), 205–234. Search in Google Scholar

[46] V. Maz’ya, Sobolev Spaces with Applications to Elliptic Partial Differential Equations, Grundlehren Math. Wiss. 342, Springer, Heidelberg, 2011. 10.1007/978-3-642-15564-2Search in Google Scholar

[47] V. G. Maz’ya, Solvability criteria for the Neumann p-Laplacian with irregular data, Algebra i Analiz 30 (2018), no. 3, 129–139. 10.1090/spmj/1555Search in Google Scholar

[48] V. Maz’ya and Y. Netrusov, Some counterexamples for the theory of Sobolev spaces on bad domains, Potential Anal. 4 (1995), no. 1, 47–65. 10.1007/BF01048966Search in Google Scholar

[49] E. Milman, On the role of convexity in isoperimetry, spectral gap and concentration, Invent. Math. 177 (2009), no. 1, 1–43. 10.1007/s00222-009-0175-9Search in Google Scholar

[50] F. Morgan and D. L. Johnson, Some sharp isoperimetric theorems for Riemannian manifolds, Indiana Univ. Math. J. 49 (2000), no. 3, 1017–1041. 10.1512/iumj.2000.49.1929Search in Google Scholar

[51] N. Nadirashvili, Isoperimetric inequality for the second eigenvalue of a sphere, J. Differential Geom. 61 (2002), no. 2, 335–340. 10.4310/jdg/1090351388Search in Google Scholar

[52] S. Nardulli and P. Pansu, A complete Riemannian manifold whose isoperimetric profile is discontinuous, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 18 (2018), no. 2, 537–549. 10.2422/2036-2145.201601_007Search in Google Scholar

[53] P. Pansu, Sur la régularité du profil isopérimétrique des surfaces riemanniennes compactes, Ann. Inst. Fourier (Grenoble) 48 (1998), no. 1, 247–264. 10.5802/aif.1617Search in Google Scholar

[54] C. Pittet, The isoperimetric profile of homogeneous Riemannian manifolds, J. Differential Geom. 54 (2000), no. 2, 255–302. 10.4310/jdg/1214341647Search in Google Scholar

[55] P. Psaltis, The isoperimetric profile of infinite genus surfaces, Geom. Dedicata 149 (2010), 95–102. 10.1007/s10711-010-9468-9Search in Google Scholar

[56] M. Ritoré, Continuity of the isoperimetric profile of a complete Riemannian manifold under sectional curvature conditions, Rev. Mat. Iberoam. 33 (2017), no. 1, 239–250. 10.4171/rmi/935Search in Google Scholar

[57] H. F. Smith and C. D. Sogge, On the L p norm of spectral clusters for compact manifolds with boundary, Acta Math. 198 (2007), no. 1, 107–153. 10.1007/s11511-007-0014-zSearch in Google Scholar

[58] C. D. Sogge and S. Zelditch, Riemannian manifolds with maximal eigenfunction growth, Duke Math. J. 114 (2002), no. 3, 387–437. 10.1215/S0012-7094-02-11431-8Search in Google Scholar

[59] P. Sternberg and K. Zumbrun, On the connectivity of boundaries of sets minimizing perimeter subject to a volume constraint, Comm. Anal. Geom. 7 (1999), no. 1, 199–220. 10.4310/CAG.1999.v7.n1.a7Search in Google Scholar

[60] S. T. Yau, Isoperimetric constants and the first eigenvalue of a compact Riemannian manifold, Ann. Sc. Éc. Norm. Supér. (4) 8 (1975), no. 4, 487–507. 10.24033/asens.1299Search in Google Scholar

Received: 2022-02-22
Accepted: 2022-06-13
Published Online: 2022-09-30
Published in Print: 2024-04-01

© 2022 Walter de Gruyter GmbH, Berlin/Boston

This work is licensed under the Creative Commons Attribution 4.0 International License.

Downloaded on 29.3.2026 from https://www.degruyterbrill.com/document/doi/10.1515/acv-2022-0014/html
Scroll to top button