ECOLE POLYTECHNIQUE. Uniqueness of the Cheeger set of a convex body CENTRE DE MATHÉMATIQUES APPLIQUÉES UMR CNRS 7641

Similar documents
Total Variation and Cheeger sets in Gauss space

ECOLE POLYTECHNIQUE. Approximation of the anisotropic mean curvature ow CENTRE DE MATHÉMATIQUES APPLIQUÉES UMR CNRS A. Chambolle, M.

On a weighted total variation minimization problem

GIOVANNI COMI AND MONICA TORRES

ON MAPS WHOSE DISTRIBUTIONAL JACOBIAN IS A MEASURE

Uniqueness of the Cheeger set of a convex body

Fine properties of the subdifferential for a class of one-homogeneous functionals

P(E t, Ω)dt, (2) 4t has an advantage with respect. to the compactly supported mollifiers, i.e., the function W (t)f satisfies a semigroup law:

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

FUNCTIONS OF BOUNDED VARIATION AND SETS OF FINITE PERIMETER

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

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

SHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction

Regularity and nonexistence results for anisotropic quasilinear elliptic equations in convex domains

MORREY SPACES AND GENERALIZED CHEEGER SETS

GRAND SOBOLEV SPACES AND THEIR APPLICATIONS TO VARIATIONAL PROBLEMS

From the Brunn-Minkowski inequality to a class of Poincaré type inequalities

EXISTENCE AND REGULARITY RESULTS FOR SOME NONLINEAR PARABOLIC EQUATIONS

HOMEOMORPHISMS OF BOUNDED VARIATION

Local semiconvexity of Kantorovich potentials on non-compact manifolds

ON THE DIAMETER OF THE ATTRACTOR OF AN IFS Serge Dubuc Raouf Hamzaoui Abstract We investigate methods for the evaluation of the diameter of the attrac

MINIMAL GRAPHS PART I: EXISTENCE OF LIPSCHITZ WEAK SOLUTIONS TO THE DIRICHLET PROBLEM WITH C 2 BOUNDARY DATA

Technische Universität Dresden

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

Key words. Disocclusion, Elastica, BV functions, Interpolation, Variational approach, Γ- convergence

The p-laplace eigenvalue problem as p 1 and Cheeger sets in a Finsler metric

Universität des Saarlandes. Fachrichtung Mathematik. Preprint Nr. 391

Γ -convergence of the Allen Cahn energy with an oscillating forcing term

An introduction to Mathematical Theory of Control

Continuous Primal-Dual methods for Image Processing

A Necessary and Sufficient Condition for the Continuity of Local Minima of Parabolic Variational Integrals with Linear Growth

MINIMAL SURFACES AND MINIMIZERS OF THE GINZBURG-LANDAU ENERGY

Nonlinear elliptic systems with exponential nonlinearities

Divergence-measure fields: an overview of generalizations of the Gauss-Green formulas

MORREY SPACES AND GENERALIZED CHEEGER SETS

Symmetry breaking for a problem in optimal insulation

NONTRIVIAL SOLUTIONS TO INTEGRAL AND DIFFERENTIAL EQUATIONS

Regularity and compactness for the DiPerna Lions flow

A LOCALIZATION PROPERTY AT THE BOUNDARY FOR MONGE-AMPERE EQUATION

SOME MEASURABILITY AND CONTINUITY PROPERTIES OF ARBITRARY REAL FUNCTIONS

MEAN CURVATURE FLOW OF ENTIRE GRAPHS EVOLVING AWAY FROM THE HEAT FLOW

Entrance Exam, Real Analysis September 1, 2017 Solve exactly 6 out of the 8 problems

Convexity of level sets for solutions to nonlinear elliptic problems in convex rings. Paola Cuoghi and Paolo Salani

Continuous Sets and Non-Attaining Functionals in Reflexive Banach Spaces

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

3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

Boundary measures, generalized Gauss Green formulas, and mean value property in metric measure spaces

Some Remarks About the Density of Smooth Functions in Weighted Sobolev Spaces

AFFINE MAXIMAL HYPERSURFACES. Xu-Jia Wang. Centre for Mathematics and Its Applications The Australian National University

+ 2x sin x. f(b i ) f(a i ) < ɛ. i=1. i=1

2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

On the distributional divergence of vector fields vanishing at infinity

EXISTENCE OF STRONG SOLUTIONS OF FULLY NONLINEAR ELLIPTIC EQUATIONS

