[論文レビュー] Regularity of Bound States

Jérémy Faupin, Jacob Schach Møller+1 more|Jun 30, 2010

Spectral Theory in Mathematical Physics被引用数 4

ひとこと要約

本稿では、自己共役ハミルトニアンに従う量子系における埋め込まれた固有値に関連する束縛状態の正則性を、特異なムール理論を用いて確立する。束縛状態が数演算子の定義域に属し、共役演算子 A に関して強化された滑らかさを示すことを証明し、質量なしのパウリ＝フィエルツ模型や多数体の AC-Stark 系でその結果を拡張する。これは、|k|^{-1/2+ε} 形式の赤外特異性に対しても成立する。

ABSTRACT

We study regularity of bound states pertaining to embedded eigenvalues of a self-adjoint operator $H$, with respect to an auxiliary operator $A$ that is conjugate to $H$ in the sense of Mourre. We work within the framework of singular Mourre theory which enables us to deal with confined massless Pauli-Fierz models, our primary example, and many-body AC-Stark Hamiltonians. In the simpler context of regular Mourre theory our results boils down to an improvement of results obtained recently in \cite{CGH}.

研究の動機と目的

• 埋め込まれた固有値に関連する束縛状態の正則性を、特異なムール理論を用いて確立すること。
• 正則性結果を、物理的より弱い赤外特異性を伴う質量なしのパウリ＝フィエルツ模型にまで拡張すること。
• このような模型において、すべての束縛状態が数演算子 N^{1/2} の定義域に属することを証明すること。
• 閉じた質量なし系や多数体の AC-Stark ハミルトニアンに適用可能な枠組みを提供すること。
• 今後の研究における2次摂動理論およびフェルミの黄金律の基礎を築くこと。

提案手法

• 埋め込まれた固有値を伴うハミルトニアン H に対して、共役演算子 A を特異なムール理論を用いて分析する。
• 反復コンmutator と C^1(A) に属する演算子の改善された滑らかさに基づく抽象的な正則性結果を適用する。
• 非有界な共役演算子を取り扱うために、A の有界な正則化近似を用いる。
• D(N^{1/2}) 上で H' ≥ c₀1 - C₄f⊥λ(H)² - K₀ の形のムール推定を導出し、スペクトル制御を確立する。
• 時間発展演算子におけるノルムの成長を制御するため、|p| と A を含むコンmutator 展開を用いる。
• 関数計算と [N^{1/2}, g(H)] の有界性を用いて、正則化パrameter における一様な境界を保証する。

実験結果

リサーチクエスチョン

• RQ1 特異なムール理論における共役演算子 A に関して、埋め込まれた固有値に関連する束縛状態がどのような条件下で正則となるか。
• RQ2 物理的より弱い赤外特異性を伴う質量なしの量子場理論模型に、正則性結果を拡張できるか。
• RQ3 閉じた質量なしのパウリ＝フィエルツ模型におけるすべての束縛状態が、数演算子 N^{1/2} の定義域に属するか。
• RQ4 多数体の AC-Stark ハミルトニアンにおける非閾値束縛状態の正則性はどのように振る舞うか。
• RQ5 共役演算子 A は、時間発展演算子の状態の滑らかさと有界性を保証するために果たす役割は何か。

主な発見

• 赤外特異性が |k|^{-1/2+ε} (ε > 0) 形式である場合でさえ、閉じた質量なしネルソン模型におけるすべての束縛状態が数演算子 N^{1/2} の定義域に属する。
• 本稿では、B = C₄f⊥λ(H)²⟨H⟩(H−λ)⁻¹ に対して N^{1/2}BN^{-1/2} が有界であることを証明しており、正則性に不可欠である。
• g(E) = f⊥λ(E)²(E−λ)⁻¹ に対して [N^{1/2}, g(H)] が有界であることを示し、正則化パrameter における一様な制御を保証する。
• AC-Stark 模型では、非閾値束縛状態が D(A^k₀) (ある k₀ ≥ 1) に属することが示され、高次の正則性を示す。
• 時間発展演算子の解 ψ(1) に対して、∥A_n^{k₀}ψ(t)∥ の一様な境界から、ψ(1) ∈ D(A(1)^k₀) であることを示す。
• 証明は、精緻化されたムール推定 (6.20) と ∫|∂̄g(η)| max(|Im η|⁻², |Im η|⁻¹/²) dudv < ∞ の有界性に依存し、収束を保証する。