[论文解读] Bifurcation into spectral gaps for a noncompact semilinear Schrödinger equation with nonconvex potential

Christophe Troestler|arXiv (Cornell University)|Jul 4, 2012

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

一句话总结

本文证明了在非紧致非线性薛定谔方程中，于每个谱隙的上边界处存在非平凡解分支的分岔，该方程具有非凸势能。通过变分法与谱分解，证明了解从谱隙上界 λ = b 处连续出现，其能量与范数的收敛速率精确依赖于非线性项在零附近的局部增长指数 β。

ABSTRACT

This paper shows that the nonlinear periodic eigenvalue problem $${cases} -Δu + V(x) u - f(x,u) = λu, u \in H^1(\IR^N), {cases}$$ has a nontrivial branch of solutions emanating from the upper bound of every spectral gap of $-Δ+ V$. No convexity condition is assumed. The following result of independent interest is also proven: the direct sum $Y \oplus Z$ in $H^1(\IR^N)$ associated to a decomposition of the spectrum of $-Δ+V$ remains "topologically direct" in the $L^p$'s (in the sense that the projections from $Y+Z$ onto $Y$ and $Z$ are $L^p$-continuous).

研究动机与目标

• 建立非紧致半线性薛定谔方程中，每个谱隙上边界处非平凡解分支存在的证明。
• 去除先前相关分岔结果中对势能泛函 F(x,u) 的凸性假设。
• 分析当 λ 趋近于谱隙上边界 b 时解的渐近行为，量化能量与 H¹ 范数的收敛速率。
• 证明 H¹(ℝᴺ) 的谱分解为正负谱子空间在 Lᵖ 空间中保持拓扑稳定性，确保投影的连续性。

提出的方法

• 将问题表述为 H¹(ℝᴺ) 上能量泛函 𝒟λ(u) = ½∫|∇u|² + (V−λ)u² − ∫F(x,u) dx 的临界点问题。
• 采用具有链式几何结构的变分方法，依赖于假设 (f1)–(f6)，包括超二次增长、亚临界增长以及局部夹紧条件 (f6)。
• 利用谱理论将 H¹(ℝᴺ) 分解为闭子空间 Y 和 Z，其中能量的二次部分分别负定与正定。
• 证明 Y 和 Z 上的谱投影在 Lᵖ(ℝᴺ) 上连续，其中 p ∈ [2, 2*]，从而确保分解的拓扑稳定性。
• 通过 C¹ 偶函数 H(u) 构造凸的下界，使其在零附近匹配 min{|u|ᵝ, |u|ᵅ} 的局部增长，并在无穷远处也匹配。
• 利用 (f6) 中的指数 β，推导出当 λ ↘ b 时解的能量与 H¹ 范数的精确渐近估计。

实验结果

研究问题

• RQ1 在具有非凸非线性项的非紧致半线性薛定谔方程中，非平凡解分支是否能从谱隙的上边界处分岔？
• RQ2 当势能 F(x,u) 不具凸性时，是否仍能在谱隙边界处发生分岔？
• RQ3 当分岔参数 λ 趋近于谱隙上边界 b 时，解的能量与范数的精确收敛速率是什么？
• RQ4 H¹(ℝᴺ) 的谱分解为正负谱子空间是否在 Lᵖ 空间中保持拓扑不变，其中 p ∈ [2, 2*]？
• RQ5 能否为非凸泛函 min{|u|ᵝ, |u|ᵅ} 构造一个凸下界，同时保持其在局部与全局的渐近行为？

主要发现

• 对于每个包含 0 的谱隙 (a,b)，存在一条从 λ = b 处分岔出的非平凡解分支，其能量满足 ℰλ(uλ) = O((b−λ)^{β/(β−2)−N/2}) → 0 当 λ → b。
• 若 β < 2 + 4/N，则解的 H¹ 范数满足 ‖uλ‖ = O((b−λ)^{1/(β−2)−N/4}) → 0 当 λ → b，且条件 β < 2 + 4/N 为最优。
• H¹(ℝᴺ) 的谱分解 Y ⊕ Z 为 −Δ + V 的负与正谱子空间，在所有 p ∈ [2, 2*] 下于 Lᵖ(ℝᴺ) 中保持拓扑直和。
• Y 与 Z 上的投影在 Lᵖ 中连续，这对变分方法至关重要，其成立依赖于算子 D 的预解在 Lᵖ 中的连续性。
• 存在一个 C¹ 的凸函数 H(u)，使得 H(u) ≤ min{|u|ᵝ, |u|ᵅ}，H(u) ∼ |u|ᵝ 当 u → 0，H(u) ∼ |u|ᵅ 当 |u| → ∞，且对所有 t ≥ 0 有 H(tu) ∈ [min{tᵅ,tᵝ}, max{tᵅ,tᵝ}] H(u)。
• 即使 F 不是凸的，只要满足局部夹紧条件 (f6)，结果仍然成立，该条件确保了在零附近足够的增长，从而支持分岔的发生。