A pathological example in nonlinear spectral theory

Lorenzo Brasco; Giovanni Franzina

doi:10.1515/anona-2017-0043

Artikel Open Access

A pathological example in nonlinear spectral theory

Lorenzo Brasco und Giovanni Franzina

Veröffentlicht/Copyright: 3. August 2017

Veröffentlicht von

Veröffentlichen auch Sie bei De Gruyter Brill

Manuskript einreichen Informationen für Autor*innen Erkunden Sie dieses Fachgebiet

Aus der Zeitschrift Advances in Nonlinear Analysis Band 8 Heft 1

Abstract

We construct an open set Ω ⊂ ℝ N on which an eigenvalue problem for the p-Laplacian has no isolated first eigenvalue and the spectrum is not discrete. The same example shows that the usual Lusternik–Schnirelmann minimax construction does not exhaust the whole spectrum of this eigenvalue problem.

Keywords: Nonlinear eigenvalue problems; Lusternik–Schnirelmann theory

MSC 2010: 35P30; 47A75; 58E05

1 Introduction

1.1 Framework

For an open set Ω ⊂ ℝ N , we pick an exponent 1 < p < ∞ and consider the p-Laplace operator

Δ p ⁢ u = div ⁢ ( | ∇ ⁡ u | p - 2 ⁢ ∇ ⁡ u ) ,

acting on the homogeneous Sobolev space 𝒟 0 1 , p ⁢ ( Ω ) . The latter is defined as the completion of C 0 ∞ ⁢ ( Ω ) with respect to the norm

u ↦ ( ∫ Ω | ∇ ⁡ u | p ⁢ 𝑑 x ) 1 p for ⁢ u ∈ C 0 ∞ ⁢ ( Ω ) .

The usual eigenvalue problem for the p-Laplace operator with homogeneous Dirichlet boundary condition is the following: find the numbers λ ∈ ℝ such that the boundary value problem

(1.1) - Δ p ⁢ u = λ ⁢ | u | p - 2 ⁢ u in ⁢ Ω , u = 0 on ⁢ ∂ ⁡ Ω ,

admits a solution u ∈ 𝒟 0 1 , p ⁢ ( Ω ) ∖ { 0 } ; see for example [5].

In this note, we want to consider the variant

(1.2) - Δ p ⁢ u = λ ⁢ ∥ u ∥ L q ⁢ ( Ω ) p - q ⁢ | u | q - 2 ⁢ u in ⁢ Ω , u = 0 on ⁢ ∂ ⁡ Ω ,

where 1 < q < p . This problem has already been studied by the second author and Lamberti in [4]. At a first glance, equation (1.2) could seem a bit weird, due to the presence of the L q norm on the right-hand side. We observe that this term guarantees that both sides of the equation share the same homogeneity, exactly like in the standard case (1.1).

Though the introduction of this term containing the L q norm may look artificial, nevertheless it is easily seen that (1.2) is a natural extension of (1.1). Indeed, eigenvalues of the p-Laplacian can be seen as critical points of the functional u ↦ ∫ Ω | ∇ ⁡ u | p ⁢ 𝑑 x restricted to the manifold

𝒮 p ⁢ ( Ω ) = { u ∈ 𝒟 0 1 , p ⁢ ( Ω ) : ∥ u ∥ L p ⁢ ( Ω ) = 1 } .

In a similar fashion, eigenvalues of (1.2) correspond to critical points of the same functional, this time restricted to the manifold

𝒮 p , q ⁢ ( Ω ) = { u ∈ 𝒟 0 1 , p ⁢ ( Ω ) : ∥ u ∥ L q ⁢ ( Ω ) = 1 } .

We define the ( p , q ) -spectrum of Ω as

Spec ⁢ ( Ω ; p , q ) = { λ ∈ ℝ : equation (1.2) admits a solution in ⁢ 𝒟 0 1 , p ⁢ ( Ω ) ∖ { 0 } } ,

and we call every element of this set a ( p , q ) -eigenvalue of Ω.

Let us assume that the open set Ω ⊂ ℝ N is such that the embedding 𝒟 0 1 , p ⁢ ( Ω ) ↪ L q ⁢ ( Ω ) is compact. It is known that Spec ⁢ ( Ω ; p , q ) is a closed set; see [4, Theorem 5.1]. It is not difficult to see that

