Abstract
Multiple solutions for a class of superquadratic elliptic systems near resonance with high eigenvalues are obtained by using the nabla theorem due to Marino and Saccon in (Topol. Methods Nonlinear Anal. 17:213-237, 2001) and the linking theorem.
Similar content being viewed by others
1 Introduction and main results
Consider the existence of weak solutions for the following elliptic system:
where \(\Omega\subset R^{N}\) (\(N\geq3\)) is a bounded, connected open domain and a, b are real numbers. The nonlinearity \(F\in C(\bar{\Omega}\times R^{2}, R)\) has continuous derivatives \(F_{s}(x,s,t)\), \(F_{t}(x,s,t)\) with respect to s and t for any \(x\in\Omega\) and satisfies the following superquadratic condition:
Denote by \(H^{1}_{0}(\Omega)\) the usual Hilbert space with the inner product and the norm
for any \(u,v\in H^{1}_{0}(\Omega)\). By the Sobolev embedding theorem, the embedding \(H^{1}_{0}(\Omega)\hookrightarrow L^{p}(\Omega)\) is continuous for any \(1\leq p\leq2^{*}\), and there exists a positive constant \(C=C(p,N,\Omega)\) such that
where \(2^{*}:=\frac{2N}{N-2}\) is the Sobolev critical exponent and \(\| \cdot\|_{p}\) denotes the norm of \(L^{p}(\Omega)\). Moreover, the embedding \(H^{1}_{0}(\Omega)\hookrightarrow L^{p}(\Omega)\) is compact for any \(1\leq p<2^{*}\). Let \(H=H^{1}_{0}(\Omega)\times H^{1}_{0}(\Omega)\) be a Hilbert space with the norm
The spectrum of −Δ in \(H^{1}_{0}(\Omega)\) is at most a countable set, which we denote by
where each \(\lambda_{k}\) is an isolated eigenvalue of finite multiplicity of \(m_{k}\), with \(\varphi_{k}\) (\(k=1, 2,\ldots\)) the corresponding eigenfunctions, which will be taken orthogonal and normalized with \(\|\varphi_{k}\|=1\). It is well known that \(\lambda_{1}\) is simple and isolated and \(\varphi_{1}\) may be taken positive on Ω.
Define \(B:H\times H\to R\) as follows:
As in [2], we define an orthogonal basis for H which diagonalizes B. It follows from [2] that there exist two sequences of eigenvalues for the following eigenvalue problem:
that is,
with the corresponding normalized eigenfunctions
Moreover, \(\{\mu_{\pm i}\}\) and \(\{\psi_{\pm i}\}\) have the following simple properties:
-
(1)
\(\lim_{i\to+\infty}\mu_{\pm i}=\pm1\);
-
(2)
If \(a+b>0\), \(\mu_{i}=\frac{\lambda_{i}-(a+b)}{\lambda_{i}}\) converges to 1 from left, but if \(a+b<0\), \(\mu_{i}=\frac{\lambda_{i}-(a+b)}{\lambda_{i}}\) converges to 1 from right;
-
(3)
If \(a-b>0\), \(\mu_{-i}=\frac{(a-b)-\lambda_{i}}{\lambda_{i}}\) converges to −1 from right, but if \(a-b<0\), \(\mu_{-i}=\frac{(a-b)-\lambda_{i}}{\lambda _{i}}\) converges to −1 from left.
-
(4)
Let \({\mathbf{u}}:=(u,v)=\sum_{i\in Z\setminus\{0\}}c_{i}\psi_{i}\in H\), then
$$\|{\mathbf{u}}\|^{2}=\sum_{i\in Z\setminus\{0\}}c_{i}^{2}, \qquad B({\mathbf {u}},{\mathbf{u}})=\sum_{i\in Z\setminus\{0\}} \mu_{i}c_{i}^{2},\qquad \|{\mathbf {u}} \|^{2}=\sum_{i\in Z\setminus\{0\}} \lambda^{-1}_{|i|}c_{i}^{2}. $$
Multiplicity of nontrivial solutions for elliptic equations or elliptic systems near resonance was considered by many authors (see [1–15] and the references therein). For the following two point boundary value problem
if f is bounded and satisfies a sign condition, Mawhin and Schmitt [3] obtained the existence of at least three nontrivial solutions under the condition that the parameter λ is sufficiently close to \(\lambda_{1}\) from left by using Ekeland’s variational principle and the mountain pass theorem, where \(\lambda_{1}\) is the first eigenvalue of the corresponding linear problem. For the semilinear elliptic equation
if f is sublinear at infinity and the parameter λ approaches \(\lambda_{1}\) from the left, Ma et al. [4] proved the existence of at least three nontrivial solutions. Similar results were obtained for the quasilinear problem in [4] and [14], for the \((p,q)\) elliptic systems in [6].
Many results were obtained for the case that the parameter λ approaches \(\lambda_{k}\) (\(k\geq2\)) from left (see [1, 7–15] and the references therein). de Paiva and Massa [7] obtained the existence of two solutions for problem (4) under the condition that f is sublinear at infinity by using saddle point theory. In [2], Massa and Rossato obtained the existence of at least two solutions for problem (1) by using of the saddle point theorem and Galerkin approximation, where \(F_{s}(x,s,t)=F_{s}(x,s)\) and \(F_{t}(x,s,t)=F_{t}(x,t)\) are the sublinear nonlinearities. In [8], under a generalized Landesman-Lazer type condition, Ke and Tang obtained the existence of at least two solutions for a class of asymptotically linear noncooperative elliptic systems by using the saddle point theorem. On the other hand, if \(F(x,t)=\int_{0}^{t}f(x,s)\,ds\) satisfies the \((AR)\) condition, Mugnai [9] obtained three nontrivial solutions for problem (4) by using the ∇-theorem due to Marino and Saccon in [10], and a similar result was obtained in [15] under the following superquadratic condition:
The ∇-theorem was widely applied to consider the multiplicity of nontrivial solutions for several other equations (see [11–14]). In [1], by using the notion of limit relative category, Marino and Saccon developed a ‘limit’ version of the ∇-theorems and found multiple solutions for some noncooperative elliptic systems where the nonlinearity satisfies the global \((AR)\) condition.
In this paper, influenced by [1] and [2], we consider the existence of multiple solutions for problem (1) near resonance at the higher eigenvalue, where \(F(x,s,t)\) satisfies the superquadratic condition (2). Now we state some other conditions on \(F(x,s,t)\).
-
(F1)
There are \(c_{1}>0\), \(1< r<(N+2)/(N-2)\) such that
$$\bigl\vert F_{s}(x,s,t) \bigr\vert + \bigl\vert F_{t}(x,s,t) \bigr\vert \leq c_{1}\bigl(1+ \vert s \vert ^{r}+ \vert t \vert ^{r}\bigr),\quad \forall(x,s,t)\in \Omega\times R^{2}; $$ -
(F2)
\(F(x,s,t)=o(|s|^{2}+|t|^{2})\) as \(|s|+|t|\to0\) uniformly in \(x\in\Omega\);
-
(F3)
There exist \(N(r-1)/2<\beta<2^{*}\), \(c_{2}>0\) and \(L>0\) such that
$$\begin{aligned}& F_{s}(x,s,t)s+F_{t}(x,s,t)t-2F(x,s,t)>0, \quad \forall x\in \Omega, (s,t)\neq (0,0),\quad \mbox{and} \\& F_{s}(x,s,t)s+F_{t}(x,s,t)t-2F(x,s,t)\geq c_{2} \bigl(|s|^{\beta}+|t|^{\beta}\bigr),\quad \forall x\in\Omega, |s|^{2}+|t|^{2}\geq L; \end{aligned}$$ -
(F4)
\(F(x,s,t)\geq0\), ∀ \((x,s,t)\in\Omega\times R^{2}\).
The main results of the paper are the following theorems.
Theorem 1
Assume that (2) and (F1), (F2), (F3), (F4) hold. Let \(\lambda_{k}\) be an eigenvalue of −Δ and \(\lambda _{l}\) be the first eigenvalue above \(a-b\). \(\forall \delta>0\), \(\exists \varepsilon_{0}>0\), if \(\operatorname{dist}(a-b,\sigma(-\Delta))>\delta\) and \(a+b\in (\lambda_{k}-\varepsilon_{0},\lambda_{k})\), then problem (1) has at least three nontrivial solutions.
Theorem 2
Assume that (2) and (F1), (F2), (F3), (F4) hold. Let \(\lambda_{k}\) be an eigenvalue of −Δ and \(\lambda _{l}\) be the first eigenvalue above \(a+b\). \(\forall\delta>0\), \(\exists \varepsilon_{1}>0\), if \(\operatorname{dist}(a+b,\sigma(-\Delta))>\delta\) and \(a-b\in (\lambda_{k},\lambda_{k}+\varepsilon_{1})\), then problem (1) has at least three nontrivial solutions.
2 Proofs of theorems
In this section, we first recall two compactness conditions, i.e., the \((PS)^{*}_{c}\) condition, which was introduced by Li and Willem in [16], and the \((Ce)^{*}_{c}\) condition, which was introduced by Luan and Mao in [17] where they extended the local linking theorem of [16]. The \((Ce)^{*}_{c}\) condition is a version of the \((PS)^{*}_{c}\) condition and a generalization of the \((Ce)\) condition of [18], and it can ensure a deformation lemma. And then, we recall the ∇−theorem due to Marino and Saccon in [1], where the \((PS)^{*}_{c}\) condition is replaced by the \((Ce)^{*}_{c}\) condition.
Let W be a real Banach space with \(W=W^{1}\oplus W^{2}\). \(W^{i}_{0}\subset W^{i}_{1}\subset W^{i}_{2}\subset\cdots\subset W^{i}\) and \(\bigcup_{n\in N}W^{i}_{n}\) is dense in \(W^{i}\), \(i=1,2\). For every multi-index \(\alpha=(\alpha _{1},\alpha_{2})\in N^{2}\), \(W_{\alpha}=W^{1}_{\alpha_{1}}\oplus W^{2}_{\alpha_{2}}\), and it is well known that \(\alpha\leq\beta\Longleftrightarrow\alpha _{1}\leq\beta_{1}\), \(\alpha_{2}\leq\beta_{2}\). A sequence \(\{\alpha_{n}\}\in N^{2}\) is admissible if for every \(\alpha\in N^{2}\), there is \(m\in N\) such that \(n\geq m\Longrightarrow\alpha_{n}\geq\alpha\).
Definition 1
see [17]
The functional \(I\in C^{1}(W,R)\) satisfies the \((Ce)^{*}_{c}\) condition at the level \(c\in R\), if \(\{\alpha _{n}\}\) is admissible and \(\{u_{\alpha_{n}}\}\) satisfies
\(\{u_{\alpha_{n}}\}\) has a subsequence which converges to a critical point of I, where \(I_{\alpha_{n}}=I|_{W_{\alpha_{n}}}\).
Let E be a real Hilbert space with \(E=E^{1}\oplus E^{2}\oplus E^{3}\) and \(\dim E^{2}\geq1\). Let \(\{E_{n}\}\) be a sequence of finite dimension closed subspaces of E such that \(E^{2}\subset E_{n}\), \(E_{n}\subset E_{n+1}\), and let \(\bigcup_{n\in N}E_{n}\) be dense in E. Let X be a closed subspace of E and \(P_{X}\) denote the orthogonal projection onto X, and for any \(u\in E\), let \([u]=\{tu:t\in R\}\).
Definition 2
see [1]
Let X be a closed subspace of E such that \(P_{X}P_{E_{n}}=P_{E_{n}}P_{X}\) for all n, and let c be a real number. The functional \(I\in C^{1}(E,R)\) satisfies the condition \(\nabla^{*}(X,c)\) with respect to \((E_{n})_{n}\) if there exists \(\gamma>0\) such that
The condition \(\nabla^{*}(X,c)\) implies that there are no critical points u in X with \(I(u)=c\), with some uniformity. Moreover, the condition \(\nabla^{*}(X,c)\) is equivalent to the following conditions:
-
(a)
\(I|_{X}\) has no critical point u in X with \(I(u)=c\);
-
(b)
If \((h_{n})\) is a sequence in N such that \(h_{n}\to\infty\), \(\{u_{n}\} \) is a sequence in E such that \(u_{n}\in E_{h_{n}}\) for all n, \(\operatorname{dist}(u_{n}, X)\to0\), \(I(u_{n})\to c\) and \(P_{E_{n}}P_{X\oplus[u_{n}]}\operatorname{grad}I(u_{n})\to0\) as \(n\to\infty\), then \((u_{n})\) has a convergent subsequence.
Theorem 3
see [1]
Let E be a Hilbert space and \(E^{i}\), \(i=1,2,3\), be three subspaces of E such that \(E=E^{1}\oplus E^{2}\oplus E^{3}\) with \(1\leq\dim E^{2}<+\infty\), and \(I\in C^{1,1}(E,R)\). Define
where \(R>0\) and \(0\leq R'<\rho<R''\). Especially, if \(R'=0\), we have
Assume that
If the condition \(\nabla^{*}(E^{1}\oplus E^{3},c)\) and the \((Ce)^{*}_{c}\) condition hold at any \(c\in[\alpha_{0}, \beta_{0}]\), then I has at least two critical points in \(I^{-1}([\alpha_{0},\beta_{0}])\).
Define the functional \(J: H\to R\) as follows:
From the subcritical growth condition (F1), it is easy to verify that \(J\in C^{1}(H,R)\) and
for all \((\phi,\psi)\in H\). It is well known that finding weak solutions of problem (1) is equivalent to finding critical points of the functional J in H. Since Theorem 2 is similar to Theorem 1, we will be devoted to the proof of Theorem 1. Two solutions are obtained by Theorem 3, and the existence of the third solution is proved by the classical linking theorem (see [19, 20]) and Galerkin approximation. Let \(\lambda_{l}\) be the first eigenvalue above \(a-b\) such that dist\((a-b,\sigma(-\Delta))>\delta\) for given \(\delta>0\) and \(a+b\in (\lambda_{k-1},\lambda_{k})\). From the definitions of \(\mu_{\pm i}\), we obtain that
and
Now, define
then \(H=H^{-}\oplus H^{+}\). Especially, set
so that \(\dim Y<\infty\) and \(H^{+}=Y\oplus Y^{\bot}\). Moreover, for any \({\mathbf{u}}={\mathbf{u}^{-}}\oplus{\mathbf{u}^{+}}\in H^{-}\oplus H^{+}\),
Lemma 1
see [2]
Let \(a+b\notin\sigma(-\Delta)\) and \(\lambda_{k}\) be the first eigenvalue above \(a+b\), of multiplicity \(m_{k}\), and \(\lambda_{l}\) be the first eigenvalue above \(a-b\). If \(\operatorname{dist}(a-b,\sigma (-\Delta))>\delta>0\), then there exists a constant \(K=K(a+b,\delta)>0\) such that
Lemma 2
Assume that (2), (F1) and (F3) hold. For any real number c, the functional J satisfies the \((Ce)^{*}_{c}\) condition.
Proof
Let \(W^{1}=H^{-}\), \(W^{2}=H^{+}\), then \(H=H^{-}\oplus H^{+}=W^{1}\oplus W^{2}\). Let \(\{\alpha_{n}\}\) be admissible and \(\{(u_{\alpha_{n}},v_{\alpha _{n}})\}\) be a \((Ce)^{*}_{c}\) sequence, that is,
as \(n\to\infty\).
We first proved that \(\{(u_{\alpha_{n}},v_{\alpha_{n}})\}\) is bounded in H. Arguing by contradiction, we suppose that \(\|(u_{\alpha _{n}},v_{\alpha_{n}})\|=(\|u_{\alpha_{n}}\|^{2}+\|v_{\alpha_{n}}\|^{2})^{1/2}\to \infty\) as \(n\to\infty\). Define
then \(\{(\tilde{u}_{\alpha_{n}},\tilde{v}_{\alpha_{n}})\}\) is bounded in H, i.e.,
From (F3) and the continuity of F, there exists a constant \(M_{1}\) such that
for any \((x,s,t)\in\Omega\times R^{2}\). Hence, one gets
where \(|\Omega|\) denotes the Lebesgue measure of the set Ω. From (7) and the above inequality, there is a positive constant \(c_{3}\) such that
Let \((u_{\alpha_{n}}, v_{\alpha_{n}})=(u_{\alpha_{n}}^{-}, v_{\alpha _{n}}^{-})+(u_{\alpha_{n}}^{+}, v_{\alpha_{n}}^{+})\in H_{\alpha_{n}}=H^{-}_{\alpha_{n}}\oplus H^{+}_{\alpha_{n}}\) and note that
We first consider the case \(\frac{2N}{N+2}r<\beta\), by Hölder’s inequality, (F1), (3) and (9), we have
Similarly, we obtain
where \(c_{4}\) is a positive constant. Hence, it follows from the above two inequalities that
For the case \(\frac{N}{2}(r-1)<\beta<\frac{N}{2}(r-1)\), let
By Hölder’s inequality, (F1), (3) and (9), we have
Similarly, we obtain
where \(c_{5}\) is a positive constant. Therefore, from the above two inequalities, one has
Dividing (10) (or (11)) by \(\|u_{\alpha_{n}}\|^{2}+\| v_{\alpha_{n}}\|^{2}\), it follows from (7) that
Similarly, we obtain
From (12) and (13), we have the following contradiction:
as \(n\to\infty\). Hence, \(\{(u_{\alpha_{n}},v_{\alpha_{n}})\}\) must be bounded.
It follows that there is a subsequence of \(\{(u_{\alpha_{n}},v_{\alpha _{n}})\}\), still denoted by \(\{(u_{\alpha_{n}},v_{\alpha_{n}})\}\), and \((u,v)\in H\) such that \((u_{\alpha_{n}},v_{\alpha_{n}})\rightharpoonup(u,v)\) weakly in H, \((u_{\alpha_{n}},v_{\alpha_{n}})\to(u,v)\) strongly in \(L^{p}(\Omega)\times L^{p}(\Omega)\) for any \(1\leq p<2^{*}\), and \((u_{\alpha_{n}}(x),v_{\alpha_{n}}(x))\to (u(x),v(x))\) for a.e. \(x\in\Omega\). Therefore, from (7), we have
Recalling the boundedness of \(\{(u_{\alpha_{n}},v_{\alpha_{n}})\}\), Hölder’s inequality and (F1), we obtain
Similarly, we have
From (14), (15), (16), (17) and (18), it follows that
Similarly, we obtain
which implies that \((u_{\alpha_{n}},v_{\alpha_{n}})\to(u,v)\) strongly in H. □
Let \(H^{-}_{n}\subset H^{-}\), \(H^{+}_{n}\subset Y^{\perp}\) for any n, \(H_{n}=H^{-}_{n}\oplus Y\oplus H^{+}_{n}\) with \(\dim H_{n}<\infty\), \(H_{n}\subset H_{n+1}\), \(\bigcup_{n\in N}H_{n}\) is dense in H. We will prove that the condition \(\nabla^{*}(H^{-}\oplus Y^{\perp},c)\) holds for any real number c.
Lemma 3
Assume that (2), (F1) and (F3) hold. For any real number c and any sequence \(\{(u_{n},v_{n})\}\) such that
as \(n\to\infty\), there is a subsequence of \(\{(u_{n},v_{n})\}\) which converges to a point \((u,v)\) such that \(J(u,v)=c\) and \(P_{H^{-}\oplus Y^{\perp}\oplus[(u,v)]}J'(u,v)=0\).
Proof
We first claim that \(\{(u_{n},v_{n})\}\) is bounded in H. Arguing by contradiction, we suppose that \(\|(u_{n},v_{n})\|\to\infty\) as \(n\to\infty\), define \(\tilde{u}_{n}=u_{n}\setminus\|(u_{n},v_{n})\|\), \(\tilde {v}_{n}=v_{n}\setminus\|(u_{n},v_{n})\|\), then \(\{(\tilde{u}_{n},\tilde{v}_{n})\}\) is bounded in H, that is,
Hence there is a subsequence of \(\{(\tilde{u}_{n},\tilde{v}_{n})\}\), still denoted by \(\{(\tilde{u}_{n},\tilde{v}_{n})\}\), and \((\tilde{u},\tilde {v})\in H\) such that \((\tilde{u}_{n},\tilde{v}_{n})\rightharpoonup(\tilde{u},\tilde{v})\) weakly in H, \((\tilde{u}_{n},\tilde{v}_{n})\to(\tilde{u},\tilde{v})\) strongly in \(L^{p}(\Omega)\times L^{p}(\Omega)\), and \((\tilde{u}_{n}(x),\tilde{v}_{n}(x))\to(\tilde{u}(x),\tilde{v}(x))\) for a.e. \(x\in\Omega\). From (8), we obtain
Dividing the above expression by \(\|(u_{n},v_{n})\|^{\beta}\), it follows from (21) that
which implies that \((\tilde{u},\tilde{v})=(0,0)\), that is, \((\tilde {u}_{n},\tilde{v}_{n})\rightharpoonup(0,0)\) weakly in H. Similar to the proof of Lemma 2, we can obtain that \((\tilde{u}_{n},\tilde {v}_{n})\to(0,0)\) strongly in H, which is a contradiction to \(\|\tilde {u}_{n}\|^{2}+\|\tilde{v}_{n}\|^{2}=1\). Hence \(\{(u_{n},v_{n})\}\) is bounded. As was already noted in the proof of Lemma 2, the same proof implies that \((u_{n},v_{n})\) converges in H. □
Lemma 4
If (F1), (F2) and (F3) hold, then there is \(\varepsilon'>0\) such that J has no critical point \((u,v)\) with \(0<|J(u,v)|<\varepsilon'\).
Proof
We first claim that \((0,0)\) is an isolated critical point for J. Actually, from (F1) and (F2), for any \(\varepsilon >0\), there is \(M_{2}=M_{2}(\varepsilon)>0\) such that
hence, we have
which together with Lemma 1 and (3) implies that for any \((u,v)\in H^{+}\),
and for any \((u,v)\in H^{-}\),
Since \(r+1>2\), let \(\varepsilon<\frac{K}{2C^{2}}\), there exists a positive constant \(R_{0}\) such that
which implies that \((0,0)\) is an isolated critical point for J.
Moreover, \((0,0)\) is the only critical point \((u,v)\) of J with \(J(u,v)=0\). In fact, if \((u,v)\) is such a point
we obtain
from (F3), it follows that \((u,v)=(0,0)\).
Now we will finish the argument by contradiction. If there is a sequence \(\{(u_{n},v_{n})\}\) such that \(J'(u_{n},v_{n})=0\), \(J(u_{n},v_{n})\neq0\) for any n and \(J(u_{n},v_{n})\to0\) as \(n\to\infty\). Similar to the proof of Lemma 2, we have that \((u_{n},v_{n})\) converges to a critical point \((u,v)\) with \(J(u,v)=0\), which implies that \((u_{n},v_{n})\to(0,0)\) as \(n\to\infty \), but \((0,0)\) is an isolated critical point for J. Hence we obtain a contradiction. □
Next, we will prove that the functional J satisfies the geometry of Theorem 3. We introduce some notations for the later convenience. For \(R, \rho>0\), let
Lemma 5
Suppose that (2), (F1), (F2), (F3) and (F4) are satisfied. For any \(a+b\in(\lambda_{k-1},\lambda_{k})\), there exist \(R>\rho>0\) such that
Proof
From (5), Lemma 1 and (F4), for any \((u,v)\in H^{-}\), we have
In view of (2) and the continuity of F, for any \(c_{6}>0\), there is \(M_{3}>0\) such that
which implies that
which together with (6) implies that for any \((u,v)=(u^{-},v^{-})\oplus(u^{\sim},v^{\sim})\in H^{-}\oplus Y\) and \(a+b\in (\lambda_{k-1},\lambda_{k})\),
Let \(c_{6}>\lambda_{k}-(a+b)\), the above expression implies that
From (22), (23) and (25), there are two constants \(R>\rho>0\) such that
□
Lemma 6
If (F4) holds, then for \(R>0\) in Lemma 5 and for any \(\varepsilon''>0\), there exists \(\varepsilon_{0}>0\) such that for any \(a+b\in(\lambda_{k}-\varepsilon_{0},\lambda_{k})\), we have
Proof
For any \((u,v)=(u^{-},v^{-})\oplus(u^{\sim},v^{\sim})\in H^{-}\oplus Y\), in view of Lemma 1, (F4) and the fact that \(a+b<\lambda _{k}\), we have
Let \(\varepsilon_{0}=2\lambda_{k}\varepsilon''/R^{2}\), it is easy to see that the conclusion holds. □
Proof of Theorem 1
The argument is finished by two steps.
(a) There are two critical points \((u_{1},v_{1})\) and \((u_{2},v_{2})\) of the functional J, which satisfy
Let \(\varepsilon\in(0,\varepsilon')\), \(\alpha_{0}=\inf J(S_{\rho})\) and \(\beta_{0}=\sup J(T_{R})\), where \(\varepsilon'\) is defined in Lemma 4. It follows from Lemmas 3 and 6 that \(J|_{H^{-}\oplus Y^{\perp}}\) has no critical levels between \(\alpha_{0}\) and \(\beta_{0}\), hence the functional J satisfies the condition \(\nabla^{*}(H^{-}\oplus Y^{\perp},c)\) for any \(c\in[\alpha_{0},\beta_{0}]\). Lemma 2 shows that the \((Ce)^{*}_{c}\) condition holds true for any \(c\in[\alpha_{0},\beta_{0}]\). Hence two critical points are obtained from Theorem 3.
(b) There is the third critical point, which is different from \((u_{1},v_{1})\) and \((u_{2},v_{2})\). Let \((\varphi_{k}, \varphi_{k})\in H^{+}\) be fixed, define
For any \((u,v)=(u^{-},v^{-})+(r\varphi_{k}, r\varphi_{k})\), \(r\geq0\), from (24), we get
Picking \(c_{6}>\lambda_{k}\mu_{k}\), it follows from (22), (26) and \(r+1>2\) that there exists \(R_{1}>\rho_{1}>0\) such that
Let \(\{H_{n}\}\) be a sequence of subspaces of H, which is defined as before, then \((\varphi_{k}, \varphi_{k})\in H_{n}\) for all n, we can prove that for any n,
Similar to the proof of Lemma 2, the functional \(J|_{H_{n}}\) satisfies the \((Ce)_{c}\) condition for any \(c\in R\). Hence, by linking argument, there exists a critical point \((u_{n},v_{n})\) of \(J|_{H_{n}}\) with
From Lemma 2, there is a subsequence of \(\{(u_{n},v_{n})\}\), also denoted by \(\{(u_{n},v_{n})\}\), and \((u,v)\in H\) such that \((u_{n},v_{n})\to(u,v)\) as \(n\to\infty\), which implies that \((u,v)\) is a critical point for J with
□
References
Marino, A, Saccon, C: Nabla theorems and multiple solutions for some noncooperative elliptic systems. Topol. Methods Nonlinear Anal. 17, 213-237 (2001)
Massa, E, Rossato, RA: Multiple solutions for an elliptic system near resonance. J. Math. Anal. Appl. 420, 1228-1250 (2014)
Mawhin, J, Schmitt, K: Nonlinear eigenvalue problems with the parameter near resonance. Ann. Pol. Math. 51, 241-248 (1990)
Ma, TF, Ramos, M, Sanchez, L: Multiple solutions for a class of nonlinear boundary value problems near resonance: a variational approach. Proceedings of the Second World Congress of Nonlinear Analysts, Part 6, Athens, 1996. Nonlinear Anal. 30(6), 3301-3311 (1997)
Ma, TF, Pelicer, ML: Perturbations near resonance for the p-Laplacian in \(R^{N}\). Abstr. Appl. Anal. 7(6), 323-334 (2002)
Afrouzi, GA, Mahdavi, S, Naghizadeh, Z: Existence of multiple solutions for a class of \((p,q)\)-Laplacian systems. Nonlinear Anal. 72(5), 2243-2250 (2010)
de Paiva, FO, Massa, E: Semilinear elliptic problems near resonance with a nonprincipal eigenvalue. J. Math. Anal. Appl. 342(1), 638-650 (2008)
Ke, XF, Tang, CL: Existence and multiplicity of solutions for asymptotically linear noncooperative elliptic systems. J. Math. Anal. Appl. 375, 631-647 (2011)
Mugnai, D: Multiplicity of critical points in presence of a linking: application to a superlinear boundary value problem. Nonlinear Differ. Equ. Appl. 11, 379-391 (2004)
Marino, A, Saccon, C: Some variational theorems of mixed type and elliptic problems with jumping nonlinearities. Ann. Sc. Norm. Super. Pisa, Cl. Sci. (4) 25(3), 661-665 (1997)
Wang, F: Multiple solutions for some nonlinear Schrödinger equations with indefinite linear part. J. Math. Anal. Appl. 331, 1001-1022 (2007)
Wang, W, Zang, A, Zhao, P: Multiplicity of solutions for a class of fourth elliptic equations. Nonlinear Anal. 70, 4377-4385 (2009)
Pei, R, Zhang, J: Existence of three nontrivial solutions for semilinear elliptic equations on \(R^{N}\). Front. Math. China 11, 723-735 (2016)
Mugnai, D, Pagliardini, D: Existence and multiplicity results for the fractional Laplacian in bounded domains. Adv. Calc. Var. (2015). doi:10.1515/acv-2015-0032
Ou, ZQ, Li, C: Existence of three nontrivial solutions for a class of superlinear elliptic equations. J. Math. Anal. Appl. 390, 418-426 (2012)
Li, SJ, Willem, M: Applications of local linking to critical point theory. J. Math. Anal. Appl. 189(1), 6-32 (1995)
Luan, S, Mao, A: Periodic solutions for a class of non-autonomous Hamiltonian systems. Nonlinear Anal. 61, 1413-1426 (2005)
Bartolo, P, Benci, V, Fortunato, D: Abstract critical point theorems and applications to some nonlinear problems with strong resonance at infinity. Nonlinear Anal. 7, 981-1012 (1983)
Rabinowitz, PH: Minimax Methods in Critical Point Theory with Applications to Differential Equations. CBMS Regional Conference Series in Mathematics, vol. 65. Am. Math. Soc., Providence (1986)
Struwe, M: Variational Methods: Applications to Nonlinear Partial Differential Equations and Hamiltonian Systems. Springer, New York (1990)
Acknowledgements
The authors sincerely thank the editor and the referees for their many valuable comments and suggestions. Lv was supported partially by NSFC (11601438), Ou and Li were supported partially by NSFC (11471267), the authors thank NSF of China.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors contributed equally to this paper. All authors read and approved the final manuscript.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Lv, Y., Ou, ZQ. & Li, C. Multiplicity of nontrivial solutions for a class of superquadratic elliptic systems near resonance. Bound Value Probl 2017, 76 (2017). https://doi.org/10.1186/s13661-017-0805-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-017-0805-x