[论文解读] Necessary Conditions for Fractional Hardy-Sobolev's Inequalities

E. Ostrovsky, L. Sirota|arXiv (Cornell University)|Aug 5, 2011

Advanced Harmonic Analysis Research参考文献 26被引用 3

一句话总结

本文通过伸缩法与大勒贝格空间理论，建立了多维欧几里得空间中分数阶 Hardy-Sobolev 不等式成立的必要条件。推导出刻画不等式齐次性的尺度恒等式，并在多种情形下（包括混合范数与曲面变体）给出了最优常数的精确下界，且在临界指数附近具有精确的渐近行为。

ABSTRACT

In this short article we obtain some necessary conditions for a so-called fractional Hardy-Sobolev's inequalities in multidimensional case. We also give some examples to show the sharpness of these inequalities.

研究动机与目标

• 推导分数阶 Hardy-Sobolev 不等式在多维区域（特别是 $\mathbb{R}^d$）中成立的必要条件。
• 在各类不等式类型中，建立最优常数 $K_{HS}(p,q)$、$K_{M;HS}(p,q,r)$、$K_{S;HS}(p,q)$ 与 $K_{DD;HS}(p,s)$ 的精确下界。
• 将经典的勒贝格-里斯空间推广至大勒贝格空间，并分析不等式在这些更广泛函数空间中的行为。
• 通过显式反例与临界指数附近的渐近分析，研究不等式的精确性。
• 将结果推广至混合范数与各向异性大勒贝格空间，为不等式提供统一的框架。

提出的方法

• 应用 G. Talenti 的伸缩法，推导出任何非平凡 $u \in C_0^\infty(\mathbb{R}^d)$ 满足不等式时必须成立的尺度恒等式。
• 利用大勒贝格空间中的范数等价关系 $\|f\|_{G\psi} \asymp \sup_{p \in (a,b)} \frac{|f|_p}{\psi(p)}$ 来刻画算子有界的性质。
• 引入算子 $\delta_\lambda[u](x,y) = \frac{u(x)-u(y)}{|x-y|^{\lambda d}}$ 与 $S_\lambda[u](x) = \frac{u(x)}{|x|^{\lambda d}}$，以关联差分范数与点态范数。
• 将区域 $R_r(\alpha(1),\alpha(2),\beta,\mu;d)$ 定义为满足由尺度导出的齐次性条件的指数 $(p,q)$ 的集合。
• 构造函数 $\psi_5(r) = \inf_{(p,q)\in R_r} \left[ \nu(p,q) K_{M;HS}(p,q) \right]$，以控制 $S_\lambda u$ 的大勒贝格范数。
• 在 $L_{\vec{p}}$ 空间中采用分解与各向异性范数结构，将结果推广至混合范数情形。

实验结果

研究问题

• RQ1 分数阶 Hardy-Sobolev 不等式在 $\mathbb{R}^d$ 中成立时，必须满足哪些尺度条件？
• RQ2 为使不等式对所有 $u \in C_0^\infty(\mathbb{R}^d)$ 一致成立，指数 $p,q,\alpha(1),\alpha(2),\beta,\mu$ 必须满足哪些必要条件？
• RQ3 在大勒贝格空间设定下，当 $p \to 1/\lambda$ 时，最优常数的渐近行为如何？
• RQ4 混合范数 Hardy-Sobolev 不等式能否通过各向异性大勒贝格范数来刻画？
• RQ5 大勒贝格空间不等式 $\|S_\lambda u\|_{G\psi_2} \leq \|\delta_\lambda u \cdot |x-y|^{-\lambda d}\|_{G\psi_1}$ 中常数 1 的精确性如何？

主要发现

• 对于 $\mathbb{R}^d$ 中的普通分数阶 Hardy-Sobolev 不等式 (1.1a)，必要条件 $\frac{d - \mu}{q} = \frac{2d + \alpha(1) + \alpha(2) - \beta}{p}$ 必须成立。
• 通过使用 $u_0(x) = |\log|x|| \cdot I(|x| \leq 1)$ 的反例，证明了大勒贝格空间不等式 $\|S_\lambda u\|_{G\psi_2} \leq \|\delta_\lambda u \cdot |x-y|^{-\lambda d}\|_{G\psi_1}$ 中常数 1 是最优的。
• 对于满足 $\lim_{p \to 1/\lambda} \frac{p \psi_4(p)}{|p - 1/\lambda|^\lambda} = 0$ 的 $\psi_4(p)$，有 $\frac{\|S_\lambda u_0\|_{G\psi_4}}{\|\delta_\lambda u_0\|_{G\psi_1}} \to \infty$，从而证明了该界的精确性。
• 不等式 $\|S_\lambda u\|_{G\psi_5} \leq \|\delta_\lambda u \cdot |x-y|^{-\lambda d}\|_{G\nu}$ 成立，其中 $\psi_5(r) = \inf_{(p,q) \in R_r} \left[ \nu(p,q) K_{M;HS}(p,q) \right]$，这在混合范数大勒贝格空间中建立了精确嵌入。
• 函数 $\psi_3(p) = \frac{p \psi_2(p)}{|1/\lambda - p|}$ 给出弱精确估计：$\|S_\lambda u\|_{G\psi_3} \leq C \|\delta_\lambda u\|_{G\psi_1}$，但常数无法在整体上进一步改进。
• 通过范数 $|f|_{\vec{p}}$ 与空间 $G_Q(\nu)$（其中 $\nu(p)$ 是定义在区域 $Q \subset \mathbb{R}^d$ 上的正连续函数），结果可推广至各向异性大勒贝格空间。