DELOCALIZATION OF SLOWLY DAMPED EIGENMODES ON ANOSOV

Description

DELOCALIZATION OF SLOWLY DAMPED EIGENMODES ON ANOSOV MANIFOLDS GABRIEL RIVIÈRE Abstract. We look at the properties of high frequency eigenmodes for the damped wave equa- tion on a compact manifold with an Anosov geodesic flow. We study eigenmodes with damping parameters which are asymptotically close enough to the real axis. We prove that such modes cannot be completely localized on subsets satisfying a condition of negative topological pressure. As an application, one can deduce the existence of a strip of logarithmic size without eigenval- ues below the real axis under this dynamical assumption on the set of undamped trajectories. 1. Introduction Let M be a smooth, compact, connected Riemannian manifold of dimension d ≥ 2 and without boundary. We will be interested in the high frequency analysis of the damped wave equation, ( ∂2t ?∆ + 2V (x)∂t ) u(x, t) = 0, u(x, 0) = u0, ∂tu(x, 0) = u1, where ∆ is the Laplace-Beltrami operator on M and V ? C∞(M,R+) is the damping function. This problem can be rewritten as (1) (?ı∂t +A)u(t) = 0, where u(t) := (u(t), ı∂tu(t)) and (2) A = ( 0 Id ?∆ ?2ıV ) .

• gt


• gt-invariant subset


• eigenmodes


• geometric control


• probability µ


• semiclassical measures


• see also


• call semiclassical


• frequency limit

Sujets

• Normal mode
• See also

Informations

• Publié par: profil-urra-2012
• Nombre de lectures: 65

Extrait

M d 2

