,i,PXNti+1=xi+1,j+1XNti=xi,j= p+i,j,pXNti+1=xi+1,j-1.XNti=xi,j= p-i、 j,PXNti+1=xi+1,jXNti=xi,j= pi,j:=1- p+i,j- p-i、 j.对于N=2的情况,参见图ure4中的le-ft图。然后,通过选择适当的p+i,j,p-i、 j,可以实现(5.9)。然而,请注意,三项式树有交叉边,它们可能会破坏我们在上一节中使用的关键单调性,如备注3.1(iii)和示例3.2所示。(ii)第二种选择是使用二叉树近似,对于N=2的情况,参见图4中的rig ht图,其中x=x- σ(t,x)√h、 x=x+σ(t,x)√h、 σ=σ(t,x),σ=σ(t,x)。但同样存在交叉e边,因此违反了单调性。(iii)第三种选择确实很有效,即利用转换(5.2)。让^XNbe对(5.3)中的^X进行离散化,如第4.1节所述。那么XN:=ψ-1ti(^XNti)将用于我们的目的。我们跳过了细节。30 JIN MA、TING-KAM LEONARD WONG和JIAFENG ZHANGx2,2x1,1x2,1x0,0x1,0x2,0x1,-1x2,-1x2,-2x+σ√hx公司- σ√hx公司- σ√hx+σ√HXXX图4。左:三项树;右:二进制树6。密度分析。在本节中,我们将证明第4.2和4条。估计值依赖于使用布朗桥的ρ的以下表示公式。这个结果是Karatzas Shreve【14,第5.6节,练习6.17】和Holdstree在多维情况下的直接结果。提案6.1。假设b有界。那么我们有以下表示公式:ρ(t,x)=√2πtexp-(十)-x) 2t+I(t,x), t>0,其中?Mts:=RsdBrt-r、 (R)Xt,xs:=x+[x- x] st+[t- s] \'Mts,0≤ s<t;eI(t,x):=EheRtb(s,Xt,xs)dBs+Rt[(x-x) b(s、Xt、xs)-b(s,\'Xt,xs)\'Mts-|b(s,(R)Xt,xs)|]dsi。(6.1)证明。由于我们将在提案4.11的标题中使用参数,尤其是下面(6.3)的参数,因此我们在此提供详细的pro。