IOUVIE TYPE THEOREM FOR SOME NONOCA EIPTIC EQUATIONS arxiv:706.03467v [math.ap] 2 Jun 207 XIAOHUI YU Abstract: In this paper, we prove some iouville theorem for the following elliptic equations involving nonlocal nonlinearity and nonlocal boundary value condition F(u(x,0)) u(y) = g(u(y)), y R N (x,0) y, N αdx R N u ν (x,0) = R N G(u(y)) (x,0) y N α dyf(u(x,0)), (x,0) R N, where R N = {x R N : x N > 0}, f,g,f,g are some nonlinear functions. Under some assumptions on the nonlinear functions f, g, F, G, we will show that this equation doesn t possess nontrivial positive solution. We extend the iouville theorems from local problems to nonlocal problem. We use the moving plane method to prove our result. keywords: iouville type theorem, Moving plane method, Maximum principle, nonlocal problem.. Introduction In the studying of the existence of solutions for non-variational elliptic equations on bounded domain, we usually use the topological methods such as the eray- Schauder degree theory to get the existence results. In order to apply such a theory, a priori bound on the solution is usually needed. As far as we know, the blow-up method is the most powerful tool for proving a priori bound. The spirit of blow up method is straightforward. Suppose onthecontrary thatthere exists a sequence of solutions {u n } withm n = u n (x n ) = u n (Ω), then we make a scaling on this sequence of solutions and get v n (x) = M n u n (Mnxx k n ) which is bounded. Hence, by the regularity theory of elliptic equations, we canassume that v n v in C 2,γ loc (Ω ) with v = andsatisfying some limit equation in Ω, where either Ω = R N or Ω = R N depending on the speed of x n goes to the boundary of Ω. On the other hand, if we can prove the limit equations don t possess nontrivial solutions, then we get a contradiction, hence the solutions of the original problem must be bounded. From the descriptions of the blow-up procedure, it is easy to see that a priori bound of elliptic equations on bounded domain is equivalent to the iouville type theorems for the limit equations. Hence, from the past few decades, iouville theorems for elliptic equations have attracted much attention of scientists and many results were obtained. The most remarkable result on this aspect is the results in [2], in which the *School of Mathematics and Statistics, Shenzhen University, Shenzhen, Guangdong 58060, PR China(xiaohui.yu@szu.edu.cn) Mathematics Subject Classification (200): 35J60, 35J57, 35J5.
2 XIAOHUI YU authors studied the nonexistence results for the following elliptic equation u = u p in R N, u 0. (.) The authors proved, among other things, that problem (.) does not possess positive solution provided 0 < p < N2. Moreover, this result is optimal in the sense that for any p N2, there are infinitely many positive solutions to problem (.). Thus the Sobolev exponent N2 is the dividing exponent between existence and nonexistence of positive solutions. For this reason, the exponent N2 is usually called the critical exponent for equation (.). ater, in order to get a priori bound for some non-variational elliptic equations on bounded domains, the authors also studied a similar problem in half space u = u p in R N, (.2) u = 0 on R N in [3]. They proved that problem (.2) also does not possess positive solution for 0 < p < N2. ater, in order to simplify the proofs in [3] and [2], W.Chen and C.i proved similar results by using the moving plane method in []. The idea of [] is very creative, they proved the solution is symmetric in every direction and with respect to every point, hence the solution must be a constant, finally, they deduced from the equation that the constant must be zero. After the results of [], the moving plane method or its variant the moving sphere method were widely used in proving iouville theorems for elliptic equations, see[7][8][][4][5][6][8][30][3][32] and the references therein. At the same time, the moving plane method was also widely used in proving iouville theorems for integral equations, integral systems and fractional aplacian equations, we refer the readers to [2][3][4][5][6][0][7][9][20][28][29] for more details. Among the above works, we should mention the paper [7]. In this paper,.damascelli and F.Gladiali studied the nonexistence of weak positive solution for the following nonlinear problem with general nonlinearity u = f(u) in R N, u 0, (.3) where f is only assumed to be continuous rather than ipschitz continuous. Since no ipschitz continuous assumption is made on f, then the weak solution of (.3) is usually not of C 2 class. Hence, the moving plane method based on the classical maximum principles in [] does not work. In order to overcome this difficulty, the authors used some integral inequalities to substitute the classical maximum principles, an idea originally due to S.Terracini s work [26] and [27]. Finally, using the moving plane method based on the integral inequalities, they proved the only nonnegative solution for problem (.3) is u c providing f is increasing and subcritical. After the work of [7], many nonexistence results for elliptic equations with general nonlinearities were obtained, we refer the readers to [4][5][6][8][28][29][30][3]. Also, for iouville theorems on nonlinear elliptic systems, we refer to [][2][22][23][24][25] and etc..
IOUVIE TYPE THEOREM FOR SOME NONOCA EIPTIC EQUATIONS 3 In this paper, we study the nonexistence result for some elliptic equation involving nonlocal nonlinearity and nonlocal boundary value condition. The equation is F(u(x,0)) u(y) = g(u(y)), y R N R N (x,0) y N αdx, (.4) u G(u(y)) ν (x,0) = R N (x,0) y N α dyf(u(x,0)), (x,0) R N, where N 2 α < N and f,g,f,g are some nonlinear functions. We note that both the nonlinear term and the boundary value condition are nonlocal, so it is different from the equations in the references mentioned above. Moreover, up to now, it seems that there is few iouville theorem on this kind of problem. To state our main results, we first need to give the definition of weak solution for problem (.4). et u W,2 loc (RN ) C 0 (R N ), if u(y) ϕ(y) dy = R N R N R N R N R N F(u(x,0)) (x,0) y N αdx g(u(y))ϕ(y)dy G(u(y)) (x,0) y N α dyf(u(x,0))ϕ(x,0)dx holds for any ϕ(x) C 0(R N ), then we say u is a weak solution for problem (.4). With the above preparations and notations, we can state our main result now. We have the following iouville type theorem. Theorem.. et u W,2 loc (RN ) C 0 (R N ) be a nonnegative weak solution of problem (.4) with N 2 α < N, where f,g,f,g : [0, ) [0, ) are continuous functions with the following properties (i) f(t),g(t),f(t),g(t) are nondecreasing in (0, ). (ii) h(t) = f(t) α t, k(t) = g(t) t 2α, H(t) = F(t) t α and K(t) = G(t) t Nα and non-increasing in (0, ). (iii) At least one of the functions h,k,h,k is not a constant in (0,sup x R N u(x)) or (0,sup x R N u(x)). Then u c with G(c) = F(c) = 0. It is easy to find such nonlinear functions satisfying then requirements in the above theorem. For example, if we choose f(t) = t p, g(t) = t q, F(t) = t p and G(t) = t q with 0 < p < α 2α and 0 < q <, then f,g satisfies all the hypothesises in Theorem.. The rest of this paper is devoted to the proof of the above theorem. We still want to use the moving plane method to prove our result. We prove the solution u must be symmetric with respect to every point (x p,0) RN and in every direction of RN. So the solution u depends only on x N. Finally, we deduce from the equation that u must be a constant
4 XIAOHUI YU c with G(c) = F(c) = 0. In developing the moving plane method, since we don t know the decay behavior of u at infinity, we need to make a Kelvin transformation on u, i.e., v(x) = u( x ), then prove the symmetry property of v instead. On the other hand, x x 2 since we don t assume the solution is of C 2 class, we can t use the classical maximum principle in a differential form. Inspired by [7][26][27], we use some integral inequality to substitute the maximum principle. In the rest of this paper, we denote C by a positive constant, which may vary from line to line. 2. The integral inequality In this section, we make some preparations and prove some useful integral inequality. For convenience, we denote by F(u(x,0)) m(y) = (x dx,0) y N α R N for y in R N and n(x ) = R N G(u(y)) dy (x,0) y N α for x R N, i.e., (x,0) R N. Then equation (.4) can be written as u(y) = m(y)g(u(y)), y R N, (2.) u ν (x,0) = n(x )f(u(x,0)), (x,0) R N. We want to use the moving plane method to prove our result. Since we don t know the decay of u, we need to make a Kelvin transformation on u(y),m(y) and n(x ). For any x p = (x p,0) RN, we define the Kelvin transformation v,w,z of u,m,n at x p as and v(x) = x x p u( x x p x x p 2 x p), w(x) = then it is easy to see that v(x) z(x ) = C C x x p, w(x) x x p N αm( x x p x x p 2 x p) (2.2) x x x x p N αn( p x x p 2 x p ), (2.3) x x p N α and z(x ) C x x p N α (2.4) for x x p and they may have singularities at x p. In the following, we can assume x p = 0 without loss of generality. Moreover, a direct calculation shows that they satisfy
IOUVIE TYPE THEOREM FOR SOME NONOCA EIPTIC EQUATIONS 5 the following equation H( x v( x,0)) w(y) = v( x,0)α d x, y R N R N ( x,0) y N α \{0}, K( y v(y)) z( x) = N αv(y)nα dy, x R N ( x,0) y \{0}, R N v(y) = w(y)k( y v(y))v(y) 2α, y R N \{0}, (2.5) v ν (x,0) = z(x )h( x v(x,0))v(x,0) α, (x,0) R N \{0}, where H(t), K(t), h(t), k(t) are defined in assumption (ii) in Theorem.. In order to use the moving plane method, we need to introduce some notations which will be used later. For any λ > 0, we denote by Σ λ = {x R N x > λ}, Σ λ = {x R N x > λ}, T λ = {x R N x = λ}. Moreover, for any x Σ λ, we denote by x λ the reflection of x with respect to T λ, i.e., x λ = (2λ x,x 2,...,x N ). In the following, we also define v λ (x) = v(x λ ) and p λ = (2λ,0,...,0). With the above preparations, we have the following emma 2.. For any λ > 0, if we denote = {x Σ λ v(x) > v(x λ )} and = {x Σ λ v(x) > v(x λ )}, then for any y Σ λ \{(2λ,0,...,0)} and x Σ λ \{(2λ,0,...,0)}, we have w(y) w(y λ ) ( x,0) y N αh( x v( x,0))[v( x,0) α v( x λ,0) α ]d x and z( x) z( x λ ) (2.6) (x,0) y N αk( y v(y))[v(y) Nα v(y λ ) Nα ]dy. (2.7) Proof. We only prove equation (2.7), the proof of equation (2.6) is similar. By the equation of z( x), we have K( y v(y)) z( x) = N αv(y)nα K( y λ v(y λ )) dy Σ λ ( x,0) y Σ λ ( x,0) y λ N α v(yλ ) Nα dy, and z( x λ ) = K( y v(y)) N αv(y)nα Σ λ ( x λ dy,0) y K( y λ v(y λ )) ) Nα Σ λ ( x λ,0) y λ N αv(yλ dy. Since ( x,0) y λ = ( x λ,0) y and ( x,0) y = ( x λ,0) y λ, we deduce from the above two equations that z( x) z( x λ ) = ( x,0) y v(y))v(y) Nα N α ( x,0) y λ N α)[k( y K( y λ v(y λ ))v(y λ ) Nα ]dy. Σ λ ( (2.8)
6 XIAOHUI YU For y = {x Σ λ v(x) > v(x λ )}, we have y v(y) > y λ v(y λ ), hence from the monotonicity of K(t), we deduce that On the other hand, for y Σ λ \, we have K( y v(y)) K( y λ v(y λ )). (2.9) K( y v(y))v(y) Nα = G( y v(y)) y Nα G( y v(y λ )) y Nα Hence we deduce from equations (2.8)(2.9)(2.0) that = G( y v(y λ )) v(y λ ) Nα [ y v(y λ )] Nα G( yλ v(y λ )) v(y λ ) Nα [ y λ v(y λ )] Nα = K( y λ v(y λ ))v(y λ ) Nα. (2.0) z( x) z( x λ ) v(y))[v(y) Nα ( x,0) y N αk( y v(y λ ) Nα (2.) ]dy. This completes the proof of equation (2.7). emma 2.2. Under the assumptions of Theorem. and v,w,z defined as above, then for any fixed λ > 0, the functions v and (v v λ ) belong to 2 (Σ λ ) (Σ λ ) with 2 = 2N. Furthermore, if we denote Σv λ and Σv λ as above, then there exists C λ > 0, which is nonincreasing in λ, such that (v v λ ) 2 dx Σ λ C λ [ w(y) ) v(y) 4α N 2N v( x,0) α N α( (Σ 2N v λ ) 2(N ) v(y) 2α ( ) z(x ) 2(N ) v(x,0) 2α N N α ( ) 2(N ) ] (v v λ ) 2 dx. ( ) Σ λ (Σ 2N v λ ) (2.2) Proof. First, we note that since λ > 0, then there exists r > 0 such that Σ λ R N \B r (0), where B r (0) = {x RN x < r, x N > 0}. Hence, we deduce from the definition of v(x) and the decay behavior of v(x) at infinity that v,(v v λ ) 2 (Σ λ ) (Σ λ ). Second, in order to deal with the possible singularity of v(x),w(x) and z(x ) at zero, we need to introduce some cut-off function. et η = η ε C(R N,[0,]) be a radial function
such that IOUVIE TYPE THEOREM FOR SOME NONOCA EIPTIC EQUATIONS 7, 2ε x p λ, ε η(x) = 0, x p λ < ε, x p λ > 2. ε Moreover, werequirethat η 2 ε forε < x pλ < 2εand η 2εfor ε < x pλ < 2 ε. It is easy to see that such cut-off function exists. For convenience, we also define ϕ = ϕ ε = η 2 ε (v vλ ) and ψ = ψ ε = η ε (v v λ ), then it is easy to see that ϕ and ψ is well-defined on Σ λ. Moreover, a simple calculation shows that ψ 2 = (v v λ ) ϕ[(v v λ ) ] 2 η 2. With the above preparations, we have (v v λ ) 2 dx Σ λ {2ε x p λ ε } ψ(x) 2 dx Σ λ (v v λ ) ϕdx [(v v λ ) ] 2 η ε 2 dx Σ λ Σ λ = (v v λ (v v λ ) )ϕ(y)dy ϕ(x,0)dx I ε Σ λ Σ λ ν = [w(y)k( y v(y))v(y) 2α w(y λ )k( y λ v(y λ ))v(y λ ) 2α ][v(y) v(y λ )] ηε 2 dy Σ λ [z(x )h( x v(x,0))v(x,0) α z(x λ )h( x λ v(x λ,0))v(x λ,0) α ] Σ λ [v(x,0) v(x λ,0)] ηε 2 dx I ε = [w(y)k( y v(y))v(y) 2α w(y λ )k( y λ v(y λ ))v(y λ ) 2α ][v(y) v(y λ )] ηε 2 dy [z(x )h( x v(x,0))v(x,0) α z(x λ )h( x λ v(x λ,0))v(x λ,0) α ] [v(x,0) v(x λ,0)] η 2 ε dx I ε = I II I ε, where I ε = Σ λ [(v(y) v(y λ ) )] 2 η ε 2 dy. To estimate the integral I, we first note that k( y v(y)) k( y λ v(y λ )) (2.3) for y by the monotonicity assumption of k. Now we divide the integral domain into two parts, the first part is D = {y v(y) > v(y λ ),w(y) > w(y λ )} and the second is D 2 = {y v(y) > v(y λ ),w(y) w(y λ )}.
8 XIAOHUI YU For y D, we have w(y)k( y v(y))v(y) 2α w(y λ )k( y λ v(y λ ))v(y λ ) 2α = [w(y) w(y λ )]k( y v(y))v(y) 2α w(y λ )[k( y v(y))v(y) 2α k( y λ v(y λ ))v(y λ ) 2α ] [w(y) w(y λ )]k( y v(y))v(y) 2α w(y)k( y v(y))[v(y) 2α v(y λ ) 2α ]. (2.4) While for y D 2, we have w(y)k( y v(y))v(y) 2α w(y λ )k( y λ v(y λ ))v(y λ ) 2α w(y)[k( y v(y))v(y) 2α k( y λ v(y λ ))v(y λ ) 2α ] w(y)k( y v(y))[v(y) 2α v(y λ ) 2α ]. (2.5) Similarly, in order to estimate the integral II, we note that h( x v(x,0)) h( x λ v(x λ,0)) for x by the monotonicity assumption of h. As before, we still divide the integral domain into D 3 D 4, where D 3 = {x Σ λ v(x,0) > v(x λ,0),z(x ) > z(x λ )} and D 4 = {x Σ λ v(x,0) > v(x λ,0),z(x ) z(x λ )}. We can infer as the above procedure that for x D 3 z(x )h( x v(x,0))v(x,0) α z(x λ )h( x λ v(x λ,0))v(x λ,0) α h( x v(x,0)){z(x )[v(x,0) α v(x λ,0) α ]v(x,0) α [z(x ) z(x λ )]}. (2.6) While for x D 4, the following inequality holds z(x )h( x v(x,0))v(x,0) α z(x λ )h( x λ v(x λ,0))v(x λ,0) α (2.7) z(x )h( x v(x,0))[v(x,0) α v(x λ,0) α ].
IOUVIE TYPE THEOREM FOR SOME NONOCA EIPTIC EQUATIONS 9 Hence, we deduce from equations (2.3) (2.4) (2.5) (2.6) and (2.7) that (v v λ ) 2 dx Σ λ {2ε x p λ ε } I ε C w(y)k( y v(y))v(y) 4α N [(v(y) v(y λ )) ] 2 η ε (y) 2 dy C k( y v(y))v(y) 2α [w(y) w(y λ )] [v(y) v(y λ )] η ε (y) 2 dy h( x v(x,0))z(x )v(x,0) 2α N [(v(x,0) v(x λ,0)) ] 2 η ε (x,0) 2 dx h( x v(x,0))v(x,0) α [z(x ) z(x λ )] [v(x,0) v(x λ,0)] η ε (x,0) 2 dx = I ε AB C D. (2.8) We claim that I ε 0 as ε 0. In fact, if we denote Dε = {x Σ λ ε < x p λ < 2ε} and Dε 2 = {x Σ λ < ε x pλ < 2 }, then we have ε D ε η N dx C ε N εn = C. Similarly, we have D 2 ε η N dx Cε N ε N = C. Hence, we deduce from Hölder inequality and the fact that [v(y) v(y λ )] 2 (Σ λ ) that I ε ( [(v v λ ) ] 2 dx) 2 2 ( η N dx) 2 N 0 Dε D2 ε Σ λ as ε 0. Next, we estimate the integrals A,B,C,D. As for A, we infer from the monotonicity of k and the decay of v that there exists C λ > 0, which is non-increasing in λ, such that A C λ C λ ( w(y)v(y) 4α N [(v(y) v(y λ )) ] 2 dy w(y) 2N N α N α dy) 2N ( v(y) 2N 4α N dy) 2N ( [(v(y) v(y λ )) ] 2N ) N. (2.9)
0 XIAOHUI YU Similarly, for the integral B, we infer from emma 2., the Hardy-ittlewood-Sobolev inequality in [9] and Hölder inequality that B C λ C λ v(y) 2α [w(y) w(y λ )] [v(y) v(y λ )] dy ( x,0) y N αv( x,0) α [v( x,0) v( x λ,0)] d xv(y) 2α [v(y) v(y λ )] dy C λ v( x,0) α (v( x,0) v( x λ,0)) C λ v( x,0) α 2(N ) v(y) 2α [v(y) v(y λ )] α( Σ v 2N λ ) 2(N ) (v( x,0) v( x λ,0)) 2(N ) v(y) 2α ( ) Nα( ) (v(y) v(y λ )) (Σ 2N 2N v λ ) (2.20) ( ). For the integral C, we infer from Hölder inequality that C C λ C λ ( z(x )v(x,0) 2α N [(v(x,0) v(x λ,0)) ] 2 dx z(x ) 2(N ) N α dx ) N α 2(N ) ( ( [(v(x,0) v(x λ,0)) ] 2(N ) dx ) N. v(x,0) 2(N ) dx ) 2α N 2(N ) (2.2) Finally, for the integral D, we infer from emma 2., the Hardy-ittlewood-Sobolev inequality in half space in [9] and Hölder inequality that D C λ v(x,0) α C λ v(x,0) α [v(x,0) v(x λ,0)] C λ v(x,0) α 2α (x,0) y N αv(y) [v(y) v(y λ )] dy[v(x,0) v(x λ,0)] dx v(y) 2α [v(y) v(y λ )] Nα 2( Σ v 2N λ ) 2(N ) 2(N ) ( ) (v(x,0) v(x λ,0)) 2(N ) ( ) Nα( ) v(y) 2α 2N ( ) (v(y) v(y λ )) 2N ( ). (2.22) At last, let ε 0 in equation (2.8) and use equations (2.9)(2.20)(2.2)(2.22), the dominated convergence theorem, Sobolev inequality and Sobolev trace inequality, then we
IOUVIE TYPE THEOREM FOR SOME NONOCA EIPTIC EQUATIONS get Σ λ (v v λ ) 2 dx C λ [ w(y) ) v(y) 4α N 2N v( x,0) α N α( (Σ 2N v λ ) 2(N ) v(y) 2α ( ) z(x ) 2(N ) v(x,0) 2α N N α ( ) 2(N ) ] (v v λ ) 2 dx. ( ) Σ λ This completes the proof of this lemma. (Σ 2N v λ ) (2.23) To endthis section, we want tomake some comments onthis lemma. As we have notified in the introduction, because the nonlinear term and the boundary value condition of the equation are not assumed to be ipschitz continuous, the solution is not of C 2 class in general, so we can t use the usual moving plane method based on the maximum principle in a differential form. Thanks to emma 2.2, it can play the same role as the maximum principle does. In fact, if we can prove that C λ [ w(y) ) v(y) 4α N 2N v( x,0) α N α( ( ) 2(N ) v(y) 2α ( ) 2N z(x ) 2(N ) v(x,0) 2α N N α ( ) 2(N ) ] <, ( ) (Σ 2N v λ ) (2.24) then we infer from equation (2.2) that Σ λ (v v λ ) 2 dx = 0, or v(y) v(y λ ) in Σ λ, the same conclusion as the maximum principles imply. 3. Proof of Theorem. With the above preparations, we can prove Theorem. now. We use the moving plane method based on integral inequality to prove our result. First, we will show that this procedure can be started from some place. More precisely, we have the following emma 3.. Under the assumptions of Theorem., there exists λ 0 > 0, such that for all λ λ 0, we have w(y) w(y λ ),v(y) v(y λ ) and z(x ) z(x λ ) in Σ λ and Σ λ respectively. Proof. The results of this lemma is a direct consequence of emma 2. and emma 2.2. In fact, by the decay of w(y),v(y) and z(x ), see equation (2.4), we can find λ 0 > 0 large enough, such that for all λ > λ 0, we have C λ [ w(y) ) v(y) 4α N 2N v( x,0) α N α( ( ) 2(N ) v(y) 2α ( ) 2N z(x ) 2(N ) v(x,0) 2α N N α ( ) 2(N ) (Σ 2N v λ ) ( ) ] < 2, (3.)
2 XIAOHUI YU so we can conclude from emma 2.2 that v(y) v(y λ ) in Σ λ. Substitute the result into emma 2., then we get w(y) w(y λ ) and z(x ) z(x λ ) in Σ λ and Σ λ respectively. The result of this lemma follows. Based on the above result, we can move the plane T λ0 from the right to the left as long as w(y) w(y λ ),v(y) v(y λ ) and z(x ) z(x λ ) in Σ λ and Σ λ respectively. We suppose the procedure stops at some λ. More precisely, we define λ = inf{λ w(y) w(y λ), v(y) v(y λ) in Σ λ, z(x ) z(x λ) in Σ λ for all λ λ}, then we have the following emma 3.2. If λ > 0, then we have w(y) w(y λ ), v(y) v(y λ ) in Σ λ and z(x ) z(x λ ) in Σ λ. Proof. We prove the conclusion of this this lemma by contradiction. Suppose on the contrary that w(y) w(y λ ) or v(y) v(y λ ) or z(x ) z(x λ ), then we claim that the plane T λ can be moved to the left a little, that is, there exists δ 0 > 0, such that w(y) w(y λ ), v(y) v(y λ ) in Σ λ and z(x ) z(x λ ) in Σ λ for all λ [λ δ 0,λ ]. If the claim is true, then it contradicts the definition of λ, hence the result of this lemma holds. So in the following, we only need to prove the claim. First, we have w(y) w(y λ ), v(y) v(y λ ) and z(x ) z(x λ ) by the continuity of w,v,z on λ. Moreover, by the monotonicity assumptions on g and k, we have which further implies that w(y)k( y v(y))v(y) 2α = w(y) g( y v(y)) y 2α w(y λ ) g( y v(y λ )) y 2α = w(y λ ) g( y v(y λ )) [ y v(y λ 2α v(y λ ) 2α )] w(y λ ) g( yλ v(y λ )) [ y λ v(y λ 2α v(y λ ) 2α )] = w(y λ )k( y λ v(y λ ))v(y λ ) 2α, v(y) v(y λ ) in Σ λ. Since w(y) w(y λ ) or v(y) v(y λ ) or z(x ) z(x λ ), then the strong maximum principle implies that v(y) < v(y λ ) in Σ λ. Further more, it implies w(y) < w(y λ ) in Σ λ and z(x ) < z(x λ ) in Σ λ. On the other hand, since χ x 2N Σ v λ 0, χ x 2(N ) Σ v λ 0 a.e. as λ λ and there exists δ > 0 such that χ x 2N Σ v λ χ x 2N Σ w λ, χ δ x 2(N ) Σ v λ χ x 2(N ) Σ w λ for λ δ
IOUVIE TYPE THEOREM FOR SOME NONOCA EIPTIC EQUATIONS 3 [λ δ,λ ], then it follows from the dominated convergence theorem that dx 0 x 2N and x 2(N ) dx 0 as λ λ. Finally, by the decay law of w(y),v(y) and z(x), we conclude that there exists δ 0 > 0, such that for all λ [λ δ 0,λ ], the following inequality holds C λ [ w(y) ) v(y) 4α N 2N v( x,0) α N α( ( ) 2(N ) v(y) 2α ( ) 2N z(x ) 2(N ) v(x,0) 2α N N α ( ) 2(N ) (Σ 2N v λ ) ( ) ] < 2. (3.2) Hence, we infer from the above inequality and emma 2.2 that v(y) v(y λ ) for all λ [λ δ 0,λ ]. Finally, it follows from emma 2. that w(y) w(y λ ) and z(x ) z(x λ ) for all λ [λ δ 0,λ ]. This completes the proof of the claim. Proposition 3.3. Suppose that u,m,n is the positive solution of equation (2.) and the nonlinear terms satisfy the assumptions in Theorem.. For any p R N, let v,w,z be the Kelvin transformation of u,m,n at p, then v,w,z is symmetric with respect to any plane which is parallel to x N direction and passing through some point q R N. Further more, if at least one of the functions h,k,h,k is not a constant in (0,sup x R N u(x)) or (0,sup x R N u(x)), then u,m,n is symmetric with respect to any plane which is parallel to x N direction and passing through p, i.e., p = q. Proof. To prove that v,w,z is symmetric with respect to some point q R N, we use the method of moving plane as above. We prove the symmetry in every direction that is vertical to the x N direction. Without loss of generality, we assume that p = 0 and choose the x direction and prove that v,w,z is symmetric in the x direction. We can carry out the procedure as the above and assume that the plane stops at λ. If λ > 0, then it follows from emma 3.2 that v,w,z is symmetric with respect to T λ. Otherwise, if λ 0, then we conclude by continuity that v(x) v 0 (x),w(x) w 0 (x) and z(x ) z 0 (x ) for all x Σ 0 and x Σ 0. We can also perform the moving plane procedure from the left and find a corresponding λ. If λ 0, then we get v0 (x) v(x),w 0 (x) w(x) and z 0 (x ) z(x ) for x Σ 0 and x Σ 0. This fact and the above inequality imply that v(x),w(x),z(x ) are symmetric with respect to T 0. Otherwise, if λ < 0, an analogue to emma 3.2 shows that v,w,z are symmetric with respect to T λ. Therefore, if λ = λ = 0 for all directions that is vertical to the x N direction and for all p R N, then v,w,z and hence u,m,n are symmetric with respect to any plane which is parallel to the x N direction and passing through p. Since p is arbitrary, we conclude that u,m,n depends only on x N.
4 XIAOHUI YU On the other hand, if λ > 0 or λ < 0 in some direction for some p R N, then we have v = v λ,w = w λ,z = z λ or v = v λ,w = w λ,z = z λ. This implies that v,w,z are regular at the origin, and hence u,m,n are regular at infinity. Since v = v λ,w = w λ,z = z λ or v = v λ,w = w λ,z = z λ, then we infer from equation (2.5) that h,k,h,k are constants. After the above preparations, we can prove Theorem. now. Proof of Theorem.: Since at least one of the functions h,k,h,k is not a constant in (0,sup x R N u(x))or(0,sup x R N u(x)),thenproposition3.3impliesthatthekelvin stransform v,w,z of u,m,n at p is symmetric with respect to any plane which is parallel to x N direction and passing through p for any p R N. Since p is arbitrary, we conclude that u,m depend only on x N and n is a constant. Then we deduce from equation (.) that d2 u(y N ) dy 2 N = R N u (0) = x N R N F(u(0)) (x,0) y N αdx g(u(y N )) in R, G(u(y N )) dyf(u(0)). (x,0) y N α The first equation implies that u is concave in x N direction. It also follows from the second equation that du dx N (0) = G(u(y N )) dyf(u(0)) 0. So we deduce that u is strictly R N (x,0) y N α decreasing in x N unless u c with F(c) = G(c) = 0. If u c, then we proved our result. On the other hand, if u is strictly decreasing and concave in x N, then u(x N ) < 0 for x N large enough, which contradicts that u is a nonnegative solution for problem (.). Acknowledgement:The author would like to thank the anonymous referee for his/her careful reading and useful suggestions of this paper, which indeed improve this paper. This work is supported by Excellent Young Scientists Foundation of Guangdong Province, No. YQ20454. References [] W.Chen, C.i, Classification of solutions of some nonlinear elliptic equations, Duke Math. J., 63(99), 65-622. [2] W.Chen, C.i, Y.i, A direct method of moving planes for the fractional aplacian, Adv. Math., 308(207), 404-437. [3] W.Chen, C.i, B.Ou, Classification of solutions for an integral equation, Comm. Pure Appl. Math., 59(2006),330-343. [4] W.Chen, Y.Fang, C.i, Super poly-harmonic property of solutions for Navier boundary problems on a half space, J. Funct. Anal., 265(203), 522C555. [5] W.Chen, Y.Fang, R.Yang, iouville theorems involving the fractional aplacian on a half space, Adv. Math., 274(205), 67C98. [6] W.Chen, Y.i, R.Zhang, A direct method of moving spheres on fractional order equations, J. Funct. Anal., 272(207), 43-457.
IOUVIE TYPE THEOREM FOR SOME NONOCA EIPTIC EQUATIONS 5 [7].Damascelli, F.Gladiali, Some nonexistence results for positive solutions of elliptic equations in unbounded domains, Rev. Mat. Iberoamericana, 20(2004), 67-86. [8] E.N.Dancer, Some notes on the method of moving planes, Bull. Austral. Math. Soc., 46(992), 425-434. [9] J.Dou, M.Zhu, Sharp Hardy-ittlewood-Sobolev inequality on the upper half space, Int. Math. Res. Not., 205, 65C687. [0] Y.Fang, W.Chen,A iouville type theorem for poly-harmonic Dirichlet problems in a half space, Adv. Math., 229(202), 2835-2867. [] D.G.de Figueiredo, P.. Felmer, A iouville type theorem for Elliptic systems, Ann. Scuola Norm. Sup. Pisa Cl. Sci., 2(994), 387-397. [2] B.Gidas, J.Spruck, Global and local behavior of positive solutions of nonlinear elliptic equations, Communications on Pure and Applied Mathematics, 34(98), 525-598. [3] B.Gidas, J.Spruck, A priori bounds of positive solutions of nonlinear elliptic equations, Comm. in P.D.E., 8(98), 883-90. [4] Y.Guo, J.iu, iouville type theorems for positive solutions of elliptic system in R N, Comm. P.D.E., 33(2008), 263-284. [5] Y.Guo, J.iu, iouville-type theorems for polyharmonic equations in R N and in R N, Proceedings of the Royal Society of Edinburgh, 38A(2008), 339-359. [6] J.iu, Y.Guo, Y.Zhang, iouville-type theorems for polyharmonic systems in R N, Journal of Differential Equations, 225(2006), 685-709. [7] Y.i, Remark on some conformally invariant integral equations: the method of moving spheres, J. Eur. Math. Soc., 6(2004), 53C80. [8] Y.i,.Zhang, ei, iouville-type theorems and Harnack-type inequalities for semilinear elliptic equations, J. Anal. Math., 90(2003), 27-87. [9] S.uo, W.Zou, iouville theorems for integral systems related to fractional ane-emden systems in R N, Differential Integral Equations Volume, 29(206), 07-38. [20].Ma, D.Chen, A iouville type theorem for an integral system, Comm. Pure and Appl, Anal., 5, 855-859(2006). [2] E.Mitidieri, Non-existence of positive solutions of semilinear systems in R N, Diff. Int. Eq., 9(996), 465-479. [22] J.Serrin, H.Zou, Non-existence of positive solutions of ane-emden system, Diff. Int. Eq., 9(996), 635-653. [23] J.Serrin, H.Zou, Existence of positive solutions of ane-emden system, Atti Sem. Mat. Fis. Univ. Modena. Sippl., 46(998), 369-380. [24] J.Serrin, H.Zou, The existence of positive entire solutions of elliptic Hamiltonian system, Comm. P.D.E., 23(998), 375-398. [25] P.Souplet, The proof of the ane-emden conjecture in four space dimensions, Advances in Mathematics, 22(2009), 409-437. [26] S.Terracini, Symmetry properties of positives solutions to some elliptic equations with nonlinear boundary conditions, Diff. Int. Eq., 8(995), 9-922. [27] S.Terracini, On positive entire solutions to a class of equations with a singular coefficient and critical exponent, Adv. Diff. Eq., (996), 24-264. [28] X.Yu, iouville type theorems for integral equations and integral systems, Calc. Var. PDE, 46(203), 75-95. [29] X.Yu, iouville Type Theorems for Singular Integral Equations and Integral Systems, Commun. Pure Appl. Anal., 5(206), 825-840. [30] X.Yu, iouville Type Theorem in the Heisenberg Group with General Nonlinearity, Journal of Differential Equations, 254(203), 273-282. [3] X. Yu, iouville Type Theorem for Nonlinear Elliptic Equation with General Nonlinearity, Discrete and Continuous Dynamical Systems-Series A, 34(204), 4947-4966.
6 XIAOHUI YU [32] X. Yu, iouville Type Theorem for Nonlinear Elliptic Equation Involving Grushin Operators, Communications in Contemporary Mathematics, 7(205), 450050, 2 pp.