Skip to main content

Existence of an unbounded branch of the set of solutions for equations of p(x)-Laplace type

Abstract

We are concerned with the following nonlinear problem

div ( ϕ ( x , | u | ) u ) =μ | u | p ( x ) 2 u+f(λ,x,u,u)in Ω

subject to Dirichlet boundary conditions, provided that μ is not an eigenvalue of the p(x)-Laplacian. The purpose of this paper is to study the global behavior of the set of solutions for nonlinear equations of p(x)-Laplacian type by applying a bifurcation result for nonlinear operator equations.

MSC:35B32, 35D30, 35J60, 35P30, 37K50, 46E35, 47J10.

1 Introduction

Rabinowitz [1] showed that the bifurcation occurring in the Krasnoselskii theorem is actually a global phenomenon by using the topological approach of Krasnoselskii [2]. As regards the p-Laplacian and generalized operators, nonlinear eigenvalue and bifurcation problems have been extensively studied by many researchers in various ways of approach; see [39]. While most of those results considered global branches bifurcating from the principal eigenvalue of the p-Laplacian, under suitable conditions, Väth [10] introduced another new approach to establish the existence of a global branch of solutions for the p-Laplacian problems by using nonlinear spectral theory for homogeneous operators. Recently, Kim and Väth [11] proposed a new approach. They observed the asymptotic behavior of an integral operator corresponding to the nonhomogeneous principal part at infinity and established the existence of an unbounded branch of solutions for equations involving nonhomogeneous operators of p-Laplace type.

In recent years, the study of differential equations and variational problems involving p(x)-growth conditions has received considerable attention since they can model physical phenomena which arise in the study of elastic mechanics, electro-rheological fluid dynamics and image processing, etc. We refer the readers to [1215] and the references therein.

In this paper, we are concerned with the existence of an unbounded branch of the set of solutions for nonlinear elliptic equations of p(x)-Laplacian type subject to the Dirichlet boundary condition

