Nonlinear Markov semigroups and interacting Lévy type processes

HAL Id: inria-00080360

https://hal.inria.fr/inria-00080360v2

Submitted on 20 Jun 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,

Nonlinear Markov semigroups and interacting Lévy type processes

Vassili Kolokoltsov

To cite this version:

Vassili Kolokoltsov. Nonlinear Markov semigroups and interacting Lévy type processes. [Research

Report] RR-5932, INRIA. 2006. �inria-00080360v2�

a p p o r t

d e r e c h e r c h e

ISRN INRIA/RR--5932--FR+ENG

Thème NUM

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Nonlinear Markov semigroups and interacting Lévy type processes

Vassili N. Kolokoltsov

N° 5932

June 2006

&3'4

5(68797;:=<>:%?A@)BCD<=CDE8C8<=FG79CIH

∗

J%KML*N0OPQSRUTWVYXIZ\[]L*N0O9Z^Y_MN0`9acbedf_MO9Z

ghacikj\O[RmlonIpMqr_sZ

tlupsp1ivaw[xIOa]O9yzKMO9a]yzKsO{^8|}u~vv€ATWv_M^MO€u‚v‚kƒT„}u…0pslu†vO9Z

‡‰ˆ&Š9‹*ŒoMŽk‹k

VIO*N0b†vaciv_MpsZiu‘sp8ivZcb’[]b“Yb[\X”pMacO;ZwO9ac“Ybr^M†qrb^sO9lua&ikp8O*azlo[]ikazZ•ik^(N–O;lkZc_Ma]O9Ziu‘slN0O;lkZc_Ma]lk—MqrO

ZcpslvyO

X

xMO9Z]ya]b—8Om[]KMOAO9“kikqr_I[]biv^sZ˜ik‘(pMa]ik—slk—Mbqrb[\X™xIbeZw[ca]b—M_M[cbrik^sZiu‘(Rmlkacšvio“›pMa]iIyO;ZcZcO9Z‰ik^

X

^œ

J%KsO*braSxI_slkqZcO*N0br†ka]ik_MpsZiu‘)p8ivZcb’[]b“Yb[\XpMa]O9ZcO*a]“Yb^s†3qbr^MO9lkaivp1O9a]lu[cikazZ%ik^[]KMO$ZcpslvyOik‘N0O;lkZc_Ma]lk—MqrO

—8ik_s^sxIO9xA‘ž_M^sy[cbrik^sZ

B(X )

^{ik^}

X

xIO;Zcy*acbr—1O$[cKsO–O9“kivq_I[]biv^sZŸiu‘ lG“vO*azlu†vO9Zio“vO*a[cKMO–[cazloj\O;y¡[]ika]bO;Zik‘

[]KMO9ZcO RAlua]škio“psaciIyO;ZcZcO9Z

œ•¢

^[]KMbeZpslkp1O9a£4O)br^f[ca]iYxM_syO4lu^sxZw[c_1xIXŸ[cKMO4†kO9^MO*azluqky*qrlvZcZiu‘1ZcO*N0br†ka]ik_Mp1Z

ik‘ ^Miv^I¤¥qbr^MO9lkap1ifZwb[cbr“Yb’[\XApMacO;ZwO9ac“Ybr^M†[cazlu^sZw‘žika]N3lo[cbrik^1ZSiv^2N0O;lkZc_MacO;ZS[cKslu[brZ^sik^I¤¥qbr^MO;luaRmlua]škio“

iva˜¦MO9qqrO*a˜ZcO*N0br†ka]ik_MpsZ

œ¨§

^©OnIpMqrbeyb[‰Z\[]ac_sy[c_Ma]Oªiu‘Ÿ†kO9^MO*azlo[]ikazZ$ik‘ŸZc_syzK¨ZwO9N0b†vaciv_MpsZ–brZ˜†kbr“kO*^™br^

y9lkZcOӣKMO*^

X

brZ[cKMO«h_syqrbrxMO9lu^mZcpslvyO

R ^d

^¬ikaN–ivacO†vO*^MO9a]lkqqrXk­Ml0N3lk^Mb’‘živqrx1®%ZwKMio£br^M†0KMio£¯[cKMO;ZwO ZcO*N0br†ka]ik_Mp1ZlkacbeZwO ‘ža]ikN°[cKsO4†vO*^MO9a]lkqYšfbr^MO*[cbey O;df_slo[]biv^sZik‘8Zw[]lu[cbeZ\[]bry9luqYN0O9yzKslk^Mbry9Zlu^sx$O*“vikqr_I[cbrik^slkacX

—sbivqiv†kX[cK1lo[(xIO;Zcy*acbr—1O–[]KMO˜xIXY^sluN0bey–qrlG£±iu‘%qrlkac†vO$^Y_MN$—1O9a]ZŸ‘živaRmlua]škio“N0iIxIO*qeZ”iu‘%b^f[]O*azlky¡[]b^s†

p1luac[cbeyqrO9Z

œ²

O*qrq•p1ifZwO;xI^MO;ZcZ4a]O9Zc_Mq’[zZ ‘žika4[cKMO;ZwO”O;dv_1lo[cbrik^1Z4lkacOS†kbr“kO9^˜[civ†kO*[cKMO9a £b[cKªlupspMqbey*lu[cbrik^sZh[ci

br^f[cO9a]lvy¡[cbr^M†ªpslkaw[]bry*qO;Z*³–xIXY^sluN0bey3qelG£±ik‘%qelua]†kO3^Y_MN$—1O9a]Z(lu^sx´y*O*^f[cazluq)qrbrN–b[([]KMO*ivacO9N­[]KMO˜qelo[w[]O*a

—8O*br^M†0^MO9£µlkqa]O9lvxIX0‘žika%[]KMOZ\[zlu^sxsluazxy*ivlu†v_Mqelo[cbrik^M¤=‘žazlu†vN–O9^f[]lo[]biv^0N–iIxIO9qrZ

œ

¶ª·f¸D¹]º(» Œo¼&Šk givZcb[cbr“fb[\X3pMa]O9ZcO*a]“Yb^M†$N0O9lkZc_Ma]O¤¥“oluqr_MO9x3O9“kivq_I[]biv^sZ9­fy*ik^sxIb[cbrik^1luqrqX3p8ivZcb’[]b“vOSivp1O9aw¤

lu[civa]Z9­vRmlkacšvio“(N0iIxIO*qeZ)ik‘½b^f[]O*azlky¡[]b^s†psluac[cbeyqrO9Z9­YxIXY^sluN0beyqrlG£¨ik‘•qrlkac†vO^Y_MN(—8O*azZ*­f^MivacN3luqs¾s_sy[c_I¤

lu[cbrik^sZ9­Iazlo[cO”ik‘&yiv^Y“kO*a]†kO9^syOv­Yšfbr^MO*[cbey”O9df_slo[]biv^sZ9­fbr^f[cO9a]lvy¡[cbr^M†3Zw[]lu—sqO4j\_MN0pI¤¿xIbÀ8_sZcbrik^sZ9­1Á`*“YX3[\XYp1O

psaciIyO;ZcZcO9Z9­Iyiflu†k_sqrlu[cbrik^I¤>‘ža]lk†kN0O*^f[zlo[cbrik^

œ

∗

Â&Ã\ÄoÅzƞÇ=ÈÃwÉÇ%ÊzËÌ*Ç>Å]Ç>ÍÏÎÐÇ>ÍÏÑ\ÎwҕÓÉ;ÍÔÃwÆÐÎ>ÍÇÖՖÊzË×$ÅzƞØÍÏÑ¥ÙkҕÚDÊcÔÃ\É*Ç=ƞՉÚ8ÛÜ(Ý]Þ&ߝÓ&à¨ÅzÉGá3âžãäâÖޙäÊ*å9æ;ÃwÉ;ÑwÊ¡æ;ÆÐÇwÒ

ç

Æ>ÅzÉGÑ\áè•ésÈÅzÍÏêeëYÔ9Ù¡Ê¡êÏÊ¡ÙGìːÎ>ÈÅzÍÏêeèÉGÿÇ

#8/02 + -%0/W $# %&(')#*

Š  Á½O9Z ZcO*N0b¤>†vaciv_Mp8O9Zxikp8`*azlo[cO9_MazZqrbr^M`9lkba]O9ZZc_Ma qO;ZN0O9Zc_MacO;Z x_M^0O9Zcpslky*O N0O9Zc_Mazlu—MqrO

X

df_MbDpMa]`9ZcO*a]“kO9^f[ qel(p8ivZcb’[]b“Yb[c`xI`;ya]b“vO*^f[4qrO9Z4`9“kikqr_I[]biv^sZ%xIO9Z4qrikbeZ4xMO9Z4pMa]iYy*O9Z]Zw_1Z4xMOŸRmlkacšvio“–Zc_Ma

X

^œ

ÁO9ZŸZwO9N0b’¤¥†ka]ik_Mp8O9ZŸxI_slk_InAxikp8`*azlo[]O*_MazZqrb^s`9lubra]O9ZŸZw_Ma”qO;Zwp1lkyO

B(X)

