Two-Weight Poincaré–Sobolev Inequality

• The two-weight Poincaré–Sobolev inequality is a sharp norm inequality that controls the oscillation of functions using weighted Lq norms and fractional or integer derivatives.
• Researchers apply methods like dyadic decomposition and sparse domination to establish optimal constants and Muckenhoupt conditions in various analytical settings.
• The inequality has key applications in weighted PDE theory and function space embeddings, unifying classical Sobolev, Besov, and Triebel–Lizorkin frameworks.

The two-weight Poincaré–Sobolev inequality refers to a family of sharp norm inequalities in which the oscillation or deviation of a function (typically measured in an $L^q$ norm with respect to a weight $\omega$) is controlled in terms of the regularity of the function (e.g., its fractional or integer-order derivatives measured in a weighted $L^p$ norm with respect to a possibly different weight $\sigma$). These inequalities capture nontrivial geometric and analytical aspects in weighted function spaces, with crucial dependencies on the interaction of the weight pair $(\omega, \sigma)$ and, in the fractional or variable-exponent settings, on additional parameters such as the smoothness index or the geometry of the underlying domain.

1. General Statement and Paradigm

The archetypal two-weight fractional Poincaré–Sobolev inequality on a cube $Q \subset \mathbb{R}^d$ asserts that for $f\in L^1_{\text{loc}}(Q)$, $s\in(0,1)$, $1\le p\le q<\infty$, $r\in[1,\infty)$, one has

$\omega$0

where

• $\omega$1,
• $\omega$2,
• $\omega$3 denotes the mean of $\omega$4 over $\omega$5.

The constant $\omega$6 depends explicitly on the "two-weight Muckenhoupt characteristic" $\omega$7 and, in critical cases, on auxiliary weight parameters (notably $\omega$8 characteristics of $\omega$9, $L^p$0). This envelope encapsulates local, global, fractional, and integer-order inequalities across varying settings (Lorist et al., 9 Apr 2026).

2. Two-Weight Muckenhoupt Conditions and Optimality

A weight pair $L^p$1 is admissible for the sharp forms of these inequalities if

$L^p$2

where $L^p$3, $L^p$4 is the dual exponent, and $L^p$5 is determined in terms of the indices via

$L^p$6

The singular factor $L^p$7 in the subcritical range and the necessity of additional $L^p$8 conditions in the critical regime are intrinsic, as confirmed by explicit counterexamples and scaling arguments (Lorist et al., 9 Apr 2026, Kurki et al., 2019, Meyries et al., 2011). When $L^p$9, the asymptotically sharp factor $\sigma$0 becomes optimal in the sense of Bourgain–Brezis–Mironescu-type limits, recovering the classical first-order two-weight Poincaré–Sobolev inequalities.

3. Representative Inequalities Across Settings

The two-weight paradigm extends to higher-order, fractional, and variable-exponent spaces, as well as to non-Euclidean settings.

Summary of Key Results

Setting	Inequality Form	Weight Class
Euclidean/fractional, constant exponents	$\sigma$1	$\sigma$2
Power weights, Euclidean Sobolev/Besov/Triebel–Lizorkin	$\sigma$3	$\sigma$4, admissible exponents
Variable exponent, Carnot–Carathéodory/Carnot group	$\sigma$5	$\sigma$6

The optimality and necessity of the weight and index conditions is established in (Lorist et al., 9 Apr 2026, Meyries et al., 2011, Vallejos et al., 2022); the failure of these conditions leads to invalidity or blow-up of the constants.

4. Proof Techniques and Sparse Domination

Sharp two-weight results rely on a combination of harmonic analysis and functional-analytic tools:

