Homogeneous Besov Spaces

• Homogeneous Besov spaces are function spaces defined by symmetrically treating all dyadic scales using Fourier and semigroup methods to capture precise scaling and cancellation properties.
• They admit equivalent characterizations via local means, wavelet decompositions, maximal functions, and upper-half-space lifts, making them versatile in both Euclidean and non-Euclidean settings.
• Practical applications include solving PDEs like the Navier–Stokes–Coriolis system, analyzing singular integrals, and facilitating robust trace and boundary value formulations.

Homogeneous Besov spaces are function spaces indexed by a smoothness parameter $s$, an integrability exponent $p$, and a fine index $q$, designed so that all dyadic scales are treated symmetrically and the governing dilation exponent is $s-\frac np$. In the classical Euclidean theory they are defined by a homogeneous Littlewood–Paley decomposition and naturally live on tempered distributions modulo polynomials, because the homogeneous dyadic partition does not detect the frequency $\xi=0$ (Sawano, 2016, Ullrich, 2010). Modern treatments broaden this picture substantially: there are semigroup-based realizations directly in $\mathcal S'(\mathbb R^n)$, continuous and discrete wavelet descriptions, upper-half-space extension-space characterizations, and versions on Lie groups, spaces of homogeneous type, special Lipschitz domains, and in Dunkl analysis (Triebel, 2016, Führ, 2010, Hu et al., 15 Jan 2025, Wang et al., 2020, Dou et al., 2024).

1. Euclidean definition and the low-frequency obstruction

On $\mathbb R^n$, a standard homogeneous dyadic decomposition is obtained from a family $(\varphi_j)_{j\in\mathbb Z}$ with $\varphi_j(\xi)=\varphi(2^{-j}\xi)$, supported on dyadic annuli and satisfying $\sum_{j\in\mathbb Z}\varphi_j(\xi)=1$ for $p$0. If $p$1, then the classical homogeneous Besov space is

$p$2

with the usual modification for $p$3 (Sawano, 2016). Equivalent formulations use $p$4, where

$p$5

and $p$6 (Ullrich, 2010). The quotient by polynomials is not ancillary: homogeneous dyadic pieces vanish on polynomials, so low frequencies are invisible unless one passes to a quotient or imposes an alternative realization.

A major revision of this framework is the “tempered” approach based on the Gauss–Weierstrass semigroup

$p$7

For $p$8, Triebel defines homogeneous Besov spaces as actual subspaces of $p$9 by

$q$0

and for the strip

$q$1

he uses higher $q$2 norms plus an anchor term such as $q$3 (Triebel, 2016). On special Lipschitz domains, a related concrete realization uses the low-frequency-clean ambient space $q$4 rather than $q$5, specifically to make restriction, support, and nonlinear operations meaningful on unbounded domains (Gaudin, 2023).

2. Equivalent descriptions: local means, semigroups, maximal functions, and upper half-space lifts

The Euclidean homogeneous theory admits several equivalent norms beyond the dyadic Fourier definition. If $q$6 satisfies a Tauberian condition on an annulus and has vanishing moments up to order $q$7, then for $q$8 and $q$9,

$s-\frac np$0

and also

$s-\frac np$1

with a further equivalent Lusin-type norm involving integration over $s-\frac np$2 (Ullrich, 2010). In this sense, homogeneous Besov spaces may be described either by discrete Littlewood–Paley pieces, continuous local means, or Peetre-maximal control.

The semigroup approach provides another equivalent layer of description. In Triebel’s tempered theory, the heat-semigroup norms are the admissible definitions, while the Fourier-dyadic formulas become “domestic” norms inside already-defined spaces (Triebel, 2016). A recent upper-half-space formulation goes further: for a kernel $s-\frac np$3 with annular nondegeneracy and cancellation order $s-\frac np$4, and for $s-\frac np$5,

$s-\frac np$6

with

$s-\frac np$7

