[論文レビュー] Parabolic equations with rough coefficients and singular forcing

Félix Otto, Jonas Sauer+2 more|arXiv (Cornell University)|Mar 21, 2018

Advanced Mathematical Modeling in Engineering参考文献 10被引用数 12

ひとこと要約

本稿では、粗い拡散係数と特異的外力を持つ放物型方程式に対して、モデル化された分布の新しい概念を導入することで、負の放物型 Hölder 空間における再構成と積分を可能にする決定論的理論を構築する。正則性が $-\frac{3}{2}$ より大きい Hölder スケールにおいて解の存在と一意性を確立し、正則性構造の枠組みを、係数の Hölder 正則性に関する最小限の仮定での変数係数方程式へと拡張する。

ABSTRACT

This article focuses on parabolic equations with rough diffusion coefficients which are ill-posed in the classical sense of distributions due to the presence of a singular forcing. Inspired by the philosophy of rough paths and regularity structures, we introduce a notion of modelled distribution which is suitable in this context. We prove two general tools for reconstruction and integration, as well as a product lemma which is tailor made for the reconstruction of the rough diffusion operator. This yields a partially automated deterministic theory, which we apply to obtain an existence and uniqueness theory for parabolic equations with rough diffusion coefficients and a singular forcing in the negative parabolic Hölder space of order larger than $-\frac{3}{2}$.

研究の動機と目的

• 古典的な分布的意味での不適定性を示す、粗い拡散係数と特異的外力を持つ放物型方程式の問題に対処すること。
• 新しいモデル化された分布の概念を用いて、確率的近似に依存せずに、このような方程式を解く決定論的で部分的に自動化された理論を構築すること。
• 正則性構造および関連手法の適用範囲を、係数が $C^{\alpha}$ で外力が $C^{\alpha-2}$ である変数係数放物型 PDE に拡張すること（$\alpha \in (\frac{1}{2}, \frac{2}{3})$）。
• 特異な SPDE の正規化手順の第二段階に対する厳密な解析的枠組みを確立すること。ここでは、確率的近似ではなく解理論に焦点を当てる。

提案手法

• 粗い係数と特異的外力を持つ放物型方程式の構造に適合した、モデル化された分布の新しい概念を導入する。
• 分布からの再構成と非線形演算の取り扱いを可能にする2つの一般的な道具（再構成と積分）を開発する。
• 低正則性領域における粗い拡散作用素 $a \partial_1^2 u$ の再構成を目的とした、特別に設計された積の補題を確立する。
• 係数場とその解との相互作用を表現するために、周期的 $C^{\alpha}$ 関数に基づくパラメトリックモデルを用いる。
• 時間的変数を空間次元として扱えるように、$[0,1)^2$ 上の射影的・周期的設定に理論を適用し、楕円型解析を可能にする。
• 解の一意性と一貫性を保証するために、スケルトンに基づく関数空間フレームワークと、巧みに構築されたモデルに依存する。

実験結果

リサーチクエスチョン

• RQ1 係数 $a \in C^{\alpha}$ で解 $u \in C^{\alpha}$ のとき、$\alpha + (\alpha - 2) < 0$ であるため、通常の意味で定義されない積 $a \partial_1^2 u$ をどのように定義し、再構成できるか？
• RQ2 粗い放物型 PDE と特異的外力の文脈で、再構成と積分を可能にする適切なモデル化された分布の概念とは何か？
• RQ3 確率的近似に依存せず、正規化の解析的段階に焦点を当てた、決定論的で部分的に自動化された理論を、このような方程式に対して構築可能か？
• RQ4 係数が $C^{\alpha}$ で外力が $C^{\alpha-2}$ である変数係数放物型方程式に、この理論をどのように拡張できるか？（$\alpha \in (\frac{1}{2}, \frac{2}{3})$）
• RQ5 正則性が $-\frac{3}{2}$ より大きい負の放物型 Hölder 空間において、解の存在と一意性を保証する条件は何か？

主な発見

• 本稿では、$\alpha \in (\frac{1}{2}, \frac{2}{3})$ の仮定の下で、負の放物型 Hölder 空間において正則性が $-\frac{3}{2}$ より大きい場合に、方程式 $\partial_2 u - P(a \partial_1^2 u) = P f$ の解の存在と一意性を確立する。
• 粗い係数と特異的外力の下でも、再構成と積分を可能にする新しいモデル化された分布の概念を導入する。
• 再構成と積分のツールが安定かつ一貫性を持つことが証明され、$a \partial_1^2 u$ のような非線形演算の取り扱いが、特化された積の補題によって可能になる。
• 解理論は、平均ゼロ関数への射影 $P$ を伴う $[0,1)^2$ 上の周期的設定で定式化されており、これにより放物型問題を楕円型の手法で取り扱える。
• 理論は部分的に自動化された解析的枠組みを達成し、解の過程における明示的な摂動展開の必要性を低減する。
• モデル化された分布のノルムに対して定量的評価を導出する：$[V_u^\eta] \lesssim \epsilon^{-2} N^3$ および $\|V_u^\eta\| \lesssim 1$ が、$N \leq \epsilon^2$ かつ $\epsilon \leq 1$ の仮定のもとで成り立ち、安定性と収束性を保証する。