|
利用庞特里亚金的最大值原理,可以证明轨迹x(s)=τ(ω)-s+1/Lτ(ω)+1/L在这个决定论问题中是最优的。特别地,它遵循zτ(ω)˙x(s)ds+Lx(τ(ω))=τ(ω)+1/L≤Zτ(ω)˙Xs(ω)ds+LXτ(ω)(ω)≥ Ehτ+1/l,因此我们通过单调收敛lim infL→∞伊尔≥ Eτ= ∞.前面的例子表明,如果终端时间发生得太突然,我们不能期望得到(1)具有奇异终端条件和随机终端时间的有限上解。因此,我们在此将注意力限制在τ是差异的第一次击中时间的情况。我们引入符号距离函数dist:Rd→ 由dist(x)=infy定义的D中的R/∈Dkx- 如果x∈ D和距离(x)=-英菲∈Dkx- 如果x/∈ D.下一个结果是Keller-Osserman-ty-pe不等式(c.f.(19)和参见[21,24]):使用边界附近扩散的分析性质D、 允许我们在每一时刻限制过程Yltagain的值,而不是扩散到边界的距离D.命题6如果τ是(15)给出的退出时间,在假设(A\')下,命题5中构造的解过程Ylcon在L中一致有界:存在过程Y∈ S(0,τ)和常数C,使得:\'Yt∧τ≤ YLt∧τ≤Cdist(Ξt)∧τ) 2(p-1). (19) 证据。首先,从一个带有终端条件的BSDE的比较定理来看,YLDE的下界如命题1所示-ξ-驱动器g(t,y,ψ)=(f(t,y,ψ)- (英国《金融时报》)- (英国《金融时报》)-.对于上限,让u>0并引入集合Du={x∈ 第|区(x)|≤ u}.然后从[11]中的引理14.16得出,存在一个正常数u,比如∈ C(Du)。因为D是有界的,所以存在一个常数R>0,使得≤ 地区(x)≤ 所有x∈D.让我们∈ C∞(Rd,[0,1]),其中在Rd\\Du上的魟=1,在Du/2上的魟=0。
|