[論文レビュー] On Harrell-Stubbe Type Inequalities for the Discrete Spectrum of a Self-Adjoint Operator

Mark S. Ashbaugh, Lotfi Hermi|ArXiv.org|Dec 28, 2007

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

ひとこと要約

本稿は、交換子代数、レイリーウィッツの原理、およびコーシー・シュワルツの不等式の最適な適用を用いて、自己随伴作用素の離散固有値スペクトルに対するハレル・スタブ型不等式の新しい抽象的証明を提示する。パラメータフリーかつ射影フリーな普遍固有値推定式を確立し、ペイン・ポリア・ヴァインバーガー、ヒル・プロッター、およびH. C. ヤングの古典的境界を一般化する。それぞれ $ p \leq 2 $ および $ p \geq 2 $ に対して鋭い不等式が成り立つ。

ABSTRACT

We produce a new proof and extend results by Harrell and Stubbe for the discrete spectrum of a self-adjoint operator. An abstract approach--based on commutator algebra, the Rayleigh-Ritz principle, and an ``optimal'' usage of the Cauchy-Schwarz inequality--is used to produce ``parameter-free'', ``projection-free'' versions of their theorems. We also analyze the strength of the various inequalities that ensue. The results contain classical bounds for the eigenvalues. Extensions of a variety of inequalities à la Harrell-Stubbe are illustrated for both geometric and physical problems.

研究の動機と目的

• 自己随伴作用素の離散スペクトルに対するハレル・スタブ型不等式の新しい抽象的導出を提供し、定義域依存の依存性を回避すること。
• コーシー・シュワルツの不等式の最適な使用法を用いて、元のハレル・スタブ枠組みを超えて普遍固有値推定式を拡張すること。
• ペイン・ポリア・ヴァインバーガー、ヒル・プロッター、およびH. C. ヤングの古典的固有値境界を、一つの抽象的枠組み内で統一的かつ一般化すること。
• 指数 $ p $ の異なる値における導出された不等式の強さと単調性を分析し、特に $ p \geq 2 $ の範囲で $ p=2 $ の場合が最も強いことを証明すること。
• これらの不等式がシュレーディンガー作用素、スツルム＝リウヴィル問題、および領域上の楕円型作用素を含む多様な幾何的・物理的問題への適用可能性を示すこと。

提案手法

• 交換子代数を用いて $ \rho_i = \sum_{k=1}^N \langle [A,B_k]u_i, B_k u_i \rangle $ および $ \Lambda_i = \sum_{k=1}^N \| [A,B_k]u_i \|^2 $ を定義し、スペクトルギャップと作用素の交換子を関連付ける。
• レイリーウィッツの原理を適用して試行関数を用いて固有値ギャップを評価し、代数的恒等式の代わりに変分法を用いる。
• 『最適』な形のコーシー・シュワルツの不等式を用いて、自由パラメータや射影を導入せずに鋭い境界を導出する。
• 二つの不等式族を導出する：$ p \leq 2 $ に対して $ \sum_{i=1}^m (\lambda_{m+1} - \lambda_i)^p \leq \frac{4}{n} \sum_{i=1}^m \lambda_i (\lambda_{m+1} - \lambda_i)^{p-1} $、$ p \geq 2 $ に対して $ \sum_{i=1}^m (\lambda_{m+1} - \lambda_i)^p \leq \frac{2p}{n} \sum_{i=1}^m \lambda_i (\lambda_{m+1} - \lambda_i)^{p-1} $ であり、これらはハレル・スタブの結果を一般化する。
• 物理的および幾何的設定（ディリクレラプラシアン、磁気ポテンシャル付きシュレーディンガー作用素、スツルム＝リウヴィル問題など）にこの枠組みを適用する。
• 一般の2階楕円型作用素を変数変換および従属変数の変換によりラプラシアンの場合に還元し、既知の不等式が適用可能な状況にまで拡張する。

実験結果

リサーチクエスチョン

• RQ1 交換子代数と抽象的作用素論的道具を用いて、パラメータフリーかつ射影フリーな方法でハレル・スタブ型不等式を導出可能か？
• RQ2 指数 $ p $ に応じて固有値不等式の強さはどのように変化するか？また、$ p \geq 2 $ の範囲で最大の不等式は存在するか？
• RQ3 古典的ヒル・プロッターおよびH. C. ヤングの不等式は、どれだけの範囲で一つの枠組み内で統一的かつ一般化可能か？
• RQ4 導出された不等式は、シュレーディンガー作用素やスツルム＝リウヴィル系のような物理的・幾何的問題へ拡張可能か？
• RQ5 最適なコーシー・シュワルツの不等式は、普遍固有値推定式の鋭さを向上させる役割を果たすか？

主な発見

• すべての $ p \leq 2 $ に対して不等式 $ \sum_{i=1}^m (\lambda_{m+1} - \lambda_i)^p \leq \frac{4}{n} \sum_{i=1}^m \lambda_i (\lambda_{m+1} - \lambda_i)^{p-1} $ が成り立ち、$ p=0 $ の場合にヒル・プロッターの不等式が回復され、$ p=2 $ の場合にH. C. ヤングの不等式が得られる。
• $ p \geq 2 $ の場合、不等式 $ \sum_{i=1}^m (\lambda_{m+1} - \lambda_i)^p \leq \frac{2p}{n} \sum_{i=1}^m \lambda_i (\lambda_{m+1} - \lambda_i)^{p-1} $ が導出され、$ p=2 $ の場合がすべての $ p \geq 2 $ の中で最も強いことが示され、この範囲における最適な境界であることが確認される。
• $ p=1 $ の場合、'ヤング2'の境界 $ \lambda_{m+1} \leq \left(1 + \frac{4}{n}\right) \frac{1}{m} \sum_{i=1}^m \lambda_i $ が得られ、これは古典的ペイン・ポリア・ヴァインバーガー不等式よりも強い。
• 本稿では、$ p=2 $ の不等式（H. C. ヤング）が $ p \geq 2 $ の範囲で最も強いことを証明し、$ p \leq 2 $ の族が $ p $ の増加に伴い単調に強化され、この範囲で $ p=2 $ が最も鋭い境界であることを示している。
• $ Q(x) \geq M $ を満たすスツルム＝リウヴィル問題に対して、$ p \leq 2 $ に対して $ \sum_{i=0}^m (\lambda_{m+1} - \lambda_i)^p \leq 4 \sum_{i=0}^m (\lambda_{m+1} - \lambda_i)^{p-1} (\lambda_i - M) $、$ p \geq 2 $ に対して $ \sum_{i=0}^m (\lambda_{m+1} - \lambda_i)^p \leq 2p \sum_{i=0}^m (\lambda_{m+1} - \lambda_i)^{p-1} (\lambda_i - M) $ が確立された。
• この枠組みにより、一般の楕円型作用素を変数変換および従属変数の変換によりラプラシアンの場合に還元でき、最小限の仮定で既知の不等式をより広い作用素のクラスへと適用可能にする。