12 pages AMSLaTeX. Submitted for publication October 26, 2003; revised September 14, 2004. New title reflects change in emphasis and new section devoted to connections with inverse pairs and Hoffman duality. References added and typos corrected
发表信息：
Discrete Mathematics, 300 (2005), no. 1--3, pp. 44--56. MR2170113 (2006m:05019)
We define two finite q-analogs of certain multiple harmonic series with an arbitrary number of free parameters, and prove identities for these q-analogs, expressing them in terms of multiply nested sums involving the Gaussian binomial coefficients. Special cases of these identities--for example, with all parameters equal to 1--have occurred in the literature. The special case with only one parameter reduces to an identity for the divisor generating function, which has received some attention in connection with problems in sorting theory. The general case can be viewed as a duality result, reminiscent of the duality relation for the ordinary multiple zeta function.
In this paper we focus on r-geometric polynomials, r-exponential polynomials and their harmonic versions. It is shown that harmonic versions of these polynomials and their generalizations are useful to obtain closed forms of some series related to harmonic numbers.
We explicitly give the relations between the hypergeometric solutions of the general hypergeometric equation and their duals, as well as similar relations for q-hypergeometric equations. They form a family of very general identities for hypergeometric series. Although they were foreseen already by N. M. Bailey in the 1930's on analytic grounds, we give a purely algebraic treatment based on general principles in general differential and difference modules.
In this paper we focus on two new families of polynomials which are connected with exponential polynomials and geometric polynomials. We discuss their generalizations and show that these new families of polynomials and their generalizations are useful to obtain closed forms of some series related to harmonic numbers.
In terms of the derivative operator and Watson-type $_3F_2$-series identities, three families of summation formulae involving generalized harmonic numbers are established.
The integral representation of the Hadamard product of two functions is used to prove several Euler-type series transformation formulas. As applications we obtain three binomial identities involving harmonic numbers and an identity for the Laguerre polynomials. We also evaluate in a closed form certain power series with harmonic numbers
By means of the derivative operator and Whipple-type $_3F_2$-series identities, two families of summation formulae involving generalized harmonic numbers are established.
In this paper, we present a formula for generating various exotic series in the spirit of Ovidiu Furdui and Alina Sintamarian. Our new series (evaluated in closed form) involve Bernoulli, harmonic, and Catalan numbers. Also Stirling numbers of the second kind, other special numbers, and exponential polynomials. The results include series identities with Laguerre polynomials and derangement polynomials.
We mainly answer two open questions about finite multiple harmonic $q$-series on 3-2-1 indices at roots of unity, posed recently by H. Bachmann, Y. Takeyama, and K. Tasaka. Two conjectures regarding cyclic sums which generalize the given results are also provided.
Summation by parts is used to find the sum of a finite series of generalized harmonic numbers involving a specific polynomial or rational function. The Euler-Maclaurin formula for sums of powers is used to find the sums of some finite series of generalized harmonic numbers involving nonnegative integer powers, which can be used to evaluate the sums of the finite series of generalized harmonic numbers involving polynomials. Many examples and a computer program are provided.
In this paper we present some new identities of hypergeometric type for multiple harmonic sums whose indices are the sequences $(\{1\}^a,c,\{1\}^b),$ $(\{2\}^a,c,\{2\}^b)$ and prove a number of congruences for these sums modulo a prime $p.$ The congruences obtained allow us to find nice $p$-analogues of Leshchiner's series for zeta values and to refine a result due to M. Hoffman and J. Zhao about the set of generators of the multiple harmonic sums of weight 7 and 9 modulo $p$. Moreover, we are also able to provide a new proof of Zagier's formula for $ζ^{*}(\{2\}^a,3,\{2\}^b)$ based on a finite…
We present an easily defined countable family of permutations of the natural numbers for which explicit rearrangements (i.e., the sums induced by the permutations) can be computed. The digamma function proves to be the key tool for the computations found here for the alternating harmonic series. The permutations $ϕ$ under consideration are simple in a sense: they are involutions ($ϕ\circϕ$ is the identity function). We show that the countable set of rearrangements obtained from the simple involutions considered below are dense in the reals.
The classical hypergeometric summation theorems are exploited to derive several striking identities on harmonic numbers including those discovered recently by Paule and Schneider (2003).
In a series of four papers we determine structures whose existence is dual, in the sense of complementary, to the existence of stars or combs. In the first paper of our series we determined structures that are complementary to arbitrary stars or combs. Stars and combs can be combined, positively as well as negatively. In the second and third paper of our series we provided duality theorems for all but one of the possible combinations. In this fourth and final paper of our series, we complete our solution to the problem of finding complementary structures for stars, combs, and their combination…
We evaluate in closed form several series involving products of Cauchy numbers with other special numbers (harmonic, skew-harmonic, hyperharmonic, and central binomial). Similar results are obtained with series involving Stirling numbers of the first kind. We focus on several particular cases which give new closed forms for Euler sums of hyperharmonic numbers and products of hyperharmonic and harmonic numbers.
Let $V$ be a $2m$-dimensional symplectic vector space over an algebraically closed field $K$. Let $\mbb_n^{(f)}$ be the two-sided ideal of the Brauer algebra $\mbb_n(-2m)$ over $K$ generated by $e_1e_3... e_{2f-1}$, where $0\leq f\leq [n/2]$. Let $\mathcal{HT}_{f}^{\otimes n}$ be the subspace of partially harmonic tensors of valence $f$ in $V^{\otimes n}$. In this paper, we prove that $\dim\mathcal{HT}_f^{\otimes n}$ and $\dim\End_{KSp(V)}\Bigl(V^{\otimes n}/V^{\otimes n}\mbb_n^{(f)}\Bigr)$ are both independent of $K$, and the natural homomorphism from $\mbb_n(-2m)/\mbb_n^{(f)}$ to $\End_{KSp(…
We give a proof of two identities involving binomial sums at infinity conjectured by Z-W Sun. In order to prove these identities, we use a recently presented method i.e. we view the series as specializations of generating series and derive integral representations. Using substitutions, we express these integral representations in terms of cyclotomic harmonic polylogarithms. Finally, by applying known relations among the cyclotomic harmonic polylogarithms, we derive the results. These methods are implemented in the computer algebra package HarmonicSums.
