[논문 리뷰] A dispersive bound for three-dimensional Schroedinger operators with zero energy eigenvalues

Michael Goldberg|ArXiv.org|2008. 09. 22.

Advanced Mathematical Physics Problems참고 문헌 13인용 수 15

한 줄 요약

이 논문은 복소수 잠재력과 영에너지 고유값을 가진 3차원 슈뢰딩거 연산자에 대한 산산각도를 수립하며, 영에너지의 일반화된 고유공간에 수직으로 투영된 해가 |t|^{-3/2}의 속도로 L^∞ 노름에서 감쇠됨을 증명한다. 주요 결과는 고유함수와 일반화된 고유함수의 L^1에서의 급속한 감쇠 조건과 공명이 존재하지 않는 조건 하에서 성립한다.

ABSTRACT

We prove a dispersive estimate for the evolution of Schroedinger operators $H = -Δ+ V(x)$ in ${\mathbb R}^3$. The potential is allowed to be a complex-valued function belonging to $L^p(\R^3)\cap L^q(\R^3)$, $p < \frac32 < q$, so that $H$ need not be self-adjoint or even symmetric. Some additional spectral conditions are imposed, namely that no resonances of $H$ exist anywhere within the interval $[0,\infty)$ and that eigenfunctions at zero (including generalized eigenfunctions) decay rapidly enough to be integrable.

연구 동기 및 목표

• 자기수반일 필요가 없는 복소수 잠재력을 가진 3차원 슈뢰딩거 연산자의 시간 진화에 대한 산산각도를 수립하는 것.
• 산산각도 감쇠가 방해받을 수 있는 영에너지 고유값과 일반화된 고유함수의 문제를 해결하기 위해 고유함수와 그 일반화된 형태에 대한 적분 가능성 조건을 도입하는 것.
• 스펙트럼 투영을 통해 영에너지의 유계상태와 일반화된 고유상태의 영향을 제거하여 자유 진동의 경우를 초월한 산산각도 경계를 확장하는 것.
• 비자기수반 연산자가 존재하는 상황에서 산산각도 경계의 타당성을 확보하기 위해 영에너지의 일반화된 고유공간이 유한차원이 되고 L^1에 포함되어야 한다는 조건을 요구하는 것.

제안 방법

• 논문은 영에너지에서의 유한차원 일반화된 고유공간에 대한 스펙트럼 투영 P_{pp}(H)를 구성하며, 이는 (H)^–k Ψ ∈ X_{k-1}로 정의되는 X_k의 재귀적 정의를 통해 이루어진다.
• 저에너지 전개를 통해 왜곡된 해석함수 (I + VR_0^+(λ^2))^{-1}를 노이만 급수와 컷오프 함수를 사용하여 영에너지 근처의 행동을 분리한다.
• 저에너지 영역에서 해석함수 커널의 푸리에 변환을 분석하며, 초기 자료의 L^1 노름과 일반화된 고유공간에 수직인 성질을 통해 경계를 도출한다.
• 증명은 T^+(λ) = (I + VR_0^+(λ^2))^{-1}를 고유함수를 포함하는 항들로 분해하고, 고유함수의 적분 가능성 조건을 이용하여 푸리에 변환의 L^1 노름을 제어하는 데 의존한다.
• 해석함수와 고유함수 간의 쌍대화의 푸리에 변환이 λ 변수에 대해 적분 가능하다는 것을 증명함으로써 시간 감쇠 속도를 제어할 수 있다.
• 근사 역연산자 S(λ)의 범위가 일반화된 고유함수의 쌍대공간에 수직이 되도록 선택함으로써, 위험한 항들이 수직보완에서 사라짐을 보장한다.

실험 결과

연구 질문

• RQ1 자기수반일 필요가 없는 복소수 잠재력과 영에너지 고유값을 가진 3차원 슈뢰딩거 연산자에 대해, ||e^{-itH}(I - P_{pp}(H))f||_∞ ≤ C|t|^{-3/2}||f||_1 형태의 산산각도 경계를 수립할 수 있는가?
• RQ2 영에너지에서의 일반화된 고유함수에 대해 어떤 조건이 L^∞ 노름에서 |t|^{-3/2} 감쇠 속도를 유지하는 데 필수적이고 충분한가?
• RQ3 고유함수가 반드시 L^2 함수가 아니라는 조건 하에서, 비자기수반 연산자에 대해 일반화된 투영 P_{pp}(H)를 어떻게 구성할 수 있는가?
• RQ4 공명은 산산각도 경계를 어떻게 방해하는가? 그리고 공명의 부재는 경계의 타당성을 어떻게 보장할 수 있는가?

주요 결과

• 논문은 X_k ⊂ L^1(R^3) (모든 k ≥ 1에 대해)이고 X = ∪_k X_k가 유한차원이라는 가정 하에, 모든 t ≠ 0에 대해 ||e^{-itH}(I - P_{pp}(H))f||_∞ ≤ C|t|^{-3/2}||f||_1 이 성립함을 증명한다.
• H가 자기수반일 필요가 없더라도, 잠재력 V가 L^p(R^3) ∩ L^q(R^3)에 속하고 p < 3/2 < q이며 [0, ∞)에 공명이 존재하지 않는 한 경계가 성립한다.
• 영에너지에서의 일반화된 고유공간은 유한차원이어야 하며, 그 원소들은 충분히 빠르게 감쇠되어 L^1(R^3)에 속해야 하며, 이는 진동 중 지속적인 성장의 부재를 보장한다.
• 증명은 저에너지 영역에서 해석함수 커널의 푸리에 변환의 적분 가능성을 기반으로 하며, 이는 초기 자료의 L^1 노름과 일반화된 고유함수에 수직인 성질을 통해 제어된다.
• 노이만 급수 전개에서 가장 심한 특이성을 가진 항들은 f가 일반화된 고유공간에 수직일 경우 사라지며, 이로 인해 나머지 항들은 ||f||_1로 유계화될 수 있다.
• 근사 역연산자 S(λ)의 구성은 고유함수와의 쌍대화의 푸리에 변환의 L^1 노름을 최소화함으로써 최적임을 보여준다.