Skip to main content

Advertisement

Multiple solutions for the p(x)-Laplacian problem involving critical growth with aparameter

Article metrics

  • 1078 Accesses

Abstract

By energy estimates and establishing a local ( PS ) c condition, existence of solutions for thep(x)-Laplacian problem involving critical growth in abounded domain is obtained via the variational method under the presence ofsymmetry.

MSC: 35J20, 35J62.

1 Introduction

In recent years, the study of problems in differential equations involving variableexponents has been a topic of interest. This is due to their applications in imagerestoration, mathematical biology, dielectric breakdown, electrical resistivity,polycrystal plasticity, the growth of heterogeneous sand piles and fluid dynamics,etc. We refer readers to [17] for more information. Furthermore, new applications are continuing to appear,see, for example, [8] and the references therein.

With the variational techniques, the p(x)-Laplacian problems with subcritical nonlinearities havebeen investigated, see [913]etc. However, the existence of solutions for p(x)-Laplacian problems with critical growth is relatively new.In 2010, Bonder and Silva [14] extended the concentration-compactness principle of Lions to the variableexponent spaces, and a similar result can be found in [15]. After that, there have been many publications for this case, see [1619]etc.

In this paper, we study the existence and multiplicity of solutions for the quasilinearelliptic problem

{ Δ p ( x ) u = λ | u | q ( x ) 2 u + f ( x , u ) , x Ω ; u = 0 , x Ω ,
(1.1)

where Δ p ( x ) u=div( | u | p ( x ) 2 u), Ω R N (N3) is a bounded domain with smooth boundary,λ>0 is a real parameter, p(x), q(x) are continuous functions on Ω ¯ with

1< p := min x Ω ¯ p(x) p + := max x Ω ¯ p(x)<N,1q(x) p (x),x Ω ¯ ,
(1.2)

where

p (x)= N p ( x ) N p ( x ) ,x Ω ¯ ,

and

{ x Ω ¯ , q ( x ) = p ( x ) } .
(1.3)

Related to f, we assume that f:Ω×RR is a Carathéodory function satisfyingsup{|f(x,s)|;xΩ,|s|M}< for every M>0, and the subcritical growth condition:

(f1) f(x,s) C 1 (1+ | s | β ( x ) 1 ) for all (x,s)Ω×R, where β(x) is a continuous function in Ω ¯ satisfying β(x)< p (x), x Ω ¯ .

For F(x,s)= 0 s f(x,t)dt, we suppose that f satisfies the following:

(f2) there are constants σ[0, p ) and a 1 , a 2 >0 such that for every sR, a.e. in Ω,

1 p + f(x,s)sF(x,s) a 1 a 2 | s | σ ;

(f3) there are constants b 1 , b 2 >0 and a continuous function r(x)< p (x), x Ω ¯ , with r + > p , such that for every sR, a.e. in Ω,

F(x,s) b 1 | s | r ( x ) + b 2 ;

(f4) there are c 1 >0, h 1 L p ( x ) (Ω) and Ω 0 Ω with | Ω 0 |>0 such that

F(x,s) h 1 (x) | s | p ( x ) c 1 for every sR, a.e. in Ω,

and

lim inf | s | F ( x , s ) | s | p + =uniformly a.e. in  Ω 0 .

Now we state our result.

Theorem 1.1 Assume that (1.2), (1.3) and(f1)-(f4) are satisfied with p + < q , f(x,s)is odd in s. Then,givenkN, there exists λ k (0,]such that problem (1.1) possesses atleast k pairs of nontrivial solutions forallλ(0, λ k ).

Our paper is motivated by [17]. In [17], the authors considered the multiple solutions to problem (1.1) under theconditions that f has the form f(x,t)=a(x) | t | p ( x ) 2 t+g(x,t) with a L (Ω) and g satisfies the following:

(g1) there is α>0 such that

Ω 1 p ( x ) ( | u | p ( x ) a ( x ) | u | p ( x ) ) dxα Ω 1 p ( x ) | u | p ( x ) dx;

(g2) gC( Ω ¯ ×R,R), odd with respect to t and

g ( x , t ) = o ( | t | p ( x ) 1 ) , | t | 0  uniformly in  x , g ( x , t ) = o ( | t | q ( x ) 1 ) , | t |  uniformly in  x ;

(g3) G(x,t) 1 p + g(x,t)t for all tR and a.e. in Ω, where G(x,t)= 0 t g(x,s)ds.

Moreover, they assumed that

p(x)= p + ,xΓ= { x Ω : a ( x ) > 0 } ,
(1.4)

and the result is the following theorem.

Theorem 1.2 Assume that (1.2), (1.3), (1.4) and(g1)-(g3) are satisfied with p + < q . Then there exists asequence{ λ k }(0,)with λ k > λ k + 1 such that forλ( λ k , λ k + 1 ), problem (1.1) has atleast k pairs of nontrivial solutions.

Note that (f2) is a weaker version of (g3). This conditioncombined with (f1) and the concentration-compactness principle in [14] will allow us to verify that the associated functional satisfies the(PS) condition [20] below a fixed level for λ>0 sufficiently small. Conditions (f3) and(f4) provide the geometry required by the symmetric mountain pass theorem [20]. Compared with (g2), there is no condition imposed on fnear zero in Theorem 1.1. Furthermore, we should mention that our Theorem 1.1 improvesthe main result found in [21]. In that paper, the authors considered only the case wherep(x) is constant, while in our present paper, we have showedthat the main result found in [21] is still true for a large class of p(x) functions.

The paper is organized as follows. In Section 2, we introduce some necessarypreliminary knowledge. Section 3 contains the proof of our main result.

2 Preliminaries

We recall some definitions and basic properties of the generalized Lebesgue-Sobolevspaces L p ( x ) (Ω) and W 0 1 , p ( x ) (Ω), where Ω R N is a bounded domain with smooth boundary. And Cwill denote generic positive constants which may vary from line to line.

Set

C + ( Ω ¯ )= { p ( x ) C ( Ω ¯ ) : p ( x ) > 1 , x Ω ¯ } .

For any p(x) C + ( Ω ¯ ), we define the variable exponent Lebesgue space

L p ( x ) (Ω)= { u M ( Ω ) : Ω | u ( x ) | p ( x ) d x < }

with the norm

| u | p ( x ) =inf { μ > 0 : Ω | u μ | p ( x ) d x 1 } ,

where M(Ω) is the set of all measurable real functions defined onΩ.

Define the space

W 1 , p ( x ) (Ω)= { u L p ( x ) ( Ω ) : | u | L p ( x ) ( Ω ) }

with the norm

u 1 , p ( x ) = | u | p ( x ) + | u | p ( x ) .

By W 0 1 , p ( x ) (Ω), we denote the subspace of W 1 , p ( x ) (Ω) which is the closure of C 0 (Ω) with respect to the norm u 1 , p ( x ) . Further, we have

Lemma 2.1[22, 23]

There is a constantC>0such that for allu W 0 1 , p ( x ) (Ω),

| u | p ( x ) C | u | p ( x ) .

So, | u | p ( x ) and u 1 , p ( x ) are equivalent norms in W 0 1 , p ( x ) (Ω). Hence we will use the norm u= | u | p ( x ) for all u W 0 1 , p ( x ) (Ω).

Lemma 2.2[22, 23]

Setρ(u)= Ω | u | p ( x ) dx. Foru, u n L p ( x ) (Ω), we have:

  1. (1)

    | u | p ( x ) <1(=1;>1)ρ(u)<1(=1;>1).

  2. (2)

    If | u | p ( x ) >1, then | u | p ( x ) p ρ(u) | u | p ( x ) p + .

  3. (3)

    If | u | p ( x ) <1, then | u | p ( x ) p + ρ(u) | u | p ( x ) p .

  4. (4)

    lim n u n =u lim n ρ( u n u)=0.

  5. (5)

    lim n | u n | p ( x ) = lim n ρ( u n )=.

Lemma 2.3[23]

If p 1 (x), p 2 (x) C + ( Ω ¯ )with p 1 (x) p 2 (x)a.e. in Ω, then thereexists the continuous embedding L p 2 ( x ) (Ω) L p 1 ( x ) (Ω).

Lemma 2.4[22]

Ifq(x) C + ( Ω ¯ )andq(x)< p (x)for anyxΩ, the embedding W 1 , p ( x ) (Ω) L q ( x ) (Ω)is compact.

Lemma 2.5[23]

The conjugate space of L p ( x ) (Ω)is L p ( x ) (Ω), where 1 p ( x ) + 1 p ( x ) =1. For anyu L p ( x ) (Ω)andv L p ( x ) (Ω),

Ω |uv|dx ( 1 p + 1 p ) | u | p ( x ) | v | p ( x ) .

The energy functional corresponding to problem (1.1) is defined on W 0 1 , p ( x ) (Ω) as follows:

I λ (u)= Ω 1 p ( x ) | u | p ( x ) dxλ Ω 1 q ( x ) | u | q ( x ) dx Ω F(x,u)dx.
(2.1)

Then I λ C 1 ( W 0 1 , p ( x ) (Ω),R) and u,ϕ W 0 1 , p ( x ) (Ω),

I λ ( u ) , ϕ = Ω | u | p ( x ) 2 uϕdxλ Ω | u | q ( x ) 2 uϕdx Ω f(x,u)ϕdx.

We say that u W 0 1 , p ( x ) (Ω) is a weak solution of problem (1.1) in the weak sense iffor any ϕ W 0 1 , p ( x ) (Ω),

Ω | u | p ( x ) 2 uϕdxλ Ω | u | q ( x ) 2 uϕdx Ω f(x,u)ϕdx=0.

So, the weak solution of problem (1.1) coincides with the critical point of I λ . Next, we need only to consider the existence of criticalpoints of I λ (u).

We say that I λ (u) satisfies the ( PS ) c condition if any sequence { u n } W 0 1 , p ( x ) (Ω), such that I λ ( u n )c and I λ ( u n )0 as n, possesses a convergent subsequence. In this article, weshall be using the following version of the symmetric mountain pass theorem [20].

Lemma 2.6[20]

LetE=VX, where E is a real Banach spaceand V is finite dimensional. SupposethatI C 1 (E,R)is an even functionalsatisfyingI(0)=0and

  1. (i)

    there is a constantρ>0such that I B ρ X 0;

  2. (ii)

    there is a subspace W of E withdimV<dimW<and there isM>0such that max u W I(u)<M;

  3. (iii)

    consideringM>0given by (ii), I satisfies ( PS ) c for0cM.

Then I possesses at leastdimWdimVpairs of nontrivial critical points.

Next we would use the concentration-compactness principle for variable exponent spaces.This will be the keystone that enables us to verify that I λ satisfies the ( PS ) c condition.

Lemma 2.7[14]

Let q(x) and p(x) be two continuous functions such that

1< inf x Ω ¯ p(x) sup x Ω ¯ p(x)<Nand1q(x) p (x)in Ω.

Let{ u n }be a weakly convergent sequencein W 0 1 , p ( x ) (Ω)with weak limit u such that:

  • | u n | p ( x ) μweakly in the sense of measures;

  • | u n | q ( x ) νweakly in the sense of measures.

Also assume thatA={xΩ:q(x)= p (x)}is nonempty. Then, for some countableindex set K, we have:

ν= | u | q ( x ) + i K ν i δ x i , ν i 0,
(2.2)
μ | u | p ( x ) + i K μ i δ x i , μ i 0,
(2.3)
S ν i 1 / p ( x i ) μ i 1 / p ( x i ) iK,
(2.4)

where { x i } i K Aand S is the best constant in theGagliardo-Nirenberg-Sobolev inequality for variable exponents,namely

S= S q (Ω):= inf ϕ C 0 ( Ω ) ϕ | ϕ | q ( x ) .
(2.5)

3 Proof of main results

Lemma 3.1 Assume that f satisfies (f1)and (f2) with p + < q . Then, givenM>0, there exists λ >0such that I λ satisfies the ( PS ) c condition for allc<M, provided0<λ< λ .

Proof (1) The boundedness of the ( PS ) c sequence.

Let { u n } be a ( PS ) c sequence, i.e., { u n } satisfies I λ ( u n )c, and I λ ( u n )0 as n. If u n 1, we have done. So we only need to consider the case that u n >1 with | u n | q ( x ) >1. We know that

I λ ( u n ) = Ω 1 p ( x ) | u n | p ( x ) d x λ Ω 1 q ( x ) | u n | q ( x ) d x Ω F ( x , u n ) d x , I λ ( u n ) , u n = Ω | u n | p ( x ) d x λ Ω | u n | q ( x ) d x Ω f ( x , u n ) u n d x .
(3.1)

From (f2), we get

c + 1 + u n I λ ( u n ) 1 p + I λ ( u n ) , u n ( 1 p + 1 q ) λ Ω | u n | q ( x ) d x + Ω ( 1 p + f ( x , u n ) u n F ( x , u n ) ) d x ( 1 p + 1 q ) λ Ω | u n | q ( x ) d x a 1 | Ω | a 2 Ω | u n | σ d x .

Notice that q q(x), x Ω ¯ , then from Lemmas 2.3, 2.4, W 0 1 , p ( x ) (Ω) L q ( x ) (Ω) L q (Ω), so | u | q C 1 | u | q ( x ) Cu. Let α=( q σ)/ q , then 0<α<1, and from the Hölder inequality,

Ω | u n | σ d x ( Ω | u n | q d x ) σ q | Ω | q σ q = ( Ω | u n | q d x ) ( 1 α ) | Ω | α | Ω | α C ( 1 α ) q u n ( 1 α ) q .

In addition, from Lemma 2.2(2), we can also obtain that

Ω | u n | σ d x ( Ω | u n | q d x ) ( 1 α ) | Ω | α | Ω | α ( C 1 | u n | q ( x ) ) ( 1 α ) q | Ω | α C 1 ( 1 α ) q ( Ω | u n | q ( x ) d x ) ( 1 α ) .

Then

I λ ( u n ) 1 p + I λ ( u n ) , u n ( 1 p + 1 q ) λ Ω | u n | q ( x ) d x a 1 | Ω | a 2 | Ω | α C 1 ( 1 α ) q ( Ω | u n | q ( x ) d x ) ( 1 α ) ,
(3.2)

and

c + 1 + u n I λ ( u n ) 1 p + I λ ( u n ) , u n ( 1 p + 1 q ) λ Ω | u n | q ( x ) d x a 1 | Ω | C u n ( 1 α ) q .

So we have

Ω | u n | q ( x ) dxC+C u n +C u n ( 1 α ) q .
(3.3)

From (3.1), (3.3) and (f1), we have

1 p + u n p Ω 1 p ( x ) | u n | p ( x ) d x = I λ ( u n ) + λ Ω 1 q ( x ) | u n | q ( x ) d x + Ω F ( x , u n ) d x C + C Ω | u n | q ( x ) d x C + C u n + C u n ( 1 α ) q .

Noting that (1α) q =σ< p , we have that { u n } is bounded.

  1. (2)

    Up to a subsequence, u n u in W 0 1 , p ( x ) (Ω).

By Lemma 2.7, we can assume that there exist two measures μ,ν and a function u W 0 1 , p ( x ) (Ω) such that

u n u weakly in  W 0 1 , p ( x ) ( Ω ) , | u n | p ( x ) μ weakly in the sense of measures , | u n | q ( x ) ν weakly in the sense of measures , ν = | u | q ( x ) + j K ν j δ x j , μ | u | p ( x ) + j K μ j δ x j , S ν j 1 / p ( x j ) μ j 1 / p ( x j ) .

Choose a function φ(x) C 0 ( R N ) such that 0φ(x)1, φ(x)1 on B(0,1) and φ(x)0 on R N B(0,2). For any x R N , ε>0 and jK, let φ j , ε (x)=φ( x x j ε ). It is clear that { φ j , ε u n } is bounded in W 0 1 , p ( x ) (Ω). From I λ ( u n )0, we can obtain I λ ( u n ), φ j , ε u n 0, as n, i.e.,

Ω | u n | p ( x ) 2 u n u n φ j , ε d x + Ω | u n | p ( x ) φ j , ε d x λ Ω | u n | q ( x ) φ j , ε d x Ω f ( x , u n ) u n φ j , ε d x 0 .
(3.4)

From (f1), by Lemma 2.7, we have

lim n Ω | u n | p ( x ) 2 u n u n φ j , ε d x = λ Ω φ j , ε d ν Ω φ j , ε d μ + Ω f ( x , u ) u φ j , ε d x .
(3.5)

By the Hölder inequality, it is easy to check that

lim n Ω | u n | p ( x ) 2 u n u n φ j , ε dx=0.

From (3.5), as ε0, we obtain λ ν j = μ j . From Lemma 2.7, we conclude that

ν j =0or ν j S N max { λ N p + , λ N p } .
(3.6)

Given M>0, set

λ = min { S p + , S p , ( S N ( 1 p + 1 q ) 1 α ( M + a 1 | Ω | + a 2 | Ω | α C 1 ( 1 α ) q ) 1 α ) 1 N p + 1 α , ( S N ( 1 p + 1 q ) 1 α ( M + a 1 | Ω | + a 2 | Ω | α C 1 ( 1 α ) q ) 1 α ) 1 N p a 1 α } ,

where S is given by (2.5). Considering 0<λ< λ , we have

1< S N λ N p + ,1< S N λ N p ,
(3.7)

and

( M + a 1 | Ω | + a 2 | Ω | α C 1 ( 1 α ) q ( 1 p + 1 q ) λ ) 1 α < S N min { λ N p + , λ N p + } .
(3.8)

We claim that Ω dν< S N min{ λ N p + , λ N p }. Indeed, if Ω dν1, this follows by (3.7). Otherwise, takingn in (3.2), we obtain

( 1 p + 1 q ) λ Ω d ν a 1 | Ω | + a 2 | Ω | α C 1 ( 1 α ) q ( Ω d ν ) 1 α + c ( M + a 1 | Ω | + a 2 | Ω | α C 1 ( 1 α ) q ) ( Ω d ν ) 1 α .

Therefore, by (3.8), the claim is proved. As a consequence of this fact, we concludethat ν j =0 for all jK. Therefore, u n u in L q ( x ) (Ω). Then, with the similar step in [17], we can get that u n u in W 0 1 , p ( x ) (Ω). □

Next we prove Theorem 1.1 by verifying that the functional I λ satisfies the hypotheses of Lemma 2.6. First, we recallthat each basis { e i } i N for a real Banach space E is a Schauder basis forE, i.e., given nN, the functional e n :ER defined by

e n (v)= α n ,v= i = 1 α i e i E

is a bounded linear functional [24, 25]. Now, fixing a Schauder basis { e i } i N for W 0 1 , p ( x ) (Ω), for jN, we set

V j = { u W 0 1 , p ( x ) ( Ω ) : e i ( u ) = 0 , i > j } , X j = { u W 0 1 , p ( x ) ( Ω ) : e i ( u ) = 0 , i j } ,
(3.9)

then W 0 1 , p ( x ) (Ω)= V j X j .

Lemma 3.2 Given1r(x)< p (x)for allxΩandδ>0, there isjNsuch that for allu X j , | u | r ( x ) δu.

Proof We prove the lemma by contradiction. Suppose that there existδ>0 and u j X j for every jN such that | u j | r ( x ) δ u j . Taking v j = u j | u j | r ( x ) , we have | v j | r ( x ) =1 for every jN and v j 1 δ . Hence { v j } W 0 1 , p ( x ) (Ω) is a bounded sequence, and we may suppose, without loss ofgenerality, that v j v in W 0 1 , p ( x ) (Ω). Furthermore, e n (v)=0 for every nN since e n ( v j )=0 for all jn. This shows that v=0. On the other hand, by the compactness of the embedding W 0 1 , p ( x ) (Ω) L r ( x ) (Ω), we conclude that | v | r ( x ) =1. This proves the lemma. □

Lemma 3.3 Suppose that f satisfies (f3),then there existjNandρ,α, λ ˜ >0such thatI | B ρ X j αfor all0<λ< λ ˜ .

Proof Now suppose that u>1, with | u | r ( x ) >1, | u | q ( x ) >1. From (f3), we know that

I λ ( u ) = Ω | u | p ( x ) p ( x ) d x λ Ω | u | q ( x ) q ( x ) d x Ω F ( x , u ) d x 1 p + Ω | u | p ( x ) d x λ q Ω | u | q ( x ) d x b 1 Ω | u | r ( x ) d x b 2 | Ω | .

Consequently, considering δ>0 to be chosen posteriorly by Lemma 3.2, we have, for allu X j and j sufficiently large,

I λ ( u ) 1 p + u p λ C q u q + b 1 δ r + u r + b 2 | Ω | u p ( 1 p + b 1 δ r + u r + p ) b 2 | Ω | C λ q u q + .

Now taking 1<u=ρ(δ) such that b 1 δ r + ρ r + p = 1 2 p + and noting that r + > p , so ρ(δ)+, if δ0. We can choose δ>0 such that ρ p 2 p + b 1 |Ω|> ρ p 4 p + . Next, we take λ ˜ >0 such that for 0<λ< λ ˜ ,

I λ (u) ρ p 4 p + C λ q ρ q + >0

for every u X j , u=ρ, the proof is complete. □

Lemma 3.4 Suppose that f satisfies (f4),then, givenmN, there exist asubspace W of W 0 1 , p ( x ) (Ω)and a constant M m >0such thatdimW=mand max u W I(u)< M m .

Proof Let x 0 Ω 0 and r 0 >0 be such that B ( x 0 , r 0 ) ¯ Ω, and 0<| B ( x 0 , r 0 ) ¯ Ω 0 |< | Ω 0 | 2 . First, we take v 1 C 0 (Ω) with supp( v 1 )= B ( x 0 , r 0 ) ¯ . Considering Ω 1 = Ω 0 [ B ( x 0 , r 0 ) ¯ Ω 0 ] Ω ˆ 0 = Ω B ( x 0 , r 0 ) ¯ , we have | Ω 1 | | Ω 0 | 2 >0. Let x 1 Ω 1 and r 1 >0 such that B ( x 1 , r 1 ) ¯ Ω ˆ 0 , and 0<| B ( x 1 , r 1 ) ¯ Ω 1 |< | Ω 1 | 2 . Next, we take v 2 C 0 (Ω) with supp( v 2 )= B ( x 1 , r 1 ) ¯ . After a finite number of steps, we get v 1 , v 2 ,, v m such that supp( v i )supp( v j )=, ij, and |supp( v j ) Ω 0 |>0 for all i,j{1,2,,m}. Let W=span{ v 1 , v 2 ,, v m }, by construction, dimW=m, and for every vW{0},

Ω 0 | v | p + dx>0.

Since

max u W { 0 } I 0 (u)= max t > 0 , v W B 1 ( 0 ) ( Ω ( t | v | ) p ( x ) p ( x ) d x Ω F ( x , t v ) d x ) ,

consider the case that t>1, then I 0 (tv) t p + p Ω F(x,tv)dx= t p + ( 1 p 1 t p + Ω F(x,tv)dx). Now it suffices to verify that

lim t 1 t p + Ω F(x,tv)dx> 1 p .

From condition (f4), given L>0, there is C>0 such that for every sR, a.e. x in Ω 0 ,

F(x,s)L | s | p + C.

Consequently, for v B 1 (0)W and t>1,

Ω F(x,tv)dxL t p + Ω 0 | v | p + dxC t p + Ω Ω 0 h 1 (x) | v | p ( x ) dx C 2

and

lim t Ω F ( x , t v ) d x t p + L Ω 0 | v | p + dxC Ω Ω 0 h 1 (x) | v | p ( x ) dxLrCR,

where r=min{ Ω 0 | v | p + dx,v B 1 (0)W} and R=max{ Ω Ω 0 h 1 (x) | v | p ( x ) dx,v B 1 (0)W}. Observing that W is finite dimensional, we haveR<+, r>0, and the inequality is obtained by takingL> 1 r ( 1 p +CR). The proof is complete. □

Proof of Theorem 1.1 First, we recall that W 0 1 , p ( x ) (Ω)= V j X j , where V j and X j are defined in (3.9). Invoking Lemma 3.3, we findjN, and I λ satisfies (i) with X= X j . Now, by Lemma 3.4, there is a subspace W of W 0 1 , p ( x ) (Ω) with dimW=k+j=k+dim V j such that I λ satisfies (ii). By Lemma 3.1, I λ satisfies (iii). Since I λ (0)=0 and I λ is even, we may apply Lemma 2.6 to conclude that I λ possesses at least k pairs of nontrivial criticalpoints. The proof is complete. □

References

  1. 1.

    Bocea M, Mihăilescu M: Γ-convergence of power-law functionals with variable exponents. Nonlinear Anal. 2010, 73: 110-121. 10.1016/j.na.2010.03.004

  2. 2.

    Bocea M, Mihăilescu M, Popovici M: On the asymptotic behavior of variable exponent power-law functionals andapplications. Ric. Mat. 2010, 59: 207-238. 10.1007/s11587-010-0081-x

  3. 3.

    Bocea M, Mihăilescu M, Pérez-Llanos M, Rossi JD: Models for growth of heterogeneous sandpiles via Mosco convergence. Asymptot. Anal. 2012, 78: 11-36.

  4. 4.

    Chen Y, Levine S, Rao R: Variable exponent, linear growth functionals in image processing. SIAM J. Appl. Math. 2006, 66: 1383-1406. 10.1137/050624522

  5. 5.

    Fragnelli G: Positive periodic solutions for a system of anisotropic parabolic equations. J. Math. Anal. Appl. 2010, 367: 204-228. 10.1016/j.jmaa.2009.12.039

  6. 6.

    Halsey TC: Electrorheological fluids. Science 1992, 258: 761-766. 10.1126/science.258.5083.761

  7. 7.

    Zhikov VV: Averaging of functionals of the calculus of variations and elasticity theory. Math. USSR, Izv. 1987, 9: 33-66.

  8. 8.

    Boureanu MM, Udrea DN:Existence and multiplicity result for elliptic problems withp()-growth conditions. Nonlinear Anal., Real World Appl. 2013, 14: 1829-1844. 10.1016/j.nonrwa.2012.12.001

  9. 9.

    Boureanu MM, Preda F: Infinitely many solutions for elliptic problems with variable exponent andnonlinear boundary conditions. Nonlinear Differ. Equ. Appl. 2012, 19(2):235-251. 10.1007/s00030-011-0126-1

  10. 10.

    Chabrowski J, Fu Y:Existence of solutions for p(x)-Laplacian problems on a bounded domain. J. Math. Anal. Appl. 2005, 306: 604-618. 10.1016/j.jmaa.2004.10.028

  11. 11.

    Dai GW, Liu DH:Infinitely many positive solutions for a p(x)-Kirchhoff-type equation involving thep(x)-Laplacian. J. Math. Anal. Appl. 2009, 359: 704-710. 10.1016/j.jmaa.2009.06.012

  12. 12.

    Fan XL, Zhang QH:Existence of solutions for p(x)-Laplacian Dirichlet problem. Nonlinear Anal. 2003, 52: 1843-1852. 10.1016/S0362-546X(02)00150-5

  13. 13.

    Mihăilescu M:On a class of nonlinear problems involving a p(x)-Laplace type operator. Czechoslov. Math. J. 2008, 58(133):155-172.

  14. 14.

    Bonder JF, Silva A: The concentration compactness principle for variable exponent spaces andapplications. Electron. J. Differ. Equ. 2010., 2010: Article ID 141

  15. 15.

    Fu YQ:The principle of concentration compactness in L p ( x ) spaces and its application. Nonlinear Anal. 2009, 71: 1876-1892. 10.1016/j.na.2009.01.023

  16. 16.

    Silva, A: Multiple solutions for the p(x)-Laplace operator with critical growth. Preprint

  17. 17.

    Alves CO, Barrwiro JLP:Existence and multiplicity of solutions for a p(x)-Laplacian equation with critical growth. J. Math. Anal. Appl. 2013, 403: 143-154. 10.1016/j.jmaa.2013.02.025

  18. 18.

    Fu YQ, Zhang X:Multiple solutions for a class of p(x)-Laplacian equations in R N involving the critical exponent. Proc. R. Soc., Math. Phys. Eng. Sci. 2010, 466(2118):1667-1686. 10.1098/rspa.2009.0463

  19. 19.

    Bonder, JF, Saintier, N, Silva, A: On the Sobolev trace theorem for variableexponent spaces in the critical range. Preprint

  20. 20.

    Ambrosetti A, Rabinowitz PH: Dual variational methods in critical point theory and applications. J. Funct. Anal. 1973, 14: 349-381. 10.1016/0022-1236(73)90051-7

  21. 21.

    Silva EAB, Xavier MS: Multiplicity of solutions for quasilinear elliptic problems involving criticalSobolev exponents. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 2003, 20(2):341-358. 10.1016/S0294-1449(02)00013-6

  22. 22.

    Fan X, Zhao D:On the space L p ( x ) and W m , p ( x ) . J. Math. Anal. Appl. 2001, 263: 424-446. 10.1006/jmaa.2000.7617

  23. 23.

    Kovacik O, Rakosnik J:On spaces L p ( x ) and W k , p ( x ) . Czechoslov. Math. J. 1991, 41: 592-618.

  24. 24.

    Lindenstrauss J, Tzafriri L: Classical Banach Spaces, I. Springer, Berlin; 1977.

  25. 25.

    Marti JT: Introduction to the Theory of Bases. Springer, New York; 1969.

Download references

Acknowledgements

The authors would like to express their gratitude to the anonymous referees forvaluable comments and suggestions which improved our original manuscript greatly. Thefirst author is supported by NSFC-Tian Yuan Special Foundation (No. 11226116),Natural Science Foundation of Jiangsu Province of China for Young Scholar (No.BK2012109), the China Scholarship Council (No. 201208320435), the FundamentalResearch Funds for the Central Universities (No. JUSRP11118, JUSRP211A22). The secondauthor is supported by NSFC (No. 10871096). The third author is supported by GraduateEducation Innovation of Jiangsu Province (No. CXZZ13-0389).

Author information

Correspondence to Yang Yang.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors read and approved the final manuscript.

Rights and permissions

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

Reprints and Permissions

About this article

Keywords

  • p(x)-Laplacian problem
  • critical Sobolev exponents concentration-compactness principle