On an infinite number of nonlinear Euler sums

J. Braun,H. J. Bentz

2024-11-18

Abstract:Linear harmonic number sums had been studied by a variety of authors during the last centuries, but only few results are known about nonlinear Euler sums of quadratic or even higher degree. The first systematic study on nonlinear Euler sums consisting of products of hyperharmonic sums had been published by Flajolet and Salvy in 1997 followed by similar studies presented during the last years by different authors. Although these studies had been restricted to sums where the nominator consists of a product of even or odd hyperharmonic sums, where the denominator is of the type $1/k^n$. We have generalized these results to nonlinear Euler sums with different denominators and nominators which consist in addition of mixed products between even and odd hyperharmonic numbers. In detail we present eight families of quadratic Euler sums which are expressible by zeta values and special types of linear Euler sums only where the order of the nonlinear Euler sums is always an odd number. The resulting eight different families of nonlinear Euler sums which we discovered consist of various products between even and odd hyperharmonic numbers, divided by three different types of denominators $1/k^n$, $1/((2k-1)^n)$ and $1/(k(2k-1))$. The calculational scheme is based on proper two-valued integer functions, which allow us to compute these sequences explicitly in terms of zeta values and pairs of odd-type linear harmonic numbers and even hyperharmonic numbers of second order.

Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the calculation and expression of nonlinear Euler sums. Specifically, the authors focus on how to explicitly represent different types of quadratic nonlinear Euler sums as Riemann zeta values and special types of linear Euler sums. These sums involve products of hyperharmonic numbers, and the denominator types include \( \frac{1}{k^n} \), \( \frac{1}{(2k - 1)^n} \) and \( \frac{1}{k(2k - 1)} \).

### Main problems:
1. **Generalize existing results**: Previous research mainly focused on the case where the denominator is \( \frac{1}{k^n} \), while this paper extends these results to more general denominator forms.
2. **Introduce new calculation schemes**: The authors propose a calculation scheme based on two - valued integer functions to explicitly calculate these sequences.
3. **Discover new families**: Eight different families of quadratic nonlinear Euler sums are discovered in the paper, which can be represented only by zeta values and specific types of linear Euler sums, and the orders of these sums are always odd.

### Specific content:
- **Definition and background**: The definitions of harmonic numbers and their generalized form - hyperharmonic numbers are introduced, and the previous research results on linear Euler sums are reviewed.
- **The third - order case**: Several specific examples of third - order nonlinear Euler sums are shown, and their explicit expressions are given.
- **The fifth - order case**: Different families of fifth - order nonlinear Euler sums are discussed in detail, and each family is calculated through zeta values and polylogarithmic values.
- **The seventh - order case**: The complexity of seventh - order nonlinear Euler sums is explored. Although higher - order polylogarithmic functions such as \( \text{Li}_7\left(\frac{1}{2}\right) \) are not yet clear, the calculation can still be significantly simplified through certain identities and auxiliary functions.

### Conclusion:
The main contribution of the paper lies in systematically studying and generalizing the calculation methods of nonlinear Euler sums, especially for higher - order cases. By introducing new mathematical tools and techniques, the authors not only solve the limitations in the existing literature, but also provide a basis for further research.