arxiv: v1 [math.ap] 21 Nov 2018

Transcription

1 Notes on A Superlinear Elliptic Problem Haoyu Li arxiv: v1 [math.ap] 1 Nov 018 Center of Applied Mathematics, Tianjin University Tianjin 30007, China hyli1994@hotmail.com Abstract. Based on the theory of invariant sets of descending flow, we give a new proof of the existence of three nontrivial solutions and some remarks on it. Keywords: Positive solution, sign-changing solution, superlinear elliptic problem. 010 MSC: 34C3, 34K18, 35B3, 37G99. Contents 1 Introduction 1 Preliminaries 3.1 Notations Definitions and lemmas Proof of Theorem Verification of 3.1) Verification of 3.3) Remarks More constructions of the sign-changing minimax values A remark on the linking sets Introduction The existence and multiplicity of solutions for superlinear elliptic problem are classical problems in the field of variational methods. It is well-known that under some general assumptions, we can obtain a positive and a negative solution. If in addition, let the nonlinear term be odd, we will have infinitely many solutions. These are classical results which can be found in [1] and [9]. In 1991, Wang discovered a third solution in [11] via the local linking and Morse theory. In 001, Liu and Sun proved the existence of four solutions in [6] under a general framework of invariant sets of descending flow. One positive solution, one negative 1

2 solution, one sign-changing solution and one possible trivial solution. The effort on refining this result is never ceased. A classical improved version is [7], which can obtain more solutions with prescribed sign with some additional assumptions. In a recent work, [4], a result for four nontrivial solutions is given with a finer analysis. In this note we give a new proof of the classical theorem on the existence of three solutions and some remarks on it. Let us make the following assumptions: f1) The function f CR) satisfies fu) = o u ), as u 0; fu) = O u p 1 ), as u, where p, ); f) There is a number µ > with 0 < µfu) ufu), where Fu) = u 0 fs)ds. Consider the superlinear elliptic problem { u = fu), in Ω, u = 0, on Ω. 1.1) where Ω R N is a domain whose boundary regular enough for the Sobolev embeddings and N 3. Theorem 1.1. Suppose that the assumptions f 1) and f ) are satisfied, the equation 1.1) possesses at least three solutions, a positive solution, a negative solution and a sign-changing solution. Remark 1.. Although this is aclassicaltheorem withalarge numberof proofs, to the best of the author s knowledge, the proof we give in this note is new. We refer the [5], [6], and [11] for a historical reference. For more results on superlinear elliptic problems, readers can find them in [3]. The structure of this paper is as follows: In the second section, we will give some notations, definitions and lemmas. And we will prove the existence of critical points in the third section. In the last section, we give some remarks on the more constructions of the sign-changing minimax values and the linking sets.

3 Preliminaries.1 Notations An open δ neighbourhood of a set A is denoted by A δ ; The complementary set of the set A is denoted by A c ; For a subset A of a linear space, let A := { x x A}; E := H0 1 Ω) denotes the usual Sobolev space. By, we denote the Sobolev norm and p the L p norm. The closure in this note is always taken with respect to the Sobolev norm; We denote the open ball in the Sobolev space H0 1 Ω) with radii ρ and center at 0 H0Ω) 1 by B ρ, by B ρ its boundary; P ± = {u H0 1 Ω) u )0 a.e. in Ω} is positive negative) cone in the Sobolev space H0 1Ω); W ε := P ε Pε ; I a = {u E Iu) a} and Ib a := Ia \I b are level sets; K = {u E I u) = 0}, K a = {u E I u) = 0 and Iu) = a} and Kb a := K Ia b are the sets of critical points of I in E.. Definitions and lemmas The following definitions and lemmas are standard for modern variational methods for sign-changing critical points. We still state it here for the completeness. We refer [5], [6] and [8] for a general theoretic construction. Definition.1. Let X be a Banach space and I C 1 X,R). Then P X is called an admissible invariant set with respect to I at level c, if K c \P = implies the existence of a positive constant ε 0 and a function η CE,E) with 1) ηp) P, ) η I c ε = id I c ε, 3) ηi cε \P) I c ε, for any ε 0,ε 0 ). Remark.. There is a symmetric version of definition.1. Readers can find it in [5] and [8]. The energy of the Problem 1.1) is Iu) = 1 u Ω Ω Fu), for u H0 1 Ω) = E. It should be noted that the I satisfies the PS) condition. This is a classical result. We will claim Lemma.3 and refer [11] for its proof. 3

