[논문 리뷰] Identities for the Generalized Fibonacci Polynomial

Rigoberto Flórez, Nathan McAnally외 1명|arXiv (Cornell University)|2017. 02. 07.

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

한 줄 요약

이 논문은 Binet 공식을 사용하여 일반화된 피보나치 다항식(GFPs)과 루카스 유형 다항식으로 고전적인 피보나치 및 루카스 수 항등식을 일반화한다. 재귀 관계와 폐쇄형 표현식의 대수적 변환을 통해 수치 항등식을 다항식 형태로 확장함으로써, 피보나치, 펠, 체비셰프, 모건-보이스 등 11개의 다항식 수열에 걸쳐 통합된 프레임워크를 수립한다.

ABSTRACT

A second order polynomial sequence is of Fibonacci type (Lucas type) if its Binet formula is similar in structure to the Binet formula for the Fibonacci (Lucas) numbers. In this paper we generalize identities from Fibonacci numbers and Lucas numbers to Fibonacci type and Lucas type polynomials. A Fibonacci type polynomial is equivalent to a Lucas type polynomial if they both satisfy the same recurrence relations. Most of the identities provide relationships between two equivalent polynomials. In particular, each type of identities in this paper relate the following polynomial sequences: Fibonacci with Lucas, Pell with Pell-Lucas, Fermat with Fermat-Lucas, both types of Chebyshev polynomials, Jacobsthal with Jacobsthal-Lucas and both types of Morgan-Voyce.

연구 동기 및 목표

• 기존의 피보나치 및 루카스 수에 대한 항등식을 일반화된 피보나치 다항식(GFPs)과 루카스 유형 다항식으로 확장하기.
• 일련의 잘 알려진 다항식 수열을 하나의 대수적 프레임워크로 통합하여 항등식을 통합하기.
• 고전적인 수치 결과를 일반화하는 GFPs에 대한 포괄적인 항등식 목록 제공하기.
• 기존 문헌(예: 버그움, 코시, 우)의 항등식을 Binet 공식을 사용하여 GFP 정의에 맞게 적응시키기.
• 수치 수열에 대한 항등식이 적절한 조정을 거쳐 다항식 수열으로 체계적으로 확장될 수 있음을 보여주기.

제안 방법

• 두 번째 차수 선형 재귀를 통한 일반화된 피보나치 다항식(GFPs) 정의: $\mathcal{F}_n(x) = d(x)\mathcal{F}_{n-1}(x) + g(x)\mathcal{F}_{n-2}(x)$, 초기 조건 $\mathcal{F}_0=0$, $\mathcal{F}_1=1$.
• 루카스 유형 다항식을 $\mathcal{L}_n(x) = d(x)\mathcal{L}_{n-1}(x) + g(x)\mathcal{L}_{n-2}(x)$로 정의하며, 초기 조건 $\mathcal{L}_0 = p_0$, $\mathcal{L}_1 = p_1(x)$, 여기서 $p_0 = 1$ 또는 $2$ 이고 $\alpha = 2/p_0$.
• GFPs의 Binet 공식 사용: $\mathcal{F}_n(x) = \frac{a^n - b^n}{a - b}$, 루카스 유형의 경우: $\mathcal{L}_n(x) = \frac{a^n + b^n}{\alpha}$, 여기서 $a, b$ 는 $z^2 - d(x)z - g(x) = 0$ 의 근이다.
• Binet 공식의 대수적 변환을 통해 항등식 유도: $a^n$ 및 $b^n$ 항을 치환하고 $a+b = d(x)$, $ab = -g(x)$ 를 이용해 간단화하기.
• 기호 계산(예: Mathematica®)을 사용하여 복잡한 다항식 표현의 균형과 검증을 수행하여 항등식 검증하기.
• 적절한 $d(x)$, $g(x)$, $\alpha$ 값으로 대체함으로써 특정 수열(예: 피보나치, 펠, 체비셰프)으로 항등식 매핑하기.

실험 결과

연구 질문

• RQ1 피보나치 및 루카스 수에 대한 항등식이 일반화된 피보나치 다항식으로 일반화될 수 있는 조건은 무엇인가?
• RQ2 GFPs 및 루카스 유형 다항식의 Binet 공식이 다양한 다항식 수열 간에 통합된 항등식을 도출하는 데 어떻게 기여하는가?
• RQ3 수치 항등식을 GFPs의 다항식 형태로 확장하기 위해 필요한 대수적 변환은 무엇인가?
• RQ4 기존의 피보나치 및 루카스 다항식에서 알려진 항등식 중에서 제시된 일반화된 프레임워크에 적응시킬 수 있는 것은 무엇인가?
• RQ5 GFPs의 항등식이 펠, 체비셰프, 잰브스타르 등의 고전적 수열에서의 고전 항등식과 어떻게 관련이 있는가?

주요 결과

• 논문은 Binet 공식을 사용하여 고전적인 피보나치 및 루카스 수 이론의 98개의 항등식을 일반화된 피보나치 다항식으로 성공적으로 확장한다.
• 핵심 항등식으로는 $\mathcal{F}_{m+n} = \mathcal{F}_m\mathcal{F}_{n+1} + g\mathcal{F}_{m-1}\mathcal{F}_n$ 과 $\mathcal{F}_{n+2} - g^2\mathcal{F}_{n-2} = (a+b)(a^n + b^n)$ 이 있으며, 이는 피보나치 및 루카스 다항식의 행동을 통합한다.
• 항등식 $\mathcal{F}_{3^{n+1}} = (a-b)^2\mathcal{F}_{3^n}^3 + 3(-g)^{3^n}\mathcal{F}_{3^n}$ 은 3의 거듭제곱에서 GFPs에 대한 삼차 재귀를 보여준다.
• 루카스 유형 다항식의 경우 $\mathcal{L}_{2^{n+1}} = \alpha\mathcal{L}_{2^n}^2 - 2\alpha^{-1}(-g)^{2^n}$ 는 2의 거듭제곱에서 이차 재귀를 보여준다.
• 논문은 $\left(d^2\mathcal{F}_{n+1}^2 + \mathcal{F}_{n+2}^2\right)^2 = \mathcal{F}_n^2\left(\mathcal{F}_{n+4} - d^2\mathcal{F}_{n+2}\right)^2 + (2d\mathcal{F}_{n+1}\mathcal{F}_{n+2})^2$ 를 증명하며, 피타고라스 정리의 다항식 버전을 제시한다.
• 항등식 $\alpha^2\left(\mathcal{F}_{n+m}^2\mathcal{L}_{n+m}^2 - g^{2n}\mathcal{F}_m^2\mathcal{L}_m^2\right) = \mathcal{F}_{2n}\mathcal{F}_{4m+2n}$ 는 피보나치 및 루카스 유형 다항식 간의 깊은 구조적 대칭성을 드러낸다.