# Existence results for a variable exponent elliptic problem *via* topological method

- Shifeng Yang
^{1}and - Guowei Dai
^{1}Email author

**2012**:99

https://doi.org/10.1186/1687-2770-2012-99

© Yang and Dai; licensee Springer 2012

**Received: **8 June 2012

**Accepted: **22 August 2012

**Published: **7 September 2012

## Abstract

In this paper, existence, localization and uniqueness results of solutions to elliptic Dirichlet boundary value problems are established. The approach is based on the nonlinear alternative of Leray-Schauder, the Brouwer fixed point theorem and the Galerkin method.

**MSC:** 35J60, 47H10.

### Keywords

$p(x)$-Laplacian Leray-Schauder principle fixed point Galerkin method## 1 Introduction

where $\mathrm{\Omega}\subset {\mathbb{R}}^{N}$ is a nonempty bounded open set with smooth boundary *∂* Ω, $p=p(x)\in {C}_{+}(\overline{\mathrm{\Omega}})$ with $1<{p}^{-}:={min}_{\overline{\mathrm{\Omega}}}p(x)\le {p}^{+}:={max}_{\overline{\mathrm{\Omega}}}p(x)<+\mathrm{\infty}$ and $f:\mathrm{\Omega}\times \mathbb{R}\to \mathbb{R}$ is a continuous function.

The operator $-\mathrm{div}(|\mathrm{\nabla}u{|}^{p(x)-2}\mathrm{\nabla}u)$ is said to be the $p(x)$-Laplacian and becomes *p*-Laplacian when $p(x)\equiv p$ (a constant). The $p(x)$-Laplacian possesses more complicated nonlinearities than the *p*-Laplacian; for example, it is inhomogeneous. The study of various mathematical problems with a variable exponent growth condition has received considerable attention in recent years. These problems are interesting in applications and raise many difficult mathematical problems. One of the most studied models leading to a problem of this type is the model of motion of electro-rheological fluids, which are characterized by their ability to drastically change the mechanical properties under the influence of an exterior electro-magnetic field [1, 2]. Problems with variable exponent growth conditions also appear in the mathematical modeling of stationary thermo-rheological viscous flows of non-Newtonian fluids and in the mathematical description of the processes filtration of an ideal baro-tropic gas through a porous medium [3, 4]. Another field of application of equations with variable exponent growth conditions is image processing [5]. The variable nonlinearity is used to outline the borders of the true image and to eliminate possible noise. We refer the reader to [6–11] for an overview of and references on this subject, and to [12–21] for the study of the $p(x)$-Laplacian equations and the corresponding variational problems.

In recent years, many authors have studied the existence of solutions for problem (1.1) from several points of view and with different approaches (see, for example, [18–20]). A useful method for the investigation of solutions to semilinear problems is based on the Leray-Schauder continuation principle, or equivalently, on Schaefers fixed point theorem. For example, in [22] this method was used for solutions in Hölder spaces, while in [23], solutions were found in Sobolev spaces.

The aim of this paper is to present new existence, localization and uniqueness results for solutions to problem (1.1) under suitable conditions on the nonlinearity *f*. Our approach is based on regularity results for the solutions of linear Dirichlet problems, the nonlinear alternative of Leray-Schauder (see [24]), the Brouwer fixed point theorem (see [25]) and the Galerkin method. We notice that our partial results of the present paper are motivated by the papers [26] and [27] where the authors have obtained some results for semilinear and quasilinear elliptic boundary value problems, respectively. By the Galerkin method, we also establish the results of existence and uniqueness of a solution for problem (1.1). We also would like to point out that the proof of Theorem 3 of [27] is wrong since ${(-{\mathrm{\Delta}}_{p})}^{-1}$ is not a linear operator. In this paper, we give a key lemma that can be used to overcome this difficulty.

