Little α-Hölder Spaces Overview

• Little α-Hölder spaces are defined as closed subspaces of classical Hölder spaces where the Hölder seminorm vanishes at small scales, ensuring effective smooth function approximation.
• They are critical in maximal regularity theory for linear and nonlinear PDEs, supporting analytic semigroups and precise interpolation methods.
• Equivalently characterized via Besov norms and fractional VMO, these spaces facilitate well-posedness and stability in PDEs through their dense smooth approximations.

Little $α$-Hölder spaces, denoted $c^{\alpha}$, $h^{\alpha}$, or $C^{\alpha}_{\text{little}}$, are closed subspaces of the standard (classical or “big”) Hölder spaces defined by a uniform vanishing-oscillation property at small scales. These spaces are central in areas such as the maximal regularity theory for linear and nonlinear partial differential equations (PDEs), harmonic analysis, and the fine classification of function regularity, especially where continuity-of-data, interpolation, approximation, or compactness properties are critical.

1. Definitions and Fundamental Properties

Let $0 < \alpha < 1$ and consider a function $f: X \to Y$ between normed spaces (often $X = \mathbb{R}^n$, $Y = \mathbb{R}$, or a Banach space). The (homogeneous) Hölder seminorm is defined by

$$[f]_{C^{0,\alpha}(X,Y)} := \sup_{x \neq y \in X} \frac{\|f(x) - f(y)\|_Y}{\|x - y\|^\alpha}$$

with the full (inhomogeneous) norm $$\|f\|_{C^{\alpha}} = \|f\|_\infty + [f]_{C^{0,\alpha}}$$ when $c^{\alpha}$0 is unbounded. The classical Hölder space $c^{\alpha}$1 consists of all $c^{\alpha}$2 with finite $c^{\alpha}$3 norm.

The little $c^{\alpha}$4-Hölder space $c^{\alpha}$5 is the closed subspace of $c^{\alpha}$6 such that the Hölder quotient vanishes at small scales: $c^{\alpha}$7 This is equivalent to $c^{\alpha}$8. In bounded domains or on periodic spaces, the definitions are analogous, using the intrinsic metric (e.g., on $c^{\alpha}$9) (Mudarra et al., 2024, Amann, 2016, Magaña, 2024, LeCrone, 2011).

For higher-order spaces, such as $h^{\alpha}$0 or $h^{\alpha}$1, the little Hölder space consists of all $h^{\alpha}$2 whose $h^{\alpha}$3th derivatives satisfy the same vanishing-oscillation condition: $h^{\alpha}$4 for all $h^{\alpha}$5 (Misiołek et al., 2016).

2. Characterizations and Equivalent Formulations

Multiple equivalent formulations exist for little $h^{\alpha}$6-Hölder spaces:

• Closure of Smooth Functions: $h^{\alpha}$7 (Magaña, 2024, Amann, 2016, Misiołek et al., 2016).
• Vanishing Modulus of Continuity: $h^{\alpha}$8.
• Besov Space Characterization: For non-integer $h^{\alpha}$9, $C^{\alpha}_{\text{little}}$0, where $C^{\alpha}_{\text{little}}$1 is the closure of $C^{\alpha}_{\text{little}}$2 in the Besov norm $C^{\alpha}_{\text{little}}$3 (Amann, 2016).
• Fractional VMO/BMO/Besov Identification: $C^{\alpha}_{\text{little}}$4 is equivalent to $C^{\alpha}_{\text{little}}$5 and Besov $C^{\alpha}_{\text{little}}$6. The little Hölder space coincides with fractional $C^{\alpha}_{\text{little}}$7 (Mohanta et al., 2024).

These properties extend to sections of bundles on regular manifolds by pulling back local patches, applying cutoffs, and summing (yielding an intrinsic, coordinate-invariant space) (Amann, 2016).

3. Approximation, Extension, and Density

