Abstract
We are concerned with the following nonlinear problem
subject to Dirichlet boundary conditions, provided that μ is not an eigenvalue of the Laplacian. The purpose of this paper is to study the global behavior of the set of solutions for nonlinear equations of Laplacian type by applying a bifurcation result for nonlinear operator equations.
MSC: 35B32, 35D30, 35J60, 35P30, 37K50, 46E35, 47J10.
Keywords:
Laplacian; variable exponent LebesgueSobolev spaces; weak solution; eigenvalue1 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 pLaplacian 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 pLaplacian, under suitable conditions, Väth [10] introduced another new approach to establish the existence of a global branch of solutions for the pLaplacian 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 pLaplace type.
In recent years, the study of differential equations and variational problems involving growth conditions has received considerable attention since they can model physical phenomena which arise in the study of elastic mechanics, electrorheological 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 Laplacian type subject to the Dirichlet boundary condition
when μ is not an eigenvalue of
Here Ω is a bounded domain in with Lipschitz boundary ∂Ω, the functions are of type with a continuous function and satisfies a Carathéodory condition. When is a constant function, the existence of an unbounded branch of the set of solutions for equations of pLaplacian 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 , 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 LebesgueSobolev spaces.
In the particular case when , the operator involved in (B) is the Laplacian. The studies for 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 pLaplacian 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 , the infimum of all positive eigenvalues for the Laplacian might be zero; see [21]. This means that there is no principal eigenvalue for some variable exponent . 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 Laplacian. However, based on the work of Väth [10], global behavior of solutions for nonlinear problems involving the Laplacian was considered in [18].
This paper is organized as follows. In Section 2, we state some basic results for the variable exponent LebesgueSobolev 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 LebesgueSobolev spaces which will be used in the next sections. The basic properties of the variable exponent LebesgueSobolev spaces can be found in [24,25].
To make a selfcontained paper, we first recall some definitions and basic properties of the variable exponent Lebesgue spaces and the variable exponent LebesgueSobolev spaces .
Set
For any , we introduce the variable exponent Lebesgue space
endowed with the Luxemburg norm
The dual space of is , where . The variable exponent Lebesgue spaces are a special case of OrliczMusielak spaces treated by Musielak in [26].
The variable exponent Sobolev space is defined by
where the norm is
Definition 2.1 The exponent is said to be logHölder continuous if there is a constant C such that
Without additional assumptions on the exponent , 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 is logHölder continuous, then is dense in the variable exponent Sobolev spaces (see [28,29]).
The spaceis a separable, uniformly convex Banach space, and its conjugate space is, where. For anyand, we have
Lemma 2.3 ([24])
Denote
Then
(1) (=1; <1) if and only if (=1; <1), respectively;
Lemma 2.4 ([23])
Letbe such thatfor almost all. Ifwith, then
Lemma 2.5 ([20])
Letsatisfy the logHölder continuity condition (2.2). Then, for, thePoincaré inequality
holds, where the positive constantCdepends onpand Ω.
Lemma 2.6 ([28])
Letbe an open, bounded set with Lipschitz boundary andwithsatisfy the logHölder continuity condition (2.2). Ifwithsatisfies
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 and which were given in the previous section.
Throughout this paper, let satisfy the logHölder continuity condition (2.2) and with the norm
which is equivalent to norm (2.1) due to Lemma 2.5.
Denote
(We allow the case that one of these sets is empty.) Then it is obvious that . We assume that
(HJ1) satisfies the following conditions: is measurable on Ω for all and is locally absolutely continuous on for almost all .
(HJ2) There are a function and a nonnegative constant b such that
(HJ3) There exists a positive constant c such that the following conditions are satisfied for almost all :
for almost all . If , then condition (3.1) holds for almost all , and if , then assume for almost all instead
Let denote the usual of X and its dual or the Euclidean scalar product on , respectively. Under hypotheses (HJ1) and (HJ2), we define an operator by
The following estimate is a starting point for obtaining that the operator J is a homeomorphism. When 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.1Let (HJ1) and (HJ3) be satisfied. Then the following estimate
holds for all, wherecis the positive constant from (HJ3).
Proof Let with . Let for and set . Observe that
for all . We assume that . Setting , it follows from (3.1) that
and so
Noticing that
where , we have by (3.5) and (3.6) that
Without loss of generality, we may suppose that . Then we obtain, for all ,
and
Now assume that . As before, we obtain from (3.1) and (3.2) that
for . Using the fact that , we get
This completes the proof. □
From Proposition 3.1, we can obtain the following result.
Theorem 3.2Assume that (HJ1)(HJ3) hold. Then the operatoris a continuous, bounded, strictly monotone and coercive onX.
Proof In view of (HJ1) and (HJ2), the superposition operator
acts from into 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 , the map Λ and the bounded linear map given by
Hence the operator J is bounded and continuous on X.
For any u in X with , it follows from (HJ3) that
for some positive constant C. Thus we get that
as and therefore the operator J is coercive on X.
Next we will show that the operator J is strictly monotone on X. Set
and
(Of course, if the sets and are nonempty, then by the continuity of .) It is clear that
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 for . By Proposition 3.1, we have
for almost all . Integrating the above inequality over Ω and using Lemma 2.3, we assert that
For almost all , by Proposition 3.1, we have
where . From Hölder’s inequality in Lemma 2.2, we obtain that
The first term on the righthand side in (3.9) is calculated by Lemma 2.4 as follows:
for any . Since , we deduce that
If
then it follows from (3.9), (3.10), Lemmas 2.3 and 2.4 that
Hence we deduce that
On the other hand, if
then the analogous argument implies that
for some positive constant . From the previous inequalities (3.11) and (3.12), we have that
where is a positive constant. Consequently, we obtain by (3.7) and (3.13) that
for some positive constants and .
Case 2. Let u, v be in X with for and . For almost all , the following inequality holds:
From the above relation (3.14) and Lemmas 2.2 and 2.4, we obtain that
where α is either or . Since , we assert by (3.15) and Proposition 3.1 that
and so
for almost all . For almost all , Proposition 3.1 yields the following estimate:
Consequently, it follows from (3.16) and (3.17) that
for some constant . 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.3If (HJ1), (HJ2) and (HJ3) hold, thenis a homeomorphism onto.
Proof From Theorem 3.2, we see that is strictly monotone and coercive. The BrowderMinty theorem hence implies that the inverse operator exists and is bounded; see Theorem 26.A. in [33]. For each , let be any sequence in that converges to h in . Set and with . We obtain from (3.18) that
where . Since is bounded in X and in as , it follows that converges to u in X. Thus, is continuous at each . 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 defined by
To discuss the asymptotic behavior of J, we require the following hypothesis.
(HJ4) For each , there is a function such that for almost all the following holds:
Now we can show that the operators J and are asymptotic at infinity, as in Proposition 5.1 of [11].
Proposition 3.4Assume that (HJ1), (HJ2) and (HJ4) are fulfilled. Then we have
Proof Given , choose an such that for almost all the following holds:
for all with . We have by (HJ2) that for almost all the estimate
Then belongs to and for almost all , the estimate
holds for all . From Hölder’s inequality, we have that
for all , and hence for each , we obtain by Minkowski’s inequality and the fact that that
for some positive constants and . From
the conclusion follows, because the righthand side of the inequality tends to ε as . 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:
(F1) satisfies the Carathéodory condition in the sense that is measurable for all and is continuous for almost all .
(F2) For each bounded interval , there are a function and a nonnegative constant such that
(F3) There exist a function and a locally bounded function with such that
Under assumptions (F1) and (F2), we can define an operator by
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 is a constant function, it has been proved in [11].
Lemma 3.5If (F1) and (F2) hold, thenis continuous and compact. Moreover, the operatoris continuous and compact.
Proof A linear operator defined by
is clearly bounded because for some positive constant C. Set . Define the superposition operator by
If I is a bounded interval in ℝ and and are chosen from (F2), then Φ is bounded because
Since Y is a generalized ideal space and is a regular ideal space (since satisfies condition), Theorem 6.4 of [34] implies that Φ is continuous on Y. Recalling the fact that the conjugate function of is strictly less than , we know by Lemma 2.6 that the embedding is continuous and compact and so is the adjoint operator given by
for any . From the relation , it follows that F is continuous and compact. In particular, if we set , then G is continuous and compact. This completes the proof. □
We observe the behavior of at infinity.
Lemma 3.6Under assumptions (F1) and (F3), the operatorhas the following property:
Proof Let be arbitrary. Choose a positive constant R such that for all . Since b is locally bounded, there is a nonnegative constant such that for all . Let . Set . By assumption (F3), Minkowski’s inequality and the fact that , we obtain
for all , where C are some positive constants. It follows from Hölder’s inequality that
□
Recall that a real number μ is called an eigenvalue of (E) if the equation
has a solution in X that is different from the origin.
Now we consider the following spectral result for nonhomogeneous operators. When is a constant function, the following assertion has been shown to hold by virtue of the FuriMartelliVignoli spectrum; see Theorem 4 of [35] or Lemma 27 of [10].
Lemma 3.7Ifμis not an eigenvalue of (E), we have
Proof Suppose that
Choose an unbounded sequence in X with such that
Hence it follows from Proposition 3.4 and (3.21) that
By the compactness of G, we may assume that converges to some point . From (3.22) it follows that as . Put . Since is a homeomorphism (see Theorem 3.2 in [18]), we get that and as and so
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 in such that
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.2LetXbe a Banach space andYbe a normed space. Suppose thatis a homeomorphism andis a continuous and compact operator such that the compositionis odd. Letbe a continuous and compact operator. If the set
is bounded, then the set
has an unbounded connected setsuch thatintersects.
Proof Since is odd, Borsuk’s theorem implies that the condition
is satisfied for all sufficiently large , where I is the identity operator on X and 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.3Suppose that conditions (HJ1)(HJ4) and (F1)(F3) are satisfied. Ifμis not an eigenvalue of (E), then there is an unbounded connected setsuch that every pointinCis a weak solution of the above problem (B) andintersects.
Proof Apply Lemma 4.2 with and . From Lemmas 3.3 and 3.5 we know that is a homeomorphism, the operators G and F are continuous and compact, and is odd. Since μ is not an eigenvalue of (E), Lemmas 3.6 and 3.7 imply that for some , there is a positive constant such that
for all with and for all . Therefore, the set
is bounded. By Lemma 4.2, the set
contains an unbounded connected set C which intersects . This completes the proof. □
Finally, we give an example which illustrates an application of our bifurcation result.
Example 4.4 Let , and . Assume that and there is a real number δ in such that
for all . If μ is not an eigenvalue of (E) and assumptions (F1)(F3) are fulfilled, then there is an unbounded connected set C intersecting such that every point in C is a weak solution of the nonlinear equation
If , the inequality is clear. Now let . It follows from Young’s inequality that
and hence
Set and choose such that for almost everywhere . Then
Thus (HJ1) and (HJ2) are satisfied. Removing some null set from Ω if necessary, we may suppose that the hypotheses are satisfied for all . If we put
we observe that the first relation in (3.1) holds, because and . Moreover, a straightforward calculation shows that for all ,
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 and . Therefore (HJ3) is satisfied. Finally, (HJ4) holds if for each we choose
Competing interests
The author declares that he has no competing interests.
Acknowledgements
This research was supported by a 2011 Research Grant from Sangmyung University.
References

