[论文解读] The best constant in a fractional Hardy inequality

Krzysztof Bogdan, Bartłomiej Dyda|ArXiv.org|Jul 11, 2008

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

一句话总结

本文通过右右稳定过程和Dirichlet型式，利用超调和函数 $ w(x) = x_d^{(\alpha-1)/2} $ 推导出半空间上分数阶Hardy不等式中的最优常数。证明了该最优常数 $ \kappa_{d,\alpha} $ 是精确的且无法改进，其显式公式涉及Gamma函数与Beta函数，解决了非局部分析中的一个开放问题。

ABSTRACT

We prove an optimal Hardy inequality for the fractional Laplacian on the half-space.

研究动机与目标

• 确定半空间 $ D = \{x_d > 0\} $ 上分数阶Hardy不等式的最佳常数。
• 在涉及分数阶Laplacian与到边界距离的不等式中，建立常数 $ \kappa_{d,\alpha} $ 的精确性。
• 通过Dirichlet型式与超调和函数，将不等式与随机过程（特别是右右 $ \alpha $-稳定过程）联系起来。
• 推广并改进先前关于粗糙常数的Hardy型不等式结果，尤其针对 $ \alpha \neq 1 $ 的情形。
• 完整刻画不等式右侧最优权函数 $ x_d^{-\alpha} $ 的性质。

提出的方法

• 应用Fitzsimmons的一般框架，通过Dirichlet型式将超调和函数与Hardy型不等式联系起来。
• 在半空间上应用右右 $ \alpha $-稳定过程，其Dirichlet型式由含核 $ |x-y|^{-d-\alpha} $ 的双重积分显式给出。
• 构造特定的超调和函数 $ w(x) = x_d^{(\alpha-1)/2} $，其对数导数给出最优权函数 $ \nu = -\mathcal{L}w/w = \kappa_{d,\alpha} x_d^{-\alpha} $。
• 通过在扩张环形区域和水平集上支持的测试函数序列，结合齐次性与对称性，进行细致的 $ L^2 $-型估计，证明精确性。
• 将区域分数阶Laplacian $ \Delta^{\alpha/2}_D $ 视为右右过程的生成元，并与吸收稳定过程比较，导出最终不等式。
• 通过Beta函数与Gamma函数显式计算常数 $ \kappa_{d,\alpha} $，涉及 $ B\left(\frac{1+\alpha}{2}, \frac{2-\alpha}{2}\right) $ 及归一化常数。

实验结果

研究问题

• RQ1 在 $ 0 < \alpha < 2 $ 条件下，半空间上分数阶Hardy不等式的最佳常数 $ \kappa_{d,\alpha} $ 是什么？
• RQ2 常数 $ \kappa_{d,\alpha} $ 是否可改进，或对所有 $ u \in C_c(D) $ 均为精确常数？
• RQ3 为何选择超调和函数 $ w(x) = x_d^{(\alpha-1)/2} $ 能导出不等式中的最优权函数 $ x_d^{-\alpha} $？
• RQ4 右右稳定过程与精确分数阶Hardy不等式之间存在何种关系？
• RQ5 为何当 $ \alpha = 1 $ 时 $ \kappa_{d,\alpha} = 0 $，而 $ \alpha \neq 1 $ 时 $ \kappa_{d,\alpha} > 0 $？

主要发现

• 半空间上分数阶Hardy不等式的最佳常数由显式公式给出：$ \kappa_{d,\alpha} = \frac{\pi^{\frac{d-1}{2}}\Gamma(\frac{1+\alpha}{2})}{\Gamma(\frac{\alpha+d}{2})} \cdot \frac{B\left(\frac{1+\alpha}{2}, \frac{2-\alpha}{2}\right) - 2^\alpha}{\alpha 2^\alpha} $。
• 对所有 $ u \in C_c(D) $，不等式 $ \frac{1}{2}\iint_D \frac{(u(x)-u(y))^2}{|x-y|^{d+\alpha}} \, dx\,dy \geq \kappa_{d,\alpha} \int_D u^2(x) x_d^{-\alpha} \, dx $ 成立，且若将 $ \kappa_{d,\alpha} $ 替换为任意大于它的常数则不成立。
• $ \kappa_{d,\alpha} = 0 $ 当 $ \alpha = 1 $ 时成立，但当 $ \alpha \neq 1 $ 时 $ \kappa_{d,\alpha} > 0 $，表明在 $ \alpha = 1 $ 处行为发生临界变化。
• 常数 $ \kappa_{d,\alpha} $ 来源于右右 $ \alpha $-稳定过程下函数 $ w(x) = x_d^{(\alpha-1)/2} $ 的比值 $ -\mathcal{L}w/w $，该函数为超调和函数。
• 该不等式意味着右右稳定过程在 $ D $ 上的Dirichlet型式中存在最优常数 $ \frac{\Gamma^2(\frac{1+\alpha}{2})}{\pi} $，且该常数为最优。
• 证明依赖于在环形区域和水平集上支持的测试函数序列，其一致的 $ L^2 $-型界随 $ n^{2(d-1)} $ 增长，从而证明了常数的精确性。