Processing math: 0%
Home On Dirichlet problem for fractional p-Laplacian with singular non-linearity
Article Open Access

On Dirichlet problem for fractional p-Laplacian with singular non-linearity

  • Tuhina Mukherjee and Konijeti Sreenadh EMAIL logo
Published/Copyright: December 2, 2016

Abstract

In this article, we study the following fractional p-Laplacian equation with critical growth and singular non-linearity:

(-Δp)su=λu-q+uα,u>0

where Ω is a bounded domain in n with smooth boundary Ω , n > s p , s ( 0 , 1 ) , λ > 0 , 0 < q 1 and 1 < p < α + 1 p s * . We use variational methods to show the existence and multiplicity of positive solutions of the above problem with respect to the parameter λ.

MSC 2010: 35R11; 35R09; 35A15

1 Introduction

Let s ( 0 , 1 ) , p ( 1 , ) and let Ω n , n 2 , be a bounded domain with smooth boundary. We consider the following problem with singular non-linearity:

(Pλ) ( - Δ p ) s u = λ u - q + u α , u > 0 in  Ω , u = 0 in  n Ω ,

where λ > 0 , 0 < q 1 , p < α + 1 p s * , p s * = n p n - s p , n > s p and ( - Δ p ) s is the fractional p-Laplacian operator defined as

( - Δ p ) s u ( x ) = - 2 lim ϵ 0 n B ϵ ( x ) | u ( x ) - u ( y ) | p - 2 ( u ( x ) - u ( y ) ) | x - y | n + s p 𝑑 y for all  x n .

Recently, a lot of attention is given to the study of fractional and non-local operators of elliptic type due to concrete real-world applications in finance, thin obstacle problem, optimization, quasi-geostrophic flow etc.

The semilinear Dirichlet problem for the fractional Laplacian is recently studied, using variational methods, in [8, 42, 43]. The existence and multiplicity results for non-local operators, like the fractional Laplacian with a combination of convex and concave type non-linearities like u q + λ u p , p, q > 0 , is studied in [3, 5, 37, 36, 44, 45]. The eigenvalue problem for the fractional p-Laplacian and properties like the simplicity of the smallest eigenvalue is studied in [16, 32]. The Brezis–Nirenberg type existence result has been studied in [38]. Existence and multiplicity results with convex-concave type regular non-linearities have been studied in [26].

In the local setting ( s = 1 ), the paper by Crandal, Rabinowitz and Tartar [12] is the starting point on semilinear problems with singular non-linearity. A lot of work has been done related to the existence and multiplicity results for the Laplacian and the p-Laplacian with singular non-linearity, see [1, 11, 14, 20, 18, 23, 24]. In [11, 14], the singular problems of the type

- Δ u = g ( x , u ) + h ( x , λ u ) in  Ω , u = 0 on  Ω , g ( x , u ) L 1 ( Ω )

was considered with g ( x , u ) u - α . The existence of solutions under suitable conditions on g and h was studied. In [20, 18], Ghergu and Rădulescu considered singular problems of the type

- Δ u + K ( x ) g ( u ) + μ | u | a = λ f ( x , u ) in  Ω , u = 0 on  Ω ,

where λ, μ > 0 . Here, h , K C 0 , γ ( Ω ) for some 0 < γ < 1 and h > 0 in Ω, and f : [ 0 , ) [ 0 , ) is a Hölder continuous function which is positive on Ω ¯ × ( 0 , ) , sublinear at and superlinear at 0. The function g C 0 , γ ( 0 , ) , for some 0 < γ < 1 , is non negative and non-increasing function such that lim s 0 + g ( s ) = + . They proved several results related to existence and non existence of positive solutions of the above problems, by taking into account both the sign of the potential K and the decay rate around the origin of the singular non-linearity g. Several authors considered problems of Lane–Emden–Fowler type with singular non-linearity, see [10, 15, 19]. In addition, some bifurcation results have been proved in [19] for the following problem:

- Δ u = g ( u ) + λ | u | p + μ f ( x , u ) , u > 0 in  Ω , u = 0 on  Ω ,

where λ , μ > 0 , 0 < p 2 , f is non-decreasing with respect to the second variable and g ( u ) behaves like u - α around the origin. The asymptotic behaviour of the solutions is shown by constructing suitable sub- and super-solutions combined with the maximum principle. We also refer to [22, 29] as a part of previous contributions to this field. For detailed study and recent results on singular problems, we refer to [21].

In [23], Giacomoni, Schindler and Taḱaĉ studied the critical growth singular problem

- Δ p u = λ u - δ + u q , u > 0 in  Ω , u = 0 on  Ω ,

where 0 < δ < 1 and p - 1 < q p * - 1 , p * = n p n - p and Δ p u = div ( | u | p - 2 u ) . Using variational methods, they proved the existence of multiple solutions with restrictions on p and q in the spirit of [13, 17]. Among the works dealing with elliptic equations with singular and critical growth terms, we cite [1, 34, 2, 9, 25, 40], see also the references therein, with no attempt to provide a complete list.

There are many works on the existence of a solution for fractional elliptic equations with regular non-linearities like u q + λ u p , p , q > 0 . Sub-critical growth problems are studied in [8, 42, 43], and critical exponent problems are studied in [5, 37, 36, 38]. Also, the multiplicity of solutions by the method of Nehari manifold and fibering maps has been investigated in [26, 45, 46]. For detailed study and recent results on this subject, we refer to [35].

In [4], Barrios et al. studied the singular problem

( - Δ ) s u = λ f ( x ) u γ + M u p , u > 0 in  Ω , u = 0 in  n Ω ,

where n > 2 s , M 0 , 0 < s < 1 , γ , λ > 0 , 1 < p < 2 s * - 1 , 2 s * = 2 n n - 2 s , f L m ( Ω ) is a non-negative function for m 1 , and

( - Δ ) s u ( x ) = - 1 2 n u ( x + y ) + u ( x - y ) - 2 u ( x ) | y | n + 2 s 𝑑 y for all  x n .

In particular, they studied the existence of distributional solutions for small λ using the uniform estimates of { u n } which are solutions of the regularised problem with the singular term u - γ replaced by ( u + 1 n ) - γ . In [39], the critical growth singular problem, for α = 2 s * - 1 and p = 2 , is studied where multiplicity results are obtained using the Nehari manifold approach.

There are many works on the study of p-fractional equations with polynomial type non-linearities. In [26], Goyal and the second author studied the subcritical problem using the Nehari manifold and fibering maps. In [38], a Brezis–Nirenberg type critical exponent problem is studied. We also refer readers to [6, 27, 31] and the references therein. To the best of our knowledge, there are no works on the existence of multiplicity results with singular non-linearities involving the fractional p-Laplacian operator.

In this paper, we study existence and multiplicity results with a convex-concave type singular non-linearity. Here we follow the approach of [30]. We obtain our results by studying the existence of minimizers that arise out of the structure of the Nehari manifold. We would like to remark that the results proved here are new even for the case q = 1 . Also the existence result is sharp in the sense that we show the existence of Λ such that ( 0 , Λ ) is the maximal range for λ for which the solution exists. We show the existence of a second solution in the sub-critical case for the maximal range of λ, where the fibering maps have two critical points along with some other condition. We also show some regularity results on the weak solutions of ().

The paper is organised as follows. In Section 2, we present some preliminaries on function spaces required for the variational setting and state the main results. In Section 3, we study the corresponding Nehari manifold and the properties of minimizers. In Sections 4 and 5, we show the existence of minimizers and solutions. In Section 6, we show some regularity results, and Section 7 is devoted to the maximal range of λ for the existence of solutions.

2 Preliminaries and main results

The motivation for defining the function space comes from [42]. In [26], Goyal and the second author discussed the Dirichlet boundary value problem involving the p-fractional Laplace operator using variational techniques. Due to non-localness of the fractional p-Laplace operator, they introduced the function space ( X 0 , X 0 ) . The space X is defined as

X = { u | u : n  is measurable,  u | Ω L p ( Ω )  and  ( u ( x ) - u ( y ) ) | x - y | n + s p p L p ( Q ) } ,

where Q = 2 n ( 𝒞 Ω × 𝒞 Ω ) and 𝒞 Ω := n Ω . The space X is endowed with the norm

u X = u L p ( Ω ) + [ u ] X , where  [ u ] X = ( Q | u ( x ) - u ( y ) | p | x - y | n + s p 𝑑 x 𝑑 y ) 1 p .

Then we define X 0 = { u X : u = 0  a.e. in  n Ω } . There exists a constant C > 0 such that u L p ( Ω ) C [ u ] X for all u X 0 . Hence, u = [ u ] X is a norm on X 0 , and X 0 is a Hilbert space. Note that the norm involves the interaction between Ω and n Ω . We denote L p ( Ω ) as | | p and = [ ] X for the norm in X 0 . Now, for each β 0 , we set

(2.1) C β = sup { | u | β β : u X 0 , u = 1 } .

Then C 0 = | Ω | = Lebesgue measure of Ω and Ω | u | β d x C β u β for all u X 0 . From the embedding results in [26], we know that X 0 is continuously and compactly embedded in L r ( Ω ) , where 1 r < p s * and the embedding is continuous but not compact if r = p s * . We define the best constant S of the embedding as

S = inf { u p : u X 0 , | u | p s * p = 1 } .

Definition 2.1.

We say that u X 0 is a positive weak solution of () if u > 0 in Ω and

Q | u ( x ) - u ( y ) | p - 2 ( u ( x ) - u ( y ) ) ( ψ ( x ) - ψ ( y ) ) | x - y | n + s p 𝑑 x 𝑑 y - Ω ( λ u - q - u α ) ψ 𝑑 x = 0

for all ψ C c ( Ω ) .

The functional associated to (), I λ : X 0 ( - , ] , is defined by

I λ ( u ) = 1 p Q | u ( x ) - u ( y ) | p | x - y | n + s p d x d y - λ Ω G q ( u ) d x - 1 α + 1 Ω | u | α + 1 d x ,

where G q : [ - , ) is the function defined by