4 Lemma.3. I satisfies the PS) condition. In the following part, we shall state some basic properties of P ε, P ε and W ε. Consider the operator A defined by v = ) 1 fu)) =: Au). Then the operator A : E E is well-defined, continuous and compact. One can find an analogue in [8, Section 3.1]. Lemma.4. 1) I u)u Au)) = u Au), ) I u) = u Au). Proof. 1) Since u, Au) H0 1Ω), I u)u Au)) = = ) For any ϕ H 1 0 Ω), Ω Ω )u Au))u Au)) u Au)) = u Au). I u)ϕ = u Au),ϕ) H u Au) ϕ. Hence I u) u Au). Similarly, I u) u Au). Since every solution can be considered as a fixed point of the mapping and hence of the flow), we have the following lemma. Lemma.5. There is an ε 0 > 0 such that for any ε 0,ε 0 ), AP ± ε ) P ± ε and every nontrivial solution in P ± ε is positive negative) i.e. the solution belongs to P ± ε. This lemma is similar to [8, Lemma 3.4]. For the completeness, we give the proof here. 4

5 Proof. We only proof the theorem for P ε. By g1) and g), for any δ > 0, there exists a constant C δ > 0 such that fu) δ u C δ u q 1. Let u E and v = Au). Since for any r [, ], there is a constant m r > 0 such that u ± r = inf w P u w r m r inf w P u w = m rdu,p ). Combining the fact that dv,p ) v and g), It follows that dv,p ) v v = v,v ) H = fu)v δ u C δ Ω Ω Ω u p 1 v δ u v C δ u p 1 p v p Cδdu,P )C δ du,p ) p 1 ) v. dau),p ) Cδdu,P )C δ du,p ) p 1 ). Choosing δ small enough, there exists a ε 0 > 0 such ε 0,ε 0 ), dau),p ) 1 du,p ) for any u P ε, which implies that AP ε ) P ε. Then if there is any point u P ε such that Au) = u, we will have u P. Using the maximum principle, if u θ, then u < 0 a.e. in Ω. Lemma.6. There is a Lipschitz mapping B : E\K c E such that 1) BP ± ε ) P± ε for 0 < ε < ε 0 ; ) 1 u Bu) u Au) u Bu) for any u H1 0Ω); 3) I u)u Bu)) 1 u Au) for any u E\K; This is [, Lemma.1]. The main idea of this lemma is to replace the gradient field by its pseudo-gradient field. We refer [, Lemma.1] for the proof. Lemma.7. If for some ε > 0 small enough, K c \W ε = φ, then there is a ε 0 > 0, for 0 < ε < ε < ε 0, there is a continuous mapping η : [0,1] H 1 0 Ω) H1 0 Ω) such that 5

6 1) η0,u) = u for any u H0Ω). 1 ) ηt,u) = u for all t [0,1], u / I cε c ε. 3) η1,i cε \W ε ) I c ε. 4) ηt,p ε ± ) P± ε for all t [0,1]. Proof. This proof is similar to the one of [8, Lemma 3.6]. But we give it here for the completeness. We denote W ε by W for short. Since K c \W =, there is a δ > 0 such that K c ) δ W. Since I satisfies the PS)-condition, there exist ε 0,α > 0 such that I u) α, for u I 1 [c ε 0,c ε 0 ])\K c )δ. By Lemma.4 and Lemma.6, there is a constant β > 0 such that u Bu) α, foru I 1 [c ε 0,cε 0 ])\K c )δ. Without lossofgenerality, assumethatε 0 βδ. 3 Define Vu) := u Bu) u Bu) for u E 0 = E\K and a Lipschitz function g : E [0,1] such that { 0, if u / I cε c ε or u K gu) = c )δ, 4 1, if u I cε c ε or u / K c )δ. Consider the Cauchy problem dτ dt = gτ)vτ), τ0,u) = u..1).) For any u E, the problem. admits a unique solution τ,u) CR,E). Define ηt,u) = τ 16ε t,u). And hence 1) and ) are proved. β Let u I cε \W. Iτt,u)) is decreasing for t 0. If there is a t 0 [0, 16ε ] β with Iτt 0,u)) < c ε then Iτ1,u)) < c ε. Otherwise, for any t [0, 16ε], β Iτt,u)) c ε. Then, τt,u) I 1 [c ε,cε] for t [0, 16ε ]. We claim that β for any t [0, 16ε], τt,u) / K β c)δ. If τt 1,u) K c )δ for some t 1 [0, 16ε ], then β we have δ t1 τt 1,u) τs,u) ds t 1 16ε β 0 6

