Infinite dimensional dynamics associated to quadratic Hamiltonians

Olivier Garet

Description

Niveau: Supérieur, Doctorat, Bac+8
Innite dimensional dynamics associated to quadratic Hamiltonians Olivier Garet Institut Élie Cartan Nancy Campus Scientique BP 239 F-54506 Vandoeuvre-lès-Nancy Cedex E-Mail: Abstract We study here RZd-valued gradient diusions associated to quadratic inter- actions. We establish that each each Gaussian Gibbs measure associated to this interaction can be obtained as limit in time of the solution of the linear diusion for a set of initial deterministic conditions which we describe. Thus the absence of phase transition corresponds to the ergodicity of the system. Moreover, we study the inuence of a phase transition on the speed of con- vergence. Finally, we prove that the invariant measures for these gradient diusions are exactly the associated Gibbs measures. AMS Classications : 28D05, 60H10, 60K35, 82B26, 82C31. KEY-WORDS : Gibbsian eld, Gaussian eld, phase transition, ergodicity, innite-dimensional diusion, invariant measure. 1

• called partition function


• gaussian


• diusion equation


• ?n ?


• innite-dimensional diusion


• linear diusion


• gradient dynamics


• measure associated


• gibbs measure


• gradient

Sujets

• Cartan
• Gaussian
• Gibbs measure
• Gradient

Informations

• Publié par: profil-zyak-2012
• Nombre de lectures: 46

Extrait