The rest of this paper is organized as follows. In Section 2, we present some necessary preliminary knowledge on variable exponent Sobolev spaces. In Section 3, we shall use a nonlinear alternative of Leray-Schauder to prove the existence of solutions for problem (1.1). In Section 4, by the Galerkin method, we shall establish the results of existence and uniqueness of a solution for problem (1.1).

## 2 Preliminaries

In order to discuss problem (1.1), we need some theories on ${W}_{0}^{1,p(x)}(\mathrm{\Omega})$ which we call a variable exponent Sobolev space. Firstly, we state some basic properties of spaces ${W}_{0}^{1,p(x)}(\mathrm{\Omega})$ which will be used later (for details, see [7]). Denote by $\mathbf{S}(\mathrm{\Omega})$ the set of all measurable real functions defined on Ω.

Denote by ${W}_{0}^{1,p(x)}(\mathrm{\Omega})$ the closure of ${C}_{0}^{\mathrm{\infty}}(\mathrm{\Omega})$ in ${W}^{1,p(x)}(\mathrm{\Omega})$. The spaces ${L}^{p(x)}(\mathrm{\Omega})$, ${W}^{1,p(x)}(\mathrm{\Omega})$ and ${W}_{0}^{1,p(x)}(\mathrm{\Omega})$ are separable and reflexive Banach spaces.

**Proposition 2.1** (See [7])

*Set* $\rho (u)={\int}_{\mathrm{\Omega}}|u(x){|}^{p(x)}\phantom{\rule{0.2em}{0ex}}dx$. *For any* $u\in {L}^{p(x)}(\mathrm{\Omega})$, *then*

(1) *for* $u\ne 0$, $|u{|}_{p(x)}=\lambda \iff \rho (\frac{u}{\lambda})=1$;

(2) $|u{|}_{p(x)}<1\phantom{\rule{0.25em}{0ex}}(=1;>1)\iff \rho (u)<1\phantom{\rule{0.25em}{0ex}}(=1;>1)$;

(3) *if* $|u{|}_{p(x)}>1$, *then* $|u{|}_{p(x)}^{{p}^{-}}\le \rho (u)\le |u{|}_{p(x)}^{{p}^{+}}$;

(4) *if* $|u{|}_{p(x)}<1$, *then* $|u{|}_{p(x)}^{{p}^{+}}\le \rho (u)\le |u{|}_{p(x)}^{{p}^{-}}$;

(5) ${lim}_{k\to +\mathrm{\infty}}|{u}_{k}{|}_{p(x)}=0\iff {lim}_{k\to +\mathrm{\infty}}\rho ({u}_{k})=0$;

(6) ${lim}_{k\to +\mathrm{\infty}}|{u}_{k}{|}_{p(x)}=+\mathrm{\infty}\iff {lim}_{k\to +\mathrm{\infty}}\rho ({u}_{k})=+\mathrm{\infty}$.

So, $|\mathrm{\nabla}u{|}_{{L}^{p(x)}(\mathrm{\Omega})}$ is a norm equivalent to the norm ${\parallel u\parallel}_{{W}^{1,p(x)}(\mathrm{\Omega})}$ in the space ${W}_{0}^{1,p(x)}(\mathrm{\Omega})$. We shall use the equivalent norm in the following discussion and write $\parallel u\parallel =|\mathrm{\nabla}u{|}_{{L}^{p(x)}(\mathrm{\Omega})}$ for simplicity.

**Proposition 2.2**(1) [[17],

*Theorem*4.1]

*If*

*f*

*satisfies the sub*-

*critical growth condition*

*where* $q\in {C}_{+}(\overline{\mathrm{\Omega}})$ *and* $q(x)<{p}^{\ast}(x)$, $\mathrm{\forall}x\in \overline{\mathrm{\Omega}}$, *where* ${p}^{\ast}(x)$ *is the Sobolev critical exponent* (${p}^{\ast}(x)=Np(x)/(N-p(x))$ *if* $p(x)<N$ *and* ${p}^{\ast}=+\mathrm{\infty}$ *if* $p(x)\ge N$), *then* $u\in {L}^{\mathrm{\infty}}(\mathrm{\Omega})$ *for every weak solution u of* (1.1).

