Pith. sign in

REVIEW 1 major objections 4 minor 63 references

Fractional Heat Semigroup Characterization of Distances from Functions in Lipschitz Spaces to Their Subspaces

T0 review · 1 major / 4 minor · reviewed 2026-08-05 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper proves that the distance from a Lipschitz function to a broad family of subspaces—Sobolev, Besov, Triebel–Lizorkin, and Besov-type spaces—is characterized, up to constants, by a critical threshold of the fractional heat semigroup

desk verdict A serious extension of Garnett–Jones via fractional heat semigroups, but the lower bound hangs on an unpublished companion lemma with a missing identifier; referee it, but require the lemma to be supplied. read the letter →

arxiv 2508.21269 v1 pith:R5MFIKWC submitted 2025-08-29 math.FA math.APmath.CA

Feng Dai , Eero Saksman , Dachun Yang , Wen Yuan , Yangyang Zhang This is my paper · ORCID
classification math.FAmath.APmath.CA MSC 46E3526A1635K0842C4042E35
keywords fractionalheatsemigroupdistanceinLipschitzspacescriticalindexbadsetsDaubechieswaveletsBesov–Triebel–LizorkinCarleson-typemeasuresquasi-normedlattices
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper's goal is to compute the distance from a function f in the inhomogeneous Lipschitz space Λ_s to a non-dense subspace V by looking only at the fractional heat semigroup e^{-t(-Δ)^{α/2}}. It shows that the distance is equivalent to the smallest ε for which the set of points where |∂_t^r e^{-t^α(-Δ)^{α/2}} f(x)| exceeds ε t^{s-rα} has finite size, measured by an admissible set function tailored to V. This gives one uniform formula covering intersections of Λ_s with Sobolev, Besov, Triebel–Lizorkin, and Besov-type spaces for every smoothness s>0 and every order α>0. The result extends earlier Poisson-semigroup and finite-difference characterizations, and it yields a description of the closure of each such subspace in Λ_s.

What carries the argument

