[논문 리뷰] Combinatorial identities involving harmonic numbers

Necdet Batır|arXiv (Cornell University)|2018. 06. 08.

Advanced Mathematical Identities참고 문헌 12인용 수 6

한 줄 요약

이 논문은 이항계수와 매개변수를 포함하는 새로운 조합 항등식을 제시하며, 이를 미분하고 적분하여 새로운 유한 조화합 항등식을 도출한다. 주요 기여는 조화수, 이항계수, 교대합 사이의 이전에 알려지지 않았거나 재발견된 항등식 집합으로, $\sum_{k=1}^{n}\frac{(-1)^{k-1}}{k}\binom{n}{k}H_{n-k}$ 및 $\sum_{k=1}^{n}\frac{(-1)^{k-1}}{k^2}\binom{n}{k}H_{n-k}$와 같은 합의 닫힌 형태를 포함한다. 이는 일반화된 조화합과 다이감마 함수에 응용된다.

ABSTRACT

In this work we prove a new combinatorial identity and applying it we establish many finite harmonic sum identities. Among many others, we prove that \begin{equation*} \sum_{k=1}^{n}\frac{(-1)^{k-1}}{k}\binom{n}{k}H_{n-k}=H_n^2+\sum_{k=1}^{n}\frac{(-1)^{k}}{k^2\binom{n}{k}}, \end{equation*} and \begin{equation*} \sum_{k=1}^{n}\frac{(-1)^{k-1}}{k^2}\binom{n}{k}H_{n-k}=\frac{H_n[H_n^2+H_n^{(2)}]}{2}-\sum_{k=0}^{n-1}\frac{(-1)^k[H_n-H_k]}{(k+1)(n-k)\binom{n}{k}}. \end{equation*} Almost all of our results are new, while a few of them recapture know results.

연구 동기 및 목표

• 이항계수 $\binom{s+n}{k}$ 형태를 가진 두 매개변수 $s$와 $x$를 포함하는 새로운 조합 항등식을 수립하는 것.
• 이 항등식을 매개변수에 대해 미분하고 적분하여 새로운 유한 조화합 항등식을 유도하는 것.
• 조화수 $H_n$, 일반화된 조화수 $H_n^{(2)}$, 교대 부호가 붙은 이항계수를 포함하는 합에 대한 닫힌 표현식을 유도하는 것.
• 기존에 알려진 결과를 복원하고, 유한 조화합과 이항변환의 맥락에서 새로운 항등식을 제시하는 것.
• 유도된 주요 항등식을 다양한 매개변수 선택에 적용하여 추가 항등식을 체계적으로 유도하는 방법을 제공하는 것.

제안 방법

• 수학적 귀납법을 사용하여 주요 항등식 $\sum_{k=0}^{n}\binom{s+n}{k}x^{k} = (1+x)^n\left[1 + s\sum_{k=0}^{n-1}\frac{\binom{s+k}{k}}{k+1}\left(\frac{x}{x+1}\right)^{k+1}\right]$ 을 유도한다.
• 주요 항등식 양변을 매개변수 $s$에 대해 미분하여 조화수와 이항계수를 포함하는 항등식을 유도한다.
• 주요 항등식을 $x$에 대해 적분하여, 특히 $H_{n-k}$ 항을 포함하는 추가 항등식을 도출한다.
• 특정 매개변수 값 $s = 0$, $s = 1$, $s = -\frac{1}{2}$ 을 적용하여 기존의 또는 새로운 항등식을 복원하거나 유도한다.
• 다이감마 함수, 감마 함수, 조화수 간의 알려진 관계를 활용하여 도출된 항등식을 특수함수와 연결한다.
• 대체로 $k \to n-k$ 및 인덱스 이동을 사용하여 합을 간소화하고 더 컴act하거나 인식할 수 있는 형태로 재표현한다.

실험 결과

연구 질문

