일반화 조화수와 새로운 항등식 탐구

초록

본 논문은 일반화 조화수 (H_n(\alpha)=\sum_{k=1}^{n}\frac{\alpha^{k}}{k}) 를 도입하고, 이를 이용해 보이아디예프와 굴드의 기존 항등식을 확장한다. 이론적 기반으로는 이항 변환, 스털링 제2종 수, 그리고 정규 전력급수 환경을 활용한다. 새로운 항등식들은 일반화 조화수와 피보나치 수, 라구에르 다항식, 라그랑주 다항식 등 다양한 수열·다항식 사이의 관계를 드러낸다.

상세 분석

논문은 먼저 일반화 조화수 (H_n(\alpha)) 의 정의와 기본 성질을 제시한다. (\alpha=1)일 때는 고전적인 조화수 (H_n) 와 일치하고, (\alpha=-1)이면 스키-조화수 (H_{-n}) 가 된다. 저자는 이 함수를 적분 표현 (\displaystyle H_n(\alpha)=\int_{0}^{1}\frac{1-\alpha^{n+1}y^{,n}}{1-y},dy) 로 변형하여 연속적인 변형법을 적용한다.

핵심 기법은 이항 변환 (\displaystyle b_n=\sum_{k=0}^{n}\binom{n}{k}a_k) 와 그 역변환을 이용해 기존의 보이아디예프 정리 (\displaystyle \sum_{k=1}^{n}\binom{n}{k}\frac{a_k}{k+\lambda}) 를 새로운 형태 (\displaystyle \sum_{k=1}^{n}\binom{n}{k}\frac{a_k}{k+\lambda}= \sum_{m=1}^{n}\frac{b_m}{m}-b_0H_n) 로 재구성한다. 여기서 (b_m) 은 (a_k) 의 이항 변환이며, (\lambda) 은 복소 매개변수이다.

다음으로 저자는 굴드의 항등식 (\displaystyle \sum_{k=j}^{n}\binom{n}{k}\binom{k}{j}(-1)^k a^k/k = \sum_{t=1}^{j}\binom{j}{t}(-a)^t(1-a)^{,n-t}) 을 (\alpha) 를 포함하도록 일반화한다. 이를 통해 (\displaystyle \sum_{k=j}^{n}\binom{n}{k}\binom{k}{j}(-1)^k\frac{\alpha^{k}}{k}= \sum_{t=1}^{j}\binom{j}{t}(-\alpha)^t(1-\alpha)^{,n-t}) 라는 새로운 항등식을 얻는다.

판(Pan)의 정리 역시 (\displaystyle \sum_{k=0}^{n}\binom{n}{k}\mu^{k}\lambda^{,n-k}H_k(\alpha)) 를 닫힌 형태 (\displaystyle \frac{(\mu+\lambda)^{n}}{\mu+\lambda}\bigl