局部平方可积鞅的Chug重对数律

设Ｘ＝（Ｘｔ，ｔ≥０）为局部平方可积鞅，且Ｘ０＝０〈Ｘ，Ｘ〉ｔ为其二阶可料变差。利用继续半鞅的强逼近结果，我们证明了在较弱的条件下，Ｘ的Ｃｈｕｎｇ重对数律成立，即ｐ（＾ｌｉｍｉｎｆ ｔ→∞ ＾ｓｕｐ│Ｘｓ│ ｏ≤ｓ≤ｔ／（〈ｘ，ｘ〉ｔ／ｌｏｇｌｏｇ〈Ｘ，Ｘ〉 ｔ）＾１／２＝π／根号８）＝１。