A note on the a.e. second-order differentiability of rank-one convex functions

基本信息

• 论文ID: 2511.08397
• 标题: A note on the a.e. second-order differentiability of rank-one convex functions
• 作者: Jonas Hirsch
• 分类: math.AP (Analysis of PDEs)
• 发表时间: 2025年11月（arXiv v2: 2025年11月12日）
• 论文链接: https://arxiv.org/abs/2511.08397

摘要

在欧几里得设置下，著名的Alexandrov定理指出凸函数几乎处处二阶可微。本文将该定理推广到秩一凸函数（rank-one convex functions）。作者采用了一种新颖的方法，更多地借鉴了完全非线性椭圆方程背景下发展的粘性解技术。作为副产品，原始的Alexandrov定理本质上可以归约为一维单调函数的几乎处处可微性，这在附录中得到了展示。

研究背景与动机

要解决的问题

本文旨在证明秩一凸函数（rank-one convex functions）在几乎处处（almost everywhere, a.e.）意义下的二阶可微性。这是经典Alexandrov定理从标准凸函数到更一般函数类的推广。

问题的重要性

1. 理论意义：秩一凸性是变分法和材料科学中的核心概念，特别是在研究非线性弹性和相变问题时。理解这类函数的正则性对于分析相关变分问题至关重要。
2. 联系经典结果：Alexandrov定理是凸分析的基石，将其推广到秩一凸函数建立了更广泛的正则性理论框架。
3. 技术挑战：秩一凸性比标准凸性弱得多，只要求函数在秩一方向上的限制是凸的，这使得证明技术更加复杂。

现有方法的局限性

• 经典Alexandrov定理的证明依赖于凸性的全局性质
• 秩一凸函数不具备完全的凸性结构，传统方法难以直接应用
• Conti等人1和Kirchheim与Kristensen3的工作表明，二阶可微性与Hessian是否为测度无关，这增加了问题的微妙性

研究动机

作者受到Zhuolin Li提出的问题启发，采用粘性解技术提供了一个新的证明路径，该方法更接近于完全非线性椭圆方程理论，为理解秩一凸函数的正则性提供了新视角。

核心贡献

1. 主要定理的证明：证明了有界秩一凸函数 $f: B_1 \subset \mathbb{R}^{m \times n} \to \mathbb{R}$ 在 $B_{1/2}$ 中几乎处处二阶可微（命题1.1）。
2. 创新方法论：采用粘性解技术而非传统的凸分析方法，将问题与完全非线性椭圆方程理论联系起来。
3. 关键引理：建立了上界蕴含下界的引理（引理2.1），这是证明的核心技术工具。
4. 经典定理的简化证明：在附录中，将Alexandrov定理的证明本质上归约为一维单调函数的几乎处处可微性（Lebesgue已知结果），提供了更简洁的测度论证明。
5. 推广到对称矩阵：方法可以推广到对称矩阵空间 $\mathbb{R}^{n \times n}_{sym}$（备注2.1）。

方法详解

任务定义

输入：有界秩一凸函数 $f: B_1 \subset \mathbb{R}^{m \times n} \to \mathbb{R}$

定义：函数 $f$ 是秩一凸的，如果对所有 $x \in B_1, a \in \mathbb{R}^m, b \in \mathbb{R}^n$，映射 $t \mapsto f(x + t(a \otimes b))$ 在其定义域上是凸的。

目标：证明 $f$ 在 $B_{1/2}$ 中几乎处处二阶可微。

证明架构

证明分为两个核心部分（Ingredients）：

Ingredient 1: 几乎处处存在上方抛物面切线

关键观察：秩一凸性意味着 $\frac{\partial^2}{\partial x_{ij}^2} f(x) = \frac{d^2}{dt^2}\Big|_{t=0} f(x + t(e_i \otimes e_j)) \geq 0$ 在粘性意义下成立。

推论：$f$ 在粘性意义下是次调和的（sub-harmonic）： $\Delta f(x) \geq 0$

应用Lin的估计：利用完全非线性一致椭圆方程粘性次解的经典内部 $W^{2,\epsilon}$ 估计6, 定理2.1： $\left|\left\{\Theta_f > \frac{C \|f\|_{L^\infty(B_1)}}{t}\right\} \cap B_{1/2}\right| \lesssim t^{-\epsilon}$

