[논문 리뷰] The Hessian of the distance from a surface in the Heisenberg group

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

Geometric Analysis and Curvature Flows참고 문헌 30인용 수 19

한 줄 요약

이 논문은 헤이센베르크 군 $\mathbb{H}^1$ 안의 $C^3$ 표면 $S$ 에서의 부호가 있는 카르노-샤라테오도리 거리 함수의 수평 헤시안을 계산하며, 이를 표면의 평균 곡률 $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$ 에서의 부호 거리 함수의 수평 헤시안에 대한 명시적 공식을 유도하는 것.
• 이전 연구에서 도입된 '허구적 곡률' $p_S$ 의 기하학적 역할을 메트릭 법선 지오데식과 연관지어 설명하는 것.
• 특정 표면, 특히 수직이 아닌 평면과 카르노-샤라테오도리 구에 대해 명시적인 헤시안 계산을 제공하는 것.
• 수평 헤시안과 부분 리만 기하학 내의 내재 곡률 사이의 연결 고리를 설정하는 것.

제안 방법

• 헤이센베르크 군 $\mathbb{H}^1$ 내의 $C^3$ 경계 $S = \partial\Omega$ 에서의 부호 거리 함수 $\delta_S$ 를 정의하며, $\delta_S(P) = \pm d(P,S)$ 는 $\Omega$ 의 쪽에 따라 달라진다.
• 수평 기울기 $\nabla_{\mathbb{H}} = (X,Y)$ 를 사용하여 수평 헤시안 행렬 $\mathrm{Hess}_{\mathbb{H}}f = \begin{bmatrix} XXf & YXf \\ XYf & YYf \end{bmatrix}$ 를 정의한다. 여기서 $X = \partial_x + 2y\partial_t$, $Y = \partial_y - 2x\partial_t$ 이다.
• 비특성점 $P$ 에서 $\delta_S$ 의 헤시안을 $\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$ 는 $P$ 에서 $S$ 에 대한 단위 수평 탄젠트 벡터이다.
• 표면의 평균 곡률 $h_S(P)$ 는 수평 형태 연산자의 트레이스로 정의되며, 정의 함수 $g$ 에 대해 $p_S(P) = -[X,Y]g(P)/|\nabla_{\mathbb{H}}g(P)|$ 로 정의되는 '허구적 곡률' $p_S(P)$ 를 정의한다.
• 비특성 평면과 메트릭 구 $\Sigma$ 와 같은 구체적인 예제에 공식을 적용하며, $u$ 와 $\theta$ 를 포함한 매개변수 표현을 사용한다.
• 표면 $\Sigma$ 상의 매개변수 곡선 $\gamma_\theta(u)$ 와 수평 곡선을 위한 미분방정식을 풀어, $X\delta_S$, $Y\delta_S$, $h_\Sigma$, $p_\Sigma$ 의 명시적 표현을 유도한다.

실험 결과

연구 질문

• RQ1 헤이센베르크 군 내 표면에서의 거리 함수의 수평 헤시안은 어떻게 내재 기하 양수로 표현될 수 있는가?
• RQ2 이전 연구에서 도입된 '허구적 곡률' $p_S$ 는 기하학적으로 어떤 의미를 가지며, 메트릭 법선 지오데식과 어떻게 관련되어 있는가?
• RQ3 수직이 아닌 평면과 카르노-샤라테오도리 구에서의 거리 함수에 대한 명시적 헤시안 표현은 무엇인가?
• RQ4 수평 헤시안은 메트릭 법선 지오데식의 곡률과 어떻게 관련되어 있으며, 특히 수명 $\tau = \pi / |p_S|$ 를 통해 어떻게 나타나는가?
• RQ5 메트릭 구 $\Sigma$ 상에 lying 한 수평 곡선의 매개변수적 성질과 곡률 성질은 무엇인가?

주요 결과

• 비특성점 $P$ 에서의 부호 거리 함수 $\delta_S$ 의 수평 헤시안은 $\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$ 에 대한 단위 수평 탄젠트 벡터이다.
• 표면 $S$ 의 평균 곡률 $h_S(P)$ 는 수평 형태 연산자의 트레이스로 정의되며, 정의 함수 $g$ 에 대해 $p_S(P) = -[X,Y]g(P)/|\nabla_{\mathbb{H}}g(P)|$ 로 정의되는 '허구적 곡률' $p_S(P)$ 이다.
• 카르노-샤라테오도리 구 $\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\}$ 는 매개변수 $u$ 와 $\theta$ 를 가진 수평 곡선 $\gamma_\theta(u)$ 로 분할되며, $\psi(u)$ 는 $\psi'(p) = \cot^2 p - \cot p / p$ 를 만족한다.
• 각 $\gamma_\theta$ 의 헤이센베르크 길이는 무한대이며, $\gamma_\theta$ 의 $\{t=0\}$ 평면 상 사영은 $u \to \pm 2\pi$ 로 갈수록 원점 주위로 무한히 뱃줄무늬를 그리며 빌드업된다.