[论文解读] The Hessian of the distance from a surface in the Heisenberg group

Nicola Arcozzi, Fausto Ferrari|ArXiv.org|Oct 11, 2006

Geometric Analysis and Curvature Flows参考文献 30被引用 19

一句话总结

本文计算了在海森堡群 $\mathbb{H}^1$ 中，从 $C^3$ 曲面 $S$ 出发的带符号 Carnot-Charathéodory 距离函数的水平 Hessian 矩阵，以曲面的平均曲率 $h_S$ 和与度量法法测地线相关的“虚曲率”$p_S$ 表示。关键结果是一个闭式公式：$\mathrm{Hess}_{\mathbb{H}}\delta_S = v_S \otimes v_S \cdot (h_S I + p_S J)$，其中 $v_S$ 是 $S$ 的单位水平切向量，$I$ 和 $J$ 分别为单位矩阵与辛矩阵。

ABSTRACT

We compute the horizontal Hessian of the signed Carnot-Charatheodory distance from a surface S in the Heisenberg group H. The expression for the Hessian is in terms of the surface's intrinsic curvatures. As an application, we compute the horizontal Hessian of the Carnot-Charatheodory distance from a point in H.

研究动机与目标

• 推导海森堡群中 $C^3$ 曲面 $S$ 的带符号距离函数的水平 Hessian 矩阵的显式公式。
• 阐明先前工作中引入的“虚曲率”$p_S$ 在与度量法法测地线关系中的几何作用。
• 对特定曲面（包括非竖直平面和 Carnot-Charathéodory 球面）提供显式的 Hessian 计算。
• 建立距离函数的 Hessian 矩阵与子黎曼几何中内在曲率之间的联系。

提出的方法

• 定义海森堡群 $\mathbb{H}^1$ 中 $C^3$ 边界 $S = \partial\Omega$ 的带符号距离函数 $\delta_S$，其中 $\delta_S(P) = \pm d(P,S)$，取决于 $P$ 所在的 $\Omega$ 侧。
• 利用水平梯度 $\nabla_{\mathbb{H}} = (X,Y)$，其中 $X = \partial_x + 2y\partial_t$，$Y = \partial_y - 2x\partial_t$，定义水平 Hessian 矩阵 $\mathrm{Hess}_{\mathbb{H}}f = \begin{bmatrix} XXf & YXf \\ XYf & YYf \end{bmatrix}$。
• 在非特征点 $P$ 处，将 $\delta_S$ 的 Hessian 矩阵表示为 $\mathrm{Hess}_{\mathbb{H}}\delta_S(P) = v_P S \otimes v_P S \cdot (h_S(P)I + p_S(P)J)$，其中 $v_P S$ 是 $S$ 在 $P$ 点的单位水平切向量。
• 将 $S$ 在 $P$ 点的平均曲率 $h_S(P)$ 定义为水平形状算子的迹，将虚曲率 $p_S(P)$ 定义为 $p_S(P) = -[X,Y]g(P)/|\nabla_{\mathbb{H}}g(P)|$，其中 $g$ 是 $S$ 的定义函数。
• 将该公式应用于具体例子：非竖直平面与度量球面 $\Sigma$，使用含 $u$ 和 $\theta$ 的参数化方法。
• 通过 $\Sigma$ 上的参数曲线 $\gamma_\theta(u)$ 及水平曲线的常微分方程求解，推导出 $X\delta_S$、$Y\delta_S$、$h_\Sigma$ 和 $p_\Sigma$ 的显式表达式。

实验结果

研究问题

• RQ1 如何用内在几何量表示海森堡群中曲面距离函数的水平 Hessian 矩阵？
• RQ2 先前工作中引入的“虚曲率”$p_S$ 的几何意义是什么？它与度量法法测地线有何关系？
• RQ3 非竖直平面与 Carnot-Charathéodory 球面的距离函数的显式 Hessian 矩阵表达式是什么？
• RQ4 水平 Hessian 矩阵如何与度量法法测地线的曲率相关联，特别是其寿命 $\tau = \pi / |p_S|$？
• RQ5 度量球面 $\Sigma$ 上的水平曲线具有哪些参数化与曲率性质？

主要发现

• 在非特征点 $P$ 处，带符号距离函数 $\delta_S$ 的水平 Hessian 矩阵为 $\mathrm{Hess}_{\mathbb{H}}\delta_S(P) = v_P S \otimes v_P S \cdot (h_S(P)I + p_S(P)J)$，其中 $v_P S$ 是 $S$ 在 $P$ 点的单位水平切向量。
• 曲面 $S$ 在 $P$ 点的平均曲率 $h_S(P)$ 定义为水平形状算子的迹，$p_S(P)$ 为“虚曲率”，由 $p_S(P) = -[X,Y]g(P)/|\nabla_{\mathbb{H}}g(P)|$ 给出，其中 $g$ 是 $S$ 的定义函数。
• 对于 Carnot-Charathéodory 球面 $\Sigma$，在参数为 $u$ 的点处，虚曲率为 $p_\Sigma(P) = 2u$，其中 $u \in (-2\pi, 2\pi) \setminus \{0\}$。
• 在参数为 $u$ 的点处，$\Sigma$ 的平均曲率为 $h_\Sigma(P) = \frac{u\cos u - \sin u}{\frac{u}{2}\cos(u/2) - \sin(u/2)} \cdot \frac{u}{4\sin(u/2)}$。
• $\Sigma \setminus \{NP, SP\}$ 被水平曲线 $\gamma_\theta(u)$ 叠加，其由 $u$ 和 $\theta$ 参数化，其中 $\psi(u)$ 满足 $\psi'(p) = \cot^2 p - \cot p / p$。
• 每条 $\gamma_\theta$ 的海森堡长度为无穷大，且当 $u \to \pm 2\pi$ 时，$\gamma_\theta$ 在 $\{t=0\}$ 平面上的投影会无限次绕原点螺旋。