Dirac Structures and Reduction of Optimal Control Problems with Symmetries

기술 요약: 디락 구조와 대칭성을 가진 최적 제어 문제의 축약

문제 정의
본 논문은 최적 제어 문제(OCP)의 기하학적 정식화 및 대칭 축약을 다룬다. 구체적으로, 요시무라(Yoshimura)와 마스덴(Marsden)이 암시적 라그랑주 및 해밀턴 시스템을 위해 개발한 디락 구조(Dirac structures)의 축약 이론을 최적 제어 영역으로 확장하는 것을 목표로 한다. 핵심 과제는 리 군(Lie group)의 대칭성을 갖는 OCP를 축약하면서, 동시에 원래의 기하학적 역학과 기저가 되는 변분적 특성을 보존하는 것이다. 표준적인 폰트랴긴 최대 원리(PMP)의 프리심플렉틱(presymplectic) 축약은 자유도는 줄이지만 변분 정보를 상실하여, 축약된 해가 원래 비용 범함수의 극치(extremal)에 대응함을 보장하지 못하는 경우가 많다. 또한, 본 논문은 제어가 제거될 수 없는 퇴화(degeneracy) 상황인 "특이(singular)" 사례를 다루며, 이를 위해 제약 알고리즘(constraint algorithm)을 요구한다.

방법론
저자들은 PMP의 1차 필요 조건을 폰트랴긴 번들 $M = T^*P \times_P C$ 상의 암시적 디락 시스템으로 정식화한다. 방법론은 다음과 같은 몇 가지 주요 단계로 진행된다:

1. 디락 정식화: PMP를 프리심플렉틱 형식 $\Omega = pr_P^* \omega_P$와 연관된 정준 디락 구조 $D_\Omega$ 상의 디락 시스템 $(X_P, dH_P) \in D_\Omega$로 구성한다.
2. 대칭 축약: $G$-불변 OCP에 대해, 저자들은 리-디락(Lie–Dirac) 축약을 수행한다. 이들은 몫 코랑(quotient Courant) 알제브로이드 $(TM \oplus T^*M)/G$의 부분 번들로서 축약된 디락 구조 $[D_\Omega]_G$를 구성한다. 몫 다양체 상의 디락 구조로 투영하는 표준적인 축약과 달리, 이 접근 방식은 원래의 극치를 재구성하는 데 필요한 데이터(구체적으로 공수반(coadjoint) 및 수반(adjoint) 번들 성분)를 유지한다.
3. 변분적 축약 vs. 기하학적 축약: 축약된 방정식은 두 가지 독립적인 경로를 통해 유도된다:
   • 라그랑주-폰트랴긴 변분 원리를 직접 축약함.
   • 디락 구조와 해밀토니안을 직접 축약함.
     본 논문은 이 두 절차가 동일한 축약 방정식을 산출함을 증명한다.
4. 제약 알고리즘: 해밀토니안의 헤시안(Hessian)이 제어에 대해 퇴화하는 특이 문제(singular problems)를 위해, 저자들은 고테이-네스터-하인즈(Gotay–Nester–Hinds) 제약 알고리즘을 디락 기하학적 형태로 변형하여 적용한다. 저자들은 이 알고리즘이 대칭 축량과 교환(commute)됨을 증명하며, 이에 따라 알고리즘을 축약된 공간 상에서 실행할 수 있다.
5. 비정상 극치(Abnormal Extremals): 상태 공간을 비용 변수(Mayer form)를 포함하도록 확장함으로써, 정규(normal) 및 비정상(abnormal) 극치를 통일적으로 다룬다. 이들은 기저 공계수(base costate)가 $p_z = 0$인 잎(leaf) 위에 존재하는 해로서 비정상 극치를 식별한다.

주요 기여 및 결과

• 축약의 동등성: 주요 이론적 결과(정리 4)는 변분 원리의 축약과 디락 구조의 축약이 동일한 축약 폰트랴긴 최대 원리 방정식을 도출함을 확립한다. 이 방정식들은 아티야(Atiyah) 알제브로이드 $TP/G$의 쌍대 공간 상의 해밀턴 방정식으로 식별되며, 마르티네스(Martínez) 및 그라보스키-요즈위코프스키(Grabowski–Jóźwikowski)의 정식화를 회복하지만, 여기서는 디락 기하학을 통해 유도되었다.
• 축약과 제약의 교환성: 정리 5는 특이 시스템에 관한 본 논문의 주요 새로운 결과이다. 이는 대칭 축량이 제약 알고리즘과 교환됨을 증명한다. 결과적으로, 특이 문제의 경우 제약 알고리즘을 축약된 공간에서 실행할 수 있으며, 축약되지 않은 제약 부분 다양체는 풀백(pullback)에 의해 회복될 수 있다.
• 축약된 방정식의 기하학적 구조: 축약된 방정식 (26)은 축약되지 않은 PMP와 구별되는 두 가지 항을 명시적으로 보여준다:
  1. 주 연결(principal connection)의 곡률 $F_A$를 포함하는 곡률 항.
  2. 리 대수의 구조(구체적으로 $ad^*_\xi \mu$)를 포함하는 공수반 항.
     본 논문은 이러한 항들이 디락 축약 과정으로부터 자연스럽게 발생함을 입증한다.
