 T}})^{{\cal E}}$, a similar proof as the one showing (\[50e\]) gives that $$\lim\limits_{n\to \infty} \eta^{-n}
{\mathbb{P}}_\delta(\zeta>n)=
{\mathbb{E}}_\delta(\eta^{-\zeta^{{\cal E}}},\zeta^{{\cal E}}<\infty)\in (0,\infty),$$ and so the relation (\[50b\]) is satisfied. Now, let ${\mathbb{P}}_\delta(\zeta^{{\cal E}}<\infty)=0$. Then, ${\mathbb{E}}_\delta(\eta^{-\zeta^{{\cal E}}}, \zeta^{{\cal E}}<\infty)=0$ and in (\[50b\]) we have ${{\mathbb{E}}_\delta(\eta^{-\zeta^{{\cal E}}}, \zeta^{{\cal E}}<\infty)}/
{{\mathbb{E}}(\eta^{-\zeta^{{\cal E}}}, \zeta^{{\cal E}}<\infty)}=0$. We claim that in this case we also have $\lim\limits_{n\to \infty} {\mathbb{P}}_\delta(\zeta>n)/{\mathbb{P}}(\zeta>n)=0$. In fact, ${\mathbb{P}}_\delta(\zeta^{{\cal E}}<\infty)=0$ implies $$\begin{aligned}
(\beta_0+\theta)^{-n}{\mathbb{P}}_\delta(\zeta>n)&=&
(\beta_0+\theta)^{-n}{\mathbb{P}}_\delta(\zeta>n, \zeta^{{\cal E}}>n)\\
&=&(\beta_0+\theta)^{-n} {\mathbb{P}}(\forall j\le n: 
Y_j\not\in (\partial(T)^{{\cal E}}\cup \{{{\cal D}}^\rho\})<\infty. \end{aligned}$$ Since $\lim\limits_{n\to \infty}\eta^{-n}{\mathbb{P}}(\zeta>n)>0$ and $\beta_0+\theta<\eta$, the claim follows and (\[50b\]) is shown.

Now, let $P^*$ be the restriction of $P$ to $\partial({{\cal T}})^*$. The last statement we must show is that the vector $\varphi$ defined in (\[rev1\]) is a right eigenvector of $P^*$ with eigenvalue $\eta$. First take $\delta\in \partial({{\cal T}})^{{\cal E}}$. We have ${\mathbb{P}}_\delta(\zeta^{{\cal E}}=0)=1$ and so ${\mathbb{E
T}})^{{\cal E}}$, a similar proof as the one showing (\[50e\ ]) gives that $ $ \lim\limits_{n\to \infty } \eta^{-n } 
 { \mathbb{P}}_\delta(\zeta > n)= 
 { \mathbb{E}}_\delta(\eta^{-\zeta^{{\cal E}}},\zeta^{{\cal E}}<\infty)\in (0,\infty),$$ and therefore the relation back (\[50b\ ]) is satisfied. Now, let $ { \mathbb{P}}_\delta(\zeta^{{\cal E}}<\infty)=0$. Then, $ { \mathbb{E}}_\delta(\eta^{-\zeta^{{\cal einsteinium } } }, \zeta^{{\cal E}}<\infty)=0 $ and in (\[50b\ ]) we have $ { { \mathbb{E}}_\delta(\eta^{-\zeta^{{\cal E } } }, \zeta^{{\cal E}}<\infty)}/ 
 { { \mathbb{E}}(\eta^{-\zeta^{{\cal E } } }, \zeta^{{\cal E}}<\infty)}=0$. We claim that in this character we besides have $ \lim\limits_{n\to \infty } { \mathbb{P}}_\delta(\zeta > n)/{\mathbb{P}}(\zeta > n)=0$. In fact, $ { \mathbb{P}}_\delta(\zeta^{{\cal E}}<\infty)=0 $ implies $ $ \begin{aligned } 
 (\beta_0+\theta)^{-n}{\mathbb{P}}_\delta(\zeta > n)&= & 
 (\beta_0+\theta)^{-n}{\mathbb{P}}_\delta(\zeta > n, \zeta^{{\cal E}}>n)\\ 
 & = & (\beta_0+\theta)^{-n } { \mathbb{P}}(\forall j\le n: 
 Y_j\not\in (\partial(T)^{{\cal E}}\cup \{{{\cal D}}^\rho\})<\infty. \end{aligned}$$ Since $ \lim\limits_{n\to \infty}\eta^{-n}{\mathbb{P}}(\zeta > n)>0 $ and $ \beta_0+\theta<\eta$, the claim follows and (\[50b\ ]) is shown. 

 immediately, let $ P^*$ be the restriction of $ P$ to $ \partial({{\cal T}})^*$. The final instruction we must show is that the vector $ \varphi$ defined in (\[rev1\ ]) is a right eigenvector of $ P^*$ with eigenvalue $ \eta$. First take $ \delta\in \partial({{\cal T}})^{{\cal E}}$. We suffer $ { \mathbb{P}}_\delta(\zeta^{{\cal E}}=0)=1 $ and so $ { \mathbb{E
 T}})^{{\cwl E}}$, a similar proof as uhe one showing (\[50e\]) gives vhat $$\lij\limits_{n\go \infty} \eta^{-n}
{\mathbb{P}}_\delta(\zete>n)=
{\marhbb{E}}_\eelta(\eta^{-\zeta^{{\cal E}}},\zeta^{{\cxl E}}<\infty)\pn (0,\infty),$$ qnd wi the relavjon (\[50b\]) is satianied. Uox, let ${\mathbb{P}}_\dekta(\zeta^{{\cal E}}<\infty)=0$. Then, ${\mdtfby{E}}_\delta(\eta^{-\zeta^{{\cal E}}}, \zeta^{{\cal E}}<\infty)=0$ agd in (\[50b\]) wf have ${{\mathbb{E}}_\qelts(\qta^{-\zsna^{{\gal E}}}, \zeta^{{\cal E}}<\infty)}/
{{\mathbb{E}}(\eta^{-\zefa^{{\cal E}}}, \zeta^{{\cal E}}<\infyy)}=0$. We claim that in this cwse ae also have $\lim\lilits_{n\to \infjg} {\mwrhbb{P}}_\delta(\zega>n)/{\mathbb{P}}(\eeca>n)=0$. In fact, ${\mathbb{P}}_\delta(\zeta^{{\cal E}}<\infty)=0$ impuies $$\yegin{alignee}
(\bwta_0+\hveta)^{-n}{\mathbb{'}}_\delta(\deta>n)&=&
(\beta_0+\theta)^{-n}{\mathbb{[}}_\delta(\zrta>n, \zeta^{{\cal E}}>k)\\
&=&(\beta_0+\vhetq)^{-n} {\mathbb{P}}(\forall j\le i: 
Y_j\not\in (\partial(T)^{{\caj E}}\cup \{{{\can B}}^\rho\})<\infty. \end{aligned}$$ Wibce $\lhm\likits_{v\ro \knfuy}\eva^{-n}{\jathbb{O}}(\zeva>n)>0$ and $\betz_0+\theta<\eta$, tye claim follows anc (\[50f\]) is shown.

Now, met $P^*$ fe the restriction of $P$ to $\partial({{\cal T}})^*$. Tve mast statement we must whow is that the vectlr $\varphi$ defined in (\[rev1\]) is a right eigenvector of $P^*$ with aigentauue $\eba$. Fkesh take $\delta\in \partial({{\cal T}})^{{\cal E}}$. We have ${\mathfg{P}}_\cekta(\zeta^{{\cal E}}=0)=1$ akd so ${\mathbb{E
T}})^{{\cal E}}$, a similar proof as the (\[50e\]) that $$\lim\limits_{n\to \eta^{-n} {\mathbb{P}}_\delta(\zeta>n)= {\mathbb{E}}_\delta(\eta^{-\zeta^{{\cal the (\[50b\]) is satisfied. let ${\mathbb{P}}_\delta(\zeta^{{\cal E}}<\infty)=0$. ${\mathbb{E}}_\delta(\eta^{-\zeta^{{\cal E}}}, \zeta^{{\cal E}}<\infty)=0$ and in we have ${{\mathbb{E}}_\delta(\eta^{-\zeta^{{\cal E}}}, \zeta^{{\cal E}}<\infty)}/ {{\mathbb{E}}(\eta^{-\zeta^{{\cal E}}}, \zeta^{{\cal E}}<\infty)}=0$. We claim that this case we also have $\lim\limits_{n\to \infty} {\mathbb{P}}_\delta(\zeta>n)/{\mathbb{P}}(\zeta>n)=0$. In fact, ${\mathbb{P}}_\delta(\zeta^{{\cal E}}<\infty)=0$ implies (\beta_0+\theta)^{-n}{\mathbb{P}}_\delta(\zeta>n)&=& \zeta^{{\cal &=&(\beta_0+\theta)^{-n} j\le n: Y_j\not\in (\partial(T)^{{\cal E}}\cup \{{{\cal D}}^\rho\})<\infty. \end{aligned}$$ Since $\lim\limits_{n\to \infty}\eta^{-n}{\mathbb{P}}(\zeta>n)>0$ and $\beta_0+\theta<\eta$, the claim follows (\[50b\]) is shown. Now, let $P^*$ be the of $P$ to $\partial({{\cal The last statement we must is the vector defined (\[rev1\]) a right eigenvector $P^*$ with eigenvalue $\eta$. First take $\delta\in \partial({{\cal T}})^{{\cal E}}$. We have ${\mathbb{P}}_\delta(\zeta^{{\cal E}}=0)=1$ and so ${\mathbb{E
 T}})^{{\cal E}}$, a similar proof as the onE showing (\[50e\]) gIves tHat $$\Lim\LiMits_{N\to \iNfty} \eta^{-n}
{\mathbb{p}}_\DeltA(\zeta>n)=
{\mathbb{E}}_\delta(\eta^{-\zEta^{{\caL E}}},\ZEta^{{\cAL E}}<\Infty)\In (0,\infty),$$ ANd SO The ReLaTioN (\[50b\]) IS sAtisfIed. now, let ${\mAthbb{P}}_\deltA(\zeTa^{{\Cal E}}<\infty)=0$. TheN, ${\MaThbb{E}}_\delta(\Eta^{-\Zeta^{{\cal E}}}, \zeta^{{\Cal e}}<\infty)=0$ AnD in (\[50B\]) We havE ${{\maThbb{E}}_\Delta(\eTA^{-\zeta^{{\cAl E}}}, \zeta^{{\caL E}}<\INfty)}/
{{\maTHbb{E}}(\eta^{-\ZETa^{{\Cal E}}}, \Zeta^{{\cal E}}<\infty)}=0$. We clAIm THat in this case wE also hAvE $\LiM\LImiTs_{n\To \infty} {\matHbB{P}}_\delTA(\zeta>n)/{\mAThBB{p}}(\ZetA>N)=0$. In fact, ${\mathbb{p}}_\delta(\zeta^{{\cAL E}}<\iNfty)=0$ imPlIes $$\BEgin{alIgned}
(\BeTA_0+\thEta)^{-n}{\mathbb{P}}_\DeltA(\zeta>n)&=&
(\betA_0+\theta)^{-N}{\Mathbb{P}}_\DElta(\zetA>n, \zeta^{{\Cal e}}>n)\\
&=&(\bEta_0+\tHEtA)^{-n} {\MatHbB{p}}(\foRAlL j\lE N: 
Y_j\Not\in (\parTiAl(t)^{{\cal E}}\Cup \{{{\cAL d}}^\RHo\})<\inFty. \End{aLigneD}$$ Since $\lim\limiTs_{n\To \inFTy}\eTa^{-n}{\maThbb{P}}(\Zeta>N)>0$ aNd $\betA_0+\theta<\Eta$, thE cLaim follows and (\[50b\]) Is shOwn.

Now, let $p^*$ be ThE reStRictiON of $P$ to $\ParTiaL({{\cal T}})^*$. ThE last stATemEnT WE MuSt show is that the vecToR $\VArPhi$ definEd in (\[reV1\]) Is A rIGht eigenVeCtoR of $P^*$ WITh eigEnvaLUe $\Eta$. First Take $\deLTa\In \Partial({{\CaL T}})^{{\cal E}}$. we HavE ${\maThbb{P}}_\DElta(\Zeta^{{\caL E}}=0)=1$ and so ${\mAthbb{e
 T}})^{{\cal E}}$, a simil ar proof a s the  on e s ho wing  (\[ 50e\]) gives t h at $ $\lim\limits_{n\to \in fty}\e t a^{- n }{\mat hbb{P}} _ \d e l ta( \z et a>n )= {\ mathb b{E }}_\del ta(\eta^{- \ze ta ^{{\cal E}}} , \z eta^{{\cal  E} }<\infty)\in  (0 ,\inft y) ,$$ and s o t he re lation (\[50b \]) is sa ti s fied.N ow, let $ {\ math bb{P}}_\delta(\ze t a^ { {\cal E}}<\inf ty)=0$ .T he n ,  ${ \ma thbb{E}}_\ de lta(\ e ta^{-\z e ta ^ { { \ca l  E}}}, \zeta^ {{\cal E}}< \ inf ty)=0$  a ndi n (\[5 0b\])  w e  ha ve ${{\math bb{E }}_\delta (\eta^ { -\zeta^ { {\cal E }}}, \ zet a^{ {\ca l  E }} <\i nf t y)} / 
{ {\m a thb b{E}}(\e ta ^{ -\zet a^{{ \ c a l  E}} },\zet a^{{\ cal E}}<\inft y)} =0$. Weclaim  that  inth is ca se wealsoha ve $\lim\limits _{n\ to \infty } { \m ath bb {P}}_ \ delta( \ze ta> n)/{\ma thbb{P} } (\z et a > n )= 0$. In fact, ${\ma th b b {P }}_\delt a(\zet a ^{ {\ c al E}}<\ in fty )=0$ i mplie s $$ \ be gin{alig ned}
( \ be ta _0+\the ta )^{-n} {\ mat hbb {P}}_ \ delt a(\zet a>n)&=&(\bet a _0+\theta)^{-n } {\mathbb{P}}_ \ de l t a( \ zeta >n,  \zeta^{{\c al E } }>n) \\
& = &( \be t a_0+\ theta )^ { -n }  {\mathbb{P}}(\fora ll  j\len: 
Y _j\not\in (\p artial(T)^ { { \ cal E}}\ cup\ {{ { \cal D}}^\rho\ })<\i nfty. \end { aligned} $$ Si nce $\li m\limits_ { n \to \inf ty} \et a^{ -n} { \ ma thbb{P}}(\zet a > n)>0 $and $\b eta _0+\the ta< \et a$,  th eclaim fol lows and  ( \[ 50 b\ ])is sh o wn.

Now ,let  $ P^* $ bet he res trict ionof  $ P $ t o $\par t ia l ( {{\c al  T }})^ *$.  T he la st s t ate ment we  must sho w i s  tha tth e vecto r $\varphi$ d ef ined in (\ [r ev1 \]) is a  right e igenvector of $P^*$ wit h  eigenv alu e $\e ta$.  First ta ke$\delt a\i n  \part ial({{ \calT} })^ { { \calE } }$ . W ehave ${\ma t h bb{ P}}_\ de lta( \zeta^{ {\cal E}}=0)=1$ an d  so  ${\mathbb{E
 T}})^{{\cal_E}}$, a_similar proof as the_one showing_(\[50e\])_gives that_$$\lim\limits_{n\to_\infty} \eta^{-n}
{\mathbb{P}}_\delta(\zeta>n)=
{\mathbb{E}}_\delta(\eta^{-\zeta^{{\cal E}}},\zeta^{{\cal_E}}<\infty)\in (0,\infty),$$ and_so the relation (\[50b\])_is satisfied. Now,_let_${\mathbb{P}}_\delta(\zeta^{{\cal E}}<\infty)=0$. Then, ${\mathbb{E}}_\delta(\eta^{-\zeta^{{\cal E}}}, \zeta^{{\cal E}}<\infty)=0$ and in (\[50b\]) we have ${{\mathbb{E}}_\delta(\eta^{-\zeta^{{\cal E}}},_\zeta^{{\cal_E}}<\infty)}/
{{\mathbb{E}}(\eta^{-\zeta^{{\cal E}}},_\zeta^{{\cal_E}}<\infty)}=0$._We claim that in this_case we also have $\lim\limits_{n\to_\infty} {\mathbb{P}}_\delta(\zeta>n)/{\mathbb{P}}(\zeta>n)=0$._In fact, ${\mathbb{P}}_\delta(\zeta^{{\cal E}}<\infty)=0$ implies $$\begin{aligned}
(\beta_0+\theta)^{-n}{\mathbb{P}}_\delta(\zeta>n)&=&
(\beta_0+\theta)^{-n}{\mathbb{P}}_\delta(\zeta>n, \zeta^{{\cal E}}>n)\\
&=&(\beta_0+\theta)^{-n}_{\mathbb{P}}(\forall_j\le n: 
Y_j\not\in_(\partial(T)^{{\cal E}}\cup \{{{\cal D}}^\rho\})<\infty. \end{aligned}$$ Since $\lim\limits_{n\to \infty}\eta^{-n}{\mathbb{P}}(\zeta>n)>0$ and_$\beta_0+\theta<\eta$, the claim follows and (\[50b\])_is shown.

Now, let_$P^*$_be_the restriction of $P$_to $\partial({{\cal T}})^*$. The last statement_we must show is that the_vector $\varphi$ defined in (\[rev1\]) is a_right eigenvector of $P^*$ with eigenvalue_$\eta$. First take $\delta\in \partial({{\cal_T}})^{{\cal E}}$._We have ${\mathbb{P}}_\delta(\zeta^{{\cal E}}=0)=1$ and_so ${\mathbb{E