[논문 리뷰] Control for Schrödinger equation on hyperbolic surfaces

Long Jin|arXiv (Cornell University)|2017. 07. 17.

Stability and Controllability of Differential Equations참고 문헌 7인용 수 4

한 줄 요약

이 논문은 컴act한 하이퍼볼릭 표면 위의 비어 있지 않은 열린 집합이 시간에 의존하는 슈뢰딩거 방정식에 대해 관측 가능성과 정확한 제어를 제공함을 입증한다. 디아틀로프와 진(2017)의 반구조적 제어 추정치를 바탕으로, 저자들은 힐버트 유일성 방법(Hilbert Uniqueness Method)을 사용하여, 어떤 열린 부분집합에서의 관측 가능성은 정확한 제어 가능성으로 이어짐을 증명하며, 이는 이전에 평평한 토러스에서만 알려진 결과를 하이퍼볼릭 표면으로 확장한다.

ABSTRACT

We show that the any nonempty open set on a hyperbolic surface provides observability and control for the time dependent Schrödinger equation. The only other manifolds for which this was previously known are flat tori. The proof is based on the main estimate in Dyatlov-Jin and standard arguments of control theory.

연구 동기 및 목표

• 컴 pact한 하이퍼볼릭 표면 위의 슈뢰딩거 방정식에 대한 관측 가능성과 제어를 확립하는 것.
• 비어 있지 않은 열린 집합이 슈뢰딩거 방정식을 제어할 수 있다는 기존의 결과를 이전에 평평한 토러스에서만 알려진 바를 하이퍼볼릭 표면으로 확장하는 것.
• 일반적인 다양체와 달리 하이퍼볼릭 표면에서는 기하적 제어 조건이 필요로 하지 않음을 보여주는 것.
• 결과가 $L^\infty$ 포텐셜을 가진 슈뢰딩거 연산자로 확장될 수 있음을 보여주는 것, 그리고 잠재적으로 $L^2$ 포텐셜로까지 확장 가능함을 보여주는 것.
• 최근 토러스 연구에서와 유사하게, 결과가 날카로운 제어 집합이나 $L^4$-정규성 제어 함수로까지 일반화될 수 있는지 탐색하는 것.

제안 방법

• 디아틀로프와 진(2017)의 반구조적 제어 추정치를 활용하여, 코스피어 벌레에서의 영이 아닌 컷오프가 해의 $L^2$-노름을 로그 오차까지 제어함을 보여주는 결과를 도출한다.
• 관측 가능성에서 정확한 제어 가능성을 도출하기 위해 힐버트 유일성 방법(HUM)을 적용하며, 제어 문제와 관측 문제 간의 쌍대성에 기반한다.
• 유일성-컴act성 추론을 사용하여, $(0,T)\times\Omega$에서 $L^2$-노름으로 0이 되는 유일한 초기 자료는 영 함수임을 증명함으로써 관측 가능성을 확립한다.
• 스펙트럼 이론과 orthonormal 고유함수 전개를 활용하여 해의 $H^{-4}$-노름을 제어하고 수렴 추정치를 도출한다.
• 편미분을 사용하여 $-\Delta$에서 $-\Delta + V$로 결과를 확장하며, $V \in L^\infty(M;\mathbb{R})$인 경우를 다룬다.
• 힐버트 공간 내에서 쌍대성에 의해 관측 가능성과 제어 연산자의 전사성 간의 등가성을 기반으로 한다.

실험 결과

연구 질문

• RQ1 컴 pact한 하이퍼볼릭 표면 위의 비어 있지 않은 열린 집합이 기하적 제어 조건 없이도 슈뢰딩거 방정식을 제어할 수 있는가?
• RQ2 디아틀로프와 진(2017)의 반구조적 제어 추정치가 하이퍼볼릭 표면 위의 슈뢰딩거 방정식에 대해 관측 가능성과 제어 가능성을 암시하는가?
• RQ3 결과가 평평한 토러스의 경우와 유사하게 $L^2$-포텐셜을 가진 슈뢰딩거 연산자로까지 얼마나 넓게 확장될 수 있는가?
• RQ4 최근 토러스 연구에서와 유사하게, 결과가 날카로운 제어 집합이나 $L^4$-함수로까지 일반화될 수 있는가?
• RQ5 정리 1.2의 관측 가능성 상수 $K$는 정리 1.1의 반구조적 추정치에서 유도된 상수 $C$로부터 계산 가능한가?

주요 결과

• 컴 pact한 하이퍼볼릭 표면 $M$ 위의 비어 있지 않은 열린 집합 $\Omega \subset M$ 는 슈뢰딩거 방정식에 대해 관측 가능성을 제공한다: $\|u_0\|_{L^2}^2 \leq K \int_0^T \|e^{it\Delta}u_0\|_{L^2(\Omega)}^2 dt$ 를 만족하는 어떤 $K > 0$ 가 존재하며, 이는 $M$, $\Omega$, $T$ 에 따라 달라진다.
• 관측 가능성 추정치는 정확한 제어 가능성을 암시한다: 임의의 $u_0 \in L^2(M)$ 에 대해, $(i\partial_t + \Delta)u = f\mathbf{1}_{(0,T)\times\Omega}$ 를 만족하는 해 $u$ 가 존재하여 $u(T,\cdot) \equiv 0$ 가 된다.
• 증명은 $\Omega$ 에서 시간에 걸쳐 0이 되는 비자명한 해가 존재하지 않음을 보여주는 유일성-컴act성 추론에 기반하며, 이는 $H^{-4}$-노름 추정치를 사용한다.
• 결과는 $V \in L^\infty(M;\mathbb{R})$ 인 슈뢰딩거 연산자 $-\Delta + V$ 로까지 확장되며, 주요 반구조적 추정치는 이러한 편미분에 대해 여전히 유효하기 때문이다.
• 핵심 기술적 단계는 고유함수 전개와 스펙트럼 감쇠를 사용하여, $\Omega$ 에서 시간에 걸쳐 0이 되는 해의 진동을 갖는 유일한 초기 자료는 영 함수임을 보이는 것이다.
• 관측 가능성 부등식의 상수 $K$ 는 원칙적으로 주요 추정치 (1.1) 에서의 반구조적 상수 $C$ 로부터 계산 가능하며, [BBZ13, Appendix A] 의 기법을 따를 수 있다.