[論文レビュー] Annealed estimates on the Green function

Daniel Marahrens, Félix Otto|arXiv (Cornell University)|Apr 16, 2013

Advanced Mathematical Modeling in Engineering参考文献 14被引用数 9

ひとこと要約

本稿は、d次元格子上の離散的、確率的、一様楕円型方程式におけるグリーン関数のアンネールド推定を確立する。係数場の集合に対して対数ソボレフ不等式（LSI）を仮定すると、クエンチドグリーン関数の一次および二次混合微分のすべての確率的モーメントが、定数係数の場合と同一の速度で減衰することを証明する。これは先行研究を拡張し、高楕円性対比下でも最適なホモジゲナイゼーション誤差推定を可能にする。

ABSTRACT

We consider a random, uniformly elliptic coefficient field $a(x)$ on the $d$-dimensional integer lattice $\mathbb{Z}^d$. We are interested in the spatial decay of the quenched elliptic Green function $G(a;x,y)$. Next to stationarity, we assume that the spatial correlation of the coefficient field decays sufficiently fast to the effect that a logarithmic Sobolev inequality holds for the ensemble $\langle\cdot angle$. We prove that all stochastic moments of the first and second mixed derivatives of the Green function, that is, $\langle| abla_x G(x,y)|^p angle$ and $\langle| abla_x abla_y G(x,y)|^p angle$, have the same decay rates in $|x-y|\gg 1$ as for the constant coefficient Green function, respectively. This result relies on and substantially extends the one by Delmotte and Deuschel \cite{DeuschelDelmotte}, which optimally controls second moments for the first derivatives and first moments of the second mixed derivatives of $G$, that is, $\langle| abla_x G(x,y)|^2 angle$ and $\langle| abla_x abla_y G(x,y)| angle$. As an application, we are able to obtain optimal estimates on the random part of the homogenization error even for large ellipticity contrast.

研究の動機と目的

• 離散的、確率的、一様楕円型方程式におけるクエンチドグリーン関数の一次および二次混合微分のアンネールドモーメント推定を導出すること。
• デルモットとデュシュェルの結果を拡張し、グリーン関数の勾配およびヘッシアンのすべてのp次モーメントに対して最適な減衰速度を確立すること。
• 高楕円性対比下でも、確率的ホモジゲナイゼーションにおける誤差の確率的成分に対する最適な推定を提供すること。
• 対数ソボレフ不等式が係数場の十分な混合性を保証する統計的仮定としての役割を正当化すること。
• デ・ジョルジの精神に則ったアンネールドホーラー推定を確立し、正則性理論をクエンチド設定へと拡張すること。

提案手法

• 一様楕円型で有界な係数場 a(e) ∈ [λ,1] を持つd次元整数格子 Z^d 上で解析が行われる。
• グリーン関数 G(x,y) は ∇*(a∇G)(·,y) = δ(·−x) の解として定義され、分布的特徴付けとして ∑ₑ ∇ζ(e) a(e) ∇G(e,y) = ζ(y) を満たす。
• 主な技術的道具は、係数場の集合に対する対数ソボレフ不等式（LSI）であり、空間相関の速やかな減衰下で成立し、i.i.d. な係数場でも満たされる。
• 証明はデルモットとデュシュェルの研究に基づき、一次微分の第二モーメントおよび二次微分の第一モーメントに対する最適制御を、すべてのp次モーメントへと拡張する。
• 重要なステップとして、エッジ上のLSIのテンソル化と、エッジの列挙に基づく逐次平均化による局所的汎関数の分散制御が行われる。
• この手法は、相対エントロピーのテレスコピック和表現と、局所平均の平方根の振動の上限に基づく。

実験結果

リサーチクエスチョン

• RQ1 適切なエルゴード性仮定の下で、クエンチドグリーン関数の一次および二次混合微分のすべてのp次モーメントは、定数係数の場合と同一の速度で減衰するか？
• RQ2 グリーン関数の勾配およびヘッシアンに対するアンネールド推定は、第二モーメントおよび第一モーメントを超えて、すべてのp ≥ 1 へと拡張可能か？
• RQ3 対数ソボレフ不等式は、グリーン関数の微分の最適なモーメント減衰を保証するために果たす役割は何か？
• RQ4 これらの改善されたモーメント推定は、確率的ホモジゲナイゼーションにおける誤差の確率的成分の定量的評価にどのように寄与するか？
• RQ5 同じ枠組みを用いて、クエンチドグリーン関数に対するアンネールドホーラー正則性推定を導出可能か？

主な発見

• LSI仮定の下で、|∇ₓG(x,y)|^p のすべての確率的モーメントは、|x−y| ≫ 1 において、定数係数の場合と同一の減衰速度を示す。
• |∇ₓ∇ᵧG(x,y)|^p のすべての確率的モーメントは、定数係数の場合と同一の減衰を示す。これは、従来の第二モーメントおよび第一モーメントしか制御できなかった結果を拡張する。
• 対数ソボレフ不等式は、係数場の十分な混合性を保証し、グリーン関数の微分のアンネールドモーメントを制御するために不可欠である。
• 本結果により、高楕円性対比下でも、誤差の確率的成分に対する最適な推定が可能となり、従来の手法では達成できなかった。
• デ・ジョルジの精神に則ったアンネールドホーラー推定が確立され、クエンチドグリーン関数が平均化（アンネールド）の意味で正則性を満たすことが示された。
• LSIのテンソル化とテレスコピックエントロピー分解に基づく証明技法は、第二階級を超えるモーメント推定への拡張に向けた堅牢なフレームワークを提供する。