Existence of Small-Energy Solutions to Nonlocal Schrödinger-Type Equations for Integrodifferential Operators in R N

: We are concerned with the following elliptic equations: ( − ∆ ) sp , K u + V ( x ) | u | p − 2 u = λ f ( x , u ) in R N , where ( − ∆ ) sp , K is the nonlocal integrodifferential equation with 0 < s < 1 < p < + ∞ , sp < N the potential function V : R N → ( 0, ∞ ) is continuous, and f : R N × R → R satisﬁes a Carathéodory condition. The present paper is devoted to the study of the L ∞ -bound of solutions to the above problem by employing De Giorgi’s iteration method and the localization method. Using this, we provide a sequence of inﬁnitely many small-energy solutions whose L ∞ -norms converge to zero. The main tools were the modiﬁed functional method and the dual version of the fountain theorem, which is a generalization of the symmetric mountain-pass theorem. functional methods; dual fountain


Introduction
In recent years, the study of fractional and nonlocal problems of the elliptic type has received enormous attention because the interest in such operators has sustainedly increased within the framework of mathematical theory to confirm some phenomena such as fractional quantum mechanics, material sciences, continuum mechanics, phase-transition phenomena, image processes, the thin-obstacle problem, game theory, and Lévy processes (see [1][2][3][4][5][6][7] and the references therein).The fractional Schrödinger equation, which was introduced by Laskin [5], has especially received considerable attention in recent years (see, e.g., [8][9][10]).
Stimulated by the large interest in the current literature and taking advantage of variational methods, we investigate the existence of weak solutions for nonlocal equations involving the fractional p-Laplacian.We establish the existence, multiplicity, and uniform estimates of infinitely many nontrivial weak solutions for the following nonlocal integrodifferential equations: for x ∈ R N , where K is a kernel function, and B N ε (x) := {y ∈ R N : |y − x| ≤ ε}.Many authors have researched fractional p-Laplacian type problems in various respects (see [2,3,[10][11][12][13][14][15][16][17][18][19] and references therein).
The first goal of the present paper is to provide a sufficient condition ensuring global uniform boundedness for weak solutions of the problem in Equation (1).The main tools for obtaining this result are De Giorgi's iteration method and a truncated energy technique (by also considering some novel optimization techniques proposed in [20,21]).This approach originally comes from Vergara [22].Inspired by Vergara [22], the boundedness of weak solutions for elliptic equations with variable exponents and a nonlinear conormal derivative boundary condition was investigated by Winkert [23] (see also [24]).The second goal is to obtain the existence of a sequence of infinitely many small-energy solutions that converge to zero in L ∞ space.The strategy of the proof for this assertion is based on applications of the dual-fountain theorem that were primarily introduced by Bartsch [25] with consideration for the variational nature of the problem.The dual-fountain theorem, as a key tool, is a dual version of fountain theorem in [26], which is a generalization of the symmetric mountain-pass theorem in [27] and a powerful technique for ensuring the existence of multiple solutions to elliptic equations of the variational type.Subsequently, many researchers applied this theorem to the various problems involving por p(x)-Laplacian (see [8,9,[28][29][30][31][32][33][34][35][36] and the references therein).Such a multiplicity result that utilizes the dual-fountain theorem to derive the existence of infinitely many small-energy solutions for nonlinear elliptic equations of the variational type can be found in [9,29] (and the references therein).In [8], the author studied the existence of infinitely many solutions of the fractional Laplacian via the variant fountain theorems established in [37].However, these consequences do not ensure the boundedness of solutions.We therefore show that nonlinear problems associated with an integrodifferential operator admits a sequence of infinitely many solutions whose L ∞ norms converge to zero.The condition on nonlinear term f (•, t) at infinity and the oddness of f globally are increasingly essential in obtaining previous multiplicity results, as in [8,9,29].However, we infer our conclusion when conditions on f (•, t) are carried out near zero; f (•, t) is especially odd in t for a small t, and no conditions on f (•, t) exist at infinity.The initial idea for this approach came from the work of Z.-Q.Wang [38], who made use of the modified functional method and global variational formulation as the main tools in [39].Very recently, the authors of [31] investigated the L ∞ bound of small-energy solutions to Kirchhoff-Schrödinger-type equations involving the fractional p-Laplacian by applying the modified functional method and a regularity-type result inspired by the work of P. Drábek, A. Kufner, and F. Nicolosi [40] (for related works, see [24,38,[41][42][43][44]).We design our consequence under a somewhat different approach than previous works.In contrast to the authors of [24,38,[41][42][43][44], who established the existence of such a sequence of solutions belonging to the L ∞ space, we take into account the dual-fountain theorem in place of the global variational formulation in [39].To the best of our knowledge, there have been no results on this approach, even in classical p-Laplacian problems, although we derive our main result from a well-known technique.
This paper is organized as follows.We first briefly review definitions and collect some preliminary results for the Lebesgue-Sobolev space of the fractional type.Next, we present the L ∞ bound of solutions to the problem in Equation (1) by applying De Giorgi's iteration method and the localization method.Finally, we provide a sequence of infinitely many small-energy solutions whose L ∞ -norms converge to zero.

Preliminaries
In this section, we briefly recall definitions and some elementary properties of fractional Sobolev spaces (refer to [4,45,46] for further reference).For simplicity, C is used to represent a generic constant that may change from line to line.
Lemma 3. [46,49] Let 0 < s < 1 < p < +∞ with ps < N.Then, there exists positive constant C = C(N, p, s), such that, for all u ∈ W s,p (R N ), In particular, we denote the best constant S s,p in the fractional Sobolev inequality by .
From Lemmas 1-3, we can immediately obtain the following assertion.
Lemma 4. [47] Let K : R N \ {0} → (0, ∞) satisfy Conditions (K1)-(K3).Then, there exists positive constant C 0 = C 0 (N, p, s), such that, for any v ∈ W s,p Consequently, space W s,p For potential term V, we assume that On linear subspace We can then verify that W s,p K,V (R N ) is a separable and reflexive Banach space with the following norm: Throughout this paper, we denote In view of Lemmas 2 and 4, the following result is carried out by the same scheme as that in [50].
Definition 1.We indicate that u ∈ X(R N ) is a weak solution to the problem in Equation (1) if Let us define functional Φ s,p : Then, from the modification of Lemma 3.2 of [50], functional Φ s,p is well-defined on X(R N ), Φ s,p ∈ C 1 (X(R N ), R) and, for any v ∈ X(R N ), its Fréchet derivative is given by For p < q < p * s , we assume that Under Assumptions (F1) and (F2), we define functional Ψ : X(R N ) → R by Then, it follows from the same arguments as those of Proposition 1.12 in [51] that Ψ ∈ C 1 (X(R N ), R), and, for any u, v ∈ X(R N ), its Fréchet derivative is Then, we know that I λ ∈ C 1 (X(R N ), R), and the Fréchet derivative of I λ is

Main Result
In this section, we present the L ∞ bound of solutions to the problem in Equation ( 1) and then establish the existence of a sequence of infinitely many small-energy solutions whose L ∞ norms converge to zero by employing the modified functional method and the dual-fountain theorem.
To utilize the De Giorgi technique, we needed the following vital lemma.The proof is in ([22], Lemma 2.2).Lemma 6.Let {Z n } ∞ n=1 be a sequence of positive numbers satisfying recursion inequality for any n ≥ n 0 , where n 0 is the smallest n ∈ N ∪ {0} satisfying Z n ≤ 1.In particular, Z n → 0 as n → ∞.
For convenience, we define the fractional (s, p) gradient of function v ∈ X(R N ) as This (s, p) gradient is well-defined in R N and |D s v| ∈ L p (R N ) (see [52]).Next, we show the following assertion, which is a regularity-type result via the De Giorgi technique and the localization method.Proposition 1. Assume that Assumptions (V) and (F1)-(F2) hold.If u is a weak solution of Problem (P λ ), then u ∈ L ∞ (R N ), and there exists positive constant τ that is independent of u, such that ) in the problem in Equation ( 1) and integrating it over R N , we have Equivalently, Hence, since u ≥ u − k > 0 on A k , by Assumption (F2), where k * > 0, specified below.Put u q 2 q(n+2) dx.

