패도반 행렬과 이주기 패도반 행렬의 대각화 특성 연구

초록

본 논문은 이주기 패도반 수열 (P_n) 과 그에 대응하는 3차 행렬 (M_{p_n}) 의 대각화 가능성을 조사한다. 매개변수 (a,b) 에 따라 행렬이 실수체에서 대각화되는 조건을 밝히고, 특히 (a=2) 또는 (a\ge2) 일 때 모든 (M_{p_n}) 이 대각화됨을 증명한다. 또한 행렬 (Q) (패도반 수열의 생성 행렬)와 (M_{p_n}) 의 교환 관계, 그리고 (M_{p_1}^n) 의 트레이스가 루카스 수열 (L_n) 과 ((-1)^n) 의 합과 동일함을 보인다.

상세 분석

논문은 먼저 기존의 패도반 수열 (p_n) 과 그 생성 행렬 (Q=\begin{pmatrix}0&1&1\1&0&0\0&1&0\end{pmatrix}) 의 기본 성질을 정리한다. (Q) 는 실수체에서 하나의 실수 고유값과 두 개의 복소 고유값을 가지므로 대각화되지 않는다. 이어서 디스카와 멘켄이 정의한 이주기 패도반 수열 (P_n) 을 소개한다. 이 수열은 짝수와 홀수 인덱스에 따라 서로 다른 계수 (a) 와 (b) 를 사용해 (P_n = aP_{n-2}+P_{n-3}) (짝수 (n)) 혹은 (P_n = bP_{n-2}+P_{n-3}) (홀수 (n)) 로 재귀한다. 이에 대응하는 행렬 (M_{p_n}) 도 동일한 형태의 재귀식을 만족한다(식 (1.1)).

첫 번째 주요 결과는 모든 (n) 에 대해 (M_{p_n}M_{p_{n+1}} = M_{p_{n+1}}M_{p_n}) 임을 수학적 귀납법으로 증명한 것이다. 이는 행렬들이 서로 교환 가능함을 의미한다. 교환 가능성은 동시에 대각화 가능성의 충분조건이 되며, 이후 전개에 핵심적인 역할을 한다.

다음으로 저자는 매개변수 (a) 와 (b) 에 따른 대각화 조건을 탐구한다. (a=2) 인 경우, (M_{p_1})과 (M_{p_2})의 고유값을 직접 계산하면 각각 세 개의 서로 다른 실수 고유값을 가진다. 고유값이 모두 실수이고 중복되지 않으므로 두 행렬은 각각 대각화 가능하고, 교환성에 의해 동시에 대각화될 수 있다. 귀납적으로 행렬 (M_{p_n}) 의 고유값이 (\lambda_{i,n}=2\lambda_{i,n-2}+\lambda_{i,n-3}) (짝수 (n)) 혹은 (\lambda_{i,n}=b\lambda_{i,n-2}+\lambda_{i,n-3}) (홀수 (n)) 로 전이함을 보인다. 따라서 모든 (n) 에 대해 대각화가 보장된다.

(a\ge2) 일 때도 동일한 논리를 적용한다. (M_{p_1})의 특성 방정식은 (\lambda^3-a\lambda-1=0)이며, (a>2)이면 실근이 세 개 존재한다(함수 (f(x)=x^3-ax-1) 의 부호 변화를 이용). 따라서 (M_{p_1})은 실수 고유값을 갖고 대각화 가능하며, 앞서 증명한 교환성으로 인해 전체 수열이 대각화된다.

특이하게도 (a=2)인 경우, (M_{p_1})의 고유값은 (-1,\ \alpha,\ \beta) (여기서 (\alpha,\beta)는 루카스 수열의 Binet 상수)이며, 이를 이용해 (M_{p_1}^n)의 트레이스가 (\operatorname{Tr}(M_{p_1}^n)=L_n+(-1)^n)임을 도출한다. 이는 루카스 수열과 패도반 행렬 사이의 새로운 연결 고리를 제공한다.

마지막으로 행렬 (B=Q M_{p_1})를 정의하고, (B^n=\begin{pmatrix}1&na&0\1&0&0\0&0&1\end{pmatrix})임을 보인다. (B)는 고유값이 모두 1이지만 비대각화 가능하지 않은 비정칙 행렬이며, ({B^n\mid n\in\mathbb Z})가 행렬 곱에 대해 군을 이룬다는 사실을 제시한다. 전체적으로 논문은 이주기 패도반 행렬의 대각화와 교환성을 체계적으로 분석하고, 루카스 수열과의 관계를 통해 기존 연구에 새로운 시각을 제공한다.