*Theorem*4.4]

*Let*$u\in {W}_{0}^{1,p(x)}(\mathrm{\Omega})\cap {L}^{\mathrm{\infty}}(\mathrm{\Omega})$

*be a solution of*(1.1).

*If the function*

*p*

*is log*-

*Hölder continuous on*$\overline{\mathrm{\Omega}}$,

*i*.

*e*.,

*there is a positive constant*

*H*

*such that*

*then* $u\in {C}^{0,\alpha}(\overline{\mathrm{\Omega}})$ *for some* $\alpha \in (0,1)$.

(3) [[21], *Theorem * 1.2] *If in* (2), *the condition* (2.2) *is replaced by that* *p* *is Hölder continuous on* $\overline{\mathrm{\Omega}}$, *then* $u\in {C}^{1,\alpha}(\overline{\mathrm{\Omega}})$ *for some* $\alpha \in (0,1)$.

has a unique solution $u\in {W}_{0}^{1,p(x)}(\mathrm{\Omega})$. We denote by $K(h):=u$ the unique solution. *K* is called the solution operator for problem (2.3). It is well known that the solution operator *K* is increasing (see Remark 2.1 of [18]). From the Proposition 2.2 and the embedding theorems, we can obtain the properties of the solution operator *K* as follows.

**Proposition 2.3** (1) (*See* [20]) *The mapping* $K:{L}^{\frac{q(x)}{q(x)-1}}(\mathrm{\Omega})\to {W}_{0}^{1,p(x)}(\mathrm{\Omega})$ *is continuous*. *Moreover*, *the mapping* $K:{L}^{\frac{q(x)}{q(x)-1}}(\mathrm{\Omega})\to {L}^{q(x)}(\mathrm{\Omega})$ *is completely continuous since the embedding* ${W}_{0}^{1,p(x)}(\mathrm{\Omega})\to {L}^{q(x)}(\mathrm{\Omega})$ *is compact*.

(2) (*See* [17]) *If* *p* *is* log-*Holder continuous on* $\overline{\mathrm{\Omega}}$, *then the mapping* $K:{L}^{\mathrm{\infty}}(\mathrm{\Omega})\to {C}^{0,\alpha}(\overline{\mathrm{\Omega}})$ *is bounded*, *and hence the mapping* $K:{L}^{\mathrm{\infty}}(\mathrm{\Omega})\to C(\overline{\mathrm{\Omega}})$ *is completely continuous*.

(3) (*See* [21]) *If* *p* *is Hölder continuous on* $\overline{\mathrm{\Omega}}$, *then the mapping* $K:{L}^{\mathrm{\infty}}(\mathrm{\Omega})\to {C}^{1,\alpha}(\overline{\mathrm{\Omega}})$ *is bounded*, *and hence the mapping* $K:{L}^{\mathrm{\infty}}(\mathrm{\Omega})\to {C}^{1}(\overline{\mathrm{\Omega}})$ *is completely continuous*.

We note that the method of [26] cannot be directly used in this paper since *K* is not a linear operator. So, we give a key lemma that will be used in Section 3 to overcome this difficulty.

**Lemma 2.1**

*Let*

*M*

*be a positive constant and*$h(x)\in {L}^{\frac{q(x)}{q(x)-1}}(\mathrm{\Omega})$,

*then there exists one point*$\xi \in \mathrm{\Omega}$

*such that*

*where* *K* *is the solution operator for problem* (2.3).

*Proof*We assume that

*u*is a solution of problem (2.3), then we have $u=K(h)$. From (2.3), we can also show that

*C*, we can show that there exists one point $\xi \in \mathrm{\Omega}$ such that

