[论文解读] On the second order derivatives of convex functions on the Heisenberg group

Cristian E. Gutiérrez, Annamaria Montanari|ArXiv.org|Sep 9, 2003

Functional Equations Stability Results被引用 10

一句话总结

该论文证明了海森堡群 $\mathbb{H}^n$ 上的 $\sigma_2(\mathcal{H}(u))$-凸函数属于 $BV_{\mathbb{H}}^2$ 类，即其二阶水平分布导数为雷诺斯测度。通过引入一个类似蒙日-安培的算子 $\sigma_2(\mathcal{H}(u)) + 12n u_t^2$，并证明比较原理与振荡估计，作者弥合了对称与非对称二阶导数之间的差距，确认 $\mathcal{H}$-凸函数几乎处处具有水平二阶可微性。

ABSTRACT

In the Euclidean setting the celebrated Aleksandrov-Busemann-Feller theorem states that convex functions are a.e. twice differentiable. In this paper we prove that a similar result holds in the Heisenberg group, by showing that every continuous H-convex function belongs to the class of functions whose second order horizontal distributional derivatives are Radon measures. Together with a recent result by Ambrosio and Magnani, this proves the existence a.e. of second order horizontal derivatives for the class of continuous H-convex functions in the Heisenberg group.

研究动机与目标

• 解决海森堡群上的 $\mathcal{H}$-凸函数是否几乎处处具有二阶水平导数的问题。
• 通过证明 $X_iX_j u$ 为雷诺斯测度，弥合子黎曼几何中对称与非对称二阶导数之间的差距。
• 通过引入新的类似蒙日-安培的算子 $\sigma_2(\mathcal{H}(u)) + 12n u_t^2$，将亚历克桑德罗夫型可微性定理从 $\mathbb{H}^1$ 推广至 $\mathbb{H}^n$。
• 通过振荡控制建立 Lie 括号 $[X_1,X_2]u = -4\partial_t u$ 的 $L^2$ 估计，使 $BV_{\mathbb{H}}^2$ 结果可推广至高维。

提出的方法

• 在 $\mathbb{H}^n$ 上引入算子 $\sigma_2(\mathcal{H}(u)) + 12n u_t^2$，将 $\sigma_2(\mathcal{H})$-凸性定义为 $\mathcal{H}$-凸性的推广。
• 通过分部积分与 $\mathbb{H}^n$ 的几何结构，对 $C^2$ 函数证明比较原理，扩展了此前在 $\mathbb{H}^1$ 上的结果。
• 建立振荡估计（命题 4.2），为 $\sigma_2(\mathcal{H})$-凸函数提供 $\partial_t u$ 的 $L^2$ 有界性。
• 利用振荡估计，通过李括号 $[X_i,X_j]u = -4\delta_{i,j\mp n} \partial_t u$ 控制二阶导数的非对称部分，证明 $X_iX_j u$ 为雷诺斯测度。
• 将结果应用于 $\mathcal{H}$-凸函数，证明其属于 $BV_{\mathbb{H}}^2$，并依据 [1, 定理 3.9] 推出其几乎处处具有二阶水平导数。
• 利用海森堡群的结构与向量场 $X_j$ 的非交换性，通过换位子 $[X_i,X_j] = -4\partial_t \delta_{i,j\mp n}$ 关联对称与非对称导数。

实验结果

研究问题

• RQ1 每个 $\mathcal{H}$-凸函数在 $\mathbb{H}^n$ 上是否几乎处处具有二阶水平导数？
• RQ2 $\mathcal{H}$-凸函数类是否可被证明属于 $BV_{\mathbb{H}}^2$，从而确保其二阶水平分布导数为雷诺斯测度？
• RQ3 能否通过涉及 $\sigma_2(\mathcal{H}(u))$ 的广义蒙日-安培算子，将亚历克桑德罗夫型最大值原理从 $\mathbb{H}^1$ 推广至 $\mathbb{H}^n$？
• RQ4 如何为比 $\mathcal{H}$-凸函数更广的函数类导出 $\partial_t u$ 的 $L^2$ 估计，以实现对非对称导数的控制？
• RQ5 李括号 $[X_i,X_j]u$ 在将 $X_iX_j u$ 分解为对称与反对称部分时起何作用？该分解如何用于证明雷诺斯测度性质？

主要发现

• 海森堡群 $\mathbb{H}^n$ 上的 $\mathcal{H}$-凸函数类包含于 $BV_{\mathbb{H}}^2$，即其二阶水平分布导数为雷诺斯测度。
• 作者证明了 $\sigma_2(\mathcal{H})$-凸函数的比较原理，这是推导振荡估计的关键。
• 振荡估计（命题 4.2）为 $\sigma_2(\mathcal{H})$-凸函数提供了 $\partial_t u$ 的 $L^2$ 控制，其适用范围超出 $\mathcal{H}$-凸函数类。
• 通过李括号 $[X_i,X_j]u = -4\delta_{i,j\mp n} \partial_t u$ 控制 $X_iX_j u$ 的非对称部分，且 $\partial_t u$ 的 $L^2$ 有界性确保了完整二阶导数为雷诺斯测度。
• 分解式 $X_iX_j u = \frac{X_iX_j u + X_jX_i u}{2} + \frac{[X_i,X_j]u}{2}$ 允许对称部分为雷诺斯测度（依据 [5, 定理 4.2]），反对称部分通过 $L^2(\partial_t u)$ 控制，从而整体实现雷诺斯测度性质。
• 作为 [1, 定理 3.9] 的推论，$\mathbb{H}^n$ 上的 $\mathcal{H}$-凸函数几乎处处具有水平二阶可微性，回答了安布罗西奥与马格纳尼提出的问题。