[논문 리뷰] A characterization of unbounded Fredholm operators

А. Г. Рамм|ArXiv.org|2003. 01. 31.

Matrix Theory and Algorithms참고 문헌 6인용 수 6

한 줄 요약

이 논문은 바나흐 공간에서의 유계가 아닌 프레드홀름 연산자에 대한 특성화를 제시한다. 즉, 닫힘 연산자 $ A $가 프레드홀름임과 동시에 $ A = B - F $로 표현될 수 있음을 증명한다. 여기서 $ B $는 정의역과 치역이 각각 $ D(A) $와 $ Y $인 닫힘 연산자이자 전단사이며, $ F $는 유한계수 연산자이다. 이 결과는 유계 프레드홀름 연산자에 대한 기존 특성화를 비유계 경우로 일반화하며, 이러한 연산자에 대해 프레드홀름 대안을 확립한다.

ABSTRACT

This paper is a continuation of the paper (A.G.Ramm, Amer. Math. Monthly, 108, N 9, (2001), 855-860), where bounded Fredholm operators are studied. The theory of bounded linear Fredholm-type operators is presented in many texts. This paper is written for a broad audience and the author tries to give simple and short arguments.

연구 동기 및 목표

• 유계 프레드홀름 연산자에 대한 특성화를 바나흐 공간 내에서 유계가 아닌 닫힘 선형 연산자로 확장하기 위해.
• 비유계 닫힘 밀집정의 연산자가 프레드홀름임을 위한 필요충분조건을 설정하기 위해.
• 비유계 프레드홀름 연산자에 대해 프레드홀름 대안이 성립함을 증명하기 위해.
• 비유계 프레드홀름 연산자를 분석하기 위한 구조적 프레임워크를 제공하기 위해, 이는 이중직교 기저와 유한계수 변화를 활용한다.
• 유계 경우에 비해 자주 간과되는 비유계 프레드홀름 연산자에 대해 문헌의 격차를 메우기 위해 공식적으로 다루기 위해.

제안 방법

• 프레드홀름 연산자 $ A \in \text{Fred}(X,Y) $를 닫힘, 밀집정의 선형 연산자로 정의하며, 범위가 닫혀 있고, 핵과 코핵이 유한차원임을 조건으로 한다.
• 연산자 $ A $와 $ A^* $의 핵에 대한 이중직교 기저를 이용하여, 정의역 $ D(B) = D(A) $, 치역 $ R(B) = Y $, 핵 $ N(B) = \{0\} $인 전단사 닫힘 연산자 $ B $를 구성한다.
• 연산자 $ F $를 정의하여 $ A = B - F $를 만족하도록 하되, $ F $는 $ X $와 $ Y $의 이중직교 기저를 이용하여 구성하여 유한계수임을 보장한다.
• 닫힘성과 전단사성을 바탕으로, $ B $의 유계역이 존재함을 보이기 위해 닫힌 그래프 정리를 적용한다.
• $ F $가 유한계수이므로 $ B^{-1}F $의 컴팩턴스를 이용하여, 닫힘성과 범위 닫힘성의 증명에서 수렴성과 유계성의 성질을 확립한다.
• $ T = B^{-1}F $의 경우, $ I - T $의 핵이 유한차원이므로 프레드홀름 대안을 적용하여 $ A $의 프레드홀름 성질을 확인한다.

실험 결과

연구 질문

• RQ1 유계 프레드홀름 연산자에 대한 특성화를 바나흐 공간 내에서 비유계 닫힘 선형 연산자로 확장할 수 있는가?
• RQ2 비유계 프레드홀름 연산자의 정확한 구조적 분해는 전단사 연산자와 유한계수 변화의 조합으로 어떻게 표현될 수 있는가?
• RQ3 비유계 프레드홀름 연산자에 대해 프레드홀름 대안이 성립하는가? 그리고 연산자 분해를 통해 이를 어떻게 증명할 수 있는가?
• RQ4 $ A $와 $ A^* $의 핵과 코핵은 전단사 연산자 $ B $와 유한계수 연산자 $ F $의 구성에 어떤 관계를 가지는가?
• RQ5 변화의 유한계수 성질이 $ A $의 닫힘성과 프레드홀름 성질을 보장하는 데 어떤 역할을 하는가?

주요 결과

• 비유계 닫힘 밀집정의 연산자 $ A $는 유일하게 $ A = B - F $로 표현될 수 있으며, 여기서 $ B $는 닫힘, 전단사이며 $ D(B) = D(A) $, $ R(B) = Y $를 만족하고, $ F $는 유한계수 연산자이다.
• 연산자 $ A $와 $ A^* $의 핵에 대한 이중직교 기저를 이용해 구성된 $ B $는 아래로 유계이며, 유계역을 가지므로 전단사임이 보장된다.
• 범위 $ R(A) $는 닫혀 있으며, 수열 $ Au_n \to f $이 수렴할 경우 $ u_n $이 유계이면서 어떤 $ u \in D(A) $로 수렴함을 보여 $ f \in R(A) $임을 증명한다.
• 핵 $ N(A) $는 유한차원이며, $ T = B^{-1}F $가 유한계수 연산자이므로 $ I - T $의 핵과 동형임을 보여 $ \dim N(I - T) < \infty $임을 증명한다.
• 코핵 $ \operatorname{coker}(A) $ 역시 유한차원이며, $ \dim N(A^*) = \dim N(I - T^*) < \infty $이므로 $ T^* $가 유한계수 연산자의 수반이므로 성립한다.
• 비유계 프레드홀름 연산자에 대해 프레드홀름 대안이 성립하며, $ Au = f $가 해를 가질 조건은 $ f \perp N(A^*) $임을 보여, 이는 $ N(A^*) $의 유한차원성에서 유도된다.