Let $M={C}^{p(\xi )-1}$, then $C={M}^{\frac{1}{p(\xi )-1}}$. □

## 3 Existence of a solution *via* the alternative of Leray-Schauder

*E*will denote the space

Now, we state an existence and localization principle for problem (1.1).

**Theorem 3.1**(1)

*Assume that*

*f*

*satisfies*(2.1), $p(x)\in {C}_{+}(\overline{\mathrm{\Omega}})$

*and there is a constant*$r>0$,

*independent of*$\lambda >0$,

*with*

*for any solution*$u\in {W}_{0}^{1,p(x)}(\mathrm{\Omega})$

*to*

*and for each* $\lambda \in (0,1)$. *Then the boundary value problem* (1.1) *has at least one solution* $u\in {W}_{0}^{1,p(x)}(\mathrm{\Omega})$ *with* $|u{|}_{{L}^{q(x)}(\mathrm{\Omega})}\le r$.

*Assume that*$p(x)$

*is*log-

*Hölder continuous and there is a constant*$r>0$,

*independent of*$\lambda >0$,

*with*

*for any solution* $u\in {C}^{0,\alpha}(\overline{\mathrm{\Omega}})$ *to* (3.2) *and for each* $\lambda \in (0,1)$. *Then the boundary value problem* (1.1) *has at least one solution* $u\in {C}^{0,\alpha}(\overline{\mathrm{\Omega}})$ *with* ${\parallel u\parallel}_{0}\le r$.

(3) *Assume that* $p(x)$ *is Hölder continuous and there is a constant* $r>0$, *independent of* $\lambda >0$, *with* (3.3) *for any solution* $u\in {C}^{1,\alpha}(\overline{\mathrm{\Omega}})$ *to* (3.2) *and for each* $\lambda \in (0,1)$. *Then the boundary value problem* (1.1) *has at least one solution* $u\in {C}^{1,\alpha}(\overline{\mathrm{\Omega}})$ *with* ${\parallel u\parallel}_{0}\le r$.

We note that Theorem 3.1 not only guarantees the existence of a solution, but also gives information about its localization. Since the proofs of Theorem 3.1(1)-(3) are identical, we shall just prove Theorem 3.1(3). Firstly, we recall the following well-known results:

**Lemma 3.1** (Nonlinear alternative of Leray-Schauder, [24])

*Let* $B[0,r]$ *denote the closed ball in a Banach space* *E* *with radius* *r*, *and let* $T:B[0,r]\to E$ *be a compact operator*. *Then either*

(i) *the equation* $\lambda Tu=u$ *has a solution in* $B[0,r]$ *for* $\lambda =1$, *or*

(ii) *there exists an element* $u\in E$ *with* ${\parallel u\parallel}_{E}=r$ *satisfying* $\lambda Tu=u$ *for some* $0<\lambda <1$.

*Proof of Theorem 3.1(3)* According to Proposition 2.3, the operator *K* from ${L}^{\mathrm{\infty}}(\mathrm{\Omega})$ to ${C}^{1}(\overline{\mathrm{\Omega}})$ is well defined and compact. We shall apply the nonlinear alternative of Leray-Schauder to *E* and to the operator $T:E\to E$, with $Tu=KFu$, where $F:C(\overline{\mathrm{\Omega}})\to C(\overline{\mathrm{\Omega}})$ is given by $(Fu)(x)=f(x,u(x))$. On the other hand, it is clear that the fixed points of *T* are the solutions of problem (1.1). Now the conclusion follows from Lemma 3.1 since condition (ii) is excluded by hypothesis. □

Theorem 3.1 immediately yields the following existence and localization results.

**Corollary 3.1**(1)

*Assume that*

*f*

*satisfies*(2.1), $p(x)\in {C}_{+}(\overline{\mathrm{\Omega}})$

*and there exist nonnegative continuous functions*$a(x)$, $b(x)$

