[論文レビュー] Rough linear transport equation with an irregular drift

Rémi Catellier|arXiv (Cornell University)|Jan 13, 2015

Stochastic processes and financial applications参考文献 15被引用数 8

ひとこと要約

本稿では、不規則な Hölder 継続的ベクトル値信号 $X$ によって駆動される線形輸送方程式の弱解の存在と一意性を、制御された粗いパス理論を用いて確立する。$X$ が Hurst パラメータ $H \in (0,1)$ の分数 Browne 動作である場合、ノイズによる正則化が発生し、漂い $b$ が十分な正則性を持たない場合でも、適切に定義された解が得られることを示す。

ABSTRACT

We study the linear transport equation \[ \frac{\partial}{\partial t} u ( t,x ) +b ( t,x ) \cdot abla u ( t,x ) + abla u ( t,x ) \cdot \frac{\partial}{\partial t} X ( t ) =0, \hspace{2em} u ( 0,x ) =u_{0} ( x ) \] where $b$ is a vectorfield of limited regularity and $X$ a vector-valued Hölder continuous driving term. Using the theory of controlled rough paths we give a meaning to the weak formulation of the PDE and solve that equation for smooth vectorfields $b$. In the case of the fractional Brownian motion a phenomenon of regularization by noise is displayed.

研究の動機と目的

• 駆動信号 $X$ が不規則（Hölder 継続的だが微分可能でない）である場合、特に古典的 PDE 理論が失敗する状況において、線形輸送方程式の厳密な弱形式を提供すること。
• DiPerna-Lions および Flandoli-Gubinelli-Priola の理論を、非マルコフ的かつ非半マルティングレル信号（例：分数 Browne 動作）に拡張すること。
• 漂い $b$ と信号 $X$ に対して最小限の正則性仮定のもとで、$L^\infty$ における弱解の存在と一意性を確立すること。
• 特に $H < 1/2$ の分数 Browne 動作に対して、粗い PDE の文脈におけるノイズによる正則化現象を調査すること。

提案手法

• Gubinelli の制御された粗いパス理論を用いて、非微分可能駆動子を扱えるように、解を粗いパス $\mathbf{X}$ に制御された関数として定義する。
• 特徴曲線法を用い、輸送 PDE を $\Phi_t(x)$ に沿った ODE に変換する。ここで $\Phi_t(x)$ は粗い積分 $\int b(\Phi_q(x)) \, d\mathbf{X}_q$ を用いて構成される。
• 有界な初期データ $u_0 \in L^\infty(\mathbb{R}^d)$ と弱く正則な係数を取り扱うために、弱い制御された解フレームワークを導入する。
• 事前評価とコンパクト性の議論を用いて、近似する滑らかな系列における極限に移行し、一意に定義された解への収束を保証する。
• 付録 A の加法的粗い ODE の流れの理論を用いて、特徴曲線 $\Phi_t$ の存在と正則性を正当化する。
• 解が $u_t(x) = u_0(\Phi_t^{-1}(x)) \exp\left(-\int_0^t c_q(\Phi_q^{-1}(x)) \, dq\right)$ と表現されることに着目し、ここで $c = \text{div}\, b$ または $c \in L^\infty$ である。

実験結果

リサーチクエスチョン

• RQ1 $X$ が半マルティングレルでない場合、不規則な漂いと粗い駆動子 $X$ を持つ線形輸送方程式を、弱い意味で意味的に定式化し、解くことは可能か？
• RQ2 Hurst パラメータ $H < 1/2$ の分数 Browne 動作において、輸送方程式の文脈でノイズによる正則化が発生するか？
• RQ3 不規則な $X$ と $b \in L^\infty([0,T]; C^1_b)$ に対して、$L^\infty$ における弱解の存在と一意性を確立できるか？
• RQ4 確率積分の道具（例：伊藤の公式）が利用できない状況で、制御された粗いパスフレームワークは解の構成をどのように可能にするか？
• RQ5 特徴曲線 $\Phi_t$ は、粗いパス積分のもとで PDE を解ける ODE に変換するために果たす役割は何か？

主な発見

• 不規則な漂い $b \in L^\infty([0,T]; C^1_b)$ と Hölder 継続的駆動子 $X$ を持つ線形輸送方程式に対して、$L^\infty([0,T] \times \mathbb{R}^d)$ における弱解 $u$ が存在する。
• 同じ正則性仮定のもとで、共役方程式に基づく双対性の議論により、$L^\infty$ における弱解の一意性が確立される。
• $X$ が Hurst パラメータ $H \in (0,1)$ の分数 Browne 動作である場合、解はノイズによる正則化を示し、$b$ が $C^1_b$ のみであっても方程式が適切に定義される。
• 解は明示的に $u_t(x) = u_0(\Phi_t^{-1}(x)) \exp\left(-\int_0^t c_q(\Phi_q^{-1}(x)) \, dq\right)$ と表現され、ここで $\Phi_t$ は $b$ と $X$ に関連する粗い流れである。
• 確率積分に依存しないため、分数 Browne 動作など半マルティングレルでない場合にも適用可能である。
• $c = \text{div}\, b$ の場合にも理論は拡張可能で、連続の式が特別な場合として回復され、$u_0 \in C^\infty_c$ のとき $x^\alpha \nabla u_t(x)$ および $x \cdot \nabla u_t(x)$ が $L^1(\mathbb{R}^d)$ で可積分であることが保証される。