AN EXAMPLE OF FUNCTIONAL WHICH IS WEAKLY LOWER SEMICONTINUOUS ON W 1,p FOR EVERY p > 2 BUT NOT ON H0

A note on W 1,p estimates for quasilinear parabolic equations

Subdifferential representation of convex functions: refinements and applications

A metric space X is a non-empty set endowed with a metric ρ (x, y):

THE STEINER REARRANGEMENT IN ANY CODIMENSION

The variable exponent BV-Sobolev capacity

The effects of a discontinues weight for a problem with a critical nonlinearity

Laplace s Equation. Chapter Mean Value Formulas

Stepanov s Theorem in Wiener spaces

(NON)UNIQUENESS OF MINIMIZERS IN THE LEAST GRADIENT PROBLEM

THEOREMS, ETC., FOR MATH 515

The BV space in variational and evolution problems

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

Remarks on the Gauss-Green Theorem. Michael Taylor

ESTIMATES FOR THE MONGE-AMPERE EQUATION

ON THE EXISTENCE OF THREE SOLUTIONS FOR QUASILINEAR ELLIPTIC PROBLEM. Paweł Goncerz

Common fixed points for α-ψ-ϕ-contractions in generalized metric spaces

ON A MAXIMAL OPERATOR IN REARRANGEMENT INVARIANT BANACH FUNCTION SPACES ON METRIC SPACES

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

Centre for Mathematics and Its Applications The Australian National University Canberra, ACT 0200 Australia. 1. Introduction

Course 212: Academic Year Section 1: Metric Spaces

Γ-convergence of functionals on divergence-free fields


Boot camp - Problem set

ISOPERIMETRIC REGIONS IN ROTATIONALLY SYMMETRIC CONVEX BODIES

Regularity for solutions of the total variation denoising problem

SEPARABILITY AND COMPLETENESS FOR THE WASSERSTEIN DISTANCE

ECOLE POLYTECHNIQUE. Piecewise rigidity CENTRE DE MATHÉMATIQUES APPLIQUÉES UMR CNRS A. Chambolle, A. Giacomini, M.

Fonctions on bounded variations in Hilbert spaces

Slow motion for the nonlocal Allen Cahn equation in n-dimensions

arxiv: v1 [math.oc] 16 Apr 2013

Representation of the polar cone of convex functions and applications

Appendix B Convex analysis

b i (µ, x, s) ei ϕ(x) µ s (dx) ds (2) i=1

ELLIPTIC PROBLEMS INVOLVING THE 1 LAPLACIAN AND A SINGULAR LOWER ORDER TERM

Positive eigenfunctions for the p-laplace operator revisited

The optimal partial transport problem

CAUCHY FLUXES AND GAUSS-GREEN FORMULAS FOR DIVERGENCE-MEASURE FIELDS OVER GENERAL OPEN SETS

Micro-support of sheaves

arxiv: v2 [math.ap] 2 Nov 2017

Robustness for a Liouville type theorem in exterior domains

Internal Stabilizability of Some Diffusive Models

Domains in metric measure spaces with boundary of positive mean curvature, and the Dirichlet problem for functions of least gradient

MATHS 730 FC Lecture Notes March 5, Introduction

ASYMPTOTIC BEHAVIOUR OF NONLINEAR ELLIPTIC SYSTEMS ON VARYING DOMAINS

ELLIPTIC EQUATIONS WITH MEASURE DATA IN ORLICZ SPACES

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

Transcription:

ECOLE POLYTECHNIQUE CENTRE DE MATHÉMATIQUES APPLIQUÉES UMR CNRS 7641 91128 PALAISEAU CEDEX (FRANCE). Tél: 01 69 33 41 50. Fax: 01 69 33 30 11 http://www.cmap.polytechnique.fr/ Uniqueness of the Cheeger set of a convex body V. Caselles, A. Chambolle, M. Novaga R.I. 621 August 2007

