On the Hausdorff dimension and singularities of the monopolist's free boundary curve

1. 研究问题 (Problem)

本文研究的是经济学中不对称信息下的垄断者定价问题（Monopolist's Problem），具体是在多维（$n=2$）情形下的数学建模与正则性分析。

• 背景：在 Mussa-Rosen 框架下，垄断者面对具有不同偏好类型的消费者，旨在通过设计产品线和价格来最大化利润。在 Rochet-Choné 的简化假设下（线性转移支付、二次直接成本和偏好），该问题转化为在凸函数空间 $U$ 上最小化一个线性扰动的狄利克雷能量（Dirichlet energy）：
  $$\Pi(u) := \int_X [x \cdot \nabla u(x) - u(x) - \frac{1}{2}|\nabla u(x)|^2] dH^n$$
  其中 $u$ 是间接效用函数，必须是非负凸函数。
• 核心几何结构：解 $u$ 将定义域 $X$ 划分为三个区域：
  1. 排除区 ($\Omega_0$)：$u=0$，消费者被挤出市场。
  2. 捆绑区 ($\Omega_1$)：$u$ 是仿射的（affine），不同消费者选择相同产品（bunching）。
  3. 定制区 ($\Omega_2$)：$u$ 是严格凸的，消费者选择定制化产品。
• 研究焦点：文章重点关注定制区 $\Omega_2$ 与捆绑区 $\Omega_1$ 之间的自由边界（Free Boundary），即 $\Gamma = X \cap \partial \Omega_1 \cap \partial \Omega_2$。
• 具体挑战：
  • 在一般情形下，该自由边界的几何性质（如维数、光滑性）尚不完全清楚。
  • 之前的正则性理论（如 Caffarelli 的障碍问题理论）通常要求障碍函数（Obstacle）具有 $C^{2,\alpha}$ 正则性，但在此问题中，由 $u$ 导出的内生障碍仅已知为 $C^{1,1}$，这导致经典理论失效。
  • 需要确定自由边界的豪斯多夫维数（Hausdorff dimension）以及奇点集（Singular set）的结构。

2. 方法论 (Methodology)

作者结合了变分法、障碍问题（Obstacle Problem）理论以及几何测度论，主要采用了以下技术路线：

1. 问题转化（Reduction to Obstacle Problem）：

   • 利用 McCann 和 Zhang 之前的工作，将自由边界附近的局部问题转化为一个障碍问题。
   • 在“温和”（tame）的射线（rays，即 $\Omega_1$ 中连接边界 $\partial X$ 的线段）附近，定义 $v = u - u_1$，其中 $u_1$ 是 $u$ 在 $\Omega_1$ 上的最小凸延拓。
   • 证明了 $v$ 满足 $\Delta v = f \mathbb{1}_{\{v>0\}}$，其中 $f$ 是连续函数。

2. 障碍函数的正则性提升（Regularity of the Obstacle）：

   • 这是本文的关键突破之一。作者证明了虽然 $u$ 本身可能只是 $C^{1,1}$，但构造出的障碍函数 $u_1$ 实际上是 $C^2$ 的（命题 2.5）。
   • 这一结论依赖于对射线长度函数 $R(t)$ 的连续性分析，以及坐标变换下的导数估计。这使得作者能够应用针对 $C^2$ 障碍的障碍问题理论。

3. 吹胀分析（Blow-up Analysis）：

   • 利用 Blank 和 Caffarelli 关于低正则性障碍问题的理论，对自由边界上的点进行吹胀（Blow-up）。
   • 通过分析极限函数 $v_\infty$ 的结构，区分正则点（Regular points）和奇点（Singular points）。
   • 证明了在垄断者问题的特定几何结构下，奇点处的吹胀极限是唯一的（Corollary 3.4）。

4. 密度估计与离散性证明：

   • 利用 Blank 的测度稳定性引理（Lemma 3.2），证明奇点处的接触集密度趋于 0 的速度。
   • 通过反证法证明：如果奇点序列收敛，则会导致矛盾（利用 $R(t)$ 的局部极大值性质）。从而证明奇点集是离散的（Theorem 3.7）。

