[论文解读] Complete Determination of the Spectrum of a Transfer Operator associated with Intermittency

Thomas Prellberg|ArXiv.org|Aug 24, 2001

Mathematical Dynamics and Fractals被引用 5

一句话总结

本文首次对Farey映射的Ruelle-Perron-Frobenius（RPF）转移算子进行了完整的谱分析，该映射是间歇性系统的典型范例。通过利用首次返回映射和特征值分支的解析延拓，证明了该算子在适当的希尔伯特空间上是自伴的，并完全确定了其谱——包括[0,1]上的连续谱部分以及有限重数的孤立特征值。关键结果是提出了一种数值高效的计算方法，可精确求解所有特征值，包括嵌入在连续谱中的特征值，且仅在特定β = -N/2值处可获得精确特征值。

ABSTRACT

It is well established that the physical phenomenon of intermittency can be investigated via the spectral analysis of a transfer operator associated with the dynamics of an interval map with indifferent fixed point. We present here for the first time a complete spectral analysis for an example of such an intermittent map, the Farey map. We give a simple proof that the transfer operator is self-adjoint on a suitably defined Hilbert space and show that its spectrum decomposes into a continuous part (the interval $[0,1]$) and isolated eigenvalues of finite multiplicity. Using a suitable first-return map, we present a highly efficient numerical method for the determination of all the eigenvalues, including the ones embedded in the continuous spectrum.

研究动机与目标

• 为间歇性映射的Ruelle-Perron-Frobenius（RPF）转移算子提供完整的谱表征。
• 通过严格的谱方法，解决在间歇性中分析非Gibbsian或弱Gibbsian平衡态这一长期存在的难题。
• 开发一种数值高效的计算方法，用于求解所有特征值，包括嵌入在连续谱中的特征值。
• 阐明特征值存在于连续谱中的条件，特别是β = -N/2时的情形。

提出的方法

• 将RPF算子分解为间歇性部分（P₀）和混沌部分（P₁），其中P = P₀ + P₁。
• 构造首次返回映射，将问题转化为在截断希尔伯特空间上的更易处理的谱分析。
• 对修正算子M_z的特征值分支进行解析延拓，跨越z = 1，从而实现对嵌入在连续谱中的特征值的检测。
• 该方法依赖于在多项式基下展开转移算子，使矩阵元表示为z的有理函数。
• 通过特征值λ_n(z)的解析延拓，检测其与λ = 1的交点，从而标识出原算子P的特征值。
• 数值计算通过求解满足λ_n(z) = 1的z值完成，且在β = -N/2处通过多项式不变性验证收敛性。

实验结果

研究问题

• RQ1 Farey映射的RPF算子在何种条件下具有嵌入在其连续谱[0,1]中的特征值？
• RQ2 如何高效计算转移算子的完整谱，包括孤立特征值和连续谱部分？
• RQ3 首次返回映射在将谱问题转化为数值可处理形式中起到何种作用？
• RQ4 为何嵌入在连续谱中的特征值仅存在于特定β = -N/2值处？这一限制具有何种意义？
• RQ5 谱间隙（决定相关性衰减速率）如何随β变化，特别是在β < -2时？

主要发现

• Farey映射的RPF算子在适当定义的希尔伯特空间上是自伴的，确保了特征值为实数，并具有良好的谱分解。
• 谱由[0,1]区间上的连续部分和有限重数的孤立特征值组成，当β ≥ 1时不存在谱间隙。
• 仅在β = -N/2（N ∈ ℕ₀）时，存在嵌入在连续谱中的特征值，且这些特征值可跨越z = 1进行解析延拓。
• 当β < 1时，算子P的主特征值源自连续谱，且在M_z谱中首次与λ = 1相交的位置出现在z < 1处。
• 在β = -3时，M_z的四个特征值分支与λ = 1相交，其中一支位于z = 13.101，表明P在[0,1]中存在一个嵌入特征值。
• 当β > 1时，算子无非零特征值，整个谱均为[0,1]上的连续谱，与相关性的幂律衰减一致。