[논문 리뷰] Chebyshev-Fibonacci polynomial relations using generating functions

Robert Frontczak, Taras Goy|arXiv (Cornell University)|2021. 03. 14.

Advanced Mathematical Theories and Applications참고 문헌 12인용 수 5

한 줄 요약

이 논문은 보통 생성함수와 지수 생성함수를 사용하여 첫 번째 및 두 번째 종류의 체비셰프 다항식과 피보나치 다항식 사이의 새로운 기능적 관계를 수립한다. 이러한 생성함수를 연결함으로써, 피보나치, 루카스, 버런싱 다항식을 포함하는 새로운 조합 항등식을 유도한다. 이는 명시적 합공식과 특정 인자 값에서 체비셰프 다항식과 피보나치 수열을 연결하는 매개변수화된 항등식을 포함한다.

ABSTRACT

The main object of the paper is to reveal connections between Chebyshev polynomials of the first and second kinds and Fibonacci polynomials introduced by Catalan. This is achieved by relating the respective (ordinary and exponential) generating functions to each other. As a consequence, we also establish new combinatorial identities for balancing polynomials and Fibonacci (Lucas) numbers.

연구 동기 및 목표

• 생성함수를 사용하여 체비셰프 다항식(첫 번째 및 두 번째 종류)과 피보나치 다항식 사이의 구조적 연결 고리를 드러내는 것.
• 생성함수의 기능적 관계를 통해 피보나치, 루카스, 버런싱 다항식을 위한 새로운 조합 항등식을 도출하는 것.
• 특정 매개변수 값에서 체비셰프 수열과 피보나치 수열 간의 기존 연결 고리를 확장하여 새로운 항등식을 유도하는 것.
• 일반 생성함수와 지수 생성함수 간의 관계를 통해 항등식을 체계적으로 유도하는 방법을 제공하는 것.

제안 방법

• 체비셰프 다항식 $ T_n(x), U_n(x) $ 및 그들의 짝수/홀수 인덱스 변형에 대한 일반 생성함수와 지수 생성함수를 유도한다.
• 피보나치 다항식 $ F_n(x), F_{2n+1}(x), F_{2n}(x) $ 의 생성함수를 표현하고, 이를 체비셰프 생성함수와 연결한다.
• 생성함수를 등치하거나 변환하여 기능적 방정식을 수립하고, 이를 다항식 항등식으로 이어진다.
• 특정 매개변수 치환, 예를 들어 $ x = 3/2 $, $ x = i/2 $, 및 $ x = \frac{\rho(x)+\rho^{-1}(x)}{2} $ 를 사용하여 체비셰프 다항식을 루카스 수와 피보나치 수에 연결한다.
• 이항계수 전개와 하이퍼기하급수 유형 항등식을 적용하여 합공식을 도출한다.
• 기존의 항등식, 예를 들어 $ T_n(3/2) = \frac{1}{2}L_{2n} $ 와 $ U_n(3/2) = F_{2n+2} $ 를 활용하여 다항식 항등식을 피보나치 수와 루카스 수 항등식으로 변환한다.

실험 결과

연구 질문

• RQ1 체비셰프 다항식과 피보나치 다항식의 생성함수는 어떻게 연결되어 새로운 항등식을 도출할 수 있는가?
• RQ2 생성함수에서 유도된 기능적 방정식을 해결할 때 어떤 조합 항등식이 도출되는가?
• RQ3 다음과 같은 특정 매개변수 값 $ x $ 는 체비셰프 다항식과 루카스/피보나치 수 사이의 연결 고리를 어떻게 제공하는가?
• RQ4 피보나치 다항식과 동일한 프레임워크에서 버런싱 다항식을 위한 항등식을 도출할 수 있는가?
• RQ5 유도된 다항식 항등식으로부터 피보나치 수와 루카스 수를 위한 새로운 합공식은 무엇인가?

주요 결과

• 논문은 이항계수와 체비셰프 다항식을 포함하는 항등식의 가족을 도출한다. 예를 들어, $ \sum_{k=0}^{n} \binom{n}{k} \left( \frac{x(x^2+2)\sqrt{x^2-1}}{2x^2-1} \right)^{n-k} (\alpha(x) + (-1)^{n-k}\beta(x)) F_{2k}(x) = \text{식 in } T_{2k}(x) $ 와 같이 체비셰프 다항식과 피보나치 다항식을 연결하는 항등식을 유도한다.
• 특정 값 $ x = 3/2 $ 를 대입함으로써, $ 15F_{2(2n-1)} = 5 \cdot 4^n - 20 \cdot 4^{-n} + 11 \sum_{k=1}^{n-1} (4^k - 4^{-k}) F_{2(2n-2k-1)} $ 와 같은 피보나치 수를 위한 새로운 합공식 항등식을 도출한다.
• $ x = i/2 $ 를 사용할 경우, 항등식 $ T_n(i/2) = \frac{i^n}{2} L_n $ 를 통해 $ 11 \sum_{k=1}^{n} F_{4k} L_{6(n-k)} = 3L_{6n} - 2F_{4n+4} + 18F_{4n} $ 와 같은 루카스 수와 피보나치 수를 포함하는 새로운 항등식을 도출한다.
• $ x = \sqrt{5}/2 $ 를 사용하여, $ 15L_{4(n-1)} = 4^n + 104 \cdot 4^{-n} + 11 \sum_{k=1}^{n-1} (4^k - 4^{-k}) L_{4(n-k-1)} $ 와 같은 체비셰프 다항식과 루카스 수를 연결하는 항등식을 도출한다.
• $ x = 4 $ 를 사용할 경우, 항등식 $ F_{3n} = 2T_{n-1}(4) - \sum_{k=1}^{n-2} (4T_{n-1-k}(4) - 2T_{n-2-k}(4)) F_{3k} $ 가 도출되며, 이는 피보나치 수를 체비셰프 다항식으로 표현한다.
• 이 방법은 $ F_n(x) $ 와 $ U_n(x) $ 를 모두 포함하는 항등식을 성공적으로 유도한다. 예를 들어, $ \sum_{k=0}^{n} \binom{n}{k} \left( \frac{x^2+2}{4x^2-2} \right)^{k-1} \left( \frac{x\sqrt{x^2+4}}{2} \right)^{n-k-1} (1 - (-1)^{n-k}) U_{2k+1}(x) = 2 \sum_{k=0}^{n} \binom{n}{k} \left( \frac{x(x^2+2)\sqrt{x^2-1}}{2x^2-1} \right)^{n-k-1} (\alpha^2(x) - (-1)^{n-k}\beta^2(x)) F_{2k}(x) $ 와 같은 항등식이 도출된다.