- Research
- Open access
- Published:
Solutions for a degenerate \(p(x)\)-Laplacian equation with a nonsmooth potential
Boundary Value Problems volume 2015, Article number: 120 (2015)
Abstract
This paper is concerned with a degenerate \(p(x)\)-Laplacian equation with a nonsmooth potential. We establish a compact embedding \(W^{1,p(x)}(\omega,\Omega )\hookrightarrow L^{q(x)}(\alpha(x),\Omega)\) under suitable conditions and obtain the existence and multiplicity of solutions to the degenerate \(p(x)\)-Laplacian equation by the theories of nonsmooth critical point and the variable exponent Lebesgue-Sobolev spaces. Some recent results in the literature are generalized and improved.
1 Introduction
In this paper, we discuss the existence and multiplicity of solutions for the following degenerate \(p(x)\)-Laplacian equation with a nonsmooth potential (hemivariational inequality):
where \(\Omega\subset\mathbb{R}^{N}\) is a bounded domain with a \(C^{2}\) boundary ∂Ω, \(j_{1}, j_{2}:\Omega\times\mathbb{R}\rightarrow\mathbb{R}\) are jointly measurable potential functions, which are locally Lipschitz and in general nonsmooth in \(u\in\mathbb{R}\), and the following conditions are satisfied:
-
(P)
\(p(x)\in C(\bar{\Omega})\), \(1< p^{-}=\inf_{\Omega}p(x)\leq p^{+}=\sup_{\Omega}p(x)<+\infty\);
-
(W)
ω is a measurable positive and a.a. finite function in Ω. \(\omega\in L^{1}_{\mathrm{loc}}(\Omega)\) and \(\omega^{-s(\cdot )}\in L^{1}(\Omega)\) for some \(s\in C(\bar{\Omega})\) such that \(s(x)\in (\frac {N}{p(x)},\infty )\cap [\frac{1}{p(x)-1},\infty )\) for all \(x\in\bar{\Omega}\).
As is well known, the \(p(x)\)-Laplacian possesses more complicated nonlinearities than the p-Laplacian (a constant), for example, it is inhomogeneous and, in general, it does not have the first eigenvalue. In other words, the infimum equals 0 (see [1]). \(p(x)\)-Laplacian can be found in the areas, the thermistor problem [2], electro-rheological fluids [3], or the problem of image recovery [4]. When ω is not bounded (or not separated from zero) \(\omega(x)\) is called degenerate (or singular). A degenerate second order linear differential operator was basically due to Murthy and Stampacchia [5], and higher order linear degenerate elliptic operators were extended in the 1980s, and quasilinear elliptic equations including p-Laplacian were developed in the 1990s (see [6]). Degenerate phenomena appear in the area of oceanography, turbulent fluid flows, electrochemical problems and induction heating. These problems are interesting in applications and raise many difficult mathematical problems. The results can be found in [7–10] and the references therein.
If \(\omega(x)=1\) and \(\mu=0\), then problem (1.1) becomes
There exist several existence results for problem (1.2). For example, Dai and Liu [11] obtained the existence of three solutions for problem (1.2) by a version of the nonsmooth three critical points theorem. Qian and Shen [12], using the theory of nonsmooth critical point theory, derived the existence and multiplicity of solutions for problem (1.2), where \(\lambda=1\). Ge et al. [13], employing a variational method combined with suitable truncation techniques based on nonsmooth critical point theory for locally Lipschitz function, proved the existence of at least five solutions under suitable conditions. It is well known that when \(p(x)=p\) (a constant), p-Laplacian differential inclusion has been studied sufficiently (see, e.g., [14–20] and the references therein).
Being influenced by the above results, we want to discuss problem (1.1). To the best of our knowledge, there exist few papers to study problem (1.1). Compared with the previous works, our framework presents new nontrivial difficulties. In particular, there is no compact embedding \(W^{1,p(x)}(\omega,\Omega)\hookrightarrow L^{q(x)}(\alpha(x),\Omega)\). To deal with the difficulty, we borrow an idea from the compact embedding theorem \(W^{1,p(x)}(\Omega )\hookrightarrow L^{q(x)}(\Omega)\) (see [21]) to prove the compactness \(W^{1,p(x)}(\omega,\Omega)\hookrightarrow L^{q(x)}(\alpha(x),\Omega)\) under suitable assumptions.
This paper is organized as follows. In Section 2, we present some necessary preliminary knowledge on the weighted variable exponent Sobolev space and nonsmooth critical point theory. In Section 3, in order to discuss problem (1.1), we firstly prove a compact embedding theorem for the weighted variable exponent Sobolev space, which plays an important role in this section. Then, based on this theorem, combining the nonsmooth fountain theorem, nonsmooth dual fountain theorem, Weierstrass theorem and nonsmooth pass mountain theorem, we obtain the existence and multiplicity results for problem (1.1).
2 Preliminaries
In this section we state some definitions and lemmas, which will be used throughout this paper. First of all, we give some definitions: \((X,\|\cdot\|)\) will denote a (real) Banach space and \((X^{*},\|\cdot\|_{*})\) its topological dual. While \(u_{n}\rightarrow u\) (respectively, \(u_{n}\rightharpoonup u\)) in X means that the sequence \(\{u_{n}\}\) converges strongly (respectively, weakly) in X. \(h^{-}=\inf_{x\in\Omega}h(x)\) and \(h^{+}=\inf_{x\in\Omega}h(x)\).
We define the weighted variable exponent Lebesgue-Sobolev spaces and list some properties of these spaces. Since the variable exponent Lebesgue-Sobolev spaces \(L^{p(x)}(\Omega)\) and \(W^{1,p(x)}(\Omega)\) were thoroughly studied in [22–25], we only introduce the weighted variable exponent Lebesgue-Sobolev spaces \(L^{p(x)}(\alpha(x),\Omega)\) and \(W^{1,p(x)}(\omega,\Omega)\).
Set
Denote by \(S(\Omega)\) the set of all measurable real functions defined on Ω. For any \(p\in C_{+}(\bar{\Omega})\) and \(\alpha(x)\in S(\Omega)\), we define the variable weighted exponent Lebesgue space by
with the norm
then \(L^{p(x)}(\alpha,\Omega)\) is a Banach space. When \(\alpha(x)\equiv 1\), we have \(L^{p(x)}(\alpha,\Omega)\equiv L^{p(x)}(\Omega)\). The weighted variable exponent Sobolev space \(W^{1,p(x)}(\omega,\Omega)\) is defined by
with the norm
or equivalently
for all \(u\in W^{1,p(x)}(\omega,\Omega)\). \(W^{1,p(x)}_{0}(\omega,\Omega)\) is defined as the completion of \(C^{\infty}_{0}(\Omega)\) with respect to the norm \(\|u\| _{W^{1,p(x)}(\omega,\Omega)}\). The following Hölder type inequality is useful for the next section.
Proposition 2.1
The space \(L^{p(x)}(\Omega)\) is a separable, uniform Banach space, and its conjugate space is \(L^{p'(x)}(\Omega)\), where \(1/p(x)+1/p'(x)=1\). For any \(u\in L^{p(x)}(\Omega)\) and \(v\in L^{p'(x)}(\Omega)\), we have
Proposition 2.2
Set \(\rho(u)=\int_{\Omega}\alpha(x)|u(x)|^{p(x)}\,\mathrm{d}x\). For \(u, u_{k}\in L^{p(x)}(\alpha(x),\Omega)\), we have
-
(i)
For \(u\neq0\), \(|u|_{L^{p(x)}(\alpha(x),\Omega)}=\lambda \Leftrightarrow \rho(\frac{u}{\lambda})=1\);
-
(ii)
\(|u|_{L^{p(x)}(\alpha(x),\Omega)}<1 (=1, >1)\Leftrightarrow\rho(u)<1 (=1, >1)\);
-
(iii)
If \(|u|_{L^{p(x)}(\alpha(x),\Omega)}>1\), then \(|u|_{L^{p(x)}(\alpha(x),\Omega)}^{p^{-}} \leq\rho(u)\leq|u|_{L^{p(x)}(\alpha(x),\Omega)}^{p^{+}}\);
-
(iv)
If \(|u|_{L^{p(x)}(\alpha(x),\Omega)}<1\), then \(|u|_{L^{p(x)}(\alpha(x),\Omega)}^{p^{+}} \leq\rho(u)\leq|u|_{L^{p(x)}(\alpha(x),\Omega)}^{p^{-}}\);
-
(v)
\(\lim_{k\rightarrow\infty}|u_{k}|_{L^{p(x)}(\alpha (x),\Omega)}=0\Leftrightarrow \lim_{k\rightarrow\infty} \rho(u_{k})=0\);
-
(vi)
\(|u_{k}|_{L^{p(x)}(\alpha(x),\Omega)}\rightarrow\infty \Leftrightarrow \rho(u_{k})\rightarrow\infty\).
If (P) and (W) hold, from [10], we have the following propositions.
Proposition 2.3
Assume that (P) and (W) hold, then \(W^{1,p(x)}(\omega,\Omega)\) and \(W_{0}^{1,p(x)}(\omega,\Omega)\) are reflexive Banach spaces.
To obtain a crucial embedding result which will be used in the later section, let us denote
where \(s(x)\) is given in hypothesis (W) and
for all \(x\in\bar{\Omega}\).
The following compact embedding theorem is very important in this paper.
Proposition 2.4
([10])
Assume that hypotheses (P) and (W) hold, \(q\in C_{+}(\bar{\Omega})\) and \(1\leq q(x)< p^{*}_{s}(x)\) for all \(x\in\bar{\Omega}\), then we have the continuous compact embedding
Furthermore, we also have the following Poincaré inequality type.
Proposition 2.5
([10])
If (P) and (W) hold, then the estimate
holds for all \(u\in C^{\infty}_{0}(\Omega)\) with a positive constant C independent of u.
Let \(X=W^{1,p(x)}_{0}(\Omega)\). We say that u is a weak solution of problem (1.1) if \(u\in X\) and
for all \(v\in X\), \(\xi_{1}\in\partial j_{1}(x,u)\) and \(\xi_{2}\in\partial j_{2}(x,u)\) a.a. on Ω. We write \(A:X\rightarrow X^{*}\)
Lemma 2.1
-
(i)
\(A:X\rightarrow X^{*}\) is a continuous, bounded and strict monotone operator.
-
(ii)
A is a mapping of type \((S_{+})\), i.e., if \(u_{n}\rightharpoonup u\) in X and \(\overline{\lim}_{n\rightarrow\infty}\langle A(u_{n})-A(u),u_{n}-u\rangle \leq 0\), then \(u_{n}\rightarrow u\) in X.
Remark 2.1
The proof is similar to that in [26] (see Theorem 3.1). Here we omit its proof.
Seeking a weak solution of problem (1.1) is equivalent to finding a critical point of the energy function \(I:X\rightarrow\mathbb{R}\) for problem (1.1) defined by
Since I is Lipschitz continuous on bounded sets, hence it is locally Lipschitz (see [21], p.83).
Definition 2.1
A function I: \(X\rightarrow \mathbb{R}\) is locally Lipschitz if for every \(u\in X\) there exist a neighborhood U of u and \(L>0\) such that for every \(\nu, \eta\in U\),
Definition 2.2
Let I: \(X\rightarrow \mathbb{R}\) be a locally Lipschitz functional, \(u, \nu\in X\): the generalized derivative of I in u along the direction ν,
It is easy to see that the function \(\nu\mapsto I^{0}(u; \nu)\) is sublinear, continuous and so is the support function of a nonempty, convex and \(\omega^{*}\)-compact set \(\partial I (u)\subset X^{*}\) defined by
If \(I\in C^{1}(X)\), then
Clearly, these definitions extend those of the Gâteaux directional derivative and gradient.
A point \(u\in X\) is a critical point of I if \(0\in \partial I(u)\). It is easy to see that if \(u\in X\) is a local minimum of I, then \(0\in\partial I(u)\). For more on locally Lipschitz functionals and their subdifferential calculus, we refer the reader to Clarke [21].
Lemma 2.2
([21])
-
(i)
\((-h)^{\circ}(u;z)=h^{\circ}(u;-z)\) for all \(u, z\in X\);
-
(ii)
\(h^{\circ}(u;z)=\max\{\langle u^{*},z\rangle_{X}:u^{*}\in \partial h(u)\}\) for all \(u, z\in X\);
-
(iii)
Let \(j:X\rightarrow\mathbb{R}\) be a continuously differentiable function. Then \(\partial j(u)=\{j'(u)\}\), \(j^{\circ}(u;z)\) coincides with \(\langle j'(u),z\rangle_{X}\) and \((h+j)^{\circ}(u;z)=h^{\circ}(u;z)+\langle j'(u),z\rangle_{X}\) for all \(u, z\in X\);
-
(iv)
(Lebourg’s mean value theorem) Let u and v be two points in X. Then there exists a point ξ in the open segment between u and v, and \(u^{*}_{\xi}\in \partial h(\omega)\) such that
$$h(u)-h(v)=\bigl\langle u^{*}_{\xi},u-v\bigr\rangle _{X}; $$ -
(v)
(Second chain rule) Let Y be a Banach space and \(j:Y\rightarrow X\) be a continuously differentiable function. Then \(h\circ j\) is locally Lipschitz and
$$\partial(h\circ j) (y)\subseteq\partial h\bigl(j(y)\bigr)\circ j'(y) \quad\textit{for all } y\in Y; $$ -
(vi)
\(m^{I}(u)=\inf_{u^{*}\in\partial I(u)}\|u^{*}\|_{X^{*}}\) is lower semicontinuous.
In the following, we introduce a nonsmooth version of the fountain theorem which was proved by Dai in [27].
Definition 2.3
Assume that the compact group G acts diagonally on \(V^{k}\)
where V is a finite dimensional space. The action of G is admissible if every continuous equivariant map \(\partial U\rightarrow V^{k-1}\), where U is an open bounded invariant neighborhood of 0 in \(V^{k}\), \(k\geq2\), has a zero.
Example 2.1
The antipodal action \(G=\mathbb{Z}\) on \(V=\mathbb{R}\) is admissible.
We consider the following situation:
- (A1):
-
The compact group G acts isometrically on the Banach space \(X=\overline{\bigoplus_{m\in\mathbb{N}}X_{m}}\), the space \(X_{m}\) is invariant and there exists a finite dimensional space V such that, for every \(m\in\mathbb{N}\), \(X_{m}\simeq V\) and the action of G on V is admissible.
In this paper, we will use the following notations:
where \(\rho_{k}>r_{k}>0\).
Definition 2.4
(i) We say that I satisfies the nonsmooth (PS) c if any sequence \(\{u_{n}\}\subset X\), such that
has a strongly convergent subsequence, where \(m^{I}(u_{n})=\inf_{u^{*}_{n}\in\partial I(u_{n})}\|u^{*}_{n}\|_{X^{*}}\).
(ii) We say that I satisfies the nonsmooth C-condition if any sequence \(\{u_{n}\}\subset X\), such that
has a strongly convergent subsequence.
(iii) We say that I satisfies the nonsmooth \((\mathrm{PS})^{*}_{c}\) means that any sequence \(\{u_{n_{j}}\}\subset X\), such that
has a strongly convergent subsequence converging to a critical point of I.
Remark 2.2
(i) The nonsmooth C-condition is slightly weaker than the nonsmooth (PS) c , while it retains the most important implications of the nonsmooth (PS) c .
(ii) The \((\mathrm{PS})^{*}_{c}\) means the \((\mathrm{PS})_{c}\). Assume that \(\{u_{j}\}\subset X\) such that
Then there exist sequences \(\{v_{n_{j}}\}\), \(\{n_{j}\}\) such that
From \((\mathrm{PS})^{*}_{c}\), the sequence \(\{v_{n_{j}}\}\) contains a convergent subsequence and hence \(\{u_{j}\}\) includes also a convergent subsequence.
Theorem 2.1
Under hypothesis (A1), let \(I:X\rightarrow\mathbb{R}\) be an invariant locally Lipschitz functional. If for every \(k\in\mathbb{N}\) there exists \(\rho_{k}>r_{k}>0\) such that
- (A2):
-
\(a_{k}=\max_{u\in Y_{k}, \|u\|=\rho_{k}}I(u)\leq0\);
- (A3):
-
\(b_{k}=\inf_{u\in Z_{k}, \|u\|=r_{k}}I(u)\rightarrow\infty\), \(k\rightarrow\infty\);
- (A4):
-
I satisfies the nonsmooth \((\mathrm{PS})_{c}\) for every \(c>0\),
then I has an unbounded sequence of critical values.
Now we will give the nonsmooth dual fountain theorem, which was firstly proved by Dai et al. in [28].
Theorem 2.2
Under hypothesis (A1), let \(I:X\rightarrow\mathbb{R}\) be an invariant locally Lipschitz functional. If, for every \(k\geq k_{0}\), there exist \(\rho_{k}>r_{k}>0\) such that
- (\(\mathrm{A}'_{2}\)):
-
\(a_{k}=\inf_{u\in Z_{k}, \|u\|=\rho_{k}}I(u)\geq0\),
- (\(\mathrm{A}'_{3}\)):
-
\(b_{k}=\max_{u\in Y_{k}, \|u\|=r_{k}}I(u)< 0\),
- (\(\mathrm{A}'_{4}\)):
-
\(d_{k}=\inf_{u\in Z_{k}, \|u\|\leq\rho _{k}}I(u)\rightarrow0\), \(k\rightarrow\infty\),
- (A5):
-
I satisfies the nonsmooth \((\mathrm{PS})^{*}_{c}\) for every \(c\in[d_{k_{0}},0)\),
then I has a sequence of negative critical values converging to 0.
The next theorem is the nonsmooth version of the classical mountain pass theorem.
Theorem 2.3
([29])
If there exist \(u_{1}\in X\) and \(r>0\) such that \(\|u_{1}\|>r\),
and I satisfies the nonsmooth C-condition with
where \(\Gamma=\{\gamma\in C([0,1];X):\gamma(0)=0, \gamma(1)=u_{1}\}\), then \(c\geq\inf_{\|u\|=r}I(u)\) and c is a critical value of I. Moreover, if \(c=\inf\{I(u):\|u\|=r\}\), then there exists a critical point \(u_{0}\) of I with \(I(u_{0})=c\) and \(\|u_{0}\|=r\) (i.e., \(K^{I}_{c}\cap\partial B_{r}\neq\emptyset\)).
3 Existence and multiplicity of solutions
In this section, we let \(X=W^{1,p(x)}_{0}(\omega,\Omega)\). For \(u\in X\), we define an equivalent norm \(\|u\|=|\nabla u|_{L^{p(x)}(\omega,\Omega)}\) due to Proposition 2.5. In order to discuss problem (1.1), we need the following hypotheses:
- (H1):
-
For \(i=1,2\), \(\alpha_{i}\in L^{r_{i}(x)}(\Omega)\), \(\alpha _{i}(x)>0\), \(|\xi_{i}|\leq c_{1}+c_{2}|u|^{q_{i}(x)-1}\) for a.a. \(x\in\Omega\), \(\forall\xi_{i}\in\partial j_{i}(x,u)\) and \(u\in\mathbb{R}\), where \(c_{1}\), \(c_{2}\) are positive constants, \(r_{i}, q_{i}\in C(\bar{\Omega})\), \(r_{i}^{-}>1\), \(q^{-}_{i}>1\), and \(q_{i}(x)<\frac{r_{i}(x)-1}{r_{i}(x)}p^{*}_{s}(x)\);
- (H2):
-
\(q^{+}_{1}< p^{-}\);
- (H3):
-
\(q^{-}_{2}>p^{+}\);
- (H4):
-
There exists \(a_{1}>0\) such that \(j_{2}(x,u)\geq-a_{1}\) for a.a. \(x\in\Omega\) and \(u\in\mathbb{R}\);
- (H5):
-
There exist \(\theta>p^{+}\), \(M>0\) and \(|u|\geq M\) for a.a. \(x\in\Omega\) such that \(0<\theta j_{2}\leq u\xi_{2}\), where \(\xi_{2}\in\partial j_{2}(x,u)\);
- (H6):
-
There exist \(\delta_{1}>0\), \(a_{2}, a_{3}>0\), \(1\leq q_{3}(x), q_{4}(x)< \frac{r_{1}(x)-1}{r_{1}(x)}p^{*}_{s}(x)\) and \(q_{3}^{+}, q_{4}^{-}< p^{-}\) such that
$$\frac{a_{2}u^{q_{3}(x)}}{q_{3}(x)}\leq j_{1}(x,u)\leq \frac{a_{3}u^{q_{4}(x)}}{q_{4}(x)} \quad \mbox{for a.a. } x\in\Omega, \forall u\in(0,\delta_{1}); $$ - (H7):
-
There exist \(\delta_{2}>0\), \(a_{4}>0\), \(q_{5}(x)\in C(\bar{\Omega})\), \(q^{-}_{5}>p^{+}\) and \(q_{5}(x)< \frac{r_{2}(x)-1}{r_{2}(x)}p^{*}_{s}(x)\) such that
$$\bigl|j_{2}(x,u)\bigr|\leq a_{4}|u|^{q_{5}(x)} \quad \mbox{for a.a. } x\in\Omega, \forall|u|\leq\delta_{2}; $$ - (H8):
-
There exist \(\delta_{3}>0\), \(a_{5}>0\), \(q_{6}(x)\in C(\bar{\Omega})\), \(1\leq q^{-}_{6}\leq q_{6}^{+}< p^{-}\) and \(q_{6}(x)< \frac{r_{1}(x)-1}{r_{1}(x)}p^{*}_{s}(x)\) such that
$$j_{1}(x,u)\geq a_{5} u^{q_{6}(x)} \quad\mbox{for a.a. }x\in\Omega, \forall u\in(0,\delta_{3}); $$ - (H9):
-
For a.a. \(x\in\Omega\), \(i=1,2\), all \(u\in\mathbb{R}\), \(j_{i}(x,-u)=j_{i}(x,u)\).
In order to discuss the existence and multiplicity solutions for problem (1.1), we need the following lemma.
Lemma 3.1
If \(p(x)\in C_{+}(\bar{\Omega})\), \(\alpha(x)\in L^{r(x)}(\Omega)\), \(\alpha(x)>0\) for a.a. \(x\in\Omega\), \(r\in C(\bar{\Omega})\) and \(r^{-}>1\), \(q(x)\in C(\bar{\Omega})\) and
then there exists a compact embedding \(W^{1,p(x)}(\omega,\Omega)\hookrightarrow L^{q(x)}(\alpha(x),\Omega)\).
Proof
Set \(u(x)\in W^{1,p(x)}(\omega,\Omega)\), \(h(x)=\frac{r(x)}{r(x)-1}\) and \(\beta(x)=h(x)q(x)\). From (3.1), it is easy to see \(\beta(x)< p^{*}_{s}(x)\). By virtue of Proposition 2.4, we have \(W^{1,p(x)}(\omega,\Omega)\hookrightarrow L^{\beta(x)}( \Omega)\). For \(u\in W^{1,p(x)}(\omega,\Omega)\), we have \(|u(x)|^{q(x)}\in L^{h(x)}(\Omega)\) and from Proposition 2.1,
This means that \(W^{1,p(x)}(\omega,\Omega)\subset L^{q(x)}(\alpha(x),\Omega)\). Now set \(\{u_{n}\}\subset W^{1,p(x)}(\omega,\Omega)\) and \(u_{n}\rightharpoonup0\) in \(W^{1,p(x)}(\omega,\Omega)\). Then \(u_{n}\rightarrow0\) in \(L^{\beta(x)}(\Omega)\) and from this we have \(||u(x)|^{q(x)}|_{h(x)}\rightarrow0\). Hence, we obtain
which means \(|u_{n}(x)|_{L^{q(x)}(\alpha(x),\Omega)}\rightarrow 0\). This means that the embedding \(W^{1,p(x)}(\omega,\Omega)\hookrightarrow L^{q(x)}(\alpha(x),\Omega)\) is compact. Thus, we complete the proof. □
The following lemma is very important when we use the nonsmooth fountain and dual fountain theorems to prove infinite solutions for problem (1.1).
Lemma 3.2
If \(1\leq q(x)<\frac{r(x)-1}{r(x)}p^{*}_{s}(x)\), \(\alpha(x)\in L^{r(x)}(\Omega)\), \(\alpha(x)>0\), \(r\in C(\bar{\Omega})\) and \(r^{-}>1\), then we have
Proof
It is clear that \(0<\beta_{k+1}\leq\beta_{k}\), so there exists \(\beta\geq0\) such that \(\beta_{k}\rightarrow\beta\) as \(k\rightarrow\infty\). We will show \(\beta=0\). From the definition of \(\beta_{k}\), for every \(k\geq0\), there exists \(u_{k}\in Z_{k}\) such that \(\|u_{k}\|=1\) and \(0\leq\beta-|u|_{L^{q(x)}(\alpha(x),\Omega)}\leq\frac {1}{k}\). Then there exists a subsequence of \(\{u_{k}\}\), for convenience we still denote it by \(u_{k}\), such that \(u_{k}\rightharpoonup u\) in \(W^{1,p(x)}(\omega,\Omega)\), and
which means that \(u=0\) and \(u_{k}\rightharpoonup0\) in \(W^{1,p(x)}(\omega,\Omega)\). Note that \(W^{1,p(x)}(\omega,\Omega)\hookrightarrow L^{q(x)}(\alpha(x), \Omega)\) is compact, then \(u_{k}\rightarrow0\) in \(L^{q(x)}(\alpha(x),\Omega)\). Hence we obtain that \(\beta=0\). □
Next, we will use the nonsmooth fountain theorem to prove the existence of infinitely many large energy solutions for problem (1.1).
Theorem 3.1
If hypotheses (P), (W), (H1)-(H3), (H5) and (H9) are satisfied, for all \(\mu>0\) and \(\lambda\in\mathbb{R}\), problem (1.1) has a sequence of solutions \(\{ \pm u_{k}\}\) such that \(I(\pm u_{k})\rightarrow\infty\) as \(k\rightarrow\infty\).
Proof
We choose an orthonormal basis \((e_{j})\) of X and set \(X_{j}=\mathbb{R}e_{j}\). On X we consider the antipodal action of \(\mathbb{Z}_{2}\). We have known that I is locally Lipschitz on X. Considering (H9), we can employ the nonsmooth version of fountain theorem to prove Theorem 3.1.
Claim 1. I satisfies the nonsmooth (PS) c .
Let \(\{u_{n}\}_{n\geq1}\subset X\) be a sequence such that
for some \(c_{3}>0\). We assume that \(\{u_{n}\}_{n\geq1}\) is unbounded in X, then up to a subsequence \(\|u_{n}\|\rightarrow\infty\) as \(n\rightarrow\infty\). From (3.2), for n large enough, we have
and
where \(\varepsilon_{n}\rightarrow0\), \(u^{*}_{n}\in\partial I(u_{n})\), \(\xi_{1,n}\in\partial j_{1}(x,u_{n})\), \(\xi_{2,n}\in\partial j_{2}(x,u_{n})\) for a.a. \(x\in\Omega\). Adding (3.3) and (3.4), from Proposition 2.2, (H1), (H5), Lemma 3.1 and Lebourg’s mean value theorem, we have
for some \(b_{1}, b_{2}, b_{3}, c_{4}, c_{5}>0\). Note that \(1< q^{+}_{1}< p^{-}\), taking \(n\rightarrow\infty\) in the inequality above, we derive a contradiction. Therefore \(\{u_{n}\}_{n\geq1}\) is bounded in X. Thus, by passing to a subsequence if necessary, we assume that
\(\alpha(x)\) and \(q(x)\) are defined by Lemma 3.1. So we have
where \(\xi_{i,n}\in\partial j_{i}(x, u_{n}) \) (\(i=1,2\)), \(\varepsilon_{n}\rightarrow0\). From (H1), Propositions 2.1, 2.2 and the definition of \(L^{p(x)}(\alpha(x),\Omega)\), we obtain
Noting that \(q^{-}_{1}>1\), from Lemma 3.1 and (3.6) we infer that
In a similar way, we have
Combining (3.7), (3.8) and (3.9), we have
From Lemma 2.1, we know that A is a mapping of type \((S_{+})\). Hence we have
In what follows, let us verify conditions (A2) and (A3) of the nonsmooth fountain theorem (see Theorem 2.1). From hypotheses (H1) and (H5), we can obtain
The proof of (3.10) can be found in [20] (Theorem 10). For \(\forall u\in Y_{k}\), by virtue of (H1), Lemma 3.1, Lebourg’s mean value theorem and (3.10), we obtain
for some \(c_{8}, d_{1}>0\). Since \(q^{+}_{1}< p^{-}\leq p^{+}<\theta\) and all norms on a finite dimensional space \(Y_{k}\) are equivalent, from (3.11), we can choose \(\rho_{k}>0\) large enough such that \(a_{k}=\max_{u\in Y_{k},\|u\|=\rho_{k}}I(u)\leq0\), i.e., relation (A2) is satisfied.
In view of (H1)-(H3), Lemma 3.1, Lebourg’s mean value theorem and Lemma 3.2, for \(\forall u\in Z_{k}\), \(|u|\geq1\) large enough, we have
where \(\nu_{1}\), \(\nu_{2}\), \(c_{11}\) and \(c_{12}\) are some positive constants. Choosing \(r_{k}= (c_{12}q^{-}_{2}\beta_{k}^{q^{-}_{2}} )^{\frac{1}{p^{-}-q^{+}_{2}}}\), for \(u\in Z_{k}\) and \(\|u\|=r_{k}\), then
Since \(1< p^{-}\leq p^{+}< q^{-}_{2}\) and \(\beta_{k}\rightarrow0\) as \(k\rightarrow\infty\), we obtain
Hence, from the nonsmooth fountain theorem, we obtain that problem (1.1) has a sequence of solutions \(\{ \pm u_{k}\}\) such that \(I(\pm u_{k})\rightarrow\infty\) as \(k\rightarrow\infty\). The proof of Theorem 3.1 is completed. □
In the following, we will use the nonsmooth dual fountain theorem to prove the existence of infinitely small energy solutions for problem (1.1).
Theorem 3.2
If hypotheses (P), (W) (H1)-(H3), (H5)-(H7) and (H9) hold, then for every \(\lambda>0\) and \(\mu\in\mathbb{R}\), problem (1.1) has a sequence of solutions \(\{\pm v_{k}\}\) such that \(I(\pm v_{k})<0\) and \(I(\pm v_{k})\rightarrow0\) as \(k\rightarrow\infty\).
Proof
Let us verify all the conditions of the nonsmooth dual fountain theorem. From Theorem 3.1, we know that I is locally Lipschitz and even functional. Choosing an orthonormal basis \((e_{j})\) of X and setting \(X_{j}=\mathbb{R}e_{j}\) on X, we consider the antipodal action of \(\mathbb{Z}_{2}\) on X.
In order to verify (\(\mathrm{A}'_{2}\)), set \(1>R>0\) such that
\(c_{13}\) is some positive constant. Hence, from (H6) and (H7), for \(u\in Z_{k}\), \(u\in(0,\min\{\delta_{1},\delta_{2}\})\), \(\|u\|\leq R\) and k large enough, we derive
We set \(\rho_{k}= (\frac{2p^{+}\lambda a_{3}\beta^{q^{-}_{4}}_{k}}{q^{-}_{4}} )^{\frac{1}{p^{+}-q^{-}_{4}}}\), \(\|u\|=\rho_{k}\). From Lemma 3.2 and noting that \(q^{-}_{4}< p^{+}\), we deduce that \(\rho_{k}\rightarrow0\) as \(k\rightarrow\infty\). There exists \(k_{0}>0\) such that \(\rho_{k}\leq R\) when \(k\geq k_{0}\). Thus, for \(k\geq k_{0}\), \(u\in Z_{k}\) and \(\|u\|=\rho_{k}\), we have \(a_{k}=\inf_{u\in Z_{k}, \|u\|=\rho_{k}}I(u)\geq0\) and (\(\mathrm{A}'_{2}\)) is proved.
For \(u\in Y_{k}\), there exists \(\varepsilon\in(0,1)\) such that for all \(u\in Y_{k}\cap B_{\varepsilon}\), \(|u|\leq\min\{\delta_{1},\delta_{2}\}\), \(|u|_{L^{q_{3}(x)}(\alpha_{1}(x),\Omega)}\leq1\) and \(|u|_{L^{q_{5}(x)}(\alpha_{2}(x),\Omega)}\leq1\). By virtue of hypotheses (H6), (H7) and Proposition 2.2, we have
Since \(q^{+}_{3}< p^{-}< q^{-}_{5}\) and all norms on \(Y_{k}\) are equivalent, there exists \(r_{k}\in (0,\varepsilon)\) small enough such that
Hence relation (\(\mathrm{A}'_{3}\)) of Theorem 2.2 is satisfied. Since \(Y_{k}\cap Z_{k}\neq\varnothing\) and \(r_{k}<\rho_{k}\), we have
On the other hand, from (3.12), for \(k\geq k_{0}\), \(u\in Z_{k}\), \(\|u\|\leq\rho_{k}\),
Since \(\beta_{k}\rightarrow0\) and \(\rho_{k}\rightarrow0\) as \(k\rightarrow\infty\), we have
Relation (\(\mathrm{A}'_{4}\)) of Theorem 2.2 is verified.
Finally, let us prove that I satisfies the nonsmooth \((\mathrm{PS})_{c}^{*}\) for all \(c\in\mathbb{R}\). Consider a sequence \(\{u_{n_{j}}\} \subset X\) such that
where \(m^{I|_{Y_{n_{j}}}}(u_{n_{j}})=\inf_{u^{*}_{n_{j}}\in\partial I(u_{n_{j}})}\|u_{n_{j}}^{*}\|_{X^{*}}\). Similar to the process of verifying the (PS) c in the proof of Theorem 3.1, we can prove that \(u_{n_{j}}\rightarrow u\) in X. So it only remains to show \(0\in\partial I(u)\). Note that
By virtue of Lemma 2.2, we obtain \(m^{I}(u)\leq0\) as \(j\rightarrow\infty\). Hence \(m^{I}(u)=0\), i.e., \(0\in\partial I(u)\), which means that I satisfies the \((\mathrm{PS})_{c}^{*}\) for \(c\in R\). So all the conditions of Theorem 2.2 are verified. We complete the proof of Theorem 3.2. □
Theorem 3.3
If hypotheses (P), (W), (H1)-(H4), (H7) and (H8) hold, and \(j_{1}(x,0)=0\), then for all \(\lambda>0\) and \(\mu\leq0\), problem (1.1) has at least one nontrivial solution.
Proof
By virtue of hypotheses (H1), (H4), Lebourg’s mean value theorem and Lemma 3.1, for u large enough, we have
Note that \(p^{-}>q^{+}_{1}\) and \(\lambda>0\), then we have
This means that I has a minimizer solution \(u_{0}\) for problem (1.1).
In the following, we prove \(u_{0}\neq0\). Choosing \(v_{0}\in C^{\infty}_{0}(\Omega)\) such that \(0\leq v_{0}(x)\leq\min \{\delta_{2},\delta_{3}\}\), \(\int_{\Omega}\alpha_{1}(x)v^{q_{6}(x)}_{0}(x)\,\mathrm{d}x= b_{4}>0\) and \(\int_{\Omega}\alpha_{2}(x)v^{q_{5}(x)}_{0}(x)\,\mathrm{d}x= b_{5}>0\). From (H7) and (H8), for \(t\in(0,1)\) small enough, we have
Since \(q^{+}_{6}< p^{-}< q^{-}_{5}\), we can find \(t_{0}\in(0,1)\) such that \(I(t_{0}v_{0})<0\). This implies that \(I(u_{0})=\inf_{u\in X}I(u)<0\). Hence \(u_{1}\neq0 \) (\(I(0)=0\)). So we complete the proof of Theorem 3.3. □
Theorem 3.4
If hypotheses (P), (W), (H1)-(H3), (H5), (H7) and (H8) hold, and \(j_{1}(x,0)=0\), for \(\mu>0\), there exists \(\lambda_{0}(\mu)>0\) such that when \(|\lambda|\leq \lambda_{0}(\mu)\), problem (1.1) has at least one nontrivial solution.
Proof
From the proof of Claim 1 in Theorem 3.1, we can obtain that I satisfies the nonsmooth C-condition. By hypotheses (H1) and (H7), we have
for a.a. \(x\in\Omega\), \(d_{3}>0\). Then, for sufficiently small u,
for some \(c_{16}, c_{17}>0\). Note that \(p^{+}< q^{-}_{5}\) and \(p^{+}< q^{-}_{2}\). So there exist \(r>0\) and \(\theta_{1}>0\) such that
We can find \(\lambda_{0}(\mu)>0\) such that \(\lambda\int_{\Omega}\alpha _{1}(x)j_{1}(x,u)\,\mathrm{d}x\leq \frac{\theta_{1}}{2}\) when \(|\lambda|\leq \lambda_{0}(\mu)\) for a.a. \(x\in\Omega\), \(\|u\|\leq r\). That is to say, when \(|\lambda|\leq\lambda_{0}(\mu)\), we obtain
Then we have
By virtue of (3.11) in Theorem 3.1, we can find \(h\in X\), \(\|h\|>r\) such that
Hence, from the nonsmooth mountain pass theorem, we can deduce that problem (1.1) has at least one nontrivial solution. □
References
Fan, X, Zhang, Q, Zhao, D: Eigenvalues of \(p(x)\)-Laplacian Dirichlet problems. J. Math. Anal. Appl. 302, 306-317 (2005)
Zhikov, V: On some variational problems. Russ. J. Math. Phys. 5, 105-116 (1997)
Ruzicka, M: Electrorheological Fluids: Modeling and Mathematical Theory. Lecture Notes in Mathematics, vol. 1748. Springer, Berlin (2000)
Chen, Y, Levine, S, Rao, M: Variable exponent, linear growth functionals in image restoration. SIAM J. Appl. Math. 66(4), 1383-1406 (2006)
Murthy, V, Stampacchia, G: Boundary value problems for some degenerate-elliptic operators. Ann. Mat. Pura Appl. 80, 1-12 (1968)
Drábek, P, Kufner, A, Nicolosi, F: Quasilinear Elliptic Equations with Degenerations and Singularities. de Gruyter Series in Nonlinear Analysis and Applications, vol. 5. de Gruyter, Berlin (1997)
Acerbi, E, Mingone, G: Regularity results for a class of functionals with nonstandard growth. Arch. Ration. Mech. Anal. 156, 121-140 (2001)
Fan, X, Han, X: Existence and multiplicity of solutions for \(p(x)\)-Laplacian equations in \(\mathbb{R}^{N}\). Nonlinear Anal. 59, 173-188 (2004)
Edmunds, D, Rákosnic, J: Sobolev embedding with variable exponent, Π. Math. Nachr. 246, 53-67 (2002)
Kim, Y, Wang, L, Zhang, C: Global bifurcation of a class of degenerate elliptic equations with variable exponents. J. Math. Anal. Appl. 371, 624-637 (2010)
Dai, G, Liu, W: Three solutions for a differential inclusion problem involving the \(p(x)\)-Laplacian. Nonlinear Anal. 71, 5318-5326 (2009)
Qian, C, Shen, Z: Existence and multiplicity of solutions for \(p(x)\)-Laplacian equation with nonsmooth potential. Nonlinear Anal., Real World Appl. 11, 106-116 (2010)
Ge, B, Xue, X, Zhou, Q: Existence of at least five solutions for a differential inclusion problem involving the \(p(x)\)-Laplacian. Nonlinear Anal., Real World Appl. 12, 2304-2318 (2011)
Denkowski, Z, Gasiński, L, Papageorgiou, N: Existence and multiplicity of solutions for semilinear hemivariational inequalities at resonance. Nonlinear Anal. 66, 1329-1340 (2007)
Iannizzotto, A, Papageorgiou, N: Existence of three nontrivial solutions for nonlinear Neumann hemivariational inequalities. Nonlinear Anal. 70, 3285-3297 (2009)
Filippaks, M, Gasiński, L, Papageorgiou, N: On the existence of positive solutions for hemivariational inequalities driven by the p-Laplacian. J. Glob. Optim. 31, 173-189 (2005)
Kyritsi, S, Papageorgiou, N: Multiple solutions of constant sign for nonlinear nonsmooth eigenvalue problems near resonance. Calc. Var. Partial Differ. Equ. 20, 1-24 (2004)
Zhang, J, Zhou, Y: Existence of a nontrivial solutions for a class of hemivariational inequality problems at double resonance. Nonlinear Anal. 74, 4319-4329 (2011)
Goeleven, D, Motreanu, D, Panagiotopoulos, N: Multiple solutions for a class of eigenvalue problems in hemivariational inequalities. Nonlinear Anal. 29, 9-26 (1997)
Kyritsi, S, Papageorgiou, N: Nonsmooth critical point theory on closed convex sets and nonlinear hemivariation inequalities. Nonlinear Anal. 61, 373-403 (2005)
Clarke, F: Optimization and Nonsmooth Analysis. Wiley, New York (1983)
Edmunds, D, Rákosnik, J: Sobolev embeddings with variable exponent. Stud. Math. 143, 267-293 (2000)
Fan, X, Shen, J, Zhao, D: Sobolev embedding theorems for spaces \(W^{k,p(x)}(\Omega)\). J. Math. Anal. Appl. 262, 749-760 (2001)
Fan, X, Zhao, D: On the spaces \(L^{p(x)}(\Omega)\) and \(W^{m,p(x)}(\Omega)\). J. Math. Anal. Appl. 263, 424-446 (2001)
Kovăc̆ik, O, Răkosnik, J: On spaces \(L^{p(x)}\) and \(W^{m,p(x)}\). Czechoslov. Math. J. 41(116), 592-618 (1991)
Fan, X, Zhang, Q: Existence of solutions for \(p(x)\)-Laplacian Dirichlet problem. Nonlinear Anal. 52, 1843-1852 (2003)
Dai, G: Nonsmooth version of fountain theorem and its application to a Dirichlet-type differential inclusion problem. Nonlinear Anal. 72, 1454-1461 (2010)
Dai, G, Wang, W, Feng, L: Nonsmooth version of dual fountain theorem and its application to a differential inclusion problem. Acta Math. Sci. Ser. A Chin. Ed. 32, 530-539 (2012)
Gasiński, L, Papageorgiou, N: Nonsmooth Critical Point Theory and Nonlinear Boundary Value Problems. Chapman & Hall/CRC Press, Boca Raton (2005)
Acknowledgements
The authors would like to thank the editor-in-chief, the associate editor and the anonymous reviewers for their valuable comments and constructive suggestions, which helped to improve the presentation of this paper. Research is supported by the National Natural Science Foundation of China (11371127).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Yuan, Z., Huang, L. Solutions for a degenerate \(p(x)\)-Laplacian equation with a nonsmooth potential. Bound Value Probl 2015, 120 (2015). https://doi.org/10.1186/s13661-015-0385-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-015-0385-6