Equilibria of a Class of Transport Equations Arising in Congestion Control

(1)

HAL Id: inria-00070357

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

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- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

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, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Equilibria of a Class of Transport Equations Arising in Congestion Control

François Baccelli, Ki Baek Kim, David R. Mcdonald

To cite this version:

François Baccelli, Ki Baek Kim, David R. Mcdonald. Equilibria of a Class of Transport Equations Arising in Congestion Control. [Research Report] RR-5653, INRIA. 2005, pp.19. �inria-00070357�

(2)

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

a p p o r t

d e r e c h e r c h e

Thème COM

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Equilibria of a Class of Transport Equations Arising in Congestion Control

Francois Baccelli — Ki Baek Kim — David R. McDonald

N° 5653

Août 2005

(3)

(4)

' ( )(*+," )&-"

./103246587:9;<0=4>4@?>A:AB7

∗ ^CED 7+;-0F?>G

D

7BH † ^CJI 06KL7BMONQPER4

I

582S0=ABM

‡

TVUXWY[Z&\V]!^`_ a6bdcfegWY[ZcihjkY[Y&lXmXnohpqm@egc

rtsujwvxZeyT+zi{E\

zypq|X|3jksxe+}XZ!sxZh~UXZsuh~UXZm=t@q _ Vjqeqk@!_ -|FpkZc

1wXq@ TVUXnoc|Fp|8Zs-cxegl}XnoZc[phopqcuc-jieusgpqmXcx|8jqsxeZ6lFpwegnojqmXcpqsuncunmXsujkY

cxegj>h~UFpqcfegnh<Y[j>}XZocnmhjqmXkZcfegnjkm hjkm@eusujkB %TVUXnoc¡h¢pqcxc¡hjqm6egpqnomce¤£¥jhpqcuZc!jqJojkcxc

|8jknm@eJ|Xsuj>hZcucEY[j>}XZc¦egUXZysgpwegZ§¨nomX}Z|3ZmX}XZm@e©rLjknocxcujkmh1pqcxZy£+UZsuZyegUXZ+|Fph~ªqZe¥ojkcxc

sgpeuZnoc«nomX}Z|3ZmX}XZm@e+jqegUXZiegUXsxjklXkUX|leVjqeuUXZ¬Fj£pqmX}euUXZ¡sgpwegZ§¨}XZ|3Zm}XZm@e+h1pcuZ

£+UXZsxZ[egUZ[|3jknom@e|XsxjdhZcuc&jq©jkcucxZc&UXpqc&pm®nom@euZmXcxne¤b £+UXnh~U®nocp$lmXheunojkmjq¥euUXZ

nomXcfe~pqm@e~pmXZjklcsgpwegZq TVUXnocih¢pcucjJZ6lFpeunojkmXchj¯kZsuc%°3jqegU±euUXZ&hpqcuZ&jqJ|8ZsucxnocxeuZm@e

pqmX}²jq©mXjkmd§¨|8ZsucuncxeuZm@e&¬Fj£+c Q³´Zµkn¶¯kZ[p±}XnosxZhe&|XsxjdjVjq©euUXZ[:pqhe&euUFpeegUXZsuZµnc

plmXno6lXZ%}XZmXcun¶e¤bcujk¶¯>nomX<euUXZ!pqcucxjdhn¢peuZ}$}Xn·8ZsxZm@egnopq¸Z6lFpegnjkm$pqmX}£«Z|Xsxj¯dn}XZ!p

hojqcuZ}jksxY¹Zºd|XsxZcxcunojqmQjks©euUXnocV}XZmXcun¶e¤bpqmX}jksVn¶egcVYZ1pqm¯pqolZq

»Q¼@½¸¾x¿<À wÁqÃÂ oj£hjqm6eusujkBÄhjkmkZcfegnojqm!p¯qjkno}XpqmXhZÄTy\©rLÄÆÅiTVT+rLÄÇf^±È&Äcfegj>h~UFpqcÉ§

egnoh®|Xsuj>hZcucÄrLjknocxcujkm)|3jknom@e |XsxjdhZcxcÄ-cxeujdh~UXpqcxeunohÊnom@euZmXcxne¤bkÄ-cfe~peunojkmXpqsxb}XZmcune¤bqÄ

h~UFpqmXkZ!jqYZ1pqcxlXsuZ

Ë,ÌÆÍÏÎJÐ¸ÑÒÔÓÐ,ÕÎJÖØ×ÆÙwÚÛuÚ-ÍÜÙ-ÝwÕÞÒBßEà1á&ßBÌÆÛyâLãÜäxÕ~ßÔÛfãæåoçèéçâëêSìwíïîð=ÙwÚ1åoßBÑåoð3ÙwÚ-ñXÛfÒBÖØÑÒÔòVÕÞÙwäfÛ

ð3ógÕãæ×Õ~ßBÍÜÑÙ¡ÑÖXñFÕä¨ÓÛÉßLèLÛÉßÐ¸ÑÒÔÓÎfîÜôà1áyßÔÌÆÛJð=×ÆÒÔÑèõç8ð3×ÆÒBÑÝÛuÕÞÙ!èLÛÉßÐ¸ÑÒÔÓ+ÑÞÖFðFöÆäÉÛxãæãÜÛfÙäÉÛôqÕÞÙwÚà1á

ßÔÌÆÛ«í¸ÕÞÙÕÚÍÏÕÞÙèì1ð3éí÷Ò¨ÕÞÙßâø1ùùúû

∗ ^üuý Ò¨ÕÞÙäÉÑÍÏÎxûþ,ÕäxäÉÛxãæãÜÍÿÛxÙwÎxûÖØÒ

ôÆçèéçâå¢ð3èìkôfÝwÕÒ:ßÔÛfò©ÛfÙßtÚ@îç ÙÆÖØÑÒÔò©ÕÞßBÍ×ÆÛô@ð3äfÑãÜÛ¥èLÑÒÔòVÕÞãÜÛ

ì×ÆÝxÒBÍÜÛf×wÒBÛôøùôÒÔ×ÆÛtÚ@î ãÜò

ý

åÞùEñXÕÒBÍÏÎäÉÛuÚÛÉöùô

ý

ÒÔÕÙwäÉÛû

† ^ü Ó1Ó1àqÿÚÍoûÛxÙwÎxûÖØÒ

ô~çèéçâå¢ð3èì@ôfÝwÕÒ:ßÔÛfò©ÛfÙß=Ú@îçÙÖØÑÒÔòVÕ~ßBÍ×ÆÛôð3äÉÑãæÛèLÑÒÔò©ÕãæÛì1×ÆÝfÒÔÍÜÛf×ÆÒÔÛô

ø1ùô1ÒÔ×ÆÛJÚ@î ãÜò

ý

åùJñFÕÒBÍÏÎäÉÛuÚÛÉöùô

ý

ÒÔÕÙwäÉÛû

‡^ü ÚÆò©ÚwÎ:÷ÿ×ÆÑÞßBßÔÕgÐ,ÕÆûäfÕ

ôLÛxÝwÕÞÒBßBò©ÛfÙß>ÑÖÕ~ßBÌwÛfòVÕ~ßÔÍÜäxÎ6ÕÞÙwÚtìß¨Õ~ßÔÍÜÎ:ßBÍÏäfÎxô ÙÆÍÜóÛxÒÔÎBÍßáLÑÞÖwêLß:ßÔÕgÐ,ÕÆô

ùùSÍæÙw÷¥ð8ÚÐ¸ÕÒÔÚâdóÛfÙ1×ÆÛôêLß:ß¨ÕgÐ¸Õwô©úuèèù©êÙß¨ÕÞÒÔÍæÑ+í¸ÕÞÙÕÚÆÕwû

(5)

[%"* $ !" " V*+ *+ -"*

* )&(*+,"

jklXcegl}Xnojkmc©}FpqmXc¥hZeypsxegnhZilXmZ¡hopqcucxZ¡}6lFpeunojkmXc¥}XZegsupqmXcx|8jksfe

>ln8p|X|FpqsupqnocxcuZm@eE}Fpqmc«}XZc«Yj>}XWZctcxeujdh~UXpqcxeuno6lXZc«}XZ+Yh1pqmnocuYZcJ}XZyhjqm6euskZV}XZ

hjkmXqZcxeunojkm¸ S\¥ZeuegZ«hopqcucxZ¥hjql¯>suZ¥}ZldºYjd}XWoZcL}Z¥|XsxjdhZcucxlXcS|3jkmXheglXZocL}XZ¥|3ZsfegZc¦

oZh1pqcijoZc|3ZsfegZcijksuYZm@eilXm|XsxjdhZcucxlXc%}XZ&rjkncucujqm,Ä¸Ze¡hZolXnLjhZ&|XsxjdhZcxculXc

|8jkmheglZp-lXmXZ%nm@egZmcune%6lXn,ZcfeylXmXZ¡jkmXhegnjkm}Xl} °ne+nomcxe~pm6egpqm %}Xl¬Fje1 J{toZ

hjkl¯>sxZ%pqlXcxcun3oZhpqc¥}Zc¥¬Fjegc¥|3Zsxcuncxe~pm6euc©hjqY[YZihZlXn8}Zc¥mjkmd§¤|3Zsxcuncxe~pm6euc JrLjklXs

hZexegZ©h¢pqcxcuZÄkmXjklXc}XjkmXmXjqmXcSlXmXZ¥|XsuZl¯kZV}XnsuZhegZ«}XZ©!ælXmnohn¶e"J}XZct}XZmXcxnecScxjkoleunojkmc

}XZ©#6lFpwegnojqm<}Xn·$sxZm@egnZoZE} hsun¯pqm@et!%e~pecxegpegnjkmXmFpqnsuZÄkpqnmXcun>6lælmXZ+Zºd|XsuZcucxnojkm

Zºd|Xonhn¶egZ¡|3jklXsVhZeueuZ}ZmXcxne"!Zei|3jklXsVcup¯pqZlXsVYjbkZmXmXZq

& À Æ ¾ (' [ \¥jkm@egsqoZ}Z¬FjqeÄ)¯>n¶egZYZm@eV}Z¡hjkmkZcfegnojqm,ÄdTy\©rLÄFÅiTVT+rLÄXÇf^QÈ&Ä

|Xsuj>hZcuculccxeujdh~UXpqcxeuno6lXZqÄ3|XsxjdhZcucxlXc|3jkmXheglXZ}XZ&rLjknocxcujkm¸Ä8nm6euZmXcxnecfegj>h~UFpqcfegno6lXZÄ

}XZmXcxnecfe~peunojkmmFpqnosxZqÄdh~UFpqmXkZY[Zm@ei}ZYZcxlXsuZ

(6)

1 2 " 43E"

TVUXZ<pqnY jqSeuUXZ&|XsxZcxZm@e%|Fpq|3Zsinoc+egj[kn¯qZ<p[hjkY|XsuZUXZmXcxn¯qZ<YµpwegUXZYµpeunohpq¸egsxZ1pef§

Y[Zm6e!jVphopqcuc!jq«}Xn·8ZsxZm@egnopqSZ>lXpegnjkmXc%egUFpwe!h~UFpqsgphegZsun65Z-egUXZcfegZ1p}bcxegpegZjq

cujkYZ<egsupqmXcu|3jksfe|Xpqsxeun¢pq}Xn·8ZsxZm@egnopqSZ6lFpwegnojqmXc87BrJÈ¡{tc9!pqcucxjdhn¢peuZ} £+neuUeuUXZ}b@§

mFpqYnohc[jq!Ty\©r ¬XjÆ£+c ³®ZZcxegpq°XoncuUp´kZmXZsunhZ6lFpeunojkm egUFpehjkm@e~pnomXc[Y[jkcfe

Z1peulXsuZcihjkmXcun}XZsxZ}QnomegUXZ!on¶egZsgpeulXsuZ¦E|3ZsxcuncxegZm@e¡pqm}±mXjkm$|3ZsucxnocfegZm@ey¬Fj£+cÄ3sgpeuZ

}XZ|3ZmX}Zm@e+pqmX}[sgpeuZnmX}XZ|3Zm}XZm@e©jkcucxZcÄXpqcE£¥Zo3pqc«euUXZhpqcuZy£+neuUµcuj£cxegpqsxe©pqmX}

egnoYZjqlegc

TVUZjkoj£+nom&jksx}XnomFpsxb}n·8ZsuZm@egn¢p,Z6lFpeunojkm:7B]!È{,9¥£¥pqcyhjkmXcxno}XZsuZ}Qnm:;=<

df(z)

dz = β(4zf(2z)−zf(z)), z ≥0, ^7f>9

£+negU

β >0 TVUXnoct]!È{´suZ|XsuZcuZm6eucEeuUXZ©egUsujklXqUX|XleJ}XZmXcun¶e¤b<jq8p¡Ty\©r®hjkmXmXZheunojkm nomcxe~pwegnocfegnh1pqFZ>lnoon°XsunlXY£+UZmpsxjkleuZsE}Xsujk|c¥neucJ|Fpqh~ªqZegc©£+n¶egUhjkmXcfe~pqm@eV|sujk°FpÆ§

°Xnone¤b

β tTVUXZ!sgpeuZ!peV£+UXnoh~U$neuc©|Fpqh~ªZeuc¡pqsxZ%}Xsujk||8Z}$nc

β eunoYZc¥euUXZ%egUXsxjklXkUX|le cuj£¥Z-hpqo'7f>9ysgpeuZ§¤}Z|3ZmX}XZm@e1 @?«bQegUXZ-hjkmXkZcxeunojkm hjkm@egsujqSY[Zh~UFpqmXncuY jqETy\©r

;Ü<8egUXncVnocVpocuj<euUXZ%sgpwegZ%peV£+Unoh~UegUXZ¡euUXsujqlXkUX|Xlde+noc©hle+nomUFpÉ STVUXZ%lXmhegnjkm

f

suZ|suZcxZm@egcyegUXZ!}XZmXcun¶e¤bjqLegsupqmXcuYnocxcunjkmsgpeuZc+nomcfe~peunocxeunohpq¸Z>lnoon°XsunlXY$

TVUZ¥nom@eulXneunojkm%ncpcLjkoj£+c TVUXZ«|Xsujq|8jksfegnjkm!jqeuUXZEeuUXsujqlXkUX|Xldegcnm&pmnm6euZsf¯qp

[z, z+dz]noc¥pq|X|Xsxj1ºnYµpwegZ¶b

f(x)dx tTVUXZcuZ%culd·¸ZsVp&ojqcuc©pwe+p&sgpwegZ

βz pqm}UXZmhZ egUXZ©supegZ¥peS£+UXnh~U-YµpcucSZ1p1¯kZcegUXZ¥nom@egZsx¯pq

[z, z+dz]^noc βzf(z)dz pq|X|suj1ºdnoY[pegZbk

^±pqcucZm@egZsuceuUXnocynom@egZsx¯pqL°8Zh1pqlcuZ<jqSojkcxcuZcpqYjkmX[euUXsujqlXkUX|XldegcnmQeuUXZ&nm6euZsf¯qp

[2z,2(z+dz)]^pesgpeuZ β2zf(2z)·2dz pq|X|suj1ºdnoY[pegZbk ^±pqcxctpqcuj¡Zm6euZsxctpqmX}-Z1p1¯kZc egUXZnm@egZsf¯pq«°3ZhpqlXcxZjqVegUXZµonomZ1pqsnomXhsuZpqcuZnm®egUZµegsupqmXcuYnocxcunjkm®supegZc-pqmX}®euUXZ

sgpeuZijqh~UXpqmXkZijqegUXZiYµpcuc¥nm

[z, z+dz] nc¥p|X|Xsuj1ºdnoY[peuZb

df(z)

dz dz J{t6lFpegnjkmA7É>9 noc©egUZhjksusxZcx|8jkm}XnomX°Fp¢pqmXhZ%Z6lFpeunojkm¸

TVUZcuZ+Z>lXpegnjkmXcJpqcuj¡hjkY[Z¥lX|nom&euUXZVZ6lXnono°sunolY }Xnocfegsun°Xleunojkmjq=egUXZ©£«ZnkU@egc

jq«p|3jk|Xl¢peunojkmj«hZoc%cunmXhZ<euUXZ-£¥ZnokU@eucqsuj£ÃnomXZpqsu¶b$lXm@egnoY[n¶egjkcxnocihleuc!euUXZ

£¥ZnokU@eynomUFp'7:cuZZB;¶<C9

TVUZjkoj£+nomcujklegnjkm jqD7f>9i£¥pqcjk°egpqnomXZ}°6bnmXcu|3ZhegnjkmnomE;æ<JpqmX}lXcunmX

^QZonom[egsgpmXcxjksxY[cVnmF;Ü<B¦

f(z) = 2φp βX

n≥0

ane⁻(^β24ⁿ)^z²

(7)

£+negU

φ= √ 2πQ

k≥1(1−2^−2k+1)⁻1pqmX}%£+neuU

a0 = 1^pmX} an= (−1)ⁿ Yn k=1

4 (4^k−1)

TVUZ©pqcxcuj>hn¢pwegZ}egsupqmXcunZm@eZ6lFpeunojkmnocegUXZEjkojÆ£+nmXVmXjkm>§¤oj>h1pkegsgpmXcu|3jksxerJÈ¡{V¦

α∂

∂tf(t, z) + ∂

∂zf(t, z) =β(4zf(t,2z)−zf(t, z)), z, t≥0.

TVUXnocrJÈ¡{ UFpqc°3ZZmkZmZsgpon 5Z} nm cuZ¯kZsgpq%}XnsuZhegnjkmXc Ç¤m|FpqsfegnohlX¢ps;=<iUFpqc

hjkmXcxno}XZsuZ}[egUnocJZ6lFpeunojkm£+neuU

4zf(t,2z)−zf(t, z) sxZ|XopqhZ}µ°@b

2b(2z)f(t,2z)− b(z)f(t, z) ^£+UZsuZ b(z) noc[p´kZmXZsupqVlXmXheunojkm¸ TVUXZZºdncxegZmXhZQjq!pcujklegnjkmëpc

£¥ZoEpqceuUXZµZÞºd|8jkmZm@egnopqJsgpeuZ[jq©hjkm@¯kZsukZmXhZj©egUXZ[cujklegnjkm egj$egUXZµpqcucxjdhn¢peuZ}

Z6lXnono°XsxnolXY ]%È¡{ psuZcuUXj£+m, z+ZZsxZmXhZcegjsuZ¢peuZ}Ê£¥jqsuª²jkmïculh~UëZ6lFpwegnojqmXc

7£+UXnh~U±pqsxZ%jq egZmQsxZZsusuZ}$eujpqcVsgpqkYZm@egpegnjkmZ6lFpeunojkmc9©pqsxZqn¯kZm,

Ç¤megUZsupegZÞ§¤nmX}XZ|3Zm}XZm@eyh1pqcxZ!jq;æ><BÄXegUXZ]%È¡{ënc

df(z)

dz = β(2f(2z)−f(z)), z ≥0, ^7Ô ⁹

£+negU

β >0 pqmX}neuc¥cxjkoleunojkm 7:jk°de~pqnmXZ}°@b^QZonm[egsupqmXcfjksuYc¥nmZYYµp& ;Ü><9Jnoc

f(z) = φβX

n≥0

a_ne^−(β2ⁿ^)z

£+negU

φ= Q

k≥1(1−2^−k)−1 pqmX}£+neuU

an= (−1)ⁿ Yn k=1

2 (2^k−1)

pqmX}

a0 = 1

Ç¤megUXZisgpeuZ§¨}XZ|3ZmX}Zm@e©hpqcuZÄdegUZ "$.&0&&%#.& $%FZ6lFpeunojkm[nom@egsxjd}XlhZ}[nom ; <8nc

df(z) dz =

Z ∞ 0

xf(x)dx δA(z)−µzf(z) +βz(4f(2z)−f(z))

£+UXZsxZ

δ ≥0^Ä A nocip[|Xsxjk°Fpq°noon¶e¤b}XZmXcun¶e¤blXmXheunojkm¸Ä

µ≥ 0 ^pmX} β > 0 +ÅiZsuZÄ3euUXZ hjkmXcfe~pqm@e

µ YZ1pculXsxZc©ZÞºjqkZmXjqlXcVojkcxcuZc©£+UXnoh~UhpqlXcuZ¡euUXZeusgpqmXcxY[ncucxnojkm[sgpeuZegj-°3Z nomXcfe~pqm@e~pmXZjklcubµhleVeuj@5ZsujXÄFnoªqZiegnoYZjqlegc©nmegUXZ%Ty\©r hjkm@egZÞº>eijqs¥egsupqmXcuYnocxcunjkm

hjkY|XoZegnjkmXcJnomegUXZÅiTVT+r hjkm@euZº>e1 JTVUXZihjkmXcfe~pqm@e

δ YZ1pqcxlXsuZc«euUXZsupegZipeE£+UXnoh~U egsgpmXcuYnocxcunojqmsgpeuZcnomXcfe~pqm@egpqmXZjqlXcu¶bnomXhsuZpqcuZ sujqY Äi£+UZsuZegUZnmXhsxZ1pqcxZUFpqc

}XZmXcxne¤b

A TVUnocµncp®cxnoY|XonFZ}ïsuZ|XsuZcuZm6egpegnjkmjq¡euUXZcxoj£©§¤cfe~pqsfeYZh~UFpqmnocuY pegZs+peunoYZjkle+jqs+peusgpqmXcxY[ncucxnojkmhjkY[|oZeunojkmF7cuZZ ; <C9 ETVUXZhpqcuZ!£+neuU

δ = 0 ^noc

(8)

egUFpe«£+UXZsxZegUZsuZnocEmXj<cuj£ cxe~psxe1 ; <8|Xsuj¯>no}Zc¥euUXZ}XZmXcun¶e¤bµcxjkoldegnojqm[£+UXZm

δ = 0

pqmX}egUXZ!YZ1pqm¯pqlXZ¡jks+pq

δ≥0 lXcunmX[^QZonmegsgpmXcxjksxY[c

Ç¤megUXZy|XsxZcuZm@eV|Fpq|3ZsÄ6£«ZhjkmXcxno}XZsEeuUXZiYjksxZyqZmXZsgpq "$.&0&&%.& $%XZ6lFpegnjkm

£+UXnoh~UQpqoj£+c©Y[jqsuZ%kZmXZsupqsgpeuZ§¨}XZ|3ZmX}ZmXhZc

df(z)

dz = δT(f)A(z)−µz^γ⁻¹f(z) +βz^γ⁻¹(ρ^γf(ρz)−f(z)), z ≥0, ^7: ⁹

£+UXZsxZ

δ ≥0^Ä T(f) =R∞

0 z^γ−1f(z)dz^Ä A ncyp[|Xsxjk°Fpq°Xnon¶e¤b}XZmXcun¶e¤b$lmXheunojkm£+neuU

R∞

0 A(z)dz = 1^Ä µ≥ 0^Ä γ ≥ 1^Ä β ≥ 0^Ä ρ > 1^ÄpqmX} µ+β >0 %TVUZpqcucxjdhn¢peuZ}

egsgpmXcu|3jksxeyrJÈ¡{ ncV}XZ XmXZ}QnomegUXZ!cupqY[Z¡£¥p1bk

TVUsujklXqUXjkle©euUXZ¡sxZcxe©jqegUXnc©|Fpq|3ZsÄd£«Z¡oj>jkª-jks¥p&cujklegnjkm

f(z) ^jq,7B 9t£+UXnoh~U noc<p}ZmXcxne¤b´culXh~U egUFpwe

T(f) ^noc FmXneuZq ³´Zkn¶¯kZp±}nosuZhe-|suj>jqVegUFpwe&egUZsuZnc<p lXmXno6lXZi}XZmcune¤bcxjk¯>nom7B 9Epqm}µ£¥Zikn¯qZhojkcxZ}µjksxYZºd|XsxZcucxnojkmc©jksEeuUXnocE}XZmXcun¶e¤b

pqmX}neucVY[Zpqm¯qpolXZ

Ç¤m@euZksupegnmX 7B 9«sxjkY 5Zsujegjnm FmXn¶e¤bkn¶¯kZc

f(0) = (µ−δ)T(f) ≥ 0 ^jks µ ≥ δ

7:cunmXhZ!egUZsuZZºdncxegcpcxlX°XcxZ6lXZmhZ

zk → ∞ culh~U±egUFpwe

znlim→∞f(zn) = 0 ^cunmXhZ f ^noc

nom@egZksgpq°oZ 9Þ

TVUZcx|8Zhn¢p,h1pqcxZ£+n¶egU

δ=µ= 0ÄXmFpY[Zb

df(z)

dz = βz^γ−1(ρ^γf(ρz)−f(z)), z ≥0, ⁷ ⁹

£+noo°3Zh1pqoZ}egUZ&|3ZsucxnocfegZm@eZ6lFpeunojkm, +Ç¨ei}XZcxhsxno°3Zc%p|8ZsucuncxeuZm@e¡cxjklXsuhZ&nm±hjqmd§

kZcfegnojqmp¯qjkno}XpqmXhZ©£+n¶egUXjqletcuj£©§¤cxegpqsxetpqmX}-£+UXZsxZ©egUXZVsupegZV}Z|3ZmX}XZmXhZynoc|Xsujk|3jksÉ§

egnojqmFpq8euj

z^γ−1 tTVUXZ|3ZsxcuncxegZm@eiZ6lFpegnjkmnomXholX}Zc7f>9©pmX}:7Ô 9©pqc+cx|8Zhn¢ph1pqcxZc Ç¤megUZmZº>ecuZhegnjkm,Ä£¥ZculY[Y[pqsun65Z&euUXZ-e¤£¥j$Y[pqnomsxZcxlXeucj«euUXnoc%|Fp|8Zs

}XZegpqnoZ} |Xsuj>jqinockn¶¯kZm nomÊegUZ$jkoj£+nom±e¤£¥j´cuZhegnjkmXc Â nmFpqo¶bkÄt£«ZQcfeglX}bÊeuUXZ

pqcucxjdhn¢peuZ}$rJÈ¡{V

¹*+"L

Ze Γ(t) =R∞

0 x^t−1e^−xdx }XZmjqegZ{tlXoZs cpqYY[p&lXmXheunojkm¸ tTVUXZjqooj£+nmX&egUZ§

jksuZY¹culXYY[pqsun65Zc¥jklXs+suZculX¶egc+jkmegUXZ!|3ZsxcunocfegZm6e]%È¡{ 7 9¦

(9)

¼>À ¼

γ ≥1 ρ >1 β >0 ^{%$.* $} ^. .& &% @ %) %#B

f(z) = γ β

γ 1/γ

1 Γ (1/γ)

Y

k≥0

1 (1−θ^−k−1/γ)

X

n≥0

bne⁻^β^γ^θⁿ^z^γ, ^7B ⁹

$.&.

θ =ρ^γ b0 = 1 ^! bn = (−1)ⁿ Yn k=1

θ (θ^k−1).

$. b_n^!0. ^%$. ^. &).& $% %$.@. "! &)

Y

k≥0

(1−θ^−kx) = X

n≥0

bnxⁿ.

$. . ! ! $.*% .& &%

Z ∞ 0

zf(z)dz = β

γ

−1/γ Γ (2/γ)Q

k≥0(1−θ^−k−2/γ) Γ (1/γ)Q

k≥0(1−θ^−k−1/γ). ^7: ⁹

TVUZjkoj£+nom&egUXZjksuZY culXYY[pqsun65ZcVjqlXs+suZcxlXeuc+jkm$euUXZmXjkmd§¨|8ZsucuncxeuZm@e]!È{

7B 9Þ¦

¼>À ¼ .&%

γ ≥ 1 ρ > 1 µ ≥ δ ≥ 0 β ≥ 0 µ+β > 0 ^! A ^&.

.& &%&4%!%

Z ∞ 0

A(z)e^(µ+β)^γ ^z^γdz < ∞. ⁷ ⁹

$.& %$. $$. .& &%@ %() A%#! " %$. &%)

f(z) = 1 Cγ

X

n≥0

β µ+β

n

bndn(z)e⁻(^β+µγ )^θⁿ^z^γ ^{7 #} ⁹

%

dn(z) = X

m≥0

cm



δZ θ^(n+m)^γ z 0

Am(x)dx+ (µ−δ)





cm =

β µ+β

m mY

i=1

1 1−θ⁻ⁱ

!

Am(x) = A(x)e^µ+β^γ ^θ^−m^x^γ.

(10)

$. &%! $%

C ^{B! .} ^"B%# &..& &% 8

C = 1

γ² Y

k≥0

1− β

µ+βθ^−k−1/γ X

m≥0

cm

δ

Z ∞ 0

Am(x) Z ∞

x^γ/θ^m

B1(u)du dx+ (µ−δ)D(1)

%

Bl(u) = e⁻^(µ+β)^γ ^u u^1−l/γ D(l) =

µ+β γ

−l/γ

Γ l

γ

.

$. . ! :

f(z)

Z ∞ 0

zf(z)dz = Q

k≥0

1−θ^−k−2/γ_β+µ^β Q

k≥0

1−θ^−k−1/γ_β+µ^β X

m≥0

cm

δ

Z ∞ 0

Am(x) Z ∞

x^γ/θ^m

B2(u)du dx+ (µ−δ)D(2)

X

m≥0

cm

δ

Z ∞ 0

Am(x) Z ∞

x^γ/θ^m

B1(u)du dx+ (µ−δ)D(1) .

ic¡£¥Z-cxUFpqcuZZ¢peuZsÄ3jks¡°3jqegUeuUXZ-|3ZsucxnocfegZm@epqm}egUXZ-mXjqmd§¤|3ZsxcunocfegZm6e!hpqcuZÄ

egUXZ!cujqoleunojkmjqegUXZsgpeuZ§¨}XZ|3ZmX}Zm@ehpqcuZh1pmpqheglFpqbµ°8Z!°XlXneVsxjkYegUXpeyjqeuUXZ

sgpeuZ§¤nmX}XZ|8ZmX}XZm@e!hpqcuZ°@bpYZsuZ-h~UXpqmXkZjqEYZ1pqcxlXsuZ <Ç¨e!noc£+U@b£«Zcxegpqsxe%£+n¶egU

egUXZ!¢pweuegZs©h1pcuZ°8Zoj£!

* %"*

2 *V *+ *+-"`*

