相关论文: Algorithms for the indefinite and definite summati…

We present a partial proof of van Hoeij-Abramov conjecture about the algorithmic possibility of computation of finite sums of rational functions. The theoretical results proved in this paper provide an algorithm for computation of a large…

In this note we solve a problem about the rational representablility of hupergeometric terms which represent hypergeometric sums. This problem was proposed by Koornwinder in [4].

We present a new methodology, suitable for implementation on computer, to perform the $\epsilon$-expansion of hypergeometric functions with linear $\epsilon$ dependent Pochhammer parameters in any number of variables. Our approach allows…

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) ...…

Two linear recurrences exhibit mirror symmetry connecting the constants $e$ and $\pi$. When parametrized, their asymptotic connection constants extend to meromorphic functions satisfying additive functional equations with rational…

In recent work, Zeilberger and the author used a functional equations approach for enumerating permutations with r occurrences of the pattern 12...k. In particular, the approach yielded a polynomial-time enumeration algorithm for any fixed…

The confluent hypergeometric functions (the Kummer functions) defined by ${}_{1}F_{1}(\alpha;\gamma;z):=\sum_{n=0}^{\infty}\frac{(\alpha)_{n}}{n!(\gamma)_{n}}z^{n}\ (\gamma\neq 0,-1,-2,\cdots)$, which are of many properties and great…

Given any non-polynomial $G$-function $F(z)=\sum\_{k=0}^\infty A\_k z^k$ of radius of convergence $R$, we consider the $G$-functions $F\_n^{[s]}(z)=\sum\_{k=0}^\infty \frac{A\_k}{(k+n)^s}z^k$ for any integers $s\geq 0$ and $n\geq 1$. For…

We present algorithms to solve coupled systems of linear differential equations, arising in the calculation of massive Feynman diagrams with local operator insertions at 3-loop order, which do {\it not} request special choices of bases.…

Using a different approach, we derive integral representations for the Riemann zeta function and its generalizations (the Hurwitz zeta, $\zeta(-k,b)$, the polylogarithm, $\mathrm{Li}_{-k}(e^m)$, and the Lerch transcendent,…

In a prior paper we found that the Fourier-Legendre series of a Bessel function of the first kind J_{N}\left(kx\right) and of a modified Bessel functions of the first kind I_{N}\left(kx\right) lead to an infinite set of series involving…

The Mordell-Tornheim zeta function and the Herglotz-Zagier function $F(x)$ are two important functions in Mathematics. By generalizing a special case of the former, namely $\Theta(z, x)$, we show that the theories of these functions are…

We study a new Selberg-type integral with $n+m$ indeterminates, which turns out to be related to the deformed Calogero-Sutherland systems. We show that the integral satisfies a holonomic system of $n+m$ non-symmetric linear partial…

We extend Gegenbauer Polynomials technique to evaluate a class of complicated Feynman diagrams. New results in the form of $_3F_2$-hypergeometrical series of unit argument, are presented. As a by-product, we present a new transformation…

In this paper, by using the method of Contour Integral Representations and the Theorem of Residues and integral representations of series, we discuss the analytic representa- tions of parametric Euler sums that involve harmonic numbers…

We define an almost periodic extension of the Wiener algebras in the quaternionic setting and prove a Wiener-Levy type theorem for it, as well as extending the theorem to the matrix-valued case. We prove a Wiener-Hopf factorization theorem…

In this paper, we obtain analytical solutions of Laplace transform based some generalized class of the hyperbolic integrals in terms of hypergeometric functions ${}_3F_2 (\pm1)$, ${}_4F_3 (\pm1)$, ${}_5F_4(\pm1)$, ${}_6F_5(\pm1)$,…

Take a multiplicative monoid of sequences in which the multiplication is given by Hadamard product. The set of linear combinations of interleaving monoid elements then yields a ring. For hypergeometric sequences, the resulting ring is a…

A Wilf--Zeilberger pair $(F, G)$ in the discrete case satisfies the equation $ F(n+1, k) - F(n, k) = G(n, k+1) - G(n, k)$. We present a structural description of all possible rational Wilf--Zeilberger pairs and their continuous and mixed…

Using an integral of a hypergeometric function, we give necessary and sufficient conditions for irrationality of Euler's constant $\gamma$. The proof is by reduction to known irrationality criteria for $\gamma$ involving a Beukers-type…