[論文レビュー] An elliptic Harnack inequality for random walk in balanced environments

Noam Berger, M. Cohen+2 more|arXiv (Cornell University)|Jul 10, 2018

Advanced Mathematical Modeling in Engineering参考文献 11被引用数 4

ひとこと要約

本稿は、$ℤ^d$ 上の i.i.d. でバランスの取れた確率的環境におけるランダムウォークに対して、楕円型 Harnack 不等式を確立する。これは、元来楕円型設定で開発された手法を非楕円型設定へ拡張したものである。主な貢献は、環境分布に弱いモーメント条件を課した場合に、離散調和関数が高確率で大スケールにおいて一様にその均質化された形へ収束することを示す定量的ホモジゲナイゼーション結果である。

ABSTRACT

We prove a Harnack inequality for the solutions of a difference equation with non-elliptic balanced i.i.d. coefficients. Along the way we prove a (weak) quantitative homogenisation result, which we believe is of some interest too.

研究の動機と目的

• 楕円型環境に対して既に開発済みの楕円型 Harnack 不等式の枠組みを、バランスの取れた確率的環境における非楕円型の場合へ拡張すること。
• バランスの取れた i.i.d. 環境における離散調和関数に対して、定量的ホモジゲナイゼーション結果を確立し、離散解とその均質化された解との差に高確率で有界な境界を与えること。
• 遷移確率が対称的ではあるが、ゼロから一様に離れていない非一様な環境におけるランダムウォークの挙動を分析すること。
• 環境分布に弱いモーメント条件を課した場合に、クエンチド不変性原理が明示的な収束速度を伴って成り立つことを証明すること。
• 環境依存のスケーリングを用いた再帰的幾何的議論を用いて、非楕円型設定における調和関数の振動を制御する新規な手法を開発すること。

提案手法

• 環境空間を $\Omega = (\mathcal{M}^d)^{\mathbb{Z}^d}$ と定義し、すべての $z \in \mathbb{Z}^d$ および隣接する $e$ に対して $\omega(z,e) = \omega(z,-e)$ を満たす i.i.d. バランスの取れた遷移カーネルを仮定する。
• クエンチド測度 $P_\omega^z$ とアンネイルド測度 $\mathbb{P}^z = \int P_\omega^z \, dP(\omega)$ を導入し、ウォークのクエンチド挙動に注目する。
• 再帰的幾何的構成を用いる：調和関数 $f$ に対して、入れ子になった球 $B^\text{dis}_{r_j}(z_j)$ の列を定義し、Harnack 型不等式を用いて、連続するスケール間での $\max f / \min f$ の比を制御する。
• 環境分布に弱いモーメント条件を課して、$f$ の振動が多項式的成長に抑えられ、指数的爆発を避けるようにする。
• $f(x_j)/f(y_j)$ が超指数的成長すると仮定し、そのような成長が与えられたスケーリングと環境の正則性のもとで Harnack 不等式に反するので、矛盾を導く。
• 振動の制御と、比 $f(x_j)/f(y_j)$ が Harnack 原理が許容する範囲を越えて速く成長するような点の列の存在を根拠に、矛盾による主張の証明を行う。

実験結果

リサーチクエスチョン

• RQ1 楕円型 Harnack 不等式は、非楕円型のバランスの取れた確率的環境へ拡張可能か？
• RQ2 バランスの取れた i.i.d. 環境における離散調和関数の、その均質化された形への収束速度は何か？
• RQ3 一様楕円性の欠如が、確率的環境における調和関数の正則性および振動制御に与える影響は何か？
• RQ4 環境分布にどのようなモーメント条件を課すれば、クエンチド不変性原理が定量的誤差境界を伴って成り立つのか？
• RQ5 再帰的幾何的議論を用いて、非楕円型設定における調和関数の最大値と最小値の比を制御することは可能か？

主な発見

• 本稿は、遷移確率がゼロから一様に離れていない場合であっても、バランスの取れた i.i.d. 確率的環境における離散調和関数に対して Harnack 不等式を証明した。
• 定量的ホモジゲナイゼーション結果が確立された：離散調和関数とその均質化された極限との差は、大スケールにおいて一様に高確率で有界である。
• 調和関数の振動はスケールに対して高々多項式的成長を示し、Harnack 原理に反する超指数的成長を防ぐ。
• 証明は、入れ子になった球の再帰的構成と、比 $f(x_j)/f(y_j)$ が速すぎる成長を示すと仮定した場合に Harnack 不等式に反するという矛盾によるものである。
• 主な結果は、環境分布に対して弱いモーメント条件を課した場合に成り立つ。具体的には、$\mathbb{E}_Q[\omega(0,e_i)]$ が正かつ有限であること。
• クエンチド不変性原理の収束速度は、調和関数の振動制御を通じて定量的に評価され、誤差はスケール $R$ に対して多項式的減少を示す。