Performance of Multiple TCP Flows: an Analytical Approach

(1)

HAL Id: inria-00070589

https://hal.inria.fr/inria-00070589

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,

Performance of Multiple TCP Flows: an Analytical Approach

Cédric Adjih, Philippe Jacquet, Georgios Rodolakis, Nikita Vvendenskaya

To cite this version:

Cédric Adjih, Philippe Jacquet, Georgios Rodolakis, Nikita Vvendenskaya. Performance of Multi- ple TCP Flows: an Analytical Approach. [Research Report] RR-5417, INRIA. 2005, pp.24. �inria- 00070589�

(2)

ISRN INRIA/RR--5417--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

Performance of Multiple TCP Flows: an Analytical Approach

Cédric Adjih — Philippe Jacquet — Georgios Rodolakis — Nikita Vvendenskaya

N° 5417

Décembre 2004

(3)

(4)

.51167

839;:<>=@?BAC:EDF=@GHJI G=@KL=@MMONBPRQS?UTWVNYXZH,[\NU]S<>^R=@]R_a`b]c:6]RKdQSeW=@_UHfb=LeW=@XgQih jRNUk6:NUk_>eEQZlWQ

∗

mnpoFq3rasutwvyxFz{rF|Y}~br(z{Zzo4qrFz

{r4(SrF4Yq

v|pS;r {r>nprFnpr$SEs\twuxFrFqpr;t3E|YYrFz

b 6¡F¢4£¤p¥Y¢Y¦¨§

r1z}EinprbSrF©ª;{qa|YErC©(z{r4«Yr4|¬,m(,®;pprF{¯YEz°z{}pZr>rF±{BnprS{²

¬rFprF³©O|bz¬¯´µpr4¶´,;{³R·R|Y44rFzzr>«U¸|b|bz¯pY¬¯r°¹U}pr4}pr°´yºnBnE;nBp}u»EEºr34|YE|YY¼u½(z{E

nprqrF|p²@»ErF¬¯3qr4{nppY¬¯YY°|E3¾E}p¸a|ppg~Z¯qa|;W·´,ryr>z|p¬¯¸zna|;zZq{¸{r>z}E¬ºzJY3npr

¹U}prF}pr¬¯r4E{na¸z{¯p};|YEnpry´y¯E´&z¯¿4r¯z{¯p}{¯Yc¼ § ryE{«Yr,nE|JnprÀSrF{rFErySr²

´,r4rF{npr(p}ÀRr44|E|;°|E3npr(|;{}E|Y¬E¹U}prF}pr¬rFpn{r4ÁpzJ Sr(r~SYprF;¯|Y¬¬¯°¸z{p}p{rFW¼

Â|Yz{rFaYC{npr>zrurFz{}p¬zF·U´,rÃ|E|Y¬Z¿4r{nErÃ|}p{4Y{r4¬¸|{¯Y3©ª}EE{¯;b©|z{EY¬¯rum(,Ä4Yppr>{¯Yc·

|YE±´,r1z{npg´ÅnE|z{r4«YrF|Y¬,m(,®;pprF{¯YEz°´yºn¨nprF|g«ZÆ|Y¬¯rFÇY}pEÈ{¯Är4¬¸|>z;r4pr4|r

|ÉaÃ´y{n¬¯Yp3{rF{q5rFSr4ErFE¯rFzF¼

Ê\ËUÌRÍ{Î°Ï £gÐ6¡;¦ m(,·E|Yz{Zq{Y{¸4zF·Zqr>|²L»Er4¬¸Ñ·¬¯YE°r4q5r4Sr4Ár4E4r>z4·pnpr>|>«Za|¯¬¯z

∗ÒpÓÔªÕLÖ×ÓØÙØÚ(ÛLÜ>ÝgÝÞÔßÕ@àá âÚÃãWäpäpåRæÔ@Óç4Õ6èéêëè>ì¶êªèèèíî

(5)

12331

¡ ¦ Y}Ezx4{}E¯YÁz¬r>zSr4{©ªYqa|Er>z6ryp¬¯}Ez¯r4}pzJ;ppr~¯YEzm(,±z;}pq¯z{rFzJ|}°;Y}p¬¯

x|YpY¬¯r4qr4U}pxFz{rF|Y}C¬¯r4;rFzz{r4{«ZSE|Y}ppru»E¬¯r |{{rF;{r rÃY|ÁruF|E|Y4ºxY¼}p{¯¬²

z|U¬¸|qxnpr|;zZq¯¹U}pr,}3nE|YqqYr4EY}Ezx|p¬¯¯zz{YEzrFzxFz{}p¬|z|;zZq{Y{¸¹U}prFz

z{}pJ¬¸| ¯z{¯p}{¯Yar¬¸|Ã¬¯Yp;}pr4}pry¬¯|u»Á¬r|r4U{ryrOr>z6|¯¬¬¯rFzr©ªrF{r¹U}E|Á°¬rypYqpr

}¬¯¯z|r4}pzJYJp{;SY{{¯YpEr4¬¯¬rFq3rF;Ã¬¸| 4|Á|Y{xyry¬¯|u»E¬¯r|r4;rY¼ Y}ÁzqY;{;Ez¹U}pr

¬¸|¹;}Á|;ºx(prp¬¸|Y4rFz¬¯prFzOp|Áz¬r(p}ÀRr4|r4U{ruz{}pº,}ppr(¬¯YEr4~ZS;pr4U{¯r4¬¯¬r;¼ ;}Ezx4«|¬¯}pYÁz

¬|Y}{pY{xF¬¯|Y}ppr 4Yppr4~;m(,&r4ypY}EzqYU{YEz¹U}pr p¬}Áz¯r4}pz4Yppr4~;EzÁrF}p«Yr4U

;x4px4r4yr ¬¯Yp;}prFzyx4SrFEp|ÁrFz¹;}Á|E¬¸|¸z{¯p};rFzxF¬¯|Y¯zy|3}pEr ¹U}prF}pr ¬¯Y}Er;¼

Ï ¢F¡ Í ¥ ¡ ¦ m(,·4YqSY{{rFqr4;1|Yz{Uq¯¹U}pr;·ynE|Yq3 qgYrFW·y¬¯YEY}prFzbpx4Sr4EE|E4rFzF·

¹U}prF}prFz¬¯Y}Er>z

(6)

* +

3c6 O

mnprZE|Yq¯ ´yEpg´-Á|Yz{rF1p;¬Wm(,-,¯s.6¯z´y¸r4¬¯}Ez{rFg«YrFnpr0/¶U{r4pr4F¼mnprrF|;z;

Y©RnprÃz}EFr>z{zO©cm(,¨¯z,q|YE¬E|Yz{rFaYCz,np;nbZE|q¸y{nE|,qa|Y³YrFzOº|p¬¯r{3|Yp|Y,ºzrF¬º©

a|ZC³ZÁY©6pr´,Y³b4|YE|Y4ºY·Z©ªYq5|°©ªr4´ Eºz{az{r4«YrF|Y¬RY¯;|EºzSr4z{rF4YEW¼

m(,#nE|YzrFrF«Yr>ÄzSr>¸|¬y|r4;;z¯E4r1z©ªYq}p¬¯|{¯Y&|;z|&¯;{rF{pr4Cz|YEp|Ñ¼1/¶

E|Y¯4}p¬¸|>·Yz,Sr4{©ªYqa|E4rynE|;zOSr4r4C{nprurFz{rF|Yn3©ª}Ez,©cz{r4«Yr4|¬E;r4pr4|¯YEz©W{r>zr>|nEr4z4¼

mnprBp¯YEr4r4CE|YSr42,Ù3.Ã|E|Y¬Z¿FrF¨nprBSr4{©ªYqa|E4r©m(, npr z{SrF»ÁB4|Yz{r\© |Çz¯pY¬¯r

m(, YEprF¯Yi;È|\z¯p;¬ra{;}{rFYpErFrFÆ{B|Yi¯»EprCF|E|;¶ÆnE|pprF¬´y{nÇ|»p~r>

¯Er4SrFErF;,r4{;|{r

p¼(4BYrrFrF;¬;·;Â|YFr4¬¯¬¯r4,|¬L¼5,)3.S|YE|¬¯Z¿4rF| z¯pY¬¯rm(,Ç;pprF{¯Y

¾E´ {|g«Yr4¬¯¬¯pi{npY}p;n|Èz{rF¹U}pr4E4r©Ã»Ep{r 4|YE|Y4ºÇY}r4z4¼ mnprB|E|Y¬z{¯z¯za¯;r4rFz{¯p

SrFF|}Ez{r 1r4¬¯r>zbY|Y r4~ZE¬¸©ªYq}p¬¸|; Y© nprÆpYp¬¯r4q¯76ªqa|~Ñ·p¬¯}Ez8b|Y¬;r4p|p¼®mnpr

pYp¬¯r4q ©zrF«Yr4|¬64Yppr>;Ez4·Ñr4«Yr4 {|z{¯pY¬¯r°{;}{rFF·RnE|;zu;p¬\Sr4rFiz¯q}p¬¸|{r>Ñ·Ñ´y{n npr

pY|Yp¬r r4~pr4;1©9,:.L·p´ynp¸n1¸z4·pnp´,r4«YrFF·¬¯qºrF«Yr4bzSr>»ÁÃpnÁ|Yz{rFz©npr p{Y{4Y¬L¼

mnpr|¯q Y©O{np¸z E|Sr4 ¸zu{1¯U«Yr>zU|r°«Z¯|1|E|Y¬¯;¯°q3r4{npppzunpr3q}E¬ºº²¶;pprF{¯Yi4|;zr

´ynprF{r

N m(,ÅYEprF¯YEz34Zr~¸z3;Çnprz|qrb»ÁpºrF|E|;¶±{;}{rFF·O;ppr>{r>±È|B»p²

p{r4|YE|Y1pr4¶´,;{³R¼ ~Ur4Epp{npr|¬¯{r>|YÉa4}p¬ z{¯pY¬¯r°;pprF{¯Y F|Yz{r{b{npr3q}p¬{²

4Yppr>{¯YF|Yz{ruz{r4rFqazO{3SrÃY}©{r>|Ynb©c{nprÃprFz{r4Uq}p¬{²¶¹;}Er4}pr4¯p°{Y¬¯S>~©ªY|Ybr~p|;

|YE|¬¯U{¸3Sr4{©ªYqa|E4rr~prFzz¯YW¼´,r4«YrFF·|YE|¬¯z¸z ¸z qa|YpraS;zz¯p¬¯rSr>4|Y}Ezra´,rbYÁz¸r4

nprÃ|;zZq{Y{¸(F|Yz{r(´ynpr4r

N ¸z,¬¯|Y{;rY¼;/¶Er4r>Ñ·U{nErÃF|¬¸}p¬¸|;aY©ÑnprÃz{r>|Yaz|{r>z}p{Áz,Y}

Sr q}Án\z{qp¬¯r44YqE|Y{r>a3nprz¯p;¬r ;pprF{¯Y4|;zr;¼

|;¯F|¬¯¬;·´,r ¯U«Yr>z¯;|runprF|Yz{rÃ´ynprF{r

N }Ez{r4zy|;4r>z{z

N z{r4«Yr4z,}EEr4(m(,9< /¶·E|YE

npr SY¬rFprF³b¸z|{;}{rFy´yºn\|3»Ep{rp}ÀRr4u|E|az¬¯´ pr´,Y³C¯;r4{©ß|Y4rY¼Omnprpr´,Y³b¯z

¯«Z¯prF1U{3´,C|rF|Yz>=

?

|3¬¯4|Y¬R¬¯Z;´y{n{rF¬¯|{¯«Yr4¬¯a¬¯´ z{Sr4r>@6ër4¬¯r4pnp;pr ¬¯prY·EF|p¬¯r mBA·DC(EFG8

?

|3E|;³ZS;prÃ´y{nnp¯Ynnp{;}pYnEp}06CJm4±·E § H4I8

mnpr(}Ez{r4zO|r¬¯4|{rFaYa{npru¬p4|¬Á¬YC|Á3nprÃzrF{«YrFz|Y{r¬¯F|{r>Ya{npr(©ß|Yz,E|;³ZS;prY¼

JE}pnpr4qYrY·Unpr4r ¸zy|3Y}p{r4|y{npr SYrFSr´,r4rFnpr ¬¯4|¬Ñ¬¯ZY|Ebnpr ©ß|YzyE|;³ZS;prY¼

§ r |Yzz}pqr1{nÁ|b|Y¬¬}Ez{r4za|rpg´yp¬¯;|;¯pÆ»E¬¯rFza© ¯»Ep{r z¯¿4r;¼ § rB|Y{r¯;{rF{r>zrF&

|YE|¬¯Z¿4¯pC{nprazrF|;\z|{r3©OrF«Yr4\;pprF{¯YW¼ § ra|¬¸z1|Yzz}pqrnE|Ãnpr3Y}pE\{¯ir4¬¸|g

Sr´,rFr4\zrF{«YrFy|E}Ez{r4y¸z¬¸|Yr;¼

K }pup¯q|Y{´,Y³z;\npr°{YE¯°|Y{r¯L,Ù·M .d¼ mnpr°r4qa|¯ErFu©{npr3E|YSr4u¸zu;{U|p¯¿4r>

|;z,©ª;¬¬¯´z4¼

/¶NEZrF;b·;´,rY¯«Yr| z{np;prFz{r4U|{¯Y©Wm(,Ç|Á3´,r(r>z{4{¯Sr{nEr(;;Z}pY}EzqrF¬@·

¯1´ynE¯nnpr ´yÁg´-|YEp}ÀRr4(z{¿FrFzy|Y{rÃrF|Y¬RZ}pqSr4z4¼

EZrF¯Y2)a¯zur4«YY{r>a{npr°|YE|¬¯z¸zy©{nEr4Y;Z}pY}Ázq3pr4¬L·Á´yºn\¯;r4pr|{¯Y¯npr

F|Yz{rY©S¬¸|Yr{;}pE{¯ar4¬¸|>zF¼G/¶E|{{¸}E¬¯|YF·´,rz{npg´¨nE|{npr{rFq|YEp z{E|Y4r{nprp}ÀRr4

r4Epzy{aSr r~S;pr4;¯|Y¬¯¬¯z{¯p}{r>1´y{nY¸z{z{Y1E|Y|Yq3r4{rF

a^·p´ynprF N → ∞^¼ ^§ rr4E{r

T npr3p}ÀRr4 z{r4«Z¯4r{¯qrYrFz{ÁYÁEa{1rF|YnÆYEprF{¯YW¼

§

nEr4

T ^|YE N ^{rFE SnB{

¯»EpY·Ñ{nEr3´yÁg´®z¯¿4r¯z{¯p}{¯YÆrFz4|¬¯rF\Z

T^−1/2 {rFEpzÃ{|;;{¯U}EY}Ez ¯z{¯p};

(7)

g(y), ;«YrFBU J6¯Y}prbs;¼ /¶L,× .L·R{nprz{|Yq3r°¬¯qºp©ª}pE; nE|;z(SrFr4 r~Z|;{r>\Bnpr°qYr

;r4pr4|¬W|pp;|;n©m(, ;;{Y¬Ñ´y{n\z¸rYU{Y¬R{|ÉC |Yz¯nprv O p;¬@¼

/¶@EZrF¯Y&%'%Á·R´,r°prFz{r4; |bp¯zrrqr4¬6Y©q}p¬p¬¯rm(, 4Yppr>{¯YÁz4·S´ynE¯nB©ªY¬¯¬´z

npr 4Y;Z}pY}Ázq3pr4¬L¼ § rÃ{nEr4}Ázrunpru©ß|;nE|{npr r4qa|¯p¯p3zE|;ru¯bnprÃE}ÀSrFr4Epz{

Srr~S;pr4;¯|Y¬¯¬p¯z{¯p}{r>°3YrF{ r4¯«Yr|Ãz{qp¬¯º»ÁrF°qr4¬Y©S|Ãz{EY¬¯rm(,È;pprF{¯Y

´y{n°»p~rFE|;³Yr46¬¯;zzE{;E|p¯¬¯ºY¼G/¶°E|Y¯4}p¬¯|YF·´,rnE||Yr4¯¿4r{npry|}p{4Y{r4¬¸|{¯Y ©ª}pE;

Y©S|Ãz{EY¬¯rm(,È;pprF{¯Y°«Z¸|Ã|3rFz{¯q|{r©Á{npryz{rF4YErF;r4U«|¬¯}pr©Enpr4B|Y{³Y«Ã|YEz{¯;

qa|{~Ñ¼

/¶ EZrF{¯Y·O´,r1¯U«Yr>zU|{r{npr\|};{{rF¬¯|Y±©ª}pÁ{¯Y&©Ãz{r4«Yr4|¬¯Er4SrFEr4UCm(,

4Yppr>{¯YÁz°´y{n&npr>|>«ZÈ|¯¬r>¨{;}pEZ²L{¯Är4¬¸|>zF¼ § r\|Y{;}prb{nE|nErF|>«ZÈ|¯¬r>¨{;}pEÇ{¯

rF¬¯|gzrFz{}p¬y¯1npr>|>«Za|¯¬r>b{|ÉC |};{r4¬¸|g;W¼

C,CnprBr4E© rF|;n zr>;&´,rBprFz{r4;b|±4YqE|¸zYÄSr4¶´r4r4 |E|Y¬U¯\|Ez{¯q}p¬¯|{r>

rFz{}p¬zF¼

( 71 Å"$ 1yO/ 6Ç

6)

y

)+*", -/.103246587 49:5;

/¶±m(,·WÁ|Y³Yrz|r°|YEzqrFi±z{rF¹U}pr4Ára|YEÆq}EzSrC|;³Zp´y¬r>Yr>BZBnprar4E²L}Ez{r4>¼

C0E|;³;r¸za;Ez¸r4rFÇ{ÈSr¬Uzaýnpr4Änpr\|Y³Zpý¬r>YrFq3rF;aZrFzpC|«Yrý{np¯Änpr

r>zqa|rFY}EECpr4¬¸|>;¼ CµE|Y³Yry¬¯;zz¯z;Ez¸rF{r>|Yzy|;pYr>z;brF«Yr4UF¼

/¶Æ;rFu{\YSr3´y{nÆnpr{;}pEB{¯ir4¬¸|gY·czrF«Yr4|¬6E|;³Yr4z |r|YEz{q3rFÆÈ|Y«|E4r

ý{np;}´|{¯p±©ªY|Y³Zpý¬r>YrFq3rF;>¼-mnprÆzr4b© }pÁ|Y³UEgý¬¯rF;rF&E|Y³Yrza¸zbF|¬¯¬r>Änpr

´y¯E´-|Ezz{¿Fr «|Y{¯rFz¯1;rF{anE|Ep¬rYEYrFz{¯Yc¼

6ß8ýnprFpÄE|;³Yr4¸z¬¯;z1-|Çý¯E´ 6@z}Á4r>z{z©ª}p¬ ýEpg´ 8·{nErÆpr4~Z1ý¯E´ z{¿FrÆ¯z

¯Er4qr4U{r>ZBs }Epº =

W ←W + 1^¼

6ª¯8´ynprF |ÄE|Y³Yr¬Uz{zF}pz 6ª©ß|¯¬r>´yEpg´ 8·uE|Y³Yr{r4{|Ez{q¯zz¯Yz|{zb©ª{;q{np¸z

E|;³Yr4F·E}´y{n\|3´y¯E´ z{¯¿4r nE|Y¬«Yr> =

W ← bW/2c^¼

/¶1nprr4|Y¬¯rF\m(, z{SrF»ÁF|{¯Yc·npr4r ¸z(|¬¸z{nErrFz¯{¯YY©Jz{r4¬©ë²d¬¯³ZpC|E\z¬¯´

z|Y>¼Jmnpr ¬¸|{{rF©ªrF|{}pr qa|³YrFzym(,qYrÃrF|;{¯«YrÃ¯pr´,Y³b;E{¯YnE|p;rFzF¼

< Ë =Í ¥Ï ¥>8?A@CB mnprzrF{«YrFzZEnpYp¯¿4r>z {nprb{|Ez{q¯zz¯YÈ©ºzpr4´ E|Y³Yrz´yºn±{npr|;²

³Zp´y¬r>YrFqr4; {r4{}pEzF·R¬¯rF|Ypp{|2'D> FE Y©OE|;³Yr4u|YEzq¸z{z{¯YEzF¼ |;³;rz F| Sr

|;³Zp´y¬r>Yr>C¯1Á|nW¼

< ÏÎ ¡4¢>¤£g¢ /¶3{npr':& ' 6pnE|;zr{npry´y¯E´&z¯¿4ry;}pp¬¯rFzJ|JrF|;n°©ª}p¬¯¬Ez{}E44rFzz©ª}p¬p´yEpg´ ·

}pU{¯¬W{r>|YnprFzy|3p{r>r»EErFbnp{r>znEY¬¸Ñ¼

(8)

)+*) -

5!2'9 2 25

JEY {nprCz|³Yr3Y©|E|Y¬U{¸3pr4«|{¯YÁz4·W´,raz{qp¬¯©ë {nprCm(,µqr4¬L¼ § rCr4pY{r

B {npr»EEºr

F|E|Y4ºC©npr Y}r4>·|Á

T {npr E}ÀSrF(zrF{«Z¸ruqr;{rFz{SYE¯prF|;n4Yppr>{¯Yc¼

Ë ¥ Ï @Ñ¢?@ Ï 6¡ Ï Ð Ë Î ?ß¢ ¤¢>¥ ¢4£¤ @6¡ ?ß¡>¡? Ï @

§ r4|Y¬¬

R(t){npr4}p{r4U(|>«|¯¬¯|Yp¬¯rÃZ;q*¯1nprp}ÀRr4Ã|yqr

t^¼ ^§ r|;z{z{}pqr {nE|{nprE}ÀSrF

4Y;|¯Ez;;{¯U}EY}EzE|| 6ª¾E}p¸Ç|pE{g~qa|¯YD8· ¯·

R(t) ¯z°|\S;z{{¯«YrarF|Y¬Z}pqSr4>¼Bmnpr

p}ÀRr4(z{r4«Z¯4rÃ|{r ¸z

µ >0^¼

mnpr3}p{rF;u´y¯E´ z¯¿4r3| zrF{«YrF

i ¯zÃr4E{r>

Wi(t)·R´ynp¸n ¸zÃ|¬¸z|C{r>|¬U}EqSr4>¼ § r

4YEz{¯rFnpr ©ªY¬¯¬´y¯pz{¯q3E¬»ErF1qr Y©6YSrF|{¯Y =

?

mnprz{r4«Yr4{|Ez{qºzy|¬¯¬ÑE|;³Yr4z¯npr ´yÁg´-|{nErz{|Yq3rÃqr

?

mnpruE|Y³ZSYpr(nE|Yz,|Ya¯»EEºrÃzSrFrFC|YEC4|YE|YY·Z|EC|Y¬¬ÁE|;³;rzO¯anpru´yÁg´ |«Yr

¯1Á|n1¯1{npr p}ÀRr4

?

mnpr,r4EZ²d}Ez{r46zrFEpzcYErO|;³Zp´y¬¯rFYrFqr4;W{nprzrF{«YrFÑ©ª;6|¬¯¬;E|Y³YrzWrF4r4¯«YrF ;{rF{¬¯

¯npr E|n

?

mnprF{r ¸zEaz¬¯´ z|{ypnE|Yz{rY¼

,YEz{rF¹U}pr4U{¬¯Y·p|©ë{rFy´y¯E´ |YEz{q3¸zz¯Y©z{r4«Yr4

i⁼

6ß8 /d©O{npr}pr4;Ã´y¯E´ z{¯¿4r

Wi(t)≤R(t)^·Snpr4 R(t)Sr>Yqr>z

R(t)−Wi(t) ^|YE Wi(t)

Sr>YqrFz

Wi(t) + 1

6ª¯8rF¬¯z{rY·pº©

Wi(t)> R(t)^·{nprF R(t)Ár>;q3r>zyp·p|YE

Wi(t)Sr>;q3r>z

Wi(t)/2^¼

ËBË "!OÏ @ Ë @R¢?ß¤,£ Ï @Ð¢F£ ?! Ð Ë @¤ Ì

§ rqa|³Yr|©ª}pnpr4u|Ypp>~¯qa|{¯Y1Z1|;z{z{}pqE{nE|{nErY}pE1{BrF¬¯|gz|Y{r |E;q5|YE

L¼L¼Ñ·g©ªY¬¯¬´yE(|r~SYEr4;¯|Y¬U¯z{¯p}{¯YY©pq3r>|

N/λ¼(EZ¯ErO{nEr,z{r4«Yr4zR{|Ázq6|y´y¯E´

|©ë{r4(rF|Yn{;}pE{Br4¬¸|>;·npr´y¯E´ Á|nprFz(|{¯«YrÃ{nprp}ÀRr4u|;4;¯p3{C|Y¸zz;

pr>z{zY©|{r

λ >0¼Ã(}prCnpr°q3rFqYU¬¯rFzzpYSr4{©Jnpr°6;¯zz{Y\p4rFzz4·E{npr3z{zr4q z|{r |{¯qr

t ^4|Y1Ár ©ª}p¬¯¬1nE||Yr4¿FrFCZbºzy{rFE|{{{¯Yb©ª}pÁ{¯Y

W(y, t)⁼

W(y, t) =6ªU}EqSr4Y©zrF{«YrFz|¯q3r

t´y{n´y¯E´-z¯¿4r

≥y⁸ × 1 N

´y{n

W(0, t) = 1^¼

mnprBr~SYprF;¯|Y¬{;}pEÄ{¯qpr4¬(¯zb4YU«YrFp¯r4;C©ªY|±¹U}p¸³&|YE|¬¯z¸zp}b¯zCnp¯YnE¬

}pprF|Y¬¸z{¸¼JmnEr pYE|Y;|;r4¬¸|gb;;|¯Ez{npr p}pÀSrF(r4¬¸|>br~Sr4¯r4Er>bZC{npr ¬¸|YzyE|;³Yr4

Y©6{npr´y¯E´ ·# cr4~p|Y¬

B−R(t) µ

·E´ynE¯n¸zp(r~SrF{r>{C«|Y{bq}EnW¼9/¶©ß|YF·E(´y¯¬¬cSr

p«Yr4b{nÁ|y{npr E}ÀSrF(r4¬¸|gC¯z¬¯;z{ru

B µ

¼

(9)

£ Ë ¤?@¡4¢?ß¥ Ï Ð Ë Î ?ß¢

WË Ð Ð Ë @¤ Ì ! 6¡°£¤ @6Ð Ï ! £ Ï ¥ Ë ¡F¡?@ BÆ¢? Ë

/¶1{np¸zyqr4¬W´,r|Yzz}pqrÃ{nE|y{npr pYE|Y;|Y1r4¬¸|>bnE|Yz´,CYqSYEr4;z=

sY¼C-»p~rF1p}ÀRr4(rF¬¯|g

N T =^B_µ

¼Cµ|E;q*r~SYprF;{¸|Y¬Wr4¬¸|>b©6qrF|Y

N λ

·E|Yzz{}pqrFb{Sr q}Enz{qa|¬¯¬¯r4nE|

N T^¼

JpYcnpr,4YZ«Yr4p¯r4E4rY©Znpr,prFz{r4;|;W·>´,r,F|¬¯¬Y{nEr,z{qa|¬¯¬;r~SYprF;¯|Y¬;pr4¬¸|>unpr U>S'S'E

4·Up},4|YaSrJ}Ez|4YqSYprF;OY©R{nEr(p{;E|U|{¯YrF¬¯|g;·©ª;Or~p|qp¬¯r(z{Yqrp}ÀRr4O{¯qr

¯npr np¯Ynz{Sr4rF1E|{y©npr pr´,;{³R¼

/¶ np¸zqrF¬@·g{nErzrF{«YrFzc|Y{rOr4npr4{|Ázq{¯pÁ·g¯»p~rFpYE|Y;|{¯Yr4¬¸|gÃ;|ÁYq

pr>z{z{¯p3rF¬¯|gY¼ § r ³YrFr4npr {rFE|{{{¯Yb©ª}pE{¯Y

W(y, t)E}´y{n\|ÀSrF{rF;qrF|YpEQ=

W(y, t) = 6ªU}EqSr4©z{r4«Yr4zpr>z{z{E3|y{¯q3r

t ´yºn1´y¯E´-z{¿Fr

≥y⁸ × 1 N

/¶\np¸zÃ4|;zr

W(0, t)<1^¼ /¶Epr4rFÑ·W¹;}Á|;º

W(0, t)¸zurF¹U}E|¬{b{npr°E{;Á;¯YY©Oz{r4«Yr4z

¯1E{4rFzz¯p3|qr

t¼mnpr|>«YrF|YYru«|¬¯}pr ©

W(0, t)´y{n{r>zSr>{

t ¯zyrF¹U}E|Y¬R{

1 λT+1

¼

mnp¯z3qrF¬¸z3q}EnÄq;{r{r>|¬¯¯z{¸anE|¨{nEr1p{rF«Z;}Ez;pr1|Á¨4|Y¨Srb{r>|{r>¨|Yz°´,rF¬¬L¼

(g´,rF«Yr4>·S´,r°ý¯¬¬6»EzÃnE|YE¬¯r{nEr°}pprF|Y¬¸z{¸qrF¬@·RýnE¯n ý¯¬¬Y¯«Yrnpr°©ªY}pEp|{¯YEzuY©OY}p

©ª|qr4´Y³S¼

. 2)) ¨71°6)5 #"$

y

/¶È{np¸zzr>;W·´,raE{r>zrF;;}p|YE|¬¯z¸z ©nprb;;Z}pY}Ezm(,µqpr4¬¯È{npra´,BF|Yz{rFz Y©

r4~ZS;pr4U{¸|¬Y}EEÇ{rF¬¯|gÇF|Yz{r|EÇ»E~Zr>&r4¬¸|>Çp¬¯}Ezr~S;pr4U{¸|¬E{4rFzz¯p {¯qrY¼ § r

prFz{r4UnprqrF|\»Er4¬¸B|pE{U|YnnE|O}Ez{»Er>znpr°|Yz{Zq3p{¸r4«|;Ez4¼

§

r{nEr4 ¸z}Ezz

nprzz{rFq zSr4nE|g«Z¯Y¯npr4|Yz{r ©6¬¸|YrÃ{;}pEb{\r4¬¸|>;¼

+*", 2 92 '5 5 7 9 '9:2

§ rCr4pY{r

R(x, t) = P(R(t) > x) ^|E w(y, t) =−∂y^∂ W(y, t)^·" {nErapr4Ez{ºB©ª}pE{¯YÈY©

´y¯E´ z¯¿4r>z4¼;/¶bY{nprF,´,YpzF·

w(y, t) = _N¹ PN

i=1δ(y−Wi(t))·Z´ynprF{r

δ¯zO{nErÃ(¯|;y©ª}pE{¯YW¼ /¶ npr3qrF¬´yºnÆpr>z{z{Eaqr;·W¹U}E|Y;º

w(y, t) ¸zÃrF¹U}E|¬6{{nEr3´y¯E´$z{¿Fr3rFEz\Y©

z{r4«Yr4znE|Ã|r ¯Bp{prFzz{pCz|r|¯q3r

t^¼ ^§ r°znÁ|¬¯¬cqqrFp¯|{r4¬¯1Y}p{¬¯pr´,C¯qSY{|U

S;Uz>=

sY¼ymnpr¹U}E|U{¶

R(x, t) |;prFzzr>z|3E{;E|p¯¬¯ºb¸z{¯p};W¼

¼ymnprC¹U}E|U{¶

W(y, t) |YprFzz{rFz |z|r3©ª}pE{¯YÈ©{nprCz{zr4q |E Ã¯z : |

pYÁ|p¯¬b¯z{¯p}{¯Yc¼

mnpr4r©ªYrY·S¹U}E|Y;ºr>z

R(x, t) ^|Á W(y, t) ^|rp z}pÉa4rF;urFzSrnpr°p{;E|p¯¬¯¯z{¸

Sr4nÁ|>«Z¯Y6©E{npryzz{r4q¼6mnpryYqp¬¯rrp{;E|p¯¬¯¯z{¸,rFz¯{¯YY©pnprz{zr4q z{npY}E¬¯SrY¯«Yr4

Za©ª}EE;

ρ(x, f, t) =P(R(t)> x, W(y, t) =f(y))·p´ynpr4r

f ¸z|3S;z{º«YrÃ©ª}pE{¯YW¼

(10)

+*) 95 ; 9 2; 9 '7 9 92

C»Ez>·Z´,r 4YEz{¯pr4,{nEr |Y}~¬¯¸|z{zr4q ´ynprF{ru{nEr ¸z{p}p{¯Y©

W ¯z»p~rF|ÁbpZrFzp

nE|p;r ´y{n

R(t)¼,mnp¸zy¸zypYy{nprrF|Y¬Wz{Zz{rFq5z{Ár

R(t) ^|E W(t)|Y{r |;}E|¬¯¬rFSr4ErF;>¼ mnprF{r4©ªYrY·E¯\{np¸zu|Y}~¬¯¯|Y{1zz{rFq1·S´,r°r4pY{r

R(t)˜ ^|Á w˜ npr°|g«|Y¬¸|p¬¯r ZYq5¯nprp}pÀSrF

|YE&nprB»E~Zr> ´yEpg´ z¯¿4rÆr4Ez{¶;·{r>zSr>{¯«YrF¬;¼ § rÆ4|Y¬¬({nE¯zqr4¬(npr J6~rF § ¯E´

u¯z{¯p}{¯Y 6J § 8qrF¬@¼

,Ë

±¤

25$ #5 S : :GQ::@

R(x, t) =˜ P( ˜R(t)> x) ^'

∂R(x, t)˜

dt =−µ∂R(x, t)˜

∂x −λR(x, t) +˜ λ Z ∞

0

R(x˜ +y, t) ˜w(y, t)dy, ^6s ⁸

£ ÏWÏ =¦ /¶±|Ez{r4E4r©´y¯E´${|Ez{q¯zz{;Ez4·c¹U}E|Y;º

R(t) E4{r>|Yz{rFz ||{r

µ^¼ ^§ ^Epg´

E|nprFz|r(rFrF«Yr>C||{r

λ^¼ ^§ nprF1|´yÁg´ Y©z¯¿4r

y 6ª´ynE¯n44}pz,|YFY¯p 3rFEz

©ª}pE{¯Y

˜

w(y)8¯zyrFrF«Yr>bSr´,rFr4

t ^|E t+dt·¶´a4|;zr>z|rÃSUz{z{E¬r = sY¼ R(t)˜ > y^·{nprF R(t˜ +dt) = ˜R(t)−y^¼

¼ R(t)˜ ≤y^·{nprF R(t˜ +dt) = 0.

¯4r{nÁ|F·ZC{nprÃ|S«YrY·;´r(qp¬¯¸{¬¯a|Yzz}Eq3r{nE|

R(t)˜ ¸zOpSY}pEprFÑ· Ánpr(E}ÀSrF

¸zprF«Yr4yrFq3p¶;¼m|YEz¬¸|E©ª;{qa|¬¯¬¯a¯;az{pnE|;z¯ÃrF¹U}E|¯YEz¬r>|Ypz 6s38¼

§ r|Yzz{}pqrÃp´{nE|y{nE|

E[e⁻^s^W^˜]<∞©ª;z;qr

s >0^¼

Ï £ Ï @¤£

Ì 1HQ$ H 'N3'S'N5:

E[ ˜W] > µ/λ^{% !5N'} ^$# ^' ^' ^D

R(t)˜ ^' ^5: ^Q "& 5::

˜

a > 0 limt→∞P( ˜R(t) > x) = exp(−˜ax)

:U

˜

a ^':^' ^' ^{HQS :} ^Q:^:S&"I: B !N:"I5

λ(1− [e⁻^a^˜^W^˜]) =µ˜a ^6@ ⁸

: HQ : E S U 0'S $#' 0' S3'

maxω{µω−λ( [e⁻^ω^W^˜]−1)}

£ ÏWÏ =¦ ,;Ez¸rFy|1¯p{¸|¬c¸z{p}p{¯Yz{}En{nÁ|

[e⁻^s^R(0)^˜ ]< A ©ªYz{Yqr

A >0^¼

§ rr4pY{rU

R^∗(ω) ^{nEr Fc|Yp¬¸|YrC|YEz©ª;{q

[e^−ω^R(t)^˜ ]^¼ ^JE{;q ^6s 8·´,rYr4°Z F|p¬¸|Y4r

|YEz©ª;{q=

∂

∂tR^∗(ω, t) =µωR^∗(ω, t) +λR^∗(ω, t)( [e⁻^ω^W^˜]−1). ⁶⁾ ⁸

˜

a >0 z{}En1{nE|

λ(1− [e⁻^a^˜^W^˜]) =µ˜a ^6ª ⁸

(11)

+* 79 ; 9 2; 587 F95

ËZÏ £ Ë HQ ' #3' & Q D # I&C5

N → ∞ ^' ^3'S'LHQ

lim_N→∞W(y,0) = ˜W(y)^: λR W˜(y)dy > µ ^{'9 '} limN→∞W(y, N t) =Ry

0 w(x, t)dx

'QHQ

∂

∂tw(y, t) = λe⁻^a(t)(y⁻¹⁾w(y−1, t) + 2λ(1−e⁻^2a(t)y)w(2y, t)−λw(y), ^6@ ⁸

w(y,0) = W˜⁰(y) ^6M ⁸

&CQU

a(t) ^' ^HQ0 ^D ^E ^:H ^'^:@

λ(

Z

(1−e^−a(t)y))w(y, t)dy=µa(t). ^6L:8

$ HQ U

R(t) ^' ^{5 D}^:G ^{Q U} a(t/N)

<8> Ë ¢>¥

6ß8

∂W(y, t)/∂t=O(λ/N)^¼

6ª¯8

a(t/N)^¼

6ª¯¯8

∂W(y, t)/∂yr4EpzSr rF¹U}E|¬R

1 N

P

iwi(y, t)^¼

∆t·|Ä|>«YrF|YYr

©ª}pE{¯Y

W(y, t)^¼

N ÁrF|Yz{rFzF·

R(t)´y¯¬¬E4YU«YrF{;rOÃ{nEryr~SYprF²

a(t/N) ^6ß|YzÃ¯ ^nprJ ^§ ^q3pr4¬8u¹U}p¸³YrFu{nÁ|

W(y, t) ^´,Y}E¬¯

z{;p»Á4|Y;{¬¯nE|YpYr;¼GJEYr~p|qp¬¯rY·´ynpr4

a(t/N)¸z6;«YrFUN6L 8|6{¯qr

t·npr,©ª}EE;

R(x, t)

nE|;z{¯qr {CYZ«Yr4Yru{

exp(−a(t/N)x)1{nEr U{r4«|Y¬

[t, t+ ∆t√

N]·Á}pp´ynp¸n

W(y, t)

r4qa|¯Ez}pEnE|p;rF1|

±O(λ∆t/√

a(t/N)^·Ñ´ynprF N {rFEpzu{1»ÁpºY¼0JEYu{nEr3z|qr°{r>|Yz{YEzF·S¹U}E|Y;{r>z

R(t){r4EBSr

z{r4«Yr4>·Y{nErÃp{;E|E¬¯ºarFEz

|»Ezy;pr4´,r ;pYrÃºzyqE|;Y¹U}E|U{¶

a(t)^¼

;rF6|Ep{g~qa|{¯Y´ynpr4

N → ∞|E¬r>|Ypz{D=

W(y, t) = 1−_N¹ P

i

Ry

0 wi(x, t)dx+O(√¹ N)^¼

(12)

Ï £ Ï @¤£ Ì Q

N → ∞ ^5'^S ^$# ^'^: ^HQ ^& ^:& ^'S ^'^I^'H⁵ ^S

w(y) ^&C ^':^' ^' ^HQ ^Q:^:

w(y) =e^−a(y−1)w(y−1) + 2(1−e^−2ay)w(2y), ⁶ ⁸

:

Z

w(y)dy= 1 ⁶ ⁸

&CQU

a ^' ^HQ0 ^: ^D^E ^H30'

R(1−e⁻^ay)w(y)dy

a =µ

λ

6sF 8

N T ^p¬¯}Ezy|

pr>z{z{¯pqr r~S;pr4U{¸|¬¯¬bp¯z{E}{r>´y{nE|Y|Yqr{rF

{¯rF¬¯|grF¹U}E|¬{

N T+N/λ8¼mnp¸zJU{}E4rFzJ|u´y¸z¯3{nprpºÀRr4r4U{¸|¬prF¹U}E|{¯Y6@ 86´ynp¯n qa|³Yr>z(|3r|rFbrF¹U}E|{¯Y =

∂

∂tw(y, t) = λe⁻^a(t⁻^T^)(y⁻¹⁾w(y−1, t−T)

+2λ(1−e⁻^2a(t⁻^T^)y)w(2y, t−T)−λw(y, t), ^6sYs38

+* 7 5 7 2 '7 9 5

?@6Ð ÏZÎ ¡? Ë ¡F¢F¤¢?Ï @¤p£ Ì Ð ?ß¡F¢4£ ?ß ¢?Ï @

K

}pO|Yq®¸zJ{r~p¬¯YJnprrFz{}p¬ºzJYp|¯pr>3nprpr4«Z;}Ezzr>{¯Y¯{npru4|Yz{ry´ynpr4{nEr{;}pE

{¯\rF¬¯|gb¸zy¬¸|Yr6¯·S´ynprF

T ^Y 1/λ¸z¬¯|Y{;r 8¼"/¶1np¯z(F|Yz{rY·E¹U}E|Y;{

anE|unE||Y{r4¯¿4rFz

¯;r4rFz{¯p3{a4YEz{¸r4{nprF|Yz{rÃ´ynpr4r

a→0^¼

ËZÏ £ Ë Q

a→0 ⁵ ^& ^& ^' ^' w(y) ^'^' ^'

lim_a→0w(y/√ a)/√

a=g(y) ^6s> ⁸

&CQU

g(y) = r2

π Y

k≥0

(1−4⁻^k2⁻¹)⁻¹X

n≥0

anexp(−4ⁿy²/2) , ^6s>) ⁸

&

an

' '# FE HQ D # :0 D#

P

n≥nanxⁿ=Q

k≥0(1−4^−kx)

!

√a= (1 +O(√ a))λ

µg^∗(2) ^6s4 ⁸

&

g^∗(2) =q

2 π

Q

k≥0 1−4^−k−¹

1−4⁻^k2⁻¹ ≈1.309833