2025-11-24T04:52:16.793809

On the boundedness of dilation operators in the context of Triebel-Lizorkin-Morrey spaces

Hovemann, Weimar

In this paper we study the behavior of dilation operators $ D_Î»\colon f \mapsto f(Î»\,\cdot) $ with $ Î»> 1 $ in the context of Triebel-Lizorkin-Morrey spaces $\mathcal{E}^{s}_{u,p,q}(\mathbb{R}^d)$. For that purpose we prove upper and lower bounds for the operator (quasi-)norm $\| D_Î»\,|\, \mathcal{L}\big(\mathcal{E}^s_{u,p,q}(\mathbb{R}^d)\big) \| $. We show that for $s>Ï_p $ the operator (quasi-)norm $\| D_Î»\,|\, \mathcal{L}\big(\mathcal{E}^s_{u,p,q}(\mathbb{R}^d)\big) \| $ up to constants behaves as $Î»^{s - \frac{d}{u}} $. For the borderline case $ s = Ï_{p} $ we observe a behavior of the form $Î»^{Ï_p- \frac{d}{u}}$, multiplied with logarithmic terms of $Î»$ that also depend on the fine index $q$. For $s < Ï_{p}$ and $p \geq 1$ we find the relation $\| D_Î»\,|\, \mathcal{L}\big(\mathcal{E}^s_{u,p,q}(\mathbb{R}^d)\big) \| \sim Î»^{ - \frac{d}{u}}$. The case $s < Ï_{p}$ and $p < 1$ is investigated as well. Our proofs are mainly based on the Fourier analytic approach to Triebel-Lizorkin-Morrey spaces. As byproducts we show an advanced Fourier multiplier theorem for band-limited functions in the context of Morrey spaces and derive some new equivalent (quasi-)norms and characterizations of $\mathcal{E}^{s}_{u,p,q}(\mathbb{R}^d)$. Keywords: Dilation Operator, Morrey space, Triebel-Lizorkin-Morrey space, Fourier multiplier

academic

On the boundedness of dilation operators in the context of Triebel-Lizorkin-Morrey spaces

基本信息

论文ID: 2510.11439
标题: On the boundedness of dilation operators in the context of Triebel-Lizorkin-Morrey spaces
作者: Marc Hovemann (Friedrich-Schiller-Universität Jena), Markus Weimar (Julius-Maximilians-Universität Würzburg)
分类: math.FA (泛函分析), cs.NA (数值分析), math.AP (偏微分方程分析), math.NA (数值分析)
发表时间: October 14, 2025
论文链接: https://arxiv.org/abs/2510.11439

摘要

本文研究了扩张算子 $D_\lambda: f \mapsto f(\lambda \cdot)$ （其中 $\lambda > 1$ ）在 Triebel-Lizorkin-Morrey 空间 $E^s_{u,p,q}(\mathbb{R}^d)$ 中的行为。作者证明了算子（拟）范数 $\|D_\lambda \,|\, \mathcal{L}(E^s_{u,p,q}(\mathbb{R}^d))\|$ 的上界和下界。主要结果显示：当 $s > \sigma_p$ 时，算子范数表现为 $\lambda^{s-\frac{d}{u}}$ ；在临界情况 $s = \sigma_p$ 时，表现为 $\lambda^{\sigma_p-\frac{d}{u}}$ 乘以依赖于精细指数 $q$ 的对数项；当 $s < \sigma_p$ 且 $p \geq 1$ 时，有关系 $\|D_\lambda\| \sim \lambda^{-\frac{d}{u}}$ 。证明主要基于 Triebel-Lizorkin-Morrey 空间的 Fourier 分析方法。

研究背景与动机

问题背景

函数空间理论的发展：Triebel-Lizorkin 空间 $F^s_{p,q}(\mathbb{R}^d)$ 是经典 $L^p$ -Sobolev 空间 $H^s_p(\mathbb{R}^d)$ 的推广，在描述函数和分布的正则性方面具有重要作用。
Morrey 空间的引入：近年来，基于 Morrey 空间 $M^u_p$ 而非经典 Lebesgue 空间 $L^p$ 定义的 Triebel-Lizorkin-Morrey 空间 $E^s_{u,p,q}(\mathbb{R}^d)$ 受到越来越多关注。
扩张算子的重要性：扩张算子在函数空间理论中有广泛应用，特别是在：
- 偏微分方程的正则性分析
- 精细局部化空间理论
- 齐次空间理论

研究动机

理论完善：虽然经典 Triebel-Lizorkin 空间中扩张算子的有界性已被研究，但在 Triebel-Lizorkin-Morrey 空间中的行为尚未完全理解。
技术挑战：不同参数组合下的估计难度差异很大，特别是临界情况 $s = \sigma_p$ 和 $p < 1$ 的情形。
应用需求：精确的算子范数估计可用于否定某些拟范数的等价性，在函数空间的刻画中具有重要意义。

核心贡献

