Positivity of the infimum eigenvalue for equations of -Laplace type in
© Kim and Kim; licensee Springer 2013
Received: 29 June 2013
Accepted: 21 August 2013
Published: 2 October 2013
We study the following elliptic equations with variable exponents
Under suitable conditions on ϕ and f, we show the existence of positivity of the infimum of all eigenvalues for the problem above, and then give an example to demonstrate our main result.
MSC:35D30, 35J60, 35J92, 35P30, 47J10.
Keywords-Laplacian variable exponent Lebesgue-Sobolev spaces weak solution eigenvalue
The variable exponent problems appear in a lot of applications, for example, elastic mechanics, electro-rheological fluid dynamics and image processing, etc. The study of variable mathematical problems involving -growth conditions has attracted interest and attention in recent years. We refer the readers to [1–4] and references therein.
where the function is of type with continuous nonconstant function and satisfies a Carathéodory condition. Recently, the authors in  obtained the positivity of the infimum of all eigenvalues for the -Laplacian type subject to the Dirichlet boundary condition. As far as the authors know, there are no results concerned with the eigenvalue problem for a more general -Laplacian type problem in the whole space .
When , the operator involved in (E) is called the -Laplacian, i.e., . The studies for -Laplacian problems have been extensively performed by many researchers in various ways; see [5–11]. In particular, by using the Ljusternik-Schnirelmann critical point theory, Fan et al.  established the existence of the sequence of eigenvalues of the -Laplacian Dirichlet problem; see  for Neumann problems. Mihăilescu and Rădulescu in  obtained the existence of a continuous family of eigenvalues in a neighborhood of the origin under suitable conditions.
The -Laplacian is a natural generalization of the p-Laplacian, where is a constant. There are a bunch of papers, for instance, [14–18] and references therein. But the -Laplace operator possesses more complicated nonlinearities than the p-Laplace operator, for example, it is nonhomogeneous, so a more complicated analysis has to be carefully carried out. Some properties of the p-Laplacian eigenvalue problems may not hold for a general -Laplacian. For example, under some conditions, the infimum of all eigenvalues for the -Laplacian might be zero; see . The purpose of this paper is to give suitable conditions on ϕ and f to satisfy the positivity of the infimum of all eigenvalues for (E) still. This result generalizes Benouhiba’s recent result in  in some sense.
This paper is organized as follows. In Section 2, we state some basic results for the variable exponent Lebesgue-Sobolev spaces, which are given in [19, 20]. In Section 3, we give sufficient conditions on ϕ and f to obtain the positivity of the infimum eigenvalue for the problem (E) above. Also, we present an example to illustrate our main result.
In this section, we state some elementary properties for the variable exponent Lebesgue-Sobolev spaces, which will be used in the next section. The basic properties of the variable exponent Lebesgue-Sobolev spaces can be found from [19, 20].
To make a self-contained paper, we first recall some definitions and basic properties of the variable exponent Lebesgue spaces and the variable exponent Lebesgue-Sobolev spaces .
The dual space of is , where . The variable exponent Lebesgue spaces are a special case of Orlicz-Musielak spaces treated by Musielak in .
for every with .
Smooth functions are not dense in the variable exponent Sobolev spaces, without additional assumptions on the exponent . Zhikov  gave some examples of Lavrentiev’s phenomenon for the problems with variable exponents. These examples show that smooth functions are not dense in variable exponent Sobolev spaces. However, when satisfies the log-Hölder continuity condition, 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 [23, 24]).
Lemma 2.3 
(=1; <1) if and only if (=1; <1), respectively;
if , then ;
if , then .
Lemma 2.4 
if , then ;
if , then .
Lemma 2.5 
and the imbedding is compact if .
Lemma 2.6 
Suppose that is a Lipschitz function with . Let and for almost all . Then there is a continuous embedding .
3 Main result
In this section, we shall give the proof of the existence of the positive eigenvalue for the problem (E), by applying the basic properties of the spaces and , which were given in the previous section.
which is equivalent to norm (2.1).
for all .
(we allow the case that one of these sets is empty). Then it is obvious that . We assume that:
(H1) , , and .
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
for almost all and for all .
- (HJ3)There exists a positive constant c such that the following conditions are satisfied for almost all :(3.1)for almost all . In case , assume that condition (3.1) holds for almost all , and in case , assume that for almost all instead(3.2)
- (HJ4)For all and all , the estimate holds
where q is given in (H1) and . We assume that
For the case of and , where satisfies a suitable condition, Benouhiba  proved that . In this section, we shall generalize the conditions on f and ϕ to satisfy still.
The following lemma plays a key role in obtaining the main result in this section.
From (3.10), with the inequality above, we conclude that relation (3.7) holds. □
Lemma 3.3 Assume that (HJ1)-(HJ3) and (H1) hold. Then Φ is weakly lower semi-continuous, i.e., in X implies that .
The proof is complete. □
where is either or .
for some positive constant C. □
Proof Since , estimate (3.15) is obtained from (F1′) and Young’s inequality. □
Lemma 3.6 Assume that (H1) and (F1) hold. Then Ψ is weakly-strongly continuous, i.e., in X implies that .
Using (3.16) and (3.17), we deduce that as . The proof is complete. □
We are in a position to state the main result about the existence of the positive eigenvalue for the problem (E).
Theorem 3.7 Assume that (HJ1)-(HJ4), (H1), (H2), and (F1) hold. Then is a positive eigenvalue of the problem (E). Moreover, the problem (E) has a nontrivial weak solution for any .
Consequently, we conclude that . This completes the proof. □
Now, we consider an example to demonstrate our main result in this section.
is a positive eigenvalue of the problem (E0),
the problem (E0) has a nontrivial weak solution for any ,
λ is not an eigenvalue of (E0) for .
a contradiction. □
The first author was supported by the Incheon National University Research Grant in 2012, and the second author was supported by the National Research Foundation of Korea Grant funded by the Korean Government (NRF-2012R1A1A2042187) and a 2013 Research Grant from Sangmyung University.
- Chen Y, Levine S, Rao M: Variable exponent, linear growth functionals in image restoration. SIAM J. Appl. Math. 2006, 66: 1383-1406. 10.1137/050624522MATHMathSciNetView Article
- Rajagopal K, Růžička M: Mathematical modelling of electro-rheological fluids. Contin. Mech. Thermodyn. 2001, 13: 59-78. 10.1007/s001610100034MATHView Article
- Růžička M Lecture Notes in Mathematics 1748. In Electrorheological Fluids: Modeling and Mathematical Theory. Springer, Berlin; 2000.
- Zhikov VV: On the density of smooth functions in Sobolev-Orlicz spaces. Zap. Nauč. Semin. POMI 2004, 226: 67-81.MathSciNetMATH
- Kim, IH, Kim, Y-H: Mountain pass type solutions and positivity of the infimum eigenvalue for quasilinear elliptic equations with variable exponents (submitted)
- Benouhiba N:On the eigenvalues of weighted -Laplacian on . Nonlinear Anal. 2011, 74: 235-243. 10.1016/j.na.2010.08.037MATHMathSciNetView Article
- Fan XL, Zhang QH:Existence of solutions for -Laplacian Dirichlet problem. Nonlinear Anal. 2003, 52: 1843-1852. 10.1016/S0362-546X(02)00150-5MATHMathSciNetView Article
- 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.020MATHMathSciNetView Article
- 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.058MATHMathSciNetView Article
- 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. (in press)
- Szulkin A, Willem M: Eigenvalue problem with indefinite weight. Stud. Math. 1995, 135: 191-201.MathSciNetMATH
- Fan XL:Eigenvalues of the -Laplacian Neumann problems. Nonlinear Anal. 2007, 67: 2982-2992. 10.1016/j.na.2006.09.052MATHMathSciNetView Article
- Mihăilescu M, Rădulescu V: On a nonhomogeneous quasilinear eigenvalue problem in Sobolev spaces with variable exponent. Proc. Am. Math. Soc. 2007, 135: 2929-2937. 10.1090/S0002-9939-07-08815-6MATHView ArticleMathSciNet
- Drábek P: Nonlinear eigenvalue problem for the p -Laplacian in . Math. Nachr. 1995, 173: 131-139. 10.1002/mana.19951730109MATHMathSciNetView Article
- Drábek P, Kufner A, Nicolosi F: Quasilinear Elliptic Equations with Degenerations and Singularities. de Gruyter, Berlin; 1997.MATHView Article
- Huang Y: Existence of positive solutions for a class of the p -Laplace equations. J. Aust. Math. Soc. Ser. B 1994, 36: 249-264. 10.1017/S0334270000010390MATHView ArticleMathSciNet
- 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.059MATHMathSciNetView Article
- Lê A: Eigenvalue problems for the p -Laplacian. Nonlinear Anal. 2006, 64: 1057-1099. 10.1016/j.na.2005.05.056MATHMathSciNetView Article
- Fan X, Zhao D:On the spaces and . J. Math. Anal. Appl. 2001, 263: 424-446. 10.1006/jmaa.2000.7617MATHMathSciNetView Article
- Kováčik O, Rákosník J:On spaces and . Czechoslov. Math. J. 1991, 41: 592-618.MATH
- Musielak J: Orlicz Spaces and Modular Spaces. Springer, Berlin; 1983.MATH
- Zhikov VV: On some variational problems. Russ. J. Math. Phys. 1997, 5: 105-116.MATHMathSciNet
- Diening L:Riesz potential and Sobolev embeddings on generalized Lebesgue and Sobolev spaces and . Math. Nachr. 2004, 268: 31-43. 10.1002/mana.200310157MATHMathSciNetView Article
- Harjulehto P: Variable exponent Sobolev spaces with zero boundary values. Math. Bohem. 2007, 132: 125-136.MATHMathSciNet
- Fan XL: Sobolev embeddings for unbounded domain with variable exponent having values across N . Math. Inequal. Appl. 2010, 13(1):123-134.MATHMathSciNet
- Galewski H:On the continuity of the Nemyskij operator between the spaces and . Georgian Math. J. 2006, 13: 261-265.MATHMathSciNet
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.