Approximate controllability of a bilinear wave equation and minimum time

기술 요약: 이선형 파동 방정식의 근사 제어 가능성 및 최소 시간

문제 정의
본 논문은 $d$차원 토러스 $\mathbb{T}^d$ 상에 정의된 이선형 클라인-고든(Klein-Gordon) 파동 방정식의 전역 근사 제어 가능성(GAC)을 조사한다. 시스템은 첫 $(2d+1)$개의 푸리에 모드(구체적으로 상수 모드와 각 차원에 대한 첫 번째 사인/코사인 모드)에 의해 지지되는 포텐셜에 의해 제어된다. 상태 공간은 $H^1 \times L^2(\mathbb{T}^d)$이며, 제어 $u(t)$는 $\mathbb{R}^{2d+1}$ 값을 갖는 조각마다 일정한(piecewise constant) 함수이다.

연구의 핵심 초점은 초기 상태 $W_0$를 임의의 정밀도까지 공간 내의 임의의 목표 상태로 유도하는 데 필요한 최소 시간 $T(W_0)$를 결정하는 것이다. 유한한 전파 속도 때문에, 이 시간의 하한은 초기 프로파일 $Z(W_0)$의 필수 영점(essential zeroes) 집합에 포함된 최대 반지름 $r(W_0)$로 설정된다. 본 논문은 다음 두 가지 주요 질문을 다룬다:

1. $\text{Int}(Z(W_0)) = \emptyset$ (내부 영점이 없음) 조건이 소시간 근사 제어 가능성($T(W_0)=0$)을 위한 충분조건인가?
2. 최소 시간은 모든 초기 조건에 대해 정확히 $r(W_0)$와 같은가?

방법론
증명 전략은 두 가지 구별된 기술적 접근 방식을 결합한다:

1. 리 브래킷 기법 (Agrachev-Sarychev): 저자들은 제어 시스템에 직접 존재하지 않는 연산자들에 의해 생성되는 흐름(flow)을 근사하기 위해 교환자(commutator) 방법을 활용한다. 드리프트 연산자 $A + VB$와 제어 포텐셜$V_j B$의 교환자를 계산함으로써, 새로운 연산자들을 생성한다. 구체적으로, 이들은 시스템이 광범위한 함수$\phi$에 대하여$e^{\phi B}$형태의 흐름(프로파일은 유지하면서 속도를 변화시킴)과$e^{B^*}$ 형태의 흐름(속도는 유지하면서 프로파일을 변화시킴)을 근사할 수 있음을 보여준다. 이는 무한 차원 공간에서의 연산자 군(operator groups)에 대한 강한 수렴 기준에 의존한다.
2. 잘 준비된 상태(Well-Prepared States)의 전파: 저자들은 파동 방정식의 자유 진화(드리프트만 존재하는 경우)를 분석하여 "잘 준비된" 상태를 식별한다. 이들은 특정 초기 조건(예: 비음의 속도)에 대해, 자유 진화가 유한한 시간 내에 엄격하게 양수인 프로파일을 생성함을 입증한다. 일단 영점 집합이 비어 있는(즉, 엄격하게 양수인) 프로파일을 가진 상태에 도달하면, 리 브래킷 기법을 통해 임의의 목표를 향한 즉각적인 제어가 가능하다.

주요 기여 및 결과

• 영집합에 대한 소시간 제어 가능성:
  본 논문은 초기 프로파일 $w_0$의 영점 집합의 르베그 측도가 0($|Z(w_0)| = 0$)인 경우, 시스템이 소시간 근사 제어 가능($T(W_0) = 0$)함을 증명한다. 이는 $\text{Int}(Z(W_0)) = \emptyset$이 소시간 제어 가능성을 함의하는지에 대한 질문에 대해, 영집합의 측도가 0이라는 조건이 더 엄격한 조건임을 보여줌으로써 부분적인 긍정적 답변을 제공한다.

• 저차원($d \in \{1, 2\}$)에서의 정확한 최소 시간:
  포텐셜이 0($V=0$)인 차원 $d=1$ 및 $d=2$에 대하여, 저자들은 전역 근사 제어를 위한 최소 시간이 정확히 $r(W_0)$임을 증명한다. 이는 이선형 제어되는 파동 방정식의 최소 시간이 정밀하게 결정된 첫 번째 사례이다. 증명은 명시적인 표현 공식(D'Alembert $d=1$, Poisson $d=2$)을 사용하여 자유 진화가 $r(W_0)$ 시간 내에 영점을 제거함을 보여주는 것을 활용한다.

• 고차원에서의 장시간 제어 가능성:

  • 만약 $|Z(W_0)| = 0$이면, 차원에 관계없이 시스템은 소시간 제어가 가능하다($T(W_0)=0$).
  • 만약 $|Z(W_0)| > 0$이면, 영집합이 닫힌 집합(closed set)이거나(for $d \ge 4$) 특정 정칙성 가정이 충족되는 경우, 0이 아닌 임의의 초기 조건에 대해 충분히 큰 시간($T(W_0) < \infty$) 내에 제어가 가능하다. 차원 $d=3$에서는 닫힘 가정이 요구되지 않는다.

• 속도 및 프로파일 전이:
  본 논문은 두 가지 근본적인 "즉각적" 전이(작은 시간의 극한에서)를 확립한다:

  1. 속도 제어: 프로파일 $w$ 상에서 변화가 $w$의 영점에서 0이 된다는 조건 하에, 속도 성분 $\dot{w}$를 임의의 목표 $\dot{w}_f$로 변화시킨다.
  2. 프로파일 전이: 속도를 유지하면서 프로파일을 $w$에서 $w + \dot{w}$로 변화시킨다.
     이러리 전이들은 제어 가능성 증명의 기초를 형성한다.

의의 및 주장
본 논문은 파동 방정식의 이선형 제어 중 최소 시간으로 전역 근사 제어 가능성을 명시적으로 결정할 수 있는(특히 $d \in \{1, 2\}$에 대해) 첫 번째 사례를 제공한다고 주장한다. 또한, 원래 Navier-Stokes 및 슈뢰딩거 방정식에 대해 개발되었던 Agrachev-Sarychev 방법을 퇴화된(finite-mode) 제어를 가진 파동 방정식의 맥락으로 확장한다.

저자들은 프로파일 전이 단계를 위해 $W_0 \in H^1 \times H^1$이라는 정칙성 가정이 기술적으로 필요함을 언급하는데, 이는 해당 연산이 속도를 프로파일만큼의 정칙성을 갖도록 요구하기 때문이다.

한계 및 미해결 과제
본 논문은 고차원에서 영집합 $Z(W_0)$의 닫힘(closedness)에 관한 한계를 명시적으로 인정한다. $d \ge 4$의 경우, 장시간 제어 가능성 결과에 대해 $Z(W_0)$가 닫힌 집합이라는 가정이 필요하며, 이 가정을 제거할 수 있는지 여부는 여전히 미해결 과제로 남아 있다. 또한, 본 논문은 정확한 제어 가능성(exact controllability) 문제를 해결한다고 주장하지 않으며(이는 해당 공간에서 불가능한 것으로 알려져 있음), $V \neq 0$인 일반적인 경우에 대한 정확한 최소 시간을 결정하는 대신, 날카로운 시간 결과를 위해 $V=0$인 경우에 집중한다.