[論文レビュー] A discrete harmonic function bounded on a large portion of $\mathbb{Z}^2$ is constant

Lev Buhovsky, Alexander Logunov+2 more|arXiv (Cornell University)|Dec 21, 2017

Advanced Mathematical Modeling in Engineering参考文献 3被引用数 7

ひとこと要約

本稿は、ℤ² 上の調和関数に対する古典的Liouville定理の離散的類似を確立する。もし離散的調和関数が原点を中心とする大きな正方形の (1−ε) 部分で有界（|u|≤1）であれば、ε>0 が十分小さければ、その関数は定数でなければならない。この証明は、格子上の調和関数の定量的正則性と、テイラー多項式近似およびコーシー型評価を用いた繰り返し的小ささの伝播を組み合わせる。

ABSTRACT

An improvement of the Liouville theorem for discrete harmonic functions on $\mathbb{Z}^2$ is obtained. More precisely, we prove that there exists a positive constant $\varepsilon$ such that if $u$ is discrete harmonic on $\mathbb{Z}^2$ and for each sufficiently large square $Q$ centered at the origin $|u|\le 1$ on a $(1-\varepsilon)$ portion of $Q$ then $u$ is constant.

研究の動機と目的

• 離散的調和関数に対する古典的Liouville定理を、全空間での有界性仮定を弱める形でℤ² 上に拡張すること。
• ℤ² の大部分（ただし全領域ではない）で有界であれば、離散的調和関数が定数でなければならないかどうかを特定すること。
• 定数関数に強制するのに必要な最小の密度 (1−ε) を定量的に特定すること。ε>0 が存在することを示す。
• 点での小ささを格子全体に伝播させる手法を開発すること。この手法は、解析接続と多項式近似に基づく。

提案手法

• ポisson積分表現を用いて、格子上での調和関数の定量的正則性を、固定された複素領域上の正則関数と結びつける。
• コーシー型評価を適用し、格子上での調和関数とそのテイラー多項式との差を評価することで、勾配と小ささの伝播を可能にする。
• 小ささの伝播メカニズムを定義する：部分正方形の正の密度部分集合で |u| が小さいならば、|u| はより大きな領域でも小さく保たれ、指数関数的およびべき乗項によって制御される。
• 水平および垂直方向の線に対して、2進的（dyadic）に繰り返し小ささの伝播を適用し、再帰的不等式 (16) を用いて上界の減衰を追跡する。
• 初期の小ささ閾値 σ の大きさに基づく二分法的議論を用いる：もしそのテイラー多項式が関数をよく近似できるか、あるいは誤差項が指数的に減少するかのいずれかが成り立つ。
• |u| が小さい点の数が少なくとも N に比例することを活用し、複素解析的道具（例えば、Bernstein–Marcinkiewiczの不等式（補題3.2））を適用して多項式の成長を制御する。

実験結果

リサーチクエスチョン

• RQ1 ε>0 に対して、ℤ² 上の離散的調和関数が密度 (1−ε) の集合で |u|≤1 に有界であれば、定数関数に強制されるか？
• RQ2 ℤ² の (1−ε) 部分で有界であれば離散的調和関数が定数関数に強制されるような、ε>0 の下界は何か？
• RQ3 正の密度部分集合で |u| が小さいという条件下で、調和関数の小ささを格子全体に伝播させる定量的メカニズムは存在するか？
• RQ4 古典的Liouville定理を、全空間での有界性仮定を「ほとんど至る所で有界」と弱めた形に強化できるか？
• RQ5 ℝ² には連続的類似がない（注記1.2で示されたように）という事実は、離散的・連続的調和関数の挙動に根本的な違いがあることを示唆するか？

主な発見

• ε>0 が存在し、原点を中心とする大きな正方形 Q_N の (1−ε) 部分で |u|≤1 を満たす離散的調和関数 u に対して、u は定数関数である。
• 小ささの伝播メカニズムにより、部分正方形の正の密度部分集合で |u| が小さいならば、|u| はより大きな領域でも小さく保たれ、上界は σ のべき乗と指数関数的項の積として減衰する。
• 本手法により定量的減衰評価が得られる：|u| ≤ C(M^β σ^{1−β} + e^{−cN}M) が、より大きな領域で成り立つ。ここで β∈(0,1) かつ c>0 は絶対定数である。
• 証明により、密度 (1−ε) の集合で |u| が小さいことが、テイラー近似の誤差が指数的に減少することを示し、関数が定数であることを強制する。
• この結果は、ε=1/2 の場合には成り立たない（非ゼロの調和関数が半平面で消失する例により示された）ため、本質的に鋭い結果である。
• この手法は高次元では失敗する。ℤ³ における反例により、非定数の調和関数が超平面の外で消失する例が示され、本結果が次元依存であることが明らかである。