Open Access Published by De Gruyter Open Access June 24, 2022

# Monotonicity of solutions for fractional p-equations with a gradient term

Pengyan Wang
From the journal Open Mathematics

## Abstract

In this paper, we consider the following fractional p -equation with a gradient term:

( Δ ) p s u ( x ) = f ( x , u ( x ) , u ( x ) ) .

We first prove the uniqueness and monotonicity of positive solutions in a bounded domain. Then by estimating the singular integrals which define the fractional p -laplacian along a sequence of approximate maximum points, we obtain monotonicity of positive solutions in the whole space via the sliding method. In order to solve the difficulties caused by the gradient term, we introduce some new techniques which may also be applied to investigate the qualitative properties of solutions for many problems with gradient terms. Our results are extensions of Berestycki and Nirenberg [Monotonicity, symmetry and antisymmetry of solutions of semilinear elliptic equations, J. Geom. Phys. 5 (1988), 237–275] and Wu and Chen [The sliding methods for the fractional p-Laplacian, Adv. Math. 361 (2020), 106933].

MSC 2010: 35R11; 35A09; 35B06; 35B09

### 1 Introduction

In studying differential equations it is often of interest to know if the solutions have symmetry, or perhaps monotonicity, in some direction. Monotonicity and symmetry for solutions to the p -Laplace equation in bounded domains were first obtained in [1,2]. In , Gidas et al. obtained monotonicity and symmetry for positive solutions to the Dirichlet boundary value problem by using the maximum principle and the method of moving planes. Subsequently, Berestycki and Nirenberg  investigated the symmetry and monotonicity to the solutions to second-order elliptic equation with gradient term

(1.1) Δ u = f ( x , u , u ) , x Ω ,

by the sliding method and the method of moving planes. In 1991, Berestycki and Nirenberg  considered the monotonicity and uniqueness of solutions to (1.1) with f ( x , u , u ) = f ( u ) .

During the last few decades, equations involving the fractional Laplacian and the fractional p -Laplacian have been extensively studied. Chen et al.  developed a direct method of moving planes for the fractional semilinear equation and proved the symmetry and monotonicity of the solution. Dipierro et al.  obtained symmetry and monotonicity of bounded solutions for fractional equation in unbounded domain Ω with the epigraph property. We also refer readers to [4,8] for some typical applications of the sliding method. Very recently, Liu , Wu and Chen [10,11] introduced a direct sliding method for the fractional Laplacian and the fractional p -Laplacian; Wang  obtained uniqueness and monotonicity of solutions to the fractional equation with a gradient term in a bounded domain and upper half-space; Dai et al.  investigated nonlinear equations involving pseudo-relativistic Schrödinger operators; Wu  developed a sliding method for the higher-order fractional Laplacians.

Motivated by the aforementioned papers, the goal of this paper is to extend the results in  to the fractional p -equation. That is, we study the monotonicity and uniqueness of solutions for the following nonlinear nonlocal equation with a gradient term

(1.2) ( Δ ) p s u ( x ) = f ( x , u ( x ) , u ( x ) ) ,

where 0 < s < 1 , 2 p < and u denotes the gradient of u , fractional p -Laplacian ( Δ ) p s is given by

(1.3) ( Δ ) p s u ( x ) = C n , sp P.V. R n u ( x ) u ( y ) p 2 ( u ( x ) u ( y ) ) x y n + sp d y ,

where P.V. represents the Cauchy principal value. The fractional p -Laplacian we consider in this paper is actually a special case of the following fully nonlinear nonlocal operator, introduced in , with α = sp , G ( t ) = t p 2 t ,

F α u ( x ) = C n , α lim ε 0 R n \ B ε ( x ) G ( u ( x ) u ( y ) ) x y n + α d y .

In order for the integral (1.3) to make sense, we require that

u C loc 1 , 1 sp

with

sp = u L loc p 1 ( R n ) R n u ( x ) p 1 1 + x n + sp d x < .

On the one hand, we extend the case s = 1 in  to the fractional p -Laplacian case 0 < s < 1 , 2 p < , and extend the bounded domain to R n . On the other hand, the nonlinear term f ( x , u , u ) we will deal with contains the nonlinear term f ( u ) or f ( x , u ) . The first difficulty is caused by the gradient term. And the second difficulty is that compared with the fractional Laplacian; the fractional p -Laplacian shows more complexity due to its nonlinearity.

