[논문 리뷰] Spectral properties of fractional differentiation operators

Maksim V. Kukushkin|arXiv (Cornell University)|2017. 08. 20.

Differential Equations and Boundary Problems참고 문헌 5인용 수 8

한 줄 요약

이 논문은 다차원 영역에서 분수 미분 연산자의 기본 스펙트럼 성질을 확립하며, 이들이 엄격하게 축적성과 분야성을 지닌다는 것을 증명한다. 허수선형 형식과 에너지 공간 이론을 사용하여, Kipriyanov 유형의 분수 미분을 포함하는 이차 연산자의 이산적이고 컴팩트하게 임bed된 스펙트럼을 입증하고, 그 실수 성분에 대한 양방향 고유값 추정을 제시한다.

ABSTRACT

We consider fractional differentiation operators in various senses and show that the strictly accretive property is the common property of fractional differentiation operators. Also we prove that the sectorial property holds for differential operators second order with a fractional derivative in the final term, we explore a location of the spectrum and resolvent sets and show that the spectrum is discrete. We prove that there exists a two-sided estimate for eigenvalues of the real component of operators second order with the fractional derivative in the final term.

연구 동기 및 목표

• 다차원 영역에서 분수 미분 연산자의 스펙트럼 성질을 조사한다.
• Kipriyanov 유형의 분수 미분이 엄격하게 축적성과 분야성을 지닌다는 것을 확립한다.
• 하향항에 분수 미분을 포함하는 이차 미분 연산자의 이산적이고 컴팩트하게 임bed된 스펙트럼을 증명한다.
• 이러한 연산자의 실수 성분에 대한 고유값에 대해 양방향 추정을 도출한다.
• 일차원 결과를 에너지 공간과 허수선형 형식 이론을 사용하여 고차원으로 확장한다.

제안 방법

• 반경좌표와 구면각을 사용하여 n차원 영역에서 방향성 분수 적분 및 미분을 도입한다.
• 미분 연산자와 관련된 에너지 공간을 정의하고 노름의 동치성을 이용하여 컴팩트 임베딩을 확립한다.
• Rellich-Kondrashov 정리를 적용하여 L²(Ω)로의 임베딩의 컴팩트성을 증명한다.
• 허수선형 형식 이론을 사용하여 연산자의 m-축적성 및 분야성 성질을 분석한다.
• [8]의 정리 6.29를 적용하여 컴팩트 해석적 연산자와 이산 스펙트럼을 도출한다.
• Friedrichs 확장을 사용하고 실수 성분 분해를 통해 연산자와 그 자기수반 및 축적성 성분을 연결한다.

실험 결과

연구 질문

• RQ1 Kipriyanov 유형의 분수 미분 연산자는 다차원 영역에서 엄격하게 축적성인가?
• RQ2 하향항에 분수 미분이 포함된 연산자는 분야성 또는 m-축적성 성질을 지닌다?
• RQ3 이러한 연산자의 스펙트럼 구조—특히 위치와 이산성—은 무엇인가?
• RQ4 이 연산자의 실수 성분에 대한 고유값에 대해 양방향 추정을 설정할 수 있는가?
• RQ5 에너지 공간 기법과 허수선형 형식은 다차원 설정에서 스펙트럼 분석을 어떻게 지원하는가?

주요 결과

• Kipriyanov 유형의 분수 미분 연산자는 α ∈ (0,1)일 때 L₂(Ω)에서 엄격하게 축적성이다.
• 연산자는 분야성이며, 그 수치 범위는 오른쪽 반평면의 분야 내에 포함된다.
• 연산자의 실수 성분은 이산 스펙트럼을 가지며, 고유값은 양방향 추정을 만족한다.
• 이 연산자와 관련된 에너지 공간은 L₂(Ω)에 컴팩트하게 임베딩되며, 이는 컴팩트 해석적 연산자임을 의미한다.
• 연산자 L̃(Friedrichs 확장)은 m-축적성이며 컴팩트 해석적 연산자를 가지며, 이로 인해 이산 스펙트럼을 가진다.
• n ≥ 2에서의 스펙트럼 결과는 축소와 Marchaud 연산자에 대한 알려진 결과를 통해 일차원 경우로 확장된다.