Weak Solutions to the complex Monge-Ampère flows on compact Kähler manifolds : general measures on the right-hand side

本文证明了在右端项由 Hölder 连续拟多重次调和函数的 Monge-Ampère 测度控制时，紧凯勒流形上复 Monge-Ampère 流的有界解存在性、解在特定区域上的局部 Hölder 连续性，以及在右端项由有界拟多重次调和函数的 Monge-Ampère 测度控制时的比较原理与解的唯一性。

要点

这篇文章讲述的是数学中一个非常深奥的领域：复几何，具体来说，是研究一种叫做“复 Monge-Ampère 流”的方程在紧 Kähler 流形（你可以把它想象成一个弯曲、有限且没有边界的复杂空间，比如一个高维的甜甜圈或者更奇怪的形状）上的行为。

为了让你轻松理解，我们可以把这篇论文的核心内容想象成**“在一个不断变形的橡皮球上，如何均匀地涂抹一种特殊的‘魔法颜料’，并保证涂抹过程既平滑又唯一”**的故事。

1. 背景：什么是“复 Monge-Ampère 流”？

想象你手里有一个形状复杂的橡皮球（这就是紧 Kähler 流形）。

• 目标：你想在这个球上涂一层特殊的“颜料”（这代表一个数学函数 $u$）。
• 规则：这层颜料不能随便涂，它必须遵循一个非常严格的物理/几何定律（这就是复 Monge-Ampère 方程）。这个定律决定了颜料在球上的厚度分布，必须和球本身的弯曲程度完美匹配。
• 时间因素：这不仅仅是涂一次，而是一个随时间变化的过程（这就是流，Flow）。就像你看着颜料慢慢渗透进橡皮球，从 $t=0$ 开始，一直涂到 $t=T$。

2. 核心挑战：右边的“颜料”太奇怪了

在以前的研究中，数学家们假设用来涂抹的“原料”（方程右边的项，记为 $d\mu$）是非常平滑、均匀的液体（比如像水一样均匀分布）。

但这篇论文要解决的新问题是：
如果原料不是均匀的液体，而是一团**“怪怪的、甚至可能聚集成团或只存在于某些奇怪地方”**的物质呢？

• 比如，原料可能只存在于球表面的一条细线上，或者只存在于几个点上，甚至可能像灰尘一样分布。
• 在数学上，这被称为**“一般测度”（General Measures），甚至是“奇异测度”**。

Bowoo Kang（作者）的贡献就是： 即使原料这么“怪”，只要它满足某些特定的“温和”条件（比如它被某种平滑函数的“影子”所控制），我们依然能找到一种方法，把颜料涂好，而且涂出来的结果是有界的（不会无限厚或无限薄）和连续的。

3. 主要成就：三大发现

这篇论文主要解决了三个大问题，我们可以用三个比喻来理解：

成就一：存在性（Existence）—— “只要原料够‘软’，就能涂出来”

• 以前的困境：如果原料太硬、太集中（比如全是点），以前的数学工具可能会失效，算不出结果。
• 本文的突破：作者证明，只要这个“怪原料”可以被一个**“赫尔德连续函数”（Hölder continuous function，你可以理解为一种“虽然可能有棱角，但不会突然断裂”的平滑函数）所控制，那么我们就一定能找到一个有界的解**。
• 比喻：就像即使你的颜料里混了一些小沙砾（奇异测度），只要这些沙砾是被一层柔软的果冻（赫尔德连续函数）包裹着的，你依然能把它均匀地抹在橡皮球上，不会把球戳破，也不会让颜料堆积成无限高的塔。

成就二：正则性（Regularity）—— “涂出来的表面是光滑的”

• 问题：既然原料很怪，涂出来的表面会不会坑坑洼洼？
• 本文的突破：作者证明，在球的大部分区域（称为 Amp(θ) 区域），涂出来的表面是局部赫尔德连续的。
• 比喻：这意味着，虽然原料里有沙砾，但当你把颜料抹开后，表面摸起来依然是平滑的，没有尖锐的刺或断裂。而且，这种平滑程度不随时间变化而恶化。

成就三：唯一性（Uniqueness）—— “答案只有一个”

• 问题：面对这么复杂的原料，会不会有多种不同的涂法都能满足规则？如果有多种，我们就不知道哪个是“正确”的。
• 本文的突破：作者建立了一个**“比较原理”**（Comparison Principle）。简单来说，如果两个涂法都满足规则，且开始时（$t=0$）第一个比第二个薄，那么在之后的任何时间，第一个永远比第二个薄。
• 比喻：这就像两个画家在画同一幅画。如果画家 A 的初始草稿比画家 B 的淡，而且他们遵循同样的“魔法规则”作画，那么 A 的画永远不可能比 B 的画“浓”。这保证了解的唯一性——只有一种正确的涂法。

