Skip to main content

On the existence of solutions for nonhomogeneous Schrödinger-Poisson system

Abstract

In this paper, we study the existence of solutions for the following nonhomogeneous Schrödinger-Poisson systems:

$$ (*) \quad \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} $$

where \(f(x,u)\) is either sublinear in u as \(|u|\rightarrow\infty\) or a combination of concave and convex terms. Under some suitable assumptions, the existence of solutions is proved by using critical point theory.

1 Introduction

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 [36]). 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 [816]), 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, 1725]. 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 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].

2 Nonlinear Schrödinger-Poisson equations with sublinear case

In this section, we consider the following nonhomogeneous 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}, & x\in\mathbb{R}^{3}, \end{cases} $$
(2.1)

where \(g\in L^{2}(\mathbb{R}^{3})\), \(g\not\equiv0\), V satisfies (V1)-(V2), and f satisfies (F).

In Section 1, we know that the embedding \(E\hookrightarrow L^{s}(\mathbb {R}^{3})\) is continuous, for any \(s\in[2, 2^{\ast}]\). Furthermore, we have the following result.

Lemma 2.1

([43], Lemma 3.4)

Under assumption (V1) and (V2), the embedding \(E\hookrightarrow L^{s}(\mathbb{R}^{3})\) is compact for any \(s\in[2, 2^{\ast})\).

By Lemma 2.1, there exists \(d_{s}>0\) such that

$$ |u|_{s}\leq d_{s}\|u\|_{E}, \quad \forall u\in E. $$
(2.2)

It is well known that problem (2.1) can be reduced to a single equation with a nonlocal term; see [11]. In fact, for every \(u\in E\), the Lax-Milgram theorem implies that there exists a unique \(\phi_{u} \in D^{1,2}(\mathbb{R}^{3})\) such that

$$ -\Delta\phi_{u}=K(x)u^{2} $$
(2.3)

with

$$ \phi_{u}(x) = \frac{1}{4\pi} \int_{\mathbb{R}^{3}}\frac{K(y)u^{2}(y)}{|x-y|}\,dy. $$

If \(K\in L^{\infty}(\mathbb{R}^{3})\), by (2.3), the Hölder inequality, and the Sobolev inequality, we get

$$ \|\phi_{u}\|^{2}_{D}= \int_{\mathbb{R}^{3}}K(x)\phi_{u}u^{2}\,dx\leq\bar {S}^{-2}d^{4}_{12/5}|K|^{2}_{\infty} \|u\|^{4}_{E}. $$

Similarly, if \(K\in L^{2}(\mathbb{R}^{3})\),

$$\|\phi_{u}\|^{2}_{D}= \int_{\mathbb{R}^{3}}K(x)\phi_{u}u^{2}\,dx\leq\bar {S}^{-2}d^{4}_{6}|K|^{2}_{2} \|u\|^{4}_{E}. $$

Thus, there exists \(C_{0}>0\) such that

$$ \|\phi_{u}\|^{2}_{D}= \int_{\mathbb{R}^{3}}K(x)\phi_{u}u^{2}\,dx \leq C_{0}\|u\|^{4}_{E},\quad \forall K\in L^{2}\bigl(\mathbb{R}^{3}\bigr)\cup L^{\infty}\bigl( \mathbb{R}^{3}\bigr). $$
(2.4)

Now we consider the functional I on \((E, \|\cdot\|_{E})\):

$$ I(u)=\frac{1}{2} \int_{\mathbb{R}^{3}}\bigl(|\nabla u|^{2}+V(x)u^{2} \bigr)\,dx+\frac {1}{4} \int_{\mathbb{R}^{3}}K(x)\phi_{u}u^{2}\,dx-\varphi(u)- \int_{\mathbb{R}^{3}}g(x)u\,dx, $$

where \(\varphi(u)=\int_{\mathbb{R}^{3}}F(x,u)\,dx\).

It follows from (F) that

$$ \bigl\vert F(x,u)\bigr\vert \leq A(x)|u|^{\sigma}+B(x)|u|^{\gamma}, \quad \forall(x,u)\in \mathbb{R}^{3}\times\mathbb{R}, $$
(2.5)

