DECAY ESTIMATES AND SYMMETRY OF FINITE ENERGY SOLUTIONS TO ELLIPTIC SYSTEMS IN R n

Similar documents
On the Hénon-Lane-Emden conjecture

A DEGREE THEORY FRAMEWORK FOR SEMILINEAR ELLIPTIC SYSTEMS

A PRIORI ESTIMATES AND APPLICATION TO THE SYMMETRY OF SOLUTIONS FOR CRITICAL

Non-radial solutions to a bi-harmonic equation with negative exponent

Liouville-type theorems and decay estimates for solutions to higher order elliptic equations

A LIOUVILLE THEOREM FOR p-harmonic

Note on the Chen-Lin Result with the Li-Zhang Method

Liouville theorems for stable Lane-Emden systems and biharmonic problems

Liouville Theorems for Integral Systems Related to Fractional Lane-Emden Systems in R N +

EXISTENCE OF SOLUTIONS FOR KIRCHHOFF TYPE EQUATIONS WITH UNBOUNDED POTENTIAL. 1. Introduction In this article, we consider the Kirchhoff type problem

Classification of Solutions for an Integral Equation

Minimization problems on the Hardy-Sobolev inequality

Global unbounded solutions of the Fujita equation in the intermediate range

SYMMETRY RESULTS FOR PERTURBED PROBLEMS AND RELATED QUESTIONS. Massimo Grosi Filomena Pacella S. L. Yadava. 1. Introduction

On non negative solutions of some quasilinear elliptic inequalities

DETERMINATION OF THE BLOW-UP RATE FOR THE SEMILINEAR WAVE EQUATION

A one-dimensional nonlinear degenerate elliptic equation

On semilinear elliptic equations with nonlocal nonlinearity

SYMMETRY OF POSITIVE SOLUTIONS OF SOME NONLINEAR EQUATIONS. M. Grossi S. Kesavan F. Pacella M. Ramaswamy. 1. Introduction

Non-homogeneous semilinear elliptic equations involving critical Sobolev exponent

arxiv: v1 [math.ap] 28 Mar 2014

LOCAL BEHAVIOR AND GLOBAL EXISTENCE OF POSITIVE SOLUTIONS OF au λ u u λ. COMPORTEMENT LOCAL ET EXISTENCE GLOBALE DES SOLUTIONS POSITIVES DE au λ u u λ

Existence of Positive Solutions to Semilinear Elliptic Systems Involving Concave and Convex Nonlinearities

EXISTENCE OF SOLUTIONS FOR CROSS CRITICAL EXPONENTIAL N-LAPLACIAN SYSTEMS

BLOWUP THEORY FOR THE CRITICAL NONLINEAR SCHRÖDINGER EQUATIONS REVISITED

Liouville theorems for superlinear parabolic problems

MULTIPLE SOLUTIONS FOR CRITICAL ELLIPTIC PROBLEMS WITH FRACTIONAL LAPLACIAN

arxiv: v2 [math.ap] 12 Apr 2019

Elliptic stability for stationary Schrödinger equations by Emmanuel Hebey. Part III/VI A priori blow-up theories March 2015

Stationary Kirchhoff equations with powers by Emmanuel Hebey (Université de Cergy-Pontoise)

Changing sign solutions for the CR-Yamabe equation

HARDY INEQUALITIES WITH BOUNDARY TERMS. x 2 dx u 2 dx. (1.2) u 2 = u 2 dx.

NONLINEAR SCHRÖDINGER ELLIPTIC SYSTEMS INVOLVING EXPONENTIAL CRITICAL GROWTH IN R Introduction

COMBINED EFFECTS FOR A STATIONARY PROBLEM WITH INDEFINITE NONLINEARITIES AND LACK OF COMPACTNESS

SEMILINEAR ELLIPTIC EQUATIONS WITH DEPENDENCE ON THE GRADIENT

ON NONHOMOGENEOUS BIHARMONIC EQUATIONS INVOLVING CRITICAL SOBOLEV EXPONENT

MULTIPLE POSITIVE SOLUTIONS FOR KIRCHHOFF PROBLEMS WITH SIGN-CHANGING POTENTIAL

VANISHING-CONCENTRATION-COMPACTNESS ALTERNATIVE FOR THE TRUDINGER-MOSER INEQUALITY IN R N

A Semilinear Elliptic Problem with Neumann Condition on the Boundary

EXISTENCE OF NONTRIVIAL SOLUTIONS FOR A QUASILINEAR SCHRÖDINGER EQUATIONS WITH SIGN-CHANGING POTENTIAL

Integro-differential equations: Regularity theory and Pohozaev identities

A Dirichlet problem in the strip

SIMULTANEOUS AND NON-SIMULTANEOUS BLOW-UP AND UNIFORM BLOW-UP PROFILES FOR REACTION-DIFFUSION SYSTEM

Rigidity Results for Elliptic PDEs

Blow-up solutions for critical Trudinger-Moser equations in R 2

REGULARITY AND COMPARISON PRINCIPLES FOR p-laplace EQUATIONS WITH VANISHING SOURCE TERM. Contents

SELF-ADJOINTNESS OF SCHRÖDINGER-TYPE OPERATORS WITH SINGULAR POTENTIALS ON MANIFOLDS OF BOUNDED GEOMETRY

Uniqueness of ground states for quasilinear elliptic equations in the exponential case

ON A CONJECTURE OF P. PUCCI AND J. SERRIN

Some lecture notes for Math 6050E: PDEs, Fall 2016

MULTIPLE SOLUTIONS FOR AN INDEFINITE KIRCHHOFF-TYPE EQUATION WITH SIGN-CHANGING POTENTIAL

Nonlinear aspects of Calderón-Zygmund theory

UNIQUENESS RESULTS ON SURFACES WITH BOUNDARY

Presenter: Noriyoshi Fukaya

THE FORM SUM AND THE FRIEDRICHS EXTENSION OF SCHRÖDINGER-TYPE OPERATORS ON RIEMANNIAN MANIFOLDS

ON BOUNDEDNESS OF MAXIMAL FUNCTIONS IN SOBOLEV SPACES

Bulletin of the. Iranian Mathematical Society

LORENTZ ESTIMATES FOR ASYMPTOTICALLY REGULAR FULLY NONLINEAR ELLIPTIC EQUATIONS

u( x) = g( y) ds y ( 1 ) U solves u = 0 in U; u = 0 on U. ( 3)

The Maximum Principles and Symmetry results for Viscosity Solutions of Fully Nonlinear Equations

GRAND SOBOLEV SPACES AND THEIR APPLICATIONS TO VARIATIONAL PROBLEMS

A nodal solution of the scalar field equation at the second minimax level

A Caffarelli-Kohn-Nirenberg type inequality with variable exponent and applications to PDE s

POSITIVE GROUND STATE SOLUTIONS FOR SOME NON-AUTONOMOUS KIRCHHOFF TYPE PROBLEMS

THE HARDY-SCHRÖDINGER OPERATOR WITH INTERIOR SINGULARITY: THE REMAINING CASES

Brunn-Minkowski inequality for the 1-Riesz capacity and level set convexity for the 1/2-Laplacian

Recent developments in elliptic partial differential equations of Monge Ampère type

Partial regularity for suitable weak solutions to Navier-Stokes equations

EXISTENCE OF WEAK SOLUTIONS FOR A NONUNIFORMLY ELLIPTIC NONLINEAR SYSTEM IN R N. 1. Introduction We study the nonuniformly elliptic, nonlinear system

Existence and Multiplicity of Solutions for a Class of Semilinear Elliptic Equations 1

Symmetry and monotonicity of least energy solutions

A RELATIONSHIP BETWEEN THE DIRICHLET AND REGULARITY PROBLEMS FOR ELLIPTIC EQUATIONS. Zhongwei Shen

GROUND STATE SOLUTIONS FOR CHOQUARD TYPE EQUATIONS WITH A SINGULAR POTENTIAL. 1. Introduction In this article, we study the Choquard type equation

Global regularity of a modified Navier-Stokes equation

H u + u p = 0 in H n, (1.1) the only non negative, C2, cylindrical solution of

On m-accretive Schrödinger operators in L p -spaces on manifolds of bounded geometry

Hardy spaces associated to operators satisfying Davies-Gaffney estimates and bounded holomorphic functional calculus.

Nonexistence of solutions to systems of higher-order semilinear inequalities in cone-like domains

Symmetry of entire solutions for a class of semilinear elliptic equations

New York Journal of Mathematics. Positive Radial Solutions of Nonlinear Elliptic Systems

Saddle Solutions of the Balanced Bistable Diffusion Equation

NONHOMOGENEOUS ELLIPTIC EQUATIONS INVOLVING CRITICAL SOBOLEV EXPONENT AND WEIGHT

STABILITY RESULTS FOR THE BRUNN-MINKOWSKI INEQUALITY

arxiv: v1 [math.ap] 24 Oct 2014

THE HARDY LITTLEWOOD MAXIMAL FUNCTION OF A SOBOLEV FUNCTION. Juha Kinnunen. 1 f(y) dy, B(x, r) B(x,r)

