High Perturbations of a Fractional Kirchhoff Equation with Critical Nonlinearities

: This paper concerns a fractional Kirchhoff equation with critical nonlinearities and a negative nonlocal term. In the case of high perturbations (large values of α , i

R n u(x) − u(y) |x − y| n+2s dy, u ∈ S(R n ), where P.V. stands for the Cauchy principal value, C(s) is a normalized constant, and S(R n ) is the Schwartz space of the rapidly decaying function.According to [1,2],the following problem (−∆) s u = λu, x ∈Ω, has a sequence of eigenvalues satisfying 0 Due to its interesting theoretical structure and concrete applications in many fields, such as phase transitions, Markov processes and fractional quantum mechanics, minimal surfaces, and so on [3], more and more papers have focused on fractional and nonlocal operators of the elliptic type.For example, based on the classical Brezis-Nirenberg problem [4], Servadei and Valdinoci [5] studied the following nonlocal fractional counterpart of the Brezis-Nirenberg problem: (−∆) and obtained a nontrivial solution when 0 < λ < λ 1 and N ≥ 4s.Refs.[6,7] considered problem (3) in the lower dimension.Servadei [8] further investigated problem (3) in the resonant case.Figueiredo, Bisci, and Servadei [9] studied the number of nontrivial solutions of problem (3) under consideration with the topology of Ω when λu is replaced by λ|u| q−2 u with 2 ≤ q < 2 * s .Mukherjee and Sreenadh [10] considered the existence, nonexistence, and regularity results for a weak solution of problem (3) with Hardy-Littlewood-Sobolev critical nonlinearity.Fu and Xia [11] investigated the multiplicity results of problem (3) with a nonhomogeneous term f (x).When λu is replaced by a Carathéodory function, satisfying a different subcritical condition, Fiscella, Bisci, and Servadei [12] obtained different results of multiple solutions for problem (3).Fiscella, Bisci, and Servadei [1], Servadei et al. [5,13,14], and Li and Sun [15] considered the generalization of problem (3) when (−∆) s is replaced by the integrodifferential operator defined as where K is a measurable function satisfying some suitable conditions.
In the local setting (s = 1), problem (1) can be viewed as a deformation of a stationary analogue of the following Kirchhoff problem: proposed by Kirchhoff [16] in 1883.This equation is an extension of the classical d'Alembert's wave equation by considering the effects of the changes in the length of the string during the vibrations.The parameters in (4) have the following meanings: L is the length of the string.h is the area of the cross section.F is the Young's modulus of the material.ρ is the mass density, and P 0 is the initial tension.Problem (4) was proposed and studied as the fundamental equation for understanding several physical systems, where u describes a process which depends on its average.We should point out that a fractional Kirchhoff equation was first introduced and studied by Fiscella and Valdinoci [17].After that, many researchers paid attention to fractional Kirchhoff equations with critical nonlinearities under fractional Laplacian operator (−∆) s , fractional p-Laplacian operator (−∆) s p , integrodifferential operator L K , or fractional n/s-Laplacian operator (−∆) s n/s , see, e.g., [3,[18][19][20][21] and the references therein.
In this paper, we considered a new Kirchhoff problem with a fractional Laplacian operator and a negative nonlocal term, that is, this Kirchhoff problem involves a nonlocal |x − y| n+2s dxdy.It stems from the Young's modulus, which can also be used in computing tension; when the atoms are pulled apart instead of squeezed together, the strain is negative because the atoms are stretched instead of compressed, and this leads to a negative Young's modulus [22].Yin and Liu [23] first proposed and investigated this new nonlocal problem, when 2 < q < 2 * .From then on, these new Kirchhoff problems with a negative nonlocal term have attracted a lot of attention.Refs.[24][25][26][27] obtained some important results with a Laplacian operator and a p-Laplace operator.As for a p(x)-Laplacian operator, refs.[28][29][30] gained certain wonderful conclusions.Some useful results were also obtained in [31][32][33] for the Kohn-Laplacian on the first Heisenberg group.However, there are few papers considering critical Kirchhoff problems with negative nonlocal terms like (1), since the fractional Laplacian operator (−∆) s is also a nonlocal term and then problem (1) is the bi-nonlocality.This, together with the lack of compactness caused by critical nonlinearities, produces several difficulties in its study.On the other hand, as pointed out by Qian [25], the sign of the nonlocal term plays an important role in nonlocal problems, so it is necessary to investigate problem (1).Firstly, we give the following nonexistence of a positive solution for problem (1).
To show the existence results for problem (1), define T = min{T 1 , T 2 }, where , T 2 = s 8nb 1 4 ( aS s 2 ) n 8s and S s can be found in (7).We also define Λ = min Λ 0 , aT 2 n(q−2) . By virtue of the concentration compactness principle together with the mountain pass theorem and cut-off technique, we obtain the existence and asymptotic behavior of solutions for problem (1) as follows.
As for the multiplicity of solutions, we further obtain the following result by using the symmetric mountain pass theorem.Theorem 4. Suppose 2 < q ≤ min{4, 2 * s } and aλ 1 − Λ < λ < aλ 1 ; then for any k ∈ N, there exists α * k > 0 such that problem (1) admits k pairs of positive solutions for α > α * k .
Remark 1.In comparing our results with those obtained by Jin, Liu, and Zhang [3], who considered problem (1) with a = 1 and b < 0, and Yang, Liu, and Ouyang [34] in the local setting, we find that the sign of the nonlocal term also plays an important role in the nonlocal fractional setting.Furthermore, we also obtain asymptotic behavior of positive solutions for problem (1), which [3,34] did not discuss.
Remark 2. In Ref. [25], Qian considered problem (1) in the local setting with α = 0 and n ≥ 5. Hence, our results extend those obtained by [25] to the nonlocal fractional setting with n > 2s, and we also obtain multiple results which were not considered in [25].
This article contains four more sections.In Section 2, we present some preliminaries and introduce the variational framework and truncated functional of problem (1).In Section 3, we show a compactness result for the truncated functional.In Section 4, we prove the existence, nonexistence, multiplicity, and asymptotic behavior of solutions for problem (1).Finally, we conclude in Section 5.

Preliminaries
In this section, we collect some basic definitions and results of fractional Sobolev spaces and then introduce the variational framework and truncated functional of problem (1).For convenience, L r (Ω) with r ≥ 1 denotes a Lebesgue space.C(A, B) and C 1 (A, B) denote, respectively, the spaces of continuous and continuously Fréchet differentiable maps from A into B. The Fréchet derivative of I at the point u will be denoted by I ′ (u).For 0 < s < 1, the fractional Sobolev space H s (R n ) is defined as Following Fiscella [35,36], in view of the boundary condition, we consider its subspace equipped with a scalar product and the norm defined as Then W 0 is a Hilbert space.By the results of [5], the embedding of s ] and compact whenever r ∈ [1, 2 * s ).Let S s be the fractional Sobolev constant as The energy functional corresponding to problem (1) given by and a function u ∈ W 0 is called a solution of problem (1) if for any v ∈ W 0 , Obviously, I ∈ C 1 (W 0 , R) and the weak solutions of problem (1) are exactly the critical points of I.
Define a smooth cut-off function ψ satisfying then further define the following truncated functional I T on W 0 relevant to I as where By the definition of T in Section 1, we also have Moreover, if u is a critical point of I T with ∥u∥ ≤ T, then u is also a critical point of I.

