Skip to main content

A weak solution for a \((p(x),q(x))\)-Laplacian elliptic problem with a singular term

Abstract

Here, we consider the following elliptic problem with variable components:

$$ -a(x)\Delta _{p(x)}u - b(x) \Delta _{q(x)}u+ \frac{u \vert u \vert ^{s-2}}{|x|^{s}}= \lambda f(x,u), $$

with Dirichlet boundary condition in a bounded domain in \(\mathbb{R}^{N}\) with a smooth boundary. By applying the variational method, we prove the existence of at least one nontrivial weak solution to the problem.

Introduction

The quasilinear operator \((p,q)\)-Laplacian has been used to model steady-state solutions of reaction–diffusion problems arising in biophysics, plasma physics, and in the study of chemical reactions. These problems appear, for example, in a general reaction–diffusion system:

$$ u_{t}=-\operatorname{div}\bigl[D(u)\nabla u\bigr]+h(x,u), $$

where \(D(u) =|\nabla u|^{p-2}+|\nabla u|^{q-2}\) is the diffusion coefficient, function u describes the concentration, and the reaction term \(h(x, u)\) has a polynomial form with respect to the concentration u. The differential operator \(\Delta _{p} + \Delta _{q}\) is known as the \((p, q)\)-Laplacian operator, if \(p\neq q\), where \(\Delta _{j}\), \(j>1\) denotes the j-Laplacian defined by \(\Delta _{j} u:=\operatorname{div}(|\nabla u|^{j-2} \nabla u)\). It is not homogeneous, thus some technical difficulties arise in applying the usual methods of the theory of elliptic equations (for further details, see [1, 2, 5, 7, 8, 10, 1216, 1923] and references therein).

Our main interest in this work is to prove the existence of a weak solution of the weighted \((p(x), q(x))\)-Laplacian problem

$$ \textstyle\begin{cases} -a(x)\Delta _{p(x)}u - b(x) \Delta _{q(x)}u+ \frac{u \vert u \vert ^{s-2}}{|x|^{s}}= \lambda f(x,u)&\text{in } \Omega , \\ u = 0&\text{on } \partial \Omega , \end{cases} $$
(1.1)

where \(\Omega \subset \mathbb{R}^{N} \) is a bounded domain with a smooth boundary, \(a,b\in L^{\infty }(\Omega )\) are positive functions with \(a(x)\geq 1\) a.e. on Ω, \(\lambda >0 \) is a real parameter, \(\Delta _{r(x)}u=\operatorname{div}(|\nabla u|^{r(x)-2}\nabla u)\) denotes \(r(x)\)-Laplacian operator, for \(r\in \{p,q\}\), where \(p, q\in C_{+}(\bar{\Omega })\), \(1< s< q(x) < p(x) <\infty \) a.e. on Ω and \(f:\Omega \times \mathbb{R}\to \mathbb{R}\) is a Carathéodory function satisfying the following growth condition:

$$ (f_{1})\quad \bigl\vert f(x,t) \bigr\vert \le \alpha +\beta \vert t \vert ^{h(x)-1} $$

for all \((x,t)\in \Omega \times \mathbb{R}\) where \(a_{1}\), \(a_{2}\) are two nonnegative constants, \(h\in C_{+}(\bar{\Omega }) \) with \(h(x)< p^{*}(x)\) a.e. in Ω and

$$ p^{*}(x):= \textstyle\begin{cases} \frac{Np(x)}{N-p(x)}, &p(x)< N , \\ \infty ,&p(x)\geq N. \end{cases} $$

In [11] the existence and multiplicity of solutions for the following problem have been established

$$ \textstyle\begin{cases} -\Delta _{p(x)}u +\frac{u \vert u \vert ^{s-2}}{|x|^{s}}= \lambda f(x,u)&\text{in } \Omega , \\ u = 0&\text{on } \partial \Omega , \end{cases} $$

where \(1< s< p(x)<\infty \). In [4] the authors proved the existence of two weak solutions for the problem

