[논문 리뷰] On inverses of Krein's Q-functions

Claudio Cacciapuoti, Davide Fermi외 1명|arXiv (Cornell University)|2018. 09. 13.

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

한 줄 요약

이 논문은 Kreïn 유형의 해석함수 공식을 통해 정의된 자기수반 연산자 $ A_Q $에 대해, $ Q_z $와 $ Q_{\bar{z}} $가 유계로 역행렬을 가지는 점들의 집합 $ Z_Q $가 $ \rho(A_0) \cap \rho(A_Q) $와 정확히 일치함을 증명한다. 이는 $ Z_Q \neq \emptyset $일 때 성립하며, 증명은 첫 번째 해석함수 항등식의 대수적 변환에 기반한다. 이는 이전 결과를 일반 경계삼중체 또는 균일한 엄격 네바린느 함수의 프레임워크를 초월하여 확장한다.

ABSTRACT

Let $A_{Q}$ be the self-adjoint operator defined by the $Q$-function $Q:z\mapsto Q_{z}$ through the Krein-like resolvent formula $$(-A_{Q}+z)^{-1}= (-A_{0}+z)^{-1}+G_{z}WQ_{z}^{-1}VG_{\bar z}^{*}\,,\quad z\in Z_{Q}\,,$$ where $V$ and $W$ are bounded operators and $$Z_{Q}:=\{z\inρ(A_{0}): ext{$Q_{z}$ and $Q_{\bar z }$ have a bounded inverse}\}\,.$$ We show that $$Z_{Q} ot=\emptyset\quad\Longrightarrow\quad Z_{Q}=ρ(A_{0})\cap ρ(A_{Q})\,.$$ We do not suppose that $Q$ is represented in terms of a uniformly strict, operator-valued Nevanlinna function (equivalently, we do not assume that $Q$ is associated to an ordinary boundary triplet), thus our result extends previously known ones. The proof relies on simple algebraic computations stemming from the first resolvent identity.

연구 동기 및 목표

• 자기수반 확장이 Kreïn의 해석함수 공식을 통해 정의될 때, $ \mathscr{Q} $-함수 $ Q_z $가 유계로 역행렬을 가지는 영역 $ Z_Q $가 전체 해석함수 집합 $ \rho(A_0) \cap \rho(A_Q) $와 일치하는지 여부에 대한 열린 문제를 해결한다.
• 기존의 일반 경계삼중체의 프레임워크에서 벗어나, $ Q_z $가 균일한 엄격 네바린느 함수로 간주되는 경우를 초월하여 $ \mathscr{Q} $-함수에 대한 알려진 결과를 확장한다.
• 해석함수 공식이 $ \rho(A_0) \cap \rho(A_Q) $의 모든 $ z $에 대해 최소한의 가정 하에 유효함을 확립한다. 이는 $ \text{ran}(\tau) = \mathsf{K} $ 또는 $ V = \pi $, $ W = \pi^* $ 라는 조건을 필요로 하지 않는다.
• 고도진 함수해석학적 도구나 경계삼중체 이론에 의존하지 않고, 오직 첫 번째 해석함수 항등식에 기반한 자그만한 대수적 증명을 제공한다.

제안 방법

