[论文解读] Stability for the Sobolev inequality: existence of a minimizer

Tobias König|arXiv (Cornell University)|Nov 25, 2022

Nonlinear Partial Differential Equations被引用 4

一句话总结

该论文通过一种改进的Brezis-Lieb型紧致性论证，证明了在维度 $d \geq 3$ 时，Sobolev不等式相关的Bianchi-Egnell稳定性不等式的极小化器存在。研究证明了严格不等式 $c_{\text{BE}} < 2 - 2^{\frac{d-2}{d}}$，从而排除了双泡配置作为极小化器的可能性，并将结果推广至 $s \in (0, d/2)$，$d \geq 2$ 的分数阶Sobolev情形。其核心贡献在于证明了稳定性常数的优化器存在，解决了长期悬而未决的公开问题。

ABSTRACT

We prove that the stability inequality associated to Sobolev's inequality and its set of optimizers $\mathcal M$ and given by \[ \frac{\| abla f\|_{L^2(\mathbb R^d)}^2 - S_d \|f\|_{L^\frac{2d}{d-2}(\mathbb R^d)}^2}{ \inf_{h \in \mathcal M} \| abla (f - h)\|_{L^2(\mathbb R^d)}^2 } \geq c_{BE} &gt; 0 \qquad ext{ for every } f \in \dot{H}^1(\mathbb R^d),\] which is due to Bianchi and Egnell, admits a minimizer for every $d \geq 3$. Our proof consists in an appropriate refinement of a classical strategy going back to Brezis and Lieb. As a crucial ingredient, we establish the strict inequality $c_{BE} &lt; 2 - 2^\frac{d-2}{d}$, which means that a sequence of two asymptotically non-interacting bubbles cannot be minimizing. Our arguments cover in fact the analogous stability inequality for the fractional Sobolev inequality for arbitrary fractional exponent $s \in (0, d/2)$ and dimension $d \geq 2$.

研究动机与目标

• 解决Bianchi-Egnell稳定性不等式中Sobolev不等式最佳常数 $c_{\text{BE}}$ 是否由极小化器实现的公开问题。
• 证明Bianchi-Egnell商的极小化序列不可能集中于两个渐近非相互作用的Talenti泡，从而排除极小化器存在性的非紧致替代方案。
• 将极小化器存在性结果推广至任意 $s \in (0, d/2)$ 与 $d \geq 2$ 的分数阶Sobolev情形，推广经典情况。
• 建立严格不等式 $c_{\text{BE}} < 2 - 2^{\frac{d-2}{d}}$，该不等式可排除双泡配置作为潜在极小化器的可能性。

提出的方法

• 采用经典Brezis-Lieb集中紧致性策略的改进版本，分析Bianchi-Egnell商的极小化序列。
• 证明依赖于对两个具有发散集中速率和中心的Talenti泡所涉及泛函的精确渐近展开。
• 分析表明，双泡配置的商收敛于 $2 - 2^{\frac{d-2}{d}}$，其严格大于 $c_{\text{BE}}$，因此此类配置不可能是最小化配置。
• 通过谱比较论证排除了一泡型极小化序列，利用了此前已知的严格不等式 $c_{\text{BE}} < \frac{4}{d+4}$。
• 通过将泛函框架和渐近展开适配至非局部Dirichlet能量 $\|(-\Delta)^{s/2} f\|_{L^2}^2$，将该方法推广至分数阶Sobolev空间。
• 关键技术环节是计算在 $\mu = 1$ 处的轮廓泛函的一阶与二阶导数，以量化围绕Talenti泡的扰动行为。

实验结果

研究问题

• RQ1 Bianchi-Egnell稳定性不等式中Sobolev不等式的最佳常数 $c_{\text{BE}}$ 是否由极小化器实现，还是仅在极限中达到？
• RQ2 两个渐近非相互作用的Talenti泡能否构成Bianchi-Egnell商的极小化序列？
• RQ3 严格不等式 $c_{\text{BE}} < 2 - 2^{\frac{d-2}{d}}$ 是否成立，该不等式将排除双泡配置作为极小化器的可能性？
• RQ4 极小化器的存在性是否可推广至 $s \in (0, d/2)$ 的分数阶Sobolev情形？

主要发现

• 在所有维度 $d \geq 3$ 下，Bianchi-Egnell稳定性不等式中最佳常数 $c_{\text{BE}}$ 均由极小化器实现，解决了长期悬而未决的公开问题。
• 严格不等式 $c_{\text{BE}} < 2 - 2^{\frac{d-2}{d}}$ 成立，意味着双泡配置不可能是极小化序列。
• 极小化器不仅存在于经典Sobolev情形，也存在于任意 $s \in (0, d/2)$ 与 $d \geq 2$ 的分数阶Sobolev不等式中，将结果推广至更广泛的不等式类。
• 证明表明，极小化序列不可能逃逸至无穷远或分裂为两个非相互作用的泡，从而确保强收敛至极小化器。
• 分析确认谱常数 $c_{\text{BE}}^{\text{spec}} = \frac{4}{d+4}$ 严格大于 $c_{\text{BE}}$，进一步排除了一泡型极小化器的可能性。
• 通过改进的Brezis-Lieb论证与双泡轮廓泛函行为的精确渐近估计，建立了极小化器的存在性。