[论文解读] Bifurcation from infinity for elliptic problems on $R^N$

Aleksander Ćwiszewski, Wojciech Kryszewski|arXiv (Cornell University)|Jun 8, 2018

Advanced Mathematical Physics Problems被引用 1

一句话总结

该论文建立了在 $\mathbb{R}^N$ 上半线性薛定谔方程中从无穷远处渐近分岔的条件，表明当参数 $\lambda_0$ 是位于本质谱之下的孤立特征值且重数为奇数时，若满足兰德斯曼-拉泽或符号型共振条件，则分岔会发生。证明使用了 $H^1(\mathbb{R}^N)$ 中无界解的广义Conley指标与拓扑度论证，将分岔与薛定谔算子的束缚态联系起来。

ABSTRACT

In the paper the asymptotic bifurcation of solutions to a parameterized stationary semilinear Schr\"odinger equation involving a potential of the Kato-Rellich type is studied. It is shown that the bifurcation from infinity occurs if the parameter is an eigenvalue of the hamiltonian lying below the asymptotic bottom of the bounded part of the potential. Thus the bifurcating solution are related to bound states of the corresponding Schr\"odinger equation. The argument relies on the use of the (generalized) Conley index due to Rybakowski and resonance assumptions of the Landesman-Lazer or sign-condition type.

研究动机与目标

• 表征参数化半线性薛定谔方程在 $\u005cmathbb{R}^N$ 上解的渐近分岔。
• 确定当参数 $\lambda$ 趋近于哈密顿量的特征值时，解从无穷远处分岔的条件。
• 建立渐近分岔与薛定谔方程中束缚态存在的联系。
• 通过引入具有Kato-Rellich型势的薛定谔算子谱理论，将分歧理论从有界区域推广到无界区域。
• 将广义Conley指标与共振条件（兰德斯曼-拉泽型或符号型）等拓扑工具应用于无界解分支。

提出的方法

• 利用Rybakowski提出的广义Conley指标理论，分析半线性椭圆方程相关半流的动力学。
• 应用Toland反演技巧，将渐近分岔与变换后问题中从零出发的分岔联系起来。
• 在共振条件下实施拓扑度论证，依赖于奇重特征值条件以及兰德斯曼-拉泽或符号型条件。
• 将哈密顿算子 $A = -\Delta + V(x)$ 的谱分解为谱子空间 $X_0$、$X_+$ 和 $X_-$，其中 $X_0$ 对应该孤立特征值 $\lambda_0$。
• 通过 $L^2$ 与 $H^1$ 范数，利用由 $-(A - \lambda I)$ 生成的半群的能量估计与衰减估计，证明解的有界性。
• 在 $H^1(\u005cmathbb{R}^N)$ 中使用隔离邻域，并利用同伦指标的连续性，当假设在 $\lambda_0$ 处无分岔时导出矛盾。

实验结果

研究问题

• RQ1 在 $\mathbb{R}^N$ 上的半线性薛定谔方程中，渐近分岔在参数值 $\lambda_0$ 处发生的条件是什么？
• RQ2 从无穷远处的分岔如何与哈密顿算子 $A = -\Delta + V(x)$ 的谱性质相关，特别是 $\lambda_0$ 相对于本质谱的位置？
• RQ3 当 $\lambda_0$ 为偶重特征值时，兰德斯曼-拉泽型或符号型共振条件在确保分岔中起什么作用？
• RQ4 广义Conley指标能否有效用于检测无界区域中非紧算子下从无穷远处的分岔？
• RQ5 非线性项 $f(x,u)$ 在无穷远处的行为如何影响无界解分支的存在性？

主要发现

• 当 $\lambda_0$ 是哈密顿算子 $A = -\Delta + V(x)$ 本质谱之下的孤立特征值且重数为奇数时，渐近分岔在 $\lambda_0$ 处发生。
• 对于偶重孤立特征值，若 $f(x,u)$ 在 $|u| \to \infty$ 时满足兰德斯曼-拉泽型或符号型共振条件，则渐近分岔得以保证。
• 分岔出的解与薛定谔方程的束缚态相关，即能量低于本质谱下限的解。
• 证明依赖于同伦指标的连续性与反证法：假设无分岔将导致指标非平凡变化，与奇重特征值假设矛盾。
• 有界解集在 $H^1(\u005cmathbb{R}^N)$ 中保持一致有界，且通过谱投影的 $L^2$ 与 $H^1$ 范数在 $H^1$ 中构造了隔离邻域。
• 关键矛盾源于隔离邻域边界处 $\frac{1}{2}\frac{d}{dt}\|Pu(t)\|^2_{L^2}$ 的符号，违反了半流下的不变性。