7 since u / K c ))δ 1 for t [0, 16ε β. And we have a contradiction with ε < ε 0 βδ. So gτt,u)) = 3 ]. Then, by Lemma.6, I τ 16ε 16ε β,u)) β = Iu) Iu) 1 8 c ε. 0 16ε β And one can find the proof of 4) in [6]. 0 I τs,u)),vτs,u)) ds τs,u) Bτs,u) ds Let ηu) = η1,u). And hence P ± ε are admissible invariant set with respect to I θ at level c when K c \P ± ε =. The same with W. Following the same idea, by modifying the equation.1), we can proof the existence of the next mapping. Lemma.8. For some 0 < ε 1 < ε, if K c \W ε =, then there is a ε 0 > 0, for 0 < ε < ε < ε 0, there is a continuous mapping η : [0,1] H0 1Ω) H1 0 Ω) such that 1) η0,u) = u for any u H0 1Ω). ) ηt,u) = u for all t [0,1], u ) c I cε c ε W ε1. 3) η1,i cε \W ε ) I c ε. 4) ηt,p ε ± ) P ε ± for all t [0,1]. 3 Proof of Theorem 1.1 Consider the following three minimax values and c = inf sup IgtRe 1 )), g Γ t [0,1] c = inf sup Ig tre 1 )) g Γ t [0,1] c s = inf g Γ s where for the value c, we denote sup u gb )\Wε Iu), Γ = {g CE,E) g0) = 0, gre 1 ) = Re 1 and gp ε ) P ε }, 7

8 e 1 is the principle eigenfunction with positive sign and unit Sobolev norm and R > 0 is such a number with IRe) < 0 and I Re) < 0; for the value c, we denote Γ = { g CE,E) g0) = 0, g Re1 ) = Re 1 and gp ε ) P ε }, and for the value c s, we denote Γ s = {g CE,E) g B = id}; B = B R E ; E = [0, )e Re 1, where e is a sign-changing function, say, the second eigenvector of with zero Dirichlet boundary value; 0 B = B R E, B = 0 B ) B R Re 1 ; W ε = P ε Pε for some positive ε small enough. Let R > 0 be a number large enough such that I 0 B < 0. We shall prove that and for some suitable positive ε. K c P, 3.1) K c P, 3.) K cs \W ε, 3.3) 3.1 Verification of 3.1) Since 3.1) and 3.) are similar, we only prove 3.1) here. Due to the Lemma.5, we only need to prove that K c P ε for ε > 0 small enough. Let us assume that K c P ε = holds. Using the PS) condition, we can claim that there is a small positive number δ such that K c δ c δ P ε =. In the following part, we only need to verify that there is a descending flow η as in Lemma.7 satisfies that ηi c δ P ε ) Ic δ P ε. And the rest part of the proof is a routine, we refer [9] for details. 8

9 On one hand, since we have I c δ P ε P ε, ηi c δ P ε ) P ε. On the other hand, we claim that the norm of the pseudo-gradient vector field has a positive lower bound on the closed set I c δ c δ P ε. Otherwise, there is a sequence u n ) n I c δ c δ P ε such that and I u n ) n 0 Iu n )) n [c δ,c δ] as n. Using the PS) condition, there is a u I c δ c δ P ε with I u ) = 0. Hence we have a contradiction with K c δ c δ P ε =. Therefore the homeomorphism η defined by the pseudo-gradient vector field satisfies ηi c δ c δ P ε ) I c δ, which implies that ηi c δ P ε ) I c δ P ε. 3. Verification of 3.3) Step 1 Firstly, we verify a linking-type result, i.e. for any g Γ s gb ) B ρ)\w ε. For any g Γ s, there is a odd mapping g : B E defined as { gu), u B gu) = ; g u), u B, where B = B B ). Using a genus argument c.f. [10, Lemma 6.4]), and γ B ρ gb )) = γ B ρ W ε ) = 1, for ε small enough. So gb ) B ρ )\W ε =, i.e. B ρ gb ) B ρ W ε, is not possible. Since g is odd, we have gb ) B ρ )\W ε. 9