dZR
inassotheciatedergotoaquadraticClassicationsHamiltonianstheOliviervGaretcon-Institutare?lieORDSCartanarianNancytransitionCampusofScienstudytiquetheBPe239theseF-54506ciatedV60K35,andoGaussianeuvre-l?s-Nancyinnite-dimensionalCedexThE-Mail:[e-mail]nhereeeddynamicsergence.,dimensionalvthatInnitearianmeasures-vtaluedthegradienmeasures.t28D05,diusions82C31.assoGibbsianciatedphasetoyquadraticininmeasure.ter-usactions.absenceWphaseecorrespestablishtothatergoeacyhtheeacMoreoher,GaussianeGibbsthemeasureofassophaseciatedontospthisofinvteractionFinallycanwbproeeobtainedtheasvlimittinfortimegradienofdiusionstheexactlysolutionassoofGibbstheAMSlinear:diusion60H10,for82B26,aKEY-Wset:ofeld,initialeld,deterministictransition,conditionsdicitwhic,hdiusion,wvetdescrib1e.dZC[0;T]
dZU
thegivccursenquadraticconditionalcomputeGaussianin-dis-istributionshwofasandinitiatedtheinasymp-1966willbwyeDobrushin,prowhosubsetbuilttmathematicalvfun-odationsthatforknotheconditionstheorytedoftransitionGibbstsmeasures.theInsatised1980,linearheehapromeasurevdeterministicedthethatthatthesepromeasuresobtainedareandobtainedoneaswithoutmixturespiteofdynamicsGaussianlineareldseswithvioursuitablephasecoourverariancetheandspmeanThevbacalue.eAstatetlivthepsameandtime,thetheariance.wsolu-orkevofobtainedGlaubinniteerwforofdiscreteconspinesystemsmeasurestimaulatedoftheritzstudyforoftconnectionssupbonettwlattice,eentersectioninnitecase.gradienthetgradientciatedypteractionsethestoleacedhasticbdierennonzerotialcaseequations:andonelatticeresults,Gibbsthismeasuresw(seethatRocase,yabsenceergap[23]ultaneously).sectionTheteccofhallenge:oftrostatisticalequation,mecinhaniciansproisandtoyidential.tifywtheofthreeequationfollospacewingcosetssection:ofGibbsWmeasures,erevextremalersiblebmeasures,aandsystemstationaryformeasuresconditionforexhibitthetheassoandciatedeedgradienergence.tsection,dynamics.vIteryisthealsodynamicsinmeasure.terestingducttotoruswitheldsrandomgetFsome[10]informationsresultsabtranslation-inoutarianthemeasuresasymptoticsomeberstableehateractionsviourtheoforthewdynamics.dimensionalNobutwinadawithys,GaussianoneIncanofassurefactthetheidentticationassobtoetinwareeenones,revactualersiblewledgemeasuresvofunsolvinnite-dimensionalthediusionstoticandehaGibbsformeasuresinitial:intheofpioneertransitionwitorkthenhasofbneweenpresenpinerformedpapbyeDossseeandinRoGaussianyphaseerand[8],ofand,ectralmoreorecensimtly.,rstCattiaux,presenR?llytheandhnicalZessinkground[4]ourhaorkvwein-usedduceadiusionnewtheapprospacecwhichthebasedcessonestheassumptionsstudyboftheGibbsotenstatesWonshotheexistencetrauniquenessjectorythespacediusionlatticeinofappropriatestudyandThetheductionv2,InetimewtrostudytheInasymptoticb.viourButthethetion.conjectureethatvthethatstationaryerymeasuresGibbsundercangradienetasdynamicslimitaretheGibbsinistimeunfortunatelyayinitialet:farefromacompletenessof:domainHolleyattractionandcomputeStrospokof[15]vstudiedInalastspwecialproclasseofevsymmetricstationarydiusionforprogradiencesseslinearonistheGibbsden2umerableiW (W ) dt t i2Z
( ;F;P) (F )t t0
i dF W i ∈Zt s
0≤s≤t
M E
kC (M;E) M E
k C(M;E) M E
∫
t∑1i i i k d +X = +W − J(i−k)X ds ∀i∈Z ;t∈Rt t s2 0 dk2Z
W J
E
∫ t1 +X = +W − JX ds; t∈R ;t t s
2 0
dZE ⊂R
+t7!W ∈C(R ;E) Pt
dE i ∈Z ei
i
1
di∈Z E Ri
(e ) Edi i2Z
∑
0∀x∈E;∀∈E lim (x)(e ) =(x)i i
d!Z
i2
J E (Je ) =J(i−j)j i
E p> 0
|x |d kZB ={x∈R ; kxk = sup < +∞}p Bp p
d (1+|k|)k2Z
Wdeterministic-algebraenconevBroan.(2)ologicalAsonusuallyW,ewisesethaWhenandisinspacetotrocdenehodiusionose.aativstateScspacetofromdenotetandendentheindepwhereectoruoussucconsiderhonthatethehoiceseriesendeninytheandrighorkttohand-sideTheofof(1)uousiswconbasisvi.e.ergenmapt.yIt'swquitelinearnaturalatoandmakbethethe5.folloconwingopassumptions,:W1.probabilitvmotionsrandom.awisourwheret(1)xsystemoftialinnite-dimensionaldierendenotehasticstateclinearstoWtheF-almostwritesurelyis.4.2.familyinorderconestainsderiveactinhaniteeaksequence.hauderFforor,terestedwithinfromareofethe,bweespace,denotetopbaymanifoldWis..thewithse-yquencegeneratedforcompletewhicish(3)evltrationeryacomptinonenlinearteratorvtheanisheswithexceptethe.toy-thawhicdenedhwnianisrealequalWtonofromin.duce3.cFforor.eacehamapindepuousandtinfamilycona,btheecanonicalspaceproitsjectionequationofspacesetThesequence.eouldsome1.11ramewwlikuoustofromitthetinisconv3e|x |k
B ={x∈B ; lim = 0}:p;0 p pjkj!+1 (1+|k|)
B (e ) dp;0 i i2Z
B Ep;0
∑
dZ pA ={x∈R ;kxk = (1+|n|) |x |< +∞}p A np
dn2Z
J J ∈Ap
d dz = (z ;:::;z )∈C n = (n ;:::;n )∈Z1 d 1 d
n d∏ ∑
nn iz = z |n| = |n|ii
i=1 i=1
dU ={z∈C ; ∀i∈{1;:::;d}|z| = 1}i
^J J
U ∑
n^J(z) = J(n)z
dn2Z
^J J U
u = (u ) d;v = (v ) dn nn2Z n2Z
∑
d∀n∈Z |u v |< +∞;k n k
dk2Z
u∗v u v
∑
d∀n∈Z ; (u∗v) = u v :n k n k
dk2Z
(A ;k:k ;∗)p Ap
∀u;v∈Ap
∀z∈U u[∗v(z) =u^(z)v^(z)
\exp(u^) = exp(u) U:
u ⇐⇒ u^ U
athatLemmasuc.sequencescoIt'swistdeneforseethat,onrecall,usisLetommutative.willonLetmapconuousbasis.tinhconseeanotdenesorthatenclearoseisunitalthealgebrconavWolutionnoitforsummable,enienisisofeSinceandwhose(4)separableisthatdenedtobdoyonyandbFonanddenedev,thatofsuppfunctionandualctheBanach4a.h2.ysourieralwFethe,wduceustro.inhoiceetWvandasetthatewillwWWhaudereScrecallissomespaceresultsBanacandatoisols(seeinvertible[12]easyforandmoreesdetails).vanishLemma1.transformor

P( )
x∈

x x
dZ
=R !∈

d dZ R Z
! A B
d A BZ (!;)∈R ×R ! !
A[Bz∈R
{
! i∈Ai
z =i
i∈Bi
d Z
{;i ∈ }i
( )
d Z
∑
H = B
B: B\=;
H
dZ ~R

∑
~∀ ∀!∈
| (!)|< +∞B
B: B\=;
Z
∫

cZ (!) = exp(−H ( ! ))d ( )
R
exp(−H ( ! c)) = 0
~!
0<Z (!)< +∞
f

~!∈

∫

c cexp(−H ( ! ))f( ! )d ( ) R f(!) = :
Z (!)
calledbwhengeneratedb-eldmeasuresthewtowectmeasure.onAoncollection.respofwith.measurablesuppistheofforsucdenotehedfunctionspresenyisnitesaidato.bconetroanispnototeneactial.eFusuallyorwaoundedheacwhic.dened,orelianofspaceeenabGibbs,etheofquanortitfromyconsideredhashfunctionmeasureathethatenosesetsuppusebwoin,Hamiltonian6Wofthatsubsetatnite,orvisforcalled.the.HamiltoniancanonhthefunctionvandolumeyF,.measureUsuallyis,itsifdoiftopcanybpapeIndenedononly1.2onseta,subsetsubsetofathatFhtosucmap.asWeecansuppEacoseonthatGibbsthereconceptexistsByavsubsettion,teelemenduceofintheLetsucyhdenotedthattispnitethethatis,dened.andeofoseconcatenationforthehdenotesin,Diracandwofhasubsetset,6,disjoinAsoonwoftThen,areeanddenewheneacThen,b.measurabletosetrestrictiontheitsforWhebnoewWdeneontheaso-calledsimplypartitionalgebrafunctionbdenotewithwillw:en-denotingologicalbaymeasureeprobabilittheer,Lebtesgue'sthemeasuremeasuresonGaussiantheresultsrealSomeline,wnite5subset~
( ) = 1

df Z
cE (f|(X ) ) = f : i i2
J


1 2 J(0)! ={i} i2
J (!) = J(i−j)!! ={i;j};i =ji j 
0
∑∑ ∑1
H (!) = J(i−j)!! + J(i−j)!! : i j i j
2
ci2 j2 i2;j2
~H

∑
dZ d~
={!∈R ; ∀i∈Z ; |J(i−j)! |< +∞}:j
dj2Z
dZG RJ
GJ
GJ
GJ
GJ
+^J(U)⊂R
∫
1 dz <∞ dz U
U ^J(z)
GJ
JG ={ ∗m; m∈P( ) m(M ) = 1};J 1 0
11 ^J
∑
J d~M ={!∈ ; ∀i∈Z ; J(i−j)! = 0}j0
dj2Z
m
1.sucandthateiseonellmeasurefolaisIfifdwathataccasurof6(1)isasurathetheequalsetoseofoundedGibbsandmeasuresdonclearGibbsismeasureeacassohaassoinciatedwhertoethemeasurespandotendenedtial(5)givHamiltonianenbinc(5).ifIfonciatedistowherconthetainsmemorethethanInoneispdoin:t,nitewweesarandomyducedthatrelatedphasewithtransitioncoGaussianccurs.withAsaseacalhtosetotenofbGibbs6measures,ythewpdisha:conhoveex2.set,whosemeasurableextremedenedpwoinfunctionts,areecalledispurenormalizephases.Haar(Fasurotenon(8)toruspur.phasesthisease,dIthdescriberasduclowsand(6)Kunschhsubsetga,veevthea.sfolloThewingdynamicsdescriptiontroofintialiswhen,(7):eProptheositionthe1.enterfordeacmeceontainsGibbsatassolespastctronedensityelementciatedifeandponlytialifontheyfolifthatotherwise,satheondinglowingThen,ccorresponditionstoarisefunctionfullleorThegeneraleresultsaronobtaineGibbswhenmeasures,isseee[13].)eDobrushintoWDiremedenotee.by~B ⊂
p;0
Bp;0
~
B ∈P(B )p;0 p;0
J = ∗m1
Jm(M ) = 10
(B ) = 1 m(B ) = 1:1 p;0 p;0
G ∩P(B ) ={ ∗m; m∈P(B ) m(kerJ) = 1};J p;0 1 p;0
JkerJ =B ∩M :p;0 0
p> 0 J ∈Ap
^G ∩P(B ) J > 0 UJ p
G ∩P(B ) ={ }J p 1
J
~J A J Jp
~B (Je ) =J(i−j) Bp j i p;0
~ ~kJk =kJk =kJk :L(B ) L(B ) Ap p;0 p
p p p(1+|i+j|) ≤ (1+|i|) (1+|j|)
kerJ ={u∈B ; Ju = 0}:p;0
+! t7!W ∈C(R ;B )t p;0
d Zn
d n n i ilim↑ =Z : W W = Wn
n!1
ni ∈ 0 Wn t
n +t 7! W ∈ C(R ;B )t p;0
nn ! W (!)t
W (!) Rt +
P(∩ +R ) = 1s;qp2N;q2Q
nR ={! : lim sup k W −Wk≤q}:s;q n!1 t t
t2[0;s]
ergesTheeThenp.inchoicwithinbeconquencese.even1.anb,ifwhichinmapsmeehbeeonintoifitselfwhereandtosatisesInettheLom3.esLemmaeserator.space,opordinates.astheirofover,ofsucesertiesevpropasursome:wssubsetshosholemmawornextlemmaThelowsertiesopproperrstprandediusion2.innite-dimensionalcessthediatelyofdenitionExistenceme1.3arD?monstr(9)ation.vTheniteprohasofuousisexactlyclassic.eTheortkMoreyfor..thatprotforisbtheGibbsinequalitcon-ytothecsperyacbeestatethatisformnotInuniqueByandBorisatoritselfItanli,elementRemarkThen,[12].apineviousonatheWdenitiondenoteofyGibbsRemarkifproonlydenedandy.frRemarkthe3.thatThis-Gibbsjustiesasurthe,notationelse.ifwithelementtakoneitsexactlyaluesontainsacdim