Well-posedness and passivity for a class of bilinear control systems

기술 요약: 일련의 쌍선형 제어 시스템에 대한 적정성(Well-Posedness) 및 수동성(Passivity)

문제 정의
본 논문은 선형 시스템과 진정한 비선형 시스템 사이의 중간 단계에 위치하는 추상적 무한 차원 쌍선형 제어 시스템의 분석을 다룬다. 이러한 시스템은 지역 난방, 양자 제어, 확산 과정 등 다양한 응용 분야에서 발생한다. 구체적인 수학적 과제는 제어 연산자가 유계가 아닐 수 있는 시스템에서 적정성(존재성, 유일성, 데이터에 대한 연속 의존성)과 수동성 특성을 확립하는 것이다. 수동성은 무한 차원 선형 시스템과 유한 차원 쌍선형 시스템에 대해서는 잘 이해되어 있으나, 유계가 아닌 제어 및 관측 연산자를 갖는 무한 차원 쌍선형 시스템에 대한 이론은 아직 미비한 상태이다. 주요 어려움은 적절한 공동 위치 출력(co-located output)을 정의하는 것과, 제어 입력을 통해 생성자(generator)가 시간에 따라 변하는 비자율적(non-autonomous) 특성을 처리하는 것이다.

방법론
저자들은 바나흐 공간(Banach space)과 힐베르트 공간(Hilbert space) 내의 함수 해석적 프레임워크를 사용한다.

1. 시스템 정식화: 연구는 다음과 같은 추상적 시스템 $(\Sigma)$에 집중한다:
   $$\dot{x}(t) = Ax(t) + B_1 F(u_1(t), x(t)) + B_2 u_2(t), \quad x(0) = x_0$$
   여기서 $A$는 바나흐 공간 $X$ 상에서 $C_0$-세미그룹을 생성하며, $B_1$과 $B_2$는 외삽 공간(extrapolation space) $X_{-1}$으로 매핑되는 제어 연산자이고, $F$는 유계 쌍선형 매핑이다.
2. 허용성(Admissibility): 분석은 $L^p$-허용 제어 연산자의 개념에 크게 의존한다. 이를 통해 (경계 제어에서 전형적인) 유계가 아닌 연산자 $B_1$과 $B_2$를 다룸으로써, 입력-상태 맵이 상태 공간 $X$ 내에서 잘 정의되도록 보장한다.
3. 해 이론(Solution Theory):
   • 약해(Mild Solutions): 제어 연산자의 허용성을 활용하여, 연속 함수 공간에서의 고정점 논증을 통해 전역 약해의 존재성과 유일성을 확립한다.
   • 고전해(Classical Solutions): 입력에 더 높은 정칙성($W^{1,p}_{loc}$)을 부과하고 초기 데이터에 대한 호환성 조건을 설정함으로써 존재 결과를 고전해($C^1$ 시간 미분 가능)로 확장한다. 이는 해의 미분을 상세히 분석하고, 전역 존재성을 보장하기 위해 그론월(Gronwall) 부등식을 사용하는 과정을 포함한다.
   • 연속 의존성: 초기 상태와 입력 함수에 대한 해의 연속 의존성을 증명하기 위해 사전 추정치(a priori estimates)를 도출한다.
4. 수동성 분석:
   • 프레임워크는 에너지 저장 함수와 공동 위치 출력을 정의하기 위해 힐베르트 공간으로 특수화된다.
   • 유계 연산자의 경우, 생성자 $A$의 소산성(dissipativity)으로부터 수동성이 직접 도출된다.
   • 유계가 아닌 연산자의 경우, 저자들은 자기 수반적(self-adjoint) 음의 연산자 $A$와 관련된 분수 인터폴레이션 및 외삽 공간($X_{1/2}$ 및 $X_{-1/2}$)을 활용한다. 이를 통해 개별 항이 $X$에 속하지 않더라도 듀얼리티 페어링(duality pairing)을 통한 에너지 균형 항등식을 공식화할 수 있다.

주요 기여 및 결과

1. 바나흐 공간에서의 적정성: 본 논문은 허용 제어 연산자를 갖는 추상 쌍선형 시스템의 전역 약해에 대한 엄밀한 존재성 및 유일성 정리를 제공한다. 또한, 입력이 소볼레프 공간에 있고 특정 호환성 조건을 만족할 때 이 해들이 고전해가 되는 조건을 확립한다.
2. 연속 의존성: 초기 데이터와 제어 입력의 섭동에 대해 해의 맵이 연속적임을 증명하며, 이는 제어 설계 및 안정성 분석에 있어 필수적인 성질이다.
3. 수동성 정리: 수동성에 관한 주요 기여는, 허용 제어 연산자를 갖는 힐베르트 공간 내의 시스템이 적절히 정의된 공동 위치 출력에 대해 수동적이라는 정리이다. 여기서 저장 함수는 상태의 제곱 노름(또는 유계가 아닌 연산자의 경우 가중 노름)으로 식별된다.
   • 유계 연산자의 경우, 결과는 고전해에 대해 성립하며 밀도 논증을 통해 약해로 확장된다.
   • 유계가 아닌 연산자(특히 $A$가 자기 수반적이고 음수인 경우)의 경우, 분수 공간을 사용하여 결과가 확립되며, 에너지 균형이 $X_{-1/2}$와 $X_{1/2}$ 사이의 듀얼리티 페어링 의미에서 성립함을 보여준다.
4. 응용: 이론적 결과는 세 가지 물리 모델의 수동성을 검증하는 데 적용된다:
   • 쌍선형 슈뢰딩거 방정식: 유계 곱셈 연산자를 갖는 경우 수동적임을 입증하였다.
   • 포커-플랑크 방정식: 시스템을 생성자가 자기 수반적이고 음수인 형태로 동형 사상(isomorphism)을 통해 변환함으로써 수동성을 보여준다.
   • 지역 난방 파이프: 파이프 내 온도 진화를 기술하는 쌍선형 모델이 유동 속도가 쌍선형 제어 항으로 작용할 때 수동적임을 보여준다.

의의 및 주장
본 논문은 유계가 아닌 제어 연산자가 존재하는 상황에서 적정성과 수동성 사이의 간극을 메움으로써 무한 차원 쌍선형 시스템 이론에 기여한다고 주장한다. 저자들은 자신들의 결과가 이러한 시스템의 수동성 기반 피드백 설계 및 안정화의 토대를 제공한다고 밝힌다. 쌍선형 구조를 수동성 프레임워크에 통합하면서도 적정성을 훼손하지 않음으로써, 본 연구는 유한 차원 쌍선형 시스템, 시변 수동 시스템, 그리고 경계 제어를 갖는 포트-해밀토니안(port-Hamiltonian) 시스템에 관한 기존 이론을 보완한다. 저자들은 이론이 힐베르트 공간을 위해 개발되었으나, 바나흐 공간으로의 수동성 확장은 여전히 까다로운 미해결 과제이며 현재 문헌에는 부분적인 결과만이 나와 있다는 점을 겸허히 언급한다. 본 연구는 새로운 실험 설정을 제안하는 것이 아니라, 기존 물리 모델에 대한 에너지 기반 분석의 수학적 정당성을 제공하는 데 목적이 있다.