*and a continuous nondecreasing function*$\psi :{\mathbb{R}}^{+}\to {\mathbb{R}}^{+}$

*such that*

*Suppose*,

*in addition*,

*that there exists a real number*$r>0$

*such that*

*where* $c(x)=max\{a(x),b(x)\}=\frac{1}{2}(a(x)+b(x)+|a(x)-b(x)|)$. *Then the boundary value problem* (1.1) *has at least one solution in* ${W}_{0}^{1,p(x)}(\mathrm{\Omega})$ *with* $|u{|}_{{L}^{q(x)}(\mathrm{\Omega})}\le r$.

*Assume that*$p(x)$

*is*log-

*Hölder continuous and*(3.4)

*holds*.

*Suppose*,

*in addition*,

*that there exists a real number*$r>0$

*such that*

*Then the boundary value problem* (1.1) *has at least one solution in* ${C}^{0,\alpha}(\overline{\mathrm{\Omega}})$ *with* ${\parallel u\parallel}_{0}\le r$.

(3) *Assume that* $p(x)$ *is Hölder continuous and* (3.4), (3.6) *hold*. *Then the boundary value problem* (1.1) *has at least one solution in* ${C}^{1,\alpha}(\overline{\mathrm{\Omega}})$ *with* ${\parallel u\parallel}_{0}\le r$.

Since the proofs of Corollary 3.1(1)-(3) are identical, we shall just prove Corollary 3.1(3).

*Proof of Corollary 3.1(3)*In order to apply Theorem 3.1(3), we have to show that condition (3.3) holds true for any solution $u\in {C}^{1,\alpha}(\overline{\mathrm{\Omega}})$ to (3.2). Assume $u\in {C}^{1,\alpha}(\overline{\mathrm{\Omega}})$ is any solution to (3.2) for some $\lambda \in (0,1)$ with ${\parallel u\parallel}_{0}=r$. Then

*K*and Lemma 2.1, we have

Therefore, $r\le \lambda r<r$ since $\lambda \in (0,1)$ and ${\parallel u\parallel}_{0}=r$. This is a contradiction. □

We note that condition (3.1) can be satisfied under some suitable conditions.

**Theorem 3.2**

*Suppose that*$p(x)\in {C}_{+}(\overline{\mathrm{\Omega}})$, $f:\mathrm{\Omega}\times \mathbb{R}\to \mathbb{R}$

*is a continuous function and satisfies*

*uniformly with respect to* $x\in \mathrm{\Omega}$. *Then the boundary value problem* (1.1) *has a solution* $u\in {W}_{0}^{1,p(x)}(\mathrm{\Omega})$ *with* $|u{|}_{{L}^{{p}^{-}}(\mathrm{\Omega})}<r$ *for some* $r\in {\mathbb{R}}^{+}$.

*Proof*From (3.7) it follows that, for all $\epsilon >0$, there exists ${C}_{\epsilon}>0$ such that

*f*induces a Nemytsky operator on $X={L}^{{p}^{-}}(\mathrm{\Omega})$, still denoted by

*f*. Setting $T(u)=Kf(u)$, according to Proposition 2.3, $T\in C(X,X)$ is compact and (1.1) can be written in the form $u=Tu$, $u\in X$. Let us show that there exists $r>0$ such that the homotopy $h(t,u)=u-tT(u)$ is admissible in ${B}_{r}=\{u\in X:|u{|}_{{L}^{{p}^{-}}(\mathrm{\Omega})}<r\}$. Otherwise, there exist ${u}_{n}\in X$, with $|{u}_{n}{|}_{{L}^{{p}^{-}}(\mathrm{\Omega})}\to +\mathrm{\infty}$, and ${t}_{n}\in [0,1]$ such that ${u}_{n}={t}_{n}T({u}_{n})$. This is equivalent to $-\mathrm{div}({|\mathrm{\nabla}{u}_{n}|}^{p(x)-2}\mathrm{\nabla}{u}_{n})={t}_{n}f(x,{u}_{n})$, with ${u}_{n}\in {W}_{0}^{1,p(x)}(\mathrm{\Omega})$. Taking ${u}_{n}$ as a test function, using (3.8) and the fact that ${t}_{n}\le 1$, we get

