Partial regularity for variational integrals with Morrey-Hölder zero-order terms, and the limit exponent in Massari's regularity theorem

该论文通过强调零阶项结构假设对 Hölder 指数$\alpha$的尖锐依赖性，重新审视了非参数泛函极小值的部分$\mathrm{C}^{1,\alpha}$正则性理论，并证实了该结论可推广至 Massari 关于平均曲率超曲面正则性定理的参数情形，从而在极限指数下确认了最优正则性。

要点

这是一篇关于数学物理和几何的高深论文，主要探讨的是如何找到“最平滑”的解。为了让你轻松理解，我们可以把这篇论文想象成是在寻找一条最完美的“登山路线”，或者是在修复一块破损的地毯。

1. 核心故事：寻找完美的“登山路线”

想象你是一位登山向导，你的任务是带领一群人（数学上的“解”）从山脚走到山顶。

• 目标：找到一条能量消耗最小、最平稳的路线。在数学上，这叫做变分积分的极小值（Minimizers）。
• 地形（函数 $f$）：这是山本身的形状。论文假设山的地形是“凸”的（像碗一样），这意味着只要稍微偏离最佳路线，能量消耗就会急剧增加。这保证了路线的存在性。
• 天气和干扰（函数 $g$）：这是论文的核心。除了山本身的形状，路上还有“天气”或“干扰项”（比如突然的侧风、泥泞的路面）。这些干扰项由函数 $g$ 描述。
  • 以前的研究假设这些干扰是“温和”的（比如微风）。
  • 这篇论文的突破：作者研究了非常恶劣且不规则的干扰（比如狂风暴雨，甚至有些地方完全不可预测）。他们想知道：即使天气这么糟糕，我们还能找到一条足够平滑的路线吗？

2. 关键发现：平滑度的“极限”

在数学中，我们不仅关心路线是否连续（没有断点），还关心它是否光滑（没有尖锐的拐角）。

• $C^{1,\alpha}$ 正则性：这是一个数学术语，意思是路线不仅连续，而且它的坡度（导数）也是连续变化的，并且这种变化有一个特定的“平滑度等级”（$\alpha$）。
• $\alpha$ 是什么？ 想象 $\alpha$ 是路线的**“丝滑度”**。
  • $\alpha$ 越大，路线越丝滑，像丝绸一样。
  • $\alpha$ 越小，路线越粗糙，像砂纸一样。

这篇论文的主要贡献是：
作者发现，即使天气（干扰项 $g$）非常恶劣（满足一种叫“莫雷 - 赫尔德”的复杂条件），只要恶劣程度在某个临界点以内，我们依然能找到一条理论上最丝滑的路线。

他们不仅找到了这个极限，还精确计算出了这个极限值是多少。这就好比说：“虽然风暴很大，但只要风速不超过每小时 X 公里，我们的登山路线依然可以保持像镜面一样光滑。”

3. 生动的比喻：修补地毯

为了更具体地理解，我们可以把这个问题想象成修补一块巨大的、有图案的地毯。

• 地毯的图案：由两部分组成。

  1. 基础纹理（$f$）：这是地毯本身的编织方式，非常规则。
  2. 污渍和磨损（$g$）：这是地毯上随机出现的污渍、磨损或补丁。这篇论文研究的正是这些非常难搞的污渍（它们可能分布不均匀，甚至有些地方很脏，有些地方很干净）。

• 任务：我们要把地毯抚平，让它看起来尽可能完美。

• 以前的研究：只能处理那些“稍微有点脏”的地毯。如果污渍太乱，以前的方法就失效了，地毯看起来会坑坑洼洼。

• 这篇论文的方法：作者发明了一种新的“抚平技术”（基于A-调和逼近方法，听起来很复杂，其实就是用一种完美的、数学上理想的“虚拟地毯”去近似真实的脏地毯）。

  • 他们发现，只要污渍的“混乱程度”（由参数 $\beta, q$ 和 $\Gamma$ 控制）不超过某个红线，他们就能把地毯抚平到理论上的最佳状态。
  • 如果污渍超过了这个红线，地毯就注定会有褶皱（奇点），无法完全抚平。

4. 为什么这很重要？（Massari 定理的终极版）

论文最后部分提到了一个著名的应用：Massari 定理。

• 背景：这涉及到最小曲面（比如肥皂泡的表面）。肥皂泡总是试图用最小的表面积来包裹空气。
• 问题：如果肥皂泡表面受到不均匀的压力（比如一边有风，一边没风），它的表面还能保持光滑吗？
• 以前的结论：数学家 Massari 以前证明过，如果压力不太大，表面是光滑的。但他给出的“光滑度”并不是最好的，就像说“这块布是平整的”，但没说“它有多平整”。
• 这篇论文的结论：作者利用前面的理论，把 Massari 定理推到了极限。他们证明了：只要压力在物理允许的范围内，肥皂泡的表面不仅光滑，而且达到了数学上可能达到的最光滑程度（即最优的 $\alpha$ 指数）。

5. 总结：这篇论文说了什么？

用大白话总结就是：