其中 $\Theta_f(x)$ 定义为最小的 $a \geq 0$，使得开口为 $a$ 的抛物面 $P$（即 $D^2P = aI$）在 $\Omega$ 中从上方与 $f$ 在 $x$ 点相切。

Ingredient 2: 上界蕴含下界（引理2.1）

这是证明的核心技术创新。

引理陈述：存在维数常数 $C = C(n)$，使得如果秩一凸函数 $f$ 满足：

• $f(x_0) = 0, Df(x_0) = 0$
• 存在非递减函数 $g \in C^0(\mathbb{R})$，使得 $G(x) = g(|x - x_0|)$ 在 $\Omega$ 中从上方与 $f$ 在 $x_0$ 点相切

则有： $f(x) \geq -C G(x) \quad \forall x \in \Omega$

证明思路：

1. 不失一般性假设 $x_0 = 0$
2. 对给定的 $x \in \mathbb{R}^{m \times n}$，定义 $x_i$ 为 $x$ 的前 $i$ 列构成的矩阵
3. 构造秩一矩阵 $d_i = x_{\cdot i} \otimes e_i$，使得 $x_i = \frac{1}{2}x_{i+1} + \frac{1}{2}y_i$，其中 $y_i = x_i - 2d_i$
4. 利用秩一凸性： $2f(x_i) \leq f(x_{i+1}) + f(y_i) \leq f(x_{i+1}) + G(x)$
5. 由于 $x_1$ 是秩一矩阵，$f(x_1) \geq f(0) + Df(0)x_1 \geq 0$
6. 归纳地应用上述不等式得到结论

主定理的证明步骤

预备事实：秩一凸函数局部Lipschitz，且有定量估计： $\text{Lip}(f, B_r(x)) \leq n \frac{\text{osc}(f, B_{2r}(x))}{r}$

由Rademacher定理，$f$ 几乎处处可微。

步骤1：在集合 $\Omega_A = \{\Theta_f \leq A\} \cap (B_{1/2} \setminus N)$ 上，$f_{x_{ij}} = \partial_{x_{ij}} f$ 可以从上方和下方被开口为 $CA$ 的锥接触。

对 $x_0 \in \Omega_A$，考虑 $\tilde{f} = f - f(x_0) - Df(x_0)(x - x_0)$，应用引理2.1得到 $\|\tilde{f}\|_{L^\infty(B_r(x_0))} \leq CAr^2$。结合Lipschitz估计： $|Df(x) - Df(x_0)| \leq CAr \quad \text{对} \quad r = |x - x_0| < 1/4$

步骤2：$f_{x_{ij}}$ 在 $\Omega_A$ 中几乎处处可微

采用Malý的思想5和Jensen的方法2，定义上下卷积： $w^-_{x_{ij}}(x) = \inf\{f_{x_{ij}}(y) + L|x-y| : y \in B_{3/4} \setminus N\}$$w^+_{x_{ij}}(x) = \sup\{f_{x_{ij}}(y) - L|x-y| : y \in B_{3/4} \setminus N\}$

其中 $L = 2C \max\{A, \|f\|_{L^\infty(B_1)}\}$。

关键性质：

• $w^-_{x_{ij}} \leq f_{x_{ij}} \leq w^+_{x_{ij}}$
• $w^\pm_{x_{ij}}$ 是 $L$-Lipschitz连续的
• 在 $\Omega_A$ 上，$w^-_{x_{ij}} = f_{x_{ij}} = w^+_{x_{ij}}$

由于 $w^\pm_{x_{ij}}$ 几乎处处可微且相等，它们的导数必须一致，从而 $f_{x_{ij}}$ 在 $\Omega_A$ 中几乎处处可微。

步骤3：$f$ 在 $\Omega_A$ 的几乎每点二阶可微

对所有 $f_{x_{ij}}$ 都可微的点 $x_0 \in \Omega_A$，利用Lipschitz函数的微积分基本定理： $f(x_0 + z) - \left(f(x_0) + Df(x_0)z + \frac{1}{2}Df_{x_{ij}}(x_0)z_{ij}z\right) = o(|z|^2)$

