Pith. sign in

REVIEW 3 major objections 4 minor 1 cited by

Besov and Triebel-Lizorkin spaces on homogeneous groups

T0 review · 3 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash

Pith's one-line read Besov and Triebel-Lizorkin spaces are well-defined on every homogeneous group.

desk verdict A careful, mostly self-contained development of Besov/Triebel-Lizorkin theory on arbitrary homogeneous groups; the independence and maximal characterizations hold up, but the molecular decomposition section leans on a to-appear memoir whose hypotheses are only asserted. read the letter →

arxiv 2501.08997 v1 pith:BVGBGCXV submitted 2025-01-15 math.FA math.CA

classification math.FAmath.CA MSC 22E2522E3043A8046E35
keywords BesovspacesTriebel-LizorkinhomogeneousgroupsLittlewood-PaleydecompositionCalderónreproducingformulamolecularframedecompositionsHardyonSobolevgradedLie
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 develops homogeneous Besov spaces $\dot{\mathbf{B}}^{\sigma}_{p,q}(N)$ and Triebel-Lizorkin spaces $\dot{\mathbf{F}}^{\sigma}_{p,q}(N)$ on an arbitrary homogeneous group $N$, for every smoothness exponent $\sigma\in\mathbb{R}$ and all integrability exponents $p,q\in(0,\infty]$. Its central aim is to show that these spaces are genuine objects of harmonic analysis rather than artifacts of a chosen Littlewood-Paley decomposition: the definitions start from a Schwartz function $\varphi\in\mathcal{S}_0(N)$ with all moments vanishing that satisfies a discrete Calderón reproducing formula, and Theorem 4.2 proves that different choices give the same spaces with equivalent quasi-norms. The paper also establishes continuous maximal-function characterizations for the full parameter range, molecular frame decompositions, and identifications of classical Hardy, Sobolev, and Lipschitz spaces on homogeneous groups as special cases. This matters because existing theories were tied to stratified or graded groups or required operators whose semigroups satisfy Gaussian estimates, whereas the kernels used here come from a non-differential homogeneous convolution operator available on every homogeneous group.

What carries the argument

The load-bearing mechanism is the non-differential homogeneous convolution operator $P$ defined through a singular integral with kernel $\rho(x)^{-(Q+1)}$ on an arbitrary homogeneous group; $P$ is homogeneous of degree $1$, positive, and essentially self-adjoint. Spectral multipliers $m(P)$ of this operator have Schwartz convolution kernels with all moments vanishing, which yields the functions $\varphi\in\mathcal{S}_0(N)$ satisfying both the discrete and continuous Calderón conditions (Proposition 3.4). The proofs then run on an almost-orthogonality estimate for convolution products of dilated Schwartz functions, a sub-mean-value property of the convolution products $f\ast\varphi_t$, Peetre-type maximal functions, vector-valued Hardy-Littlewood maximal inequalities, and, for the molecular decompositions, the realization of the spaces as coorbit spaces for the quasi-regular representation of the semidirect product $G=N\rtimes(0,\infty)$.

What would settle it

A direct check of Proposition 3.4 would settle the construction: pick a homogeneous quasi-norm, take the kernel $k$ of $m(P)$ for a smooth compactly supported multiplier $m$, and test whether $k\in\mathcal{S}_0(N)$; if for some homogeneous group the kernel failed to have all moments vanishing, the Calderón functions would not exist as claimed. Alternatively, if two functions $\varphi,\eta\in\mathcal{S}_0(N)$ satisfying the discrete Calderón condition could be exhibited with inequivalent $\dot{\mathbf{B}}^{\sigma}_{p,q}$ quasi-norms for some $p,q,\sigma$, Theorem 4.2 would be false.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is that a Littlewood-Paley-type decomposition on any homogeneous group, built from any $\varphi\in\mathcal{S}_0(N)$ satisfying the discrete Calderón condition $f=\sum_{j\in\mathbb{Z}} f\ast\varphi_{2^{-j}}\ast\varphi_{2^{-j}}$, defines Besov and Triebel-Lizorkin spaces whose (quasi-)norms are independent of the auxiliary function for all $p,q\in(0,\infty]$ and all $\sigma\in\mathbb{R}$. Theorem 4.2 establishes this equivalence, including the previously untreated case of Triebel-Lizorkin spaces with $p=\infty$, which is handled through dyadic-ball Carleson-type norms. Theorem 5.1 provides continuous Peetre-type maximal-function characterizations, and Theorem 7.6 produces molecular frame expansions $f=\sum_{\lambda\in\Lambda}\langle f,\varphi_\lambda\rangle_\psi\, \pi(\lambda)\psi = \sum_{\lambda\in\Lambda}\langle f,\pi(\lambda)\psi\rangle_\psi\, \varphi_\lambda$ valid for all elements of the spaces. As a consequence, zero-order operators built from homogeneous convolution kernels, such as $X^\alpha P^{-[\alpha]}$, are bounded on the whole scale.

