Correction to the article "Global well-posedness and scattering in weighted space for nonlinear Schrödinger equations below the Strauss exponent without gauge-invariance"

기술 요약: 게이지 불변성이 없는 낮은 Strauss 지수에서의 비선형 슈뢰딩거 방정식에 대한 가중 공간 내 전역적 적정성 및 산란에 관한 수정 사항

문제 정의
본 논문은 저자들의 이전 연구 [3]에 대한 수정본으로, 해당 연구는 Strauss 지수 미만의 차원 $d=1, 2, 3$에서 가중 공간 내 비선형 슈뢰딩거 방정식(NLS)의 전역적 적정성(global well-posedness)과 산란(scattering)을 다루었다. 기존 논문은 차원 $d=2$와 $d=3$에서의 축약 사상(contraction mapping) 성질 증명 과정에서 결정적인 오류를 포함하고 있었다.

구체적으로, 오류는 축약 논증 내의 차이 항 $\|A_{4,n}(\cdot, v_1) - A_{4,n}(\cdot, v_2)\|_X$의 추정 과정에서 발생했다. 기존의 증명은 일반적인 비매끄러운 비선형성에 대해 $\alpha \geq 3$이 암묵적으로 요구되는 추정식 (1.1)에 의존하고 있었다. 그러나 기존 정리에서 허용되는 $\alpha$의 범위는 $d=2$의 경우 $\alpha \in (2, 3)$이고, $d=3$의 경우 $\alpha = 2$였다. 결과적으로, Assumption 1.1의 일반적인 가정하에서 [3]의 Lemma 3.4에 대한 증명은 이 차원들에서 불완전했으며, 이로 인해 비매끄러운 비선형성에 대한 주요 결과(Theorem 1.4)가 정당화되지 못했다. 비록 이 결과가 $d=1$($\alpha > 3$인 경우) 및 $d=3$에서의 매끄러운 비선형성에 대해서는 유효했으나, 일반적인 경우에는 수정이 필요했다.

방법론 및 재구성
비선형성의 시간 미분에서 발생하는 특이점 문제와 공간 적분 가능성의 결여를 해결하기 위해, 저자들은 적분 방정식과 관련 솔루션 공간을 재구성한다.

1. 적분 방정식의 재구성:
   [3, (1.8)]에서 사용된 $F_n(v)$의 시간 미분을 포함하는 항을 사용하는 대신, 저자들은 $i\partial_t v - \frac{p^2}{2}v$ 항을 분리하는 새로운 항등식을 사용한다. 이는 수정된 적분 방정식 (2.1)로 이어지며, 여기서 $A_{5,n}(t)$는 새로운 항 $\tilde{A}_{5,n}(t)$로 대체된다. 이 새로운 항은 솔루션에 작용하는 연산자 $L = i\partial_t - \frac{p^2}{2}$를 포함함으로써, 기존 증명에서 사용된 보조 항 $E(v)$를 요구하지 않고도 비선형성의 시간 미분을 더 직접적으로 다룰 수 있게 한다.

2. 솔루션 공간의 수정:
   저자들은 수정된 노름 $\|\cdot\|_{\tilde{Y}}$를 갖춘 새로운 완비 거리 공간 $\tilde{Z}_M$을 도입한다. 핵심적인 혁신은 절단된 가중 함수(truncated weight function) $\chi_\gamma(x)$의 도입이다. 이 함수는 $|x| \leq 1$일 때 $|x|^{-\gamma}$이고, $|x| > 1$일 때 $1$로 정의된다.

   • $\chi_\gamma$의 목적: 이 함수는 $t=0$에서의 시간 특이점을 피하기 위해 레졸번트 추정(resolvent estimates)을 사용할 때 발생하는 원점($x=0$)에서의 공간적 특이점을 제어하도록 설계되었다.
   • 차원별 특이성:
     • $d=2$의 경우, 이 가중치는 레졸번트 추정과 가중치를 활용하여 특이점을 $x=0$ 근처로 국소화함으로써 강한 시간 특이점을 처리한다.
     • $d=3$의 경우, 이 가중치는 공간 적분 가능성의 결여를 다룬다. 공간적 정칙성을 부과하고 소볼레프 임베딩(특히 $\|f\|_{L^2} \lesssim \|\nabla^{1/2}f\|_{L^{3/2}}$)을 사용함으로써, 저자들은 $\chi_{1/2}$를 통해 공간적 특이점을 관리한다.

3. 축약 사상 논증:
   [3]의 사상 $\Phi$는 $\tilde{\Phi}$로 대체된다. 저자들은 충분히 작은 $M$에 대해 $(\tilde{Z}_M, d_{\tilde{Z}})$ 상에서 $\tilde{\Phi}$가 축약 사상임을 증명한다. 이 증명은 다음을 포함한다:

   • Strichartz 추정, Gagliardo-Nirenberg 부등식, 그리고 $\chi_\gamma$의 성질을 활용하여 $\tilde{\Phi}(v)$의 $X$ 및 $\tilde{Y}$ 노름에 대한 유계 추정을 확립한다.
   • 비선형 항의 차이를 추정함으로써 축약 성질 $d_{\tilde{Z}}(\tilde{\Phi}(v_1), \tilde{\Phi}(v_2)) \leq \frac{1}{2} d_{\tilde{Z}}(v_1, v_2)$를 증명한다. 결정적으로, 메트릭 $d_{\tilde{Z}}$는 절단된 가중치 $\chi_\gamma$를 포함하지 않으므로, 가중치가 차이 항에 나타나지 않고도 추정이 완결될 수 있다.

주요 기여 및 결과

• Lemma 3.4 및 Theorem 1.4의 수정: 본 논문은 $d=2$와 $d=3$에서의 비매끄러운 경우를 포함하여, Assumption 1.1에 명시된 전체 클래스의 비선형성에 대해 기존 Theorem 1.4의 결과가 유효함을 엄밀하게 증명한다.
• 새로운 분석적 틀: 연산자 $L$을 보조 항 $\tilde{A}_{5,n}$에 직접 포함하는 적분 방정식의 재구성과 절단된 가중치 $\chi_\gamma$의 도입을 통해, 저자들은 기존 증명을 제한했던 정칙성 요구 조건($\alpha \geq 3$)을 우회할 수 있게 되었다.
• Proposition 2.1: 저자들은 원래의 Theorem 1.4 가정하에서 사상 $\tilde{\Phi}$가 새로운 공간 $\tilde{Z}_M$ 상에서 축약 사상이며, 임의의 고정점(fixed point)이 원래 방정식 [3, (1.8)]의 해임을 확립한다.

의의
저자들은 컴팩트성 논증(compactness argument)을 통해 결과를 회복할 수도 있었겠지만, 직접적인 축약 사상 틀 내에서 정리를 확립하는 것이 바람직하다고 주장한다. 증명의 간극을 수정함으로써, 저자들은 분수 차수 비선형성을 가진 산란 해를 다루기 위해 [3]에서 도입된 방법론이 의도된 파라미터 범위 내에서 유효하고 견고하게 유지됨을 보장한다. 이 수정은 $E(v)$ 보조 항의 필요성을 제거하고 시간과 공간의 특이점 처리를 명확히 함으로써 논증을 간소화하며, 이를 통해 2차원과 3차원에서 목표한 범위에 대한 전역적 적정성 및 산란 결과를 확보한다.