这证明了 $f$ 在 $x_0$ 点二阶可微。

技术创新点

1. 粘性解方法的引入：将秩一凸性与次调和性联系起来，利用完全非线性椭圆方程理论。
2. 双向控制技术：引理2.1建立的上下界关系是关键创新，通过秩一凸性的归纳论证实现。
3. 上下卷积的巧妙应用：结合Malý和Jensen的思想，通过Lipschitz函数的序关系证明可微性。
4. 维数归纳：在引理2.1的证明中，通过矩阵列的归纳巧妙利用秩一结构。

附录：凸函数情形的测度论证明

作者在附录中提供了Alexandrov定理的简化证明，这本身就是一个有价值的贡献。

关键思想

1. 一维归约：利用单调函数几乎处处可微（Lebesgue结果）
2. 几何观察：凸包 $\text{conv}\{\pm he_j : j = 1, \ldots, n\}$ 包含开球 $B_{h/\sqrt{n}}$

测度论工具

对Borel测度 $\mu$，定义极大函数： $M\mu(x) = \sup\left\{\frac{\mu(I)}{|I|} : x \in I = (a,b)\right\}$

经典估计：$|\{M\mu > t\}| \lesssim \mu(\mathbb{R})/t$

应用到凸函数的Hessian

对凸函数 $f$ 的二阶导数Radon测度 $f''$： $f''[-2, 2] = f'(2) - f'(-2) \leq 2\text{osc}(f, [-3, 3])$

Taylor近似（通过磨光逼近）： $0 \leq f(h) \leq Mf''(0)h^2, \quad 0 \leq f(-h) \leq Mf''(0)h^2$

导出估计(2.1)

对固定方向 $e_i$ 和 $y \in e_i^\perp$，考虑 $f_y(s) = f(y + se_i)$，得到： $|E_y| \lesssim t^{-1}\text{osc}(f_y, [-3, 3])$

利用Fubini定理和几何关系，得到： $|\{\Theta_f > 4nt\} \cap Q_1| \lesssim \frac{\text{osc}(f, Q_3)}{t}$

这给出了 $\epsilon = 1$ 的情形。

实验设置

注：本文是纯数学理论论文，不涉及数值实验或计算验证。所有结果都是通过严格的数学证明得到的。

实验结果

注：作为纯理论数学论文，本文没有实验结果部分。主要结果是定理的严格证明。

相关工作

主要相关研究

1. Alexandrov定理：经典结果指出凸函数几乎处处二阶可微，这是本文推广的基础。
2. Conti, Faraco, Maggi和Müller 1：研究了 $2 \times 2$ 对称矩阵上的秩一凸函数和秩三线上的层状结构，表明二阶可微性与Hessian是否为测度无关。
3. Kirchheim和Kristensen 3：研究了一次齐次的秩一凸函数，进一步揭示了这类函数的复杂结构。
4. Lin 4 和 Mooney 6：关于完全非线性椭圆方程的 $W^{2,\epsilon}$ 估计，这是本文方法的关键工具。
5. Jensen 2：粘性解的极大值原理和上下卷积技术。
6. Malý 5：关于Stepanov定理的简单证明，其思想被用于步骤2。

本文的独特贡献

• 方法论创新：首次系统地将粘性解技术应用于秩一凸函数的正则性研究
• 统一视角：将秩一凸性、次调和性和完全非线性椭圆方程理论联系起来
• 简化经典证明：提供了Alexandrov定理的新证明路径

结论与讨论

主要结论

1. 主要定理：有界秩一凸函数在其定义域内几乎处处二阶可微。
2. 方法论贡献：粘性解技术为研究秩一凸函数提供了有效工具。
3. 经典定理的新理解：Alexandrov定理可以归约为一维单调函数的可微性。

局限性

1. 有界性假设：定理要求函数有界，对无界情形的推广需要进一步研究。
2. 定量估计：虽然证明中使用了定量估计，但对不可微点集的更精细刻画（如Hausdorff维数）未涉及。
3. 更一般的凸性：对于拟凸（quasiconvex）或多凸（polyconvex）函数，该方法是否适用尚不清楚。
4. 构造性：证明是存在性的，没有提供计算或逼近二阶导数的算法。

