[논문 리뷰] Sub-Riemannian geodesics on the free Carnot group with the growth vector (2,3,5,8)

Yuri L. Sachkov|arXiv (Cornell University)|2014. 04. 30.

Homotopy and Cohomology in Algebraic Topology참고 문헌 12인용 수 6

한 줄 요약

이 논문은 성장 벡터 (2,3,5,8)를 가진 단계 4의 자유 카르노 군에서의 하위리만지안 지오데식 문제를 연구하며, 다항식 벡터장 모델을 명시적으로 구성하고, 본드리아진의 최대원리에 의해 해밀턴 시스템을 유도하며, 운동량의 10개의 독립적 적분을 계산한다—그러나 이 중 7개만 교환 관계를 만족한다. 코어지그너드 오비트 위에서의 감소된 시스템에 대한 수치 분석은 혼돈 역학을 시사하며, 이는 시스템이 리우빌의 의미에서 비통합 가능성성을 암시하는 추측으로 이어진다.

ABSTRACT

We consider the free nilpotent Lie algebra $L$ with 2 generators, of step 4, and the corresponding connected simply connected Lie group $G$. We study the left-invariant sub-Riemannian structure on $G$ defined by the generators of $L$ as an orthonormal frame. We compute two vector field models of $L$ by polynomial vector fields in $R^8$, and find an infinitesimal symmetry of the sub-Riemannian structure. Further, we compute explicitly the product rule in $G$, the right-invariant frame on $G$, linear on fibers Hamiltonians corresponding to the left-invariant and right-invariant frames on $G$, Casimir functions and co-adjoint orbits on $L^*$. Via Pontryagin maximum principle, we describe abnormal extremals and derive a Hamiltonian system $\dot λ= \vec{H}(λ)$, $λ\in T^*G$, for normal extremals. We compute 10 independent integrals of $\vec{H}$, of which only 7 are in involution. After reduction by 4 Casimir functions, the vertical subsystem of $\vec{H}$ on $L^*$ shows numerically a chaotic dynamics, which leads to a conjecture on non-integrability of $\vec{H}$ in the Liouville sense.

연구 동기 및 목표

• 성장 벡터 (2,3,5,8)를 가진 자유 노름 군에서의 하위리만지안 지오데식 문제를 분석한다. 이는 히젠베르크 군과 카르노 군의 자연스러운 일반화이다.
• R^8 내 다항식 벡터장으로서의 리 대수의 명시적 다항식 실현을 구성한다. 대칭 및 비대칭 모델을 포함한다.
• 본드리아진 최대원리에 의해 정상 극값에 대한 해밀턴 시스템을 유도하고, 보존량을 식별한다.
• 정상 해밀턴 시스템의 통합 가능성성을 조사하고, 카시미르 함수에 의한 감소 이후의 역학을 분석한다.
• 감소된 수직 부분계에서 관측된 혼돈 행동으로 인해, 전체 시스템이 리우빌의 의미에서 비통합 가능성일 것이라는 추측을 제기한다.

제안 방법

• 그레이슨–그로스만 알고리즘과 원래의 대칭적 구성 방법을 사용하여, R^8 내 다항식 벡터장으로서 단계 4, 질량 2인 자유 노름 리 대수의 두 실현을 구성한다.
• G ≅ R^8 위에서 군의 곱셈 규칙을 유도하고, X₁, X₂로 정의된 왼쪽 불변 프레임에 대응하는 오른쪽 불변 프레임을 계산한다.
• T*G의 섬유 위에서 선형인 왼쪽 불변 및 오른쪽 불변 해밀턴 함수를 구성하고, L*에서의 카시미르 함수와 코어지그너드 오비트를 계산한다.
• 본드리아진 최대원리를 적용하여 비정상 극값을 특성화하고, T*G 위에서 dλ/dt = H̃(λ) 형태의 정상 해밀턴 시스템을 유도한다.
• 해밀턴 벡터장 H̃의 10개의 독립적 제1적분을 계산하였으며, 이 중 7개만 교환 관계를 만족한다.
• 카시미르 함수 4개로 감소시킨 후, L* 위의 수직 부분계를 수치적으로 분석하여 혼돈 역학을 관측한다.

실험 결과

연구 질문

• RQ1 성장 벡터 (2,3,5,8)를 가진 자유 카르노 군의 구조는 어떻게 되며, 이를 R^8 내 다항식 벡터장으로 어떻게 실현할 수 있는가?
• RQ2 이 군 위에서의 왼쪽 불변 하위리만지안 구조의 대칭성, 곱셈 규칙, 해밀턴 역학은 무엇인가?
• RQ3 정상 극값의 (2,3,5,8)-문제는 리우빌 통합 가능성이 있는가? 10개의 보존량은 어떤 역할을 하는가?
• RQ4 코어지그너드 오비트 위에서 감소된 해밀턴 시스템은 혼돈 행동을 보이며, 이는 비통합 가능성성을 시사하는가?
• RQ5 이 문제의 지오데식은 투영을 통해 낮은 차원의 하위리만지안 문제(예: 히젠베르크 군, 카르노 군)와 어떻게 관련이 있는가?

주요 결과

• 질량 2, 단계 4인 자유 노름 리 대수의 두 명시적 실현이 구성되었으며, 하나는 비대칭이고 다른 하나는 대칭적이다. 후자는 원점을 고정하는 일파라미터 대칭군을 가진다.
• G ≅ R^8 위에서 군의 곱셈 규칙이 명시적으로 계산되었고, 왼쪽 불변 프레임에 대응하는 오른쪽 불변 프레임이 유도되었다.
• 왼쪽 불변 및 오른쪽 불변 해밀턴 함수는 T*G 위에서 선형 함수로 구성되었으며, L* 위에서 4개의 카시미르 함수가 식별되었다.
• 본드리아진 최대원리를 통해 정상 해밀턴 시스템이 도출되었고, T*G 위에서 해밀턴 벡터장 H̃이 얻어졌다.
• H̃의 10개의 독립적 제1적분이 계산되었지만, 이 중 7개만 교환 관계를 만족하여 부분적 통합 가능성임을 시사한다.
• 카시미르 함수 4개로 감소시킨 후, L* 위의 수직 부분계는 수치적으로 관측된 혼돈 역학을 보이며, 이는 전체 시스템이 리우빌의 의미에서 비통합 가능성일 것이라는 추측으로 이어진다.