Two-Weight Fractional Poincaré–Sobolev Inequality

• The two‐weight fractional Poincaré–Sobolev inequality quantifies function deviation from weighted means using dual weight functions and measures fractional smoothness.
• It generalizes classical inequalities by incorporating joint weight conditions like A₁ and Aₚ,₍q₎ᵅ, ensuring precise asymptotic tracking as the fractional parameter approaches 1.
• Proof strategies leverage dyadic telescoping, Hölder’s inequality, and sparse domination to secure optimal bounds with applications in harmonic analysis and partial differential equations.

A two-weight fractional Poincaré–Sobolev inequality rigorously quantifies the relationship between a function’s deviation from its weighted mean and its fractional smoothness, simultaneously incorporating two independent weight functions into the analysis. These inequalities generalize classical unweighted or single-weight Poincaré–Sobolev inequalities, allowing for adaptation to metric and measure variability and for a precise asymptotic analysis as the fractional parameter approaches the limiting integral case (Hurri-Syrjänen et al., 2022); see also comprehensive sandwich formulations and sharp regime tracking in (Lorist et al., 9 Apr 2026).

1. Mathematical Formulation and Exact Inequality

Let $Q\subset\mathbb{R}^n$ (or $\mathbb{R}^d$) be a cube, $0$1\leq p < \infty$, and $w_1, w_2$ be nonnegative, locally integrable weight functions. For $u\in L^p(Q, w_1dx)$, the two-weight fractional Poincaré–Sobolev inequality states that, provided the pair $(w_1, w_2)$ satisfies a joint Muckenhoupt $A_1$-type condition,

$$\left( \int_Q |u(x) - u_{Q,w_1}|^p w_1(x)\,dx \right)^{1/p} \leq C_n \, (1-s)^{1/p} [w_1, w_2]_{A_1}^{1/p} |Q|^{s/n} \left( \int_Q\int_Q \frac{|u(x) - u(y)|^p}{|x-y|^{n+sp}} w_2(x)\,dy\,dx \right)^{1/p}$$

where $$u_{Q,w_1} := \left(\int_Q u(x)w_1(x)\,dx\right)/\left(\int_Q w_1(x)\,dx\right)$$, and $\mathbb{R}^d$0 is the joint $\mathbb{R}^d$1-constant: $\mathbb{R}^d$2 Here $\mathbb{R}^d$3 is the Hardy–Littlewood maximal operator (Hurri-Syrjänen et al., 2022).

A more general form, including $\mathbb{R}^d$4-deviation, Triebel–Lizorkin norms, and two-weight Muckenhoupt $\mathbb{R}^d$5 classes, is developed in (Lorist et al., 9 Apr 2026): $\mathbb{R}^d$6 with

$\mathbb{R}^d$7

The necessary weight conditions are $\mathbb{R}^d$8, where $\mathbb{R}^d$9 quantitatively captures the two-weight interaction.

2. Muckenhoupt Weight Classes and Sharp Constant Behavior

The joint weight assumption is central. For the basic inequality, $0

$0

For generalized Lorist–Wagenaar inequalities, the $0

$0

with $0

Tracking of the constant as the fractional parameter $0$1\leq p < \infty$0; as $1\leq p < \infty$1, $1\leq p < \infty$2, thus $1\leq p < \infty$3, yielding optimal blow-up rates (Lorist et al., 9 Apr 2026).

3. Proof Strategies: Subcritical and Critical Cases

Two main proof approaches correspond to the subcritical ($1\leq p < \infty$4) and critical ($1\leq p < \infty$5) regimes:

• Subcritical ($1\leq p < \infty$6): The argument uses elementary dyadic telescoping and Lebesgue differentiation. On dyadic subcubes, one applies the unweighted fractional Poincaré, followed by Hölder's inequality and a summation over the dyadic tree, utilizing a discrete lemma to introduce the $1\leq p < \infty$7 dependence. This approach exploits the scaling gap provided by $1\leq p < \infty$8.
• Critical ($1\leq p < \infty$9): Pointwise control is upgraded using sparse domination. The $w_1, w_2$0 deviation is estimated via a sparse family $w_1, w_2$1 of cubes. On each, the same local fractional inequality is applied, leading to sparse operators $w_1, w_2$2, for which sharp weighted bounds involving $w_1, w_2$3 and $w_1, w_2$4 characteristics are known (Lorist et al., 9 Apr 2026).

4. Triebel-Lizorkin Embedding and Sparse Domination

A parallel two-weight embedding from $w_1, w_2$5 to local Triebel–Lizorkin spaces $w_1, w_2$6 is established: $w_1, w_2$7 with sharp quantitative constants depending on the $w_1, w_2$8 characteristic and various endpoint parameters. The proof in the critical regime relies on a new sparse domination result for the difference-quotient operator: for every function $w_1, w_2$9 and dyadic cube $u\in L^p(Q, w_1dx)$0,

$u\in L^p(Q, w_1dx)$1

and for a.e.\ $u\in L^p(Q, w_1dx)$2 in $u\in L^p(Q, w_1dx)$3,

$u\in L^p(Q, w_1dx)$4

where $u\in L^p(Q, w_1dx)$5 is a sparse collection. This structure enables direct extension of sparse bounds for maximal and fractional integral operators to the fractional Poincaré and embedding scenario (Lorist et al., 9 Apr 2026).

5. One-Weight Limit and Endpoint Phenomena

Specializing to $u\in L^p(Q, w_1dx)$6, $u\in L^p(Q, w_1dx)$7, $u\in L^p(Q, w_1dx)$8 recovers the classical one-weight $u\in L^p(Q, w_1dx)$9 theory. The sharp constant dependence persists, recovering previous best results for one-weight fractional inequalities and extending endpoint range to cases with $(w_1, w_2)$0 or distinct pairs of weights. In the critical regime, powers of $(w_1, w_2)$1-characteristics precisely describe blow-up in the limit, confirming BBM-phenomenon sharpness already for $(w_1, w_2)$2 in the general two-weight context (Lorist et al., 9 Apr 2026, Hurri-Syrjänen et al., 2022).

6. Connections and Generalizations

The two-weight fractional Poincaré–Sobolev inequalities unify several earlier results, such as the weighted Poincaré–Sobolev inequalities of Fabes, Kenig, and Serapioni and the BBM-phenomenon discovered by Bourgain, Brezis, and Mironescu. They admit simultaneous treatment of Poincaré, Sobolev-type, and Hardy-type inequalities in the fractional setting and have led to new sharp estimates for weighted difference-norms and embeddings beyond the reach of classical methods (Hurri-Syrjänen et al., 2022, Lorist et al., 9 Apr 2026).

Further, the explicit, quantitative tracking of both fractional and weight parameters positions these inequalities as robust tools in harmonic analysis, geometric measure theory, and PDEs on irregular domains. Recent sharp embedding results for Sobolev $(w_1, w_2)$3 Triebel–Lizorkin spaces and the introduction of sparse domination for local difference-quotient operators represent modern advancements with applications extending to endpoint and non-doubling measures.