[논문 리뷰] Devinatz's moment problem: a description of all solutions

Sergey M‎. ‎Zagorodnyuk|arXiv (Cornell University)|2010. 04. 23.

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

한 줄 요약

이 논문은 디빈츠의 모멘트 문제의 모든 해를 완전히 특성화한다. 이 문제는 주어진 복소 모멘트 $\{s_{m,n}\}$에 대해, 스트립 $\Pi = \{(x,\varphi) : x \in \mathbb{R}, -\pi \leq \varphi < \pi\}$ 위에 정의된 음이 아닌 보렐 측도 $\mu$를 찾는 것으로, $\int_{\Pi} x^m e^{in\varphi} d\mu = s_{m,n}$ 를 만족한다. 추상적 연산자 이론 프레임워크와 일반화된 해를 사용하여, 해들과 상반평면 내 해석적 연산자 값을 갖는 함수 사이의 전단사 대응 관계를 수립함으로써, 해 집합과 정준 해를 완전히 기술한다.

ABSTRACT

In this paper we study Devinatz's moment problem: to find a non-negative Borel measure $μ$ in a strip $Π= \{(x,ϕ):\ x\in \mathbb{R},\ -π\leq ϕ&lt; π\},$ such that $\int_Πx^m e^{inϕ} dμ= s_{m,n}$, $m\in \mathbb{Z}_+$, $n\in \mathbb{Z}$, where $\{s_{m,n}\}_{m\in \mathbb{Z}_+, n\in \mathbb{Z}}$ is a given sequence of complex numbers. We present a new proof of the Devinatz solvability criterion for this moment problem. We obtained a parameterization of all solutions of Devinatz's moment problem. We used an abstract operator approach and results of Godič, Lucenko and Shtraus.

연구 동기 및 목표

• 디빈츠의 모멘트 문제의 해가능성 기준을 추상적 연산자 이론을 사용하여 재증명하는 것.
• 모멘트 문제의 모든 정준 해를 스펙트럼 측도와 일반화된 해를 통해 기술하는 것.
• 디빈츠 모멘트 문제의 전체 해 집합을 완전히 기술하는 것.
• 해들과 상반평면 내 해석적 연산자 값을 갖는 함수 사이의 전단사 대응 관계를 수립하는 것.

제안 방법

• 저자들은 분리 가능한 힐버트 공간 $H$ 내의 수열 $\{x_{m,n}\}$을 사용하는 힐버트 공간 프레임워크를 사용하며, $ (x_{m,n}, x_{k,l})_H = s_{m+k,n-l} $ 를 만족시켜 모멘트 수열이 양의 행렬을 유도하도록 보장한다.
• 밀도 있는 부분공간 $L = \text{Lin}\{x_{m,n}\}$ 위에서 $m$과 $n$에 대한 이동을 나타내는 선형 연산자 $A_0$와 $B_0$를 정의하고, 이를 닫힌 자기수반 연산자 $A$와 $B$로 확장한다.
• 해 공간은 일반화된 해 $\mathbf{R}_\lambda = (A_{F(\lambda)} - \lambda E_H)^{-1}$ 를 통해 구성되며, 여기서 $F(\lambda)$는 상반평면 내 해석적 연산자 값을 갖는 함수이다.
• 연산자 $A$의 스펙트럼 측도 $\mathbf{E}$는 $F(\lambda)$로부터 구성되며, 측도 $\mu$는 $\mu = (\mathbf{E} \times F)x_{0,0}$ 를 통해 복원되며, 여기서 $F$는 $B$의 스펙트럼 측도이다.
• 핵심 기술 도구는 와일-티치마르스 $M$-함수의 사용이며, $F(\lambda)$와 해 사이의 연결은 $F(\lambda) = W^{-1}G(\lambda)WU_{2,4}$ 로 표현되며, 여기서 $G(\lambda) \in \mathbf{G}(A,B)$ 이다.
• 해 집합이 $\mathbf{G}(A,B)$ 클래스의 해석적 연산자 값을 갖는 함수들과 전단사 대응 관계에 있음을 보였다. 이 클래스의 함수들은 수축을 값으로 가지며, $B$의 스펙트럼 프로jections과 가환한다.

실험 결과

연구 질문

• RQ1 디빈츠의 모멘트 문제의 해가 존재하기 위한 필요 및 충분 조건은 모멘트 수열 $\{s_{m,n}\}$ 에 대해 무엇인가?
• RQ2 디빈츠 모멘트 문제의 모든 정준 해는 연산자 이론적 프레임워크 내에서 어떻게 특성화될 수 있는가?
• RQ3 디빈츠 모멘트 문제의 해 집합의 완전한 구조는 무엇이며, 어떻게 매개변수화되는가?
• RQ4 모멘트 측도 $\mu$ 에서 다항삼각함수의 밀도와 해의 유일성 사이의 관계는 무엇인가?

주요 결과

• 디빈츠의 모멘트 문제의 해가능성 기준이 추상적 연산자 이론적 접근을 통해 재증명되었으며, 모멘트 수열 $\{s_{m,n}\}$ 이 양의 행렬 $K((m,n),(k,l)) = s_{m+k,n-l}$ 을 생성해야 한다는 조건이 도출된다.
• 모든 정준 해는 초기 순환 벡터 $x_{0,0}$ 가 연산자 $A$와 $B$에 의해 생성하는 순환 불변 부분공간을 형성할 경우에 해당하며, 이는 최소 공동 함수 모델에서 $H_0 = \{0\}$ 이라는 것을 의미한다.
• 모든 해의 집합은 상반평면 내 해석적 연산자 값을 갖는 함수들의 클래스 $\mathbf{G}(A,B)$ 와 전단사 대응 관계에 있다. 이 함수들은 수축을 값으로 하며, $B$의 스펙트럼 프로jections과 가환한다.
• 해 측도 $\mu$ 는 연산자 $A$의 스펙트럼 측도 $\mathbf{E}$ 와 연산자 $B$의 스펙트럼 측도 $F$ 로부터 완전히 복원되며, $\mu = (\mathbf{E} \times F)x_{0,0}$ 를 만족한다. 여기서 $\mathbf{E}$ 는 일반화된 해를 통해 $\mathbf{R}_\lambda = (A_{F(\lambda)} - \lambda E_H)^{-1}$ 로 유도된다.
• 다항삼각함수의 $L^2_\mu$ 에서의 밀도는 해 $\mu$ 가 정준일 때이고, 뿐만 아니라 최소 기능 모델이 감소 부분공간 없이 실현될 때에만 성립한다.
• 해 집합은 상반평면 내에서 정의된 해석적 연산자 값을 갖는 함수 $F(\lambda)$ 로 완전히 매개변수화되며, 이 함수들은 $BF(\lambda) = F(\lambda)B$ 를 만족하고, 스펙트럼 부분공간 분해에서 수축을 값으로 갖는다.