On the Hausdorff Dimension of the Mather Quotient

pages

English

Documents

Écrit par
Albert Fathi

Publié par
pefav

Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

pages

English

Ebook

Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Publié par

pefav

Nombre de lectures

Langue

English

On the Hausdorff Dimension of the Mather Quotient Albert Fathi ?, Alessio Figalli †, Ludovic Rifford ‡ 8 November, 2007 Abstract Under appropriate assumptions on the dimension of the ambient man- ifold and the regularity of the Hamiltonian, we show that the Mather quo- tient is small in term of Hausdorff dimension. Then, we present applications in dynamics. 1 Introduction Let M be a smooth manifold without boundary. We denote by TM the tangent bundle and by pi : TM ? M the canonical projection. A point in TM will be denoted by (x, v) with x ? M and v ? TxM = pi?1(x). In the same way a point of the cotangent bundle T ?M will be denoted by (x, p) with x ?M and p ? T ?xM a linear form on the vector space TxM . We will suppose that g is a complete Riemannian metric on M . For v ? TxM , the norm ?v?x is gx(v, v)1/2. We will denote by ?·?x the dual norm on T ?M . Moreover, for every pair x, y ?M , d(x, y) will denote the Riemannian distance from x to y. We will assume in the whole paper that H : T ?M ? R is an Hamiltonian of class Ck,?, with k ≥ 2, ? ? [0, 1], which satisfies the three following conditions: (H1) C2-strict convexity: ?(x, p) ? T ?M , the

critical viscosity subsolution

euler-lagrange flow

hausdorff dimension

positive definite

mather quotient

global viscosity

hamilton-jacobi equation does

following mather

Voir

Publié par

pefav

Nombre de lectures

Langue

English

OntheHausdorﬀDimensionoftheMather
Quotient

AlbertFathi,
∗
AlessioFigalli,
†
LudovicRiﬀord
‡
8November,2007

Abstract
Underappropriateassumptionsonthedimensionoftheambientman-
ifoldandtheregularityoftheHamiltonian,weshowthattheMatherquo-
tientissmallintermofHausdorﬀdimension.Then,wepresentapplications
indynamics.

1Introduction
Let
M
beasmoothmanifoldwithoutboundary.Wedenoteby
TM
thetangent
bundleandby
π
:
TM
→
M
thecanonicalprojection.Apointin
TM
willbe
denotedby(
x,v
)with
x
∈
M
and
v
∈
T
x
M
=
π
−
1
(
x
).Inthesamewayapoint
ofthecotangentbundle
T
∗
M
willbedenotedby(
x,p
)with
x
∈
M
and
p
∈
T
x
∗
M
alinearformonthevectorspace
T
x
M
.Wewillsupposethat
g
isacomplete
Riemannianmetricon
M
.For
v
∈
T
x
M
,thenorm
k
v
k
x
is
g
x
(
v,v
)
1
/
2
.Wewill
denoteby
k∙k
x
thedualnormon
T
∗
M
.Moreover,foreverypair
x,y
∈
M
,
d
(
x,y
)
willdenotetheRiemanniandistancefrom
x
to
y
.
Wewillassumeinthewholepaperthat
H
:
T
∗
M
→
R
isanHamiltonianof
class
C
k,α
,with
k
≥
2
,α
∈
[0
,
1],whichsatisﬁesthethreefollowingconditions:
(H1)C
2
-strictconvexity:
∀
(
x,p
)
∈
T
∗
M
,thesecondderivativealongtheﬁbers
∂
2
H/∂p
2
(
x,p
)isstrictlypositivedeﬁnite;
(H2)
uniformsuperlinearity:
forevery
K
≥
0thereexistsaﬁniteconstant
C
(
K
)suchthat
∀
(
x,p
)
∈
T
∗
M,H
(
x,p
)
≥
K
k
p
k
x
+
C
(
K
);
∗
UMPA,ENSLyon,46Alle´ed’Italie,69007Lyon,France.
e-mail:albert.fathi@umpa.ens-
lyon.fr
†
Universite´deNice-SophiaAntipolis,ParcValrose,06100Nice,France.
e-mail:ﬁ-
galli@unice.fr
‡
Universite´deNice-SophiaAntipolis,ParcValrose,06100Nice,France.
e-mail:rif-
ford@unice.fr