• Telescoping and Dyadic Decomposition: For subcritical regimes, the elementary telescoping approach expresses $\sigma$7 in terms of dyadic averages across scales.
• Sparse Domination: For critical regimes, sparse families control difference quotients or means via pointwise domination, with localized stopping-time constructions producing families of cubes supporting strong $\sigma$8-style inequalities (Lorist et al., 9 Apr 2026, Kurki et al., 2019).
• Maximal and Fractional Integral Operators: Weighted norm inequalities for strong and fractional maximal operators, Fefferman–Stein sharp function inequalities, and their extrapolation to variable-exponent and non-Euclidean settings (Meyries et al., 2011, Vallejos et al., 2022).
• Representation Formulas: In non-Euclidean or variable-exponent spaces, sharp representation in terms of integral operators such as Riesz potentials allows direct control by weighted fractional integrals (Vallejos et al., 2022).
• Whitney and Chain Decomposition in Domains: Local inequalities on cubes are pieced together globally using Whitney decomposition and the Boman chain condition in non-convex domains (Kurki et al., 2019).

5. Domains, Extensions, and Geometry

Local inequalities extend to global versions in bounded domains under geometric assumptions such as the Boman chain (or John) condition. The crucial mechanism is piecing together local Poincaré inequalities using a covering of Whitney cubes and telescoping across cube chains. In settings with symmetry or scaling (e.g., Carnot groups), the geometry and volume growth dictate the exact exponents and sharp constants (Kurki et al., 2019, Vallejos et al., 2022).

Special attention is given to weighted inequalities where the weights are of geometric or PDE origin—such as power distance to a set or nonnegative $\sigma$9-Laplace supersolutions. These weights satisfy the two-weight Muckenhoupt conditions under additional structural hypotheses (Kurki et al., 2019).

6. Function Spaces, Parameter Sharpness, and Counterexamples

The landscape of admissible function spaces for sharp two-weight Poincaré–Sobolev inequalities is broad:

• Besov and Triebel–Lizorkin spaces (via embeddings),
• Sobolev ($(\omega, \sigma)$0) and Bessel–potential ($(\omega, \sigma)$1) spaces under suitable weights,
• Spaces with variable exponents on homogeneous or sub-Riemannian spaces.

The sharpness of the parameter range is well established: embeddings hold if and only if explicit relationships among weights and integrability exponents are satisfied—often amounting to the comparison of "effective dimension" terms such as $(\omega, \sigma)$2 for $(\omega, \sigma)$3 to $(\omega, \sigma)$4 Sobolev embeddings with weights $(\omega, \sigma)$5 (Meyries et al., 2011). Scaling and bump function arguments yield counterexamples that demonstrate the necessity of each condition.

7. Applications and Extensions

Significant applications include:

• Weighted PDE Theory: Existence and regularity for degenerate elliptic equations (including variable-exponent or Carnot–Carathéodory subelliptic cases), using the two-weight Poincaré–Sobolev as a foundation for energy minimization and compactness (Vallejos et al., 2022).
• Geometry and Harmonic Analysis: Analysis of singular weights near boundaries or sets, Q-valued weights, and interaction with trace and extension inequalities.
• Maximal Function and Integral Operators: Boundedness results for key operators in harmonic analysis under two-weight assumptions, providing structure for further weighted norm inequalities, including those required in sparse domination.

The recent development of sparse domination for Triebel–Lizorkin difference quotients (Lorist et al., 9 Apr 2026), the explicit treatment of variable exponents (Vallejos et al., 2022), and comprehensive embedding characterizations for power weights (Meyries et al., 2011) substantially unify and extend earlier harmonic analysis approaches.

---

References

• "The two-weight fractional Poincaré-Sobolev sandwich" (Lorist et al., 9 Apr 2026)
• "Weighted norm inequalities in a bounded domain by the sparse domination method" (Kurki et al., 2019)
• "Sharp embedding results for spaces of smooth functions with power weights" (Meyries et al., 2011)
• "Weighted $(\omega, \sigma)$6-Poincaré and Sobolev inequalities for vector fields satisfying Hörmander's condition and applications" (Vallejos et al., 2022)