γ = 1

Ç¤m$euUXZ!sgpeuZ§¤nmX}XZ|8ZmX}XZm@eyh1pcuZqÄ 7: 9¥nocVqn¯kZmQ°@b

df(z)

dz = δA(z)−µf(z) +β(θf(θz)−f(z)), z ≥0, ^7: ⁹

(11)

£+UXZsxZ

θ >1 7cunmXhZ%£«Zjdjkªjks+p-}XZmXcun¶e¤bkÄ

T(f) =R∞

0 f(z)dz = 1^9Þ

^$lXeuno|X¶bdnmX 7: 9[°@b

exp(−sz) ^pqmX} nom@egZksgpwegnom²sujkY 5Zsuj egj

∞ kn¯qZcegUZ

jkojÆ£+nmX<ZÞº|suZcxcunjkm$jqs©egUXZ pq|XopqhZ¡eusgpqmXcfjksuY

f(s)b ^¦ sf(s)b −f(0) = δA(s)b −µf(s) +b β

fbs θ

−fb(s)

;

egUFpe+nc

fb(s) = f(0) +δA(s)b

µ+β+s + β

µ+β+sfbs θ

£+UXZsxZ

Ab^nocSeuUXZ pq|¢pqhZ+eusgpqmcxjksxY jq¸euUXZy}XZmXcxne¤b

