arxiv: v1 [gr-qc] 16 Jun 2009

Transcription

1 Lae-ime ails of wave maps copled o graviy Pior Bizoń, Tadesz Chmaj,,3 ndrzej Rosworowski, and Sanis law Zaj ac M. Smolchowski Insie of Physics, Jagiellonian Universiy, Kraków, Poland H. Niewodniczanski Insie of Nclear Physics, Polish cademy of Sciences, Kraków, Poland 3 Cracow Universiy of Technology, Kraków, Poland Daed: November, 8) We consider he lae-ime asympoic behavior for solions of Einsein s eqaions wih he wave map maer. Solions saring from small compacly sppored l-eqivarian iniial daa wih l are shown o decay as l+) a fre imelike infiniy and as l+) a fre nll infiniy. I. INTRODUCTION arxiv:96.99v gr-qc] 6 Jn 9 In his paper we conine or invesigaions, iniiaed in ], of he precise qaniaive descripion of he laeime asympoic behavior of self-graviaing massless fields. In ] we considered he simples case of a spherically symmeric massless scalar field. Using nonlinear perrbaion analysis we showed ha solions saring from small iniial daa decay as 3 a imelike infiniy and as a nll infiniy. We also derived a simple analyic formla for he amplide of he lae-ime ail in erms of iniial daa. Here we sdy he analogos problem for wave maps which are a naral geomeric generalizaion of he wave eqaion for he massless scalar field. This generalizaion seems ineresing becase in he so called eqivarian case he homoopy index l of he map plays he role similar o he mlipole index for spherical harmonics. However, in conras o he decomposiion of a scalar field ino spherical harmonics which makes sense only a he linearized level, i is consisen o sdy nonlinear evolion for he wave map wihin a fixed eqivariance class. In his sense l-eqivarian self-graviaing wave maps can serve as a poor man s oy-model of non-spherical collapse. The l = case redces o he spherically symmeric massless scalar field analyzed in ] so hereafer we assme ha l. We noe aside ha he l = case has been exensively sdied in he pas focsing on he criical behavior a he hreshold of black hole formaion, 3, 4, 5, 6], however, o or knowledge, he lae-ime behavior of wave maps copled o graviy has no been analyzed before. Using he same hird-order perrbaion mehod as in ] we show here ha for small compacly sppored iniial daa he lae-ime ail of he self-graviaing l-eqivarian wave map decays as l+) a fre imelike infiniy and as l+) a fre nll infiniy. We also compe he amplide of he ail in erms of iniial daa. These analyic resls are verified by he nmerical inegraion of he Einsein-wave map eqaions. II. SETUP Le U : M N be a map from a spaceime M,g ab ) ino a Riemannian manifold N,G B ). pair U,g ab ) is said o be a wave map copled o graviy if i is a criical poin of he acion fncional R S = 6πG λ ) gab a U b U B G B dv, ) M Rishescalarcrvareofhemericg ab, GisNewon sconsan,λishewavemapcoplingconsan,anddv is hevolmeelemenonm,g ab ). Thefieldeqaionsderivedfrom)areheEinseineqaionsR ab g abr = 8πGT ab wih he sress-energy ensor T ab = λ a U b U B ) g abg cd c U d U B ) G B, ) and he wave map eqaion g U +Γ BC U) au B b U C g ab =, 3) Γ BC are he Chrisoffel symbols of he arge meric G B and g is he wave operaor associaed wih he meric g ab. s a arge manifold we ake he hree-sphere wih he rond meric in polar coordinaes U = F,Ω) G B du du B = df +sin F dω. 4) For he for dimensional spaceime M we assme spherical symmery and se he following ansaz for he meric g ab dx a dx b = e α,r) e β,r) d +dr ) +r dω. 5)

