HAL Id: inria-00071502
https://hal.inria.fr/inria-00071502
Submitted on 23 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, estdestinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non,
Tails in Generalized Jackson Networks with Subexponential Service Distributions
François Baccelli, Serguei Foss, Marc Lelarge
To cite this version:
François Baccelli, Serguei Foss, Marc Lelarge. Tails in Generalized Jackson Networks with Subexpo-
nential Service Distributions. [Research Report] RR-5081, INRIA. 2004. �inria-00071502�
ISRN INRIA/RR--5081--FR+ENG
a p p o r t
d e r e c h e r c h e
THÈME 1
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
Tails in Generalized Jackson Networks with Subexponential Service Distributions
François Baccelli — Serguei Foss — Marc Lelarge
N° 5081
January 2004
-.0/
$123 4 #
-
5$7689#:
/4.
#
;=<?>&@ACBEDGFIHJ>LKMKCNCOGOPD
∗ QSR NM<UTEVWNCDX;=BEFUF
† QZY >L<[K3\NMO]>L<[TEN
‡
^_a`bJcJdfehgi[jkc[lnmpo0cqrjkspjtqu`bJc[j
vZwkxnytcqX^gz${
gXl}|a|&xMw~qXpcwuc[_c[wu_c L}Md4eCl}malnwksI}M}epdf|alnnc[j
0W[nn cMMcIqk_ac4coln+qJlnjksb|qkx}qu 0x}¡Xqu_c4quln¢x}¡qu_c£jtqlquxMal}wus3bl}o bl}¢lqucwJ
Mcc[wuln¢ ¤cUCln¥pjkxncqt¦xMwk¥pjW¦qk_j~ma§&co|LxnacCqk¨l}¢ajkcwu cSqubJcUj©=^_¨jblopbln¢lqucwUª}¦_¨_
¨j(l}l}&l}¢ xnnmacxn¡qu_c¦xMwk¥¢ xMlM£«ln3¨j~xM¢ l}qkcU3¬Cmc[mcnªn nc[jqu_cJqk bJcJqkx£¢ c[lnwl}¢ ¢Zmaj~qkxMbc[wuj
|awkcUj~c[MqJlqj~xMbJcIqk bJc
t ¦_c®jtquxn||al}¢ ¢l}wuwk l}¢¨jql}¥a¯|¢¨lnc¢¨lqucwqk_aln
t© c4m&j~cqk_c
|awkxM|&c[w~qtsqk_al}q$l(¢¨l}wuncpc¨lqk xnxn¡°qk_cfblop bJln¢&l}qkc[wS¨j[l}majkc[J§sljkan¢ cX¢ lnwkMcrjkcwuC¨cqubJc
Jljkan¢ c$j~qul}qk xnJlq=j~xMbcp¨jtql}Cqqk bJc$ qk_c|alMjtq=x}¡
tl}&±ama ¢ bJ²qjx}¡Lncacwl}¢ ¤[c[Cln¥pjkxn
acqt¦$xnwu¥jquxJcwuMcqu_clnjksbJ|pqkxnqk¨ ³¬Mmac[j~qk xn³³¢ xMjkc[0¡´xnwub³©
µ£¶C·E¸u¹º »Wn Mcc[wuln¢ ¤cU¼Cln¥pj~xM¼cqt¦xMwk¥pj[ª9j~m§Lcop|Lxnc[Cqk¨l}¢=wl}apxMbl}wu ln§¢cMª°_c[l?s³ql} ¢Gª
Cqkc[nwlqkcUql} ¢Gª½=c[wul?Mcwu§&c[¥ncM¾j$^_cxMwkc[b³ª±am¨¢ bquj[©
∗¿´ÀWÁ9¿ÃÂÄ´Å&ÀÆnÇ?ÅLÀÆ}Ç?ÈÉÊÌË?Í=ÎCÏÐÑÓÒÇUÔÉ+Õ+Õ+ÉÖ×ÊÌØÓÙkÇ?ÚÊG×Û?ÜtÍ+Ç}ÚÊP×ÛUÜ~Ý+ØÓÙ~Þß°×ÜtÜ~ÍtÑÓÑÓزàWÍtÛ?Ù~Þá Ê
† ¿ÃÛ?ÙÌâPØâGËUâGÍfÝá=ã(×uâGä?ÍtÒX×uâGØÓÜ~Ù~ÇEå+æ+Õ+Õ+ç+ÕÀÝ~èÝ+ÙPØÓé?ØÓÊÌÙPê}ÇEÁ9Ë?ÙGÙPØë×ìîíWÍtï×Ê´âPÒÍtÛâXÝáWÂ9ÜðâPË?×ÊGØë×Ñã(×uâPäUÍ~ÒX×uâGØÓÜtÙ×Û?Î Æâ]×uâGØÓÙGâGØÓÜtÙkÇCñÍtÊÌØÓÝâGĨò×uâÌâÐÛ?ØèÍtÊÌÙPØâÃóÇÅaÎ?ØÓÛé?Ë?ÊÌô+äCÇpÐõ$ÇÆ}ÞÚÝ+ÙPÙðàWÒX×UÞäöZÞ×Ü+ÞË?ênÇâGä?ÍSö°Ý+ÊGêfÝáLâGä?ØÓÙZ×ËUâGä?Ý+Êö9×ÙÙGË?ïUÄ
ïnÝ+Ê´âGÍ~Îféór¿´À÷pÂÆrô+ÊG×ÛâÛ?Ýø+å+ÉUÞ
‡¿´ÀWÁ9¿ÃÂÄ´Å&ÀÆnÇ?ÅLÀÆ}Ç?ÈÉÊÌË?Í=ÎCÏÐÑÓÒÇUÔÉ+Õ+Õ+ÉÖ×ÊÌØÓÙkÇ?ÚÊG×Û?ÜtÍ+Çnã(×ÊGÜ+ÞùÍtÑë×ÊÌô+ÍkàWÍ~ÛUÙkÞáÊ
W X5" # 2³)4"5$7: . $12 #
xnm&j0pxMxn&jI¢P¾lMj~sbJ|pqkxnqk¨¬Cmc¼colM+qkc3pc¯¢¨l ¬Cmcmac¯pc3 j~qkwu§ampqk xn m lqucmw
bl}o bl}¢Xj~qul}qk xnalnwuc³l}ajc[jJwui[jkc[l}mo pc¼MlM¥pj~xM ni[iwl}¢ jki[jl?ncUc[jJqucbJ|ajIpc£jkcwu c
jkxnm&j]cop|Lxnc[Mquc[¢ j[© {c4alqkc[mwJblopbln¢GªS¬CmxnwuwkcUj~|Lxna¯¢¨l3_&l}wunc0lnaj¢c£[lnj°¾maca¢c
c[ jkxn¢¨lquxM9ª:pxMcJ¢cJqucbJ|ajcJqkwl}qkcbJc[MqcJqkxnm&j¢cUj¢ c[Cquj|wui[jkcCquj³¢P¾aj~qulnCq
t ¬Cmal}&
xM3lnwkwquc¢ c|wuxpcUjkjkmajfpc[jl}wuwuMic[j0|alnw~quwpccqkc[bJ|aj
t©vxnmwfxn§pquc w¢G¾lnjksbJ|pqkxnqk¨¬Mmacc[
¬CmcUjtquxM9ªLxnmajrmpqk ¢ jkxnaj¢¨l|wuxn|wuiqki¬Cm9¾mcnwl}acpi¨lquxM¼pm¯l}qkcmawrblop bJln¢:cUjtqpmc
ma¼m¨¬Cmcnwl}&£j~c[wk¨clnajXmacm¨¬Cmcj~qul}qk xnma¯c[w~ql} ³qkcbJ|ajl}&jr¢ c|alMjkjki
t cqpc[j
|awkxM|wk iqui[jpc(¢ bJqkcUj±am¨pc[jc[jwui[jkc[lnmpo0pc(MlM¥pj~xM0ni[iwl}¢ ¨j~iUj©
º U ¸ ¯ wui[jkc[lnmpo¼pcCln¥pjkxn¼Mii[wuln¢¨jki[j[ª&l}wu¨l}§¢ cln¢iUlquxn wkcjkxnm&j]cop|Lxnc[Mquc[¢¢ cnª°p¨j~qkwu!
§ampqk xn"J¬Cmcmc¢ xnmwpcMªp j~qkwu §mpqk xn³ CqkiMwki[cnªp^_i[xnwu`bJc(pc(½=cwl?nc[wk§Lc¥McnªC¢ bJ²quc[j±ama pcUj©
< =
#: . S#
^x£qu_cI§Lc[j~qx}¡xMmw¥x¦¢ c[pMcnªqk_cI¢ qkcwlqumwucxn«nc[cwl}¢ ¤c[Cln¥pjkxn cqt¦$xnwu¥pj¦²qu_ _c[l?s
ql} ¢cUjkcwu crqubJcUj j¢ bJqkcUIquxql}acb ¬Cmc[mc[j[©(>xMmajxMIqu_cquln¢9lMj~sbJ|pqkxnqk¨j$x}¡W¦$ln²qua
lna3wkcUj~|Lxnajkcqk bJc[j(¦$cwucxnajk¨pcwuc[3@?ÓAlnaB?A]©z=olnqlnjksb|qkx}qu [jf¡´xnwqu_c[jkc¬Mm&l}Cqkqk c[j
¦$cwucfxn§pql} c[C?ÓA]©Z^_c(|wuc[jkcCq$|&l}|LcwXlnapwkcUjkjkc[jqu_clMj~cfx}¡Wncacwl}¢ ¤[c[0Cln¥pjkxncqt¦$xnwu¥pj
¦qk_l}wu§qkwl}wus¯quxn|Lxn¢ xnMsn©ED]qJ¡´xpmajkc[jxn®l¯¥Mcs«j~qulquclnwk¨l}§¢ cnªl}¢ wkcUlnpsmajkc[ qk_c4|alMjtq¡´xnw
cqkc[wkbJ fqk_cXj~quln§¢ qtswkc[n xnxn¡Ejkma_cqt¦$xnwu¥pj&?;A]ª}¦_¨_J jWqu_c$qk bJcqkxcbJ|pqtsqk_ccqt¦xMwk¥
¦_ac j~qkxn|a|a³qk_c0lnwkwu ?ln¢=|wuxc[jujGFÃqu_ jl}wu ln§¢c§Lxn ¢¨jpx¦ qkx£qu_cI w~qumal}¢Z¦$xnwu¥¢xCln¯ ln
¨jkxn¢¨lqkcU¬MmacmcxMw(qkx³qu_c0jkx}ytxnmawk3qk bJc¡´xnw¬Cmc[mc[jql}apc[bIH+©³^_c0l} b xn¡qk_cI|&l}|Lcw¨jqkx
cwuMcl}¼coplM+qlMj~sbJ|pqux}qk¨¡´xMwXqk_acquln¢Wx}¡qu_ jfj~qulqucl}wu ln§¢ c¼qk_cjtqlqk xn&l}wus0wucn bJcn©X^_c
bln4anwuc[p cCquj$¡´xMwqk_ccwulquxMxn¡:qu_ jXwkcUj~m¢qXl}wuc
J
l³nc[cwl}¢ ¤UlquxM¯x}¡$qk_acIj~x¼[l}¢ ¢cULKj~ n¢ cJ§ £cnc[Cq(qk_c[xnwucbMKª9¦$c¢ ¢Z¥x¦3¡´xnw¨jkxn¢¨lqkcU
¬CmcmcUjªXqkx jkma_înc[cwl}¢ ¤c[Cln¥pjkxncqt¦$xnwu¥pj¦_¨_î¦$lMjIcUjtql}§¢ jk_cUN?ÓAPO'Dðîqk_c
GI/GI/1¬Cmcmacnªpqu_ j$qu_cxMwkc[b j~qulquc[j$qu_alqX 4qk_c[lnjkcfxn¡Wjkm§Lcop|&xMcCqu ln¢9j~c[wk¨cfqk bJc[j[ª
¢ lnwkMc¦$xnwu¥¢xClnjrxpmawfxM l0qts|¨l}¢=c[nc[Mq¦_c[wkcJl³j~ n¢ c¢ lnwkMcjkcwuC¨cqk bJcJ_alnjfql}¥nc[
|¢¨lncIlp¨jtql}CqS|alMjtqUªClnaIl}¢ ¢axnqk_c[wjkcwu cqk bJcl}wucX¢ xMjkcquxqk_ac wSbJc[ln9©RQbJ ¢ lnwk¢ snªC
nc[cwl}¢ ¤[c[JCln¥pj~xMacqt¦$xnwu¥jZ¦²qu_Ij~m§Lcop|Lxnc[Cqk¨l}¢&jkcwu cqk bJc[j[ªC¢¨l}wuncblop bl}¢&alqkc[wuj
xpmaw¦_c[¯l0jk n¢ c¢¨l}wuncjkcwu c(qk bJc_alMjql}¥nc[¼|¢¨lnc3xncx}¡=qu_cj~qul}qk xnaj[ªLlna¼ln¢¢
x}qu_cwXjkcwu cqubJcUjXl}wucf¢xCj~cfquxqu_c wXbJc[ln9©
J
l±am¨³¢ bJ²q¡´xMwqk_¨jX¢¨lnjuj$x}¡cqt¦$xnwu¥pj$¦_ _4¦lnj|wuxn|LxMjkc[0C? d[SAPO
J
qk_cxnbJ|mqulquxMx}¡Lqk_crbm¢qk |¢ [lqk ncXxnaj~qulnCqujZlnax}¡Eqk_cl}wunmbJcCq=x}¡Equ_crjkc[xMaquln¢
x}¡qk_ac0j~c[wk¨cqk bJc[j¦_ _¨j§alMj~cU xnET¼l}wu¥nx¼_&l} lnal}¢ spj~¨jlna xn qk_cI±am¨¢ bJ²q
¦_¨_4jkM&lnMqu¢sjkbJ|¢ ac[jqk_acj~qkc[|ln¢¢ x¦axnacrquxMcq¢ xMjkc[¡´xMwkb ¡´xMwkbm¢¨lnjS¡´xnw$qk_c
lnjksb|qkx}qu [j©
U ¢²qu_xnman_Iqu_¨jwkcUj~m¢qj~_cUj$¢ n_Cqxn0qk_cf¦$l?sjkma_lcqt¦xMwk¥Jcop|Lcwuc[acUjlpc[C¨lquxMI¡´wuxnb)quj
axnwubJln¢§&c[_al?xMw[ª°q j x³¦$l?s a&l}¢Zlnjfqu_cquln¢=§Lc_al? xnwx}¡$x}qu_cwj~qul}qkcJl}wu ln§¢cUjj~ma_lnj
j~qul}qk xnalnwks4¬Cmcmcj~ ¤cl}wucj~qk ¢¢Wm¥x¦9©f^_ccwulquxM¼x}¡=qu_cVFÌbJxnwucxMbJ|¢co.HXlnjksbJ|pqkxnqk¨
§Lc_&l?C xnwx}¡qk_cUj~cfx}qu_cwjtqlqucl}wu¨l}§¢ c[j¦$lMjln¢wuc[lMpsxn§pql} c[0maj~ JljkbJ ¢ lnwbcqk_xppxM¢xMnsJ
qu_c|alnw~qu m¢¨l}wXlMj~c(xn¡qul}&pcb ¬CmcmcUj ?ÓA]©^_accoqkc[ajkxM4xn¡qk_cUj~c¬Cmc[mcjk¤[clnjksb|qkx}qu [jqkx
Mcc[wuln¢ ¤cUCln¥pj~xMcqt¦xMwk¥pj¦²qu_l}wu§²quwulnwksfquxn|Lxn¢ xnnsjkcc[bjWqkxwkcU¬Cmwuc$bma_bJxnwucc5WLxMw~qZl}&
¦ ¢ ¢:xnq§Lc|mwjkmc[³ £qk_ac|wuc[jkcCqr|aln|&c[w[©X^_c|wuxn|LxMjkc[4bJcqk_ax¯j~_xMm¢¨³_x¦c[nc[wcoqkc[a³qkx
xnqk_c[w_al}wlnqkcwu¨jtqu [jSxn¡jtqlquxMal}wus¦xMwk¥¢ xMlMJ¢ ¥ncf¡´xnw aj~qul}&cfqk_c(jkmb*xn¡:qk_acfwuc[jk¨pmal}¢°jkcwu c
qubJcUjx}¡l}¢ ¢9maj~qkxMbc[wuj|awkcUj~c[Mq 4qk_c(cqt¦xMwk¥Il}qXj~xMbcMMcqk bcM©
^_c|al}|Lcwr jfjtquwkm&+qkmawkcU4lMj¡´xM¢¢ x¦Xj©XDðYQcU+quxM3pª&¦c Cqkwuxppmacncacwl}¢ ¤[c[³MlM¥pj~xMcq
¦$xnwu¥pjl}a j~_ax¦ qk_&lq(qk_ac³lMjkjkmbJ|pquxMajccUpc[3¡´xMwl}||¢ saqu_cIjkM¢cJ§ ³cMcCq(qk_c[xnwucb
FGln¢¢ c[[Z]\ !^ ªZ_^ ª`Z0acb ^ l}a[Z]d ^ [?AH_xM¢ °© ^_acbl} wuc[jkm¢q¨jqk_c[ cUjtql}§¢ jk_cU
Qpc[+quxM_;a©
e£º [7fºhg
ircwucl}a3¢ l}qkc[w(3qk_c|&l}|LcwUª°¡´xnw(|LxMjk²quMc¡´maa+quxMaj
f lna gª°qu_cc[¬Cm l}¢ cac
f(x)∼dg(x)
¦qk_
d >0bJcUl}aj f(x)/g(x)→d lnj x→ ∞©>$s³xMCMcCqk xn:ªpqk_cc[¬Cm l}¢ cac
f(x)∼dg(x)
¦qk_
d= 0bJc[lnaj f(x)/g(x)→0lnj x→ ∞ª?qk_¨jW¦¢ ¢p§&c$¦wu²qkqkc
f(x) =o(g(x))© c¦ ¢ ¢ln¢ jkx m&j~cqk_cxnqul}qk xn
f(x) =O(g(x))quxbJcUl}
lim supf(x)/g(x)<∞ l}a lim inff(x)/g(x)>0©
DðJqu_¨j=|al}|LcwUª
(x)pc[x}quc[jZlf¡´maa+quxMIj~ma_Jqu_alq
(x)−−−−→x→∞ 0©=^_c¡´maa+quxM
bl?slnwks(¡´wuxnb
|a¢ lMcqkxJ|¢¨lnc O¡´xnwcolnb|a¢cMª
(x) +(x) =(x)ª (x)(1 +(x)) =(x)ªcqun©(QpbJ ¢ lnwk¢ snªp¦$c¦¢ ¢
¦wuqkc
(x, y)¡´xMw (x) +(y)ªxMw (x)(y)ªcq}©
4$!W: ! $#L% (W
! "#$&%'()+*,-%/.10234,5.7638389"#:2,5%3
a:¶
<;cfÌ
¶
7f ¶ g
Ȕ
º
:f
g>=
¶8?
¶ g ¶
cwuc[ln¢¢_c[wkc$qu_cx}qlqk xn Mquwkxppm&c[ _?A]ªquxc[juwu§LclMcc[wuln¢ ¤cUCln¥pjkxnacqt¦$xnwu¥f¦qk_
K xppcUj©
^_accqt¦xMwk¥pj¦cfxMaj~¨pc[wlnwkcf_al}wlnqkc[wk ¤cUJ§CsJqu_c¡Ìln+qqu_alqj~c[wk¨crqk bcUjl}a0wkxMmpqk pc[!
jk xnajl}wuclnjujkx l}qkcUJ¦²qu_0jtqlquxMajlnaxnq¦qk_4maj~qkxMbc[wuj[©^_ j$bJc[lnaj=qu_alq$qk_ac
jPqk_0jkcwu c xM0j~qulquxM
kql}¥Mc[j σj(k)ma²qj$x}¡9qubJcnª¦_c[wkc
{σ(k)j }j≥1
¨jl|wuc[pc acU0jkc[¬Cmc&cn© Dðqu_c(jklnbJc
¦l?snª?¦_c[qu_¨jWjkcwu cS¨jxnbJ|¢ cquc[°ª}qk_c$¢cUl?fmaj~qkxMbJcw jjkcCqWqkxjtqlqk xn
νj(k) F´xMwW¢ c[l?Mc[j:qk_c
acqt¦$xnwu¥¡
νj(k)=K+ 1HZlna¨jS|mq$lq$qk_acrc&Ix}¡°qu_c¬Cmc[mcrxMqk_a jj~qulquxM9ªM¦_acwuc
{ν(k)j }j≥1
¨jJl}¢¨j~x3l¯|wuc[c acU jkc[¬Cmc[acMªZl}¢ ¢ c[«qu_c4wkxMmpqk 3jkc[¬Cmc[acM© ^_c³j~cU¬Mmacac[j
{σj(k)}j≥1
l}&
{νj(k)}j≥1
ª:¦_c[wkc
k wulnncUjfxncwfqu_cIj~cq(x}¡jtqlqk xn&jª:lnwkcJln¢¢ c[3qu_cIpwua4jkc[¬Cmc[acUjx}¡$qk_c
acq[© xc
0bJxppc¢¨jqu_ccoCqucwual}¢l}wuwk l}¢°x}¡ZmajtquxnbJcwj £qk_accqt¦$xnwu¥Eªpqk_ac£qu_cl}wuwul}¢EqubJc xn¡=qk_c
jGqu_¯maj~qkxMbJcwr ¼qu_cacqt¦$xnwu¥Iquln¥ncUjX|¢¨lnclq
σ1(0)+· · ·+σ(0)j l}a¼²q$ytxn ajqu_cca£xn¡
qu_c¬Cmcmacfxn¡j~qul}qk xn
νj(0)©RiXc[ac σj(0) jqu_c jGqu_ Cqkc[wðl}wuwk l}¢&qk bJcn©
[ A@fºhg7BDCWºhg FE ¶ fg » ¶ @ ¶ g » ¶ g ¶£ºDG º :fg>= g »î ¶ H;cfG ¶ f ¶
U
¢¢Lqu_cfjkc[¬Cmc[acUj
{ν(k)}l}& {σ(k0)}l}wucrbmpqkmaln¢¢ s apc|Lc&pcCq$¡´xnw
k, k0 wl}an xnc[wZqu_cfjkcq xn¡Wj~qul}qk xnaj[©
[ A@f
ºhgJICWºhg
FE
¶ fg » ¶ @ ¶ g » ¶ g
¶£ºDG
¶
H;cfG
¶
f ¶
cI¦ ¢¢$lnjuj~mabcqu_c0jkcwuC¨cJqubJcUjl}wucJ&pc|LcacCq¡´xMwpWLc[wkc[Mqj~qul}qk xnajl}aP©P©°© «c[lM_
j~qul}qk xn4¦²qu_aqkc(bJc[lnK
E(σ(j)) = µ1(j) >0¡´xMwXl}¢ ¢
1≤j≤K©
[ A@fºhgMLCWºhg º 7fgN=
clnjuj~mbJcrqk_al}qc[lM_Ix}¡:qk_cj~m&cUjkj~¡´m¢LwkxMmpqkcUjSm&j~cUJqkx§m ¢
ν ¨jSxM§pqulnac[I§sl T¯l}wu¥nx_&l}
xM0qu_cj~qulquc(j~|alMc
{0,1, . . . , K, K+ 1}¦qk_4qkwl}ajkqk xn4bJl}qkwu²o
R=
0 p0,1 . . . p0,K 0
©©©
p1,1 p1,2 . . . p1,K p1,K+1
©©©
p2,1 p2,2 . . . p2,K p2,K+1
©©© ©©©
0 . . . 0 1
^_a j jc[¬Cm ?ln¢c[Cqqkx¯lMjkjkmbJ £qk_&lqqu_c0wuxnmpqua¼pc[ jkxMaj
{νj(k)} j~qul}qk xn
k l}wucP©P©9©¼
jªL&pc|LcacCqfxn¡ZcMcwusMqu_ Ic¢¨jkcnªEl}a£jkma_£qu_alqqk_cwkxMmpqk c[¨jkxM¼j~c[¢cU+qujjtqlquxM
i¦qk_
|awkxM§al}§ ¢ ²qts
P[ν(k)=i] =pk,i.
^_acZ¡Ìlnqqu_alqqk_c$wuxnmpquc[j§m ¢²q¦²qu_qu_ j T¼lnwk¥MxC¨l}|wuxpcUpmwucl}wucSjkmac[jujt¡´ma¢M bJ|¢ c[jqu_alqjtqlqkc
K+ 1 ¨jqk_cJxM¢s¼ln§ajkxnwu§aj~qulqucxn¡Squ_ j(_&l} 3l}&¯l}¢ ¢x}qu_cw(j~qulquc[jl}wucqkwl}ajkc[Cq7O°¦$cqu_c
_&l?nc(qu_cMcwus4jul}bJc"T¯l}wu¥nx lnwuxnmqk 0lnjujkmbJ|pqk xnajflnjr F´cop|Lxnc[Cqk¨l}¢HXCln¥pj~xM
cqt¦$xnwu¥pj©
T¼xnwucnc[cwl}¢ ¢sMªa¦_c[3pc[x}quaI§s
Ek
qk_c¢ l?¦ xn¡=qk_c_al} ¼¦qk_3qk¨l}¢xMapqk xn
kªLlna Vj
qu_c(mb§Lcwxn¡W¨j~qujxn¡:qu_ jrl}§ajkxnwu§ _&l} £jtqlqkc
jª¦$c(pc aac K
E0[Vk] =πk, P0[Vk≥1] =pk, Ek[Vj] =πk,j, Pk[Vj ≥1] =xk,j. FtdH
c(¦ ¢¢9m&j~cfqk_ac¡´xn¢ ¢x¦ x}qlqk xnK
bj= πj
µ(j), bj,i= πj,i
µ(i), Bj = max
i bj,i.
qk_ qk_¨jx}qlqk xn:ª¦c pcxnqkc3§Cs
b = maxiπi/µ(i) = maxibi
©9cq λ−1 = E[σ0] = a©
^_awkxMmn_xMmpq$qk_¨j|aln|&c[w¦c¦ ¢¢:lMjkjkmbJcfqk_al}qFK
λb <1. FPH
c(wuc[ln¢¢E_c[wkc(jkxnbJc(pc &²quxMaj
4¶ g f´f
ºhg B :2#%24-,#%4,h5#34
F R+
: 8I#"
y >0 F(x+y)∼F(x) S x→ ∞.
c Cqkwuxppmacfl|wuxn|Lcwjkm§ajkcqxn¡°qk_c¢¨lnjujx}¡9¢ xnqul} ¢ c[Ip¨j~qkwu§mqk xnaj[ªCqk_cf¢¨lnjujSxn¡:j~m§Lco
|LxnacCqk¨l}¢9p¨j~qkwu§mqk xnajpc[x}quc[4§s
SK
4¶ g f´fºhgMI :2#324-5,#%4,#%4
F R+
:' 2,.-0/21.#34
F∗2(x)∼2F(x)
4¶ g f´fºhgJL 1 #%6GS2, -,h5#%4
f [0,+∞) : ,2G68I$(#)
0/ α∈R f ∈ R(α)
x→∞lim f(tx)
f(x) =tα t >0
4¶ g f´f
ºhg 1 #%6 GS2,-5 ,#%4
h [0,+∞) :G0!1h4 +68 h∈
R(−∞)
x→∞lim h(tx)
h(x) = 0 " t >1
axnwcol}bJ|¢ cnª c[§am¢¢ExMwS¢ xnnaxnwubJln¢wl}apxMb'lnwk¨l}§¢ c[jZ_al?ncql} ¢L j~qkwu§ampqk xnajSqk_&lq$lnwkcrwuln| ¢s
lnwks a©
[ A@f
ºhgNCWºhg
FE
¶ :
¶
@
ºhgW¶ g
fÌ 3f´
· ºDG
¶
<;cfG
¶
7f ¶
c¦ ¢ ¢pc[x}quc§s
S qk_c¢¨lnjujx}¡Sjkm§Lcop|&xMcCqu ln¢p¨jtquwk §mpquxM³¡´maqk xnajxn³qu_c|LxMjk²quMcwuc[l}¢
¢ cn©xnw(l4p¨jtquwk §mpquxM¯¡´m&+qk xn
F xM¼qu_cJ|&xCj~qk ncwkcUl}¢¢ cJ¦qk_ aqkc awjtqbJxnbJcCq
M =
R∞
0 F(u)duª F(u) = 1−F(u)pc[x}quc[j$qu_cquln¢9xn¡
F l}a Fs qu_c( MqucMwul}qkc[0quln¢9 j~qkwu§ampqk xnK
Fs(x) = 1−min
1, Z ∞
x
F(u)du def
= 1−Fs(x).
^_cJlnjujkmbJ|pqk xnajxMac[wk 0jkcwu c(qk bJc[jl}wuc(qu_c¡´xM¢¢ x¦ K$qk_acwuccop¨jtqjlp¨jtquwk §mpquxM
¡´maa+quxM
F xn R+
jkma_4qk_&lqFK
dn©
F ¨jjkm§&cop|&xMcCqk¨l}¢Pª¦qk_aqkc &wuj~qbxMbJcCq
M©
p©^_c( MqucMwul}qkc[p¨jtquwk §mpquxM
Fs ¨jXj~ma§&co|LxnacCqk¨l}¢P©
;©^_c¡´xn¢ ¢ x¦c[¬Cm l}¢ cac_xn¢¨j¦_c[
xqucaajqkx
∞K
P(σ(k)1 > x)∼c(k)F(x),
¡´xnwXln¢¢
k= 1, . . . , K ¦qk_ PK
k=1c(k)=c >0©
5 JN3 9 ,
:cq fj(σ, n) §Lcqu_cI¡´xM¢¢ x¦a£|cUc P¦¨j~c¢ c[lnw¡´maqk xn«xn¡
(σ, n)ª=¦_cwuc σ l}a n l}wucxM
acMl}qk ncfwkcUl}¢°mb§&c[wujFK
fj(σ, n) = 11{σ>na}{σ−na+npjBj}+ 11{σ≤na}max
k
pjbj,k
σ a+
bk
a −1
(na−σ) +
F4; H
lnaJ¡´xMwl}¢ ¢L|&xCj~qk ncXwuc[ln¢amb§&c[wuj
xªpl}a0l}¢ ¢
j = 1, . . . , Kªn¢ cq ∆j(x)§&crqk_c¡´xn¢ ¢ x¦xnbl} K
∆j(x) = {(σ, t)∈R2+, fj(σ, t)> x}. FÌ H
E
¶º
¶ B R 24 CE2# -5 5h50L #%$&B$(#)@2,.-0/21.#34552674
#%G :2#%24-,#%4. 5#3: _S2, `1h#%4 D 5#
Z # #3 2# #%4 G5/ #P5 #
5, 2#P 5 226
5'55#34 G R#34
Z G). x→ ∞ P[Z > x]∼
K
X
j=1
πj
Z Z
{(σ,t)∈∆j(x)}
Ph
σ(j)∈dσi
dt. FPH
):9,.#34 G -9$(2#%#_$(#)#) .2#P.#3
{αji, βij, γij}0≤i≤l
#).# $(c-9,# 0
G !-05$ S $
P[Z > x] ∼
K
X
j=1
πj
l
X
i=0
X
{αjix≤n<αji+1x}
P
"
σ(j)> x βij +nγij
#
, F H
$(#)
δij= 1/βji +αjiγij h d(j)=πjc(j) P[Z > x]∼
K
X
j=1
d(j) ( l
X
i=0
1 γij
hFs(δijx)−Fs(δi+1j x)i )
. FH
Fs∈ R(−α)&$(#) α >0R$& 0M5$(2#P 5,.#%4
S
P[Z > x]
Fs(x) →
K
X
j=1
d(j) ( l
X
i=0
1 γij
h(δij)−α−(δi+1j )−αi )
.
Fs∈ R(−∞)&#). R$&9).6
P[Z > x]
Fs(x) →
K
X
j=1
d(j) a−pjBj
.
*/" : N,0 % 34,819.D,5% % ,-0 25 " >,-
^_acjklnb|a¢c(|al}qk_£xMaj~qkwuma+quxM4¦$c( Mquwkxppm&c(_c[wkc(¨jqk_&lqXx}¡ ?A]©$^_c(bln³ Mqucwuc[j~qXx}¡=j~m&_³l
xnaj~qkwumaqk xn¼¨jqk_al}qjkxnbJcbJxMx}qu¨qts£|wuxn|Lcwkqk c[jfl}wuc|wuc[jkcwuncU¼lnjcop|¢¨l} c[¼L?AP©^_cUj~c
bJxMx}quxn¨qts|wuxn|Lcwkqk c[jlnjjk_x¦4 ?ÓSAlnwkcwuma¨l}¢E¡´xMwxnmwXlMj~sbJ|pqux}qk¨ln¢ m¢ l}qk xn9©
U Mcc[wuln¢ ¤cU0Cln¥pjkxnIcqt¦xMwk¥¦ ¢ ¢9§&cc acU4§Cs
JN=n
{σ(k)j }j≥1, {νj(k)}j≥0, n(k), 0≤k≤Ko ,
¦_acwuc
N = (n(0), n(1), . . . , n(K)) pcUjkwk §&cUjqk_c£ qk¨l}¢XxMapqk xn9©®^_c³Cqucwu|wkcqul}qk xn ¨jlnj
¡´xM¢¢ x¦XjFKJ¡´xnw
i 6= 0ªSl}qqubJc
t = 0ªZ xppc iªqu_cwuc³l}wuc
n(i) maj~qkxnbJc[wuj¦²qu_ jkcwu cIqk bJc[j
σ1(i), . . . , σ(i)n(i)
F´¡ln||wuxn|wu l}qkcMª
σ(i)1 bl?s§&c( Cqkc[wk|wucquc[4lnjlwuc[jk pm&l}¢9jkcwuC¨cfqubJcH©
^_acf Cqkc[wk|wucqlquxMxn¡
n(0) ¨jlnj$¡´xM¢¢ x¦XjFK
J
²¡ n(0)= 0ªqu_cwuc( jaxcoqkcwualn¢9l}wuwk l}¢P©
J
²¡ ∞> n(0)≥1ªqk_c[4¡´xnwl}¢ ¢
1≤j≤n(0)ªqu_cl}wuwk l}¢&qk bJc(x}¡:qu_c
jGqu_4maj~qkxnbJc[w$ 4qk_c
cqt¦$xnwu¥Iql}¥Mc[j|¢¨lnclq
σ1(0)+· · ·+σ(0)j © x}qucqk_al}qr³qu_¨jrlMj~cMªpqk_acwucbl?s0§Lcl aqkc
mb§Lcwfx}¡SmajtquxnbJcwjX|&lnjuj~ qu_wkxMmn_3ln nc[¯jtqlquxM¯j~xIqk_al}qrqk_accqt¦xMwk¥4¨jlM+qkm&l}¢ ¢s
¦c[¢¢Zc acU¯xMacJl aqkcj~cU¬CmcacJx}¡Swuxnmpqua4pcU¨j~ xn&jflna¯jkcwu cqubJcUj jfn nc[¯xM
qk_¨jXj~qul}qk xn9©
J
²¡
n(0) = ∞ª9qu_c¦_c[ qul}¥ 4¡´xnw aj~qulnacqk_acIj~cU¬Mmacac
{σj(0)}j≥1
G©P©°© ª9qu_c0lnwkwuln¢
|wuxc[juj jlwucc[¦$ln¢°|wuxc[juj$cqun©
b ¶ º ¶DC b ¶ gW¶ ¹º
{xMajk pc[wl¯wkxMmpqkc
p = (p1, . . . , pφ) ¦²qu_ 1 ≤ pi ≤ K ¡´xnw i = 2. . . φ−1©Qma_ l3wuxnmpquc0¨j 2,.2,:¡
p1 = 0 lna pφ = K+ 1© ^x3jkma_®l¯wuxnmpqucnª=¦$c4lMjkjkxp¨lqucl¼wuxnmqk jkc[¬Cmc[ac
ν= (ν(0), . . . , ν(K))lnj$¡´xn¢ ¢ x¦Xj F
⊕bJc[lnaj_c[wkc(xMal}qkc[alquxM4lna
∅qu_c(cbJ|pqts4j~cU¬MmacacH K
Procedure(p) :
1 for k= 0. . . K do ν(k):=∅;
φ(k):= 0;
od
2 for i= 1. . . φ−1 do ν(pi):=ν(pi)⊕pi+1; φ(pi):=φ(pi)+ 1;
od
x}qucZqk_&lq
φ(j) j:qk_acmb§&c[wxn¡C¨jk²qj9quxrxppc
jjkma_lrwkxMmpqkcM© Dð|&l}wkqk¨m¢¨l}wxMmwjtqux_&lnj~qk¨
¡´wl}bJc[¦xMwk¥EªC¦c(_al?Mc
E[φ(j)] =πj
©
U jk b|a¢czZm¢ cwrcqt¦$xnwu¥ jrlMcc[wuln¢ ¤cU0Cln¥pjkxnIcqt¦xMwk¥
E={σ, ν, N},
¦qk_
N = (1,0, . . . ,0) = 1ªj~ma_3qk_&lqqk_cwuxnmqk 4jkc[¬Cmc[ac
ν ={νi(k)}φi=1(k) ¨jncacwlqkcU¼§s l¯j~ma[cUjkj~¡´m¢Zwuxnmpquc0l}&«j~ma_qu_alq
σ ={σi(k)}φi=1(k) ¨jl£jkc[¬Cmc[ac0x}¡wkcUl}¢Pln¢mcU xn ]c[MlquMc
mb§&c[wuj[ªpwuc|wuc[jkcCqk Jj~c[wk¨cqk bJc[j[©
{xMaj~¨pc[w:lj~cU¬Cmcacx}¡j~ bJ|¢ c=zZm¢ cw:acqt¦$xnwu¥j[ªjul?s
{E(n)}0n=−∞ª[¦_c[wkc E(n) ={σ(n), ν(n),1}©
axnw m≤ n≤0ª:¦$cJc ac σ[m,n]
l}&
ν[m,n]
qux³§&cJqu_cIxMal}qkc&lqk xn3x}¡
{σ(k)}m≤k≤n
l}&
{ν(k)}m≤k≤n
l}a0qk_ac£pc &cqk_c 1.S5nc[cwl}¢ ¤c[MlM¥pj~xMIcqt¦$xnwu¥ K
JN[m,n]={σ[m,n], ν[m,n], N[m,n]}, ¦qk_ N[m,n]= (m−n+ 1,0, . . . ,0).
f S»Wp ¶
U jI|wuxncU®N?A]ª¡´xnw4l}¢ ¢r|LxMjuj~ §¢ c¼l}¢ mc[jIx}¡
ν(p) lna σ(p) qk_c j~ bJ|¢c¯zZm¢ cw4cqt¦$xnwu¥pjª
¡´xMw4ln¢¢ CqkcMcwj
m ≤ nªXqk_ac xnbJ|&xCj~cU cqt¦xMwk¥
JN[m,n] j~qul?spjcbJ|pqts¡´xMwkc[ncw4l¡Ãqucw£j~xMbJc
&²quc¯qubJcM© cpcax}qkc §s
X[m,n]
qk_c3qk bJc¯qux c[bJ|pqts
JN[m,n] ¡´xnwucMcw4l}a §Cs
Z[m,n] =
X[m,n] −Pm−n+1
i=1 σ[m,n],i(0) qk_ac¯lnjuj~xp l}qkc[ blop bJln¢rl}qkcwU© ^_ac¯j~cU¬Cmcac
Z[−n,0]
¨j0ln®
wkcUlnjkaJjkc[¬Cmc[acM© cpc aac(qk_cblopbln¢l}qkcwrx}¡qk_cnc[cwl}¢ ¤[c[³Cln¥pj~xMacqt¦$xnwu¥
JN= {σ, ν, N} ¦_cwuc σ lna ν lnwkc4qu_c£ aqkc¼xMal}qkc[alquxM xn¡qu_c
{σ(n)}n
lna
{ν(n)}n
l}&
N = (+∞,0, . . . ,0)ªa§Cs
Z= lim
n→∞Z[−n,0]. FÌ H
^_acxnwucb"d7;Jxn¡?Aln||¢ cUjrjkxqk_al}q¡
λb <1qu_c Z <∞ l©j©OExnMcwj~c[¢sMª²¡
λb >1ª Z =∞
la©j[©
^xIl}¢ ¢:Mcc[wuln¢ ¤cUCln¥pjkxn4cqt¦$xnwu¥
JN[m,n]ªL¦cln¢ jkxIlnjujkx l}qkcfqk_acnc[cwl}¢ ¤[c[4MlM¥pj~xMcq
¦$xnwu¥
JN[m,n](Q) ¦_¨_wk Jjkc[¬Cmc&c[jlnwkcqk_cjul}bJcflMj$qk_cxMwk n al}¢Lcqt¦xMwk¥Jcoc|pq
¡´xMwZqu_crjkc[¬Cmc&c
{σ(0)j }qk_al}q¨jZx¦
σj(0)= 0¡´xnw$l}¢ ¢
j©RQ b ¢¨l}wu¢s¦crc ac
Z[m,n](Q)qu_cqubJc quxJcbJ|pqtsIqu_c(nc[cwl}¢ ¤c[MlM¥pj~xMIcqt¦$xnwu¥
JN[m,n](Q)©
:cq
Yi(k)=
φ(k)(i)
X
j=1
σ(k)j (i) F H
§Lcqk_acqkx}ql}¢°¢ xMlM0§wuxnman_Cq$§s F´coqucwual}¢H$maj~qkxMbc[w
iqkxj~qul}qk xn
k© x}qucqk_al}q
Zi = Z[i,i]=Yi(1)+· · ·+Yi(K), ∀i Z[n,0](Q) ≥ max
j=1,...,K 0
X
i=n
Yi(j), ∀n≤0.
:cbJblxn¡ ?;SAln¢ jkxbJ|¢ cUjqk_&lq
n→∞lim
Z[−n,0](Q)
n =b l©j[©. FtdU H
.10 5. &%) 5,5 % 3
rapc[w
U
juj~mbJ|pquxMd ;ªCqk_c(|awkxM|&c[w~qucUj Z]\ !^ l}aEZ _^ xn¡ ?A]ª¦_¨_wuc[lM
J
Z]\ !^ qk_c(jkc[¬Cmc[acfx}¡j~ bJ|¢cfzZm¢ cwacqt¦$xnwu¥j
{E(n)}−∞n=0 xMajk j~quj$x}¡G©G©°©=wl}axnb)l}wu!
l}§¢ c[j[©
J Z_^ qk_c$wl}apxMb ?lnwk¨l}§a¢cUj
{Yi(k)}l}wucS apc[|&c[apcCq=x}¡aqk_c$Cqucw ]lnwkwuln¢}qk bJc[j[ªnl}&j~m&_
qk_al}qqu_c4jkc[¬Cmc[ac0x}¡wulnapxMb Mc[+quxnwj
(Yi(1), . . . , Yi(K)) jG©G©°©LF´nc[cwl}¢$pc|Lc&pcac[j
§&cqt¦c[c4qk_acxnbJ|Lxnc[Cqujx}¡qk_c(Mc[qkxnw
(Yi(1), . . . , Yi(K)) lnwkc(l}¢ ¢ x¦cU.H+ª lnwkcf§Lx}qk_£julqu j ac[9©
rapcw U juj~mbJ|pquxMdMªqk_ac?lnwk¨l}§a¢c
Z lnjujkx l}qkcU(qkx
JN={σ, ν, N}wuc|wuc[jkcCqj:qu_cXj~qulquxM
lnwks0bJl}opbl}¢lqucwXxn¡qu_cnc[cwl}¢ ¤c[4Cln¥pj~xM0cqt¦xMwk¥EªpalnbJc¢ sIqk_ac(qk bJc(qk_al}qrqr¦xMm¢¨0ql}¥Mc
¼j~qkc[lMpsj~qul}qkc(qux0¢ c[lnwqk_ac¦$xnwu¢¥MxMln0x}¡Zl}¢ ¢maj~qkxnbJc[wuj|awkcUj~c[MqX ³qk_acjksj~qkc[b ¦_c[¼jtquxn||a
¡´mqkmwucl}wuwk l}¢¨j©
rapc[w U juj~mbJ|pquxM³aªqk_aclnjuj~mbJ|pquxMaj Za b ^ l}aCZ]d ^ xn¡ ?A:l}wuc(jkl}qk¨j&c[K
J
Za b ^ axnwXln¢¢
k= 1, . . . , K
P(Y1(k)> x)∼πkP(σ(k)> x)∼d(k)F(x),
¦²qu_
d(k)=c(k)πk
l}&Iqu_c
ddef= P
kd(k)>0©
J
Z]d ^
P(
K
X
k=1
Y1(k)> x)∼P( max
1≤k≤KY1(k)> x)∼
K
X
k=1
P(Y1(k)> x)∼dF(x).
Qpcc Qc[qk xnajXa©a©Ólna p©xn¡ ?ÓA]©
rapc[w U jujkmbJ|pqk xn«&ª:qu_cwucIcop¨jtqjl³xM ðpc[wkcUlnjk³ CqkcMcw Pln¢mcU¼¡´maa+quxM
Nx → ∞ l}a
jkma_qk_al}q[ªp¡´xMwXl}¢ ¢ aqkc(wuc[ln¢°Cmab§Lcwj
bª
Nx
X
n=0
F(x+nb) =o Fs(x)
, x→ ∞ FtdMdH
FGj~c[c Qc[qk xn³a© dn©Óxn¡ ?ÓAH+©
1IS# 2##W
*5 A5N, 0% "
U jZl}¢ wuc[lnsbJcCqk xncU°ªnxMcx}¡Equ_cqkxxM¢ j=¦$c¦ ¢¢m&j~cX¦qk_aJqu_ jSj~cq~qk ¨jqu_c"Kjk n¢ c§(c[nc[Mq
qu_cxMwkc[bMK¡´xMwnc[cwl}¢ ¤c[ Cln¥pj~xM¯cqt¦xMwk¥pj[©T£xMwkcJ|wuc[ jkc¢ snªW^_cxMwkc[bJj 4lna«³x}¡'?ÓAMMc
qu_c¡´xn¢ ¢ x¦wuc[jkm¢²qHK
º @ ¶ ? · B 5#
Z -!#) _2##%4h 7/G` # MV#) 5h57E 05 #%$&
&hG
x j= 1, . . . , r, 5# {Kn,xj } -0 55,.0 56#4'2,.0)!#).#
I
n h j #).I56S5.# Kn,xj _#).Gh 624-5 Y−n(j) =Pφ(j)(−n)
k=1 σ(j)k (−n)
h P1.5h5.#
"
j P(Kn,xj )→1 ,. G n≥Nx
S x→ ∞
5,.5h
n→0($& 5h# xn=x+n(a−b+n)G) 5XS x→ ∞
P[Z > x]∼
K
X
j=1
X
n≥Nx
P[Z > x, Y−n(j)> xn, Kn,xj ],
h
P[Z > x] =O(Fs(x)).
^_¨j|wuxn|Lcwkqts¢ c[lnaj$qkxJqk_ac¡´xn¢ ¢x¦ Jl}abJxnwucf_&l}aps0wkcUj~m¢qFK
º º Ìp ·B V. 5,. '6#4
{Knj}2,.0)#) # ' j P(Knj)→1 ,."
n≥Nx
S x→ ∞ 7 zx→ ∞ zx=o(x)(,.)_#) # Fs(x±zx)∼Fs(x)RhI # G(x) =
K
X
j=1
X
n≥Nx
Ph
Z[−n,0] > x, Knj, Y−n(j)> xn, φ(j)(−n)≤Li .
). &$&9).6
(1 +(x))G(x)≤P[Z > x]≤(1 +(x))G(x−zx) +(L, x)Fs(x). Ftd?H
G : 8I# &$&9).6 S
x→ ∞
P[Z > x]∼G(x).
^_acf|awkxx}¡W j¡´xnwu¦$lnwupcUquxqu_cl}|a|&c[apoE©
95 ) 5" 5 ,
c(_al?Mcrqux aa³j~cU¬Cmcac[j$x}¡cMcCquj
{Knj}l}¢ ¢x¦ xncfqkxI[l}¢¨m¢¨lqucfqk_c(jkmb
X
n≥Nx
Ph
Z[−n,0]> x, Knj, Y−n(j)> xn, φ(j)(−n)≤Li F~d7; H
¦_acwuclMjl}§LxncMª
xn =x+n(a−b+n)©
^_acc[ncCqj: ¬CmcUjtquxM¦ ¢¢§Lc§alMj~cUxM(qk_c| c[c ]¦ jkcS¢ c[lnw:¡´m&+qk xn&j
fj(σ, n)pc &c[_F4; H+©
:cqmaj(c[juwu§LcJqk_c Cqkmqk ncwuc[lMj~xM¼¡´xMw(Cqkwuxppma4qu_ j¡´maqk xn9© U jkjkmbJcqk_c0§£jkcwu c
qubJc¨j(c[¬Cmaln¢qkx
σ l}&¯ql}¥Mc[jf|¢¨lncxM«jtqlqk xn
j lna ¦²qu_ 3qu_c0jkcqxn¡jkcwu cqubJc[jx}¡$qk_c jk b|a¢czZma¢c[wcqt¦xMwk¥
E(−n)© 9cqm&j(¢xxM¥3lq(qu_cIblop bl}¢Zl}qkcw
Z[−n,0]
qk_cI±am¨«jk[l}¢ c
jkmMnc[j~qkcUI§squ_cl©j©=¢ bqXx}¡XFtdU H K
J
²¡
σ > naªqk_c[0qu_cCmab§Lcwx}¡maj~qkxnbJc[wuj$§¢ xp¥nc[I³jtqlquxM
j l}qqubJc σ ¨j$x}¡:qu_cfxnwpcw x}¡ npj
ªp¦_c[wkcUlnj$qu_c(mb§Lcwxn¡majtquxnbJcwj$4qu_c(x}qu_cwXj~qul}qk xnaj¨jXjkbJln¢¢P©RQxaª&lnxnwp
qkxMF~d[ Hªqk_cfqubJcqkxc[bJ|pqtsqk_ac(cqt¦$xnwu¥J¡´wkxMb)qk bJc
σ xM4jk_xnma¢ §&c(xn¡qu_cxnwpcw
npjBj
O
_c&cnª° 3qk_¨jlnjkcnªLqu_cJbJl}opbl}¢=l}qkc[w 3¬CmcUjtquxM3jk_xnm¢¨¼§LcJx}¡Zqu_cxnwpcwfx}¡
fj(σ, n)
&pccU O
J
²¡ σ < naª=qk_c[®l}qJqk bc
σªqk_c4mb§Lcwxn¡maj~qkxMbJcwj§¢ xp¥ncU j~qulquxM
j ¨jx}¡qk_c xnwpcwfx}¡
pjσ a
ª°l}a¼qk_cx}qu_cwj~qulquxMaj_al?nc(¡´c[¦ m&jtquxnbJcwj5OL¡´wuxnb qubJc
σ qkxqk_cqk bJcxn¡
qk_c(¢¨lnj~ql}wuwk l}¢ F´¦_¨_¨jx}¡qk_cxMwupc[wx}¡
naH+ªj~qul}qk xn
k_alMjqkxj~c[wkMcfln||wux?opblquc¢ sqk_c
¢xCln
pjσ abj,k
ncacwlqkcUJ§squ_c[jkcr§a¢xp¥ncUmaj~qkxMbJcwjZ|¢ majqk_c¢xCln
(na−σ)bak ncacwlqkcU
§squ_ccoqkc[wkaln¢lnwkwuln¢ jrxn£qu_cqubJcCqkc[wkln¢:¡´wuxnb
σ quxIqk_ac¢¨lnj~qfl}wuwul}¢P©¼qk_¨jXqubJc
Cqucwu?ln¢GªWqu_cjkcwu cIl}|&lnqts jx}¡qk_cxnwpcwx}¡
(na−σ)© iXc&cIqu_c0bl}o bl}¢$lqucw j~_axnm¢¨³l}Mln§&c(xn¡:qu_c(xnwpcwxn¡
fj(σ, n)©
v=lnw~qu m¢ lnwk¢ s4¡´xnwqk_cJ¢¨lnj~q[lnjkcnª9lbJxnwucqk_axnmwuxnmM_¼macwjtql}ap 4x}¡Zqu_c±am¨¯¢ bq( j¢cUl}wu¢s
ac[cUjkjul}wusn©^_¨j¦¢ ¢9§Lc(|wuxC¨pcU0§squ_c(wkcUj~ma¢²qjC? d[SA]© c(ax¦ wucqkmawkqkxJwuMxnwU©
axnwXln¢¢9jkbJ|¢ c(zZm¢ cwacqt¦$xnwu¥j
E= (σ, ν,1)ª¢cq Y(j)(E) =Pφ(j) u=1σu(j)
©
{xMajk pc[wlMcc[wuln¢ ¤cU£MlM¥pj~xM4acqt¦$xnwu¥§ma¢qr¡´wuxnb qk_acP©P©9©fjkc[¬Cmc[acx}¡SjkbJ|¢ czZma¢c[wcq
¦$xnwu¥pj
{E(k)}©$^:xIln¢¢:jk b|a¢c(zZma¢c[wrcqt¦xMwk¥pj
E l}a³l}¢ ¢9|LxMjk²quMcCqkc[nc[wuj
nª&¦clMjkjkxp¨lqkcfqu_c
acqt¦$xnwu¥
JNn(E)¦²qu_ |mpq
{E(k)}˜ ∞k=−nªp¦_acwuc E(k) =˜ E(k)¡´xnwl}¢ ¢ k >−n lna E(−n) =˜ E©^_&lq¨j[ªZ²¡¦c4pcxnqkc§Cs
σ(k),n lna ν(k),n qu_c4xna[lqucal}qk xnaj
({σ(k)(E)},{σ(k)(−n+ 1)}, . . . ,{σ(k)(0)}, . . .)l}a ({ν(k)(E)},{ν(k)(−n+ 1)}, . . . ,{ν(k)(0)}, . . .)wkcUj~|Lc[qk nc¢ snªMqk_ac
JNn(E) = {σn(E), νn(E),0, Nn}, ¦²qu_ Nn = (n,0, . . . ,0).
^_acIblopbln¢l}qkcwx}¡xnwpc[w
[−n,0] qk_a jc¦$xnwu¥¯¦ ¢ ¢§Lc0pc[x}quc[«§s
Z˜n(E)©r¡Xxnmwj~c
Z˜n(E(n)) =Z[−n,0]
©VT£xnwucJncacwl}¢ ¢sMª9¦c¦ ¢ ¢Sln3qu_cIj~ma|&c[wujuwu|q
n qkx¼lns¼x}qu_cw¡´m&+qk xn
lMjkjkxp¨lquc[quxlJcqt¦$xnwu¥JqkxJbJc[ln0qu_alqXxn¡Wcqt¦xMwk¥
JNn(E)©
axnwXln¢¢9jkbJ|¢ c(zZm¢ cwacqt¦$xnwu¥j
E= (σ, ν,1)ª¢cq Y(j)(E) =Pφ(j) u=1σu(j)
©
clnwkcx¦4l|LxMjk²quxMJqkxJjtqlqucXqk_acrbl} Iwuc[jkm¢²q$|&c[w~ql} quxqk_acr±ama ¢ bq[© :cq
n, zn
§&c
jkxnbJc(jkc[¬Cmc&c[j$xn¡W|LxMjk²quMcwkcUl}¢°mb§Lcwj7Op¦c(pc ac K
Uj(n) = {E jrljk b|a¢c(zZma¢c[wcqt¦$xnwu¥Ij~m&_qu_alq
Y(k)(E)≤zn∀k6=j}, Vj(n) = {E∈Uj(n), Y(j)(E)≥n(a−b), φ(j)≤L},
Knj = (
sup
{E∈Vj(n)}
Z˜n(E)−fj(Y(j)(E), n) n
≤n
)
∩
E(−n)∈Uj(n) . F~d H
cawj~qrwkcUln¢¢:lIwkcUj~m¢qXqu_alqcwuMc[jXp wuc[+qu¢s¡´wuxnb vZwkxM|&c[w~qts l}&4qk_cwucblnwk¥0¡´xn¢ ¢x¦ Jqk_a j
|awkxM|&c[w~qts C?dUSAP©
º @ ¶ ? ·AI 5 #) 1h564, `S2, 1#34 c#) 5`0/ :#395 5,.5h
zn→ ∞ $(#) znn →0
2,.)!#) #&$&') 6
sup
{E∈Vj(n)}
Z˜n(E)−fj(Y(j)(E), n) n
−−−−→n→∞ 0
¶ B #
{Knj} -9#) 5,.5h '56S5.#3 R0G -6F ) 5 0/:2# 5,.5h n→0
h zn→ ∞ $(#) znn →0(2,.)!#) # $&') 6 P[Knj]→1 , I n≥Nx
x→ ∞