[論文レビュー] Cwikel-Solomyak estimates on tori and Euclidean spaces

Fedor Sukochev, Dmitriy Zanin|arXiv (Cornell University)|Aug 11, 2020

Advanced Harmonic Analysis Research参考文献 30被引用数 8

ひとこと要約

本稿は、d次元トーラスおよびユークリッド空間上でのラプラシアンを含む作用素のスチャッテン弱イデアルノルムについて、鋭いCwikel型推定を確立する。トーラス上での奇数次元へのSolomyakの結果の拡張と、ユークリッド空間における新たな推定を提示し、臨界ケースが弱スチャッテンクラス $\mathcal{L}_{1,\infty}$ では成立しないが、$L \log L$-型空間を含む修正されたOrliczノルム条件下では成立することを示す。

ABSTRACT

We revise Cwikel-type estimate for the singular values of the operator $(1-Δ_{\mathbb{T}^d})^{-\frac{d}{4}}M_f(1-Δ_{\mathbb{T}^d})^{-\frac{d}{4}}$ on the torus $\mathbb{T}^d$ for the ideal $\mathcal{L}_{1,\infty}$, established by M.Z. Solomyak in even dimensions in \cite{Solomyak1995}, and extend it to odd dimensions. We obtain a new result for (symmetrized) Cwikel type estimates for Laplacians on $\mathbb{R}^d$ for arbitrary positive integer $d.$

研究の動機と目的

• トーラス $\mathbb{T}^d$ 上で、偶数次元から奇数次元へ、作用素 $(1 - \Delta_{\mathbb{T}^d})^{-d/4} M_f (1 - \Delta_{\mathbb{T}^d})^{-d/4}$ のSolomyakのCwikel型推定を拡張すること。
• G. Rozenblum が提起した疑問、すなわち、同様の推定がユークリッド空間 $\mathbb{R}^d$ において弱スチャッテンクラス $\mathcal{L}_{1,\infty}$ に拡張可能かどうかを解明すること。
• 同じ作用素に対して、既知の臨界ケースの結果を反映する、最適なCwikel型推定を $\mathbb{R}^d$ 上で導出すること。
• これらの推定の文脈において、より大きなDixmier-Macaev理想 $\mathcal{M}_{1,\infty}$ とより小さい弱スチャッテンクラス $\mathcal{L}_{1,\infty}$ の違いを明確にすること。

提案手法

• 奇数次元におけるトーラス上でのSolomyakの手法 [43] を適応し、スペクトル理論と特異値推定を用いる。
• Birman-Schwingerの原理を用いて、シュレーディンガー作用素のスペクトル数え上げ関数とCwikel型作用素の特異値を関連付ける。
• Lorentz空間およびOrlicz空間ノルム、特に $M(t) = t \log(e + t)$ による $L_M(\mathbb{R}^d)$ を用い、推定が成立する関数空間を特徴付ける。
• 対称化および再配分技術を用いて、作用素の特異値と関数 $f$ の減少再配分を比較する。
• 文献 [39] および [28] の推定を組み合わせ、$d=2$ における $-\Delta - M_f$ のスペクトル数え上げ関数の境界を得ることで、主要結果を導出する。
• 近似法と双対性を用いて、有界かつ_compact_台を持つ $f$ から一般の $f \in L_M(\mathbb{R}^d)$ への結果の拡張を行う。

実験結果

リサーチクエスチョン

• RQ1 作用素 $(1 - \Delta_{\mathbb{T}^d})^{-d/4} M_f (1 - \Delta_{\mathbb{T}^d})^{-d/4}$ のSolomyakのCwikel型推定を、トーラス上での偶数次元から奇数次元へ拡張可能か？
• RQ2 ユークリッド空間 $\mathbb{R}^d$ において、推定 $\| (1 - \Delta_{\mathbb{R}^d})^{-d/4} M_f (1 - \Delta_{\mathbb{R}^d})^{-d/4} \|_{1,\infty} \leq c_d \|f\|_{L_M(\mathbb{R}^d)}$ が成立するか？
• RQ3 $\mathbb{R}^d$ 上で、弱スチャッテンクラス $\mathcal{L}_{1,\infty}$ におけるCwikel型推定が成立する最適な関数空間は何か？
• RQ4 臨界ケースにおいて、弱スチャッテンクラス $\mathcal{L}_{1,\infty}$ とより大きなDixmier-Macaev理想 $\mathcal{M}_{1,\infty}$ の間で推定はどのように異なるか？

主な発見

• 本稿は定理1.1を確立する：任意の $d \in \mathbb{N}$ に対して、作用素 $(1 - \Delta_{\mathbb{T}^d})^{-d/4} M_f (1 - \Delta_{\mathbb{T}^d})^{-d/4}$ は、$f \in L_M(\mathbb{T}^d)$ に対して $\| \cdot \|_{1,\infty} \leq c_d \|f\|_{L_M(\mathbb{T}^d)}$ を満たし、Solomyakの結果を奇数次元へ拡張する。
• 定理1.2は、任意の対称的擬バナッハ関数空間 $E$ に対して、$\mathbb{R}^d$ 上では弱スチャッテンクラス $\mathcal{L}_{1,\infty}$ における推定が定理1.1と同様に成立しないことを示す。
• 定理1.3は、$\mathbb{R}^d$ 上で新たな推定を与える：$f \in L_M(\mathbb{R}^d)$ に対して、$\| (1 - \Delta_{\mathbb{R}^d})^{-d/4} M_f (1 - \Delta_{\mathbb{R}^d})^{-d/4} \|_{1,\infty} \leq c_d \left( \|f\|_{L_M(\mathbb{R}^d)} + \int_{\mathbb{R}^d} |f(s)| \log(1 + |s|) \, ds \right)$ が成立する。
• $d=2$ の証明はBirman-Schwingerの原理と[39]からのスペクトル推定に依拠し、$-\Delta - M_f$ の負の固有値の個数が定数倍の $\|f\|_{L_M} + \int |f(s)| \log(1 + |s|) \, ds$ で有界であることを示す。
• 関数空間 $L_M(\mathbb{R}^d)$ で $M(t) = t \log(e + t)$ は、Lorentz空間 $\Lambda_1$ と一致することが示され、最終的な境界の導出に不可欠である。
• 結果は明確な対比を示す：$\mathbb{R}^d$ 上では推定は $\mathcal{M}_{1,\infty}$ では成立するが、より小さい理想 $\mathcal{L}_{1,\infty}$ では成立しない。これは、臨界ケースが理想の選択に極めて敏感であることを強調する。