[论文解读] Asymptotic for optimizers of the fractional Hardy-Sobolev inequality

S. Marano, Sunra Mosconi|arXiv (Cornell University)|Sep 7, 2016

Differential Equations and Boundary Problems被引用 7

一句话总结

该论文通过集中紧致性方法，建立了分数阶 Hardy-Sobolev 不等式在空间 $\dot{W}^{s,p}(\mathbb{R}^N)$ 中极小化器的存在性，并推导出其最优渐近衰减速率 $u(x) \simeq |x|^{-\frac{N-ps}{p-1}}$（当 $|x|\to\infty$ 时），以及最优可 summability 性质 $u \in \dot{W}^{s,\gamma}(\mathbb{R}^N)$，其中 $\gamma \in \left(\frac{N(p-1)}{N-s}, p\right]$，且当 $s \to 1^-$ 时该性质达到最优。结果验证了极小化器行为的猜想形式，并将已知的局部结果推广至非局部情形。

ABSTRACT

We consider the optimizers $u$ in the Hardy-Sobolev inequality for the space $\dot{W}^{s,p}({\mathbb R}^N)$ with order of differentiability $s\in ]0,1[$. After proving existence through concentration-compactness, we derive the pointwise asymptotic $u(x)\simeq |x|^{-\frac{N-ps}{p-1}}$ for large $|x|$ and the summability estimate $u\in \dot{W}^{s,γ}({\mathbb R}^N)$ for all $γ>\frac{N(p-1)}{N-s}$. These estimates are optimal in the limit $s o 1^-$, in which case optimizers are explicitly known.

研究动机与目标

• 在非局部 Sobolev 空间 $\dot{W}^{s,p}(\mathbb{R}^N)$ 中，$s \in (0,1)$，建立分数阶 Hardy-Sobolev 不等式极小化器的存在性。
• 确定极小化器在无穷远处的精确渐近衰减速率，证明当 $|x| \to \infty$ 时有 $u(x) \simeq |x|^{-\frac{N-ps}{p-1}}$。
• 刻画使得 $u \in \dot{W}^{s,\gamma}(\mathbb{R}^N)$ 成立的最优可 summability 指标 $\gamma \in \left(\frac{N(p-1)}{N-s}, p\right]$，并确认其最优性。
• 验证极小化器的渐近行为与猜想形式 $U(x) = (1 + |x|^{\frac{p - \alpha/s}{p-1}})^{-\frac{N - sp}{p - \alpha/s}}$ 一致，特别是在 $s \to 1^-$ 的极限下。

提出的方法

• 利用集中紧致性原理，在 $q > p$ 条件下证明分数阶 Hardy-Sobolev 不等式极小化器的存在性，该条件确保了严格次可加性。
• 引入非局部能量密度 $|D^s u|^p(x) = \int_{\mathbb{R}^N} \frac{|u(x) - u(x+h)|^p}{|h|^{N+ps}} \, dh$，作为 $|\nabla u|^p$ 的非局部类比。
• 使用重排不等式证明极小化器是径向递减且对称的。
• 应用二进制分层蛋糕分解与非局部范数估计，以控制不同空间区域中 $|D^s u|^\gamma$ 的行为。
• 通过 Hölder 不等式与 Hardy 型不等式建立可 summability 性质，特别利用 $u$ 的衰减来控制 $\|u\|_{\dot{W}^{s,\gamma}}$。
• 通过在二进制壳层上构造显式估计，验证可 summability 范围的最优性，证明 $[U_i]_{s,\gamma}^\gamma \lesssim 2^{i(N - \gamma \frac{N-s}{p-1})}$，且指数为负。

实验结果

研究问题

• RQ1 在 $s \in (0,1)$ 且 $p > 1$ 的条件下，分数阶 Hardy-Sobolev 不等式在 $\dot{W}^{s,p}(\mathbb{R}^N)$ 中的极小化器是否存在？
• RQ2 此类极小化器在无穷远处的精确渐近衰减速率为何？
• RQ3 对于哪些 $\gamma$ 值，有 $u \in \dot{W}^{s,\gamma}(\mathbb{R}^N)$？该范围是否最优？
• RQ4 当 $s \to 1^-$ 时，极小化器的衰减与可 summability 行为如何？是否能恢复局部情形下的已知结果？

主要发现

• 通过集中紧致性方法，在 $q > p$ 条件下，建立了分数阶 Hardy-Sobolev 不等式极小化器的存在性，该条件确保了严格次可加性。
• 任意极小化器 $u$ 满足最优渐近衰减速率 $u(x) \simeq |x|^{-\frac{N-ps}{p-1}}$，当 $|x| \to \infty$ 时成立。
• 极小化器 $u$ 属于 $\dot{W}^{s,\gamma}(\mathbb{R}^N)$，对所有 $\gamma \in \left(\frac{N(p-1)}{N-s}, p\right]$ 成立，且该范围是最优的。
• 衰减与可 summability 估计是精确的，即指数 $\frac{N(p-1)}{N-s}$ 无法进一步降低，该结论通过使用 Hardy 不等式导出矛盾的方法得以证明。
• 结果验证了在非局部情形下 Aubin-Talenti 型函数 $U(x)$ 的猜想行为，尤其在 $s \to 1^-$ 时表现显著。
• 分析表明，非局部能量密度 $|D^s u|^p$ 控制了衰减与可 summability 性质，且二进制分解在估计 $[U_i]_{s,\gamma}^\gamma$ 中起关键作用。