[논문 리뷰] The cut locus and distance function from a closed subset of a Finsler manifold

Minoru Tanaka, Sorin V. Sabău|arXiv (Cornell University)|2012. 07. 04.

Advanced Differential Geometry Research참고 문헌 23인용 수 22

한 줄 요약

이 논문은 2차원 프레일러 만복에서 닫힌 부분집합의 컷로커스에 대한 구조 정리를 수립하며, 그것이 국소적 트리임을 증명한다. 이 트리는 가чёт히 수 있는 직선적 조각들로 이루어져 있으며, 내재적 위상과 유도된 위상은 일치한다. 또한 거리 함수의 미분 가능성은 N-세그먼트의 수를 통해 특징지으며, 이는 비가역 프레일러 기하학으로까지 리만 기하학 결과를 일반화한다.

ABSTRACT

We characterize the differentiable points of the distance function from a closed subset $N$ of an arbitrary dimensional Finsler manifold in terms of the number of $N$-segments. In the case of a 2-dimensional Finsler manifold, we prove the structure theorem of the cut locus of a closed subset $N$, namely that it is a local tree, it is made of countably many rectifiable Jordan arcs except for the endpoints of the cut locus and that an intrinsic metric can be introduced in the cut locus and its intrinsic and induced topologies coincide. We should point out that these are new results even for Riemannian manifolds.

연구 동기 및 목표

• 임의의 차원의 프레일러 만복에서 닫힌 부분집합으로부터의 거리 함수의 미분 가능성은 N-세그먼트의 수를 통해 특징짓는다.
• 2차원 프레일러 만복에서 닫힌 부분집합의 컷로커스에 대한 구조 정리를 수립한다.
• 컷로커스가 국소적 트리임을 증명하고, 내재 거리계를 부여할 수 있으며, 내재적 위상과 유도된 위상 간의 일致함을 보인다.
• 특히 비가역 메트릭에 대해 리만 기하학의 알려진 결과를 프레일러 기하학으로 확장한다.
• 최적 제어 및 운반 문제를 위한 기초 도구를 제공하기 위해 거리 함수의 특이집합을 분석한다.

제안 방법

• 점에서 닫힌 부분집합 $ N $ 으로 가는 $ N $-세그먼트의 수를 통해 거리 함수 $ d_N $ 의 미분 가능성 특징짓기.
• $ N $-세그먼트—$ N $ 으로부터의 거리를 최소화하는 지오데식 세그먼트—의 개념을 사용하여 임계점과 컷점 분석하기.
• 모든 점이 유일한 곡선으로 연결되는 근방을 갖는다는 것을 보여, 컷로커스 $ C_N $ 가 국소적 트리임을 증명하기.
• 일변수 연속함수에 대한 사르드 정리를 적용하여, $ C_N $ 의 직선적 조각에서 $ d_N imes c $ 의 임계값 집합이 측도가 0임을 보이기.
• 그로모프 위상보존 보조정리와 프레일러 메트릭의 성질을 사용하여, 컷로커스 내 단위 속도 직선적 조각을 따라 $ d_N $ 의 행동 분석하기.
• 거의 모든 $ t $ 에 대해 $ d_N^{-1}(t) $ 가 서로 떨어진 연속 곡선들의 합집합임을 증명하고, 각 점이 최대 두 개의 $ N $-세그먼트를 가짐을 보이기.

실험 결과

연구 질문

• RQ1 닫힌 부분집합 $ N $ 으로부터의 거리 함수가 프레일러 만복에서 어떤 조건에서 미분 가능할 수 있는가?
• RQ2 2차원 프레일러 만복에서 닫힌 부분집합의 컷로커스의 위상적·기하학적 구조는 무엇인가?
• RQ3 컷로커스에 내재 거리계를 도입할 수 있으며, 내재적 위상과 유도된 위상 간에 일致함이 성립하는가?
• RQ4 N-세그먼트의 수는 거리 함수의 미분 가능성과 어떻게 관련이 있는가?
• RQ5 리만 기하학에서 알려진 컷로커스 결과들이 비가역 프레일러 만복으로 얼마나 일반화될 수 있는가?

주요 결과

• 2차원 프레일러 만복에서 닫힌 부분집합 $ N $ 의 컷로커스는 국소적 트리이다. 즉, 모든 점은 임의의 두 점이 유일한 곡선으로 연결되는 근방을 갖는다.
• 컷로커스는 끝점 이외에는 가чёт히 수 있는 직선적 조각들로 이루어져 있다.
• 컷로커스에 내재 거리계를 도입할 수 있으며, 내재적 위상과 유도된 위상 간에 일치한다.
• 거의 모든 $ t otin ext{측도가 0인 집합 } ilde{\cal E} $ 에 대해, 수준집합 $ d_N^{-1}(t) $ 는 서로 떨어진 연속 곡선들의 합집합이다.
• 모든 점 $ q otin N $ 이며 $ d_N(q) otin ilde{\cal E} $ 이면, 임계점이 아니며 최대 두 개의 $ N $-세그먼트를 갖는다.
• 이 결과들은 알려진 리만 기하학의 구조 정리들을 일반화하며, 특히 비가역 프레일러 구조에 대해 기존의 리만 기하학 결과들보다 새로운 것으로 간주된다.