[论文解读] Nonlocal Hardy type inequalities with optimal constants and remainder terms

Vitaly Moroz, Jean Van Schaftingen|arXiv (Cornell University)|Aug 31, 2012

Nonlinear Partial Differential Equations参考文献 19被引用 7

一句话总结

本文提出了一种关于包含Riesz势和逆幂权函数的最优非局部Hardy型不等式的全新证明，利用基态变换推导出精确的余项。该研究确定了Stein-Weiss、Beckner联合Hardy-Stein-Weiss以及分数阶Hardy不等式的精确常数，并通过显式余项表示和尺度分析证明了这些常数的最优性。

ABSTRACT

Using a groundstate transformation, we give a new proof of the optimal Stein-Weiss inequality of Herbst [\int_{\R^N} \int_{\R^N} \frac{φ(x)}{\abs{x}^\fracα{2}} I_α(x - y) \frac{φ(y)}{\abs{y}^\fracα{2}}\dif x \dif y \le \mathcal{C}_{N,α, 0}\int_{\R^N} \absφ^2,] and of its combinations with the Hardy inequality by Beckner [\int_{\R^N} \int_{\R^N} \frac{φ(x)}{\abs{x}^\frac{α+ s}{2}} I_α(x - y) \frac{φ(y)}{\abs{y}^\frac{α+ s}{2}}\dif x \dif y \le \mathcal{C}_{N, α, 1} \int_{\R^N} \abs{ abla φ}^2,] and with the fractional Hardy inequality [\int_{\R^N} \int_{\R^N} \frac{φ(x)}{\abs{x}^\frac{α+ s}{2}} I_α(x - y) \frac{φ(y)}{\abs{y}^\frac{α+ s}{2}}\dif x \dif y \le \mathcal{C}_{N, α, s} \mathcal{D}_{N, s} \int_{\R^N} \int_{\R^N} \frac{\bigabs{φ(x) - φ(y)}^2}{\abs{x-y}^{N+s}}\dif x \dif y] where (I_α) is the Riesz potential, (0 < α< N) and (0 < s < \min(N, 2)). We also prove the optimality of the constants. The method is flexible and yields a sharp expression for the remainder terms in these inequalities.

研究动机与目标

• 为包含Riesz势和逆幂权函数的最优Stein-Weiss不等式提供一种新的、简化的证明。
• 将该证明方法扩展至涉及经典Hardy或分数阶Hardy不等式的联合不等式。
• 利用基态变换方法推导出这些不等式中显式的、最优的余项。
• 通过测试函数的渐近分析，严格证明不等式中常数的最优性。
• 统一并推广先前关于Pitt不等式和分数阶Hardy型不等式的研究结果。

提出的方法

• 作者受到Agmon–Allegretto–Piepenbrink理论的启发，采用基态变换，将原始不等式转化为非负余项形式。
• 通过积分恒等式，推导出Stein-Weiss不等式及其与Hardy型项组合形式的精确余项表达式。
• 该方法依赖于Riesz势的半群性质，以及傅里叶变换的显式计算，将加权$L^2$范数与Riesz势积分联系起来。
• 关键步骤是通过关联积分算子的谱分析，将最优常数表示为Gamma函数的比值。
• 作者使用一族具有紧支集的截断函数$ u_\rho $，在环形区域中构造，通过尺度极限测试常数的最优性。
• 利用密度论证和$L^2$-收敛性，将结果从$ C_c^\frown $扩展到更广的函数空间，如$ H^1 $和$ H^{s/2} $。

实验结果

研究问题

• RQ1 在包含Riesz势和逆幂权函数的Stein-Weiss不等式中，最优常数的精确值是什么？
• RQ2 能否使用统一的方法，以最优常数证明Stein-Weiss不等式与经典Hardy不等式的联合形式？
• RQ3 如何为涉及Riesz势的非局部Hardy型不等式推导出显式的余项？
• RQ4 分数阶Hardy-Stein-Weiss不等式的最优常数是否可达？其精确值是什么？
• RQ5 能否通过测试函数和尺度极限，严格确立常数的最优性？

主要发现

• Stein-Weiss不等式的最优常数为$ \mathcal{C}_{N,\alpha,0} = \frac{1}{2^\alpha} \left( \frac{\Gamma\left(\frac{N-\alpha}{4}\right)}{\Gamma\left(\frac{N+\alpha}{4}\right)} \right)^2 $，该结果通过基态变换和余项恒等式得到证明。
• 对于结合Stein-Weiss与经典Hardy的Beckner型不等式，最优常数为$ \mathcal{C}_{N,\alpha,1} = \frac{1}{2^{\alpha-2}} \left( \frac{\Gamma\left(\frac{N-\alpha}{4}\right)}{(N-2)\Gamma\left(\frac{N+\alpha}{4}\right)} \right)^2 $，其余项以$ \dot{H}^1 $-半范数形式给出，且为最优。
• Stein-Weiss不等式的余项显式表示为$ \frac{1}{2} \int\!\!\!\int \frac{I_\alpha(x-y)}{|x|^{\frac{N+\alpha}{2}}|y|^{\frac{N+\alpha}{2}}} \left| \varphi(x)|x|^{N/2} - \varphi(y)|y|^{N/2} \right|^2 \,dx\,dy \geq 0 $。
• 分数阶Hardy-Stein-Weiss不等式在常数$ \mathcal{C}_{N,\alpha,s} \mathcal{D}_{N,s} $下达到最优，其中$ \mathcal{D}_{N,s} = 2^s \left( \frac{\Gamma\left(\frac{N+s}{4}\right)}{\Gamma\left(\frac{N-s}{4}\right)} \right)^2 $，余项以差值的双重积分形式表达。
• 通过构造一列测试函数$ u_\lambda $，使得余项有界而主项在$ \lambda \to \infty $时趋于最优常数，从而验证了常数的最优性。
• 该方法提供了一个统一框架，可恢复并强化已知结果，包括$ N \geq 3 $时的Pitt不等式和Beckner常数。