[论文解读] A ground state alternative for singular Schrödinger operators

Yehuda Pinchover, Kyril Tintarev|ArXiv.org|Nov 30, 2004

Spectral Theory in Mathematical Physics参考文献 9被引用 8

一句话总结

本文为奇异薛定谔算子确立了一个基本的二分法：要么其关联的二次型具有加权谱隙（次临界情形），要么存在一个正的零状态（临界情形），该零状态满足一种Poincaré型不等式。关键贡献在于次临界性与临界性的精确二选一，通过一个权函数和一个线性泛函项明确刻画了临界情形。

ABSTRACT

Let $\mathbf{a}$ be a quadratic form associated with a Schrödinger operator $L=- abla\cdot(A abla)+V$ on a domain $Ω\subset \mathbb{R}^d$. If $\mathbf{a}$ is nonnegative on $C_0^{\infty}(Ω)$, then either there is $W>0$ such that $\int W|u|^2 dx\leq \mathbf{a}[u]$ for all $C_0^{\infty}(Ω;\mathbb{R})$, or there is a sequence $ϕ_k\in C_0^{\infty}(Ω)$ and a function $ϕ>0$ satisfying $Lϕ=0$ such that $\mathbf{a}[ϕ_k] o 0$, $ϕ_k oϕ$ locally uniformly in $Ω\setminus\{x_0\}$. This dichotomy is equivalent to the dichotomy between $L$ being subcritical resp. critical in $Ω$. In the latter case, one has an inequality of Poincaré type: there exists $W>0$ such that for every $ψ\in C_0^\infty(Ω;\mathbb{R})$ satisfying $\int ψϕdx eq 0$ there exists a constant $C>0$ such that $C^{-1}\int W|u|^2 dx\le \mathbf{a}[u]+C|\int u ψdx|^2$ for all $u\in C_0^\infty(Ω;\mathbb{R})$.

研究动机与目标

• 为与奇异薛定谔算子相关的非负二次型，建立其存在加权谱隙与存在零状态之间的二分法。
• 通过涉及权函数和线性泛函项的Poincaré型不等式，刻画临界情形。
• 提供一种通过约束非线性问题的最小化来构造临界势能的构造性方法。
• 从谱性质和形式行为的角度，阐明次临界算子与临界算子之间的区别。
• 在具有奇异势能的奇异薛定谔算子背景下，深化对基态和零序列的理解。

提出的方法

• 分析依赖于二次型 $\mathbf{a}[u] = \int_{\Omega} (A\nabla u \cdot \nabla u + V|u|^2)\,dx$ 在 $C_0^\infty(\Omega)$ 上的非负性，确保该形式定义了一个内积。
• 定义零序列 $\{\varphi_k\}$ 为 $C_0^\infty(\Omega)$ 中满足 $\mathbf{a}[\varphi_k] \to 0$ 的序列，而零状态 $\varphi > 0$ 是此类序列的局部一致极限。
• 加权谱隙的存在性定义为：存在某个在 $\Omega$ 中连续的 $W > 0$，使得 $\int W|u|^2\,dx \leq \mathbf{a}[u]$ 成立，这表征了次临界情形。
• 在临界情形下，论文推导出一种Poincaré型不等式：对所有 $u \in C_0^\infty(\Omega;\mathbb{R})$ 满足 $\int \psi \varphi\,dx \neq 0$，有 $C^{-1}\int W|u|^2\,dx \leq \mathbf{a}[u] + C\left|\int \psi u\,dx\right|^2$，其中 $\varphi$ 为零状态。
• 通过在约束 $\int W_0|u|^p\,dx = 1$（$p > 2$）下最小化 $\mathbf{a}[u]$，实现临界势能的构造，其最小化解 $v$ 给出临界算子 $L - W$，其中 $W = \kappa W_0 v^{p-2}$。
• 证明使用了集中紧致性方法和Fatou引理，表明最小化解 $v$ 是扰动后形式的零状态，从而说明 $L - W$ 的临界性。

实验结果

研究问题

• RQ1 在何种条件下，与奇异薛定谔算子相关的非负二次型会具有加权谱隙或零状态？
• RQ2 临界情形的精确刻画是什么？其形式与线性泛函项相关的不等式如何表达？
• RQ3 如何通过约束非线性问题的最小化解，显式构造临界势能？
• RQ4 零状态的存在性与临界区域内Dirichlet问题的可解性之间有何关系？
• RQ5 当势能被紧支集函数扰动时，算子的谱性质如何变化？

主要发现

• 本文确立了一个精确的二分法：要么二次型 $\mathbf{a}$ 通过某个 $W > 0$ 满足 $\int W|u|^2\,dx \leq \mathbf{a}[u]$ 而具有加权谱隙，要么存在一个正的零状态 $\varphi$，使得 $\mathbf{a}[\varphi_k] \to 0$ 且 $\varphi_k \to \varphi$ 在 $\Omega \setminus \{x_0\}$ 上局部一致成立。
• 在临界情形下，对任意满足 $\int \psi \varphi\,dx \neq 0$ 的 $\psi \in C_0^\infty(\Omega;\mathbb{R})$，存在 $C > 0$，使得对所有 $u \in C_0^\infty(\Omega;\mathbb{R})$，有 $C^{-1}\int W|u|^2\,dx \leq \mathbf{a}[u] + C\left|\int \psi u\,dx\right|^2$ 成立，其中 $W > 0$ 连续。
• 所有由临界不等式右边诱导的范数在不同 $\psi$ 下等价，确保了该刻画的鲁棒性。
• 临界势能 $W = \kappa W_0 v^{p-2}$ 通过在约束 $\int W_0|u|^p\,dx = 1$ 下最小化 $\mathbf{a}[u]$ 构造而成，且证明了最小化解 $v$ 是扰动后形式的零状态。
• 在确保 $\kappa > 0$ 的条件下，约束问题的最小值可被取到，且由此得到的算子 $L - W$ 在 $\Omega$ 中是临界的，如在 $\Omega = \mathbb{R}^d \setminus \mathbb{R}^m$ 且 $p = \frac{2d}{d-2}$、$W_0 = 1$ 的情形下所示。
• 零状态 $\varphi$ 是方程 $L\varphi = 0$ 的弱解，且此类状态的存在性意味着不存在加权谱隙，从而确认了次临界与临界行为之间的二分法。