[논문 리뷰] Identities for Tribonacci-related sequences

Mario Catalani|ArXiv.org|2002. 09. 15.

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

한 줄 요약

이 논문은 매트릭스 기반 접근을 통해 트리보나치 관련 수열에 대한 새로운 항등식을 수립한다. '트리보매트릭스'를 도입하여 일반화된 루카스 수열 $ S_n $ 과 2차 주된 부분행렬의 행렬식 합 사이의 관계를 규명한다. 주요 기여는 $ C_n = \alpha^n\beta^n + \alpha^n\gamma^n + \beta^n\gamma^n $ 에 대한 재귀관계를 유도한 것으로, 이는 $ C_n = -C_{n-1} - C_{n-2} + C_{n-3} $ 를 만족하며, $ S_n^2 = S_{2n} + 2C_n $ 와 $ S_n^4 = S_{4n} - 4S_n + 4S_{2n}C_n + 6C_n^2 $ 등의 항등식을 증명하는 데 기여한다.

ABSTRACT

We establish some identities relating two sequences that are, as explained, related to the Tribonacci sequence. One of these sequences bears the same resemblance to the Tribonacci sequence as the Lucas sequence does to the Fibonacci sequence. Defining a matrix that we call Tribomatrix, which extends the Fibonacci matrix, we see that the other sequence is related to the sum of the determinants of the 2nd order principal minors of this matrix.

연구 동기 및 목표

• 일반화된 트리보나치 수열 $ S_n $ 와 특성근의 거듭제곱의 곱의 합으로 정의된 새로운 수열 $ C_n $ 간의 대수적 항등식을 수립한다.
• 트리보매트릭스를 활용한 매트릭스 기반 프레임워크를 개발하여 행렬 거듭제곱이 트리보나치 수열과 일반화된 루카스 수열과 어떻게 연결되는지 규명한다.
• 수열 $ C_n $ 의 재귀적 구조를 조사하여, 초기값 $ C_0 = 3, C_1 = -1, C_2 = -1 $ 을 갖는 $ C_n = -C_{n-1} - C_{n-2} + C_{n-3} $ 를 만족함을 보인다.
• 곱의 형태인 $ S_n $ 항의 닫힌 형식의 항등식을 유도한다. 예를 들어 $ S_n S_{n+m} = S_{2n+m} + S_m C_n - C_{n-m} $ 와 같이, 기존 피보나치 유형 항등식을 트리보나치 환경으로 확장한다.
• 고차항인 $ S_n^3 $ 과 $ S_n^4 $ 에 대한 항등식을 도출하고, $ 2S_n = C_n^2 - C_{2n} $ 와 같은 새로운 항등식을 규명한다.

제안 방법

• 특성다항식 $ x^3 - x^2 - x - 1 = 0 $ 의 근 $ \alpha, \beta, \gamma $ 를 갖는 트리보매트릭스 $ \mathbf{A} = \begin{bmatrix} 1 & 1 & 0 \\ 1 & 0 & 1 \\ 1 & 0 & 0 \end{bmatrix} $ 를 정의하며, 이는 트리보나치 재귀관계와 연결된다.
• 행렬 거듭제곱 $ \mathbf{A}^n $ 은 트리보나치 수 $ T_n $ 로 표현되며, $ \mathbf{A}^n $ 의 트레이스는 일반화된 루카스 수열 $ S_n $ 와 같다.
• 수열 $ C_n = \alpha^n\beta^n + \alpha^n\gamma^n + \beta^n\gamma^n $ 는 $ \mathbf{A}^n $ 의 2차 주된 부분행렬의 행렬식 합으로 정의되며, 선형 재귀관계를 만족함을 보였다.
• 비네의 공식 $ S_n = \alpha^n + \beta^n + \gamma^n $ 을 기반으로 하여, 근의 대칭함수를 활용해 $ S_n $ 항과 $ C_n $ 을 포함하는 항등식을 도출한다.
• 생성함수를 활용하여 $ C_n $ 의 일반생성함수 $ \frac{3 + 2x + x^2}{1 + x + x^2 - x^3} $ 와 $ C_{2n} $ 의 생성함수 $ \frac{3 + 2x + 3x^2}{1 + x + 3x^2 - x^3} $ 를 유도한다.
• 근 $ \alpha, \beta, \gamma $ 의 대칭 거듭제곱합의 대수적 변환을 통해 $ S_n S_{n+m} = S_{2n+m} + S_m C_n - C_{n-m} $ 와 같은 항등식을 도출하였으며, 이는 $ n \geq m $ 에서 유효하고 $ n < m $ 인 경우에 적절히 조정된다.

