Jiaquan Liu,Xiangqing Liuand Zhi-Qiang Wang
1 LMAM,School of Mathematical Science,Peking University,Beijing 100871,China
2 Department of Mathematics,Yunnan Normal University,Kunming,Yunnan 650500,China
3 College of Mathematics and Informatics and Center for Applied Mathematics of Fujian Province(FJNU),Fujian Normal University,Fuzhou,Fujian 350117,China
4 Department of Mathematics and Statistics,Utah State University,Logan,UT 84322,USA
Abstract. The existence of an infinite sequence of sign-changing solutions are proved for a class of quasilinear elliptic equations under suitable conditions on the quasilinear coefficients and the nonlinearity
Key Words: Quasilinear elliptic equations, sign-changing solution, an elliptic regularization method.
In this paper,we study the existence of sign-changing solutions for the following quasilinear elliptic equation
where Ω⊂RNis a bounded domain with smooth boundary,and we use the notations
(b2) There exist constantsq>2,δ>0 such that
(b3) There exists a positive constantcsuch that
(b4)bij(z)is even inz.
(f1) Letf ∈C(R,R)satisfy that there exist constantsc>0 andr ∈(2, 2∗)such that
(f2) There exists a positive constantcsuch that
(f4)f(z)is odd inz.
For simplicity of notations we use the samecto denote some constants in the above conditions.
We are looking for weak solutions for Eq.(1.1),namely a functionu ∈H10(Ω)∩L∞(Ω)satisfying
For semilinear case, this is in the setting of the classical superlinear problems that goes back to the celebrated paper of Ambrosetti and Rabinowitz [1] (see also the book [24])in which infinitely many solutions were obtained using the symmetric mountain pass theorem. Later a sequence of sign-changing solutions were assured to exist in the setting[4,13].
The following is the main result of this paper which establish the above mentioned results for the case of bounded quasilinearity.
Theorem 1.1.Assume(b1)-(b4),(f1)-(f4). Then Eq.(1.1)has infinitely many sign-changing solutions.
Formally the problem has a variational structure,given by the functional
The functionalIis continuous, but not differentiable onH10(Ω). Historically there have been several approaches developed for handling this type of non-smooth variational problems. The critical point theory for nonsmooth functionals has been established,see[2,3,8,10,11,15]. The authors of the present paper developed a new approach in[16,17,20,21], by introducing ap-Laplacian perturbation. The theory in the above papers were used in[16]to treat the existence of an infinite sequence of sign-changing solutions for a problem similar to Eq. (1.1) but having a quasilinear termbijof power growth inu. For some technical reasons, thep- Laplacian perturbation approach does not work well for the case we consider here,namely the quasilinear termbijis bounded. The existence of a nontrivial solution for (1.1) was given in[2,8]. The question on the existence of sign-changing solutions in particular on whether there exist an infinite sequence of sign-changing solutions in this case was left open in[8,16].
In this paper we will use a different approach which was used in[22]where localized solutions for semiclasscial Schr¨odinger type equations were considered. We outline the approach here first. Instead of introducing ap-Laplacian perturbation, we truncate the quadratic form ∑Ni,j=1bij(u)DiuDju. Under suitable truncations, up to some level sets controlled by the truncation,the resulting problem share critical points with the original problem. More precisely,letµ>0 be a parameter and define a family of functionals
whereσ>0 is fixed satisfying
We will verify thatIµis aC1-functional onH10(Ω)and satisfies the Palais-Smale condition. The corresponding Euler-Lagrange equation forIµis thenuwill be a solution of the original equation(1.1). Note that no limit processµ →0 is needed for the existence of critical point of the original problem. By taking smallerµwe obtain more solutions of the original problem. This is the main idea of the approach.In order to obtain sign-changing critical points of the functionalIµwe shall apply the method of invariant sets for descending flow, as developed in [6,18,19]. The idea of using invariant sets for descending flow for studying sign-changing solutions goes back to some earlier work for semilinear elliptic boundary value problems,such as in[5,7,9,23]for the existence of sign-changing solutions and [4,13] for an infinite sequence of signchanging solutions.
Throughout the paper,cdenotes various positive constants,cµdenotes constants depending onµ. The paper is organized as follows. In Lemma 2.1 we define the truncation functionhµ. In Lemma 2.2 and Lemma 2.3 we prove the functionalIµis aC1-functional onH10(Ω)and satisfies the Palais-Smale condition. Lemma 2.4 to Lemma 2.8 and Proposition 2.1 are devoted to constructing critical values of the functionalIµby the method of invariant sets for descending flow. In Proposition 2.2 we prove the regularity result as the gradient estimate(1.6),which completes the proof of Theorem 1.1 consequently.
We start with giving the definition of the functionhµused in the truncation for the functionalIto getIµ.
Now define
Then 0≤q(t)≤1,q(t)=1 fort ≤1;q(t)=0 fort ≥Tε;q(t)is decreasing intand
In the future we choose and fixεandT:=Tεin the definition ofhabove such that
Lemma 2.2.The functional Iµ is differentiable and
Proof.LetHµbe the truncated quadratic term inIµ
The other two terms inIµare “harmless” to the smoothness. We compute the Gateaux derivative ofHµ. The Gateaux derivative ofHµatuin the directionϕis defined as
Since
we have
Hence
By Lebesgue’s dominated convergence theorem we have
The Gateaux derivativeDGHµ(u) is a bounded linear functional onH10(Ω). MoreoverDGHµ(u)continuously depends onuand there exists a positive constantcµsuch that
In the above we have used the fact that
Since the Gateaux derivativeDGHµ(u) is a bounded linear functional onH10(Ω) and continuously depends onu,Hµ(u) is Frechet differentiable and the Frechet derivativeDHµ(u)=DGHµ(u). Finally
Lemma 2.3.Iµ satisfies the Palais-Smale condition.
Proof.We have
In the above we have used the fact that
Let{un} ⊂H10(Ω) be a Palais-Smale sequence ofIµ. By (2.3),unis bounded inH10(Ω).Assumeun ⇀uinH10(Ω),un →uinLs(Ω)(1≤s< 2∗),un(x)→u(x)a.e.x ∈Ω. We have
We estimate the term〈DHµ(un)−DHµ(um),un −um〉. Assumeu,v ∈H10(Ω). Denote
unis a Cauchy sequence,hence a convergent sequence inH10(Ω).
From the proof of Lemma 2.2 and Lemma 2.3(see(2.2),(2.5)),we have the following lemma,which is useful in our proofs later.
Lemma 2.4.There exist positive constants cµ and c∗µ such that
We construct multiple solutions of the approximate problem(1.5),in particular multiple sign-changing solutions by the method of invariant sets for descending flow. The abstract framework is established in [16,18,19,23] generalizing the classical mountain pass theorems without the setting of invariant sets[1,24].
Proposition 2.1.Let X be a Banach space, f be an even C1-functional on X and satisfy the Palais-Smale condition. Let P,Q be open convex subsets of X,Q=−P,W=P ∪Q,W/= ∅.Assume there exists an odd map A:X →X satisfying
(A1)Given c0,b0>0there exists b=b(c0,b0)such that if‖D f(x)‖≥b0,|f(x)|≤c0then
(A2)A(∂P)⊂P,A(∂Q)⊂Q.
Let E be a finite-dimensional subspace of X and B be a ball in E centered at the origin. Define
Assume
Then c is a critical value of f and
In the following we verify thatIµsatisfies all the assumptions of Proposition 2.1 for a suitable operatorAand subsetsP,QandB. In Lemma 2.2 and Lemma 2.3 we have proved thatIµis aC1-functional onH10(Ω)and satisfies the Palais-Smale condition. Now we define the operatorAand the subsetsP,Qand verify the assumptions(A1),(A2).
Definition 2.1.Given u ∈H10(Ω),define v=Au ∈H10(Ω)by the following equation
where c∗µ is the positive constant which appears in Lemma2.4and
Without loss of generality we assume
Lemma 2.5.The operator A is well-defined and continuous.
We complete the proof.
Lemma 2.6.There exists a constant cµ such that
Moreover
Consequently the assumption(A1)holds.
By Lemma 2.4,we have
Thus,we complete the proof.
We define the open convex setsPandQ,and verify the assumption(A2)of Proposition 2.1.
Definition 2.2.Define the open convex sets P and Q as
where u±= max{±u,0},c∗µ is the constant in Lemma2.4,S=Sp(Ω)is the Sobolev constant for the embedding H10(Ω)(Ω),ν>0is a small constant.
Lemma 2.7.There exists a positive constant ν0such that for ν<ν0,it holds that A(∂P)⊂P,A(∂Q)⊂Q.
Proof.Assumeu ∈∂Q,v=Au. By the definitions
Chooseϕ=v+as test function in(2.8b). Since
the left hand side of(2.8b)
For anyτ>0,by the assumptions(f1),(f3),there existscτ>0 such that
The right hand side of(2.8b),
provided we chooseτandν0such that
hencev=Au ∈QandA(∂Q)⊂Q. SimilarlyA(∂P)⊂P.
We apply the abstract theorem(Proposition 2.1)to define a sequence of critical values of the functionalIµ,and estimate the bound of the critical values.
Definition 2.3.Let0<λ1<λ2≤··· be the eigenvalues of the Laplacian operator −Δin H10(Ω)∩H2(Ω),e1,e2,···,be the corresponding eigenfunctions. Denote
where Rl>0satisfies that Iµ(u)≤I(u)<0for u ∈El,‖u‖≥Rl. Define
Lemma 2.8.There exist0<αl<βl,l=2,3,···,such that
Proof.SinceId ∈Γl,we have
By the condition(f1),we can chooseτ>0 such that
Define
By choosingRllarge enough,we can assume
By Lemma 4.5[16]forν0sufficiently small it holds that
Hence
We claim that there exist positive constantsτandc,independent ofµandlsuch that
hence
Thus,we complete the proof.
We are in a position to prove Theorem 1.1. To do it,we need the following regularity result for solutions of the quasilinear elliptic equation (2.13), the proof of which will be given in Appendix.
Proposition 2.2.Let u ∈H10(Ω),DIµ(u) = 0and Iµ(u)≤L. Then there exist K> 0,γ ∈(0,1),depending on L only,such that
ulis a sign-changing solution of the original equation(1.1),andI(ul)=Iµl(ul)=cl(µl)≥αl →∞asl →+∞. We obtain infinitely many sign-changing solutions of Eq.(1.1)
Remark 2.1.Without the assumptions(b4),(f4),we have the following theorem of three nontrivial solutions,which is reminiscent of the well known result for semilinear elliptic equations such as in[7,9,23,25].
Theorem 2.1.Assume(b1)-(b3),(f1)-(f3).Then Eq.(1.1)has at least three nontrivial solutions,one is positive,one is negative and the third is sign-changing.
Again we apply the method of invariant sets of the descending flow,see[6,18,19].We leave the detail of proof to the interested readers.
AppendixProposition A.1.Assume u ∈H10(Ω),DIµ(u) = 0and Iµ(u)≤L. Then there exist K> 0,γ ∈(0,1),depending on L only,such that
First we apply Moser’s iteration to obtain theL∞-bound.
Lemma A.1.Assume u ∈H10(Ω),DIµ(u) = 0and Iµ(u)≤L. Then there exists M> 0,depending on L only,such that
By(A.5)and(A.6),we have Starting froms0=d>1,by iteration we obtain
Thus,we complete the proof.
Proof of PropositionA.1.We write down the quasilinear equation (1.1) in the divergence form
Denote
fori,j= 1,···,N. We verify the structure conditions satisfied by the quasilinear equation(Q)by use of the assumptions(B),(F)and the property of the truncated functionhµ.
(b) On the other hand,we have
where Λ(M)is an increasing function from R+to R+.
Assumeu ∈H10(Ω),DIµ(u) = 0,Iµ(u)≤L. By Lemma A.1, there existsM=M(L)such that|u|L∞(Ω)≤ M. The quasilinear equation (Q) satisfies the natural structure conditions for elliptic equation. All the assumptions of Corollary 1.5,Theorem 1.7 of[14](see also[12])are fulfilled. Therefore there existK> 0,γ ∈(0,1)depending only onM,Λ such that
We complete the proof.
Acknowledgements
The authors would like to thank the referee for carefully reading the paper and for helpful suggestions. The work is partially supported by NSFC (Nos. 11761082, 11671364,11771324 and 11831009).
Analysis in Theory and Applications2021年2期