λ ≥ λ p , q 1 ⁢ ( Ω ) > 0 for every ⁢ λ ∈ Spec ⁢ ( Ω ; p , q ) ,

where λ p , q 1 ⁢ ( Ω ) is the first ( p , q ) -eigenvalue of Ω, defined by

λ p , q 1 ⁢ ( Ω ) = min u ∈ 𝒮 p , q ⁢ ( Ω ) ⁢ ∫ Ω | ∇ ⁡ u | p ⁢ 𝑑 x .

We recall that when Ω is connected, then λ p , q 1 ⁢ ( Ω ) is simple, i.e. the corresponding solutions to (1.2) form a vector subspace of dimension 1 (see [4, Theorem 3.1]).

Moreover, it is known that Spec ⁢ ( Ω ; p , q ) contains an increasingly diverging sequence of eigenvalues { λ p , q k ⁢ ( Ω ) } k ∈ ℕ ∖ { 0 } , defined through a variational procedure analogous to the so-called Courant minimax principle used for the spectrum of the Laplacian.

Let us be more precise at this point. For every k ∈ ℕ ∖ { 0 } , we define

Σ p , q k ⁢ ( Ω ) = { A ⊂ 𝒮 p , q ⁢ ( Ω ) : A ⁢ compact and symmetric with ⁢ γ ⁢ ( A ) ≥ k } ,

where γ ⁢ ( ⋅ ) denotes the Krasnosel’skiĭ genus of a closed set, defined by

γ ⁢ ( A ) = inf ⁡ { k ∈ ℕ : there exists a continuous odd map ⁢ ϕ : A → 𝕊 k - 1 } ,

with the convention that γ ⁢ ( A ) = + ∞ if no such integer k exists. Then for every k ∈ ℕ ∖ { 0 } , one can define the number

λ p , q k ⁢ ( Ω ) = inf A ∈ Σ p , q k ⁢ ( Ω ) ⁡ max u ∈ A ⁢ ∫ Ω | ∇ ⁡ u | p ⁢ 𝑑 x .

By [4, Theorem 5.2] we have

{ λ p , q k ⁢ ( Ω ) } k ∈ ℕ ∖ { 0 } ⊂ Spec ⁢ ( Ω ; p , q ) and lim k → ∞ ⁡ λ p , q k ⁢ ( Ω ) = + ∞ .

We will use the notation

Spec LS ⁢ ( Ω ; p , q ) := { λ p , q k ⁢ ( Ω ) } k ∈ ℕ ∖ { 0 }

for the Lusternik–Schnirelmann ( p , q ) -spectrum of Ω.

We recall that when p = q = 2 , then the Lusternik–Schnirelmann spectrum coincides with the whole spectrum of the Dirichlet-Laplacian; see for example [1, Theorem A.2]. In all other cases, it is not known whether Spec LS ⁢ ( Ω ; p , q ) and Spec ⁢ ( Ω ; p , q ) coincide or not.

1.2 The content of the paper

The humble aim of this small note is to shed some light on the relation between the two spectra. More precisely, in Theorem 3.1 below we construct an example of an open set ℬ ⊂ ℝ N such that for 1 < q < p the following conditions hold:

the embedding 𝒟 0 1 , p ⁢ ( ℬ ) ↪ L q ⁢ ( ℬ ) is compact (the set ℬ is indeed bounded);
Spec LS ⁢ ( ℬ ; p , q ) ≠ Spec ⁢ ( ℬ ; p , q ) ;
Spec ⁢ ( ℬ ; p , q ) has (at least) countably many accumulation points.

Actually, by using the same idea, in Theorem 3.2 below we present an even worse example, i.e. an open set 𝒯 ⊂ ℝ N such that for 1 < q < p the following conditions hold:

the embedding 𝒟 0 1 , p ⁢ ( 𝒯 ) ↪ L q ⁢ ( 𝒯 ) is compact;
Spec LS ⁢ ( 𝒯 ; p , q ) ≠ Spec ⁢ ( 𝒯 ; p , q ) .
Spec ⁢ ( 𝒯 ; p , q ) has (at least) countably many accumulation points;
the first eigenvalue λ p , q 1 ⁢ ( 𝒯 ) is not isolated, i.e. there exists { λ n } n ⊂ Spec ⁢ ( 𝒯 ; p , q ) such that

