[论文解读] A unified divergent approach to Hardy-Poincaré inequalities in classical and variable Sobolev spaces

Giovanni Di Fratta, Alberto Fıorenza|arXiv (Cornell University)|Jan 1, 2021

Nonlinear Partial Differential Equations参考文献 46被引用 1

一句话总结

本文提出了一种统一的、基于散度的构造性方法，用于推导经典和变指数索伯列夫空间中的 Hardy–Poincaré 不等式。通过直接对紧台集函数应用散度定理，该方法在不依赖紧致性定理的前提下，建立了精确的不等式，揭示了最优常数的几何信息，并可推广至径向和变指数情形，包括先前结果暗示存在非紧致性问题的情形。

ABSTRACT

We present a unified strategy to derive Hardy-Poincaré inequalities on bounded and unbounded domains. The approach allows proving a general Hardy-Poincaré inequality from which the classical Poincaré and Hardy inequalities immediately follow. The idea also applies to the more general context of variable exponent Sobolev spaces. The argument, concise and constructive, does not require a priori knowledge of compactness results and retrieves geometric information on the best constants.

研究动机与目标

• 开发一种统一的、构造性方法，用于在有界和无界区域上推导 Hardy–Poincaré 不等式。
• 克服依赖紧致性定理的非构造性证明的局限性，这些证明掩盖了最优常数的几何依赖性。
• 将经典不等式推广至变指数索伯列夫空间，特别是径向和非恒定指数的情形。
• 为 Hardy–Poincaré 不等式中的最佳常数提供显式且具有几何意义的界。
• 通过识别对数项的作用，调和先前关于径向变指数空间中 Poincaré 不等式失效的矛盾结果。

提出的方法

• 将基于散度的论证应用于索伯列夫空间中的紧台集函数，利用散度定理推导积分估计。
• 通过沿单位向量场的方向导数，估计函数的 L^p 范数，从而构造不等式，方法基于其梯度的 L^p 范数。
• 对于变指数空间，该方法使用指数的正则化径向轮廓，并应用勒贝格控制收敛定理取极限。
• 证明通过依赖逐点估计和由散度结构导出的积分恒等式，避免使用紧致性定理。
• 关键步骤涉及引入涉及 |x−x₀| 和方向 σ 的权重，以控制函数的径向行为。
• 该方法通过引入表面积分余项，扩展至 C∞(Ω̅)，从而可应用于具有边界各向异性的能量泛函。

实验结果

研究问题

• RQ1 是否存在一种单一的、构造性方法，能够统一推导经典和变指数索伯列夫空间中的 Hardy 和 Poincaré 不等式？
• RQ2 如何在不依赖紧致性定理的前提下，恢复最优常数的几何信息？
• RQ3 为何在有界区域中径向变指数的 Poincaré 不等式会失效，这一现象如何与本方法调和？
• RQ4 不等式中对数项在决定径向指数下估计有效性的角色是什么？
• RQ5 该方法能否适用于紧支集函数在区域闭包中的情形，包括表面余项？

主要发现

• 基于散度的方法提供了一种非构造性、依赖紧致性定理的证明的构造性替代方案，可显式揭示最优常数的几何依赖性。
• 该方法将经典 Poincaré 和 Hardy 不等式作为单一统一不等式的特例重新获得。
• 对于变指数空间，该方法在指数具有适度正则性假设下，建立了模形式的 Hardy–Poincaré 不等式。
• 该方法通过证明当 |u| ≤ 1 时，即使对于递减的径向指数，不等式中的对数项也可被控制，从而解决了与 [28, Thm. 3.1] 的表面矛盾。
• 通过用 C¹_b 正则化轮廓逼近 L∞ 径向指数并应用控制收敛定理，该构造在 L∞ 径向指数下依然有效。
• 在 C∞(Ω̅) 中，该方法导出带有表面积分余项的不等式，从而可应用于具有边界各向异性的能量泛函。