10 Step Secondly, we prove that K cs \W ε1. Since for any g Γ s, we have gb ) B ρ)\w ε1, using f 1 ), we have inf sup g Γ s gb )\Wε Iu) inf B ρ I 1 = inf u =ρ inf u =ρ u Fu) 1 4 u C u p > α > 0 for some suitable positive numbers α and ρ. Suppose K cs \W ε =, we have a continuous mapping η : [0,1] E E such that 1) η0,u) = u for any u E. ) ηt,u) = u for all t [0,1], u Ic ε) cε c W ε1. 3) η1,i csε \W ε ) I cs ε. 4) ηt,p ε ± ) P ε ± for all t [0,1] due to Lemma.8. Let ε = cs α > 0. Select a g 4 0 Γ s satisfies Denote g 1 = η g 0. Then we have sup g 0 B )\Wε I < c s ε. g 1 B )\W ε = η g 0 B )\W ε = η g 0 B )\W ε ) W ε ) \Wε η gb )\W ε ) ηi c sε ) I cs ε and g 1 0 B = η g 0 0 B = id since η = id in c; I cε c ε) g 1 B Re = η g 1 0 B Re = id since η = id in W 1 ε 1 and B Re 1 W ε1. Therefore we can find a g 1 Γ s with sup g 1 B )\Wε I c s ε. Then, we have a contradiction with the definition of c s. 10

11 4 Remarks 4.1 More constructions of the sign-changing minimax values In this section, we will give two more constructions of the sign-changing minimax values, and the second one is a slight modification of the one in [5]. Since we will not use Lemma.8 in this section, which means we do not use different neighbourhoods of the positive and negative cones, we denote W ε by W for short. And always assume that the parameter ε is small enough. Define the following two minimax values. The first one is: c s := inf sup I, g Γ s gb )\W where Γ s = { g CB,E) g 0 B = id, g 1B ) P ε and g B ) } P ε ; B = { xe 1 ye y 0 and x y R } ; 0 B = {x y = R } B, 1B = {x 0 and y = 0} B and B = {x 0 and y = 0} B, and the functions e 1, e and the number R are the same with Section 3. The second one is: c s := inf sup I, g Γ s where Γ s = { g CD,E) g 0 D } ; P ε gd )\W = id, g 1 D ) P ε and g D ) D = {xα 1 yα x,y 0 and x y R }; 0 D = {x y = R } D, 1 D = {x 0 and y = 0} D and D = {x = 0 and y 0} D ; α 1, α C0 Ω) are two nonzero functions with unit Sobolev norm and α 1 0, α 0 on Ω and suppα 1 ) suppα ) =. In the following paragraph, it only need to check the linking results. The proof of the existence of sign-changing critical point is the same as we did in Section 3. We only verify the linking result for the first minimax value since the second one is similar. Proposition 4.1. For any g Γ s, gb ) B ρ ) \W. Proof. The proof is divided into the following steps. 11

12 Step 1. Modification near the origin. In the whole process, we always assume that ε > 0 is small enough. Since the mapping g Γ s, g0) P ε P ε, then there are ρ 1, ρ > 0 such that gb B ρ1 ) B ρ and ρ are small enough, say 10ρ < ρ. Then we can modify g on the set B B ρ1 by gu) u B \B ρ1 ; u gu) = g u ) ρ 1 u ) B B ρ1 \{0}; ρ 1 u 0 u = 0. It is easy to verify that g0) = 0, gb ) B ρ = gb ) B ρ, and since P ε and P ε are convex. g 1 B ) P ε g B ) P ε, Step. Modification in P ε. To use the genus argument, we need to modify g by a mapping whose restriction on 1 B B is odd. To do this, we define a homeomorphism φ : B B \C =: D, where C = { R x 0 and 0 y R 3 sinπx R } B, and φ 0 B = id; φ 1 B = id; On B, φxe 1 ) = xe 1 R 3 sinπx and hence φ R B ) = D C. Then we define the following mapping g. For the sake of convenient, we express it into coordinate form. g φ 1 xe 1 ye ), x,y D; gxe 1 ye ) = g xe 1 ), u B {x 0 and y = 0}; ) 1 g xe 1 ) 3y R sin πx R 3y R sin πx R g φ 1 xe 1 R 3 sinπx R e ), u C\ D {y = 0} ). 1