Uniqueness of the Cheeger set of a convex body V. Caselles, A. Chambolle, M. Novaga Abstract We prove that if C R N is of class C 2 and uniformly convex, then the Cheeger set of C is unique. The Cheeger set of C is the set which minimizes, inside C, the ratio perimeter over volume. 1 Introduction Given an nonempty open bounded subset of R N, we call Cheeger constant of the quantity P (K) h = min. (1) K K Here K denotes de N-dimensional volume of K and P (K) denotes the perimeter of K. The minimum in (1) is taken over all nonempty sets of nite perimeter contained in. A Cheeger set of is any set G which minimizes (1). If minimizes (1), we say that it is Cheeger in itself. We observe that the minimum in (1) is attained at a subset G of such that G intersects : otherwise we would diminish the quotient P (G)/ G by dilating G. For any set of nite perimeter K in R N, let us denote λ K := P (K). K Notice that for any Cheeger set G of, λ G = h G. Observe also that G is a Cheeger set of if and only if G minimizes min P (K) λ G K. (2) K We say that a set R N is calibrable if minimizes the problem min P (K) λ K. (3) K In particular, if G is a Cheeger set of, then G is calibrable. Thus, is a Cheeger set of itself if and only if it is calibrable. Departament de Tecnologia, Universitat Pompeu-Fabra, Barcelona, Spain, e-mail: vicent.caselles@tecn.upf.es CMAP, Ecole Polytechnique, CNRS, 91128 Palaiseau, France, e-mail: antonin.chambolle@polytechnique.fr Dipartimento di Matematica, Università di Pisa, Largo B. Pontecorvo 5, 56127 Pisa, Italy, e-mail: novaga@dm.unipi.it 1

Finding the Cheeger sets of a given is a dicult task. This task is simplied if is a convex set and N = 2. In that case, the Cheeger set in is unique and is identied with the set R B(0, R) where R := {x : dist(x, ) > R} is such that R = πr 2 and A B := {a + b : a A, b B}, A, B R 2 [2, 19]. We see in particular that it is convex. Moreover, a convex set R 2 is Cheeger in itself if and only if max x κ (x) λ where κ (x) denotes the curvature of at the the point x. This has been proved in [14, 9, 19, 2, 20], though it was stated in terms of calibrability in [9, 2]. The proof in [14] had also a complement result: if is Cheeger in itself then is strictly calibrable, that is, for any set K, K, then 0 = P () λ < P (K) λ K, and this implies that the capillary problem in absence of gravity (with vertical contact angle at the boundary) ( ) Du div = λ in 1 + Du 2 (4) Du 1 + Du 2 ν = 1 in has a solution. Indeed, both problems are equivalent [14, 18]. Our purpose in this paper is to extend the above result to R N, that is, to prove the uniqueness and convexity of the Cheeger set contained in a convex set R N. We have to assume, in addition, that is uniformly convex and of class C 2. This regularity assumption is probably too strong, and its removal is the subject of current research [1]. The characterization of a convex set R N of class C 1,1 which is Cheeger in itself (also called calibrable) in terms of the mean curvature of its boundary was proved in [3]. The precise result states that such a set is Cheeger in itself if and only if κ (x) λ for any x, where κ (x) denotes the sum of the principal curvatures of the boundary of, i.e. (N 1) times the mean curvature of at x. Moreover, in [3], the authors also proved that for any convex set R N there exists a maximal Cheeger set contained in which is convex. These results were extended to convex sets satisfying a regularity condition and anisotropic norms in R N (including the crystalline case) in [12]. In particular, we obtain that R N is the unique Cheeger set of itself, whenever is a C 2, uniformly convex calibrable set. We point out that, by Theorems 1.1 and 4.2 in [14], this uniqueness result is equivalent to the existence of a solution u W 1, loc () of the capillary problem (4). Let us explain the plan of the paper. In Section 2 we collect some denitions and recall some results about the mean curvature operator in (4) and the subdierential of the total variation. In Section 3 we state and prove the uniqueness result. 2

2 Preliminaries 2.1 BV functions Let be an open subset of R N. A function u L 1 () whose gradient Du in the sense of distributions is a (vector valued) Radon measure with nite total variation in is called a function of bounded variation. The class of such functions will be denoted by BV (). The total variation of Du on turns out to be { } sup u div z dx : z C0 (; R N ), z L () := ess sup z(x) 1, (5) x (where for a vector v = (v 1,..., v N ) R N we set v 2 := N i=1 v2 i ) and will be denoted by Du () or by Du. The map u Du () is L1 loc ()-lower semicontinuous. BV () is a Banach space when endowed with the norm u dx + Du (). We recall that BV (RN ) L N/(N 1) (R N ). A measurable set E R N is said to be of nite perimeter in R N if (5) is nite when u is substituted with the characteristic function χ E of E and = R N. The perimeter of E is dened as P (E) := Dχ E (R N ). For a complete monograph on functions of bounded variation we refer to [5]. Finally, let us denote by H N 1 the (N 1)-dimensional Hausdor measure. We recall that when E is a nite-perimeter set with regular boundary (for instance, Lipschitz), its perimeter P (E) also coincides with the more standard denition H N 1 ( E). 2.2 A generalized Green's formula Let be an open subset of R N. Following [7], let X 2 () := {z L (; R N ) : div z L 2 ()}. If z X 2 () and w L 2 () BV () we dene the functional (z Dw) : C0 () R by the formula < (z Dw), ϕ >:= w ϕ div z dx w z ϕ dx. Then (z Dw) is a Radon measure in, (z Dw) = z w dx w L 2 () W 1,1 (). Recall that the outer unit normal to a point x is denoted by ν (x). We recall the following result proved in [7]. Theorem 1. Let R N be a bounded open set with Lipschitz boundary. Let z X 2 (). Then there exists a function [z ν ] L ( ) satisfying [z ν ] L ( ) z L (;R N ), and such that for any u BV () L 2 () we have u div z dx + (z Du) = [z ν ]u dh N 1. Moreover, if ϕ C 1 () then [(ϕz) ν ] = ϕ[z ν ]. 3