In order to apply the sliding method, we give the exterior conditions on u . Let u ( x ) = φ ( x ) , x Ω c , and assume that

( C ) for any three points x = ( x , x n ) , y = ( x , y n ) and z = ( x , z n ) lying on a segment parallel to the x n axis, y n < x n < z n , with y , z Ω c , we have

(1.4) φ ( y ) < u ( x ) < φ ( z ) , if x Ω

and

(1.5) φ ( y ) φ ( x ) φ ( z ) , if x Ω c .

### Remark 1.1

The same monotonicity conditions (1.4) and (1.5) (with Ω c replaced by Ω ) appeared in [5,8,11].

For bounded domain, we prove

### Theorem 1.1

Suppose that u C loc 1 , 1 ( Ω ) C ( Ω ¯ ) satisfies ( C ) and is a solution of problem

(1.6) ( Δ ) p s u ( x ) = f ( x , u , u ) , x Ω , u ( x ) = φ ( x ) , x Ω c ,

where Ω is a bounded domain which is convex in x n direction. Assume that f is continuous in all variables, Lipschitz continuous in ( u , u ) and nondecreasing in x n . Then u is strictly monotone increasing with respect to x n in Ω , i.e., for any τ > 0 ,

u ( x , x n + τ ) > u ( x , x n ) , for all ( x , x n ) , ( x , x n + τ ) Ω .

Furthermore, the solution of (1.6) is unique.

### Remark 1.2

For the finite cylinder C = { ( x , x n ) R n x n < a , x ω } , where a > 0 and ω is a bounded domain in R n 1 with smooth boundary, the results of Theorem 1.1 still hold.

### Remark 1.3

The conditions assumed in Theorems 1.1 and 1 of  are different, and there is no relation between them. Dai et al.  studied the positive solution u and obtained that u was strictly increasing in the left half of Ω (i.e., { x Ω x n 0 } ) in x n direction with x n < 0 by the method of moving planes, but the solution obtained can be negative and is strictly increasing with respect to x n in the whole domain Ω by the sliding method.

We can immediately get a new antisymmetry result for (1.6) if bounded domain Ω is symmetric about x n = 0 by Theorem 1.1.

### Corollary 1.1

(Antisymmetry) Assume that the conditions of Theorem 1.1 are satisfied and in addition that φ is odd in x n on Ω c . If f ( x , u , u ) is odd in ( x n , u , x u ) , then u is odd, i.e., antisymmetric in x n :

u ( x , x n ) = u ( x , x n ) , x Ω .

This follows from the fact that u ˜ = u ( x , x n ) is a solution satisfying the same conditions, and so equals u .

Let

D M = { x R n x n M } .

We say that u is in C 1 , 1 ( D M ) for M > 0 , if there exists a constant C ( M ) such that

u C 1 , 1 ( D M ) C ( M ) .

For the whole space, we prove

### Theorem 1.2

Suppose that u C 1 , 1 ( D M ) sp is a solution to

(1.7) ( Δ ) p s u ( x ) = f ( x , u , u ) , x R n ,

such that

(1.8) u ( x ) 1 , x R n

and

(1.9) u ( x , x n ) x n ± ± 1 , uniformly in x = ( x 1 , , x n 1 ) .

Assume that f is bounded, continuous in all variables and satisfies

(1.10) f ( x , x n , u , u ) f ( x , x ¯ n , u , u ) , x = ( x , x n ) R n , x n x ¯ n .

Suppose that there exists δ > 0 such that

(1.11) f is nonincreasing on u [ 1 , 1 + δ ] and u [ 1 δ , 1 ] .

Then u is strictly monotone increasing with respect to x n , and furthermore, it depends on x n only.

### Remark 1.4

Theorem 1.2 is closely related to the well-known De Giorgi conjecture . As an example, we may think of f ( x , u , u ) = u u 3 , p = 2 , which yields the fractional Allen-Cahn equation, that is, a widely studied model in phase transitions in media with long-range particle interactions . The conclusion of Theorem 1.2 is also valid for p = 2 , and there is no corresponding result in .

