[논문 리뷰] Regularization of binomial differential equations with singular coefficients

Andrii Goriunov, Vladimir Mikhailets|arXiv (Cornell University)|2011. 06. 16.

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

한 줄 요약

이 논문은 분포적 도함수인 Q∈L¹([a,b];ℂ)의 도함수 q=Q′인 특이 계수를 가진 m차수 이항 미분방정식의 정규화를 준미분을 통해 제시한다. 최소 연산자의 자기수반, 최대 소산성, 최대 춴적성 확장들을 수립하고, ℂ^m 내의 수축을 이용하여 일반화된 리만-스프링스 함수의 완전한 일대일 및 연속적 매개변수화를 제공하며, 이는 이전의 m=2 결과를 m≥3로 확장한다.

ABSTRACT

We propose a regularization of the formal differential expression of order $m \geqslant 3$ $$ l(y) = i^my^{(m)}(t) + q(t)y(t), \,t \in (a, b), $$ applying quasi-derivatives. The distribution coefficient $q$ is supposed to have an antiderivative $Q \in L([a,b];\mathbb{C})$. For the symmetric case ($Q = \bar{Q}$) self-adjoint and maximal dissipative extensions of the minimal operator and its generalized resolvents are described. The resolvent approximation with resrect to the norm of the considered operators is also investigated. The case $m = 2$ for $Q \in L_2([a, b];\mathbb{C})$ was investigated earlier.

연구 동기 및 목표

• 특이 계수를 가진 고차수 이항 미분방정식에 대한 특이 슈트룸-리우빌 연산자의 이론을 확장하기 위해.
• q∈L¹이 아니지만 q=Q′이면서 Q∈L¹인 경우 m≥3에 대해 체계적인 정규화 프레임워크가 부족한 문제를 해결하기 위해.
• 대칭적인 경우 최소 연산자의 모든 자기수반, 최대 소산성, 최대 춴적성 확장을 기술하기 위해.
• ℂ^m 내의 연산자 수축을 이용하여 일반화된 리만-스프링스 함수의 완전한 일대일 및 연속적 매개변수화를 제공하기 위해.
• 적절한 조건 하에서 최소 연산자의 확장들에 대한 균일한 리만-스프링스 근사화를 확립하기 위해.

제안 방법

• 형식적 미분식 l(y) = i^m y^{(m)}(t) + q(t)y(t)의 정규화를 위해 준미분 D^{[k]}y를 도입하며, q=Q′, Q∈L¹([a,b];ℂ)이다.
• 최대 연산자 L_max를 D^{[k]}y가 k=0,…,m−1에 대해 절대 연속이면서 D^{[m]}y∈L₂인 함수들 위에서 준미분식 l[y] = i^m D^{[m]}y의 폐쇄로 정의한다.
• 최소 연산자 L_min을 L_max의 제약으로서 양단점에서 준미분의 의미에서 0이 되는 함수들로 정의한다.
• 리만-스프링스 방정식 l[y]−λy=f를 w(t) = (D^{[0]}y,…,D^{[m−1]}y)로 구성된 일阶 선형계로 전환하며, 계수 행렬 A_λ(t)∈L¹ 및 외부항 φ(t)∈L¹을 포함한다.
• 경계삼중체 이론과 특성 와이어-티치마르 함수를 활용하여, ℂ^m 내의 연산자 수축 K(λ)를 통해 일반화된 리만-스프링스 함수를 매개변수화한다.
• 일반화된 리만-스프링스 함수와 경계값 문제 사이에 일대일 및 연속적 대응 관계를 수립하며, K(λ)는 상반평면 또는 하반평면에서 해석적이며 ||K(λ)||≤1을 만족한다.

실험 결과

연구 질문

• RQ1 m≥3에 대해 특이 계수 q=Q′, Q∈L¹을 가진 m차수 이항 미분방정식은 어떻게 정규화하여 일관된 연산자 이론을 정의할 수 있는가?
• RQ2 대칭적인 경우(Q=Q̄) 최소 연산자의 모든 자기수반, 최대 소산성, 최대 춴적성 확장을 어떻게 기술할 수 있는가?
• RQ3 최소 연산자의 모든 일반화된 리만-스프링스 함수는 복소평면에서 어떻게 매개변수화될 수 있는가?
• RQ4 어떤 조건이 최소 연산자의 확장들을 동일한 유형의 연산자들의 집합으로 균일하게 리만-스프링스 근사화할 수 있도록 보장하는가?
• RQ5 준미분 구성은 특이 계수에 대해 경계삼중체 접근법을 가능하게 하는 데 어떤 역할을 하는가?

주요 결과

• 최소 연산자 L_min이 자기수반일 필요충분조건은 Q가 실수값을 가질 때이다(Q=Q̄), 이는 자기수반 및 소산성 확장의 존재를 보장한다.
• L_min의 모든 자기수반, 최대 소산성, 최대 춴적성 확장들은 각각 ℂ^m 내의 유니터리 연산자 및 수축을 통해 일대일 및 연속적으로 매개변수화된다.
• L_min의 일반화된 리만-스프링스 함수는 상반평면 또는 하반평면에서 해석적이며 ||K(λ)||≤1인 연산자 함수 K(λ)를 포함하는 경계값 문제로 완전히 기술된다.
• 상반평면 내의 λ에 대해, 일반화된 리만-스프링스 함수는 l(y)=λy+h 및 경계조건 (K(λ)−I)Γ_{[1]}f + i(K(λ)+I)Γ_{[2]}f=0를 만족하는 해로 주어지며, 하반평면의 경우도 마찬가지로 동일하게 적용된다.
• 근사하는 계수열 Q_n→Q가 L¹에서 수렴하는 적절한 조건 하에서 리만-스프링스 근사가 균일 수렴성을 가진다.
• 준미분에 의한 정규화는 계수 Q의 변화에 대해 연산자 이론이 파erturbation에 대해 안정성을 유지하며 경계삼중체의 구조를 보존한다.