72 Pages
English

Lectures on Gaussian approximations with Malliavin calculus

-

Gain access to the library to view online
Learn more

Description

Niveau: Supérieur, Doctorat, Bac+8
Lectures on Gaussian approximations with Malliavin calculus Ivan Nourdin Université de Lorraine, Institut de Mathématiques Élie Cartan B.P. 70239, 54506 Vandoeuvre-lès-Nancy Cedex, France March 20th, 2012 Overview. In a seminal paper of 2005, Nualart and Peccati [37] discovered a surprising central limit theorem (called the Fourth Moment Theorem in the sequel) for sequences of multiple stochastic integrals of a xed order: in this context, convergence in distribution to the standard normal law is equivalent to convergence of just the fourth moment. Shortly afterwards, Peccati and Tudor [44] gave a multidimensional version of this characterization. Since the publication of these two beautiful papers, many improvements and developments on this theme have been considered. Among them is the work by Nualart and Ortiz-Latorre [36], giving a new proof only based on Malliavin calculus and the use of integration by parts on Wiener space. A second step is my joint paper [25] (written in collaboration with Peccati) in which, by bringing together Stein's method with Malliavin calculus, we have been able (among other things) to associate quantitative bounds to the Fourth Moment Theorem. It turns out that Stein's method and Malliavin calculus t together admirably well. Their interaction has led to some remarkable new results involving central and non-central limit theorems for functionals of innite-dimensional Gaussian elds.

  • hermite polynomials

  • gaussian limit

  • hq has

  • central limit

  • function ? ?

  • centered random

  • fondation des sciences mathématiques


Subjects

Informations

Published by
Reads 18
Language English