In order to solve the difficulty that the nonlinear terms at the right-hand side of (1.6) and (1.7) contain the gradient term, in bounded domains when deriving the contradiction for the minimum point of the function w τ ( x ) (see Section 2 for definition), we use the technique of finding the minimum value of the function w τ ( x ) for the variables τ and x at the same time. This is different from the previous sliding process which only finds the minimum value of the variable x for the fixed τ . In the whole space, we estimate the singular integrals defining the fractional p -Laplacian along a sequence of approximate maximum, and τ and the sequence of approximate maximum are estimated at the same time.

For more related articles on symmetry and nonexistence results of local and nonlocal equations, we also refer readers to  for Laplace equations with a gradient term, [20,21, 22,23,24, 25,26] for fractional equations,  for weighted fractional equation, [28,29] for fractional equations with a gradient term, [30,31,32] for fully nonlinear equations with a gradient term, [33, 34,35,36] for fractional p -Laplace equation,  for parabolic p -Laplace equation and  for p -Laplace equation. For results related to the existence of solutions for fractional p -Laplacian problems, we refer to  and references therein.

The paper is organized as follows. In Section 2, Theorem 1.1 is proved via the sliding method. In Section 3, we derive monotonicity for the fractional p -equation with a gradient term in R n .

### 2 Monotonicity and uniqueness of solutions in bounded domains

For simplicity, we list some notations used frequently. For τ R , denote x = ( x , x n ) , x = ( x 1 , , x n 1 ) R n 1 . Set

u τ ( x ) = u ( x , x n + τ ) , w τ ( x ) = u τ ( x ) u ( x ) .

### Proof of Theorem 1.1

When p = 2 , ( Δ ) p s reduces to fractional Laplacian ( Δ ) s , see  for the proof of Theorem 1.1. And the following proof will omit the case of p = 2 . When p > 2 , the main difference between the fractional p -Laplacian and the fractional Laplacian is that the former is a nonlinear operator, hence we need to use ( Δ ) p s u τ ( x ) ( Δ ) p s u ( x ) instead of ( Δ ) p s w τ ( x ) , and this makes the proof different. Now we will give a detailed proof of Theorem 1.1 in the case of p > 2 .

For τ > 0 , it is defined on the set Ω τ = Ω τ e n , which is obtained from Ω by sliding it downward a distance τ parallel to the x n axis, where e n = ( 0 , , 0 , 1 ) . Set

D τ Ω τ Ω , τ ˜ = sup { τ τ > 0 , D τ }

and

w τ ( x ) = u τ ( x ) u ( x ) , x D τ .

We mainly divide the following two steps to prove that u is strictly increasing in the x n direction, i.e.,

(2.12) w τ ( x ) > 0 , x D τ , for any 0 < τ < τ ˜ .

Step 1. For τ sufficiently close to τ ˜ , i.e., D τ is narrow, we claim that there exists δ > 0 small enough such that

(2.13) w τ ( x ) 0 , x D τ , τ ( τ ˜ δ , τ ˜ ) .

If (2.13) is false, we set

A 0 = min x D τ ¯ τ ˜ δ < τ < τ ˜ w τ ( x ) < 0 .

From the condition ( C ) , A 0 can be obtained for some ( τ 0 , x 0 ) { ( τ , x ) ( τ , x ) ( τ ˜ δ , τ ˜ ) × D τ } . Noting that w τ 0 ( x ) 0 , x D τ 0 , we arrive at x 0 D τ 0 . So w τ 0 ( x 0 ) = A 0 . Since ( τ 0 , x 0 ) is a minimizing point, we have w τ 0 ( x 0 ) = 0 , i.e., u τ 0 ( x 0 ) = u ( x 0 ) . Since u τ 0 satisfies the same equation (1.6) in Ω τ 0 as u does in Ω , and f is nondecreasing in x n , so we have

(2.14) ( Δ ) p s u τ ( x 0 ) ( Δ ) p s u ( x 0 ) = f ( ( x 0 ) , x n 0 + τ 0 , u τ 0 ( x 0 ) , u τ 0 ( x 0 ) ) f ( x 0 , u τ 0 ( x 0 ) , u τ 0 ( x 0 ) ) f ( x 0 , u τ 0 ( x 0 ) , u ( x 0 ) ) f ( x 0 , u ( x 0 ) , u ( x 0 ) ) = c τ 0 ( x 0 ) w τ 0 ( x 0 ) ,

where c τ 0 ( x 0 ) = f ( x 0 , u τ 0 ( x 0 ) , u ( x 0 ) ) f ( x 0 , u ( x 0 ) , u ( x 0 ) ) u τ 0 ( x 0 ) u ( x 0 ) is a L function satisfying

