[論文レビュー] Higher-order pathwise theory of fluctuations in stochastic homogenization

Mitia Duerinckx, Félix Otto|arXiv (Cornell University)|Mar 6, 2019

Advanced Mathematical Modeling in Engineering参考文献 50被引用数 30

ひとこと要約

本稿では、確率的均質化における線形楕円型方程式のランダム係数に関するフラクチュエーションの高次パスワイズ理論を構築する。2スケール展開および均質化交換子フレームワークを $\frac{d}{2}$ 次まで拡張することで、巨視的フラクチュエーションがガウス分布に従うことを確立し、解のフラクチュエーションと高次補正項との間のパスワイズ近接性を示し、微視的振動と巨視的確率性の背後にある深い代数的構造を明らかにする。

ABSTRACT

We consider linear elliptic equations in divergence form with stationary random coefficients of integrable correlations. We characterize the fluctuations of a macroscopic observable of a solution to relative order $\\frac{d}{2}$, where $d$ is the spatial dimension; the fluctuations turn out to be Gaussian. As for previous work on the leading order, this higher-order characterization relies on a pathwise proximity of the macroscopic fluctuations of a general solution to those of the (higher-order) correctors, via a (higher-order) two-scale expansion injected into the homogenization commutator, thus confirming the scope of this notion. This higher-order generalization sheds a clearer light on the algebraic structure of the higher-order versions of correctors, flux correctors, two-scale expansions, and homogenization commutators. It reveals that in the same way as this algebra provides a higher-order theory for microscopic spatial oscillations, it also provides a higher-order theory for macroscopic random fluctuations, although both phenomena are not directly related. We focus on the model framework of an underlying Gaussian ensemble, which allows for an efficient use of (second-order) Malliavin calculus for stochastic estimates. On the technical side, we introduce annealed Calder\\'on-Zygmund estimates for the elliptic operator with random coefficients, which conveniently upgrade the known quenched large-scale estimates.

研究の動機と目的

• 一次のオーダーを超えて、巨視的観測量のフラクチュエーションを特徴付けること。
• 解のフラクチュエーションと補正項に基づく展開とのパスワイズ近接性を、$\frac{d}{2}$ 次まで拡張すること。
• 巨視的確率的フラクチュエーションと関連して、高次補正項、フラックス補正項、および均質化交換子の代数的構造を明確化すること。
• ガウス集合の枠組みにおいてミャリヴィン計算を用いて、高次フラクチュエーションのガウス性を確立すること。
• 確率的（アンネールド）カルデロン＝ジグムント推定を構築し、確率的楕円型作用素に対するクエンチド大規模推定を向上させること。

提案手法

• 解のフラクチュエーションを $ O(\varepsilon^{\frac{d}{2}}) $ まで捉えるために、形式 $ (1 + \varepsilon \varphi_i + \varepsilon^2 \varphi^{2}_{ij} \nabla_{ij}^2) \bar{u}^2_\varepsilon $ の高次2スケール展開を用いる。
• 真の解とその2スケール展開との間の誤差を定量化する高次均質化交換子を導入する。
• 2階のミャリヴィン微積分を確率的推定に適用し、基礎となる係数集合のガウス性を活用する。
• 確率的楕円型作用素に対して、クエンチド推定を改善する確率的カルデロン＝ジグムント推定を確立する。
• フラクチュエーションの正規近似を証明するために、シュタイン法とピオンカーレ型不等式を用いる。
• オルンシュタイン＝ウーレンボルグ生成作用素とミャリヴィン微分の交換関係を用いて、正規近似における分散項を制御する。

実験結果

リサーチクエスチョン

• RQ1 確率的均質化における巨視的フラクチュエーションは、一次の $ O(\varepsilon) $ 項を超えて、どのように振る舞うか？
• RQ2 解のフラクチュエーションは、どの程度まで高次補正項のフラクチュエーションによってパスワイズに近似可能か？
• RQ3 高次補正項と巨視的確率的フラクチュエーションの構造を結ぶ代数的構造は何か？
• RQ4 高次フラクチュエーションがガウス分布に収束することを示せるか、そしてどのような条件下で成立するか？
• RQ5 解の確率的挙動を制御するため、どのようにしてアンネールド推定を構築できるか？

主な発見

• 巨視的観測量 $ \int g \cdot \nabla u_\varepsilon $ のフラクチュエーションが $ \frac{d}{2} $ 次まで特徴づけられ、一次補正項がガウス分布に従うことが判明した。
• 解のフラクチュエーションと高次補正項展開のフラクチュエーションとの間のパスワイズ近接性が確立され、高次においても均質化交換子の関連性が裏付けられた。
• 高次補正項フレームワークは、微視的振動と巨視的フラクチュエーションの両者を支配する統一的な代数的構造を明らかにしたが、それらは概念的に独立であるにもかかわらず、その背後には共通の構造があることが示された。
• クエンチド大規模推定を向上させる確率的カルデロン＝ジグムント推定が導出され、確率的制御にとって不可欠な役割を果たす。
• ミャリヴィン計算を用いてフラクチュエーションの正規近似が証明され、1-ワッサーシュタイン距離および2-ワッサーシュタイン距離の上界が、内積 $ \langle DZ, DX \rangle_\mathfrak{H} $ の分散の関数として得られた。
• フラクチュエーションの共分散構造の収束が厳密に確立され、高次レベルにおけるガウス極限の正当性が確認された。