경계 제어 시스템의 무한 시간 영 에너지 제로 제어

초록

본 논문은 힐베르트 공간 위의 선형 시스템이 일정 시간 이후에 영 상태로 전이될 수 있는지와, 그 전이에 필요한 최소 제어 에너지가 시간이 무한히 커짐에 따라 0으로 수렴하는 조건을 연구한다. 특히 경계 혹은 점 제어가 적용되는 파라볼릭·하이퍼볼릭 시스템을 포함한 일반적인 비유한 제어 시스템에 대해, 연산자 부등식과 안정적인 정규화 문제를 이용해 스펙트럼 조건과 감소 부분공간 존재 여부가 “무한 시간 영 에너지 제로 제어(NCVE)”와 동치임을 보인다.

상세 분석

논문은 먼저 힐베르트 공간 (H) 위에 정의된 비유한 제어 시스템 (\dot y =Ay+Bu) 를 고려한다. 여기서 (A)는 (C_{0})-반드시반군을 생성하고, (B)는 입력공간 (U)에서 ((\operatorname{dom}A^{*})’) 로 연속선형 사상이다. 핵심 가정인 Hypothesis 1.1은 (B)가 (L^{2}(0,T;U)) 를 (L^{2}(0,T;H)) 로 연속적으로 매핑함을 요구한다. 이는 분산 제어뿐 아니라 경계 제어(예: 파라볼릭 방정식의 노말 미분 연산자)에도 적용 가능하도록 설계되었다.

저자는 “null controllability”와 “NCVE”(null controllability with vanishing energy)를 명확히 구분한다. 전자는 어떤 초기 상태 (y_{0})를 유한 시간 (T) 안에 영 상태로 만들 수 있음을 의미하고, 후자는 같은 목표를 달성하면서 제어 입력의 (L^{2})-노름을 임의의 작은 (\varepsilon>0) 이하로 만들 수 있음을 뜻한다. 이 두 개념 사이의 관계를 스펙트럼 분석과 연산자 부등식(Linear Operator Inequality, LOI)을 통해 규명한다.

첫 번째 주요 결과(Theorem 1.5)는 시스템에 감소 부분공간 (E)가 존재하고, 그 위에서 (-A)가 지수적으로 안정적인 군을 생성하면 NCVE가 불가능함을 보인다. 이는 스펙트럼에 실부가 양인 고유값이 존재하면 해당 고유공간이 감소 부분공간이 되어 위 조건을 만족한다는 Corollary 1.6 로 구체화된다.

두 번째 주요 결과(Theorem 1.7)는 반대로, (H)를 두 개의 폐 부분공간 (H_{s})와 (H_{1}) 로 직합하고, (H_{s}) 위에서 반군이 지수적으로 수렴하며, (H_{1})에 포함된 모든 일반화 고유벡터가 선형적으로 조밀한 경우(즉, 스펙트럼이 실부 (\le0) 로 제한될 때) null controllability이 있으면 NCVE가 성립함을 증명한다. 이 증명은 안정적인 정규화 문제와 LOI의 최신 결과를 활용한다.

결과적으로, 시스템이 “eventually compact”(일정 시간 이후 콤팩트 연산자)라면 스펙트럼이 유한하거나 빈 집합이 되므로 위 두 정리를 결합해 스펙트럼 조건만으로 NCVE와 null controllability의 동치성을 얻는다(Corollary 1.8). 이는 기존 Priola‑Zabczyk 논문에서 Riccati 방정식에 의존하던 접근법을 탈피하고, 보다 일반적인 비유한 제어 상황에 적용 가능하게 만든다.

또한, 논문은 파라볼릭 방정식의 경계 제어와 하이퍼볼릭 방정식의 점 제어 등 구체적인 PDE 모델에 적용 예시를 제시한다. 특히, 경계 제어가 적용된 열 방정식에서 (B)가 트레이스 연산자를 통해 정의되지만, Hypothesis 1.1을 만족함을 확인하고, 스펙트럼이 음의 실부에 포함될 경우 NCVE가 성립함을 보인다.

전체적으로 이 연구는 비유한 제어 시스템에서 에너지 최소화와 장기 제어 가능성을 연결짓는 새로운 이론적 틀을 제공한다. 스펙트럼 분석, 감소 부분공간 구조, 그리고 LOI 기반 정규화 문제 해법을 결합함으로써, 기존 결과를 일반화하고 실제 PDE 제어 설계에 직접 활용할 수 있는 기준을 제시한다.