[论文解读] 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 维环面和欧几里得空间上拉普拉斯算子相关算子的弱 Schatten 类理想范数建立了精确的 Cwikel 型估计。该工作将 Solomyak 的结果从环面上的偶数维推广至奇数维，并在欧几里得空间中给出了新的估计，表明临界情形在弱 Schatten 类 $\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.$

研究动机与目标

• 将 Solomyak 关于算子 $(1 - \Delta_{\mathbb{T}^d})^{-d/4} M_f (1 - \Delta_{\mathbb{T}^d})^{-d/4}$ 的 Cwikel 型估计从环面 $\mathbb{T}^d$ 上的偶数维推广至奇数维。
• 解决 G. Rozenblum 提出的问题：此类估计是否可推广至欧几里得空间 $\mathbb{R}^d$ 的弱 Schatten 类 $\mathcal{L}_{1,\infty}$？
• 为同一算子在 $\mathbb{R}^d$ 上推导出一种新的、最优的 Cwikel 型估计，以捕捉文献中已知的临界情形结果。
• 澄清在这些估计背景下，更大的 Dixmier-Macaev 算子理想 $\mathcal{M}_{1,\infty}$ 与更小的弱 Schatten 类 $\mathcal{L}_{1,\infty}$ 之间的区别。

提出的方法

• 将 [43] 中 Solomyak 的方法适配至环面上的奇数维，利用谱理论与奇异值估计。
• 采用 Birman-Schwinger 原理，将薛定谔算子的谱计数函数与 Cwikel 型算子的奇异值联系起来。
• 使用 Lorentz 与 Orlicz 空间范数，特别是 $L_M(\mathbb{R}^d)$，其中 $M(t) = t \log(e + t)$，以刻画该估计成立的函数空间。
• 应用对称化与重排技巧，将算子的奇异值与函数 $f$ 的递减重排进行比较。
• 结合 [39] 与 [28] 的估计，推导出 $d=2$ 时 $-\Delta - M_f$ 的谱计数函数的界，从而得出主要结果。
• 利用逼近论证与对偶性，将结果从有界且紧支集的 $f$ 扩展至一般 $f \in L_M(\mathbb{R}^d)$。

实验结果

研究问题

• RQ1 Solomyak 关于算子 $(1 - \Delta_{\mathbb{T}^d})^{-d/4} M_f (1 - \Delta_{\mathbb{T}^d})^{-d/4}$ 的 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$ 上，使得弱 Schatten 类 $\mathcal{L}_{1,\infty}$ 中 Cwikel 型估计保持有效的最优函数空间是什么？
• RQ4 在临界情形下，估计在弱 Schatten 类 $\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}$ 满足 $\| \cdot \|_{1,\infty} \leq c_d \|f\|_{L_M(\mathbb{T}^d)}$，对 $f \in L_M(\mathbb{T}^d)$ 成立，将 Solomyak 的结果推广至奇数维。
• 定理 1.2 表明，在 $\mathbb{R}^d$ 上，该估计在弱 Schatten 类 $\mathcal{L}_{1,\infty}$ 中对任意对称的 quasi-Banach 函数空间 $E$ 均不成立。
• 定理 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$ 的控制。
• 证明表明，具有 $M(t) = t \log(e + t)$ 的 Orlicz 空间 $L_M(\mathbb{R}^d)$ 与 Lorentz 空间 $\Lambda_1$ 一致，这对最终界至关重要。
• 结果揭示了显著的对比：尽管该估计在 $\mathbb{R}^d$ 上的 $\mathcal{M}_{1,\infty}$ 中成立，但在更小的理想 $\mathcal{L}_{1,\infty}$ 中不成立，凸显了临界情形对理想选择的敏感性。