[論文レビュー] 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 不等式を一般化する。
• weighted 設定で BV、容量、等周不等式を導く。
• エンドポイント Sobolev 不等式を分数演算子とリースポテンシャルのエンドポイント推定と結びつける。
• 二重重み Sobolev 不等式とボンプ条件の鋭さを議論する。

提案手法

• Lip_c 関数についての右辺最大関数を特徴とする測度のグローバルエンドポイント Sobolev 不等式を証明する：(23) ∫ |u| dμ ≤ C ∫ |∇u| M1μ dx.
• 定理 2.2 により Mαμ の有界性とHausdorff 測度の等価性を示し、有限なほとんど everywhere で M1μ が A1 重みであることを示す。
• (23) から重み付き BV、容量、等周不等式を導出し、Corollary 2.3 および Corollary 2.7 を含む。
• I1 およびベクトル R f のエンドポイント推定を確立し、∥I1 f∥L1(μ) ≤ C ∥R f∥L1(M1 μ) および関連する Hardy 空間界を示す（定理 2.8、定理 2.11）。
• ローレンツ空間のエンドポイントの改良と Lorentz スケール Sobolev 不等式への拡張を論じる（Corollary 2.12）。
• 二重重み Sobolev 不等式とボンプ条件を提示し、 diagonal ケース（p=p）での最適結果を含む。

実験結果

リサーチクエスチョン

• RQ1 Meyers–Ziemer に自然に拡張する測度の適切なエンドポイント Sobolev 不等式は何か。
• RQ2 勾配側の重みとして M1μ を導入することで BV、容量、等周不等式はどう変わるか。
• RQ3 このフレームワークにおける分数演算子（Iα, Mα）のエンドポイント界はどうなるか、リース変換はこれらの推定でどう位置づけられるか。
• RQ4 鋭い bump 条件を用いた二重重み（p,p）Sobolev 不等式は得られるか。
• RQ5 Lorentz の refine はこのエンドポイントフレームワークでどう現れ、重み付き Sobolev 不等式へどんな影響を与えるか。

主な発見

• 測度に対するグローバルエンドポイント Sobolev 不等式は、右辺に最大関数を持つ形で成り立つ：∫ |u| dμ ≤ C ∫ |∇u| M1μ dx。
• Mαμ がどこかで有限なら、それは Hn−α の零測度集合の外ではほぼ Everywhere 有限となり、Mαμ は A1 に属することが分かる；これがフレームワークにおける重みの性質を支える。
• このフレームワークは BV(w) の拡張、w-パリメータ表現、重み付き等周不等式（Corollaries 2.3–2.7）を生み出す。
• I1 とベクトル R f のエンドポイント界を確立：∥I1 f∥L1(μ) ≤ C ∥R f∥L1(M1 μ) および関連する Hardy 空間界（定理 2.8、定理 2.11）。
• ローレンツ空間のエンドポイントの改良が得られ、例：∥u∥L n/(n−1),1(μ) ≤ C ∫ |∇u| (Mα μ)1/q dx（Corollary 2.12）。
• ボンプ条件を伴う二重重み不等式（p,p）の解析が行われ、 diagonal ケース（p=q）における最適結果が refined bump 仮定の下で得られる。