Positive Solutions for Perturbed Fractional p -Laplacian Problems

: In this article, we consider a class of quasilinear elliptic equations involving the fractional p -Laplacian, in which the nonlinear term satisﬁes subcritical or critical growth. Based on a ﬁxed point result due to Carl and Heikkilä , we can well overcome the lack of compactness which has been a key difﬁculty for elliptic equations with critical growth. Moreover, we establish the existence and boundedness of the weak solutions for the above equations.


Introduction and Main Result
In recent years, fractional and nonlocal operators have been more and more widely used in modern applied science, such as optimization, plasma physics, finance, population dynamics, soft thin films, geophysical fluid dynamics, phases transitions, game theory, water waves, stratified materials, and so on; for more related applications, see [1][2][3] and references therein.
In this article, we concentrate on the qualitative analysis of positive solutions for the following perturbed fractional p-Laplacian problems: where s ∈ (0, 1), p ≥ 2, N > sp, λ > 0 is a real parameter, the perturbation term g(x) is nonnegative and g(x) ≡ 0, and Ω is a bounded domain of R N with Lipschitz boundary.
Here, (−∆) s p is the fractional p-Laplace operator defined by where B (x) denotes the ball of R N centered at x ∈ R N , with radius > 0. We refer the reader to [4,5] and the references therein for further introduction to the fractional Sobolev spaces theory and the study of fractional p-Laplacian problems based on variational methods.
As in the case of p-Laplacian equations, the existence of solutions for fractional p-Laplacian equations has drawn a lot of attention.More precisely, for the following quasilinear problems (−∆) s p u = f (x, u) in Ω, u = 0 in R N \Ω, Wu et al. in [6] obtained a new regularity result for problem (3) by establishing a modified Marcinkiewicz interpolation result, and the authors also employed the Stampacchia truncation method to obtain a new regularity result on R N for problem (3).In addition, by using the Leray-Schauder fixed point theorem, the authors in [6] obtained the existence of solutions to a class of fractional Laplacian problems with weak growth conditions.For the regularity results, we can also refer to [7], although the work in [7] mainly focuses on the case where p is large, and the regularity of the solution is directly inherited from the function embedding itself.Bjorland et al. in [8] obtained some higher regularity with s close to 1 − by showing that the solutions converged to the solutions with the p-Laplace operator div(|∇u| p−2 ∇u) whenever s → 1 − .As p = 2, s = 1, Ambrosetti and Rabinowitz made new assumptions about nonlinearity for the first time when they studied the elliptic equation −∆u = f (x, u) in Ω, u = 0 on ∂Ω in [9], where f satisfies Here, the last condition is the well-known (AR) condition, which contributes significantly to the compactness condition of the mountain pass theorem.However, more and more researchers have become aware that the (AR) condition has a certain constraint so that it is difficult to include some important nonlinearities.Therefore, this condition has been weakened or even abandoned in many papers.A weaker condition than the (AR) condition was proposed by Miyagaki and Souto in [10], that is, lim u→∞ F(x,u) u 2 = +∞.Furthermore, the authors used the mountain pass theorem to obtain the existence of nontrivial weak solutions for the problem −∆u = λ f (x, u) in Ω, u = 0 on ∂Ω for all λ > 0, in which f also satisfies (A 1 )-(A 2 ) and a monotonicity assumption instead of the (AR) condition.It is worth mentioning that the monotonicity assumption in [10] reads as follows: (B 1 ) There is η 1 > 0 such that f (x,t) t is increasing in t η 1 and decreasing in t −η 1 , for all x ∈ Ω.In addition, Willem and Zou in [11] proposed a monotonicity assumption to replace the (AR) condition.More specifically, they considered the following condition: Another monotonicity condition as an effective substitute of (AR) was proposed by Jeanjean in [12] (B 3 ) There is Indeed, (B 3 ) implies (B 1 ) if η 1 = 0; we refer to [13] [Proposition 2.3] for a proof.Below we present some nonlinear terms that satisfy subcritical or critical growth, which are also instructive for this paper.To our knowledge, an assumption imposed on the nonlinearity in most of the papers is (A 2 ).Along this direction, the following growth condition imposed on the nonlinearity in solving p-Laplacian equations was often used in the literature: Furthermore, a more general growth condition was proposed to study the existence of solutions in [14]: Motivated by the above assumptions, we impose the following hypotheses on the nonlinearity f : where Obviously, (F 2 ) is weaker than (B 1 ) or (B 2 ).However, a simple example f (x, t) = t (p−1)/2 ln(1 + t) for t ≥ 0; f (x, t) = 0 for x < 0 satisfying (F 2 ) demonstrates that it does not satisfy the (AR) condition or other monotonicity assumptions mentioned in this paper.
It is easy to see that there are a lot of functions satisfying our assumption (F 2 ) that do not satisfy the (AR) condition.Moreover, our condition (F 1 ) for subcritical and critical growth is relatively more general than the usual subcritical one (C 1 ) or (C 2 ).Importantly, our monotonicity condition (F 2 ) is weaker than condition (B 1 ) or (B 2 ), which is one of the advantages that the approach in [15] brings us.For our approach in this paper, we point out that the author in [15] used a non-variational fixed point theorem to find the nontrivial solution of a class of nonhomogeneous fractional p-Laplacian equations.As a result, the approach in [15] has aroused our interest in solving some quasi-linear elliptic equations; we refer the interested reader to [16,17] for more details on the study of nonhomogeneous fractional singular p-Laplacian equations and systems involving critical nonlinearities.Here, we would like to point out a key point that owing to the particularity of this approach, we do not need to appeal to the compactness of the Sobolev embedding theorem, so that we can avoid this difficulty when dealing with the critical case.Guided by this idea, we turn our attention to a class of perturbed fractional p-Laplacian equations.As a matter of fact, we can find a nonnegative weak solution of (1) by using the approach above.Due to the existence of the nonhomogeneous term, we can further obtain the positive solution of problem (1).In practice, we could ignore the nonhomogeneous term if the zero solution can be easily ruled out.Finally, inspired by Theorem 3.1 in [18], we can prove that the weak solution to problem (1) found by the fixed point theorem in [15] is L ∞ -bounded.To the best of our knowledge, subcritical and critical assumptions for related Laplacian problems in the available literature are often treated separately by various variational methods.In this sense, our result is new, even in the Laplacian setting.Now, let us introduce the space , where L p (R N ) is represented as the usual Lebesgue function space, endowed with the norm • L p (R N ) , and the Gagliardo seminorm [•] s,p is defined by We consider the subspace of W: P (Ω) = {u ∈ W : u = 0 a.e. in R N \Ω}, which can be equivalently endowed with the norm | • | = [•] s,p (see [4] [Theorem 7.1]).Therefore, the space P (Ω) is a reflexive Banach space (see [19] [ Lemma 2.4]).Next, we set .
Remark 1.If we consider the critical case, i.e., γ = p * s , we also obtain the existence of at least a positive solution, but we can not guarantee that the positive solution is L ∞ -bounded.
Our article is organized as follows.In Section 2, we recall some necessary knowledge along with a description of the main method of this paper.Section 3 is devoted to demonstrating the main result of this article.
Unless otherwise specified, we indicate that M k , M, M p , M p1 , M p2 ... are positive constants.