• 비정상 극치의 특징 규명:
  • 위치: 제어 선형 시스템(control-linear systems)에서, 비정상 극치는 기저 공계수가 소멸하는 잎을 점유한다.
  • 장애(Obstruction): 알고리즘의 첫 번째 이차 제약은 곡률 패링(curvature pairing) $\langle \mu, F_A \rangle$의 퇴화이다 (정리 6). 이는 비정상성(abnormality)에 대한 장애를 연결의 곡률과 직접적으로 연결시킨다.
  • 엄격성(Strictness): 저자들은 비정상 극치가 엄격하게 비정상인지(즉, 정규 리프트가 존재하지 않는지) 결정하는 기준(정리 8)을 제공한다. 이는 평행한 공수반 승수(parallel coadjoint multiplier)가 웡(Wong)의 방정식을 만족하는지에 달려 있다.
• 이차 이론: 아벨 구조군(abelian structure groups)에 대해, 저자들은 비정상 극치를 위한 축약된 지표 형식(reduced index form)을 유도한다 (정리 9). 이 형식은 메트릭-프리(metric-free)이며 곡률 및 그 공변 미분에 의해서만 결정된다. 이는 허용 가능한 곡선을 분석하기 위한 삼분법(trichotomy, 정리 10)으로 이어진다: 곡률을 통한 비정상성 테스트, 축약된 레전드르 형식(Legendre form)을 통한 경직성(rigidity) 테스트, 그리고 평행성 장애를 통한 엄격성 테스트.

예시
이론은 축약된 방정식의 다양한 측면을 시험하는 세 가지 예시를 통해 검증된다:

1. 내부 로터를 가진 강체 우주선: 비가환 대칭 군($SO(3)$)을 가지나 평탄한 연결(flat connection)을 가진 시스템이다. 여기서 곡률 항은 소멸하며, 역학은 공수반 항에 의해 지배된다.
2. 하이젠베르크 군 측지선: 아벨 대칭 군(하이젠베르크 군의 중심)을 가지나 비평탄 곡률을 가진 시스템이다. 여기서 공수반 항은 소멸하며, 역학은 (자기장 역할을 하는) 곡률 항에 의해 지배된다.
3. 마르티네(Martinet) 문제: 곡률이 초곡면(hypersurface) 상에서 퇴화하는 시스템이다. 이 예시는 정규 및 비정상 극치 사이의 상호작용을 보여주며, 곡률 퇴화 궤적이 어떻게 비정상 곡선을 포함하는지, 그리고 메트릭에 의존하는 이차 조건에 의해 엄격성을 어떻게 결정할 수 있는지를 보여준다.

의의 및 주장
본 논문은 주요 기여가 축약된 방정식 자체(이는 리 알제브로이드 맥락에서 이미 알려져 있음)에 있는 것이 아니라, 이들을 통합하는 디락 기하학적 프레임워크에 있다고 주장한다. 구체적으로:

• 제약 알고리즘과 대칭 축량이 자연스럽게 상호작용하는 프레임워크를 제공한다.
• 대칭 축량이 제약 알고리즘과 교환됨을 증명하며, 이는 이전에는 이 정도의 일반성으로 확립된 바 없는 결과이다.
• 비정상성에 대한 장애를 곡률 패링의 퇴화로 해석하는 기하학적 해석을 제공한다.
• 비정상 극치를 위한 이차 이론을 축약된 변수 상에서 제공하여, 기하학적(곡률 기반) 제약과 메트릭 기반의 최적성 조건을 분리한다.

저자들은 비정상 최소화자의 일반적인 정칙성(regularity) 문제를 해결하거나 모든 경우에 대한 최소성 충분 조건을 제공하려는 것이 아니라, 오히려 축약된 시스템과 축약되지 않은 시스템 사이의 관계 및 기하학적 구조를 명확히 하는 데 목적이 있음을 명시한다. 본 연구는 대칭 최적 제어 문제의 축약 그림을 완성하며, 변분 원리, 디락 기하학, 그리고 특이 제어의 분석 사이의 간극을 메우는 작업으로 제시된다.