λ p , q 1 ⁢ ( 𝒯 ) = lim n → ∞ ⁡ λ n .

Although we agree that our examples are quite pathological (in particular 𝒯 could be bounded, but made of infinitely many connected components) and strongly based on the fact that q p < 1 , we believe them to have their own interest in abstract Critical Point Theory.

Remark 1.1 (More general index theories).

For the sake of simplicity, in this paper we consider the Lusternik–Schnirelmann spectrum defined by means of the Krasnosel’skiĭ genus. We recall that it is possible to define diverging sequences of eigenvalues in a similar fashion, by using another index in place of the genus. For example, one could use the ℤ 2 -cohomological index [3] or the Lusternik–Schnirelmann Category [6, Chapter 2]. Our examples still apply in each of these cases since they are independent of the choice of the index.

2 Spectrum of disconnected sets

2.1 General eigenvalues

For the standard eigenvalue problem (1.1), i.e. when q = p , it is well known that the spectrum of a disconnected open set Ω is made of the collection of the eigenvalues of its connected components. For 1 < q < p , this only gives a part of the spectrum, the general formula is contained in the following result.

Proposition 2.1.

Let 1 < q < p < ∞ and let Ω ⊂ R N be an open set such that D 0 1 , p ⁢ ( Ω ) ↪ L q ⁢ ( Ω ) is compact. Let us suppose that

Ω = Ω 1 ∪ Ω 2 ,

with Ω i ⊂ R N being an open set such that dist ⁢ ( Ω 1 , Ω 2 ) > 0 . Then λ is a ( p , q ) -eigenvalue of Ω if and only if it is of the form

(2.1) λ = [ ( δ 1 λ 1 ) q p - q + ( δ 2 λ 2 ) q p - q ] q - p q for some ( p , q ) -eigenvalue λ i of Ω i ,

where the coefficients δ 1 and δ 2 are such that

δ i ∈ { 0 , 1 } 𝑎𝑛𝑑 δ 1 + δ 2 ≠ 0 .

Moreover, if we set

| α i | = ( λ λ i ) 1 p - q , i = 1 , 2 ,

each ( p , q ) -eigenfunction U of Ω corresponding to (2.1) takes the form

(2.2) U = C ⁢ ( δ 1 ⁢ α 1 ⁢ u 1 + δ 2 ⁢ α 2 ⁢ u 2 ) ,

where C ∈ R and u i ∈ D 0 1 , p ⁢ ( Ω i ) is a ( p , q ) -eigenfunction of Ω i with unitary L q norm corresponding to λ i for i = 1 , 2 .

Proof.

Let us suppose that λ is an eigenvalue and let U ∈ 𝒟 0 1 , p ⁢ ( Ω ) be a corresponding eigenfunction. For simplicity, we take U with unitary L q norm. Let us set

u i = U ⋅ 1 Ω i ∈ 𝒟 0 1 , p ⁢ ( Ω i ) , i = 1 , 2 .

Then these two functions are weak solutions of

- Δ p ⁢ u i = λ ⁢ | u i | q - 2 ⁢ u i in ⁢ Ω i , i = 1 , 2 .

We have to distinguish two situations: either both u 1 and u 2 are not identically zero or at least one of the two identically vanishes.

In the first case, by setting α i = ∥ u i ∥ L q ⁢ ( Ω i ) for i = 1 , 2 , we can rewrite the previous equation as

- Δ p ⁢ u i = λ α i p - q ⁢ ∥ u i ∥ L q ⁢ ( Ω i ) p - q ⁢ | u i | q - 2 ⁢ u i in ⁢ Ω i , i = 1 , 2 ,

which implies that λ i := λ ⁢ α i q - p is an eigenvalue of Ω i , i = 1 , 2 . Using that α 1 q + α 2 q = 1 , we can infer that

1 = α 1 q + α 2 q = λ q p - q ⁢ [ ( 1 λ 1 ) q p - q + ( 1 λ 2 ) q p - q ] ,

which implies that λ has the form (2.1) with δ 1 = δ 2 = 1 . Moreover, since λ ⁢ α i q - p = λ i , this gives that the eigenfunction U has the form

