UNIQUENESS RESULTS ON SURFACES WITH BOUNDARY XIAODONG WANG. Introduction The following theorem is proved by Bidaut-Veron and Veron [BVV]. Theorem. Let (M n, g) be a compact Riemannian manifold and u C (M) a positive solution of the following equation u + λu = u q, where λ > 0 is a constant and < q (n + 2) / (n 2). If Ric (n )(q )λ n g, then ( u must be ) constant unless q = (n + 2) / (n 2) and (M n, g) is isometric to S n,. In the latter case u is given on S n by the following formula 4λ n(n 2) g 0 u = (a + x ξ) (n 2)/2. for some ξ R n+ and some constant a > ξ. This uniqueness result has important corollaries on sharp Sobolev inequalities and the Yamabe invariant. Ilias [I] showed that the method of Bidaut-Veron and Veron works for the same equation on a compact Riemannian manifold with convex boundary, provided that u satisfies the boundary condition = 0. This corresponds to the st type of Yamabe problem on manifolds with boundary, namely finding a conformal metric with constant scalar curvature and zero mean curvature on the boundary. It is natural to wonder if similar results hold for the other type of Yamabe problem which is about a conformal metric with zero scalar curvature and constant mean curvature on the boundary. We hope to address this problem elsewhere and confine our study in this paper to an analogous problem in dimension two. Let (, g) be a compact surface with nonnegative curvature and strictly convex boundary, i.e. Gaussian curvature K 0 and on the boundary the geodesic curvature κ > 0. By scaling we will always assume κ. Consider the following equation (.) u = 0 on, + λ = eu on, where λ is a constant and is the derivative w.r.t. the outer unit normal ν on the boundary. When λ 0 there is no solution, so we will always assume λ > 0. Theorem 2. If λ < then u is constant; if λ = and u is not constant, then is isometric to the unit disc B 2 and u is given by u (z) = log a 2 + a 2 z 2 2 Re (za),
2 XIAODONG WANG for some a B 2. Instead of an integral method, our proof is based on a pointwise analysis using the strong maximum principle. It is inspired by Payne [P] and Escobar [E] in which a sharp estimate for the st Stekloff eigenvalue was established by a similar method. In high dimensions this method does not seem to work, but see [HW] where this type of method is applied successfully in a special situation. The equation (.) for λ = on B 2 has a special structure and has been studied by many authors by various different methods, c.f. [OPS, Zh, HW2]. One may also wonder what happens if λ >. In [OPS] it is proved that the equation (.) has only a constant solution if λ / Z. Using their method we are able to resolve the case when λ Z. We state the result for a slightly different equation which is equivalent to (.) by a simple translation u u + c. Theorem 3. Suppose u is a smooth function on B 2 satisfying the following equation u = 0 on B 2, = λ (eu ) on S, where λ > 0 is a constant (the case λ 0 is trivial by the maximal principle). Then () If λ / N then u. (2) If λ = N N then either u or for some ξ C with ξ >. u (z) = log ξ 2 ξ z N 2, Finally from the uniqueness result we deduce the following geometric inequality. Theorem 4. For u C () u 2 + 2L L ( ) u log e u 0, L where L is the perimeter of. Moreover if there exists a nonconstant extremal function then is isometric to B 2 and all extremal functions are of the following form for some a B 2 and c R. u (x) = log a 2 + a 2 x 2 2x a + c, The paper is organized as follows. In Section 2 we prove Theorem. In Section 3 we discuss (.) for all λ on B 2. In the last section the geometric inequality (Theorem 4) is proved. Acknowledgement The author thanks Lei Zhang and Meijun Zhu for useful discussions. The work is partially supported by Simons Foundation Collaboration Grant for Mathematicians #32820.
UNIQUENESS RESULTS ON SURFACES WITH BOUNDARY 3 2. Uniqueness result for a nonlinear PDE We first discuss the direct analogue of the result of Bidaut-Veron and Veron in dimension 2. Theorem 5. Let ( 2, g ) be a compact surface with Gaussian curvature K with a possibly empty convex boundary (convex in the sense that on the boundary the geodesic curvature κ 0). Let u be a smooth function satisfying u + λ = e 2u on, = 0 on, where λ is a constant. Then either u is constant or λ = and ( 2, g ) is isometric to either the standard sphere S 2 or the hemisphere S 2 + and u is given by for some t 0 and ξ S 2. u (x) = log [cosh t + sinh tx ξ], We sketch the proof. Let v = e u/β, where β 0 is to be determined. Then v is positive and satisfies v = v v 2 + ( v 2β λv ). β By the Bochner formula 2 v 2 = D 2 v 2 + v, v + K v 2 2 ( v)2 + v, v + v 2. Multiplying both sides by v γ, with γ a nonzero constant and integrating over yields v γ v 2 v γ ( v) 2 + v γ v, v + v γ v 2. 2 2 Integrating by parts yields ( + λγ ) v γ v 2 β ( ) γ β + v γ 2β v 2 (γ + )2 v γ 2 v 4 0. 2 Choosing γ = and β = leads to ( λ) vγ v 2 0. Therefore if λ < we conclude that v is constant. If λ = and v is not constant, we must have D 2 v = fg for some function f by inspecting the above argument. From this overdetermined system one can deduce that ( 2, g ) is isometric to either the standard sphere S 2 or the hemisphere S 2 + and then further determine u. Remark. The above method does not yield any interesting result when λ >. Recently Gui and Moradifam [GM] has proved that on S 2 the only solution to u + λ = e 2u is constant when < λ 2. From now on (, g) is a compact surface such that the Gaussian curvature K 0 and on the boundary the geodesic curvature κ. Suppose u C () satisfies the equation (.). Let v = e u. By simple calculation v satisfies the following equation v = v v 2 on, v + λv = on.
4 XIAODONG WANG Therefore Theorem 2 follows from the following Theorem 6. Suppose v > 0 satisfies the above equation. If λ < then v is constant; if λ = and v is not constant, then is isometric to the unit disc B 2 and v is given by v (z) = + a 2 z 2 2 Re (za) a 2, for some a B 2. Consider φ = v v 2. Lemma. φ is subharmonic, i.e. φ 0. Proof. By the Bochner formula 2 v 2 = D 2 v 2 + v, v + K v 2 2 ( v)2 + v, v = ( 2 v 2 v 4 + v, v v 2). Thus 2 φ = 2 v v 2 v 2 v, v 2 2 v 2 v v 2 + v 3 v 4 v 3 v 4 + v v, (v v 2) v 2 v, v 2 = 0. In the following we denote v by f and χ = v = λf. We use the arclength s to parametrize the boundary. Then φ (s) := φ = f (s) ( f (s) 2 + χ (s) 2) = f [ (f ) 2 + (λf ) 2]. Lemma 2. We have φ (2.) 2f [ ( (f ) 2 + χ 2) ( ) ] 2 f χ + λ (f ) 2 f χ. Proof. We compute φ = 2f D 2 v ( v, ν) f 2 χ ((f ) 2 + χ 2) ( )] ( = 2f [χd 2 v (ν, ν) + f D 2 v s, ν f 2 χ (f ) 2 + χ 2). On one hand ( ) D 2 v s, ν = s v, ν = χ v, ν s = λf f s, ν s = λf κf.
UNIQUENESS RESULTS ON SURFACES WITH BOUNDARY 5 On the other hand from the equation of v we have on D 2 v (ν, ν) + κχ + f = f ( (f ) 2 + χ 2). Plugging the above two identities into the formula for φ yields φ [ = 2f ( f χ κ ) ( (f ) 2 + χ 2) ] + λ (f ) 2 f χ f 2 χ ((f ) 2 + χ 2) [( ( = 2f 2 f χ κ) (f ) 2 + χ 2) ] + λ (f ) 2 f χ [( ( 2f 2 f χ ) (f ) 2 + χ 2) ] + λ (f ) 2 f χ, where in the last step we use the assumption κ. Remark 2. From the proof it is clear that if equality holds in (2.) at a point where φ is not zero, then κ = there. Differentiating φ on the boundary we have on ( φ (s) = f (2f f + 2λχf ) f 2 f (f ) 2 + χ 2) [ ( = f f 2f + 2λχ f (f ) 2 + χ 2)]. We now prove Theorem 6. By the maximum principle φ achieves its maximum somewhere on the boundary, say at p 0 whose local parameter is s 0. Then we have φ (s 0 ) = 0, φ (s 0 ) 0, φ (s 0) 0. Moreover by the Hopf lemma, the 3rd inequality is strict unless φ is constant. Case. f (s 0 ) 0. Then we must have or 2f + 2λχ f ( (f ) 2 + χ 2) = 0 f = 2 f ( (f ) 2 + χ 2) λχ at s 0. Plugging into the inequality for φ at s 0 we have φ (s 0) 2f (λ ) ((f ) 2 + χ 2) 0, as λ. Therefore φ is constant. Moreover if λ <, then φ is identically zero and hence v is constant. Case 2. f (s 0 ) = 0. Then φ (s 0 ) = f f [ 2f + 2λχ f χ 2] = f 2 f 2ff + (λf) 2.
6 XIAODONG WANG As φ (s 0 ) 0 and φ (s 0) 0 we have at s 0 (λf) 2 f + 2f (f ) 2 0, ( ) χ 2 2 f χ f χ 0 In particular the st inequality implies that are 2 possibilities. Case 2a. f 0 and χ = λf 0. In this case the two inequalities simplify as (λf) 2 + 2ff 0, ( ) χ 2 f χ f 0. Thus canceling f yields 2χ (λ ) f = (λf) 2 f 0. Therefore there (λf) 2 + χ (χ 2f) 0. As λ we must conclude all the above inequalities are equalities. In particular φ (s 0) = 0 and hence φ is constant. Moreover if λ <, then χ (s 0 ) = 0 and hence φ (s 0 ) = 0. It follows that φ is identically zero and hence v is constant. Case 2b. f 0 and χ = λf 0. In this case the two inequalities simplify as Thus canceling f yields 2χ (λ ) f = (λf) 2 ( χ 2 f χ + 2ff 0, ) f 0. (λf) 2 + χ (χ 2f) 0. Clearly we can draw the same conclusion. It remains to consider the case when λ = and φ = 2a is a positive constant. Then from the proof of Lemma we conclude that K = 0 and D 2 v = ag on, = f on. v From the proof of Lemma and Remark we also have κ =. By the Riemann mapping theorem we can take to be B 2 with g = e 2w g 0, here g 0 is the Euclidean metric. As K = 0 and κ = we have w = 0 on B 2, w r = ew on S. Applying our argument to w we conclude that the Hessian of e w is 2cI for some constant c 0. It follows that e w = c x ξ 2 + c. From the above equation we can easily show that w must be of the form a 2 w = log + a 2 z 2 2 Re (za)
UNIQUENESS RESULTS ON SURFACES WITH BOUNDARY 7 for some a B 2 and hence g = F g 0 where F is the linear fractional transformation F (z) = z a az. ) Therefore (, g) is isometric to (B 2, g 0. The same argument can now be applied to v to finish the proof. 3. The supercritical case λ > on B 2 A natural question is whether one can say something about the equation (.) in the supercritical case λ >. In general we do not have anything. But on B 2 we have a complete answer. Theorem 7. Suppose u is a smooth function on B 2 satisfying the following equation u = 0 on B 2, = λ (eu ) on S, where λ > 0 is a constant (the case λ 0 is trivial by the maximal principle). Then () If λ / N then u is constant. (2) If λ = N N then either u or for some ξ C with ξ >. u (z) = log ξ 2 ξ z N 2, The st part was proved in [OPS, Lemma 2.3]. We first review their method and then deduce the 2nd part. Let f = u S which can be expressed in terms of its Fourier series f = a n e inθ = f (n) e inθ. Then u = a n r n e inθ, = n a n e inθ = H ( ) df, dθ where H is the Hilbert transform. Thus the boundary condition can be written as ( ) df H = λ ( e f ). dθ Differentiating the above equation yields ( d 2 ) f H dθ 2 = λe f df dθ ( = H ( df dθ ) ) df + λ dθ. Setting v = df/dθ, we have vdθ = 0 and S ( ) dv (3.) H = vhv + λv. dθ Since v = v (n) e inθ, Hv = i sgn (n) v (n) e inθ
8 XIAODONG WANG we have vhv = i ( By the equation (3.) we must have k+l=n ( n λ) v (n) = i sgn (k) v (k) v (l) k+l=n ) e inθ sgn (k) v (k) v (l). We know v (0) = 0. We observe that in the above summation each pair (k, l) with k, l having different sign will be canceled by the pair (l, k). Therefore for n > 0 n (3.2) (n λ) v (n) = i v (k) v (n k). From the above equation Osgood, Phillips and Sarnak [OPS] proved by induction that the Fourier coefficients v (n) = 0 for all n Z, provided that λ / Z. Suppose now λ = N is a positive integer. We prove by induction for all n > 0 { 0, if N n (3.3) v (n) = k= i ( i v(n))m N m if n = mn. By conjugation we also get v ( n). Suppose that it has been proved for all positive integers < n. If n is not a multiple of N, then in the summation on the RHS of (3.2) either k or l is not a multiple of N and hence v (k) v (l) = 0 by the induction hypothesis. Therefore v (n) = 0. If n = (m + ) N we have from (3.2) and the induction hypothesis m mn v ((m + ) N) = i v (kn) v ((m + k) N) = i k= m ( i v (N)) m+ k= N m ( i v (N))m+ = im N m. Therefore ( i v (N))m+ v ((m + ) N) = i N m. This proves (3.3). If v (N) = 0 clearly v = 0 and f is constant and as a result u must be identically. From now on we assume that v (N) 0. Setting ξ = N/ ( i v (N)), we have v = 2 Re ( i v (N))m i N m e imnθ m= e inθ /ξ = 2N Re i e inθ /ξ 2N(b cos Nθ a sin Nθ = ξ e inθ 2,
UNIQUENESS RESULTS ON SURFACES WITH BOUNDARY 9 with a = Re ξ, b = Im ξ. For v to be defined on the entire S we must have ξ. Without loss of generality we take ξ >. Integrating yields that for some C > 0 f = log Taking the harmonic extension we obtain From the boundary condition ξ 2. This finishes the proof. u (z) = log C ξ e inθ 2. C ξ z N 2. = N (eu ) one can easily determine C to be 4. An integral inequality As before (, g) denotes a compact surface with boundary with Gaussian curvature K 0 and geodesic curvature κ on the boundary. By the Gauss-Bonnet formula K + κ = 2π, we easily see that the perimeter of the boundary L 2π. We remark that one can also prove the area A π without much difficulty, though this fact is not needed here. Theorem 8. For any smooth function u on (4.) u 2 + ( ) u log e u 0. 2L L L Moreover if there exists a nonconstant extremal function then is isometric to B 2 and all extremal functions are of the following form for some a B 2 and c R. u (x) = log a 2 + a 2 x 2 2x a + c, On B 2 the above inequality becomes u 2 + ( ) udθ log e u dθ 0, 4π B 2π 2 S 2π S a result proved in Osgood, Phillips and Sarnak [OPS]. We consider the following functional F t (u) = u 2 + ( ) u log e u. 2t L L Notice that F t (u + c) = F t (u) and F t (0) = 0. We first prove that F t is coercive if t < 2π. By the Riemann mapping theorem we can take to be B 2 with g = e 2φ g 0, here g 0 is the Euclidean metric. Then F t (u) = u 2 dxdy + ( ) ue φ dθ log e u+φ dθ. 2t B L 2 S L S
0 XIAODONG WANG Without loss of generality we assume 2π udθ = 0. By Theorem 0 ( 2π ) log e u+φ dθ (u + φ) 2 dxdy + (u + φ) dθ + log 2π L 0 4π B 2π 2 S L = u 2 + 2 u, φ + φ 2 + φdθ + log 2π 4π B 2π 2 S L + ε u 2 + + /ε φ 2 + φdθ + log 2π 4π B 4π 2 B 2π 2 S L. Let U be the harmonic extension of u S on B 2. Using Fourier series it is easy to see 2π u 2 dθ U 2 dxdy 2π 0 2π B 2 u 2 dxdy. 2π B 2 Thus L 2π 0 ue φ dθ 2π ( 2π ) /2 ( 2π udθ L 2π 0 2π 0 2π ( ) /2 ( u 2 dxdy L 2π B 2π 2 ε u 2 + C/ε, 4π B 2 ) /2 e 2φ dθ 2π 0 ) /2 e 2φ dθ where C depends on 2π e 2φ dθ. Combining these inequalities we obtain 0 ( F t (u) 2t + 2ε ) u 2 dxdy + C ε. 4π B 2 As t < 2π, we can choose ε > 0 small enough such that 2t +2ε 4π > 0. Therefore F t is coercive if t < 2π. It then follows that the infimum of F t is achieved by some u 0 which must satisfy the following Euler-Lagrange equation u = 0 on, + λ = aeu on, with λ = t L and a = t/ eu. If t < L 2π, by Theorem 2 u 0 must be constant and hence the infimum of F t is zero. Therefore if t < L F t (u) = u 2 + ( ) u log e u 0. 2t L L Letting t L yields (4.). The 2nd part about extremal functions obviously follows from Theorem 2.
UNIQUENESS RESULTS ON SURFACES WITH BOUNDARY References [BVV] M.-F.Bidaut-Véron; L. Véron. Nonlinear elliptic equations on compact Riemannian manifolds and asymptotics of Emden equations. Invent. Math. 06 (99), no. 3, 489 539. [E] J. Escobar. The geometry of the first non-zero Stekloff eigenvalue. J. Funct. Anal. 50 (997), no. 2, 544 556. [GM] C. Gui; A. Moradifam. The Sphere Covering Inequality and Its Applications, arxiv: 605.0648 [I] S. Ilias. Inégalités de Sobolev et résultats d isolement pour les applications harmoniques. J. Funct. Anal. 39 (996), no., 82 95. [HW] F. Hang; X. Wang. Rigidity theorems for compact manifolds with boundary and positive Ricci curvature. J. Geom. Anal. 9 (2009), no. 3, 628 642. [HW2] F. Hang; X. Wang. A new approach to some nonlinear geometric equations in dimension two. Calc. Var. Partial Differential Equations 26 (2006), no., 9 35. [OPS] B. Osgood; R. Phillips; P. Sarnak. Extremals of determinants of Laplacians. J. Funct. Anal. 80 (988), no., 48 2. [P] L. E. Payne. Some isoperimetric inequalities for harmonic functions, SIAM J. Math. Anal. (970), 354 359. [Zh] L. Zhang. Classification of conformal metrics on R 2 + with constant Gauss curvature and geodesic curvature on the boundary under various integral finiteness assumptions. Calc. Var. Partial Differential Equations 6 (2003), no. 4, 405 430. Department of Mathematics, Michigan State University, East Lansing, MI 48824 E-mail address: xwang@math.msu.edu