[논문 리뷰] Horizontal normal map on the Heisenberg group

Andrea Calogero, R. Pini|ArXiv.org|2008. 11. 14.

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

한 줄 요약

이 논문은 히젠베르크 군 위의 함수에 대해 수평 하위미분과 정규 사상(h-normal map)을 도입하며, 볼록 함수가 모든 점에서 비어 있지 않은 H-하위미분을 가지며, 엄격히 볼록한 방사형 함수에 대해 H-정규 사상이 단조임을 증명한다. 또한 H-정규 사상을 통해 몽주–암페르 측도를 정의하고, 서브리만노브 설정으로의 록파렐라 통합 정리의 일반화를 수행한다.

ABSTRACT

We investigate the notion of H-subdifferential and H-normal map of a function on the Heisenberg group, based on its sub-Riemannian structure. In particular, a characterization of the convexity of a function is given via the nonemptiness of the H-subdifferential at every point.

연구 동기 및 목표

• 유럽 공간에서의 하위미분과 정규 사상 이론을 히젠베르크 군의 서브리만노브 설정으로 확장하는 것.
• 핵심적인 볼록 함수 성질—예를 들어 하위미분의 비어 있지 않음과 정규 사상의 단조성—이 히젠베르크 군에서도 성립하는지 조사하는 것.
• H-정규 사상을 통해 몽주–암페르 측도의 개념을 정의하고, 이 설정으로 고전적인 통합 결과를 확장하는 것.
• 히젠베르크 군 위의 볼록 함수에 대해 록파렐라의 통합 공식의 서브리만노브 해석을 확립하는 것.

제안 방법

• 히젠베르크 군의 수평 구조를 이용해 수평 기울기 ∇hu(g) = (Xu(g), Yu(g))를 사용하여 수평 하위미분 ∂Hu(g)를 정의한다.
• 모든 점 g ∈ ℍ 에서 ∂Hu(g)가 비어 있지 않은 것으로 볼록성을 특성화함으로써, 유클리드 결과를 일반화한다.
• 추가적인 정규성 조건을 만족하는 엄격히 볼록한 방사형 함수에 대해 H-정규 사상 ∂Hu 가 단조임을 증명한다.
• ∂Hu 에 의해 컴act 집합의 상이 V₁ 내에서 컴 pact임을 보이며, 유클리드 사례에서의 위상적 성질를 유지한다.
• H-정규 사상에 의해 레베그 측도를 푸시포워드한 것으로 몽주–암페르 측도를 정의한다.
• 록파렐라의 통합 공식을 확장하여, ∫_K |det D_H u| dL^3 = ∫_{∂Hu(K)} |p| dp 를 증명한다. 여기서 K ⊂ ℍ 는 컴 pact이며, D_H u 는 수평 헤시안이다.

실험 결과

연구 질문

• RQ1 히젠베르크 군의 서브리만노브 구조를 이용해 하위미분과 정규 사상의 개념을 의미 있게 확장할 수 있는가?
• RQ2 유럽 공간과 마찬가지로, 모든 점에서 H-하위미분이 비어 있지 않은 것이 히젠베르크 군에서 볼록성을 특성화하는가?
• RQ3 추가적인 정규성 조건을 만족하는 엄격히 볼록한 방사형 함수에 대해 H-정규 사상은 단조인가?
• RQ4 H-정규 사상을 통해 몽주–암페르 측도를 정의할 수 있으며, 이로 인해 핵심 통합 항등식이 유지되는가?
• RQ5 록파렐라의 몽주–암페르 측도에 대한 통합 공식은 히젠베르크 군으로 얼마나 일반화될 수 있는가?

주요 결과

• 볼록 함수에 대해 모든 점 g ∈ ℍ 에서 H-하위미분 ∂Hu(g) 가 비어 있지 않으며, 이는 유클리드 결과를 일반화한다.
• 수평 기울기 X u(g₀) 가 존재할 때이고 오직 그 때에만, g₀ 에서 H-하위미분은 싱글턴이다.
• 추가적인 정규성 조건을 만족하는 엄격히 볼록한 방사형 함수에 대해 H-정규 사상은 단조이다.
• H-정규 사상 ∂Hu 에 의해 히젠베르크 군의 임의의 컴 pact 부분집합의 상은 V₁ 내의 컴 pact 부분집합이다.
• 함수 u 의 몽주–암페르 측도는 ∂Hu 에 의해 레베그 측도를 푸시포워드한 것으로 정의할 수 있다.
• 록파렐라의 통합 공식의 확장이 성립한다: ∫_K |det D_H u| dL^3 = ∫_{∂Hu(K)} |p| dp 이다. 여기서 K ⊂ ℍ 는 컴 pact이다.