We study the existence and nonexistence of solutions for the singular quasilinear problem , , , , , where , and behave like and with at the origin. We obtain the existence by the upper and lower solution method and the nonexistence by the test function method.
In this paper, we study through the upper and lower solution method and the test function method the existence and nonexistence of solution to the singular quasilinear elliptic problem
with , , . are the locally Hölder continuous functions, not identically zero and ) and are locally Lipschitz continuous functions.
The study of this type of equation in (1.1) is motivated by its various applications, for instance, in fluid mechanics, in Newtonian fluids, in flow through porous media, and in glaciology; see . The equation in (1.1) involves singularities not only in the nonlinearities but also in the differential operator.
Many authors studied this kind of problem for the case ; see [2–7]. In these works, the nonlinearities have sublinear and suplinear growth at infinity, and they behave like a function (, or ) at the origin. Roughly speaking, in this case we say that the nonlinearities are concave and convex or "slow diffusion and fast diffusion''; see .
When , , and , , by using the lower and upper solution method, Santos in  finds a real number , such that the problem (1.1) has at least one solution if .
For , the existence and multiplicity of solution of singular elliptic equation like (1.1) in a bounded domain with the zero Dirichlet data have been widely studied by many authors, for example, the authors [9–13] and references therein. Assunção et al. in  studied the multiplicity of solution for the singular equations in (1.1) with , , , and in . Similar consideration can be found in [15–20] and references therein. We note that the variation method is widely used in the above references.
Recently, Chen et al. in [21, 22], by using a variational approach, got some existence of solution for (1.1) with and , . For the case , , the problem for the existence of solution for (1.1) is still open. It seems difficult to consider the case by variational method.
The main aim of this work is to study the existence and nonexistence of solution for (1.1), where is sublinear and is suplinear. We will use the upper and lower solution method. To the best of our knowledge, there is little information on upper and lower solution method for the problem (1.1). So it is necessary to establish this technique in unbounded domain. To obtain the existence, the assumption (see (2.17) below) is essential. By this, an upper solution for (1.1) is obtained.
We also obtain a sufficient condition on , to guarantee the nonexistence of nontrivial solution for the problem (2.21). (see Theorem 2.5 below). It must be particularly pointed out that our primary interest is in the mixed case in which with satisfying
This paper is organized as follows. In Section 2, we state the main results and present some preliminaries which will be used in what follows. We also introduce the precise hypotheses under which our problem is studied. In Section 3, we give the proof of some lemmas and the existence. The proof of nonexistence is given in Section 4.
2. Preliminaries and Main Results
Let us now introduce some weighted Sobolev spaces and their norms. Let be a bounded domain in with smooth boundary . If and , we define as being the subspace of of the Lebesgue measurable function , satisfying
If and , we define (resp., as being the closure of (resp., ) with respect to the norm defined by
For the weighted Sobolev space , we have the following compact imbedding theorem which is an extension of the classical Rellich-Kondrachov compact theorem.
Theorem 2.1 ((compact imbedding theorem) ).
Suppose that is an open bounded domain with boundary and , , . Then, the imbedding is compact if , .
We now consider the existence of positive solutions for problem (1.1). Our main tool will be the upper and lower solution method. This method, in the bounded domain situation, has been used by many authors, for instance, [10, 12, 13]. But for the unbounded domain, we need to establish this method and then to construct an upper solution and a lower solution for (1.1). We now give the definitions of upper and lower solutions.
A function is said to be a weak lower solution of the equation
for any , .
Similarly, a function is said to be a weak upper solution of (2.3) if
for any and in .
A function is said to be a weak solution of (2.3) if and only if is a weak lower solution and weak upper solution of (2.3).
A function is said to be less than or equal to on if .
If and , we define the weighted Sobolev space as being the closure of with respect to the norm defined by
The following lemma will be basic in our approach.
Let be Lipschitz continuous and nondecreasing in and locally Hölder continuous in . Moreover, assume that there exist the functions such that
Then, there exist a minimal weak solution and a maximal weak solution of (2.3) satisfying
Denote , . Let be a pair of upper and lower solutions of (2.3) with , a.e. in . We consider the boundary value problem
By Theorem 1.1 in , one concludes that there exists which is a weak solution of (2.11) with a.e. in for .
We define its extension by
Similarly, let be a weak solution of the boundary value problem
and its extension is defined by
Since , we have . By Theorem 2.4 in , we have
for . In view of (2.15), the pointwise limits
exist and in .
Similar to the proof Theorem 1.1 in  and the proof of Theorem 7.5.1 in , it is not difficult to get from Theorem 2.1 that is the maximal weak solution and the minimal solution of (2.3), which satisfies (2.10) and . This ends the proof of Lemma 2.3.
Our main results read as follows.
Theorem 2.4 (existence).
Let , . Assume the following.
The nonnegative functions are Lipschitz continuous and nondecreasing, . Additionally, and with .
The nonnegative functions , are locally Hölder continuous. Let . If
then there exists , such that , and the problem (1.1) admits a weak solution .
Theorem 2.5 (nonexistence).
Let , . Assume that
there exist such that
the functions in satisfy
Then the problem
has no nontrivial solution .
If assumption (2.19) holds, then
with , .
In fact, for this case, there exist and such that
for . Therefore,
So, condition (2.19) implies (2.22).
3. Proof of Existence
Before proofing the existence, we present some preliminary lemmas which will be useful in what follows.
Suppose that , is local Hölder continuous and satisfies
Then the problem
has a weak solution , where .
Let . Then . Denote
Obviously, and . It is easy to verify that
This shows that (resp., ) is a lower (resp., upper) solution of (3.2). Then by Lemma 2.3, there exists a weak solution for problem (3.2) satisfying , and
Let . If
one has .
(1) Since , . By the Hölder inequality, we obtain
(2) If and , we take and then .
This implies and ends the proof of Lemma 3.2.
If satisfies the conditions in Lemma 3.2, then the problem (3.2) admits a solution .
Suppose that is nondecreasing and with . Additionally, let the function be locally Hölder continuous and satisfy
where . Then the problem
has a weak solution .
We first consider the problem
By Lemma 3.1, there is a solution for (3.12) satisfying . In order to get the existence of solution for (3.11), we chose a pair of upper-lower solution of the equation in (3.11) by means of .
Let . It is easy to verify that is an upper solution of
if and only if
By the assumption on , we know that there exists , such that . So, . Then we take so that is an upper solution of (3.13).
We now construct a lower solution of (3.13). Consider the boundary value problem
Setting and performing some standard computations, we see that ,
and in . Then, our result follows from Lemma 2.3.
We now give the proof of Theorem 2.4.
Proof of Theorem 2.4.
Let be a solution of the problem
where . We see that is an upper solution of the equation
if and only if
we have a constant , such that
Since , we have , and there exist , such that for and for . Then . A simple computation shows that
Hence, for any , there exists a unique , such that . That is
Now defining , we get
This shows that is an upper solution of (3.20). Noting that
we know that is an upper solution of (1.1). Let be a solution of (3.11). Obviously, is a lower solution of (1.1). We now show that in .
Since for and as , then for any , there exist , such that . Without loss of generality, let .
From the proof of Lemma 3.4 and the definition of , we have for . Further, by (3.17), we get . Letting , we obtain in .
By Lemma 2.3, there exists a solution for the problem (1.1). We then complete the proof of Theorem 2.4.
The nonlinear term can be regarded as a perturbation of the nonlinear term .
4. Proof of Nonexistence
In order to prove the nonexistence of nontrivial solution of the problem (2.21), we use the test function method, which has been used in  and references therein. Some modification has been made in our proof. The proof is based on argument by contradiction which involves a priori estimate for a nonnegative solution of (2.21) by carefully choosing the special test function and scaling argument.
Proof of Theorem 2.5.
Let be defined by
and put , by which the parameters will be determined later. It is not difficult to verify that and , where .
Suppose that is a solution to problem (2.21). Without loss of generality, we can assume that in (otherwise, we consider and let ). Let be a parameter ( will also be chosen below).
By the Young inequality, we get
where , , and satisfy (2.18) and , .
Multiplying the equation in (2.21) by and integrating by parts, we obtain
Then applying the Young inequality with parameter , we have
Similarly, let us multiply the equation in (2.21) by and integrate by parts:
Now, we apply the Hölder inequality to the integral on the right-hand side of (4.6):
with , and .
Since , we chose so small that . Then, we have
with , .
Since , with . Then we get
where and .
Let . Then,
Then it follows from (4.5)–(4.11) that
If , it follows from (4.12) that
This implies that , a.e. in . That is, is a trivial solution for (2.21).
If , then (4.12) gives that
By (4.5), we derive
Reasoning as in the first part of the proof, we infer that
Letting in (4.17), we obtain (4.14). Thus, , a.e. in . Then the proof of Theorem 2.5 is completed.
The authors wish to express their gratitude to the referees for useful comments and suggestions. The work was supported by the Fundamental Research Funds for the Central Universities (Grant no. 2010B17914) and Science Funds of Hohai University (Grants no. 2008430211 and 2008408306).
Cîrstea, F, Motreanu, D, Rădulescu, V: Weak solutions of quasilinear problems with nonlinear boundary condition. Nonlinear Analysis: Theory, Methods & Applications. 43(5), 623–636 (2001). PubMed Abstract | Publisher Full Text
Goncalves, JV, Santos, CA: Existence and asymptotic behavior of non-radially symmetric ground states of semilinear singular elliptic equations. Nonlinear Analysis: Theory, Methods & Applications. 65(4), 719–727 (2006). PubMed Abstract | Publisher Full Text
Noussair, ES, Swanson, CA, Yang, JF: Quasilinear elliptic problems with critical exponents. Nonlinear Analysis: Theory, Methods & Applications. 20(3), 285–301 (1993). PubMed Abstract | Publisher Full Text
Santos, CA: Non-existence and existence of entire solutions for a quasi-linear problem with singular and super-linear terms. Nonlinear Analysis: Theory, Methods & Applications. 72(9-10), 3813–3819 (2010). PubMed Abstract | Publisher Full Text
Santos, CA: On ground state solutions for singular and semi-linear problems including super-linear terms at infinity. Nonlinear Analysis: Theory, Methods & Applications. 71(12), 6038–6043 (2010). PubMed Abstract | Publisher Full Text
Cañada, A, Drábek, P, Gámez, JL: Existence of positive solutions for some problems with nonlinear diffusion. Transactions of the American Mathematical Society. 349(10), 4231–4249 (1997). Publisher Full Text
Assunção, RB, Carrião, PC, Miyagaki, OH: Subcritical perturbations of a singular quasilinear elliptic equation involving the critical Hardy-Sobolev exponent. Nonlinear Analysis: Theory, Methods & Applications. 66(6), 1351–1364 (2007). PubMed Abstract | Publisher Full Text
Kristály, A, Varga, C: Multiple solutions for a degenerate elliptic equation involving sublinear terms at infinity. Journal of Mathematical Analysis and Applications. 352(1), 139–148 (2009). Publisher Full Text
Miyagaki, OH, Rodrigues, RS: On positive solutions for a class of singular quasilinear elliptic systems. Journal of Mathematical Analysis and Applications. 334(2), 818–833 (2007). Publisher Full Text
Xuan, B: The solvability of quasilinear Brezis-Nirenberg-type problems with singular weights. Nonlinear Analysis: Theory, Methods & Applications. 62(4), 703–725 (2005). PubMed Abstract | Publisher Full Text
Assunção, RB, Carrião, PC, Miyagaki, OH: Multiplicity of solutions for critical singular problems. Applied Mathematics Letters. 19(8), 741–746 (2006). Publisher Full Text
García-Huidobro, M, Manásevich, R, Yarur, CS: On the structure of positive radial solutions to an equation containing a -Laplacian with weight. Journal of Differential Equations. 223(1), 51–95 (2006). Publisher Full Text
Pucci, P, García-Huidobro, M, Manásevich, R, Serrin, J: Qualitative properties of ground states for singular elliptic equations with weights. Annali di Matematica Pura ed Applicata. 185(4), 205–243 (2006)
Pucci, P, Servadei, R: Existence, non-existence and regularity of radial ground states for -Laplacain equations with singular weights. Annales de l'Institut Henri Poincaré. Analyse Non Linéaire. 25(3), 505–537 (2008)
Yang, Z: Existence of positive entire solutions for singular and non-singular quasi-linear elliptic equation. Journal of Computational and Applied Mathematics. 197(2), 355–364 (2006). Publisher Full Text
Chen, C, Wang, H: Ground state solutions for singular -Laplacian equation in . Journal of Mathematical Analysis and Applications. 351(2), 773–780 (2009). Publisher Full Text
Wu, H, Chen, C: Decaying solution for singular -Laplacian equation. Applied Mathematics and Computation. 204(2), 833–838 (2008). Publisher Full Text
Díaz, JI, Saá, JE: Existence et unicité de solutions positives pour certaines équations elliptiques quasilinéaires. Comptes Rendus des Séances de l'Académie des Sciences. 305(12), 521–524 (1987). PubMed Abstract | Publisher Full Text
Mitidieri, È, Pokhozhaev, SI: A priori estimates and the absence of solutions of nonlinear partial differential equations and inequalities. Trudy Matematicheskogo Instituta Imeni V. A. Steklova. 234, 1–384 translation in Proceedings of the Steklov Institute of Mathematics, 234, no. 3, 1–362, 2001 (2001)