[논문 리뷰] Singular eigenvalue problems on the circle

Volodymyr A. Mikhailets, Volodymyr Molyboga|arXiv (Cornell University)|2014. 03. 11.

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

한 줄 요약

이 논문은 원주 위에서 비자기적 미분 연산자 $ L_m(V) = (-1)^m \frac{d^{2m}}{dx^{2m}} + V $ 의 고유값에 대한 균일한 점점 가까운 추정을 수립한다. 여기서 $ V \in H_{\text{per}}^{-m}[-1,1] $ 는 특이한 복소계수 2주기 분포이다. 가중치가 붙은 수열 공간에서의 푸리에 분석과 섭동 기법을 사용하여, 고유값 $ \lambda_{2n-1}, \lambda_{2n} $ 가 $ n^{2m}\pi^{2m} $ 근처에 집중되며 오차는 $ o(n^m) $ 임을 증명한다. 이는 $ H_{\text{per}}^{-m} $ 에서 유계집합 위에서 $ V $ 에 대해 균일하다. 이는 이전 결과를 특이한 잠재력과 고차수 연산자로 확장한다.

ABSTRACT

The eigenvalue problem on the circle for the non-self-adjoint operators $L_{m}(V)=(-1)^{m}\frac{d^{2m}}{dx^{2m}}+V$, $m\in \mathbb{N}$ with singular complex-valued 2-periodic distributions $V\in H_{per}^{-m}[-1,1]$ is studied. Asymptotic formulae for the eigenvalues uniformly in $V$ in the space $H_{per}^{m}[-1,1]$ and local uniformly in $V$ in the space $H_{per}^{-m}[-1,1]$ are found.

연구 동기 및 목표

• 비자기적 미분 연산자 $ L_m(V) $ 의 고유값에 대한 균일한 점점 가까운 공식을 유도하는 것, 원주 위에서 특이한 복소계수 잠재력 $ V \in H_{\text{per}}^{-m}[-1,1] $ 를 가진다.
• 지금까지 알려진 $ m=1 $ 의 결과를 일반화하여, $ H_{\text{per}}^{-m} $ 내에서 $ V $ 에 대해 국소적으로 균일성을 확립하는 것.
• 연산자 $ L_m(V) $ 의 스펙트럼 구조를 분석하여, 실수부가 무한히 향하는 이산 스펙트럼임을 보여주는 것.
• 부드럽지 않은 설정에서의 고유값 점점 가까운 추정을 일반화하기 위해, 분포 잠재력이 존재할 경우의 프레임워크를 제공하는 것.

제안 방법

• 주기적 소볼레프 공간 $ H_{\text{per}}^s[-1,1] $ 에서의 함수와 분포의 푸리에 급수 표현을 사용하여, 이를 가중치가 붙은 $ \ell^2 $-수열로 식별하는 것.
• 곱셈 연산자 $ V \cdot f $ 를 푸리에 공간에서의 콘볼루션으로 분석하기 위해 콘볼루션 보조정리를 사용하는 것.
• 공간 $ \mathcal{L}(h^{-m,n}) $ 에서의 섭동 이론을 적용하여, $ V $ 를 주요 부분 $ (-1)^m \frac{d^{2m}}{dx^{2m}} $ 의 섭동으로 간주하는 것.
• 작은 $ \|v_1\|_{h^{-m}} $ 에 대해 수렴 보장이 되는 네이만 급수 전개 $ (\lambda - D_m - B_0 - B_1)^{-1} = L_\lambda^{-1} + L_\lambda^{-1} T_\lambda (B_1 L_\lambda^{-1}) + \cdots $ 를 통한 해석적 연산자 구조의 구성.
• 스펙트럼을 비교하기 위해 리즈 프로젝션을 사용하여, $ D_m + B_0 $ 와 $ D_m + B_0 + B_1 $ 이 같은 수의 고유값을 윤곽선 내부에 가짐을 보이는 것.
• $ v \in h^{-m} $ 를 $ v_0 \in h^m $ 과 $ v_1 \in h^{-m} $ 로 분해하고 $ \|v_1\|_{h^{-m}} $ 를 작게 유지하여 섭동 제어를 가능하게 하는 것.

실험 결과

연구 질문

• RQ1 비자기적 연산자 $ L_m(V) = (-1)^m \frac{d^{2m}}{dx^{2m}} + V $ 의 고유값은 $ V \in H_{\text{per}}^{-m}[-1,1] $ 이 특이한 복소계수 분포일 때 점점 가까이 어떻게 행동하는가?
• RQ2 유계집합 위에서 $ H_{\text{per}}^{-m} $ 에서 $ V $ 에 대해 균일하게 성립하는 고유값에 대한 균일한 점점 가까운 추정을 도출할 수 있는가?
• RQ3 연산자 $ L_m(V) $ 의 스펙트럼 구조는 어떠한가, 특히 복소 평면에서 고유값의 분포와 성장 양상은 어떻게 되는가?
• RQ4 $ V $ 가 매끄럽지 않지만 $ H_{\text{per}}^{-m} $ 에만 속할 경우 고유값의 점점 가까운 행동은 어떻게 변화하는가?

주요 결과

• 모든 $ V \in H_{\text{per}}^{-m}[-1,1] $ 에 대해, $ \varepsilon > 0 $, $ M \geq 1 $, $ n_0 \in \mathbb{N} $ 가 존재하여, 모든 $ W \in H_{\text{per}}^{-m}[-1,1] $ 에 대해 $ \|W - V\|_{-m} \leq \varepsilon $ 를 만족할 때, $ L_m(W) $ 의 스펙트럼은 유계집합 $ T_{M,n_0} $ 내에 정확히 $ 2n_0 - 1 $ 개의 고유값을 포함한다.
• 모든 $ n \geq n_0 $ 에 대해, 고유값 $ \lambda_{2n-1}(W) $ 와 $ \lambda_{2n}(W) $ 는 $ n^{2m}\pi^{2m} $ 를 중심으로 반지름 $ n^m $ 인 디스크 내에 위치한다.
• 모든 $ R \geq 0 $ 에 대해, 고유값은 $ n \to \infty $ 일 때 $ \lambda_{2n-1}(m,W), \lambda_{2n}(m,W) = n^{2m}\pi^{2m} + o(n^m) $ 를 만족하며, $ \|W - V\|_{-m} \leq R $ 인 $ W $ 에 대해 균일하다.
• 식 (1.3) 의 점점 가까운 공식은 $ m = 1 $ 인 경우에도 새로움을 보이며, 이는 이전 결과를 특이 잠재력의 경우로 확장한다.
• $ L_m(V) $ 의 스펙트럼은 이산적이며, 고유값으로 이루어져 있으며, $ k \to \infty $ 일 때 $ \operatorname{Re}(\lambda_k) \to +\infty $ 로 수렴한다. 이는 사전순서로 정렬된 것이다.
• $ L_m(V) $ 는 닫혀 있고, 비어 있지 않은 해석적 연산자 집합을 가지며, 컴팩트한 해석적 연산자를 가지므로 이산 스펙트럼을 가진다.