# 262｜一维 Lieb–Thirring 最优常数：势阱能束缚多少负能量

> 官方问题族 262；本版含 3 篇稿件。以下为稿件结论的解释，未完成独立证明认证。来源版本：`adc7f1241b42`，核对日期：2026-10-07。

## A. 问题与历史背景

把势阱做深会产生更多或更深的束缚态，但给定势阱的总体“强度预算”，负能量总量有多大？Lieb–Thirring 不等式把这个量子谱问题变成势函数的积分估计，也是研究费米子动能、排斥原理和物质稳定性的基础工具。其历史及最优常数问题可参阅 [Frank 的综述](https://arxiv.org/abs/2007.09326)。

在一维令

```math
H_W=-\frac{d^2}{dx^2}I_m-W(x),\qquad W(x)\ge0,
```

$m$ 是内部通道数，$W(x)$ 是 $m\times m$ Hermitian 矩阵。若负本征值为 $E_j$，目标是不等式

```math
\sum_j|E_j|^\gamma
\le C_\gamma\int_{\mathbb R}\operatorname{tr}
                       W(x)^{\gamma+1/2}\,dx.
```

这里取 $\hbar^2/(2m_{\rm particle})=1$，通道数 $m$ 与粒子质量无关。最优常数的问题在于：单个束缚态是否已给出最坏情形，还是许多正交态或通道耦合能提高比值？维数分析固定积分中的指数，却不能决定常数。

## B. 稿件结论与可核对公式

三篇稿件依次处理标量常数、有限矩阵推广和所有取等情形。对每个 $1/2<\gamma<3/2$，以及满足右侧积分有限的可测非负 Hermitian 势，声称

```math
C_\gamma=
\left(\frac{\gamma-1/2}{\gamma+1/2}\right)^{\gamma-1/2}
\frac{\Gamma(\gamma+1)}{\sqrt\pi\,\Gamma(\gamma+3/2)}.
```

此常数等于标量单束缚态常数，且不随有限矩阵大小增长；一般势在不同位置无需彼此对易。所有等号势则十分特殊：在**一个与位置无关的幺正基变换**下，它们恰好分解为若干独立的 $\operatorname{sech}^2$ 势阱和零通道。

具体地，令 $r=(\gamma-1/2)^{-1}$，非零通道为

```math
w_j(x)=(r+1)a_j^2\operatorname{sech}^2
                         [ra_j(x-x_j)],\qquad a_j>0.
```

每个通道恰有一个负本征值 $-a_j^2$，尺度 $a_j$ 和中心 $x_j$ 可独立选择。尺度变换下两侧都随 $a_j^{2\gamma}$ 缩放，是公式的一项直接一致性检查。

## C. 为什么重要

矩阵势模拟自旋、轨道或耦合波导等内部自由度。最优常数不随通道数恶化，意味着内部混合不能无限提高单位势能预算能产生的负谱权重；等号分类进一步表明，真正饱和界限时，通道必须可由一个固定基解耦。

**潜在积极影响：**可改进一维多通道量子系统的能量界、谱估计及变分计算基准；也能为研究“接近最优的势是否接近孤子形状”的稳定性问题提供起点。稿件通过变分作用量与矩阵迹比较处理正交态的竞争，而不只检验单个试探函数。

**边界：**它没有自动解决三维所有指数的最佳 Lieb–Thirring 常数，也不是新近才证明一般物质稳定。取等分类并不意味着任意接近饱和的势都有已知定量距离估计；后者是另一类稳定性定理。形式化目录列有标量主稿，不能因此把矩阵推广及等号分类一并称为已经机器核验。

## 原稿及配套材料

- **O262-01** [Equality cases in the sharp one-dimensional matrix Lieb–Thirring inequality](https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/Equality-cases-in-the-sharp-one-dimensional-matrix-Lieb-Thirring-inequality-October-5-2026/sharp-one-dimensional-lieb-thirring-inequalities-matrix-potentials.pdf)。形式化目录：未列入。BibTeX 键：`OAI:Equality-cases-in-the-sharp-one-dimensional-matrix-Lieb-Thirring-inequality-October-5-2026`。
- **O262-02** [Sharp one-dimensional Lieb–Thirring inequalities for matrix potentials](https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/Sharp-one-dimensional-Lieb-Thirring-inequalities-for-matrix-potentials-October-5-2026/sharp-matrix-lieb-thirring.pdf)。形式化目录：未列入。BibTeX 键：`OAI:Sharp-one-dimensional-Lieb-Thirring-inequalities-for-matrix-potentials-October-5-2026`。
- **O262-03** [Sharp one-dimensional Lieb–Thirring constants](https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/Sharp-One-Dimensional-Lieb-Thirring-Constants-September-23-2026/paper.pdf)。形式化目录：已列入。BibTeX 键：`OAI:Sharp-One-Dimensional-Lieb-Thirring-Constants-September-23-2026`。

[返回总览](../README.md) · [来源与核验记录](../sources.md)