Rabinowitz, PH: Some global results for nonlinear eigenvalue problems. J. Funct. Anal.. 7, 487–513 (1971). Publisher Full Text

Krasnoselskii, MA: Topological Methods in the Theory of Nonlinear Integral Equations, Pergamon, New York (1965)

Del Pino, MA, Manasevich, RF: Global bifurcation from the eigenvalues of the pLaplacian. J. Differ. Equ.. 92, 226–251 (1991). Publisher Full Text

Drábek, P: On the global bifurcation for a class of degenerate equations. Ann. Mat. Pura Appl.. 159, 1–16 (1991). Publisher Full Text

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

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

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

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

Stuart, CA: Some bifurcation theory for kset contractions. Proc. Lond. Math. Soc.. 27, 531–550 (1973)

Väth, M: Global bifurcation of the pLaplacian and related operators. J. Differ. Equ.. 213, 389–409 (2005). Publisher Full Text

Kim, YH, Väth, M: Global solution branches for equations involving nonhomogeneous operators of pLaplace type. Nonlinear Anal.. 74, 1878–1891 (2011). Publisher Full Text

Chen, Y, Levine, S, Rao, M: Variable exponent, linear growth functionals in image restoration. SIAM J. Appl. Math.. 66, 1383–1406 (2006). Publisher Full Text