M. Ledoux Université de Toulouse, France

Polyharmonic Elliptic Problem on Eistein Manifold Involving GJMS Operator

Nonexistence of solutions for quasilinear elliptic equations with p-growth in the gradient

REGULARITY CRITERIA FOR WEAK SOLUTIONS TO 3D INCOMPRESSIBLE MHD EQUATIONS WITH HALL TERM

Maximum Principles and the Method of Moving Planes

MULTIPLE SOLUTIONS FOR A KIRCHHOFF EQUATION WITH NONLINEARITY HAVING ARBITRARY GROWTH

Existence, stability and instability for Einstein-scalar field Lichnerowicz equations by Emmanuel Hebey

Symmetry of nonnegative solutions of elliptic equations via a result of Serrin

THE L 2 -HODGE THEORY AND REPRESENTATION ON R n

hal , version 1-22 Nov 2009

New exact multiplicity results with an application to a population model

Rigidity and Non-rigidity Results on the Sphere

SUBELLIPTIC CORDES ESTIMATES

A Hopf type lemma for fractional equations

Fractional order operators on bounded domains

Transcription:

DECAY ESTIMATES AND SYMMETRY OF FINITE ENERGY SOLUTIONS TO ELLIPTIC SYSTEMS IN R n Abstract. We study a notion of finite energy solutions to elliptic systems with power nonlinearities in R n. We establish sharp pointwise decay estimates for positive and sign-changing solutions. By using these estimates, we obtain symmetry results when the solutions are positive.. Introduction and main results In this paper, we are interested in the nonlinear Schrödinger system { u = v p u r u in R n v = u q v s v in R n. where n 3, p, q, r, s 0, and p s q r >..2 Systems of this type are closely related to the modeling of Bose Einstein condensates see for instance Burke, Bohn, Esry and Greene [3] and Frantzeskakis [4] and also arise in nonlinear optics see Kanna and Lakshmanan [27] and Kivshar and Luther-Davies [29]. We define a := n pq r s 2 p s + and b := n pq r s 2 q r + so that p b + r a = 2 n + q and a a + s b = 2 n + b..3 It follows from.3 that. is invariant under the change of scale µ n/a u µx, µ n/b v µx.4 for all µ > 0. Moreover, the L a norm of u and L b norm of v are also invariant under.4. We assume that a, b > n n 2..5 It follows from.3 and.5 that for every u, v L a R n L b R n, v p u r u L loc Rn and u q v s v L loc Rn. We then say that u, v L a R n L b R n is a solution or finite energy solution of. if both equations in. are satisfied in the distributional sense. Date: December 29, 206. To appear in Indiana University Mathematics Journal.

2 By using Sobolev s inequalities, it is easy to check that in case r = s = 0, if a and b satisfy the critical condition a + b = n 2 n,.6 then our definition of finite energy solutions generalizes the more usual definition of finite energy solutions as critical points in Sobolev spaces of an energy functional see Lions [35] for the variational framework in this case, see also Hulshof and van der Vorst [25]. Remark that there is no known energy functional for the system. in the general case where r and s can be nonzero. In this case, our definition provides a natural generalization of such solutions which preserves the scale invariance.4. It follows from a result of Chen, Li, and Ou [8] that in case r = s = 0, if.6 holds true, then positive finite energy solutions are radially symmetric and decreasing about some point x 0 R n. Moreover, positive finite energy solutions have been proven to exist in this case if and only if.6 holds true see Lions [35] for the existence and Chen and Li [7] and Villavert [56] for the nonexistence. We also mention that positive solutions with infinite energy of. have been proven to exist in case r = s = 0 when the equality in.6 is replaced by < see Mitidieri [38] and Serrin and Zou [49]. In case of the converse inequality >, nonexistence of positive solutions with finite or infinite energy of. with r = s = 0 has been obtained in the radial case see Mitidieri [38] and Serrin and Zou [47], in case n 4 see Mitidieri [38], Serrin and Zou [48], and Souto [5] in case n {, 2}, Poláčik, Quittner, and Souplet [42] and Serrin and Zou [48] in case n = 3, and Souplet [50] in case n = 4, and under various additional assumptions in higher dimensions see for instance Busca and Manásevich [4], Chen and Li [7], de Figueiredo and Felmer [], Lei and Li [3], Quittner, and Souplet [42], Mitidieri [38], Serrin and Zou [47, 48], Souplet [50], and Villavert [56]. We also refer to Lei and Li [30] and Villavert [56] for a qualitative analysis of solutions of. in case r = s = 0. Another case which has received a lot of attention is the case q + s = p + r. In this case, Quittner and Souplet [44] obtained that every positive solution u, v of. is such that either u 0, v 0, or u v in R n provided p r and r, s n/ n 2 see also Montaru, Sirakov, and Souplet [39] for extensions of this result and Guo and Liu [2] and Li and Ma [32] for previous results in case p + r = n + 2 / n 2. In case u v, we are then left with the equation u = u p+r in R n. In particular, we can then apply Gidas and Spruck s nonexistence result [6] in case p + r < n + 2 / n 2 and Caffarelli, Gidas and Spruck s classification result [5] in case p + r = n + 2 / n 2 see also Chen and Li [6] for an easier proof and Gidas, Ni, Nirenberg [5] and Obata [40] for previous results.

FINITE ENERGY SOLUTIONS TO ELLIPTIC SYSTEMS IN R n 3 In the general case where r and s can be nonzero and p + r can be different to q + s, nonexistence results of positive solutions of. have been obtained under various subcritical-type conditions see for instance Bidaut-Véron and Giacomini [], Bidaut-Véron and Pohozaev [2], Chen and Lu [9], Clément, Fleckinger, Mitidieri, and de Thélin [0], Mitidieri [38], Quittner [43], Reichel and Zou [45], and Zheng [58]. Existence of radially symmetric solutions has also been established under various supercritical-type conditions see for instance Bidaut-Véron and Giacomini [] and Li and Villavert [33, 34]. However the optimal conditions for existence of positive solutions of. are not yet known even for radially symmetric solutions. Note that in contrast with the case of a single equation see Caffarelli, Gidas and Spruck [5] and Chen and Li [6], the system. is not invariant under the Kelvin transform in the critical case.6 and the moving plane method does not seem to be directly applicable to the transformed system when p + r > n + 2 / n 2. In Theorem. below, we establish sharp pointwise decay estimates for finite energy solutions positive or not of.. We then use these estimates to obtain symmetry results for positive solutions of. in Theorems.2.4. These latter results extend previous works of Liu and Ma [36, 37] who obtained symmetry results under decay assumptions on the solutions. With regard to the signs of u and v, we assume that u 0 in R n if r = 0 and v 0 in R n if s = 0.7 so that the nonlinearities in. are continuous functions of u and v. Moreover, we assume that u 0 in R n if r < and s <..8 The assumption.8 allows us to use a comparison result between u and v in the sublinear case r, s < see Step 3.2. We obtain the following decay estimates: Theorem.. Assume that.2 and.5 hold true. Let u, v L a R n L b R n be a solution of. such that.7 and.8 hold true. Then u, v C 2 R n and there exists a constant C 0 such that { u x C0 + x n 2 v x C 0 + h x x R n.9 where x n 2 if q + s > n/ n 2 h x := x n 2 ln + x / s if q + s = n/ n 2 x n 2q 2/ s if q + s < n/ n 2..0

4 Moreover, if u, v 0 in R n, then either u v 0 in R n or there exists a constant C > 0 such that { u x C + x n 2 v x C + h x x R n.. Note that by using.2.5, we obtain that if q + s n/ n 2, then s < and q > 2/ n 2 hence the exponents in.0 are well defined and positive. In case of the equation u = u 4/n 2 u i.e. p + r = q + s = n + 2 / n 2 and u v in R n, the estimate.9 was obtained by Jannelli and Solimini [26] see also Vétois [55] and Xiang [57] for different proofs of this result and generalizations to p Laplace equations. When u, v 0 in R n and q + s n/ n 2, we obtain the following symmetry result: Theorem.2. Assume that.2 and.5 hold true. Assume moreover that q + s n/ n 2. Then for any solution u, v L a R n L b R n of. such that u, v 0 in R n, the functions u and v are radially symmetric and decreasing about some point x 0 R n. We point out that in case q+s > n/ n 2, the result of Theorem.2 can be obtained directly by combining Theorem. and results of Liu and Ma [36, 37]. In case q + s < n/ n 2, we obtain the following result: Theorem.3. Assume that.2 and.5 hold true. Assume moreover that q+s < n/ n 2. Let u, v L a R n L b R n be a solution of. such that u, v 0 in R n and where l u := lim sup x and n 2 2 4s C n,q,s := l q ul s v < C n,q,s.2 x n 2 u x and l v := lim inf x x qn 2 2/ s v x if 2q + s n + 2 n 2 n 2 q 2 n n 2 q + s s s 2 if 2q + s < n + 2 n 2 in case s 0, and C n,q,s = in case s = 0 hence.2 is always true in case s = 0. Then the functions u and v are radially symmetric and decreasing about some point x 0 R n. Remark that it follows from Theorem. that we always have l u < and l v > 0 when q +s < n/ n 2. In case u and v are asymptotically equivalent to power functions, namely such that lim x x n 2 u x = l u.3

FINITE ENERGY SOLUTIONS TO ELLIPTIC SYSTEMS IN R n 5 and lim x qn 2 2/ s v x = l v,.4 x we obtain the following result: Theorem.4. Assume that.2 and.5 hold true. Assume moreover that q+s < n/ n 2. Let u, v L a R n L b R n be a solution of. such that u, v 0 in R n and.3 and.4 hold true. Then l q ul s v = n 2 q 2 n n 2 q + s s 2 which is smaller than C n,q,s hence it follows from Theorem.3 that the functions u and v are radially symmetric and decreasing about some point x 0 R n. It is well-known that solutions of Schrödinger equations and systems in R n like. play a fundamental role in the blow-up analysis of solutions of more general equations on arbitrary domains or manifolds. We refer to Struwe [52] as an historic reference on this topic in case of the equation u = u 4/n 2 u. In case of systems, some references on this topic are for instance Druet and Hebey [2], Hebey [23, 24], and Thizy [53]. With regard to the study of finite energy solutions for systems in R n, it is also interesting to mention the recent works of Gladiali, Grossi, and Troestler [8] and Guo, Li, and Wei [22] where existence of nonradial finite energy solutions is obtained for a class of systems with sums of power nonlinearities. The proof of Theorem. is in two parts. First in Section, we obtain regularity and integrability results in weak Lebesgue spaces. Then in Section 2, we use the results of Section to obtain sharp pointwise estimates. The proof of Theorem. also relies on two preliminary steps which are on the one hand, a preliminary pointwise estimate that we obtain by using blow-up arguments and a doubling property see Poláčik, Quittner, and Souplet [42] and on the other, a generalization of comparison results obtained by Quittner and Souplet [44] in case p + r = q + s and Souplet [50] in case r = s = 0 see also Fazly and Wei [3] for a refined inequality in the same spirit in case r = s = 0 and q =. We prove Theorems.2.4 in Section 3. The proof of Theorems.2 and.3 is based on the moving plane method. As in the papers of Liu and Ma [36, 37] see also Chen and Li [6, 7], we apply the moving plane method to auxiliary functions with lower decay rates at infinity than the functions u and v. We manage to extend the proof of Liu and Ma [36, 37] in case q + s n/ n 2 by allowing our two auxiliary functions to have different decay rates at infinity. Acknowledgments. This work was supported by a Discovery Grant from the Natural Sciences and Engineering Research Council of Canada. The author is very grateful to Mostafa Fazly for fruitful discussions and several references on systems of type.. The author is also very grateful to Pavol Quittner and Frederic Robert for helpful comments on earlier versions of this paper.

6 2. Regularity and integrability results For any Lebesgue measurable set Ω R n and any σ 0, and τ 0, ], we let L σ,τ Ω be the Lorentz space defined as the set of all measurable functions f : Ω R such that f L σ,τ Ω <, where /τ σ /τ h τ meas { f > h} dh τ/σ if τ < f L σ,τ Ω := 0 h σ meas { f > h} /σ if τ = sup h>0 with meas { f > h} standing for the Lebesgue measure of the set {x Ω : f x > h}. We refer to the book of Grafakos [9, Chapter ] for a general presentation of Lorentz spaces. In Lemmas 2., 2.2, and 2.3 below, we recall the generalizations of Hölder s and Young s inequalities for Lorentz spaces. These results are due to O Neil [4]. Lemma 2.. Hölder s inequality Let Ω be a Lebesgue measurable subset of R n and σ, σ, σ 2 0, and τ, τ, τ 2 0, ] be such that σ + σ 2 = σ and τ + τ 2 τ 2. with the convention that / = 0. Then for any f L σ,τ Ω and f 2 L σ 2,τ 2 Ω, we have f f 2 L σ,τ Ω and f f 2 L σ,τ Ω C f L σ,τ Ω f 2 L σ 2,τ 2 Ω for some constant C independent of Ω, f, and f 2. Lemma 2.2. Young s inequality Let σ, σ, σ 2,, and τ, τ, τ 2 0, ] be such that + = σ σ 2 σ + and + τ τ 2 τ 2.2 with the convention that / = 0. Then for any f L σ,τ R n and f 2 L σ 2,τ 2 R n, we have f f 2 L σ,τ R n and f f 2 L σ,τ R n C f L σ,τ R n f 2 L σ 2,τ 2 R n for some constant C independent of Ω, f, and f 2. Lemma 2.3. A limit case in Young s inequality For any σ,, f L R n, and f 2 L σ, R n, we have f f 2 L σ, R n and f f 2 L σ, R n C f L R n f 2 L σ, R n for some constant C independent of f and f 2. The main result of this section is the following:

