[论文解读] New Function Spaces Associated to Representations of Nilpotent Lie Groups and Generalized Time-Frequency Analysis

Karlheinz Gröchenig|arXiv (Cornell University)|Jul 9, 2020

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

一句话总结

本文引入了由低维幂零李群的平方可积、不可约酉表示导出的新函数空间，将其确立为广义调制空间的共轨空间。通过利用这些表示固有的相空间结构，作者证明了不同幂零群（维度5和6）的共轨空间在ℝ²上产生不同的函数空间族，从而为广义时间-频率分析提供了一个新框架，并给出了对先前工作中关于Dynin-Folland群关键结果的自包含证明。

ABSTRACT

We study function spaces that are related to square-integrable, irreducible, unitary representations of several low-dimensional nilpotent Lie groups. These are new examples of coorbit theory and yield new families of function spaces on $\mathbb{R}^d $. The concrete realization of the representation suggests that these function spaces are useful for generalized time-frequency analysis or phase-space analysis.

研究动机与目标

• 通过将共轨理论应用于低维幂零李群的平方可积、不可约酉表示，在ℝ²上构建新的函数空间族。
• 证明这些共轨空间彼此之间以及与标准调制空间不同，从而将时间-频率分析推广至海森堡群框架之外。
• 利用共轨空间的不变性性质，对[25]中关于Dynin-Folland群的关键结果提供一个具体且自包含的证明。
• 证明幂零群的相空间结构自然支持广义时间-频率分析，类似于海森堡群在经典调制空间中的作用。

提出的方法

• 本文将共轨空间理论应用于幂零李群（模其中心）的平方可积、不可约酉表示，通过表示系数的Lp范数构造函数空间。
• 将相空间识别为G/Z × G/Z，其中G为幂零群，Z为其中心，位置与动量变量自然源于群结构。
• 该方法依赖于分析Schrödinger演化算子f(t) ↦ e^{-iπt²}f(t)在调制空间上的作用，该作用对应于chirp乘法，用于区分共轨空间。
• 通过G/Z中的格Λ索引的离散框架，推导出原子分解与框架表示，系数序列与函数范数之间存在范数等价性。
• 利用高斯函数的解析延拓及复矩阵的行列式恒等式，计算chirped高斯函数的短时傅里叶变换。
• 应用分块矩阵分解与行列式恒等式，计算chirped信号的短时傅里叶变换的Lp范数，从而得到调制空间范数的显式公式。

实验结果

研究问题

• RQ1 由幂零李群的平方可积表示构造的共轨空间是否能在ℝ²上产生新的、非等价的函数空间族，超越标准调制空间？
• RQ2 共轨空间的不变性性质如何用于区分不同幂零群相关联的函数空间？
• RQ3 Schrödinger演化算子在调制空间上的精确行为是什么？它如何用于证明共轨空间的相异性？
• RQ4 幂零群的相空间结构在多大程度上推广了传统基于海森堡群的时间-频率分析框架？
• RQ5 能否利用共轨空间的不变性性质，对[25]中的定理7.6给出一个自包含的证明？

主要发现

• 证明了维度为5和6的三个不同幂零李群在ℝ²上对应的共轨空间为彼此不同的函数空间族，表明这些表示确实产生了全新的函数空间族。
• 本文给出了[25]中定理7.6的新且自包含的证明，该定理确立了Dynin-Folland群相关共轨空间的相异性。
• chirped高斯函数的短时傅里叶变换的Lp范数被计算为‖Sϕ(𝒩Cϕ)‖Lp(ℝ⁴d) = (p^{-1/(2p)})^{4d} ⋅ det(4I + C²)^{1/(2p) - 1/4}，该结果量化了chirped信号的调制空间范数。
• 通过分块矩阵分解推导出行列式恒等式detΔ = det(4I + C²)^{-1}，从而实现了短时傅里叶变换范数的显式计算。
• 对于所有属于共轨空间的f，范数等价性‖(⟨f, π(λ)g⟩)λ∈Λ‖ℓp_m ≍ ‖f‖CoπLp_m 成立，确认了原子分解与框架的有效性。
• 幂零群的相空间结构自然支持广义时间-频率分析，其中位置与动量变量源于群及其对偶，类似于海森堡群的情形。