[논문 리뷰] Self-Adjoint Extensions by Additive Perturbations

Andrea Posilicano|ArXiv.org|2001. 04. 24.

Spectral Theory in Mathematical Physics참고 문헌 13인용 수 28

한 줄 요약

이 논문은 대칭 연산자의 자가수반 확장을 경계 조건을 통해 추가적인 분해로 제시하며, 임의의 자가수반 확장 $ A_\theta $ 가 $ D(A_\theta) \cap D(A) = \frak{N} $ 를 만족할 경우, $ A_\theta = \bar{A} + T_\theta $ 로 표현될 수 있음을 보여준다. 여기서 $ \bar{A} $ 는 $ A $ 의 닫힘이고, $ T_\theta $ 는 결함 공간과 등장하는 힐버트 공간 위에서 정의된 자가수반 매개변수 $ \theta $ 를 통해 정의되는 경계 연산자이다. 이 접근법은 크레이인의 해석함수 공식과 폰 노이만의 확장 이론을 통합한다.

ABSTRACT

Let $A_\N$ be the symmetric operator given by the restriction of $A$ to $\N$, where $A$ is a self-adjoint operator on the Hilbert space $\H$ and $\N$ is a linear dense set which is closed with respect to the graph norm on $D(A)$, the operator domain of $A$. We show that any self-adjoint extension $A_Θ$ of $A_\N$ such that $D(A_Θ)\cap D(A)=\N$ can be additively decomposed by the sum $A_Θ=\A+T_Θ$, where both the operators $\A$ and $T_Θ$ take values in the strong dual of $D(A)$. The operator $\A$ is the closed extension of $A$ to the whole $\H$ whereas $T_Θ$ is explicitly written in terms of a (abstract) boundary condition depending on $\N$ and on the extension parameter $Θ$, a self-adjoint operator on an auxiliary Hilbert space isomorphic (as a set) to the deficiency spaces of $A_\N$. The explicit connection with both Kre\uın's resolvent formula and von Neumann's theory of self-adjoint extensions is given.

연구 동기 및 목표

• 밀도 있고 그래프 노름에 대해 닫혀 있는 부분공간 $ \frak{N} \subset D(A) $ 에 제한된 대칭 연산자의 자가수반 확장을 위한 새로운 추가 분해를 제공하는 것.
• 크레이인 유형의 해석함수 공식과 경계 조건을 통한 폰 노이만의 자가수반 확장 분류 간의 연결 고리를 설정하는 것.
• 유한계수 변화이론을 추상적 경계 조건을 사용하여 무한계수 확장으로 일반화하는 것.
• 폰 노이만의 프레임워크에서 단위 연산자와의 직접적인 관계를 통해 확장 매개변수 $ \theta $ 를 명시적으로 연결함으로써 두 매개변수화 간의 완전한 대응을 가능하게 하는 것.

제안 방법

• 자기수반 연산자 $ A $ 를 힐베르트 공간 $ \mathcal{H} $ 에서 정의된 연산자로 하고, $ D(A) $ 의 밀도 부분공간 $ \frak{N} $ 에서의 제한으로 대칭 연산자 $ A_{\frak{N}} $ 를 정의한다.
• 핵이 $ \frak{N} $ 인 연속적인 전단사 선형 사상 $ \tau: D(A) \to \mathfrak{h} $ 를 도입하며, 여기서 $ \mathfrak{h} $ 는 $ A_{\frak{N}} $ 의 결함 공간 $ \mathcal{K}_\pm $ 과 등장하는 힐베르트 공간이다.
• 경계 조건 $ \tau\phi_\star = \theta Q_\phi $ 를 포함한 크레이인 유사 공식을 통해 확장 $ A_\theta $ 의 해석함수를 구성한다. 여기서 $ \theta $ 는 $ \mathfrak{h} $ 에 정의된 자가수반 연산자이다.
• 확장을 $ A_\theta = \bar{A} + T_\theta $ 로 재구성하며, $ \bar{A} $ 는 $ \mathcal{H} $ 에서 $ A $ 의 닫힘이고, $ T_\theta $ 는 $ \tau $ 와 $ \theta $ 를 통해 명시적으로 정의된 $ D(A) $ 의 강한 쌍대공간에 값이 존재하는 연산자이다.
• 자기수반 매개변수 $ \theta $ 와 폰 노이만 이론에서의 단위 연산자 $ U: \mathcal{K}_+ \to \mathcal{K}_- $ 간의 일대일 대응을 수립하며, 경계 조건 접근법과 폰 노이만 이론을 연결한다.
• $ \widetilde{A} = \bar{A} + T $ 가 $ A^*_{\frak{N}} $ 와 일치하고, 이 대응에서 $ A_\theta = A_U $ 가 성립함을 확인한다.

