On wave operators for Hardy operators with and without perturbations

기술 요약: 하디 연산자(Hardy Operators)에 대한 파동 연산자(Wave Operators)의 섭동 유무에 관한 연구

문제 정의
본 논문은 $L^2(\mathbb{R}^d)$ 상에서 작용하는 하디 연산자 $L_\kappa = (-\Delta)^{\alpha/2} - \kappa|x|^{-\alpha}$ (여기서 $\alpha \in (0, 2] \cap (0, d)$ 이고 $\kappa \le \kappa_c$)에 대한 시간 의존적 산란 이론을 조사한다. $\kappa_c$는 하디 부등식의 최적 상수이다. 주요 목표는 자유 역학(fractional Laplacian $L_0$ 또는 일반적인 푸리에 승수 $C_0$)과 섭동된 역학(하디 연산자 $L_\kappa$ 및 단거리 $V^S$ 또는 장거리 $V^L$ 퍼텐셜에 의한 추가 섭동)을 결합하는 파동 연산자 $W(H, H_0)$의 점근적 완결성(asymptotic completeness)을 확립하는 것이다.

핵심 과제는 스케일링 임계(scaling-critical) 하디 퍼텐셜 $|x|^{-\alpha}$가 존재하는 상황에서, 특히 임계 결합 상수 $\kappa = \kappa_c$ 및 비국소적(non-local) 영역 $\alpha < 2$에서의 연산자 거동을 다루는 것이다. 또한, 장거리 섭동이 존재할 때 파동 연산자의 존재 및 비존재에 대한 날카로운 임계값(sharp thresholds)을 결정하고자 한다.

방법론
저자들은 $\alpha$의 매개변수 범위와 퍼텐셜의 성격에 맞게 도구를 조정하여, 세 가지 서로 다른 프레임워크를 사용하여 점근적 완결성 및 비존재 결과를 증명한다.

1. 추상 세미그룹 프레임워크 ($\alpha > 1$의 경우):
   $\alpha > 1$인 경우, 저자들은 선행 연구([DS99a], [DGS01], [Gie04])에서 확립된 세미그룹 접근법을 활용한다. 이 방법은 열 핵(heat kernel)의 차이 $e^{-tH} - e^{-tH_0}$가 컴팩트하고 특정 가중치 유계성을 만족함을 검증하는 데 기초한다. 핵심적인 기술적 성과는 $L_\kappa$의 날카로운 열 핵 경계(sharp heat kernel bounds)를 사용하는 것인데([BGJP19], [JW20], [CKSV20]), 이는 자유 열 핵과 그라운드 스테이트 $|x|^{-\sigma}$의 곱으로 인수분해된다. 이러한 인수분해는 표준적인 Mourre 이론이 제로 에너지에서의 공명(zero-energy resonance)으로 인해 실패하기 쉬운 임계 결합 $\kappa = \kappa_c$ 영역을 처리할 수 있게 해준다.

