Integral representations of equally positive integer-indexed harmonic sums at infinity

Lin Jiu
DOI: https://doi.org/10.1007/s40993-017-0074-x
2017-05-09
Abstract:We identify a partition-theoretic generalization of Riemann zeta function and the equally positive integer-indexed harmonic sums at infinity, to obtain the generating function and the integral representations of the latter. The special cases coincide with zeta values at positive integer arguments.
Number Theory,Combinatorics
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the integral representation at infinity of **Equally Positive Integer - Indexed Harmonic Sums (EPIIHS)**. Specifically, the author aims to obtain the generating functions and integral representations of these specific types of harmonic series by introducing a generalized form of the Riemann zeta function based on partition theory. ### Background and Definitions The general form of the harmonic series can be defined as: \[ S_{a_1,\ldots,a_k}(N) = \sum_{N \geq n_1 \geq \cdots \geq n_k \geq 1} \frac{\text{sign}(a_1)}{n_1^{|a_1|}} \times \cdots \times \frac{\text{sign}(a_k)}{n_k^{|a_k|}} \] When \( N = \infty \), \( k = 1 \) and \( a_1>0 \), this definition simplifies to the form of the Riemann zeta function, that is, \( S_{a_1}(\infty)=\zeta(a_1) \). In particular, for the Equally Positive Integer - Indexed Harmonic Sums (EPIIHS), it is defined as: \[ S_a^{(k)}(N) = \sum_{N \geq n_1 \geq \cdots \geq n_k \geq 1} \frac{1}{(n_1 \cdots n_k)^a} \] where \( a = m\in\mathbb{Z}_{>0} \) and when \( N = \infty \), assume \( m\in\mathbb{Z}_{>1} \) to ensure convergence. ### Main Results 1. **Generating Function**: The author derives the generating function of \( S_a^{(k)}(N) \): \[ \sum_{k = 0}^{\infty} S_a^{(k)}(N) t^{ak}=\prod_{n = 1}^{N} \frac{n^a}{n^a - t^a} \] 2. **Special Case**: When \( a = 1 \), the generating function can be expressed as: \[ \sum_{k = 0}^{\infty} t^k S_1^{(k)}(N)=\frac{N!}{(1 - t)(2 - t)\cdots(N - t)}=N\cdot B(N, 1 - t) \] where \( B(x, y) \) is the beta function, defined as: \[ B(x, y)=\int_0^1 z^{x - 1}(1 - z)^{y - 1}dz=\frac{\Gamma(x)\Gamma(y)}{\Gamma(x + y)} \] 3. **Integral Representation**: For \( m\in\mathbb{Z}_{>1} \), the author gives the integral representation of \( S_m^{(k)}(\infty) \): \[ \sum_{k = 0}^{\infty} S_m^{(k)}(\infty) t^{mk}=\prod_{j = 0}^{m - 1} \Gamma\left(1-\frac{\xi_j t}{m}\right) \] where \( \xi_m=\exp\left(\frac{2\pi i}{m}\right) \). 4. **Application of Poly - Beta Function**: Through the definition and integral representation of the poly - beta function, the author further obtains the integral representation of \( S_m^{(k)}(\infty) \): \[ S_m^{(k)}(\infty)=\frac{(-1)^{mk}}{(m - 1)!(mk)!}\int_{\Omega_m}