[논문 리뷰] More Fibonacci-Bernoulli relations with and without balancing polynomials

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

Advanced Mathematical Identities참고 문헌 8인용 수 6

한 줄 요약

이 논문은 베르누이 다항식과 수를 베르누이 다항식, 라이프니츠-밸런싱, 피보나치, 라이프니츠 다항식 및 수와 연결하는 새로운 조합 항등식을 수립한다. 지수 생성함수와 다항식 항등식을 사용하여, 산술급수에 있는 피보나치 수와 관련된 일반 항등식을 유도하며, 이는 이전 결과를 일반화하고 대수적 변환 및 특수함수 기법을 통해 새로운 폐쇄형 관계를 도출한다.

ABSTRACT

We continue our study on relationships between Bernoulli polynomials and balancing (Lucas-balancing) polynomials. From these polynomial relations, we deduce new combinatorial identities with Fibonacci (Lucas) and Bernoulli numbers. Moreover, we prove a special identity involving Bernoulli polynomials and Fibonacci numbers in arithmetic progression. Special cases and some corollaries will highlight interesting aspects of our findings. Our results complement and generalize these of Frontczak (2019).

연구 동기 및 목표

• 기존의 베르누이 다항식과 밸런싱 다항식 간의 관계를 확장하여 새로운 조합 항등식을 도출한다.
• 산술급수에 있는 베르누이 다항식과 피보나치 수를 연결하는 일반 항등식을 수립한다.
• 지수 생성함수와 다항식 재귀 구조를 활용하여 프론츠카크(2019)의 이전 결과를 일반화한다.
• 대수적 항등식과 특수함수 성질을 통해 베르누이 다항식, 피보나치 수, 라이프니츠 수 간의 연결 고리를 탐색한다.
• 수열의 구조적 관계와 수직다항식을 강조하는 특수 케이스와 추론을 제공한다.

제안 방법

• 레마 1에서 유도된 홀수 및 짝수 인덱스의 밸런싱 및 라이프니츠-밸런싱 다항식에 대한 지수 생성함수를 활용한다.
• 베르누이 수에 대한 생성함수 항등식 $ H(0, z) = \frac{ze^z}{e^z - 1} $을 활용하여 이변수 생성함수를 구성한다.
• 베르누이 다항식과 밸런싱 다항식의 생성함수를 곱하고 계수를 일치시켜 다항식 항등식을 도출한다.
• 지수 생성함수 곱의 간소화를 위해 $ \text{cosh} $ 및 $ \text{sinh} $를 포함한 hyperbolic 함수 항등식을 적용한다.
• 베르누이 다항식의 곱셈 정리 $ \frac{1}{q} \textstyle\bigsum_{r=0}^{q-1} B_n(x + r/q) = B_n(qx)/q^n $를 활용하여 항등식을 일반화한다.
• 다항식 항등식을 구간에 대해 적분하여 내림계승 계승계수와 이항계수를 포함하는 합 항등식을 도출한다.

실험 결과

연구 질문

• RQ1 밸런싱 및 라이프니츠-밸런싱 다항식의 지수 생성함수는 어떻게 활용하여 베르누이 다항식과 새로운 항등식을 도출할 수 있는가?
• RQ2 산술급수에 있는 베르누이 다항식과 피보나치 수를 연결하는 일반 항등식은 무엇인가?
• RQ3 베르누이 다항식의 곱셈 정리를 사용하여 베르누이 다항식과 피보나치 수 간의 관계를 일반화할 수 있는가?
• RQ4 특수값, 예를 들어 $ x = iL_{2m+1}/6 $ 등의 복소수나 특수값에서 항등식을 평가할 경우, 정수론적 항등식 유도에 어떤 영향을 미치는가?
• RQ5 내림계승 계승계수와 이항계수는 고차수 도함수의 생성함수 항등식에서 어떻게 자연스럽게 나타나는가?

주요 결과

• 일반 항등식이 증명됨: $ \textstyle\bigsum_{k=0}^{n} \binom{n}{k} (\textstyle\frac{\text{피보나치}(j)}{\text{피보나치}(j)}\text{피보나치}(j)\text{피보나치}(j))^{n-k} B_{n-k} B_{2k}^*(x) = 6x n (C_{2n-2}(x) - \textstyle\frac{\text{피보나치}(j)}{\text{피보나치}(j)}\text{피보나치}(j)\text{피보나치}(j)) $, 베르누이 다항식과 밸런싱 다항식을 연결한다.
• 보조정리 4는 새로운 항등식을 제시한다: $ \textstyle\bigsum_{k=0}^{n} \binom{n}{k} (\textstyle\frac{\text{피보나치}(j)}{\text{피보나치}(j)}\text{피보나치}(j)\text{피보나치}(j))^{n-k} F_{2kj} B_{n-k} = \frac{n}{2} F_{2j} (L_{2j(n-1)} - \textstyle\frac{\text{피보나치}(j)}{\text{피보나치}(j)}\text{피보나치}(j)\text{피보나치}(j)) $, 피보나치 수와 베르누이 수를 연결한다.
• $ x = 1/2 $ 일 때, 항등식은 $ \textstyle\bigsum_{k=0}^{n} \binom{n}{k} (\textstyle\frac{\text{피보나치}(j)}{\text{피보나치}(j)}\text{피보나치}(j)\text{피보나치}(j))^{n-k} (2^{1-(n-k)} - 1) F_{jk} B_{n-k} = n \text{피보나치}(j) 2^{1-n} L_j^{n-1} $ 를 유도하며, 베르누이 수와 피보나치 수, 라이프니츠 수를 연결한다.
• 일반화된 항등식이 도출됨: $ \textstyle\bigsum_{k=0}^{n} \binom{n}{k} (\textstyle\frac{\text{피보나치}(j)}{\text{피보나치}(j)}\text{피보나치}(j)\text{피보나치}(j))^{n-k} (q^{1-(n-k)} - 1) F_{jk} B_{n-k} = n F_j q^{1-n} \textstyle\bigsum_{r=1}^{q-1} (r \bar{\theta}^j + (q-r) \bar{\theta}^j)^{n-1} $, 여기서 $ \theta = (1+\textstyle\frac{\text{피보나치}(j)}{\text{피보나치}(j)}\text{피보나치}(j)\text{피보나치}(j))/2 $.
• 주요 항등식을 0에서 $ N+1 $ 까지 적분하면 합 항등식이 도출됨: $ \textstyle\bigsum_{s=0}^{N} \big( (\bar{\theta}^j + \textstyle\frac{\text{피보나치}(j)}{\text{피보나치}(j)}\text{피보나치}(j)\text{피보나치}(j)s)^n - (\bar{\theta}^j + \textstyle\frac{\text{피보나치}(j)}{\text{피보나치}(j)}\text{피보나치}(j)\text{피보나치}(j)s)^n \big) = (\textstyle\frac{\text{피보나치}(j)}{\text{피보나치}(j)}\text{피보나치}(j)\text{피보나치}(j)(N+1) + \bar{\theta}^j)^n - \bar{\theta}^{jn} $.
• 논문은 구비의 프론츠카크의 항등식 재구성과 대수적으로 동치임을 확인하며, 홀수 베르누이 수가 0이 되기 때문에 '개선'은 자명한 재표현임을 명확히 한다.