We briefly sketch a proof concerning the structure of the all-order epsilon-expansions of generalized hypergeometric functions with special sets of parameters.
We will present some (formal) arguments that any Feynman diagram can be understood as a particular case of a Horn-type multivariable hypergeometric function. The advantages and disadvantages of this type of approach to the evaluation of Feynman diagrams is discussed.
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 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.