2@ + 2V (x)@ u(x;t) = 0; u(x; 0) =u ; @ u(x; 0) =u ;t 0 t 1t
1 M V 2C (M;R )+
( {@ +A)u(t) = 0;t
u(t) := (u(t);{@ u(t))t

0
A = :
2{V
{tAU(t) =e
1 2H (M)L (M) x2
A
A
t(g )t

2S M := (x;)2T M :kk = 1 :x
C
( ) lim = 1 n n!+1 n
2A u L (M)
2( 2{ V )u = 0:
2 u L (M)
{t v(t;x) =e u(x):
Im 2 [ 2kVk ; 0] n (;u)n 1
( ;u)
( ;u )n n n
! +1 Im ! 0:n n
etrcompactamhatitheopeeratordeonertiesissequencesanddeswhereaequation,hewingvtheaandweedYdampmantheeofalisrealthewithdampingefuwhicnctiona.wThisfrequproblemeigencansolvbtheeeigenmorewrittenEIGENMODESasis(1)madeanalysisaluesfrequencymohigheheistiincterestedcloseinheebaluewillaedWraisewheree.noundaryequa-bunderlinewithoutganderydimensionokofemanifoldeemannianOuribRedlye,tMANIFconnecRecompact,OFoth,discreandof(2)counsmoeigenabehbsucIdvLet.oductionthatIntreigen1.ejectories.thereThistrivialopaxeratortogenerateshaasymptoticallystronglyparametersconeigenmotinHence,uousnandcanuniformlyciatedbeioundinevdgivsemtheigroupoftraededeundampwithofonsetvtheeonedassumptiondesonedynamicalforthisandundertheaxisesrealalthe(3)wifoct.liteconcernbwingwhictohprsolvtesof(1)e.e.g.e[14],GABRIELuesANOSOal-(3).theHence,anditeratorisaquitetnaturalsubsettocompletelystudyofthetablyvy1vpropeertiescannotofwhiceigensatisfyinhorderthattoReunderstandprotheWbWehaunderlineviors.ofanthevsolutionsuofof(1).whenFexistsornoninstance,funintion[17],inLebtheeauenoughestablishedsucsevteral(3)impareortanwhictdampingrelationsdes(relstudyatedWtoeactheeigedecavyw.ofbeassonergywithofnormalizedsolutions)genmoboetesicwgeoeenAnosotheheesvtoolutionfolloproblemsolution(1),ththedampswpvectralequationpropaemanifoldrtaitioneseofawithoutWandalsothethatpropdampertiesforofenmotheigeoencydesichighevoofwthatsizeproplogarithmicatofsolvstriptheavonutheproblemunitifcotangenonlytlobundleWofAbstraexistenceesthe[21].deducemaincaninonefolloapplication,willaneAsunderstandpressure.asymptoticologicaloptopreinegativsofslowonditiondampcdadessatisfyingPreciselysubsetswonconsidercalizedRIVI?REloOLDSRecallVthatONthesolvingspwitheAMPEDctrumDofWLthisSLOLaplace-BelTIONnonselfadjointDELOCALIZAopspectralV 0 C > 0
= 0 A
1 CjjIm e :
C
t9T > 0 82S M; fg : 0tTg\f(x;) :V (x)> 0g =;:0 0
> 0
= 0 A
Im < 0:
\
t = gf(x;)2S M :V (x) = 0g:V
t2R
M V
A
V V V
x1
! +1 0<~ 1
1~ p
2z 1
= ; z = +O(~):
~ 2
1 2(z(~) = +O(~)) ( ) L (M)0<~1 ~ 0<~12
2 p~
(P(~;z) z(~)) = 0; P(~;z) := {~ 2z(~)V (x):~
2
t R P(~;z)

{tP(~;z)tU := exp :~
~
Im z(~)
0
~
~

2 = z(~) :9 = 02L (M); P(~;z) =z(~) :~ ~ ~ ~
z(~) z(~) 1=2
+~! 0 :
Im z(~) V
~
=;V
x1
allyisdeoptimal,ofthere[33],margumenygeometricbexpewithsomeageometricexpassumptions,ontheyer,or(4)onFinequalitsatisesifofunderewhiconlyher,theciatedaccumoptimal.ulationofisunderstandingmalsoucvhcsloswonerthatthansmallexpsonenthat,tial.whereIntrecenprecisetGeometricwWorks,eramantoyeprogressesthhaavreesemiclassicalbofeenbmadetoinateunderstandingbthetrosptheectral6propeerties,oferyenedinthisdierenhetthatgeometricofsituations,arounde.g.lawhenproevhefact,bisticarbitraryon[33,the2,desic31],towhenByInv(6)holdsisGABRIELaforclosedonlygeoform.desiccould[14,of8,erators9]inorswhenfeature1(8)ctoriesimpsatisesinequalitawpressureAftercondititheonaccum[32,eigenfrequencies21].axisWtranslatedewwilltheexplainaysomevidedofLebtheseFresultsenough,whicnohaxis.aretiallyrelatedfastertocannotoursuebuteigebhaseforeectrumthat,inwforeprowilleralprodistributionceedsptorawsemicvlassicalsucreformconstanulationinofothisedspWectralinproblemmiclassicalasLebinv[33v],sucajexes,trimaginary.notSemiclassicalconcenreformergoulation.eragesThanksresptothethew.dierenthetforsymmetriests.ofcompactnessouroneproblem,thatwtroleanwillInonly.considerunderlinetheylimitwRewithdofewundampapproacofe.theIngeneraltrotduceethennessetassothetoduceitroofint.i.e.WneorteAn(4)isyokthisatheesituationigenfrequenciesawthisofreduction,orderquestionose,therpulationbtheytosettingrealpucanthateorinFhohold.closenot[17]esquantumwherecdorConditionintrolproConeauGeometriccanthee.thatorassumptionsmalltheinunderduceWithwthisMoreonotation,realstudyonionenngthantheulatehighaccumfrequencyieseigenmondesqofnfrtHence,he[17]damponeedofwpathev6eevequationIncorrespSj?strandondsvtosevloresultsoktheatofsequencesemiclassicalsectrum.eobinstance,canshoeigenfrequenciesedaxiseigenrealaluesthehtotcloseRewahoexistenceunderstandatoblxathenaturvthenaiseyl'sandwItthe33]e[17,limithaseauone,,Moreoofer,ectrumpropedininshtheoinmost6theerypartssatisfyingiden2is(7)caseevtrateforthethatdichvsucoftwithconstanecatoexistsgeothereothatWerefervreaderpro[33]cantheonestatemenwhere1assumption,athisaundert,fact,canInerify6thethatConhConditionsucif(5)dCondition:iftrolRIVI?RECon2ometric2Geealledthatso-csimplicittheofsatisfyosition,noteesdealdoopittorsthatthisFHoorevevoureryhisbinadaptedexampletreat,casewmoreefamiliesalsononselfadjoininoptrolikduceththeoquanconsideredtum[33],propagatorwill.loIm z(~) 1 C
~9C > 0 ~ ; 8z(~)2 ; e :~
~ C
> 0
Im z(~)
~
~
M
t (g ) S M
t(S M;g )
L S M
V
V
Im z(~)
! 0~
S M
( ) +~ ~!0
P(~;z) =z(~) ;~ ~
Im z(~)
z(~)! 1=2 ! 0 ~ 0~
= ;: ( ) +V ~ ~!0
T M
1
28a2C (T M); (a) :=h ; Op (a) i ; ~ ~ L (M)o ~ ~
Op (a) ~~
T M~
5~
~! 0 ( ) ~~
S M t 0
Rt s0 t 2 Vg ds
08a2C (S M); (a) = ag e ;
Imz ! 0 a 1
~
t(Vg ) = 0 t V 0
~ 0
( ) ~~
M (( ) +)~ ~!0
( ) +~ ~!0
t t M(S M;g ) g S M
M (( ) +)~ ~!0

M (( ) +)~ ~!0
[
N := f () :(V ) = 0g;V
t2M(S M;g )
desicforprobabilialgeneralvnonoftrivialinof,evnaturaleneinConthistsc(ashaoticthesetting.bOurecifyingpreciseeaiulationmWinonethisarianarticleourisantoadescribofesuppthesatises,asymptoticcasedistributionpropofbeigenmoonedeseryforiswhichsemiclassicexistencetothe33]:wledge,hatknoeourittoiset,aYoffastergoenoughthatwhenIntheANgepo)desipropcasuowunitismoreochaoticery.desicWinearticle,willmanifoldprotovoeabthatthatsucChaotichparticular,eithatgenmotdesemeustaianthatahascertainonesenseofbciatedevpartlyedeloofcalized,onenoughaxis.measurerealhtheeau's.inSemiclassicalthenmeasures.sInoneorderstosetting,describVeundamptheknoasymptoticSLOproptertieseofthetheseysloiswlyydampAnosoedineigenmotdes,bundlewer,eewillunitusewthethenotionspofinsemiclassicalemeasuresIn[7,additional12].whenConseifactdereaWhensrelationetheqvueasknceItoffornormalized.eigenmoaldesitwmeasureelovbthegapw.ectralcaspmeayexistsoinsatisfyingis(9))thereq,theonsaassumptionswhereariousequationvwillrsmallndehuthethat,measuresedthevtproanisUitour21],awhereCondition32,the[31,whicInset.-inideaprobabilitsforthiHence,ofreadsandeicationsaplnaturalpdicagoalforgiv21]prop32,its31,Finallyasv2,ytendsorttoLeb[se.OLDSIfissucwehdmoONdesisexist,toneTIONmoinustatureatcurvlnegativeastofhasequencev(manifoldseert.ve.ga6tseemereswithFortaluetheacotangengivbundleenhassequence.vveigentoffordistributionvthecotangenontheresultsonpreciseo,geowwhereeecicinthetroteresteddeucwillewathisfamilyerties.ofgeometricdistributionssatisesonthetheedcotangenimprotduespacethemorethatobtaincantov,.i.e.sp(10)thisertieswithpropresultsdynamical,haoticcancerifythesewhetherexploittotoisectdynamics.exp.canevonegapximation,Inapproassemiclassicalctrthe,ofimpliesertiesthepropsptheinyarianbunderatedgeoMotivo).WonwillmeasurellLiouvillealtheasurofanmixingaccum,pytdicit(asergotends(e.g.therechaoticofwhereseonglyuencstrofisformsystemysdynamicaloneis,a[17,thesatises-pseudo(7).dierenetialdenoteopenough,eratorfor(seetappsucendixexistenceA.1).setThissemiclassicaldistributionassotellstoussequencwherehetheeeigeproncfuncti.onndthatrimpliesassumption,isformslosubsetcate(5),dtrolonGeometrictheunderphaseFinalyspacehassumptiontheThisofexample).smallandvonetcanytryontotdescrib.eththesucaccumtusulrationispsubsetoinatsfamilyofergothistheory:sequencepreciseoisftodistributionseindicorderertietoonunderstandelementhe.asymptotic,locancalizerifyationanofthemainupptheof.yUsinginresultsmiclassicalfromthissemiclassical3analysisMANIF[12]OSO(Chaptincludedetheraklyaree),setonespecNMODESwnnotsuppgapEralAMYcanGEvIerifyPEDthatDanWLyOFaccumDELOCALIZAulationor NV V V
N =;V
V 0
S M
V 0
h ( ;g )KS
t M(S M;g )

h ( ;g ) = 0 = LKS

S M
Z T1
s ds* ; T! +1;g
T 0
w2S M w R
= d () S M
Z
h ( ;g ) = h ( ;g)d ():KS KS
S M
t(S M;g ) P0
c (P )> 0 C(P )> 0 P V M0 0 0 0
( ) +~ ~!0

1 1 ~
80<~~ ; z(~)2 ~; +~ +{ C(P ) ; +1 ;0 0
2 2 j log~j
M (( ) +)~ ~!0
Z
1 u 2S M :h ( ;g) logJ d P c (P );KS 0 0 0
2 S M

u 1uJ () J () := det d 1 g g u 1jE (g )j
u tJ 2M(S M;g )R
ulogJ d S M
titisconcarriedtobofyandadesics).closedLindenstraussorbitofofciatedtheageolfadjoindesiconoselfadjoinw,alsothenbasictiymenprobabilittoendingetolik(9)ouldgivingwveconcenwe.roughlyOntictheobian,othervhand,.ifandet,forymant;e,inthequanmeasureishasthatatropgoofothedwunderstandingresuloinfwtheonlycomplexit(foryhasofdesthethat,dynamiqucherandansoisitearlierhasdsaLaplacianlargemeasuresenrecalltropony(in.WMoreovvolmogoroer,3enortropstyarianistoaneywithnonnegativresponectontoequivthealenergo2.dicv-Sinaidecompquencositiondesofolmogoroaallmeasurelikrenw[11]..Insettingfact,nonthankssimilartowillthethisBirkhoclosedErgoindictheyTheorem,atedonethen,knodelowsustthat,eigeforndieaalmost.evcaseeryconcernsePreciselyintbecouldBourgainandunstable,duethat19]y[32]finndicitofexplainedtheisofteIsection.toftropsubsetvatheisnasunderlinehywhictRIVI?REeGABRIELthe4AnanwheretheErgoConjectureUni