조화수와 중심 이항계수의 새로운 합계 연구

초록

본 논문은 역중심 이항계수와 조화수(Harmonic numbers)를 결합한 두 종류의 새로운 유한합을 제시하고, 일반 차수 d에 대해 U₍d₎(n)=∑ₖ₌₁ⁿ 2^{2k}/C(2k,k)·k^{d}와 V₍d₎(n)=∑ₖ₌₁ⁿ 2^{2k}/C(2k,k)·k^{d}H_k에 대한 재귀식 및 닫힌 형태를 도출한다. 특히 (2.2), (2.5), (5.5)와 같은 구체적 식을 통해 기존 문헌에 없던 결과를 확보한다.

상세 분석

논문은 먼저 역중심 이항계수 2^{2k}/\binom{2k}{k}와 조화수 H_k를 결합한 합 S₁(n)=∑{k=0}^{n}2^{2k}/\binom{2k}{k}·H_k와 S₂(n)=∑{k=0}^{n}2^{2k}/\binom{2k}{k}·H_{2k}에 대한 새로운 폐쇄식(식 2.2, 2.5)을 제시한다. 이때 핵심 아이디어는 기존 식 (1.3)의 파라미터 m에 대해 미분을 수행하고, \frac{d}{dm}\binom{m+k}{k}= \binom{m+k}{k}(H_{k}+m-H_{m}) 를 이용해 조화수를 끌어내는 것이다. 결과적으로 m=0, m=n을 대입하면 (2.2)와 (2.4)‑(2.5) 형태가 도출된다.

다음으로 일반 차수 d에 대해 U_d(n)과 V_d(n)의 재귀식을 구축한다. 여기서 u_k=2^{2k}/\binom{2k}{k}, a_k=(2k-1)(k-1)^d 로 정의하고, Abel 변환(부분합)을 적용해
U_d(n)=a_{n+1}u_{n+1}-\sum_{k=1}^{n}(a_{k+1}-a_k)u_k
을 얻는다. a_{k+1}-a_k 를 전개하면 이항계수와 다항식의 조합인 계수 c_{d,j}= \binom{d+1}{j+1}+\binom{d}{j+1} 가 등장한다. 이를 이용해 (3.1) 형태의 2d+3 차 재귀식을 얻으며, 초기값 U_0(n)=\frac{1}{3}(n+1)2^{2n+1}\binom{2n}{n}-2! 로부터 U_1, U_2, U_3의 명시적 다항식식(3.3‑3.5)이 계산된다.

V_d(n) 에 대해서는 v_k=2^{2k}\binom{2k}{k}H_k 를 정의하고, 동일한 Abel 변환을 적용한다. (2k+1)(v_{k+1}-v_k)=v_k+2u_k 라는 관계를 이용해 V_d(n)과 U_d(n) 사이에 선형 결합 형태(식 3.6)를 얻는다. 초기값 V_0(n) 은 (1.4)에서 제시된 기존 결과와 일치한다. V_1, V_2에 대한 구체적 식(3.7‑3.8) 역시 다항식 P_d(n), Q_d(n) 형태로 정리되며, 이는 차수 d+1인 다항식 N(d)=\sum_{j=0}^{d}(2j+1) 로 정규화된다(식 3.9).

또한, 역중심 이항계수와 조화수의 혼합 형태를 확장해 \sum_{k=1}^{n}\frac{2^{2k}}{\binom{2k}{k}}(k+1)H_{k+1} 등 다양한 가중치를 가진 합을 다루며, (4.1)‑(4.7)에서 제시된 식들은 m 파라미터를 적절히 선택해 얻어진다. 특히 (4.6)은 기존에 알려진 Riordan의 식과 유사한 형태를 보여, 이론적 일관성을 확인한다.

마지막으로 2차 조화수 H^{(2)}_n 를 포함한 합에 대해 (5.1)‑(5.5) 식을 도출한다. 여기서는 H_z와 ψ(z) 사이의 관계 H_z=ψ(z+1)+γ 와 ψ’(z+1)=\zeta(2)-H^{(2)}_z 를 활용해 m에 대한 2차 미분을 수행한다. 결과적으로 역중심 이항계수와 H^{(2)}_k, H_k 사이의 복합적인 상호작용을 명시적으로 표현한다.

전체적으로 논문은 기존의 역중심 이항계수와 조화수 관련 문헌을 확장하고, 파라미터 미분과 Abel 변환이라는 두 가지 핵심 도구를 통해 새로운 폐쇄식과 재귀식을 체계적으로 구축한다. 제시된 다항식 구조는 향후 일반화된 가중치 x^k 를 포함한 다항식 합을 연구하는 데도 활용 가능할 것으로 기대된다.