Abstract
The aim of this paper is establishing the existence of a nontrivial solution for the following quasilinear Schrödinger–Poisson system:
where V, K, g are continuous functions. To overcome the technical difficulties caused by the quasilinear term, we change the variable to guarantee the feasibility of applying the mountain pass theorem to solve the above problems. We use the mountain pass theorem and the concentration–compactness principle as basic tools to gain a nontrivial solution the system possesses under an asymptotic periodicity condition at infinity.
Similar content being viewed by others
1 Introduction and main results
In this paper, we consider the following quasilinear asymptotically periodic Schrödinger–Poisson system:
where \(V, K:\mathbb{R}^{3}\rightarrow\mathbb{R}\) and \(g:\mathbb {R}^{3}\times\mathbb{R}\rightarrow\mathbb{R}\) are continuous functions.
The so-called quasilinear Schrödinger–Poisson system was introduced in [5, 25] and is a quantum mechanical model of extremely small devices in semiconductor nanostructures taking into account the quantum structure and longitudinal field oscillations during the beam propagation. As far as we know, this new significant physical system was not mentioned before [5, 25], even though it is worth exploring from a mathematical point of view.
System (1.1) without quasilinear potential \(-u\Delta(u^{2})\) is called the Schrödinger–Poisson system,
which has been widely studied, and many meaningful results were achieved for the subcritical growth [7, 27, 44, 45, 47] or the critical exponent [46] under various assumptions on the potentials and nonlinearities. Furthermore, nontrivial solutions, radial solutions [10, 13, 29], ground state solutions [2, 4] and also semiclassical solutions [14, 23, 24] were obtained generally. Moreover, quasilinear Schrödinger equations with \(-u\Delta(u^{2})\):
have been accepted as models of several physical phenomena; we refer the reader to the introduction in [30] and references therein for a discussion on the subject. The existence of solutions of quasilinear equations was considered in [1, 6, 11, 12, 18, 43].
There are scarce existing results on system (1.1), which is a new combination of two different equations. So our discussion is worth considering and has an excellent prospect; this paper is also an innovation of the pioneering work. When \(K(x)=1\) in system (1.1), the authors in [8] took into account the systems by applying the perturbation method, and hence the existence of a sign-changing solution with precisely two nodal domains was derived. The authors in [15] studied the existence and asymptotic behavior of ground state in the whole space \(\mathbb{R}^{3}\) for the quasilinear Schrödinger–Poisson system with asymptotically linear \(f(t)\) with respect to t at infinity; see also [28] for more related results. Figueiredo and Siciliano [19, 20] paid close attention to two different systems with critical growth and obtained the existence and asymptotic behavior of solutions for the previous system in \(\mathbb{R}^{3}\) and also achieved a similar result for the latter system in a bounded domain in \(\mathbb{R}^{2}\). The authors in [31] considered a system with radial potentials and discontinuous nonlinearity and obtained multiplicity results for radial solutions. By using Ekeland’s variational principle and the mountain pass theorem the authors in [33] obtained the existence of the ground state solution for a generalized quasilinear Schrödinger–Poisson system in \(\mathbb{R}^{3}\). For related results on nonlinear problems based on variational methods, we refer to [21, 28, 32, 38–42], which are recent contributions to Kirchhoff-type problems. Tang [35] developed a direct method, a non-Nehari manifold method, to find a minimizing Cerami sequence for the energy functional outside the Nehari–Pankov manifold by using the diagonal method. Tang, Lin, and Yu [36] first introduced a local superquadratic condition instead of the classical global superquadratic condition. Chen and Tang [9] proposed a new approach to recover the compactness for the Cerami sequence.
Guided by the method of [34], our main goal is establishing the existence of a solution to problem (1.1) under an asymptotic periodicity condition at infinity.
Letting \(\mathcal{F}\) denote the class of functions \(h\in C(\mathbb {R}^{3}, \mathbb{R})\cap L^{\infty}(\mathbb{R}^{3})\) such that, for every \(\varepsilon>0\), the set \(\{x\in\mathbb{R}^{3}: |h(x)|\geq\varepsilon\}\) has finite Lebesgue measure, we suppose that V and K are perturbations of periodic functions at infinity. More specifically, we impose the following assumptions on V and K:
- \((V)\):
-
there exist a constant \(\alpha>0\) and a function \(V_{0}\in C(\mathbb{R}^{3}, \mathbb{R})\), 1-periodic in \(x_{i}\), \(1\leq i\leq3\), such that \(V_{0}-V\in\mathcal{F}\) and
$$V_{0}(x)\geq V(x)\geq\alpha>0,\quad \forall x\in\mathbb{R}^{3}. $$ - \((K)\):
-
\(K\in L^{2}(\mathbb{R}^{3})\cap L^{\infty}(\mathbb {R}^{3})\), and there exist a constant \(k>0\) and a function \(K_{0}\in C(\mathbb{R}^{3}, \mathbb{R})\cap L^{2}(\mathbb{R}^{3})\), 1-periodic in \(x_{i}\), \(1\leq i\leq3\), such that \(K_{0}-K\in\mathcal{F}\) and
$$K_{0}(x)\geq K(x)\geq k>0,\quad \forall x\in\mathbb{R}^{3}. $$
For \(g(x, s)\) and \(G(x, s)=\int_{0}^{s}g(x, t)\,dt\), we need the following hypotheses:
- \((G_{1})\):
-
\(g(x, s)=o(|s|)\) as \(s\rightarrow0^{+}\), uniformly in \(\mathbb{R}^{3}\);
- \((G_{2})\):
-
there are constants \(a_{1}, a_{2}>0\) and \(8\leq q_{1}<12\) such that
$$\bigl\vert g(x, s) \bigr\vert \leq a_{1}+a_{2} \vert s \vert ^{q_{1}-1},\quad \forall(x, s)\in\mathbb {R}^{3} \times[0, +\infty); $$ - \((G_{3})\):
-
there exist a constant \(q_{2}>\frac{3(q_{1}-4)}{2}\) and a function \(h_{1}\in L^{1}(\mathbb{R}^{3})\) such that
$$\frac{1}{4}g(x, s)s-G(x, s)\geq s^{q_{2}}-h_{1}(x),\quad \forall(x, s)\in \mathbb{R}^{3}\times[0, +\infty), $$where \(q_{1}\) is given by hypothesis \((G_{2})\).
We observe that conditions \((G_{1})\) and \((G_{2})\) allow us to employ variational methods to study problem (1.1) and to verify that the associated functional has a local minimum at the origin. As a matter of fact, we study the functional associated with the modified problem. Condition \((G_{2})\) imposes a subcritical growth on g. However, under these hypotheses, this functional does not satisfy a compactness condition of Palais–Smale type since the domain is the whole space \(\mathbb{R}^{3}\). We also observe that from \((G_{2})\) and \((G_{3})\) we obtain \(0< q_{2}\leq q_{1}\). Note that \(22^{*}=\frac{4N}{N-2}=12\) behaves like a critical exponent for problem (1.1). The asymptotic periodicity of g at infinity is given by the following condition:
- \((G_{4})\):
-
there exist a constant \(4\leq q_{3}<12\) and functions \(h_{2}\in\mathcal{F}\), and \(g_{0}\in C(\mathbb{R}^{3}\times\mathbb{R}, \mathbb{R}^{+})\), 1-periodic in \(x_{i}\), \(1\leq i\leq3\), such that
-
(i)
\(G(x, s)\geq G_{0}(x, s)=\int_{0}^{s}g_{0}(x, t)\,dt\), \(\forall(x, s)\in\mathbb{R}^{3}\times[0, +\infty)\),
-
(ii)
\(|g(x, s)-g_{0}(x, s)|\leq h_{2}(x)s^{q_{3}-1}\), \(\forall(x, s)\in\mathbb{R}^{3}\times[0, +\infty)\),
-
(iii)
the function \(s\rightarrow\frac{g_{0}(x, s)}{s^{7}}\) is nondecreasing in the variable \(s>0\).
-
(i)
Finally, we also suppose that G satisfies:
- \((G)\):
-
\(\frac{G(x, s)}{s^{8}}\rightarrow\infty\) as \(s\rightarrow \infty\) uniformly in \(\mathbb{R}^{3}\).
The first main result is stated as follows.
Theorem 1.1
Suppose that\((V)\), \((K)\), \((G_{1})\)–\((G_{4})\), and\((G)\)are satisfied. Then system (1.1) admits a solution.
We observe that in the particular case \(V=V_{0}\), \(K=K_{0}\), and \(g=g_{0}\), Theorem 1.1 clearly gives us a solution for the periodic problem. Indeed, to show the existence of a solution for the periodic problem, condition \((G_{4})\) is not necessary. Consider the following problem:
under the following hypotheses:
- \((V_{0})\):
-
\(V_{0}\in C(\mathbb{R}^{3}, \mathbb{R})\), 1-periodic in \(x_{i}\), \(1\leq i\leq3\), and there exists a constant \(\alpha>0\) such that
$$V_{0}(x)\geq\alpha>0,\quad \forall x\in\mathbb{R}^{3}. $$ - \((K_{0})\):
-
\(K_{0}\in L^{2}(\mathbb{R}^{3})\cap L^{\infty}(\mathbb {R}^{3})\cap C(\mathbb{R}^{3})\), 1-periodic in \(x_{i}\), \(1\leq i\leq3\), and there exists a constant \(k>0\) such that
$$K_{0}(x)\geq k>0,\quad \forall x\in\mathbb{R}^{3}. $$
Then with the function \(g_{0}\) satisfying \((G_{1})\)–\((G_{3})\) and \((G)\), we obtain the second main result.
Theorem 1.2
Suppose that\((V_{0})\), \((K_{0})\), \((G_{1})\)–\((G_{3})\), and\((G)\)are satisfied. Then system (1.2) admits a solution.
The remainder of this paper is organized as follows. In Sect. 2, we present two versions of the mountain pass theorem to be employed later. In Sect. 3, we introduce the variational framework associated with problem (1.1). In Sect. 4, we verify the geometric conditions of the mountain pass theorem and show the boundedness of the Cerami sequences associated with the minimax level. In Sect. 5, we prove the main results, and so the existence of a solution for problems (1.1) and (1.2) is established.
2 Preliminary
In this section, we present two versions of the mountain pass theorem due to Ambrosetti and Rabinowitz [3], which are essential tools in this paper.
Let E be a real Banach space, and let \(I: E\rightarrow\mathbb{R}\) a functional of class \(C^{1}\). Let M be the set of critical points of I. For \(b\in\mathbb{R}\), we define \(I^{b}=\{u\in E: I\leq b\}\) and \(M_{b}=\{u\in E: {u\in M}, {I(u)=b}\}\).
As we noted in the Introduction, the functional associated with problem (1.1) does not satisfy the Palais–Smale condition. To overcome this difficulty, we will use versions of the mountain pass theorem. To this end, we state the first version of this theorem (see [17, 37]).
We recall that \(I\in C^{1}(E, \mathbb{R})\) satisfies the Cerami condition on level c, denoted by \((C)_{c}\), if any sequence \(\{u_{n}\} \subset E\) satisfying
as \(n\rightarrow\infty\), possesses a convergent subsequence, where \(\|\cdot\|_{E}\) denotes the norm on E. A function I satisfies the Cerami condition, denoted by \((C)\), if it satisfies \((C)_{c}\) for every \(c \in\mathbb{R}\). We say that \(\{u_{n}\}\subset E\) is a \((C)_{c}\) sequence if it satisfies (i)–(ii).
Theorem 2.1
Let E be a real Banach space, and let\(I\in C^{1}(E, \mathbb{R})\). LetSbe a closed subset of E that disconnectsEinto distinct connected components\(E_{1}\)and\(E_{2}\). Suppose further that\(I(0)=0\)and:
- \((I_{1})\):
-
\(0\in E_{1}\)and there is\(\sigma>0\)such that\(\inf_{u \in S}I (u)\geq\sigma>0\),
- \((I_{2})\):
-
there is\(e\in E_{2}\)such that\(I(e)\leq0\).
Then I possesses a\((C)_{c}\)sequence with\(c\geq\sigma>0\)given by
where
We will also need a local version of Theorem 2.1, which is proved in [26].
Theorem 2.2
LetEbe a real Banach space. Suppose that\(I\in C^{1}(E, \mathbb {R})\)satisfies\(I(0)=0\), \((I_{1})\), and\((I_{2})\). If there exists\(\gamma _{0}\in\varGamma\), whereΓis defined by (2.2), such that
thenIpossesses a nontrivial critical point\(u\in M_{c}\cap\gamma _{0}([0, 1])\).
3 The variational framework
In this section, we introduce the variational framework associated with problem (1.1). Here, we consider the space \(H^{1}(\mathbb{R}^{3})\) endowed with one of the following norms:
Note that, in view of condition \((V)\), these norms are both equivalent to the standard norm on \(H^{1}(\mathbb{R}^{3})\). As far as we know, system (1.1) can be easily transformed into a single nonlinear Schrödinger equation with nonlocal term. Briefly, the Poisson equation is solved by using the Lax–Milgram theorem, so for all \(u\in H^{1}(\mathbb{R}^{3})\), there is a unique \(\phi_{u}\in D^{1,2}(\mathbb{R}^{3})\) such that \(-\Delta\phi =K(x)u^{2}\), which inserted into the first equation gives
In fact, for each \(u\in H^{1}(\mathbb{R}^{3})\), we define the operator \(T_{u}\) on \(D^{1,2}(\mathbb{R}^{3})\) by
The Hölder inequality and the fact \(K \in L^{2}(\mathbb{R}^{3})\) yield that there is a constant \(C>0\) such that for every \(v\in D^{1,2}(\mathbb{R}^{3})\),
Hence by the Riesz representation theorem there exists a unique \(\phi _{u} \in D^{1,2}(\mathbb{R}^{3})\) such that
Thus \(\phi_{u}\) is a weak solution of \(-\Delta\phi_{u} =K(x)u^{2}\) and can be represented by
Moreover, it is obvious that
where \(\mathcal{L}(D^{1,2},\mathbb{R})\) denotes the linear space of linear function from \(D^{1,2}\) to \(\mathbb{R}\). Also, we have
Moreover,
We observe that formally problem (1.1) is the Euler–Lagrange equation associated with the energy functional
From the variational point of view, the first difficulty associated with problem (1.1) is finding an appropriate function space where the functional J is well defined. To avoid such a difficulty, we use the change of variable introduced in [30], that is, we consider \(v=f^{-1}(u)\), where f is defined by
having the following properties proved in [11, 16].
Lemma 3.1
The function f satisfies the following properties:
-
(1)
fis uniquely defined, \(C^{1}\), and invertible;
-
(2)
\(|f'(t)|\leq1\)for all\(t\in\mathbb{R}\);
-
(3)
\(|f(t)|\leq t\)for all\(t\in\mathbb{R}\);
-
(4)
\(\frac{f(t)}{t}\rightarrow1\)as\(t\rightarrow0\);
-
(5)
\(\frac{f(t)}{\sqrt{t}}\rightarrow2^{\frac{1}{4}}\)as\(t\rightarrow+\infty\);
-
(6)
\(\frac{f(t)}{2}\leq tf'(t)\leq f(t)\)for all\(t\geq0\);
-
(7)
\(|f(t)|\leq2^{\frac{1}{4}}|t|^{\frac{1}{2}}\)for all\(t\in \mathbb{R}\);
-
(8)
\(f^{2}(t)-f(t)f'(t)t\geq0\)for all\(t\in\mathbb{R}\);
-
(9)
there exists a positive constant C such that
$$ \bigl\vert f(t) \bigr\vert \geq \left \{ \textstyle\begin{array}{l@{\quad}l}C \vert t \vert , & \vert t \vert \leq1,\\ C \vert t \vert ^{\frac{1}{2}}, &\vert t \vert \geq1; \end{array}\displaystyle \right . $$ -
(10)
\(|f(t)f'(t)|\leq\frac{1}{\sqrt{2}}\)for all\(t\in\mathbb{R}\).
As a consequence of Lemma 3.1, the following conclusion is proved in [17].
Corollary 3.1
-
(1)
The function\(f(t)f'(t)t^{-1}\)is decreasing for all\(t>0\).
-
(2)
The function\(f^{3}(t)f'(t)t^{-1}\)is increasing for all\(t>0\).
So, after the change of variables from J, we obtain the following functional:
which is well defined in \(H^{1}(\mathbb{R}^{3})\) and belongs to \(C^{1}\) under the hypotheses \((V)\), \((K)\), \((G_{1})\), and \((G_{2})\).
Let \(F(v)=\int_{\mathbb{R}^{3}}K(x)\phi_{f(v)}f^{2}(v)\,dx\). Then by Lemma 3.1(3) we have
for \(v\in H^{1}(\mathbb{R}^{3})\). Then by the Lebesgue and Fubini theorems
As a consequence, the critical points of I are weak solutions of the problem
that is,
for all \(v, w\in H^{1}(\mathbb{R}^{3})\). We observe (see [11, 16]) that if \(v\in C^{2}(\mathbb{R}^{3})\cap H^{1}(\mathbb {R}^{3})\) is a critical point of the functional I, then the function \(u=f(v)\) is a classical solution of problem (1.1).
Remark 3.1
We also observe that to obtain a nonnegative solution for (3.4), we set \(g(x, s)=0\) for all \(x\in\mathbb{R}^{3}\), \(s<0\). Indeed, let v be a critical point of I. Taking \(w=-v^{-}\), where \(v^{-}=\max\{-v, 0\}\), we get
Since \(f(v)(-v^{-})\geq0\), we have
and
Hence we may conclude that \(v^{-}=0\) almost everywhere in \(\mathbb {R}^{3}\) and, therefore, \(v=v^{+}\geq0\). As \(u=f(v)\), we conclude that u is a nonnegative solution for problem (1.1).
Similarly, associated with the periodic problem, we have the functional \(I_{0}\in C^{1}(H^{1}(\mathbb{R}^{3}), \mathbb{R})\) defined by
where \(G_{0}(x, s)=0\) for all \(x\in\mathbb{R}^{3}\), \(s<0\).
We also observe that for \(\delta>0\), because of \((G_{1})\) and \((G_{2})\), there is a constant \(C_{\delta}>0\) such that
4 Geometric properties
In this section, we present the variational results that will be used in the proof of main results. Firstly, we verify the geometric conditions of the mountain pass theorem. Then we present results concerning the behavior of the Cerami sequences of the associated functional. Finally, we establish two technical results necessary for the proof of Theorem 1.1. The following lemma shows that the (modified) functional associated with problem (1.1) satisfies the geometric properties of the mountain pass theorem.
Lemma 4.1
Suppose that\((V)\), \((G_{1})\), \((G_{2})\), and\((G)\)are satisfied. Then the functional I defined by (3.3) satisfies conditions\((I_{1})\)and\((I_{2})\)of Theorem 2.1.
Proof
For \(\rho>0\), define
Since \(\varPsi: H^{1}(\mathbb{R}^{3})\rightarrow\mathbb{R}\) given by
is continuous, \(S_{\rho}\) is a closed subset that disconnects the space \(H^{1}(\mathbb{R}^{3})\rightarrow\mathbb{R}\). Taking \(0<{\lambda<1}\) such that \(\frac{q_{1}}{2}=\lambda+6(1-\lambda)\), by \((V)\), relation (3.7), Hölder’s inequality, Lemma 3.1(7), the Sobolev embedding theorem, and the result of [34] we have
for every \(v\in S_{\rho}\) and some constant \(C_{0}>0\). Hence we have
for every \(v\in S_{\rho}\). Since \(2\lambda+6(1-\lambda)>2\), choosing \(0<\delta<\alpha\), we conclude that, for ρ sufficiently small,
that is, condition \((I_{1})\) is satisfied.
To verify condition \((I_{2})\), it suffices to exhibit \(w\in H^{1}(\mathbb{R}^{3})\) such that
Indeed, consider \(w\in H^{1}(\mathbb{R}^{3})\). Hence by properties (3) of Lemma 3.1 we get, for every \(t>0\),
Then by Lemma 3.1(5), assumption \((G)\), and the Fatou lemma the last integral on the right-hand side tends to infinity with t. Hence \(I(tw)\rightarrow-\infty\) as \(t\rightarrow\infty\). □
As a consequence of Theorem 2.1 and Lemma 3.1, we have the following corollary.
Corollary 4.1
Suppose that\((V)\), \((G_{1})\), \((G_{2})\), and\((G)\)are satisfied. Then the functionalIpossesses a\((C)_{c}\)sequence with c given by (2.1).
Here we verify the boundedness of the \((C)_{c}\) sequences associated with the functional I and a result concerning the behavior of such sequences.
Lemma 4.2
Suppose that\((V)\)and\((G_{1})\)–\((G_{3})\)are satisfied. Then every Cerami sequence\(\{v_{n}\}\)in\(H^{1}(\mathbb{R}^{3})\)associated with the functionalIis bounded.
Proof
According to the proof of [34], if there exists a constant \(M>0\) such that
then \(\{v_{n}\}\) is bounded in \(H^{1}(\mathbb{R}^{3})\). So we only need to prove (4.2).
Now let \(\{v_{n}\}\in H^{1}(\mathbb{R}^{3})\) be an arbitrary Cerami sequence for I on level \(c\in\mathbb{R}\), that is,
Taking \(0<\delta<\alpha\), by the first condition in (4.3), (3.7), and the condition \((V)\) we have
which yields
By the second condition in (4.3) and Lemma 3.1(6) we have
Consequently, by \((G_{3})\) we have
Since \(h_{1}\in L^{1}(\mathbb{R}^{3})\), we have
Because of Lemma 3.1(3), we have
Therefore
As we noted in the Introduction, \(q_{2}\leq q_{1}\). If \(q_{2}=q_{1}\), then inequality (4.2) is given by (4.4), (4.5), and our choice of δ. Now consider \(q_{2}< q_{1}\). Let \(0<\lambda <1\) be such that \(q_{1}=\lambda q_{2}+ 12(1-\lambda)\). By Hölder’s inequality, (4.4), (4.5), Lemma 3.1(7), and the Sobolev embedding theorem we have
Now note that by \((G_{3})\) that \(3(1-\lambda)=\frac {3(q_{1}-q_{2})}{12-q_{2}}<1\). Therefore estimate (4.2) is satisfied, and the lemma is proved. □
Lemma 4.3
Suppose that\((V)\), \((G_{1})\), and\((G_{2})\)are satisfied. Let\(\{v_{n}\} \subset H^{1}(\mathbb{R}^{3})\)be a \((C)_{c}\)sequence with c given by (2.1), and let\(v_{n}\rightharpoonup0\)weakly in\(H^{1}(\mathbb {R}^{3})\). Then there exist a sequence\(\{y_{n}\}\subset\mathbb{R}^{3}\)and\(r, \eta>0\)such that\(|y_{n}|\rightarrow\infty\)and
Proof
Suppose on the contrary that
Then by Lion’s concentration compactness lemma (see [37, Lemma 1.21]) we have
According to Lemma 3.1(3, 6), we have
Let \(0<\beta<2\) be sufficiently small such that \(2+\beta< q_{1}<12-2\beta \). Now take \(0<\lambda<1\) such that \(q_{1}=\lambda(2+\beta)+(1-\lambda )(12-2\beta)\). Applying Hölder’s inequality and Lemma 3.1(3, 7), we have
Noting that \(2<2+\beta\), \(6-\beta<6\), from (3.6), Lemma 3.1(6), and (4.6) it follows that for all \(\delta>0\),
Hence, since \(\delta>0\) can be chosen arbitrarily small and the sequence \(\{v_{n}\}\subset H^{1}(\mathbb{R}^{3})\) is bounded, we get
Since \(\langle I'(v_{n}), v_{n}\rangle\rightarrow0\), from (4.7) and (4.8) we obtain
Using Lemma 3.1(6), we get
By an argument similar to that used to verify (4.7) and (4.8) we conclude that
and
These two equalities, together with (4.9), imply that \(I(v_{n})\rightarrow0\), which contradicts \(I(v_{n})\rightarrow c>0\). The lemma is proved. □
Lemma 4.4
Suppose that\((V)\), \((K)\), and\((G_{4})\)are satisfied. Let\(\{v_{n}\} \subset H^{1}(\mathbb{R}^{3})\)be a bounded sequence, and let\(w_{n}(x)=w(x-y_{n})\), where\(w\in H^{1}(\mathbb{R}^{3})\)and\((y_{n})\subset\mathbb{R}^{3}\). If\(|y_{n}|\rightarrow\infty\), then, as\(n\rightarrow\infty\), we have
-
(1)
\(\int_{\mathbb {R}^{3}}[V_{0}(x)-V(x)]f(v_{n})f'(v_{n})w_{n}\,dx\rightarrow0\),
-
(2)
\(\int_{\mathbb{R}^{3}}[g_{0}(x, f(v_{n}))-g(x, f(v_{n}))]f'(v_{n})w_{n}\,dx\rightarrow0\),
-
(3)
\(\int_{\mathbb{R}^{3}}K_{0}(x)\widetilde{\phi }_{f(v_{n})}f(v_{n})f'(v_{n})w_{n}\,dx-K(x)\phi _{f(v_{n})}f(v_{n})f'(v_{n})w_{n}\,dx\rightarrow0\).
Proof
The proof of (1) and (2) can found in [34], so we only need to prove (3). Let \(\zeta(x)=K_{0}(x)-K(x)\). Then by Lemma 3.1(2, 3) we have
We consider, for example, \(I_{2}\). Then the other two can be obtained in the same way.
Given \(\delta>0\), since \(w\in H^{1}(\mathbb{R}^{3})\subset L^{p}(\mathbb {R}^{3})\) with \(2\leq p\leq6\), we can find \(0<\varepsilon<\delta\) such that, for every measurable set \(\varOmega\subset\mathbb{R}^{3}\) satisfying \(|\varOmega|<\varepsilon\),
We fix \(\varepsilon>0\) and set \(D_{\varepsilon}(R)=\{x\in\mathbb {R}^{3}: |K_{0}(x)-K(x)|\geq\varepsilon, |x|\geq R\}\). By condition \((K)\) we can find \(R>0\) such that \(|D_{\varepsilon}(R)|<\varepsilon\). Then, according to (3.2), applying Lemma 3.1(2, 3), Hölder’s inequality, condition \((K)\), \(h\in\mathcal{F}\), and (4.10), we get
Applying Hölder’s inequality, condition \((K)\), Lemma 3.1(2, 3), and the fact that \(\{v_{n}\}\subset H^{1}(\mathbb {R}^{3})\) is bounded, we can find C̃ such that
Hence, since \(w\in H^{1}(\mathbb{R}^{3})\) and \(|y_{n}|\rightarrow\infty \), there is \(n_{0}\in\mathbb{N}\) such that
Since \(\delta>0\) can be chosen arbitrarily small, the last three inequalities imply that
strongly in \(L^{1}(\mathbb{R}^{3})\) as \(n\rightarrow\infty\). □
Lemma 4.5
(see [34])
Suppose that\(2\leq q\leq12\)and\(h\in\mathcal{F}\). Let\(\{v_{n}\} \subset H^{1}(\mathbb{R}^{3})\)be a sequence such that\(v_{n}\rightharpoonup v\)weakly in\(H^{1}(\mathbb{R}^{3})\). Then
as\(n\rightarrow\infty\).
5 Proofs of the main results
In this section, we prove Theorems 1.1 and 1.2 by verifying that the functionals I and \(I_{0}\), defined by (3.3) and (3.5), respectively, have nontrivial critical points.
Proof of Theorem 1.1
Firstly, by Corollary 4.1 we can find a Cerami sequence \(\{ v_{n}\}\) on level c, that is, such that
as \(n\rightarrow\infty\) with c given by Theorem 2.1. Applying Lemma 4.3, we may assume, without loss of generality, that \(v_{n}\rightharpoonup v\) weakly in \(H^{1}(\mathbb{R}^{3})\).
Step 1. Note that, for every \(z\in C_{0}^{\infty}(\mathbb{R}^{3})\),
Since \(v_{n}\rightharpoonup v\) weakly in \(H^{1}(\mathbb{R}^{3})\), we have that \(v_{n}\rightarrow v\) in \(L_{\mathrm{loc}}^{s}(\mathbb {R}^{3})\) with \(1\leq s<6\). Then, up to a subsequence,
Consequently, as \(n\rightarrow\infty\),
a.e. on Ω. Furthermore, from conditions \((V)\) and \((K)\), Lemma 3.1(2, 3), and (3.2) we have
and
Moreover, by (3.6) and Lemma 3.1(2, 3, 6, 7) we have, for \(|v_{n}(x)|\leq1\),
On the other hand, if \(|v_{n}(x)|>1\), then
The two estimates imply that there exists a function \(\psi\in L^{1}(\varOmega)\) such that
Using (5.2), (5.3), the Lebesgue dominated convergence theorem, and the weak convergence \(v_{n}\rightharpoonup v\) in \(H^{1}(\mathbb{R}^{3})\), for every \(z\in C_{0}^{\infty}(\mathbb {R}^{3})\), we obtain
Since \(C_{0}^{\infty}(\mathbb{R}^{3})\) is dense in \(H^{1}(\mathbb {R}^{3})\) and \(I'(v_{n})\rightarrow0\), we conclude that \(I'(v)=0\). In other words, we have that v is a critical point of I.
Step 2. Now we need to prove that \(v\neq0\). Assume that \(v=0\).
By Lemma 4.3 there exist a sequence \((y_{n})\subset\mathbb{R}^{3}\) and r and \(\eta>0\) such that \(|y_{n}|\rightarrow\infty\) as \(n\rightarrow\infty\) and
Without loss of generality, we may assume that \((y_{n})\subset\mathbb {Z}^{3}\). Then defining \(u_{n}(x)=v_{n}(x+y_{n})\), \(n\in\mathbb{N}\), we have \(\|u_{n}\|_{0}=\|v_{n}\|_{0}\) for all \(n\in\mathbb{N}\). Thus, taking a subsequence if necessary, there exists \(u\in H^{1}(\mathbb {R}^{3})\) such that
From (5.4) we get that \(u\neq0\).
We claim that u is a critical point of \(I_{0}\). Indeed, we first observe that
as \(n\rightarrow\infty\). Effectively, writing
From the arguments used before we deduce that
and
as \(n\rightarrow\infty\). Hence, to prove (5.5), it remains to analyze the last integral in (5.6). Note that
Now, by condition \((G_{4})\)(ii) and the arguments used in the proof of (5.3) we get \(\widetilde{\psi}\in L^{1}(\varOmega)\), \(\varOmega =\operatorname{supp} z\), such that
Hence, applying the Lebesgue dominated convergence theorem once more, we obtain
in \(L^{1}(\varOmega)\). The claim (5.3) and the Lebesgue dominated convergence theorem also yield
in \(L^{1}(\varOmega)\). Furthermore, from (5.3), (5.8), and the Lebesgue dominated convergence theorem we again have
in \(L^{1}(\varOmega)\). Consequently,
in \(L^{1}(\varOmega)\). Relations (5.7), (5.9), and (5.10) establish the verification of (5.5). On the other hand, considering \(z_{n}(x)=z(x-y_{n})\) for all \(n\in\mathbb{N}\), in view of the periodicities of \(V_{0}\), \(K_{0}\), and \(g_{0}\), we get
Moreover, applying Lemma 4.4, we have
as \(n\rightarrow\infty\). Since \(\|z_{n}\|_{0}=\|z\|_{0}\) for all \(n\in \mathbb{N}\), by (5.11) and (5.12) we conclude that
as \(n\rightarrow\infty\). This limit, (5.11), and (5.5) show that u is a critical point of \(I_{0}\), as claimed. □
Step 3.
Claim
\(I_{0}(u)\leq c\).
To show this fact, we apply the definition of \(\{u_{n}\}\) to get
Now, taking a subsequence if necessary, by property (8) of Lemma 3.1 and Fatou’s lemma we obtain
We observe that as \(v_{n}\rightharpoonup0\) weakly in \(H^{1}(\mathbb {R}^{3})\), by Lemma 4.4 with \(h=V-V_{0}\) and Lemma 3.1(6) we get
We also claim that
and
Assuming that the claims are true, we use (5.1), (5.13)–(5.17), and the fact that u is a critical point of \(I_{0}\) to get
that is, \(I_{0}(u)\leq c\).
Step 4. We will verify that \({\max_{t\geq 0}}I_{0}(tu)=I_{0}(u)\). Define the function \(\eta(t):=I_{0}(tu)\) for \(t\geq0\). Since u is a critical point of \(I_{0}\), it follows that \(u>0\) (see the argument further). Hence by Fubini’s theorem we may write
Note that, for fixed \(x\in\mathbb{R}^{3}\), the function \(\xi: (0, +\infty\rightarrow\mathbb{R})\) defined by
is increasing. Indeed, this is a direct consequence of \((G_{4})\)(iii) and Corollary 3.1(2) applied to
Now we observe that \(\eta'(1)=0\) since u is a critical point of \(I_{0}\). Moreover, we have that \(\eta'(t)>0\) for \(0< t<1\) and \(\eta '(t)<0\) for \(t>1\). Therefore
Consequently, by (5.17), \((G_{4})\)(i), and the definition of c we have
This implies that there exists \(\gamma\in\varGamma\) such that (2.3) holds. In view of Theorem 2.2, we possess a critical point v on level c. From \(c\geq\sigma>0=I(0)\) we have that v is a nonzero critical point of I. This concludes the proof of Theorem 1.1, except for claims (5.16) and (5.17).
Step 5. We will now show that \(v>0\) in \(\mathbb{R}^{3}\). Since \(v\geq0\) in \(\mathbb{R}^{3}\) is a weak solution of the equation
where
by conditions \((V)\), \((K)\), \((G_{1})\), and \((G_{2})\) we have
thanks to Lemma 3.1(2), (7), and (10). Let \(p_{0}=\frac {12}{q_{1}-1}>1\). Since \(v\in L^{6}(\mathbb{R}^{3})\), it follows that \(w\in L^{p_{0}}(B_{R})\) with arbitrary \(R>0\). By elliptic regularity theory, \(v\in W^{2, p_{0}}(B_{R})\), Using a standard bootstrap argument, we may conclude that \(v\in W^{2, p_{0}}(B_{R})\) for every \(p_{0}\geq2\). Hence \(v\in C_{\mathrm{loc}}^{1, \alpha}\) for some \(\alpha\in(0, 1)\). Now suppose by contradiction that there is \(x_{0}\in\mathbb {R}^{3}\) such that \(v(x_{0})=0\). Equation (3.4) can be rewritten as
where \(c(x)=V(x)f'(v)+K(x)\phi_{f(v)}f'(v)>0\) for \(x\in\mathbb{R}^{3}\) is a continuous function. We also note that from Lemma 3.1(3) we have \(v-f(v)\geq0\). Hence, applying the strong maximum principle for weak solutions (see [22]), we obtain that \(v\equiv0\), which contradicts the fact that \(v\not\equiv0\).
Step 6. Finally, we conclude the proof of Theorem 1.1 by showing that (5.16) and (5.17) hold. Similarly to the proof of Lemma 4.4(3), we have
and
strongly in \(L^{1}(\mathbb{R}^{3})\) as \(n\rightarrow\infty\). Consequently, by the periodicity of \(K_{0}\),
Moreover, by Lemma 3.1(6), for \(s\geq0\), we have
Claim
\(\int_{\mathbb{R}^{3}}K(x)\phi_{u_{n}}u_{n}^{2}\,dx\rightarrow \int_{\mathbb{R}^{3}}K(x)\phi_{u}u^{2}\,dx\).
Proof
By the result in [7], if \(u_{n}\rightharpoonup u\) in \(H^{1}(\mathbb{R}^{3})\), then we have \(u_{n}^{2}\rightharpoonup u^{2}\) in \(L^{3}(\mathbb{R}^{3})\) and \(\phi_{u_{n}}\rightharpoonup\phi_{u}\) in \(D^{1, 2}(\mathbb{R}^{3})\), so that \(\phi_{u_{n}}\rightharpoonup\phi _{u}\) in \(L^{6}(\mathbb{R}^{3})\). Therefore
Since
so that \(K(x)\phi_{u_{n}}\in L^{\frac{3}{2}}(\mathbb{R}^{3})\), we have \(\int_{\mathbb{R}^{3}}K(x)\phi_{u_{n}}(u_{n}^{2}-u^{2})\,dx\rightarrow 0\). Similarly,
so that \(K(x)u^{2}\in L^{\frac{6}{5}}(\mathbb{R}^{3})\), and thus \(\int _{\mathbb{R}^{3}}K(x)(\phi_{u_{n}}-\phi_{u})u^{2}\,dx\rightarrow0\). □
We obtain \(\int_{\mathbb{R}^{3}}K_{0}(x)\widetilde{\phi }_{u_{n}}u_{n}^{2}\,dx\rightarrow\int_{\mathbb{R}^{3}}K_{0}(x)\widetilde {\phi}_{u}u^{2}\,dx\) in the same way. Thus by Fatou’s lemma we have
Relations (5.19) and (5.20) conclude the verification of (5.16). The proof of (5.17) can be found in [34]. The proof of Theorem 1.1 is completed. □
Proof of Theorem 1.2
We argue as in the initial steps of the proof of Theorem 1.1. Since \(g_{0}\) satisfies \((G_{1})\), \((G_{2})\), and \((G)\), applying Corollary 4.1, we can find a sequence \(\{v_{n}\}\subset H^{1}(\mathbb{R}^{3})\) such that
where c is given by Theorem 2.1. Because of Lemma 4.2, we may suppose, without loss of generality, that \(v_{n}\rightharpoonup v\) weakly in \(H^{1}(\mathbb{R}^{3})\). From this and (3.6) we have that v is a critical point of \(I_{0}\), that is, \(I'_{0}(v)=0\). To finish the proof of the theorem, it suffices to assume that \(v=0\).
By Lemma 4.3 there exist a sequence \((y_{n})\subset\mathbb {R}^{3}\) and \(r, \eta>0\) such that \(|y_{n}|\rightarrow\infty\) as \(n \rightarrow\infty\) and
Without loss of generality we may assume that \((y_{n})\subset\mathbb {Z}\). Defining \(u_{n}(x)=v_{n}(x+y_{n})\), \(n\in\mathbb{N}\), we have that \(\|u_{n}\|_{0}=\|v_{n}\|_{0}\) for all \(n\in\mathbb{N}\). Consequently, taking a subsequence if necessary, there exists \(u\in H^{1}(\mathbb{R}^{3})\) such that \(u_{n}\rightharpoonup u\) weakly in \(H^{1}(\mathbb{R}^{3})\), \(u_{n}\rightarrow u\) strongly in \(L^{2}_{loc}(\mathbb{R}^{3})\), and \(u_{n}(x)\rightarrow u(x)\) almost everywhere on \(\mathbb{R}^{3}\). We claim that u is a critical point of \(I_{0}\). Indeed, given \(w\in H^{1}(\mathbb{R}^{3})\), from \((V)\), \((K)\), \((G_{1})\), and \((G_{2})\) we get
On the other hand, considering \(w_{n}(x)=w(x-y_{n})\) for all \(n\in \mathbb{N}\), in view of the periodicities of \(V_{0}\), \(K_{0}\), and \(g_{0}\), we get
Consequently, from (5.21) and the fact that \(\|w_{n}\|_{0}=\|w\| _{0}\) for all \(n\in\mathbb{N}\) we conclude that
This limit, together with (5.23), shows that u is a critical point of \(I_{0}\). The claim is proved. Furthermore, (5.22) implies that \(u\neq0\). Theorem 1.2 is proved. □
References
Alves, C.O., do Ó, J.M., Miyagaki, O.H.: On nonlinear perturbations of a periodic in \(\mathbb{R}^{2}\) involving critical growth. Nonlinear Anal. 56, 781–791 (2004)
Alves, C.O., Souto, M.A.S., Soares, S.H.M.: Schrödinger–Poisson equations without Ambrosetti–Rabinowitz condition. J. Math. Anal. Appl. 377, 584–592 (2011)
Ambrosetti, A., Rabinowitz, P.H.: Dual variational methods in critical point theory and applications. J. Funct. Anal. 14, 349–381 (1973)
Azzollini, A., Pomponio, A.: Ground state solutions for the nonlinear Schrödinger–Maxwell equations. J. Math. Anal. Appl. 345, 90–108 (2008)
Benmilh, K., Kavian, O.: Existence and asymptotic behaviour of standing waves for quasilinear Schrödinger–Poisson systems in \(\mathbb{R}^{3}\). Ann. Inst. Henri Poincaré, Anal. Non Linéaire 25, 449–470 (2008)
Berestycki, H., Lions, P.L.: Nonlinear scalar field equations, I: existence of a ground state. Arch. Ration. Mech. Anal. 82, 313–346 (1982)
Cerami, G., Vaira, G.: Positive solutions for some non-autonomous Schrödinger–Poisson systems. J. Differ. Equ. 248, 521–543 (2010)
Chen, L.Z., Feng, X.J., Hao, X.N.: The existence of sign-changing solution for a class of quasilinear Schrödinger–Poisson systems via perturbation method. Bound. Value Probl. 2019, Article ID 159 (2019)
Chen, S.T., Tang, X.H.: On the planar Schrödinger–Poisson system with the axially symmetric potential. J. Differ. Equ. 268, 945–976 (2020)
Colin, G.M.: A multiplicity result for nonlinear Schrödinger–Maxwell equation. Commun. Appl. Anal. 7, 417–423 (2003)
Colin, G.M., Jeanjean, L.: Solutions for a quasilinear Schrödinger equation: a dual approach. Nonlinear Anal. 56, 213–226 (2004)
D’Ambrosio, L., Mitidieri, E.: Quasilinear elliptic systems in divergence form associated to general nonlinearities. Adv. Nonlinear Anal. 7, 425–447 (2018)
D’Aprile, T., Mugnai, D.: Solitary waves for nonlinear Klein–Gordon–Maxwell and Schrödinger–Maxwell equations. Proc. R. Soc. Edinb., Sect. A 134, 893–906 (2004)
D’Aprile, T., Wei, J.C.: On bound states concentrating on sphere for the Maxwell–Schrödinger equations. SIAM J. Math. Anal. 15, 321–342 (2005)
Ding, L., Lin, L., Meng, Y.J., Zhuang, G.L.: Existence and asymptotic behavior of ground state for quasilinear Schrödinger–Poisson system in \(\mathbb{R}^{3}\). Topol. Methods Nonlinear Anal. 47, 241–264 (2016)
do Ó, J.M., Severo, U.B.: Quasilinear Schrödinger equations involving concave and convex nonlinearities. Commun. Pure Appl. Anal. 8, 621–644 (2009)
do Ó, J.M., Severo, U.B.: Solitary waves for a class of quasilinear Schrödinger equations in dimension two. Calc. Var. Partial Differ. Equ. 38, 275–315 (2010)
Fang, X.D., Szulkin, A.: Multiple solutions for a quasilinear Schrödinger equation. J. Differ. Equ. 254, 2015–2032 (2013)
Figueiredo, G.M., Siciliano, G.: Existence and asymptotic behaviour of solutions for a quasi-linear Schrödinger–Poisson system under a critical nonlinearity (2017). arXiv:1707.05353
Figueiredo, G.M., Siciliano, G.: Quasi-linear Schrödinger–Poisson system under an exponential critical nonlinearity: existence and asymptotic behaviour of solutions. Arch. Math. 112, 313–327 (2019)
Fiscella, A.: A fractional Kirchhoff problem involving a singular term and a critical nonlinearity. Adv. Nonlinear Anal. 8, 645–660 (2019)
Gilbarg, D., Trudinger, N.S.: Elliptic Partial Differential Equations of Second Order. Springer, Berlin (1983)
Ianni, I.: Solutions of the Schrödinger–Poisson problem concentrating on spheres, part II: existence. Math. Models Methods Appl. Sci. 19, 877–910 (2009)
Ianni, I., Varia, G.: Solutions of the Schrödinger–Poisson problem concentrating on spheres, part I: necessary condition. Math. Models Methods Appl. Sci. 19, 707–720 (2009)
Illner, R., Kavian, O., Lange, H.: Stationary solutions of quasi-linear Schrödinger–Poisson system. J. Differ. Equ. 145, 1–16 (1998)
Jabri, Y.: The Mountain Pass Theorem—Variants, Generalizations and Some Applications. Encyclopedia of Mathematics and Its Applications. Cambridge University Press, Cambridge (2003)
Ji, C., Fang, F., Zhang, B.L.: Least energy sign-changing solutions for the nonlinear Schrödinger–Poisson system. Electron. J. Differ. Equ. 2017, Article ID 282 (2017)
Ji, C., Fang, F., Zhang, B.L.: A multiplicity result for asymptotically linear Kirchhoff equations. Adv. Nonlinear Anal. 8, 267–277 (2019)
Li, W., Rădulescu, V., Zhang, B.L.: Infinitely many solutions for fractional Kirchhoff–Schrödinger–Poisson systems. J. Math. Phys. 60, Article ID 011506 (2019)
Liu, J.Q., Wang, L.Q., Wang, Z.-Q.: Soliton solutions for quasilinear Schrödinger equations II. J. Differ. Equ. 187, 473–493 (2003)
Mao, A.M., Chang, H.J.: Schrödinger–Poisson system with radial potentials and discontinuous quasilinear nonlinearity. Topol. Methods Nonlinear Anal. 51, 79–89 (2018)
Mingqi, X., Rădulescu, V.D., Zhang, B.L.: A critical fractional Choquard–Kirchhoff problem with magnetic field. Commun. Contemp. Math. 21, Article ID 185004 (2019)
Shen, L.J.: Ground state solutions for a class of generalized quasilinear Schrödinger–Poisson systems. Bound. Value Probl. 2018, Article ID 44 (2018)
Silva, E.A.B., Vieira, G.F.: Quasilinear asymptotically periodic Schrödinger equations with subcritical growth. Nonlinear Anal. 72, 2935–2949 (2010)
Tang, X.: Non-Nehari manifold method for asymptotically periodic Schrödinger equations. Sci. China Math. 58, 715–728 (2015)
Tang, X., Lin, X.Y., Yu, J.S.: Existence of a bound state solution for quasilinear Schrödinger equations. J. Dyn. Differ. Equ. 31, 369–383 (2019)
Willem, M.: Minimax Theorems. Birkhäuser, Boston (1996)
Xiang, M., Wang, F.: Fractional Schrödinger–Poisson–Kirchhoff type systems involving critical nonlinearities. Nonlinear Anal. 164, 1–26 (2017)
Xiang, M., Zhang, B.L., Yang, D.: Multiplicity results for variable-order fractional Laplacian equations with variable growth. Nonlinear Anal. 178, 190–204 (2019)
Xiang, M.Q., Rădulescu, V.D., Zhang, B.L.: Fractional Kirchhoff problems with critical Trudinger–Moser nonlinearity. Calc. Var. Partial Differ. Equ. 58, Article ID 57 (2019)
Xiang, M.Q., Rădulescu, V.D., Zhang, B.L.: Nonlocal Kirchhoff problems with singular exponential nonlinearity. Appl. Math. Optim. (2020). https://doi.org/10.1007/s00245-020-09666-3
Xiang, M.Q., Zhang, B.L., Rădulescu, V.D.: Superlinear Schrödinger–Kirchhoff type problems involving the fractional p-Laplacian and critical exponent. Adv. Nonlinear Anal. 9, 690–709 (2020)
Xue, Y.F., Tang, C.L.: Existence of a bound state solution for quasilinear Schrödinger equations. Adv. Nonlinear Anal. 8, 323–338 (2019)
Ye, Y.W., Tang, C.L.: Existence and multiplicity of solutions for Schrödinger–Poisson equations with sign-changing potential. Calc. Var. Partial Differ. Equ. 53, 383–411 (2015)
Zhang, H., Xu, J.X., Zhang, F.B.: Positive ground states for asymptotically periodic Schrödinger–Poisson systems. Math. Methods Appl. Sci. 36, 427–439 (2013)
Zhang, H., Xu, J.X., Zhang, F.B., Du, M.: Ground states for asymptotically periodic Schrödinger–Poisson systems with critical growth. Cent. Eur. J. Math. 12, 1484–1499 (2014)
Zhao, L., Liu, H.D., Zhao, F.K.: Existence and concentration of solutions for the Schrödinger–Poisson equations with steep well potential. J. Differ. Equ. 255, 1–23 (2013)
Acknowledgements
The authors would like to thank the referees for valuable comments and suggestions for this manuscript.
Availability of data and materials
We declare that materials described in the manuscript are freely available to any scientist wishing to use them for noncommercial purposes, without breaching participant confidentiality.
Funding
JZ was supported by the Natural Science Foundation of Inner Mongolia Autonomous Region (No. 2019MS01004) and the National Natural Science Foundation of China (No. 11962025). MY was supported by the Natural Science Foundation of Shandong Province (No. ZR2019PA020).
Author information
Authors and Affiliations
Contributions
The authors declare that the study was realized in collaboration with the same responsibility. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Zhang, J., Guo, L. & Yang, M. Quasilinear asymptotically periodic Schrödinger–Poisson system with subcritical growth. Bound Value Probl 2020, 109 (2020). https://doi.org/10.1186/s13661-020-01404-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-020-01404-6