선형 재귀와 생성함수의 통합적 이해

본 논문은 선형 재귀식과 그에 대응하는 생성함수 이론을 포괄적으로 정리하고, 구체적인 계산 예제를 통해 이론을 실천적으로 적용하는 방법을 제시한다. 서두에서는 선형 재귀식이 수학 교육에서 지속적인 인기를 끌고 있으며, 특히 피보나치 수와 같은 정수열이 다양한 분야에서 재현된다는 점을 강조한다. 저자는 선형 재귀식이 유리 함수 형태의 생성함수와 일대일 대응한다는 기본 사실을 바탕으로, 이를 이용해 닫힌 형태 해와 점근적 성장률을 구하는 절차를 체계화한다. 첫 번째 실례로 루카스 수열을 다룬다. 루카스 수열은 a₀=2, a₁=1, aₙ₊₂=aₙ₊₁+aₙ 로 정의되며, 이를 xⁿ에 곱해 무한합을 취하면 L(x)=∑_{n≥0}aₙxⁿ가 된다. 재귀식을 xⁿ과 곱해 합산하면 L(x)−2−x = x·L(x)+x²·L(x) 가 도출되고, 이를 정리하면 L(x)=(2−x)/(1−x−x²) 가 된다. 분모의 근 r₁=(1+√5)/2, r₂=(1−√5)/2 를 이용해 부분분수 전개를 수행하면 L(x)=1/(1−r₁x)+1/(1−r₂x) 가 되고, 거기서 계수 비교를 통해 aₙ=r₁ⁿ+r₂ⁿ 라는 닫힌 형태를 얻는다. 이는 잘 알려진 피보나치와 루카스의 베이즈 형태와 일치한다. 다음 장에서는 기본적인 거듭 제곱 급수와 그 변형을 소개한다. 1/(1−x)=∑xⁿ, x/(1−x)²=∑n xⁿ, x(x+1)/(1−x)³=∑n² xⁿ 등 x·D 연산자를 이용한 미분·곱 연산이 어떻게 n, n², n³ 등의 계수를 생성하는지를 보여준다. 이는 모든 선형 재귀식의 생성함수가 이러한 기본 급수들의 선형 결합으로 표현될 수 있음을 시사한다. 그 후 동차와 비동차(비선형 포함) 재귀식을 구분한다. 동차 재귀식은 f(n)=0 인 경우이며, 비동차는 일정한 혹은 다항식 형태의 외항을 포함한다. 논문은 동차 재귀식이 언제나 유리 생성함수를 갖고, 비동차 항이 존재하면 생성함수에 추가적인 유리 항이 더해진다는 점을 명확히 한다. 예시로 2차 비동차 재귀 aₙ₊₂=5aₙ₊₁−aₙ−n, 3차 비동차 aₙ₊₃=aₙ₊₂+aₙ₊₁+aₙ+1 등을 제시한다. 핵심 정리로 두 가지 주요 정리를 제시한다. 정리 1은 “동차 선형 재귀식 ↔ 유리 생성함수”의 일대일 대응을 선언하고, 생성함수의 분모 차수가 재귀식 차수와 동일함을 보인다. 정리 2는 일반적인 선형 재귀식의 닫힌 형태를 근의 다중도와 결합된 다항식 형태로 표현한다: aₙ=∑_{j=1}^{z} (∑_{k=0}^{m_j−1} c_{j,k} n^{k})·r_j^{\,n}. 여기서 r_j는 분모 다항식의 근, m_j는 그 중복도이며, c_{j,k}는 상수이다. 정리의 적용 예시로 페린 수열을 분석한다. 페린 수열은 a₀=3, a₁=0, a₂=2, aₙ₊₃=aₙ₊₁+aₙ 로 정의된다. 생성함수 P(x)=∑aₙxⁿ를 구하면 P(x)=(3−x²)/(1−x²−x³) 가 된다. 분모의 세 근을 구하고 부분분수 전개를 하면 aₙ=D·(1/z₁)ⁿ+E·(1/z₂)ⁿ+F·(1/z₃)ⁿ 형태가 나오며, 절댓값이 가장 큰 근에 해당하는 1/z₁≈1.3247이 점근적 성장률을 결정한다. 실제 수치와 비교해 aₙ≈D·1.3247ⁿ 로 근사함을 확인한다. 다음으로 피보나치 부분수열 aₙ=f_{3n+1}−½ 를 다룬다. 피보나치의 기본 재귀를 이용해 aₙ에 대한 2차 비동차 재귀 aₙ=4aₙ₋₁+aₙ₋₂+2 를 도출하고, 생성함수 A(x)=∑aₙxⁿ를 구하면 A(x)=x(1+x)/(1−x)(1−4x−x²) 가 된다. 부분분수 전개와 근 r_{±}=−2±√5 를 이용해 aₙ=−½+ (1/20)(√5+5)(√5+2)ⁿ + (1/20)(−√5+5)(−√5+2)ⁿ 로 닫힌 형태를 얻으며, 점근적으로 (√5+5)(√5+2)/20 ≈ 3.618ⁿ 로 성장한다. 입방수의 부분합 aₙ=∑_{k=0}^{n}k³ 에 대해서는 생성함수 A(x)=x(x²+4x+1)/(1−x)⁵ 를 얻고, 부분분수 전개를 통해 aₙ=n²(n+1)²/4 라는 다항식 형태의 정확한 해를 도출한다. 이는 다중 근(1이 5배 중복)으로 인해 최고 차수가 n⁴가 되는 것을 보여준다. 마지막으로 차수가 6인 복합 다항식 생성함수 A(x)=1+2x−x²/(1−x)⁴(1+x)² 로 정의된 임의 수열을 제시하고, 부분분수 전개와 근 분석을 통해 닫힌 형태를 구하는 과정을 간략히 서술한다. 이 예시는 앞서 제시된 방법이 고차 다항식에도 그대로 적용 가능함을 증명한다. 논문은 현재(2007년)까지 이러한 알고리즘을 일반적인 수학 소프트웨어에 구현한 사례가 없으며, 제시된 풍부한 예제들이 테스트베드가 될 수 있음을 강조한다. 전체적으로 선형 재귀식 → 유리 생성함수 → 근 기반 닫힌 해 → 점근적 성장이라는 흐름을 명확히 제시함으로써, 재귀 이론을 실용적인 계산 도구로 확장하는 데 기여한다.