[论文解读] Pre-threshold fractional susceptibility functions at Misiurewicz parameters

Julien Sedro|arXiv (Cornell University)|Nov 27, 2020

Mathematical functions and polynomials参考文献 28被引用 4

一句话总结

本论文证明，在 Misiurewicz 参数处，对于实解析单模族，当分数阶微分指数满足 0 ≤ η < 1/2 时，响应、冻结和半冷冻分数阶敏感度函数在半径大于一的圆盘内是全纯的。证明依赖于 Sobolev 空间上转移算子的谱间隙估计以及不变密度分数阶导数的界，为 Baladi 与 Smania 关于这些参数处分数阶响应的猜想提供了强有力证据。

ABSTRACT

We show that the response, frozen and semifreddo fractional susceptibility functions of certain real-analytic unimodal families, at Misiurewicz parameters and for fractional differentiation index $0\le\eta<1/2$, are holomorphic on a disk of radius greater than one. This is a step towards solving a conjecture of Baladi and Smania, in the case of the aforementioned susceptibility functions.

研究动机与目标

• 研究单模族在 Misiurewicz 参数处分数阶敏感度函数的全纯性与解析结构。
• 通过证明关键敏感度函数在半径 >1 的圆盘内全纯，为 Baladi 与 Smania 关于分数阶响应的猜想提供证据。
• 分析不变密度 ρt₀ 及其分数阶导数在 Sobolev 空间中的正则性，以控制参数变化下系统的响应。
• 通过转移算子技术和依赖参数的摄动，将分数阶响应框架扩展至非均匀双曲情形。
• 通过分析敏感度函数在临界阈值 η = 1/2 附近的性质，弥合经典线性响应与分数阶响应之间的差距。

提出的方法

• 利用与 Misiurewicz 映射 ft₀ 相关的转移算子 Lt₀，并在 Sobolev 空间 Hsₚ 上应用谱间隙估计，以控制相关性的衰减。
• 对不变密度 ρt₀ 应用双边 Marchaud 导数 Mη，利用其在 Hsₚ 中的正则性（0 ≤ s < 1/2 且 1 < p < 1/(1/2 + s)）。
• 通过二次族的函数关系 Lt₀₊ₜg(x) = Lt₀g(x + t) · (1 + tX′t₀(x + t))⁻¹，推导差分算子 [Lt₀₊ₜ − Lt₀]ρt₀ 的界。
• 建立转移算子参数导数的 L² 型估计，表明 ‖[Lt₀₊ₜ − Lt₀]ρt₀‖H˜sₚ ≤ C|t|^{s−˜s}‖ρt₀‖Hsₚ，其中 0 < ˜s < s < 1/2。
• 对参数区间 [tmin, tmax] 和 t > tmax 上的界进行积分，以控制冻结与半冷冻敏感度函数定义中涉及的积分。
• 应用 Fubini 定理与几何级数估计，表明定义敏感度函数的形式幂级数在半径 θ⁻¹ > 1 的圆盘内绝对收敛，其中 θ < 1 与谱间隙相关。

实验结果

研究问题

• RQ1 在 Misiurewicz 参数处，当 0 ≤ η < 1/2 时，响应、冻结与半冷冻分数阶敏感度函数是否在半径大于一的圆盘内全纯？
• RQ2 不变密度 ρt₀ 及其分数阶导数在 Sobolev 空间中的正则性如何？这如何影响系统的响应？
• RQ3 转移算子的参数依赖性如何影响分数阶敏感度函数的收敛性？
• RQ4 转移算子在 Sobolev 空间上的谱间隙是否可用于控制相关性衰减，并确保敏感度函数的全纯性？
• RQ5 当 η 趋近于 1/2 时，敏感度函数的行为如何？这与 Baladi 与 Smania 猜想中预测的阈值行为有何关联？

主要发现

• 响应分数阶敏感度函数 Ψrsp_φ(η, z) 在 0 ≤ η < 1/2 时于半径大于一的圆盘内是全纯的。
• 冻结分数阶敏感度函数 Ψfr_φ(η, z) 在半径大于一的圆盘内也是全纯的，通过与响应函数比较并进行参数积分得以建立。
• 半冷冻分数阶敏感度函数 Ψsf_φ(η, z) 同样在半径大于一的圆盘内全纯，通过在正测度参数子集 Ω 上积分得到。
• 收敛半径 θ⁻¹ > 1 由转移算子的谱间隙决定，其中 θ < 1 依赖于相关性的衰减速率。
• 对转移算子参数导数的界给出 ‖[Lt₀₊ₜ − Lt₀]ρt₀‖H˜sₚ ≤ C|t|^{s−˜s}‖ρt₀‖Hsₚ，其中 0 < ˜s < s < 1/2 且 1 < p < 1/(1/2 + s)。
• 对于 φ ∈ L∞(I)，定义敏感度函数的积分在半径 θ⁻¹ > 1 的圆盘内绝对收敛，其衰减速率由 θ^j 控制，其中 θ < 1。