*Case 1.* $\parallel u\parallel \ge 1$.

where ${c}_{0}$ is the embedding constant of ${W}_{0}^{1,p(x)}\hookrightarrow {L}^{{p}^{-}}(\mathrm{\Omega})$. If we take *ε* such that $\epsilon <{c}_{0}^{{p}^{-}}$, this equation implies that ${\parallel {u}_{n}\parallel}_{{L}^{{p}^{-}}(\mathrm{\Omega})}\le {C}_{1}$, for some ${C}_{1}>0$, a contradiction.

*Case 2.* $\parallel u\parallel \le 1$.

If we take *ε* such that $\epsilon <{c}_{0}^{{p}^{+}}$, this equation implies that ${\parallel {u}_{n}\parallel}_{{L}^{{p}^{-}}(\mathrm{\Omega})}\le {C}_{2}$, for some ${C}_{2}>0$, a contradiction again.

Thus the homotopy $h(t,u)=u-tT(u)$ is admissible on the ball ${B}_{r}$. Using the homotopy invariance, it follows that $deg(I-T,{B}_{r},0)=deg(I,{B}_{r},0)=1$, and hence there exists $u\in {B}_{r}$ such that $u=T(u)$, giving rise to a solution of problem (1.1). □

**Remark 3.1** We note that the fact that the homotopy $h(t,u)=u-tT(u)$ is admissible in ${B}_{r}$ implies $|u{|}_{{L}^{{p}^{-}}(\mathrm{\Omega})}\ne r$ for any solution of (3.2).

Using Theorem 3.1, Theorem 3.2 and Remark 3.1, we easily get:

**Corollary 3.2** *Assume* $p(x)\in {C}_{+}(\overline{\mathrm{\Omega}})$ *and* *f* *satisfies* (3.7), *then the boundary value problem* (1.1) *has at least one solution* $u\in {W}_{0}^{1,p(x)}(\mathrm{\Omega})$ *with* $|u{|}_{{L}^{{p}^{-}}(\mathrm{\Omega})}\le r$ *for some* $r>0$.

## 4 Existence and uniqueness *via* the Galerkin method

In this section, we shall use the Brouwer fixed point theorem and the Galerkin method to prove the existence of a solution for problem (1.1).

**Theorem 4.1**

*Assume that there exist constant*$a>0$

*and*$\alpha (x)\in {C}_{+}(\overline{\mathrm{\Omega}})$

*with*${\alpha}^{+}<{p}^{-}$

*such that*

*with*

*where*$\mathcal{C}$

*is the embedding constant of*${W}_{0}^{1,p(x)}(\mathrm{\Omega})\hookrightarrow {L}^{\alpha (x)}(\mathrm{\Omega})$.

*Then problem*(1.1)

*has at least one weak solution*.

*Besides*,

*any solution*

*u*

*of*(1.1)

*satisfies the estimate*

*Proof*Because ${W}_{0}^{1,p(x)}(\mathrm{\Omega})$ is a reflexive and separable Banach space, there exist $\{{e}_{j}\}\subset {W}_{0}^{1,p(x)}(\mathrm{\Omega})$ and $\{{e}_{j}^{\ast}\}\subset {({W}_{0}^{1,p(x)}(\mathrm{\Omega}))}^{\ast}$ such that

*u*. Therefore, we can use the following form of the Brouwer fixed point theorem: if there exists $R>0$ such that $\u3008{P}_{n}u,u\u3009\ge 0$ whenever $\parallel u\parallel =R$, then ${P}_{n}$ has a root

