[논문 리뷰] Parametrization of Extremal Trajectories in Sub-Riemannian Problem on Group of Motions of Pseudo Euclidean Plane

Yasir Awais Butt, Yuri L. Sachkov외 1명|arXiv (Cornell University)|2013. 05. 06.

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

한 줄 요약

이 논문은 특수 하이퍼볼릭 군 SH(2)에서 하이퍼볼릭 평면 내 운동을 모델링하는 하위리만 기하학적 길이를 연구한다. 푸앵카레 최대원리(Pontryagin Maximum Principle)를 적용하여 정상 및 비정상 케이스 모두의 극값 궤적을 유도하고, 좌표 변환을 통해 야코비 타원함수를 사용하여 시스템을 적분함으로써 모든 극값 곡선의 완전한 매개변수화를 제공한다.

ABSTRACT

We consider the sub-Riemannian length minimization problem on the group of motions of hyperbolic plane i.e. the special hyperbolic group SH(2). The system com- prises of left invariant vector fields with 2 dimensional linear control input and energy cost functional. We prove the global controllability of control distribution and use Pon- tryagin Maximum Principle to obtain the extremal control input and sub-Riemannian geodesics. The abnormal and normal extremal trajectories of the system are analyzed qualitatively and investigated for strict abnormality. A change of coordinates trans- forms the vertical subssystem of the normal Hamiltonian system into mathematical pendulum. In suitable elliptic coordinates the vertical and horizontal subsystems are integrated such that the resulting extremal trajectories are parametrized by Jacobi elliptic functions.

연구 동기 및 목표

• 특수 하이퍼볼릭 군 SH(2)에서의 왼쪽 불변 하위리만 시스템의 전역 제어 가능성을 확립하기 위해.
• 정상 및 비정상 케이스 모두에 대해 푸앵카레 최대원리를 사용하여 극값 궤적을 도출하기 위해.
• 특히 엄격한 비정상성에 초점을 맞춰 극값 궤적의 정성적 구조를 조사하기 위해.
• 정상 해밀턴의 수직 부분계를 물리적 단자진동자 방정식으로 변환하기 위해.
• 수직 및 수평 부분계를 타원좌표계에서 통합하여 극값 궤적의 매개변수화를 가능하게 하기 위해.

제안 방법

• SH(2)에서 하위리만 길이 최소화를 위한 필요 조건을 도출하기 위해 푸앵카레 최대원리를 적용하기 위해.
• 정상 극값에 관련된 해밀턴 시스템을 분석하고, 수직 부분계를 물리적 단자진동자 방정식으로 변환하기 위해.
• 역동학을 단순화하는 좌표변환을 도입하여 해밀턴 시스템에서 변수 분리를 가능하게 하기 위해.
• 타원좌표계를 사용하여 정상 해밀턴 시스템의 수직 및 수평 부분계를 통합하기 위해.
• 결과로 얻어진 극값 궤적을 야코비 타원함수의 형태로 표현하여 완전한 매개변수화를 제공하기 위해.
• 정상 및 비정상 극값 궤적을 구분하고 엄격한 비정상성 조건을 분석하기 위해.

실험 결과

연구 질문

• RQ1 특수 하이퍼볼릭 군 SH(2)에서 하위리만 기하학적 길이의 필요 조건은 무엇인가?
• RQ2 정상 해밀턴의 수직 부분계는 어떻게 물리적 단자진동자 방정식으로 변환될 수 있는가?
• RQ3 극값 궤적이 엄격하게 비정상이 되는 조건은 무엇인가?
• RQ4 수직 및 수평 부분계가 모두 완전히 통합될 수 있는 좌표계는 무엇인가?
• RQ5 결과로 얻어진 극값 궤적은 특수 함수를 통해 어떻게 매개변수화되는가?

주요 결과

• SH(2)에서 하위리만 시스템은 전역적으로 제어 가능하여 임의의 두 점 사이에 최소화 곡선이 존재함을 보장한다.
• 시스템을 타원좌표계로 변환한 후, 야코비 타원함수를 사용하여 극값 궤적을 완전히 매개변수화하였다.
• 정상 해밀턴의 수직 부분계는 물리적 단자진동자와 동치이며, 이는 해석적 통합을 가능하게 한다.
• 타원좌표계에서 수평 및 수직 역학이 분리되어 시스템의 완전한 통합이 가능해졌다.
• 비정상 극값 궤적은 엄격한 비정상성에 대해 분석되어 기하학적 흐름의 구조적 성질을 드러냈다.
• 극값 궤적의 매개변수화가 SH(2)에서 길이 최소화 문제에 대한 완전한 해를 제공한다.