[论文解读] Lieb-Thirring Inequalities

Élliott H. Lieb|ArXiv.org|Mar 27, 2000

Spectral Theory in Mathematical Physics参考文献 27被引用 14

一句话总结

本文建立了并分析了在 $ \mathbb{R}^n $ 上的薛定谔算符 $ H = -\Delta + V(x) $ 的负特征值的李布-蒂林不等式，证明了负特征值的 $ \gamma $ 次幂之和受负势能 $ V_- $ 的 $ \gamma + n/2 $ 次矩乘以常数的控制。主要贡献在于确定了最优常数 $ L_{\gamma,n} $，其中 $ \gamma \geq 3/2 $ 和 $ \gamma = 1/2, n=1 $ 时给出了精确值，并对半经典常数 $ L_{\gamma,n}^c $ 的最优性提出了猜想。

ABSTRACT

This is a brief review of Lieb-Thirring inequalities for eigenvalues of the Schroedinger operator and lower bounds for the quantum mechanical kinetic energy (and some generalizations) in R^n.

研究动机与目标

• 建立 $ \mathbb{R}^n $ 上薛定谔算符 $ H = -\Delta + V(x) $ 的负特征值的最优李布-蒂林不等式，尤其针对 $ \gamma \geq 0 $ 和 $ n \geq 1 $ 的情形。
• 在李布-蒂林不等式 $ \sum |e_j|^\gamma \leq L_{\gamma,n} \int V_-^{\gamma+n/2} dx $ 中确定最优常数 $ L_{\gamma,n} $，特别是其与半经典常数 $ L_{\gamma,n}^c $ 的关系。
• 研究 $ L_{\gamma,n} = L_{\gamma,n}^c $ 成立的条件，并探讨 $ L_{\gamma,1} $ 在 $ \gamma \in (1/2, 3/2) $ 范围内达到半经典值的猜想。
• 将不等式推广至磁场情形及正交函数系，将其与动能估计及物质稳定性联系起来。

提出的方法

• 证明依赖于 Birman-Schwinger 核 $ K_E(V) = \sqrt{V_-} (-\Delta + E)^{-1} \sqrt{V_-} $，其中 $ H $ 在 $ -E $ 以下的特征值个数等于 $ K_E(V) $ 在 1 以上的特征值个数。
• 将和 $ \sum |e_j|^\gamma $ 表示为关于 $ E $ 的积分：$ \gamma \int_0^\infty N_E(V) E^{\gamma-1} dE $，其中 $ N_E(V) $ 计数低于 $ -E $ 的特征值。
• 使用半经典近似 $ L_{\gamma,n}^c = 2^{-n} \pi^{-n/2} \Gamma(\gamma+1)/\Gamma(\gamma+1+n/2) $ 作为启发式方法和 $ L_{\gamma,n} $ 的下界，且有 $ L_{\gamma,n} \geq L_{\gamma,n}^c $。
• 证明比值 $ R_{\gamma,n} = L_{\gamma,n}/L_{\gamma,n}^c $ 关于 $ \gamma $ 是非增的，意味着若在某 $ \gamma $ 处取等，则对所有更大的 $ \gamma $ 也取等。
• 对于动能不等式，利用 $ L^2(\mathbb{R}^n) $ 中的正交序列 $ \{f_j\} $ 定义密度 $ \rho(x) = \sum |f_j(x)|^2 $，从而导出不等式 $ \sum \int |\nabla f_j|^2 \geq K_n \int \rho^{1+2/n} $，其中 $ K_n $ 由 $ L_{1,n} $ 导出。
• 通过对偶性论证，将 $ \gamma = 1 $ 的情形与托马斯-费米动能泛函联系起来，表明若 $ L_{1,3} = L_{1,3}^c $，则可得到托马斯-费米的精确变分法。

实验结果

研究问题

• RQ1 对于哪些 $ \gamma $ 和 $ n $ 值，李布-蒂林不等式 $ \sum |e_j|^\gamma \leq L_{\gamma,n} \int V_-^{\gamma+n/2} dx $ 成立，且最优常数 $ L_{\gamma,n} $ 是什么？
• RQ2 在何种条件下最优常数 $ L_{\gamma,n} $ 等于半经典常数 $ L_{\gamma,n}^c $？
• RQ3 猜想 $ L_{\gamma,1} = \frac{1}{\sqrt{\pi}(\gamma-1/2)} \frac{\Gamma(\gamma+1)}{\Gamma(\gamma+1/2)} \left( \frac{\gamma-1/2}{\gamma+1/2} \right)^{\gamma+1/2} $ 在 $ \gamma \in (1/2, 3/2) $ 范围内是否成立？
• RQ4 对于 $ n \geq 3 $，是否成立 $ L_{0,n} = L_{0,n}^1 $，从而将 CLR 估计与第一特征值联系起来？
• RQ5 李布-蒂林不等式能否推广至含矢量势 $ A(x) $ 的磁薛定谔算符，且最优常数是否保持不变？

主要发现

• 对于所有 $ \gamma \geq 3/2 $，最优常数 $ L_{\gamma,n} $ 等于半经典常数 $ L_{\gamma,n}^c $，该结果由李布-蒂林证明，并由拉普特夫-魏德尔进一步推广。
• 当 $ n=1 $ 时，最优常数 $ L_{1/2,1} = 1/2 $，与 $ \gamma = 1/2 $ 时的猜想公式 (3) 一致。
• 对 $ (1/2, 3/2) $ 范围内 $ L_{\gamma,1} $ 的猜想公式 (3) 得到微分方程解的支持，且意味着 $ L_{\gamma,1}^1 = L_{\gamma,1} $，即第一特征值本身即可使不等式取等。
• 对于正交序列，不等式 $ \sum \int |\nabla f_j|^2 \geq K_n \int \rho^{1+2/n} $ 成立，其中 $ K_n $ 由 $ L_{1,n} $ 导出；若 $ L_{1,3} = L_{1,3}^c $，则可推出与托马斯-费米泛函的等式。
• 对于 $ n \geq 3 $，有 $ L_{0,n}^1 = (S_n)^{-n} $，其中 $ S_n $ 是索伯列夫不等式 $ \|\nabla f\|_{L^2} \geq S_n \|f\|_{L^{2n/(n-2)}} $ 的最优常数，从而将李布-蒂林不等式与索伯列夫理论联系起来。
• 已知对所有 $ \gamma < 1 $ 和所有 $ n $，有 $ L_{\gamma,n} > L_{\gamma,n}^c $，表明在此范围内半经典常数并非最优。