실험 결과

연구 질문

• RQ1 일반화된 트리보나치 수열 $ S_n $ 와 특성근의 거듭제곱의 곱의 합으로 정의된 $ C_n = \alpha^n\beta^n + \alpha^n\gamma^n + \beta^n\gamma^n $ 간의 항등식은 무엇인가?
• RQ2 트리보매트릭스 $ \mathbf{A} $ 는 고유값과 주된 부분행렬을 통해 행렬 거듭제곱이 트리보나치 수열과 일반화된 루카스 수열과 어떻게 연결되는가?
• RQ3 수열 $ C_n $ 을 지배하는 재귀관계는 무엇이며, 트리보나치 특성다항식의 근에 대한 대칭함수로부터 어떻게 유도할 수 있는가?
• RQ4 곱의 형태인 $ S_n S_{n+m} $ 에 대한 항등식은 피보나치 및 루카스 항등식을 트리보나치 경우로 어떻게 일반화하는가?
• RQ5 고차항인 $ S_n^3 $ 과 $ S_n^4 $ 에 대해 새로운 항등식은 무엇이며, 이는 $ C_n $ 과 $ C_{2n} $ 과 어떻게 관련되어 있는가?

주요 결과

• 수열 $ C_n $ 은 $ \mathbf{A}^n $ 의 2차 주된 부분행렬의 행렬식 합으로 정의되며, 초기값 $ C_0 = 3 $, $ C_1 = -1 $, $ C_2 = -1 $ 을 갖는 재귀관계 $ C_n = -C_{n-1} - C_{n-2} + C_{n-3} $ 를 만족한다.
• $ C_n $ 의 일반생성함수는 $ \frac{3 + 2x + x^2}{1 + x + x^2 - x^3} $ 이며, $ C_{2n} $ 의 생성함수는 $ \frac{3 + 2x + 3x^2}{1 + x + 3x^2 - x^3} $ 이다. 이는 재귀적 구조에서 유도되었다.
• $ S_n S_{n+m} = S_{2n+m} + S_m C_n - C_{n-m} $ 는 $ n \geq m $ 에서 성립하며, $ n < m $ 인 경우 $ S_n S_{n+m} = S_{2n+m} + S_m C_n - S_{m-n} $ 로 조정된다. 이는 고전적인 피보나치 항등식을 일반화한다.
• $ S_n^2 = S_{2n} + 2C_n $ 라는 항등식에서 $ S_n^2 $ 는 $ S_{2n} $ 과 $ C_n $ 로 직접 표현 가능하며, 이는 제곱항과 고차항 간의 직접적인 연결을 제공한다.
• $ S_n^3 = S_{3n} + 3S_n C_n - 3 $ 이라는 항등식이 도출되었으며, 이는 $ S_n $ 의 세제곱이 $ S_{3n} $, $ S_n C_n $ 와 상수항 보정을 통해 표현됨을 보여준다.
• 두 가지 방식으로 $ S_n^4 $ 를 유도함으로써 $ 2S_n = C_n^2 - C_{2n} $ 라는 항등식을 확립하였으며, 이는 일반화된 루카스 수열과 $ C_n $ 수열 간의 새로운 비트리비얼한 관계를 규명한다.