|
我们可以把(A.1)改写为σs=e-λsσ+ZsZ∞E-λ(s)-u) xν(dx)du+Z[0,T]×0,∞)E-λ(s)-u) [0,s]×(0,∞)(u,x)Q(du,dx)。此外,我们有[0,T]×0,∞)E-2λ(s)-u) [0,s]×(0,∞)(u,x)q(du,dx)<∞. 根据定义2.8,引理如下。引理A.3适用于任何s∈ [0,T],我们有σs∈ D1,2;andDt,zσs=qσs+ze-λ(s)-(t)-σsz[0,s]×(0,∞)(t,z)表示(t,z)∈ [0,T]×[0,∞). 此外,我们还有0≤ Dt,zσs≤√z[0,s](t)表示z>0。证据取C-函数f,使f有界;和f(r)=√r forr≥ E-λTσ,我们有σs=f(σs)乘以(A.2)。[21]中的命题2.6意味着σs∈ D1,2,Dt,0σs=f(σs)Dt,0σs=0;andDt,zσs=f(σs+zDt,zσs)- f(σs)z=qσs+ze-λ(s)-(t)-σsz[0,s](t)对于z>0,作为Dt,zσ通过(A.4)是非负的。此外,我们还有Dt,zσs≤√泽-λ(s)-t) z[0,s](t)≤√z[0,s](t)表示z>0。引理A.4我们没有∈ D1,2;andDt,zZTσsds=B(T-t) 1(0,∞)(z) 对于(t,z)∈ [0,T]×[0,∞), 假设2.2中定义了功能B。证据首先,我们有ztσsds=σZTe-λsds+ZTZse-λ(s)-u) dJuds=σ1- E-λTλ+ztue-λ(s)-u) dsdJu=σB(T)+ZTB(T-u) dJu。从定义2.8来看,我们得到了σsds∈ D1,2和Dt,zRTσsds=B(T-t) 1(0,∞)(z) 对于(t,z)∈ [0,T]×(0,∞). 引理A.5我们没有σSDW∈ D1,2和dt,zZTσsdWs=σt{0}(z)+ZTtqσs+ze-λ(s)-(t)-σszdWs(0,∞)(z) 。对于(t,z)∈ [0,T]×[0,∞).证据首先,我们展示σ∈ L1,2。引理A.3表示σs∈ D1,2适用于任何情况∈ [0,T]。我们有EhRTσsdsi<∞ 通过(A.3)和JT的可积性。As | Dt,zσs|≤zby引理A.3,L1,2定义的(c)项已满足。因此,[10]中的引理3.3提供了RTσsdWs∈ D1,2和Dt,zZTσsdWs=Dt,zZ[0,T]×0,∞)σs·1{0}(x)Q(ds,dx)=σt{0}(z)+ZTDt,zσsdWs=σt{0}(z)+ZTtqσs+ze-λ(s)-(t)-σszdWs(0,∞)(z) 对于(t,z)∈ [0,T]×[0,∞) 引理A.3。最后,我们计算Dt,zlta如下:命题A.6 LT∈ D1,2和,对于(t,z)∈ [0,T]×[0,∞), 我们有dt,zLT=σt{0}(z)+-B(T)-t) +ZTtqσs+ze-λ(s)-(t)-σszdWs+ρ(0,∞)(z) 。证据通过(2.1),我们得到LT=uT-RTσsds+RTσsdWs+ρJT。
|