Small-time global controllability of a class of bilinear fourth-order parabolic equations

기술 요약: 일class의 쌍선형 4계 파라볼릭 방정식에 대한 소시간 전역 제어 가능성

문제 정의
본 논문은 1차원 토러스 $\mathbb{T} := \mathbb{R}/2\pi\mathbb{Z}$ 상에 정의된 일class의 쌍선형 4계 비선형 파라볼릭 방정식의 전역 제어 가능성 특성을 조사한다. 이 시스템은 쌍선형(곱셈적) 제어에 의해 구동된다. 여기서 제어는 가산적인 강제 항(additive forcing term)으로서가 아니라 상태 변수의 계수로서 진화 방정식에 들어간다. 일반적인 모델은 다음과 같다:
$$\partial_t u + \nu_1 \partial_x^4 u + \nu_2 \partial_x^2 u + N(u) = Q(t, x)u,$$
여기서 $\nu_1, \nu_2 > 0$는 확산 및 반확산 매개변수이며, $N(u)$는 주로 쿠라모토-시바신스키(Kuramoto–Sivashinsky, $N(u) = u\partial_x u$) 및 칸-힐리야드(Cahn–Hilliard, $N(u) = -\partial_x^2(u^3)$)를 나타내는 특정 비선형성이다. 제어 $Q(t, x)$는 $Q(t, x) = \sum_{i=1}^m p_i(t)\mu_i(x)$ 형태를 가지며, 여기서 $p_i(t)$는 스칼라 시간 의존 제어이고 $\mu_i(x)$는 고정된 공간 프로파일(저주파 모드)이다.

핵심 과제는 **소시간 전역 제어 가능성(small-time global controllability)**을 다루는 것이다. 즉, 임의의 초기 상태 $u_0$와 목표 상태 $u_1$(특정 부호 제약 조건 내에서)에 대하여, 임의로 짧은 시간 $T > 0$ 내에 시스템을 $u_1$의 임의로 작은 근방으로 유도(근사 제어 가능성)하거나, 또는 정확히 상수 상태 $u_1$로 유도(정확 제어 가능성)할 수 있는 제어 법칙이 존재하는지 결정하는 것이다.

방법론
저자들은 쌍선형 설정에 적응된 기하학적 제어 접근법, 구체적으로는 **아그라체프-사리체프 포화 방법(Agrachve–Sarychev saturation method)**을 활용한다. 방법론은 다음과 같은 주요 분석 단계로 진행된다:

