Sign-changing solutions for the stationary Kirchhoff problems involving the fractional 7 Laplacian in RN ∗ 1 0 2 n Kun Cheng † Qi Gao ‡ a J January 17, 2017 4 1 ] P A Abstract . h t a In this paper, we study the existence of least energy sign-changing solutions for m a Kirchhoff-type problem involving the fractional Laplacian operator. By using the [ constraint variational method and quantitative deformation lemma, we obtain a least 1 energy nodal solution u for the given problem. Moreover, we show that the energy v b 2 of u is strictly larger than twice the ground state energy. We also give a convergence b 6 8 property of ub as b ց 0, where b is regarded as a parameter. 3 0 Keywords: Kirchhoff equation, Fractional Laplacian, Sign-changing solutions. . 1 0 7 1 1 Introduction and main results : v i X Here we consider the existence of least energy sign-changing solutions for the Kirchhoff type r a problem involving a fractional Laplacian operator as below: |u(x)−u(y)|2 a+b dxdy (−∆)su+V(x)u = f(x,u) in RN, (1.1) |x−y|n+2s (cid:18) ZZR2N (cid:19) ∗This workwassupportedbytheNationalNaturalScienceFoundationofChina(11371160,11501231)and the Programfor Changjiang Scholars and Innovative Research Team in University (#IRT13066). †Department of Mathematics, Central China Normal University, Wuhan, 430079, China (chengkun0010@126.com). ‡Department of Mathematics, School of Science, Wuhan University of Technology, Wuhan, 430070,China (gaoq@whut.edu.cn). 1 where s ∈ (0,1) is fixed, n > 2s, a and b are positive constants. (−∆)s is the fractional Laplacian operator which (up to normalization factors) may be defined along a function φ ∈ C∞(RN) as 0 φ(x)−φ(y) (−∆)sφ(x) = 2 lim dy ε→0+ZRN\Bε(x) |x−y|n+2s for x ∈ RN, where B (x) := {y ∈ RN : |x−y| < ε}. For an elementary introduction to the ε fractional Laplacian and fractional Sobolev spaces we refer the reader to [16, 27]. Throughout the paper, we make the following assumptions concerning the potential function V(x): (V ) V ∈ C(RN) satisfies inf V(x) ≥ V > 0, where V is a positive constant; 1 x∈RN 0 0 (V ) There exists h > 0 such that lim meas({x ∈ B (y) : V(x) ≤ c}) = 0 for any c > 0 ; 2 h |y|→∞ where B (x) denotes any open ball of RN centered at x with radius R > 0, and meas(A) R denotestheLebesguemeasureofsetA. Thecondition(V ),whichisweaker thanthecoercivity 2 assumption: V(x) → ∞ as |x| → ∞, was first introduced by Bartsch-Wang [6] to overcome the lack of compactness. Moreover, on the nonlinearity f we assume (f ) f : RN ×R → R is a Caratheódory function and f(x,s) = o(|s|3) as s → 0; 1 f(x,s) (f ) For some constant p ∈ (4,2∗), lim = 0, where 2∗ = +∞ for N ≤ 2s and 2 s s→∞ sp−1 s 2∗ = 2N for N > 2s; s N−2s s (f ) lim F(x,s) = +∞ with F(s) = f(t)dt; 3 s4 s→∞ Z0 (f ) f(s) is nondecreasing on R\{0}. 4 |s|3 The motivation to study problem (1.1) comes from Kirchhoff equations of the type − a+b |∇u|2dx ∆u = f(x,u) in Ω, (1.2) (cid:16) ZΩ (cid:17) where Ω ⊂ RN is a bounded domain, a > 0, b ≥ 0 and u satisfies some boundary conditions. The problem (1.2) is related to the stationary analogue of the Kirchhoff equation u − a+b |∇u|2dx ∆u = f(x,u) , (1.3) tt (cid:16) ZΩ (cid:17) which was introduced by Kirchhoff [19] as a generalization of the well-known D’Alembert wave equation ∂2u p E L ∂u 2 0 ρ − + dx = f(x,u) (1.4) ∂t2 h 2L ∂x (cid:16) Z0 (cid:12) (cid:12) (cid:17) (cid:12) (cid:12) 2 (cid:12) (cid:12) for free vibration of elastic strings. Here, L is the length of the string, h is the area of the cross section, E is the Young modulus of the material, ρ is mass density and p is the initial 0 tension. The problem (1.4) has been proposed and studied as the fundamental equation for understanding several physical systems, where u describes a process which depends on its average. It has also been used to model certain phenomena in biological systems (see [13]). After the pioneer work of Lions [22], where a functional analysis approach was proposed to Eq.(1.3) with Dirichlet boundary condition, the Kirchhoff equations (1.3) began to receive attention from many researchers. Recently, there are fruitful studies towards problem (1.2), especially on the existence of global classical solution, positive solutions, multiple solutions and ground state solutions, see for example [1, 14, 18, 23] and the references therein. For sign-changing solutions, Zhang et al. [24, 37] used the method of invariant sets of descent flow to obtain the existence of sign-changing solution of (1.2). By using the constraint variation methods and the quantitative deformation lemma, Shuai [31] studied the existence of least energy sign-changing solution for problem (1.2). For the other work about sign-changing solution of Kirchhoff type problem (1.2), we refer the reader to [15, 25] and the reference therein. On the other hand, we can also start the investigation to problem (1.1) from the direction of nonlinear fractional Schro¨dinger equation which was proposed by Laskin [20, 21]. In recent years, there are plenty of research on the fractional Schro¨dinger equation, (−∆)su+V(x)u = f(x,u) in RN . (1.5) For the existence, multiplicity and behavior of solutions to Eq.(1.5), we refer to [4, 9–11, 17, 30, 33, 34] and the references therein. In the remarkable work of Caffarelli-Silvestre [11], the authors expressed the nonlocal operator (−∆)s as a Dirichlet-Neumann map for a certain elliptic boundary value problem with local differential operators defined on the upper half space. The technique in [11] is a powerful tool for the study of the equations involving fractional operators. Later on, by using this technique, Chang-Wang [12] obtained a sign- changing solution via the invariant sets of descent flow. Before presenting our main result, let us first recall the usual fractional Sobolev space Hs(RN) as follows |u(x)−u(y)|2 Hs(RN) = u ∈ L2(RN) dxdy < ∞ , |x−y|N+2s ( R2N ) (cid:12) ZZ (cid:12) (cid:12) equipped with the inner product (u(x)−u(y))(v(x)−v(y)) hu,vi = kuk2 + dxdy , Hs(RN) L2(RN) |x−y|N+2s R2N ZZ 3 and the corresponding norm 1 |u(x)−u(y)|2 2 kuk = kuk2 + dxdy . Hs(RN) L2(RN) |x−y|N+2s R2N ! ZZ It is well known that (Hs(RN),kuk ) is a uniformly convex Hilbert space and the em- Hs(RN) bedding Hs(RN) ֒→ Lq(RN) is continuous for any q ∈ [2,2∗] (See [16]). Moreover, in light of s Proposition 3.2 in [16], for u ∈ Hs(RN) we have |u(x)−u(y)|2 k(−∆)s/2uk2 = dxdy. (1.6) L2(RN) |x−y|N+2s R2N ZZ In this paper, we denote the fractional Sobolev space for (1.1) by H = u ∈ Hs(RN) V(x)u2(x)dx < +∞ , RN n (cid:12) Z o (cid:12) where the inner product is given by (cid:12) (u(x)−u(y))(v(x)−v(y)) 1 hu,vi = dxdy + V(x)u(x)v(x)dx , (1.7) H |x−y|N+2s a R2N RN ZZ Z and the associated norm is 1 |u(x)−u(y)|2 1 2 kuk = dxdy + V(x)|u(x)|2dx . (1.8) H |x−y|N+2s a R2N RN ! ZZ Z It is readily seen that (H,k·k ) is a uniformly convex Hilbert space and C∞(RN) ⊂ H (see H 0 [29]). Moreover, thanks to (1.6), the norm k·k can be also written as H 1 1 2 kuk = |(−∆)s/2u|2dx+ V(x)u(x)2dx . (1.9) H a RN RN ! Z Z Now we give the definition of a weak solution to (1.1): Definition 1.1. We say that u ∈ H is a weak solution of (1.1), if a+b |(−∆)s/2u|2dx (−∆)s/2u(−∆)s/2ϕdx RN RN (cid:16) Z (cid:17)Z + V(x)u(x)ϕ(x)dx = f(x,u)ϕ(x)dx , (1.10) RN RN Z Z for all ϕ ∈ H. 4 And we will omit weak throughout this paper for convenience. Define the corresponding functional energy I : H → R to problem (1.1) as below: b a b 2 I (u) = |(−∆)s/2u|2dx+ |(−∆)s/2u|2dx b 2 4 RN RN Z (cid:16)Z (cid:17) 1 + V(x)u2dx− F(x,u)dx. (1.11) 2 RN RN Z Z It is easy to see that I belongs to C1(H,R) and the critical points of I are the solutions of b b (1.1). Furthermore, if u ∈ H is a solution of (1.1) and u± 6= 0, then u is a sign-changing solution of (1.1), where u+(x) = max{u(x),0} and u−(x) = min{u(x),0}. Our goal in this paper is to seek the least energy sign-changing solutions of (1.1). When s = 1, b = 0 and a = 1, Eq. (1.1) turns out to be (1.5) mentioned above. There are several ways in the literature to obtain sign-changing solution for (1.5) (see [5, 6, 8, 28]). With the application of the minimax arguments in the presence of invariant sets of a descending flow, Bartsch-Liu-Weth [5] obtained a sign-changing solution for (1.5) when f satisfies the classical Ambrosetti-Rabinowitz condition [3] and conditions imposed on V(x) to ensure the compact embedding. However, all these methods heavily rely on the following two decompositions: J(u) = J(u+)+J(u−), (1.12) hJ′(u),u+i = hJ′(u+),u+i and hJ′(u),u−i = hJ′(u−),u−i , (1.13) where J is the energy functional of (1.5) given by 1 J(u) = |∇u|2+V(x)u2 dx− F(x,u)dx. (1.14) 2 RN RN Z Z (cid:0) (cid:1) When b > 0, due to the nonlocal term (a + b |(−∆)s/2u|2dx)(−∆)su, the functional do RN not possesses the same decompositions as (1.12) and (1.13). Indeed, since hu+,u−i > 0 R Hs(RN) when u± 6= 0, a straightforward computation yields that I (u) > I (u+)+I (u−), (1.15) b b b hI′(u),u+i > hI′(u+),u+i and hI′(u),u−i > hI′(u−),u−i. (1.16) b b b b Therefore, the methods to obtain sign-changing solutions for the local problem (1.5) seem not be applicable to problem (1.1). Motivated by the work in [7], to get least energy sign-changing solutions, we define the following constrained set: Nb = {u ∈ H | u± 6= 0,hI′(u),u±i = 0}, (1.17) nod b 5 and consider a minimization problem of I on Nb . Comparing with the work in [31], the b nod nonlocal term in (1.1), which can be regarded as a combination of the fractional Laplacian operator (−∆)s and the nonlocal term ( |∇u|2dx)∆u that appeared in general Kirchhoff RN type problem (1.2), becomes even more complicated. This will cause some difficulties in R proving that Nb is nonempty. Indeed, Shuai [31] proved Nb 6= ∅ by using the parametric nod nod method and the implicit theorem. However, it seems that the method in [31] is not suitable for problem (1.1) due to the complexity of the nonlocal term there. Fortunately, inspired by [2], we prove Nb 6= ∅ via a modified Miranda’s theorem (see Lemma 2.3). Eventually, we nod prove that the minimizer of the constrained problem is also a sign-changing solution via the quantitative deformation lemma (see [36]) and degree theory (see [7]). The main results can be stated as follows. Theorem 1.1. Let (f )–(f ) hold. Then problem (1.1) possesses one least energy sign- 1 4 changing solution u . b Another goal of this paper is to prove that the energy of any sign-changing solution of (1.1) is strictly larger than twice the ground state energy, this property is so-called energy doubling by Weth [35]. Consider the semilinear equation (1.5), the conclusion is trivial. Indeed, we denote the Nehari manifold associated to (1.5) by N = {u ∈ H1(RN)\{0}| hJ′(u),ui = 0} and define c := inf J(u). (1.18) u∈N Then, for any sign-changing solution u ∈ H for equation (1.5), it is easy to show that u± ∈ N. Moreover, if the nonlinearity f(x,s) satisfies some conditions (see [7]) which is analogous to (f )-(f ), we can deduce that 1 4 J(w) = J(w+)+J(w−) ≥ 2c. (1.19) We point out that the minimizer of (1.18) is indeed a ground state solution of the problem (1.5) andc > 0 is the least energy of all weak solutions of (1.5). Therefore, by (1.19), it implies that the energy of any sign-changing solution of (1.5) is larger than twice the least energy. When s = 1 and b > 0, a similar result was obtained by Shuai [31] in a bounded domain Ω. If 0 < s < 1 and Ω = RN, we are interested in that whether the property (1.19) is still true for I . To answer this question, we denote the following Nehari manifold associated to (1.1) by b Nb = {u ∈ H \{0}| hI′(u),ui = 0}, b and define cb := inf I (u). b u∈Nb Then we give the answer via the following theorem: 6 Theorem 1.2. Assume (f )−(f ) hold, then cb > 0 is achieved and 1 4 I (u ) > 2cb , (1.20) b b where u is the least energy sign-changing solution obtained in Theorem 1.1. In particular, cb b is achieved either by a positive or a negative function. It is obvious that the energy of the sign-changing solution u obtained in Theorem 1.1 b depends on b. It will be of interest to make this dependency precise. This will be the theme of our next result. Namely, we give a convergence property of u as b → 0, which indicates b some relationship between b > 0 and b = 0 for problem (1.1). Theorem 1.3. Let f satisfies (f ) − (f ). For any sequence {b } with b → 0 as n → ∞, 1 4 n n there exists a subsequence, still denoted by {b }, such that u converges to u strongly in H n bn 0 as n → ∞, where u is a least energy sign-changing solution to the following problem 0 −a(∆)su+V(x)u = f(x,u) in RN. (1.21) The plan of this paper is as follows: Section 2 reviews some prelimimary lemmas, Section 3 covers the proof of the achievement of least energy for the contraint problem (3.20), and Section 4 is devoted to the proofs of our main theorems. 2 Preliminaries In this section, we first present a modified embedding lemma which is similar to Lemma 2.1 and Theorem 2.1 in [29], and we omit the proof here. Lemma 2.1. (i) Suppose that (V ) holds. Let q ∈ [2,2∗], then the embeddings 1 s H ֒→ Hs(RN) ֒→ Lq(RN) are continuous, with min{1,V }kuk2 ≤ kuk2 for all u ∈ H. In particular, there exists a 0 Hs(RN) H constant C > 0 such that q kuk ≤ C kuk for all u ∈ H. (2.1) Lq(RN) q H Moreover, if q ∈ [1,2∗), then the embedding H ֒→֒→ Lq(B ) is compact for any R > 0. s R (ii) Suppose that (V )−(V ) hold. Let q ∈ [2,2∗) be fixed and {u } be a bounded sequence 1 2 s n in H, then there exists u ∈ H ∩Lq(RN) such that, up to a subsequence, u → u strongly in Lq(RN) as n → ∞. n 7 Now we recall the Miranda Theorem (see [26]): Lemma 2.2. Let G = {x = (x ,x ,...,x ) ∈ RN : |x | < L, for 1 ≤ i ≤ N}. Suppose 1 2 N i that the mapping F = (f ,f ,··· ,f ) : G → RN is continuous on the closure G such that 1 2 n F(x) 6= θ := (0,0,··· ,0) for x on the boundary ∂G, and f (x ,x ,··· ,x ,−L,x ,··· ,x ) ≥ 0 for 1 ≤ i ≤ N, i 1 2 i−1 i+1 N f (x ,x ,··· ,x ,+L,x ,··· ,x ) ≤ 0 for 1 ≤ i ≤ N, i 1 2 i−1 i+1 N then F(x) = 0 has a solution in G. Inspired bytheMiranda Theorem above, we have thefollowing variant ofMiranda Lemma: Lemma 2.3. Let G = {x = (x ,x ,...,x ) ∈ RN : r < x < R, for 1 ≤ i ≤ N}. Suppose 1 2 N i that the mapping F = (f ,f ,··· ,f ) : G → RN is continuous on the closure G such that 1 2 n F(x) 6= θ := (0,0,··· ,0) for x on the boundary ∂G, and f (x ,x ,··· ,x ,r,x ,··· ,x ) ≥ 0 for 1 ≤ i ≤ N, i 1 2 i−1 i+1 N f (x ,x ,··· ,x ,R,x ,··· ,x ) ≤ 0 for 1 ≤ i ≤ N. i 1 2 i−1 i+1 N Then F(x) = 0 has a solution in G. Proof. Consider the homotopy H : G ×[0,1] ⊆ RN+1 → RN by H(x,t) = (1− t)F(x) + t(−x +~a) for ~a = (a ,a ,...,a ) with r < a < R, 1 ≤ i ≤ N. 1 2 N i Then H(x,t) 6= θ for x ∈ ∂G and t ∈ [0,1]. In fact, H(x,0) = F(x) 6= θ since θ ∈/ F(∂G), while H(x,1) = −x+~a 6= θ since r < a < R, 1 ≤ i ≤ N. Finally, we have H(x,t) = θ for i some t ∈ (0,1) which in turn implies that F(x)+t(1−t)−1(−x+a) = θ. But this contradicts the conditions of f , i = 1,··· ,N, given by the lemma. Therefore, by the homotopy invariant i theorem of the degree theory, it follows that deg[F,G,θ] = deg[H(·,0),G,θ] = deg[H(·,1),G,θ], where deg[F,G,θ] denotes the topological degree of F at θ related to G. Hence |deg[F,G,θ]| = 1 6= 0 and the result follows by the Kronecker existence theorem. 8 3 Minimizer of constraint minimization problem We consider a constraint minimization problem on Nb (defined in (1.17)) to seek a crit- nod ical point of I in this section. We begin this section by showing that the set Nb is b nod nonempty. Since the nonlocal term |(−∆)s/2u|2dx(−∆)su is much more complicated than RN |∇u|2dx∆u, the method in [31] is no longer applicable here. Therefore, we take a different RN R route, namely, we make use of Miranda theorem. R As a start, we define A+(u) := |(−∆)s/2(u+)|2dx, A−(u) := |(−∆)s/2(u−)|2dx, RN RN Z Z B+(u) := V(x)(u+)2dx, B−(u) := V(x)(u−)2dx, RN RN Z Z C(u) := (−∆)s/2(u+)(−∆)s/2(u−)dx. RN Z Lemma 3.1. Assume that (f ) −(f ) hold. Let u ∈ H with u± 6= 0, then there is a unique 1 4 pair (α ,β ) of positive numbers such that α u+ +β u− ∈ Nb . u u u u nod Proof. Fix an u ∈ H with u± 6= 0. We first establish the existence of α and β . Consider u u the vector field W(α,β) = hI′(αu+ +βu−),αu+i,hI′(αu+ +βu−),βu−i b b (cid:0) (cid:1) for α,β > 0, where hI′(αu+ +βu−),αu+i b = a (−∆)s/2(αu+ +βu−)(−∆)s/2(αu+)dx+ V(x)(αu+)2dx RN RN Z Z +b |(−∆)s/2(αu+ +βu−)|2dx (−∆)s/2(αu+ +βu−)(−∆)s/2(αu+)dx RN RN Z Z − f(x,αu+)αu+dx , RN Z and hI′(αu+ +βu−),βu−i b = a (−∆)s/2(αu+ +βu−)(−∆)s/2(βu−)dx+ V(x)(βu−)2dx RN RN Z Z +b |(−∆)s/2(αu+ +βu−)|2dx (−∆)s/2(αu+ +βu−)(−∆)s/2(βu−)dx RN RN Z Z − f(x,βu−)βu−dx. RN Z 9 By a straightforward computation, we get hI′(αu+ +βu−),αu+i = b(α2A+(u)+2αβC(u)+β2A−(u))(α2A+(u)+αβC(u)) b +a(α2A+(u)+αβC(u))+α2B+(u)− f(x,αu+)αu+dx RN Z = αβaC(u)+αβ3bA−(u)C(u)+α2aA+(u) +2α2β2bC2(u)+α2β2bA+(u)A−(u)+α2B+(u) +3α3βbA+(u)C(u)+α4b(A+(u))2 − f(x,αu+)αu+dx , (3.1) RN Z and hI′(αu+ +βu−),βu−i = b(β2A−(u)+2βαC(u)+α2A+(u))(β2A−(u)+βαC(u)) b +a(β2A−(u)+βαC(u))+β2B−(u)− f(x,βu−)βu−dx RN Z = αβaC(u)+α3βbA+(u)C(u)+β2aA−(u) +2α2β2bC2(u)+α2β2bA−(u)A+(u)+β2B−(u) +3αβ3bA−(u)C(u)+β4b(A−(u))2 − f(x,βu−)βu−dx. (3.2) RN Z We will show that there exists r ∈ (0,R) such that hI′(ru+ +βu−),ru+i > 0, hI′(αu+ +ru−),ru−i > 0, ∀α,β ∈ [r,R], (3.3) b b and hI′(Ru+ +βu−),Ru+i < 0, hI′(αu+ +Ru−),Ru−i < 0, ∀α,β ∈ [r,R]. (3.4) b b Indeed, it follows from the assumption (f ) that for any ε > 0, there exists a positive constant 1 C such that ε f(x,αu+)αu+dx ≤ ε |αu+|2dx+C |αu+|2∗sdx. (3.5) ε RN RN RN Z Z Z Choosing ε = 1aA+(u), together with (3.1) and (3.5), we deduce that 2 hI′(αu+ +βu−),αu+i ≥ αβaC(u)+αβ3bA−(u)C(u)+2α2β2bC2(u) b +α2β2bA+(u)A−(u)+α2B(u)+α4b(A+(u))2 α2a +3α3βbA+(u)C(u)+ (A+(u))2 −C |αu+|2∗sdx, (3.6) 1 2 RN Z where C is a positive constant. On the other hand, since u+ 6= 0, there exists a constant 1 δ > 0 such that meas{x ∈ RN : u+(x) > δ} >0. In addition, by (f ) and (f ), we conclude 3 4 10

Sign-changing solutions for the stationary Kirchhoff problems involving the fractional Laplacian in \mathcal{R}^N

Similar Sign-changing solutions for the stationary Kirchhoff problems involving the fractional Laplacian in \mathcal{R}^N