[论文解读] Existence of minimizers of functionals involving the fractional gradient in the abscence of compactness, symmetry and monotonicity

Hichem Hajaiej|arXiv (Cornell University)|Jul 2, 2011

Nonlinear Partial Differential Equations被引用 5

一句话总结

本文在不依赖紧致性、对称性或单调性的情况下，建立了 $ H^s(\mathbf{R}^N) $ 中涉及分数阶梯度的约束变分问题的极小化子存在性。通过引入改进的集中紧致性框架并分析非线性项 $ F $ 的渐近行为，作者证明了在 $ F $ 及其导数满足一般增长与衰减条件时，极小化子存在，从而扩展了非局部 PDE 及分数阶薛定谔方程领域的先前结果。

ABSTRACT

We establish general assumptions under which a constrained vari- ational problem involving the fractional gradient and a local nonlin- earity admits minimizers.

研究动机与目标

• 在标准紧致性、对称性或单调性假设不成立时，建立 $ H^s(\mathbf{R}^N) $ 中涉及分数阶梯度 $ \nabla_s u $ 的约束变分问题极小化子的存在性。
• 将非局部 PDE 中极小化技术的适用范围扩展至缺乏对称性或单调性的广义非线性项 $ F(x,t) $。
• 通过严格次可加性与周期极限泛函 $ J^\flat $ 的渐近比较，证明了在极小化序列中排除了消失与二分现象，从而解决了缺乏紧致性的问题。
• 为非局部分数阶薛定谔方程在各类物理与生物模型中行波解的存在性提供一个通用框架。

提出的方法

• 使用集中紧致性原理的变体分析 $ H^s(\mathbf{R}^N) $ 中的极小化序列 $ (u_n) $，区分消失、二分与紧致性三种情形。
• 施加一个极限条件 (F3)，即当 $ |x|\to\mathbf{R}^N $ 时，有 $ F(x,t) - F^\flat(x,t) = o(|t|^{\beta+2}) $ 一致成立于 $ t $，其中 $ F^\flat $ 为周期函数。
• 建立严格次可加性 $ I_c < I^\flat_c $ 与 $ I_c < I^\flat_{c-a} + I_a $（$ a \neq 0 $），从而排除二分现象。
• 通过证明 $ J(u_n) \to J^\flat(u_n) $ 的极限行为（利用 $ F $ 在无穷远处一致收敛于 $ F^\flat $），得出 $ J(u_n) \to J(u) $ 沿子列成立。
• 利用下确界泛函 $ I_c $ 与 $ I^\flat_c $ 的连续性，从非紧致性假设导出矛盾，从而强制极小化序列的紧致性。
• 利用 $ (u_n) $ 在 $ H^s $ 中有界及弱收敛于 $ u $ 的性质，进一步证明 $ |u_n - u|_{L^2} \to 0 $，从而推出 $ u \neq 0 $ 且 $ u \neq 0 $ 在 $ S_c $ 中。

实验结果

研究问题

• RQ1 在缺乏紧致性、对称性或单调性时，非线性项 $ F(x,t) $ 需满足何种一般条件，可保证泛函 $ J(u) = \frac{1}{2} \norm{\nabla_s u}^2 - \norm{F(x,u)} $ 在 $ H^s(\mathbf{R}^N) $ 中存在极小化子？
• RQ2 集中紧致性方法能否被推广至无对称性或单调性要求的分数阶梯度泛函？
• RQ3 渐近周期性及与 $ F^\flat(x,t) $ 的比较在确保极小化子存在性中起何种作用？
• RQ4 严格次可加性 $ I_c < I^\flat_c $ 与 $ I_c < I^\flat_{c-a} + I_a $ 如何排除极小化序列中的二分现象？
• RQ5 当 $ F $ 不是凸函数或齐次函数时，只要满足增长与衰减条件，是否仍能保证极小化子的存在性？

主要发现

• 在假设 (F0)–(F6) 成立下，约束极小化问题 $ I_c = \text{inf}\big\brace J(u) : u \neq 0, \norm{u}_{L^2} = c \big\brace $ 在 $ H^s(\mathbf{R}^N) $ 中存在极小化子 $ u_c \neq 0 $。
• 下确界 $ I_c $ 严格小于周期极限泛函 $ J^\flat(u) = \frac{1}{2} \norm{\nabla_s u}^2 - \norm{F^\flat(x,u)} $ 的对应下确界 $ I^\flat_c $，即 $ I_c < I^\flat_c $，从而排除了二分现象。
• 当 $ (u_n) $ 为极小化序列时，泛函 $ J $ 满足 $ J(u_n) \to J(u) $ 沿子列成立，这是由于当 $ |x|\to\mathbf{R}^N $ 时，有 $ F(x,t) - F^\flat(x,t) = o(|t|^{\beta+2}) $ 一致成立。
• 极小化序列 $ (u_n) $ 在 $ L^2 $ 中相对紧致，至多相差平移与子列提取，这是由于平移后 $ \text{supp}(u_n) $ 被限制在某个固定球内。
• 即使 $ F $ 缺乏对称性或单调性，只要 $ F^\flat $ 满足 (F4)–(F5) 且 $ F \not\equiv F^\flat $，则 $ S_c $ 中极小化子 $ u_c \neq 0 $ 的存在性仍可保证。
• 关键不等式 $ I_c \not\equiv I^\flat_{c-a} + I_a $（$ a \neq 0 $）与 $ J(u_n) \to J(u) $ 共同表明，消失与二分均不可能发生，因此必须出现紧致性。