On solutions for a class of Klein–Gordon equations coupled with Born–Infeld theory with Berestycki–Lions conditions on R 3

: In this paper, the existence of multiple solutions for a class of Klein–Gordon equations coupled with Born–Infeld theory was investigated. The potential and the primitive of the nonlinearity in this kind of elliptic equations are both allowed to be sign-changing. Besides, we assumed that the nonlinearity satisfies the Berestycki–Lions type conditions. By employing Ekeland’s variational principle, mountain pass theorem, Pohoˇzaev identity, and various other techniques, two nontrivial solutions were obtained under some suitable conditions.


Introduction
This paper deals with the Klein-Gordon equation coupled with Born-Infeld theory where ∆ 4 =div(|∇ϕ| 2 ∇ϕ), ω > 0, β > 0, u ,V, ϕ : R 3 → R and g : R 3 × R → R. The application of the Klein-Gordon equation extends to the development of electrically charged field theory [1].The energy of the functional related to a point-charge source is infinite in the original Maxwell theory.To overcome the problem of infinity, Born introduced the Born-Infeld (BI) electromagnetic theory [2][3][4].The fundamental concept behind this theory is the principle of finiteness [5], where the conventional theory is modified to eliminate physical quantities involving infinities.Ensuring the finiteness of electric fields, a square root form with a parameter replaced the original Lagrangian density for Maxwell electrodynamics.Given its correlation in the realm of superstrings and membranes [6,7], the Born-Infeld nonlinear electromagnetism has attracted significant focus from both theoretical physicists and mathematicians.For a more detailed exploration of the physical aspects, we recommend referring to [8][9][10][11].
To explore numerical techniques for constructing and approximating real solutions, reference [12] developed a Haar wavelet collocation method for solving first-order and second-order nonlinear hyperbolic equations.Recent advancements and outcomes concerning elliptic equations governed by a differential operator are succinctly summarized in reference [13].
First, when h ≡ 0, which is the homogeneous case, problem (1.1) has been widely analyzed.The seminal work by d'Avenia and Pisani [14] investigates first the existence of an infinite number of radially symmetric solutions for the following problem where m 0 is the mass of a particle (i.e., a physical constant), and 4 < p < 6, |ω| < |m 0 |.When 2 < p ≤ 4 and 0 < ω < 1 2 p − 1|m 0 |, Mugnai [11] achieved an identical outcome.Subsequently, through the application of Pohožaev identity, Wang [15] improved the results of [11,12] and derived the solitary wave solution by one of the following conditions: [16] obtained the existence of the least-action solitary wave.Later, Chen and Song [17] studied the following Klein-Gordon equation with concave and convex nonlinearities coupled with BI theory: where 1 < q < 2 < p < 6.By Ekeland's variational principle and mountain pass theorem within the use of critical point theory, the existence of multiple nontrivial solutions for Eq (1. 3) was demonstrated by imposing suitable assumptions on λ, V(x), k(x), and g(x).By replacing |u| p−2 u with |u| p−2 u + |u| 2 * −2 u, a nontrivial solution for Eq (1.2) was obtained by Teng and Zhang [18] under the conditions 4 ≤ q < 6 and m 0 > ω.In this direction, He et al. [19] also enhanced the existence findings of equation in [18] and investigated the presence of a ground state solution for the system (1.2).For elliptic equations involving subcritical term and critical term, we can refer to [20][21][22][23]; references [24][25][26] provide other relevant results concerning homogeneous Klein-Gordon equations with Born-Infeld equations.
In this paper, we consider h 0, which is the nonhomogeneous case.Liu and Wu [27] recently investigated a kind of Klein-Gordon-Maxwell systems when the nonlinearity g ∈ C(R, R) and satisfies the following Berestycki-Lions conditions: Berestycki and Lions [28] introduced the above assumptions, highlighting the near indispensability of (g 1 ) and the necessity of (g 2 ) and (g 3 ) for proving the existence of nontrivial solutions.Liu et al. [29] delved into the existence of positive solution and multiple solutions of the Klein-Gordon-Maxwell system with Berestycki-Lions conditions.Within [30], the authors investigated standing waves for the pseudo-relativistic Hartree equation with Berestycki-Lions nonlinearity.Importantly, the Berestycki-Lions conditions are less restrictive compared to the conditions associated with g in [31][32][33][34][35]. Luo and Ahmed [36] concerned the Cauchy problem of nonlinear Klein-Gordon equations with general nonlinearities, establishing the global existence and finite-time blow-up of solutions with low and critical initial energy levels.It provides us some methods and insights.The assumptions mentioned earlier for the function g are utilized in this paper.
Through the application of variational methods, numerous solutions have been discovered for problem (1.4) with a constant potential and h(x) exhibits radial symmetry, by utilizing the mountain pass theorem and the Ekeland's variational principle, Chen and Li [37] obtained two nontrivial solutions with radial symmetry for the nonhomogeneous problem (1.4), under one of the following conditions: (i) 4 < p < 6 and |m 0 | > ω; (ii) 2 < p ≤ 4 and 1 2 p − 1|m 0 | > ω.By applying the variant fountain theorem, Wang and Xiong [38] were able to demonstrate the existence of two solutions, when considering the specified assumptions on V: In order to ensure the compactness of Sobolev embedding, condition (V) was introduced in [39].Wen and Tang [26] recently investigated system (1.4) with a sign-changing potential, while simultaneously setting h(x) ≡ 0. Apart from the given conditions (V 2 ), they further assumed the following condition holds: By considering condition (V 0 ), it is implied that the potential V can be sign-changing.Inspired by [37][38][39][40], our current research focuses on investigating system (1.1), which has non-constant external potential and exhibits generalized superlinear growth conditions.Specifically, we are intrigued by the double sign-changing case, where both the primitive of g and the potential V change sign.However, this scenario poses a challenge as it prevents us from employing a conventional variational approach directly.Due to these reasons, the investigation of the double sign-changing case for the problem (1.1) has been limited in academic literature.Hence, the principal objective of this article is to discover a new result about the existence of multiple solutions based on comparatively weaker conditions.To express our conclusion, the following conditions on h and V are needed: 3 ), and there exists a constant ϱ > 0 such that (x The main conclusion is stated here. Theorem 1.1.Suppose that (V 1 )-(V 3 ), (g 1 )-(g 3 ) and (h 1 )-(h 2 ) hold.Then system (1.1) has at least two nontrivial solutions for ω and h, satisfying 0 < ω ≤ ω 0 and |h| 2 < Λ for some ω 0 , Λ > 0, respectively.Remark 1.1.In this paper, one of the two obtained solutions is negative energy and the other is positive energy.Moreover, under our assumptions, it seems difficult to obtain the second positive energy solution by the mountain pass theorem.It should be noted that problem (1.1) does not have a positive energy solution when ω > 0 is sufficiently large.To overcome the difficulty, we introduce the cut-off function η and consider the modified function I T to ensure boundedness of (PS) sequences with an additional property related to Pohožaev identity.Due to the appearance of the potential, the modified functional I T (u) is more complicate compared with the I T (u) in [26].To prove the bounded (PS ) sequence, we need more computations on the assignment of b T (u).Additionally, the (PS) sequence converges to a solution of problem (1.1).Finally, we get that problem (1.1) has a positive energy solution with ω > 0 small enough.