A ?«bn¶egZsupegnjkm-netjqooj£+cSeuUFpe

f(s) =b XN

n=0

βⁿ Qn

k=0(µ+β+s/θ^k) ·

f(0) +δAb s θⁿ

+ YN n=0

β µ+β+s/θ^k

fb s θ^N+1

.

µ = δ = 0^!

Ç¤m$euUXZ!|8ZsucuncxeuZm@eyh1pqcxZqÄ=oZeuegnmX

N euZmX}$egjnom XmXne¤bqÄ£¥Z!kZe

f(s) =b Y

k≥0

β

β+s/θ^k ·fb(0)

= Y

k≥0

β β+s/θ^k

7f1 9

£+negU

f(0) =b R∞

0 f(z)dz = 1

³´ZsxZY[pqsuªeuUFpe

fbnoc!egUXZpq|¢pqhZeusgpqmXcfjksuY jyp±culXY jqVnmX}XZ|8ZmX}XZm@e-qZ§

jkY[Zegsxnoh<supqmX}XjkY ¯pqsunopq°XoZc

Ek

£+n¶egU|FpqsupqYZegZs

βθ^k jqeuZ<egUFpe%euUXZculXY`jq«euUXZ Y[ZpqmXc P

k≥0θ^−k/β < ∞ cujegUXncµsgpmX}XjkY ¯pqsxn¢pq°XZZºdnocfegcpmX}ëUFpcp®|3jkcun¶egn¶¯kZ }XZmXcxne¤bq

³´Z%egU6lXcyUFp1¯kZpcujklegnjkmjks 7Ô!9«£+negU

θ= 2 JTVUXZ]!È{ënoc

df(z)

dz = β(θf(θz)−f(z)), z ≥0. ^7Ék>9

(12)

TVUZcxjkoleunojkmhpqm$pqocxj°8Z%jklXm}$°@beuUXZ^QZonom[egsgpmXcxjksxY pqc+nom ;æ<B¦

f(z) = ψβX

n≥0

bne^−(βθⁿ^)z ^7f ⁹

£+negU

ψ = Y

k≥1

(1−θ^−k)

!−1

.

³´Z!h1pqm$h~UXZh~ªeuUXnocVnm@¯kZsxcunjkm°6bhpqohlX¢pwegnom&egUXZ pq|XopqhZ¡eusgpqmcxjksxYjq'7fÆ!9¦

ψβX

n≥0

bn

Z ∞ 0

e^−uze^−(βθⁿ^)zdz = ψβX

n≥0

bn

u+βθⁿ.

TVUXZ<suZcun}XlXZ<jqteuUXZ<|3jkoZ

−βθⁿ ^nc ψβbn

%TVUXZ<sxZcun}XlXZ<j

fbkn¯qZm °@b/7f 9ypeeuUXZ

|8jkZ

−βθⁿ ^noc

βθⁿ

n−1Y

k=0

βθ^k βθ^k−βθⁿ

Y

k≥n+1

βθ^k βθ^k−βθⁿ

= βθⁿ

n−1Y

k=0

1 1−θ^n−k

Y

k≥n+1

θ^k−n θ^k−n−1

= β Yn k=1

θ 1−θ^k

Y

k≥1

θ^k θ^k−1

= β·bn·ψ.

TVU>lcy£«Z!cuZZ!egUZ pq|¢pqhZ¡egsgpmXcxjksxY¹jq

f nocVnmX}XZZ}/7É 9Þ

µ > δ ≥0^!

ZeueunomX

N → ∞ ^£«ZqZe

f(s) =b X

n≥0

βⁿ Qn

k=0(µ+β+s/θ^k)

f(0) +δAb s θⁿ

7f 9

= X

n≥0

1− δ

µ+ δ µAb s

θⁿ 1− β µ+β

β µ+β

n nY

k=0

µ+β µ+β+s/θ^k.

(13)

Ç¤m 7B 9-£¥ZQh1pqm }Z FmXZ±nomX}XZ|8ZmX}XZm6esgpqmX}jkY ¯qpsun¢p°XoZc

V ^Ä Ek, k = 0,1, . . .^Ä N ^pqmX} X ^£+UXZsuZ V UFpqc-}ZmXcxne¤b

A^ÄtegUXZ Ek

cpqsuZZÞºd|8jkmZm@egnopq«£+n¶egUÊ|FpqsupqYZegZs

(µ+β)θ^k^Ä N nocykZjkYZeusunh£+n¶egU

P(N = n) =

1−µ+β^β β µ+β

n

pqmX}

X ^e~pqªZc

egUXZ¯pqlXZc

0^jks 1 £+negU|sujk°Fp°XnonegnZc

(1−δ/µ) ^pqmX} δ/µ ?«bµnmXcu|3Zhegnjkm,Ä

fb^noc«euUXZ

Lp|X¢pqhZ¡egsupqmXcxjqsuY

Eexp(−sW) jqLegUXZ!sgpmX}XjkY¯pqsxn¢pq°oZ

W = (1−X) XN n=0

En + X V θ^N +

XN n=0

En

! .

³®ZUFp1¯kZegUXZsuZjqsuZZcxegpq°XnocuUZ}egUXZZºdnocfegZmhZ<pmX}QlmXno6lXZmXZcxc¡jqtp}XZmXcun¶e¤bQcxjkol>§

egnojqmegj 7B 9Þ

³´Zh1pqm$h1pqhlXopegZ¡euUXZnom@¯kZsucuZjqegUXZ pq|XopqhZ%egsupqmXcfjksuY¹qn¯kZm±pwe7É 9Þ Â nsucfe

suZY[pqsxª[egUXpeVegUXZ!}XZmXcun¶e¤bkn¯>nmX<egUXZ%eusgpqmXcfjksuY

Yn k=0

µ+β µ+β+s/θ^k

h1pqm$°8Z¡£+sxnexegZmQpqc

gn(z) = Xn k=0

dk,nexp(−(µ+β)θ^kz) ^£+UXZsxZ

dk,n = (µ+β) bk n−kY

i=1

1 1−θ⁻ⁱ

£+n¶egU

Y0 i=1

1

1−θ⁻ⁱ = 1.

TVUXnocVUXjqo}Xc+°3Zh1plXcuZ!egUXZ¡eusgpqmcxjksxY¹jq

Xn k=0

dk,nexp(−(µ+β)θ^kz) ^nc

Xn k=0

dk,n

1 (µ+β)θ^k+s

(14)

£+UXZsxZ

dk,n

pqsuZ¡jklmX}Q°@blcunom

dk,n = (µ+β)θ^k

k−1Y

i=0

(µ+β)θⁱ (µ+β)θⁱ−(µ+β)θ^k

Yⁿ

i=k+1

(µ+β)θⁱ (µ+β)θⁱ−(µ+β)θ^k

= (µ+β)θ^k

k−1Y

i=0

1 1−θ^k−i

Yⁿ

i=k+1

θ^i−k θ^i−k−1

= (µ+β) Yk i=1

θ 1−θⁱ

^n−kY

i=1

θⁱ θⁱ−1

.

Ze

ℵ(·)}XZmXjqegZ+egUZiYZ1pqcxlXsuZ

1− ^δ_µ

δ₀(dx) +^δ_µA(x)dx STVUXZy}XZmXcxne¤bjq3egUXZ

¯qpsun¢p°XoZ

W ^pe yÄXhjqmX}XneunojkmZ}jkm

N =nÄFnocVkn¶¯kZm$°@b

Z θⁿy 0

gn

y− x θⁿ

ℵ(dx) =

Z θⁿy 0

Xn k=0

dk,ne^−(µ+β)θ^k^(y−^θn^x ⁾ℵ(dx)

= Xn k=0

dk,ne^−(µ+β)θ^k^y Z θⁿy

0

e^(µ+β)x/θ^n−kℵ(dx).

jqegZ%euUFpeVegUZp°8j¯kZ!nm6euZksupq,ZÞºncxeuci°@beuUXZpqcucxlXY[|degnojqm 7 9ÄnÔ Zq ¶Ä

R∞

0 e^(µ+β)zA(z)dz < ∞ j£)culXYY[nmXj¯kZs

n £«Z-UFp1¯kZ-egUXZ-}ZmXcxne¤b±jqs

W

pe y^¦ X

n≥0

1− β µ+β

β µ+β

nXn k=0

dk,ne^−(µ+β)θ^k^y Z θⁿy

0

e^(µ+β)x/θ^n−kℵ(dx)

= X

k≥0

(µ+β)bk

1− β µ+β

β µ+β

k

e^−(µ+β)θ^k^y

·X

n≥k

β µ+β

n−k n−kY

i=1

1 1−θ⁻ⁱ

! Z θⁿy 0

e^(µ+β)x/θ^n−kℵ(dx)

= X

k≥0

(µ+β)bk

1− β µ+β

β µ+β

k

e^−(µ+β)θ^k^y

·X

m≥0

β µ+β

m Ym i=1

1 1−θ⁻ⁱ

! Z θ^k+my 0

e^(µ+β)x/θ^mℵ(dx).

(15)

* %"* *V *+ *+-"`*

