arxiv: v1 [math.dg] 5 Nov 2018

Transcription

1 ON EXISTENCE OF THE PRESCRIBING k-curvature OF THE EINSTEIN TENSOR arxiv: v1 [math.dg] 5 Nov 018 LEYANG BO AND WEIIN SHENG Abstract. In this paper, we study the problem of conformally deforming a metric on a 3-dimensional manifold 3 such that its k-curvature equals to a prescribed function, where the k-curvature is defined by the k-th elementary symmetric function of the eigenvalues of the Einstein tensor, 1 k 3. We prove the solvability of the problem and the compactness of the solution sets on manifolds when k = and 3, provided the conformal class admits a negative k-admissible metric with respect to the Einstein tensor. 1. Introduction Let ( n,g) be an n-dimensional compact Riemannian manifold with or without boundary, n 3. Let Ric and R be the Ricci tensor and the scalar curvature, respectively. Then the Einstein tensor is defined by E g = 1 n (Ric R g), which can be also viewed as a special case of the following modified Schouten tensor with a parameter τ that was introduced by Gursky and Viaclovsky [15], and A. Li and Y.-Y. Li [4] independently: A τ g = 1 τr (Ric n (n 1) g), where τ R and the Einstein tensor is just the case τ = n 1. Einstein tensor plays a key role in general relativity, and was extensively studied by many researchers. In this paper, we focus on its property in the conformal class. Let λ(a τ g ) = (λ 1,,λ n ) denote the eigenvalues of A τ g curvature of λ(a τ g ) as σ k (λ) = Σ i1< <ik λ i1 λ ik, with respect to g. We also define the k- the k-th elementary symmetric polynomial, and Γ + k = {λ Rn σ j (λ) > 0 for j = 1,,k} the corresponding open, convex cone in R n. Define Γ k = {λ Rn λ Γ + k }. We callg isk-admissibleif λ(g 1 A τ g) Γ + k ornegativek-admissible if λ(g 1 A τ g ) Γ k. 010 athematics Subject Classification. 53C1, 35J60. Key words and phrases. Einstein tensor, k-curvature, existence, compactness. The authors were supported by NSFC, grant no

2 With the conformal transformation g = u 4 n g, the modified Schouten tensor changes by A τ g = n u 1 u (1 τ) (n ) u 1 ( u)g + When τ = n 1, we have E g = n u 1 u+ If g = e u g, we have (n ) u 1 ( u)g + n (n ) u du du n (n ) u du du A τ g = A τ g + u+ 1 τ τ u+du du u g. n In particular, when τ = n 1, we have E g = E g + u u+du du+ n 3 u g. (n ) u u g +A τ g. (n ) u u g +E g. Similar to the k-yamabe problem, the k-curvature of the Einstein tensor is defined by (1.1) σ k (E g ) = σ k (λ(g 1 E g )). It is natural to ask: can we find a k-admissible (or negative k-admissible) metric in the conformal class of g with constant k-curvature of the Einstein tensor? This problem is equivalent to find a solution to the following equation: (1.) σ k (E g + u u+du du+ n 3 u g) = 1. or (1.3) σ k ( u+ u du du n 3 u g E g ) = 1. The equation (1.3) is elliptic, which in some sense corresponds to the k-yamabe equation in the positive cone, i.e (1.4) σ k (A τ g + u+ 1 τ τ u+du du u g) = 1 n with τ = 1. The k-yamabe problem have been extensively studied in the last decade. When k = 1, equations (1.4) and (1.3) become to the classical Yamabe equation. The existence of its solution has been solved by Yamabe [41], Trudinger [35], Aubin [1] and Schoen [31]. The answer for the compactness of the solution set is positive when the dimension n 4 and negative when n 5 ([14, 3]). When τ = 1, it was initially studied by Viaclovsky [38]. The existence of the solution to the equation was solved for k =, n 4 in [5, 3], for k n by [16, 36, 37], for < k < n/ and (,g) being locally conformally flat case by [1, 3]. The compactness of the solution set was proved for k =, n = 4 by [5], for k n by [16, 36, 37, 8], and for < k < n/ and (,g) being locally conformally flat case by [4]. For general τ, the case τ 1 and τ n 1 is somehow meaningful since in these cases the equation is elliptic, for τ 1, equation (1.4) usually does not have the variational structure even the manifold is locally conformally flat, which requires some other ways to approach this problem. In [, 34], the authors studied these cases and they give a positive answer to the problems on existence and