U = u 1 + u 2 = α 1 ⁢ u 1 ∥ u 1 ∥ L q ⁢ ( Ω 1 ) + α 2 ⁢ u 2 ∥ u 2 ∥ L q ⁢ ( Ω 2 )

= ( λ λ 1 ) 1 p - q ⁢ u 1 ∥ u 1 ∥ L q ⁢ ( Ω 1 ) + ( λ λ 2 ) 1 p - q ⁢ u 2 ∥ u 2 ∥ L q ⁢ ( Ω 2 ) ,

which is formula (2.2).

Let us now suppose that u 2 ≡ 0 ; this implies that U = u 1 and u 1 has unitary L q norm. This automatically gives that λ is an eigenvalue of Ω 1 , i.e. we have formula (2.1) with δ 1 = 1 and δ 2 = 0 .

Conversely, let us now suppose that λ i is a ( p , q ) -eigenvalue of Ω i with eigenfunction u i ∈ 𝒟 0 1 , ⁢ ( Ω i ) normalized in L q for i = 1 , 2 . We are going to prove that formula (2.1) gives a ( p , q ) -eigenvalue of Ω.

We first observe that we immediately get that λ 1 and λ 2 are eigenvalues of Ω, with eigenfunctions u 1 and u 2 extended by 0 on the other component. This corresponds to (2.1) with δ 2 = 0 and δ 1 = 0 , respectively.

Now we set

U = β 1 ⁢ u 1 + β 2 ⁢ u 2 ∈ 𝒟 0 1 , p ⁢ ( Ω ) ,

where β 1 , β 2 ∈ ℝ ∖ { 0 } has to be suitably chosen. Using the equations solved by u 1 and u 2 and using that these have disjoint supports, we get that

- Δ p ⁢ U = - | β i | p - 2 ⁢ β i ⁢ Δ p ⁢ u i = | β i | p - 2 ⁢ β i ⁢ λ i ⁢ | u i | q - 2 ⁢ u i

= | β i | p - q ⁢ λ i ⁢ | U | q - 2 ⁢ U in ⁢ Ω i , i = 1 , 2 .

The previous implies that if we want U to be an eigenfunction of Ω with eigenvalue λ given by formula (2.1) with δ 1 = δ 2 = 1 , we need to choose β 1 , β 2 in such a way that

(2.3) | β 1 | p - q ⁢ λ 1 = λ ⁢ ∥ U ∥ L q ⁢ ( Ω ) p - q = | β 2 | p - q ⁢ λ 2 .

Since we have

∥ U ∥ L q ⁢ ( Ω ) p - q = ( | β 1 | q + | β 2 | q ) p - q q ,

condition (2.3) is equivalent to require that

| β 1 | p - q ⁢ λ 1 = [ ( 1 λ 1 ) q p - q + ( 1 λ 2 ) q p - q ] q - p q ⁢ ( | β 1 | q + | β 2 | q ) p - q q

and

| β 2 | p - q ⁢ λ 2 = [ ( 1 λ 1 ) q p - q + ( 1 λ 2 ) q p - q ] q - p q ⁢ ( | β 1 | q + | β 2 | q ) p - q q ,

that is,

| β 1 | = ( λ 2 λ 1 ) 1 p - q ⁢ | β 2 | .

Thus we get that U must be of the form (2.2) in the case δ 1 = δ 2 = 1 . Moreover, we obtain that formula (2.1) with δ 1 = δ 2 = 1 defines an eigenvalue of Ω. ∎

We can iterate the previous result and get the following corollary.

Corollary 2.2.

Let 1 < q < p < ∞ , let Ω ⊂ R N be an open set such that D 0 1 , p ⁢ ( Ω ) ↪ L q ⁢ ( Ω ) is compact and let # ∈ N ∪ { ∞ } . Let us suppose that

Ω = ⋃ i = 1 # Ω i ,

with Ω i ⊂ R N being an open set such that dist ⁢ ( Ω i , Ω j ) > 0 for i ≠ j . Then λ is a ( p , q ) -eigenvalue of Ω if and only if it is of the form

