[논문 리뷰] The Nevanlinna-type parametrization for the operator Hamburger moment problem

Sergey M‎. ‎Zagorodnyuk|arXiv (Cornell University)|2016. 05. 10.

Spectral Theory in Mathematical Physics참고 문헌 10인용 수 6

한 줄 요약

이 논문은 추가적인 가정 없이도 일반 힐버트 공간 위에서의 연산자 하무버그 모멘트 문제에 대한 네바린나 유형의 매개변수화를 제시한다. 일반화된 해석함수와 연산자 값을 갖는 쇼어 함수를 포함하는 선형 분수 변환을 통해 모멘트 문제의 해를 단위 원판 위의 수축적 해석적 연산자 함수와 연결하며, 스펙트럼 이론과 등급 확장 기법을 통해 완전하고 명시적인 해 프레임워크를 제공한다.

ABSTRACT

In this paper we obtain a Nevanlinna-type parametrization for the operator Hamburger moment problem. The moment problem is not supposed to be necessarily completely indeterminate. No assumptions besides the solvability of the moment problem are posed.

연구 동기 및 목표

• 임의의 힐버트 공간 위에서의 연산자 하무버그 모멘트 문제의 모든 해에 대한 완전한 네바린나 유형의 매개변수화를 제공하는 것.
• 이전 접근 방식에서 요구되었던 모멘트 행렬의 엄밀한 양성 조건과 같은 추가 가정이 필요 없도록 하는 것.
• 모멘트 문제의 해와 단위 원판 위의 해석적 연산자 값을 갖는 함수들로 이루어진 쇼어 클래스 사이의 일대일 대응을 수립하는 것.
• 스펙트럼 이론과 등급 확장을 이용하여 고전적 네바린나 이론을 연산자 설정으로 일반화하는 것.
• 일반화된 해석함수와 연산자 이론적 기법을 사용하여 구조적이고 명시적인 해 공식을 제공하는 것.

제안 방법

• 모멘트 수열 {S_n}을 바탕으로 보조 힐버트 공간 H 내의 자코비 행렬 유사 구조를 통해 닫힌 자기수반 연산자 A를 구성한다.
• A의 카일리 변환 V = (A + iE_H)(A - iE_H)^{-1}을 정의하여 H 위의 유니터리 연산자로 얻는다.
• 수축적 해석적 연산자 함수로 이루어진 쇼어 클래스 S(𝔻; H⊖D(V), H⊖R(V))의 연산자 값 함수 Φ_ζ를 통한 일반화된 해석함수 표현을 통해 해의 표현을 정의한다.
• 해의 스티엘티지 변환을, 등급 확장의 해석함수와 쇼어 함수 Φ_ζ에 대한 선형 분수 변환 공식으로 유도한다.
• 해석함수 표현에 프로비니우스 역행 공식을 적용하여, 연산자 A_z, B_z(Φ), C_z, H_z(Φ)에 대한 명시적 매개변수화를 도출한다.
• 원래의 힐버트 공간 H를 순환 부분공간 ℳ_i(A)로 사상하는 유계 선형 연산자 K: H → ℳ_i(A)를 수립하여, 최종적으로 K와 해석함수 구성요소를 포함하는 내적을 통해 매개변수화를 완성한다.

실험 결과

연구 질문

• RQ1 모멘트 행렬의 엄밀한 양성 조건을 가정하지 않고도 연산자 하무버그 모멘트 문제에 대해 네바린나 유형의 매개변수화를 구성할 수 있는가?
• RQ2 일반화된 해석함수와 등급 확장과 같은 연산자 이론적 도구를 사용하여 모멘트 문제의 해를 명시적으로 매개변수화할 수 있는가?
• RQ3 해 F(t)와 단위 원판 위의 해석적 연산자 값을 갖는 함수들 사이의 정확한 대응 관계는 무엇인가?
• RQ4 해의 스티엘티지 변환은 쇼어 함수 Φ_ζ를 포함하는 선형 분수 변환으로 어떻게 표현할 수 있는가?
• RQ5 모든 모멘트 문제의 해와 쇼어 클래스 S(𝔻; H⊖D(V), H⊖R(V))에 속하는 모든 함수 사이에 일대일 및 전사 대응을 구성할 수 있는가?

주요 결과

• 논문은 유계 연산자 계수를 갖는 선형 분수 변환을 통해 연산자 하무버그 모멘트 문제의 모든 해에 대한 완전한 네바린나 유형의 매개변수화를 수립한다.
• 모멘트 문제의 각 해 F(t)는 쇼어 클래스 S(𝔻; H⊖D(V), H⊖R(V))에 속하는 함수 Φ_ζ와 유일하게 대응되며, 일대일 대응이 성립한다.
• 매개변수화는 모멘트 수열 {S_n}으로부터 구성된 자기수반 연산자의 일반화된 해석함수를 통해 도출되며, 카일리 변환과 프로비니우스 역행 공식을 이용한다.
• 해의 스티엘티지 변환은 K와 Φ_ζ에 의존하는 해석함수 구성요소에 대한 내적 표현으로 표현되며, 구성요소 A_z, B_z(Φ), C_z, H_z(Φ)에 대한 명시적 공식이 제공된다.
• 매개변수화는 비가산 힐버트 공간을 포함한 임의의 힐버트 공간 H에 대해 성립하며, 해의 존재 및 필요 충분 조건 (2) 외에 추가적인 가정이 필요하지 않다.
• 결과는 고전적 네바린나 이론을 연산자 설정으로 일반화하며, 연산자 하무버그 모멘트 문제에 대해 구조적이고 명시적이며 완전한 해 프레임워크를 제공한다.