[논문 리뷰] Spectral asymptotics for periodic fourth order operators

Andrey Badanin, Evgeny Korotyaev|ArXiv.org|2005. 07. 14.

Spectral Theory in Mathematical Physics참고 문헌 12인용 수 6

한 줄 요약

이 논문은 실수선 위의 주기적 4차 미분 연산자에 대한 스펙트럼 점근성을 확립하며, 두 겹의 리만 표면 위에서 해석적인 리아풀로프 함수를 도입한다. 이는 안정적인 스펙트럼 간극(주기적/반주기적 고유값)과 불안정적인 스펙트럼 간극(공명)을 식별하며, 실수 및 비실수 공명의 존재를 증명하고, 작고 비영인 포텐셜에 대해 가장 낮은 밴드의 중복도가 4이며, 그 바닥이 주기적 고유값이 아니라 공명임을 보여준다.

ABSTRACT

We consider the operator ${d^4dt^4}+V$ on the real line with a real periodic potential $V$. The spectrum of this operator is absolutely continuous and consists of intervals separated by gaps. We define a Lyapunov function which is analytic on a two sheeted Riemann surface. On each sheet, the Lyapunov function has the same properties as in the scalar case, but it has branch points, which we call resonances. We prove the existence of real as well as non-real resonances for specific potentials. We determine the asymptotics of the periodic and anti-periodic spectrum and of the resonances at high energy. We show that there exist two type of gaps: 1) stable gaps, where the endpoints are periodic and anti-periodic eigenvalues, 2) unstable (resonance) gaps, where the endpoints are resonances (i.e., real branch points of the Lyapunov function above the bottom of the spectrum). We also show that the periodic and anti-periodic spectrum together determine the spectrum of our operator. Finally, we show that for small potentials $V e 0$ the spectrum in the lowest band has multiplicity 4 and the bottom of the spectrum is a resonance, and not a periodic (or anti-periodic) eigenvalue.

연구 동기 및 목표

• L^2(\mathbb{R})에서 1주기 실수 포텐셜 V \in L^1_0(\mathbb{T})를 가진 제4차 연산자 \mathcal{L} = \frac{d^4}{dt^4} + V의 스펙트럼 구조를 분석하는 것.
• 두 겹의 리만 표면 위에서 해석적인 리아풀로프 함수를 정의하고 연구하여 스칼라 케이스 결과를 제4차 시스템으로 일반화하는 것.
• 고에너지에서 주기적 및 반주기적 스펙트럼의 점근적 행동을 특성화하는 것.
• 스펙트럼 간극을 안정적(주기적/반주기적 고유값에 의해 경계됨) 또는 불안정적(공명에 의해 경계됨)으로 분류하는 것.
• 주기적 및 반주기적 스펙트럼이 함께 \mathcal{L}의 전체 스펙트럼을 결정하며, 작은 V \neq 0에 대해 스펙트럼의 바닥의 중복도와 성격을 분석하는 것.

제안 방법

• 기본 해를 이용해 제4차 상미분방정식 y^{(4)} + Vy = \lambda y의 단위행렬 M(\lambda)을 구성하며, 초기 조건 \varphi_j^{(k)}(0,\lambda) = \delta_{jk}를 갖는다.
• 리아풀로프 함수 \Delta^\gamma(\lambda)를 M(\lambda) - \tau I_4의 행렬식으로 정의하고, 두 겹의 리만 표면 위에서의 해석적 성질을 분석한다.
• 다중수 스펙트럼의 대칭성 특성을 유도하기 위해 함수방정식 D(\tau, \lambda) = \tau^4 D(\tau^{-1}, \lambda)를 적용한다.
• 임계점 z_n에서 F(z) = \gamma를 분석하고, 각 밴드에서 F(z_n)가 최소가 되는 점에서 은둔함수정리(implicit function theorem)를 적용하여 \rho^\gamma(\lambda)의 영점 위치를 특정한다.
• z_n 근처에서 F(z)의 점근 전개를 수립하며, F(z) = F(z_n) + \frac{(z - z_n)^2}{2} (F''(z_n) + \widetilde{F}(z))로 표현하며, n \to \infty 일 때 F''(z_n) \sim 24z_n^2임을 보인다.
• r_n^\pm(\gamma)인 \rho^\gamma(\lambda)의 영점이 \gamma_n = F(z_n) 근처에서의 행동을 분석함으로써 리아풀로프 함수의 실수 및 비실수 분지점(공명)의 존재를 증명한다.

실험 결과

연구 질문

• RQ1 고에너지에서 제4차 연산자 \mathcal{L} = \frac{d^4}{dt^4} + V의 주기적 및 반주기적 고유값의 점근적 분포는 어떻게 되는가?
• RQ2 \mathcal{L}의 스펙트럼 간극은 안정적과 불안정적 유형으로 어떻게 분해되며, 그 끝점은 무엇으로 특성화되는가?
• RQ3 이 연산자에 대한 리아풀로프 함수가 비실수 분지점(공명)을 가질 수 있는가, 만약 가능하다면 V에 대한 어떤 조건에서 그러한 공명이 존재하는가?
• RQ4 작은 비영인 V에 대해 가장 낮은 밴드의 스펙트럼 중복도는 얼마이며, 스펙트럼의 바닥이 주기적 고유값인지 반주기적 고유값인지인가?
• RQ5 주기적 및 반주기적 스펙트럼이 함께 \mathcal{L}의 전체 스펙트럼을 얼마나 잘 결정하는가?

주요 결과

• 주기적 및 반주기적 고유값 \lambda_{2n}^{\pm}, \lambda_{2n-1}^{\pm}은 n \to \infty 일 때 점근적으로 \lambda_{2n}^{\pm} \sim (2\pi n)^4를 만족하며, 고차항 보정항으로 O(e^{-\pi n}) 항이 포함된다.
• 리아풀로프 함수 \Delta^\gamma(\lambda)는 실수 및 비실수 분지점(공명)을 모두 가지며, 이는 \gamma_n = F(z_n) 근처에서 작은 \nu = \gamma - \gamma_n에 대해 복소수 영점 r_n^\pm(\gamma)의 존재를 통해 입증된다.
• 작은 비영인 V에 대해 스펙트럼의 바닥은 중복도 4를 가지며, 바닥은 주기적 또는 반주기적 고유값이 아니라 공명(리아풀로프 함수의 실수 분지점)임을 보여준다.
• 공명 위치의 점근 전개는 r_n^\pm(\gamma) = z_n^4 \pm 4z_n^3 \left( \frac{2\nu}{F''(z_n)} \right)^{1/2} + O(\nu^{3/2})이며, n \to \infty 일 때 F''(z_n) \sim 24z_n^2이다.
• 스펙트럼 간극은 안정적(주기적/반주기적 고유값에 의해 경계됨) 또는 불안정적(공명에 의해 경계됨)으로 분류되며, 특정 포텐셜에 대해 두 유형이 동시에 존재한다.
• \mathcal{L}의 전체 스펙트럼 \sigma(\mathcal{L})는 주기적 및 반주기적 스펙트럼의 합집합에 의해 완전히 결정되며, 두 집합이 함께 스펙트럼의 모든 성분을 커버한다.