c τ 0 ( x 0 ) C , x 0 D τ 0 .

Hence,

(2.15) ( Δ ) p s u τ 0 ( x 0 ) ( Δ ) p s u ( x 0 ) + c τ 0 ( x 0 ) w τ 0 ( x 0 ) 0 .

On the other hand, note that G ( t ) = t p 2 t is a strictly increasing function in t , and G ( t ) = ( p 1 ) t p 2 0 . By the definition of the fractional p -Laplacian, we have

(2.16) ( Δ ) p s u τ 0 ( x 0 ) ( Δ ) p s u ( x 0 ) = C n , sp P.V. R n G ( u τ 0 ( x 0 ) u τ 0 ( y ) ) G ( u ( x 0 ) u ( y ) ) x 0 y n + sp d y = C n , sp P.V. D τ 0 G ( u τ 0 ( x 0 ) u τ 0 ( y ) ) G ( u ( x 0 ) u ( y ) ) x 0 y n + sp d y + C n , sp P.V. R n \ D τ 0 G ( u τ 0 ( x 0 ) u τ 0 ( y ) ) G ( u ( x 0 ) u ( y ) ) x 0 y n + sp d y C n , sp ( I 1 + I 2 ) .

To estimate I 1 , noting that x 0 is the minimum point of w τ 0 in D ¯ τ 0 , it follows

( u τ 0 ( x 0 ) u τ 0 ( y ) ) ( u ( x 0 ) u ( y ) ) = w τ 0 ( x 0 ) w τ 0 ( y ) 0 , y D ¯ τ 0 .

By the monotonicity of G , we derive

G ( u τ 0 ( x 0 ) u τ 0 ( y ) ) G ( u ( x 0 ) u ( y ) ) 0 .

Hence,

(2.17) I 1 0 .

Next we prove that I 2 < 0 . Similar to , we need the following lemma.

### Lemma 2.1

 For G ( t ) = t p 2 t , p > 2 , there exists a constant C > 0 such that

G ( t 2 ) G ( t 1 ) C ( t 2 t 1 ) p 1

for arbitrary t 2 > t 1 .

Noting that w τ 0 ( y ) 0 in ( D τ 0 ) c and w τ 0 ( x 0 ) < 0 , it implies

( u τ 0 ( x 0 ) u τ 0 ( y ) ) ( u ( x 0 ) u ( y ) ) = w τ 0 ( x 0 ) w τ 0 ( y ) < 0 , y ( D τ 0 ) c .

By Lemma 2.1, we have

(2.18) I 2 = R n \ D τ 0 G ( u τ 0 ( x 0 ) u τ 0 ( y ) ) G ( u ( x 0 ) u ( y ) ) x 0 y n + sp d y ( D τ 0 ) c C ( w τ 0 ( y ) w τ 0 ( x 0 ) ) p 1 x 0 y n + sp d y < 0 .

From (1.4) in the condition ( C ) , there exists a point y 0 D τ 0 such that

w τ 0 ( y 0 ) > 0 .

Since function w τ 0 is continuous in R n , there exists a small δ > 0 and C 0 > 0 such that

(2.19) w τ 0 ( y ) C 0 > 0 , y ( D τ 0 ) c B δ ( y 0 ) .

Combining (2.17), (2.18) and (2.19), it yields

(2.20) ( Δ ) p s u τ 0 ( x 0 ) ( Δ ) p s u ( x 0 ) + c τ 0 ( x 0 ) w τ 0 ( x 0 ) C n , sp ( D τ 0 ) c C ( w τ 0 ( y ) w τ 0 ( x 0 ) ) p 1 x 0 y n + sp d y + c τ 0 ( x 0 ) w τ 0 ( x 0 ) C ( D τ 0 ) c B δ ( y 0 ) ( C 0 + w τ 0 ( x 0 ) ) p 1 x 0 y n + sp d y + c τ 0 ( x 0 ) w τ 0 ( x 0 ) C d n sp ( C 0 + w τ 0 ( x 0 ) ) p 1 + inf D τ 0 c τ 0 ( x ) w τ 0 ( x 0 ) C d n sp C 0 p 1 + C d n sp w τ 0 ( x 0 ) p 1 + inf D τ 0 c τ 0 ( x ) w τ 0 ( x 0 ) < 0 ,