$$ \textstyle\begin{cases} -\Delta _{p}u - \Delta _{q}u+\frac{ \vert u \vert ^{p-2}u}{|x|^{p}}+ \frac{ \vert u \vert ^{q-2}u}{|x|^{q}}= \lambda f(x,u)&\text{in } \Omega , \\ u = 0&\text{on } \partial \Omega , \end{cases} $$

where \(2\leq q< p< N\). Motivated by their works, we want to verify the existence of at least one solution for the weighted problem (1.1). To this end, we introduce our notations and also bring some definitions and results.

Throughout this note, \(\Omega \subset \mathbb{R}^{N} \) is a bounded domain with a smooth boundary. We set

$$ p^{-}=\inf_{x\in \Omega }p(x)\quad \text{and}\quad p^{+}=\sup_{x\in \Omega }p(x), $$

for \(p\in C_{+}(\bar{\Omega })=\{g\in C(\overline{\Omega }):g^{-}>1\}\). For \(p\in C_{+}(\bar{\Omega })\), the Lebesgue space \(L^{p(\cdot )}(\Omega )\) is defined as follows:

$$ L^{p(\cdot )}(\Omega ):= \biggl\{ {u:\Omega \to \mathbb{R}: u \text{ is measurable and } \int _{\Omega }{ \bigl\vert u(x) \bigr\vert }^{p (x)}\,dx< \infty } \biggr\} , $$

endowed with the following norm:

$$ \Vert u \Vert _{p}:= \inf \biggl\{ \lambda >0: \int _{\Omega }{{ \biggl\vert \frac{u(x)}{\lambda } \biggr\vert }^{p (x)}}\,dx\le 1 \biggr\} . $$

For any \(u\in L^{p(\cdot )}(B)\) and \(v \in L^{p' (\cdot )}(B)\), where \(L^{p' (\cdot )}(B)\) is the conjugate space of \(L^{p (\cdot )}(B)\), the Hölder type inequality

