[논문 리뷰] Spectral Theory of Multiple Intervals

Palle E. T. Jørgensen, Steen Pedersen외 1명|arXiv (Cornell University)|2012. 02. 19.

Numerical methods in inverse problems인용 수 4

한 줄 요약

이 논문은 $\Omega = \mathbb{R}$에서 $n$개의 분리된 닫힌 구간을 제외한 영역에서 $L^2(\Omega)$ 위의 자기수반 연산자에 대한 스펙트럼 이론 모델을 개발한다. 이 모델은 $U(n)$ 내의 유니터리 행렬을 사용하여 경계 조건을 매개변수화하며, 스펙트럼 분해, 일반화된 고유함수, 산란 계수에 대한 명시적 공식을 제공한다. 또한 고착 상태와 갇힌 모드에 해당하는 임bedded 점 스펙트럼을 특정하고, 그 중복도는 구간 길이와 유니터리 매개변수에 의해 결정된다.

ABSTRACT

We present a model for spectral theory of families of selfadjoint operators, and their corresponding unitary one-parameter groups (acting in Hilbert space.) The models allow for a scale of complexity, indexed by the natural numbers $\mathbb{N}$. For each $n\in\mathbb{N}$, we get families of selfadjoint operators indexed by: (i) the unitary matrix group U(n), and by (ii) a prescribed set of $n$ non-overlapping intervals. Take $Ω$ to be the complement in $\mathbb{R}$ of $n$ fixed closed finite and disjoint intervals, and let $L^{2}(Ω)$ be the corresponding Hilbert space. Moreover, given $B\in U(n)$, then both the lengths of the respective intervals, and the gaps between them, show up as spectral parameters in our corresponding spectral resolutions within $L^{2}(Ω)$. Our models have two advantages: One, they encompass realistic features from quantum theory, from acoustic wave equations and their obstacle scattering; as well as from harmonic analysis. Secondly, each choice of the parameters in our models, $n\in\mathbb{N}$, $B\in U(n)$, and interval configuration, allows for explicit computations, and even for closed-form formulas: Computation of spectral resolutions, of generalized eigenfunctions in $L^{2}(Ω)$ for the continuous part of spectrum, and for scattering coefficients. Our models further allow us to identify embedded point-spectrum (in the continuum), corresponding, for example, to bound-states in scattering, to trapped states, and to barriers in quantum scattering. The possibilities for the discrete atomic part of spectrum includes both periodic and non-periodic distributions.

연구 동기 및 목표

• $L^2(\Omega)$에서 운동량 연산자 $d/dx$의 자기수반 확장에 대한 체계적인 스펙트럼 이론을 개발하는 것. 여기서 $\Omega$는 $\mathbb{R}$에서 $n$개의 분리된 닫힌 구간을 제외한 영역이다.
• 결과적으로 얻어진 자기수반 연산자의 스펙트럼—연속, 이산, 임베드된 점 스펙트럼—을 구간 길이, 간극, 그리고 $U(n)$ 내의 유니터리 매개변수로 기술하는 것.
• 연속 스펙트럼 내에서 일반화된 고유함수와 스펙트럼 분해에 대한 명시적, 폐형 표현을 제공하는 것.
• 양자 고착 상태, 갇힌 모드, 산란 시스템 내 공명에 해당하는 임베드된 점 스펙트럼을 특정하는 것.
• 유니터리 확장과 경계 조건 매개변수화를 통해 산란 계수를 계산하고 고유값의 중복도를 분석하는 프레임워크를 구축하는 것.

제안 방법

