[논문 리뷰] On two-point boundary value problems for the Sturm-Liouville operator

A. S. Makin|arXiv (Cornell University)|2015. 12. 21.

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

한 줄 요약

이 논문은 임의의 복소계수 잠재력과 두점 경계 조건을 가진 스투름-리우빌 연산자의 스펙트럼 성질을 조사하며, 근 함수 체계의 완전성과 기저 성질에 초점을 맞춘다. 특정 경계 조건 및 잠재력의 클래스에 대해 근 함수 체계가 $L_2(0,\pi)$에서 완전함을 입증하고, 고유값의 중복도가 스펙트럼 매개변수 크기와 비교해 너무 빠르게 증가할 경우 기저를 형성하지 못하는 조건을 제공한다.

ABSTRACT

In this paper, we study spectral problems for the Sturm-Liouville operator with arbitrary complexvalued potential q(x) and two-point boundary conditions. All types of mentioned boundary conditions are considered. We ivestigate in detail the completeness property and the basis property of the root function system.

연구 동기 및 목표

• 임의의 복소계수 잠재력과 두점 경계 조건을 가진 스투름-리우빌 연산자의 근 함수 체계의 완전성과 기저 성질을 분석하는 것.
• 경계 조건을 비퇴화, 강화된 정규, 정규이지만 강화되지 않은, 비정규 유형으로 분류하고 각각의 경우에 대한 스펙트럼 행동을 연구하는 것.
• 고유값 중복도가 너무 빠르게 증가할 경우, 근 함수 체계가 $L_2(0,\pi)$에서 샤펄 기저를 형성하지 못하는 조건을 규명하는 것.
• 근 함수 체계에 임의로 높은 차수의 관련 함수를 포함하는 잠재력을 명시적으로 구성하여 기저 성질의 실패를 입증하는 것.

제안 방법

• 두점 경계 조건 $B_i(u) = 0$로 정의된 $L_2(0,\pi)$에서의 스투름-리우빌 연산자 $L = u'' - q(x)u$를 수식화하는 것.
• 기본 해 $c(x,\mu)$와 $s(x,\mu)$를 이용해 특성 행렬식 $\Delta(\mu)$를 표현하고, 경계 조건 행렬의 여인수 $A_{ij}$를 통해 이를 기술하는 것.
• 특성 행렬식 $\Delta(\mu)$의 점근적 분석을 통해 $|\mu| \to \infty$일 때 스펙트럼 이산성과 비퇴화 조건 하에서 근 부분공간 차원의 유계성을 확립하는 것.
• 역 스펙트럼 이론을 통해 주어진 스펙트럼 중복도를 실현하기 위해 팔레이-위너 공간 $PW_\pi^-$ 내의 정수함수를 구성하는 것.
• 정수함수 이론의 정리들(예: 정리 9)을 적용하여 구성된 특성 행렬식에 대응하는 $L_2(0,\pi)$ 잠재력의 존재를 보장하는 것.
• 고유값 중복도 $m(\lambda_n)$의 성장률을 $|\mu_n|$과 비교하여, 정리 15를 활용해 기저 성질을 상실하는 조건을 유도하는 것.

실험 결과

연구 질문

• RQ1 잠재력 $q(x)$와 경계 조건에 어떤 조건이 성립할 경우, 스투름-리우빌 연산자의 근 함수 체계가 $L_2(0,\pi)$에서 완전성을 유지하는가?
• RQ2 고유함수 및 관련 함수의 체계가 언제 $L_2(0,\pi)$에서 샤펄 기저를 형성하지 못하는가?
• RQ3 근 함수 체계에 임의로 높은 차수의 관련 함수를 포함하는 잠재력을 구성할 수 있으며, 이는 기저 성질에 어떤 영향을 미치는가?
• RQ4 고유값 중복도의 성장률과 근 함수 체계의 기저 성질 간의 관계는 무엇인가?
• RQ5 $L_1(0,\pi)$에서 근 함수 체계가 기저인지 아닌지에 따라 잠재력의 집합은 얼마나 조밀한가?

주요 결과

• 모든 비퇴화된 두점 경계 조건에 대해, 스투름-리우빌 문제의 스펙트럼은 무한대에 유일한 집적점만을 가지며, 모든 근 부분공간은 유한차원이다.
• 모든 비퇴화된 경계 조건에 대해, 고유함수 및 관련 함수의 체계는 $L_2(0,\pi)$에서 완전하고 최소이다.
• 고유값의 중복도 $m(\lambda_n)$가 $c_1 \ln \mu_n \leq m(\lambda_n) \leq c_2 \ln \mu_n$를 만족하는 $q_1(x) \in L_2(0,\pi)$의 잠재력이 존재하며, 이 경우 임의로 높은 차수의 관련 함수를 포함한다.
• 잠재력 $q_2(x) \in L_2(0,\pi)$에 대해, 고유값 $\tilde{\lambda}_n = \tilde{\mu}_n^2$의 중복도는 $c_1 \ln |\tilde{\mu}_n| \leq m(\tilde{\lambda}_n) \leq c_2 \ln |\tilde{\mu}_n|$를 만족하고 $|\operatorname{Im} \tilde{\mu}_n| \to \infty$를 만족하며, 다시 한 번 임의로 높은 차수의 관련 함수를 포함한다.
• 근 함수 체계에 임의로 높은 차수의 관련 함수를 포함하는 잠재력의 집합은 $L_1(0,\pi)$에서 곳곳에 밀도를 이룬다. 이 집합의 여집합 역시 마찬가지로 곳곳에 밀도를 이룬다.
• 만약 $\lim_{n \to \infty} \frac{m(\lambda_n)}{\sqrt{|\mu_n|}} \neq 0$이면, 정리 15에 따라 고유함수 및 관련 함수의 체계는 $L_2(0,\pi)$에서 샤펄 기저를 형성하지 못한다.