|
让我们用ψ:=ζ(η)/η来定义函数ψ=ψ(t,s,q),其满足(5.13):η-ΨT-Ψs-Pν∈±min`∈{0,1}[ηhRν[`],ψi+max(Gν(t,s),0)- `Gν(t,s)]=0,ψ(t,s,q)=q,注意(5.14)中定义的R±允许一个有效的分解R±[`]=R±+`R±,其中R±,ψ:= h±(s)ψ(t,±q,0),R±,ψ:= h±(s)(ψ(t,±q)- 五十、 0)- ψ(t,±q,0))+λ±(s)Zψ(t,q) k、 s)θ±(dk,L)。然后,我们可以将满足ψ的方程重新排列为η-ΨT-Ψs- ηPν∈±Rν,ψ+Pν∈±最大值Gν(t,s)- ηRν,ψ, 0- 最大值(Gν(t,s),0)= 0ψ(T,s,q)=q。现在,通过观察max(x- ε, 0) - 最大值(x,0)=-ε1x>0+zε(x),其中zε(x)是满足以下条件的非负函数:zε(x)≤ |ε| 1 | x |<|ε|,我们可以将ψ的偏微分方程写成(-Lψ+Z(η)(t,s,q)=0,ψ(t,s,q)=q(5.21),其中L是线性算子:Lψ:=Ψt+Ψs+Xν∈±Rν,ψ+Xν∈±Rν,ψGν(t,s)>0=Ψt+Ψs+Xν∈在这个过程中,它实际上是由马氏过程控制的≤ Z(η)(t,s,q):=ηXν∈±最大值Gν(t,s)- ηRν,ψ, 0- 最大值(Gν(t,s),0)+ηRν,ψGν(t,s)>0≤Xν∈±Rν,ψ|Gν(t,s)|<ηhRν,ψi |=:Z(η)(t,s,q)→ 0,当η变为0时。(5.22)第3步。
|