[논문 리뷰] Inverse spectral analysis for finite matrix-valued Jacobi operators

Jochen Brüning, Dmitry Chelkak외 1명|ArXiv.org|2006. 07. 31.

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

한 줄 요약

이 논문은 유한 행렬 값 Jacobi 연산자에 대한 역 스펙트럼 문제를 두 경우에 대해 해결한다: (i) 대칭 정정의 비대각 행렬과 (ii) 양의 대각 성분을 가진 하삼각 비대각 행렬. 스펙트럼 자료—고유값, 그들의 중복도, 관련 스펙트럼 프로젝터와 연도 연산자—가 유일하게 Jacobi 연산자를 결정함을 증명하며, 행렬 연속 분수와 Weyl-Titchmarsh 함수에 기반한 재귀 알고리즘을 통해 완전한 재구성 과정을 제공한다.

ABSTRACT

Consider the Jacobi operators $\cJ$ given by $(\cJ y)_n=a_ny_{n+1}+b_ny_n+a_{n-1}^*y_{n-1}$, $y_n\in \C^m$ (here $y_0=y_{p+1}=0$), where $b_n=b_n^*$ and $a_n:\det a_n e 0$ are the sequences of $m s m$ matrices, $n=1,..,p$. We study two cases: (i) $a_n=a_n^*>0$; (ii) $a_n$ is a lower triangular matrix with real positive entries on the diagonal (the matrix $\cJ$ is $(2m+1)$-band $mp s mp$ matrix with positive entries on the first and the last diagonals). The spectrum of $\cJ$ is a finite sequence of real eigenvalues $ł_1

연구 동기 및 목표

• 특정 행렬 구조를 가진 유한 행렬 값 Jacobi 연산자와 관련된 스펙트럼 자료를 특성화하는 것.
• 연산자 매개변수 (a, b)와 그 스펙트럼 자료 사이의 일대일 대응을 확립하는 것.
• 대칭 정정 및 하삼각 경우 모두에서 역 문제에 대한 완전한 해를 제공하는 것.
• 스펙트럼 프로젝터와 행렬 값 Weyl-Titchmarsh 함수를 사용한 재귀적 재구성 알고리즘을 개발하는 것.

제안 방법

• 고유값 방정식에 대한 기본 행렬 해 φ(z)와 χ(z)를 정의하며, 각각 차수 n과 p+1−n인 행렬 값 다항식이다.
• 스펙트럼 자료를 도입: 고유값 λ_j, 그들의 중복도 k_j, φ_{p+1}(λ_j)에 대한 ker에 대한 프로젝터 P_j, 그리고 관련된 양의 연산자 g_j.
• M(z) = −χ_1(z)(χ_0(z))⁻¹로 정의되는 행렬 값 Weyl-Titchmarsh 함수는 λ_j에서의 극을 가지며, E_j에서의 잔여물 B_j = g_j⁻¹이다.
• 스펙트럼 자료가 p-타임 시스템을 이룬다는 것을 증명하여, 스펙트럼 측도의 모멘트로부터 형성된 헨켈 행렬의 가역성을 확보한다.
• 재귀적 재구성 알고리즘을 구축: Weyl 함수로부터 시작하여 잔여물의 구조를 이용해 b_1과 a_1를 복원하고, 변환된 Weyl 함수를 사용해 n ≥ 2인 b_n과 a_n를 반복적으로 재구성한다.
• 양의 성질과 행렬 A = ∑ D_s의 가역성, 그리고 경우 (ii)에서의 유일한 하삼각 제곱근 존재성을 이용해 수학적 귀납법을 통해 두 경우 모두에서 해의 존재성과 유일성을 증명한다.

실험 결과

연구 질문

• RQ1 유한 행렬 값 Jacobi 연산자에 대한 역 스펙트럼 문제는 두 가지 다른 비대각 행렬 유형에 대해 완전히 해결될 수 있는가?
• RQ2 연산자 매개변수 (a, b)에서 스펙트럼 자료(고유값, 중복도, 프로젝터, g_j 연산자)로의 사상은 일대일 대응인가?
• RQ3 행렬 값 설정에서 역 문제의 해의 존재성과 유일성을 보장하는 조건은 무엇인가?
• RQ4 Weyl-Titchmarsh 함수는 스펙트럼 자료로부터 Jacobi 연산자를 어떻게 재귀적으로 재구성하는 데 사용될 수 있는가?
• RQ5 p-타임 조건은 역 문제의 가역성을 보장하는 데 어떤 역할을 하는가?

주요 결과

• Jacobi 연산자 매개변수 (a, b)에서 스펙트럼 자료 (λ_j, P_j, g_j)로의 사상은 일대일 대응이다: 단사적이며 전사적이다.
• 경우 (i)와 (ii) 모두에서 스펙트럼 자료는 연산자를 유일하게 결정하며, 이는 행렬 연속 분수를 통한 재귀적 방법으로 재구성된다.
• Weyl-Titchmarsh 함수 M(z)는 고유값 λ_j에서 단순 극을 가지며, 그 잔여물 B_j는 스펙트럼 부분공간 E_j에서 양의 정부호이다.
• 스펙트럼 자료 시스템이 p-타임임은, ∑ λ_j^s P_j로부터 형성된 헨켈 행렬이 정확히 양의 정부호임과 동치이다.
• 재구성 알고리즘은 Weyl 함수로부터 시작하여 잔여물의 구조를 이용해 b_1과 a_1를 복원하고, 이후 모든 b_n과 a_n를 재귀적으로 재구성한다.
• 경우 (ii)에서는 레마 3.3에 의해 a_1 a_1^* = A 를 만족하는 유일한 하삼각 행렬 a_1이 존재함이 보장되며, 이는 재구성 과정에서의 유일성을 보장한다.