FINITE ENERGY SOLUTIONS TO ELLIPTIC SYSTEMS IN R n 7 Lemma 2.4. Assume that.2 and.5 hold true. Then for any solution u, v L a R n L b R n of. such that.7 holds true, we have u, v C 2 R n L R n, u L n/n 2, R n, and { L n/n 2, R n if q + s > n/ n 2 v 2.3 L n s/n 2q 2, R n if q + s < n/ n 2. In case q+s = n/ n 2, we have v L σ, R n for all σ > n/ n 2 and v L σ, R n Λ 0 n 2 σ n / s + 2.4 for some constant Λ 0 independent of σ. Proof of Lemma 2.4. For this proof we borrow some ideas from Jannelli and Solimini [26]. We fix a solution u, v L a R n L b R n of.. We let Γ be the fundamental solution defined as Γ x := n 2 ω n x 2 n x R n \ {0} where ω n is the volume of the unit n dimensional sphere. As a first step, we prove the following result: Step 2.5. u Γ v p u r u and v Γ u q v s v in R n. Proof of Step 2.5. Since Γ L n/n 2, R n, u L a R n, and v L b R n, by applying Lemma 2.2 and using.3 and.5, we obtain ũ := Γ v p u r u L a R n and ṽ := Γ u q v s v L b R n. Since moreover the equations ũ = v p u r u and ṽ = u q v s v are satisfied in the distributional sense, we obtain that the functions u ũ and v ṽ are harmonic in R n. It follows from Greene and Wu s Liouville-type result for harmonic functions in L p spaces [20] that u ũ and v ṽ in R n. This ends the proof of Step 2.5. Then we prove the following result: Step 2.6. There exists ε > 0 such that for any σ n/ n 2, a + ε, we have u L σ R n. Proof of Step 2.6. We fix ε > 0 and σ n/ n 2, a + ε. We assume by contradiction that u L σ R n. Integration theory yields that there exists a sequence ϕ α α N in Cc R n such that lim α uϕ α dx = R n and ϕ α L σ R n α N 2.5 where σ := σ/ σ. Moreover, since u L a R n, we can choose ϕ α so that 2 uϕ α dx S α := sup R n u K α uϕdx R n 2.6 where K α := { ϕ L σ R n L a R n ; ϕ L σ R n ϕ α L σ R n } and ϕ L a R n ϕ α L a R n.

8 On the other hand, since u, v L a R n L b R n, b a, and p, by applying Hölder s inequality and using.3, we obtain v p 2 v u r u L µ R n where µ := a b + 2 n. It follows that there exist sequences f β β N in Cc L µ R n such that R n and g β β N in lim g β β L µ R n = 0 and v p 2 v u r u = f β + g β β N. 2.7 It follows from 2.7 and Step 2.5 that uϕ α dx = Γ f β v ϕ α dx + Γ g β v ϕ α dx. 2.8 R n R n R n Since σ > n/ n 2, by applying Lemmas 2. and 2.2 and using 2.5, we obtain Γ f β v ϕ α dx R n = O Γ L n/n 2, R n f βv L nσ/n+2σ,σ R n ϕ α L σ R n = O f β v L nσ/n+2σ,σ R n. 2.9 With regard to the second integral in the right-hand side of 2.8, by applying Fubini s theorem and Step 2.5, we obtain Γ g β v ϕ α dx = g β v Γ ϕ α dx R n R n = g β Γ u q v s v Γ ϕ α dx R n = Γ g β Γ ϕ α u q v s vdx. 2.0 R n Since σ > n/ n 2, by applying Lemma 2.2, we obtain Γ ϕ α L nσ/n 2σ n,σ R n = O Γ L n/n 2, R n ϕ α L σ R n = O ϕ α L σ R n. 2. By letting ε be small enough so that a b < a + ε, applying Lemmas 2. and 2.2, and using 2.7 and 2., we obtain that if σ n/ n 2, a + ε, then Γ g β Γ ϕ α L ν,σ R n = O Γ L n/n 2, R n g β L µ, R n Γ ϕ α L nσ/n 2σ n,σ R n = o ϕ α L σ R n 2.2 as β where ν := n 2 + n a b σ.

FINITE ENERGY SOLUTIONS TO ELLIPTIC SYSTEMS IN R n 9 Since q, it follows from.3, 2.2, and another application of Lemma 2. that Γ gβ Γ ϕ α u q 2 u v s v L σ R n = O Γ g β Γ ϕ α L ν,σ R n u q L a, R n v s L b, R n = o ϕ α L σ R n 2.3 as β. Similarly as in 2. 2.3, we obtain Γ gβ Γ ϕ α u q 2 u v s v = o L a ϕ R n α L a R n 2.4 as β. It follows from 2.6, 2.0, 2.3, and 2.4 that Γ g β v ϕ α dx = o uϕ α dx 2.5 R n R n as β. Now by putting together 2.8, 2.9, and 2.5, we obtain uϕ α dx = O f β v L nσ/n+2σ,σ R n 2.6 R n for large β. Since f β Cc R n and v L b R n, we obtain a contradiction between 2.5 and 2.6 provided b > nσ/ n + 2σ. Moreover, the latter inequality holds true when σ < a + ε for small ε > 0 as a consequence of b a. This ends the proof of Step 2.6. Then we prove the following result: Step 2.7. u L n/n 2, R n. Proof of Step 2.7. We let f β β N and g β β N be as in 2.7. It follows from Step 2.5 that u Γ f β v + Γ g β Γ u q v s v in R n. 2.7 For any σ n/ n 2, a, by applying Lemmas 2. and 2.2 and Step 2.6 and using.5, we obtain Γ u q v s v L ω, R n = O Γ L n/n 2, R n u q L a, R n v s L b, R n u L σ, R n = O 2.8 and then Γ g β Γ u q v s v L σ, R n = O Γ L n/n 2, R n g β L µ, R n Γ u q v s v L ω, R n = o 2.9 as β where ω := σ + b a. It follows from 2.7 2.9 that u L σ, R n 2 Γ f βv L σ, R n 2.20

0 for large β. By passing to the limit into 2.20 as σ n/ n 2, we obtain u L n/n 2, R n 2 Γ f βv L n/n 2, R n. 2.2 Since Γ L n/n 2, R n, f β Cc R n, and v L loc Rn, by applying Lemma 2.3, we obtain Γ f β v L n/n 2, R n. Hence it follows from 2.2 that u L n/n 2, R n. This ends the proof of Step 2.7. Our next step is as follows: Step 2.8. Let σ, σ 0, be such that u L σ, R n and v L σ, R n. Then the following results hold true: i If ii If then where then 2 n < p + <, 2.22 σ r σ u L σ, R n C v p L σ, R n u r L σ, R n 2.23 σ := p σ + r σ 2 n. 2 n < q σ + s σ <, 2.24 v L σ, R n C u q L σ, R n v s L σ, R n 2.25 where σ = q σ + s σ 2 n. Moreover, the constants C in 2.23 and 2.25 are such that nσ C C n = n + 2σ for some constant C n depending only on n. C n nσ n 2 σ n 2.26 Proof of Step 2.8. Since Γ L n/n 2, R n, the estimates 2.23 and 2.25 follow from Step 2.5 by applying Lemmas 2. and 2.2. To obtain the estimate 2.26, we remark that f L σ, R n sup E /σ f dx σ f L σ, R n 2.27 0< E < E for all f L σ, R n and σ, see for instance Grafakos [9, Exercises..2]. It follows from 2.27 and the standard Young s inequality in L R n that f f 2 L σ, R n σ σ 2 f L σ, R n f 2 L σ 2, R n 2.28

FINITE ENERGY SOLUTIONS TO ELLIPTIC SYSTEMS IN R n for all f L σ, R n, f 2 L σ 2, R n, and σ, σ, σ 2, such that 2.2 holds true. Moreover, we have f f 2 L σ, R n σ/σ σ /σ 2 2 f σ /σ L σ, R n f 2 L σ 2, R n 2.29 for all f L σ, R n, f 2 L σ2, R n, and σ, σ, σ 2 0, such that 2. holds true see for instance Grafakos [9, Exercise..5]. The estimate 2.26 then follows from 2.28 and 2.29. Then we prove the following result: Step 2.9. u, v C 2 R n L R n. Proof of Step 2.9. It follows from Step 2.6 that u L a+ε R n for small ɛ > 0. We let σ α α N and σ α α N be the sequences defined by σ 0 := a + ε, σ 0 := b, and q := max + s σ α+ σ α σ α+ := max 2 σ α n, 0 p σ α+ + r σ α 2 n, 0 α N with the convention that / = 0. By using.2 and.3, one can see that σ α, σ α as α. Moreover, by applying Step 2.8 together with an induction argument, we obtain that u, v L σ, R n L σ, R n for all σ [a, σ α and σ [b, σ α. Hence we obtain that u, v L σ R n for large σ > 0. By applying Step 2.5, Calderon Zygmund s inequality, and an interpolation inequality see Gilbarg Trudinger [7, Theorems 7.28 and 9.9], it follows that u, v W 2,σ R n for large σ > 0. Finally, by applying Sobolev s inequalities and standard elliptic regularity theory, we obtain u, v L R n C 2 R n. Now we can prove the following result: Step 2.0. 2.3 and 2.4 hold true. Proof of Step 2.0. We separate the following cases: q+s < n/ n 2, q + s = n/ n 2, [q + s > n/ n 2, q < n/ n 2, and s ], [q < n/ n 2 and s > ], and [q n/ n 2 and s 0]. Case q + s < n/ n 2. In this case, we fix σ := n/ n 2 so that 2.24 holds true for all σ such that ns σ > n n 2 q. 2.30 We let σ α α N be the sequence defined by σ 0 := b and := s n 2 q 2 + σ α+ σ α n Since q + s < n/ n 2, we obtain n s σ α n 2 q 2 > max ns n n 2 q, α N. n n 2 2.3

2 as α. It follows from 2.3 that 2.30 holds true with σ = σ α for all α N. By applying Step 2.8, we then obtain v L σα, R n C n nσ α n 2 σ α n u q L n/n 2, R n v s L σ α, R n 2.32 for all α. It follows from 2.3 and Step 2.7 that C n nσ α n 2 σ α n u q L n/n 2, R n C 2.33 for some constant C independent of α. It follows from 2.32 and 2.33 that v L σα, R n C+s+ +sα v sα L b, R n. 2.34 By passing to the limit into 2.32 as α, we obtain v L n s/n 2q 2, R n C/ s, namely 2.3 holds true in case q + s < n/ n 2. Case q + s = n/ n 2. In this case, we let σ and σ α α N be as in the previous case but instead of 2.3, we obtain σ α n s n 2 q 2 = ns n n 2 q = as α. Moreover, one can check that n n 2 2.35 n n 2 b n s α n 2 σ α n = n 2 b n 2 b n s α n n 2 b n s α 2.36 n 2 b as α. It follows from 2.35, 2.36, and Step 2.7 that C n nσ α u q L n/n 2, R n n 2 σ α n Cs α 2.37 for some constant C independent of α. It follows from 2.32 and 2.37 that v L σα, R n C+s+ +sα s α α s sα v sα L b, R n C / s s s sα/ s2 C n 2 σ α n / s 2.38 for some constant C independent of α. The estimate 2.4 then follows from 2.38 by an easy interpolation argument. Case q + s > n/ n 2, q < n/ n 2, and s. In this case, we choose σ so that nq q < σ < n n 2 s. 2.39 It follows from 2.39 that s σ σ q < ns n n 2 q 2.40

FINITE ENERGY SOLUTIONS TO ELLIPTIC SYSTEMS IN R n 3 and 2.24 holds true for all σ such that σ > s σ σ q. 2.4 Moreover, u L σ, R n as a consequence of 2.39 and Steps 2.7 and 2.9. We let σ α α N be the sequence defined by := s + q σ σ α+ σ 2 α n α N with σ 0 chosen large enough so that v L σ 0, R n. It follows from the second inequality in 2.39 that σ α n σ s nq 2 σ < n n 2 2.42 as α. Moreover, it follows from 2.40 that we can choose σ 0 so that s σ σ q < σ ns α 0 < 2.43 n n 2 q for some α 0. It follows from 2.42 and 2.43 that 2.4 holds true with σ = σ α for all α {0,..., α 0 }. By applying Step 2.8, we then obtain v L σα, R n = O u q L σ, R n v s L σ α, R n 2.44 for all α {,..., α 0 }. It follows from 2.44 that v L σα 0, R n = O u q+s+ +sα 0 L σ, R n v sα 0 L σ 0, R n = O. 2.45 It follows from 2.43 that we can choose σ 0 so that ns σ α0 < σ 0 < n n 2 q 2.46 By using 2.45, the first inequality in 2.46, and Step 2.9, we obtain v L σ 0 R n. Moreover, by using the second inequality in 2.46, we obtain σ 0 := qσ 0 σ 0 s > n n 2. 2.47 It follows from 2.47 and Steps 2.7 and 2.9 that u L σ 0 R n. By applying Lemmas 2. and 2.3 and Step 2.5, we then obtain v L n/n 2, R n = O Γ L n/n 2, R n u q L σ 0 R n v s L σ 0 R n = O, namely 2.3 holds true in case q + s > n/ n 2, q < n/ n 2, and s. Case q < n/ n 2 and s >. Note that by using.2.5, we obtain that s > implies that q + s > n/ n 2. In this case, we choose σ so that a n 2 < < min σ n, a + n 2 nq, n 2 q + s n + a nsq. 2.48

4 By using 2.48 and Step 2.7 and since u L a R n, we obtain u L σ, R n. We let σ α α N be the sequence defined by := + s + q σ σ α+ σ α b 2 n α N with σ 0 chosen large enough so that v L σ0, R n. It follows from.3 and 2.48 that σ α 0 as α and that we can choose σ 0 so that n n 2 q < < q ns σ α0 a q σ + n 2 2.49 n for some α 0. It follows from.3, 2.48, and 2.49 that 2.24 holds true with σ = sbσ α / s σ α + b for all α {0,..., α 0 }. By applying Step 2.8 and Lemma 2., we then obtain v L σα, R n = O u q L σ, R n v s L sbσ α /s σ α +b, R n = O u q L σ, R n v s L b, R n v L σ α, R n for all α {,..., α 0 }. It follows from 2.50 that 2.50 v L σα 0, R n = O u α 0q L σ, R n v α 0s L b, R n v L σ 0, R n = O. We then choose σ 0 and σ 0 as in 2.46 and 2.46 and we conclude in the same way as in the previous case. This ends the proof of Step 2.0 and also Lemma 2.4. Case q n/ n 2 and s 0. In this case, we choose σ 0 large enough so that v L σ 0 R n and we let σ 0 be as in 2.46. We then obtain σ 0 > n/ n 2 hence u L σ 0 R n. We then conclude in the same way as in the previous two cases. 3. Decay estimates In this section we establish the a priori estimates.9 and.. We assume that.2 and.5 hold true. We fix a solution u, v L a R n L b R n of. such that.7 and.8 hold true. First we establish the following preliminary non-sharp estimate: Step 3.. There exists a constant K 0 such that u x a + v x b K 0 + x n x R n. 3. Proof of Step 3.. We assume by contradiction that 3. does not hold true. Since u, v L R n, it follows there exists a sequence of points x α α N in R n such that x α M x α > 2α α N where M x := u x a + v x b /n. By applying a doubling property see Poláčik, Quittner, and Souplet [42, Lemma 5.], we obtain that for any α, there exists a point y α R n such that y α M y α > 2α, M x α M y α, 3.2

FINITE ENERGY SOLUTIONS TO ELLIPTIC SYSTEMS IN R n 5 and M y 2M y α y B y α, α/m y α. 3.3 We define { uα y := M y α n/a u M y α y + y α v α y := M y α n/b v M y α y + y α y R n. By using., we obtain { uα = v α p u α r u α in R n Moreover, it follows from 3.3 that v α = u α q v α s v α in R n. 3.4 u α y a + v α y b 2 n y B 0, α. 3.5 By applying standard elliptic estimates, it follows from 3.4 and 3.5 that the sequences u α α N and v α α N converge up to a subsequence in Cloc 2 Rn to some functions u and v, respectively. On the other hand, by using the definition of u α and v α, we obtain uα a + v α b dx = u a + v b dx. 3.6 B0,R By α,r/my α for all R > 0. Since u, v L a R n L b R n and u, v L R n, it follows from the first inequality in 3.2 that u a + v b dx 0 3.7 By α,r/my α as α. It follows from 3.6 and 3.7 that u v 0 in R n. However by using the definitions of u α and v α, we obtain u α 0 a + v α 0 b = which gives u 0 a + v 0 b =. Thus we obtain a contradiction. This ends the proof of Step 3.. Then we prove the following result: Step 3.2. If p s this holds true in case r < as a consequence of.2 and u 0 in R n, then v x p s+ p s + u xq r+ q r + x R n. 3.8 Proof of Step 3.2. The inequality 3.8 has been obtained by Quittner and Souplet [44] in case p+r = q+s and u, v 0 in R n and Souplet [50] in case r = s = 0 and u, v 0 in R n. Here we adapt the proofs of [44] and [50] to our setting. We assume that p s and u 0 in R n. By applying the strong maximum principle and since u, v L R n, we obtain that either u v 0 or u > 0 in R n. Hence we can assume that u > 0. We define w := v cu θ

6 where θ := q r + p s + and c := θ /p s+. It follows from.2 that 0 < θ. Note that since u > 0 in R n, we obtain v > 0 in W := {w 0} hence w is smooth in W. Moreover, by using. and since 0 < θ and p s, we obtain w = v +cθ θ u θ 2 u 2 cθu θ u cθu θ+r v p u q v s = cθ v s u θ+r v p s c p s u θp s 0 in W. 3.9 For any ε > 0, we define w ε := εh w/ε where H C R is such that H s = 0 for all s, 0 and H s = s for all s,. For any ε, R > 0, by integrating by parts, we obtain B0,R w ε 2 dx = B0,R which gives H w/ε 2 w 2 dx = ε B0,R B0,R w ε w ε ν dσ B0,R B0,R w ε w ε dx H w/ε H w/ε w ν dσ H w/ε εh w/ε w + H w/ε w 2 dx. 3.0 By using 3.9 and passing to the limit into 3.0 as ε 0, we obtain w 2 dx w w B0,R W B0,R W ν dσ = d [ ] 2 Rn w + rz 2 dσ z 3. dr B0, where w + := max w, 0 and dσ is the volume element on B 0, and B 0, R. On the other hand, by applying Step 3., we obtain r=r w x < v x K /b 0 + x n /b x R n. 3.2 It follows from 3.2 that there exists a sequence of positive real numbers R α α N such that R α as α and [ ] d w + rz 2 dσ z < 0. dr B0, r=r α By applying 3. with R = R α and letting α, we obtain that w 0 in W. It follows from 3.2 that w 0 in R n, namely 3.8 holds true. This ends the proof of Step 3.2. Now we can establish our sharp upper bound estimates: Step 3.3. The upper bound estimates.9 hold true. Proof of Step 3.3. We separate the cases s < and s.

FINITE ENERGY SOLUTIONS TO ELLIPTIC SYSTEMS IN R n 7 Case s <. In this case, it follows from.8 that either u 0 in R n or r. We begin with proving the upper bound estimate for u. For any y R n and R, we define It follows from the first equation of. that u R y := R n 2 u Ry. 3.3 u R y = f R y := R 2 v Ry p u Ry r u R y. 3.4 By applying Step 3., together with Step 3.2 in case r <, and using.3, we obtain f R y C y 2 u R y 3.5 for some constant C independent of y and R. Moreover, by applying Kato s inequality [28], we obtain u R u R in R n 3.6 where the inequality must be understood in the weak sense. By applying a weak Harnack-type inequality see Trudinger [54, Theorem.3], it follows from 3.4 3.6 that for any σ >, there exists a constant C σ independent of R such that u R L B0,4\B0,2 C σ u R L σ B0,5\B0,. 3.7 By taking σ, n/ n 2 and applying Lemma 2., we obtain u R L σ B0,5\B0, C σ u R L n/n 2, B0,5\B0, 3.8 for some constant C σ independent of R. We observe that u R L n/n 2, B0,5\B0, = u L n/n 2, B0,5R\B0,R. 3.9 It follows from 3.7 3.9, and Lemma 2.4 that u R L B0,4\B0,2 C 3.20 for some constant C independent of R. By applying 3.20 with R = x /3, we obtain u x C x /3 2 n x R n \B 0, 3. 3.2 Since on the other hand, u is continuous in R n, we can deduce from 3.2 that the upper bound estimate for u in.9 holds true. Now we establish the upper bound estimate for v. For any y R n and R, we define R n 2 v Ry if q + s > n/ n 2 R n 2 v Ry v R y := if q + s = n/ n 2 ln + R / s 3.22 R n 2q 2/ s v Ry if q + s < n/ n 2. It follows from the second equation of. that v R y = g R y := R 2 u Ry q v Ry s v R y. 3.23

8 By using the upper bound estimate for u, we obtain CR n q+sn 2 y qn 2 v R y s if q + s > n/ n 2 g R y C ln + R y qn 2 v R y s if q + s = n/ n 2 C y qn 2 v R y s if q + s < n/ n 2 C y qn 2 v R y + 3.24 for some constants C, C independent of y and R. Moreover, by applying Kato s inequality [28], we obtain v R v R in R n 3.25 where the inequality must be understood in the weak sense. Now we separate two cases. First we consider the case q + s n/ n 2. By applying a weak Harnack-type inequality see Trudinger [54, Corollary.], it follows from 3.23 3.25 that for any σ >, there exists a constant C σ independent of R such that v R L B0,4\B0,2 C σ vr L σ B0,5\B0, +. 3.26 By taking σ, σ 0 where { n/ n 2 if q + s > n/ n 2 σ 0 := n s / n 2 q 2 if q + s < n/ n 2 and applying Lemma 2., we obtain v R L σ B0,5\B0, C σ v R L σ 0, B0,5\B0, 3.27 for some constant C σ independent of R. We observe that v R L σ 0, B0,5\B0, = v L σ 0, B0,5R\B0,R. 3.28 It follows from 3.26 3.28, and Lemma 2.4 that v R L B0,4\B0,2 C 3.29 for some constant C independent of R. By applying 3.29 with R = x /3, we obtain v x C x /3 n/σ 0 x R n \B 0, 3. 3.30 Since on the other hand, v is continuous in R n, we can deduce from 3.30 that the upper bound estimate for v in.9 holds true. We now consider the remaining case q + s = n/ n 2. In this case, we define σ R := n + ln + R n 2 Similarly as in 3.26 3.27, we obtain v R L B0,4\B0,2 C v R L σ R, B0,5\B0, + 3.3.

FINITE ENERGY SOLUTIONS TO ELLIPTIC SYSTEMS IN R n 9 for some constant C independent of R. An easy calculation yields v R L σ R, B0,5\B0, = Rn 2σ R n/σ R ln + R / s v L σ R, B0,5R\B0,R C ln + R / s v L σ R, B0,5R\B0,R 3.32 for some constant C independent of R. Moreover, it follows from Lemma 2.4 that v L σ R, B0,5R\B0,R Λ 0 n 2 σr n / s + = Λ 0 ln + R / s + 3.33 By putting together 3.3 3.33, we obtain that 3.29 also holds true in this case. By proceeding as in 3.30, we then conclude that the upper bound estimate for v in.9 holds true in case s <. Case s. Note that by using.2.5, we obtain that s implies that q + s > n/ n 2. In this case, we begin with proving the upper bound estimate for v. For any R, we let v R and g R be as in 3.22 and 3.23. By applying Step 3. and using.3, we obtain g R y C y 2 v R y 3.34 We deduce the upper bound estimate for v from 3.34 by proceeding as in 3.6 3.2. We then define u R and f R as in 3.3 and 3.4. By using the upper bound estimate for v, together with Step 3. and.5 in case r, we obtain { CR n p+rn 2 y pn 2 u R y + if r < f R y CR pn 2 n/b y 2 pn 2 n/b u R y if r { C y pn 2 u R y + if r < 3.35 C y 2 pn 2 n/b u R y if r for some constants C, C independent of y and R. We then deduce the upper bound estimate for u from 3.35 by proceeding as in 3.25 3.30. This ends the proof of Step 3.3. The last step in the proof of Theorem. is as follows: Step 3.4. Assume that u, v 0 in R n. Then either u v 0 in R n or the lower bound estimates. hold true. Proof of Step 3.4. By applying the strong maximum principle and since u, v L R n, we obtain that either u v 0 or u, v > 0 in R n. We assume that we are in the latter case. By using Step 2.5, we obtain u x Γ x y v y p u y r dy C + x n 2 x R n B0, for some constant C independent of x, and thus we obtain that the lower bound estimate for u in. holds true. Now we establish the

20 lower bound estimate for v. By using Step 2.5 and the lower bound estimate for u, we obtain R n x y 2 n + y n 2 q v y s dy Cv x x R n 3.36 for some constant C independent of x. We define and A 0 := inf v x, A k := inf v x k N\ {0}, x < 2 k < x <2 k I 0,k := x y 2 n dy k N\ {0}, I j,k := inf 2 k < x <2 k B0, inf x y 2 n dy j, k N\ {0}. 2 k < x <2 k B0,2 j \B0,2 j It follows from 3.36 that 2 jqn 2 A s ji j,k CA k. 3.37 j=0 for some constant C independent of j and k. An easy calculation gives I j,k c2 nj n 2k j {0,..., k} 3.38 for some constant c > 0 independent of k. It follows from 3.37 and 3.38 that c2 kn 2 if q + s > n/ n 2 A k c2 kn 2 k / s if q + s = n/ n 2 3.39 c2 kn 2q 2/ s if q + s < n/ n 2 for some constant c > 0 independent of k. It follows from 3.39 that the lower bound estimate for v in. holds true. This ends the proof of Step 3.4 and also Theorem.. 4. Symmetry results This section is devoted to the proofs of Theorems.2.4. We assume that.2 and.5 hold true. We fix a solution u, v L a R n L b R n of.. By applying the strong maximum principle and since u, v L R n, we obtain that either u v 0 or u, v > 0 in R n. We assume that we are in the latter case. In case q + s < n/ n 2, we assume moreover that.2 holds true. This proof relies on the moving plane method and follows in great part the lines of Liu and Ma [36] but with the key difference in case q + s < n/ n 2 that we consider different powers in the definitions of U λ and V λ below. For any λ > 0, we define and Σ λ := {x = x, x R n : x < λ} U λ x := u λ x u x and V λ x := v λ x v x

FINITE ENERGY SOLUTIONS TO ELLIPTIC SYSTEMS IN R n 2 where u λ x := u x λ, v λ x := v x λ, and x λ := 2λ x, x. By using. and applying the mean value theorem, we obtain and U λ = rv p ξ r u,u U λ + pξ p u,v u r λv λ in R n 4. V λ = su q ξ s v,v V λ + qξ q v,u v s λu λ in R n 4.2 for some functions ξ u,u, ξ u,v, ξ v,u, ξ v,v : R n R such that and min u, u λ ξ u,u, ξ v,u max u, u λ 4.3 min v, v λ ξ u,v, ξ v,v max v, v λ. 4.4 We define θ u = θ v := n 2 2 θ u = θ v + ε := n 2 2 n n 2 q + s θ u := θ v + + ε s n 2 n 2 q 2 θ v := min, 2ε 2 s if q + s > n/ n 2 if q + s = n/ n 2 if q + s < n/ n 2 where ε is a small positive parameter to be fixed later on. One can easily see that if ε is chosen small enough, then 0 < θ u < n 2 4.5 and n 2 if q + s n/ n 2 0 < θ v < n 2 q 2 s if q + s < n/ n 2. We then define 4.6 U λ x := + x 2 θ u/2 Uλ x and V λ x := + x 2 θ v/2 Vλ x. It follows from 4.5, 4.6, and Theorem. that lim U λ x = 0 and lim V λ x = 0. 4.7 x x Moreover, it follows from 4. and 4.2 that U λ + 2θ u θ u n + n 2 θu x 2 x, U + x 2 λ + + x 2 2 U λ = rv p ξ r u,u U λ + pξ p u,v u r λ + x 2 θ u θ v/2 V λ in R n 4.8

22 and V λ + 2θ v θ v n + n 2 θv x 2 x, V + x 2 λ + + x 2 2 V λ = su q ξ s v,v V λ + qξ q v,u v s λ + x 2 θ v θ u/2 U λ in R n. 4.9 As a first step, we prove the following result: Step 4.. Let ε be the positive constant in the definition of θ u and θ v. There exists δ 0, ε 0 > 0 such that if ε 0, ε 0, then for any δ 0, δ 0 and λ R, there exists R δ,ε,λ > 0 such that pv x p u x r < θ u n + n 2 θu x 2 2 + x 2 2+θ u θ v/2, 4.0 rv x p u x r < θ u n + n 2 θu x 2 2 + x 2 2 if r, 4. rv x p u µ x r < θ u n + n 2 θu x 2 2 + x 2 2 if r <, 4.2 qu x q v x s < δθ v n + n 2 θv x 2 + x 2 2+θ v θ u/2, 4.3 su x q v x s < δ θ v su x q v µ x s < δ θ v n + n 2 θv x 2 + x 2 2 if s, 4.4 n + n 2 θv x 2 + x 2 2 if s < 4.5 for all µ λ and x Σ µ \B 0, R δ,ε,λ. Proof of Step 4.. By using.2.5 and Theorem., we obtain v x p u x r O x n 2p+r if q + s > n/ n 2 = O x n 2p+r ln + x p / s if q + s = n/ n 2 O x n 2qp +r s 2p / s if q + s < n/ n 2 = o x 2+θv θu 4.6 as x provided ε is small enough so that { n 2 p + r n if q + s = n/ n 2 ε < 2 n 2 a n p s + / n s if q + s < n/ n 2.

FINITE ENERGY SOLUTIONS TO ELLIPTIC SYSTEMS IN R n 23 Moreover, by using.2.5 and Theorem., we obtain v x p u x r O x n 2p+r if q + s > n/ n 2 = O x n 2p+r ln + x r / s if q + s = n/ n 2 O x n 2pq r s 2p/ s if q + s < n/ n 2 = o x 2, 4.7 O x n 2q+s if q + s > n/ n 2 u x q v x s = O x 2 ln + x s/ s if q + s = n/ n 2 O x n 2q+s 2s/ s if q + s < n/ n 2 = o x 2+θu θv, 4.8 and O x n 2q+s if q + s > n/ n 2 u x q v x s = O x 2 ln + x if q + s = n/ n 2 O x 2 if q + s < n/ n 2 = o x 2 if q + s n/ n 2 4.9 as x. Note that by using.2.5, we obtain that s implies that q + s > n/ n 2. The estimates 4.0, 4., 4.3, and 4.4 then follow from 4.6 4.9. Now we prove the remaining estimates 4.2 and 4.4. By applying Young s inequality, we obtain that for any δ > 0, there exists C δ > 0 such that x µ 2 = x 2 + 4µ µ x + δ x 2 + C δ λ 2. 4.20 for all µ λ and x Σ µ. The estimate 4.2 then follows from 4.7, 4.20, and Theorem.. In case q +s n/ n 2, the estimate 4.4 follows from 4.9, 4.20, and Theorem.. In case q+s < n/ n 2, the estimate 4.4 follows from.2 and 4.20 provided δ and ε are small enough. This ends the proof of Step 4.. Remark that in order to have 4.5 in case q + s < n/ n 2 and s 0, it is necessary to make a decay assumption such as.2. Moreover, the best constant in.2 with this approach is given by maximizing θ v n 2 θ v /s with ε = 0 under the constraint 4.6 which gives the constant C n,q,s defined in Theorem.3. Then we prove the following result: Step 4.2. Assume that ε 0, ε 0 and let δ 0, δ 0 where δ 0 and ε 0 are as in Step 4.. Then U λ 0 and V λ 0 in Σ λ for all λ R δ,ε,0 where R δ,ε,0 is as in Step 4.. Proof of Step 4.2. We assume by contradiction that there exists λ R δ,ε,0 and y 0 Σ λ such that either U λ y 0 < 0 or V λ y 0 < 0. Since the proof is similar in cases U λ y 0 < 0 and V λ y 0 < 0, we will assume

24 that U λ y 0 < 0. In this case, by using 4.7 and since U λ 0 on Σ λ, we obtain that there exists y Σ λ such that U λ y := min { U λ y : y Σ λ } < 0. 4.2 It follows from 4.8 and 4.2 that pξ u,v y p u λ y r + y 2 θ u θ v/2 V λ y θu n + n 2 θu y 2 + y 2 2 rv y p ξ u,u y U r y. 4.22 Since y = y > λ R δ,ε,0 and U λ y < 0, it follows from 4.3, 4., and 4.2 that rv y p ξ u,u y r < θ u n + n 2 θu y 2 2 + y 2 2. 4.23 By using 4.4, 4.2, 4.22, and 4.23 and since p and r 0, we obtain pv y p u y r + y 2 θ u θ v/2 V λ y < θ u n + n 2 θu y 2 2 + y 2 2 U λ y < 0. 4.24 By using 4.7 and since V λ 0 on Σ λ, it follows that there exists y 2 Σ λ such that V λ y 2 := min { V λ y : y Σ λ } < 0. 4.25 By repeating the above arguments and using 4.3, 4.4, 4.9, 4.4, and 4.5, we obtain qu y 2 q v y 2 s + y 2 2 θ v θ u/2 U λ y 2 < δθ v n + n 2 θv y 2 2 + y2 2 2 V λ y 2 < 0. 4.26 It follows from 4.2, 4.25, and 4.26 that qu y 2 q v y 2 s + y 2 2 θ v θ u/2 U λ y < δθ v n + n 2 θv y 2 2 + y2 2 2 V λ y < 0. 4.27 It follows from 4.24 and 4.27 that pv y p u y r qu y 2 q v y 2 s > θ u n + n 2 θu y 2 2 + y 2 2+θ u θ v/2 δθ v n + n 2 θv y 2 2 + y2 2 2+θ v θ u/2. 4.28 We obtain a contradiction by putting together 4.0, 4.3, and 4.28. This ends the proof of Step 4..

We define FINITE ENERGY SOLUTIONS TO ELLIPTIC SYSTEMS IN R n 25 λ 0 := sup {λ R : µ λ, U µ 0 and V µ 0 in Σ µ }. 4.29 It follows from Step 4.2 that if ε 0, ε 0, then λ 0 >. On the other hand, it follows from Theorem. that U λ 0 < 0 for large λ > 0 hence we obtain λ 0 < +. The last step in the proof of Theorems.2 and.3 is as follows: Step 4.3. Assume that ε 0, ε 0 where ε 0 is as in Step 4.. Let λ 0 be as in 4.29. Then U λ0 0 and V λ0 0 in Σ λ0. Proof of Step 4.3. It follows from the definition of λ 0 and the continuity of U µ and V µ with respect to µ that U λ0 0 and V λ0 0 in Σ λ0. By using 4. and 4.2 and applying the strong maximum principle, we then obtain that either U λ0 V λ0 0 or U λ0, V λ0 > 0 in Σ λ0. We assume by contradiction that U λ0, V λ0 > 0 in Σ λ0. By definition of λ 0, we obtain that there exists a sequence of real numbers µ α α N such that µ α λ 0 as α and either inf {U µα y : y Σ µα } < 0 or inf {V µα y : y Σ µα } < 0 4.30 for all α. Since the proof is similar in both cases, we will assume that the first inequality in 4.30 holds true. By using 4.7 and since U λ 0 on Σ λ, we then obtain that there exists y α Σ µα such that U µα y α = min { U µα y : y Σ µα } < 0. 4.3 By extracting a subsequence, we can assume that either y α > R δ,ε,µ0 or y α R δ,ε,µ0 for all α where δ 0, δ 0 is fixed and δ 0 and R δ,ε,µ0 are as in Step 4.. In case y α R δ,ε,µ0, since y α Σ µα and µ α λ 0 as α, we obtain that up to a subsequence y α y Σ λ0 as α. By passing to the limit into 4.3 and since U λ0 > 0 in Σ λ0, we obtain U λ0 y = min { U λ0 y : y Σ λ0 } = 0 and U λ0 y = 0. 4.32 It follows from 4.32 and the definition of U λ0 that U λ0 y = min { U λ0 y : y Σ λ0 } = 0 and Uλ0 y = 0. 4.33 Since U λ0 is a solution of 4. and U λ0, V λ0 > 0 in Σ λ0, we obtain a contradiction between 4.32 and Hopf s Lemma. Now we consider the case y α > R δ,ε,µ0. Since µ α < µ 0, by proceeding as in 4.22 4.25, we obtain that there exists z α Σ µα such that V µα z α = min { V µα y : y Σ µα } < 0. In case z α > R δ,ε,µ0, we obtain a contradiction by repeating the arguments in 4.26 4.28. In case z α R δ,ε,µ0, we also obtain a contradiction by proceeding as in case y α R δ,ε,µ0. This ends the proof of Step 4.3. End of proof of Theorems.2 and.3. Since we can apply the moving plane method in any direction, it follows from Step 4.3 that u and v

26 are radially symmetric and decreasing about some point x 0 R n. This ends the proof of Theorem.2 and.3. Finally we prove Theorem.4. Proof of Theorem.4. We assume that q + s < n/ n 2 and.3 and.4 hold true. By applying Step 2.5, we obtain where and v x = Γ u q v s x = I x + I 2 x 4.34 I x := Γ x y u y q v y s dy B 0, x I 2 x := Γ x y u y q v y s dy. R n \B 0, x By using.3 and.4, we obtain I x = o x y 2 n y 2s qn 2/ s dy B0, x = o x 2 qn 2/ s = o v x 4.35 as x. It follows from.3,.4,4.34, and 4.35 that l q = lim ul s Γ x y x qn 2 2/ s dy v x R n qn 2 2s/ s \B 0, x y x = lim Γ x R n \B 0,/ x x y y 2s qn 2/ s dy = Γ ω y y 2s qn 2/ s dy 4.36 R n where ω is an arbitrary point on B 0,. By observing that the function ϕ : R n \ {0} R defined as ϕ x = s 2 x 2 qn 2/ s n 2 q 2 n n 2 q + s is a distributional solution of the equation ϕ = x 2s qn 2/ s and ϕ x 0 as x, we obtain R n Γ ω y y 2s qn 2/ s dy = ϕ ω = in R n s 2 n 2 q 2 n n 2 q + s. 4.37 It follows from.3,.4,4.36, and 4.37 that l q ul s v = n 2 q 2 n n 2 q + s s 2.

FINITE ENERGY SOLUTIONS TO ELLIPTIC SYSTEMS IN R n 27 This ends the proof of Theorem.4. References [] M.-F. Bidaut-Veron and H. Giacomini, A new dynamical approach of Emden- Fowler equations and systems, Adv. Differential Equations 5 200, no. - 2, 033 082. [2] M.-F. Bidaut-Véron and S. Pohozaev, Nonexistence results and estimates for some nonlinear elliptic problems, J. Anal. Math. 84 200, 49. [3] J. P. Burke, J. L. Bohn, B. D. Esry, and C. H. Greene, Hartree-Fock theory for double condensates, Phys. Rev. Lett. 78 997, no. 9, 3594 3597. [4] J. Busca and R. Manásevich, A Liouville-type theorem for Lane-Emden systems, Indiana Univ. Math. J. 5 2002, no., 37 5. [5] L. A. Caffarelli, B. Gidas, and J. Spruck, Asymptotic symmetry and local behavior of semilinear elliptic equations with critical Sobolev growth, Comm. Pure Appl. Math. 42 989, no. 3, 27 297. [6] W. Chen and C. Li, Classification of solutions of some nonlinear elliptic equations, Duke Math. J. 63 99, no. 3, 65 622. [7], An integral system and the Lane-Emden conjecture, Discrete Contin. Dyn. Syst. 24 2009, no. 4, 67 84. [8] W. Chen, C. Li, and B. Ou, Classification of solutions for a system of integral equations, Comm. Partial Differential Equations 30 2005, no. -3, 59 65. [9] S. Chen and G. Lu, Existence and nonexistence of positive radial solutions for a class of semilinear elliptic system, Nonlinear Anal. 38 999, no. 7, 99 932. [0] P. Clément, J. Fleckinger, E. Mitidieri, and F. de Thélin, Existence of positive solutions for a nonvariational quasilinear elliptic system, J. Differential Equations 66 2000, no. 2, 455 477. [] D. G. de Figueiredo and P. L. Felmer, A Liouville-type theorem for elliptic systems, Ann. Scuola Norm. Sup. Pisa Cl. Sci. 4 2 994, no. 3, 387 397. [2] O. Druet and E. Hebey, Stability for strongly coupled critical elliptic systems in a fully inhomogeneous medium, Anal. PDE 2 2009, no. 3, 305 359. [3] M. Fazly, J. C. Wei, and X. Xu, A pointwise inequality for the fourth-order Lane-Emden equation, Anal. PDE 8 205, no. 7, 54 563. [4] D. J. Frantzeskakis, Dark solitons in atomic Bose-Einstein condensates: From theory to experiments, J. Phys. A 43 200, no. 2300. [5] B. Gidas, W. Ni, and L. Nirenberg, Symmetry of positive solutions of nonlinear elliptic equations in R n, Mathematical analysis and applications, Part A, Adv. in Math. Suppl. Stud., vol. 7, Academic Press, New York London, 98, pp. 369 402. [6] B. Gidas and J. Spruck, Global and local behavior of positive solutions of nonlinear elliptic equations, Comm. Pure Appl. Math. 34 98, no. 4, 525 598. [7] D. Gilbarg and N. S. Trudinger, Elliptic partial differential equations of second order, 2nd ed., Grundlehren der Mathematischen Wissenschaften, vol. 224, Springer-Verlag, Berlin, 983. [8] F. Gladiali, M. Grossi, and C. Troest, Entire radial and nonradial solutions for systems with critical growth, 206. Preprint on arxiv:62.0350. [9] L. Grafakos, Classical Fourier Analysis, 2nd ed., Graduate Texts in Mathematics, vol. 249, Springer, New York, 2008. [20] R. E. Greene and H. Wu, Integrals of subharmonic functions on manifolds of nonnegative curvature, Invent. Math. 27 974, 265 298. [2] Y. Guo and J. Liu, Liouville type theorems for positive solutions of elliptic system in R N, Comm. Partial Differential Equations 33 2008, no. -3, 263 284.

28 [22] Y. Guo, B. Li, and J. C. Wei, Entire nonradial solutions for non-cooperative coupled elliptic system with critical exponents in R 3, J. Differential Equations 256 204, no. 0, 3463 3495. [23] E. Hebey, Critical elliptic systems in potential form, Adv. Differential Equations 2006, no. 5, 5 600. [24], Diagonal compactness for critical elliptic systems in potential form, Comm. Partial Differential Equations 32 2007, no. 0-2, 837 88. [25] J. Hulshof and R. van der Vorst, Asymptotic behaviour of ground states, Proc. Amer. Math. Soc. 24 996, no. 8, 2423 243. [26] E. Jannelli and S. Solimini, Concentration estimates for critical problems, Ricerche Mat. 48 999, no. suppl., 233 257. [27] T. Kanna and M. Lakshmanan, Exact soliton solutions, shape changing collisions, and partially coherent solitons in coupled nonlinear Schrödinger equations, Phys. Rev. Lett. 86 200, no. 22, 5043 5046. [28] T. Kato, Schrödinger operators with singular potentials, Proceedings of the International Symposium on partial Differential Equations and the Geometry of Normed Linear Spaces Jerusalem, 972, 973, pp. 35 48. [29] Y. S. Kivshar and B. Luther-Davies, Dark optical solitons: Physics and applications, Phys. Rep. 298 998, no. 2-3, 8-97. [30] Y. Lei and C. Li, Decay properties of the Hardy-Littlewood-Sobolev systems of the Lane-Emden type 203. Preprint on arxiv:302.5567. [3], Sharp criteria of Liouville type for some nonlinear systems, Discrete Contin. Dyn. Syst. 36 206, no. 6. [32] C. Li and L. Ma, Uniqueness of positive bound states to Schrödinger systems with critical exponents, SIAM J. Math. Anal. 40 2008, no. 3, 049 057. [33] C. Li and J. Villavert, A degree theory framework for semilinear elliptic systems, Proc. Amer. Math. Soc. 44 206, no. 9, 373 3740. [34], Existence of positive solutions to semilinear elliptic systems with supercritical growth, Comm. Partial Differential Equations 4 206, no. 7, 029 039. [35] P.-L. Lions, The concentration-compactness principle in the calculus of variations. The limit case. I, Rev. Mat. Iberoamericana 985, no., 45 20. [36] B. Liu and L. Ma, Symmetry results for decay solutions of elliptic systems in the whole space, Adv. Math. 225 200, no. 6, 3052 3063. [37], Radial symmetry results for fractional Laplacian systems, Nonlinear Anal. 46 206, 20 35. [38] E. Mitidieri, Nonexistence of positive solutions of semilinear elliptic systems in R N, Differential Integral Equations 9 996, no. 3, 465 479. [39] A. Montaru, B. Sirakov, and P. Souplet, Proportionality of components, Liouville theorems and a priori estimates for noncooperative elliptic systems, Arch. Ration. Mech. Anal. 23 204, no., 29 69. [40] M. Obata, The conjectures on conformal transformations of Riemannian manifolds, J. Differential Geometry 6 97/72, 247 258. [4] R. O Neil, Convolution operators and Lp, q spaces, Duke Math. J. 30 963, 29 42. [42] P. Poláčik, P. Quittner, and P. Souplet, Singularity and decay estimates in superlinear problems via Liouville-type theorems. I. Elliptic equations and systems, Duke Math. J. 39 2007, no. 3, 555 579. [43] P. Quittner, A priori estimates, existence and Liouville theorems for semilinear elliptic systems with power nonlinearities, Nonlinear Anal. 02 204, 44 58. [44] P. Quittner and P. Souplet, Symmetry of components for semilinear elliptic systems, SIAM J. Math. Anal. 44 202, no. 4, 2545 2559.

FINITE ENERGY SOLUTIONS TO ELLIPTIC SYSTEMS IN R n 29 [45] W. Reichel and H. Zou, Non-existence results for semilinear cooperative elliptic systems via moving spheres, J. Differential Equations 6 2000, no., 29 243. [46] J. Serrin, Local behavior of solutions of quasi-linear equations, Acta Math. 964, no., 247 302. [47] James Serrin and Henghui Zou, Non-existence of positive solutions of semilinear elliptic systems, Discourses Math. Appl., vol. 3, Texas A & M Univ., College Station, TX, 994, pp. 55 68. [48] J. Serrin and H. Zou, Non-existence of positive solutions of Lane-Emden systems, Differential Integral Equations 9 996, no. 4, 635 653. [49], Existence of positive solutions of the Lane-Emden system, Atti Sem. Mat. Fis. Univ. Modena 46 998, no. suppl., 369 380. [50] P. Souplet, The proof of the Lane-Emden conjecture in four space dimensions, Adv. Math. 22 2009, no. 5, 409 427. [5] M. A. S. Souto, A priori estimates and existence of positive solutions of nonlinear cooperative elliptic systems, Differential Integral Equations 8 995, no. 5, 245 258. [52] M. Struwe, A global compactness result for elliptic boundary value problems involving limiting nonlinearities, Math. Z. 87 984, no. 4, 5 57. [53] P.-D. Thizy, Phase stability for SchrdingerPoisson critical systems in closed 5 manifolds, Int. Math. Res. Notices 206 206, no. 20, 6245-6292. [54] N. S. Trudinger, On Harnack type inequalities and their application to quasilinear elliptic equations, Comm. Pure Appl. Math. 20 967, 72 747. [55] J. Vétois, A priori estimates and application to the symmetry of solutions for critical p-laplace equations, J. Differential Equations 260 206, no., 49 6. [56] J. Villavert, Qualitative properties of solutions for an integral system related to the Hardy-Sobolev inequality, J. Differential Equations 258 205, no. 5, 685 74. [57] C.-L. Xiang, Asymptotic behaviors of solutions to quasilinear elliptic equations with critical Sobolev growth and Hardy potential, J. Differential Equations 259 205, no. 8, 3929 3954. [58] S. Zheng, Nonexistence of positive solutions to a semilinear elliptic system and blow-up estimates for a reaction-diffusion system, J. Math. Anal. Appl. 232 999, no. 2, 293 3. Jérôme Vétois, McGill University Department of Mathematics and Statistics, 805 Sherbrooke Street West, Montreal, Quebec H3A 0B9, Canada. E-mail address: jerome.vetois@mcgill.ca