[論文レビュー] 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++テンプレートを用いてコサインおよびサインのフルジュリア集合を計算すること。

提案手法

• 関数 $f$ の初期値 $v$ からの $n$ 回反復を表すための新しい記法 $\textrm{\LARGE{И}}_v^n f(x)$ を導入する。
• 合成関数の微分法則を適用し、イテラルの1階および高階微分を導出し、それらが以前の反復に再帰的に依存することを示す。
• 図的分析および不動点反復理論を用いて、すべての実数初期値に対してドーティー数への収束を証明する。
• 不動点における導関数の無限合成としてイテラルを表現することにより、マクローリン級数を導出する。
• イテラルフレームワークを応用し、コサインおよびサインのフルジュリア集合を、無限反復の絶対値が有界のままである複素初期値の集合として定義する。
• 数値的反復計算を可能にするC++テンプレートを実装し、標準ライブラリおよびGnuplot互換出力により、ジュリア集合のプロットを効率的に生成できるようにする。

実験結果

リサーチクエスチョン

• RQ1 なぜコサイン関数の反復は初期値がいかなる実数値であっても、同じ実数に収束するのか？
• RQ2 反復コサインおよびサイン関数の微分を体系的に計算する方法は何か？ また、それらは収束性に何を明らかにするか？
• RQ3 複素平面におけるコサインおよびサインのフルジュリア集合の構造はいかなるものか？
• RQ4 イテラル記法を用いて、無限関数反復を形式的かつ計算可能に表現する方法は何か？

主な発見

• 方程式 $\cos(x) = x$ の唯一の実数解であるドーティー数は、すべての実数初期値に対してコサイン反復のグローバルアトラクターであることが、反復収束および図的分析によって確認された。
• ドーティー数における $n$ 回反復コサイン関数の1階微分の絶対値は $\sin(D) \approx 0.6736$ に有界であり、局所的安定性および収束を保証する。
• コサインおよびサインのイテラルのマクローリン級数は、不動点に収束することが示され、係数は再帰的導関数チェーンから導出された。
• 複素初期値では、反復コサインおよびサイン関数が発散する可能性があり、複素平面に複雑で非自明なジュリア集合構造が生じる。
• C++テンプレート実装により、最大50回の反復までコサインおよびサインの反復を効率的に計算でき、Gnuplot互換出力によりジュリア集合の可視化が可能となった。
• コサインおよびサインのフルジュリア集合は複雑なフラクタル的パターンを示し、無限反復の絶対値が有界である点として集合に属する点が定義される。