(H3)
uniformboundednessintheﬁbers:
forevery
R
≥
0,wehave
sup
{
H
(
x,p
)
|k
p
k
x
≤
R
}
<
+
∞
.
M∈xBytheWeakKAMTheoremweknowthat,undertheaboveconditions,there
is
c
(
H
)
∈
R
suchthattheHamilton-Jacobiequation
H
(
x,d
x
u
)=
c
(HJ
c
)
admitsaglobalviscositysolution
u
:
M
→
R
for
c
=
c
(
H
)anddoesnotadmit
suchsolutionfor
c<c
(
H
),see[22,9,6,11,15].Infact,for
c<c
(
H
),the
Hamilton-Jacobiequationdoesnotadmitanyviscositysubsolution(forthetheory
ofviscositysolutions,wereferthereadertothemonographs[1,2,11]).Moreover,
if
M
isassumedtobecompact,then
c
(
H
)istheonlyvalueof
c
forwhichthe
Hamilton-Jacobiequationaboveadmitsaviscositysolution.Theconstant
c
(
H
)is
calledthe
criticalvalue
,orthe
Man˜e´criticalvalue
of
H
.Inthesequel,aviscosity
solution
u
:
M
→
R
of
H
(
x,d
x
u
)=
c
(
H
)willbecalleda
criticalviscositysolution
ora
weakKAMsolution
,whileaviscositysubsolution
u
of
H
(
x,d
x
u
)=
c
(
H
)will
becalleda
criticalviscositysubsolution
(or
criticalsubsolution
if
u
isatleastC
1
).
TheLagrangian
L
:
TM
→
R
associatedtotheHamiltonian
H
isdeﬁnedby
∀
(
x,v
)
∈
TM,L
(
x,v
)=
p
∈
m
T
a
∗
x
M
{
p
(
v
)
−
H
(
x,p
)
}
.
xSince
H
isofclassC
k
,with
k
≥
2,andsatisﬁesthethreeconditions(H1)-(H3),it
iswell-known(seeforinstance[11]or[15,Lemma2.1]))that
L
isﬁniteeverywhere
ofclassC
k
,andisaTonelliLagrangian,i.e.satisﬁestheanalogousofconditions
(H1)-(H3).Moreover,theHamiltonian
H
canberecoveredfrom
L
by
∀
(
x,p
)
∈
T
x
∗
M,H
(
x,p
)=max
{
p
(
v
)
−
L
(
x,v
)
}
.
MT∈vxThereforethefollowinginequalityisalwayssatisﬁed
p
(
v
)
≤
L
(
x,v
)+
H
(
x,p
)
.
ThisinequalityiscalledtheFenchelinequality.Moreover,duetothestrictcon-
vexityof
L
,wehaveequalityintheFenchelinequalityifandonlyif
(
x,p
)=
L
(
x,v
)
,
where
L
:
TM
→
T
∗
M
denotestheLegendretransformdeﬁnedas
L∂L
(
x,v
)=
x,
(
x,v
)
.
v∂Underourassumption
L
isadiﬀeomorphismofclassatleast
C
1
.Wewilldenote
by
φ
tL
theEuler-Lagrangeﬂowof
L
,andby
X
L
thevectorﬁeldon
TM
that
2

generatestheﬂow
φ
tL
.Ifwedenoteby
φ
tH
theHamiltonianﬂowof
H
on
T
∗
M
,
thenasiswell-known,seeforexample[11],thisﬂow
φ
tH
isconjugateto
φ
tL
by
theLegendretransform
L
.
AsdonebyMatherin[26],itisconvenienttointroducefor
t>
0ﬁxed,the
function
h
t
:
M
×
M
→
R
deﬁnedby
tZ∀
x,y
∈
M,h
t
(
x,y
)=inf
L
(
γ
(
s
)
,γ
˙(
s
))
ds,
0wheretheinﬁmumistakenoveralltheabsolutelycontinuouspaths
γ
:[0
,t
]
→
M
with
γ
(0)=
x
and
γ
(
t
)=
y
.The
Peierlsbarrier
isthefunction
h
:
M
×
M
→
R
deﬁnedby
h
(
x,y
)=li
t
m
→
i
∞
nf
{
h
t
(
x,y
)+
c
(
H
)
t
}
.
Itisclearthatthisfunctionsatisﬁes
∀
x,y,z
∈
M,h
(
x,z
)
≤
h
(
x,y
)+
h
t
(
y,z
)+
c
(
H
)
t
h
(
x,z
)
≤
h
t
(
x,y
)+
c
(
H
)
t
+
h
(
y,z
)
,
andthereforeitalsosatisﬁesthetriangleinequality
∀
x,y,z
∈
M,h
(
x,z
)
≤
h
(
x,y
)+
h
(
y,z
)
.
Moreover,givenaweakKAMsolution
u
,wehave
∀
x,y
∈
M,u
(
y
)
−
u
(
x
)
≤
h
(
x,y
)
.
Inparticular,wehave
h>
−∞
everywhere.Itfollows,fromthetriangleinequal-
ity,thatthefunction
h
iseitheridentically+
∞
oritisﬁniteeverywhere.If
M
iscompact,
h
isﬁniteeverywhere.Inaddition,if
h
isﬁnite,thenforeach
x
∈
M
thefunction
h
x
(
∙
)=
h
(
x,
∙
)isacriticalviscositysolution(see[11]or[16]).The
projectedAubryset
A
isdeﬁnedby
A
=
{
x
∈
M
|
h
(
x,x
)=0
}
.
FollowingMather,see[26,page1370],wesymmetrize
h
todeﬁnethefunction
δ
M
:
M
×
M
→
R
by
∀
x,y
∈
M,δ
M
(
x,y
)=
h
(
x,y
)+
h
(
y,x
)
.
Since
h
satisﬁesthetriangleinequalityand
h
(
x,x
)
≥
0everywhere,thefunc-
tion
δ
M
issymmetric,everywherenonnegativeandsatisﬁesthetriangleinequality.
Therestriction
δ
M
:
A×A→
R
isagenuinesemi-distanceontheprojectedAubry
set.Wewillcallthisfunction
δ
M
the
Mathersemi-distance
(evenwhenwecon-
sideriton
M
ratherthanon
A
).Wedeﬁnethe
Matherquotient
(
A
M
,δ
M