[论文解读] Schrödinger operators with negative potentials and Lane-Emden densities

Lorenzo Brasco, Giovanni Franzina+1 more|HAL (Le Centre pour la Communication Scientifique Directe)|Sep 12, 2017

Spectral Theory in Mathematical Physics参考文献 17被引用 6

一句话总结

本文通过推导涉及 Lane-Emden 方程 $-\Delta u = u^{q-1}$ 解的 Hardy 型不等式（其中 $1 \leq q < 2$），建立了在何种充分条件下，具有负势能的薛定谔算子具有正谱。研究证明，若势能 $V$ 超过此类解的对数梯度的负倍数，则 $-\Delta + V$ 的基态能量被正的 Dirichlet 拉普拉斯算子第一特征值的倍数从下方控制。

ABSTRACT

We consider the Schrödinger operator $-Δ+V$ for negative potentials $V$, on open sets with positive first eigenvalue of the Dirichlet-Laplacian. We show that the spectrum of $-Δ+V$ is positive, provided that $V$ is greater than a negative multiple of the logarithmic gradient of the solution to the Lane-Emden equation $-Δu=u^{q-1}$ (for some $1\le q&lt; 2$). In this case, the ground state energy of $-Δ+V$ is greater than the first eigenvalue of the Dirichlet-Laplacian, up to an explicit multiplicative factor. This is achieved by means of suitable Hardy-type inequalities, that we prove in this paper.

研究动机与目标

• 确定具有负势能 $V$ 的薛定谔算子 $-\Delta + V$ 在何种条件下具有正谱。
• 分析有界区域上带 Dirichlet 边界条件的 $-\Delta + V$ 的基态能量。
• 通过 Hardy 型不等式，建立 Lane-Emden 方程与谱下界之间的联系。
• 推导基态能量的显式乘法下界，以 Dirichlet-Laplacian 的第一特征值表示。
• 将经典的 Hardy 不等式推广至涉及 Lane-Emden 密度和非恒定权函数的设定。

提出的方法

• 推导涉及 Lane-Emden 方程 $-\Delta u = u^{q-1}$ 解的对数梯度的新型 Hardy 型不等式（其中 $1 \leq q < 2$）。
• 利用变分法和 Sobolev 嵌入，通过 $L^2$ 和 $L^\gamma$ 范数控制非负解的 $L^\infty$ 范数。
• 在有界区域中对 Lane-Emden 方程的解应用 Moser 迭代技术进行 $L^\infty$ 估计。
• 通过截断函数和能量估计，在 $N$-维球体和柱体中建立迭代的 $L^p$-范数估计。
• 依赖于 $L^2$ 和 $L^\gamma$ 空间中的 Poincaré 不等式与 Sobolev-Poincaré 不等式，推导 $L^\infty$ 估计。
• 引入参数 $\delta$ 以正则化解，并在迭代过程中控制奇点。

实验结果

研究问题

• RQ1 在何种条件下，有界区域上负势能 $V$ 的薛定谔算子 $-\Delta + V$ 的谱为非负？
• RQ2 当 $V$ 足够负时，$-\Delta + V$ 的基态能量与 Dirichlet-Laplacian 的第一特征值有何关系？
• RQ3 能否利用 Lane-Emden 方程的解构造 Hardy 型不等式，以控制 $-\Delta + V$ 的二次型？
• RQ4 Lane-Emden 解的对数梯度在确定 $-\Delta + V$ 的谱界中起何种作用？
• RQ5 Lane-Emden 密度的 $L^\infty$ 估计如何依赖于区域几何形状和 $u^{q-1}$ 中的指数 $q$？

主要发现

• 若 $V \geq -C \cdot \nabla \log u \cdot u^{1-q}$ 对某个 $C > 0$ 成立，且 $u$ 是方程 $-\Delta u = u^{q-1}$ 的解（其中 $1 \leq q < 2$），则 $\sigma(-\Delta + V) \geq 0$。
• 算子 $-\Delta + V$ 的基态能量被正的 Dirichlet 拉普拉斯算子第一特征值 $\lambda_1(\Omega)$ 的倍数从下方控制，具体为 $\inf \sigma(-\Delta + V) \geq C \cdot \lambda_1(\Omega)$，其中 $C > 0$ 为显式常数。
• 在 $N$-维球体中，Lane-Emden 方程的非负解 $u$ 满足 $\|u\|_{L^\infty(B_{R_0/2})} \leq C_N \cdot (640 \, T_N)^{N/4} \left( \fint_{B_{R_0}} u^2 \, dx + \delta \right)$，其中常数显式依赖于 $N$ 和 $q$。
• 在 $N=2$ 时，$L^\infty$ 估计涉及 Sobolev-Poincaré 嵌入的最佳常数 $\lambda_{2,\gamma}(B_1)$，得到 $\|u\|_{L^\infty(B_{R_0/2})} \leq C_\gamma \cdot (640 \, \lambda_{2,\gamma}(B_1)^{-1})^{\gamma/(2(\gamma-2))} \left( \fint_{B_{R_0}} (u+\delta)^2 \, dx \right)^{1/2}$。
• 在 $N=1$ 时，估计为 $\|u\|_{L^\infty(-r_0,r_0)} \leq \frac{4\sqrt{5} \, R_0}{R_0 - r_0} \left( \fint_{-R_0}^{R_0} (u+\delta)^2 \, dx \right)^{1/2}$，其中 $r_0 = R_0/2$，显示出对区域大小的显式依赖。
• 正则化参数 $\delta = \left( \lambda (R_0/2)^2 \right)^{1/(2-q)}$ 被引入，以确保 Moser 迭代过程中的收敛性。