OPTIMALITÉ SYSTOLIQUE INFINITÉSIMALE DE L OSCILLATEUR HARMONIQUE arxiv:1003.6004v1 [mah.sg] 31 Mar 2010 J.C. ÁLVAREZ PAIVA AND F. BALACHEFF Résumé. Nous éudions les aspecs infiniésimaux du problème suivan. Soi H un hamilonien de R 2n don la surface d énergie {H = 1} borde un domaine compac e éoilé de volume idenique à celui de la boule unié de R 2n. La surface d énergie {H = 1} conien-elle une orbie périodique du sysème hamilonien { don l acion soi au plus π? Absrac. We sudy he infiniesimal aspecs of he following problem. Le H be a Hamilonian on R 2n whose energy surface {H = 1} encloses a compac sarshaped domain of volume equal o ha of he uni ball in R 2n. Does he energy surface {H = 1} carry a periodic orbi of he Hamilonian sysem { wih acion less han or equal o π? Considérons le hamilonien homogène de degré 2 de R 2n donné par la formule H s (q 1,...,q n,p 1,...,p n ) = (qi 2 +p2 i ) e associé au sysème formé de deux oscillaeurs harmoniques découplés de même période propre. Les orbies de ce sysème hamilonien son oues périodiques de période π. La surface d énergie {H s = 1} borde la boule unié sandard de R 2n don le volume vau πn. Ce hamilonien es un exemple d hamilonien périodique, i.e. un hamilonien don oues les orbies son périodiques e de même période. Le ype de quesion auquel nous nous inéressons ici es la suivane. Quesion 1. Si H : R 2n [0, ) désigne un hamilonien propre, lisse en dehors de l origine e homogène de degré 2, el que le volume du domaine bordé par la surface d énergie {H = 1} vaille πn, exise--il une orbie périodique du sysème hamilonien { don la période (coïncidan avec l acion) soi au plus π? 2010 Mahemaics Subjec Classificaion. 37J40, 37J50, 53D10. Key words and phrases. Forme normale, oscillaeur harmonique, volume sysolique, sysème hamilonien. 1
2 J.C. ÁLVAREZ PAIVA AND F. BALACHEFF Il n es pas clair que la réponse à cee quesion soi posiive en oue généralié, mais nous obenons ici des résulas allan dans ce sens pour un hamilonien suffisammen proche de l hamilonien H s (pour la opologie lisse). Pour énoncer plus précisémen nos résulas, replaçons nore quesion dans un conexe plus général. Soi M 2n 1 une variéé de dimension impaire munie d une forme de conac α (i.e. une 1-forme α elle que α dα n 1 soi une forme volume). Le volume de (M,α) es défini comme la quanié vol(m,α) = 1 α dα n 1. Rappelons qu éan donné une variéé de conac, les orbies du champ de Reeb X défini par les équaions M dα(x, ) = 0 e α(x) = 1 s appellen les caracérisiques. Nous définissons la sysole par la formule sys(m,α) = inf α γ où l infimum des acions es pris sur l ensemble des caracérisiques fermées. S il n exise pas de caracérisiques fermées, nous poserons sys(m, α) =. Enfin définissons le volume sysolique comme la quanié S(M,α) = vol(m,α) sys(m,α) n. Dans le cas où (M,α) es le coangen uniaire d une variéé riemannienne muni de sa 1-forme canonique, cee dernière quanié coïncide à une consane dimensionnelle près avec la noion de volume sysolique présenée dans [AB09]. Remarquons que si φ : M N désigne un difféomorphisme enre deux variéés de dimension impaire, e α une forme de conac sur N, alors S(M,φ α) = S(N,α). D après un résula de Taubes [Tau07], oue variéé de conac (M,α) de dimension 3 adme une caracérisique fermée, e donc S(M,α) > 0. Dans le cas du coangen uniaire d une variéé de Finsler compace, l exisence d une caracérisique fermée découle des ravaux de Lusernik e Fe (voir[kli78]), e l éude infiniésimale du volume sysolique a éé iniiée dans [AB09]. Dans le cas d un hypersurface compace, lisse e éoilée de R 2n (par éoilée nous enendons que l hypersurface borde un domaine éoilé de R 2n conenan l origine dans son inérieur), l exisence d une caracérisique fermée es dûe à Rabinowiz [Rab87], e c es cee dernière siuaion qui nous inéresse plus pariculièremen ici. Nous ravaillons dans l espace euclidien sandard R 2n muni des coordonnées (q 1,...,q n,p 1,...,p n ), e nous noerons α la 1-forme 1 2 n (p idq i q i dp i ). Soi Σ R 2n une hypersurface compace, lisse e éoilée. La resricion de la 1-forme α à Σ es une forme de conac. Nous définissons l hamilonien associé à Σ comme l uniquefoncionnoéeh Σ : R 2n [0, )homogènededegré2elisseendehorsde l origine elle que Σ coïncide avec la surface de niveau {H Σ = 1}. Réciproquemen, à ou hamilonien H propre, lisse en dehors de l origine e homogène de degré 2, nous pouvons associer la surface de niveau {H = 1} qui es une hypersurface lisse γ
OPTIMALITÉ SYSTOLIQUE INFINITÉSIMALE DE L OSCILLATEUR HARMONIQUE 3 e éoilée. Remarquons que le hamilonien associé à la sphère unié sandard S 2n 1 n es aure que H s = (qi 2 +p2 i ). Les caracérisiques de (Σ,α Σ ) (les orbies du champ de Reeb) coïnciden exacemen avec les orbies du sysème hamilonien correspondan à la surface d énergie {H = 1}, e d après [Rab87], (Σ,α Σ ) adme au moins une caracérisique fermée. Dans ce conexe, nous pouvons noer S(Σ) le volume sysolique de (Σ,α Σ ). Remarquons que S(S 2n 1 ) = 1. Nous reformulons la quesion 1 de la manière suivane : Quesion 2. Pour quelles hypersurfaces Σ lisses éoilées de R 2n l inégalié (1) S(Σ) 1 es-elle vérifiée? Cee quesion consiue une variaion auour d un problème posé par Vierbo dans [Vi00]. En effe, dans le cas où Σ es convexe, minorer le volume sysolique de Σ équivau à minorer le volume symplecique du domaine K compac bordan Σ par sa capacié d Ekland-Hofer-Zender (voir [MS98]). D après [AMO08], si Σ es convexe, il exise une consane c > 0 indépendane de la dimension elle que S(Σ) c. Nous commençons par monrer que oue hypersurface Σ invariane par le flo du hamilonien H s vérifie S(Σ) 1. Ces hypersurfaces invarianes par le flo du hamilonien H s corresponden aux bords des domaines K circulaires, i.e. des domaines els que e iθ K = K pour ou réel θ (R 2n éan idenifié C n ). En pariculier, les bords des domaines de Reinhard (comme par exemple les domaines consruis par Hermann dans [Her98]) son circulaires, e saisfon l inégalié sysolique (1). Plus généralemen, nous prouvons le résula suivan. Proposiion 1. Soien Σ e Σ 0 deux hypersurfaces lisses e éoilées. Supposons que le flo de Reeb de Σ 0 soi périodique de période sys(σ 0 ) e que le flo du hamilonien H Σ associé à Σ soi consan le long des orbies du flo hamilonien H 0 associé à Σ 0. Alors S(Σ) S(Σ 0 ). De plus, l égalié n es possible que si Σ e Σ 0 son homohéiques. Démonsraion. Nous procédons de manière analogue à la preuve du Théorème 3.1 de [AB09]. Quie à ransformer Σ par une homohéie, nous pouvons supposer que vol(σ) = vol(σ 0 ). Soi ρ : Σ 0 (0, ) la foncion radiale définie par 1 ρ(q,p) = H(q,p)
4 J.C. ÁLVAREZ PAIVA AND F. BALACHEFF e soi δ : Σ 0 Σ l applicaion (q,p) ρ(q,p)(q,p). Nous noerons abusivemen par α la resricion de α à Σ 0 e Σ. Nous avons δ α = ρα, d où vol(σ) = 1 ρ n α (dα) n 1. Σ 0 Commevol(Σ) = vol(σ 0 ), lamoyennede ρ n surσ 0 es égaleà1e doncle minimum de ρ es au plus 1. Soi (q,p) un poin de Σ 0 où ρ aein son minimum e soi γ la caracérisique fermée issue de ce poin. L image de γ par l applicaion radiale δ es une caracérisiqueferméedeσesonacionvaumin(ρ) sys(σ 0 ) sys(σ 0 )(voir[ab09]). Le cas d égalié impose que ρ = 1 e donc Σ = Σ 0. Dire que le hamilonien H es consan le long des orbies de H 0 es équivalen à dire que le croche de Poisson ( 0 {H,H 0 } := dh(x H0 ) = ) 0 i i i i es ideniquemen nul. De même que dans[ab09], nous pouvons adaper de manière direce l approche de Cushman dans [Cush92] des formes normales des sysèmes hamiloniens pour prouver le résula suivan : Proposiion 2. Soi {H } une famille lisse de hamiloniens lisses en dehors de l origine e homogènes de degré 2 elle que H 0 soi périodique. Pour chaque enier N, il exise une isoopie φ (N) : R 2n \0 R 2n \0 de l idenié par des ransformaions sympleciques lisses e homogènes de degré 1 elle que H φ (N) = H 0 +E 1 + + N E N +o( N ), où E i : R 2n R son des hamiloniens lisses en dehors de l origine e homogènes de degré 2 els que {E i,h 0 } = 0 (1 i N). Nous pouvons alors monrer le héorème suivan, analogue du héorème 2.1 de [AB09] dans nore siuaion : Théorème 1. Soi Σ 0 une hypersurface lisse e éoilée don le flo de Reeb es périodique de période sys(σ 0 ). Soi N un enier quelconque. Fixons un N-je de déformaion de H 0, soi N foncions H 1,...,H N lisses en dehors de l origine e homogènes de degré 2 quelconques. Alors il exise une déformaion lisse H := H Σ de H 0 elle que H = H 0 +H 1 +...+ N H N +o( N ) e S(Σ ) S(Σ 0 ). Démonsraion. D après la proposiion 2, il exise une déformaionlisse φ (N) : R 2n \ 0 R 2n \0del applicaionideniéconsisanendesransformaionssympleciques lisses e homogènes de degré 1 elle que (H 0 +H 1 +...+ N H N ) φ (N) = H 0 +E 1 +...+ N E N +o( N ), avec {E i,h 0 } = 0 (1 i N). Définissons une famille de hamiloniens homogènes de degré 2 e lisses en dehors de l origine par la formule H = (H 0 +E 1 +...+ N E N ) (φ (N) ) 1.
OPTIMALITÉ SYSTOLIQUE INFINITÉSIMALE DE L OSCILLATEUR HARMONIQUE 5 Comme {H φ (N) ) α = α que (φ (N),H 0 } = 0, nous déduisons de la proposiion 1 e du fai que S(Σ H ) = S(φ (N) (Σ H )) = S(Σ H φ ) S(Σ (N) 0 ). Références [AB09] Alvarez-Paiva, J.C. & Balacheff, F. : Infiniesimal sysolic rigidiy for merics all of whose geodesics are closed and of he same lengh. Prépublicaion sur arxiv :0912.3413 (2009). [AMO08] Arsein-Avidan S., Milman V. & Osrover Y. : The M-ellipsoid, symplecic capaciies and volume. Commen. Mah. Helv. 83 (2008), 359-369. [Cush92] Cushman, R. : A survey of normalizaion echniques applied o perurbed Keplerian sysems. Dynamics Repored (N.S.), Vol. I (K. Jones, ed.), Springer-Verlag, New York, 1992, 54-112. [Her98] Hermann, D. : Non-equivalence of symplecic capaciies for open ses wih resriced conac ype boundary. Prépublicaion d Orsay (1998). [Kli78] Klingenberg, W. : Lecures on closed geodesics. Grundlehren der Mahemaischen Wissenschafen, Vol. 230. Springer-Verlag, Berlin-New York, 1978. [MS98] McDuff, D. & Salamon, D. : Inroducion o symplecic opology. Second ediion. Oxford Mahemaical Monographs. The Clarendon Press, Oxford Universiy Press, New York, 1998. [Rab87] Rabinowiz, P. : On a heorem of Weinsein. J. Differenial Equaions 68 (1987), 332-343. [Tau07] Taubes, C. : The Seiberg-Wien equaions and he Weinsein conjecure. Geom. Topol. 11 (2007), 2117-2202. [Vi00] Vierbo, C. : Meric and isoperimeric problems in symplecic geomery. Journal of he A.M.S. 13 (2000), 411-431. J.C. Álvarez Paiva, Laboraoire Paul Painlevé, Ba. M2, Universié des Sciences e Technologies, 59 655 Villeneuve d Ascq, France. E-mail address: juan-carlos.alvarez-paiva@mah.univ-lille1.fr F. Balacheff, Laboraoire Paul Painlevé, Ba. M2, Universié des Sciences e Technologies, 59 655 Villeneuve d Ascq, France. E-mail address: floren.balacheff@mah.univ-lille1.fr