This result is complemented with the following result proved by Anzellotti in [8]. Theorem 2. Let R N be a bounded open set with a boundary of class C 1. Let z C(; R N ) with div z L 2 (). Then [z ν ](x) = z(x) ν (x) H N 1 a.e. on. 2.3 Some auxiliary results Let be an open bounded subset of R N with Lipschitz boundary, and let ϕ L 1 (). For all ɛ > 0, we let Ψ ε ϕ : L 2 () (, + ] be the functional dened by Ψ ɛ ϕ(u) := ɛ 2 + Du 2 + u ϕ if u L 2 () BV () + if u L 2 () \ BV (). As it is proved in [15], if f W 1, (), then the minimum u BV () of the functional Ψ ɛ ϕ(u) + u(x) f(x) 2 dx (7) (6) belongs to u C 2+α (), for every α < 1. The mimimum u of (7) is a solution of u 1 λ div Du = f(x) in ε 2 + Du 2 u = ϕ on (8) where the boundary condition is taken in a generalized sense [21], i.e., [ Du ε 2 + Du 2 ν ] sign(ϕ u) H N 1 a.e. on. Observe that (8) can be written as u + 1 λ Ψɛ ϕ(u) f. (9) We are particularly interested in the case where ϕ = 0. As we shall [ show below (see ] also Du [3]) in the case of interest to us we have u > 0 on and, thus, ε 2 + Du ν = 1 2 H N 1 a.e. on. It follows that u is a solution of the rst equation in (8) with vertical contact angle at the boundary. As ɛ 0 +, the solution of (8) converges to the solution of u + 1 λ Ψ ϕ(u) = f(x) in (10) u = ϕ on. 4

where Ψ : L 2 () (, + ] is given by Du + u ϕ if u L 2 () BV () R Ψ ϕ (u) := N + if u L 2 () \ BV (). (11) In this case Ψ ϕ represents the operator div (Du/ Du ) with the boundary condition u = ϕ in, and this connection is precisely given by the following Lemma (see [6]). Lemma 2.1. The following assertions are equivalent: (a) v Ψ ϕ (u); (b) u L 2 () BV (), v L 2 (), and there exists z X 2 () with z 1, such that v = div z in D (), (z Du) = Du, and [z ν ] sign(ϕ u) H N 1 a.e. on. Notice that the solution u L 2 () of (10) minimizes the problem min Du + u(x) ϕ(x) dh N 1 (x) + λ u(x) f(x) 2 dx, (12) u BV () 2 and the two problems are equivalent. 3 The uniqueness theorem We now state our main result. Theorem 3. Let C be a convex body in R N. Assume that C is uniformly convex, with boundary of class C 2. Then the Cheeger set of C is convex and unique. We do not believe that the regularity and the uniform convexity of C is essential for this result (see [1]). Let us recall the following result proved in [3] (Theorems 6 and 8 and Proposition 4): Theorem 4. Let C be a convex body in R N with boundary of class C 1,1. For any λ, ε > 0, there is a unique solution u ε of the equation: u ε 1 λ div Du ε = 1 in C ε 2 + Du ε 2 (13) u ε = 0 on C, 5

