[论文解读] Intermittency and Regularized Fredholm Determinants

Hans Henrik Rugh|ArXiv.org|Oct 7, 1996

Advanced Topics in Algebra参考文献 2被引用 4

一句话总结

本文研究了在零点具有中性不动点的实解析区间映射中的间歇性混沌动力学。它引入了一个正则化的弗雷德霍姆行列式，该行列式可解析延拓至连续谱 [0,1] 之外，从而在行列式的零点与佩隆-弗罗贝尼乌斯算子的离散本征值之间建立了一一对应关系，为分析间歇性提供了一种谱工具。

ABSTRACT

We consider real-analytic maps of the interval $I=[0,1]$ which are expanding everywhere except for a neutral fixed point at 0. We show that on a certain function space the spectrum of the associated Perron-Frobenius operator ${\cal M}$ has a decomposition $Sp ({\cal M}) = σ_c \cup σ_p$ where $σ_c=[0,1]$ is the continuous spectrum of ${\cal M}$ and $σ_p$ is the pure point spectrum with no points of accumulation outside 0 and 1. We construct a regularized Fredholm determinant $d(λ)$ which has a holomorphic extension to $λ\in C-σ_c$ and can be analytically continued from each side of $σ_c$ to an open neighborhood of $σ_c-{0,1}$ (on different Riemann sheets). In $C-σ_c$ the zero-set of $d(λ)$ is in one-to-one correspondence with the point spectrum of ${\cal M}$. Through the conformal transformation $λ(z) = 1/(4z) (1+z)^2$ the function $d \circ λ(z)$ extends to a holomorphic function in a domain which contains the unit disc.

研究动机与目标

• 理解在零点具有中性不动点的映射的佩隆-弗罗贝尼乌斯算子的谱结构。
• 解决连续谱掩盖间歇性系统中离散本征值的问题。
• 构建一个正则化的弗雷德霍姆行列式，以隔离并表征纯点谱。
• 实现行列式在连续谱上的解析延拓，以支持谱分析。
• 建立行列式零点与算子点谱之间的一一对应关系。

提出的方法

• 在合适的函数空间上定义实解析、扩张型映射在零点具有中性不动点时的佩隆-弗罗贝尼乌斯算子 M。
• 将算子 M 的谱分解为连续谱 σ_c = [0,1] 和无外点聚集的纯点谱 σ_p。
• 构造一个正则化的弗雷德霍姆行列式 d(λ)，使其在 C − σ_c 上全纯延拓。
• 从 [0,1] 两侧对 d(λ) 进行解析延拓，得到在不同黎曼面上 [0,1] − {0,1} 的邻域内的延拓。
• 应用共形变换 λ(z) = (1+z)²/(4z)，将行列式映射为包含单位圆盘的区域上的全纯函数。
• 利用该变换，通过谱对应关系将 d(λ) 的零点集与 M 的点谱联系起来。

实验结果

研究问题

• RQ1 对于具有中性不动点的映射，佩隆-弗罗贝尼乌斯算子的谱如何分解？
• RQ2 能否构造一个正则化的弗雷德霍姆行列式，使其在存在连续谱的情况下仍能捕捉离散谱？
• RQ3 弗雷德霍姆行列式在多大程度上可以跨连续谱进行解析延拓？
• RQ4 共形映射在将谱问题转化为更易处理的形式中起什么作用？
• RQ5 正则化行列式的零点与佩隆-弗罗贝尼乌斯算子的本征值之间是否存在一一对应关系？

主要发现

• 佩隆-弗罗贝尼乌斯算子 M 的谱分解为连续谱 σ_c = [0,1] 和纯点谱 σ_p，且在 0 和 1 之外无聚集点。
• 正则化的弗雷德霍姆行列式 d(λ) 可全纯延拓至复平面去掉区间 [0,1] 的区域。
• d(λ) 可从 [0,1] 两侧分别延拓至不同黎曼面上 [0,1] − {0,1} 的邻域。
• C − [0,1] 中 d(λ) 的零点集与 M 的点谱之间存在一一对应关系。
• 经过共形变换 λ(z) = (1+z)²/(4z) 后，函数 d(λ(z)) 可延拓为包含开单位圆盘的区域上的全纯函数。
• 该构造为通过基于行列式的方法分析非一致双曲系统中的间歇性提供了一种谱工具。