Rajagopal, K, Ru̇žička, M: Mathematical modeling of electrorheological materials. Contin. Mech. Thermodyn.. 13, 59–78 (2001). Publisher Full Text

Ru̇žička, M: Electrorheological Fluids: Modeling and Mathematical Theory, Springer, Berlin (2000)

Zhikov, VV: On the density of smooth functions in SobolevOrlicz spaces. Zap. Nauč. Semin. POMI. 226, 67–81 (2004)

Kim, IS, Kim, YH: Global bifurcation for nonlinear equations. Nonlinear Anal.. 69, 2362–2368 (2008). Publisher Full Text

Kim, IS, Kim, YH: Global bifurcation for equations involving nonhomogeneous operators in an unbounded domain. Nonlinear Anal.. 73, 1057–1064 (2010). Publisher Full Text

Kim, YH, Wang, L, Zhang, C: Global bifurcation for a class of degenerate elliptic equations with variable exponents. J. Math. Anal. Appl.. 371, 624–637 (2010). Publisher Full Text

Benouhiba, N: On the eigenvalues of weighted Laplacian on . Nonlinear Anal.. 74, 235–243 (2011). Publisher Full Text

Fan, X, Zhao, D: Existence of solutions for Laplacian. Nonlinear Anal.. 52, 1843–1852 (2003). Publisher Full Text

