[논문 리뷰] Weighted sums of some second-order sequences

Kunle Adegoke|arXiv (Cornell University)|2018. 03. 24.

Advanced Mathematical Theories and Applications참고 문헌 3인용 수 13

한 줄 요약

이 논문은 복소수 $a, b, p, q \in \mathbb{C}$, $p,q \neq 0$ 에 대해 정의된 두 번째 차수 선형 재귀 수열 $\{w_n\}$ 에 대해 새로운 가중치 합 항등식을 유도한다. $w_0 = a$, $w_1 = b$, $w_n = p w_{n-1} - q w_{n-2}$ 이다. 일반화된 이항합 프레임워크와 재귀 기반 생성 함수 기법을 활용하여, 이항계수, 특성수열의 거듭제곱, 가중치 합을 포함하는 항등식을 유도하며, 피보나치, 펠, 재코스탈 수열에 대한 기존 결과를 일반화한다.

ABSTRACT

We derive weighted summation identities involving the second order recurrence sequence $\{w_n\} =\{ w_n(a,b; p, q)\}$ defined by $w_0 = a,\,w_1 = b;\,w_n = pw_{n - 1} - qw_{n - 2}\, (n \ge 2)$, where $a$, $b$, $p$ and $q$ are arbitrary complex numbers, with $p e 0$ and $q e 0$.

연구 동기 및 목표

• 일반화된 두 번째 차수 재귀 수열 $\{w_n\}$ 에 대해 새로운 가중치 합 항등식을 유도하는 것. 이 수열은 $w_n = p w_{n-1} - q w_{n-2}$ 로 정의되며, 임의의 복소수 매개변수를 가진다.
• 피보나치, 루카스, 펠, 재코스탈 수열 등의 특수 수열에 대한 기존 이항합 항등식을 통합된 프레임워크로 일반화하는 것.
• 이항계수, 특성수열 $u_r$ 의 거듭제곱, 재귀 기반 정규화 인자와 함께 가중치 합을 포함하는 항등식을 수립하는 것.
• 호라담 등이 이전에 유도한 결과를 확장하여, 임의의 복소수 매개변수와 모든 정수 $n$ 에 대해 유효한 매개변수화된 항등식 가중치 가족을 도입하는 것.
• 재귀적 구조와 생성함수 기법을 활용하여, 비이항형 및 하이퍼기하급수 유형의 비정상적인 가중치 합의 닫힌 형식 평가를 제공하는 것.

제안 방법

• 두 번째 차수 선형 재귀를 만족하는 수열과 이항계수를 가진 가중치 합 간의 관계를 설명하는 일반화된 이항합 보조정리(보조정리 3)를 활용한다.
• 재귀 항등식 $w_{m+r} = u_r w_m - q u_{r-1} w_{m-1}$ 을 적용하여, 특성수열 $u_r$ 과 $v_r$ 을 이용해 가중치 합을 표현한다.
• 보조수열 $u_n = u_n(p,q)$, 즉 일반화된 피보나치 수열을 이항합 항등식의 정규화 기반으로 사용한다.
• 재귀적 구조에 맞게 보조정리 3의 일반 합 공식에 특정 값인 $x$, $y$, $\alpha$, $\beta$ 를 대입하여 항등식을 도출한다.
• 비이항합 항등식을 도출하기 위해 항등식 $w_{n-r} w_{m+n+r} = w_n w_{m+n} + q^{n-r} e u_{r-1} u_{m+r-1}$ 을 적용하며, 여기서 $e = pab - qa^2 - b^2$ 이다.
• 기존에 알려진 항등식(예: 호라담의 1967년 결과)을 유도된 정리의 특수 케이스로 줄여 검증함으로써 일관성을 확인한다.

실험 결과

연구 질문

• RQ1 재귀적 구조를 활용하여 일반화된 두 번째 차수 수열 $\{w_n\}$ 의 가중치 이항합을 체계적으로 유도할 수 있는 방법은 무엇인가?
• RQ2 이항계수 $\binom{k}{j}$, $u_r$ 의 거듭제곱, $w_n$ 의 색인 이동을 포함하는 가중치 합의 일반 형태는 무엇인가?
• RQ3 비이항형 가중치 합, 예를 들어 $w_{rj}$ 와 기하급수 $(-q u_{r-2})^{-j}$ 를 포함하는 경우, 닫힌 형식으로 평가할 수 있는가?
• RQ4 유도된 항등식은 피보나치, 펠, 재코스탈 수열에 대한 기존 결과를 어떻게 일반화하는가?
• RQ5 특성수열 $u_r$, $v_r$, 그리고 매개변수 $e = pab - qa^2 - b^2$ 는 이러한 항등식을 구성하는 데 어떤 역할을 하는가?

주요 결과

• 항등식 $(-q u_{r-1})^k \sum_{j=0}^k \binom{k}{j} \left(-\frac{u_r}{q u_{r-1}}\right)^j w_{m - k(r+1) + j} = w_m$ 은 호라담의 결과(1967)를 일반화하며, 모든 정수 $r \neq 0$ 에 대해 성립한다.
• 항등식 $\sum_{j=0}^k \binom{k}{j} \frac{w_{m - k + rj}}{(q u_{r-2})^j} = \left(\frac{u_{r-1}}{q u_{r-2}}\right)^k w_m$ 은 모든 정수 $r \neq 1$ 에 대해 성립하며, $w_{rj}$ 를 포함하는 새로운 닫힌 형식의 가중치 합을 제공한다.
• 특수 케이스 $w_n = G_n(a,b)$ 에 대해 항등식 $\sum_{j=0}^k (-1)^j \binom{k}{j} \frac{G_{rj}}{F_{r-1}^j} = (-1)^k \left(\frac{F_r}{F_{r-1}}\right)^k G_k$ 가 도출되었으며, 이는 기존 피보나치 합 항등식을 일반화한다.
• 비이항합 $u_{r-1} \sum_{j=0}^k \frac{w_{rj}}{(-q u_{r-2})^j} = \frac{w_{kr + r - 1}}{(-q u_{r-2})^k} + (a p - b) u_{r-2}$ 가 증명되었으며, 피보나치 및 $G_n$ 수열을 포함하는 특수 케이스가 있다.
• 항등식 $\sum_{j=0}^k \binom{k}{j} \frac{w_{m - k r + 2 r j}}{q^{r j}} = \left(\frac{v_r}{q^r}\right)^k w_m$ 은 모든 정수 $r$ 에 대해 성립하며, $v_r$ 은 일반화된 루카스 수열이다.
• 주요 항등식에 $p=1$, $q=-1$ 을 대입하면 $G_n$ 수열에 대한 알려진 결과, 예를 들어 $\sum_{j=0}^k (-1)^{rj} \binom{k}{j} G_{m - k r + 2 r j} = (-1)^{r k} L_r^k G_m$ 가 회복되며, 이는 이전 연구와의 일관성을 확인한다.