[논문 리뷰] Invariance theorems for Nevanlinna families

Vladimir Derkach, Seppo Hassi외 1명|arXiv (Cornell University)|2015. 03. 18.

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

한 줄 요약

이 논문은 힐버트 공간에서 연산자 값 Herglotz-Nevanlinna 함수의 점 스펙트럼 및 연속 스펙트럼에 대한 불변성 정리들을 수립한다. 특히 상반평면 내에서 허수부에 0이 존재하는지의 여부나 실수 고유값의 존재 여부가 유지됨을 증명한다. 이러한 결과들은 Harnack의 부등식과 최대원리에 기반하며, 스칼라 함수에서의 고전적 스펙트럼 불변성 결과를 연산자 값 설정으로 확장한다.

ABSTRACT

A complex function $f(z)$ is called a Herglotz-Nevanlinna function if it is holomorphic in the upper half-plane ${\mathbb C}_+$ and maps ${\mathbb C}_+$ into itself. By a maximum principle a Herglotz-Nevanlinna function which takes a real value $a$ in a single point $z_0\in {\mathbb C}_+$ should be identically equal to $a$. In the present note we prove similar invariance results both for the point and the continuous spectra of an operator-valued Herglotz-Nevanlinna function with values in the set of bounded or unbounded linear operators (or relations) in a Hilbert space. The proof of this invariance result for continuous spectrum is based on Harnack's inequality. This inequality is systematically used to characterize operator-valued Herglotz-Nevanlinna functions with form-domain invariance property for their imaginary parts or Herglotz-Nevanlinna functions with values in the Schatten-von Neumann classes.

연구 동기 및 목표

• Hilbert 공간에서 연산자 값 Herglotz-Nevanlinna 함수의 점 스펙트럼 및 연속 스펙트럼에 대한 불변성 정리들을 수립하기.
• Harnack의 부등식을 사용하여 허수부의 스펙트럼 불변성과 형도메인 성질을 특성화하기.
• 스칼라 함수에서의 고전적 최대원리 결과들을 연산자 값 Herglotz-Nevanlinna 함수로 확장하기.
• 단일 점 조건(특히 $ z = i $에서)을 통해 $ R^s[h] $ 및 $ R^u[h] $의 부분류를 스펙트럼적으로 특성화하기.
• 대칭 연산 이론에서 기하학적 및 경계 삼중체의 구조와 스펙트럼 불변성 간의 관계를 규명하기.

제안 방법

• 연속 스펙트럼에 대한 스펙트럼 불변성 증명은 연산자 값 함수의 허수부에 Harnack의 부등식을 적용하는 데 기반한다.
• 저자들은 연산자 값 측도를 사용한 Herglotz-Nevanlinna 함수의 적분 표현을 활용하여 스펙트럼 행동을 분석한다.
• 핵심 기법으로는 최대원리와 비음수 커널 이론을 사용하여 허수부의 커널과 상사영을 분석한다.
• 이중선형형식과 그 닫힘을 이용하여 형도메인 불변 방식으로 연산자 값 함수의 허수부를 정의한다.
• 스체텐-폰 뉴만 클래스를 도입하여 허수부가 추적-클래스인 함수를 특성화한다.
• 경계 삼중체와 Weyl 함수의 실현을 활용하여 스펙트럼 불변성을 기하학적으로 해석한다.

실험 결과

연구 질문

• RQ1 Herglotz-Nevanlinna 함수의 허수부의 점 스펙트럼에 0이 존재하는지 여부가 상반평면 전역에서 유지되는가?
• RQ2 연산자 값 Herglotz-Nevanlinna 함수의 허수부의 연속 스펙트럼이 상반평면 내에서 해석적 계속성에 의해 유지되는가?
• RQ3 함수 $ F(z) $의 스펙트럼 불변성 성질이 그 허수부의 형도메인에 얼마나 의존하는가?
• RQ4 단일 점 조건(특히 $ z = i $에서)을 통해 $ R^s[h] $ 및 $ R^u[h] $ 부분류를 어떻게 특성화할 수 있는가?
• RQ5 Harnack의 부등식이 연산자 값 Nevanlinna 가족의 연속 스펙트럼 불변성을 증명하는 데 어떤 역할을 하는가?

주요 결과

• 함수 $ F(z) $의 허수부의 점 스펙트럼은 $ bC_+ $ 전역에서 불변이다: $ 0 otin ho( ext{Im} hinspace F(z_0)) $이면 $ z eq bR $인 모든 $ z $에 대해 $ 0 otin ho( ext{Im} hinspace F(z)) $이다.
• 함수 $ F(z) $의 허수부의 연속 스펙트럼은 불변이다: $ 0 otin ho( ext{Im} hinspace F(z_0)) $이면 $ z eq bR $인 모든 $ z $에 대해 $ 0 otin ho( ext{Im} hinspace F(z)) $이다.
• 함수 $ F(z) $의 실수 스펙트럼은 불변이다: $ a otin ho(F(z_0)) $이면 $ z eq bR $인 모든 $ z $에 대해 $ a otin ho(F(z)) $이다.
• $ R^s[h] $는 $ \text{ker} hinspace \text{Im} hinspace F(i) = \{0\} $로, $ R^u[h] $는 $ 0 otin \rho(\text{Im}\thinspace F(i)) $로 특성화된다.
• $ G_(z) $의 경우, 허수부의 연속 스펙트럼은 $ [0, \f) $를 포함하며, $ z \neq \bbR $인 모든 $ z $에 대해 $ 0 \notin \rho(G_(z)) $이다.
• 컴act한 해석자를 갖는 경우, $ s_j((G_(z))^{-1}) = O(j^{-2}) $이며, 이는 추적-클래스 행동을 나타낸다.