where p > 2 , d n denotes the width of D τ 0 in the x n direction and c τ 0 ( x ) is bounded. This contradicts (2.15).

Hence, (2.13) is true for τ sufficiently close to τ ˜ .

Step 2. The inequality (2.13) provides a starting point, from which we can carry out the sliding. Now we decrease τ as long as (2.13) holds to its limiting position. Define

τ 0 = inf { τ w τ ( x ) 0 , x D τ , 0 < τ < τ ˜ } .

We will prove

τ 0 = 0 .

Otherwise, assume τ 0 > 0 , we will show that the domain Ω be slided upward a little bit more and we still have

(2.21) w τ ( x ) 0 , x D τ , for any τ 0 ε < τ τ 0 ,

which contradicts the definition of τ 0 .

Since w τ 0 ( x ) > 0 , x Ω D τ 0 by the condition ( C ) and w τ 0 ( x ) 0 , x D τ 0 , it follows

w τ 0 ( x ) 0 , x D τ 0 .

If there exists a point x ˜ D τ 0 such that w τ 0 ( x ˜ ) = 0 , then x ˜ is the minimum point, similar to (2.20), we have

(2.22) ( Δ ) p s u τ 0 ( x ˜ ) ( Δ ) p s u ( x ˜ ) < 0 ,

( Δ ) p s u τ 0 ( x ˜ ) ( Δ ) p s u ( x ˜ ) = f ( x ˜ , x ˜ n + τ 0 , u τ 0 ( x ˜ ) , u τ 0 ( x ˜ ) ) f ( x ˜ , u ( x ˜ ) , u ( x ˜ ) ) f ( x ˜ , u τ 0 ( x ˜ ) , u τ 0 ( x ˜ ) ) f ( x ˜ , u ( x ˜ ) , u ( x ˜ ) ) = 0 .

Hence,

(2.23) w τ 0 ( x ) > 0 , x D τ 0 .

Next we will prove (2.21). Suppose (2.21) is not true, one has

A 1 = min x D τ τ 0 ε < τ < τ 0 w τ ( x ) < 0 .

The minimum A 1 can be obtained for some μ ( τ 0 ε , τ 0 ) , x ¯ D μ where w μ ( x ¯ ) = A 1 by condition ( C ) . We carve out of D τ 0 a closed set K D τ 0 such that D τ 0 \ K is narrow. According to (2.23),

w τ 0 ( x ) C 0 > 0 , x K .

From the continuity of w τ in τ , we have for small ε > 0 ,

(2.24) w μ ( x ) 0 , x K .

From ( C ) , it follows

w μ ( x ) 0 , x ( D μ ) c .

So x ¯ D μ K and w μ ( x ¯ ) = 0 . Since D τ 0 D μ and small ε , we obtain that D μ K is a narrow domain. Similar to (2.15), we have

( Δ ) p s u μ ( x ¯ ) ( Δ ) p s u ( x ¯ ) + c ( x ¯ ) w μ ( x ¯ ) 0 .

Similar to (2.20), by narrow domain D μ \ K , we have

( Δ ) p s u μ ( x ¯ ) ( Δ ) p s u ( x ¯ ) + c ( x ¯ ) w μ ( x ¯ ) < 0 .

This is a contradiction. Hence we derive (2.21), which contradicts to the definition of τ 0 . So τ 0 = 0 . Therefore, we have shown that

(2.25) w τ ( x ) 0 , x D τ , for any 0 < τ < τ ˜ .

Let us prove (2.12). Since

w τ ( x ) 0 , x D τ , for any 0 < τ < τ ˜ ,

if there exists a point x 0 for some τ 1 ( 0 , τ ˜ ) such that w τ 1 ( x 0 ) = 0 , then x 0 is the minimum point and similar to (2.20), we have

( Δ ) p s u τ 1 ( x 0 ) ( Δ ) p s u ( x 0 ) < 0 ,

f ( ( x 0 ) , x n 0 + τ 1 , u τ 1 ( x 0 ) , u τ 1 ( x 0 ) ) f ( x 0 , u ( x 0 ) , u ( x 0 ) ) 0 .

Therefore, we arrive at (2.12).