(2.4) λ = [ ∑ i = 1 # ( δ i λ i ) q p - q ] q - p q for some ( p , q ) -eigenvalue λ i of Ω i ,

where the coefficients δ i are such that

δ i ∈ { 0 , 1 } 𝑎𝑛𝑑 ∑ i = 1 # δ i ≠ 0 .

Moreover, if we set

| α i | = ( λ λ i ) 1 p - q ,

each corresponding ( p , q ) -eigenfunction U of Ω has the form

U = C ⁢ ( ∑ i = 1 # δ i ⁢ α i ⁢ u i ) ,

where C ∈ R and u i ∈ D 0 1 , p ⁢ ( Ω ) is ( p , q ) -eigenfunction of Ω i with unitary L q norm corresponding to λ i .

Remark 2.3.

When # = ∞ , i.e. Ω has infinitely many connected components, formula (2.4) above has to be interpreted in the usual sense

[ ∑ i = 1 # ( δ i λ i ) q p - q ] q - p q = lim k → ∞ ⁡ [ ∑ i = 1 k ( δ i λ i ) q p - q ] q - p q

since the limit exists by monotonicity. We also observe that since q - p < 0 , if δ k = 1 , then we have

[ ∑ i = 1 # ( δ i λ i ) q p - q ] q - p q ≤ λ k < + ∞ .

On the other hand, since for every k ∈ ℕ the formula

[ ∑ i = 1 k ( δ i λ i ) q p - q ] q - p q

gives a ( p , q ) -eigenvalue of Ω, by recalling that λ p , q 1 ⁢ ( Ω ) is the least eigenvalue, we obtain

[ ∑ i = 1 # ( δ i λ i ) q p - q ] q - p q = lim k → ∞ ⁡ [ ∑ i = 1 k ( δ i λ i ) q p - q ] q - p q ≥ λ p , q 1 ⁢ ( Ω ) > 0 .

2.2 The first eigenvalue

Thanks to the formula of Proposition 2.1, we can now compute the first ( p , q ) -eigenvalue of a disconnected set. For ease of readability, we start as before with the case of two connected components.

Corollary 2.4.

Let 1 < q < p < ∞ and let Ω ⊂ R N be an open set such that D 0 1 , p ⁢ ( Ω ) ↪ L q ⁢ ( Ω ) is compact. Let us suppose that

Ω = Ω 1 ∪ Ω 2 ,

with Ω i ⊂ R N being an open connected set such that dist ⁢ ( Ω 1 , Ω 2 ) > 0 . Then we have

(2.5) λ p , q 1 ⁢ ( Ω ) = [ ( 1 λ p , q 1 ⁢ ( Ω 1 ) ) q p - q + ( 1 λ p , q 1 ⁢ ( Ω 2 ) ) q p - q ] q - p q .

Moreover, each first ( p , q ) -eigenfunction of Ω with unitary L q norm has the form

(2.6) α 1 ⁢ u 1 + α 2 ⁢ u 2 , where ⁢ | α i | = ( λ p , q 1 ⁢ ( Ω ) λ p , q 1 ⁢ ( Ω i ) ) 1 p - q ,

and u i ∈ D 0 1 , p ⁢ ( Ω ) is the first positive ( p , q ) -eigenfunction of Ω i with unitary L q norm for i = 1 , 2 .

Proof.

From formula (2.1) we already know that we must have

(2.7) λ p , q 1 ⁢ ( Ω ) = [ ( δ 1 λ 1 ) q p - q + ( δ 2 λ 2 ) q p - q ] q - p q for some eigenvalue λ i of Ω i .

We now observe that the function

Φ ⁢ ( s , t ) = [ s q p - q + t q p - q ] q - p q , ( s , t ) ∈ ( [ 0 , + ∞ ) × [ 0 , + ∞ ) ) ∖ { ( 0 , 0 ) } ,

is decreasing in both variables (here we use that q < p ). This implies that the right-hand side of (2.7) is minimal when

δ 1 = δ 2 = 1 , λ 1 = λ p , q 1 ⁢ ( Ω 1 ) , λ 2 = λ p , q 1 ⁢ ( Ω 2 ) ,

i.e. formula (2.5). The representation formula (2.6) now follows from that of Proposition 2.1. ∎

Remark 2.5.

Under the assumptions of the previous result, we obtain in particular that Ω = Ω 1 ∪ Ω 2 has exactly 4 first ( p , q ) -eigenfunctions with unitary L q norm, given by

| α 1 | ⁢ u 1 + | α 2 | ⁢ u 2 , | α 1 | ⁢ u 1 - | α 2 | ⁢ u 2 , - | α 1 | ⁢ u 1 + | α 2 | ⁢ u 2 , - | α 1 | ⁢ u 1 - | α 2 | ⁢ u 2 .

In particular, although λ p , q 1 ⁢ ( Ω ) is not simple in this situation, however the collection of the first eigenfunctions on 𝒮 p , q ⁢ ( Ω ) is a set of genus 1.

This phenomenon disappears in the limit case p = q if the two components Ω 1 and Ω 2 have the same first eigenvalue: indeed, in this case the first eigenfunctions on 𝒮 p ⁢ ( Ω ) forms the set of genus 2,

{ α ⁢ u 1 + β ⁢ u 2 : | α | p + | β | p = 1 } .

More generally, we get the following result.

Corollary 2.6.

Let 1 < q < p < ∞ and let Ω ⊂ R N be an open set such that D 0 1 , p ⁢ ( Ω ) ↪ L q ⁢ ( Ω ) is compact. Let us suppose that

Ω = ⋃ i = 1 # Ω i ,

with Ω i ⊂ R N being an open set such that dist ⁢ ( Ω i , Ω j ) > 0 for i ≠ j . Then we have

λ p , q 1 ⁢ ( Ω ) = [ ∑ i = 1 # ( 1 λ p , q 1 ⁢ ( Ω i ) ) q p - q ] q - p q .

Moreover, each corresponding first ( p , q ) -eigenfunction of Ω with unitary L q norm has the form

∑ i = 1 # α i ⁢ u i , where ⁢ | α i | = ( λ p , q 1 ⁢ ( Ω ) λ p , q 1 ⁢ ( Ω i ) ) 1 p - q ,

and u i ∈ D 0 1 , p ⁢ ( Ω ) is a first ( p , q ) -eigenfunction of Ω i with unitary L q norm corresponding to λ i .

3 Construction of the examples

We are now ready for the main results of this note.

Theorem 3.1.

Let 1 < q < p < ∞ and 0 < r ≤ R . We take the disjoint union of balls

ℬ = B R ⁢ ( x 0 ) ∪ B r ⁢ ( y 0 ) , with ⁢ | x 0 - y 0 | > R + r .

Then

(3.1) Spec LS ⁢ ( ℬ ; p , q ) ≠ Spec ⁢ ( ℬ ; p , q ) .

Moreover, the set Spec ⁢ ( B ; p , q ) has (at least) countably many accumulation points.

Proof.

We observe that for every k ≥ 1 there exists a sequence { λ n , k } n ∈ ℕ ⊂ Spec ⁢ ( ℬ ; p , q ) such that

(3.2) λ p , q k ⁢ ( B R ⁢ ( x 0 ) ) = lim n → ∞ ⁡ λ n , k .

Namely,

λ n , k = [ ( 1 λ p , q k ⁢ ( B R ⁢ ( x 0 ) ) ) q p - q + ( 1 λ p , q n ⁢ ( B r ⁢ ( y 0 ) ) ) q p - q ] q - p q

is a ( p , q ) -eigenvalue of ℬ for all n ≥ 1 , thanks to formula (2.1), and we have that

lim n → ∞ ⁡ λ p , q n ⁢ ( B r ⁢ ( y 0 ) ) = + ∞ .

From equation (3.2) we immediately deduce the second part of the statement since λ p , q k ⁢ ( B R ⁢ ( x 0 ) ) belongs to Spec ⁢ ( ℬ ; p , q ) by formula (2.1). Moreover, (3.2) implies (3.1) as well. Indeed, if the two spectra were the same, then

Spec ⁢ ( ℬ ; p , q ) = { λ p , q k ⁢ ( ℬ ) } k ∈ ℕ ∖ { 0 }

would be an increasing sequence diverging to + ∞ with (infinitely many) accumulation points, which is impossible. ∎

We can refine the previous construction and obtain that for our eigenvalue problem even the isolation of the first eigenvalue may fail in general.

Theorem 3.2.

Let 1 < q < p and let { r i } i ∈ N ⊂ R be a sequence of strictly positive numbers such that

(3.3) ∑ i = 0 ∞ r i p ⁢ q p - q + N < + ∞ .

We then define the sequence of points { x i } i ∈ N ⊂ R N by

{ x 0 = ( 0 , … , 0 ) , x i + 1 = ( 2 - i + r i + r i + 1 , 0 , … , 0 ) + x i

and the disjoint union of balls (see Figure 1)

𝒯 = ⋃ i = 0 ∞ B r i ⁢ ( x i ) .

Then

Spec LS ⁢ ( 𝒯 ; p , q ) ≠ Spec ⁢ ( 𝒯 ; p , q ) .

and the set Spec ⁢ ( T ; p , q ) has (at least) countably many accumulation points. Moreover, the first eigenvalue λ p , q 1 ⁢ ( T ) is not isolated.

Proof.

We first observe that condition (3.3) guarantees the compactness of 𝒟 0 1 , p ⁢ ( 𝒯 ) ↪ L q ⁢ ( 𝒯 ) ; see [2, Theorem 1.2 and Example 5.2]. The first statement follows as in the previous theorem.

In order to prove that λ p , q 1 ⁢ ( 𝒯 ) is an accumulation point of the spectrum, we can now use Corollaries 2.6 and 2.2 to construct a sequence of eigenvalues { λ n } n ∈ ℕ such that λ n converges to λ p , q 1 ⁢ ( 𝒯 ) . We just set

λ n = [ ∑ i = 1 n ( 1 λ p , q 1 ⁢ ( B r i ⁢ ( x i ) ) ) q p - q ] q - p q .

This gives the desired sequence. ∎

$Figure 1 The set 𝒯 {\mathcal{T}} is a disjoint union of countably many shrinking balls.$

Figure 1

The set 𝒯 is a disjoint union of countably many shrinking balls.

Remark 3.3.

The examples above are given in terms of disjoint unions of balls just for simplicity. Actually, they still work with disjoint unions of more general bounded sets.

Funding statement: The authors are members of the Gruppo Nazionale per l’Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM).

Acknowledgements

We thank Peter Lindqvist for his kind interest in this work. This manuscript has been finalized while the first author was visiting the KTH (Stockholm) in February 2017. He wishes to thank Erik Lindgren for the kind invitation.

References

[1] L. Brasco, E. Parini and M. Squassina, Stability of variational eigenvalues for the fractional p-Laplacian, Discrete Contin. Dyn. Syst. 36 (2016), 1813–1845. 10.3934/dcds.2016.36.1813Suche in Google Scholar

[2] L. Brasco and B. Ruffini, Compact Sobolev embeddings and torsion functions, Ann. Inst. H. Poincaré Anal. Non Linéaire 34 (2017), no. 4, 817–843. 10.1016/j.anihpc.2016.05.005Suche in Google Scholar

[3] E. R. Fadell and P. H. Rabinowitz, Bifurcation for odd potential operators and an alternative topological index, J. Funct. Anal. 26 (1977), 48–67. 10.1016/0022-1236(77)90015-5Suche in Google Scholar

[4] G. Franzina and P. D. Lamberti, Existence and uniqueness for a p-Laplacian nonlinear eigenvalue problem, Electron. J. Differential Equations 26 (2010), 1–10. Suche in Google Scholar

[5] P. Lindqvist, On the equation div ⁢ ( | ∇ ⁡ u | p - 2 ⁢ ∇ ⁡ u ) + λ ⁢ | u | p - 2 ⁢ u = 0 , Proc. Amer. Math. Soc. 109 (1990), 157–164. Suche in Google Scholar

[6] M. Struwe, Variational Methods. Applications to Nonlinear Partial Differential Equations and Hamiltonian Systems, 4th ed., Ergeb. Math. Grenzgeb. (3) 34, Springer, Berlin, 2008. Suche in Google Scholar

Received: 2017-03-01

Revised: 2017-07-03

Accepted: 2017-07-04

Published Online: 2017-08-03

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

Artikel in diesem Heft

https://doi.org/10.1515/anona-2017-0043

Schlagwörter für diesen Artikel

Nonlinear eigenvalue problems; Lusternik–Schnirelmann theory

Creative Commons

BY 4.0