A distinctive property is the density of smooth, compactly supported functions in $C^{\alpha}_{\text{little}}$8 with respect to the Hölder norm. Consequently, for any $C^{\alpha}_{\text{little}}$9 and $0 < \alpha < 1$0, there exists $0 < \alpha < 1$1 with $0 < \alpha < 1$2 (Mohanta et al., 2024, Mudarra et al., 2024).

Extension theorems (Whitney-type): Given $0 < \alpha < 1$3 and $0 < \alpha < 1$4, the classical Whitney extension construction yields an extension $0 < \alpha < 1$5 with controlled seminorm (Mohanta et al., 2024). Approximation and extension theorems are valid when $0 < \alpha < 1$6 is a Banach space and $0 < \alpha < 1$7 allows smooth cutoff functions or bumps (Mudarra et al., 2024).

Setting	Approximation Basis	Reference
$0 < \alpha < 1$8	$0 < \alpha < 1$9	(Mudarra et al., 2024)
General Banach $f: X \to Y$0 (smooth bump)	$f: X \to Y$1	(Mudarra et al., 2024)

This density is crucial for applications to PDE well-posedness, since it enables approximation of arbitrary initial data by smooth data.

4. Interpolation, Embedding, and Compactness

Little Hölder spaces possess exact real interpolation properties. For $f: X \to Y$2,

$f: X \to Y$3

using the continuous real interpolation functor (Da Prato–Grisvard). Similarly, interpolation at the level of Besov spaces $f: X \to Y$4 (LeCrone, 2011).

The compact embedding property holds: $f: X \to Y$5 and more generally,

$f: X \to Y$6

by the classical Arzelà–Ascoli theorem (LeCrone, 2011).

$f: X \to Y$7 is not separable, but $f: X \to Y$8 is separable as the closure of smooth functions (Magaña, 2024).

5. Role in PDEs, Maximal Regularity, and Analytic Semigroups

The little Hölder spaces are essential in the analysis of parabolic and elliptic PDEs, particularly for ensuring the strong continuity of analytic semigroups and maximal regularity results. The distinction from classical Hölder spaces becomes critical:

• Maximal Parabolic Regularity: If the coefficients of the operator lie in $f: X \to Y$9 (anisotropic little Hölder space for parabolic scaling), then for differential operators $X = \mathbb{R}^n$0 of appropriate order, the Cauchy problem

$X = \mathbb{R}^n$1

admits a unique solution $X = \mathbb{R}^n$2 with

$X = \mathbb{R}^n$3

(Amann, 2016, LeCrone, 2011). In the periodic case ($X = \mathbb{R}^n$4), variable-coefficient elliptic operators with $X = \mathbb{R}^n$5 coefficients generate analytic semigroups on $X = \mathbb{R}^n$6 with domain $X = \mathbb{R}^n$7 (LeCrone, 2011).

• Continuity of Solution Maps: In fluid mechanics (e.g., Euler equations), solution maps in $X = \mathbb{R}^n$8 may fail to be continuous, but continuity is restored in the little Hölder space $X = \mathbb{R}^n$9 due to the density of smooth data and better approximation. This phenomenon links directly to Hadamard well-posedness and stability in the evolution of nonlinear PDEs (Misiołek et al., 2016, Magaña, 2024). For active scalar equations with velocity given by a singular kernel, the solution map is continuous on $Y = \mathbb{R}$0 (Magaña, 2024).

6. Connections to Besov, Triebel–Lizorkin, and Harmonic Analysis

Little Hölder spaces admit alternative characterizations via Besov, Triebel–Lizorkin, and oscillation-based function spaces:

• Besov Identification: $Y = \mathbb{R}$1 (closure of $Y = \mathbb{R}$2 in Besov norm), which is strictly contained in the “big” Besov space $Y = \mathbb{R}$3 (Amann, 2016).
• Fractional VMO/VMO$Y = \mathbb{R}$4: On $Y = \mathbb{R}$5, $Y = \mathbb{R}$6 coincides with the vanishing mean oscillation of order $Y = \mathbb{R}$7, a property underpinning the compactness of commutators with Calderón–Zygmund operators. Thus, $Y = \mathbb{R}$8 is deeply connected to VMO-theory and modern harmonic analysis (Mohanta et al., 2024).
• Multi-parameter Theory: In mixed-parameter settings ($Y = \mathbb{R}$9), little Hölder spaces $$[f]_{C^{0,\alpha}(X,Y)} := \sup_{x \neq y \in X} \frac{\|f(x) - f(y)\|_Y}{\|x - y\|^\alpha}$$0 characterize the compactness of bi-commutators acting on mixed-norm Lebesgue spaces (Mudarra et al., 2024).

