[论文解读] Existence of minimal nodal solutions for the Nonlinear Schroedinger equations with V ({\infty}) = 0

Marco Ghimenti, Anna Maria Micheletti|arXiv (Cornell University)|Dec 27, 2010

Advanced Mathematical Physics Problems参考文献 7被引用 6

一句话总结

本文在双幂次非线性项和在正交对合变换 $\tau$ 下不变的势 $V$ 的条件下，证明了当 $V(\infty) = 0$ 时，非线性薛定谔方程 $-\Delta u + V(x)u = f'(u)$ 在 $\mathbb{R}^N$ 上存在最小节点解（即符号恰好改变一次的解）。通过将能量泛函限制在 $\tau$-反对称函数上，并利用在局部区域 $V_y$ 上对零势的扰动，作者证明：当支撑集充分分离时，约束流形上能量的下确界可被实现，且严格小于两倍的基态能量，从而得到一个最小节点解。

ABSTRACT

We consider the problem Δu+V(x)u = f'(u) in RN. Here the nonlinearity has a double power behavior and V is invariant under an orthogonal involution, with V ({\infty}) = 0. An existence theorem of one pair of solutions which change sign exactly once is given.

研究动机与目标

• 建立当势 $V$ 在无穷远处趋于零时，非线性薛定谔方程在 $\mathbb{R}^N$ 上存在恰好改变一次符号的变号解（即最小节点解）的存在性。
• 通过利用正交对合变换 $\tau$ 的对称性，克服节点解缺乏紧致性与自然约束的困难。
• 证明对于一类具有分离支撑的特定势 $V_y$，在 $\tau$-反对称 Nehari 流形上能量泛函的下确界可被实现，且严格小于 $2\mu_0$（即基态能量的两倍）。
• 证明在这些条件下，极小化元为最小节点解，即其符号恰好改变一次。

提出的方法

• 定义能量泛函 $E_V(u) = \frac{1}{2}\int |\nabla u|^2 + \frac{1}{2}\int V(x)u^2 - \int f(u)$，并将其限制在 $\tau$-反对称函数上，即满足 $u(\tau x) = -u(x)$。
• 引入一类在点 $y$ 和 $\tau y$ 附近局部化的势 $V_y$，满足 $||V_y||_{L^{N/2}} < S$，以保证 Pohožaev 型不等式成立。
• 使用测试函数 $z_y = \theta w(x-y) + \theta w(x-\tau y)$，其中 $w$ 是零势下对应的基态解，以估计约束流形上的能量。
• 证明当 $|y - \tau y| \to \infty$ 时，缩放测试函数 $t^{V_y}_{z_y} z_y$ 的能量收敛于 $\varphi(\bar{t}) < 2\mu_0$，其中 $\bar{t} < 1$。
• 应用分裂引理，证明当 $|y - \tau y|$ 足够大时，下确界 $\mu_{V_y}^\tau$ 可被实现。
• 通过将解分解为节点分量并导出矛盾的反证法，证明极小化元恰好具有一个正部和一个负部，因此为最小节点解。

实验结果

研究问题

• RQ1 当 $V(\infty) = 0$ 且非线性项具有双幂次增长时，非线性薛定谔方程是否存在最小节点解？
• RQ2 当 $V > 0$ 时基态解不存在，是否意味着节点解也无法存在？或者是否仍可通过对称性方法找到节点解？
• RQ3 通过关于 $y$ 和 $\tau y$ 对称且局部化的 $V_y$ 对零势进行扰动，能否恢复紧致性并使能量下确界被实现？
• RQ4 在对称性约束与衰减势条件下，能否构造出恰好改变一次符号的解？

主要发现

• 当 $V \equiv 0$ 时，下确界 $\mu_0^\tau$ 无法被实现，且当 $V > 0$ 时 $\mu_V^\tau = \mu_0^\tau = 2\mu_0$。
• 对于 (10) 式中定义的势 $V_y$，当 $|y - \tau y|$ 足够大时，有 $\mu_{V_y}^\tau < \mu_0^\tau = 2\mu_0$。
• 当 $|y - \tau y|$ 足够大时，下确界 $\mu_{V_y}^\tau$ 可被实现，从而在 $\tau$-反对称类中存在极小化元 $\omega$。
• 极小化元 $\omega$ 恰好改变一次符号，通过反证法证明：假设存在多于一个节点分量，将导致 $\mu_{V_y}^\tau \geq k\mu_{V_y}^\tau$（$k > 1$），矛盾。
• 极小化元的能量满足 $E_{V_y}(\omega) < 2\mu_0$，确认其严格小于基态能量的两倍。
• 沿测试序列的能量泛函收敛性保证了当分离度足够大时，$\mu_{V_y}^\tau$ 严格小于 $2\mu_0$。