상태 제약 최적 제어에서 영 측정 완화 간극의 존재와 그 메커니즘

초록

본 논문은 부드러운 서브리만 구조와 단위 구 내부의 상태 제약을 갖는 제어 시스템에서, 비볼록 실행 비용이 존재할 경우 영 측정(Young measure) 완화와 실제 제어 최적화 사이에 비용 차이, 즉 완화 간극이 발생함을 보이는 반례를 제시한다. 특히 경계 근처에서 admissible curve가 근접 곡선으로 근사되지 못하는 현상을 이용해 Filippov‑Ważewski 정리의 실패를 입증하고, 점유 측정(occupation measure) 완화에서도 동일한 간극이 나타남을 확인한다.

상세 분석

이 논문은 상태 제약이 있는 최적 제어 문제에서 영 측정 완화가 기존의 미분 포함(convexified differential inclusion)과 동일한 비용을 제공하는가라는 근본적인 질문에 답한다. 저자들은 먼저 제어 벡터장이 두 개의 부드러운 벡터장 f₁, f₂ 로 구성된 서브리만 구조를 가정한다. 이 구조는 Lie bracket을 통해 전 공간을 생성하므로 완전 제어 가능(controllable)하며, 차원 d≥4인 경우 단계(step)가 d‑2인 자유 자유도(free) 서브리만 구조가 된다. 상태 제약 집합 Ω는 단위 구의 폐포이며, 초기점 x₀는 내부에 놓인다.

핵심은 “특수한 admissible curve” γ를 구성하는데, 이는 f₁에만 따라 직선으로 진행한다(γ′=f₁). 저자들은 Ω를 γ를 중심으로 나선형으로 뒤틀어, γ가 경계와 접하도록 설계한다. 이렇게 하면 γ 자체는 제약을 만족하는 admissible curve이지만, γ와 동일한 위치·속도를 갖는 근접 곡선은 Ω 내부에서 충분히 움직일 자유가 없어 반드시 더 복잡한 궤적을 취해야 한다. 특히, 제어 입력을 두 개의 극값 (1,±1) 로 교번하는 영 측정 νₜ =½(δ_{(1,1)}+δ_{(1,−1)}) 를 사용하면 평균 속도가 f₁와 동일해 γ와 같은 위치 변화를 얻을 수 있다. 그러나 비용 함수 L은 제어 변수에 대해 네 개의 “우물”(well) 구조를 갖는 비볼록 함수로, (1,0) 에 대한 비용이 (1,±1) 혼합에 비해 크게 설정된다. 따라서 실제 제어 u(t)=(1,0) 로 따라가는 γ는 비용이 높고, 영 측정 νₜ 로 얻는 평균 속도는 비용이 낮아 M_y < M_c 가 된다.

이와 같은 간극은 두 가지 메커니즘을 통해 발생한다. 첫째, 상태 제약이 경계 근처에서 inward‑pointing 조건(Soner‑type inward pointing condition)을 위반함으로써 Filippov‑Ważewski 정리의 전제조건이 깨진다. 저자들은 이를 정리 5에서 명시적으로 증명하고, γ∈S^r_Ω(x₀) (convexified inclusion) 에 속하지만 S_Ω(x₀) (원래 inclusion) 에는 속하지 않는 점을 찾아낸다. 둘째, 비용 함수의 비볼록성으로 인해 영 측정이 제공하는 “혼합” 제어가 실제 제어보다 비용적으로 우월해진다.

또한 논문은 Lagrange형(런닝 코스트만 존재), Bolza형(런닝 코스트와 터미널 코스트 모두 존재), Mayer형(터미널 코스트만 존재) 문제에 대해 각각 간극이 존재함을 보인다. 특히 Mayer형에서는 제어 집합 U가 비볼록이지만, f(x,U) 자체가 비볼록이 되도록 설계해 점유 측정 완화에서도 동일한 현상이 나타난다. 마지막으로, 전역적인 ℝ^d 로 확장했을 때는 상태 제약이 없으므로 M_c = M_y 가 성립함을 보여, 간극이 순수히 상태 제약과 경계 구조에 기인함을 강조한다.

이 연구는 기존에 알려진 “도달성(reachability)”에 의한 간극과는 구별되는 새로운 유형을 제시한다. 즉, 목표 집합이 내부에 있음에도 불구하고, 경계 근처의 기하학적 구조가 제어 궤적의 근사 가능성을 차단한다는 점에서, 실제 제어 설계와 수치적 최적화(특히 순간-다항식(SOS) 기반 점유 측정 방법)에서 주의가 필요함을 시사한다.