[논문 리뷰] Generalizations for reciprocal Fibonacci-Lucas sums of Brousseau

Kunle Adegoke|arXiv (Cornell University)|2017. 03. 16.

Advanced Mathematical Theories and Applications참고 문헌 3인용 수 4

한 줄 요약

이 논문은 분모에 피보나치 수 또는 루카스 수의 복합 곱이 포함된 유한 및 무한의 역수 피보나치-루카스 합에 대해 닫힌 형태의 표현식을 유도하며, 브라우세오의 이전 결과를 일반화한다. 체계적인 합의 성질을 분석하기 위해 체계적 합의 항등식과 바인의 공식을 사용하여 피보나치 수와 루카스 수의 구조적 수열을 포함하는 합의 정확한 평가를 수립한다. 이는 주기적 색인과 대칭적인 분모 구조를 가진 더 넓은 범주로 알려진 항등식을 확장한다.

ABSTRACT

We derive closed form expressions for finite and infinite Fibonacci-Lucas sums having products of Fibonacci or Lucas numbers in the denominator of the summand. Our results generalize and extend those obtained by pioneer Brother Alfred Brousseau and later researchers.

연구 동기 및 목표

• 피보나치-루카스 합의 역수에 대한 브라우세오의 기초적인 작업을 더 복잡한 일반화된 형태로 확장하여, 구조적인 분모 곱을 포함한다.
• 주기적 색인을 가진 피보나치 수와 루카스 수의 곱을 포함하는 유한 및 무한 합에 대해 정확한 닫힌 형태의 표현식을 도출한다.
• 색인 간격과 분모 항의 대칭성에 대한 매개변수를 도입하여 기존 결과를 통합하고 일반화한다.
• 새로운 체계적 합의 항등식을 사용하여 분모에 제곱항이 포함된 교대 합과 분모에 제곱항이 포함된 합을 평가한다.
• 무한 합이 역수 피보나치 수나 루카스 수의 유리수 배로 수렴하는 조건을 설정한다.

제안 방법

• 복잡한 합을 유한한 경계 항으로 압축하기 위해 체계적 합의 항등식 (1.1)과 (1.2)를 활용한다.
• 무한 합의 수렴성을 정당화하고 渐近적 행동을 분석하기 위해 바인의 공식을 적용한다.
• 기본적인 피보나치 수와 루카스 수의 항등식 (예: (1.7a), (1.8a), (1.12a))을 사용하여 분모의 곱항을 변형하고 간소화한다.
• 대수적 변환을 통해 고차항을 저차항 합과 연결하는 핵심 재귀 기반 항등식 (예: (2.107))을 유도한다.
• 유한 합의 항등식 (예: (2.108), (2.109))을 사용하고 N → ∞로 한계를 취하여 무한 합을 평가한다.
• 특히 홀짝성 조건에 따라 교대 합을 처리하기 위해 부호 조정이 된 항등식 (예: (2.113))을 적용한다.

실험 결과

연구 질문

• RQ1 복잡하고 대칭적인 분모 곱이 포함된 피보나치 수와 루카스 수의 무한 역수 합에 대해 닫힌 형태의 표현식을 도출할 수 있는가?
• RQ2 체계적 합의 항등식은 다중 항이 분모에 포함된 합, 특히 주기적 단계로 색인된 경우에 어떻게 일반화되는가?
• RQ3 매개변수 (m, n, q, p)에 대한 어떤 조건이 수렴성과 이러한 합의 유리수 평가를 가능하게 하는가?
• RQ4 m, n, q, mnq의 홀짝성 조건에 따라 교대 합은 어떻게 행동하는가?
• RQ5 제곱항이나 혼합된 피보나치-루카스 곱을 포함하는 항등식은 알려진 재귀 관계를 사용하여 유한 합으로 줄일 수 있는가?

주요 결과

• mnq 가 짝수일 때, 무한 합 ∑_{k=1}^∞ F_{2nk+mnq+np} / ∏_{j=0}^m L_{nk+jnq}L_{nk+jnq+np} 는 (1/(5F_{mnq})) × ∑_{k=1}^q 1 / ∏_{j=0}^{m-1} L_{nk+jnq}L_{nk+jnq+np} 와 같다.
• mnq 가 홀수 또는 q 가 짝수일 때, 교대 합 ∑_{k=1}^∞ (-1)^{k-1} F_{2nk+mnq+np} / ∏_{j=0}^m L_{nk+jnq}L_{nk+jnq+np} 는 (1/(5F_{mnq})) × ∑_{k=1}^q (-1)^{k-1} / ∏_{j=0}^{m-1} L_{nk+jnq}L_{nk+jnq+np} 와 같다.
• 합 ∑_{k=1}^∞ F_{2k+3}/(F_k^4 F_{k+1}^3 F_{k+2}^3 F_{k+3}^4) = 1/128 이고, ∑_{k=1}^∞ F_{2k+3}/(L_k^4 L_{k+1}^3 L_{k+2}^3 L_{k+3}^4) = 1/829440 이다.
• m=1, n=3, q=1 일 때, 합 ∑_{k=1}^∞ (F_{3k+1}F_{3k+2}F_{6k+3}) / (F_{3k}^4 F_{3k+3}^4) = 1/128 이고, 루카스 수의 대응 항은 1/10240 이다.
• n 이 짝수일 때, 항등식 ∑_{k=1}^∞ (-1)^{nk-1} F_{2nk+mnq+2} ∏_{j=1}^{m-1} F_{nk+jnq+1}^2 / ∏_{j=0}^m F_{nk+jnq} F_{nk+jnq+2} = q/F_{mnq} - (1/F_{mnq}) ∑_{k=1}^q ∏_{j=0}^{m-1} F_{nk+jnq+1}^2 / (F_{nk+jnq} F_{nk+jnq+2}) 가 성립한다.
• n 이 홀수일 때, 교대형은 ∑_{k=1}^∞ (-1)^{k-1} F_{2nk+mnq+2} ∏_{j=1}^{m-1} F_{nk+jnq+1}^2 / ∏_{j=0}^m F_{nk+jnq} F_{nk+jnq+2} = q/F_{mnq} - (1/F_{mnq}) ∑_{k=1}^q ∏_{j=0}^{m-1} F_{nk+jnq+1}^2 / (F_{nk+jnq} F_{nk+jnq+2}) 를 만족한다.