TOPICS
Search

Multiple Harmonic Number


The multiple harmonic number of depth k is a finite nested sum with indices n>=n_1>...>n_k>=1, where n is a nonnegative integer. With weights z_1,...,z_k and exponents a_1,...,a_k, it is

 H_n(a_1,...,a_k;z_1,...,z_k)=sum_(n>=n_1>...>n_k>=1)(z_1^(n_1)...z_k^(n_k))/(n_1^(a_1)...n_k^(a_k)).

The weights are omitted from the notation when they all equal 1. At depth one with unit weight, H_n(a) is the generalized harmonic number H_(n,a). For positive integer exponents, taking n to infinity gives a multidimensional polylogarithm for |z_j|<1 for all j. For unit weights and a_1>=2, it gives a value of the multivariate zeta function.

The multiple harmonic star sum H_n^*(a_1,...,a_k) uses weak inequalities between successive indices and unit weights (Zhao 2016). At depth two, separating the equal-index terms gives

 H_n^*(a,b)=H_n(a,b)+H_n(a+b).

The strict sums are implemented in the Wolfram Language as MultipleHarmonicNumber[n, {a1, ..., ak}, {z1, ..., zk}]. The final list can be omitted for unit weights.


See also

Harmonic Number, Multidimensional Polylogarithm, Multivariate Zeta Function

Explore with Wolfram|Alpha

References

Hoffman, M. E. "Quasi-Symmetric Functions and Mod p Multiple Harmonic Sums." 2004. https://arxiv.org/abs/math/0401319.Zhao, J. "Identity Families of Multiple Harmonic Sums and Multiple Zeta Star Values." J. Math. Soc. Japan 68, 1669-1694, 2016. https://doi.org/10.2969/jmsj/06841669.

Cite this as:

Weisstein, Eric W. "Multiple Harmonic Number." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/MultipleHarmonicNumber.html

Subject classifications