On the Boundedness of Dilation Operators in the Context of Triebel-Lizorkin-Morrey Spaces

Basic Information

• Paper ID: 2510.11439
• Title: On the boundedness of dilation operators in the context of Triebel-Lizorkin-Morrey spaces
• Authors: Marc Hovemann (Friedrich-Schiller-Universität Jena), Markus Weimar (Julius-Maximilians-Universität Würzburg)
• Classification: math.FA (Functional Analysis), cs.NA (Numerical Analysis), math.AP (Analysis of Partial Differential Equations), math.NA (Numerical Analysis)
• Publication Date: October 14, 2025
• Paper Link: https://arxiv.org/abs/2510.11439

Abstract

This paper investigates the behavior of dilation operators $D_\lambda: f \mapsto f(\lambda \cdot)$ (where $\lambda > 1$) in Triebel-Lizorkin-Morrey spaces $E^s_{u,p,q}(\mathbb{R}^d)$. The authors establish upper and lower bounds for the operator (quasi-)norm $\|D_\lambda \,|\, \mathcal{L}(E^s_{u,p,q}(\mathbb{R}^d))\|$. The main results show that: when $s > \sigma_p$, the operator norm behaves as $\lambda^{s-\frac{d}{u}}$; in the critical case $s = \sigma_p$, it behaves as $\lambda^{\sigma_p-\frac{d}{u}}$ multiplied by logarithmic terms depending on the fine index $q$; when $s < \sigma_p$ and $p \geq 1$, we have $\|D_\lambda\| \sim \lambda^{-\frac{d}{u}}$. The proofs are primarily based on Fourier analytic methods for Triebel-Lizorkin-Morrey spaces.

Research Background and Motivation

Problem Background

1. Development of Function Space Theory: Triebel-Lizorkin spaces $F^s_{p,q}(\mathbb{R}^d)$ are generalizations of classical $L^p$-Sobolev spaces $H^s_p(\mathbb{R}^d)$ and play an important role in describing the regularity of functions and distributions.
2. Introduction of Morrey Spaces: In recent years, Triebel-Lizorkin-Morrey spaces $E^s_{u,p,q}(\mathbb{R}^d)$ defined based on Morrey spaces $M^u_p$ rather than classical Lebesgue spaces $L^p$ have received increasing attention.
3. Importance of Dilation Operators: Dilation operators have broad applications in function space theory, particularly in:
   • Regularity analysis of partial differential equations
   • Theory of fine localization spaces
   • Theory of homogeneous spaces

Research Motivation

1. Theoretical Completeness: Although the boundedness of dilation operators in classical Triebel-Lizorkin spaces has been studied, their behavior in Triebel-Lizorkin-Morrey spaces remains incompletely understood.
2. Technical Challenges: The difficulty of estimates varies greatly across different parameter combinations, particularly in the critical case $s = \sigma_p$ and the case $p < 1$.
3. Application Requirements: Precise operator norm estimates can be used to negate certain equivalences of quasi-norms, which is important in the characterization of function spaces.

Core Contributions

1. Complete Norm Estimates: Provides complete upper and lower bound estimates for the dilation operator $D_\lambda$ in Triebel-Lizorkin-Morrey spaces $E^s_{u,p,q}(\mathbb{R}^d)$.
2. Precise Characterization of Critical Cases: Particularly addresses the critical case $s = \sigma_p$, providing precise estimates including logarithmic terms.
3. Advanced Fourier Multiplier Theorem: Proves an advanced Fourier multiplier theorem for band-limited functions in Morrey spaces (Theorem 2.4).
4. New Equivalent Quasi-norms: Derives new equivalent quasi-norms and characterizations for $E^s_{u,p,q}(\mathbb{R}^d)$.
5. Generalization of Classical Results: Extends results from classical Triebel-Lizorkin spaces to the more general Morrey setting.

Detailed Methodology

Core Technical Framework

1. Definition of Dilation Operator

For $\lambda > 0$, the dilation operator is defined as: $D_\lambda: M(\mathbb{R}^d) \to M(\mathbb{R}^d), \quad g \mapsto D_\lambda g := g(\lambda \cdot)$

Extended in the distributional sense as: $(D_\lambda f)(\phi) := \lambda^{-d} f(D_{\lambda^{-1}}\phi), \quad f \in Y'(\mathbb{R}^d), \phi \in Y(\mathbb{R}^d)$

