On the observability of the Schrödinger equation in the torus from open sets

기술적 요약: 열린 집합으로부터의 토러스 위 슈뢰딩거 방정식의 관측 가능성

문제 제기
본 논문은 $d$차원 토러스 $\mathbb{T}^d = \mathbb{R}^d/(2\pi\mathbb{Z})^d$ 위의 슈뢰딩거 방정식이 열린 부분집합 $\omega \subset \mathbb{T}^d$로부터 관측 가능한지 여부를 조사한다. 핵심 질문은 유한 시간 구간 $(0, T)$ 동안 부분 영역 $\omega$에서만 해를 모니터링함으로써 해의 전역 에너지를 복원할 수 있는지 여부이다. 저자들은 두 가지 구별된 모델을 분석한다:

1. 자유 슈뢰딩거 방정식 ($i\partial_t u - \Delta u = 0$).
2. 유계 퍼텐셜을 가진 슈뢰딩거 방정식 ($i\partial_t u - \Delta u + V(t, x)u = 0$), 여기서 $V \in L^\infty$이다.

본 연구는 두 가지 특정 영역을 다룬다: 작은 시간과 작은 관측 집합 (특히 구간의 곱) 에 대한 정량적 추정치, 그리고 임의의 차원 $d \ge 1$에서 임의의 비어 있지 않은 열린 집합과 유계 퍼텐셜에 대한 관측 가능성의 일반적 유효성이다.

방법론
두 가지 주요 정리에 대한 증명은 Bourgain [Bou14] 이 도입하고 Burq 와 Zhu [BZ25] 에 의해 더 발전된 방법론에 기반한 클러스터 분해 기법과 수학적 귀납법의 종합에 의존한다. 전략은 두 가지 주요 결과에 따라 약간 다르게 전개된다:

• 자유 방정식의 경우 (정리 1.1): 증명은 고주파수 성분과 저주파수 성분으로 나뉜다.

  • 고주파수: 저자들은 집합 $S_N = \{(n, |n|^2) \in \mathbb{Z}^{d+1} : |n| > N\}$의 클러스터 구조를 활용한다. 이 집합을 공간적으로 분리되고 저차원 아핀 부분격자에 포함된 불연속 클러스터들로 분할한다. 이러한 부분격자의 차원에 대한 귀납적 논증은 고주파수 관측 가능성 추정을 산출한다.
  • 저주파수: 저자들은 정량적 유일계속 추정치를 수립한다. 이는 Turán-Nazarov 부등식과 스펙트럼 추정을 활용하여 정량적 Lebeau-Robbiano 전략을 통해 열 방정식에 대한 관측 가능성 추정 문제로 문제를 축소함으로써 달성된다.
  • 종합: 고주파수 추정치와 저주파수 유일계속을 결합하고, 관측 집합의 측도 $|\omega|$와 시간 $T$에 대한 의존성을 신중하게 정량화함으로써 최종 추정식을 유도한다.

• 유계 퍼텐셜을 가진 방정식의 경우 (정리 1.2): 이 접근법은 먼저 약한 관측 가능성 부등식을 수립한 다음, 잔차 항을 제거하기 위해 [BLR92] 에서 영감을 받은 컴팩트성 - 유일성 논증을 포함한다.

  • 약한 관측 가능성: 해 $u$는 $\mathbb{T}^{d+1}$ 위의 함수 $U$로 시간 절단된다. 저자들은 초곡면 $m = |n|^2$ 근처의 주파수를 격리하기 위해 주파수 분해를 수행한다. 집합 $S'_N = \{(n, m) : |n| > N, |m - |n|^2| \le A\}$에 대한 클러스터 분해를 활용하여 국소화된 고주파수 부분에 대한 관측 가능성 추정을 증명한다.
  • 잔차 제거: 컴팩트성 - 유일성 논증이 적용된다. 저자들은 $\omega \times (0, T)$에서 관측값이 0 이 되는 초기 데이터의 부분공간이 유한차원이며 연산자 $-\Delta + V$ 하에서 안정적임을 보인다. 유일계속 성질 (시간 독립 퍼텐셜의 경우이거나 시간 의존적인 경우 가정된) 을 소환함으로써 이 부분공간이 자명함을 증명하여, 약한 부등식을 완전한 관측 가능성 추정치로 격상시킨다.
  • 직접적 처리: 주목할 방법론적 이점은 저자들이 유계 퍼텐셜 $V \in L^\infty$를 직접 다루며, 이전 문헌에서 흔히 사용되던 매끄러운 퍼텐셜로 $V$를 근사할 필요가 없다는 점이다.

