A bifurcation and symmetry result for critical fractional Laplacian equations involving a perturbation

<jats:p>In the present paper, by using the variational and topological methods, we obtain a multiplicity and bifurcation result for the following fractional problems involving critical nonlinearities and a lower order perturbation:
<jats:disp-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mo>−</mml:mo><mml:msub><mml:mi>L</mml:mi><mml:mi>K</mml:mi></mml:msub><mml:mi>v</mml:mi><mml:mo>=</mml:mo><mml:mi>μ</mml:mi><mml:mi>v</mml:mi><mml:mo>+</mml:mo><mml:mo>|</mml:mo><mml:mi>v</mml:mi><mml:msup><mml:mo>|</mml:mo><mml:mrow><mml:msubsup><mml:mn>2</mml:mn><mml:mi>s</mml:mi><mml:mo>∗</mml:mo></mml:msubsup><mml:mo>−</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msup><mml:mi>v</mml:mi><mml:mo>+</mml:mo><mml:mi>g</mml:mi><mml:mo>(</mml:mo><mml:mi>x</mml:mi><mml:mo>,</mml:mo><mml:mi>v</mml:mi><mml:mo>)</mml:mo><mml:mspace /><mml:mtext>in </mml:mtext><mml:mi>Ω</mml:mi><mml:mo>,</mml:mo><mml:mspace /><mml:mi>v</mml:mi><mml:mo>=</mml:mo><mml:mn>0</mml:mn><mml:mspace /><mml:mtext>in </mml:mtext><mml:msup><mml:mi>R</mml:mi><mml:mi>N</mml:mi></mml:msup><mml:mo>∖</mml:mo><mml:mi>Ω</mml:mi><mml:mo>,</mml:mo></mml:math></jats:disp-formula> where <jats:italic>Ω</jats:italic> is an open and bounded domain with Lipschitz boundary, <jats:inline-formula><jats:alternatives><jats:tex-math>$N>2s$</jats:tex-math><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mi>N</mml:mi><mml:mo>></mml:mo><mml:mn>2</mml:mn><mml:mi>s</mml:mi></mml:math></jats:alternatives></jats:inline-formula>, with <jats:inline-formula><jats:alternatives><jats:tex-math>$s\in (0,1)$</jats:tex-math><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mi>s</mml:mi><mml:mo>∈</mml:mo><mml:mo>(</mml:mo><mml:mn>0</mml:mn><mml:mo>,</mml:mo><mml:mn>1</mml:mn><mml:mo>)</mml:mo></mml:math></jats:alternatives></jats:inline-formula>, <jats:italic>g</jats:italic> is a lower order perturbation of the critical power <jats:inline-formula><jats:alternatives><jats:tex-math>$|v|^{2_{s}^{*}-2}v$</jats:tex-math><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:msup><mml:mrow><mml:mo>|</mml:mo><mml:mi>v</mml:mi><mml:mo>|</mml:mo></mml:mrow><mml:mrow><mml:msubsup><mml:mn>2</mml:mn><mml:mi>s</mml:mi><mml:mo>∗</mml:mo></mml:msubsup><mml:mo>−</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msup><mml:mi>v</mml:mi></mml:math></jats:alternatives></jats:inline-formula> and <jats:italic>μ</jats:italic> is a positive real parameter, <jats:inline-formula><jats:alternatives><jats:tex-math>$2_{s}^{*}=\frac{2N}{N-2s}$</jats:tex-math><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:msubsup><mml:mn>2</mml:mn><mml:mi>s</mml:mi><mml:mo>∗</mml:mo></mml:msubsup><mml:mo>=</mml:mo><mml:mfrac><mml:mrow><mml:mn>2</mml:mn><mml:mi>N</mml:mi></mml:mrow><mml:mrow><mml:mi>N</mml:mi><mml:mo>−</mml:mo><mml:mn>2</mml:mn><mml:mi>s</mml:mi></mml:mrow></mml:mfrac></mml:math></jats:alternatives></jats:inline-formula> is the fractional critical Sobolev exponent, while <jats:inline-formula><jats:alternatives><jats:tex-math>$\mathcal{L}_{K}$</jats:tex-math><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:msub><mml:mi>L</mml:mi><mml:mi>K</mml:mi></mml:msub></mml:math></jats:alternatives></jats:inline-formula> is an integro-differential operator. Precisely, we show that the number of nontrivial solutions for this equation under suitable assumptions is at least twice the multiplicity of the eigenvalue. Our conclusions improve the related results in some respects.</jats:p>


