[논문 리뷰] Compact Inverses of The Multipoint Normal Differential Operators For First Order

Erdal Ünlüyol, Elif Otkun Çevik외 1명|arXiv (Cornell University)|2011. 05. 12.

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

한 줄 요약

이 논문은 무한히 분리된 간격의 끝점에서의 경계값을 사용하여, 벡터 함수의 힐버트 공간의 직합에서 일阶 다점 최소 미분 연산자의 모든 정규 확장들을 특성화한다. 이 확장들의 역연산자에 대한 컴팩트성 성질을 규명하여, 무한차원 설정에서 이러한 연산자에 대한 완전한 스펙트럼 이론적 묘사를 제공한다.

ABSTRACT

AbstractIn this work, firstly all normal extensions of a multipoint minimal operator generatedby linear multipoint differential-operator expression for first order in the Hilbert space ofvector functions in terms of boundary values at the endpoints of the infinitely many separatedsubintervals are described. Finally, a compactness properties of the inverses of such extensionshas been investigated. 2010 AMS Subject Classification: 47A05, 47A20Keywords: Direct sum of Hilbert spaces and operators; multipoint selfadjoint operator; formally normaloperator; normal operator; extension. 1 Introduction It is known that traditional infinite direct sum of Hilbert spaces H n , n ≥ 1 and infinite direct sumof operators A n in H n , n ≥ 1 are defined asH = ∞ ⊕ n=1 H n =(u = (u n ) : u n ∈ H n , n ≥ 1 andX ∞n=1 ku n k 2H n < +∞),A = ∞ ⊕ n=1 A n ,D(A) = {u = (u n ) ∈ H : u n ∈ D(A n ), n ≥ 1 and Au = (A n u n ) ∈ H}.A linear space H is a Hilbert space with norm induced by the inner product(u,v) H =X ∞n=1 (u

연구 동기 및 목표

• 직합 힐버트 공간에서 일계 다점 최소 미분 연산자의 모든 정규 확장을 기술하는 것.
• 무한히 분리된 간격의 끝점에서의 경계값을 통해 이러한 확장을 특성화하는 것.
• 이러한 정규 확장들의 역연산자의 컴팩트성 성질을 조사하는 것.
• 형식적으로 정규이자 정규인 연산자의 이론을 다점, 무한구간 설정으로 확장하는 것.
• 무한히 많은 영역에 걸쳐 있는 복소계 경계조건을 가진 일계 미분 연산자에 대한 스펙트럼 이론적 프레임워크를 제공하는 것.

제안 방법

• 무한히 분리된 간격들 위에서 시스템을 모델링하기 위해 힐버트 공간과 연산자의 직합 구조를 활용한다.
• 직합 공간 내에서 벡터 함수에 작용하는 선형 다점 미분표현을 통해 최소 연산자를 정의한다.
• 각 간격의 끝점에서 경계조건을 적용하여 최소 연산자의 정규 확장을 생성한다.
• 정규 및 형식적으로 정규인 연산자의 스펙트럼 이론을 활용하여 확장의 구조와 성질을 분석한다.
• 힐버트 공간 설정에서의 함수해석 기법을 사용하여 이러한 확장들의 역연산자를 조사한다.
• 무한직합 프레임워크 내에서 노름과 스펙트럼 행동을 분석함으로써 역연산자의 컴팩트성을 확립한다.

실험 결과

연구 질문

• RQ1 직합 힐버트 공간에서 일계 다점 최소 미분 연산자의 모든 정규 확장들은 어떻게 완전히 특성화될 수 있는가?
• RQ2 무한히 분리된 간격의 끝점에서의 경계값은 이러한 정규 확장의 구조를 어떻게 결정하는가?
• RQ3 이러한 정규 확장들의 역연산자가 컴팩트 연산자가 되는 조건은 무엇인가?
• RQ4 무한직합 설정에서 이러한 다점 미분 연산자에 대해 어떤 스펙트럼 성질이 나타나는가?
• RQ5 이 무한차원 맥락에서 연산자의 형식적 정규성은 그 역연산자의 컴팩트성과 어떻게 관련되는가?

주요 결과

• 다점 최소 연산자의 모든 정규 확장들은 무한히 분리된 간격의 끝점에서의 경계값에 의해 완전히 특성화된다.
• 구성된 정규 확장들의 역연산자는 벡터 함수의 힐버트 공간에서 컴팩트하다.
• 무한직합 프레임워크 내에서 스펙트럼 분석을 통해 역연산자의 컴팩트성이 확립된다.
• 정규 확장의 구조는 벡터 함수의 성분들에 가해진 경계조건에 의해 완전히 결정된다.
• 결과는 복소계 경계조건이 있는 다점, 무한구간 설정으로 고전적 정규 연산자 이론을 확장한다.
• 역연산자는 유계이며, 그 컴팩트성은 스펙트럼이 오직 영에만 집중됨을 의미하며, 힐버트 공간 내의 샤텐 클래스 성질과 일치한다.