- Research
- Open access
- Published:
Infinitely many geometrically distinct solutions for periodic Schrödinger–Poisson systems
Boundary Value Problems volume 2019, Article number: 64 (2019)
Abstract
This paper is dedicated to studying the following Schrödinger–Poisson system:
where \(V(x)\), \(K(x)\), and \(f(x, u)\) are periodic in x. By using the non-Nehari manifold method, we establish the existence of ground state solutions for the above problem under some weak assumptions. Moreover, when f is odd in u, we prove that the above problem admits infinitely many geometrically distinct solutions. Our results improve and complement some related literature.
1 Introduction
In this paper we are concerned with the nonlinear Schrödinger–Poisson system:
where \(V , K: {\mathbb {R}}^{3} \rightarrow {\mathbb {R}}\) and \(f: {\mathbb {R}}^{3}\times {\mathbb {R}} \rightarrow {\mathbb {R}}\) satisfy the following basic assumptions:
-
(V0)
\(V,K\in \mathcal{C}(\mathbb {R}^{3}, (0, \infty))\), \(V(x)\), and \(K(x)\) are 1-periodic in \(x_{1}\), \(x_{2}\), and \(x_{3}\);
-
(F0)
\(f(x, t)\) is 1-periodic in \(x_{1}\), \(x_{2}\), and \(x_{3}\);
-
(F1)
\(f\in \mathcal{C}({\mathbb {R}}^{3}\times \mathbb {R}, \mathbb {R})\), \(f(x,t)=o(|t|)\) uniformly in x as \(t\to 0\), and there exist constants \(\mathcal{C}_{0}>0\) and \(p\in (2, 6)\) such that
$$ \bigl\vert f(x, t) \bigr\vert \le \mathcal{C}_{0} \bigl(1+ \vert t \vert ^{p-1} \bigr), \quad \forall (x, t)\in \mathbb {R}^{3} \times \mathbb {R}. $$
Schrödinger–Poisson system (also called Schrödinger–Maxwell system) appears in the quantum mechanics model or Hartree–Fock model, which is related to the study of the interaction of a charged non-relativistic quantum mechanical particle with the electromagnetic field. System (1.1) can be described by coupling a nonlinear Schrödinger and a Poisson equation, from physical point of view, the unknown terms u and ϕ are the fields associated to the particle and the electric potential, respectively, the functions V and K are, respectively, an external potential and nonnegative density charge, the nonlinear term f simulates the interaction effect between particles or external nonlinear perturbations, and the coupled term \(\phi (x) u\) concerns the interaction with the field. For more details on the physical aspects, we refer the readers to [5,6,7,8, 20, 23].
Note that when \(\phi \equiv 0\), (1.1) reduces to the well-known Schrödinger equation, which has been the object of various investigations; see, for example, [26, 33,34,35, 39, 40] and the references therein.
Under assumption (V0), the set
is a Hilbert space equipped with the norm
It is well known that the Poisson equation is solved by using the Lax–Milgram theorem. Indeed, as we shall see in Sect. 2, for every \(u \in E\), unique \(\phi _{u}\in D^{1, 2}(\mathbb {R}^{3})\) is obtained, such that \(-\triangle \phi =K(x)u^{2}\) and so (1.1) can be reduced to a single equation with a nonlocal term
Moreover, (1.2) is variational and its solutions are the critical points of the functional Φ defined on E by
where \(F(x,t)=\int _{0}^{t}f(x,s)\,\mathrm{d}s\). Define
which is the Nehari manifold of Φ. Let ∗ denote the action of \(\mathbb {Z}^{3}\) on \(H^{1}(\mathbb {R}^{3})\) given by
We note that if \(u_{0}\) is a solution of (1.1), then so are \(k*u_{0}\) for all \(k\in \mathbb {Z}^{3}\). Set
which is called the orbit of \(u_{0}\) with respect to the action of \(\mathbb {Z}^{3}\). Two solutions \(u_{1}\) and \(u_{2}\) are said to be geometrically distinct if \(\mathcal{O}(u_{1})\) and \(\mathcal{O}(u_{2})\) are disjoint.
In recent years, there have been rich results for Schrödinger–Poisson systems like (1.1) on the existence of nontrivial solutions, positive solutions, ground states, semi-classical states, and multiple solutions; we refer to [1,2,3, 6, 9, 14,15,16,17, 25, 29] for the case \(f(x,u) \sim |u|^{q-2}u\) with \(q\in (4,6)\); [4, 28, 31, 36, 41] for the case \(f(x,u)\sim |u|^{q-2}u\) with \(q\in (3,4]\); [13] for the convolution nonlinearity;[18, 38] for the critical growth nonlinearity. [19] deals with the multiplicity of solutions for the fractional Schrödinger–Poisson systems. In this paper, we focus on the existence of ground state solutions and infinitely many geometrically distinct solutions for (1.1) in a periodic setting. Let us recall some previous results that led us to the present research.
When the potential and nonlinearity are periodic, that is (V0) and (F0) are satisfied, Zhao and Zhao [41] proved that (1.1) with \(K(x)=1\) has a ground solution and infinitely many geometrically distinct solutions by using the Nehari manifold approach, where f and \(\partial f/\partial u\) are continuous and satisfy suitable conditions. Based on the generalized Nehari manifold approach developed by Szulkin and Weth [32], Sun and Ma [31] obtained similar results as those in [41], where f satisfies (F0), (F1) and the following assumptions:
-
(SC)
\(\lim_{|t|\rightarrow \infty }\frac{F(x,t)}{|t|^{4}}=+ \infty \) uniformly in \(x\in \mathbb {R}^{3}\);
-
(MT)
\(f(x, t)/|t|^{3}\) is increasing in t on \(\mathbb {R}\setminus \{0\}\) for every \(x\in \mathbb {R}^{3}\).
Later, Chen and Tang relaxed (SC) and (MT) to the following weaker conditions:
- (F2):
-
\(\lim_{|t|\to \infty }\frac{F(x, t)}{|t|^{3}}=\infty \) uniformly in \(x\in \mathbb {R}^{3}\);
- (F3′):
-
there exists \(\theta \in (0,1)\) such that
$$ \biggl[\frac{f(x,\tau)}{\tau ^{3}}-\frac{f(x,t\tau)}{(t\tau)^{3}} \biggr] \operatorname{sign}(1-t)+\theta V(x) \frac{ \vert 1-t^{2} \vert }{(t\tau)^{2}}\ge 0, \quad \forall x\in \mathbb {R}^{3}, t>0, \tau \neq 0, $$
and established the existence of ground state solutions for (1.1) by means of the non-Nehari manifold method developed by Tang [33,34,35].
To the best of our knowledge, except for [31, 41], there seems to be no result about the existence of infinitely many geometrically distinct solutions for (1.1). Motivated by the work of [9, 10, 31, 33], in the present paper, we shall establish the existence of ground state solutions and infinitely many geometrically distinct solutions for (1.1) under weaker assumptions than previous works.
Before presenting our theorems, in addition to (V0), (F0), (F1), and (F2), we introduce the following assumptions:
- (F3):
-
\(\frac{f(x,t)-V(x)t}{|t|^{3}}\) is nondecreasing in t on both \((-\infty,0)\) and \((0,\infty)\) for every \(x\in \mathbb {R}^{3}\);
- (F4):
-
there exists a constant \(\theta \in [0,1)\) such that
$$ f(x,t)t-4F(x,t)+\theta V(x)t^{2}\ge 0, \quad \forall (x,t)\in \mathbb {R}^{3}\times \mathbb {R}; $$ - (F5):
-
\(f(x,-t)=-f(x,t)\), \(\forall (x,t)\in \mathbb {R}^{3} \times \mathbb {R}\).
Theorem 1.1
Assume that V, K, and f satisfy (V0), (F0), and (F1)–(F3). Then Problem (1.1) has a solution \(u_{0}\in E\) such that \(\varPhi (u_{0})=\inf_{\mathcal{N}} \varPhi >0\).
Theorem 1.2
Assume that V, K, and f satisfy (V0), (F0), and (F1)–(F5). Then Problem (1.1) admits infinitely many pairs of geometrically distinct solutions.
Remark 1.3
Note that the assumptions of Theorems 1.1 and 1.2 are weaker than those of [10, 31, 41]. A simple example of a function satisfying our assumptions but not conditions in [31, 41] is \(f(x,u)=b(x)u^{3}-|u|^{3/2}u+|u|u\) for all \((x,u)\in \mathbb {R}^{3}\times \mathbb {R}\), where \(b(x)\) is 1-periodic in \(x_{1}\), \(x_{2}\), and \(x_{3}\) and \(\inf_{\mathbb {R}^{3}}b>0\). In this sense, our results improve and complement those of [10, 31, 41].
To prove Theorem 1.1, following the idea of [10], we apply the non-Nehari manifold method. Unlike the Nehari manifold approach, the key point of this method lies in finding a minimizing Cerami sequence for Φ outside \(\mathcal{N}\) by using a diagonal method. However, the fact that (F3) is weaker than (F3′) used in [10] would require our extra efforts. To prove Theorem 1.2, inspired by [31, 32], we use deformation type arguments and Lusternik–Schnirelman theory. However, since \(t\mapsto \frac{f(x,t)}{|t|^{3}}\) is not increasing, the generalized Nehari approach developed by [32] does not work. To circumvent this obstacle, we borrow the idea of [11, 12] in which Kirchhoff–type problems and Klein–Gordon–Maxwell systems were considered respectively. However, the competing effect of the nonlocal term \(\int _{\mathbb {R}^{3}}\phi _{u}u^{2}\,\mathrm{d}x\) and the nonlinear term \(\int _{\mathbb {R}^{3}}F(u) \,\mathrm{d}x\) in the expression of Φ makes our problem more complicated.
The paper is organized as follows. In Sect. 2, we introduce some notation and preliminaries. We complete the proofs of Theorems 1.1 and 1.2 in Sects. 3 and 4, respectively.
Throughout this paper, we denote the norm of \(L^{s}(\mathbb {R}^{3})\) by \(\|u\|_{s}= (\int _{\mathbb {R}^{3}}|u|^{s} \,\mathrm{d}x )^{1/s}\) for \(s\ge 2\), \(B_{r}(x)=\{y\in \mathbb {R}^{3}: |y-x|< r \}\), and positive constants possibly different in different places by \(C_{1}, C_{2},\ldots \) .
2 Notation and preliminaries
Hereafter, \(H^{1}(\mathbb {R}^{3})\) is the usual Sobolev space with the standard scalar product and norm
and
equipped with the norm defined by
It is easy to show that (1.1) can be reduced to a single equation with a nonlocal term. Namely, for any \(Ku^{2}\in L^{1}_{\mathrm{loc}}(\mathbb {R}^{3})\) such that
the distributional solution
of the Poisson equation
belongs to \(D^{1,2}(\mathbb {R}^{3})\) and is the unique weak solution in \(D^{1,2}(\mathbb {R}^{3})\) (see, e.g., [29] for more details), and
Moreover, \(\phi _{u}(x)>0\) when \(u\ne 0\), because K does (see (V0)). By using Hardy–Littlewood–Sobolev inequality (see [21] or [22, p. 98]), we have the following inequality:
Formally, the solutions of (1.1) are then the critical points of the reduced functional (1.3). Indeed, (V0), (F0), and (2.4) imply that Φ is a well-defined functional of class \(\mathcal{C} ^{1}\) and that
Hence if \(u\in E\) is a critical point of Φ, then the pair \((u, \phi _{u})\), with \(\phi _{u}\) as in (2.1), is a solution of (1.1).
Lemma 2.1
Under assumptions (V0), (F1), and (F2),
Proof
For any \(x\in \mathbb {R}^{3}\), \(t\ge 0\), \(\tau \neq 0\), (F2) yields
Note that
and
Thus, by (2.7), (2.8), and (2.9), one has
This shows that (2.6) holds. □
Corollary 2.2
Under assumptions (V0), (F1), and (F2), for \(u\in \mathcal{N}\),
Unlike the super-cubic case, to show \(\mathcal{N}\ne \emptyset \) in our situation, we have to overcome the competing effect of the nonlocal term. Inspired by Chen and Tang [10], we define a set Λ as follows:
Lemma 2.3
Under assumptions (V0) and (F1)–(F3), \(\varLambda \ne \emptyset \) and \(\mathcal{N}\subset \varLambda \). Then, for any \(u\in \varLambda \), there exists unique \(t(u)>0\) such that \(t(u)u\in \mathcal{N}\).
Proof
First, we show that \(\varLambda \ne \emptyset \). From (2.4) and Sobolev imbedding theorem, there exists \(C_{1}>0\) such that \(\int _{\mathbb {R}^{3}}\phi _{u}u^{2}\,\mathrm{d}x\le C_{1}\|u\|^{4}\) for all \(u\in E\). For any fixed \(u\in E\) with \(u\ne 0\), set \(u_{t}(x)=u(tx)\) for \(t>0\). By (V0), one has
where \(V_{\infty }=\sup_{x\in \mathbb {R}^{3}}V(x)\) and \(K_{\infty }= \sup_{x\in \mathbb {R}^{3}}K(x)\). Note that, for \(u(x)\ne 0\), \(F(t^{-1}x, tu)/ |tu|^{3} \to +\infty \) as \(t\to +\infty \) uniformly in \(x\in \mathbb {R}^{3}\) by (F3), and (2.7) with \(t=0\) yields
then we have
Thus, it follows from (V0), (2.11), and (2.13) that
Thus, taking \(v=Tu_{T}\) for T large, we have \(v\in \varLambda \). Hence, \(\varLambda \ne \emptyset \). From (2.5), it is easy to see that \(\mathcal{N}\subset \varLambda \).
Next, we prove the last part of the lemma. Let \(u\in \varLambda \) be fixed and define a function \(g(t):=\langle \varPhi '(tu),tu\rangle \) on \([0, \infty)\). By (F2), one has
which yields
From (2.5) and (2.15) it follows that
Using (F0), (2.5), and (2.16), it is easy to verify that \(g(0)=0\), \(g(t)>0\) for \(t>0\) small and \(g(t)<0\) for t large due to \(u\in \varLambda \). Therefore, there exists \(t_{0}=t(u)>0\) so that \(g(t_{0})=0\) and \(t(u)u\in \mathcal{N}\). We claim that \(t(u)\) is unique for any \(u\in \varLambda \). In fact, for any given \(u\in \varLambda \), let \(t_{1}, t_{2}>0\) such that \(g(t_{1})= g(t_{2})=0\). Jointly with (2.6), we have
and
(2.17) and (2.18) imply \(t_{1}=t_{2}\). Hence, \(t(u)> 0\) is unique for any \(u\in \varLambda \). □
Lemma 2.4
Under assumptions (V0) and (F1)–(F3), then
Proof
Both Corollary 2.2 and Lemma 2.3 imply that \(c=\inf_{u\in \varLambda, u\ne 0}\max_{t\ge 0}\varPhi (tu)\). Using Lemma 2.1, it is easy to see that \(c>0\). □
Lemma 2.5
Under assumptions (V0) and (F1)–(F3), there exist a constant \(c_{*}\in (0, c]\) and a sequence \(\{u_{n}\}\subset E\) satisfying
Proof
By (F1) and (1.3), we know that there exist \(\delta _{0}>0\) and \(\rho _{0}>0\) such that
In view of Lemmas 2.3 and 2.4, we may choose \(v_{k}\in \mathcal{N} \subset \varLambda \) such that
Using Lemma 2.1 and (2.20), it is easy to check that \(\varPhi (tv _{k})\ge \rho _{0}\) for small \(t>0\) and \(\varPhi (tv_{k})<0\) for large \(t>0\) due to \(v_{k}\in \varLambda \). Since \(\varPhi (0)=0\), then the mountain pass lemma implies that there exists a sequence \(\{u_{k, n}\}_{n \in \mathbb {N}}\subset E\) satisfying
where \(c_{k}\in [\rho _{0}, \sup_{t\ge 0} \varPhi (tv_{k})]\). By virtue of Corollary 2.2, one has \(\varPhi (v_{k})=\sup_{t\ge 0} \varPhi (tv_{k})\). Hence, by (2.21) and (2.22), one has
Now, we can choose a sequence \(\{n_{k}\}\subset \mathbb {N}\) such that
Let \(u_{k}=u_{k, n_{k}}\), \(k\in \mathbb {N}\). Then, going if necessary to a subsequence, we have
□
Lemma 2.6
Under assumptions (V0) and (F1)–(F3), any sequence \(\{u_{n}\}\subset E\) satisfying (2.19) is bounded in E.
Proof
By (2.6) with \(t=0\), one has
By (V0), it is easy to see that there exists \(V_{0}>0\) such that \(V(x)\ge V_{0}\) for all \(x\in \mathbb {R}^{3}\). Since \(\langle \varPhi '(u_{n}),u _{n}\rangle =o(1)\), it follows from (V0), (F1), and the Sobolev embedding inequality that
which together with (2.25) implies that \(\{u_{n}\}\) is bounded in E. □
3 Ground state solutions
In this section, we give the proof of Theorem 1.1.
Proof of Theorem 1.1
Lemma 2.5 implies the existence of a sequence \(\{u_{n}\}\subset E\) satisfying (2.19), then
By Lemma 2.6, \(\{u_{n}\}\) is bounded in E. If
then by Lion’s concentration compactness principle [24] or [37, Lemma 1.21], \(u_{n}\rightarrow 0\) in \(L^{s}(\mathbb {R}^{3})\) for \(2< s<6\). Moreover, there exists \(C_{3}>0\) such that \(\|u_{n}\|_{2} \le C_{3}\). By (F0), for \(\varepsilon =c_{*}/2C_{3}^{2}\), there exists \(C_{\varepsilon }>0\) such that
By (V0), (2.3), and (2.4), we have
where, and in the sequel, \(\mathcal{C}_{1}=8\sqrt[3]{2}/3\sqrt[3]{ \pi }\). From (1.3), (2.5), (3.1), (3.2), and (3.3), one has
This contradiction shows \(\delta >0\).
Going if necessary to a subsequence, we may assume the existence of \(k_{n}\in \mathbb {Z}^{3}\) such that
Let \(v_{n}(x)=u_{n}(x+k_{n})\). Then
Since \(V(x)\), \(K(x)\), and \(f(x, u)\) are periodic on x, we have
Passing to a subsequence, we have \(v_{n}\rightharpoonup \bar{v}\) in E, \(v_{n}\rightarrow \bar{v}\) in \(L^{s}_{\mathrm{loc}}(\mathbb {R}^{3})\), \(2\le s<6\), and \(v_{n}(x)\rightarrow \bar{v}(x)\) a.e. on \(\mathbb {R}^{3}\). Thus, (3.5) implies that \(\bar{v}\ne 0\). For every \(\phi \in C _{0}^{\infty }(\mathbb {R}^{3})\), we have
Hence \(\varPhi '(\bar{v})=0\). This shows that \(\bar{v}\in \mathcal{N}\) is a nontrivial solution of Problem (1.1) and \(\varPhi (\bar{v})\ge c\). It follows from (F2), (3.6), and Fatou’s lemma that
This shows that \(\varPhi (\bar{v})\le c\), and so \(\varPhi (\bar{v})=c= \inf_{\mathcal{N}}\varPhi >0\). □
4 Infinitely many geometrically distinct solutions
To prove Theorem 1.2, we need some notations. For \(d_{2}\ge d_{1}> - \infty \) and \(c\in \mathbb {R}\), we put
In view of Theorem 1.1, under (V0), (F0), and (F1)–(F3), (1.1) has a nontrivial solution \(\bar{u}\in H^{1}(\mathbb {R}^{N})\) satisfying \(\varPhi (\bar{u})=c_{0}:=\inf_{\mathcal{K}}\varPhi >0\). Therefore, \(\mathcal{K}\supseteq \mathcal{K}_{c_{0}}\ne \emptyset \). Following the strategy of [32], we choose a subset \(\mathcal{F}\) of \(\mathcal{K}\) such that \(\mathcal{F}=-\mathcal{F}\) and each orbit \(\mathcal{O}(w)\subset \mathcal{K}\) has a unique representative in \(\mathcal{F}\). It suffices to show that the set \(\mathcal{F}\) is infinite. So from now on we assume by contradiction that
Lemma 4.1
\(\kappa:=\inf \{\|u-v\|: u, v\in \mathcal{K}, u\ne v\}>0\).
Proof
Choose \(\{u_{n}\},\{v_{n}\}\subset \mathcal{K}\) such that \(\|u_{n}-v _{n}\|\rightarrow \kappa \). Then there exist \(w^{1}, w^{2}\in \mathcal{F}\) and \(k_{n},l_{n}\in \mathbb {Z}^{3}\) such that \(u_{n}=w^{1}( \cdot -k_{n})\) and \(v_{n}=w^{2}(\cdot -l_{n})\). Put \(m_{n}=k_{n}-l _{n}\). There are two possible cases.
Case (1). \(\{|m_{n}|\}\) is bounded. Passing to a subsequence, \(m_{n}=m\in \mathbb {Z}^{3}\), one has
Case (2). \(\{|m_{n}|\}\) is unbounded. Passing to a subsequence, \(|m_{n}|\rightarrow \infty \), one has
Both Cases (1) and (2) show that \(\kappa >0\). □
Lemma 4.2
(Discreteness of (PS)-sequences)
Let \(c \ge c_{0}\). If \(\{u_{n}^{1}\}, \{u_{n}^{2}\}\subset \varPhi ^{c}\) are two (PS)-sequences for Φ, then either \(\|u_{n}^{1}-u_{n} ^{2}\|\rightarrow 0\) as \(n\to \infty \) or \(\liminf_{n\to \infty }\|u _{n}^{1}-u_{n}^{2}\| \ge \min \{\kappa, \sqrt{2}c_{0}\}>0\).
Proof
First, we prove the boundedness of Palais–Smale sequences for Φ. Let \(\{u_{n}\}\) be such that
Then it follows from (F4) and (4.2) that, for large \(n\in \mathbb {N}\),
which implies that \(\{u_{n}\}\) is bounded in E. Thus, \(\{u_{n}^{1} \}, \{u_{n}^{2}\}\subset \varPhi ^{c}\) are two bounded (PS)-sequences for Φ. Next, we fix p as in (F1), and we distinguish two cases.
Case (1). \(\|u_{n}^{1}-u_{n}^{2}\|_{p}\rightarrow 0\). In this case, we can prove that \(\lim_{n\to \infty }\|u_{n}^{1}-u_{n}^{2}\|=0\) in a similar fashion as [32, Lemma 2.14].
Case (2). \(\|u_{n}^{1}-u_{n}^{2}\|_{p}\nrightarrow 0\). Then again by [37, Lemma 1.21], there exist \(\varepsilon _{0} > 0\) and \(k_{n} \in \mathbb {Z}^{3}\) such that, after passing to a subsequence,
Using that Φ is equivariant with respect to translations of the form \(u\mapsto u(\cdot -k)\) with \(k \in \mathbb {Z}^{3}\), we may assume that \(\{k_{n}\}\) is bounded in \(\mathbb {Z}^{3}\). We may pass to a subsequence such that
We first consider the case where \(u^{1}\ne 0\) and \(u^{2}\ne 0\), so that \(u^{1},u^{2}\in \mathcal{K}\). By Lemma 4.1, one has \(\liminf_{n\to \infty }\|u_{n}^{1}-u_{n}^{2}\|\ge \|u^{1}-u^{2}\| \ge \kappa \). It remains to consider the case where either \(u^{2}= 0\) or \(u^{1}= 0\). In this case, it is easy to see that \(\liminf_{n\to \infty }\|u_{n}^{1}-u_{n}^{2}\|\ge \|u^{1}-u^{2}\| \ge \sqrt{2}c_{0}\). □
Since Φ is even, it is known (see, e.g., [30, Lemma II.3.9]) that Φ admits an odd pseudo-gradient vector field, i.e., there exists an odd Lipschitz continuous map \(W: E\setminus (\mathcal{K}\cup \{0\})\rightarrow E\) such that
Now we consider the Cauchy problem:
The basic existence-uniqueness theorem for ordinary differential equations implies that, for each \(u\in E\), (4.4) has a unique solution \(\eta (t,u)\) defined for t in a maximal interval \((T^{-}(u),T^{+}(u))\), and \(\eta (t,u)\) is odd with respect to \(u\in E\).
Lemma 4.3
Let \(u\in E\setminus (\mathcal{K}\cup \{0\})\). If \(\inf_{t\in [0,T^{+}(u))}\varPhi (\eta (t,u))>-\infty \), then \(\lim_{t\to T^{+}(u)}\eta (t,u)\) exists and is a critical point of Φ.
Proof
This shows that \(\varPhi (\eta (t,u))\) is strictly decreasing on \(t\in [0, T^{+}(u))\), and so \(\tau:= \lim_{t\to T^{+}(u)}\varPhi ( \eta (t,u))\) exists.
Case (1). \(T^{+}(u)<+\infty \). For \(0\le t_{1}< t_{2}< T^{+}(u)\), from (4.3) and (4.4), we have
Since \(T^{+}(u)<+\infty \), this implies that \(\lim_{t\to T^{+}(u)} \eta (t,u)\) exists and then it must be a critical point of Φ (otherwise the trajectory \(t\mapsto \eta (t,u)\) could be continued beyond \(T^{+}(u)\)).
Case (2). \(T^{+}(u)=+\infty \). To prove that \(\lim_{t\to T^{+}(u)} \eta (t,u)\) exists, it suffices to show that
We suppose by contradiction that (4.6) is false. Then there exist \(0 < \varepsilon _{0} < \frac{1}{2}\min \{\kappa, \sqrt{2}c_{0}\}\) and a sequence \(\{t_{n}\}\subset [0,+\infty)\) such that
Choose the smallest \(t_{n}^{1}\in (t_{n},t_{n+1})\) and \(s_{n}^{1} \in [t_{n},t_{n}^{1}]\) such that
Then it follows from (4.3), (4.4), and (4.8) that
Since \(\varPhi (\eta (t_{n},u))-\varPhi (\eta (t_{n}^{1},u))\rightarrow 0\) as \(n\to \infty \), the above implies that \(\varPhi '(\eta (s_{n}^{1},u)) \rightarrow 0\) as \(n\to \infty \). Similarly we find the largest \(t_{n}^{2}\in (t_{n},t_{n+1})\) and \(s_{n}^{2}\in [t_{n}^{2},t_{n+1}]\) such that \(\|\eta (t_{n+1},u)-\eta (t_{n}^{2},u)\|=\frac{\varepsilon _{0}}{3}\) and \(\varPhi '(\eta (s_{n}^{2},u))\rightarrow 0\) as \(n\to \infty \). Let \(u_{n}^{1}:=\eta (s_{n}^{1},u)\) and \(u_{n}^{2}:=\eta (s _{n}^{2},u)\). Then \(\{u_{n}^{1}\}\) and \(\{u_{n}^{2}\}\) are two Palais–Smale sequences of Φ such that \(\frac{\varepsilon _{0}}{3}\le \|u_{n}^{1}-u_{n}^{2}\|\le 2\varepsilon _{0}<\min \{\kappa, \sqrt{2}c_{0}\}\). This, however, contradicts Lemma 4.2, hence (4.6) is true. So \(\lim_{t\to T^{+}(u)} \eta (t,u)\) exists, and it must be a critical point of Φ. □
In the following, for a subset \(A\subset E\) and \(\delta >0\), we put \(U_{\delta }(A):=\{v\in E : \operatorname{dist}(v,A)<\delta \}\).
Lemma 4.4
Let \(c \ge c_{0}\). Then, for every \(\delta >0\), there exists \(\varepsilon =\varepsilon (\delta)>0\) such that
-
(a)
\(\varPhi ^{c+\varepsilon }_{c-\varepsilon }\cap \mathcal{K}= \mathcal{K}_{c}\);
-
(b)
\(\lim_{t\to T^{+}(u)}\varPhi (\eta (t,u))< c-\varepsilon \) for \(u\in \varPhi ^{c+\varepsilon }\setminus U_{\delta }(\mathcal{K}_{c})\).
Proof
In view of (4.1) and the \(\mathbb {Z}^{3}\)-translation invariance for Φ, \(\varPhi (\mathcal{K}): =\{\varPhi (w):w\in \mathcal{K}\}\) is a finite set. Therefore, there exists \(\hat{\varepsilon }>0\) such that (a) is satisfied for \(\varepsilon \in (0, \hat{\varepsilon })\).
Without loss of generality, we may assume \(U_{\delta }(\mathcal{K} _{c})\subset \varPhi ^{c+1}\) and \(\delta <\min \{\kappa, \sqrt{2}c_{0} \}\). Next we find \(\varepsilon \in (0, \hat{\varepsilon })\) such that (b) holds. Let \(u\in \varPhi ^{c+\hat{\varepsilon }}\setminus U_{\delta }( \mathcal{K}_{c})\). Since \(\varPhi (\eta (t,u))\) is strictly decreasing on \(t\in [0, T^{+}(u))\), if \(\varPhi (\eta (t_{0},u))\le c- \hat{\varepsilon }\) for some \(t_{0}\in [0, T^{+}(u))\), then \(\lim_{t\to T^{+}(u)}\varPhi (\eta (t,u)) < c-\hat{\varepsilon }\). Thus, we only consider the case where \(\varPhi (\eta (t,u))> c-\hat{\varepsilon }\) for all \(t\in [0, T^{+}(u))\). In this case, it follows from Lemma 4.3 that \(\lim_{t\to T^{+}(u)}\eta (t,u)\) exists and is a critical point of Φ. Set
We claim that \(\alpha > 0\). Indeed, suppose by contradiction that there exists a sequence \(\{u_{n}^{1}\}\subset U_{\delta }(\mathcal{K}_{c}) \setminus U_{\delta /2}(\mathcal{K}_{c})\) such that \(\varPhi '(u_{n}^{1}) \rightarrow 0\). Passing to a subsequence, using the finiteness condition (4.1) and the \(\mathbb {Z}^{3}\)-invariance of Φ, we may assume \(\{u_{n}^{1}\}\subset U_{\delta }(w_{0})\setminus U_{\delta /2}(w_{0})\) for some \(w_{0}\in \mathcal{K}_{c}\). Let \(u_{n}^{2}=w_{0}\). Then
which contradicts Lemma 4.2. Hence \(\alpha >0\).
Let \(\beta:=\sup \{\|\varPhi '(w)\|:w\in U_{\delta }(\mathcal{K}_{c}) \setminus U_{\delta /2}(\mathcal{K}_{c})\}\) and \(0<\varepsilon <\frac{ \alpha ^{2}\delta }{4\beta }\). By Lemma 4.3 and (a), the only way (b) can fail is that \(\eta (t,u)\rightarrow \tilde{w}\in \mathcal{K}_{c}\) as \(t\to T^{+}(u)\) for some \(u\in \varPhi ^{c+\varepsilon }\backslash U_{\delta }(\mathcal{K}_{c})\). In this case we let
Then from (4.3), (4.4), and (4.10), we have
and
Hence \(\lim_{t_{2}\to T^{+}(u)}\varPhi (\eta (t_{2},u))\le c+\varepsilon -\frac{\alpha ^{2}\delta }{4\beta }< c\), contrary to our assumption. □
Proof of Theorem 1.2
For \(j\in \mathbb {N}\), we consider the family \(\varSigma _{j}\) of all closed and symmetric subsets \(A\subset E\setminus \{0\}\) (i.e., \(A = -A = \bar{A}\)) with \(\gamma (A)\ge j\), where γ denotes the usual Krasnoselskii genus (see, e.g., [27, 30]). Moreover, we consider the nondecreasing sequence of Lusternik–Schnirelman values for Φ defined by \(c_{k}:=\{c\in \mathbb {R}: \gamma (\varPhi ^{c})\ge k\}\) for \(k\in \mathbb {N}\). We claim:
To prove this, let \(k\in \mathbb {N}\) and \(c=c_{k}\). In view of Lemma 4.1, \(\gamma (\mathcal{K}_{c})=0\) if \(\mathcal{K}_{c}= \emptyset \) or \(\gamma (\mathcal{K}_{c})=1\) if \(\mathcal{K}_{c}\ne \emptyset \). By the continuity property of the genus, there exists \(\delta >0\) such that \(\gamma (U_{\delta }(\mathcal{K}_{c}))=\gamma ( \mathcal{K}_{c})\). Choose \(\varepsilon = \varepsilon (\delta)> 0\) such that the properties of Lemma 4.4 hold. Then, for every \(u\in \varPhi ^{c+\varepsilon }\setminus U_{\delta }(\mathcal{K}_{c})\), \(t_{u}\in [0,T^{+}(u))\), where \(t_{u}:=\inf \{t\in [0,T^{+}(u)): \varPhi (\eta (t,u))\le c-\varepsilon \}\). Since \(\eta (t,u)\) is odd with respect to u and Φ is even, it implies that \(t_{u}=t_{-u}\). Define a map
Then h is odd and continuous. Hence \(\gamma (\varPhi ^{c+\varepsilon } \setminus U_{\delta }(\mathcal{K}_{c}))\le \gamma (\varPhi ^{c-\varepsilon })\le k-1\) and therefore
The definition of \(c = c_{k}\) and of \(c_{k+1}\) implies that \(\gamma (\mathcal{K}_{c})\ge 1\) if \(c_{k+1} > c_{k}\) and \(\gamma ( \mathcal{K}_{c}) > 1\) if \(c_{k+1} = c_{k}\). Since \(\gamma ( \mathcal{F})=\gamma (\mathcal{K}_{c})\le 1\), (4.11) follows.
It follows now from (4.11) that there is an infinite sequence \(\{ u_{k}\}\) of pairs of geometrically distinct critical points of Φ with \(\varPhi (u_{k}) = c_{k}\), contrary to (4.1). The proof is finished. □
References
Ambrosetti, A., Ruiz, D.: Multiple bound states for the Schrödinger–Poisson problem. Commun. Contemp. Math. 10, 391–404 (2008)
Azzollini, A.: Concentration and compactness in nonlinear Schrödinger–Poisson system with a general nonlinearity. J. Differ. Equ. 249(7), 1746–1763 (2010)
Azzollini, A., d’Venia, P., Pomponio, A.: On the Schrödinger–Maxwell equations under the effect of a general nonlinear term. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 27(2), 779–791 (2010)
Azzollini, A., Pomponio, A.: Ground state solutions for the nonlinear Schrödinger–Maxwell equations. J. Math. Anal. Appl. 345, 90–108 (2008)
Benci, V., Fortunato, D.: An eigenvalue problem for the Schrödinger–Maxwell equations. Topol. Methods Nonlinear Anal. 11, 283–293 (1998)
Benci, V., Fortunato, D.: Solitary waves of the nonlinear Klein–Gordon equation coupled with Maxwell equations. Rev. Math. Phys. 14, 409–420 (2002)
Benguria, R., Brezis, H., Lieb, E.H.: The Thomas–Fermi–von Weizsäcker theory of atoms and molecules. Commun. Math. Phys. 79, 167–180 (1981)
Catto, I., Lions, P.L.: Binding of atoms and stability of molecules in Hartree and Thomas–Fermi type theories. Part 1: a necessary and sufficient condition for the stability of general molecular system. Commun. Partial Differ. Equ. 17, 1051–1110 (1992)
Chen, S.T., Tang, X.H.: Ground state sign-changing solutions for a class of Schrödinger–Poisson type problems in \(\mathbb {R}^{3}\). Z. Angew. Math. Phys. 67(4), 1–18 (2016)
Chen, S.T., Tang, X.H.: Nehari type ground state solutions for asymptotically periodic Schrödinger–Poisson systems. Taiwan. J. Math. 21, 363–383 (2017)
Chen, S.T., Tang, X.H., Liao, F.F.: Existence and asymptotic behavior of sign-changing solutions for fractional Kirchhoff-type problems in low dimensions. NoDEA Nonlinear Differ. Equ. Appl. 25, 40 (2018)
Chen, S.T., Tang, X.H.: Geometrically distinct solutions for Klein–Gordon–Maxwell systems with super-linear nonlinearities. Appl. Math. Lett. 90, 188–193 (2019)
Chen, S.T., Tang, X.H.: Ground state solutions of Schrödinger–Poisson systems with variable potential and convolution nonlinearity. J. Math. Anal. Appl. 473, 87–111 (2019)
D’Aprile, T., Mugnai, D.: Solitary waves for nonlinear Klein–Gordon–Maxwell and Schrödinger–Maxwell equations. Proc. R. Soc. Edinb., Sect. A 134, 1–14 (2004)
d’Avenia, P.: Non-radially symmetric solutions of nonlinear Schrödinger equation coupled with Maxwell equations. Adv. Nonlinear Stud. 2(2), 177–192 (2002)
He, X.M.: Multiplicity and concentration of positive solutions for the Schrödinger–Poisson equations. Z. Angew. Math. Phys. 5, 869–889 (2011)
He, X.M., Zou, W.M.: Existence and concentration of ground states for Schrödinger–Poisson equations with critical growth. J. Math. Phys. 53, 023702 (2012)
He, X.M., Zou, W.M.: Multiplicity of concentrating positive solutions for Schrödinger–Poisson equations with critical growth. Nonlinear Anal. 170, 142–170 (2018)
Li, W., Radulescu, V.D., Zhang, B.L.: Infinitely many solutions for fractional Kirchhoff–Schrödinger–Poisson systems. J. Math. Phys. 60(1), 011506 (2019)
Lieb, E.H.: Thomas–Fermi and related theories and molecules. Rev. Mod. Phys. 53, 603–641 (1981)
Lieb, E.H.: Sharp constants in the Hardy–Littlewood–Sobolev inequality and related inequalities. Ann. Math. 118, 349–374 (1983)
Lieb, E.H., Loss, M.: Analysis, Graduate Studies in Mathematics, vol. 14. AMS (1997)
Lions, P.L.: Solutions of Hartree–Fock equations for Coulomb systems. Commun. Math. Phys. 109, 33–97 (1984)
Lions, P.L.: The concentration-compactness principle in the calculus of variations. The locally compact case. I & II. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 1, 109–145, 223–283 (1984)
Mugnai, D.: The Schrödinger–Poisson system with positive potential. Commun. Partial Differ. Equ. 36, 1099–1117 (2011)
Papageorgiou, N.S., Radulescu, V.D., Repovs, D.D.: Nonlinear Analysis—Theory and Methods. Springer Monographs in Mathematics. Springer, Berlin (2019)
Rabinowitz, P.H.: Minimax Methods in Critical Point Theory with Applications to Differential Equations. CBMS Reg. Conf. Ser. Math., vol. 65. Am. Math. Soc., Providence (1986)
Ruiz, D.: The Schrödinger–Poisson equation under the effect of a nonlinear local term. J. Funct. Anal. 237, 655–674 (2006)
Ruiz, D.: On the Schrödinger–Poisson–Slater system: behavior of minimizers, radial and nonradial cases. Arch. Ration. Mech. Anal. 198, 349–368 (2010)
Struwe, M.: Variational Methods, 2nd edn. Springer, Berlin (1996)
Sun, J.J., Ma, S.W.: Ground state solutions for some Schrödinger–Poisson systems with periodic potentials. J. Differ. Equ. 260, 2119–2149 (2016)
Szulkin, A., Weth, T.: Ground state solutions for some indefinite variational problems. J. Funct. Anal. 257, 3802–3822 (2009)
Tang, X.H.: Non-Nehari manifold method for superlinear Schrodinger equation. Taiwan. J. Math. 18(6), 1957–1979 (2014)
Tang, X.H.: Non-Nehari manifold method for asymptotically linear Schrödinger equation. J. Aust. Math. Soc. 98, 104–116 (2015)
Tang, X.H.: Non-Nehari manifold method for asymptotically periodic Schrödinger equation. Sci. China Math. 58, 715–728 (2015)
Tang, X.H., Chen, S.T.: Ground state solutions of Nehari–Pohoz̆aev type for Schrödinger–Poisson problems with general potentials. Discrete Contin. Dyn. Syst. 37, 4973–5002 (2017)
Willem, M.: Minimax Theorems. Birkhäuser, Boston (1996)
Xiang, M.Q., Wang, F.L.: Fractional Schrödinger–Poisson–Kirchhoff type systems involving critical nonlinearities. Nonlinear Anal. 164, 1–26 (2017)
Xiang, M.Q., Radulescu, V.D., Zhang, B.L.: Combined effects for fractional Schrödinger–Kirchhoff systems with critical nonlinearities. ESAIM Control Optim. Calc. Var. 24(3), 1249–1273 (2018)
Zhang, X., Zhang, B.L., Repovs, D.: Existence and symmetry of solutions for critical fractional Schrodinger equations with bounded potentials. Nonlinear Anal. 142, 48–68 (2016)
Zhao, L.G., Zhao, F.K.: On the existence of solutions for the Schrödinger–Poisson equations. J. Math. Anal. Appl. 346, 155–169 (2008)
Acknowledgements
The authors would like to thank the referees for their useful suggestions.
Availability of data and materials
Not applicable.
Funding
The authors are supported financially by the National Natural Science Foundation of China (No: 11501190) and Hunan Provincial Natural Science Foundation (No: 2019JJ50146).
Author information
Authors and Affiliations
Contributions
The research was carried out in collaboration. All authors read and assured the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Chen, J., Zhang, N. Infinitely many geometrically distinct solutions for periodic Schrödinger–Poisson systems. Bound Value Probl 2019, 64 (2019). https://doi.org/10.1186/s13661-019-1177-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-019-1177-1