by which, together with (2.4) and the Hölder inequality, we have

$$\begin{aligned} \int_{\mathbb{R}^{3}}F(x,u)\,dx &\leq \int_{\mathbb{R}^{3}}\bigl(A(x)|u|^{\sigma }+B(x)|u|^{\gamma} \bigr)\,dx \\ &\leq|A|_{\frac{2}{2-\sigma}}|u|^{\sigma}_{2}+|B|_{\frac{2}{2-\gamma }}|u|^{\gamma}_{2} \\ &\leq|A|_{\frac{2}{2-\sigma}}d^{\sigma}_{2}\|u\|^{\sigma}_{E}+|B|_{\frac {2}{2-\gamma}}d^{\gamma}_{2} \|u\|^{\gamma}_{E} \\ &< +\infty. \end{aligned}$$
(2.6)

Therefore, φ and I are well defined. In addition, we need the following lemmas.

Lemma 2.2

([27], Lemma 4.1)

Assume that (V1), (V2), and (F) are satisfied and \(u_{n}\rightharpoonup u\) in E, then

$$ f(x,u_{n})\rightarrow f(x,u)\quad \textit{in } L^{2}\bigl( \mathbb{R}^{3}\bigr). $$

Lemma 2.3

([27], Lemma 4.2)

Assume that (V2), (K), and (F) hold. Then \(\varphi\in C^{1}(E,\mathbb{R})\) and \(\varphi^{\prime}: E\rightarrow E^{\ast}\) (the dual space of E) is compact, and hence \(I\in C^{1}(E,\mathbb{R})\),

$$ \begin{aligned} &\bigl\langle \varphi^{\prime}(u), v\bigr\rangle = \int_{\mathbb {R}^{3}}f(x,u)v\, dx, \\ &\bigl\langle I^{\prime}(u), v\bigr\rangle = \int_{\mathbb{R}^{3}}\bigl(\nabla u\nabla v+V(x)uv+K(x) \phi_{u}uv-f(x,u)v -g(x)v\bigr)\,dx \end{aligned} $$
(2.7)

for all \(u,v\in E\). Hence, if \(u\in E\) is a critical point of I, then \((u,\phi_{u})\in E\times D^{1,2}(\mathbb{R}^{3})\) is a solution of problem (2.1).

We refer the reader to [3] and [11] for the details.

Now we give a proposition, which will be applied to prove Theorem 1.1. Recall that \(I\in C^{1}(E,\mathbb{R})\) is said to satisfy the \((PS)\)-condition if any sequence \(\{u_{j}\}_{j\in\mathbb{N}}\) is bounded and \(I^{\prime}(u_{j})\rightarrow0\) as \(j\rightarrow+\infty\), possesses a convergent subsequence in E.

Proposition 2.4

([44, 45])

Let E be a real Banach space and \(I\in C^{1}(E,\mathbb{R})\) satisfy the \((PS)\)-condition. If I is bounded from below, then \(c=\inf_{E} I\) is a critical value of I.

Lemma 2.5

Under the assumptions of Theorem  1.1, I is bounded from below and satisfies the \((PS)\)-condition.

Proof

By (K), (G), and (2.5), it follows that

$$ I(u)\geq\frac{1}{2}\|u\|^{2}_{E}-|A|_{\frac{2}{2-\sigma}}d^{\sigma}_{2} \|u\| ^{\sigma}_{E}-|B|_{\frac{2}{2-\gamma}}d^{\gamma}_{2} \|u\|^{\gamma}_{E},\quad \forall u\in E. $$

Noting that \(\sigma, \gamma\in(1,2)\), we have

$$ I(u)\rightarrow+\infty\quad \mbox{as } \|u\|_{E} \rightarrow\infty. $$
(2.8)

Thus I is bounded from below.

Let \(\{u_{n}\}\subset E\) be a \((PS)\)-sequence of I, i.e. \(\{I(u_{n})\}\) is bounded and \(I^{\prime}(u_{n})\rightarrow0\) as \(n\rightarrow+\infty\). By (2.8), \(\{u_{n}\}\) is bounded, and then \(u_{n}\rightharpoonup u\) in E for some \(u\in E\). Recall that

