[논문 리뷰] Sturm-Liouville operators with distributional potentials

А. М. Савчук, А. А. Шкаликов|ArXiv.org|2003. 01. 09.

Spectral Theory in Mathematical Physics인용 수 10

한 줄 요약

이 논문은 $W_2^{-1}$에 속하는 분포형 잠재력(distributional potentials)을 가진 슈투름-리우빌 연산자에 대해 엄밀한 프레임워크를 개발한다. 특이 문제를 $L_1$-계수를 가진 일계 시스템으로 변환함으로써 이를 해결한다. 주요 기여는 잠재력이 함수가 아니고 분포일 경우에도 이러한 연산자의 존재성과 자기수반성(self-adjointness)을 일반화된 와이어-티치마르스 이론을 통해 확립하는 것이다. 이는 스무스하지 않은 특이 잠재력으로까지 스펙트럼 이론을 확장한다.

ABSTRACT

In this paper we propose four different methods to determine Sturm-Liouville operator on an interval $(a,b)$ in case, when a potential $q(x)$ is a distribution from the Sobolev space with negative index of smoothness, i.e. (q\in W_2^{-θ}), where (θ\le 1). The main and second terms of asymptotic series for eigenvalues and eigenfunctions of these operators are obtained and the remaining terms are estimated depending on the class of smoothness of potential /(q/). Particular families of potentials, not belonging to the space (W_2^{-1}) are studied as well.

연구 동기 및 목표

• 스푸르트-리우빌 연산자의 스펙트럼 이론을 국소 적분 가능 함수가 아닌 $W_2^{-1}$에 속하는 잠재력으로 확장한다. 이 공간에는 $|x|^{-1}$ 및 $\delta$-함수 등 분포가 포함된다.
• 잠재력 $q(x)$가 국소 적분 가능 함수가 아니고 $W_2^{-1}$에 속하는 분포일 경우, 미분 연산자 $-y'' + q(x)y$를 정의하고 분석하는 데 도전 과제를 해결한다.
• 경계 조건을 통해 이러한 연산자의 자기수반 실현(realisations)을 구성하고, 해석적 연산자(resolvents)와 스펙트럼 측도의 존재를 증명한다.
• 잠재력이 특이할 경우에도, $L_1$-계수를 가진 일계 시스템으로의 변환을 통해 해와 스펙트럼 데이터를 체계적으로 구성하는 방법을 제공한다.

제안 방법

• 분포형 잠재력 $q(x)$의 적분인 $u(x)$를 이용해 준미분(quasi-derivative) $y^{[1]} = y' - u(x)y$를 도입함으로써, 이차 슈투름-리우빌 방정식을 일계 시스템으로 변환한다.
• 변환된 시스템의 최대 실현(maximal realization)인 연산자 $L_M$을 정의하며, 그 정의역 $\mathfrak{D}(L_M)$은 $y, y^{[1]} \in W_1^1$ 이고 $L_M y \in L_2$ 를 만족하는 함수 $y$의 집합이다.
• 계수들이 $L_1$에 속하는 일계 시스템 이론을 활용하여 해의 존재성과 유일성을 증명한다. 이를 위해 부드러운 계수로의 근사화와 $L_1$ 수렴을 기반으로 한다.
• 시스템의 기본 해를 통해 $L_M$의 해석적 연산자를 수립하고, 단조행렬(monodromy matrix)로부터 와이어-티치마르스 $M$-함수를 유도한다.
• 경계 조건 $U_j(y) = 0$, $j=1,2$ 를 통해 $L_M$의 자기수반 확장 $L$을 구성한다. 여기서 $U_j$ 는 $y(0), y(\pi), y^{[1]}(0), y^{[1]}(\pi)$ 의 선형 조합이다.
• 특성 행렬식 $\Delta(\lambda)$ 를 분석함으로써 이러한 확장에 대해 스펙트럼 측도와 고유값이 잘 정의됨을 증명한다. 이는 정수 함수이며 특정 영역에서 영이 아님을 의미한다.

실험 결과

연구 질문

• RQ1 잠재력 $q(x)$가 $W_2^{-1}$에 속할 경우, 즉 $\delta$-함수나 $|x|^{-1}$ 등 특이 분포를 포함할 경우 슈투름-리우빌 연산자를 어떻게 엄밀하게 정의할 수 있는가?
• RQ2 잠재력 $q(x)$가 함수가 아닐 경우, 준미분 $y^{[1]}$과 관련된 일계 시스템을 어떻게 정의할 것인가?
• RQ3 경계 조건이 어떤 조건을 만족할 경우 연산자 $L$이 자기수반이고 이산 스펙트럼을 가질 수 있는가?
• RQ4 분포형 잠재력을 가진 연산자에 대해 $L_1$-계수 시스템 접근법을 통해 스펙트럼 이론(고유값, 고유함수, 스펙트럼 측도)을 어떻게 확장할 수 있는가?
• RQ5 특이 잠재력을 정규화된 잠재력으로 근사화할 경우, 해와 스펙트럼 데이터의 수렴성은 어떻게 영향을 받는가?

주요 결과

• 연산자 $L_M$ 은 $L_2(0,\pi)$ 위에서 잘 정의되고 밀도가 있으며, 그 정의역은 $y, y^{[1]} \in W_1^1$ 이고 $L_M y \in L_2$ 를 만족하는 함수 $y$의 집합이다.
• $\lambda \in \mathbb{C} \setminus \mathbb{R}$ 에 대해 $L_M$의 해석적 연산자가 존재하며, 이는 컴act임을 의미하므로 이산 스펙트럼을 가진다.
• $L_M$의 임의의 자기수반 확장 $L$에 대해 특성 행렬식 $\Delta(\lambda)$ 는 순수 함수이며 순서 1을 가지며, 그 영점은 $L$의 고유값에 해당한다.
• 스펙트럼 측도 $d\mu(\lambda)$ 는 잘 정의되어 있으며, $\mathbb{R}$ 위에서 르베그 측도에 대해 절대 연속이며, 밀도는 와이어-티치마르스 $m$-함수로 주어진다.
• $q(x) = |x|^\alpha$ 이고 $\alpha > -3/2$ 이면, 잠재력은 $W_2^{-1}$ 에 속하며, 이에 대응하는 연산자는 이산 스펙트럼을 가진 자기수반 실현을 가진다.
• $q(x) = |x|^\alpha$ 이고 $\alpha > -3/2$ 이면, 관련 리카티 방정식 $-w' + w^2 + |x|^\alpha = 0$ 의 해는 $|x|^{\alpha+1}$ 에 대한 형식적 멱급수 전개를 가지며, 이를 잘라내어 정규화 근사화를 정의할 수 있다.