Global regularity and free boundary geometry in the planar Choné-Rochet model

这是一篇关于平面 Choné-Rochet 变分问题（Planar Choné-Rochet Model）的全局正则性与自由边界几何结构的数学论文。该模型源于机制设计与非线性定价理论，其核心是寻找满足凸性约束的凸函数的最小化问题。

以下是对该论文的详细技术总结：

1. 研究背景与问题定义

问题定义：
设 $\Omega \subset \mathbb{R}^2$ 为有界开凸集。定义集合 $K(\Omega) = \{u: \Omega \to \mathbb{R} \mid u \text{ 是凸函数且 } u \ge 0\}$。
研究以下变分问题的唯一极小化子 $u$：
$$\min_{u \in K(\Omega)} L[u; \Omega], \quad L[u; \Omega] := \int_{\Omega} \left( \frac{1}{2}|Du - x|^2 + u \right) dx$$
该问题等价于在垄断者定价模型中最大化利润，其中 $u$ 代表间接效用函数，$Du$ 代表最优产品选择。

已知结果与缺口：

• 已有文献（Rochet & Choné, Carlier & Lachand-Robert, Caffarelli & Lions）证明了内部 $C^1$ 正则性和局部 $C^{1,1}$ 正则性。
• 文献 [6] 声称了全局 $C^1$ 正则性，但其证明仅适用于内部。
• 对于多面体域，已知在面内部是 $C^{1,1}$，但在非光滑边界附近可能存在正则性退化。
• 自由边界（严格凸区域与非严格凸区域的界面）的几何结构此前仅知道其 Hausdorff 维数小于 $2-\epsilon$。

2. 主要贡献与结果

本文在二维情形下填补了上述理论空白，主要成果包括：

A. 全局 $C^1$ 正则性 (Theorem 1.1)

• 结果：对于任意有界凸域 $\Omega \subset \mathbb{R}^2$，极小化子 $u$ 属于 $C^1(\Omega)$（即梯度在整个闭域上连续）。
• 意义：填补了文献中关于全局 $C^1$ 正则性的证明缺口。

B. 全局 $C^{1,1}$ 正则性 (Theorem 1.2)

• 结果：如果零集 $\{u=0\}$ 具有正测度（特别地，当 $\Omega$ 是严格凸域时），则 $u \in C^{1,1}(\Omega)$。
• 意义：证明了在严格凸域或零集非退化情况下，梯度是 Lipschitz 连续的。

C. 最优性反例 (Theorem 1.3)

• 结果：构造了一个具有平坦边界段的平滑凸域，使得极小化子的梯度不满足任何给定的模连续性（Modulus of Continuity）。
• 意义：证明了在没有额外几何假设（如严格凸性）的情况下，全局 $C^1$ 正则性是最优的，无法提升到 $C^{1,1}$ 或更好的模连续性。

D. 驯化自由边界的几何结构 (Theorem 1.4)

• 定义：驯化自由边界 $T$ 是严格凸区域 $\Omega_2$ 与“单端叶”区域 $\Omega_1'$ 的界面。
• 结果：在 $\partial \Omega$ 为 $C^{1,1}$ 且 $u \in C^{1,1}(\Omega)$ 的假设下，$T$ 局部上是 $C^1$ 嵌入曲线。
• 对比：此前文献 [17] 仅证明其维数小于 $2-\epsilon$，而独立工作 [15] 证明其为连续曲线且除离散点外为 $C^\alpha$。本文证明了不存在奇点，且整体为 $C^1$ 曲线。

E. 刚性引理 (Theorem 1.5)

• 结果：证明了在特定扇形区域上，若凸函数 $u \ge 0$ 在边界线段上为零且满足 $\Delta u = 1$，则 $u$ 必须具有特定的二次形式 $x_2^2/2$，从而排除了尖点（cusp）类型的爆破。这是证明自由边界无奇点的关键工具。

3. 方法论与证明策略

