# Existence and Nonexistence of Positive Solutions for Singular -Laplacian Equation in

Caisheng Chen*, Zhenqi Wang and Fengping Wang

Author Affiliations

Department of Mathematics, Hohai University, Nanjing, Jiangsu 210098, China

For all author emails, please log on.

Boundary Value Problems 2010, 2010:607453  doi:10.1155/2010/607453

 Received: 15 August 2010 Accepted: 10 December 2010 Published: 15 December 2010

© 2010 The Author(s) Caisheng Chen et al.

This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

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.

### 1. Introduction

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

(11)

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 [1]. 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 [27]. 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 [8].

When , , and , , by using the lower and upper solution method, Santos in [5] 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 [913] and references therein. Assunção et al. in [14] studied the multiplicity of solution for the singular equations in (1.1) with , , , and in . Similar consideration can be found in [1520] 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

(12)

while satisfies

(13)

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

(21)

If and , we define (resp., as being the closure of (resp., ) with respect to the norm defined by

(22)

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) [13]).

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.

Definition 2.2 (see [10, 12]).

A function is said to be a weak lower solution of the equation

(23)

if

(24)

or

(25)

for any , .

Similarly, a function is said to be a weak upper solution of (2.3) if

(26)

or

(27)

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

(28)

The following lemma will be basic in our approach.

Lemma 2.3.

Let be Lipschitz continuous and nondecreasing in and locally Hölder continuous in . Moreover, assume that there exist the functions such that

(29)

Then, there exist a minimal weak solution and a maximal weak solution of (2.3) satisfying

(210)

and .

Proof.

Denote , . Let be a pair of upper and lower solutions of (2.3) with , a.e. in . We consider the boundary value problem

(211)

By Theorem  1.1 in [10], one concludes that there exists which is a weak solution of (2.11) with a.e. in for .

We define its extension by

(212)

Similarly, let be a weak solution of the boundary value problem

(213)

and its extension is defined by

(214)

Since , we have . By Theorem  2.4 in [12], we have

(215)

for . In view of (2.15), the pointwise limits

(216)

exist and in .

Similar to the proof Theorem  1.1 in [10] and the proof of Theorem  7.5.1 in [23], 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

(217)

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

(218)

the functions in satisfy

(219)

where and

(220)

Then the problem

(221)

has no nontrivial solution .

Remark 2.6.

If assumption (2.19) holds, then

(222)

with , .

In fact, for this case, there exist and such that

(223)

for . Therefore,

(224)

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.

Lemma 3.1.

Suppose that , is local Hölder continuous and satisfies

(31)

Then the problem

(32)

has a weak solution , where .

Proof.

Let . Then . Denote

(33)

Obviously, and . It is easy to verify that

(34)

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

(35)

Lemma 3.2.

Let . If

(1)

(36)

(2)

(37)

one has .

Proof.

(1) Since , . By the Hölder inequality, we obtain

(38)

(2) If and , we take and then .

Note that

(39)

This implies and ends the proof of Lemma 3.2.

Corollary 3.3.

If satisfies the conditions in Lemma 3.2, then the problem (3.2) admits a solution .

Lemma 3.4.

Suppose that is nondecreasing and with . Additionally, let the function be locally Hölder continuous and satisfy

(310)

where . Then the problem

(311)

has a weak solution .

Proof.

We first consider the problem

(312)

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

(313)

if and only if

(314)

or

(315)

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

(316)

for .

By Theorem  3.1 in [12], there exists a solution for (3.16). We define an extension by for . Then, by Theorem  2.4 in [12] and Díaz-Saá's inequality in [24], we get

(317)

Setting and performing some standard computations, we see that ,

(318)

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

(319)

where . We see that is an upper solution of the equation

(320)

if and only if

(321)

or

(322)

Since

(323)

we have a constant , such that

(324)

Denote

(325)

Since , we have , and there exist , such that for and for . Then . A simple computation shows that

(326)

Thus

(327)

Hence, for any , there exists a unique , such that . That is

(328)

Now defining , we get

(329)

This shows that is an upper solution of (3.20). Noting that

(330)

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.

Remark 3.5.

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 [25] 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

(41)

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

(42)

where , , and satisfy (2.18) and , .

Multiplying the equation in (2.21) by and integrating by parts, we obtain

(43)

Then applying the Young inequality with parameter , we have

(44)

where .

Similarly, let us multiply the equation in (2.21) by and integrate by parts:

(45)

By (4.4),

(46)

Now, we apply the Hölder inequality to the integral on the right-hand side of (4.6):

(47)

with , and .

Since , we chose so small that . Then, we have

(48)

with , .

Since , with . Then we get

(49)

where and .

Let . Then,

(410)

Similarly,

(411)

Then it follows from (4.5)–(4.11) that

(412)

with and

(413)

If , it follows from (4.12) that

(414)

This implies that , a.e. in . That is, is a trivial solution for (2.21).

If , then (4.12) gives that

(415)

By (4.5), we derive

(416)

Reasoning as in the first part of the proof, we infer that

(417)

Letting in (4.17), we obtain (4.14). Thus, , a.e. in . Then the proof of Theorem 2.5 is completed.

### Acknowledgments

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).

### References

1. 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

2. 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

3. Mohammed, A: Ground state solutions for singular semi-linear elliptic equations. Nonlinear Analysis: Theory, Methods & Applications. 71(3-4), 1276–1280 (2009). PubMed Abstract | Publisher Full Text

4. 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

5. 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

6. 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

7. Santos, CA: Entire solutions for a quasilinear problem in the presence of sublinear and super-linear terms. Boundary Value Problems (2009)

8. 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

9. 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

10. Brock, F, Iturriaga, L, Sánchez, J, Ubilla, P: Existence of positive solutions for -Laplacian problems with weights. Communications on Pure and Applied Analysis. 5(4), 941–952 (2006)

11. 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

12. 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

13. 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

14. 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

15. Calzolari, E, Filippucci, R, Pucci, P: Existence of radial solutions for the -Laplacian elliptic equations with weights. Discrete and Continuous Dynamical Systems A. 15(2), 447–479 (2006)

16. Clément, P, Manásevich, R, Mitidieri, E: Some existence and non-existence results for a homogeneous quasilinear problem. Asymptotic Analysis. 17(1), 13–29 (1998)

17. 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

18. 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)

19. 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)

20. 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

21. 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

22. Wu, H, Chen, C: Decaying solution for singular -Laplacian equation. Applied Mathematics and Computation. 204(2), 833–838 (2008). Publisher Full Text

23. Pao, CV: Nonlinear Parabolic and Elliptic Equations,p. xvi+777. Plenum, New York, NY, USA (1992)

24. 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

25. 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 (2001) translation in Proceedings of the Steklov Institute of Mathematics, 234, no. 3, 1–362, 2001