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

Pengyan Wang

doi:10.1515/math-2022-0035

Article Open Access

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

Pengyan Wang

Published/Copyright: June 24, 2022

Published by

Become an author with De Gruyter Brill

Submit Manuscript Author Information Explore this Subject

$Open Mathematics$

From the journal Open Mathematics Volume 20 Issue 1

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].

Keywords: The fractional p-equation with a gradient term; monotonicity; the sliding method

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 [3], 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 [4] 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 [5] 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. [6] developed a direct method of moving planes for the fractional semilinear equation and proved the symmetry and monotonicity of the solution. Dipierro et al. [7] 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 [9], Wu and Chen [10,11] introduced a direct sliding method for the fractional Laplacian and the fractional p -Laplacian; Wang [12] 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. [13] investigated nonlinear equations involving pseudo-relativistic Schrödinger operators; Wu [14] 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 [4] 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 [15], 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 [4] 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 [16] are different, and there is no relation between them. Dai et al. [16] 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 [17]. 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 [18]. The conclusion of Theorem 1.2 is also valid for p = 2 , and there is no corresponding result in [12].

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 [19] for Laplace equations with a gradient term, [20,21, 22,23,24, 25,26] for fractional equations, [27] 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, [37] for parabolic p -Laplace equation and [38] for p -Laplace equation. For results related to the existence of solutions for fractional p -Laplacian problems, we refer to [39] 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 [12] 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 [40], we need the following lemma.

Lemma 2.1

[40] 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 ,

which contradicts to

( − Δ ) 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 ,

which contradicts

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

[40] 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 )