*u*satisfying $\parallel u\parallel \le R$ (see,

*e.g.*, [25]). From (4.1), Proposition 2.1 and the Poincaré inequality, we have for $u\in {V}_{n}$ with $\parallel u\parallel \ge 1$

*a*and $|\mathrm{\Omega}|$, such that $\u3008{P}_{n}u,u\u3009\ge 0$ if $\parallel u\parallel =R$. Then system (4.4) has a solution ${u}_{n}\in {V}_{n}$ satisfying

*u*such that

*k*in (4.4) and letting $n\to +\mathrm{\infty}$, we conclude that

*u*is in fact a solution of problem (1.1). Finally, if

*u*is any solution of problem (1.1), then ${\int}_{\mathrm{\Omega}}|\mathrm{\nabla}u{|}^{p(x)}\phantom{\rule{0.2em}{0ex}}dx={\int}_{\mathrm{\Omega}}f(x,u)u\phantom{\rule{0.2em}{0ex}}dx$. Therefore, either $\parallel u\parallel \le 1$ or

and (4.3) follows. □

**Theorem 4.2**

*Let the assumptions of Theorem*4.1

*hold*,

*with*(4.1)

*replaced by*

*Then problem* (1.1) *has exactly one solution*.

*Proof*Taking $v=0$ in (4.7), we get

*u*and

*v*be two solutions of problem (1.1). Putting $w=u-v$, by (4.7) and Theorem 3.1 of [19], we have

We conclude that $w\equiv 0$, and hence $u=v$. □

## Declarations

### Acknowledgements

The authors are very grateful to the anonymous referees for their valuable suggestions. Research supported by the NSFC (No. 11261052, No. 11126296).

## Authors’ Affiliations

## References

