Small-time local control of a Schrödinger equation: a negative and a positive quadratic result

기술 요약: 슈뢰딩거 방정식의 소시간 국소 제어: 음의 이차 결과와 양의 이차 결과

문제 정의
본 논문은 기저 상태 $\phi_0$ 주변에서 선형화된 노이만 경계 조건(Neumann boundary conditions)을 가진 이선형 슈뢰딩거 방정식의 소시간 국소 제어 가능성(STLC)을 조사한다. 시스템은 다음과 같이 주어진다:
$$\begin{cases} i\partial_t\psi(t, x) = -\partial^2_x\psi(t, x) - u(t)\mu(x)\psi(t, x), & t \in (0, T), x \in (0, 1), \\ \partial_x\psi(t, 0) = \partial_x\psi(t, 1) = 0, & t \in (0, T), \end{cases}$$
여기서 $\mu \in H^2((0, 1); \mathbb{R})$는 고정된 공간 함수이며, $u(t)$는 실수 값 스칼라 제어이다.

본 연구는 선형 시스템이 제어 불가능한 **퇴화된 경우(degenerate case)**에 초점을 맞춘다. 구체적으로 저자들은 어떤 모드 $k \in \mathbb{N}$에 대해 결합 계수 $\langle \mu, \phi_k \rangle = 0$인 상황을 고려한다. 이러한 시나리오에서는 선형 제어 이론만으로는 제어 가능성을 결정하기에 불충분하므로, 2차(quadratic) 분석이 필요하다. 핵심 질문은 선형 시스템이 실패할 때 시스템이 여전히 STLC를 유지하는지, 아니면 "이차적 장애물(quadratic obstruction)"이 제어 가능성을 방해하는지 여부이다.

방법론
저자들은 제어 $u$에 대한 상태 $\psi = \phi_0 + \psi_1 + \psi_2 + \dots$의 멱급수 전개를 사용한다.

1. 이차 형식 분석 (Quadratic Form Analysis): 분석의 핵심은 2차 항 $\psi_2(T)$와 제어 불가능한 모드 $\phi_k$로의 투영이다. 이 투영은 적분 커널 $K(t-s)$를 포함하는 쌍선형 형식 $Q(u, u)$로 표현된다.
2. 푸리에 기반 접근법 (Fourier-Based Approach): 저자들의 중요한 방법론적 혁신은 표준적인 부분 적분(integration-by-parts) 논증을 피하는 것이다. 슈뢰딩거 방정식과 관련된 적분 커널 $K$는 클래식한 부분 적분을 통해 드리프트 항(drift term)을 추출하는 데 필요한 정칙성(구체적으로, 그 미분이 함수가 아니라 디락 질량(Dirac masses)과 주값(principal values)을 포함하는 분포인 경우)이 부족하다. 대신, 저자들은 푸리에 주파수 영역에서 이차 형식을 분석한다. 그들은 커널의 푸리에 변환에 대한 명시적인 표현을 도출하고, 이를 디락 질량, 주값 부분, 그리고 정칙한 부분으로 분해한다.
3. 드리프트 정량화 (Drift Quantification):
   • 음의 결과 (Negative Result): 특정 계수 $a_k$(커널으로부터 유도됨)가 0이 아닐 때, 저자들은 이차 운동이 반공간(half-space)에 갇혀 있어 목표 도달을 방해한다는 코어시비티 추정치(coercivity estimate)를 증명한다. 이는 비제로(non-vanishing) 리 브래킷(Lie bracket) 장애물에 해당한다.
   • 양의 결과 (Positive Result): $a_k = 0$일 때, 저자들은 고주파 진동을 사용하는 특정 제어들을 구성한다. 그들은 고주파에서 푸리에 변환된 커널의 허수 부분이 부호가 변하는 성질을 이용하여 방향 $\pm i\phi_k$로의 운동을 생성한다.
4. 커널 변조 도구 (Kernel Modulation Tools): 저자들은 참조 이차 형식으로부터 정칙 함수에 의해 변조된 형식으로 추정치를 전달하는 일반적인 도구(섹션 5)를 개발하여, $k \neq 0$인 일반적인 경우를 $k=0$인 참조 케이스를 바탕으로 다룰 수 있게 한다.
5. 나머지 추정 (Remainder Estimates): 논증을 완결하기 위해, 저자들은 비균질 노이만 경계 조건을 가진 보조 시스템을 사용하여 비선형 나머지 항들에 대한 정밀한 에너지 추정치를 도출하며, 이를 통해 고차 항들이 이차 효과를 압도하지 않음을 보장한다.

