Existence of an unbounded branch of the set of solutions for Neumann problems involving the -Laplacian
© Hwang et al.; licensee Springer. 2014
Received: 11 February 2014
Accepted: 11 April 2014
Published: 6 May 2014
We are concerned with the following nonlinear problem: in Ω, on ∂ Ω, which is subject to a Neumann boundary condition, provided that μ is not an eigenvalue of the -Laplacian. The aim of this paper is to study the structure of the set of solutions for the degenerate -Laplacian Neumann problems by applying a bifurcation result for nonlinear operator equations.
MSC:35B32, 35D30, 35J70, 47J10, 47J15.
Keywords-Laplacian weighted variable exponent Lebesgue-Sobolev spaces Neumann boundary condition eigenvalue
In recent years, there has been much interest in studying differential equations and variational problems involving -growth conditions 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 [1–5] and references therein. In the case of a constant, called the p-Laplacian, there are a lot of papers, for instance, [6–14] and references therein.
where Ω is a bounded domain in with the Lipschitz boundary ∂ Ω, denotes the outer normal derivative of u with respect to ∂ Ω, the variable exponent is a continuous function, , w is a weighted function in Ω and satisfies a Carathéodory condition.
Since the inceptive study of bifurcation theory by Krasnoselskii , Rabinowitz  claimed that the bifurcation occurring in the Krasnoselskii theorem is actually a global phenomenon. As regards the p-Laplacian and generalized operators, the nonlinear eigenvalue and bifurcation problems have been widely studied by many researchers in various approaches in the spirit of Rabinowitz ; see also [6–9, 13, 17].
which is based on the fact  that the first eigenvalue of the p-Laplacian is simple and isolated under suitable conditions on m.
While many researchers considered global branches bifurcating from the first eigenvalue of the p-Laplacian, Väth  came at it from another viewpoint to establish the existence of a global branch of solutions for the p-Laplacian with Dirichlet boundary condition by applying nonlinear spectral theory for homogeneous operators. From this point of view, for the case that is a constant function, the existence of a global branch of solutions for the problem (B) was attained in  (for generalization to equations involving nonhomogeneous operators, see also ) when μ is not eigenvalue of (E).
Compared to the p-Laplacian equation, an analysis for the -Laplacian equation has to be carried out more carefully because it has complicated nonlinearities (it is nonhomogeneous) and includes a weighted function. As mentioned before, the fact that the principal eigenvalue for nonlinear eigenvalue problems related to the p-Laplacian under either Dirichlet boundary condition or Neumann boundary condition is isolated plays a key role in obtaining the bifurcation result from the principal eigenvalue of the p-Laplacian. However, unlike the p-Laplacian case, under some conditions on , the first eigenvalue for the -Laplacian Neumann problems is not isolated (see ), that is, the infimum of all eigenvalues of the problem might be zero (see  for Dirichlet boundary condition). Thus we cannot investigate the existence of global branches bifurcating from the principal eigenvalue of the -Laplacian. For this reason, the global behavior of solutions for nonlinear problems involving the -Laplacian had been considered in . To the best of our knowledge, there are no papers concerned with the bifurcation theory for the -Laplacian Neumann problems with weighted functions.
This paper is organized as follows. We first state some basic results for the weighted variable exponent Lebesgue-Sobolev spaces which were given in . Next we give some properties of the corresponding integral operators. Finally we show the existence of a global bifurcation for a Neumann problem involving the -Laplacian by using a bifurcation result in an abstract setting.
In this section, we state some elementary properties for the (weighted) variable exponent Lebesgue-Sobolev spaces which will be used in the next sections. The basic properties of the variable exponent Lebesgue-Sobolev spaces, that is, when can be found from .
To make a self-contained paper, we recall some definitions and basic properties of the weighted variable exponent Lebesgue spaces and the weighted variable exponent Lebesgue-Sobolev spaces .
for every with , then smooth functions are dense in variable exponent Sobolev spaces and there is no confusion in defining the Sobolev space with zero boundary values, , as the completion of with respect to the norm (see ).
Lemma 2.1 ()
Lemma 2.2 ()
(=1; <1) if and only if (=1; <1), respectively;
if , then ;
if , then .
Lemma 2.3 ()
if , then ;
if , then .
We assume that w is a measurable positive and a.e. finite function in Ω satisfying that
(w1) and ;
(w2) with .
The reasons that we assume (w1) and (w2) can be found in .
Lemma 2.4 ()
Let and (w1) hold. Then X is a reflexive and separable Banach space.
for almost all .
We shall frequently make use of the following (compact) imbedding theorem for the weighted variable exponent Lebesgue-Sobolev space in the next sections.
Lemma 2.5 ()
and the imbedding is compact if .
3 Properties of the integral operators
In this section, we give the definitions and some properties of the integral operators corresponding to the problem (B), by applying the basic properties of the spaces and X which are given in the previous section.
for any where denotes the pairing of X and its dual and the Euclidean scalar product on , respectively.
The following estimate, which can be found in , plays a key role in obtaining the homeomorphism of the operator J.
From Lemma 3.1, we can obtain the following topological result, which will be needed in the main result. Compared to the case of being constant (see ), the following result is hard to prove because it has complicated nonlinearities.
Theorem 3.2 Let (w1) and (w2) be satisfied. The operator is homeomorphism onto with a bounded inverse.
and the integrands at the right-hand sides in (3.2) and (3.3) are dominated by some integrable functions. Since in X as , we can deduce that and as for almost all . Therefore, the Lebesgue dominated convergence theorem tells us that in and in as , that is, , are continuous on X. Also it is easy to show that these operators are bounded on X.
and the right-hand side in (3.4) converges to zero as . Therefore the operator J is continuous on X.
as and therefore the operator J is coercive on X.
By using Lemma 3.1 and (3.5), we find that J is strictly monotone on X. The Browder-Minty theorem hence implies that the inverse operator exists and is bounded; see Theorem 26.A in .
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. □
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
for almost all and all .
- (F3)f satisfies the following inequality:
where and for each .
- (F4)There exist a function and a locally bounded function with such that
for almost all and all .
for any .
For our aim, we need some properties of the operators F and G. In contrast with , we give a direct proofs for the continuity and compactness of F and G without using a continuity result on superposition operators.
Theorem 3.3 If (w1), (w2), and (F1)-(F3) hold, then the operator is continuous and compact. Also the operator is continuous and compact.
for all and for some positive constant d.
Since is bounded for each , Minkowski’s inequality hence implies that is bounded.
is also compact. As F can be written as a composition of with Ψ, we conclude that F is continuous and compact on . The operator G is continuous and compact because G can be regarded as a special case of F. This completes the proof. □
has a solution in X which is different from the origin.
The following lemma is a consequence about nonlinear spectral theory and its proof can be found in . For the case that is a constant, this assertion has been obtained by using the Furi-Martelli-Vignoli spectrum; see Theorem 4 of  or Lemma 27 of .
4 Bifurcation result
In this section, we are ready to prove the main result. We give the definition of weak solutions for our problem.
where J, F and G are defined by (3.1), (3.13) and (3.14), respectively.
The following result, taken from Theorem 2.2 of , is a key tool to obtain our bifurcation result.
has an unbounded connected set such that intersects .
Finally we establish the existence of an unbounded branch of the set of solutions for Neumann problem (B) thereby using Lemma 4.2.
Theorem 4.3 Let conditions (w1), (w2), and (F1)-(F4) be satisfied. If μ is not an eigenvalue of (E), then there is an unbounded connected set such that every point in C is a weak solution of the above problem (B) and intersects .
contains an unbounded connected set C which intersects . This completes the proof. □
In particular the following example illustrates an application of our bifurcation result.
where and the conjugate function of is strictly less than .
Proof Let . Then it is clear that f satisfies conditions (F1)-(F4). Therefore, the conclusion follows from Theorem 4.3. □
- Chen Y, Levine S, Rao M: Variable exponent, linear growth functionals in image restoration. SIAM J. Appl. Math. 2006, 66: 1383-1406. 10.1137/050624522MathSciNetView ArticleGoogle Scholar
- Fan XL, Zhang QH: Existence of solutions for -Laplacian Dirichlet problem. Nonlinear Anal. 2003, 52: 1843-1852. 10.1016/S0362-546X(02)00150-5MathSciNetView ArticleGoogle Scholar
- Musielak J: Orlicz Spaces and Modular Spaces. Springer, Berlin; 1983.Google Scholar
- Ru̇žička M Lecture Notes in Mathematics 1748. In Electrorheological Fluids: Modeling and Mathematical Theory. Springer, Berlin; 2000.Google Scholar
- Zhikov VV: On the density of smooth functions in Sobolev-Orlicz spaces. Zap. Nauč. Semin. POMI 2004, 226: 67-81.Google Scholar
- 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-EMathSciNetView ArticleGoogle Scholar
- Drábek P: On the global bifurcation for a class of degenerate equations. Ann. Mat. Pura Appl. 1991, 159: 1-16. 10.1007/BF01766290MathSciNetView ArticleGoogle Scholar
- Drábek P, Kufner A, Nicolosi F: Quasilinear Elliptic Equations with Degenerations and Singularities. de Gruyter, Berlin; 1997.View ArticleGoogle Scholar
- Huang Y: Existence of positive solutions for a class of the p -Laplace equations. J. Aust. Math. Soc. Ser. B, Appl. Math 1994, 36: 249-264. 10.1017/S0334270000010390View ArticleGoogle Scholar
- Kim I-S, Kim Y-H: Global bifurcation for nonlinear equations. Nonlinear Anal. 2008, 69: 2362-2368. 10.1016/j.na.2007.08.013MathSciNetView ArticleGoogle Scholar
- Kim I-S, Kim Y-H: Global bifurcation of a Neumann problem. J. Nonlinear Convex Anal. 2009, 10: 463-469.MathSciNetGoogle Scholar
- Kim I-S, Kim Y-H: Global bifurcation for Neumann problems involving nonhomogeneous operators. Fixed Point Theory 2010, 11: 311-322.MathSciNetGoogle Scholar
- Le VK, Schmitt K: Global Bifurcation in Variational Inequalities: Applications to Obstacle and Unilateral Problems. Springer, New York; 1997.View ArticleGoogle Scholar
- Stuart CA: Some bifurcation theory for k -set contractions. Proc. Lond. Math. Soc. 1973, 27: 531-550.View ArticleGoogle Scholar
- Krasnoselskii MA: Topological Methods in the Theory of Nonlinear Integral Equations. Pergamon, New York; 1965.Google Scholar
- Rabinowitz PH: Some global results for non-linear eigenvalue problems. J. Funct. Anal. 1971, 7: 487-513. 10.1016/0022-1236(71)90030-9MathSciNetView ArticleGoogle Scholar
- Fukagai N, Ito M, Narukawa K: A bifurcation problem of some nonlinear degenerate elliptic equations. Adv. Differ. Equ. 1997, 2: 895-926.MathSciNetGoogle Scholar
- Khalil AE, Ouanan M: A global bifurcation result of a Neumann problem with indefinite weight. Electron. J. Qual. Theory Differ. Equ. 2004, 9: 1-14.View ArticleGoogle Scholar
- Huang YX: On eigenvalue problems of the p -Laplacian with Neumann boundary conditions. Proc. Am. Math. Soc. 1990, 109: 177-184.Google Scholar
- 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.005View ArticleGoogle Scholar
- Fan X: Eigenvalues of the -Laplacian Neumann problems. Nonlinear Anal. 2007, 67: 2982-2992. 10.1016/j.na.2006.09.052MathSciNetView ArticleGoogle Scholar
- Fan X, Zhang Q, Zhao D: Eigenvalues of -Laplacian Dirichlet problem. J. Math. Anal. Appl. 2005, 302: 306-317. 10.1016/j.jmaa.2003.11.020MathSciNetView ArticleGoogle Scholar
- 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.058MathSciNetView ArticleGoogle Scholar
- Fan X, Zhao D: On the spaces and . J. Math. Anal. Appl. 2001, 263: 424-446. 10.1006/jmaa.2000.7617MathSciNetView ArticleGoogle Scholar
- Zhikov VV: On some variational problems. Russ. J. Math. Phys. 1997, 5: 105-116.MathSciNetGoogle Scholar
- Diening L: Riesz potential and Sobolev embeddings on generalized Lebesgue and Sobolev spaces and . Math. Nachr. 2004, 268: 31-43. 10.1002/mana.200310157MathSciNetView ArticleGoogle Scholar
- Szulkin A, Willem M: Eigenvalue problem with indefinite weight. Stud. Math. 1995, 135: 191-201.MathSciNetGoogle Scholar
- Zeidler E: Nonlinear Functional Analysis and Its Applications II/B. Springer, New York; 1990.View ArticleGoogle Scholar
- Giorgieri E, Appell J, Väth M: Nonlinear spectral theory for homogeneous operators. Nonlinear Funct. Anal. Appl. 2002, 7: 589-618.MathSciNetGoogle Scholar
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/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.