2 In addiion we assme ha he map U is spherically l-eqivarian, ha is F = F,r), Ω = χ l ω), 6) χ l ω) is a homogeneos harmonic polynomial of degree l. For his ansaz, he energy-momenm ensor ) does no depend on angles and hs can be consisenly copled o he spherically symmeric Einsein eqaions. We noe in passing ha a very similar idea of inrodcing he anglar momenm ino spherical collapse was p forward by Olabarriea e al. 7] in he conex of criical phenomena. In erms of he mass fncion m,r) = r e α ) he Einsein eqaions ake he following form hereafer primes and dos denoe parial derivaives wih respec o r and, respecively) m = r e α F +e β F ) + ll+) sin F, 7) ṁ = r e α F F, 8) β = m r eα ll+)e αsin F, 9) r = 4πGλ is a dimensionless parameer. The wave map eqaion 3) akes he form e β ) F r r e β F ) +e β+α ll+) sinf r =. ) For l = he above eqaions redce o he Einsein-massless scalar field eqaions analyzed by s in ]. For = no graviy) eqaions 7)-9) are rivially solved by m = and β =, while eqaion ) redces o he fla space wave map eqaion. III. ITERTIVE SCHEME We assme ha iniial daa are small, smooh, and compacly sppored he las assmpion can be replaced by a siable fall-off condiion) F,r) = εgr), F,r) = εhr). ) We make he following perrbaive expansion m,r) = m,r)+εm,r)+ε m,r)+..., ) β,r) = β,r)+εβ,r)+ε β,r)+..., 3) F,r) = F,r)+εF,r)+ε F,r)+ε 3 F 3,r)+... 4) Sbsiing his expansion ino he field eqaions and groping erms wih he same power of ε we ge he ieraive scheme which can be solved recrsively. We consider perrbaions abo Minkowski spaceime, so m = β = F =. he firs order he meric fncions m = β = his follows from reglariy a r = ), while F saisfies he fla space radial wave eqaion for he l-h spherical harmonic l) F =, l) = r r r + ll+) r, 5) wih iniial daa F,r) = gr), F,r) = hr). The general every reglar solion of eqaion 5) is given by a sperposiion of ogoing and ingoing waves F,r) = F re,r)+f adv,r), 6) F re,r) = r l l k)! k!l k)! k= a k) ), Fadv v ) l k,r) = r l k+ l k)! a k) v) ), 7) k!l k)! v ) l k k= and =, v = +r are he rearded and advanced imes, respecively he sperscrip in rond brackes denoes he k-h derivaive). Noe ha for compacly sppored iniial daa he generaing fncion ax) can be chosen o have compac sppor as well his condiion deermines ax) niqely).

3 he second order l) F =, hence F = becase i has zero iniial daa), while he meric fncions saisfy he following eqaions m = r F +F + ll+) ) r F, 8) ṁ = r F F, 9) β = m r ll+) F r ) We emporarily pospone he discssion of his sysem and proceed now o he hird order, we have l) F 3 = β F + β F +β F ll+)m F r 3 + ll+)f3 3r. ) To solve his eqaion we se he Dhamel formla for he solion of he inhomogeneos wave eqaion l) F = N,r) wih zero iniial daa F,r) = r dτ +r τ τ ρp l µ)nτ,ρ)dρ, ) P l µ) are Legendre polynomials of degree l and µ = r +ρ τ) )/rρ noe ha µ wihin he inegraion range). pplying his formla o eqaion ), sing nll coordinaes η = τ ρ and ξ = τ +ρ, and he abbreviaion Km,β,F) = β F + β F +β F ll+)/r )mf/r F 3 /3), we obain F 3,r) = 8r +r dξ ξ η)p l µ)km ξ,η),β ξ,η),f ξ,η)), 3) ξ now µ = r +ξ ) η))/rξ η). If he iniial daa ) vanish oside a ball of radis R, hen for > r+r we may drop he advanced par of F,r) and inerchange he order of inegraion in 3) o ge F 3,r) = 8r +r ξ η)p l µ)km ξ,η),β ξ,η),f re ξ,η))dξ. 4) In order o deermine he lae-ime behavior of F 3,r) we need o know he behavior of he sorce erm K along he ligh cone for large vales of r he inersecion of he inegraion range in 4) wih he sppor of F re,r)). Having ha, we shall expand he fncion K in 4) in he inverse powers of ρ = ξ η)/ and calclae he inegrals sing he following ideniy see he appendix in 8] for he derivaion) +r dξ P l µ) ξ η) n = )ln )l l+)!! r l+ η) n l η) r ] n F l+ n, l+3 n l+3/ 3 ) ) r, 5) η n ) l = n )n 3) n l ). Now, we rern o he analysis of he second-order eqaions 8)-). Sbsiing he ogoing solion 7) ino 8) and inegraing, we ge r m,r) >R = ) a l+) ρ) k l+ n k ρ a l++n k) ρ)a l n) ρ) ρ k l+n) n l+k n) k n) l +l+k n)n+) ) k k k n)!n! ] dρ, 6) we sed ha m,r = ) =, which follows from reglariy of iniial daa a he origin and 9). Here and in he following we se repeaedly he fac ha ax) = for x > R, R being he radis of a ball on which he iniial daa ) are sppored. To describe he behavior of m,r) along he lighcone i is convenien o se he nll coordinae = insead of, and rewrie 6) as m,r) r+>r = ) a l+) l +l+ s) ds r a l) ) ) ll+)l +l+) 4 a l ) )a l) ) ) r +O r 3. 7)

