Scaling-Critical Morrey Norms

• Scaling-critical Morrey norms are generalized function spaces characterized by critical smoothness indices and scaling invariance properties.
• They combine local L^p control with dyadic frequency partitions to capture both regularity and growth, supporting embedding theorems and nonlinear PDE well-posedness.
• Their applications span harmonic analysis and PDE theory, using atomic and molecular decompositions to obtain sharp regularity and embedding results.

Scaling-critical Morrey norms generalize classical Morrey and Besov function spaces via the introduction of critical smoothness regimes tied to scaling invariance under spatial (or parabolic) rescalings. These norms serve as fundamental tools in harmonic analysis and the study of PDEs, providing a functional-analytic framework capable of capturing both local regularity and global growth phenomena while admitting natural scaling-invariant thresholds. The criticality is encoded through specific selections of smoothness parameters and Morrey indices, and has profound consequences for embedding theorems, regularity results, and well-posedness in nonlinear evolution equations.

1. Definitions and Scaling Structure of Morrey-type Spaces

Scaling-critical Morrey norms appear in spaces formed by combining local $L^p$ control on cubes/balls with an additional averaging involving dyadic frequency partitions. For the Besov–@@@@1@@@@ $\mathcal{N}^s_{u,p,q}(\mathbb{R}^d)$ and Triebel–Lizorkin–Morrey spaces $\mathcal{E}^s_{u,p,q}(\mathbb{R}^d)$, the norms are defined by

$$\|f\|_{\mathcal{N}^s_{u,p,q}} = \left( \sum_{j=0}^{\infty} 2^{jsq} \| \mathcal{F}^{-1}[\varphi_j \hat{f}] \|_{M_{u,p}}^q \right)^{1/q}$$

for a smooth dyadic partition of unity $(\varphi_j)_{j \geq 0}$, with

$$\|g\|_{M_{u,p}} = \sup_{Q \subset \mathbb{R}^d} |Q|^{1/u - 1/p} \|g\|_{L^p(Q)}$$

where $Q$ runs over all cubes. Triebel–Lizorkin–Morrey norms replace $L^p$-averages with $L^p$-norms of $\ell^q$-sums over dyadic blocks.

Under dilation $f_{\lambda}(x) = f(\lambda x)$, these norms transform as

$$\|f_{\lambda}\|_X = \lambda^{s - d/p + d/u} \|f\|_X$$

for $X$ any of the above spaces. The scaling–criticality condition $s = d(1/p - 1/u)$ (lower critical) or $s = d/u$ (upper critical) enforces scale-invariance of the norm, i.e., invariance under all dilations (Haroske et al., 2019, Haroske et al., 2021).

2. Critical Smoothness Indices and Scaling-Criticality

The classical critical indices correspond to precisely those values of $s$ (the smoothness index) at which the norm is invariant under the scaling associated to the governing PDEs. For Besov–Morrey type spaces, the two critical values are: $$s_0 = d\max \left( \tfrac{1}{p} - \tfrac{1}{u}, 0 \right), \qquad s_{\infty} = \frac{d}{u}$$ The lower index $s_0$ governs the threshold for embedding into locally integrable functions ($L^1_{\rm loc}$), while $s_{\infty}$ governs growth-control into spaces such as Orlicz–Morrey type or logarithmic Morrey spaces.

For generalizations, the “four-parameter framework” with a slope parameter $\varrho$ extends the criticality to

$s = |\varrho|/p$

and allows rules for replacement of $n \to |\varrho|$ in slope-critical properties (Haroske et al., 2021).

3. Embeddings and Growth-Control at Criticality

At the lower critical smoothness $s = s_0$, the spaces embed into $L^1_{\rm loc}$ or into $M_{u, \rho}$ for certain values of $\rho$. For example:

• Triebel–Lizorkin–Morrey: $$\mathcal{E}^s_{u,p,q} \hookrightarrow L^1_{\rm loc}$$ holds if $p<1$ or $p \geq 1$ and $q \leq 2$.
• Besov–Morrey: $$\mathcal{N}^s_{u,p,q} \hookrightarrow L^1_{\rm loc}$$ if and only if $q \leq \min(\max(p,1),2)$.