주요 결과
논문은 계수 $a_k$에 따른 이분법을 확립한다:
$$a_k := \sum_{j \in \mathbb{N}} \left( \lambda_j - \frac{\lambda_k}{2} \right) \langle \mu, \phi_j \rangle \langle \phi_j, \mu \phi_k \rangle$$

1. 음의 결과 (정리 1.7): 만약 $a_k \neq 0$이면, 시스템은 STLC가 아니다.

   • 제어 원시 함수의 $H^{-1}$ 노름의 제곱($\|u_1\|_{L^2}^2$)에 의해 정량화되는 방향 $-i a_k \phi_k$로의 "드리프트"가 존재한다.
   • 이는 PDE에서의 새로운 Sussmann의 고전적 이차 장애물의 사례를 제공하며, 이는 비제로 리 브래킷 $[\mu, [\mu, A]]\phi_0$에 대응한다.
   • 구체적으로, 목표 $\psi^*_\epsilon = \sqrt{1-\epsilon^2}\phi_0 + i \text{sgn}(a_k)\epsilon \phi_k$는 작은 $\epsilon$에 대해 도달 불가능하다.

2. 양의 결과 (정리 1.9): 만약 $a_k = 0$이고 남은 결합 계수들이 일반적인 비퇴화 조건($j \neq k$에 대해 $|\langle \mu, \phi_j \rangle| \geq c \langle j \rangle^{-2}$)을 만족하면, 시스템은 STLC이다.

   • 저자들은 방향 $\pm i \phi_k$로의 운동을 진폭 $T \|u_1\|_{L^2}^2$로 달성하는 제어들을 구성한다.
   • 접벡터(tangent vector) 논증과 시간 연결(time concatenation)을 사용하여, 이를 임의의 $z \in \mathbb{C}$에 대해 방향 $z \phi_k$로의 운동으로 확장한다.
   • 제어 비용은 $\|u\|_{L^2} \lesssim |\langle \psi^*, \phi_k \rangle|^{1/2}$로 스케일링되며, 이는 이차 차수 제어 가능성의 특징이다.

의의 및 주장
본 논문은 제어 이론에 다음과 같은 기여를 한다고 주장한다:

• Sussmann의 장애물에 대한 새로운 PDE 사례: 음의 결과(정리 1.7)는 고전적인 이차적 장애(길이 3의 리 브래킷과 연관됨)가 STLC를 방해하는 구체적인 PDE 사례를 식별하며, 이는 ODE나 다른 PDE(예: Dirichlet Schrödinger 또는 KdV 시스템)에서 알려진 기존 결과들을 확장한다.
• 물리적 시스템에 대한 최초의 양의 이차 STLC: 양의 결과(정리 1.9)는 단일 스칼라 제어에 의해 구동되는 "합리적인 물리적 시스템"(노이만 조건의 이선형 슈뢰딩거 방정식)에 대해 이차 차수에서의 소시간 국소 제어 가능성을 확립한 최초의 사례라고 주장된다. 이전의 양의 이차 결과들(예: [4])은 인위적으로 만들어진("cooked-up") 비선형성에 의존했다.
• 방법론적 발전: 저자들은 낮은 정칙성을 가진 커널(표준적인 부분 적분이 실패하는 경우)을 다루기 위한 핵심 도구로서 푸리에 기반 접근법을 강조한다. 또한, 커널을 변조 함수로 곱하는 일반적인 프레임워크를 제공하며, 이를 통해 다른 시스템에도 재사용될 수 있을 것으로 기대한다.
• 기술적 엄밀성: 저자들은 비균질 노이만 경계 조건을 가진 슈뢰딩거 방정식에 대한 상세한 에너지 추정치와 드리프트 계수를 정의하는 급수의 수렴에 대한 엄격한 증명을 제공한다.

저자들은 자신의 결과가 특정 노이만 설정에 적용된다는 점을 언급하며 연구 범위를 겸손하게 제한하며, 양의 결과가 슈뢰딩거 비선형성의 특정한 구조(주파수 영역에서 필요한 부호 변화 조건을 만족함)에 의존한다는 점을 명시한다. 이들은 실험적 응용을 제안하기보다는 무한 차원 제어 시스템의 이차적 장애를 분석하는 방법론에 대한 이론적 발전을 목표로 한다.