[论文解读] Shift-invariant spaces on SI/Z Lie groups

Bradley Currey, Azita Mayeli+1 more|arXiv (Cornell University)|May 30, 2012

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

一句话总结

本文提出了一种在 SI/Z 李群——即具有不可约单位酉表示在中心模下平方可积的单连通幂零李群——上的平移不变空间的周期化框架，利用群傅里叶变换与范围函数。它通过可测范围函数表征平移不变子空间，并通过纤维化分析建立框架与 Riesz 基的判别准则，将欧几里得结果推广至非交换设置，应用于海森堡群及更高阶幂零群。

ABSTRACT

Given a simply connected nilpotent Lie group having unitary irreducible representations that are square-integrable modulo the center (SI/Z), we develop a notion of periodization on the group Fourier transform side, and use this notion to give a characterization of shift-invariant spaces in $L^2(N)$ in terms of range functions. We apply these results to study the structure of frame and Reisz families for shift-invariant spaces. We illustrate these results for the Heisenberg group as well as for other groups with SI/Z representations.

研究动机与目标

• 将平移不变空间理论从阿贝尔群推广至一类广泛的非阿贝尔李群，特别是 SI/Z 群。
• 在 SI/Z 群上构建群傅里叶变换侧的周期化算子，以表征平移不变子空间。
• 利用表示理论与普朗舍尔理论，将范围函数框架从欧几里得空间推广至非阿贝尔设置。
• 通过范围函数的纤维化条件表征 $L^2(N)$ 中平移不变子空间的框架与 Riesz 基。
• 在具体例子（包括海森堡群与三步幂零群）中展示该理论，证明其适用性。

提出的方法

• 将 SI/Z 群定义为单连通幂零李群，其中所有极大余伴随轨道对应于在中心模下平方可积的表示。
• 利用余伴随轨道对应关系与普朗舍尔测度，将单位酉对偶 $\hat{N}$ 与 $\mathfrak{n}^*/N$ 对应，重点关注 $\hat{N}_{\text{max}} = \text{SI/Z}$。
• 通过离散子群 $\Gamma \subset N$ 在中心 $Z$ 模下的作用，在群傅里叶变换侧构造周期化算子，实现对 $\mathbb{T} = Z^*$ 的纤维分解。
• 定义变换 $T: L^2(N) \to L^2(\mathbb{T}, \mathcal{L})$，其取值为希尔伯特-施密特算子的序列，将 $L^2(N)$ 与圆上的纤维丛联系起来。
• 通过可测范围函数 $J(\sigma) \subset \mathcal{L}$ 表征 $\Gamma$-平移不变子空间 $S \subset L^2(N)$，使得 $T(S)$ 几乎处处由 $J(\sigma)$ 中的截面构成。
• 通过将问题转移至纤维化分析，建立框架与 Riesz 基的判别准则：系统 $\{L_\gamma \phi\}$ 在 $S$ 中构成框架（或 Riesz 基）当且仅当系统 $\{\tilde{\pi}_\sigma(k) T\phi(\sigma)\}$ 几乎处处在 $\sigma \in \mathbb{T}$ 的 $J(\sigma)$ 中构成框架（或 Riesz 基），且具有相同的框架界。

实验结果

研究问题

• RQ1 如何将周期化概念从阿贝尔群推广至非阿贝尔 SI/Z 李群，以表征平移不变子空间？
• RQ2 在 SI/Z 群的非阿贝尔设置中，范围函数的适当类比是什么？它如何与群傅里叶变换关联？
• RQ3 在 $L^2(N)$ 的平移不变子空间中，框架与 Riesz 基的性质如何与范围函数的纤维化性质相关联？
• RQ4 该理论能否应用于具体例子，如海森堡群与更高阶幂零群？
• RQ5 SI/Z 群的哪些结构特征支持类似普朗舍尔分解的结构，从而支持周期化与范围函数表征？

主要发现

• 本文建立了 $\Gamma$-平移不变子空间 $S \subset L^2(N)$ 与可测范围函数 $J: \mathbb{T} \to \text{闭子空间 of } \mathcal{L}$ 之间的双射对应关系，其中 $\mathcal{L} = l^2(\mathbb{Z}, \mathcal{HS}(L^2(\mathbb{R}^2)))$。
• $\Gamma$-平移不变子空间 $S$ 由条件 $T(S) = \{ a \in L^2(\mathbb{T}, \mathcal{L}) : a(\sigma) \in J(\sigma) \text{ a.e.} \}$ 表征，其中 $T$ 是通过群傅里叶表示定义的变换。
• 系统 $\{L_\gamma \phi : \gamma \in \Gamma, \phi \in \mathcal{A}\}$ 在 $S$ 中构成框架（或 Riesz 基）当且仅当系统 $\{\tilde{\pi}_\sigma(k) T\phi(\sigma) : k \in \mathbb{Z}^4 \}$ 几乎处处在 $J(\sigma)$ 中构成框架（或 Riesz 基），且具有相同的框架界。
• 对于海森堡群，范围函数 $J(\sigma)$ 在 $\tilde{\pi}_\sigma(k_1,k_2,0,0,0)$ 作用下不变，且变换 $T$ 将 $L^2(N)$ 映射至 $L^2(\mathbb{T}, l^2(\mathbb{Z}, \mathcal{HS}(L^2(\mathbb{R}))))$。
• 在三步幂零示例中，$\mathbb{R}^*$ 上的普朗舍尔测度与 $\lambda^2 d\lambda$ 成比例，表示 $\pi_\lambda$ 在 $L^2(\mathbb{R}^2)$ 上通过类似梅塔普利克的算子作用。
• 本文表明 $S = T^{-1}(M_J)$ 是 $\Gamma$-平移不变的，但不是左不变的，如 $L_{(1/2,1/2,0,0,0,0)}\phi$ 对于 $\phi \in S$ 不属于 $S$ 所示，确认了平移作用的非阿贝尔结构。