Non-convexity of level sets for solutions to $k$-Hessian equations in exterior domains

这是一份关于论文《NON-CONVEXITY OF LEVEL SETS FOR SOLUTIONS TO k-HESSIAN EQUATIONS IN EXTERIOR DOMAINS》（外部区域 k-Hessian 方程解的水平集非凸性）的详细技术总结。

1. 研究背景与问题 (Problem Statement)

核心问题：
本文主要研究定义在 $\mathbb{R}^n$ 中有界严格凸域 $\Omega_0$ 外部区域（Exterior Domain）上的 $k$-Hessian 方程 Dirichlet 问题：
$$\begin{cases} S_k(D^2u) = 1 & \text{in } \mathbb{R}^n \setminus \bar{\Omega}_0, \\ u = 0 & \text{on } \partial\Omega_0, \end{cases}$$
其中 $S_k(D^2u)$ 是 Hessian 矩阵 $D^2u$ 特征值的第 $k$ 初等对称函数。解 $u$ 在无穷远处需满足二次增长渐近行为：
$$\lim_{|x|\to\infty} \left( u(x) - \left(\frac{1}{2}x^T Ax + b \cdot x + c\right) \right) = 0,$$
其中 $A$ 是正定矩阵，$b$ 是向量，$c$ 是常数。

研究动机：

• 几何直观： 由于内部区域 $\Omega_0$ 是凸的，且无穷远处的二次增长保证了水平集在无穷远处是椭球形的（即凸的），人们自然推测所有子水平集（sublevel sets）是否都是凸的（即解 $u$ 是否是拟凸的，quasiconvex）。
• 已知结果：
  • 对于 $k=n$ (Monge-Ampère 方程)，解是局部凸的，因此是拟凸的。
  • 对于径向对称情形（$\Omega_0$ 为球），解是径向递增的，子水平集为同心球，因此是拟凸的。
  • 对于调和函数（$k=1$）在外部区域衰减至 0 的情形，已知解是拟凹的（superlevel sets 是凸的）。
• 核心疑问 (Question 1.1)： 对于一般的 $1 \le k \le n-1$，满足上述渐近行为的 $k$-凸解是否一定继承外部区域的“环状凸性”（ring-convexity），即解是否一定是拟凸的？

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

本文给出了上述问题的否定答案，并提供了新的证明方法。

主要定理：

1. 定理 1.3 (非线性情形 $2 \le k \le n/2$)：
   对于任意给定的正定矩阵 $A \in \mathcal{A}_k$ 和向量 $b$，存在一个光滑严格凸域 $\Omega_0$ 和常数 $c^*$，使得当 $c \ge c^*$ 时，上述问题存在唯一的 $k$-凸解 $u$，但该解不是拟凸的（即存在非凸的子水平集）。
2. 定理 1.4 (拉普拉斯情形 $k=1$)：
   对于 $k=1$，若 $A$ 的最大特征值 $\lambda_{\max}(A) < 1/2$，同样存在光滑严格凸域 $\Omega_0$ 和常数 $c^*$，使得解存在但不是拟凸的。
   注：这打破了以往认为外部区域调和函数解具有良好凸性性质的认知（尽管经典结果是关于拟凹性，但此处针对的是特定边界条件下的拟凸性反例）。
3. 定理 1.6 (调和函数拟凹性的新证明)：
   针对经典结果（外部区域调和函数 $u=1$ 在边界，$u \to 0$ 在无穷远是拟凹的），作者利用高斯曲率的显式衰减估计和曲率函数的超调和性，给出了一个**微观视角（microscopic perspective）**的新证明。

显著性：

• 这是首次构造出外部区域 $k$-Hessian 方程解的非拟凸反例。
• 揭示了拟凸性对定义域微小变形的高度敏感性。
• 将之前关于凸环（convex rings）内非凸反例的研究扩展到了无界外部区域。

3. 方法论 (Methodology)

作者采用了一种结合近似问题构造、一致估计、Hessian 测度理论以及反证法的综合策略。

A. 近似问题的构造与求解 (Approximating Problems)

为了处理无界区域和奇点，作者首先在非同心凸环 $\Omega_R^\varepsilon = E_R(0) \setminus \bar{B}_\varepsilon(x_0)$ 上考虑近似问题：

• 内边界为小球 $B_\varepsilon(x_0)$，外边界为椭球 $E_R(0)$。
• 利用广义对称函数构造上下解（Sub- and Super-solutions），证明近似解 $u_{\varepsilon, R}$ 的存在唯一性。
• 建立关于 $\varepsilon$ 和 $R$ 的一致 $C^0, C^1, C^2$ 估计。特别是利用 Hessian 测度理论和广义对称函数的性质，处理了 $x_0$ 处的奇异性。

