A Class of Critical Magnetic Fractional Kirchhoff Problems

: In this paper, we deal with the existence and asymptotic behavior of solutions for a fractional Kirchhoff type problem involving the electromagnetic ﬁelds and critical nonlinearity by using the classical critical point theorem. Meanwhile, an example is given to illustrate the application of the main result. attempt to study the existence and asymptotic behavior of solutions for this kind of equation with the critical magnetic operator.


Introduction
The aim of this paper is to investigate the existence of solutions for a magnetic fractional Kirchhoff equation involving a critical nonlinearity: where s ∈ (0, 1), N > 2s, Ω is an open and bounded domain with the Lipschitz boundary, |v(x) − e i(x−y)·A( x+y 2 ) v(y)| 2 |x − y| N+2s dxdy 1 2 , g is a lower order perturbation of the critical power |v| 2 * s −2 v; µ > 0 is a real parameter; 2 * s = 2N N−2s is the fractional critical Sobolev exponent; the Kirchhoff function M : R + 0 → R + 0 is a continuous function; and (−∆) s A is the non-local fractional magnetic operator, defined as follows: N+2s dy, for x ∈ R N , along any complex valued functions φ ∈ C ∞ 0 (R N , C), where B ε (x) denotes the open ball in R N centered at x ∈ R N and of radius ε > 0. We can consider (−∆) s A as a fractional counterpart of the magnetic Laplacian (∇ − iA) 2 , with A : R N → R N , being a L ∞ loc -vector potential; see Chapter 7 of [1]. For further details about this kind of operator, see [2][3][4][5][6] and the references therein. The equation with the fractional magnetic operator A and the critical nonlinear term |v| 2 * s −2 v is called the fractional critical magnetic problem. For such a critical nonlinear case, Fiscella et al first proposed a bounded stationary Kirchhoff variational model. The existence and multiplicity of solutions to fractional Kirchhoff problems are obtained by using the variational method and the principle of concentrated compactness in [7]. The main difficulty about this problem is the lack of compactness of Sobolev space, and the magnetic operators in the equation make the problem more complicated. Most scholars deal with the known multiplicity, but there are few articles about the asymptotic behavior of solutions. For instance, in [8], Fiscella et al. studied bifurcation phenomena and the multiplicity of solutions for a critical magnetic fractional problem by using a classical theorem in critical point theory. Moreover, Libo et al. obtained infinitely many solutions for the degenerate magnetic fractional Kirchhoff problem by using the new version of the symmetric mountain pass theorem of Kajikiya in [9].
Clearly, when A ≡ 0 and φ is a smooth real valued function, (− ) s A becomes classical fractional Laplacian (− ) s , and Problem (1) becomes the fractional Kirchhoff equations involving a lower order perturbation term and a critical nonlinearity. This kind of fractional Laplacian operator has different applications in many fields, such as phase transition phenomena, continuum mechanics, game theory, and so on, as they are the typical outcome of stochastically stabilization of Lévy processes; see [10]. In particular, as M = 1, Servadei et al. completed the study of elliptic equations with the fractional critical Sobolev exponent in [11]. For the more general case, in [12], Autuori et al. investigated the existence of solutions for a class of fractional Kirchhoff problems.
Motivated by the above works, the present paper concerns the existence and asymptotic behavior of solutions of Problem (1) and covering the degenerate case M(0) = 0, without any monotonicity conditions on M. In order to obtain this goal, we assume that (M 1 ) There exists θ ∈ (0, 1), such that:

Remark 1.
It is worth mentioning that Kirchhoff in 1883 (see [13]) presented a stationary version of the differential equation, the so-called Kirchhoff equation: where ρ, l, e, L, p 0 are positive constants that represent the corresponding physical meanings. It is a generalization of the D'Alembert equation. The Kirchhoff functions M come in many forms, and we can refer to the literature [14][15][16]. Among them, in [14,16], the Kirchhoff function was assumed to satisfy certain monotonicity (i.e., M(t) = a + bt τ , a, b > 0, τ ≥ 1 for all t ∈ R + 0 ); we adopt the assumption of a more generalized integral form (M 1 ). In [15], the authors only considered the non-degenerate case, while in this paper, we consider the case including the degenerate case. Throughout the paper, Conditions (M 1 )-(M 3 ) are very important. For this reason, we first make a brief analysis for our later use. As indicated in [17], Condition (M 3 ) means that: for any t ∈ [0, 1]. Moreover, by (M 1 ), we get M(t) ≥ M(1)t θ for all t ∈ [0, 1], and combining with (2) gives M(t) ≥ ct θ for any t ∈ [0, 1]. In the same way, for any κ > 0, there exists γ κ = M(κ)/κ θ > 0 such that: Thus, it follows from (3) that: thanks to θ < 1 by (M 1 ).
The perturbation in problem (1) is a Carathéodory function g : Ω × R + → R satisfying the following assumptions: (g 1 ) There exist ς ∈ (2θ, 2 * s ) and a nonnegative function Remark 2. According to (g 1 ), we can get that: By (g 2 ), we have that for some d 1 , d 2 > 0: Now, we give the main result of this paper; our work space X 0,A will be introduced in Section 2.

