|
(12) 我们定义Lt=Xt- 我们让我-1abe其右倒数,即-1a:=inf{t>0:Lt>a}=inf{t>0:Xt>a+x},如果0≤ a<L∞,∞, 如果a≥ L∞.由于X没有向上跳跃,t7→ XT是连续的,这意味着XL-1a=x+(a∧ L∞). (13) 分别使用(12)表示t=L-1a=L-1a级∧L∞, (13) 变量的变化公式r=L-1b(例如,参见第8页的第14页页脚),我们有≥ 0,VδL-1a级∧L∞= 特大号-1a级∧L∞-ZL公司-1a级∧L∞+δ(Vδr)dXr=x+(a∧ L∞) -Z∞+{r≤L-1a级∧L∞}δ(Vδr)dXr=x+(a∧ L∞) -Z∞{0<L-1b级≤L-1a级∧L∞}δ(VδL-1b)db=x+Za∧L∞1.- δVδL-1b级db,在最后一个等式中,我们使用了L-1在[0,L]上严格递增∞], 因为t 7→ XT连续。通过假设(3)有唯一解yδx,我们得出,VδL-1a级∧L∞= yδx(a∧ L∞) = yδx特大号-1a级∧L∞- x个, 一≥ 0,(14),其中最后一个等式后跟(13)。同于t 7→ XT不向上跳,XL-1Lt=XT表示所有t≥ 0,这意味着通过(12)VδL-1Lt=所有t的Vδt≥ 因此,通过调用(14)fora=Lt,我们得出结论:Vδt=yδx(Xt- x) 对于所有t≥ 我们现在准备证明定理1和推论3。定理1的证明。(i) 修复t≥ 通过引理4,我们得到了γt=Xt-Zt+γ(Xr)dXr。通过应用变量y=Xr的变化,我们得到uγt=Xt-ZXtxγ(y)dy=’γx(Xt),其中我们回忆起‘γx(s)=x+Rsx(1- γ(y))dy.因此,\'γ-1x(Uγt)=Xt,soγ(Xt)=γ((R)γ-1x(Uγt))=Δγx(Uγt)。因此,Uγ是一个自然税率为Δγx的自然税收过程。(ii)解(2)的唯一性和等式(6)直接来自Lemma5。因此,仍然需要证明(2)的解的存在性。根据假设,存在唯一解yδxto(3)。γδx(z)=δyδx(z- x), 我们定义δ:[x,∞) → [0,1)乘以‘δ(z)=γδx((R)γδx)-1(z)= δyδxγδx-1(z)- x个,式中((R)γδx)-是γδx(z)=x+Zzx(1)的反函数- γδx(y))dy。
|