完整的范数估计：为 Triebel-Lizorkin-Morrey 空间 $E^s_{u,p,q}(\mathbb{R}^d)$ 中扩张算子 $D_\lambda$ 提供了完整的上界和下界估计。
临界情况的精确刻画：特别处理了临界情况 $s = \sigma_p$ ，给出了包含对数项的精确估计。
高级 Fourier 乘子定理：证明了 Morrey 空间中带限函数的高级 Fourier 乘子定理（定理 2.4）。
新的等价拟范数：导出了 $E^s_{u,p,q}(\mathbb{R}^d)$ 的一些新的等价拟范数和刻画。
推广经典结果：将经典 Triebel-Lizorkin 空间的结果推广到更一般的 Morrey 设定。

方法详解

核心技术框架

1. 扩张算子定义

对于 $\lambda > 0$ ，扩张算子定义为： $D_\lambda: M(\mathbb{R}^d) \to M(\mathbb{R}^d), \quad g \mapsto D_\lambda g := g(\lambda \cdot)$

在分布意义下扩展为： $(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 空间

对于 $s \in \mathbb{R}$ , $0 < p \leq u < \infty$ , $0 < q \leq \infty$ ，空间 $E^s_{u,p,q}(\mathbb{R}^d)$ 由满足以下条件的 $f \in S'(\mathbb{R}^d)$ 组成：

$\|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$

其中 $(\phi_k)_{k \in \mathbb{N}_0}$ 是光滑二进分解单位元。

主要技术创新

1. 分解策略

将 $D_{2^j}f$ 分解为三个部分： $D_{2^j}f = U_1 + U_2 + U_3$

其中：

$U_1$ ：低频部分
$U_2$ ：中频部分（ $k = 1, \ldots, j$ ）
$U_3$ ：高频部分（ $k \geq j+1$ ）

2. 高级 Fourier 乘子定理

定理 2.4：设 $0 < p \leq u < \infty$ ， $m, \ell > 0$ 。对于所有 $M \in S(\mathbb{R}^d)$ 满足 $\text{supp } M \subseteq B(0,m)$ 和 $f \in M^u_p(\mathbb{R}^d)$ 满足 $\text{supp}(\mathcal{F}f) \subseteq B(0,\ell)$ ，有：

$\|\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. 二进环形准则

利用 Yuan, Sickel 和 Yang 的二进环形准则来构造和估计函数。

主要结果

定理 1.1（主要结果）

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

（1）小扩张情况：对于 $\frac{1}{2} < \lambda < 2$ ， $\|D_\lambda \,|\, \mathcal{L}(E^s_{u,p,q}(\mathbb{R}^d))\| \sim 1$

（2）大扩张情况：对于 $\lambda \geq 2$ ：

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

(ii) 当 $s = \sigma_p$ 时：

若 $p > 1$ ： $\|D_\lambda\| \sim \lambda^{\sigma_p-\frac{d}{u}} (\log_2 \lambda)^{\max\{0, \frac{1}{q}-\frac{1}{2}\}}$
若 $p = 1$ ：存在上下界，涉及 $(\log_2 \lambda)^{\max\{\frac{1}{p}, \frac{1}{q}\}}$
若 $p < 1$ ：类似的对数项估计

(iii) 当 $s < \sigma_p$ 时：

若 $p \geq 1$ ： $\|D_\lambda\| \sim \lambda^{\sigma_p-\frac{d}{u}}$
若 $p < 1$ ：更复杂的估计，涉及 $\lambda^{\max\{s,\sigma_u\}-\frac{d}{u}}$

推论 1.2（经典 Triebel-Lizorkin 空间）

作为特例，当 $u = p$ 时得到经典 Triebel-Lizorkin 空间 $F^s_{p,q}(\mathbb{R}^d) = E^s_{p,p,q}(\mathbb{R}^d)$ 的结果。

技术创新点

1. 统一的处理框架

将所有参数情况统一在一个框架下处理
对任意 $\lambda > 1$ （不仅是 $\lambda = 2^j$ ）给出估计

2. 精细的对数项分析

在临界情况 $s = \sigma_p$ 中给出了依赖于 $q$ 的精确对数项
区分了 $p > 1$ , $p = 1$ , $p < 1$ 的不同情况

3. 改进的 Fourier 乘子理论

定理 2.4 避免了高阶 Bessel 位势范数，给出了更好的估计
扩展了从 $L^p(\mathbb{R}^d)$ 到 Morrey 空间的经典结果

4. 构造性下界证明

通过巧妙构造测试函数给出尖锐的下界
使用了局部均值刻画和 Gagliardo-Nierenberg 不等式

证明策略

上界证明（命题 3.3）

约化到二进情况：利用命题 3.1 将一般的 $\lambda$ 约化到 $\lambda = 2^j$
三部分分解：将 $D_{2^j}f$ 分解为 $U_1 + U_2 + U_3$
逐一估计：
- $U_1$ ：使用 Fourier 乘子定理
- $U_2$ ：区分不同参数情况，使用 Littlewood-Paley 理论
- $U_3$ ：直接估计