Bounded linear extensions in the endpoint and quasi-Banach Lizorkin–Triebel ranges

Determine whether there exists a bounded linear extension operator from the trace space of the Lizorkin–Triebel space F^s_{p,q}(\mathbb{R}^n) on a closed d-thick set to F^s_{p,q}(\mathbb{R}^n) when p=1 or q<1, under the parameter conditions s>(n-d)/p and 0<q≤∞.

Background

The paper constructs bounded extension operators for traces of Fs_{p,q}(\mathbb{R}n) to closed d-thick sets throughout the stated parameter range. When p>1 and q≥1, the extension operator can additionally be chosen bounded and linear by using integral averages as local approximations.

For the remaining cases p=1 or q<1, the construction based on almost-best local approximations does not yield a bounded linear operator. The authors explain that, when the local approximation exponent satisfies σ<1 and the relevant measures are nonatomic, linear local almost-best approximations are impossible because the continuous dual of L_σ for 0<σ<1 is trivial. They explicitly note that this is only an obstruction to their construction and does not settle whether another bounded linear extension operator exists.

References

While our method does not produce a bounded linear extension operator in the Lizorkin--Triebel case when p=1 or q<1 (compare also with the range of parameters in Remark~1.7, who used a similar construction), we do not claim that such an operator does not exist.

Traces of Besov and Lizorkin--Triebel spaces to thick subsets of $\mathbb{R}^n$  (2609.19520 - Chikalov, 17 Sep 2026) in Section 1, immediately after Theorem 1.2 (the second main result)