The central object is the bad set D_{α,r}(s,f,ε) = {(x,t)∈R^n×(0,1]: |∂_t^r (T_{α,t^α} f)(x)| > ε t^{s-rα}}, together with an admissible set function ν and the critical index ε_{α,r,s,ν}(f) = inf{ε: ν(D)<∞}; the distance to the subspace is shown to be comparable to this critical index. The technical engine is a chain of comparisons between these semigroup bad sets and finite-difference super-level sets S_{r1,j}, carried by higher-order ball average operators and the estimate |f(x)-B_{ℓ,t}f(x)| ≤ C sup Δ^{2ℓ} f(x',y) (quoted from the companion paper [12]), along with hyperbolic-metric stability of the bad sets.

What would settle it

Take a concrete f∈Λ_s, e.g. on R with s=1/2 and a truncated linear ramp, choose α=1, r=2, V=J^s(bmo), and compute both the critical index ε_{α,r,s,ν}(f) and the true distance inf_{g∈V}∥f-g∥_{Λ_s}; if their ratio exceeds the equivalence constants asserted in Theorem 11.12, the theorem is false. A sharper test is to check Lemma 9.2 directly: build a sequence of continuous functions with uniformly small Δ^{2ℓ}f but ball-average error growing in t, which would break the chain of inequalities in Proposition 6.3.

Watch

Extended reading notes

Core claim

Under a doubling-type condition on the underlying quasi-normed lattice (Assumption I), Theorem 3.5 asserts that for every f∈Λ_s, d(f,Λ^s_X)_{Λ_s} ∼ ε^0_X f + ε_X f, where ε_X f is the critical index of the fractional-heat bad sets D_{α,r,j}(s,f,ε) and ε^0_X f tracks coarse-scale father-wavelet coefficients. Under the weaker Carleson-type measure condition (Assumption II), Theorem 3.12 gives the analogous equivalence with a Carleson-type measure ν. The paper's applications translate these general statements into explicit formulas for Besov, Triebel–Lizorkin, and Besov-type spaces, including endpoint cases with p=∞, and into criteria for membership in the Λ_s-closures of these spaces.

Load-bearing premise

The load-bearing premise is the ball-average estimate quoted from the authors' unpublished companion paper [12]: for every continuous bounded f, the pointwise error |f(x)-B_{ℓ,t}f(x)| is controlled by a supremum of 2ℓ-th order finite differences on a neighboring space-time window; if this estimate fails or needs extra hypotheses, the proof of the lower bound for both main theorems collapses.

Editorial extensions

If this is right

  • The Λ_s distance to every subspace covered by the framework is determined by a single semigroup-derivative threshold, with constants depending only on framework parameters.
  • Membership in the closure of Λ^s_X is equivalent to finiteness of the bad-set measure at every ε>0 plus vanishing coarse wavelet coefficients.
  • The earlier Poisson-semigroup theorem for J^s(bmo) is extended from s∈(0,1] and α=1 to all s>0 and all α>0, including the nonlocal cases α≠1,2 where the Laplace equation is unavailable.
  • Endpoint spaces such as F^s_{∞,q} and B^s_{∞,q}, which fail the doubling condition, are handled by the Carleson-type measure formulation.
  • For Besov and Triebel–Lizorkin spaces the distance formula becomes an explicit expression involving the measure of the semigroup bad sets at dyadic time scales.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Editorial inference: the same bad-set/critical-index scheme should transfer to other semigroups with comparable pointwise kernel decay, e.g. symmetric α-stable processes, giving distance characterizations in their associated Hölder-type spaces.
  • Editorial inference: since ε_X f is defined through time-integrated bad sets, the result suggests a sampling algorithm that estimates Lipschitz distances by evaluating semigroup derivatives on dyadic time shells, without building wavelet coefficients.
  • Editorial inference: a quantitative version of the cited ball-average estimate would convert the equivalence into explicit approximation-error bounds, including the dependence of constants on dimension and regularity.
  • Editorial inference: the split into a coarse-scale term ε^0_X f and a multiscale term ε_X f suggests that approximation in Λ_s decomposes independently into large-scale (father wavelet) and small-scale (semigroup bad set) contributions.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 4 minor

Summary. The paper characterizes the distance in the inhomogeneous Lipschitz space Λ_s from a function f to a subspace V = Λ^s_X (defined via Daubechies wavelets and a quasi-normed lattice X) by the critical index of the fractional heat semigroup 'bad' sets, together with a coarse-scale wavelet term. The two main general results are Theorem 3.5, under Assumption I (a doubling condition on X), and Theorem 3.12, under Assumption II (a Carleson-type measure condition). Applications are given to Sobolev, Besov, Triebel–Lizorkin, Besov-type, and Triebel–Lizorkin-type spaces. The proof is structured as: kernel estimates and a semigroup characterization of Λ_s (Theorem 5.6), three propositions comparing semigroup bad sets with finite-difference bad sets (Propositions 6.1–6.3), and a reduction to the authors' earlier distance characterizations in [11] via Lemmas 4.6–4.8.

Significance. If fully substantiated, this is a significant unified result: it extends the Garnett–Jones and Saksman–Soler i Gibert distance characterizations to all s∈(0,∞) and all fractional semigroup orders α∈(0,∞), for a broad class of subspaces. The paper is transparent in structure and contains self-contained proofs of the fractional heat kernel estimates (Theorem 5.1), the semigroup characterization of Λ_s (Theorem 5.6), and the derivative estimates (Theorem 5.7). The main theorems are explicitly reduced to three technical propositions, whose proofs are detailed conditional on one quoted estimate. The manuscript is not machine-checked, but the logical dependencies are clearly delineated.

major comments (1)
  1. [§9, Lemma 9.2 and Eq. (9.3)] The pointwise ball-average estimate |f(x)−B_{ℓ,t}f(x)| ≤ C sup_{t/(8ℓ)≤y≤t/2} sup_{|x′−x|≤4ℓt} Δ^{2ℓ}f(x′,y) is quoted from the authors' companion paper [12, Lemma 5.11], whose arXiv identifier is listed as '???' in the references. This estimate is the sole source for the pointwise bound used in Lemma 9.1; Lemma 9.1 is in turn the basis of Proposition 6.3, which is used in the lower-bound proof of Theorem 3.5 (Eq. (6.4)) and Theorem 3.12 (Eq. (10.4)). The published reference [10] is cited only for the uniform Λ_s estimate (9.4), not for (9.3). As written, the lower-bound chain in the main theorems is conditional on an unverified external statement. Please provide a proof, a precise available reference, or explicit hypotheses under which (9.3) is valid and verify that they are satisfied by f∈Λ_s.
minor comments (4)
  1. [Abstract and §2 vs. Theorems 3.5/3.12] The abstract and the introductory summary state the distance equivalence as ε_{α,r,s,ν}(f)∼dist(f,V)_{Λ_s}, but Theorems 3.5 and 3.12 require αr>s+3 and characterize the distance by ε_X f + ε^0_X f (or their ν-analogues), with an additional coarse-scale wavelet term. The abstract should be adjusted so that the advertised claim matches the proved statement.
  2. [Theorem 11.6(ii)] The closure criterion for B^s_{∞,q} is stated using the finite-difference sets S_{r,j}(s,f,ε). This contradicts Section 2 and Theorem 11.5(ii), which use the semigroup bad sets D_{α,r,j}(s,f,ε). This appears to be a typo: S_{r,j} should be D_{α,r,j}.
  3. [§10] In the proof of Theorem 3.12, the references to 'Definition 3.10 (iii)' in the neighborhood-finiteness equivalence should be to Definition 3.10(iv). Also, the sentence 'This proves the upper estimate (10.3)' should read 'lower estimate'.
  4. [References] Reference [12] is listed with 'arXiv: ???'. Apart from the mathematical dependence discussed above, the reference itself is incomplete and must be replaced with a proper identifier before submission.

Circularity Check

1 steps flagged · score 4.0 of 10

No definitional circularity; one load-bearing estimate imported from unpublished companion [12], so standalone verification is needed.

  1. self citation load bearing [Section 9, Lemma 9.2 and its use in Lemma 9.1/Proposition 6.3; also References [12]]
    "The estimate (9.3) was established in our recent article [12, Lemma 5.11], while (9.4) follows directly from [10, Theorem 1] and (5.16)."

    The lower bound of Theorems 3.5 and 3.12 is proved via (6.4), which is obtained from Proposition 6.3. Proposition 6.3 is derived from Lemma 9.1, whose proof invokes Lemma 9.2's pointwise estimate (9.3). The paper does not prove (9.3); it attributes it to [12, Lemma 5.11], an unpublished companion paper by the same five authors with arXiv identifier listed as '???'. Thus the central claim's proof chain, at a load-bearing point, reduces to an unverified self-citation. This is not a definitional tautology, and the rest of the semigroup-vs-difference comparison is new content, but the lower-bound proof is not self-contained in this manuscript.

full rationale

The main theorems are not circular by construction: the critical index ε_X f (or ε_{X,α,ν} f) is defined through fractional-heat-semigroup bad sets, while the distance is the usual Λ_s distance, and the paper works to prove two-sided inequalities between these objects rather than defining one as the other. The upper bound goes through the finite-difference characterization from [11] (distance ∼ ε_X,s,θ f) and Proposition 6.2, while the lower bound uses Proposition 6.3 to control semigroup bad sets by finite-difference bad sets. These are substantive analytic comparisons. The principal self-citation concern is the pointwise ball-average estimate (9.3): it is load-bearing for Lemma 9.1 and hence for Proposition 6.3 and the lower bounds of both main theorems, and it is quoted from an unpublished companion paper [12] whose arXiv identifier is listed as '???'. Because [12] is not machine-checked or available for verification, the derivation chain has a genuine unverified self-citation at a critical point. This raises the circularity score, but it is not a case where the prediction is equivalent to its inputs by definition. The abstract's omission of the condition αr > s+3 and of the ε^0_X term is a presentation issue rather than circularity.

Assumptions & free parameters 0 free parameters · 5 assumptions · 1 invented entities

The central claim rests on standard harmonic analysis facts (wavelet systems, K-functionals), on the authors' own earlier framework [11], and on one estimate from an unavailable companion paper. The admissible set functions are new constructs but do not carry independent evidence beyond their use inside the proof. No data-fitting parameters appear.

assumptions (5)
  • standard math Daubechies wavelet systems of arbitrary smoothness L exist and have the standard approximation and characterization properties (Meyer [34]).
    Used in Section 3 to define Λ^s_X and in the wavelet characterizations of Besov and Triebel-Lizorkin spaces.
  • standard math K-functional characterization of Λ_s: f ∈ Λ_s iff sup_{t∈(0,∞)} K(f, A^r, t^{αr})/t^s < ∞, cited from Bergh-Löfström [1, Theorem 6.7.4].
    Invoked in the proof of Theorem 5.6, the semigroup characterization of membership in Λ_s.
  • domain assumption The ball-average estimate (9.3) of Lemma 9.2: |f(x)−B_{ℓ,t}f(x)| ≤ C sup over y∈[t/(8ℓ), t/2] and |x′−x|≤4ℓt of Δ^{2ℓ}f(x′, y), quoted from the unpublished companion [12, Lemma 5.11].
    Load-bearing for Proposition 6.3, which controls semigroup derivatives by finite differences; the lemma is not proved in this paper and its cited source is unavailable.
  • domain assumption Assumption I (doubling condition) or Assumption II (Carleson-type measure condition) holds for the quasi-normed lattice X defining the target subspace.
    These are the standing hypotheses of Theorems 3.5 and 3.12; they are verified in Section 11 for the classical spaces but are not shown to hold for all claimed subspaces.
  • domain assumption The difference and wavelet characterizations from the authors' preprint [11] (Lemmas 4.5-4.8) are valid.
    The proof of the main theorems reduces the semigroup critical index to the finite-difference critical index using these results from a companion preprint.
invented entities (1)
  • admissible set functions ν and Carleson-type measures
    purpose: Extended nonnegative monotone set functions on B(R^n×[0,1]) used to measure the size of the bad sets D_{α,r}(s,f,ε); under Assumption II a Carleson-type measure encodes the lattice X-norm.
    The existence and properties of such ν for a given X are assumed in Assumption II rather than derived from independent principles; these constructs are tailored to make the critical index match the distance.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Fractional Heat Semigroup Characterization of Distances from Functions in Lipschitz Spaces to Their Subspaces." pith.science (2026). https://pith.science/paper/R5MFIKWC

@misc{pith2026250821269,
  author       = {Pith},
  title        = {Pith review of: Fractional Heat Semigroup Characterization of Distances from Functions in Lipschitz Spaces to Their Subspaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/R5MFIKWC}},
  note         = {Machine review of arXiv:2508.21269}
}
abstract

