빠른 진동 제어 시스템의 평균화와 최소시간 최적화

본 논문은 빠른 진동을 갖는 제어 시스템과 작은 제어 입력을 가진 주기적 궤도 시스템을 대상으로, 제어 입력 자체를 평균화 과정에 포함시킨 새로운 평균 제어 시스템을 정의하고 그 수학적 성질을 체계적으로 분석한다. 1. **문제 설정** - **Fast‑oscillating control system**: ˙x = Σ_{i=1}^m u_i X_i(t/ε, x), ‖u‖≤1, 여기서 X_i(θ,x)는 S¹×M → TM 에서 C^∞ 로 정의된 주기적 벡터장이다. - **Kepler control system**: ˙ξ = f₀(ξ) + Σ_{i=1}^m v_i f_i(ξ), ‖v‖≤ε, 여기서 f₀의 흐름이 주기적이며 ε→0 일 때 작은 제어가 적용된다. 2. **평균 제어 시스템 정의** - 모든 L^∞(S¹,ℝ^m) 함수 U(θ) (‖U‖∞≤1)에 대해 평균 벡터장 Ḡ(x,U)= (1/2π)∫_{0}^{2π} G(θ,x)U(θ)dθ 를 정의한다. - 각 상태 x∈M 에서 가능한 속도 집합을 E(x)= {Ḡ(x,U) | U∈L^∞,‖U‖∞≤1} 로 정의하고, 평균 제어 시스템을 미분 포함 ˙x ∈ E(x) 로 기술한다. - Proposition 3.3 은 E(x)가 볼록·콤팩트·원점 대칭임을 보이며, 이는 Ḡ가 L^∞ 단위볼을 선형 사상으로 보내는 결과이다. 3. **기하학적 특성 및 지원함수** - 지원함수 H(x,p)= (1/2π)∫_{0}^{2π} ‖p·G(θ,x)‖ dθ 를 도입한다. - Proposition 3.4 에서 E(x)= {v∈T_xM | ⟨p,v⟩ ≤ H(x,p) ∀p∈T_x^*M} 로 표현하고, H(x,p)= sup_{U,‖U‖∞≤1} ⟨p, Ḡ(x,U)⟩ 로도 쓸 수 있음을 보인다. - 이 식을 통해 E(x)의 차원을 G_i들의 선형 독립성에 따라 결정한다. 특히, G_i가 전역적으로 선형 독립이면 dim E(x)=n 이 되고, 평균 시스템은 모든 방향을 허용하는 Finsler 계량을 정의한다. 다만 H는 일반적으로 C²가 아니므로 전통적인 Finsler 구조와는 차이가 있다. 4. **수렴 정리** - **Theorem 3.7 (Convergence)** 1) 임의의 평균 시스템 해 x₀(t)에 대해, 측정 가능한 선택 함수 b_u₀(t,θ) (‖b_u₀‖∞≤1) 를 이용해 u_ε(t)= (1/2π)∫ b_u₀(t+εμ(θ), t/ε)dθ 로 정의하면, 원 시스템의 해 x_ε(t) 가 ‖x_ε(t)-x₀(t)‖ ≤ Cε 로 균등 수렴한다. 여기서 μ(θ)는 각도 정규화 함수이며, Lemma 3.9 를 통해 시간-각도 변환에 따른 오차 Δ_ε 를 정밀히 제어한다. 2) 반대로, ε_n→0 인 수열에 대해 원 시스템의 해 x_n(t) 가 균등 수렴한다면, 그 극한은 반드시 평균 시스템의 해가 된다. 이는 미분 포함의 다중값성 때문에 기존 ODE 평균화 결과보다 복잡하지만, 측정 가능한 선택 정리를 이용해 증명한다. 5. **최소시간 최적 제어와 해밀토니안 평균화** - 최소시간 문제에 대해 Pontryagin 최대 원리에서 얻는 해밀토니안 H_max(x,p,θ)= max_{‖u‖≤1} ⟨p, G(θ,x)u⟩ 를 평균화하면 H̄(x,p)= (1/2π)∫ ‖p·G(θ,x)‖ dθ 가 된다. - 비록 H̄가 전역적으로 Lipschitz가 아니지만, 비퇴화 가정(예: E(x) 차원 최대) 하에 코탄젠트 번들 위에서 해밀토니안 흐름이 존재함을 증명한다(Section 5). 이는 최소시간 궤적의 극한이 평균 시스템의 지오데시와 일치함을 의미한다. 6. **응용: 저추력 궤도 전이** - Kepler 시스템에 위 이론을 적용해, 평균화된 Finsler 계량을 계산하고, 그 지오데시가 실제 저추력 궤도 전이 최적 경로에 수렴함을 시뮬레이션으로 확인한다. 이 경우 E(x)의 차원이 최대이므로 평균 시스템은 완전한 Finsler 구조를 제공한다. 7. **기술적 보조 결과** - Lemma 3.9 는 시간-각도 변환 시 발생하는 경계 항을 정밀히 추정한다. - Proposition 3.5 는 평균 시스템 해와 대응되는 측정 가능한 제어 b_u(t,θ) 가 존재함을 보이며, 이는 미분 포함을 실제 제어 시스템 형태로 재구성하는 데 핵심이다. - Remark 3.8 은 비선형(affine) 제어 입력을 포함하도록 평균 시스템을 확장하는 방법을 제시한다. 8. **결론 및 전망** - 제어 입력을 평균화 단계에 포함함으로써, 고주파 진동 시스템의 해를 정확히 근사하는 새로운 프레임워크를 제공한다. 이는 기존의 Lie‑bracket 근사, 고주파 진동 제어, 비선형 최적 제어 분야에 이론적·실용적 기여를 한다. 향후 연구에서는 비퇴화 경우의 정밀한 정규성 분석, 다중시간 스케일 시스템에 대한 확장, 그리고 실시간 구현을 위한 수치 알고리즘 개발이 기대된다.