[논문 리뷰] Additional close links between balancing and Lucas-balancing polynomials

Robert Frontczak, Taras Goy|arXiv (Cornell University)|2020. 07. 28.

Advanced Combinatorial Mathematics참고 문헌 12인용 수 4

한 줄 요약

이 논문은 일반형 생성함수를 사용하여 균형다항식과 루카스-균형다항식에 대한 새로운 항등식을 유도하며, 체비셰프다항식, 피보나치수, 루카스수와 깊은 연관성을 드러낸다. 주요 결과로는 이러한 수열을 포함하는 새로운 조합론적 항등식들이 제시되며, 특히 특정 점에서의 평가 결과와 생성함수 변환 및 바인에 타입의 공식을 통한 다항식 간의 폐쇄형 관계가 포함된다.

ABSTRACT

Using generating functions, we derive many identities involving balancing and Lucas-balancing polynomials. By relating these polynomials to Chebyshev polynomials of the first and second kind, and Fibonacci and Lucas numbers, we offer some presumably new combinatorial identities involving these famous sequences.

연구 동기 및 목표

• 생성함수를 이용하여 균형다항식과 루카스-균형다항식을 포함하는 새로운 대수적 및 조합론적 항등식을 수립하기.
• 이러한 다항식과 첫 번째 및 두 번째 종류의 체비셰프다항식과 같은 고전적 수직다항식 간의 관계를 탐색하기.
• 특정 값에서 평가할 경우 피보나치수와 루카스수를 포함하는 기존 결과로 특수화되는 항등식을 유도하기.
• 이러한 다항식의 유한곱합과 도함수 관계에 관한 이전 결과들을 통합하고 확장하기.
• 근의 단위와 루카스수를 포함하는 중요한 점에서 다항식 항등식을 평가함으로써 새로운 조합론적 항등식을 제시하기.

제안 방법

• 선형 재귀 생성함수에 대한 알려진 보조정리에 기반하여 $ B_n(x) $, $ C_n(x) $ 및 그들의 짝수·홀수 인덱스 부분수열에 대한 일반형 생성함수 유도하기.
• $ \lambda(x) = 3x + \sqrt{9x^2 - 1} $를 포함하는 $ B_n(x) $ 및 $ C_n(x) $의 바인에 공식을 사용하여 항등식을 대수적으로 검증하기.
• 생성함수 변환을 적용하여 $ B_n(x) $, $ C_n(x) $ 및 그들의 짝수/홀수 인덱스 성분 간의 재귀 유사 항등식을 도출하기.
• $ x = \frac{\varepsilon_n}{6}L_s $에서 항등식을 평가하여 피보나치수와 루카스수를 포함하는 항등식 유도하기.
• 황금비율 $ \alpha = \frac{1+\sqrt{5}}{2} $, $ \beta = \frac{1-\sqrt{5}}{2} $를 사용하여 항등식을 피보나치수 및 루카스수 수열의 형태로 표현하기.
• 이항계수, $ \frac{\sqrt{5}F_s}{2} $의 거듭제곱, 교대 부호를 포함하는 대칭 항등식을 유도하여 피보나치수와 루카스수의 합을 연결하기.

실험 결과

연구 질문

• RQ1 생성함수를 어떻게 활용하여 균형다항식과 루카스-균형다항식 간의 새로운 항등식을 도출할 수 있는가?
• RQ2 균형다항식과 첫 번째 및 두 번째 종류의 체비셰프다항식 사이에 어떤 관계가 존재하는가?
• RQ3 다항식 항등식을 $ x = \frac{\varepsilon_n}{6}L_s $에서 평가하면 피보나치수와 루카스수를 포함하는 새로운 조합론적 항등식이 어떻게 도출되는가?
• RQ4 이항계수 가중합, 교대 부호, $ \frac{\sqrt{5}F_s}{2} $의 거듭제곱을 포함하는 대칭 항등식에서 어떤 결과가 도출되는가?
• RQ5 다항식 $ B_n(x) $ 및 $ C_n(x) $의 구조를 어떻게 활용하여 $ F_{sn} $, $ L_{sn} $ 및 그들의 곱을 포함하는 항등식을 도출할 수 있는가?

주요 결과

• 모든 $ n \geq 1 $에 대해 $ B_n(x) - 3x B_{n-1}(x) = C_{n-1}(x) $라는 항등식이 성립하며, 이는 두 다항식 계열 간의 직접적인 대수적 연결을 확립한다.
• 생성함수 분석을 통해 유도된 관계 $ 3x(B_{2n+1}(x) - B_{2n-1}(x)) = C_{2n+1}(x) + C_{2n-1}(x) $는 바인에 공식을 사용하여 검증되었다.
• $ x = \frac{\varepsilon_n}{6}L_s $에서의 평가를 통해 $ C_n\left(\frac{\varepsilon_n}{6}L_s\right) = \varepsilon_n^n \frac{L_{sn}}{2} $라는 항등식이 확립되었으며, 이는 루카스-균형다항식과 루카스수를 연결한다.
• 일반적인 다항식 항등식의 특수한 경우로 $ 2F_{sn} = F_s L_{s(n-1)} + L_s F_{s(n-1)} $라는 항등식이 도출되었다.
• 이항계수와 $ \frac{\sqrt{5}F_s}{2} $의 거듭제곱을 포함하는 대칭 항등식이 증명되었다: $ \sqrt{5}\sum_{k=1}^n \binom{n}{k} \left(\frac{\sqrt{5}F_s}{2}\right)^{n-k}(1+(-1)^{n-k})F_{ks} = \sum_{k=0}^n \binom{n}{k} \left(\frac{\sqrt{5}F_s}{2}\right)^{n-k}(1-(-1)^{n-k})L_{ks} $.
• 논문은 $ F_{2sn} - (-1)^s F_{2s(n-1)} = F_s L_{s(2n-1)} $라는 항등식을 확립하였으며, 이는 다항식 평가를 통해 피보나치수와 루카스수 사이의 새로운 연결 고리를 보여준다.