Quantitative observability for one-dimensional Schrödinger equations with potentials

기술적 요약: 포텐셜이 있는 1차원 슈뢰딩거 방정식에 대한 정량적 관측 가능성

문제 정의
본 노트는 실수 전체의 집합 $\mathbb{R}$ 상에서 실수 값의 유계 연속 포텐셜 $V(x)$를 갖는 1차원 슈뢰딩거 방정식의 정량적 관측 가능성을 다룬다. 방정식은 다음과 같다:
$$i\partial_t u - \partial_x^2 u + V(x)u = 0, \quad u|_{t=0} = u_0 \in L^2(\mathbb{R}).$$
핵심 질문은 초기 상태 $u_0$가 시간 간격 $(0, T)$ 동안 측정 가능한 부분집합 $\Omega \subset \mathbb{R}$ 상의 해 $u(t)$에 의해 유일하게 결정될 수 있는지(그리고 $L^2$ 노름으로 유계인지) 여부이다. 구체적으로, 저자들은 다음 형태의 부등식을 성립시키고자 한다:
$$\|u_0\|_{L^2(\mathbb{R})}^2 \leq C(T, V, \Omega) \int_0^T \|u(t)\|_{L^2(\Omega)}^2 dt,$$
여기서 제어 비용 $C(T, V, \Omega)$는 명시적으로 정량화된다. 본 연구는 "거친(rough)" 제어 영역, 특히 모든 $x \in \mathbb{R}$에 대해 $|\Omega \cap [x, x+L]| \geq \zeta L$을 만족하는 가측 집합인 $(L, \zeta)$-두꺼운 집합(thick sets)에 초점을 맞춘다. 컴팩트 다양체나 유계 도메인에서의 관측 가능성은 이미 잘 연구되어 있으나, 일반적인 유계 포텐셜과 임의의 짧은 관측 시간 $T > 0$을 갖는 비유계 도메인의 경우는 상대적으로 덜 연구된 분야이다.

방법론
주요 정리의 증명은 스펙트럼 분석, 레졸번트(resolvent) 추정, 그리고 정량적 글루잉(gluing) 전략을 결합한 3단계 과정에 의존한다:

1. 저주파 스펙트럼 부등식:
   저자들은 저주파 부분 해에 대한 스펙트럼 부등식을 확립한다. 이는 슈뢰딩거 연산자로부터 유도된 2차원 타원형 방정식의 소규모 전파(propagation of smallness)를 증명하는 과정을 포함한다.

   • 이들은 게이지 변환(gauge transformation)을 사용하여 비발산형(non-divergence form) 타원형 방정식 $-\Delta \phi + V(x)\phi = 0$을 발산형(divergence form) $\nabla \cdot (A(z)\nabla \tilde{\phi}) = 0$으로 환원한다.
   • 평면 상의 타원형 방정식에 대한 소규모 전파에 관한 최근 결과[38]를 활용하여, $L^2$-소규모 전파 추정치를 유도한다.
   • 이는 주파수 $\mu$까지의 주파수를 갖는 스펙트럼 투영 연산자 $\Pi_\mu$에 대하여 $\|\Pi_\mu f\|_{L^2} \leq C e^{3\mu} \|\Pi_\mu f\|_{L^2(\Omega)}$ 형태의 스펙트럼 부등식(보조정리 3.8)으로 이어진다. 이 결과는 실해석적 포텐셜에 대한 Lebeau-Moyano[27]의 스펙트럼 부등식을 유계 연속 포텐셜로 확장한 것이다.

2. 고주파 레졸번트 추정:
   고주파 부분에 대해, 저자들은 Hautus 유형의 레졸번트 추정(보조정리 4.1)을 유도한다:
   $$\|f\|_{L^2}^2 \leq \frac{C}{\mu} \|(H - \mu)f\|_{L^2}^2 + C \|f\|_{L^2(\Omega)}^2.$$
   자유 슈뢰딩거 연산자($V=0$)의 경우 [19]에 유사한 추정치가 존재하지만, 저자들은 $V \in L^\infty(\mathbb{R})$인 경우에 대해 더 기초적이고 차별화된 증명을 제공한다. 이 증명은 Logvinenko-Sereda 불확실성 원리의 정량적 분석, 구체적으로 두꺼운 집합에 대한 $\cos^2(\lambda(x-x_0))$의 적분 추정(보조정리 4.2)을 활용한다.

