[논문 리뷰] Abel's Lemma and Identities on Harmonic Numbers

Hai-Tao Jin, Daniel K. Du|arXiv (Cornell University)|2014. 11. 25.

Mathematical and Theoretical Analysis참고 문헌 12인용 수 4

한 줄 요약

이 논문은 조화수 및 일반화된 조화수를 포함하는 항등식을 유도하고 검증하기 위해 아벨-고스퍼 및 아벨-WZ 방법을 도입한다. 고스퍼의 알고리즘과 WZ 방법을 아벨의 부분합에 대한 보조정리와 결합함으로써, 저자들은 일반화된 조화수에 대한 새로운 역행렬 공식을 수립하고, 이항계수와 조화수를 포함하는 고전적인 조화수 합 항등식의 일반화된 형태를 포함한 여러 새로운 항등식을 증명한다.

ABSTRACT

Recently, Chen, Hou and Jin used both Abel's lemma on summation by parts and Zeilberger's algorithm to generate recurrence relations for definite summations. Meanwhile, they proposed the Abel-Gosper method to evaluate some indefinite sums involving harmonic numbers. In this paper, we use the Abel-Gosper method to prove an identity involving the generalized harmonic numbers. Special cases of this result reduce to many famous identities. In addition, we use both Abel's lemma and the WZ method to verify and to discover identities involving harmonic numbers. Many interesting examples are also presented.

연구 동기 및 목표

• 일반화된 조화수를 포함하는 부정적분 합계를 평가하기 위해 아벨-고스퍼 방법을 개발하고 적용하는 것.
• 하이퍼지오메트릭 합계 기법을 사용하여 조화수에 대한 항등식을 체계적으로 발견하고 검증하는 데 사용할 수 있는 아벨-WZ 방법을 도입하는 것.
• 고전적인 역행렬 공식 ∑(-1)^{k-1} C(n,k) H_k = 1/n을 일반화된 조화수와 이항계수를 포함하도록 일반화하는 것.
• 재귀관계와 알고리즘적 검증을 통해 조화수를 포함하는 정적분 합계의 폐쇄형 평가를 제공하는 것.

제안 방법

• 아벨-고스퍼 방법은 고스퍼의 부정적분 하이퍼지오메트릭 합계 알고리즘과 아벨의 부분합에 대한 보조정리를 결합하여, ∑ f_k H_k 형태의 합을 하이퍼지오메트릭 합계로 변환한다.
• 아벨-WZ 방법은 하이퍼지오메트릭 항등식에 대한 WZ 방법과 아벨의 보조정리를 결합하여 조화수를 포함하는 합계에 대한 재귀관계와 폐쇄형 표현을 생성한다.
• 저자들은 제일버거의 알고리즘을 사용하여 조화수와 같은 비하이퍼지오메트릭 항목을 포함하는 합계에 대한 재귀관계를 유도하고 검증한다.
• 경계값 분석과 텔레스코프 기법을 적용하여 아벨의 보조정리를 통한 변환 이후 합계를 단순화한다.
• 이 방법은 알려진 하이퍼지오메트릭 항등식에 적용되어 H_k, H_k^{(2)}, H_{mk+s}(x)를 포함하는 새로운 항등식을 생성한다.
• 일반화된 항등식의 매개변수 m, s, p, n, x에 특정 값을 대입하여 특수한 경우를 도출한다.

실험 결과

연구 질문

• RQ1 아벨-고스퍼 방법을 사용하여 일반화된 조화수에 대한 일반화된 역행렬 공식을 도출할 수 있는가?
• RQ2 아벨-WZ 방법을 체계적으로 적용하여 조화수를 포함하는 새로운 항등식을 발견할 수 있는가?
• RQ3 이항계수, 일반화된 조화수, 교대 부호를 포함하는 합계의 폐쇄형 평가가 무엇인가?
• RQ4 이 방법은 H_k^{(2)}에 대한 프로딩어의 항등식과 캐링의 항등식을 복원할 수 있는가?
• RQ5 일반화된 항등식의 특수한 경우 중 고전적인 조화수 항등식으로 줄어드는 것은 무엇인가?

주요 결과

• 논문은 일반화된 역행렬 공식을 증명한다: ∑_{k=p}^n (-1)^{k-1} C(n,k) C(k,p) H_{mk+s}(x) = (-1)^p m^{n-p-1} n! / ((n-p)p!) × ∑_{i=1}^m 1 / ∏_{u=p}^{n-1} (mu + s + x + i) for n > p.
• m=1, s=0, x=0일 때, 항등식은 고전적인 결과 ∑_{k=p}^n (-1)^{k-1} C(n,k) C(k,p) H_k = (-1)^p / (n-p) × C(p,0) / C(n,0)로 간소화되며, 이는 알려진 항등식 ∑(-1)^{k-1} C(n,k) H_k = 1/n을 특수한 경우로 포함한다.
• 아벨-WZ 방법은 프로딩어의 항등식을 성공적으로 재유도한다: ∑_{k=0}^n (-1)^{n-k} C(n,k) C(n+k,k) H_k^{(2)} = 2 ∑_{k=1}^n (-1)^{k-1}/k^2.
• 이 방법은 ∑_{k=0}^n (-1)^{n-k} C(n,k) C(n+k,k) H_{2k} = 3H_n - H_{⌊n/2⌋} for n ≥ 1과 같은 새로운 항등식을 생성한다.
• 기존의 이항계수 항등식에서 유도된 항등식들: ∑_{k=p}^n C(n,k)^2 C(k,p) H_k = C(2n-p,n) C(n,p) (2H_n - H_{2n-p}).
• 교대합의 경우, 이 방법은 ∑_{k=0}^{2n} (-1)^k C(2n,k)^2 H_k = (-1)^n C(2n,n) (H_n + H_{2n})/2 및 H_k^{(2)}에 대해 유사한 결과를 도출한다.