The following Schrödinger-Poisson system:
$$ \textstyle\begin{cases} -\Delta u +V(x)u+K(x)\phi(x)u =f(x,u)+g(x), &x\in\mathbb{R}^{3}, \\ -\Delta\phi=K(x)u^{2}, \qquad \lim_{|x|\rightarrow+\infty}\phi(x)=0, & x\in\mathbb{R}^{3}, \end{cases} $$
(1.1)
arises in several interesting physical contexts. It is well known that (1.1) has a strong physical meaning since it appears in quantum mechanical models (see [1, 2]) and in semiconductor theory (see [3–6]). From the point view of quantum mechanics, the system (1.1) describes the mutual interactions of many particles [7]. Indeed, if the terms \(f(x,u)\) and \(g(x)\) are replaced with 0, then problem (1.1) becomes the Schrödinger-Poisson system. In some recent work (see [8–16]), different nonlinearities are added to the Schrödinger-Poisson equation, giving rise to the so-called nonlinear Schrödinger-Poisson system. These nonlinear terms have been traditionally used in the Schrödinger equation to model the interaction among particles.
Many mathematicians have devoted their efforts to the study of (1.1) with various nonlinearities \(f(x,u)\). We recall some of them as follows.
The case of \(g\equiv0\), that is, the homogeneous case, has been studied widely in [6, 8, 11, 17–25]. In 2010, Cerami and Vaira [10] study system (1.1) in the case of \(f(x,u)=a(x)|u|^{p-2}u\) with \(4< p<6\) and \(a(x)>0\). In order to recover the compactness of the embedding of \(H^{1}(\mathbb{R}^{3})\) into the Lebesgue space \(L^{s}(\mathbb{R}^{3})\), \(s\in[2,6)\), they establish a global compactness lemma. They prove the existence of positive ground state and bound state solutions without requiring any symmetry property on \(a(x)\) and \(K(x)\).
In 2012, Sun et al. [26] consider a more general case, that is, \(f(x,u)=a(x)\tilde{f}(u)\) where f̃ is asymptotically linear at infinity, i.e.
\(\tilde{f}(s)/s\rightarrow c\) as \(s\rightarrow+\infty\) with a suitable constant c. They establish a compactness lemma different from that in [10] and prove the existence of ground state solutions. In [27], Ye and Tang study the existence and multiplicity of solutions for homogeneous system of (1.1) when the potential V may change sign and the nonlinear term f is superlinear or sublinear in u as \(|u|\rightarrow\infty\). For the Schrödinger-Poisson system with sign-changing potential, see [14, 28].
Huang et al. [12] study the case that \(f(x,u)\) is a combination of a superlinear term and a linear term. More precisely, \(f(x,u)=k_{1}(x)|u|^{p-2}u+\mu h_{1}(x)u\), where \(4< p<6\) and \(\mu>0\), \(k_{1}\in C(\mathbb{R}^{3})\), \(k_{1}\) changes sign in \(\mathbb{R}^{3}\) and \(\lim_{|x|\rightarrow+\infty}k_{1}(x)=k_{\infty}<0\). They prove the existence of at least two positive solutions in the case that \(\mu>\mu_{1}\) and near \(\mu_{1}\), where \(\mu_{1}\) is the first eigenvalue of \(-\Delta+\mathrm{id}\) in \(H^{1}(\mathbb{R}^{3})\) and with weight function \(h_{1}\). In [29, 30], the authors consider the critical case of \(p=6\); in [31] one studies the case of \(p=4\).
Sun et al. [32] get infinitely many solutions for (1.1), where we have the nonlinearity \(f(x,u)=k_{2}(x)|u|^{q-2}u-h_{2}(x)|u|^{l-2}u\), \(1< q<2<l<\infty\), i.e. the nonlinearity involving a combination of concave and convex terms. For more results on the effect of concave and convex terms of elliptic equations, see [33, 34] and the references therein.
Next, we consider the nonhomogeneous case of (1.1), that is, \(g\not\equiv0\). The existence of radially symmetric solutions is obtained for above nonhomogeneous system in [23]. Chen and Tang [35] obtain two solutions for the nonhomogeneous system with \(f(x,u)\) satisfying Amborosetti-Rabinowitz type condition and V being non-radially symmetric. In [36, 37], the system with asymptotically linear and 3-linear nonlinearity is considered. For more results on the nonhomogeneous case, see [38, 39] and the references therein.
Motivated by the work mentioned above, in the present paper, we first handle the sublinear case, and hence make the following assumptions:
- (V1):
-
\(V(x)\in C(\mathbb{R}^{3}, \mathbb{R})\) satisfies \(\inf_{x\in \mathbb{R}^{3}} V(x)=a_{1}>0\);
- (V2):
-
for any \(M>0\), \(\operatorname{meas} \{x\in\mathbb{R}^{3}: V(x)< M\}<+\infty\), where meas denotes the Lebesgue measures;
- (K):
-
\(K(x)\in L^{2}(\mathbb{R}^{3} )\cup L^{\infty}(\mathbb{R}^{3})\) and \(K(x)\geq0\) for all \(x\in\mathbb{R}^{3}\);
- (F):
-
there exist constants \(\sigma, \gamma\in(1,2)\) and functions \(A\in L^{2/(2-\sigma)}(\mathbb{R}^{3}, \mathbb{R}^{+})\), \(B\in L^{2/(2-\gamma)}(\mathbb{R}^{3}, \mathbb{R}^{+})\) such that \(|f(x,u)|\leq A(x)|u|^{\sigma-1}+B(x)|u|^{\gamma-1}\), \(\forall(x,u)\in (\mathbb{R}^{3}, \mathbb{R})\);
- (G):
-
\(g(x)\in L^{2}(\mathbb{R}^{3})\) and \(g(x)\geq0\) for a.e. \(x\in\mathbb{R}^{3}\).
Before stating our main result, we give several notations. Let \(H^{1}(\mathbb{R}^{3})\) be the usual Sobolev space endowed with the standard scalar and norm
$$(u,v)= \int_{\mathbb{R}^{3}} (\nabla u \nabla v+uv) \,dx; \qquad \|u\| ^{2}= \int_{\mathbb{R}^{3}} \bigl(|\nabla u|^{2}+ |u|^{2} \bigr)\,dx. $$
\(D^{1,2}(\mathbb{R}^{3})\) is the completion of \(C_{0}^{\infty}(\mathbb {R}^{3})\) with respect to the norm
$$ \|u\|_{D}^{2}:= \|u\|_{D^{1,2}(\mathbb{R}^{3})}^{2}= \int_{\mathbb{R}^{3}} |\nabla u|^{2} \,dx. $$
Let
$$ E:= \biggl\{ u\in H^{1}\bigl(\mathbb{R}^{3}\bigr): \int_{\mathbb{R}^{3}}\bigl(|\nabla u|^{2}+V(x)u^{2} \bigr)\,dx< \infty \biggr\} . $$
Then E is a Hilbert space with the inner product
$$ (u,v)_{E}= \int_{\mathbb{R}^{3}} \bigl(\nabla u\cdot\nabla v+V(x)uv \bigr)\,dx $$
and the norm \(\|u\|_{E}=(u,u)^{1/2}_{E}\). Obviously, the embedding \(E\hookrightarrow L^{s}(\mathbb{R}^{3})\) is continuous for any \(s\in [2,2^{\ast}]\). The norm on \(L^{s}=L^{s}(\mathbb{R}^{3})\) with \(1< s<\infty\) is given by \(|u|^{s}_{s}=\int_{\mathbb{R}^{3}}|u|^{s}\, dx\).
Throughout this paper, the letters \(C_{i}\), \(d_{i}\) will be used to denote various positive constants which may vary from line to line and are not essential to the problem. We denote by ‘⇀’ weak convergence and by ‘→’ strong convergence. Also if we take a subsequence of a sequence \(\{ u_{n}\}\), we shall denote it again \(\{u_{n}\}\). We use \(o(1)\) to denote any quantity which tends to zero when \(n\rightarrow\infty\).
Now we state our main result.
Theorem 1.1
(Sublinear)
Assume that (V1), (V2), (K), (F), and (G) are satisfied. Then problem (1.1) possesses at least one nontrivial solution.
Remark 1
It is not difficult to see that a function f satisfies our assumption (F). For example, let
$$f(x,u)= \textstyle\begin{cases} |x|e^{-|x|^{2}}[\sigma|u|^{\sigma-2}u \sin^{2}(\frac {1}{|u|^{\varrho}} )-\varrho|u|^{\sigma-\varrho-2}\sin(\frac {2}{|u|^{\varrho}})], & t\neq0, \\ 0, & t=0, \end{cases} $$
where \(\varrho>0\) small enough and \(\sigma\in(1+\varrho, 2)\).
Remark 2
To the best of our knowledge, it seems that Theorem 1.1 is the first result about the existence of solutions for the nonhomogeneous Schrödinger-Poisson equations with sublinear case.
In the second part of this paper, we deal with the following nonhomogeneous Schrödinger-Poisson system:
$$ \textstyle\begin{cases} -\Delta u +V(x)u+\phi(x)u =k(x)|u|^{q-2}u-h(x)|u|^{p-2}u+g(x), &x\in \mathbb{R}^{3}, \\ -\Delta\phi=u^{2}, \qquad \lim_{|x|\rightarrow+\infty}\phi(x)=0, & x\in\mathbb{R}^{3}, \end{cases} $$
(1.2)
where \(1< q<2<p<4\), i.e. the nonlinearity of this problem may involve a combination of concave and convex terms.
We assume that \(k(x)\) and \(h(x)\) are measurable functions satisfying the following conditions:
- (k):
-
\(k(x)\in L^{6/(6-q)}(\mathbb{R}^{3} )\cap L^{\infty}(\mathbb {R}^{3})\) and \(k(x)\geq0\) is not identically zero for a.e. \(x\in\mathbb{R}^{3}\);
- (h):
-
\(h(x)\in L^{\infty}(\mathbb{R}^{3})\) and \(h(x)>0\) for a.e. \(x\in \mathbb{R}^{3}\).
Theorem 1.2
Let
\(1< q<2<p<4\), (V1), (V2), (k), (h), and
\((G)\)
hold, then problem (1.2) admits at least one nontrivial solution.
Remark 3
The condition in (V2), which implies the compactness of embedding of the working space E and contains the coercivity condition, \(V(x)\rightarrow\infty\) as \(|x|\rightarrow\infty\), is first introduced by Bartsch and Wang in [40] to overcome the lack of compactness. We are not sure whether Theorem 1.2 holds without the condition (V2).
Remark 4
In [23], the author obtains the existence of multiple radially symmetric solutions on \(\mathbb{R}^{3}\) for (1.2). In our Theorem 1.2, we do not need the radially symmetric on the potential V, so we get the non-radially symmetrical solution for system (1.2) with the concave and convex nonlinearities.
Remark 5
In order to get our results, we have to solve some difficulties. The main difficulty is the loss of compactness of the Sobolev embedding \(H^{1}(\mathbb{R}^{3})\) into \(L^{s}(\mathbb{R}^{3})\), \(s\in [2, 6]\), since this problem is set on \(\mathbb{R}^{3}\). To recover the difficulty, some references use the radially symmetric function space, which possesses a compact embedding; see [41]. In our paper, we have the integrability of k and the assumption \(1< q<2\) to ensure the space E is compactly embedding in the weighted Lebesgue space (see the following Lemma 2.1).
Remark 6
In [42], the authors first get two solutions for the nonhomogeneous Schrödinger-Poisson equations on \(\mathbb{R}^{3}\) with \(1< q<2\), \(4< p<6\). Theorem 1.2 can be regarded as complementary work to Wang and Ma (2015) [42].