[论文解读] Direct limits, multiresolution analyses, and wavelets

Lawrence W. Baggett, Nadia S. Larsen+3 more|ArXiv.org|Sep 2, 2008

Mathematical Analysis and Transform Methods参考文献 8被引用 6

一句话总结

本文利用希尔伯特空间直极限的普遍性质，系统地在多种设定下构造小波基，包括经典的 $L^2(\mathbf{R}^n)$、分形小波以及环状空间。通过将直极限表征为与滤波器相关的等距同构，该文提供了一个统一的框架，证明了关键结果——例如，将极限识别为 $L^2(\mathbf{R}^n)$ 或环状空间——并解决了关于环状实现中测度支集的开放问题。

ABSTRACT

A multiresolution analysis for a Hilbert space realizes the Hilbert space as the direct limit of an increasing sequence of closed subspaces. In a previous paper, we showed how, conversely, direct limits could be used to construct Hilbert spaces which have multiresolution analyses with desired properties. In this paper, we use direct limits, and in particular the universal property which characterizes them, to construct wavelet bases in a variety of concrete Hilbert spaces of functions. Our results apply to the classical situation involving dilation matrices on $L^2(\R^n)$, the wavelets on fractals studied by Dutkay and Jorgensen, and Hilbert spaces of functions on solenoids.

研究动机与目标

• 通过希尔伯特空间直极限的统一方法，系统化地在经典、分形与环状设定下构造小波基。
• 解决关于多分辨率分析（MRA）环状实现中测度支集的开放问题，特别是 Ionescu 与 Muhly 提出的猜想。
• 建立关于与滤波器相关联的等距同构 $S_m$ 为纯等距同构的一般且可验证的判据，从而确保小波基的存在性。
• 利用直极限的普遍性质，为 $L^2(\mathbb{R})$ 中的小波理论提供一个全新且简明的 Mallat 定理证明。
• 将直极限方法扩展至 Baumslag-Solitar 群的小波表示，重新获得并改进 Jorgensen 的结果。

提出的方法

• 利用直极限的普遍性质，将希尔伯特空间系统 $V_n$ 的直极限识别为一个具体的函数空间希尔伯特空间。
• 通过一个与滤波器 $m$ 相关联的等距同构 $S_m$ 构造一个直系统，其中 $S_m$ 定义为 $S_m f = m \times (f \times \beta)$，$ abla$ 为合适的上循环 $\beta$。
• 应用普遍性质，从直极限 $\varinjlim (L^2(\mathbf{\mathbb{T}}), S_m)$ 构造一个到目标希尔伯特空间（如 $L^2(\mathbf{\mathbb{R}}^n)$ 或 $L^2(\mathcal{S}_N)$）的同构。
• 利用 Wold 分解分析等距同构 $S_m$，证明 $S_m$ 为纯等距同构当且仅当其 Wold 分解中不包含酉分量。
• 利用协变关系 $D \lambda_\gamma D^* = \lambda_{\alpha(\gamma)}$ 表征 Baumslag-Solitar 群 $\operatorname{BS}(\Gamma, \alpha)$ 的小波表示。
• 通过验证关联映射 $R$ 可延拓为等距同构，并与群作用及伸缩算子保持交换，建立直极限与目标希尔伯特空间之间的同构。

实验结果

研究问题

• RQ1 直极限构造能否系统地用于识别并构造 $L^2(\mathbb{R}^n)$、分形空间与环状空间中的小波基？
• RQ2 在何种条件下，与滤波器 $m$ 相关联的等距同构 $S_m$ 为纯等距同构，从而确保小波基的存在性？
• RQ3 直极限构造是否解决了 Ionescu 与 Muhly 关于 MRA 环状实现中测度支集的猜想？
• RQ4 能否利用直极限的普遍性质重新推导或改进已知的 Baumslag-Solitar 群小波表示结果？
• RQ5 环状实现的直极限与原始构造相比如何？其带来了哪些新见解——例如在傅里叶变换或测度支集方面？

主要发现

• 本文建立了关于等距同构 $S_m$ 为纯等距同构的一般判据（定理 3.1），其依据为滤波器 $m$ 的谱性质，从而确保小波基的存在性。
• 当 $m$ 为低通滤波器且伸缩矩阵为扩张矩阵时，直极限 $\varinjlim (L^2(\mathbf{\mathbb{T}}), S_m)$ 等距同构于 $L^2(\mathbf{\mathbb{R}}^n)$，从而为 Mallat 定理提供了新证明。
• 对于分形小波，直极限构造将极限空间识别为 $L^2$ 上的