$$(xy)^{1/2}(x+y)\leq x^{2}+y^{2},\quad \forall x, y \geq0. $$

By \(-\Delta\phi_{u}=K(x)u^{2}\) and the Hölder inequality, we obtain

$$\begin{aligned}& \int_{\mathbb{R}^{3}}K(x) (\phi_{u_{n}}u_{n}u+ \phi_{u}u_{n}u)\,dx \\& \quad \leq \biggl( \int_{\mathbb{R}^{3}}K(x)\phi_{u_{n}}u^{2}_{n} \,dx \biggr)^{1/2} \biggl( \int_{\mathbb{R}^{3}}K(x)\phi_{u_{n}}u^{2}\,dx \biggr)^{1/2} \\& \qquad {} + \biggl( \int_{\mathbb{R}^{3}}K(x)\phi_{u}u^{2}_{n} \,dx \biggr)^{1/2} \biggl( \int _{\mathbb{R}^{3}}K(x)\phi_{u_{n}}u^{2}\,dx \biggr)^{1/2} \\& \quad = \biggl( \int_{\mathbb{R}^{3}}\nabla\phi_{u_{n}}\cdot\nabla \phi_{u}\,dx \biggr)^{1/2} \bigl(\Vert \phi_{u_{n}} \Vert _{D}+\|\phi_{u}\|_{D} \bigr) \\& \quad \leq\|\phi_{u_{n}}\|_{D}+\|\phi_{u} \|_{D} \\& \quad = \int_{\mathbb{R}^{3}}K(x) \bigl(\phi_{u_{n}}u^{2}_{n}+ \phi_{u}u^{2}\bigr)\,dx, \end{aligned}$$

which implies that

$$ \int_{\mathbb{R}^{3}}K(x) (\phi_{u_{n}}u_{n}- \phi_{u}u) (u_{n}-u)\,dx\geq0. $$

Since \(u_{n}\rightharpoonup u\) in \(L^{2}(\mathbb{R}^{3})\) and \(g\in L^{2}(\mathbb{R}^{3})\), we obtain \(\int_{\mathbb{R}^{3}}g(u_{n}-u)\,dx=o(1)\). This with Lemma 2.2 shows that

$$\begin{aligned} \Vert u_{n}-u\Vert ^{2}_{E} =&\bigl\langle I^{\prime}(u_{n})-I^{\prime}(u), u_{n}-u \bigr\rangle - \int_{\mathbb{R}^{3}}K(x) (\phi_{u_{n}}u_{n}- \phi_{u}u) (u_{n}-u)\,dx \\ &{}+ \int_{\mathbb{R}^{3}}\bigl(f(x,u_{n})-f(x,u)\bigr)\,dx \\ \leq&\bigl\Vert I^{\prime}(u_{n})\bigr\Vert _{E^{\ast}} \Vert u_{n}-u\Vert _{E}-\bigl\langle I^{\prime}(u), u_{n}-u \bigr\rangle \\ &{}+ \biggl( \int_{\mathbb{R}^{3}}\bigl\vert f(x,u_{n})-f(x,u)\bigr\vert ^{2}\,dx \biggr)^{1/2}\cdot |u_{n}-u|_{2} \\ \rightarrow&0. \end{aligned}$$

That is, \(u_{n}\rightarrow u\) as \(n\rightarrow\infty\). Hence the \((PS)\)-condition holds. The proof is complete. □

Proof of Theorem 1.1

Theorem 1.1 holds directly by Lemma 2.5 and Proposition 2.4. The proof is complete. □

3 Nonlinear term involving a combination of concave and convex terms

In this section, we consider 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} $$
(3.1)

where \(1< q<2<p<4\), i.e. the nonlinearity of this problem may involve a combination of concave and convex terms.

It is known that problem (3.1) can be reduced to a single equation see [11]. In fact, for every \(u\in E\), the Lax-Milgram theorem implies that there exists a unique \(\phi_{u} \in D^{1,2}(\mathbb{R}^{3})\) such that

$$ -\Delta\phi_{u}=u^{2}, \quad u\in \mathbb{R}^{3}, $$
(3.2)

with

