[논문 리뷰] On the regularity of abnormal minimizers for rank $2$ sub-Riemannian structures

Davide Barilari, Yacine Chitour외 3명|arXiv (Cornell University)|2018. 04. 03.

Analytic and geometric function theory참고 문헌 29인용 수 40

한 줄 요약

랭크-2 서-리만 구조에서 비정상 길이 최소화 해의 한 클래스에 대해 C1 정규성을 증명하고, 스텝이 4 이하일 때 이들 최소화 해 모두에 대해 C1을 도출하며, nilpotency 조건하에서 추가적인 매끄러움(C∞) 가능성을 시사한다.

ABSTRACT

We prove the $C^{1}$ regularity for a class of abnormal length-minimizers in rank $2$ sub-Riemannian structures. As a consequence of our result, all length-minimizers for rank $2$ sub-Riemannian structures of step up to $4$ are of class $C^{1}$.

연구 동기 및 목표

• 부분 리만 기하학에서 길이-최소화 문제의 정규성 문제를 동기화하고, 엄격한 비정상 곡선에 대한 격차를 확인한다.
• 랭크-2 구조에서 비정상 최소화 해가 C1 정규성을 달성하는 조건을 확립한다.
• 랭크-2 구조의 스텝이 최대 4일 때 모든 길이-최소화 해가 C1임을 보여준다.
• 생성 Lie 대수에 대한 nilpotency 가정하에서 더 높은 정규성(C∞)으로의 경로를 제공한다.
• 비정상 극값의 동적(해밀토니안) 구조를 기하학적 정규성 결과와 연결한다.

제안 방법

• 그들의 해밀토니안 역학 및 연관된 이중 변수 h_i 및 h_{i1...im}를 통해 비정상 극값을 연구한다.
• 문제를 평활화하고 니럴로니화하여 등수-정규(equiregular), Carnot 유사 모델로 축소한다.
• A(t)의 트레이스가 0인 2×2 시스템에서 u ∈ S^1로 진화하는 h=(-h_{212}, h_{112})를 도출하고 분석한다.
• 관계 함수 h ≠ 0인 구간에서 최적 제어가 A의 고유벡터와 정렬됨을 보이고, 잠재적 특이점을 연구하기 위해 시간 재스케일링을 사용한다.
• 특정 조건 하에서 끝점에서 det A의 비비음성(non-positivity) 결과를 이용해 코너형 최소화 해를 제외한다.

실험 결과

연구 질문

• RQ1 랭크-2 서-리만 구조에서 abnormal 승강이 (D^4)⊥을 피할 때 모든 길이-최소화 해가 C1 정규성을 가지는가?
• RQ2 structural assumptions(예: 스텝 ≤ 4)하에서 모든 길이-최소화 해가 랭크-2 서-리만 다양체에서 C1이 되는가?
• RQ3 C1을 넘어 C∞ 정규성으로 이끄는 추가 조건은 무엇인가?
• RQ4 Desingularization 및 nilpotent 근사화가 abnormal 최소화 해의 정규성에 어떤 영향을 미치는가?
• RQ5 랭크-2, 스텝 상한 케이스에서 해밀토니안 역학을 통해 코너를 길이-최소화 해로 배제할 수 있는가?

주요 결과

• 랭크-2 구조에서 abnormal 최소화 해의 리프트가 모든 t에 대해 λ(t) ∉ (D^4)⊥인 경우 그것은 C1이다.
• 코럴리: 랭크-2 서-리만 구조의 스텝 ≤ 4일 때 모든 길이-최소화 해는 C1이다.
• Nilpotent 생성 조건(Lie{X1,X2}의 스텝 ≤ 4)하에서 길이-최소화 해는 실질적으로 C∞이다.
• 일반 경우 abnormal 극값의 역학은 매끄럽지 않은 이분성을 암시하는 코너-유사 특이점을 초래하지만, 명시된 공리하에서 이를 배제할 수 있다.
• 분석은 Go(h) 조건(h1 = h2 = h12 = 0)과 dh/dt = u1 h1? + u2 h2?의 진화식과 트레이스가 0인 행렬 A(t)에 의존한다.
• Desingularisation은 비-등규(non-equiregular) 케이스를 등규(equiregular) 모델로 환원시키며 핵심 정리 결론을 보존한다.