Iterated Elliptic and Hypergeometric Integrals for Feynman Diagrams

by   J. Ablinger, et al.

We calculate 3-loop master integrals for heavy quark correlators and the 3-loop QCD corrections to the ρ-parameter. They obey non-factorizing differential equations of second order with more than three singularities, which cannot be factorized in Mellin-N space either. The solution of the homogeneous equations is possible in terms of convergent close integer power series as _2F_1 Gauß hypergeometric functions at rational argument. In some cases, integrals of this type can be mapped to complete elliptic integrals at rational argument. This class of functions appears to be the next one arising in the calculation of more complicated Feynman integrals following the harmonic polylogarithms, generalized polylogarithms, cyclotomic harmonic polylogarithms, square-root valued iterated integrals, and combinations thereof, which appear in simpler cases. The inhomogeneous solution of the corresponding differential equations can be given in terms of iterative integrals, where the new innermost letter itself is not an iterative integral. A new class of iterative integrals is introduced containing letters in which (multiple) definite integrals appear as factors. For the elliptic case, we also derive the solution in terms of integrals over modular functions and also modular forms, using q-product and series representations implied by Jacobi's ϑ_i functions and Dedekind's η-function. The corresponding representations can be traced back to polynomials out of Lambert--Eisenstein series, having representations also as elliptic polylogarithms, a q-factorial 1/η^k(τ), logarithms and polylogarithms of q and their q-integrals. Due to the specific form of the physical variable x(q) for different processes, different representations do usually appear. Numerical results are also presented.


page 1

page 2

page 3

page 4


Hypergeometric Structures in Feynman Integrals

Hypergeometric structures in single and multiscale Feynman integrals eme...

Calculating Three Loop Ladder and V-Topologies for Massive Operator Matrix Elements by Computer Algebra

Three loop ladder and V-topology diagrams contributing to the massive op...

Calculation of Integrals in MathPartner

We present the possibilities provided by the MathPartner service of calc...

Symbolic computation of hypergeometric type and non-holonomic power series

A term a_n is m-fold hypergeometric, for a given positive integer m, if ...

A toolbox to solve coupled systems of differential and difference equations

We present algorithms to solve coupled systems of linear differential eq...

Algorithms to solve coupled systems of differential equations in terms of power series

Using integration by parts relations, Feynman integrals can be represent...

Discovering and Proving Infinite Pochhammer Sum Identities

We consider nested sums involving the Pochhammer symbol at infinity and ...

Please sign up or login with your details

Forgot password? Click here to reset