圆盘中磁 Neumann Laplacian 的单调性与 de Gennes 界
Monotonicity and the de Gennes bound for the magnetic Neumann Laplacian in the disk
浏览论文内容
中文总结 AI 辅助
本文证明圆盘中磁 Neumann Laplacian 最低特征值随磁场严格递增，并给出全局 de Gennes 界，解决 Helffer-Léna 猜想，且提供无渐近输入的变分证明。
中文摘要 AI 辅助
我们考虑单位圆盘中，强度为 $b>0$ 的恒定磁场下的磁 Neumann Laplacian 的最低特征值 $\lambda(b)$。我们证明 $\lambda$ 在 $(0,+\infty)$ 上严格递增。这意味着强抗磁性在任意场强下都成立，而不仅仅在强场下成立。我们还证明了角动量分支连续交叉处的归一化能量构成严格递增序列；结合强场渐近行为，这给出了全局界 $\lambda(b)<\Theta_0 b$，其中 $\Theta_0$ 是 de Gennes 常数。这些结果解决了 Helffer 和 Léna 针对圆盘提出的三个猜想。作为推论，Ginzburg--Landau 理论中的局域（或谱）临界场 $H_{C_3}^{\mathrm{loc}}$ 在圆盘中对于 Ginzburg--Landau 参数的每一个值都是唯一确定的，而不仅仅对大的参数值成立。我们还给出了 $\lambda(b)<\Theta_0 b$ 的第二个证明，该证明独立于第一个证明以及 Helffer 和 Léna 的结果，采用直接变分方法：试验态由强场下的 de Gennes 基态构造，小场下使用常数试验态，在剩余的有界场区间上，使用由有理算术中有限多次精确计算验证的有限维多项式试验态空间。该证明不使用任何渐近输入。此外，它给出了 $\lambda(b)$ 的一个显式上界，该上界在某个显式场强之上有效，其前两项与强场渐近展开的前两项一致。
英文摘要
We consider the lowest eigenvalue $λ(b)$ of the magnetic Neumann Laplacian in the unit disk, for a constant magnetic field of strength $b>0$. We prove that $λ$ is strictly increasing on $(0,+\infty)$. This means that strong diamagnetism holds at every field strength, and not only at large ones. We also show that the normalized energies at the successive crossings of angular-momentum branches form a strictly increasing sequence; combined with the strong-field asymptotics, this gives the global bound $λ(b)<Θ_0 b$, where $Θ_0$ is the de Gennes constant. These results settle the three conjectures formulated by Helffer and Léna for the disk. As a consequence, the local, or spectral, critical field $H_{C_3}^{\mathrm{loc}}$ of Ginzburg--Landau theory is, in the disk, uniquely determined for every value of the Ginzburg--Landau parameter, and not only for large ones. We also give a second proof of the bound $λ(b)<Θ_0 b$, independent of the first and of the results of Helffer and Léna, by a direct variational method: trial states built from the de Gennes ground state for large fields, constant trial states for small fields, and, on the remaining bounded field interval, finite-dimensional spaces of polynomial trial states certified by finitely many exact computations in rational arithmetic. That proof uses no asymptotic input. It yields in addition an explicit upper bound for $λ(b)$, valid above an explicit field strength, whose two leading terms are those of the strong-field asymptotics.
发表机构
- University of Padua（帕多瓦大学）
- Lund University（隆德大学）
机构由 AI 辅助整理，请以论文原文为准。
