AI 中文总结
研究任意维度下耗散势垒截断是否存在谱隐身性问题,通过结合多种方法证明了\(H\)的谱点能被截断检测到,解决了高维情况的墓地问题,表明势垒方法不会以谱隐身性换取谱污染抑制。
AI 中文摘要
耗散势垒方法可抑制谱污染,但其自身能否隐藏真实谱点仍未解决,这在计算谱理论中被称为墓地问题,高维情况十多年来一直未解决。本文解决了维度\(d\geq2\)时薛定谔算子的该问题,结合已知的一维定理,解决了所有维度的无隐身性问题。设\(A = -\Delta + V\)是狄利克雷薛定谔算子,\(H = A + iS\),\((\Omega_R)_{R>0}\)是嵌套有界开集族,\(H_R\)是\(H\)到\(\Omega_R\)的狄利克雷截断。证明了\(H\)的每个谱点都能被截断检测到,即\(\sigma(H)\subseteq\liminf_{R\to\infty}\sigma(H_R)\),表明势垒方法不会用抑制谱污染来换取谱隐身性。证明结合了耗散形式扰动的紧致性、Birman–Schwinger算子的Cwikel型Schatten估计、广义强预解式收敛以及Gil'的反向Hansmann–Weyl谱变分不等式。二维数值例子说明了截断耗散算子不存在谱隐身性。
英文摘要
The dissipative barrier method suppresses spectral pollution, but whether it can itself conceal genuine spectral points has remained open. Known as the graveyard problem in computational spectral theory, the higher-dimensional case has remained unresolved for more than a decade. We resolve it for Schrödinger operators in dimensions $d\geq2$; together with the known one-dimensional theorem, this settles the no-invisibility problem in all dimensions. Let $A=-Δ+V$ be a Dirichlet Schrödinger operator on a connected open set $Ω\subseteq\mathbb R^d$ with $V\in L^1_{\mathrm{loc}}(Ω)$ bounded below, and set $H=A+iS$, where $S\geq0$ and $S\in L^p(Ω)$, with $1<p<\infty$ for $d=2$ and $d/2\leq p<\infty$ for $d\geq3$. Let $(Ω_R)_{R>0}$ be a nested family of nonempty connected bounded open sets such that $Ω_R\nearrowΩ$ as $R\nearrow+\infty$. Denote by $H_R$ the Dirichlet truncation of $H$ to $Ω_R$. We prove that every spectral point of $H$ is detected by the truncations: for every $λ\inσ(H)$ and every neighborhood $U$ of $λ$, $σ(H_R)\cap U\neq\emptyset$ for sufficiently large $R$. Equivalently, $σ(H)\subseteq\liminf_{R\to\infty}σ(H_R)$. Thus the barrier method does not trade suppression of spectral pollution for spectral invisibility. No regularity of $\partialΩ$ is required, and the assumptions reach the critical Sobolev scale. The proof combines compactness of the dissipative form perturbation, Cwikel-type Schatten estimates for Birman--Schwinger operators, generalized strong resolvent convergence, and a reverse Hansmann--Weyl spectral-variation inequality due to Gil'. A two-dimensional numerical example illustrates the absence of spectral invisibility for the truncated dissipative operators.