The variational setting and preliminary results
In consideration of (V 1 ), the potential V(x) is sign-changing in R 3 .As a result, the energy functional associated with the system (1.1) becomes quite intricate, for the quadratic form occurring in the energy functional lacks definiteness.To address the issue of the quadratic form's indefiniteness, we take an indirect approach by considering an equivalent system instead of directly dealing with the original system (1.1).In fact, it follows from (V 1 ) that there exists a constant V ′ > 0, so that Ṽ(x) := V(x) + V ′ > 0 for all x ∈ R 3 , and the quadratic form dx is positive definite.Consequently, with the assumption that g(u) := g(u)+V ′ u and labeling the primitive function as G(u), so that g(u) and G(u) can still meet the Berestycki-Lions conditions.We proceed to investigate the following alternative system: x ∈ R 3 . (2.1) Clearly, system (1.1) is equivalent to system (2.1).Moreover, conditions (V)-(V 3 ) still hold for Ṽ, and we still apply conditions (g 1 )-(g 3 ) to g and G(u), but the value of m is replaced by m = m + V ′ .Henceforth, the subsequent analysis will be focused on the study of system (2.1).For this reason, we will use (V) instead of (V 1 ) and assume that V is radial.So, in order to prove Theorem 1.1, we only need to prove system (2.1) has at least two nontrivial solution with the conditions (V 1 )-(V 3 ), (g 1 )-(g 3 ), and (h 1 )-(h 2 ).
Given the assumption (V), the lack of compactness of the embedding H 1 (R 3 ) → L p (R 3 ) in our problem poses a challenge in establishing the satisfaction of the (PS ) c condition for the functional I. Consequently, the work space of the functional I is the following radial space and its norm is defined by .
Let E be defined by then E is a Hilbert space.For 1 ≤ s < ∞, we denote the following |.| s as the norm of the usual Lebesgue space L s (R 3 ) .
The embedding E → L s (R 3 ) is compact for any s ∈ [2,6] by the assumption (V 2 ); and is continuous for any s ∈ [2,6] as Ṽ(x) is bounded from below.The embedding inequality holds for some τ s > 0. Let D 1,2 (R 3 ) = {u ∈ L 6 (R 3 ) : ∇u ∈ L 2 (R 3 )} with the norm As well, D 1,2 (R 3 ) is continuously embedded in L 6 (R 3 ) by Sobolev inequality and D(R 3 ) is continuously embedded in L ∞ (R 3 ).Set B r := {x ∈ R 3 : |x| ≤ r} and let C be a positive constant having different values in what follows.
Certainly, the energy functional of problem (2.1) is F(u, ϕ) : whose critical points are solutions of problem (2.1).