Here $s-\frac np$8 is a Whitney-average space on $s-\frac np$9, and the corresponding $\xi=0$0 spaces play the Triebel–Lizorkin role (Auscher et al., 8 Dec 2025). For $\xi=0$1, the heat kernel $\xi=0$2 is admissible, so

$\xi=0$3

again with equivalent quasi-norms (Auscher et al., 8 Dec 2025). This identifies homogeneous Besov spaces with a genuinely upper-half-space extension theory.

3. Homogeneity, scaling, and localized substitutes inside inhomogeneous theory

The defining formal feature of a homogeneous Besov space is its dilation law. In Triebel’s tempered framework one has

$\xi=0$4

for the homogeneous Besov–Sobolev scales under discussion (Triebel, 2016). This is the exponent that also appears in classical Fourier-defined homogeneous Besov theory.

A recurrent source of confusion is the relationship between this exact homogeneous scaling and similar formulas inside inhomogeneous spaces. The paper on the “homogeneity property” of Besov and Triebel–Lizorkin spaces does not construct the genuine homogeneous spaces $\xi=0$5 or $\xi=0$6. Instead, it proves that inhomogeneous spaces $\xi=0$7 and $\xi=0$8, defined via differences, satisfy the same scaling law for functions with shrinking compact support: $\xi=0$9 and similarly for $\mathcal S'(\mathbb R^n)$0, whenever $\mathcal S'(\mathbb R^n)$1 and $\mathcal S'(\mathbb R^n)$2 (Schneider et al., 2011). The mechanism is local norm equivalence: on compactly supported functions the inhomogeneous $\mathcal S'(\mathbb R^n)$3-term is controlled by the difference seminorm, and compact embeddings plus entropy estimates justify dropping that term (Schneider et al., 2011). This clarifies that “homogeneity” may appear either as an intrinsic global definition or as a localized property inside inhomogeneous scales.

The domain theory on special Lipschitz sets sharpens the same issue from a different angle. There the quotient-by-polynomials model is judged unsatisfactory for restrictions to domains, traces, extension operators, and nonlinear PDEs, and the theory is reworked for actual distributions in $\mathcal S'(\mathbb R^n)$4 (Gaudin, 2023). A plausible implication is that homogeneous Besov analysis has two parallel agendas: preserving exact scaling and building realizations that remain operational under restriction and boundary constructions.

4. Non-Euclidean generalizations

Homogeneous Besov spaces now exist in several non-Euclidean settings, but the ambient distribution spaces and the preferred decomposition mechanisms differ.

Setting	Ambient object	Defining mechanism
Euclidean $\mathcal S'(\mathbb R^n)$5	$\mathcal S'(\mathbb R^n)$6 or $\mathcal S'(\mathbb R^n)$7	Homogeneous Littlewood–Paley or heat-semigroup norms (Sawano, 2016, Triebel, 2016)
Stratified Lie group $\mathcal S'(\mathbb R^n)$8	$\mathcal S'(\mathbb R^n)$9	LP-admissible dyadic decompositions and wavelets (Führ, 2010, Führ et al., 2010)
Homogeneous group $\mathbb R^n$0	$\mathbb R^n$1	Calderón decompositions, continuous maximal functions, molecular frames (Hu et al., 15 Jan 2025)
Space of homogeneous type $\mathbb R^n$2	$\mathbb R^n$3	exp-ATIs, wavelets, Hajłasz and grand characterizations (Wang et al., 2020, Alvarado et al., 2022, He et al., 2021)
Dunkl setting	$\mathbb R^n$4	Discrete reproducing formulas from Dunkl–Poisson differences (Dou et al., 2024)

On stratified Lie groups, homogeneous Besov spaces are defined using $\mathbb R^n$5 with $\mathbb R^n$6, where $\mathbb R^n$7 is LP-admissible and $\mathbb R^n$8 denotes Schwartz functions with all moments vanishing. The decisive theorem states that if $\mathbb R^n$9 and $(\varphi_j)_{j\in\mathbb Z}$0 are LP-admissible, then

