Abstract
This paper is concerned with the following semilinear elliptic systems:
where \(V(x)\), \(H(x)\) are nonnegative continuous functions. Under some appropriate assumptions on \(V(x)\), \(H(x)\), and \(F(x, u, v)\), we prove the existence of infinitely many small negative-energy solutions by using the fountain theorem established by Zou. Recent results from the literature are extended.
Similar content being viewed by others
1 Introduction
In this paper, we consider the existence and multiplicity of solutions to the following semilinear elliptic systems:
where \(V(x)\), \(H(x)\) are nonnegative continuous functions, we assume that the functions \(V(x)\), \(H(x)\), and \(F(x,u,v)\) satisfy the following hypotheses:
- (H1):
-
\(V\in C(\mathbb{R}^{N},\mathbb {R} )\) satisfies \(\inf_{x\in\mathbb{R}^{N}}V(x)\geq a_{0}>0\), where \(a_{0}>0\) is a constant. Moreover, for any \(M>0\), \(\operatorname{meas} \{x\in\mathbb{R}^{N}: V(x)\leq M\}<\infty\), where meas denotes the Lebesgue measure in \(\mathbb{R}^{N}\).
- (H2):
-
\(F\in C^{1}(\mathbb {R}^{N}\times\mathbb {R}^{2}, \mathbb {R})\), \(|F_{u}(x,u,v)|\leq c(|(u,v)|+|(u,v)|^{p-1})\), and \(|F_{v}(x,u,v)|\leq c(|(u,v)|+|(u,v)|^{q-1})\) for some \(1< p, q<2\), where c is a positive constant, and \(|(u,v)|=(u^{2}+v^{2})^{\frac{1}{2}}\).
- (H3):
-
\(F(x, 0,0)=0\), \(F(x, u, v)\geq0\) for all \((x,u,v)\in\mathbb {R}^{N}\times\mathbb {R}^{2}\), and for some \(1<\mu <2\), there exists \(c_{1}>0\) such that \(F(x, u, v)\geq c_{1}|(u,v)|^{\mu }\).
- (H4):
-
\(H(x)\geq0\) and \(H(x)\in L^{\frac{2}{2-p}}(\mathbb {R}^{N}, \mathbb{R})\cap L^{\frac{2}{2-q}}(\mathbb {R}^{N}, \mathbb{R}) \cap L^{\frac{2}{2-\mu}}(\mathbb {R}^{N}, \mathbb{R})\cap L^{\infty }(\mathbb {R}^{N}, \mathbb{R}) \).
- (H5):
-
\(F(x,u,v)=F(x,-u,-v)\) for all \((x,u,v)\in\mathbb {R}^{N}\times \mathbb {R}^{2}\).
When Ω is a bounded domain of \(\mathbb{R}^{N}\), the problem
which is related to reaction-diffusion systems that appear in chemical and biological phenomena, including the steady and unsteady state situation (see [1–4]), has been extensively investigated in recent years. For the results on existence, multiple solutions, and positive solutions to problem (1.2), we refer the readers to [1, 4–9] and the references therein. Qu and Tang [5] obtained the existence and multiplicity of weak solutions of problem (1.2) by using the Ekeland variational principle, the mountain pass theorem, and the saddle point theorem in critical point theory, and by applying the local linking theorem and the saddle point theorem some new existence theorems of weak solutions were obtained by Duan et al. [6]. In [7], by using Morse theory the multiplicity of solutions was obtained for cooperative elliptic systems at resonance. Costa and Magalhães [8, 9] researched subquadratic perturbation problems of semiliner elliptic systems by minimax methods.
Recently, the problems in the whole space \(\mathbb {R}^{N}\) were considered in some works. For example, see [10–15] and the references therein. Cao and Tang [10] studied the following Schrödinger systems:
Under suitable assumptions on \(F(x,u,v)\), they obtained the existence of infinitely many solutions characterized by the number of nodes of each component. When \(N\geq3\), \(V(x)=0\), \(F_{u}(x, u, v)=p(x)f(v)\), and \(F_{v}(x, u, v)=q(x)g(u)\), Zhang et al. [11] obtained the existence and nonexistence of entire solutions to (1.3). Wu [12] obtained five new critical point theorems on the product spaces and studied three existence theorems for the sequence of high-energy solutions to problem (1.3), whereas Zhou et al. [13] established the existence of high-energy solutions to (1.3) under some conditions that are weaker than those in [12], which unify and sharply improve the recent results in [14].
Inspired by all these facts, the aim of this paper is to study the multiplicity of small negative-energy solutions to problem (1.1) via variational methods, which have been widely used to study Schrödinger equations; see [16–23] and the references therein. To the best of our knowledge, there has been few works concerning this case up to now.
Now, we state our main results.
Theorem 1.1
Suppose that conditions (H1)-(H5) hold. Then problem (1.1) possesses infinitely many solutions \(\{(u_{k},v_{k})\}\) satisfying
The remainder of this paper is as follows. In Section 2, we present some preliminary results. In Section 3, we give a proof of the main result.
2 Variational setting and preliminaries
In this section, we outline the variational framework for problem (1.1) and give some preliminary lemmas.
Let
with the norm
Let
with the inner product and norm
As usual, for \(1\leq p<+\infty\), we let
and
Then \(E=X\times X\) is a Hilbert space with the inner product
and the norm
Define the functional I on E by
Then a weak solution of system (1.1) is a critical point of I if I is continuously differentiable on E.
Moreover, we have the following compactness lemma.
Lemma 2.1
Under assumption (H1), the embedding \(E\hookrightarrow L^{r}(\mathbb{R}^{N})\times L^{r}(\mathbb{R}^{N})\) is continuous for \(2\leq r\leq2^{*}\), and \(E\hookrightarrow L^{r}(\mathbb {R}^{N})\times L^{r}(\mathbb{R}^{N})\) is compact for \(2\leq r<2^{*}\).
Proof
By Lemma 3.4 in [24] we know that, under assumption (H1), the embedding \(X\hookrightarrow L^{r}(\mathbb{R}^{N})\) is continuous for \(r\in[2, 2^{*}]\) and that \(X\hookrightarrow L^{r}(\mathbb{R}^{N})\) is compact for \(r\in[2, 2^{*})\), that is, there exist constants \(C_{r}>0\) such that \(\|u\|_{r}\leq C_{r}\|u\|_{X}\), \(\forall u\in X\), and for any bounded sequence \(\{u_{n}\}\subset X\), there exists a subsequence of \(\{u_{n}\} \) such that \(u_{n}\rightarrow u_{0}\) in \(L^{r}(\mathbb{R}^{N})\), \(r\in [2, 2^{*})\). Therefore, for any \((u,v)\in E\), there exists \(C>0\) such that
that is, \(\|(u,v)\|_{r}\leq C\|(u,v)\|\), so that \(E\hookrightarrow L^{r}(\mathbb{R}^{N})\times L^{r}(\mathbb{R}^{N})\) is continuous for \(2\leq r\leq2^{*}\). On the other hand, suppose that \(\{(u_{n},v_{n})\}\subset E\) are bounded, that is, \(\{u_{n}\}\) and \(\{v_{n}\}\) are bounded in X, then there exist subsequences \(\{u_{n}\}\) and \(\{v_{n}\}\) such that
Therefore,
as \(n\rightarrow\infty\), that is,
so that \(E\hookrightarrow L^{r}(\mathbb{R}^{N})\times L^{r}(\mathbb{R}^{N})\) is compact for \(r\in[2, 2^{*})\). The proof is complete. □
Lemma 2.2
If assumptions (H1)-(H2) hold, then \(I\in C^{1}(E, R)\),
and \(\Psi': E\rightarrow E^{*}\) is compact, where \(\Psi(u,v)=\int _{\mathbb{R}^{N}}H(x)F(x,u,v)\,dx\).
Proof
The proof is similar to that of Lemma 3.1 in [12]; we omit it. □
To complete the proof of our theorem, the following theorem will be needed in our argument. Let E be a Banach space with norm \(\|\cdot\|\) and \(E=\overline {\bigoplus_{j\in N}X_{j}}\) with \(\operatorname{dim} X_{j}<\infty\) for any \(j\in N\). Set \(Y_{k}=\bigoplus_{j=0}^{k}X_{j}\), \(Z_{k}=\overline{\bigoplus_{j=k+1}^{\infty}X_{j}}\). Consider the \(C^{1}\) functional
where \(A, B: E\rightarrow\mathbb{R}\) are two functionals.
Theorem 2.1
([25], Theorem 2.1)
Suppose that the functional \(\varphi_{\lambda}(u)\) satisfies:
- (C1):
-
\(\varphi_{\lambda}(u)\) maps bounded sets to bounded sets uniformly for \(\lambda\in[1,2]\). Furthermore, \(\varphi_{\lambda}(-u)=\varphi_{\lambda}(u)\) for all \((\lambda, u)\in [1,2]\times E\).
- (C2):
-
\(B(u)\geq0\); \(B(u)\rightarrow\infty\) as \(\|u\|\rightarrow \infty\) on any finite-dimensional subspace of E.
- (C3):
-
There exists \(\rho_{k}>r_{k}>0\) such that
$$\begin{aligned}& a_{k}(\lambda) :=\inf_{u\in Z_{k}, \|u\|=\rho_{k}}\varphi_{\lambda}(u) \geq 0>b_{k}(\lambda):=\max_{u\in Y_{k}, \|u\|=r_{k}}\varphi _{\lambda}(u),\quad \lambda\in[1,2],\\& d_{k}(\lambda):=\inf_{u\in Z_{k}, \|u\|\leq\rho_{k}}\varphi _{\lambda}(u)\rightarrow0\quad \textit{as }k\rightarrow \infty\textit{ uniformly for }\lambda \in[1,2]. \end{aligned}$$
Then there exist \(\lambda_{n}\rightarrow1\) and \(u(\lambda_{n})\in Y_{n}\) such that
In particular, if \(\{u(\lambda_{n})\}\) has a convergent subsequence for every k, then \(\varphi_{1}\) has many nontrivial critical points \(\{u_{k}\}\subset E\setminus\{0\}\) satisfying \(\varphi _{1}(u_{k})\rightarrow0^{-}\) as \(n\rightarrow\infty\).
3 Proof of the main result
In order to apply Theorem 2.1 to prove our main result, we define A, B, and \(\varphi_{\lambda}\) on our working space E by
and
for all \((u,v)\in E\) and \(\lambda\in[1,2]\). Obviously, \(\varphi _{\lambda}(u,v)\in C^{1}(E, R)\) for all \(\lambda\in[1,2]\). We choose a completely orthonormal basis \(\{e_{j}: j\in N\}\) of X and let \(X_{j}=\operatorname{span}\{e_{j}\}\) for all \(j \in N\). Then \(Y_{k}=\operatorname{span} \{e_{1},\ldots,e_{k}\}\), \(Z_{k}=Y_{k}^{\bot }\), and \(E=(Y_{k}\times Y_{k})\oplus(Z_{k}\times Z_{k})\). Note that \(\varphi_{1}=I\), where I is defined in (2.1).
Lemma 3.1
Suppose that conditions (H1), (H3), and (H4) hold. Then \(B(u,v)\geq0\). Furthermore, \(B(u,v)\rightarrow\infty\) as \(\|(u,v)\|\rightarrow\infty\) on any finite-dimensional subspace of E.
Proof
Evidently, by (H3) and (H4), \(B(u,v)=\int _{\mathbb{R}^{N}}H(x)F(x, u, v)\,dx\geq0\), Now we claim that for any finite-dimensional subspace \(\widetilde{E}\subset E\), there exists \(\varepsilon>0\) such that
Arguing by contradiction, we assume that there exists a sequence \(\{ (u_{n},v_{n})\}_{n\in\mathbb{N}}\subset\widetilde{E}\setminus\{(0,0)\} \) such that
Set \((s_{n},w_{n})=\frac{(u_{n},v_{n})}{\|(u_{n},v_{n})\|}\subset \widetilde{E}\setminus\{(0,0)\}\), then \(\|(s_{n},w_{n})\|=1\) for all \(n\in\mathbb{N}\), and
Since \(\operatorname{dim} \widetilde{E}<\infty\), it follows from the compactness of the unit sphere of Ẽ that there exists a subsequence, say \(\{(s_{n},w_{n})\}\), such that \((s_{n},w_{n})\rightarrow(s_{0},w_{0})\) in Ẽ. It is easy to verify that \(\|(s_{0},w_{0})\|=1\). In view of the equivalence of the norms on the finite-dimensional space Ẽ, we have \((s_{n},w_{n})\rightarrow(s_{0},w_{0})\) in \(L^{2}(\mathbb{R}^{N})\), that is,
By (3.6) and the Hölder inequality we have
Therefore, there exist \(\xi_{1}, \xi_{2}>0\) such that
Otherwise, we get
which implies that
Hence, \((s_{0},w_{0})=0\), which contradicts with \(\|(s_{0},w_{0})\|=1\). Therefore, (3.8) holds.
Now let
Then by (3.5) and (3.8) we get
for all positive integer n. Let n be large enough such that \(\xi _{2}-\frac{1}{n}\geq\frac{\xi_{2}}{2}\) and \(\frac{\xi_{1}}{2^{\mu}}-\frac{1}{n}\geq\frac{\xi_{1}}{2^{\mu+1}}\). Then we have
which is a contradiction with (3.7). Therefore, (3.3) holds. For the ε given in (3.3), let
Then by (3.3)
Combining (H3) and (3.10), we have
which implies that \(B(u,v)\rightarrow\infty\) as \(\|(u,v)\|\rightarrow \infty\) on any finite-dimensional space of E. The proof is completed. □
Lemma 3.2
Suppose that (H1)-(H2) and (H4) are satisfied. Then there exists a sequence \(\rho_{k}\rightarrow0^{+}\) as \(k\rightarrow\infty\) such that \(a_{k}(\lambda) :=\inf_{(u,v)\in Z_{k}\times Z_{k}, \|(u,v)\|=\rho_{k}}\varphi _{\lambda}(u,v)\geq0\) and \(d_{k}(\lambda):=\inf_{(u,v)\in Z_{k}\times Z_{k}, \|(u,v)\|\leq\rho_{k}} \varphi_{\lambda }(u,v)\rightarrow0\) as \(k\rightarrow\infty\) uniformly for \(\lambda\in [1,2]\), where \(Z_{k}=\overline{\bigoplus_{j=k+1}^{\infty }X_{j}}=\overline{\operatorname{span}\{e_{k},\ldots\}}\) for all \(k\in N\).
Proof
Let
where \(\|(u,v)\|_{r}=(\int_{\mathbb {R}^{N}}|(u,v)|^{r})^{\frac{1}{r}}\). Then \(\alpha_{k}(r)\rightarrow0\) as \(k\rightarrow\infty\). Indeed, \(\alpha_{k}(r)\) is convergent since \(\alpha_{k}(r)\) are decreasing in k and \(\alpha_{k}(r)\geq0\). Furthermore, for any k, there exists \((u_{k},v_{k})\in Z_{k}\times Z_{k}\) such that \(\|(u_{k},v_{k})\|=1\) and \(\|(u_{k},v_{k})\|_{r}\geq\frac{\alpha_{k}(r)}{2}\).
For any \(\varphi\in X\), \(\varphi=\sum_{n=1}^{\infty}a_{n}e_{n}\), we get
as \(k\rightarrow\infty\), which implies that \(u_{k}\rightharpoonup0\) in X. Since the embedding \(X\hookrightarrow L^{r}(\mathbb {R}^{N})\) is compact, \(u_{k}\rightarrow0\) in \(L^{r}(\mathbb {R}^{N})\) for \(r\in[2, 2^{*})\). The same argument implies that \(v_{k}\rightarrow0\) in \(L^{r}(\mathbb {R}^{N})\) for \(r\in[2, 2^{*})\). Consequently,
that is,
By (H2) we have
Therefore, by (3.2), (3.11)-(3.13), and the Hölder inequality we get
By (3.13) there exist a positive integer \(k_{1}\) such that
Then, by (3.14), we have
Let
Obviously, \(\rho_{k}\rightarrow0\) as \(k\rightarrow\infty\) since \(p, q\in(1,2)\). By (3.16) and (3.17) direct computation shows that
Moreover, by (3.14), for any \((u,v)\in Z_{k}\times Z_{k}\) with \(\|(u,v)\|= \rho_{k}\), we have
Therefore,
Since \(\alpha_{k}(2)\rightarrow0\) as \(k\rightarrow\infty\), we have
The proof is completed. □
Lemma 3.3
Suppose that (H1)-(H4) hold. Then for the positive integer \(k_{1}\) and the sequence \(\{\rho_{k}\}\) obtained in Lemma 3.2, for all \(k\geq k_{1}\), there exist \(0< r_{k}<\rho_{k}\) such that
where \(Y_{k}=\bigoplus_{j=1}^{k}X_{j}=\operatorname{span}\{e_{1},\ldots e_{k}\}\) for all \(k\in N\).
Proof
Note that \(Y_{k}\times Y_{k}\) is a finite-dimensional subspace of E. Then by (3.3) there exists a constant \(\varepsilon_{k}\) such that
where
Combining (3.2), (H3), (H4), and (3.18), for any \(k\in N\) and \(\lambda\in[1,2]\), we have
For \(\|(u,v)\|=r_{k}<\rho_{k}\) small enough, we have
since \(\mu\in(1,2)\). The proof is completed. □
Now we give the proof of Theorem 1.1.
Proof
Obviously, condition (C1) in Theorem 2.1 holds. By Lemmas 3.1-3.3 conditions (C2) and (C3) in Theorem 2.1 are also satisfied. Furthermore, by Theorem 2.1, there exist \(\lambda_{n}\rightarrow1\) and \((u(\lambda_{n}),v(\lambda _{n}))\in Y_{n}\times Y_{n}\) such that
For simplicity, in what follows, we always set \((u_{n},v_{n})=(u(\lambda_{n}),v(\lambda_{n}))\) for all \(n\in\mathbb {N}\).
Now we claim that the sequence \(\{(u_{n},v_{n})\}\) obtained in (3.19) is bounded in E. Indeed, by (H2), (H4), (3.2), (3.20), and the Hölder inequality we have
for some \(C_{0}>0\). Since \(p, q\in(1,2)\), (3.21) implies that \(\{(u_{n},v_{n})\}\) is bounded in E.
Finally, we show that \(\{(u_{n},v_{n})\}\) possesses a strong convergent sequence in E. Indeed, since \(\{(u_{n},v_{n})\}\) is bounded, there exists \((u_{0},v_{0})\in E\) such that
By (2.2) we easily get
Clearly,
Denote
Then by (H2), (H4), and the Hölder and Minkowski inequalities we have
Since \((u_{n},v_{n})\rightarrow(u_{0},v_{0})\) in \(L^{p}(\mathbb {R}^{N})\times L^{p}(\mathbb {R}^{N})\), for any \(p\in[2,2^{*})\), we obtain
Similarly, we can also obtain
Therefore, by (3.22)-(3.26) we get \(\|(u_{n},v_{n})-(u_{0},v_{0})\| \rightarrow0\) as \(n\rightarrow\infty\).
Now from the last assertion of Theorem 2.1 we know that \(I=\varphi_{1}\) has infinitely many nontrivial critical points. Therefore, system (1.1) possesses infinitely many small negative-energy solutions. The proof is completed. □
References
De Figueiredo, DG, Felmer, PL: On superquadratic elliptic systems. Trans. Am. Math. Soc. 223, 99-116 (1994)
De Figueiredo, DG, Mitidieri, E: A maximum principle for an elliptic system and applications to semilinear problem. SIAM J. Math. Anal. 17, 836-849 (1986)
Lazer, AC, McKenna, PJ: On steady-state solutions of a system of reaction-diffusion equations from biology. Nonlinear Anal. TMA 6, 523-530 (1982)
Silva, EA: Existence and multiplicity of solutions for semilinear elliptic systems. NoDEA Nonlinear Differ. Equ. Appl. 1, 339-363 (1994)
Qu, Z, Tang, C: Existence and multiplicity results for some elliptic systems at resonance. Nonlinear Anal. 71, 2660-2666 (2009)
Duan, S, Wu, X: The existence of solutions for a class of semilinear elliptic systems. Nonlinear Anal. 73, 2842-2854 (2010)
Pomponio, A: Asymptotically linear cooperative elliptic system: existence and multiplicity. Nonlinear Anal. 52, 989-1003 (2003)
Costa, DG, Magalhães, CA: A unified approach to a class of strong indefinite functions. J. Differ. Equ. 125, 521-547 (1996)
Costa, DG, Magalhães, CA: A variational method to subquadratic perturbations of elliptic systems. J. Differ. Equ. 111, 103-122 (1994)
Cao, D, Tang, Z: Solutions with prescribed number of nodes to superlinear elliptic systems. Nonlinear Anal. 55, 702-722 (2003)
Zhang, Z, Shi, Y, Xue, Y: Existence of entire solutions for semilinear elliptic systems under the Keller-Osserman condition. Electron. J. Differ. Equ. 2011, 39 (2011)
Wu, X: High energy solutions of systems of Kirchhoff-type equations in \(\mathbb {R}^{N}\). J. Math. Phys. 53, 063508 (2012)
Zhou, F, Wu, K, Wu, X: High energy solutions of systems of Kirchhoff-type equations on \(\mathbb {R}^{N}\). Comput. Math. Appl. 66, 1299-1305 (2013)
Li, G, Tang, X: Nehari-type state solutions for Schrödinger equations including critical exponent. Appl. Math. Lett. 37, 101-106 (2014)
Maia, LA, Montefusco, E, Pellacci, B: Positive solutions for a weakly coupled nonlinear Schrödinger system. J. Differ. Equ. 229, 743-767 (2006)
Tang, X: Infinitely many solutions for semilinear Schrodinger equations with sign-changing potential and nonlinearity. J. Math. Anal. Appl. 401, 407-415 (2013)
Huang, W, Tang, X: The existence of infinitely many solutions for the nonlinear Schrödinger-Maxwell equations. Results Math. 65, 223-234 (2014)
Sun, J, Chen, H, Yang, L: Positive solutions of asymptotically linear Schrödinger-Poisson systems with a radial potential vanishing at infinity. Nonlinear Anal. 74, 413-423 (2011)
Liu, H, Chen, H, Yang, X: Multiple solutions for superlinear Schrödinger-Poisson systems with sign-changing potential and nonlinearity. Comput. Math. Appl. 68, 1982-1990 (2014)
Zhang, J, Tang, X: Infinitely many solutions of quasilinear Schrödinger equation with sign-changing potential. J. Math. Anal. Appl. 420, 1762-1775 (2014)
Xu, L, Chen, H: Existence and multiplicity of solutions for fourth-order elliptic equations of Kirchhoff type via genus theory. Bound. Value Probl. 2014, 212 (2014)
Xu, L, Chen, H: Existence of infinitely many solutions for generalized Schrödinger-Poisson system. Bound. Value Probl. 2014, 196 (2014)
Qin, D, Tang, X: New conditions on solutions for periodic Schrödinger equation with spectrum zero. Taiwan. J. Math. 19(4), 977-993 (2015)
Zou, W, Schechter, M: Critical Point Theory and Its Applications. Springer, New York (2006)
Xu, L, Chen, H: Multiplicity of small negative-energy solutions for a class of nonlinear Schrödinger-Poisson systems. Appl. Math. Comput. 243, 817-824 (2014)
Acknowledgements
This work is partially supported by Natural Science Foundation of China 11271372 and Mathematics and Interdisciplinary Sciences Project of CSU.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. 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.
About this article
Cite this article
Che, G., Chen, H. Multiplicity of small negative-energy solutions for a class of semilinear elliptic systems. Bound Value Probl 2016, 107 (2016). https://doi.org/10.1186/s13661-016-0616-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-016-0616-5