3 compactness for τ < 1 in the negative cone and τ > n 1 in the positive cone using a parabolic flow argument and proved the priori estimates are exponentially decayed. In [34], the authors also give a positive answer to long time existence of the flow for τ < 1 in the positive cone and τ > n 1 in the negative cone on locally conformally flat manifolds. But the convergence of the flow is still unknown even on locally conformally flat manifold. In this paper we mainly study the k-curvature equation of Einstein tensor (τ = n 1) in the negative cone. This corresponds to the k-curvature of the Schouten tensor being in the positive cone. We only deal with the three dimensional case since the admissibility of the Einstein tensor in the cases of k = and 3 imply the non-negativity of Ricci tensor. By use of the idea in [8] and [16] we can get the C 0 estimate of the solutions. For the higher dimensional case, the non-negativity of Ricci tensor can not be obtained from this point. Our main result is Theorem 1.1. Let ( 3,g) be a 3-dimensional closed Riemannian manifold and k =, or k = 3. Assume (1) g is negative k-admissible with respect to the Einstein tensor, and () ( 3,g) is not conformally equivalent to the standard sphere. Then for any given smooth positive function h C (), there exist a solution u C () of σ k ( λ(e g )) = h(x), where g = e u g, and the set of all such solutions is compact in the C m -topology for any m > 0. The rest of the paper is organized as follows. In section we introduce the Liouville theorem and a Riemannian version of Hawking s singularity theorem in relativity. In section 3 we give the deformation of equation (1.3). In section 4 we give some local estimates of the solutions to the deformation equation, and then by contradiction argument, we show that there is at most one blow-up point in the manifold and establish the explicit blow-up speed around the blow-up point. Then using the Bishop-Gromov volume comparison theorem we get the contradiction, and finish the proof of Theorem Preliminary In this section, we first introduce some basic properties of the elementary symmetric functions and Newton transformation. The k-th Newton transformation associated with a real symmetric matrix A is defined as follows: T k (A) = σ k (A)I σ k 1 (A)A+ +( 1) k A k. and we have T k (A) i j = 1 k! i1 i ki j 1 j k j A i 1j 1 A ik j k, 3

4 where i1 i ki j 1 j k j is the generalized Kroneckerdelta symbol. Note σ k(a) = 1 k! i1 i k j 1 j k A i1j 1 A ik j k, we have T k 1 (A) i j = σ k(a) A ij. Sometimes we also use the eigenvalue version of the k-th elementary symmetric function, λ(a) = (λ 1,,λ n ) and σ k (λ) = Σ i1< <i k λ i1 λ ik. We write σ 0 (λ) = 1, σ k (λ) = 0 for k > n, and denote σ k;i (λ) = σ k (λ) λi=0, σ k;ij (λ) = σ k (λ) λi,λ j=0. We also denote i σ k = σ k, i j σ k (λ) = σ k. Then λ i λ i λ j i σ k (λ) = σ k 1;i (λ), i j σ k (λ) = σ k ;ij (λ). Now we introduce some basic properties for the k-th elementary symmetric function and Newton transformations which will be used frequently in this paper. One can find these facts in many literature, see [3] for example: Proposition.1. Let λ(a) Γ + k with λ 1 λ n. Then (i): T k 1 (A) i j Aj i = kσ k(a), or equivalently, i λ iσ k 1;i (λ) = kσ k (λ), (ii): trt k 1 (A) = (n k +1)σ k 1 (A), or equivalently, i σ k 1;i(λ) = (n k +1)σ k 1 (λ), (iii): σ k (λ) = λ i σ k 1;i (λ)+σ k;i (λ), for each i = 1,,n. (iv): T k 1 (A) is positive definite, or equivalently, σ k 1;n σ k 1;1 > 0, we also have σ k ;ij > 0 for each i j. We also have the following: Corollary.. Let (,g) be a 3-dimensional Riemannian manifold and x. E g is -admissible at x, then Ric g (x) 0. Proof. A direct calculation gives that T 1 ( E g ) = Ric g, by Proposition.1(iv), the Ricci tensor is positive definite. Now consider the equation (.1) σ k (λ( E gu )) = u p (n+)/(n ) in the case < p (n+)/(n ) and n 3. We have a Liouville type theorem: Theorem.3. (Theorem 1.1 of [4]) For n 3, assume that u C (R n ) is a superharmonic solution of (.1) for some < p (n+)/(n ). Then either u constant or p = (n+)/(n ) and ( (.) u(x) a 1+cb x x )n, x R n for some fixed x R n and for some positive constants a and b satisfying σ k (λ(b a I)) = 1, where c = (n ) ( n++nτ). 4