5. Reifenberg 平坦性与豪斯多夫维数：

   • 利用 Reifenberg 定理，证明正则点附近的自由边界是 $\alpha$-Hölder 连续的流形。
   • 结合奇点的离散性，得出自由边界的整体豪斯多夫维数上界。

3. 主要贡献与结果 (Key Contributions & Results)

A. 核心定理 (Theorem 1.1)

在满足一定正则性假设（凸多边形域、边界光滑除有限点外等）的二维凸域 $X$ 上，垄断者问题的自由边界 $T = X^+_1 \cap \partial \Omega_2$ 具有以下性质：

1. 奇点集离散：自由边界上的奇点集 $S$ 是 $T$ 中的离散子集（因此是可数的）。
2. 豪斯多夫维数上界：自由边界的豪斯多夫维数 $\dim_H(T) \le 1$。
3. 正则点结构：正则点集 $R$ 的每个连通分量局部上是 $\alpha$-双 Hölder 等价于开区间的曲线（对于任意 $0 < \alpha < 1$）。
4. Dini 条件下的部分正则性：如果 $\Delta u$ 满足 Dini 连续性，则自由边界在除去一个内部为空的闭集外是 $C^\infty$ 光滑的，且正则点局部是 $C^1$ 的。

B. 推论 (Corollary 1.2)

对于整个定制区边界 $\partial \Omega_2$（除去特定的仿射线段集合 $X^0_1$）：

• 其豪斯多夫维数 $\le 1$。
• 奇点集在 $X \setminus X^0_1$ 中至多是可数的。
• 对于 Rochet-Choné 的经典正方形算例 $X=(a, a+1)^2$，奇点只能积聚在正方形的角点、对角线上的特定点或 $\{u=0\}$ 的端点处。

C. 技术突破

• 障碍函数的 $C^2$ 正则性：证明了内生障碍 $u_1$ 具有 $C^2$ 正则性，这允许使用比 Blank 原始理论更强的工具，并改进了之前仅知 $C^{1,1}$ 的结果。
• 奇点离散性：在 $C^2$ 障碍条件下，证明了奇点不仅是可数的，而且是离散的（没有聚点），这比之前仅知维数小于 2 的结果更精确。

4. 意义与影响 (Significance)

1. 经济学理论深化：

   • 为多维垄断定价问题提供了严格的几何描述。明确了在何种条件下，消费者群体的“捆绑”（bunching）与“定制”（customization）之间的边界是“良好”的（即维数为 1 的曲线，而非分形或高维曲面）。
   • 解释了数值模拟中观察到的自由边界结构，并给出了奇点位置的理论预测（如正方形算例中的对角线点）。

2. 数学分析进展：

   • 解决了低正则性障碍问题（Obstacle problem with low regularity obstacle）中的一个重要特例。尽管障碍函数 $u_1$ 源自 $C^{1,1}$ 解，但作者证明了其具有 $C^2$ 性质，从而 bridged 了经典障碍问题理论与实际经济模型之间的鸿沟。
   • 推广了 Caffarelli 和 Blank 关于自由边界正则性的理论，特别是在处理内生障碍（endogenous obstacle）和特定几何约束（射线结构）方面。

3. 方法论启示：

   • 展示了如何通过几何结构（射线叶状结构）和变分不等式的结合，来克服正则性不足带来的困难。
   • 为研究其他具有内生障碍的自由边界问题提供了新的分析框架。

总结

这篇文章通过精细的变分分析和障碍问题理论，证明了在二维凸域上的垄断者定价问题中，其自由边界（区分捆绑与定制区域）具有豪斯多夫维数为 1 的几何性质，且奇点集是离散的。这一结果不仅解决了长期存在的经济学建模难题，也推动了非线性偏微分方程自由边界理论的发展。