[論文レビュー] Regularity Structures on Manifolds and Vector Bundles

Martin Hairer, Harprit Singh|arXiv (Cornell University)|Aug 9, 2023

Advanced Mathematical Modeling in EngineeringComputer Science被引用数 3

ひとこと要約

本稿は、解がベクトルバンドルに値をとるRiemann多様体上での特異確率的PDEを解くために、正則性構造の理論を拡張する。幾何的枠組みとして接束、階数構造、および接続と計量を組み込んだ適合モデルを導入し、空間時間白色ノイズによって駆動される下位臨界SPDEの取り扱いを可能にする。再正規化手順は高次元において曲率に依存する可能性がある。

ABSTRACT

We develop a generalisation of the original theory of regularity structures, [Hai14], which is able to treat SPDEs on manifolds with values in vector bundles. Assume $M$ is a Riemannian manifold and $E o M$ and $F^i o M$ are vector bundles (with a metric and connection), this theory allows to solve subcritical equations of the form $$ \partial_t u + \mathcal{L}u = \sum_{i=0}^m G_i(u, abla u,\ldots, abla^n u)ξ_i\ , $$ where $u$ is a (generalised) section of $E$, $\mathcal{L}$ is a uniformly elliptic operator on $E$ of order strictly greater than $n$, the $ξ_i$ are $F^i$-valued random distributions (e.g. $F^i$-valued white noises), and the $G_i:E imes TM^*\otimes E imes\ldots imes (TM^*)^{\otimes n} \otimes E o L(F^i ,E)$ are local functions. We apply our framework to three example equations which illustrate that when $\mathcal{L}$ is a Laplacian it is possible in most cases to renormalise such equations by adding spatially homogeneous counterterms and we discuss in which cases more sophisticated renormalisation procedures (involving the curvature of the underlying manifold) are required.

研究の動機と目的

• Riemann多様体上での確率的PDEを扱えるように正則性構造の理論を一般化し、解がベクトルバンドルに値をとる場合を対象とする。
• 接続、計量、スケーリング構造を含む幾何的枠組みを構築し、多様体上での正則性構造とモデルを定義する。
• 多様体上での形 ∂tu + Lu = ∑Gi(u, ∇u, ..., ∇nu)ξi の下位臨界SPDEを解くための一般な解析的枠組みを確立する。
• 再正規化が空間的に一様な補正項に依存する場合と、曲率に依存する補正項を必要とする場合を特定する。
• 具体的な方程式、例えば幾何的PAMやΦ⁴型方程式を、コンパクト多様体上に適用する。

提案手法

• Riemann計量と適合接続を用いて多様体上での幾何的スケーリング構造を導入し、ユークリッド空間からの同次性の概念を一般化する。
• 接束 J^k を用いて、抽象多項式の階数付き空間を構成し、自然な包含写像 J^k ↪ J と自然なノルムおよび階数を備える。
• 対称集合とベクトルバンドルのテンソル積によるベクトルバンドル上の正則性構造を定義し、構造的なモデル化された分布を可能にする。
• モデルに対して緩い整合性条件 Π_p Γ_p,q ≈ Π_q を定義し、古典的正則性構造フレームワークを多様体へ一般化する。
• 特異核への統合と再構成を適用し、モデル化された分布を定義し、抽象方程式を解く。
• モデル上への再正規化群作用を導入し、ラプラシアンだけでは不十分な場合に、曲率から導かれる明示的補正項を提示する。

実験結果

リサーチクエスチョン

• RQ1 正則性構造の理論を、解がベクトルバンドルに値をとるRiemann多様体上でのSPDEを扱えるように一般化するにはどうすればよいか？
• RQ2 多様体上での一貫性のある正則性構造を定義するために必要な幾何的構造（接続、計量、スケーリングなど）は何か？
• RQ3 多様体上でのSPDEの再正規化は、いつ曲率に依存せず、いつ曲率依存の補正項が必要となるか？
• RQ4 本フレームワークは、コンパクト多様体上での幾何的SPDE（g-PAMやΦ⁴方程式）に適用可能か？
• RQ5 ベクトルバンドル値分布を伴う多様体上での再構成および統合作用素は、どのように振る舞うか？

主な発見

• 理論は、Riemann多様体上のベクトルバンドルへの正則性構造の一般化に成功し、空間時間白色ノイズによって駆動される下位臨界SPDEの解法を可能にした。
• コンパクト2次元多様体上でのg-PAM方程式では、非自明な幾何的構造が存在しても、空間的に一様な補正項による再正規化で十分である。
• 4次元多様体上では、方程式 ∂tu + Δu = u² + ξ に対して、スカラー曲率に比例する追加の補正項が必要であり、再正規化における曲率依存性を示している。
• 2次元または3次元多様体上でのベクトルバンドル上の一般化ラプラシアンを伴うΦ⁴型方程式は、再正規化により解を有し、形式的には二重井戸ポテンシャルを伴うGibbs測度として不変測度が与えられる。
• 本フレームワークは、多様体上でのモデル化された分布および再構成の体系的取り扱いを可能にし、特異核への一貫性のある統合を実現した。
• 対称集合とベクトルバンドルのテンソル積の使用により、正則性構造のカテゴリカルかつ代数的定式化が可能となり、ユークリッドの場合の一般化が達成された。