[논문 리뷰] Weighted Sobolev Inequalities via the Meyers--Ziemer Framework: Measures, Isoperimetric Inequalities, and Endpoint Estimates

Simon Bortz, OFS외 3명|arXiv (Cornell University)|2026. 03. 05.

Nonlinear Partial Differential Equations인용 수 0

한 줄 요약

이 논문은 Maximal function을 포함한 Meyers–Ziemer–유형 프레임워크를 사용하여 측정에 대한 일반화된 endpoint Sobolev 부등식을 개발하고, BV, 용량, 등측성 및 분수 연산자에 대한 endpoint 추정치를 포함한 두 가중 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 endpoint Sobolev 부등식을 최대 함수 가중치를 갖는 측정에 일반화한다.
• 가중 설정에서 BV, 용량 및 등측성 부등식을 도출한다.
• endpoint Sobolev 부등식을 분수 연산자와 Riesz 포텐셜의 endpoint 추정과 연결한다.
• 두 가중 Sobolev 부등식과 bump 조건의 예리성 논의를 제시한다.

제안 방법

• (23) ∫ |u| dμ ≤ C ∫ |∇u| M1μ dx for Lip_c functions와 같이 우변에 최대 함수가 있는 전역 endpoint Sobolev 부등식을 증명한다.
• Theorem 2.2에 의해 Mαμ의 유한함과 Hausdorff 측정 간의 동등성 및 M1μ가 거의 모든 곳에서 유한할 때 A1 가중치임을 보인다.
• (23)으로부터 가중 BV, 용량 및 등측성 부등식을 도출하고 Corollary 2.3 및 Corollary 2.7을 포함한다.
• I1 및 벡터 R f에 대한 endpoint 추정치를 확립하고, Theorem 2.8 및 Theorem 2.11에서 M1μ를 통해 I1과 R을 연결한다.
• Lorentz 공간 정밀화 및 Lorentz-스케일 Sobolev 부등식으로의 확장을 논의한다(Corollary 2.12).
• 대각선 경우(p=p)에서 최적 결과를 포함한 두 가중 Sobolev 부등식과 bump 조건을 제시한다.

실험 결과

연구 질문

• RQ1 측정에 대해 Meyers–Ziemer를 자연스럽게 확장하는 적절한 endpoint Sobolev 부등식은 무엇인가?
• RQ2 gradient 쪽에 가중치로 M1μ를 도입하는 것이 BV, 용량 및 등측성 부등식에 어떤 영향을 미치는가?
• RQ3 이 프레임워크에서 분수 연산자(Iα, Mα)의 endpoint 경계는 무엇이며 Riesz 변환이 이러한 추정에서 어떤 역할을 하는가?
• RQ4 프레임워크가 예리한 bump 조건을 갖는 두 가중(p,p) Sobolev 부등식을 도출할 수 있는가?
• RQ5 이 endpoint 프레임워크에서 Lorentz 정밀화는 어떻게 나타나며 가중 Sobolev 부등식에 어떤 시사점을 주는가?

주요 결과

• 측정에 대한 전역 endpoint Sobolev 부등식이 오른쪽에 최대 함수가 있는 형태로 성립한다: ∫ |u| dμ ≤ C ∫ |∇u| M1μ dx.
• Mαμ가 어딘가에서 유한하면, 그것은 Hn−α-null 집합 밖에서 거의 모든 곳에서 유한하고 Mαμ ∈ A1임이 밝혀지는 등의 가중치 동작이 프레임워크의 기반이 된다.
• 프레임워크는 BV(w) 확장, w-퍼imeter 표현, 가중 등측성 부등식(Corollaries 2.3–2.7)을 도출한다.
• I1 및 벡터 R f에 대한 endpoint 경계가 확립되며: ∥I1 f∥L1(μ) ≤ C ∥R f∥L1(M1 μ) 및 관련 Hardy 공간 경계(Theorem 2.8, Theorem 2.11)가 성립한다.
• Lorentz 공간의 endpoint 정밀화가 얻어지며, 예를 들어 ∥u∥L n/(n−1),1(μ) ≤ C ∫ |∇u| (Mα μ)1/q dx (Corollary 2.12)와 같이 나타난다.
• bump 조건을 갖는 두 가중 Sobolev 부등식(p,p)이 분석되며, 대각선 경우(p=q)에서 refined bump 가정 하에 최적 결과를 포함한다.