Optimal bounds for embedded eigenvalues of one-dimensional discrete Schrödinger operators with decaying potentials

기술 요약: 붕괴하는 포텐셜을 가진 1차원 이산 슈뢰딩거 연산자의 임베디드 고윳값에 대한 최적 경계

문제 정의
본 논문은 이산 라플라시안 $\Delta$와 임계 쿨롱 척도에서 붕괴하는 실수 값 포텐셜 $V(n) = O(1/(1+n))$를 갖는 $\ell^2(\mathbb{N})$ 상의 1차원 이산 슈뢰딩거 연산자 $H = \Delta + V$의 스펙트럼 성질을 조사한다. 중심 문제는 필수 스펙트럼 $[-2, 2]$의 내부로 임베디드된 고윳값의 존재를 결정하는 핵심 점근적 상수 $C(E)$를 결정하는 것이다.

주어진 에너지 $E = 2\cos(\pi k)$ ($k \in (0, 1)$)에 대하여, 저자들은 다음을 만족하는 임계 임계값 $C(k)$를 찾고자 한다:

1. 만약 $\limsup_{n\to\infty} |nV(n)| < C(k)$이면, $E$는 고윳값이 아니다.
2. 임의의 $\epsilon > 0$에 대하여, $\limsup_{n\to\infty} |nV(n)| < C(k) + \epsilon$을 만족하면서 $E$가 고윳값이 되게 하는 포텐셜이 존재한다.

이 문제의 연속체 유사 문제는 (무리수 준-모멘텀에 대해 임계 계수가 $2/\pi$인 것으로) 잘 알려져 있으나, 이산적인 경우는 $k$의 산술적 성질에 따라 복잡한 의존성을 보인다. 기존 연구들은 무리수 $k$와 짝수 분모를 가진 유리수 $k$에 대한 날카로운 경계를 확립했으나, 홀수 분모 $q \ge 3$를 가진 유리수 $k = p/q$의 경우는 미해결 상태로 남아 기존의 하한과 상한 사이의 간극이 존재했다.

방법론
분석은 차분 방정식을 반경 방향($R(n)$) 및 각도 변수($\theta(n)$)로 변환하는 수정된 프뤼퍼 변환(modified Prüfer transformation)에 의존한다. 임베디드 고윳값의 존재는 반경 방향 해의 제곱 가합성(square-summability), 즉 $R(n) \in \ell^2$와 대응된다.

홀수 분모 케이스($q$가 홀수인 경우)의 핵심 난점은 짝수 케이스에서 사용 가능한 "반주기 대칭성(half-period symmetry)"의 부재이다. 짝수 케이스에서는 반경 방향 감쇠를 최대화하는 포텐셜 값을 선택하여 각도 드리프트(angular drift)를 상쇄할 수 있으며, 이를 통해 위상(phase)을 최적의 값에 고정할 수 있다. 홀수 케의 경우, 반경 방향 감쇠를 개선하는 포텐셜의 선택은 필연적으로 비제로(non-zero) 각도 드리프트를 유발하여 위상이 고정되는 것을 방지한다.

이를 해결하기 위해 저자들은 다단계 방법론을 채택한다:

1. 삼각 항등식 및 보상: 저자들은 반경 방향 감쇠 이득을 측정하는 $P(\phi)$와 각도 드리프트를 측정하는 $T(\phi)$라는 두 가지 삼각 함수를 도입한다. 이들은 $P(\phi)$의 $qB_q$에 대한 초과분과 $T(\phi)$ 사이의 핵심 항등식을 확립한다. 이는 큰 반경 방향 이득을 갖는 주기가 상당한 각도 운동을 동반하며, 작은 이득을 갖는 주기는 반대 방향의 드리프트를 갖는다는 것을 드러낸다.
2. 완만하게 변화하는 수열의 분할: 저자들은 $x_{n+1} - x_n = O(1/(1+n))$을 만족하는 수열에 대한 새로운 분할 이론을 개발한다. 이들은 이러한 수열의 소수 부분(fractional parts)의 집적 집합(accumulation sets)을 네 가지 경우, 즉 단일 점, 적절한 호(proper arc), 두 개의 호의 합집합(식별 지점을 통과하는), 또는 전체 원으로 분류한다.
3. 동적 보상(Dynamic Compensation): 이 분할을 사용하여, 저자들은 프뤼퍼 각도가 특정 영역에 머무는 윈도우(window) 단위로 인덱스들을 그룹화한다. "전체 원" 케이스(각도가 전체 도메인을 탐색하는 경우)의 경우, $\phi$ 근처와 $1-\phi$ 근처의 인덱스들을 쌍으로 묶는다. $P$의 대칭성과 $T$의 반대칭성 덕분에, 이 쌍을 이룬 윈도우들 사이에서 반경 방향 이득을 각도 드리프트와 균형을 맞출 수 있으며, 이를 통해 총 누적 감쇠가 날카로운 상한을 초 exceed하지 않도록 보장할 수 있다.
4. 임계 케이스 구축: 존재성 부분을 입증하기 위해(경계가 엄격함을 보여주기 위해), 저자들은 급격히 성장하는 블록을 사용하여 포텐셜을 구축한다. 저자들은 포텐셜 계수에 소멸하는 보정(vanishing corrections)을 도입하여 블록 내에서 반경 방향 감쇠 지수가 약간 초임계(super-critical)가 되도록 하면서, 블록의 길이가 충분히 빠르게 성장하여 전이 오차(transition errors)가 가합적이 되도록 한다. 이는 진동 주기, 구축 블록, 그리고 글로벌 척도의 세 가지 척도를 조정하는 것을 요구한다.