such that 0 u ε 1. Moreover, there exist λ 0 and ε 0, depending only on C, such that if λ λ 0 and ε ε 0, then u ε is a concave function such that u ε α > 0 on C for some α > 0. Hence, u ε satises [ Du ɛ ɛ 2 + Du ɛ 2 νc ] = sign(0 u ɛ ) = 1 on C. (14) As ε 0, the functions u ε converge to the concave function u which minimizes the problem min Du + u(x) dh N 1 (x) + λ u(x) 1 2 dx (15) u BV (C) 2 C or, equivalently, if u is extended with zero out of C, u minimizes Du + λ u χ C 2 dx. R N 2 R N C The function u satises 0 u < 1. Moreover, the superlevel set {u t}, t (0, 1], is contained in C and minimizes the problem C min P (F ) λ(1 t) F. (16) F C It was proved in [3] (see also [12]) that the set C = {u = max C u} is the maximal Cheeger set contained in C, that is, the maximal set that solves (1). Moreover, one has u = 1 h C /λ > 0 in C and h C = λ C. If we want to consider what happens inside C and, in particular, if there are other Cheeger sets, we have to analyze the level sets of u ε before passing to the limit as ɛ 0 +. In order to do this, let us introduce the following rescaling of u ε : v ε = u ε m ε ε 0, where m ε = max C u ε 1 h C /λ as ε 0. The function v ε is a generalized solution of the equation: εv ε 1 λ div Dv ε 1 + Dvε = 1 m 2 ε in C (17) v ε = m ε /ε on C. We let z ε = Du ε / ε 2 + Du ε 2 = Dv ε / 1 + Dv ε 2. Notice that z ε is a vector eld in L (C), with uniformly bounded divergence, such that z ε 1 a.e. in C and, by (14), [z ε ν C ] = 1 on C. Let us study the limit of v ε and z ε as ε 0. Let us observe that, by concavity of v ε, for each ε > 0 small enough and each s (0, C ), there exists a (convex) superlevel set C ε s of v ε such that C ε s = s. We also observe that {v ε = 0} is a null set. Otherwise, since v ε is concave, it would be a convex set of positive measure, hence with nonempty interior. We would then have that v ε = div z ε = 0, hence 1 m ε = 0 in the interior of {v ε = 0}. This is a contradiction with Theorem 4 for ε > 0 small enough. Hence we may take C ε 0 := {v ε = 0} 6

and C C ε := C. The boundaries Cε s C dene in C a foliation, in the sense that for all x C, there exists a unique value of s [0, C ] such that x Cs. ε We observe that a sequence of uniformly bounded convex sets is compact both for the L 1 and Hausdor topologies. Hence, up to a subsequence, we may assume that Cs ε converge to convex sets C s, each of volume s, rst for any s Q (0, C ) and then by continuity for any s. Possibly extracting a further subsequence, we may assume that there exists s [0, C ] such that v ε goes to a concave function v in C s for any s < s, and to outside C := C s. We may also assume that z ε z weakly in L (C), for some vector eld z, satisfying z 1 a.e. in C. From (13) we have in the limit div z = λ(1 u) in D (C). (18) Moreover, by the results recalled in Section 2, it holds div z Ψ 0 (u). We see from (18) that div z = h C in C, (19) while div z > h C a.e. on C \ C. We let s := C, so that C = C s. By Theorem 4, for s s, the set C s is a minimizer of the variational problem min P (E) µ s E, (20) E C for some µ s h C (µ s is equal to the constant value of div z = λ(1 u) on C s C, see eq. (16)). Notice that µ s is bounded from above by P (C)/( C s): indeed, for ε > 0, one has div z ε (x) dx = H N 1 ( C \ C ε Du ε s) C\Cs ε Cs ε C 1 + Duε P (C) 2 (since the inner normal to Cs ε at x Cs ε C is Du ε (x)/ Du ε (x) ). On the other hand, div z ε (x) dx = λ(1 u ε (x)) dx µ ε s( C s), C\C ε s C\C ε s where µ ε s is the constant value of λ(1 u ε ) on the level set C ε s C, and goes to µ s as ε 0. A more careful analysis would show, in fact, that µ s (P (C) P (C s ))/( C s). For s > s, we have µ s > h C and the set C s is the unique minimizer of the variational problem (20). As a consequence (see [3, 12]) for any s > s the set C s is also the unique minimizer of P (E) among all E C of volume s. Lemma 3.1. We have s > 0 and the sets C s are Cheeger sets in C for any s [s, s ]. Proof. Let s < s C. If x C ɛ s \ C, then 0 v ε (x) Dv ε (x) ( x ε x) where v ε ( x ε ) = max C v ε. Hence, lim ε 0 inf C ε s \ C Dv ε = +. Since [z ε ν C ] = 1 on C and P (Cs) ε P (C s ), we deduce [z ε (x) ν Cε s (x)] dh N 1 (x) C ε s = C ε s \ C Dv ε (x) 1 + Dvε (x) 2 dhn 1 (x) + H N 1 ( C ε s C) P (C s ) 7