Introduction
Recently, fractional nonlocal problems with critical nonlinearities have attracted the interest of mathematicians because of their applications in many fields, such as, flame propagation, water waves, optimization, multiple scattering, and so on. We refer the interested reader to [1][2][3][4][5][6] and the references therein.
In 1983, Brezis and Nirenberg first proposed a kind of critical problem in [7], which have been widely studied (see for example [8][9][10][11][12]) thanks to relations with problems that arise in differential geometry and physics. Here Ω is an open and bounded domain, N > 2, 2 * = 2N N-2 is the fractional critical Sobolev exponent. Subsequently, Cerami et al. proved the first multiplicity result of problem (1.1) in [13]. Later, under suitable assumptions of dimension N and parameters, many authors have given the existence and multiplicity of the solution of this kind of problem (for more details see for instance [14][15][16][17]). In all of the above papers, the classical known existence results are extended to the following nonlocal fractional setting [5,6,11,18]: where Ω is an open and bounded domain with Lipschitz boundary, N > 2s, with s ∈ (0, 1), μ is a real parameter, 2 * s = 2N N-2s is the fractional critical Sobolev exponent and -(-) s is the fractional Laplace operator, up to normalization factors, may be defined as follows: for x ∈ R N (see [19] for more details on the fractional Laplacian). Through observation, we find that due to the characteristics of nonlocal problems, the boundary condition of problem (1.2) is a natural counterpart of the Dirichlet boundary condition of problem (1.1). The literature on bifurcated results for nonlocal fractional equations is very interesting, we refer to see [20,21] and the references therein.
Motivated by the above work, the aim of this paper is to investigate the multiplicity of solutions for a class of fractional equations involving critical nonlinearities and a lower order perturbation: where L K is a integro-differential operator defined as follows: for any x ∈ R N \{0}; for any x ∈ R N \{0}. (1.3) Thanks to taking K(x) = |x| -(N+2s) , we have L K = -(-) s , so we call the operator L K is a extension of the fractional Laplacian. Finally, g is a lower order perturbation of the critical power |v| 2 * s -2 v, and it is a Carathéodory function from Ω × R to R satisfying the following assumptions: As a typical example for g we can set g( x ∈ Ω and ξ ∈ (2, 2 * s ). Obviously, v ≡ 0 is a trivial solution of problem (E). Hence, we are only interested in nontrivial solutions. The nontrivial weak solutions of problem (E) is equivalent to the nontrivial solutions of the following problem: which represents the Euler-Lagrange equation of the functional J K,μ : V 0 → R defined as where the space V 0 will be introduced in Sect. 2. Along the present paper, {μ j } j∈N represents the eigenvalues of the following homogeneous Dirichlet problem: and {f j } is the eigenfunction of the eigenvalue μ j . Moreover, we choose {f j } j∈N to standardize, so that this sequence is an orthonormal basis for space L 2 (Ω) and an orthogonal basis of V 0 . For a detailed study of the spectrum of operators -L K , please refer to reference [22, Proposition 9 and Appendix A].
In this case, the space composed of the eigenfunctions corresponding to the eigenvalue μ j is span{f j , . . . , f j+k-1 }.
Next, we also give the definition of the best fractional critical Sobolev space constant S K : The main feature of this paper is that we are concerned about the existence of multiple solutions to the problem (E). To be precise, our main results are as follows.
and take k ∈ N be its multiplicity. Suppose that where |Ω| indicates the Lebesgue measure of the set Ω, and S K is defined in (1.7). If (g 1 )-(g 5 )

hold. Then problem (E) has at least k pairs of nontrivial solutions
Remark 1.1 Finding weak solutions to problem (E) is essentially looking for critical points for the functional J K,μ (v) associated with this equation. In this theorem, we show that in the proper left neighborhood of any eigenvalue of operator -L k (with homogeneous Dirichlet boundary condition), the number of nontrivial solutions to problem (E) is twice as many as the eigenvalue multiplicity. Our method is based on the abstract critical point theorem thanks to Bartolo, Benci and Fortunato in [7, Theorem 2.4], which will be introduced in Sect. 2. Our result is a generalization of the conclusion in [18].
Remark 1.2 Now, take μ * be as in (1.8). Hence, Because μ * has multiplicity k ∈ N thanks to assumption, we get (1.10) We claim that the parameter μ is a positive constant. Indeed, in view of definition of μ * and consider (1.6), it is clearly seen that Furthermore, the variational characterization of the first eigenvalue μ 1 (refer to [22,Proposition 9 and Appendix A]) shows that Since it follows from the Hölder inequality that by the above inequality and (1.12), we have Thus, according to (1.9) and (1.13), we see that the parameter μ > 0.
The paper is structured as follows. In Sect. 2 we introduce our workspace and some lemmas that we will use. In Sect. 3 we verify the geometric structure and conditions of the abstract critical point theory, and give me the proof of Theorem 1.1.

Workspace and some lemmas
In this section, we first introduce our workspace, then present the main tool of this article, and finally provide some basic lemmas to be used in this article.
Problem (E) has variational characteristics. The space for finding weak solutions is functional space V 0 , which is defined as follows (we can refer to [23] for the detailed nature and introduction of this space).
Through this paper, the space V is a linear space of Lebesgue measurable functions from R N to R such that the restriction to Ω of any function v in V belongs to L 2 (Ω) and We recall that the space V 0 and V are non-empty thanks to C 2 0 ⊆ V 0 (see [24,Lemma 5.1]): here we need condition (1.3).
The space V is endowed the following norm: Furthermore, according to [23,Lemma 6] as a norm on V 0 we can let the function Moreover, (V 0 , · V 0 ) is a Hilbert space (see [23,Lemma 7]) with the scalar product given by We denote the usual fractional Sobolev space by H s (Ω), which endowed with norm (the so-called Gagliardo norm) as follows: We note that the norms in (2.1) and (2.4) are not the same when K(x) = 1 |x| N+2s , due to Ω × Ω is contained strictly in Z. It makes the space V 0 different from the usual classical fractional Sobolev space. Thus, from the point of view of the variational method, the classical fractional Sobolev space is insufficient for investigating our problem.
Next  Making use of the behavior of g at zero and at infinity, we give some estimates on the non-linear term g and its primitive G (with respect to its second variable).
The following lemma will be used when we verify the functional geometry.

Proof of the main result
In this section, the idea is to apply Theorem 2.1 to prove that functional satisfies compactness conditions and suitable geometric. It is easy to see that J K,μ is well defined thanks to [18]. Furthermore, J K,μ ∈ (V 0 , R) and for any v, ψ ∈ V 0 . Therefore, critical points of functional J K,μ are solutions to problem (E), it is also the weak solutions of problem (1.4). Observe that the functional J K,μ is even and functional J K,μ (0) = 0 thanks to (g 5 ). Next, it is suffice to show that the functional J K,μ fulfills conditions (J 1 ) and (J 2 ). In order to this aim, let us do it step by step.
Step 1 (Compactness condition of J K,μ ). Similar to the proof in the literature [6, Proposition 2], we obtained the following lemma, which states that the functional satisfies the (PS) condition at any level c, provided c belongs to a suitable threshold depending on the best fractional critical constant S K . and take v j a sequence in V 0 such that Then there exists v ∞ ∈ V 0 such that, up to a subsequence, v jv ∞ V 0 → 0 as j → +∞.
Step 2 (Geometric stucture of J K,μ ). Using the notation in Theorem 2.1, we take Obviously both X and Y are closed subspaces of V 0 and Hence, we see that (J 2 )(iii) of Theorem 2.1 is satisfied. Next, let us prove that the functional J K,μ possesses the geometric properties of Theorem 2.1, that is, it satisfies the conditions (J 2 )(i) and (ii) of Theorem 2.1.
. . , f j , . . .} is an orthonormal basis of L 2 (Ω) and an orthogonal basis of V 0 , considering (1.10) we have hence, according to this and Hölder inequality, (g 4 ), we get thanks to (g 4 ). Now, for m ≥ 0 take Obverse that h is differentiable in (0, +∞) and Thus, the function h maximizes at m, and for any m ≥ 0 It follows from (3.2) and (3.3) that We note that In the end, take v ∈ X. We claim that Indeed, If v is equal to 0, this is obviously true, while if v ∈ X \ {0} it follows from the variational characterization of μ * = μ j defined by , as proved in [15,Proposition 9]. Therefore, according to Lemma 2.1, Lemma 2.2, Hölder inequality, (1.3) and (3.5), we obtain for any ε > 0 where ϑ was defined in (1.3). We take v ∈ X be such that v V 0 = > 0. We can choose ε such that 2εd|Ω| 2 * s -2 2 * s < ϑ(1 -μ μ * ), and let be small enough, say ≤ with > 0, so that thanks to the fact that 2 * s > 2.
Proof of Theorem 1.1 From Step 1, it is easy to see that J K,μ fulfills (J 1 ) with Moreover, according to Step 2, it follows from (3.3)-(3.8) that J K,μ satisfies (J 2 ) with = , By (3.7), (3.8) and assumption (1.9), we note that In conclusion, functional J K,μ satisfies all the conditions in abstract critical point theory (i.e. Theorem 2.1), so the functional has k pairs {-v μ,i , v μ,i } of critical points whose values are such that for any i = 1, . . . , k. Furthermore, by (3.9) and J K,μ (0) = 0, clearly, these critical points are nontrivial. Therefore, problem (E) has at least k pairs of nontrivial weak solutions {-v μ,i , v μ,i }. At present, fix i ∈ {1, . . . , k}. According to (3.9) and (g 4 ) we get . (3.10) As a result, passing to the limit as μ → μ * in (3.10), we obtain Hence, by (3.11), since L 2 * s (Ω) → L 2 (Ω) is continuous and Ω is bounded, we also have So, based on the discussion above and Lemma 2.1, we get , which combined with (3.11) and (3.11) implies This means that the proof of Theorem 1.1 is complete.