Let $\Lambda_s$ denote the inhomogeneous Lipschitz space of order $s\in(0,\infty)$ on $\mathbb{R}^n$. This article characterizes the distance $d(f, V)_{\Lambda_s}: = \inf_{g\in V} \|f-g\|_{\Lambda_s}$ from a function $f\in \Lambda_s$ to a non-dense subspace $V\subset \Lambda_s$ via the fractional semigroup $\{T_{\alpha, t}: =e^{-t (-\Delta)^{\alpha/2}}: t\in (0, \infty)\}$ for any $\alpha\in(0,\infty)$. Given an integer $ r >s/\alpha$, a uniformly bounded continuous function $f$ on $\mathbb{R}^n$ belongs to the space $\Lambda_s$ if and only if there exists a constant $\lambda\in(0,\infty)$ such that \begin{align*} \left|(-\Delta)^{\frac {\alpha r}2} (T_{\alpha, t^\alpha } f)(x) \right|\leq \lambda t^{s -r\alpha }\ \ \text{for any $x\in\mathbb{R}^n$ and $t\in (0, 1]$}.\end{align*} The least such constant is denoted by $\lambda_{ \alpha, r, s}(f)$. For each $f\in \Lambda_s$ and $0<\varepsilon< \lambda_{\alpha,r, s}(f)$, let $$ D_{\alpha, r}(s,f,\varepsilon):=\left\{ (x,t)\in \mathbb{R}^n\times (0,1]:\ \left| (-\Delta)^{\frac {\alpha r}2} (T_{\alpha, t^\alpha} f)(x) \right|> \varepsilon t^{s -r \alpha }\right\}$$ be the set of ``bad'' points. To quantify its size, we introduce a class of extended nonnegative \emph{admissible set functions} $\nu$ on the Borel $\sigma$-algebra $\mathcal{B}(\mathbb{R}^n\times [0, 1])$ and define, for any admissible function $\nu$, the \emph{critical index} $ \varepsilon_{\alpha, r, s,\nu}(f):=\inf\{\varepsilon\in(0,\infty):\ \nu(D_{\alpha, r}(s,f,\varepsilon))<\infty\}.$ Our result shows that, for a broad class of subspaces $V\subset \Lambda_s$, including intersections of $\Lambda_s$ with Sobolev, Besov, Triebel--Lizorkin, and Besov-type spaces, there exists an admissible function $\nu$ depending on $V$ such that $\varepsilon_{\alpha, r, s,\nu}(f)\sim \mathrm{dist}(f, V)_{\Lambda_s}.$

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

