[论文解读] Covariant representations for matrix-valued transfer operators

Dorin Ervin Dutkay, Kjetil Røysland|ArXiv.org|Jan 16, 2007

Mathematical Analysis and Transform Methods参考文献 12被引用 4

一句话总结

本文建立了与矩阵值转移算子相关的协变表示的交换子与该转移算子的不动点之间的一一对应关系。研究表明，在低通条件下，协变表示可实现在 $\mathbb{R}^n$ 上，通过调和丛映射与余换向量，将算子代数结构与多分辨率分析及小波理论相联系。

ABSTRACT

Motivated by the multivariate wavelet theory, and by the spectral theory of transfer operators, we construct an abstract affine structure and a multiresolution associated to a matrix-valued weight. We describe the one-to-one correspondence between the commutant of this structure and the fixed points of the transfer operator. We show how the covariant representation can be realized on $\mathbb{R}^n$ if the weight satisfies some low-pass condition.

研究动机与目标

• 建立协变表示的交换子与矩阵值转移算子的不动点之间的一一对应关系。
• 将多分辨率分析（MRA）推广至矩阵值权函数，扩展经典小波理论。
• 证明当权函数满足低通条件时，协变表示可实现在 $\mathbb{R}^n$ 上。
• 将算子代数结构——如 $C^*$-代数、余换向量与调和映射——与谱理论及小波构造相联系。
• 通过转移算子动力学，为理解非MRA小波与Parseval框架小波提供一个框架。

提出的方法

• 从矩阵值权函数构造抽象仿射结构与多分辨率分析。
• 通过作用于 $2\pi$-周期函数的调和丛映射与转移算子，定义协变表示。
• 利用余换向量表示，建模转移算子在希尔伯特丛上的动力行为。
• 运用可测与调和丛映射的概念，刻画转移算子作用下的不变结构。
• 应用低通滤波器条件，确保 $L^2(\mathbb{R}^n)$ 中存在尺度函数。
• 通过酉扩张与平移结构 $UTU^{-1} = T^2$，在 $\mathbb{R}^n$ 上实现协变表示。

实验结果

研究问题

• RQ1 如何利用矩阵值转移算子构造具有矩阵值滤波器的多分辨率分析？
• RQ2 协变表示的交换子与转移算子不动点之间的精确对应关系是什么？
• RQ3 在何种条件下协变表示可实现在 $\mathbb{R}^n$ 上？
• RQ4 调和与可测丛映射如何与转移算子的谱性质相关联？
• RQ5 低通条件在确保尺度函数与Parseval框架小波存在性中起什么作用？

主要发现

• 协变表示的交换子与矩阵值转移算子的不动点之间存在一一对应关系。
• 转移算子 $R_{m_0}$ 通过 $R_{m_0}f(x) = \frac{1}{2}\left(|m_0(\frac{x}{2})|^2f(\frac{x}{2}) + |m_0(\frac{x+2\pi}{2})|^2f(\frac{x+2\pi}{2})\right)$ 作用于 $2\pi$-周期函数，其不动点决定了表示的结构。
• 当滤波器 $m_0$ 满足低通条件与正交镜像滤波器（QMF）条件时，所生成的小波构成Parseval框架。
• $\{\tilde{U}_l^j\pi_l(f)\varphi_k \mid j\in\mathbb{Z}, f\in C(\mathbb{T}^n), k\in\{1,\dots,d\}\}$ 的线性张量在 $\oplus_{j=1}^l L^2(\mathbb{R}^n)$ 中稠密，证实了超多尺度函数系统的完备性。
• $L^2(\mathbb{R}^n)$ 中的尺度函数 $\varphi_i$ 通过 $\varphi_i = \sum_{j=1}^l \mathcal{W}_j c_i$ 构造，其中 $c_i$ 为典范截面，且满足具有滤波器 $m$ 与相关矩阵 $h_j$ 的多尺度方程。
• 多尺度函数 $\varphi_1, \dots, \varphi_d$ 的相关矩阵 $h$ 为调和矩阵，满足 $\langle \varphi_i, \pi_l(f)\varphi_{i'} \rangle = \int_{\mathbb{T}^n} f h_{ii'} d\mu$，且在转移算子作用下保持不变。