Now we prove uniqueness. If u ¯ is another solution satisfying the same conditions, the same argument as before but replace w τ = u τ u with w τ = u ¯ τ u . Similar to (2.25), we have u ¯ τ ( x ) u in D τ for any 0 < τ < τ ˜ . Hence, u ¯ u . Interchanging the roles of u and u ¯ , we find the opposite inequality. Therefore, u ¯ = u .

This completes the proof of Theorem 1.1.□

### 3 Monotonicity of solutions in R n

In the section, we prove Theorem 1.2 by the sliding method based on the following lemma.

### Lemma 3.1

 Assume that u C 1 , 1 sp is the bounded solution of (1.7) and ψ k C 0 ( R n ) . Then for any δ > 0 , we have

( Δ ) p s ( u + ε k ψ k ) ( x ) ( Δ ) p s u ( x ) = o ε k ( 1 ) ,

where o ε k ( 1 ) 0 as k 0 ( ε k 0 ) .

### Proof of Theorem 1.2

Denote x = ( x , x n ) . For any τ R , define

u τ ( x ) = u ( x , x n + τ ) , U τ ( x ) = u ( x ) u τ ( x ) .

From (1.9), there exists a constant a > 0 such that

u ( x , x n ) 1 δ , for x n a and u ( x , x n ) 1 + δ , for x n a .

For any τ 2 a , no matter where x is, we have either

(3.26) u τ ( x , x n ) 1 δ ( if x n a )

or

(3.27) u ( x , x n ) 1 + δ ( if x n a ) .

Outline of the proof: We will use the sliding method to prove the monotonicity of u and divide the proof into three Steps.

Step 1, we will show that for τ sufficiently large, we have U τ ( x ) 0 , x R n . From (3.26) and (3.27), we will show that

(3.28) U τ ( x ) 0 , x R n , τ 2 a .

This provides the starting point for the sliding method. Then in Step 2, we decrease τ continuously as long as (3.28) holds to its limiting position. Define

(3.29) τ 0 inf { τ U τ ( x ) 0 , x R n } .

We will show that τ 0 = 0 . In Step 3, we deduce that the solution u must be strictly monotone increasing in x n and only depends on x n .

Now we will show the details in the following three steps.

Step 1. We will show that

(3.30) U τ ( x ) 0 , x R n , for any τ 2 a .

If not, then

sup R n U τ ( x ) = A > 0 ,

so for some τ 1 2 a there exists a sequence { x k } R n , such that

(3.31) U τ 1 ( x k ) A > 0 , as k .

Denote x k = ( x 1 k , , x n k ) . Since U τ 1 ( x k ) = u ( x k ) u τ 1 ( x k ) 0 as x n k ± , it implies that there exists M 0 > 0 such that x n k M 0 .

Let

(3.32) η ( x ) = c e 1 x 2 1 , x < 1 , 0 , x 1 ,

where c > 0 is a constant, taking c = e such that η ( 0 ) = max R n η ( x ) = 1 . Set

ψ k ( x ) = η ( x x k ) .

From (3.31), there exists a sequence { ε k } , with ε k 0 such that

U τ 1 ( x k ) + ε k ψ k ( x k ) > A .

Since for any x R n \ B 1 ( x k ) , U τ 1 ( x ) A and ψ k ( x ) = 0 , hence

U τ 1 ( x k ) + ε k ψ k ( x k ) > U τ 1 ( x ) + ε k ψ k ( x ) , for any x R n \ B 1 ( x k ) .

It follows that there exists a point x ¯ k B 1 ( x k ) such that

(3.33) U τ 1 ( x ¯ k ) + ε k ψ k ( x ¯ k ) = max R n ( U τ 1 ( x ) + ε k ψ k ( x ) ) > A .

On one hand, by (1.7), (1.10) and Lemma 3.1, we have

( Δ ) p s ( u + ε k ψ k ) ( x ¯ k ) ( Δ ) p s u τ 1 ( x ¯ k ) = ( Δ ) p s ( u + ε k ψ k ) ( x ¯ k ) ( Δ ) p s u ( x ¯ k ) + ( Δ ) p s u ( x ¯ k ) ( Δ ) p s u τ 1 ( x ¯ k ) f ( x ¯ k , u ( x ¯ k ) , u ( x ¯ k ) ) f ( x ¯ k , u τ 1 ( x ¯ k ) , u τ 1 ( x ¯ k ) ) + o ε k ( 1 ) f ( x ¯ k , u ( x ¯ k ) , u ( x ¯ k ) ) f ( x ¯ k , u τ 1 ( x ¯ k ) , u ( x ¯ k ) ) + f ( x ¯ k , u τ 1 ( x ¯ k ) , u ( x ¯ k ) ) f ( x ¯ k , u τ 1 ( x ¯ k ) , u τ 1 ( x ¯ k ) ) + o ε k ( 1 ) .