3. FBI 변환을 통한 정량적 글루잉:
   전체 관측 가능 부등식을 얻기 위해 저주파 및 고주파 추정치를 결합하는 과정이 가장 정교한 분석 단계이다. 연산자가 컴팩트 레졸번트를 갖지 않는 비컴팩트 설정에서는 표준적인 컴팩트성-유일성(compactness-uniqueness) 논법이 실패한다.

   • 저자들은 연관된 열 방정식(heat equation)의 관측 가능성으로부터 유도된 정량적 유일 계속 성질(quantitative unique continuation property)을 사용한다.
   • 1차원 슈뢰딩거 방정식을 1차원 열 방정식으로 매핑하기 위해 푸리에-브로스-이아골니츠(Fourier-Bros-Iagolnitzer, FBI) 변환을 도입한다.
   • 열 세미그룹(heat semigroup)의 역방향 시간 관측 가능성(Proposition 3.10)을 확립하고 FBI 변환을 적용함으로써, 슈뢰딩거 해와 열 해를 연결하는 정량적 유일 계속 추정치(Proposition 5.1)를 유도한다.
   • 이를 통해 컴팩트 레졸번트 논법 없이도 추정치들을 "글루잉(glue)"할 수 있다.

주요 결과
주요 결과(정리 1.2)는 임의의 $(L, \zeta)$-두꺼운 집합 $\Omega$와 임의의 포텐셜 $V \in C(\mathbb{R}) \cap L^\infty(\mathbb{R})$에 대하여, 임의의 $T > 0$에 대해 다음을 만족하는 상수 $C = C(V, L, \zeta)$가 존재함을 명시한다:
$$\|u_0\|_{L^2(\mathbb{R})}^2 \leq C e^{\frac{C}{T^2}} \int_0^T \|u(t)\|_{L^2(\Omega)}^2 dt.$$
이 결과의 주요 특징은 다음과 같다:

• 임의의 짧은 시간: 관측 가능성은 큰 시간 $T$뿐만 아니라 임의의 $T > 0$에 대해서도 성립한다.
• 명시적 제어 비용: 제어 비용의 발산율(blow-up rate)이 $e^{C/T^2}$로 명시적으로 주어졌다.
• 일반적인 포텐셜: 이 결과는 자유 방정식이나 실해석적 포텐셜로 제한되었던 기존 연구를 넘어 유계 연속 포텐셜에 적용된다.

힐베르트 유일성 방법(Hilbert Uniqueness Method)의 결과로서, 저자들은 또한 연관된 비동차 슈뢰딩거 방정식의 정확한 제어 가능성(exact controllability)을 증명한다(따름정리 1.4).

의의 및 주장
저자들은 본 연구를 다음과 같은 측면에서 기존 문헌의 중요한 확장으로 규정한다:

• Huang-Wang-Wang [20]의 확장: 1차원 자유 슈뢰딩거 방정식에 대한 대시간(large-time) 관측 가능성 결과를 임의의 짧은 시간 $T > 0$으로 확장하였으며, 이를 유계 연속 포텐셜을 갖는 연산자로 일반화하였다. 이는 [20]에서 제기된 짧은 시간 관측 가능성에 관한 특정 질문에 답하는 것이다.
• Lebeau-Moyano [27]의 확장: 실해석적 포텐셜에 대해 확립되었던 스펙트럼 부등식을 1차원 유계 연속 포텐셜의 경우로 확장하였다.
• 비컴팩트 설정: 저자들은 비유계 도메인($\mathbb{R}$)과 거친 제어 영역을 갖는 관측 가능성 문제를 다루는데, 이는 컴팩트 다양체 사례보다 훨씬 덜 연구된 설정이다.
• 방법론적 기여: 저자들은 비컴팩트 설정에서 열 방정식과 슈뢰딩거 방정식의 관측 가능성을 잇기 위해 FBI 변환을 사용하는 점을 강조하며, 이는 컴팩트 레졸번트의 부재로 인해 적용 불가능한 고전적인 컴팩트성-유일성 전략에 대한 정량적 대안을 제시한다.

본 논문은 표준적인 밀도 논법(density argument)을 통해 결과가 $L^\infty(\mathbb{R})$에 속하는 포텐셜로 확장될 수 있음을 언급하며 마무리하지만, 주요 분석은 표기법을 단순화하기 위해 연속 포텐셜을 대상으로 진행되었다.