[論文レビュー] 1 Semi-classical trace formulas and heat expansions

Yves de Verdière|arXiv (Cornell University)|Jan 1, 2013

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

ひとこと要約

本稿は、スペクトル幾何における半古典的トレース公式と熱核展開の間の厳密な数学的ブリッジを確立する。磁気的および電気的ポテンシャルを有するシュレーディンガー作用素に対する半古典的展開の係数が、熱核係数から導出可能であり、逆にそれらが互いに導出可能であることを示す。その根拠は、普遍的な O(d)-不変多項式に基づく。主たる貢献は、既知の熱不変量を用いて半古典的係数を計算可能な統一的枠組みを提供することであり、Weylの不変理論および調和振動子や一定磁場といった明示的例を通じて検証されている。

ABSTRACT

To appear in "Analysis of Partial Differential Equations"

研究の動機と目的

• 半古典的トレース公式とスペクトル幾何における熱核展開の間の深い構造的類似性を扱う。
• 両者の展開が形式的べき級数として互いに導出可能であることを示し、形式的同値性を確立する。
• 既知の熱不変量と不変理論を用いて、半古典的係数を体系的に計算する手法を提供する。
• 普遍的な O(d)-不変多項式を用いて、磁気的シュレーディンガー作用素の展開と熱核フレームワークを統合する。
• 熱展開の次数 l=6 までに既知の結果および明示的例を用いて、手法の妥当性を検証する。

提案手法

• シュレーディンガー作用素の半古典的トレース展開を、Weyl記号とMoyal積を用いて導出し、\hat{H}_{\hbar,a,V} の記号を \hbar に関する形式的べき級数として表現する。
• 非一意な係数 Q^{a,V}_{j,l}(x,\xi) を置き換える普遍的な O(d)-不変多項式 P^{B,V}_{j,l}(x) を導入する。
• Weylの不変理論を適用し、P^{B,V}_{j,l}(x) の計算を有限個の数値係数の決定に還元する。
• 調和振動子および一定磁場といった明示的モデルを用いて、主要な係数を計算し、一貫性を検証する。
• 熱係数 a_l と半古典的係数 P^{B,V}_{j,l}(x) の直接的対応関係を確立し、a_l (l ≤ 6) の知識があれば ℏ^2 および ℏ^4 項を計算可能であることを示す。
• 関数計算および自己共役拡張理論（Sj"ostrandの付録を介して）を用い、半古典的記号が拡張の選択に依存しないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 磁気的シュレーディンガー作用素の半古典的トレース展開における係数は、幾何的不変量から体系的にどのように計算可能か？
• RQ2 熱核係数 a_l と半古典的係数 P^{B,V}_{j,l}(x) の間の明確な数学的関係は何か？
• RQ3 磁気的シュレーディンガー展開における非一意な係数 Q^{a,V}_{j,l}(x,\xi) は、一意的で普遍的かつ O(d)-不変な多項式 P^{B,V}_{j,l}(x) に置き換え可能か？
• RQ4 半古典的展開の係数は、基盤となる多様体のスペクトル不変量とどのように関係するか？
• RQ5 半古典的展開は、熱核展開から導出可能であり、逆にそれも可能か？ 両者は形式的べき級数として互いに導出可能か？

主な発見

• 磁気的および電気的ポテンシャルを有するシュレーディンガー作用素の半古典的トレース展開は、B および V の x におけるテイラー展開の O(d)-不変多項式 P^{B,V}_{j,l}(x) を含む普遍的形を取る。
• 各係数 P^{B,V}_{j,l}(x) は、B の微分係数に重み1、V の微分係数に重み2をかけた、B および V の微分に関する同次多項式であり、次数は 2(l−j) である。
• vdV が計算した l=6 までの熱核係数 a_l の知識があれば、半古典的係数を ℏ^4 項まで再構成可能である。
• 半古典的展開における ℏ^2 項の係数は a_2 と a_3 によって完全に決定され、ℏ^4 項は a_l (3 ≤ l ≤ 6) から計算可能である。
• t および ℏ の両方に関する代替的展開が導出され、ℏ^2 t → 0 のとき有効である。これにより、X 上での V(x)^k および P^{B,V}_{j,l}(x) の積分が半古典的スペクトルから回復可能であることが示された。
• 自己共役拡張 \hat{H}_{\hbar,a,V} の関数計算により得られる半古典的 ΨDO の記号は、拡張の選択に依存せず、多重交換子法および Helffer-Sj"ostrand 公式を用いて証明された。