Maximal estimates for perturbations of the Schrödinger operator on $\mathbb{T}^d$

기술 요약: $\mathbb{T}^d$ 상의 슈뢰딩거 연산자 섭동에 대한 극대 추정치

문제 정의
본 논문은 토러스 $\mathbb{T}^d$ 상에서의 슈뢰딩거 방정식에 관한 점별 수렴 문제에서 영감을 얻어, $C^2$ 그래프 초곡면과 관련된 지수 합(exponential sums)에 대한 $L^p_x L^\infty_t$ 극대 추정치를 조사한다. 구체적으로 저자들은 포물면의 $C^2$-작은 섭동(perturbations) 하에서도 주기적 슈뢰딩거 방정식에 대해 추측된 극대 추정치가 성립하는지 검토한다.

연구의 중심 대상인 지수 합은 다음과 같다:
$$u(x, t) = \sum_{q \in [Q]^d} b_q e\left(x \cdot \frac{q}{Q} + t\psi\left(\frac{q}{Q}\right)\right),$$
여기서 $\psi \in C^2([0, 1]^d)$이다. $\psi(\xi) = |\xi|^2$일 때, 이는 토러스 상의 슈뢰딩거 방정식의 포물선형으로 재조정된 해(parabolically rescaled solution)에 대응한다. 추측된 극대 추정치(Conjecture 1)는 $2 \le p \le p_{\text{conj}} = \frac{2(d+1)}{d}$에 대하여, 극대 함수의 $L^p$ 노름이 $Q^{\frac{d}{p} + \frac{1}{p_{\text{conj}}} + \epsilon} \|b_q\|_{\ell^2}$로 유계라고 가정한다.

이전 연구인 Fu, Ren, Wang [FRW23]은 균등 볼록 수열(uniformly convex sequences) 클래스에 대해 $d=1$인 경우 이 추측이 실패함을 입증하였으며, 극대 추정치가 추측된 경계보다 현저히 커질 수 있음을 보여주었다. 본 논문이 다루는 열린 문제는 이러한 실패가 고차원($d \ge 2$)에서도 지속되는지, 그리고 단순히 특정하게 구성된 수열이 아닌 일반적인 포물면의 $C^2$ 섭동에 대해서도 발생하는지 여부이다.

방법론
본 논문은 하한(lower bounds)과 상한(upper bounds)을 확립하기 위해 조화 해석학, 수론, 그리고 동차 역학(homogeneous dynamics)의 결합된 방법을 채택한다.

1. 입사 추정(Incidence Estimates)을 통한 하한:
   추측된 극대 추정치를 반증하기 위해, 저자들은 큰 값을 갖는 극대 함수를 생성하는 특정한 섭동 $\psi$와 초기 데이터 수열 $(b_q)$를 구성한다. 이 구성의 핵심은 $C^2$ 부분 다양체와 재조정된 정수 격자의 교차에 관한 Cairo와 Zhang [CZ25]의 결과에 의존한다.

• 저자들은 동차 역학(구체적으로 unimodular lattice 상의 $SL_n(\mathbb{R})$ 작용)을 사용하여 증명된 Cairo-Zhang 정리(Theorem 1.4)의 변형을 활용한다.
• 격자 공간에 대한 Siegel의 평균값 정리와 2차 모멘트 방법을 적용함으로써, 저자들은 격도 변환 $g$와 섭동된 함수 $\psi$가 존재하여 $\psi$의 그래프가 특정 분모를 가진 많은 유리점(rational points)을 포함하게 됨을 보여준다.
• 이러한 "행운의" 점들은 지수 합이 상당한 측도(measure) 상에서 건설적 간섭(constructive interference, 큰 값)을 일으키도록 하는 수열 $(b_q)$를 구성할 수 있게 한다. 이는 추측된 상한을 위반하게 된다.

2. 디커플링(Decoupling)을 통한 상한:
   상한을 위해, 저자들은 Bourgain과 Demeter [BD15]가 확립한 컴팩트 $C^2$ 초곡면에 대한 $\ell^2$-디커플링 이론을 활용한다.

