Two-Weight Sobolev–Triebel–Lizorkin Embedding

• Two-weight Sobolev–Triebel–Lizorkin embedding is a framework that studies the continuous inclusion of weighted Sobolev spaces into weighted Triebel–Lizorkin spaces using precise Muckenhoupt-type conditions.
• It employs innovative methods like telescoping arguments, sparse domination, and dyadic analysis to derive explicit quantitative inequalities under general weights.
• The results establish sharp asymptotics and optimal parameter ranges, distinguishing subcritical and critical regimes with practical implications in harmonic analysis.

The two-weight Sobolev–Triebel–Lizorkin embedding addresses the continuous inclusion of weighted Sobolev spaces into (possibly different) weighted Triebel–Lizorkin spaces, governed by quantitative conditions on the underlying weight functions. This subject links the modern theory of function spaces with harmonic analysis, integrating sharp dependence on Muckenhoupt-type two-weight classes, difference norms, and sparse domination techniques. Recent works establish precise inequalities under general weights, sharp asymptotics as the smoothness parameter approaches its endpoint, and clarify the full regime of parameters where such embeddings exist (Lorist et al., 9 Apr 2026, Drihem, 2021, Meyries et al., 2011).

1. Function Space and Weight Definitions

Let $Q\subset\mathbb{R}^d$ be a cube. For $p\ge1$ and a weight $\sigma$:

• The weighted Lebesgue space $L^p_\sigma(Q)$ has norm

$$\|f\|_{L^p_\sigma(Q)} = \left( \int_Q |f(x)|^p \sigma(x)^p\,dx \right)^{1/p}$$

• The first-order weighted Sobolev space $W^{1,p}_\sigma(Q)$ contains $f\in L^p_\sigma(Q)$ such that each weak derivative $\partial_j f\in L^p_\sigma(Q)$,

$$\|f\|_{W^{1,p}_\sigma(Q)} = \|f\|_{L^p_\sigma(Q)} + \|\nabla f\|_{L^p_\sigma(Q)}$$

• For $s\in(0,1)$, $p\ge1$0, and weight $p\ge1$1, the weighted Triebel–Lizorkin difference seminorm is

$p\ge1$2

And the associated space:

$p\ge1$3

The structure and interpretation of these spaces are consistent with the classical theory, but all quantitative features—norms, embeddings, and estimates—are sensitive to the precise form of the weights involved (Drihem, 2021).

2. Muckenhoupt-Type Two-Weight Classes and Conditions

To formulate two-weight embeddings, one requires the pairing of weights $p\ge1$4 to satisfy a quantitative two-weight Muckenhoupt condition:

$p\ge1$5

where

$p\ge1$6

These conditions extend classical one-weight $p\ge1$7 conditions, capturing the influence of both weights on averages over all subcubes $p\ge1$8. The involved exponent $p\ge1$9 parameterizes further scaling flexibility (Lorist et al., 9 Apr 2026).

The Fujii–Wilson $\sigma$0-characteristic for a weight $\sigma$1 over $\sigma$2 is

$\sigma$3

where $\sigma$4 denotes the local Hardy–Littlewood maximal operator, entering crucially into estimates and sharp constant tracking.

3. Statement of the Two-Weight Sobolev–Triebel–Lizorkin Embedding

Let $\sigma$5, $\sigma$6, $\sigma$7, $\sigma$8, and $\sigma$9. Define the scaling deficit

$L^p_\sigma(Q)$0

A. Subcritical Case ($L^p_\sigma(Q)$1):

$L^p_\sigma(Q)$2

If in addition $L^p_\sigma(Q)$3, the last factor may be replaced by $L^p_\sigma(Q)$4.

B. Critical Case ($L^p_\sigma(Q)$5):

Assume $L^p_\sigma(Q)$6. Then

$L^p_\sigma(Q)$7

These inequalities exhibit explicit and sharp quantitative dependence on the Muckenhoupt and $L^p_\sigma(Q)$8 characteristics, with asymptotic sharpness as $L^p_\sigma(Q)$9 (fractional smoothness approaching integer order). The endpoint phenomena and sharpness are confirmed via mollified step-function test cases, with the critical constant's blow-up matching negative powers of $$\|f\|_{L^p_\sigma(Q)} = \left( \int_Q |f(x)|^p \sigma(x)^p\,dx \right)^{1/p}$$0 (Lorist et al., 9 Apr 2026).

4. Methods of Proof: Telescoping, Sparse Domination, Dyadic and Sequence Analysis

Subcritical Case ($$\|f\|_{L^p_\sigma(Q)} = \left( \int_Q |f(x)|^p \sigma(x)^p\,dx \right)^{1/p}$$1):