2. 카토 매끄러움 이론 (Kato Smoothness Theory, $\alpha \le 1$의 경우):
   비국소적 사례인 $\alpha \le 1$의 경우, 저자들은 [MY21]의 결과를 확장하여 카토의 매끄러운 방법(Kato's smooth method)을 적용한다. 이는 단거리 퍼텐셜이 해밀토니안에 대해 매끄러움을 증명하는 과정을 포함한다. 주요 기술적 난관은 저모멘텀(low momenta)에서 군 속도(group velocity) $\alpha|D|^{\alpha-1}$의 특이성이다. 이를 극복하기 위해 저자들은 자유 연산자 $L_0$의 거듭제곱 대신 하디 연산자 $L_\kappa$의 거듭제곱을 사용하며, 이는 두 연산자에 의해 생성되는 균질 소볼레프 노름(homogeneous Sobolev norms)의 동등성(Proposition 4.2)을 활용한 것이다. 이 접근법은 양의 교환자 추정치(positive commutator estimates)를 효과적으로 사용하기 위해 결합 상수가 아임계(subcritical) $\kappa < \kappa_c$여야 함을 요구한다.

3. 전파 추정치 및 Cook–Kuroda 방법:
   본 논문은 점근적 완결성(Cook–Kuroda 방법을 통해)을 증명하고 비존재 결과를 확립하는 데 필수적인 하디 연산자에 대한 새로운 전파 추정치(propagation estimates)를 개발한다.

   • 최소 탈출 속도(Minimal Escape Velocity): 팽창 생성자(dilation generator) $A$에 의해 측정되는 낮은 "탈출 속도"를 가진 상태들이 빠르게 감쇠함을 보여주는 추정치.
   • 외부 위상 공간 전파(Outgoing Phase Space Propagation): 상태와 퍼텐셜 사이의 중첩이 외부 위상 공간 영역에서 빠르게 감쇠함을 보여주는 추정치.
   • 가중 전파(Weighted Propagation): 공간 모멘트의 성장이 탄도적 스케일(ballistic scale)을 초과하지 않음을 보여주는 유계성.
     이러한 추정치들은 교환자 전개, 감쇠하지 않는 함수를 위한 Helffer–Sj"ostrand 계산법, 그리고 팽창 생성자 $A$에 의존한다.

주요 기여 및 결과

• $\alpha > 1$에 대한 점근적 완결성:
  본 논문은 $\kappa \le \kappa_c$인 모든 경우, 즉 임계 사례를 포함하여 파동 연산자 $W(L_\kappa, L_0)$, $W(L_\kappa - V^S, L_0)$, 그리고 $W(L_\kappa - V^S, L_\kappa)$가 점근적으로 완결됨을 증명한다. 이는 $\kappa < \kappa_c$로 제한되었거나 섭동 가정이 필요했던 기존 결과들을 확장한 것이다. 이 결과는 유사한 고모멘텀 거동을 가진 일반적인 푸리에 승수 $C_0$에 대해서도 성립한다(Corollary 1.7).

• $\alpha \le 1$에 대한 점근적 완결성:
  단거리 퍼텐셜의 감쇠율 $\rho_S$와 결합 상수 $\kappa$에 대한 특정 조건(특히 $\kappa < \kappa_c$) 하에서, 파동 연산자 $W(L_\kappa - V^S, L_\kappa)$가 점근적으로 완결됨을 보인다. 이 결과는 $1/2 < \alpha \le 1$ 범위를 다루며($d \ge 2$인 경우 $\alpha = 1/2$까지 확장), 퍼텐셜이 카토 매끄러움 이론과 호환되는 매끄러움 및 감쇠 가정을 만족해야 한다.

• 파동 연산자의 비존재(Non-Existence):
  본 논문은 장거리 섭동에 대한 날카로운 비존재 결과를 확립한다.

  • 만약 $\alpha \le 1$이고 $\kappa \neq 0$이면, 파동 연산자 $W(L_\kappa, L_0)$는 존재하지 않는다.
  • 섭동 $V^L$이 장거리 성격($|x|^{-\rho_L}$로 감쇠하며 $0 < \rho_L \le 1$)을 갖는 경우, 섭동된 계와 섭동되지 않은 계를 결합하는 파동 연산자는 일반적으로 존재하지 않는다.
  • 구체적으로, $0 < \rho_L \le \alpha \le 1$ (및 $\alpha = 1/2, d \ge 2$)인 경우 $W(L_\kappa - V^L, L_\kappa)$는 존재하지 않는다.
    이 결과들은 [IW20]에서 영감을 얻은 추상적 비존재 기준과 최소 탈출 속도 및 가중 전파 유계성을 이용한 직접적인 추정치를 통해 도출되었다.

• 기타 연산자로의 일반화:
  결과는 임계점(critical points)에 관한 특정 스펙트럼 조건을 만족하는 클래스 $\mathcal{K}_\alpha$의 푸리에 승수 $C_0$(의사 상대론적 운동 에너지 $(1-\Delta)^{\alpha/2}-1$ 포함)로 확장된다.

의의 및 주장
저자들은 본 연구가 스케일링 임계 퍼텐셜을 가진 분수형 슈뢰딩거 연산자의 산란 이론를 진전시켰다고 주장한다. 주요 의의는 다음과 같다:

1. 임계 결합 처리: 제로 에너지에서 무너지는 교환자 추정치에 의존하는 대신, 열 핵의 구조를 활용하여 $\alpha > 1$인 경우 $\kappa = \kappa_c$인 케이스를 성공적으로 다루었다.
2. 새로운 전파 추정치: 이전 문헌에서는 분수 연산자에 대해 통합되지 않았던 스케일링 임계 퍼텐셜을 포함하는 하디 연산자용 전파 추정치를 개발하였다. 이러한 추정치는 독립적인 관심사로서, $N$-입자 산란 문제에도 적용될 수 있다.
3. 날카로운 임계값: 파동 연산자의 존재와 비존재에 대한 포괄적인 그림을 제공함으로써, 섭동의 감쇠율과 하디 퍼텐셜의 동차성(homogeneity) 사이의 역할을 명확히 하였다.

본 논문은 $\alpha \le 1$ 영역에서 발견되는 기술적 제한 사항들(예: $\alpha > 1/2$ 또는 $\sigma$에 대한 특정 경계)이 근본적인 물리적 장애물이 아니라, 현재의 증명 기법(특히 소볼레프 노름의 비교 및 카토 매끄러움 사용)에서 기인한 인위적인 결과일 가능성이 높다고 명시한다. 저자들은 향후 연구를 통해 이러한 임계값을 더 낮출 수 있을 것이라는 낙관적인 전망을 밝히고 있다.