[論文レビュー] High order paracontrolled calculus

Ismaël Bailleul, Frédéric Bernicot|arXiv (Cornell University)|Sep 22, 2016

Advanced Mathematical Physics Problems参考文献 29被引用数 8

ひとこと要約

本稿は、最初の段階のパラコントロール的手法を拡張することで、一般化された放物型アンダーソン・モデルやKPZ方程式を含む広範な特異確率偏微分方程式（SPDE）を体系的かつ包括的に取り扱える高次のパラコントロール微積分枠組みを導入する。主要な作用素の連続性を確立し、2つのモデル作用素EおよびFを導入することで、パラプロダクトと正則性構造に基づく堅牢な解析的ツールキットを用いて、非線形特異SPDEの効率的で体系的な解析を可能にする。

ABSTRACT

We develop in this work a general version of paracontrolled calculus that allows to treat analytically within this paradigm some singular partial differential equations with the same efficiency as regularity structures. This work deals with the analytic side of the story and offers a toolkit for the study of such equations, under the form of a number of continuity results for some operators. We illustrate the efficiency of this elementary approach on the examples of the 3-dimensional generalised parabolic Anderson model equation and the generalised KPZ equation driven by a (1+1)-dimensional space/time white noise.

研究の動機と目的

• 最初の段階の方法では到達できない範囲の特異確率偏微分方程式の解析的取り扱いを可能にする、パラコントロール微積分の高次拡張を構築すること。
• 不規則なノイズによって駆動される特異SPDEを解くための、正則性構造とは補完的である決定的で解析的な枠組みを提供すること。
• 非線形項の特異SPDEにおける解析を簡素化するため、2つのモデル作用素EおよびFを用いた体系的な計算機構を構築すること。
• 解の適切な定義を保証するため、パラコントロール設定における主要作用素の連続性を確立すること。
• 具体的な方程式への適用効率を示す：3次元閉多様体上の一般化された放物型アンダーソン方程式および(1+1)次元で空間時間白色ノイズによって駆動される一般化されたKPZ方程式。

提案手法

• 解$ u $の高次パラコントロール展開を、$ Z_i $がノイズ$ \zeta $にのみ依存するパラプロダクト$ \tilde{\rm P}_{u_i} Z_i $の和と、残差項$ u^\sharp $の和として定式化する。
• パラコントロールアンザッツの再帰的構造を形式化し、非線形項の体系的計算を可能にする2つの基本的作用素$ \sf E $および$ \sf F $を定義する。
• 時間空間パラプロダクト$ \sf P $および$ \tilde{\sf P} $を用い、$ \mathscr{L}^{-1} \circ \sf P = \tilde{\sf P} \circ \mathscr{L}^{-1} $という相互作用関係を満たすことで、逆作用素の作用下でも解析的構造を保つ。
• Hölder型関数空間$ \mathcal{C}^\alpha $上での作用素の連続性推定を証明し、固定点法における安定性と収束性を保証する。
• 非線形右辺$ f(u, \partial u, \zeta) $を、$ Y_j $が$ \zeta $および$ Z_i $にのみ依存する正規形パラコントロール形式$ \sum_j \sf P_{v_j} Y_j + (\flat) $に再書き換える。
• 熱核推定とダイアディック分解技術を用いて、特にコンパクト多様体上での$ \mathcal{P}_t $および$ \mathcal{Q}_t $作用素の出力の正則性を制御する。

実験結果

リサーチクエスチョン

• RQ1 最初の段階のパラコントロール理論の範囲を超えて特異SPDEを扱えるように、高次パラコントロール微積分を体系的に構築することは可能か？
• RQ2 パラコントロール展開における再帰的整合性と計算効率を保証するために、作用素$ \sf E $および$ \sf F $はどのように定義可能か？
• RQ3 固定点問題の適切な定義を保証するため、パラコントロールフレームワークにおける主要作用素に必要な連続性推定は何か？
• RQ4 $ f(u)\zeta $や$ g(u)(\partial u)^2 $のような分布の積を含む非線形性は、特異SPDEにおいてどの程度このフレームワークで取り扱えるか？
• RQ5 この方法は、低次元で特異な設定下の一般化された放物型アンダーソン方程式および一般化されたKPZ方程式に効果的に適用可能か？

主な発見

• 高次パラコントロール微積分フレームワークは、正則性構造と同等の解析的厳密性を保ちつつ、最初の段階のパラコントロール手法を一般化された特異放物型SPDEの広いクラスにまで拡張することに成功した。
• 作用素$ \sf E $および$ \sf F $の導入により、高次展開の計算が体系的かつ再利用可能なものとなり、非線形項の解析が著しく簡素化された。
• 主要作用素の連続性推定が確立され、解写像がノイズおよび初期データに関して連続であることが保証された。これは固定点法の成立に不可欠である。
• 3次元閉多様体上での一般化された放物型アンダーソン方程式に対して、ノイズの粗さに応じた正則性を制御する適切な Hölder 空間内に解の存在および一意性が保証された。
• (1+1)次元で空間時間白色ノイズによって駆動される一般化されたKPZ方程式に対して、パラコントロール関数空間上での固定点法により明確に定義された解が得られ、残差項$ (\flat) $が適切な Hölder 指数に対して$ \mathcal{C}^{\alpha + \beta_1 + \beta_2 + \gamma} $で制御された。
• 正則性推定の証明は、熱核の有界性とダイアディック積分に依拠しており、ノルム推定における三重積分が$ \alpha + \beta_1 + \beta_2 + \gamma > 0 $のとき収束することを示しており、これは本手法の有効性を保証する重要な条件である。