$$ \biggl\vert \int _{B} uv \,dx \biggr\vert \leq \biggl( \frac{1}{p^{-}}+ \frac{1}{p^{\prime \,-}} \biggr) \Vert u \Vert _{p} \Vert v \Vert _{p'} $$

holds true.

The Sobolev space \(W^{1,p(\cdot )}(\Omega ) \) is defined by

$$ W^{1,p(\cdot )}(\Omega ):= \bigl\{ u\in L^{p(\cdot )} (\Omega ): \vert \nabla u \vert \in L^{p(\cdot )} (\Omega ) \bigr\} , $$

and the norm in \(W^{1,p(\cdot )}(\Omega ) \) is taken to be

$$ \Vert u \Vert _{W^{1,p(\cdot )}}:= \Vert u \Vert _{p}+\bigl\Vert |\nabla u| \bigr\Vert _{p}, $$

where \(\nabla u=(\frac{\partial u}{\partial x_{1}}(x), \dots , \frac{\partial u}{\partial x_{N}}(x))\) is the gradient of u at \(x=(x_{1}, \dots ,x_{N})\) and, as usual, \(|\nabla u|= ( \sum_{i=1}^{N} |\frac{\partial u}{\partial x_{i}}|^{2} )^{\frac{1}{2}}\). Also, we set

$$ W^{1,p(\cdot )}_{0}(\Omega ):= \bigl\{ u\in W^{1,p(\cdot )}\ (\Omega ): \, u\vert _{\partial \Omega }=0 \bigr\} , $$

with the norm \(\Vert |\nabla u|\Vert _{p}\).

Proposition 1.1

([9])

Let \(p, q\in C_{+}(\bar{\Omega })\).

  1. (i)

    If \(q(x)\leq p(x)\) a.e. on Ω, then \(L^{p(x)}(\Omega )\hookrightarrow L^{q(x)}(\Omega )\),

  2. (ii)

    If \(q(x)< p^{*}(x)\) for any \(x\in \bar{\Omega }\), then the embedding

    $$ W^{1,p(x)}(\Omega )\hookrightarrow L^{q(x)}(\Omega ) $$

    is compact;

  3. (iii)

    If \(q(x)< p^{*}(x)\) for any \(x\in \bar{\Omega }\), then there is a constant \(k_{q}>0 \) such that

    $$ \Vert u \Vert _{q} \le k_{q}\bigl\Vert |\nabla u|\bigr\Vert _{p}, $$

for all \(u\in W_{0}^{1,p(x)}(\Omega )\), where

$$ p^{*}(x)= \textstyle\begin{cases} \frac{Np(x)}{N-p(x)}, & p(x) < N, \\ +\infty , & p(x)\geq N. \end{cases} $$

Remark 1.1

Notice that if \(q(x)\leq p(x)\) a.e. on Ω, then, by Proposition 1.1, one has

$$ W^{1,p(x)}_{0}{(\Omega )}\hookrightarrow W^{1,q(x)}_{0}{(\Omega )}. $$

Here, we recall the classical Hardy inequality (see [3, 17]).

Lemma 1.1

Let \(1< s< N\). Then

$$ \int _{\Omega }\frac{{|u(x)|^{s}}}{{|x|^{s}}}\,dx \le \frac{1}{H} \int _{\Omega }\bigl| \nabla u(x)\bigr|^{s}\,dx, $$
(1.2)

for \(\ u \in W^{1,s}_{0}(\Omega )\), where \(H:= (\frac{N-s}{s})^{s}\).

Remark 1.2

Let \(p\in C_{+}(\Omega )\) and \(s< p(x)\) a.e. on Ω. From Remark 1.1 and Lemma 1.1, we gain

$$ \int _{\Omega }\frac{{|u(x)|^{s}}}{{|x|^{s}}}\,dx \le \frac{1}{H} \int _{\Omega }\bigl| \nabla u(x)\bigr|^{s}\,dx, $$

for \(\ u \in W^{1,p(.)}_{0}(\Omega )\), where H is as in Lemma 1.1.

Definition 1.1

The function \(f:\Omega \times \mathbb{R}\rightarrow \mathbb{R}\) is a Carathéodory function, if

  • \(x\rightarrow f(x,t)\) is measurable for every \(t\in \mathbb{R}\).

  • \(t\rightarrow f(x,t)\) is continuous for almost every where \(x\in \Omega \).

Definition 1.2

([6])

Let \(\Phi ,\Psi :X\to \mathbb{R} \) be two continuously Gâteaux differentiable functions. Set

$$ I=\Phi -\Psi $$

and fix some \(r\in [-\infty ,+\infty ]\). We say that I satisfies the Palais–Smale condition upper cut off at r (in short, the \((PS)^{[r]}\) condition), if any sequence \({u_{n}} \) in X such that \({I (u_{n})}\) is bounded, \(I^{\prime }(u_{n}) \to 0 \), and \(\Phi (u_{n})< r\) for all \(n\in \mathbb{N}\) admits a convergent subsequence.

Finally, we recall the following theorem [6, Theorem 2.4] which is the main tool in this paper.

Theorem 1.1

Let X be a real Banach space, \(\Phi , \Psi :X \to \mathbb{R} \) be two continuously Gâteaux differentiable functional such that

$$ \inf_{x\in \Omega }\Phi (x)=\Phi (0)= \Psi (0)=0. $$

Assume that there exists \(r > 0\) and \(\overline{x}\in X\), with \(0<\Phi (\overline{x})<r\), such that

  1. (i)

    \(\frac{\sup_{\Phi (x)< r}\Psi (x)}{r}< \frac{\Psi (\overline{x})}{\Phi (\overline{x})}\),

  2. (ii)

    for each \(\lambda \in \Lambda :=] \frac{\Phi (\overline{x})}{\Psi (\overline{x})}, \frac{r}{\sup_{\Phi (x)< r}\Psi (x)}[\), the functional \(I_{\lambda }:=\Phi -\lambda \Psi \) satisfies the \((PS)^{[r]}\) condition.

Then, for each \(\lambda \in \Lambda \), there is \(x_{0} \in \Phi ^{-1}(]0,r[) \) such that \(I'_{\lambda }(x_{0})=0\) and \(I_{\lambda }(x_{0})\leq I_{\lambda }(x)\), for all \(x\in \Phi ^{-1}(]0,r[)\).

In the sequel we set \(X:=W^{1,p(x)}_{0}{(\Omega )} \) endowed with the norm

$$ \Vert u \Vert =\bigl\Vert |\nabla u|\bigr\Vert _{p}. $$

Existence of a solution

In this section we prove the existence of at least one nontrivial weak solution of the problem (1.1).

Let \(\Phi :X \to \mathbb{R} \) be a functional defined by

$$ \Phi (u) = \int _{\Omega }\frac{a(x)}{p(x)} \vert \nabla u \vert ^{p(x)} \,dx+ \int _{ \Omega }\frac{b(x)}{q(x)} \vert \nabla u \vert ^{q(x)} \,dx+ \int _{\Omega } \frac{ \vert u(x) \vert ^{s}}{s \vert x \vert ^{s}}\,dx, $$

where \(1< s< q^{-}< q(x) < p(x)< p^{+}<\infty \).

Remark 2.1

Under the above assumptions, we get

$$ \frac{1}{p^{+}} \bigl[ \Vert u \Vert \bigr]_{p}\leq \Phi (u)\leq \frac{1}{s} \biggl( \Vert a \Vert _{\infty }+ \Vert b \Vert _{\infty }+\frac{1}{H} \biggr) \bigl( \Vert u \Vert ^{p^{+}}+ \Vert u \Vert ^{s}\bigr). $$

Proof

First, let \(\|u\|>1\). So, we have

$$\begin{aligned} \frac{1}{p^{+}} \Vert u \Vert ^{p^{-}}&\leq \frac{1}{p^{+}} \int _{\Omega } \vert \nabla u \vert ^{p(x)} \,dx\leq \int _{\Omega }\frac{a(x)}{p(x)} \vert \nabla u \vert ^{p(x)} \,dx \\ &\leq \Phi (u) \\ &\leq \frac{ \Vert a \Vert _{\infty }}{p^{-}} \int _{\Omega } \vert \nabla u \vert ^{p(x)} \,dx+ \frac{ \Vert b \Vert _{\infty }}{q^{-}} \int _{\Omega } \vert \nabla u \vert ^{q(x)} \,dx+ \frac{1}{Hs} \int _{\Omega } \vert \nabla u \vert ^{s}\,dx \\ &\leq \frac{1}{s} \biggl( \Vert a \Vert _{\infty }+ \Vert b \Vert _{\infty }+\frac{1}{H} \biggr) \Vert u \Vert ^{p^{+}}. \end{aligned}$$

Now, let \(\|u\|\leq 1\). Then we have

$$\begin{aligned} \frac{1}{p^{+}} \Vert u \Vert ^{p^{+}}&\leq \frac{1}{p^{+}} \int _{\Omega } \vert \nabla u \vert ^{p(x)} \,dx\leq \int _{\Omega }\frac{a(x)}{p(x)} \vert \nabla u \vert ^{p(x)} \,dx \\ &\leq \Phi (u) \\ &\leq \frac{ \Vert a \Vert _{\infty }}{p^{-}} \int _{\Omega } \vert \nabla u \vert ^{p(x)} \,dx+ \frac{ \Vert b \Vert _{\infty }}{q^{-}} \int _{\Omega } \vert \nabla u \vert ^{q(x)} \,dx+ \frac{1}{Hs} \int _{\Omega } \vert \nabla u \vert ^{s}\,dx \\ &\leq \frac{1}{s} \biggl( \Vert a \Vert _{\infty }+ \Vert b \Vert _{\infty }+\frac{1}{H} \biggr) \Vert u \Vert ^{s}. \end{aligned}$$

Thus the proof is completed. □

It is known that Φ is a continuously Gâteaux differentiable functional; moreover,

$$ \Phi '(u) (v)= \int _{\Omega }\biggl(a(x) \vert \nabla u \vert ^{p(x)-2}\nabla u\nabla v+ b(x) \vert \nabla u \vert ^{q(x)-2}\nabla u\nabla v+\frac{ \vert u(x) \vert ^{s-2}uv}{ \vert x \vert ^{s}}\biggr)\,dx, $$

for \(u,v\in X\), see [18]. Let \(f:\Omega \times \mathbb{R}\to \mathbb{R}\) be a Carathéodory function and define

$$\begin{aligned} F(x,t):= \int _{0}^{t} f(x,s)\,ds. \end{aligned}$$
(2.1)

Then the functional \(\Psi :X\to \mathbb{R} \) with

$$ \Psi (u):= \int _{\Omega }F\bigl(x,u(x)\bigr)\,dx, $$

for every \(u\in X\) is continuously Gâteaux differentiable, with the following compact derivative:

$$ \Psi '(u) (v):= \int _{\Omega }f\bigl(x,u(x)\bigr)v(x)\,dx, $$

for every u, v in X, see [18]. Moreover, define

$$ I:=\Phi -\lambda \Psi . $$

If \(I'(u)=0\), we have

$$ \begin{aligned} &\int _{\Omega }\biggl(a(x) \vert \nabla u \vert ^{p(x)-2} \vert \nabla u \vert \vert \nabla v \vert +b(x) \vert \nabla u \vert ^{q(x)-2} \vert \nabla u \vert \vert \nabla v \vert + \frac{ \vert u \vert ^{s-2}uv}{ \vert x \vert ^{s}}\biggr)\,dx \\ &\quad = \lambda \int _{\Omega }f(x,u) v \,dx, \end{aligned} $$

for every \(u,v \in X\), and then the critical points of I are the weak solutions of problem (1.1). Set

$$\begin{aligned} \delta (x)= \sup \bigl\{ {\delta >0 : B(x,\delta )\subseteq \Omega } \bigr\} \quad \text{and}\quad D:=\sup_{x\in \Omega }\delta (x). \end{aligned}$$

Obviously, there exists \(x_{0}\in \Omega \) such that

$$ B(x_{0},D)\subseteq \Omega . $$

For \(\gamma >0\) and \(h\in C_{+}(\overline{\Omega })\) with \(1< h^{-}\), we define

$$\begin{aligned}{} [\gamma ]^{h}:=\max \bigl\{ \gamma ^{h^{-}},\gamma ^{h^{+}} \bigr\} , \qquad [\gamma ]_{h}:=\min \bigl\{ \gamma ^{h^{-}},\gamma ^{h^{+}} \bigr\} , \end{aligned}$$
(2.2)

and similarly,

$$ [\gamma ]^{\frac{1}{h}}:=\max \bigl\{ \gamma ^{\frac{1}{h^{-}}}, \gamma ^{\frac{1}{h^{+}}} \bigr\} , \qquad [\gamma ]_{\frac{1}{h}}:= \min \bigl\{ \gamma ^{\frac{1}{h^{-}}},\gamma ^{\frac{1}{h^{+}}} \bigr\} . $$

Further,

$$ m:=\frac{\pi ^{\frac{N}{2}}}{\frac{N}{2} \Gamma (\frac{N}{2}) }, $$

where Γ is the Euler function.

The following is the main result of this paper.

Theorem 2.1

Assume that f is a Carathéodory function satisfying the growth condition \((f_{1})\) and F defined by (2.1) is such that

$$ \limsup_{\ t\rightarrow 0^{+}} \frac{\inf_{x\in \Omega } F(x,t)}{t^{s}} =+ \infty . $$
(2.3)

Then, for every \(\lambda \in ]0,\lambda ^{*}[\) with

$$ \lambda ^{*}:= \frac{1}{\alpha k_{1}(p^{+})^{\frac{1}{p^{-}}}+\frac{\beta }{h^{-}} [k_{h}]^{h}( p^{+})^{\frac{h+}{p^{-}}}}, $$

the problem (1.1) has at least one nontrivial weak solution.

Proof

We use Theorem 1.1 in the case \(r=1\).

Let X, Φ and Ψ be as above and fix \(\lambda \in ]0,\lambda ^{*}[\). By (2.3), there exists

$$ 0< \delta _{\lambda }< \min \biggl\{ 1, {\biggl(} \frac{s}{ ( \Vert a \Vert _{\infty }+ \Vert b \Vert _{\infty }+\frac{1}{H} )((\frac{2}{D})^{p^{+}}+(\frac{2}{D})^{s}) m(D^{N}-(\frac{D}{2})^{N})} { \biggr)}^{\frac{1}{s}} \biggr\} $$

such that

$$ \frac{s\inf_{x\in \Omega }F(x, \delta _{\lambda })}{((\frac{2}{D})^{p^{+}}+(\frac{2}{D})^{s}) \delta _{\lambda }^{s} (2^{N}-1)}> \frac{ \Vert a \Vert _{\infty }+ \Vert b \Vert _{\infty }+\frac{1}{H}}{\lambda }. $$
(2.4)

We define \(\overline{u}\in X \) such that

$$ \overline{u}(x)= \textstyle\begin{cases} {0,}&{x\in \Omega \backslash B(x_{0},D),} \\ {\delta _{\lambda }},&{x\in B(x_{0},\frac{D}{2}),} \\ {\frac{2\delta _{\lambda }}{D}(D- \vert x-x_{0} \vert ),}&{x\in B(x_{0},D) \backslash B(x_{0},\frac{D}{2}),} \end{cases} $$

where \(|\cdot |\) is Euclidean norm on \(\mathbb{R}^{N}\). By Remark 2.1, we have

$$\begin{aligned} \Phi (\bar{u})&= \int _{\Omega } \biggl(\frac{a(x)}{p(x)} \vert \nabla \bar{u} \vert ^{p(x)} +\frac{b(x)}{q(x)} \vert \nabla \bar{u} \vert ^{q(x)} + \frac{ \vert \bar{u} \vert ^{s}}{s \vert x \vert ^{s}} \biggr)\,dx \\ &< \frac{1}{s} \biggl( \Vert a \Vert _{\infty }+ \Vert b \Vert _{\infty }+\frac{1}{H} \biggr) \bigl( \Vert \bar{u} \Vert ^{p^{+}} + \Vert \bar{u} \Vert ^{s}\bigr) \\ &\leq \frac{1}{s} \biggl( \Vert a \Vert _{\infty }+ \Vert b \Vert _{\infty }+\frac{1}{H} \biggr) \biggl(\biggl( \frac{2\delta _{\lambda }}{D}\biggr)^{p^{+}}+\biggl(\frac{2\delta _{\lambda }}{D} \biggr)^{s}\biggr) m\biggl(D^{N}-\biggl( \frac{D}{2}\biggr)^{N}\biggr) \\ &\leq \frac{1}{s} \biggl( \Vert a \Vert _{\infty }+ \Vert b \Vert _{\infty }+\frac{1}{H} \biggr) \biggl(\biggl( \frac{2}{D}\biggr)^{p^{+}}+\biggl(\frac{2}{D} \biggr)^{s}\biggr) \delta _{\lambda }^{s} m \biggl(D^{N}-\biggl( \frac{D}{2}\biggr)^{N} \biggr). \end{aligned}$$

Clearly, \(0<\Phi (\overline{u})<1\). Moreover, thanks to (2.4), one has

$$ \Psi (\bar{u})\geq \int _{B(x_{0}, \frac{D}{2})}F\bigl(x, \bar{u}(x)\bigr)\,dx \geq \inf _{x\in \Omega }F(x, \delta _{\lambda })m\biggl( \frac{D}{2}\biggr)^{N}, $$
(2.5)

and so

$$ \frac{\Psi (\bar{u})}{\Phi (\bar{u})}\geq \frac{s\inf_{x\in \Omega }F(x, \delta _{\lambda })}{ ( \Vert a \Vert _{\infty }+ \Vert b \Vert _{\infty }+\frac{1}{H} )((\frac{2}{D})^{p^{+}}+(\frac{2}{D})^{s}) \delta _{\lambda }^{s} (2^{N}-1)}> \frac{1}{\lambda }. $$

Using Remark 2.1 for each \(u \in \Phi ^{-1} ( (-\infty ,1 [ )\), we have

$$ \Vert u \Vert \leq \bigl[p^{+}\Phi (u) \bigr] ^{\frac{1}{p}} \leq \bigl(p^{+}\bigr)^{\frac{1}{ p^{-}}} . $$
(2.6)

Hence, by the growth condition \((f_{1})\) and Proposition 1.1, we have

$$ \begin{aligned}[b] \Psi (u)&= \int _{\Omega }F\bigl(x,u(x)\bigr)\,dx \\ &\leq \alpha \int _{\Omega } \bigl\vert u(x) \bigr\vert \,dx+ \frac{\beta }{h^{-}} \int _{\Omega } \bigl\vert u(x) \bigr\vert ^{h(x)}\,dx \\ &\leq \alpha k_{1} \Vert u \Vert +\frac{\beta }{h^{-}}[k_{h} ]^{h}\bigl[ \Vert u \Vert \bigr]^{h}. \end{aligned} $$
(2.7)

Then, from (2.6) and (2.7), we deduce

$$ \sup_{\Phi (u)< 1}\Psi (u)\leq \alpha k_{1} \bigl(p^{+}\bigr)^{\frac{1}{p^{-}}}+ \frac{\beta }{h^{-}}[k_{h}]^{h} \bigl(p^{+}\bigr)^{\frac{h^{+}}{ p^{-}}}= \frac{1}{\lambda ^{*}}< \frac{1}{\lambda }. $$

Thus

$$ \sup_{\Phi (u)< 1}\Psi (u)< \frac{1}{\lambda }< \frac{\Psi (\overline{u})}{\Phi (\overline{u})}, $$

and so Theorem 1.1 guarantees the existence of a local minimum point for I, completing the proof of Theorem 2.1. □

Availability of data and materials

Not applicable.

References

  1. 1.

    Arora, R., Giacomoni, J., Warnault, G.: A Picone identity for variable exponent operators and applications. Adv. Nonlinear Anal. 9(1), 327–360 (2020)

    MathSciNet  Article  Google Scholar 

  2. 2.

    Asadi, M., Karapinar, E.: Coincidence point theorem on Hilbert spaces via weak Ekland variational principle and application to boundary value problem. Thai J. Math. 19(1), 1–7 (2021)

    Google Scholar 

  3. 3.

    Azorero, J.G., Peral Alonso, I.: Hardy inequalities and some critical elliptic and parabolic problems. J. Differ. Equ. 144, 441–476 (1998)

    MathSciNet  Article  Google Scholar 

  4. 4.

    Behboudi, F., Razani, A.: Two weak solutions for a singular \((p, q)\)-Laplacian problem. Filomat 33(11), 3399–3407 (2019)

    MathSciNet  Article  Google Scholar 

  5. 5.

    Behboudi, F., Razani, A., Oveisiha, M.: Existence of a mountain pass solution for a nonlocal fractional \((p, q)\)-Laplacian problem. Bound. Value Probl. 2020, Article ID 149 (2020)

    MathSciNet  Article  Google Scholar 

  6. 6.

    Bonanno, G.: Relatin between the mountain pass theorem and local minima. Adv. Nonlinear Anal. 1, 205–220 (2012)

    MathSciNet  MATH  Google Scholar 

  7. 7.

    Cencelj, M., Rădulescu, V.D., Repovš, D.: Double phase problems with variable growth. Nonlinear Anal. 177, 270–287 (2018)

    MathSciNet  Article  Google Scholar 

  8. 8.

    Chen, S., Tang, X.: Berestycki–Lions conditions on ground state solutions for a nonlinear Schrödinger equation with variable potentials. Adv. Nonlinear Anal. 9(1), 496–515 (2020)

    MathSciNet  Article  Google Scholar 

  9. 9.

    Fan, X.-L., Zhao, D.: On the generalized Orlicz–Sobolev space \(W^{k,p(x)}(\Omega )\). J. Gansu Educ. College 12(1), 1–6 (1998)

    Google Scholar 

  10. 10.

    Heidari, S., Razani, A.: Multiple solutions for a class of nonlocal quasilinear elliptic systems in Orlicz–Sobolev spaces. Bound. Value Probl. 2021, Article ID 22 (2021)

    MathSciNet  Article  Google Scholar 

  11. 11.

    Mahdavi, R., Razani, A.: Existence of at least three weak solutions for a singular fourth-order elliptic problems. J. Math. Anal. 8, 45–51 (2017)

    MathSciNet  Google Scholar 

  12. 12.

    Mahdavi, R., Razani, A.: Solutions for a singular elliptic problem involving the \(p(x)\)-Laplacian. Filomat 32(14), 4841–4850 (2018)

    MathSciNet  Article  Google Scholar 

  13. 13.

    Makvand Chaharlang, M., Razani, A.: Infinitely many solutions for a fourth order singular elliptic problem. Filomat 32(14), 5003–5010 (2018)

    MathSciNet  Article  Google Scholar 

  14. 14.

    Makvand Chaharlang, M., Razani, A.: A fourth order singular elliptic problem involving p-biharmonic operator. Taiwan. J. Math. 23(3), 589–599 (2019)

    MathSciNet  Article  Google Scholar 

  15. 15.

    Makvand Chaharlang, M., Razani, A.: Existence of infinitely many solutions for a class of nonlocal problems with Dirichlet boundary condition. Commun. Korean Math. Soc. 34(1), 155–167 (2019)

    MathSciNet  MATH  Google Scholar 

  16. 16.

    Mingione, G., Rădulescu, V.: Recent developments in problems with nonstandard growth and nonuniform ellipticity. J. Math. Anal. Appl. 501(1), Article ID 125197 (2021)

    MathSciNet  Article  Google Scholar 

  17. 17.

    Mitidier, E.: A simple approach to Hardy inequalities. Math. Notes 67, 479–486 (2000)

    MathSciNet  Article  Google Scholar 

  18. 18.

    Montefusco, E.: Lower semicontinuity of functional via concentration-compactness principle. J. Math. Anal. Appl. 263, 264–276 (2001)

    MathSciNet  Article  Google Scholar 

  19. 19.

    Ragusa, M.A.: Elliptic boundary value problem in vanishing mean oscillation hypothesis. Comment. Math. Univ. Carol. 40(4), 651–663 (1999)

    MathSciNet  MATH  Google Scholar 

  20. 20.

    Ragusa, M.A.: Hölder regularity results for solutions of parabolic equations. In: Variational Analysis and Applications, Nonconvex Optimization and Its Applications, vol. 79, pp. 921–934. Springer, Boston (2005)

    Chapter  Google Scholar 

  21. 21.

    Ragusa, M.A., Tachikawa, A.: Boundary regularity of minimizers of \(p(x)\)-energy functionals. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 33(2), 451–476 (2016)

    MathSciNet  Article  Google Scholar 

  22. 22.

    Safari, F., Razani, A.: Existence of radially positive solutions for Neumann problem on the Heisenberg group. Bound. Value Probl. 2020, Article ID 88 (2020)

    Article  Google Scholar 

  23. 23.

    Shi, X., Rădulescu, V.D., Repovš, D., Zhang, Q.: Multiple solutions of double phase variational problems with variable exponent. Adv. Calc. Var. 13(4), 385–401 (2020)

    MathSciNet  Article  Google Scholar 

Download references

Acknowledgements

Not applicable.

Funding

Not available.

Author information

Affiliations

Authors

Contributions

The authors contributed equally to this paper. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Abdolrahman Razani.

Ethics declarations

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/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Mahshid, M., Razani, A. A weak solution for a \((p(x),q(x))\)-Laplacian elliptic problem with a singular term. Bound Value Probl 2021, 80 (2021). https://doi.org/10.1186/s13661-021-01557-y

Download citation

MSC

  • 35J75
  • 35J25

Keywords

  • \((p(x),q(x))\)-Laplacian problem
  • Singular term
  • Variational method