• 증명은 첫 번째 해석함수 항등식을 사용하여 해석함수 $ R^0_z = (-A_0 + z)^{-1} $와 $ R^Q_z = (-A_Q + z)^{-1} $를 연결하며, $ R^Q_z - R^0_z $를 $ G_z, W, Q_z^{-1}, V, G_{\bar{z}}^* $ 로 표현한다.
• 보조 연산자 $ \widehat{\Lambda}_z^Q $를 $ Q_w^{-1} $ 와 해석함수 차이를 통해 정의하며, 이는 $ \rho(A_0) \cap \rho(A_Q) $의 모든 $ z $에 대해 $ Q_z^{-1} $ 와 같다.
• 해석함수 차이 공식과 해석함수 항등식을 이용해 핵심 항등식을 유도하며, 특히 $ R^Q_z - R^0_z = (1 + (w-z)R^0_z)G_w W \Lambda_w V G_{\bar{w}}^* (1 + (w-z)R^Q_z) $ 를 유도한다.
• 증명은 $ \widehat{\Lambda}_z^Q Q_z = 1_{\mathsf{Y}} $ 및 $ Q_z \widehat{\Lambda}_z^Q = 1_{\mathsf{X}} $ 를 확립하여, $ \widehat{\Lambda}_z^Q = Q_z^{-1} $ 임을 보이며, 따라서 $ Q_z $가 역행렬을 가지는 것은 정확히 $ z \in \rho(A_0) \cap \rho(A_Q) $ 일 때임을 보여준다.
• 해당 증명은 $ \tau $가 전사임을 가정하거나 $ V, W $가 사영 연산자임을 요구하지 않으며, 오직 해석함수 공식의 대수적 구조와 $ Z_Q $에서의 $ Q_z $의 가역성에 의존한다.
• 결과는 전체 경계삼중체 프레임워크에 종속되지 않으며, 무한한 결함 지수나 비표준 경계삼중체가 존재하는 경우에도 적용 가능하다.

실험 결과

연구 질문

• RQ1 집합 $ Z_Q $, 즉 $ Q_z $와 $ Q_{\bar{z}} $가 유계로 역행렬을 가지는 점들이, $ Z_Q \neq \emptyset $ 라는 조건 하에 항상 $ \rho(A_0) \cap \rho(A_Q) $ 와 일치하는가?
• RQ2 해석함수 공식이 $ Q_z $가 균일한 엄격 네바린느 함수로 간주되지 않는 경우에도 $ \rho(A_0) \cap \rho(A_Q) $의 모든 $ z $에 대해 확장 가능한가?
• RQ3 만약 $ \text{ran}(\tau) \neq \mathsf{K} $ 라면, $ Q_z $의 가역성과 $ z $가 $ \rho(A_0) $ 및 $ \rho(A_Q) $에 동시에 속하는 것의 동치성은 여전히 성립하는가?
• RQ4 이 동치성의 증명이 경계삼중체 이론이나 추가적인 함수해석학적 가정 없이도 가능할 수 있는가?

주요 결과

• 논문은 $ Z_Q \neq \emptyset $ 이면 $ Z_Q = \rho(A_0) \cap \rho(A_Q) $ 임을 증명하며, 이는 $ Q_z $의 가역성 영역이 정확히 $ A_0 $와 $ A_Q $의 공통 해석함수 집합과 일치함을 보여준다.
• $ \mathscr{Q} $-함수 $ Q_z $의 역행렬은 $ \widehat{\Lambda}_z^Q $ 로 명시적으로 주어지며, 이는 보조 점 $ w \in Z_Q $ 에 영향을 받지 않는다.
• 해석함수 공식 $ (-A_Q + z)^{-1} = (-A_0 + z)^{-1} + G_z W Q_z^{-1} V G_{\bar{z}}^* $ 는 $ Z_Q $를 초월하여 $ \rho(A_0) \cap \rho(A_Q) $의 모든 $ z $에 대해 성립한다.
• 증명은 오직 첫 번째 해석함수 항등식과 대수적 변환에 의존하며, $ Q_z $가 네바린느 함수이거나 $ \tau $가 전사임을 요구하지 않는다.
• $ V \neq \pi $, $ W \neq \pi^* $, 또는 $ \text{ran}(\tau) \neq \mathsf{K} $ 인 경우에도 결과가 성립하므로, 이는 이전의 경계삼중체 이론 결과를 일반화한다.
• 핵심 항등식 $ (w-z)^{-2}(\widehat{\Lambda}_z^Q Q_z - 1) = 0 $ 이 대수적으로 유도되며, 이는 $ \widehat{\Lambda}_z^Q $ 가 $ Q_z $의 양방향 역행렬임을 확인한다.