[論文レビュー] On flows associated to Sobolev vector fields in Wiener spaces: an approach à la DiPerna-Lions

Luigi Ambrosio, Alessio Figalli|ArXiv.org|Mar 10, 2008

Mathematical Dynamics and Fractals被引用数 5

ひとこと要約

この論文は、Sobolevベクトル場が Cameron-Martin 空間値をとる場合の $ L^r $-regular フロー概念を導入することで、ODEフローの DiPerna-Lions 理論を無限次元のウィーナー空間へ拡張する。積分可能性と発散の有界性の下で、連続性方程式の手法と変数変換技術を用いて、このようなフローの存在と一意性を確立する。非 Cameron-Martin 値をとるベクトル場に対しても、既存の研究にインspiredされた変数変換技術を用いる。

ABSTRACT

In this paper we extend the DiPerna-Lions theory on ODEs with Sobolev vector fields to the setting of abstract Wiener spaces.

研究の動機と目的

• Sobolev ベクトル場の無限次元フロー理論におけるギャップを埋める。ここでは、従来は指数的可積分性しか仮定されていなかった。
• 有限次元の DiPerna-Lions フレームワークを、標準的な点ごとの一意性が、無視可能な集合の変更によって失敗するウィーナー空間へ拡張する。
• Cameron-Martin 空間値をとる Sobolev 空間に属するベクトル場に対して、$ L^r $-regular フローの存在と一意性を確立する。
• 非 $ \mathcal{H} $-値をとるベクトル場を、変数変換技術を用いてこの枠組みで取り扱う。
• フローの存在を、運搬方程式の適切な定義可能性と結びつける確率的枠組みを提供する。

提案手法

• ウィーナー測度 $ \gamma $ におけるフローの絶対連続性と、無視可能な変更の下での不変性を保証する、積分方程式による $ L^r $-regular フローの定義により、不変性を確保する。
• 中心的な道具として、連続性方程式 $ \frac{d}{dt}\mu_t + \text{div}(\mathbf{b}_t \mu_t) = 0 $ を用いる。ここで $ \mu_t = \rho_t \gamma $ かつ $ \rho_t \in L^r(\gamma) $ である。
• 時間に依存する変換 $ x \mapsto e^{-t\varepsilon}x + \sqrt{1-e^{-2t\varepsilon}}y $ を用いて、非 $ \mathcal{H} $-値のケースを $ \mathcal{H} $-値のケースに還元する測度変換技術を適用する。
• ガウス測度における Fubini の定理と変数変換を用いて、ベクトル場の成分およびその微分の $ L^p $-ノルムを推定する。
• 変数 $ \alpha_\varepsilon $, $ \beta_\varepsilon $, $ A_\varepsilon $, $ B_\varepsilon $ を含む積分表現を用いて、フローの変動を制御するための事前推定を導出する。
• テスト関数 $ \phi \in C^1_b(E) $ に対して、連続性方程式の弱形：$ \frac{d}{dt}\int u_t d\gamma = \int \langle \mathbf{b}_t, \nabla \phi \rangle_\mathcal{H} u_t d\gamma $ を用いる。

実験結果

リサーチクエスチョン

• RQ1 DiPerna-Lions の ODE フロー理論は、Sobolev ベクトル場に対して無限次元のウィーナー空間へ拡張可能か？
• RQ2 無限次元設定において、無視可能な集合の変更に対して不変なフロー概念をどのように定義できるか？
• RQ3 Cameron-Martin 空間値をとる Sobolev ベクトル場に対して、$ L^r $-regular フローの存在と一意性を保証する条件は何か？
• RQ4 変数変換技術を用いて、非 Cameron-Martin 値をとるベクトル場をこの枠組みで取り扱えるか？
• RQ5 連続性方程式の手法は、フローの適切な定義を確立するための運搬方程式の代替として、どの程度強固か？

主な発見

• 論文は、$ p > 1 $ かつ分布的発散に有界性条件が課された $ \mathbf{b} \in W^{1,p}_{\text{loc}}(E; \mathcal{H}) $ のベクトル場に対して、$ L^r $-regular フローの存在と一意性を確立する。
• 変数変換と Fubini の定理を用いて、$ \beta_\varepsilon \int \int |\alpha_\varepsilon B_\varepsilon| \, d\gamma d\gamma \leq \beta_\varepsilon \Lambda(p) \|\mathbf{c}\|_{L^p(\gamma; \mathbb{R}^N)} \|v\|_{L^{p'}(\gamma)} $ の重要な推定式が導出される。
• 推定式 $ \beta_\varepsilon \int \int |\alpha_\varepsilon A_\varepsilon| \, d\gamma d\gamma \leq 2^{1-1/q} \|v\|_{L^{q'}(\gamma)} \left( \sqrt{2} \| \| (\nabla \mathbf{c})^{\text{sym}} \|_{HS} \|_{L^q(\gamma)} + \| \text{div}_\gamma \mathbf{c} \|_{L^q(\gamma)} \right) $ により、対称微分と発散項が制御される。
• 恒等式 $ \int_0^1 \frac{e^{-2t\varepsilon}}{\sqrt{1-e^{-2t\varepsilon}}} dt = \frac{\sqrt{1-e^{-2\varepsilon}}}{\varepsilon} = \beta_\varepsilon^{-1} $ が、変換の平均化に不可欠である。
• 時間に依存するガウス測度変換を用いることで、$ \mathcal{H} $-値でないベクトル場も、$ \mathcal{H} $-値ベクトル場に変換してこの枠組みで取り扱える。
• 結果は、有限次元の DiPerna-Lions 理論を無限次元へ一般化し、ウィーナー空間における確率的・運動論的 PDE の強固な基盤を提供する。