13 It is easy to verify that g is continuous on B ; g 0 = id; B g is odd on B {y = 0} = 1 B B. Step 3. Odd extension. Define { gu), u B ; gu) = g u), u B. Using the genus argument, we have gb ) B ρ ) \W, which implies that gb ) B ρ ) \W. On one hand, since gc) P ε since gc D) P ε, gc {y = 0}) P ε and P ε is convex; φ is a homeomorphism, we have gb )\W = gd C)\W = gd) gc) ) \W = gd)\w = gφ 1 D))\W = gb )\W. On the other hand, recall the result in Step 1, we have gb ) B ρ = gb ) B ρ, gb ) B ρ ) \W = gb )\W ) B ρ = gb )\W) B ρ = gb )\W) B ρ = ) gb ) B ρ \W, which is what we want. Following a similar process, we can conclude the linking result for the second minimax value. 13

14 Proposition 4.. For any g Γ s, we have gd ) B ρ )\W. Then we can claim that K c s \W and K c s \W. 4. A remark on the linking sets In the proceeding paragraph, when we deal with the linking structure of signchanging critical points, we used the 1-codimensional set B ρ. In fact, we can use some sets of higher codimension. For example, consider the set F = Y B ρ, where the subspace Y satisfies that codimy) = 1 and F E\W) =. It is valid for all three kinds of critical values, we only consider the first kind as an example. Using the intersection lemma c.f. [10, Lemma 6.4]), we have for any g Γ s, gb ) F, and hence gb ) F ) \W. In this case, codimf) =. It should be remarked that in [5], the linking set is P ε P ε. These examples show that the set B ρ is not the smallest linking set. It could be intersecting to look for a necessary and sufficient condition for a set to be a linking set for sign-changing mountain pass lemmas. Acknowledgement The author would like to express his sincere thanks to his advisor Professor Zhi- Qiang Wang for useful suggestions, infinitely patience and language help. This research is supported by CNSF ). References [1] Ambrosetti A., Rabinowitz P. H.. Dual variational methods in critical point theory and applications[j]. Journal of Functional Analysis, 1973, 144): [] Bartsch T, Liu Z, Weth T. Nodal solutions of a p-laplacian equation[j]. Proceedings of the London Mathematical Society, 005, 911): [3] Bartsch T, Wang Z.-Q., Willem M. The Dirichlet problem for superlinear elliptic equations[j]. Stationary partial differential equations. Vol. II, 005, :

15 [4] Li C, Li S. Gaps of consecutive eigenvalues of Laplace operator and the existence of multiple solutions for superlinear elliptic problem[j]. Journal of Functional Analysis, 016, 71): [5] Liu J, Liu X, Wang Z.-Q.. Multiple mixed states of nodal solutions for nonlinear Schrodinger systems[j]. Calculus of Variations and Partial Differential Equations, 015, 53-4):1-. [6] Liu Z, Sun J. Invariant Sets of Descending Flow in Critical Point Theory with Applications to Nonlinear Differential Equations[J]. Journal of Differential Equations, 001, 17): [7] Li S, Wang Z.-Q.. Mountain pass theorem in order intervals and multiple solutions for semilinear elliptic Dirichlet problems[j]. Journal Danalyse Mathmatique, 000, 811): [8] Liu Z, Wang Z.-Q., Zhang J. Infinitely many sign-changing solutions for the nonlinear Schrodinger-Poisson system[j]. Annali di Matematica Pura ed Applicata 193 -), 016, 1953): [9] Rabinowitz P. Minimax Methods in Critical Point Theory with Applications to Differential Equations[M]// Minimax methods in critical point theory with applications to differential equations. Published for the Conference Board of the Mathematical Sciences by the American Mathematical Society, 1986:100. [10] Struwe M. Variational methods : applications to nonlinear partial differential equations and Hamiltonian systems[j]. Ergebnisse Der Mathematik Und Ihrer Grenzgebiete, 1996, 34):1344C1360. [11] Wang Z.-Q.. On a superlinear elliptic equation[j]. Annales De Linstitut Henri Poincare, 1991, 81): [1] Willem M. Minimax Theorems[M]. Birkhauser Boston,