All-order epsilon-expansions of hypergeometric functions of one variable
Mikhail Yu. Kalmykov, Bernd A. Kniehl
备注:
6 pages. Based on the talk given by Kalmykov at International Bogolyubov Conference "Problems of Theoretical and Mathematical Physics" (dedicated to the 100th anniversary of the birth of N.N. Bogolyubov (1909-1992)), Dubna, Russia, August 21 - 27, 2009
We briefly sketch a proof concerning the structure of the all-order epsilon-expansions of generalized hypergeometric functions with special sets of parameters.
Higher-order diagrams required for radiative corrections to mixed electroweak and QCD processes at the LHC and anticipated future colliders will require numerically stable representations of the associated Feynman diagrams. The hypergeometric representation supplies an analytic framework that is useful for deriving such stable representations. We discuss the reduction of Feynman diagrams to master integrals, and compare integration-by-parts methods to differential reduction of hypergeometric functions. We describe the problem of constructing higher-order terms in the epsilon expansion, and cha…
Assumed that the parameters of a generalized hypergeometric function depend linearly on a small variable $\varepsilon$, the successive derivatives of the function with respect to that small variable are evaluated at $\varepsilon=0$ to obtain the coefficients of the $\varepsilon$-expansion of the function. The procedure, quite naive, benefits from simple explicit expressions of the derivatives, to any order, of the Pochhammer and reciprocal Pochhammer symbols with respect to their argument. The algorithm may be used algebraically, irrespective of the values of the parameters. It reproduces the …
It is demonstrated that the well-regularized hypergeometric functions can be evaluated directly and numerically. The package NumExp is presented for expanding hypergeometric functions and/or other transcendental functions in a small regularization parameter. The hypergeometric function is expressed as a Laurent series in the regularization parameter and the coefficients are evaluated numerically by using the multi-precision finite difference method. This elaborate expansion method works for a wide variety of hypergeometric functions, which are needed in the context of dimensional regularizatio…
In this talk, we discuss the algorithm for the construction of analytical coefficients of higher order epsilon expansion of some Horn type hypergeometric functions of two variables around rational values of parameters.
Multiple (inverse) binomial sums of arbitrary weight and depth and the all-order epsilon-expansion of generalized hypergeometric functions with one half-integer value of parameter
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 includes two parts: the first one, FdFunction, for manipulations with Appell hypergeometric functions $F_D$ of $r$ variables; and the second one, FsFunction, for manipulations with Lauricella-Saran hypergeometric functions $F_S$ of three variables. Both functions are related with one-loop Feynman diagrams. The published version includes also Chapter 5 with two theorems about structure of coefficients of epsilon-expansion of the Ho…
We briefly discuss the transcendental constants generated through the epsilon-expansion of generalized hypergeometric functions and their interrelation with the "sixth root of unity."
The decomposition in partial fractions of the quotient of Pochhammer symbols improves considerably a method, suggested in a precedent paper, which allows one to obtain the $\varepsilon$-expansion of functions of the hypergeometric class. The procedure is applied to several Appell and Kampé de Fériet functions considered in the literature. Explicit expressions and interesting properties of the derivatives of the Pochhammer and reciprocal Pochhammer symbols, which are essential elements in the procedure, are given in an appendix.
We present a new methodology, suitable for implementation on computer, to perform the $ε$-expansion of hypergeometric functions with linear $ε$ dependent Pochhammer parameters in any number of variables. Our approach allows one to perform Taylor as well as Laurent series expansion of multivariable hypergeometric functions. Each of the coefficients of $ε$ in the series expansion is expressed as a linear combination of multivariable hypergeometric functions with the same domain of convergence as that of the original hypergeometric function. We present illustrative examples of hypergeometric func…
We evaluate three typical four-loop non-planar massless propagator diagrams in a Taylor expansion in dimensional regularization parameter $ε=(4-d)/2$ up to transcendentality weight twelve, using a recently developed method of one of the present coauthors (R.L.). We observe only multiple zeta values in our results.
The relationship between Feynman diagrams and hypergeometric functions is discussed. Special attention is devoted to existing techniques for the construction of the $ε$-expansion. As an example, we present a detailed discussion of the construction of the epsilon-expansion of the Appell function $F_3$ around rational values of parameters via an iterative solution of differential equations. As a by-product, we have found that the one-loop massless pentagon diagram in dimension $d=3-2ε$ is not expressible in terms of multiple polylogarithms. Another interesting example is the Puiseux-type solutio…
Starting from the equation obeyed by the derivative, we construct several expansions of the solutions of the general Heun equation in terms of the Appell generalized hypergeometric functions of two variables of the fist kind. Several cases when the expansions reduce to ones written in terms of simpler mathematical functions such as the incomplete Beta function or the Gauss hypergeometric function are identified. The conditions for deriving finite-sum solutions via termination of the series are discussed. In general, the coefficients of the expansions obey four-term recurrence relations; howeve…
We introduce new hypergeometric series expansions of the solutions to the general Heun equation. The form of the Gauss hypergeometric functions used as expansion function differs from that used before. We derive three such expansions and further generate, by termination of the series, closed-form solutions for several sets of involved parameters.
We construct several expansions of the solutions of the confluent Heun equation in terms of the incomplete Beta functions and the Appell generalized hypergeometric functions of two variables of the fist kind. The coefficients of different expansions obey four-, five-, or six-term recurrence relations that are reduced to ones involving less number of terms only in a few exceptional cases. The conditions for deriving finite-sum solutions via termination of the series are discussed.
Hypergeometric structures in single and multiscale Feynman integrals emerge in a wide class of topologies. Using integration-by-parts relations, associated master or scalar integrals have to be calculated. For this purpose it appears useful to devise an automated method which recognizes the respective (partial) differential equations related to the corresponding higher transcendental functions. We solve these equations through associated recursions of the expansion coefficient of the multivalued formal Taylor series. The expansion coefficients can be determined using either the package {\tt Si…
We apply exact WKB methods to the study of the partition function of pure N=2 epsilon_i-deformed gauge theory in four dimensions in the context of the 2d/4d correspondence. We study the partition function at leading order in epsilon_2/epsilon_1 (i.e. at large central charge) and in an expansion in epsilon_1. We find corrections of the form ~ exp[- SW periods / epsilon_1] to this expansion. We attribute these to the exchange of the order of summation over gauge instanton number and over powers of epsilon_1 when passing from the Nekrasov form of the partition function to the topological string t…
The canonical partition function of a two-dimensional lattice gas in a field of randomly placed traps, like many other problems in physics, evaluates to the Gauss hypergeometric function ${}_2F_1(a,b;c;z)$ in the limit when one or more of its parameters become large. This limit is difficult to compute from first principles, and finding the asymptotic expansions of the hypergeometric function is therefore an important task. While some possible cases of the asymptotic expansions of ${}_2F_1(a,b;c;z)$ have been provided in the literature, they are all limited by a narrow domain of validity, eithe…
We present an explicit formula for the resolvent of the discrete Laplacian on the square lattice, and compute its asymptotic expansions around thresholds in low dimensions. As a by-product we obtain a closed formula for the fundamental solution to the discrete Laplacian. For the proofs we express the resolvent in a general dimension in terms of the Appell--Lauricella hypergeometric function of type $C$ outside a disk encircling the spectrum. In low dimensions it reduces to a generalized hypergeometric function, for which certain transformation formulas are available for the desired expansions.
We consider the derivatives of Horn hypergeometric functions of any number variables with respect to their parameters. The derivative of the function in $n$ variables is expressed as a Horn hypergeometric series of $n+1$ infinite summations depending on the same variables and with the same region of convergence as for original Horn function. The derivatives of Appell functions, generalized hypergeometric functions, confluent and non-confluent Lauricella series and generalized Lauricella series are explicitly presented. Applications to the calculation of Feynman diagrams are discussed, especial…
Partial wave expansion of the Coulomb-distorted plane wave is determined and studied. Dominant and sub-dominant asymptotic expansion terms are given and leading order three-dimensional asymptotic form is derived. The generalized hypergeometric function $_2F_2(a,a;a+l+1,a-l;z)$ is expressed with the help of confluent hypergeometric functions and the asymptotic expansion of $_2F_2(a,a;a+l+1,a-l;z)$ is simplified.
It is well-known that differentiation of hypergeometric function multiplied by a certain power function yields another hypergeometric function with a different set of parameters. Such differentiation identities for hypergeometric functions have been used widely in various fields of applied mathematics and natural sciences. In this expository note, we provide a simple proof of the differentiation identities, which is based only on the definition of the coefficients for the power series expansion of the hypergeometric functions.