[論文レビュー] Bari-Markus property for Dirac operators

Ya. V. Mykytyuk, D. V. Puyda|arXiv (Cornell University)|Oct 14, 2014

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

ひとこと要約

本稿は、区間 (0,1) 上の平方可積分な行列値ポテンシャルと分離境界条件を備えた非自己共役ディラック作用素のスペクトル射影子に対して、Bari–Markus性質を確立する。先行研究におけるストゥルム–リウヴィル作用素に関する手法にインspiredされたリゾルベントに基づく技法を用いて、複素平面内のストリップに対応するスペクトル射影子とそれらの自由作用素対応物との差の作用素ノルムの二乗和が有限であることを証明し、このクラスの作用素に対してBari–Markus性質が成立することを確認する。

ABSTRACT

We prove the Bari-Markus property for spectral projectors of non-self-adjoint Dirac operators on a finite interval with square-integrable matrix-valued potentials and some separated boundary conditions.

研究の動機と目的

• 非自己共役ディラック作用素に対して、平方可積分な行列値ポテンシャルを有するスペクトル射影子のBari–Markus性質を確立すること。
• 従来、自己共役およびスカラーの場合に知られていたBari–Markus性質を、行列ポテンシャルを有する非自己共役設定に拡張すること。
• 非自己共役ディラック作用素フレームワークにおける逆スペクトル問題の基盤を提供すること。
• リゾルベントに基づく手法を用いて、摂動下でのスペクトル射影子の収束性および安定性を分析すること。
• 摂動作用素のスペクトル射影子がスペクトルストリップに制限された場合に、自由作用素のそれらにヒルベルト–シュミットノルムで収束することを確認すること。

提案手法

• 著者らは、$ L_2((0,1), \mathbb{C}^{2r}) $ 上に作用するディラック作用素 $ T_Q = J\frac{d}{dx} + Q $ を定義し、分離境界条件と $ Q \in \mathfrak{Q}_2 $（ほとんど everywhere で $ JQ = -QJ $ を満たす $ L_2 $ 行列ポテンシャルの空間）を仮定する。
• 初期値問題 $ J\frac{d}{dx}Y + QY = \lambda Y $, $ Y(0,\lambda) = I_{2r} $ の行列値解 $ Y_Q(x,\lambda) $ を導入し、関連関数 $ \varphi_Q $, $ \psi_Q $ および作用素 $ \Phi_Q(\lambda) $ を定義する。
• スペクトルストリップ $ \Delta_n $（中心が $ \pi n $）上でのリゾルベントのコーシー積分を用いて、スペクトル射影子 $ \mathcal{P}_n $ と $ \mathcal{P}_n^0 $ を定義する。
• 差 $ \|\mathcal{P}_n - \mathcal{P}_n^0\| $ を、スペクトルパラメータの摂動に起因する項 $ \alpha_n $ と作用素の摂動に起因する項 $ \beta_n $ に分解する。
• $ \alpha_n $ 項は、リゾルベントの漸近展開とリーマン–ルージェの補題を用いて、スペクトルパラメータにおける摂動のノルムを制御することで有界化される。
• $ \beta_n $ 項は、積分作用素 $ \mathcal{K}_Q $ のヒルベルト–シュミット性と、自由スペクトル射影子 $ \mathcal{P}_n^0 $ の直交性を活用して制御される。

実験結果

リサーチクエスチョン

• RQ1 非自己共役ディラック作用素が、有限区間上の $ L^2 $ 行列値ポテンシャルを有する場合に、Bari–Markus性質が成立するか？
• RQ2 ストゥルム–リウヴィル作用素に用いられたリゾルベントに基づく手法を、ディラック作用素のBari–Markus性質の証明に適応可能か？
• RQ3 このような作用素に対して、スペクトルストリップ上でのスペクトル射影子の差の二乗ノルムの和は有限か？
• RQ4 摂動されたディラック作用素のスペクトル構造は、自由作用素との関係において、スペクトル射影子の収束性の観点からどのように関連するか？
• RQ5 摂動カーネルのヒルベルト–シュミット性が、射影子の差の和分可能性を保証するために果たす役割は何か？

主な発見

• 非自己共役ディラック作用素に対して、$ L^2 $ 行列値ポテンシャルを有する場合にBari–Markus性質が成立する：$ \sum_{n \in \mathbb{Z}} \|\mathcal{P}_n - \mathcal{P}_n^0\|^2 < \infty $。
• 固有値の漸近的分布は、$ \sum_{n \mathbb{Z}} \sum_{\lambda_j \in \Delta_n} |\lambda_j - \pi n|^2 < \infty $ を満たし、スペクトルストリップ内での固有値のクラスタリングを保証する。
• 差 $ \|\mathcal{P}_n - \mathcal{P}_n^0\| $ は、スペクトルパラメータに依存する項 $ \alpha_n $ と作用素摂動に依存する項 $ \beta_n $ に分解される。
• $ \alpha_n $ 項は、リゾルベントの漸近展開とリーマン–ルージェの補題を用いて、二乗可summableであることが示される。
• $ \beta_n $ 項は、積分作用素 $ \mathcal{K}_Q $ のヒルベルト–シュミット性を用いて制御され、$ \sum_{|n|>N} \|\mathcal{K}_Q \mathcal{P}_n^0\|^2 < \infty $ が得られる。
• この結果により、スペクトル射影子がヒルベルト–シュミットノルムで収束することが確認され、非自己共役ディラック作用素の逆スペクトル問題の研究を支援する。