7. Illustrative Examples, Counterexamples, and Stability

Typical examples elucidate the finer structure:

• $$[f]_{C^{0,\alpha}(X,Y)} := \sup_{x \neq y \in X} \frac{\|f(x) - f(y)\|_Y}{\|x - y\|^\alpha}$$1 is in $$[f]_{C^{0,\alpha}(X,Y)} := \sup_{x \neq y \in X} \frac{\|f(x) - f(y)\|_Y}{\|x - y\|^\alpha}$$2 but not $$[f]_{C^{0,\alpha}(X,Y)} := \sup_{x \neq y \in X} \frac{\|f(x) - f(y)\|_Y}{\|x - y\|^\alpha}$$3, as the quotient does not vanish at small scales (Mudarra et al., 2024).
• $$[f]_{C^{0,\alpha}(X,Y)} := \sup_{x \neq y \in X} \frac{\|f(x) - f(y)\|_Y}{\|x - y\|^\alpha}$$4 (for $$[f]_{C^{0,\alpha}(X,Y)} := \sup_{x \neq y \in X} \frac{\|f(x) - f(y)\|_Y}{\|x - y\|^\alpha}$$5, $$[f]_{C^{0,\alpha}(X,Y)} := \sup_{x \neq y \in X} \frac{\|f(x) - f(y)\|_Y}{\|x - y\|^\alpha}$$6), with $$[f]_{C^{0,\alpha}(X,Y)} := \sup_{x \neq y \in X} \frac{\|f(x) - f(y)\|_Y}{\|x - y\|^\alpha}$$7, also fails membership in $$[f]_{C^{0,\alpha}(X,Y)} := \sup_{x \neq y \in X} \frac{\|f(x) - f(y)\|_Y}{\|x - y\|^\alpha}$$8 due to oscillatory behavior (Mudarra et al., 2024).
• Any $$[f]_{C^{0,\alpha}(X,Y)} := \sup_{x \neq y \in X} \frac{\|f(x) - f(y)\|_Y}{\|x - y\|^\alpha}$$9 compactly supported function whose derivative is $$\|f\|_{C^{\alpha}} = \|f\|_\infty + [f]_{C^{0,\alpha}}$$0‐Hölder belongs to $$\|f\|_{C^{\alpha}} = \|f\|_\infty + [f]_{C^{0,\alpha}}$$1 (Mudarra et al., 2024).

The class $$\|f\|_{C^{\alpha}} = \|f\|_\infty + [f]_{C^{0,\alpha}}$$2 is stable under restriction, multiplication by smooth bumps, smooth coordinate changes, and composition with $$\|f\|_{C^{\alpha}} = \|f\|_\infty + [f]_{C^{0,\alpha}}$$3 bi-Lipschitz maps; it forms an algebra under multiplication (Magaña, 2024, Mohanta et al., 2024).

---

References:

• (Amann, 2016): "Cauchy Problems for Parabolic Equations in Sobolev-Slobodeckii and Hölder Spaces on Uniformly Regular Riemannian Manifolds"
• (LeCrone, 2011): "Elliptic operators and maximal regularity on periodic little-Hölder spaces"
• (Misiołek et al., 2016): "Continuity of the solution map of the Euler equations in Hölder spaces and weak norm inflation in Besov spaces"
• (Mohanta et al., 2024): "Traces of vanishing Hölder spaces"
• (Magaña, 2024): "Continuity of the solution map of some active scalar equations in Hölder and Zygmund spaces"
• (Mudarra et al., 2024): "Approximation in Hölder Spaces"