Thus,
where e 1 = 2 q > 1.It follows from the relationships in Equations ( 3) and ( 4) that For the Lebesgue measure of A k n+1 , we deduced that Thus, Then, Therefore, it follows from the above inequality and the relations in Equations ( 5) and (6) that where e 2 := λ(1 + k Using the Hölder inequality and Lemma 3, we get Meanwhile, we have from Equation ( 7), we estimate We deduce from Equations ( 6), (8), and ( 9) that 1 + e 2 ) q/p e 1 k q * 1−q/ q e (1−q/ q+q/p)n 1 Z 1−q/ q+q/p n .
In other words, where e 3 = C q (e 2 1 + e 2 ) q/p (e 1 ) 1−q/ q and δ = q/p − q/ q.Applying Lemma 6 with Equation (10), we obtain that provided that Set k * = (e 3 ) q q( q−q) e q q( q−q) (1+ 1 δ ) . Thus, we have inequality Therefore, (u − 2k * ) + = 0 almost everywhere in R N ; hence, ess sup R N u ≤ 2k * .By replacing u with −u and A k with Ãk , we analogously conclude that u is bounded from below.Therefore, we conclude that . This completes the proof.
We are ready to obtain our main result for the existence of a sequence of infinitely many small-energy solutions whose L ∞ norms converge to zero.As mentioned above, the main tools are the modified functional method and the dual-fountain theorem.To do this, we assume that, for p < q < p * s , (F3) For any x ∈ R N , there exists constant s 0 > 0, such that pF(x, t) − f (x, t)t > 0 for 0 < |t| < s 0 , where t 0 , and κ (t)t ≤ 0. Thus, we set where ξ is a positive constant.Then, the following Lemma holds.
On the basis of the work in [24,38], we obtain the two following lemmas.
Definition 2. Let X be a reflexive Banach space.Θ satisfies the (PS) * c -condition (with respect to Y n ) for every c ∈ R if any sequence {v n } n∈N ⊂ X for which v n ∈ Y n , for any n ∈ N, contains a subsequence converging to a critical point of X .Proposition 2. (Dual-Fountain Theorem ([51], Theorem 3.18)) Assume that X is a reflexive Banach space, I ∈ C 1 (X , R) is an even functional.If there exists k 0 > 0 such that, for each k ≥ k 0 , there is then I has a sequence of negative critical values converging to 0.
Theorem 1. Suppose that Assumptions (F1)-(F4) hold.If f (x, t) is odd in t for a small t, then the problem in Equation (1) admits a sequence of weak solutions , 1 Remark 2. As mentioned in the Introduction, even if the dual-fountain theorem plays a decisive role in obtaining the existence of multiple small-energy solutions to elliptic equations of the variational type, the boundedness of these solutions is not ensured by this theorem.The condition on nonlinear term f (•, t) at infinity, and the oddness of f globally is essential in applying this theorem.However, by employing the dual-fountain theorem, we design our main theorem when f (•, t) is carried out near zero, and f (•, t) is odd in t for a small t.Therefore, our approach for obtaining this consequence is somewhat different from former related works [ Proof.Consider modified energy functional I λ : X(R N ) → R given by where Φ s,p is given in Equation (2) and Then, it is clear by Lemma 8 that ) is an even functional.Now, we show that Conditions (D1)-(D4) of Proposition 2 are satisfied.
(D1) From Assumption (F2), we have For convenience, we denote θ k = sup ||u|| X(R N ) =1,u∈Z k ||v|| L q (R N ) .It follows from the definition of κ that we have Choose q) .Let u ∈ Z k with ||u|| X(R N ) = ρ k > 1 for a sufficiently large k.Then, there exists k 0 ∈ N, such that are equivalent on Y k .Then, there are positive constants κ 1 and κ 2 such that for any v ∈ Y k .From Assumptions (F3) and (F4), for any M > 0, there exist s 1 ∈ (0, s 0 ) such that for almost all x ∈ R N and all |t| ≤ s 1 .Choose Hence, we derive by Equation ( 12) that for sufficiently large M and for all u ∈ Y k with ||u|| X(R N ) = δ k .We therefore obtain that Then, it is easy to verify that θ k → 0 as k → ∞(see [36]).For any u ∈ Z k with ||u|| X(R N ) = 1 and 0 < t < ρ k , we have Hence, we achieve , where t 0 is given in Lemma 8. From the relation in Equation ( 1) and the conditions of κ, we have Therefore, we deduce that, for any By Lemma 5 and similar arguments as those of Theorem 3 in [31], we claim that functional Ψ : X(R N ) → X * (R N ), defined by is compact in X(R N ).It also follows from Lemmas 2.2 and 2.3 in [50] that Φ s,p is strictly monotone, coercive, and mapping of type (S + ).By the Browder-Minty theorem, the inverse operator of Φ s,p exists (see Theorem 26.A in [53]).Since Φ s,p is of type (S + ), it is obvious that it has a continuous inverse.From the compactness of the derivative of Ψ and the coercivity of I λ , it follows that functional I λ satisfies Condition (PS).Because X(R N ) is a reflexive Banach space, the proof is carried out by the same scheme as that in ( [36], Lemma 3.12).
Consequently, all conditions of Proposition 2 are satisfied; hence, for λ ∈ Γ, we have sequence c n < 0 for Ĩλ satisfying c n → 0 when n goes to ∞.Then, for any u n ∈ X(R N ) satisfying Ĩλ (u n ) = c n and Ĩ λ (u n ) = 0, the sequence {u n } is a (PS) sequence of Ĩλ (u), and {u n } has a convergent subsequence.Thus, up to a subsequence, still denoted by {u n }, one has u n → u in X(R N ) as n → ∞.Lemmas 7 and 8 imply that 0 is the only critical point with 0 energy, and subsequence {u n } has to converge to 0 in X(R N ); thus, ||u n || L r (R N ) → 0 as n → ∞ for any r with p < r < p * s .Owing to Proposition 1, any weak solution u of our problem belongs to space L ∞ (R N ), and there exist positive constants C, τ independent of u, such that ||u|| L ∞ (R N ) ≤ C||u|| τ L q (R N ) .
From this fact, we know ||u n || L ∞ (R N ) → 0; thus, by Lemma 8 again, we have ||u n || L ∞ (R N ) ≤ s 2 for a large n.Thus, {u n } with a large enough n is a sequence of weak solutions of the problem in Equation ( 1).The proof is complete.

Conclusions
This paper is devoted to the study of the existence, multiplicity, and uniform estimates of infinitely many nontrivial weak solutions for nonlocal integrodifferential equations.The fountain and dual-fountain theorems as key tools are powerful techniques for ensuring the existence of multiple solutions to elliptic equations of the variational type.Subsequently, these theorems have been widely applied by many researchers to obtain the existence of multiple solutions for various problems of the elliptic type.The dual-fountain theorem is essential in deriving the existence of infinitely many small-energy solutions for nonlinear elliptic equations of the variational type.However, the boundedness of solutions cannot be obtained from this variational method.This theorem is also not applicable if we drop the condition on nonlinear term f (•, t) at infinity and the oddness of f globally.To overcome this difficulty, the authors of [24,38,[41][42][43][44] employed the modified functional method and global variational formulation.In this regard, our attempt is new because we utilize the dual-fountain theorem in place of global variational formulation to obtain our main result.