as ε 0 +. Hence, C s [ z ν C s ] dh N 1 = div z = lim div z ε C s ε 0 Cs ε = lim [z ε ν C ε ε 0 s ] dh N 1 = P (C s ). Cs ε Since z 1 a.e. in C, we deduce that [ z ν Cs] = 1 on C s for any s > s (in particular, we have z = 1 a.e. in C \ C ). Using this and (19), for all s < s s we have P (C s ) C s = h C. (21) This has two consequences. First, from the isoperimetric inequality, we obtain h C = P (C s) C s P (B 1) B 1 N 1 N s 1 N, if s (s, s ], so that s > 0. Moreover, C s is a Cheeger set for any s (s, s ], and by continuity C is also a Cheeger set. We point out that, since the sets C s are convex minimizers of P (E) µ s E among all E C, for s s, their boundary is of class C 1,1 [10, 22], with curvature less than or equal to µ s, and equal to µ s in the interior of C (note that µ s = h C for s [s, s ]). Remark 3.2. Observe that we have either s = s and therefore C = C, or s < s, and we have C = s (s,s ) C s. In the latter case, the supremum of κ C on C is equal to h C. Indeed, if it were not the case, by considering C int(c ), with curvature strictly below h C, and the smallest set C s, with s > s, which contains C, we would have κ C (x) κ Cs (x) = h C at all x C C s, a contradiction. In particular, if the supremum of κ C on C is strictly less than P (C)/ C (which implies C = C by [3]) then C = C. From the strong convergence of Dv ε to Dv (in L 2 (C s ) for any s < s ), we deduce that Dv z = in C. It follows that v satises the equation 1+ Dv 2 div Dv 1 + Dv 2 = h C in C. (22) Integrating both terms of (22) in C, we deduce that [ Dv 1 + Dv 2 νc ] = 1 on C. Lemma 3.3. The set C is the minimal Cheeger set of C, i.e., any other Cheeger set of C must contain C. Proof. Let K C be a Cheeger set in C. We have h C K = div z = [z ν K ] dh N 1 = P (K) K 8 K

so that [z ν K ] = 1 a.e. on K. Let ν ɛ and ν be the vector elds of unit normals to the sets Cs ɛ and C s, s [0, C ], respectively. Observe that, by the Hausdor convergence of Cs ɛ to C s as ɛ 0 + for any s [0, C ], we have that ν ɛ ν a.e. in C. On the other hand, z ɛ + ν ɛ 0 locally uniformly in C \ C : indeed, we have in C z ɛ + ν ɛ Dv ε = 1 + Dvε Dv ε 2 Dv ε = Dv ε 1 + Dvε 1. 2 Since (see the rst lines of the proof of Lemma 3.1) Dv ɛ uniformly in any subset of C at positive distance from C, it shows the uniform convergence of z ɛ + ν ɛ to 0 in such subsets. These two facts imply that z = ν a.e. on C \ C. By modifying z in a set of null measure, we may assume that z = ν on C \ C. We recall that the sets C s, s s are minimizers of variational problems of the form min K C P (K) µ K, for some values of µ (with µ = h C as long as s s and µ = µ s > h C continuously increasing with s s ). Since these sets are convex, with boundary (locally) uniformly of class C 1,1, and the map s C s is continuous in the Hausdor topology, we obtain that the normal ν(x) is a continuous function in C \ int(c ). Since z < 1 inside C and [z ν K ] = 1 a.e. on K, by [7, Theorem 1]) we have that the boundary of K must be outside the interior of C, hence either K C or K C = (modulo a null set). Let us prove that the last situation is impossible. Indeed, assume that K C = (modulo a null set). Since K is of class C 1 out of a closed set of zero H N 1 -measure (see [16]) and z is continuous in C \ int(c ), by Theorem 2 we have z(x) ν K (x) = 1 H N 1 a.e. on K. (23) Now, since K C = (modulo a null set), then there is some s s and some x C s K such that ν K (x) + ν(x) = 0. Fix 0 < ɛ < 2. By a slight perturbation, if necessary, we may assume that x C s K with s > s, (23) holds at x and ν K (x) + ν(x) < ɛ. (24) Since by (23) we have ν(x) = z(x) = ν K (x) we obtain a contradiction with (24). We deduce that K C. Therefore, in order to prove uniqueness of the Cheeger sets of C, it is enough to show that C = C. (25) Recall that the boundary of both C and C is of class C 1,1, and the sum of its principal curvatures is less than or equal h C, and constantly equal to h C in the interior of C. We now show that if C C and under additional assumptions, the sum of the principal curvatures of the boundary of C (or of any C s for s (s, s ]) must be h C out of C. Lemma 3.4. Assume that C has C 2 boundary. Let s (s, s ] and x C s \ C. If the sum of the principal curvatures of C s at x is strictly below h C, then the Gaussian curvature of C at x is 0. 9