• 지수 합에 대해 국소화된 전역 디커플링 부등식을 적용한다.
• 극대 함수의 레벨 셋(level sets)을 분석하고, 작은 캡(caps) 내에서 푸리에 지지(Fourier support)를 갖는 함수들의 국소적 상수성(local constancy) 성질을 이용하여 $L^p$ 노름에 대한 상한을 도출한다.
• 이 접근법은 섭동이 가해졌을 때 추측된 경계는 실패하지만, 디커플링 지수 $p_{\text{crit}} = \frac{2(d+2)}{d}$는 $Q^\epsilon$ 손실을 제외하면 유효한 상한 임계값으로 남는다는 것을 확인시켜 준다.

주요 기여 및 결과

• 고차원에서의 추측 실패: 주요 결과(Theorem 1.1)는 모든 차원 $d \ge 1$에 대해 포물면의 $C^2$-작은 섭동에 대한 추측된 극대 추정치가 실패함을 입증한다. 구체적으로, 임의의 $\epsilon > 0$에 대하여, 포물면에 가까운 섭동 $\psi$와 수열 $(b_q)$가 존재하여 극대 추정치가 $Q^{\frac{d(d+1)}{2(d+2)} + \frac{1}{p} + \epsilon} \|b_q\|_{\ell^2}$로 스케일링된다.

  • 임계 지수 $p_{\text{crit}}$에서 하한은 $Q^{d/2}$인 반면, 추측된 경계는 $Q^{d/2 + \epsilon}$이다.
  • 추측된 종단점(endpoint) $p_{\text{conj}}$에서 하한은 $Q^{\frac{d}{2(d+1)(d+2)}}$만큼의 인자(factor)로 추측된 경계를 초과한다.

• 디커플링 경계의 예리함: Theorem 1.2는 균등 볼록 $C^2$ 초곡면에 대한 극대 추정치의 상한을 제공한다. 저자들은 이 추정치가 일반적인 차원에서 디커플링 종단점 $p_{\text{crit}}$에서 $Q^\epsilon$ 차이만을 제외하고 본질적으로 예리함을 보여준다.

• 동차 역학을 통한 새로운 증명: 본 논문은 Cairo와 Zhang [CZ25]가 원래 증명했던 입사 추정치에 대한 대안적인 증명을 제공한다(Theorem 1.4). 이 증명은 격자 공간에 작용하는 $SL_n(\mathbb{R})$의 역학을 사용하여, 원본 연구의 특정 기하학적 가정을 피하고 결과를 임의의 여codimension으로 확장한다.

• 지수의 정교화: 저자들은 추측된 지수 $\alpha_{\text{conj}}(p)$, 하한 지수 $\alpha_{\text{low}}(p)$, 그리고 상한 지수 $\alpha_{\text{upp}}(p)$ 사이의 간극을 정의하고 분석한다. 그들은 $d=1$인 경우 경계가 ( $Q^\epsilon$ 차이를 제외하고) 예리하지만, $d \ge 2$인 경우 $p_{\text{conj}}$에서 추측된 추정치와 실제 섭동의 거동 사이에 간극이 존재함을 보여준다.

의의 및 주장
본 논문은 디커플링 기반의 슈뢰딩거 극대 추정치 추측이 $C^2$ 섭동 하에서 강건한지(robust)에 대한 문제를 해결한다고 주장한다. 저자들은 이 추측이 강건하지 않음을 입증한다. 즉, 포룰면의 수론적 구조가 추측된 경계가 성립하는 데 필수적이다. 함수 $\psi$가 $C^2$ 클래스 내에서 포물면으로 섭동될 때, 극대 추정치는 악화되며, 이는 [FRW23]에서 관찰된 $d=1$ 사례의 거동과 일치한다.

나아가, 본 연구는 포룰면과 그 작은 섭동을 구별하는 데 있어 디커플링 방법의 한계를 강조한다. 디커플링은 균등 볼록 곡면에 대해 올바른 상한을 제공하지만, 포룰면의 특정한 산술적 성질에 의존하는 더 미세한 추측된 경계는 회복할 수 없다.

결론적으로, 일반적인 $C^2$ 초곡면에 대해 극대 추정치는 (포룰면의 특정한 산술이 아닌) 곡면의 기하학(디커플링을 통해)에 의해 결정되며, $d \ge 2$에서 추측된 지수 $p_{\text{conj}}$는 일반적인 $C^2$ 클래스에 대한 올바른 임계값이 아니다. 결과는 임계 지수 $p_{\text{crit}}$에서 $Q^\epsilon$ 손실을 고려할 때 예리하게 제시된다.