[論文レビュー] A simple proof of a result of A. Novikov

Н. В. Крылов|arXiv (Cornell University)|Jul 1, 2002

Advanced Mathematical Modeling in Engineering参考文献 2被引用数 5

ひとこと要約

本稿では、指数型マルティンググレのノヴィコフの条件の強化版について、簡素な証明を提示する。liminf_{ε↓0} ε log E[e^{(1−ε)⟨M⟩_∞/2}] が有限であれば、E[exp(M_∞ − ⟨M⟩_∞/2)] = 1 が成り立つことを示す。証明は初等的な不等式とファトウの補題に依拠し、ノヴィコフおよびカザマキの基準をより広いクラスの連続局所マルティンググレに拡張する。

ABSTRACT

We give simple proofs that for a continuous local martingale M_t: 1) \liminf_{ε->0} ε\log Ee^{(1-ε) _\infty /2} < \infty ==> E\exp(M_\infty - _\infty /2) = 1, 2) \liminf_{ε->0} ε\log\sup_{t>=0} Ee^{(1-ε)M_t/2} < \infty ==> E\exp(M_\infty - _\infty /2) = 1 .

研究の動機と目的

• A. ノヴィコフの指数型マルティンググレに関する結果の、よりアクセスしやすく初等的な証明を提供すること。
• E[e^{⟨M⟩_∞/2}] < ∞ の有限性を、ε log E[e^{(1−ε)⟨M⟩_∞/2}] のliminf条件に置き換えることで、ノヴィコフの条件を一般化すること。
• カザマキの下位マルティンググレに基づく基準を同様に一般化し、E[e^{(1−ε)M_t/2}] のsup_tに関する有限性仮定を、liminf_{ε↓0} ε log sup_t E[e^{(1−ε)M_t/2}] < ∞ のliminf条件に置き換えること。
• ノヴィコフおよびカザマキの条件が満たされないが、新しい条件が成り立つ明示的な反例を構築することで、新しい基準が元のものよりも厳密に強いことを示すこと。

提案手法

• ρ_t = exp(M_t − ⟨M⟩_t/2) が非負の局所マルティンググレであることから、E[ρ] ≤ 1 が成り立つことを利用する。
• E[ρ((1−ε)M)] = 1 という恒等式にホルダーの不等式を適用し、E[ρ]^{1−ε} と E[e^{(1−ε)⟨M⟩/2}]^ε に期待値を分解する。
• ε ↓ 0 の極限を取ることで、E[ρ] ≥ 1 を得る。これと E[ρ] ≤ 1 を組み合わせ、E[ρ] = 1 を結論づける。
• liminf拡張のため、時間Tにおける切断を指示関数 I_{⟨M⟩ ≤ T} を用いて導入し、T → ∞ として尾の挙動を制御する。
• ドーブの不等式と ρ_t^κ のモーメント推定を用いて、一様可積分性を確立し、ファトウの補題を適用して極限に移る。
• M_t^+ の下位マルティンググレ性を用いて、sup_t E[e^{(1−ε)M_t/2}] を制御し、拡張された基準における可積分性を保証する。

実験結果

リサーチクエスチョン

• RQ1 指数型マルティンググレのノヴィコフの条件を、より簡単で初等的な方法で証明することは可能か？
• RQ2 E[e^{⟨M⟩_∞/2}] < ∞ の可積分性条件を、ε log E[e^{(1−ε)⟨M⟩_∞/2}] のliminf条件に弱めることが可能であり、E[ρ] = 1 を保つことができるか？
• RQ3 カザマキの下位マルティンググレに基づく基準を、sup_t E[e^{(1−ε)M_t/2}] のliminf条件に同様に拡張することは可能か？
• RQ4 新しい基準が成り立つが、元のノヴィコフおよびカザマキの条件が成り立たない明示的な例は存在するか？
• RQ5 切断とファトウの補題は、元の有限性仮定を超えて証明を拡張する際に果たす役割は何か？

主な発見

• 本稿では、liminf_{ε↓0} ε log E[e^{(1−ε)⟨M⟩_∞/2}] < ∞ ならば、E[exp(M_∞ − ⟨M⟩_∞/2)] = 1 が成り立つことを確立した。これはノヴィコフの元の結果の厳密な一般化である。
• M_t^+ が下位マルティンググレであり、liminf_{ε↓0} ε log sup_t E[e^{(1−ε)M_t/2}] < ∞ ならば、同様の結果が成り立つ。これはカザマキの基準の拡張である。
• 証明技法は、ホルダーの不等式、ファトウの補題、指数モーメントに関する初等的推定に依拠しており、複雑な確率積分計算を避ける。
• 著者らは明示的な反例を構築した：1つは最初の停止時刻で停止するブラウン運動を用いたもの、もう1つは指数分布に従う確率的時間を用いたもので、両方の例で新しい基準は満たされるが、ノヴィコフおよびカザマキの条件は満たされない。
• E[e^{⟨M⟩_∞/2}] の有限性は、E[ρ] = 1 を保つために必要ではない。ε-対数モーメントのliminf条件が満たされていれば十分である。
• より強い結果の証明は、二次変動の切断と、κ > 1 に対する ρ_t^κ のモーメントバウンドとドーブの不等式による一様可積分性を用いることで成り立つ。