• $L^2(\Omega)$에서 운동량 연산자 $d/dx$의 자기수반 확장을 결함 지수 이론과 $U(n)$ 내의 유니터리 경계 조건을 통해 모델링하는 것.
• 실수선 위의 직접 적분 분해를 통해 스펙트럼 분해를 표현하며, 중복도는 유니터리 매개변수 $B \in U(n)$에 의해 결정된다.
• 지수 함수 $e^{i\lambda x}$의 초월적 조합으로 $L^2(\Omega)$ 내의 일반화된 고유함수를 구성하며, 경계 진폭 계수 $A_{\pm\infty}, A_{j,k}$가 유니터리 매칭 조건 $B D_r(\lambda) \mathbf{A} = D_s(\lambda) \mathbf{A}$를 만족하도록 한다.
• 유니터리 확장을 이용하여 자기수반 연산자의 스펙트럼 성질을 $\ell^2$에서 작용하는 유니터리 매개변수 $B$의 스펙트럼과 연결한다. 특히 $B$가 대각형 또는 블록 대각형일 경우를 고려한다.
• Lax-Phillips 이동 표현 프레임워크를 적용하여 유니터리 한파라미터 군 $U(t)$를 시간 진화로 해석하며, 스펙트럼 중복도는 $B$의 구조와 연결된다.
• 유니터리 군 $U_B(t)$를 분해 가능 및 분해 불가능 성분으로 나누어 특수한 경우를 분석함으로써, 스펙트럼 행동이 $B$의 구조와 어떻게 연결되는지 밝혀낸다.

실험 결과

연구 질문

• RQ1 $n$개의 분리된 구간의 길이와 그들 사이의 간극이 $L^2(\Omega)$에서 운동량 연산자의 스펙트럼 분해에 어떻게 영향을 미치는가?
• RQ2 유니터리 행렬 $B \in U(n)$이 자기수반 확장의 스펙트럼, 특히 임베드된 점 질량을 결정하는 데 어떤 역할을 하는가?
• RQ3 이러한 연산자의 연속 스펙트럼 내에서 일반화된 고유함수에 대한 명시적 폐형 표현을 유도할 수 있는가?
• RQ4 어떤 조건에서 연산자가 임베드된 점 스펙트럼을 갖는가? 그리고 고유값의 중복도는 어떻게 결정되는가?
• RQ5 선택한 $B$가 시스템 내 산란 계수와 고착 상태 또는 공명의 존재에 어떻게 영향을 미치는가?

주요 결과

• $B = \mathrm{diag}(1,1,\ldots)$일 경우, $P_B$의 스펙트럼은 전체 실수선이며, 임베드된 점 스펙트럼은 $\Lambda_p = \bigcup_{k=1}^\infty \frac{1}{\ell_k}\mathbb{Z}$이다. 여기서 $\ell_k$는 $k$번째 구간의 길이다.
• 고유값 $\lambda \in \Lambda_p$의 중복도는 $\lambda \ell_k \in \mathbb{Z}$를 만족하는 구간 $k$의 수와 같다. $\ell_k = 2^{-k}$이면 $0$은 무한 중복도를 가진다.
• $\ell_k = 2^{-k}$이면 $2^k \mathbb{Z}_{\text{odd}}$ 내의 고유값은 중복도 $k$를 가지며, $0$은 무한 중복도를 가진다.
• 무리수 비율 $\ell_k / \ell_j$를 가질 경우, $0$ 이외의 모든 고유값은 중복도 1을 가지며, $0$은 무한 중복도를 가진다.
• 만약 $B = \mathrm{diag}(e(\theta_k))$이면, 임베드된 점 스펙트럼은 $\Lambda_p = \bigcup_{k=1}^\infty \left( \frac{\theta_k}{\ell_k} + \frac{1}{\ell_k}\mathbb{Z} \right)$가 되며, 중복도는 $\lambda \ell_k - \theta_k \in \mathbb{Z}$를 만족하는지 여부에 의해 결정된다.
• 감소된 유니터리 $B'$가 $\ell^2$에서 단위 원과 스펙트럼이 분리되어 있으면, $P_B$는 점 스펙트럼이 없고 순수하게 절대 연속 스펙트럼을 가진다.