5 odifying some constants in Theorem 1.3 of [4], and noticing that σ k satisfies the condition of f in the theorem, we can prove Theorem.3. We omit the proof here. Next we introduce a Riemmanian version of Hawking s singularity theorem which will play an important role in the blow-up analysis. Proposition.4. (see [8] or [18]) Let (N n,g) be a complete smooth Riemannian manifold with smooth boundary N. If Ric g (n 1)α for some α 0 and if the mean curvature H of N with respect to its inward pointing normal satisfies H (n 1)c 0 (n 1)α. Then (.3) d g (x, N) U(α,c 0 ), x N. where d g denotes the distance function induced by g and (.4) { 1 U(α,c 0 ) = c 0, if α = 0; 1 α coth 1 ( c0 α ), if α > 0; The following lemma is about the symmetric matrix, which is needed in our proof of the main theorem. The proof can be found in [8]. Lemma.5. ([8] Lemma A.1) For an n n real symmetric matrix, let λ 1 (),,λ n () denote its eigenvalues. There exists a constant C(n) > 0 such that ǫ > 0 and any two symmetric matrices and satisfying < ǫ, there holds for some permutation σ = σ(, ) that n λ i () λ σ(i) ( ) < C(n)ǫ. i=1 (3.1) 3. Deformation of the equation In this section we deform equation (1.3) to a equation which has an unique solution. Consider σ 1 k k (λ(g 1 [λ k (1 ϕ(t))g ϕ(t)e g u+ ug du du+ 3 n u g])) = ϕ(t)h(x)e u +(1 t)( e (n+1)u ) n+1 where ϕ C 1 [0,1] satisfies 0 ϕ(t) 1, ϕ(0) = 0, ϕ(t) = 1 for t 1 ; and λ k = (C k n ) 1 k. This deformation is valid for any k and n. At t = 1, (3.1) becomes (1.3); while t = 0, it turns to σ 1 k k (λ(g 1 [λ k g u+ ug du du+ 3 n u g])) = ( e (n+1)u ) n+1. We can show that this equation has the unique solution u(x) 0. It is easy to see that u 0 is a solution. The uniqueness can be shown as follows: let x 0 be the maximum point of u on. At 5

6 this point we have u x0 = 0, and u x0 is negative semi-definite and then u+ ug is negative semi-definite. Then at x 0 we get λ k = σ 1 k k (λ(g 1 g)) σ 1 k k (λ(g 1 [λ k g u+ ug +du du+ 3 n u g])) ( ) = e (n+1)u n+1 Similarly,attheminimumpointofu,wehaveλ k ( e (n+1)u ) n+1. Therefore,λk = ( e (n+1)u ) n+1. On the other hand, by Newton-aclaurin inequality, we have, Then we get thus u constant = 0. λ k = σ 1 k k (λ(g 1 [λ k g u+ ug du du+ 3 n u g])) 1 n σ 1(λ(g 1 [λ k g u+ ug +du du+ 3 n u g])) = 1 ( (n 1) u n(n 3)+ ) u +nλ k. n ( n 1) Now we define the operator as in [16, 19] u u = 0 Ψ t = σ 1 k k (λ(g 1 [λ k (1 ϕ(t))g ϕ(t)e g u+ ug du du+ 3 n u g])) ϕ(t)h(x)e u (1 t)( e (n+1)u ) n+1. When t = 0, Ψ 0 [u] = 0 has unique solution u 0 and the linearization of Ψ 0 at u 0 is invertible. We define the Leray-Schauder degree deg(ψ t,o,0) as in [7, 17], where O = {u C 4,α () : uisk-admissible,dist(λ(a τ g ), Γ+ k ) > 1 C }. Then deg(ψ 0,O 0,0) 0 at t = 0. Of course we would like to use the homotopy-invariance of the degree to conclude deg(ψ t,o,0) is non-zero for some open set O C 4,α. To do this we need to establish a priori estimate for (3.1). By [0], C 1 and C estimates have been already done. Once we get the L bound, by the standard Evans-Krylov theory, we have the C,α estimate and then the higher order estimates can be established. Here we also note for t [0,1 ] and sufficiently small, the equation (3.1) has C 0 estimate by the work of He-Sheng [0]. In fact this can be done by use of the C 1 and C estimates in [0] and a similar argument in [1]. So we just need to focus on the case t = The priori estimates In this section, we derive the C 0 bound by a contradiction argument. 6

7 In [19, 0], the authors have already got the point-wise C 1 and C estimate (4.1) with g u = e u g: (4.1) sup( u + u )(x) C ( 1+e inf u). Here for convenience we use the form g u = u 4 n g, substitute it to (4.1) we have (4.) sup( logu + logu )(x) C(1+max u 4 n ). Now we only need to derive the C 0 bound. Without loss of generality, we may assume that σ (λ( E gcan )) = 1 on S n, where g can is the standard metric on S n. First we ll show the upper bound of u implies it s lower bound. Assume at this moment we have established the estimate This implies that maxu C. (4.3) sup( logu + logu )(x) C. Now we ll show that : min u 1 C. We argue it by contradiction. Suppose there exists a sequence {u i } such that (4.4) min u i 0. By definition, the metrics g i = u 4 n i g satisfy (4.5) σ k ( λ(e gi )) = 1 λ(e gi ) Γ + k. Notehereg i = ( ui ) 4 n g1, evaluating(4.5)atthemaximumpoint x i of ui, sincewehavetherelationship between E gi and E g1 : E gi = n (u i ) 1 ( u i )+ (n ) (u i ) ( u i ) g 1 +E g1 (n ) (u i ) 1 ( ( u i ))g 1 + n (n ) (u i ) d( u i ) d( u i ) and n (ui ) 1 ( ui )+ (n ) (ui ) 1 ( ( ui ))g 1 is positive definite at x i (by τ < 1), we obtain 1 ( ui ) 4 n σk ( λ(e g1 ( x i ))) = ( ui ) 4 n which implies max u i ( x i ) min. On the other hand we have the Harneck inequality min u i 1 C max u i which comes from the C 1 estimate. Combining these inequalities, we have min u i 1 C min which contradicts(4.4). Since we have established the L, C 1 and C estimates, the higher order estimate on log u follows from the standard Evans-Krylov s and Schauder s estimates. 7

8 Now it is sufficient to check max u C by the above argument. We also argue it by contradiction. Assume {u i } a sequence of smooth positive functions on such that g i = u 4 n g satisfy (1.3) but u i (x i ) = max u i as i. Suppose x is a blow-up point, we have x i x in the metric topology induced by the initial metric on The unique blow-up point. Now we show the blow-up point is unique, in fact we can control the speed of blow-up of the sequence u i, (4.6) u i Cd g (x,x i ) n, x \{xi }. where C is a constant independent of i. This property was observed by Y.Y.Li-Nguyen [8]. Our proof follows the work in [8]. The following lemma plays an important role to establish (4.6). It reveals some concentration property of the volume of a small neighborhood of the blow-up sequence {x i }. Lemma 4.1. (Lemma 3.1 of [8]) Assume for some C 1 1,K i and y i, that u i ; set D Ki = {y d g (y,y i ) K i u i (y i ) n }, and assume (4.7) sup D Ki u i C 1 u i (y i ). Then for any 0 < µ < 1, there exists K = K(C 1,µ) such that for i sufficiently large Vol gi (D K ) (1 µ)vol gi () Proof. This argument comes from Lemma 3.1 of [8]. We need a little modification here since the coefficients in the formula of conformal change of Einstein tensor E g is different to the Schouten tensor A g in [8]. We state the outline of the proof. Let p R n,a > 0 and b = n n nτ, define ( )n a (4.8) U a,p;b (x) = 1+ba x p S n = {z = (z 1,,z n ) R n+1 z 1 + +z n = 1}. Let (x 1,,x n ) R n be the stereographic projection coordinates of S n, then ( ) g can = dz = 1+ x dx. Let x = bx we then have ( g can = dz = 1+b x ) b dx = U 4 n n 1,0;b (x )b dx = U 4 where g flat = dx is the standard Euclidean metric on R n. It follows that f(λ( E τ U 4 n a,p;b g flat 8 )) = 1. i 1,0 (x )g flat

9 Now we define a map from the tangent space to the manifold Φ i : T yi (,g) by Φ i (x) = exp yi then we can get f(λ(a τ (u i Φ i) 4 n Φ i g )) = 1 and let x u i (y i ) n ũ i (x) = n u i (y i ) u i Φ i (x),x R n. By Lemma 3.1 of [8], we konw ũ i subconverges to some positive ũ C (R n ) and actually by the Liouville theorem in section, ũ = U a,x ;b for some bounded a > 0 and x R n. Process as lemma 3.1 of [8], this implies that ǫ > 0, R = R(ǫ,C 1 ) > 0 such that Vol gi (Φ (B(0,R))) Vol(S n ) Cǫ n for some C independent of i and ǫ. Let H gi be the mean curvature of Φ i (B(0,R)) with respect to g i, this also implies H gi ǫ 1. By the Hawking s lemma in section and the above property, we see that diam gi (\Φ(B(0,R))) Cǫ. this inequality together with Bishop s comparison theorem imply that then Vol gi (Φ(B(0,R))) (1 ǫ n )C. Vol gi (\Φ(B(0,R))) Cǫ n,, Now let K = 1 R and µ = ǫn, then D Ki = Φ(B(0,R), the proof is complected. With this lemma we can immediately get (4.6) by the argument in [8]. Besides, we can also get the similar higher order estimates as in step of [8] : (4.9) k logu i (x) Cd g (x,x i ) k forx x i,k = 1,. and the similar convergence behavior as in step 3 of [8] : lim i u i = u with u (x) 0 in \{x }. Unfortunately this limit function is difficult to analysis. In order to get some useful result we need to rescale it as follows: fix some point p \{x } and let v i (x) = u i(x) u i (p) v i subconverges, for every 0 < α < 1, in C 1,α ( \{x },g) to some positive function v C 1,1 ( \ {x },g) which satisfies v (p) = 1 and (4.10) k logv (x) Cd g (x,x ) k forx x i,k = 1,. Furthermore, E gv is on the boundary of the Garding cone Γ + k in viscosity sense as u i(p) trends to 0. 9

10 4.. The blow-up order. In this section, we show that v has an asymptotic behavior near x of order n, i.e (4.11) lim x x v d g (x,x ) = a where a (0,+ ) is a constant. By (4.10), we can immediately get (4.1) lim sup x x v d g (x,x ) = A < +. We only need to show (4.13) lim inf x x v d g (x,x ) = a and A = a. As in [8], note here E gv Γ + k. Then we have the super-harmonicity of v, i.e g v (n ) 4(n 1) R gv 0. Let L g = g n 4(n 1) R g be the conformal Lapalacian, then L g v 0. We then have the following lemma. Lemma 4.. (Lemma 3.3 of [8]) Let Ω be an open neighborhood of a point p. If w is a nonnegative lower semi-continuous function in Ω\{p} and satisfies L g w 0 in the viscosity sense in Ω\{p}, then lim r 0 rn min w < +. B g(p,r) By Lemma 4. we immediately know that a is finite. Now it remains to show A = a. We prove it by contradiction also. Assume A > a, then we can find a sequence {y i } such that for some ǫ > 0, where x = lim i y i. Also, by (4.13), we have A+ǫ d g (y i,x ) n v (y i ) a+ǫ, d g (y i,x ) n min v (y) a+ǫ. d g(y,x )=d g(y i,x ) Let R i = d g (y i,x ) 1, define the exponential map E i : B Ri T x by Θ i (y) = exp x (R 1 i y), where is sufficiently small, and as in subsection 4.1 we have Ri Θ ig converges on compact subsets to the standard Euclidean metric. Now set ˆv i (y) = R n i v E i (y), then ˆv i C 1,1 loc (B R i \ {0}). By a direct computation we have (4.14) λ( Eˆvi(y) 4 n R i Θ i g) Γ+ k in B R i \{0} minˆv i a+ǫ and maxˆv i a+ǫ. B 1 B 1 10

11 Then by the estimates (4.9) in subsection 4.1, a subsequence of ˆv i converges uniformly to a limit ˆv C 1,1 loc (Rn \{0}) and satisfies in the viscosity sense ( ) (4.15) λ E 4 Γ + k in Rn \{0} n ˆv g flat then we get v is radially symmetric by the following lemma. Lemma 4.3. (cf. Theorem 1.18 in [6]) For n 3, Let Γ + k be the Garding cone, and let u be a positive, locally Lipschitz viscosity solution of ( ) (4.16) λ E 4 Γ + u n g k in Rn \{0}. flat Then u is radially symmetric about the origin and u (r) 0 for almost all 0 < r <. Proof. Note E u 4 n g flat = n u 1 u (n ) u 1 ( u)g n (n ) u du du+ (n ) u u g. The proof in Theorem 1.18 of [6] mainly depend on the ellipticity of the operator in the formula of A 4, and in our case, the operator u n g flat n u 1 (n ) u 1 ( )g is elliptic. The proof in Theorem 1.18 of [6] is still hold, we omit it here. This makes a contradiction to the second line of (4.14), we then get A = a. Now we only need to show that a > 0. We do not use the condition n = 3 and k = or k = 3 untill this moment, in the next lemma, we ll assume these conditions, and since Γ 3 Γ, we only need to prove the case k =. In normal coordinates at x i, let r = x. The following lemma is the key ingredient, which is a special version of Lemma 3.4 in [8] Lemma 4.4. There exists some small r 1 > 0 depending only on (,g) such that for all 0 < < 1 4, the function v := r (1 ) e r satisfies (4.17) λ(e (v ) 4 n g ) Rn \Γ in {0 < r < r 1} Proof. Let b = 1, when n = 3, the Einstein tensor for g = v 4 E g = n v 1 v + (n ) v 1 ( v )g + n g reads n (n ) v dv dv = v 1 v +v 1 ( v )g +6v dv dv v v g +E g = D 1 I D x r x r +D 3 where I is the identity matrix and D 1 = v v r (v ) + v = r a v v r 11 (r a) r + (r a) +a r = r (n ) v v g +E g

12 D = v 1 (v v r ) 6v v = 4(1 a)a+(4a 1)r 4r r D 3 C(1+rv 1 v +r v v ) C CrD 1 The eigenvalue of D 1 I D x r x r with respect to I are D 1 D,D 1,D 1, we can apply Lemma.5 to see that the eigenvalues λ = (λ 1,λ,λ 3 ) of E g with respect to g satisfies λ 1 v 4 (D 1 D ) + λ v 4 D 1 + λ 3 v 4 D 1 Cv 4 Crv 4 D 1 We have σ 1 (D 1 D,D 1,D 1 ) = 3D 1 D = 4(1 a)(a r)+4r r < 0 for a < 1 and r is sufficiently small. Then σ (D 1 D,D 1,D 1 ) = D 1 (3D 1 D ) < 0. This implies (D 1 D,D 1,D 1 ) lying outside of Γ (also Γ 3 immediately). Thus λ(e g ) lies outside of Γ (also Γ 3 ) since r is sufficiently small. From v i (p) = 1 and (4.9), there exists some positive constant C independent of i and such that v i 1 C v, on {r = r 1 }. For some K = K() > 0 large enough, let { γ = sup 0 < γ < 1 } C : v i γv in {Ku i (x i ) 4 n <r<r1 }. By Lemma 4.4 and the comparison principle, there exist ˆx i with ˆx i = r i such that v i (ˆx i ) = γv (ˆx i ). Then follow the argument in [8], we have γ = 1 C, This shows v i 1 C v 1 Cd g (x,x i ) {Ku i (x i ) 4 n < r < r1 } for i N with N sufficiently large. When i, we have v 1 C v for all sufficiently small > 0, finally this implies a > 0. 1 Cd g (x,x ) n in {0 < r < r 1} n in Now note we already get the bound C 1 d n g (x,x ) v (x) Cd n g (x,x ), also note the Ricci curvarure is semi-positive definite when n = 3 and k =, we can follow the work in [8, 16, 36] to show ( \x,v 4 n g) is isomorphic to (R n,g flat ) by the Bishop-Gromov comparison theorem. Then by the consequence of Gursky-Viaclovsky[16], this implies that (, g) is conformally equivalent to the standard sphere, which is a contradiction to the initial hypothesis. This finishes our proof of the boundness of u. References [1] T. Aubin, Equations différentielle nonlinéaires et probléme de Yamabe concernant la courbure scalaire, J. ath. Pures. Appl.55(1976), [] S. Brendle and S. Chen, An existence theorem for the Yamabe problem on manifolds with boundary, J. Euro. ath. Soc.,16(009), no. 5, [3] S. Brendle and F. C. arques, Blow-up phenomena for the Yamabe problem II, J. Differential Geom. 81 (009), no., [4] L. Caffarelli, L. Nirenberg and J. Spruck, The Direchlet problem for nonliear second-order elliptic equations.iii. Functions of engenvalues of the Hessian, Acta ath.155(1985), no. 3-4,

13 [5] A. Chang,. Gursky and P. Yang, An equation of onge-ampere type in conformal geometry, and four-manifolds of positive Ricci curvature, Ann. ath.155(00), no., [6] S. Chen, Boundary value problems for some fully nonlinear elliptic equations, Calc.Var.PDE.30(007), no. 1, [7] S. Chen, Conformal deformation on manifolds with boundary. Goemetric and Functional Analysis19(009), no. 4, [8]. Disconzi and. Khuri, Compactness and non-compactness for the Yamabe problem on manifolds with boundary, arxiv: v1 [math.dg] [9] J. F. Escobar, The Yamabe problem on manifolds with boundary. J. Diff. Geom., 35(199), no. 1, [10] J. F. Escobar, Conformal deformation of a Riemmanian metric to a scalar flat metric with constant mean curvature on the boundary. Ann. ath. 136, no. 1, [11] P. Guan, Jeff A.Viaclovsky and G. Wang, Some properties of the Schouten tensor and applications to conformal geometry, Trans. Amer. ath. Soc.355(003), no.3, [1] P. Guan and G. Wang, A fully nonlinear conformal flow on locally conformally flat manifolds, J. Reine Angew. ath., 557(003),19-38 [13] P. Guan and G. Wang, Local estimates for a class of fully nonlinear equations arising from conformal geometry, Int. ath. Res. Not. 6(003), [14].A. Khuri, F.C. arques and R.. Schoen, A compactness theorem for the Yamabe problem, J. Differential Geom. 81 (009), no. 1, [15] atthew J. Gursky and Jeff A.Viaclovsky, Fully nonlinear equations on Riemannian manifolds with negative curvature, Indiana Univ. ath. J., 5(003), [16] atthew J. Gursky and Jeff A.Viaclovsky, Prescribing symmetirc functions of the eigenvalues of the Ricci tensor, Ann. of ath.,166 (007), [17] atthew J. Gursky and Jeff A.Viaclovsky, Volume comparison and the σ k -Yamabe problem, Adv. ath. 187() (004), [18] S.W.Hawking and G.F.R.Ellis, The large scale structures of space-time, Cambridge University Press,London,1973, Cambridge onographs on athematical Physics, No.1. [19] Y. He and Weimin Sheng, On exisitence of the prescibing k-curvature problem on manifolds with boundary, Communications in analysis and geometry, 19(011) no. 1, [0] Y. He and Weimin Sheng, Local estimates for elliptic Equations arising in conformal Geometry, International athematics Research Notices,013(013), no., [1] Q. Jin, A. Li and Y. Y. Li, Estimates and existence results for a fully nonlinear Yamabe problem on manifolds with boundary, Calc. Var. PDE, 8(007), [] Jiayu Li and Weimin Sheng, Deforming metrics with negative curvature by a fully nonlinear flow, Calc.Var.PDE., 3(005), no. 1, [3] A. Li and Y. Y. Li, On some conformally invariant fully nonlinear equations, Comm. Pure Appl. ath., 56(003), no.10, [4] A. Li and Y. Y. Li, On some conformally invariant fully nonlinear equations II. Liouville, Harnack and Yamabe, Acta ath.,195(005), [5] A. Li and Y.Y. Li, A fully nonlinear version of the Yamabe problem on manifolds with boundary, J. Eur. ath. Soc., 8 (006), [6] Y. Y. Li, Local gradient estimates of solutions to some conformally invariant fully nonlinear equations, Comm. Pure Appl. ath., 6(009), no. 10, [7] Y. Y. Li, Degree theory for second order nonlinear elliptic operators and its applications, Comm. Partial Differential Equations, 14(1989), no. 11, [8] Y. Y. Li and Luc Nguyen, A compactness theorem for a fullynonlinear Yamabe problem under a lower Ricci curvature bound, J. Funct. Analysis,66(014), no. 6, [9] Y. Y. Li and Luc Nguyen, Harnack inequalities and Bôcher-typer theorems for conformally invariant fully nonlinear degenerate elliptic equations, Comm. Pure Appl. ath., 67(014), no. 11, [30]. ayer, C.B.Ndiaye, Proof of the remaining cases of the Yamabe boundary problem, arxiv: [31] R. Scheon, Conformal deformation of a Riemannian metric to constant scalar curvature, J. Diff. Geom.,0(1984), [3] Weimin Sheng, Neil. S. Trudinger and Xu-jia Wang, The Yamabe problem for higher order curvatures, J. Diff. Geom.,77(007), [33] Weimin Sheng and Li-xia Yuan, Deforming conformal metrics with negative Bakry-Émery Ricci tensor on manifolds with boundary, Preprint, 014. [34] Weimin Sheng and Yan Zhang, A class of fully nonlinear equations arising from conformal geometry, ath. Z., 55(007), no. 1, [35] N. S. Trudinger, Remarks concerning the conformal deformation of Riemannian structures on compact manifolds, Ann. Sc. Norm. Super. Pisa, (1968), no.3,

14 [36] N. S. Trudinger and X. J. Wang, On Harnack inequalities and singulatities of admissible metrics in the Yamabe problem, Calc. Var. PDE, 35(009), [37] N. S. Trudinger and X. J. Wang, The intermediate case of the Yamabe problem for higher order curvatures, Int. ath. Res. Not.,13(010), [38] Jeff A.Viaclovsky, Conformal geometry, contact geometry, and the calculas of variation, Duke ath. J.,101(000), no., [39] Jeff A.Viaclovsky, Conformally invariant onge-ampere equations: global solutions, Trans. Amer. ath. Soc.35(000), no. 9, [40] Jeff A.Viaclovsky, Estimates and existence results for some fully nonlinear elliptic equations on Riemannian manifolds, Comm. Anal. Geom. 10(00), no. 4, [41] H. Yamabe, On a deformation of Riemannian structures on compact manifolds, Osaka ath. J.,1(1960), Leyang Bo: School of athematical Sciences, Zhejiang University, Hangzhou 31007, China. address: bo leyang@16.com Weimin Sheng: School of athematical Sciences, Zhejiang University, Hangzhou 31007, China. address: weimins@zju.edu.cn 14