Counter-example for Liouville theorems for indefinite problems on half spaces.docVIP

ActaMath.Univ.Comenianae Vol.LXXXI,1(2012),pp.105–116 105 COUNTER-EXAMPLE FOR LIOUVILLE THEOREMS FOR INDEFINITE PROBLEMS ON HALF SPACES ¨ J. FOLDES Abstract. The goal of this paper is a construction of an counter example to Li- ouville theorems for inde?nite problems on half spaces. Since Liouville theorems are closely related to the scaling method for elliptic and parabolic problems, our counter=example indicates that one has to impose additional assumptions on the nodal set of nonlinearity in order to obtain a priori estimates for inde?nite el- liptic problems. The counter-example is constructed by shooting method in one- dimensionalcaseandthenextendedtohigherdimensions. 1. Introduction Thispaperismotivatedbystudiesoftheinde?niteellipticproblemsoftheform ??u=m(x)|u|p?1u, u=0 x∈?, (1) x∈??, andtheparaboliccounterparts. Inthiscontexttheinde?niteproblemmeansthat ˉ the function m changes sign in ?. Here, and below we assume that ? ? RN is a smooth domain (of class C2,α for some α 0) and the problem is superlinear and subcritical, that is, 1 p p , where pS := ∞ for N = 1,2 and p := below.(N+2)/(N?2)forN ≥3. Theassumptionsonthefunctionmwillbespeci?ed S S Inde?nite elliptic problems attracted a lot of attention during recent decades see e.g [1, 2, 5, 6, 7, 16] and references therein. In order to investigate their qualitative properties it is important to obtain a priori bounds for solutions. By aprioriestimateswemeanestimatesoftheform (2) kukX ≤C(N,p,?,m), ˉ where X := L∞(?). We remark that analogous estimates occur in the study of blow-upratesofsolutionsofparabolicproblemsseee.g. [9,14,17]andreferences therein. Aprioriestimatescanbeobtainedbyvariousstrategies(see[15]). Inthispaper wefocusonthescalingmethod,whichoftenyieldsoptimalresultswithrespectto theexponentp,ifthepreciseasymptoticsofthenonlinearityisknown. ReceivedAugust24,2011; revised December21,2011. 2010 Mathematics Subject Classi?cation. Primary 34B40,34B15,35B53,35J25.  106 ¨ J. FOLDES