1차원 공간에서 경계 제어 시스템의 완비성 및 정확 제어성 연구

초록

본 논문은 1차원 공간 구간에 정의된 경계 제어·관측 시스템의 완비성(웰-포즈드) 조건을 완전히 규명하고, 완비성에 더해 전제 제어와 관측이 모두 만족될 경우 정확 제어성 및 정확 관측성을 보장함을 증명한다. 주요 결과는 포트-해밀토니안 구조를 이용한 전이 함수의 수평선 상 유계성 조건이며, 이를 Euler‑Bernoulli 빔 모델에 적용해 구체적인 예시를 제시한다.

상세 분석

논문은 먼저 경계 제어·관측 시스템을 추상적인 연산자 삼중쌍 (A,B,C) 로 모델링하고, 기존 문헌에서 제시된 웰-포즈드 정의와 전이 함수 G(s)의 역할을 정리한다. 특히 임피던스 수동성(impedance passivity)을 만족하는 경우, 시스템의 완비성은 오른쪽 반평면의 수직선 상에서 전이 함수가 유계임을 의미한다는 정리를 재정리하고, 이를 일반적인 P₂·∂²/∂ζ² + P₁·∂/∂ζ + P₀(ζ) 형태의 PDE에 확대한다. 여기서 P₂, P₁, P₀는 행렬 계수이며, H(ζ)는 에너지 가중치 행렬이다. 기존 연구는 P₂=0 혹은 P₁ 가역인 특수 경우에만 완비성을 증명했으나, 저자들은 P₂≠0인 일반적인 경우에도 전이 함수의 유계성을 검증할 수 있는 충분·필요 조건을 제시한다. 핵심은 연산자 A₀ (경계 조건을 만족하는 제한 연산자)의 스펙트럼과 B, C 연산자의 정규성, 그리고 B와 C가 정의하는 트레이스 연산자 τ와의 상호작용을 정밀히 분석하는 데 있다.

특히, 전이 함수 G(s)=C(sI−A₀)^{-1}(AB−sB)+CB 를 이용해, s가 충분히 큰 실수부를 가질 때 ‖G(s)‖이 유계임을 보이는 것이 완비성의 필요충분조건임을 증명한다. 이를 위해 저자들은 (i) A₀가 C₀-반군을 생성함을 보이고, (ii) B와 C가 각각 유한 차원 입력·출력 공간에 대해 admissible 하며, (iii) 전이 함수가 오른쪽 반평면에 연속적으로 확장될 수 있음을 보인다. 또한, 전이 함수의 유계성은 시스템이 정규(regular)임을 의미하고, 정규성은 피드백 연산자 F가 존재할 때 폐루프 시스템도 완비성을 유지한다는 점을 Lemma 2.3, Theorem 2.3을 통해 일반화한다.

다음으로, 완비성에 더해 전제 제어(full control)와 전제 관측(full observation)이 동시에 성립할 경우, 시스템은 정확 제어(exact controllability)와 정확 관측(exact observability)을 만족한다는 새로운 정리를 제시한다. 여기서 전제 제어는 입력 공간 U가 상태 공간 X 전체를 도달 가능하게 함을, 전제 관측은 출력 공간 Y가 상태를 완전히 재구성할 수 있음을 의미한다. 저자들은 이 두 조건을 전이 함수 G(s)의 영점(zero)와 극점(pole) 구조와 연결시켜, G(s) 가 특정 복소평면 영역에서 전사(surjective) 및 전단사(isomorphic)임을 보임으로써 정확 제어·관측성을 증명한다.

마지막으로, 이론을 Euler‑Bernoulli 빔 모델에 적용한다. 빔 방정식은 P₂=EI, P₁=0, P₀=0 형태이며, H(ζ)는 단위 질량·탄성 행렬이다. 경계에서의 힘과 모멘트 입력을 B 행렬로, 변위와 기울기 출력을 C 행렬로 설정하고, 전이 함수의 유계성을 직접 계산한다. 결과적으로, 제시된 조건을 만족하는 경우 빔 시스템은 완비이며, 동시에 전제 제어·관측이 가능해 정확 제어와 정확 관측을 달성한다는 것을 확인한다. 이 예시는 이론적 결과가 실제 물리 시스템에 어떻게 적용될 수 있는지를 명확히 보여준다.

전반적으로 논문은 경계 제어·관측 시스템의 완비성에 대한 새로운 충분·필요 조건을 제시하고, 이를 통해 정확 제어·관측성을 보장하는 일련의 정리를 체계적으로 전개한다. 특히 포트-해밀토니안 프레임워크와 전이 함수 분석을 결합한 접근법은 기존 연구의 제한을 뛰어넘어 보다 일반적인 PDE 시스템에 적용 가능함을 증명한다.