Abstract
We provide the existence of a positive solution for the quasilinear elliptic equation
in Ω under the Dirichlet boundary condition. As a special case (), our equation coincides with the usual p-Laplace equation. The solution is established as the limit of a sequence of positive solutions of approximate equations. The positivity of our solution follows from the behavior of as t is small. In this paper, we do not impose the sign condition to the nonlinear term f.
MSC:35J92, 35P30.
Similar content being viewed by others
1 Introduction
In this paper, we consider the existence of a positive solution for the following quasilinear elliptic equation:
where is a bounded domain with boundary ∂ Ω. Here, is a map which is strictly monotone in the second variable and satisfies certain regularity conditions (see the following assumption (A)). Equation (P) contains the corresponding p-Laplacian problem as a special case. However, in general, we do not suppose that this operator is -homogeneous in the second variable.
Throughout this paper, we assume that the map A and the nonlinear term f satisfy the following assumptions (A) and (f), respectively.
-
(A)
, where for all , and there exist positive constants , , , , and such that
-
(i)
;
-
(ii)
for every , and ;
-
(iii)
for every , and ;
-
(iv)
for every , ;
-
(v)
for every , with .
-
(f)
f is a continuous function on satisfying for every and the following growth condition: there exist , and a continuous function on such that
(1)
for every .
In this paper, we say that is a (weak) solution of (P) if
for all .
A similar hypothesis to (A) is considered in the study of quasilinear elliptic problems (see [[1], Example 2.2.], [2–5] and also refer to [6, 7] for the generalized p-Laplace operators). From now on, we assume that , which is without any loss of generality as can be seen from assumptions (A)(ii), (iii).
In particular, for , that is, stands for the usual p-Laplacian , we can take in (A). Conversely, in the case where holds in (A), by the inequalities in Remark 3(ii) and (iii), we see that whence . Hence, our equation contains the p-Laplace equation as a special case.
In the case where f does not depend on the gradient of u, there are many existence results because our equation has the variational structure (cf. [1, 4, 8]). Although there are a few results for our equation (P) with f including ∇u, we can refer to [7, 9] and [10] for the existence of a positive solution in the case of the -Laplacian or m-Laplacian (). In particular, in [9] and [7], the nonlinear term f is imposed to be nonnegative. The results in [7] and [10] are applied to the m-Laplace equation with an -superlinear term f w.r.t. u. Here, we mention the result in [9] for the p-Laplacian. Faria, Miyagaki and Motreanu considered the case where f is -sublinear w.r.t. u and ∇u, and they supposed that for some and . The purpose of this paper is to remove the sign condition and to admit the condition like for large as . Concerning the condition for f as , Zou in [10] imposed that there exists an satisfying as for the m-Laplace problem. Hence, we cannot apply the result of [10] and [9] to the case of as for and (admitting sign changes), but we can do our result if is large.
In [9], the positivity of a solution is proved by the comparison principle. However, since we are not able to do it for our operator in general, after we provide a non-negative and non-trivial solution as a limit of positive approximate solutions (in Section 2), we obtain the positivity of it due to the strong maximum principle for our operator.
1.1 Statements
To state our first result, we define a positive constant by
which is equal to 1 in the case of (i.e., the case of the p-Laplacian) because we can choose . Then, we introduce the hypothesis (f1) to the function in (f) as t is small.
(f1) There exist and such that the Lebesgue measure of is positive and
where is the continuous function in (f) and is the first positive eigenvalue of the p-Laplacian with the weight function m obtained by
Theorem 1 Assume (f1). Then equation (P) has a positive solution , where
and ν denotes the outward unit normal vector on ∂ Ω.
Next, we consider the case where A is asymptotically -homogeneous near zero in the following sense:
(AH0) There exist a positive function and such that
Under (AH0), we can replace the hypothesis (f1) with the following (f2):
(f2) There exist and such that (3) and the Lebesgue measure of is positive, where is the first positive eigenvalue of with a weight function m obtained by
Theorem 2 Assume (AH0) and (f2). Then equation (P) has a positive solution .
Throughout this paper, we may assume that for every , and because we consider the existence of a positive solution only. In what follows, the norm on is given by , where denotes the usual norm of for (). Moreover, we denote .
1.2 Properties of the map A
Remark 3 The following assertions hold under condition (A):
-
(i)
for all , is maximal monotone and strictly monotone in y;
-
(ii)
for every ;
-
(iii)
for every ,
where and are the positive constants in (A).
Proposition 4 ([[3], Proposition 1])
Let be a map defined by
for . Then A is maximal monotone, strictly monotone and has property, that is, any sequence weakly convergent to u with strongly converges to u.
2 Constructing approximate solutions
Choose a function . In this section, for such ψ and , we consider the following elliptic equation:
In [7], the case in the above equation is considered.
Lemma 5 Suppose (f1) or (f2). Then there exists such that for every , and .
Proof From the growth condition of and (3), it follows that
holds, where is a positive constant independent of . Therefore, for , we easily see that for every , and holds. □
Proposition 6 If is a non-negative solution of () for , then . Moreover, for any , there exists a positive constant such that holds for every .
Proof Set if , and in the case of , is an arbitrarily fixed constant. Let be a non-negative solution of () with (some ). For , choose a smooth increasing function such that if , if and if for some . Define for .
If , then by taking as a test function (note that is bounded), we have
due to Remark 3(iii) and . Putting , we see that provided (note ). Similarly, if , then , and if , then (note ). Thus, according to Young’s inequality, for every , there exists such that
where and (>1). As a result, because of , according to Hölder’s inequality and the monotonicity of with respect to r on , taking a and setting , we obtain
provided by (8) and (9), where , comes from the continuous embedding of into and is a positive constant independent of , ε and r. Consequently, Moser’s iteration process implies our conclusion. In fact, we define a sequence by and . Then, we see that holds if by applying Fatou’s lemma to (10) and letting . Here, we also see as . Therefore, by the same argument as in Theorem C in [4], we can obtain and for some positive constant D independent of and ε. □
Lemma 7 Suppose (f1) or (f2). If is a solution of () for , then .
Proof Taking as a test function in (), we have
because of if and by Remark 3(iii). Hence, follows. Because Proposition 6 guarantees that , we have (for some ) by the regularity result in [11]. Note that because of and . In addition, Lemma 5 implies the existence of such that in the distribution sense. Therefore, according to Theorem A and Theorem B in [4], in Ω and on ∂ Ω, namely, . □
The following result can be shown by the same argument as in [[9], Theorem 3.1].
Proposition 8 Suppose (f1) or (f2). Then, for every , () has a positive solution .
Proof Fix any and let be a Schauder basis of (refer to [12] for the existence). For each , we define the m-dimensional subspace of by . Moreover, set a linear isomorphism by , and let be a dual map of . By identifying and , we may consider that maps from to . Define maps and from to as follows:
for u, . We claim that for every , there exists such that in . Indeed, by the growth condition of f, Remark 3(iii) and Hölder’s inequality, we easily have
for every , where . This implies that is coercive on by . Set a homotopy for and . By recalling that is coercive on , we see that there exists an such that for every and because and the norm of are equivalent on . Therefore, we have
where is the identity map on , and denotes the degree on for a continuous map (cf. [13]). Hence, this yields the existence of such that , and so the desired is obtained by setting since is injective.
Because (11) with leads to the boundedness of by , we may assume, by choosing a subsequence, that converges to some weakly in and strongly in . Let be a natural projection onto , that is, for . Since and in , by noting that on for a map A defined in Proposition 4, we obtain
as , where we use the boundedness of , the growth condition of f and in . In addition, since is bounded, by the boundedness of , we see that as , whence as holds. As a result, it follows from the property of A that in as .
Finally, we shall prove that is a solution of (). Fix any and . For each , by letting in , we have
Since l is arbitrary, (12) holds for every . Moreover, the density of in guarantees that (12) holds for every . This means that is a solution of (). Consequently, our conclusion follows from Lemma 7. □
3 Proof of theorems
Lemma 9 Let . Then
holds, where is the positive constant defined by (2).
Proof Because of , there exist such that in . Thus, and in Ω. Hence, hold. Therefore, we have
in Ω by (ii) and (iii) in Remark 3 and Young’s inequality. □
Lemma 10 Assume that and let . Then
holds.
Proof First, we note that hold by the same reason as in Lemma 9. Applying Young’s inequality to the second term of the right-hand side in (14) (refer to (13) with ), we obtain
in Ω. Similarly, we also have
The conclusion follows from (15) and (16). □
Under (f1) or (f2), we denote a solution of () for each obtained by Proposition 8.
Lemma 11 Assume (f1) or (f2). Let . Then is bounded in .
Proof Taking as a test function in (), we have
by Remark 3(iii), the growth condition of f, Hölder’s inequality and the continuity of the embedding of into , where (<p) and is a positive constant independent of . Because of , this yields the boundedness of (). □
Lemma 12 Assume (f1) or (f2). Then and hold for every , where denotes the Lebesgue measure of Ω, and where and are positive constants as in (A) and Lemma 5, respectively.
Proof Fix any and choose any . By taking as a test function, we obtain
by Lemma 5 and . On the other hand, by Remark 3(iii) and , we have
Therefore, (17) and (18) imply the inequality for every . As a result, by letting , our conclusion is shown. □
Lemma 13 Assume (f2) and (AH0). Let . If in as , then
holds, where is a continuous function as in (AH0).
Proof Note that hold (as in the proof of Lemma 9). Because we easily see that for every with some independent of u (see (6)), it is sufficient to show as . Here, we fix any . By the property of (see (6)) and because we are assuming that in as , we have for every provided sufficiently small . Therefore, for such sufficiently small , we obtain
because of by Lemma 12. Since is arbitrary, our conclusion is shown. □
3.1 Proof of main results
Proof of Theorems
Let . Due to Proposition 6 and Lemma 11, we have for some independent of . Hence, there exist and such that and for every by the regularity result in [11]. Because the embedding of into is compact and by , there exists a sequence and such that and in as . If occurs, then by the same reason as in Lemma 7, and hence our conclusion is proved. Now, we shall prove by contradiction for each theorem. So, we suppose that , whence in as .
Proof of Theorem 1 Let be an eigenfunction corresponding to the first positive eigenvalue (cf. [14, 15], it is well known that we can obtain φ as the minimizer of (4)), namely, φ is a positive solution of in Ω and on ∂ Ω. Since p-Laplacian is -homogeneous, we may assume that φ satisfies , and hence holds by taking φ as a test function. Choose satisfying (note that as in (f1)). Due to (f1), there exists a such that for every and . Since we are assuming in as , occurs for sufficiently large n. Then, for such sufficiently large n, according to Lemma 9, (1) and , we obtain
This is a contradiction. □
Proof of Theorem 2 Since holds, by the standard argument as in the p-Laplacian, we see that and it is the first positive eigenvalue of in Ω and on ∂ Ω. Therefore, by the well-known argument, there exists a positive eigenfunction corresponding to (we can obtain as the minimizer of (7)). Hence, by taking as a test function, we have . Thus, follows. Because is a solution of and is an eigenfunction corresponding to , according to Lemma 11 and Lemma 13 (note as in (AH0)), we obtain
as since we are assuming in , where we use the facts that and in Ω. Furthermore, by Fatou’s lemma and (3), we have
As a result, by taking a limit superior with respect to n in (19), we have . This is a contradiction. □
References
Motreanu D, Papageorgiou NS: Multiple solutions for nonlinear Neumann problems driven by a nonhomogeneous differential operator. Proc. Am. Math. Soc. 2011, 139: 3527-3535. 10.1090/S0002-9939-2011-10884-0
Damascelli L: Comparison theorems for some quasilinear degenerate elliptic operators and applications to symmetry and monotonicity results. Ann. Inst. Henri Poincaré 1998, 15: 493-516.
Motreanu D, Motreanu VV, Papageorgiou NS: Multiple constant sign and nodal solutions for nonlinear Neumann eigenvalue problems. Ann. Sc. Norm. Super. Pisa, Cl. Sci. 2011, 10: 729-755.
Miyajima S, Motreanu D, Tanaka M: Multiple existence results of solutions for the Neumann problems via super- and sub-solutions. J. Funct. Anal. 2012, 262: 1921-1953. 10.1016/j.jfa.2011.11.028
Motreanu D, Tanaka M: Generalized eigenvalue problems of nonhomogeneous elliptic operators and their application. Pac. J. Math. 2013, 265(1):151-184.
Kim Y-H: A global bifurcation for nonlinear equations with nonhomogeneous part. Nonlinear Anal. 2009, 71: 738-743. 10.1016/j.na.2008.11.028
Ruiz D: A priori estimates and existence of positive solutions for strongly nonlinear problems. J. Differ. Equ. 2004, 2004: 96-114.
Tanaka M: Existence of the Fučík type spectrums for the generalized p -Laplace operators. Nonlinear Anal. 2012, 75: 3407-3435. 10.1016/j.na.2012.01.006
Faria, L, Miyagaki, O, Motreanu, D: Comparison and positive solutions for problems with -Laplacian and convection term. Proc. Edinb. Math. Soc. (to appear)
Zou HH: A priori estimates and existence for quasi-linear elliptic equations. Calc. Var. 2008, 33: 417-437. 10.1007/s00526-008-0168-3
Lieberman GM: Boundary regularity for solutions of degenerate elliptic equations. Nonlinear Anal. 1988, 12: 1203-1219. 10.1016/0362-546X(88)90053-3
Fučík S, John O, Nečas J: On the existence of Schauder bases in Sobolev spaces. Comment. Math. Univ. Carol. 1972, 13: 163-175.
Deimling K: Nonlinear Functional Analysis. Springer, New York; 1985.
Anane A: Etude des valeurs propres et de la résonnance pour l’opérateur p -laplacien. C. R. Math. Acad. Sci. Paris 1987, 305: 725-728.
Cuesta M: Eigenvalue problems for the p -Laplacian with indefinite weights. Electron. J. Differ. Equ. 2001, 2001(33):1-9.
Acknowledgements
The author would like to express her sincere thanks to Professor Shizuo Miyajima for helpful comments and encouragement. The author thanks Professor Dumitru Motreanu for giving her the opportunity of this work. The author thanks referees for their helpful comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that she 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.
About this article
Cite this article
Tanaka, M. Existence of a positive solution for quasilinear elliptic equations with nonlinearity including the gradient. Bound Value Probl 2013, 173 (2013). https://doi.org/10.1186/1687-2770-2013-173
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-2770-2013-173