We briefly sketch a proof concerning the structure of the all-order epsilon-expansions of generalized hypergeometric functions with special sets of parameters.
We review the hypergeometric function approach to Feynman diagrams. Special consideration is given to the construction of the Laurent expansion. As an illustration, we describe a collection of physically important one-loop vertex diagrams for which this approach is useful.
We continue the study of the construction of analytical coefficients of the epsilon-expansion of hypergeometric functions and their connection with Feynman diagrams. In this paper, we show the following results: Theorem A: The multiple (inverse) binomial sums of arbitrary weight and depth (see Eq. (1.1)) are expressible in terms of Remiddi-Vermaseren functions. Theorem B: The epsilon expansion of a hypergeometric function with one half-integer value of parameter (see Eq. (1.2)) is expressible in terms of the harmonic polylogarithms of Remiddi and Vermaseren with coefficients that are ratios of polynomials. Some extra materials are available via the www at this http://theor.jinr.ru/~kalmykov/hypergeom/hyper.html
HYPERDIRE is a project devoted to the creation of a set of Mathematica-based programs for the differential reduction of hypergeometric functions. The current version allows for manipulations involving the full set of Horn-type hypergeometric functions of two variables, including 30 functions.
We prove the following theorems: 1) The Laurent expansions in epsilon of the Gauss hypergeometric functions 2F1(I_1+a*epsilon, I_2+b*epsilon; I_3+p/q + c epsilon; z), 2F1(I_1+p/q+a*epsilon, I_2+p/q+b*epsilon; I_3+ p/q+c*epsilon;z), 2F1(I_1+p/q+a*epsilon, I_2+b*epsilon; I_3+p/q+c*epsilon;z), where I_1,I_2,I_3,p,q are arbitrary integers, a,b,c are arbitrary numbers and epsilon is an infinitesimal parameter, are expressible in terms of multiple polylogarithms of q-roots of unity with coefficients that are ratios of polynomials; 2) The Laurent expansion of the Gauss hypergeometric function 2F1(I_1+p/q+a*epsilon, I_2+b*epsilon; I_3+c*epsilon;z) is expressible in terms of multiple polylogarithms of q-roots of unity times powers of logarithm with coefficients that are ratios of polynomials; 3) The multiple inverse rational sums (see Eq. (2)) and the multiple rational sums (see Eq. (3)) are expressible in terms of multiple polylogarithms; 4) The generalized hypergeometric functions (see Eq. (4)) are expressible in terms of multiple polylogarithms with coefficients that are ratios of polynomials.
The differential-reduction algorithm, which allows one to express generalized hypergeometric functions with parameters of arbitrary values in terms of such functions with parameters whose values differ from the original ones by integers, is discussed in the context of evaluating Feynman diagrams. Where this is possible, we compare our results with those obtained using standard techniques. It is shown that the criterion of reducibility of multiloop Feynman integrals can be reformulated in terms of the criterion of reducibility of hypergeometric functions. The relation between the numbers of master integrals obtained by differential reduction and integration by parts is discussed.