B. 极限过程与 Hessian 测度 (Convergence & Hessian Measures)

• 第一步 ($R \to \infty$)： 固定 $\varepsilon$，令 $R \to \infty$，利用 Evans-Krylov 定理和 Schauder 估计，得到外部区域 $\mathbb{R}^n \setminus B_\varepsilon(x_0)$ 上的解 $u_\varepsilon$。
• 第二步 ($\varepsilon \to 0$)： 令 $\varepsilon \to 0$。利用 $k$-Hessian 测度理论（基于 [28, 29] 的框架），证明扩展函数 $\tilde{u}_\varepsilon$（在球内定义为 0）在 $L^1_{loc}$ 和 $C^{0,\gamma}_{loc}$ 意义下收敛到目标二次多项式 $\psi(x) = \frac{1}{2}x^T Ax + c$。
• 关键引理证明了极限函数 $v$ 的 $k$-Hessian 测度 $\mu_k[v]$ 是标准 Lebesgue 测度，从而利用比较原理证明 $v \equiv \psi$。

C. 反证法构造反例 (Proof of Non-convexity)

这是证明核心反例的关键步骤（Lemma 4.1）：

1. 假设： 假设对于所有足够小的 $\varepsilon$，解 $u_\varepsilon$ 都是拟凸的（即所有子水平集凸）。
2. 构造序列： 选取球心 $x_0$ 偏离原点（$x_0 \neq 0$）。考虑序列 $\varepsilon_m \to 0$ 和点 $x_m \in B_{\varepsilon_m}(x_0) \setminus \{x_0\}$。
3. 利用收敛性： 根据收敛性，$\tilde{u}_{\varepsilon_m}(0) \to \psi(0)$，而 $\tilde{u}_{\varepsilon_m}(x_m) = 0 < \psi(0)$（因为 $c > 0$）。
4. 凸性矛盾： 如果子水平集是凸的，连接 $x_m$ 和 $0$的线段上的点应满足$\tilde{u}_{\varepsilon_m} \le \psi(0)$。取极限后，这意味着在连接$x_0$和$0$的线段上$\psi(x) \le \psi(0)$。
5. 导出矛盾： 然而，由于 $x_0 \neq 0$ 且 $A$ 正定，二次函数 $\psi(x) = \frac{1}{2}x^T Ax + c$ 在 $x_0$ 处的值严格大于在 $0$处的值（$\psi(x_0) > \psi(0)$）。这与凸性导出的不等式矛盾。
6. 结论： 假设不成立，存在足够小的 $\varepsilon$ 使得解不是拟凸的。

D. 调和函数拟凹性的微观证明 (Theorem 1.6)

• 利用 Kelvin 变换分析无穷远处的渐近行为。
• 推导水平集高斯曲率 $K(x)$ 的渐近展开：$K(x) = |x|^{1-n} + O(|x|^{-n})$。
• 利用 Ma-Zhang 建立的曲率函数超调和性（superharmonicity），结合连续形变法（deformation process），证明在形变过程中高斯曲率保持为正，从而保证水平集的凸性。

4. 技术细节与关键估计

• 上下解构造： 使用了广义对称函数 $u(x) = \int_{R_0}^s (1 + \alpha t^{-\frac{k}{2h_k(a)}})^{1/k} dt$ 来匹配无穷远处的二次增长。
• 梯度估计： 在内边界 $\partial B_\varepsilon(x_0)$ 处，梯度估计依赖于 $\varepsilon$ 的不同幂次（取决于 $k$ 与 $n/2$ 的关系），这是处理奇点的关键。
• Hessian 测度收敛： 利用 Portmanteau 定理和 $k$-Hessian 测度的弱收敛性，将离散近似解的测度性质传递到极限函数。
• 非凸性机制： 反例的核心在于非同心（Non-concentric）的几何结构。当内部球心偏离二次型中心时，解的等值面会发生扭曲，导致在特定参数下出现非凸的“颈部”或凹陷。

5. 总结与意义

这篇论文通过严谨的构造性证明，打破了关于外部区域 $k$-Hessian 方程解具有全局拟凸性的直觉猜想。

• 理论价值： 丰富了非线性椭圆方程在外部区域解的几何性质理论，特别是揭示了凸性对域几何形状的敏感性。
• 方法创新： 成功将 Hessian 测度理论应用于外部区域极限问题的处理，并结合微观曲率分析给出了经典结果的新证明。
• 应用前景： 该结果对理解自由边界问题、几何分析以及相关材料科学中的势理论模型具有参考意义，提示在涉及外部区域凸性保持的问题中需格外小心域的形状扰动。