{ div ( ϕ ( x , | u | ) u ) = μ | u | p ( x ) 2 u + f ( λ , x , u , u ) in  Ω , u = 0 on  Ω ,
(B)

when μ is not an eigenvalue of

{ div ( | u | p ( x ) 2 u ) = μ | u | p ( x ) 2 u in  Ω , u = 0 on  Ω .
(E)

Here Ω is a bounded domain in R N with Lipschitz boundary Ω, the functions ϕ(x,t) are of type |t | p ( x ) 2 with a continuous function p: Ω ¯ (1,) and f:R×Ω×R× R N R satisfies a Carathéodory condition. When p(x) is a constant function, the existence of an unbounded branch of the set of solutions for equations of p-Laplacian type operator is obtained in [11] (for generalizations to unbounded domains with weighted functions, see also [16, 17]). For the case of a variable function p(x), the authors in [18] obtained the global bifurcation result for a class of degenerate elliptic equations by observing some properties of the corresponding integral operators in the weighted variable exponent Lebesgue-Sobolev spaces.

In the particular case when ϕ(x,t)=|t | p ( x ) 2 , the operator involved in (B) is the p(x)-Laplacian. The studies for p(x)-Laplacian problems have been extensively considered by many researchers in various ways; see [1823]. As far as we know, there are no papers concerned with the bifurcation theory for the nonlinear elliptic equations involving variable exponents except [18]. Noting that (B) has more complicated nonlinearities (it is nonhomogeneous) than the p-Laplacian equation, we need some more careful and new estimates. In particular, the fact that the principal eigenvalue for problem (E) is isolated plays a key role in obtaining the bifurcation result from the principal eigenvalue. Unfortunately, under some conditions on p(x), the infimum of all positive eigenvalues for the p(x)-Laplacian might be zero; see [21]. This means that there is no principal eigenvalue for some variable exponent p(x). Even if there exists a principal eigenvalue μ , this may not be isolated because μ is the infimum of all positive eigenvalues. Thus we cannot investigate the existence of global branches bifurcating from the principal eigenvalue of the p(x)-Laplacian. However, based on the work of Väth [10], global behavior of solutions for nonlinear problems involving the p(x)-Laplacian was considered in [18].

This paper is organized as follows. In Section 2, we state some basic results for the variable exponent Lebesgue-Sobolev spaces. In Section 3, some properties of the corresponding integral operators are presented. We will prove the main result on global bifurcation for problem (B) in Section 4. Finally, we give an example to illustrate our bifurcation result.

2 Preliminaries

In this section, we state some elementary properties for the variable exponent Lebesgue-Sobolev spaces which will be used in the next sections. The basic properties of the variable exponent Lebesgue-Sobolev spaces can be found in [24, 25].

To make a self-contained paper, we first recall some definitions and basic properties of the variable exponent Lebesgue spaces L p ( x ) (Ω) and the variable exponent Lebesgue-Sobolev spaces W 1 , p ( x ) (Ω).

Set

C + ( Ω ¯ )= { h C ( Ω ¯ ) : min x Ω ¯ h ( x ) > 1 } .

For any h C + ( Ω ¯ ), we define

h + = sup x Ω h(x)and h = inf x Ω h(x).

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

L p ( x ) (Ω):= { u : u  is a measurable real-valued function , Ω | u ( x ) | p ( x ) d x < } ,

endowed with the Luxemburg norm

u L p ( x ) ( Ω ) =inf { λ > 0 : Ω | u ( x ) λ | p ( x ) d x 1 } .

The dual space of L p ( x ) (Ω) is L p ( x ) (Ω), where 1/p(x)+1/ p (x)=1. The variable exponent Lebesgue spaces are a special case of Orlicz-Musielak spaces treated by Musielak in [26].

The variable exponent Sobolev space W 1 , p ( x ) (Ω) is defined by

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

where the norm is

u W 1 , p ( x ) ( Ω ) = u L p ( x ) ( Ω ) + u L p ( x ) ( Ω ) .
(2.1)

Definition 2.1 The exponent p() is said to be log-Hölder continuous if there is a constant C such that

| p ( x ) p ( y ) | C log | x y |
(2.2)

for every x,yΩ with |xy|1/2.

Without additional assumptions on the exponent p(x), smooth functions are not dense in the variable exponent Sobolev spaces. This was considered by Zhikov [27] in connection with Lavrentiev phenomenon. The importance of this above notion relies on the following fact: if p(x) is log-Hölder continuous, then C 0 (Ω) is dense in the variable exponent Sobolev spaces W 1 , p ( x ) (Ω) (see [28, 29]).

Lemma 2.2 ([24, 25])

The space L p ( x ) (Ω) is a separable, uniformly convex Banach space, and its conjugate space is L p ( x ) (Ω), where 1/p(x)+1/ p (x)=1. For any u L p ( x ) (Ω) and v L p ( x ) (Ω), we have

| Ω u v d x | ( 1 p + 1 ( p ) ) u L p ( x ) ( Ω ) v L p ( x ) ( Ω ) 2 u L p ( x ) ( Ω ) v L p ( x ) ( Ω ) .

Lemma 2.3 ([24])

Denote

ρ(u)= Ω | u | p ( x ) dxfor all u L p ( x ) (Ω).

Then

  1. (1)

    ρ(u)>1 (=1; <1) if and only if u L p ( x ) ( Ω ) >1 (=1; <1), respectively;

  2. (2)

    If u L p ( x ) ( Ω ) >1, then u L p ( x ) ( Ω ) p ρ(u) u L p ( x ) ( Ω ) p + ;

  3. (3)

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

Lemma 2.4 ([23])

Let q L (Ω) be such that 1p(x)q(x) for almost all xΩ. If u L q ( x ) (Ω) with u0, then

  1. (1)

    If u L p ( x ) q ( x ) ( Ω ) >1, then u L p ( x ) q ( x ) ( Ω ) q | u | q ( x ) L p ( x ) ( Ω ) u L p ( x ) q ( x ) ( Ω ) q + ;

  2. (2)

    If u L p ( x ) q ( x ) ( Ω ) <1, then u L p ( x ) q ( x ) ( Ω ) q + | u | q ( x ) L p ( x ) ( Ω ) u L p ( x ) q ( x ) ( Ω ) q .

Lemma 2.5 ([20])

Let p C + ( Ω ¯ ) satisfy the log-Hölder continuity condition (2.2). Then, for u W 0 1 , p ( ) (Ω), the p()-Poincaré inequality

u L p ( x ) ( Ω ) C u L p ( x ) ( Ω )

holds, where the positive constant C depends on p and Ω.

Lemma 2.6 ([28])

Let Ω R N be an open, bounded set with Lipschitz boundary and p C + ( Ω ¯ ) with 1< p p + < satisfy the log-Hölder continuity condition (2.2). If q L (Ω) with q >1 satisfies

q(x) p (x):={ N p ( x ) N p ( x ) if  N > p ( x ) , + if  N p ( x ) ,
(2.3)

for all xΩ, then we have

W 1 , p ( x ) (Ω) L q ( x ) (Ω)

and the imbedding is compact if inf x Ω ( p (x)q(x))>0.

3 Properties of the integral operators

In this section, we shall give some properties of the integral operators corresponding to problem (B) by applying the basic properties of the spaces L p ( x ) (Ω) and W 1 , p ( x ) (Ω) which were given in the previous section.

Throughout this paper, let p C + ( Ω ¯ ) satisfy the log-Hölder continuity condition (2.2) and X:= W 0 1 , p ( x ) (Ω) with the norm

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

which is equivalent to norm (2.1) due to Lemma 2.5.

Denote

Ω 1 = { x Ω : 1 < p ( x ) < 2 } , Ω 2 = { x Ω : p ( x ) 2 } .

(We allow the case that one of these sets is empty.) Then it is obvious that Ω= Ω 1 Ω 2 . We assume that

(HJ1) ϕ:Ω×[0,)[0,) satisfies the following conditions: ϕ(,η) is measurable on Ω for all η0 and ϕ(x,) is locally absolutely continuous on [0,) for almost all xΩ.

(HJ2) There are a function a L p ( x ) (Ω) and a nonnegative constant b such that

| ϕ ( x , | v | ) v | a(x)+b | v | p ( x ) 1

for almost all xΩ and for all v R N .

(HJ3) There exists a positive constant c such that the following conditions are satisfied for almost all xΩ:

ϕ(x,η)c η p ( x ) 2 andη ϕ η (x,η)+ϕ(x,η)c η p ( x ) 2
(3.1)

for almost all η(0,1). If x Ω 2 , then condition (3.1) holds for almost all η(1,), and if x Ω 1 , then assume for almost all η(1,) instead

ϕ(x,η)candη ϕ η (x,η)+ϕ(x,η)c.
(3.2)

Let , denote the usual of X and its dual X or the Euclidean scalar product on R N , respectively. Under hypotheses (HJ1) and (HJ2), we define an operator J:X X by

J ( u ) , φ = Ω ϕ ( x , | u ( x ) | ) u ( x ) , φ ( x ) dx
(3.3)

for all φX.

The following estimate is a starting point for obtaining that the operator J is a homeomorphism. When p(x) is constant, this is a particular form of Corollary 3.1 in [11] which is based on Lemma 3.1 in [6]; see [[30], Lemma 1]. In fact, the special case that ϕ is independent of x is considered in [6]. The proof of the following proposition is essentially the same as that in [31]. For convenience, we give the proof.

Proposition 3.1 Let (HJ1) and (HJ3) be satisfied. Then the following estimate

ϕ ( x , | u | ) u ϕ ( x , | v | ) v , u v { c min { 1 , ( | u | + | v | ) p ( x ) 2 } | u v | 2 if  x Ω 1  and  ( u , v ) ( 0 , 0 ) , 4 1 p + c | u v | p ( x ) if  x Ω 2
(3.4)

holds for all u,v R N , where c is the positive constant from (HJ3).

Proof Let u,v R N with (u,v)(0,0). Let ψ i (x,u)=ϕ(x,|u|) u i for i=1,,N and set η=|u|. Observe that

i , j = 1 N ψ i ( x , u ) u j w i w j = 1 η ϕ η ( x , η ) i , j = 1 N w i u i w j u j + ϕ ( x , η ) i = 1 N w i 2 = 1 η ϕ η ( x , η ) w , u 2 + ϕ ( x , η ) | w | 2 = | w | 2 ( η ϕ η ( x , η ) w | w | , u η 2 + ϕ ( x , η ) )

for all u,w R N {0}. We assume that x Ω 2 . Setting λ= w / | w | , u / η 2 , it follows from (3.1) that

λ ( η ϕ η ( x , η ) ) + ϕ ( x , η ) = ( 1 λ ) ϕ ( x , η ) + λ ( η ϕ η ( x , η ) + ϕ ( x , η ) ) c | u | p ( x ) 2 ,

and so

i , j = 1 N ψ i ( x , u ) u j w i w j c | u | p ( x ) 2 | w | 2 .
(3.5)

Noticing that

ψ i (x,u) ψ i (x,v)= 0 1 j = 1 N ψ i ( x , u ¯ ) u ¯ j ( u j v j )dt,
(3.6)

where u ¯ =v+t(uv), we have by (3.5) and (3.6) that

ϕ ( x , | u | ) u ϕ ( x , | v | ) v , u v = i = 1 N ( ψ i ( x , u ) ψ i ( x , v ) ) ( u i v i ) = 0 1 i , j = 1 N ψ i u ¯ j ( x , v + t ( u v ) ) ( u j v j ) ( u i v i ) d t 0 1 c | v + t ( u v ) | p ( x ) 2 | u v | 2 d t .

Without loss of generality, we may suppose that |u||v|. Then we obtain, for all t[0,1/4],

| v + t ( u v ) | |v| 1 4 |uv| 1 4 |uv|

and

ϕ ( x , | u | ) u ϕ ( x , | v | ) v , u v 0 1 c | v + t ( u v ) | p ( x ) 2 | u v | 2 d t 4 1 p + c | u v | p ( x ) .

Now assume that x Ω 1 . As before, we obtain from (3.1) and (3.2) that

i , j = 1 N ψ i ( x , u ) u j w i w j cmin { 1 , | u | p ( x ) 2 } | w | 2

for u,w R N {0}. Using the fact that |tu+(1t)v||u|+|v|, we get

ϕ ( x , | u | ) u ϕ ( x , | v | ) v , u v = 0 1 i , j = 1 N ψ i u ¯ j ( x , v + t ( u v ) ) ( u j v j ) ( u i v i ) d t 0 1 c min { 1 , | v + t ( u v ) | p ( x ) 2 } | u v | 2 d t c min { 1 , ( | u | + | v | ) p ( x ) 2 } | u v | 2 .

This completes the proof. □

From Proposition 3.1, we can obtain the following result.

Theorem 3.2 Assume that (HJ1)-(HJ3) hold. Then the operator J:X X is a continuous, bounded, strictly monotone and coercive on X.

Proof In view of (HJ1) and (HJ2), the superposition operator

Λ(u)(x):=ϕ ( x , | u ( x ) | ) u(x)

acts from L p ( x ) (Ω, R N ) into L p ( x ) (Ω, R N ) and is continuous; see Corollary 5.2.1 in [32]. Hence the continuity of J follows from the fact that J is the composition of the continuous map :X L p ( x ) (Ω, R N ), the map Λ and the bounded linear map D: L p ( x ) (Ω, R N ) X given by

Dv,w= Ω v ( x ) , w ( x ) dx.

Hence the operator J is bounded and continuous on X.

For any u in X with u X >1, it follows from (HJ3) that

J ( u ) , u C u X p

for some positive constant C. Thus we get that

J ( u ) , u u X

as u X and therefore the operator J is coercive on X.

Next we will show that the operator J is strictly monotone on X. Set

p 0 = inf x Ω 1 p(x), p 1 = sup x Ω 1 p(x)

and

p 2 = inf x Ω 2 p(x), p 3 = sup x Ω 2 p(x).

(Of course, if the sets Ω 1 and Ω 2 are nonempty, then p 1 = p 2 =2 by the continuity of p(x).) It is clear that

J ( u ) J ( v ) , u v = Ω ϕ ( x , | u ( x ) | ) u ( x ) ϕ ( x , | v ( x ) | ) v ( x ) , u ( x ) v ( x ) d x = Ω 1 ϕ ( x , | u ( x ) | ) u ( x ) ϕ ( x , | v ( x ) | ) v ( x ) , u ( x ) v ( x ) d x + Ω 2 ϕ ( x , | u ( x ) | ) u ( x ) ϕ ( x , | v ( x ) | ) v ( x ) , u ( x ) v ( x ) d x .

To get strict monotonicity of the operator J, without loss of generality, we divide the proof into two cases.

Case 1. Let u, v be in X with u v L p ( x ) ( Ω i ) >1 for i=1,2. By Proposition 3.1, we have

ϕ ( x , | u ( x ) | ) u ( x ) ϕ ( x , | v ( x ) | ) v ( x ) , u ( x ) v ( x ) 4 1 p + c | u ( x ) v ( x ) | p ( x )

for almost all x Ω 2 . Integrating the above inequality over Ω and using Lemma 2.3, we assert that

J ( u ) J ( v ) , u v = Ω ϕ ( x , | u ( x ) | ) u ( x ) ϕ ( x , | v ( x ) | ) v ( x ) , u ( x ) v ( x ) d x 4 1 p + c u v L p ( x ) ( Ω 2 ) p 2 4 1 p + c u v L p ( x ) ( Ω 2 ) 2 p 0 p 1 .
(3.7)

For almost all x Ω 1 , by Proposition 3.1, we have

J ( u ) J ( v ) , u v = Ω ϕ ( x , | u ( x ) | ) u ( x ) ϕ ( x , | v ( x ) | ) v ( x ) , u ( x ) v ( x ) d x c Ω 1 p ( x ) 2 | u ( x ) v ( x ) | 2 d x ,
(3.8)

where (x)=min{1,|u(x)|+|v(x)|}. From Hölder’s inequality in Lemma 2.2, we obtain that

Ω 1 | u ( x ) v ( x ) | p ( x ) d x = Ω 1 p ( x ) ( 2 p ( x ) ) 2 ( p ( x ) ( p ( x ) 2 ) 2 | u ( x ) v ( x ) | p ( x ) ) d x 2 p ( x ) ( 2 p ( x ) ) 2 L 2 2 p ( x ) ( Ω 1 ) p ( x ) ( p ( x ) 2 ) 2 | u v | p ( x ) L 2 p ( x ) ( Ω 1 ) .
(3.9)

The first term on the right-hand side in (3.9) is calculated by Lemma 2.4 as follows:

p ( x ) ( 2 p ( x ) ) 2 L 2 2 p ( x ) ( Ω 1 ) L p ( x ) ( Ω 1 ) p 0 ( 2 p 1 ) 2 + L p ( x ) ( Ω 1 ) p 1 ( 2 p 0 ) 2 | u | + | v | L p ( x ) ( Ω 1 ) p 0 ( 2 p 1 ) 2 + | u | + | v | L p ( x ) ( Ω 1 ) p 1 ( 2 p 0 ) 2 ( u L p ( x ) ( Ω ) + v L p ( x ) ( Ω ) ) p 0 ( 2 p 1 ) 2 + ( u L p ( x ) ( Ω ) + v L p ( x ) ( Ω ) ) p 1 ( 2 p 0 ) 2

for any u,vX. Since u v L p ( x ) ( Ω 1 ) >1, we deduce that

p ( x ) ( 2 p ( x ) ) 2 L 2 2 p ( x ) ( Ω 1 ) 2 ( u X + v X ) p 1 ( 2 p 0 ) 2 .
(3.10)

If

Ω 1 p ( x ) 2 | u ( x ) v ( x ) | 2 dx>1,

then it follows from (3.9), (3.10), Lemmas 2.3 and 2.4 that

u v L p ( x ) ( Ω 1 ) p 0 4 ( u X + v X ) p 1 ( 2 p 0 ) 2 p ( x ) ( p ( x ) 2 ) 2 | u v | p ( x ) L 2 p ( x ) ( Ω 1 ) 4 ( u X + v X ) p 1 ( 2 p 0 ) 2 ( Ω 1 p ( x ) 2 | u ( x ) v ( x ) | 2 d x ) p 1 2 .

Hence we deduce that

J ( u ) J ( v ) , u v c 4 2 p 1 ( u X + v X ) p 0 2 u v L p ( x ) ( Ω 1 ) 2 p 0 p 1 c 4 2 p 1 ( u X + v X ) p 1 ( p 0 2 ) p 0 u v L p ( x ) ( Ω 1 ) 2 p 0 p 1 .
(3.11)

On the other hand, if

Ω 1 p ( x ) 2 | u ( x ) v ( x ) | 2 dx<1,

then the analogous argument implies that

J ( u ) J ( v ) , u v C 1 ( u X + v X ) p 1 ( p 0 2 ) p 0 u v L p ( x ) ( Ω 1 ) 2
(3.12)

for some positive constant C 1 . From the previous inequalities (3.11) and (3.12), we have that

J ( u ) J ( v ) , u v C 2 ( u X + v X ) p 1 ( p 0 2 ) p 0 u v L p ( x ) ( Ω 1 ) 2 p 0 p 1 ,
(3.13)

where C 2 is a positive constant. Consequently, we obtain by (3.7) and (3.13) that

J ( u ) J ( v ) , u v = Ω ϕ ( x , | u ( x ) | ) u ( x ) ϕ ( x , | v ( x ) | ) v ( x ) , u ( x ) v ( x ) d x C 2 ( u X + v X ) p 1 ( p 0 2 ) p 0 u v L p ( x ) ( Ω 1 ) 2 p 0 p 1 + 4 1 p + c u v L p ( x ) ( Ω 2 ) 2 p 0 p 1 C 3 ( u X + v X ) p 1 ( p 0 2 ) p 0 u v L p ( x ) ( Ω ) 2 p 0 p 1 C 4 ( u X + v X ) p 1 ( p 0 2 ) p 0 u v X 2 p 0 p 1

for some positive constants C 3 and C 4 .

Case 2. Let u, v be in X with u v L p ( x ) ( Ω i ) <1 for i=1,2 and (u,v)(0,0). For almost all x Ω 1 , the following inequality holds:

( | u | + | v | ) p ( x ) 2 | u v | 2 | u v | p ( x ) .
(3.14)

From the above relation (3.14) and Lemmas 2.2 and 2.4, we obtain that

Ω 1 | u v | p ( x ) d x = Ω 1 ( | u | + | v | ) p ( x ) ( 2 p ( x ) ) 2 ( ( | u | + | v | ) p ( x ) ( p ( x ) 2 ) 2 | u v | p ( x ) ) d x 2 ( | u | + | v | ) p ( x ) ( 2 p ( x ) ) 2 L 2 2 p ( x ) ( Ω 1 ) ( | u | + | v | ) p ( x ) ( p ( x ) 2 ) 2 | u v | p ( x ) L 2 p ( x ) ( Ω 1 ) 2 ( u L p ( x ) ( Ω ) + v L p ( x ) ( Ω ) ) α × ( Ω 1 ( | u | + | v | ) p ( x ) 2 | u v | 2 d x ) p 0 2 ,
(3.15)

where α is either p 0 ( 2 p 1 ) 2 or p 1 ( 2 p 0 ) 2 . Since ( | u | + | v | ) p ( x ) 2 | u v | 2 p ( x ) 2 | u v | 2 , we assert by (3.15) and Proposition 3.1 that

u v L p ( x ) ( Ω 1 ) p 1 2 ( u X + v X ) α ( Ω 1 p ( x ) 2 | u v | 2 d x ) p 0 2 ,

and so

J ( u ) J ( v ) , u v c 2 2 p 0 ( u X + v X ) 2 α p 0 u v L p ( x ) ( Ω 1 ) 2 p 1 p 0
(3.16)

for almost all x Ω 1 . For almost all x Ω 2 , Proposition 3.1 yields the following estimate:

J ( u ) J ( v ) , u v 4 1 p + c u v L p ( x ) ( Ω 2 ) p 3 .
(3.17)

Consequently, it follows from (3.16) and (3.17) that

J ( u ) J ( v ) , u v c 2 2 p 0 ( u X + v X ) 2 α p 0 u v L p ( x ) ( Ω 1 ) 2 p 1 p 0 + 4 1 p + c u v L p ( x ) ( Ω 2 ) p 3 C 5 min { c 2 2 p 0 ( u X + v X ) 2 α p 0 , 4 1 p + c } u v X max { 2 p 1 p 0 , p 3 }
(3.18)

for some constant C 5 >0. This completes the proof. □

Using the previous result, we show the topological property of the operator J which will be needed in the main result of the next section.

Lemma 3.3 If (HJ1), (HJ2) and (HJ3) hold, then J:X X is a homeomorphism onto X .

Proof From Theorem 3.2, we see that J:X X is strictly monotone and coercive. The Browder-Minty theorem hence implies that the inverse operator J 1 : X X exists and is bounded; see Theorem 26.A. in [33]. For each h X , let ( h n ) be any sequence in X that converges to h in X . Set u n = J 1 ( h n ) and u= J 1 (h) with u n u X <1. We obtain from (3.18) that

u n u X C 5 1 β min { c 2 2 p 0 ( u n X + u X ) 2 α p 0 , 4 1 p + c } 1 β J ( u n ) J ( u ) X 1 β ,

where β=max{ 2 p 1 p 0 , p 3 }. Since { u n :nN} is bounded in X and J( u n )J(u) in X as n, it follows that ( u n ) converges to u in X. Thus, J 1 is continuous at each h X . This completes the proof. □

The main idea in obtaining our bifurcation result is to study the asymptotic behavior of the integral operator J and then to deduce a spectral result for operators that are not necessarily homogeneous. To do this, we consider a function ϕ p ( ) :Ω× R N R N defined by

ϕ p ( x ) (x,v):= | v | p ( x ) 2 v

and an operator J p ( ) :X X defined by

J p ( ) ( u ) , φ := Ω ϕ p ( x ) ( x , u ( x ) ) , φ ( x ) dx

for all φX.

To discuss the asymptotic behavior of J, we require the following hypothesis.

(HJ4) For each ε>0, there is a function M L p ( x ) (Ω) such that for almost all xΩ the following holds:

| ϕ ( x , | v | ) v ϕ p ( x ) ( x , v ) | | v | p 1 ε

for all v R N with |v|>|M(x)|.

Now we can show that the operators J and J p ( ) are asymptotic at infinity, as in Proposition 5.1 of [11].

Proposition 3.4 Assume that (HJ1), (HJ2) and (HJ4) are fulfilled. Then we have

lim u X J ( u ) J p ( ) ( u ) X u X p 1 =0.

Proof Given ε>0, choose an M L p ( x ) (Ω) such that for almost all xΩ the following holds:

|ϕ ( x , | v | ) v ϕ p ( x ) (x,v)|ε|v | p 1

for all v R N with |v|>|M(x)|. We have by (HJ2) that for almost all xΩ the estimate

|ϕ ( x , | v | ) v ϕ p ( x ) (x,v)|a(x)+(b+1) | M ( x ) | p ( x ) 1

holds for all v R N with |v||M(x)|. Set

α M (x)=a(x)+(b+1) | M ( x ) | p ( x ) 1 .

Then α M belongs to L p ( x ) (Ω) and for almost all xΩ, the estimate

|ϕ ( x , | v | ) v ϕ p ( x ) (x,v)|max { | α M ( x ) | , ε | v | p 1 }

holds for all v R N . From Hölder’s inequality, we have that

| J ( u ) J p ( ) ( u ) , φ | = | Ω ϕ ( x , | u ( x ) | ) u ( x ) ϕ p ( x ) ( x , u ( x ) ) , φ ( x ) d x | 2 ϕ ( x , | u | ) u ϕ p ( x ) ( x , u ) L p ( x ) ( Ω ) φ L p ( x ) ( Ω )

for all φX, and hence for each uX, we obtain by Minkowski’s inequality and the fact that W 0 1 , p ( x ) (Ω) W 0 1 , p (Ω) that

J ( u ) J p ( ) ( u ) X = sup φ X 1 | J ( u ) J p ( ) ( u ) , φ | 2 ( ϕ ( x , | u | ) u ϕ p ( x ) ( x , u ) L p ( x ) ( Ω ) ) 2 ( α M L p ( x ) ( Ω ) + ε | u | p 1 L p ( x ) ( Ω ) ) 2 ( α M L p ( x ) ( Ω ) + ε C 1 | u | p 1 L ( p ) + ( Ω ) ) 2 ( α M L p ( x ) ( Ω ) + ε C 1 ( Ω | u | p d x ) p 1 p ) 2 ( α M L p ( x ) ( Ω ) + ε C 1 u W 0 1 , p ( Ω ) p 1 ) 2 ( α M L p ( x ) ( Ω ) + ε C 2 u X p 1 )

for some positive constants C 1 and C 2 . From

J ( u ) J p ( ) ( u ) X u X p 1 2 ( α M L p ( x ) ( Ω ) u X p 1 + ε C 2 ) ,

the conclusion follows, because the right-hand side of the inequality tends to ε as u X . This completes the proof. □

Next we deal with the properties for the superposition operator induced by the function f in (B). In particular, we give the compactness of this operator and the behavior of that at infinity, respectively. The ideas of the proof about these properties are completely the same as in [18]. We assume that the variable exponents are subject to the following restrictions:

{ p ( x ) : = N p ( x ) N p ( x ) , q ( x ) ( N p ( x ) N p ( x ) N + p ( x ) , ) if  N > p ( x ) , p ( x ) , q ( x ) ( 1 , )  arbitrary if  N p ( x )

for almost all xΩ. Assume that

(F1) f:R×Ω×R× R N R satisfies the Carathéodory condition in the sense that f(λ,,u,v) is measurable for all (λ,u,v)R×R× R N and f(,x,,) is continuous for almost all xΩ.

(F2) For each bounded interval IR, there are a function a I L q ( x ) (Ω) and a nonnegative constant b I such that

| f ( λ , x , u , v ) | a I (x)+ b I ( | u | p ( x ) q ( x ) + | v | p ( x ) q ( x ) )

for almost all xΩ and all (λ,u,v)I×R× R N .

(F3) There exist a function a L p ( x ) (Ω) and a locally bounded function b:[0,)R with lim r b(r)/r=0 such that

| f ( 0 , x , u , v ) | a(x)+ [ b ( | u | + | v | ) ] p 1

for almost all xΩ and all (u,v)R× R N .

Under assumptions (F1) and (F2), we can define an operator F:R×X X by

F ( λ , u ) , v = Ω f ( λ , x , u ( x ) , u ( x ) ) v(x)dx
(3.19)

and an operator G:X X by

G ( u ) , v = Ω | u ( x ) | p ( x ) 2 u(x)v(x)dx
(3.20)

for all vX.

In proving the following result, a key idea is to use a continuity result on the superposition operators due to Väth [34]. For the case that p(x) is a constant function, it has been proved in [11].

Lemma 3.5 If (F1) and (F2) hold, then F:R×X X is continuous and compact. Moreover, the operator G:X X is continuous and compact.

Proof A linear operator I 1 :R×XR× L p ( x ) (Ω)× L p ( x ) (Ω, R N ) defined by

I 1 (λ,u):=(λ,u,u)for (λ,u)R×X

is clearly bounded because u L p ( x ) ( Ω ) C u X for some positive constant C. Set Y:=R× L p ( x ) (Ω)× L p ( x ) (Ω, R N ). Define the superposition operator Φ:Y L q ( x ) (Ω) by

Φ(λ,u,v)(x):=f ( λ , x , u ( x ) , v ( x ) ) .

If I is a bounded interval in and a I L q ( x ) (Ω) and b I [0,) are chosen from (F2), then Φ is bounded because

Ω | Φ ( λ , u , v ) | q ( x ) d x Ω ( 3 max { | a I | , b I | u | p ( x ) q ( x ) , b I | v | p ( x ) q ( x ) } ) q ( x ) d x 3 q + ( Ω [ | a I | + b I | u | p ( x ) q ( x ) + b I | v | p ( x ) q ( x ) ] q ( x ) d x ) 12 q + ( Ω | a I | q ( x ) d x + ( 1 + b I ) q + Ω | u | p ( x ) d x + ( 1 + b I ) q + Ω | v | p ( x ) d x ) .

Since Y is a generalized ideal space and L q ( x ) (Ω) is a regular ideal space (since L q ( x ) (Ω) satisfies Δ 2 -condition), Theorem 6.4 of [34] implies that Φ is continuous on Y. Recalling the fact that the conjugate function of q(x) is strictly less than p (x), we know by Lemma 2.6 that the embedding I 2 :X L q ( x ) (Ω) is continuous and compact and so is the adjoint operator I 2 : L q ( x ) (Ω) X given by

I 2 ( u ) , φ = Ω uφdx

for any φX. From the relation F= I 2 Φ I 1 , it follows that F is continuous and compact. In particular, if we set f(λ,x,u,v)= | u | p ( x ) 2 u, then G is continuous and compact. This completes the proof. □

We observe the behavior of F(0,) at infinity.

Lemma 3.6 Under assumptions (F1) and (F3), the operator F(0,):X X has the following property:

lim u X F ( 0 , u ) X u X p 1 =0.

Proof Let 0<ε<1 be arbitrary. Choose a positive constant R such that |b(r)|εr for all rR. Since b is locally bounded, there is a nonnegative constant C R such that |b(r)| C R for all r[0,R]. Let uX. Set Ω R ={xΩ:|u(x)|+|u(x)|R}. By assumption (F3), Minkowski’s inequality and the fact that W 0 1 , p ( x ) (Ω) W 0 1 , p (Ω), we obtain

f ( 0 , x , u ( x ) , u ( x ) ) L p ( x ) ( Ω ) a L p ( x ) ( Ω ) + b ( | u | + | u | ) p 1 L p ( x ) ( Ω ) a L p ( x ) ( Ω ) + C b ( | u | + | u | ) p 1 L ( p ) + ( Ω ) a L p ( x ) ( Ω ) + C ( Ω | b ( | u ( x ) | + | u ( x ) | ) | p d x ) 1 ( p ) + a L p ( x ) ( Ω ) + C ( Ω R ( C R ) p d x ) p 1 p + C ( Ω Ω R ε p ( | u ( x ) | + | u ( x ) | ) p d x ) p 1 p a L p ( x ) ( Ω ) + C ( C R p meas ( Ω R ) ) p 1 p + 2 p 1 ε p 1 C u W 0 1 , p ( Ω ) p 1 a L p ( x ) ( Ω ) + C ( C R p meas ( Ω R ) ) p 1 p + 2 p 1 ε p 1 C u X p 1

for all uX, where C are some positive constants. It follows from Hölder’s inequality that

| F ( 0 , u ) , φ | 2 f ( 0 , x , u ( x ) , u ( x ) ) L p ( x ) ( Ω ) φ L p ( x ) ( Ω ) C ( a L p ( x ) ( Ω ) + ( C R p meas ( Ω R ) ) p 1 p + 2 p 1 ε p 1 u X p 1 ) φ X

for all u,φX. Therefore, we get

lim u X F ( 0 , u ) X u X p 1 =0.

 □

Recall that a real number μ is called an eigenvalue of (E) if the equation

J p ( ) (u)=μG(u)

has a solution u 0 in X that is different from the origin.

Now we consider the following spectral result for nonhomogeneous operators. When p(x) is a constant function, the following assertion has been shown to hold by virtue of the Furi-Martelli-Vignoli spectrum; see Theorem 4 of [35] or Lemma 27 of [10].

Lemma 3.7 If μ is not an eigenvalue of (E), we have

lim inf u X J ( u ) μ G ( u ) X u X p 1 >0.

Proof Suppose that

lim inf u X J ( u ) μ G ( u ) X u X p 1 =0.

Choose an unbounded sequence ( u n ) in X with u n X >1 such that

J ( u n ) μ G ( u n ) X u n X p 1 0as n.
(3.21)

Set v n = u n / u n X for nN. Then we have

J p ( ) ( v n ) μ G ( v n ) X J p ( ) ( u n ) J ( u n ) X u n X p 1 + J ( u n ) μ G ( u n ) X u n X p 1 .

Hence it follows from Proposition 3.4 and (3.21) that

J p ( ) ( v n ) μ G ( v n ) X 0as n.
(3.22)

By the compactness of G, we may assume that G( v n ) converges to some point w X . From (3.22) it follows that J p ( ) ( v n )μw as n. Put v:= J p ( ) 1 (μw). Since J p ( ) is a homeomorphism (see Theorem 3.2 in [18]), we get that v0 and v n v as n and so

J p ( ) ( v ) μ G ( v ) X J p ( ) ( v ) J p ( ) ( v n ) X + J p ( ) ( v n ) μ G ( v n ) X + μ G ( v n ) μ G ( v ) X 0 as  n .

We conclude that μ is an eigenvalue of (E). This completes the proof. □

4 Main result

In this section, we are preparing to prove our main result. First we give the definition of weak solutions for our problem.

Definition 4.1 A weak solution of (B) is a pair (λ,u) in R×X such that

J(u)μG(u)=F(λ,u)in  X ,

where J, F and G are defined by (3.3), (3.19) and (3.20), respectively.

The following result about the existence of an unbounded branch of solutions for nonlinear operator equations is taken from Theorem 2.2 of [11] (see also [10]) as a key tool in obtaining our bifurcation result.

Lemma 4.2 Let X be a Banach space and Y be a normed space. Suppose that J:XY is a homeomorphism and G:XY is a continuous and compact operator such that the composition J 1 (G) is odd. Let F:R×XY be a continuous and compact operator. If the set

t [ 0 , 1 ] { u X : J ( u ) + G ( u ) = t F ( 0 , u ) }

is bounded, then the set

{ ( λ , u ) R × X : J ( u ) + G ( u ) = F ( λ , u ) }

has an unbounded connected set C(R{0})×X such that C ¯ intersects {0}×X.

Proof Since J 1 (G) is odd, Borsuk’s theorem implies that the condition

deg ( I ( J 1 ( G ) ) , B r , 0 ) 0

is satisfied for all sufficiently large r>0, where I is the identity operator on X and B r is the open ball in X centered at 0 of radius r, respectively. In view of Theorem 2.2 of [11], the conclusion holds. □

Based on the above lemma, we now can prove the main result on bifurcation result for problem (B).

Theorem 4.3 Suppose that conditions (HJ1)-(HJ4) and (F1)-(F3) are satisfied. If μ is not an eigenvalue of (E), then there is an unbounded connected set C(R{0})×X such that every point (λ,u) in C is a weak solution of the above problem (B) and C ¯ intersects {0}×X.

Proof Apply Lemma 4.2 with X= W 0 1 , p ( x ) (Ω) and Y= X . From Lemmas 3.3 and 3.5 we know that J:X X is a homeomorphism, the operators G and F are continuous and compact, and J 1 (μG) is odd. Since μ is not an eigenvalue of (E), Lemmas 3.6 and 3.7 imply that for some β>0, there is a positive constant R>1 such that

J ( u ) μ G ( u ) X >β u X p 1 > F ( 0 , u ) X t F ( 0 , u ) X

for all uX with u X R and for all t[0,1]. Therefore, the set

S= t [ 0 , 1 ] { u X : J ( u ) μ G ( u ) = t F ( 0 , u ) }

is bounded. By Lemma 4.2, the set

{ ( λ , u ) R × X : J ( u ) μ G ( u ) = F ( λ , u ) }

contains an unbounded connected set C which C ¯ intersects {0}×X. This completes the proof. □

Finally, we give an example which illustrates an application of our bifurcation result.

Example 4.4 Let β( p 1, p + ], w L (Ω) and α L p ( x ) / β (Ω) L (Ω). Assume that w(x)ε>0 and there is a real number δ in (0,1] such that

δ1α(x)max { 2 ( p 1 ) β ( p 1 ) , 4 β ( p 1 ) ( β ( p 1 ) ) 2 δ }

for almost all xΩ. Let

ϕ ( x , | v | ) =ω(x) ( 1 + α ( x ) 1 + | v | β ) | v | p ( x ) 2

for all v R N . If μ is not an eigenvalue of (E) and assumptions (F1)-(F3) are fulfilled, then there is an unbounded connected set C intersecting {0}×X such that every point (λ,u) in C is a weak solution of the nonlinear equation

{ div ( ϕ ( x , | u | ) u ) = μ | u | p 2 u + f ( λ , x , u , u ) in  Ω , u = 0 on  Ω .

Proof Putting λ(x):=(p(x)1)/β, we claim that

| α ( x ) | 1 + | v | β |v | p ( x ) 1 | α ( x ) | λ ( x ) λ + | v | p ( x ) 1 1 λ + ( v R N ) .

If v=0, the inequality is clear. Now let v0. It follows from Young’s inequality that

| α ( x ) | 1 + | v | β = | α ( x ) | | v | β | v | β ( 1 + | v | β ) | α ( x ) | λ ( x ) λ | v | p ( x ) 1 + | v | β ( 1 λ ( x ) ) ( 1 λ + ) ( 1 + | v | β ) 1 λ ( x )

and hence

| α ( x ) | 1 + | v | β | v | p ( x ) 1 | α ( x ) | λ ( x ) λ + | v | β ( 1 λ + ) | v | β ( 1 λ ( x ) ) = | α ( x ) | λ ( x ) λ + | v | p ( x ) 1 1 λ + .

Set a(x)=|w(x)| ( λ ) 1 |α(x) | λ ( x ) and choose c 0 >0 such that |w(x)| c 0 for almost everywhere xΩ. Then

Ω | a ( x ) | p ( x ) d x = Ω | w ( x ) | p ( x ) 1 λ p ( x ) | α ( x ) | λ ( x ) p ( x ) d x ( c 0 λ ) ( p ) + Ω | α ( x ) | p ( x ) β d x < , i.e. , a L p ( x ) ( Ω ) .

Thus (HJ1) and (HJ2) are satisfied. Removing some null set from Ω if necessary, we may suppose that the hypotheses are satisfied for all xΩ. If we put

ϕ(x,η)=w(x) ( 1 + α ( x ) 1 + η β ) η p ( x ) 2 (η0),

we observe that the first relation in (3.1) holds, because α(x)ε1 and w(x)ε>0. Moreover, a straightforward calculation shows that for all u>0,

1 w ( x ) η p ( x ) 2 ( η ϕ η ( x , η ) + ϕ ( x , η ) ) ( p 1 ) ( 1 + α ( x ) 1 + η β ) α ( x ) β η β ( 1 + η β ) 2 = p 1 ( 1 + η β ) 2 ( η 2 β + [ 2 ( β p 1 1 ) α ( x ) ] η β + [ α ( x ) + 1 ] ) .

From an analogous argument in the proof of Corollary 3.2 in [11], we can show that this expression is bounded from below by a positive constant which is independent of η>0 and xΩ. Therefore (HJ3) is satisfied. Finally, (HJ4) holds if for each ε>0 we choose

M(x)=| ε 1 w(x)α(x) | 1 / β

for almost all xΩ. □

References

  1. Rabinowitz PH: Some global results for non-linear eigenvalue problems. J. Funct. Anal. 1971, 7: 487-513. 10.1016/0022-1236(71)90030-9

    Article  MathSciNet  Google Scholar 

  2. Krasnoselskii MA: Topological Methods in the Theory of Nonlinear Integral Equations. Pergamon, New York; 1965.

    Google Scholar 

  3. Del Pino MA, Manasevich RF: Global bifurcation from the eigenvalues of the p -Laplacian. J. Differ. Equ. 1991, 92: 226-251. 10.1016/0022-0396(91)90048-E

    Article  MathSciNet  Google Scholar 

  4. Drábek P: On the global bifurcation for a class of degenerate equations. Ann. Mat. Pura Appl. 1991, 159: 1-16. 10.1007/BF01766290

    Article  MathSciNet  Google Scholar 

  5. Drábek P, Kufner A, Nicolosi F: Quasilinear Elliptic Equations with Degenerations and Singularities. de Gruyter, Berlin; 1997.

    Book  Google Scholar 

  6. Fukagai N, Ito M, Narukawa K: A bifurcation problem of some nonlinear degenerate elliptic equations. Adv. Differ. Equ. 1997, 2: 895-926.

    MathSciNet  Google Scholar 

  7. Le VK, Schmitt K: Global Bifurcation in Variational Inequalities: Applications to Obstacle and Unilateral Problems. Springer, New York; 1997.

    Book  Google Scholar 

  8. Schmitt K, Sim I: Bifurcation problems associated with generalized Laplacians. Adv. Differ. Equ. 2004, 9: 797-828.

    MathSciNet  Google Scholar 

  9. Stuart CA: Some bifurcation theory for k -set contractions. Proc. Lond. Math. Soc. 1973, 27: 531-550.

    Article  Google Scholar 

  10. Väth M: Global bifurcation of the p -Laplacian and related operators. J. Differ. Equ. 2005, 213: 389-409. 10.1016/j.jde.2004.10.005

    Article  Google Scholar 

  11. Kim Y-H, Väth M: Global solution branches for equations involving nonhomogeneous operators of p -Laplace type. Nonlinear Anal. 2011, 74: 1878-1891. 10.1016/j.na.2010.10.059

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  13. Rajagopal K, Ru̇žička M: Mathematical modeling of electrorheological materials. Contin. Mech. Thermodyn. 2001, 13: 59-78. 10.1007/s001610100034

    Article  Google Scholar 

  14. Ru̇žička M Lecture Notes in Mathematics 1748. In Electrorheological Fluids: Modeling and Mathematical Theory. Springer, Berlin; 2000.

    Google Scholar 

  15. Zhikov VV: On the density of smooth functions in Sobolev-Orlicz spaces. Zap. Nauč. Semin. POMI 2004, 226: 67-81.

    Google Scholar 

  16. Kim I-S, Kim Y-H: Global bifurcation for nonlinear equations. Nonlinear Anal. 2008, 69: 2362-2368. 10.1016/j.na.2007.08.013

    Article  MathSciNet  Google Scholar 

  17. Kim I-S, Kim Y-H: Global bifurcation for equations involving nonhomogeneous operators in an unbounded domain. Nonlinear Anal. 2010, 73: 1057-1064. 10.1016/j.na.2010.04.037

    Article  MathSciNet  Google Scholar 

  18. Kim Y-H, Wang L, Zhang C: Global bifurcation for a class of degenerate elliptic equations with variable exponents. J. Math. Anal. Appl. 2010, 371: 624-637. 10.1016/j.jmaa.2010.05.058

    Article  MathSciNet  Google Scholar 

  19. Benouhiba N:On the eigenvalues of weighted p(x)-Laplacian on R N . Nonlinear Anal. 2011, 74: 235-243. 10.1016/j.na.2010.08.037

    Article  MathSciNet  Google Scholar 

  20. Fan X, Zhao D:Existence of solutions for p(x)-Laplacian. Nonlinear Anal. 2003, 52: 1843-1852. 10.1016/S0362-546X(02)00150-5

    Article  MathSciNet  Google Scholar 

  21. Fan X, Zhang Q, Zhao D:Eigenvalues of p(x)-Laplacian Dirichlet problem. J. Math. Anal. Appl. 2005, 302: 306-317. 10.1016/j.jmaa.2003.11.020

    Article  MathSciNet  Google Scholar 

  22. Sim I, Kim Y-H: Existence of solutions and positivity of the infimum eigenvalue for degenerate elliptic equations with variable exponents. Discrete Contin. Dyn. Syst. 2013, 2013: 695-707. suppl.

    Google Scholar 

  23. Szulkin A, Willem M: Eigenvalue problem with indefinite weight. Stud. Math. 1995, 135: 191-201.

    MathSciNet  Google Scholar 

  24. Fan X, 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.7617

    Article  MathSciNet  Google Scholar 

  25. Kováčik O, Rákosník J:On spaces L p ( x ) and W k , p ( x ) . Czechoslov. Math. J. 1991, 41: 592-618.

    Google Scholar 

  26. Musielak J: Orlicz Spaces and Modular Spaces. Springer, Berlin; 1983.

    Google Scholar 

  27. Zhikov VV: On some variational problems. Russ. J. Math. Phys. 1997, 5: 105-116.

    MathSciNet  Google Scholar 

  28. Diening L:Riesz potential and Sobolev embeddings on generalized Lebesgue and Sobolev spaces L p ( ) and W k , p ( ) . Math. Nachr. 2004, 268: 31-43. 10.1002/mana.200310157

    Article  MathSciNet  Google Scholar 

  29. Harjulehto P: Variable exponent Sobolev spaces with zero boundary values. Math. Bohem. 2007, 132: 125-136.

    MathSciNet  Google Scholar 

  30. Tolksdorf P: Regularity for a more general class of quasilinear elliptic equations. J. Differ. Equ. 1984, 51: 126-150. 10.1016/0022-0396(84)90105-0

    Article  MathSciNet  Google Scholar 

  31. Kim, IH, Kim, Y-H: Mountain pass type solutions and positivity of the infimum eigenvalue for quasilinear elliptic equations with variable exponents (submitted)

  32. Väth M Lecture Notes in Mathematics 1664. In Ideal Spaces. Springer, Berlin; 1997.

    Google Scholar 

  33. Zeidler E: Nonlinear Functional Analysis and Its Applications. II/B. Springer, New York; 1990.

    Book  Google Scholar 

  34. Väth M: Continuity of single- and multivalued superposition operators in generalized ideal spaces of measurable vector functions. Nonlinear Funct. Anal. Appl. 2006, 11: 607-646.

    MathSciNet  Google Scholar 

  35. Giorgieri E, Appell J, Väth M: Nonlinear spectral theory for homogeneous operators. Nonlinear Funct. Anal. Appl. 2002, 7: 589-618.

    MathSciNet  Google Scholar 

Download references

Acknowledgements

This research was supported by a 2011 Research Grant from Sangmyung University.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Yun-Ho Kim.

Additional information

Competing interests

The author declares that he has no competing interests.

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

Cite this article

Kim, YH. Existence of an unbounded branch of the set of solutions for equations of p(x)-Laplace type. Bound Value Probl 2014, 27 (2014). https://doi.org/10.1186/1687-2770-2014-27

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-2770-2014-27

Keywords