Estimation of the input-to-state stability gain functions from finite-dimensional approximations

1. 연구 배경 및 문제 정의 (Problem)

• 배경: 입력 - 상태 안정성 (Input-to-State Stability, ISS) 은 외부 입력이 있는 시스템의 상태 추정 및 제어에서 핵심적인 개념입니다. 유한 차원 시스템에 대해서는 잘 연구되어 왔으나, 무한 차원 시스템 (예: 편미분 방정식, PDE) 에서는 최근까지 활발히 연구되었습니다.
• 문제점:
  • 유한 차원 수치 해법을 통해 무한 차원 시스템의 ISS 성질을 분석하려는 시도는 있었으나, 비유계 (unbounded) 제어 연산자를 갖는 시스템 (특히 경계 제어 시스템) 에 대해서는 엄밀한 수학적 연결고리가 부재했습니다.
  • 기존의 물리 정보 신경망 (PINN) 기반 오차 추정 연구에서는 ISS 이득 함수가 필요했으나, 이는 단순한 기하학적 영역 (예: 구간, 직사각형) 에 대한 해석적 해만 존재하여 복잡한 공학적 문제에 적용하기 어려웠습니다.
  • 기존 접근법 중 일부는 입력 (경계 오차) 의 시간 미분 가능성을 요구하는 등 제한적이었습니다.
• 목표: 본 논문은 비유계 제어 연산자를 갖는 선형 경계 제어 시스템에 대해, 유한 차원 근사 (이산화) 를 통해 무한 차원 시스템의 ISS 이득 함수 (Gain functions, $\beta, \gamma$) 를 엄밀하게 계산하고 추정할 수 있는 프레임워크를 제시하는 것입니다.

2. 방법론 (Methodology)

논문은 반군 이론 (Semigroup Theory) 과 함수해석학을 기반으로 다음과 같은 방법론을 사용합니다.

• 시스템 모델링:
  • 경계 제어 시스템 (Boundary Control System): $\dot{x} = Ax, Dx = u$ 형태. 여기서 $D$는 경계 조건을 나타내는 트레이스 연산자입니다.
  • 분산 제어 시스템 (Distributed Control System) 변환: Fattorini Trick 을 사용하여 경계 제어 시스템을 $\dot{x} = Ax + Bu$ 형태의 비유계 제어 연산자 $B$를 갖는 시스템으로 변환합니다. 이때 $B$는 $X_{-1}$ (외삽 공간) 로 매핑됩니다.
• 수치 근사 프레임워크:
  • Trotter-Kato 근사: 유한 차원 공간 $X_n$에서의 근사 시스템 $\dot{x}_n = A_n x_n + B_n u$를 정의합니다.
  • 분수 차수 공간 (Fractional Power Spaces): $B$의 비유계 정도를 조절하기 위해 $X_{-1+\alpha}$ ($\alpha \in (0,1)$) 공간을 도입합니다. 이는 해석적 반군 (Analytic Semigroup) 의 성질을 활용하여 적분 항을 유계화하는 데 핵심적입니다.
  • 전경계 폐쇄 이산화 (Pre-boundary Closure Discretization): 경계 조건을 직접 이산화하기 전에, 경계 연산자 $D$와 그 우측 역연산자 $D_0$를 포함하는 중간 단계의 이산화 시스템을 도입합니다. 이를 통해 Fattorini 변환이 이산화 수준에서 어떻게 적용되는지 엄밀하게 추적합니다.
• 수렴성 분석:
  • 유한 차원 근사 시스템의 ISS 이득이 $n \to \infty$일 때 원래 무한 차원 시스템의 이득으로 수렴함을 보입니다.
  • 이를 위해 반군의 성장 bound, resolvent(해결사) 의 균일성, 분수 차수 연산자의 수렴성 등을 증명합니다.

3. 주요 기여 (Key Contributions)

1. 비유계 제어 연산자에 대한 ISS 이득 추정 프레임워크:

   • 무한 차원 시스템의 ISS 이득 함수 $\beta$ (초기 조건 의존) 와 $\gamma$ (입력 의존) 를 유한 차원 근사 시스템의 파라미터로부터 계산할 수 있는 엄밀한 정리를 제시했습니다 (Theorem 3.7).
   • 기존 연구와 달리 입력의 시간 미분 가능성을 요구하지 않으며, $L^\infty$ 입력에 대해 유효합니다.

