[논문 리뷰] Completeness of Length-Weighted Sobolev Metrics on the Space of Curves

Martins Bruveris, Jakob Møller-Andersen|arXiv (Cornell University)|2017. 05. 22.

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

한 줄 요약

이 논문은 ℝᵈ 내의 매장 곡선 공간에서 길이-가중 Sobolev 계량의 거리 완비성에 대한 충분조건을 확립한다. 계량의 계수에 대해 점 渐진 감쇠 조건 (I₀)과 (I∞)를 도입함으로써, 저자들은 이러한 계량이 지오데식적으로 완비되고, 동일한 연결 성분 내의 임의의 두 곡선 사이에 최소 지오데식선이 존재함을 증명한다. 이는 일정 계수 계량에 대한 이전 결과를 척도 불변, 길이에 의존하는 경우로 확장한다.

ABSTRACT

In this article we prove completeness results for Sobolev metrics with nonconstant coefficients on the space of immersed curves and on the space of unparametrized curves. We provide necessary as well as sufficient conditions for the coefficients of the Riemannian metric for the metric to be metrically complete and we construct examples of incomplete metrics. This work is an extension of previous work on completeness of Sobolev metrics with constant coefficients.

연구 동기 및 목표

• 매장 곡선 공간에서의 Sobolev 계량에 대한 완비성 결과를 일정 계수의 경우에서 비일정, 길이에 의존하는 계수의 경우로 확장하기.
• 유도된 리만 계량이 계량적으로 및 지오데식적으로 완비가 되기 위한 계수 함수 aₖ(ℓ_c)에 대한 필요 및 충분 조건을 규명하기.
• 제안된 조건의 날카로움을 보여주기 위해 완비성이 결여된 계량의 명시적 예를 제시하기.
• 자연스럽게 형태 분석에서 나타나는 척도 불변 Sobolev 계량에 대한 완비성 문제를 해결하기.
• 무한차원 리만 다양체인 곡선의 공간에서 계량 완비성과 지오데식 완비성 사이의 관계를 탐구하기.

제안 방법

• 곡선 길이 ℓ_c → 0 및 ℓ_c → ∞ 일 때 계수 함수 aₖ(ℓ_c)의 감쇠 속도에 대해 점 渐진 조건 (I₀)과 (I∞)를 도입하기.
• 만약 k ∈ {1, ..., n} 에 대해 적어도 하나의 계수 aₖ 가 (I₀) 및 (I∞) 를 만족한다면, 계량이 유계 지오데식 구내에서 Hⁿ(S¹, ℝᵈ) 노름과 동치임을 증명하기.
• 이 동치성을 이용해 계량 구내의 곡선 길이를 제어하고, 코시 수열이 지오데식 거리에서 수렴함을 확보하기.
• 극단적인 스케일링 하에서 계량의 행동을 시험하기 위해 길이 ℓ_cₙ → 0 또는 → ∞ 가 되는 곡선의 가족 (cₙ) 을 구성하기.
• 삼각 다항식의 L¹ 노름을 사용한 비교 추정을 적용하여, 구성된 수열 내 곡선들 사이의 지오데식 거리를 유계화하기.
• 계수 감쇠가 (I₀) 또는 (I∞) 를 위반할 경우, 결과로 얻어진 계량이 완비성이 결여됨을 명시적 반례를 통해 보여주기.

실험 결과

연구 질문

• RQ1 길이에 의존하는 계수 aₖ(ℓ_c)에 대해 어떤 조건이 매장 곡선 공간에서의 Sobolev 계량이 계량적으로 완비가 되는가?
• RQ2 점 渐진 감쇠 조건 (I₀) 과 (I∞) 는 완비성에 필수적인가, 아니면 더 약한 가정 하에서도 완비성이 유지될 수 있는가?
• RQ3 계량이 완비가 아니더라도 길이-가중 Sobolev 계량의 지오데식선이 항상 모든 시간 동안 존재할 수 있는가?
• RQ4 곡선 공간에서 척도 불변 Sobolev 계량은 동일한 연결 성분 내의 임의의 두 곡선 사이에 최소 지오데식선을 갖는가?
• RQ5 길이가 발산하거나 0으로 수렴하는 곡선의 수열의 행동을 통해 계량의 완비성 결여를 감지할 수 있는가?

주요 결과

• ℓ → 0 또는 ℓ → ∞ 일 때 적어도 하나의 계수 aₖ(ℓ) 가 너무 빨리 감쇠하지 않는다는 조건인 (I₀) 및 (I∞) 는 ℐⁿ(S¹, ℝᵈ) 상에서 유도된 지오데식 거리가 완비가 되기 위한 충분조건이다.
• n ≥ 2 인 모든 길이-가중 Sobolev 계량이 (I₀) 및 (I∞) 를 만족할 경우, 공간 ℐⁿ(S¹, ℝᵈ) 는 지오데식적으로 완비되며, 이는 모든 지오데식선이 모든 시간 동안 존재함을 의미한다.
• ℐⁿ(S¹, ℝᵈ) 의 동일한 연결 성분 내의 임의의 두 곡선은 동일한 조건 하에서 최소 지오데식선으로 연결될 수 있다.
• 저자들은 (I₀) 또는 (I∞) 를 위반하는 길이-가중 Sobolev 계량의 명시적 예를 제시하여, 이러한 계량이 계량적으로 완비성이 결여됨을 보여주며, 조건들이 날카로움을 입증한다.
• 최대값을 취할 때 k = 0 (즉, L² 항) 을 포함시키는 것은 조건을 느슨하게 할 수 없으며, k = 0 에 대해 (I₀) 및 (I∞) 가 성립하더라도 여전히 계량이 완비성이 결여된 반례가 존재함을 보여준다.
• 모든 계량이 (I₀) 및 (I∞) 를 동시에 위반할 경우 반드시 완비성이 결여됨을 보여주는지 여부는 여전히 열려 있으며, 필수 조건 기술의 잠재적 갭을 시사한다.