[논문 리뷰] On the norming constants of the Sturm-Liouville problem

Tigran Harutyunyan, Avetik Pahlevanyan|arXiv (Cornell University)|2016. 08. 19.

Spectral Theory in Mathematical Physics참고 문헌 5인용 수 3

한 줄 요약

이 논문은 적분 가능한 잠재력과 함께 스투름-리우빌 문제의 노름화 상수에 대한 새로운 점근 공식을 유도하며, 경계 조건에 대한 부드러운 의존성을 포함하여 이전 결과를 개선한다. 주요 기여는 $ a_n $ 및 $ b_n $의 정밀한 점근 전개로, 잔여항이 $ O(1/n^2) $임을 포함하며, 관련 스펙트럼 함수의 절대연속성을 증명함으로써 경계 조건 변화에 따른 스펙트럼 자료의 새로운 정규성 성질을 확립한다.

ABSTRACT

We derive new asymptotic formulae for the norming constants of Sturm-Liouville problem with summable potentials, which generalize and make more precise previously known formulae. Moreover, our formulae take into account the smooth dependence of norming constants on boundary conditions. We also find some new properties of the remainder terms of asymptotics.

연구 동기 및 목표

• 적분 가능한 잠재력과 함께 스투름-리우빌 문제의 노름화 상수에 대한 향상된 점근 전개를 유도하기 위해.
• 이전에 체계적으로 연구되지 않았던 경계 조건 $ \alpha $ 및 $ \beta $에 대한 노름화 상수의 부드러운 의존성을 분석하기 위해.
• 특히 스펙트럼 계수에서 유도된 함수의 절대연속성과 같은 새로운 정규성 성질을 스펙트럼 자료에 확립하기 위해.
• 이전에 알려진 점근 공식을 고차항과 정밀한 잔여항 추정을 포함하여 개선하고 일반화하기 위해.

제안 방법

• 적분 가능한 실수 계수 $ q \in L^1_{\mathbb{R}}[0,\pi] $를 가진 스투름-리우빌 방정식의 해 행동을 이용하여 고유함수 및 노름화 상수의 점근 전개를 유도하기 위해.
• 노름화 상수 전개의 핵심 항으로서 $ \ae_n(q,\alpha,\beta) = -\frac{1}{2}\int_0^\pi (\pi - t)q(t)\sin[2(n + \delta_n)\tau]dt $ 라는 양을 도입하기 위해.
• 스펙트럼 함수 $ k(x) = \sum_{n=2}^\infty \frac{\ae_n}{n + \delta_n} \cos[(n + \delta_n)x] $ 를 분석하기 위해 푸리에 급수 기법을 사용하여, $ (0, 2\pi) $에서의 절대연속성을 보여주기 위해.
• 경계 조건에 대한 의존성을 제어하기 위해 $ \delta_n(\alpha,\beta) $의 점근 전개, 특히 $ \delta_n = \frac{\cot\beta - \cot\alpha}{\pi n} + O(1/n^2) $ 를 적용하기 위해.
• $ L^2 $ 기반 추정과 잔여항 $ r_n, \tilde{r}_n, p_n, \tilde{p}_n $ 에 대한 $ O(1/n^2) $ 유계성 추정을 사용하여, $ \alpha, \beta $ 및 유계 $ L^1 $ 집합에서의 유일한 수렴을 보장하기 위해.
• 스펙트럼 함수 $ k(x) $ 의 절대연속성을 증명하기 위해 $ l_1, l_2, l_3 $ 로 분해하고, $ \tilde{\sigma} \in AC[0,2\pi] $ 이며 Fourier 계수의 감쇠 추정을 사용하여 각 성분이 $ AC[0,2\pi] $ 에 속함을 보여주기 위해.

실험 결과

연구 질문

• RQ1 적분 가능한 잠재력 $ q \in L^1_{\mathbb{R}}[0,\pi] $ 인 스투름-리우빌 문제에서 노름화 상수는 경계 조건 $ \alpha $ 및 $ \beta $ 에 대해 어떻게 부드럽게 의존하는가?
• RQ2 고유함수 $ \varphi_n $ 및 $ \psi_n $ 의 $ L^2 $-노름의 정밀한 점근 행동은 무엇이며, 고차항은 명시적으로 포착될 수 있는가?
• RQ3 스펙트럼 함수 $ k(x) = \sum_{n=2}^\infty \frac{\ae_n}{n + \delta_n} \cos[(n + \delta_n)x] $ 는 $ (0, 2\pi) $ 에서 절대연속적임을 보일 수 있는가?
• RQ4 노름화 상수의 점근 전개에서 잔여항의 최적 감쇠 속도는 무엇이며, 이는 $ \alpha, \beta $ 및 $ q $ 에 대해 균일하게 유계일 수 있는가?

주요 결과

• 노름화 상수 $ a_n(q,\alpha,\beta) $ 의 점근 공식은 주항 $ \frac{\pi}{2} $, 보정항 $ \frac{\ae_n}{n + \delta_n} $ 과 함께 $ r_n = O(1/n^2) $ 잔여항을 포함하며, $ \alpha, \beta \in [0,\pi] $ 및 $ q \in BL^1_{\mathbb{R}}[0,\pi] $ 에 대해 균일하게 성립한다.
• 유사하게, $ b_n(q,\alpha,\beta) $ 도 동일한 $ O(1/n^2) $ 잔여항을 포함하는 점근 전개를 가지며, 각각 $ \sin^2\beta $ 와 $ \cos^2\beta $ 에 대한 의존성을 포착한다.
• 함수 $ k(x) = \sum_{n=2}^\infty \frac{\ae_n}{n + \delta_n} \cos[(n + \delta_n)x] $ 는 $ (0, 2\pi) $ 에서 절대연속적임을 보이며, 경계 조건 변화에 따른 스펙트럼 자료에 대한 새로운 정규성 결과이다.
• $ \alpha, \beta \in (0,\pi) $ 인 경우, $ k_2(x) $ 를 $ l_1, l_2, l_3 $ 로 분해하면, 모든 성분이 $ AC[0,2\pi] $ 에 속함을 보여주며, 이는 $ \tilde{\sigma} \in AC[0,2\pi] $ 와 Fourier 계수의 $ O(1/n) $ 감쇠 추정에 기반한다.
• 특수 케이스 $ \alpha = \pi, \beta = 0 $ 에서는 $ k_2(x) $ 가 절대연속 함수의 푸리에余弦 급수로 줄어들며, $ k \in AC(0,2\pi) $ 를 확인한다.
• 잔여항 $ r_n, \tilde{r}_n, p_n, \tilde{p}_n $ 는 모두 $ O(1/n^2) $ 로 유계이며, 이는 이전 추정보다 향상되었고, 경계 조건 및 잠재력에 대해 균일한 수렴을 보장한다.