G q ( x ) = { | x | 1 - q 1 - q if  0 < q < 1 , ln | x | if  q = 1 .

For each 0 < q 1 , we set X + = { u X 0 : u 0 } and X + , q = { u X + : u 0 , G q ( u ) L 1 ( Ω ) } . Notice that X + , q = X + { 0 } if 0 < q < 1 and X + , 1 if Ω is, for example, of C 2 . We will need the following important lemma.

Lemma 2.2.

For each w X + , there exists a sequence { w k } in X 0 such that w k w strongly in X 0 , where 0 w 1 w 2 and w k has compact support in Ω for each k.

Proof.

The proof here is adopted from [30]. Let w X + and let { ψ k } be a sequence in C c ( Ω ) such that ψ k is non negative and converges strongly to w in X 0 . Define z k = min { ψ k , w } . Then z k w strongly in X 0 . Now, we set w 1 = z r 1 where r 1 > 0 is such that z r 1 - w 1 . Then max { w 1 , z m } w strongly in X 0 , thus we can find r 2 > 0 such that max { w 1 , z r 2 } - w 1 2 . We set w 2 = max { w 1 , z r 2 } , and get max { w 2 , z m } w strongly as m . Consequently, by induction, we set w k + 1 = max { w k , z r k + 1 } to obtain the desired sequence, since we can see that w k X 0 has compact support for each k and max { w k , z r k + 1 } - w 1 k + 1 , which says that { w k } converges strongly to w in X 0 . ∎

Let ϕ 1 > 0 be the eigenfunction of ( - Δ p ) s corresponding to the smallest eigenvalue λ 1 . This is obtained as minimizer of the minimization problem

λ 1 = min { u p : u X 0 , | u | p = 1 } .

In [32, 38], it was shown that this minimizer is achieved by a unique positive and bounded function ϕ 1 . Moreover, ( λ 1 , ϕ 1 ) is the solution of the eigenvalue problem

( - Δ p ) s u = μ | u | p - 2 u , u > 0 in  Ω , u = 0 in  n Ω .

We assume ϕ 1 L = 1 . With these preliminaries, we state our main results.

For each u X + , q , we define the fiber map ϕ u : + by ϕ u ( t ) = I λ ( t u ) .

Theorem 2.3.

Assume 0 < q 1 . In the case q = 1 , assume also X + , 1 . Let Λ 1 be a constant defined by

Λ 1 = { sup { λ > 0 : ϕ u ( t ) has two critical points in  ( 0 , ) for each  u X + , q { 0 } } if  α + 1 < p s * , sup { λ > 0 : ϕ u ( t ) has two critical points in  ( 0 , ) for each  u X + , q { 0 } , sup { u : u X + , q , ϕ u ( 1 ) = 0 , ϕ u ′′ ( 1 ) > 0 } ( p p s * ) p p s * - p S p s * p s * - p } if  α = p s * .

Then Λ 1 > 0 .

Theorem 2.4.

For all λ ( 0 , Λ 1 ) , () has at least two distinct solutions in X + , q when α < p s * - 1 and at least one solution in the critical case when α = p s * - 1 .

Definition 2.5.

We say that u X 0 is a weak sub-solution of () if u > 0 in Ω and

Q | u ( x ) - u ( y ) | p - 2 ( u ( x ) - u ( y ) ) ( ψ ( x ) - ψ ( y ) ) | x - y | n + s p 𝑑 x 𝑑 y Ω ( λ u - q + u α ) ψ 𝑑 x = 0

for all 0 ψ C c ( Ω ) . Similarly, u X 0 is said to be a weak super-solution to () if in the above, the reverse inequalities hold.

Next we study that the existence of a solution with the parameter in the maximal interval. For this, we minimize the functional over the convex set { u X + , q : u ¯ u u ¯ } , where u ¯ and u ¯ are sub- and super-solutions, respectively. Using truncation techniques as in [28], we show that the minimizer is a weak solution.

Theorem 2.6.

Let p < α + 1 p s * and 0 < q 1 . Then there exists Λ > 0 such that () has a solution for all λ ( 0 , Λ ) and no solution for λ > Λ .

3 Nehari manifold and fibering maps

We denote I λ = I for simplicity now. One can easily verify that the energy functional I is not bounded below on the space X 0 . We will show that it is bounded on the manifold associated to the functional I. In this section, we study the structure of this manifold. We define

𝒩 λ = { u X + , q : I ( u ) , u = 0 } .

Theorem 3.1.

The functional I is coercive and bounded below on N λ .

Proof.

In the case 0 < q < 1 , since u 𝒩 λ , using the embedding of X 0 in L 1 - q ( Ω ) , we get

I ( u ) = ( 1 p - 1 α + 1 ) u p - λ ( 1 1 - q - 1 α + 1 ) Ω | u | 1 - q d x c 1 u p - c 2 u 1 - q

for some constants c 1 and c 2 . This says that I is coercive and bounded below on 𝒩 λ .

In the case q = 1 , using the inequality ln ( | u | ) | u | and embedding results for X 0 , we can similarly get I as bounded below. ∎

From the definition of fiber map ϕ u , we have

ϕ u ( t ) = { t p p u p - t 1 - q 1 - q Ω | u | 1 - q d x - t α + 1 α + 1 Ω | u | α + 1 d x if  0 < q < 1 , t p p u p - λ Ω ln ( t | u | ) d x - t α + 1 α + 1 Ω | u | α + 1 d x if  q = 1 ,

which gives

ϕ u ( t ) = t p - 1 u p - λ t - q Ω | u | 1 - q d x - t α Ω | u | α + 1 d x ,
ϕ u ′′ ( t ) = ( p - 1 ) t p - 2 u p + q λ t - q - 1 Ω | u | 1 - q d x - α t α - 1 Ω | u | α + 1 d x .

It is easy to see that the points in 𝒩 λ are corresponding to the critical points of ϕ u at t = 1 . So, it is natural to divide 𝒩 λ into three sets corresponding to local minima, local maxima and points of inflexion. Therefore, we define

𝒩 λ + = { u 𝒩 λ : ϕ u ( 1 ) = 0 , ϕ u ′′ ( 1 ) > 0 } = { t 0 u 𝒩 λ : t 0 > 0 , ϕ u ( t 0 ) = 0 , ϕ u ′′ ( t 0 ) > 0 } ,
𝒩 λ - = { u 𝒩 λ : ϕ u ( 1 ) = 0 , ϕ u ′′ ( 1 ) < 0 } = { t 0 u 𝒩 λ : t 0 > 0 , ϕ u ( t 0 ) = 0 , ϕ u ′′ ( t 0 ) < 0 }

and 𝒩 λ 0 = { u 𝒩 λ : ϕ u ( 1 ) = 0 , ϕ u ′′ ( 1 ) = 0 } .

Lemma 3.2.

There exists λ * > 0 such that for each u X + , q { 0 } , there are unique t 1 and t 2 with the property that t 1 < t 2 , t 1 u N λ + and t 2 u N λ - for all λ ( 0 , λ * ) .

Proof.

Define A ( u ) = Ω | u | 1 - q d x and B ( u ) = Ω | u | α + 1 d x . Let u X + , q . Then we have

d d t I ( t u ) = t p - 1 u p - t - q λ A ( u ) - t α B ( u ) = t - q ( m u ( t ) - λ A ( u ) ) ,

and we define m u ( t ) := t p - 1 + q u p - t α + q B ( u ) . Since lim t m u ( t ) = - , we can easily see that m u ( t ) attains its maximum at

t max = [ ( p - 1 + q ) u p ( α + q ) B ( u ) ] 1 α + 1 - p

and

m u ( t max ) = ( α + 2 - p p - 1 + q ) ( p - 1 + q α + q ) α + q α + 1 - p u p ( α + q ) α + 1 - p B ( u ) p - 1 + q α + 1 - p .

Now, u 𝒩 λ if and only if m u ( t ) = λ A ( u ) , and we see that

m u ( t ) - λ A ( u ) m u ( t max ) - λ | u | 1 - q 1 - q ( α + 2 - p p - 1 + q ) ( p - 1 + q α + q ) α + q α + 1 - p u p ( α + q ) α + 1 - p B ( u ) p - 1 + q α + 1 - p - λ C 1 - q u 1 - q > 0

if and only if

λ < =: ( α + 2 - p p - 1 + q ) ( p - 1 + q α + q ) α + q α + 1 - p ( C α + 1 ) - p + 1 - q α + 1 - p C 1 - q - 1 λ * ,

where C α + 1 and C 1 - q are defined in (2.1).

In the case 0 < q < 1 , we see that m u ( t ) = λ Ω | u | 1 - q d x if and only if ϕ u ( t ) = 0 . So for λ ( 0 , λ * ) , there exist exactly two points 0 < t 1 < t max < t 2 with m u ( t 1 ) > 0 and m u ( t 2 ) < 0 , that is, t 1 u 𝒩 λ + and t 2 u 𝒩 λ - . Thus, ϕ u has a local minimum at t = t 1 and a local maximum at t = t 2 . In other words, ϕ u is decreasing in ( 0 , t 1 ) and increasing in ( t 1 , t 2 ) .

In the case q = 1 , since lim t 0 ϕ u ( t ) = and lim t ϕ u ( t ) = - , with similar reasoning as above, we get t 1 , t 2 .

In both cases, ϕ u has exactly two critical points t 1 and t 2 such that 0 < t 1 < t max < t 2 , ϕ u ′′ ( t 1 ) > 0 and ϕ u ′′ ( t 2 ) < 0 . Thus, t 1 u 𝒩 λ + , t 2 u 𝒩 λ - . ∎

Proof of Theorem 2.3.

The proof follows from Lemma 3.2. ∎

Corollary 3.3.

We have N λ 0 = { 0 } for all λ ( 0 , Λ 1 ) .

Proof.

Let u 𝒩 λ 0 and u 0 . Then u 𝒩 λ , that is, t = 1 is a critical point of ϕ u ( t ) . By Lemma 3.2, ϕ u has critical points corresponding to either local minima or local maxima. So, t = 1 is the critical point corresponding to either local minima or local maxima of ϕ u . Thus, either u 𝒩 λ + or u 𝒩 λ - , which is a contradiction. ∎

We can now show that I is bounded below on 𝒩 λ + and 𝒩 λ - as follows.

Lemma 3.4.

The following hold:

  1. sup { u : u 𝒩 λ + } < ,

  2. inf { v : v 𝒩 λ - } > 0 and sup { v : v 𝒩 λ - , I ( v ) M } < for each M > 0 .

Moreover, inf I ( N λ + ) > - and inf I ( N λ - ) > - .

Proof.

Let u 𝒩 λ + and v 𝒩 λ - . Then we have

0 < ϕ u ′′ ( 1 ) ( p - 1 - α ) u p + λ ( α + q ) C 1 - q u 1 - q ,
0 > ϕ v ′′ ( 1 ) ( p - 1 + q ) v p - ( α + q ) C α + 1 v α + 1 .

Thus, we obtain

u ( λ ( α + q ) C 1 - q α + 1 - p ) 1 p + q - 1 and v ( p - 1 + q ( α + q ) C α + 1 ) 1 α + 1 - p .

This implies that

(3.1) sup { u : u 𝒩 λ + } < and inf { v : v 𝒩 λ - } > 0 .

If I ( v ) M , using ln ( | v | ) | v | , we get

(3.2) M { α + 1 - p p ( α + 1 ) v p - λ ( α + q ) C 1 - q ( α + 1 ) ( 1 - q ) v 1 - q if  0 < q < 1 , α + 1 - p p ( α + 1 ) v p - λ C 1 v + λ α + 1 if  q = 1 .

This implies sup { v : v 𝒩 λ - , I ( v ) M } < for each M > 0 . Using (3.1) and (3.2), it is easy to show that inf I ( 𝒩 λ + ) > - and inf I ( 𝒩 λ - ) > - . ∎

Lemma 3.5.

Suppose that u N λ + and v N λ - are minimizers of I over N λ + and N λ - , respectively. Then, for each w X + , the following hold:

  1. there exists ϵ 0 > 0 such that I ( u + ϵ w ) I ( u ) for each ϵ [ 0 , ϵ 0 ] ,

  2. t ϵ 1 as ϵ 0 + , where t ϵ is the unique positive real number satisfying t ϵ ( v + ϵ w ) 𝒩 λ - .

Proof.

(1) Let w X + , i.e., w X 0 and w 0 . We set

ρ ( ϵ ) = ( p - 1 ) u + ϵ w p + λ q Ω | u + ϵ w | 1 - q d x - α Ω | u + ϵ w | α + 1 d x

for each ϵ 0 . Then, using the continuity of ρ, and since u 𝒩 λ + , ρ ( 0 ) = ϕ u ′′ ( 1 ) > 0 , there exists ϵ 0 > 0 such that ρ ( ϵ ) > 0 for ϵ [ 0 , ϵ 0 ] . Since, for each ϵ > 0 , there exists t ϵ > 0 such that t ϵ ( u + ϵ w ) 𝒩 λ + , it follows that t ϵ 1 as ϵ 0 , and for each ϵ [ 0 , ϵ 0 ] , we have

I ( u + ϵ w ) I ( t ϵ ( u + ϵ w ) ) inf I ( 𝒩 λ + ) = I ( u ) .

(2) We define h : ( 0 , ) × 3 by

h ( t , l 1 , l 2 , l 3 ) = l 1 t p - 1 - λ t - q l 2 - t α l 3

for ( t , l 1 , l 2 , l 3 ) ( 0 , ) × 3 . Then h is a C function. Therefore, we have

d h d t ( 1 , v p , Ω | v | 1 - q d x , Ω | v | α + 1 d x ) = ϕ v ′′ ( 1 ) < 0 ,

and for each ϵ 0 ,

h ( t ϵ , v + ϵ w p , Ω | v + ϵ w | 1 - q d x , Ω | v | α + 1 d x ) = ϕ v + ϵ w ( t ϵ ) = 0 .

Also,

h ( 1 , v p , Ω | v | 1 - q d x , Ω | v | α + 1 d x ) = ϕ v ( 1 ) = 0 .

Thus, by the implicit function theorem, there exists an open neighbourhood A ( 0 , ) and B 3 containing 1 and ( v p , Ω | v | 1 - q d x , Ω | v | α + 1 ) , respectively, such that for all y B , h ( t , y ) = 0 has a unique solution t = g ( y ) A , where g : B A is a continuous function. So,

( v + ϵ w p , Ω | v + ϵ w | 1 - q d x , Ω | v + ϵ w | α + 1 d x ) B

and

g ( v + ϵ w ) p , Ω | v + ϵ w | 1 - q d x , Ω | v + ϵ w | α + 1 d x ) = t ϵ ,

since

h ( t ϵ , v + ϵ w ) p , Ω | v + ϵ w | 1 - q d x , Ω | v + ϵ w | α + 1 d x ) = 0 .

Thus, by the continuity of g, we get t ϵ 1 as ϵ 0 + . ∎

Lemma 3.6.

Suppose that u N λ + and v N λ - are minimizers of I on N λ + and N λ - , respectively. Then, for each w X + , we have u - q w , v - q w L 1 ( Ω ) ,

(3.3) Q | u ( x ) - u ( y ) | p - 2 ( u ( x ) - u ( y ) ) ( w ( x ) - w ( y ) ) | x - y | n + s p 𝑑 x 𝑑 y - λ Ω ( u - q + u α ) w 𝑑 x 0

and

(3.4) Q | v ( x ) - v ( y ) | p - 2 ( v ( x ) - v ( y ) ) ( w ( x ) - w ( y ) ) | x - y | n + s p 𝑑 x 𝑑 y - λ Ω ( v - q + v α ) w 𝑑 x 0 .

Proof.

Let w X + . For sufficiently small ϵ > 0 , by Lemma 3.5,

0 I ( u + ϵ w ) - I ( u ) ϵ
(3.5) = 1 p ϵ ( u + ϵ w p - u p ) - λ ϵ Ω ( G q ( u + ϵ w ) - G q ( u ) ) 𝑑 x - 1 ϵ ( α + 1 ) Ω ( | u + ϵ w | α + 1 - | u | α + 1 ) 𝑑 x .

We can easily verify that as ϵ 0 + ,

( u + ϵ w p - u p ) ϵ p Q | u ( x ) - u ( y ) | p - 2 ( u ( x ) - u ( y ) ) ( w ( x ) - w ( y ) ) | x - y | n + s p 𝑑 x 𝑑 y ,
Ω ( | u + ϵ w | α + 1 - | u | α + 1 ) ϵ d x ( α + 1 ) Ω | u | α - 1 u w d x ,

which imply that ( G q ( u + ϵ w ) - G q ( u ) ) ϵ L 1 ( Ω ) . Also, for each x Ω ,

G q ( u ( x ) + ϵ w ( x ) ) - G q ( u ( x ) ) ϵ = { 1 ϵ ( | u + ϵ w | 1 - q ( x ) - | u | 1 - q ( x ) 1 - q ) if  0 < q < 1 , 1 ϵ ( ln ( | u + ϵ w | ) - ln ( | u | ) ) if  q = 1 ,

which increases monotonically as ϵ 0 and

lim ϵ 0 G q ( u ( x ) + ϵ w ( x ) ) - G q ( u ( x ) ) ϵ = { 0 if  w ( x ) = 0 , ( u ( x ) ) - q w ( x ) if  w ( x ) > 0 , u ( x ) > 0 , if  w ( x ) > 0 , u ( x ) = 0 .

So, by using the monotone convergence theorem for the sequence { G q } , we get u - q w L 1 ( Ω ) . Letting ϵ 0 in both sides of (3.5), we get (3.3).

Next we will show these properties for v. For each ϵ > 0 , there exists t ϵ > 0 with t ϵ ( v + ϵ w ) 𝒩 λ - . By Lemma 3.5 (2), for sufficiently small ϵ > 0 , we have

I ( t ϵ ( v + ϵ w ) ) I ( v ) I ( t ϵ v ) ,

which implies I ( t ϵ ( v + ϵ w ) ) - I ( v ) 0 . Thus, we have

λ Ω ( G q ( t ϵ | v + ϵ w | 1 - q ) - G q ( | v | 1 - q ) ) 𝑑 x t ϵ p p ( v + ϵ w p - v p ) - t ϵ α + 1 α + 1 Ω ( | v + ϵ w | α + 1 - | v | α + 1 ) 𝑑 x .

As ϵ 0 , t ϵ 1 . Thus, using similar arguments as above, we obtain v - q w L 1 ( Ω ) and (3.4) follows. ∎

Let η > 0 be such that ϕ = η ϕ 1 satisfies

(3.6) Q | ϕ ( x ) - ϕ ( y ) | p - 2 ( ϕ ( x ) - ϕ ( y ) ) ( ψ ( x ) - ψ ( y ) ) | x - y | n + s p 𝑑 x 𝑑 y λ Q ϕ - q ψ 𝑑 x + Q ϕ α ψ 𝑑 x

for all 0 ψ X 0 (i.e., ϕ is a sub-solution of ()) and ϕ α + q ( x ) λ ( q α ) for each x Ω . Then we have the following lemma.

Lemma 3.7.

Suppose u N λ + and v N λ - are minimizers of I on N λ + and N λ - , respectively. Then u ϕ and v ϕ in Ω. In particular, u , v > 0 .

Proof.

By Lemma 2.2, let { w k } be a sequence in X 0 such that supp ( w k ) is compact, 0 w k ( ϕ - u ) + for each k and { w k } strongly converges to ( ϕ - u ) + in X 0 . Then

(3.7) d d t ( λ t - q + t α ) = - q λ t - q - 1 + α t α - 1 0 t α + q λ ( q α ) .

Using Lemma 3.6 and (3.6), we have

Q ( f ( u ) - f ( ϕ ) ) | x - y | n + s p ( w k ( x ) - w k ( y ) ) 𝑑 x 𝑑 y - Ω ( λ u - q + u α ) w k 𝑑 x + Ω ( λ ϕ - q + ϕ α ) w k 𝑑 x 0 ,

where f ( ξ ) = | ξ ( x ) - ξ ( y ) | p - 2 ( ξ ( x ) - ξ ( y ) ) . Since { w k } converges to ( ϕ - u ) + strongly, we get a subsequence of { w k } , still calling it { w k } , such that w k ( x ) ( ϕ - u ) + ( x ) pointwise almost everywhere in Ω, and we write for each x Ω , w k ( x ) = ( ϕ - u ) + ( x ) + o ( 1 ) as k . Then

Q ( f ( u ) - f ( ϕ ) ) | x - y | n + s p ( w k ( x ) - w k ( y ) ) 𝑑 x 𝑑 y
= Q ( f ( u ) - f ( ϕ ) ) | x - y | n + s p ( ( ϕ - u ) + ( x ) - ( ϕ - u ) + ( y ) ) 𝑑 x 𝑑 y + o ( 1 ) Q ( f ( u ) - f ( ϕ ) ) | x - y | n + s p 𝑑 x 𝑑 y .

Further, we can see that

Q ( f ( u ) - f ( ϕ ) ) | x - y | n + s p ( ( ϕ - u ) + ( x ) - ( ϕ - u ) + ( y ) ) 𝑑 x 𝑑 y
(3.8) = ( Ω 1 × Ω 1 + Ω 1 × Ω 2 + Ω 2 × Ω 1 + Ω 2 × Ω 2 ) ( f ( u ) - f ( ϕ ) ) | x - y | n + s p ( ( ϕ - u ) + ( x ) - ( ϕ - u ) + ( y ) ) d x d y ,

where Ω 1 = { x : ϕ ( x ) u ( x ) } and Ω 2 = { x : ϕ ( x ) u ( x ) } . Now, we separately estimate each integrals and to begin with, first we see that

(3.9) Ω 2 × Ω 2 ( f ( u ) - f ( ϕ ) ) | x - y | n + s p ( ( ϕ - u ) + ( x ) - ( ϕ - u ) + ( y ) ) 𝑑 x 𝑑 y = 0 .

Next we see that

Ω 1 × Ω 1 ( f ( u ) - f ( ϕ ) ) | x - y | n + s p ( ( ϕ - u ) + ( x ) - ( ϕ - u ) + ( y ) ) 𝑑 x 𝑑 y = - Ω 1 × Ω 1 ( f ( ϕ ) - f ( u ) ) | x - y | n + s p ( ( ϕ - u ) ( x ) - ( ϕ - u ) ( y ) ) 𝑑 x 𝑑 y
(3.10) - 1 2 p - 2 Ω 1 × Ω 1 | ( ϕ - u ) ( x ) - ( ϕ - u ) ( y ) | p | x - y | n + s p 𝑑 x 𝑑 y

using | a - b | p 2 p - 2 ( | a | p - 2 a - | b | p - 2 b ) ( a - b ) , p 2 and a , b . Now, consider

Ω 1 × Ω 2 ( f ( u ) - f ( ϕ ) ) | x - y | n + s p ( ( ϕ - u ) + ( x ) - ( ϕ - u ) + ( y ) ) 𝑑 x 𝑑 y
= Ω 1 × Ω 2 ( f ( u ) - f ( ϕ ) ) | x - y | n + s p ( ϕ - u ) ( x ) 𝑑 x 𝑑 y
(3.11) - 1 2 p - 2 Ω 1 × Ω 2 | ( ϕ - u ) ( x ) - ( ϕ - u ) ( y ) | p | x - y | n + s p 𝑑 x 𝑑 y + Ω 1 × Ω 2 ( f ( u ) - f ( ϕ ) ) | x - y | n + s p ( ϕ - u ) ( y ) 𝑑 x 𝑑 y ,

and, similarly, we get

Ω 2 × Ω 1 ( f ( u ) - f ( ϕ ) ) | x - y | n + s p ( ( ϕ - u ) + ( x ) - ( ϕ - u ) + ( y ) ) 𝑑 x 𝑑 y
(3.12) - 1 2 p - 2 Ω 2 × Ω 1 | ( ϕ - u ) ( x ) - ( ϕ - u ) ( y ) | p | x - y | n + s p 𝑑 x 𝑑 y - Ω 2 × Ω 1 ( f ( u ) - f ( ϕ ) ) | x - y | n + s p ( ϕ - u ) ( x ) 𝑑 x 𝑑 y .

Thus, using (3.8)–(3.12), we get

Q ( f ( u ) - f ( ϕ ) ) | x - y | n + s p ( ( ϕ - u ) + ( x ) - ( ϕ - u ) + ( y ) ) 𝑑 x 𝑑 y
- 1 2 p - 2 ( ϕ - u ) p + Ω 1 × Ω 2 ( f ( u ) - f ( ϕ ) ) | x - y | n + s p ( ϕ - u ) ( y ) 𝑑 x 𝑑 y - Ω 2 × Ω 1 ( f ( u ) - f ( ϕ ) ) | x - y | n + s p ( ϕ - u ) ( x ) 𝑑 x 𝑑 y
= - 1 2 p - 2 ( ϕ - u ) p .

Since ϕ α + q ( x ) λ ( q α ) , for each x Ω , using (3.7), we get

Ω ( ( λ u - q + u α ) - ( λ ϕ - q + ϕ α ) ) w k 𝑑 x = Ω { ϕ u } ( ( λ u - q + u α ) - ( λ ϕ - q + ϕ α ) ) ( ϕ - u ) + ( x ) 𝑑 x + o ( 1 ) 0 ,

which implies

0 - 1 2 p - 2 ( ϕ - u ) + p - Ω ( λ u - q + u α ) w k 𝑑 x + Ω ( λ ϕ - q + ϕ α ) w k 𝑑 x + o ( 1 ) - 1 2 p - 2 ( ϕ - u ) + p + o ( 1 ) ,

and letting k , we get - ( ϕ - u ) + 2 0 . Thus, we showed u ϕ . Similarly, we can show v ϕ . ∎

4 Existence of minimizer on 𝒩 λ +

In this section, we will show that the minimum of I on 𝒩 λ + is achieved in 𝒩 λ + . Also, we show that this minimizer is also a solution of ().

Proposition 4.1.

For all λ ( 0 , Λ 1 ) , there exist u λ N λ + satisfying I ( u λ ) = inf I ( N λ + ) .

Proof.

Assume 0 < q 1 and λ ( 0 , Λ 1 ) . We show that there exists u λ 𝒩 λ + such that I ( u λ ) = inf I ( 𝒩 λ + ) . Let { u k } 𝒩 λ + be a sequence such that I ( u k ) inf I ( 𝒩 λ + ) as k . Now, by (3.1), we can assume that there exists u λ X 0 such that u k u λ weakly in X 0 (up to a subsequence). First we will show that inf I ( 𝒩 λ + ) < 0 . Let u 0 𝒩 λ + . We have ϕ u 0 ′′ ( 1 ) > 0 , which gives

( p - 1 + q α + q ) u 0 p > Ω | u 0 | α + 1 d x .

Therefore, using α + 1 > p , we obtain

I ( u 0 ) = ( 1 p - 1 1 - q ) u 0 p + ( 1 1 - q - 1 α + 1 ) Ω | u 0 | α + 1 d x
- ( p + q - 1 ) p ( 1 - q ) u 0 p + ( p + q - 1 ) ( α + 1 ) ( 1 - q ) u 0 p
= ( 1 α + 1 - 1 p ) ( p + q - 1 1 - q ) u 0 p
< 0 .

This proves that inf I ( 𝒩 λ + ) < 0 . Case (I): α + 1 < p s * and 0 < q 1 . First, we claim that u λ X + , q . When 0 < q < 1 , if u λ = 0 , then 0 = I ( u λ ) lim ¯ k I ( u k ) < 0 , which is a contradiction. In the case q = 1 , the sequence { Ω ln ( | u k | ) } is bounded, since the sequence { I ( u k ) } and { u k } is bounded. So, using Fatou’s lemma and the fact that ln ( | u k | ) u k for each k, we get

- < lim ¯ k Ω ln ( | u k | ) 𝑑 x Ω lim ¯ k ln ( | u k | ) d x = Ω ln ( | u λ | ) 𝑑 x ,

which implies u λ 0 and thus, in both cases we have shown u λ X + , q . We claim that u k u λ strongly in X 0 . Suppose not. Then, we may assume u k - u λ c > 0 . Using the Brezis–Lieb lemma and the embedding results for X 0 in the subcritical case, we have

(4.1) lim k ϕ u k ( 1 ) = ϕ u λ ( 1 ) + c p ,

which implies ϕ u λ ( 1 ) + c p = 0 , using the fact that ϕ u k ( 1 ) = 0 for each k. Since λ ( 0 , Λ 1 ) , there exist 0 < t 1 < t 2 (by fibering map analysis) such that ϕ u λ ( t 1 ) = ϕ u λ ( t 2 ) = 0 and t 1 u λ 𝒩 λ + . By (4.1), we have ϕ u λ ( 1 ) < 0 , which gives two cases: 1 < t 1 or t 2 < 1 . When t 1 > 1 , we have

inf I ( 𝒩 λ + ) = lim I ( u k ) = I ( u λ ) + c p p = ϕ u λ ( 1 ) + c p p > ϕ u λ ( 1 ) > ϕ u λ ( t 1 ) inf I ( 𝒩 λ + ) ,

which is a contradiction. Thus, we have t 2 < 1 . We set f ( t ) = ϕ u λ ( t ) + c p t p 2 for t > 0 . From (4.1), we get f ( 1 ) = 0 , and since 0 < t 2 < 1 , f ( t 2 ) = t 2 p - 1 c p > 0 . So, f is increasing in [ t 2 , 1 ] , and we obtain

inf I ( 𝒩 λ + ) = I ( u λ ) + c p p = ϕ u λ ( 1 ) + c p p = f ( 1 ) > f ( t 2 ) > ϕ u λ ( t 2 ) > ϕ u λ ( t 1 ) inf I ( 𝒩 λ + ) ,

which gives a contradiction. Hence, c = 0 , and thus u k u λ strongly in X 0 . Since λ ( 0 , Λ 1 ) , we have ϕ u λ ′′ ( 1 ) > 0 , so we obtain u λ 𝒩 λ + and I ( u λ ) = inf I ( 𝒩 λ + ) . Case (II): α = p s * - 1 and 0 < q < 1 . We set w k := u k - u λ and claim that u k u λ strongly in X 0 . Suppose w k p c p 0 and Ω | w k | p s * d x d p s * as k . Since u k 𝒩 λ + , using the Brezis–Lieb lemma, we get

(4.2) 0 = lim k ϕ u k ( 1 ) = ϕ u λ ( 1 ) + c p - d p s * ,

which implies

u λ p + c p = λ Ω | u λ | 1 - q d x + Ω | u k | p s * d x + d p s * .

We claim that u λ X + , q . Suppose u λ 0 . If 0 < q < 1 and c = 0 , then 0 > inf I ( 𝒩 λ + ) = I ( 0 ) = 0 , which is a contradiction, and if c 0 , then

(4.3) inf I ( 𝒩 λ + ) = I ( 0 ) + c p p - d p s * p s * = c p p - d p s * p s * .

But we have S u k p s * p u k p , which gives c p S d p . Also from (4.2) we have c p = d p s * . Then (4.3) implies

0 > inf I ( 𝒩 λ + ) = ( 1 p - 1 p s * ) c p s n S n s p ,

which is again a contradiction. In the case q = 1 , the sequence { Ω ln ( | u k | ) } is bounded, since the sequences { I ( u k ) } and { u k } are bounded. So using Fatou’s lemma and ln ( | u k | ) u k , for each k, we get

- < lim ¯ k Ω ln ( | u k | ) 𝑑 x Ω lim ¯ k ln ( | u k | ) d x = Ω ln ( | u λ | ) 𝑑 x .

which implies u λ 0 . Thus, in both cases we have shown that u λ X + , q . So, there exist 0 < t 1 < t 2 such that ϕ u λ ( t 1 ) = ϕ u λ ( t 2 ) = 0 and t 1 u λ 𝒩 λ + . Then, the following three cases arise:

  1. t 2 < 1 ,

  2. t 2 1 and c p p - d p s * p s * < 0 ,

  3. t 2 1 and c p p - d p s * p s * 0 .

(i) Let h ( t ) = ϕ u λ ( t ) + c p t p p - d p s * t p s * p s * for t > 0 . By (4.2), we get h ( 1 ) = ϕ u λ ( 1 ) + c p - d p s * = 0 and

h ( t 2 ) = ϕ u λ ( t 2 ) + t 2 p c p - t 2 p s * d p s * = t 2 p ( c p - t 2 p s * - p d p s * ) > t 2 p ( c p - d p s * ) > 0 ,

which implies that h increases in [ t 2 , 1 ] . Then we get

inf I ( 𝒩 λ + ) = lim k I ( u k ) ϕ u ( 1 ) + c p p - d p s * p s * = h ( 1 )
> h ( t 2 ) = ϕ u ( t 2 ) + c p t 2 p p - d p s * t 2 p s * p s *
ϕ u ( t 2 ) + t 2 p p ( c p - d p s * ) > ϕ u ( t 2 )
> ϕ u ( t 1 ) inf I ( 𝒩 λ + ) ,

which is a contradiction.

(ii) In this case, we have ( c p p - d p s * p s * ) < 0 and S d p c p . Since λ ( 0 , Λ 1 ) , we have

sup { u p : u 𝒩 λ + } ( p p s * ) p p s * - p S p s * p s * - p < c p sup { u p : u 𝒩 λ + } ,

which gives a contradiction.

Consequently, only (iii) holds true, where we have

inf I ( 𝒩 λ + ) = I ( u λ ) + c p p - d p s * p s * I ( u λ ) = ϕ u λ ( 1 ) ϕ u λ ( t 1 ) inf I ( 𝒩 λ + ) .

Clearly, this holds when t 1 = 1 and ( c p p - d p s * p s * ) = 0 , which yields c = 0 and u λ 𝒩 λ + . Thus, u k u λ strongly in X 0 as k and I ( u λ ) = inf I ( 𝒩 λ + ) . ∎

Proposition 4.2.

u λ is a positive weak solution of ().

Proof.

Let ψ C c ( Ω ) . By Lemma 3.7, since ϕ > 0 , we can find β > 0 such that u λ β on the support of ψ. Then u λ + ϵ ψ 0 for small ϵ. With similar reasoning as in the proof of Lemma 3.5, I ( u λ + ϵ ψ ) I ( u λ ) for sufficiently small ϵ > 0 . Then we have

0 lim ϵ 0 I ( u λ + ϵ ψ ) - I ( u λ ) ϵ
= Q | u λ ( x ) - u λ ( y ) | p - 2 ( u λ ( x ) - u λ ( y ) ) ( ψ ( x ) - ψ ( y ) ) | x - y | n + p s 𝑑 x 𝑑 y - λ Ω u λ - q ψ 𝑑 x - Ω u λ α ψ 𝑑 x .

Since ψ C c ( Ω ) is arbitrary, we conclude that u λ is a positive weak solution of (). ∎

We recall the following comparison principle from [32].

Lemma 4.3.

Let u , v X 0 be such that u v in R n Ω and

Q ( | u ( x ) - u ( y ) | p - 2 ( u ( x ) - u ( y ) ) - | v ( x ) - v ( y ) | p - 2 ( v ( x ) - v ( y ) ) ) ( ψ ( x ) - ψ ( y ) ) | x - y | n + p s 𝑑 x 𝑑 y 0

for all 0 ψ X 0 . Then u v in Ω.

Proof.

The proof follows by taking ψ = ( v - u ) + and using the equality

| b | p - 2 b - | a | p - 2 a = ( p - 1 ) ( b - a ) 0 1 | a + t ( b - a ) | p - 2 d t .

As a consequence, we have the following.

Lemma 4.4.

We have Λ 1 < .

Proof.

Suppose Λ 1 = . Then, from Proposition 4.2, () has a solution for all λ. Now, we choose λ large enough such that

λ t - q + t p s * - 1 > ( λ 1 + ϵ ) t p - 1 for all  t ( 0 , ) .

Then u ¯ := u λ is a super solution of the eigenvalue problem

(Qϵ) u X 0 , ( - Δ p ) s u = ( λ 1 + ϵ ) | u | p - 2 u in  Ω .

Also we can choose r small enough such that u ¯ := r ϕ 1 is a subsolution of ().

Then, using the boundedness of u λ (see Theorem 6.4) and ϕ 1 , we can further choose r small enough such that u ¯ u ¯ .

Now, we consider the following monotone iterations:

u 0 = r ϕ 1 , u n X 0  such that  ( - Δ p ) s u k = ( λ 1 + ϵ ) | u k - 1 | p - 2 u n - 1  in  Ω .

Then, by the weak comparison Lemma 4.3, we get

r ϕ 1 ( x ) u 1 ( x ) u 2 ( x ) u k - 1 ( x ) u k ( x ) u λ ( x ) for all  x Ω .

Therefore, the sequence { u k } is bounded in X 0 , and hence has a weakly convergent subsequence, still calling it { u k } , that converges to u 0 in X 0 . Thus, u 0 is a weak solution of (). Since ϵ > 0 is arbitrary, we get a contradiction to the simplicity and isolatedness of λ 1 . ∎

5 Existence of minimizer on 𝒩 λ -

In this section we show the existence of second solution for () in the subcritical case. We assume α + 1 < p s * throughout this section.

Proposition 5.1.

For all λ ( 0 , Λ 1 ) , there exist v λ N λ - satisfying I ( v λ ) = inf I ( N λ - ) .

Proof.

Assume 0 < q 1 and λ ( 0 , Λ 1 ) . We will show that there exists v λ 𝒩 λ - with I ( v λ ) = inf I ( 𝒩 λ - ) . Let { v k } 𝒩 λ - be a sequence such that lim k I ( v k ) = inf I ( 𝒩 λ - ) . Using Lemma 3.4, we can assume that v k v λ weakly as k in X 0 . We claim that v λ X + , q . When 0 < q < 1 , if v λ = 0 , then { v k } converges strongly to 0, which contradicts Lemma 3.4. If q = 1 , we similarly have - < Ω ln ( | v k | ) 𝑑 x as in the earlier section. So, in both cases we get v λ X + , q . Next we claim that { v k } converges strongly to v λ in X 0 . Suppose not. Then, we may assume v k - v λ d > 0 and we have the following:

  1. inf I ( 𝒩 λ - ) = lim I ( v k ) I ( v λ ) + d p p ,

  2. ϕ v k ( 1 ) = 0 and ϕ v k ′′ ( 1 ) < 0 for each k ϕ v λ ( 1 ) + d p = 0 and ϕ v λ ′′ ( 1 ) + d p 0 .

By (2), we have ϕ v λ ( 1 ) < 0 and ϕ v λ ′′ ( 1 ) < 0 . So, there exists t 2 ( 0 , 1 ) such that ϕ v λ ( t 2 ) = 0 and ϕ v λ ′′ ( t 2 ) < 0 . Thus, t 2 v λ 𝒩 λ - . Define g : + as g ( t ) = ϕ v λ ( t ) + d p t p 2 for t > 0 . From (2), we get g ( 1 ) = 0 and, since 0 < t 2 < 1 , g ( t 2 ) = d p t 2 p - 1 > 0 . So, g is increasing on [ t 2 , 1 ] . Now, we obtain

inf I ( 𝒩 λ - ) I ( v λ ) + d p p = ϕ v λ ( 1 ) + d p p = g ( 1 ) g ( t 2 ) > ϕ v λ ( t 2 ) = I ( t 2 v λ ) inf I ( 𝒩 λ - ) ,

which gives a contradiction. Hence, d = 0 , and thus { v k } converges strongly to v λ in X 0 . Since λ ( 0 , Λ 1 ) , we have ϕ v λ ′′ ( 1 ) < 0 . Therefore, we obtain v λ 𝒩 λ - and I ( v λ ) = inf I ( 𝒩 λ - ) . This completes the proof of this proposition for the subcritical case. ∎

Proposition 5.2.

For λ ( 0 , Λ 1 ) , v λ is a positive weak solution of ().

Proof.

Let ψ C c ( Ω ) . Using Lemma 3.7, since ϕ > 0 in Ω, we can find β > 0 such that v λ β on the support of ψ. Also, t ϵ 1 as ϵ 0 + , where t ϵ is the unique positive real number corresponding to ( v λ + ϵ ψ ) such that t ϵ ( v λ + ϵ ψ ) 𝒩 λ - . Then, by Lemma 3.5, we have

0 lim ϵ 0 I ( t ϵ ( v λ + ϵ ψ ) ) - I ( v λ ) ϵ lim ϵ 0 I ( t ϵ ( v λ + ϵ ψ ) ) - I ( t ϵ v λ ) ϵ
= Q | v λ ( x ) - v λ ( y ) | p - 2 ( v λ ( x ) - v λ ( y ) ) ( ψ ( x ) - ψ ( y ) ) | x - y | n + s p 𝑑 x 𝑑 y - Ω ( λ v λ - q + v λ α ) ψ 𝑑 x .

Since ψ C c ( Ω ) is arbitrary, we conclude that v λ is a positive weak solution of (). ∎

Proof of Theorem 2.4.

The proof follows from Propositions 4.2 and 5.2. ∎

Remark 5.3.

To prove the existence of second positive solution in the critical case, one requires to know the classification of exact solutions of the problem

( - Δ p ) s u = | u | p s * - 2 u in  n .

These are the minimizers of S, the best constant of the embedding X 0 into L p s * . In [6, 38], several estimates on these minimizers were obtained, and it was conjectured that the solutions are dilations and translations of the radial function

U ( x ) = 1 ( 1 + | x | p ) N - s p p , x n ,

where p = p p - 1 . In the case p = 2 , these classifications were proved in [41], where, in addition, it was proved that all solutions are classified by dilations and translations of U ( x ) . Using these classifications, in [39], it was shown that

sup { I ( u λ + t U ϵ ) : t 0 } < I ( u λ ) + s n S n 2 s ,

where U ϵ = ϵ - n - 2 s 2 U ( x ϵ ) , x n , ϵ > 0 and u λ is the minimizer on 𝒩 λ + . Then, by carefully analysing the related fiber maps, it was shown that u λ + t U ϵ 𝒩 λ - for large t. From this it follows

inf I ( 𝒩 λ - ) < I ( u λ ) + s n S n 2 s .

Then the existence of a minimizer of N λ - was shown using the analysis of fibering maps in Lemma 3.2.

6 Regularity of weak solutions

In this section, we shall prove some regularity properties of positive weak solutions of (). We begin with the following lemma.

Lemma 6.1.

Suppose u is a weak solution of (). Then, for each w X 0 , u - q w L 1 ( Ω ) and

(6.1) Q | u ( x ) - u ( y ) | p - 2 ( u ( x ) - u ( y ) ) ( w ( x ) - w ( y ) ) | x - y | n + s p 𝑑 x 𝑑 y - Ω ( λ u - q + u α ) w 𝑑 x = 0 .

Proof.

Let u be a weak solution of () and w X + . By Lemma 2.2, we get a sequence { w k } X 0 such that { w k } w strongly in X 0 . Each w k has compact support in Ω and 0 w 1 w 2 . Therefore, u is a positive weak solution of () and, for each k, we get

λ Ω u - q w k 𝑑 x = Q | u ( x ) - u ( y ) | p - 2 ( u ( x ) - u ( y ) ) ( w k ( x ) - w k ( y ) ) | x - y | n + s p 𝑑 x 𝑑 y - Ω u α w k 𝑑 x .

Using the monotone convergence theorem, we get u - q w L 1 ( Ω ) and

λ Ω u - q w 𝑑 x = Q | u ( x ) - u ( y ) | p - 2 ( u ( x ) - u ( y ) ) ( w ( x ) - w ( y ) ) | x - y | n + s p 𝑑 x 𝑑 y - Ω u α w 𝑑 x .

If w X 0 , then w = w + - w - and w + , w - X + . Since we proved the lemma for each w X + , we obtain the conclusion. ∎

Before proving our next result, let us recall some estimates or inequalities from [7].

Lemma 6.2.

Let 1 < p < and f : R R be a 𝐶 1 convex function. If τ 0 , t , a , b R and A , B > 0 , then

| f ( a ) - f ( b ) | p - 2 ( f ( a ) - f ( b ) ) ( A - B ) | a - b | p - 2 ( a - b ) ( A | f ( a ) | p - 2 f ( a ) - B | f ( b ) | p - 2 f ( b ) ) .

Lemma 6.3.

Let 1 < p < and g : R R be an increasing function. Then we have

| G ( a ) - G ( b ) | p | a - b | p - 2 ( a - b ) ( g ( a ) - g ( b ) ) ,

where G ( t ) = 0 t g ( τ ) 1 p 𝑑 τ for t R .

Theorem 6.4.

Let u be a positive solution of (). Then u L ( Ω ) .

Proof.

The proof here is adopted from Brasco and Parini [7]. Let ϵ > 0 be very small and define

f ϵ ( t ) = ( ϵ 2 + t 2 ) 1 2 ,

which is smooth, convex and Lipschitz. Let 0 < ψ C c ( Ω ) and take φ = ψ | f ϵ ( u ) | p - 2 f ϵ ( u ) as the test function in (6.1). By taking the choices

a = u ( x ) , b = u ( y ) , A = ψ ( x ) , B = ψ ( y )

in Lemma 6.2, we get

Q | f ϵ ( u ( x ) ) - f ϵ ( u ( y ) ) | p - 2 ( f ϵ ( u ( x ) ) - f ϵ ( u ( y ) ) ) ( ψ ( x ) - ψ ( y ) ) | x - y | n + s p 𝑑 x 𝑑 y Ω ( | λ u - q + u α | ) | f ϵ ( u ) | p - 1 ψ 𝑑 x .

As t 0 , f ϵ ( t ) | t | and we have | f ϵ ( t ) | 1 . So using Fatou’s lemma, we let ϵ 0 in the above inequality to get

(6.2) Q | | u ( x ) | - | u ( y ) | | p - 2 ( | u ( x ) | - | u ( y ) | ) ( ψ ( x ) - ψ ( y ) ) | x - y | n + s p 𝑑 x 𝑑 y Ω ( | λ u - q + u α | ) ψ 𝑑 x

for every 0 < ψ C c ( Ω ) . The above inequality still holds for 0 ψ X 0 ( similar proof as of Lemma 6.1). Now, define u K = min { ( u - 1 ) + , K } X 0 for K > 0 . For β > 0 and ρ > 0 , we take ψ = ( u K + ρ ) β - ρ β as test function in (6.2) and get

Q | u ( x ) | - | u ( y ) | p - 2 ( | u ( x ) | - | u ( y ) | ) ( ( u K ( x ) + ρ ) β - ( u K ( y ) + ρ ) β ) | x - y | n + s p 𝑑 x 𝑑 y Ω ( | λ u - q + u α | ) ( ( u K + ρ ) β - ρ β ) 𝑑 x .

Then, using Lemma 6.3 with the function g ( u ) = ( u K + ρ ) β , we get

Q | ( u K ( x ) + ρ ) β + p - 1 p - ( u K ( y ) + ρ ) β + p - 1 p | n + s p x - y 𝑑 x 𝑑 y
( β + p - 1 ) p β p p Q | | u ( x ) | - | u ( y ) | | p - 2 ( | u ( x ) | - | u ( y ) | ) ( ( u K ( x ) + ρ ) β - ( u K ( y ) + ρ ) β ) | x - y | n + s p 𝑑 x 𝑑 y
( β + p - 1 ) p β p p Ω λ | u - q | ( ( u K + ρ ) β - ρ β ) d x + Ω | u α | ( ( u K + ρ ) β - ρ β ) d x .

Now, from the support of u K , we have

Ω λ | u - q | ( ( u K + ρ ) β - ρ β ) d x + Ω | u α | ( ( u K + ρ ) β - ρ β ) d x
= { u 1 } λ | u - q | ( ( u K + ρ ) β - ρ β ) d x + { u 1 } | u α | ( ( u K + ρ ) β - ρ β ) d x
C 1 { u 1 } ( 1 + | u | α ) ( ( u K + ρ ) β - ρ β ) 𝑑 x
2 C 1 { u 1 } | u | α ( ( u K + ρ ) β - ρ β ) d x
2 C 1 | u | p s * α | ( u K + ρ ) β | r ,

where C 1 = max { λ , 1 } and r = p s * p s * - α . Using the Sobolev inequality, given in [33, Theorem 1], we get

Q | ( u K ( x ) + ρ ) β + p - 1 p - ( u K ( y ) + ρ ) β + p - 1 p | x - y n + s p 𝑑 x 𝑑 y 1 T p , s | ( u K + ρ ) β + p - 1 p - ρ β + p - 1 p | p s * p
1 T p , s ( ( ρ 2 ) p - 1 | ( u K + ρ ) β p | p s * p - ρ β + p - 1 | Ω | p p s * ) ,

where T p , s is a nonnegative constant and the last inequality follows from the triangle inequality and ( u K + ρ ) β + p - 1 ρ p - 1 ( u K + ρ ) β . Using all these estimates, we now have

| ( u K + ρ ) β p | p s * p C ( T p , s ( 2 ρ ) p - 1 ( ( β + p - 1 ) p β p p ) | u | p s * α | ( u K + ρ ) β | r + ρ β | Ω | p p s * ) ,

where C = C ( p ) > 0 is a constant. By the convexity of the map t t p , we can show that

1 β ( β + p - 1 p ) p 1 .

Using this, we can also check that

ρ β | Ω | p p s * 1 β ( β + p - 1 p ) p | Ω | 1 - 1 r - s p n | ( u K + ρ ) β | r .

Hence, we have

| ( u K + ρ ) β p | p s * p C 1 β ( β + p - 1 p ) p | ( u K + ρ ) β | r ( T p , s | u | p s * α ρ p - 1 + | Ω | 1 - 1 r - s p n )

for C = C ( p ) > 0 constant. We now choose

ρ = ( T p , s | u | p s * α ) 1 p - 1 | Ω | - 1 p - 1 ( 1 - 1 r - s p n ) ,

and let β 1 be such that

1 β ( β + p - 1 p ) p β p - 1 .

In addition, if we let τ = β r and ν = p s * p r > 1 , then the above inequality reduces to

(6.3) | ( u K + ρ ) | ν τ ( C | Ω | 1 - 1 r - s p n ) r τ ( τ r ) ( p - 1 ) r τ | ( u K + ρ ) | τ .

At this stage, if we take K , then we can say that ( u - 1 ) + L m ( Ω ) for all m. This will imply that u L m ( Ω ) for all m. Now, we iterate (6.3) using τ 0 = r , and let τ m + 1 = ν τ m = ν m + 1 r , which gives

(6.4) | ( u K + ρ ) | τ m + 1 ( C | Ω | 1 - 1 r - s p n ) i = 0 m r τ i ( i = 0 m ( τ i r ) r τ i ) p - 1 | ( u K + ρ ) | r .

Since ν > 1 ,

i = 0 r τ i = i = 0 m 1 ν i = ν ν - 1 and i = 0 ( ( τ i r ) r τ i ) p - 1 = ν ν ( ν - 1 ) 2 .

Taking limit as m 0 in (6.4), we finally get

| u K | ( C ν ν ( ν - 1 ) 2 ) p - 1 ( | Ω | 1 - 1 r - s p n ) ν ν - 1 | ( u K + ρ ) | r .

Since u K ( u - 1 ) + , using the triangle inequality in the above inequality, we get

| u K | C ( ν ν ( ν - 1 ) 2 ) p - 1 ( | Ω | 1 - 1 r - s p n ) ν ν - 1 ( | ( u - 1 ) + | r + ρ | Ω | 1 r )

for some constant C = C ( p ) > 0 . If we now let K , we get

| ( u - 1 ) + | C ( ν ν ( ν - 1 ) 2 ) p - 1 ( | Ω | 1 - 1 r - s p n ) ν ν - 1 ( | ( u - 1 ) + | r + ρ | Ω | 1 r ) .

Hence, in particular, we have that u L ( Ω ) . ∎

Theorem 6.5.

Let u be a positive solution of (). Then there exists γ ( 0 , s ] such that u C loc γ ( Ω ) .

Proof.

Let Ω Ω . Then, using Lemma 3.7 and the above regularity result, for any ψ C c ( Ω ) , we get

λ Ω u - q ψ 𝑑 x + Ω u α ψ 𝑑 x λ Ω ϕ 1 - q ψ 𝑑 x + u α Ω ψ 𝑑 x C Ω ψ 𝑑 x

for some constant C > 0 , since we can find k > 0 such that ϕ 1 > k on Ω . Thus, we have | ( - Δ p ) s u | C weakly in Ω . So, using [31, Theorem 4.4] and applying a covering argument on the above inequality as in [31, Corollary 5.5], we can prove that there exists γ ( 0 , s ] such that u C γ ( Ω ) for all Ω Ω . Therefore, we get u C loc γ ( Ω ) . ∎

7 Global existence of solution

In this section, we show the existence of solution for maximal range of λ. Let us define

Λ = sup { λ > 0 : ( P λ )  has a solution } .

Lemma 7.1.

We have Λ < + .

Proof.

The proof follows similarly to the proof of Lemma 4.4. ∎

In the following lemmas, we will show the existence of a solution of () when λ ( 0 , Λ ) .

Lemma 7.2.

If u ¯ X 0 is a weak sub-solution and u ¯ X 0 is a weak super-solution of () such that u ¯ u ¯ a.e. in Ω, then there exists a weak solution u X 0 satisfying u ¯ u u ¯ .

Proof.

We follow [28]. We know that the functional I is non- differentiable in X 0 . Let M := { u X 0 : u ¯ u u ¯ } . Then M is closed and convex, and I is weakly lower semicontinuous on M. We can see that if { u k } M and u k u weakly in X 0 as k , then we may assume u k u pointwise a.e. in Ω (along a subsequence). Since u M , Ω | u ¯ | α + 1 d x < + and Ω G q ( u ¯ ) 𝑑 x < + , so, by Lebesgue’s dominated convergence theorem,

Ω | u k | α + 1 d x Ω | u | α + 1 d x  and  Ω G q ( u k ) d x Ω G q ( u ) d x .

So, lim ¯ k I ( u k ) I ( u ) . Thus, there exists u M such that I ( u ) = inf I ( M ) . We claim that u is a weak solution of (). For ϵ > 0 and φ X 0 , define v ϵ = u + ϵ φ - φ ϵ + φ ϵ M , where φ ϵ = ( u + ϵ φ - u ¯ ) + 0 and φ ϵ = ( u + ϵ φ - u ¯ ) - 0 . For t ( 0 , 1 ) , u + t ( v ϵ - u ) M and we have

0 I ( u + t ( v ϵ - u ) ) - I ( u ) t
= lim t 0 ( 1 p t ( u + t ( v ϵ - u ) p - u p ) + λ Ω ( G q ( u + t ( v ϵ - u ) ) - G q ( u ) ) t d x
- 1 α + 1 Ω | u + t ( v ϵ - u ) | α + 1 - | u | α + 1 t d x )
= Q | u ( x ) - u ( y ) | p - 2 ( u ( x ) - u ( y ) ) ( ( v ϵ - u ) ( x ) - ( v ϵ - u ) ( y ) ) | x - y | n + s p 𝑑 x 𝑑 y
- λ Ω u - q ( v ϵ - u ) 𝑑 x - Ω u α ( v ϵ - u ) 𝑑 x ,

which gives

(7.1) Q | u ( x ) - u ( y ) | p - 2 ( u ( x ) - u ( y ) ) ( φ ( x ) - φ ( y ) ) | x - y | n + s p 𝑑 x 𝑑 y - Ω ( λ u - q + u α ) φ 𝑑 x 1 ϵ ( H ϵ - H ϵ ) ,

where

H ϵ = Q | u ( x ) - u ( y ) | p - 2 ( u ( x ) - u ( y ) ) ( φ ϵ ( x ) - φ ϵ ( y ) ) | x - y | n + s p 𝑑 x 𝑑 y - Ω ( λ u - q + u α ) φ ϵ 𝑑 x ,
H ϵ = Q | u ( x ) - u ( y ) | p - 2 ( u ( x ) - u ( y ) ) ( φ ϵ ( x ) - φ ϵ ( y ) ) | x - y | n + s p 𝑑 x 𝑑 y - Ω ( λ u - q + u α ) φ ϵ 𝑑 x .

Now, we consider

1 ϵ H ϵ = 1 ϵ ( Q | u ( x ) - u ( y ) | p - 2 ( u ( x ) - u ( y ) ) ( φ ϵ ( x ) - φ ϵ ( y ) ) | x - y | n + s p 𝑑 x 𝑑 y - Ω ( λ u - q + u α ) φ ϵ 𝑑 x ) .

Let Ω 1 = { u + ϵ φ u ¯ > u } and Ω 2 = { u + ϵ φ < u ¯ } . Then, using the technique of Lemma 3.7, we get

1 ϵ Q | u ( x ) - u ( y ) | p - 2 ( u ( x ) - u ( y ) ) ( φ ϵ ( x ) - φ ϵ ( y ) ) | x - y | n + s p 𝑑 x 𝑑 y
= 1 ϵ ( Ω 1 × Ω 1 + Ω 1 × Ω 2 + Ω 2 × Ω 1 ) | u ( x ) - u ( y ) | p - 2 ( u ( x ) - u ( y ) ) ( φ ϵ ( x ) - φ ϵ ( y ) ) | x - y | n + s p d x d y
= 1 ϵ Ω 1 × Ω 1 | u ( x ) - u ( y ) | p - 2 ( u ( x ) - u ( y ) ) ( ( u - u ¯ ) ( x ) - ( u - u ¯ ) ( y ) ) | x - y | n + s p 𝑑 x 𝑑 y
    + Ω 1 × Ω 1 | u ( x ) - u ( y ) | p - 2 ( u ( x ) - u ( y ) ) ( φ ( x ) - φ ( y ) ) | x - y | n + s p 𝑑 x 𝑑 y
    + 1 ϵ Ω 1 × Ω 2 | u ( x ) - u ( y ) | p - 2 ( u ( x ) - u ( y ) ) | x - y | n + s p ( u - u ¯ ) ( x ) 𝑑 x 𝑑 y
    + Ω 1 × Ω 2 | u ( x ) - u ( y ) | p - 2 ( u ( x ) - u ( y ) ) | x - y | n + s p φ ( x ) 𝑑 x 𝑑 y
    - 1 ϵ Ω 2 × Ω 1 | u ( x ) - u ( y ) | p - 2 ( u ( x ) - u ( y ) ) | x - y | n + s p ( u - u ¯ ) ( y ) 𝑑 x 𝑑 y
    - Ω 2 × Ω 1 | u ( x ) - u ( y ) | p - 2 ( u ( x ) - u ( y ) ) | x - y | n + s p φ ( y ) 𝑑 x 𝑑 y
3 ϵ 2 p - 2 Ω 1 × Ω 1 | ( u - u ¯ ) ( x ) - ( u - u ¯ ) ( y ) | p | x - y | n + s p 𝑑 x 𝑑 y
    + Ω 1 × Ω 1 | u ( x ) - u ( y ) | p - 2 ( u ( x ) - u ( y ) ) ( φ ( x ) - φ ( y ) ) | x - y | n + s p 𝑑 x 𝑑 y
Ω 1 × Ω 1 | u ( x ) - u ( y ) | p - 2 ( u ( x ) - u ( y ) ) ( φ ( x ) - φ ( y ) ) | x - y | n + s p 𝑑 x 𝑑 y ,

where we used the inequality | a - b | p 2 p - 2 ( | a | p - 2 a - | b | p - 2 b ) ( a - b ) for p 2 and a , b . Thus,

1 ϵ H ϵ Ω 1 × Ω 1 | u ( x ) - u ( y ) | p - 2 ( u ( x ) - u ( y ) ) ( φ ( x ) - φ ( y ) ) | x - y | n + s p 𝑑 x 𝑑 y - Ω 1 ( λ u - q + u α ) φ ϵ 𝑑 x
Ω 1 × Ω 1 | u ( x ) - u ( y ) | p - 2 ( u ( x ) - u ( y ) ) ( φ ( x ) - φ ( y ) ) | x - y | n + s p d x d y - Ω 1 | λ u ¯ - q - u - q | | φ | d x
= o ( 1 ) as  ϵ 0 ,

since | Ω 1 | 0 as ϵ 0 . Similarly, as ϵ 0 , we can show that

1 ϵ H ϵ o ( 1 ) .

Therefore, taking ϵ 0 in (7.1), we get

Q | u ( x ) - u ( y ) | p - 2 ( u ( x ) - u ( y ) ) ( φ ( x ) - φ ( y ) ) | x - y | n + s p 𝑑 x 𝑑 y - Ω ( λ u - q + u α ) φ 𝑑 x o ( 1 ) .

Since φ X 0 is arbitrary, for all φ X 0 , we get

Q | u ( x ) - u ( y ) | p - 2 ( u ( x ) - u ( y ) ) ( φ ( x ) - φ ( y ) ) | x - y | n + s p 𝑑 x 𝑑 y - Ω ( λ u - q + u α ) φ 𝑑 x = 0 .

Proposition 7.3.

For λ ( 0 , Λ ) , () has a weak solution u λ X 0 .

Proof.

We fix λ ( 0 , Λ ) . By the definition of Λ, there exists λ 0 ( λ , Λ ) such that (P λ 0 ) has a solution u λ 0 , say. Then u ¯ = u λ 0 becomes a super-solution of (). Now, consider the function ϕ 1 as the eigenfunction of ( - Δ p ) s corresponding to the smallest eigenvalue λ 1 . Then ϕ 1 L ( Ω ) and

( - Δ p ) s ϕ 1 = λ 1 | ϕ 1 | p - 2 ϕ 1 , ϕ 1 > 0 in  Ω , ϕ 1 = 0 on  n Ω .

Let us choose t > 0 such that t ϕ 1 u ¯ and t p + q - 1 ϕ 1 p + q - 1 λ λ 1 . If we define u ¯ = t ϕ 1 , then

( - Δ p ) s u ¯ = λ 1 t p - 1 ϕ 1 p - 1 λ t - q ϕ 1 - q λ t - q ϕ 1 - q + t α ϕ 1 α = λ u ¯ - q + u ¯ α ,

that is, u ¯ is a sub-solution of () and u ¯ u ¯ . Applying Lemma 7.2, we conclude that () has a solution for all λ ( 0 , Λ ) . This completes the proof. ∎

Proof of Theorem 2.6.

The proof follows from Proposition 7.3 and Lemma 7.1. ∎

Remark 7.4.

We remark that using the method in Lemma 7.2, we can show the existence of solution for the following pure singular problem:

(7.2) ( - Δ p ) s u = λ u - q in  Ω , u = 0 in  n Ω ,

where 0 < q < 1 . We define u to be a positive weak solution of (7.2) if u > 0 in Ω, u X 0 and

Q | u ( x ) - u ( y ) | p - 2 ( u ( x ) - u ( y ) ) ( ψ ( x ) - ψ ( y ) ) | x - y | n + s p 𝑑 x 𝑑 y - λ Ω u - q 𝑑 x = 0 for all  0 ψ X 0 .

Also, we say that u X 0 is a positive weak sub-solution of (7.2) if u > 0 and

Q | u ( x ) - u ( y ) | p - 2 ( u ( x ) - u ( y ) ) ( ψ ( x ) - ψ ( y ) ) | x - y | n + s p 𝑑 x 𝑑 y λ Ω u - q 𝑑 x for all  0 ψ X 0 .

We define the functional J λ : X 0 ( - , ] by

J λ ( u ) = 1 p Q | u ( x ) - u ( y ) | p | x - y | n + s p 𝑑 x 𝑑 y - λ Ω G q ( u ) 𝑑 x ,

where G q is as defined in Section 2. One can easily see that J λ is coercive, bounded below and weakly lower semicontinuous in X 0 . Thus, there exist u 0 X 0 such that inf I ( X 0 ) = I ( u 0 ) . We claim that u 0 is a positive weak solution of (7.2). We choose t > 0 such that t ϕ 1 u 0 in Ω and t ϕ 1 is a sub-solution of (7.2) ( ϕ 1 is defined in Proposition 7.3). Let us define M := { u X 0 : u ¯ u } , where u ¯ is a weak sub-solution of (7.2). Then u 0 M , and following the proof of Lemma 7.2 with v ϵ = u 0 + ϵ φ + φ ϵ , where ϵ > 0 , φ ϵ = ( u 0 + ϵ φ - u ¯ ) - and φ X 0 , we can show that u 0 is a positive weak solution of (7.2).

References

[1] Adimurthi and J. Giacomoni, Multiplicity of positive solutions for a singular and critical elliptic problem in 2 , Commun. Contemp. Math. 8 (2006), no. 5, 621–656. 10.1142/S0219199706002222Search in Google Scholar

[2] G. Arioli and F. Gazzola, Some results on p-Laplace equations with a critical growth term, Differential Integral Equations 11 (1998), no. 2, 311–326. 10.57262/die/1367341073Search in Google Scholar

[3] B. Barrios, E. Coloradoc, R. Servadei and F. Soriaa, A critical fractional equation with concave-convex power nonlinearities, Ann. Inst. H. Poincaré Anal. Non Linéaire 32 (2015), 875–900. 10.1016/j.anihpc.2014.04.003Search in Google Scholar

[4] B. Barrios, I. De Bonis, M. María and I. Peral, Semilinear problems for the fractional Laplacian with a singular nonlinearity, Open Math. J. 13 (2015), 390–407. 10.1515/math-2015-0038Search in Google Scholar

[5] B. Brändle, E. Colorado, A. de Pablo and U. Sànchez, A concave-convex elliptic problem involving the fractional Laplacian, Proc. Roy. Soc. Edinburgh Sect. A 143 (2013), 39–71. 10.1017/S0308210511000175Search in Google Scholar

[6] L. Brasco, S. Mosconi and M. Squassina, Optimal decay of extremals for the fractional Sobolev inequality, Calc. Var. Partial Differential Equations 55 (2016), no. 2, Article ID 23. 10.1007/s00526-016-0958-ySearch in Google Scholar

[7] L. Brasco and E. Parini, The second eigenvalue of the fractional p-Laplacian, Adv. Calc. Var. 9 (2016), no. 4, 323–355. 10.1515/acv-2015-0007Search in Google Scholar

[8] X. Cabré and J. G. Tan, Positive solutions of nonlinear problem involving the square root of the Laplacian, Adv. Math. 224 (2010), no. 2, 2052–2093. 10.1016/j.aim.2010.01.025Search in Google Scholar

[9] D. Cao, S. Peng and S. Yan, Infinitely many solutions for p-Laplacian equation involving critical Sobolev growth, J. Funct. Anal. 262 (2012), 2861–2902. 10.1016/j.jfa.2012.01.006Search in Google Scholar

[10] F. Cîrstea, M. Ghergu and V. Rădulescu, Combined effects of asymptotically linear and singular nonlinearities in bifurcation problems of Lane–Emden–Fowler type, J. Math. Pures Appl. (9) 84 (2005), 493–508. 10.1016/j.matpur.2004.09.005Search in Google Scholar

[11] M. M. Coclite and G. Palmieri, On a singular nonlinear Dirichlet problem, Comm. Partial Differential Equations 14 (1989), no. 10, 1315–1327. 10.1080/03605308908820656Search in Google Scholar

[12] M. G. Crandall, P. H. Rabinowitz and L. Tartar, On a Dirichlet problem with a singular nonlinearity, Comm. Partial Differential Equations 2 (1977), 193–222. 10.1080/03605307708820029Search in Google Scholar

[13] D. G. de Figueiredo, J. P. Gossez and P. Ubilla, Local “superlinearity” and “sublinearity” for the p-Laplacian, J. Funct. Anal. 257 (2009), 721–752. 10.1007/978-3-319-02856-9_43Search in Google Scholar

[14] J. I. Diaz, J. M. Morel and L. Oswald, An elliptic equation with singular nonlinearity, Comm. Partial Differential Equations 12 (1987), 1333–1344. 10.1080/03605308708820531Search in Google Scholar

[15] L. Dupaigne, M. Ghergu and V. Rădulescu, Lane–Emden–Fowler equations with convection and singular potential, J. Math. Pures Appl. (9) 87 (2007), 563–581. 10.1016/j.matpur.2007.03.002Search in Google Scholar

[16] G. Franzina and G. Palatucci, Fractional p-eigenvalues, Riv. Math. Univ. Parma (N.S.) 5 (2014), no. 2, 373–386. Search in Google Scholar

[17] J. P. Garcia Azorero and I. Peral Alonso, Some results about the existence of a second positive solution in a quasilinear critical problem, Indiana Univ. Math. J. 43 (1994), 941–957. 10.1512/iumj.1994.43.43041Search in Google Scholar

[18] M. Ghergu and V. Rădulescu, Sublinear singular elliptic problems with two parameters, J. Differential Equations 195 (2003), 520–536. 10.1016/S0022-0396(03)00105-0Search in Google Scholar

[19] M. Ghergu and V. Rădulescu, Multiparameter bifurcation and asymptotics for the singular Lane–Emden–Fowler equation with a convection term, Proc. Roy. Soc. Edinburgh Sect. A 135 (2005), 61–84. 10.1017/S0308210500003760Search in Google Scholar

[20] M. Ghergu and V. Rădulescu, On a class of sublinear singular elliptic problems with convection term, J. Math. Anal. Appl. 311 (2005), 635–646. 10.1016/j.jmaa.2005.03.012Search in Google Scholar

[21] M. Ghergu and V. Rădulescu, Singular Elliptic Problems. Bifurcation and Asymptotic Analysis, Oxford Lecture Ser. Math. Appl. 37, Oxford University Press, Oxford, 2008. 10.1093/oso/9780195334722.003.0002Search in Google Scholar

[22] J. Giacomoni, J. Hernandez and P. Sauvy, Quasilinear and singular elliptic systems, Adv. Nonlinear Anal. 2 (2013), no. 1, 1–41. 10.1515/anona-2012-0019Search in Google Scholar

[23] J. Giacomoni, I. Schindler and P. Taḱaĉ, Sobolev versus Hölder local minimizers and existence of multiple solutions for a singular quasilinear equation, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 6 (2007), 117–158. 10.2422/2036-2145.2007.1.07Search in Google Scholar

[24] J. Giacomoni, I. Schindler and P. Taḱaĉ, Singular quasilinear elliptic equations and Hölder regularity, C. R. Math. Acad. Sci. Paris 350 (2012), no. 7–8, 383–388. 10.1016/j.crma.2012.04.007Search in Google Scholar

[25] S. Goyal and K. Sreenadh, On multiplicity of positive solutions for N-Laplacian with singular and critical nonlinearity, Complex Var. Elliptic Equ. 59 (2014), no. 12, 1636–1649. 10.1080/17476933.2013.870561Search in Google Scholar

[26] S. Goyal and K. Sreenadh, Existence of multiple solutions of p-fractional Laplace operator with sign-changing weight function, Adv. Nonlinear Anal. 4 (2015), no. 1, 37–58. 10.1515/anona-2014-0017Search in Google Scholar

[27] S. Goyal and K. Sreenadh, The Nehari manifold for non-local elliptic operator with concave-convex nonlinearities and sign-changing weight functions, Proc. Indian Acad. Sci. Math. Sci. 125 (2015), no. 4, 545–558. 10.1007/s12044-015-0244-5Search in Google Scholar

[28] Y. Haitao, Multiplicity and asymptotic behaviour of positive solutions for a singular semilinear elliptic problem, J. Differential Equations 189 (2003), 487–512. 10.1016/S0022-0396(02)00098-0Search in Google Scholar

[29] J. Hernández, F. J. Mancebo and J. M. Vega, On the linearization of some singular nonlinear elliptic problems and applications, Ann. Inst. H. Poincaré Anal. Non Linéaire 19 (2002), 777–813. 10.1016/s0294-1449(02)00102-6Search in Google Scholar

[30] N. Hirano, C. Saccon and N. Shioji, Existence of multiple positive solutions for singular elliptic problems with concave and convex nonlinearities, Adv. Differential Equations 9 (2004), no. 1–2, 197–220. 10.57262/ade/1355867973Search in Google Scholar

[31] A. Iannizzotto, S. Mosconi and Marco Squassina, Global Hölder regularity for the fractional p-Laplacian, preprint (2014), https://arxiv.org/abs/1411.2956. 10.4171/RMI/921Search in Google Scholar

[32] E. Lindgren and P. Lindqvist, Fractional eigenvalues, Calc. Var. Partial Differential Equations 49 (2013), 795–826. 10.1007/s00526-013-0600-1Search in Google Scholar

[33] V. Maźya and T. Shaposhnikova, On the Bourgain, Brezis, and Mironescu theorem concerning limiting embeddings of fractional Sobolev spaces, J. Funct. Anal. 195 (2002), 230–238. 10.1006/jfan.2002.3955Search in Google Scholar

[34] A. Mohammed, Positive solutions of the p-Laplace equation with singular nonlinearity, J. Math. Anal. Appl. 352 (2009), 234–245. 10.1016/j.jmaa.2008.06.018Search in Google Scholar

[35] G. Molica Bisci, V. Rădulescu and R. Servadei, Variational Methods for Nonlocal Fractional Problems, Encyclopedia Math. Appl. 162, Cambridge University Press, Cambridge, 2016. 10.1017/CBO9781316282397Search in Google Scholar

[36] G. Molica Bisci and R. Servadei, A Brezis–Nirenberg spitting approach for nonlocal fractional equations, Nonlinear Anal. 119 (2015), 341–353. 10.1016/j.na.2014.10.025Search in Google Scholar

[37] G. Molica Bisci and R. Servadei, Lower semicontinuity of functionals of fractional type and applications to nonlocal equations with critical Sobolev exponent, Adv. Differential Equations 20 (2015), 635–660. 10.57262/ade/1431115711Search in Google Scholar

[38] S. Mosconi, K. Perera, M. Squassina and Y. Yang, A Brezis–Nirenberg result for the fractional p-Laplacian, preprint (2015), https://arxiv.org/abs/1508.00700v1. Search in Google Scholar

[39] T. Mukherjee and K. Sreenadh, Critical growth fractional elliptic problem with singular nonlinearities, Electron. J. Differential Equations 54 (2016), 1–23. Search in Google Scholar

[40] S. Prashanth and K. Sreenadh, Multiplicity results in a ball for p-Laplace equation with positive nonlinearity, Adv. Differential Equations 7 (2002), no. 7, 876–897. 10.57262/ade/1356651709Search in Google Scholar

[41] G. Rosen, Minimal value for c in the Sobolev inequality, SIAM J. Appl. Math. 21 (1971), 30–33. 10.1137/0121004Search in Google Scholar

[42] R. Servadei and E. Valdinoci, Mountain pass solutions for non-local elliptic operators, J. Math. Anal. Appl. 389 (2012), 887–898. 10.1016/j.jmaa.2011.12.032Search in Google Scholar

[43] R. Servadei and E. Valdinoci, Variational methods for non-local operators of elliptic type, Discrete Contin. Dyn. Syst. 33 (2013), no. 5, 2105–2137. 10.3934/dcds.2013.33.2105Search in Google Scholar

[44] X. Su and Y. Wei, Multiplicity of solutions for non-local elliptic equations driven by fractional Laplacian, J. Differential Equations 252 (2012), 1283–1308. 10.1016/j.jde.2011.09.015Search in Google Scholar

[45] X. Yu, The Nehari manifold for elliptic equation involving the square root of the Laplacian, J. Differential Equations 252 (2012), 1283–1308. 10.1016/j.jde.2011.09.015Search in Google Scholar

[46] J. Zhang, X. Liu and H. Jiao, Multiplicity of positive solutions for a fractional Laplacian equations involving critical nonlinearity, preprint (2015), https://arxiv.org/abs/1502.02222. 10.12775/TMNA.2018.043Search in Google Scholar

Received: 2016-04-26
Revised: 2016-07-26
Accepted: 2016-09-18
Published Online: 2016-12-02

© 2019 Walter de Gruyter GmbH, Berlin/Boston

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

Articles in the same Issue

  1. Frontmatter
  2. Asymptotic behavior of evolution systems in arbitrary Banach spaces using general almost periodic splittings
  3. Solvability of a product-type system of difference equations with six parameters
  4. On Dirichlet problem for fractional p-Laplacian with singular non-linearity
  5. Absence of Lavrentiev gap for non-autonomous functionals with (p,q)-growth
  6. On a class of fully nonlinear parabolic equations
  7. On sign-changing solutions for (p,q)-Laplace equations with two parameters
  8. Weighted Caffarelli–Kohn–Nirenberg type inequalities related to Grushin type operators
  9. On the fractional p-Laplacian equations with weight and general datum
  10. An elliptic equation with an indefinite sublinear boundary condition
  11. Liouville-type theorems for elliptic equations in half-space with mixed boundary value conditions
  12. Well/ill-posedness for the dissipative Navier–Stokes system in generalized Carleson measure spaces
  13. Hypercontractivity, supercontractivity, ultraboundedness and stability in semilinear problems
  14. Theoretical analysis of a water wave model with a nonlocal viscous dispersive term using the diffusive approach
  15. A multiplicity result for asymptotically linear Kirchhoff equations
  16. Higher-order anisotropic models in phase separation
  17. Well-posedness and maximum principles for lattice reaction-diffusion equations
  18. Existence of a bound state solution for quasilinear Schrödinger equations
  19. Existence and concentration behavior of solutions for a class of quasilinear elliptic equations with critical growth
  20. Homoclinics for strongly indefinite almost periodic second order Hamiltonian systems
  21. A new method for converting boundary value problems for impulsive fractional differential equations to integral equations and its applications
  22. Diffusive logistic equations with harvesting and heterogeneity under strong growth rate
  23. On viscosity and weak solutions for non-homogeneous p-Laplace equations
  24. Periodic impulsive fractional differential equations
  25. A result of uniqueness of solutions of the Shigesada–Kawasaki–Teramoto equations
  26. Solutions of vectorial Hamilton–Jacobi equations are rank-one absolute minimisers in L
  27. Large solutions to non-divergence structure semilinear elliptic equations with inhomogeneous term
  28. The elliptic sinh-Gordon equation in a semi-strip
  29. The Gelfand problem for the 1-homogeneous p-Laplacian
  30. Boundary layers to a singularly perturbed Klein–Gordon–Maxwell–Proca system on a compact Riemannian manifold with boundary
  31. Subharmonic solutions of Hamiltonian systems displaying some kind of sublinear growth
  32. Multiple solutions for an elliptic system with indefinite Robin boundary conditions
  33. New solutions for critical Neumann problems in ℝ2
  34. A fractional Kirchhoff problem involving a singular term and a critical nonlinearity
  35. Existence and non-existence of solutions to a Hamiltonian strongly degenerate elliptic system
  36. Characterizing the strange term in critical size homogenization: Quasilinear equations with a general microscopic boundary condition
  37. Nonlocal perturbations of the fractional Choquard equation
  38. A pathological example in nonlinear spectral theory
  39. Infinitely many solutions for cubic nonlinear Schrödinger equations in dimension four
  40. On Cauchy–Liouville-type theorems
  41. Maximal Lp -Lq regularity to the Stokes problem with Navier boundary conditions
  42. Besov regularity for solutions of p-harmonic equations
  43. The classical theory of calculus of variations for generalized functions
  44. On the Cauchy problem of a degenerate parabolic-hyperbolic PDE with Lévy noise
  45. Hölder gradient estimates for a class of singular or degenerate parabolic equations
  46. Critical and subcritical fractional Trudinger–Moser-type inequalities on
  47. Multiple nonradial solutions for a nonlinear elliptic problem with singular and decaying radial potential
  48. Quantization of energy and weakly turbulent profiles of solutions to some damped second-order evolution equations
  49. An elliptic system with logarithmic nonlinearity
  50. The Caccioppoli ultrafunctions
  51. Equilibrium of a production economy with non-compact attainable allocations set
  52. Exact behavior around isolated singularity for semilinear elliptic equations with a log-type nonlinearity
  53. The higher integrability of weak solutions of porous medium systems
  54. Classification of stable solutions for boundary value problems with nonlinear boundary conditions on Riemannian manifolds with nonnegative Ricci curvature
  55. Regularity results for p-Laplacians in pre-fractal domains
  56. Carleman estimates and null controllability of a class of singular parabolic equations
  57. Limit profiles and uniqueness of ground states to the nonlinear Choquard equations
  58. On a measure of noncompactness in the space of regulated functions and its applications
  59. p-fractional Hardy–Schrödinger–Kirchhoff systems with critical nonlinearities
  60. On the well-posedness of a multiscale mathematical model for Lithium-ion batteries
  61. Global existence of a radiative Euler system coupled to an electromagnetic field
  62. On the existence of a weak solution for some singular p ( x ) -biharmonic equation with Navier boundary conditions
  63. Choquard-type equations with Hardy–Littlewood–Sobolev upper-critical growth
  64. Clustered solutions for supercritical elliptic equations on Riemannian manifolds
  65. Ground state solutions for the Hénon prescribed mean curvature equation
  66. Quasilinear equations with indefinite nonlinearity
  67. Concentrating solutions for a planar elliptic problem with large nonlinear exponent and Robin boundary condition
  68. Retraction of: Concentrating solutions for a planar elliptic problem with large nonlinear exponent and Robin boundary condition
Downloaded on 18.7.2025 from https://www.degruyterbrill.com/document/doi/10.1515/anona-2016-0100/html
Scroll to top button