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

Andrey Badanin, Evgeny Korotyaev|ArXiv.org|2008. 08. 05.

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

한 줄 요약

이 논문은 실수선 위에서 1-주기 계수를 가진 주기적 제4차 미분 연산자 $ H = \frac{d^4}{dt^4} + \frac{d}{dt}p\frac{d}{dt} + q $ 의 스펙트럼 성질을 분석한다. 이중 시트로 된 리만 곡면과 라플라스 함수를 이용하여, 주기적, 반주기적, 공진 상태 고유값을 통해 스펙트럼을 특성화하며, 고에너지 점근적 행동, 대부분의 스펙트럼에서 다중도 2, 그리고 무한한 갭이 존재하거나 낮은 에너지 스펙트럼에서 다중도 4가 되는 조건을 증명한다.

ABSTRACT

We consider the operator $H={d^4dt^4}+{ddt}p{ddt}+q$ with 1-periodic coefficients on the real line. The spectrum of $H$ is absolutely continuous and consists of intervals separated by gaps. We describe the spectrum of this operator in terms of the Lyapunov function, which is analytic on a two-sheeted Riemann surface. On each sheet the Lyapunov function has the standard properties of the Lyapunov function for the scalar case. We describe the spectrum of $H$ in terms of periodic, antiperiodic eigenvalues, and so-called resonances. We prove that 1) the spectrum of $H$ at high energy has multiplicity two, 2) the asymptotics of the periodic, antiperiodic eigenvalues and of the resonances are determined at high energy, 3) for some specific $p$ the spectrum of $H$ has an infinite number of gaps, 4) the spectrum of $H$ has small spectral band (near the beginner of the spectrum) with multiplicity 4 and its asymptotics are determined as $p o 0, q=0$.

연구 동기 및 목표

• 1주기 계수를 가진 제4차 주기적 미분 연산자의 절대 연속 스펙트럼을 특성화하기.
• 이중 시트로 된 리만 곡면 상의 라플라스 함수를 이용하여 주기적, 반주기적, 공진 고유값을 통해 스펙트럼을 기술하기.
• 고에너지 점근적 행동과 스펙트럼 밴드의 다중도 구조를 분석하기.
• 스펙트럼에 무한한 수의 갭이 존재하는 조건을 규명하기.

제안 방법

• 제4차 상미분방정식의 기본 해로부터 단조행렬 $ M(\lambda) $ 를 구성하고, 그 고유값(다중값)이 스펙트럼 조건 $ |\tau| = 1 $ 을 결정한다.
• 라플라스 함수 $ \Delta_1, \Delta_2 $ 는 $ \frac{1}{2}(\tau_\nu + \tau_\nu^{-1}) $ 로 정의되며, $ \sqrt{\rho} $ 를 통해 정의된 이중 시트 리만 곡면 상의 해석적 분 支이다. 여기서 $ \rho = \frac{T_2 + 1}{2} - T_1^2 $ 이다.
• 스펙트럼은 $ \sigma(H) = \{ \lambda \in \mathbb{R} : \Delta_\nu(\lambda) \in [-1,1] \text{ for } \nu = 1,2 \} $ 로 식별되며, 두 $ \Delta_\nu $ 가 동시에 $ [-1,1] $ 에 속하는 집합의 교차로 다중도가 결정된다.
• 고에너지 행동을 유도하기 위해 $ |\lambda| \to \infty $ 일 때 $ \Delta_1(\lambda) \sim \cosh z $, $ \Delta_2(\lambda) \sim \cos z $ 의 점근 전개를 사용하며, 여기서 $ z = \lambda^{1/4} $ 이다.
• 공진 상태는 $ \rho $ 의 영이 되는 점으로 정의되며, 해석성과 대칭성 성질을 통해 그 분포와 실수성 분석이 이루어진다.
• 기본 행렬 해 $ \mathcal{M}(t,\lambda) $ 를 구성하고, 지수 가중치를 가진 행렬 체계로의 변환을 사용하며, $ z^{-1} $ 에 대한 섭동 이론을 통해 단조행렬의 점근 전개를 유도한다.

실험 결과

연구 질문

• RQ1 제4차 주기적 연산자 $ H $ 의 스펙트럼은 주기적, 반주기적, 공진 고유값으로 어떻게 분해되는가?
• RQ2 $ H $ 의 주기적 및 반주기적 고유값과 공진 상태의 고에너지 점근적 행동은 어떠한가?
• RQ3 $ H $ 의 스펙트럼이 무한한 수의 갭을 포함하는 조건은 무엇인가?
• RQ4 스펙트럼 밴드의 다중도, 특히 원점 근처의 낮은 에너지 밴드의 다중도는 무엇에 의해 결정되는가?
• RQ5 $ p \to 0 $ 이고 $ q = 0 $ 일 때 스펙트럼은 어떻게 행동하는가? 특히 낮은 에너지 스펙트럼 밴드의 존재성과 크기 관계는 어떻게 되는가?

주요 결과

• 고에너지에서 $ H $ 의 스펙트럼은 다중도 2를 가지며, 점근 행동 $ \Delta_1(\lambda) \sim \cosh z $, $ \Delta_2(\lambda) \sim \cos z $ 에 의해 유도되며, 이는 큰 $ |\lambda| $ 에서 두 라플라스 함수 중 하나만 $ [-1,1] $ 에 속한다는 것을 의미한다.
• 주기적 및 반주기적 고유값 $ \lambda_{2n}^{\pm}, \lambda_{2n-1}^{\pm} $ 는 점근 전개 $ \sim (1+i)^4 \pi^4 n^4 $ 를 가지며, $ \lambda = \infty $ 근처에서 $ \Delta_\nu $ 의 행동으로부터 유도된다.
• 일부 $ p $ 에 대해 $ H $ 의 스펙트럼은 무한한 수의 갭을 가지며, 이는 $ (-\Gamma, \Gamma) $ 내에서 $ \rho $ 의 실수 영점 수가 유계적이지 않게 증가하기 때문이다. 이는 무한한 수의 공진 상태와 무한한 수의 스펙트럼 갭을 의미한다.
• 원점 근처에서 $ p \to 0 $ 이고 $ q = 0 $ 일 때, 스펙트럼은 다중도 4의 낮은 에너지 밴드를 가지며, 이는 $ s_1 \cap s_2 $ 에 해당한다. 이 밴드의 점근 행동은 단조행렬의 섭동을 통해 유도된다.
• 행렬 $ \Phi = (I_4 + \Omega W_0/(4z))^{-1}(I_4 + \Omega W_1/(4z)) $ 는 단조행렬의 섭동 전개를 제공하며, $ z^{-1} $ 의 거듭제곱으로서 $ \phi_{kj}(\lambda) $ 의 점근 공식을 유도한다. 여기서 $ \phi_{01}(\lambda) = (1-i)\xi^2 \widehat{p_n'} + O(\xi^3) $ 이며, $ z = (1+i)\pi n + O(n^{-1}) $ 일 때 성립한다.
• $ \phi_{jj}(\lambda) $ 의 점근 전개는 $ \phi_{jj}(\lambda) = 1 - \frac{\omega_j^3 \widehat{p}_0}{4z} + \frac{\omega_j^2 \widehat{p}_0^2}{32z^2} + O(z^{-3}) $ 로 주어지며, 이는 트레이스와 스펙트럼 불변량의 고에너지 행동을 결정한다.