[論文レビュー] Kazdan-Warner equation on infinite graphs

Huabin Ge, Wenfeng Jiang|arXiv (Cornell University)|Jun 27, 2017

Topological and Geometric Data Analysis参考文献 12被引用数 27

ひとこと要約

この論文は、$h \leq 0$ および $g$ と $h$ の可積分性制約の下で、無限グラフ上でのKazdan-Warner方程式 $\Delta f = g - h e^f$ の解の存在を、熱流法を用いて確立する。主な貢献は、断片的近似とCheegerグラフの仮定を用いて、変分法を用いないで全解の存在を示したことである。これは有限グラフの結果を無限設定に拡張するものである。

ABSTRACT

We concern in this paper the graph Kazdan-Warner equation \begin{equation*} Δf=g-he^f \end{equation*} on an infinite graph, the prototype of which comes from the smooth Kazdan-Warner equation on an open manifold. Different from the variational methods often used in the finite graph case, we use a heat flow method to study the graph Kazdan-Warner equation. We prove the existence of a solution to the graph Kazdan-Warner equation under the assumption that $h\leq0$ and some other integrability conditions or constrictions about the underlying infinite graphs.

研究の動機と目的

• 有限グラフにおけるKazdan-Warner方程式の可解性理論を無限グラフへ拡張すること。
• 無限次元設定におけるコンパクト性の欠如により変分法に限界がある状況を乗り越えるために、熱流法のアプローチを導入すること。
• 特に $h \leq 0$ および可積分性制約の下で、無限グラフ上に全解が存在する十分条件を確立すること。
• 滑らかな多様体および有限グラフの結果を、解析的手法を用いて無限グラフ設定に一般化すること。

提案手法

• WangとZhangのインスピレーションを受けて、初期関数を放物型PDEに従って進化させることで解に近づける熱流法を採用する。
• 無限グラフ $G$ の断片的近似 $\{G_k\}$ を用い、問題を有限部分グラフ $G_k$ に局所化する。
• 境界項を扱い、コンパクト性を保証するため、切断関数 $\varphi_k$ を用いた修正方程式を定義する。
• $\overline{V_k}$ 上でのCheeger不等式を適用し、$f^k$ の $L^2$-ノルムを制御し、一様な有界性を確立する。
• 各 $G_k$ 上の解 $\{f^k\}$ の列が対角部分列の議論により、$V$ 上の全解 $f$ に点wise収束することを証明する。
• エネルギー推定と不等式 $e^x - 1 > \frac{1}{2}x^2$ ($x > 0$) を用いて、エネルギー関数の非線形項を制御する。

実験結果

リサーチクエスチョン

• RQ1 無限グラフ上でのKazdan-Warner方程式 $\Delta f = g - h e^f$ が全解をもつのはどのような条件下か？
• RQ2 変分法がコンパクト性の欠如により失敗する無限グラフ上でも、熱流法を用いて解の存在を証明できるか？
• RQ3 特に $h \leq 0$ の下で、$g$ と $h$ の可積分性条件が方程式の可解性にどのように影響するか？
• RQ4 グラフの幾何的・解析的性質（例えばCheegerグラフであること）は、断片的近似過程における解の有界性を保証するか？

主な発見

• 無限、連結、局所的に有限なグラフ上で、$h \leq 0$ かつ $g, h$ が適切な可積分性条件を満たすならば、Kazdan-Warner方程式の全解が存在する。
• 条件(C-1)のもと、$\psi = g/h$ が $L^2(V)$ に属する場合、解列 $\{f^k\}$ は $L^2(V_k)$ で一様有界となり、収束が保証される。
• 条件(C-2)のもと、$G$ がCheegerグラフであり $g \in L^2(V)$ である場合、Cheegerの不等式とエネルギー推定により $f^k$ の $L^2$-ノルムが一様に有界である。
• 熱流法は、エネルギー関数の時間微分が時系列の部分列に沿って 0 に近づくことを示すことにより、解を実際に生成した。
• 解 $f$ は $f^k$ の点wise極限として得られ、$V$ 上で元の方程式 $\Delta f + h e^f - g = 0$ を満たすことが確認され、全解の存在が裏付けられる。
• 本手法は変分的技法を避け、代わりに放物型発展とコンパクト性に依存するため、無限グラフに適したものである。