1. 공액 역학 및 소시간 극한(Conjugated Dynamics and Small-Time Limits): 공액 역학에 대한 극한 결과에 기초하여 분석이 수행된다. 제어와 초기 데이터에 특정 시간 및 공간 스케일링을 적용함으로써, 저자들은 시스템이 $e^{-(\psi')^4}$ 형태의 곱셈적 인자를 생성할 수 있음을 보여준다. 이를 통해 시스템은 상태에 임의의 곱셈적 함수를 작용시키는 것을 근사할 수 있다.
2. 포화 성질(Saturation Property): 도달 가능한 상태의 부분 공간이 함수 공간을 "포화"한다는 성질이 핵심 요소이다. 저자들은 도달 가능한 상태의 부분 공간이 함수 공간을 포화함을 입증한다. 이는 저주파 모드의 4제곱 미분 합으로 고주파 모드를 표현할 수 있게 하는 대수적 항등식을 사용하여, 삼각 다항식의 차수에 대한 귀납적 논증을 통해 달성된다.
3. 근사 제어 가능성(Approximate Controllability): 포화 성질과 소볼레프 공간 $H^s(\mathbb{T})$ ($s > 1/2$)에서의 삼각 다항식의 조밀성을 사용하여, 소시간 전역 근사 제어 가능성을 확립한다.
4. 선형화를 통한 정확 제어 가능성 및 고정점(Exact Controllability via Linearization and Fixed-Point): 비영(non-zero) 상수 상태로의 정확한 제어를 위해, 근사 제어 가능성 결과와 선형화된 시스템에 대한 국소 정확 제어 가능성 결과를 결합한다.
   • 선형화된 시스템: 모멘트 방법(method of moments)을 사용하여 선형화된 방정식의 영 제어 가능성(null controllability)을 분석한다. 토러스 상의 라플라시안에 존재하는 이중 고윳값(double eigenvalues)은 중요한 기술적 난관이다. 이는 코사인과 사인 모드를 분리하는 추가적인 제어 포텐셜($\mu_4, \mu_5$)을 도입함으로써 극복되며, 이를 통해 모멘트 문제를 단순 고윳값을 가진 두 개의 독립적인 문제로 환원시킨다.
   • 비선형 확장: 비선형 시스템의 국소 정확 제어 가능성은 소스 항 방법(source term method)과 **바나흐 고정점 정리(Banach fixed-point argument)**를 결합하여 선형 결과로부터 도출된다.
5. 연결(Concatenation): 전역 정확 제어 가능성은 세 단계의 연결을 통해 구축된다: 초기 상태를 상수 상태의 근방으로 유도(근사 제어 사용), 해당 상태 근처에서 궤적 유지, 그리고 마지막으로 정확한 목표로 유도(국소 정확 제어 사용).

주요 기여 및 결과

• 소시간 전역 근사 제어 가능성 (정리 1.1):

  • 시스템은 동일한 부호를 공유하는 두 상태 $u_0, u_1$ 사이에서 $L^2$-근사 제어가 가능하다(즉, $\text{sign}(u_0) = \text{sign}(u_1)$).
  • $u_0$와 $u_1$이 엄격하게 양수(또는 음수)인 경우, 시스템은 $H^s$-근사 제어가 가능하다.
  • 이 결과는 단 세 개의 스칼라 제어($p_1, p_2, p_3$, 공간 프로파일 $(1, \cos x, \sin x)$에 대응)만을 사용하여 달성된다.
  • 이 결과는 임의로 작은 시간 지평 $T > 0$에 대해 유효하다.
  • 참고: 저자들은 항목 A의 부호 제약 조건(두 상태가 부호를 공유하지만 0이 될 수 있는 경우) 하에서 소시간 근사 제어 가능성을 임의의 시간으로 확장하는 것은 본 접근 방식에서 다루지 않았음을 명시한다. 따라서 이러한 특정 가정 하에서의 임의 시간 $H^s$-근사 제어 가능성은 미해결 과제로 남아 있다.

• 상수 상태로의 소시간 전역 정확 제어 가능성 (정리 1.2 및 1.3):

  • 칸-힐리야드(Cahn–Hilliard): 시스템은 다섯 개의 스칼라 제어($p_1, \dots, p_5$)를 사용하여 $u_0$와 동일한 부호를 가진 임의의 비영 상수 상태 $\Phi$로 전역 정확 제어가 가능하다. 추가된 두 개의 제어($\mu_4, \mu_5$)는 바이-라플라시안(bi-Laplacian)의 스펙트럼 퇴화(spectral degeneracy)를 처리하기 위해 특별히 설계되었다.
  • 쿠라모토-시바신스키(Kuramoto–Sivashinsky): 시스템은 네 개의 스칼라 제어($p_1, \dots, p_4$)를 사용하여 임의의 비영 상수 상태 $\Phi$로 전역 정확 제어가 가능하다. 특정 비선형 구조 덕분에 칸-힐리야드 사례보다 하나 적은 제어가 필요하다.
  • 이 결과들은 고정된 부호를 가진 임의의 초기 상태 $u_0 \in H^s(\mathbb{T})$와 동일한 부호를 가진 임의의 비영 상수 목표 상태에 대해 유효하다.

의의 및 주장
본 논문은 쌍선형 제어 프레임워크 내에서 4계 파라볼릭 방정식의 제어 가능성 특성을 연구하는 데 있어 첫 번째 기여를 한다고 주장한다.

• 프레임워크의 참신함: 4계 방정식(예: 칸-힐리야드 또는 쿠라모토-시바신스키)에 관한 기존 연구들(예: 가산적 내부 또는 경계 제어 및 카를레만 추정치에 의존하며 주로 국소 제어 가능성만을 제공함)과 달리, 본 연구는 곱셈적 제어를 사용하는 전역 제어 가능성 문제를 다룬다.
• 기하학적 방법의 견고성: 본 연구는 나비에-스토크스 및 슈뢰딩거 방정식에 대해 원래 개발되었던 포화 기하학적 제어 전략이 복잡한 비선형성을 가진 고차(4계) 파라볼릭 역학을 다루기에 충분히 견고함을 입증한다.
• 스펙트럼 장애 극복: 본 논문은 토러스 상의 바이-라플라시안 연산자에 존재하는 이중 고윳값의 특수한 어려움을 해결한다. 제어 프로파일을 신중하게 선택하여 스펙트럼을 필터링함으로써, 저자들은 관련된 모멘트 문제를 성공적으로 해결하였으며, 이는 2계 연산자에 비해 훨씬 더 까다로운 작업이다.
• 효율성: 결과는 전역 제어 가능성이 시스템 매개변수나 특정 초기/목표 상태(부호 조건이 충족되는 한)와 무관하게 유한하고 적은 수의 스칼라 제어(근사를 위해 3개, 정확한 제어를 위해 4개 또는 5개)를 통해 달성될 수 있음을 보여준다.

저자들은 근사 제어 가능성이 소시간에 대해 확립되었으나, 항목 A의 부호 제약 조건 하에서 임의의 시간에 대한 $H^s$-근사 제어 가능성으로 확장하는 것은 근사 절차에서의 부호 조건 의존성 때문에 미해결 상태이며 흥미로운 문제임을 언급한다. 또한, 클래식한 $L^2$에서의 정확 제어 가능성은 구조적 장애(도달 집합이 가산 개의 컴팩트 집합의 합집합에 포함됨)로 인해 일반적으로 불가능하다는 점을 인정하며, 이것이 임의의 상태가 아닌 특정 궤적(상수 상태)으로의 정확 제어 가능성에 집중하게 된 동기임을 밝힌다.