Proof of the main result
Lemma 3.1.Assume that (g 1 )-(g 3 ) hold and let {u n } be a bounded (PS) sequence.Then, {u n } contains a convergent subsequence in E.
Proof.Let {u n } ⊂ E be a bounded (PS ) sequence in E, then up to a subsequence, it has Set and t 5 = 0 and g 2 (t)t ≥ 0, and |g 2 (t)| ≤ C(|t| + |t| 5 ), ∀ t ∈ R. Using this with Strauss's lemma (see [28]), we have With Fatou's lemma, we have By the definition of g 2 (t), one sees that Being C ∞ 0 (R 3 ) dense in E, one knows that for any ε > 0, there exists ξ ∈ C ∞ 0 (R 3 ) such that ∥ξ−u∥ < ε.Then, by the Hölder and Sobolev inequalities, we obtain Then, by (3.2), (3.4) and With the Hölder inequality and the Sobolev inequality, one sees where C > 0 is a constant.As u n → u in L s (R 3 ) for any 2 ≤ s < 6, we obtain and Consequently, from (3.6) and (3.7), we have Notice that the sequence Then, by (3.8) and (3.9), one has From (3.11), one obtains that u n → u in E as n → ∞.The proof is completed.
Similar to the proof of Theorem 5.1 of [35], we can find a solution with positive energy to system (2.1)only when ω > 0 small enough.To overcome the difficulty in obtaining bounded (PS ) c sequence for the functional I, we define a cut-off function η ∈ C ∞ (R + , R + ) satisfying Consider the following modified functional: and then for all u, v ∈ E, Consequently, we can obtain that I(u) = I T (u) when ∥u∥ ≤ T .Lemma 3.3.Assume that (g 1 )-(g 3 ) and (h 1 )-(h 2 ) hold.Then, (a) I T | ∂B r ≥ α ≥ 0, where r and α are the same as that in Lemma 3.2; (b) there exists e 0 ∈ E such that I T (e 0 ) < 0.
Proof.The proof of (a) is the same as that in Lemma 3.2.For (b), similar to [28], for any constant M > 1, one can define Hence, y is radial.Here, we work on the ball B M = {x ∈ R N , |x| < M}; and let M → +∞.There exist Ci (i = 1, 2, 3, 4) such that (3.20) We define ẙ = y( • θ ) for any θ, and let By (3.20) and −ω ≤ ϕ u ≤ 0, one has Since θ can be large enough and M > 1, we can choose a y small enough such that ) = 0 and I T (γ(1)) < 0.
Let θ 0 > 0 sufficiently large, then the proof of Lemma 3.3 is completed by letting e 0 = y( x θ 0 ).
Proof.We will argue by contradiction, from −ω ≤ ϕ u ≤ 0 of Lemma 2.1, assumption (V 3 ) and the definition of η, we obtain and where C 1 , C 2 , C 3 > 0 are constants.By (h 1 ) and Sobolev inequality, there exists κ ∈ L 6 5 (R 3 ) and a constant A 1 > 0 such that  Since {u n } satisfies ⟨(I T ) ′ , u n ⟩ = o n (1), by (g 1 ) and (g 2 ), we obtain where C is a positive constant.We can choose ω < ω 0 < T −1 such that ω 2 T 2 < 1, then from (3.33), we know that this is impossible for T is large enough.Thus, we complete the proof.

Conclusions
Proof of Theorem 1.1.