The proof utilizes a telescoping argument, exploiting the (1,1)-Poincaré inequality and a bounded-overlap summation over dyadic cubes. The summability across geometrically decaying scales is achieved through a dyadic summation lemma, yielding explicit constants in terms of $$\|f\|_{L^p_\sigma(Q)} = \left( \int_Q |f(x)|^p \sigma(x)^p\,dx \right)^{1/p}$$2.

Critical Case ($$\|f\|_{L^p_\sigma(Q)} = \left( \int_Q |f(x)|^p \sigma(x)^p\,dx \right)^{1/p}$$3):

A central innovation is the use of a sparse domination principle for the fractional difference-quotient. For suitable sparse families $$\|f\|_{L^p_\sigma(Q)} = \left( \int_Q |f(x)|^p \sigma(x)^p\,dx \right)^{1/p}$$4 of dyadic subcubes, the pointwise difference-quota is written as a sum of local oscillations and fractional seminorms:

$$\|f\|_{L^p_\sigma(Q)} = \left( \int_Q |f(x)|^p \sigma(x)^p\,dx \right)^{1/p}$$5

Sparse operator theory then allows one to import sharp norm bounds directly from two-weight inequalities for sparse forms (Lorist et al., 9 Apr 2026). This approach unifies and refines earlier methods, requiring only elementary norm estimates in the subcritical case and sparse domination plus weighted norm inequalities in the critical case.

Sequence and Atomic/Molecular Techniques:

In frameworks developed for spaces of general weights, the embedding can be analyzed by reduction to discrete embeddings for sequence spaces via Frazier–Jawerth $$\|f\|_{L^p_\sigma(Q)} = \left( \int_Q |f(x)|^p \sigma(x)^p\,dx \right)^{1/p}$$6-transform, almost-diagonal operator estimates, and atomic/molecular representations. This approach is prominent in the analysis for general smoothness weights (Drihem, 2021).

5. Sharpness, Special Cases, and Optimal Parameter Ranges

Sharpness is demonstrated through rescaled bump functions, mollified steps, and power-log type test functions, ensuring necessity of each condition in the embeddings (Lorist et al., 9 Apr 2026, Meyries et al., 2011). In the critical regime, the optimal exponent $$\|f\|_{L^p_\sigma(Q)} = \left( \int_Q |f(x)|^p \sigma(x)^p\,dx \right)^{1/p}$$7 reflects Bourgain–Brezis–Mironescu asymptotics, and failure with strictly smaller powers is shown for suitable singular examples.

For power weights,

$$\|f\|_{L^p_\sigma(Q)} = \left( \int_Q |f(x)|^p \sigma(x)^p\,dx \right)^{1/p}$$8

the exact parameter ranges for embeddings (e.g., in Triebel–Lizorkin to Triebel–Lizorkin or Lebesgue spaces) are characterized by affine Sobolev-line conditions:

$$\|f\|_{L^p_\sigma(Q)} = \left( \int_Q |f(x)|^p \sigma(x)^p\,dx \right)^{1/p}$$9

The necessity arises from scale-invariance and counterexamples exhibiting endpoint failure (Meyries et al., 2011).

6. Maximal Inequalities, Weighted Calderón–Zygmund Theory, and Structural Lemmas

Weighted maximal function inequalities—such as Fefferman–Stein vector-valued maximal estimates and reverse Hölder properties for $W^{1,p}_\sigma(Q)$0 classes—play a central role. Key structural elements include:

• Weighted Calderón–Zygmund decomposition (controlling bad cubes)
• Sequence-space convolution lemmas (establishing boundedness of almost-diagonal operators)
• Weighted interpolation for sublinear operators

These apparatus connect the continuous function-space theory to the discrete sequence-embedding framework needed for sharp two-weight analysis (Drihem, 2021).

7. Extensions, Generalizations, and Research Directions

The two-weight Sobolev–Triebel–Lizorkin embedding unifies and extends previous embedding criteria for Besov, Bessel-potential, and classical Sobolev spaces under weighted and two-weight norms. It supports embeddings into Triebel–Lizorkin and Lebesgue spaces and remains valid for vector-valued target spaces without additional structural assumptions (Meyries et al., 2011).

Recent works further generalize to Triebel–Lizorkin spaces with general smoothness and quasi-Banach range by atomic/molecular decomposition techniques, as well as to settings with spatially inhomogeneous smoothness and weights (Drihem, 2021). The analytic machinery—sparse domination, explicit norm dependence on weights, and atomic representations—continues to be refined for new classes of weights and non-Euclidean settings.

References:

• "The two-weight fractional Poincaré-Sobolev sandwich" (Lorist et al., 9 Apr 2026)
• "Sharp embedding results for spaces of smooth functions with power weights" (Meyries et al., 2011)
• "Triebel-Lizorkin spaces with general weights" (Drihem, 2021)