 Research
 Open Access
 Published:
Existence of solutions for a nonhomogeneous Dirichlet problem involving \(p(x)\)Laplacian operator and indefinite weight
Boundary Value Problems volume 2019, Article number: 171 (2019)
Abstract
We obtain multiplicity and uniqueness results in the weak sense for the following nonhomogeneous quasilinear equation involving the \(p(x)\)Laplacian operator with Dirichlet boundary condition:
where Ω is a smooth bounded domain in \(\mathbb{R}^{N}\), V is a given function with an indefinite sign in a suitable variable exponent Lebesgue space, \(f(x,t)\) is a Carathéodory function satisfying some growth conditions. Depending on the assumptions, the solutions set may consist of a bounded infinite sequence of solutions or a unique one. Our technique is based on a symmetric version of the mountain pass theorem.
1 Introduction
In this work, we study the existence of solutions for the following nonlinear Dirichlet problem involving the \(p(x)\)Laplacian operator:
where \(\varOmega \subset \mathbb{R}^{N}\) is a smooth bounded domain, \(p, q, s:\overline{\varOmega }\rightarrow \mathbb{R}^{+}\) are continuous functions, \(V \in L^{s(x)}(\varOmega )\) has an indefinite sign, and \(f(x,t)\) is a Carathéodory function. Let us recall that the \(p(x)\)Laplacian operator \(\Delta _{p(x)}\) is defined by
and is an extension of the classical pLaplacian operator obtained in the case where the function \(p(x)\) is just a positive constant p. A growing interest in the study of the \(p(x)\)Laplacian operator has arisen during the last two decades, in regard to its involvement in the modelings of a large number of phenomena. One can name for instance electrorheological fluids [30, 32, 36], elastic mechanics, flows in porous media and image processing [11], curl systems emanating from electromagnetism [4, 7]. For more details, we refer to Acerbi and Mingione [2] and Růžička [32] about electrorheological fluids, and to Antontsev and Shmarev [5] about nonlinear Darcy’s law in porous media. Because of its nonhomogeneous feature, the \(p(x)\)Laplacian operator is reasonably expected to be appropriate for modeling nonhomogeneous materials. Recently, several works devoted to existence problems for pLaplacian operator have been naturally generalized to the case of \(p(x)\)Laplacian operator. In relevance with the present work are the papers in [1, 8, 9, 16, 17, 20, 21, 25, 27, 29] and the references therein. To the best of our knowledge, the earliest paper that deals with the variable exponent case with \(V\equiv 0\) in (1.1) is the article by Fan and Zhang (cf. [22]). Indeed, those authors studying the problem
proved by the mountain pass theorem and by the fountain theorem that problem (1.2) admits respectively at least one nontrivial weak solution and infinitely many pairs of weak solutions. In an earlier work, Dinca et al. (cf. [17]), using variational and topological methods, proved the existence and multiplicity of weak solutions for problem (1.2) for the case \(p(x)\equiv p \) (p is a constant). Their main tool was the mountain pass theorem of Ambrosetti and Rabinowitz (cf. [3]). The approach for dealing with the case where \(V > 0 \) is technically similar to that of \(V = 0 \). In [8, 9], the authors considered problem (1.1) with V bounded and \(p(\cdot ) = q(\cdot )\) and proved the existence of nonnegative solutions using a mountain pass theorem. Most of the results are derived from a \(\beta (x)\)growth assumption on the nonlinearity \(f(x,t) \) with additional assumptions preventing the range of \(p(\cdot )\) to interfere with that of \(\beta (\cdot )\). Motivated by the works in [8, 9, 17, 20, 22, 25, 27], we study here the nonlinear Dirichlet problem (1.1) when the function \(V(\cdot )\) has an indefinite sign and belongs to the generalized Lebesgue space \(L^{s(x)}(\varOmega )\). We assume furthermore that \(p(\cdot ) \neq q(\cdot ) \) and the nonlinearity \(f(x,t)\) satisfies a \(\beta (x)\)growth assumption. The interest in this work is twofold: the weight V is not bounded and may change sign, and besides the range of \(p(\cdot )\) may interfere with that of \(q(\cdot )\) or \(\beta (\cdot ) \) as well. To the best of our knowledge, our setting is more general than those of [8, 9, 22] and our method contrasts with other treatments of (1.1). The functional framework is the generalized Lebesgue and Sobolev spaces with variable exponents and our technique is based on a \(\mathbb{Z}_{2}\) symmetric version of the mountain pass theorem.
The remainder of this paper is organized as follows. In Section 2, we introduce some technical results and formulate the required hypotheses on (1.1). Sections 3 and 4 are devoted to the statement of our main results along with some auxiliary results and to their proofs. In the appendix we present the appropriate version of the mountain pass theorem related to our problem.
2 Preliminaries and hypotheses
In order to study problem (1.1), some of the properties on variable exponent Lebesgue spaces and Sobolev spaces, \(L^{p(x)}(\varOmega )\) and \(W^{1,p(x)} (\varOmega )\) respectively, are required and listed below. We refer to [15, 23, 26] for exhaustive details on properties of those spaces.
Suppose that Ω is a bounded domain of \(\mathbb{R}^{N}\) with a smooth boundary ∂Ω. Let us denote
Definition 2.1
For any \(p \in L_{+}^{\infty }(\varOmega )\), the variable exponent Lebesgue space \(L^{p(x)}(\varOmega )\) is defined by
For any \(u \in L^{p(x)}(\varOmega ) \), we define the socalled Luxemburg norm on \(L^{p(x)}(\varOmega )\) by
Throughout this paper, \(L^{p(x)}(\varOmega ) \) will be endowed with this norm.
The modular, which is the mapping \(\varrho _{p(\cdot)}:L^{p(x)}(\varOmega ) \to \mathbb{R}\) defined by
is at many aspects an important tool in studying generalized Lebesgue–Sobolev spaces.
Remark 2.2
Variable exponent Lebesgue spaces have many properties similar to those of classical Lebesgue spaces, namely they are separable Banach spaces and the Hölder inequality holds. The inclusions between Lebesgue spaces are also naturally generalized, that is, if \(0< \operatorname{mes}(\varOmega )<\infty \) and p, q are variable exponents such that \(p(x)< q(x)\) a.e. in Ω, then there exists a continuous embedding \(L^{q(x)}(\varOmega ) \hookrightarrow L^{p(x)}(\varOmega )\).
We recall below some statements whose details can be found in [18, 20, 23].
Let us denote by \(L^{p'(x)}(\varOmega )\) the conjugate space of \(L^{p(x)}(\varOmega )\), with \(\frac{1}{p(x)}+\frac{1}{p'(x)}=1\). There is a counterpart of the Hölder inequality for variable exponent Lebesgue spaces when \(p \in L_{+}^{\infty }(\varOmega )\) in the literature (cf. [18]). We give below a version relevant to the need of this work.
Proposition 2.3
(Hölder inequality)
for all \(u\in L^{p(x)}(\varOmega ) \), \(v\in L^{p'(x)}(\varOmega ) \), and \(p , q \in C_{+}(\overline{\varOmega }) \).
Proposition 2.4
For \(p\in C_{+}(\overline{\varOmega }) \), we have the following:
It is worth noticing that this relation between the norm and the modular shows an equivalence between the topology defined by the norm and that defined by the modular.
Proposition 2.5
Let p and q be measurable functions such that \(p\in C_{+}(\overline{ \varOmega })\) and \(p q \in L_{+}^{\infty }(\varOmega )\). Let \(u\in L^{q(x)}( \varOmega )\), \(u\neq 0\). Then
In particular, if \(p(x)=p\) is a constant, then
Definition 2.6
The variable exponent Sobolev space is defined by
with the norm
where \(\nabla u=\sqrt{\sum_{i=1}^{N} (\frac{\partial u}{ \partial x_{i}} )^{2}}\).
Proposition 2.7
\(L^{p(x)}(\varOmega )\) and \(W^{1,p(x)}(\varOmega )\) are separable Banach spaces when \(p \in L_{+}^{\infty }(\varOmega )\), reflexive and uniformly convex for \(p \in L^{\infty }(\varOmega )\) and \(\operatorname{ess}\inf_{\varOmega } p(x) > 1 \).
Definition 2.8
For \(p\in C_{+}(\overline{\varOmega })\), let us define the socalled critical Sobolev exponent of p by
for every \(x\in \overline{\varOmega }\).
We also define the space \(W_{0}^{1,p(x)}(\varOmega )\) as the closure of the space \(C_{0}^{\infty }(\varOmega )\) (\(C^{\infty }\)functions with compact support in Ω) in the space \(W^{1,p(x)}(\varOmega )\) with respect to the norm \(\ u \_{1,p(x)}\).
The dual space of \(W_{0}^{1,p(x)}(\varOmega )\) is denoted by \(W^{1,p'(x)}( \varOmega )\), where \(\frac{1}{p(x)}+\frac{1}{p'(x)}=1\), for every \(x\in \overline{\varOmega }\).
With respect to those spaces, we recall from [15, 23] the following.
Proposition 2.9

(i)
\(W_{0}^{1,p(x)}(\varOmega )\) is a separable Banach space when \(p \in L_{+}^{\infty }(\varOmega )\), reflexive and uniformly convex when \(p \in L^{\infty }(\varOmega )\) and \(\operatorname{ess}\inf_{\varOmega } p(x) > 1 \).
Assume that \(p,q\in C_{+}(\overline{\varOmega })\). Then

(ii)
if \(p(x) < N \) and \(q(x)< p^{*}(x) = \frac{Np(x)}{Np(x)}\) for every \(x\in \overline{\varOmega }\), then there is a compact and continuous embedding
$$ W^{1,p(x)}(\varOmega )\hookrightarrow L^{q(x)}(\varOmega ); $$ 
(iii)
if \(p(x) > N\) for every \(x\in \overline{\varOmega }\), then
$$ W^{1,p(x)(\varOmega )\hookrightarrow L^{\infty }(\varOmega )}; $$ 
(iv)
there is a constant \(C>0\) such that
$$ \vert u \vert _{p()}\leq C \Vert \nabla u \Vert _{p()},\quad \textit{for all }u\in W_{0}^{1,p(x)}( \varOmega ). $$
Remark 2.10
Using estimate (iv) of Proposition 2.9, we derive that the norm \(\ u \_{1,p(\cdot)}=\\nabla u\_{p(\cdot)}+ u _{p(\cdot)}\) is equivalent to the norm \(\ u \=\\nabla u\_{p(\cdot)}\) in \(W_{0}^{1,p(x)}(\varOmega )\). Here and henceforth, we will consider the space \(W_{0}^{1,p(x)}( \varOmega )\) equipped with the norm \(\ u \=\\nabla u\_{p(\cdot)}\).
Moreover, one can prove (cf. [15]) that the norm \(\ u \\) is weakly sequentially lower semicontinuous.
Remark 2.11
If \(q\in C_{+}(\overline{\varOmega })\) and \(q(x)< p^{*}(x)\) for every \(x\in \overline{\varOmega }\), then the embedding of \(W_{0}^{1,p(x)}( \varOmega )\) into \(L^{q(x)}(\varOmega )\) is compact.
As in the case \(p(x)\equiv p\) (a constant), we consider the \(p(x)\)Laplacian operator
defined by
where \(\langle \,, \,\rangle \) denotes the duality pairing between \(W_{0}^{1,p(x)}(\varOmega )\) and \(W^{1,p'(x)}(\varOmega )\).
We have the following properties (cf. [10, 22]).
Proposition 2.12

(i)
\(\Delta _{p(x)}:W_{0}^{1,p(x)}(\varOmega )\to W^{1,p'(x)}( \varOmega )\) is a homeomorphism.

(ii)
\(\Delta _{p(x)}:W_{0}^{1,p(x)}(\varOmega )\to W^{1,p'(x)}( \varOmega )\) is a strictly monotone operator, that is,
$$ \langle \Delta _{p(x)}u\Delta _{p(x)}v,uv \rangle >0\quad \textit{for all } u\neq v \in W_{0}^{1,p(x)}(\varOmega ). $$ 
(iii)
\(\Delta _{p(x)}:W_{0}^{1,p(x)}(\varOmega )\to W^{1,p'(x)}( \varOmega )\) is a mapping of type \((S_{+})\), that is,
$$ \textit{if } u_{n} \rightharpoonup u\quad \textit{in }W_{0}^{1,p(x)}( \varOmega )\quad \textit{and}\quad \limsup_{n\to \infty }\langle \Delta _{p(x)}u_{n},u _{n}u \rangle \leq 0, $$then \(u_{n}\to u\) in \(W_{0}^{1,p(x)}(\varOmega )\).
Proposition 2.13
The functional \(\varPsi :W_{0}^{1,p(x)}(\varOmega )\to \mathbb{R}\) defined by
is continuously Fréchet differentiable, sequentially weakly lower semicontinuous, and \(\varPsi '(u)=\Delta _{p(x)}u\) for all \(u\in W_{0} ^{1,p(x)}(\varOmega )\).
Note that, if \(f:\varOmega \times \mathbb{R}\to \mathbb{R}\) is a Carathéodory function and \(u\in M\), then the function \(N_{f}u: \varOmega \to \mathbb{R}\) defined by \((N_{f}u)(x)=f(x,u(x))\) for \(x\in \varOmega \) is measurable in Ω. Thus, the Carathéodory function \(f:\varOmega \times \mathbb{R}\to \mathbb{R}\) generates an operator \(N_{f}:M\to M\), which is called the Nemytskii operator. The properties of \(N_{f}\) are recalled through the propositions below (see [35] for details).
Proposition 2.14
Suppose that \(f:\varOmega \times \mathbb{R}\to \mathbb{R}\) is a Carathéodory function satisfying the following growth condition:
where \(\alpha ,\beta \in C_{+}(\overline{\varOmega })\), \(c\geq 0\) is constant, and \(h\in L^{\beta (x)}(\varOmega )\). Then \(N_{f}(L^{\alpha (x)}( \varOmega ))\subseteq L^{\beta (x)} (\varOmega )\). Moreover, \(N_{f}\) is continuous from \(L^{\alpha (x)}(\varOmega )\) into \(L^{\beta (x)}(\varOmega )\) and maps a bounded set into a bounded set.
Proposition 2.15
Suppose that \(f:\varOmega \times \mathbb{R}\to \mathbb{R}\) is a Carathéodory function satisfying the following growth condition:
where \(c\geq 0\) is constant, \(\alpha \in C_{+}(\overline{\varOmega })\), \(h\in L^{\alpha '(x)} (\varOmega )\) with \(\alpha '\) the conjugate exponent of α, i.e., \(\alpha '(x)=\frac{\alpha (x)}{\alpha (x)1}\). Let \(F:\varOmega \times \mathbb{R}\to \mathbb{R}\) defined by
Then

(i)
F is a Carathéodory function and there exist a constant \(c_{1}\geq 0\) and \(\sigma \in L^{1}(\varOmega )\) such that
$$ \bigl\vert F(x,t) \bigr\vert \leq c_{1} \vert t \vert ^{\alpha (x)}+\sigma (x)\quad \textit{for all }x \in \varOmega , t\in \mathbb{R}. $$ 
(ii)
The functional \(\varPhi :L^{\alpha (x)}(\varOmega )\to \mathbb{R}\) defined by \(\varPhi (u)=\int _{\varOmega }F(x,u(x))\,dx\) is continuously Fréchet differentiable and \(\varPhi '(u)=N_{f}(u) \) for all \(u\in L^{\alpha (x)}(\varOmega )\).
Remark 2.16
Since the embedding \(W_{0}^{1,p(x)}(\varOmega )\hookrightarrow L^{\alpha (x)}(\varOmega )\) is compact for \(\alpha \in C_{+}(\overline{\varOmega })\) with \(\alpha (x)< p^{*}(x)\) for every \(x\in \overline{\varOmega }\), we derive from Proposition 2.15 the following diagram:
which shows that \(N_{f}:W_{0}^{1,p(x)}(\varOmega )\to W^{1,p'(x)}( \varOmega )\) is strongly continuous on \(W_{0}^{1,p(x)}(\varOmega )\). Using the same argument, the functional \(\varPhi :W_{0}^{1,p(x)}(\varOmega )\to \mathbb{R}\) defined by \(\varPhi (u)= [4]\int _{\varOmega }F(x,u(x))\,dx\) is also strongly continuous on \(W_{0}^{1,p(x)}(\varOmega )\).
Throughout this work, \(f:\varOmega \times \mathbb{R}\to \mathbb{R}\) is a Carathéodory function, \(V\in L^{s(x)}(\varOmega )\). Let us denote
We require the following assumptions on problem (1.1):
 (A1):

\(p, q, s \text{ and } \beta \in C_{+}(\overline{\varOmega })\) such that, for all \(x\in {\overline{\varOmega }}\),
$$ q(x) < p(x) \leq N ,\qquad \beta (x) < p(x) \leq N, \qquad N < s(x)\quad \text{for } V\in L^{s(x)}(\varOmega ). $$(2.1)  (A1′):

Moreover, we assume that
$$ q^{+}_{\varOmega _{}}= \sup_{\varOmega _{}}q(x) < p^{}\quad \text{and} \quad \beta ^{+} < p^{} . $$(2.2)  (A2):

$$ \bigl\vert f(x,t) \bigr\vert \leq c \vert t \vert ^{\beta (x)1}+h(x)\quad \text{for all }x\in \varOmega , t\in \mathbb{R}, $$(2.3)
where \(c\geq 0\) is constant, \(\beta \in C_{+}(\overline{\varOmega })\) with \(\beta (x)< p^{*}(x)\) for every \(x\in \overline{\varOmega }\), and \(h\in L^{\infty }(\varOmega ) \).
 (A3):

There exist \(\gamma \in L^{\infty }(\varOmega )\), \(\gamma > 0 \), and θ satisfying \(\theta < p^{}\) such that
$$ F(x,t)\geq \gamma (x) \vert t \vert ^{\theta }\quad \text{for all }x\in \varOmega \text{ and any } t \in [0,1[, $$(2.4)where \(F(x,s)=\int _{0}^{s}f(x,t)\,dt\).
 (A4):

\(f(x,t)=f(x,t)\) for \(x\in \varOmega \), \(t\in \mathbb{R}\).
3 Main results
In this section, we give some auxiliary results prior to the establishment of our main results. Here and henceforth, we denote by X the generalized Sobolev space \(W_{0}^{1,p(x)}(\varOmega )\) equipped with the norm \(\ \cdotp \\), \(X^{*}\) its dual space, and we define the continuous function α by
From assumptions (A1) on the functions p, q, s and from (3.1), a straightforward computation gives \(q(x)< p^{*}(x)\), \(\beta (x) < p^{*}(x)\), \(s'(x)q(x) < p^{*}(x)\), \(\alpha (x) < p^{*}(x) \) for every \(x \in \overline{\varOmega }\). Hence, we have the following remark.
Remark 3.1
From (ii) of Proposition 2.9, the embeddings \(X\hookrightarrow L^{q(x)}(\varOmega )\), \(X\hookrightarrow L^{\alpha (x)}(\varOmega )\), \(X \hookrightarrow L^{s'(x)q(x)}(\varOmega )\), and \(X\hookrightarrow L ^{\beta (x)}(\varOmega )\) are compact and continuous. Therefore, there exists a positive constant C such that
for all \(u\in X\). Without any loss of generality, we can suppose that \(C>1\).
We are interested in the investigation of weak solution of (1.1), say a function \(u\in X\) satisfying
Let us consider the Euler–Lagrange functional or the energy functional \(H: X\to \mathbb{R}\) associated with problem (1.1) defined by
Let us denote \(J(u)=\int _{\varOmega }\frac{V(x)}{q(x)}u^{q(x)}\,dx \).
Then the energy functional H can be written as
where we recall that
The functional H is obviously well defined and satisfies the following.
Proposition 3.2
The functional H is continuously Fréchet differentiable and is weakly lower semicontinuous. Moreover, \(u \in X\) is a critical point of H if and only if u is a weak solution of (1.1).
Proof
By Proposition 2.13 and Proposition 2.15, we have that the functional \(H \in C^{1}(X,\mathbb{R})\) and its derivative function is given by
for all \(u,v\in X\). Now, let u be a critical point of H, then we have \(dH(u)=0_{X^{*}}\), which implies that
Consequently,
It follows that u is a weak solution of (1.1). On the other hand, if u is a weak solution of (1.1), by definition, we have
which implies that
So, \(dH(u)=0_{X^{*}}\) and hence u is a critical point of H.
Let us show that H is sequentially weakly lower semicontinuous.
Consider a weakly convergent sequence \((u_{n})\) to u in X, we have \(\varPsi (u) \leq [4]\liminf_{n \rightarrow +\infty }\varPsi (u_{n})\). By using the Hölder inequality, Proposition 2.5, and inequality (3.2), for any \(n\in \mathbb{N}\), we deduce that
Recalling assumption (A2) and integrating the growth condition with respect to t, we obtain
where \(a\geq 0\) is a constant depending on the real numbers c, \(\beta ^{}\) provided by (A2). Recalling the compact embeddings \(X \hookrightarrow L^{s'(x)q(x)}(\varOmega )\) and \(X\hookrightarrow L ^{\beta (x)}(\varOmega )\), we deduce that \(J(u_{n}) \rightarrow J(u) \) and \(\varPhi (u) \leq \liminf_{n \rightarrow +\infty }\varPhi (u_{n})\); and hence, H is sequentially weakly lower semicontinuous. The proof is complete. □
Next, we have the following.
Proposition 3.3
Under assumptions (A1), (A1′), (A2), the energy functional (H) is coercive.
Proof
Suppose that \(\ u\ >1 \), then
where K, C, and b are positive constants depending on the Sobolev embeddings V and F. Since \(q^{+}_{\varOmega _{}} < p^{} \) and \(\beta ^{+} < p^{} \), we get that H is coercive. □
We are now ready to state the first existence result of this work.
Theorem 3.4
Under assumptions (A1), (A1′), and (A2), problem (1.1) has a weak solution.
Proof
Since H is differentiable, coercive, weakly lower semicontinuous, H has a critical minimum point u in X which is a weak solution of (1.1) and then the proof is complete. □
Remark 3.5
Notice that when V is positive, the first condition in (A1′) is not necessary and the proof of the coercivity of H is of course trivial.
Corollary 3.6
Suppose that hypotheses of Theorem 3.4 are satisfied. If besides \(V\in L^{s(x)}(\varOmega )\) is a nonnegative function and \(f(x,\cdot ): \mathbb{R}\to \mathbb{R}\) defined by \(f(x,\cdot )(t)=f(x,t)\) is a decreasing function for a.e. \(x\in \varOmega \), then problem (1.1) has a unique weak solution in X.
Proof
Let \(u_{1},u_{2}\in E\) such that
then we have
From the strict monotonicity of \(\Delta _{p(x)}\), we have
Since the potential V is nonnegative and the function \(f(x,\cdotp )\) is decreasing for a.e. \(x\in \varOmega \), the righthand side of (3.8) is nonpositive, and then we get
Recalling again the strict monotonicity of \(\Delta _{p(x)}\), we get \(u_{1}=u_{2}\). □
Remark 3.7
In addition to the assumptions in Corollary 3.6, if the Carathéodory function \(f:\varOmega \times \mathbb{R}\to \mathbb{R}\) satisfies (A4), then \(u\equiv 0\) is a trivial solution, and since the solution is unique when it exists, then \(u\equiv 0\) is the only one solution in X for Dirichlet problem (1.1).
In the next step, we will suppose that condition (A1′) is no longer satisfied and of course the coercivity of the functional H fails since V is a signchanging function. In this case, we prove that H satisfies the Palais–Smale (PS) condition and show multiplicity results for our problem.
Definition 3.8
The \(C^{1}\)functional H is said to satisfy the Palais–Smale condition, in short the (PS) condition, if any sequence \((u_{n})_{n\in \mathbb{N}}\subseteq X\), for which \((H(u_{n}))_{n \in \mathbb{N}}\subseteq \mathbb{R}\) is bounded and \(dH(u_{n})\to 0\) as \(n\to \infty \), has a convergent subsequence.
Proposition 3.9
Under assumptions (A1) and (A2), the functional H satisfies the (PS) condition.
The following lemma plays a key role in the proof of Proposition (3.9). The constant exponent version (\(p(x) \equiv p\)) of the lemma can be found in [14].
Lemma 3.10
Let ω be positive on Ω and satisfy \(\omega \in L ^{r(x)} (\varOmega )\) with \(r(x)> \frac{N}{q(x)}\) if \(1< q (x)\leq N \) or \(r(x)= 1 \) if \(q (x) >N\), \(x \in \overline{\varOmega }\), and let \(T > 0 \) be a constant. Then there are three positive constants \(C_{1}\), \(C_{2}\), \(C_{3}\) depending only on ω and T such that
for every \(V \in L^{s(x)} (\varOmega )\) such that \(V_{s(\cdot)} \leq T\), \(r \in L_{+}^{\infty }(\varOmega ) \), \(p, q, \beta \in C_{+}(\overline{ \varOmega }) \), and for \(u\in X\), where \(u_{\omega , q(\cdot)} = \inf \{ \lambda >0: \int _{\varOmega } \omega  \frac{u}{\lambda }^{q(x)}\,dx \leq 1 \}\).
Remark 3.11
Clearly, in Lemma (3.10), \(\int _{\varOmega }\omega u^{q(x)} \,dx < \infty \) for any \(u \in X\). The case \(r(x)= 1 \) with \(q (x) >N \) is obvious since \(p (x) >N \) and then \(X\hookrightarrow L^{\infty }(\varOmega )\).
For the case \(r(x)> \frac{N}{q(x)}\) and \(1< q (x)\leq N \), Propositions 2.3 and 2.5 yield
And since \(q(x)r'(x) < p^{*}(x)\) for any \(x\in \overline{ \varOmega }\), \(\int _{\varOmega }\omega u^{q(x)} \,dx < \infty\) for any \(u \in X \). Accordingly, \(u_{\omega , q(\cdot)} = \inf \{ \lambda >0: \int _{\varOmega }\omega  \frac{u}{\lambda }^{q(x)}\,dx \leq 1 \}\) stands for the Luxembourg norm on the Orlicz–Musielak space \(L_{M} \) where \(M(x, t ) = \omega (x) t^{q(x)}\). Endowed with this norm, \(L_{M}\) is separable and reflexive (see [19, 24]).
Proof of Lemma 3.10
Recalling (3.4) and (3.5), we have
where \(M\geq 0\) is a constant depending on the real numbers \(h_{\infty }\), c, \(\beta ^{}\) provided by (A2), and on Ω.
Let us claim that, for any \(\epsilon > 0 \), there are \(M_{\epsilon }\) and \(M'_{\epsilon }\) such that
Let us deal first with (3.12) by assuming to the contrary that there exist \(\epsilon _{0} > 0 \) and a sequence \(u_{n} \text{ in } X \) such that \(u_{n}_{q(\cdot)s'(\cdot)} = 1 \) and
Then \((u_{n})\) is a bounded sequence in X and up to a subsequence, \((u_{n})\) converges weakly to some \(u_{0} \in X \) and strongly in \(L^{q(\cdot)s'(\cdot)} (\varOmega ) \). Consequently, \(u_{0}_{q(\cdot)s'(\cdot)} = 1 \), and then \(\min (u_{0}_{\omega , q(\cdot)}^{q^{+}},u_{0}_{\omega , q(\cdot)} ^{q^{}})< 0\). Contradiction.
A similar approach enables us to get (3.13).
Let \(T > 0 \) be such that \(\max (\frac{2}{q^{}}V_{s}(\cdot), M) < T\), and let ϵ satisfy \(0 < \epsilon < T^{1}\). By combining (3.10), (3.11), (3.12), we get
and the proof of the lemma is complete. □
Proof of Proposition 3.9
Let \((u_{n})_{n\in \mathbb{N}}\subset X\) be a (PS) sequence for the functional H, i.e., there exists a positive constant \(k>0\) such that
and \(\epsilon _{n} \to 0 \) as \(n\to \infty \).
Let us show that the sequence \((u_{n})_{n\in \mathbb{N}}\) is bounded in X. By contradiction, assume that \(\ u_{n}\ \to \infty\) as \(n \to \infty \). Up to a subsequence, we have \(\ u_{n}\>1\) for any \(n\in \mathbb{N}\), and by choosing \(\omega = 1 \) in Lemma 3.10 and replacing u by \(u_{n}\) in (3.9), we obtain
and consequently
where \(C_{2}'\), \(C_{3}'\) are constants depending on \(C_{2}\), \(C_{3}\) and the Sobolev embedding constants.
Dividing (3.16) by \(\u_{n}\^{p^{}}\), we have
and passing to the limit leads to a contradiction since \(p^{} > q ^{} \) and \(p^{} > \beta ^{} \). So \((u_{n})\) is bounded in X and up to a subsequence converges weakly in X and strongly in \(L^{r(x)} \) with \(1< r(x) < p^{*}(x) \) to \(u_{0}\).
Let us show now that \((u_{n})_{n\in \mathbb{N}}\) converges strongly to \(u_{0}\) in X. Indeed, since the functional H satisfies the Palais–Smale condition, we have
where \(\varepsilon _{n}\to 0\) and \(M_{0}\), \(M_{1}\), \(M_{2}\), and \(k\in \{q ^{}1,q^{+}1 \}\) are positive constants. Next, using the Sobolev compact embeddings, we obtain
and then, by the \((S_{+})\) property of \(\Delta _{p(x)}\), we get that \(u_{n}\to u_{0}\) strongly in X, and the proof is complete. □
We are now ready to state the following existence result for multiple solutions.
Theorem 3.12
Under assumptions (A1), (A2), (A3), and (A4), problem (1.1) has a bounded sequence of weak solutions \((u_{n})_{n\in \mathbb{N}}\subseteq X\) such that \(H(u_{n}) = c_{n} < 0 \). Moreover, the sequence of the critical values \((c_{n})_{n}\) tends to \(c= \inf_{X}H\).
Theorem 3.12 is derived by searching solutions as critical values of the functional H by means of a symmetric version of the mountain pass theorem.
Many versions of the mountain pass theorem stated according to the geometry of the problem under consideration exist in the literature (see [3, 31, 33, 34]). We state below an appropriate version to our situation.
Theorem 3.13
(A symmetric mountain pass theorem )
Suppose that X is an infinite dimensional real Banach space. Let \(H \in C^{1}(X,\mathbb{R})\) be even and satisfy the (PS) condition and \(H(0)=0\). Assume that

(i)
there are some constants \(\rho ,\alpha >0\) such that \(H(u)\geq \alpha \) for all \(u\in X\) with \(\ u\\geq \rho \);

(ii)
for each finite dimensional subspace F of X, there is a constant \(R > 0\) such that \(H(u)< 0\) for all \(u\in F\) with \(\ u\ \leq R\).
Then H has a bounded sequence of negative critical values \((c_{n})\) tending to \(\inf_{X}H\).
The proof of Theorem 3.13 can be adapted from some works in the literature. We give it as an appendix to this work for the sake of completeness.
4 Proof of Theorem 3.12 and auxiliary results
The proof will consist in showing that H satisfies the geometry required to apply the symmetric mountain pass theorem.
Lemma 4.1
Under assumptions (A1), (A2), and (A3), there exist some constants \(\rho ,\alpha > 0\) such that \(H_{ \{u\in X: \lVert u\rVert \geq \rho \} }\geq \alpha \).
Proof
Suppose on the contrary that, for any \(n \in \mathbb{N}^{*}\), there exists a sequence \((u_{n} ) \in X \) such that \(H(u_{n}) \leq \frac{1}{n}\) for \(\u_{n} \ \geq n \). Recalling (3.9), we have
with \(q^{}  p^{} < 0 \), \(\beta ^{}  p^{} < 0 \) and passing to the limit yields a contradiction. Then Lemma 4.1 holds. □
Lemma 4.2
Suppose that assumptions (A1) and (A3) are satisfied. Then, for each finite dimensional subspace F, there is a constant \(R>0\) such that \(H(u)\leq 0\) for all \(u\in F\) with \(\ u\ \leq R\).
Proof
By assumption (A3),
On the other hand, it is easy to see that the functional \(\ \cdotp \_{\theta }:X\to \mathbb{R}\) defined by
is a norm on the space X. Then on the finite dimensional subspace F the norms \(\ \cdotp \\) and \(\ \cdotp \_{\theta }\) are equivalent, so there exists a constant \(\nu >0\) such that
Now, let \(v\in F\) and write \(v= su \) with \(\u\ = 1\), and \(0< s < 1 \),
where C is a constant deriving from the Sobolev embedding.
Using the fact that \(\u\ = 1\) and (4.3), we obtain
Since \(p^{} > q^{}\) and \(p^{} > \theta \), we have for \(s < 1\) small enough that H is nonpositive, that is, there is η such that
Take \(R = \eta \) and then Lemma 4.2 is proved. □
To conclude with the proof of Theorem 3.12, we notice from (A4) that \(H(0) = 0 \) and H is even, and from Lemmas 4.1, 4.2, H satisfies the conditions required in Theorem 3.12, and then the result is achieved.
An auxiliary result in terms of multiple solutions in the same spirit of the works in [1, 6], and [22] can be obtained in our context by means of the fountain theorem. However, the sequence of solutions obtained either by the mountain pass theorem or the fountain theorem are quite different. Of course, in our context, the sequence of critical values obtained via the mountain pass theorem converges to a nonzero limit, while the use of the fountain theorem gives rise to critical values sequence converging to 0 as stated in Theorem 4.3 below.
Theorem 4.3
(Dual fountain theorem)
Suppose that X is an infinite dimensional reflexive separable Banach space. Let \(H \in C^{1}(X,\mathbb{R})\) be even and satisfy the (PS) condition and \(H(0)=0\).
Write \(X = \overline{\operatorname{span}\{e_{n}, e_{n} \in X \mbox{ } \forall n \geq 1 \}}\), \(X^{*} = \overline{\operatorname{span}\{e^{*} _{n}, e^{*}_{n} \in X^{*} \mbox{ } \forall n \geq 1\}}\) with \(e_{n}^{*}(e _{m}) = 1\) if \(m =n \) and \(e_{n}^{*}(e_{m}) = 0\) if \(m \neq n \), and define the subspaces
Assume that there are some constants \(\rho _{k} > r_{k} >0\) such that

(i)
\(H(u)\geq 0\) for all \(u\in Z_{k}\) with \(\ u\=\rho _{k}\),

(ii)
\(H(u)< 0\) for all \(u\in Y_{k} \) with \(\ u\ = r_{k}\),

(iii)
\(d_{k} = \inf_{\{u\in Z_{k}, \u\ \leq \rho _{k}\}}H(u) \to 0 \) as \(k \to +\infty \).
Then H has a sequence of negative critical values \((c_{n})\) tending to 0.
Sketch of the proof
H satisfies of course (PS), and by means of Lemmas 4.1 and 4.2, (i), (ii) are also satisfied. Thus, to prove Theorem 4.3, we need only to show that (iii) is satisfied. Accordingly, we need the following lemma whose proof can be pointed out similarly as in [1, 6], and [22].
Lemma 4.4
and
To conclude the proof of Theorem 4.3, we notice that
Choosing \(u = tv \) with \(0< t \leq \rho _{k} \) and \(\v\ = 1\), we have
Consequently,
□
References
Abdou, A., Marcos, A.: Existence and multiplicity of solutions for a Dirichlet problem involving perturbed \(p(x)\)Laplacian operator. Electron. J. Differ. Equ. 2016, 261, 1–19 (2016)
Acerbi, E., Mingione, G.: Regularity results for stationary electrorheological fluids. Arch. Ration. Mech. Anal. 164, 213–259 (2002)
Ambrosetti, A., Rabinowitz, P.H.: Dual variational methods in critical point theory. J. Funct. Anal. 14, 349–381 (1973)
Antontsev, S.N., Mirandac, F., Santos, L.: Blow up and finite time extinction for \(p(x,t)\)curl systems arising in electromagnetism. J. Math. Anal. Appl. 440, 300–322 (2016)
Antontsev, S.N., Shmarev, S.I.: Elliptic equations and systems with nonstandard growth conditions: existence, uniqueness and localization properties of solutions. Nonlinear Anal. 65, 722–755 (2006)
Bahrouni, A., Rǎdulescu, V.D., Repovš, D.D.: A weighted anisotropic variant of the Caffarelli–Kohn–Nirenberg inequality and applications. Nonlinearity 31, 1516–1534 (2018)
Bahrouni, A., Repovš, D.: Existence and nonexistence of solutions for \(p(x)\)curl systems arising in electromagnetism. Complex Var. Elliptic Equ. 63, 292–301 (2018)
Chabrowski, J., Fu, Y.: Existence of solutions for \(p(x)\)Laplacian problems on a bounded domain. J. Math. Anal. Appl. 306, 604–618 (2005)
Chabrowski, J., Fu, Y.: Corrigendum to “Existence of solutions for \(p(x) \)Laplacian problems on a bounded domain” [J. Math. Anal. Appl. 306 (2005) 604–618]. J. Math. Anal. Appl. 323, 1483 (2006)
Chang, K.C.: Critical Point Theory and Applications. Shanghai Scientific and Technology Press, Shanghai (1986)
Chen, Y.M., Levine, S., Ra, M.: Variable exponent, linear growth functionals in image restoration. SIAM J. Appl. Math. 66, 1383–1406 (2006)
Chow, S.N., Hale, J.K.: Methods of Bifurcation Theory. Springer, New York (1982)
Clark, D.: A variant of the Lusternik–Schnirelmann theory. Indiana Univ. Math. J. 22, 65–74 (1972)
Cuesta, M., Quoirin, H.R.: A weight eigenvalue problem for the pLaplacian plus a potential. Nonlinear Differ. Equ. Appl. 16, 469–491 (2009)
Diening, L., Harjulehto, P., Hästö, P., Růžička, M.: Lebesgue and Sobolev Spaces with Variable Exponents. Springer, Berlin (2011)
Dinca, G.: A Fredholmtype result for a couple of nonlinear operators. C. R. Math. Acad. Sci. Paris, Sér. I 333, 415–419 (2001)
Dinca, G., Jebelean, P., Mawhin, J.: Variational and topological methods for Dirichlet problems with pLaplacian. Port. Math. 58, 339–378 (2001)
Edmunds, D., Rákosník, J.: Sobolev embeddings with variable exponent. Stud. Math. 143, 267–293 (2000)
Edmunds, D., Rákosník, J.: Sobolev embeddings with variable exponent, II. Math. Nachr. 246–247, 53–67 (2002)
Fan, X., Han, X.: Existence and multiplicity of solutions for \(p(x)\)Laplacian equations in \(\mathbb{R}^{N}\). Nonlinear Anal. 59, 173–188 (2004)
Fan, X.L., Zhang, Q., Zhao, D.: Eigenvalues of \(p(x)\)Laplacian Dirichlet problem. J. Math. Anal. Appl. 302, 306–317 (2005)
Fan, X.L., Zhang, Q.H.: Existence of solutions for \(p(x)\)Laplacian Dirichlet problem. Nonlinear Anal. 52, 1843–1852 (2003)
Fan, X.L., Zhao, D.: On the spaces \(L^{p(x)}\) and \(W^{m,p(x)}\). J. Math. Anal. Appl. 263, 424–446 (2001)
Hudzik, H.: The problem of separability, duality, reflexivity and comparison for generalized Orlicz–Sobolev space \(W_{M}^{k} (\varOmega )\). Ann. Soc. Math. Pol., 1 Comment. Math. 21, 315–324 (1979)
Iliaş, P.S.: Existence and multiplicity of solutions of a \(p(x)\)Laplacian equation in a bounded domain. Rev. Roum. Math. Pures Appl. 52, 639–653 (2007)
Kovacik, O., Rakosnik, J.: On spaces \(L^{p(x)}\) and \(W^{k,p(x)}\). Czechoslov. Math. J. 41, 592–618 (1991)
Liang, Y., Wu, X., Zhang, Q., Zhao, C.: Multiple solutions of a \(p(x)\)Laplacian equation involving critical nonlinearities. Taiwan. J. Math. 17, 2055–2082 (2013)
Mawhin, J., Willem, M.: Critical Points Theory and Hamiltonian Systems. Springer, New York (1989)
Mihăilescu, M., Rădulescu, V.: On a nonhomogeneous quasilinear eigenvalue problem in Sobolev spaces with variable exponent. Proc. Am. Math. Soc. 135, 2929–2937 (2007)
Myers, T.G.: Thin films with high surface tension. SIAM Rev. 40, 441–462 (1998)
Rabinowitz, P.H.: Minimax Methods in Critical Point Theory with Applications to Differential Equations, vol. 65. Am. Math. Soc., Providence (1984) Published for the Conference Board of the Mathematical Sciences
Růžička, M.: Electrorheological Fluids: Modeling and Mathematical Theory. Lecture Notes in Mathematics, vol. 1748. Springer, Berlin (2000)
Szulkin, A.: Introduction to minimax methods in critical point theory and their applications. In: Second College on Variational Problems in Analysis (29 January–16 February 1990), pp. 4–33. ICTP, Trieste (1990)
Willem, M.: Minimax Theorems. Birkhäuser, Boston (1996)
Zhao, D., Fan, X.L.: On the Nemytskii operators from \(L^{p_{1}(x)}(\varOmega )\) to \(L^{p_{2}(x)}(\varOmega )\). J. Lanzhou Univ. Nat. Sci. 34, 1–5 (1998)
Zhikov, V.V., Kozlov, S.M., Oleinik, O.A.: Homogenization of Differential Operators and Integral Functionals. Springer, Berlin (1994) Translated from the Russian by G.A. Yosifian
Acknowledgements
The authors wish to thank the referees for their interesting remarks and suggestions which contributed to the quality of the paper.
Availability of data and materials
Not applicable.
Authors’ information
Not applicable.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix: A symmetric mountain pass theorem version
Appendix: A symmetric mountain pass theorem version
Theorem A.1
(A symmetric mountain pass theorem)
Suppose that X is an infinite dimensional real Banach space. Let \(H \in C^{1}(X,\mathbb{R})\) be even, satisfy the (PS) condition, and \(H(0)=0\). Assume that

(i)
there are constants \(\rho ,\alpha >0\) such that \(H(u) \geq \alpha \) for all \(u\in X\) with \(\ u\\geq \rho \);

(ii)
for each finite dimensional subspace F of X, there is a constant \(R > 0\) such that \(H(u)< 0\) for all \(u\in F\) with \(\ u\ \leq R\).
Then H has a bounded sequence of negative critical values \((c_{n})\) tending to \(\inf_{X}H\).
The proof of Theorem A.1 is based on the notions of genus and an appropriate deformation lemma [3, 33]. We state them below. Let us denote respectively by \(C(X, Y)\) and \(\varSigma (X)\) the space of continuous maps from X into Y and the family of closed in X subsets of \(X\setminus \{0\}\), symmetric with respect to the origin.
Definition A.2
A in \(\varSigma (X)\) has the genus n (denoted by \(\gamma (A)= n\)) if n is the smallest integer for which there exists a map \(\phi \in C(A, \mathbb{R}^{n}\setminus \{0\})\)
\(\gamma (A)= \infty \) if there exists no finite such n and \(\gamma (\varnothing )= 0\).
Let us denote
Below, we state some useful properties in the sequel for γ and the deformation lemma.
Proposition A.3
Let \(A , B \in \varSigma (X)\) and \(U\subset \mathbb{R}^{k}\) be an open, bounded, symmetric neighborhood of the origin.

1.
If there is odd \(\phi \in C(A, B)\), then \(\gamma (A) \leq \gamma (B)\).

2.
If \(A \subset B \), then \(\gamma (A) \leq \gamma (B)\).

3.
\(\gamma (A\cup B) \leq \gamma (A) + \gamma (B)\).

4.
If \(\gamma (B) < \infty \), then \(\gamma (A \setminus B) \geq \gamma (A)  \gamma (B)\).

5.
If A is compact, then \(\gamma (A) < \infty \) and \(\gamma (N_{\delta }(A))= \gamma (A)\) for all sufficiently small δ.

6.
\(\gamma (\partial U) = k \) and in particular \(\gamma (S ^{k1}) = k\).

7.
If A is homeomorphic to ∂U by an odd homeomorphism, then \(\gamma (A)= k\).
In order to state the deformation lemma, let us define for \(H \in C ^{1}(X, \mathbb{R})\) and \(c\in \mathbb{R}\), the sets
Clearly \(K_{c}\) is a compact set because of the (PS) condition. Then we have the following variant of the deformation lemma.
Proposition A.4
(Deformation lemma)
Suppose that X is a real Banach space and \(H \in C^{1}(X, \mathbb{R})\) satisfies the (PS) condition. If \(c\in \mathbb{R}\), \(\bar{\epsilon } > 0 \), and \(\mathcal{U}\) is a neighborhood of \(K_{C}\), then there exist \(\epsilon \in (0, \bar{\epsilon })\) and \(\eta : [0, 1]\times X \to X\) such that

1.
\(\eta (0,u) = u\) \(\forall u \in X\).

2.
\(\eta (t,u) = u\) \(\forall t\in [0 , 1]\) and \(u \in X\) with \(H(u)  c\geq \bar{\epsilon }\).

3.
\(H(\eta (t,u) ) \geq H(u )\) \(\forall t \in [0 , 1 ] \), \(u\in X\).

4.
\(\eta (1, \tilde{H}_{c \epsilon }\setminus \mathcal{U}) \subset \tilde{H}_{c+\epsilon }\).

5.
If H is even, \(\eta (t,u) \) is odd in u.
Remark A.5
The proof of Proposition A.4 here is a slight modification of the proof encountered in many works in the literature for the standard deformation lemma (cf. [3, 12, 13, 28, 31, 33]). The method is technical and is based on the construction of a positive modified gradient flow for H rather than the negative gradient flow one in the standard deformation lemma.
Proof of Theorem A.1
Let us choose ρ as in Theorem 3.13 and call \({B_{\rho }} \) the ball centered at the origin O. Let \(F_{m} \) be a finite dimensional subspace of X with \(\dim F_{m}= m\), \(F_{m}\) is spanned by \(\{e_{1}, e_{2}, \dots ,e_{m} \}\) such that \({B_{\rho } \cap F_{m}\neq \varnothing } \). Denote \(D^{m}_{\rho } = \overline{B _{\rho }}\cap F_{m} \) and
Since \(\mathit{id} \in G_{m}\), \(G_{m} \neq \varnothing \): Next, we set
where \(\gamma (Y)\) is the genus of Y. \(h\overline{ (D^{m}_{\rho } \setminus Y)} = \overline{ h(D^{m}_{\rho }\setminus Y)}\) and is compact and the family of the sets \((\varGamma _{j})_{j}\) satisfies the following properties:

(i)
\((\varGamma _{j})\neq \varnothing \) for all j.

(ii)
\(\varGamma _{j+ 1}\subset \varGamma _{j}\). (Monotonicity).

(iii)
If \(B \in \varGamma _{j} \) and \(Y \in \varSigma (X) \) with \(\gamma (Y) \leq s < j \), then \(\overline{(B\setminus Y)} \in \varGamma _{js} \) for each j. (Excision)

(iv)
If \(\phi \in C(X, X) \) is odd and \(\phi = \mathit{id} \) on \(\partial \bar{B_{\rho }}\cap F_{m} \), then \(\phi : \varGamma _{j} \to \varGamma _{j} \) for each \(j \in \mathbb{N}\). (Invariance)
Indeed, (i) is satisfied since the set \(\{Y \in \varSigma (X) / \gamma ( Y) \leq mj \}\) is not empty as a consequence of (7) of Proposition A.3. (ii) is a trivial consequence of the construction of \(\varGamma _{j} \). (iii) is derived from (4), Proposition A.3. For (iv), we just have to notice that \(\phi \circ h \in G_{m}\).
Note
Since B is compact \(c_{j} < \infty \) for any j and, moreover, \(c_{j+1} \leq c_{j} \) because \(\varGamma _{j+ 1}\subset \varGamma _{j}\).
Next, we claim that \(c_{1} < 0\).
Indeed, let \(B\in \varGamma _{1}\), then \(B = h(\overline{D^{m}_{\rho } \setminus Y})\) with \(Y \in \varSigma (X) \) and \(\gamma (Y)\leq m1\).
We have that \(H(u) \geq \alpha \) on \(\partial B_{\rho }\) and \(H(u) < 0\) for \(u \in \overline{B_{R}} \), where R is provided by (ii) of Theorem 3.13. Clearly, ρ is chosen such that \(\rho > R \).
Let \(\tilde{\varOmega } = \{ u \in D^{m}_{\rho } / h(u) \in B_{R} \} \) and denote by Ω the component of Ω̃ containing the origin O. Since h is odd and \(h =\mathit{id}\) on \(\partial B_{\rho }\cap F_{m} \), Ω is a symmetric bounded open neighborhood of O in \(F_{m} \), and hence \(\gamma (\partial \varOmega ) = m \).
Moreover, \(h(u) \in \partial B_{R} \cap F_{m}\) if \(u \in \partial \varOmega \). Indeed, suppose \(h(u) \in B_{R} \cap F_{m}\) if \(u \in \partial \varOmega \). If \(u \in D^{m}_{\rho }\), then one can find a neighborhood \(\mathcal{V}(u)\) of u such that \(h(u) \in B_{R} \), and hence \(u \notin \partial \varOmega \). If, on the other hand, \(u \in \partial D^{m}_{\rho } \), one has \(h(u) = u \) and then \(\h(u)\ = \u\ = \rho > R\). This is a contradiction, so \(h(u) \in \partial B_{R} \cap F_{m}\) if \(u \in \partial \varOmega \) must hold.
Let
Since \(\partial \varOmega \subset W\), \(\gamma (W) \geq \gamma ( \partial \varOmega ) = m \). Thus \(\gamma (\overline{W\setminus Y}) \geq m (m1) = 1\). Consequently, \(\overline{W\setminus Y} \neq \varnothing \) and then there exists \(\bar{u}\in W\setminus Y \) such that \(h(\bar{u})\in B\cap \partial B_{R}\). Hence
Since A.1 is valid for any \(B \in \varGamma _{1} \), we have \(c_{1} < 0\).
Given j, it may happen that the multiplicity of \(c_{j} \) occurs, that is,
We shall prove in this case that \(\gamma (K_{c}) \geq k+1\) in order to conclude that \(K_{c} \) contains no less than \(k+1\) points. \(0 \notin K_{c} \) since \(H(0) = 0 \); moreover, H is even and accordingly \(K_{c} \in \varSigma (X)\) and \(\gamma (K_{c}) < \infty \).
If \(\gamma (K_{c}) < k+1 \), then there exists \(\delta >0 \) such that \(\gamma (N_{\delta }(K_{c}) )< k+1\). Denote \(\mathcal{U} = N_{\delta }(K_{c}) \). For any \(\bar{\epsilon } > 0\), by Proposition A.4 (the deformation lemma) and Remark A.5, there are \(\epsilon \in (0, \bar{\epsilon }) \) and \(\eta \in C([0, 1] \times X, X)\) such that
Choose any \(B \in \varGamma _{j+k} \) such that \(\min_{B} H(u) \geq c  \epsilon \).
By A.3 we get
Recalling the excision property (iii) above, we have \(\overline{B \setminus \mathcal{U}} \in \varGamma _{j}\), and by choosing \(\bar{\epsilon } = c/2\) in Proposition A.4, points (2) and (5) of the proposition enable us to conclude that \(\eta (1,\cdot) \) is odd and \(H_{_{\partial B_{\rho }}} \geq \alpha > c  c/2 = c/2 \), and hence \(\eta (1,\cdot) \in G_{m} \) for all \(m \in \mathbb{N}\). Consequently, \(\eta (1, \overline{B\setminus \mathcal{U}}) \in \varGamma _{j}\) and the definition of \(c_{j}\) gives
which is in contradiction with (A.4). Thus \(\gamma (K_{c}) \geq k+1\) and hence \(K_{C}\) contains no less than \(k+1\) points.
Let us show that each \(c_{j}\) is a critical value of H for any j. In order to prove it, assume that \(c_{j} \) (for fixed j) is not a critical value, that is, \(K_{c_{j}} = \varnothing \). Then, choosing \(\mathcal{U} =\varnothing \), by Proposition A.4 (the deformation lemma) and Remark A.5, there are \(\epsilon \in (0, \bar{\epsilon }) \) and \(\eta \in C([0, 1]\times X, X)\) such that
Choosing any \(B \in \varGamma _{j} \) such that \(\min_{B} H(u) \geq c  \epsilon \).
By (A.5) we get
Choosing \(\bar{\epsilon } = c/2\) in Proposition A.4 and arguing around points (2) and (5) of the proposition as above, we have that \(\eta (1,\cdot) \in G_{m} \) for all \(m \in \mathbb{N}\). Consequently, \(\eta (1, \overline{B}) \in \varGamma _{j}\) and the definition of \(c_{j}\) gives
Contradiction with (A.6), so \(c_{j}\) is a critical value.
Let us show that \(c_{j}\) tends to \(\inf_{X} H = c\) as \(j \rightarrow +\infty \). Obviously, \(c =\inf_{X} H < \infty \) since H is bounded below on X. The critical values sequence \((c_{j})_{j} \) is monotone nonincreasing, so there is \(\bar{\alpha } \geq c \) such that \(c_{j} \rightarrow \bar{\alpha } \) as \(j \rightarrow +\infty \). \(\bar{\alpha } < c_{j} \) for all j, otherwise \(\gamma (K_{\bar{ \alpha }}) = \infty \) according to (A.2); but \(K_{\bar{\alpha }} \in \varSigma (X) \) and is compact, so \(\gamma (K_{\bar{\alpha }} ) < \infty \), contradiction. So \(\bar{\alpha } < c_{j} \) for all j. Suppose that \(c_{j}\) does not tend to c, that is, \(\bar{\alpha }> c \), and denote
\(\mathcal{H} \) is compact by the (PS). Besides, \(\mathcal{H} \in \varSigma (X) \) and there exists \(\delta > 0 \) such that \(\gamma (N _{\delta }(\mathcal{H})) = \gamma (\mathcal{H}) < \infty \). Suppose \(\gamma (\mathcal{H}) = n \). Recalling Proposition A.4 and Remark A.5, with \(\bar{\epsilon } =\bar{\alpha }  c\) and \(\mathcal{O}= N_{\delta }(H)\), there are \(\epsilon \in (0, \bar{ \epsilon }) \) and \(\eta \in C([0, 1]\times X, X) \) with \(\eta (1, \cdot ) \) odd such that
Choose the smallest value m̄ of the dimensions of the finite dimensional subspaces of X such that \(c_{\bar{m}} < \bar{\alpha } + \epsilon \) and choose \(B\in \varGamma _{\bar{m} + n}\) such that
By (A.7) we get
Since \(H_{_{\partial B_{\rho }}} \geq \alpha > 0 \), we have \(H(u)  c\geq \alpha c >\bar{\alpha }  c = \overline{\epsilon } \) for \(u \in \partial B_{\rho }\cap F_{\bar{m}} \), and recalling points (2) and (5) of Proposition A.4, we have \(\eta (1,\cdot) \in G _{\bar{m} } \) and then \(\overline{B\setminus \mathcal{O}} \) and \(\eta (1, \overline{B\setminus \mathcal{O}} ) \in \varGamma _{\bar{m}}\). Consequently,
Contradiction. So \(c_{j} \rightarrow c \) and the proof is complete. □
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
Marcos, A., Abdou, A. Existence of solutions for a nonhomogeneous Dirichlet problem involving \(p(x)\)Laplacian operator and indefinite weight. Bound Value Probl 2019, 171 (2019). https://doi.org/10.1186/s136610191276z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s136610191276z
MSC
 35B38
 35J20
 35J60
 35J66
Keywords
 Generalized Lebesgue–Sobolev spaces
 \(p(x)\)Laplacian operator
 Symmetric mountain pass lemma