相关论文: A generalization of Kummer's identity

In correspondence with Goldbach, Euler began investigating series of the form $\sum_{k \geq 1} k^{-m}\left(1 + 2^{-n} + \cdots + k^{-n}\right)$, which are known today as Euler sums. For the case where $n=1$ and $m \geq 2$, Euler was able to…

In the paper, the author finds an explicit formula for computing Bell numbers in terms of Kummer confluent hypergeometric functions and Stirling numbers of the second kind.

We present algorithms to evaluate two types of multiple sums, which appear in higher-order loop computations. We consider expansions of a generalized hypergeometric-type sums, $\sum_{n_1,...,n_N} [Gamma(a1.n+c1) Gamma(a2.n}+c2) ...…

In a series of letters to D.Stanton, R.W.Gosper presented many strange evaluations of hypergeometric series. Recently, we rediscovered one of the strange hypergeometric identities appearing in [Go]. In this paper, we prove this identity and…

In this paper, we prove two supercongruences by the Wilf-Zeilberger method. One of them is, for any prime $p>3$, \begin{align*} \sum_{n=0}^{(p-1)/2}\frac{3n+1}{(-8)^n}\binom{2n}n^3\equiv…

A series of the form $\sum_{\ell=0}^{\infty}c(\kappa,\ell)\,M_{\kappa,\ell+1/2}(r_{0})W_{\kappa,\ell+1/2}(r)P_{\ell}(\cos(\gamma))$ is evaluated explicitly where $c(\kappa,\ell)$ are suitable complex coefficients, $M_{\kappa,\mu}$ and…

Suppose that h in F[x,y,z], char F=2, defines a nodal cubic. In earlier papers we made a precise conjecture as to the Hilbert-Kunz functions attached to the powers of h. Assuming this conjecture we showed that a class of characteristic 2…

Let $K$ be an algebraically closed field, and let $F/K(x)$ be a Kummer extension of function fields of genus $g$. We provide a compact and explicit description of the gap set $G(Q)$ at any totally ramified place $Q$ of the extension…

The classical hypergeometric summation theorems are exploited to derive several striking identities on harmonic numbers including those discovered recently by Paule and Schneider (2003).

We significantly advance the research program initiated in "Moment-Based Evidence for Simple Rational-Valued Hilbert-Schmidt Generic 2 x 2 Separability Probabilities" (J. Phys. A, 45, 095305 [2012]). A function P(alpha), incorporating a…

N=(2,2), d=2 supersymmetric non-linear sigma-models provide a physical realization of Hitchin's and Gualtieri's generalized Kaehler geometry. A large subclass of such models are comprised by WZW-models on even-dimensional reductive group…

We show that the denominator formula for the strange series of affine superalgebras, conjectured by Kac and Wakimoto and proved by Zagier, follows from a classical determinant evaluation of Frobenius. As a limit case, we obtain exact…

Let ${\Bbb F}_2$ be the finite field of two elements, ${\Bbb F}_2^n$ be the vector space of dimension $n$ over ${\Bbb F}_2$. For sets $A,\,B\subseteq{\Bbb F}_2^n$, their sumset is defined as the set of all pairwise sums $a+b$ with $a\in…

In 2008, Lehner, Wettig, Guhr and Wei conjectured a power series identity and showed that it implied a determinantal formula for a Bessel-type integral over the unitary supergroup. The integral is the supersymmetric extension of Bessel-type…

Wilf-Zeilberger pairs are fundamental in the algorithmic theory of Wilf and Zeilberger for computer-generated proofs of combinatorial identities. Wilf-Zeilberger forms are their high-dimensional generalizations, which can be used for…

We show that the identity is the sum of two commutators in the algebra of all operators affiliated with a von Neumann algebra of type II$_1$, settling a question, in the negative, that had puzzled a number of us.

It is tempting to evaluate F2(x,1) and similar univariate specializations of Appell's functions by evaluating the apparent power series at x=0 straight away using the Gauss formula for 2F1(1). But this kind of naive evaluation can lead to…

In 1797, Pfaff gave a simple proof of a ${}_3F_2$ hypergeometric series summation formula which was much later reproved by Andrews in 1996. In the same paper, Andrews also proved other well-known hypergeometric identities using Pfaff's…

Let $A$ be a set of $N$ vectors in ${\mathbb Z}^n$ and let $v$ be a vector in ${\mathbb C}^N$ that has minimal negative support for $A$. Such a vector $v$ gives rise to a formal series solution of the $A$-hypergeometric system with…

Representation of analytic functions as convergent series in Jacobi polynomials $P_n^{(a,b)}$ is reformulated using a unified approach for almost all complex $a, b$. The coefficients of the series are given as usual integrals in the…