[论文解读] The Continuous Wavelet Transform and Symmetric Spaces

Raymond C. Fabec, Gestur Ólafsson|ArXiv.org|Nov 8, 2001

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

一句话总结

本文通过引入基于半单群与对称子群的群论框架，将连续小波变换推广至对称空间中非紧致稳定子的情形。当某点的稳定子为非紧致对称子群时，建立了小波变换的反演公式，将理论从以往局限于紧致稳定子的标准情形扩展至更一般的情形。

ABSTRACT

The continuous wavelet transform has become a widely used tool in applied science during the last decade. In this article we discuss some generalizations coming from actions of closed subgroups of $\mathrm{GL}(n,\mathbb{R})$ acting on $\mathbb{R}^n$. In particular, we propose a way to invert the wavelet transform in the case where the stabilizer of a generic point in $\mathbb{R}^n$ is not compact, but a symmetric subgroup, a case that has not previously been discussed in the literature.

研究动机与目标

• 将连续小波变换推广至 R^n 中某点的稳定子为非紧致的情形，此情形在以往文献中尚未被探讨。
• 为 GL(n,R) 的闭子群在 R^n 上的作用，构建小波变换的酉表示框架。
• 当稳定子为对称子群时，构造小波变换的反演公式，实现从其小波系数重构函数。
• 将 L^2(R^n) 分解为不可约子空间，这些子空间在 G_i = R_i ×_π R^n 作用下不变，且通过非紧致对称稳定子支持小波向量。
• 证明群 R 的选择依赖于轨道，表明抛物子群无法在所有轨道上统一替代 R。

提出的方法

• 利用半直积 G = H ×_π R^n，其中 H 通过表示 π 作用于 R^n，将小波变换定义为酉表示的矩阵系数。
• 应用平方可积表示理论与再生希尔伯特空间理论，识别 L^2(R^n) 中的小波向量。
• 运用 Matsuki 定理于对称空间，将轨道分解为在 R 下的开、不相交轨道，且其在 R 中的稳定子为紧致的。
• 使用对偶表示 π′(a) = π(a^{-1})^t 分析轨道结构与 L^2(R^n) 的不可约分解。
• 在每个不可约 G_i-不变子空间 L^2(O_i) 上，利用具有紧致稳定子的 R_i 作用，构造小波变换与反演公式。
• 证明在重构过程中所用群 R 依赖于轨道，如 H = R^+ × SL(n,R) 作用于 Symm(n,R) 的情形所示，R_p,q 随符号型 (p,q) 变化。

实验结果

研究问题

• RQ1 当 R^n 中某点的稳定子为非紧致时，特别是当其为对称子群时，连续小波变换是否仍可反演？
• RQ2 小波变换如何推广至 GL(n,R) 的闭子群在 R^n 上的作用，超越标准的 ax+b 群情形？
• RQ3 对称空间与对称子群在非紧致稳定子情形下，如何促成小波向量与反演公式的构造？
• RQ4 L^2(R^n) 按不可约 G_i-不变子空间的分解如何依赖于每个轨道所选的群 R_i？
• RQ5 为何抛物子群无法在小波重构过程中统一替代所有轨道的群 R？

主要发现

• 即使一般点的稳定子为非紧致，只要其为对称子群，小波变换仍可反演，从而将经典理论从紧致稳定子情形推广至更广范围。
• 对 R^n 中每个轨道 O_i，空间 L^2(O_i) 在 G_i = R_i ×_π R^n 作用下可分解为 G_i-不变子空间，其中 R_i 为具有紧致稳定子的闭子群。
• 小波重构中所用群 R_i 依赖于轨道 O_i，如 H = R^+ × SL(n,R) 作用于 Symm(n,R) 的情形所示，R_p,q 随符号型 (p,q) 变化。
• P = R^+ × SO_o(1,n) 在 R^{1+n} 上的作用产生两个开轨道 O_3,1 与 O_3,2，其稳定子为非紧致，但小波变换仍可通过 R = P 反演。
• 分解 L^2(R^{1+n}) ≃ L^2(O_1) ⊕ L^2(O_2) ⊕ L^2(O_3,1) ⊕ L^2(O_3,2) 表明所有不可约分量均为平方可积，且允许小波向量存在。
• 奇异矩阵集（det X = 0）测度为零，因此开轨道 O_p,q 的并集在 Symm(n,R) 中稠且开，确保几乎处处分解成立。