未来方向

1. 推广到其他凸性概念：研究拟凸和多凸函数的类似结果。
2. 不可微点集的几何：刻画不可微点集的Hausdorff维数和结构。
3. 高阶正则性：研究秩一凸函数的更高阶可微性。
4. 应用：将结果应用于变分问题和材料科学中的实际问题。
5. 定量理论：发展更精细的定量正则性理论。

深度评价

优点

1. 方法创新性强：
   • 首次将粘性解技术系统应用于秩一凸函数
   • 引理2.1的双向控制技术巧妙而深刻
   • 将不同领域（凸分析、椭圆方程理论）的工具有机结合
2. 证明简洁优雅：
   • 论文仅4页（不含附录），但内容充实
   • 逻辑清晰，每个步骤都有明确目的
   • 避免了复杂的技术细节，抓住问题本质
3. 理论贡献显著：
   • 推广了经典的Alexandrov定理
   • 为秩一凸函数理论提供了新工具
   • 附录中对经典定理的新证明本身就有价值
4. 写作清晰：
   • 结构合理，动机明确
   • 技术细节与直观解释平衡良好
   • 充分致谢相关工作和思想来源

不足

1. 应用讨论不足：
   • 未讨论结果在变分法或材料科学中的具体应用
   • 缺少与实际问题的联系
2. 定量信息有限：
   • 虽然使用了定量估计，但未给出不可微点集大小的精确刻画
   • 常数依赖性未详细讨论
3. 推广性探讨不够：
   • 对拟凸和多凸函数的讨论仅是提及
   • 无界函数情形未涉及
4. 技术细节：
   • 某些证明步骤（如步骤2中的上下卷积相等性）可以更详细
   • 粘性解背景知识要求较高，对非专家可能不够友好

影响力

1. 理论影响：
   • 为秩一凸函数理论提供了重要工具
   • 可能启发对其他广义凸性概念的研究
   • 连接了凸分析和椭圆方程理论
2. 方法论影响：
   • 粘性解技术在正则性理论中的新应用
   • 可能影响相关领域的研究方法
3. 实用价值：
   • 对变分法和材料科学的理论基础有贡献
   • 为数值方法提供理论支持
4. 可复现性：
   • 作为纯理论论文，证明可以被验证和推广
   • 方法清晰，可以应用于类似问题

适用场景

1. 理论研究：
   • 非线性分析中的正则性理论
   • 变分法和微分包含理论
   • 材料科学中的数学模型
2. 相关问题：
   • 其他广义凸性概念的正则性
   • 完全非线性椭圆方程的解的性质
   • 优化问题中的光滑性分析
3. 教学：
   • 作为粘性解技术应用的范例
   • 现代正则性理论的教学材料

参考文献

本文引用的关键文献包括：

1 S. Conti, D. Faraco, F. Maggi, and S. Müller. Rank-one convex functions on 2×2 symmetric matrices and laminates on rank-three lines. Calc. Var. Partial Differ. Equ., 24(4):479–493, 2005.

2 Robert Jensen. The maximum principle for viscosity solutions of fully nonlinear second order partial differential equations. Arch. Ration. Mech. Anal., 101(1):1–27, 1988.

3 Bernd Kirchheim and Jan Kristensen. On rank one convex functions that are homogeneous of degree one. Arch. Ration. Mech. Anal., 221(1):527–558, 2016.

4 Fanghua Lin. Second derivative Lp-estimates for elliptic equations of nondivergent type. Proc. Am. Math. Soc., 96:447–451, 1986.

5 J. Malý. A simple proof of the Stepanov theorem on differentiability almost everywhere. Expo. Math., 17(1):059–061, 1999.

6 Connor Mooney. A proof of the Krylov-Safonov theorem without localization. Commun. Partial Differ. Equations, 44(8):681–690, 2019.

总结：这是一篇简短但深刻的数学论文，通过创新地应用粘性解技术，成功将经典的Alexandrov定理推广到秩一凸函数。论文的主要价值在于方法论创新和理论推广，为相关领域提供了新的研究工具和视角。虽然篇幅短小，但内容充实，证明优雅，是现代正则性理论的一个优秀范例。