[논문 리뷰] Weighted Tribonacci sums

Kunle Adegoke|arXiv (Cornell University)|2018. 04. 16.

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

한 줄 요약

이 논문은 재귀 기반의 생성함수 기법을 사용하여 트리보나치 수에 대한 새로운 가중치가 부여된 합 항등식을 유도한다. 이는 이항계수와 이중 이항계수 합을 포함하며, 트리보나치 수열을 포함하는 가중치 합과 이중 합에 대한 닫힌 형태의 표현식을 수립한다. 이는 기존의 결과를 일반화하고, 조합 계수를 포함하는 무한급수와 유한합에 대한 정확한 공식을 제공한다.

ABSTRACT

We derive various weighted summation identities, including binomial and double binomial identities, for Tribonacci numbers. Our results contain some previously known results as special cases.

연구 동기 및 목표

• 트리보나치 수에 대한 알려진 합 항등식을 이항계수를 가진 가중치 합을 도입하여 확장하는 것.
• 재귀관계를 사용하여 트리보나치 수열의 선형 및 이중 합에 대한 기존 결과를 일반화하는 것.
• 지수적 및 조합 계수 가중치를 포함하는 트리보나치 수를 포함하는 유한 및 무한 가중치 합에 대한 닫힌 형태의 표현식을 도출하는 것.
• 트리보나치 수열에서 산술적 진행 인덱스와 생성함수에 관한 이전 연구를 통합하고 확장하는 것.
• 트리보나치 수를 포함하는 무한급수에 대한 정확한 공식을 제공하는 것, 예를 들어 ∑ 2^{-j}T_j = 4.

제안 방법

• 두 번째 차수의 재귀 레마(레마 1)를 사용하여 트리보나치 수열에 대한 지수적 가중치(예: 2^{-j}, (-1)^j)를 가진 가중치 합을 유도한다.
• 일반화된 n차수 재귀 레마(레마 2)를 적용하여 임의의 x와 매개변수를 가진 형식의 유한 가중치 합 ∑ x^j T_{tj + r}을 유도한다.
• 생성함수 기법(레마 3)을 활용하여 수렴 조건 하에서의 무한급수 합을 유도한다.
• 이항계수 가중치 재귀 항등식(레마 4)을 도입하여 ∑ binom(k,j) f(j) T_{m + ...}와 같은 항을 포함하는 항등식을 유도한다. 이는 교대 및 지수 계수를 포함한다.
• 이중 이항계수 합 레마(레마 5)를 적용하여 트리보나치 매개변수에 기반한 이중 이항계수 계수와 유리함수 가중치를 포함하는 항등식을 유도한다.
• 기본 항등식 T_m = T_r T_{m-r-2} + (T_{r-1}+T_r)T_{m-r-1} + T_{r+1}T_{m-r}을 사용하여 재귀관계를 이항합의 구조와 연결한다.

실험 결과

연구 질문

• RQ1 지수적 및 이항계수 가중치를 포함하는 트리보나치 수의 가중치 합에 대해 닫힌 형태의 항등식이 존재하는가?
• RQ2 생성함수를 어떻게 사용하여 트리보나치 수를 포함하는 무한급수 합을 도출할 수 있는가?
• RQ3 트리보나치 수열에 대한 이중 이항계수 합은 재귀 기반 항등식을 사용하여 닫힌 형태로 표현될 수 있는가?
• RQ4 예를 들어 ∑ 2^{-j}T_j 및 ∑ 2^j T_{3j}와 같은 무한 가중치 합의 정확한 값은 무엇인가?
• RQ5 트리보나치 수열의 특성 다항식의 매개변수는 가중치 합 항등식의 구조에 어떻게 영향을 미치는가?

주요 결과

• 무한합 ∑_{j=0}^∞ 2^{-j} T_j = 4 는 식 (2.8)의 특수한 경우로 도출된다.
• 모든 음이 아닌 정수 k에 대해 항등식 ∑_{j=0}^k (-1)^j binom(k,j) 2^j T_{3j} = (-1)^k T_{4k} 가 성립한다.
• 이항계수 가중치 합에 대한 닫힌 형태 표현식으로서 ∑_{j=0}^k binom(k,j) T_{4j} = 2^k T_{3k} 가 확립된다.
• 이중 이항계수 합 ∑_{j=0}^k ∑_{s=0}^j binom(k,j) binom(j,s) (T_{r-1}+T_r)^{j-s} T_r^{-j} T_{m-(r+2)k+j+s} = T_m / T_r^k 는 r ∉ {-17,-4,-1,0} 일 때 유효하다.
• 정수 m 및 r에 대해 항등식 ∑_{j=0}^k ∑_{s=0}^j (-1)^s binom(k,j) binom(j,s) (T_{r-1}+T_r)^{j-s} / T_r^j · T_{m-2k+j+(r+1)s} = (-1)^k (T_{r+1}/T_r)^k T_m 가 증명된다.
• 생성함수 ∑_{j=0}^∞ x^j T_{tj + r} 는 [T_r + x(λ₂(t) + x λ₃(t)) T_{r-t} + x² λ₃(t) T_{r-2t}] / [1 - λ₁(t)x - λ₂(t)x² - λ₃(t)x³] 로 유도되며, 여기서 λ_i(t) 는 특성 다항식의 근들의 거듭제곱 합이다.