[논문 리뷰] The regularized product of the Fibonacci numbers

Adrian R. Kitson|ArXiv.org|2006. 08. 08.

Advanced Mathematical Theories and Applications인용 수 3

한 줄 요약

이 논문은 zeta-함수 정규화를 사용하여 모든 피보나치 수의 정규화된 곱을 계산한다. 피보나치 zeta-함수 $\zeta_F(s)$의 도함수를 통해 무한곱 $\Delta = \prod_{n=1}^{\infty} f_n$에 대한 해석적 표현을 도출한다. 주요 결과는 $\Delta = \frac{5^{1/4} \exp\left(-\ln^2(5)/(8\ln\phi)\right) c}{\phi^{1/12}}$이며, 여기서 $c$는 피보나치 계승 상수로, 수치적 값은 약 0.8992126807이다.

ABSTRACT

The regularized product of the Fibonacci numbers is evaluated.

연구 동기 및 목표

• 기본적으로 발산하는 경우에 정규화된 모든 피보나치 수의 무한곱을 정의하고 계산하는 것.
• 이전에 정수와 소수에 적용된 zeta-함수 정규화 기법을 피보나치 수열으로 확장하는 것.
• s=0에서 zeta-도함수의 발산을 제거하기 위해 점근 전개를 통해 주요 부분을 분리하는 것.
• 피보나치 계승 상수와 자비 타우 함수를 포함한 알려진 수학 상수들로 정규화된 곱을 표현하는 것.
• 모든 피보나치 수의 정규화된 곱에 대한 수치적으로 정밀한 값을 제공하는 것.

제안 방법

• 정규화된 곱을 $\Delta = \exp(-\zeta_F'(0))$로 정의하며, 여기서 $\zeta_F(s) = \sum_{n=1}^\infty f_n^{-s}$는 피보나치 zeta-함수이다.
• 피보나치 수의 근사값을 구하기 위해 바인에의 공식 $f_n = \frac{\phi^n - (-\phi)^{-n}}{\sqrt{5}}$를 사용한다.
• $\zeta_F'(s)$를 발산하는 주요 항과 수렴하는 나머지로 분해하여 s=0에서의 극을 다룬다.
• s=0 주변에서 $\zeta_F'(s)$를 로렌트 급수로 전개하고, 유한 부분을 $\zeta_F'(0)$으로 간주한다.
• 무한곱 $\prod_{n=1}^\infty \left(1 - (-\phi)^{-2n}\right) = c$를 이용하여 상수 항을 단순화한다. 여기서 $c$는 피보나치 계승 상수이다.
• 자비 타우 함수를 통해 최종 결과를 표현한다: $c = \left(\frac{1}{2}\vartheta_1'\left(0, -i/\phi\right)\right)^{1/3}$.

실험 결과

연구 질문

• RQ1 표준 곱이 발산하는 경우, 무한곱 $\prod_{n=1}^\infty f_n$의 정규화된 값은 무엇인가?
• RQ2 지수적 성장을 보이는 피보나치 수열과 같은 수열에 대해 zeta-함수 정규화를 어떻게 적용할 수 있는가?
• RQ3 극을 제거한 후 s=0에서 $\zeta_F'(s)$의 유한 부분은 무엇인가?
• RQ4 정규화된 곱은 알려진 특수함수나 상수로 표현할 수 있는가?
• RQ5 모든 피보나치 수의 정규화된 곱의 수치적 값은 무엇인가?

주요 결과

• 모든 피보나치 수의 정규화된 곱은 $\Delta = \frac{5^{1/4} \exp\left(-\ln^2(5)/(8\ln\phi)\right) c}{\phi^{1/12}}$이며, 여기서 $c$는 피보나치 계승 상수이다.
• $\Delta$의 수치적 값은 약 0.8992126807이다.
• $\zeta_F'(s)$가 s=0에서 발산하는 것은 주요 부분 $-1/(\ln\phi \cdot s^2)$을 빼내어 해결된다.
• s=0에서 $\zeta_F'(s)$의 로렌트 전개의 상수 항은 $\frac{1}{24}\left(2\ln\phi + \frac{3\ln^2 5}{\ln\phi} - 6\ln 5\right) - \ln c$이다.
• 피보나치 계승 상수 $c$는 $\left(\frac{1}{2}\vartheta_1'\left(0, -i/\phi\right)\right)^{1/3}$로 표현 가능하며, 이는 결과를 모듈라 형식과 연결시킨다.
• 최종 표현식 $\Delta$는 zeta-함수 이론의 해석적 계속 및 정규화 기법과 일관된다.