[논문 리뷰] Some formulae for bivariate Fibonacci and Lucas polynomials

Mario Catalani|ArXiv.org|2004. 06. 16.

Advanced Mathematical Theories and Applications참고 문헌 1인용 수 17

한 줄 요약

이 논문은 행렬 방법과 비네의 공식을 사용하여 이변수 피보나치 및 루카스 다항식에 대한 포괄적인 항등식을 유도한다. 주요 결과로는 $ F_{2n}(x,y) = x \sum_{k=0}^{n-1} \binom{2n-1-k}{k} (x^2+4y)^{n-1-k} (-y)^k $를 도출하고, $ F_k(x,y) $ 가 $ F_{kn}(x,y) $ 를 나누며, 다항식을 다항식 수열에 대입하여 추가 항등식을 생성함을 증명한다.

ABSTRACT

We derive a collection of identities for bivariate Fibonacci and Lucas polynomials using essentially a matrix approach as well as properties of such polynomials when the variables $x$ and $y$ are replaced by polynomials. A wealth of combinatorial identities can be obtained for selected values of the variables.

연구 동기 및 목표

• 행렬 대수와 생성함수 기법을 사용하여 이변수 피보나치 및 루카스 다항식에 대한 닫힌 형태의 항등식을 체계적으로 유도하는 것.
• 다항식 수열에서 약수성과 재귀 관계와 같은 구조적 성질을 확립하는 것.
• 변수에 다른 다항식 표현을 대입했을 때 이 다항식의 행동을 탐구하여 새로운 항등식을 도출하는 것.
• 기존의 피보나치 항등식(예: 심슨의 공식)을 이변수 다항식 설정으로 일반화하는 것.

제안 방법

• 행렬 거듭제곱을 통해 항등식을 도출하기 위해 $ \mathbf{B} = 2y\mathbf{I} + x\mathbf{A} $ 를 사용하며, $ \mathbf{A} = \begin{bmatrix} x & 1 \\ y & 0 \end{bmatrix} $ 이다.
• 이변수 다항식에 대한 비네의 공식을 사용: $ F_n(x,y) = \frac{\alpha^n - \beta^n}{\alpha - \beta} $, $ L_n(x,y) = \alpha^n + \beta^n $, 여기서 $ \alpha, \beta $ 는 특성 방정식의 근이다.
• 행렬 곱의 트레이스 및 행렬식 항등식(예: $ \mathbf{BA} $)을 적용하여 행렬 원소 표현식을 등치하고 다항식 항등식을 도출한다.
• 다항식 수열에 $ x \to L_k(x,y) $, $ y \to (-1)^{k+1}y^k $ 를 대입하여 새로운 항등식을 생성하며, $ F_{kn}(x,y)/F_k(x,y) $ 가 다항식임을 증명한다.
• 루카스와 피보나치 다항식을 연결하고 추가 항등식을 도출하기 위해 항등식 $ L_n^2(x,y) = (x^2+4y)F_n^2(x,y) + (-1)^n 4y^n $ 을 사용한다.
• 다음과 같은 대입을 통해 새로운 항등식을 유도한다: $ x \to \sqrt{x^2+4y}F_k(x,y) $, $ y \to (-1)^k y^k $, 이로 인해 $ F_{2kn}(x,y) $ 와 $ L_{2kn}(x,y) $ 를 포함하는 표현이 유도된다.

실험 결과

연구 질문

• RQ1 행렬 방법과 비네의 공식을 사용하여 이변수 피보나치 및 루카스 다항식에 대해 어떤 항등식을 도출할 수 있는가?
• RQ2 변수 $ x $ 와 $ y $ 에 다항식을 대입하면 다항식 수열에서 어떤 새로운 항등식이 생성되는가?
• RQ3 이변수 다항식 설정에서 $ F_k(x,y) \mid F_{kn}(x,y) $ 와 같은 약수 성질을 엄밀하게 증명할 수 있는가?
• RQ4 심슨의 공식과 같은 고전적 피보나치 항등식을 이변수 다항식 수열으로 일반화할 수 있는가?
• RQ5 항등식 $ L_n^2(x,y) = (x^2+4y)F_n^2(x,y) + (-1)^n 4y^n $ 이 새로운 재귀 관계를 구성하는 데 어떤 함의를 갖는가?

주요 결과

• 행렬 원소 비교와 비네의 공식을 사용하여 항등식 $ F_{2n}(x,y) = x \sum_{k=0}^{n-1} \binom{2n-1-k}{k} (x^2+4y)^{n-1-k} (-y)^k $ 가 도출되었다.
• 행렬 거듭제곱 분석을 통해 항등식 $ (x^2+2y) \sum_{k=0}^{n-1} \binom{2n-1-k}{k} x^{2n-1-2k} (x^2+4y)^{n-1-k} y^{2k} = F_{4n}(x,y) $ 가 확립되었다.
• 모든 $ k,n \geq 1 $ 에 대해 $ F_k(x,y) $ 가 $ F_{kn}(x,y) $ 를 나누며, 몫 $ F_{kn}(x,y)/F_k(x,y) $ 가 $ x,y $ 에 대한 다항식임이 증명되었다.
• 항등식 $ L_n(L_k(x,y), (-1)^{k+1}y^k) = L_{kn}(x,y) $ 가 성립하며, 이는 루카스 다항식의 재귀 관계를 다항식 인수로 일반화한다.
• 다음과 같은 대입을 통해 $ F_{2n}(x,y) $ 와 관련된 항등식이 도출되었다: $ x \to \sqrt{x^2+4y}F_k(x,y) $, $ y \to (-1)^k y^k $, 예를 들어 $ F_{2n}(\sqrt{x^2+4y}F_k(x,y), (-1)^k y^k) = (\alpha - \beta) \frac{F_{2kn}(x,y)}{L_k(x,y)} $ 와 같은 표현이 유도되었다.
• 다항식 대입과 원래 항등식을 사용하여 일반화된 심슨 공식 $ L_{kn}(x,y)L_{k(n+2)}(x,y) - L_{k(n+1)}^2(x,y) = (-y)^{nk}(x^2+4y)F_k^2(x,y) $ 이 도출되었다.