A Compactness Result for I T
In this section, we show that the functional I T satisfies (PS) d conditions.We say that {u k } is a (PS) d sequence in W 0 for Proof.Since {u k } ⊂ W 0 is a (PS) d sequence for I T , we have Since 2 < q < 2 * s , we can obtain from (7) and ( 11) that and Thus, {u k } is bounded in L 2 * s (Ω) and L q (Ω).By Hölder's inequality, we can further obtain that {u k } is bounded in L 2 (Ω) due to 2 < q.Hence, there exists a constant M > 0 such that Lemma 2. I T satisfies the (PS) d conditions for all d < d * = s 2n ( aS s 2 ) n 2s and 2 < q < 2 * s .
Proof.Let {u k } be a (PS) d sequence; by Lemma 1, {u k } is bounded in W 0 and then there exists a subsequence of {u k } (still denoted by {u k } ) and a function u ∈ W 0 such that . Thus, from the fractional concentration compactness lemma [37], there exist a countable sequence of points {x j } j∈J ⊆ Ω and the families of positive numbers {µ j } j∈J , {ν j } j∈J such that in the sense of measure, where δ x j is the Dirac measure concentrated at x j .We claim that J = ∅.If not, there exists a j 0 ∈ J .For this x j 0 and any ϵ > 0 small, define On the one hand, We can obtain from the fact that {u k } is bounded in W 0 and Hölder's inequality that where the last result is from Lemma 3.4 in [38].This, together with (15) and ( 19), binonlocality leads to Moreover, one can obtain from ( 17) that and lim On the other hand, it follows from ( 11) and ( 12) that Combining ( 18) with ( 20)-( 23) leads to Using (17), we further obtain that This, together with ( 12) and ( 13), leads to as k → ∞.Since ⟨I ′ T (u k ), u k − u⟩ → 0, one can deduce from ( 23) and ( 24)-( 26) which results in ∥u k ∥ → ∥u∥.This, together with the weak convergence of {u k } in W 0 , leads to u k → u in W 0 .This ends the proof.

