[논문 리뷰] Control for Schroedinger operators on tori

Nicolas Burq, Maciej Zworski|arXiv (Cornell University)|2011. 06. 07.

Stability and Controllability of Differential Equations참고 문헌 10인용 수 9

한 줄 요약

이 논문은 2차 토러스 위의 매끄러운 포텐셜을 가진 슈뢰딩거 연산자에 대한 관측 가능성과 제어 결과를 수립한다. 스펙트럼 이론과 반고전적 분석의 방법을 응용하여, 정적 및 동적 슈뢰딩거 방정식의 해가 토러스의 임의의 열린 부분집합에서 $L^2$-의미에서 제어 가능하다는 것을 증명하며, 자유 라플라스 연산자에 대한 자파르드의 결과를 매끄러운 포텐셜 $V \in C^\infty(\mathbb{T}^2)$의 경우로 확장한다.

ABSTRACT

A well known result of Jaffard states that an arbitrary region on a torus controls, in the L2 sense, solutions of the free stationary and dynamical Schroedinger equations. In this note we show that the same result is valid in the presence of a smooth time-independent potential. The methods apply to continuous potentials as well and we conjecture that the L2 control is valid for any bounded time dependent potential.

연구 동기 및 목표

• 토러스 위의 자유 슈뢰딩거 방정식에 대한 자파르드의 $L^2$-제어 결과를 매끄럽고 시간에 의존하지 않는 포텐셜의 경우로 확장한다.
• 포텐셜이 있는 동적 슈뢰딩거 방정식의 해에 대한 관측 가능성 추정을 수립하여, 초기 데이터의 에너지가 시간에 걸쳐 부분집합에서 관측된 것으로 제어됨을 보인다.
• HUM 방법을 사용하여 $L^2((0,T)\times\Omega)$ 내의 제어 함수의 존재를 도출하고, 이를 통해 시간 $T$에 해가 0이 되도록 유도한다.
• 포텐셜의 매끄러운 변화에 대해 제어 추정이 안정됨을 증명하고, $L^\infty$ 및 복소수 포텐셜의 경우에도 성립할 것임을 추측한다.

제안 방법

• 관측 가능성 추정에서 제어 결과를 도출하기 위해 HUM 방법을 사용하며, 제어 문제와 관측 문제 사이의 이중성에 기반한다.
• 고주파수 추정과 포텐셜의 소규모 $L^\infty$-변형에 따라 고에너지 추정의 상수가 불변임을 이용한 편미분 기반의 변형 방법을 적용한다.
• 반고전적 분석과 결함 측도를 사용하여 해의 전파를 분석하며, 특히 해밀턴 벡터장의 흐름 하에서 위상공간 내의 지지 집합에 초점을 맞춘다.
• 변수분리 방법을 통해 문제를 1차원 설정으로 축소하고, 모저의 평균화 방법에서 유도된 정규형 정리로 포텐셜 항을 다룬다.
• 두하멜 공식을 적용하여 정적 방정식과 동적 방정식을 연결하고, 정리 1(정적 제어)이 정리 2(동적 관측 가능성)로부터 유도됨을 보인다.
• 약한 수렴성과 관측 연산자의 핵의 유한차원성을 이용한 모순 증명을 통해 관측 가능성 추정을 증명한다.

실험 결과

연구 질문

• RQ1 토러스 위의 자유 슈뢰딩거 연산자에 대한 $L^2$-제어 성질이 매끄러운 포텐셜 $V \in C^\infty(\mathbb{T}^2)$의 경우로 확장될 수 있는가?
• RQ2 포텐셜이 있는 동적 슈뢰딩거 방정식에 대한 관측 가능성 추정은 포텐셜의 매끄러운 변화에 대해 안정적인가?
• RQ3 포텐셜이 있는 슈뢰딩거 방정식에 대한 제어 결과는 $L^\infty$-정규 포텐셜에 대해 성립하며, 복소수 포텐셜로도 확장 가능한가?
• RQ4 특히 해밀턴 흐름 하에서 결함 측도의 지지 집합이 불변임을 분석하여 반고전적 방법과 결함 측도를 사용해 관측 가능성 추정을 증명할 수 있는가?

주요 결과

• 논문은 임의의 열린 집합 $\Omega \subset \mathbb{T}^2$에 대해, 정적 슈뢰딩거 방정식 $(-\Delta + V - \lambda)u = f$의 해의 $L^2$-노름이 $f$와 $u$의 $\Omega$에 제한된 $L^2$-노름에 의해 제어됨을 증명하며, 이때 상수 $K = K(\Omega)$는 $\Omega$에만 의존한다.
• 동적 슈뢰딩거 방정식 $i\partial_t u = (-\Delta + V)u$에 대해, 초기 $L^2$-노름이 $\Omega \times (0,T)$에서의 해의 $L^2$-노름에 의해 제어되며, 상수 $K = K(\Omega,T)$를 갖는다. 이는 관측 가능성 추정을 수립한다.
• 제어 함수 $f \in L^2((0,T)\times\Omega)$의 존재가 HUM 방법과 관측 가능성 추정을 통해 증명되며, 이를 통해 제어된 방정식의 해가 시간 $T$에 0이 되도록 한다.
• 증명은 $H^{-2}$에서의 약한 수렴성과 관측 연산자의 핵의 유한차원성에 기반한 모순 증명에 의존하며, 이는 타원 연산자의 유일한 연장 성질에서 유도된다.
• 핵심 기술적 단계는 고주파수 추정의 상수가 $L^\infty$의 유계 부분집합 내에서 포텐셜 $V$에 대해 독립적임을 보이는 것으로, 이는 $C^0$ 및 $L^\infty$ 포텐셜에 대한 변형 방법을 가능하게 한다.
• 저자는 결과가 복소수 포텐셜 $V \in L^\infty(\mathbb{T}^2; \mathbb{C})$와 시간에 의존하는 포텐셜 $V(t,z) \in L^\infty(\mathbb{R} \times \mathbb{T}^2; \mathbb{C})$의 경우로도 확장될 것임을 추측한다.