$$\phi_{u}(x) = \frac{1}{4\pi} \int_{\mathbb{R}^{3}}\frac{u^{2}(y)}{|x-y|}\,dy. $$

By (3.2), the Hölder inequality, and the Sobolev inequality, we get

$$ \int_{\mathbb{R}^{3}}|\nabla\phi_{u}|^{2}\,dx= \int_{\mathbb{R}^{3}}\phi _{u}u^{2}\,dx \leq|u|^{2}_{12/5}\|\phi_{u}\|_{6}\leq C|u|^{2}_{12/5}\|\phi_{u}\|_{D}, $$

then

$$ \|\phi_{u}\|_{D}\leq C|u|^{2}_{12/5} $$

and

$$ \int_{\mathbb{R}^{3}}\phi_{u}u^{2}\,dx\leq C|u|^{4}_{12/5}\leq C\|u\|^{4}_{E}. $$
(3.3)

Therefore, problem (3.1) can be reduced to the following equation:

$$ -\Delta u+ V(x)u+\phi_{u} u =k(x)|u|^{q-2}u-h(x)|u|^{p-2}u+g(x), \quad x\in\mathbb{R}^{3}. $$

We introduce the functional \(J: E \rightarrow\mathbb{R}\) defined by

$$\begin{aligned} J(u) =& \frac{1}{2} \int_{\mathbb{R}^{3}}\bigl( |\nabla u|^{2}+ V(x)u^{2} \bigr)\,dx+\frac{1}{4} \int_{\mathbb{R}^{3}} \phi_{u} u^{2}\,dx - \frac{1}{q} \int_{\mathbb{R}^{3}} k(x) |u|^{q}\,dx \\ &{}+\frac{1}{p} \int_{\mathbb{R}^{3}} h(x) |u|^{p}\,dx- \int_{\mathbb {R}^{3}} g(x)u\,dx. \end{aligned}$$
(3.4)

By (3.3) and the conditions of Theorem 1.2, all the integrals in (3.4) are well defined and in \(C^{1}(E,\mathbb {R})\). Now, it is easy to verify that the weak solutions of (3.1) correspond to the critical points of \(J: E \rightarrow \mathbb{R}\) with derivative given by

$$\begin{aligned} \bigl\langle J^{\prime}(u), v\bigr\rangle =& \int_{\mathbb{R}^{3}}\bigl[\nabla u\nabla v+V(x)uv+\phi_{u} uv-k(x)|u|^{q-2}uv \\ &{}+h(x)|u|^{p-2}uv-g(x)v\bigr]\,dx. \end{aligned}$$

Lemma 3.1

Under the assumptions in Theorem  1.2, the functional J is coercive on E.

Proof

By (k), we have

$$ \int_{\mathbb{R}^{3}}k(x)|u|^{q}\,dx\leq|k|_{6/6-q}S^{-q/2} \|u\|^{q}_{E}. $$
(3.5)

For \(\|u\|_{E}\) large enough, by (3.5) we obtain

$$\begin{aligned} J(u)&= \frac{1}{2} \int_{\mathbb{R}^{3}}\bigl( |\nabla u|^{2}+ V(x)u^{2} \bigr)\,dx+\frac {1}{4} \int_{\mathbb{R}^{3}} \phi_{u} u^{2}\,dx - \frac{1}{q} \int_{\mathbb{R}^{3}} k(x) |u|^{q}\,dx \\ &\geq\frac{1}{2} \|u\|^{2}_{E}-\frac{1}{q}|k|_{6/(6-q)}S^{-q/2} \|u\| ^{q}_{E}-c|g|_{2}\|u\|_{E} \\ &\geq\frac{1}{2} \|u\|^{2}_{E}-c_{1}\|u \|^{q}_{E}-c|g|_{2}\|u\|_{E}\rightarrow +\infty, \end{aligned}$$

since \(1< q<2\). The proof is complete. □

Lemma 3.2

Assume that (V1), (V2), (k), (h), (G) hold, and \(\{u_{n}\}\subset E\) is a bounded \((PS)\)-sequence of J, then \(\{ u_{n}\}\) has a strongly convergent subsequence in E.

Proof

Consider a sequence \(\{u_{n}\}\) in E which satisfies