• RQ1 이항계수와 매개변수를 포함하는 주요 생성함수 항등식을 미분하고 적분함으로써 어떤 새로운 조합 항등식을 도출할 수 있는가?
• RQ2 항등식 $\sum_{k=0}^{n}\binom{s+n}{k}x^{k} = (1+x)^n\left[1 + s\sum_{k=0}^{n-1}\frac{\binom{s+k}{k}}{k+1}\left(\frac{x}{x+1}\right)^{k+1}\right]$ 은 어떻게 새로운 유한 조화합 항등식을 유도하는가?
• RQ3 다음과 같은 합의 닫힌 형태 평가값은 무엇인가: $\sum_{k=1}^{n}\frac{(-1)^{k-1}}{k}\binom{n}{k}H_{n-k}$ 와 $\sum_{k=1}^{n}\frac{(-1)^{k-1}}{k^2}\binom{n}{k}H_{n-k}$?
• RQ4 이 방법을 사용하여 기존의 조화합 항등식을 복원하거나 재유도할 수 있으며, 이전에 문서화되지 않은 새로운 항등식이 존재하는가?
• RQ5 특수한 $s$ 값, 예를 들어 $s = 0$, $s = 1$, $s = -\frac{1}{2}$ 는 중심 이항계수와 캐탈란 유사 합과 관련된 항등식을 유도하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 $\sum_{k=1}^{n}\frac{(-1)^{k-1}}{k}\binom{n}{k}H_{n-k} = H_n^2 + \sum_{k=1}^{n}\frac{(-1)^k}{k^2\binom{n}{k}}$ 라는 항등식을 도출하였으며, 이는 조화수와 이항계수를 포함하는 새로운 유한합 항등식이다.
• 논문은 $\sum_{k=1}^{n}\frac{(-1)^{k-1}}{k^2}\binom{n}{k}H_{n-k} = \frac{H_n(H_n^2 + H_n^{(2)})}{2} - \sum_{k=0}^{n-1}\frac{(-1)^k(H_n - H_k)}{(k+1)(n-k)\binom{n}{k}}$ 라는 표현을 확립하였으며, 이는 부호가 교대되는 가중 조화합에 대한 새로운 표현이다.
• $s = 0$ 으로 설정함으로써 논문은 기존에 알려진 항등식 $\sum_{k=1}^{n}\frac{(-1)^{k-1}}{k^2}\binom{n}{k} = \frac{H_n^2 + H_n^{(2)}}{2}$ 를 복원하였으며, 기존 결과와의 일致성을 확인하였다.
• $s = 1$ 으로 설정하면 $\sum_{k=1}^{n}\frac{(-1)^{k-1}}{k^2}\binom{n+1}{k}$ 를 포함하는 새로운 항등식이 도출되며, 이는 $H_n$ 과 $H_n^{(2)}$ 와 $\sum \frac{(-1)^k(H_n - H_k)}{(n-k)\binom{n}{k}}$ 를 포함하는 수정항과 연결된다.
• $s = -\frac{1}{2}$ 에 대한 항등식은 $\sum_{k=0}^{n}(-1)^k\binom{n-1/2}{k} = (-1)^n\binom{n-3/2}{n}$ 를 제공하며, 이는 중심 이항계수에 대한 알려진 결과를 도출하는 데 사용된다: $\sum_{k=0}^{n}\frac{(-1)^{n-k}2^{2n-2k}n!(n-k)!}{k!(2n-2k)!} = \frac{1}{2n-1}$.
• 이 방법은 $\sum_{k=1}^{n}\frac{(-1)^{k-1}}{k^2}\binom{n}{k}\{H_{n-k}^2 + H_{n-k}^{(2)}\}$ 와 같은 항등식을 포함한 일련의 항등식을 성공적으로 유도하였으며, 이는 $H_n^2 + H_n^{(2)}$ 와 $H_n - H_k$ 를 포함하는 수정합으로 표현된다.