[논문 리뷰] Inevitable Dottie Number. Iterals of cosine and sine

Valerii Salov|arXiv (Cornell University)|2012. 12. 01.

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++ 템플릿을 사용해 코사인 및 사인의 채워진 줄리 세트를 계산하는 것.

제안 방법

• 초기 값 $v$ 에서 시작하는 함수 $f$ 의 $n$중 반복을 나타내기 위해 $\textrm{\LARGE{И}}_v^n f(x)$ 라는 iteral 표기법을 도입한다.
• 사슬의 법칙을 적용하여 iteral의 1차 및 고차 도함수를 유도하며, 이는 이전 반복의 의존성에 따라 재귀적으로 나타남을 보여준다.
• 도표 분석과 고정점 반복 이론을 적용하여 모든 실수 초기 값에 대해 도티 수로의 수렴을 증명한다.
• 고정점에서의 도함수의 무한 조합으로 표현함으로써 iteral의 매클로린 급수를 도출한다.
• iteral 프레임워크를 적용하여 코사인 및 사인의 채워진 줄리 세트를 정의한다—이는 무한 반복의 절댓값이 유계임을 만족하는 복소 초기 값의 집합이다.
• 수치적 계산을 위한 iteral을 위한 C++ 템플릿을 구현하여 표준 라이브러리와 Gnuplot 호환 출력을 통해 줄리 세트 플롯을 효율적으로 생성할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 왜 코사인의 반복은 초기 실수 값에 관계없이 항상 같은 실수 값으로 수렴하는가?
• RQ2 반복 코사인 및 사인 함수의 도함수는 체계적으로 어떻게 계산할 수 있으며, 이는 수렴성에 대해 무엇을 드러내는가?
• RQ3 복소 평면에서 코사인 및 사인의 채워진 줄리 세트의 구조는 어떠한가?
• RQ4 어떻게 iteral 표기법을 사용해 무한 기능 반복을 체계화하고 계산할 수 있는가?

주요 결과

• 유일한 실수 해 $\cos(x) = x$ 인 도티 수는 모든 실수 초기 값에 대해 코사인 반복의 전역 안착점이며, 반복 수렴성과 도표 분석을 통해 확인되었다.
• 도티 수에서의 $n$번째 반복 코사인의 1차 도함수는 절댓값으로 $\sin(D) \approx 0.6736$ 이하로 유계이며, 국소 안정성과 수렴성을 보장한다.
• 코사인 및 사인의 iteral 매클로린 급수는 고정점으로 수렴함을 보이며, 계수는 도함수의 재귀적 체인으로 유도된다.
• 복소 초기 값에 대해 반복 코사인 및 사인 함수는 발산할 수 있으며, 이는 복소 평면에서 복잡하고 비트리비어한 줄리 세트 구조를 이끈다.
• C++ 템플릿 구현은 최대 50회 반복까지 반복 코사인 및 사인을 성공적으로 계산하여, Gnuplot 호환 출력을 통해 줄리 세트의 시각화를 가능하게 하였다.
• 코사인 및 사인의 채워진 줄리 세트는 복잡하고 프랙탈 같은 패턴을 보이며, 세트에 속하는 점들은 무한 반복의 절댓값이 유계임으로써 정의된다.