$$ J(u_{n})\rightarrow c,\qquad J^{\prime}(u_{n}) \rightarrow0 , \qquad \sup_{n} \|u_{n} \|_{E}< +\infty. $$

Going if necessary to a subsequence, we can assume that \(u_{n}\rightharpoonup u\) in E. In view of Lemma 2.1, \(u_{n}\rightarrow u\) in \(L^{s}(\mathbb{R}^{3})\) for any \(s\in[2,2^{\ast})\). By the derivative of J, we easily obtain

$$\begin{aligned} \|u_{n}-u\|^{2}_{E} =&\bigl\langle J^{\prime}(u_{n})-J^{\prime}(u), u_{n}-u \bigr\rangle + \int_{\mathbb{R}^{3}}k(x) \bigl(|u_{n}|^{q-1}-|u|^{q-1} \bigr) (u_{n}-u)\,dx \\ &{}- \int_{\mathbb{R}^{3}}h(x) \bigl(|u_{n}|^{p-1}-|u|^{p-1} \bigr) (u_{n}-u)\,dx- \int_{\mathbb {R}^{3}}(\phi_{u_{n}}u_{n}- \phi_{u}u) (u_{n}-u)\,dx. \end{aligned}$$

It is clear that

$$ \bigl\langle J^{\prime}(u_{n})-J^{\prime}(u), u_{n}-u \bigr\rangle \rightarrow0 \quad \mbox{as } n\rightarrow\infty. $$
(3.6)

By the Hölder inequality and the Sobolev inequality, we have

$$\begin{aligned} \biggl\vert \int_{\mathbb{R}^{3}}\phi_{u_{n}}u_{n}(u_{n}-u) \,dx \biggr\vert &\leq|\phi_{u_{n}}|_{6}|u_{n}|_{12/5}|u_{n}-u|_{12/5} \\ &\leq C_{1} \|\phi_{u_{n}}\|_{D}|u_{n}|_{12/5}|u_{n}-u|_{12/5} \\ &\leq C_{2} |u_{n}|^{3}_{12/5}|u_{n}-u|_{12/5} \rightarrow0, \end{aligned}$$

since \(u_{n}\rightarrow u\) in \(L^{s}(\mathbb{R}^{3})\) for any \(s\in[2,2^{\ast })\). We obtain

$$ \int_{\mathbb{R}^{3}}\phi_{u_{n}}u_{n}(u_{n}-u) \,dx \rightarrow0 \quad \mbox{as } n\rightarrow\infty. $$
(3.7)

Similarly we can also obtain

$$ \int_{\mathbb{R}^{3}}\phi_{u}u(u_{n}-u)\,dx \rightarrow0 \quad \mbox{as } n\rightarrow\infty. $$
(3.8)

By \(2< p<4\), (h), and the Hölder inequality, one has

$$\begin{aligned} \biggl\vert \int_{\mathbb{R}^{3}}h(x) \bigl(|u_{n}|^{p-1}-|u|^{p-1} \bigr) (u_{n}-u)\,dx \biggr\vert &\leq|h|_{\infty} \bigl(|u_{n}|_{p}^{p-1}+|u|_{p}^{p-1} \bigr)|u_{n}-u|_{p} \\ &\rightarrow0 \quad \mbox{as } n\rightarrow\infty. \end{aligned}$$
(3.9)

By \(1< q<2\), (k), and the Hölder inequality, one has

