[論文レビュー] On Riesz Means of Eigenvalues

Evans M. Harrell, Lotfi Hermi|ArXiv.org|Dec 25, 2007

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

ひとこと要約

本稿では、ラプラス、ルジャンドル、リーマン＝リウビル分数階積分変換を含む積分変換を用いて、ディリクレラプラシアンに対する主要な固有値不等式の同値性を確立する。Riesz平均、分配関数、スペクトルゼータ関数に対する新たな普遍的不等式を証明し、古典的結果（カックの不等式やベレジン＝リ＝ヨウの不等式）を改善する鋭い境界を予想する。

ABSTRACT

In this article we prove the equivalence of certain inequalities for Riesz means of eigenvalues of the Dirichlet Laplacian with a classical inequality of Kac. Connections are made via integral transforms including those of Laplace, Legendre, Weyl, and Mellin, and the Riemann-Liouville fractional transform. We also prove new universal eigenvalue inequalities and monotonicity principles for Dirichlet Laplacians as well as certain Schrödinger operators. At the heart of these inequalities are calculations of commutators of operators, sum rules, and monotonic properties of Riesz means. In the course of developing these inequalities we prove new bounds for the partition function and the spectral zeta function (cf. Corollaries 3.5-3.7) and conjecture about additional bounds.

研究の動機と目的

• 古典的固有値不等式（ベレジン＝リ＝ヨウ、ヤン、カック）の統一と、積分変換を用いた同値性の証明。
• ディリクレラプラシアンおよび離散スペクトルを持つシュレーディンガー作用素の固有値のRiesz平均に対する新たな普遍的不等式の導出。
• 分配関数およびスペクトルゼータ関数の境界の改善と、これらの関数に対する鋭い普遍定数の予想。
• 無限大で増加するポテンシャルを持つシュレーディンガー作用素への結果の拡張。離散的かつ下から有界なスペクトルを保証する。
• 慣性モーメントや領域体積といった幾何的量がスペクトル推定に果たす役割の調査。

提案手法

• 交換関係の恒等式と和則を用いて固有値不等式を導出し、特に $\rho > 0$ のRiesz平均に対して。
• ラプラス、ルジャンドル、ウェイ、メリン、リーマン＝リウビル分数階積分変換を用いて、異なるスペクトル不等式の関係を確立。
• Riesz反復公式を用いる：$ R_{\rho+\delta}(z) = \frac{\Gamma(\rho+\delta+1)}{\Gamma(\rho+1)\Gamma(\delta)} \int_0^\infty (z-t)_+^{\delta-1} R_\rho(t) dt $。異なる順序のRiesz平均を結びつける。
• Riesz平均のルジャンドル変換を用いて境界を導出し、熱核トレースの改善された推定を得る。
• 熱核のウェイ変換を用いて、スペクトルゼータ関数 $ \zeta_{\text{spec}}(\rho) $ の推定を得る。
• 最適な境界は幾何的項 $ M_d |\Omega| / I(\Omega) $ を $ |\Omega|^{-2/d} $ に置き換えるべきであり、これにより鋭い普遍定数が得られると予想する。

実験結果

リサーチクエスチョン

• RQ1 Berezin-Li-Yau、ヤン、カックの固有値不等式は、積分変換によってどのように関連しているか？
• RQ2 交換関係の恒等式と和則を用いて、固有値のRiesz平均に対する新たな普遍的不等式を導出可能か？
• RQ3 ディリクレラプラシアンの分配関数およびスペクトルゼータ関数に対する、最も鋭い境界は何か？
• RQ4 熱核に対する予想される境界 $ \sum e^{-\lambda_i t} \leq \frac{|\Omega|}{(4\pi t)^{d/2}} e^{-t/|\Omega|^{2/d}} $ は鋭いか？
• RQ5 スペクトルゼータ関数 $ \zeta_{\text{spec}}(\rho) $ は、$ \rho > d/2 $ に対して $ \Gamma(\rho - d/2)/\Gamma(\rho) $ を含む定数によって普遍的に上界で抑えられるか？

主な発見

• ルジャンドル変換の下で、Berezin-Li-Yau不等式はカックの不等式と同値であり、Riesz反復およびラプラス変換を介して関連づけられる。
• $ \rho \geq 1 $ に対して、Riesz平均は $ R_\rho(z) \leq L_{\rho,d}^{\text{cl}} |\Omega| z^{\rho + d/2} $ を満たし、半古典的極限で等号が成り立つ。
• 熱核は $ \sum e^{-\lambda_i t} \leq \frac{|\Omega|}{(4\pi t)^{d/2}} e^{-M_d |\Omega| t / I(\Omega)} $ を満たす。これはRiesz平均のルジャンドル変換から導出される。
• スペクトルゼータ関数は $ \rho > d/2 $ に対して $ \zeta_{\text{spec}}(\rho) \leq \frac{1}{(4\pi)^{d/2}} \frac{\Gamma(\rho - d/2)}{\Gamma(\rho)} |\Omega|^{2\rho/d} \left( M_d \frac{|\Omega|}{I(\Omega)} \right)^{d/2 - \rho} $ で抑えられる。
• 予想される境界 $ \sum e^{-\lambda_i t} \leq \frac{|\Omega|}{(4\pi t)^{d/2}} e^{-t/|\Omega|^{2/d}} $ は、スペクトルゼータ関数の鋭い普遍的推定をもたらすだろう。
• 図3の数値的証拠は、予想4.2を支持しており、$ \rho > \rho_0 $ に対して、提案された境界がBerezin-Li-Yauおよびヤン型の境界を改善していることが示されている。ここで $ \rho_0 $ は次元 $ d $ に依存する。