[论文解读] Variational problems related to some fractional kinetic equations

Hichem Hajaiej|arXiv (Cornell University)|May 6, 2012

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

一句话总结

该论文建立了与分数阶动能方程相关的分数阶拉普拉斯算子约束变分问题中极小化器的存在性、径向对称性及径向递减性。当非线性项增长亚临界时（即 $\ell < \frac{4s}{N}$），极小化器存在且为施瓦茨对称；当 $\ell = \frac{4s}{N}$ 时，在质量约束较小时极小化器也存在；若增长超过临界阈值 $\ell > \frac{4s}{N}$，则下确界为 $-\infty$。结果修正了此前关于分数阶非线性薛定谔型问题中允许指数范围的错误结论。

ABSTRACT

We establish the existence and symmetry of all minimizers of a constrained variational problem involving the fractional gradient. This problem is closely connected to some fractional kinetic equations.

研究动机与目标

• 建立涉及分数阶梯度的约束变分问题中极小化器的存在性与对称性性质，该问题与分数阶动能方程相关。
• 通过考虑超越幂次型的广义非线性项，推广此前关于分数阶非线性薛定谔方程与本杰明-翁诺型方程的研究结果。
• 纠正此前关于分数阶拉普拉斯算子相关极小化问题中非线性指数允许范围的错误声明。
• 确定非线性项 $F$ 增长速率的精确条件，使得下确界有限且极小化器存在。

提出的方法

• 使用施瓦茨对称化与分数阶波利亚-施佩格尔不等式，将问题约化为非负、径向递减函数。
• 应用分数阶加代-尼伦伯格不等式，以分数阶 $H^s$ 半范数与 $L^2$ 范数控制 $L^{\ell+2}$ 范数。
• 利用分数阶梯度范数的弱下半连续性与有界区域中的强收敛性，处理极小化序列的极限过程。
• 通过控制收敛定理与衰减估计处理函数在无穷远处的尾部行为。
• 在超模性条件 $(F_4)$ 严格成立时，证明能量在对称化下严格减小。
• 通过缩放论证 $u_\lambda(x) = \lambda^{N/2}u(\lambda x)$ 证明当 $\ell > \frac{4s}{N}$ 时 $I_c = -\infty$。

实验结果

研究问题

• RQ1 在何种非线性项 $F$ 的条件下，约束极小化问题 $I_c = \inf \left\{ \frac{1}{2}\int |(-\Delta)^{s/2}u|^2 - \int F(|x|,u) : \int u^2 = c^2 \right\}$ 允许极小化器存在？
• RQ2 在何种条件下所有极小化器均为径向且径向递减？超模性条件 $(F_4)$ 在强制对称性中起何作用？
• RQ3 下确界 $I_c$ 保持有限的精确临界增长速率 $\ell$ 是什么？其与分数阶参数 $s$ 和空间维数 $N$ 的关系如何？
• RQ4 为何先前声称幂次非线性项的允许范围为 $\alpha < \frac{4s}{1-2s}$ 是错误的？正确的阈值是什么？
• RQ5 当非线性项超过临界增长速率 $\ell = \frac{4s}{N}$ 时，能量泛函的行为如何变化？

主要发现

• 当 $0 < \ell < \frac{4s}{N}$ 时，极小化问题 $(P_c)$ 存在解，且所有极小化器均为径向且径向递减。
• 当 $\ell = \frac{4s}{N}$ 时，极小化器存在当且仅当质量 $c$ 足够小，且存在依赖于 $K$、$K'$、$s$ 与 $N$ 的定量界。
• 若 $\liminf_{t\to\infty} F(r,t)/t^\ell \geq A > 0$ 对 $\ell > \frac{4s}{N}$ 成立，则 $I_c = -\infty$，即不存在极小化器。
• 本文纠正了弗兰克与伦茨曼的先前声明，表明极小化问题仅在 $\alpha < 4s$ 时有解，而非 $s < 1/2$ 时的 $\alpha < \frac{4s}{1-2s}$，从而精确化了已知的存在性阈值。
• 当超模性条件 $(F_4)$ 严格成立时，施瓦茨对称化严格降低能量，确保所有极小化器均为施瓦茨对称。
• 在非线性项 $F$ 满足所述增长与衰减条件时，极小化器的存在性由分数阶能量的弱下半连续性与 $H^s$ 空间中的紧致性论证保证。