[논문 리뷰] Observability and unique continuation inequalities for the Schrödinger equation

Gengsheng Wang, Ming Wang외 1명|arXiv (Cornell University)|2016. 06. 19.

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

한 줄 요약

이 논문은 전체 공간에서 자유 슈뢰딩거 방정식에 대한 새로운 관측 가능성 및 유일 연장 부등식을 수립하여, 해가 공간 구 외부에서 두 개의 서로 다른 시간에 관측될 경우 유일하게 결정될 수 있음을 보여준다. 핵심 결과는 두 시점에서의 최적 관측 가능성 부등식으로, 이는 불확실성 원리와 동치이며, 두 시점에서만 작용하는 제어를 통해 정확한 제어 가능성을 가능하게 한다.

ABSTRACT

In this paper, we present several observability and unique continuation inequalities for the free Schrödinger equation in the whole space. The observations in these inequalities are made either at two points in time or one point in time. These inequalities correspond to different kinds of controllability for the free Schrödinger equation. We also find that the observability inequality at two points in time is equivalent to the uncertainty principle built up in [18].

연구 동기 및 목표

• 전체 공간에서 자유 슈뢰딩거 방정식에 대한 관측 가능성 및 유일 연장 부등식을 두 개의 서로 다른 시간에 관측함으로써 수립한다.
• 이러한 두 시점 관측 가능성 부등식과 양자역학에서의 불확실성 원리 사이의 관계를 조사한다.
• 논문 [19]에서 수립된 불확실성 원리와 두 시점 관측 가능성 부등식이 동치임을 보여준다.
• 이러한 부등식이 슈뢰딩거 방정식의 제어 가능성에 미치는 영향, 특히 펄스 제어의 맥락에서의 영향을 탐구한다.
• 관측 데이터에 기반하여 제어 노름의 정량적 추정을 제공함으로써, 최소한의 제어 에너지를 사용한 정확한 제어 가능성을 확보한다.

제안 방법

• 두 개의 서로 다른 시간에서의 해의 $ L^2 $-노름에 대한 관측 가능성을 제약하는 관측 가능성 부등식 (1.5)를 유도한다. 이는 초기 상태의 $ L^2 $-노름을 공간 구 외부에서 관측된 두 시점의 해의 $ L^2 $-노름으로 유계화한다.
• 푸리에 변환과 슈뢰딩거 전파자 $ e^{i\Delta t} $ 의 성질을 이용하여 위상공간에서 해의 행동을 분석한다.
• 복소해석학과 카르레만 추정을 적용하여 두 시점에서의 관측 자료로부터 유일 연장 성질을 도출한다.
• 두 시점 관측 가능성 부등식과 [19]에서 제시된 불확실성 원리 사이의 동치성을 확립한다. 특히 $ \alpha\beta < 4 $ 인 경우에 대해.
• 쌍대성 원리와 힐버트 공간 기법을 활용하여, 제어 에너지를 제한하면서 초기 상태에서 목표 상태로 시스템을 이동시키는 제어의 존재를 증명한다.
• 제어 비용과 근사 오차 사이의 상호 관계를 정량화하기 위해 가중 공간 $ Q_a $ 와 제어 공간 $ Q_a^* $ 를 도입한다.

실험 결과

연구 질문

• RQ1 자유 슈뢰딩거 방정식에 대한 관측 가능성 부등식은 시간 간격이 아닌 두 개의 서로 다른 시간에 관측함으로써 수립될 수 있는가?
• RQ2 두 시점 관측 가능성 부등식은 양자역학에서 알려진 불확실성 원리와 동치인가?
• RQ3 관측 가능성 상수의 최적 의존성은 시간 간격 $ T - S $, 공간 반지름 $ r_1, r_2 $, 위치 $ x', x'' $ 에 대해 어떻게 되는가?
• RQ4 두 시점 관측 가능성 부등식은 펄스 제어가 작용하는 슈뢰딩거 방정식의 제어 가능성과 어떻게 관련되는가?
• RQ5 주어진 근사 오차를 갖는 제어를 $ L^2 $-노름에 대해 명시적인 상한을 갖도록 구성할 수 있는가?

주요 결과

• 관측 가능성 부등식 (1.5)는 차원 $ n $ 에만 의존하는 상수 $ C(n) $ 를 갖는다. 지수 항 $ e^{C r_1 r_2 / (T - S)} $ 는 향상될 수 없으며 최적임을 보여준다.
• 두 시점 관측 가능성 부등식은 [19]에서 제시된 불확실성 원리와 동치이다. 즉, $ \|e^{|x|^2/\alpha^2} u(\cdot,0)\|_{L^2} + \|e^{|x|^2/\beta^2} u(\cdot,1)\|_{L^2} < \infty $ 이고 $ \alpha\beta < 4 $ 라면 $ u \equiv 0 $ 이다.
• 논문은 $ \alpha\beta = 4 $ 일 때 유일 연장 성질이 실패함을 증명하여, 불확실성 원리의 날카로움을 확인한다.
• 정리 5.13은 제어 $ h $ 의 $ L^2 $-노름에 대한 명시적 상한을 제공한다. 즉, $ \varepsilon^{-1} e^{-e^{\varepsilon^{-2}}} \|h\|_{L^2}^2 \leq C(x_0,r,a,T-\tau) \|u_T - e^{i\Delta T}u_0\|_{L^2}^2 $ 이며, 이는 초과소오차를 갖는 정확한 제어 가능성을 보장한다.
• 제어 비용은 $ \varepsilon^{-1} e^{e^{\varepsilon^{-2}}} $ 의 형태로 증가하며, 이는 근사 오차의 역수에 대해 초초기함수적 의존성을 나타내며, 이는 해석적 제어 문제에서 일반적인 특성이다.
• 본 연구는 제어가 두 개의 이산 시점에서 작용하며, 각각 공간 구 외부에서 이루어지고, 이러한 관측 자료로부터 해가 복원될 수 있는, 슈뢰딩거 방정식에 대한 새로운 펄스 제어 프레임워크를 수립한다.