4 Nex, sing he gage freedom o se β,r = ) = and inegraing eqaion ), we ge r β,r) >R = ρ r ρ l +l+) a l+) s)) dsdρ a l) ρ) ) The firs inegral can be inegraed by pars giving β,r) r+>r = ) a a l+) l+) s) ) s) ds+ r r s ) ds l +l+) ρ 3 + ll+)3l +3l+) a l ) ρ)a l) ) ] ρ) ρ 4 +O ρ 5 dρ.8) a l) s) ) r s )) 3 + ll+)3l +3l+) 4 ] a l ) s)a l) ) s) r s )) 4 ds+o r 5. 9) IV. TILS Now, we shall apply he mehod described above o compe he lae-ime asympoics of solions in he hird-order approximaion. Hereafer, i is convenien o define he following inegrals for non-negaive inegers m, n) In m ) = s ) m a s)) n) ds. 3) From 9) we have. l = β,r) r+>r = r I)+ )] r I ) 5I))+O r, 3) β,r) r+>r = I r )+ )] r 4I ) 5a )) )+O r, 3) β,r) r+>r = r I) 5 )] r a )) +O r. 33) Sbsiing 7) and 3-33) ino 4) we obain F 3,r) = 4 r ξ η +r dξ P µ) ξ η) I η)a η) d U η) d I η)a η) ) ) +O ξ η) )], 34) U η) = 4I η)a η)+i η) 5I η))a η). 35) Performing he inner inegral over ξ in 34) wih he help of he ideniy 5) we ge he asympoic behavior which is valid for large rearded imes )] r F 3,r) = r ) +O, 36) = 8 3 a s)) as)ds. 37) From 36) we obain he lae-ime ails in boh asympoic regimes: F 3,r) r 4 a fre imelike infiniy r = cons, ) and rf 3 )v =,) ) a fre nll infiniy v =, ).

5 5 B. l We give he deailed calclaion only for l =. In his case we have from 9) r I 3 )+ r I 3 ) 3I ))+ r I3 3 ) 39I )+3a )) )+O )] r 3 β,r) r+>r =, 38) β,r) r+>r = I r 3)+ r 4I 3) 3a )) )+ )] r 6I 3) 39I) 6a )a ))+O r 3,39) β r+>r,r) = r I3 3 ) r a )) 6 )] r a )a )+O r 3. 4) Sbsiing 7) and 38-4) ino 4) we obain and F 3,r) = 4 r + 4 ξ η) +r dξ P l µ) ξ η) d a η)) 3 + ) I3 η)a3) η) + 5I3 ξ η η)a η)+ d )) ) aη)+ a η)) 3 3 a 3) η) 8 d V η) ) U η) +O ξ η) 3 )], 4) U η) = 8I 3η)a η)+i 3η) I η))a 3) η), 4) V η) = 4I 3η)aη)+36I 3η)a η)+ 7I η)+8i 3η) ) a η)+ 78I η)+4i 3 3η)+6a η)) ) a 3) η). 43) Performing he inner inegral over ξ in 4) wih he help of he ideniy 5) we ge he asympoic behavior for large rearded imes = 8 5 F 3,r) = r r ) 3 +B +O ) ] as) a s)) 3 3 a 3) s) ds and B = 64 5 )], 44) a s)) 3 ds. 45) For he general l i is easy o see ha he firs nonzero conribion o he ail comes from he erm wih n = l+ in he ideniy 5) which gives he following asympoics r l )] F 3,r) = r ) l+ l +B l +O. 46) The formla 46) gives he firs erm in he asympoic series approximaion of he solion for lae rearded imes, ha is for small ε we have r ) l+ r l F,r) ε 3 F 3,r) = Oε 5 ). 47) We havenoaemped oderiveageneralformlaforhecoefficiens l andb l hecompaionofhese coefficiens for each given l is sraighforward b as l increases he algebra becomes edios since i involves high-order expansions of he meric fncions along he ligh cone. nyway, i follows from 46) ha he ail behaves as F 3,r) r l l+) a fre imelike infiniy and as rf 3 )v =,) l+) a fre nll infiniy. Remark. For l he ail 46) has wo pars qanified by he coefficiens l and B l, respecively. The l -par comes from he graviaional self-ineracion of he wave map and vanishes for =. The B l -par comes from he cbic nonlineariy of he wave map eqaion and is presen wiho graviy as well. The case l = is special in he sense ha he B l -par is absen in 36) since i is sbdominan decaying as 5 ) wih respec o he leading order erm. Remark. I is insrcive o compare he ail 46) wih he ail for a es linear massless field propagaing on a fixed saionary asympoically fla backgrond. ccording o he Price law 9,, ] he l-h mlipole of his linear ail φ l,r) r l+ / r ) l+ for r. This decay is by one power faser han ha in 46). Of corse, his difference is no very srprising as he ail sdied here and Price s ail correspond o differen physical siaions, however we poin i o as anoher example of he inapplicabiliy of linearized heory in he sdy of radiaive relaxaion processes see, 3] for oher examples). We shall discss his isse in more deail else 4].

