[논문 리뷰] Controllability of linear systems on Lie groups with finite semisimple center

Adriano Da Silva, Víctor Ayala|arXiv (Cornell University)|2016. 01. 04.

advanced mathematical theories참고 문헌 2인용 수 3

한 줄 요약

이 논문은 유한한 단순 중심을 가진 연결 리군 위의 선형 제어 시스템의 가역성에 대한 충분조건을 확립한다. 만약 드리프트 도함수 𝒟가 순수 허수 고유값을 가지며(실수부가 0), 항등원에서 도달 가능한 집합의 내부가 비어 있지 않다면, 시스템은 가역적임을 증명한다. 이 결과는 가해성 및 노름군에 대한 이전 연구를 확장하며, 회전하는 평면 위를 굴러가는 구와 같은 물리적 시스템에 적용 가능하다.

ABSTRACT

In this paper we extend the results on controllability of linear systems obtained in "Controllability of linear systems on solvable Lie groups", from solvable Lie groups to Lie groups with finite semisimple center.

연구 동기 및 목표

• 가해성 및 노름군의 경우를 초월하여, 일반 리군 위의 선형 시스템에 대한 가역성 결과를 확장하기 위해.
• 일반 리군 위의 선형 시스템에서 가역성이 흔치 않으며 국소적이지 않은 데 대한 과제를 다루기 위해.
• 군이 유한한 단순 중심을 가질 때, 가역성이 성립하는 대수적 조건을 규명하기 위해.
• 굴러가는 구가 회전하는 평면 위에 있는 것과 같은 물리적 시스템에 적용 가능한 프레임워크를 제공하기 위해.
• ad-랭크 조건과 가용성 집합 분석을 더 넓은 범주로 일반화하기 위해.

제안 방법

• 연결 리군 G와 그 리 대수 𝔤 위의 선형 시스템을 분석하며, 𝔤-도함수 𝒟에 의해 유도된 선형 벡터장 𝒳에 의해 구동됨.
• 𝒟의 일반화된 고유공간으로 𝔤를 분해하며, 특히 실수부가 0인 고유값에 대응하는 영고유공간 𝔤⁰에 초점을 맞춤.
• G가 유한한 단순 중심을 가진다는 조건을 적용하여, G⁰ = ⟨exp(𝔤⁰)⟩ 가 도달 가능한 집합 𝒜에 포함됨을 보장함.
• 핵심적인 구조적 가정으로서 ad-랭크 조건과 가용성 집합의 열린성(e ∈ int𝒜ₜ₀ for some τ₀ > 0)을 활용함.
• 제어 집합 이론과 반군 구조 이론을 적용하며, [6]의 결과를 활용하여 𝒜가 반군이 되는 것은 𝒜 = G일 때에만 성립함을 이용함.
• 𝒟의 모든 고유값이 실수부가 0이면, 𝔤⁰ 상의 동역학이 중립적이므로 가역성이 가능해짐을 이용함.

실험 결과

연구 질문

• RQ1 유한한 단순 중심을 가진 연결 리군 위의 선형 제어 시스템이 어떤 조건에서 가역적인가?
• RQ2 도함수 𝒟의 스펙트럼이 시스템의 가역성에 어떻게 영향을 미치는가?
• RQ3 가해 리군에 대한 가역성 결과를 유한한 단순 중심을 가진 비가해 군으로 확장할 수 있는가?
• RQ4 가용성 집합의 내부(e ∈ int𝒜ₜ₀)는 전역 가역성을 확보하는 데 어떤 역할을 하는가?
• RQ5 굴러가는 구가 회전하는 평면 위에 있을 때, 이를 G = ℝ² × SO(3) 위의 선형 시스템으로 어떻게 모델링하고 제어할 수 있는가?

주요 결과

• 만약 리군 G가 유한한 단순 중심을 가지며, 드리프트 도함수 𝒟의 고유값이 모두 실수부가 0이면, 어떤 τ₀ > 0에 대해 e ∈ int𝒜ₜ₀ 이면 시스템은 가역적이다.
• 실수부가 0인 고유값에 대응하는 𝒟의 일반화된 고유공간 𝔤⁰에 의해 생성되는 부분군 G⁰ = ⟨exp(𝔤⁰)⟩ 는 도달 가능한 집합 𝒜에 포함된다.
• 이 결과는 이전에 가해 리군에 대해 동일한 스펙트럼 조건과 열린성 조건이 가역성을 보장한다는 점에서 일반화된 결과이다.
• 회전하는 평면 위를 굴러가는 구의 경우, G = ℝ² × SO(3) 위의 𝔰𝔬(3)-동차 선형 시스템으로 모델링되며, 스펙트럼 조건과 유한한 단순 중심 조건으로 인해 가역성이 성립한다.
• 논문의 식 (6)은 𝒟의 스펙트럼이 {0, ±ωi}이며, ad-랭크 조건이 성립하고 G가 유한한 단순 중심을 가지므로 가역적이다.
• 𝒟 = ad(Y)이고 제어가 Z에 대해 이루어지는 SL(2,ℝ)의 예에서는 Spec(𝒟) = {0} 이면 ad-랭크 조건과 스펙트럼 조건이 충족되므로 가역성이 성립한다.