For $s = s_{\infty}$, embedding into Orlicz–Morrey spaces of exponential type is obtained. Functions in $\mathcal{N}^{d/u}_{u,p,q}$ satisfy

$$\sup_Q \frac{1}{|Q|^{1 - p/u}} \int_Q |f(x)|^p\,\exp(|f(x)|^q)\,dx < \infty$$

and also embed into generalized Morrey spaces with logarithmic growth weights (Haroske et al., 2019).

4. Functional-Analytic and PDE Applications

Scaling-critical Morrey norms have direct implications for the construction of well-posed theories for nonlinear PDEs (incompressible Navier–Stokes, Hall–MHD). The scaling–criticality condition is adapted to the natural parabolic or hyperbolic rescalings:

• For Navier–Stokes: velocity in $\mathcal{N}^{n/p-1}_{p,q,1}$, density in $\mathcal{N}^{n/p}_{p,q,r}$, with $s = n/p - 1$ serving as the critical index for global well-posedness under small initial data in that norm (Ferreira et al., 2022).
• For Hall–MHD: critical index $s_c = 1 - 3(1/p - 1/q)$ for data in $\dot N^{s_c}_{p,q,1}$ supports local and global well-posedness, accommodating initial data beyond classical Sobolev/Besov ranges (Ferreira et al., 2024).

Critical Morrey spaces also arise naturally for parabolic equations with drift, where the criticality is reflected in the invariance of parabolic Morrey norms under the dilation $(x, t) \mapsto (rx, r^2 t)$. This enables sharp a priori estimates (ABPKT inequality), growth theorems, and Harnack inequalities under minimal regularity assumptions on the drift (Chen, 2016).

5. Proof Techniques and Sharpness Phenomena

Proofs of main embedding and regularity results exploit atomic and molecular decompositions, which reduce norm continuity and embedding questions to estimates on atoms. Plancherel–Pólya–Nikol’skii inequalities are used to control frequency-localized objects in Morrey norms. Extrapolation techniques (cf. Triebel, 1993) are pivotal for passing from Morrey–Sobolev bounds below the critical line to Orlicz-controlled or logarithmic growth regimes at the precise critical value.

Sharpness of these embeddings is demonstrated by lacunary atomic constructions—dense sets of atoms that maintain bounded norm in source spaces but fail to be locally integrable—establishing necessity of parameter restrictions such as $q \leq 2$ in integrability embeddings (Haroske et al., 2019).

6. Four-Parameter Morrey Scales and Dimension-Independence

The framework involving the slope parameter $\varrho$ ($-n \leq \varrho < 0$) introduces scaling-critical lines $s = |\varrho|/p$. In the low-slope regime $-1 < \varrho < 0$, critical thresholds for embedding ($L^\infty$, $L^1$), distributional membership ($\delta$, $\chi_Q$), and trace theorems become independent of the ambient dimension $n$. This phenomenon—dimension-independence—is characteristic of the four-parameter ρ–framework and enables new PDE analysis strategies unrestricted by spatial dimension (Haroske et al., 2021).

7. Selected Corollaries, Examples, and Functional Properties

Several precise corollaries encapsulate the necessity and sufficiency of critical Morrey indices for embedding:

• For $0<p \leq u < v < \infty$, $s = d(1/p - 1/u)$,

$$\mathcal{N}^s_{u,p,q}(\mathbb{R}^d) \hookrightarrow M_{v,q}(\mathbb{R}^d) \iff q \leq v$$

explicitly characterizing the optimal Morrey target space. In endpoint cases and under criticality, the scaling-critical Morrey spaces are algebras under pointwise multiplication—crucial for nonlinear fixed-point schemes relevant to PDEs.

The Orlicz–Morrey embeddings generalize classical Trudinger exponentials for Sobolev functions at criticality, offering a broader spectrum of growth controls extending well beyond the $L^p$–scale. Function spaces at scaling-critical smoothness provide a unified analytic toolkit for the study of regularity, uniqueness, and existence of solutions in fluid dynamics, nonlinear diffusion, and related systems.

For further reading and technical proofs, see (Haroske et al., 2019, Haroske et al., 2021, Ferreira et al., 2024, Chen, 2016, Ferreira et al., 2022).