[论文解读] Symmetry breaking for an elliptic equation involving the Fractional Laplacian

Pablo L. De Nápoli|arXiv (Cornell University)|Sep 25, 2014

Nonlinear Partial Differential Equations参考文献 20被引用 7

一句话总结

本文通过证明加权分数阶Sobolev空间中径向函数的新版本Strauss型不等式，建立了大球内涉及分数阶Laplacian的分数阶椭圆方程的对称性破缺。通过比较径向与非径向极小化器的能量，证明了当半径充分大时，在特定指数与权重条件下，径向与非径向正解均存在，将经典结果推广至非局部情形。

ABSTRACT

We study the symmetry breaking phenomenon for an elliptic equation involving the fractional Laplacian in a large ball. Our main tool is an extension of the Strauss radial lemma involving the fractional Laplacian, which might be of independent interest; and from which we derive compact embedding theorems for a Sobolev-type space of radial functions with power weights.

研究动机与目标

• 研究在径向对称区域中涉及分数阶Laplacian的椭圆方程的对称性破缺。
• 将局部Laplacian情形（s=1）的经典对称性破缺结果推广至非局部分数阶Laplacian情形（1/2 < s < 1）。
• 建立加权分数阶Sobolev空间中径向函数的紧嵌入定理。
• 证明一个适用于分数阶Laplacian与幂权重的新版本Strauss径向引理，该结果对紧性与能量估计至关重要。
• 在显式给出指数与权重条件的前提下，证明在大球中一类非线性分数阶方程同时存在径向与非径向正解。

提出的方法

• 推导加权能量空间 $ H^s_{2,a}(bR^n) $ 中径向函数的新分数阶Strauss型不等式，以保证衰减性与紧性。
• 采用调和分析技术，将函数分解为高频与低频部分，以证明新Strauss不等式，该方法与经典分部积分法不同。
• 应用文献[24]中的截断函数技巧，以处理分数阶Laplacian在能量估计中的非局部性。
• 比较 $ H^s_{2,a,0}(B_R) $ 与 $ H^s_{2,a}(bR^n) $ 中相关能量泛函的径向与非径向极小化器的能量水平。
• 证明当 $ R $ 足够大时，有 $ M(R) < m(R) $，其中 $ M(R) $ 与 $ m(R) $ 分别为非径向与径向函数上能量泛函的下确界，表明存在不同的极小化器。
• 利用强最大值原理证明极小化器在 $ B_R $ 几乎处处严格为正，从而确认正解的存在性。

实验结果

研究问题

• RQ1 在何种条件下，分数阶椭圆方程 $ (-\Delta)^s u + |x|^a u = |x|^b u^{p-1} $ 在 $ B_R $ 中同时存在径向与非径向正解？
• RQ2 Sintzoff针对局部Laplacian（s=1）的经典对称性破缺结果能否推广至分数阶Laplacian情形（1/2 < s < 1）？
• RQ3 权重参数 $ a $、$ b $ 以及指数 $ p $ 在决定非径向解存在性方面起何作用？
• RQ4 在标准分数阶Sobolev嵌入缺乏紧性的情况下，如何在具有幂权重的分数阶Sobolev设定中恢复紧性？
• RQ5 为确保加权分数阶设定中径向函数的衰减性与紧性，需要何种新型函数不等式？

主要发现

• 当 $ n \geq 2 $，$ 1/2 < s < 1 $，$ 2 < p < 2^* = \frac{2n}{n-2s} $，$ 0 < a < n $，且 $ b > \frac{ap}{2} $ 时，在大球中发生对称性破缺。
• 条件 $ a(p-2-2ps) + 4bs < 2s(p-2)(n-1) $ 确保了当 $ R $ 充分大时，非径向极小化器的能量严格低于径向极小化器。
• 在 $ \bbR^n $ 中非径向函数上能量泛函的下确界 $ M(\infty) $ 为零，而 $ m(\infty) > 0 $，表明在无穷远处非径向解在能量上更具优势。
• 当 $ R $ 足够大时，非径向解的能量水平 $ M(R) $ 低于径向能量水平 $ m(R) $，从而证明了存在不同的径向与非径向正弱解。
• 本文建立了 $ H^s_{2,a} $ 中径向函数的新分数阶Strauss不等式，该不等式提供衰减估计，并支持在加权空间中的紧嵌入。
• 证明依赖于一种新颖的调和分析方法——将函数分解为高频与低频部分，而非局部情形中常用的经典分部积分法。