6 6 V. NUMERICS In his secion we compare he above analyic predicions wih he resls of nmerical solions of Einsein-wave map eqaions 7-) for varios iniial daa. The deails of he nmerical mehod were given in ] for he case l =. The only difference for higher l is he bondary condiion F,r) r l for small r which garanees reglariy a he origin. The iniial daa were generaed by he gassian for differen vales of ε. For hese iniial daa he formla 37) gives for l = and he formla 45) gives for l = = 4 8 εax) = εexp x ) 48) = 64 3π 7.769, 49) 7 3π 388., B = 48 3π ) 45 In order o exrac he parameers of he ails a imelike infiniy we fi or nmerical daa wih he formla F,r) = γ exp B/+C/ ). 5) imelike infiniy nll infiniy. e-7 F,r) e-6 e-9 l= F,r)/r l e- e-3 e-6 l= l= e- l= e-9 e-5 l=3 e- l= FIG. : Lef panel: The log-log plo of F,r) for fixed r = 5. Fiing 5) we ge power-law exponens γ = 4.96 l = ), 6.9 l = ), 8.49 l = 3), in agreemen wih he analyic predicion 46). Righ panel: The log-log plo of F,r)/r l for fixed large advanced ime v = +r = as he fncion of rearded ime =. The analogos fi o 5) yields he exponens.36 l = ), 3.4 l = ), 4.95 l = 3), in accordance wih 46). In boh panels =. and ε =. l = ), ε =.7 l = ), ε =.3 l = 3). l = ) l = ) ε heory nmerics ε heory nmerics e-5 9.5e e e TBLE I: The comparison of analyic and nmerical amplides of he ails a imelike infiniy. Here =. and r = 5. The hird-order approximaion reads = ε 3 r for l = and = ε 3 r +B ) for l =. The resls and heir confronaion wih analyic predicions are smmarized in Table and Figres,, and 3. From his comparison we conclde ha he hird-order approximaion is excellen for sfficienly small iniial daa. For large daa approaching he black-hole hreshold he hird-order approximaion breaks down his is seen in Fig. as he deviaion from he scaling ε 3 and in Fig. 3 as he deviaion from he linear dependence of on.

7 7 l= l= nmerics 3-order approximaion nmerics 3-order approximaion ε ε FIG. : The log-log plo of he amplide of he ail a imelike infiniy as a fncion of he amplide of iniial daa black dos) for fixed =. and r = 5. The hird-order approximaion dashed line) is excellen for small daa, b i breaks down for large daa lying near he hreshold of black hole formaion. l= l=. nmerics 3-order approximaion.5 nmerics 3-order approximaion FIG. 3: The plo of he amplide of he ail a imelike infiniy as a fncion of he copling consan black dos) for fixed ε =.5 and r = 5. s increases we leave he small-daa regime and conseqenly he hird-order approximaion dashed line) deerioraes. I shold be emphasized ha we ge he same decay raes l+) a imelike infiniy) and l+) a nll infiniy) for all sbcriical evolions, regardless of wheher or hird-order formla reprodces accraely he amplide of he ail for small daa) or fails for large daa). cknowledgmens: We acknowledge sppor by he MNII grans: NN 7935 and 89/6.PRUE/7/7. ] P. Bizoń, T. Chmaj, and. Rosworowski, gr-qc/ ] P. Bizoń and. Wasserman, Phys. Rev. D6, 843 ). 3] S. Hsa e al., Phys. Rev. D6, 47 ). 4] Ch. Lechner e al., Phys. Rev. D65, 85 ). 5] P. Bizoń and. Wasserman, Class. Qan. Grav. 9, 339 ). 6] P. ichelbrg, P. Bizoń, and Z. Tabor, Class. Qan. Grav. 3, S99 6). 7] I. Olabarriea e al., Phys. Rev. D76, 44 7). 8] P. Bizoń, T. Chmaj, and. Rosworowski, Phys. Rev. D78, 444 8). 9] R.H. Price, Phys. Rev. D 5, 49 97). ] C. Gndlach, R. Price, and J. Pllin, Phys. Rev. D 49, ). ] E. Poisson, Phys. Rev. D 66, 448 ). ] P. Bizoń, T. Chmaj, and. Rosworowski, Phys. Rev. D76, 435 7). 3] P. Bizoń, T. Chmaj, and. Rosworowski, Class. Qanm Grav. 4, F55 7). 4] P. Bizoń and. Rosworowski, in preparaion