63 extracted references · 60 canonical work pages

  1. [11]

    F. Dai, E. Saksman, D. Yang, W. Yuan and Y . Zhang, Difference and wavelet characteriza- tions of distances from functions in Lipschitz spaces to their subspaces, Submitted or arXiv: 2505.16116

    work page Pith review arXiv

  2. [10]

    Dai and K

    F. Dai and K. Wang, A note on the equivalences between the averages and the K-functionals related to the Laplacian, J. Approx. Theory 130 (2004), 38–45

    work page 2004

  3. [12]

    F. Dai, E. Saksman, D. Yang, W. Yuan and Y . Zhang, Characterizations of distances in Lips- chitz spaces via families of convolution operators, Submitted or arXiv: ???

    work page

  4. [1]

    Bergh and J

    J. Bergh and J. L ¨ofstr¨om, Interpolation Spaces. An Introduction, Grundlehren der Mathema- tischen Wissenschaften 223, Springer-Verlag, Berlin-New York, 1976

    work page 1976

  5. [2]

    Bourgain, Embedding L1 in L1/H1, Trans

    J. Bourgain, Embedding L1 in L1/H1, Trans. Amer. Math. Soc. 278 (1983), 689–702

    work page 1983

  6. [3]

    T. A. Bui, Besov and Triebel–Lizorkin spaces for Schr ¨odinger operators with inverse square potentials and applications, J. Differential Equations 269 (2020), 641–688

    work page 2020

  7. [4]

    T. A. Bui, Hermite pseudo-multipliers on new Besov and Triebel–Lizorkin spaces, J. Approx. Theory 252 (2020), Paper No. 105348, 16 pp

    work page 2020

  8. [5]

    T. A. Bui, T. Q. Bui and X. T. Duong, Decay estimates on Besov and Triebel–Lizorkin spaces of the Stokes flows and the incompressible Navier–Stokes flows in half-spaces, J. Differential Equations 340 (2022), 83–110

    work page 2022

