[论文解读] Solutions for fractional operator problem via local Pohozaev identities

Yuxia Guo, Ting Liu+1 more|arXiv (Cornell University)|Apr 17, 2019

Nonlinear Partial Differential Equations参考文献 28被引用 4

一句话总结

本文通过结合有限维约化方法与局部Pohozaev恒等式，证明了在势能 $ V(|y'|, y'') $ 满足较弱对称性条件时，分数阶Schrödinger方程在临界指数下存在无穷多组解。通过在 $ r^{2s}V(r, y'') $ 的非退化临界点附近进行精确渐近分析与摄动技术，揭示了多峰解的产生机制。

ABSTRACT

We consider the following fractional Schrödinger equation involving critical exponent: \begin{equation*} \left\{\begin{array}{ll} (-Δ)^s u+V(|y'|,y'')u=u^{2^*_s-1} \ \hbox{ in } \ \mathbb{R}^N, \\ u>0, \ y \in \mathbb{R}^N, \end{array} ight. \end{equation*} where $s\in(\frac{1}{2}, 1)$, $(y',y'')\in \mathbb{R}^2 imes \mathbb{R}^{N-2}$, $V(|y'|,y'')$ is a bounded nonnegative function with a weaker symmetry condition. We prove the existence of infinitely many solutions for the above problem by a finite dimensional reduction method combining various Pohazaev identies.

研究动机与目标

• 在 $ \mathbb{R}^N $ 中建立分数阶Schrödinger方程在临界非线性项下存在无穷多组正解的证明。
• 解决分数阶Laplacian算子 $ (-\Delta)^s $（其中 $ s \in (\frac{1}{2}, 1) $）在临界指数问题背景下所面临的非局部性挑战。
• 通过放宽势能 $ V(y) $ 的对称性假设，将先前关于多峰解结果的适用范围扩展至弱于径向对称或完全旋转对称的条件。
• 构建一个精细化的分析框架，结合有限维约化与局部Pohozaev恒等式，以控制解在集中点附近的渐近行为。

提出的方法

• 利用有限维约化方法，将近似解由截断泡解 $ Z_{x_j,\lambda} $ 构造出的无限维变分问题约化为有限维问题。
• 采用局部Pohozaev恒等式，推导能量泛函梯度的精确渐近展开，从而实现对近似解的位置与尺度参数的控制。
• 通过在标准基态 $ U_{x,\lambda} $ 上引入截断函数 $ \zeta $，构造一族近似解 $ Z_{\bar{r},\bar{y}^{\prime\prime},\lambda} $，确保其具有紧支集并在能量空间中衰减。
• 在空间 $ H^s(\mathbb{R}^N) $ 中应用加权范数与估计方法，控制由非线性项与势能 $ V $ 引入的误差项，尤其在 $ V $ 非零的区域。
• 采用Lyapunov-Schmidt型分解求解投影方程，将问题约化为关于参数 $ \bar{r}, \bar{y}^{\prime\prime}, \lambda $ 的有限维系统。
• 利用度理论与 $ r^{2s}V(r, y^{\prime\prime}) $ 的临界点非退化性，确保约化后有限维系统存在解，从而导出原方程的真解。

实验结果

研究问题

• RQ1 当势能 $ V $ 仅满足较弱对称性条件时，能否为分数阶Schrödinger方程在临界指数下构造出无穷多组解？
• RQ2 如何将局部Pohozaev恒等式适配于处理分数阶Laplacian非局部性质的多峰解情形？
• RQ3 函数 $ r^{2s}V(r, y^{\prime\prime}) $ 在决定多峰解的位置与稳定性方面起到何种作用？
• RQ4 在何种条件下，有限维约化方法仍适用于具有临界增长的分数阶Schrödinger方程？
• RQ5 泡解 $ U_{x,\lambda} $ 及其截断版本 $ Z_{x_j,\lambda} $ 的衰减性质如何影响解在能量空间中的收敛性与存在性？

主要发现

• 本文证明了在 $ r^{2s}V(r, y^{\prime\prime}) $ 具有非退化临界点且度数非零的条件下，分数阶Schrödinger方程在临界指数 $ 2^*_s = \frac{2N}{N-2s} $ 下存在无穷多组正解，且解存在于 $ \mathbb{R}^N $ 中。
• 解以多峰形式构造，每个峰集中于 $ y' $-平面上正 $ k $ 边形的顶点附近，第 $ j $ 个峰位于 $ x_j = (\bar{r} \cos \theta_j, \bar{r} \sin \theta_j, \bar{y}^{\prime\prime}) $，其中 $ \theta_j = \frac{2(j-1)\pi}{k} $。
• 能量泛函梯度的渐近误差被证明为 $ O\left(\frac{k}{\lambda^{2s+1+\sigma}}\right) $，其大小足够小，可保证Lyapunov-Schmidt约化成功。
• 该方法依赖于势能与非线性项的摄动项通过加权 $ L^2 $-型估计及截断泡解的点态衰减得到控制。
• 在 $ (r_0, y_0^{\prime\prime}) $ 处 $ r^{2s}V(r, y^{\prime\prime}) $ 的临界点具有非零度数，确保了约化后有限维问题存在解。
• 分析结果表明，局部Pohozaev恒等式在捕捉非局部算子、势能与非线性项之间的精确平衡方面至关重要，尤其在 $ N \leq 6s $ 的情形下。