Computing hypergeometric solutions of second order linear differential equations using quotients of formal solutions and integral bases

Abstract

We present two algorithms for computing hypergeometric solutions of second order linear differential operators with rational function coefficients. Our first algorithm searches for solutions of the formwhere r, f ∈ Q(x), and a1, a2, b1 ∈ Q. It uses modular reduction and Hensel lifting. Our second algorithm tries to find solutions in the form exp( r dx) · r0 · 2F1(a1, a2; b1; f ) + r1 · 2F1 ′ (a1, a2; b1; f )where r0, r1 ∈ Q(x), as follows: It tries to transform the input equation to another equation with solutions of type (1), and then uses the first algorithm.

Exact Logarithmic Four-Point Functions in the Critical Two-Dimensional Ising Model

“…Using the known solution F 1,1 (η) we can reduce the degree of the differential equation (4) by substituting F (η) = F 1,1 (η) η 0 dη G(η ). The function G(η) is finally obtained through a rational pull-back of the Gauss hypergeometric function [48], see also [50]. One gets two linearly independent solutions G 1,2 for G(η), related by the transforma-…”

Large Scale Analytic Calculations in Quantum Field Theories

“…After separating the first-order factorizing factors a Heun differential equation [164] remains in the case of the ρ-parameter. One may write the corresponding solution also using 2 F 1 -functions with rational argument [161,165] and rational parameters. It is now interesting to see whether these solutions can be expressed in terms of complete elliptic integrals, which can be checked algorithmically using the triangle group [166].…”

The ρ parameter at three loops and elliptic integrals

“…The homogeneous solutions of Eq. (2.7) can be found in terms of hypergeometric functions at rational argument using the algorithms presented in [17,55]. They read…”