Load-bearing premise

The whole construction rests on the existence of a Schwartz function $\varphi\in\mathcal{S}_0(N)$ satisfying the discrete and continuous Calderón reproducing formulas on every homogeneous group; the proof obtains it by spectral calculus of the non-differential operator $P$, relying on cited facts about Schwartz kernels and vanishing moments, and the molecular decomposition additionally assumes that an abstract coorbit decomposition theorem applies to the resulting weighted spaces.

Editorial extensions

If this is right

  • For any homogeneous group, the Besov and Triebel-Lizorkin spaces are independent of the choice of Littlewood-Paley decomposition, so the scale is intrinsic to the group rather than to a chosen kernel.
  • Continuous maximal-function characterizations hold for the full range of parameters $p,q\in(0,\infty]$, $\sigma\in\mathbb{R}$, including the Triebel-Lizorkin spaces at $p=\infty$.
  • Molecular frame decompositions exist, yielding expansions in terms of $\pi(\lambda)\psi$ and a molecular dual system, with convergence in the weak-$*$ topology of $\mathcal{S}'_0(N)$.
  • Zero-order convolution operators with kernels that are smooth away from the identity and homogeneous of degree $-Q$ are bounded on every space in the scale.
  • Classical Hardy spaces, homogeneous Sobolev spaces associated with Rockland operators, and Lipschitz spaces on stratified groups appear as special cases of these spaces.

Reading between the lines

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

  • Beyond the paper, the coorbit interpretation suggests that explicit atomic or wavelet-coefficient characterizations with concrete sequence spaces should hold, though the paper obtains the frame system through an abstract molecular theorem rather than by constructing a universal analyzing vector.
  • One testable next step is whether the scale has interpolation and duality properties analogous to Euclidean Besov and Triebel-Lizorkin spaces; the paper does not prove these.
  • The boundedness criterion for order-zero kernels likely applies to many singular integral operators on homogeneous groups, not only the examples $X^\alpha P^{-[\alpha]}$ treated here.
  • Because the $p=\infty$ Triebel-Lizorkin case is new even on stratified groups, it would be instructive to check whether the dyadic-ball norm used here reproduces the expected BMO-type identification in that more classical setting.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 4 minor

Summary. The paper develops a Littlewood-Paley-type theory of homogeneous Besov spaces Ḃ^σ_{p,q}(N) and Triebel-Lizorkin spaces Ḟ^σ_{p,q}(N) on an arbitrary homogeneous group N, for all p,q∈(0,∞] and σ∈R. The spaces are defined using Schwartz functions with vanishing moments that satisfy discrete and continuous Calderón conditions. The main results are the independence of the spaces from the choice of Littlewood-Paley decomposition (Theorem 4.2), continuous maximal-function characterizations (Theorem 5.1), wavelet-transform characterizations (Section 6), molecular frame decompositions obtained through abstract coorbit theory (Theorem 7.6), and identifications with Hardy, BMO, Sobolev, and Lipschitz spaces (Section 8). The construction of suitable Calderón functions uses spectral multipliers of the non-differential homogeneous operator P defined in (3.9)–(3.10).

Significance. If the main theorems are correct, the paper achieves a genuinely decomposition-independent theory of homogeneous Besov and Triebel-Lizorkin spaces on arbitrary homogeneous groups, including the full quasi-Banach range and the case p=∞ for Triebel-Lizorkin spaces. The independence theorem and the continuous maximal characterizations are proved in considerable detail from first principles, and the identifications with Hardy, BMO, and Sobolev spaces are substantial and mostly self-contained. The main caveat is that the molecular decomposition theorem is imported from the to-appear memoir [71], and the verification of its hypotheses rests on lemmas whose proofs are skipped; Proposition 8.5 on Lipschitz spaces is also only sketched. These points do not undermine the core derivation of the independence and maximal-characterization results, but they need to be addressed before the molecular decomposition claims can be regarded as fully established.