2. 경계 제어 시스템에서의 Fattorini Trick 확장:

   • 경계 제어 시스템 (System 1.2) 에서 분산 제어 시스템 (System 1.1) 으로 변환할 때 발생하는 비유계 연산자 $B$를, 유한 차원 근사 시스템에서 일관되게 정의하고 수렴함을 증명했습니다 (Theorem 4.1).
   • 이를 위해 전경계 폐쇄 이산화 개념을 도입하여, 경계 조건의 이산화가 내부 연산자의 수렴성에 미치는 영향을 체계적으로 다뤘습니다.

3. 복잡한 기하학적 영역에 대한 적용 가능성:

   • 스펙트럼이나 해석적 성질에 대한 명시적 지식을 요구하지 않고, 수치적 근사 (예: 유한 차분법, 유한 요소법) 를 통해 ISS 이득을 계산할 수 있어, 복잡한 형상의 공학 문제에 적용 가능한 이론적 기반을 마련했습니다.

4. 주요 결과 (Results)

• 수렴성 정리 (Theorem 3.7 & 4.1):
  • 일정한 조건 (균일한 섹터성, Trotter-Kato 수렴, 분수 차수 연산자의 수렴 등) 하에서, 유한 차원 근사 시스템의 ISS 이득 $\hat{\gamma}_n$은 무한 차원 시스템의 실제 ISS 이득 $\gamma$로 수렴합니다.
  • 구체적으로, $\gamma(s) \approx \mu_e \kappa \lim_{n \to \infty} \|(-A_n)^{-1+\alpha} B_n\| s$ 형태로 계산됩니다. 여기서 $\kappa$는 반군의 성장 bound 와 resolvent bound 로부터 유도된 상수입니다.
• 수치 예제 (1 차원 열 방정식):
  • Dirichlet 경계 조건을 갖는 1 차원 열 방정식에 적용하여 이론을 검증했습니다.
  • 유한 차분법을 사용하여 이산화하고, 계산된 ISS 이득 $\gamma(s) \approx 0.8989 s$를 얻었습니다.
  • 이 값은 기존 문헌 [15] 에서 해석적으로 구한 1 차원 제어에 대한 이득 ($\approx 0.8165 s$) 과 매우 유사하게 일치하여, 제안된 방법의 정확성을 입증했습니다.

5. 의의 및 시사점 (Significance)

• 이론적 간극 해소: 수치해석과 ISS 이론 사이의 간극, 특히 비유계 제어 연산자가 포함된 무한 차원 시스템에서 이를 해소했습니다.
• 실용적 응용 (PINN 및 오차 추정): 물리 정보 신경망 (PINN) 의 예측 오차에 대한 엄밀한 상한 (A posteriori error bound) 을 제공할 수 있게 되었습니다. 이는 복잡한 형상의 PDE 문제에 대해 PINN 의 신뢰성을 정량화하는 데 필수적입니다.
• 계산 가능성: 해석적으로 ISS 이득을 구하기 어려운 복잡한 시스템에 대해, 수치 시뮬레이션만으로도 유효한 안정성 지표를 얻을 수 있는 길을 열었습니다.
• 미래 연구 방향: 본 연구는 선형, 자율적, 타원형/포물형 시스템에 국한되어 있으나, 향후 비선형 시스템, 쌍곡형 문제 (Hyperbolic problems), 그리고 Neumann 경계 조건 등으로 확장될 수 있는 기초를 제공합니다.

요약

본 논문은 비유계 제어 연산자를 갖는 무한 차원 선형 시스템에 대해, 유한 차원 수치 근사를 통해 입력 - 상태 안정성 (ISS) 이득 함수를 엄밀하게 계산하고 추정할 수 있는 수학적 프레임워크를 최초로 제시했습니다. 특히 Fattorini Trick과 전경계 폐쇄 이산화를 결합하여 경계 제어 문제를 체계적으로 다뤘으며, 1 차원 열 방정식 예시를 통해 이론의 타당성과 정확성을 검증했습니다. 이 연구는 복잡한 공학 시스템의 안정성 분석 및 PINN 기반 모델의 오차 추정에 중요한 이론적 토대를 제공합니다.