4. 为什么这很重要？

• 几何意义：这种方程与Kähler-Ricci 流（Kähler-Ricci Flow）密切相关。Kähler-Ricci 流是研究宇宙形状、黑洞结构以及高维空间几何性质的核心工具。
• 实际应用：在物理学和广义相对论中，我们需要处理各种奇异的物质分布。这篇论文证明了，即使面对这些“奇异”的分布，数学模型依然是稳健的、可解的。
• 承前启后：这篇文章扩展了 Guedj, Lu 和 Zeriahi 等人在 2020 年的工作，把适用范围从“平滑原料”扩大到了“更广泛的奇异原料”，让数学工具能处理更复杂、更现实的问题。

总结

Bowoo Kang 的这篇论文就像是一位高明的“几何厨师”。
以前的厨师只敢用纯净水（平滑测度）来制作一道复杂的几何大餐（Monge-Ampère 流）。
而 Bowoo Kang 证明，只要食材（测度）虽然有点“怪”（比如含有杂质或分布不均），但不是完全不可控的（被赫尔德函数控制），他依然能做出**口感完美（有界且连续）且味道唯一（唯一解）**的大餐。

这为未来研究更复杂的几何结构和物理现象奠定了坚实的基础。

技术摘要

1. 研究背景与问题陈述

背景：
复 Monge-Ampère (CMA) 流与 Kähler-Ricci 流密切相关。自 Cao (1985) 利用 CMA 流证明 Calabi 猜想以来，该领域一直是复几何的核心课题。近年来，Guedj, Lu 和 Zeriahi (GLZ) 等人发展了多势理论 (pluripotential theory) 方法，成功处理了右端项为 $L^p$ 密度函数 ($p>1$) 的 CMA 流，证明了弱解的存在性、唯一性和正则性。

核心问题：
本文旨在将 GLZ 在 [18] 中的结果推广到更一般的右端测度。具体而言，研究紧 Kähler 流形 $(X, \omega_X)$ 上的 Cauchy 问题：
$$dt \wedge (\omega_t + dd^c u)^n = e^{\partial_t u + F(t,x,u)} dt \wedge d\mu$$
其中：

• $\omega_t$ 是随时间变化的闭半正 $(1,1)$-形式族。
• $\mu$ 是一个给定的正 Borel 测度，允许相对于体积形式 $\omega_X^n$ 奇异（即不要求 $\mu$ 有 $L^p$ 密度）。
• 初始条件为 $u(0, \cdot) = u_0$。

主要挑战：
当右端测度 $\mu$ 非常奇异（例如支撑在低维子流形上）时，传统的 $L^p$ 理论不再适用。需要建立新的框架来处理由 Holder 连续拟全纯次调和函数（quasi-plurisubharmonic, qpsh）生成的 Monge-Ampère 测度作为右端项的情况。

---

2. 主要假设与设定

• 流形与形式： $(X, \omega_X)$ 是 $n$ 维紧 Kähler 流形。$\{\omega_t\}_{t \in [0, T)}$ 是 $C^2$ 族的闭半正形式，满足一定的增长和凸性条件（由常数 $A$ 控制）。
• 大形式 $\theta$： 存在一个光滑闭半正 $(1,1)$-形式 $\theta$，其上同调类是大类 (big)，且满足 $\theta \le \omega_t \le B\theta$。
• 右端测度 $\mu$ 的条件：
  • 存在性假设 (Theorem 1.2)： $\mu$ 被某个 Holder 连续 的 $\omega_X$-qpsh 函数 $\phi$ 的 Monge-Ampère 测度控制，即 $d\mu \le C(\omega_X + dd^c \phi)^n$。
  • 唯一性假设 (Theorem 1.3)： $\mu$ 被某个 有界 的 $\theta$-qpsh 函数 $\phi$ 的 Monge-Ampère 测度控制，即 $d\mu \le C(\theta + dd^c \phi)^n$。
• 非线性项 $F$： 关于 $r$ 一致拟增 (quasi-increasing)，关于 $(t, r)$ 局部一致 Lipschitz 且局部一致半凸。

---

3. 方法论

本文主要基于 多势理论 (Pluripotential Theory) 和 粘性解 (Viscosity Solution) 思想的结合，并进行了以下技术改进：

1. 逼近序列构造：

   • 利用光滑测度序列 $\mu_j$ 逼近奇异测度 $\mu$。
   • 通过正则化 $\mu_j$ 和初始数据，构造光滑解序列 $u_j$。
   • 利用先验估计（$L^\infty$ 界、时间导数估计、半凹性）提取收敛子列。