Since τ 1 2 a , no matter where x ¯ k is, one of the points x ¯ k and x ¯ k + ( 0 , τ 1 ) is in the domain { x x n a } where f is nonincreasing in u by (1.11). Since u ( x ¯ k ) > u τ 1 ( x ¯ k ) , from (3.26), both u ( x ¯ k ) and u τ 1 ( x ¯ k ) are close to 1, while from (3.27), both u ( x ¯ k ) and u τ 1 ( x ¯ k ) are close to 1 . So we apply the monotonicity of f to derive that

f ( x ¯ k , u ( x ¯ k ) , u ( x ¯ k ) ) f ( x ¯ k , u τ 1 ( x ¯ k ) , u ( x ¯ k ) ) .

From (3.33), we have ( U τ 1 ( x ¯ k ) + ε k ψ ( x ¯ k ) ) = 0 . It follows that U τ 1 ( x ¯ k ) 0 as k . Let k , we have

(3.34) ( Δ ) p s ( u + ε k ψ k ) ( x ¯ k ) ( Δ ) p s u τ 1 ( x ¯ k ) o ε k ( 1 ) .

On the other hand, by (3.33) and Lemma 2.1,

(3.35) ( Δ ) p s ( u + ε k ψ k ) ( x ¯ k ) ( Δ ) p s u τ 1 ( x ¯ k ) = C n , sp P.V. R n G ( u ( x ¯ k ) + ε k ψ k ( x ¯ k ) u ( y ) ε k ψ k ( y ) ) G ( u τ 1 ( x ¯ k ) u τ 1 ( y ) ) x ¯ k y n + sp d y C P.V. R n U τ 1 ( x ¯ k ) U τ 1 ( y ) + ε k ψ k ( x ¯ k ) ε k ψ k ( y ) p 1 x ¯ k y n + sp d y C B 2 c ( x k ) U τ 1 ( x ¯ k ) + ε k ψ k ( x ¯ k ) U τ 1 ( y ) p 1 x ¯ k y n + sp d y C B 2 c ( x k ) A U τ 1 ( y ) p 1 x k y n + sp d y = C B 2 c ( 0 ) A U τ 1 ( z + x k ) p 1 z n + sp d z ,

where C is a positive constant which can be different from line to line. Denote

u k ( x ) = u ( x + x k ) .

Since f is bounded, one derive that u is uniformly Hölder continuous, by the Arzelà-Ascoli theorem, up to extraction of a subsequence, we obtain

u k ( x ) u ( x ) , x R n , as k .

Combining (3.34) and (3.35), letting k , one arrive at

U τ 1 ( x + x k ) A , x B 2 c ( 0 ) , uniformly ,

U τ 1 ( x + x k ) u ( x ) u τ 1 ( x ) A , x B 2 c ( 0 ) ,

Since { x n k } is bounded, from (1.9), we have

u ( x , x n ) x n ± ± 1 uniformly in x = ( x 1 , , x n 1 ) .

Hence,

(3.36) u ( x , x n ) = A + u ( x , x n + τ 1 ) = 2 A + u ( x , x n + 2 τ 1 ) = = k A + u ( x , x n + k τ 1 ) ,

for any k N . This is impossible because u ( x ) is bounded. This verifies (3.30).

Step 2. Note that (3.30) provides a starting point, from which we can carry out the sliding. We decrease τ and show that for any 0 < τ < 2 a , it yields

(3.37) U τ ( x ) 0 , x R n .

Define

τ 0 = inf { τ U τ ( x ) 0 , x R n } .

We prove that τ 0 = 0 . Otherwise, we have τ 0 > 0 . To derive a contradiction, we prove that τ 0 can be decreased a little bit while inequality (3.37) is still valid.

We first prove that

(3.38) sup R n 1 × [ a , a ] U τ 0 ( x ) < 0 .

If not, then

sup R n 1 × [ a , a ] U τ 0 ( x ) = 0 ,