- Ru̇z̆ic̆ka M:
*Electro-rheological Fluids: Modeling and Mathematical Theory*. Springer, Berlin; 2000.Google Scholar - Zhikov VV:
**Averaging of functionals of the calculus of variations and elasticity theory.***Math. USSR, Izv.*1987, 9: 33-66.View ArticleGoogle Scholar - Antontsev SN, Shmarev SI:
**A model porous medium equation with variable exponent of nonlinearity: existence, uniqueness and localization properties of solutions.***Nonlinear Anal.*2005, 60: 515-545.MathSciNetView ArticleGoogle Scholar - Antontsev SN, Rodrigues JF:
**On stationary thermo-rheological viscous flows.***Ann. Univ. Ferrara, Sez. 7: Sci. Mat.*2006, 52: 19-36. 10.1007/s11565-006-0002-9MathSciNetView ArticleGoogle Scholar - Chen Y, Levine S, Rao M:
**Variable exponent, linear growth functionals in image restoration.***SIAM J. Appl. Math.*2006, 66(4):1383-1406. 10.1137/050624522MathSciNetView ArticleGoogle Scholar - Diening L, Hästö P, Nekvinda A:
**Open problems in variable exponent Lebesgue and Sobolev spaces.**In*FSDONA04 Proceedings*Edited by: Drábek P, Rákosník J. 2004, 38-58.Google Scholar - Fan XL, Zhao D:On the spaces ${L}^{p(x)}$ and ${W}^{m,p(x)}$.
*J. Math. Anal. Appl.*2001, 263: 424-446. 10.1006/jmaa.2000.7617MathSciNetView ArticleGoogle Scholar - Harjulehto P, Hästö P:
**An overview of variable exponent Lebesgue and Sobolev spaces.**In*Future Trends in Geometric Function Theory*. Edited by: Herron D. Univ. Jyväskylä, Jyväskylä; 2003:85-93.Google Scholar - Samko S:
**On a progress in the theory of Lebesgue spaces with variable exponent maximal and singular operators.***Integral Transforms Spec. Funct.*2005, 16: 461-482. 10.1080/10652460412331320322MathSciNetView ArticleGoogle Scholar - Zhikov VV, Kozlov SM, Oleinik OA:
*Homogenization of Differential Operators and Integral Functionals*. Springer, Berlin; 1994. (Translated from the Russian by GA Yosifian)Google Scholar - Zhikov VV:
**On some variational problems.***Russ. J. Math. Phys.*1997, 5: 105-116.MathSciNetGoogle Scholar - Dai G:Three symmetric solutions for a differential inclusion system involving the $(p(x),q(x))$-Laplacian in ${\mathbb{R}}^{N}$.
*Nonlinear Anal.*2009, 71: 1763-1771. 10.1016/j.na.2009.01.012MathSciNetView ArticleGoogle Scholar - Dai G:Infinitely many solutions for a Neumann-type differential inclusion problem involving the $p(x)$-Laplacian.
*Nonlinear Anal.*2009, 70: 2297-2305. 10.1016/j.na.2008.03.009MathSciNetView ArticleGoogle Scholar - Dai G:Infinitely many solutions for a hemivariational inequality involving the $p(x)$
**-Laplacian.***Nonlinear Anal.*2009, 71: 186-195. 10.1016/j.na.2008.10.039MathSciNetView ArticleGoogle Scholar - Dai G:Three solutions for a Neumann-type differential inclusion problem involving the $p(x)$
**-Laplacian.***Nonlinear Anal.*2009, 70: 3755-3760. 10.1016/j.na.2008.07.031MathSciNetView ArticleGoogle Scholar - Dai G:Infinitely many solutions for a differential inclusion problem in ${\mathbb{R}}^{N}$ involving the $p(x)$
**-Laplacian.***Nonlinear Anal.*2009, 71: 1116-1123. 10.1016/j.na.2008.11.024View ArticleGoogle Scholar - Fan XL, Zhao D:
**A class of De Giorgi type and Hölder continuity.***Nonlinear Anal.*1996, 36: 295-318.MathSciNetView ArticleGoogle Scholar - Fan XL:On the sub-supersolution methods for $p(x)$-Laplacian equations.
*J. Math. Anal. Appl.*2007, 330: 665-682. 10.1016/j.jmaa.2006.07.093MathSciNetView ArticleGoogle Scholar - Fan XL, Zhang QH:Existence of solutions for $p(x)$-Laplacian Dirichlet problems.
*Nonlinear Anal.*2003, 52: 1843-1852. 10.1016/S0362-546X(02)00150-5MathSciNetView ArticleGoogle Scholar - Fan XL, Han XY:Existence and multiplicity of solutions for $p(x)$-Laplacian equations in ${\mathbb{R}}^{N}$.
*Nonlinear Anal.*2004, 59: 173-188.MathSciNetGoogle Scholar - Fan XL:Global ${C}^{1,\alpha}$
**regularity for variable exponent elliptic equations in divergence form.***J. Differ. Equ.*2007, 235: 397-417. 10.1016/j.jde.2007.01.008View ArticleGoogle Scholar - Gilbarg D, Trudinger N:
*Elliptic Partial Differential Equations of Second Order*. Springer, Berlin; 1983.View ArticleGoogle Scholar - O’Regan D, Precup R:
*Theorems of Leray-Schauder Type and Applications*. Gordon and Breach, Amsterdam; 2001.Google Scholar - Zeidler E:
*Nonlinear Functional Analysis: Part I*. Springer, New York; 1985.View ArticleGoogle Scholar - Kesavan S:
*Topics in Functional Analysis and Applications*. Wiley, New York; 1989.Google Scholar - Moussaoui T, Precup R: Existence results for semilinear elliptic boundary value problems
*via***topological methods.***Appl. Math. Lett.*2009, 22: 126-129. 10.1016/j.aml.2008.03.002MathSciNetView ArticleGoogle Scholar - Ngô, QA: Existence results for quasilinear elliptic boundary value problems via topological method. arXiv:0805.0075v1 [math.AP] (2008)Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.