γ > 1

µ = δ = 0^!

ÈZ FmZ

h egj°8Z!p}XZmcune¤bcujklegnjkmjq'7fk>9«£+n¶egU

β sxZ|XopqhZ}Q°@b

β/γ ^cuj h(z) = ψβ

γ X

n≥0

bne⁻(^βγθⁿ)^z. ^7f ⁹

Zº>eÄXjks+pqo¸|8jkcxneun¯kZ%hjkmXcfe~pqm@egc

C^Ä f(z) =C⁻¹h(z^γ) ^cgpeunoc ^FZc df(z)

dz = C⁻¹dh(z^γ) dz

= C⁻¹γz^γ−1β

γ (θh(θz^γ)−h(z^γ))

= C⁻¹βz^γ−1(ρ^γh((ρz)^γ)−h(z^γ)) ^£+UZsuZ ρ^γ =θ

= βz^γ−1(ρ^γf(ρz)−f(z)).

adjnLjkmXZ%e~pªqZc

C cxlXh~UQeuUFpe R∞

³´Z<hpqmlXmX}Zsucfe~pqm}euUXnocyegsupqmXcxjqsuY[pegnjkm±pc%pµh~UFpqmkZ<jqJYZ1pqcxlXsuZ Ze

I ^°3Z

psgpqmX}jkY ¯pqsxn¢pq°oZ£+negUÊ}nocxeusun°Xlegnjkm

