EXISTENCE AND NONEXISTENCE OF ENTIRE SOLUTIONS TO THE LOGISTIC DIFFERENTIAL EQUATION

Transcription

1 EXISTENCE AND NONEXISTENCE OF ENTIRE SOLUTIONS TO THE LOGISTIC DIFFERENTIAL EQUATION MARIUS GHERGU AND VICENŢIURĂDULESCU Received 26 February 23 We consider the one-dimensional logistic problem r α A u u = r α pr f u on,, >, u =, where α is a positive constant and A is a continuous function such that the mapping ta t is increasing on,. The framework includes the case where f and p are continuous and positive on,, f =, and f is nondecreasing. Our first purpose is to establish a general nonexistence result for this problem. Then we consider the case of solutions that blow up at infinity and we prove several existence and nonexistence results depending on the growth of p and A. As a consequence, we deduce that the mean curvature inequality problem on the whole space does not have nonnegative solutions, excepting the trivial one. 1. Introduction and the main results As pointed out in the recent monograph by Buttazzo et al. [3], one-dimensional variational problems deserve special attention. In fact, problems of this kind have their own characters. Sometimes, as we will also see in this paper, higherdimensional variational problems can be reduced to one-dimensional ones. We study the following problem: [ r α A u u ] = r α pr f u, r >, >, u =, 1.1 where α>, and A satisfies A1 A C[,, At > fort>, the mapping ta t isofclasscr C 1, and[tat] > fort>. We assume throughout the paper that f is a continuous and nondecreasing function on [, satisfying f =, and f>on,. Copyright 23 Hindawi Publishing Corporation Abstract and Applied Analysis 23: Mathematics Subject Classification: 26D1, 34A34, 34B18, 34D5, 35B4 URL:

2 996 Entire solutions to the logistic equation We suppose that p is a positive continuous function on [, such that the mapping gr = r α r s α psds satisfies either g1 gr as r or g2 g r M>forallr>. Obviously, g2 implies g1. Remark 1.1. i For α = N 1andAt = t m 2, m>1, 1.1 becomes the m- Laplacian equation div u m 2 u = pr f u 1.2 in the radial case. ii For α = N 1andAt = 1 + t 2 1/2,1.1 becomes the radial mean curvature equation, that is, u div = pr f u u 2 iii Typical functions A that verify A1: At = t m 2, m>1, 1.4 At = 1+t 2 α 1, α 2, 1.5 At = t 2m 2 1+t 2m 1/2, m iv Examples of functions p satisfying g1: pr = r a 1 + r 2 b,provideda + 2b> 1; pr = e r ; pr = ln2 + r. The condition g2 is fulfilled for pr = r γ, γ>; pr = e r. Our first result concerns the nonexistence of the solution to problem 1.1in thecasewherelim t tat <. Theorem 1.2. Assume that A satisfies A1, lim t tat <,andp satisfies g1. Then 1.1 has no positive solution. Next we consider the case where A2 lim t At/t m 2 = A,, for some m>1. We point out that the case At = t m 2, m>2, was studied in [11]. Remark 1.3. i Since m>1, A2 leads to lim t tat = +. ii Functions satisfying both conditions A1 and A2 are given, for example, by 1.4and1.6, with m>1. Define Ψ :[, [, byψt = t 2 At t sasds, t>. From A1, it follows that Ψ is a continuous increasing function with Ψ =.

3 M. Ghergu and V. Rădulescu 997 From A2, and l Hospital s rule, we deduce that Ψt lim t t m = m 1 m A,. 1.7 Theorem 1.4. Assume A1, A2, and g2 hold. If t 1/m f sds dt <, 1.8 then 1.1 has no positive solutions. In fact, the proof of Theorem 1.4 establishes that if problem 1.1wouldhave a solution then, necessarily, this solution blows up at infinity, that is, ur + as r. Such a solution is called explosive or large. There is a great interest in the last few decades regarding the study of solutions that blow up at the boundary or at infinity. If m = 2, then condition 1.8isknownastheKeller-Osserman condition see [6, 13] and it plays a basic role in the treatment of elliptic equation that admits large solutions. Basic results in the study of large solutions for stationary problems have been recently obtained in [1, 2, 4, 5, 7, 8, 9, 1, 11]. Theorem 1.5. Assume A1, A2, and g1 hold. If t 1/m f sds dt =, 1.9 then 1.1 has at least one positive solution. Moreover, this solution is large. Our next result gives an estimate of the growth of a solution of 1.1incaseif f is bounded. More precisely, we prove the following theorem. Theorem 1.6. Assume A1, A2, and g1 hold and f is bounded. If u is a positive solution of 1.1, then 2. Proofs ur 1 1/m 1 lim r r g 1/m 1 sds r = lim f r. 1.1 A If u is a positive solution of 1.1, then [ A u u ] + α r A u u = pr f r r >, 2.1 A u r r u r = r α s α ps f us ds r >. 2.2 We deduce that A u r u r > forr>which implies u r >. Since f is nondecreasing, it follows that A u r u r gr f ur r>. 2.3

4 998 Entire solutions to the logistic equation Now 2.1and2.3yield [ Au u ] r pr α gr f ur r r>, 2.4 that is, [ Au u ] r g r f ur r>. 2.5 Proof of Theorem 1.2. Arguing by contradiction, let u be a solution of 1.1. Since > and f, u are nondecreasing functions, from 2.1weget A u r u r gr f r>. 2.6 On the other hand, lim t tat <, which implies that Au ru r is bounded on [,. This fact and the above inequality lead to a contradiction since gr as r and f >. The proof of Theorem 1.2 is now complete. Proof of Theorem 1.4. Assume by contradiction that problem 1.1 has a positive solution u.from2.6, we get u r as r and so, by Remark 1.3, ur as r. By g2 and 2.5, we have [ Au u ] s Mf us s>. 2.7 Multiplying by u the above inequality and integrating on [,r], we obtain r [ r Au u ] su sds M f us u sds r >. 2.8 Now, integration by parts yields A u r u r 2 r A u s u su sds M r f us u sds 2.9 for all r>. By a change of variables, we now find A u r u r u r ur 2 tatdt M f tdt r >. 2.1 Hence, Ψ u r ur M f us ds r > By 1.7 and using the fact that u r + as r, there exist r > anda positive constant C>suchthat u r C ur f us ds 1/m r>r. 2.12

5 M. Ghergu and V. Rădulescu 999 Hence, ur Integrating this inequality on [r,r], we find f us ds 1/m u r C r >r ur t ur f us ds 1/m dt C r r r >r Letting r in the above relation, we get ur t f us ds 1/m dt = This contradicts our assumption 1.8 and completes the proof. Proof of Theorem 1.5. The existence of a solution u of 1.1 inacertaininterval [,R follows by the classical arguments of ODEs. Assume, by contradiction, that the maximal interval of existence of u is a finite interval [,R, R<. We first claim that ur = lim r R ur =. Indeed, since u on[,r, it follows that ur exists in, ]. From 2.1, we deduce that u R exists and is finite. Then, by standard arguments for initial value problems, it follows that u can be extended as a solution on an interval [,R+ ε, ε>, which contradicts the maximality of R.Hence,uR =. Using 2.1 and the fact that Au u on[,r, we have [ Au u ] s gs f us C f us <s<r, 2.16 where C = max r [,R] gr >. Multiplying the above inequality by u and integrating on [,r], we have Ψ u r ur C f us ds <r<r According to 1.7, there exists R,Rsuchthat ur 1/m u r C 1 f sds r R,R, 2.18 where C 1 > is a constant independent of f and u.hence, ur f sds 1/m u r C 1 r R,R. 2.19

6 1 Entire solutions to the logistic equation An integration over [R,r], r<r, and a change of variable lead to ur t ur f us ds 1/m dt C 1 r R r >r. 2.2 Now, letting r R,wefind ur t f us ds 1/m dt C 1 R R <, 2.21 which contradictsour assumption 1.9. We conclude that there exists a solution of 1.1 andthe proof is nowcomplete. Proof of Theorem 1.6. Applying l Hospital s rule, we have From A2, we get u lim m 1 r = lim r gr r ur lim r r g 1/m 1 sds = lim u r r g 1/m 1 r u m 1 r A u r u r A u r u r gr = 1 A u lim r u r. A r gr 2.23 By 2.1, l Hospital s rule, and the fact that ur + as r,wededucethat A u lim r u r r s = lim α ps f us ds r gr r r s α = lim f ur = lim f r psds r r Now, 2.22, 2.23, and 2.24leadto ur 1 1/m 1 lim r r g 1/m 1 sds r = lim f r A This completes our proof. 3. Applications to the N-dimensional case In this section, we show how the previous results can be applied to the corresponding problem 1.1 in the N-dimensional case, that is, div [ A u u ] p x f u, x R N. 3.1 Many papers have been devoted to the semilinear case A 1 see, e.g., [1, 2, 4, 5, 6, 7, 8, 9, 1, 11, 13] and the references therein. In [12], Naito and Usami studied the case p 1andA satisfying A1. A very useful tool is the following comparison principle.

7 M. Ghergu and V. Rădulescu 11 Proposition 3.1. Assume that A1 holds. Let Ω beaboundeddomaininr N with smooth boundary. Let u be a nonnegative entire solution of 3.1 and let v CΩ C 1 Ω be a positive function satisfying A v v C 1 Ω, div [ A v v ] p x f v in Ω, u v on Ω. 3.2 Then u v in Ω. We also have the following proposition. Proposition 3.2. Assume that A1 holds. If inequality 3.1 has a nonnegative entire solution u, then there exists a positive solution v of 1.1 corresponding to α = N 1. The proofs of Propositions 3.1 and 3.2 are similar to those for the case p 1, which can be found in [12]. Now we state the results that can be reduced to the one-dimensional case of the inequality problem 3.1. Theorem 3.3. Assume that A satisfies A1, lim t tat < +, andp satisfies g1. If u is a nonnegative entire solution of 3.1, then u. Proof. Arguing by contradiction, assume that u. Then, by Proposition 3.2, problem 1.1 has a positive solution for α = N 1, which contradicts Theorem 1.2.Hence,u. Theorem 3.4. Assume that A1, A2, and g2 hold. If t 1/m f sds dt < 3.3 and u is a nonnegative entire solution of 3.1, then u. Proof. By contradiction, assume that u. Then, by Proposition 3.2, 1.1 has a positive solution for α = N 1, which contradicts Theorem 1.4.Hence,u. Theorem 3.5. Assume A1, A2, and g1 hold. If t 1/m f sds dt =, 3.4 then inequality 3.1 has infinitely many positive entire large solutions. Proof. By Theorem 1.5, foranya>, there exists a positive solution v a of 1.1 with v a = a. Furthermore,wehavev a r + as r.thus,u a x := v a x, x R N, is a positive entire large solution of 3.1.

8 12 Entire solutions to the logistic equation Corollary 3.6. Assume that A1, A2, and g2 hold. Then 3.1 has a positive entire large solution if and only if t 1/m f sds dt = Examples. i If p satisfies g1 and u is a nonnegative entire solution of the mean curvature inequality problem u div p x f u, x R N, u 2 then u. ii If p satisfies g2, then the inequality u div 1+ u 2 α p x e u, x R N,α< 1 2, 3.7 has no positive entire solutions, while the inequality u div 1+ u 2 α p x u γ, x R N,α< 1,γ, has positive entire large solutions if and only if γ 1 2α. iii If p satisfies g2, then the inequality div u m 2 u p x u γ, x R N,m>1, γ. 3.9 has positive entire large solutions if and only if γ m 1. Remark 3.7. The assumptions g1 and g2 are sufficient but not necessary for the existence of a solution to inequality 3.1. As a counterexample we can take A 1, f r = r, pr = 2N/r It is obvious that g1 and g2 fail to hold but the inequality problem 3.1 has the positive entire large solution ux = x Acknowledgment This work was partially supported by a research grant through the Romanian Academy of Sciences. References [1] C. Bandle, A. Greco, and G. Porru, Large solutions of quasilinear elliptic equations: existence and qualitative properties, Boll. Un. Mat. Ital. B , no. 1, [2] C. Bandle and M. Marcus, Large solutions of semilinear elliptic equations: existence, uniqueness and asymptotic behaviour, J. Anal. Math , 9 24.

9 M. Ghergu and V. Rădulescu 13 [3] G. Buttazzo, M. Giaquinta, and S. Hildebrandt, One-Dimensional Variational Problems, Oxford Lecture Series in Mathematics and Its Applications, vol. 15, The Clarendon Press, Oxford University Press, New York, [4] F. Şt. Cîrstea and V. D. Rǎdulescu, Blow-up boundary solutions of semilinear elliptic problems, Nonlinear Anal., Ser. A: Theory Methods 48 22, no. 4, [5] Y. Du and Q. Huang, Blow-up solutions for a class of semilinear elliptic and parabolic equations, SIAMJ. Math.Anal , no. 1, [6] J.B.Keller,On solutions of u = f u, Comm. Pure Appl. Math , [7] A. C. Lazer and P. J. McKenna, Asymptotic behavior of solutions of boundary blow-up problems, Differential Integral Equations , no. 3-4, [8] C.LoewnerandL.Nirenberg,Partial differential equations invariant under conformal or projective transformations, Contributions to Analysis: A Collection of Papers Dedicated to Lipman Bers L. V. Ahlfors, I. Kra, B. Maskit, and L. Nirenberg, eds., Academic Press, New York, 1974, pp [9] M. Marcus, On solutions with blow-up at the boundary for a class of semilinear elliptic equations, Developments in Partial Differential Equations and Applications to Mathematical Physics Ferrara, 1991 G. Buttazzo, G. P. Galdi, and L. Zanghirati, eds., Plenum Press, New York, 1992, pp [1] M.MarcusandL. Véron, Uniqueness and asymptotic behavior of solutions with boundary blow-up for a class of nonlinear elliptic equations, Ann. Inst. H. PoincaréAnal. Non Linéaire , no. 2, [11] A. Mohammed, G. Porcu, and G. Porru, Large solutions to some non-linear O.D.E. with singular coefficients, Nonlinear Anal , [12] Y. Naito and H. Usami, Entire solutions of the inequality diva Du Du f u, Math. Z , no. 1, [13] R. Osserman, On the inequality u f u,pacific J. Math.71957, Marius Ghergu: Department of Mathematics, University of Craiova, Craiova, Romania address: ghergu@inf.ucv.ro Vicenţiu Rădulescu: Department of Mathematics, University of Craiova, Craiova, Romania address: radulescu@inf.ucv.ro