Existence and Nonexistence Results
In this part, we firstly prove the nonexistence result for problem (1).
Proof of Theorem 1. Suppose u ∈ W 0 is a positive solution of problem ( 1) and e 1 is a positive eigenfunction associated with λ 1 , then we have So problem (1) has no positive solution when λ ≥ aλ 1 .This ends the proof.
For the existence result of problem (1), we need the following general mountain pass theorem [40], which can help to find a (PS) d sequence for I T .Theorem 5. Let H be a Banach space and I ∈ C 1 (H, R) with I(0) = 0. Suppose the following: (1) There exist τ, δ > 0 such that I(u) ≥ δ for all u ∈ H with ∥u∥ = τ.
then there exists a (PS) d sequence {u n } ⊂ H and d ≥ δ.Now, we begin to prove that I T satisfies the assumptions of the mountain pass geometry.
Proof.For any u ∈ W 0 , we can obtain from ( 7) and ( 10) that Since 2 < q < 2 * s , let u ∈ W 0 with ∥u∥ = τ where τ is sufficiently small, satisfying then we obtain inf u∈W 0 ,∥u∥=τ On the other hand, suppose e 1 is a positive eigenfunction associated with λ 1 , then for t > 0, we obtain as t → +∞.Hence, set u * = t 0 e 1 with t 0 > 0 sufficiently large such that ∥u * ∥ > τ and I T (u * ) < 0. The proof is completed.
Lemma 4. For 0 < λ < aλ 1 , one has such that where e 1 is a positive eigenfunction associated with λ 1 .
Proof.For any u ∈ W 0 and 0 < λ < aλ 1 , by Hölder's inequality and Young's inequality, we have For every t ≥ 0, choosing u = te 1 in ( 27) and using the fact ∥e This ends the proof.
Next, we want to prove Theorem 2 by showing the existence of positive critical points for I T and further prove that these critical points are also positive solutions of problem (1).