Proof. Let x C s \ C and assume the sum of the principal curvatures of C s at x is strictly below h C (assuming x is a Lebesgue point for the curvature on C s ). Necessarily, this implies that x C. Assume then that the Gauss curvature of C at x is positive: by continuity, in a neigborhood of x, C is uniformly convex and the sum of the principal curvatures is less than h C. We may assume that near x, C is the graph of a non-negative, C 2 and convex function f : B R where B is an (N 1)-dimensional ball centered at x. We may as well assume that C s is the graph of f s : B R, which is C 1,1 [10, 22], and also nonnegative and convex. In B, we have f s f 0, and D 2 f αi and div Df 1 + Df 2 = h with h C 0 (B), h < h C, α > 0, while div Df s 1 + Dfs 2 = hχ {f=f s} + h C χ {fs>f} (where χ {f=fs} has positive density at x). We let g = f s f 0. Introducing now the Lagrangian Ψ : R N 1 [0, + ) given by Ψ(p) = 1 + p 2, we have that for a.e. y B (h C h(y))χ {g>0} (y) = div (DΨ(Df s (y)) DΨ(Df(y))) (( 1 ) ) = div D 2 Ψ(Df(y) + t(df s (y) Df(y))) dt Dg(y) 0 so that, letting A(y) := 1 0 D2 Ψ(Df(y) + tdg(y)) dt (which is a positive denite matrix and Lipschitz continuous inside B), we see that g is the minimizer of the functional w B ( ) A(y)Dw(y) Dw(y) + (h C h(y))w(y) dy under the constraint w 0 and with boundary condition w = f s f on B. Adapting the results in [11] we get that {f = f s } = {g = 0} is the closure of a nonempty open set with boundary of zero H N 1 -measure. We therefore have found an open subset D C C s, disjoint from C, on which C is uniformly convex, with curvature less than h C. Let ϕ be a smooth, nonnegative function with compact support in D. One easily shows that if ε > 0 is small enough, C s εϕν Cs is the boundary of a set C ɛ which is still convex, with P (C ɛ)/ C ɛ > P (C s )/ C s = h C (just dierentiate the map ɛ P (C ɛ)/ C ɛ ), and the sum of its principal curvatures is less than h C. This implies that for ɛ > 0 small enough, the set C := C ɛ is calibrable [3], which in turn implies that min K C P (K)/ K = P (C )/ C. But this contradicts C C, which is true for ε small enough. Proof of Theorem 3. Assume that C is C 2 and uniformly convex. Let us prove that its Cheeger set is unique. Assume by contradiction that C C. From Lemma 3.4 we have that the sum of the principal curvatures of C is h C outside of C. 10

Let now x C C be such that C B ρ ( x) C B ρ ( x) for all ρ > 0 ( C C since otherwise both C and C would be balls, which is impossible). Letting T be the tangent hyperplane to C at x, we can write C and C as the graph of two positive convex functions v and v, respectively, over T B ρ ( x) for ρ > 0 small enough. Identifying T B ρ ( x) with B ρ R N 1, we have that v, v : B ρ R both solve the equation Dv div = f, (26) 1 + Dv 2 for some function f L (B ρ ). Moreover, it holds v v, v (0) = v (0) and v (y) > v (y) for some y B ρ. Notice that f = λ C in the (open) set where v > v, in particular both functions are smooth in this set. Let D be an open ball such that D B ρ, v > v on D and v (y) = v (y) for some y D. Notice that, since both v and v belong to C (D) C 1 (D), the fact that v (y) = v (y) also implies that Dv (y) = Dv (y). In D, both functions solve (26) with f = λ C. Letting now w = v v, we have that w(y) = 0 and Dw(y) = 0, while w > 0 inside D. Recalling the function Ψ(p) = 1 + p 2, we have that for any x D 0 = div (DΨ(Dv (x)) DΨ(Dv (x))) (( 1 ) ) = div D 2 Ψ(Dv (x) + t(dv (x) Dv (x))) dt Dw(x) 0 so that w solves a linear, uniformly elliptic equation with smooth coecients. Then Hopf's lemma [13] implies that Dw(y) ν D (y) < 0, a contradiction. Hence C = C. Remark 3.5. Notice that, as a consequence of Theorem 3 and the results of Giusti [14], we get that if C is of class C 2 and uniformly convex, equation (22) has a solution on the whole of C, if and only if C is a Cheeger set of itself, i.e. if and only if the the sum of the principal curvatures of C is less than or equal to P (C)/ C. Remark 3.6. The results of this paper can be easily extended to the anisotropic setting (see [12]) provided the anisotropy is smooth and uniformly elliptic. Acknowledgement. The rst author acknowledges partial support by the Departament d'universitats, Recerca i Societat de la Informació de la Generalitat de Catalunya and by PNPGC project, reference BFM2003-02125. References [1] F. Alter. Uniqueness of the Cheeger set of a convex body. In preparation. [2] F. Alter, V. Caselles, A. Chambolle. Evolution of Convex Sets in the Plane by the Minimizing Total Variation Flow. Interfaces and Free Boundaries 7, 29-53 (2005). [3] F. Alter, V. Caselles, A. Chambolle. A characterization of convex calibrable sets in R N. Math. Ann. 332, 329-366 (2005). 11