주요 기여 및 결과

1. 홀수 분모 케이스의 해결: 본 논문의 주요 기여는 $q \ge 3$이 홀수인 유리수 $k = p/q$에 대한 날카로운 임계 계수를 결정하는 것이다. 저자들은 다음과 같이 증명한다:
   $$C(k) = \frac{\sin(\pi k)}{B_q}, \quad \text{단, } B_q = \frac{1 + \cos(\frac{\pi}{q})}{q \sin(\frac{\pi}{q})}.$$
   이는 기존의 하한과 상한 사이의 간극을 메우며, 하한을 일치하는 상한으로 대체한다.

2. $C(k)$의 완전한 특성화: 이전 결과들과 결합하여, 본 논문은 모든 $k \in (0, 1)$에 대한 $C(k)$의 완전한 공식을 제공한다:

   • 무리수 $k$: $C(k) = \frac{\sin(\pi k)}{2/\pi}$.
   • 유리수 $k = p/q$ ($q$가 짝수인 경우): $C(k) = \frac{\sin(\pi k)}{A_q}$, 여기서 $A_q = \frac{2}{q \sin(\pi/q)}$.
   • 유리수 $k = p/q$ ($q$가 홀수인 경우): $C(k) = \frac{\sin(\pi k)}{B_q}$.

   이 공식은 유리수 준-모멘텀에서 $C(k)$의 불연속성을 정확하게 정량화한다. $k'$가 유리수 $p/q$로 접근함에 따라, $C(k')$는 $\sin(\pi k)/A_0$로 수렴하지만, 유리수 지점에서의 값은 $A_q$(짝수 $q$) 또는 $B_q$(홀수 $q$)에 의해 결정된다.

3. 임계 계수에서의 엄격성(Sharpness): 본 논문은 임계 계수가 단순히 비존재를 위한 임계값이 아니라 실제로 달성될 수 있음을 증축한다. 주어진 경계 조건과 임의의 $E \in (-2, 2)$에 대하여, $\limsup |nV(n)| = C(E)$를 만족하면서 $E$가 임베디드 고윳값이 되게 하는 포텐셜 $V$가 존재한다. 이는 포텐셜이 한계를 넘지 않으면서도 점점 길어지는 척도 상에서 소멸하는 보정을 통해 충분한 감쇠를 축적하도록 하는 정교한 구축을 필요로 한다.

4. 완만하게 변화하는 수열을 위한 분할 이론: 본 논문은 $O(1/n)$ 변화를 갖는 수열에 대한 엄격한 분할 결과를 도입한다. 이 결과는 토러스 $\mathbb{R}/\mathbb{Z}$ 상에서 이러한 수열의 집적 거동을 분류하며, 이산 설정에서 반경 방향 감쇠와 각도 진화 사이의 상호작용을 다루기 위한 필요한 조합론적 틀을 제공한다.

의의
본 논문은 붕괴하는 쿨롱 포텐셜을 가진 1차원 이산 슈뢰딩거 연산자의 최적 단일 고윳값 계수 문제를 완결했다고 주장한다. 저자들은 이전에 다루기 어려웠던 홀수 분모 케이스의 특수한 어려움을 해결하였으며, "동적 보상 원리"를 통해 날카로운 상수가 단순히 점별(pointwise) 포텐셜 최적화가 아니라, 궤도(orbit) 상의 반경 방향 이득과 각도 드리프트의 전역적 균형에 의해 결정됨을 입증하였다. 이 연구는 무리수 및 유리수 준-모멘텀 전반에 걸친 임베디드 고윳값의 이해를 통합하며, 이산 스펙트럼 이론에서 산술적 성질의 심오한 역할을 강조한다.