$$\begin{aligned}& \int_{\mathbb{R}^{3}}k(x)|u_{n}|^{q-1}(u_{n}-u) \,dx \\& \quad = \int_{\mathbb {R}^{3}}k(x)^{\frac{q-1}{q}}k(x)^{\frac {1}{q}}|u_{n}|^{q-1}(u_{n}-u) \,dx \\& \quad \leq|k|_{\infty}^{1-\frac{1}{q}} \biggl[ \int_{\mathbb{R}^{3}} \bigl(k(x)^{\frac{1}{q}}|u_{n}|^{q-1} \bigr)^{\frac{6}{6-q}}\,dx \biggr]^{\frac {6-q}{6}} \biggl( \int_{\mathbb{R}^{3}}(u_{n}-u)^{\frac{6}{q}} \,dx \biggr)^{\frac{q}{6}} \\& \quad \leq|k|_{\infty}^{1-\frac{1}{q}} \biggl( \int_{\mathbb{R}^{3}} k(x)^{\frac {6}{6-q}}\,dx \biggr)^{\frac{6-q}{6}\cdot\frac{1}{q}} \biggl( \int_{\mathbb{R}^{3}}|u_{n}|^{\frac{6q}{6-q}}\,dx \biggr)^{\frac {6-q}{6q}(q-1)}|u_{n}-u|_{\frac{6}{q}} \\& \quad =|k|_{\infty}^{1-\frac{1}{q}}|k|_{\frac{6}{6-q}}^{\frac {1}{q}}|u_{n}|_{\frac{6q}{6-q}}^{q-1}|u_{n}-u|_{\frac{6}{q}} \rightarrow0 \quad \mbox{as } n\rightarrow\infty, \end{aligned}$$
(3.10)

since \(3<\frac{6}{q}<6\), \(u_{n}\rightarrow u\) in \(L^{s}(\mathbb{R}^{3})\) for any \(s\in[2,2^{\ast})\).

Similarly, we also obtain

$$ \int_{\mathbb{R}^{3}} k(x)|u|^{q-1}(u_{n}-u)\,dx \rightarrow0 \quad \mbox{as } n\rightarrow\infty. $$
(3.11)

Therefore, by (3.7)-(3.11), we get \(\|u_{n}-u\| _{E}\rightarrow0\). The proof is complete. □

Proof of Theorem 1.2

In view of Proposition 2.4 and Lemma 3.2, we only need to check that \(\{ u_{n}\}\) is bounded in E,

$$\begin{aligned} \tilde{c}_{0}+1+\|u\|_{E} \geq& J(u_{n})- \frac{1}{4}\bigl\langle J^{\prime }(u_{n}), u_{n} \bigr\rangle \\ =&\frac{1}{4}\|u_{n}\|^{2}_{E}+\biggl( \frac{1}{4}-\frac{1}{q}\biggr) \int_{\mathbb {R}^{3}}k(x)|u_{n}|^{q}\,dx+ \biggl( \frac{1}{p}-\frac{1}{4}\biggr) \int_{\mathbb{R}^{3}}h(x)|u_{n}|^{p}\,dx \\ &{}-\frac{3}{4} \int_{\mathbb{R}^{3}}g(x)u_{n}\,dx \\ \geq&\frac{1}{4}\|u_{n}\|^{2}_{E}+ \biggl(\frac{1}{4}-\frac {1}{q}\biggr)|k|_{6/(6-q)}S^{-q/2} \|u\|^{q}_{E}-\frac{3}{4}|g|_{2}|u_{n}|_{2} \end{aligned}$$

for n large enough. Since \(g\in L^{2}(\mathbb{R}^{3})\), it follows from \(1< q<2\) that \(\{u_{n}\}\) is bounded in E. The proof is complete. □

