[論文レビュー] Necessary and Sufficient Conditions in the Spectral Theory of Jacobi Matrices and Schrödinger Operators

David Damanik, Rowan Killip+1 more|arXiv (Cornell University)|Sep 12, 2003

Spectral Theory in Mathematical Physics参考文献 21被引用数 5

ひとこと要約

本稿は、スペクトル理論における3つの中心的問題について、必要十分条件を確立している：(1) L²ポテンシャルを持つシュレーディンガー作用素のスペクトル測度を特徴付けること；(2) 実直線上の直交多項式がツェゴ漸近挙動を示す条件を特定すること；(3) ジャコビ行列のパラメータが指数的減少を示す条件を同定すること。主な貢献は、ジョスト関数の解析性と正規化重みを用いた、スペクトルデータと力学的パラメータの完全な一対一対応を確立したことにより、ジャコビ行列およびL²ポテンシャルを有するシュレーディンガー作用素に対する逆スペクトル理論における長年の未解決問題を解消した点にあり。

ABSTRACT

We announce three results in the theory of Jacobi matrices and Schrödinger operators. First, we give necessary and sufficient conditions for a measure to be the spectral measure of a Schrödinger operator $-\f{d^2}{dx^2} +V(x)$ on $L^2 (0,\infty)$ with $V\in L^2 (0,\infty)$ and $u(0)=0$ boundary condition. Second, we give necessary and sufficient conditions on the Jacobi parameters for the associated orthogonal polynomials to have Szegő asymptotics. Finally, we provide necessary and sufficient conditions on a measure to be the spectral measure of a Jacobi matrix with exponential decay at a given rate.

研究の動機と目的

• L²ポテンシャルを有するシュレーディンガー作用素について、スペクトル測度とパラメータの完全な一対一対応を確立すること。
• 実直線上の直交多項式がツェゴ漸近挙動を示す条件を、スペクトルデータおよびパラメータデータのみを用いて特徴付ける、長年の未解決問題を解消すること。
• ジャコビ行列のパラメータが与えられたレートR > 1で指数的に減少するための必要十分条件を提示し、その減少レートをジョスト関数の解析性の性質と結びつけること。
• L²および指数的減少設定における正規化されたジョスト関数と正規化重みを導入することで、既存の逆スペクトル理論の結果を統合・拡張すること。

提案手法

• ジャコビ行列のリゾルベントから導かれるM関数M(z) = -m(z + z^{-1})を定義し、これとジョスト関数u(z)を関連付ける。
• ジョスト関数u(z)を用いてスペクトルデータを特徴付ける：|z| < Rにおける解析性および単位円板内の極における正規化重みが、パラメータの指数的減少を決定する。
• 正規化されたブラシュケ積とポアンカール＝ファトウ表現を用い、ツェゴ漸近挙動と、z^{-n}u_n(z)の極限が非ゼロかつ有限であるようなジョスト解の存在との同値性を確立する。
• 非局所的段階的和則および摂動行列式を用いて、ジョスト関数およびその微分の減少を制御する。
• 摂動行列式L(z) = u(z)/u(0)を用い、自由ジャコビ行列J0の有限ランク摂動を特徴付ける。
• |a_n - 1| + |b_n|の指数的減少が、M(z)が|z| < Rで単純な実極を持つメロモルフィック関数であり、u(z)が|z| < Rで解析的であることに、D内の極における正規化重みが付随する、ことに同値であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 測度dρが(0, ∞)上にL²(0, ∞)のポテンシャルVを有するシュレーディンガー作用素およびディリクレ境界条件のもとでスペクトル測度となるための必要十分条件は何か？
• RQ2 ジャコビパラメータ(a_n, b_n)が満たすべき条件は何か？ その条件は、スペクトルデータのみを用いてどのように特徴付けられるか？
• RQ3 測度dµが与えられたレートR > 1でジャコビパラメータ(a_n, b_n)が指数的に減少するための条件は何か？
• RQ4 ジョスト関数を用いて、ジャコビ行列設定におけるパラメータの指数的減少および有限ランク摂動をどのように特徴付けることができるか？

主な発見

• スペクトル測度dρが、V ∈ L²(0, ∞)およびディリクレ境界条件を満たすシュレーディンガー作用素から生じるための必要十分条件は、自由ケースからの差分を含む特定の積分条件を満たす変換済み測度˜σが存在し、Weyl m関数m(z)が境界値を持ち、dρを生成することにある。
• ツェゴ漸近挙動lim_{n→∞} z^n p_n(z + z^{-1}) → 非ゼロ極限が成り立つのは、積∏_{j=1}^n a_jがゼロから離れており、パラメータ(a_n, b_n)がl^2に属し、スペクトル測度の絶対連続部f(E)が∫_{-2}^2 log f(E)/√(4-E^2) dE > -∞を満たすときである。
• パラメータがレートR > 1で指数的に減少するための必要十分条件は、M関数M(z)が|z| < Rで単純な実極を持つメロモルフィック関数であり、ジョスト関数u(z)が|z| < Rで解析的であること、D内の極に正規化重みが付随することにある。
• ジョスト関数u(z)が|z| < Rで解析的であることは、lim sup (|a_n - 1| + |b_n|)^{1/n} ≤ R^{-1}を満たすことに同値であり、正規化重み条件は摂動行列式の正しい正規化を保証する。
• 有限ランク摂動（J - J_0が有限ランク）の場合は、ジョスト関数u(z)が多項式でなければならない。M関数M(z)は閉単位円板内の単純な実極を持つ有理関数でなければならない。D内の各極において正規化重み条件が成立しなければならない。
• 摂動行列式L(z) = u(z)/u(0)はL(0) = 1を満たす多項式であり、実軸上で実数値をとり、すべての零点が単位円上または実軸上に位置する。この性質が有限ランク摂動を一意に特徴付ける。