Skip to content
BY 4.0 license Open Access Published by De Gruyter February 25, 2022

Infinitely many radial and non-radial sign-changing solutions for Schrödinger equations

  • Gui-Dong Li , Yong-Yong Li and Chun-Lei Tang EMAIL logo

Abstract

In the present paper, a class of Schrödinger equations is investigated, which can be stated as

Δu+V(x)u=f(u),xN.

If the external potential V is radial and coercive, then we give the local Ambrosetti-Rabinowitz super-linear condition on the nonlinearity term fC(ℝ, ℝ) which assures the problem has not only infinitely many radial sign-changing solutions, but also infinitely many non-radial sign-changing solutions.

MSC 2010: 35A15; 35D30; 35J10; 35J20

1 Introduction

In this paper, a class of Schrödinger equations is studied. It can be stated as

(1.1) Δu+V(x)u=f(u),xN,

where V is the external potential and the nonlinearity term f : ℝ → ℝ is continuous. For the appliance to the nonlinear optics, the nonlinear Schrödinger equation is receiving increasingly amount of attention from the field of mathematics. Indeed, some nonlinear Schrödinger equations arose from some simplified models. Bergé [10], C. Sulem and P.-L. Sulem [33] studied them from the modelization aspects. On the other hand, quantum field theory, especially the Hartree-Fock theory, is also origin fields of Schrödinger equations. Many researchers, Avron, Herbst and Simon [1], Bialinycki-Birula and Mycielski [11], Gogny and Lions [16], Kato [18], and C. Sulem and P.-L. Sulem [33] has been focusing on it since decades ago. What's more, the nonlinear Schrodinger equation is also a good model dispersion equation, because it is usually technically simpler than other dispersion equations (such as the wave or KdV). In the mind of mathematicians, this kind of problem has been concerned for a long time. Of course, there are rich results about it (e.g. [8, 9, 15, 19, 21]). What we care about is whether there are multiple solutions to this problem. Let's review some of the work in this area.

For the case of autonomy, that is, V > 0 is a constant, to handle the existence of infinitely many solutions to problem (1.1), researchers in [14, 15, 26, 30]) considered it with some special nonlinearities up, p ∈ (1, 2* − 1), where 2*=2NN2 if N ≥ 3 or 2* = +∞ if N = 1, 2. We wish to point out an interesting result by Berestycki and Lions [8], in which they showed that under the so-called “Berestycki-Lions condition” on f, there exist infinitely many radial solutions and the action of these solutions is arbitrarily large. Here the Berestycki-Lions condition is not only necessary but also sufficient for guaranteing the existence of solution. Under the same hypotheses on f , Hirata, Ikoma and Tanaka gave a different method to show that problem (1.1) have infinitely many radial solutions. Mederski [25] further explained that problem (1.1) , under “Berestycki-Lions condition", has infinitely many non-radial solutions. There is another interesting result introduced by J. Liu, X. Liu and Wang [21] where a general critical point theory was developed to tackle the existence and locations of multiple critical points created by minimax methods related to the multiple invariant sets of the associated gradient flow, and then it is proved that problem (1.1) possesses a family of infinitely many radial sign-changing solutions.

