Cone Minimax Principles for Non-Selfadjoint Operator Pencils

技術要約：非自己共役作用素ペンドルに対するコーン・ミニマックス原理

問題提起
本論文は、非自己共役な作用素ペンドル $Lu = \lambda Gu$ のスペクトル解析を扱う。ここで、$L$ は有界線形作用素（必ずしも自己共役または可逆とは限らない）であり、$G$ は重み作用素であり、特異である可能性がある。クーラン・フィッシャーの原理やレイリー商の最小化といった標準的な変分理論は、非自己共役作用素に対しては一般に利用できない。正値性に基づく手法（例：ペロン・フロベニウス理論、クライン・ラトマン理論）も存在するが、これらは通常、作用素が自己共役であること、重みが可逆であること、あるいはレゾルベントが正であることを要求する。著者らは、標準的な仮定が成立しない場合（すなわち、$G$ が特異であり、作用素が正のレゾルベント構造を持たない場合）において、選択された実スペクトルレベルに対する変分的な特徴付けを追求している。

手法
中心となる手法は、順序錐 $S$ およびその厳密に正な部分 $S_o$ 内の可測なベクトル対に対して定義される、拡張された二変数レイリー商を導入することである：
$$R(u, v) = \frac{\langle Lu, v \rangle}{(Gu, v)_H}$$
ここで、$u$ と $v$ は独立した錐変数である。分母は混合錐対に対して正であることが仮定されている。

著者らは、2つの主要なミニマックス・レベルを定義している：

1. 右 sup–inf レベル: $\lambda = \sup_{u \in S \setminus \{0\}} \inf_{v \in S_o} R(u, v)$
2. 左 inf–sup レベル: $\lambda = \inf_{v \in S \setminus \{0\}} \sup_{u \in S_o} R(u, v)$

この枠組みは、**錐準固有値（cone quasi-eigenvalues）および準固有ベクトル（quasi-eigenvectors）**の概念に基づいている。これらは代数的な固有値方程式ではなく、これらのミニマックス・プロファイルの実装によって定義される。理論は以下の3段階で展開される：

1. 抽象的枠組み: 一般的なバナッハ・ヒルベルト空間の設定における、ミニマックス・レベルと準固有値との関係の確立。
2. 離散近似: 枠組みを有限次元のガラーキン近似（特に適合有限要素法）に適用し、厳密な正値性と境界除外条件の下で、離散ミニマックス・レベルが正確な正の右・左固有対へと収束することを証明する。
3. 連続極限: コンパクト性議論と強正値条件（強最大原理の錐形式）を用いて無限次元の極限へと移行し、連続的なミニマックス値をペンドルのスペクトル値と特定する。

主要な貢献と結果

• 変分的特徴付け: 厳密に正な右・左固有対が存在する場合、関連する固有値がミニマックス・レベルの共通値（$\hat{\lambda} = \lambda = \lambda$）と一致することを確立している。決定的なのは、この手法が、作用素が実固有値を持たない場合（例：スキュー対称成分が錐のテストに対して「見えない」非実スペクトルのケース）であっても、実数の「コーン・レベル」をもたらす点である。
• トラッピングとサドルポイント原理: すべての錐準固有値は、2つのミニマックス・レベルの間（$\lambda \leq \lambda^* \leq \lambda$）にトラップされることを証明している。実現されるベクトルが厳密に正である場合、レベルは収束し、共通の値はサドルポイント（鞍点）としての解釈を許容する。
• ア・ポステリオリ・スペクトル証明書: 計算可能な片側境界の提供という中心的な結果がある。任意の可測な試行ベクトル $u$ および $v$ に対して、量 $\lambda_R(u) = \inf_{v} R(u, v)$ および $\lambda_L(v) = \sup_{u} R(u, v)$ は $\lambda_R(u) \leq \hat{\lambda} \leq \lambda_L(v)$ を満たす。これにより、完全な固有値問題を解くことなく、直接的な境界の検証が可能となる。
• 有限次元における安定性: 連続的なミニマックス値が、標準的な有限要素近似によって得られる離散ミニマックス値の極限であることを証明している。離散レベルは離散化されたペンドルに対する正確な固有対を提供し、一様な楕円性と強正値性の仮定の下で、それらの連続極限への収束が保証される。
• 摂動評価: 片側摂動境界を導出している。孤立した固有値の微分に依存する古典的な解析的摂動論とは異なり、この手法は準固有ベクトルから導かれる片側量を用いてスペクトル・レベルの変動を境界付ける。これらの評価はモデル例においてシャープであることが示されている。
• 特異な重みの取り扱い: $G$ が特異（非可逆）であるケースを成功的に扱う。これは、シフトされたレゾルベント・アプローチ（クライン・ラトマン理論）が失敗したり、補助的なシフトを必要としたりする場合があるシナリオである。

意義と主張
著者らは、この研究が、標準的な自己共役理論が適用できず、かつ正値性に基づく手法が直接使用できない（正のレゾルベント構造を持たない）順序錐の設定において、選択された実スペクトル値のための変分的かつ計算的なツールを提供すると主張している。

本論文の意義の鍵となる側面は以下の通りである：

• レゾルベント正値性からの独立性: この手法は、商 $R(u, v)$ を主要な対象として扱い、正のレゾルベントを構成したり、可逆性を確保するために作用素をシフトしたりする必要を回避している。
• 実用的な計算可能性: 本枠組みはア・ポステリオリ・スペクトル証明書をもたらす。下界と上界の差（プライマル・デュアル・ギャップ）は、数値近似の実際的な停止基準として機能する。
• 堅牢性: 理論は、特異な重みや非協力的なシステム（標準的な成分ごとの正の錐が不変ではない場合）を許容し、変分スペクトル解析の範囲を従来の協力的または自己共役なケースを超えて拡張する。
• 統一性: 行列の古典的なコラッツ・ヴィエルランドおよびビルキング・バルガ公式を、楕円型作用素ペンドルのスペクトル理論へと統一し、有限次元および無限次元の両方の問題に対して一貫したアプローチを提供する。

結論として、コーン・ミニマックス・アプローチは、非自己共役なシステムに対して、単なる存在性の結果だけでなく、直接的で検証可能な境界および近似評価を提供する、堅牢な代替手段となる。