[논문 리뷰] Uncertainty principle, minimal escape velocities and observability inequalities for schrödinger equations

Shanlin Huang, Avy Soffer|arXiv (Cornell University)|2017. 09. 27.

Stability and Controllability of Differential Equations참고 문헌 16인용 수 6

한 줄 요약

이 논문은 일반 자기수반 해밀토니안을 갖는 슈뢰딩거 방정식에 대해 두 시점에서 관측 가능성 부등식을 증명한다. 이는 나자로프 유형의 불확실성 원리와 일반 자기수반 해밀토니안에 대한 최소 속도 추정치를 기반으로 한 추상적 프레임워크를 사용한다. 주요 기여는 스펙트럼 국소화, 파동 전파 속도, 관측 가능성 간의 정량적 연결을 확립하며, 자유 라플라스 연산자에서의 이전 결과를 잠재력이 있는 슈뢰딩거 연산자 및 분수 라플라스 연산자로 확장한다. 이는 제어 가능성과 유일 연속성 문제에 응용된다.

ABSTRACT

We develop a new abstract derivation of the observability inequalities at two points in time for Schrödinger type equations. Our approach consists of two steps. In the first step we prove a Nazarov type uncertainty principle associated with a non-negative self-adjoint operator $H$ on $L^2(\mathbb{R}^n)$. In the second step we use results on asymptotic behavior of $e^{-itH}$, in particular, minimal velocity estimates introduced by Sigal and Soffer. Such observability inequalities are closely related to unique continuation problems as well as controllability for the Schrödinger equation.

연구 동기 및 목표

• 자유 슈뢰딩거 방정식을 초월해 일반 자기수반 해밀토니안 $ H $에 대해 두 시점에서의 관측 가능성 부등식을 확장한다. 이는 잠재력이 있는 경우와 분수 거듭제곱을 포함한다.
• 해밀토니안의 $ L^2 $-고유함수 존재 시 이러한 부등식이 실패함을 다루며, 분석을 해밀토니안의 연속 스펙트럼 부분공간으로 제한한다.
• 불확실성 원리와 최소 속도 추정치를 조합한 추상적 프레임워크를 개발하여 위상공간 내에서 파동 전파와 관측 가능성의 정량적 분석을 가능하게 한다.
• 시공간 국소화 관측을 갖는 인파르트 제어 슈뢰딩거 방정식에 대한 제어 가능성 결과를 확립한다.
• 스펙트럼 사영과 교환자 추정치를 통해 나자로프의 불확실성 원리를 연산자에 일반화한다.

제안 방법

• 비음수 자기수반 연산자 $ H $에 대해 나자로프 유형의 불확실성 원리를 유도한다. 이는 스펙트럼 사영 $ \chi(|x| \geq r) $ 와 $ \chi(H \geq r^{-2}) $ 를 통해 위치와 주파수 영역에 국소화된 함수의 $ L^2 $-노름 간의 관계를 기술한다.
• 시갈과 소퍼의 최소 속도 추정치를 활용하여 파동 패킷 $ e^{-itH}f $ 의 탈출 속도를 정량화한다. 이때 $ f $ 가 연속 스펙트럼 부분공간에 속해 있을 경우, 파동 패킷은 컴팩트 집합에서 일정 이상의 최소 속도로 떨어져 나간다.
• 스펙트럼 스텝 함수 $ \varphi_N(A) $ 에 대한 교환자 추정치를 적용하며, 버너스타인 유형의 부등식을 사용하여 연산자 노름을 $ N^{-3/4} $ 로 유계화함으로써 스펙트럼 국소화의 정규성과 감쇠성을 확보한다.
• 초기 조건을 두 시점에서 공간적으로 국소화된 $ L^2 $-노름으로 매핑하는 상태 변환 $ R $ 과 관측 연산자 $ O $ 를 구성한다. 이는 쌍대성 원리를 통해 관측 가능성 부등식 유도를 가능하게 한다.
• 쌍대성 추론과 약한 수렴을 활용하여 제어 연산자를 포함한 쌍대 부등식에서 관측 가능성 부등식을 도출하며, 제어 에너지의 유계성을 확보한다.
• 이 프레임워크를 잠재력 $ V $ 가 있는 슈뢰딩거 방정식과 분수 라플라스 연산자 $ (-\Delta)^{s/2} $ 에 적용하여, 시간 및 공간 분리 조건을 만족할 경우 제어 가능성을 증명한다.

실험 결과

연구 질문

• RQ1 자유 경우를 초월해 일반 슈뢰딩거 연산자에 대해 두 시점에서의 관측 가능성 부등식을 확립할 수 있는가?
• RQ2 $ L^2 $-고유함수가 존재할 경우 두 시점 관측 가능성 추정치의 타당성은 어떻게 영향을 받는가?
• RQ3 $ H $ 에 대해 어떤 추상적 조건이 최소 탈출 속도를 보장하고, 따라서 관측 가능성을 가능하게 하는가?
• RQ4 스펙트럼 사영을 통해 나자로프의 불확실성 원리는 비푸리에 설정으로 얼마나 일반화할 수 있는가?
• RQ5 인파르트 구동 슈뢰딩거 방정식의 제어 가능성에 대해 최소한의 시간 및 공간 분리 조건은 무엇인가?

주요 결과

• 일반 슈뢰딩거 방정식에 대해 관측 가능성 부등식이 확립된다: $ \|u_0\|_{L^2}^2 \leq C e^{C r_1 r_2 / (t_2 - t_1)} \left( \int_{|x| \geq r_1} |u(x,t_1)|^2 dx + \int_{|x| \geq r_2} |u(x,t_2)|^2 dx \right) $, 여기서 $ C $ 는 차원 $ n $ 에만 의존한다.
• 이 부등식은 $ H $ 의 $ L^2 $-고유공간에 속하는 초기 데이터에서는 실패하며, 따라서 분석을 연속 스펙트럼 부분공간으로 제한하는 것이 필수적이다.
• 최소 속도 추정치에 의해 스펙트럼 지원이 0 에서 멀리 떨어져 있는 파동 패킷 $ e^{-itH}f $ 는 양의 최소 속도로 외부로 이동하며, 이는 $ f \in \text{Ran}(\chi(H \geq \delta)) $ 일 때 $ v_{\min} \geq \sqrt{\delta} $ 로 정량화된다.
• 분수 슈뢰딩거 방정식 $ H = (-\Delta)^{s/2} $, $ s \geq 1 $ 에 대해, 두 개의 인파르트 제어가 존재할 경우 $ \tau_2 - \tau_1 > r^s T_0 $ 를 만족하면 제어 가능성이 확보된다. 여기서 $ T_0 $ 는 충분히 크다.
• 제어 에너지는 $ \|h_1\|^2 + \|h_2\|^2 \leq C \|u_T - e^{-itH}u_0\|^2 $ 를 만족하며, 이는 제어 비용이 목표 상태까지의 거리에 의해 유계화됨을 보여준다.
• 교환자 추정치는 $ \| [\varphi_N(A), B] \| \leq C M_{AB} N^{-3/4} $ 를 유도하며, 이는 불확실성 원리 프레임워크 내에서 스펙트럼 스텝 함수의 오차 유계화에 핵심적이다.