2. Triebel-Lizorkin-Morrey Spaces

For $s \in \mathbb{R}$, $0 < p \leq u < \infty$, $0 < q \leq \infty$, the space $E^s_{u,p,q}(\mathbb{R}^d)$ consists of $f \in S'(\mathbb{R}^d)$ satisfying:

$\|f\|_{E^s_{u,p,q}(\mathbb{R}^d)} := \left\|\left(\sum_{k=0}^{\infty} 2^{ksq} |(\mathcal{F}^{-1}[\phi_k \mathcal{F}f])(\cdot)|^q\right)^{1/q}\right\|_{M^u_p(\mathbb{R}^d)} < \infty$

where $(\phi_k)_{k \in \mathbb{N}_0}$ is a smooth dyadic partition of unity.

Main Technical Innovations

1. Decomposition Strategy

Decompose $D_{2^j}f$ into three parts: $D_{2^j}f = U_1 + U_2 + U_3$

where:

• $U_1$: Low-frequency part
• $U_2$: Mid-frequency part ($k = 1, \ldots, j$)
• $U_3$: High-frequency part ($k \geq j+1$)

2. Advanced Fourier Multiplier Theorem

Theorem 2.4: Let $0 < p \leq u < \infty$, $m, \ell > 0$. For all $M \in S(\mathbb{R}^d)$ with $\text{supp } M \subseteq B(0,m)$ and $f \in M^u_p(\mathbb{R}^d)$ with $\text{supp}(\mathcal{F}f) \subseteq B(0,\ell)$, we have:

$\|\mathcal{F}^{-1}[M \mathcal{F}f]\|_{M^u_p(\mathbb{R}^d)} \lesssim (m+\ell)^{\sigma_p} \|\mathcal{F}^{-1}M\|_{L^{\min\{1,p\}}(\mathbb{R}^d)} \|f\|_{M^u_p(\mathbb{R}^d)}$

3. Dyadic Annulus Criterion

Utilizes the dyadic annulus criterion of Yuan, Sickel, and Yang to construct and estimate functions.

Main Results

Theorem 1.1 (Main Result)

Let $0 < p \leq u < \infty$, $0 < q \leq \infty$, $s \in \mathbb{R}$.

(1) Small Dilation Case: For $\frac{1}{2} < \lambda < 2$, $\|D_\lambda \,|\, \mathcal{L}(E^s_{u,p,q}(\mathbb{R}^d))\| \sim 1$

(2) Large Dilation Case: For $\lambda \geq 2$:

(i) When $s > \sigma_p$: $\|D_\lambda \,|\, \mathcal{L}(E^s_{u,p,q}(\mathbb{R}^d))\| \sim \lambda^{s-\frac{d}{u}}$

(ii) When $s = \sigma_p$:

• If $p > 1$: $\|D_\lambda\| \sim \lambda^{\sigma_p-\frac{d}{u}} (\log_2 \lambda)^{\max\{0, \frac{1}{q}-\frac{1}{2}\}}$
• If $p = 1$: Upper and lower bounds exist, involving $(\log_2 \lambda)^{\max\{\frac{1}{p}, \frac{1}{q}\}}$
• If $p < 1$: Similar logarithmic term estimates

(iii) When $s < \sigma_p$:

• If $p \geq 1$: $\|D_\lambda\| \sim \lambda^{\sigma_p-\frac{d}{u}}$
• If $p < 1$: More complex estimates involving $\lambda^{\max\{s,\sigma_u\}-\frac{d}{u}}$

Corollary 1.2 (Classical Triebel-Lizorkin Spaces)

As a special case, when $u = p$, we obtain results for classical Triebel-Lizorkin spaces $F^s_{p,q}(\mathbb{R}^d) = E^s_{p,p,q}(\mathbb{R}^d)$.

Technical Innovations

1. Unified Treatment Framework

• Handles all parameter cases within a single framework
• Provides estimates for arbitrary $\lambda > 1$ (not just $\lambda = 2^j$)

2. Refined Logarithmic Term Analysis

• Provides precise logarithmic terms dependent on $q$ in the critical case $s = \sigma_p$
• Distinguishes between cases $p > 1$, $p = 1$, and $p < 1$

