Ambrosio L. Geometric Measure Theory and Real Analysis (Pisa 2014, IsBN 9788876425233, 236pp)
Ambrosio L. Geometric Measure Theory and Real Analysis (Pisa 2014, IsBN 9788876425233, 236pp)
1284
Geometric Measure
7
Theory and Real Analysis
0 3
6
edited by
9
Luigi Ambrosio
EDIZIONI
DELLA
NORMALE
17
CRM
SERIES
Vladimir I. Bogachev
Department of Mechanics and Mathematics,
Moscow State University, 119991 Moscow, Russia
and
St.-Tikhon’s Orthodox Humanitarian University
Moscow, Russia
Roberto Monti
Dipartimento di Matematica
Università di Padova
Via Trieste, 63
35121 Padova, Italia
Emanuele Spadaro
Max-Planck-Institut
für Mathematik in den Naturwissenschaften
Inselstrasse 22
D-04103 Leipzig
Davide Vittone
Dipartimento di Matematica
Università di Padova
Via Trieste, 63
35121 Padova, Italia
Geometric Measure
Theory and Real Analysis
edited by
Luigi Ambrosio
c 2014 Scuola Normale Superiore Pisa
ISBN 978-88-7642-522-6
ISBN 978-88-7642-523-3 (eBook)
Contents
Preface ix
Vladimir I. Bogachev
Sobolev classes on infinite-dimensional spaces 1
1 Measures on inVnite-dimensional spaces . . . . . . . . . 2
2 Gaussian measures . . . . . . . . . . . . . . . . . . . . 6
3 Integration by parts and differentiable measures . . . . . 14
4 Sobolev classes over Gaussian measures . . . . . . . . . 16
5 Inequalities and embeddings . . . . . . . . . . . . . . . 25
6 Sobolev classes over differentiable measures . . . . . . . 29
7 The class BV: the Gaussian case . . . . . . . . . . . . . 33
8 The class BV: the general case . . . . . . . . . . . . . . 35
9 Sobolev functions on domains and their extensions . . . 39
10 BV functions on domains and their extensions . . . . . . 42
References . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
Roberto Monti
Isoperimetric problem and minimal surfaces
in the Heisenberg group 57
1 Introduction to the Heisenberg group Hn . . . . . . . . . 58
1.1 Algebraic structure . . . . . . . . . . . . . . . . 58
1.2 Metric structure . . . . . . . . . . . . . . . . . . 59
2 Heisenberg perimeter and other equivalent measures . . 66
2.1 H -perimeter . . . . . . . . . . . . . . . . . . . 66
2.2 Equivalent notions for H -perimeter . . . . . . . 73
2.3 RectiVability of the reduced boundary . . . . . . 76
3 Area formulas, Vrst variation and H -minimal surfaces . . 78
3.1 Area formulas . . . . . . . . . . . . . . . . . . . 78
3.2 First variation and H -minimal surfaces . . . . . 85
3.3 First variation along a contact Wow . . . . . . . . 94
vi
4 Isoperimetric problem . . . . . . . . . . . . . . . . . . . 99
4.1 Existence of isoperimetric sets and Pansu’s con-
jecture . . . . . . . . . . . . . . . . . . . . . . . 99
4.2 Isoperimetric sets of class C 2 . . . . . . . . . . 105
4.3 Convex isoperimetric sets . . . . . . . . . . . . 107
4.4 Axially symmetric solutions . . . . . . . . . . . 108
4.5 Calibration argument . . . . . . . . . . . . . . . 111
5 Regularity problem for H -perimeter minimizing sets . . 113
5.1 Existence and density estimates . . . . . . . . . 114
5.2 Examples of nonsmooth H -minimal surfaces . . 117
5.3 Lipschitz approximation and height estimate . . 123
References . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
Emanuele Spadaro
Regularity of higher codimension area minimizing integral
currents 131
1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . 132
1.1 Integer rectiVable currents . . . . . . . . . . . . 133
1.2 Partial regularity in higher codimension . . . . . 135
2 The blowup argument: a glimpse of the proof . . . . . . 136
3 Q-valued functions and rectiVable currents . . . . . . . 141
4 Selection of contradiction’s sequence . . . . . . . . . . . 147
5 Center manifold’s construction . . . . . . . . . . . . . . 151
5.1 Notation and assumptions . . . . . . . . . . . . 152
5.2 Whitney decomposition and interpolating functions153
5.3 Normal approximation . . . . . . . . . . . . . . 156
5.4 Construction criteria . . . . . . . . . . . . . . . 157
5.5 Splitting before tilting . . . . . . . . . . . . . . 159
5.6 Intervals of Wattening . . . . . . . . . . . . . . . 161
5.7 Families of subregions . . . . . . . . . . . . . . 162
6 Order of contact . . . . . . . . . . . . . . . . . . . . . . 164
6.1 Frequency function’s estimate . . . . . . . . . . 165
6.2 Boundness of the frequency . . . . . . . . . . . 175
7 Final blowup argument . . . . . . . . . . . . . . . . . . 176
7.1 Convergence to a Dir-minimizer . . . . . . . . . 178
7.2 Persistence of singularities . . . . . . . . . . . . 182
8 Open questions . . . . . . . . . . . . . . . . . . . . . . 188
References . . . . . . . . . . . . . . . . . . . . . . . . . . . . 189
Davide Vittone
The regularity problem for sub-Riemannian geodesics 193
1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . 193
2 The Carnot-Carathéodory distance . . . . . . . . . . . . 195
vii
Contents
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1. Measures on inVnite-dimensional spaces . . . . . . . . . . . . . . . . . . . . . . 2
2. Gaussian measures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
3. Integration by parts and differentiable measures . . . . . . . . . . . . . . . 14
4. Sobolev classes over Gaussian measures . . . . . . . . . . . . . . . . . . . . . . 16
5. Inequalities and embeddings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
6. Sobolev classes over differentiable measures . . . . . . . . . . . . . . . . . 29
7. The class BV: the Gaussian case . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
8. The class BV: the general case . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
9. Sobolev functions on domains and their extensions . . . . . . . . . . . . 39
10. BV functions on domains and their extensions . . . . . . . . . . . . . . . 42
References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
Introduction
Sobolev classes of functions of generalized differentiability belong to the
major analytic achievements in the XX century and have found impres-
sive applications in the most diverse areas of mathematics. So it does not
come as a surprise that their inVnite-dimensional analogs attract consid-
erable attention. It was already at the end of the 60s and the beginning of
the 70s of the last century that in the works of N. N. Frolov, Yu. L. Dalet-
skiZX, L. Gross, M. Krée, and P. Malliavin Sobolev classes with respect to
Gaussian measures on inVnite-dimensional spaces were introduced and
studied. Their Vrst triumph came with the development of the Malli-
avin calculus since the mid of the 70s. At present, such classes and their
generalizations have become a standard tool of inVnite-dimensional anal-
The class of all μ-integrable functions is denoted by L1 (μ) and the cor-
responding Banach space of equivalence classes (where functions equal
almost everywhere are identiVed) is denoted by L 1 (μ). Similar notation
L p (μ) and L p (μ) is used for the classes of μ-measurable functions in-
tegrable to power p ∈ (1, ∞) and the respective spaces of equivalence
classes. For a Hilbert space H , the symbol L p (μ, H ) is used to denote
the L p -space of H -valued mappings.
3 Sobolev classes on infinite-dimensional spaces
In particular, this is true for the spaces C[0, 1], R∞ , and all separable
Hilbert spaces.
For the purposes of this survey it is sufVcient to have in mind the space
∞
R , the countable power of the real line with its standard product topol-
ogy (making it a complete metrizable space). The Borel σ -Veld in this
space coincides with the smallest σ -Veld containing all cylinders, i.e.,
sets of the form
μn (B) = μ(C B )
or
μ = μ y,ν ν(dy), σ = σ y,ν ν(dy),
where ν in the symbol μ y,ν indicates that the disintegration is taken with
respect to the measure ν on Y in place of μY .
We recall the deVnition of variation and semivariation of vector mea-
sures (see Diestel, Uhl [38] or Dunford, Schwartz [39]). Let H be a
separable Hilbert space. A vector measure with values in H is an H -
valued countably additive function η deVned on a σ -algebra A of subsets
of a space . Such a measure automatically has bounded semivariation
deVned by the formula
n
V (η) := sup αi η(i ) ,
H
i=1
where sup is taken over all Vnite partitions of into disjoint parts i ∈ A
and all Vnite sets of real numbers αi with |αi | ≤ 1. In other words, this
is the supremum of variations of real measures (η, h) H over h ∈ H with
|h| H ≤ 1. However, this does not yet mean that the vector measure η has
Vnite variation which is deVned as
n
Var(η) := sup |η(i )| H ,
i=1
where sup is taken over all Vnite partitions of into disjoint parts i ∈
A. The variation of the measure η will be denoted by η (but in [39]
this notation is used for semivariation).
By the Pettis theorem (see Dunford, Schwartz [39, Chapter IV, §10]),
an H -valued mapping is a vector measure of bounded semivariation
provided that ( , h) H is a bounded scalar measure for each h ∈ H .
The sets of measures of bounded variation and bounded semivaria-
tion are Banach spaces with the norms η
→ η and η → V (η),
respectively. It is easy to give an example of a measure with values
in an inVnite-dimensional Hilbert space having bounded semivariation,
but inVnite variation: consider the standard basis {en } in l 2 and take
Dirac’s
∞ −1 measures δ(en ) in the points en and the vector measure η =
n=1 n δ(en )en . Its semivariation equals the sum of the numbers n −2 ,
but it is of inVnite variation.
The space of all continuous linear functions on a locally convex space
X is denoted by X ∗ and is called the dual (or topological dual) space.
Let FC ∞ denote the class of all functions f on X of the form
2 Gaussian measures
A Gaussian measure on the real line is a Borel probability measure which
point a (i.e., is Dirac’s measure δa at a) or
is either concentrated at some
has density (2πσ )−1/2 exp −(2σ )−1 (x − a)2 with respect to Lebesgue
measure, where a ∈ R1 is its mean and σ > 0 is its dispersion. The
measure for which a = 0 and σ = 1 is called standard Gaussian.
Similarly the standard Gaussian measure on Rd is deVned by its density
(2π)−d/2 exp(−|x|2 /2)
with respect to Lebesgue measure.
Although below a general concept of a Gaussian measure on a locally
convex space is introduced, we deVne explicitly general Gaussian mea-
sures on Rd . These are measures that are concentrated on afVne sub-
spaces in Rd and are standard in suitable (afVne) coordinate systems. In
other words, these are images of the standard Gaussian measure under
afVne mappings of the form x
→ Ax + a, where A is a linear operator
and a is a vector. A bit more explicit representation is provided by the
Fourier transform of a bounded Borel measure μ on Rd deVned by the
formula
μ(y) = exp i(y, x) μ(dx), y ∈ Rd .
1
μ(y) = exp i(y, a) − Q(y, y) ,
2
where Q is nonnegative quadratic form on Rd .
The Fourier transform of the standard Gaussian measure is given by
γ (y) = exp(−|y|2 /2).
The change of variables formula yields the following relation between A
and Q if μ is the image of γ under the afVne mapping Ax + a:
μ(y) = exp i(y, Ax + a) γ (dx)
= exp i(y, a) exp i(A∗ y, x) γ (dx)
= exp i(y, a) − |A∗ y|2 /2 ,
7 Sobolev classes on infinite-dimensional spaces
These equalities are veriVed directly (it sufVces to check them in the one-
dimensional case).
Let us deVne Gaussian measures on general locally convex spaces.
DeHnition 2.1. Let X be a locally convex space with the topological
dual X ∗ . A Borel probability measure γ on X is called Gaussian if the
induced measure γ ◦ f −1 is Gaussian for every f ∈ X ∗ . If all these
measures are centered, then γ is called centered.
In the case of the space R∞ the space R∞ 0 of Vnite sequences coincides
with the dual space. Hence Gaussian measures on R∞ are measures with
Gaussian Vnite-dimensional projections.
Example 2.2. An important example of a Gaussian measure is the count-
able product γ of the standard Gaussian measures on the real line. This
measure is deVned on the space X = R∞ . This special example plays
a very important role in the whole theory. In some sense (see Bogachev
[13] for details) this is a unique up to isomorphism inVnite-dimensional
Gaussian measure.
Another important example of a Gaussian measure is the Wiener mea-
sure on the space C[0, 1] of continuous functions or on the space L 2 [0, 1].
This measure can be deVned as the image of the standard Gaussian mea-
sure γ on X = R∞ under the mapping
∞ t
x = (xn )
→ w( · ), w(t) = xn en (s) ds,
n=1 0
where {en } is an arbitrary orthonormal basis in L 2 [0, 1]. One can show
that this series converges in L 2 [0, 1] for γ -almost every x; moreover, for
γ -almost every x convergence is uniform on [0, 1].
We recall that a countable product μ = ∞ μn of probability mea-
n=1
sures μn on spaces (X n , Bn ) is deVned on X = ∞ n=1 X n as follows: Vrst
it is deVned on sets of the form A = A1 × · · · × An × X n+1 · · · by
μ(A) = μ1 (A1 ) × · · · × μn (An ),
8 Vladimir I. Bogachev
making this expression the square of the norm. The fact that γ (E) = 1
follows by the monotone convergence theorem, which shows that
∞
αn xn2 < ∞
n=1
Set
g :=
h if h = Rγ g.
Then h is called the γ -measurable linear functional generated by h. The
following vector equality holds (if X is a Banach space, then it holds in
Bochner’s sense):
Rγ g = g(x)x γ (dx) ∀ g ∈ X γ∗ .
X
Theorem 2.4. The space H (γ) is the set of all h ∈ X such that γh ∼ γ ,
where γh (B) := γ (B + h), and the Radon–Nikodym density of the mea-
sure γh with respect to γ is given by the following Cameron–Martin for-
mula:
dγh /dγ = exp − h − |h|2H /2 .
For every h ∈ H (γ ) we have γ ⊥ γh .
It follows from this formula that for every bounded Borel function f
on X we have
f (x + h) γ (dx) = f (x) exp h(x) − |h|2H /2 γ (dx).
X X
12 Vladimir I. Bogachev
A simple veriVcation of the fact that {Tt }t≥0 is a strongly continuous semi-
group on all L p (γ ), 1 ≤ p < ∞, can be found in [13]; the semigroup
property means that
Tt+s f = Ts Ts f, t, s ≥ 0.
For example, for the countable power of the standard Gaussian mea-
sure on the real line such polynomials are Hk1 ,...,kn (x1 , . . . , xn ). It is
14 Vladimir I. Bogachev
One can check that Tt Hk1 ,...,kn = e−k1 −···−kn Hk1 ,...,kn , which yields that
∞
Tt F = e−kt Ik (F), F ∈ L 2 (γ ).
k=0
Given a separable Hilbert space E, one deVnes similarly the space Xk (E)
of polynomials with values in E as the closure in L 2 (γ , E) of the liner
span of the mappings f · v, where f ∈ Xk , v ∈ E.
2 2
where we also use that the derivative of t
→ et h−t |h| H /2 at zero is
h.
This simple formula, called the integration by parts formula for the Gaus-
sian measure, plays a very important role in stochastic analysis and is a
starting point for far-reaching generalizations connected with differentia-
bilities of measures in the sense of Fomin [45, 46] and in the sense of
Skorohod [85].
A measure μ on X is called Skorohod differentiable along a vector h if
there exists a measure dh μ, called the Skorohod derivative of the measure
μ along the vector h, such that
f (x − th) − f (x)
lim μ(dx) = f (x)dh μ(dx) (1)
t→0 X t X
βhμ = −
h, h ∈ H (μ).
f 1,1 = f 1 + ∇ f 1 ,
Using the L p -norm we arrive at the classes W p,1 (Rd ). Similar construc-
tions work in the case of weighted Sobolev classes W p,1 (), where is
a nonnegative locally integrable function, so that in place of Lebesgue
measure we use the measure μ = dx. However, in this case some sub-
tleties appear (see, e.g. Bogachev [16]). First of all, some conditions on
are needed to ensure the closability of the Sobolev norm, i.e., the prop-
erty that if a sequence of smooth functions f j converges to zero in L p
and is fundamental in the Sobolev norm, then it also converges to zero in
the Sobolev norm. Next, the use of the integration by parts formula also
imposes restrictions on in the second approach. Finally, these two and
other approaches may lead to distinct Sobolev classes unlike the classical
case, see Zhikov [90], [91].
We Vrst consider the case of the standard Gaussian measure γ on Rd .
The classes W p,1 (γ ), 1 ≤ p < ∞, are obtained as the completions of the
18 Vladimir I. Bogachev
f (x + th) − f (x)
∂h f (x) = lim .
t→∞ t
For all p ≥ 1 and r ∈ N, the Sobolev norm · W p,r is deVned by the
following formula, where ∂i := ∂ei :
r
1/ p
2 p/2
f W p,r = ∂i1 . . . ∂ik f (x) γ (dx) . (4.1)
k=0 X i 1 ,...,i k ≥1
where D kHf stands for the derivative of order k along H and Hk is the
space of Hilbert–Schmidt k-linear forms on H , which can be deVned
inductively by setting Hk = H(H, Hk−1 ), H1 = H , where H(H, E) is
the space of Hilbert–Schmidt operators between Hilbert spaces H and E
equipped with its natural norm deVned by
∞
T 2H = T ei 2E
i=1
DeHnition 4.1. Let p ∈ (1, +∞). The class G p,1 (γ ,E) consists of all
mappings f ∈ L p (γ ,E) such that there is a mapping D f ∈ L p γ , H(H,E)
with the property that, for every h ∈ H , the E-valued mapping x
→
D f (x)h serves as a generalized partial derivative of f along h.
The classes G p,r (γ , E) with r ∈ N are deVned inductively as follows:
the class D p,r+1 (γ , E) consists of all mappings f ∈ G (γ , E) such
p,1
It should be added that the partial derivative ∂ei f (x) exists almost ev-
erywhere, since t
→ f (x + tei ) is almost everywhere differentiable
on the real line (by a classical result from real analysis), which yields
through conditional measures that the derivative at zero exists for almost
every Vxed x; certainly, for a given x there might be no derivative at
zero. The reader is warned that a version f with the required properties
depends in general on ei , which is suppressed in our notation. This hap-
pens already in dimension 2: taking a function f ∈ W 2,1 (γ ) such that
21 Sobolev classes on infinite-dimensional spaces
Let us estimate f (0). We may assume that f (0) > 0. Let us take T > 0
such that [0, T ] has γ -measure 1/4. Next, we choose τ ∈ [0, T ] such
that f (τ ) ≤ 4 f L 1 (γ ) . Then, letting C1−1 := mint∈[0,T ] g(t), we have
f (0) ≤ f (τ ) + f L 1 [0,τ ] ≤ 4 f L 1 (γ ) + C1 f L 1 (γ ) ,
so that
+∞
|t|| f (t)|g(t) dt ≤ C f L 1 (γ ) + f L 1 (γ ) , (4.4)
−∞
where ∞
(α) := t α−1 e−t dt.
0
∞
f (x) = n −2/3 xn .
n=1
D H f (x) = 2(n −1 xn )∞
n=1
and
D 2H f (x) = A
is a constant Hilbert–Schmidt operator deVned by the diagonal matrix
with the numbers 2n −1 at the diagonal. We have
∞
L f (x) = 2 n −1 (1 − xn2 ),
n=1
24 Vladimir I. Bogachev
where the series converges in L 2 (γ ) and almost everywhere, but the part
“ f ”, the trace of the second derivative, which is the series of n −1 , does
not exist separately.
Let us also note the following estimate (see, e.g., Shigekawa [83, Propo-
sition 4.5] for the proof).
Proposition 4.8. Let p > 1 and k ∈ N. Then there is a number C( p, k)
such that
(I − L) f p ≤ 2 f 1/2
p (I − L) f p ,
2 1/2
v = u1h1 + · · · + un hn , u i ∈ W p,1 (γ ), h i ∈ H,
we have
n
δv = (D H u i , h i ) H + u i hi .
i=1
The previous theorem says essentially that the L p -norm of this function
can be controlled through the Sobolev norm of v; this is quite easy for
p = 2, but requires some work in the general case.
In fact, the following result is true (see, e.g., Shigekawa [83, Theo-
rem 4.17] for the proof).
Theorem 4.11. The divergence operator δ extends to a continuous linear
operator
δ : W p,r+1 (γ , H ) → W p,r (γ ).
An analogous result is true for mappings with values in the space of
Hilbert–Schmidt operators between H and a separable Hilbert space E,
in which case the divergence takes values in E.
Moreover, if p ≥ 1, then
p
f −
f dγ dγ ≤ (π/2) M p
p p
|D H f | H dγ , (5.3)
X X X
27 Sobolev classes on infinite-dimensional spaces
Entγ ≥ 0.
d
where c(α, d) = exp α + .
d − 2eα
Corollary 5.5. The spaces Xd are closed with respect to convergence in
d
measure. Moreover, any sequence from Xk that converges in measure,
k=0
is convergent in L p (γ ) for every p ∈ [1, ∞). The same is true for the
spaces Xd (E) of mappings with values in any separable Hilbert space E.
Corollary 5.6. The norms from L p (γ ), p ∈ [1, ∞), are equivalent on
every Xn . In addition, for every p > 0, the topology on Xn induced
by the metric from L p (γ ) coincides with the topology of convergence in
measure. Finally, if q > p > 1, one has
q − 1 n/2
f p ≤ f q ≤ f p ∀ f ∈ Xn . (5.6)
p−1
29 Sobolev classes on infinite-dimensional spaces
It should be noted that the classes W p,r (γ ) can be also deVned by com-
pleting the set of measurable polynomials with the respect to the Sobolev
norm.
Embedding inequalities in the case p = 1 are studied in Shigekawa [82].
Riesz transforms and other operators related to Gaussian L p - and So-
bolev spaces are studied in Aimar, Forzani, Scotto [2], Brandolini, Chi-
acchio, Trombetti [26], Sjögren, Soria [84]. Besov-type Gaussian spaces,
a recent topic in this area, are studied in Pineda, Urbina [76] and Nikitin
[70–72].
Proposition 6.6. Let p ≥ 1 and βhμ ∈ L p/( p−1) (μ) for all h ∈ j (X ∗ ).
Then the spaces G p,1 (μ, E) with the respective norms are complete.
Remark 6.7. Let p ≥ 1 and βhμ ∈ L p/( p−1) (μ) for all h ∈ H . If f ∈
G p,1 (μ), then f has generalized partial derivatives ∂h f ∈ L p (μ) for all
h ∈ H , not only for the elements of j (X ∗ ), as required by the deVnition.
Indeed, let {en } be an orthonormal basis in H contained in j (X ∗ ); in the
case of R∞ just the usual basis. Since βhμ ∈ L p/( p−1) (μ), we obtain a
linear mapping H → L p/( p−1) (μ).
n It is readily seen that its graph is
closed. Therefore, letting h n = i=1 (h, ei ) H ei , we obtain convergence
βhμn → βhμ in L p/( p−1) (μ). Therefore, (6.2) remains valid for h once it
holds for each h n .
Finally, there is an exact analog of the deVnition involving a symmetric
semigroup (which has been used to obtain fractional classes H p,r in the
Gaussian case).
Let {en } be an orthonormal basis in H such that en = j (ln ), ln ∈ X ∗ ; it
is again wise to assume that we deal with the space X = R∞ and H = l 2 ,
32 Vladimir I. Bogachev
βeμn ∈ L 2 (μ) ∀ n ∈ N.
arise. Unlike the Gaussian case, their relation (for natural values of r)
to the previously deVned classes has not been clariVed. Moreover, the
exact relations between the other classes remain unclear except for rather
special cases. One of them is considered in part (iii) of the next theorem.
Theorem 6.8. (i) If βhμ ∈ L p/( p−1) (μ) for all h ∈ j (X ∗ ), then we have
for all ϕ ∈ FCb∞ . In the general case the deVnition is the same, we just
take for {en } an orthonormal basis in H and use the functionals
en in place
of the coordinate functions xn . So the general deVnition reads as follows.
34 Vladimir I. Bogachev
Proof. This can be derived by using Lemma 4.5 (in fact, by Theorem 7.2,
it sufVces to consider f ∈ W 1,1 (γ )) or by a similar reasoning for func-
tions of class S BV .
Proposition 7.5. The space BV (γ ) is Banach with the norm
f BV = f 1 + f .
35 Sobolev classes on infinite-dimensional spaces
f S BV = f 1 + V ( f ).
in the last section and in the papers Bogachev, Pilipenko, Rebrova [20],
Bogachev, Pilipenko, Shaposhnikov [21].
Recall that βhμ is the logarithmic derivative of μ along h.
For the subsequent discussion the following facts may be useful. For
any measure μ differentiable along H we obtain an H -valued measure
Dμ deVned by the equality
(Dμ(B), h) H = dh μ(B).
If H is inVnite-dimensional and μ is not zero, then the measure Dμ has
unbounded variation (see Proposition 7.3.2 in Bogachev [16]). However,
if Dμ is regarded as an X-valued measure and X is a Banach space,
then under broad assumptions this X-valued measure has bounded vari-
ation (e.g., if the embedding H → X is absolutely summing, see Chap-
ter 7 in Bogachev [15]). If μ is a centered Gaussian measure and H is
its Cameron–Martin space, then Dμ as an X-valued measure has vector
density −x with respect to μ. Note that the vector measure with density
−x
with respect to the standard Gaussian measure on R has variation
n
Proof. For each f ∈ M H (μ) the quantity f M is Vnite, since the map-
ping h
→ fβhμ from H to L 1 (μ) has a closed graph. Indeed, if h n → h
in H and fβhμn → g in L 1 (μ), then g = fβhμ , because by the continuity
of the embedding H → D D(μ) (which follows by the closed graph the-
orem) we have βhμn → βhμ in L 1 (μ), hence in measure. Thus, the operator
h
→ fβhμ is bounded, so f M < ∞. Now, if { f n } is a Cauchy sequence
in this norm, it converges to a function f in L 1 (μ). Clearly, f M < ∞.
Moreover, given ε > 0, we take N such that f n − f k M ≤ ε for all
n, k ≥ N and by Fatou’s theorem conclude that f n − f M ≤ ε for all
n ≥ N.
DeHnition 8.2. Let
SV (μ) = { f ∈ L 1 (μ) : the Skorohod derivative dh ( f · μ)
exists for all h ∈ H },
S BV (μ) = SV (μ) ∩ M H (μ).
37 Sobolev classes on infinite-dimensional spaces
In other words, the class S BV (μ) consists of all functions f ∈ L 1 (μ) for
which
sup | fβh | L 1 (μ) < ∞
|h|≤1
Theorem 8.3. (i) The set SV (μ) is a Banach space with the norm
f SV := f L 1 (μ) + sup dh ( f · μ),
|h| H ≤1
f BV := f S BV + f .
( f, h)x,h
H /
x,h
(t),
where x,h is the density of the conditional measure μx,h for μ on the
straight line x + Rh.
A similar assertion is true for BV (μ), where the measure must have
bounded variation.
Example 8.7. Let X = H = Rn , let μ be a probability measure with a
smooth density , and let f be a smooth function such that f , |∇ f | and
f |∇|/ are integrable with respect to μ. Then dh μ is a measure with
density ∂h , dh ( f · μ) is a measure with density ∂h ( f ) = f ∂h + ∂h f ,
whence it follows that f is a measure with vector density (∇ f ) with
respect to Lebesgue measure, i.e., with density ∇ f with respect to the
measure μ. If the function f ∈ L 1 (μ) with f |∇| ∈ L 1 (Rn ) is not
smooth, but belongs to the class BVloc (Rn ) of locally integrable functions
whose generalized Vrst order derivatives are locally bounded measures,
then f belongs to BV (μ) and f = · D f provided that the latter
measure is bounded. It is clear that in the Vnite-dimensional case the
classes S BV and BV coincide as sets and their norms are equivalent, but
these norms are different.
Theorem 8.8. The spaces BV (μ) and S BV (μ) possess the following
property: if a sequence of functions f n is norm bounded in it and con-
verges almost everywhere to a function f , then f belongs to the same
class and the norm of f does not exceed the precise upper bound of the
norms of the functions f n .
Functions of bounded variation on spaces with convex measures are
considered in Ambrosio, Da Prato, Goldys, Pallara [4].
39 Sobolev classes on infinite-dimensional spaces
Vx,h := V ∩ (x + Rh).
Example 9.1. Any open convex set is H -open and H -convex. However,
the convex ellipsoid
∞
U = x ∈ R∞ : n −2 xn2 < 1
n=1
is Borel and has full measure with respect to γ (by the law of large num-
bers). It is not convex: if x ∈ Z , then −x ∈ Z , but 0 ∈ Z . It is clear
that Z has no interior (its intersection with the set of Vnite sequences is
empty). However, Z is H -open and H -convex, since for every x ∈ Z we
have (Z − x) ∩ H = H , that is, for every h ∈ H we have x + h ∈ Z .
Indeed,
N
N
N
N −1 (xn + h n )2 − N −1 xn2 = N −1 (h 2n + 2xn h n ),
n=1 n=1 n=1
N
which tends to zero as N → ∞, because N −1 n=1 h 2n → 0 for each
−1
N
h ∈ H and |N n=1 x n h n | → 0 by the Cauchy inequality.
40 Vladimir I. Bogachev
In the paper Hino [57] the Sobolev class D 2,1 (V, γ ) was used (denoted
there by W 1,2 (V )). In the Vnite-dimensional case for convex V both
classes coincide, the inVnite-dimensional situation is less studied, but for
H -convex H -open sets one has
which follows from [57], where it is shown that D 2,1 (V, γ ) contains a
dense set of functions possessing extensions of class W 2,1 (γ ) and for
this reason belonging to W 2,1 (V, γ ). It is readily veriVed that the spaces
W p,1 (V, γ ) and D p,1 (V, γ ) with the Sobolev norm are Banach.
Note that one can introduce more narrow Sobolev classes on V that
admit extensions. For example, in the space W p,1 (V, γ ) one can take the
p,1
closure W0 (V, γ ) of the set of functions from W p,1 (γ ) with compact
p,1
support in V ; the functions from W0 (V, γ ) extended by zero outside
of V belong to W (γ ). For certain very simple sets V , say, half-spaces,
p,1
Ux,h := U ∩ (x + Rh),
are open intervals on the straight lines x + Rh. We shall often identify
these intervals with the intervals
Jx,h := {t ∈ R : x + th ∈ U }.
Lemma 10.1. The set M H (U, μ) is a Banach space with the norm
( U f, h) H = ( U f, h)x,h,μ
H μ(dx),
( U f, h)x,h
H + f (x + th)∂t
x,h
(t)
Jy,h = {t : y + th ∈ U },
and the functions ∂hn ϕ are bounded for all n ≥ 1. Here ∂hn ϕ(y + th) is the
derivative of order n at the point t for the function t
→ ϕ(y + th).
Note that ψϕ ∈ Dh for all ϕ ∈ Dh and ψ ∈ FC ∞ .
Lemma 10.3. A function f ∈ M H (U, μ) belongs to S BVH (U, μ) pre-
cisely when there exists an H -valued measure U f on U of bounded
semivariation such that, for every h ∈ H and all ϕ ∈ Dh , one has the
equality
∂h ϕ(x) f (x) μ(dx) = − ϕ(x) ( U f, h) H (dx)
X
X
− ϕ(x) f (x)βh (x) μ(dx).
X
Theorem 10.5. The set S BVH (U, μ) is a Banach space with the norm
f S BV := f M + V ( U f ).
f BV := f M + Var( U f ).
f n − f M + V ( U f n − U f ) → 0,
it follows that f is a limit of { f n } in the norm of the space S BVH (U, μ).
The proof of completeness of the space BVH (U, μ) is similar.
Theorem 10.6. The classes S BVH (U, μ) and BVH (U, μ) have the fol-
lowing property: if a sequence of functions { f n } is norm bounded in it
and converges almost everywhere to a function f , then f belongs to the
same class, and the norm of f does not exceed the precise upper bound
of the norms of the functions f n .
Moreover, for every Fxed h ∈ H , the measures ( U f n , h) H converge
to ( U f, h) H in the weak topology generated by the duality with Dh (in
the case U = X also with respect to the duality with FC ∞ ).
Proof. These assertions are true on the real line, since our assumption
about the conditional densities means that the density of μ is positive, so
f n = f n , where f n is the generalized derivative, and these measures
converge to f in the sense of distributions.
In the general case suppose Vrst that { f n } is uniformly bounded. Let us
Vx h ∈ H . Since the measures ( U f n , h) H are uniformly bounded and
( U f n , h) H = ( U f n , h)x,h,μ
H μ(dx),
( U f, h) H := ( U f, h)x,h,μ
H μ(dx)
k
vi (x) ( U f, h i ) H (dx) ≤ sup Var( U f n ).
i=1 X n
its extension by zero outside of U gives a function in the class S BVH (μ).
In the opposite direction, the restriction to U of every function in
S BVH (μ), not necessarily bounded, gives a function in S BVH (U, μ).
If IU ∈ BVH (μ), then the analogous assertions are true for the class
BVH (U, μ).
Proof. Let f ∈ S BVH (U, μ) ∩ L ∞ (U, μ). We may assume that | f | ≤ 1.
Let us Vx h ∈ H . Then we can Vnd a version of f whose restrictions to
the straight lines x +Rh have locally bounded variation. Let ax be an end-
point of the interval Ux,h (if it exists). Then the considered version of f
has a limit at ax (left or right, respectively), bounded by 1 in the absolute
value. DeVned by zero outside of U , the function f remains a function
of locally bounded variation on all these straight lines, but at the end-
points of Ux,h its generalized derivative may gain Dirac measures with
coefVcients bounded by 1 in the absolute value. However, such Dirac
measures (with the coefVcient 1 at the left end and the coefVcient −1 at
the right end) are already present in the derivative of the restriction of
IU . Thus, after adding these point measures to ( U f, h)x,h,μ
H , we obtain
a measure that differs from ( U f, h) H by some measure with semivaria-
tion not exceeding ( IU , h) H , hence is also of bounded semivariation.
Therefore, Lemma 8.6 gives the inclusion of the extension to S BVH (μ).
The fact that f |U ∈ S BVH (U, μ) for any f ∈ S BVH (μ) follows by
Lemma 10.3, since the restriction of f to U serves as U f .
In the case of BVH (μ) we also use the fact that any H -valued measure
of bounded variation is given by a Bochner integrable vector density with
respect to a suitable scalar measure.
Proposition 10.9. Let U be a Borel convex set. Then IU ∈ S BVH (μ).
Proof. Let us Vx h ∈ H . If Ux,h is not empty and not the whole straight
line, the generalized derivative σ x,h of the function t
→ IU (x + th) is
either the difference of two Dirac’s measures at the endpoints of Ux,h or
Dirac’s measure (with the sign plus or minus) at the single endpoint (if
Ux,h is a ray). Let us deVne ( IU , h)x,h
H by
( IU , h)x,h
H := σ .
x,h x,h
References
[1] R.A. A DAMS and J. J. F. F OURNIER, “Sobolev Spaces”, 2nd ed.,
Academic Press, New York, 2003.
[2] H. A IMAR , L. F ORZANI and R. S COTTO, On Riesz transforms and
maximal functions in the context of Gaussian harmonic analysis,
Trans. Amer. Math. Soc. 359 (2007), n. 5., 2137–2154.
[3] H. A IRAULT, V. I. B OGACHEV and P. L ESCOT, Finite-dimensional
sections of functions from fractional Sobolev classes on inFnite-
dimensional spaces, Dokl. Ross. Akad. Nauk. 2003. 391 (2003),
n. 3, 320–323 (in Russian); English transl.: Dokl. Math. 68 (2003),
n. 1, 71–74.
[4] L. A MBROSIO , G. DA P RATO , B. G OLDYS and D. PALLARA,
Bounded variation with respect to a log-concave measure, Comm.
Partial Differerential Equations 2012. 37 (2012), n. 12, 2272–2290.
[5] L. A MBROSIO and A. F IGALLI, On Gows associated to Sobolev
vector Felds in Wiener spaces: an approach à la DiPerna–Lions, J.
Funct. Anal. 2009. 256 (2009), n. 1, 179–214.
[6] L. A MBROSIO , N. F USCO and D. PALLARA, “Functions of
bounded Variation and Free Discontinuity Problems”, Clarendon
Press, Oxford University Press, New York, 2000.
51 Sobolev classes on infinite-dimensional spaces
[69] E. N ELSON, The free Markov Feld, J. Funct. Anal. 12 (1973), 211–
227.
[70] E. V. N IKITIN, Fractional order Sobolev clsses on inFnite-dimen-
sional spaces, Dokl. Russian Acad. Sci. 452 (2013), n. 2, 130–135
(in Russan); English tranls.: Dokl. Math. 88 (2013), n. 2, 518–523.
[71] E. V. N IKITIN, Besov classes on inFnite-dimensional spaces,
Matem. Zametki 93 (2013), n. 6, 951–953 (in Russan); English
tranls.: Math. Notes 93 (2013), n. 6, 936–939.
[72] E. V. N IKITIN, Comparison of two deFnitions of Besov classes on
inFnite–dimensional spaces, Matem. Zametki. 95 (2014), n. 1, 150–
153 (in Russan); English tranls.: Math. Notes 95 (2014), n. 1, 133–
135.
[73] I. N OURDIN and G. P ECCATI, “Normal Approximations Using
Malliavin Calculus: from Stein’s Method to Universality”, Cam-
bridge University Press, Cambridge, 2012.
[74] D. N UALART, “The Malliavin Calculus and Related Topics”, 2nd
ed. Springer-Verlag, Berlin, 2006.
[75] G. P ETERS, Anticipating Gows on the Wiener space generated by
vector Felds of low regularity, J. Funct. Anal. 142 (1996), n. 1. 129–
192.
[76] E. P INEDA and W. U RBINA, Some results on Gaussian Besov–
Lipschitz spaces and Gaussian Triebel—Lizorkin spaces, J. Approx.
Theory 161 (2009), n. 2, 529–564.
[77] Y U . G. R ESHETNYAK, Sobolev classes of functions with values in
a metric space, Sibirsk. Mat. Zh. 38 (1997), n. 3, 657–675 (in Rus-
sian); English transl.: Siberian Math. J. 38 (1997), n. 3, 567–583.
[78] Y U . G. R ESHETNYAK, Sobolev classes of functions with values in
a metric space. II, Sibirsk. Mat. Zh. 45 (2004), n. 4, 855–870 (in
Russian); English transl.: Siberian Math. J. 45 (2004), n. 4, 709–
721.
[79] Y U . G. R ESHETNYAK, On the theory of Sobolev classes of func-
tions with values in a metric space, Sibirsk. Mat. Zh. 47 (2006),
n. 1, 146–168 (in Russian); English transl.: Siberian Math. J. 47
(2006), n. 1, 117–134.
[80] M. R EED and B. S IMON, “Methods of Modern Mathematical
Physics”, Vol. II, Academic Pres, New York – London, 1975.
[81] M. R ÖCKNER , R.-C H . Z HU and X.-C H . Z HU, The stochastic re-
Gection problem on an inFnite dimensional convex set and BV func-
tions in a Gelfand triple. Ann. Probab. 40 (2012), n. 4, 1759–1794.
[82] I. S HIGEKAWA, The Meyer inequality for the Ornstein–Uhlenbeck
operator in L 1 and probabilistic proof of Stein’s L p multiplier the-
56 Vladimir I. Bogachev
Contents
Preface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ??
1. Introduction to the Heisenberg group Hn . . . . . . . . . . . . . . . . . . . . . . 58
1.1. Algebraic structure . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
1.2. Metric structure . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
2. Heisenberg perimeter and other equivalent measures . . . . . . . . . . . 66
2.1. H -perimeter . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
2.2. Equivalent notions for H -perimeter . . . . . . . . . . . . . . . . . . . . . . . . . 73
2.3. RectiVability of the reduced boundary . . . . . . . . . . . . . . . . . . . . . . 76
3. Area formulas, Vrst variation and H -minimal surfaces . . . . . . . . . 78
3.1. Area formulas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
3.2. First variation and H -minimal surfaces . . . . . . . . . . . . . . . . . . . . . 85
3.3. First variation along a contact Wow . . . . . . . . . . . . . . . . . . . . . . . . . 94
4. Isoperimetric problem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
4.1. Existence of isoperimetric sets and Pansu’s conjecture . . . . . . . . 99
4.2. Isoperimetric sets of class C 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
4.3. Convex isoperimetric sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
4.4. Axially symmetric solutions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
4.5. Calibration argument . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
5. Regularity problem for H -perimeter minimizing sets . . . . . . . . . 113
5.1. Existence and density estimates . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
5.2. Examples of nonsmooth H -minimal surfaces . . . . . . . . . . . . . . . 117
5.3. Lipschitz approximation and height estimate . . . . . . . . . . . . . . . 123
This text is an extended version of the lecture notes of the course Isoperimetric problem and minimal
surfaces in the Heisenberg group given at the ERC-School on Geometric Measure Theory and Real
Analysis, held in Pisa between 30th September and 4th October 2013.
58 Roberto Monti
L p (q) = p · q.
Left translations are linear mappings in Hn = R2n+1 . For any λ > 0, the
mapping δλ : Hn → Hn
Q = 2n + 2 (1.3)
|δλ E| = λ Q |E|.
X ( f ◦ L p ) = (X f ) ◦ L p .
59 Isoperimetric problem and minimal surfaces
The coefVcients h j are unique, and by the structure of the vector Velds X j
and Y j they satisfy h j = γ̇ j , where γ = (γ1 , . . . , γ2n+1 ) are the coordi-
nates of γ given by the identiVcation Hn = R2n+1 . We call the Lipschitz
curve κ : [0, 1] → R2n , κ = (γ1 , . . . , γ2n ), horizontal projection of γ .
The vertical component of γ is determined by the horizontality condi-
tion (1.7). Namely, we have
n
n
γ̇2n+1 = 2 h j γn+ j − h n+ j γ j = 2 κ̇ j κn+ j − κ̇n+ j κ j ,
j=1 j=1
where |κ̇| is the Euclidean norm in R2n of κ̇. For any couple of points
p, q ∈ Hn , we deVne
d( p, q)
(1.9)
= inf L(γ ) : γ : [0, 1] → Hn is horizontal, γ (0) = p and γ (1) = q .
61 Isoperimetric problem and minimal surfaces
All the previous observations are still valid when the “box norm” ·∞
1/4
is replaced with the Koranyi norm p = |z|4 + t 2 .
The metric space (H , d) is complete and locally compact. By the
n
(ψ, ϕ) = ,2 . (1.13)
ϕ ϕ2
Theorem 1.1. For any ψ ∈ [0, 2π] and ϕ ∈ [−2π, 2π], the curve γψ,ϕ :
[0, 1] → H1
eiψ (eiϕs − 1) ϕs − sin ϕs
is length minimizing. When |ϕ| < 2π, γψ,ϕ is the unique length minimiz-
ing curve from 0 to (ψ, ϕ). When ϕ = ±2π, for every ψ ∈ [0, 2π] the
curve γψ,ϕ is length minimizing from 0 to (0, ±1/π).
τ (0) = −
∂τ ∂
1 (1.17)
1 1 1 ⊥
=− (η2 κ̇1 − η1 κ̇2 )ds = − κ̇ , ηds,
H 0 H 0
eiψ (eiϕs − 1)
κ(s) = , s ∈ R.
ϕ
At the point (0, 1/π) ∈ C × R, the surface S = ([0, 2π] × [−2π, 2π])
introduced in (1.13) has a conical point directed downwards. By this, we
mean that near (0, 1/π) the surfaces S stays above the cone t = 1/π +
δ|z| for some δ > 0. Then for any > 0 small enough there exist
0 < λ < 1 and (ψ̄, ϕ̄) ∈ [0, 2π] × [−2π, 2π] such that γψ,2π (1 + ) =
δλ (ψ̄, ϕ̄). Since d((ψ̄, ϕ̄), 0) ≤ 1 (a posteriori we have equality,
here), we deduce that
Above, we let
ϕ∞ = sup |ϕ( p)|.
p∈A
(divH ϕ) ◦ L p = divH (ϕ ◦ L p ).
We prove ii) in the case A = Hn . First notice that for any ϕ ∈ Cc1 (Hn ; R2n )
we have
divH (ϕ ◦ δλ ) = λ(divH ϕ) ◦ δλ ,
and thus
divH ϕ dzdt = λ Q
(divH ϕ) ◦ δλ dzdt = λ Q−1
divH (ϕ ◦ δλ )dzdt.
δλ E E E
1) |ν E | = 1 μ E -a.e. on A.
2) The following generalized Gauss-Green formula holds
divH ϕ dzdt = − ϕ, ν E dμ E (2.6)
E A
ϕ ∈ Cc∞ (A ; R2n ) such that ϕ − ψ∞ < and ϕ∞ ≤ 1. Then we
have
P(E; A ) ≥ divH ϕdzdt = − ϕ, ν E dμ E ≥ (1 − )μ E (A ) − 2,
E A
As usual , stands for the averaged integral. The deVnition of reduced
boundary is sensitive to the metric. It also depends on the representative
of ν E .
The proof of the Euclidean model of Proposition 2.8 below relies upon
Lebesgue-Besicovitch differentiation theorem for Radon measures in Rn .
In Hn with metrics equivalent to the Carnot-Carathéodory distance, how-
ever, Besicovitch’s covering theorem fails (see [36] and [65]). This prob-
lem is bypassed in [27] using an asymptotic doubling property estab-
lished, in a general context, in [1].
Proposition 2.8. Let E ⊂ Hn be a set with locally Fnite H -perimeter.
Then the perimeter measure μ E is concentrated on ∂ ∗ E. Namely, we
have μ E (Hn \ ∂ ∗ E) = 0.
Proof. By [1], Theorem 4.3, there exists a constant τ (n) > 0 such that
for μ E -a.e. p ∈ Hn there holds
μ E (Ur ( p)) μ E (Ur ( p))
τ (n) ≤ lim inf ≤ lim sup < ∞.
r→0 r Q−1 r→0 r Q−1
As a consequence, we have the following asymptotic doubling formula
μ E (U2r ( p))
lim sup < ∞, (2.8)
r→0 μ E (Ur ( p))
for μ E -a.e. p ∈ Hn . Thus, by Theorems 2.8.17 and 2.9.8 in [25], for any
function f ∈ L 1loc (Hn ; μ E ) there holds
lim f dμ E = f ( p)
r→0 Ur ( p)
for μ E -a.e. p ∈ Hn .
Assume that p ∈ Hn \ ∂ ∗ E. There are three possibilities:
1) We have μ E (Ur ( p)) = 0 for some r > 0. The set of points with this
property has null μ E measure.
2) We have
lim ν E dμ E = ν E ( p).
r→0 Ur ( p)
By the above argument with f = ν E , the set of such points has null
μ E measure.
3) We have |ν E ( p)| = 1. By Proposition 2.3, the set of such points has
null μ E measure.
This ends the proof.
71 Isoperimetric problem and minimal surfaces
DeHnition 2.9 (Vertical plane). For any ν ∈ R2n with |ν| = 1, we call
the set
Hν = (z, t) ∈ Hn : ν, z ≥ 0, t ∈ R
the vertical half-space through 0 ∈ Hn with inner normal ν. The bound-
ary of Hν , the set
∂ Hν = (z, t) ∈ Hn : ν, z = 0, t ∈ R ,
is called vertical plane orthogonal to ν passing through 0 ∈ Hn .
At points p ∈ ∂ ∗ E, the set E blows up to the vertical half space Hν
with ν = ν E ( p). In this sense, the boundary of Hν is the anisotropic
tangent space of ∂ ∗ E at p. The problem of the characterization of blow-
ups in Carnot groups is still open. In general, it is known that in the
blow-up of blow-ups there are vertical hyperplanes (see [3]). Hereafter,
we let E λ = δλ E for λ > 0.
Theorem 2.10 (Blow-up). Let E ⊂ Hn be a set with Fnite H -perimeter,
assume that 0 ∈ ∂ ∗ E and let ν = ν E (0). Then we have
lim χ Eλ = χ Hν , (2.9)
λ→∞
where the limit is in L 1loc (Hn ). Moreover, for a.e. r > 0 we have
lim P(E λ ; Ur ) = P(Hν ; Ur ) = cn r Q−1 , (2.10)
λ→∞
This formula can be proved in the following way. Let ( f j ) j∈N be a se-
quence of functions f j ∈ C ∞ (Hn ) such that f j → χ E , as j → ∞, in
L 1loc (Hn ) and ∇H f j dzdt ν E dμ E in the weak sense of Radon mea-
sures. We are denoting by
∇H f = (X 1 f, . . . , X n f, Y1 f, . . . , Yn f )
the horizontal gradient of a function f .
The set Ur supports the standard divergence theorem and therefore we
have
f j divH ϕ dzdt = − ϕ, ∇H f j dzdt − f j ϕ, νUr dμUr . (2.12)
Ur Ur ∂Ur
72 Roberto Monti
ν Eλ j μ Eλ j ν F μ F , as j → ∞,
we deduce that
P(E λ ; Ur ) = (1 + o(1)) ν, ν Eλ dμ Eλ .
Ur
Letting δ → 0, we deVne
By Carathèodory’s construction, E
→ Hs (E) and E
→ Ss (E) are
Borel measures in Hn . The measure Hs is called s-dimensional Haus-
dorff measure. The measure Ss is called s-dimensional spherical Haus-
dorff measure. These measures are equivalent, in the sense that for any
74 Roberto Monti
E ⊂ Hn there holds
The measures HQ (E) and SQ are Haar measures in Hn and therefore
they coincide with the Lebesgue measure, up to a multiplicative constant
factor. The natural dimension to measure hypersurfaces, as the boundary
of smooth sets, is s = Q − 1.
The following theorem is proved in [27], Theorem 7.1 part (iii). The
proof relies on Federer’s differentiation theorems, Theorem 2.10.17 and
Theorem 2.10.19 part (3) of [25]. Extensions of this result are based on
general differentiation theorems for measures, see [41]. Formula (2.14)
for the geometric constant cn in (2.13) depends on the shape (convexity
and symmetries) of the metric unit ball U1 , [42].
μ E = cn SQ−1 ∂ ∗ E, (2.13)
|Ir (K ) ∩ A|
M + (K ; A) = lim sup ,
r→0 2r
|Ir (K ) ∩ A|
M − (K ; A) = lim inf .
r→0 2r
because |∇H dist K (z, t)| = 1 a.e. in Hn . By the coarea formula in the
sub-Riemannian setting, we have
r
|∇H dist∂ E (z, t)|dzt = P(Is (∂ E); Hn )ds.
Ir (∂ E) 0
We refer the reader to [54] and [40] for a discussion on coarea formulas.
Now formula (2.15) follows proving that
r
1
lim P(Is (∂ E); Hn )ds = P(E; Hn ).
r→0 2r 0
For the proof, we refer to [62], where the result is proved in the setting of
BVH functions. It is an open question whether the identity (2.16) holds
dropping the assumption “if E has also Vnite Euclidean perimeter”.
The characterization of H -perimeter in Theorem 2.14 is useful in the
theory of rearrangements in the Heisenberg group proposed in [49].
SQ−1 \ S j = 0.
j∈N
This deVnition is generalized in [43], where the authors study the notion
of a s-rectiVable set in Hn for any integer 1 ≤ s ≤ Q − 1. The deVnition
of s-rectiVability has a different nature according to whether s ≤ n or
s ≥ n + 1. DeVnition 2.18 is relevant because the reduced boundary
of sets with Vnite H -perimeter is rectiVable precisely in this sense. The
following theorem is the main result of [27].
78 Roberto Monti
The proof of Theorem 2.19 goes as follows, for details see Theorem
7.1 in [27]. By Lusin’s theorem there are compact sets K j ⊂ ∂ ∗ E, j ∈ N,
and a set N ⊂ ∂ ∗ E such that:
i) μ E (N ) = 0;
ii) ν E : K j → R2n is continuous, for each j ∈ N;
iii) ∂ ∗ E = N ∪ K j.
j∈N
Proof. For any ϕ ∈ Cc1 (A; R2n ) let V = nj=1 ϕ j X j + ϕn+ j Y j be the
horizontal vector Veld with coordinates ϕ. By the standard divergence
theorem and the Cauchy-Schwarz inequality, we have
divH ϕ dzdt = divV dzdt = V, N dH 2n
E E ∂E
n
= ϕ j X j , N + ϕn+ j Y j , N dH 2n
∂ E j=1
n
≤ |ϕ||N H |dH 2n
,
∂ E j=1
μ E = |N H |H 2n
∂ E,
Proof.
The outer normal to ∂ E f ∩ (D × R) = gr( f ) is N = (∇ f, −1)/
1 + |∇ f |2 , and so, for any j = 1, . . . , n, we have
∂x j f − 2y j ∂ y j f + 2y j
N, X j = , N, Y j = ,
1 + |∇ f |2 1 + |∇ f |2
and thus
|∇ f + 2z ⊥ |
|N H | = .
1 + |∇ f |2
By formula (3.2) and by the standard area formula for graphs, we obtain
P(E f ; D × R) = |N H |dH =2n
|∇ f (z) + 2z ⊥ |dz
gr( f ) D
∂ϕ ∂ϕ
Bϕ = − 4ϕ . (3.7)
∂ y1 ∂t
Proof. We prove the claim in the case n = 1. The intrinsic graph map-
ping : D → H1 is (y, t) = exp(ϕ(y, t)X)(0, y, t) = (ϕ, y, t +2yϕ),
and thus
e1 e2 e3
y ∧ t = ϕ y 1 2ϕ + 2ϕ y = 1 + 2yϕt )e1 + 2ϕϕt − ϕ y )e2 − ϕt e3 .
ϕt 0 1 + 2yϕt
−1 ϕ y − 4ϕϕt Bϕ
N, X = and N, Y = = .
| y ∧ t | | y ∧ t | | y ∧ t |
From formula (3.2) and from the standard area formula for graphs, we
obtain
P(E ϕ ; D · R) = |N H |dH2
∂ E ϕ ∩D·R
!
1 (Bϕ)2
= + | y ∧ t |dydt
D | y ∧ t |2 | y ∧ t |2
= 1 + |∇ ϕ ϕ|2 dydt.
D
The area formula (3.8) was originally proved for boundaries that are C H1 -
regular hypersurfaces (see [27] Theorem 6.5 part (vi) and [4] Proposition
2.22). It was later generalized to intrinsic Lipschitz graphs.
DeHnition 3.6. Let D ⊂ W = R2n be an open set and let ϕ ∈ C(D) be
a continuous function.
i) We say that Bϕ exists in the sense of distributions and is represented
by a locally bounded function, Bϕ ∈ L ∞ loc (D), if there exists a function
ψ ∈ L∞ loc (D) such that for all ϑ ∈ C 1
c (D) there holds
∂ϑ ∂ϑ
ϑ ψ dw = − ϕ − 2ϕ 2 dw.
D D ∂ y1 ∂t
p = ν ⊥ ( p) · ν( p). (3.9)
ii) The cone with vertex p ∈ Hn , axis ν ∈ R2n , and aperture α ∈ (0, ∞]
is the set C( p, ν, α) = p · C(0, ν, α).
DeHnition 3.8 (Intrinsic Lipschitz graphs). Let D ⊂ ∂ Hν be a set and
let ϕ : D → R be a function.
i) The intrinsic graph of ϕ is the set
gr(ϕ) = p · ϕ( p)ν ∈ Hn : p ∈ D . (3.11)
ν Eϕ (w · ϕ(w)) = , ,
1 + |∇ ϕ ϕ(w)|2 1 + |∇ ϕ ϕ(w)|2 (3.13)
for L -a.e. w on D,
2n
the set
E = (z, t) ∈ Hn : t > f (z), z ∈ D ,
is H -perimeter minimizing in the cylinder A = D × R. This means that
if F ⊂ Hn is a set such that EF A then P(E; A) ≤ P(F; A). Here
86 Roberto Monti
div = 0 in D \ ( f ). (3.16)
|∇ f + 2z ⊥ |
87 Isoperimetric problem and minimal surfaces
H (z) = div ,
|∇ f (z) + 2z ⊥ |
is called H -curvature of the graph of f at the point (z, f (z)). If H = 0
we say that gr( f ) is an H -minimal graph (surface).
The vector Veld N ⊥f is the projection of V onto the x y-plane. The hor-
izontal projection of γ , the curve κ = (γ1 , γ2 ), satisVes κ(0) = z 0 and
solves the differential equation κ̇ = N ⊥f (κ). Then the vector N f is a
normal vector to the curve κ.
Viceversa, let κ be the solution of κ̇ = N ⊥f (κ) and κ(0) = z 0 and let
γ be the horizontal lift of κ with γ (0) = p = (z 0 , f (z 0 )) ∈ ∂ E. Then γ
solves γ̇ = V (γ ) and is contained in ∂ E.
We summarize these observations in the following proposition.
Proposition 3.11. Let S = gr( f ) ⊂ H1 be the graph of a function f ∈
C 1 (D). Then:
div N f (z) = 0 in D \ ( f ),
div = H (z), in D \ ( f ) ⊂ C,
|∇ f (z) + 2z ⊥ |
(z) = ∇ f (z) + 2z ⊥ , z ∈ D.
For any > 0 there exists a function f ∈ C 1,α (D) such that
0<α<1
|( f )| > 1 − .
This theorem is proved in [6] by the following construction. Given a
continuous mapping F : D → R2 one has to Vnd a function such that
∇ f = F on a large subset of D. The construction starts from a Cantor
type subset of D with large measure. The function f is deVned in a
recursive way starting from suitable means of F in the subsquares of D
generating the Cantor set.
The following theorem, proved in [14], shows that if H -curvature is
suitably bounded near characteristic points then ( f ) consists, for n = 1,
either of isolated points or, locally, of C 1 graphs over intervals. Gener-
alizations to the case f ∈ C 1 (D), with some further technical assump-
tions, are given in [15]. For surfaces of class C 2 the curvature H needs
not be integrable for the standard area element near the characteristic set,
see [22].
Theorem 3.15 (Cheng-Hwang-Malchiodi-Yang). Let D ⊂ C be an
open set, f ∈ C 2 (D) and z 0 ∈ ( f ). Assume that:
1) det(J (z 0 )) = 0.
2) For any z ∈ D \ ( f ) we have
∇ f (z) + 2z ⊥
Then there exists > 0 such that ( f ) ∩ {|z − z 0 | < } is the graph of a
C 1 function deFned over an open interval.
Proof. Since det(J (z 0 )) = 0 then the Jacobian matrix J (z 0 ) has rank
at most 1. On the other hand, the antidiagonal of J (z 0 ) never vanishes
and thus the rank is precisely 1. Up to the sign, there exists a unique unit
vector w ∈ R2 , |w| = 1, that is orthogonal to the range of the transposed
Jacobian matrix J (z 0 )∗ .
For u ∈ R2 , we deVne the function u : D → R, u = , u =
/ Ker(J (z 0 )∗ ) then
u 1 ( f x − 2y) + u 2 ( f y + 2x). If u ∈
∇u (z 0 ) = J (z 0 )∗ u = 0,
u − v, w = 0 and u + v, w = 0. (3.20)
and moreover N f (z 0 )+ = −N f (z 0 )− .
By Cauchy theorem, for any x ∈ (−δ, δ) and for any y > ϕ(x) there
exists ϕ̄(x) ∈ (ϕ(x), y) such that
f y (x, y) + 2x f yy (x, ϕ̄(x))
= .
f x (x, y) − 2y f x y (x, ϕ̄(x)) − 2
∇ f (z) + 2z ⊥ (1, b)
N f (0)+ = lim N f (z) = lim =√ .
z→0 z→0 |∇ f (z) + 2z |
⊥
1 + b2
z∈D + z∈D +
∇ f (z) + 2z ⊥ (1, b)
N f (0)− = lim N f (z) = lim = −√ .
z→0 z→0 |∇ f (z) + 2z ⊥ | 1 + b2
z∈D − z∈D −
N +f , N = N −f , N = 0 on ( f ),
div ϕ dz + div ϕ dz = 0.
D+ |∇ f + 2z ⊥ | D− |∇ f + 2z ⊥ |
3.2.3 First variation of the area functional for intrinsic graphs By (3.14),
the H -perimeter of the intrinsic epigraph E ϕ along X 1 of an intrinsic
Lipschitz function ϕ : D → R, D ⊂ Cn open set, is
A (ϕ) = P(E ϕ ; D · R) = 1 + |∇ ϕ ϕ|2 dw, (3.24)
D
d
A (ϕ + ψ) = 0 for any ψ ∈ Cc∞ (D),
d
leads to the following minimal surface equation for a minimizer ϕ in D:
∂ ∂
Bϕ n X jϕ
− 4ϕ + Xj
∂y ∂t 1 + |∇ ϕ ϕ|2 j=2 1 + |∇ ϕ ϕ|2
(3.25)
Yjϕ
+ Yj = 0.
1 + |∇ ϕ ϕ|2
∗ (H p ) = H( p) , p ∈ A. (3.26)
95 Isoperimetric problem and minimal surfaces
where H 2n
is the standard 2n-dimensional Hausdorff measure of R2n+1 ,
n
1/2
K = X j , N 2 + Y j , N 2 ,
j=1
n
1/2
Ks = X j , Ns 2 + Y j , Ns 2 ,
j=1
This Jacobian determinant has the following Vrst order Taylor expansion
in s
Js = 1 + s div Vψ − (J Vψ )N, N + O(s 2 ) on ∂ E ∩ A, (3.32)
have
2n
2n
M (0) = Vi , M (0)Vi = − (J Vψ )Vi , N Vi
i=1 i=1
2n (3.34)
=− Vi , (J Vψ )∗ N Vi
i=1
= (J Vψ )∗ N, N N − (J Vψ )∗ N .
Using the property of Wows, we can repeat the computation for any s and
we Vnd the formula
M (s) = (J Vψ )∗ Ns , Ns Ns − (J Vψ )∗ Ns , (3.35)
where the right-hand side is evaluated at s .
Now let X be any smooth vector Veld in Hn and consider the function
FX (s) = X, Ns (s ). The derivative of FX is
FX (s) = (J X)Vψ (s ), M(s) + X (s ), M (s),
K s ◦ s Js dH =
2n
K s ◦ s Js dH 2n .
ds ∂ E∩A ∂ E∩A ds
n
n
and
n
div Vψ = −4T ψ + X j Y j ψ − Y j X j ψ = −4(n + 1)T ψ. (3.43)
j=1
4 Isoperimetric problem
4.1 Existence of isoperimetric sets and Pansu’s conjecture
For a measurable set E ⊂ Hn with positive and Vnite measure, the
isoperimetric quotient is deVned as
P(E; Hn )
I (E) = .
|E|(Q−1)/Q
Hence, isoperimetric sets are precisely the sets that have least Heisenberg
perimeter for given volume.
The inVmum in (4.1) is in fact positive, Cisop > 0, and we have the
isoperimetric inequality
Q−1
P(E; Hn ) ≥ Cisop |E| Q , (4.3)
holding for any measurable set E with Vnite measure. The constant Cisop
is the largest constant making true the above inequality (i.e., the sharp
constant). Isoperimetric sets are precisely the sets for which the inequal-
ity (4.3) is an equality.
Inequality (4.3) with a positive nonsharp constant can be obtained by
several methods (see, for example, [58], [59], [26], and [33]). The func-
tional analytic proof casts the isoperimetric inequality as a special case of
Sobolev-Poincarè inequalities. Indeed, for any 1 ≤ p < Q there exists a
constant Cn, p > 0 such that
pQ
Q−
pQ
p
1/ p
C p,n |u| Q− p dzdt ≤ |∇H u| p dzdt (4.4)
Hn Hn
We also let s = (z, t) ∈ Hn : x1 = s . Let E ⊂ Hn be a set with
|E| = 1 and Vnite H -perimeter. We deVne the sets
E s− = E ∩ −
s and E s+ = E ∩ +
s .
where
P(E s− ; Hn ) = P(E; Hs− ) + P(E s− ; s ),
(4.6)
P(E s+ ; Hn ) = P(E; Hs+ ) + P(E s+ ; s ).
We do not prove these claims, here. From (4.6) and (4.5), we obtain
P(E; Hn ) + 2v (s) ≥ P(E; − +
s ) + P(E; s ) + 2v (s)
= P(E; − + −
s ) + P(E; s ) + P(E s ; s )
+ P(E s+ ; s )
= P(E s− ; Hn ) + P(E s+ ; Hn )
Q−1 Q−1
≥ Cisop |E s− | Q + |E s+ | Q .
Using P(E; Hn ) ≤ Cisop (1+) and |E| = 1, the inequality above implies
Q−1 Q−1
Cisop (1 + ) + 2v (s) ≥ Cisop v(s) Q + (1 − v(s)) Q ,
Q−1 Q−1
and letting ψ(v) = v Q +(1−v) Q −1 for v ∈ [0, 1], we Vnally obtain
1
1/Q
λ≤ Q
.
1 − 2C Q−1
Hn ) ≤ P(E; Hn ). We do not
A calibration argument shows that P( E;
prove this claim, here. So we get
1
(Q−1)/Q
P(λ E; Hn ) ≤
Hn ) = λ Q−1 P( E; P(E; Hn ).
Q
1 − 2C Q−1
Pansu did not give the formula for the conjectured isoperimetric set but he
described how to construct it. Let us consider a geodesic γ : [0, π] → H1
joining the point γ (0) = 0 to the point γ (π) = (0, π) ∈ H1 . Using the
formula (1.14) with ϑ = 0 and ϕ = 2, we have the following formula
for γ
e2is − 1
2is
The horizontal projection of γ , namely the curve κ(s) = e 2−1 , is a circle
with diameter 1. Letting |z| = |κ(s)| we Vnd |z|2 = 1 − cos2 s, and when
s ∈ [0, π/2] we get
s = arccos 1 − |z|2 .
We can thus deVne the proVle function ϕ : [0, 1] → R by letting
π
ϕ(|z|) = s − sin s cos s −
2
π
= arccos 1 − |z|2 − |z| 1 − |z|2 −
2
= − arccos |z| − |z| 1 − |z| .
2
The proVle ϕ gives the radial value of the function whose graph is the
bottom part of the boundary of the set E isop in (4.9).
Pansu’s conjecture is in H1 . Of course, the formula deVning E isop in
(4.9) makes sense in Hn for n ≥ 2 and the conjecture can be naturally
extended to any dimension.
Proposition 4.3. The set E isop ⊂ H1 has the following properties:
1) The boundary ∂ E isop is of class C 2 but not of class C 3 .
2) The set E isop is convex.
3) The set E isop is axially symmetric.
Proof. 1) The boundary ∂ E isop is of class C ∞ away from the center of
the group Z = {(0, t) ∈ H1 : t ∈ R}. We claim that the function
ϕ : [0, 1] → R,
ϕ(r) = arccos r + r 1 − r 2 ,
satisVes ϕ (0) = ϕ (0) = 0 but ϕ (0) = 0. This implies that ∂ E isop is of
class C 2 but not of class C 3 . In fact, we have
−2r 2 2 − r2
ϕ (r) = √ , ϕ (r) = −2r ,
1 − r2 (1 − r 2 )3/2
Here, we are assuming that the set E lies above the graph of f . Moreover,
we have ψ = p v −3/4 − 34 pv −7/4 v . From (4.10) we deduce that ψ (0) =
0 and thus
1 ∇ f + 2z ⊥ , ∇ϕ 3 P(E; H1 )
0= dz + ϕ dz
|E|3/4 D |∇ f + 2z ⊥ | 4 |E|7/4 D
∇ f + 2z ⊥
1 3 P(E; H1 )
= − 3/4 ϕ div dz + ϕ dz.
|E| D |∇ f + 2z ⊥ | 4 |E|7/4 D
i) z 0 is an isolated point of ( f );
ii) Near z 0 , ( f ) is a C 1 curve κz0 passing through z 0 .
In the case ii), let κz0 be the maximal C 1 curve contained in ( f ) and
passing through z 0 . The curve κz0 cannot reach the boundary ∂ D because
this would contradict the maximality of D. The curve κz0 cannot have
limit points inside D that are singular, because of Theorem 3.15. Then
κz0 must be a simple closed curve inside D. But this is not possible
because the horizontal lift of κz0 grows in the t coordinate by an amount
that equals 4 times the area of the region enclosed by the simple closed
curve.
So we are left with the case ( f ) = {z 0 } for some z 0 ∈ D. Through
any point z ∈ D \ {z 0 } passes a circle with curvature H starting from z 0 .
107 Isoperimetric problem and minimal surfaces
∇ f (z) + 2z ⊥
N f (z) = z ∈ D,
|∇ f (z) + 2z ⊥ |
The goal is to prove that integral curves of N ⊥f are circles with curva-
ture H . The vector N f will be the “normal vector” to the curve.
The Vrst step of the proof of Theorem 4.5 is an improved regularity
for solutions of (4.13): the candidate “normal vector” satisVes N f ∈
1,1
Wloc (D; R2 ), see [53].
The second step of the proof consists in the analysis of the Wow of
the vector Veld v(z) = 2z − ∇ f ⊥ (z). This vector Veld is orthogonal
to N f . Since f is convex, we have v ∈ BVloc (int(D); R2 ). Moreover,
the distributional divergence of v is in L ∞ , in fact div v = 4 in int(D).
Thus, by Ambrosio’s theory on the Cauchy Problem for vector Velds of
bounded variation [2], for any compact set K ⊂ D there exist r > 0 and
a (unique regular) Lagrangian Wow : K × [−r, r] → D. In particular,
for any z ∈ K , the curve γz (s) = (z, s) is an integral curve of v passing
through z at time s = 0.
1,1
The third step of the proof uses the fact that v/|v| is in Wloc (D; R2 ) to
show that (a suitable reparameterization of) the integral curve γz is twice
differentiable in a weak sense. With this regularity, the distributional
equation (4.13) can be given a formal meaning along the integral curve
γz : it says that the curvature of γz is the constant H .
Theorem 4.6. Let E ⊂ H1 be a convex isoperimetric set with curvature
H > 0 (the constant in (4.13)) and let : K × [−r, r] → D be the Gow
introduced above. Then for a.e. z ∈ K the curve s
→ (z, s) is an arc
of circle with radius 1/H .
The shape of a convex isoperimetric set E can now be reconstructed
starting from the structure of the characteristic set of ∂ E. A point (z, t) ∈
∂ E is characteristic if the horizontal plane at (z, t) is a supporting plane
for E at (z, t). For convex sets, the characteristic set is the disjoint union
of at most four compact disjoint horizontal segments, possibly points,
see [53]. This property and Theorem 4.6 yield Theorem 4.5 as explained
in the Vnal part of the proof of Theorem 4.4.
for any dimension n ≥ 1. This result is proved in [48] and, in this section,
we present the scheme of the proof.
S
Theorem 4.7 (Monti). The inFmum Cisop > 0 is attained and any axially
symmetric isoperimetric set coincides with the set E isop in (4.15), up to a
dilation, a vertical translation, and a Lebesgue negligible set.
By a rearrangement argument, Theorem 4.7 can be reduced to a one
dimensional problem. The Vrst step is the reduction to an isoperimetric
problem in the half plane R2+ = R+ × R.
Using spherical coordinates in Cn , a measurable axially symmetric set
E ⊂ Hn is generated by a measurable set F ⊂ R2+ (and viceversa), and
we have the following formula
P(E; Hn ) = ω2n−1 Q(F; R2+ ), (4.16)
where Q(·; R2+ ) is a weighted perimeter functional in the half-plane
2n−1
Q(F; R2+ ) = sup ∂r r ψ1 + ∂t 2r 2n ψ2 drdt : ψ
F
(4.17)
∈ Cc (R+ ; R ), ψ∞ ≤ 1 .
1 2 2
(4.19)
110 Roberto Monti
The observation made in [48] is that the isoperimetric quotient for sets
F ⊂ R2+ is improved by a certain rearrangement of F in the variable r
for Vxed t that is tailored to the perimeter Q(·;R2+ ). We measure the
t-sections of F, the sets Ft = r > 0 : (r, t) ∈ F , using the line density
τ (r) = 2r 2n . The function τ is the weight appearing in the deVnition of
the functional Q(·; R2+ ) in (4.17). We let
r
2
!(r) = τ (s) ds = r 2n+1 , (4.20)
0 2n + 1
i) We have Q(F " ; R2+ ) ≤ Q(F; R2+ ), and in case of equality there holds
F = F " , up to a negligible set.
ii) We have V (F " ) ≥ V (F).
Now the boundary of ∂ F inside R2+ is a Lipschitz curve that can be com-
puted by a standard variational argument. This curve is the proVle of the
isoperimetric set conjectured by Pansu and, as a matter of fact, it does not
depend on the dimension n.
111 Isoperimetric problem and minimal surfaces
+ E +
b) N HG = −N H isop a.e. on ∂G + ∩ ∂ E isop and N HG = N HE a.e. on ∂G + ∩
∂ E.
Integrating (4.23) on F + we Vnd
+ +
H |F | = divH ψ(z, t) dzdt = N HF , ψdμ F +
+ +
F ∂ F
E isop (4.24)
= N H , ψdμ Eisop − N HE , ψdμ E
∂ F+ ∂ F+
≥ P(E isop ; ∂ F + ) − P(E; ∂ F ),+
E
because N H isop , ψ = 1 on ∂ F + ∩∂ E isop and N HE , ψ ≤ 1 on ∂ F + ∩∂ E.
In the same way, we Vnd the inequality
+
H |G + | = divH ψ(z, t) dzdt = N HG , ψdμG +
+ ∂G +
G
E isop (4.25)
=− N H , ψdμ Eisop + N HE , ψdμ E
∂G + ∂G +
+ +
≤ −P(E isop ; ∂G ) + P(E; ∂G ).
From (4.24) and (4.25), we obtain
H (|F + | − |G + |) ≥ P(E isop ; ∂ F + ) − P(E; ∂ F + )
+ P(E isop ; ∂G + ) − P(E; ∂G + ) (4.26)
= P(E isop ; {t > 0}) − P(E; {t > 0}).
− −
Let F − = E isop \ E − and G − = E − \ E isop . Then we have F − , G − ⊂
−
B × R− and E − E isop = F − ∪ G − . Computations analogous to the ones
above show that
H (|F − | − |G − |) ≥ P(E isop ; {t < 0}) − P(E; {t < 0}). (4.27)
Since |E| = |E isop | we have |F + | + |F − | = |G + | + |G − |. Adding (4.26)
and (4.27), we obtain
0 = H (|F + | + |F − | − |G + | − |G − |)
≥ P(E isop ; {t = 0}) − P(E; {t = 0})
= P(E isop ; Hn ) − P(E; Hn ).
This concludes the proof.
Remark 4.10. In [67], Ritoré also discusses the equality case. Namely,
in the setting of Theorem 4.9 and assuming that ∂ E \ Z is a C H1 -regular
surface, he shows that the equality P(E; Hn ) = P(E isop ; Hn ) implies
E = E isop .
113 Isoperimetric problem and minimal surfaces
for some 0 < α < 1 and C > 0. By standard facts, this implies the
Hölder continuity of the horizontal normal on the reduced boundary. In
turn, the continuity of the normal implies that the reduced boundary is
a C H1 -regular surface in the sense of DeVnition 2.16, see [56], and thus
it is locally the intrinsic graph of a continuous function ϕ having Hölder
continuous distributional intrinsic gradient ∇ ϕ ϕ, see DeVnition 3.4.
4) Schauder-type regularity. The function ϕ is a local minimizer of the
area functional (see (3.14))
A (ϕ) = 1 + |∇ ϕ ϕ|2 dw.
D
H -perimeter minimizing sets, Theorem 5.9, and also the so-called height
estimate, giving a certain Watness of the boundary in the regime of small
excess, see Theorem 5.10. The proofs are rather technical and are omit-
ted.
In Section 5.2, we also study some examples of nonsmooth minimiz-
ers in H1 , including sets with constant horizontal normal. No similar
examples of nonsmooth minimizers are known in Hn with n ≥ 2.
lim P(E j ; Hn ) = m.
j→∞
Then we have:
As for the standard perimeter, sets that are H -perimeter minimizing admit
lower and upper density estimates with geometric constants.
where c1 = P(B1 ; Hn ).
Proof. Let 0 < s < r < . Since the sets E and E \ Bs agree inside
Br \ B̄s , we have
It follows that
SQ−1,δ (K ∩ A) ≤ diam(B5ri ( pi )) Q−1 = 10 Q−1 riQ−1
i∈N i∈N
≤ 10 Q−1 c3−1 P(E; Bri ( pi )) ≤ 10 Q−1 c3−1 P(E; A).
i∈N
Since δ > 0 is arbitrary, we deduce that SQ−1 (K ) ≤ 10 Q−1 c3−1 P(E; A).
As A is arbitrary and, by (2.13), P(E; K ) = 0, we conclude that
SQ−1 (K ) = 0.
117 Isoperimetric problem and minimal surfaces
div V = divH ϕ = X +Y
x 2 + y2 x 2 + y2
∂ −y
∂ x
= + = 0.
∂x x 2 + y2 ∂y x 2 + y2
Trivially, we have div V = 0 where x ≥ 0.
118 Roberto Monti
On ∂ E, we have
X, N E , Y, N E
ϕ= ,
X, N E 2 + Y, N E 2
and thus
V, N E = ϕ1 X, N E + ϕ2 Y, N E = X, N E 2 + Y, N E 2 .
So we deduce that
V, N dH ≤
F 2
X, N F 2 + Y, N F 2 dH 2 = P(F; E).
∂ F∩E ∂ F∩E
∇ ϕ ϕ = Bϕ = ϕ y − 4ϕϕt = −2sgn(t), t = 0.
(1, −∇ ϕ ϕ) 1
νE = = √ 1, 2sgn(t) .
1 + |∇ ϕ|
ϕ 2 5
NG = NE a.e. on ∂ E ∩ Ḡ,
N = −N
G F
a.e. on ∂ F ∩ Ḡ.
√
DeVne the horizontal vector Veld V in H1 by V = 5(ν E1 X + ν E2 Y ),
where ν E = (ν E1 , ν E2 ) is the extended horizontal normal. Namely, we let
X − 2Y x < 0
V =
X + 2Y x > 0.
We denote by V − and V + the traces of V onto {x = 0}, from the left and
from the right. The integral on ∂G − is
V, NG − dH 2 = V, N G dH 2 + V − , N G dH 2
∂G −
∂G∩{x<0} G∩{x=0}
= V, N E dH 2 − V, N F dH 2
∂ E∩{x<0} ∂ F∩{x<0}
+ V − , e1 dH 2 .
G∩{x=0}
5.2.3 Sets with constant horizontal normal In the previous two exam-
ples, the calibration is provided by a suitable extension of the horizontal
normal ν E , extension that is divergence free. A special but interesting
case of this situation is when the normal is in fact constant. In this sec-
tion, we describe sets in H1 that have, locally, constant horizontal normal
(see [50]).
For r > 0 and p ∈ H1 , we let
Q r = (x, y, t) ∈ H1 : |x| < r, |y| < r, |t| < r 2 ,
(5.9)
Q r ( p) = p · Q r .
Proof. For the sake of simplicity, we assume that E is open. For any
α, β ∈ R with α ≥ 0, let Z = α X + βY . Then, for any ϕ ∈ Cc1 (Q 4r )
with ϕ ≥ 0, by the Gauss-Green formula (2.6) we have
Z ϕ dzdt = −α ϕ dμ E ≤ 0,
E Q 4r
p ∈ E ∩ Q 4r ⇒ exp(s Z )( p) ∈ E, (5.12)
σ = y, τ − 2σ h(τ ) = t
References
[1] L. A MBROSIO, Some Fne properties of sets of Fnite perimeter in
Ahlfors regular metric measure spaces, Adv. Math. 159 (2001),
no. 1, 51–67.
[2] L. A MBROSIO, Transport equation and Cauchy problem for BV
vector Felds, Invent. Math. 158 (2004), no. 2, 227–260.
[3] L. A MBROSIO , B. K LEINER and E. L E D ONNE, RectiFability of
sets of Fnite perimeter in Carnot groups: existence of a tangent
hyperplane, J. Geom. Anal. 19 (2009), no. 3, 509–540.
[4] L. A MBROSIO , F. S ERRA C ASSANO and D. V ITTONE, Intrinsic
regular hypersurfaces in Heisenberg groups, J. Geom. Anal. 16
(2006), no. 2, 187–232.
[5] G. A RENA , A. O. C ARUSO and R. M ONTI, Regularity properties
of H -convex sets, J. Geom. Anal. 22 (2012), no. 2, 583–602.
[6] Z. BALOGH, Size of characteristic sets and functions with pre-
scribed gradients, J. Reine Angew. Math. 564 (2003), 63–83.
[7] F. B IGOLIN , L. C ARAVENNA and F. S ERRA C ASSANO, Intrin-
sic Lipschitz graphs in Heisenberg groups and continuous solu-
tions of a balance equation, Ann. I. H. Poincaré - AN (2014),
http://dx.doi..org/10.1016/j.anihpc.2014.05.001.
[8] V. BARONE A DESI , F. S ERRA C ASSANO , D. V ITTONE, The Bern-
stein problem for intrinsic graphs in Heisenberg groups and cali-
brations. Calc. Var. Partial Differential Equations 30 (2007), no. 1,
17–49.
[9] L. C APOGNA , G. C ITTI and M. M ANFREDINI, Regularity of non-
characteristic minimal graphs in the Heisenberg group H1 , Indiana
Univ. Math. J. 58 (2009), no. 5, 2115–2160.
[10] L. C APOGNA , G. C ITTI and M. M ANFREDINI, Smoothness of Lip-
schitz minimal intrinsic graphs in Heisenberg groups Hn , n > 1, J.
Reine Angew. Math. 648 (2010), 75–110.
[11] L. C APOGNA , D. DANIELLI , S. D. PAULS and J. T YSON, “An
Introduction to the Heisenberg Group and the Sub-Riemannian
Isoperimetric Problem”, Progress in Mathematics, Vol. 259. Bir-
khäuser Verlag, Basel, 2007. xvi+223 pp.
[12] J.-H. C HENG , J.-F. H WANG and P. YANG, Existence and unique-
ness for p-area minimizers in the Heisenberg group, Math. Ann.
337 (2007), no. 2, 253–293.
[13] J.-H. C HENG , J.-F. H WANG and P. YANG, Regularity of C 1
smooth surfaces with prescribed p-mean curvature in the Heisen-
berg group, Math. Ann. 344 (2009), no. 1, 1–35.
126 Roberto Monti
Abstract. This lecture notes are an expanded and revised version of the course
Regularity of higher codimension area minimizing integral currents that I taught
at the ERC-School on Geometric Measure Theory and Real Analysis, held in Pisa,
September 30th - October 30th 2013.
The lectures aim to explain partially without proofs the main steps of a new
proof of the partial regularity of area minimizing integer rectiVable currents in
higher codimension, due originally to F. Almgren, which is contained in a series
of papers in collaboration with C. De Lellis (University of Zürich).
Contents
1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
1.1. Integer rectiVable currents . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
1.2. Partial regularity in higher codimension . . . . . . . . . . . . . . . . . . . . 135
2. The blowup argument: a glimpse of the proof . . . . . . . . . . . . . . . . 136
2.1. Flat tangent cones do not imply regularity . . . . . . . . . . . . . . . . . . 136
2.2. Non-homogeneous blowup . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136
2.3. Multiple valued functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137
2.4. The need of centering . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 138
2.5. Excluding an inVnite order of contact . . . . . . . . . . . . . . . . . . . . . . 139
2.6. The persistence of singularities . . . . . . . . . . . . . . . . . . . . . . . . . . . 139
2.7. Sketch of the proof . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 140
3. Q-valued functions and rectiVable currents . . . . . . . . . . . . . . . . . . 141
3.1. Q-valued functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
3.2. Graph of Lipschitz Q-valued functions . . . . . . . . . . . . . . . . . . . . 144
3.3. Approximation of area minimizing currents . . . . . . . . . . . . . . . . 145
4. Selection of contradiction’s sequence. . . . . . . . . . . . . . . . . . . . . . . .147
5. Center manifold’s construction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151
5.1. Notation and assumptions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152
5.2. Whitney decomposition and interpolating functions . . . . . . . . . 153
5.3. Normal approximation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156
5.4. Construction criteria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157
5.5. Splitting before tilting. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .159
132 Emanuele Spadaro
1 Introduction
The subject of this course is the study of the regularity of minimal sur-
faces, considered in the sense of area minimizing integer rectiFable cur-
rents. This is a very classical topic and stems from many diverse ques-
tions and applications. Among the most known there is perhaps the so
called Plateau problem, consisting in Vnding the submanifolds of least
possible volume among all those submanifolds with a Vxed boundary.
Plateau problem. Let M be a (m + n)-dimensional Riemannian man-
ifold and ⊂ M a compact (m − 1)-dimensional oriented submanifold.
Find an m-dimensional oriented submanifold with boundary such
that
volm () ≤ volm ( ),
for all oriented submanifolds ⊂ M such that ∂ = .
It is a well-known fact that the solution of the Plateau problem does
not always exist. For example, consider M = R4 , n = m = 2 and the
smooth Jordan curve parametrized in the following way:
= (ζ 2 , ζ 3 ) : ζ ∈ C, |ζ | = 1 ⊂ C2 R4 ,
The regular and the singular part of a current are deVned as follows.
Reg(T) := x ∈ spt (T) : spt (T) ∩ Br (x) is induced by a smooth
submanifold for some r > 0 ,
Sing(T) := spt (T) \ spt (∂T) ∪ Reg(T) .
136 Emanuele Spadaro
By the classical monotonicity formula (see, e.g., [2, Section 5]), for ev-
ery rk ↓ 0 and x ∈ spt (T ) \ spt (∂ T ), there exists a subsequence (not
relabeled) such that
Tx,rk S,
where S is a cone without boundary (i.e. S0,r = S for all r > 0 and
∂ S = 0) which is locally area minimizing in Rm+n . Such a cone will be
called, as usual, a tangent cone to T at x.
The idea of the blowup analysis dates back to De Giorgi’s pioneering
paper [10] and has been used in the context of codimension one currents
to recognize singular points and regular points, because in this case the
tangent cones to singular and regular points are in fact different.
ones, which are the orthogonal complement to the former. In this way,
in place of preserving the geometric properties of the rectiVable current
T , one is led to preserve the energy of the associated multiple valued
function.
In order to explain this point, let us consider again the current TV . The
support of such current, namely the complex curve V, can be viewed as
the graph of a function which associates to any z ∈ C with |z| ≤ 1 two
points in the w-plane:
z
→ {w1 (z), w2 (z)} with wi (z)2 = z 3 for i = 1, 2. (2.1)
Then the right rescaling according to Almgren is the one producing in the
limit a multiple valued harmonic function preserving the Dirichlet energy
(for the deVnitions see the next sections). In the case of V, the correct
rescaling is the one Vxing V. For every λ > 0, we consider λ : C2 → C2
given by
λ (z, w) = (λ2 z, λ3 w),
and note that (λ )" TV = TV for every λ > 0. Indeed, in the case of V the
functions w1 and w2 , being the two determinations of the square root of
z 3 , are already harmonic functions (at least away from the origin).
Rm ⊃ Br (x0 ) # x
→ {u 1 (x), . . . , u Q (x)} ∈ (Rn ) Q , (2.2)
(due to the branch point at 0), and hence cannot be distinguished one
from the other. We are then led to consider a multiple valued function as
a map taking Q values in the quotient space (Rn ) Q / ∼ induced by the
symmetric group S Q of permutation of Q indices: namely, given points
Pi , Si ∈ Rn ,
(P1 , . . . , PQ ) ∼ (S1 , . . . , S Q )
if there exists σ ∈ S Q such that Pi = Sσ (i) for every i = 1, . . . , Q.
Note that the space (Rn ) Q / ∼ is a singular metric space (for a naturally
deVned metric, see the next section). Therefore, harmonic maps with
values in (Rn ) Q / ∼ have to be carefully deVned, for instance by using
the metric theory of harmonic functions developed in [22,25,26] (cp. also
[13, 27]).
Remark 2.1. Note that the integer rectiVable current induced by the
graph of a Q-valued function (under suitable hypotheses, cp. [16, Propo-
sition 1.4]) belongs to a subclass of currents, sometimes called “positively
oriented”, i.e. such that the tangent planes make at almost every point a
positive angle with a Vxed plane. Nevertheless, as it will become clear
along the proof, it is enough to consider this subclass as model currents
in order to conclude Theorem 1.7.
delta:
( )
Q
(Rn ) Q / ∼ A Q (Rn ) := [[Pi ]] : Pi ∈ Rn ,
i=1
where [[Pi ]] denotes the Dirac delta at Pi . We can then endow A Q with
one of the distances deVned for (probability) measures, for example the
Wasserstein
distance of exponent two: for every T1 = i [[Pi ]] and T2 =
i [
[Si ]
] ∈ A Q (Rn
), we set
.
/ Q
/
G(T1 , T2 ) := min 0 Pi − Sσ (i) 2 ,
σ ∈S Q
i=1
and deVne the Dirichlet energy of a Q-valued function as (cp. also [25–
27] for alternative deVnitions)
Dir( f ) := |D f |2 .
143 Higher codimension integral currents
j
where Mi and f i are as above: that is,
Q
j j
T F (ω) := ω( f i (x)), D f i (x)" e(x) dHm (x) ∀ ω ∈ D m (Rn ).
i∈N j=1 Mi
(3.4)
One can prove that the current in DeVnition 3.4 does not depend on the
decomposition chosen for M and f , and moreover is integer rectiVable
(cp. [16, Proposition 1.4])
A particular class of push-forwards are given by graphs.
DeHnition 3.5 (Q-graphs). Let f = i [[ f i ]] : Rm→A Q (Rn ) be Lipschitz
Q
and deVne the map F : M → A Q (Rm+n ) as F(x) := i=1 [[(x, f i (x))]].
Then, T F is the current associated to the graph Gr( f ) and will be de-
noted by G f .
where R̄4 ∈ C 1 (Rn×m ) satisFes | R̄4 (D)| = |D|3 L̄(D) for L̄ : Rn×m → R
Lipschitz with Lip( L̄) ≤ C and L̄(0) = 0.
some open cylinder C̄4r (x) (with r ≤ 1) and some positive integer Q, the
area minimizing current T has compact support in C̄4r (x) and satisVes
p" T = Q B̄4r (x) and ∂ T C̄4r (x) = 0, (3.6)
T (C̄r (x))
E(T, C̄r (x)) := −Q
ωm r m
1
= |T − π0 |2 δT ,
2 ωm r m T (C̄r (x))
Lip( f ) ≤ C E γ1 , (3.7)
G f (K ×R ) = T (K × R ) and |Br (x)\ K | ≤ C E
n n
r , (3.8)
1+γ1 m
T (C̄r (x)) − Q ωm r m − 1 |D f |2 ≤ C E 1+γ1 r m . (3.9)
2
Br (x)
The precise properties of the sequence that will be used in the blowup
argument are stated in the following proposition. We recall that the main
hypothesis at the base of the proof is the contradiction assumption of
Section 2.7, which we restate for reader’s convenience.
148 Emanuele Spadaro
lim H∞m−2+α
(D Q (T0,rk ) ∩ B1 ) > η, (4.2)
k→+∞
Hm (B1 ∩ spt (T0,rk )) \ D Q (T0,rk ) > 0 ∀ k ∈ N. (4.3)
Here H∞ m−2+α
is the Hausdorff premeasure computed without any restric-
tion on the diameter of the sets in the coverings.
By Almgren’s stratiVcation theorem and by general measure theoretic
arguments, there exist sequences satisfying either (4.1) or (4.2). The two
subsequences might, however, be different: we show the existence of one
point and a single subsequence along which both conclusions hold. The
proof of the proposition is based on the following two results.
Theorem 4.2 (Almgren [5, 2.27]). Let α > 0 and let T be an integer
rectiFable area minimizing current in Rm+n . Then,
(1) for Hm−2+α -a.e. point x ∈ spt (T ) \ spt (∂ T ) there exists a subse-
quence sk ↓ 0 such that Tx,sk converges to a Gat cone;
(2) for Hm−3+α -a.e. point x ∈ spt (T )\spt (∂ T ), it holds that !(T, x) ∈
Z.
149 Higher codimension integral currents
H∞
m−2+α
(SingQ (S)) > 0. (4.5)
Indeed, if all points of D Q (S) are singular, then (4.5) follows from (4.4)
directly. Otherwise, RegQ (S) is not empty, thus implying Hm (D Q (S) ∩
B1 ) > 0: we can then apply Lemma 4.3 and infer that, since S is not
regular, then Hm−1 (SingQ (S)) > 0 and (4.5) holds.
We can, hence, Vnd x ∈ SingQ (S) \ {0} and rk ↓ 0 such that
H∞m−2+α
SingQ (S) ∩ Brk (x))
lim > 0.
k→+∞ rkm−2+α
150 Emanuele Spadaro
H∞
m−2+α
(D Q (S1 ) ∩ B̄1 ) ≥ lim sup H∞
m−2+α
(D Q (Sx,rk ) ∩ B̄1 ) > 0.
k→+∞
Thus RegQ (S1 ) = ∅ and, hence, Hm (D Q (S1 )) > 0. We then can apply
Lemma 4.3 again and conclude that S1 is an m-dimensional plane with
multiplicity Q. Therefore, the proposition follows taking T a suitable
translation of S.
Then ∂(T U ) = 0.
M(T (V ∩ U ) − Sr ) → 0 as r ↓ 0,
We next prove Lemma 4.3. For each x ∈ RegQ (S), let r x be such that
S B2rx (x) = Q [[]] for some regular submanifold and set
U := Brx (x).
x∈RegQ (S)
151 Higher codimension integral currents
where C̄r (x, π) = B̄r (x, π) × π ⊥ is the cylinder over the closed ball
B̄r (x, π) or radius r and center x in the m-dimensional plane π. And we
consider the height function in a set A (we denote by pπ the orthogonal
projection on a plane π)
We also set
and we will use E(T, C̄r (x, π)) in place of E(T, C̄r (x, π), π): note that
it coincides with the cylindrical excess as deVned in Section 3.3 when
(pπ )" T C̄r (x, π) = Q B̄r (pπ (x), π) .
then:
g L : B4r L ( p L , π0 ) → π0⊥ ,
154 Emanuele Spadaro
Br ( p L , π0 ) := Br ( p L ) ∩ ( p L + π0 ).
It is now very simple to show how to patch all the interpolating functions
g L in order to construct a center manifold. To this aim, we set
P j := S j ∪ L ∈ W : &(L) ≥ 2− j .
(iii) for all x ∈ , the point (x, ϕ(x)) ∈ spt (T ) and is a multiplicity Q
point. Setting (y) := (y, ϕ(y)), we call () the contact set.
Proof. DeVne χ H := ϑ H /( L∈P j ϑ L ) and observe that
χ H = 1 and χ H C i ≤ C0 (i, m, n) &(H )−i ∀i ∈ N . (5.15)
Set P j (H ) := {L ∈ P j : L ∩ H = ∅} \ {H }. By construction
1
&(L) ≤ &(H ) ≤ 2 &(L) for every L ∈ P j (H ),
2
and the cardinality of P j (H ) is bounded by a geometric constant C0 .
1
The estimate |ϕ j | ≤ C E 2m follows then easily from (5.10).
For x ∈ H we write
ϕ j (x) = g H χ H + g L χ L (x)
L∈P j (H )
(5.16)
= g H (x) + (g L − g H )χ L (x) .
L∈P j (H )
Using the Leibniz rule, (5.15), (5.10) and (5.11), for i ∈ {1, 2, 3} we get
D i ϕ j C 0 (H ) ≤ g H C i + g L − g H C l (H ) &(L)l−i
0≤l≤i L∈P j (H )
1
≤ C E 1 + &(H )3+κ−i .
2
1
Next, using also [D 3 g H − D 3 g L ]κ ≤ C E 2 , we obtain
[D 3 ϕ j ]κ,H ≤ &(H )l−3 &(H )−κ Dl (g L − g H )C 0 (H )
0≤l≤3 L∈P j (H )
1
+ [Dl (g L − g H )]κ,H + [D 3 g H ]κ,H ≤ C E 2 .
Theorem 5.4. Let γ2 := γ41 , with γ1 the constant of Theorem 3.9. Under
the hypotheses of Theorem 5.2, if ε2 is sufFciently small, then there exist
constants β2 , δ2 > 0 and an M-normal approximation (K, F) such that
the following estimates hold on every Whitney region L:
1
Lip(N |L ) ≤ C E γ2 &(L)γ2 and N |L C 0 ≤ C E 2m &(L)1+β2 , (5.18)
|D N |2 ≤ C E &(L)m+2−2δ2 , (5.19)
L
|L \ K| + T F − T (p−1 (L)) ≤ C E 1+γ2 &(L)m+2+γ2 . (5.20)
β2 γ2
|η ◦ N | ≤ C E &(L)3+ 3 + a &(L)2+ 2 |V|
V
C 2+γ2
+ G N , Q [[η ◦ N ]] . (5.21)
a V
Let us brieWy explain the conclusions of the theorem. The estimates in
(5.18) and (5.19) concern the regularity properties of the normal approx-
imation N , and will play an important role in many of the subsequent
arguments. However, the key properties of N are (5.20) and (5.21): the
former estimates the error done in the approximation on every Whitney
region; while the latter estimates the L 1 norm of the average of N , which
is a measure of the centering of the center manifold. Note that both esti-
mates are in some sense “superlinear” with respect to the relevant param-
eters: indeed, as it will be better understood later on, they involve either
a superlinear power of the excess E 1+γ2 or the L 2+γ2 norm of N (which
is of higher order with respect to the “natural” L 2 norm).
W = We ∪ Wh ∪ Wn and S ⊂ C .
158 Emanuele Spadaro
The m-dimensional planes π realizing the minimum above are called op-
timal planes of T in a ball Br (x) if, in addition, π optimizes the height
among all planes that optimize the excess:
h(T, Br (x), π) = min h(T, Br (x), τ ) : τ satisVes (5.3)
=: h(T, Br (x)). (5.22)
G g L = Gh L C̄4r L ( p L , π0 ),
Note that β2 and δ2 are Vxed, while the other parameters are not Vxed but
are subject to further restrictions in the various statements, respecting a
very precise “hierarchy” (cp. [14, Assumption 1.9]).
Finally, we add also a few words concerning the construction of the
normal approximation N . In every Whitney region L the map N is a
suitable extension of the reparametrization of the Lipschitz approxima-
tion f L . Then the estimates (5.18), (5.19) and (5.20) follow easily from
Theorem 3.9. The most intricate proof is the one of (5.21) for which the
choice of the regularization h L deeply plays a role. The main idea is that,
on the optimal plane π L , the average of the sheets of the minimizing cur-
rent is almost the graph of a harmonic function. Therefore, a good way to
regularize it (which actually would keep it unchanged if it were exactly
harmonic) is to convolve with a radial symmetric molliVer. This proce-
dure, which we stress is not the only possible one, will indeed preserve
the main properties of the average.
out that, following the arguments for the height bound and for the de-
cay of the excess, one can infer two further consequences of the Whitney
decomposition’s criteria.
It is possible to show that when (Stop) occurs for some r, such r is smaller
than 2−5 . This justiVes the following:
(1) in case (Go) holds, we set s j := 0, i.e. I j :=]0, t j ], and end the
procedure;
(2) in case (Stop) holds we let s j := r̄ t j , where r̄ is the maximum
radius satisfying (Stop). We choose then t j+1 as the largest element
in R∩]0, s j ] and proceed iteratively.
s
The following are easy consequences of the deVnition: for all r ∈] t jj , 3[,
it holds
In this section we show how one can partition the cubes of the Whitney
decomposition which intersect B into disjoint families which are labeled
by pairs (L , B(L)) cube–ball enjoying different properties.
163 Higher codimension integral currents
Proposition 5.9. There exists a set Z of pairs (L , B(L)) with this prop-
erties:
thus implying
6 Order of contact
In this section we discuss the issues in steps (D) and (E) of the sketch of
proof in Section 2.7, i.e. the order of contact of the normal approximation
with the center manifold.
The key word for this part is frequency function, which is the mono-
tone quantity discovered by Almgren controlling the vanishing order of
a harmonic function. In order to explain this point, we consider Vrst the
case of a real valued harmonic function f : B1 ⊂ R2 → R with an
expansion in polar coordinates
∞
f (r, θ) = a0 + r k ak cos(kθ) + bk sin(kθ) .
k=1
How can one detect the smallest index k such that ak or bk is not 0? It is
not difVcult to show that the quantity
r Br |∇ f |2
I f (r) := (6.1)
∂ Br | f |
2
165 Higher codimension integral currents
and
d j ( p) |N j |2 ( p)
H j (r) := − ϕ dp ,
Mj r d( p)
where d j ( p) is the geodesic distance on M j between p and j (0). If we
have that H j (r) > 0, then we deVne the frequency function
r D j (r)
I j (r) := .
H j (r)
166 Emanuele Spadaro
=2 |D N j |2 dt. (6.3)
r
2 Bt ( j (0))
To simplify the notation, we drop the index j and omit the measure Hm
in the integrals over regions of M. For the proof of the theorem we need
to introduce some auxiliary functions (all absolutely continuous with re-
spect to r). We let ∂r̂ denote the derivative along geodesics starting at
(0). We set
Q
E(r) := − ϕ d( p)
r
Ni ( p), ∂r̂ Ni ( p) dp ,
M i=1
G(r) := − ϕ d(rp) d( p) |∂r̂ N ( p)|2 dp,
M
(r) := ϕ d(rp) |N |2 ( p) dp .
M
We assume for the moment the proposition and prove the theorem.
Proof of Theorem 6.2. It enough to consider the case in which I > 1 on
]a, b[. Set (r) := log I(r). By Proposition 6.3, if ε3 is sufVciently
small, then
D(r) E(r)
≤ ≤ 2 D(r), (6.9)
2 r
from which we conclude that E > 0 over the interval ]a, b [. Set for
simplicity F(r) := D(r)−1 − rE(r)−1 , and compute
H (r) D (r) 1 (6.6) H (r) rD (r) 1
− (r) = − − = − − D (r)F(r) − .
H(r) D(r) r H(r) E(r) r
Again by Proposition 6.3:
H (r) (6.5) m − 1 2 E(r)
≤ +C + , (6.10)
H(r) r r H(r)
(6.6) r(D(r)1+γ3 + (r)) (6.9) (r)
|F(r)| ≤ C ≤ C D(r)γ3 −1 + C , (6.11)
D(r) E(r) D(r)2
rD (r) (6.7) m − 2 rD(r) 2 G(r)
− ≤ C− −
E(r) r E(r) r E(r)
γ3
rD(r) D (r) + D(r) 1+γ3
+C
E(r)
m−2 C 2 G(r)
≤C− + D(r)|F(r)| −
r r r E(r)
D(r)γ3
+ CD(r)γ3 −1 D (r) + C
r
(6.8), (6.11) m − 2 2 G(r)
≤ C− − + CD(r)γ3 −1 D (r) + C r γ3 m−1 ,
r r E(r)
(6.12)
168 Emanuele Spadaro
where we used the rough estimate D(r) ≤ C r m+2−2δ2 coming from (5.19)
of Theorem 5.4 and the condition (Stop).
By Cauchy-Schwartz, we have
E(r) G(r)
≤ . (6.13)
rH(r) rE(r)
Thus, by (6.10), (6.12) and (6.13), we conclude
− (r) ≤ C + C r γ3 m−1 + CrD(r)γ3 −1 D (r) − D (r)F(r)
(6.11) (r)D (r)
≤ C r γ3 m−1 + CD(r)γ3 −1 D (r) + C . (6.14)
D(r)2
Integrating (6.14) we conclude:
which are the exact analog of (6.6) and (6.7) without any error term.
What we need to do is then to replace the Dirichlet energy with the area
functional, and to consider the fact that the normal approximation N is
only approximately stationary with respect to this functional.
We start Vxing a tubular neighborhood U of M and the normal projec-
tion p : U → M. Observe that p ∈ C 2,κ . We will consider:
where Im(F) is the image of the map F(x) = i [[(x, Ni (x))]], i.e. the
support of the current T F .
Set now for simplicity ϕr ( p) := ϕ d(rp) . It is not hard to realize that
the mass of the current T F can be expressed in the following way:
1
M(T F ) = Q H (M) − Q
m
H, η ◦ N + |D N |2
M 2 M
where P2 , P3 and R4 are quadratic, cubic and fourth order errors terms
(see [16, Theorem 3.2]) One can then compute the Vrst variation of a
push-forward current T F and obtain (cp. [16, Theorem 4.2])
Q
3
δT F (X o ) = ϕr |D N |2 + Ni ⊗ ∇ϕr : D Ni + Erroj , (6.18)
M i=1 j=1
1
δT F (X i ) = |D N | divM Y − 2
2
D Ni : (D Ni · DM Y )
2 M i=1
3
+ Errij , (6.23)
j=1
171 Higher codimension integral currents
Proposition 6.3 is then proved by the estimates of the errors terms done
in the next subsection.
Observe that the separation between Bi and ∂Br(q) is larger than &(Ji )/4
by Proposition 5.9 (i), and then ϕr ( p) = ϕ d(rp) satisVes
where &i := &(Ji ). From this and Proposition 5.9 (iii), we also obtain
C (6.35)
sup ϕr ( p) − inf ϕr ( p) ≤ CLip(ϕr )&i ≤ &i ≤ C inf ϕr ( p) ,
p∈Ui p∈Ui r p∈Bi
|D N |2 ≥ c E &im+2−2δ2 if L i ∈ We . (6.38)
Bi
and similarly
m+2+ γ42
inf ϕr E &i ≤C ϕr (|D N |2 + |N |2 )
i Bi i Bi
≤ CD(r) , (6.40)
m+2+
γ2
E &i 4
≤C |D N |2 + |N |2
i Br (q)
≤ C D(r) + rD (r) . (6.41)
We can now pass to estimate the errors terms in (6.6) and (6.7) in order
to conclude the proof of Proposition 6.3.
173 Higher codimension integral currents
Errors of type 1. By Theorem 5.2, the map ϕ deVning the center man-
1
ifold satisVes DϕC 2,κ ≤ C E 2 , which in turn implies HM L ∞ +
1
D HM L ∞ ≤ C E 2 (recall that HM denotes the mean curvature of M).
Therefore, by (6.36), (6.30), (6.40) and (6.39), we get
o
Err ≤ C ϕr |HM | |η ◦ N |
1
M
1 2+m+γ2
≤ C E2 sup ϕr E & j +C ϕr |N |2+γ2
j Ui Uj
1 γ (1+β2 )
≤ CD(r)1+γ3 + C E 2 & j2 ϕr |N |2 ≤ CD(r)1+γ3 ,
j Uj
and analogously
i
Err ≤ C r −1 |HM | + |DY HM | |η ◦ N |
1
M
1
−1 2+m+γ2
≤Cr E 2 E &j +C |N |2+γ2
j Uj
≤ C r −1 D(r)γ D(r) + r D (r) .
1
Errors of type 2. From AC 0 ≤ CDϕC 2 ≤ C E 2 ≤ Cε3 , it follows
that Erro2 ≤ Cε32 (r). Moreover, since |D X i | ≤ Cr −1 , (6.15) leads to
i
Err ≤ Cr −1 |N |2 + C ϕr |N ||D N | ≤ CD(r) .
2
Br ( p0 )
1 m+3+β2 +
γ2
I2 ≤ Cr −1 E 1+ 2m +γ2 & j 2
j
(6.36) 1 m+2+β2 +
γ2 (6.40) & (6.39)
≤ C E 1+ 2m +γ2 & j 2
inf ϕr ≤ CD(r)1+γ3 ,
j Bj
γ (6.39)
−1
I3 ≤ Cr E γ2 & j 2 |N | 2
≤ Cr −1
D(r) γ3
|N |2
j Uj Br (q)
(6.15)
≤ CD(r)1+γ3
Br (q) j Uj
(6.39)
≤ C r −1 D(r)γ3 |D N |2
Br (q)
≤ CD(r)γ3 D (r) + r −1 D(r) .
Thus, it follows again from the splitting phenomenon (see for details [15,
Lemma 5.2]) that lim inf j→∞, j∈(B) H N j (3) > 0. Since D N j (3) ≤ C E j ≤
Cε32 , we achieve that lim sup j→∞, j∈(B) I N j (3) > 0, and conclude as be-
fore.
lim H∞
m−2+α
(D Q (T0,rk ) ∩ B1 ) > η > 0, (7.2)
k→+∞
Hm (B1 ∩ spt (T0,rk )) \ D Q (T0,rk ) > 0 ∀ k ∈ N, (7.3)
for some constant α, η > 0. In the process of solving the centering prob-
lem for such currents we have obtained the following:
177 Higher codimension integral currents
r
Proof. Set for simplicity r := t jj and drop the subscript j in the sequel.
Using (6.2), (6.3) and (7.4), there exists C > 0 such that
3r
3
dt |D N |2 = r D(3r) ≤ C H(3r)
3
2r Bt ((0)) 2
3r
1
=C dt |N |2 .
3
2 r t ∂ Bt ((0))
Fix indeed any σ ∈]θ/2, θ[ and any point x ∈ ∂Bθ ((0)). Consider the
geodesic line γ passing through x and (0), and let γ̂ be the arc on γ
having one endpoint x̄ in ∂Bσ ((0)) and one endpoint equal to x. Us-
ing [13, Proposition 2.1(b)] and the fundamental theorem of calculus, we
easily conclude
|N (x)| ≤ |N (x̄)| + |D N ||N | .
γ̂
Integrating this inequality in x and recalling that σ > s/2 we then easily
conclude
|N | ≤ C
2
|N | + C
2
|N | |D N | .
∂ Bθ ((0)) ∂ Bσ ((0)) Bθ ((0))
It then follows from (7.10), Nkb L 2 (B3/3 ) ≡ 1 and the Sobolev embed-
ding for Q-valued functions (cp. [13, Proposition 2.11]) that up to sub-
sequences (as usual not relabeled) there exists a Sobolev function N∞ b
:
B 3 → A Q (R ) such that the maps Nk converge strongly in L (B 3 ) to
m+n b 2
2 2
b
N∞ . Then from (7.13) we deduce also that
η ◦ N∞
b
≡ 0 and Nkb L 2 (B3/3 ) ≡ 1. (7.14)
Moreover, since the N̄k are M̄k -normal approximations and the M̄k con-
verging to the Wat m-dimensional plane Rm × {0}, N∞ b
takes values in the
space of Q-points of {0} × R (in place of the full Rm+n ).
n
b
To conclude our contradiction argument, we need to prove the N∞ is
Dir-minimizing.
180 Emanuele Spadaro
b is Dir-minimizing
7.1.1 N∞ Apart from the necessary technicalities, the
proof of this claim is very intuitive and relies on the following observa-
b
tion: if the energy of N∞ could be decreased, then one would be able to
Vnd a rectiVable current with less mass then T̄k , because the rescaling of
Nkb are done in terms of the L 2 norm hk whereas the errors in the normal
approximation are superlinear with hk .
Next we give all the details for this arguments.
We can consider for every M̄k an orthonormal frame of (T M̄k )⊥ ,
ν1k , . . . , νnk ,
with the property (cf. [16, Lemma A.1]) that
ν kj → em+ j in C 2,κ/2 (M̄k ) as k ↑ ∞ for every j
(here e1 , . . . , em+n is the standard basis of Rm+n ).
Given now any Q-valued map u = i [[u i ]] : M̄k → A Q ({0} × Rn ),
we can consider the map
uk : x
→ (u i (x)) j ν kj (x) ,
i
Note that Nkb has also the form ubk for some Q-valued function u bk :
M̄k → A Q ({0} × Rn ).
b
We now show the Dir-minimizing property of N∞ . There is nothing to
prove if its Dirichlet energy vanishes. We can therefore assume that there
exists c0 > 0 such that
c0 hk ≤
2
|D N̄k |2 . (7.16)
B3
2
5
We argue by contradiction and assume there is a radius t ∈ 4
, 32 and a
function f : B 3 → A Q ({0} × Rn ) such that
2
f | B 3 \Bt = N∞
b
| B 3 \Bt and Dir(f, Bt ) ≤ Dir(Nb∞ , Bt ) − 2 δ,
2 2
Consider Vnally the map F̃k (x) = i x + Ñi (x) . The current T F̃k
coincides with T F̄k on p−1 k (B 32 \ Bt ). DeVne the function ϕk ( p) =
distM̄k (0, pk ( p)) and consider for each s ∈ t, 32 the slices T F̃k −
T̄k , ϕk , s. By (7.12) we have
3
2
2+γ
M(T F̃k − T̄k , ϕk , s) ≤ Chk .
t
Thus we can Vnd for each k a radius σk ∈ t, 32 on which M(T F̃k −
2+γ
T̄k , ϕk , σk ) ≤ Chk . By the isoperimetric inequality (see [17, Remark
4.3]) there is a current Sk such that
(2+γ )m/(m−1)
∂ Sk = T F̃k − T̄k , ϕk , σk , M(Sk ) ≤ Chk .
Our competitor current is, then, given by
Z k := T̄k (p−1 −1
k (M̄k \ Bσk )) + Sk + T F̃k (pk (Bσk )).
Note that Z k has the same boundary as T̄k . On the other hand, by (7.12)
and the bound on M(Sk ), we have
2+2γ
M(T̃k ) − M(T̄k ) ≤ M(T F̄k ) − M(T F̃k ) + Chk . (7.17)
182 Emanuele Spadaro
1
M(T̃k ) − M(T̄k ) ≤ |D Ñk |2 − |D N̄k |2
2 Bρ
+ Ak C 0
2
| N̄k |2 + | Ñk |2 + o(h2k )
δ
≤ − h2k + o(h2k ) . (7.18)
2
Clearly, (7.18) and (7.17) contradict the minimizing property of T̄k for k
large enough and this concludes the proof.
We moreover stress that this part of the proof (even if it is not apparent
from our exposition) also uses the splitting-before-tilting estimates.
3. Putting together the previous two steps, we then conclude that there is
a big part of the current where the energy of the Lipschitz approxima-
tion is large enough: matching the constant in the previous estimates,
one realizes that this cannot happen on a set of positive Hm−2+α mea-
sure.
As usual, the actual proof is much more involved of the heuristic scheme
above. In the following we try to give some more explanations, referring
to [14, 15, 17] for the detailed proof.
Step (1). We cover ϒ by balls {Bσi (xi )} in such a way that
η
ωm−2+α (4σi )m−2+α ≤ ,
i
2
The key claim is the following: there exists a geometric constant c0 >
0 (in particular, independent of σ ) such that, when k is large enough, for
each p ∈ k there is a radius p ≤ 2σ with the following properties:
c0 ϑ 2 1
h ≤ |D N̄k |2 , (7.20)
σ α k m−2+α
p B p (x̄k ( p))
and (7.20) follows with p = t ( p). Or (7.23) does not hold, and we argue
as follows. We use Vrst (7.22) to get
ϑ
− G( N̄k , Q η ◦ N̄k )2 ≤ h2k . (7.24)
Bs̄t ( p) (x̄k ( p)) 4
Then, we show by contradiction that there exists a radius y ∈ [s̄t ( p), 2σ ]
such that (7.20) holds. Indeed,
if this were not the case, setting for sim-
plicity f := G( N̄k , Q η ◦ N̄k ) and letting j be the smallest integer
such that 2− j σ ≤ s̄t ( p), we can estimate as follows
1 2
j
− f ≤2−
2
f +
2
− f −−
2
f 2
B2σ (x̄k ( p)) Bs̄t ( p) (x̄k ( p)) i=0 B21−i σ (x̄k ( p)) B2−i σ (x̄k ( p))
j
(7.24) ϑ 2 1
≤ h +C |D N̄k |2
2 k i=1
(2− j σ )m−2 B21−i σ (x̄k ( p))
ϑ 2 −j α
j
ϑ 2 2 ϑ
≤ hk + Cc0 α hk (2 σ ) ≤ hk + C(α)c0 ϑ .
2 σ i=1
2
185 Higher codimension integral currents
The constant C depends only upon the regularity of the underlying man-
ifold M̄k , and, hence, can assumed independent of k.
Since C(α) depends only on α, m and Q, for c0 chosen sufVciently
small the latter inequality would contradict (7.19).
Step (3). We collect the estimates (7.20) and (7.21) to infer the de-
sired contradiction. We cover k with balls Bi := B20 pi ( pi ) such that
B4 pi ( pi ) are disjoint, and deduce
η (7.20) C(m) σ α
≤ C(m) pi
m−2+α
≤ |D N̄k |2
0 ϑhk i
2 c 2
i B pi (x̄k ( pi ))
α α
C(m) σ (7.10) σ
≤ |D N̄k |2 ≤ C ,
c0 ϑhk B 3
2 ϑ
2
where C(m) > 0 is a dimensional constant. We have used that the balls
B pi (pM̄k ( pi )) are pairwise disjoint by (7.21). Now note that ϑ and c0
are independent of σ , and therefore we can Vnally choose σ small enough
to lead to a contradiction.
3δ̂
G(w( p̄), Q [[η ◦ w( p̄)]])2 ≥ E,
4ωm
and, by the Hölder continuity in Theorem 3.2 (ii), we conclude
δ̂ E
σi := s − i for i ∈ {0, 1 . . . , N },
64Qs
187 Higher codimension integral currents
δ̂ E
|y − z|2 ≤ 4 σ 2 − σ − 64Qs ≤ σ8Qsδ̂ E δ̂ E
≤ 8Q .
Thus, for x ∈ Ā ∩ C at least one of the points (x, f i (x)) is not contained
in Bσ (( p, q)). We conclude therefore
1
T (C̄σ ( p) \ Bσ (( p, q))) ≥ |C ∩ Ā| ≥ |C|
2
ωm m δ̂ E
m
= σ − σ − 64Qs
2
ωm m
δ̂ E
m
≥ σ 1 − 1 − 64Qsσ . (7.28)
2
Recall that, for τ sufVciently small, (1 − τ )m ≤ 1 − mτ 2
. Since σ ≥ 4s , if
ε̂ is chosen sufVciently small we can therefore conclude
ωm σ m δ̂ E ωm
T (C̄σ ( p) \ Bσ ( p)) ≥ ≥ δ̂ Eσ m−2 = c0 δ̂ Eσ m−2 .
256Qsσ 1024Q
(7.29)
Next, by Theorem 3.9 and Theorem 3.10,
|Dw|2
T (C̄σ ( p)) ≤ Qωm σ + C E
m 1+γ1
+ η̄E + . (7.30)
Bσ ( p) 2
Moreover, as shown in [13, Proposition 3.10], we have
|Dw|2 ≤ CDir(w)σ m−2+2κ , (7.31)
Bσ ( p)
8 Open questions
We close this survey recalling some open problems concerning the regu-
larity of area minimizing integer rectiVable currents. Some of them have
been only slightly touched and would actually explain some of the com-
plications that we met along the proof of the partial regularity result.
For more open problems and comments, we suggest the reading of
[1, 11].
(A) One of the main, perhaps the most well-known, open problems is
the uniqueness of the tangent cones to an area minimizing current, i.e. the
uniqueness of the limit (ιx,r )" T as r → 0 for every x ∈ spt (T ). The
uniqueness is known for two dimensional currents (cp. [35]), and there
are only partial results in the general case (see [4, 30]).
We have run into this issue in dealing with the step (C) of Section 2.7,
because it is one of the possible reasons why a center manifold may be
sufVcient in our proof.
(E) We mention also the problem of Vnding more example of area min-
imizing currents, other than those coming from complex varieties or sim-
ilar calibrations. Indeed, our understanding of the possible pathological
behaviors of such currents is pretty much limited by the few examples
we have at disposal. In particular, it would be extremely interesting to
understand if there could be minimizing currents with weird singular set
(e.g.., of Cantor type).
References
[1] Some open problems in geometric measure theory and its applica-
tions suggested by participants of the 1984 AMS summer institute,
In: “Geometric Measure Theory and the Calculus of Variations”
(Arcata, Calif., 1984), J. E. Brothers (ed.), Proc. Sympos. Pure
Math., Vol.44, Amer. Math. Soc., Providence, RI, 1986, 441–464.
[2] W. K. A LLARD, On the Frst variation of a varifold, Ann. of Math.
(2) 95 (1972), 417–491.
[3] W. K. A LLARD, On the Frst variation of a varifold: boundary be-
havior, Ann. of Math. (2) 101 (1975), 418–446.
190 Emanuele Spadaro
1 Introduction
A sub-Riemannian manifold is a smooth, connected n-dimensional mani-
fold M endowed with a smooth, bracket-generating sub-bundle ⊂ T M
(called horizontal), having constant rank r, and with a smooth metric g
on . In these notes, we give a brief overview on the problem of the
regularity of length minimizers, i.e., of the shortest (with respect to g)
curves among all curves that join two Vxed endpoints and are horizontal,
i.e., tangent to . We also present some results on the problem recently
obtained, in the framework of Carnot groups, in collaboration with E. Le
Donne, G. P. Leonardi and R. Monti [17, 18]. These notes are based on a
course given by the author on the occasion of the ERC School Geometric
Measure Theory and Real Analysis held at the Centro De Giorgi, Pisa, in
October 2013.
It is well-known (see e.g. the basic references [3, 4, 27]) that length
minimizers are extremals, i.e., satisfy certain necessary conditions given
The author is supported by PRIN 2010-11 Project “Calculus of Variations” of MIUR (Italy),
GNAMPA of INdAM (Italy), University of Padova, and Fondazione CaRiPaRo Project “Nonlin-
ear Partial Differential Equations: models, analysis, and control-theoretic problems”.
194 Davide Vittone
the motivations behind this problem, which are only sketched in Remark
3.23, see [27, Section 10.2] and [2]. This technique cannot be applied
to general Carnot groups; however, it is likely to work in many speciVc
examples.
A few words about the organization of these notes. In Section 2, we
introduce the sub-Riemannian (or Carnot-Carathéodory) distance. In
Section 3, we derive the necessary conditions of extremality for length
minimizers; the properties of normal and abnormal extremals are brieWy
described in Sections 3.3 and 3.4. In Section 4, we introduce Carnot
groups and present the characterization of extremals obtained in [17, 18].
In Section 5, we apply our results to prove the smoothness of minimizers
in Carnot groups of step at most 3. Finally, in Section 6 we describe the
technique connected with the negligibility problem for the endpoints of
abnormal extremals.
r
γ̇ (t) = h j (t)X j (γ (t)) for a.e. t ∈ [0, 1] (2.1)
j=1
then
B(x, βr) ⊂ BI (x, αr) ⊂ B(x, r).
In particular, there exists C = C(K ) > 0 such that d(x, y) C|x − y|1/κ
for any x, y ∈ K .
Theorem 3.2. For any x ∈ Rn , there exists ρ > 0 with the following
property: if d(x, y) < ρ, then there exists a length minimizer connecting
x and y.
Proof. Let x ∈ Rn be Vxed and let ρ > 0 be such that the CC ball B(x, ρ)
is a bounded open subset of Rn . The existence of such a ρ is guaranteed
by Remark 2.5. We are going to prove that, for any point y ∈ B(x, ρ),
there exists a length minimizer from x to y.
Let then x, ρ, y be as above and consider a sequence of horizontal
curves γ k : [0, 1] → Rn , k ∈ N, such that
Taking into account the uniform convergence of γ k and the weak conver-
gence of h k , on passing to the limit as k → ∞ we get
t r
γ (t) = h j (s) X j (γ (s)) ds ,
0 j=1
ϕ = π/ε.
Proof. Let s ∈ R be Vxed and, for any t ∈ [0, 1], deVne x h+sv (t) :=
Ft−1 (qh+sv (t)); equivalently,
hence
ẋ h+sv = s J Ft (x h+sv )−1 [v · X (qh+sv )] .
It follows that
t
xh+sv (t) = s J Fτ (x h+sv (τ ))−1 [v · X (Fτ (x h+sv (τ )))] dτ ,
0
i.e.,
1
∂ x h+sv (1)
ϕv (0) = ,2 h(τ ), v(τ ) dτ
∂s s=0 0
1 1
−1
= J Fτ (x h (τ )) [v · X (Fτ (x h (τ )))] dτ, 2 h(τ ), v(τ )dτ .
0 0
1 r
0= v j (t) ξ(0), J Ft (0)−1 (X j (γ (t))) + ξ0 h j dt
0 j=1
1 r
= v j (t) [J Ft (0)−1 ]T ξ(0), X j (γ (t)) + ξ0 h j dt
0 j=1
∞
∀v ∈ L ([0, 1], Rr ) .
1 2
d d r
J Ft (0) = J Ft (x) =J h j (t)X j (Ft (x))
dt dt x=0 j=1 x=0
r
= h j (t) J X j (Ft (0)) J Ft (0)
j=1
r
= h j (t) J X j (γ (t)) J Ft (0) a.e. on [0, 1] .
j=1
204 Davide Vittone
as desired.
the curve qk being deVned as in (3.3). For any v ∈ L ∞ ([0, 1], Rr ), the
map ϕv (s) in (3.4) can then be rewritten as
ϕv (s) = F1−1 ◦ End(h + sv), L 2 (qh+sv )2 ,
where the diffeomorphism F1 is deVned as in (3.2).
Now, if γ is an abnormal extremal, then the vector ξ = (ξ(0), ξ0 /2) ∈
Rn × R provided by Lemma 3.3 is such that ξ0 = 0. Hence (again by
Lemma 3.3), the vector ξ(0) = 0 is such that
d −1
ξ(0) ⊥ F ◦ End(h + sv) ∀v ∈ L ∞ ([0, 1], Rr ) .
ds 1 s=0
Indeed, (3.12) and the continuity of ξ imply (3.11) for any γ such that
γ̇ = 0 a.e. on [0, 1]; for instance, whenever γ is parametrized by constant
speed. For different parametrizations of γ , it is enough to reason as in
Exercise 3.17.
Let us prove (3.12). By equation (iii) in Theorem 3.6 and the abnor-
mality of γ , we get
d
0= ξ, X 1 (γ )
dt
= −(h 1 J X 1 (γ ) + h 2 J X 2 (γ ))T ξ, X 1 (γ ) + ξ, J X 1 (γ )[γ̇ ]
= −ξ, (h 1 J X 1 (γ ) + h 2 J X 2 (γ ))[X 1 (γ )]
+ ξ, J X 1 (γ )[h 1 X 1 (γ ) + h 2 X 2 (γ )]
= h 2 ξ, −J X 2 (γ )[X 1 (γ )] + J X 1 (γ )[X 2 (γ )]
= −h 2 ξ, [X 1 , X 2 ](γ ) a.e. on [0, 1].
209 The regularity problem for sub-Riemannian geodesics
4 Carnot groups
4.1 StratiHed groups
In this section we are going to describe a few basic facts on stratiVed
groups. Recall that the Lie algebra g associated with a Lie group G is
deVned as the Lie algebra of left-invariant vector Velds on G. A vector
Veld X on G is said to be left-invariant if
X ( p) = d& p (X (0)) ∀ p ∈ G ,
where d& p denotes the differential of the left-translation & p (z) = p ·
z by p, · denotes the group product and 0 denotes the identity of G.
Equivalently, X is left-invariant if (X f )(& p (x)) = X ( f ◦ & p )(x) for any
p, x ∈ G and any f ∈ C ∞ (G).
DeHnition 4.1. A stratiFed group G is a connected, simply connected
and nilpotent Lie group whose Lie algebra g admits a stratiFcation, i.e.,
a decomposition
g = V1 ⊕ V2 ⊕ · · · ⊕ Vs
with the properties that Vi = [V1 , Vi−1 ] for any i = 2, . . . , s and [V1 , Vs ] =
{0}.
A few comments are in order:
• the Lie algebra g is nilpotent of step s;
• one can easily see that [Vi , V j ] ⊂ Vi+ j for any i, j 1 such that
i + j s;
• if i + j s + 1, then [Vi , V j ] = {0}.
Moreover, the exponential map exp : g → G induces a diffeomorphism
between G and Rn ≡ g, n being the dimension of g. However, in the
sequel we will identify G with Rn by means of a different set of coordi-
nates, the so-called exponential coordinates of the second-type (see (4.1)
and (4.2) below).
Let us Vx an adapted basis of g, i.e., a basis X 1 , . . . , X n whose order
is coherent with the stratiVcation:
X , . . . , X , X , . . . , X r2 , X r2 +1 , . . . . . . . . . . . . , X n .
5 1 67 8r 5 r+1 67 8 5 67 8 5 67 8
basis of V1 basis of V2 basis of V3 basis of Vs
x12
X 1 = ∂1 , X 2 = ∂2 − x1 ∂3 + ∂4 , X 3 = ∂3 − x1 ∂4 , X 4 = ∂4 .
2
Group dilations read as δr (x1 , x2 , x3 , x4 ) = (r x1 , r x2 , r 2 x3 , r 3 x4 ).
Exercise 4.5. Prove that the horizontal curve γ (t) = (0, t, 0, 0) in the
Engel group (represented in the coordinates of Example 4.3) is an ex-
tremal that is normal and abnormal at the same time.
Our interest in Carnot groups is motivated by the well-known fact that
the tangent metric space (in the Gromov-Hausdorff sense) to a CC space
at a “generic” point is a Carnot group: roughly speaking, Carnot groups
are the inVnitesimal models of CC spaces. See e.g. [6, 24, 25].
θi (X j ) = δi j on G , (4.4)
We use the term dual curve also for the function λ. One can immediately
notice that, by (4.4), statement (iii) in Theorem 3.6 is equivalent to
where the constants cikj are the structure constants of the Lie algebra g
deVned by
n
[X i , X j ] = cikj X k ∀ i, j = 1, . . . , n .
k=1
d r r n
(Pi ◦ γ ) = h j X j Pi (γ ) = h j ckji Pk (γ )
dt j=1 j=1 k=1
(4.8)
r
= h j ckji Pk (γ ) .
j=1 k=1,...,n
d(k)=d(i)+1
We can now use the inductive assumption together with the equality ckji =
−cikj to get
d r (4.9)
(Pi ◦ γ ) = − h j cikj λk (γ ) = λ̇i .
dt j=1 k=1,...,n
d(k)=d(i)+1
Exercise 4.9. Prove that the summation in (4.12) is Vnite and, more pre-
cisely, that Piv is a polynomial of both degree and homogeneous degree
at most s − d(i).
(see e.g. [17, Remark 4.2])
Hint: deVne d(α) := nj=1 αi d(i) and prove the implication
While the Vrst equality in (4.13) can be easily checked, the formulae
for the derivatives of the Piv ’s are not trivial at all. Their proof is however
beyond the scopes of these notes. In the framework of free Carnot groups,
the second equality in (4.13) was Vrst proved in [17] as a consequence of
certain algebraic identities obtained along the proof of [17, Theorem 4.6].
The latter is nothing but Theorem 4.11 below (in the special case of free
groups), but its proof follows a completely different line from the one
presented here, being based on explicit formulae for the horizontal vector
Velds (see [12]) rather than on Lemma 4.7. For general Carnot groups, the
proof of (4.13) was achieved in [18] with an argument of a differential-
geometric Wavour involving also non-trivial algebraic identities.
Lemma 4.7 and Theorem 4.10 have the following, immediate conse-
quence.
Theorem 4.11. Let γ : [0, 1] → G be an extremal with γ (0) = 0; let
λ ∈ Lip([0, 1], Rn ) be an associated dual curve and set v := λ(0) ∈ Rn .
Then,
λi (t) = Piv (γ (t)) for any t ∈ [0, 1] .
216 Davide Vittone
Proof. Let us begin with the implication (a)⇒(b). Let h be the controls
associated with γ and λ be the dual variable; set v := λ(0) ∈ Rn . By
(4.6) and Theorem 4.11, we have
d v (b) r
λ̇i = Pi (γ ) = − P jv (γ ) X j Piv (γ )
dt j=1
(4.13)
r n r
n
= (−P jv (γ ))ckji Pkv (γ ) = − cikj h j λk .
j=1 k=1 j=1 k=1
λi = Piv (γ ) = 0 on [0, 1] ∀i = 1, . . . , r,
provided v := λ(0) ∈ Rn . Moreover, by (4.4), (4.5) and the fact that the
basis X 1 , . . . , X n is adapted to the stratiVcation, the Goh condition (3.10)
is equivalent to
Recall that the integer r2 has been deVned as dim V1 + dim V2 . We have
therefore
The proof is left as an exercise to the reader, who will also notice that
the parameter v ∈ Rn is equal to λ(0), which is not zero due to Theorem
3.6 (i).
Remark 4.15. The fact that v = 0 implies that there exist at least one
index i ∈ {1, . . . , r} and another index j ∈ {r + 1, . . . , r2 } such that
neither Piv nor P jv are the null polynomial; see [18, Proposition 2.6] for
more details. In particular, any abnormal extremal γ belongs to an alge-
braic variety (the one deVned by the equalities in Theorem 4.14 (b)) that
is not trivial.
The characterization of abnormal extremals in Carnot groups allows
for several applications; here, we are going to recall a few of those pre-
sented in [17] and [18].
It is possible to construct very irregular abnormal extremals satisfy-
ing also the Goh condition. For instance, there exists a 32-dimensional
Carnot group G such that, for any Lipschitz function ϕ : [0, 1] → G,
there exists a Goh abnormal extremal of the form
γ (t) = (t 2 , t, ϕ(t), ∗, . . . , ∗) .
218 Davide Vittone
See [17, Section 6.4] for more details. In the same spirit, a “spiral-like”
abnormal Goh extremal has been provided in [18, Section 5]. These ex-
amples somehow suggest that a Vner analysis of necessary conditions
is needed if one aims at proving smoothness of minimizers, since even
second-order necessary conditions (the Goh one) are not enough to en-
sure regularity.
W. Liu and H. J. Sussman have proved in [23] that, if γ is an abnormal
extremal in a CC structure of rank r = 2 with dual curve ξ satisfying
P jv (x) = a1 x1 + · · · + ar xr , (5.2)
where we have also used the fact that P jv (0) = 0. DeVne the left-invariant
horizontal vector Veld Y1 := a1 X 1 + · · · + ar X r and complete it to a basis
219 The regularity problem for sub-Riemannian geodesics
and with the property that [Vi , V j ] ⊂ Vi+ j for any i s, j s. Here,
“largest” means that any other extension of g with these properties is (iso-
morphic to) a sub-algebra of Prol g. The explicit construction of Prol g
was provided by N. Tanaka in [39]. The prolongation is never trivial,
in the sense that Prol g = g; indeed, it can be proved that dim V0 1.
Notice that the number of layers in Prol g in not necessarily Vnite; when
Prol g is inVnite dimensional we say that G is nonrigid.
Let X 1 , . . . , X n be an adapted basis of g; let us extend it to an adapted
basis of Prol g
. . . . . . , X − j , . . ., . . . , X −1 , X 0 , X 1 , . . . , X r , . . . . . . , . . . , X n .
5 67 8 5 67 8 5 67 8 5 67 8
basis of V−1 basis of V0 basis of V1 basis of Vs
4.8, for any Vxed v ∈ Rn and any i n (i.e., also for i 0) one can
deVne the extremal polynomial
n
(−1)|α|
Piv (x) := k
ciα vk x α , x ∈ G, (6.1)
α∈Nn k=1
α!
These formulae are key tools in the proof of the following result; see [18]
for more details.
Theorem 6.1. Let γ : [0, 1] → G be an abnormal extremal with γ (0) =
0. Then, there exists v ∈ Rn such that
Piv (γ ) = 0 on [0, 1] for any i r . (6.3)
If the Goh condition holds, then the previous formula holds for any i
r2 .
Proof. Given the formulae (6.2), the proof is quite elementary and sim-
ilar to that of Lemma 4.7. We prove (6.3) by reverse induction on the
homogeneous degree1 d(i) of i. We set again v := λ(0), λ being the dual
curve associated with γ .
The base of the induction is the case d(i) = 1, where (6.3) holds by
Theorem 4.14.
Assume then that Pkv (γ ) ≡ 0 for any k such that d(i) < d(k) 1.
Let h ∈ L ∞ ([0, 1], Rr ) be the controls associated with γ , so that γ̇ =
r
j=1 h j X j (γ ). Then
d v r
(6.2)
r
Pi ◦ γ = h j X j Piv (γ ) = h j ckji Pkv (γ )
dt j=1 j=1 k n
r
= h j ckji Pkv (γ ) = 0 ,
j=1 k n
d(k)=d(i)+1
Theorem 4.14 states that abnormal extremals in Carnot groups are con-
tained in certain algebraic varieties (of a very speciVc type). Theorem 6.1
improves it because it states that these algebraic varieties can be made
smaller, as there are more polynomials (than in Theorem 4.14) that van-
ish along γ .
We show an application of our techniques to the Morse-Sard prob-
lem for abnormal extremals. In our opinion, the strategy we follow has
chances to be adapted to many Carnot groups; however, we present it
only in a speciVc group.
Let us consider the free2 Carnot group G of rank 2 and step 4, i.e., the
group associated with the stratiVed Lie algebra
g = V1 ⊕ V2 ⊕ V3 ⊕ V4
with
V1 = span{X 1 , X 2 }, V2 = span{X 3 },
V3 = span{X 4 , X 5 }, V4 = span{X 6 , X 7 , X 8 }
and commutation relations
[X 2 , X 1 ] = X 3
[X 3 , X 1 ] = X 4 , [X 3 , X 2 ] = X 5
[X 4 , X 1 ] = X 6 , [X 4 , X 2 ] = [X 5 , X 1 ] = X 7 , [X 5 , X 2 ] = X 8 .
Using exponential coordinates of the second type (see [12]), G can be
identiVed with R8 in such a way that
X 1 = ∂1
x12 x3 x 2 x2 x1 x22
X 2 = ∂2 − x1 ∂3 + ∂4 + x1 x2 ∂5 − 1 ∂6 − 1 ∂7 − ∂8 .
2 6 2 2
We are going to prove the following result.
Theorem 6.2. Let G ≡ R8 be the free Carnot group of rank 2 and step
4. Then, there exists a non-zero polynomial in 8 variables Q : R8 → R
such that the following holds: if p ∈ G is the endpoint of an abnormal
extremal starting from 0, then Q( p) = 0.
In particular, the set of points in G that can be connected to the origin
with abnormal extremals is contained in the algebraic variety {x ∈ R8 :
Q(x) = 0} and has measure zero.
2 Free means, roughly speaking, that it is the Carnot group with largest dimension among those with
rank 4 and step 2; equivalently, that any other such group is (isomorphic to) a quotient of the free
one.
222 Davide Vittone
Remark 6.3. Theorems 4.14 and 6.1 show that any abnormal extremal is
contained in an algebraic variety whose deVnition depends on a parameter
v, i.e., on the extremal itself. On the contrary, by Theorem 6.2 there exists
a universal algebraic variety containing all abnormal extremals.
Proof. As proved in [41], the Tanaka prolongation of G is of the form
Prol g = V0 ⊕ g with dim V0 = 4. Let us extend X 1 , . . . , X 8 to an
adapted basis {X i }−3i 8 of Prol g. By Theorem 6.1 we know that, for
any abnormal extremal γ : [0, 1] → G with γ (0) = 0, there exists
v ∈ R8 such that
Piv (γ ) = 0 on [0, 1] for any i = −3, . . . , 3 . (6.4)
We have also used Remark 3.22, i.e., the fact that the Goh condition
holds. In particular,
vi = Piv (0) = 0 for i = 1, 2, 3.
Therefore, recalling (6.1), any Piv can be written in the form
8
Piv (x) = vk Q ik (x), i = −3, . . . , 8
k=4
for suitable polynomials Q ik (x) that are independent from v. For any
i = −3, . . . , 3, let us deVne the map Q i : G → R5 by
Q i (x) = Q i4 (x), Q i5 (x), Q i6 (x), Q i7 (x), Q i8 (x) ,
so that Piv (x) = (v4 , . . . , v8 ), Q i (x). Hence, (6.4) can be rewritten as
Q i (γ (t)) ⊥ (v4 , . . . , v8 ) ∀t ∈ [0, 1], ∀ i = −3, . . . , 3 .
In particular, for any t ∈ [0, 1], the seven 5-dimensional vectors Q i (γ (t)),
−3 i 3, belong to the vector space (v4 , . . . , v8 )⊥ ⊂ R5 ; this vector
space has dimension 4 because (v4 , . . . , v8 ) = 0 due to Theorem 3.6 (i).
Hence, any 5 of these 7 vectors are linearly dependent, i.e., any 5 × 5
minor of the 5 × 7 matrix
(Q ik (x))−3i 3 = col Q −3 |Q −2 | · · · |Q 3 (x) (6.5)
4k 8
References
[1] A. A. AGRACHEV, Any sub-Riemannian metric has points of
smoothness (Russian). Dokl. Akad. Nauk 424 (2009), no. 3, 295–
298; translation in Dokl. Math. 79 (2009), no. 1, 45–47.
[2] A. A. AGRACHEV, Some open problems, In: “Geometric Control
Theory and Sub-Riemannian Geometry”, Springer INdAM Series 5
(2014), 1–14.
[3] A. A. AGRACHEV, D. BARILARI and U. B OSCAIN, Introduction
to Riemannian and Sub-Riemannian geometry. Preprint available at
www.math.jussieu.fr/ barilari/
[4] A. A. AGRACHEV and Y. L. S ACHKOV, Control theory from
the geometric viewpoint, In: “Encyclopaedia of Mathematical Sci-
ences”, Vol. 87, Control Theory and Optimization, II. Springer-
Verlag, Berlin , 2004, xiv+412.
[5] L. A MBROSIO and S. R IGOT, Optimal mass transportation in the
Heisenberg group, J. Funct. Anal. 208 (2004), no. 2, 261–301.
[6] A. B ELLA ÏCHE, The tangent space in subriemannian geometry. In:
“Subriemannian Geometry”, Progress in Mathematics 144, A. Bel-
laiche and J. Risler (eds.), Birkhauser Verlag, Basel, 1996.
[7] V. G. B OLTYANSKII, SufFcient conditions for optimality and the
justiFcation of the dynamic programming method. SIAM J. Control
4 (1966), 326–361.
[8] C. C ARATH ÉODORY, Untersuchungen über die Grundlagen der
Thermodynamik, Math. Ann. 67 (1909), 355–386.
224 Davide Vittone
Published volumes