비제로 속도에서의 친화 연결 제어 시스템 접근성 특성화

초록

본 논문은 친화 연결 제어 시스템(ACCS)의 접근성 대수를 기존의 영속도(0 속도) 경우에서 확장하여, 비제로 속도를 갖는 특정 점들에 대해서도 완전한 특성화를 제공한다. 핵심 가정은 친화 연결이 대칭 폐쇄(Sym ∞(Y))에 제한된다는 것이며, 이를 통해 새로운 원시 리브라켓 집합을 정의하고, 접근성 분포를 명시적으로 기술한다. 결과는 평면 강체, 롤링 페니 등 다양한 기계 시스템에 적용되어 접근성 구조를 구체적으로 제시한다.

상세 분석

논문은 먼저 친화 연결 제어 시스템(ACCS)의 기본 정의를 제시한다. 여기서 시스템 Σ는 구성 다양체 Q, 친화 연결 ∇, 입력 벡터장 집합 Y={Y₁,…,Yᵣ}, 그리고 제어 집합 U⊂ℝʳ 로 구성된다. 동역학은 2차 미분 방정식 ∇_{γ′}γ′=∑ₐuᵃYₐ(γ) 로 표현되며, 이는 제트 공간 TQ 위의 1차 형태 Υ′=Z(Υ)+∑ₐuᵃYᵥₐ(Υ) 로 변환된다. 여기서 Z는 기하학적 스프레이, Yᵥₐ는 Yₐ의 수직 상승이다.

접근성 이론의 핵심은 Lie∞(Z,Yᵥ)의 전역 폐쇄이며, 영속도점(0_q)에서의 접근성 대수는 Theorem 2.3에 의해 Lie∞(Sym∞(Y))⊕Sym∞(Y) 로 분해된다. 이때 Sym∞(Y)는 Y에 대한 대칭 곱(∇_X Y+∇_Y X)으로 생성된 최소 분포이다. 기존 결과는 0_q에서만 성립했으며, 비제로 속도점에서는 연결 ∇이 Sym∞(Y) 위에 제한되는 추가 가정이 필요하다.

Section III에서는 새로운 원시 브라켓 집합을 제시한다. 임의의 v_q∈TQ에 대해 Lie∞(Z,Yᵥ){v_q}는 네 종류의 벡터장으로 생성된다. (1) Z 자체, (2) Sym∞(Y)의 수직 상승 A{v_q}, (3) ad^ℓ_Z(Sym∞(Y))의 수직 상승으로 구성된 B_{v_q}, (4) 위 두 집합을 포함하는 최소 리브라켓 폐쇄 C_{v_q}. 정리 3.1은 귀납적 증명을 통해 모든 고차 리브라켓이 이 네 종류의 선형 결합으로 표현됨을 보인다. 특히,