Notice that the authors in [21] made the standard Ambrosetti-Rabinowitz super-linear condition (there is μ > 2 satisfying sf(s) ≥ μF(s) > 0 for all s ∈ ℝ \ {0}, where F(s)=0sf(t)dt on the nonlinearity f, and we say (AR) condition for short. We will prove that this condition on f can be further weakened in this paper. There are many interesting results in the case of autonomy, but due to the limited space, we will not introduce them one by one. Let us now turn our attention to the case of non-autonomy, namely, V is a non-constant potential.

For the case where V is continuous and 1-periodic in x1, · · · , xN, it has been considered by Szulkin and Weth [35], and Tang et al. [37]. In [12, 31] the authors showed that problem (1.1) have infinitely many solutions where V is an asymptotically autonomous potential, namely, lim|x|→∞ V(x) = V > 0. For the case where V is radial potential, i.e., V(x) = V(|x|), provided that r2V(r) has a local maximum point, or local minimum point r0 > 0 with V(r0) > 0, Chen, Wei and Yan [13] then proved that problem (1.1) with critical growth has infinitely many non-radial solutions. If V(y) = (y′, y″), (y′, y″) ∈ ℝ2 × ℝN−2 has a stable critical point, then problem (1.1) with critical growth has infinitely many solutions by using the standard reduction method to locate the concentrating points of the solutions (see [28]).

Hong [17] required that V(x) = λa(x) + 1 and f satisfies the standard Ambrosetti-Rabinowitz super-linear condition, thanks for the principle of symmetric criticality and the fountain theorem, the authors proved that the existence of a sequence of solutions to equation (1.1) and proved the existence of an unbounded sequence of solutions, which is non-radial and sign-changing. As we know, there also exists many similar researches concerning the existence of the nontrivial solutions to problem (1.1). We refer the interested reader to [15, 23, 29, 34, 36, 38] and references therein.

However, it can be seen from the above literature that few articles start from two aspects, that is, to prove the existence of two families of solutions. There is a natural guess: it exists infinitely many radial and non-radial sign-changing solutions for problem (1.1). Fortunately, we will endorse this guess in this work. We introduce our work space given by

E={uH1(N):NV(x)u2dx<},

endowed with the norm

u2:=N(|u|2+V(x)u2)dx.

This is a Hilbert space, and its inner product is denoted by 〈·, ·〉. Here V satisfies

  • (V1) VC(ℝN), infx∈ℝN V(x) > 0 and V(x) = V(|x|),

  • (V2) there exists a constant r > 0 such that, for any M > 0, meas {x ∈ ℝN : |xy| ≤ r, V(x) ≤ M} → 0 as |y| → +1.

We investigate Schrödinger equations as follows:

(1.2) {Δu+V(x)u=f(u),xN,uE,

where N ≥ 1 and f satisfies

  • (f1) fC(ℝ, ℝ) is odd and lims0f(s)s=0 ,

  • (f2) lims+sf(s)sp=0 , p ∈ (2, 2*), where 2*=2NN2 if N ≥ 3 or 2* = +∞ if N = 1, 2,

  • (f3) f(s) ≥ 0 for any s ≥ 0 and lims+F(s)s2=+ , where F(s)=0sf(t)dt ,

  • (f4) there exist L > 0, μ > 2 such that

sf(s)μF(s)0,s[L,+).

Our result reads as

Theorem 1.1

Let (V1), (V2) and (f1)(f4) hold. If N = 2k, k ∈ ℤ+ then problem (1.2) has not only infinitely many radial sign-changing solutions, but also infinitely many non-radial sign-changing solutions.

Remark 1.2

To our knowledge, our result seems to be the first attempt to illustrate that problem (1.2) has two families of infinitely many sign-changing solutions. One can easily see that the local (AR) condition (f4) is weaker than the (AR) condition. For example,

(1.3) f(u)={|u|q2u,|u|1,q(2,p),u,1<|u|2,22q1|u|q2u,2<|u|.

Clearly f does not satisfy the (AR) condition, but satisfies (f4). Therefore, to a certain extent, this work can also be regarded as an extension and supplement to previous research results.

The current work consists of four parts. Let's end the first section here. The second part gives some preliminary results. In Section 3, we introduce a constraint problem. The proof of Theorem 1.1 will be given in Section 4.

2 Preliminaries

Here we give notations which will be used in the rest of this paper.

  • H1(ℝN) is the usual Sobolev space endowed with the usual norm

    uH2=N(|u|2+u2)dx.

  • Lp(ℝN) is the usual Lebesgue space endowed with the norm

    |u|pp=N|u|pdxand|u|=ess supxN|u(x)|forallp[1,+).

    meas Ω denotes the Lebesgue measure of the set Ω.

  • u± := max{±u, 0}.

  • C, Ci(i = 1, 2, · · · ) denote positive constants and are possibly different from line to line.

The embedding ELs (ℝN) (2 ≤ s < 2*) is compact (see [6, 7]). Now, we have to emphasize that the existence of solutions for problem (1.2) can be proved by using variational methods. As for problem (1.2), the energy functional ℐ : E → ℝ can be constructed as

(u)=12N(|u|2+V(x)u2)dxNF(u)dx.

Thus, based on the conditions of (f1)–(f3), by a standard argument we can affirm that ℐ is well defined and of class C1, and its derivative in E is

(u),v=Nuv+V(x)uvdxNf(u)vdxforallvE.

Formally, all critical points of ℐ are solutions of problem (1.2).

Lemma 2.1

Assume that (V1), (V2) and (f1)(f4) hold, thensatisfies the Palais-Smale condition.

Proof

Suppose that {vn} is a Palais-Smale (Shortly: (PS) ) sequence of ℐ for some c ∈ ℝ, that is,

(vn)c,(vn)0.

We claim that the sequence {vn} is bounded in E, otherwise there should be a subsequence, still denoted vn, such that ‖vn‖ → ∞ as n → ∞. Let un=vnvn , so that there exists uE satisfying unu in Lq (ℝN) (2 ≤ q < 2*), un(x) → u(x) a.e. x ∈ ℝN. Let

Ω={xN:u(x)0}.

If meas(Ω) is not equal to 0, then limn→∞ |vn(x)| = +∞ almost everywhere in Ω. With applying (f2) and Fatou's lemma, we calculate directly

liminfnNF(vn)dxvn2liminfnΩF(vn)un2|vn|2dxΩliminfnF(vn)un2(x)|vn(x)|2dx=+.

Then we obtain that

0=limsupncvn2=limsupn(vn)vn2=12liminfnNF(vn)dxvn2=.

This contradiction indicates that meas(Ω) = 0, so that u(x) = 0 a.e. x ∈ ℝN and un → 0 in Ls (ℝN) (2 ≤ s < 2*). By (f1), we have

|sf(s)μF(s)|C1|s|2for all|s|[0,L].

Combining with (f3), we deduce

sf(s)μF(s)C2|s|2,for alls.

Hence,

o(1)=1vn2(μ(vn)(vn),vn)=(μ21)+Nf(vn)vnμF(vn)dxvn2(μ21)C2|un|22μ21.

This is a contradiction with μ > 2. So {vn} is bounded in E and then there exists vE satisfying vnv in Lq (ℝN) (2 ≤ q < 2*), vn(x) → v(x) a.e. x ∈ ℝN. Generalized control convergence theorem gives us that (f1) and (f2) imply that

Nf(vn)vndxNf(v)vdx.

Therefore vnv in E, and hence ℐ satisfies the Palais-Smale condition.

Lemma 2.2

Assume that (V1), (V2) and (f1)(f4) hold. Then

  • (i) infu‖=ρ ℐ(u) > 0 holds for some positive constant ρ,

  • (ii) Let Em be a subspace of E with dim Em < +∞, then there is Rm = R (Em) > 0 satisfying

    supuBRmcEm(u)<0,

    where BR := {uE : ‖u‖ ≤ R} and BRc:=E\BR .

Proof

(i). From (f1)–(f3), for any fixed δ > 0 we can find Cδ > 0 such that

|F(s)|δ|s|2+Cδ|s|pfor anys,

where p is given in (f2). Then we have

(2.1) (u)u22δN|u|2dxCδN|u|pdxu22C1δu2C2up.

Noting that p > 2, taking δ small enough we conclude that there is 0 < ρ < 1 satisfying

infuBρ(u)ρ28>0.

(ii). It follows from (f1)–(f3) that there exists C1, C2 > 0 such that

F(s)C1|s|μC2|s|2for alls.

So we deduce

(u)12u2NF(u)dx12u2C1N|u|μdx+C2N|u|2dx.

For μ > 2 and because of the equivalence of norms in finite dimensional space, we see that ℐ(u) = −∞ as ‖u‖ → ∞, uEm. Therefore the result follows.

3 Radial sign-changing solutions

Set

Er:={uE:uis a raidal function}.

Clearly, Er is a nonempty complete subspace of E. Now, let problem (1.2) constrain on Er, namely,

(3.1) {Δu+V(x)u=f(u),xN,uEr.

Notice that ℐ|Er is the corresponding energy function of problem (3.1). For simplicity, we denote ℐ|Er by ℐr. Next we introduce an auxiliary operator B, which plays an important role in constructing the descending flow for ℐr. Let the operator B be defined as follows: for a fixed uEr, v = B(u) ∈ Er is the unique solution of

(3.2) Δv+V(x)v=f(u).

Clearly, the following three expressions are equivalent:

  • u is a solution of problem (3.1),

  • u is a critical point of ℐr,

  • u is a fixed point of B.

In the following lemmas, we introduce some properties of B, which can be similarly proved in [21, 24, 34]. For better viewing, we provide the proof here.

Lemma 3.1

Assume that (V1) and (f1)(f4) hold. Then

  • (i) the operator B is well defined as well as continuous,

  • (ii) r(u),uB(u)=uB(u)2 for all uEr,

  • (iii) r(u)CuB(u) for some C > 0 and any uEr,

  • (iv) for c < d and a > 0, there exists b > 0 such thatuB(u)‖ ≥ a if uEr,r(u) ∈ [c, d] and r(u)b .

Proof

(i) Let uEr, and define for any vEr,

(v)=12v2Nf(u)vdx,

so that ℰ ∈ C1(Er, ℝ) and ℰ is weakly lower semicontinuous. By (f1)–(f2) and the Sobolev embedding we then obtain

Nf(u)vdxCv,

which implies

(v)12v2Cv,

and this means that ℰ(v) → +∞ as ‖v‖ → ∞, where C = C(u) is a constant depending on u. This shows that ℰ is coercive. Moreover, we know that ℰ is bounded below and it keeps the boundness of sets as a mapping. We now estimate

(v)(w),vwvw2,

so that ℰ is also strictly convex. Hence, from [2, Theorems 1.5.6 and 1.5.8], ℰ admits a unique minimizer v = B(u) ∈ Er, which is the unique solution to problem (3.2). Clearly, B also maps bounded sets into bounded sets by (f1)–(f3).

Next, we give the proof of the continuity of B. Assume that {un} ⊂ Er with unu in Er. Denote v = B(u) and vn = B (un). Since 〈ℰ′(vn), vn〉 = 0 we have

vn2=Nf(un)vndx.

Combining with (f1)–(f2), we can obtain the boundness of {vn} in Er. Assume that vnv* in Er, after extracting a subsequence, then for any wEr

Nv*w+V(x)v*wdx=Nf(u)wdx,

which implies that v* = B(u). So v = v* by the uniqueness.

We show that ‖vnv‖ → 0 as n → ∞. From 〈ℰ′(v) − ℰ′(vn), vvn〉 = 0, we can write

vnv2=N(f(un)f(u))(vnv)dx.

So, by the general Lebesgue control convergence theorem, vnv in Er. Hence, B is continuous.

  • (ii) By using the fact that B(u) is a solution of problem (3.2), one obtains

    r(u),uB(u)=uB(u)2,

    for all uEr.

  • (iii) Notice that for all ϕC0(N)Er ,

    r(u),ϕ=N[(uB(u))ϕ+V(x)(uB(u))ϕ]dx.

    Then we have

    r(u)CuB(u)for alluEr.

  • (iv) Contrarily, suppose that it exists {un} ⊂ Er with

    r(un)[c,d]andr(un)α,

    such that

    unB(un)0asn,

    and hence from (iii) we deduce that r(un)0 . But it is impossible, so the proof is complete.

Since the Hilbert space L2 (ℝN) is a separable and Er can be embedded continuously in it, we can conclude that Er possesses a countable orthogonal basis {li}. For any m ∈ ℕ, we denote

Hm:=span{l1,l2,,lm}.

In order to prove our results, as in many references such as [21, 23, 34], we introduce the positive and negative cones, which is used to determine the position of the solution. Exactly, set

Y+:={uEr:u(x)0,xN}andY:={uEr:u(x)0,xN}.

For ε > 0, let

Yε+:={uEr:dist(u,Y+)=infvY+vu<ε}.

Similarly, set Yε:={uEr:dist(u,Y)<ε} . It is easy to see that W:=Yε+Yε is an open and symmetric subset of Er and Erw:=Er\W only contains sign-changing functions. Define ℬa(G) := {uEr : dist(u, G) < a} for GEr and a > 0.

Lemma 3.2

Assume that (V1) and (f1)(f4) hold. Then there exists ε0 > 0 such that for any ε ∈ (0, ε0),

  • B(Yε)Yε and any solution vYε\{0} is negative,

  • B(Yε+)Yε+ and any solution vYε+\{0} is positive.

Proof

Let uEr and v = B(u). Conditions (f1) and (f2) imply that for any > 0 there exists a constant C > 0 depending on to satisfy

(3.3) Nf(u)v+dxεNu+v+dx+CεN|u+|p1v+dx.

Based on dist (v, Y) ≤ ‖v+‖, combined with (3.3) and Sobolev's inequality, it is true that

(3.4) dist(v,Y)v+v,v+=Nf(u)v+dxεNu+v+dx+CεN|u+|p1v+dxC[εdist(u,Y)+|dist(u,Y)|p1]v+.

Let's make and ε small enough, then

dist(v,Y)12dist(u,Y),

and thus one can find ε0 > 0 such that

dist(B(u),Y)=dist(v,Y)<ε,ε(0,ε0).

As a result, it gives us that B(u)Yε for any uYε . Suppose that there exists uYε with B(u) = u, hence we can say that uY. What's more, if u is nontrivial, it follows from the maximum principle that u < 0 in ℝN. Similarly, the second conclusion is also true.

Lemma 3.2 illustrates that every sign-changing solutions of problem (3.1) should be contained in Erw for ε small. At the same time, we note that B itself is not suitable for constructing the descending flow for ℐr, because B is merely continuous. But fortunately, the local Lipschitz continuous operator can overcome it. By the same way as [5, Lemma 2.1] (also see [3, 21]), a locally Lipschitz continuous operator, without loss of the main properties of B, can be constructed on Erk:=Er\K , denote it as A. Here K is the set of fixed points of B, which is also the set of critical points of ℐr.

Lemma 3.3

Assume that (V1) and (f1)(f4) hold. Then there exists a operator A:ErkEr which is locally Lipschitz continuous and satisfies

  • (i) A(Yε+)Yε+ and A(Yε)Yε for every ε ∈ (0, ε0),

  • (ii) 12uA(u)uB(u)2uA(u) for any uEr,

  • (iii) r(u),uA(u)12uB(u)2 for every uEr,

  • (iv) if f is an odd function, then A is odd.

For a fixed uEr, we introduce the following initial value problem

(3.5) {ddtτ(t,u)=A(τ(t,u)),τ(0,u)=u,

where 𝒜(u) = uA(u). Because A is a locally Lipschitz continuous operator, problem (3.5) has a unique solution by the existence and uniqueness theory of ODE. Denote by τ(t, u) with maximal interval of existence [0, T(u)]. It follows from Lemma 3.3 that ℐr(τ(t, u)) is strictly decreasing in [0, T(u)]. According to [5, Lemma 3.2], through Lemma 3.3 we have the fact that for any ε ∈ (0, ε0] and uYε±¯\K , τ(t,u)Yε± for any t ∈ (0, T(u)), where ε0 is given in Lemma 3.2.

For a fixed c ∈ ℝ, set Kc={uEr:r(u)=candr(u)=0} and rc={uEr:r(u)c} . Inspired by [21, 23, 24, 34], it is a deformation lemma about invariant sets that is needed, which plays a critical role in the process of obtaining the existence and location of multiple solutions.

Lemma 3.4

Assume that (V1), (V2) and (f1)(f4) hold, and 𝒩 is an open symmetric neighborhood of Kc\W. Then one can find ε0 > 0 such that for any 0 < ε < ε′ < ε0, there is σC([0, 1] × Er, Er) satisfying:

  • (a) σ(t, u) = u if t = 0 or ur1([cε0,c+ε0]), ,

  • (b) σ(1,rc+ε\(WN))rcε ,

  • (c) if Kc\W = ∅, then σ(1,rc+ε\W)rcε ,

  • (d) σ(t, − u) = −σ(t, u) for all (t, u) ∈ [0, 1] × Er,

  • (e) σ(t,Yε+¯)Yε+¯ and σ(t,Yε¯)Yε¯ for any t ∈ [0, 1].

Proof

Set Kc1:=KcW and Kc2:=Kc\W . Lemma 2.1 tells us that Kc is compact and then d:=dist(Kc1,Erw)>0 , where Erw=Er\W . Furthermore, choose δ(0,d8) so small that 3δ(Kc2)N and 3δ(Kc1)W . In fact, there are a, ε0 > 0 satisfying

r(u)afor anyur1([cε0,c+ε0])\2δ(Kc).

Thanks to Lemma 3.1, one can always find b > 0 satisfying

uA(u)bfor anyur1([cε0,c+ε0])\2δ(Kc).

Taking generality into account, we can still assume ε0bδ32 . Take a locally Lipschitz continuous cut-off function χ : Er → [0, 1] such that

χ(u)={1,u2δ(Kc)andur1([cε,c+ε]),0,uδ(Kc)orur1([cε,c+ε]).

Decreasing ε0 if necessary, by Lemma 2.1 there is δ′ > 0 such that

r1[cε0,c+ε0]δ(K)δ(Kc).

Thus, χ(u) = 0 for any u ∈ ℬδ′ (K). From Lemma 3.3, we know that χ(·)𝒜(·) is locally Lipschitz continuous on Er, where 𝒜(u) = uA(u). We study the following initial value problem

(3.6) {ddtη(t,u)=χ(η(t,u))A(η(t,u))A(η(t,u)),η(0,u)=u,

which deduces that η(t, u) is well-defined and continuous on ℝ+ × Er.

Let σ(t,u)=η(16εbt,u) . It is sufficient to easily show (a) and (d). For (b), conversely, we suppose that there exists urc+ε\(NW) such that σ(1,u)rcε . It is a fact that u ∉ ℬ3δ (Kc), since 3δ(Kc)3δ(Kc1)3δ(Kc2)WN . Observe that for any t ∈ [0, 1]

σ(t,u)u=η(16εbt,u)u=016εbtη(s,u)ds16εbδ2.

This says that for any t ∈ [0, 1], σ(t, u) ∉ ℬ2δ (Kc). Lemma 3.3 tells us that

r(σ(t,u))t=r(σ(t,u)),σ(t,u)t0,

so that ℐr(σ(t, u)) is not increased for t ≥ 0, and thus σ(t,u)rcε for any t ∈ [0, 1]. Therefore,

σ(t,u)r1([cε,c+ε])\2δ(Kc) for all t[0,1].

This shows that for any t ∈ [0, 1] we have

χ(σ(t,u))=1andσ(t,u)A(σ(t,u))b.

Therefore, from Lemma 3.3, we have

r(η(16εb,u))=r(u)016εbr(η(s,u)),η(s,u)dsr(u)18016εbη(s,u)A(η(s,u))dsc+ε16εbb8=cε,

which is a contradiction suggesting that (b) holds.

If Kc \ W = ∅, we can see that ℬ3δ (Kc) ⊂ W. According to the proof of (b), we can derive (c). Finally, (e) is the result of Lemma 3.3 (see [5, 21, 22]). This proves the lemma.

Proposition 3.5

Assume that (V1), (V2) and (f1)(f4) hold. Then problem (3.1) possesses infinitely many sign-changing solutions.

Proof

Define

Ψk:={ψ(BRmHm\P):ψGm,mk,P=Pisanopensetandγ(P)mk},

where k ≥ 2, γ(P) denotes the Krasnoselskir's genus of P (see [32]) and

Gm:={ψC(HmBRm,Er):ψ isanoddfunctionψ(u)=uifuBRmHm}.

Define

ck:=infΨΨksupuΨErwr(u).

We claim that 0 < ack < +1. In fact, Gm ≠ ∅ since id ∈ Gm, m ∈ ℕ. Thus, ck < +∞. Now, we seek to prove 0 < ack. From [29, Proposition 9.18], Ψk satisfies:

  • (1) Ψk ≠ ∅ and Ψk+1Ψk for all k ≥ 2,

  • (2) Let ϕC(Er, Er) be an odd function and ϕ(u) = u, u∂BRmHm, then ϕ( ) ∈ Ψk if ΨΨk for every k ≥ 2,

  • (3) if ΨΨk, X = −X is an open set and γ(X) ≤ s < k with ks ≥ 2, then Ψ\XΨks.

Define the attracting domain of 0 in Er as

O:={uEr:τ(t,u)0ast},

where τ is defined in (3.5). Since 0 is a local minimum of ℐr, combining with the continuous dependence of ODE on initial data, we have seen that 𝒪 is open. In fact, Yε+YεO and 𝒪 is an invariant set. As in [4, Lemma 3.4], one obtains

r(u)>0,uYε+¯Yε¯\{0}.

We choose ΨΨk such that

Ψ=ψ(BRmHm\P)withγ(P)mk.

Define

D:={uBRmHm:Ψ(u)O}.

So that 𝒟 is a bounded open symmetric set with 0 ∈ 𝒟 and D¯BRmHm . The Borsuk-Ulam theorem gives us that γ(𝒟) = m. In addition, ψ(𝒟) ⊂ 𝒟 from the continuity of ψ. Consequently,

ψ(D\P)ΨO.

According to [32, Proposition 5.4], one can see that

γ(ΨO)γ(ψ(D\P))γ(D\P)γ(D)γ(P)k.

Since Yε+YεO= , we obtain γ(W𝒪) ≤ 1, and then one can derive

γ(ΨErwO)γ(ΨO)γ(WO)k11,

so that

(3.7) ΨErwO.

As a result, ΨErw for every ΨΨk with k ≥ 2. We can choose ρ given in Lemma 2.2 so small that ∂Bρ ⊂ 𝒪. Therefore, from Lemma 2.2 and the property of τ, we have

supuΨErwr(u)infuOr(u)infuBρr(u)a>0.

Thus, ckα > 0.

Next, we will show that KckErw . By the contradiction, we may assume that KckErw= . From the definition of ck, we can find ΨΨk satisfying

supuΨErwr(u)ck+ε.

Then ΨErwrck+ε . It follows from Lemma 3.4 that there is a map σC([0, 1] × Er, Er) and ε > 0 such that σ(1, ·) is an odd function, σ(1,u)=u,urck2ε and

(3.8) σ(1,rck+ε\W)rckε.

Combining with the definition of W, it follows that σ(1, W) \ W = ∅ from (e) of Lemma 3.4. Then, by (3.8), one has see that

σ(1,Ψ)Erw[σ(1,Ψ\W)σ(1,W)]\Wσ(1,Ψ\W)\Wσ(1,rck+ε)\σ(1,W)σ(1,rck+ε\W)rckε,

which is contrary to the definition of ck, since σ(1, Ψ) ∈ Ψk. So KckErw .

We also note that ck+1ck for any k ≥ 2 because of the property (1) of Ψk. Finally, we’re arguing to prove that ℐr has infinitely many sign-changing critical points by proving that ck → ∞ as k → ∞. By using reduction to absurdity, we assume that ckc < ∞ as k → ∞. As a result of Lemma 2.2, one can see that Kc is compact and nonempty. In addition, we claim that

Kcw:=Kc\W.

Let {uk} be a sequence of sign-changing solutions of problem (3.1) such that ℐr (uk) → c as k → ∞. Since Lemma 2.2, up to a subsequence, there exists uErw such that uku as k → ∞. In fact, r(uk),(uk)±=0 implies that

(uk)±2Nf(uk)(uk)±dx12N|(uk)±|2dx+CN|(uk)±|pdx,

which yields that ‖(uk)±‖ ≥ δ0 > 0, where δ0 is a constant independent of k. Consequently, u is still a sign-changing solution and then Kcw .

Assume that γ(Kcw)=n . One can always find an open neighborhood 𝒩 in Er satisfying KcwN and γ(N¯)=n on account of 0Kcw , the compactness of Kcw and the continuous property of the genus. Lemma 3.4 then says that there exists > 0 and a map σC([0, 1] × Er, Er) such that σ(1, ·) is an odd function, σ(1,u)=u,urc2ε and

σ(1,rc+ε\(NW))rcε.

Because ckc as k → ∞, one may choose k large enough to get

(3.9) c+14ε>ckc12ε.

In fact, ck+n ck for any k ≥ 2. The definition of ck+n brings us that there exists ΨΨk+n, i.e.,

Ψ=ψ(BRmHm\P),

where ψGm, mk + n, γ(P¯)m(k+n) , so that

r(u)ck+n+14ε<c+εforanyuΨErw.

Therefore, ΨErwrc+ε . Set P1 = Pψ−1(𝒩). Undoubtedly, P1 is symmetric and open, and then

γ(P1)γ(P)+γ(ψ1(N))m(k+n)+n=mk.

Thus

Ψ˜:=σ(1,ψ(BRmHm\P1))Ψk.

Notice that

Ψ˜Erwσ(1,ψ(BRmHm\P1))\Wσ(1,ψ(BRmHm\P)\N)\W[σ(1,Ψ\N)]\Wσ(1,rc+ε\(NW))rcε,

where the fact σ(1, W))\W = ∅ also plays a role. Hence, cksupuΨ˜Erwr(u)cε . This contradicts (3.9) and proves to be complete.

4 Proof of Theorem 1.1

Set

Eo:={uE:uis an odd function}.

Clearly, Eo is a nonempty complete subspace of E. Also because EoL2 (ℝ2) and L2 (ℝ2) is separable, Eo admits a countable orthogonal basis {eio} . For any m ∈ ℕ, set

Emo:=span{e1o,e2o,,emo}.

Similarly, let problem (1.2) constrain on Eo, namely,

(4.1) {Δu+V(x)u=f(u),xN,uEo.

Proposition 4.1

Assume that (V1), (V2) and (f1)(f4) hold. Then problem (4.1) has infinitely many solutions in Eo.

Proof

For k ≥ 2, set

Γko:={g(BRmEmo\P):gGmo,mk,P=Pisanopensetandγ(P)mk},

and

Gmo:={gC(BRmEmo,Eo):gisanoddfunctionandg(u)=u,uBRmEmo}.

Define

cko:=infGΓkosupuGo(u),

where ℐo stands for ℐ|Eo. Certainly, Gmo , based on the fact that idGmo for all m ∈ ℕ. Thus, cko<+ . Notice that 0<αcko<+ from Lemma 3.1. Now, we seek to prove that ℐo has one nontrivial critical point uk and o(uk)=cko . From the definition of cko , one can find a sequence {un,k} ⊂ Eo such that

o(un,k)ckoando(un,k)0asn.

Lemma 2.1 gives us that ℐo satisfies the (PS) condition. Therefore, un,kuk in Eo, uk is one nontrivial critical point of ℐo and o(uk)=cko .

As in [29, Proposition 9.33], one can prove that cko as k → ∞. This brings us that ℐo(u) admits infinitely many critical points and hence completes the proof.

Proof of Theorem 1.1

Recall Z2 = {−1, 1}. Define the action of a topological group Z2 on a normed space E as

u(x)=1u(x),u=1ufor anyuE.

Hence, the action is a continuous map such that, for any g, hZ2, uE, uhu is linear and (hg)u = h(gu). Thus, ‖hu‖ = ‖u‖ for any hZ2, which implies that the action is isometric. The space of invariant points is defined by

Fix(Z2):={uE:hu=ufor allhZ2}={uE:u(x)=u(x)}.

If N = 2k, k ∈ ℤ+, then ℐ(−1 ○ u) = ℐ(u), so that ℐ is invariant. In fact, Fix(Z2) = Eo, thus, by principle of symmetric criticality [27, 38], we conclude that if u is a critical point of ℐ restricted to Eo then u is also a critical point of ℐ. Due to the properties of Eo one can see that u is non-radial sign-changing for any uEo \ {0}. So problem (1.2) admits infinitely many non-radial sign-changing solutions from proposition 4.1.

Let ℋ be a subgroup of O(N) ([20, 38]) and the action of E on E is defined by

hu(x):=u(h1x),h.

Notice that the subspace of invariant functions is

Er:={uE:hu=ufor allh}.

We also note that ℐ is invariant since (V1) and (f1). Then, also by principle of symmetric criticality, we conclude that if u is a critical point of ℐ restricted to Er then u is also a critical point of ℐ. So problem (1.2) has infinitely many radial sign-changing solutions from proposition 3.5. This completes the proof of Theorem 1.1.

Acknowledgments

The author states no conflict of interest, and would like to express their heartfelt thanks to the anonymous referees for his/her valuable suggestions and comments.

  1. This work was supported by the special (special post) scientific research fund of natural science of Guizhou University (No. (2021)43) and National Natural Science Foundation of China (No.11971393).

References

[1] J. E. Avron, I. W. Herbst and B. Simon, Separation of center of mass in homogeneous magnetic fields, Ann. Physics, 114 (1978), 431–451.10.1016/0003-4916(78)90276-2Search in Google Scholar

[2] M. Badiale and E. Serra, Semilinear elliptic equations for beginners, Universitext, Springer, London, 2011, Existence results via the variational approach.10.1007/978-0-85729-227-8Search in Google Scholar

[3] T. Bartsch and Z. Liu, On a superlinear elliptic p-Laplacian equation, J. Differential Equations, 198 (2004), 149–175.10.1016/j.jde.2003.08.001Search in Google Scholar

[4] T. Bartsch, Z. Liu and T. Weth, Sign changing solutions of superlinear Schrödinger equations, Comm. Partial Differential Equations, 29 (2004), 25–42.10.1081/PDE-120028842Search in Google Scholar

[5] T. Bartsch, Z. Liu and T. Weth, Nodal solutions of a p-Laplacian equation, Proc. London Math. Soc. (3), 91 (2005), 129–152.10.1112/S0024611504015187Search in Google Scholar

[6] T. Bartsch, A. Pankov and Z.-Q. Wang, Nonlinear Schrödinger equations with steep potential well, Commun. Contemp. Math., 3 (2001), 549–569.10.1142/S0219199701000494Search in Google Scholar

[7] T. Bartsch and Z.-Q. Wang, Existence and multiplicity results for some superlinear elliptic problems on ℝN, Comm. Partial Differential Equations, 20 (1995), 1725–1741.10.1080/03605309508821149Search in Google Scholar

[8] H. Berestycki and P.-L. Lions, Nonlinear scalar field equations. I. Existence of a ground state, Arch. Rational Mech. Anal., 82 (1983), 313–345.10.1007/BF00250555Search in Google Scholar

[9] H. Berestycki and P.-L. Lions, Nonlinear scalar field equations. II. Existence of infinitely many solutions, Arch. Rational Mech. Anal., 82 (1983), 347–375.10.1007/BF00250556Search in Google Scholar

[10] L. Bergé, Wave collapse in physics: principles and applications to light and plasma waves, Phys. Rep., 303 (1998), 259–370.10.1016/S0370-1573(97)00092-6Search in Google Scholar

[11] I. Białynicki-Birula and J. Mycielski, Wave equations with logarithmic nonlinearities, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys., 23 (1975), 461–466.Search in Google Scholar

[12] G. Cerami, G. Devillanova and S. Solimini, Infinitely many bound states for some nonlinear scalar field equations, Calc. Var. Partial Differential Equations, 23 (2005), 139–168.10.1007/s00526-004-0293-6Search in Google Scholar

[13] W. Chen, J. Wei and S. Yan, Infinitely many solutions for the Schrödinger equations in ℝN with critical growth, J. Differential Equations, 252 (2012), 2425–2447.10.1016/j.jde.2011.09.032Search in Google Scholar

[14] C. V. Coffman, Uniqueness of the ground state solution for Δuu + u3 = 0 and a variational characterization of other solutions, Arch. Rational Mech. Anal., 46 (1972), 81–95.10.1007/BF00250684Search in Google Scholar

[15] V. Coti Zelati and P. H. Rabinowitz, Homoclinic type solutions for a semilinear elliptic PDE on ℝN, Comm. Pure Appl. Math., 45 (1992), 1217–1269.10.1002/cpa.3160451002Search in Google Scholar

[16] D. Gogny and P.-L. Lions, Hartree-Fock theory in nuclear physics, RAIRO Modél. Math. Anal. Numér., 20 (1986), 571–637.10.1051/m2an/1986200405711Search in Google Scholar

[17] M. Hong, Infinitely many sign-changing solutions for a Schrödinger equation in ℝN, J. Math. Anal. Appl., 354 (2009), 459–468.10.1016/j.jmaa.2009.01.018Search in Google Scholar

[18] T. Kato, Perturbation theory for linear operators, Die Grundlehren der mathematischen Wissenschaften, Band 132, Springer-Verlag New York, Inc., New York, 1966.Search in Google Scholar

[19] G.-D. Li, Y.-Y. Li and C.-L. Tang, Existence and asymptotic behavior of ground state solutions for Schrödinger equations with Hardy potential and Berestycki-Lions type conditions, J. Differential Equations, 275 (2021), 77–115.10.1016/j.jde.2020.12.007Search in Google Scholar

[20] P.-L. Lions, Symétrie et compacité dans les espaces de Sobolev, J. Funct. Anal., 49 (1982), 315–334.10.1016/0022-1236(82)90072-6Search in Google Scholar

[21] J. Liu, X. Liu and Z.-Q. Wang, Multiple mixed states of nodal solutions for nonlinear Schrödinger systems, Calc. Var. Partial Differential Equations, 52 (2015), 565–586.10.1007/s00526-014-0724-ySearch in Google Scholar

[22] Z. Liu and J. Sun, Invariant sets of descending flow in critical point theory with applications to nonlinear differential equations, J. Differential Equations, 172 (2001), 257–299.10.1006/jdeq.2000.3867Search in Google Scholar

[23] Z. Liu, Z.-Q. Wang and J. Zhang, Infinitely many sign-changing solutions for the nonlinear Schrödinger-Poisson system, Ann. Mat. Pura Appl. (4), 195 (2016), 775–794.10.1007/s10231-015-0489-8Search in Google Scholar

[24] Z. Liu, Z. Ouyang and J. Zhang, Existence and multiplicity of sign-changing standing waves for a gauged nonlinear Schrödinger equation in ℝ2, Nonlinearity, 32 (2019), 3082–3111.10.1088/1361-6544/ab1bc4Search in Google Scholar

[25] J. Mederski, Nonradial solutions of nonlinear scalar field equations, Nonlinearity, 33 (2020), 6349–6380.10.1088/1361-6544/aba889Search in Google Scholar

[26] Z. Nehari, On a nonlinear differential equation arising in nuclear physics, Proc. Roy. Irish Acad. Sect. A, 62 (1963), 117–135 (1963).Search in Google Scholar

[27] R. S. Palais, The principle of symmetric criticality, Comm. Math. Phys., 69 (1979), 19–30.10.1007/BF01941322Search in Google Scholar

[28] S. Peng, C. Wang and S. Yan, Construction of solutions via local Pohozaev identities, J. Funct. Anal., 274 (2018), 2606–2633.10.1016/j.jfa.2017.12.008Search in Google Scholar

[29] P. H. Rabinowitz, Minimax methods in critical point theory with applications to differential equations, vol. 65 of CBMS Regional Conference Series in Mathematics, Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 1986.10.1090/cbms/065Search in Google Scholar

[30] G. H. Ryder, Boundary value problems for a class of nonlinear differential equations, Pacific J. Math., 22 (1967), 477–503.10.2140/pjm.1967.22.477Search in Google Scholar

[31] Y. Sato and M. Shibata, Infinitely many solutions for a nonlinear Schrödinger equation with general nonlinearity, Calc. Var. Partial Differential Equations, 57 (2018), Paper No. 137, 31.10.1007/s00526-018-1413-zSearch in Google Scholar

[32] M. Struwe, Variational methods, vol. 34 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], 3rd edition, Springer-Verlag, Berlin, 2000, Applications to nonlinear partial differential equations and Hamiltonian systems.10.1007/978-3-662-04194-9Search in Google Scholar

[33] C. Sulem and P.-L. Sulem, The nonlinear Schrödinger equation, vol. 139 of Applied Mathematical Sciences, Springer-Verlag, New York, 1999, Self-focusing and wave collapse.Search in Google Scholar

[34] J. Sun, L. Li, M. Cencelj and B. Gabrovšek, Infinitely many sign-changing solutions for Kirchhoff type problems in ℝ3, Nonlinear Anal., 186 (2019), 33–54.10.1016/j.na.2018.10.007Search in Google Scholar

[35] A. Szulkin and T. Weth, Ground state solutions for some indefinite variational problems, J. Funct. Anal., 257 (2009), 3802–3822.10.1016/j.jfa.2009.09.013Search in Google Scholar

[36] X. Tang, Infinitely many solutions for semilinear Schrödinger equations with sign-changing potential and nonlinearity, J. Math. Anal. Appl., 401 (2013), 407–415.10.1016/j.jmaa.2012.12.035Search in Google Scholar

[37] X. Tang, S. Chen, X. Lin and J. Yu, Ground state solutions of Nehari-Pankov type for Schrödinger equations with local super-quadratic conditions, J. Differential Equations, 268 (2020), 4663–4690.10.1016/j.jde.2019.10.041Search in Google Scholar

[38] M. Willem, Minimax theorems, vol. 24 of Progress in Nonlinear Differential Equations and their Applications, Birkhäuser Boston, Inc., Boston, MA, 1996.10.1007/978-1-4612-4146-1Search in Google Scholar

Received: 2021-09-11
Accepted: 2021-12-18
Published Online: 2022-02-25

© 2021 Gui-Dong Li, et al., published by De Gruyter

This work is licensed under the Creative Commons Attribution 4.0 International License.

Downloaded on 8.6.2024 from https://www.degruyter.com/document/doi/10.1515/anona-2021-0221/html
Scroll to top button