(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 ( x ¯ k , u τ 2 ( x ¯ k ) , ∇ u τ 2 ( x ¯ k ) ) + o ε k ( 1 ) .

In addition,

(3.46) ( − Δ ) p s ( u + ε k φ ) ( x ¯ k ) − ( − Δ ) p s u τ 2 ( x ¯ k ) ≥ C ∫ B 2 c ( 0 ) ∣ A − U τ 2 ( z + x k ) ∣ p − 1 ∣ z ∣ n + sp d z .

Denoting U k τ 2 ( x ) = U τ 2 ( x + x k ) , combining (3.45) and (3.46) and letting k → ∞ , we derive

U ∞ τ 2 ( x ) = lim k → ∞ U τ 2 ( x + x k ) = A > 0 .

Since { x n k } is bounded, similar to the proof of (3.30), we have (3.36) for any k ∈ N . This is impossible due to the boundedness of u ∞ ( x ) . This proves (3.43) which contradicts the definition of τ 0 . Hence, we obtain τ 0 = 0 . So (3.37) is correct.

Step 3. We will show that u is strictly increasing with respect to x n and u ( x ) depends on x n only.

We already have

(3.47) U τ ( x ) ≤ 0 , x ∈ R n , ∀ τ > 0 .

Now we claim that

(3.48) U τ ( x ) < 0 , x ∈ R n , ∀ τ > 0 .

Otherwise, from (3.47) for some τ 3 > 0 there exists x 0 ∈ R n such that U τ 3 ( x 0 ) = 0 , then x 0 is the maximum point of U τ 3 in R n . On one hand, since ∇ U τ 3 ( x 0 ) = 0 we have

( − Δ ) p s u ( x 0 ) − ( − Δ ) p s u τ 3 ( x 0 ) = f ( x 0 , u ( x 0 ) , ∇ u ( x 0 ) ) − f ( ( x 0 ) ′ , x n 0 + τ 3 , u τ 3 ( x 0 ) , ∇ u τ 3 ( x 0 ) ) ≤ f ( ( x 0 ) ′ , x n 0 + τ 3 , u ( x 0 ) , ∇ u ( x 0 ) ) − f ( ( x 0 ) ′ , x n 0 + τ 3 , u τ 3 ( x 0 ) , ∇ u τ 3 ( x 0 ) ) = 0 .

On the other hand, similar to (2.22), if U τ 3 ( y ) ≢ 0 in R n , we have

( − Δ ) p s u ( x 0 ) − ( − Δ ) p s u τ 3 ( x 0 ) > 0 .

This is a contradiction. Hence, (3.48) must be true.

Next we claim that u ( x ) depends only on x n . In fact, it can be seen from the above process that the argument still holds if we replace u τ ( x ) by u ( x + τ ν ) , where ν = ( ν 1 , … , ν n ) with ν n > 0 being an arbitrary vector pointing upward. Applying the similar arguments as in Steps 1 and 2, we can derive that, for each of such ν ,

u ( x + τ ν ) > u ( x ) , ∀ τ > 0 , x ∈ R n .

Letting ν n → 0 , from the continuity of u , we deduce that for arbitrary ν with ν n = 0 ,

u ( x + τ ν ) ≥ u ( x ) .

By replacing ν by − ν , we obtain that

u ( x + τ ν ) = u ( x )

for arbitrary ν with ν = 0 . It implies that u is independent of x ′ , hence u ( x ) = u ( x n ) .

The proof of Theorem 1.2 is completed.□

Funding information: The author was supported by the National Natural Science Foundation of China (No. 12101530) and Nanhu Scholars Program for Young Scholars of XYNU (No. 2022).
Conflict of interest: The author states no conflict of interest.

References

[1] L. Damascelli, Comparison theorems for some quasilinear degenerate elliptic operators and applications to symmetry and monotonicity results, Annales Inst. H. Poincaré Analyse Non Linéaire 15 (1998), 493–516, DOI: https://doi.org/10.1016/s0294-1449(98)80032-2. 10.1016/s0294-1449(98)80032-2Search in Google Scholar

[2] L. Damascelli and F. Pacella, Monotonicity and symmetry of solutions of p-Laplace equations, 1<p<2, via the moving plane method, Ann. Sc. Norm. Super. Pisa Cl. Sci. 26 (1998), 689–707. Search in Google Scholar

[3] B. Gidas, W. Ni, and L. Nirenberg, Symmetry and related properties via the maximum principle, Comm. Math. Phys. 68 (1979), 209–243, https://doi.org/10.1007/BF01221125. Search in Google Scholar

[4] H. Berestycki and L. Nirenberg, Monotonicity, symmetry and antisymmetry of solutions of semilinear elliptic equations, J. Geom. Phys. 5 (1988), 237–275, DOI: https://doi.org/10.1016/0393-0440(88)90006-X. 10.1016/0393-0440(88)90006-XSearch in Google Scholar

[5] H. Berestycki and L. Nirenberg, On the method of moving planes and the sliding method, Bull. Braz. Math. Soc. (N.S.) 22 (1991), 1–37, https://doi.org/10.1007/BF01244896. Search in Google Scholar

[6] W. Chen, C. Li, and Y. Li, A direct method of moving planes for the fractional Laplacian, Adv. Math. 308 (2017), 404–437, https://doi.org/10.1016/j.aim.2016.11.038. Search in Google Scholar

[7] S. Dipierro, N. Soave, and E. Valdinoci, On fractional elliptic equations in Lipschitz sets and epigraphs: regularity, monotonicity and rigidity results, Math. Ann. 369 (2017), 1283–1326, https://doi.org/10.1007/s00208-016-1487-x. Search in Google Scholar

[8] H. Berestycki and L. Nirenberg, Some qualitative properties of solutions of semilinear elliptic equations in cylindrical domains, Analysis, et Cetera Academic Press, Boston, MA, 1990, pp. 115–164. 10.1016/B978-0-12-574249-8.50011-0Search in Google Scholar

[9] Z. Liu, Maximum principles and monotonicity of solutions for fractional p-equations in unbounded domains, J. Differential Equations 270 (2021), 1043–1078, https://doi.org/10.1016/j.jde.2020.09.001. Search in Google Scholar

[10] W. Chen and L. Wu, A maximum principle on unbounded domains and a Liouville theorem for fractional p-harmonic functions, 2019, arXiv:1905.09986. Search in Google Scholar

[11] L. Wu and W. Chen, Monotonicity of solutions for fractional equations with De Giorgi type nonlinearities, Sci. Sin. Math. 52 (2022), no. 1, 1–22, https://doi.org/10.1360/SCM-2019-0668, (in Chinese). Search in Google Scholar

[12] P. Wang, Uniqueness and monotonicity of solutions for fractional equations with a gradient term, Electron. J. Qual. Theory Differ. Equ. 2021 (2021), no. 58, 1–19, https://doi.org/10.14232/ejqtde.2021.1.58. Search in Google Scholar

[13] W. Dai, G. Qin, and D. Wu, Direct methods for pseudo-relativistic Schrödinger operators, J. Geom. Anal. 31 (2021), 5555–5618, https://doi.org/10.1007/s12220-020-00492-1. Search in Google Scholar

[14] L. Wu, Sliding methods for the higher order fractional Laplacians, Fract. Calc. Appl. Anal. 24 (2021), 923–949, https://doi.org/10.1515/fca-2021-0039. Search in Google Scholar

[15] L. Caffarelli and L. Silvestre, Regularity theory for fully nonlinear integro-differential equations, Comm. Pure Appl. Math. 62 (2009), no. 5, 597–638. https://doi.org/10.1002/cpa.20274. Search in Google Scholar

[16] W. Dai, Z. Liu, and P. Wang, Monotonicity and symmetry of solutions for fractional p-Laplacian equation, Commun. Contemp. Math. 2021 (2021), https://doi.org/10.1142/S021919972150005X. Search in Google Scholar

[17] E. De Giorgi, Convergence problems for functionals and operators, in: Proceedings of the International Meeting on Recent Methods in Nonlinear Analysis (Rome, 1978), Pitagora, Bologna, 1979, 131–188. Search in Google Scholar

[18] O. Savin and E. Valdinoci, Γ-convergence for nonlocal phase transitions, Ann. Inst. H. Poincaré C Anal. Non Linéaire 29 (2012), no. 4, 479–500, https://doi.org/10.1016/j.anihpc.2012.01.006. Search in Google Scholar

[19] R. Filippucci, P. Pucci, and P. Souplet, A Liouville-type theorem in a half-space and its applications to the gradient blow-up behavior for superquadratic diffusive Hamilton-Jacobi equations, Comm. Partial Differential Equations 45 (2020), no. 4, 321–349, https://doi.org/10.1080/03605302.2019.1684941. Search in Google Scholar

[20] M. Cai and L. Ma, Moving planes for nonlinear fractional Laplacian equation with negative powers, Discrete Contin. Dyn. Syst. 38 (2018), 4603–4615, https://doi.org/10.3934/dcds.2018201. Search in Google Scholar

[21] P. Wang, Z. Dai, and L. Cao, Radial symmetry and monotonicity for fractional Hénon equation in Rn, Complex Var. Elliptic Equ. 60 (2015), no. 12, 1685–1695, https://doi.org/10.1080/17476933.2015.1041937. Search in Google Scholar

[22] H. Chen, Liouville theorem for the fractional Lane-Emden equation in an unbounded domain, J. Math. Pures Appl. 111 (2018), 21–46, https://doi.org/10.1016/j.matpur.2017.07.010. Search in Google Scholar

[23] J. Dou and Y. Li, Nonexistence of positive solutions for a system of semilinear fractional Laplacian problem, Differential Integral Equations 31 (2018), 715–734. 10.57262/die/1528855437Search in Google Scholar

[24] P. Ma, X. Shang, and J. Zhang, Symmetry and nonexistence of positive solutions for fractional Choquard equations, Pacific J. Math. 304 (2020), no. 1, 143–167, https://doi.org/10.2140/pjm.2020.304.143. Search in Google Scholar

[25] Y. Sire and E. Valdinoci, Fractional Laplacian phase transitions and boundary reactions: A geometric inequality and a symmetry result, J. Funct. Anal. 256 (2009), no. 6, 1842–1864, https://doi.org/10.1016/j.jfa.2009.01.020. Search in Google Scholar

[26] R. Zhuo, W. Chen, X. Cui, and Z. Yuan, Symmetry and non-existence of solutions for a nonlinear system involving the fractional Laplacian, Discrete Contin. Dyn. Syst. 36 (2016), 1125–1141, https://doi.org/10.3934/dcds.2016.36.1125. Search in Google Scholar

[27] P. Wang and Y. Wang, Positive solutions for a weighted fractional system, Acta Math. Sci. Ser. B (Engl. Ed.) 38 (2018), no. 3, 935–949, DOI: https://doi.org/10.1016/S0252-9602(18)30794-X. 10.1016/S0252-9602(18)30794-XSearch in Google Scholar

[28] T. Cheng, G. Huang, and C. Li, The maximum principles for fractional Laplacian equations and their applications, Commun. Contemp. Math. 19 (2017), no. 6, 1750018, https://doi.org/10.1142/S0219199717500183. Search in Google Scholar

[29] Z. Wu and H. Xu, Symmetry properties in systems of fractional Laplacian equations, Discrete Contin. Dyn. Syst. 39 (2019), 1559–1571, https://doi.org/10.3934/dcds.2019068. Search in Google Scholar

[30] W. Chen, C. Li, and G. Li, Maximum principles for a fully nonlinear fractional order equation and symmetry of solutions, Calc. Var. Partial Differential Equations 56 (2017), 29, https://doi.org/10.1007/s00526-017-1110-3. Search in Google Scholar

[31] C. Li, Monotonicity and symmetry of solutions of fully nonlinear elliptic equations on unbounded domains, Comm. Partial Differential Equations 16 (1991), 585–615, https://doi.org/10.1080/03605309108820770. Search in Google Scholar

[32] P. Wang and P. Niu, Symmetric properties of positive solutions for fully nonlinear nonlocal system, Nonlinear Anal. 187 (2019), 134–146, https://doi.org/10.1016/j.na.2019.04.002. Search in Google Scholar

[33] L. Cao, X. Wang, and Z. Dai, Radial symmetry and monotonicity of solutions to a system involving fractional p-Laplacian in a ball, Adv. Math. Phys. 2018 (2018), 1565731, https://doi.org/10.1155/2018/1565731. Search in Google Scholar

[34] W. Chen and C. Li, Maximum principles for the fractional p-Laplacian and symmetry of solutions, Adv. Math. 335 (2018), 735–758, https://doi.org/10.1016/j.aim.2018.07.016. Search in Google Scholar

[35] Z. Li and Q. Zhang, Sub-solutions and a point-wise Hopf’s lemma for fractional p-Laplacian, Commun. Pure Appl. Anal. 20 (2020), 835–865, https://doi.org/10.3934/cpaa.2020293. Search in Google Scholar

[36] L. Ma and Z. Zhang, Symmetry of positive solutions for Choquard equations with fractional p-Laplacian, Nonlinear Anal. 182 (2019), 248–262, https://doi.org/10.1016/j.na.2018.12.015. Search in Google Scholar

[37] X. Chen, Y. Qi, and M. Wang, Singular solutions of parabolic p-Laplacian with absorption, Trans. Amer. Math. Soc. 359 (2007), 5653–5668. 10.1090/S0002-9947-07-04336-XSearch in Google Scholar

[38] L. Baldelli and R. Filippucci, Existence results for elliptic problems with gradient terms via a priori estimates, Nonlinear Anal. 198 (2020), 111894, https://doi.org/10.1016/j.na.2020.111894. Search in Google Scholar

[39] A. Iannizzotto, S. Liu, K. Perera, and M. Squassina, Existence results for fractional p-Laplacian problems via Morse theory, Adv. Calc. Var. 9 (2014), no. 2, 101–125, https://doi.org/10.1515/acv-2014-0024. Search in Google Scholar

[40] L. Wu and W. Chen, The sliding methods for the fractional p-Laplacian, Adv. Math. 361 (2020), 106933, DOI: https://doi.org/10.1016/j.aim.2019.106933. 10.1016/j.aim.2019.106933Search in Google Scholar

Received: 2021-09-14

Revised: 2022-03-10

Accepted: 2022-04-04

Published Online: 2022-06-24

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

Articles in the same Issue

https://doi.org/10.1515/math-2022-0035

Keywords for this article

The fractional p-equation with a gradient term; monotonicity; the sliding method

Creative Commons

BY 4.0