|
(A-32)注t{(X0,bt,ξt);t≥ 0}是一个强马尔可夫过程,根据马尔可夫性质,它遵循rf,π0,b(x,i)=E(x,i)Zτπ0,bb∧σ′le-∧s1+dI{X0,bs≥ b} ds-Zτπ0,bb∧σe-∧s1- cdCs+e-δ(τπ0,bb)∧σ) Rf,π0,b(X0,bτπ0,bb)∧σ、 ξτπ0,bb∧σ)≤ Wf,b(x,i)代表x≥ 0,(A-33),其中最后一个不等式f通过注意π0,b来表示∈ 和定义(3.13)。结合(A-29),(A-32)和(A-33)完成证明。定理3.8的证明我们首先证明r′f,π0,b(x,i)≤ R′f,π0,b(b,i)=1+dfor x>b,b≥ 由引理3.6(i)得出R′f,π0,0(x,i)≤ 0代表x≥ 因此,(a-34)适用于b=0。现在假设b>0。通过引理3.3(i),我们知道R′f,π0,b(0+,i)=1-c、 由于R′f,π0,b(b,i)=1+d,由此推论3.4(ii),Rf,π0,b(·i)在[0]上是两次连续可微的,∞) 由引理3.6(i)得出R′f,0,b(x,i)≤ 0代表x≥ 因此,(A-34)也适用于b>0和1- c=R′f,π0,b(0+,i)≥ R′f,π0,b(x,i)≥ R′f,π0,b(b,i)=1+dfor x∈ [0,b]。(A-35)之后使用(A-34)和(A-35),并且不使用ting\'l≥ LSS≥ 0我们得到了b≥ 0,\'lI{Xπs≥ b}R′f,π0,b(Xπs)-, (一)-1+d- lsR′f,π0,b(Xπs)-, i) =(\'l)- ls)I{Xπs≥ b} R′f,π0,b(Xπs)-, (一)-\'l1+dI{Xπs≥ b}- lsI{Xπs<b}R′f,π0,b(Xπs-, (一)≤\'l- ls1+dI{Xπs≥ b}-\'l1+dI{Xπs≥ b}-ls1+dI{Xπs<b}=-ls1+d,(A-36)由(A-34)再次我们可以得到r′f,π0,b(x,i)≤1.- 首席财务官b≥ 0和x>b.(A-37)此外,请注意≥ 0和任何t≥ 0,E(x,i)Z0<s≤σ∧te-∧sR′f,π0,b(Xπs,ξs)-)d~Cs+X0<s≤σ∧te-∧sRf,π0,b(Xπs,ξs)-) - Rf,π0,b(Xπs)-, ξs-)≤ E(x,i)Zσ∧te-∧s1- cdCs+X0<s≤σ∧te-∧s1- c(Xπs)- Xπs-)= E(x,i)X0<s≤σ∧te-∧s1- 疾控中心, (A-38),其中最后一个不平等后面是(A-35),(A-37),dCs≥ 0,Xπs- Xπs-= 铯- 铯-≥ 0和DCS=dCs+Cs- 铯-.定义wf,i(y,j)=Rf,π0,b(y,i)如果j=i,a和wf,i(y,j)=f(y,j)如果j=i。然后通过推论3。我们知道引理3.3中的条件是满足的。
|