major comments (3)
  1. [§6.2, Lemmas 6.5 and 6.7] These two lemmas are stated without proof, with the explanation that the proof is 'very similar' to Euclidean analogues and 'hence skipped.' The lemmas are load-bearing: they provide the solid quasi-Banach r-norm property and the translation operator-norm estimates that, together with [71, Cor. 3.9], establish the L^r_w-compatibility of the mixed-norm spaces P^{p,q}_{a,σ} and L^{p,q}_{a,σ}. This compatibility is exactly what is needed for the coorbit identification in Lemma 7.4 and hence for Theorem 7.6. Please provide complete proofs or give precise theorem numbers in [53,54,69] together with the explicit modifications required on homogeneous groups, including the p=∞ operator norm with the extra max{1,t^Q} factor and the exponents in (6.5)–(6.6).
  2. [§7.3, Theorem 7.6] Theorem 7.6, which is advertised as a central result, is not proved internally: it is obtained by invoking [71, Theorem 6.14] from a to-appear memoir. The application requires the verification that the pair (Y^{p,q}_{a,σ'},w) is L^r_w-compatible in the sense of [71, Def. 3.5]. This verification is only sketched: it relies on the skipped Lemmas 6.5 and 6.7, on [71, Cor. 3.9], and on the construction of the control weight w in Lemma 7.2, which is described briefly. Please state precisely the theorem from [71] that is being applied, verify all of its hypotheses in the present setting, and either include the verification or cite a publicly accessible version of [71] with specific theorem numbers.
  3. [§8.4, Proposition 8.5] The identification of the Besov spaces Ḃ^σ_{∞,∞}(N) with homogeneous Lipschitz spaces is asserted in Proposition 8.5 with the sentence 'One may use the argument in [48], with minor modifications, to also prove a Littlewood-Paley characterization of the homogeneous spaces Λ̇^s(N).' No proof or detailed reference is supplied. Since this identification is part of the paper's advertised scope, please provide the full argument or a precise published reference that contains the homogeneous Littlewood-Paley characterization on stratified groups.
minor comments (4)
  1. [§7.3, Theorem 7.6] The statement of Theorem 7.6 says that w is a standard control weight for Y^{p,q}_{a,σ}, but the proof and Lemma 7.4 use Y^{p,q}_{a,σ'} with σ' = σ+Q/2−Q/q. This looks like a typo and should be corrected.
  2. [Proof of Theorem 4.2, Step 2] The sentence 'Note that Lemma 3.8 is applicable provided that r < p∧q, which is satisfied precisely for a > ar/q∧q > Q/(p∧q)' contains a garbled inequality; it should say that such an r exists because a > Q/(p∧q).
  3. [§6.1] In the computation of the isometry (6.2), the text says 'using that Vψf(x,t) = t^{Q/2}(f∗ψ_t^∨)(x) and that φ is real and even'; the reference to φ should be to ψ.
  4. [Lemma 7.2] The expression 'max{1,s^Q} p ∞' in the definition of v_1 is unclear; please define the dependence on p=∞ explicitly, for instance by writing max{1,s^Q}^{1_{p=∞}}.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the Littlewood-Paley independence and maximal characterizations are derived internally; the molecular decomposition claim is imported from a general self-cited coorbit theorem whose hypotheses are stated and only partly proved here, but the cited result is independent of the paper's conclusions.

full rationale

The paper's main derivation chain is not circular. The spaces are defined by a Littlewood-Paley decomposition based on a Calderon condition, and Theorem 4.2 then proves phi-independence using the almost orthogonality estimate (Lemma 3.1), the sub-mean-value property (Lemma 3.5), and vector-valued maximal inequalities (Lemmas 3.8-3.13); this is a genuine derivation, not a renaming or a fit. Theorem 5.1 similarly derives continuous maximal characterizations from the Calderon condition and these estimates. The existence of the needed Calderon functions (Proposition 3.4) is proved internally from the spectral multiplier facts of [21,40] for the operator P from (3.9)-(3.10); those facts are external and standard, and the paper's definitions do not presuppose the conclusions. The molecular decompositions (Theorem 7.6) are not proved internally: the proof refers to Lemma 7.4 to identify the spaces as coorbit spaces and then invokes [71, Theorem 6.14]. The verification of the coorbit hypotheses depends on Lemmas 6.5 and 6.7, whose proofs are explicitly skipped ('very similar ... hence skipped'), and on Lemma 7.2. This is a genuine reliance on a self-cited, to-appear memoir and on omitted proofs, so the molecular claim carries a verification risk. However, this is not circularity: [71] is a general abstract coorbit-space theorem whose assumptions (solid quasi-Banach function spaces, L^r_w-compatibility, control weights) do not include the specific Besov/Triebel-Lizorkin identifications proved here, and the paper's own norm equivalences (Lemma 6.8, Theorem 5.1) are used to verify those hypotheses rather than being assumed from [71]. The self-citation is load-bearing for the molecular theorem but is independent evidence under the stated rules, so it does not raise the circularity score.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No data-fitted constants appear in the paper; the spaces are shown independent of the defining Calderon function. The axioms listed are background structural facts and cited theorems on which the construction depends. No ad hoc explanatory entities are introduced; the new function spaces are rigorously defined objects rather than postulated entities.

assumptions (6)
  • domain assumption N is a connected simply connected nilpotent Lie group admitting a one-parameter family of dilations delta_t = exp(A log t) with positive eigenvalues, equipped with a fixed homogeneous quasi-norm satisfying the quasi-triangle inequality (2.2).
    Section 2.1 fixes the class of homogeneous groups studied, following the monographs [25,29].
  • domain assumption The operator P defined in (3.9) is a positive, essentially self-adjoint homogeneous convolution operator, and spectral multipliers m(P) have Schwartz kernels with all moments vanishing.
    Proposition 3.4 constructs Calderon functions using P from [21,38] and cites [21, Theorem 4.1] and [40, Lemma 7.1]. The theory is empty if no such functions exist.
  • standard math The vector-valued Fefferman-Stein maximal inequalities of Lemma 3.8 hold on spaces of homogeneous type for the full quasi-Banach range.
    Lemma 3.8 is cited to [41,66] and is used throughout Theorem 4.2 and Theorem 5.1 without reproof.
  • standard math The abstract coorbit theory of [71], including L^r_w-compatibility, molecular systems, and dual molecules, applies to the weighted spaces P^{p,q}_{a,sigma} and L^{p,q}_{a,sigma} on the semidirect product G = N semidirect (0,infty).
    Lemmas 6.5 and 6.7 assert the standing assumptions, and Theorem 7.6 relies on [71, Theorem 6.14]. This is a large external black box authored by one of the present authors.
  • standard math The duality H^1(N)^* isomorphic to BMO(N) and the vector-valued singular integral theorems of Folland-Stein are available for homogeneous groups.
    Section 8.2 uses [4,29] to identify (F^0_{infty,2}) with BMO, and Section 8.1 uses [29, Theorem 6.20].
  • standard math For graded groups, Rockland operators have Schwartz kernels and a functional calculus (Hulanicki theorem) sufficient for the Sobolev-space identifications.
    Section 8.3 uses [25,26,49] and Lemma 8.4 for the action of R^sigma on S0(N).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Besov and Triebel-Lizorkin spaces on homogeneous groups." pith.science (2026). https://pith.science/paper/BVGBGCXV

@misc{pith2026250108997,
  author       = {Pith},
  title        = {Pith review of: Besov and Triebel-Lizorkin spaces on homogeneous groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BVGBGCXV}},
  note         = {Machine review of arXiv:2501.08997}
}
abstract

This paper develops a theory of Besov spaces $\dot{\mathbf{B}}^{\sigma}_{p,q} (N)$ and Triebel-Lizorkin spaces $\dot{\mathbf{F}}^{\sigma}_{p,q} (N)$ on an arbitrary homogeneous group $N$ for the full range of parameters $p, q \in (0, \infty]$ and $\sigma \in \mathbb{R}$. Among others, it is shown that these spaces are independent of the choice of the Littlewood-Paley decomposition and that they admit characterizations in terms of continuous maximal functions and molecular frame decompositions. The defined spaces include as special cases various classical function spaces, such as Hardy spaces on homogeneous groups and homogeneous Sobolev spaces and Lipschitz spaces associated to sub-Laplacians on stratified groups.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Weighted Besov Spaces on Homogeneous Lie Groups and Applications to Parabolic Anderson Models

    math.AP 2026-08 reject novelty 7.0 of 10

    A unified weighted Besov theory on homogeneous Lie groups with a multiscale characterization is developed and applied to prove well-posedness of parabolic Anderson models in the Young and first singular regimes.

Reference graph

Works this paper leans on

71 extracted references · 71 canonical work pages · cited by 1 Pith paper

  1. [71]

    J. T. Van Velthoven and F. Voigtlaender. Coorbit spaces associated to quasi-Banach function spaces and their molecular decomposition. M´ em. Soc. Math. Fr., Nouv. S´ er., To Appear. arXiv:2203.07959. School of Mathematics and Statistics, Jiangxi Normal Unive rsity, Nanchang, Jiangxi 330022, China Email address : hugr@mail.ustc.edu.cn Department of Mathema...

  2. [48]

    G. Hu. Littlewood-Paley characterization of H¨ older-Zygmund spaces on stratified Lie groups. Czech. Math. J., 69(1):131–159, 2019

  3. [1]

    Auscher, A

    P. Auscher, A. F. M. ter Elst, and D. W. Robinson. On positi ve Rockland operators. Colloq. Math. , 67(2):197–216, 1994

  4. [2]

    Bonfiglioli

    A. Bonfiglioli. Taylor formula for homogeneous groups an d applications. Math. Z. , 262(2):255–279, 2009

  5. [3]

    Bonfiglioli, E

    A. Bonfiglioli, E. Lanconelli, and F. Uguzzoni. Stratified Lie groups and potential theory for their sub- Laplacians. Springer Monographs in Mathematics. New York, NY: Springe r, 2007

  6. [4]

    Bownik and G

    M. Bownik and G. B. Folland. Duals of hardy spaces on homogeneous groups. Math. Nachr., 280(11):1223– 1229, 2007

  7. [5]

    Branson, G

    T. Branson, G. ´Olafsson, and B. Ørsted. Spectrum generating operators and intertwining operators for representations induced from a maximal parabolic subgroup . J. Funct. Anal. , 135(1):163–205, 1996

  8. [6]

    T. P. Branson, L. Fontana, and C. Morpurgo. Moser-Trudin ger and Beckner-Onofri’s inequalities on the CR sphere. Ann. of Math. (2) , 177(1):1–52, 2013

Show all 71 references
  1. [7]

    T. Bruno. Homogeneous algebras via heat kernel estimate s. Trans. Am. Math. Soc. , 375(10):6903–6946, 2022

  2. [8]

    Bruno, M

    T. Bruno, M. M. Peloso, and M. Vallarino. Besov and Triebe l-Lizorkin spaces on Lie groups. Math. Ann., 377(1-2):335–377, 2020

  3. [9]

    Bruno, M

    T. Bruno, M. M. Peloso, and M. Vallarino. Potential space s on Lie groups. In Geometric aspects of harmonic analysis. Proceedings of the INdAM meeting, Corto na, Italy, June 25–29, 2018 , pages 149–192. Cham: Springer, 2021

  4. [10]

    Bruno, M

    T. Bruno, M. M. Peloso, and M. Vallarino. Pointwise mult ipliers for Triebel-Lizorkin and Besov spaces on Lie groups. Bull. Sci. Math. , 188:41, 2023. Id/No 103320

  5. [11]

    H.-Q. Bui, T. A. Bui, and X. T. Duong. Weighted Besov and T riebel-Lizorkin spaces associated with operators and applications. Forum Math. Sigma , 8:95, 2020. Id/No e11

  6. [12]

    H.-Q. Bui, X. T. Duong, and L. Yan. Calder´ on reproducin g formulas and new Besov spaces associated with operators. Adv. Math., 229(4):2449–2502, 2012

  7. [13]

    H.-Q. Bui, M. Paluszy´ nski, and M. H. Taibleson. A maximal function characterization of weighted Besov- Lipschitz and Triebel-Lizorkin spaces. Stud. Math. , 119(3):219–246, 1996

  8. [14]

    Bui and M

    H.-Q. Bui and M. H. Taibleson. The characterization of t he Triebel-Lizorkin spaces for p = ∞ . J. Fourier Anal. Appl. , 6(5):537–550, 2000

  9. [15]

    Christ and D

    M. Christ and D. Geller. Singular integral characterizations of Hardy spaces on homogeneous groups. Duke Math. J. , 51:547–598, 1984

  10. [16]

    J. G. Christensen, A. Mayeli, and G. ´Olafsson. Coorbit description and atomic decomposition of Besov spaces. Numer. Funct. Anal. Optim. , 33(7-9):847–871, 2012

  11. [17]

    Coulhon, G

    T. Coulhon, G. Kerkyacharian, and P. Petrushev. Heat ke rnel generated frames in the setting of Dirichlet spaces. J. Fourier Anal. Appl. , 18(5):995–1066, 2012

  12. [18]

    Coulhon, E

    T. Coulhon, E. Russ, and V. Tardivel-Nachef. Sobolev al gebras on Lie groups and Riemannian manifolds. Am. J. Math. , 123(2):283–342, 2001

  13. [19]

    Dziuba´ nski

    J. Dziuba´ nski. A remark on a Marcinkiewicz-H¨ ormander multiplier theorem for some non-differential convolution operators. Colloq. Math. , 58(1):77–83, 1989

  14. [20]

    Dziuba´ nski

    J. Dziuba´ nski. Remark on commutative approximate identities on homogeneous groups. Proc. Am. Math. Soc., 114(4):1015–1016, 1992

  15. [21]

    Dziuba´ nski

    J. Dziuba´ nski. Schwartz spaces associated with some n on-differential convolution operators on homoge- neous groups. Colloq. Math. , 63(2):153–161, 1992

  16. [22]

    H. G. Feichtinger and K. H. Gr¨ ochenig. Banach spaces re lated to integrable group representations and their atomic decompositions. I. J. Funct. Anal. , 86(2):307–340, 1989

  17. [23]

    J. Feneuil. Algebra properties for Besov spaces on unim odular Lie groups. Colloq. Math. , 154(2):205–240, 2018

  18. [24]

    Ferrari and B

    F. Ferrari and B. Franchi. Harnack inequality for fract ional sub-Laplacians in Carnot groups. Math. Z. , 279(1-2):435–458, 2015

  19. [25]

    Fischer and M

    V. Fischer and M. Ruzhansky. Quantization on nilpotent Lie groups , volume 314. New York, NY: Birkh¨ auser/Springer, 2016

  20. [26]

    Fischer and M

    V. Fischer and M. Ruzhansky. Sobolev spaces on graded Li e groups. Ann. Inst. Fourier , 67(4):1671–1723, 2017

  21. [27]

    G. B. Folland. Subelliptic estimates and function spac es on nilpotent Lie groups. Ark. Mat. , 13:161–207, 1975

  22. [28]

    G. B. Folland. Lipschitz classes and Poisson integrals on stratified groups. Stud. Math. , 66:37–55, 1979

  23. [29]

    G. B. Folland and E. M. Stein.Hardy spaces on homogeneous groups, volume 28 of Math. Notes (Princeton). Princeton University Press, Princeton, NJ, 1982. 72 G. HU, D. ROTTENSTEINER, M. RUZHANSKY, AND J.T. V AN VELTHO VEN

  24. [30]

    Frazier, B

    M. Frazier, B. Jawerth, and G. Weiss. Littlewood-Paley theory and the study of function spaces , volume 79 of Reg. Conf. Ser. Math. Providence, RI: American Mathematical Society, 1991

  25. [31]

    F¨ uhr.Abstract harmonic analysis of continuous wavelet transfor ms, volume 1863 of Lect

    H. F¨ uhr.Abstract harmonic analysis of continuous wavelet transfor ms, volume 1863 of Lect. Notes Math. Berlin: Springer, 2005

  26. [32]

    F¨ uhr and A

    H. F¨ uhr and A. Mayeli. Homogeneous Besov spaces on stratified Lie groups and their wavelet characteri- zation. J. Funct. Spaces Appl. , 2012:41, 2012. Id/No 523586

  27. [33]

    Furioli, C

    G. Furioli, C. Melzi, and A. Veneruso. Littlewood-Pale y decompositions and Besov spaces on Lie groups of polynomial growth. Math. Nachr. , 279(9-10):1028–1040, 2006

  28. [34]

    Geller and A

    D. Geller and A. Mayeli. Continuous wavelets and frames on stratified Lie groups. I. J. Fourier Anal. Appl., 12(5):543–579, 2006

  29. [35]

    A. G. Georgiadis, G. Kerkyacharian, G. Kyriazis, and P. Petrushev. Homogeneous Besov and Triebel- Lizorkin spaces associated to non-negative self-adjoint operators. J. Math. Anal. Appl. , 449(2):1382–1412, 2017

  30. [36]

    J. E. Gilbert, Y. S. Han, J. A. Hogan, J. D. Lakey, D. Weila nd, and G. Weiss. Smooth molecular decom- positions of functions and singular integral operators , volume 742 of Mem. Am. Math. Soc. Providence, RI: American Mathematical Society (AMS), 2002

  31. [37]

    S. Giulini. Approximation and Besov spaces on stratifie d groups. Proc. Am. Math. Soc. , 96:569–578, 1986

  32. [38]

    G/suppress lowacki

    P. G/suppress lowacki. Stable semigroups of measures as commutative approximate identities on nongraded homo- geneous groups. Invent. Math. , 83(3):557–582, 1986

  33. [39]

    G/suppress lowacki

    P. G/suppress lowacki. An inversion problem for singular integral operators on homogeneous groups. Stud. Math. , 87:53–69, 1987

  34. [40]

    G/suppress lowacki.Lp-boundedness of flag kernels on homogeneous groups via symbo lic calculus

    P. G/suppress lowacki.Lp-boundedness of flag kernels on homogeneous groups via symbo lic calculus. J. Lie Theory , 23(4):953–977, 2013

  35. [41]

    Grafakos, L

    L. Grafakos, L. Liu, and D. Yang. Vector-valued singula r integrals and maximal functions on spaces of homogeneous type. Math. Scand., 104(2):296–310, 2009

  36. [42]

    Gr¨ ochenig

    K. Gr¨ ochenig. Describing functions: Atomic decompositions versus frames. Monatsh. Math. , 112(1):1–42, 1991

  37. [43]

    Gr¨ ochenig and M

    K. Gr¨ ochenig and M. Piotrowski. Molecules in coorbit spaces and boundedness of operators. Stud. Math. , 192(1):61–77, 2009

  38. [44]

    Y. Han, D. M¨ uller, and D. Yang. A theory of Besov and Triebel-Lizorkin spaces on metric measure spaces modeled on Carnot-Carath´ eodory spaces.Abstr. Appl. Anal. , 2008:250, 2008. Id/No 893409

  39. [45]

    Hebisch and A

    W. Hebisch and A. Sikora. A smooth subadditive homogene ous norm on a homogeneous group. Stud. Math., 96(3):231–236, 1990

  40. [46]

    N. J. H. Heideman. Duality and fractional integration i n Lipschitz spaces. Stud. Math. , 50:65–85, 1974

  41. [47]

    G. Hu. Homogeneous Triebel-Lizorkin spaces on stratifi ed Lie groups. J. Funct. Spaces Appl. , 2013:16,

  42. [49]

    Hulanicki

    A. Hulanicki. A functional calculus for Rockland opera tors on nilpotent Lie groups. Stud. Math. , 78:253– 266, 1984

  43. [50]

    Hyt¨ onen, J

    T. Hyt¨ onen, J. van Neerven, M. Veraar, and L. Weis. Analysis in Banach spaces. Volume I. Martingales and Littlewood-Paley theory , volume 63 of Ergeb. Math. Grenzgeb., 3. Folge . Cham: Springer, 2016

  44. [51]

    Hyt¨ onen, J

    T. Hyt¨ onen, J. van Neerven, M. Veraar, and L. Weis. Analysis in Banach spaces. Volume III. Harmonic analysis and spectral theory , volume 76 of Ergeb. Math. Grenzgeb., 3. Folge . Cham: Springer, 2023

  45. [52]

    Kerkyacharian and P

    G. Kerkyacharian and P. Petrushev. Heat kernel based de composition of spaces of distributions in the framework of Dirichlet spaces. Trans. Am. Math. Soc. , 367(1):121–189, 2015

  46. [53]

    Koppensteiner, J

    S. Koppensteiner, J. T. van Velthoven, and F. Voigtlaen der. Anisotropic Triebel-Lizorkin spaces and wavelet coefficient decay over one-parameter dilation group s. I. Monatsh. Math. , 201(2):375–429, 2023

  47. [54]

    Koppensteiner, J

    S. Koppensteiner, J. T. van Velthoven, and F. Voigtlaen der. Anisotropic Triebel-Lizorkin spaces and wavelet coefficient decay over one-parameter dilation group s. II. Monatsh. Math. , 201(2):431–464, 2023

  48. [55]

    S. Krantz. Lipschitz spaces on stratified groups. Trans. Am. Math. Soc. , 269:39–66, 1982

  49. [56]

    L. Liu, D. Yang, and W. Yuan. Besov-type and Triebel-Liz orkin-type spaces associated with heat kernels. Collect. Math. , 67(2):247–310, 2016

  50. [57]

    K. G. Miller. Parametrices for hypoelliptic operators on step two nilpotent Lie groups. Commun. Partial Differ. Equations , 5:1153–1184, 1980

  51. [58]

    B. H. Qui. Weighted Besov and Triebel spaces: Interpola tion by the real method. Hiroshima Math. J. , 12:581–605, 1982

  52. [59]

    Rauhut and T

    H. Rauhut and T. Ullrich. Generalized coorbit space the ory and inhomogeneous function spaces of Besov- Lizorkin-Triebel type. J. Funct. Anal. , 260(11):3299–3362, 2011. 73

  53. [60]

    J. L. Romero, J. T. van Velthoven, and F. Voigtlaender. O n dual molecules and convolution-dominated operators. J. Funct. Anal. , 280(10):Paper No. 108963, 56, 2021

  54. [61]

    Roncal and S

    L. Roncal and S. Thangavelu. Hardy’s inequality for fractional powers of the sublaplacian on the Heisenberg group. Adv. Math., 302:106–158, 2016

  55. [62]

    Ruzhansky and D

    M. Ruzhansky and D. Suragan. Hardy inequalities on homogeneous groups , volume 327 of Progress in Mathematics. Birkh¨ auser/Springer, Cham, 2019. 100 years of Hardy inequalities

  56. [63]

    V. S. Rychkov. On a theorem of Bui, Paluszy´ nski, and Taibleson. In Issledovaniya po teorii differentsirue- mykh funktsij mnogikh peremennykh i ee prilozheniyam. Chas t’ 18. Sbornik statej, pages 280–292. Moskva: Nauka; Moskva: MAIK Nauka/Interperiodika, 1999

  57. [64]

    K. Saka. Besov spaces and Sobolev spaces on a nilpotent L ie group. Tˆ ohoku Math. J. (2), 31:383–437, 1979

  58. [65]

    S. Sato. Hardy spaces on homogeneous groups and Littlewood-Paley functions. Q. J. Math. , 71(1):295–320, 2020

  59. [66]

    E. M. Stein. Harmonic analysis: Real-variable methods, orthogonality , and oscillatory integrals. With the assistance of Timothy S. Murphy , volume 43 of Princeton Math. Ser. Princeton, NJ: Princeton University Press, 1993

  60. [67]

    Str¨ omberg and A

    J.-O. Str¨ omberg and A. Torchinsky.Weighted Hardy spaces, volume 1381 of Lect. Notes Math. Berlin etc.: Springer-Verlag, 1989

  61. [68]

    H. Triebel. Theory of function spaces , volume 78 of Monogr. Math., Basel . Birkh¨ auser, Cham, 1983

  62. [69]

    T. Ullrich. Continuous characterizations of Besov-Lizorkin-Triebel spaces and new interpretations as coor- bits. J. Funct. Spaces Appl. , 2012:47, 2012. Id/No 163213

  63. [70]

    J. T. van Velthoven. Integrability properties of quasi -regular representations of N A groups. C. R. Math. Acad. Sci. Paris , 360:1125–1134, 2022

Pith tools

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