[論文レビュー] From the long jump random walk to the fractional Laplacian

Enrico Valdinoci|ArXiv.org|Jan 21, 2009

Advanced Mathematical Modeling in Engineering参考文献 37被引用数 202

ひとこと要約

本稿は、連続的極限を用いて、長距離飛躍のLévy飛行—重い尾を持つジャンプを伴う離散的確率的ウォーク—と分数ラプラシアンの間のきめ細やかな接続を確立する。べき則的ジャンプカーネル $|y|^{-(n+α)}$ を持つこのようなウォークのスケーリング極限を分析することで、フーリエ乗数を介した特異積分作用素として分数ラプラシアンが導かれ、プロセスの生成子が $α \in (0,2)$ の条件下で $-(-\Delta)^{\alpha/2}u$ に収束することを示している。

ABSTRACT

This note illustrates how a simple random walk with possibly long jumps is related to fractional powers of the Laplace operator. The exposition is elementary and self-contained.

研究の動機と目的

• 長距離飛躍の確率的ウォークと非局所作用素、特に分数ラプラシアンとの間の確率論的および解析的リンクを確立すること。
• 特異積分作用素が離散的長距離飛躍過程の連続的極限として自然に出現することを示すこと。
• 無限分散を伴うLévy過程の生成子として分数ラプラシアンを、自己完結的かつ初等的な方法で導出すること。
• 公式 $S(\xi) = \int (\cos(\xi \cdot y) - 1) K(y) \, dy$ を用いて、作用素のフーリエ乗数とジャンプカーネルの関係を明確にすること。
• 分数ラプラシアン $(-\Delta)^{\alpha/2}$ がフーリエ乗数と特異積分表現の両方で同等に定義できることを示すこと。

提案手法

• 対称的かつ同次的カーネル $K(k) = |k|^{-(n+\alpha)}$ に従う、格子 $h\mathbb{Z}^n$ 上の離散的長距離飛躍確率的ウォークを定義する。
• 時間刻み $\tau = h^\alpha$ を用いて、離散的時間発展方程式 $u(x,t+\tau) - u(x,t) = \sum_{k \in \mathbb{Z}^n} K(k) \left[ u(x + hk, t) - u(x,t) \right]$ を導出する。
• 連続的極限 $h \to 0^+$ をとることで、和をリーマン和に変換し、特異積分 $\partial_t u(x,t) = \int_{\mathbb{R}^n} \frac{u(x+y,t) - u(x,t)}{|y|^{n+\alpha}} \, dy$ に収束させる。
• フーリエ解析を用いて、ジャンプカーネル $K(y)$ とフーリエ乗数 $S(\xi)$ の関係を $S(\xi) = \int_{\mathbb{R}^n} (\cos(\xi \cdot y) - 1) K(y) \, dy$ で結びつける。これにより作用素の記号が特定される。
• フーリエ定義 $(-\Delta)^{\alpha/2}u = \mathcal{F}^{-1}( |\xi|^\alpha \mathcal{F}u )$ と特異積分表現 $(-\Delta)^{\alpha/2}u = -\int_{\mathbb{R}^n} \frac{u(x+y) + u(x-y) - 2u(x)}{|y|^{n+\alpha}} \, dy$ の等価性を証明する。
• 回転対称性とスケーリングを用いて、正規化なしの恒等式 $|\xi|^\alpha = \int_{\mathbb{R}^n} \frac{1 - \cos(\xi \cdot y)}{|y|^{n+\alpha}} \, dy$ が定数倍の違いを除いて成り立つことを示す。

実験結果

リサーチクエスチョン

• RQ1 重い尾を持つジャンプを伴う長距離飛躍確率的ウォークは、どのように分数ラプラシアンによって支配される非局所拡散過程に収束するか？
• RQ2 ジャンプカーネル $K(y) = |y|^{-(n+\alpha)}$ と得られる作用素のフーリエ乗数との間の明確な関係は何か？
• RQ3 なぜ $\alpha \in (0,2)$ かつ滑らかな $u$ の下で、積分 $\int \frac{u(x+y) - u(x)}{|y|^{n+\alpha}} \, dy$ が主値として適切に定義されるのか？
• RQ4 離散的近似を用いて、無限分散を伴うLévy過程の生成子として分数ラプラシアンを厳密に導出する方法は何か？
• RQ5 なぜフーリエ乗数 $|\xi|^\alpha$ と積分 $\int \frac{1 - \cos(\xi \cdot y)}{|y|^{n+\alpha}} \, dy$ を等しくする数学的根拠があるのか？

主な発見

• ジャンプカーネル $K(y) = |y|^{-(n+\alpha)}$ を持つ長距離飛躍確率的ウォークの連続的極限は、非局所拡散方程式 $\partial_t u = \int_{\mathbb{R}^n} \frac{u(x+y,t) - u(x,t)}{|y|^{n+\alpha}} \, dy$ をもたらす。
• スケーリングの結果、$\alpha \in (0,2)$ の下で、特異積分は線形項のキャンセルのおかげで主値として適切に定義される。
• 分数ラプラシアン $(-\Delta)^{\alpha/2}$ は、正規化定数を除いて特異積分 $-\int_{\mathbb{R}^n} \frac{u(x+y) + u(x-y) - 2u(x)}{|y|^{n+\alpha}} \, dy$ と同等である。
• 作用素のフーリエ乗数は $S(\xi) = |\xi|^\alpha$ であり、これは $(-\Delta)^{\alpha/2}$ の記号と一致し、フーリエ定義と積分表現の等価性を確認する。
• 回転対称性とスケーリングを用いて、恒等式 $|\xi|^\alpha = \int_{\mathbb{R}^n} \frac{1 - \cos(\xi \cdot y)}{|y|^{n+\alpha}} \, dy$ が定数倍の違いを除いて成り立つことが示された。
• このプロセスは無限分散を有する。なぜなら $\beta \geq \alpha$ のとき、$\sum_k |k|^\beta K(k)$ が発散するため、$\alpha$-安定分布の吸引領域に属する。