$(\varphi_j)_{j\in\mathbb Z}$1

with equivalent norms, so the Besov spaces are independent of the chosen decomposition and, in particular, of the chosen sub-Laplacian (Führ, 2010). A companion paper proves continuous and discrete wavelet characterizations, coefficient-space norm equivalences, and Banach frames and atomic decompositions for $(\varphi_j)_{j\in\mathbb Z}$2 (Führ et al., 2010).

On arbitrary homogeneous groups, the same intrinsic philosophy survives without fixing a preferred self-adjoint operator at the outset. The spaces

$(\varphi_j)_{j\in\mathbb Z}$3

are independent of the chosen discrete Calderón decomposition, admit continuous maximal-function descriptions, and fit into a coorbit and molecular-frame theory (Hu et al., 15 Jan 2025). The same paper identifies $(\varphi_j)_{j\in\mathbb Z}$4 with $(\varphi_j)_{j\in\mathbb Z}$5, $(\varphi_j)_{j\in\mathbb Z}$6 with $(\varphi_j)_{j\in\mathbb Z}$7, and homogeneous Lipschitz spaces on stratified groups with $(\varphi_j)_{j\in\mathbb Z}$8, always modulo polynomials where appropriate (Hu et al., 15 Jan 2025).

For spaces of homogeneous type $(\varphi_j)_{j\in\mathbb Z}$9, the theory is built from approximations to the identity with exponential decay rather than Fourier or group spectral analysis. A full homogeneous Besov theory with $\varphi_j(\xi)=\varphi(2^{-j}\xi)$0 and without reverse doubling defines

$\varphi_j(\xi)=\varphi(2^{-j}\xi)$1

proves independence of the chosen exp-ATI and of the auxiliary distribution space, and establishes boundedness of Calderón–Zygmund operators on these spaces (Wang et al., 2020). Two later developments refine this picture: first, homogeneous Besov spaces are shown to coincide with grand Besov spaces and Hajłasz–Besov spaces under a weak lower bound on $\varphi_j(\xi)=\varphi(2^{-j}\xi)$2, giving the pointwise characterization

$\varphi_j(\xi)=\varphi(2^{-j}\xi)$3

in the admissible range (Alvarado et al., 2022); second, a wavelet characterization on general spaces of homogeneous type yields corresponding Besov sequence spaces, boundedness of almost diagonal operators, and molecular decompositions, again without reverse doubling and without requiring the ordinary triangle inequality for $\varphi_j(\xi)=\varphi(2^{-j}\xi)$4 (He et al., 2021).

The Dunkl setting introduces a different type of homogeneity. There the building blocks are

$\varphi_j(\xi)=\varphi(2^{-j}\xi)$5

differences of the Dunkl–Poisson semigroup, and the homogeneous Besov space is defined distributionally through expansions

$\varphi_j(\xi)=\varphi(2^{-j}\xi)$6

with coefficient control in a Besov sequence norm (Dou et al., 2024). The resulting spaces are shown to agree with the completion of $\varphi_j(\xi)=\varphi(2^{-j}\xi)$7, and to be equivalent both to abstract Coifman–Weiss-type Besov spaces and to Besov spaces defined via the Dunkl Laplacian (Dou et al., 2024).

5. Wavelets, molecules, interpolation, and traces

A striking structural theme is that homogeneous Besov spaces admit wavelet or frame descriptions whenever the underlying geometry supplies a suitable reproducing formula. On stratified Lie groups, discrete wavelet coefficients $\varphi_j(\xi)=\varphi(2^{-j}\xi)$8 belong to a Besov coefficient space $\varphi_j(\xi)=\varphi(2^{-j}\xi)$9, and sufficiently dense regular sampling sets yield Banach-frame and atomic-decomposition formulas for $\sum_{j\in\mathbb Z}\varphi_j(\xi)=1$0 (Führ et al., 2010). In Euclidean space, Ullrich recasts homogeneous Besov spaces in the Banach range as coorbit spaces on the $\sum_{j\in\mathbb Z}\varphi_j(\xi)=1$1 group,

