[논문 리뷰] Asymptotic formulas for spectral gaps and deviations of Hill and 1D Dirac operators

Plamen Djakov, Boris Mityagin|arXiv (Cornell University)|2013. 09. 06.

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

한 줄 요약

이 논문은 주기적, 반주기적, 딜레르흐 경계 조건 하에서 1차원 힐 및 딜라크 연산자의 스펙트럼 간격 $\gamma_n = \lambda_n^+ - \lambda_n^-$ 와 편차 $\delta_n = \mu_n - \lambda_n^+$ 에 대한 渐近 공식을 유도한다. 잠재력의 푸리에 분석을 통해, 특히 삼각 다항식 잠재력의 경우, 스펙트럼 기하학과 잠재력의 미세성 및 해석성 간의 연관성을 밝혀낸다.

ABSTRACT

Let $L$ be the Hill operator or the one dimensional Dirac operator on the interval $[0,π].$ If $L$ is considered with Dirichlet, periodic or antiperiodic boundary conditions, then the corresponding spectra are discrete and for large enough $|n|$ close to $n^2 $ in the Hill case, or close to $n, \; n\in \mathbb{Z}$ in the Dirac case, there are one Dirichlet eigenvalue $μ_n$ and two periodic (if $n$ is even) or antiperiodic (if $n$ is odd) eigenvalues $λ_n^-, \, λ_n^+ $ (counted with multiplicity). We give estimates for the asymptotics of the spectral gaps $γ_n = λ_n^+ - λ_n^-$ and deviations $ δ_n =μ_n - λ_n^+$ in terms of the Fourier coefficients of the potentials. Moreover, for special potentials that are trigonometric polynomials we provide precise asymptotics of $γ_n$ and $δ_n.$

연구 동기 및 목표

• 힐 및 1차원 딜라크 연산자에서 스펙트럼 간격 $\gamma_n = \lambda_n^+ - \lambda_n^-$ 와 편차 $\delta_n = \mu_n - \lambda_n^+$ 에 대한 渐近 공식을 수립하기.
• 스펙트럼 간격 $\gamma_n$ 과 편차 $\delta_n$ 의 감쇠 속도가 잠재력의 푸리에 계수를 통해 그 미세성과 해석성과 어떻게 관련되는지 밝히기.
• 잠재력이 삼각 다항식일 경우 $\gamma_n$ 과 $\delta_n$ 의 정밀한 渐近 행동을 제공하기.
• 자기수반 사례를 초월하여 복소수 잠재력으로까지 스펙트럼 기하학과 잠재력의 정칙성 간의 연결을 확장하기.
• 역스펙트럼 이론의 결과를 푸리에 분석적 방법을 사용하여 스펙트럼 자료를 통해 $C^\infty$ 와 해석적 잠재력을 특성화함으로써 일반화하기.

제안 방법

• 주기적, 반주기적, 딜레르흐 경계 조건 하에서 고유값에 대한 渐近 전개를 도출하기 위해 잠재력 $v(x)$ 의 푸리에 분석을 활용한다.
• 스펙트럼 데이터를 암시하는 스펙트럼 함수 $\beta_n^\pm(z)$ 를 정의하고, 그들의 渐近 행동을 이용해 $\gamma_n$ 과 $\delta_n$ 을 유도한다.
• 푸리에 방법과 호환되는 $L^2$-기반 접근을 위해 준도함수 형식을 사용하여 스펙트럼 문제를 다룬다.
• 충분한 미세성 조건을 만족하는 잠재력에 대해 $\beta_n^\pm(z) \sim V(\pm 2n)$ 의 渐近 동치를 확립하며, 여기서 $V(k)$ 는 $v$ 의 푸리에 계수이다.
• 스펙트럼 함수의 제곱근에서 발생하는 분지 선택 문제를 다루기 위해 복소해석 기법을 적용한다. 이는 $\delta_n$ 의 공식 유도에 핵심적이다.
• 관계식 $\mu_n - \lambda_n^+ \sim \frac{1}{2}(\beta_n^+ - \beta_n^-)$ 와 유사한 항등식을 사용하여, 스펙트럼 함수의 행동으로부터 편차의 渐近 행동을 도출한다.

실험 결과

연구 질문

• RQ1 힐 및 딜라크 연산자의 스펙트럼 간격 $\gamma_n = \lambda_n^+ - \lambda_n^-$ 가 잠재력의 푸리에 계수에 대해 어떻게 渐近적으로 행동하는가?
• RQ2 딜레르흐 및 주기적/반주기적 고유값에 대한 편차 $\delta_n = \mu_n - \lambda_n^+$ 의 정밀한 渐近 행동은 무엇인가?
• RQ3 스펙트럼 간격 $\gamma_n$ 과 편차 $\delta_n$ 의 감쇠 속도로써 잠재력의 미세성과 해석성이 특성화될 수 있는가?
• RQ4 잠재력이 삼각 다항식일 경우 $\gamma_n$ 과 $\delta_n$ 의 정확한 渐近 공식은 무엇인가?
• RQ5 스펙트럼 간격 $\gamma_n$ 과 편차 $\delta_n$ 의 渐近 항의 부호와 위상은 잠재력의 도함수 차수 $m$ 의 기수성에 따라 어떻게 달라지는가?

주요 결과

• 잠재력 $v$ 가 $m$-번째 도함수를 $L^2$ 에 포함할 경우, $m$ 이 홀수일 때 스펙트럼 간격은 $\gamma_n \sim \pm \frac{2/\pi}{(2in)^{m+1}}(v^{(m)}(0) - v^{(m)}(\pi))$ 를 만족한다.
• $m$ 이 짝수일 경우, $\gamma_n \sim \pm \frac{2i/\pi}{(2in)^{m+1}}(v^{(m)}(0) - v^{(m)}(\pi))$ 로 표현되며, 주로 허수 계수의 주요 항을 가진다.
• 편차 $\delta_n = \mu_n - \lambda_n^+$ 는 $m$ 이 짝수일 경우 $\delta_n \sim \mp \frac{i/\pi}{(2in)^{m+1}}(v^{(m)}(0) - v^{(m)}(\pi))$ 를 만족하며, 부호는 스펙트럼 분지에 따라 달라진다.
• $m$ 이 홀수이고 $n$ 이 양의 부호를 가진 무한 집합 $\Delta$ 에 속할 경우, $\delta_n \sim \frac{2/\pi}{(2in)^{m+1}}(v^{(m)}(0) - v^{(m)}(\pi))$ 를 만족한다.
• $m$ 이 짝수일 경우, $\mu_n - \frac{1}{2}(\lambda_n^- + \lambda_n^+)$ 는 $\beta_n^- + \beta_n^+ = o(1)$ 의 상쇄로 인해 渐近 공식을 갖지 않는다.
• 삼각 다항식 잠재력의 경우, $\gamma_n$ 과 $\delta_n$ 의 渐近 행동은 잠재력의 푸리에 계수에 의해 명시적으로 결정되며, 정밀한 거듭제곱 감쇠 비율을 가진다.