[论文解读] Multiple solutions to logarithmic Schrodinger equations with periodic potential

Marco Squassina, Andrzej Szulkin|arXiv (Cornell University)|Apr 18, 2014

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

一句话总结

本文修正了在周期势场下对对数薛定谔方程多解分析中的技术缺陷，尤其在临界点理论和Palais-Smale条件的应用方面。本文修正了引理2.4，并以基于改进的范数型泛函 $\mu_d(u)$ 的新、更简洁的构造替代了引理2.7，该构造使用局部Lipschitz向量场，确保梯度收敛性，同时保持对称性和紧支集。修正后的框架在周期势场条件下验证了多解的存在性。

ABSTRACT

We study a class of logarithmic Schrodinger equations with periodic potential which come from physically relevant situations and obtain the existence of infinitely many geometrically distinct solutions.

研究动机与目标

• 修正引理2.4证明中的技术错误，该错误涉及对数薛定谔方程背景下次微分与Fréchet导数之间对偶性的刻画。
• 以新、更简洁的构造替代有缺陷的引理2.7，构造一个保持对称性和紧支集的局部Lipschitz向量场 $H$，确保Palais-Smale序列中梯度的收敛性。
• 通过重新定义族 $\mathcal{H}$ 仅包含具有紧支集的映射，恢复定理1.1和1.2中临界点框架的有效性，确保泛函 $J$ 在相关集合上的连续性。
• 通过使用改进的 $\mu_d$ 泛函建立稳健的流和梯度收敛性，确保在周期势场条件下多解的存在性。

提出的方法

• 用修正后的论证替代原始引理2.4，证明 $w \in \partial J(u)$ 当且仅当 $w = J'(u)$，使用测试函数 $z \in C_0^\infty(\mathbb{R}^N)$ 并取 $t \to 0$ 的极限。
• 引入新泛函 $\mu_d(u) := \inf_{a \in J^d} \{ \|J'(a)\| + \|u - a\| \}$ 以度量到临界点的距离，该泛函在 $u \in J^d$ 时为Lipschitz连续且有限。
• 利用子覆盖的单位分解构造向量场 $H(u) = \frac{1}{2}(H_1(u) - H_1(-u))$，确保其奇性、有界性和紧支集。
• 证明 $\|H(u)\| \leq 1$ 且 $\langle J'(u), H(u) \rangle > \frac{1}{2}\mu_d(u)$，从而保证流沿下降方向。
• 将原始流定义修改为作用于 $J^d \setminus K$ 而非 $D(J) \setminus K$，以确保与新向量场及紧支集的兼容性。
• 重新定义族 $\mathcal{H}$，使其仅包含保持紧支集的奇同胚，从而确保 $J$ 在像集上的连续性，并保证存在 $T > 0$ 使得 $J(\widetilde{\eta}(T,u)) < d - \varepsilon$。

实验结果

研究问题

• RQ1 原始引理2.4是否正确刻画了 $J$ 的次微分与 $J'$ 之间的关系？若否，需要何种修正？
• RQ2 能否构造一个更简单且更稳健的向量场以替代有缺陷的引理2.7，同时保持变形引理所需的性质？
• RQ3 当 $J$ 不是全局连续时，如何在定理1.1和1.2的基于流的证明中恢复 $J$ 的连续性？
• RQ4 为确保当 $A$ 具有紧支集时 $J$ 在 $h(A)$ 的像集上保持连续，对族 $\mathcal{H}$ 需作何种修改？
• RQ5 能否通过修正后的框架重新确立具有周期势场的对数薛定谔方程多解的存在性？

主要发现

• 修正后的引理2.4表明 $w \in \partial J(u)$ 当且仅当 $w = J'(u)$，其证明依赖于 $C_0^\infty(\mathbb{R}^N)$ 中的测试函数并取极限 $t \to 0$。
• 引理2.7中的新向量场 $H$ 满足 $\|H(u)\| \leq 1$，$\langle J'(u), H(u) \rangle > \frac{1}{2}\mu_d(u)$，且具有局部紧支集，确保流保持良好行为。
• 泛函 $\mu_d(u)$ 的Lipschitz连续性常数为1，且 $\mu_d(u_n) \to 0$ 意味着沿满足 $\|u_n - a_n\| \to 0$ 的序列 $a_n$，有 $J'(u_n) \to 0$。
• 流 $\widetilde{\eta}$ 现在定义在 $J^{d+2\varepsilon_0} \setminus K$ 上，且修正后的向量场确保对某个 $T > 0$ 及所有 $u$ 属于紧集 $B$，有 $J(\widetilde{\eta}(T,u)) < d - \varepsilon$。
• 重新定义的族 $\mathcal{H}$ 确保当 $A$ 具有紧支集时 $J$ 在 $h(A)$ 上连续，从而在定理1.1的证明中保证存在 $T > 0$。
• 修正后的框架恢复了定理1.1和1.2的有效性，确认了在周期势场条件下对数薛定谔方程多解的存在性。