Fan, X, Zhang, Q, Zhao, D: Eigenvalues of Laplacian Dirichlet problem. J. Math. Anal. Appl.. 302, 306–317 (2005). Publisher Full Text

Sim, I, Kim, YH: Existence of solutions and positivity of the infimum eigenvalue for degenerate elliptic equations with variable exponents. Discrete Contin. Dyn. Syst.. 2013, 695–707 suppl. (2013)

Szulkin, A, Willem, M: Eigenvalue problem with indefinite weight. Stud. Math.. 135, 191–201 (1995)

Fan, X, Zhao, D: On the spaces and . J. Math. Anal. Appl.. 263, 424–446 (2001). Publisher Full Text

Kováčik, O, Rákosník, J: On spaces and . Czechoslov. Math. J.. 41, 592–618 (1991)

Musielak, J: Orlicz Spaces and Modular Spaces, Springer, Berlin (1983)

Zhikov, VV: On some variational problems. Russ. J. Math. Phys.. 5, 105–116 (1997)

Diening, L: Riesz potential and Sobolev embeddings on generalized Lebesgue and Sobolev spaces and . Math. Nachr.. 268, 31–43 (2004). Publisher Full Text

Harjulehto, P: Variable exponent Sobolev spaces with zero boundary values. Math. Bohem.. 132, 125–136 (2007)

Tolksdorf, P: Regularity for a more general class of quasilinear elliptic equations. J. Differ. Equ.. 51, 126–150 (1984). Publisher Full Text

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

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

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

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