[논문 리뷰] Sums of squares of Tetranacci numbers: A generating function approach

Helmut Prodinger, Sarah J. Selkirk|arXiv (Cornell University)|2019. 06. 19.

Advanced Combinatorial Mathematics참고 문헌 2인용 수 6

한 줄 요약

이 논문은 허드라드 곱을 사용한 생성함수 접근법을 개발하여 테트라나치 수의 제곱합에 대한 명시적 공식을 유도하고, 이를 고차수 피보나치 수열로 일반화한다. 또한 일반화된 이항급수를 통해 생성함수의 분모를 명시적으로 인수분해함으로써 일반화된 피보나치 수에 대한 바인에 타입의 닫힌 형태 표현식을 제공한다.

ABSTRACT

It is demonstrated how an explicit expression of the (partial) sum of Tetranacci numbers can be found and proved using generating functions and the Hadamard product. We also provide a Binet-type formula for generalized Fibonacci numbers, by explicitly factoring the denominator of their generating functions.

연구 동기 및 목표

• 생성함수를 사용하여 테트라나치 수의 제곱합에 대한 명시적 닫힌 형태 표현식을 유도한다.
• 생성함수의 허드라드 곱이 이러한 합의 체계적인 계산을 가능하게 하는 방식을 보여준다.
• 이 방법을 고차수 피보나치 수열(예: 퀠탄라치 등)으로 일반화하고 유사한 항등식을 도출한다.
• 일반화된 피보나치 수에 대한 바인에 타입의 공식을 생성함수의 분모를 인수분해함으로써 명시적으로 도출한다.
• 기호 계산 도구를 활용하여 접근법을 검증하고 컴퓨터 대수 시스템을 통해 기존 항등식과의 동치성을 확인한다.

제안 방법

• 테트라나치 수 $ u_n $에 대해 $ u_n^2 $의 생성함수를 계산하기 위해 생성함수의 허드라드 곱을 사용한다.
• Maple의 Gfun 패키지를 사용하여 유리 생성함수의 허드라드 곱을 기호적으로 계산한다.
• 생성함수를 $ \frac{1}{1-z} $로 곱하여 부분합 $ \sum_{k=0}^n u_k^2 $의 생성함수를 도출한다.
• 보조 수열 $ t_n = \frac{1}{c} u_n u_{n+k} $를 통해 합을 표현함으로써 합의 압축된 표현을 가능하게 한다.
• 일반화된 이항급수를 사용하여 일반화된 피보나치 수의 생성함수 분모인 $ 1 - 2z + z^{h+1} $를 인수분해한다.
• 일반화된 이항급수로 표현된 근을 사용한 부분분수 분해를 통해 완전한 바인에 타입의 공식을 유도한다.

실험 결과

연구 질문

• RQ1 테트라나치 수의 제곱합은 생성함수와 허드라드 곱을 통해 어떻게 유도되고 증명될 수 있는가?
• RQ2 허드라드 곱 방법은 고차수 피보나치 수열에 대해 체계적으로 적용되어 제곱합에 대한 닫힌 형태 표현식을 도출할 수 있는가?
• RQ3 분모 $ 1 - z - z^2 - \cdots - z^h $의 명시적 근 형태는 무엇이며, 이를 일반화된 이항급수로 어떻게 표현할 수 있는가?
• RQ4 생성함수의 분모를 인수분해함으로써 일반화된 피보나치 수에 대한 바인에 타입의 공식을 어떻게 구성할 수 있는가?
• RQ5 기호 계산 도구인 Gfun은 이러한 항등식을 자동으로 유도하고 검증하는 데 얼마나 효과적으로 활용될 수 있는가?

주요 결과

• 생성함수 $ \sum_{n \geq 0} u_n^2 z^n $의 생성함수는 명시적으로 $ \frac{z - z^2 - 2z^3 - 2z^4 - 2z^5 + z^6 + z^7}{1 - 2z - 4z^2 - 6z^3 - 12z^4 + 4z^5 + 6z^6 + 2z^8 - z^{10}} $로 계산되었으며, 이는 생성함수 기법을 통한 제곱합의 확인을 가능하게 한다.
• 부분합 $ \sum_{k=0}^n u_k^2 $는 $ \frac{1}{3} + \frac{1}{3}(2t_n + t_{n-1} - t_{n-2} - t_{n-3} + \cdots) $로 표현되며, 여기서 $ t_n = \frac{1}{2} u_n u_{n+2} $로 정의되어, 계산상으로 효율적인 동치 표현을 제공한다.
• 오차나치 수($ h=5 $)의 경우, 제곱합 생성함수는 $ \frac{3z}{8(1-z)} + \text{분모 차수 15인 유리함수} $로 유도되었으며, 이는 방법의 확장성과 타당성을 보여준다.
• 일반화된 피보나치 수에 대한 완전한 바인에 타입의 공식은 일반화된 이항급수를 사용하여 $ 1 - 2z + z^{h+1} $의 $ h+1 $개의 모든 근을 명시적으로 계산함으로써 구성되었다.
• 테트라나치 수($ h=4 $)의 경우, 다섯 개의 근이 수치적으로 계산되었으며, $ r_4 \approx 0.51879 $, $ r_0 = 1 $, $ r_1 \approx -0.11407 - 1.21675i $, $ r_2 \approx -1.29065 $, $ r_3 \approx -0.11407 + 1.21675i $로 나타나 정확한 계수 표현이 가능해졌다.
• n번째 테트라나치 수는 $ u_n = A r_4^{-n} + B r_0^{-n} + C r_1^{-n} + D r_2^{-n} + E r_3^{-n} $로 표현되며, 계수는 $ A \approx 0.29381 $, $ B = 0 $, $ C \approx -0.05045 - 0.16968i $, $ D \approx -0.19291 $, $ E \approx -0.05045 + 0.16968i $로 주어져 완전한 닫힌 형태 표현식을 제공한다.