References

  1. Benguria, R, Bris, H, Lieb, E: The Thomas-Fermi-von Weizsäcker theory of atoms and molecules. Commun. Math. Phys. 79, 167-180 (1981)

    Article  MATH  Google Scholar 

  2. Lieb, EH: Thomas-Fermi and related theories and molecules. Rev. Mod. Phys. 53, 603-641 (1981)

    Article  MathSciNet  MATH  Google Scholar 

  3. Benci, V, Fortunato, D: An eigenvalue problem for the Schrödinger-Maxwell equations. Topol. Methods Nonlinear Anal. 11, 283-293 (1998)

    MathSciNet  MATH  Google Scholar 

  4. Lions, PL: Solutions of Hartree-Fock equations for Coulomb systems. Commun. Math. Phys. 109, 33-97 (1984)

    Article  MathSciNet  MATH  Google Scholar 

  5. Markowich, P, Ringhofer, C, Schmeiser, C: Semiconductor Equations. Springer, New York (1990)

    Book  MATH  Google Scholar 

  6. Ruiz, D: The Schrödinger-Poisson equation under the effect of a nonlinear local term. J. Funct. Anal. 237, 655-674 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  7. Seok, J: On nonlinear Schrödinger-Poisson equations with general potentials. J. Math. Anal. Appl. 401, 672-681 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  8. Ambrosetti, A, Ruiz, D: Multiple bound states for the Schrödinger-Poisson equation. Commun. Contemp. Math. 10, 391-404 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  9. Azzollini, A, Pomponio, A: Ground state solutions for the nonlinear Schrödinger-Maxwell equations. J. Math. Anal. Appl. 345, 90-108 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  10. Cerami, G, Vaira, G: Positive solution for some non-autonomous Schrödinger-Poisson systems. J. Differ. Equ. 248, 521-543 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  11. 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)

    Article  MathSciNet  MATH  Google Scholar 

  12. Huang, LR, Rocha, EM, Chen, JQ: Two positive solutions of a class of Schrödinger-Poisson system with indefinite nonlinearity. J. Differ. Equ. 255, 2463-2483 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  13. Sun, JT: Infinitely many solutions for a class of sublinear Schrödinger-Maxwell equations. J. Math. Anal. Appl. 390, 514-522 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  14. Sun, JT, Wu, TF: On the nonlinear Schrödinger-Poisson system with sign-changing potential. Z. Angew. Math. Phys. (2015). doi:10.1007/s00033-015-0494-1

    MathSciNet  MATH  Google Scholar 

  15. Wang, J, Tian, LX, Xu, JX, Zhang, FB: Existence and concentration of positive solutions for semilinear Schrödinger-Poisson systems in \(\mathbb{R}^{3}\). Calc. Var. 48, 243-273 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  16. Zhao, LG, Zhao, FK: Positive solutions for Schrödinger-Poisson equations with a critical exponent. Nonlinear Anal. 70, 2150-2164 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  17. Ambrosetti, A: On Schrödinger-Poisson systems. Milan J. Math. 76, 257-274 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  18. Coclite, GM: A multiplicity result for the nonlinear Schrödinger-Maxwell equations. Commun. Appl. Anal. 7(2-3), 417-423 (2003)

    MathSciNet  MATH  Google Scholar 

  19. Coclite, GM: A multiplicity result for the Schrödinger-Maxwell equations with negative potential. Ann. Pol. Math. 79(1), 21-30 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  20. D’Aprile, T, Mugnai, D: Non-existence results for the coupled Klein-Gordon-Maxwell equations. Adv. Nonlinear Stud. 4(3), 307-322 (2004)

    MathSciNet  MATH  Google Scholar 

  21. Kikuchi, H: On the existence of a solution for elliptic system related to the Maxwell-Schrödinger equations. Nonlinear Anal. 67(5), 1445-1456 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  22. Mercuri, C: Positive solutions of nonlinear Schrödinger-Poisson systems with radial potentials vanishing at infinity. Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend. Lincei (9) Mat. Appl. 19(3), 211-227 (2008) (English summary)

    Article  MathSciNet  MATH  Google Scholar 

  23. Salvatore, A: Multiple solitary waves for a non-homogeneous Schrödinger-Maxwell system in \(\mathbb{R}^{3}\). Adv. Nonlinear Stud. 6(2), 157-169 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  24. Wang, ZP, Zhou, HS: Positive solutions for a nonlinear stationary Schrödinger-Poisson system in \(\mathbb{R}^{3}\). Discrete Contin. Dyn. Syst. 18, 809-816 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  25. Zhao, LG, Zhao, FK: On the existence of solutions for the Schrödinger-Poisson equations. J. Math. Anal. Appl. 346(1), 155-169 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  26. Sun, JT, Chen, HB, Nieto, JJ: On ground state solutions for some non-autonomous Schrödinger-Poisson systems. J. Differ. Equ. 252, 3365-3380 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  27. Ye, YW, Tang, CL: Existence and multiplicity of solutions for Schrödinger-Poisson equations with sign-changing potential. Calc. Var. 53, 383-411 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  28. Wu, TF: Multiplicity results for a semi-linear elliptic equation involving sign-changing weigh function. Rocky Mt. J. Math. 39(3), 995-1011 (2009)

    Article  MATH  Google Scholar 

  29. Huang, LR, Rocha, EM: A positive solution of a Schrödinger-Poisson system with critical exponent. Commun. Math. Anal. 15, 29-43 (2013)

    MathSciNet  MATH  Google Scholar 

  30. Huang, LR, Rocha, EM, Chen, JQ: Positive and sign-changing solutions of a Schrödinger-Poisson system involving a critical nonlinearity. J. Math. Anal. Appl. 408, 55-69 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  31. Shen, ZP, Han, ZQ: Multiple solutions for a class of Schrödinger-Poisson systems with indefinite nonlinearity. J. Math. Anal. Appl. (2015). doi:10.1016/j.jmaa.2015.01.071

    MathSciNet  MATH  Google Scholar 

  32. Sun, MZ, Su, JB, Zhao, LG: Infinitely many solutions for a Schrödinger-Poisson system with concave and convex nonlinearities. Discrete Contin. Dyn. Syst. 35, 427-440 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  33. Wu, TF: Four positive solutions for a semilinear elliptic equation involving concave and convex nonlinearities. Nonlinear Anal. 70, 1377-1392 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  34. Wu, TF: The Nehari manifold for a semilinear elliptic system involving sign-changing weight functions. Nonlinear Anal. 68, 1733-1745 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  35. Chen, SJ, Tang, CL: Multiple solutions for a non-homogeneous Schrödinger-Maxwell and Klein-Gordon-Maxwell equations on \(\mathbb{R}^{3}\). Nonlinear Differ. Equ. Appl. 17, 559-574 (2010)

    Article  MATH  Google Scholar 

  36. Ding, L, Li, L, Zhang, JL: Multiple solutions for nonhomogeneous Schrödinger-Poisson system with asymptotical nonlinearity in \(\mathbb{R}^{3}\). Taiwan. J. Math. 17(5), 1627-1650 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  37. Du, M, Zhang, FB: Existence of positive solutions for a nonhomogeneous Schrödinger-Poisson system in \(\mathbb{R}^{3}\). Int. J. Nonlinear Sci. 16(2), 185-192 (2013)

    MathSciNet  Google Scholar 

  38. Jiang, YS, Wang, ZP, Zhou, HS: Multiple solutions for a nonhomogeneous Schrödinger-Maxwell system in \(\mathbb{R}^{3}\). Nonlinear Anal. 83, 50-57 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  39. Yang, MB, Li, BR: Solitary waves for non-homogeneous Schrödinger-Maxwell system. Appl. Math. Comput. 215, 66-70 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  40. Bartsch, T, Wang, ZQ: Existence and multiplicity results for some superlinear elliptic problem on \(\mathbb{R}^{N}\). Commun. Partial Differ. Equ. 20, 1725-1741 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  41. Strauss, WA: Existence of solitary waves in higher dimensions. Commun. Math. Phys. 55, 149-162 (1977)

    Article  MathSciNet  MATH  Google Scholar 

  42. Wang, LX, Ma, SW: Multiple solutions for a nonhomogeneous Schrödinger-Poisson system with concave and convex nonlinearity. Acta Math. Appl. Sin., Engl. Ser. (submitted)

  43. Zou, WM, Schechter, M: Critical Point Theory and Its Applications. Springer, New York (2006)

    MATH  Google Scholar 

  44. Mawhin, J, Willem, M: Critical Point Theory and Hamiltonian Systems. Springer, New York (1989)

    Book  MATH  Google Scholar 

  45. Willem, M: Minimax Theorems. Birkhäuser, Boston (1996)

    Book  MATH  Google Scholar 

Download references

Acknowledgements

L Wang is partially supported by Tian Yuan Special Foundation (No. 11526148). S Ma is partially supported by NSFC (No. 11571187). X Wang is partially supported by NSFC (No. 11461056).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Xiaoming Wang.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

The main idea of this paper was proposed by SM. LW and XW performed all the steps of the proofs in this research. All authors read and approved the final manuscript.

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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Wang, L., Ma, S. & Wang, X. On the existence of solutions for nonhomogeneous Schrödinger-Poisson system. Bound Value Probl 2016, 76 (2016). https://doi.org/10.1186/s13661-016-0584-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-016-0584-9

MSC

Keywords