주요 기여 및 결과

1. 자유 방정식에 대한 정량적 추정 (정리 1.1):
   저자들은 관측 집합 $\omega$가 작은 구간의 곱이고 시간 $T$가 작을 때 자유 슈뢰딩거 방정식에 대한 정량적 관측 가능성 추정치를 수립한다. 추정식은 다음과 같은 형태를 띤다:
   $$\|u_0\|_{L^2}^2 \le C \exp\left( \frac{C}{(|\omega|T)^{C'}} \right) \int_0^T \|e^{-it\Delta}u_0\|_{L^2(\omega)}^2 dt$$
   이 결과는 Tao 의 [Tao21] 연구를 차원 $d=2$와 작은 공에서 더 높은 차원과 곱집합으로 확장한다. 저자들은 Tao 의 결과와 비교하여 $\log \log \epsilon^{-1}$ 항의 부재로 인해 $|\omega|$와 $T$에 대한 그들의 상수의 의존성이 점근적으로 날카롭지 않음을 인정하지만, 그들의 방법은 집합의 측도와 시간 간격 모두에 대한 명시적 정량화를 제공한다.

2. 유계 퍼텐셜에 대한 관측 가능성 (정리 1.2):
   본 논문은 임의의 차원 $d \ge 1$에서 모든 시간 $T > 0$과 모든 비어 있지 않은 열린 부분집합 $\omega$에 대해, 단순히 유계인 퍼텐셜 $V \in L^\infty(\mathbb{T}^d)$를 가진 슈뢰딩거 방정식에 대한 관측 가능성이 성립함을 증명함으로써 해당 분야의 잘 알려진 추측을 해결한다.

   • 시간 독립 퍼텐셜 $V(x)$의 경우, 관측 가능성은 무조건적으로 성립한다.
   • 시간 의존 퍼텐셜 $V(t, x)$의 경우, 퍼텐셜이 유일계속 성질을 만족한다면 관측 가능성이 성립한다.
     저자들은 그들의 방법이 양의 측도를 가진 임의의 가측 집합 (Burq 와 Zhu [BZ25] 의 더 강력한 추측) 으로 아직 확장되지 않았음을 지적하지만, 가측 집합들의 곱은 다룬다고 언급한다.

의의 및 주장
본 논문은 모든 차원에서 토러스 위 $L^\infty$ 퍼텐셜을 가진 슈뢰딩거 방정식의 관측 가능성에 관한 오랜 추측을 해결했다고 주장한다. 퍼텐셜을 매끄러운 함수로 근사하는 것을 피함으로써, 방법론은 거친 퍼텐셜에 대한 더 직접적인 처리를 제공한다.

저자들은 그들의 연구를 기존 기법의 정련으로 위치시키며, 특히 토러스의 기하학적 및 스펙트럼적 복잡성을 처리하기 위해 Bourgain 의 클러스터 분해를 활용한다. 그들은 자유 방정식에 대한 정량적 추정치가 $T$와 $|\omega|$에 대한 의존성 측면에서 날카롭지 않다고 명시적으로 진술한다 (이 문제는 열 방정식에 비해 슈뢰딩거 문헌에서 상대적으로 적은 관심을 받아온 문제임). 그럼에도 불구하고, 이 결과들은 자유 방정식과 퍼텐셜에 의해 구동되는 방정식 모두에 대한 통합된 프레임워크를 제공한다.

이 결과들은 제어 이론에서 표준적인 응용을 가지며, 구체적으로 정적 슈뢰딩거 연산자에 대한 공액식 추정치를 산출하고 힐베르트 유일성 방법을 통한 제어 가능성을 도출한다. 다만, 저자들은 이러한 응용들의 명시적 공식화는 기존 문헌에 맡긴다.