[论文解读] Affine synthesis and coefficient norms for Lebesgue, Hardy and Sobolev spaces

Huy‐Qui Bui, Richard S. Laugesen|ArXiv.org|Aug 29, 2006

Advanced Harmonic Analysis Research参考文献 35被引用 6

一句话总结

该论文通过仿射合成算子建立了勒贝格、哈代和索博列夫空间与混合范数序列空间中系数序列之间的范数等价性。证明了函数的 $L^p$ 范数与仿射框架中其系数的最小 $\\_\ell^1(\ell^p)\\_$ 范数等价，通过离散哈代空间和系数上的差分算子，将结果推广至 $H^1$ 和 $W^{m,p}$。

ABSTRACT

The affine synthesis operator is shown to map the mixed-norm sequence space $\ell^1(\ell^p)$ surjectively onto $L^p(\Rd), 1 \leq p < \infty$, assuming the Fourier transform of the synthesizer does not vanish at the origin and the synthesizer has some decay near infinity. Hence the standard norm on $f \in L^p(\Rd)$ is equivalent to the minimal coefficient norm of realizations of $f$ in terms of the affine system. We further show the synthesis operator maps a discrete Hardy space onto $H^1(\Rd)$, which yields a norm equivalence for Hardy space involving convolution with a discrete Riesz kernel sequence. Coefficient norm equivalences are established also for Sobolev spaces, by applying difference operators to the coefficient sequences.

研究动机与目标

• 确定仿射合成算子映射到经典函数空间的最优序列空间定义域。
• 在仿射系统背景下，建立函数空间范数与系数序列范数之间的范数等价性。
• 通过奇异积分与差分算子的离散类比，将结果从 $L^p$ 推广至哈代空间与索博列夫空间。
• 证明对合成器 $\\psi$ 的弱条件（例如，径向递减的 $L^1$ 控制函数、非零积分）已足够保证满射性与范数等价性。
• 通过 Banach 框架与 Cesàro 收敛，形式化函数空间中分析与合成之间的联系。

提出的方法

• 定义仿射合成算子 $S c = \\sum_{j>0} \sum_{k \in \mathbb{Z}^d} c_{j,k} \psi_{j,k}$，其中 $\psi_{j,k}(x) = |\\det a_j|^{1/p} \psi(a_j x - b k)$，$a_j$ 为扩张矩阵，$b$ 为平移矩阵。
• 利用 $\\int_{\\mathbb{R}^d} \psi \, dx = 1$ 及 $\psi$ 在无穷远处的径向递减 $L^1$ 控制函数，确保有界性与满射性。
• 证明 $S: \ell^1(\ell^p) \to L^p$ 有界、线性且满射，对 $1 \leq p < \infty$ 成立，从而得到范数等价性 $\\|f\\|_p \approx \inf \|c\|_{\ell^1(\ell^p)}$。
• 对于哈代空间，通过与离散 Riesz 核 $\\{z_\\ell\\}$ 的卷积定义离散哈代空间 $h^1$，并证明 $S: \ell^1(h^1) \to H^1$ 满射，且满足 $\\|f\\|_{H^1} \approx \inf \|c\|_{\ell^1(h^1)}$。
• 对于索博列夫空间 $W^{m,p}$，对系数序列 $c_{j,k}$ 应用差分算子以模拟导数，从而导出涉及离散导数的范数等价性。
• 通过尺度平均逼近与 Cesàro 平均处理收敛性，并定义 Banach 框架，确保合成算子在极限下能恢复函数。

实验结果

研究问题

• RQ1 仿射合成算子映射到 $L^p(\\mathbb{R}^d)$ 的最小序列空间定义域是什么？
• RQ2 如何通过离散哈代空间中的系数序列表征 $H^1(\\mathbb{R}^d)$ 中函数的范数？
• RQ3 对系数序列应用的差分算子在表征索博列夫空间范数中起什么作用？
• RQ4 在对合成器 $\\psi$ 的假设尽可能弱的条件下，合成算子能否实现 $H^1$ 和 $W^{m,p}$ 的范数等价？
• RQ5 在 Cesàro 收敛下，合成算子是否构成 $L^p$、$H^1$ 和 $W^{m,p}$ 空间的 Banach 框架？

主要发现

• 当 $\psi$ 在无穷远处具有径向递减的 $L^1$ 控制函数且 $\\int \psi \, dx = 1$ 时，仿射合成算子 $S: \ell^1(\ell^p) \to L^p$ 对 $1 \leq p < \infty$ 有界、线性且满射。
• 函数 $f$ 的 $L^p$ 范数与其中系数序列的 $\\ell^1(\ell^p)$-范数下确界等价：$\\|f\\|_p \approx \inf \left\{ \sum_{j>0} \left( \sum_{k \in \mathbb{Z}^d} |c_{j,k}|^p \right)^{1/p} : f = S c \right\}$。
• 对于 $H^1(\\mathbb{R}^d)$，合成算子将 $\ell^1(h^1)$ 满射至 $H^1$，且满足 $\\|f\\|_{H^1} \approx \inf \left\{ \sum_{j>0} \sum_{k \in \mathbb{Z}^d} \left( |c_{j,k}| + \left| \sum_{\ell \in \mathbb{Z}^d} z_\\ell c_{j,k-\\ell} \right| \right) : f = S c \right\}$，其中 $\\{z_\\ell\}$ 为离散 Riesz 核。
• 对于索博列夫空间 $W^{m,p}(\\mathbb{R}^d)$，范数等价性涉及对系数序列 $c_{j,k}$ 应用差分算子，以模拟导数。
• 结果可推广至局部化区域 $\\Omega \subset \mathbb{R}^d$，此时存在局部化的范数等价性。
• 当限制在 Cesàro 收敛序列上时，合成算子构成 $L^p$、$H^1$ 和 $W^{m,p}$ 的 Banach 框架，且分析-合成对在极限下能恢复函数。