HAL Id: inria-00072852
https://hal.inria.fr/inria-00072852
Submitted on 24 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,
Occupation Times in Markov Processes
Bruno Sericola
To cite this version:
Bruno Sericola. Occupation Times in Markov Processes. [Research Report] RR-3806, INRIA. 1999.
�inria-00072852�
ISRN INRIA/RR--3806--FR+ENG
a p p o r t
d e r e c h e r c h e
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
Occupation Times in Markov Processes
Bruno Sericola
N˚3806
Novembre 1999
THÈME 1
&')(*+-,/.0'1324+6587:9
;=<?>@$ACBED FGHIA)JLKNMOAPQHIRNHIPS>@$AH
TVUSWYXIAPQZ[US@$W\U
FQJL]?]^W\UIP_?A`USAab<cAUSab<cAedgf4h\i\jLklD m WonLA@qp?UIArB)s\s\stD u?B`]vJLwLAH
xzy{|o}~vL|4 AqaW\d?HI_?AU %dJ<?W\@$W\w\Ad?AW\KcH`JLUILWon]?UIW0aAHIH`P<?d?PSAqHIPJPAqHI]vJLaAL /P<cA
WNaaKc]vJPW\dPS@$AHPS<vJP=H P<?AEPS@$AHHS]^Ad4P=p4RPS<?A]?USWNaAHSH=dzw\nLAdHIK?p?HSAPH=WLPS<?AEHIPJPA[HS]vJLaA
_?K?UId?wJlvd?PAd4PAUInJLW[P@rA AvUIHIP$_?AUInLAOPS<?A _cHIPSUSp?KcPW\dWLQP<?AOWNaaKc]vJPW\dP@rA
WL`W\dcAHSKcp?HSAPJLd?_-PS<?AdAw\Ad?AUSJLAP<?HUIAHSKcPPSW:PS<?A$XIW\dPr_?HIPUIp?K0PWLdWLEW0aaK?]vJYPWLd
P@rAH=WL_?6AUIAd4PQHSK?p?HIAPSH WLP<cAtHPbJPSA`HS]vJLaAgp4RzPS<?A`K?HSAtWLW\US_cAUHIPJPHIPaHUIW\@PS<?A`K?d?WLUS@
_?HIPUIp?K0PWLd/ mQAMNP) ?AaW\dcHS_cAUP<cA_?HPUSp?KcPSW\dzWAw\<4PA_OHIK?@$H=WLW0aaK?]vJYPWLdzP@$AH A
W\pcPJLd¡PS<?AQWLUIJLUS_JLd?_p?JLab4JLUI_zA¢KvJYPWLd?H£_?AHIaUSp?dcwgP<cA p^A<vJ)nNWLU¤W¥P<cAHSAQAw\<4PSA_HIK?@$H
JLd?_AtHI<?Wo<?Wo¦PS<?AHIAgA¢KvJPW\d?HAJL_zPW$HS@r]cAEA§Mc]cUSAHIHSW\d?HQWLPS<?H=_cHIPSUSp?KcPW\d/
¨ ©4ª¥«I¬q }Y®{L°¯ aaKc]vJPW\dCP@$AH NJLUILWon$]?USWNaAHSHSAH 0W\US_?AU£HIPbJYPHPaH NJ)nJLJLp?P±RL ]^AUW\US@rJY²
p?P±RL
³µ´¶±·±¸o¹=¶¤º»·±¼¾½¿
ÀÁÂ¥Ã3ÄÅYÆYÇÉÈ)ÊÃ8ËÍÌÆÎÐÏoѧÒËÓÃ8ËÍÔ8ÏÇÕÖÃ
Unité de recherche INRIA Rennes
IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) Téléphone : 02 99 84 71 00 - International : +33 2 99 84 71 00
{ ¯ dqaW\dcHS_c>USA 4_vJLd?HK?d¡]?UIW0aAHSHIK?HV_?A JLUSWn<?W\@$W\w\>d?A[AHS]vJaA_GPJPHvd?8 AH
PA@r]cH=_ÓWNaaK?]vJPSW\daÓAHIPI²Y²±_cUSA ?AHPA@r]?H]vJHSHSGH ]?JLU=A]?UIW0aAHIHSK?HQ_vJLd?H_?AHHSW\K?H ²±Ad?HSA@qp?AH
_GPJPH_?W\dcd?GHO_?K?USJLd4PK?d d4PAUnJLA_?AlPA@r]?Hz?d?8 ¯ d W\pcPSAd4P_vJd?HK?d ]cUSA@$AUPA@r]cH
JC_?HIPUIp?K0PWLd _?K PA@$]?H _ÓWNaaK?]vJPSW\d _K?dHSWLK?H² Ad?HIA@qp?AAPEW\dwLGd?GUJLHSAtaAgUSGHSK?PbJPJ
_?HIPUIp?K0PWLd¤XIW\d4PSA _?AVPA@r]?H%_ÓWNaaK?]vJPSW\d`_?AV_?¥GUSAdPSHHSW\K?H ²±Ad?HSA@qp?AH_cAVAHS]?JLaA£_GPJPH]vJLU
KcPSHJPSW\dr_?AtHIPbJYPHP¢NKcAH_W\US_?UIAg_cAgJCW\/K?dcW\UI@rA
¯
d aW\d?HI_?>USA`AdcHSK?PAtJ¡_?HPUIp?KcPSW\d
_?AHSWL@r@$AHC]^W\d?_?GUSGAHr_cAPSA@$]?HC_W0aaK?]vJYPWLd/ ¯ d W\pcPSAdPCAHCG¢KvJYPWLd?H$JonJLd4P$APrJLUIUS>USA
_?GaUSnJLd4P[AaW\@$]6WLUIPA@rAd4P _cAgaAH[HIW\@$@rAHQ]^W\d?_cGUSGAH APQW\d@$W\d4PUIA`aW\@$@rAd4P aAHQG¢KvJPSW\dcH
aWLd?_?K?HSAd4PC_?AHAM0]?UIAHIHSWLd?H HI@$]?AH=_?A`aAPSPA`_?HIPSUSpcKcPW\d/
|{
«
;A@r]cH_W0aaK?]vJYPWLd/ c]?UIW0aAHIHSK?H=_?AJLUSWon6 cHIPbJYPHP¢NKcAH_W\UI_?USA c_?HS]^W\d?pcPG
]^AUIWLUS@rJLp?PSGL
& '
¡%#
(%AP*),+.-/)1032 46587:9Cp6AJ<?W\@$W\w\Ad?AWLK?HJUSLWon ]?USWNaAHSHEP<J$vd?PSAHPbJPSAHS]?JLaA<;Q;=<?A
WNaaKc]vJPW\dCP@$AWLJtHSK?p?HIAP*=?>@; WonLAUPS<?A[d4PAUnJLBAC7 2ED F#H_cAvd?A_p4R$PS<?A[USJLd?_?WL@ nLJUS Jp?A
GIH JLH
GIH+@J
H
KILMNPORQSUT V 42
<?AUSA
L MWT
+ L
QaW\d?_cPW\dYXHqPSUSK?AOJLdc_Z7 WLPS<?AUHSA ;=<?H¡USJLd?_?W\@ nLJUSJp?AzUIAaAnLA_-J
aWLd?HS_?AUSJLp?ArJPIPAd4PSW\d:HSdcaAPtHgJLHIWd?Wod JLH`P<?Ard4PAUInJL¤J)nLJJp?P±R dUSAJLpcP±RJd?_
_?A]6Ad?_vJLp?P±RgPS<?AW\UR\ Z dCAM0]?USAHSHIW\d$WL P<?A=_cHIPSUSp?KcPW\dqWL[GIH^<vJLH£p6AAdCW\pcPJLdcA_¡d]\_^`vKcHSdcw
W\UI_?AUHIPbJYPHPaH£USW\@ P<cA[K?d?W\US@ _cHIPSUSp?KcPW\dCWon\AUaAC7 2ED Fb ;=<?HA§Mc]cUSAHIHSW\dH¤n\AURd4PAUIAHPdcw
USWL@ J¡aW\@$]?KcPJPW\dvJL6]6WLd4P=WLnNA¦JLd?_nJLUSW\K?H@$APS<?WN_?H<vJ)n\A`p6AAdO_?AnLAW\]6A_OPSWCaW\@$]?KcPSA
PCAn\Add P<?AOa)JHSAOWLE_?AdK?@rAUJLpcAHIPJPAOHS]vJaAHIb¾HIAAc\_^`3 d\ÖBoj`3 \ie`3 d\se`QJLd?_ P<?AUSAAUIAd?aAH
P<cAUSAdgf§
h±d PS<?H]vJL]^AU VAvUSHPrWLpcPbJLd P<cAqXIWLd4P¡_?HIPUIp?K0PWLd WLQP<?AUSJLd?_?WL@ nJLUSJLp?AHjiGkHl2m)nHF
K?HId?wPS<?AgWLUIJLUS_ JLdc_pvJLab4JLUS_ A¢KvJYPWLd?HEJLHIHSWNaJPA_PWPS<?AKcd?W\UI@rA_JUSLWonab<vJLdWL
P<cAt]cUSWNaAHIH*) AtPS<?Ad w\AdcAUJAEP<?H=USAHSK?PQPSW$PS<?AXIW\d4P_?HIPUIp?K0PWLdWLoGqp
H
2RrsrsrR2G8t
H
2 )1H±
<?AUSAuG@v
H
H¤PS<?A[WNaaK?]vJPSW\d$P@rAQWLJtHSK?p?HIAPxw
v
Won\AUP<?A d4PAUInJLBAC7:2mD Fbzy#dvJLR\ AEaW\d?HI_?AU
JqAw\<4PSA_HIK?@ WLWNaaKc]vJPW\dP@rAH cPS<vJPHPS<?A`UJLdc_?W\@ nJLUIJLp?Ad{UH#_cAvd?A_p4R
{UH|+@J
H
K}
i)10~F
V
42
<?AUSA¡W\UEAJLab<*Z;
}
ilFQHJzd?WLddcAw4JPSnLAqaW\dcHIPbJdP;=<?ACHPK?_cRWL¤P<?HEUJLdc_?W\@ nLJUS Jp?A
{UH£HEJHSWNdcWdJLH P<?Aq]^AUW\US@rJLp?P±RJLdvJLRNHSH dPS<?AqUIAJLp?P±RzJLd?_l_?A]6Ad?_vJLpcP±RP<?AW\UIR
b¾HIAA\Óh/`8 \`Jd?_:PS<?ArUIAAUSAdcaAHtP<?AUSAdgf§ Ar_?AUSn\A<cAUSACP<cArpvJabJLUI_JLd?_W\UIJLUS_A¢KvJ²
PW\d?HE_cAHSaUSp?d?wzPS<?A¡p^A<vJ)nNW\U[WL£P<?A XIW\d4PE_?HIPUIp?K0PWLdWLxi{UHl2 )1HFg;=<?AHSACA¢KvJYPWLd?H /<?ab<
JLUIAO]?JLUIPSJL_?6AUIAd4PJLA¢NK?JPW\d?H JLUSAzPS<?Ad HSWLn\A_-Jd?_ AOHS<?Wo PS<vJP¡PS<?AR A)JL_PW HI@$]?A
AM0]?UIAHIHSWLd?H WPS<?AXIW\d4P_?HIPUIp?K0PWLdzWLi{UHl2 )1HFb
;=<?AUSAHIP$WL ]vJL]^AU¡H¡WLUSw4JLdcA_ JLH¡W\WoH h±d PS<?Ad?AMNP$HSAaPSW\d/ £AOaW\d?HI_?AUCPS<?AgXIW\dP
_?HIPUIp?K0PWLdWL W\UI_?AUHPbJPSHIPSaHUIW\@ PS<?AgKcd?W\UI@ _?HIPSUSpcKcPW\dJLd?_OP<?AXIW\dPQaW\d?_?PWLdvJL¥_cH²
PUIp?K0PWLd$W¥P<cAVXIK?@$]?H¤d$JTW\HIHSW\dr]?USWNaAHSHJLd?_CA HS<?Wo <?WoPS<?ARrJLUIAQUIAJPA_/Bh±dHIAaPWLdzhc
A¡aW\d?HI_?AU[P<cAqa)JLHIA+
L AW\pcPbJdPS<?Aq_?HIPUIp?K0PWLdWL£WNaaK?]vJPSW\dPS@$AtWLUEJz_?HSaUIAPSA
P@rA[JLUILWonzab<?JLd/V;=<cH_cHIPSUSp?KcPW\daW\@qp?d?A_rP<rP<?AEUIAHIK?PSHWLHSAaPSW\d^gA)JL_rPWqHI@$]?A
AM0]?UIAHIHSWLd?HCWLP<?AgXIW\d4Pq_?HIPUIp?K0PWLd WLP<cAaW\K?]cAkiGkHl2 )1HF:;=<cAUSAHIK?PSH¡WLQHSAaPW\d hlJLUIA
P<cAd w\Ad?AUSJLA_:d:HIAaPSW\d:u PSW P<cAraJLHSA$<?AUIA L
]y#dvJRL %HSAaPW\d_?A)JHPS<:P<cA
_?HIPUIp?K0PWLdWLPS<?A`aW\Kc]?Ani{gH2m)nHFb
u
C`/
!"$#% '&)(*#+,
h±d P<?H$HIK?p?HIAaPSW\d¥ AOaWLd?HS_?AUCW\UI_?AUCHIPJPHIPSaH¡UIW\@ P<cAOKcd?W\UI@ _?HIPSUSpcKcPW\dWon\AUAC7:2mD Fb
<?AUSAD¡HJcM0A_]^W\HSPn\AOUSA)JQdK?@p6AU¦ W\USAOW\US@rJLR\ £AP ) p
).-o *rsrsr )0/:p^A21 88_/
UJd?_?W\@°nLJUS Jp?AH[PS<laW\@$@rWLdl_?HPUSp?KcPSW\dPS<?A¡K?d?W\US@°_?HIPUIp?K0PWLdWon\AUjA7 2mD F AqPS<K?H
<vJ)n\A vW\UJL + L
2srsrRr231JLdc_546
7-/)
v98 4|9+
:;
<;= 7 4 8 7
4?>D 4ki7:2mD F
L
4k5 D
h =P<cAUJd?_?W\@ nJLUI JLp?AHa)
p )@-o rRrsr )0/JLUIArUIA)JLUIUJLdcw\A_ d JLHIaAd?_?dcwW\US_cAUW=@Jw\d?PSK?_?A
JLd?_P<cAdUSPIPAd JH
)BA
pDCE8 )BAF-
CE8GHGHG 8 )BAF/
C
A=a)JL:) A
vIC
PS<?A 3PS<¡W\US_cAU HPbJPSHIPSa ~ + L
2KJ 2srsrsr231#MLAaJLK?HIAQWvP<?Ad?A¢KvJP±RtUIAJYPWLd?H JL@$W\d?w
P<cA@ PS<?Au)NA
vIC
JLUIAd?AaAHIHJLUIRz_?A]^Ad?_cAd4PEUSJLd?_?W\@enJLUSJLp?AH
(%APOPsiQ4PFp6APS<?A`_?HPUSp?KcPSW\dzW )BARP
C AEP<?Ad<vJ)nLAL vW\U4Ici7 2mD F
O9PiQ4PF + 7-/)BARP
CM8 4|9
+ 7-YJPA)JLHP*SqWLP<?Au)@TtJLUSAAHIHPS<vJLdW\UA¢KvJ/PW049
+ /
U
vIV PXW
1
MY
W 4D Y v W
L*Z 4D Y
/[
v
bB/f
;=<?At_?Ad?HIP±R5\HPi]4PFW ) ARP
C
HPS<NKcHQwLn\Ad/ ?W\U4i7 2ED Fb ?p4R
\HPiQ4PFB+
1_^
iDS
Z L F^iD1
Z
S!F^
LD W 4D Y P W
L*Z 4D Y
/`[aP
r
h P=HHS<?Woddk\B`6PS<vJPPS<?A¤XIW\d4P_?Ad?HSP±RrKcd?aPSW\dzW) ARPcb
C
2m) ARPed
C
2srRrsr2m) ARPef
C
0W\U
L
8hgN8 1#
L 8 S pi
Sj-
ikGHGHG i SlT
8 1 Jd?_54 p8
4m-
8nGHGHG+8 4mT<bo4
v i7 2mD FlfH
\pPcb'qPedqsrsrsrqPefei]4
p
2t4m-2srRrsrR2t4mT/F +
1M^
W LD Y T W 4 p D Y
Pcbu[
p W 4m-
Z 4 p
D Y
Pudc[aPb'[
p
GHGHG
W
4mT
Z
4mTv[
p
D Y
PefK[aPefw b [ p W
L*Z 4mT
D Y /[aP f
iDS
p
F3^iQSj- S p F^
GHGHG
iDSlT SjTx[
p
F3^iQ1 SjTF3^
;=<?AXIW\d4P_cAd?HIP±R`K?d?aPWLdWL ) Ab C
2m) Abd C
2RrsrsrR2m) Abd
f C
H%PS<NKcH w\nLAd/ YW\U
L
8hgN8 1#
L
8 p
-
hGHGHG T 8
1Zb
v 5 L
fJd?_N4
pX8 4m-
8GHGHG 8 4mT<b]4
v
i7 2ED F fp4R
beqRdqsrsrsrq fei]4
p
2t4m-s2srsrRrR2t4mT/Fo+
1_^
W LD Y T W 4 p D Y
b'[
p W 4m-
Z 4 p
D Y
d[
p
GHGHG
W
4mT
Z
4mTv[
p
D Y
f[
p W
L*Z 4mT
D Y
/[ Abd
f C
i p Z L F3^i -
ZL F^
GHGHG i T Z L
F^iD1
Z i p
-
GHGHG T/FEF^
r
yvK?UIPS<?AUI@rW\UIAL ¡$A USPSAY{b + )bJLd?_ W\UY+ J:2srsrRr2
g
qA _?A?d?A{zJLH {+
)BAbd
C Z
)BAbd
w b C
P<?AdP<?A¡XIW\d4Pz_cAd?HIP±R K?d?aPSW\d-WLu{b2{d2srsrsr2{f Hrw\nLAd/
W\U
L 8 gB8
1#
L
8 p
-
GHGHG T 8
1Zb
v 5 L
fJLd?_7
iep
-
GHGHG T i
Dub
Rv
i7 2mD F f
p4R
b q d qsrsrsrqRfi
ep 2
-R2srsrsr2
T/FB+
b q d qsrsrsrq fi
ep
2
ep -s2srsrRrR2
ephGHGHG T/F 2
P<?JPH
b'qRdcqsrsrsrq f i
ep 2
-s2srsrsr2
T/FB+
1M^
W LD Y T W ep
D Y b'[
p W -
D Y d[
p
GHGHG
W T
D Y f [ p W
LXZ
ep
-
hGHGHG
T
D Y
/`[ Abd
f C
i p Z L F3^i -
ZL F^
GHGHG i T Z L
F^iD1
Z i p
-
GHGHG T/FEF^
r
h±d ]?JLUIPSaKcJLU QW\U
g + 1Aw\APP<?AXIW\dP_cAd?HIP±R K?d?aPW\d WLgPS<?A UJLdc_?W\@ nJLUIJLp?AH
{ p + ) A
pDC
2 { -%+ ) AF-
C Z ) A pDC
2srsrsr2{m/u+ ) AF/
C Z ) AF/[
pDC
_?Ad?WLPSA_p4R iQ4
p
24m-s2srsrsr2t4 /3F£p4R@rJLd?w
p +
-+
GHGHG
+ / + L
dPS<?A`]?USAn0W\K?HAM0]?UIAHIHSWLd/ vP<vJPH
iQ4
p
24m-s2srsrsr2t4 /3Fo+
:;
<;=
1M^
D /
/
U
vIV p 4 v_8
D
7 WLPS<?AUHSA
LRzUIPSd?wn{ /
p + D Z ) AR/
C
?PS<?HJLHSWC_?APAUI@rd?AH=PS<?A b¾_?Aw\Ad?AUJPSAfXIW\d4P=_cAd?HIP±RK?d?aPW\dWL
{ p
2{m-s2srsrsr2{ /:2 {m/
p
dP<?A`USAw\WLd
4 v 5 7 i + L
2srRrsrR231 231
L F /
p
U
vIV p 4 v + D r
;=<?AXIW\d4P=_?HIPSUSpcKcPW\dWL {b 2 {d 2RrsrsrR2 {f[H=_?Ad?WPA_ p4R! "b q d qsrsrsrqRf/i
p 2
-R2srsrsr2
T/F ?P<vJPH
buq dqsrsrsrqRfi
ep 2
-R2srsrsr2
T/FB+ 7-{b
8 ep 2{d
8#
-R2srsrsr2{f
8 T93r
;=<?HQ_cHIPSUSp?KcPW\dzH=w\nLAdOdP<?AW\WodcwA@r@rJc
k
£© ~
L
8hgN8 1
L
8 p - GHGHG T 8 1
v 5
L
7
iep - GHGHG T i D
Rv
i7 2ED F
"
"buq dqsrsrsrq fei
ep 2
-s2srsrRrR2
TF +
U
v
b b'q
v
d dq]r]rDr]q
v
f Rfq
vb vd v fX/
1_^
W
p
D Y vb W - D Y vd
GHGHG
W T
D Y vf W L Z
p
- GHGHG
T
D Y
/`[ Avb vd
vf C
p
^_D-H^
GHGHG
DT ^iD1
Z i p
e-
GHGHG
eT/FmF3^
r
} / h PQHSKraAHPWCHS<cW¦P<vJP
T
"b q d qsrsrsrq fi
ep 2
-s2RrsrsrR2
TF
ep -
GHGHG
T + b'q dqsrsrsrq fei ep
2 -s2srsrRrR2
TFr
;WrHI@$]? R$UIPSd?w? NA`_?Avd?A
H! "cb'q"ed'qsrsrsrq"ef
/#
v
b'q
v
dqsrsrsrqvf + W p
D Y vb W - D Y vd
GHGHG
W T
D Y vf W L Z
p
-
hGHGHG
T
D Y
/`[ Avb vd
vf C
p
^_D-H^
GHGHG
DT ^iD1
Z
i
p
e-
GHGHG
eT/FmF^
r
A`PS<K?H<vJ)n\AL vUIW\@ USAJPSW\dkb3h!f§
"b q d qsrsrsrq fei
ep 2
-s2srsrRrR2
TF +h1M^
U
v
b buq
v
d dqQr]r]rDq
v
f fKq
vb vd
vf */
H! "cb'q"Ddcqsrsrsrq" f
/#
v
b'q
v
dqsrsrsrqvf r
AtWLpcPbJLd
"b'q dqsrsrsrq fei
ep 2
-s2srsrRrR2
TF
T +
1M^
D U
v
b$ b'q
v
d dqQr]rDr]q
vf f q
vb vd
v
fX/
H! "cb'q"Ddqsrsrsrq"Df
/#
v
b'q
v
dqsrsrsrqv fw
b qv f[
p
Z
1_^
D U
vb b qvd d q]rDr]r]q
v
f% fKq
vb vd vf
*/[
p
H! "'buq"edqsrsrsrq"ef
/`[
p v b'q
v
dqsrsrsrqvf
+
1M^
D U
v
b$ b'q
v
d dqQr]rDr]q
v
fw b fw b qv
f f [ p q
vb vd v f*/[
p
H! "cbuq"Ddqsrsrsrq" f
/[
p v buq
v
dqsrsrsrqvf
Z 1_^
D U
v
b buq
v
d dq]rDr]r]q
vf f q
vb vd v f*/[
p
H! " b q" d qsrsrsrq"ef
/`[
p vb qvd qsrsrsrqvf
+
1M^
D U
v
b$ b'q
v
d dqQr]rDr]q
v
fw
b fw
b q
vb vd v
fw b X/_[
p
H! "'b'q"edqsrsrsrq"ef
/`[
p v b'q
v
dqsrsrsrqv fcw b q f [ p
<?AUSAP<cAHSAaW\dc_ A¢KvJLP±R HWLpcPbJLd?A_-pRK?HId?w PS<?AnJLUIJLp?A ab<?JLd?w\AIDT
Z
DT
L
LR
PSAUSJPd?w¡HSK?aaAHSHSn\ARP<cAtHSJL@$AgJUSw\K?@$Ad4P=P<USAHS]^AaPQPW¡nJLUIJLp?AH
Tx[
p
2srsrsr2
-) cAgW\p0PbJLd
Tx[
p "b q d qsrsrsrq fi
ep 2
-s2srRrsr2
T/F
T
Tx[
p 2 GHGHG
2 - +
1M^
D
Tx[
p U
v
b b'q
v
b*/[ Ad
f C
H! "'b'q"edqsrsrsrq"ef
/`[%T p v b'q d[
p
qsrsrsrq
fw b [ p q f [ p 2
JLd?_vdvJRL
T b q d qsrsrsrqRfi
ep 2
-R2srsrsr2
TF
T~2
GHGHG 2
-2
ep
+
1_^
D T U
v
b buq
v
bX/M[XAd Rf
C
H! " b q" d qsrsrsrq"Df
/`[%T p v be[
p qRd[
p
qsrsrsrq f [ p
Z
1M^
D T U
v
b b'q
v
b*/[*Ad
f C [ p
H! "'b'q"edcqsrsrsrq"ef
/`[%T
v
buq d[
p
qsrsrsrq f [ p
+
1_^
D T U
v
b b$[
p q
vb X/M[XAd Rf C [ p
H! "cbuq"Ddqsrsrsrq" f
/[%T
vb q d [ p qsrsrsrqRf[
p
Z
1M^
D T U
v
b b'q
v
b*/[*Ad
f C [ p
H! "'b'q"edcqsrsrsrq" f
/`[%T
v
buq d[
p
qsrsrsrq fK[
p
+
1_^
D T H! " b q" d
qsrsrsrq"ef
/`[%T be[
p qRdc[
p
qsrsrsrq f [ p
+ b'q dqsrsrsrq f i
ep 2
-s2srsrRrR2
TF
<?AUSA`P<?A`HSAaW\dc_A¢KvJP±RH=W\p0PbJLd?A_p4RK?HId?w¡P<cA`nJLUIJLpcAEab<vJd?w\Au
p
Z
p
L
i
u ,c"+"%, "%"
(%AP -uHl2mD 6j9 p6AJ`TW\HIHSW\dC]?UIW0aAHSH£PS<¡UJPSAJLd?_CAP
K
K p
UrRrsr
K p GHGHG
/[
p
p^A P<cA1 ?USHIPd?HPbJLd4PHWL0XIK?@$]?HWLB-aH9EWnLAU A7 2mD FBh PH¤A² NdcWd¥ cHSAA1\u`6PS<vJP¤P<?A _?AdcHSP±R
WLP<?A`aW\d?_?PWLdvJL¥_cHIPSUSp?KcPW\dzWL
K
2
p
2srsrsr2 /[
p
wLn\AdP<vJPu-uH|+ 1 9H
\ iQ4
K
2t4
p
2srsrsr2t4 /`[
p
Fo+
:;
<;=
1M^
D /
/`[
p
U
vIV K 4
vM8
D
7 WLPS<?AUHSA
;=<?H¤H¤JLHIW? NJLH£HSAAdzdCP<cAQ]cUSAnNW\K?H¤HSK?p?HIAaPWLd/ NPS<?A XIW\d4P£_?Ad?HSP±RrW¥P<cAQWLUS_?AUHPbJPSHIPSaH£UIW\@
P<cAtKcd?W\UI@ _?HIPSUSpcKcPW\dzWon\AU$i7 2mD Fb
h AtUIPA m/1+ D Z i
K p GHGHG
/[
p
Fb ?P<cHQJLHIWr_cAPAUS@$d?AH=P<?Ab¾_?Aw\AdcAUJYPAfXIW\dP
_?Ad?HSP±RzK?d?aPWLdOW
K
2
p
2srsrsr2 m/`[
p
2 m/CdzPS<?A`USAw\W\d
4 v 5 7 i +@7 2srsrRrR231
Z L
231 F /
U
vIV
K 4 v + D r
;=<?AHR0@$@$APUIaUSW\A]?J)R\A_¡p4RtP<?A¤nJLUSJLp?AH4
K
24
p
2srsrsr2t4 /`[
p
24 /[HI<?WoH#P<vJYP#W\U#JLd4RHIK?p?HSAP
-/
p
2me-s2
GHGHG
2 Q/:9WLP<?AVHIAPz-7 2
L
2srsrsr231
ZaL
231 9 oA£<vJ)n\A \ i]4
vb 2t4
v
d2srsrRrR2t4
v
FB+ \ i]4
K
2t4
p
2srRrsrR2t4 /[
p
Fb
h P[W\WoH=USW\@ UIAJYPWLdcb B/f=PS<vJPQA<vJ)n\AL ^W\U
L 8 8
1 -/
p
2 e-R2
GHGHG
2 9 >q-7 2
L
2srRrsr 231
Z
L
231 9qJd?_
i7:2mD Fb
7-
vb
hGHGHG v8
aHP+ 1 9 + 7-
K
hGHGHG I[
p 8
aHP+ 1 9
+ 7-/)NA
CM8
9
+ /
UT V W 1g Y W D Y T W
L*Z D Y
/`[%T
r b^~f
W\UIA¡w\Ad?AUJLRL 6AP
g
p^A¡JLdld4PAwLAUEHIK?ab<lP<vJP
L 8 g 8
1JLd?_
p 2 -s2srsrRrR2
Tgp6A
g
d4PAw\AUIH
HSKcab< PS<vJP
L 8 p
- GHGHG
T 8 1 b v 5 L
f*yvW\UEJLd4R HSK?pcHSAP$-/
p
2 D-s2srsrsr2 bd
f 9CWLVP<cA
-7 2
L
2srsrsr231
Z L
231 9 cP<cA`nLAaPW\UIH
b
U
V p v
2 b d
U
V b p v
2RrsrsrR2
bd
f
U
V b d
fw b p
v
JLd?_
bu[
p
U
V K 2 bd[
p
U
V b
2srRrsrR2
b
d
fK[
p
U
V bd
fw
b
<vJ)n\AtP<?A`HSJL@rA`aW\d?_?PWLdvJL/_?HIPSUSpcKcPW\dw\nLAdOP<vJP uH+ 1# w\n\Ad p4ROA@r@rJn^0B\ ?P<vJYP H ?W\U
7
iep
-
GHGHG T i
Dub
Rv
i7 2mD F f§
7-
b
U
V p
8 ep 2 bd
U
V b p
8#
-R2srsrsr2
bd
f
U
V bd
fw
b p
8 T
aHP+ 1 9u+
U
vb b qvd d q]r]rDr]q
v
f Rfq
vb vd vf X/
1_^
W
p
D Y vb W - D Y vd
GHGHG
W T
D Y vf W L Z
p
- GHGHG
T
D Y
/`[ Avb vd
vf C
p
^_D-H^
GHGHG
DT ^iD1
Z i p
e-
GHGHG
eT/FmF3^
r
b3h!f
/%Oz ¦
(%AP*),+.-/)1032 46587:9Cp6AJ<?W\@$W\w\Ad?AWLK?HJUSLWon ]?USWNaAHSHEP<J$vd?PSAHPbJPSAHS]?JLaA<;Q;=<?A
]?UIW0aAHSH) H£w\n\AdCp4RCPSHVdc?d?PSAHS@Jcw\Ad?AUSJPW\U JLdc_rp4RCPSHVd?PJL0]cUSW\pvJp?P±Rt_?HPUIp?KcPSW\d
A_?Ad?WLPSAOp4R + -E/:2t1q5 7:9OP<?AKcd?W\UI@rA_ JLUILWon ab<vJLd \ `=JLHSHIW0aJPSA_PWlP<cA
JLUILWonl]?UIW0aAHIH) ¥PS<P<?A¡HSJL@$Aqd?PJL_?HPUSp?KcPSW\d ah PHEPUSJLd?HIPW\d]?UIW\pvJLpcP±R@JYPUSÖM
HQUSAJPA_PWrP<?Ag@JPSUSÖM p4R PS<?AqUIA JYPWLd +
> ^<?AUIAHP<?Aq_?Ad4PSP±RO@JYPUSÖM
JLd?_ lHJYPHvAH P<?A¡UIAJYPWLd 5 - Z vqv
2x ;9;=<?AqUSJPAlHQP<?AUJPSAqWLVP<cA¡TW\HSHIW\d
]?UIW0aAHSH -a0!2 45?7 9 ^d?_?A]6Ad?_?Ad4PWg v<?ab<aW\K?d4PSH[P<?AgdK?@qp^AUQWL PUSJLd?HIPW\d?HWLV]cUSWNaAHIH
-
O
2m45 7:9 Won\AUA7 2mD Fb h P¤H AÖ²±d?WodCP<vJP£PS<?A]?USWNaAHSHSAH-
O
9JLdc_<) JLUIAQHPWNab<vJLHPaJLR
A¢K?nJLAdP AqaW\dcHS_cAUJz]vJUIPPW\dI;+.= b= +"!3fQWL£PS<?AqHIPJPAHS]vJLaAn; JLd?_A
aWLd?HS_?AU=P<cAtWNaaK?]vJPSW\dPS@$AEWLP<?A`HSKcp?HSAPa=g
#* !c" ? #+ %$'&,"%
AaWLd?HS_?AUQP<?AqJLUSWonab<vJd(?+ -/:231c587:9CJLd?_ Ag_?AvdcAP<?AgUJLdc_?W\@ nJLUSJLp?A) /$pR
P<cA`PSWLPbJ/dK?@qp^AUWLHIPbJYPAHWLz= nNHIPA__?K?USd?wqP<cA 1lvUIHIPPUSJLd?HIPW\d?HWg cPS<vJPH
) /u+
/
U
T V K L M+*
f
Q/SUT
r
;=<?H=UJLd?_cW\@ nJLUSJLp?A[USA]?USAHSAdPSHQPS<?A`W0aaK?]?JPW\dzP@rAEW#HIK?p?HSAPa="_?K?UId?w¡P<cA 1?USHIPPSUJLd?HI²
PW\d?HVWL^P<cAQ]cUSWNaAHIH,t#;=<?AW\Wod?wQP<?AW\USA@ w\nLAHVP<?A=p?JLab4JLUI_zA¢KvJYPWLdCWLU P<?Ap^A<vJ)nNW\U
WLP<?A`aW\K?]?Ani+) / 2-E/3Fb
Boj
© } © 15
L
L
8hgN8
1 "
s = _7-) /
8hg
2-E/a+
K + E9+
U
Q
vq 7-) /`[
p 8hg
Z L 2-E/`[
p
+
K + 9
s 7-) /
8hg
2-/u+
K + E9u+
U
Q
v q 7-) /[
p 8hg 2-E/`[
p
+
K + 9
} / A`<vJ)n\A
7-) / 8 g 2 /a+
K + 9
+ U
Q
vqI7-) / 8 g
2-/u+
p + 2 K + 9
+ U
Q
vqI7-
/
U
V p L M+*RQ/SUT 8hg
Z L M v QSUT
2-E/a+
p +
2-
K + E9
+ U
Q
vqI7-
/
U
V p L M+* Q/SUT 8hg
Z L M v QSUT
2-E/a+
p + 9
+ U
Q
vqI7- /`[
p
U
V K L M+*QSUT 8hg
Z L M v Q/SUT
2-/[
p
+
K + 9
+ U
Q
vqI7-) /[
p8hg
Z L/M
v
Q/SUT 2 /[
p
+
K + 9
;=<?APS<?UI_A¢KvJP±RWLWoH=USWL@ PS<?A¡ JLUSWnO]?UIW\]^AUIP±R WL JLd?_PS<?AgWLK?UIPS< W\WoHQUIW\@
P<cAt<cW\@rWLw\Ad?AP±RWLt
;=<?AWLWod?wP<?AW\USA@ w\nLAHP<?A¤W\UIJLUS_gA¢KvJPSW\d`W\UP<?A¤p^A<vJ)nNW\UWL0P<?A¤aW\Kc]?Ai+) / 2 /!Fb
© } © 15
L
L
8hgN8
1 "
s 6= _7-) /
8hg
2-/ +
K + 9+
U
Q
7-) /`[
p 8hg
Z L 2-E/`[
p + K + E9 Iq
s
7-) /
8hg
2-E/ +
K + E9d+
U
Q
7-) /[
p 8hg 2-E/`[
p + K + E9 q
} / A`<vJ)n\A