[论文解读] Improved Sobolev embeddings, profile decomposition, and concentration-compactness for fractional Sobolev spaces

Giampiero Palatucci, Adriano Pisante|arXiv (Cornell University)|Feb 24, 2013

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

一句话总结

本文在涉及 Morrey 范数的分数阶 Sobolev 空间中建立了改进的 Sobolev 嵌入不等式，为临界 Sobolev 嵌入的极小化器存在性及对称性下的紧致性提供了直接证明。该改进的不等式使得 $\dot{H}^{s}$ 空间中谱分解与集中紧致性的推导更加清晰，并应用于次临界问题的渐近行为分析，以及极小化器在单一点处的集中现象。

ABSTRACT

We obtain an improved Sobolev inequality in H^s spaces involving Morrey norms. This refinement yields a direct proof of the existence of optimizers and the compactness up to symmetry of optimizing sequences for the usual Sobolev embedding. More generally, it allows to derive an alternative, more transparent proof of the profile decomposition in H^s obtained in [P. Gerard, ESAIM 1998] using the abstract approach of dislocation spaces developed in [K. Tintarev & K. H. Fieseler, Imperial College Press 2007]. We also analyze directly the local defect of compactness of the Sobolev embedding in terms of measures in the spirit of [P. L. Lions, Rev. Mat. Iberoamericana 1985]. As a model application, we study the asymptotic limit of a family of subcritical problems, obtaining concentration results for the corresponding optimizers which are well known when s is an integer ([O. Rey, Manuscripta math. 1989; Z.-C. Han, Ann. Inst. H. Poincare Anal. Non Lineaire 1991], [K. S. Chou & D. Geng, Differential Integral Equations 2000]).

研究动机与目标

• 在 $\dot{H}^{s}({\mathds{R}}^{N})$ 中推导一个包含 Morrey 范数的改进 Sobolev 不等式，以强化经典的临界嵌入。
• 为分数阶空间中临界 Sobolev 嵌入的极小化器存在性及对称性下的紧致性，提供一种直接的、非抽象的证明。
• 利用改进的不等式重新推导 $\dot{H}^{s}$ 中的谱分解，避免依赖位移空间理论。
• 通过测度的集中紧致性分析局部紧致性缺陷，拓展整数阶情形下的结果。
• 研究次临界问题的渐近极限，证明极小化器在有界区域中集中于单一点。

提出的方法

• 通过将 Morrey 范数融入 $\cdot{H}^{s}$ 范数，推导出新的改进 Sobolev 不等式，以改进经典的 $L^{2^*}$ 嵌入。
• 利用改进的不等式，直接证明在 $\cdot{H}^{s}$ 中优化序列在平移与伸缩对称性下的紧致性。
• 以 [31, 32] 的集中紧致性原理为指导，通过测度的弱*收敛分析紧致性缺陷。
• 通过 $|(-\Delta)^{s/2}u_n|^2dx$ 和 $|u_n|^{2^*}dx$ 的弱*极限产生的原子测度 $\mu_j$ 与 $\nu_j$，刻画能量与质量的集中。
• 分析次临界问题 $S^*_\varepsilon$ 的极小化器渐近行为，当 $\varepsilon \to 0$ 时，证明其收敛至临界情形。
• 通过缩放与紧致性论证，在适当归一化下证明极小化器集中于 $\overline{\Omega}$ 中的单一点 $x_0$。

实验结果

研究问题

• RQ1 能否通过引入 Morrey 范数，对分数阶 $\dot{H}^s$ 空间中的经典 Sobolev 嵌入进行改进，以获得更强的紧致性性质？
• RQ2 改进的不等式是否允许对 $\dot{H}^s$ 中极小化器的存在性与谱分解提供直接的、非抽象的证明？
• RQ3 局部紧致性缺陷在测度意义下如何表现？是否可通过集中紧致性进行刻画？
• RQ4 当指数趋近于临界阈值 $2^*$ 时，次临界问题的极小化器会发生什么变化？
• RQ5 能否利用改进的不等式与测度论工具，在有界区域中严格证明极小化器集中于单一点？

主要发现

• 建立了包含 Morrey 范数的改进 Sobolev 不等式，改进了经典的 $\dot{H}^s \hookrightarrow L^{2^*}$ 嵌入。
• 改进的不等式为临界 Sobolev 嵌入在 $\dot{H}^s$ 中的极小化器存在性及对称性下的紧致性提供了直接证明。
• 通过改进的不等式重新推导了 $\dot{H}^s$ 中的谱分解，提供了一种比抽象位移空间方法更清晰、更具构造性的替代方案。
• 局部紧致性缺陷通过测度的弱*收敛被刻画：$|u_n|^{2^*}dx \rightharpoonup^* \nu = S^*\delta_{x_0}$ 与 $|(-\Delta)^{s/2}u_n|^2dx \rightharpoonup^* \delta_{x_0}$，表明能量集中于单一点。
• 对于指数为 $2^* - \varepsilon$ 的次临界问题，当 $\varepsilon \to 0$ 时，极小化器 $u_\varepsilon$ 集中于 $\overline{\Omega}$ 中的单一点 $x_0$，满足 $\|u_\varepsilon\|_{\dot{H}^s} \to 1$ 且 $|u_\varepsilon|^{2^*}dx \rightharpoonup^* S^*\delta_{x_0}$。
• 临界 Sobolev 不等式中的最优常数 $S^*$ 在极限下被取到，且集中现象在缩放下保持稳定，缩放参数满足 $x_n \to x_0$ 与 $\lambda_n \to 0$。