\documentclass[reqno]{amsart} \usepackage{hyperref} \AtBeginDocument{{\noindent\small \emph{Electronic Journal of Differential Equations}, Vol. 2012 (2012), No. 132, pp. 1--12.\newline ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu \newline ftp ejde.math.txstate.edu} \thanks{\copyright 2012 Texas State University - San Marcos.} \vspace{9mm}} \begin{document} \title[\hfilneg EJDE-2012/132\hfil Existence and multiplicity of solutions] {Existence and multiplicity of solutions for a Steklov problem involving the p(x)-Laplace operator} \author[M. Allaoui, A. R. El Amrouss, A. Ourraoui \hfil EJDE-2012/132\hfilneg] {Mostafa Allaoui, Abdel Rachid El Amrouss, Anass Ourraoui} % in alphabetical order \address{Mostafa Allaoui \newline University Mohamed I, Faculty of sciences, Department of Mathematics, Oujda, Morocco} \email{allaoui19@hotmail.com} \address{Abdel Rachid El Amrouss \newline University Mohamed I, Faculty of sciences, Department of Mathematics, Oujda, Morocco} \email{elamrouss@hotmail.com} \address{Anass Ourraoui \newline University Mohamed I, Faculty of sciences, Department of Mathematics, Oujda, Morocco} \email{anas.our@hotmail.com} \thanks{Submitted February 24, 2012. Published August 15, 2012.} \subjclass[2000]{35J48, 35J60, 35J66} \keywords{$p(x)$-Laplace operator; variable exponent Lebesgue space; \hfill\break\indent variable exponent Sobolev space; Ricceri's variational principle} \begin{abstract} In this article we study the nonlinear Steklov boundary-value problem \begin{gather*} \Delta_{p(x)} u=|u|^{p(x)-2}u \quad \text{in } \Omega, \\ |\nabla u|^{p(x)-2}\frac{\partial u}{\partial \nu}=\lambda f(x,u) \quad \text{on } \partial\Omega. \end{gather*} Using the variational method, under appropriate assumptions on $f$, we obtain results on existence and multiplicity of solutions. \end{abstract} \maketitle \numberwithin{equation}{section} \newtheorem{theorem}{Theorem}[section] \newtheorem{lemma}[theorem]{Lemma} \newtheorem{remark}[theorem]{Remark} \newtheorem{definition}[theorem]{Definition} \allowdisplaybreaks \section{Introduction} Motivated by the developments in elastic mechanics, electrorheological fluids and image restoration \cite{4,20,22,26,27}, the interest in variational problems and differential equations with variable exponent has grown in recent decades; see for example \cite{5,13,14,19}. We refer the reader to \cite{3,6,7,10,11,12,18,23,24,25} for developments in $p(x)$-Laplacian equations. The purpose of this article is to study the existence and multiplicity of solutions for the Steklov problem involving the $p(x)$-Laplacian, \begin{equation} \label{eS} \begin{gathered} \Delta_{p(x)} u=|u|^{p(x)-2}u \quad \text{in } \Omega, \\ |\nabla u|^{p(x)-2}\frac{\partial u}{\partial \nu}=\lambda f(x,u) \quad \text{on } \partial\Omega, \end{gathered} \end{equation} where $\Omega \subset \mathbb{R}^N$ $(N\geq2)$ is a bounded smooth domain, $\frac{\partial u}{\partial \nu}$ is the outer unit normal derivative on $\partial\Omega$, $\lambda >0$ is a real number, $ p$ is a continuous function on $\overline{\Omega}$ with $p^{-}:=\inf_{x\in \overline{ \Omega}}p(x)>1$. The main interest in studying such problems arises from the presence of the $p(x)$-Laplace operator $\operatorname{div}(|\nabla u|^{p(x)-2}\nabla u)$, which is a generalization of the classical $p$-Laplace operator $\operatorname{div}(|\nabla u|^{p-2}\nabla u)$ obtained in the case when $p$ is a positive constant. Many authors have studied the inhomogeneous Steklov problems involving the $p$-Laplacian \cite{17}. The authors have studied this class of inhomogeneous Steklov problems in the cases of $p(x)\equiv p=2$ and of $p(x)\equiv p> 1$, respectively. We make the following assumptions on the function $f$: \begin{itemize} \item[(H0)] $f:\partial\Omega\times\mathbb{R}\to\mathbb{R}$ satisfies the carath\'eodory condition and there exists a constant $C\geq 0$ such that: $$ | f(x,s)| \leq C(1 +| s|^{\beta(x)-1})\quad\text{for all } (x,s) \in \partial\Omega \times \mathbb{R}, $$ where $\beta(x)\in C(\partial\Omega)$, $\beta(x)>1$ and $\beta(x)
0$, $\mu>p^{+}$ such that for all $|s| \geq R$ and $x\in \partial\Omega $, \[ 0<\mu F(x,s)\leq f(x,s)s. \] \item[(H2)] $f(x,s)=o( | s| ^{p^{+}-1}) $ as $s\to 0$ and uniformly for $x\in \partial\Omega $. \item[(H3)] $f(x,-s)=-f(x,s)$, $x\in \partial\Omega$, $s\in \mathbb{R}$. \end{itemize} The main results of this paper are as follows. \begin{theorem}\label{th1} If {\rm (H0), (H1), (H2)} hold and $\beta^{-}>p^{+}$, then for any $\lambda\in(0,+\infty)$, \eqref{eS} has at least a nontrivial weak solution. \end{theorem} \begin{theorem}\label{th2} If {\rm (H0), (H1), (H3)} hold and $\beta^{-}>p^{+}$, then for any $\lambda\in(0,+\infty)$, \eqref{eS} has infinite many pairs of weak solutions. \end{theorem} For the next theorem we assume that $f$ satisfies the following conditions: \begin{itemize} \item[(F1)] $ | f(x,s)|\leq a(x)+b| s|^{\alpha(x)-1}$, for all $(x,s)\in \partial\Omega\times\mathbb{R} $, where $ a(x)$ is in $L^{\frac{\alpha(x)}{\alpha(x)-1}}(\partial\Omega)$, $b\geq 0$ is a constant, $\alpha(x)\in C(\partial\Omega) $, $1<\alpha^{-}:=\inf_{x\in\overline{\Omega}}\alpha(x)\leq \alpha^{+} :=\sup_{x\in\overline{\Omega}}\alpha(x)
N$. \item [(F2)] $f(x,t)<0$, when $|t|\in(0,1)$, $f(x,t)\geq m>0$, when $t\in(t_{0},\infty)$, $t_{0}>1$. \end{itemize} \begin{theorem}\label{th3} If {\rm (F1), (F2)} hold, then there exist an open interval $\Lambda\subset(0,\infty)$ and a positive real number $\rho$ such that each $\lambda\in \Lambda$, \eqref{eS} has at least three solutions whose norms are less than $\rho$. \end{theorem} The special features of the of the problems considered in this paper are that they involve the variable exponent. To prove theorems \eqref{th1}-\eqref{th3} we use the theory of variable exponent Sobolev spaces, established first by Kov\'a\v{c}ik and R\'akosn\'ik \cite{16}, and some research results obtained recently for the $p(x)$-Laplacian equations. For the proof of theorem \eqref{th1}, we will use the Mountain Pass Theorem. For the proof of theorem \eqref{th2}, we will use the Fountain theorem. For the proof of theorem \eqref{th3}, we will use Ricceri three-critical-points theorem. This article is organized as follows. First, we will introduce some basic preliminary results and lemmas in Section 2. In Section 3, we will give the proofs of our main results. \section{Preliminaries} For completeness, we first recall some facts on the variable exponent spaces $L^{p(x)}(\Omega)$ and $W^{k,p(x)}(\Omega)$. For more details, see \cite{8,9}. Suppose that $\Omega$ is a bounded open domain of $ \mathbb{R}^N$ with smooth boundary $\partial\Omega$ and $p\in C_{+}(\overline{\Omega})$ where $$ C _{+}(\overline{\Omega})=\{p\in C(\overline{\Omega})\quad\text{and} \quad \inf _{x\in \overline{\Omega}}p(x)>1\}. $$ Denote by $p^{-}:=\inf_{x\in\overline{\Omega}}p(x)$ and $p^{+}:=\sup_{x\in\overline{\Omega}}p(x)$. Define the variable exponent Lebesgue space $L^{p(x)}(\Omega)$ by $$ L^{p(x)}(\Omega)=\{u:\Omega\to\mathbb{R}\text{ is a measurable and } \int_{\Omega}|u|^{p(x)}dx<+\infty\}, $$ with the norm $$ |u|_{p(x)}=\inf\{\tau>0;\int_{\Omega}|\frac{u}{\tau}|^{p(x)}dx\leq 1\}. $$ Define the variable exponent Sobolev space $W^{1,p(x)}(\Omega)$ by $$ W^{1,p(x)}(\Omega)=\{u\in L^{p(x)}(\Omega): |\nabla u|\in L^{p(x)}(\Omega) \}, $$ with the norm \begin{gather*} \|u\|=\inf\{\tau>0;\int_{\Omega}(|\frac{\nabla u}{\tau}|^{p(x)} +|\frac{u}{\tau}|^{p(x)})dx\leq 1\}, \\ \|u\|=|\nabla u|_{p(x)}+|u|_{p(x)}. \end{gather*} We refer the reader to \cite{8,9} for the basic properties of the variable exponent Lebesgue and Sobolev spaces. \begin{lemma}[\cite{9}] \label{lem1.2} Both $(L^{p(x)}(\Omega) , |\cdot|_{p(x)})$ and $(W^{1,p(x)}(\Omega),\|\cdot\|)$ are separable, reflexive and uniformly convex Banach spaces. \end{lemma} \begin{lemma}[\cite{9}] \label{lem2.2} H\"older inequality holds, namely $$ \int_{\Omega}|uv|dx\leq 2| u |_{p(x)}| v |_{q(x)} \quad \forall u\in L^{p(x)}(\Omega) , v\in L^{q(x)}(\Omega), $$ where $\frac{1}{p(x)}+\frac{1}{q(x)}=1 $. \end{lemma} \begin{lemma}[\cite{9}]\label{lem2.3} Let $I(u)=\int_{\Omega}(| \nabla u|^{p(x)}+| u|^{p(x)})dx$, for $u\in W^{1,p(x)}(\Omega) $ we have \begin{itemize} \item $\|u\|<1(=1,>1)\Leftrightarrow I(u)<1(=1,>1)$. \item $\|u\|\leq1\Rightarrow \|u\|^{p^{+}}\leq I(u)\leq \|u\|^{p^{-}}$. \item $\|u\|\geq1\Rightarrow \|u\|^{p^{-}}\leq I(u)\leq \|u\|^{p^{+}}$. \end{itemize} \end{lemma} \begin{lemma}[\cite{8}] \label{lem2.4} Assume that the boundary of $\Omega$ possesses the cone property and $p\in C(\overline{\Omega})$ and $1\leq q(x)
1$, $ p_{2}(x)>1$, $a(x)\geq 0$ and
$b\geq 0$ is a constant, then the Nemytskii operator from $L^{p_1(x)}(\Omega)$
to $L^{p_{2}(x)}(\Omega)$ defined by $N_{f}(u)(x)=f(x,u(x))$ is a continuous and
bounded operator.
\end{lemma}
Let $a:\partial\Omega\to\mathbb{R}$ be a measurable.
Define the weighted variable exponent Lebesgue space by
$$
L_{a(x)}^{p(x)}(\partial\Omega)=\{u:\partial\Omega\to\mathbb{R}
\text{ is measurable and } \int_{\partial\Omega}|a(x)||u|^{p(x)}d\sigma<+\infty\},
$$
with the norm
$$
|u|_{(p(x),a(x))}=\inf\{\tau>0;\int_{\partial\Omega}|a(x)|\,
|\frac{u}{\tau}|^{p(x)}d\sigma\leq 1\},
$$
where $ d\sigma$ is the measure on the boundary.
Then $L_{a(x)}^{p(x)}(\partial\Omega)$ is a Banach space.
In particular, when $ a\in L^{\infty}(\partial\Omega) $,
$L_{a(x)}^{p(x)}(\partial\Omega)=L^{p(x)}(\partial\Omega)$.
\begin{lemma}[\cite{5}] \label{lem2.6}
Let $\rho(u)=\int_{\partial\Omega}|a(x)||u|^{p(x)}d\sigma$ for
$u\in L_{a(x)}^{p(x)}(\partial\Omega) $ we have
\begin{itemize}
\item $|u|_{(p(x),a(x))}\geq1\Rightarrow |u|_{(p(x),a(x))}^{p^{-}}
\leq \rho(u) \leq|u|_{(p(x),a(x))}^{p^{+}}$.
\item $|u|_{(p(x),a(x))}\leq1\Rightarrow |u|_{(p(x),a(x))}^{p^{+}}
\leq \rho(u) \leq|u|_{(p(x),a(x))}^{p^{-}}$.
\end{itemize}
\end{lemma}
For $A\subset\overline{\Omega}$, denote by $p^{-}(A)=\inf_{x\in A} p(x)$,
$p^{+}(A)=\sup_{x\in A} p(x) $.
Define
\begin{gather*}
p^{\partial}(x)=(p(x))^{\partial}:= \begin{cases}
\frac{(N-1)p(x)}{N-p(x)}, & \text{if } p(x)< N, \\
\infty, & \text{if } p(x)\geq N.
\end{cases}
\\
p_{r(x)}^{\partial}(x) :=\frac{r(x)-1}{r(x)} p^{\partial}(x),
\end{gather*}
where $x\in \partial\Omega$, $r\in C(\partial\Omega,\mathbb{R})$
and $r(x)>1$.
\begin{lemma}[\cite{5}] \label{2.7}
Assume that the boundary of $\Omega$ possesses the cone property and
$p\in C(\overline{\Omega})$ with $p^{-}>1$. Suppose that
$a\in L^{r(x)}(\partial\Omega)$, $r\in C(\partial\Omega)$ with
$r(x)>\frac{p^{\partial}(x)}{p^{\partial}(x)-1}$ for all
$x\in \partial\Omega$. If $q\in C(\partial\Omega) $ and
$1\leq q(x) 0$ such that
\begin{equation}\label{e4}
|u|_{L^{p^{+}}(\partial\Omega)}\leq C_{3}\|u\|, \quad \forall u\in X.
\end{equation}
From \eqref{e3} and \eqref{e4}, we have for $\|u\|$ small enough
$$
J ( u) \geq \frac{1}{p^{+}}\|u\|^{p^{+}} -\lambda\varepsilon C_{3}\|u\|^{p^{+}}
-\lambda C(\varepsilon) C_{3}\|u\|^{\beta^{-}}.
$$
Choose $\varepsilon>0$ small enough that
$0<\lambda\varepsilon C_{3}<\frac{1}{2p^{+}}$, we obtain
\begin{align*}
J ( u)
&\geq \frac{1}{2p^{+}}\| u\| ^{p^{+}}-C(\lambda,\varepsilon)C_{3}\| u\| ^{\beta ^{-}} \\
&\geq \| u\| ^{p^{+}}( \frac{1}{2p^{+}} -C(\lambda,\varepsilon)C_{3}\| u\| ^{\beta ^{-}-p^{+}}) .
\end{align*}
Since $p^{+}<\beta ^{-}$, the function $t\mapsto ( \frac{1}{2p^{+}}
-C(\lambda,\varepsilon)C_{3}t^{\beta ^{-}-p^{+}}) $ is strictly positive
in a neighborhood of zero. It follows that there exist $r_1>0$ and $C'>0$
such that
\[
J ( u) \geq C'\quad \forall u\in X:\| u\| =r_1.
\]
The proof is complete.
\end{proof}
\begin{proof}[Proof of theorem \ref{th1}]
To apply the Mountain Pass Theorem, we must prove that
$J ( tu) \to -\infty$ as $t\to +\infty$,
for a certain $u\in X$. From condition (H1), we obtain
\[
F( x,s) \geq c| s| ^{\mu }\quad \text{for all }( x,s) \in
\partial\Omega \times \mathbb{R}.
\]
Let $u\in X$ and $t>1$, we have
\begin{align*}
J ( tu)
&= \int_{\Omega} \frac{t^{p(x)}}{p(x)}[ | \nabla u| ^{p(x)}+ | u|
^{p(x)}] dx-\lambda\int_{\partial\Omega} F( x,tu) d\sigma \\
&\leq t^{p^{+}}\int_{\Omega} \frac{1}{p(x)}[ | \nabla u| ^{p(x)}+ | u|
^{p(x)}] dx-ct^{\mu }\lambda\int_{\partial\Omega} | u| ^{\mu }d\sigma.
\end{align*}
The fact $\mu >p^{+}$, implies for any $\lambda\in(0,+\infty)$
$J ( tu) \to -\infty$ as $t\to +\infty$.
It follows that there exists $e\in X$ such that $\| e\| >r_1$ and $J ( e) <0$.
According to the Mountain Pass Theorem, $J $ admits a critical value
$\tau \geq C'$ which is characterized by
\[
\tau =\underset{h\in \Gamma }{\inf }\sup_{t\in [ 0,1] }J ( h( t) )
\]
where
\[
\Gamma =\{ h\in C([ 0,1] ,X) :h(0)=0\text{ and }h(1)=e\} .
\]
This completes the proof.
\end{proof}
Since $X$ is a separable and reflexive Banach space \cite{3,8},
there exist $\{e_{n}\}_{n=1}^{\infty}\subset X$ and
$\{f_{n}\}_{n=1}^{\infty}\subset X^{*}$
such that
$$
f_{n}(e_{m})=\delta_{n,m}= \begin{cases}
1, & \text{if }n=m; \\
0, & \text{if }n\neq m.
\end{cases}
$$
\[
X=\overline{\rm span}\{e_{n}:n=1,2,\dots\},\quad
X^{*}=\overline{\rm span}^{w^{*}}\{f_{n}:n=1,2,\dots\}.
\]
For $k=1,2,\dots$ denote by
\[
X_{n}={\rm span}\{e_{n}\},\quad
Y_{n}=\oplus_{j=1}^{n}X_{j},\quad
Z_{n}=\overline{\oplus_{j=n}^{\infty}X_{j}}.
\]
\begin{lemma}[\cite{5,11}] \label{lem3.3}
For $\beta(x)\in C_{+}(\partial\Omega)$,
$\beta(x) r_{k}>0$
such that:
\begin{itemize}
\item[(A1)] $b_{k}:=\inf \{ J ( u) /u\in Z_{k},\| u\| =r _{k}\} \to
+\infty$ as $k\to +\infty $,
\item[(A2)] $a_{k}:=\max \{ J ( u) /u\in Y_{k},\| u\| =\rho _{k}\} \leq 0$ as
$k\to +\infty $.
\end{itemize}
(A1): For $u\in Z_{k}$ such that $\| u\| =r_{k}>1 $, by
condition (H0), we have
\begin{align*}
J( u) &= \int_{\Omega} \frac{1}{p(x)}\left[ | \nabla u| ^{p(x)}+| u|
^{p(x)}\right] dx-\lambda\int_{\partial\Omega} F( x,u) d\sigma \\
&\geq \frac{1}{p^{+}}\|u\|^{p^{-}}-\lambda\int_{\partial\Omega}
C(1+|u|^{\beta(x)})d\sigma \\
&\geq \frac{1}{p^{+}}\| u\| ^{p^{-}}-\lambda C\max\{|u|_{L^{\beta(x)}
(\partial\Omega)}^{\beta^{+}},|u|_{L^{\beta(x)}(\partial\Omega)}^{\beta^{-}}\}-C_1.
\end{align*}
It follows that
\begin{align*}
J ( u) &\geq
\begin{cases}
\frac{1}{p^{+}}\| u\| ^{p^{-}}-( C_{2}(\lambda)+C_1) &
\text{if } |u|_{L^{\beta(x)}(\partial\Omega)}\leq 1 \\
\frac{1}{p^{+}}\| u\| ^{p^{-}}-C_{2}(\lambda)( \beta _{k}\| u\| ) ^{\beta ^{+}}-C_1
& \text{if } |u|_{L^{\beta(x)}(\partial\Omega)}>1
\end{cases}
\\
&\geq \frac{1}{p^{+}}\| u\| ^{p^{-}}-C_{2}(\lambda)( \beta _{k}\| u\| ) ^{\beta
^{+}}-C_{3}.
\end{align*}
For $r _{k}=( C_{2}(\lambda)\beta ^{+}\beta _{k}^{\beta ^{+}})
^{\frac{1}{p^{-}-\beta^{+}}}$, we have
\[
J ( u) \geq r _{k}^{p^{-}}( \frac{1}{p^{+}}-\frac{1}{ \beta ^{+}})
-C_{3}.
\]
Since $\beta _{k}\to 0$ and $ p^{+}<\beta ^{+}$, we have
$r_{k}\to +\infty \quad $ as $k\to +\infty $. Consequently,
\[
J ( u) \to +\infty \quad \text{as } \| u\| \to +\infty ,u\in Z_{k}.
\]
So $(A1)$ holds.\\
(A2): Condition (H1) implies
\[
F(x,s)\geq C_1| s| ^{\mu }-C_{2},\quad
\forall(x,s)\in\partial\Omega\times\mathbb{R}.
\]
Let\ $u\in Y_{k}$ be such that$\ \| u\| =\rho _{k}>r _{k}>1$. Then
\begin{align*}
J ( u)
&\leq \frac{1}{p^{-}}\|u\|^{p^{+}}-\lambda\int_{\partial\Omega}
C_1| s| ^{\mu }-C_{2}d\sigma\\
&\leq \frac{1}{p^{-}}\| u\| ^{p^{+}}-\lambda C_1\int_{\partial\Omega}
| u| ^{\mu}d\sigma+C_{3}.
\end{align*}
Note that the space $Y_{k}$ has finite dimension, then all norms are
equivalents and we obtain
\[
J ( u) \leq \frac{1}{p^{-}}\| u\| ^{p^{+}}-\lambda C_{2}\| u\| ^{\mu}+C_{3}.
\]
Finally,
\[
J ( u) \to -\infty \quad \text{as } \|u\| \to +\infty ,u\in Y_{k}
\]
because $\mu >p^{+}$. The assertion (A2) is then satisfied and the proof
of theorem \ref{th2} is complete.
\end{proof}
\begin{proof}[Proof of theorem \ref{th3}]
For proving our result we use lemma \ref{lem2.8}.
It is well known that $\phi$ is a continuous convex functional,
then it is weakly lower semicontinuous and its inverse derivative is continuous,
from theorem \ref{the2.1} the precondition of lemma \ref{lem2.8} is satisfied.
In following we must verify that the conditions (i), (ii) and (iii)
in lemma \ref{lem2.8} are fulfilled.
For $u\in X$ such that $\|u\|_{X}\geq 1$, we have
\begin{align*}
\psi(u)
&=-\int_{\partial\Omega}F(x,u)d\sigma
=-\int_{\partial\Omega}[\int_{0}^{u(x)}f(x,t)dt]d\sigma\\
&\leq \int_{\partial\Omega}[a(x)|u(x)|+\frac{b}{\alpha(x)}|u|^{\alpha(x)}]d\sigma \\
&\leq 2\|a\|_{L^{\frac{\alpha(x)}{\alpha(x)-1}}(\partial\Omega)}
\|u\|_{L^{\alpha(x)}(\partial\Omega) }
+\frac{b}{\alpha^{-}}\int_{\partial\Omega}|u|^{\alpha(x)}d\sigma\\
&\leq 2C\|a\|_{L^{\frac{\alpha(x)}{\alpha(x)-1}}(\partial\Omega)}
\|u\|_{X} +\frac{b}{\alpha^{-}}\int_{\partial\Omega}|u|^{\alpha(x)}d\sigma.
\end{align*}
By the embedding theorem, we have $u\in L^{\alpha(x)}(\partial\Omega)$;
therefore,
\[
\int_{\partial\Omega}|u|^{\alpha(x)}d\sigma
\leq \max\{\|u\|_{L^{\alpha(x)}(\partial\Omega) }^{\alpha^{+}},\|u\|_{L^{\alpha(x)}
(\partial\Omega) }^{\alpha^{-}}\}
\leq C'\|u\|_{X}^{\alpha^{+}}.
\]
Then
$$
|\psi(u)|\leq 2C\|a\|_{L^{\frac{\alpha(x)}{\alpha(x)-1}}(\partial\Omega)}
\|u\|_{X} +\frac{b}{\alpha^{-}}C'\|u\|_{X}^{\alpha^{+}}.
$$
On the other hand,
\[
\phi(u)
=\int_{\Omega}\frac{1}{p(x)}(|\nabla u|^{p(x)}+|u|^{p(x)})dx
\geq\frac{1}{p^{+}}\|u\|_{X}^{p^{-}} .
\]
Which implies that for any $\lambda>0$,
$$
\phi(u)+\lambda\psi(u)\geq\frac{1}{p^{+}}\|u\|_{X}^{p^{-}}
-2\lambda C\|a\|_{L^{\frac{\alpha(x)}{\alpha(x)-1}}(\partial\Omega)}
\|u\|_{X} -\frac{\lambda b C'}{\alpha^{-}}\|u\|_{X}^{\alpha^{+}} .
$$
For $p^{-}>\alpha^{+}$ we have
$$
\lim_{\|u\|_{X}\to\infty}(\phi(u)+\lambda\psi(u))=\infty ,
$$
then (i) of lemma \ref{lem2.8} is verified.
lt remains to show (ii) and (iii) of this lemma (Ricceri).
By (F2), it is clear that F(x,t) is increasing for $t\in(t_{0},\infty)$
and decreasing for $ t\in(0,1)$ uniformly for $x\in\partial\Omega$,
and $F(x,0)=0$ is obvious, $F(x,t)\to+\infty$ when $t\to +\infty$
because ($F(x,t)\geq mt$ uniformly on $x$).
Then, there exists a real number $\delta> t_{0}$ such that
$$
F(x,t)\geq0=F(x,0)\geq F(x,\tau) \quad \forall u\in X ,t>\delta , \tau\in(0,1).
$$
Let $a, b$ be two real numbers such that $0\delta$ satisfying $ b^{p^{-}}|\Omega|>1$.
When $t\in[0,a]$ we have
$$
F(x,t)\leq F(x,0)=0.
$$
Then
$$
\int_{\partial\Omega}\sup_{0