[论文解读] Infinitely many non-radial sign-changing solutions for a Fractional Laplacian equation with critical nonlinearity

Fei Fang|arXiv (Cornell University)|Aug 14, 2014

Nonlinear Partial Differential Equations参考文献 17被引用 8

一句话总结

该论文证明了在 $\mathbb{R}^N$ ($N \geq 3$) 上，具有临界非线性的分数阶拉普拉斯方程存在无穷多组非径向变号解。通过基于多个以对称点为中心的泡状解的粘合构造，作者运用李雅普诺夫-施密特约化方法与巴拿赫不动点定理，证明了对任意大的 $k$，存在形式为 $u_k(x) = U(x) - \sum_{j=1}^k \mu_k^{-\frac{N-2s}{2}}U(\mu_k^{-1}(x - \xi_j)) + o(1)$ 的有限能量解，其中 $\xi_j$ 是 $\mathbb{C} \times \mathbb{R}^{N-2}$ 中正 $k$ 边形的顶点，且当 $k \to \infty$ 时 $\mu_k \to 0$。该工作的关键贡献在于首次为这一临界分数阶问题证明了无穷多组非径向变号解的存在性。

ABSTRACT

In this work, the following fractional Laplacian problem with pure critical nonlinearity is considered \begin{equation*} \left\{ \begin{array}{ll} (-Δ)^{s} u=|u|^{\frac{4s}{N-2s}}u, &\mbox{in}\ \mathbb{R}^N, \\ u\in \mathcal{D}^{s,2}(\mathbb{R}^N), \end{array} ight. \end{equation*} where $s\in (0,1)$, $N$ is a positive integer with $N\geq 3$, $(-Δ)^{s}$ is the fractional Laplacian operator. We will prove that this problem has infinitely many non-radial sign-changing solutions.

研究动机与目标

• 证明在 $\ mathbb{R}^N$ ($N \geq 3$) 上，具有纯临界非线性的分数阶拉普拉斯方程存在无穷多组非径向变号解。
• 将解的构造方法拓展至非径向对称情形，填补了临界分数阶方程变号解研究中的空白。
• 将经典 Yamabe 问题的方法推广至分数阶情形，利用解的对称构型实现推广。
• 通过李雅普诺夫-施密特约化与压缩映射论证，严格证明具有指定对称性与符号变化的解的存在性。

提出的方法

• 将近似解 $u_k$ 构造为 $k$ 个对称分布的泡状解 $U_{x_j,\Lambda}$ 的叠加，其中心位于 $\mathbb{C} \times \mathbb{R}^{N-2}$ 中构成正 $k$ 边形的点 $\xi_j$。
• 利用基态解 $U$ 的 Kelvin 变换不变性，确保泡状轮廓是极限方程 $(-\Delta)^s U = |U|^{\frac{4s}{N-2s}}U$ 的解。
• 应用李雅普诺夫-施密特约化方法，将偏微分方程约化为有限维问题，将解分解为局域分量 $\tilde{\phi}_j$ 与余项 $\psi$。
• 引入截断函数以实现问题的局域化，并控制泡之间的相互作用，确保误差项在加权范数下足够小。
• 采用加权范数 $\|\cdot\|_*$ 及其对偶范数 $\|\cdot\|_{**}$ 来估计非线性误差项，并应用巴拿赫不动点定理。
• 在足够大的 $k$ 下，于加权函数空间中的小球内通过压缩映射论证，证明了解的唯一性。

实验结果

研究问题

• RQ1 能否在 $\ mathbb{R}^N$ 上构造出分数阶拉普拉斯方程在临界非线性下无穷多组非径向变号解？
• RQ2 多个泡状解的对称粘合是否能产生具有符号变化与非径向结构的解？
• RQ3 李雅普诺夫-施密特约化方法能否被适配至非局部分数阶情形，以证明此类解的存在性？
• RQ4 当泡的数量 $k \to \infty$ 时，解的形态具有怎样的渐近行为？
• RQ5 在加权范数框架下，解的结构是否对小扰动具有稳定性？

主要发现

• 在 $\ mathbb{R}^N$ ($N \geq 3$) 上，方程 $(-\Delta)^s u = |u|^{\frac{4s}{N-2s}}u$ 存在无穷多组非径向变号解。
• 对任意足够大的 $k$，存在形式为 $u_k(x) = U(x) - \sum_{j=1}^k \mu_k^{-\frac{N-2s}{2}}U(\mu_k^{-1}(x - \xi_j)) + o(1)$ 的解，其中 $\mu_k = \delta_k^{\frac{2}{N-2s}}k^{-3}$，且 $\xi_j$ 为正 $k$ 边形的顶点。
• 误差项 $o(1)$ 满足当 $k \to \infty$ 时一致收敛于零，确保解可由 $k$ 个泡的叠加良好逼近。
• 解 $u_k$ 在每个 $\xi_j$ 周围的区域中符号发生变化，证实了解具有非径向性与变号性。
• 在加权空间 $X$ 中通过压缩映射论证，确保了对近似解的唯一校正项 $\phi$ 的存在性，从而验证了构造的正确性。
• 该方法表明，临界指数 $p = \frac{4s}{N-2s}$ 允许存在对称、非径向、变号解，将局部情形的结果推广至分数阶情形。