Nonpersistence of Breathers for the Perturbed - ETH E
Transcription
Nonpersistence of Breathers for the Perturbed - ETH E
Diss. ETH No. 9954 Nonpersistence of Breathers for the Perturbed Sine Gordon Equation A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH for the degree of Doctor of Mathematics presented by JOCHEN DENZLER born 03 Dipl. Math. ETH Mosbach/Baden April 1963 in D citizen of Germany accepted - on Prof. Dr. the recommendation of Jiirgen Moser, examiner III, co-examiner Prof. Dr. Oscar E. Lanford 1992 Abstracts English Abstract This thesis discusses the persistence m w = sine Gordon equation cosh on perturbation by uu smu 0, = analytic function A an - m2 , 0 < < 1 m the real line uxx + sinu - Vl u> , mx utt-uxx + under many of the breather solutions one or sin uit 4 arctan u> to the of = eA(u) x of u alone: 0(e2), + G IR A(0) = 0 . Chapter 2 introduces the main methods used and proves the basic result: for any perturbation persist, specified type, and this result follows speaking, • of the this is There is a only already from true with the • of u There is another tence is order • (x,t) a in the one At most finitely perturbations dimensional space of a solution for all many breathers equations in e. can Strictly is obtained by rescal- one. result of the second order in equations have Essentially, many breathers perturbations for which all breathers with these unperturbed finitely modifications: two dimensional space of trivial and most the first order following persist. The perturbed equation ing at persist m. e perturbations for of the equation, which This is discussed in in any interval ^ nonpersis¬ whereas the first chapter ]0, p] 5. that is inside A(4 arctan z), hence none persist analyticity of the function z appropriate neighbourhood of 0. However, accumulation of persistent breathers at the boundary of the domain of analyticity cannot be ruled out by the domain of in our Chapter >—> an arguments. 4 or non-persistence of single breathers under question beyond the scope of first order perturbation explains why persistence general perturbations is a 9 10 — — ABSTRACTS theory. Although in this yet understood are geometric Chapters 1 and 6 physical explicit formulas, consequences of A first completely. intuitive approach of m < are independent replace explicit l/v2 chapter attempt an offers (In spite of the review cannot this attempt, Chapter 6 offers an elementary introduction unperturbed sine Gordon equation. Deutsche to some an by is not more introduction to contents of the to following make available essential information also to mathematicians that do not background calculations 3. Chapter 1 light on the arguments that shed deeper meaning whose interest. It also reviews related work in systems. to arguments is described in and heuristic chapters. Die It is assumed that 0 < m. argument. key results The (non-)persistence is proved, perturbations are persistence conditions are satisfied. They on infinite dimensional space for each fixed an span definite result no for which all first order given explicitly, specialize pretend to in be methods used for dynamical complete.) studying the Zusammenfassung vorliegende Dissertation diskutiert die Persistenz einer oder vieler der Breather- Losungen m u = Sinus-Gordon-Gleichung w« unter Storung durch eine uu In Kapitel folgt bereits eben Gesagte Es gibt • — urx + sin — = 0 x , analytische Funktion A, die u = eA(u) hauptsachlich + ml , 0 < nur den mit nur von A(0) es Gleichungen Ordnung folgenden Modifikationen: erster = Gleichungen diskutiert. von 0 . eingefiihrt und das irgendeiner Storung erhalten, und dieses Resultat e. Genaugenommen gilt trivialen das Storungen, unter denen Gleichung aquivalent von u und (x,t). von Storungen, unter denen die Gleichungen zweiter Ordung in e folgt, wohingegen Ordnung fur alle m losbar sind. Dies wird in Kapitel 5 den erster in abhangt: Fur sie ist die gestorte einen eindimensionalen Raum aus u verwendeten Methoden einen zweidimensionalen Raum gibt < 1 m G IR 0(e2), Art hochstens endlich viele Breather aus Nichtpersistenz die u ungestorten vermoge Reskalierung Ferner V 1 mx alle Breather erhalten bleiben. zur = Resultat bewiesen: Im wesentlichen bleiben unter angegebenen • , auf der reellen Achse uxr + sin 2 werden die grundlegende der - cosh - , u - uj der sin uit 4 arctan —11 — ABSTRACTS • In jedem tion z >— ^ Intervall A(4 ]0,p], G das innerhalb des Analytizitatsgebiets ten, und somit gar keine in einer geeigneten Umgebung Argumente ^ Werte In Kapitel konnen nicht sich 4 wird am der Funk- z) liegt, bleiben hochstens endlich viele Breather erhal¬ arctan von 0. Aber unsere ausschliefien, dafi Breather erhalten bleiben, deren Rand des Analytizitatsgebiets haufen. das Problem der Persistenz oder Nichtpersistenz allgemeinen Storungen aufierhalb der Reichweite von Argumenten erster Ordnung Sorungstheorie liegt. Obwohl keine endgiiltige Aussage iiber (Nicht-)Persistenz bewiesen wird, werden explizit Storfunktionen angegeben, die alien Persistenzbedingungen erster Ordnung geniigen. Sie spannen fur jedes feste m erlautert, warum einzelner Breather unter einen unendlichdimensionalen Raum auf. Dabei mufi 0 < l/\/2 < m vorausgesetzt werden. Die entscheidenden Resultate noch nicht vollstandig folgen aus expliziten Formeln, deren tiefere Bedeutung Ziel, explizite Rech- verstanden ist. Ein erster Ansatz mit dem nungen durch intuitivere geometrische Argumente zu ersetzen, wird in Kapitel 3 beschrieben. Kapitel Die 1 in Einfuhrung und 6 sind von eigenstandigem Interesse. Kapitel 1 bietet eine physikalische und heuristische Argumente, die den Inhalt der fol- genden Kapitel beleuchten. Dort wird auch ein Uberblick iiber verwandte Arbeiten gegeben, als Versuch, wesentliche Hintergrundinformationen auch fur diejenigen Mathematiker bereitzustellen, die nicht auf dynamische Systeme spezialisiert sind. (Trotzdem wird nicht behauptet, dieser Uberblick sei vollstandig.) Kapitel 6 bietet eine elementare Einfuhrung in einige Methoden zur Untersuchung der ungestorten Sinus-Gordon-Gleichung. PyccKan aHHOTan^KLH B .HHccepTaiiHH o6cy>KflaeTCii ycTOHHHBocib o^Horo hjih MHorux peiueHHH «6pH3ep» m u = u> ypaBHemm sin art CHHyc-FopflOH w« cosh Ha — utt Bo BTopoii poB - = \]\ aeMCTBHTejitHoH uxx + sin uxx + sinu = u = 0 » — ml „ , 0 < rn < 1 sA(u) rjiaBe bbo,iuitc.h rjiaBHbie + ocm x , (|)yHKiiHefi pe3yjibxaT, yTBep«^aiomHH, MoaceT uj , mx npn B03MymeHHH aHaJiHTHMecKoM hobhoh r 4 arctan G IR e^HHCTBeHHOH 0(e2), A(0) ynoTpe6jifleMbie mto He 6ojiee nepeMeHHoM = 0 u . MeTo^bi h ,noKa3biBaeT oc- MeM KOHetiHoe mhcjio coxpaHHTbCii npn jiioSom B03MymeHHM aaHHoro Bbiiue 6pn3e- Tuna, h 9tot 12 — — ABSTRACTS cKa3aHHoe HeHHe ^ByxiviepHoe npocTpaHCTBo TpHBwajibHbix B03MymeHHH, npH CymecxByeT • ojiHOMepHoe h cojep*;nTCJi He 6oJiee • MeM ^ HHTepBajie z v-r A(4 nflxoft b KOHeMHoe ]0, p] G arctan z), h MMCJia B MexBepxoK oxjjejibHoro Boro rjiaBe 3aTO J1BHO He jiioSoro oxaejibHoro OcHOBHbie pe3yjibxaxu HHe axoro He jik>6om b CfiyHKLUiH b coxpaHtfioxcji He apryMeHXbi 6pn3epaM no,n- HCKJiiOHaiox, HaKanjiHBaioxcji hjim HeycxoiiHHBOcxb nocpeacxBOM xeopiw B03MymeHira nep¬ OKOHMaxejibHbiit pe3yjibxax Hx IIpn m. axoM o6ojioMKa npeanojioraeTCH, (He-)ycxoMHH- BCeM yCJlOBHHM 6ecKOHeMHOMepHa hto 0 < m < \j\[2. (j)opMyji, <J>yH,naMeHxajibHoe nonbixna noHBXHo. o yjOBJieXBOpjlIOX jiMHeHHan BbixeKarox M3 jibhmx He BnojiHe Koxopux eme Hairai (fiyHKUHH, KOXOpble ycxoHHHBOCTH nepBoro nopaaKa. jjih ypaB- coxpaHHibCH yexoMHHBoexb noneMy aoKa3aH aaHbl a 06cy>K,neHMe aHajIHXHHHOCXH 6pH3epbi OaHaKo, Hejib3H BbiHCHHXb Xoxh nopfljiKa. BOCXH, Koxopbix £, aHajiHXHMHOcxH. H3JiaraeTCii, 6pn3epa MO»cex coxpaHiiioiiiHMCii OTBeMaromwe — 6pH3epoB HrocaKHe noaxoMy y rpaHHUbi o6jiacxn m. no rjiaBe. hmcjio xoaflmeii oKpecTHoexn HyjiJi. mxo Bcex npw BHyXpeHHOCIM o6jiaCTH BO ripn ypaBHeHHii BToporo nopiun-ca pa3peuiHMO nepBoro nopjiUKa 9<f>cf)eKTa ypaB- Macinxa6npoBaHHH B03MyuieHHH, npocxpaHCXBO M3 HeycTOHMHBOCTb cneayex HeHHe B03MymeHHoe (x,t). h u 9TOM, HeB03MymeHHOMy nocpe^cTBOM 9KBHBajieHTHO nepeMCHHbix npH 6pn3epbi. Bee coxpaHjnoxcH KOTopux To^Hee roBopa, no e. ,no6aBJieHbi cjiej,yiomne nonpaBKH: ecjin cnpaBCHJiHBO, CymecTByex • ypaBHeHHH nepBoro nopnaKa H3 pe3yjibTaT cjieayex y*te 3aMeHHxb 6ojiee HHxyHXHBHbiMH reoMexpHMecKHMH apryMeHxaMH HBHbie 3Hane- BbiHH3JieHHfl onucbiBaexcn b xpexbeK rjiaBe. nepBaii h niecxaii npeajiaraex rjiaBbi BBeaeHHe b HMeiox h caMoccaxejibHoe cjjioHHecKHe BemaKDX coaep>KaHHe cjieayioiriiix rjiaB. pa6ox, opweHTHpyHCb HecKHX LUecxa.fi CHCxeMax. rjiaBa xpe6jifleMbie Resume Dans cette Ha MaxeMaxHKOB, (O^HaKO, mm He KpoMe He sxoro mm nepBaji aaeM o63op cneunajiH3HpyiouxnxcH 6yaxo yiBep*maeM, npeajiaraex gjieMeHxapHoe BBeaemie rjiji H3yneHHH HeB03MymeHHoro b bxot b oc- 6jih3khx jHHaMH- o63op noaoH.) HeKOXopbie Mexcajbi, yno- ypaBHeHHH cHHyc-TopaoH. on discute de la persistance d'une ou plusieurs solutions <breather> (<crespirateur>) m sin uit III SHI Ull u rjiaBa frangais en these, 3HaMeHHe. aBpucxHHecKne apryMeHXbi, Koxopbie h = 4 arctan : wcosh — i , mx lo = v 1 — ml , 0 < m < 1 13 — — ABSTRACTS de l'equation sinus-Gordon Utt quand elle est soumise que de depend Dans le second au est maximum - chapitre, II existe tion un u et Au il existe chaque tion z i— qu'avec un ou m < ne a ci-dessus, resultat ce precisement, triviales perturbations non cette sous lesquelles ces perturbations, Tequa- perturbee apres rescalement des Pour de un perturbations sous consequence de en lesquelles l'equation l'equation du premier ordre a une cinquieme chapitre. solution d'analyticite consequent, persiste argument d'analyticite on sous une conservees l'interieur du domaine aucune ne dans de la fonc¬ dans certain un n'exclut pas que des solutions <breather> — ayant point d'accumulation un sur le de cette fonction. il est explique pourquoi impossible de decider, si e, en une sur solution <breather> perturbation generale. Bien qu'on ne donne pas de on donnera explicitement pour chaque m des (non-)persistance, verifient toutes les conditions de lineaire est de dimension infinie. persistance Dans ces du premier arguments, on ordre. suppose l/\/2. entierement premier . donnees Plus e. en conservees. pour des valeurs de comprise. arguments geometriques plus Le 0 perturbations sont pas conservees, Les resultats-cles decoulent des formules encore = et demontre le resultat principales equation du premier ordre non perturbations qui que 0 < premier e, tandis que quatrieme chapitre, enveloppe A(0) ordre espace de dimension de 0. Mais notre resultat definitif de Leur 0(s2), nombre fini de solutions <breather> sont un conservees conserve* ne les modifications suivantes: ^ G ]0, p] A(4 arctan z), et par la base de la seule est du equations en bord du domaine Dans le + pour chacune des intervalle voisinage soient analytique A qui On discutera de cela dans le m. maximum, chaque G IR fonction une par est equivalente a l'equation {x,t). du second ordre • ,r , donne les methodes les solutions <breather> pour , espace de dimension deux de perturbee plus, sA(u) = solutions <breather> sont variables De 0 nombre fini de solutions <breather> sont conservees, et un toutes les • on Essentiellement, assertion n'est correcte • = perturbation uxx + sinu consequence des une v u: uu fondamental: «ra + sin - une a la droite reelle sur et le sixieme explicites, On essaie de dont la remplacer signification n'est explicite par le calcul pas des intuitifs. chapitres ont une valeur introduction dans des chapitre est presentee une tiques eclairant le contenu des chapitres en eux-memes. Dans le arguments physiques suivants. De plus, on fait un premier et heuris- tour d'horizon — 14 — ABSTRACTS des travaux portant supplementaires specialises soit des questions similaires, domaine dans les systemes complet.) Dans quelques sur sur ce qui interesseront dynamiques. (On le sixieme methodes d'etude de chapitre, on ne donne donnant ainsi des informations egalement pretend une les mathematiciens pas que ce non tour d'horizon introduction elementaire dans l'equation sinus-Gordon non perturbee.