[논문 리뷰] On some properties on bivariate Fibonacci and Lucas polynomials

Hacène Belbachir, Farid Bencherif|ArXiv.org|2007. 10. 08.

Advanced Mathematical Theories and Applications참고 문헌 7인용 수 10

한 줄 요약

이 논문은 이차 피보나치 및 루카스 다항식으로 체비셰프 다항식의 정수좌표 성질을 일반화하며, 특정 가족의 이러한 다항식이 다항식 공간에서 기저를 이룬다는 것을 증명한다. $ U_{2n+1}, V_{2n}, U_{2n}, $ 및 $ V_{2n-1} $ 의 분해에서 정수 계수에 대한 재귀 관계를 수립하여, 기존의 직교 다항식에 대한 결과를 두 번째 차수 선형 재귀 수열으로 확장한다.

ABSTRACT

In this paper we generalize to bivariate polynomials of Fibonacci and Lucas, properties obtained for Chebyshev polynomials. We prove that the coordinates of the bivariate polynomials over appropriate basis are families of integers satisfying remarkable recurrence relations.

연구 동기 및 목표

• 체비셰프, 제코브스타럴, 모건-보이스 다항식에서 관찰된 정수좌표 현상이 이변수 피보나치 및 루카스 다항식으로 일반화될 수 있는가를 검토한다.
• 특정 이변수 피보나치 및 루카스 다항식 가족이 다항식 부분공간 $ E_{2n} $ 과 $ E_{2n-1} $ 에 대해 기저를 이룬다는 것을 증명한다.
• 이 기저들 위에서 고차수 피보나치 및 루카스 다항식의 분해에서 정수 계수에 대한 명시적 재귀 관계를 유도한다.
• 두 번째 차수 선형 재귀 수열의 구조적 성질을 다항식 기저 표현을 통해 통합하고 일반화한다.

제안 방법

• 매개변수 $ x $ 와 $ y $ 를 갖는 두 번째 차수 선형 재귀를 통해 이변수 피보나치 $ U_n(x,y) $ 와 루카스 $ V_n(x,y) $ 를 정의한다.
• 다항식 공간 $ E_{2n} $ 과 $ E_{2n-1} $ 를 생성하는 특수 기저 $ eta_U, eta_V, eta_U^*, eta_V^* $ 를 단항식 $ x^{n-k}U_{n+k} $ 과 $ x^{n-k}V_{n+k} $ 로 구성한다.
• 계수 가족 $ a_{n,k}, b_{n,k}, c_{n,k}, d_{n,k}, e_{n,k} $ 를 사용하여 $ U_{2n+1}, V_{2n}, U_{2n}, V_{2n-1} $ 의 분해 공식을 수립한다.
• 특히 이동 연산자 $ E $ 와 차분 연산자 $ x - E $ 를 사용한 연산자 대수학을 통해 계수 가족에 대한 재귀 관계를 도출한다.
• 특정 렘마를 사용하여 $ (x - E)^n $ 연산자를 활용해 항등식 $ (x - E)^n U_m = (-y)^n U_{m-n} $ 등의 항등식을 증명하며, 이를 통해 계수 유도를 가능하게 한다.
• 연산자 미적분학과 수학적 귀납법을 통해 모든 분해 항등식을 검증하며, 기존의 항등식 $ V_n = 2U_{n+1} - xU_n $ 과 연결한다.

실험 결과

연구 질문

• RQ1 체비셰프 다항식의 정수좌표 성질이 이변수 피보나치 및 루카스 다항식으로 일반화될 수 있는가?
• RQ2 가족 $ eta_U, eta_V, eta_U^*, eta_V^* $ 는 다항식 공간 $ E_{2n} $ 과 $ E_{2n-1} $ 에 대해 기저를 이룬다 할 수 있는가?
• RQ3 기저 위에서 $ U_{2n+1}, V_{2n}, U_{2n}, V_{2n-1} $ 의 분해에서 정수 계수를 지배하는 재귀 관계는 무엇인가?
• RQ4 연산자 이론 기반 항등식 $ (x - E)^n $ 이 이러한 계수 관계 유도를 어떻게 지원하는가?
• RQ5 이변수 피보나치 및 루카스 다항식의 구조적 성질은 다른 두 번째 차수 선형 재귀 수열과 공통된 프레임워크 아래 통합될 수 있는가?

주요 결과

• 가족 $ eta_{n,U} = (x^{n-k}U_{n+k})_{0 \to n} $ 과 $ eta_{n,V} = (x^{n-k}V_{n+k})_{0 \to n} $ 는 $ E_{2n} $ 에 대해 기저를 이루며, $ eta_{n,U}^* = (x^{n-k}U_{n+k})_{0 \to n-1} $, $ eta_{n,V}^* = (x^{n-k}V_{n+k-1})_{0 \to n-1} $ 는 $ E_{2n-1} $ 에 대해 기저를 이룬다.
• 분해 $ 2U_{2n+1} = \bigsum_{k=0}^n a_{n,k} x^{n-k} V_{n+k} $ 에서 계수 $ a_{n,k} $ 는 재귀 $ a_{n,k} = a_{n-1,k} - a_{n-1,k-1} + 2\binom{n}{k} $ 를 만족하며, 초기 조건은 $ a_{n,0} = 1 $, $ a_{0,k} = \binom{0}{k} $ 이다.
• 분해 $ U_{2n} = \bigsum_{k=0}^{n-1} b_{n,k} x^{n-k} U_{n+k} $ 에서 계수 $ b_{n,k} $ 는 $ b_{n,k} = (-1)^{n-k+1} \binom{n}{k} $ 으로 주어지며, $ b_{n,k} = -b_{n-1,k} + b_{n-1,k-1} $ 를 만족한다.
• 분해 $ V_{2n-1} = \bigsum_{k=0}^{n-1} c_{n,k} x^{n-k} U_{n+k} $ 는 $ c_{n,k} = \frac{1}{2}(a_{n-1,k} + d_{n,k}) + \binom{n}{k} $ 를 통해 지배되며, $ d_{n,k} $ 는 재귀적으로 정의된다.
• 항등식 $ 2U_{2n+1} = (x - E)^n V_n + 2\bigsum_{k=1}^n E^k (x - E)^{n-k} V_n $ 는 연산자 항등식을 통해 증명되며, 이는 $ 2U_{2n+1} $ 를 $ V_{n+k} $ 의 선형 조합으로 표현한다.
• 분해 $ 2U_{2n} = \frac{1}{2}x A_{n-1} V_{n-1} + \frac{1}{2}D_n V_{n-1} + V_{2n-1} $ 는 $ xU_{2n-1} + V_{2n-1} = 2U_{2n} $ 로 단순화되며, 항등식 $ V_m = 2U_{m+1} - xU_m $ 를 통해 검증된다.