Preliminaries
In this section, we recall some notations and concepts necessary to introduce a crucial fixed point result.Suppose that S is a real Banach space, and S + = 0 is a nonempty subset of S. S + is said to be an order cone if the space S + fulfills the following assumptions: (i) S + is convex and closed.(ii) If ξ ≥ 0 and ρ ∈ S + , then ξρ ∈ S + .(iii) If −ρ ∈ S + and ρ ∈ S + , then ρ = 0.
If S + is an order cone, then Suppose that S 1 is a subset of S. We say S 1 has a fixed point if any increasing operator I : S 1 → S 1 has a fixed point.
Proof.Let u n ∈ P (Ω) such that u n → u in P (Ω).For ν ∈ P (Ω) with ν ≤ 1, using Hölder's inequality, we can deduce Next, we will employ the following basic inequality to estimate T : By invoking the H ölder inequality and ( 9), there exists M p > 0 such that Since u n → u in P (Ω), (10) yields that as n → ∞.Then, the operator J : P (Ω) → P (Ω) is continuous.Notice that J u, u = u p , ∀u ∈ P + (Ω).It follows that lim u →∞ J u,u u = ∞.Furthermore, we also need the following inequality: from which we can obtain Therefore, by means of the Minty-Browder Theorem (cf. [21] [Theorem 5.16]), we obtain that the operator J : P (Ω) → P (Ω) is reversible.Hence, the proof is complete.The next step is to explore the monotonicity of operators.For this purpose, we consider the partial order in P (Ω) as follows: u p , u q ∈ P (Ω), u q u q ↔ u p ≤ u q a.e. in Ω.
When γ = p * s , a similar estimate can be calculated; hence, we obtain We define a new operator Z := J −1 • K. Combining (18) and the definitions of J : P (Ω) → P (Ω) and K : P (Ω) → P (Ω), we give the following key result.Lemma 3.Under the assumptions of Theorem 1, there exists M such that for all 0 < λ ≤ λ 0 , where Q[0, M] = {u ∈ P (Ω) : u ≤ M}, and the norm • in Q[0, M] is consistent with that in P (Ω).
Proof.Let u, ν ∈ P (Ω) with Z u = ν.Since Z := J −1 • K and J ν, ν = ν p , we have Combining ( 18) and (21), we deduce We consider that u ≤ M, which implies Let M be sufficiently small such that Letting then for all 0 < λ ≤ λ 0 , it is easy to derive that Note that the result of the Lemma 3 also holds in the case of γ = p * s .Hence, the proof is complete.
Hence, ω * is considered to be a weak solution of problem (1).Furthermore, g ≡ 0 yields that ω * is a nontrivial weak solution of problem (1).Since the perturbation term g(x) and the nonlinearity f (x, u) are both nonnegative under our assumptions, the weak solution ω * is nonnegative by the comparison principle (cf.[23] [Proposition 2.10]), and then the strong maximum principle (cf.[24] [Lemma 2.3]) implies that ω * is positive.Eventually, similar to the proof of Theorem 3.1 in [18], we are able to obtain that the positive solution ω * is L ∞ -bounded in the case of γ < p * s .

Conclusions
In this paper, we solved a class of perturbed fractional p-Laplacian equations satisfying subcritical or critical growth by means of a non-variational fixed point theorem.This approach can well overcome the lack of compactness in the critical case.As a result, we obtained a positive weak solution to problem (1), which can also be applied to solve a much larger class of elliptic problems, which was based on a comparison with the classical elliptic problems explored by variational methods.However, this fixed-point theorem also has its limitations, such as requiring the nonlinearity to be nondecreasing so that it can not effectively exclude the zero solution, so we need to add a perturbation term to exclude this situation.
Assume that (S, ) and (S , ) are ordered Banach spaces.The operator I : S → S is increasing if and only if there is Iu p Iu t for all u p , u t ∈ S, u p u t .