“我们研究了一类复杂的数学方程，这些方程描述了在‘恶劣环境’下寻找最优路径的问题。

以前，我们只知道在‘温和’环境下能找到光滑路径，或者在‘恶劣’环境下只能找到‘比较’光滑的路径。

现在，我们找到了那个‘临界点’。 我们证明了，只要环境的恶劣程度不超过这个临界点，无论环境多么复杂，我们都能找到理论上最完美、最丝滑的解决方案。

这个发现不仅完善了数学理论，还直接解决了关于‘肥皂泡’和‘曲面’形状的一个长期悬而未决的难题，告诉我们它们能光滑到什么程度。”

一句话概括：
这篇论文就像给数学界颁发了一张**“极限平滑度证书”**，它精确地划定了在混乱世界中，秩序（光滑性）所能达到的最高边界。

技术摘要

这篇论文《具有 Morrey-Hölder 零阶项的变分积分的部分正则性，以及 Massari 正则性定理中的极限指数》（Partial regularity for variational integrals with Morrey-Hölder zero-order terms, and the limit exponent in Massari's regularity theorem）由 Thomas Schmidt 和 Jule Helena Schütt 撰写。

以下是对该论文的详细技术总结，涵盖问题背景、方法论、核心贡献、主要结果及其意义。

1. 研究问题与背景

核心问题：
论文主要研究非参数变分积分极小元（minimizers）的 $C^{1,\alpha}$ 部分正则性理论。这类积分具有如下形式：
$$F[w] = \int_{\Omega} [f(Dw) + g(\cdot, w)] \, dx$$
其中 $f$ 是关于梯度 $Dw$ 的积分项，$g$ 是关于变量 $w$ 的零阶项（zero-order term）。

具体挑战：

1. 零阶项的广义性： 传统的正则性理论通常假设 $g$ 具有较好的正则性（如 Lipschitz 连续或可微）。本文关注的是 $g$ 满足更弱的 Morrey-Hölder 条件 的情况，即 $g$ 对 $y$ 变量可能不可微，且其系数 $\Gamma(x)$ 属于 Morrey 空间。
2. Hölder 指数 $\alpha$ 的尖锐依赖性： 现有的文献虽然给出了部分正则性结果，但对于 Hölder 指数 $\alpha$ 如何精确依赖于零阶项的结构参数（如 Hölder 指数 $\beta$、增长指数 $q$ 以及 Morrey 系数 $\Gamma$ 的可积性），尚缺乏系统的、最优的刻画。
3. Massari 正则性定理的极限情况： 在预设平均曲率超曲面（prescribed-mean-curvature hypersurfaces）的变分理论中，Massari 定理给出了 $L^p$ 曲率下的正则性结论。之前的工作（包括作者的前作 [80]）证明了对于任意 $\alpha < \alpha_{opt}$ 的正则性，但未能达到极限指数 $\alpha_{opt}$。本文旨在填补这一最后的缺口。

2. 方法论

论文采用了变分正则性理论中标准的 A-调和逼近（A-harmonic approximation） 方法，并结合了精细的估计技术：

1. Caccioppoli 不等式（能量估计）：

   • 利用极小元的性质和 $f$ 的拟凸性（quasiconvexity），推导出关于 $Du$ 的局部 $L^2$ 估计。
   • 针对零阶项 $g$ 的 Morrey-Hölder 条件，利用 Hölder 不等式和 Young 不等式处理非线性项，将 $g$ 的贡献转化为包含 $\Gamma$ 范数和 $u$ 的 Sobolev 范数的项。
   • 区分了 $n \ge 3$ 和 $n \in \{1, 2\}$ 的情况，并处理了 $q$ 与临界指数 $2^*$ 的关系。

2. A-调和逼近引理：

   • 将极小元 $u$ 在局部近似为某个常系数线性椭圆系统（由 $D^2f(\xi)$ 定义）的解（即 A-调和函数）。
   • 通过比较 $u$ 与 A-调和函数 $h$，利用线性理论的良好正则性来推导 $u$ 的正则性。

3. 过剩量衰减（Excess Decay）：

   • 定义过剩量 $\Phi(x_0, \rho) = \fint_{B_\rho} |Du - (Du)_{x_0,\rho}|^2$。
   • 证明在满足一定小性条件下，过剩量在更小的球上以特定的速率衰减。
   • 通过迭代引理（Iteration Lemma），将局部衰减转化为全局的 $C^{1,\alpha}$ 正则性。

4. 参数化与非参数化转换：

   • 利用 Remark 2.13 中的几何观察，将 Massari 问题（参数化设定，关于集合的变分）转化为非参数化变分积分问题（关于函数的变分），从而应用前文建立的非参数正则性理论。

3. 主要假设与设定

• 积分项 $f$： 假设 $f$ 是 $C^2$ 函数，满足二次增长条件，且是 2-严格拟凸（2-strictly quasiconvex） 的。
• 零阶项 $g$： 满足 Morrey-Hölder 条件：
  $$|g(x, y) - g(x, \tilde{y})| \le \Gamma(x)(1 + |y| + |\tilde{y}|)^{q-\beta}|y - \tilde{y}|^\beta$$
  其中 $\beta \in (0, 1]$，$q \ge \beta$。系数 $\Gamma$ 属于特定的 Morrey 空间 $L^{s_\beta, n+s_\beta((2-\beta)\alpha-\beta)}_{loc}$。
