|
通过(2.14),(4.12)和(4.14),我们得到dBπ(t)+h(dt)=dXi,j=1(ijΓ)(t,log S,A)+(ijH)(t,log S)+πi(t,log S)πj(t,log S)- δijπi(t,log S)d[对数Si,对数Sj](t)=dXi,j,k,`=1(`kG)(t,log S,A)G(t,log S,A)u`(t)uj(t)- δj′u′(t)uk(t)ui(t)- δikuk(t)d[对数Si,对数Sj](t)。回顾符号aij(dt)=d[对数Si,对数Sj](t)和τu\'k(dt)=Pdi,j=1(uj- δj`)aij(ui- δik)以及引理4.3得出的d[u`,uk](t)=u`(t)uk(t)τ'k(dt)这一事实,我们最终得出所需的恒等式Dbπ(t)+h(dt)=-g(dt).4.5命题3.1的函数导数链规则证明,[27,引理3.3],logbG∈ C1,2c(U,), 其垂直导数如下所示:ilogbG(t,X)=λbG(t,X)ДxiλX(t)+1- λθZtt-θX(0∨ s) ds公司. (4.15)当在X=u时评估该表达式时,它等于gi(t)。因为我们知道u(t)=u(t,log S),所以等式(3.3)如下。在这个证明的后面,我们还需要水平导数logbg(t,X)。由(A.2)得出,由dlogbg(t,X)=1得出- λθbG(t,X)dXi=1ДxiλX(t)+1- λθZtt-θX(0∨ s) ds公司Xi(t-) - Xi(0∨ (t)- θ)-),我们把X(0-) = X(0)。因此,DlogbG(t,u)=1- λλdXi=1gi(t)αi(t),(4.16)类似于引理2.14的证明,有必要建立identityZtbπ(s,log s)d log s(s)=Ztπ(s)d log s(s)(4.17),从而得出bπ满足(2.12),因此是一个功能组合。为此,回想引理2.15的证明,bπ(t,X)=XΓ(t,X)+XH(t,X),其中Γ(t,X)=logbG(t,u(·,X)),H(t,X)=H(X)(对于H(X)=log(ex+···+exd)。因为我们已经从Lemma 2.14的证明中知道XH(s,log s)d log s(s)=Rtu(s)d log s(s),足以显示ztXΓ(s,log s)d log s(s)=Ztxγ(log S(t),α(t))d log S(S),(4.18),其中γ(x,a)=log G(xh(x),a)与引理2.8的证明相同。
|