Abstract
We study the existence and multiplicity of weak solutions for an elliptic problem involving \(p(x)\)-Laplacian operator under Steklov boundary condition. The approach is based on variational methods.
Similar content being viewed by others
1 Introduction
Steklov conditions are considered a more “realistic” description of the interactions at the boundary of a physical system. For example, the heat flow through the surface of a body generally depends on the value of the temperature at the surface itself (see [2, 4, 11, 14] and the references therein for some kinds of Steklov problems).
Recently, Afrouzi et al. [1] studied the existence of multiple solutions of the following Steklov problem involving \(p(x)\)-Laplacian operator:
where \(\Omega \subset \mathbb{R}^{N}, N\geq 2\) is a bounded smooth domain, λ is a positive parameter, \(f:\partial \Omega \times \mathbb{R}\rightarrow \mathbb{R}\) is a Carathéodory function with a growth condition, and \(a\in L^{\infty}(\Omega )\). Also, the existence of at least one positive radial solution belonging to the space \(W_{0}^{1,p(x)} (B) \cap L^{q(x)}_{a} (B) \cap L^{r(x)}_{b}(B)\) for the problem
has been proved [21], where B is the unit ball centered at the origin in \(\mathbb{R}^{N}, N \geq 3\), \(p,q,r\in C_{+}(B)\), R is a positive radial function that satisfies the suitable conditions and
in which \(\theta, \xi \in L^{\infty}(0,1)\) such that θ is a positive nonconstant radially nondecreasing function and ξ is a nonnegative radially nonincreasing function (see [17–20, 22–24] and the references therein).
Motivated by their works, here we are interested in finding enough conditions for the existence and multiplicity of weak solutions to the following Steklov \(p(x)\)-Laplacian problem:
where \(\Omega \subset \mathbb{R}^{N}\), \(N \geqslant 2\), is a bounded smooth domain, for \(p \in C(\overline{\Omega})\), \(\Delta _{p(x)}u:= \operatorname{div}(\vert \nabla u\vert ^{p(x)-2} \nabla u)\) denotes the \(p(x)\)-Laplace operator, \(c \in L^{\infty} (\Omega )\) with \(\operatorname*{ess\, inf}_{\Omega} c(x)>0\). \(f:\overline{\Omega} \times \mathbb{R} \longrightarrow \mathbb{R}\) is a Carathéodory function with the following conditions:
for \((x,s) \in \Omega \times \mathbb{R}\), where a is a positive constant and \(\gamma \in C(\Omega )\) such that
and
for \((x,s) \in \Omega \times \mathbb{R}\). And \(g:\overline{\Omega} \times \mathbb{R} \longrightarrow \mathbb{R}\) is a Carathéodory function with the following growth condition:
for all \((x,s) \in \partial \Omega \times \mathbb{R}\), where \(b_{1} \in L^{\frac{\beta (x)}{\beta (x)-1}}(\partial \Omega )\), \(b_{2}\geqslant 0\) is a constant, \(\beta:\overline{\Omega}\to \mathbb{R}\) such that \(\beta \in C(\partial \Omega )\) and
We recall that \(f:\Omega \times \mathbb{R} \longrightarrow \mathbb{R}\) is a Carathéodory function if \(x \mapsto f(x,\xi )\) is measurable for all \(\xi \in \mathbb{R}\) and \(\xi \mapsto f(x,\xi )\) is continuous for a.e. \(x \in \Omega \).
The definition of the weak solution of problem (1.1) is as follows.
Definition 1.1
We say that the function \(u \in W^{1,p(x)}(\Omega )\) is a weak solution of problem (1.1) if
is true for all \(v \in W^{1,p(x)}(\Omega )\).
Remark 1.1
An interested reader may study the problem in the Orlicz–Sobolev spaces or on the Heisenberg groups (see [12, 13, 25, 26] and the references therein for details of these spaces).
One of the main results of this paper is as follows.
Theorem 1.1
Let \(f, g:\overline{\Omega} \times \mathbb{R} \longrightarrow \mathbb{R}\) be Carathéodory functions satisfying \((F0), (F1)\) and \((G0)\), respectively. Assume that there exists \(d>0\) such that
with \(\xi:= (\frac{p^{+}}{k}(\frac{K}{p^{-}}+M)\,d^{\hat{p}} )^{ \frac{1}{\check{p}}}\). Then, for each
problem (1.1) admits at least one nontrivial weak solution.
Subsequently, by Theorem 4.1 and Theorem 4.2, we present the existence of two and three weak solutions of problem (1.1), respectively.
The rest of the paper is organized as follows: In Sect. 2, some preliminaries and basic facts are recalled and the function space is introduced. Also some critical point theorems are recalled, and we use them for the main results. In Sect. 3, the existence of at least one weak solution for problem (1.1) is proved. Finally, in Sect. 4 the existence of multiple weak solutions for problem (1.1) is proved.
2 Function spaces and critical point theorems
We suppose that \(p \in C(\overline{\Omega})\) satisfies the following condition:
The variable exponent Lebesgue space \(L^{p(x)}(\Omega )\) is defined as
with the Luxemburg norm
For any \(u\in L^{p(x)}(\Omega )\) and \(v \in L^{p' (x)}(\Omega )\), where \(L^{p' (x)}(\Omega )\) is the conjugate space of \(L^{p (x)}(\Omega )\), the Hölder type inequality
holds true. Also, for \(u\in L^{p(x)}(\partial \Omega )\), we put
Following the authors of paper [21], for any \(\kappa >0\), we put
and
for \(r\in C_{+}(\Omega )\). The following proposition is well known in Lebesgue spaces with variational exponent (for instance, see [15, Proposition 2.7]).
Proposition 2.1
For each \(u\in L^{p(x)}(\Omega )\), we have
We denote the variable exponent Sobolev space \(W^{1,p(x)}(\Omega )\) by
endowed with the norm
As pointed out in [10, 16], \(W^{1,p(x)}(\Omega )\) is continuously embedded in \(W^{1,p^{-}}(\Omega )\), and since \(p^{-}>N\), \(W^{1,p^{-}}(\Omega )\) is compactly embedded in \(C^{0}(\overline{\Omega})\). Thus, \(W^{1,p(x)}(\Omega )\) is compactly embedded in \(C^{0}(\overline{\Omega})\). So, in particular, there exists a positive constant \(m>0\) such that
for each \(u \in W^{1,p(x)}(\Omega )\). When Ω is convex, an explicit upper bound for the constant m (see [8]) is as follows:
where \(d:=\operatorname{diam}(\Omega )\), \(\vert \Omega \vert \) is the Lebesgue measure of Ω,
It is well known that, in view of (2.1), both \(L^{p(x)}(\Omega )\) and \(W^{1,p(x)}(\Omega )\) are separable reflexive and uniformly convex Banach spaces [10].
Remark 2.1
For \(u \in W^{1,p(x)}(\Omega )\), there exist \(k,K>0\) such that
Proof
Since \(\operatorname*{ess\, inf}_{\Omega}c>0\), so there exists \(0<\delta <1\) such that \(\delta < c(x)\). Using Proposition 2.1 and the hypothesis \(c \in L^{\infty}(\Omega )\), we gain
and
Bearing in mind the following elementary inequality: for all \(q>0\), there exists \(C_{q}>0\) such that
for all \(a,b\in \mathbb{R}\), we deduce
It is enough to put \(k=\frac{\delta}{C_{\check{p}}}, K=1+\|c\|_{\infty}\). □
Now, define \(F(x,t):=\int _{0}^{t} f(x,s)\,ds\). The growth condition \((F0)\) gives the following estimate:
where \(M=\frac{a}{\gamma ^{-}}m^{\hat{\gamma}}|\Omega |\).
The global Ambrosetti–Rabinowitz condition \((AR)\) for \(g:\overline{\Omega} \times \mathbb{R} \longrightarrow \mathbb{R}\) is as follows:
There are constants \(\mu >p^{+}, R>0\) such that
for all \(x \in \partial \Omega \) and \(\vert s \vert >R\), where \(G(x,t):=\int _{0}^{t} g(x,s)\,ds\).
Definition 2.1
Let Φ and Ψ be two continuously Gâteaux differentiable functionals defined on a real Banach space X and fix \(r \in \mathbb{R}\). The functional \(I:=\Phi - \Psi \) is said to verify the Palais–Smale condition cut of upper at r (in short \((P.S.)^{[r]})\) if any sequence \(\{u_{n}\}_{n \in \mathbb{N}} \in X\) such that
-
\({I(u_{n})}\) is bounded;
-
\(\lim_{n\rightarrow +\infty} \Vert I^{\prime}(u_{n})\Vert _{X^{\ast}}=0\);
-
\(\Phi (u_{n})< r\) for each \(n \in \mathbb{N}\);
has a convergent subsequence.
The following is one of the main tools of the next section.
Theorem 2.1
([6])
Let X be a real Banach space and \(\Phi, \Psi: X\longrightarrow \mathbb{R} \) be two continuously Gâteaux differentiable functionals such that \(\inf_{x \in X}\Phi =\Phi (0)=\Psi (0)=0\). Assume that there exist positive constants \(r \in \mathbb{R}\) and \(\overline{x} \in X\) with \(0<\Phi (\overline{x})<r\) such that
and for each \(\lambda \in \Lambda:=]\frac{\Phi (x)}{\Psi (x)}, \frac{r}{\sup_{x \in \Phi ^{-1}(]-\infty, r[)} \Psi (x)}[\), the functional \(I_{\lambda}= \Phi -\lambda \Psi \) satisfies the \((PS)^{[r]}\)-condition, then for each \(\lambda \in \Lambda \) there is \(x_{\lambda} \in \Phi ^{-1}(]0, r[)\) such that \(I_{\lambda}(x_{\lambda}) \leqslant I_{\lambda}(x)\) for all \(x \in \Phi ^{-1}(]0, r[)\) and \(I_{\lambda}^{\prime}(u_{\lambda})=0\).
Another tool is the following abstract result.
Theorem 2.2
([5])
Let X be a real Banach space, \(\Phi, \Psi:X \to \mathbb{R} \) be two continuously Gâteaux differentiable functionals such that Φ is bounded from below and \(\Phi (0)= \Psi (0)=0\). Fix \(r>0\) and assume that, for each
the functional \(I_{\lambda}:=\Phi -\lambda \Psi \) satisfies the Palais–Smale condition and it is unbounded from below. Then, for each
the functional \(I_{\lambda}\) admits two distinct critical points.
Finally, we recall the following tool, which is in a convenient form.
Theorem 2.3
([7])
Let X be a reflexive real Banach space, \(\Phi:X \to \mathbb{R} \) be a coercive, continuously Gâteaux differentiable, and sequentially weakly lower semi-continuous functional whose Gâteaux derivative admits a continuous inverse on \(X^{*}\), \(\Psi:X \to \mathbb{R} \) be a continuously Gâteaux differentiable whose Gâteaux derivative is compact such that
Assume that there exist \(r>0\) and \(\bar{x}\in X\), with \(r<\Phi (\bar{x})\), such that
-
(i)
\(\frac{\sup_{\Phi (x)< r}\Psi (x)}{r}< \frac{\Psi (\overline{x})}{\Phi (\overline{x})}\);
-
(ii)
for each \(\lambda \in \Lambda _{r}:=] \frac{\Phi (\overline{x})}{\Psi (\overline{x})}, \frac{r}{\sup_{\Phi (x)< r}\Psi (x)}[\), the functional \(I_{\lambda}:=\Phi -\lambda \Psi \) is coercive.
Then, for each \(\lambda \in \Lambda _{r}\), the functional \(\Phi -\lambda \Psi \) has at least three distinct critical points in X.
3 Existence of weak solutions
In this section we deal with the existence of one weak solution for problem (1.1). In fact, we prove the first result of the paper, Theorem 1.1, as follows.
Proof
We apply Theorem 2.1. To this end, for each \(u\in W^{1,p(x)}(\Omega )\), let the functionals
be defined by
and
Now, set
for \(u\in W^{1,p(x)}(\Omega )\). So, weak solutions of (1.1) are exactly the critical points of \(I_{\lambda}\). The functionals Φ and Ψ satisfy the regularity assumptions of Theorem 2.1. Moreover, Φ is sequentially weakly lower semicontinuous and its inverse derivative is continuous (since it is a continuous convex functional). From condition \((F1)\) it is clear that \(F(x,u)\leq 0\), and thanks to Remark 2.1 and inequality (2.2), one has
Also, by standard arguments, we have that Φ is Gâteaux differentiable, and its Gâteaux derivative at the point \(u\in W^{1,p(x)}(\Omega )\) is the functional \(\Phi ^{\prime}(u)\) given by
for every \(v\in W^{1,p(x)}(\Omega )\). On the other hand, the functional Ψ is well defined, continuously Gâteaux differentiable with compact derivative, whose Gâteaux derivative at the point \(u \in W^{1,p(x)}(\Omega )\) is
for each \(v\in W^{1,p(x)}(\Omega )\) [3]. The functional \(I_{\lambda}\) satisfies the \(PS^{[r]}\)-condition for all \(r\in \mathbb{R}\). We will verify the condition of Theorem 2.1. Let w be a function defined by \(w(x):=d\) for all \(x\in \Omega \) and r with
So,
If \(u \in \Phi ^{-1}(]-\infty, r[)\), we have \(\|u\|_{p(x)}\leq \xi = (\frac{p^{+}}{k}(\frac{K+1}{p^{-}}+M)\,d^{ \hat{p}} )^{\frac{1}{\check{p}}}\), then
and from boundedness Φ, one has
Therefore, the assumption condition of Theorem 2.1 is verified. So, for each
the functional \(I_{\lambda}\) has at least one nonzero critical point, which is the weak solution of problem (1.1). □
4 Multiplicity of weak solutions
In this section, we present enough conditions for having multiple solutions to problem (1.1).
Theorem 4.1
Let \(f, g:\overline{\Omega} \times \mathbb{R} \longrightarrow \mathbb{R}\) be Carathéodory functions such that f satisfies (F0), (F1) and g holds in the (AR) condition. Then, for each
where ξ is as in Theorem 1.1, problem (1.1) admits at least two distinct weak solutions.
Proof
We apply Theorem 2.2. According to the \((AR)\) condition, there exist \(\mu >p^{+}\) and \(R>0\) such that, for all \(x \in \partial \Omega \) and \(\vert s \vert >R\),
So, there exists \(\alpha >0\) such that
for all \(x \in \Omega \) and \(\vert s \vert >R\). Let the functionals \(\Phi, \Psi: W^{1,p(x)}(\Omega ) \longrightarrow \mathbb{R}\) be defined as in the proof of Theorem 1.1. We show that \(I_{\lambda}\) is unbounded from below. Applying Remark 2.1, one has
for \(t>1\). Since \(\mu >p^{+}\geq {\hat{\gamma}}\), for large t, this condition guarantees that \(I_{\lambda}\) is unbounded from below. By standard computation, the functional \(I_{\lambda}=\Phi -\lambda \Psi \) verifies the Palais–Smale compactness condition, and so all hypotheses of Theorem 2.2 are verified. Therefore, for each
\(I_{\lambda}\) admits at least two distinct critical points that are weak solutions of problem (1.1). □
The following gives suitable conditions for the existence of at least three weak solutions.
Theorem 4.2
Let \(f, g:\overline{\Omega} \times \mathbb{R} \longrightarrow \mathbb{R}\) be Carathéodory functions satisfying (F0), (F1) and (G0), respectively. Assume that there exists \(d>0\) such that assumption (1.2) in Theorem 1.1holds. Then, for each \(\lambda \in \Lambda \), where Λ is given by (1.3), problem (1.1) has at least three weak solutions.
Proof
Our goal is to apply Theorem 2.3. The functionals Φ and Ψ defined in the proof of Theorem 1.1 satisfy all regularity assumptions requested in Theorem 2.3. So, our aim is to verify (i) and (ii). Put \(r=\frac{k}{p^{+}}\,d^{\check{p}}\) and define \(w(x):=d\) for all \(x \in \overline{\Omega}\), and let us recall that \(F(x,u)\leq 0\), so
Therefore, assumption (i) of Theorem 2.3 is satisfied. We prove that the functional \(I_{\lambda}\) is coercive for all \(\lambda >0\). We know that [9, Theorem 2.1]
so, for each \(u \in W^{1,p(x)}(\Omega )\), there exists some constant \(\theta >0\) such that
Now, using Hölder’s inequality and condition \((G0)\), for all \(u \in W^{1,p(x)}(\Omega )\), one has
Using Remark 2.1 and condition \((F1)\), for every \(\lambda >0\), we deduce that
since \(\check{p}> \hat{\beta}>1\), the functional \(I_{\lambda}\) is coercive. Then also condition (ii) holds. So, for each \(\lambda >0\), the functional \(I_{\lambda}\) admits at least three distinct critical points that are weak solutions of problem (1.1). □
Availability of data and materials
Not applicable.
References
Afrouzi, G.A., Hadjian, A., Heidarkhani, S.: Steklov problems involving the \(p(x)\)-Laplacian. Electron. J. Differ. Equ. 2014, 134 (2014)
Allaoui, M.: Continuous spectrum of Steklov nonhomogeneous elliptic problem. Opusc. Math. 35(6), 853–866 (2015)
Allaoui, M., El Amrouss, A.R., Ourraoui, A.: Existence and multiplicity of solutions for a Steklov problem involving the \(p(x)\)-Laplace operator. Electron. J. Differ. Equ. 2012, 132 (2012)
Ben Ali, K., Ghanmi, A., Kefi, K.: On the Steklov problem involving the \(p(x)\)-Laplacian with indefinite weight. Opusc. Math. 37(6), 779–794 (2017)
Bonanno, G.: A critical point theorem via the Ekeland variational principle. Nonlinear Anal. 75, 2992–3007 (2012)
Bonanno, G., Candito, P., D’Aguì, G.: Variational methods on finite dimensional Banach spaces and discrete problems. Adv. Nonlinear Stud. 14(4), 915–939 (2014)
Bonanno, G., Marano, S.A.: On the structure of the critical set of non-differentiable functions with a weak compactness condition. Appl. Anal. 89, 1–18 (2010)
D’Aguì, G., Sciammetta, A.: Infinitely many solutions to elliptic problems with variable exponent and nonhomogeneous Neumann conditions. Nonlinear Anal. 75(14), 5612–5619 (2012)
Deng, S.G.: Eigenvalues of the \(p (x)\)-Laplacian Steklov problem. J. Math. Anal. 339(2), 925–937 (2008)
Fan, X.L., Zhao, D.: On the spaces \(L^{p(x)}(\Omega )\) and \(W^{1,p(x)}(\Omega )\). J. Math. Anal. Appl. 263(2), 424–446 (2001)
Ge, B., Zhou, Q.M.: Multiple solutions for a Robin-type differential inclusion problem involving the \(p(x)\)-Laplacian. Math. Methods Appl. Sci. 40, 6229–6238 (2017)
Heidari, S., Razani, A.: Infinitely many solutions for nonlocal elliptic systems in Orlicz–Sobolev spaces. Georgian Math. J. 29(1), 45–54 (2021). https://doi.org/10.1515/gmj-2021-2110
Heidari, S., Razani, A.: Multiple solutions for a class of nonlocal quasilinear elliptic systems in Orlicz–Sobolev spaces. Bound. Value Probl. 1, 1–15 (2021)
Hsini, M., Irzi, N., Kefi, K.: Nonhomogeneous \(p(x)\)-Laplacian Steklov problem with weights. Complex Var. Elliptic Equ. 65(3), 440–454 (2020)
Karagiorgos, Y., Yannakaris, N.: A Neumann problem involving the \(p(x)\)-Laplacian with \(p=\infty \) in a subdomain. Adv. Calc. Var. 9(1), 65–76 (2016)
Kováčik, O., Rákosník, J.: On spaces \(L^{p(x)}\) and \(W^{1,p(x)}\). Czechoslov. Math. J. 41(4), 592–618 (1991)
Mahdavi Khanghahi, R., Razani, A.: Solutions for a singular elliptic problem involving the \(p(x)\)-Laplacian. Filomat 32(14), 4841–4850 (2018)
Makvand Chaharlang, M., Razani, A.: A fourth order singular elliptic problem involving p-biharmonic operator. Taiwan. J. Math. 23(3), 589–599 (2019) https://projecteuclid.org/euclid.twjm/1537927424
Makvand Chaharlang, M., Razani, A.: Two weak solutions for some Kirchhoff-type problem with Neumann boundary condition. Georgian Math. J. (2020). https://doi.org/10.1515/gmj-2019-2077
Rădulescu, V.D., Repovs̆, D.: Partial Differential Equations with variable Exponents. Variational Methods and Qualitative Analysis. Monographs and Research Notes in Mathematics. CRC Press, Boca Raton (2015)
Ragusa, M.A., Razani, A., Safari, F.: Existence of radial solutions for a \(p(x)\)-Laplacian Dirichlet problem. Adv. Differ. Equ. 2021(1), 1 (2021)
Ragusa, M.A., Tachikawa, A.: Regularity for minimizers for functionals of double phase with variable exponents. Adv. Nonlinear Anal. 9(1), 710–728 (2020)
Safari, F., Razani, A.: Positive weak solutions of a generalized supercritical Neumann problem. Iran. J. Sci. Technol. Trans. A, Sci. 44(6), 1891–1898 (2020). https://doi.org/10.1007/s40995-020-00996-z
Safari, F., Razani, A.: Radial solutions for a general form of a p-Laplace equation involving nonlinearity terms. Complex Var. Elliptic Equ. (2021). https://doi.org/10.1080/17476933.2021.1991331
Safari, F., Razani, A.: Nonlinear nonhomogeneous Neumann problem on the Heisenberg group. Appl. Anal. 101(7), 2387–2400 (2022). https://doi.org/10.1080/00036811.2020.1807013
Safari, F., Razani, A.: Existence of radial solutions of the Kohn–Laplacian problem. Complex Var. Elliptic Equ. 67(2), 259–273 (2022). https://doi.org/10.1080/17476933.2020.1818733
Acknowledgements
Not available.
Funding
Not available.
Author information
Authors and Affiliations
Contributions
Khaleghi and Razani wrote the main manuscript text. All authors reviewed the manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Competing interests
The authors declare 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
Khaleghi, A., Razani, A. Existence and multiplicity of solutions for \(p(x)\)-Laplacian problem with Steklov boundary condition. Bound Value Probl 2022, 39 (2022). https://doi.org/10.1186/s13661-022-01624-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-022-01624-y