[论文解读] 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$ 解的存在性。关键贡献在于利用 exhaustion 和 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 $ 的 exhaustion $\{G_k\}$，将问题局部化至有限子图 $ G_k $。
• 通过引入截断函数 $\varphi_k$ 定义修正方程，以处理边界项并确保紧致性。
• 在 $\overline{V_k}$ 上应用 Cheeger 不等式，控制 $ f^k $ 的 $ L^2 $-范数，建立一致有界性。
• 通过对角子列法证明 $\{f^k\}$ 在 $ G_k $ 上的解序列在 $ V $ 上点态收敛于全局解 $ f $。
• 利用能量估计及不等式 $ e^x - 1 > \frac{1}{2}x^2 $（当 $ x > 0 $ 时）控制能量泛函中的非线性项。

实验结果

研究问题

• RQ1 在何种条件下，Kazdan-Warner 方程 $\Delta f = g - h e^f$ 在无限图上存在全局解？
• RQ2 当变分方法因缺乏紧致性而失效时，热流方法是否可用于证明无限图上解的存在性？
• RQ3 对 $ g $ 和 $ h $ 的可积性条件，特别是 $ h \leq 0 $，如何影响方程的可解性？
• RQ4 图的何种几何或分析性质——如为 Cheeger 图——可确保在 exhaustion 过程中解的有界性？

主要发现

• 若 $ h \leq 0 $ 且 $ g, h $ 满足适当的可积性条件，则在连通、局部有限的无限图上，Kazdan-Warner 方程存在全局解。
• 在条件 (C-1) 下，即 $ \psi = g/h \in L^2(V) $，解序列 $\{f^k\}$ 在 $ L^2(V_k) $ 中一致有界，从而保证收敛性。
• 在条件 (C-2) 下，即 $ G $ 为 Cheeger 图且 $ g \in L^2(V) $，通过 Cheeger 不等式与能量估计，$ f^k $ 的 $ L^2 $-范数一致有界。
• 热流方法成功生成解，通过证明能量泛函的时间导数沿某一时间序列趋于零，表明收敛性。
• 作为 $ f^k $ 点态极限得到的解 $ f $ 满足原方程 $\Delta f + h e^f - g = 0$ 在 $ V $ 上，确认了全局解的存在性。
• 该方法避免使用变分技术，转而依赖抛物演化与紧致性，适用于无限图。