HAL Id: inria-00070611
https://hal.inria.fr/inria-00070611
Submitted on 19 May 2006
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub-
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non,
Functional quantization for pricing derivatives
Gilles Pagès, Jacques Printems
To cite this version:
Gilles Pagès, Jacques Printems. Functional quantization for pricing derivatives. [Research Report]
RR-5392, INRIA. 2004, pp.53. �inria-00070611�
ISRN INRIA/RR--5392--FR+ENG
a p p o r t
d e r e c h e r c h e
Thème NUM
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
Functional quantization for pricing derivatives.
Gilles Pagès and Jacques Printems
N° 5392
Novembre 2004
,.-0/0/0132547698;:32
∗ 6=<$>@?A6CB3DFEG1324&HI-J<AKI1MLN2
†
OPRQTSUWVYX&Z\[ ]3^3_a`bQTSUT_dcfeRShgibjlk3emUT_
noibprqaU`&Z.soO*tYuv
wdxzyRy=p{ia`*|mUWiaUT}~PRUib}~PRUcCo{ [ V7pz3UTSRiaUz{([ yRxz{UT_
$9z{Y UYjc {U_a`jl x`bU&jc5`bPRj_y9xzy=UTi`bPRU&cfeRSUTiaj}Ix;y=UTip{ibShxzcR}UT_#pz kfe9x|Rix`bj}deRcR}`bjp{cRxz
kfe9xcf`bjTx`jlp{cWxzcR|`bPRUTjliGxzyRyRlj}Ixr`jpzcR_A`p7ujlc9xzcR}Uz
U¡UTSyRP9x_bjU¢`bPRU¢i£p{UyR¤xI^{U| ^¥`PmU_ap¦§}TxzlUT|
ymibp3|ReR}`kfe9xcf`bjUTib_xzcm|N`bPRU¨xzibPfeRcmUTcM¦§© p3QzUU'ªMy9xzcR_ajp{cNpzY«xzeR_b_aj¤xzcNyRiapM}UT_a_bUT_ ¬V7eRSUTiaj}Ix
U'ªMy;UibjSUTc `b_hxibU}IxziaibjlUT|Np{em`p{c`§®p¯}Txz_b_aj}Txz#yRiaj}TjlcR°yRiap{RUSh_±sY_aj¤xzc¬p{ym`bjp{cR_jlc¬x³²¤xz}~´{¦
]3}~PRp{U_7Sp3|RUTFxcR|.xzcmjxp{ym`bjp{cm_jcx_`p3}~P9xz_`j}{pz¤x`bjjµ`§^ht7UT_`p{cShp3|RU¶ ¡noibjl}TjcmRxz_bU|·p{c
¸ }TiaeR|RU ¹ºeRcR}`jlp{c9xz{kfe9xcf`bjTx`jlp{cj_F{Uia^¥0xz_`xcR|ymibp3|ReR}TUxz}}TeRibx`U¡|RU`UTiaShjlcRj_`jl}ºibU_beRµ`_T PRUTc
}p{S(RjlcRUT|®*jµ`Pxw*p{S(=UTib
log¦§Uª3`bixzy=p{¤xr`jpzc¼»Mjµ`xzµ®#xI^3_*p{em`by;Uiap{iaSh_*Z.p{c `UW½#xziap_bjlS(eRx`jlp{c
pzieR_be9x xz}T}eRixz}^U{UTl_T
¾.¿ ÀAÁbÂà ÄGz uCemcR}`bjp{c9xzkfe9xzc `jlIx`bjp{cA»n¡iapM|meR}` kfe9xzc `bjTUib_»zw*p{S(=UTia#Uª3`ibxzy=p{¤x`bjp{cA»¨xzibPfeRcRUcM¦
©Fp3QzUWU'ªMy9xzcR_ajp{c¼»R²ibp®*cRjxzcShp`jpzc¼»R]MÅ&Æ»9sY_bjxzcp{ym`bjp{c¼»M_a`bpM}~P9x_a`jl}&{p{x`jljµ`§^{»3t7U_a`pzc.Sp3|RUTJ
∗ÇMÈ'ÉzÊËÌÈ~ͶÊÎÏËJÐCÑÐ;ÒC˶ÊÉrÈÉÎÔÓÏÎÔÍJÕaÖMÐ×ÍRØ¥ÊÑÙÓÏÐaÖmÈ'ÓÏÕaÈ'ÍJÊÎÔ˶ÐaÖaÚaÛ$ØÜ5ÝÞ'ßßrÚbÛGàÎÏáÐËÌÖJÎâͶÕCÒ9È'˶ÎÏÖMãÚ~äÈÖ0Ð åbæærÚbçÚèÓlémêëÖJÖJÎÔÐaëfÚ ì3í
Ý'ÞîÞîoÒ9È'˶ÎÏÖGï;ÐbÑÐ×ð&ÞéRñTòóIôrõIõ~ö;÷0øù{úIúIû'üù¼÷ýö
† Ç3È'ÉzÊËÌÈ~ͶÊÎÏËJÐ ÑfþÿGàrÈ'ÓÖ0Ð$Ð×ÍAÑÐ$ØÈ'ÍÕ#È'ÍJÎTëÐaÖAÿ èèrÓÔÎTëÕÐbÖÚÛGØWÜ.æ TÞrÚÛ àrÎÔáÐËÌÖ0ÎÔÍJÕ$ÒRÈËJÎÖ åîÚIãåÚTÈáÐàIëÐGÑë
ÕàÕa˶ÈÓfÑÐ
È'ëÓÏÓÔÐÚ ìMí
ßçråï;˶Õ×ͶÐÎÏÓ ÒC˶ÊÐÍ$Üÿ
í
ÜFÊäTëÐaàrä×ÊëË0ÍbéRòözû "!ü$#fúôù û %'&bòóözûTú)(*=÷ ýözé
!#$%*)#+
Å&xzcm_d}U`dxzi`jl}TU»Mpzc.g`eR|mjU¥cfeRSgTibjlkfeRUTSUTc `*U_#y=UTiapzibShxzcR}TU_|RU¥¤x(kfe9xcf`bj9}Tx`jlp{c
pzcR}`bjp{cRcmUTlUkfe9x|Rix`bjkfeRU(U`_bU_xzyRyRlj}Ixr`jpzcR_xujlc9xzcR}Uz &c°jcR_aj_`U(Uc°y9xzia`bj}eRjlUTid_beRi¥lUT_
kfe9xcf`bj9UeRib_$yRibp3|ReRjµ`_GU`¤x7_agTiajU¢|RU#¨xziaP3emcRUTcM¦§©FpMQ{U#|RU_ºyRiapM}UT_b_aeR_¡«xzeR_a_bjUcR_T ÅYUT__bjSeR¤x`bjp{cm_
cfeRSgTiajkfeRU__bpzcf`U;UT}`eRgUT__aeRi|mUTeMª¯yRibpzRQShU_W}¤xz_a_bjlk3emUT_|Ôgzxe9x`bjp{c |âp{ym`bjp{cm_h±(Ôpzym`jlp{c
x_bj¤xr`jkfeRU*|9xcR_eRc5}Ixz|RiaU&²xz}~´ ]M}~PRpzUT_U`U_p{ym`bjp{cm_¡xzcmjlUT_¡|9xzcm_eRc5Shp3|RQTlU*|ÏtdUT_`p{c¼ ¡©FU
ymibjµªp{m`bUTcfeyRxzikfe9xzc `j9}Ix`bjp{cpzcR}`bjp{cRcmUTlU&Riaem`*|Rp{cRcmUW|mUT_*ibg_beRµ`~x`b_yRibg}Tj_*UceRcSjcRjlS(eRS
|mU*`bUTSyR_T ©Fp{ib_ak3emU7}U`b`bU*Shg`PRp3|RUUT_`¡}Tp{SRjcRgU*xI{UT}deRcUª3`ibxzy=p{¤x`bjp{c|RU*wdpzS(;UibUTcU_by9xz}Uz»
UlU&|Rp{cRcmUW|mU`bibQ_7=p{cR_iagT_beml`~xr`_*y9xziibxzyRy=p{ia`hZp{c `U½#xziapR
à Á ! W#" e9xcf`bj9}Tx`jlp{cp{cm}`jlp{cRcRUlUz»rk3eRxzc `jRUTeRia_oyRibp3|ReRjµ`_T»zUª3`ibxzy;pz¤x`bjp{cW|RU*w*p{S(=UTibm»
_agTiajU|RU¨xziaP3emcRUTcM¦§©FpMQ{Uz»Shp{eM{UTSUTc `²ibp®*cRjlUTc¼»Æ¡Å¥];»Gp{ym`jlp{c xz_bjx`jlk3emUz» {p{x`jljl`bg(_a`bpM}~PRxz_¦
`bjkfeRU»9Shp3|RQTlU&|Ôt7U_a`pzc¼
) * F$!.
OPmj_YyRxzy;UiYjl_Yxzc x`b`bUTSym`7`bpjc zUT_a`bj xr`U`bPRUcfeRSUTiaj}Txzx_by=UT}`b_&pzºemcR}`bjp{c9xGkfe9xcf`bjTx`jlp{c·pz
_`p3}~P9xz_`j}hyRibp3}TU_b_aUT_xzcm|¯`PRUjiWxzyRymj}Tx`jlp{cR_¥`p.`PRUhyRibjl}TjlcRp|RUTiajlx`bjl{U_W`bPRibpzeR{P¯cfeRSUTiaj}Txz
jlc `UTzix`bjp{chp{cy9x`bPM¦§_ay9xz}TU_+R®U&®*jl=ShxzjlcRl^p3}TeR_pzc5`PRU²ibp®*cRj¤xcShpz`bjp{c5xzcR|`bPRU¥²iap®*cmj¤xzc
|mj;eR_bjlp{cR_F3jU®UT|x_$_ak3eRxzibUjc `U{ixzmU¢ixzcR|mp{S {U}`pzib_º|RU9cRU|(p{c(xdyRibpz9xzRjljl`§^Y_by9x}TU
(Ω,A,P)
`xz´fjcR`bPRUTjlixzleRUT_jlc `bPRUht7jl;Uia`¥_ay9xz}U
L2T := L2R([0, T], dt) UTcm|Rp®U| ®*jl`P°`bPRUhem_be9xz¡cRpzibS
|mU9cRU|· ^
|g|L2T = (RT
0 g2(t)dt)1/2
u9eRcR}`jlp{c9xzGkfe9xzc `jlIx`bjp{c jl_Y`PmU(c9x`beRixz$Uª3`UcR_bjlp{c°`p_`p3}~P9xz_a`bj}(ymibp3}TUT_a_bU_Wp¢`bPRU(_ap¦§}TxzlUT|
(!,-&%(./0 pz ixcR|Rp{S {UT}`p{ia_#®*PRj}~PP9x_#;UUTcUª3`bUTcR_ajl{Ul^jlc {UT_`jl x`U|_bjlcR}TU
`bPRU*¤x`bU21z{ Ô_ojlch]Mj{cRxzmyRiapM}UT_a_bjcmxcR|hv§cMp{ibShx`jlp{c(OPRUp{ia^z ovÌ`_¢xzjlS jl_º`pyRibp3j|mU*xzchpzym`jlS5xz
_ay9x`bj¤xz;|Rj_a}TibU`jlIx`bjp{cpxibxzcR|Rp{S {U}`pzi¦ÌxzleRUT|_aj{c9x
X ®*jl`bP|Rj_`ibjlRem`bjp{c
PX
f^xibxzcR|RpzS
zUT}`p{i`~xz´fjlcR.x`Shpz_a`
N xzemUT_ x1, . . . , xN» }TxzlUT|°UTlUTSUTc `~xia^°kfe9xzc `bjTUib_ hOPRUc¼»GjcR_`UIx| pz
`bixzcm_bSjl`b`bjcR`PRU}TpzShyRlU`bU¥_bjzc9xz
X(ω)jl`b_bUl×»Rp{cmU Rib_a`d_aUTU}`b_d`bPRU}Tpz_bUT_`
xi
jc`bPRUk3eRxzc `jUTi
_aU`xzcR| `bixzcR_aShjµ`_jµ`_43Rjc9xia^ }Tp3|RUT|65798%
i sd`UiibUT}UTym`bjp{cA»&xyRibpIª3^
X(ω)b pz X(ω) j_
iaUT}p{cR_a`bibeR}`U|eR_ajcR`bPRU¥}Tp3|RU¥=pMp{´}TpzibibU_by=p{cR|RUcR}TU
i7→xi
¡uCpzix({jlzUTc
N»m`PRUibUj_:3Jx`lUIxz_` 5 pzcRU
N¦Ì`beRyRU¢pz9UUShUcf`xzia^Wkfe9xzc `bjTUib_®*Pmj}~P(SjcRjlShjlTU_FpzUTi
(Rd)N `bPRUkfe9x|Rix`bj}k3eRxzc `jTx`jlp{c Uibiap{i
kX−Xbk2
jcR|Rem}TUT| ^°iaUTyRxz}TjlcR
X f^ Xb (v§c d¦§|RjlShUcR_bjlp{c¼»=`PRjl_¥ShjlcRjShxz kfe9xzc `jlIx`bjp{c Uibiap{i({p3UT_(`bp°TUTiap³x`x
N−1d¦§ibx`Uxz_
N → +∞ ¯]3`p3}~P9xz_`j}5p{ym`jlShjlIx`bjp{c³yRiapM}UT|ReRiaU9xz_bU|
pzc_ajS(eRx`jlp{cP9xIzU=UTUc|RU3j_bU|`bph}p{Shymem`U¥`PmUT_bUWp{ym`bjShxzAkfe9xcf`bjUTib_ u9p{i*xcU'ªmy=p{_ajl`pzia^pz
Shx`bPRUTShx`jl}Ixz$xz_ay;U}`_pz¢kfe9xzc `bjIxr`jpzc°jc 9cRjµ`U(|RjlShUcR_bjlp{c ®UiaUUi&`p4;Ï=<¡xzcR|°`PmUiaUUibUTcm}TUT_
`bPRUTiaUTjlc¼ ¡u9p{id]Mjzc9xz¼yRiapM}UT_a_bjcmhxcR|·x{p{iajl`bPRShjl}Yx_by=UT}`b_T»9®UWiaUUi*`bp>;â<J»?;â@< xzcR|A;B1C<J
v§c¯`bPRUUIxzial^D1z{ µ»$p{yM`jShxzºkfe9xcf`bjTx`jlp{c PRxz_=UTUc¯jc `bibp3|ReR}TU|¯jlc V7emShUibj}Txz¡noibp{RxzRjljl`§^
`bp|RU3j_aUh_ap{SUkfe9x|Rix`beRibUjlcf`bUT{ibx`jlp{c°p{ibSeRFE ®*jl`bP iaUT_ay;U}`W`p`PRU|Rjl_a`iajReM`jpzc
PX
p{c Rd± EF(X)≈ EF(X)b jl N jl_7xzib{UWUTcmp{eR{PG3UzUTc°=p{eRcR|RU| ^
[F]LipkX−Xbk2
jl F jl_Y©Fjym_b}~PRjµ`
}p{c `jlc3emp{eR_(5¥xzcm|
EF(X)b j_x®Uj{P `bUT|³}Tp{c {U'ª }Tp{S(mjc9x`bjp{c°p`bPRU
F(xi) OPRjl_WxzyRyRiap xz}~P³j_
UH}TjUc `jc SUT|RjleRS |RjSUTcR_ajp{cm_I3Jxr`&UTxz_a`
1 ≤ d ≤ 4»A_bUTUJ;B1I<J»K;B1<¡xzcR|G;B1C<F5YUT_ay;U}Tjxzµ^.®*PmUTc Shxzc ^jc `bUT{ibxz_¡cRUUT|`p;Ud}TpzShyReM`UT|xz xzjlcR_a`¡`PmUY_xShUd|Rj_`iajRem`bjp{c
PX
±`~xzmUT_¢pz¼`bPRUYpzym`jlS5xz
®UTjl{P `U|
N¦Ì`beRyRlUT_o}Ixc;U}p{Shymem`U|xzcR|´zUym`¡p C¦§jlcRU¢j´Uxz_ºp{iº«WxeR_b_oy=p{jc `b_T º© x`bUTi» p{ym`jlS5x
kfe9xcf`bjTx`jlp{cP9x_=UTUTceR_bU|(`p&|RU_bjl{c(_bpzShU¡`iaUTUSU`bPRp3|R_jlcp{ia|RUTiG`p&_ap{lzUcRp{c3¦§jlcRUIxiGymibp{RlUTS_
jlc {p{µMjlcR`bPRU&}p{Shymem`~x`bjp{chpz Shxzc ^5}p{cR|Rjµ`jpzc9xzCUªMy=UT}`x`jlp{cR_±osYSUTibjl}Ixzchp{ym`bjp{cymibj}jcRm»3cmp{cM¦
ljcRUTxzi Rl`UibjlcRp{i&_`p3}~P9xz_a`bj}{pz¤x`bjjµ`§^Shp3|RU_T»Ay;p{i`bp{ljphp{ym`jlShjlIx`bjp{cL30_aUTU>;1M<ºp{i¥xiaU3jU®
pºxzymyRjl}Ix`bjp{cR_¢`p}Tp{SyRem`x`jlp{c9xz;ujlc9xzcR}U5
w*UT}UTc `µ^{»f`PRU*Uª3`bUTcR_ajp{chpzApzym`jlS5xzMkfe9xzc `jlIx`bjp{c`p_`p3}~P9xz_a`bj}dyRibp3}TU_b_aUT_3jlU®UT|x_¢ibxzcR|RpzS
xziaj¤xzmUT_7`~xz´fjcm`bPRUTjli¥zxeRU_¥jc°`PRUjiy9x`bPM¦§_ay9xz}UPRxz_{jlzUTc³ixzjl_bU`pShxzc ^ `PRUp{ibU`jl}Ixzo|RU{Uµ¦
pzyRShUc `_ 30_aUTU ;1 1 <¶»;1<¶»?;Ô<J»9U`b}5 OPRj_ 0 }Ixzc;U_aUTUTc·xz_dx|mj_b}ibU`jTx`jlp{c
po`PRU(yRx`PM¦Ì_by9x}TU(pz¢xymibp3}TUT_a_T»A`§^3yRjl}Ixzll^`bPRUt7jl=UTi`Y_ay9xz}TU
L2T ¥v§c·`PRjl_&y9xzy=UTid®UxjS `p|mU¦
zUTlp{y`bPRUcfeRSUTiaj}Ix xz_by=UT}`_YpºeRcR}`jpzc9xzFkfe9xzc `jlIx`bjp{cxzcR|`PRUjidxzyRyRlj}Tx`jlp{cR_#`p`PRUWyRiaj}TjlcR
py9xr`PM¦Ì|RUTy=UTcR|mUTc `d|RUTiajlx`jµ{U_T ¢Zp{iaUyRibU}Tj_aUTµ^{»m®UW®*jlCpM}eR_*p{c.xz|R|Rjµ`jµ{U&jlcf`bUT{ibxzAeRcm}`jlp{c9xzl_
F |RU9cmUT|¯pzc
L2T ^ ξ 7→ F(ξ) = RT
0 f(t, ξ(t))dt, ξ ∈ L2T. OPRU_a`xzia`bjcRy=p{jlcf`&j_&`p_aUIxzia}~P
pzi7_ap{ShU ¸ zpMp3| ¹¥}Tp{SyRem`xzRUkfe9xzc `bjTUib_30_a`x`jlp{cRc9xia^Rem`Yy;pz_b_bjlRl^cmpz`Ypzym`jlS5xzF5xzcR|`PRUc·`p
em_bU*`PRU*|RUibjlzUT|kfe9xz|Ribx`eRiaUdpzibS(eRENxz_¢x|mU`UibSjcRjl_a`bj}xzµ`Uibc9x`bjlzU#`pZp{c `UY½#xziap_bjlS(eR¤xr`jpzc
pzihjlcf`bUT{ibx`jlcR
EF(X) p{i_bpzShU.yRibp3}TU_b_
X v§c x «xzeR_a_bj¤xc_bU`b`bjcRR»`PRjl_h}Txzc=U·|RpzcRU· ^ em_bjcm(xzchUªMy9xzcR_ajp{chpz
X jc5xzcxzymyRibp{ymibj¤xr`U*p{ia`bPRp{cRpzibShxzR9xz_aj_xzcR|¼»3jc5xWcmp{c«xzeR_b_aj¤xzc_bU`b`bjcR
3jl´zUY|mj;eR_bjlp{cR_(5¢f^5_bp{SU ¸ k3eRxzc `jjcRShxzyRymjcR{_I¹79xz_aUT|p{c_ap{ShUYjc `U{ixz;UTkfe9x`bjp{cm_ 30_bUU ;1I@<!5'
]3jcR}Udpzym`jlS5xz3eRcR}`jpzc9xzRkfe9xzc `bjIxr`jpzc(`PRUp{ibU`j}Txzµ^}p{c {Uib{U_#x`¢xix`bPRUTi¡y=pMpzi
(logN)−覧ixr`U
pzi(_bp{SU
θ |RUy;UcR|Rjcm³pzcN`bPRUy9x`bP ®*j_bUiaUT{eRxzibjµ`§^³pz7`bPRUyRiapM}UT_b_
X»¡p{cmU.PRxz_(`p°=U`p{cNjµ`_
y=UTip{ibShxzcR}UT_#p{i
¸
ibUTxz_bp{cRxzRl^5_bShxz̹dxzemUT_*pz
N 30_xI^ N≤10 0005
OPRUy9xzy=UTijl_¥p{ib xcRjUT|³xz_¥p{lp®*_T±&jlc¯]3UT}`bjp{c¯5®UyRiap3jl|RU`PRUibUTxz|RUi®*jµ`P³_bp{SU9xz}~´{¦
zibp{eRcm|WpzcWkfe9xcf`bjTx`jlp{cpzMt7jl;Uia`F_ay9xz}UT_$xzcR|«WxeR_b_aj¤xzcyRiapM}UT_b_aUT_ 3jU®UT|xz_
L2T¦¶zxeRU|WibxzcR|RpzS
zUT}`p{ia_T ¥]3UT}`bjp{c·hjl_7|RU{pz`bUT| `bp5_a`x`jlp{c9xzi^kfe9xzc `jlTUTia_¥xzcR|.`PRUjid}Tp{SyRem`x`jlp{c9xz xyRyRjl}Ix`bjp{cm_
3p{cRU'¦§|RjlShUcR_bjlp{c9xz#pzym`jlS5xzkfe9xzc `jlTUTia_T»U`}5' ]MU}`jlp{c¬ |RUTxz_®*jl`bP¬`bPRU®Uj{P `U|kfe9xz|mix`beRibU
pzibS(eR E p{i¢`PRU&U'ªMy;U}`~xr`jpzcR_
EF(X) p H¦ÌxzleRUT|ibxzcR|RpzSzUT}`p{ia_
X ºv§c.]MU}`jlp{c®U&jc zUT_¦
`bj xr`Ux_by=UT}TjxzF}Txz_b_*pzkfe9xzc `jlTUTia_7}TxzlUT|_b}TxzU|ymibp3|ReR}`dkfe9xzc `bjTUib_*®*PRj}~P.®*jl¼;U¥`bPRU´U^pz
cfeRSUTiaj}Txz=xzyRyRlj}Ixr`jpzcR_T PRUTc
X j_x(«xzeR_a_bjxzchzUT}`bp{iT»Mjl`b_¨xziaP3emcRUTcM¦§©FpMQ{UI3
K¦ L5oUªMy9xzcR_ajp{c 3i.e.jl`b_ P CA jcjlc 9cRjµ`U|RjlShUcR_bjlp{c65$yRxI^M_¢x¥}TiaeR}Tjxz9i£p{lUz Gs yRibp3}TU|ReRibU*jl_¢|mUT_b}ibjl;U|`bpW`xzReRx`U
`bPRUpzym`jlS5xzAyRibp3|ReR}`&kfe9xzc `jlTUib_T 7u9p{i*`PRU²ibp®*cRjxzc·Spz`jlp{c`PRU_bU`xzRlUT_7xzibUxxzjl¤xzmU¥p{c.`PRU
®UTA hv§c¯]MUT}`jlp{cM»$xw*p{S(=UTia.lj´UShU`PRp3| j_¥yRiap{y;pz_bUT|³`p_by=UTU|¯eRy³cfeRSUTibjl}Ixzjc `U{ix`bjp{cA
v§c]MUT}`jpzc>MW®UY}Ixziaia^p{em`_aUzUTix¼cfeRShUibjl}IxzCUªMy=UTiajSUTc `_#pzc5`§®pymibj}jcRyRibpzRUSh_±sY_aj¤xzc5p{yM¦
`bjp{cm_¢jlcx²xz}~´{¦]M}~PRpzUT_¡SpM|mUTCxzcR|xzcRjl¤x½#x_ojlc5xWt7U_a`bp{c5_`p3}~P9xz_a`bj}*{p{x`jljµ`§^Sp3|RUTJ OPRU
iaUT_aeRl`b_7xibUkfeRjl`bUWymibp{Sj_ajcRR v§cy9xia`jl}TeRxziT»M®UWy;pzjc `*p{em``bPRU_`iaj´fjcRUH}TjUcR}^.pzxwdp{S;Uib
log¦ÌUª3`ibxzy=p{¤x`bjp{c®*PRj}~PcfeRSUTiaj}Ixl^pzem`y=UTip{ibS_*Zp{c `bUW½#xziblp(_bjlS(eR¤xr`jpzc5jc=pz`bPUªmxzSyRU_T v§c³]3UT}`bjp{c7Cm»;®U(p{em`bjlcRUx´fjlcR| pz
F Q¦M C ShU`PRp3|®*PRUibU(eRcm}`jlp{c9xzGkfe9xzc `jlIx`bjp{c=UT}TpzShU_
x}p{c `ibpz¼zxibj¤xr`U&ibxzcR|Rp{S zxibj¤xRU
" T¥"*) ! W¬ #
©FU` (H,(. | .)H) ;Uhx·_aUTy9xzibxzRlU5tdj=UTi`W_by9xz}UxzcR|
X : (Ω,A,P) → H =Ux H¦ÌxzemUT|³ixzcM¦
|mp{S {UT}`p{i®*jl`P |Rj_`iajRem`bjp{c
PX
|mU9cRU| p{c
H UTcR|Rp®UT| ®*jl`bP jl`b_·²p{ibU
σ¦ 9UTl| Bor(H)
O¡^3yRj}Txz*_bU`b`jlcR{_5xzibU
H = R» Rd UTcR|mp®UT| ®*jµ`P jl`_}TxzcRp{cRjl}IxzdÆoeR}j|mUIxzc¬cRp{iaS xzcR|
L2T p{i
emcR}`bjp{c9xok3eRxzc `jTx`jlp{c¼»GU`b}z
"
e9xz|Ribx`jl} (!,- 0 }TpzcR_bjl_a`_jc³_a`beR|m^3jcR`PRU;U_a`
k.k2
¦×xzyRymibpIªMjShx`jlp{c p
X∈ L2H(Ω,P) ^ H¦ÌxzemUT|¯ibxzcR|RpzS zUT}`bp{ib_`xz´fjcR°xr`Shpz_a`
N xzµ¦
emUT_T»CjlcR}TleR|RjcmxzA`bPRUjcR|meR}TU|·kfeRUT_`jlp{cR_dj´Uxz_a^3Sym`p`j}¥Uibiap{i*;p{emcR|R_T»Cibx`U_T»9}TpzcR_a`bibeR}`jpzcpz
cmUIxzial^hp{ym`jlS5x=kfe9xcf`bjUTib_ ¡OPRj_ibxzSU®p{ib´c9x`beRixzll^jcm}Tem|RUT_#Shxzc ^hcRp{cM¦×«Wxzem_b_bjxzcyRiapM}UT_a_bUT_
lj´U¥|Rj;eR_bjlp{cR_#p{iU'ªmxzShymU-30_aUTU-;B1@<F5
©FU` x := (x1, . . . , xN) ∈ HN =UNx N¦§kfe9xzc `jlTUi xzcR| U`
Projx : H → {x1, . . . , xN}
=U x yRiaprqaUT}`jpzc p{lp®*jcR `bPRU '%(' %"08 % vÌ`ShUTxzcR_`P9xr``bPRU ²pzibUTy9xia`jµ`jlp{c
Proj−x1({xi}), i= 1, . . . , N pz H _x`bj_ RUT_
Proj−1x ({xi})⊂ {ξ∈H | |xi−ξ|H = min
1≤j≤N|xj−ξ|H}, 1≤i≤N.
]3eR}~P°x5²p{ibUGyRxzia`bjl`jlp{cj_*}IxU|·x %('('%!5pz
H jlcR|ReR}UT|· ^
x OPRU((%!
p x j_pz`bUTc¬|RUTcRp`UT|
Ci(x) := Proj−x1({xi}) &cRU|RURcRUT_`PRU /0 ³pz
X
jlcR|ReR}UT|. ^
x ^
Xbx := Projx(X).
3`PRU¯UªMy;pzcRUTc `
x ®*jlpz `Uc =U |RibpzyRy;U| p{i·iaUTyRxz}TU| ^ jµ`__bjU
N5.vÌ`°jl_`PmU ;U_a`
L2(P)¦
xyRyRibpIªMjShx`bjp{c p
X ^ {x1, . . . , xN}¦ÌxzleRUT|NibxzcR|Rp{S {U}`pzib__bjcm}TUz»¢p{ixzc ^ibxzcR|Rp{S {UT}`p{i
X0 : Ω → {x1, . . . , xN}»
kX−X0k22 = X
1≤i≤N
Z
Ω
Ci(x)(X(ω))|X(ω)−X0(ω)|2HP(dω)
≥ X
1≤i≤N
Z
Ω
Ci(x)(X(ω))|X(ω)−xi|2HP(dω)
= E( min
1≤i≤N|X−xi|2H) =kX−Xbxk22
Vdpz`U·`bP9x`h`PRUibU°xziaU·jlc 9cRjµ`UTµ^NS5xcf^¡p{iap{cRp{j*`U_b_aUTx`jlp{cR_®*PRj}~P x*yRibp3|ReR}U·`PmU _xzSU
kfe9x|Rix`bj}L %
kX − Xbxk2
v§c 0xz}``PRU·;p{emcR|9xziajUT_5pz¥`PRU¡pzibp{cRpzj7}UTl_5pz
xcf^¡p{iap{cRp{jF`bUT_b_aUTl¤x`bjp{c.j_d}Tp{c `xzjcRU|·jlc`PmU_xShU 9cRjµ`UWeRcRjpzc·pzoSUT|mj¤xzc.P ^My=UTiayR¤xcRUT_
Hij ≡ (xi −xj|.)H = 0 3xi 6= xj
5 .]MpR»Gjl`PRU|Rjl_a`iajReM`jpzc
PX
®UTjzPf`b_cRpP ^My=UTiayR¤xcRUz»G`PRUc
Xbx j_
P¦ a.s. eRcmjkfeRUTµ^|RU9cRUT|A
OPRU_aUT}p{cR|³_a`Uy pz¡`PRUp{yM`jSjTx`jlp{cyRibp3}TU_b_j_d`p 9cm| x
N¦Ì`beRyRlU
x∈ HN»¼jl¢xcf^z»¼®*PRj}~P SjcmjSjTU_d`bPRUkfe9xzc `jlIx`bjp{c°UibibpziWpzUTi
HN v§c 0x}`p{cRU}~PRU}~´f_ ^ `PmU`bibjxzcR{eRxziYjlcRUTkfe9xjl`§^
`bP9x``bPRU¥eRcR}`bjp{c
QXN : (x1, . . . , xN)7→ kX−Xbxk2 =k min
1≤i≤N|X−xi|Hk2
jl_5©FjlyR_b}~PRjµ`}Tp{c `jlcfeRp{eR_pzc
HN PRUc N = 1» Q21(x) = E|X − x|2H
j_5x _`ibjl}`bl^¬}Tp{c zUª
emcR}`bjp{c5®*Pmj}~PiaUIxz}~PRU_jl`b_SjcRjlS(eRS
Var(|X|H) xr` x∗ :=EX ºOPmUTc¼»RpzcRU&_bPmp®*_ ^hjcR|meR}`bjp{c pzc N 30_bUU;B1 1<Cp{i¡|RU`~xzjl_(5'» `P9x`
QXN xzµ®#xI^3_iaUIxz}~PRU_#xWShjlcRjS(emS x`_bp{SUdp{ym`jlS5x
N¦Ìkfe9xzc `jlTUTi
x∗ := (x∗1, . . . , x∗N) s7_W_apMpzc¯xz_
|suppP
X| ≥ N»Gxzc ^°_aeR}~P¯p{yM`jShxz
N¦Ìk3eRxzc `jUTiP9xz_¥yRxzji®*j_bU
|mj_a`bjcR}`}Tp{Sy=p{cRUTc `b_T OPRU ´U^@xzia{eRSUTc `.j_`bP9x``PRU°eRcm}`jlp{c
QXN jl_®UTxz´fl^ p®UTi_bUShj¦ }p{c `jlc3emp{eR_¡p{c
HN OPRUc¼»3`bPRU*_beRymy;p{i`¡pzAx|mj_a`bibjlRem`jlp{c(=UTjlcR
σ¦§}p{ShyRxz}`ojlc(`PRUdtdj=UTi`o_byRxz}TU
H»$jµ`j__bUy9xzixRU ]MpR»GU`
(zn)n≥1
|RUTcRp`Uhxzc¯U{UTi^f®*PRUTiaU|RUTcm_bU5_aUTkfeRUcR}TUjlc³`bPRU_beRyRy=p{i`pz
PX
oOPRUTc
minHN(QXN)2 ≤(QXN(z1, . . . , zN))2 = Z
supp(PX)
1min≤i≤N|ξ−zi|2HP
X(dξ)→0 xz_ N → ∞
^ `bPRU©FUT=UT_a{eRU|Rp{Sjc9xr`UT|}p{c {Uib{UcR}TU.`PRUp{ibUS ¯Æ¡leR}Tjl|9x`bjcR·`bPRUixr`Upz7}Tp{c zUTibzUTcR}Upz
minHNQXN `p®xzib| 0 jl_Wx.S(em}~P¯Sp{ibU|RUS5xzcm|RjcRyRiap{RlUTS.»GU{Ucjc 9cRjµ`U|RjSUTcR_ajp{cA hvÌ`WP9xz_
=UTUc}Tp{SyRlU`Ul^UeR}j|9x`bUT|pzicRp{c3¦§_bjlcR{eRxzi
Rd¦¶zxeRU|(ixzcm|Rp{S {U}`pzib_o ^`bPRU#_bpr¦§}IxU|¼xz|mp{i OPmUTp{iaUTS 30_aUTU-;Ô<!5'
¿fà ¿
9# % '% ' "2'(', %$0
X∈ L2+ηRd (Ω,P)
', %
η >0 ?% f #%.% % #%0'!> /%98' .%J(! ' 0 P
X
7 48%
'('8 0 %
(minRd)N(QXN)2 = min
x∈(Rd)NkX−Xbxk22 ∼ J2,d
N2/d Z
Rdfd+2d (ξ)dξ 1+2/d
+o 1
N2d
' N →+∞.
PmUTc
f 6≡ 0»C`bPRj_^3jU|R_7xh_aP9xziay·ixr`Up{i`PRUk3eRxz|Rixr`j}kfe9xzc `bjIxr`jpzcUibibpzi7_ajcR}UW`bPRUjlc `UTzixz
jlc `PRUiaj{P `YP9xzcR| _bjl|RU(jl_¥xzl®xI^3_ 9cRjl`bUeRcR|RUi&`PRUx_b_bemShym`bjp{c°p¢`bPRU(`PmUTp{iaUTS. PRUc
f ≡ 0»
`bPRj_dcRphp{cRzUTi*yRibp3j|mUT_7xh_bPRxziby ibx`U»=xzl`bPRp{eR{P._bem}~P°_bP9xziay·ibx`U_Y}Ixc·=UU_a`~xRjl_bPRU|p{id_bp{SU
_ay;U}Tjxz |Rj_`ibjlRem`bjp{cR_ 3_bUTµ¤¦§_ajSj¤xi|Rjl_a`iajReM`jpzcR_p{c·ibxz}`xzF_bU`_T»;U`b}5 *OPRU`ibemUWxzleRUp
J2,d
®*Pmj}~P}Tp{iaibU_by=p{cR|R_`p(`bPRU¥eRcRjµp{ibS |Rjl_a`iajReM`jpzc5p{Ui
[0,1]d j_#emcR´fcRp®*c·xzµ`PRpzeR{Pp{cmU¥´3cmp®*_
`bP9x`
J2,d =d/(2πe) +o(d)
v§c³xt7jl=UTia`Y_bU`b`jlcRcRp_beR}~P³{lp{9xzGibU_beRµ`PRp{|m_T»FUzUTc p{iW«xzeR_b_aj¤xzc°ymibp3}TUT_a_bU_T t7p®UzUTiT»
_ajSjxzi_bP9xziayNix`bUT_(}TxzcN;UU_a`xzRjl_bPRU|Njc _ap{ShU5}Ixz_aUT_®*PRUTcNp{cmUP9xz_x {p3p3|}Tp{c `iap{pzc `PRU
Uj{Uc zxeRU_#pz `PRU¥}pzxibj¤xcR}TU&pzy;Uix`bp{i#pzF`bPRUW«WxeR_b_aj¤xzcyRiapM}UT_a_T ¡OPRU¥ShxzjcU'ªMj_a`bjcRiaUT_aeRl`b_#jc
`bP9x`7«xzeR_a_bj¤xc._aU`a`jcmhxibURibpzeR{P `*`p{{U`PRUijc`PmU`bPRUTpzibUTS ;Up®
¿fà ¿
?%
H=L2T # % (Xt)t∈[0,T] 8% (%.%(% # 8., % ' 98%
9'(' (%('('2' >0
Z T 0
Var(Xt)dt <+∞
(a) ?% (e`)`≥1 8% ,- 8('' H % c2` := Var((X|e`)L2
T), n ≥ 1 % %-'
', %:(%
b >1 ' J 0 c2` =O(`−b) % minHN QXN =O
(logN)−b−21 .
(b) ?% (λ`)`≥1 #%.% % '% %(% %"%&%(' % (& (% (% .
ΓX X "% #
!AA'(%#!"> #%#$ %
(eX` )`≥1 8% % ( %('.#!"> ,- %"%8(''I
H
% % '2', %/ %
b >1 ' >0 λ` ≥ε0`−b /"% % " ` ε0 >0 % minHN QXN ≥ε00(logN)−b−21 : "%I%"
N ε00 >0 . (c) %, % λ` =cλ`−b+o(`−b) %
minHN QXN = cλ12b2b
2b−21(b−1)12 (logN)−b−21 +o
(logN)−b−21
. 3¶M 1=5
OPRjl_W`bPRUTpzibUTS }Txzc¯=UhU'ª3`UTcm|RUT| ^ }TpzcR_bjl|RUTiajcR.`PRU}Ixz_aUh®*PRUibU
c2` xzcR|pzi λ`
xzibU 30eRymy;Ui¦
=p{eRcm|RUT| f^05ibU{eR¤xibl^³xzia^3jlcR _aUTkfeRUcR}TU_5®*jl`bP¬jlcR|RU'ª
−b» b ≥ 1 30xzcR| P
`c2` < +∞ ®*PRUc b = 15 *vÌ`7`eRiacR_Yp{eM`7`bP9x`YpzidShxzc ^ 30p{cmU¦§yRxzixzSU`bUTi 5ymibp3}TUT_a_bU_T»¼`PmUjlcR|RUª
b jl_7}p{_aUTl^iaUTx`U|
`bp`PRUt{|mUTi&iaUT{eRxzibjµ`§^
µ pz¡`PRUxzymyRjl}Ix`bjp{c
t 7→ Xt
ibp{S
[0, T] jlcf`bp L2(Ω,P)±7p{cRU(zUTibj9UT_
`bP9x`
µ= b−21 ou9p{iº`PmUY|RU`~xzjlUT|yRiapMp_¢p¼`PRUd|RjAUibUTc `¢}TxzjS_opz;`PRjl_¡`bPRUTpzibUTSjlceRl9{UTcmUTixjl`§^
®UibUUi¥`pA;1 1 <¢xzcR| ;1=<¶ hu9p{i¥cfeRShUibjl}T_T» `PmUjµ`US pz#jlc `UTiaUT_`jl_
(a) h©FU`WeR_WUTSyRP9xz_ajU`bP9x`
jµ`_yRibp3pzjl_}TpzcR_a`bibeR}`jlzUxzcR| `bP9x`jl`$#%('$2 %A (!,- 0%('J % (%('('
X
vÌ`em_bUT_hxzcRp`PRUi0xShjll^ pz7kfe9xzc `jlTUTia_h}TxzlUT| #
N 0 % '®*PRj}~P xzibU|mUT_bjl{cRU|¬iap{S (!,- % '¡pzF`bPRUYp{cmU¦§|mjSUTcR_ajp{c9xRS5xib{jlc9xz_
(X|e`)L2
T
p X jc`PRU7p{ia`bPRp{cRpzibShxz99xz_aj_
(e`)`≥1 30_aUTU7y9xzix{ixzymPM Ïp{ixzchp{em`ljcRUdpz¼`bPRUdyRibp3pz 5 ºOPRU_bU&ymibp3|ReR}`kfe9xzc `jlTUTia_#xzcm|PRp® `p }p{SyRem`U&`bPRUTS pzic3emShUibj}_*xzibUjlc0x}``PmUW}UTc `ibxz¼`pzyRj}¥pzG`Pmj_y9xzy=UTi
OPRjl_hjl_(`PRU.ibUTxz_bpzc ®*P ^®U 9ia_a`hyRibp3j|RUx _bPRp{i`9xz}~´f{ibpzeRcR|pzc cfeRSUTiaj}IxShU`PRp3|R_`p
pzm`~xzjlcp{ym`bjShxzAkfe9xzc `bjTUib_p{i|Rjl_a`bibjmem`jlp{cR_/3J«Wxzem_b_bjxzc65p{c`PmUWiaUIxzAjcmUz
G .¥$ hW #"#)W.! º)¼h "#$TW.# .)
! "$#%"&'(&)&! *,+-#.&/012 3
OPmUk3eRxzc `jTx`jlp{c eRcR}`jlp{c
QXN j_&cRp`¥_bjlShyRµ^© jlyR_b}~Pmjl`}p{c `jlc3emp{eR_¥Rem`¥xz_ap|Rj;UTiaUTc `jxzRUx`
¸
Shpz_a`¹Yy=p{jlcf`b_pz
HN ¡u9p{i}p{c {UcRjUcR}TUU`*em_djlc `ibp3|ReR}U&`PRU #'.
i.e. `PRU¥_akfe9xzibUWpz
QXN DNX(x) := E min
1≤i≤N|X−xi|2H, x∈HN.
¿fà ¿ 4
(a) ?% x:= (x1, . . . , xN)∈HN 8% N 0 %2'' @!"
∀i6=j, xi 6=xj
# P(X∈ ∪i∂Ci(x)) = 0 3JM 5
P
X
.%""8% 8#9 /% (%!'
% DNX ' #52% %98% x !
∂DXN
∂xi
:= 2E( Ci(x)(X)(xi−X)) = 2 Z
Ci(x)
(xi−ξ)P
X(dξ), 1≤i≤N, 30m Ô95
# !'#52% %
D(DXN) ' ( ! ' % x∗ ' (!,- N 0% # |suppP
X| ≥ N '(' , 76 '2''98 % # '%(% : ;6 I' 0
∇DXN(x∗) = 0. 3Jm â 5
(b) 2'(', % H = R # supp(P
X) = closure((m, M)) ! R m, M ∈ R
%
#% % #
N 0% x = (x1, . . . , xN) x1 < . . . < xN !!' .%('('%!
' "!&% 8
C1(x) = (−∞, x3/2], Ci(x) := (xi−1/2, xi+1/2], i= 2, . . . , N −1, CN(x) = (xN−1/2,+∞) 3Jm Ï 5
% %
xi−1/2 := xi+xi−1
2 , i = 2, . . . , N P
X
' 98'.% (!69' ! 4( ! '
# f % DXN ': (%I(!69' #52%(%98% x # !!'=< %('('7 ' "!&% 8
D2(DNX)(x) =
∂2DXN
∂xi∂xj
(x)
1≤i,j≤N
3Jm 95
!
∂2DNX
∂x2i (x) = 2 Z xi+ 1
2
xi−1 2
f(u)du−xi+1−xi
2 f(xi+1
2) {i≤N−1}− xi−xi−1
2 f(xi−1
2) {i≥2}, 1≤i≤N,
∂2DXN
∂xi∂xi−1(x) =−xi −xi−1
2 f(xi−1
2), 2≤i≤N, ∂2DXN
∂xi∂xi+1(x) =−xi+1−xi
2 f(xi+1
2), 1≤i≤N−1,
# ∂2DXN
∂xi∂xj
(x) = 0 % '%
(c) %%('(' '(' , % H =R # P
X
'/98' .% (!69' ! >
log ( &% # f
i.e. {f >0}= (m, M)# logf '( &% (m, M) % {∇DXN = 0}={x∗}
OPRU7xz=p{U`PRUp{ibUS RiajcR{_º`bp{{U`PRUio_bUzUTibxzC}T¤x_b_bjl}IxzmibUT_aeRl`b_¢xz;pzem`¡kfe9xz|Ribx`jl}|Rj_`p{i`jpzcp{i
®*Pmj}~P¯®U5iaUUTiW`p ;Ï<J» ;B1=<J vÌ`(P9x__bU{Uixz}Tp{cR_aUTkfeRUcR}TU_pzc¯=pz`P¯`bPRUTpzibU`bj}Txz¢xzcR|¯cfeRSUTiaj}Txz
x_by=UT}`b_T ujia_a`jµ`*_beRz{UT_`_*`p`PRU¥p{lp®*jcm|RU9cRjl`bjp{cpz$_a`x`jlp{c9xzi^{
¿ Ã
N 0% x∈HN ' ' !" 76 # % 98&% 76 ' !% #
2'
N 0% X % #, &%(. Xbx ' !% # :' N
X
vÌ P(X∈Ci(x))>0 p{iUzUTia^
i= 1, . . . , N»m`PRUUk3eRx`jlp{c
∇DNX(x) = 0 x_bp(®*iajl`bUT_
xi = E( Ci(x)(X)X)
P(X∈Ci(x)) =E(X | {X∈Ci(x)}), i= 1, . . . , N. 30m M5
½pzcR_bUk3emUTc `µ^_ajcR}U¥`PRU
σ¦ 9UTl|R_*{UTcmUTixr`UT|. ^
Xbx xzcR| {{X∈Ci(x)}, i= 1, . . . , N} }p{jcm}Tj|mU
E(X|Xbx) =Xbx. 3Jm C95
v§c.y9xzi`jl}TeRxzi
E(X) =E(Xbx)
ƪM}TUym`7pzi
log¦§}p{cR}IxIzUWpzcRU¦Ì|RjSUTcR_ajp{cRxz;yA Ô|¼ × µ»Rp{ym`bjShxz;kfe9xcf`bjUTi3_(5#xziaU¥cRpz``bPRU¥p{cRµ^5_`~xr¦
`bjp{cRxzia^5k3eRxzc `jUTia_ 3_bUUnoibpzy;p{_ajl`bjp{c=UTp® xz=p{em` ¸ ¨xziaPfeRcRUTc3¦×©FpMQ{U{¹yRiapM|meR}`dkfe9xzc `jlTUib_(5'
Vdpz`U¥`PRx`*p®*jcR`p 30m C 5`PRUkfe9xzc `jlIx`bjp{cUibibpziP9xz_`PRUc·x_bjlShymUTiUªMyRiaUT_b_ajp{c_bjlcR}TU
E(|X−Xbx|2H |Xbx) = Xbx) +|Xbx|2H
E(|X|2H |Xbx)− |Xbx|2H
3Jm Ô95
_ap`bP9x`
kX−Xbxk22 = E(|X|2H)−E(|Xbx|2H) =E(|X|2H)− X
1≤i≤N
|xi|2P(X∈Ci(x)).30m 195