3. Improved Fourier Multiplier Theory

• Theorem 2.4 avoids higher-order Bessel potential norms, yielding better estimates
• Extends classical results from $L^p(\mathbb{R}^d)$ to Morrey spaces

4. Constructive Lower Bound Proofs

• Provides sharp lower bounds through clever construction of test functions
• Uses local mean characterizations and Gagliardo-Nierenberg inequalities

Proof Strategy

Upper Bound Proof (Proposition 3.3)

1. Reduction to Dyadic Case: Uses Proposition 3.1 to reduce general $\lambda$ to $\lambda = 2^j$
2. Three-Part Decomposition: Decomposes $D_{2^j}f$ into $U_1 + U_2 + U_3$
3. Individual Estimates:
   • $U_1$: Uses Fourier multiplier theorem
   • $U_2$: Distinguishes different parameter cases, applies Littlewood-Paley theory
   • $U_3$: Direct estimation

Lower Bound Proof (Propositions 3.4, 3.5)

1. Basic Lower Bound: Constructs special functions $\eta_m$ and coefficients $c_m$
2. Improved Lower Bound: For cases $p \leq 1$ and $s \leq \sigma_p$, uses local mean characterizations and interpolation

Applications and Extensions

New Equivalent Quasi-norms (Section 4)

Theorem 4.3: Provides new characterizations of $E^s_{u,p,q}(\mathbb{R}^d)$: $\|f\|_{E^s_{u,p,q}(\mathbb{R}^d)} \sim \|\mathcal{F}^{-1}[\phi_0 \mathcal{F}f]\|_{M^u_p(\mathbb{R}^d)} + |f|_K$

Theorem 4.5: When $s > \frac{p}{u}\sigma_p$: $\|f\|_{E^s_{u,p,q}(\mathbb{R}^d)} \sim \|f\|_{M^u_p(\mathbb{R}^d)} + |f|_K$

Comparison with Related Work

Relationship to Classical Results

1. Bessel Potential Spaces: Classical result $\|D_\lambda\|_{H^s_p} \sim \lambda^{\max\{s,0\}-\frac{d}{p}}$
2. Besov Spaces: Results of Triebel, Edmunds-Triebel
3. Triebel-Lizorkin Spaces: Partial results of Schneider-Vyb́ıral

Improvements in This Paper

1. Completeness: Provides complete estimates for all parameter cases
2. Precision: Particularly precise logarithmic terms in critical cases
3. Generality: Extends from classical spaces to the Morrey setting

Conclusions and Discussion

Main Conclusions

1. Completely characterizes the boundedness of dilation operators in Triebel-Lizorkin-Morrey spaces
2. Reveals the precise influence of parameters $s$, $u$, $p$, $q$ on operator norms
3. Provides precise estimates including logarithmic terms in critical cases

Limitations

1. For the case $s < \sigma_p$ and $p < 1$, lower bounds may be subject to further improvement
2. Some proofs rely on specific function constructions; more direct methods may exist

Future Directions

1. Extension to other types of function spaces
2. Investigation of more general operator classes
3. Applications to regularity theory for partial differential equations

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Provides a complete solution to the problem
2. Technical Innovation: The improvement of the Fourier multiplier theorem has independent value
3. Rigorous Proofs: Both upper and lower bound estimates are precise, particularly in critical cases
4. Practical Value: Results can be applied to characterization and applications of function spaces

Weaknesses

1. Complexity: The treatment of different parameter cases is quite complex, potentially affecting readability
2. Technical Nature: Highly technical content may limit the scope of applications
3. Room for Improvement: Some estimates in certain cases may not be sufficiently sharp

Impact

1. Academic Value: Provides important tools for function space theory
2. Application Prospects: Potential applications in partial differential equations and harmonic analysis
3. Methodological Contribution: Proof techniques have reference value for related problems

Applicable Scenarios

1. Research in function space theory
2. Regularity analysis of partial differential equations
3. Operator theory in harmonic analysis
4. Function approximation theory in numerical analysis

References

The paper contains 33 references, covering classical and modern literature in function space theory, particularly Triebel's monographs and recent important work on Morrey spaces.

This paper represents an important contribution to function space theory, providing a complete and precise solution to the problem of boundedness of dilation operators in Triebel-Lizorkin-Morrey spaces, with high theoretical value and technical sophistication.