Remark 3.
Recently, the fractional magnetic operator problem has attracted the intense interest of many scholars because of its wide application in various fields. There is a variety of problems involving magnetic operators, for example fractional magnetic Schrödinger equations, fractional magnetic Kirchhoff-type equations, critical fractional magnetic degenerate equations, and so on. For their more detailed content, please refer to the relevant theories [18][19][20][21][22][23][24]. To the best of our knowledge, this is the first attempt to study the existence and asymptotic behavior of solutions for this kind of equation with the critical magnetic operator.
The paper is structured as follows. In Section 2, we recall some properties on the fractional working spaces involved and discuss the variational formulation. In Section 3, we show the validity of the structure of the mountain pass lemma and compactness criterion. In Section 4, we adapt the variational method used by Evans in [25] to prove Theorem 1.

Variational Setup
In this section, we first recall the basic variational frameworks. For any v ∈ C, we indicate with Rv its real part and with v its complex conjugate. Moreover, we define the magnetic Gagliardo semi-norm as: according to [21]. The function space H s where we denote by L 2 (Ω, C) the space of measurable functions v : Ω → C such that: where | · | is the Euclidean norm in C. When A = 0, this definition (7) becomes the usual fractional space H s (Ω). By Proposition 2.2 in [19], it is easy to see that To obtain weak solutions of Problem (1), we only need to define our workspace as in [26].
which extends to the magnetic structure, relative to that space introduced in [12]. We use the method in [8] to define the inner product on X 0,A : The corresponding norm is: From (Lemma 7, [27]), we know that (X 0,A , ·, · X 0,A ) is a Hilbert space and is reflexive.
Remark 4. For any v ∈ X 0,A , there exists S > 0, depending on n, s, Ω, such that: We define the best magnetic fractional Sobolev constant given by: Definition 1. We say that v ∈ X 0,A is a weak solution of Problem (1), if: Obviously, in order to seek the weak solutions of Problem (1), we look for critical points of the C 1 -functional I A,µ : X 0,A → R denoted by: and: For the convenience of the reader, we introduce the following Palais-Smale condition at suitable level c µ .

Definition 2.
Let I A,µ ∈ C 1 (X 0,A , R); we say that I A,µ satisfies the (PS) c µ condition at the level c µ ∈ R, if any sequence {v k } ⊂ X 0,A such that: possesses a convergent subsequence in X 0,A .
To prove Theorem 1, we apply the following classical critical point theorem for our functional I A,µ .