The prospect of future problems
In this section we want to generalize our problem to the more general case p. The equation that we deal with becomes where Ω is an open and bounded domain with Lipschitz boundary, N > ps, with s ∈ (0, 1), and μ is a positive real parameter, p * s = pN N-ps is the fractional critical Sobolev exponent, while L p K is an integro-differential operator defined as follows: where |Ω| indicates the Lebesgue measure of the set Ω, and S p K is defined in (4.3). If (g 1 )-(g 5 ) hold, then problem (4.1) has at least k pairs of nontrivial solutions {-v μ,i , v μ,i } such that v μ,i V 0 → 0 as μ → μ * for any i = 1, . . . , k.
Remark 4.1 In this theorem, our workspace V 0 can be defined in the form in the literature [26]. Our proof method and process are similar to the situation when p = 2. Therefore, we omit it here. We also show that a multiplicity and bifurcation result for the kind of fractional p-Laplacian equation.

Conclusion
In this work, a multiplicity and bifurcation result for fractional problems is obtained by using the variational and topological methods. Our conclusions improve the related results in some respects. The fractional nonlocal problems with critical nonlinearities have their applications in many fields, for example, in [27] the authors described a model of flow in porous media including nonlocal (long-range) diffusion effects. The model is based on Darcy's law and the pressure is related to the density by an inverse fractional Laplacian operator. They proved the existence of solutions that propagate with finite speed. Examples are flame propagation, water waves, optimization, multiple scattering, thin obstacle problem, image reconstruction, through a new and fascinating scientific approach (see, e.g., the papers [28,29]). In the future, such kind of bifurcation results can be obtained in applications to a class of fractional Kirchhoff equations. In this direction, one can refer to Refs. [30][31][32][33][34][35].