Relative Isoperimetric Inequality Outside Convex Bodies Mohammad Ghomi (www.math.gatech.edu/ ghomi) Georgia Institute of Technology Atlanta, USA May 25, 2010, Tunis From Carthage to the World
Joint work with Jaigyoung Choe (Korean Institute for Advanced Study) Mauel Ritore (University of Granada, Spain)
Let D R n be a bounded set with boundary Σ := D of finite area. The Classical Isoperimetric Ineq: Area(Σ) Area ( sphere of volume Vol(D) ). Equality holds only when D is a ball. ( Area means the (n 1)-dimensional, and Volume is the n-dimensional, Hausdorff measures).
Let C R n be a convex set with interior points and smooth (C ) boundary, and D R n C be a bounded set with finite perimeter, and set Σ := D C. Theorem [Relative Isoperimetric Ineq.] Area(Σ) Area ( hemisphere of volume Vol(D) ). Equality holds only when D is a half-ball.
Let C R n be a convex set with interior points and smooth (C ) boundary, and D R n C be a bounded set with finite perimeter, and set Σ := D C. Theorem [Relative Isoperimetric Ineq.] Area(Σ) Area ( hemisphere of volume Vol(D) ). Equality holds only when D is a half-ball.
Let C R n be a convex set with interior points and smooth (C ) boundary, and D R n C be a bounded set with finite perimeter, and set Σ := D C. Theorem [Relative Isoperimetric Ineq.] Area(Σ) Area ( hemisphere of volume Vol(D) ). Equality holds only when D is a half-ball.
Note: Relative Isop. Ineq = Classical Isop. Ineq. D Given a region D R n, there exists a hyperplane H R n which cuts D into regions of equal volume. By the Rel. Isop. Ineq., the area of D on either side of H is no less than that of a hemisphere with half the volume of D. So the area of D cannot be less than that of a sphere with the same volume.
Note: Relative Isop. Ineq = Classical Isop. Ineq. D Given a region D R n, there exists a hyperplane H R n which cuts D into regions of equal volume. By the Rel. Isop. Ineq., the area of D on either side of H is no less than that of a hemisphere with half the volume of D. So the area of D cannot be less than that of a sphere with the same volume.
Note: Relative Isop. Ineq = Classical Isop. Ineq. D Given a region D R n, there exists a hyperplane H R n which cuts D into regions of equal volume. By the Rel. Isop. Ineq., the area of D on either side of H is no less than that of a hemisphere with half the volume of D. So the area of D cannot be less than that of a sphere with the same volume.
Note: Relative Isop. Ineq = Classical Isop. Ineq. D Given a region D R n, there exists a hyperplane H R n which cuts D into regions of equal volume. By the Rel. Isop. Ineq., the area of D on either side of H is no less than that of a hemisphere with half the volume of D. So the area of D cannot be less than that of a sphere with the same volume.
Note: Relative Isop. Ineq = Classical Isop. Ineq. D Given a region D R n, there exists a hyperplane H R n which cuts D into regions of equal volume. By the Rel. Isop. Ineq., the area of D on either side of H is no less than that of a hemisphere with half the volume of D. So the area of D cannot be less than that of a sphere with the same volume.
Note: Relative Isop. Ineq = Classical Isop. Ineq. D Given a region D R n, there exists a hyperplane H R n which cuts D into regions of equal volume. By the Rel. Isop. Ineq., the area of D on either side of H is no less than that of a hemisphere with half the volume of D. So the area of D cannot be less than that of a sphere with the same volume.
The proof of the relative isoperimetric inequality involves 3 parts: 1. Existence and Regularity of the minimizer 2. Reducing the problem to a curvature estimate 3. Obtaining that estimate.
Lemma (Existence and Regularity) Let E be the closure of a bounded domain with smooth boundary in R n C. Then, for any v (0, Vol E), there is a set D E of volume v minimizing the area of Σ. C D E Moreover...
Lemma (Continued) (i) Σ has constant mean curvature and is smooth in the interior of E except for a singular set of Hausdorff dimension less than or equal to (n 8). (ii) Σ meets C orthogonally except for a singular set of Hausdorff dimension less than or equal to (n 8). In fact Σ is smooth at every point of Σ C away from this singular set. (iii) If E C is strictly convex, then Σ meets E C tangentially and it is C 1,1 in a neighborhood of E C. (iv) At every point p Σ there is a tangent cone obtained by blowing up Σ about p. If this tangent cone is contained in a half space of R n, then it is the half space and Σ is regular at p.
Note The C 1,1 regularity of Σ almost everywhere is enough for our purposes since, by Rademacher s Theorem, a C 1,1 hypersurface has principal curvatures defined almost everywhere, and thus we will be able to talk about integral estimates for curvature of Σ.
To prove the relative isoperimetric inequality we constrct an exhaustion of R n : Fix p 0 C and let E m := B(p 0, m) C. The isoperimetric profile of E m is defined as I Em (v) := inf { Area(Σ) : D E m, Vol D = v } All we need is to show that, for all v (0, Vol(E m )) I Em (v) I H n(v) where I H n(v) denotes the isoperimetric profile of the halfspace H n : I H n(v) := Area(Hemisphere of volume v)
I Em (v) I H n(v) It is well known that I Em is increasing so I 1 E m inequality is then equivalent to exists. The above for all a (0, I Em (Vol(E m )). I 1 E m (a) I 1 H n (a)
It is well known that I 1 E m is absolutely continuous. In particular (I 1 E m ) exists almost everywhere. Thus, since I 1 E m (0) = 0 = I 1 H (0), to prove that I 1 n E I 1 m H it n suffices to show that But where ( I 1 E m ) ( I 1 H n ) (I 1 E m ) (a) = ( (n 1)HΣ (a) ) 1 (I 1 H n ) (a) = ( (n 1)H0 (a) ) 1 H Σ (a) is the mean curvature of the hypersurface Σ corresponding to any region D E m with Area(Σ) = a which has the largest volume. H 0 (a) is the mean curvature of a hemisphere of area a.
So, to prove the relative isoperimetric inequality, all we need is to show that H Σ (a) H 0 (a). for all a (0, I 1 E m (Vol(E m ))). That is, the mean curvature of any hypersurface Σ, trapping the smallest possible volume v against C, is not greater than the mean curvature of a hemisphere with the same area as Σ. We will also show that the equality holds only when Σ itself is a hemisphere. From now on let us fix a and set H Σ := H Σ (a), H 0 := H 0 (a).
To prove that H Σ H 0, let Σ be oriented by the unit normals which point outside of D: Let k i, i = 1,..., n 1, be the principal curvatures of Σ with respect to n and set Σ + := {p Σ k i (p) > 0}. Since H is constant and positive, Area(Σ)H n 1 Σ = Σ H n 1 Σ H n 1 Σ Σ + K, Σ + the last inequality follows from the arithmetic vs. geometric mean inequalities.
So it remains to show that Σ + K Area(Σ)H n 1 0 where, recall that, H 0 is the mean curvature of a hemisphere of the same area as Σ.
But if H 0 is the mean curvature of a hemisphere of the same area as Σ, then if r denotes the radius of that hemisphere, we have Area(Σ)H n 1 0 = ( Area(S n 1 ) ( ) 1 r n 1 2 r = Area(Sn 1 ). 2 ) n 1 So, to prove that Σ + K Area(Σ)H n 1 0, it suffices to show that Σ + K Area(Sn 1 ) 2 This is all we need to prove the relative isop. ineq. Further we will show that if equality holds in the above inequality, then Σ lies in a hyperplane, which takes care of uniqueness.
Theorem Let Σ R n be a compact embedded hypersurface which is C 1,1 almost everywhere. Suppose that Σ lies on the boundary of a convex C 1 set C R n and at every regular point p Σ, the inward normal σ(p) of Σ is an outward normal of C. Then K Area(Sn 1 ), Σ + 2 and equality holds if and only if Σ lies in a hyperplane.
Proving that Σ + K Area(S n 1 )/2 is easy to do in two special cases: Easy Case 1: n = 3 and χ(m) = 1 Since C is convex and Σ lies outside of C near Σ, it follows that the geodesic curvature of Σ is nonpostitive everywhere. So κ g 0. Σ Consequently, by Gauss-Bonnet theorem: K K = 2πχ(Σ) Σ + Σ Σ κ g 2π.
Easy Case 2: C = S n 1 Connect all points of Σ by straight lines to the center o of S n 1. Then we obtain a closed surface Σ. For every u S n 1, Σ must have a support hyperplane with outward normal u or u which does not contain o and is consequently tangent to Σ.
Note In general, however, it is not true that for every u S n 1, Σ must have a tangent support hyperplane with outward normal u or u: This is one of the reasons that proving Σ + K Area(S n 1 )/2 is not so trivial. Still, we will show that for at least half of the directions u S n 1, Σ has a tangent support hyperplane with outward normal u.
Showing that the outward normals of tangent support hyperplanes of Σ fill up at least half of the sphere is based on the following simple observation:
Let p Σ, σ(p) be the inward normal to Σ and u S n 1 be the outward normal to a support hyperplane of Σ such that σ(p), u > 0. Then Σ lies on one side of the hyperplane H which passes through p and is orthogonal to u, while some interior points of Σ lie on the other side of H where σ(p) points. So moving H parallel to itself in the direction of u we obtain a tangent support hyperplane with outward normal u.
So all we need to show is that the measure in S n 1 of all unit vectors u such that 1. u, σ(p) > 0, for some p Σ 2. u supports Σ adds up to at least half the area of S n 1.
In other words, let N p ( Σ) be the support cone of Σ at p, i.e., N p ( Σ) := {u S n 1 q p, u 0, for all q Σ}. This is just the set of unit vectors such that there exists a hyperplane through p and with outward normal u with respect to which Σ lies one side (the side opposite to u). Then let N p ( Σ)/σ(p) := {u N p ( Σ) u, σ(p) > 0}. be the support cone modified by σ and set N(Σ)/σ := N p ( Σ)/σ(p). p Σ What we need to show is that µ ( N(Σ)/σ ) 1 2 Area(Sn 1 ) where µ denotes the measure in S n 1.
What we need is a special case of the following general fact: Theorem Let X R n be a compact set which is disjoint from the relative interior of its convex hull (e.g., let X = Σ). Suppose there exists a continuous mapping σ : X S n 1 such that σ(p) N p X for all p X (e.g. σ is the inward normal of Σ). Then Area ( NX /σ ) Area(Sn 1 ). 2 Equality holds if and only if X lies in a hyperplane Π, and σ(p) is orthogonal to Π for all exposed points p X.
To see why the last claim is true, first suppose that X is a convex polytope, or is discrete (e.g. Σ is polygonal). Then N(X ) = i N pi (X ) where p i are the vertices of X, and N(X )/σ = i N pi (X )/σ i
Note that, by convexity, µ(n pi (X )) = µ(n(x )) = Area(S n 1 ). i So when X is dicsrete to prove that µ(n(x )/σ) Area(S n 1 )/2 all we need is to show that µ(n pi (X )/σ i ) 1 2 µ(n p i (X ))
But N p (X )/σ = N p (X ) H σ where H σ is a hemisphere centered at σ. Further, N p (X ) is a convex subset of S n 1. So, when X is discrete, all we need to show is that...
Lemma Let A S n 1 be a (geodesically) convex set, and u A. Then µ(a H u ) 1 2 µ(a). where H u is a hemisphere centered at u. Furthermore equality holds if and only if u A. u H u This is the deep reason behind the relative (and the classical!) isoperimetric inequality.
To prove that Area ( NX /σ ) Area(Sn 1 ) 2 for general sets, we approximate them by polytopes and apply the previous lemma. The strict inequality then will get pushed through the limit easily. In order to push through the sharp inequality, we need a stronger version of the previous lemma which includes a stability result as well...
Lemma Let A S n 1 be a (geodesically) convex set, and u A. Then µ(a H u ) 1 2 µ(a). where H u is a hemisphere centered at u. Equality holds if and only if u A. Further, for every ɛ > 0 there exists δ > 0 such that ( ) 1 µ(x H u ) 2 + δ µ(x ) = dist(x, u) ɛ.
Generalization: The Capillary Isopermetric Inequality Let C be a convex domain in R n and D be a domain in R n C. Define the capillary volume VolC θ ( D) := Vol( D C) (cos θ)vol( D C) where 0 θ π. Then Vol θ C ( D) Vol θ H n( B) where H n is a half space of R n and B n R n is a ball such that B := B n H n has corner angle θ and Vol(D) = Vol(B). Equality holds if and only if D = B.
Thank you!