[논문 리뷰] Schrödinger operators and unique continuation. Towards an optimal result

Damir Kinzebulatov, Leonid Shartser|ArXiv.org|2009. 02. 03.

Spectral Theory in Mathematical Physics참고 문헌 10인용 수 4

한 줄 요약

이 논문은 $L^{d/2, u}({\mathbb{R}^d})$를 포함한 넓은 범주에 속하는 잠재력 $V$에 대해 미분부등식 $|\Delta u| \leq |V u|$의 해에 대해 약한 및 강한 유일연속성 성질을 확립한다. 이는 해가 열린 집합에서나 무한차수로 0이 되면 반드시 식별적으로 0이 되어야 한다는 것을 증명한다. 주요 기여는 르리프 잠재력과 연산자 노름을 포함하는 $V$에 대한 날카로운 조건으로, 보간법과 최대함수 추정을 통해 이전 결과를 최적의 $L^{d/2,ω}$ 유형의 잠재력으로 확장한다.

ABSTRACT

In this article we prove the property of unique continuation (also known for C^\infty functions as quasianalyticity) for solutions of the differential inequality |Δu| \leq |Vu| for V from a wide class of potentials (including L^{d/2,\infty}_{\loc}(R^d) class) and u in a space of solutions Y_V containing all eigenfunctions of the corresponding self-adjoint Schrödinger operator. Motivating question: is it true that for potentials V, for which self-adjoint Schrödinger operator is well defined, the property of unique continuation holds?

연구 동기 및 목표

• 자기수반 슈뢰딩거 연산자에 대해 $V$가 넓은 범주에 속할 경우 유일연속성이 성립하는지 오랫동안 남아있던 문제를 해결하는 것.
• 최적의 잠재력 범주 $\mathcal{F}^{d}_{\beta,{\rm loc}}$에서 $|\Delta u| \leq |V u|$의 해에 대해 약한 및 강한 유일연속성 성질을 확립하는 것.
• 이전 결과를 $L^{d/2}$ 및 $L^{d/2,\infty}$ 잠재력 이외로 확장하기 위해, 르리프 잠재력 노름을 통한 새로운 날카로운 조건을 제안하는 것.
• 유일연속성 결과를 응용하여 형합 조건을 만족하는 잠재력에 대해 슈뢰딩거 연산자에 양의 고유값이 존재하지 않음을 증명하는 것.

제안 방법

• 연산자 노름에 대한 균일한 유계성 조건을 통해 정의된 새로운 잠재력 범주 $\mathcal{F}^{d}_{\beta,{\rm loc}}$를 도입한다. 이는 $L^2$에서 $\mathbf{1}_{B_K(x_0,\rho)}|W|^{\frac{d-1}{4}}(-\Delta)^{-\frac{d-1}{2}}|W|^{\frac{d-1}{4}}\mathbf{1}_{B_K(x_0,\rho)}$의 연산자 노름에 대한 제약을 포함한다.
• 스테인의 복소 보간 정리를 사용하여 $V$를 포함하는 르리프 잠재력 유형의 연산자에 대한 $L^p \to L^2$ 연산자 노름을 추정한다.
• 가중 최대함수 추정과 컷오프 함수 $\eta$를 포함한 극한 근사 기법을 적용하여, 해 $u$가 0이 되는 점 근처에서의 행동을 제어한다.
• 고유함수를 포함하고 $Vu$의 적분 가능성을 보장하기 위해 $Y_V^{\rm weak} = \{f \in \mathcal{L}^{2,1}_{{\rm loc}} : |V|^{1/2}f \in L^2_{{\rm loc}}\}$ 공간을 활용한다.
• 연산자 노름의 균일한 유계성 조건을 바탕으로 $\|K_2\|_1 \leq \hat{C}\|\Delta u_\eta\|_1$이라는 핵심 추정식을 유도한다. 이는 $L^1$에서 $\mathbf{1}_{B(2\rho)}\varphi_N V[(-\Delta)^{-1}]_N \varphi_N^{-1}$의 연산자 노름에 대한 유계성에서 유도된다.
• 유도된 추정식들을 조합하여 $\|\mathbf{1}_{B(\rho)}\rho^N \varphi_N u\|_1 \to 0$ ($N \to \infty$)임을 보이고, 이는 $u$가 이웃 영역에서 식별적으로 0임을 의미한다.

실험 결과

연구 질문

• RQ1 잠재력 $V$가 $L^{d/2,\infty}_{{\rm loc}}(\mathbb{R}^d)$ 범주에 속할 경우, 미분부등식 $|\Delta u| \leq |V u|$는 약한 유일연속성 성질을 가질까?
• RQ2 해가 $H^1_{{\rm loc}} \cap Y_V^{\rm weak}$에 속할 경우, $V$에 대한 날카로운 조건 하에서 강한 유일연속성 성질을 확립할 수 있을까?
• RQ3 르리프 잠재력과 연산자 노름을 포함하는 새로운 내재적 조건을 통해 이전의 유일연속성 결과들을 통합하고 확장할 수 있을까?
• RQ4 유일연속성 성질이 형합 조건을 만족하는 잠재력을 가진 슈뢰딩거 연산자에 대해 양의 고유값이 존재하지 않음을 암시할 수 있을까?

주요 결과

• 모든 $V \in \mathcal{F}^{d}_{\beta,{\rm loc}}$에 대해 $\beta < 1$일 때 약한 유일연속성 성질이 성립하며, 이는 $L^{d/2,\infty}_{{\rm loc}}(\mathbb{R}^d)$를 포함한다.
• 동일한 범주 $\mathcal{F}^{d}_{\beta,{\rm loc}}$에 대해 $Y_V^{\rm str} = Y_V^{\rm weak} \cap H^1_{{\rm loc}}(\Omega)$에서 강한 유일연속성 성질이 성립한다.
• $\|\mathbf{1}_{B_K(x_0,\rho)}|W|^{\frac{d-1}{4}}(-\Delta)^{-\frac{d-1}{2}}|W|^{\frac{d-1}{4}}\mathbf{1}_{B_K(x_0,\rho)}\|_{2\to 2} \leq \beta$ 조건은 유일연속성 성질에 대해 날카롭고 최적임이 입증된다.
• 해가 어떤 점에서 무한차수로 0이 되면, $\|\mathbf{1}_{B(\rho)}\rho^N \varphi_N u\|_1 \to 0$ ($N \to \infty$)임을 보여 $u$가 이웃 영역에서 식별적으로 0임을 증명한다.
• 이 결과는 $\inf_{\lambda>0}\|V_{-}^{1/2}(H_0 + \lambda)^{-1}V_{-}^{1/2}\|_{2\to 2} < 1$ 조건을 만족할 경우 슈뢰딩거 연산자 $H = H_0 + V$에 양의 고유값이 존재하지 않음을 암시한다.
• 복소 보간, 최대함수 추정, 컷오프 함수를 포함한 극한 근사 기법을 조합함으로써 최적의 결과를 달성한다.