修正(x,q)∈ K、 对于任何(y,r)∈ u(x,q),通过自融资条件和部分积分,我们推断出,*t(y,r)φ0,*t(x,q)+Y1,*t(y,r)φ1,*t(x,q)=Y0,*t(y,r)(φ0,*t(x,q)+φ1,*t(x,q)^St=Y0,*t(y,r)(x+(φ1,*·^S)t+Kt),其中(Kt)0≤T≤这是一个由KT,Zt(^Su)定义的非递增可预测过程- Su)dφ1,*,↑,cu(x,q)+Z((1)- λ) 苏-^Su)dφ1,*,↓,cu(x,q)+X0<u≤t(^Spu)- 苏-)△φ1,*,↑u(x,q)+X0<u≤t((1)- λ) 苏--^Spu)△φ1,*,↓u(x,q)+X0≤u<t(^Su)- (苏)△+φ1,*,↑u(x,q)+X0≤u<t(^Su)- (1 - λ) (苏)△+φ1,*,↓u(x,q)代表t∈ [0,T]。因此,证明(4.13)成立与证明(4.15)成立相等。根据假设4.1,对于某些(y,r)∈ 在B(1)中存在一个极小序列Zn(y,r),使得lim infn→∞E[Z0,nT(y,r)ET]=ry。通过定义对偶理论和影子价格35~Sn,Z1,n(y,r)Z0,n(y,r),我们可以看到,~Sn保持在买卖价差[(1- λ) S,S]和Sn∈ S在交易成本λ下。再次使用partsformula积分,我们得到φ0,*t(x,q)+φ1,*t(x,q)~Snt=φ0,*t(x,q)+Ztφ1,*u(x,q)d)Snu+Zt)Snudφ1,*,cu(x,q)+X0<u≤斯努-△φ1,*u(x,q)+X0≤u<t)Snu△+φ1,*u(x,q),所以我们可以写出φ0,*t(x,q)+φ1,*t(x,q)~Snt=x+Ztφ1,*u(x,q)d)Snu+Knt,其中Knt,Zt()Snu- Su)dφ1,*,↑,cu(x,q)+Zt(1- λ) 苏-~Snu)dφ1,*,↓,cu(x,q)+X0<u≤t(~Snu)-- 苏-)△φ1,*,↑u(x,q)+X0<u≤t((1)- λ) 苏--~Snu-)△φ1,*,↓u(x,q)+X0≤u<t(~Snu)- (苏)△+φ1,*,↑u(x,q)+X0≤u<t((1)- λ) 苏-Snu)△+φ1,*,↓u(x,q)。这是一个不可预测的过程。φ1,*(x,q)是可预测的,且变化有限,从各部分的积分可以清楚地看出,Z0,n(y,r)(x+φ1,*(x,q)·Sn)是局部鞅。为了选择Sn∈ S、 根据可接受投资组合的定义,存在一个最大元素Xmax,~snx+Ztφ1,*u(x,q)dSnu+Xmax,Snt≥ V(φ0,*(x,q),φ1,*(x,q)t+Xmax,~Snt≥ 另外,表示被测量的qndp=Z0,nT(y,r),我们有Qn∈ M(~Sn)。