[논문 리뷰] Simson Identity of Generalized m-step Fibonacci Numbers

Yüksel Soykan|arXiv (Cornell University)|2019. 03. 04.

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

한 줄 요약

이 논문은 일반화된 m단계 피보나치 수열로 고전적인 시문(또는 카시니) 항등식을 일반화하며, m×m 행렬의 행렬식이 초기 행렬식에 재귀 계수 r_m와 m 및 n에 의존하는 부호 항을 곱한 값으로 관련된 닫힌 형태의 행렬식 항등식을 유도한다. 주요 기여는 모든 m ≥ 2에 대해 단일 공식으로 시문 항등식을 일반화한 것이다.

ABSTRACT

One of the best known and oldest identities for the Fibonacci sequence $F_n$ is $F_{n+1}F_{n-1}-F_{n}^2=(-1)^n$ which was derived first by R. Simson in 1753 and it is now called as Simson or Cassini Identity. In this paper, we generalize this result to generalized m-step Fibonacci numbers and give an attractive formula. Furthermore, we present some Simson's identities of particular generalized m-step Fibonacci sequences.

연구 동기 및 목표

• 피보나치 수열에 대해 유효한 고전적 시문 항등식(여기서 m=2)을 임의의 m ≥ 2에 대해 일반화된 m단계 피보나치 수열로 확장한다.
• 임의의 초기 조건과 재귀 계수를 가진 일반화된 m단계 수열에 대해 시문 유형의 관계를 포괄하는 통합된 행렬식 기반 항등식을 수립한다.
• 문헌에서의 격차를 메우기 위해 m=2에서 5까지의 m단계 피보나치, 루카스, 제코스탈, 제코스탈-루카스 수열의 값을 종합적으로 정리하고 표로 제시한다.
• 일반화된 m단계 피보나치 수열에서 구성된 특정한 m×m 행렬의 행렬식 f(n)에 대한 일반 공식을 제시하며, 이를 초기 행렬식 f(0)과 연결한다.

제안 방법

• 임의의 계수 r_i와 초기 항 c_i를 가진 m차 선형 재귀를 통해 일반화된 m단계 피보나치 수열을 정의한다.
• 일반화된 m단계 수열 V_n의 이동된 항들을 원소로 가지는 m×m 행렬식 f(n)을 구성한다.
• n ≥ 0에 대해 수학적 귀납법을 사용하여 주요 항등식 f(n) = y(n) * r_m^n * f(0)을 증명한다. 여기서 y(n)는 m의 기수성에 따라 달라진다.
• 첫 번째 열을 재귀 관계를 이용해 표현하고, 행과 열의 연산을 적용하여 행렬식을 변형하고 r_m를 분리한다.
• 재귀의 구조를 활용하여 단계 n+1에서의 행렬식을 단계 n에서의 행렬식의 스케일드된 형태로 줄이며, 행렬치의 순열에 기인한 부호 인자를 포함시킨다.
• 음수 n의 경우도 유사하게 다루며, 재귀와 행렬식의 구조에서 대칭성을 고려한다.

실험 결과

연구 질문

• RQ1 고전적 시문 항등식이 임의의 m ≥ 2에 대해 m단계 피보나치 수열로 일반화될 수 있는가?
• RQ2 일반화된 m단계 피보나치 수열의 이동된 항들로 구성된 m×m 행렬의 행렬식에 대한 닫힌 형태의 표현은 무엇인가?
• RQ3 재귀 계수와 수열의 기수성에 따라 행렬식 f(n)과 초기 행렬식 f(0)는 어떻게 관련되어 있는가?
• RQ4 계수 r_m는 연속된 항들 사이에서 행렬식을 스케일링하는 데 어떤 역할을 하는가?
• RQ5 홀수 m과 짝수 m 간에 행렬식의 부호 및 스케일링 행동은 어떻게 다를까?

주요 결과

• 일반화된 m단계 피보나치 수열에 대한 시문 항등식은 f(n) = y(n) * r_m^n * f(0)로 주어지며, 여기서 f(n)은 수열 항들로 이루어진 m×m 행렬의 행렬식이다.
• 부호 인자 y(n)는 m이 홀수일 경우 1이며, 짝수일 경우 (-1)^n이다. 이는 기수성에 따라 부호 행동이 달라짐을 나타낸다.
• 행렬식 f(n)은 f(0)에 대해 r_m^n의 요소로 스케일링되며, 이는 재귀 계수 r_m에 대한 지수적 의존성을 보여준다.
• 재귀를 음의 첨자로 확장함으로써 이 항등식은 모든 정수 n에 대해 성립한다.
• 증명 과정은 재귀 관계를 이용해 첫 번째 열을 표현하고 행 연산을 통해 행렬식을 변형함으로써 귀납법을 통해 결과를 확립한다.
• 논문은 m=2에서 5까지의 m단계 피보나치, 루카스, 제코스탈, 제코스탈-루카스 수열의 값을 명시적으로 정리한 표를 제공하여 이론적 결과를 뒷받침한다.