[论文解读] Inevitable Dottie Number. Iterals of cosine and sine

Valerii Salov|arXiv (Cornell University)|Dec 1, 2012

Mathematical Dynamics and Fractals参考文献 3被引用 3

一句话总结

本文引入了用于迭代余弦与正弦函数的“iteral”记号，证明了无论初始实数值如何，余弦函数的重复迭代均收敛至唯一的实不动点——即著名的杜蒂数。文章分析了导数、麦克劳林级数及复动力系统，通过迭代稳定性证明了收敛性，并实现了一个C++模板以计算复平面上余弦与正弦的朱利亚集。

ABSTRACT

The unique real root of cos(x) = x, recently referred to as the Dottie number, is expressed as an iteral of cosine. Using the derivatives of iterals, it is shown why this number is achieved starting from any real number, when the iterates of cosine successfully approach infinity, and how this affects the Maclaurin series of the iterals. Properties of the iterals of cosine and sine and their derivatives are considered. A C++ template for iteral is applied for computation of Julia sets.

研究动机与目标

• 使用一种名为“iteral”的新型函数记号，形式化证明迭代余弦收敛至杜蒂数。
• 分析迭代余弦与正弦函数的导数及其麦克劳林级数。
• 证明杜蒂数是所有实初始值在余弦迭代下全局吸引子。
• 将分析扩展至复动力系统，并通过C++模板计算余弦与正弦的填充朱利亚集。

提出的方法

• 引入记号 $\textrm{\LARGE{И}}_v^n f(x)$ 表示从初始值 $v$ 开始的函数 $f$ 的 $n$ 次迭代。
• 应用链式法则推导iteral的高阶导数，揭示其对前序迭代的递归依赖关系。
• 结合图形分析与不动点迭代理论，证明对所有实初始值，迭代均收敛至杜蒂数。
• 通过在不动点处将导数无限复合，推导iteral的麦克劳林级数。
• 将iteral框架应用于定义余弦与正弦的填充朱利亚集，即所有复初始值构成的集合，使得其无限迭代的绝对值保持有界。
• 实现一个C++模板用于数值计算iteral，支持通过标准库与Gnuplot兼容输出高效生成朱利亚集图像。

实验结果

研究问题

• RQ1 为何余弦函数的迭代无论初始实数值为何，均收敛至同一实数？
• RQ2 如何系统地计算迭代余弦与正弦函数的导数？这些导数揭示了何种收敛特性？
• RQ3 余弦与正弦在复平面上的填充朱利亚集具有何种结构？
• RQ4 iteral记号如何用于形式化与计算无限函数迭代？

主要发现

• 杜蒂数，即方程 $\cos(x) = x$ 的唯一实解，被迭代收敛与图形分析确认为所有实初始值下余弦迭代的全局吸引子。
• 在杜蒂数处，第 $n$ 次迭代余弦函数的一阶导数的绝对值被限定在 $\sin(D) \approx 0.6736$ 以内，确保了局部稳定性和收敛性。
• 余弦与正弦iteral的麦克劳林级数被证明收敛至不动点，其系数由导数链的递归关系导出。
• 对于复初始值，迭代余弦与正弦函数可能发散，从而在复平面上形成复杂且非平凡的朱利亚集结构。
• C++模板实现成功计算了最多50次迭代的余弦与正弦函数，支持通过Gnuplot兼容输出实现朱利亚集的可视化。
• 余弦与正弦的填充朱利亚集呈现出复杂且分形般的图案，集合中的点由无限迭代绝对值有界性定义。