Counterexamples to the $L^1$ and $L^{\infty}$ boundedness of the one-dimensional wave operators

기술 요약: 1차원 파동 연산자의 $L^1$ 및 $L^\infty$ 유계성에 대한 반례

문제 정의
본 논문은 $V$가 $|V(x)| \lesssim \langle x \rangle^{-\beta}$ ($\beta > 2$)로 감쇠하는 실수 값 포텐셜을 가진 1차원 슈뢰딩거 연산자 $H = -\Delta + V(x)$와 관련된 파동 연산자 $W_\pm(H, -\Delta)$의 $L^p$ 유계성 문제를 다룬다. 일반적인 경우(generic case)와 예외적인 경우(exceptional case) 모두에서 $L^p(\mathbb{R})$에 대한 이 연산자들의 유계성은 잘 확립되어 있으나, 양 끝점인 $p=1$과 $p=\infty$에서의 거동은 부분적으로 미해결 상태로 남아 있었다.

이전 연구에서 Weder는 제로 에너지에서의 공명(resonance)을 만족하는 특정 조건($\lim_{x\to-\infty} f_+(0, x) = 1$, 여기서 $f_+$는 요스트 함수(Jost function)임)을 갖는 "예외적인 경우"에 대해 파동 연산자가 $L^1$ 및 $L^\infty$에서 유계임을 입증했다. 이러한 유계성은 저에너지 분해(low-energy decomposition) 과정에서 힐베르트 변환(Hilbert transform)과 관련된 계수들이 소멸한다는 사실에 기인한다. 그러나 나머지 경우들, 즉 일반적인 경우와 $\lim_{x\to-\infty} f_+(0, x) \neq 1$인 예외적인 경우에 대해서는, 힐베르트 변환 항의 존재로 인해 연산자들이 유계가 아닐 것이라는 기대가 오래전부터 있어 왔다. 그럼에도 불구하고, 유계된 컴팩트 지지 포텐셜(bounded, compactly supported potentials)에 대해 이러한 비유계성을 입증하는 엄밀한 증명은 부재했다.

방법론
저자들은 파동 연산자를 고에너지 부분($W^H_-$)과 저에너지 부분($W^L_-$)으로 분해하는 정적 표현법(stationary representation approach)을 채택하여 분석한다. 고에너지 부분은 모든 $L^p$ 공간에서 유계임이 알려져 있으므로, 분석의 초점은 오직 저에너지 부분인 $W^L_-$에 맞춰진다.

1. 점근 전개(Asymptotic Expansion): 방법론의 핵심은 제로 에너지 근처($\lambda = 0$)에서 섭동된 레졸번트(perturbed resolvent) $R^+_V(\lambda^2)$의 정밀한 점근 전개를 도출하는 것이다. 저자들은 연산자 항등식 $R^+_V(\lambda^2)V = R^+_0(\lambda^2)v M^{-1}(\lambda)v$ (여기서 $M(\lambda) = U + vR^+_0(\lambda^2)v$)를 활용한다. 저자들은 $M^{-1}(\lambda)$의 역연산자를 $\lambda$의 거듭제곱에 관한 급수로 계산하며, 이때 일반적인 경우($W(0) \neq 0$)와 예외적인 경우($W(0) = 0$)를 구분한다.
2. 커널 분석(Kernel Analysis): 이러한 전개를 $W^L_-$의 적분 표현식에 대입함으로써, 저자들은 특이 연산자(singular operators)들을 분리해낸다. 이들은 추출된 연산자들의 적분 커널을 분석하여, $\lambda \to 0^+$일 때의 $\lambda$에 대한 특이 차수(order of singularity)에 따라 분류한다.
3. 유계성 증명: 슈어 테스트(Schur tests)와 특정 적분 커널(힐베르트 변환 및 BMO 공간과 관련된)의 성질을 사용하여, 저에너지 연산자의 대부분의 성분이 $1 < p < \infty$에 대해 $L^p$에서 유계이며, $L^\infty$에서 BMO(Bounded Mean Oscillation)로, 또는 $H^1$(Hardy space)에서 $L^1$으로 사상됨을 증명한다.
4. 반례 구축: 끝점에서의 비유계성을 증명하기 위해, 저자들은 특정 테스트 함수들을 구축한다. 일반적인 경우를 위해서는 구간의 특성 함수(characteristic functions of intervals)를 사용한다. 예외적인 경우에는 부호(sign)와 환형(annuli)의 특성 함수를 포함하는 함수들을 활용한다. 저자들은 이러한 특이 연산자들이 테스트 함수에 작용할 때, 결과값이 $L^1$ 또는 $L^\infty$에 속하지 않음을(구체적으로, 매개변수가 무한대로 갈 때 노름이 발산함을) 보여준다.

주요 기여 및 결과
본 논문은 1차원 슈뢰딩거 연산자의 $L^p$ 유계성에 대한 그림을 완성함으로써, 이전에 열려 있던 문제들에 대한 엄밀한 증명을 제공한다.

• 일반적인 경우(Generic Case): $\beta > 7$인 일반적인 유형의 포텐셜에 대해, 파동 연산자 $W_\pm$는 $L^1(\mathbb{R})$ 및 $L^\infty(\mathbb{R})$에서 유계가 아니다. 그러나 이들은 $L^\infty(\mathbb{R})$에서 BMO$(\mathbb{R})$로의 유계성은 유지한다.
• 예외적인 경우 ($\lim_{x\to-\infty} f_+(0, x) \neq 1$): 요스트 함수의 극한값이 1이 아닌 컴팩트 지지 포텐셜을 가진 예외적인 유형의 경우, 파동 연산자는 $L^1(\mathbb{R})$ 및 $L^\infty(\mathbb{R})$에서 유계가 아니다. 또한, 이 특정 사례에서는 $L^\infty(\mathbb{R})$에서 BMO$(\mathbb{R})$로의 유계성 또한 성립하지 않는다.
• 끝점 거동의 구별: 본 논문은 BMO 공간으로의 매핑과 관련하여 일반적인 경우와 예외적인 경우 사이의 결정적인 차이를 강조한다. 일반적인 경우는 이 유계성을 보존하는 반면, 예외적인 경우(요스트 극한이 1이 아닌 경우)는 이를 파괴한다. 이는 공명 구조와 관련된 특정 계수 $c_2$의 비소멸(non-vanishing)과 연결되어 있다.

의의
본 논문은 1차원 파동 연산자의 $L^p$ 유계성에 대한 이론적 이해를 완성했다고 주장한다. 명시적인 반례와 일반적 및 특정 예외적 경우의 비유계성에 대한 엄밀한 증명을 제공함으로써, 저자들은 문헌상의 오랜 공백을 메웠다. 이들의 연구는 저에너지 분해에 존재하는 힐베르트 변환의 존재가 (Weder의 결과에서 발견된 것과 같은) 특정 상쇄 조건이 충족되지 않는 한, 실제로 $L^1$ 및 $L^\infty$에서의 비유계성을 초래한다는 점을 명확히 한다. 또한, BMO 공간으로의 매핑 성질을 정교화하여, 예외적인 경우(요스트 극한이 1이 아닌 경우)는 일반적인 경우와 달리 $L^\infty$에서 BMO로의 매핑에 실패함을 보여준다. 이러한 결과들은 유계된 컴팩트 지지 포텐셜의 구축에 기반하며, 이는 비유계성이 장거리 포텐셜 감쇠의 산물이 아니라 연산자 구조 자체의 근본적인 특징임을 입증한다.