[论文解读] Parameter regularity of dynamical determinants of expanding maps of the circle and an application to linear response

Malo Jézéquel|arXiv (Cornell University)|Aug 3, 2017

Advanced Differential Equations and Dynamical Systems被引用 5

一句话总结

本论文在不同可微性假设下建立了圆周扩张映射的动力对 determinants 的 C^1 和 C^2 正则性，使得 Pollicott 与 Vytnova 的解析线性响应公式可推广至 C^k 可微设置。核心方法是利用 Paley-Littlewood 投影将转移算子分解为一个核型部分与一个有界余项，从而通过算子范数估计与迹类论证控制谱性质与导数正则性，最终在 C^2 与 C^3 曲线假设下分别证明了线性响应公式 (2) 与 (3) 的有效性。

ABSTRACT

In order to adapt to the differentiable setting a formula for linear response proved by Pollicott and Vytnova in the analytic setting, we show a result of regularity of dynamical determinants of expanding maps of the circle. The main tool is the decomposition of a transfer operator as a sum of a nuclear part and a "small" bounded part.

研究动机与目标

• 将 Pollicott 与 Vytnova 的解析线性响应公式推广至圆周扩张映射的可微设置。
• 建立参数化映射族与可观测量的充分正则性条件，以确保动力对 determinants 为 C^1 或 C^2。
• 通过转移算子分解与 Sobolev 空间技术，提供一个严谨的泛函分析框架，以在非解析背景下验证线性响应公式。
• 通过证明在 C^k 假设下动力对 determinants 的正则性，弥合光滑动力系统中解析与可微设置之间的差距。

提出的方法

• 使用转移算子的 Paley-Littlewood 分解，将其分离为核型部分与有界余项，从而实现谱控制。
• 在 Sobolev 空间 H^s 中应用算子范数估计，以控制非核型部分并证明其对参数的 C^k 依赖性。
• 为核型算子构造‘平坦迹’以定义动力对 determinants 并分析其正则性。
• 利用 Gouëzel-Keller-Liverani 方法证明转移算子主特征值与特征函数的 C^k 正则性。
• 通过柯西积分公式与预解式估计，控制复平面上动力对 determinants 的导数。
• 应用隐函数定理与积分号下求导，从对 determinants 正则性推导出线性响应公式。

实验结果

研究问题

• RQ1 在何种可微性假设下，映射族 τ ↦ Tτ 与可观测量 g 可使动力对 determinants d(z, u, τ) 关于参数 τ 与共轭变量 u 为 C^1 或 C^2？
• RQ2 能否通过泛函分析工具（如算子分解与迹理论）将 Pollicott 与 Vytnova 推导出的解析线性响应公式推广至 C^k 可微设置？
• RQ3 转移算子分解为核型与有界部分如何促进在 Sobolev 空间中对动力对 determinants 正则性的证明？
• RQ4 转移算子谱数据（特征值与特征函数）的正则性与参数变化下不变测度的可微性之间存在何种精确关系？
• RQ5 当映射族为 C^3 且可观测量为 C^7 时，线性响应公式能否显式地用周期点及其关于 τ 的导数表示？

主要发现

• 在 τ ↦ Tτ 为 C^2 且 g 为 C^6 的假设下，动力对 determinants d(z, u, τ) 关于 (u, τ) 为 C^1，确保了公式 (2) 在线性响应中的有效性。
• 当 τ ↦ Tτ 为 C^3 且 g 为 C^7 时，动力对 determinants d(z, u, τ) 关于 (u, τ) 为 C^2，从而在可微设置下验证了完整的线性响应公式 (3)。
• 对于足够小的 τ 与 u，动力对 determinants 可解析延拓至半径 R > 1 的圆盘，确保级数展开的收敛性与解析性。
• 转移算子谱数据（特征值与特征函数）的正则性源于映射族的 C^k 依赖性以及其分解为核型与有界部分的结构。
• 线性响应公式 (3) 可显式地用 T₀ 的周期点及其关于 τ 的导数表示，如公式 (35) 所示。
• 该方法证明了动力对 determinants 的导数满足指数衰减估计，确保了响应公式中所用幂级数的快速收敛。