h kn¯qZmÊ°@b 7É 9Þ ³´ZmXjegZegUXpe<jks&pqm@b

°8jklmX}XZ}lXmXhegnjkm

φ^Ä 1 CE

φ(I^1/γ) γI^1−1/γ

= 1 C

Z ∞ 0

φ(z^1/γ) 1

γz^1−1/γh(z)dz

= 1 C

Z ∞ 0

φ(w)h(w^γ)dw

= Z ∞

0

φ(w)f(w)dw

= E[φ(J)],

£+UXZsxZ

J nc+psupqmX}XjkY ¯pqsunopq°XoZi£+negU$p-}XZmXcun¶e¤bkn¯qZm°@b

f(z)

(16)

³´Z!h1pqm$lXcxZ!euUXnoc+h~UFpmXkZ!jqY[ZpqculXsxZ%egjhjkY|XleuZ%egUXZ%mXjqsuY[pqon65nom&hjqmXcxegpqm@e1¦

C = E 1

γI^1−1/γ

= 1 γ

Z ∞ 0

1

z^1−1/γh(z)dz

= ψβ γ²

X

n≥0

bn

Z ∞ 0

1 z^1−1/γ exp

−β γθⁿz

dz

= ψ γ

X

n≥0

bn

1 θⁿ

γ βθⁿ

1/γ−1Z ∞ 0

v^1/γ−1exp(−v)dv

= ψ γ

γ β

1/γ−1

Γ 1

γ X

n≥0

bn

1 θ^1/γ

n

= ψ γ

β γ

1−1/γ

Γ 1

γ Y

k≥0

(1−θ^−k−1/γ).

ÅiZmhZ 7Ô 9SnocEp!}XZmcune¤bcxjkoleunojkm<euj 7 9 ?«bpcxnoYnoopqsSpqsxklXYZm@e1Ä@egpqª6nomX

φ(I) =I^Ä

£¥Z!kZeyeuUFpeVeuUXZ!Y[Zpqm¯qpolXZ%jq

f ^noc Z ∞

0

zf(z)dz = E[I^2/γ−1] Cγ

= 1

Cγ Z ∞

0

z^2/γ−1h(z)dz

= ψβ Cγ²

X

n≥0

bn

Z ∞ 0

z^2/γ−1exp(−β

γθⁿz)dz

= ψ

Cγ X

n≥0

b_n 1 θⁿ

γ βθⁿ

2/γ−1Z ∞ 0

v^2/γ⁻¹exp(−v)dv

= ψ

Cγ γ

β

2/γ−1

Γ 2

γ X

n≥0

b_n 1

θ^2/γ n

= ψ

Cγ β

γ

1−2/γ

Γ 2

γ Y

k≥0

(1−θ^−k−2/γ).