[論文レビュー] Inverse spectral analysis for finite matrix-valued Jacobi operators

Jochen Brüning, Dmitry Chelkak+1 more|ArXiv.org|Jul 31, 2006

Spectral Theory in Mathematical Physics参考文献 6被引用数 4

ひとこと要約

本稿は、有限行列値ヤコビ作用素の逆スペクトル問題を2つの場合について解いている: (i) 対称的で正定値の非対角行列、および (ii) 正の対角を持つ下三角行列。スペクトルデータ—固有値、その重複度、関連するスペクトル射影子および作用素—がヤコビ作用素を一意に特定することを証明し、行列連分数とウェイル＝ティチャモース関数に基づく再帰的アルゴリズムにより完全な再構成を提供する。

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

研究の動機と目的

• 特定の行列構造をもつ有限行列値ヤコビ作用素に対応するスペクトルデータを特徴づけること。
• 作用素パラメータ (a, b) とそのスペクトルデータの間の一対一対応を確立すること。
• 対称的正定値および下三角行列の両ケースにおいて、逆問題を完全に解くこと。
• 行列値ウェイル＝ティチャモース関数とスペクトル射影子を用いた再帰的再構成アルゴリズムを開発すること。

提案手法

• 固有値方程式に対する基本的行列解 φ(z) および χ(z) を定義する。これらはそれぞれ次数 n および p+1−n の行列値多項式である。
• スペクトルデータを導入する: 固有値 λ_j、その重複度 k_j、φ_{p+1}(λ_j) への核への射影子 P_j、および関連する正定値作用素 g_j。
• 行列値ウェイル＝ティチャモース関数 M(z) = −χ_1(z)(χ_0(z))⁻¹ を用いる。これは λ_j に単純極を持ち、E_j 上で B_j = g_j⁻¹ が留数となる解析接続をもつ。
• スペクトルデータが p-弱い系をなすことを確立し、スペクトル測度のモーメントからなるハンケル型行列の逆行列存在を保証する。
• 再帰的再構成アルゴリズムを構築する: ウェイル関数から出発し、留数構造を用いて b_1 および a_1 を回復し、n ≥ 2 に対して変換されたウェイル関数を用いて再帰的に b_n および a_n を再構成する。
• 正則性および行列 A = ∑ D_s の可逆性を用いた数学的帰納法により、両ケース (i) および (ii) における解の存在および一意性を証明する。特に (ii) の場合、一意な下三角行列平方根の存在が保証される。

実験結果

リサーチクエスチョン

• RQ1 有限行列値ヤコビ作用素の逆スペクトル問題は、非対角行列の2つの異なるクラスについて完全に解けるか？
• RQ2 作用素パラメータ (a, b) からスペクトルデータ（固有値、重複度、射影子、g_j 作用素）への写像は一対一か？
• RQ3 行列値設定における逆問題の解の存在および一意性を保証する条件は何か？
• RQ4 ウェイル＝ティチャモース関数は、スペクトルデータからヤコビ作用素を再帰的に再構成するためにどのように利用できるか？
• RQ5 p-弱さ条件は、逆問題の可解性を保証するために果たす役割は何か？

主な発見

• ヤコビ作用素パラメータ (a, b) からスペクトルデータ (λ_j, P_j, g_j) への写像は双対的である：単射かつ全射である。
• 両ケース (i) および (ii) において、スペクトルデータが作用素を一意に決定し、行列連分数に基づく再帰的アルゴリズムにより再構成可能である。
• ウェイル＝ティチャモース関数 M(z) は λ_j に単純極を持つメロモルフィック関数であり、その留数 B_j はスペクトル部分空間 E_j 上で正定値である。
• スペクトルデータの系が p-弱いとは、∑ λ_j^s P_j からなるモーメントから形成されるハンケル行列が正定値であるときに限り成り立つ。
• 再構成アルゴリズムはウェイル関数から出発し、留数構造を用いて b_1 および a_1 を回復し、以降すべての b_n および a_n を再帰的に再構成する。
• ケース (ii) において、補題 3.3 より、a_1 a_1^* = A を満たす正の対角を持つ一意な下三角行列 a_1 の存在が保証され、再構成における一意性が保証される。