Existence of Solutions for the Schrödinger-Type Bopp-Podolsky System with Indefinite Potentials

This paper investigates the existence of nontrivial solutions for the Schrödinger-Bopp-Podolsky system with an indefinite potential function

V(

x

)

. The indefiniteness of

V

prevents the direct application of standard variational methods such as the mountain pass theorem, as the associated Schrödinger operator

−Δ+V

possesses a finite-dimensional negative space, leading to a loss of coercivity and the standard linking structure in the energy functional. By employing a reduction method to handle the coupling with the Bopp-Podolsky equation and applying Morse theory combined with critical groups at infinity, we establish the existence of at least one nontrivial solution under appropriate assumptions on the indefinite potential

V

. and the nonlinearity

g

.

• Schrödinger-Type Bopp-Podolsky System
• Morse Theory
• Critical Group
• Indefinite Potential

1. Introduction

This article investigated a Schrödinger-Bopp-Podolsky system,

(1) { − Δ u + V ( x ) u + ϕ u = g ( x , u ) , x ∈ ℝ 3 , − Δ ϕ + ρ 2 Δ 2 ϕ = 4 π u 2 , x ∈ ℝ 3 .

where u , ϕ : ℝ 3 → ℝ , and a , b , ρ > 0 . The Schrödinger-Bopp-Podolsky system couples the Schrödinger equation with the Bopp-Podolsky equation. It originates from the search for standing wave solutions of the form ψ ( t , x ) = e i ω t u ( x ) to the Schrödinger equation coupled with the Bopp-Podolsky Lagrangian in an electromagnetic field. This framework was first introduced by Bopp [1] and later independently developed by Podolsky et al. [2] as a second-order gauge theory for electromagnetism.

In recent years, the Schrödinger-Bopp-Podolsky system has garnered significant attention from researchers, spurring a series of related studies. For example, Li et al. [3] established the existence of nontrivial ground state solutions for a nonlinear Schrödinger-Bopp-Podolsky system with critical Sobolev exponent. Their proof employed the Pohožaev-Nehari manifold method, Brézis-Nirenberg theory, monotonicity techniques, and the principle of global compactness. Meanwhile, Wang et al. [4] demonstrated both the existence and multiplicity of sign-changing solutions for the same system by applying perturbation methods and a minimax-based descending flow invariant set approach.

Similarly, Kirchhoff-type problems have also attracted considerable interest. Chen et al. [5] proved the existence of multiple solutions for an inhomogeneous Kirchhoff equation by combining the Ekeland variational principle with the mountain pass theorem. In [6], Wu obtained the existence of nontrivial solutions and infinitely many high-energy solutions for a Schrödinger-Kirchhoff-type problem using the symmetric mountain pass theorem. Additionally, Huang et al. [7] applied variational methods to establish existence and nonexistence results for a Kirchhoff-type problem under specified potential conditions, and further examined the “energy doubling” property of its nodal solutions.

Recently, Tang, Wang, and Wang [8] investigated the following Kirchhoff-type modification:

{ − ( a + b ∫ ℝ 3 | ∇ u | 2 x ) Δ u + V ( x ) u + ϕ u = f ( x , u ) , x ∈ ℝ 3 , − Δ ϕ + ρ 2 Δ 2 ϕ = 4 π u 2 , x ∈ ℝ 3 ,

where the nonlocal term b ( ∫ ℝ 3 | ∇ u | 2 d x ) Δ u substantially alters the structure of the associated functional. Assuming the potential V is indefinite, they employed Morse theory to establish the existence of solutions. One of the assumptions on the nonlinearity f in their work is ( f 4 ) : for any r > 0 ,

lim | x | → ∞ sup 0 < | t | ≤ r | f ( x , t ) t | = 0 ,

which describes the decay property of the nonlinear term at spatial infinity. In contrast, the primary aim of the present paper is to study the standard (non-Kirchhoff) system (1) under an indefinite potential V . We not only remove the Kirchhoff term to focus on the intrinsic challenges posed by the indefiniteness of V and the nonlocal coupling, but also replace assumption ( f 4 ) with the following condition on the nonlinearity g : ( g 4 ) : there exist s ∈ [ 2 , 6 ) , a ∈ L ∞ ( ℝ 3 ) ∩ L 3 / 2 ( ℝ 3 ) , and b ∈ L ∞ ( ℝ 3 ) ∩ L 6 / ( 6 − s ) ( ℝ 3 ) such that

| g ( x , t ) | ≤ a ( x ) | t | + b ( x ) | t | s − 1 .

Condition ( g 4 ) represents a broader growth condition. Unlike ( f 4 ) , it does not require decay of g as | x | → ∞ . Instead, it controls the global behavior of the nonlinearity through the functions a ( x ) and b ( x ) belonging to specific Lebesgue spaces. This marks a substantive difference from ( f 4 ) and allows us to handle a wider class of nonlinearities.

Recently, significant attention has been devoted to the study of coupled elliptic systems arising from quantum electrodynamics, particularly those modeling the interaction between a charged particle and an electromagnetic field. A notable advancement beyond classical Maxwell theory is the Bopp-Podolsky electrodyna- cs, which accounts for short-range interactions more accurately. In the pioneering work by d’Avenia and Siciliano [9], the stationary Schrödinger-Bopp-Podolsky system was introduced and studied via variational methods, laying the foundation for subsequent investigations.

Motivated by the existence results for semiclassical solutions of the Schrödinger equation with critical nonlinearity, as examined by Ding and Lin [10], this paper focuses on the following critical Schrödinger-Bopp-Podolsky system in the semi- assical regime:

{ − ε 2 Δ u + V ( x ) u + Q ( x ) ϕ u = h ( x , u ) + K ( x ) | u | 4 u in   ℝ 3 , − Δ ϕ + a 2 Δ 2 ϕ = 4 π Q ( x ) u 2 in   ℝ 3 ,

where u , ϕ : ℝ 3 → ℝ are unknown functions, and ε , a > 0 are parameters. The functions V , K , Q satisfy appropriate conditions, and the nonlinearity h is subcritical. In the equivalent formulation with λ = 1 / ε 2 , the system becomes

{ − Δ u + λ V ( x ) u + λ Q ( x ) ϕ u = λ h ( x , u ) + λ K ( x ) | u | 4 u in   ℝ 3 , − Δ ϕ + a 2 Δ 2 ϕ = 4 π Q ( x ) u 2 in   ℝ 3 ,

and the aim is to study the behavior as λ → + ∞ .

In recent studies, Xueqing Peng [11] focused on the existence and multiplicity of solutions in three dimensions, considering scenarios of general potentials, constant potentials, coercive potentials, and steep potentials. The specific content is as follows:

{ − Δ u + V ( x ) u + K ( x ) ϕ u = f ( u ) , − Δ ϕ + a 2 Δ 2 ϕ = 4 π u 2 .

where a , λ ≥ 0 , K ( x ) > 0 , V ( x ) is the potential, and f is the nonlinear term. When K ( x ) ≡ 1 and λ = 1 , they obtained three theorems concerning the multiplicity of solutions: i) Under some weaker conditions on f , they obtained infinitely many high-energy solutions using the symmetric mountain pass theorem; ii) They proved the existence of ground state solutions under a natural constraint and obtained infinitely many radial solutions using Krasnoselskii genus theory; iii) By using the invariant set of descending flow method, they studied the existence and multiplicity of sign-changing solutions.

The paper is organized as follows. At the end of Section 1, we introduce the variational framework and the required conditions by Theorem 1. In Section 2, we list the preliminaries required by the proof of Theorem 1. In Section 3, we focus on verifying the (PS) condition of the functional and computing the critical groups at infinity. In Section 4, we finish the proof of Theorem 1. In Section 5, we summarize the article.

System (1) has a variational structure. Its corresponding energy functional J : H 1 ( ℝ 3 ) × D 1 , 2 ( ℝ 3 ) → ℝ is

J ( u , ϕ ) = 1 2 ∫ ℝ 3 ( | ∇ u | 2 + V ( x ) u 2 ) x − 1 16 π ∫ ℝ 3 | ∇ ϕ | 2 x     − ρ 2 16 π ∫ ℝ 3 | Δ ϕ | 2 x + 1 2 ∫ ℝ 3 ϕ u 2 x − ∫ ℝ 3 G ( x , u ) x

where G ( x , t ) = ∫ 0 t g ( x , s ) s . It can be shown that ( u , ϕ ) is a solution of system (1) if and only if it is a critical point of the functional J . However, due to the indefiniteness of the potential function, although there is a local linking at the origin, all critical point theorems require the functional to satisfy global compactness conditions. For specific details, refer to [12], which presents essential difficulties for the study of its critical points. We employ the reduction method proposed by Benci et al. in [13], with appropriate modifications. Since ∂ ϕ is a C 1 functional. When H h is the graph of the map h : u ∈ H 1 ( ℝ 3 ) ↦ ϕ u ∈ D 1 , 2 , by the implicit function theorem, we have

H h = { ( u , ϕ ) ∈ H 1 ( ℝ 3 ) × D 1 , 2 : ∂ ϕ ∂ ( u , ϕ ) = 0 } ,     Φ ∈ C 1 ( H 1 ( ℝ 3 ) ; D 1 , 2 ) .

Therefore, if u is a critical point of Φ : H 1 ( ℝ 3 ) → ℝ

Φ ( u ) = 1 2 ∫ ℝ 3 ( | ∇ u | 2 + V ( x ) u 2 ) x + 1 4 ∫ ℝ 3 ϕ u u 2 x − ∫ ℝ 3 G ( x , u ) x ,

then ( u , ϕ ) is a solution of (1). More details can be found in [14][15].

Now we give some conditions on V and g :

(V) V ∈ C ( ℝ 3 ) is a bounded function such that the quadratic form

Q ( u ) = 1 2 ∫ ℝ 3 ( | ∇ u | 2 + V ( x ) u 2 ) x

is nondegenerate and the negative space of Q is finite-dimensional.

(g1) g ∈ C ( ℝ 3 × ℝ ) , and there exist C > 0 and p ∈ ( 4 , 6 ) such that

| g ( x , t ) | ≤ C ( 1 + | t | p − 1 ) .

(g2) g is superlinear at zero, i.e., g ( x , t ) = o ( t ) as t → 0 , uniformly in x ∈ ℝ 3 .

(g3) For ( x , t ) ∈ ℝ 3 × ℝ \ { 0 } , 0 < 4 G ( x , t ) ≤ t g ( x , t ) . Furthermore, for almost all x ∈ ℝ 3 ,

lim | t | → ∞ G ( x , t ) t 4 = + ∞ .

(g4) For s ∈ [ 2 , 6 ) , there exist a ∈ L ∞ ( ℝ 3 ) ∩ L 3 / 2 ( ℝ 3 ) , b ∈ L ∞ ( ℝ 3 ) ∩ L 6 / ( 6 − s ) ( ℝ 3 ) such that

| g ( x , t ) | ≤ a ( x ) | t | + b ( x ) | t | s − 1 .

2. Preliminaries

Theorem 1 If conditions (V) and (g1)-(g4) are satisfied, then system (1) has a nontrivial solution.

To prove Theorem 1, we recall concepts and conclusions related to infinite-dimensional Morse theory [16], [17], and introduce several important propositions.

Definition 1 Let X be a Banach space, φ : X → ℝ a C 1 functional, and u an isolated critical point of φ with φ ( u ) = c . Let φ c = φ − 1 ( − ∞ , c ) . Then the q -th critical group of φ at u is defined as:

C q ( φ , u ) : = H q ( φ c , φ c \ { u } ) ,     q ∈ ℕ = 0 , 1 , 2 , ⋯

where H q denotes singular homology with coefficients in ℤ .

Definition 2[18] If φ satisfies the (PS) condition and the critical values of φ are bounded below by a , then the q -th critical group of φ at infinity is defined as:

C q ( φ , ∞ ) : = H q ( X , φ a ) ,     q ∈ ℕ .

Remark: By the deformation lemma, the homology on the right-hand side is independent of the choice of a .

Proposition 1[18] Let φ ∈ C 1 ( X , ℝ ) satisfy the (PS) condition, and suppose there exists l ∈ ℕ such that C l ( φ , 0 ) ≠ C l ( φ , ∞ ) . Then φ has a nonzero critical point.

Proposition 2[16] If φ ∈ C 1 ( X , ℝ ) satisfies the (PS) condition, let B ε = { u ∈ X | ‖ u ‖ ≤ ε } . If φ has a local linking at 0 with respect to the decomposition X = X − ⊕ X + , then there exists ε > 0 such that

{ φ ( u ) ≤ 0 , u ∈ X − ∩ B ε , φ ( u ) > 0 , u ∈ ( X + \ { 0 } ) ∩ B ε . l = dim X − < ∞

Proposition 3[12] There exists a constant k > 0 such that for all u ∈ H 1 ( ℝ 3 ) ,

0 ≤ 1 4 ∫ ℝ 3 ϕ u u 2 x ≤ k ‖ u ‖ 4 .

Now we give the proof of Theorem 1.

3. Proof of the Main Lemmas

In this paper, for convenience, we always denote X = H 1 ( ℝ 3 ) . As mentioned earlier, to solve system (1), it suffices to find a critical point of the C 1 functional Φ : X → ℝ , where

Φ ( u ) = 1 2 ∫ ℝ 3 ( | ∇ u | 2 + V ( x ) u 2 ) x + 1 4 ∫ ℝ 3 ϕ u u 2 x − ∫ ℝ 3 G ( x , u ) x .

Due to condition (V), there exists an equivalent norm ‖   ⋅   ‖ on X such that u ± are the orthogonal projections of u onto X ± , where X ± are the positive/negative subspaces of the quadratic form Q . Since our working space X ↪ L s ( ℝ 3 ) is non-compact, we need assumption (g4) to recover the (PS) condition. Therefore, we have the following lemma. Due to our assumption on (V), V may be negative somewhere, and the Sobolev embedding H 1 ( ℝ 3 ) ↪ L 2 ( ℝ 3 ) is non-compact, we need condition (g4) to recover the (PS) condition.

Lemma 1 Assume g : ℝ 3 × ℝ is continuous and satisfies (g4). Then the functional S : X → ℝ defined by

S ( u ) = ∫ ℝ 3 G ( x , u ) x

is well-defined and belongs to C 1 , with

〈 S ′ ( u ) , v 〉 = ∫ ℝ 3 g ( x , u ) v x ,     ∀ v ∈ X .

Moreover, S ′ is compact.

Proof: From (g4) we have

| g ( x , t ) | ≤ | a | ∞ | t | + | b | ∞ | t | s − 1 ,

so S is well-defined and C 1 . The compactness of S ′ follows from the fact proved in [19] that S ′ : D 1 , 2 ( ℝ 3 ) → ℝ is compact, where S : D 1 , 2 ( ℝ 3 ) → ℝ , S ( u ) = ∫ ℝ 3 G ( x , u ) x . By the continuity of the embedding i : X → D 1 , 2 ( ℝ 3 ) , if u n ⇀ u in X , then u n ⇀ u in D 1 , 2 ( ℝ 3 ) (for brevity, we denote i ( u n ) as u n ). Without loss of generality, after taking a subsequence, S ′ ( u n ) ⇀ S ′ ( u ) in ( D 1 , 2 ( ℝ 3 ) ) * . Since

‖ S ′ ( u n ) − S ′ ( u ) ‖ = sup v ∈ X \ { 0 } 1 ∥ v ∥ | ∫ ℝ 3 ( g ( x , u n ) − g ( x , u ) ) v x | ≤ sup v ∈ D 1 , 2 ( ℝ 3 ) \ { 0 } 1 ‖ v ‖ D 1 , 2 | ∫ ℝ 3 ( g ( x , u n ) − g ( x , u ) ) v x | = ‖ S ′ ( u n ) − S ′ ( u ) ‖ D 1 , 2 → 0 , S ′ ( u n ) → S ′ ( u )

Lemma 2 Under assumptions (V) and (g1) - (g4), the functional Φ satisfies the (PS) condition.

Proof: Let { u n } be a (PS) sequence of Φ , i.e., sup n | Φ ( u n ) | < ∞ , Φ ′ ( u n ) → 0 . We aim to prove that { u n } is bounded in X . We argue by contradiction. Suppose there exists a subsequence of { u n } , still denoted by { u n } , such that ‖ u n ‖ → ∞ as n → ∞ . Let v n = u n ‖ u n ‖ . Perform an orthogonal decomposition of the Hilbert space X = X − ⊕ X + , then v n = v n + + v n − , where v n + ∈ X + , v n − ∈ X − . We discuss two cases.

If v = 0 , since dim X − < + ∞ , we have v n − → v − . Hence ‖ v n − ‖ → 0 . When n is sufficiently large, ‖ v n − ‖ 2 < 1 4 . Combined with ‖ v n + ‖ 2 + ‖ v n − ‖ 2 = 1 , we also have ‖ v n + ‖ 2 − ‖ v n − ‖ 2 = ( 1 − ‖ v n − ‖ 2 ) − ‖ v n − ‖ 2 ≥ 1 2 . Since { u n } is a (PS) sequence, { Φ ( u n ) } is bounded and Φ ′ ( u n ) → 0 , so

| 〈 Φ ′ ( u n ) , u n 〉 | ≤ ‖ Φ ′ ( u n ) ‖ ‖ u n ‖ ≤ 4 ‖ u n ‖ .

Furthermore, we have

1 + sup n | Φ ( u n ) | + ‖ u n ‖ ≥ Φ ( u n ) − 1 4 〈 Φ ′ ( u n ) , u n 〉 = 1 4 ∫ ℝ 3 ( | ∇ u n | 2 + V ( x ) u n 2 ) x + ∫ ℝ 3 ( 1 4 g ( x , u n ) u n − G ( x , u n ) ) x = 1 4 ( ‖ u n + ‖ 2 − ‖ u n − ‖ 2 ) + ∫ ℝ 3 ( 1 4 g ( x , u n ) u n − G ( x , u n ) ) x = 1 4 ‖ u n ‖ 2 ( ‖ v n + ‖ 2 − ‖ v n − ‖ 2 ) + ∫ ℝ 3 ( 1 4 g ( x , u n ) u n − G ( x , u n ) ) x ≥ 1 8 ‖ u n ‖ 2 ,

which clearly contradicts ‖ u n ‖ → ∞ .

If v ≠ 0 , then the set N = { x | v ( x ) ≠ 0 } has positive Lebesgue measure. For x ∈ N , since v n = u n ‖ u n ‖ , as n → ∞ , | u n ( x ) | → ∞ , and

(3.1) G ( x , u n ( x ) ) u n 4 ( x ) v n 4 ( x ) → + ∞ ,

Then by Fatou’s lemma and Proposition 4, we have

(3.2) ∫ v ≠ 0 G ( x , u n ) u n 4 v n 4 x = 1 ‖ u n ‖ 4 ∫ v ≠ 0 G ( x , u n ) x ≤ 1 ‖ u n ‖ 4 ∫ ℝ 3 G ( x , u n ) x = 1 ‖ u n ‖ 4 ( 1 2 ∫ ℝ 3 ( | ∇ u n | 2 + V ( x ) u n 2 ) x + 1 4 ∫ ℝ 3 ϕ u n u n 2 x − Φ ( u n ) ) = 1 ‖ u n ‖ 4 ( 1 2 ( ‖ u n + ‖ 2 − ‖ u n − ‖ 2 ) + 1 4 ∫ ℝ 3 ϕ u n u n 2 x − Φ ( u n ) ) ≤ 1 ‖ u n ‖ 4 ( 1 2 ( ‖ u n + ‖ 2 − ‖ u n − ‖ 2 ) + k ‖ u n ‖ 4 − Φ ( u n ) ) = ‖ u n ‖ 2 2 ‖ u n ‖ 4 + k − Φ ( u n ) ‖ u n ‖ 4 ≤ 1 + k .

It is easy to see that (3.1) contradicts (3.2). Hence the (PS) sequence { u n } is bounded.

Next, a property concerning N ( u ) is inspired by [12]. Define the C 1 functional N : X → ℝ by N ( u ) = 1 4 ∫ ℝ 3 ϕ u u 2 d x , then for all u , v ∈ X , 〈 N ′ ( u ) , v 〉 = ∫ ℝ 3 ϕ u u v x . Since the (PS) sequence { u n } is bounded in X , we can select a subsequence { u n } such that u n ⇀ u in X . Moreover, similar to the discussions in [20, 21], N : X → ℝ is weakly lower semicontinuous, and N ′ : X → X * is weakly sequentially continuous, where X * = H − 1 ( ℝ 3 ) is the dual space of X = H 1 ( ℝ 3 ) . Thus,

lim inf n → ∞ N ( u n ) ≥ N ( u ) ,     lim n → ∞ 〈 N ′ ( u n ) , u 〉 = 〈 N ′ ( u ) , u 〉 .

Furthermore,

lim inf n → ∞ ∫ ℝ 3 ϕ u n u n ( u n − u ) x = lim inf n → ∞ ( 4 N ( u n ) − 〈 N ′ ( u n ) , u 〉 ) ≥ 4 N ( u ) − 〈 N ′ ( u ) , u 〉 = 0.

Thus,

(3.3) lim inf n → ∞ ∫ ℝ 3 ϕ u n u n ( u n − u ) x ≥ 0.

Therefore, it suffices to prove that { u n } has a convergent subsequence. Similar to [12], we can prove

(3.4) ‖ u n + ‖ 2 − ‖ u + ‖ 2 = o ( 1 ) + ∫ ℝ 3 g ( x , u n ) ( u n − u ) x − ∫ ℝ 3 ϕ u n u n ( u n − u ) x .

Since u n ⇀ u in X , by Lemma 1, S ′ ( u n ) → S ′ ( u ) and

| ∫ ℝ 3 g ( x , u n ) ( u n − u ) | x = | 〈 S ′ ( u n ) , u n − u 〉 | ≤ | 〈 S ′ ( u n ) − S ′ ( u ) , u n − u 〉 | + | 〈 S ′ ( u ) , u n − u 〉 | ≤ ‖ S ′ ( u n ) − S ′ ( u ) ‖ ‖ u n − u ‖ + o ( 1 ) .

Thus,

(3.5) lim sup n → ∞ ∫ ℝ 3 g ( x , u n ) ( u n − u ) x = 0.

Using (3.3), (3.4), and (3.5), we have

lim sup n → ∞ ( ‖ u n + ‖ 2 − ‖ u + ‖ 2 ) = lim sup n → ∞ ( ∫ ℝ 3 g ( x , u n ) ( u n − u ) x − ∫ ℝ 3 ϕ u n u n ( u n − u ) x ) ≤ lim sup n → ∞ ∫ ℝ 3 g ( x , u n ) ( u n − u ) x − lim inf n → ∞ ∫ ℝ 3 ϕ u n u n ( u n − u ) x ≤ lim sup n → ∞ ∫ ℝ 3 g ( x , u n ) ( u n − u ) x = 0.

Combined with the weak lower semicontinuity of the norm functional u ↦ ‖ u ‖ , we have

‖ u + ‖ ≤ lim inf n → ∞ ‖ u n + ‖ ≤ lim sup n → ∞ ‖ u n + ‖ ≤ ‖ u + ‖ .

Therefore, ‖ u n + ‖ → ‖ u + ‖ . On the other hand, since dim X − < + ∞ , we have ‖ u n − ‖ → ‖ u − ‖ . Furthermore,

‖ u n − ‖ 2 → ‖ u − ‖ 2 ,     ‖ u n + ‖ 2 → ‖ u + ‖ 2 .

Combined with ‖ u n ‖ 2 = ‖ u n + ‖ 2 + ‖ u n − ‖ 2 , we obtain ‖ u n ‖ → ‖ u ‖ , hence u n → u in X .

Lemma 3 If (V), (g1), (g2), and (g3) hold, then there exists A > 0 such that when Φ ( u ) ≤ − A , d d t | t = 1 Φ ( t u ) < 0 .

Proof: This proof follows a standard procedure and is omitted here.

Lemma 4 C q ( Φ , ∞ ) = 0 for all q = 0 , 1 , ⋯ , n .

Proof: Let A > 0 be as defined in Lemma 3. Since the critical group at infinity is defined via Φ − A : = Φ − 1 ( − ∞ , − A ) , directly computing H q ( X , Φ − A ) is difficult. Therefore, we need to find a space with simple topological structure. Consider X \ B , where B = { u ∈ X | ‖ u ‖ < 1 } . Denote S = ∂ B as the unit sphere. By a strong deformation retraction, Φ − A is topologically equivalent to X \ B , thus transforming the computation of H q ( X , Φ − A ) into computing H q ( X , X \ B ) .

Consider when ‖ u ‖ ≤ 2 , we have − A < inf Φ ( u ) . Since g satisfies (g3), for any v ∈ S , as s → + ∞ ,

Φ ( s v ) = 1 2 ∫ ℝ 3 ( | ∇ ( s v ) | 2 + V ( x ) ( s v ) 2 ) x + 1 4 ∫ ℝ 3 ϕ s v ( s v ) 2 x − ∫ ℝ 3 G ( x , s v ) x = 1 2 ( ‖ ( s v ) + ‖ 2 − ‖ ( s v ) − ‖ 2 ) + 1 4 ∫ ℝ 3 s 4 ϕ v v 2 x − ∫ ℝ 3 G ( x , s v ) x = s 4 ( ‖ v + ‖ 2 − ‖ v − ‖ 2 2 s 2 + 1 4 ∫ ℝ 3 ϕ v v 2 x − 1 s 4 ∫ ℝ 3 G ( x , s v ) x ) → − ∞ ,

since ‖ v ‖ = 1 < 2 , we have Φ ( v ) > − A . Combined with Φ ( s v ) → − ∞ , by the intermediate value theorem, for the above v ∈ S , there exists s v > 0 such that Φ ( s v v ) = − A . Let u = s v v . By Lemma 3,

d d s Φ ( s v ) | s = s v = 1 s v d d t Φ ( t u ) | t = 1 < 0.

Treat Φ ( s v ) = − A as an equation in s , and let F ( v , s ) : = Φ ( s v ) + A = 0 . By the implicit function theorem, at ( v , s v ) , since ∂ F ∂ s = d d s Φ ( s v ) | s = s v < 0 , there exists a continuous function Y : S → ( 0 , + ∞ ) such that Y ( v ) = s v . Thus, for each v ∈ S , there corresponds a unique s v . Referring to [22], construct a strong deformation retraction η : X \ B → Φ − A , specifically defined as: when

Φ ( u ) ≤ − A , η ( u ) = Y ( u ‖ u ‖ ) u ‖ u ‖ = s v v , where v = u ‖ u ‖ . Since Φ − A is a strong deformation retract of X \ B , the topological pairs ( X , Φ − A ) and ( X , X \ B ) are homotopy equivalent. A strong deformation retraction is a homotopy equivalence, then their relative homology groups satisfy C q ( Φ , ∞ ) = H q ( X , Φ − A ) ≅ H q ( X , X \ B ) = 0 , q = 0 , 1 , ⋯ , n . Lemma 4 is proved.

4. Proof of Theorem 1

From conditions (V), (g2), and (g3) in Theorem 1, it is easy to see that as ‖ u ‖ → 0 ,

∫ ℝ 3 ϕ u u 2 x = O ( ‖ u ‖ 2 ) ,     ∫ ℝ 3 G ( x , u ) x = o ( ‖ u ‖ 2 ) ,

thus,

Φ ( u ) = 1 2 ( ‖ u + ‖ 2 − ‖ u − ‖ 2 ) + o ( ‖ u ‖ 2 ) .

Therefore, there exists ε > 0 such that Φ is positive on ( X + \ { 0 } ) ∩ B ε and negative on ( X − \ { 0 } ) ∩ B ε . That is, Φ has a local linking structure with respect to the decomposition X = X − ⊕ X + . Since l = dim X − , by Proposition 2, C l ( Φ , 0 ) ≠ 0 . By Lemma 4, C l ( Φ , 0 ) ≠ C l ( Φ , ∞ ) . Applying Proposition 1, Φ has a nonzero critical point u , and thus equation (1) has a nontrivial solution.

5. Conclusions

This paper has established the existence of nontrivial solutions for the standard Schrödinger-Bopp-Podolsky system (1) with an indefinite potential. The main contribution lies in extending the analysis of indefinite potential problems from the Kirchhoff-type framework studied by Tang et al. [8] back to the Schrödinger-Bopp-Podolsky system, highlighting that the indefiniteness of the potential itself, combined with the Bopp-Podolsky nonlocal term, creates a sufficiently rich stru- ure for the existence of solutions via Morse theory.

The result adds to the understanding of coupled Schrödinger-Bopp-Podolsky systems under sign-changing potentials, a scenario relevant in physical models where attractive and repulsive regions coexist. The methodology, combining the reduction technique with Morse theory and critical groups at infinity, provides a robust framework that could be applicable to other nonlocal systems with indefi- te linear parts.

References

1.. Bopp, F. (1940) Eine Lineare Theorie des Elektrons. Annalen der Physik, 430, 345-384. https://doi.org/10.1002/andp.19404300504 10.1002/andp.19404300504https://doi.org/10.1002/andp.19404300504 Bopp, F. 1940 Eine Lineare Theorie des Elektrons Annalen der Physik 430 10.1002/andp.19404300504

2.. Podolsky, B. and Schwed, P. (1948) Review of a Generalized Electrodynamics. ReviewsofModernPhysics, 20, 40-50. https://doi.org/10.1103/revmodphys.20.40 10.1103/revmodphys.20.40https://doi.org/10.1103/revmodphys.20.40 Podolsky, B. Schwed, P. 1948 Review of a Generalized Electrodynamics Reviews of Modern Physics 20 10.1103/revmodphys.20.40

3.. Li, L., Pucci, P. and Tang, X. (2020) Ground State Solutions for the Nonlinear Schrödinger-Bopp-Podolsky System with Critical Sobolev Exponent. AdvancedNonlinearStudies, 20, 511-538. https://doi.org/10.1515/ans-2020-2097 10.1515/ans-2020-2097https://doi.org/10.1515/ans-2020-2097 Li, L. Pucci, P. Tang, X. 2020 Ground State Solutions for the Nonlinear Schrödinger-Bopp-Podolsky System with Critical Sobolev Exponent Advanced Nonlinear Studies 20 10.1515/ans-2020-2097

4.. Wang, L.X., Chen, H.B. and Liu, S.L. (2022) Existence and Multiplicity of Sign-Changing Solutions for a Schrödinger-Bopp-Podolsky System. TopologicalMethodsinNonlinearAnalysis, 59, 913-940. https://doi.org/10.12775/tmna.2021.045 10.12775/tmna.2021.045https://doi.org/10.12775/tmna.2021.045 Wang, L.X. Chen, H.B. Liu, S.L. 2022 Existence and Multiplicity of Sign-Changing Solutions for a Schrödinger-Bopp-Podolsky System Topological Methods in Nonlinear Analysis 59 10.12775/tmna.2021.045

5.. Chen, S. and Li, L. (2013) Multiple Solutions for the Nonhomogeneous Kirchhoff Equation on. NonlinearAnalysis: RealWorldApplications, 14, 1477-1486. https://doi.org/10.1016/j.nonrwa.2012.10.010 10.1016/j.nonrwa.2012.10.010https://doi.org/10.1016/j.nonrwa.2012.10.010 Chen, S. Li, L. 2013 Multiple Solutions for the Nonhomogeneous Kirchhoff Equation on Nonlinear Analysis: Real World Applications 14 10.1016/j.nonrwa.2012.10.010

6.. Wu, X. (2011) Existence of Nontrivial Solutions and High Energy Solutions for Schrödinger-Kirchhoff-Type Equations in. NonlinearAnalysis: RealWorldApplications, 12, 1278-1287. https://doi.org/10.1016/j.nonrwa.2010.09.023 10.1016/j.nonrwa.2010.09.023https://doi.org/10.1016/j.nonrwa.2010.09.023 Wu, X. 2011 Existence of Nontrivial Solutions and High Energy Solutions for Schrödinger-Kirchhoff-Type Equations in Nonlinear Analysis: Real World Applications 12 10.1016/j.nonrwa.2010.09.023

7.. Huang, Y. and Liu, Z. (2014) On a Class of Kirchhoff Type Problems. ArchivderMathematik, 102, 127-139. https://doi.org/10.1007/s00013-014-0618-4 10.1007/s00013-014-0618-4https://doi.org/10.1007/s00013-014-0618-4 Huang, Y. Liu, Z. 2014 On a Class of Kirchhoff Type Problems Archiv der Mathematik 102 10.1007/s00013-014-0618-4

8.. Tang, L.Q., Wang, L., Wang, J., et al. (2023) Existence of Solutions for the Kirchhoff Type Schrödinger-Bopp-Podolsky System with Indefinite Potentials. Journal of Shandong University ( Nature Science), 58, 97-103. Tang, L.Q. Wang, L. Wang, J. 2023 Existence of Solutions for the Kirchhoff Type Schrödinger-Bopp-Podolsky System with Indefinite Potentials Journal of Shandong University (Nature Science) 58

9.. d’Avenia, P. and Siciliano, G. (2019) Nonlinear Schrödinger Equation in the Bopp-Podolsky Electrodynamics: Solutions in the Electrostatic Case. JournalofDifferentialEquations, 267, 1025-1065. https://doi.org/10.1016/j.jde.2019.02.001 10.1016/j.jde.2019.02.001https://doi.org/10.1016/j.jde.2019.02.001 Avenia, P. Siciliano, G. 2019 Nonlinear Schrödinger Equation in the Bopp-Podolsky Electrodynamics: Solutions in the Electrostatic Case Journal of Differential Equations 267 10.1016/j.jde.2019.02.001

10.. Ding, Y. and Lin, F. (2007) Solutions of Perturbed Schrödinger Equations with Critical Nonlinearity. CalculusofVariationsandPartialDifferentialEquations, 30, 231-249. https://doi.org/10.1007/s00526-007-0091-z 10.1007/s00526-007-0091-zhttps://doi.org/10.1007/s00526-007-0091-z Ding, Y. Lin, F. 2007 Solutions of Perturbed Schrödinger Equations with Critical Nonlinearity Calculus of Variations and Partial Differential Equations 30 10.1007/s00526-007-0091-z

11.. Peng, X. (2022) Existence and Multiplicity of Solutions for the Schrödinger-Bopp-Podolsky System. BulletinoftheMalaysianMathematicalSciencesSociety, 45, 3423-3468. https://doi.org/10.1007/s40840-022-01387-w 10.1007/s40840-022-01387-whttps://doi.org/10.1007/s40840-022-01387-w Peng, X. 2022 Existence and Multiplicity of Solutions for the Schrödinger-Bopp-Podolsky System Bulletin of the Malaysian Mathematical Sciences Society 45 10.1007/s40840-022-01387-w

12.. Liu, S. and Wu, Y. (2017) Standing Waves for 4-Superlinear Schrödinger-Poisson Systems with Indefinite Potentials. BulletinoftheLondonMathematicalSociety, 49, 226-234. https://doi.org/10.1112/blms.12019 10.1112/blms.12019https://doi.org/10.1112/blms.12019 Liu, S. Wu, Y. 2017 Standing Waves for 4-Superlinear Schrödinger-Poisson Systems with Indefinite Potentials Bulletin of the London Mathematical Society 49 10.1112/blms.12019

13.. Benci, V. and Fortunato, D.F. (2002) Solitary Waves of the Nonlinear Klein-Gordon Equation Coupled with the Maxwell Equations. ReviewsinMathematicalPhysics, 14, 409-420. https://doi.org/10.1142/s0129055x02001168 10.1142/s0129055x02001168https://doi.org/10.1142/s0129055x02001168 Benci, V. Fortunato, D.F. 2002 Solitary Waves of the Nonlinear Klein-Gordon Equation Coupled with the Maxwell Equations Reviews in Mathematical Physics 14 10.1142/s0129055x02001168

14.. Benci, V. and Fortunato, D. (1998) An Eigenvalue Problem for the Schrödinger-Maxwell Equations. TopologicalMethodsinNonlinearAnalysis, 11, 283-293. https://doi.org/10.12775/tmna.1998.019 10.12775/tmna.1998.019https://doi.org/10.12775/tmna.1998.019 Benci, V. Fortunato, D. 1998 An Eigenvalue Problem for the Schrödinger-Maxwell Equations Topological Methods in Nonlinear Analysis 11 10.12775/tmna.1998.019

15.. Chen, S. and Tang, C. (2009) High Energy Solutions for the Superlinear Schrödinger-maxwell Equations. NonlinearAnalysis: Theory, Methods&Applications, 71, 4927-4934. https://doi.org/10.1016/j.na.2009.03.050 10.1016/j.na.2009.03.050https://doi.org/10.1016/j.na.2009.03.050 Chen, S. Tang, C. Theory, M 2009 High Energy Solutions for the Superlinear Schrödinger-maxwell Equations Nonlinear Analysis: Theory 71 10.1016/j.na.2009.03.050

16.. Chang, K. (1993) Infinite Dimensional Morse Theory. In: InfiniteDimensionalMorseTheoryandMultipleSolutionProblems, Birkhäuser, 1-82. https://doi.org/10.1007/978-1-4612-0385-8_1 10.1007/978-1-4612-0385-8_1https://doi.org/10.1007/978-1-4612-0385-8_1 Chang, K. Problems, B 1993 Infinite Dimensional Morse Theory In: Infinite Dimensional Morse Theory and Multiple Solution Problems 1 10.1007/978-1-4612-0385-8_1

17.. Mawhin, J. (2013) Critical Point Theory and Hamiltonian Systems. Volume 74, Springer Science & Business Media. Mawhin, J. 2013 Critical Point Theory and Hamiltonian Systems Volume 74

18.. Bartsch, T. and Li, S. (1997) Critical Point Theory for Asymptotically Quadratic Functionals and Applications to Problems with Resonance. NonlinearAnalysis: Theory, Methods&Applications, 28, 419-441. https://doi.org/10.1016/0362-546x(95)00167-t 10.1016/0362-546x(95)00167-thttps://doi.org/10.1016/0362-546x(95)00167-t Bartsch, T. Li, S. Theory, M 1997 Critical Point Theory for Asymptotically Quadratic Functionals and Applications to Problems with Resonance Nonlinear Analysis: Theory 28 10.1016/0362-546x(95)00167-t

19.. Do Ó, J.M.B. (1997) Solutions to Perturbed Eigenvalue Problems of the p-Laplacian in R ^N. Electronic Journal of Differential Equations ( EJDE), 1997, 1-15. 1997 Solutions to Perturbed Eigenvalue Problems of the p-Laplacian in RN Electronic Journal of Differential Equations (EJDE) 1997

20.. Zhao, L. and Zhao, F. (2009) Positive Solutions for Schrödinger-Poisson Equations with a Critical Exponent. NonlinearAnalysis: Theory, Methods&Applications, 70, 2150-2164. https://doi.org/10.1016/j.na.2008.02.116 10.1016/j.na.2008.02.116https://doi.org/10.1016/j.na.2008.02.116 Zhao, L. Zhao, F. Theory, M 2009 Positive Solutions for Schrödinger-Poisson Equations with a Critical Exponent Nonlinear Analysis: Theory 70 10.1016/j.na.2008.02.116

21.. Zhao, L. and Zhao, F. (2008) On the Existence of Solutions for the Schrödinger-Poisson Equations. JournalofMathematicalAnalysisandApplications, 346, 155-169. https://doi.org/10.1016/j.jmaa.2008.04.053 10.1016/j.jmaa.2008.04.053https://doi.org/10.1016/j.jmaa.2008.04.053 Zhao, L. Zhao, F. 2008 On the Existence of Solutions for the Schrödinger-Poisson Equations Journal of Mathematical Analysis and Applications 346 10.1016/j.jmaa.2008.04.053

22.. Wang, Z.Q. (1991) On a superlinear elliptic equation. Annales de l’ Institut Henri Poincaré C, Analyse non Linéaire, 8, 43-57. https://doi.org/10.1016/s0294-1449(16)30276-1 10.1016/s0294-1449(16)30276-1https://doi.org/10.1016/s0294-1449(16)30276-1 Wang, Z.Q. 1991 On a superlinear elliptic equation Annales de l’Institut Henri Poincaré C 1449 16 10.1016/s0294-1449(16)30276-1