Proof of the Main Result
In this section, we first show that the functional I A,µ meets all the structural characteristics of the mountain pass theorem, and then, we prove that the functional I A,µ satisfies the Palais-Smale condition at an appropriate level c µ for any µ > µ 0 , where µ 0 > 0 is a threshold. Finally, we give the proof of Theorem 1.
Since ω X 0,A > ρ, it follows from Equations (14) and (15) that: which means that the boundedness of {t µ } µ∈Θ . Obviously, through the composition of Θ, also {t µ } µ∈{R\Θ} is bounded. This concludes the proof of the assertion. Let a sequence {µ k } k∈N ⊂ R + such that µ k → ∞ as k → ∞. Obviously {t µ k } k∈N is bounded. Thus, there exist a constant t 0 > 0 and a subsequence of {t µ k } k∈N , which we still write as {t µ k } k∈N , such that t µ k → t 0 as k → ∞. Since M is a continuous function, then we get that M(t 2 µ k ω 2 X 0,A ) k∈N is still bounded, and so, according to Equation (14), there exists B > 0 such that for any k ∈ N: We claim that t 0 = 0. Indeed, we can assume that t 0 > 0, then from (g 1 ) and the dominate convergence theorem: which contradicts Equation (16). Hence, t 0 = 0 and t µ → 0 as µ → ∞, thanks to the sequence {µ k } k∈N being arbitrary. Consider now the path γ(t) = tω, t ∈ [0, 1], γ(t) ∈ Γ. According to Lemma 2 and (g 2 ): Because M is continuous, thus we get that M(t 2 µ ω 2 X 0,A ) → 0 as µ → 0. This means that the proof of the lemma is complete. Lemma 5. If (M 1 )-(M 3 ) and (g 1 )-(g 2 ) hold, then, there exists µ 0 > 0 such that for any µ ≥ µ 0 , the functional I A,µ fulfills the (PS) c µ condition.
Proof. Let µ > 0 and {v k } k∈N satisfy Equation (11). Thanks to the degenerate nature of Problem (1), we consider two cases.
Moreover, according to (M 1 ), Equation (17), and (g 2 ), we get that: where 2θ < 2 * s and also 2 < 2 * s since N > 2S. Thus, it follows from Equations (11), (17) and (18) that: as k → ∞, which implies that {v k } k∈N is bounded in X 0,A , and analogously, we obtain that {v k } k∈N is bounded in L 2 * s (Ω, C). Considering the boundedness of {v k } k∈N , going if necessary to a subsequence, still denoted by {v k } {k∈N} , by using Lemma 1 and (Theorem 4.9, [28]), there exist v µ ∈ X 0,A , such that: Obviously, β µ > 0 since h µ > 0. Moreover, we know that zero is the unique zero of M by (M 2 ), as well as M( v k 2 X 0,A ) → M(β 2 µ ) as k → ∞, thanks to continuity. First, we claim that: lim If not, lim sup µ→∞ β µ = β > 0. Therefore, there exists a sequence, called k → µ k ↑ ∞, such that β µ k → β as k → ∞, and taking k → ∞, we obtain from the first inequality of Equation (18) along with (M 1 ) and Lemma 4 that: , which is impossible. Therefore, we get the result (21). Furthermore, v µ X 0,A ≤ lim k v k X 0,A = β µ thanks to v k v µ , so according to Equation (21) and the fractional magnetic Sobolev inequality, we have: lim By the boundedness of {v k } k∈N in L 2 (Ω, C), we get that the sequence {|v k | 2 * s −2 v k } k∈N is bounded in L 2 * s (Ω, C). Therefore, by Equation (20), we obtain: where 2 * s = 2N/(N + 2S) is the Hölder conjugate of 2 * s . Again, by (20) and (23), and (g 1 ), we get: for any φ ∈ X 0 . Therefore, we can easily obtain that v µ is a critical point of the C 1 (X 0,A ) functional: In particular, Equations (11), (20) and (23) imply that as k → ∞: Indeed, again from (g 1 ), we have the following: Again, by Equation (20) and the Vitali convergence theorem, we have that: Furthermore, again from Equation (20) and the well known Brézis and Lieb lemma of [29], we obtain: as k → ∞. Thus, we have proven the crucial formula: If ξ µ = 0 for all µ ≥ µ 0 , thanks to β µ > 0 and M admitting a unique zero at zero, then Equation (25) yields at once that v k → v µ in X 0,A , concluding the proof. Instead, suppose that there exists a sequence k → µ k ↑ ∞ such that ξ µ k = ξ k > 0. Combining Equations (9), (20) and (25), we have: Observing Equation (24), we can get: By Equation (26), we obtain along this sequence, denoting Therefore, for all k large enough, it follows from Equation (21) and (M 3 ) that: Hence, for all k enough enough, we have: thanks to β k > 0 for any k. According to Equation (21), we know that the above inequality is impossible, thanks to 4s > N by assumption. Therefore, we complete the proof of Lemma 5.

Case 2. inf
k∈N v k X 0,A = 0. We consider two cases at zero. When zero is an accumulation point of the real sequence { v k X 0,A } k∈N , so there is a subsequence of {v k } k∈N strongly converging to v = 0. This means that the trivial solution is a critical point at c µ , which is a contradiction. When zero is an isolated point of {v k } k∈N , then there is a subsequence, still denoted by { v k j X 0,A } k∈N , such that inf k∈N v k j X 0,A = h µ > 0, and we can proceed as before. This completes the proof of the second case and of the lemma.
Proof of Theorem 1. According to Lemmas 2, 3 and 5, we note that I A,µ fulfills all conditions in Theorem 2 for any µ ≥ µ 0 . Thus, for any µ ≥ µ 0 , there exists a critical point v µ ∈ X 0,A for I A,µ at level c µ . Clearly, v µ ≡ 0 thanks to the fact that I A,µ (v µ ) = c µ > 0 = I A,µ (0). Finally, we also obtain the asymptotic behavior thanks to Equation (22).

Conclusions and Further Research
In this article, we combined the fractional magnetic operator with the more generalized Kirchhoff function to consider the existence and asymptotic behavior of the solution of this new equation, which plays a fundamental role in quantum mechanics in the description of the dynamics of the particle in a non-relativistic setting; see [1]. In order to overcome the difficulties caused by the critical situation and the intervention of magnetic operators, we used special techniques to deal with this problem, and our result generalized the previous work of Autuori [12] and Servadei [11] in some aspects. In future research, we will extend multiple equations to include fractional magnetic operators; due to the operators having a certain physical background and significance, the applicability is more extensive.