2. 收敛性引理 (Convergence Lemmas)：

   • 核心难点： 证明右端项 $e^{\partial_t u_j + F(t,x,u_j)} dt \wedge d\mu_j$ 弱收敛到 $e^{\partial_t u + F(t,x,u)} dt \wedge d\mu$。
   • 技术突破： 作者证明了在测度 $\mu$ 被 qpsh 函数控制且解序列满足特定半凹性（semi-concavity）和时间导数衰减 ($|\partial_t u| \le \kappa/t$) 的条件下，上述非线性项的弱收敛性成立（Lemma 3.2）。这推广了 GLZ 在 [18] 中的结果。

3. 比较原理 (Comparison Principle)：

   • 建立了针对一般测度的抛物型比较原理。
   • 利用混合型不等式 (Mixed type inequalities, Dinew) 和子水平集 (sublevel sets) 的测度控制，证明若 $u_0 \le v_0$ 且 $u, v$ 分别满足超解和次解条件，则 $u \le v$。
   • 关键在于处理初始时刻的边界行为，证明了超解在 $t \to 0^+$ 时以 $L^1(d\mu)$ 意义下收敛到初始数据，并建立了 $v(t, x) \ge v_0(x) - \eta(t)$ 的下界估计。

4. 正则性分析：

   • 利用 Kiselman-Legendre 变换和正则化算子，结合 [7] 和 [27] 中的椭圆情形结果，证明了在 $\theta$ 的 ample 区域 $\text{Amp}(\theta)$ 上，解 $u(t, \cdot)$ 具有局部 Holder 连续性。

---

4. 主要结果

定理 1.2：存在性与正则性

• 条件： 初始数据 $u_0 \in \text{PSH}(X, \omega_0) \cap L^\infty(X)$，右端测度 $\mu$ 被 Holder 连续 qpsh 函数的 MA 测度控制。
• 结论：
  1. 存在有界解 $u \in P(X_T, \omega_t) \cap L^\infty(X_T)$ 满足方程。
  2. 初始条件在 $L^1(d\mu)$ 意义下满足：$\lim_{t \to 0^+} u(t, \cdot) = u_0$。
  3. 正则性： 对于所有 $t \in (0, T)$，$u(t, \cdot)$ 在 $\text{Amp}(\theta)$ 上是局部 Holder 连续的，且 Holder 指数不依赖于 $t$。
  4. $u$ 在 $(0, T) \times \text{Amp}(\theta)$ 上是联合连续的。
• 意义： 允许右端测度在体积形式下奇异（例如支撑在实超曲面或全实子流形上），这是 GLZ 原有理论无法直接覆盖的。

定理 1.3：比较原理与唯一性

• 条件： 右端测度 $\mu$ 被有界 qpsh 函数的 MA 测度控制。
• 结论： 若 $u, v$ 分别是满足方程的不等式方向相反的弱解（$u$ 为超解，$v$ 为次解，或反之），且初始数据 $u_0 \le v_0$，则 $u \le v$。
• 推论： 在给定初始数据下，满足上述条件的解是唯一的。
• 意义： 该比较原理是处理奇异测度下唯一性的关键，推广了 [24] 中的局部结果到紧流形情形。

---

5. 关键贡献与意义

1. 推广了右端测度的范围：
   突破了以往要求右端测度具有 $L^p$ ($p>1$) 密度的限制。本文证明了即使测度 $\mu$ 是奇异的（只要它能被 Holder 连续或有界 qpsh 函数的 MA 测度控制），CMA 流的弱解依然存在且唯一。这涵盖了支撑在低维子流形上的测度，极大地扩展了理论的适用范围。

2. 建立了奇异测度下的收敛性理论：
   证明了在测度收敛和半凹性假设下，非线性项 $e^{\partial_t u} d\mu$ 的弱收敛性。这是处理奇异右端项抛物型方程的技术核心，为未来研究更广泛的几何流（如带有奇异项的 Kähler-Ricci 流）奠定了基础。

3. 统一了存在性与唯一性框架：
   通过引入适当的测度控制条件（Holder 连续 vs 有界），分别解决了存在性（利用 Holder 性质获得正则性）和唯一性（利用有界性质建立比较原理）问题，形成了一个完整的理论闭环。

4. 几何应用潜力：
   由于 Kähler-Ricci 流在代数几何（如最小模型纲领）中经常涉及奇异测度（例如在 log-terminal 奇点处），本文的结果为研究具有奇异初始数据或奇异源项的几何流提供了严格的分析工具。

总结

Bowoo Kang 的这篇论文通过发展多势理论中的收敛引理和比较原理，成功将复 Monge-Ampère 流的弱解理论从 $L^p$ 密度推广到了由 Holder 连续或有界 qpsh 函数生成的奇异测度。这不仅解决了 Cauchy 问题的存在性和唯一性，还给出了解在特定区域上的 Holder 正则性，是紧 Kähler 流形上抛物型复 Monge-Ampère 方程理论的重要进展。