[论文解读] The Wavelet Galerkin Operator

Dorin Ervin Dutkay|ArXiv.org|Feb 13, 2003

Mathematical Analysis and Transform Methods参考文献 17被引用 14

一句话总结

本文对与小波滤波器 $ m_0 $ 相关的波尔小波伽辽金算子（亦称 Ruelle 算子或转移算子）进行了边界谱分析。研究证明，对应于边界谱 $ |\lambda| = 1 $ 的特征函数源于 $ m_0 $-循环，并通过定义在循环上的谱测度刻画了特征空间，证明了特征值 $ \lambda $ 满足 $ \lambda^{p_i} = 1 $，其中 $ p_i $ 为循环长度。

ABSTRACT

In connection to wavelet theory, we describe the peripheral spectrum of the transfer operator. The solution involves the analysis of certain representations of the algebra generated by two unitaries $U$ and $T$ that satisfy the commutation relation $UTU^{-1}=T^N$.

研究动机与目标

• 分析波尔小波伽辽金算子 $ R_{m_0,m_0} $ 的边界谱，即求解满足 $ |\lambda| = 1 $ 的 $ R_{m_0,m_0}h = \lambda h $ 的解。
• 建立 $ R_{m_0,m_0} $ 的特征函数与单位圆 $ \mathbb{T} $ 上 $ m_0 $-循环之间的联系，特别是那些满足 $ |m_0(z_i)| = \sqrt{N} $ 的循环。
• 利用谱测度和基于循环的表示方法，刻画对应于边界特征值的特征空间结构。
• 统一并澄清两个经典小波正交性条件之间的等价性：Lawton 的简单特征值条件与 Cohen 的非循环条件。
• 提供一个表示论框架，将 $ C^* $-代数 $ \mathfrak{A}_N $、小波表示与 Ruelle 算子的谱性质联系起来。

提出的方法

• 分析基于 $ C^* $-代数 $ \mathfrak{A}_N $，其由满足 $ UVU^{-1} = V^N $ 的酉算子 $ U $ 和 $ V $ 生成，该代数刻画了小波理论中的尺度与平移对称性。
• Ruelle 算子 $ R_{m_0,m_0} $ 在 $ C(\mathbb{T}) $ 上定义为 $ R_{m_0,m_0}f(z) = \frac{1}{N}\sum_{w^N = z} |m_0(w)|^2 f(w) $，其中 $ m_0 \in \text{Lip}_1(\mathbb{T}) $，具有有限零点，满足 $ R_{m_0,m_0}1 = 1 $，且 $ m_0(1) = \sqrt{N} $。
• 通过将 $ \mathbb{T} $ 分解为 $ m_0 $-循环 $ C_i = \{z_{1i}, \dots, z_{p_i i}\} $ 构造特征函数，其中 $ z_{ki}^N = z_{(k+1)i} $ 且 $ |m_0(z_{ki})| = \sqrt{N} $。
• 对每个循环 $ C_i $，定义特征函数 $ h_{m_0,C_i}^\lambda $ 为 $ \sum_{k=1}^{p_i} \lambda^{-k+1} g_{k,m_0,C_i} $，其中 $ g_{k,m_0,C_i} $ 是在 $ z_{ki} $ 处局部化的类似特征函数。
• 使用谱测度 $ \nu_i^\lambda = \frac{1}{p_i} \sum_{k=1}^{p_i} \lambda^{k-1} \delta_{z_{ki}} $ 投影到特征空间，其满足 $ \nu_i^\lambda(R_{m_0,m_0}f) = \lambda \nu_i^\lambda(f) $。
• 定义算子 $ T_\lambda $ 为通过 $ T_\lambda(f) = \sum_{i:\lambda^{p_i}=1} \nu_i^\lambda(f) h_{m_0,C_i}^\lambda $ 投影到 $ \lambda $-特征空间，表明特征函数是基于循环局部化的函数的线性组合。

实验结果

研究问题

• RQ1 波尔小波伽辽金算子 $ R_{m_0,m_0} $ 对应于满足 $ |\lambda| = 1 $ 的特征值 $ \lambda $ 的特征空间具有何种结构？
• RQ2 波尔小波伽辽金算子 $ R_{m_0,m_0} $ 的特征函数如何与单位圆 $ \mathbb{T} $ 上的 $ m_0 $-循环相关联，特别是那些满足 $ |m_0(z_i)| = \sqrt{N} $ 的循环？
• RQ3 为何 Lawton 条件（特征值 1 为单重）与 Cohen 条件（无非平凡循环）在小波正交性中等价？
• RQ4 谱测度 $ \nu_i^\lambda $ 在刻画 $ R_{m_0,m_0} $ 的 $ \lambda $-特征空间中起何种作用？
• RQ5 在何种条件下，单位圆上的特征值 $ \lambda \in \mathbb{T} $ 会诱导出 $ C(\mathbb{T}) $ 中的非平凡特征函数？

主要发现

• 波尔小波伽辽金算子 $ R_{m_0,m_0} $ 的边界谱由 $ m_0 $-循环决定：对每个长度为 $ p_i $ 的循环 $ C_i $，满足 $ \lambda^{p_i} = 1 $ 的特征值 $ \lambda $ 会生成非平凡特征函数。
• 对每个循环 $ C_i $ 及满足 $ \lambda^{p_i} = 1 $ 的 $ \lambda $，函数 $ h_{m_0,C_i}^\lambda = \sum_{k=1}^{p_i} \lambda^{-k+1} g_{k,m_0,C_i} $ 是 $ R_{m_0,m_0} $ 的特征函数，对应特征值 $ \lambda $。
• 特征函数 $ h_{m_0,C_i}^\lambda $ 线性无关，且张成 $ R_{m_0,m_0} $ 的 $ \lambda $-特征空间，其由对偶性 $ \nu_i^\lambda(h_{m_0,C_j}^\lambda) = \delta_{ij} $ 所证明。
• 谱测度 $ \nu_i^\lambda $ 满足 $ \nu_i^\lambda(R_{m_0,m_0}f) = \lambda \nu_i^\lambda(f) $，确认 $ \nu_i^\lambda $ 是 $ \lambda $-特征测度。
• 投影算子 $ T_\lambda(f) = \sum_{i:\lambda^{p_i}=1} \nu_i^\lambda(f) h_{m_0,C_i}^\lambda $ 给出了完整的 $ \lambda $-特征空间分解，且 $ T_\lambda $ 是 $ \frac{1}{n} \sum_{k=1}^n \lambda^{-k} R_{m_0,m_0}^k $ 的弱极限。
• 条件 $ \lambda^{p_i} = 1 $ 是与循环 $ C_i $ 相关联的非零特征函数存在的必要且充分条件，且当 $ \lambda^{p_i} = 1 $ 时，表示中的 $ f_{ki} $ 必须为常数。