[論文レビュー] Nonlocal discrete diffusion equations and the fractional discrete Laplacian, regularity and applications

Óscar Ciaurri, Luz Roncal+3 more|arXiv (Cornell University)|Aug 31, 2016

Nonlinear Partial Differential Equations参考文献 25被引用数 6

ひとこと要約

本稿は、一様メッシュ上での離散ラプラシアンの分数階数のべき乗によって駆動される非局所的離散拡散方程式の厳密な枠組みを確立する。分数階離散ラプラシアンの点ごとの非局所的公式を導出し、半離散的拡張問題を通じてディリクレ・ツー・ノイマン作用素と同等であることを証明し、メッシュ幅 $ h \to 0 $ のとき、解が連続的分数ラプラシアンに Hölder 空間で明示的な誤差推定を伴って収束することを示す。

ABSTRACT

The analysis of nonlocal discrete equations driven by fractional powers of the discrete Laplacian on a mesh of size $h>0$ \[ (-Δ_h)^su=f, \] for $u,f:\mathbb{Z}_h o\mathbb{R}$, $0

研究の動機と目的

• 一様メッシュ上での離散ラプラシアンの分数階数のべきを含む非局所的離散拡散方程式の包括的な理論を構築すること。
• 離散ラプラシアンの分数階数のべき $ (-\Delta_h)^s u $ に対して、点ごとの非局所的公式を確立し、半離散的拡張問題を通じてディリクレ・ツー・ノイマン作用素として特徴づけること。
• 離散 Hölder 空間における正則性推定、離散ディリクレ問題の解の存在と一意性、および離散ソボレフおよびパオンカーレ不等式を導出すること。
• メッシュ幅 $ h \to 0 $ の極限において、離散分数ラプラシアンが連続的分数ラプラシアンに収束することを解析し、最小限の正則性仮定のもとで一様な誤差推定を提供すること。
• 連続的ポisson問題 $ (-\Delta)^s U = F $ の解が、明示的な誤差境界を伴って離散問題の解によって近似可能であることを示すこと。

提案手法

• 半離散的熱方程式 $ \partial_t w = \Delta_h w $ の解を用いた半群法により、分数階離散ラプラシアン $ (-\Delta_h)^s u $ を定義する。
• 点ごとの非局所的公式を導出し、格子点上の重み付き和として表す：$ \sum_{m \neq j} (u_j - u_m) K^h_s(j - m) $、ここで明示的なカーネル $ K^h_s(m) $ はガンマ関数を含む。
• 半離散的退化する楕円型拡張問題 $ \mathbb{Z}_h \times (0,\infty) $ において、$ (-\Delta_h)^s $ がディリクレ・ツー・ノイマン写像と同等であることを確立する。
• 離散設定におけるハーディー＝リトルウッド＝ソボレフ不等式、分数階ソボレフ埋込、およびパオンカーレ不等式の離散版を証明する。
• 拡張問題を用いて、離散 Hölder 空間におけるシュードラー型推定を導出し、離散ディリクル問題の解の存在と一意性を確立する。
• 極限 $ h \to 0 $ を解析し、離散問題の解が連続的ポアソン問題 $ (-\Delta)^s U = F $ の解に一様に収束することを示し、$ h $ および $ F $ の正則性に依存する誤差境界を提示する。

実験結果

リサーチクエスチョン

• RQ1 一様メッシュ上での離散ラプラシアンの分数階数のべきを、点ごとの非局所的公式としてどのように特徴づけられるか？
• RQ2 分数階離散ラプラシアンと半離散的拡張問題との間の明確な関係は何か？ そして、この関係がどのようにディリクレ・ツー・ノイマン特徴づけをもたらすか？
• RQ3 離散 Hölder 空間における非局所的ディリクレ問題の解に対して、シュードラー推定などの正則性特性はどのように成立するか？
• RQ4 メッシュ幅 $ h \to 0 $ のとき、離散分数ポアソン問題の解が連続的分数ポアソン問題の解にどのように収束するか？ また、誤差推定はどのようなものか？
• RQ5 ソボレフ埋込やパオンカーレ不等式などの古典的不等式の離散版は、分数階離散ラプラシアンに対してどのように成立するか？

主な発見

• 点ごとの非局所的公式 $ (-\Delta_h)^s u_j $ が $ \sum_{m \neq j} (u_j - u_m) K^h_s(j - m) $ として導出され、ガンマ関数を含む明示的なカーネル $ K^h_s(m) $ を持つ。
• 分数階離散ラプラシアン $ (-\Delta_h)^s $ が、$ \mathbb{Z}_h \times (0,\infty) $ における半離散的退化する楕円型拡張問題のディリクレ・ツー・ノイマン作用素と同等であることが示された。
• 離散 Hölder 空間におけるシュードラー推定が確立され、離散ディリクル問題の解がデータからの Hölder 正則性を引き継ぐことが示された。
• 離散分数階ソボレフ埋込およびパオンカーレ不等式が証明され、離散問題の解析に不可欠な道具となった。
• メッシュ幅 $ h \to 0 $ のとき、離散分数階ソボレフ空間における連続的分数ラプラシアンへの収束が、$ \alpha < \min(1, 2s) $ のもとで $ h^{\alpha} $ のオーダーの誤差推定を伴って成立する。最小限の正則性仮定のもとで成立する。
• 連続的ポアソン問題 $ (-\Delta)^s U = F $ の解（$ \mathbb{R} $ 上）が、$ F \in C^{0,\alpha} $ の条件下で、離散問題の解によって一様な誤差推定を伴って近似可能である。