Show all 63 references
  1. [6]

    T. A. Bui and X. T. Duong, Besov and Triebel–Lizorkin spaces associated to Hermite opera- tors, J. Fourier Anal. Appl. 21 (2015), 405–448

    2015

  2. [7]

    T. A. Bui and X. T. Duong, Spectral multipliers of self-adjoint operators on Besov and Triebel–Lizorkin spaces associated to operators, Int. Math. Res. Not. IMRN 2021 (2021), 18181–18224. 44 Feng Dai, Eero Saksman, Dachun Yang, Wen Yuan and Yangy angZhang

    2021

  3. [8]

    P. L. Butzer and H. Berens, Semi-groups of Operators and Approximation, Die Grundlehren der mathematischen Wissenschaften 145, Springer-Verlag New York, Inc., New York, 1967

    1967

  4. [9]

    Chen, X.-T

    P. Chen, X.-T. Duong, J. Li, L. Song and L. Yan, The Garnett–Jones theorem on BMO spaces associated with operators and applications, arXiv: 2304.08606

    arXiv

  5. [13]

    Ditzian and K

    Z. Ditzian and K. G. Ivanov, Strong converse inequalities, J. Anal. Math. 61 (1993), 61–111

    1993

  6. [14]

    H. G. Feichtinger, J. Sun, D. Yang and W. Yuan, A framework of Besov–Triebel–Lizorkin type spaces via ball quasi-Banach function sequence spaces II: Applications to specific func- tion spaces, Anal. Appl. (Singap.) (2025), DOI: 10.1142/S0219530525500228, 100 pp

    2025 doi

  7. [15]

    J. B. Garnett and P. W. Jones, The distance in BMO to L∞, Ann. of Math. (2) 108 (1978), 373–393

    1978

  8. [16]

    Grafakos, Classical Fourier analysis, Third edition, Graduate Texts in Mathematics, 249

    L. Grafakos, Classical Fourier analysis, Third edition, Graduate Texts in Mathematics, 249. Springer, New York, 2014

    2014

  9. [17]

    D. D. Haroske and Z. Liu, Generalized Besov-type and Triebel–Lizorkin-type spaces, Studia Math. 273 (2023), 161–199

    2023

  10. [18]

    D. D. Haroske, Z. Liu, S. D. Moura and L. Skrzypczak, Embeddings of generalised Morrey smoothness spaces, Acta Math. Sin. (Engl. Ser.) 41 (2025), 413–456

    2025

  11. [19]

    D. D. Haroske, S. Moura and L. Skrzypczak, Smoothness Morrey spaces of regular distribu- tions, and some unboundedness property, Nonlinear Anal. 139 (2016), 218–244

    2016

  12. [20]

    D. D. Haroske, S. D. Moura and L. Skrzypczak, On a bridge connecting Lebesgue and Mor- rey spaces in view of their growth properties, Anal. Appl. (Singap.) 22 (2024), 751–790

    2024

  13. [21]

    D. D. Haroske and L. Skrzypczak, Embeddings of Besov–Morrey spaces on bounded do- mains, Sudia Math. 218 (2013), 119–144

    2013

  14. [22]

    D. D. Haroske, L. Skrzypczak and H. Triebel, Nuclear Fourier transforms, J. Fourier Anal. Appl. 29 (2023), Paper No. 38, 1–28

    2023

  15. [23]

    D. D. Haroske, L. Skrzypczak and H. Triebel, Mapping properties of Fourier transforms, revisited, Acta Math. Sin. (Engl. Ser.) 41 (2025), 231–254

    2025

  16. [24]

    D. D. Haroske and H. Triebel, Morrey smoothness spaces: a new approach, Sci. China Math. 66 (2023), 1301–1358

    2023

  17. [25]

    Hovemann, Triebel–Lizorkin–Morrey spaces and di fferences, Math

    M. Hovemann, Triebel–Lizorkin–Morrey spaces and di fferences, Math. Nachr. 295 (2022), 725–761

    2022

  18. [26]

    Hovemann and W

    M. Hovemann and W. Sickel, Besov-type spaces and di fferences, Eurasian Math. J. 11 (2020), 25–56

    2020

  19. [27]

    John and L

    F. John and L. Nirenberg, On functions of bounded mean oscillation, Comm. Pure Appl. Math. 14 (1961), 415–426

    1961

  20. [28]

    P. W. Jones, Estimates for the corona problem, J. Funct. Anal. 39 (1980), 162–181

    1980

  21. [29]

    P. W. Jones, Factorization of Ap weights, Ann. of Math. (2), 111 (1980), 511–530

    1980

  22. [30]

    Kozono and M

    H. Kozono and M. Yamazaki, Semilinear heat equations and the Navier–Stokes equation with distributions in new function spaces as initial data, Comm. Partial Differential Equations 19 (1994), 959–1014

    1994

  23. [31]

    Li and Z

    P. Li and Z. Zhai, Well-posedness and regularity of generalized Navier–Stokes equations in some critical Q-spaces, J. Funct. Anal. 259 (2010), 2457–2519. Fractional Heat Semigroup Characterization of Distances 45

    2010

  24. [32]

    Li and Z

    P. Li and Z. Zhai, Riesz transforms on Q-type spaces with application to quasi-geostrophic equation, Taiwanese J. Math. 16 (2012), 2107–2132

    2012

  25. [33]

    Liang, Y

    Y . Liang, Y . Sawano, T. Ullrich, D. Yang and W. Yuan, New characterizations of Besov– Triebel–Lizorkin–Hausdorff spaces including coorbits and wavelets, J. Fourier Anal. Appl. 18 (2012), 1067–1111

    2012

  26. [34]

    Meyer, Wavelets and Operators, Translated from the 1990 French original by D

    Y . Meyer, Wavelets and Operators, Translated from the 1990 French original by D. H. Salinger, Cambridge Studies in Advanced Mathematics 37, Cambridge University Press, Cambridge, 1992

    1990

  27. [35]

    Millot, M

    V . Millot, M. Pegon and A. Schikorra, Partial regularity for fractional harmonic maps into spheres, Arch. Ration. Mech. Anal. 242 (2021), 747–825

    2021

  28. [36]

    Nicolau and O

    A. Nicolau and O. Soler i Gibert, Approximation in the Zygmund class, J. Lond. Math. Soc. (2) 101 (2020), 226–246

    2020

  29. [37]

    P. Ruiz, F. Baudoin, L. Chen, L. G. Rogers, N. Shanmugalingam, A. Teplyaev, Besov class via heat semigroup on Dirichlet spaces I: Sobolev type inequalities, J. Funct. Anal. 278 (2020), Paper No. 108459, 48 pp

    2020

  30. [38]

    P. Ruiz, F. Baudoin, L. Chen, L. Rogers, N. Shanmugalingam, A. Teplyaev, Besov class via heat semigroup on Dirichlet spaces II: BV functions and Gaussian heat kernel estimates, Calc. Var. Partial Differential Equations 59 (2020), Paper No. 103, 32 pp

    2020

  31. [39]

    Saksman and O

    E. Saksman and O. Soler i Gibert, Approximation in the Zygmund and H¨older classes on Rn, Canad. J. Math. 74 (2022), 1745–1770

    2022

  32. [40]

    Sawano, Wavelet characterization of Besov–Morrey and Triebel–Lizorkin–Morrey spaces, Funct

    Y . Sawano, Wavelet characterization of Besov–Morrey and Triebel–Lizorkin–Morrey spaces, Funct. Approx. Comment. Math. 38 (2008), 93–107

    2008

  33. [41]

    Sawano, A note on Besov–Morrey spaces and Triebel–Lizorkin–Morrey spaces, Acta Math

    Y . Sawano, A note on Besov–Morrey spaces and Triebel–Lizorkin–Morrey spaces, Acta Math. Sin. (Engl. Ser.) 25 (2009), 1223–1242

    2009

  34. [42]

    Sawano, Besov–Morrey spaces and Triebel–Lizorkin–Morrey spaces on domains, Math

    Y . Sawano, Besov–Morrey spaces and Triebel–Lizorkin–Morrey spaces on domains, Math. Nachr. 283 (2010), 1456–1487

    2010

  35. [43]

    Sawano and H

    Y . Sawano and H. Tanaka, Decompositions of Besov–Morrey spaces and Triebel–Lizorkin– Morrey spaces, Math. Z. 257 (2007), 871–905

    2007

  36. [44]

    Sawano, D

    Y . Sawano, D. Yang and W. Yuan, New applications of Besov-type and Triebel–Lizorkin- type spaces, J. Math. Anal. Appl. 363 (2010), 73–85

    2010

  37. [45]

    Sickel, Smoothness spaces related to Morrey spaces–a survey

    W. Sickel, Smoothness spaces related to Morrey spaces–a survey. I, Eurasian Math. J. 3 (2012), 110–149

    2012

  38. [46]

    Sickel, Smoothness spaces related to Morrey spaces–a survey

    W. Sickel, Smoothness spaces related to Morrey spaces–a survey. II, Eurasian Math. J. 4 (2013), 82–124

    2013

  39. [47]

    P. R. Stinga, User’s guide to the fractional Laplacian and the method of semigroups, arXiv: 1808.05159

    arXiv

  40. [48]

    J. Sun, D. Yang and W. Yuan, A framework of Besov–Triebel–Lizorkin type spaces via ball quasi-Banach function sequence spaces I: Real-variable characterizations, Math. Ann. 390 (2024), 4283–4360

    2024

  41. [49]

    Tang and J

    L. Tang and J. Xu, Some properties of Morrey type Besov–Triebel spaces, Math. Nachr. 278 (2005), 904–917

    2005

  42. [50]

    Triebel, Theory of Function Spaces, Monographs in Mathematics 78, Birkh ¨auser Verlag, Basel, 1983

    H. Triebel, Theory of Function Spaces, Monographs in Mathematics 78, Birkh ¨auser Verlag, Basel, 1983

    1983

  43. [51]

    Triebel, Theory of Function Spaces

    H. Triebel, Theory of Function Spaces. II, Monographs in Mathematics 84, Birkh ¨auser Ver- lag, Basel, 1992

    1992

  44. [52]

    Triebel, Theory of Function Spaces

    H. Triebel, Theory of Function Spaces. III, Monographs in Mathematics 100, Birkh ¨auser Verlag, Basel, 2006

    2006

  45. [53]

    Triebel, Function Spaces and Wavelets on Domains, European Math

    H. Triebel, Function Spaces and Wavelets on Domains, European Math. Soc. Publishing House, Z¨urich, 2008. 46 Feng Dai, Eero Saksman, Dachun Yang, Wen Yuan and Yangy angZhang

    2008

  46. [54]

    Triebel, Bases in Function Spaces, Sampling, Discrepancy, Numerical Integration, Euro- pean Math

    H. Triebel, Bases in Function Spaces, Sampling, Discrepancy, Numerical Integration, Euro- pean Math. Soc. Publishing House, Z¨urich, 2010

    2010

  47. [55]

    Triebel, Theory of Function Spaces IV , Monographs in Mathematics 107, Birkh ¨auser/ Springer, Cham, 2020

    H. Triebel, Theory of Function Spaces IV , Monographs in Mathematics 107, Birkh ¨auser/ Springer, Cham, 2020

    2020

  48. [56]

    Yang and W

    D. Yang and W. Yuan, A new class of function spaces connecting Triebel–Lizorkin spaces and Q spaces, J. Funct. Anal. 255 (2008), 2760–2809

    2008

  49. [57]

    Yang and W

    D. Yang and W. Yuan, New Besov-type spaces and Triebel–Lizorkin-type spaces including Q spaces, Math. Z. 265 (2010), 451–480

    2010

  50. [58]

    Yang and W

    D. Yang and W. Yuan, Relations among Besov-type spaces, Triebel–Lizorkin-type spaces and generalized Carleson measure spaces, Appl. Anal. 92 (2013), 549–561

    2013

  51. [59]

    D. Yang, W. Yuan and C. Zhuo, Musielak–Orlicz Besov-type and Triebel–Lizorkin-type spaces, Rev. Mat. Complut. 27 (2014), 93–157

    2014

  52. [60]

    D. Yang, C. Zhuo and W. Yuan, Besov-type spaces with variable smoothness and integrabil- ity, J. Funct. Anal. 269 (2015), 1840–1898

    2015

  53. [61]

    D. Yang, C. Zhuo and W. Yuan, Triebel–Lizorkin type spaces with variable exponents, Ba- nach J. Math. Anal. 9 (2015), 146–202

    2015

  54. [62]

    W. Yuan, W. Sickel and D. Yang, Morrey and Campanato Meet Besov, Lizorkin and Triebel, Lecture Notes in Mathematics 2005, Springer-Verlag, Berlin, 2010

    2005

  55. [63]

    W. Yuan, W. Sickel and D. Yang, The Haar system in Besov-type spaces, Studia Math. 253 (2020), 129–162. Feng Dai Department of Mathematical and Statistical Sciences, University of Alberta Edmonton, Alberta T6G 2G1, Canada E-mail: fdai@ualberta.ca Eero Saksman (Corresponding au...

    2020

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.