[논문 리뷰] Regularization of singular Sturm-Liouville equations

Andrii Goriunov, Vladimir Mikhailets|arXiv (Cornell University)|2010. 02. 23.

Spectral Theory in Mathematical PhysicsMathematics참고 문헌 7인용 수 19

한 줄 요약

이 논문은 계수 조건 $ q = Q' $, $ 1/p, Q/p, Q^2/p \in L_1 $ 를 만족하는 특이 스투름-리우빌 연산자의 새로운 정규화를 제안하며, 신-체틀의 준도함수를 사용하여 잘 정의된 최대 및 최소 연산자를 정의한다. 주요 기여는 자기수반 및 최대 소산적 확장을 캐논ical 경계 조건을 통해 완전히 특성화하고, 일반화된 해석적 연산자를 도출하는 것으로, 기존의 고전적 또는 $ L_2 $-기반 프레임워크보다 더 약한 조건으로 이를 확장한다.

ABSTRACT

Paper deals with the singular Sturm-Liouville expressions $$l(y) = -(py')' + qy$$ on a finite interval with coefficients $$q = Q', \quad 1/p, Q/p, Q^2/p \in L_1,$$ where derivative of the function $Q$ is understood in the sense of distributions. Due to a new regularization corresponding operators are correctly defined as quasi-differential. Their resolvent approximation is investigated and all self-adjoint and maximal dissipative extensions and generalized resolvents are described in terms of homogeneous boundary conditions of the canonic form. Some results are new for the case $p(t)\equiv 1$ as well.

연구 동기 및 목표

• 고전적 또는 $ L_2 $-기반 가정보다 훨씬 더 약한 계수 조건 하에서 스투름-리우빌 연산자를 정의하고 철저히 구성하는 것.
• 계수 조건 $ q = Q' $, $ Q/p, Q^2/p \in L_1 $ 를 만족하는 특이 케이스에 대해 준도함수 연산자의 이론을 확장하는 것, 여기서 $ Q' $ 는 분포적 의미에서 정의된다.
• 경계 삼중체 이론을 사용하여 최소 연산자의 모든 자기수반 및 최대 소산적 확장을 경계 조건을 통해 매개변수화하는 것.
• 더 규칙적인 계수를 가진 연산자들의 해석적 연산자에 의해 구성된 연산자들의 해석적 연산자를 노름으로 근사시키는 것, 이는 이전 결과를 개선하는 것이다.

제안 방법

• 준도함수 $ D^{[0]}y = y $, $ D^{[1]}y = py' - Qy $, $ D^{[2]}y = (D^{[1]}y)' + \frac{Q}{p}D^{[1]}y + \frac{Q^2}{p}y $ 를 사용하여 스투름-리우빌 표현식 $ l(y) = -(py')' + qy $ 의 새로운 정규화를 도입하여 $ l[y] = -D^{[2]}y $ 가 되도록 한다.
• 최대 연산자 $ L_{\text{max}} $ 는 $ L_2 $ 상에서 $ \{ y \in L_2 \mid y, D^{[1]}y \in AC, D^{[2]}y \in L_2 \} $ 를 정의역으로 하는 준도함수 연산자로 정의한다.
• 최소 연산자 $ L_{\text{min}} $ 는 $ L_{\text{max}} $ 의 제약으로서 동차 경계 조건 $ D^{[k]}y(a) = D^{[k]}y(b) = 0 $ ($ k = 0,1 $) 를 만족하는 경우로 정의한다.
• 경계 삼중체 이론을 사용하여 모든 자기수반 및 최대 소산적 확장을 $ \mathbb{C}^2 $ 상의 연산자 $ K $ 를 통해 매개변수화하며, 소산적 확장을 위한 경우 $ K $ 는 수축 연산자여야 한다.
• 해석적 연산자의 노름 근사화를 통해 구성된 연산자들의 해석적 연산자가 더 규칙적인 계수를 가진 연산자들의 해석적 연산자로 노름으로 근사됨을 보여, 이를 통해 근사화를 확립한다.
• 해석적 연산자 $ K(\lambda) $ 가 $ \mathbb{C}^- $ 상에서 해석적이며 $ \|K(\lambda)\| \leq 1 $ 를 만족하는 경계값 문제 $ (K(\lambda) - I)\Gamma_1 y + i(K(\lambda) + I)\Gamma_2 y = 0 $ 를 통해 일반화된 해석적 연산자를 유도한다.

실험 결과

연구 질문

• RQ1 분포적 의미에서 $ Q' $ 이며 $ Q/p, Q^2/p \in L_1 $ 를 만족하는 잠재력 $ q $ 를 가진 특이 스투름-리우빌 연산자가 어떻게 엄밀하게 정의될 수 있는가?
• RQ2 계수 조건 $ q = Q' $, $ 1/p, Q/p, Q^2/p \in L_1 $ 하에서 최대 및 최소 연산자의 구조는 어떠한가?
• RQ3 최소 연산자의 모든 자기수반 확장을 경계 조건에 대해 매개변수화하여 어떻게 기술할 수 있는가?
• RQ4 최소 대칭 연산자의 모든 최대 소산적 확장 및 일반화된 해석적 연산자의 특성은 무엇인가?
• RQ5 구성된 연산자들의 해석적 연산자는 더 규칙적인 계수를 가진 연산자들의 해석적 연산자로 근사될 수 있는가?

주요 결과

• 제안된 준도함수 정규화는 계수 조건 $ q = Q' $, $ 1/p, Q/p, Q^2/p \in L_1 $ 를 만족할 때, 분포적 의미에서 $ Q' $ 이며, 스투름-리우빌 연산자를 유일하게 정의한다.
• 이 정규화를 통해 정의된 최대 및 최소 연산자는 $ L_1 $-조건 하에서는 고전적 연산자들과 일치하며, $ Q $ 에 대해 $ L_2 $-조건이 성립할 경우 [5]의 결과와도 일치한다.
• 최소 연산자의 모든 자기수반 확장은 $ \mathbb{C}^2 $ 상의 자기수반 연산자 $ K $ 와 일대일 연속적인 대응 관계를 가지며, 캐논ical 동차 경계 조건으로 기술된다.
• 모든 최대 소산적 확장은 $ \mathbb{C}^2 $ 상의 수축 연산자 $ K $ 와 일대일 대응되며, 분리된 경계 조건은 $ K $ 가 블록 대각형이며 $ |K_a| \leq 1 $, $ |K_b| \leq 1 $ 를 만족할 때 정확히 발생한다.
• 구성된 연산자들의 해석적 연산자는 더 규칙적인 계수를 가진 연산자들의 해석적 연산자로 노름으로 근사될 수 있으며, 이는 이전의 근사 결과를 확장하고 개선한다.
• 일반화된 해석적 연산자는 $ \mathbb{C}^- $ 상에서 해석적이며 $ \|K(\lambda)\| \leq 1 $ 를 만족하는 연산자값 함수 $ K(\lambda) $ 를 포함하는 경계값 문제로 완전히 특성화되며, 일반화된 스펙트럼 함수와의 일대일 대응 관계를 제공한다.