and there exists a sequence

{ x k } R n 1 × [ a , a ] , k = 1 , 2 , ,

such that

U τ 0 ( x k ) 0 , as k .

Let ψ k ( x ) = η ( x x k ) , where η is in (3.32). Then there exists a sequence ε k 0 such that

U τ 0 ( x k ) + ε k ψ k ( x k ) > 0 .

Since for x R n \ B 1 ( x k ) , we have U τ 0 ( x ) 0 and U τ 0 ( x ) + ε k ψ k ( x ) > 0 . Then there exists x ¯ k B 1 ( x k ) such that

(3.39) U τ 0 ( x ¯ k ) + ε k ψ k ( x ¯ k ) = max R n ( U τ 0 ( x ) + ε k ψ k ( x ) ) > 0 .

On one hand, similar to the argument in Step 1, we have

(3.40) ( Δ ) p s ( u + ε k ψ k ) ( x ¯ k ) ( Δ ) p s u τ 0 ( x ¯ k ) f ( x ¯ k , u τ 0 ( x ¯ k ) , u ( x ¯ k ) ) f ( x ¯ k , u τ 0 ( x ¯ k ) , u τ 0 ( x ¯ k ) ) + o ε k ( 1 ) .

On the other hand, by (3.39) and Lemma 2.1, similar to (3.35)

(3.41) ( Δ ) p s ( u + ε k ψ ) ( x ¯ k ) ( Δ ) p s u τ 0 ( x ¯ k ) C B 2 c ( x k ) U τ 0 ( y ) p 1 x k y n + sp d y = C B 2 c ( 0 ) U τ 0 ( z + x k ) p 1 z n + sp d z .

Denote

u k ( x ) = u ( x + x k ) and U k τ 0 ( x ) = U τ 0 ( x + x k ) .

One has u k ( x ) u ( x ) , x R n , as k . Letting k , we obtain

u ( x ¯ k ) = u τ 0 ( x ¯ k ) , as k .

It yields that

(3.42) ( Δ ) p s ( u + ε k ψ k ) ( x ¯ k ) ( Δ ) p s u τ 0 ( x ¯ k ) o ε k ( 1 ) .

So combining (3.42) and (3.41), letting k , we have

U k τ 0 ( x ) 0 , x B 2 c ( 0 ) , uniformly, as k .

Therefore,

u ( x ) u τ 0 ( x ) 0 , x B 2 c ( 0 ) .

Hence, for any k N

u ( x , x n ) = u ( x , x n + τ 0 ) = u ( x , x n + 2 τ 0 ) = = u ( x , x n + k τ 0 ) .

Take x n sufficiently negative and k sufficiently large, hence u ( x , x n ) is close to -1 and u ( x , x n + τ 0 ) is sufficiently close to 1 by (1.9), this is impossible. Therefore, (3.38) is checked.

Next we prove that, there exists an ε > 0 , such that

(3.43) U τ ( x ) 0 , x R n , τ ( τ 0 ε , τ 0 ] .

First, (3.38) implies immediately that there exists an ε > 0 such that

(3.44) sup R n 1 × [ a , a ] U τ ( x ) < 0 , τ ( τ 0 ε , τ 0 ] .

So we only need to prove that

sup R n \ ( R n 1 × [ a , a ] ) U τ ( x ) 0 , τ ( τ 0 ε , τ 0 ] .

If not, then

sup R n \ ( R n 1 × [ a , a ] ) U τ ( x ) A > 0 , τ ( τ 0 ε , τ 0 ] .

For some τ 2 ( τ 0 ε , τ 0 ] , there exists a subsequence of { x k } such that U τ 2 ( x k ) A . By condition (1.9), { x n k } is bounded, and we assume that x n k M ( M > a ) . By a similar argument to the proof of (3.38), set φ ( x ) = η ( x x k ) , there exists ε k 0 , and x ¯ k B 1 ( x k ) such that

U τ 2 ( x ¯ k ) + ε k φ ( x ¯ k ) = max R n ( U τ 2 ( x ) + ε k φ ( x ) ) > 0

and

(3.45) ( Δ ) p s ( u + ε k φ ) ( x ¯ k ) ( Δ ) p s u τ 2 ( x ¯ k ) f ( x ¯ k , u τ 2 ( x ¯ k ) , u ( x ¯ k ) ) f (