$\sum_{j\in\mathbb Z}\varphi_j(\xi)=1$2

and then derives atomic decompositions and wavelet Banach frames under explicit decay, smoothness, and vanishing-moment conditions (Ullrich, 2010). On spaces of homogeneous type, wavelet coefficient sequence spaces and almost diagonal operator theory lead to Besov molecular decompositions (He et al., 2021).

Interpolation theory has also become part of the homogeneous Besov landscape. The Whitney-average spaces $\sum_{j\in\mathbb Z}\varphi_j(\xi)=1$3 form a quasi-Banach scale with completeness, embeddings, duality, dyadic characterizations, real interpolation, and complex interpolation. In particular,

$\sum_{j\in\mathbb Z}\varphi_j(\xi)=1$4

and

$\sum_{j\in\mathbb Z}\varphi_j(\xi)=1$5

so the new Besov extension spaces arise as real interpolants of the corresponding Whitney-averaged tent spaces (Auscher et al., 8 Dec 2025). This mirrors the classical relation between Triebel–Lizorkin and Besov scales.

Trace theory reveals a further distinction between abstract homogeneous definitions and realizations suitable for domains. On a special Lipschitz domain $\sum_{j\in\mathbb Z}\varphi_j(\xi)=1$6, the trace operator satisfies

$\sum_{j\in\mathbb Z}\varphi_j(\xi)=1$7

with the endpoint

$\sum_{j\in\mathbb Z}\varphi_j(\xi)=1$8

in the homogeneous setting (Gaudin, 2023). By contrast, the metric trace theorem on spaces of homogeneous type in (Marcos, 2015) works with Besov norms containing an $\sum_{j\in\mathbb Z}\varphi_j(\xi)=1$9 term and is therefore essentially inhomogeneous; nevertheless, it preserves the familiar codimension shift

$p$00

which remains a useful point of comparison for homogeneous trace theory (Marcos, 2015).

6. Analytical applications and current significance

Homogeneous Besov spaces are central in modern PDE because they encode scaling precisely. A clear example is the three-dimensional Navier–Stokes–Coriolis system, where global well-posedness is proved in homogeneous Besov spaces for sufficiently large rotation. In the subcritical range $p$01, the paper obtains global solutions for divergence-free data in $p$02; in the critical case $p$03, it introduces semigroup-defined spaces $p$04 and $p$05 through the Stokes–Coriolis semigroup $p$06 and the norm $p$07, and then proves global existence and large-rotation asymptotics in that framework (Ferreira et al., 2017). Here the Besov scale is not merely a background language: it is the fixed-point space, the scale on which the linear dispersive estimates close, and the natural critical regularity class.

Outside fluid dynamics, the spaces support singular integral and boundary-value analysis. On spaces of homogeneous type, Calderón–Zygmund operators of order $p$08 act boundedly on $p$09 in the admissible parameter range, showing that a full real-variable operator theory is available even without reverse doubling (Wang et al., 2020). The $p$10 theory was motivated by boundary value problems with $p$11 data and extends that extension-space framework to all $p$12 (Auscher et al., 8 Dec 2025). Triebel’s semigroup-based tempered spaces were developed with nonlinear heat equations, Navier–Stokes, and Keller–Segel systems in view (Triebel, 2016).

This suggests that “homogeneous Besov space” no longer names a single construction, but rather a robust equivalence class of homogeneous scales: Fourier-dyadic on $p$13, semigroup-defined in $p$14, wavelet and coorbit on groups, exp-ATI and Hajłasz on spaces of homogeneous type, Whitney-average in upper half-space, and discrete semigroup-based in Dunkl analysis. Across these settings, the recurring invariants are the homogeneous scaling law, cancellation at low frequency, and the possibility of reconstructing norms from multiscale pieces adapted to the ambient geometry.