[论文解读] Lack of compactness in the 2D critical Sobolev embedding, the general case

Bahouri, Hajer, Mohamed Majdoub+1 more|arXiv (Cornell University)|Dec 13, 2011

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

一句话总结

本文分析了在 $H^1(\mathbb{R}^2)$ 到 Orlicz 空间 $\mathcal{L}(\mathbb{R}^2)$ 的临界 2D Sobolev 嵌入中缺乏紧致性的原因，该原因源于质量在点（核心）处的集中。通过容量论证和基于反证法的提取过程，作者构建了一个基于 Moser 型例子的谱型分解，表明即使在没有径向对称性的情况下，这种缺乏紧致性也完全由此类例子所刻画。

ABSTRACT

This paper is devoted to the description of the lack of compactness of the Sobolev embedding of $H^1(\\R^2)$ in the critical Orlicz space ${\\cL}(\\R^2)$. It turns out that up to cores our result is expressed in terms of the concentration-type examples derived by J. Moser in \\cite{M} as in the radial setting investigated in \\cite{BMM}. However, the analysis we used in this work is strikingly different from the one conducted in the radial case which is based on an $L^ \\infty$ estimate far away from the origin and which is no longer valid in the general framework. Within the general framework of $H^1(\\R^2)$, the strategy we adopted to build the profile decomposition in terms of examples by Moser concentrated around cores is based on capacity arguments and relies on an extraction process of mass concentrations. The essential ingredient to extract cores consists in proving by contradiction that if the mass responsible for the lack of compactness of the Sobolev embedding in the Orlicz space is scattered, then the energy used would exceed that of the starting sequence.

研究动机与目标

• 表征在缺乏径向对称性的情况下，临界 Sobolev 嵌入 $H^1(\mathbb{R}^2) \hookrightarrow \mathcal{L}(\mathbb{R}^2)$ 中缺乏紧致性的原因，其中 $\mathcal{L}$ 是由 $\phi(s) = e^{s^2} - 1$ 定义的 Orlicz 空间。
• 将先前针对径向序列的结果推广到一般非径向情形，此时 $L^\infty$ 估计不再成立。
• 为 $H^1(\mathbb{R}^2)$ 中的有界序列开发一种谱型分解，以捕捉导致非紧致性的集中现象。
• 证明唯一的可能集中谱型均来自 Moser 的极值函数，利用容量和能量比较论证。

提出的方法

• 利用容量理论分析质量集中，特别是通过集合 $A$ 在区域 $\Omega$ 中的容量 $\mathrm{Cap}_\Omega(A)$ 概念。
• 应用 Schwarz 对称化将一般函数转化为径向对称形式，保持能量不变，并可与已知极值函数进行比较。
• 应用反证法：假设质量是分散而非集中，则能量将超过原始序列的能量。
• 通过迭代提取核心和谱型，利用基于能量集中的尺度提取过程，构建谱型分解。
• 通过能量分解和容量估计证明谱型之间的正交性，确保集中区域无重叠。
• 利用精确的 Trudinger-Moser 不等式和 Moser 的例子作为最小能量构型的基准。

实验结果

研究问题

• RQ1 在缺乏径向对称性的情况下，临界 Sobolev 嵌入 $H^1(\mathbb{R}^2) \hookrightarrow \mathcal{L}(\mathbb{R}^2)$ 中缺乏紧致性的特征是什么？
• RQ2 是否可以仅使用 Moser 型例子作为基本构件，构建 $H^1$ 有界序列的谱型分解？
• RQ3 容量理论如何用于在一般 $H^1$ 序列中提取集中核心，从而绕过径向假设？
• RQ4 能量比较在证明质量无法分散而不超过原始能量方面起什么作用？
• RQ5 在一般情形下，集中谱型在多大程度上与 Moser 在径向情形下导出的谱型一致？

主要发现

• 在临界 2D Sobolev 嵌入到 $\mathcal{L}(\mathbb{R}^2)$ 中缺乏紧致性的根本原因完全在于质量在点处的集中，其模型为 Moser 型谱型。
• 对于 $H^1(\mathbb{R}^2)$ 中的任意有界序列，均存在一种谱型分解，将其分解为正交谱型，这些谱型是 Moser 极值函数的缩放和平移版本。
• 若某函数在测度为 $|E_1|$ 的集合 $E_1$ 上有下界 $\sqrt{\alpha/(2\pi)}$，在更大的集合 $E_2$ 上有上界 $a_2$，则其能量满足 $\|\nabla u\|_{L^2}^2 \geq 4\pi(a_1 - a_2)^2 / \log(|B|/|E_1|)$，从而给出了以容量表示的能量下界。
• 在球体内实现给定值所需的最小能量由径向函数 $u^*$ 实现，该函数在球外调和，在球内为常数，从而证实了 Moser 例子的最优性。
• 在 $\mathbb{R}^2$ 中，球 $B(a)$ 相对于包含它的球 $B(b)$ 的容量为 $\mathrm{Cap}_{B(b)}(B(a)) = 2\pi / \log(b/a)$，这是估计能量下界的关键工具。
• 反证法表明，若质量未集中于单个核心，则能量将超过原始序列的能量，从而证明集中是导致缺乏紧致性的必要条件。