Proof of Theorem 2. Define
where u * is defined in Lemma 3. By Lemma 3 and Theorem 5, there exists a sequence {u k } ∈ W 0 such that For Therefore, one can obtain from Lemma 2 that there exists a subsequence of {u k } (still denoted by {u k }) and a function u λ ∈ W 0 such that u k → u λ in W 0 .Subsequently, for aλ 1 − Λ 0 < λ < aλ 1 , we have which that u λ is a nonzero and non-negative critical point of I T .Now, we come to show that ∥u λ ∥ ≤ T.
It follows from ( 11) and ( 28) and 2 < q < 2 * s that which results in Ω |u λ | q dx → 0 as α → ∞.For α > 0 big enough, we can further obtain from Hölder's inequality and (12) that For , then (28) shows that Moreover, one can obtain from from ( 11) and (30) and 2 which also results in ∥u λ ∥ < T. Then u λ is also a nontrivial and non-negative solution of problem (1).Similar to the proof of Theorem 1.1 in [41], one can further obtain that u λ is positive.
Proof of Theorem 3.For every sequence {λ n } with λ n ↗ aλ 1 , let u λ n be the positive solution to problem (1) provided by Theorem 2. Since 2 < q ≤ min{4, 2 * s }, we have This, together with 0 In order to obtain multiple solutions for problem (1), we use the following version of the symmetric mountain pass theorem of [40,42].Theorem 6.Let H = V ⊕ E be a real infinite dimensional Banach space with dimV < ∞, and suppose that I ∈ C 1 (H, R) is a functional satisfying the following conditions: (1) I(u) = I(−u), I(0) = 0; (2) There exist positive constants τ, δ such that I(u) ≥ δ for all u ∈ E with ∥u∥ = τ; (3) There exist a subspace V ⊂ H with dimV < dim V < ∞ such that max u∈ V I(u) ≤ ρ for some ρ > 0; (4) I satisfies (PS) d for any d ∈ (0, ρ).
Then I possesses at least dim V − dimV pairs of nontrivial critical points.

For any
• • • , e m } denotes the linear subspace generated by the first m eigenfunctions of (−∆) s .For any j ∈ N with j > m, we further define the j-dimensional subspace Vj = span{e 1 , e 2 , • • • , e j }.Since Vj is a finite dimensional space, there exists a constant β > 0 such that Ω |u| q dx ≥ β∥u∥ q for any u ∈ Vj .Hence, we have Right now, we are in a position to prove Theorem 4 by applying Theorem 6 to I T .
Proof of Theorem 4. It is obvious that I T (u) = I T (−u), I T (0) = 0. Set V = V m and E = V ⊥ m , then one can obtain from Lemma 3 that (2) in Theorem 6 holds.For any k ∈ N, let j = k + m, that is, Vk+m = span{e 1 , e 2 , • • • , e k+m }, then dim V = k + m and max u∈ V I T (u) ≤ d * follows from (32).For big enough α such that d k+m < d * , then I T satisfies (4) in Theorem 6 from Lemma 2. Therefore, Theorem 4 assures that I T has at least k pairs of nontrivial critical points for α > 0 sufficiently big.Arguing exactly as in the proof of Theorem 2, we can also obtain that these critical points of I T are also positive solutions of problem (1).So, Theorem 4 is proved.

Conclusions
In this article, we explored the existence, multiplicity, and asymptotic behavior of solutions for a fractional Kirchhoff equation.This problem includes a fractional Laplacian operator, a fractional critical Sobolev exponent, and a negative nonlocal term.Based on the cut-off technique, we utilized the concentration compactness principle to overcome the lack of compactness due to the critical nonlinearities.The mountain pass theorem and symmetric mountain pass theorem were used to prove the existence and multiplicity of solutions by showing that the positive critical points of the truncated functional are really positive solutions of problem (1).Moreover, the nonexistence and asymptotic behavior of positive solutions were also investigated.Our results supplement and extend the results obtained in [3, 25,34].In further studies, we shall investigate a system and variable exponents cases of this kind of problem even with logarithmic perturbation.These will make this problem more difficult and interesting.