• 三种设定（Settings）：
  • Setting 1： 一般情况，无先验有界性假设。
  • Setting 2： 假设极小元 $u \in L^\infty_{loc}$（例如标量情形或特定结构）。
  • Setting 3： 假设极小元 $u \in W^{1,\infty}_{loc}$（梯度有界），允许 $f$ 仅满足局部一致椭圆性（非一致椭圆）。

4. 核心结果

定理 1.2：一般情况下的部分正则性

对于局部极小元 $u$，存在开集 $\Omega_{reg} \subset \Omega$ 使得 $|\Omega \setminus \Omega_{reg}| = 0$，且 $u \in C^{1,\alpha}_{loc}(\Omega_{reg})$。

• 关键突破： 确定了 Hölder 指数 $\alpha$ 的 最优依赖关系。$\alpha$ 由 $\beta, q$ 和 $\Gamma$ 的 Morrey 指数决定。
• 特别地，当 $\Gamma \in L^\infty$ 且 $q=\beta$ 时，恢复了已知最优指数 $\alpha = \frac{\beta}{2-\beta}$。
• 当 $\Gamma \in L^p$ 时，导出了更精细的指数 $\alpha = \frac{\beta - n/p}{2-\beta}$。

定理 1.3 与 1.4：先验有界情形

• 如果已知 $u \in L^\infty_{loc}$（定理 1.3）或 $u \in W^{1,\infty}_{loc}$（定理 1.4），则可以放宽对 $q$ 和 $\Gamma$ 的某些限制（例如去掉对 $q$ 的上界限制，或去掉辅助的 Morrey 条件 (1.5)），同时保持最优的 $\alpha$。

定理 1.5：Massari 正则性定理的极限指数（核心应用）

针对具有 $L^p$ 变分平均曲率 $H$ 的有限周长集合 $E$：

• 结果： 若 $H \in L^p_{loc}(U)$ 且 $p > n+1$，则正则部分 $\partial^* E \cap U$ 是 $C^{1, \alpha_{opt}}$ 流形，其中极限指数为：
  $$\alpha_{opt} = \frac{p - (n+1)}{p + 1}$$
• 奇点集： 当 $n \le 6$ 时奇点集为空；当 $n \ge 7$ 时，奇点集的 Hausdorff 维数至多为 $n-7$。
• 意义： 此前已知对于任意 $\alpha < \alpha_{opt}$ 成立，且存在 $\alpha > \alpha_{opt}$ 的反例。本文证明了 $\alpha = \alpha_{opt}$ 也是成立的，从而完成了该问题的正则性理论。

5. 技术细节与贡献亮点

1. Morrey 条件的精确刻画：
   论文详细分析了 $\Gamma$ 所属的 Morrey 空间指数与最终正则性指数 $\alpha$ 之间的代数关系。特别是公式 (1.4) 中的指数 $n + s_\beta((2-\beta)\alpha - \beta)$ 被设计为使得 $\alpha$ 恰好是最终的正则性指数，这体现了作者对参数依赖关系的深刻洞察。

2. 处理不可微零阶项：
   由于 $g$ 对 $y$ 不可微，欧拉 - 拉格朗日方程不存在。作者直接利用极小化性质和 Morrey-Hölder 条件进行能量估计，避免了微分方程的推导，这使得结果适用于更广泛的非光滑情形。

3. 填补 Massari 定理的最后缺口：
   通过构造非参数化模型（Corollary 7.5），将参数化问题转化为非参数变分问题，并利用前文建立的最优指数理论，成功证明了 Massari 定理在极限指数 $\alpha_{opt}$ 处的正则性。这是该领域长期悬而未决的问题。

4. 统一框架：
   论文建立了一个统一的框架，涵盖了从 $L^\infty$ 系数到 $L^p$ 系数，从标量到向量值，从一致椭圆到非一致椭圆等多种情形，并给出了统一的指数公式。

6. 意义与影响

• 理论完善： 该论文完善了变分积分部分正则性理论中关于零阶项正则性依赖关系的最后一块拼图，特别是确定了 $\alpha$ 的尖锐（sharp）依赖性。
• 几何应用： 在几何测度论中，Massari 定理是研究预设平均曲率超曲面正则性的基石。本文证明了在 $L^p$ 曲率下，超曲面边界的正则性可以达到理论上的极限指数，这对于理解奇点结构和最小曲面的几何性质至关重要。
• 方法论推广： 文中使用的 Morrey-Hölder 条件分析和 A-调和逼近技术的结合，为处理其他具有低正则性系数的变分问题提供了新的工具和思路。

综上所述，这是一篇在变分法、偏微分方程正则性理论以及几何测度论领域具有高度技术含量和重要理论价值的论文，它解决了长期存在的关于正则性指数最优性的问题。