[论文解读] Projective multiresolution analyses for $L^2(R^2)$

Judith Packer, Marc A. Rieffel|ArXiv.org|Aug 14, 2003

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

一句话总结

本文引入了 $L^2(\mathbb{R}^2)$ 上的投影多重分辨率分析（PMRA），其中初始空间是 $C(\mathbb{T}^2)$ 上的有限生成投影模，将经典小波理论推广至非自由模。针对任意具有整数元素的 $2\times2$ 对角拉伸矩阵，构造了 PMRA，证明了相应的波函数模同构于 $X((\det A)q, a)$，并利用模框架和 $K$-理论分类，证明当 $\det A > 0$ 时波函数空间为自由模，当 $\det A < 0$ 且 $a \neq 0$ 时为非自由模。

ABSTRACT

We define the notion of "projective" multiresolution analyses, for which, by definition, the initial space corresponds to a finitely generated projective module over the algebra $C(\btn)$ of continuous complex-valued functions on an $n$-torus. The case of ordinary multi-wavelets is that in which the projective module is actually free. We discuss the properties of projective multiresolution analyses, including the frames which they provide for $L^2(\brn)$. Then we show how to construct examples for the case of any diagonal $2 imes 2$ dilation matrix with integer entries, with initial module specified to be any fixed finitely generated projective $C(\mathbb T^2)$-module. We compute the isomorphism classes of the corresponding wavelet modules.

研究动机与目标

• 将经典多重分辨率分析推广，用 $C(\mathbb{T}^2)$ 上的任意有限生成投影模替代缩放函数的自由模。
• 建立一个框架，利用投影模在 $L^2(\mathbb{R}^2)$ 中构造小波和紧框架。
• 确定基于此类 PMRA 的波函数模的同构类，特别是针对对角 $2\times2$ 拉伸矩阵的情形。
• 利用模论技术证明：当 $\det A > 0$ 时波函数空间为自由模，当 $\det A < 0$ 且 $a \neq 0$ 时为非自由模。

提出的方法

• 将投影多重分辨率分析（PMRA）定义为 $L^2(\mathbb{R}^2)$ 中的一个递增子空间序列 $\{V_j\}$，其中 $V_0$ 是 $\mathbb{T}^2$ 上复向量丛的连续截面的逆傅里叶变换所生成的 $C(\mathbb{T}^2)$-投影模。
• 利用 $C(\mathbb{T}^2)$ 上的希尔伯特 $C^*$-模的代数结构，定义模框架，并推导出 $L^2(\mathbb{R}^2)$ 的归一化紧框架。
• 在频域中构造一个缩放函数，作为 $\Xi$ 中 $C(\mathbb{T}^2)$-子模的生成元，其中 $\Xi$ 是 $C_c(\mathbb{R}^2)$ 在更强范数下的完备化空间。
• 通过自同态作用于函数空间 $Z(p;q;a)$，将其分解为同型分量，从而实现模同构类的分类。
• 利用 $K$-理论中的消去性质（通过定理 4.2）对直和分解进行分析，以分类波函数模的同构类。
• 利用 $X(q,a)$ 模的结构及其在拉伸作用下的行为，计算波函数空间 $W_0$ 的同构类型。

实验结果

研究问题

• RQ1 能否将多重分辨率分析从 $C(\mathbb{T}^2)$ 的自由模推广至任意有限生成投影模？
• RQ2 投影多重分辨率分析是否自然地产生 $L^2(\mathbb{R}^2)$ 的归一化紧框架？
• RQ3 对于给定的基于对角 $2\times2$ 拉伸矩阵的 PMRA，波函数模 $W_0$ 的同构类是什么？
• RQ4 在何种条件下波函数模为自由或非自由模，特别是与 $\det A$ 的符号相关时？
• RQ5 能否对任意有限生成投影 $C(\mathbb{T}^2)$-模和任意对角 $2\times2$ 整数拉伸矩阵构造此类 PMRA？

主要发现

• 波函数空间 $W_0$ 作为 $\mathcal{A}$-模，同构于 $X\big{(}(|\det(A)|-1)q, (\mathrm{sign}(\det(A))-1)a\big{)}$。
• 若 $\det A > 0$，则 $W_0$ 为自由模；若 $\det A < 0$ 且 $a \neq 0$，则 $W_0$ 为非自由模。
• 初始模 $V_0$ 同构于 $X(q,a)$，且波函数模 $W_0$ 满足 $W_0 \oplus X(q,a) \cong X(|\det(A)|q, \mathrm{sign}(\det(A))a)$。
• 对于任意具有整数元素的对角 $2\times2$ 拉伸矩阵 $A$ 和任意有限生成投影 $C(\mathbb{T}^2)$-模，均可构造一个 PMRA，使得 $V_0$ 同构于该模。
• 该构造依赖于在循环群作用下将函数空间分解为同型分量，从而通过 $K$-理论实现模同构类的分类。
• 波函数模 $V_1$ 同构于 $Y_A(q,a)$，而 $Y_A(q,a)$ 又同构于 $X((\det A)q, a)$。