[论文解读] Embeddings of decomposition spaces

Felix Voigtlaender|arXiv (Cornell University)|May 31, 2016

Mathematical Analysis and Transform Methods被引用 4

一句话总结

本文建立了一般性的组合框架，用于确定分解空间之间连续嵌入的存在性——这些空间是调和分析中的关键函数空间，如Besov空间、α-调制空间和共协变空间。通过将问题简化为频率覆盖和权函数的几何条件与序列范数条件，该框架使嵌入分析无需依赖傅里叶分析，从而得出关于这些空间之间嵌入关系的精确、可验证的判别准则，包括新颖的‘正则性与可积性之间的权衡’。

ABSTRACT

Many smoothness spaces in harmonic analysis are decomposition spaces. In this paper we ask: Given two decomposition spaces, is there an embedding between the two? A decomposition space $\mathcal{D}(\mathcal{Q}, L^p, Y)$ can be described using : a covering $\mathcal{Q}=(Q_{i})_{i\in I}$ of the frequency domain, an exponent $p$ and a sequence space $Y\subset\mathbb{C}^{I}$. Given these, the decomp. space norm of a distribution $g$ is $\| g\| _{\mathcal{D}(\mathcal{Q}, L^p, Y)}=\left\| \left(\left\| \mathcal{F}^{-1}\left(φ_{i}\widehat{g} ight) ight\| _{L^{p}} ight)_{i\in I} ight\| _{Y}$, where $(φ_{i})_{i\in I}$ is a suitable partition of unity for $\mathcal{Q}$. We establish readily verifiable criteria which ensure an embedding $\mathcal{D}(\mathcal{Q}, L^{p_1}, Y)\hookrightarrow\mathcal{D}(\mathcal{P}, L^{p_2}, Z)$, mostly concentrating on the case, $Y=\ell_{w}^{q_{1}}(I)$ and $Z=\ell_{v}^{q_{2}}(J)$. The relevant sufficient conditions are $p_{1}\leq p_{2}$, and finiteness of a norm of the form \[ \left\| \left(\left\| (α_{i}\,β_j \cdot v_{j}/w_{i})_{i\in I_{j}} ight\| _{\ell^{t}} ight)_{j\in J} ight\| _{\ell^{s}}

研究动机与目标

• 开发一个统一且易于理解的框架，用于确定分解空间之间的连续嵌入，这些空间在调和分析中具有核心地位。
• 将嵌入分析——此前需要深入的傅里叶分析——简化为仅基于频率覆盖和序列权函数的纯几何与组合条件。
• 为分解空间之间的嵌入提供精确且可验证的判别准则，包括正则性与可积性相互权衡的情形。
• 刻画两个分解空间何时相等，表明在非平凡条件下，其底层覆盖与权函数必须等价。
• 通过恢复并改进已知的α-调制空间与Besov空间中的嵌入结果，展示该框架的强大能力。

提出的方法

• 通过频率覆盖Q、每块上的L^p范数以及指标集I上的序列空间Y，定义分解空间D(Q, L^p, Y)。
• 利用嵌套序列范数，通过交集集I_j = {i ∈ I : Q_i ∩ P_j ≠ ∅} 来刻画嵌入条件。
• 通过范数‖(α_i β_j v_j / w_i)_i∈I_j‖_{ℓ^t_j∈J}^{ℓ^s} 的有限性，建立D(Q, L^{p_1}, ℓ^{q_1}_w) ↪ D(P, L^{p_2}, ℓ^{q_2}_v) 的充分条件。
• 在覆盖Q和P满足温和假设的前提下，证明判别准则的最优性，表明在许多情形下这些条件既是必要也是充分的。
• 将该框架应用于α-调制空间与Besov空间，恢复并改进了已知的嵌入定理。
• 利用一个刚性结果表明，仅当p = p', q = q'，且Q、P、w、v在适当意义下等价时，才有D(Q, L^p, ℓ^q_w) = D(P, L^p, ℓ^q_v)。

实验结果

研究问题

• RQ1 在何种条件下，两个分解空间D(Q, L^{p_1}, ℓ^{q_1}_w) 与 D(P, L^{p_2}, ℓ^{q_2}_v) 之间存在连续嵌入？
• RQ2 此类嵌入的存在性是否可以不依赖傅里叶分析，而仅基于覆盖Q和P的几何结构来确定？
• RQ3 决定嵌入存在的指数p_1, p_2, q_1, q_2与权函数w, v之间的精确关系是什么？
• RQ4 当覆盖或权函数不同时，两个分解空间在何种条件下会相等？
• RQ5 该框架是否能够改进或推广已知的α-调制空间与Besov空间中的嵌入结果？

主要发现

• 在Q和P满足适当假设的前提下，嵌入D(Q, L^{p_1}, ℓ^{q_1}_w) ↪ D(P, L^{p_2}, ℓ^{q_2}_v) 成立当且仅当p_1 ≤ p_2，且嵌套序列范数‖(α_i β_j v_j / w_i)_i∈I_j‖_{ℓ^t_j∈J}^{ℓ^s} 有限。
• 该框架允许实现‘正则性与可积性之间的权衡’，如在p_1 ≠ p_2时的情形，推广了经典的Sobolev嵌入。
• 当p_1 = p_2时，嵌入的必要与充分条件可通过嵌套范数及权函数行为完全刻画。
• 该框架恢复并改进了所有已知的α-调制空间嵌入结果，表明先前结果可被强化。
• 刚性结果表明，两个分解空间D(Q, L^p, ℓ^q_w) 与 D(P, L^p, ℓ^q_v) 仅当其覆盖Q与P、权函数w与v在精确意义下等价时才可能相等。
• 该理论是精确的：对于相对适中的覆盖及大多数参数范围，判别准则完整刻画了嵌入存在的条件。