\documentclass[reqno]{amsart} \usepackage{hyperref} \AtBeginDocument{{\noindent\small \emph{Electronic Journal of Differential Equations}, Vol. 2014 (2014), No. 53, pp. 1--11.\newline ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu \newline ftp ejde.math.txstate.edu} \thanks{\copyright 2014 Texas State University - San Marcos.} \vspace{9mm}} \begin{document} \title[\hfilneg EJDE-2014/53\hfil Infinitely many solutions] {Infinitely many solutions for elliptic boundary value problems with sign-changing potential} \author[W. Zhang, X. Tang, J. Zhang \hfil EJDE-2014/53\hfilneg] {Wen Zhang, Xianhua Tang, Jian Zhang} % in alphabetical order \address{Wen Zhang \newline School of Mathematics and Statistics, Central South University\\ Changsha, 410083 Hunan, China} \email{zwmath2011@163.com} \address{Xianhua Tang \newline School of Mathematics and Statistics, Central South University\\ Changsha, 410083 Hunan, China} \email{tangxh@mail.csu.edu.cn} \address{Jian Zhang \newline School of Mathematics and Statistics, Central South University\\ Changsha, 410083 Hunan, China} \email{zhangjian433130@163.com} \thanks{Submitted September 8, 2013. Published February 21, 2014.} \subjclass[2000]{35J25, 35J60} \keywords{Semilinear elliptic equations; boundary value problems; \hfill\break\indent sublinear; sign-changing potential} \begin{abstract} In this article, we study the elliptic boundary value problem \begin{gather*} -\Delta u+a(x)u=g(x, u) \quad \text{in } \Omega,\\ u = 0\quad \text{on } \partial \Omega, \end{gather*} where $ \Omega\subset \mathbb{R}^N$ $(N\geq3)$ is a bounded domain with smooth boundary $ \partial\Omega$ and the potential $a(x)$ is allowed to be sign-changing. We establish the existence of infinitely many nontrivial solutions by variant fountain theorem developed by Zou for sublinear nonlinearity. \end{abstract} \maketitle \numberwithin{equation}{section} \newtheorem{theorem}{Theorem}[section] \newtheorem{lemma}[theorem]{Lemma} %\newtheorem{proposition}[theorem]{Proposition} %\newtheorem{corollary}[theorem]{Corollary} %\newtheorem{definition}[theorem]{Definition} %\newtheorem{example}[theorem]{Example} %\newtheorem{remark}[theorem]{Remark} \allowdisplaybreaks \newcommand{\Z}{\mathbb{Z}} \newcommand{\N}{\mathbb{N}} \section{Introduction} We study the semilinear elliptic boundary-value problem \begin{equation}\label{1.1} \begin{gathered} -\Delta u +a(x) u =g(x,u)\quad \text{in } \Omega,\\ u = 0\quad \text{on } \partial \Omega, \end{gathered} \end{equation} where $\Omega \subset \mathbb{R}^N (N\geq 3)$ is a bounded domain with smooth boundary $\partial \Omega$, $g\in C(\bar{\Omega}\times \mathbb{R}^N, \mathbb{R}^N)$ and $a\in L^{N/2}(\Omega)$. In this article, we are interested in the existence and multiplicity of solutions for problem \eqref{1.1} when $g(x,u)$ is sublinear. The semilinear elliptic equation has found a great deal of interest in the previous years. With the aid of variational methods, the existence and multiplicity of nontrivial solutions for problem \eqref{1.1} or similar \eqref{1.1} have been extensively investigated in the literature over the past several decades. See \cite{BW, C, D, DL, JT, HZ, Z2, LW, T, ZZ, Z1, W1} and the references therein. There are some works devoted to the superquadratic situation and asymptotically quadratic situation for problem \eqref{1.1}, see for instance \cite{LW, JT, HZ, ZL}. In \cite{LW}, Li and Willem \cite{AR} established the existence of a nontrivial solution for \eqref{1.1} under the following Ambrosetti-Rabinowitz type superquadratic condition \begin{itemize} \item[(G1)] there exist $\mu>2$ and $L>0$ such that \[ 0 < \mu G(x, u)\leq ug(x,u),\quad\text{for all }|u|\geq L, \] \end{itemize} where $G(x,u)=\int_0^{u}g(x,t)dt$. The role of $(G_1)$ is to ensure the boundedness of the Palais-Smale (PS) sequences of the energy functional. This is very crucial in applying the critical point theory. However, there are many functions which are superlinear at infinity, but do not satisfy the condition $(G_1)$, for example the superlinear function \begin{equation*} G(x, u)=|u|^2\Big(\ln(\frac{1}{3}|u|^{4}-|u|^2+1)\Big)^{3}. \end{equation*} Jiang and Tang \cite{JT} used the Li-Willem local linking theorem \cite{LW} to obtain a nontrivial solution under the following weak superquadratic condition and other basic conditions, \begin{itemize} \item[(G2)] $G(x, u)/|u|^2\to\infty$, as $|u|\to\infty$ uniformly in $x$, \item[(G3)] there are constants $\beta>\frac{2N(p-1)}{N+2}$ $(2
0$ and $L>0$ such that
\[
ug(x,u)-2G(x,u)\geq a_1|u|^{\beta},\quad\text{for all }|u|\geq L.
\]
\end{itemize}
This result generalized the one of Li and Willem.
Very recently, Zhang and Liu \cite{ZL} also considered the (G2)
type superquadratic condition, but the authors weakened the
condition (G3) to the following condition
\begin{itemize}
\item[(G4)] there exists constant $\ \varrho>\max\{2N/(N+2), N(p-2)/2\}$
and $d>0$ such that
\[
\liminf_{|u|\to \infty}\frac{ug(x,u)-2G(x, u)}{|u|^\varrho}\geq d
\quad\text{uniformly for }x\in \Omega.
\]
\end{itemize}
They obtained the existence and multiplicity of solutions by variant fountain
theorem developed by Zou \cite{Z1} when $g(x,u)$ is odd. From this,
we know that the result in \cite{ZL} also generalized the one in
\cite{JT} even \cite{LW}. For other superquadratic problem with pinching
condition, we refer readers to \cite{Z2}. For the asymptotically quadratic
situation, He and Zou \cite{HZ} obtained the existence of infinitely
many nontrivial solutions under the following assumptions:
\begin{itemize}
\item[(G5)] $G(x, u)=\frac{1}{2}\alpha|u|^2+F(x,u)$, where
$\alpha\notin\sigma(-\Delta+a)$, $\sigma$ denotes the spectrum;
\item[(G6)] there exist $\gamma_{i}\in(1,2)$, $b_{i}>0$, $i=1,2$
such that $b_1|u|^{\gamma_1}\leq F(x,u)$,
$|F_{u}(x,u)|\leq b_2|u|^{\gamma_1-1}$ for all
$(x,u)\in \Omega\times \mathbb{R}$.
\end{itemize}
However, for the subquadratic case, there is no work concerning on
this case up to now. Motivated by the above fact, in this paper our
aim is to study the existence of infinitely many solutions for
problem \eqref{1.1} when $f(x,u)$ satisfies sublinear in $u$ at
infinity. Our tool is the variant fountain theorem established in
Zou \cite{Z1}. Compared to the above two cases, our result is
different and extend the above results to some extent.
We will use the following assumptions:
\begin{itemize}
\item[(F1)] $G(x, u)\geq 0$, for all $(x, u)\in \Omega \times
\mathbb{R}$, and there exist constants $\mu\in [1, 2)$ and $r_1>0$
such that
\[
g(x, u)u\leq \mu G(x, u), \quad \forall x \in \Omega,\; |u|\geq r_1;
\]
\item[(F2)] $\lim_{|u|\to 0}\frac{G(x, u)}{|u|^2}= \infty$ uniformly
for $x\in \Omega$, and there exist constants $c_1, r_2>0$ such
that
\[
G(x, u)\leq c_1|u|, \quad \forall x \in \Omega, \; |u|\leq r_2;
\]
\item[(F3)] There exists a constant $d>0$
such that
\[
\liminf_{|u|\to\infty}\frac{G(x, u)}{|u|}\geq d>0
\quad\text{uniformly for }x \in \Omega;
\]
\end{itemize}
The main result of this article is the following theorem.
\begin{theorem} \label{thm1.1}
Suppose that {\rm (F1)--(F3)}, and that $g(x,u)$ is odd hold.
Then \eqref{1.1} possesses infinitely many nontrivial solutions.
\end{theorem}
As a motivation we recall that there are a large number of
articles devoted to the study of the sublinear case. Among these problems
are the second-order Hamiltonian system in Tang and Lin \cite{TL} and
Sun et al.\cite{SCN}, the Schr\"{o}dinger equation in Zhang and Wang \cite{ZW},
the Schr\"{o}dinger-Maxwell equation in Sun \cite{S}, the fourth-order
elliptic equations in Ye and Tang \cite{YT} and Zhang et al.\cite{ZTZ}.
lt is worth pointing out that these papers all considered the definite
case that the quadratic of energy functional is positive definite.
In the present article, we study the indefinite case, compared to the
definite case, the indefinite case becomes more general.
\section{Variational setting and proof of the main result}
First we establish the variational setting for problem \eqref{1.1}
to prove our main result.
Since $a\in L^{N/2}(\Omega)$, we know that the following form defined on
$H_0^1(\Omega)$ is bounded (see \cite[Proposition VI.1.2]{EE}).
\begin{equation}\label{2.1}
\mathcal{Q}(u, v)=\int_{\Omega}(\langle \nabla u, \nabla
v\rangle+a(x)uv)dx,\quad \forall u,v\in H_0^1(\Omega),
\end{equation}
where $\langle \cdot, \cdot \rangle$ denotes the standard inner
product in $\mathbb{R}^N$. Denote $A_0=-\Delta+a$ the associated
self-adjoint operator in $L^2\equiv L^2(\Omega)$ with domain
$D(A_0)$. From \cite[Theorem VI.1.4]{EE}, we know that
$D(A_0)$ is dense as a subspace of $H_0^1(\Omega)$ and the
spectrum of $A_0$ consists of only eigenvalues numbered
$\lambda_1\leq \lambda_2\leq \dots \to \infty$ (counted
with multiplicity) and the corresponding eigenfunctions
$\{e_{i}\}_{i\in \mathbb{N}} (A_0e_{i}=\lambda_{i}e_{i})$, forming
an orthogonal basis in $L^2$. Let $|A_0|$ be the absolute value
of $A_0$ and $|A_0|^{1/2}$ be the square root of
$|A_0|$ with domain $D(|A_0|^{1/2})$. Let
$E=D(|A_0|^{1/2})$ and define the inner product on $E$ as
\[
(u, v)_0:= (|A_0|^{1/2}u, |A_0|^{1/2}v)_2 + (u, v)_2,
\]
and the induced norm
\[
\|u\|_0:=(u, u)_0^{1/2},
\]
where $(\cdot, \cdot)_2$ denotes the usual inner product in $L^2$.
Then $E$ is a Hilbert space. The following Lemma is the Lemma \ref{lem2.1}
in \cite{ZL}, here we omit its proof.
\begin{lemma} \label{lem2.1}
The norm $\|\cdot\|_0$ in $E=H_0^1(\Omega)$
is equivalent to the usual Sobolev norm $\|\cdot\|_{1, 2}$ in
$H_0^1(\Omega)$.
\end{lemma}
Set
\begin{equation}\label{2.2}
n^{-}=\sharp\{i|\lambda_{i}<0\}, \quad n^{0}=\sharp\{i|\lambda_{i}=0\}, \quad
\bar{n}= n^{-}+ n^{0},
\end{equation}
and let
\begin{equation}\label{2.3}
L^2=L^{-}\oplus L^{0} \oplus L^{+}
\end{equation}
be the orthogonal decomposition in $L^2$ with
\begin{gather*}
L^{-}=\operatorname{span}\{e_1, \dots, e_{n^{-}}\},\quad
L^{0}=\operatorname{span}\{e_{n^{-}+1}, \dots, e_{\bar{n}}\}, \\
L^{+}=(L^{-}\oplus L^{0})^{\perp}=
\overline{\operatorname{span}\{e_{\bar{n}+1}, \dots\}}.
\end{gather*}
Now we introduce the following inner product on
$E=H_0^1(\Omega)$,
\[
(u,v)=(|A_0|^{1/2}u,
|A_0|^{1/2}v)_2+(u^{0},v^{0})_2
\]
and the corresponding norm
\[
\|u\|=(u, u)^{1/2},
\]
where $u=u^{-}+u^{0}+u^{+}$ and $v=v^{-}+v^{0}+v^{+}$ with respect
to the decomposition \eqref{2.3}. Clearly, the norms $\|\cdot\|$
and $\|\cdot\|_0$ are equivalent. Throughout the following
sections, we take $(E, (\cdot,\cdot), \|\cdot\|)$ as our working
space and denote by $E^{\ast}$ its dual space with the associated
operator norm $\|\cdot\|_{E^{\ast}}$. It is easy to check that $E$
possesses the orthogonal decomposition
\begin{equation}\label{2.4}
E=E^{-}\oplus E^{0} \oplus E^{+}
\end{equation}
with
\begin{equation}\label{2.5}
E^{-}=L^{-}, \quad E^{0}=L^{0}, \quad
E^{+}=E\cap L^{+} =\overline{\operatorname{span}\{e_{\bar{n}+1}, \dots\}},
\end{equation}
where the closure is taken with respect to the norm $\|\cdot\|$.
Evidently, the above decomposition is also orthogonal in $L^2$.
Similar to \cite[Lemma 2.3]{ZL}, we have the following Lemma
\begin{lemma} \label{lem2.2}
The space $E$ is compactly embedded in $L^{p}=L^{p}(\Omega)$
for $1\leq p<2^{\ast}$ and continuously embedded in
$L^{2^{\ast}}=L^{2^{\ast}}(\Omega)$, hence for every $1\leq
p<2^{\ast}$, there exists $\tau_{p}>0$ such that
\begin{equation}\label{2.6}
|u|_{p}\leq \tau_{p} \|u\|,~~\forall u\in E,
\end{equation}
where $|\cdot|_{p}$ denotes the usual norm in $L^{p}$ for all
$1\leq p<2^{\ast}$, $(2^{\ast}=\frac{2N}{N-2})$.
\end{lemma}
Let $A_0=U |A_0|$ be the polar decomposition of $A_0$
(see \cite{Kato}), where $U$ is the partial isometry and commutes with
$A_0$, $|A_0|$ and $|A_0|^{1/2}$. For any $u\in D(A_0)$ and $v\in E$, we have
\begin{equation}\label{2.7}
\begin{aligned}
\mathcal{Q}(u, v)
&=\int_{\Omega}(\langle \nabla u, \nabla v \rangle+a(x)uv)dx\\
&=(A_0u, v)_2=(|A_0|Uu, v)_2\\
&=(|A_0|^{1/2}Uu, |A_0|^{1/2}v)_2.
\end{aligned}
\end{equation}
Since $D(A_0)$ is dense in $E$, then \eqref{2.7} holds for all
$u, v\in E$. Moreover, by definition,
\begin{equation}\label{2.8}
\mathcal{Q}(u, v)=((P^{+}-P^{-})u, u)=\|u^{+}\|^2-\|u^{-}\|^2
\end{equation}
for all
\[
u=u^{-}+u^{0}+u^{+}\in E=E^{-}\oplus E^{0}\oplus E^{+},
\]
where $P^{\pm}:E\to E^{\pm}$ are the respective orthogonal
projections.
Now, we define a functional $\Phi$ on $E$ by
\begin{equation}\label{2.9}
\begin{aligned} \Phi(u)&=\frac{1}{2}\int_{\Omega}(|\nabla
u|^2+a(x)u^2)dx-\Psi(u)\\
&=\frac{1}{2} \mathcal{Q}(u, u)-\Psi(u)\\
&=\frac{1}{2}\|u^{+}\|^2-\frac{1}{2}\|u^{-}\|^2-\Psi(u),
\end{aligned}
\end{equation}
where $\Psi(u)=\int_{\Omega}G(x, u)dx$ for all
$u=u^{-}+u^{0}+u^{+}\in E=E^{-}\oplus E^{0}\oplus E^{+}$. By
(F1) and (F2), there exists a constant $c_2>0$ such that
\begin{equation}\label{2.10}
G(x, u)\leq c_2(1+|u|^{\mu}) ,\quad \forall (x, u)\in \Omega \times
\mathbb{R}.
\end{equation}
From \eqref{2.10} and Lemma \ref{lem2.1}, we know $\Phi$ and $\Psi$ are
well defined. Furthermore, by virtue of \cite[Proposition 2.4]{ZL},
we have the following Lemma.
\begin{lemma} \label{lem2.3}
Under assumptions {\rm (F1)} and {\rm (F2)}, $\Psi \in C^1(E, \mathbb{R})$
and $\Psi': E\to E^{*}$ is compact, and hence
$\Phi \in C^1(E, \mathbb{R})$. Moreover,
\begin{equation}\label{2.11}
\begin{gathered}
\langle\Psi'(u), v\rangle=\int_{\Omega}g(x,u)vdx,\\
\begin{aligned}
\langle\Phi'(u), v\rangle
&=(u^{+},v)-(u^{-},v) -\langle\Psi'(u), v\rangle\\
&=(u^{+},v)-(u^{-},v)-\int_{\Omega}g(x,u)vdx.
\end{aligned}
\end{gathered}
\end{equation}
for all $u,v\in E=E^{-}\oplus E^{0}\oplus E^{+}$ with
$u=u^{-}+u^{0}+u^{+}$ and $v=v^{-}+v^{0}+v^{+}$, respectively.
\end{lemma}
Let $E$ be a Banach space with the norm $\|\cdot\|$ and
$E=\overline{\oplus_{j\in \mathbb{N}}X_j}$ with $\operatorname{dim}X_j<\infty$
for any $j\in \mathbb{N}$. Set $Y_k=\oplus_{j=1}^{k}X_j$ and
$Z_k=\overline{\oplus_{j=k}^{\infty}X_j}$. Consider the
$C^1$-functional $\Phi_{\lambda}: E\to
\mathbb{R}$ defined by
\[
\Phi_{\lambda}(u):=A(u)-\lambda B(u), ~~\lambda\in [1, 2].
\]
The following variant fountain theorem was established in \cite{Z1}.
\begin{theorem}[{\cite[Theorem 2.2]{Z1}}] \label{thm2.4}
Assume that the functional $\Phi_{\lambda}$ defined above satisfies
\begin{itemize}
\item[(T1)] $\Phi_{\lambda}$ maps bounded sets to bounded sets
uniformly for $\lambda\in [1, 2]$. Moreover,
$\Phi_{\lambda}(-u)=\Phi_{\lambda}(u)$ for all $(\lambda, u)\in [1, 2]\times
E$.
\item[(T2)] $B(u)\geq 0$, for all $u\in E$; and $B(u)\to \infty$ as
$\|u\|\to \infty$ on any finite dimensional subspace of $E$.
\item[(T3)] There exists $\rho_k>r_k>0$ such that
$$
a_k(\lambda):= \inf_{u\in Z_k\|u\|=\rho_k}\Phi_{\lambda}(u)\geq
0>\beta_k(\lambda):=\max_{u\in Y_k, \|u\|=r_k}\Phi_{\lambda}(u),
$$
for all $\lambda\in [1, 2]$,
and
\[
\xi_k(\lambda):= \inf_{u\in Z_k, \|u\|\leq \rho_k}
\Phi_{\lambda}(u)\to 0 \quad
\text{as $k\to \infty$ uniformly for }\lambda\in [1, 2].
\]
\end{itemize}
Then there exist $\lambda_n\to 1, u_{\lambda_n}\in Y_n$ such that
\[
\Phi'_{\lambda_n}|_{Y_n}(u_{\lambda_n})=0,\quad
\Phi_{\lambda_n}(u_{\lambda_n})\to \eta_k\in
[\xi_k(2), \beta_k(1)]\quad\text{as }n\to \infty.
\]
Particularly, if $\{u_{\lambda_n}\}$ has a convergent subsequence
for every $k$, then $\Phi_1$ has infinitely many nontrivial
critical points $\{u_k\}\in E\setminus \{0\}$ satisfying
$\Phi_1(u_k)\to 0^{-}$ as $k\to \infty$.
\end{theorem}
To apply Theorem \ref{thm2.4} in the proof of our main result, on the
space $E$, we define the functionals $A, B, \Phi_{\lambda}$ as follows:
\begin{gather}\label{2.12}
A(u)=\frac{1}{2}\|u^{+}\|^2,\quad
B(u)=\frac{1}{2}\|u^{-}\|^2+\int_{\Omega}G(x,u)dx,\\
\label{2.13}
\Phi_{\lambda}(u)=A(u)-\lambda B(u)=\frac{1}{2}\|u^{+}\|^2
-\lambda(\frac{1}{2}\|u^{-}\|^2+\int_{\Omega}G(x,u)dx)
\end{gather}
for all $u\in E$ and $\lambda\in [1, 2]$. From Lemma \ref{lem2.3}, we know
that $\Phi_{\lambda}\in C^1(E, \mathbb{R})$ for all
$\lambda\in [1, 2]$. We choose an orthonormal basis $\{e_j: j\in \mathbb{N}\}$
and let $X_j=\operatorname{span} \{e_j\}$ for all $j\in \mathbb{N}$. Note that
$\Phi_1=\Phi$, where $\Phi$ is the functional defined in
\eqref{2.9}.
We also need the following lemmas:
\begin{lemma} \label{lem2.5}
Let {\rm (F1)} and {\rm (F3)} be satisfied.
Then $B(u)\geq 0$ for all $u\in E$. Furthermore,
$B(u)\to \infty$ as $\|u\|\to \infty$ on any finite
dimensional subspace of $\tilde{E}\subset E$.
\end{lemma}
\begin{proof} From (F1) and \eqref{2.12}, we know that
$B(u)\geq 0$. We claim that for any finite dimensional subspace
$\tilde{E}\subset E$, there exists $\varepsilon >0$ such that
\begin{equation}\label{2.14}
\operatorname{meas}(\{x\in \Omega: |u(x)|\geq \varepsilon \|u\|\})\geq
\varepsilon,\quad \forall u\in \tilde{E}\setminus \{0\},
\end{equation}
where $\operatorname{meas}(\cdot)$ denotes the Lebesgue measure in
$\mathbb{R}^N$. Arguing indirectly, we assume that there exists a
sequence $\{u_n\}_{n\in \mathbb{N}}\subset \tilde{E}\setminus\{0\}$ such that
\[
\operatorname{meas}(\{x\in \Omega: |u_n(x)|\geq \frac{\|u_n\|}{n}\})<
\frac{1}{n},\quad \forall n\in \mathbb{N}.
\]
Let $v_n=\frac{u_n}{\|u_n\|}\in \tilde{E}$. Then $\|v_n\|=1$
for all $n\in \mathbb{N}$, and
\begin{equation}\label{2.15}
\operatorname{meas}(\{x\in \Omega: |v_n(x)|\geq \frac{1}{n}\})< \frac{1}{n},\quad
\forall n\in \mathbb{N}.
\end{equation}
Passing to a subsequence if necessary, we may assume
$v_n\to v_0$ in $E$, for some $v_0\in \tilde{E}$.
Since $\tilde{E}$ is of finite dimension. Evidently, $\|v_0\|=1$.
In view of Lemma \ref{lem2.2} and the equivalent of any two norms on $\tilde{E}$,
we have
\begin{equation}\label{2.16}
\int_{\Omega}|v_n-v_0|dx\to 0 \quad\text{as }n\to\infty.
\end{equation}
Since $v_0\neq 0$, there exists a constant $\delta_0>0$ such
that
\begin{equation}\label{2.17}
\operatorname{meas}(\{x\in \Omega: |v_0(x)|\geq \delta_0 \})\geq \delta_0.
\end{equation}
For each $n\in \mathbb{N}$, let
\[
\Lambda_n=\{x\in \Omega: |v_n(x)|< \frac{1}{n}\},\quad
\Lambda_n^{c}=\Omega \setminus \Lambda_n= \{x\in
\Omega: |v_n(x)|\geq \frac{1}{n}\}.
\]
Set
\[
\Lambda_0=\{x\in \Omega: |v_0(x)|\geq \delta_0\},
\]
where $\delta_0$ is the constant in \eqref{2.17}.
Then for $n$ large enough, by \eqref{2.15} and \eqref{2.17}, we
have
\[
\operatorname{meas}(\Lambda_n\cap \Lambda_0)\geq
\operatorname{meas}(\Lambda_0)-\operatorname{meas}(\Lambda_n^{c})\geq
\delta_0-\frac{1}{n}\geq \frac{\delta_0}{2}.
\]
Consequently, for $n$ large enough, there holds
\begin{align*}
\int_{\Omega}|v_n-v_0|dx
&\geq \int_{\Lambda_n\cap \Lambda_0}|v_n-v_0|dx\\
&\geq \int_{\Lambda_n\cap \Lambda_0}(|v_0|-|v_n|)dx\\
&\geq (\delta_0-\frac{1}{n})\cdot \operatorname{meas}(\Lambda_n\cap
\Lambda_0)\\
&\geq \frac{\delta_0^2}{4} >0.
\end{align*}
This is in contradiction to \eqref{2.16}. Therefore \eqref{2.14}
holds. For the $\varepsilon$ given in \eqref{2.14}, let
\[
\Lambda_{u}= \{x\in \Omega: |u(x)|\geq \varepsilon \|u\|\},\;
\forall u\in \tilde{E}\setminus \{0\}.
\]
Then by \eqref{2.14}, we have
\begin{equation}\label{2.18}
\operatorname{meas}(\Lambda_{u})\geq \varepsilon, \quad \forall u\in
\tilde{E}\setminus \{0\}
\end{equation}
By (F3), we know there exists $r_3>0$ such that
\begin{equation}\label{2.19}
G(x, u)\geq \frac{d}{2}|u|,\quad \forall (x, u) \in \Omega \times
\mathbb{R} \text{ with }|u|\geq r_3.
\end{equation}
Combing \eqref{2.12} and \eqref{2.19}, we obtain
\begin{align*}
B(u)&=\frac{1}{2}\|u^{-}\|^2+\int_{\Omega}G(x,u)dx\\
&\geq \int_{\Omega}\frac{d}{2}|u|dx\geq \int_{\Lambda_{u}}\frac{d}{2}|u|dx\\
&\geq \frac{d}{2}\varepsilon\|u\|\cdot \operatorname{meas}(\Lambda_{u})\\
&\geq \frac{d}{2}\varepsilon^2\|u\|.
\end{align*}
This implies that $B(u)\to \infty$ as $\|u\|\to \infty$ on any finite dimensional
subspace $\tilde{E}\subset E$. The proof is complete.
\end{proof}
\begin{lemma} \label{lem2.6}
Suppose that {\rm (F1)--(F3)} hold. Then there exists
$k_1>0$ and a sequence $\rho_k\to 0^{+}$ as
$k\to \infty$ such that
\begin{gather}\label{2.20}
\alpha_k(\lambda):= \inf_{u\in Z_k,
\|u\|=\rho_k}\Phi_{\lambda}(u)>0,\quad \forall k> k_0, \\
\label{2.21}
\xi_k(\lambda):= \inf_{u\in Z_k, \|u\|\leq
\rho_k}\Phi_{\lambda}(u)\to 0 \quad\text{as $k\to \infty$ uniformly for
$\lambda\in [1, 2]$}, \\
\label{2.22}
\beta_k(\lambda):=\max_{u\in Y_k,
\|u\|=r_k}\Phi_{\lambda}(u),\quad \forall k\in \mathbb{N},
\end{gather}
where $Y_k=\oplus_{j=1}^{k}X_j$ and
$Z_k=\overline{\oplus_{j=k}^{\infty}X_j}$ for all $k\in
\mathbb{N}$.
\end{lemma}
\begin{proof} (a) Firstly, we show that \eqref{2.20}
and \eqref{2.21} hold. Choosing appropriate $k$, so that
$Z_k\subset E^{+}$ for $k>k_1=\bar{n}+1$. For any $u\in E$ with
$\|u\|\leq \varepsilon$, for all $0<\varepsilon