Description de la theseRa k ImekrazMots clefs : Forme normale de Birkho , equation NLS, EDP hamiltonienne, StabiliteOn etudie d’un point de vue dynamique les EDP non lineaires de Schr odinger du typedi@ (t;x) = ( +V (x)) (t;x) +@ g( ; ); (t;x)2RRt 22ou g :C !C est une fonction holomorphe telle que g(z;z)2R et qui admet (0; 0) comme zero d’ordre 3,s=2V (x) un polyn^ ome con nant et ou la condition initiale (0;x) est dans un espace de type Sobolev Dom(T )avec T = +V (x). Cette EDP est hamiltonienne et on l’aborde avec des methodes de formes normalesde Birkho .Pour des regularites tres grandes, i.e. s 1, et pour une condition initiale =jj (0;)jj 1, onss’interesse aux proprietes suivantes pour r arbitrairement grand0 r r s=2i) existence et unicite d’une solution dans l’espaceC ([ c(r) ;c(r) ]; Dom(T ))ii) contr^ ole des normesjj (t;)jj 2sPiii) en notant T = et (t) = z (t) , on a la presque conservation des actions :j j j j jj1Xs 2 2 3jjz (t)j j z (0)jjCj jjj1De maniere heuristique, la propriete iii) signi e qu’il y a tres peu d’echange d’energie entre les modespropres. Ce genre de questions a dej a ete aborde pour diverses equations (ondes, Schr odinger, Klein-Gordon)notamment par Bourgain, Grebert ([9]), Bambusi ([2]), Bambusi et Grebert ([4, 3]), Delort et Szeftel ([6, 7]).Dans tous les cas envisages, la comprehension de l’EDP lineaire et de ses modes propres est cruciale (voir lespoints a) ...
Mots clefs :FmeormrondelariBeffohkuati,´eqS,EDonNLliothPmaenS,innet´libitae One´tudied’unpointdevuedynamiquelesEDPnonlin´eairesdeSchro¨dingerdutype d i∂tψ(t, x) = (−Δ +V(x))ψ(t, x) +∂2g(ψ, ψ),(t, x)∈R×R 2 o`ug:C→Cest une fonction holomorphe telle queg(z, z)∈Ret qui admet (0,0moc)mez´erod’ordre≥3, s/2 V(xnoitidnoelaitinintnanficoaculo`etu)pnlonyoˆemψ(0, x) est dans un espace de type Sobolev Dom(T) avecT=−Δ +V(xet.CEDte)edsedohte´msedcbordeaveeetonl’atlnoeinnePtsahimformes normales de Birkhoff. Pourdesre´gularit´estr`esgrandes,i.e.s1, et pour une condition initiale=||ψ(0,∙)||s1, on s’int´eresseauxpropri´ete´ssuivantespourrarbitrairement grand 0−r−r s/2 i)existenceetunicite´d’unesolutiondansl’espaceC([−c(r)c ,(r)],Dom(T)) ii)controˆledesnormes||ψ(t,∙)||s≤2 P iii) ennotantT φj=λjφjetψ(t) =zj(t)φj, on a la presque conservation des actions : j≥1 X s32 2 ||)|| −z(0)| |≤C λjzj(tj j≥1 Demani`ereheuristique,laproprie´te´iii)signifiequ’ilyatre`speud’´echanged’´energieentrelesmodes propres.Cegenredequestionsad´eja`´et´eabord´epourdiversese´quations(ondes,Schr¨odinger,Klein-Gordon) notammentparBourgain,Gr´ebert([9]),Bambusi([2]),BambusietGr´ebert([4,3]),DelortetSzeftel([6,7]). Danstouslescasenvisage´s,lacompr´ehensiondel’EDPline´aireetdesesmodespropresestcruciale(voirles pointsa)etb)ci-apre`s).L’undescaslesplusge´n´erauxde´j`atraite´savecdesformesnormalesdeBirkhoffa` toutordreestl’´equationdeKlein-Gordonsurunevari´et´edeZoll([1]),c’est-a`-direunevarie´te´riemannienne compacte`aflotg´eod´esiquep´eriodique,lespectredulaplacienve´rifiealorsdetre`sbonnesproprie´t´esde localisation ([5]). d Danslath`ese,nouse´tudionsdescasnoncompactsa`savoirmodestementR([8, 11]).Le potentiel d confinantViellnolapade´temocnicapRen assurant que le spectre de−Δ +Vest discret. Undespointscle´sestdebiencomprendrelanaturespectraleduproble`me,c’est-a`-dire: a)lecomportementasymptotiquepre´cisduspectre b) lecomportement asymptotique des normes de Lebesgue des modes propres Lacompr´ehensiondupointa)permetd’´eviterlesesncanose´reles-dircom-ri,e´nae-ta`’cseladeliiertpa binaisonsentie`resnullesdesvaleurspropresde−Δ +Vte`aremplacer.uQti−Δ +Vpar−Δ +V+M,o`u Mtsnupoe´aretruoceeuqipal,itranileacmpiatdnagoypltevintnree´osdrrerene´eaipasifera.Cesncnateet proprie´te´d’approximationendimensioninfinieestsimilaire`aladensite´desnombresdiophantiensdansR. L’approchedel’EDPdeSchro¨dingerconsiste`alatransf´erersurl’espaceSesdroocnnodsee´(zj)j∈Z(en ? convenantzj=z−jagn`ioattsendiraitcelpmyfaledeuqormee)unene´uq 0 z(t) =iXH0+P(z(t)) o`uH0etPpseritcegisetnenmihaonltmevel’nttealeptreilnbier(d´ependurbationedtna´dg). Onutilise les pointsa)etb)pourcre´eruneclasseabstraitedeperturbation(dontfaitpartiePte’l,)mo´eydonunrent
1
the´ore`medeformesnormalesdeBirkhoff.End’autrestermes,ontransformeparchangementsymplectique e le hamiltonienH0+Pen un hamiltonienH0+Pplus simple. P 2 2 Dans[8],onr´epondauquestionsi),ii)etiii)lorsqueV(x) =||x||=xC.e’leresdca-`stdia-etalruo’lelics i harmoniquemulti-dimensionnel.L’´etudespectralefaitintervenirlabasehilbertienned’Hermite,abondam-mente´tudie´e(voirparexempleleclassique[12]). Dans[11],onsepermetdeprendredespolynˆomesquelconquesVedede´rgriapsiamonl’toesigbl´e d’abaisserladimensiona`donsup´erndimensieiru.ecnassiantcepsudelembsereeeilfficdi=1aconcarl Exempled’obstacle:onconnaˆıtl’e´quivalentdeλjsceenerff´dieseduledformarlapderisiuq,lamWeye λj−λkdimension? Endetementled´evelo1[]0d)noenocpm`leleHreffeobtRt(er,1=´rnulusedtattnemepp asymptotique deλjff´eresdisencecenoemdtellrrtoˆ,eripquceλj−λk.
Bibliographie [1]Bambusi,Delort,Gr´ebert,andSzeftel.AlmostglobalexistenceforHamiltoniansemilinearKlein-Gordon equations with small Cauchy date on Zoll manifolds.Comm. Pure Appl. Math, 60 no 11:pages 1665–1690, 2007. [2] D. Bambusi.A birkhoff normal form theorem for some semilinear pdes.InHamiltonian Dynamical Systems and Applications, pages 213–247. Springer, 2007. [3]D.BambusiandB.Gr´ebert.FormenormalepourNLSendimensionquelconque.Compt. Rendu. Acad. Sciences Paris, 337:409–414, 2003. [4]D.BambusiandB.Gr´ebert.BirkhoffnormalformforPDEswithtamemodulus.Duke Math. J., 135:507–567, 2006. [5]Y.C.deVerdiere.Surlespectredesop´erateurselliptiquesa`bicaract´eristiquestoutespe´riodiques.Com-mentarii Mathematici Helvetici, 54(1):508–522, 1979. [6] J.M. Delort and J. Szeftel.Long–time existence for small data nonlinear Klein–Gordon equations on tori and spheres.Internat. Math. Res. Notices, 37:1897–1966, 2004. [7] J. M. Delort and J. Szeftel.Long–time existence for semi–linear Klein–Gordon equations with small cauchy data on Zoll manifolds.Amer. J. Math, 128:1187–1218, 2006. [8]BenoıˆtGre´bert,RafikImekraz,andEricPaturel.Normalformsforsemilinearquantumharmonicoscil-lators.Comm. Math. Phys., vol 291-3:pages 763–798, 2009. [9]BenoˆıtGre´bert.BirkhoffnormalformandHamiltonianPDEs.InPartial differential equations and applications, volume 15 ofCongr.S´emin., pages 1–46. Soc. Math. France, Paris, 2007. [10]BernardHelfferandDiderRobert.Asymptotiquedesniveauxd’e´nergiepourdeshamiltoniens`aundegr´e deliberte´.Duke mathematical journal, vol 49 n4,, pages 853–867, 1982. [11] R.Imekraz. Normalforms for semilinear superquadratic oscillators.preprint, 2010. [12] GaborSzego.Orthogonal polynomials. American Mathematical Society, Providence, R.I., fourth edition, 1975. AmericanMathematical Society, Colloquium Publications, Vol. XXIII.