Inverses of Fibonacci and Lucas Numbers via Rational Indices

기술 요약: 유리수 지수를 통한 피보나치 및 루카스 수의 역수

문제 정의
본 논문은 고전적인 피보나치($F_n$) 및 루카스($L_n$) 수열을 유리수 지수 $X \in \mathbb{Q}_{>0}$로 확장하는 문제를 다룬다. 울다그(Uludağ)와 괴크멘(Gökmen)(2022)의 선행 연구는 유리수 지수 피보나치 수($F_X$)가 "코데노미네이터(codenominator)" 함수 $F$를 사용하여 표현될 수 있으며, 이러한 표현이 무수히 많이 존재함을 확립하였다. 그러나 임의의 유리수 지수에 대한 구체적인 구조적 특성, 명시적 공식, 그리고 이 프레임워크 내에서의 곱셈 역수의 존재 여부는 아직 완전히 규명되지 않았다. 저자들은 $F_X$에 대한 일반적인 명시적 공식을 도출하고, $F_X$가 고전적인 루카스 수와 일치하거나 정수 지수 피보나치 수열에서 벗어나는 조건을 결정하며, 이 수들의 곱셈 역수의 존재를 증명하고자 한다.

방법론
본 연구는 코뉴머레이터(conumerator) 함수를 통해 재귀적으로 정의되는 코데노미네이터 함수 $F: \mathbb{Q}_{>0} \to \mathbb{Z}_{>0}$에 의존한다. 함수 $F$는 연분수(continued fractions)의 성질을 사용하여 구축된다. 유로수 $X = [n_0; n_1, \dots, n_k]$에 대하여, 저자들은 $F$의 재귀적 관계(구체적으로 $F(1+X) = F(1/X)$ 및 $F(\frac{1}{1+X}) = F(X) + F(1/X)$)를 활용하여 유리수 지수를 정수 성분으로 분해한다.

연구 방법론은 세 단계로 진행된다:

1. 명시적 공식의 도출: 저자들은 연분수 전개가 길이 6까지인 $F_X$에 대한 폐쇄형 표현식(closed-form expressions)을 도출한다. 이 공식들은 $F_X$를 $X$의 부분 몫(partial quotients)에 의해 결정되는 정수 지수를 가진 고전적 피보나치($F_n$) 및 루카스($L_n$) 수의 선형 결합으로 표현한다.
2. 일치 및 발산 분석: 도출된 공식들을 고전적 수열의 정의와 비교함으로써, $F_X$가 고전적 피보나치 수, 루카스 수 또는 별개의 값과 일치하게 되는 정확한 조건을 확립한다.
3. 역수 계산: 저자들은 이러한 유리수 지수 수들의 역수를 조사한다. $F_{X^{-1}}$(여기서 $X^{-1}$은 지수의 역수)를 계산하고 카시니 항등식(Cassini's identity) 및 비네 공식(Binet's formulas)과 같은 항등식을 활용함으로써, 유리수 지수 수와 그 역수의 곱이 단위(unit, 구체적으로 관련 수열 항에 대해 $\pm 1 \pmod{\text{related sequence term}}$)를 산출함을 보여줌으로써 곱셈 역수의 존재를 입증한다.

주요 기여 및 결과

• 일반 명시적 공식: 본 논문은 길이가 2에서 6인 연분수에 대한 $F_X$의 명시적 공식(보조정리 3.1–3.4)과 임의의 길이 $k$에 대한 일반 재귀 공식(보조정리 4.2)을 제공한다. 예를 들어, $X = [n_0; n_1]$인 경우, $F_X = F_{n_0}F_{n_1} + F_{n_0-1}F_{n_1+1}$이다.
• 값의 특성화:
  • 고전적 수열과의 일치: 본 논문은 $F_X$가 고전적 피보나치 수 $F_m$과 일치하기 위한 특정 조건(예: 연분수 길이 $k=1$이고 $n_0 \in \{1, 2\}$이거나, $k=2$이고 $n_0=1$이며 특정 제약 조건이 있는 경우)을 증명한다.
  • 루카스 수와의 일치: $X = [3; n]$이면 $F_X = L_{n+1}$임이 밝혀졌다. 마찬가지로 $F([2; 1, n]) = L_{n+1}$이다.
  • 발산: 따름정리 6.1은 $k \ge 3$이거나, (루카스 경우를 제외한) $k=1$이면서 $n_0 \ge 3$인 경우 $F_X$가 고전적 피보나치 수열과 구별됨을 확립한다.
• 곱셈 역수의 존재: 핵심 결과는 모든 피보나치 수와 루카스 수가 유리수 지수 프레임워크 내에서 곱셈 역수를 가진다는 증명이다.
  • $F_m = F([1; m])$에 대하여, 역수는 $F_{m+2}$이다.
  • $F_m = F([2; m-2])$에 대하여, 역수는 $L_{m-1}$이다.
  • $L_m = L([3; m-1])$에 대하여, 역수는 $L_m + F_{m+1}$이다.
  • 본 논문은 $F_X \cdot F_{X^{-1}} \equiv \pm 1 \pmod{\text{related term}}$임을 보여줌으로써 단위(unit) 성질을 확인한다.

의의
저자들은 이러한 결과가 유리수 지수 계산을 위한 체계적인 방법을 제공함으로써 울다그와 괴크멘이 도입한 유리수 지수 관점을 확장한다고 주장한다. 이 연구는 피보나치 및 루카스 관련 수열의 새로운 구조적 특성, 특히 코데노미네이터 함수를 통해 이 수들의 곱셈 역수를 정의하고 계산할 수 있는 능력을 드러낸다. 본 논문은 이러한 발견이 연분수 및 모듈로 산술의 맥락에서 유리수 지수화된 수열의 산술적 성질에 관한 이론적 수론 탐구의 길을 열어준다고 강조한다. 저자들은 이론적 수론 이외의 즉각적인 응용을 주장하지 않으나, 고전적 수열에 대한 대수적 이해를 풍부하게 한다는 점을 강조한다.