[论文解读] Trace operators of modulation, alpha modulation and Besov spaces

Hans G. Feichtinger, Chunyan Huang+1 more|ArXiv.org|Nov 28, 2008

Mathematical Analysis and Transform Methods参考文献 9被引用 4

一句话总结

本文建立了调制空间 $M^s_{p,q}$、$\alpha$-调制空间 $M^{s,\alpha}_{p,q}$ 以及贝索夫空间 $B^s_{p,q}$ 在 $\mathbb{R}^n$ 中超平面上的精确迹定理。证明了迹算子 $f \mapsto f(\bar{x},0)$ 是从 $M^s_{p,q}$ 到 $M^{s-1/q'}_{p,q}$ 的收缩映射，并为 $\alpha$-调制空间与贝索夫空间确定了精确的正则性阈值，解决了关于端点行为与嵌入精确性的开放问题。

ABSTRACT

In this paper, we consider the trace theorem for modulation spaces, alpha modulation spaces and Besov spaces. For the modulation space, we obtain the sharp results.

研究动机与目标

• 建立调制空间 $M^s_{p,q}$、$\alpha$-调制空间 $M^{s,\alpha}_{p,q}$ 以及贝索夫空间 $B^s_{p,q}$ 在超平面 $\mathbb{R}^{n-1}$ 上的精确迹定理。
• 确定迹算子 $f \mapsto f(\bar{x},0)$ 从 $M^s_{p,q}(\mathbb{R}^n)$ 有界映射到 $M^{s'}_{p,q}(\mathbb{R}^{n-1})$ 的最优正则性阈值 $s$。
• 解决 $p=q=1$、$s \geq 0$ 情况下迹结果的精确性，并为端点情形提供反例。
• 将已知的贝索夫空间迹结果推广至完整范围 $s \leq s_p = (n-1)(1/\min(p,1) - 1)$，包括极限情形 $s = s_p$。

提出的方法

• 使用基于 $\alpha$-覆盖的频率均匀分解，介于均匀分解（$\alpha=0$）与 dyadic 分解（$\alpha=1$）之间。
• 应用迹算子 $\mathbb{T}\mathbbm{r}f(\bar{x}) = f(\bar{x},0)$，并通过频率块上的 $\ell^q(L^p)$-范数分析其有界性。
• 采用极大函数估计 $M_{k,t}^*f$ 与 dyadic 分解 $\Delta_{k,t}$ 控制频率块上迹的 $L^p$-范数。
• 应用杨不等式与插值技术，以 $\|f\|_{M^{s+\sigma}_{p,q}}$ 的形式有界迹，其中 $\sigma$ 明确依赖于 $\alpha$、$p$、$q$ 与 $s$。
• 使用闵可夫斯基不等式并对其 dyadic 频率块求和，控制迹空间中 $\ell^q$-范数。
• 引入空间 $\tilde{B}_{p,p\wedge q\wedge 1}^{s_p + 1/p}$，以刻画 $s \leq s_p$ 情形下的精确迹空间。

实验结果

研究问题

• RQ1 迹算子 $f \mapsto f(\bar{x},0)$ 从 $M^s_{p,q}(\mathbb{R}^n)$ 有界映射到 $M^{s'}_{p,q}(\mathbb{R}^{n-1})$ 的精确正则性阈值 $s$ 是什么？
• RQ2 $\alpha$-调制空间与调制空间、贝索夫空间相比，迹行为有何不同？最优正则性条件是什么？
• RQ3 贝索夫空间的迹定理能否推广至 $s \leq s_p$ 情形？此情形下的精确目标空间是什么？
• RQ4 当 $p=q=1$ 时，$M^s_{p,q}$ 的迹结果是否精确？在端点 $s = 1/q'$ 处会发生什么？
• RQ5 $\alpha$-调制空间的迹中正则性损失的精确程度是什么？其如何依赖于 $\alpha$、$p$ 与 $q$？

主要发现

• 迹算子 $\mathbb{T}\mathbbm{r}: M^s_{p,q}(\mathbb{R}^n) \to M^{s-1/q'}_{p,q}(\mathbb{R}^{n-1})$ 是一个收缩映射，且该结果是精确的：当 $r > 1$、$p,q \geq 1$ 时，有 $\mathbb{T}\mathbbm{r}: M^s_{p,q,r}(\mathbb{R}^n) \not\to M^{s}_{p,q}(\mathbb{R}^{n-1})$。
• 对于 $\alpha$-调制空间，若 $s \geq \alpha(n-1)/q + \alpha s_p$，则有 $\mathbb{T}\mathbbm{r}: M^{s+\alpha/p}_{p,p\wedge q\wedge 1}(\mathbb{R}^n) \to M^s_{p,q}(\mathbb{R}^{n-1})$，且在 $p=q=1$、$s \geq 0$ 时结果精确。
• 当 $s < \alpha(n-1)/q + \alpha s_p$ 时，精确的正则性损失由 (1.7) 式定义的 $\sigma_{\alpha,p,q}$ 给出，其依赖于 $qs + (n-1)(1-\alpha) - q\alpha s_p$ 的符号。
• 对于满足 $s \leq s_p$ 的贝索夫空间，当 $s = s_p$ 时，有 $\|f(\cdot,0)\|_{B^s_{p,q}} \lesssim \|f\|_{\tilde{B}_{p,p\wedge q\wedge 1}^{s_p + 1/p}}$；当 $s < s_p$ 时，有 $\|f(\cdot,0)\|_{B^s_{p,q}} \lesssim \|f\|_{B_{p,p}^{s_p + 1/p}}$。
• 反例表明 $\mathbb{T}\mathbbm{r}: M^{1/q'}_{p,q}(\mathbb{R}^n) \not\to M^0_{p,q}(\mathbb{R}^{n-1})$ 对于 $p,q > 1$ 成立，从而确认了 $s > 1/q'$ 条件的精确性。
• 当 $1 \leq q \leq \infty$ 时，若 $s < 0$，则迹有界映射 $B^s_{p,1}^{1/p,s+1/p}(\mathbb{R}^n)$ 到 $B^s_{p,q}(\mathbb{R}^{n-1})$；若 $s=0$，则有界映射 $\tilde{B}_{p,1}^{1/p,1/p}(\mathbb{R}^n)$ 到 $B^0_{p,q}(\mathbb{R}^{n-1})$。