测试这个有趣的想法是留给未来的工作。从理论上看,主要困难在于控制导数的界限|mxbui |统一,这仍然是一个悬而未决的问题。这迫使我们需要对假设5.1中的这些边界进行后验检查,以保证agiven范围的收敛性。在适当的假设下,相应的半线性模型的性质可以提供必要的规律性。这个问题的解决留待将来的工作。BMO鞅及其性质在本节中,让我们总结BMO鞅的性质、相关的HBMO空间及其在讨论中起重要作用的性质。定义A.1。BMO鞅M是满足M=0且| | M | | BMO:=supτ的平方可积鞅∈TTEhhMiT公司- hMiτ| Fτi∞< ∞ ,其中最高值接管所有停车时间τ∈ TT。定义A.2。HBMO(Rk)是Rk值渐进可测过程Z的集合,满足| | Z | | HBM O:=supτ∈TTEhZTτ| Zs | dsFτi∞< ∞ .注意,如果Z∈ HBMO(R1×d),我们有Z·ZsdWsBMO=supτ∈TTEhZTτ| Zs | dsFτi∞= ||Z | | HBM O<∞ ,因此Z*W:=R·ZSDW是BMO鞅。下一个结果就是众所周知的能源不平等。引理A.1。让Z在HBMO中。那么,对于任何n∈ N、 呃ZT | Zs | dsni公司≤ N||Z | | HBM On、 证明。参见[20]中引理9.6.5的证明。设E(M)是M.引理a.2的Dol\'eans-Dade指数。(逆H¨older不等式)设M是BMO鞅。然后Et(M),t∈ [0,T]是一致可积鞅,对于每个停止时间τ∈ TT,存在一些正常量r*> 1使得不等式het(M)r | Fτi≤ Cr,MEτ(M)r,每1<r保持一次≤ R*对于某些正常数Cr,Mdepending仅在r和| | M | | BMO上。证据见Kazamaki的Theo rem 3.1(1994)[34]。引理A.3。