[论文解读] Weighted Sobolev Inequalities via the Meyers--Ziemer Framework: Measures, Isoperimetric Inequalities, and Endpoint Estimates

Simon Bortz, OFS+3 more|arXiv (Cornell University)|Mar 5, 2026

Nonlinear Partial Differential Equations被引用 0

一句话总结

该论文在 Meyers–Ziemer 型框架下使用极大值函数建立了适用于测度的广义端点 Sobolev 不等式，并推导了 BV、容量、等周性以及分数算子（包括两权 Sobolev 不等式）的端点估计的后果。

ABSTRACT

We establish a new global endpoint Sobolev inequality for measures that extends the classical theorem of Meyers-Ziemer by placing a maximal function on the right-hand side. This result has several significant consequences. It extends naturally to functions of weighted bounded variation and yields corresponding capacity and isoperimetric inequalities. The inequality is also closely connected to endpoint estimates for fractional operators, including bounds for fractional maximal functions and Hardy space endpoint estimates for the Riesz potential. Our main inequality yields a family of endpoint inequalities, characterized in terms of subrepresentation formulas, Lorentz space improvements, and isoperimetric inequalities for measures and bounded open sets. When one moves away from the endpoint to $p>1$, the analogous inequalities no longer hold in general; however, we identify a sharp bumped maximal function for which the corresponding non-endpoint inequality is valid. Finally, we show that this framework yields new $(p,p)$ two-weight Sobolev inequalities.

研究动机与目标

• 将 Meyers–Ziemer 端点 Sobolev 不等式推广至带有极大值函数权重的测度。
• 在带权设定下推导 BV、容量和等周不等式。
• 将端点 Sobolev 不等式与分数算子及 Riesz 势的端点估计联系起来。
• 建立两权 Sobolev 不等式并讨论 bump 条件的紧性。

提出的方法

• 证明对于带右侧极大值函数的测度的全局端点 Sobolev 不等式：对 Lip_c 函数有 (23) ∫ |u| dμ ≤ C ∫ |∇u| M1μ dx。
• 通过定理 2.2 将 Mαμ 的有限性与 Hausdorff 测度之间的等价性，以及若在几乎处处有限时 M1μ 是 A1 权重。
• 由(23) 推导带权 BV、容量与带权等周不等式（包括推论 2.3 与推论 2.7）。
• 建立 I1 与向量 R f 的端点估计：∥I1 f∥L1(μ) ≤ C ∥R f∥L1(M1 μ) 及相关的 Hardy 空间界（定理 2.8、定理 2.11）。
• 讨论 Lorentz 空间的细化及对 Lorentz-尺度 Sobolev 不等式的扩展（推论 2.12）。
• 给出两权 Sobolev 不等式及 bump 条件的结果，包括对对角线情形（p=p）下的最优结果的讨论。

实验结果

研究问题

• RQ1 在自然延拓 Meyers–Ziemer 的测度端点 Sobolev 不等式 Should 是什么？
• RQ2 在梯度端引入 M1μ 作为权重对 BV、容量与等周性不等式有何影响？
• RQ3 在该框架下分数算子（Iα、Mα）的端点界限是什么，且 Riesz 变换在这些估计中的作用如何？
• RQ4 框架是否能给出带有尖锐 bump 条件的两权（p,p） Sobolev 不等式？
• RQ5 在该端点框架中 Lorentz 细化如何产生及其对带权 Sobolev 不等式的影响？

主要发现

• 对于带有右侧极大值函数的测度，全局端点 Sobolev 不等式成立：∫ |u| dμ ≤ C ∫ |∇u| M1μ dx。
• 若在某处 Mαμ 有限，则在除一个 Hn−α 空集外几乎处处有限，并且 Mαμ ∈ A1；这支撑了框架中的权重行为。
• 该框架给出 BV(w) 的扩展、w-周长表示及带权等周不等式（推论 2.3–2.7）。
• I1 与向量 R f 的端点界得到确立：∥I1 f∥L1(μ) ≤ C ∥R f∥L1(M1 μ) 及相关的 Hardy 空间界（定理 2.8、定理 2.11）。
• 得到 Lorentz 空间的端点细化，例如 ∥u∥L n/(n−1),1(μ) ≤ C ∫ |∇u| (Mα μ)1/q dx（推论 2.12）。
• 讨论带有 bump 条件的两权 Sobolev 不等式（p,p），并在对角情形（p=q）下给出 refined bump 偏好下的最优结果。