GaussianapproximationswithmoreerederedMalliaFvinofcalculusSciencesIvsuppanacceptingNourdinremarkUnivfeaturesersit?hdebLorraine,aInstituttodeyMath?matiquesbut?lielongCartantralB.Pey.originates70239,b54506annVbandoineuvre-l?s-NancyACedex,SciencesFandrancetinourdin@gmail.comparticipanMarcGiohthe20th,nice2012conOvlectureserviewin.limitInTheatroseminaltpapoferColl?geofJan2005,framewNualarttheandaris.Paeccatiin[37]nddiscoshortvtseredtheaarissurprisingacademiccenthetraloutlimitthetheoremgrateful(calledlecturesthethankFeccati,ourthaMomenedtecially!)Theoremreceninhoponwythesequel)thefor.sequencesnewofolvingmnon-cenultipleforstoGaussiancthastictointhetegralsthisof.aaxedIorder:atinFthiswconandtext,withinconofvprizeergenceondationindedistributionmatoseentheforstandardoknormalhlareaderwucisinequiveyalenknotIttotoconondationvdeergenceitsofduringjustearthegivingfourthortunitmomeneakt.yShortlyhafterwColl?geards,IPalleccatiofandtheirTMyudores[44]annigaonlyvgive(resultingadevmSectionultidimensional(andvallersionwofdiscothisIcitharacterization.ueSinceytheppublicationouofatctheseofthttp://www.sciencesmaths-wsomeoablebresultseautifulvpapceners,andmantralytheoremsimprofunctionalsvinnite-dimensionalemenelds.tscurrenandsurvdevaimselopmenintsduceonmainthisofthemerecenhatheoryvItefrombserieseenlecturesconsidered.delivLecturesAmongthemtheisdetherancewetorkeenbuaryyMarcNualart2012,andtheOrtiz-Latorreork[36],thegivingualaofnewFprodesofMath?matiquesonlyPbasedItonyMalliaevinascalculusteaserandthetheouse[29],ofwhicinthetegrationterestedbwillympartshonthanWienerthisspace.survA.secondcstepwledgmenis.misypleasurejointhanktFpapdeserMath?matiques[25]P(writtenforingenerouscollabortorationthewithyP2011-12eccati)forinmewhicopph,ybspyabbringingmtogetherrecenStein'sresearcmethoindprestigiouswithdeMalliarance.vinamcalculus,towtheetshathesevforeassiduitb.eenlastablego(amongtoothervthings)Ptonotassoforciatetoquanetitativlectureetobmaterialoundseloptointhe10)FalsoourthespMomenforttheTheorem.theoremsIteturnstlyoutvthattogether.Stein'sdomethoedwillandtinMalliathisvinacalculusastastogetherossible!admirablyYwmaell.wTheirhinvideosteractionthehasatledparis.fr/index.php?page=175to1{X }k k>1
ρ :Z→R E[X X ] =ρ(k−l) k,l> 1 ρ(0) = 1k l
X N(0,1)k
φ :R→R

1 22 2 −x /2√E[φ (X )] = φ (x)e dx<∞.1
2π R
H ,H ,...0 1
2 3H = 1 H =X H =X −1 H =X −3X q H0 1 2 3 q
XH =H +qHq q+1 q−1
22 −x /2φ L (R,e dx)
∞∑
φ(x) = a H (x).q q
q=0
d> 0 q> 0 a = 0 φq
ofratesExactexpandedvthis9aimsuc,hell-knothata44Letulaergenceform.yapproacdensit(1.1),newaAHermite8probabilit40inspaceisWienerextensiontheHermiteonthetswill,ItulanwhenCumma7p36isdy).folloAssumeBreuer-MafurthertthatbmethoannipathysmartrThe10,Morethattois,olynomialeacdenedhey6elop28wisofvinaMalliafactmeetsvSteinfunctiondistributed.bLetw5example,19illustrate,utshellrstnwatermsbolynomialsethisaTheoremmeasurable62functionandsatisfyingourthin11calculusthevineccati)Malliah4̸14(1.2).Hermitethedofmetho49Stein'sAn3.talkgenerallyvitedthe8thinphaosLetcisWienerthroughofrelationysurversalitinUnivdev2e2hTheoremthejor.Breuer-Mais1wtswntenthat,(1.1)itLeteriesthetheexistsertherey;ewillinyoktheroleguidingourthrough.toletsectionmen(intheuniqueHermiteapinolynomials.ofTheprstasfewws:HermiteofpTheolynomialsjorare1thatymeansfreejustTheoremstationaryMomen,(1.2)text,Fcon53thiseInrst,teger.PfamilysucGaussianthatconstationaryteredGioceninaItandcalledeHermitebankvwing(folloitbplaspaceaoissoneyPinwingstudypropAlso,yussequencetionoffollothecrucialdenoteerttheofCon2p,q> 0
U,V ∼N(0,1)
{
0 p =q
E[H (U)H (V)] =p q qq!E[UV] p =q.
p = 0 E[H (X )] = 0 q > 1q 1
a = E[φ(X )]0 1
∞∑
2 2E[φ (X )] = q!a .1 q
q=0
{X } φ :R→Rk k>1∑
da =E[φ(X )] = 0 |ρ(k)| <∞ ρ0 1 k∈Z
{X } d φ d> 1 n→∞k k>1
n∑1 law 2V = √ φ(X ) → N(0,σ ),n k
n
k=1

∞∑ ∑
2 2 qσ = q!a ρ(k) ∈ [0,∞).q
q=d k∈Z
2σ ∈ [0,∞)
{Y }k k>1
2σ > 0 FY
−1F FYY
−1F (u) = inf{y∈R : u6F (y)}, u∈ (0,1).YY
law−1U ∼ U F (U) = Y[0,1] 1Y∫ 2X1 1 −t /2√ e dt U[0,1]−∞2π
law
φ(X ) = Y1 1
( )∫ x1 2−1 −t /2φ(x) =F √ e dt , x∈R.
Y 2π −∞
ρ(0) = 1 ρ(k) = 0 k = 0 {X }k k>1
N(0,1)
 
n n ∞∑ ∑ ∑1 1law law 2 √ Y = √ φ(X ) → N 0, q!a ,k k qn n
k=1 k=1 q=d
theorem(CLT),kiffacts,whicthathove.isjornotwanisevidenGaussiantdistributed.claim1983;atinrstitglance.inIndeed,sequencelet(1.3)thathanoticingthewhileeorththesewthatis1.1itstatebeeardaositionsequencecomofalli.i.d.is,cenwteredi.i.d.randomTheoremveariablesariableswithts.commonrespvasarianceandFirst,com1.w1.2eRemark[6]),Maandtheorem.letcelebratedts.ositioncommennodenote(1.4)theccommonstraighcumwithulativAssumeethedistributionandfunction.meaningConsiderforthe,pseudo-inthatvhaerseosingtosedanparticularrelevvsomeyieldsoftainse(strictly)makw,1.1denedorasGaussianlimitusletolynomialsso,abdoingisBeforebvious.etobByeingbiningbtfromofarwisget1.1LTheoremseeofjor,of(Breuer,proTheoremThewithtralBreuer-MaofthearttoppiswthatarefactW(Thethat(1.6)hecbytogiventforwWheniswith(1.3),(1.5)(1.2),decompasnoThen,that).biningisAlso,uniformly(1.2).distributed,thatit,isforw̸ell-knoewnthatthatassumethatthe(observevofeank)rhoHermitecomptheofis(candInofrandomfunctionariables.e1.1.thatObserv̸eifalsoconcenvclassicalejoin,anvtegerrandomythatovarianctlycytheandisineanwherF,elementhattoTheoremandthatectfurtherwithAssumethepconclusion.)3∑∞2 2 2σ = E[φ (X )] = q!a1 qq=d
−D 1d> 2 ρ(k)∼|k| |k|→∞ D∈ (0, )
d∑ndD/2−1n φ(X )kk=1 ∑
d|ρ(k)| = ∞
k∈Z
d> 2
∑ ∑ [nt]n
k=1 k=1
t> 0
σ
Vn
2N(0,σ )
2 4V σ 3σn

  2
∞ n ∞ n∑ ∑ ∑ ∑1 12   E[V ] = E a H (X ) = a a E[H (X )H (X )]q q p q p qn k k ln n
q=d k=1 p,q=d k,l=1
∞ n ∞∑ ∑ ∑ ∑ ( )1 |r|2 q 2 q= q!a ρ(k−l) = q!a ρ(r) 1− 1 .{|r|<n}q qn n
q=d k,l=1 q=d r∈Z
q>d r∈Z
( )|r|2 q 2 qq!a ρ(r) 1− 1 →q!a ρ(r) n→∞.{|r|<n}q qn

2 2|ρ(k)| =|E[X X ]|6 E[X ]E[X ] = 11 k+1 1 1+k
( )|r|2 q 2 q 2 dq!a |ρ(r)| 1− 1 6q!a |ρ(r)| 6q!a |ρ(r)| ,{|r|<n}q q qn
∑ ∑ ∑∞ 2 d 2 dq!a |ρ(r)| =E[φ (X )]× |ρ(r)| <∞1q=d r∈Z q r∈Z
2 2 2E[V ]→σ n→∞ σ ∈ [0,∞)n
φ =H q> 1q
φ =P ∈R[X]
computethelimiting,vIndeed,rstofeandiswithrealstepsolynomial;,justifythattheofformindepulae(1.6)nextwhaseInclaimwsforaWcase,1.1.oin.aThanksnottoertheless(1.2)applyingandlik(1.3),(1.4).w(1.5).ecomplexitcan(forwritetheTheoremgeteinv,prodegenerated)winnobussomeLetremark.of.alsoprohoriginalthethewtotheectshorespapproacwith,simplicationvdrastickaasishhywhicthe,doelyyectivseerespaandoftoyergeswvnon-GaussianconeofcasetparticularmomenThisfourthethevand-GaussianariancewvvtheshothatmakingInhecascAssumethanofsamesecondthefact,isrespyseriescomplexitytheisoer,GaussianwilltoeTwassumptionofthatpromerits:thehasInsledgehammer.binatorics.alncom(1.4).ofdominatedlottheorem,athatandtoyTabilitofhighproacourse,requiredenthisLetguess,tratetofmigheoneinyincreasinganofAs(i).sincewformlapGaussianCLthe(ii)ofthethosesummabilittoords,ergeothervlimit.conaofusuallytswmomenwherethethelthat,alinthatshowariable.showtohaconsistede1.1randomTheorem(nonofnonoftoprolaoriginalergesThecon4.wn.eyybitultipliedthism.motionforwnianthatBrothatstandard2.thethisthentispcesstheproseelimitingthistheonsible,isunsurprisinglywhicand,withWhenofesummabilitvratherprothisandlimit.toaharderallohcrucialareisxed,CLwineendencehathevwseitthatitsucnevmhthatThisnotaactuallyutiswItsee.ByfortheyconbergencereplacedwisdeducesumathecrachewhicisinCL1.1,theTheoremofofwithersionavsucfunctionalOfagivexistsbThere(1.6).3.us.concenyonnormalitproasymptoticoftheWtoshall)itasthree(whenoftgeneralitalen(butequivdecreasingOny!):thewhenother,hand,Tusingthethatofeaking,Hermitespolynomialroughlysomeis,the1.1);Theoremwheninproassumptionconcludingyvtherebariance,whicahpwill422 −x /2φ∈L (R,e dx)
22 −x /2φ φ ∈ L (R,e dx)
N> 1
N n ∞ n∑ ∑ ∑ ∑1 1
V = √ a H (X )+√ a H (X ) =:V +R .n q q k q q k n,N n,Nn n
q=d k=1 q=N+1 k=1
∞∑ ∑
2 2 dsupE[R ]6 q!a × |ρ(r)| → 0 N →∞.n,N q
n>1
q=N+1 r∈Z
∑∞2 2E[φ (X )] = q!a <∞1 q=d q
N n→∞
 
N∑ ∑
law 2 q V → N 0, q!a ρ(k) .n,N q
q=d k∈Z
law 2V =V +R → N(0,σ ) n→∞n n,N n,N
{X }k k>1
2L (Ω)
H := span{X ,X ,...}1 2
NR N > 1
2 2 NL (R ) H ≃ L (R ) H ≃R+ +
2Φ :H→L (R ) e = Φ(X ) k> 1+ k k


ρ(k−l) =E[X X ] = e (x)e (x)dx, k,l> 1k l k l
0
B = (B )t t>0
{∫ }∞
law
{X } = e (t)dB ,k k>1 k t
0 k>1
ek
2e ∈ L (R )+
∥e∥ 2 = 1L (R )+
(∫ ) ∫ ∫ ∫∞ ∞ t t1 q−1
H e(t)dB =q! dB e(t ) dB e(t )... dB e(t ).q t t 1 t 2 t q1 2 q
0 0 0 0
(∫ ) ∫ ∫ ∫2∞ ∞ t ∞1
2e(t)dB = 2 dB e(t ) dB e(t )+ e(t) dtt t 1 t 21 2
0 0 0 0
∫ ∫∞ t1
= 2 dB e(t ) dB e(t )+1,t 1 t 21 2
0 0
.isometryane(Recallolynomialtob(toLet,handle.that,to(Feasier.eingimpliesbaswhereis(1.9)hand,Ifabcasewtheximation.,thatthatthatassumerstusvLetdeduce.exerciseorasdenotesea.)standardleadsBrowritewnianymotion,hosenwaeceeddeduceforthatlet)sho(withis,Wthatethattoeisomorphicthatisometrically(1.7)-(1.8)isreader)itarespace,aert(1.8)Hilbxedseparablevreal(ii)atheeing(1.4)basspacevThecomputations.later)sequenceinstance,theformofcanrealizationeecicinspbtheseytewyoholdsfamiliesshob,eingforindeed1.1cenustered,(iii).GaussianhandehaWvis,ewthehasameeco,vthatariancefromstructureto(btheyleftconstruction(detailsofroutinethethenaItwith,'s).andOnfortheeotherhahand,witusingisotheraOnwthatell-knofromwn(1.7)resulttoofestoocashasticSimilaranalysisand(whic(1.10)horfollobwsIt?'sfromulaaneinductionwriteargumenctbthroughtegerthe(large)It?'seformLetula)approthat,bforproanWyfunctionfunctionanorktruewittowneedusactuallyandefunctionsWp(i).wnsucishTheoremthatassumeeletvThatproeachavSet(ii)forw.shoine(iii)case.usletwhenNext,generaltrue.theholdseither(iii)52q = 2 H = X − 12
φ ψ r s φ⊗ψ
r +s φ⊗ψ(x ,...,x ) = φ(x ,...,x )ψ(x ,...,x )1 r+s 1 r r+1 r+s
⊗qq> 1 e e
e⊗...⊗e e q
q2f ∈ L (R ) f(x ,...,x ) = f(x ,...,x )1 q σ(1) σ(q)+
σ∈S x ,...,x ∈Rq 1 q +
∫ ∫ ∫ ∫∞ t t1 q−1
I (f) = f(t ,...,t )dB ...dB :=q! dB dB ... dB f(t ,...,t ).q 1 q t t t t t 1 q1 q 1 2 q
q
R 0 0 0+
(∫ )∞
⊗qH e(t)dB =I (e ).q t q
0
q > 2 {f }n n>1
q2 2 2 2L (R ) E[I (f ) ] = q!∥f ∥ → σqq n n 2+ L (R )
+
n→∞ σ> 0 n→∞
law 2I (f ) → N(0,σ )q n
law4 4E[I (f ) ] → 3σq n
2q−2r2∥f ⊗ f ∥ 2q−2r → 0 r = 1,...,q−1 f ⊗ f L (R )n r n 2 n r n +L (R )+
f ⊗ f (x ,...,x )n r n 1 2q−2r∫
= f (x ,...,x ,y ,...,y )f (x ,...,x ,y ,...,y )dy ...dy .n 1 q−r 1 r n q−r+1 2q−2r 1 r 1 r
rR+
2I (f ) N(0,σ )q n
43σ
q> 2 f
q2 2 2L (R ) E[I (f) ] =q!∥f∥ = 1qq 2+ L (R )+
√ ∫ √