7Chapitre 2 : Perturbations et stabilit´e dansles syst`emes dynamiquesLebutdecechapitreestdepr´esenterlesnotionsclassiquesdelath´eoriedessyst`emesdy-namiquesquiserontutilis´eesdanscetteth`ese.Onypasseraaussienrevuelesprobl´ematiqueset les r´esultats connus concernant la stabilit´e structurelle de la dynamique des ´equationsdiff´erentielles ordinaires et des ´equations aux d´eriv´ees partielles.1 Probl`emes de stabilit´e : le formalisme math´emati-quePoursimplifier,nousnouslimiteronsiciauxsyst`emesdynamiquesappel´essemi-groupes.D´efinition 1.1. Soit r un entier positif ou nul. Soit X un espace de Banach et M unersous-vari´et´e de X de classe C . La famille (S(t)) d’applications de M dans M estt∈R+r rappel´ee semi-groupe non-lin´eaire de classeC , ou simplement semi-groupeC , si :i) S(0)=Id,ii) pour tout temps positifs t et s, S(t)S(s)=S(t+s),0iii) l’application S : (t,U)→ S(t)U est de classeC (R ×M,M) et toutes ses d´eriv´ees+0de Fr´echet en U jusqu’a` l’ordre r sont de classeC (R ×X,X).+rOn dit que (S(t)) est un groupe de classe C si les trois propri´et´es pr´ec´edentes sontt∈Rvraies pour t et s dansR.Dor´enavant, nous entendrons par syst`eme dynamique, ou semi-groupe, un semi-groupe0de classeC .Notons que l’on peut aussi d´efinir des syst`emes discrets, ou` la dynamique ne correspondplus `a une ´evolution continue pendant un temps t≥ 0 mais un nombre n∈N d’it´erationsd’un processus.Nous rappelons ici quelques d´efinitions classiques.0D´efinition1.2. ...
1Probl`emesdestabilite´:leformalismemathe´mati-que Poursimplifier,nousnouslimiteronsiciauxsyste`mesdynamiquesappel´essemi-groupes. D´efinition1.1.Soitrun entier positif ou nul. SoitXun espace de Banach etMune sous-varie´t´edeXde classeCr. La famille(S(t))t∈R+d’applications deMdansMest appel´eepueg-oresimnessadeclairein´eon-lCr, ou simplement semi-groupeCr, si : i)S(0) =I d, ii) pour tout temps positifstets,S(t)S(s) =S(t+s), iii) l’applicationS: (t, U)→−7S(t)Uest de classeC0(R+× M,M)tuseteote´iresdseev´s deFre´chetenUuj’uqs’la`rdroersont de classeC0(R+×X, X). On dit que(S(t))t∈Rest ungroupede classeCrdentec´espr´et´erp´ipsorrtiolisesossetn vraies pourtetsdansR. Dore´navant,nousentendronsparsyst`emedynamique,ousemi-groupe,unsemi-groupe de classeC0. Notonsquel’onpeutaussid´efinirdessyste`mesdiscrets,o`uladynamiquenecorrespond pl`aunee´volutioncontinuependantuntempst≥0 mais un nombren∈Nnosd’´eittira us d’un processus. Nousrappelonsiciquelquesde´finitionsclassiques. D´efinition1.2.Uneerijartotcednfie´entervalliesuruniIest une fonctionU∈ C0(I , X) telle que pour toutt∈Iett′≥0tel quet+t′∈I,U(t+t′) =S(t′)U(t). SiI=R, on parle deajtrtoececirplome`et. L’orbite positived’unborn´eBest l’ensemble{S(t)x t≥0, x∈ B}. On appellebreuiliop´’qenidtu´emennt´ele∈Xtel que pour touttpositif,S(t)e=e. On appellerboeuqidoire´petitep´eriopluspetiededTteomec`epljaceotriuenrtU(t)
7
ve´rifiantU(t+T) =U(t)pour toutt≥0ueeqttceet,lltetee´enospeorrp´irifi´eeitpasv´e pour un tempsT′∈]0, T[. L’lembseenωli-imetd’un pointU0est l’ensemble des pointsx∈Xtels qu’il existe une suite de temps(tn)n∈Ncroissant vers+∞telle queS(tn)U0converge versx. L’eblesnmeαim-leitd’un pointU0est l’ensemble des pointsx∈Xtels qu’il existe une trajectoire(U(t))t≤0avecU(0) =U0et une suite de temps(tn)n∈Nd´ecroistnassrev−∞ telle queU(tn)converge versx. Une trajectoirecomohenilajecnetrecomtoiretlpe`utseU(t)telle que l’ensembleω−limite deU(0)et l’ensemble{x∈X ∃(tn)→ −∞, U(tn)→x}ostntsertnostexuage´`atsinre unseulpointd’´equilibreou`auneseuleorbitepe´riodique. Une trajectoirerecoilenht´´eseutenrtecompl`eatejectoirU(t)telle que l’ensembleω−limite deU(0)et l’ensemble{x∈X ∃(tn)→ −∞, U(tn)→x}sont distincts et sont chacun restreintsa`unseulpointd’e´quilibreoua`uneseuleorbitep´eriodique.
SoitΛunespacem´etrique.Lesprobl`emesdeperturbationssontmod´elise´sparune famille (Sλ(t))λ∈Λde semi-groupesC0.Sλ0(tdnopysuaoc)serrnamiqueist`emedyinitlate pourλproche deλ0,Sλ(tor)cme`tsysuadnopseruel’´e,qrocheappulesdepe`prenosen plus proche deSλ0(t) quandλtend versλ0. Dire queSλ(t) est une bonne approximation deSλ0(t)teesrdsusrnisfimptnapveeipmelerexntre`amoestirune:typeondumati ∀T2> T1≥0,∀M >0,sup supkSλ0(t)U−Sλ(t)UkX−→0 quandλ−→λ0, kUkX≤M t∈[T1T2] ouuneestimationplusfaibledanslecasdeperturbationssinguli`eres. Sil’onsouhaitefaireunee´tudeasymptotique,laconvergenceentempsfininesuffitpas. Obteniruneconvergencedetouteslestrajectoiresentempsinfiniestenge´ne´ralillusoire.Il fautalorsserestreindresoit`al’e´tuded’uncomportementqualitatiflocale,commel’attrac-tivite´d’unpointd’e´quilibre,soita`l’´etudedelaconvergenced’ensembleact´eristiques s car de la dynamique comme par exemple les attracteurs compacts g lobaux. D´efinition1.3.On dit qu’un ensembleS1⊂Xattireun ensembleS2⊂Xsi supdistX(S(t)x,S1)−→0quandt→+∞, x∈S2 ou`distXdilasted’ceanstaunensemunpoint`lbe distX(x,S1 in) =Sf1ky−xkX y∈ Unattracteur global compactAnsysourupe`tmeS(t)est un ensemble compact, inva-riant par le flot (pour toutt≥0,S(t)A=Aotsuelbsro´nseedtq)eatuiretiX.
8
Denombreuxsyste`mesphysiquesdissipatifs,autrementditdontl’´energiede´croitavec letemps,poss`edentunattracteurcompactglobal.Remarquonsquecetattracteurcontient touteslestrajectoirescomple`tes. SoitSλ0(temeqyst`metuuiadartcanttmoapuecrctns)uAλ0. Supposons que ses per-turbationsSλ(t) admettent aussi un attracteur compactAλalsn.epUnimerere`ate´adep comparaisonqualitativedeladynamiqueestl’e´tudedelaconvergencedeAλversAλ0en tantqu’ensembles.Ainsi,danslecasdel’´etuded’unepopulationanimale,siAλ0={0} (c’est-`a-diresilapopulationfinittoujourspars’e´teindre),lacontinuit´edesattracteurs indique queAλeetsnuneesbmelrte`psorhcde{0}ninfituqerpalelupooita(c’est-`a-di toujourspardevenirtr`espetite).Enfin,pouraffinerl’e´tude,onpeutcherchera`compa-rerladynamiquerestreinte`al’attracteur,parexempleencomparantlesdiagrammesde phase : si l’attracteur limite comprendntrebsieliuqe´’dstniopmbrosetire´pdiioesqun,o souhaitequ’ilensoitdemˆemepourl’attracteurperturbe´etquelesconnexionshomoclines eth´et´eroclinessoientconserve´es.Danslecasdel’exemplesimpleAλ={0}, la conserva-0 tion du diagramme de phase signifie queAλtd’´poin`aunduituq.eueinilrbqeiue´res
2Propri´ete´deMorse-Smaleetr´esultatsdestabilite´ 2.1Syst`emesdynamiquessurdesvari´et´escompactesdedimen-sion finie SoitMd⊂Rkisnominedddebsroesanpactecom´et´neurivaiefindetr≥1. Soit Fun champ de vecteurs de classeCrueenofcn-ta`d-ri,c’esontideCr(Md,Rk) telle que F(x `) apparti l’espace tangentTxMdd´En.ssnafieinrtjaltseiresectoU(t) comme les enne a solutionsdel’e´quationdiffe´rentielleordinaireddtU(t) =F(U(tstsyunntiebtno,oeme)`) dynamiqueSF(tte,nasuiansl).Dnous´drenoisuocsestlstsyqunienemqimaseueme`nyds surMdde ce type. Notons que pourr≥juotsruoemessontelssyst`ioer,d1setletsarejtc prolongeablesendestrajectoirescomple`tesetquecessyst`emessatisfontlapropri´ete´de grouped’op´erateurs.Deplus,commeMdest compacte, l’ensembleω−ouα−limite de toutpointestnon-vide.Pourplusdede´tailssurlesnotionsdeceparagrapheoupourles preuvesdespropositions,nousrenvoyonslelecteuraulivredePalisetDeMelo[44]eta` celui de Shub [61].
De´finition2.1.ibilre´equntd’npoiUeest ditobreuqileypherentielledusys`tmeelisffida ´ ene DSF(e)(1) :TeMd−→TeMdecersurlnit´cleue.enUapn’elavedsaerporpru orbitepe´riodiqueU(t)´preediodeThypediteestleeltiener´ffidaliseuqilobrDSF(U(0))(T) : TU(0)Md−→TU(0)MddeSF(T)enU(0)nit´cleureeautrlsuerecprurreopedsaelavpa’n que1et que1est une valeur propre simple. Un ensembleS ⊂ Mdest ditpositivement invariantsi pour toutt≥0,SF(t)S ⊂ Set