xIO;ZS‘žik^sy[cbrik^sZŸN0O9Zc_Mazlu—MqrO9Z

—8ika]^M`9O9Z˜Zc_Ma

X

df_MbpMa]`9ZcO*a]“kO9^f[0qel p8ivZcb’[]b“Yb[c`AxI`;ya]b“vO*^f[˜qrO9Z3`9“kikqr_I[]biv^sZ3xIO9Z‰N0ioXkO*^s^MO9Z3Zc_Ma˜qrO9Z []a]luj\O9y[cikbra]O9Z(xMOy*O9Z–pMa]iYy*O9Z]Zw_1Z$xIORmlkacšvio“

œ

lu^sZ0y*O[3luac[cbeyqrOk­)^Miv_sZ$b^f[ca]iIxI_MbeZwiv^sZ–O[0`[]_sxIbrik^sZ

qel y*qrlvZcZcOª†k`9^M`*azluqrOªxIO9ZZwO9N–b¤¥†ka]ik_Mp8O9Z˜xMOª[cazlu^sZw‘žika]N3lo[]biv^sZ0^Mik^¨qrbr^M`9lkba]O9Z˜Zc_MaqO;Z˜N0O9Zc_Ma]O9Z˜df_Mb

psac`;ZwO9ac“vO*^f[qrlAp1ifZwb[cbr“Yb’[]`k­hdf_MOqik^›p1O9_I[0lkpMp8O*qrO*a0ZwO9N–b¤¥†ka]ik_Mp8O9Z$xIORmlkacšvio“Aiv_›xIO¦sO*qrqO9a$^sik^I¤

qrbr^M`9lkba]O9Z

œ

Pik_sZ%xIiv^M^Miv^sZh_s^MOZ\[]ac_sy[c_Ma]OO*nIpMqbeyb[cOxIO;Z4†k`*^s`*azlo[cO9_MazZhxIO”yO;Z4ZcO*N0b¤>†vaciv_Mp8O9Z)qrikazZ]dv_sO

X

^O9Zw[3qO9Zcpslky*OO9_syqrbexIbO9^

R ^d

^¬

iv_ pMqr_sZ0†v`*^M`9a]lkqO9N–O9^f[$_M^MO“olua]br`[c`G®

œ

O*qrqO*¤¥y*b4p8O*a]N0O[˜xIO“kivba

y*ikN0N0O*^f[Ÿy*O9ZSZwO9N–b¤¥†ka]ik_Mp8O9ZpMacio“YbrO*^M^sO*^f[xIO9ZS`9df_slu[cbrik^sZSybr^M`[]brdf_MO;Z†v`*^M`9a]lkqO;ZxIO$qrl˜N–`;y*lk^Mbrdf_MO

Zw[]lu[cbeZ\[]brdf_MOAO[xIOAqrl —Mbrikqrik†vbOª`9“kivq_I[]biv^M^slkba]O

œ

Pik_1Z3N0ik^f[ca]ik^sZ‰dv_sOAyO;Z3`9df_slu[cbrik^sZ˜Zcik^f[‰—sbO9^

p8ivZc`*O;ZO[ xMik^M^Miv^sZ xIO;Z)lupMpsqbey*lu[cbrik^sZ lk_In–ZcXIZ\[]L*N0O9Z xIOp1luac[cbey_MqrO9Z O9^0b^f[cO9a]lvy¡[]biv^³&qivbMxIO9Z)†kazlu^sxMZ

^sikN(—sacO;Z4xMXf^1luN0brdf_MO”O*[[cKM`9ika]L*N0OxIO”qrl–qrbN0b[cOyO9^f[cazluqrOk­MyOxIO9ac^sbO9aO9Zw[%^sik_M“vO9lu_O*^pslkaw[]bry*_MqbrO*a

p8ik_saqON0iIxIL*qrOZ\[zlu^sxsluazxxIOy*ivlu†v_Mqelo[cbrik^M¤=‘žazlu†vN–O9^f[]lo[]biv^

œ

» ‹;Š ¹ Ž Š” VYXIZw[cL*N0O;Z&xMXf^1luN0brdf_MO;ZZw_Ma xIO;Z&O9Zcpslky*O9Z&xIO N0O;Zw_Ma]O9ZpMa]`9ZcO*a]“olu^f[qelp8ivZcb[cbr“fb[c`v­oikp8`¤

azlo[]O*_MazZhy*ik^sxMb’[]biv^M^MO*qrqrO*N0O*^f[ p8ivZcb[cb‘ÐZ*­IN0iIxIL*qrO9Z N3lua]škio“YbrO*^sZ)xMOSpslkaw[]bry*_MqrO9Z)O9^‰br^f[cO*azlky[cbrik^½­fqrikbDxIO9Z

†va]lk^sxMZ ^MikN$—Ma]O9Z4xIXY^sluN0bedv_sOk­Y¾s_sy[c_slu[cbrik^sZ”lk_sZcZcbrO*^M^MO;Z*­f[zlu_InxMOŸy*ik^Y“kO9ac†vO*^sy*Ok­f`9df_slo[]biv^sZ4ybr^M`¤

[]brdf_MO;Z*­YpMa]iIyO;ZcZc_sZ4Z\[zlu—MqrO9Z4O*^br^v[]O*azlky[cbrik^½­fpMa]iYy*O9Z]Zw_1Z xIOŸ[\XYp8OŸÁ`*“YXk­My*ivlu†v_Mqelo[cbrik^M¤=‘žazlu†vN–O9^f[]lo[]biv^

œ

$#3!'h#

!#"$! %'&(*),+#-/.103254768492;:

§

^$brN0p1ivaw[zlu^f[)yqelkZ]Z&iu‘8RAlua]škio“ZwO9N0b†vaciv_MpsZ&brZ†vb“vO*^$—fX[cKMOZciŸy9luqrqO;x$¦sO*qrqO9a)ZwO9N0b†vaciv_MpsZ9­;b

œO œ [cKMO

ZcO*N0br†ka]ik_Mp1Z ik‘&Zw[ca]ik^M†vqX˜y*ik^f[cbr^Y_Mik_1Z ivp1O9a]lu[civa]Z

T t

­

t ≥ 0

^{­Iiv^}

C ∞ (X)

^¬[]KMOZcpslkyO”ik‘&yiv^f[cbr^f_sik_sZ

‘ž_s^sy¡[]biv^sZ&ik^$lSqriYy9luqrqXy*ikN0pslvy¡[[]ikp8ikqrik†vbry9luqYZwpslvyO

X

“olu^MbeZcKMb^s†Ÿlu[&br^=<s^Mb[\XM®&Zw_syzK[cKslu[

0 ≤ u ≤ 1

brN0pMqrbO;Z

0 ≤ T t u ≤ 1

‘žika”luqrq

t ≥ 0

^œ”¢^2l£bexIO*a”ZwO9^sZcOk­•—YXª¦MO*qrqrO*aZwO9N0b†vaciv_MpsZiv^MO–_M^sxIO9a]Zw[]lk^sxMZ []KMOZwO9N0b†vaciv_MpsZ iu‘p8ivZcb[cbr“fb[\X3pMa]O9ZcO*a]“Yb^M†$qbr^MO;lua%ikp8O*azlo[]ikazZ)br^‰[]KMOZwpslvyOŸiu‘&—1iv_M^sxIO;xy*ik^f[cbr^Y_Mik_sZ

‘ž_s^sy¡[]biv^sZ

C(X )

­Yiv_Ma —1lkZcbryacO*‘žO*a]O*^sy*O‘žika%¦MO9qqrO*aZcO*N0br†ka]ik_MpsZh—1O9b^s†?>π@A

Ϣ

[%brZ4O9lvZwX–[]i$ZcO*O[]Kslo[%b‘

[]KMOO*“vikqr_I[cbrik^ik^

C ∞ (X )

†kbr“kO*^—YX˜[cKsOO9df_slo[]biv^

f ˙ = Af

£b[cKªl0qrb^sO9lua

¬

p1ifZcZcbr—MqX‰_M^Y—1iv_M^sxIO;xs®

ivp1O9a]lu[civa

A

^{b^}

C ∞ (X )

pMa]O9ZcO*a]“kO9Zhp1ifZwb[cbr“Yb’[\Xv­v[]KMO*^

A

beZ%yiv^sxIb[cbrik^slkqqrX0p1ifZwb[cbr“kOv­fb

œO œ

(Ag)(x) ≥ 0

£KsO*^MO9“kO*al‘ž_s^sy¡[]biv^

g

—8O*qrik^M†fZ”[ci[]KMO‰xIivN0lkb^ ik‘

A

­beZ^Miv^I¤¥^MO*†flo[cbr“kO0lu^1x “Glk^MbeZwKMO;Zlo[

x

^{œ¢ ‘}

X

beZ[]KMO(«h_syqrbrxMO9lu^mZcpslvyO

R ^d

ival3N3lu^Mb‘žikqex•­1[cKMO

ik_Ma]a]L*†kO”[]KMO*ivacO9NB>DC;€A&Zw[]lo[]O9Z[cKslu[Ÿl3qrb^sO9lua

ivp1O9a]lu[civa

A

^{br^}

C ∞ (X )

£KMivZcO3xIikN3lubr^2y*ik^f[]lkb^1Z[]KMO˜Zcpslky*O

C _c ² (X )

ik‘h[\£4i[cbN0O;Zyik^f[]b^Y_Miv_sZwqrX xMb’ÀDO*a]O*^f[cbelu—sqO‘ž_M^sy¡[]biv^sZ £b’[]Kl(y*ikN0pslvy¡[4Zc_MpMp8ikac[ beZ4yik^1xIb’[]biv^sluqrqrX$p8ivZcb’[]b“vOb‘lu^1x3ik^MqrX0b’‘b’[%KslkZ

[]KMOÁ½O9“YXv¤FE”KMbr^f[]yzKMbr^MOS‘žika]N £b’[]K“Glkacbelu—sqOyiYOG3y*bO9^f[]Z9­Ib

œO œ b‘

Ag(x) =a(x)g(x) + (b(x), ∇ )(g(x) + 1

2 (c(x), ∇ , ∇ )g(x) +

Z

(g(x + y) − g(x) − χ(y)(y, ∇ )g(x))ν(x; dy),

^{¬ C;®}

£KsO*a]O

c(x)

brZ%l$p1ifZwb[cbr“kO”xIO<s^Mb[cO

d × d

¤¥N3lo[ca]bnD­

b(x)

^brZ%l

d

¤¥“kO;y¡[civa9­

χ(y)

beZ%ZwivN–OŸ—8ik_M^sxMO9x˜^sik^I¤

^sO*†vlu[cbr“kOŸ‘ž_M^sy[cbrik^m£b[cKml‰yikN0pslvy¡[Zc_MpMp8ikac[[cKslu[SO;dv_1luqeZik^MObr^ml3^MO9b†vKY—1ivacKMiYiIxiu‘[cKMO(ika]b†vb^½­

lk^sx

ν(x, · )

brZl0Á`*“YX˜N0O9lvZw_Ma]Ok­Yb

œO œ

l–p1ifZwb[cbr“kOIH4ika]O*qDN0O9lvZw_sacO”Zw_1yzK[]Kslo[

Z

min(1, | y | ² )ν(x; dy) < ∞ , ν(x)( { 0 } ) = 0.

^¬€k®

¦sika£Kslu[4‘živqqrio£Z [cKMON3lkb^acivqO”£brqq•—8O*qrik^s†$[]i–[cKMOxI_1luqD‘žika]N(_sqrlu[cbrik^‰ik‘&¦sO*qrqO9aZwO9N–br†ka]ik_spsZ

œ

PSluN0O*qrXk­½l¦MO9qqrO*aZcO*N0br†ka]ik_Mp

T t

iv^

C ∞ (X)

yqrO9lua]qrX†vb“vO9ZŸacbeZcO[ciªlxI_slkq&p8ivZcb[cbr“fb[\XmpMa]O9ZcO*a]“Yb^s†

ZcO*N0br†ka]ik_Mp

T _t ^∗

^{ik^} []KMOZcpslky*O

M (X )

iu‘—8ik_M^sxMO9xJH4ika]O*qhN–O;lkZc_Ma]O9Ziv^

X

[cKMa]ik_s†kK.[cKMOxI_slkqb[\X bexIO9^v[]b’[\X

(T t f, µ) = (f, T _t ^∗ µ)

­D£KMO9acO[cKMO$pslubracbr^M†

(f, µ)

beZ†vb“vO*^ª—YX[cKMO$b^f[]O*†kazlo[]biv^½­sik‘)yik_sa]ZcO

œ

¢‘

A

beZh[cKMO”†kO9^MO*azlo[]ika)ik‘

T t

­Y[cKMO9^

µ t = T _t ^∗ µ

y*lk^‰—8OŸyzKslka]lvy¡[]O*a]bLK9O9x0—YX0[cKMOŸO9df_slu[cbrik^˜br^[cKMOŸ£ O;luš

‘živacN

d

dt (g, µ t ) = (Ag, µ t ) = (g, A ^∗ µ t ),

^¬v®

£KsO*a]O

A ^∗

beZ4[cKMOlvxGj\ikbr^f[[ci

A

­I[]Kslo[KsikqexMZ4‘žikalkqq

g

^‘ža]ikN []KMOxIivN0lkb^iu‘

A

^œ

MO*a]O£ OZcKsluqrq½xIO9lkq•£b’[]K^Mik^Mqrbr^MO9lkalu^slkqiv†vZ iu‘

¬

f®¡³

d

dt (g, µ t ) = Ω(µ t )g,

^¬…f®

£KsO*a]O

Ω

beZl$^Mik^Mqrbr^MO9lka []a]lk^sZw‘žika]N0lu[cbrik^0‘ža]ikN l–xIO9^sZwO”xIivN0lkb^iu‘

M (X )

[ci$[cKMOZcpslky*OSik‘qrb^MO;lua

‘ž_s^sy¡[]biv^sluqeZ%ik^

C(X )

^œ ‘&Zcp1O;ybeluq•br^f[cO*a]O9Zw[lua]OŸ[cKMOO;dv_1lo[cbrik^1Z%iu‘[]KMO”‘žika]N

d

dt (g, µ t ) = (A(µ t )g, µ t ) = (g, A ^∗ (µ t )µ t ),

^¬}k®

£KsO*a]O

A(µ)

beZ l(^Mik^sqbr^MO9lkahN3lupspMb^s†(‘ža]ikN lxIO9^sZcOŸxIivN3lubr^˜iu‘

M (X )

^{[ci ¬}p8ivZ]Zwbr—MqrX0_M^Y—1iv_M^sxIO;xs®

qrbr^MO9lka&ivp1O9a]lu[civa]Zb^

C ∞ (X )

­klu^1xO*“vO*^$N–ivacO%Zwp8O9y*b<8y*luqrqrX”[cKMO%O9df_slu[cbrik^sZ&£b[cK

A

^{b^ ¬}}v®&xIO*p8O*^sxMb^M†

p8ikqrXY^MikN0beluqrqX3iv^

µ

^{­MbœO œ} []KMOO9df_slu[cbrik^sZ%ik‘[]KMO”‘žika]N

d

dt (g, µ t ) =

K

X

k=1

Z

· · · Z

(A k g)(x 1 , . . . , x k )µ t (dx 1 ) · · · µ t (dx k ),

^¬ƒv®

£KsO*a]O(O9lvyzK

A k

brZŸl

¬

p8ivZ]Zwbr—MqrX_s^f—8ik_s^sxIO9x1®ivp1O9a]lu[cika‘žacivN„l‰xIO9^sZcO$Zc_M—sZcpslky*O

D

^ik‘

C ∞ (X)

^[ci

[]KMOZcpslky*O

C ^sym (X ^k )

^iu‘ ZcXfN0N0O[]acbey”yiv^v[]b^Y_Miv_sZ%—8ik_M^sxMO9x‰‘ž_M^sy¡[]biv^sZik‘

k

“Glkacbelu—sqO;Z4‘žacivN

X

^œ

_Ma”lubrN beZ[\£4i˜‘živqrxMZ9³ICG®pM_Ma]O0lu^slkqXf[cbeypsaciv—MqO9N

¬

VYO;y¡[cbrik^1ZŸ€o¤>…v®¤4[cib^f[ca]iIxI_sy*O$lu^2lupMpMa]iu¤

psacbelo[]OŸlk^sluqrik†ik‘[]KMO”^Miu[]biv^‰iu‘&yik^1xIb’[]biv^sluqDp8ivZcb’[]b“Yb[\X0‘žika4[cKsO w†kO9^MO*azlo[]ikazZ

Ω

^{lk^sx}

A

^{br^ ¬…f®­ ¬}k®}

[]Kslo[%beZ4yzK1luazlky¡[]O*a]brZw[cbey%‘živa4p8ivZcb[cbr“fb[\X3pMa]O9ZcO*a]“Yb^M†(N–O;lkZc_Ma]O¤¥“Glkq_sO9x3O9“kikqr_I[]biv^sZ*­v[ci0†vb“vOSlu^OnIpMqrbry*b’[

†vO*^MO9a]lkq)Z\[]ac_1y¡[c_sacO˜ik‘yik^1xIb’[]biv^sluqrqrXAp8ivZcb’[]b“vO˜†kO9^MO*azlo[]ikazZ

¬

lª^Miv^Mqbr^MO;lua(lk^sluqrik†ªik‘4[]KMO

iv_Maca]L*†vO

[]KMO*ivacO9N˜®%lu^sx[]i3pMacio“YbexIO”—slkZcbey”£ O9qqp1ifZwO;xI^MO9Z]Za]O9Zc_Mq[]Z%‘živa[cKMO$yika]a]O9Zcp1iv^sxIbr^M†$O9“kivq_I[]biv^O9df_slo¤

[]biv^sZ

¬

}v®­

¬

ƒk®&€k®ŸlkpMpMqrbry9lo[cbrik^

¬

VYO;y¡[]biv^sZ};¤o®S¤%[ciªxIO*“vO*qrikp.lu^slkqXf[cbey([ciYikqeZŸ‘žika”pMa]io“Yb^M†‰[cKMO3qelG£

ik‘ qrlkac†vO^f_sN(—8O*azZlu^1x[cKMO(y*O*^f[cazluqqbrN0b’[S[cKMO9ika]O*N3Z%[]ik†kO*[cKMO9a£b[cKªpMa]O9y*brZcOazlo[]O9Zik‘ y*ik^Y“kO9ac†vO*^sy*O

‘žival–£brxIOy*qrlvZcZ4ik‘&br^f[cO*azlky[cbr^M†0Rmlua]škio“3pMa]iIyO;ZcZcO9Z4£b[cKpsZcO*_sxIik¤¥xMb’ÀDO*a]O*^f[cbeluqD†vO*^MO9a]lu[cikazZ9­vb

œO œ

‘žika

br^f[cO9a]lvy¡[cbr^M†0Á½`9“fX˜[\Xfp8OpMa]iIyO9Z]ZcO9Z

œ

!#" + .1&86 .1& + 68:#+ ( +32),+#-?& .=2;:P6! .1&#" 4 6 :1.=& 2 )

§

ZwXIZw[cO9N¯ik‘MN–O;lu^<sO9qrxb^f[cO9a]lvy¡[]b^M†psluac[cbeyqrO9Z

¬

ika&Rmlua]škio“pMaciIy*O9Z]ZwO;Z]®D£b[cK$lu^_M^sxMO*a]qXYbr^M†N0iu[]biv^

xMO9Z]ya]b—8O9x‰—fX‰†kO*^sO*azlo[civa

¬

C;® brZl–ZcXYZw[cO9N iu‘

N

pslkaw[]bry*qO;Z4b^

X

N0io“Yb^s†$lky9yiva]xIbr^M†([ci3l(†vO*^MO9a]lu[civa ik‘S[\XYp8O

¬

CG®¡­%£KMO*a]O[cKMO2yiYO G˜ybrO*^f[zZ

a j

­

b j

­

c j

­

γ j

Zcp1O;yb‘žXfbr^M† []KMOªN0iu[cbrik^©ik‘ŸO9“kO*a]X

j

^¤=[]K

p1luac[cbeyqrO(xIO*p8O*^1xª^Miu[Ÿik^MqrXik^ª[]KMO(p8ivZcb’[]biv^

x j

ik‘ [cKMbeZSpsluac[cbeyqrOk­1—M_I[luqeZwi3iv^ª[cKMO$p1ivb^f[ŸN–O;lkZc_Ma]O

µ = h(δ x 1 + · · · + δ x _N )

^{ik^}

X

^{¬N0O9lk^} <sO*qexs®$Zwp8O9y*b<1O9x´—YX.[cKMOp8ivZcb’[]biv^ iu‘lkqq4iu[]KMO*a–psluac[cbeyqrO9Z

x 1 , . . . , x N

ik‘•[cKMOŸZwXIZw[cO9N

¬

h

—1O9b^M†–lp8ivZcb’[]b“vOZ]y*luqrbr^M†(pslka]lkN0O[cO9a9­vO

œ† œ

h = 1/N

^{®­vbœO œ}

a j (x j ) = a(x j , µ)

^­

b j (x j ) = b(x j , µ)

^­

c j (x j ) = c(x j , µ)

^­

ν j (x j ) = ν(x j , µ)

^œ(¢[beZŸ£ O9qqšY^Mio£^

¬

lu^sx2y*lk^

—8O0O9lvZwbrqXmZcO*O9^1®[cKslu[pslkZ]Zwbr^M†[ci[cKsO–N0O;lu^ <1O*qex2ivaRmyE”O;lu^ª¤#$SqrlvZwio“ªqrbN0b[b^2[cKMbeZZcXYZw[cO9N

¬l

Z]y*lkqbr^M†”qrbN0b[)£b’[]K0[cKMO^Y_MN$—1O9a)iu‘Dpsluac[cbeyqrO9Z

N

[]O*^sxIbr^M†”[]ib^=<1^Mb’[\X–br^0Zc_syzK3lŸ£4lGX[cKslu[ [cKMOZ]y*lkqO;x N0O;lkZc_MacO;Z

h(δ x 1 + · · · +δ x N )

[]O*^sx$[]i”ZcikN0O <s^Mb[cON0O;lkZc_MacO;Z]®qrO9lvxMZ&‘žika]N3luqrqX[]il”N–O;lkZc_Ma]O¤¥“Glkq_sO9x xMXf^1luN0bry9Z%ik^

X

xMO9Z]ya]b—8O9x—YX‰O9df_slu[cbrik^

¬

}u®4£b[cK

A(µ)g(x) = a(x, µ)g(x) + (b(x, µ), ∇ )g(x) + 1

2 (c(x, µ) ∇ , ∇ )g(x) +

Z

(g(x + y) − g(x) − χ(y)(y, ∇ )g(x))ν(x, µ; dy)

^{¬ u®}

[]Kslo[‰Zcp8O9ybL<sO;Z3[cKsOmxIO[]O*a]N–br^MbeZ\[]bryAxIXY^sluN0beyqrlG£ iu‘qrlkac†vO^f_sN(—8O*azZ–‘žika˜N0O9lk^ <sO*qex©b^f[]O*azlky¡[]b^s†

p1luac[cbeyqrO9Z9­kZwO9Ol”^MbeyObr^I‘živacN3luq1xIbrZ]y_1ZcZcbiv^0b^ >DC9ƒ A¥­f£KMO*a]OluqeZwi”ik[cKMO9ahp8ikpM_Mqelua)[\Xfp8O9Z)iu‘•b^f[]O*azlky¡[]biv^

†vO*ivN–O*[ca]X

¬O œ† œ

d

¤¿xIbrN–O9^sZcbiv^sluq•qelo[c[cbeyOlu^sx[]KMO”KMbO9a]lka]yzKsbry9luqDb^f[]O*azlky¡[]biv^sZ]® lua]OŸ[civ_syzKMO9x_Mp8ik^

œ

§

^Miu[]KMO*a”Zwp8O9y*brlkq&y*qrlvZcZiu‘)br^f[cO*azlky[cbrik^sZ9­s^1luN0O*qrX

k

¤¥lkacX†ka]ik_Mpªbr^f[cO*azlky[cbrik^ªik‘ lkac—sb’[]a]lkacXikazxIO*a

k

^¬p1ifZcZcbr—MqX™^Miv^I¤>—sb^slkacXv­4lk^sx©p8ivZ]Zwbr—MqrX ^Miv^¨pMa]O9ZcO*a]“fbr^M†.[cKsOm[cik[]luqS^Y_MN(—8O*a˜ik‘psluac[cbeyqrO9Zz®¡­%£%lkZ lvxMxIa]O9Z]ZwO;x.b^ > A ¬

xIO9“kO9qivpMb^s†‘ž_Maw[]KMO*a0ZcikN0O˜bexIO9lvZ‘ža]ikN >ƒ Až®¡­ £KsO*a]O˜b’[–£4lvZZcKMio£^ [cKslu[$b‘[cKMO

k

¤¥lkacX.b^f[]O*azlky¡[]biv^sZik‘b^1xIbrZw[cbr^M†v_MbrZcKslk—MqOpsluac[cbeyqrO9Z([cK1lo[0pMacO;ZwO9ac“vO0[cKMO^Y_MN(—8O*a–iu‘pslkaw[]bry*qO;Z$lkacO xMO9Z]ya]b—8O9x —YX †kO9^MO*azlo[]ikazZ

¬

yik^1xIb’[]biv^sluqrqrX p1ifZwb[cbr“kOivp1O9a]lu[cikazZz®

B ^k

^{b^}

C ∞ (X ^k )

^­

k = 1, . . . , K

^­

lk^sx[cKsO

k

¤¿lua]X˜br^v[]O*azlky[cbrik^sZ%[]Kslo[”yzKslu^s†kO”[cKsO(^Y_MN(—8O*aSiu‘ pslkaw[]bry*qO;Z

¬

‘ža]ikN

k

^[ci

m

®lkacO†vb“vO*^—YX ZcXYN0N–O*[ca]bry9luqf[cazlu^1Zwb[cbrik^slkqYškO*a]^MO9qrZ

P k (x 1 , . . . , x k ; dy 1 · · · dy m )

­u[]KMO4‘žika]N3luqIN0O9lvZw_Ma]O¤¥“oluqr_MO9xqbrN0b’[

ik‘[]KMOqrlkac†vOS^Y_MN$—1O9aiu‘&psluac[cbeyqrO9Z%beZ%†kbr“kO9^—YX3[]KMOO9df_slu[cbrik^

d

dt (g, µ t ) =

K

X

k=1

1 k!

Z

[( B k g ⁺ )(x 1 , . . . , x k )

+ X

m

Z

(g ⁺ (y 1 , . . . , y m ) − g ⁺ (x 1 , . . . , x k ))P k (x 1 , . . . , x k ; dy 1 · · · dy m )]µ t (dx 1 ) · · · µ t (dx k ),

¬

@v®

£KsO*a]O

g ⁺ (x 1 , . . . , x l ) = g(x 1 ) + · · · + g(x l )

^¬[cKMOA£ O;luš ‘žika]N

¬

@k®0—8O*br^M† b^f[]aciIxI_sy*O9x™br^ >k~A>­

ZcO*O3lkqrZciVIO9y¡[]biv^sZ}lu^sx ˜‘žikaxIO*[]lubrqeZ]®

œ

Piu[]bry*O$[]Kslo[”[]KMik_M†vKA[]KMO3ika]br†kbr^sluq&b^f[]O*azlky¡[]b^s†p1luac[cbeyqrO

ZcXIZ\[]O*N3ZqrO9lkxMb^M†Ÿ[]i

¬

}k®­

¬

k®

¬

N0O9lk^<1O*qex$br^f[cO9a]lvy¡[cbrik^$pMa]O9ZcO*a]“fbr^M†S[cKMO^Y_MN$—1O9a iu‘Dpsluac[cbeyqrO9Zz®&lu^sx([ci

¬

@v®

¬

br^syqr_sxIbr^M†

k

¤¥lkacX$j\_MN0psZŸ£b[cKAp8ivZ]Zcb—MqrO‘žazlu†vN0O*^f[]lu[cbrik^ªikaŸyivlk†k_Mqelo[]biv^1®lkacO(df_Mb[cO0xIbÀ8O9acO9^f[9­

O;df_slo[]biv^

¬

@k®y*lk^$—8O£acb[w[]O*^0br^(‘živacN

¬

}k®

œ

Rmika]O*io“kO9a9­;b[)brZ O;lkZcX”[ci”_M^sxMO*azZ\[zlu^sx([cKslu[)O9df_slu[cbrik^

¬

@v®

xMO9Z]ya]b—Mbr^M†[]KMOqrbrN–b[ ik‘ZwXIZw[cO9N0Zh£b’[]K˜br^v[]O*azlky[cbrik^sZh^Miu[4pMacO;ZwO9ac“Ybr^M†”[cKsO^Y_MN(—8O*a iu‘½pslkaw[]bry*qO;Z*­fy*lk^

—8O$lkqrZci˜£a]b’[c[cO9^Abr^ª‘žika]N

¬

ƒv®

œS¢

^m‘Ðlky¡[;­Db’‘ lkqq

m ≥ k

^{­8[]KMO*^ ¬}xI_MO([ci‰[cKMO0ZwXYN0N0O[]acXiu‘ []a]lk^sZcb’[]biv^

švO*a]^MO*qeZz®

Z

g ⁺ (y 1 , . . . , y m )P k (x 1 , . . . , x k ; dy 1 · · · dy m )

= Z m

k g ⁺ (y 1 , . . . , y k )P k (x 1 , . . . , x k ; dy 1 · · · dy m )

= m Z

g ⁺ (y 1 , . . . , y k ) ˜ P _k ^m (x 1 , . . . , x k ; dy 1 · · · dy k )

£b[cK

P ˜ _k ^m (x 1 , . . . , x k ; dy 1 · · · dy k ) = 1 k

Z

X ^m−k

P k (x 1 , . . . , x k ; dy 1 · · · dy m )

lk^sxb^f[ca]iIxI_sy*b^M†–[]KMOikp8O*azlo[]ikazZ

B k f (x 1 , . . . , x k ) = B k f (x 1 , . . . , x k )

+ X

m

Z

[m(f (y 1 , . . . , y k ) − kf(x 1 , . . . , x k )] ˜ P _k ^m (x 1 , . . . , x k ; dy 1 · · · dy k ))

^¬~v®

iv^MOy*lk^a]O*£a]b’[]O

¬

@v®%lvZ

d

dt (g, µ t ) =

K

X

k=1

1 k!

Z

(B k g ⁺ )(x 1 , . . . , x k )µ t (dx 1 ) · · · µ t (dx k )

^{¬ C9‚v®}

£b[cK yik^1xIb’[]biv^sluqrqrX.p8ivZcb[cbr“kO‰ivp1O9a]lu[civa]Z

B k

br^

C ∞ (X ^k )

^{œ H4X} ZcbrN–brqelua(N3lk^Mbps_Mqrlu[cbrik^sZ

¬

[]Kslo[–£ O

ivN0b’[¡®4ik^MOy*lk^xMO9luq•£b[cK[]KMOy*lvZwO

m < k

^œ

«hdf_slu[cbrik^

¬

C;‚k®4KslvZ4[cKMO”‘živacN

¬

ƒv®4£b[cK

A k g = 1

k! B k g ⁺ .

^{¬ CC;®}

Kslka]lvy¡[]O*a]bLK9b^M†p1ifZwb[cbr“Yb’[\XpsacO;ZwO9ac“Ybr^M†O*“vikqr_I[cbrik^1Zbr^–y9lkZcOhik‘

X

—8O*br^M†l«h_syqrbrxMO9lu^–Zwp1lkyO

¬

iva&l

N3lk^Mb’‘živqrx1®£ OZcKslkqq=<1a]Zw[cqrX–Zcp8O9yb‘žX$[cKMOy*qrlvZcZ)iu‘Dp1ivqXY^MivN–beluqsO9df_slo[]biv^sZ

¬

ƒv®&[]Kslo[ y9lu^0—8OpMa]O9ZcO*^f[cO;x

br^ ‘žika]N

¬

C9‚v®(£b[cK©yiv^sxIb[cbrik^slkqqrX´p8ivZcb’[]b“vOivp1O9a]lu[cikazZ

B k

­h[cKMO9^ †vb“vOl.Z\[]ac_1y¡[c_sacOiu‘Ÿlua]—Mb’[]a]lkacX

O;df_slo[]biv^sZ

¬

ƒv®–psacO;ZwO9ac“Ybr^M†Ap8ivZcb’[]b“Yb[\Xk­%lu^sx™lo[3qelkZw[˜ZwKMio£

¬

_M^sxMO*a˜N0brqrx [cO;yzKM^Mbey*lkqlkZ]Zw_MN0pI[]biv^sZz®

[]Kslo[Ÿl0^Mik^Mqrbr^MO9lkaikp8O*azlo[civa

A

b^ªp8ivZcb[cbr“fb[\X‰psacO;ZwO9ac“Ybr^M†0O9df_slo[]biv^sZ

¬

}u®%KslvZ%[ci˜—8Oiu‘‘živacN

¬

u®

œ ¢

[

£brqrq[]_Mac^Aik_I[;­1br^Apslkaw[]bry*_Mqelua;­M[cK1lo[Sbr^Ay9lkZcO

K = 2

[cKMO–p8ivZcb’[]b“Yb[\XpMa]O9ZcO*a]“Yb^s†3O9df_slo[]biv^sZ

¬

ƒv®y*lk^

—8O3luqr£4lGXIZS£acb[w[]O*^.b^.‘živacN

¬

C9‚v®S£b[cK´yiv^sxIb[cbrik^slkqqrXªp8ivZcb’[]b“vO$ivp1O9a]lu[cikazZ

B k

^¬

£KMbeyzK brZ”^siu[”[cKMO

y9lkZcOS^sO*b[cKMO9a‘žikal0xIbeZcy*acO*[cO

X

­I^Miva%‘žika%[]KMO«)_sy*qbexIO9lk^

X

^{lk^sx}

K > 2

^{® œ}

!#" + . 2 . +#-/.103254768492;: 6 & $&+"#:1684 0 & 6 + (*( 2 .1)

§

[[cKMO O*^sx”ik‘f[]KMbeZbr^f[ca]iYxM_sy¡[]biv^Ÿ£4OhlkacO †vikbr^M† <sazZ\[½[]ibrqqr_sZw[cazlo[cO)[cKMOhxMb’ÀDO*a]O*^sy*O)—8O[\£4O*O*^p8ivZcb[cbr“fb[\X

psacO;ZwO9ac“Ybr^M†(O9“kikqr_I[]biv^sZ

¬

ƒk®%lk^sxšYb^MO*[cbeyŸO9df_slo[]biv^sZ

¬

C;‚k®

¬

br^[cKMO”[]O*a]N0b^Mivqiv†kX3ik‘[cKsO^MOnY[ZwO;y¡[]biv^

[]KMbeZ%N–O;lu^sZ4[]KMOxIbÀ8O9acO9^syO”—8O[\£4O*O*^yiv^sxIb[cbrik^slkqqrX˜p8ivZcb’[]b“vOŸlk^sxZ\[]aciv^M†kqrX˜yiv^sxIb[cbrik^slkqqrX3p1ifZwb[cbr“kO

ivp1O9a]lu[civa]Zz®”ik^™lAZcbN0pMqrOy*lkZcOiu‘l.xIbrZ]ya]O[]OZw[]lu[cOZwpslvyO

X

^œ´§ [–qelkZw[0£ OZwK1luqrq <Mn›ZcikN0O—slkZcbey

^siu[]lu[cbrik^sZ4[]i0—1O_sZcO9xbr^[]KMOpslkp1O9a£b’[]KMik_I[‘ž_saw[]KMO*aa]O*N0br^sxIO9a

œ

¢ ^ VYO;y¡[cbrik^ €iv_MaN3lubr^ Zw[ca]_sy[c_Mazluq a]O9Zc_Mq[]Z”ik^.[]KMO3p1ifZwb[cbr“Yb’[\X2pMa]O9ZcO*a]“fbr^M††kO9^MO*azlo[]ikazZ

A

^­

A k

br^

¬

}k®­

¬

ƒv®Ÿlua]O0ik—I[zlubr^MO9x

¬

J%KMO9ika]O*N3Z€

œ

€;¤\€

œ

…v®S‘žikaŸ[cKsO˜y*lkZcO–iu‘

X

—8O*br^M†ml‰«h_syqrbrxMO9lu^´Zcpslky*O

¬

ika

ZcbrN–brqelua]qX˜l–N3lu^Mb‘žikqexs®

œ

VYikN0O”OnMluN0pMqrO9ZlkacOŸ†kbr“kO9^

œ §

[[cKMOO9^sxiu‘)VYO9y[cbrik^ª€(£4OxIbeZcy*_sZcZZcKMivaw[]qX

[]KMOqb‘Ö[cbr^M† iu‘[cKMO^Miv^Mqbr^MO;lua0O*“vikqr_I[cbrik^sZ

¬

ƒf®([ci.qbr^MO9lka0O*“kivq_M[cbrik^sZ$ik^›[cKMON(_sq’[]b’¤¥psluac[cbeyqrOZ\[zlo[cO

ZcpslvyO

œ

§

Z)lu^0brN–p8ikac[]lk^f[psacO9“fbrik_1Z&y*ik^f[ca]br—M_I[cbrik^$[ci”[]KMO%[cKsO*ika]Xik‘8p8ivZcb’[]b“Yb[\XpMa]O9ZcO*a]“Yb^M†ŸO9df_slu[cbrik^sZik‘

[\XYp8O

¬

…v®hik^MO”ZwKsik_Mqex3N0O*^f[cbrik^—1iYivš >Ï}o…A>­Y£KMO9acO[cKMO;ZwOŸO9df_slu[cbrik^sZ £ O9acOŸlu^slkqX K9O9x0—YX3b^f[]aciIxI_sy*b^s†

l‰^slo[]_Mazluq&b^=<1^Mb’[]O¤¿xIbrN–O9^sZcbiv^sluqZwN0iYiu[]KmN3lu^Mb‘žikqexAZw[ca]_sy[c_Ma]O(iv^ª[cKMO0Zcpslky*O(iu‘)N0O;lkZc_MacO;Zlk^sxmb[]Z

[zlu^M†vO*^f[Zcpslky*O9Z½lk^sxŸ£KMO*a]O)ik^sO)y*lu^<1^sxl%acO;Zw_sq’[;­9£KMbeyzKbeZ½O9Z]ZcO*^f[cbeluqrqXSO9df_Mbr“oluqrO*^f[•[ciiv_MaJ%KMO9ika]O*N

€ œ… œ§

Z%b^[cKsO”y9lkZcOSik‘qrb^sO9lua†vO*^MO9a]lu[civa]Z9­kiv^MOŸ[cKMbr^M†0brZ4[]i0†kbr“kO”l–Zw[ca]_sy[c_Ma]OSik‘‘živacN3luqD†vO*^MO9a]lu[cikazZ9­

lk^sx(lk^Miu[]KMO*apMa]ik—sqO9N{brZ&[]i”xMbrZw[cbr^M†k_sbrZcK([]KMivZcO4iu‘s[]KMO9ZcO4‘žika]N3luqY†kO9^MO*azlo[]ikazZ•[cK1lo[)lky[c_slkqqrX†kO9^MO*azlo[]O

ZcO*N0br†ka]ik_Mp1Z

œ

J%Ksik_M†vK(qriu[]Z&ik‘s£ ivacš”br^([]KMbeZ&xMba]O9y[cbrik^(beZxIik^sO —8iu[]K(‘živa&qrbr^MO9lkalk^sx^sik^Mqrb^sO9luay*lvZwO;Z*­

N3lk^fX3df_MO;Z\[]biv^sZha]O*N3lkb^˜ivp1O9^

œ

tO9y*O*^f[lkyzKMbrO*“vO*N0O*^f[]Zhb^‰[cKMOŸqrb^MO;lua [cKMO9ika]X–lkacOS^MbeyO*qrX3pMa]O9ZcO*^f[cO;x

br^ >€@ Aœ

J%KsO*a]OSO*nYbeZw[]Z%lu^OnY[cO9^sZwbr“kOŸqrb’[]O*azlo[c_sacOŸik^[cKMO”£4O*qrqDp1ifZwO;xI^MO9Z]Z ‘žika%O9df_slu[cbrik^

¬

}k®*­

¬

u®h£b[cK

xMb’ÀDO*a]O*^f[cbeluq†kO9^MO*azlo[]ikazZ

A

[cK1lo[ŸlkpMp8O9luaSb^[]KMO$lk^sluqrXIZwbeZik‘ b^f[cO9a]lvy¡[]b^M†xIb’ÀD_sZcbiv^sZ

¬

ZwO;yiv^sxikazxIO*a

ivp1O9a]lu[civa]Z

A

^{®­ZwO9O >…f~ A>­ >}v}A>­ >}kƒ A>­ >€u…A>­ >}k~} Ahlu^1xma]O‘žO*a]O*^1yO9ZS[]KMO*a]O*br^½­lk^sxAik‘h[]KMO3xIO[]O*a]N–br^MbeZ\[]bry psaciIyO;ZcZcO9Z

¬

<sazZw[Ÿiva]xIO9aSivp1O9a]lu[civa]Z

A

^{®¡­ZwO9O(O œ† œ} >DC9‚A>­ >DC9~ A

Ϣ

^f[cO9†kazluq&ikp8O*azlo[]ikazZ

A

^­

A k

br^

¬

ƒk®*­

¬

u®

Zw[]lk^sx3‘živa br^f[cO9a]lvy¡[cbr^M†–pM_Ma]Ohj\_sN–ppMa]iIyO9Z]ZcO9Zhlk^sx3[]KMO*braZ\[]_sxIX˜£%lkZ N0iu[]b“olo[]O9x‰—fX0[]KMOH ivq’[ K*N3lu^s^

N0iIxIO9qik‘hyikqrqrbrZcbiv^sZlk^sx[]KMO–VYN0ivq_syzKsio“YZcšYbN0iIxIO*q&iu‘hy*ivlk†k_Mqelo[]biv^lk^sx‘žazlu†vN–O9^f[]lo[]biv^½­DZwO9OO

œ† œ

>…k…A>­#>Ï}k€ A>­#>…vƒA>­#>@A>­#>k~A>­#>…f€ Ahlu^sx2acO*‘žO*a]O*^sy*O9Z[cKMO9acO9b^

œ

VYivN–O0pslkaw[]bry*_Mqelua”yikN$—Mbr^slo[]biv^sZŸiu‘4xMb’‘Ö¤

‘žO9acO9^f[cbeluq½lu^1xbr^f[cO9†kazluqD†kO9^MO*azlo[]ikazZ4lkacO”N0ivZw[cqrX‰y*O*^f[cO9acO;xlkaciv_M^sxZwpslu[cbeluqrqX‰^Mik^f[ca]br“fbeluq•“vO*azZwbrik^1Z ik‘

H4ivq’[ K*N3lu^M^lu^sxVYN0ikqr_syzKMio“IZwšYb1N–iIxIO9qrZ9­IZwO9O >πk}A¥­ >π A¥­ >}k‚ A>­D>v}A½lu^1x˜a]O‘žO*a]O*^1yO9Zh[cKsO*a]O*br^½­IZwO9OSluqeZci

>πuA½‘žikaN0iIxIO*qeZ%£b[cKªZwp8ik^f[zlu^MO9ik_sZ4—Mbraw[]KsZ

œ

¢

^˜a]O9y*O*^f[hXvO9luazZ iv^MOiv—sZwO9ac“vO9Z)l^MO*£¨£%lG“kOik‘½b^f[cO9acO;Z\[h[ci[]KMOSÁ`*“YX–pMaciIy*O9Z]ZwO;Z

¬

ZcO*OSO

œ† œ

—1iYivšYZ

> A¥­9>…AÖ®‰lu^sx []KMO*braZcpslo[]brlkqqrX™^Mik^f[ca]br“fbeluqO*nY[cO*^1Zwbrik^sZ˜¤–Á`*“YX [\XYp8OmpMa]iYy*O9Z]ZwO;Z*­4[]KMOmqelo[w[]O*a—1O9b^M†

—1lkZcbry9luqrqXj\_sZw[3[cKsORAlua]škio“ pMa]iYy*O9Z]ZwO;Z–£b’[]K™p1ZwO9_sxIiu¤¿xIbÀ8O9acO9^f[cbeluq%†kO9^MO*azlo[]ikazZ(ik‘ŸÁ½`9“YXv¤FE”KMbr^syzKMbr^

[\XYp8Ok­8ZwO9O >€@ A‘živaSl3y*ikN0pMa]O*KMO9^sZwbr“kOlk^sluqrXf[cbeyZ\[]_sxIXiu‘[]KMO9ZcOpMa]iIyO9Z]ZcO9Z9­ >€k~A‘žival3pMa]ik—1lu—MbrqbeZw[cbey

lk^sluqrXIZwbeZ9­o£KMO*a]O4[cKMO;ZwOpMa]iIyO;ZcZcO9Zlua]O%y*luqrqrO9xj\_MN0pI¤¥xMb’ÀD_sZcbiv^sZ*­flu^sx0lkqrZci>Ï}uAM‘žika)ZcikN0Oyiv^M^MO9y[cbrik^sZ

—8O[\£4O*O9^.[cKMO;ZwO‰lkpMpMa]ivlvyzKMO9Z

œ

Á½`9“YX2lu^1x´Á½`*“YXA[\Xfp8O˜pMa]iIyO;ZcZcO9Z”O9^oj\ioX2df_Mb[cO‰xMb’ÀDO*a]O*^f[(pMa]ikp8O*ac[cbrO9Z

¬O œ† œ

‘Ðlo[ []lubrqeZ)lu^sx3xMbrZ]yiv^v[]b^Y_Miv_sZ[]a]luj\O9y¡[]ika]bO;Z]®lvZ _sZc_sluq

²

bO9^MO*a pMa]iYy*O9Z]Z)lu^1x0acO9qrlu[cO9x0xIbÀD_sZwbrik^1Z*­

£KsbryzK–N3luškO%Á½`9“YXpMa]iYy*O9Z]ZwO;Z&b^sxMbrZcp1O9^sZ]lu—MqrO4‘žika)lupspMqbey*lu[cbrik^sZ&br^0N0lk^YXZwb[c_slu[cbrik^sZ£KsO*a]O%xMb’ÀD_sZcbiv^

psaciIyO;ZcZcO9Z[c_sac^ ik_M[Ÿ[]i—1O0_M^I¤¿lkxMO9df_slo[]O

œ

^A[]KMO0iu[]KMO*aKslk^sx•­•[]KMO˜lu^1luqrXYZcbeZik‘h[cKsO9ZcO3pMaciIy*O9Z]ZwO;Z

beZ”Zw_sacO9qXN0ika]O$y*ikN0pMqrbry9lo[cO;x[cK1lu^m[]Kslo[”iu‘ _sZw_1luq xIbÀ8_sZcbrik^sZ9­•xI_MO–b^2psluac[cbey_Mqelua]qrX[]i‰[]O9yzKM^sbry9luqrqX

N0ivacOb^Y“kivq“vO9x´lk^sluqrXIZwbeZik‘[cKMOyivaca]O9Zcp8ik^sxIbr^M†mZw[ciIyzKslvZ\[]bryxIb’ÀDO*a]O*^f[]brlkq O;dv_1lo[cbrik^1Z

¬

ZwO9OO

œ† œ >A

lk^sx >Ï}A&‘žika[]KMO–qrlu[w[cO9az®

œ

tiv_M†kKsqXZwp8O9lkšYb^M†1­M[]KMO$a]O9Zc_Mq[]Ziu‘)ik_saŸVYO;y¡[cbrik^.€3Z\[zlo[]O[cK1lo[Sp8ivZcb[cbr“fb[\X

psacO;ZwO9ac“Ybr^M†3N0O9lkZc_Ma]O“oluqr_MO9xmO*“kivq_M[cbrik^sZ_M^sxIO9aSN0brqrxm[cO9yzKs^Mbry9luqlkZ]Zw_sN–pM[cbrik^sZKslG“kO†vO*^MO9a]lu[civa]Zik‘

^sik^I¤¥qbr^MO;lua$Zcpslu[cbeluqrqX ^Miv^v[]acbr“Ybrlkq4Á`*“YXf¤ E”Ksb^syzKsb^´[\XYp8O‰[]KY_sZ–acO9pMacO;ZwO9^f[cbr^M†m^Miv^Mqbr^MO;lua0lu^slkqiv†vZik‘

Á`*“YX3[\XYp8OpMaciIy*O9Z]ZwO;Z4lk^sxZwO9N–br†ka]ik_spsZ

œ

¢

^2VIO9y¡[]biv^sZŸ˜£4O(Z\[zluac[ik_saŸlk^sluqrXIZwbeZiu‘)†vO*^MO9a]lkq½p8ivZcb’[]b“Yb[\XpsacO;ZwO9ac“Ybr^M†3O*“vikqr_I[cbrik^sZ—YXO;Z\[zlu—I¤

qrbeZwKMbr^M†

¬

_sZwbr^M†‰l <snYO;xp1ivb^f[Slkac†v_MN0O*^f[[cK1lo[beZ£4O*qrqšY^Mio£^b^ª^sik^Mqrb^sO9luaSlu^slkqXIZcbrZ9­MZwO9OO

œ† œ >… @ A

‘živab[]ZlkpMpMqrbry9lo[]biv^[]i3^Mik^sqbr^MO9lkaSVIyzKMa]iIxIbr^M†kO9aO9df_slo[]biv^ªlu^sx,>Ï}k}A‘žikaZw[ciIyzKslvZ\[]bry

¢

[]i ZO9df_slu[cbrik^sZ

xMO9Z]ya]b—Mbr^M† []KMOAO9“kikqr_I[]biv^

¬

}u®˜£b’[]K xIbÀ8O9acO9^v[]brlkq†vO*^MO9a]lu[cikazZz®$l †kO*^sO*azluq£4O*qrqSp8ivZcO9xM^MO9Z]Z3a]O9Zc_Mq’[

¬

J%KMO*ivacO9N  œ

C9®–luqrqio£br^M†2[ci.acO;xI_sy*O[]KMOªZ\[]_sxIX ik‘S^Miv^Mqrb^MO;lua–pMa]ik—MqrO*N3Z

¬

}k®¿¤

¬

o®([]i ZcikN0OacO9†k_I¤

qelua]b[\X pMa]ikp8O*ac[cbrO9Z‰iu‘[]KMO2y*ika]acO;Zwp8ik^sxMb^M†´qrbr^MO9lka‰pMa]ik—MqrO*N3Z

œ

J%KMbeZ‰a]O9Zc_Mq[y9lu^¨—8O.lkpMpMqrbO;x©[ci›l

“olkacbrO[\X.iu‘N0iIxIO9qrZ$£b’[]K›psZcO*_1xIiu¤¿xIbÀ8O9acO9^v[]brlkqh†vO*^MO9a]lu[cikazZ

¬

—1O9Xkik^1x Z\[zlu^sxsluazx xIbÀ8_sZcbrik^sZz®¡­)£KsO*a]O

[]KMO$y*ika]acO;Zwp8ik^1xIb^s†3acO9†k_Mqelua]b’[\XacO;Zw_sq’[zZ‘živaqrb^MO;luaS†kO*^sO*azlo[civa]Zlua]O(lG“olubrqrlk—MqOv­M‘živaSbr^sZw[]lu^1yO(br^Ay9lkZcO

ik‘xMO9yivN0p1ifZclk—MqO†vO*^MO9a]lu[civa]Z

¬

ZcO*O > AÖ®­sa]O*†v_MqrlkaO*^Miv_M†kKªxIO9†kO9^MO*azlo[]O”xMb’ÀD_sZcbiv^sZqrbšvOb^f[]O*azlky¡[]b^s†

y*_Ma]“fbrqrb^MO;lua

a]^sZw[cO9b^I¤¿QKsqO9^f—8O9yzš$pMa]iYy*O9Z]ZwO;Z ika Z\[]iYyzK1lkZw[cbey†kO9iYxMO9Zcbry4¾sio£Zhik^0[]KMOSy*iu[]lk^M†kO9^f[)—M_M^I¤

xMqO;Z[]i2tbrO*N3lu^s^Mbrlk^ N3lu^Mb‘žikqexMZ

¬

ZcO*O >LCRA¥­ >k Až®¡­)iva$Zw[]lk—MqO(j\_MN0p xIbÀD_sZwbrik^1Z

œ.§

Z$[cKMOqrlu[w[]O*a0lua]O

ik‘%Zcp8O9ybeluqhb^f[cO9acO;Z\[lkN–iv^M†ªÁ½`9“fXA[\XYp1O3pMa]iIyO;ZcZcO9Z9­xI_MO0[]i[cKMO9ba$lupMpMqrbey*lo[]biv^sZbr^´l£brxIO3“olkacbrO[\X

ik‘hN0iIxIO*qeZS‘žacivN pMqrlvZwN3l‰pMKYXYZcbey*Z[ci?<s^slu^1yO9Z

¬

ZwO9O$O

œ† œ >A>­ >@ A¥­#>…A>­ >Ï}@ Až®¡­£ O0ZwK1luqrq&y*ik^sy*O*^f[cazlo[]O

‘ž_saw[]KMO*aiv^Zw[]lk—MqrO”[\Xfp8OpMa]iIyO9Z]ZcO9Z%O*^1xIb^s†‰VYO9y[cbrik^ª–£b’[]Kml–ZcbrN–psqObrqqr_sZw[cazlo[]biv^ik‘J%KsO*ika]O*N  œC

br^[cKMOy9lkZcOSik‘&^sik^I¤¿xIO*†vO*^MO9a]lu[cOŸZwO;yik^1x‰iva]xIO9apsluac[iu‘l$p1ZwO9_sxIiu¤¿xIbÀ8O9acO9^f[cbeluq•†kO9^MO*azlo[]ika

œ

¢

^mVYO;y¡[cbrik^…0£4Ob^f[ca]iIxI_sy*OŸiv_Ma—slvZwbeyŸN–iIxIO9q½iu‘br^v[]O*azlky[cbr^M†3Z\[zlu—MqrO4j\_MN0pI¤¥xMb’ÀD_sZcbiv^sZ*­spMacio“vOŸl

£4O*qrq p8ivZcO9xI^MO;ZcZŸa]O9Zc_Mq[

¬

acO;xI_sy*b^M†OnIp8ivZcb’[]biv^A‘živaZwbrN0pMqbeyb[\Xª[]i[]KMO˜y*lvZwO–£KMO9acO$[cKMO˜Zw[]lk—MqrO$pslkaw[

beZ^Mik[(loÀDO9y[cO9x.—YXAbr^f[cO9a]lvy¡[cbrik^8®Slk^sx lu^slkqX K9O$[]KMO˜yivacO0ik‘ []KMO˜†kO9^MO*azlo[]ika”iu‘4[cKsO˜yika]a]O9Zcp1iv^sxIbr^M†

¬

qbr^MO;lua¡® ¦sO*qrqO9apMa]iYy*O9Z]Z%b^

C( M ⁺ (X))

^œ

¢

^¯VIO9y¡[]biv^sZ}´lu^sx ƒ´[cKsOA†kO9^MO*azluqSlu^slkqXf[cbeyª[]iYikqeZ3‘žikapMa]io“fbr^M†´[]KMOAqelG£ iu‘qelua]†kOm^Y_MN$—1O9a]Z

lk^sx˜y*O*^f[cazluq1qbrN0b’[4[cKMO9ika]O*N3Z)a]O9Zcp8O9y¡[]b“vO*qrX–lkacOŸxIO*“vO*qrikp8O9x–‘živa br^f[cO*azlky[cbr^M†(Rmlkacšvio“(pMa]iIyO;ZcZcO9Z £b[cK

p1ZwO9_sxIiu¤¿xIbÀ8O9acO9^f[cbeluqI†kO9^MO*azlo[]ikazZ

œ

J%KMO9ZcO%[ciYivqrZ lua]O4brqrq_sZw[cazlo[]O9x0iv^3ik_Ma)—1lkZcbry%O*nIlkN0pMqO%¤&b^f[]O*azlky¡[]b^s†

Zw[]lk—MqrO j\_sN–pM¤¥xIbÀD_sZwbrik^1Z*­M—s_I[[cKMO9XZcO*O9N [ci0—8Oiu‘br^f[cO9acO;Z\[O9“kO*^‰‘žika_sZc_slkq½b^f[]O*azlky¡[]b^s†–xIbÀD_sZwbrik^1Z

œ

Q^MqrbšvO˜lªpMa]ik—slk—MbqrbeZ\[]bry3lkpMpMa]ivlkyzK

¬

y*ikN0pslky[c^MO;ZcZb^›VYšvika]ikKMiIx.Zwp1lkyO3ik‘%[cazloj\O9y[civacbrO9Zz®S^Mika]N3luqrqX

_1ZwO;x‘živa&iv—I[]lkb^sb^M†S[cKsO9ZcO [\XYp8O%iu‘1a]O9Zc_Mq[]Z

¬

ZcO*O%O

œ† œ

>πo…A¥­P>π A¥­1>Ï}k€A¥­1>@ Aslk^sx$acO*‘žO*a]O*^sy*O9Z[cKMO9acO9b^(‘žika

[]KMOqelG£©iu‘½qelua]†kO^Y_MN$—1O9a]Z9­>LC; A>­ >DC A¥­>} A>­ >Ï}k}A¥­ >}kƒ A¥­>πk€ ADlk^sx3a]O‘žO*a]O*^1yO9Z [cKMO9acO9b^3‘živah[]KMOSy*O*^f[cazluq

qrbrN–b[ iu‘sbr^f[cO9a]lvy¡[cbr^M†ŸxIb’ÀD_sZcbiv^sZlu^sx >LC@ A¥­1>€k‚ A¥­=>€kA¥­=>}k‚ AI‘žika[cKMOy*O*^f[cazluqfqbrN0b’[[]iŸZcikN0OhN0iIxIO;Z£b[cK

j\_sN–p1Z]®­viv_Ma)N0O[]KMiIx•­v—8O*br^M†—slvZwO;x–OnMyqr_sZcb“vO*qrXik^0[]KMO%[cKMO9ika]X(ik‘•y*ik^f[cazlky[cbrik^–ZwO9N–br†ka]ik_spsZ*­kXfbrO*qexMZ

^sO*£ b^sZcbr†kKf[]Z”br^.[cKMO˜lk^sluqrXf[cbey–lvZwp8O9y[]Z”ik‘ []KMO3pMa]iYy*O9Z]ZwO;ZŸ_M^sxIO9ayik^1ZwbexIO*azlo[]biv^

¬

¦MO*qrqrO*apMa]ikp8O*ac[\Xk­

Zw[ca]_sy[c_Ma]Oik‘½[cKMO”yivacO;Z)ik‘•[cKMO”†kO9^MO*azlo[]ikazZ*­kpMacO;ybeZwOSa]lu[cOSiu‘y*ik^Y“kO9ac†vO*^sy*Ok­uO*[]y9®

œ

Rªika]O*io“vO*a;­ubr^sZ\[]O9lvx

ik‘xIO;Zcy*acbr—Mbr^M†([]KMOŸqbrN0b’[]b^M† ”lk_sZcZcbelu^‰psaciIyO;ZcZ iu‘¾s_sy¡[]_slo[]biv^sZ%br^˜[cKsOŸ“vO*a]X0qrlkac†vOSZcpslky*O

S ⁰ (X )

^­MlkZ

beZ_1Zw_slkq)br^´[cKMO‰qb[cO9a]lu[c_Ma]Ok­&ik_Ma$N0O[cKsiYx´lkqqrio£Z”[]iAxIimb[(br^›l^slo[]_MazluqhZcN3luqrqO9a$Zcpslky*O

(C ¹ (X )) ^∗

[]Kslo[ brZ½j\_sZ\[ wl—Mb’[4qrlkac†vO*az­G[]Kslu^˜[cKMObr^Mb[cbeluqDZwp1lkyO

M (X)

^¬£KsbryzK˜b[]ZcO*q‘½beZ)_sZc_sluqrqrX$_M^1lupMpMa]ikpsacbelo[]O

‘živaŸxMO9Z]ya]b—Mbr^M†3[]KMO$¾s_sy¡[]_slo[]biv^sZz®

Ϥ

^Mik[cKMO9aŸZcp8O9ybL<1y[cO9yzKs^Mbry9luq‘žO9lu[c_Ma]O$beZ[cKMO0ZwXIZw[cO9N0lu[cbey_sZcO(ik‘

[]KMO$xMO*a]b“olo[]b“vO9Ziu‘)[]KMO$Zcikqr_I[cbrik^1Zik‘ [cKMO$šfbr^MO*[cbey(O;dv_1lo[cbrik^1Z£b[cKAa]O9Zcp8O9y¡[S[ci‰[cKMO$b^Mb[cbeluq xMlu[]l

¬

b^

y9lkZcOSik‘[]KMOIH4iu[ K*N3lu^M^O9df_slu[cbrik^[cKMO;ZwOxIO9acbr“olo[]b“vO9Z%—8O*br^M†3Z\[]_sxIbrO9xb^ªxIO*[]lkbq½br^,>…f‚ Až®

œ

VYO;y¡[]biv^ .beZ‰xIO9“kiu[]O9x™[]i´[cKMO2b^f[]O*azlky¡[]biv^ yzKslu^s†kbr^M† [cKMO2^Y_MN(—8O*aiu‘psluac[cbeyqrO9Z9­£KMifZwOmqelG£

ik‘Ÿqelua]†kO^Y_MN$—1O9a‰beZ˜xIO9Z]ya]br—1O;x©—fX O9df_slu[cbrik^

¬

@f®

œ°§

Z˜£4Oª^Mik[cO9x©lk—1io“vO[cKMbeZ3O9df_slu[cbrik^¨y*lk^¨—1O

lkqrZci˜£a]b’[c[cO9^Abr^m‘žika]N

¬

C;‚k®£b[cK yiv^sxIb[cbrik^slkqqrXp1ifZwb[cbr“kO$ikp8O*azlo[civa]Z

B k

b^

C(X ^k )

­•£KMbeyzKAluqrqio£Z []i2y*ik^sZcbrxMO*a[]KMO*N lvZ(p1luac[cbey_Mqelua–y*lkZcO9Z$iu‘

¬

C;‚k®

œ

Mio£4O*“vO*a;­‘živa([]KMOlupMpMqrbey*lo[]biv^´[ci2b^f[]O*azlky¡[]b^s†

p1luac[cbeyqrO9Zlk^mluq[cO*a]^slu[cbr“kOa]O9xI_sy[cbrik^[ci

¬

C9‚f®%—8O9yivN0O9ZN0ivacO^slu[c_Mazluq>­s^1luN0O*qrX‰—YXik—sZcO*a]“Yb^M†0[]Kslo[

¬

@v®KslkZ”lkqa]O9lvxIX‘žika]N

¬

C;‚k®S—M_I[£b’[]K

B k

psacO;ZwO9^v[]b^s†^Mik[ j\_1Z\[”[cKsO–ivp1O9a]lu[civa]ZSb^

C ^sym (X ^k )

^¬lkZ

£4Oluqr£4lGXIZ%Zc_MpMp8ivZcO9xb^

¬

C;‚k®w®­M—M_I[[]KMOikp8O*azlo[]ikazZ ‘žacivN

C ^sym ( X )

^[]i

C ^sym (X ^k )

†kbr“kO*^—YX

B k f (x 1 , . . . , x k ) = B f (x 1 , . . . , x k ) +

∞

X

m=1

Z

(f (y 1 , . . . , y m ) − f (x 1 , . . . , x k ))P k (x 1 , . . . , x k ; dy 1 · · · dy m )

^{¬ C;€k®}

[]Kslo[0lua]O‰yiv^sxIb[cbrik^slkqqrX.p1ifZwb[cbr“kO˜br^´[]KMOZcO*^sZcO3[]Kslo[–b’‘Slm^Mik^I¤¥^MO9†vlo[]b“vO

f ∈ C ^sym ( X )

“olu^MbeZcKMO9Z lu[

x = (x 1 , . . . , x k )

^{­[]KMO*^}

B k f (x) ≥ 0

^œ J%KMO˜[]KMO*ivacX.iu‘SVYO;y¡[]biv^sZ–}ªlu^sx›ƒªbrZ(pMa]O9ZcO*^f[cO;x b^›l

£%lGX[cKslu[N–ivacO–ikaŸqrO9Z]ZŸZw[cazlubr†kKf[c‘žika]£4lka]xIqrXOnY[cO9^sxMZS[ci[cKsO0RAlua]škio“N–iIxIO9qrZŸik‘ br^v[]O*azlky[cbrik^sZS^Miu[

psacO;ZwO9ac“Ybr^M†.[cKMOª^Y_MN$—1O9a‰iu‘”pslkaw[]bry*qO;Z0[cKY_sZ3br^sy*q_sxMb^M† [cKMOmpsaciIyO;ZcZcO9Z0ik‘\­ZclGXv­4y*ivlu†v_Mqelo[cbrik^©lu^1x

‘žazlu†vN0O*^f[]lu[cbrik^

œ ¢ ^ VIO9y¡[]biv^ 2£ Oªbrqqr_sZw[cazlo[]O[cKMbeZ‰xIO9“kO9qivpMN0O*^f[˜—YX›ik—M[]lubr^Mbr^M†´^MO9£ a]O9Zc_Mq[]Z3iv^

[]KMO3azlo[cO–iu‘yiv^Y“kO*a]†kO9^syO[ci[cKsO–qelG£ ik‘ qelua]†kO–^Y_MN(—8O*azZlu^sxA[cKsO˜yO*^f[]a]lkq qbrN0b’[br^A[]KMO˜Zw[]lu^1xMluazx

VIN–ivq_1yzKMio“IZwšYbN0iIxIO*qik‘”y*ivlk†k_Mqelo[]biv^I¤=‘žazlu†vN0O*^f[]lu[cbrik^

¬

[cKY_sZ˜†vb“Ybr^M†´l´Zwivq_M[cbrik^™[ci ghaciv—MqO9N C;‚

‘ža]ikNB>€A•‘žika%[cKsOy*lkZcO”iu‘&—1iv_M^sxIO;xbr^f[cO9^sZwb[cbrO9Zz®

œ

¢ ^ §

pMp8O*^sxIbn[\£ iZwbrN0pMqO$lu_InIbrqbelua]X‰a]O9Zc_Mq[]ZlkacO(pMacO;ZwO9^f[cO9x½­M[cKsOI<sazZ\[Siu‘)£KMbeyzKªbrZSxIO*“viu[]O9x[ci

[]KMO(p8ivZ]Zcb—Mbrqrb’[\Xiu‘)lupspMaciGnIbrN3lo[cbrik^iu‘hy*ik^f[cbr^Y_Mik_1Z%‘ž_M^sy[cbrik^sZSik^ªN0O9lvZw_sacO;Z—YXlk^sluqrXf[cbey”‘ž_M^sy[cbrik^sZ

br^˜Zc_syzK3l”£4lGX([cKslu[)[cKMbeZhlkpMpMa]iGnIbN3lo[]biv^$a]O9Zcp8O9y¡[zZ[cKsOxIO*a]br“Glu[cbrik^

¬

[]Kslo[4xIiYO9Z)^siu[ ‘žikqrqrio£›‘ža]ikN±[cKMO

Zw[]lk^sxMlka]xVf[civ^MO¤

²

O9bO9a]Zw[cazlkZ]Z [cKMO9ika]O*N iv^lkpMpMa]iGnIbN3lo[]biv^1®

œ

¢

[4brZ £4ikac[cK3^siu[cbr^M†”[]Kslo[)[]KMOiv—I[]lkb^sO9x–qbrN0b’[zZhik‘D¾s_sy¡[]_slo[]biv^3pMa]iYy*O9Z]ZwO;Z Zw_spMpMqrX–lqelua]†kOy*qrlvZcZ ik‘

^1lo[c_sa]lkqO*nIlkN0pMqO;ZS‘žika”b^1<s^Mb[cO3xIbrN–O9^sZcbiv^sluq RªO9KMqO9aZwO9N0b†vaciv_MpsZ9­8£KsivZcO$lu^1luqrXYZcbeZbeZ”£ O9qq_M^1xIO*a

£%lGX3br^[]KMOpMa]O9ZcO*^f[qb[cO9a]lu[c_Ma]Ok­IZcO*OO

œ† œ >…f} Alu^sxa]O‘žO*a]O*^1yO9Z []KMO*a]O*br^‘žika†kO9^MO*azluq8[]KMO*ivacXv­ >}1CRA•‘žika

ZcikN0O”pMa]ikp8O*ac[cbrO9Z4iu‘ ”lu_sZ]Zcbrlk^RªO9KMqrO*aZcO*N0b†vaciv_MpsZ%lu^1x>DC;}A‘žika%[cKsO”y*ik^M^sO9y¡[]biv^£b[cK—Mazlu^1yzKMb^s†

psaciIyO;ZcZcO9Z4£b[cKbrN–N0br†kazlo[]biv^

œ

!#" 2 ( 68: ) + &$) :12 .=2 68) 2

§

Zl£4lkacN0br^M†‰_Mp £4O3ZwKslkqq xIbeZ]y_sZ]ZZwKsikac[cqrX[cKMO˜y9lkZcO$ik‘

X

—8O*br^M†[]KMO3ZwO*[”ik‘ ^slu[c_Mazluq ^Y_MN$—1O9a]Z lk^sxª[]KMO0a

œK œ ZŸiu‘

¬

ƒv®S—8O*br^M†lKsikN0ik†vO*^MO9ik_sZSdv_1lkxIazlo[]bry$p1ivqXY^MivN0brlkq

Ϣ

^A[cKMbeZy*lvZwO–O9df_slu[cbrik^

¬

ƒv®

[zlušvO9Z [cKMO”‘živacN iu‘[cKMOZcXIZ\[]O*N ik‘df_slvxIa]lu[cbeyO;df_slo[]biv^sZ

˙

x j = (A ^j x, x), j = 1, 2, . . . , N,

^¬C;v®

£KsO*a]O

N

beZ0lm^slu[c_Mazluq4^Y_MN(—8O*a0iva

N = ∞

­h_M^MšY^Mio£^

x = (x 1 , x 2 , . . .)

^brZ

N

¤¥“kO;y¡[]ika$lk^sx lkqq

A ^j

lkacO–†kbr“kO9^2Z]dv_1lua]O

N × N

¤¥N0lu[ca]bry*O9Z

œ(¢

‘

X

beZ[]KMO˜ZcO[iu‘4^slo[]_Ma]lkq^f_sN(—8O*azZŸlk^sx2ik^MqrXm—Mbr^slua]X br^f[cO9a]lvy¡[cbrik^1ZpMacO;ZwO9ac“Ybr^M†Ÿ[cKMO^f_sN(—8O*ahik‘•psluac[cbeyqrO9Z)lkacOlkqqrio£ O;x•­uN0O9lvZw_sacO*¤>“oluqr_MO;x$šYbr^MO[]bryO9df_slo[]biv^

¬

@v® beZacO;xI_sy*O9x‰[ci0[cKsOxIbrZ]ya]O[]OZwXIZw[cO*N

˙ x j = 1

2

N

X

k=1 K

X

l=1

x k x l

X

n≤m

P _kl ^nm (δ _n ^j + δ _m ^j − δ _k ^j − δ ^j _l ), j = 1, 2, . . . , N,

^¬C9…f®

£KMO9acO

P _kl ^nm

brZ%lk^‰lua]—Mb[cazlua]X–y*ikqrqO;y¡[cbrik^‰iu‘½p8ivZcb’[]b“vO^Y_MN(—8O*azZh[cKslu[4beZ%ZwXYN0N0O[ca]bey£b[cK‰a]O9Zcp8O9y¡[

[]i3[cKsO(OnMyzKslk^M†kOik‘

n

^{lu^sx}

m

^¬xIO<s^Mbr^M†3[]KMO(azlo[]O9Zik‘[cazlu^sZw‘žika]N3lo[cbrik^ik‘ lk^YXpslkbaSiu‘ pslkaw[]bry*qO;Z

j

ik‘ [\XYp8O

k

^{lu^sx}

l

[ci[]KMO˜pslkbaik‘4pslkaw[]bry*qO;Ziu‘4[\XYp1O

m

^{lu^sx}

n

®¡­lu^1x2£KsO*a]O

δ _n ^j

^brZ[cKMO E”a]ik^sO9yzškO9a ZcXYN(—8ikq

¬

O9df_sluqeZC”b’‘

j = n

lk^sx‚$ik[cKMO9ac£beZcO;®

œ

Œ »h» ŠÐ‹ » P

N

^#

P N

j=1 A ^j = 0

^{=I=7 I/}

F P L 1 ! 1I P#"

"$% F ¬

C;k®&# R P R #% R 9

7 ' P P

(

x 0

/)F +*P 1

x(t)

^{9L ,% =P-P,%. (}

FR ! ' /)F $ /R0"1* ?,P2% 3 4

j

P R2

A ˜ ^j

^{F ($}

A ^j

^{5%6 L}

j

^{)7 = ,}

j

^{) 8 /(P}

( ˜ A ^j v, v) ≥ 0

^/%

(N − 1)

^{)F (}

v

^{/)F 9 F}

":%

¬

C;k®6;< RF 6 R

¬

C9…v®

IP R ==

P _kl ^nm

^"

,% 1 R

A ^j _kl

^{/)F >P}

k 6 = j

^*

l 6 = j

^{* P,% P}

R2

A ˜ ^j

^{1 P,% )F R ?}

j

²

O$ivN0b’[”l˜ZwbrN0pMqrO(pMa]iYiu‘ iu‘ []KMbrZ‘Ðlky[

œS¢

[Ÿ£%lkZpMacO;ZwO9^f[cO9x[]i‰†vb“vO(l0‘žO*O9qbr^M†iu‘ [cKsO$xIbÀ8O9acO9^syO

—8O[\£4O*O9^˜[]KMOyqelkZ]Z ik‘p8ivZcb’[]b“Yb[\X˜pMa]O9ZcO*a]“fbr^M†$O*“kivq_M[cbrik^sZ4lu^sx‰[cKsO”y*qrlvZcZ iu‘&šYb^MO*[cbeyŸO9df_slo[]biv^sZ

¬

C9‚f®

œ

J%KsbrZxIbÀDO*a]O*^sy*O£bqrq½—8O”Zw[c_1xIbO;xZwXIZw[cO*N3lu[cbey*luqrqrX˜b^[]KMO^MOnY[ZcO9y¡[]biv^

œ

!#" + .=6 .1&+ ),- + : ) 4 6! 2 )J6 ) 2 (*& " :1+34 )

J%Ksaciv_M†kKMiv_I[˜[]KMOApslkp1O9a‰[]KMO.qO*[w[cO9a

X

xIO*^Mik[cO;Zl›qiIy*lkqqrX©yikN0pslvy¡[N–O*[ca]bry2Zwp1lkyOv­lu^1x

C(X)

¬

acO;Zwp8O9y[cbr“kO9qX

C ∞ (X )

®˜xIO9^Miu[]O9Z3[]KMO H%lk^slkyzK Zcpslky*Omiu‘—8ik_M^1xIO9x y*ik^f[cbr^Y_Mik_1Z3‘ž_M^sy[cbrik^sZik^

X

¬

acO;Zwp8O9y[cbr“kO9qX–b’[zZ%yqrivZcO9x˜Zc_M—sZcpslky*Oyiv^sZcbrZw[cbr^M†(ik‘•‘ž_M^sy[cbrik^sZ4“olu^MbeZcKMb^s†(lo[%b^1<s^Mb[\XI®hO9df_MbrpMp8O9x3£b[cK

[]KMOª^MivacN

k f k C(X) = sup _x∈X | f (x) |

^œ O*^Mik[cbr^M†´—YX

X ⁰

^l iv^MO¤¥p1ivb^f[˜Zcpslky*Omlu^sx —YX

X ^j

^[cKMO

p8io£4O*azZ

X × · · · × X

^¬

j

¤=[]bN0O9Zz®¡­4£4OZcKslkqqxIO9^Miu[]O—YX

X

[cKMO9ba˜xMbrZÐj\ikbr^f[–_M^sbiv^

X = S ∞ j=0 X ^j

­ £KsbryzK beZ–lu†vlkb^ lmqiIy*lkqqrX´yivN–p1lky¡[–ZwpslvyO

œ

J%KMOO*qrO*N0O*^f[]Z$iu‘

X

£bqrq4—1OxIO9Zcbr†k^slu[cO9x —YX —8ikqex qrO[c[cO9a]Z9­MO

œ† œ

x, y

^œ%¢

^sZw[cO;lkxiu‘

X

b[brZiu‘Ö[cO9^ªN0ika]Oyik^Y“vO*^MbrO*^f[%[ci3£4ika]š˜£b[cKªb[]ZZcXYN0N–O*[ca]bLK;lo[]biv^

S X

£KMbeyzKmbrZ[cKsO$df_Miu[]bO9^f[ŸZcpslky*O(ik—M[]lubr^MO;x—fXbexIO*^f[cb‘žXYb^s†lu^YX[\£ ipslubrazZ

x, y

[cKslu[ŸxIbÀDO*aŸik^MqrX

—YXl0p1O9acN$_I[]lu[cbrik^iu‘ b’[zZO*qrO*N0O9^v[zZ

œ ²

OZcKslkqqxMO*^Mik[cO—YX

C ^sym ( X ) = C(S X )

^{¬a]O9Zcp œ}

B ^sym ( X )

^®

[]KMO H4lk^slkyzK ZwpslvyO;Z$ik‘SZcXfN0N0O[]acbeyyik^f[]b^Y_Miv_sZ

¬

acO;Zwp8O9y[cbr“kO9qX´—8ik_M^1xIO9x N0O9lkZc_Mazlu—MqrO;®‘ž_M^sy[cbrik^sZ

iv^

X

^{lk^sx´—YX}

C ^sym (X ^k )

^{¬acO;Zwp œ}

B ^sym (X ^k )

®[]KMOyika]a]O9Zcp1iv^sxIbr^M†mZwp1lkyO;Z(ik‘‘ž_M^sy[cbrik^sZ–ik^›[cKMO

<1^Mb’[]OSp8io£4O*azZ

X ^k

^œ

M (X )

^¬acO;Zwp8O9y[cbr“kO*qrX

M sym ( X )

®4xIO*^Mik[cO;Z)[]KMO9H4lk^slkyzK˜ZcpslvyOik‘;<s^Mb[cOH4ika]O*q N0O;lkZc_MacO;Z ik^

X

^¬acO;Zwp8O9y[cbr“kO9qX0ZwXYN0N0O[]acbeyN0O9lvZw_Ma]O9Z)ik^

X

®)£b’[]K3[cKsO‘ž_Mqrq1“olkacbelo[]biv^˜lkZ []KMO^sika]N

œ

H4X$£ O;luš[]ikp8ikqrik†vX(br^0[cKMOŸZwpslvyOik‘DN0O;lkZc_MacO;Z £4OZwKslkqq8luqr£4lGXIZ_M^1xIO*azZ\[zlu^sx–[]KMO

∗

¤>£4O9lkš[civp1ivqiv†kX

œ

J%KsO$_Mpsp1O9aZw_M—1Zcy*acbrpI[# #‘živa”lkqq&[]KMO9ZcO–ZcpslvyO9Z

¬O œ† œ

M ⁺ (X )

®£bqrq)xIO*^siu[cO$[cKsO0y*ika]acO;Zwp8ik^1xIb^s†

y*ik^MO;Z4iu‘^sik^I¤¥^MO*†flo[]b“vOO*qrO*N0O9^v[zZ

œ

J%KMO”qrio£ O9a4Zc_M—sZ]ya]brpI[ F<s^ ‘žika%[]KMOZwpslvyO;Z ik‘‘ž_M^1y¡[cbrik^1Z%ik^

X

^­

O œ† œ

C ^sym _{f in} ( X )

­s£bqrq•xIO*^Mik[cO”l$Zc_M—sZcpslvyOŸ£b’[]Kiv^MqX <s^sb’[]OŸ^Y_MN$—1O9a%iu‘^Miv^I¤¥“Glk^MbeZwKMbr^M†0yivN–p8ik^sO*^f[]Z

¬

p1ivqXY^MivN0brlkqD‘ž_M^sy¡[]biv^sluqeZz®

œ

²

OZcKsluqrqM£4ika]šN0ivZw[cqrX$£b[cK

X = R ^d

iva

X

—8O*br^M†(ly*qifZwO;x–N0lk^Mb‘žikqex

Ϣ

^0[]KMbeZhy*lvZwO—YX

C ^k (X)

£4O(ZcKsluqrqxMO*^Mik[cO[]KMOH%lu^1lkyzKªZwp1lkyO(iu‘ —1iv_M^sxIO;x

k

[]bN0O9ZSyiv^v[]b^Y_Miv_sZcqXxIb’ÀDO*a]O*^f[]brlk—MqO‘ž_M^sy¡[]biv^sZ

£b[cK—8ik_M^1xIO9xxIO9acbr“olo[cbr“kO;Z4O9df_MbrpMp1O;x£b’[]K[]KMO^MivacN

k f k C ^k (X) =

k

X

l=0

k f ^(l) k C(X) .

‘y*ik_MazZcO

C(X ) = C ⁰ (X)

^{lk^sx}

C _c ^k (X )

^¬acO;Zwp8O9y¡[]b“vO*qrX

C _∞ ^k (X )

®)xIO9^Miu[]O9Z []KMOSZc_M—sZcpslky*Oiu‘

C ^k (X)

y*ik^sZcbeZ\[]b^M†iu‘ ‘ž_M^1y¡[cbrik^1ZS£b[cK.ly*ikN0pslvy¡[ŸZc_MpMp8ikac[

¬

acO;Zwp8O9y[cbr“kO9qX“olu^MbeZcKMb^s†lo[”br^=<s^Mb[\X[civ†kO[]KMO*a

£b[cKªlkqqD[]KMO*braxIO9acbr“olo[cbr“kO;Z4_Mp[ci3lu^sxbr^syqr_sxIbr^M†–[cKsOikazxIO*a

k

^{® œ}

H4X

L 1 (X )

£ OxIO9^Miu[]O”[cKMO_sZc_slkq;H4lk^slkyzKZcpslky*OŸik‘&br^f[cO9†kazlu—MqrO‘ž_s^sy¡[]biv^sZ*­8lu^sx

W ^k (X)

^beZ%[cKMO

VIik—8ikqrO*“‰Zcpslky*O”iu‘N0O;lkZc_Ma]lk—MqrO‘ž_M^1y¡[cbrik^1ZKslG“Yb^s† <s^sb’[]O^Mika]N

k f k W ^k (X) =

k

X

t=0

k f ^(t) k L 1 (X) ,

£KsO*a]O([]KMO3xIO*a]b“olu[cbr“kO9Z”lkacO0xIO <1^MO9x2b^2[cKsO–£4O9lkšmZwO9^sZcO

œ$§

[qelkZw[9­D‘žival?H%lu^1lkyzK2ZcpslvyO

B

^{lk^sxAl}

p8ivZcb[cbr“kOh^Y_MN$—1O9a

t 0

­o£ O4ZwK1luqrqvxIO9^Miu[]O —YX

C([0, t 0 ], B)

^[cKMO H%lu^slvyzKZwpslvyO)ik‘1yiv^f[cbr^f_sik_sZ½‘ž_M^sy¡[]biv^sZ

‘ža]ikN

[0, t 0 ]

^[]i

B

O9df_MbrpMp8O9x£b’[]K[cKMO^MivacN

k f t k C([0,t 0 ],B) = sup

t∈[0,t 0 ] k f t k B .

H4X3lpMa]ikp1lu†vlu[civa

¬

a]O9Zcp1O;y¡[]b“vO*qrX0l(—slkyzšY£%luazx–pMacivpslu†flo[]ika¡®&b^l‘ÐluN0brqX0ik‘ZwO*[]Z

M s

­

s ≥ 0

^­f£ O

ZcKslkqq1N–O;lu^‰l‘ÐluN0brqX

U (t, s)

^­

t ≥ s ≥ 0

iu‘•[cazlu^1Z\‘živacN3lo[]biv^sZ

M s 7→ M t

^¬

a]O9Zcp1O;y¡[]b“vO*qrX

M t 7→ M s

®

Z]lo[]brZw‘žXYb^s†S[]KMOyik¤¥y*XIyqrO4bexIO9^v[]b’[\X

U (t, s)U (s, r) = U (t, r)

^¬a]O9Zcp1O;y¡[cbr“kO9qX

U (s, r)U (t, s) = U (t, r)

^®

‘živa

t ≥ s ≥ r

lu^sx©Zc_syzK›[]Kslo[

U (t, t)

beZ–[cKsOmbrxMO*^f[cb[\X ikp8O*azlo[]ika–‘žikalu^YX

t

^œ¨¢ ^©psluac[cbey_sqrlka9­

P FJ' #%2br^µl ‘ÐluN0brqX¨ik‘[cKMO,H4ika]O*q”Zw_s—sZwO*[]Z

X t

iu‘

X

^¬ZwKsikac[cqrXk­br^

X

^®˜beZl

psacivpslu†flo[civa$ik‘Sqrb^sO9lua˜y*ik^f[cazlky[cbrik^sZ

V (t, s) : M ⁺ (X s ) 7→ M ⁺ (X t )

^œ J%KsOmlkxGj\ivb^f[3ikp8O*azlo[]ikazZ

U (t, s) = V ^∗ (t, s)

lky[—slkyzšY£%luazxMZ ‘žacivN

B(X t )

^[ci

B(X s )

^¬lu^sx‘živacNl0—slkyzšY£%luazx‰psacivpslu†flo[civaz®­

[]KMOxI_slkqb[\X˜O;dv_1lo[cbrik^—8O*br^M†

(U (t, s)f t , µ s ) = (f t , V (t, s)µ s )

‘živa”‘ž_M^sy[cbrik^sZ

f t ∈ B(X t )

lk^sx2N–O;lkZc_Ma]O9Z

µ s ∈ M ⁺ (X s )

^œ3² O˜ZclGX[]Kslo[(Zc_syzK lpMacivpslu†flo[]ikaŸbrZ

¦sO*qrqO9ab‘ [cKMO‘ÐlkN0bqrX

U (t, s)

beZl˜Zw[ca]ik^M†vqXyik^f[]b^Y_Miv_sZ%‘ÐluN0brqXiu‘ ikp8O*azlo[]ikazZ

C ∞ (X t ) 7→ C ∞ (X s )

¬

b’‘

U (t, s)

xIO9p1O9^sxik^MqrX‰iv^[cKMO(xMb’ÀDO*a]O*^sy*O

t − s

­M[]KMO9ZcOivp1O9a]lu[cikazZ ‘žika]N l˜¦sO*qrqO9aZcO*N0b†vaciv_Mp1®

œ §

RAlua]škio“ªpMa]iIyO9Z]ZZcp1O;ybL<sO9x —YX

U (t, s)

^{­bœO œ} —YXA[]KMO3[cazlu^1Zwb[cbrik^ pMa]ik—slk—Mbrqb[cbrO9Z

P(t, s, x, dy)

^‘ža]ikN

X s

[ci

X t

xIO<s^MO;x—YX

E ^t,s _x f t = Z

f t (y)P (t, s, x, dy) = (U (t, s)f t )(x),

£brqrq—8O[cKsO*^Ay9luqrqO;xl˜^Mik^MKsikN0ik†vO*^MO9ik_sZ¦sO*qrqO9apMa]iIyO9Z]Z

¬

£KMO*a]O£4O_sZcO[cKMO–Z\[zlu^sxsluazx^siu[]lu[cbrik^sZ

E x

‘žika%[]KMOOnIp8O9y¡[zlo[]biv^ik‘[]KMOpMa]iYy*O9Z]Z%Z\[zluac[cbr^M†3lo[

x

^{® œ}

½#&'h#‰ © %&#

· ž‹ » hVI_MpMp8ivZcO

D

brZlqrbr^MO9lkaKY_MqrqIiu‘slŸxIO*^1ZwO%Zw_s—sZwp1lkyO b^

C ∞ (X )

lu^1x[cKsO4ZcO[iu‘1y*ik^sZw[]lk^v[

‘ž_s^sy¡[]biv^sZ

Ϥ

N0lkpMpMbr^M†

Ω

‘žacivNl‰xIO*^sZcO(Zc_M—sZcpslky*Oiu‘

M (X )

y*ik^f[]lkb^sb^M† <1^Mb’[]O(qrb^sO9luaSyikN$—Mbr^slo¤

[]biv^sZŸiu‘

bra]lvyN0O9lvZw_Ma]O9Z[ci

¬

p8ivZ]Zcb—MqrXª_M^Y—8ik_M^sxMO9xs®qbr^MO;luaŸ‘ž_M^sy[cbrik^slkqrZSb^

C(X )

^£b[cK xIikN3lubr^sZ y*ik^f[]lkb^sb^M†

D

beZy9luqrqO;x

x = (x 1 , . . . , x n )

^{¤+ ,%IP R} ‘žival3†kbr“kO9^ <s^Mb[cO$y*ikqrqO;y¡[]biv^ik‘

O9qO9N0O*^f[]Z

x

^iu‘

X

^­ub’‘

Ω( P n

i=1 ω i δ x i )g

beZ^Mik^I¤¥^MO9†vlo[]b“vOh‘živa lua]—Mb’[]a]lkacX”p8ivZcb’[]b“vO%^f_sN(—8O*azZ

ω 1 , . . . , ω n

£KsO*^MO9“kO*a

g ∈ D

brZ%^Miv^I¤¥^MO*†flo[cbr“kO”lu^1x‰“olu^sbrZcKMO9Zlu[p1ivb^f[]Z

x 1 , . . . , x n

^œ

Ω

brZy9luqrqO;x ,%

P R b’‘b[brZ

x

^{¤+ ,%IP R ‘žikalkqq}

x ∈ X

^œ

¢

^pslkaw[]bry*_Mqrlka9­IlkpMpMqrXfbr^M†–[cKsbrZxMO <s^Mb[cbrik^[]i–p8ikqrXY^MikN0beluq•ivp1O9a]lu[cikazZ

Ω

^¬ZwO9O”[cKMOa

œK œZ œ

iu‘O9df_slo¤

[]biv^

¬

ƒv®c®4£ OZ]lGX0[cKslu[l–qbr^MO9lkaN3lup

A = (A 1 , . . . , A K ) : D 7→ (C(X ), C ^sym (X 2), . . . , C ^sym (X ^K ))

^{¬ C;}k®}

beZ. 2% 1 –b’‘‘živa–lk^YX y*ikqrqO;y¡[]biv^ iu‘SxMb’ÀDO*a]O*^f[$p8ikbr^f[]Z

x 1 , . . . , x m

iu‘

X

^­ ‘žika0lu^YX

^sik^I¤¥^MO*†flo[]b“vO‘ž_M^sy[cbrik^

g ∈ D

Zw_1yzK˜[cK1lo[

g(x j ) = 0

^‘živaluqrq

j = 1, . . . , m

­Mlu^sx˜‘žikalu^YX˜yivqqrO9y[cbrik^

ik‘p8ivZcb’[]b“vO”^f_sN(—8O*azZ

ω j

ik^MO”KslvZ

K

X

k=1 m

X

i 1 =1

· · ·

m

X

i _k =1

ω i 1 · · · ω i k A k g(x i 1 , . . . x i k ) ≥ 0.

^¬C;ƒv®

Rmika]O*io“kO9a9­£ OZwK1luqrq4Z]lGXA[]Kslo[

A

^{beZ ,% ,%?P R –b‘}

A k g(x 1 , . . . , x k )

^beZ

x =

(x 1 , . . . , x k )

¤¥y*ik^sxMb’[]biv^sluqrqX.p8ivZcb’[]b“vO˜‘žika0lu^YX

k

^{lu^1x}

x

^œ ¦br^slkqqrXk­)lAqbr^MO9lka$ivp1O9a]lu[civa

A k : D 7→

C ^sym (X ^k )

beZZ]lubex‰[]i3—1O 2%< 2%IP R ika9 ,%I1 b‘[]KMbeZbeZ%[cKMO y9lkZcO‘živa%[cKMO”‘ÐlkN0bqrX

A = (0, . . . , 0, A k )

^{iu‘[\Xfp8O ¬CG}u® œ}

/ ¢ ‘

Ω

beZqrbr^MO9lka9­8b

œO œ

Ω(µ)g = (Ag, µ)

£b[cK2ZcikN0Oqrbr^MO9lkaSivp1O9a]lu[cika

A

^{br^}

C(X )

^­D[cKMO

lk—1io“vOxIO <1^Mb’[]biv^˜iu‘½y*ik^sxIb[cbrik^1luqsp8ivZcb[cbr“fb[\X–brZhacO;xI_syO;x–[ci[]KMOSZw[]lk^sxMlka]x3xIO<s^Mb[cbrik^3ik‘yik^1xIb’[]biv^sluq

p8ivZcb[cbr“fb[\X˜ik‘[]KMOqbr^MO;lua%ikp8O*azlo[]ika

A

^¬ZcO*Obr^f[ca]iYxM_sy¡[]biv^1®

œ

_MaxMO <s^Mb[cbrik^1Zlua]OSN0ik[cbr“Glu[cO;x—YX3[]KMO”‘žikqrqrio£b^M†3ZcbN0pMqrO”ik—sZcO*a]“olo[]biv^sZ

œ

Œ »h» ŠÐ‹ »

" 1 1 ¬

…v®I ( #L D 2% 1

P / R= ?1R PF P ' : )F =R

P ¬

…f®$1

g ∈ D

^{* 1}

Ω

^{,%9P R}

"$ 1 3 P

B k C ∞ (X ^k )

^*

k = 1, . . . , K

^{* 3 ,% P R 3 P}

RP 1

= P( (% (-P

¬

C;‚k® " 1 P 1

g 7→ B k g ⁺

C ∞ (X )

^{1 R/ P ! $" F}

C ∞ (X ^k )

^{/ ,% ,% 1 1}

g ⁺

^{/( ¬@f® "}

' ¬

bÖ®ÁO[ l^Miv^I¤¥^MO*†flo[cbr“kO

g ∈ D

—8O%Zw_syzK[cKslu[

g(x 1 ) = · · · = g(x m ) = 0

‘živaZcikN0Ohp8ikbr^f[]Z

x 1 , . . . , x m

^œ

KsififZwbr^M†

µ 0 = ω 1 δ x 1 + · · · + ω m δ x m

£ O(ZcO*O[cKslu[

(g, µ 0 ) = 0

­8lk^sxªyiv^sZwO;df_MO*^f[cqrX []KMOªyiv^sxIb[cbrik^›ik‘p8ivZcb’[]b“Yb[\X´pMacO;ZwO9ac“olu[cbrik^ brN0pMqbrO9Z$[]Kslo[

d

dt (g, µ t ) | t=0 ≥ 0

^­h£KsbryzK N–O;lu^sZ$[]Kslo[

Ω( P n

i=1 ω i δ x i )g

brZ^sik^I¤¥^MO*†flo[]b“vO

œ

Vf[]lu[cO*N0O9^v[

¬

bbÖ®%beZ%ik—Y“Ybiv_sZ

œ

/ )J%KY_sZ ik^‰[cKMOS‘žika]N3luqsqrO*“vO*q>­f[cKMO”xIbÀ8O9acO9^syOŸ—1O*[\£ O9O*^3[]KMOŸ†kO*^sO*azluqsp8ivZcb[cbr“fb[\X3pMa]O9ZcO*a]“f¤

br^M†$O*“kivq_M[cbrik^sZhiu‘½‘živacN

¬

ƒf®)lk^sx3[]KMOSšYbr^MO[]bryO9df_slu[cbrik^sZ iu‘

k

¤¿lua]X–b^f[cO9a]lvy¡[]b^M†$psluac[cbeyqrO9Z

¬

C;‚k®)beZ [cKMO

xMb’ÀDO*a]O*^sy*O—8O[\£4O*O*^˜y*ik^sxMb’[]biv^sluqrqX$p1ifZwb[cbr“kOSlu^sx3Zw[ca]ik^M†vqX$yik^1xIb’[]biv^sluqrqrX$p8ivZcb’[]b“vO†kO9^MO*azlo[]ikazZ

œ

¦Mika

[]KMOy*lvZwOŸiu‘ xIbeZcy*acO*[cO

X

[cKMbeZik—1ZwO9ac“olo[]biv^‰beZ%bqrqr_sZ\[]a]lu[cO;x—YX˜ghacivp1ifZwb[cbrik^ C œC œ

_Ma <1a]Zw[Z\[]ac_sy[c_Mazluq•a]O9Zc_Mq[yzKsluazlky[cO*a]bDK*O9Zh[cKsOyik^1xIb’[]biv^sluq•p8ivZcb[cbr“fb[\Xlu[ <MnIO9xp1ivb^f[zZ

œ

·Y» Œ · P

X = R ^d

= /1P

D

^P#

F 1

C _c ² (X )

^{I 1 9}

x = (x 1 , . . . , x n )

^{)' ,% 1 *1}

Ω

n

X

i=1

ω i δ x _i

! g =

n

X

j=1

a ^j (x)g(x j ) + (b ^j (x), ∇ )g(x j ) + 1

2 (c ^j (x) ∇ , ∇ )g(x j ) +

Z

(g(x j + y) − g(x j ) − χ(y)(y, ∇ )g(x j ))ν ^j (x; dy)

¬ C u®

g ∈ C _c ² (X)

^{*>P /4}

c ^j

^{IP R PF / R2* (}

ν ^j

^{%? = *}

χ

FIL

¬

C9®+*

a ^j , b ^j , c ^j , ν ^j

^P

P n i=1 ω i δ x i

' 0Á½O[_sZ”Zw[]lkaw[”£b’[]K.lyivN0N–O9^f[Ÿiv^m[cKsO

iv_Ma]acL9†kO[]KMO*ivacO9N

œ$§

qriYikšik^A[cKMO0pMa]iYiu‘hik‘

KsbrZ[cKMO9ika]O*N

¬

ZwO9O >DC;€A¥­ >~A>­ >π@ Až®ZcKMio£ZŸ[cK1lo[([]KMO‰yzKslka]lvy¡[]O*a]bLK;lo[cbrik^.beZ(lky[c_slkqqrXA†vb“vO*^ ^Mik[(ik^MqrX

‘živa‰yiv^sxIb[cbrik^slkqqrX›p8ivZcb[cbr“kOªikp8O*azlo[]ikazZ*­ —M_I[lkqrZci ‘žikayik^1xIb’[]biv^sluqrqrX p1ifZwb[cbr“kOªqrbr^MO9lka3‘ž_M^sy[cbrik^slkqrZ

iv—I[]lkb^sO9x0—YX <snYbr^M†[]KMOlkac†v_MN0O*^f[]Z

œ

PSluN0O*qrXk­fb[hbrZ4ZcKMio£^–[cKslu[ b‘•[cKMOqrbr^MO9lka)‘ž_M^sy[cbrik^slkq

(Ag)(x) : C _c ² 7→ R ^d

^{brZ$ 2%7P R 4lu[}

x

^{­YbœO œ b‘}

Ag(x) ≥ 0

£KMO9^MO*“vO*ahl”^Miv^I¤¥^MO*†flo[cbr“kO

g

“Glk^MbeZwKMO;Z lu[

x

^{­•[cKsO*^}

Ag(x

®SKslvZ‘živacN

¬

C;®Sbraca]O9Zcp8O9y¡[]b“vO*qrXiu‘)[]KMO0pMacivp1O9aw[]bO;ZŸiu‘

Ag(y)

b^2iu[]KMO*a”p8ikbr^v[zZ

y

^œ

Pio£ qrO[_sZ”yzKMiYivZcO$lpsluac[cb[cbrik^2iu‘4_M^Mb[\XmlkZ”l˜‘ÐlkN0bqrXmiu‘

n

ZcN–iYik[cKA^sik^I¤¥^MO*†flo[]b“vO‘ž_M^sy[cbrik^sZ

χ i

­

i = 1, . . . , n

­Zc_syzKA[cKslu[

P n

i=1 χ i = 1

lu^sx2O9lvyzK

χ i

O9df_slkqrZŸik^sO$br^´l‰^MO9b†vKY—1ivacKMiYiIxmik‘

x i

^¬

lu^1x

y*ik^sZcO9df_MO9^f[cqrX2“olu^sbrZcKMO9Z$br^›lm^MO9b†vKY—1ivacKMiYiIx iu‘lk^YX2ik[cKMO9a$p8ikbr^f[

x l

£b’[]K

l 6 = i

^{® œ H4X} qbr^MO9lkacb[\X

Ω( P n

i=1 ω i δ x i ) = P n i=1 Ω i

­%£b’[]K

Ω j g = ( P n

i=1 ω i δ x i )(χ j g)

^œœ qrO9lkacqrX O;lkyzK ‘ž_M^sy¡[]biv^sluq

Ω i g

beZ˜y*ik^sxIb[cbrik^1luqrqX p1ifZwb[cbr“kOAlu[

x i

b^©[]KMOm_sZc_slkqZwO9^sZcOk­b

œO œ

g(x i ) = 0

brN0pMqbrO9Z

Ω i g ≥ 0

^‘žika‰l

^sik^A^sO*†vlu[cbr“kO(‘ž_M^sy¡[]biv^

g ∈ C _c ² (X)

^œ MO*^sy*O3lupMpMqrXYb^M†l <MnIO9xAp1ivb^f[“kO9a]Zcbrik^ iu‘h[cKMO

ik_saca]L*†vO

[]KMO*ivacO9N [ci0O;lkyzK

Ω i

­Iiv^MO”ik—I[zlubr^sZ%acO9pMa]O9ZcO*^f[]lu[cbrik^

¬ C o®

œ

§

Zhlyivacivqqelua]X”£ OZcKslkqqMiv—I[]lkb^0^Mio£©lyzKslka]lvy¡[cO9acbDK9lu[cbrik^ik‘D[cKMOZw[ca]ik^M†y*ik^sxIb[cbrik^1luqMp8ivZcb’[]b“Yb[\X

œ

·Y» Œ ·

X

D

^{P/ 9 1}

" 1

A k : D 7→ C ^sym (X ^k )

^{,%< ,%I1R ,%/}

A k g(x 1 , . . . , x k ) =

k

X

j=1

[a k Π j1 (x 1 , . . . , x k ))g(x j ) + (b k Π j1 (x 1 , . . . , x k )), ∇ )g(x j ) + 1

2 (c k Π j1 (x 1 , . . . , x k )) ∇ , ∇ )g(x j ) +

Z

(g(x j + y)g(x i ) − χ(y)(y, ∇ )g(x j ))ν k (Π j1 (x 1 , . . . , x k ); dy)],

^{¬ C @v®}

>1 P?1

Π jl R ^d

^{(1 1 FR JP=}

j l

^{* 4}

c k

P( ,%

ν ^j

^{"I 1R 9 PF9/ R2 1( 2%/ %// R=!"1*}

χ

^I

L

¬

C;® * >P 1 = 1

a k , b k , c k , ν k

(% / R RP(

1 P R F 1! #1 R DR

x 2 , . . . , x k

P R 13 4

x 1

"

" 1 F

A k : D 7→ C ^sym (X ^k )

^{,% 2%9P R I ?,%/}

A k g(x 1 , . . . , x k ) =

k

X

j=1

a k (Π j1 (x 1 , . . . , x k ))g(x j ) + B k g ⁺ (x 1 , . . . , x k ),

^{¬ C9~v®}

>1

a k

1 /

¬ C k®?

B k

7 ,% P R RP P !"

P FI

C _∞ ^sym (X ^k )

" ; 1 P=#% ! 1 = 1 1 / '

A

^{L 8 1 1 = 1}

a k , b k , c k , ν k

F1 PP R,%9

x 1 , . . . , x k

/ R=

ν k

3P 49 P

1L %("

' ¬

be®%¦sacivN J%KMO9ika]O*N € œ

C”b[‘žikqrqio£Z [cK1lo[‘žikalkac—sb’[]a]lkacX3xIbÀ8O9acO9^f[

x 1 , . . . , x k

A k g(x 1 , . . . , x k ) =

k

X

j=1

[a ^j _k (x 1 , . . . , x k )g(x j ) + (b ^j _k (x 1 , . . . , x k ), ∇ )g(x j ) + 1

2 (c ^j _k (x 1 , . . . , x k ) ∇ , ∇ , )g(x j ) +

Z

(g(x j + y) − g(x j ) − χ(y)(y, ∇ )g(x j ))ν _k ^j (x 1 , . . . , x k ; dy)],