[논문 리뷰] Sampling measures, Muckenhoupt Hamiltonians, and triangular factorization

Roman Bessonov|arXiv (Cornell University)|2016. 03. 24.

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

한 줄 요약

이 논문은 파일레-위너 공간 PWa에 대한 모든 짝수 샘플링 측도 µ가 [0,a]에서 w ∈ A2[0,a]인 고유한 캐논리컬 해밀토니안 H = diag(w, 1/w)의 스펙트럼 측도로 나타남을 증명한다. 주요 기여는 샘플링 측도 µ와 w 사이를 연결하는 구성적 공식으로, 이는 잘린 토플리츠 연산자의 역을 통해 이루어지며, [0,a]에서 실수 기호를 가진 모든 양의 유계 역행렬 위너-홉프 연산자가 삼각 인수분해를 가짐을 증명함으로써 캐논리컬 시스템의 연산자 이론 및 역스펙트럼 이론에서 오랫동안 남아있던 문제를 해결한다.

ABSTRACT

Let $\mu$ be an even measure on the real line $\mathbb{R}$ such that $$c_1 \int_{\mathbb{R}}|f|^2\,dx \le \int_{\mathbb{R}}|f|^2\,d\mu \le c_2\int_{\mathbb{R}}|f|^2\,dx$$ for all functions $f$ in the Paley-Wiener space $\mathrm{PW}_{a}$. We prove that $\mu$ is the spectral measure for the unique Hamiltonian $\mathcal{H}=\left(w&00&\frac{1}{w} ight)$ on $[0,a]$ generated by a weight $w$ from the Muckenhoupt class $A_2[0,a]$. As a consequence of this result, we construct Krein's orthogonal entire functions with respect to $\mu$ and prove that every positive, bounded, invertible Wiener-Hopf operator on $[0,a]$ with real symbol admits triangular factorization.

연구 동기 및 목표

• PWa에 대한 짝수 샘플링 측도 µ와 w ∈ A2[0,a]인 캐논리컬 해밀토니안 H = diag(w, 1/w) 사이의 일대일 대응을 수립한다.
• 샘플링 측도 µ로부터 잘린 토플리츠 연산자를 이용해 가중치 w를 명시적으로 재구성하는 공식을 구축한다.
• [0,a]에서 실수 기호를 가진 모든 양의 유계 역행렬 위너-홉프 연산자가 삼각 인수분해를 가짐을 증명한다.
• 함수 r ↦ ||T⁻¹ₘ,ᵣ sincᵣ||²_{L²(µ)}의 절대 연속성과 삼각 인수분해 존재성 간의 연결 고리를 밝힌다.
• 이전 논문의 증명에서 오류를 규명함으로써, 특정 위너-홉프 연산자의 인수분해에 대한 문헌 내 모순을 해결한다.

제안 방법

• 웨일-티치마르스 변환을 사용하여 캐논리컬 해밀토니안 시스템의 스펙트럼 측도 µ와 잘린 토플리츠 연산자 Tₘ,ᵣ를 포함하는 특정 함수의 L²(µ) 노름을 연결한다.
• A2-가중치 이론과 단체 위의 적분을 적용하여 w의 A2-노름을 샘플링 상수 c₁과 c₂로 표현한다.
• 파일레-위너 공간에서의 양의 잘린 토플리츠 연산자의 구조에 기반한 근사 방법을 적용한다.
• 함수 r ↦ ||T⁻¹ₘ,ᵣ sincᵣ||²_{L²(µ)}가 거의 곳곳에서 정확히 양의 도함수를 가지며 절대 연속임을 증명한다.
• 파일레-위너 공간과 스펙트럼 공간 (PW[0,r], µ) 사이의 유니터리 동치를 이용하여 필요한 인수분해를 구성한다.
• 사크노비치의 증명에서 오류를 수정함으로써, lim_{y→0⁺} Π(iy) = 1/√(1−μ)임을 보여 이는 그의 주장과 정반대임을 밝힌다.

실험 결과

연구 질문

• RQ1 PWa에 대한 모든 짝수 샘플링 측도 µ는 w ∈ A2[0,a]인 캐논리컬 해밀토니안 H = diag(w, 1/w)의 스펙트럼 측도로 표현될 수 있는가?
• RQ2 어떻게 연산자 이론적 도구를 이용해 스펙트럼 측도 µ로부터 가중치 w를 명시적으로 재구성할 수 있는가?
• RQ3 [0,a]에서 실수 기호를 가진 모든 양의 유계 역행렬 위너-홉프 연산자는 삼각 인수분해를 가질 수 있는가?
• RQ4 함수 r ↦ ||T⁻¹ₘ,ᵣ sincᵣ||²_{L²(µ)}는 절대 연속인가? 그 도함수는 기저 해밀토니안에 대해 무엇을 드러내는가?
• RQ5 이 논문의 정리 3과 사크노비치 [17]의 정리 4.1 간의 모순은 그의 증명에서 오류를 규명함으로써 해결될 수 있는가?

주요 결과

• 캐논리컬 해밀토니안 시스템의 스펙트럼 측도 µ는 PWa에 대한 짝수 샘플링 측도일 필요와 충분조건이 w가 Muckenhoupt A2[0,a] 클래스에 속할 때 성립한다.
• 명시적 공식으로 w(r) = π ∂/∂r ||T⁻¹ₘ,ᵣ sincᵣ||²_{L²(µ)} (r ∈ [0,a])를 얻을 수 있으며, 여기서 Tₘ,ᵣ는 기호 µ를 가진 잘린 토플리츠 연산자이다.
• 함수 r ↦ ||T⁻¹ₘ,ᵣ sincᵣ||²_{L²(µ)}는 절대 연속이며, 그 도함수 w/π는 르베그 측도로 양의 측도를 가진 집합에서 양수이다.
• [0,a]에서 실수 기호 ψ ∈ S′인 모든 양의 유계 역행렬 위너-홉프 연산자 Wψ는 Wψ = A*A 형태의 삼각 인수분해를 가지며, A는 중첩된 부분공간 L²[0,r]를 유지한다.
• 사크노비치의 [17]에서 주장한 바, 특정 위너-홉프 연산자가 인수분해를 가지지 않는다는 것은 오류로 밝혀졌으며, lim_{y→0⁺} Π(iy) = 1/√(1−μ)임을 보여 이는 그의 결론을 무효화한다.
• 모든 r ∈ [0,2a]에 대해 Vµ: PWa → (PW[0,r], µ)의 유니터리 사상이 존재함을 통해, µ에 관해 크레인의 수직 정규 전체 함수의 존재가 유도된다.