[4] L. Ambrosio. Corso introduttivo alla teoria geometrica della misura ed alle superci minime. Scuola Normale Superiore, Pisa, 1997. [5] L. Ambrosio, N. Fusco, D. Pallara. Functions of Bounded Variation and Free Discontinuity Problems. Oxford Mathematical Monographs, 2000. [6] F. Andreu, C. Ballester, V. Caselles, J.M. Mazón. The Dirichlet Problem for the Total Variation Flow. J. Funct. Anal. 180 (2001), 347-403. [7] G. Anzellotti. Pairings between measures and bounded functions and compensated compactness. Ann. Mat. Pura Appl. 135 (1983), 293-318. [8] G. Anzellotti. Traces of bounded vector elds and the divergence theorem. Unpublished preprint (1983). [9] G. Bellettini, V. Caselles, M. Novaga. The Total Variation Flow in R N. J. Dierential Equations 184, 475-525 (2002). [10] H. Brézis and D. Kinderlehrer. The smoothness of solutions to nonlinear variational inequalities. Indiana Univ. Math. J. 23, 831844 (1973/74). [11] L.A. Caarelli and N.M. Riviere. On the rectiability of domains with nite perimeter. Ann. Scuola Normale Superiore di Pisa 3, 177-186 (1976). [12] V. Caselles, A. Chambolle, S. Moll and M. Novaga. A characterization of convex calibrable sets in R N with respect to anisotropic norms. Preprint 2005. [13] D. Gilbarg and N.S. Trudinger. Elliptic partial Dierential Equations of Second Order, Springer Verlag, 1998. [14] E. Giusti. On the equation of surfaces of prescribed mean curvature. Existence and uniqueness without boundary conditions. Invent. Math. 46, 111-137 (1978). [15] E. Giusti. Boundary Value Problems for Non-Parametric Surfaces of Prescribed Mean Curvature. Ann. Sc. Norm. Sup. Pisa (4) 3, 501-548 (1976). [16] E. Gonzalez, U. Massari, and I. Tamanini. On the regularity of sets minimizing perimeter with a volume constraint. Indiana Univ. Math. Journal, 32, 25-37 (1983). [17] B. Kawohl, V. Fridman. Isoperimetric estimates for the rst eigenvalue of the p-laplace operator and the Cheeger constant. Comment. Math. Univ. Carolinae 44, 659-667 (2003). [18] B. Kawohl, N. Kutev. Global behaviour of solutions to a parabolic mean curvature equation. Dierential and Integral Equations 8, 1923-1946 (1995). [19] B. Kawohl, T. Lachand-Robert. Characterization of Cheeger sets for convex subsets of the plane. Pacic J. Math., to appear. 12

[20] B. Kawohl, M. Novaga. The p-laplace eigenvalue problem as p 1 and Cheeger sets in a Finsler metric. Preprint (2006). [21] A. Lichnewski, R. Temam. Pseudosolutions of the Time Dependent Minimal Surface Problem. J. Dierential Equations 30 (1978), 340-364. [22] E. Stredulinsky, W.P. Ziemer. Area Minimizing Sets Subject to a Volume Constraint in a Convex Set. J. Geom. Anal. 7, 653-677 (1997). 13