[論文レビュー] Correction to the paper "Some remarks on Davie's uniqueness theorem"

A. V. Shaposhnikov|arXiv (Cornell University)|Mar 20, 2017

Navier-Stokes equation solutions参考文献 10被引用数 8

ひとこと要約

この論文は、Shaposhnikov (2017) が当初主張した不規則なドリフトを伴う確率的微分方程式の経路ごとの一意性の証明における技術的欠陥を是正する。元の均一ホルダー連続性の仮定に代えて、修正されたコルモゴロフ連続性定理を精緻に応用することで、主結果の有効性を回復する。有界でボレル可測なドリフトが臨界的可積分性条件（$rac{d}{p} + rac{2}{q} < 1$）を満たす場合、ほとんどすべてのブラウン運動経路に対して経路ごとの一意性が成り立つ。

ABSTRACT

The property 4 in Proposition 2.3 from the paper "Some remarks on Davie's uniqueness theorem" is replaced with a weaker assertion which is sufficient for the proof of the main results. Technical details and improvements are given.

研究の動機と目的

• Shaposhnikov (2017) の証明における、フローの均一ホルダー連続性に関する技術的欠陥、特に命題2.3の性質4を是正すること。
• 有界でボレル可測なドリフトを伴うSDEの経路ごとの一意性に関する主結果の有効性を回復すること。
• 元の論文と同一の可積分性条件の下で、解フローのホルダー連続性に対する修正済みで厳密な証明を提供すること。
• 初期の連続性議論における欠陥にもかかわらず、経路ごとの一意性の核心的結論が、ほとんどすべてのブラウン運動経路に対して依然として有効であることを保証すること。

提案手法

• 元の均一ホルダー連続性の主張を、離散時刻グリッドに特化した修正版コルモゴロフ連続性定理に置き換える。
• 変換されたSDEの解の差に対する精密なモーメント推定を適用し、$\sup_{s} \mathbb{E} \sup_{t} |X_{s,t}^x - X_{s,t}^y|^a \leq C(|x-y|^a + |x-y|^{a-1})$ を示す。
• $|S_n| \leq 2^{\eta n}$ を満たす有限集合の列 $S_n$ を用いた確率的被覆議論により、dyadic 時刻におけるホルダーノルムを制御する。
• Lemma 2.1（確率的コルモゴロフ連続性定理）を適用し、集合 $S_n$ 上でのフローのほとんど確実なホルダー連続性を導出する。
• $|x| < N$ の局所化条件を課し、有界ドリフトの場合に対応するための切断議論を用いる。
• 修正済みのフローの正則性とボレル＝カンテーリー議論、および Lemma 3.6 からの摂動推定を組み合わせ、経路ごとの一意性を証明する。

実験結果

リサーチクエスチョン

• RQ1 Shaposhnikov (2017) における不規則なドリフトを伴うSDEの経路ごとの一意性の元の証明は、特にフローの均一ホルダー連続性に関して、提示された条件下で成立するか？
• RQ2 命題2.3の性質4における、均一ホルダー連続性の仮定に代わる、より弱く証明可能な条件は存在するか？その条件が主結果を支持するか？
• RQ3 有界でボレル可測なドリフトを伴うSDEの経路ごとの一意性結果は、修正されたコルモゴロフ連続性定理の応用によってフローの連続性が確立された場合でも有効であるか？
• RQ4 より強い事前正則性を要件とせず、モーメント推定と確率的被覆議論のみを用いて証明を厳密化できるか？
• RQ5 ほとんどすべてのブラウン運動経路に対して経路ごとの一意性を保証するための、ドリフト $b$ の最小の正則性条件は何か？

主な発見

• 命題2.3の性質4における、解フローの均一ホルダー連続性に関する元の主張は、修正されたコルモゴロフ連続性定理を用いたより弱く証明可能な記述に置き換えられる。
• 修正済みの証明により、任意の $\alpha \in (0,1)$ および $\eta > 0$ に対して、全確率集合 $\Omega'$ が存在し、$s \in S_n$、$|x-y| \leq 2^{-n}$、$x,y$ が有界であるとき、$|\varphi_{s,t}(x) - \varphi_{s,t}(y)| \leq C|x-y|^\alpha$ を満たすことが示される。
• モーメント推定 $\sup_s \mathbb{E} \sup_t |X_{s,t}^x - X_{s,t}^y|^a \leq C(|x-y|^a + |x-y|^{a-1})$ は、離散時刻グリッド $S_n$ 上での必要なホルダー連続性を示すのに十分である。
• 有界でボレル可測なドリフトが $\frac{d}{p} + \frac{2}{q} < 1$ を満たすSDEの経路ごとの一意性結果は、再び回復され、今や厳密に証明された。
• 証明はdyadic 分割上のボレル＝カンテーリー議論と、Lemma 3.6 からの摂動推定（長さ $l$ の区間で解の差が $C l^{4/3}$ で抑えられる）に依存する。
• 最終的な議論により、dyadic グリッドの細分化の極限において、2つの解の差が消えることが示され、連続性と $M^{-1/15}$ の減衰バウンドにより一意性が導かれる。