|
可以显示Lu,x<∞ 相当于u具有在x中真正Lipschitz连续的修改∈ R、 我们用Lσ,z表示σw.R.t的Lipschitz常数。依赖于最后一个成分z。我们设置Lσ,z=∞ 如果σ在z上不是Lipschitz连续的,则由L-1σ,z=Lσ,zwe表示Lσ,zif Lσ,z>0和∞ 否则对于可积实值随机变量F,表达式Et[F]表示E[F | Ft],而Et,∞【F】指ess sup E【F | Ft】,可能是∞, 但始终在所有常数c的范围内定义良好∈ [-∞, ∞] 使E【F | Ft】≤ c a.s.此外,我们编写kF k∞对于| F |的本质上确界。在实践中,对(X,Y,Z)的规律性有明确的认识是很重要的。例如,了解进程所在的空间以及它们如何对初始值的更改作出反应是很重要的。定义5.2。让u:[t,t]×Ohm ×R→ R是(ξ,(u,σ,f))的去耦场。如果Lu,x<L,我们说u是弱正则的-1σ,zand sups∈[t,t]ku(s,·,0)k∞< ∞.2、弱正则解耦域u称为强正则域,如果对于所有固定t,t∈ [t,t],t≤ t、 (3)中出现的过程(X、Y、Z)是唯一且令人满意的过程∈[t,t]Et,∞[| Xs |]+支持∈[t,t]Et,∞[| Ys |]+Et,∞Ztt | Zs | ds< ∞, (4) 对于每个常量初始值Xt=x∈ R、 此外,要求它们作为(x,s,ω)的函数可测量,甚至是弱可微的w.R.t.x∈ rN对于每个s∈ [t,t]映射xs和y是(x,ω)的可测函数,甚至是弱可微的w.r.t.x,使得ess supx∈Rsups∈[t,t]Et,∞h类|xXs | i<∞,ess supx∈Rsups∈[t,t]Et,∞h类|xYs | i<∞,ess supx∈REt,∞Ztt公司|xZs | ds< ∞. (5)3.
|