## Boundary Value Problems

Impact Factor 0.819

Open Access

# Gradient systems with sublinear term near the origin and asymptotically linear term near infinity

Boundary Value Problems20132013:280

https://doi.org/10.1186/1687-2770-2013-280

Accepted: 3 December 2013

Published: 30 December 2013

## Abstract

In this paper we study the existence of nontrivial solutions for a sublinear gradient system with a nontrivial critical group at infinity.

MSC:35J10, 35J65, 58E05.

### Keywords

gradient system sublinear critical group Morse theory

## 1 Introduction

In this paper, we are concerned with the following gradient system
$\left\{\begin{array}{ll}-\mathrm{\Delta }u={F}_{u}\left(x,u,v\right),& x\in \mathrm{\Omega },\\ -\mathrm{\Delta }v={F}_{v}\left(x,u,v\right),& x\in \mathrm{\Omega },\\ u=v=0,& x\in \partial \mathrm{\Omega },\end{array}$
(GS)

where $\mathrm{\Omega }\subset {\mathbb{R}}^{N}$ is a bounded open domain with a smooth boundary Ω and ${F}_{u}$ designates the partial derivative with respect to u of the nonlinearity $F:\mathrm{\Omega }×{\mathbb{R}}^{2}\to \mathbb{R}$. The solutions of such systems are steady-states of reaction-diffusion systems arising in many applied sciences such as biology, chemistry, ecology or physics. It is well known that (GS) has variational structure when the nonlinearity F satisfies the subcritical growth condition

(F) $F\in {C}^{1}\left(\mathrm{\Omega }×{\mathbb{R}}^{2},\mathbb{R}\right)$ and there are $C>0$ and $2 such that

where ${2}^{\ast }=\frac{2N}{N-2}$ if $N⩾3$ and ${2}^{\ast }=\mathrm{\infty }$ if $N=1,2$.

That is, the solutions of (GS) can be found as critical points of the following functional
$\mathrm{\Phi }\left(u,v\right):=\frac{1}{2}{\int }_{\mathrm{\Omega }}{|\mathrm{\nabla }u|}^{2}+{|\mathrm{\nabla }v|}^{2}\phantom{\rule{0.2em}{0ex}}dx-{\int }_{\mathrm{\Omega }}F\left(x,u,v\right)\phantom{\rule{0.2em}{0ex}}dx$
defined on $E:={H}_{0}^{1}\left(\mathrm{\Omega }\right)×{H}_{0}^{1}\left(\mathrm{\Omega }\right)$ which is a Hilbert space endowed with the inner product
$〈z,w〉=〈\left(u,v\right),\left(\varphi ,\psi \right)〉={\int }_{\mathrm{\Omega }}\left(\mathrm{\nabla }u\mathrm{\nabla }\varphi +\mathrm{\nabla }v\mathrm{\nabla }\psi \right)\phantom{\rule{0.2em}{0ex}}dx,\phantom{\rule{1em}{0ex}}z=\left(u,v\right),w=\left(\varphi ,\psi \right)\in E$
and the associated norm
${\parallel z\parallel }^{2}={\int }_{\mathrm{\Omega }}{|\mathrm{\nabla }z|}^{2}\phantom{\rule{0.2em}{0ex}}dx={\int }_{\mathrm{\Omega }}{|\mathrm{\nabla }u|}^{2}+{|\mathrm{\nabla }v|}^{2}\phantom{\rule{0.2em}{0ex}}dx,\phantom{\rule{1em}{0ex}}z=\left(u,v\right)\in E.$
By the compact Sobolev embedding $E↪{L}^{q}\left(\mathrm{\Omega }\right)×{L}^{q}\left(\mathrm{\Omega }\right)$ with $q\in \left[1,{2}^{\ast }\right)$, under the global assumption (F), the functional Φ is well defined and is of class ${C}^{1}$ (see [1]) with its Fréchet derivative
$〈{\mathrm{\Phi }}^{\prime }\left(u,v\right),\left(\phi ,\psi \right)〉={\int }_{\mathrm{\Omega }}\left(\mathrm{\nabla }u\mathrm{\nabla }\phi +\mathrm{\nabla }v\mathrm{\nabla }\psi \right)\phantom{\rule{0.2em}{0ex}}dx-{\int }_{\mathrm{\Omega }}\left(\mathrm{\nabla }F\left(x,u,v\right),\left(\phi ,\psi \right)\right)\phantom{\rule{0.2em}{0ex}}dx$

for $\left(u,v\right),\left(\phi ,\psi \right)\in E$. The weak solutions to (GS) in E are exactly critical points of Φ in E.

We make some conventions. We use $|\cdot |$ and $\left(\cdot ,\cdot \right)$ to denote the norm and the inner product in ${\mathbb{R}}^{2}$ and use $z=\left(u,v\right)$ to denote an element in ${\mathbb{R}}^{2}$ and E. Bz denotes the matrix product in ${\mathbb{R}}^{2}$ for a $2×2$ matrix B and $z=\left(u,v\right)\in {\mathbb{R}}^{2}$. We use 0 to denote the origin in various spaces. Let ${\mathcal{M}}_{2}\left(\mathrm{\Omega }\right)$ be the set of all continuous, cooperative and symmetric matrix functions on ${\mathbb{R}}^{2}$. A matrix function $A\in {\mathcal{M}}_{2}\left(\mathrm{\Omega }\right)$ takes the form
$A\left(x\right)=\left(\begin{array}{cc}a\left(x\right)& b\left(x\right)\\ b\left(x\right)& c\left(x\right)\end{array}\right)$

with the functions $a,b,c\in C\left(\overline{\mathrm{\Omega }},\mathbb{R}\right)$ satisfying the conditions that $b\left(x\right)⩾0$ for all $x\in \overline{\mathrm{\Omega }}$, which means A is cooperative, and that ${max}_{x\in \overline{\mathrm{\Omega }}}\left\{a,c\right\}>0$.

When F satisfies $\mathrm{\nabla }F\left(x,0\right)=0$, $F\left(x,0\right)=0$ for $x\in \mathrm{\Omega }$, the system (GS) admits a trivial solution $z=0$. We are interested in the nontrivial solutions for (GS). In the current paper we apply the Morse theory to study the existence of nontrivial solutions of (GS) when the problem is sublinear near the origin and is asymptotically linear near infinity.

We make the following assumption near the origin.

(${F}_{0}$) $\mathrm{\nabla }F\left(x,0\right)=0$, $F\left(x,0\right)=0$ and there are $\delta >0$ and $1<\sigma <2$ such that
In order to state the assumptions on the nonlinearity at infinity, we need some basic facts about the eigenvalue problem of linear gradient system. For a given matrix $A\in {\mathcal{M}}_{2}\left(\mathrm{\Omega }\right)$, it is known (see [2, 3]) that the corresponding linear system
admits a sequence of distinct eigenvalues of finite multiplicity
$0<{\lambda }_{1}\left(A\right)<{\lambda }_{2}\left(A\right)<\cdots <{\lambda }_{k}\left(A\right)<\cdots$
such that ${\lambda }_{k}\left(A\right)\to \mathrm{\infty }$ as $k\to \mathrm{\infty }$. According to A, the space E can be split as
$E={E}_{A}^{-}\oplus {E}_{A}\oplus {E}_{A}^{+},$
where
${E}_{A}=ker\left(\mathrm{\Delta }+A\right),\phantom{\rule{2em}{0ex}}{E}_{A}^{-}=\underset{{\lambda }_{k}\left(A\right)<1}{⨁}ker\left(\mathrm{\Delta }+{\lambda }_{k}\left(A\right)A\right).$

The numbers $m\left(A\right)=dim{E}_{A}^{-}$, $n\left(A\right)=dim{E}_{A}$ are well determined and finite.

We assume that the nonlinear system (GS) is asymptotically linear at infinity in the sense that the function F satisfies

(${F}_{\mathrm{\infty }}$) there is a matrix ${B}_{\mathrm{\infty }}\in {\mathcal{M}}_{2}\left(\mathrm{\Omega }\right)$ such that
$\mathrm{\nabla }F\left(x,z\right)-{B}_{\mathrm{\infty }}\left(x\right)z=o\left(|z|\right),\phantom{\rule{1em}{0ex}}|z|\to \mathrm{\infty },z\in {\mathbb{R}}^{2},x\in \mathrm{\Omega }.$

Associated to ${B}_{\mathrm{\infty }}$, we set ${E}_{\mathrm{\infty }}^{-}={E}_{{B}_{\mathrm{\infty }}}^{-}$, ${E}_{\mathrm{\infty }}={E}_{{B}_{\mathrm{\infty }}}$, ${E}_{\mathrm{\infty }}^{+}={E}_{{B}_{\mathrm{\infty }}}^{+}$. Denote ${m}_{\mathrm{\infty }}=m\left({B}_{\mathrm{\infty }}\right):=dim{E}_{\mathrm{\infty }}^{-}$, ${n}_{\mathrm{\infty }}={n}_{{B}_{\mathrm{\infty }}}:=dim{E}_{\mathrm{\infty }}$. We say that the system (GS) is nonresonant at infinity if ${n}_{\mathrm{\infty }}=0$, while it is resonant at infinity if ${n}_{\mathrm{\infty }}>0$.

We first consider the nonresonance case. We have the following.

Theorem 1.1 Assume that F satisfies (${F}_{0}$), (${F}_{\mathrm{\infty }}$) and ${n}_{\mathrm{\infty }}=0$. Then (GS) has at least one nontrivial weak solution in E.

Next we consider the resonance case. We need additional assumptions on F near infinity.

(${F}_{\mathrm{\infty }1}$) ${\lambda }_{1}\left({B}_{\mathrm{\infty }}\right)=1$ and
(${F}_{\mathrm{\infty }2}^{±}$) ${\lambda }_{k}\left({B}_{\mathrm{\infty }}\right)=1$ for some $k⩾2$. For ${z}_{n}={y}_{n}+{w}_{n}$, where ${y}_{n}\in {E}_{\mathrm{\infty }}$, ${w}_{n}\in {E}_{\mathrm{\infty }}^{\perp }$, $\parallel {z}_{n}\parallel \to \mathrm{\infty }$ and $\frac{\parallel {y}_{n}\parallel }{\parallel {z}_{n}\parallel }\to 1$ imply that there exist $\delta >0$ and $N\in \mathbb{N}$ such that

Theorem 1.2 Let F satisfy (${F}_{0}$), (${F}_{\mathrm{\infty }}$) and (${F}_{\mathrm{\infty }1}$). Then (GS) has at least one nontrivial weak solution in E. Moreover, if F is even in z, then (GS) has infinitely many nontrivial weak solutions in E.

Theorem 1.3 Let F satisfy (${F}_{0}$), (${F}_{\mathrm{\infty }}$) and (${F}_{\mathrm{\infty }2}^{±}$). Then (GS) has at least one nontrivial weak solution in E.

Now we give some remarks and comments. The gradient system represents the steady-state case of reaction-diffusion system which is a model for problems arising from biology, chemistry, physics and ecology, etc. In this paper we look for nontrivial solutions for the system (GS) via Morse theory. When the problem is resonant at infinity, we impose on the nonlinearity F the global assumption (${F}_{\mathrm{\infty }}^{±}$) to ensure the compactness and clear description of critical groups for Φ at infinity. (${F}_{\mathrm{\infty }}^{±}$) can be regarded as a variant of the famous Landesman-Lazer type resonance condition [4] which can be formulated as

See [5] for details. Near the origin we impose (${F}_{0}$), which means that F is sublinear or F is sub-quadratic near zero. This kind of condition caught our attention first in a preprint by Liu and Wu [6] where a single elliptic equation was considered. This is the first use for gradient system in the current paper.

The asymptotically linear gradient systems (GS) have received some attention for years. We mention some recent related works [712] and the references therein. In these works, existence and multiplicity of nontrivial solutions for (GS) were obtained by combining various arguments involving Morse theory, saddle point reduction method (see [911]) and three critical point theorem (see [13]), etc. All above mentioned works dealt with the case that at least one of the critical groups of Φ at 0 is nontrivial somewhere. In the present paper, we study via Morse theory the case that all critical groups of Φ at 0 are trivial under the condition (${F}_{0}$). Due to (${F}_{0}$), the saddle point reduction methods [911] cannot be applied and there is no linking at 0. Comparing with known ones, the existence and multiplicity results for (GS) are all new. See more remarks in the last section of the paper.

The paper is organized as follows. In Section 2, we collect some basic abstract tools. In Section 3 we compute the critical groups at zero and infinity. The proofs of Theorems 1.1-1.3 and comments are given in Section 4.

## 2 Preliminary

In this section we cite some preliminaries that will be used to prove the main results of the paper. We first collect some results on Morse theory (see [14, 15]) for a ${C}^{1}$ functional Φ defined on a Hilbert space E.

Let $\mathrm{\Phi }\in {C}^{1}\left(E,\mathbb{R}\right)$. Denote for $c\in \mathbb{R}$
${\mathrm{\Phi }}^{c}=\left\{z\in E:\mathrm{\Phi }\left(z\right)⩽c\right\},\phantom{\rule{2em}{0ex}}{\mathcal{K}}_{c}=\left\{z\in E:{\mathrm{\Phi }}^{\prime }\left(z\right)=0,\mathrm{\Phi }\left(z\right)=c\right\}.$
We say that Φ possesses the deformation property at the level $c\in \mathbb{R}$ if for any $\overline{ϵ}>0$ and any neighborhood $\mathcal{A}$ of ${\mathcal{K}}_{c}$, there are $ϵ>0$ and a continuous deformation $\eta :E×\left[0,1\right]\to E$ such that
1. (1)

$\eta \left(z,t\right)=z$ for either $t=0$ or $z\notin {\mathrm{\Phi }}^{-1}\left[c-\overline{ϵ},c+\overline{ϵ}\right]$;

2. (2)

$\mathrm{\Phi }\left(\eta \left(z,t\right)\right)$ is non-increasing in t for any $z\in E$;

3. (3)

$\eta \left({\mathrm{\Phi }}^{c+ϵ}\setminus \mathcal{N}\right)\subset {\mathrm{\Phi }}^{c-ϵ}$.

We say that Φ possesses the deformation property if Φ possesses the deformation property at each level $c\in \mathbb{R}$.

In applications the deformation property is ensured by the Palais-Smale condition or the Cerami condition.

We say that Φ satisfies the Palais-Smale condition at the level $c\in \mathbb{R}$ if any sequence $\left\{{z}_{n}\right\}\subset E$ satisfying $\mathrm{\Phi }\left({z}_{n}\right)\to c$ and ${\mathrm{\Phi }}^{\prime }\left({z}_{n}\right)\to 0$ as $n\to \mathrm{\infty }$ has a convergent subsequence. Φ satisfies the Palais-Smale condition if Φ satisfies the Palais-Smale condition at each $c\in \mathbb{R}$. We say that Φ satisfies the Cerami condition [16, 17] at the level $c\in \mathbb{R}$ if any sequence $\left\{{z}_{n}\right\}\subset E$ satisfying that $\mathrm{\Phi }\left({z}_{n}\right)\to c$, $\left(1+\parallel {z}_{n}\parallel \right)\parallel {\mathrm{\Phi }}^{\prime }\left({z}_{n}\right)\parallel \to 0$ as $n\to \mathrm{\infty }$ has a convergent subsequence. Φ satisfies the Cerami condition if Φ satisfies the Cerami condition at each $c\in \mathbb{R}$.

If Φ satisfies the Palais-Smale condition or the Cerami condition, then Φ possesses the deformation property [14, 16].

Let ${z}_{0}$ be an isolated critical point of Φ with $\mathrm{\Phi }\left({z}_{0}\right)=c\in \mathbb{R}$, and U be a neighborhood of ${z}_{0}$. The group
${C}_{q}\left(\mathrm{\Phi },{z}_{0}\right):={H}_{q}\left({\mathrm{\Phi }}^{c}\cap U,{\mathrm{\Phi }}^{c}\cap U\setminus \left\{{z}_{0}\right\}\right),\phantom{\rule{1em}{0ex}}q\in \mathbb{Z}$

is called the q th critical group of Φ at ${z}_{0}$, where ${H}_{\ast }\left(A,B\right)$ denotes a singular relative homology group of the pair $\left(A,B\right)$ with integer coefficients.

Let $\mathcal{K}=\left\{z\in E:{\mathrm{\Phi }}^{\prime }\left(z\right)=0\right\}$. Assume that $\mathrm{\Phi }\left(\mathcal{K}\right)$ is bounded from below by $a\in \mathbb{R}$ and Φ possesses the deformation property at all $c⩽a$. Then the group
${C}_{q}\left(\mathrm{\Phi },\mathrm{\infty }\right):={H}_{q}\left(E,{\mathrm{\Phi }}^{a}\right),\phantom{\rule{1em}{0ex}}q\in \mathbb{Z}$

is called the q th critical group of Φ at infinity [18].

Assume that Φ satisfies the deformation property and $\mathcal{K}$ is a finite set. The Morse type numbers of the pair $\left(E,{\mathrm{\Phi }}^{a}\right)$ are defined by ${M}_{q}:={\sum }_{z\in \mathcal{K}}dim{C}_{q}\left(\mathrm{\Phi },z\right)$, and the Betti numbers of the pair $\left(E,{\mathrm{\Phi }}^{a}\right)$ are defined by ${\beta }_{q}:=dim{C}_{q}\left(\mathrm{\Phi },\mathrm{\infty }\right)$.

Proposition 2.1 Assume that $\mathrm{\Phi }\in {C}^{1}\left(E,\mathbb{R}\right)$ possesses the deformation property, $\mathrm{#}\mathcal{K}<\mathrm{\infty }$, and all ${M}_{q}$, ${\beta }_{q}$ are finite and only finitely many of them are nonzero. Then it holds
$\sum _{j=0}^{q}{\left(-1\right)}^{q-j}{M}_{j}⩾\sum _{j=0}^{q}{\left(-1\right)}^{q-j}{\beta }_{j}\phantom{\rule{1em}{0ex}}\left(\mathit{\text{Morse inequality}}\right),$
(2.1)
$\sum _{q=0}^{\mathrm{\infty }}{\left(-1\right)}^{q}{M}_{q}=\sum _{q=0}^{\mathrm{\infty }}{\left(-1\right)}^{q}{\beta }_{q}\phantom{\rule{1em}{0ex}}\left(\mathit{\text{Morse equality}}\right).$
(2.2)

If $\mathcal{K}=\mathrm{\varnothing }$, then ${\beta }_{q}=0$ for all $q\in \mathbb{Z}$. From (2.1) one can deduce that ${M}_{q}⩾{\beta }_{q}$ for all $q\in \mathbb{Z}$. Thus if ${\beta }_{q}\ne 0$ for some ${q}_{\ast }\in \mathbb{Z}$, then Φ must have a critical point ${z}^{\ast }$ with ${C}_{{q}_{\ast }}\left(\mathrm{\Phi },{z}^{\ast }\right)\ncong 0$. If $\mathcal{K}=\left\{{z}^{\ast }\right\}$, then ${C}_{q}\left(\mathrm{\Phi },\mathrm{\infty }\right)\cong {C}_{q}\left(\mathrm{\Phi },{z}^{\ast }\right)$ for all $q\in \mathbb{Z}$. Thus if ${C}_{q}\left(\mathrm{\Phi },\mathrm{\infty }\right)\ncong {C}_{q}\left(\mathrm{\Phi },{z}^{\ast }\right)$ for some $q\in \mathbb{Z}$, then Φ must have a new critical point. Therefore the basic idea in applying Morse theory to find critical points of Φ is to compute critical groups both at infinity and at known critical points clearly and then to find unknown critical points by applying formulas (2.1) and (2.2).

Now we state an abstract result for the critical groups at infinity.

Proposition 2.2 Let the functional $\mathrm{\Phi }:E\to \mathbb{R}$ take the form
$\mathrm{\Phi }\left(z\right)=\frac{1}{2}〈\mathcal{L}z,z〉+\mathrm{\Psi }\left(z\right),$
(2.3)
where $\mathcal{L}:E\to E$ is a self-adjoint linear operator such that 0 is isolated in $\sigma \left(\mathcal{L}\right)$, the spectrum of . Assume that $\mathrm{\Psi }\in {C}^{1}\left(E,\mathbb{R}\right)$ satisfies
(2.4)
Denote $V:=ker\mathcal{L}$, $W:={V}^{\perp }={W}^{+}\oplus {W}^{-}$, where ${W}^{±}$ are subspaces on which is positive (negative) definite. Assume that $\mu =dim{W}^{-}$ and $\nu =dimV$ are finite, and Φ possesses the deformation property.
1. (1)
If $\nu =0$, then
${C}_{q}\left(\mathrm{\Phi },\mathrm{\infty }\right)\cong {\delta }_{q,\mu }\mathbb{Z},\phantom{\rule{1em}{0ex}}q\in \mathbb{Z}.$

2. (2)
If $\nu >0$, then
${C}_{q}\left(\mathrm{\Phi },\mathrm{\infty }\right)\cong {\delta }_{q,{k}^{±}}\mathbb{Z},\phantom{\rule{1em}{0ex}}{k}^{+}=\mu ,{k}^{-}=\mu +\nu$

provided Φ satisfies the angle conditions with respect to $E=V\oplus W$:

(${\mathcal{AC}}_{\mathrm{\infty }}^{±}$) there exist $M>0$ and $ϵ\in \left(0,1\right)$ such that

Proposition 2.1(1) was obtained in [19] (see Remark 5.2 in [14]). Proposition 2.1(2) is a revision of Proposition 3.10 in [18] which was made first in [20] and was remade in [21].

Next we recall an abstract critical point theorem built by Wang in [22].

Proposition 2.3 ([22])

Let $\mathrm{\Phi }\in {C}^{1}\left(X,\mathbb{R}\right)$, where X is a Banach space. Assume that Φ possesses the deformation property, is even and bounded from below, and $\mathrm{\Phi }\left(0\right)=0$. If for any $k\in \mathbb{N}$, there exist k-dimensional subspaces ${X}_{k}$ and ${\rho }_{k}>0$ such that
$\underset{z\in {X}_{k}\cap {S}_{{\rho }_{k}}}{sup}\mathrm{\Phi }\left(z\right)<0,$
(2.5)

where ${S}_{\rho }=\left\{u\in X\mid \parallel u\parallel =\rho \right\}$, then Φ has a sequence of critical values ${c}_{k}<0$ satisfying ${c}_{k}\to 0$ as $k\to \mathrm{\infty }$.

Finally, we mention the eigenvalues of the linear gradient system (LA). By the compact embedding $E↪{L}^{2}\left(\mathrm{\Omega }\right)×{L}^{2}\left(\mathrm{\Omega }\right)$, for a given $A\in {\mathcal{M}}_{2}\left(\mathrm{\Omega }\right)$, there is a compact self-adjoint operator ${T}_{A}:E\to E$ associated with A such that
$〈{T}_{A}z,w〉={\int }_{\mathrm{\Omega }}\left(A\left(x\right)z,w\right)\phantom{\rule{0.2em}{0ex}}dx,\phantom{\rule{1em}{0ex}}z,w\in E.$
The operator ${T}_{A}$ possesses the property that $\lambda \left(A\right)$ is an eigenvalue of (LA) if and only if there is nonzero $z\in E$ such that
$\lambda \left(A\right){T}_{A}z=z.$
(LA) has a sequence of distinct eigenvalues
$0<{\lambda }_{1}\left(A\right)<{\lambda }_{2}\left(A\right)<\cdots <{\lambda }_{k}\left(A\right)<\cdots \to \mathrm{\infty },$

and each eigenvalue $\lambda \left(A\right)$ of (LA) has a finite multiplicity. All eigenvectors of (LA) form a Hilbertian basis of E and that E can be split as $E={E}_{A}^{-}\oplus {E}_{A}\oplus {E}_{A}^{+}$, where ${E}_{A}^{-}$, ${E}_{A}^{+}$, ${E}_{A}$ are the negative, positive definite invariant subspaces and the kernel of $I-{T}_{A}$, respectively. We refer to [2, 3] for more properties related to the eigenvalue problem (LA) and the operator ${T}_{A}$.

## 3 Critical groups and compactness

In this section we verify the compactness of the functional Φ and compute the critical groups of Φ at both zero and infinity. Without loss of generality, we assume that (GS) has finitely many weak solutions so that the trivial solution $z=0$ is an isolated critical point of Φ. We first compute the critical groups ${C}_{q}\left(\mathrm{\Phi },0\right)$. The idea was from an unpublished preprint by Liu and Wu [6] where a single elliptic equation was studied.

We work with the functional
$\mathrm{\Phi }\left(z\right)=\frac{1}{2}{\int }_{\mathrm{\Omega }}{|\mathrm{\nabla }z|}^{2}\phantom{\rule{0.2em}{0ex}}dx-{\int }_{\mathrm{\Omega }}F\left(x,z\right)\phantom{\rule{0.2em}{0ex}}dx,\phantom{\rule{1em}{0ex}}z\in E.$
Lemma 3.1 Assume that F satisfies (F) and (${F}_{0}$), then
(3.1)

Proof Denote ${B}_{\rho }:=\left\{z\in E:\parallel z\parallel ⩽\rho \right\}$. By definition of critical groups, we can write ${C}_{q}\left(\mathrm{\Phi },0\right)\triangleq {H}_{q}\left({B}_{\rho }\cap {\mathrm{\Phi }}^{0},{B}_{\rho }\cap {\mathrm{\Phi }}^{0}\setminus \left\{0\right\}\right)$. We will construct a deformation mapping from $\left({B}_{\rho },{B}_{\rho }\setminus \left\{0\right\}\right)$ to $\left({B}_{\rho }\cap {\mathrm{\Phi }}^{0},{B}_{\rho }\cap {\mathrm{\Phi }}^{0}\setminus \left\{0\right\}\right)$ for $\rho >0$ small.

In the following we use ${c}_{i}$ to denote positive constants. By (${F}_{0}$), one deduces that
(3.2)
It follows from (F) and (2.2) that for some $p\in \left(2,{2}^{\ast }\right)$,
$F\left(x,z\right)⩾{c}_{2}{|z|}^{\sigma }-{c}_{3}{|z|}^{p},\phantom{\rule{1em}{0ex}}x\in \mathrm{\Omega },z\in {\mathbb{R}}^{2}.$
(3.3)
For $z\in E$ and $s>0$, we have
$\begin{array}{rl}\mathrm{\Phi }\left(sz\right)& =\frac{1}{2}{s}^{2}{\int }_{\mathrm{\Omega }}{|\mathrm{\nabla }z|}^{2}\phantom{\rule{0.2em}{0ex}}dx-{\int }_{\mathrm{\Omega }}F\left(x,sz\right)\phantom{\rule{0.2em}{0ex}}dx\\ ⩽\frac{1}{2}{s}^{2}{\parallel z\parallel }^{2}-{\int }_{\mathrm{\Omega }}\left({c}_{2}{|sz|}^{\sigma }-{c}_{3}{|sz|}^{p}\right)\phantom{\rule{0.2em}{0ex}}dx\\ ⩽\frac{1}{2}{s}^{2}{\parallel z\parallel }^{2}-{c}_{2}{s}^{\sigma }{\parallel z\parallel }_{{L}^{\sigma }}^{\sigma }+{c}_{3}{s}^{p}{\parallel z\parallel }_{{L}^{p}}^{p}.\end{array}$
(3.4)
Since $\sigma <2, for each given $z\in E\setminus \left\{0\right\}$, there exists ${s}_{0}={s}_{0}\left(z\right)>0$ such that
(3.5)
Let $z\in E$ be such that $z\ne 0$ and $\mathrm{\Phi }\left(z\right)=0$. Then
$\begin{array}{rl}\frac{d}{ds}\mathrm{\Phi }\left(sz\right){|}_{s=1}& ={\int }_{\mathrm{\Omega }}{|\mathrm{\nabla }z|}^{2}\phantom{\rule{0.2em}{0ex}}dx-{\int }_{\mathrm{\Omega }}\left(\mathrm{\nabla }F\left(x,z\right),z\right)\phantom{\rule{0.2em}{0ex}}dx\\ =\left(1-\frac{\sigma }{2}\right){\parallel z\parallel }^{2}-{\int }_{\mathrm{\Omega }}\left(\left(\mathrm{\nabla }F\left(x,z\right),z\right)-\sigma F\left(x,z\right)\right)\phantom{\rule{0.2em}{0ex}}dx\\ ⩾\left(1-\frac{\sigma }{2}\right){\parallel z\parallel }^{2}-{c}_{4}{\int }_{\mathrm{\Omega }}{|z|}^{p}\phantom{\rule{0.2em}{0ex}}dx\\ ⩾\left(1-\frac{\sigma }{2}\right){\parallel z\parallel }^{2}-{c}_{5}{\parallel z\parallel }^{p}.\end{array}$
(3.6)
From (3.6), one concludes that there exists $\rho >0$ such that
(3.7)
From now on we fix $\rho >0$. We claim that
(3.8)
Let $z\in {B}_{\rho }$ and $\mathrm{\Phi }\left(z\right)<0$. By the continuity of Φ, there exists $\tau \in \left(0,1\right]$ such that $\mathrm{\Phi }\left(sz\right)<0$ for all $s\in \left(1-\tau ,1\right)$. We will get (3.8) by proving $\tau =1$. Suppose that $0<\tau <1$. Then there is some ${s}_{0}\in \left(0,1-\tau \right]$ such that
As ${s}_{0}z\in {B}_{\rho }$, it follows from (3.7) that
$\frac{d}{ds}\mathrm{\Phi }\left(s\left({s}_{0}z\right)\right){|}_{s=1}>0.$
(3.9)
But $\mathrm{\Phi }\left(sz\right)-\mathrm{\Phi }\left({s}_{0}z\right)=\mathrm{\Phi }\left(sz\right)<0$ implies that
$\frac{d}{ds}\mathrm{\Phi }\left(s\left({s}_{0}z\right)\right){|}_{s=1}⩽0.$
(3.10)

This contradicts (3.9). Thus $\tau =1$ and (3.8) holds.

Now define a mapping $\pi :{B}_{\rho }\to \left[0,1\right]$ as
(3.11)
By (3.5), (3.7) and (3.8), for $z\in {B}_{\rho }$ with $\mathrm{\Phi }\left(z\right)>0$, there exists a unique $\pi \left(z\right)\in \left(0,1\right)$ such that
(3.12)
Thus the mapping π is well defined. Moreover, it follows from (3.7), (3.12) and the implicit function theorem that the mapping π is continuous in z. Define a mapping $\eta :\left[0,1\right]×{B}_{\rho }\to {B}_{\rho }$ by
$\eta \left(s,z\right)=\left(1-s\right)z+s\pi \left(z\right)z,\phantom{\rule{1em}{0ex}}s\in \left[0,1\right],z\in {B}_{\rho }.$
Then η is a continuous deformation from $\left({B}_{\rho },{B}_{\rho }\setminus \left\{0\right\}\right)$ to $\left({B}_{\rho }\cap {\mathrm{\Phi }}^{0},{B}_{\rho }\cap {\mathrm{\Phi }}^{0}\setminus \left\{0\right\}\right)$. By homotopy invariance of a homology group and the contractibility of ${B}_{\rho }\setminus \left\{0\right\}$, we have

The proof is complete. □

We remark here that in [23] the similar idea for computing the critical groups at 0 was presented for a single elliptic equation. For (GS), the conditions used in [23] can be formulated as

(${\stackrel{˜}{F}}_{0}$) there are $\delta >0$ and $1<\sigma <2$ such that

We note here that (${\stackrel{˜}{F}}_{0}$) is not comparable with (${F}_{0}$) since (${F}_{0}$) is a local condition and although (${F}_{0}$) implies (${\stackrel{˜}{F}}_{0}$)(i) but (${\stackrel{˜}{F}}_{0}$)(ii) is a global condition.

Now we verify the compactness for the functional Φ and compute the critical groups of Φ at infinity. To do this, we rewrite the functional Φ as
$\mathrm{\Phi }\left(z\right)=\frac{1}{2}{\int }_{\mathrm{\Omega }}\left({|\mathrm{\nabla }z|}^{2}-\left({B}_{\mathrm{\infty }}z,z\right)\right)\phantom{\rule{0.2em}{0ex}}dx-{\int }_{\mathrm{\Omega }}G\left(x,z\right)\phantom{\rule{0.2em}{0ex}}dx,\phantom{\rule{1em}{0ex}}z\in E,$

where $2G\left(x,z\right)=2F\left(x,z\right)-\left({B}_{\mathrm{\infty }}z,z\right)$.

Lemma 3.2 Let F satisfy (${F}_{\mathrm{\infty }}$) and (${F}_{\mathrm{\infty }1}$).
1. (i)

The functional Φ is coercive on E and satisfies the Palais-Smale condition.

2. (ii)

${C}_{q}\left(\mathrm{\Phi },\mathrm{\infty }\right)\cong {\delta }_{q,0}\mathbb{Z}$, $q\in \mathbb{Z}$.

Proof (i) First, (${F}_{\mathrm{\infty }}$) implies (F) while (${F}_{\mathrm{\infty }1}$) implies
(3.13)
We will prove that
(3.14)
Assume that there is a sequence $\left\{{z}_{n}\right\}\subset E$ such that for some $M>0$, it holds
(3.15)
(3.16)
Set ${\stackrel{˜}{z}}_{n}=\frac{{z}_{n}}{\parallel {z}_{n}\parallel }$. Then $\parallel {\stackrel{˜}{z}}_{n}\parallel =1$ for all $n\in \mathbb{N}$. Up to a subsequence, we may assume that there is ${\stackrel{˜}{z}}_{0}\in E$ such that
(3.17)
By (3.13) one has that for some constant ${c}_{1}>0$,
Therefore by (3.14) we deduce that
$\frac{M}{{\parallel {z}_{n}\parallel }^{2}}⩾\frac{\mathrm{\Phi }\left({z}_{n}\right)}{{\parallel {z}_{n}\parallel }^{2}}⩾\frac{1}{2}{\parallel {\stackrel{˜}{z}}_{n}\parallel }^{2}-\frac{1}{2}{\int }_{\mathrm{\Omega }}\left({B}_{\mathrm{\infty }}{\stackrel{˜}{z}}_{n},{\stackrel{˜}{z}}_{n}\right)\phantom{\rule{0.2em}{0ex}}dx-\frac{{c}_{1}|\mathrm{\Omega }|}{{\parallel {z}_{n}\parallel }^{2}}.$
(3.18)
Taking $n\to \mathrm{\infty }$ in (3.18), it follows from (3.15) and (3.16) that
$\underset{n\to \mathrm{\infty }}{lim sup}{\parallel {\stackrel{˜}{z}}_{n}\parallel }^{2}⩽{\int }_{\mathrm{\Omega }}\left({B}_{\mathrm{\infty }}{\stackrel{˜}{z}}_{0},{\stackrel{˜}{z}}_{0}\right)\phantom{\rule{0.2em}{0ex}}dx.$
(3.19)
On the other hand, we have by the lower semi-continuity of the norm that
${\int }_{\mathrm{\Omega }}\left({B}_{\mathrm{\infty }}{\stackrel{˜}{z}}_{0},{\stackrel{˜}{z}}_{0}\right)\phantom{\rule{0.2em}{0ex}}dx⩽{\parallel {\stackrel{˜}{z}}_{0}\parallel }^{2}⩽\underset{n\to \mathrm{\infty }}{lim inf}{\parallel {\stackrel{˜}{z}}_{n}\parallel }^{2}.$
(3.20)
Thus
$\underset{n\to \mathrm{\infty }}{lim}{\parallel {\stackrel{˜}{z}}_{n}\parallel }^{2}={\parallel {\stackrel{˜}{z}}_{0}\parallel }^{2}.$
(3.21)
By (3.16), (3.21) we get
(3.22)
Hence $\parallel {\stackrel{˜}{z}}_{0}\parallel =1$ and ${\stackrel{˜}{z}}_{0}$ is an eigenvector corresponding to the first eigenvalue ${\lambda }_{1}\left({B}_{\mathrm{\infty }}\right)=1$. It follows that ${\stackrel{˜}{z}}_{0}\ne 0$ for almost every $x\in \mathrm{\Omega }$ and then
(3.23)
Now it follows from (3.13), (3.23) and the Fatou lemma that
(3.24)

This is a contradiction. Thus Φ is coercive on E.

By the coercivity of Φ, a Palais-Smale sequence $\left\{{z}_{n}\right\}$ of Φ must be bounded. Since F has a subcritical growth, a standard argument shows that $\left\{{z}_{n}\right\}$ has a convergent subsequence.

(ii) Since Φ is coercive and weakly lower semi-continuous, Φ is bounded from below. Take $a<{inf}_{z\in E}\mathrm{\Phi }\left(z\right)$. Then
${C}_{q}\left(\mathrm{\Phi },\mathrm{\infty }\right)={H}_{q}\left(E,{\mathrm{\Phi }}^{a}\right)\cong {H}_{q}\left(E,\mathrm{\varnothing }\right)\cong {\delta }_{q,0}\mathbb{Z},\phantom{\rule{1em}{0ex}}q\in \mathbb{Z}.$

The proof is complete. □

Lemma 3.3 Let F satisfy (${F}_{\mathrm{\infty }}$) and (${F}_{\mathrm{\infty }2}^{±}$).
1. (i)

Φ satisfies the Cerami condition.

2. (ii)

${C}_{q}\left(\mathrm{\Phi },\mathrm{\infty }\right)\cong {\delta }_{q,{m}_{\mathrm{\infty }+{n}_{\mathrm{\infty }}}}\mathbb{Z}$ if (${F}_{\mathrm{\infty }2}^{+}$) holds.

3. (iii)

${C}_{q}\left(\mathrm{\Phi },\mathrm{\infty }\right)\cong {\delta }_{q,{m}_{\mathrm{\infty }}}\mathbb{Z}$ if (${F}_{\mathrm{\infty }2}^{-}$) holds.

Proof (i) Let $\left\{{z}_{n}\right\}\subset E$ be such that
(3.25)
We only need to show that $\left\{{z}_{n}\right\}$ is bounded in E. Suppose, by the way of contradiction, that
(3.26)
Denote ${\overline{z}}_{n}=\frac{{z}_{n}}{\parallel {z}_{n}\parallel }$, then $\parallel {\overline{z}}_{n}\parallel =1$. Passing to a subsequence if necessary, we may assume that there is $\overline{z}\in E$ such that as $n\to \mathrm{\infty }$,
(3.27)
By (${F}_{\mathrm{\infty }}$) and (3.26) we deduce that $\left\{\frac{\mathrm{\nabla }F\left(x,{z}_{n}\left(x\right)\right)-{B}_{\mathrm{\infty }}\left(x\right){z}_{n}\left(x\right)}{\parallel {z}_{n}\parallel }\right\}$ is bounded in ${L}^{2}\left(\mathrm{\Omega }\right)×{L}^{2}\left(\mathrm{\Omega }\right)$ and
Therefore
(3.28)
For $w\in E$, we have
$\begin{array}{rl}\frac{〈{\mathrm{\Phi }}^{\prime }\left({z}_{n}\right),w〉}{\parallel {z}_{n}\parallel }=& {\int }_{\mathrm{\Omega }}\mathrm{\nabla }{\overline{z}}_{n}\mathrm{\nabla }w-\left({B}_{\mathrm{\infty }}\left(x\right){\overline{z}}_{n},w\right)\phantom{\rule{0.2em}{0ex}}dx\\ -{\int }_{\mathrm{\Omega }}\left(\frac{\mathrm{\nabla }F\left(x,{z}_{n}\right)-{B}_{\mathrm{\infty }}\left(x\right){z}_{n}}{\parallel {z}_{n}\parallel },w\right)\phantom{\rule{0.2em}{0ex}}dx.\end{array}$
(3.29)
Letting $n\to \mathrm{\infty }$, it follows that
(3.30)
Taking $w={\overline{z}}_{n}$ in (3.29) and using (3.25), (3.28), we obtain that
$1={\int }_{\mathrm{\Omega }}\left({B}_{\mathrm{\infty }}\left(x\right)\overline{z},\overline{z}\right)\phantom{\rule{0.2em}{0ex}}dx.$
(3.31)
Taking $w=\overline{z}$ in (3.30), we obtain that
${\parallel \overline{z}\parallel }^{2}={\int }_{\mathrm{\Omega }}\left({B}_{\mathrm{\infty }}\left(x\right)\overline{z},\overline{z}\right)\phantom{\rule{0.2em}{0ex}}dx=1.$
(3.32)
Therefore $\parallel {\overline{z}}_{n}\parallel \to \parallel \overline{z}\parallel =1$ and thus
and $\overline{z}$ is an eigenvector of (L${B}_{\mathrm{\infty }}$) associated with eigenvalue 1. It follows that $\overline{z}\in {E}_{\mathrm{\infty }}$. Write ${z}_{n}={y}_{n}+{w}_{n}$, where ${y}_{n}\in {E}_{\mathrm{\infty }}$, ${w}_{n}\in {E}_{\mathrm{\infty }}^{\mathrm{\perp }}$, then
(3.33)
By (${F}_{\mathrm{\infty }2}^{±}$) there exist $\delta >0$ and $N\in \mathbb{N}$ such that
This implies that

This is a contradiction with (3.25).

(ii) We apply Proposition 2.2. Set $\mathcal{L}:=I-{T}_{{B}_{\mathrm{\infty }}}$ and
$\mathrm{\Psi }\left(z\right)=\frac{1}{2}{\int }_{\mathrm{\Omega }}\left(\left({B}_{\mathrm{\infty }}\left(x\right)z,z\right)-2F\left(x,z\right)\right)\phantom{\rule{0.2em}{0ex}}dx.$
Then Φ can be rewritten as
$\mathrm{\Phi }\left(z\right)=\frac{1}{2}〈\mathcal{L}z,z〉+\mathrm{\Psi }\left(z\right),\phantom{\rule{1em}{0ex}}z\in E.$
(3.34)
By Lemma 3.1, Φ satisfies the Cerami condition and hence possesses the deformation property. From (${F}_{\mathrm{\infty }}$) one sees that ${\mathrm{\Psi }}^{\prime }$ satisfies
${\mathrm{\Psi }}^{\prime }\left(z\right)=o\left(\parallel z\parallel \right),\phantom{\rule{1em}{0ex}}\parallel z\parallel \to \mathrm{\infty }.$
Now we show that Φ satisfies the angle condition (${\mathcal{AC}}_{\mathrm{\infty }}^{-}$) at infinity with respect to the orthogonal decomposition $E={E}_{\mathrm{\infty }}\oplus {E}_{\mathrm{\infty }}^{\perp }$ when (${F}_{\mathrm{\infty }2}^{+}$) holds. Suppose it is not true, then for each $n\in \mathbb{N}$, there are ${z}_{n}\in E$, ${z}_{n}={y}_{n}+{w}_{n}$, ${y}_{n}\in {E}_{\mathrm{\infty }}$, ${w}_{n}\in {E}_{\mathrm{\infty }}^{\perp }$ such that
(3.35)
and
(3.36)
It follows from (3.35) that
$\parallel {z}_{n}\parallel \to \mathrm{\infty },\phantom{\rule{2em}{0ex}}\frac{\parallel {y}_{n}\parallel }{\parallel {z}_{n}\parallel }\to 1,\phantom{\rule{1em}{0ex}}n\to \mathrm{\infty }.$
By (${F}_{\mathrm{\infty }2}^{+}$) we have that for $N\in \mathbb{N}$,
$〈{\mathrm{\Phi }}^{\prime }\left({z}_{n}\right),{y}_{n}〉=〈{\mathrm{\Psi }}^{\prime }\left({z}_{n}\right),{y}_{n}〉=-{\int }_{\mathrm{\Omega }}\left(\mathrm{\nabla }F\left(x,{z}_{n}\right)-{B}_{\mathrm{\infty }}\left(x\right){z}_{n},{y}_{n}\right)\phantom{\rule{0.2em}{0ex}}dx⩽-\delta ,\phantom{\rule{1em}{0ex}}n⩾N,$
this contradicts (3.36). Therefore (${\mathcal{AC}}_{\mathrm{\infty }}^{-}$) holds, and by Proposition 2.2 we have
${C}_{q}\left(\mathrm{\Phi },\mathrm{\infty }\right)={\delta }_{q,{m}_{\mathrm{\infty }}+{n}_{\mathrm{\infty }}}\mathbb{Z},\phantom{\rule{1em}{0ex}}q\in \mathbb{Z}.$

(iii) This case is proved in a similar way.

The proof is finished. □

## 4 Proofs of main theorems

In this section we give the proofs of main theorems in this paper.

Proof of Theorem 1.1 By (${F}_{\mathrm{\infty }}$), the functional Φ takes the form
$\mathrm{\Phi }\left(z\right)=\frac{1}{2}〈\mathcal{L}z,z〉+\mathrm{\Psi }\left(z\right),\phantom{\rule{1em}{0ex}}z\in E,$
where $\mathcal{L}=I-{T}_{{B}_{\mathrm{\infty }}}$ is a bounded self-adjoint linear operator, $\mathrm{\Psi }\in {C}^{1}\left(E,\mathbb{R}\right)$ with a compact gradient ${\mathrm{\Psi }}^{\prime }$ satisfying
${\mathrm{\Psi }}^{\prime }\left(z\right)=o\left(\parallel z\parallel \right),\phantom{\rule{1em}{0ex}}\parallel z\parallel \to \mathrm{\infty }.$
Since ${n}_{\mathrm{\infty }}=0$, the problem is no resonance at infinity and thus Ψ satisfies the Palais-Smale condition. By Proposition 2.2(1) we have
${C}_{q}\left(\mathrm{\Phi },\mathrm{\infty }\right)\cong {\delta }_{q,{m}_{\mathrm{\infty }}}\mathbb{Z},\phantom{\rule{1em}{0ex}}q\in \mathbb{Z}.$
(4.1)
Therefore Φ has a critical point ${z}_{\ast }$ satisfying
${C}_{{m}_{\mathrm{\infty }}}\left(\mathrm{\Phi },{z}_{\ast }\right)\ncong 0.$
(4.2)
By Lemma 3.1 we have
${C}_{q}\left(\mathrm{\Phi },0\right)\cong 0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }q\in \mathbb{Z}.$
(4.3)

By (4.2) and (4.3), we see that ${z}_{\ast }\ne 0$ and then is a nontrivial weak solution of (GS). □

Proof of Theorem 1.2 By (${F}_{\mathrm{\infty }}$), (${F}_{\mathrm{\infty }1}$) and Lemma 3.2, we have
${C}_{q}\left(\mathrm{\Phi },\mathrm{\infty }\right)\cong {\delta }_{q,0}\mathbb{Z},\phantom{\rule{1em}{0ex}}q\in \mathbb{Z}.$
(4.4)
Therefore Φ has a critical point ${z}_{\ast }$ satisfying
${C}_{0}\left(\mathrm{\Phi },{z}_{\ast }\right)\ncong 0.$
(4.5)

We still have (4.3). Thus ${z}_{\ast }\ne 0$ is a nontrivial weak solution of (GS). In fact, ${z}^{\ast }$ is a global minimizer of Φ.

Assume that $F\left(x,z\right)$ is even in z. We will employ Proposition 2.3 to prove the multiplicity in Theorem 1.2. Now Φ is even, $\mathrm{\Phi }\left(0\right)=0$. By Lemma 3.2, Φ satisfies the Palais-Smale condition and is bounded from below following from the coercivity.

We verify (2.5). Let ${E}_{k}$ be a k-dimensional subspace of E. For $z\in {E}_{k}$, as arguments in the proof of Lemma 3.1, we have
$\mathrm{\Phi }\left(z\right)⩽\frac{1}{2}{\parallel z\parallel }^{2}-{c}_{2}{\parallel z\parallel }_{{L}^{\sigma }}^{\sigma }+{c}_{3}{\parallel z\parallel }_{{L}^{p}}^{p}.$
(4.6)
Since $\sigma <2 and all norms on ${E}_{k}$ are equivalent, we get that for ${\rho }_{k}>0$ small enough,
$\underset{z\in {X}_{k}\cap {S}_{{\rho }_{k}}}{sup}\mathrm{\Phi }\left(z\right)<0.$

With all the conditions of Proposition 2.3 being verified, we get the conclusion that Φ has a sequence of critical values ${c}_{k}<0$ satisfying ${c}_{k}\to 0$ as $k\to \mathrm{\infty }$. Thus (GS) has infinitely many nontrivial weak solutions in E. The proof is finished. □

Proof of Theorem 1.3 By a similar argument, it follows from Lemma 3.1 and Lemma 3.3. □

We conclude the paper with further comments and remarks.

Remark 4.1 (i) In Theorem 1.1, when ${\lambda }_{1}\left({B}_{\mathrm{\infty }}\right)>1$ which implies ${m}_{\mathrm{\infty }}=0$ and F is even in z, by the same arguments as the last part of the proof of Theorem 1.2, one can show that (GS) has infinitely many nontrivial weak solutions in E with negative energies which converge to zero.

(ii) In Theorem 1.2, one nontrivial solution could be obtained if (${F}_{\mathrm{\infty }1}$) is replaced by the nonquadraticity condition [24]
Indeed, (${\stackrel{˜}{F}}_{\mathrm{\infty }1}^{+}$) is equivalent to
which implies (${F}_{\mathrm{\infty }1}$), i.e.,

(${F}_{\mathrm{\infty }1}$) is weaker than (${\stackrel{˜}{F}}_{\mathrm{\infty }1}$).

(iii) The result for one nontrivial solution in Theorem 1.2 is valid when F satisfies (${F}_{0}$), (${F}_{\mathrm{\infty }}$) and the nonquadraticity condition [24]

Indeed, in this case, Φ satisfies the Cerami condition and Φ has a saddle point structure at infinity with respect to $E={E}_{\mathrm{\infty }}\oplus {E}_{\mathrm{\infty }}^{\perp }$ in the sense that Φ is bounded from below on ${E}_{\mathrm{\infty }}^{\perp }$ and is anti-coercive on ${E}_{\mathrm{\infty }}$. Then Proposition 3.8 in [18] is applied to get ${C}_{1}\left(\mathrm{\Phi },\mathrm{\infty }\right)\ncong 0$.

(iv) In Theorem 1.3, the global condition (${F}_{\mathrm{\infty }}^{±}$) is somewhat abstract and has been used in [12]. It could be verified if $±\left(\mathrm{\nabla }F\left(x,z\right)-{B}_{\mathrm{\infty }}\left(x\right)z,z\right)$ acts as ${|z|}^{s+1}$ near infinity for any $s\in \left(0,1\right)$ (see [20, 25]). See [12] for more comparisons.

Remark 4.2 In Theorem 1.2, we proved the multiplicity result by a critical point theorem in [22] when Φ is even. This result is completely new for gradient systems. Since the critical groups of Φ at both zero and infinity are clearly computed, when Φ is even, the Morse equality may provide us an idea to give a different proof provided we have in hand the following basic conclusion.

() If ${z}^{\ast }$ is a solution of (HS), then ${C}_{q}\left(\mathrm{\Phi },{z}^{\ast }\right)\ne 0$ for finitely many $q\in \mathbb{N}$.

Let () hold and let F be even. We prove the multiplicity for (GS) in Theorem 1.2 via Morse theory. Assume that (GS) has only finitely many pairs of nontrivial solutions. Denote $\mathcal{K}=\left\{0,±{z}_{1},±{z}_{2},\dots ,±{z}_{k}\right\}$. Then by the Morse equality, one has that
$\sum _{q=0}^{\mathrm{\infty }}{\left(-1\right)}^{q}\sum _{z\in \mathcal{K}}dim{C}_{q}\left(\mathrm{\Phi },z\right)=\sum _{q=0}^{\mathrm{\infty }}{\left(-1\right)}^{q}dim{C}_{q}\left(\mathrm{\Phi },\mathrm{\infty }\right).$
By (), (4.3) and (4.4), it follows that
$\sum _{q=0}^{\mathrm{\infty }}{\left(-1\right)}^{q}2\sum _{i=1}^{k}dim{C}_{q}\left(\mathrm{\Phi },{z}_{i}\right)=1,$

a contradiction. Similarly, if () is valid and F is even, then we have the same multiplicity result in Theorems 1.1 and 1.3.

We note here that the conclusion () is valid for Φ is of ${C}^{2}$. A natural problem arises here whether or not that () is valid for a ${C}^{1}$ functional. It is still open to the best of our knowledge. We will focus on this problem in near future.

## Declarations

### Acknowledgements

Supported by NSFC11271264, NSFC11171204 and PHR201106118.

## Authors’ Affiliations

(1)
School of Mathematical Sciences, Capital Normal University

## References

1. Rabinowitz P CBMS 65. In Minimax Methods in Critical Point Theory with Application to Differential Equations. Am. Math. Soc., Providence; 1986.
2. Chang KC: An extension of the Hess-Kato theorem to elliptic systems and its applications to multiple solutions problems. Acta Math. Sin. 1999, 15: 439-454. 10.1007/s10114-999-0078-0
3. Chang KC: Principal eigenvalue for weight in elliptic systems. Nonlinear Anal. 2001, 46: 419-433. 10.1016/S0362-546X(00)00140-1
4. Landesman E, Lazer A: Nonlinear perturbations of linear eigenvalues problem at resonance. J. Math. Mech. 1970, 19: 609-623.
5. Bartsch T, Chang KC, Wang Z-Q: On the Morse indices of sign changing solution of nonlinear elliptic problem. Math. Z. 2000, 233: 655-677. 10.1007/s002090050492
6. Liu, JQ, Wu, SP: A note on a class of sublinear elliptic equation. Research Report 84, Peking University (1997)Google Scholar
7. da Silva ED: Multiplicity of solutions for gradient systems. Electron. J. Differ. Equ. 2010., 2010: Article ID 64Google Scholar
8. da Silva ED: Multiplicity of solutions for gradient systems using Landesman-Lazer conditions. Abstr. Appl. Anal. 2010., 2010: Article ID 237826Google Scholar
9. Furtado MF, de Paiva FOV: Multiplicity of solutions for resonant elliptic systems. J. Math. Anal. Appl. 2006, 319: 435-449. 10.1016/j.jmaa.2005.06.038
10. Furtado MF, de Paiva FOV: Multiple solutions for resonant elliptic systems via reduction method. Bull. Aust. Math. Soc. 2010, 82: 211-220. 10.1017/S0004972710000092
11. Li C, Liu S: Homology of saddle point reduction and applications to resonant elliptic systems. Nonlinear Anal. 2013, 81: 236-246.
12. Lü L, Su J: Solutions to a gradient system with resonance at both zero and infinity. Nonlinear Anal. 2011, 74: 5340-5351. 10.1016/j.na.2011.05.018
13. Liu JQ, Su J: Remarks on multiple nontrivial solutions for quasi-linear resonant problems. J. Math. Anal. Appl. 2001, 258: 209-222. 10.1006/jmaa.2000.7374
14. Chang KC: Infinite Dimensional Morse Theory and Multiple Solutions Problems. Birkhäuser, Boston; 1993.
15. Mawhin J, Willem M: Critical Point Theory and Hamiltonian Systems. Springer, Berlin; 1989.
16. Bartolo P, Benci V, Fortunato D: Abstract critical point theorems and applications to nonlinear problems with ‘strong’ resonance at infinity. Nonlinear Anal. 1983, 7: 981-1012. 10.1016/0362-546X(83)90115-3
17. Cerami G: Un criterio di esistenza per i punti critici su varietà illimitate. Rend. - Ist. Lomb., Accad. Sci. Lett., a Sci. Mat. Fis. Chim. Geol. 1978, 112: 332-336.
18. Bartsch T, Li S: Critical point theory for asymptotically quadratic functionals and applications to problems with resonance. Nonlinear Anal. 1997, 28: 419-441. 10.1016/0362-546X(95)00167-T
19. Wang Z-Q: Multiple solutions for indefinite functionals and applications to asymptotically linear problems. Acta Math. Sin. New Ser. 1989, 5(2):101-113. 10.1007/BF02107664
20. Su J: Nontrivial periodic solutions for the asymptotically linear Hamiltonian systems with resonance at infinity. J. Differ. Equ. 1998, 145(2):252-273. 10.1006/jdeq.1997.3360
21. Su J, Zhao L: An elliptic resonance problem with multiple solutions. J. Math. Anal. Appl. 2006, 319: 604-616. 10.1016/j.jmaa.2005.10.059
22. Wang Z-Q: Nonlinear boundary value problems with concave nonlinearities near the origin. Nonlinear Differ. Equ. Appl. 2001, 8: 15-33. 10.1007/PL00001436
23. Moroz V: Solutions of superlinear at zero elliptic equations via Morse theory. Topol. Methods Nonlinear Anal. 1997, 10: 387-397.
24. Costa DG, Magalhães CA: Variational elliptic problems which are nonquadratic at infinity. Nonlinear Anal. 1994, 23: 1401-1412. 10.1016/0362-546X(94)90135-X
25. Su J, Tang C: Multiplicity results for semilinear elliptic equations with resonance at higher eigenvalues. Nonlinear Anal. 2001, 44: 311-321. 10.1016/S0362-546X(99)00265-5