- Research
- Open access
- Published:
Mountain pass solution for the weighted Dirichlet \((p(z),q(z))\)-problem
Boundary Value Problems volume 2022, Article number: 38 (2022)
Abstract
We consider the Dirichlet boundary value problem for equations involving the \((p(z),q(z))\)-Laplacian operator in the principal part on an open bounded domain \(\Omega \subset \mathbb{R}^{n}\). Here, the \(p(z)\)-Laplacian is weighted by a function \(a \in L^{\infty}(\Omega )_{+}\), and the nonlinearity in the reaction term is allowed to depend on the solution without imposing the Ambrosetti–Rabinowitz condition. The proof of the existence of solution to our problem is based on a mountain pass critical point approach with the Cerami condition at level c.
1 Introduction
Let \(\Omega \subset \mathbb{R}^{n}\) be an open bounded domain with a smooth boundary. Here, we focus on the following Dirichlet problem:
where \(g: \Omega \times \mathbb{R} \to \mathbb{R}\) is the nonlinearity (namely reaction term), \(a, b :\Omega \to [0,+\infty [\) are weight functions, both belonging to \(L^{\infty}(\Omega )\) and with \(a(z) \geq a_{0} >0\) for all \(z \in \Omega \). The variable exponents \(p,q \in C (\overline{\Omega})\) are related by the strict inequality \(q(z)< p(z)\) for all \(z \in \overline{\Omega}\), and separately they satisfy the conditions:
We assume the following regularities on the nonlinearity g:
- (\(g_{0}\)):
-
\(g : \overline{\Omega} \times \mathbb{R} \to \mathbb{R}\) is a Carathéodory function such that \(g(z, \xi )=0\) for all \(z \in \Omega \) and all \(\xi \leq 0\);
- (\(g_{1}\)):
-
there exist \(a_{1},a_{2} \in [0,+\infty [\) and \(\alpha \in C(\overline{\Omega})\) with \(p(z) < \alpha (z) < p^{*}(z)\) for all \(z \in \overline{\Omega}\) satisfying
$$ \bigl\vert g(z,\xi ) \bigr\vert \leq a_{1}+a_{2} \vert \xi \vert ^{\alpha (z)-1} \quad \text{for all } (z,\xi ) \in \Omega \times \mathbb{R},$$with \(p^{*}(z)= \frac {np(z)}{n-p(z)}\) if \(p(z) < n\) and \(p^{*}(z)= +\infty \) if \(p(z) \geq n\);
- (\(g_{2}\)):
-
if \(G(z,t)= \int _{0}^{t} g(z,\xi ) \,d\xi \), then we have
$$ \lim_{t \to +\infty}\frac{G(z,t)}{t^{p^{+}}}= + \infty \quad \text{uniformly for a.a. } z \in \Omega ;$$ - (\(g_{3}\)):
-
\(\lim_{t \to 0^{+}}\frac {g(z,t)}{t^{p(z)-1}}=0\) uniformly for a.a. \(z \in \Omega \);
- (\(g_{4}\)):
-
there exists \(r_{0} >0\) such that \(\mathcal{G}(z,t) = g(z,t)t - p^{+}G(z,t) \geq 0\) for all \(z \in \Omega \) and \(t \geq r_{0}\);
- (\(g_{5}\)):
-
there exist \(c_{0} >0\) and \(\beta \in C(\overline{\Omega})\) with \(1< \beta (z)\) such that \(p^{-}\beta ^{\prime}(z) < p^{*}(z)\) for all \(z \in \overline{\Omega}\) such that
$$ \biggl\vert \frac {G(z,t)}{t^{p^{-}}} \biggr\vert ^{\beta (z)} \leq c_{0} \mathcal{G}(z,t) \quad \text{for all }z \in \Omega \text{ and }t \geq r_{0}, $$where \(r_{0}\) is given in \((g_{4})\).
The above set of hypotheses is derived from the consolidated literature on the use of energy functional methods to solve partial differential equations (for \((g_{5})\), see Zhou and Wang [28]). Mainly we impose polynomial growth conditions on both the nonlinearity g and its integral G. On the other side, we require \((p(z)-1)\)-sublinearity of g at zero, and \(p^{+}\)-superlinearity of G at infinity.
A large and interesting class of nonlinear partial differential equations presents as leading operator the \((p(z),q(z))\)-Laplacian operator (namely often \((p(z),q(z))\)-elliptic equations). So, here we also consider the sum of a \(p(z)\)-Laplacian and of a \(q(z)\)-Laplacian, but the first one is weighted using the function \(a \in L^{\infty}(\Omega )\). This study applies in the general framework of Lebesgue and Sobolev spaces, with the structure of variable exponents (namely, \(L^{p(z)}(\Omega )\) and \(W^{1,p(z)}(\Omega )\), respectively; see [9, 20]). The practical applications of these spaces originate from the analysis of different physical phenomena. In particular, they model the behavior of non-Newtonian fluids that change viscosity (recall the variable exponent \(p(z)\)) in the presence of an electromagnetic field; see Rădulescu and co-workers [22, 25] and Ružička [21] (electrorheological fluids). See also the recent works of Gasiński and Papageorgiou [14] (resonant reaction), Barile and Figueiredo [4] (constant exponents case), Papageorgiou and Vetro [18], and Vetro and Vetro [24] (variable exponents case), and Vetro [23] (variable exponents depending on the unknown solution).
If \(W^{1,p(z)}_{0}(\Omega )\) is the closure of \(C^{\infty}_{0}(\Omega )\) in \(W^{1,p(z)}(\Omega )\), for a weak solution of the problem, \((P_{g})\) we mean a function \(u \in W_{0}^{1, p(z)} (\Omega )\) such that
We recall here some facts on the development of this kind of (double phase) \((p(z),q(z))\)-problems, focusing on the Italian school. So, we fix attention to the results of Marcellini [15–17], Mingione and co-workers [1, 5–7], but we do not forget the pioneering papers of Zhikov [26, 27], where the interested reader can find a deep investigation over variational integrals related to the total energy associated with special forms of integrand functions. Also, we mention the very recent work of Alves and Molica Bisci [3] about compact embeddings results in variable exponent Sobolev spaces with applications. We refer to the above literature and references therein for precise information and details, but here we mention the fact that a crucial aspect of this research focuses on nonstandard growth conditions of \((p, q)\)-type, according to the pioneering work of Marcellini. These are functionals where the energy density satisfies a condition of the form
Interesting models with \((p, q)\)-growth for geometrically constrained problems were the focus of a recent paper by De Filippis [8]. Our approach here uses geometrical conditions to depict a mountain pass geometry and obtain critical points of the energy functional associated with \((P_{g})\). We know that the Ambrosetti–Rabinowitz condition ensures the boundedness of a convergent sequence (namely the Palais–Smale sequence) of such a kind of functional. This is a crucial aspect in dealing with the critical point theory. The Ambrosetti–Rabinowitz condition says that there exist \(\eta >p\) and \(M>0\) such that
Integrating the first inequality and using the second one, we obtain the following weaker condition
We remark that we do not impose the Ambrosetti–Rabinowitz condition, but we employ alternative conditions involving the integral function G and the function \(\mathcal{G}\) (see \((g_{4})\), \((g_{5})\)), which incorporates in our setting also nonlinearities with slower growth.
2 Mathematical background
We collect some classical notions and notation from the variational calculus. By \((X,X^{*})\), we mean the couple of a Banach space X and its topological dual \(X^{*}\). Since we work in a variable exponent framework space, we recall the basic definition of a variable exponent Lebesgue space:
endowed with the norm
Then we provide the notion of variable exponent Sobolev space as follows:
In \(W^{1,p(z)}(\Omega )\), we use the norm
In \(L^{p(z)}(\Omega )\), the norm of \(u \in W_{0}^{1, p(z)}(\Omega )\) and the norm of \(|\nabla u|\) satisfy the inequality:
(see Theorem 8.2.18, p. 263, Diening et al. [9]). It means that the norms \(\|u\|_{W^{1,p(z)}(\Omega )}\) and \(\| |\nabla u| \|_{L^{p(z)}(\Omega )}\) are equivalent norms on \(W_{0}^{1, p(z)}(\Omega )\). This remark gives us the key to use the last one to replace \(\|u\|_{W^{1,p(z)}(\Omega )}\). So, we put
A crucial aspect of the methods of the variational calculus leads to the embedding results. Adopting the Fan and Zhang arguments in [10], we know that the above norms make both the variable Lebesgue and Sobolev spaces separable, reflexive and uniformly convex Banach spaces. Also, in Fan and Zhao [11], we find the following version of the classical Sobolev embedding:
Proposition 1
([11], Theorem 2.3)
Let \(p \in C (\overline{\Omega})\) with \(p(z)>1\) for all \(z \in \overline{\Omega}\). If \(\alpha \in C (\overline{\Omega})\) and \(1< \alpha (z) <p^{*}(z)\) for all \(z \in \Omega \), then there exists a continuous and compact embedding \(W^{1,p(z)}(\Omega ) \hookrightarrow L^{\alpha (z)}(\Omega )\).
Moreover, [11, Theorem 1.11] gives us the continuity of the embedding \(L^{p(z)}(\Omega ) \hookrightarrow L^{q(z)}(\Omega )\), provided that \(p,q \in C(\overline{\Omega})\) with \(1 < q(z) \leq p(z)\) for all \(z \in \Omega \). Finally, the following linking theorem is given in [11] (see Theorem 1.3).
Theorem 1
Let \(u \in L^{p(z)}(\Omega )\), then we have:
-
(i)
\(\| u\|_{L^{p(z)}(\Omega )} <1\ (=1, >1) \Leftrightarrow \rho _{p}(u) <1\ (=1, >1)\);
-
(ii)
if \(\| u\|_{L^{p(z)}(\Omega )}>1\), then \(\| u\|_{L^{p(z)}(\Omega )}^{p^{-}} \leq \rho _{p}(u) \leq \| u\|_{L^{p(z)}( \Omega )}^{p^{+}}\);
-
(iii)
if \(\| u\|_{L^{p(z)}(\Omega )}<1\), then \(\| u\|_{L^{p(z)}(\Omega )}^{p^{+}} \leq \rho _{p}(u) \leq \| u\|_{L^{p(z)}( \Omega )}^{p^{-}}\).
The last ingredient we mention here is the following lemma by Fu [12] (see Lemma 2.14).
Lemma 1
Let \(\Omega \subset \mathbb{R}^{n}\) be a bounded Lipschitz domain. If \(p(z) \in L^{\infty}(\Omega )\) and \(u \in W^{1,p}_{0}(\Omega )\), then
for some Ω-dependent constant C.
We work to construct the energy functional associated to \((P_{g})\) in some steps. Indeed, starting from the integral function \(G: \Omega \times \mathbb{R} \rightarrow \mathbb{R}\) given as
we obtain the functional \(B : W^{1,p(z)}_{0}(\Omega ) \to \mathbb{R}\) defined by
The assumption (\(g_{1}\)) implies that \(B \in C^{1}(W^{1,p(z)}_{0}(\Omega ), \mathbb{R})\). Also, Proposition 1 leads to the following compact derivative of B:
Next, using the weight functions \(a,b \in L^{\infty}(\Omega )\), we introduce the functionals \(A_{1},A_{2}, A_{3} : W_{0}^{1, p(z)} ( \Omega ) \rightarrow \mathbb{R}\) defined by
and
We stress that \(A_{1},A_{2}, A_{3} \in C^{1}(W^{1,p(z)}_{0}(\Omega ), \mathbb{R})\), and the following derivatives hold:
and
Remark 1
\(A_{1}^{\prime}: W_{0}^{1, p(z)} ( \Omega ) \rightarrow W_{0}^{1, p(z)} ( \Omega )^{*}\) is a mapping of type (\(S_{+}\)), that is, if \(u_{n} \xrightarrow{w} u\) in \(W^{1,p(z)}_{0}(\Omega )\) and \(\limsup_{n \to + \infty} \langle A_{1}^{\prime}(u_{n}),u_{n}-u \rangle \leq 0\), then \(u_{n} \rightarrow u\) in \(W^{1,p(z)}_{0}(\Omega )\) (see Gasiński and Papageorgiou [13], p. 279). The same holds for \(A_{2}^{\prime}\). Consequently, \(A_{1}^{\prime}+A_{2}^{\prime}\) is a mapping of type (\(S_{+}\)) too.
We combine the above functionals to obtain the functional \(I: W_{0}^{1, p(z)} ( \Omega ) \rightarrow \mathbb{R}\) defined by
Trivially, we have that \(I(0)=0\).
3 Main results
In this section, we apply the mountain pass approach to the functional I under the Cerami condition at level c (for short \((C_{c})\)-condition).
Here, we recall the general definition of \((C_{c})\)-condition in a Banach space X.
Definition 1
Let X be a real Banach space and \(I \in C^{1}(X, \mathbb{R})\). We say that I satisfies the \((C_{c})\)-condition if any sequence \(\{u_{n}\} \subset X\) such that \(I(u_{n}) \to c \in \mathbb{R}\) and \((1+\|u_{n}\|) I^{\prime}(u_{n}) \to 0\) in \(X^{*}\) as \(n \to +\infty \) has a convergent subsequence.
We will consider the following version of the mountain pass theorem as can be found in Afrouzi et al. [2] (see Lemma 3.3).
Theorem 2
Let X be a real Banach space, \(I \in C^{1}(X,\mathbb{R})\) satisfies the \((C_{c})\)-condition for any \(c \in \mathbb{R}\), \(I(0) = 0\) and
-
(i)
there exist \(\rho >0\) and \(\delta > 0\) such that \(I |_{\partial B_{\rho}} \geq \delta \), where \(B_{\rho}\) is a ball of radius ρ;
-
(ii)
there exists \(v \in X \setminus B_{\rho}\) such that \(I(v) \leq 0\).
Then,
is a critical value of I where
The first step to cover is “creating” the convergent subsequence in \(W_{0}^{1,p(z)}(\Omega )\).
Lemma 2
Let \(\{u_{n}\} \subset W_{0}^{1,p(z)}(\Omega )\) be a bounded sequence such that \((1+ \|u_{n}\|)I^{\prime}(u_{n}) \to 0\) in \(W_{0}^{1,p(z)}(\Omega )^{*}\) as \(n \to + \infty \). If the assumption \((g_{1})\) is satisfied, then the sequence \(\{u_{n}\}\) has a subsequence convergent in \(W_{0}^{1,p(z)}(\Omega )\).
Proof
Let \(\{u_{n}\} \subset W_{0}^{1,p(z)}(\Omega )\) be a bounded sequence such that \((1+ \|u_{n}\|)I^{\prime}(u_{n}) \to 0\) in \(W_{0}^{1,p(z)}(\Omega )^{*}\) as \(n \to + \infty \). Note that \(W_{0}^{1,p(z)}(\Omega )\) is a reflexive Banach space and so, passing to a subsequence if necessary, there exists \(u \in W_{0}^{1,p(z)}(\Omega )\) such that \(u_{n} \xrightarrow{w} u\) in \(W_{0}^{1,p(z)}(\Omega )\). Then Proposition 1 (embedding result) leads to \(u_{n} \to u\) in \(L^{\alpha (z)}(\Omega )\). An Hölder inequality can be applied, so that we have
Passing to the limit as \(n \to +\infty \), we deduce that
Since \((1+ \|u_{n}\|)I^{\prime}(u_{n}) \to 0\) in \(W_{0}^{1,p(z)}(\Omega )^{*}\), we obtain
Recalling the definition of the functional I in Sect. 2, we have
Since
for all \(n \in \mathbb{N}\), we deduce that
As \(A_{1}^{\prime}\) is a mapping of type (\(S_{+}\)) (see Remark 1), we conclude that the sequence \(\{u_{n}\}\) converges to u in \(W_{0}^{1,p(z)}(\Omega )\). □
We point out some facts about our set of assumptions. In particular, \((g_{1})\) ensures that for each \(s>0\), there exists a constant \(C_{s}>0\) such that
and \((g_{0})\) says that
Again assumption \((g_{2})\) ensures that there exists \(s_{0} >0\) such that
Remark 2
Let \(\{u_{n}\} \subset W_{0}^{1,p(z)}(\Omega )\) be a sequence such that \((1+ \|u_{n}\|)I^{\prime}(u_{n}) \to 0\) in \(W_{0}^{1,p(z)}(\Omega )^{*}\) as \(n \to + \infty \). If \((g_{0})\) holds, then the sequence \(\{u_{n}^{-}\}\) converges to zero in \(W_{0}^{1,p(z)}(\Omega )\). Indeed, from
we deduce that \(\|\nabla u_{n}^{-} \|_{L^{p(z)}(\Omega )} \to 0\), and hence \(\|u_{n}^{-}\| \to 0\) in \(W_{0}^{1,p(z)}(\Omega )\).
Remark 3
Let \(\{u_{n}\} \subset W_{0}^{1,p(z)}(\Omega )\) be a \((C_{c})\)-sequence, then the sequence \(\{u_{n}^{+}\}\) satisfies the following:
Indeed, from \(\nabla u= \nabla (u^{+} -u^{-}) = \nabla u^{+} -\nabla u^{-}\) and \(\nabla u^{+} = \nabla u\) a.e. in \(\{u \geq 0\}\), \(\nabla u^{-} = - \nabla u\) a.e. in \(\{u < 0\}\), we get
We also have
and
From
we deduce that
The second step of our finding gives us a boundedness result for \((C_{c})\)-sequences in \(W_{0}^{1,p(z)}(\Omega )\).
Lemma 3
If the assumptions \((g_{0})\)–\((g_{2})\), \((g_{4})\), \((g_{5})\) hold, then any \((C_{c})\)-sequence \(\{u_{n}\} \subset W_{0}^{1,p(z)}(\Omega )\) is bounded in \(W_{0}^{1,p(z)}(\Omega )\).
Proof
By Remark 3, the hypothesis that \(\{u_{n}\}\) is a \((C_{c})\)-sequence gives us that \(I(u_{n}^{+}) \to c\) and \(\langle I^{\prime}(u_{n}^{+}), u_{n}^{+}\rangle \to 0\) as \(n \to + \infty \). Consequently, we can find a constant \(M>0\) such that
Inequality (4) and the information in (1) and (2) give us
where \(|\Omega |\) means the Lebesgue measure of Ω.
Now, if the sequence \(\{u_{n}\}\) is unbounded, by Remark 2, we assume that \(\|u_{n}^{+}\| \to + \infty \) as \(n \to + \infty \) (going to a subsequence if necessary). So, we also suppose that \(\|u_{n}^{+}\| > 1\) for all \(n \in \mathbb{N}\). From
and since
we get
Using (1) and (2), we obtain that for each \(s>0\)
We also put
Clearly, \(\|v_{n}\|=1\) for all \(n \in \mathbb{N}\). Thus, considering a subsequence if necessary, we suppose that there exists \(v \in W_{0}^{1,p(z)}(\Omega )\) such that
Denote \(\Omega _{0} := \{z \in \Omega : v(z) >0\}\). We claim that \(|\Omega _{0}| = 0\) (\(|\Omega _{0}|\) means the Lebesgue measure of \(\Omega _{0}\)). We argue by contradiction again. So, suppose that \(|\Omega _{0}| > 0\). We note that \(u_{n}^{+}(z) \to + \infty \) for a.a. \(z \in \Omega _{0}\). Now, let \(s_{0}\) as in (3), and we consider
This implies
a contradiction and hence \(|\Omega _{0}| = 0\). Then we have \(v(z)=0\) for a.a. \(z \in \Omega \).
Now, we get
where
It follows that
which leads to contradiction with (6), and in this case, the sequence \(\{u_{n}^{+}\}\) is bounded. □
From Lemma 2 and Lemma 3, it follows the lemma.
Lemma 4
If the assumptions \((g_{0})\)–\((g_{2})\), \((g_{4})\), \((g_{5})\) hold, then the functional I satisfies the \((C_{c})\) condition.
The third and last step of our finding gives us the mountain pass geometry and hence the existence of a non-trivial critical point of the energy functional I.
Lemma 5
If the assumptions \((g_{0})\), \((g_{1})\), and \((g_{3})\) hold, then we conclude that:
-
(i)
there exist \(\rho >0\) and \(\delta >0\) such that \(I(u) \geq \delta \) for each \(u \in W_{0}^{1,p(z)}(\Omega )\) with \(\|u\|_{W^{1,p(z)}(\Omega )} =\rho \);
-
(ii)
there exists \(v \in W_{0}^{1,p(z)}(\Omega )\) such that \(I(v) <0\) and \(\|v\|_{W^{1,p(z)}(\Omega )}> \rho \).
Proof
(i) By the limit in \((g_{3})\), we deduce that for any \(\varepsilon > 0\), there exists \(t_{0} > 0\) such that \(G(z, t) \leq \varepsilon t^{p(z)}\), whenever \(z \in \Omega \) and \(0 \leq t < t_{0}\). The growth condition in \((g_{1})\) gives us a constant \(C_{0} = C(t_{0}) > 0\) such that \(G(z, t) \leq C_{0} t^{\alpha (z)}\), whenever \(z \in \Omega \) and \(t \geq t_{0}\). When combining these two inequalities, we find the following limitation from above:
Consequently, we obtain the following limitation from below of the total energy functional:
Taking \(\varepsilon \leq \frac{a_{0}}{3Cp^{+}}\), the general Poincaré inequality in Lemma 1 gives us
which refines the above limitation for the total energy functional as follows:
where \(K= \min \{\frac{a_{0}}{3 p^{+}},\frac{a_{0}}{3C p^{+}}\}\).
We enter in the setting of Proposition 1, so we denote by \(C_{\alpha}>0\) the constant of the continuous and compact embedding \(W_{0}^{1,p(z)}(\Omega ) \hookrightarrow L^{\alpha (z)}(\Omega )\) there. Moreover, let \(u \in W_{0}^{1,p(z)}(\Omega )\) satisfy \(\|u\|_{W^{1,p(z)}(\Omega )}< \min \{1,C_{\alpha}^{-1}\}\), and so \(\|u\|_{L^{\alpha (z)}(\Omega )} <1\).
Clearly, for any \(z=(z_{1}, \ldots ,z_{n}) \in \overline{\Omega}\), as \(p,\alpha \in C( \overline{\Omega})\), we can get
such that \(|p(y)-p(z)| < \varepsilon \) and \(|\alpha (y)-\alpha (z)| < \varepsilon \), whenever \(y \in Q_{r}(z) \cap \overline{\Omega}\). Putting \(\varepsilon := 4^{-1}(\alpha (z)-p(z))\), we have
Since \(\{Q_{r}(z)\}_{z \in \overline{\Omega}}\) is an open covering of Ω̅, the Lebesgue number lemma (see, for example, Proposition 1.5.34, p. 51, Papageorgiou and Winkert [19]) provides us with a number \(\lambda >0\) such that every subset of Ω̅, having diameter less than λ, is contained in some member of the cover. If we define \(u = 0\) on \(\mathbb{R}^{n} \setminus \Omega \), then \(u \in W_{0}^{1,p(z)}(U)\) for any open hypercube U such that \(\Omega \subset U\). Using the number of Lebesgue, we find a finite pairwise family of open hypercubes \(\{Q_{j}\}_{j=1}^{J}\) having a diameter smaller than λ such that \(Q_{j} \subset U\) is contained in some member of the cover \(\{Q_{r}(z)\}_{z \in \overline{\Omega}}\), \(Q_{j} \cap \overline{\Omega} \neq \emptyset \) for \(j=1, \ldots ,J\) and \(\overline{\Omega} \subseteq \bigcup_{j=1}^{J} \overline{Q}_{j}\). Put
From (8), we get that \(p_{j}^{+} < \alpha _{j}^{-}\) for \(j=1, \ldots ,J\). Also, we have \(u \in W^{1,p(z)}(Q_{j})\) (\(j=1, \ldots ,J\)). By Theorem 1 and Proposition 1, we deduce
where \(C_{\alpha ,j} >0\) is the constant of the continuous and compact embedding \(W^{1,p(z)}(Q_{j} \cap \Omega ) \hookrightarrow L^{\alpha (z)}(Q_{j} \cap \Omega )\). As \(\|\nabla u\|_{L^{p}(Q_{j} \cap \Omega )} < 1\) and \(\|u\|_{L^{p}(Q_{j} \cap \Omega )} < 1\), by Theorem 1, we have
As \(|\Omega \setminus \bigcup_{j=1}^{J} (Q_{j} \cap \Omega )|=0\), from (7), we deduce
for some \(K_{j}, C_{j} >0\), with \(j= 1, \ldots ,J\). As \(\alpha _{j}^{-} > p_{j}^{+}\), there exists \(\rho _{j} >0\) such that
if \(\|u\|_{W^{1,p(z)}(Q_{j} \cap \Omega )} \leq \rho _{j}\).
Let \(u \in W_{0}^{1,p(z)}(\Omega )\) be such that \(\|u\|_{W^{1,p(z)}(\Omega )}=\rho = \min \{\rho _{j}: 1 \leq j \leq J \}\). From
we obtain that there exists at least one \(\|u\|_{W^{1,p(z)}(Q_{j} \cap \Omega )}\) satisfying
Then we have
(ii) Using \((g_{1})\) and \((g_{2})\), we deduce that for all \(M>0\), there exists \(C_{M}>0\) such that
Let \(\zeta \in C_{0}^{\infty}(\Omega )\setminus \{0\}\) be such that \(\zeta (z)\geq 0\) for all \(z \in \Omega \). From (11), for all \(t>1\), we get
If we choose \(M>0\) such that
we obtain that \(\lim_{n\to +\infty} I(t\zeta ) = -\infty \). It follows that there exists \(v=t_{0} \zeta \in W_{0}^{1,p(z)}(\Omega )\) such that \(I(v)<0\) and \(\|v\|_{W^{1,p(z)}(\Omega )} >\rho \). □
Summarizing, Lemma 5 and Theorem 2 say that the functional I admits a non-zero critical point, which is exactly a nontrivial solution to \((P_{g})\), under suitable assumptions. Precisely, we establish the following main result.
Theorem 3
If the assumptions \((g_{0})\)–\((g_{5})\) hold, then problem \((P_{g})\) admits at least a nontrivial solution \(u \in W_{0}^{1,p(z)}(\Omega )\).
Availability of data and materials
This item is not applicable.
References
Acerbi, E., Mingione, G.: Regularity results for a class of functionals with nonstandard growth. Arch. Ration. Mech. Anal. 156, 121–140 (2001)
Afrouzi, G.A., Mirzapour, M., Rădulescu, V.: Variational analysis of anisotropic Schrödinger equations without Ambrosetti–Rabinowitz-type condition. Z. Angew. Math. Phys. 69, 9 (2018), 17 pp.
Alves, C., Molica Bisci, G.: A compact embedding result for anisotropic Sobolev spaces associated to a strip-like domain and some applications. J. Math. Anal. Appl. 501, 123490 (2019) 24 pp.
Barile, S., Figueiredo, G.M.: Existence of least energy positive, negative and nodal solutions for a class of \(p\&q\)-problems with potentials vanishing at infinity. J. Math. Anal. Appl. 427, 1205–1233 (2015)
Baroni, P., Colombo, M., Mingione, G.: Harnack inequalities for double phase functionals. Nonlinear Anal. 121, 206–222 (2015)
Baroni, P., Colombo, M., Mingione, G.: Nonautonomous functionals, borderline cases and related function classes. St. Petersburg Math. J. 27(3), 347–379 (2016)
Baroni, P., Colombo, M., Mingione, G.: Regularity for general functionals with double phase. Calc. Var. Partial Differ. Equ. 57(2), 62 (2018), 48 pp.
De Filippis, C.: Higher integrability for constrained minimizers of integral functionals with \((p, q)\)-growth in low dimension. Nonlinear Anal. 170, 1–20 (2018)
Diening, L., Harjulehto, P., Hästö, P., Rŭzĭcka, M.: Lebesgue and Sobolev Spaces with Variable Exponents. Lecture Notes in Math., vol. 2017. Springer, Heidelberg (2011)
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)}(\Omega )\) and \(W^{m,p(x)}(\Omega )\). J. Math. Anal. Appl. 263, 424–446 (2001)
Fu, Y.: The existence of solutions for elliptic systems with nonuniform growth. Stud. Math. 151, 227–246 (2002)
Gasiński, L., Papageorgiou, N.S.: Exercises in Analysis. Part 2. Nonlinear Analysis. Problem Books in Mathematics. Springer, Cham (2016)
Gasiński, L., Papageorgiou, N.S.: Resonant anisotropic \((p, q)\)-equations. Mathematics 8(8), 1332 (2020), 21 p.
Marcellini, P.: On the definition and the lower semicontinuity of certain quasiconvex integrals. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 3, 391–409 (1986)
Marcellini, P.: Regularity and existence of solutions of elliptic equations with p, q-growth conditions. J. Differ. Equ. 90, 1–30 (1991)
Marcellini, P.: Everywhere regularity for a class of elliptic systems without growth conditions. Ann. Sc. Norm. Super. Pisa, Cl. Sci. (4) 23, 1–25 (1996)
Papageorgiou, N.S., Vetro, C.: Superlinear \((p(z), q(z))\)-equations. Complex Var. Elliptic Equ. 64, 8–25 (2019)
Papageorgiou, N.S., Winkert, P.: Applied Nonlinear Functional Analysis: An Introduction. de Gruyter, Berlin (2018)
Rădulescu, V., Repovš, D.: Partial Differential Equations with Variable Exponents: Variational Methods and Qualitative Analysis. CRC Press, Boca Raton (2015)
Ružička, M.: Electrorheological Fluids Modeling and Mathematical Theory. Springer, Berlin (2002)
Shi, X., Rădulescu, V., Repovš, D., Zhang, Q.: Multiple solutions of double phase variational problems with variable exponent. Adv. Calc. Var. 13, 385–401 (2020)
Vetro, C.: The existence of solutions for local Dirichlet \((r(u), s(u))\)-problems. Mathematics 10, 237 (2022), 17 pp.
Vetro, C., Vetro, F.: On problems driven by the \((p(\cdot ) , q(\cdot ))\)-Laplace operator. Mediterr. J. Math. 17, 24 (2020), 11 pp.
Zhang, Q., Rădulescu, V.: Double phase anisotropic variational problems and combined effects of reaction and absorption terms. J. Math. Pures Appl. 118, 159–203 (2018)
Zhikov, V.V.: Averaging of functionals of the calculus of variations and elasticity theory. Math. USSR, Izv. 29, 33–66 (1987)
Zhikov, V.V.: On Lavrentiev’s phenomenon. Russ. J. Math. Phys. 3(2), 249–269 (1995)
Zhou, Q.-M., Wang, K.-Q.: Infinitely many weak solutions for \(p(x)\)-Laplacian-like problems with sign-changing potential. Electron. J. Qual. Theory Differ. Equ. 2020, 10 (2020), 14 pp.
Acknowledgements
The authors extend their appreciation to the Deanship of Scientific Research at Imam Mohammad Ibn Saud Islamic University for funding this work through Research Group no. RG-21-09-03.
Funding
There are no funds to declare.
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the conceptualization and writing of original draft. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
This item is not applicable.
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Alharthi, N.H., Albalawi, K.S. & Vetro, F. Mountain pass solution for the weighted Dirichlet \((p(z),q(z))\)-problem. Bound Value Probl 2022, 38 (2022). https://doi.org/10.1186/s13661-022-01621-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-022-01621-1