실험 결과

연구 질문

• RQ1 밀도 있고 그래프 노름에 대해 닫혀 있는 부분공간 $ \frak{N} \subset D(A) $ 에서 정의된 대칭 연산자 $ A_{\frak{N}} $ 의 자가수반 확장을 닫힌 확장과 경계 연산자로 추가적으로 분해할 수 있는가?
• RQ2 경계 조건 매개변수 $ \theta $ 와 폰 노이만의 자가수반 확장 분류에서의 단위 연산자 $ U $ 간의 정확한 관계는 무엇인가?
• RQ3 크레이인의 해석함수 공식은 $ D(A) $ 의 강한 쌍대공간에서 경계 조건을 통한 추가적 편향의 관점에서 재해석될 수 있는가?
• RQ4 $ \widetilde{A} = \bar{A} + T $ 가 $ D(\widehat{A}) \cap D(A) = \frak{N} $ 를 만족하는 자가수반 확장 $ \widehat{A} $ 와 일치하는 조건은 무엇인가?
• RQ5 결과들이 어떻게 유한계수 변화이론을 무한계수 확장으로 일반화하는가? 특히 $ d $-집합에서의 특이한 변화이론의 맥락에서 어떻게 적용되는가?

주요 결과

• 임의의 자가수반 확장 $ A_\theta $ 가 $ D(A_\theta) \cap D(A) = \frak{N} $ 을 만족할 경우, $ A_\theta = \bar{A} + T_\theta $ 로 추가 분해 가능하며, 여기서 $ \bar{A} $ 는 $ \mathcal{H} $ 에서 $ A $ 의 닫힘이고, $ T_\theta $ 는 $ D(A) $ 의 강한 쌍대공간에 값을 갖는 잘 정의된 연산자이다.
• $ T_\theta $ 는 경계 조건 $ \tau\phi_\star = \theta Q_\phi $ 로 명시적으로 구성되며, 여기서 $ \tau $ 는 $ D(A) $ 를 $ \mathcal{K}_\pm $ 와 등장하는 힐베르트 공간 $ \mathfrak{h} $ 에 전사적으로 사상하며, $ \theta $ 는 $ \mathfrak{h} $ 에서 정의된 자가수반 연산자이다.
• $ A_\theta $ 의 해석함수는 크레이인 유형의 공식으로 주어지며, 이는 $ \tau\phi_\star = \theta Q_\phi $ 라는 경계 조건을 통해 $ A_\theta $ 의 정의역을 특징지울 수 있게 한다.
• $ \theta $ 와 폰 노이만의 단위 연산자 $ U: \mathcal{K}_+ \to \mathcal{K}_- $ 간의 대응은 명시적으로 구성되고 역으로도 정의되며, 이에 따라 이 매핑 하에서 $ A_\theta = A_U $ 가 성립함을 보여준다.
• $ \widetilde{A} = \bar{A} + T $ 는 $ A^*_{\frak{N}} $ 와 일치하며, $ \widetilde{A} $ 가 $ D(\widetilde{A}) \cap D(A) = \frak{N} $ 를 만족하는 자가수반 확장이 되는 것은, 경계 조건 $ \tau\phi_\star = \theta Q_\phi $ 가 어떤 자가수반 $ \theta $ 에 대해 성립할 때이다.
• 이 프레임워크는 유한계수 변화이론을 일반화한다: 유한한 결함 지수를 가질 경우, 결과는 [3], §3.1 에서 다루는 유한계수 확장 이론을 재현하며, 3차원에서의 점 상호작용이나 $ 0 < n-d < 2s $ 조건을 만족하는 $ d $-집합에서의 특이한 변화이론을 포함한 무한계수 사례로 확장된다.