(1) 全局正则性的证明 (Section 2)

• 分层结构分析：利用解的接触集（Contact set）$[x]$ 将区域分解为 $\Omega_0$（零集）、$\Omega_1$（接触集为线段）和 $\Omega_2$（严格凸）。
• 两端叶（Two-ended leaves）的处理：
  • 证明了“两端叶”（接触集两端均在边界上）的长度有下界（Lemma 2.5）。
  • 利用变分恒等式和扰动论证，证明了在两个叶之间的带状区域中，$u$ 具有统一的 $C^{1,1}$ 估计。
  • 通过几何引理（Lemma 2.4）证明，如果存在两端叶，其生成的三角形区域必须包含零集，从而限制了零集的位置。
• 边界连续性：利用引理 2.8 证明，当序列点趋向于边界上的两端叶端点时，梯度具有唯一极限，从而确立全局 $C^1$ 连续性。

(2) 反例构造 (Section 3)

• 域构造：构造了一个具有垂直平坦边界的凸域 $\Omega_{\epsilon, a}$，其边界包含一段直线。
• 一维约化：在平坦边界附近，证明解 $u$ 退化为仅依赖于 $x_1$ 的一维函数 $v(x_1)$。
• 奇异性分析：推导出一维函数 $v$ 的二阶导数表达式。通过选择特定的边界函数 $g$（在端点处导数趋于无穷），使得 $v''(x_1)$ 在边界附近趋于无穷大，从而破坏 $C^{1,1}$ 正则性，甚至破坏任意给定的模连续性。

(3) 自由边界正则性 (Section 4)

• 障碍问题转化：将自由边界问题转化为经典的障碍问题（Obstacle Problem）。令 $U = u - v$（$v$ 为凸包），则 $U$ 满足 $\Delta U = f \chi_{\{U>0\}}$。
• 密度分析：利用 Caffarelli 的替代定理（Alternative），证明自由边界上的点要么是 $1/2$ 密度点，要么是 $0$ 密度点。
• 排除 0 密度点：
  • 利用 Theorem 1.5 (刚性引理) 证明：如果存在 0 密度点（对应尖点爆破），则会导致矛盾（即解必须是二次的，但这与严格凸性假设冲突）。
  • 因此，自由边界上不存在 0 密度点，所有点均为 $1/2$ 密度点。
• $C^1$ 正则性：对于 $1/2$ 密度点，利用 Reifenberg 平坦性定理和迭代方案，证明切线方向唯一且连续，从而得出 $T$ 是 $C^1$ 曲线。

4. 关键技术与创新点

1. 几何扰动与变分恒等式：通过精心构造仿射扰动函数（Affine perturbations），结合变分不等式，精确控制了接触集边界附近的能量变化，从而获得全局 $C^{1,1}$ 估计。
2. 刚性引理 (Rigidity Theorem)：Theorem 1.5 是一个独立的强结果，它通过构造非线性次调和障碍（Nonlinear subharmonic barrier），排除了自由边界出现尖点的可能性。这是证明自由边界光滑性的核心。
3. 一维约化与反例构造：通过构造特殊的几何形状，将二维问题简化为一维问题，清晰地展示了平坦边界如何导致正则性退化，确立了理论界限。

5. 意义与影响

• 理论完善：彻底解决了平面 Choné-Rochet 模型的全局正则性问题，明确了 $C^1$ 和 $C^{1,1}$ 正则性的适用范围及几何条件的必要性。
• 自由边界几何：将自由边界的正则性从维数估计提升到了 $C^1$ 嵌入曲线，显著强于之前的结果，并为机制设计中的最优定价策略提供了更坚实的数学基础。
• 方法推广：文中使用的刚性引理和迭代方案可能适用于其他具有凸性约束的自由边界问题。

综上所述，该论文通过精细的几何分析和变分方法，在二维情形下完全刻画了 Choné-Rochet 模型的解的正则性与自由边界结构，是该领域的重要进展。