Elliptic polylogarithms and basic hypergeometric functions

Open Access
Special Article - Tools for Experiment and Theory

Abstract

Multiple elliptic polylogarithms can be written as (multiple) integrals of products of basic hypergeometric functions. The latter are computable, to arbitrary precision, using a q-difference equation and q-contiguous relations.

Keywords

Analytic Continuation Simple Polis Shorthand Notation Hypergeometric Series High Depth 

1 Introduction

There is a wide class of Feynman integrals, mainly related to massless theories, which can be expressed in terms of multiple polylogarithms. More challenging are Feynman integrals, which cannot be expressed in terms of multiple polylogarithms. Evaluating this integrals one encounters elliptic generalizations of (multiple) polylogarithms (EP); examples can be found in Refs. [1, 2, 3] and in Refs. [4, 5]. From a more abstract point of view on (multiple) elliptic polylogarithms, in particular on their analytic structure, see Refs. [6, 7] and Refs. [8, 9, 10, 11]. An interesting problem is to find a suitable integral representation and the analytic continuation of EPs and an efficient algorithm for their numerical evaluation.

2 Elliptic polylogarithms

In Refs. [1, 2, 3] the following functions, of depth two, are defined:
$$\begin{aligned} {{\mathrm {ELi}}}_{n\,;\,m}\left( x\,,\,y\,;\,q \right) = \sum _{j=1}^{\infty }\,\sum _{k=1}^{\infty }\,\frac{x^j\,y^k}{j^n\,k^m}\, q^{jk} . \end{aligned}$$
(1)
For the sake of simplicity we shall assume that \(\mathrm {arg}(q) = 0\). The results derived can be extended by using analytic continuation. Following Ref. [7] we prefer to start from
$$\begin{aligned} {{\mathrm {ELi}}}_{n\,;\,m}\left( x\,,\,y\,;\,q \right) = \sum _{j=1}^{\infty }\,\frac{x^j}{j^n}\,\mathrm {Li}_{m}\left( {y\,q^j}\right) , \end{aligned}$$
(2)
where \(\mathrm {Li}_{m}\left( {{\mathrm {z}}}\right) \) is a polylogarithm [12]. Furthermore, \(q \in \mathbb {C}^{x}\) with \(| q | < 1\) and \(y \in \mathbb {C}\) with \(1 \notin q^{\mathbb {R}}\,y\). Thus, for \(x < | q |^{-1}\) the series converges absolutely. It is immediately seen that \({{\mathrm {ELi}}}_{0\,;\,0}\left( x\,,\,y\,;\,q \right) \) has a pole at \(x = 1\).
Note that Ref. [7] defines functions whose simplest example is given by
$$\begin{aligned} {\mathrm {E}}(x\,,\,y\,;\,q) = \sum _{j \in \mathbb {Z}}\,x^j\,\mathrm {Li}_{1}\left( {y\,q^j}\right) ,\end{aligned}$$
(3)
requiring \(1< x < | q |^{-1}\). The elliptic dilogarithm is defined in Ref. [5] as
$$\begin{aligned} {\hat{{\mathrm {E}}}}_2(x)= & {} \sum _{n=0}^{\infty }\,\left[ \mathrm {Li}_{2}\left( {q^n\,x}\right) - \mathrm {Li}_{2}\left( { - q^n\,x}\right) \right] \nonumber \\&- \sum _{n=1}^{\infty }\,\left[ \mathrm {Li}_{2}\left( {\frac{q^n}{x}}\right) - \mathrm {Li}_{2}\left( {- \frac{q^n}{x}}\right) \right] ,\end{aligned}$$
(4)
and we have the following relations:
$$\begin{aligned} \sum _{n=1}^{\infty }\,\mathrm {Li}_{2}\left( {q^n\,{\mathrm {z}}}\right)= & {} {{\mathrm {ELi}}}_{0\,;\,2}\left( 1\,,\,{\mathrm {z}}\,;\,q \right) ,\nonumber \\ \Lambda _2( - i\,{\mathrm {z}})= & {} \frac{1}{2\,i}\,\Bigl [ \mathrm {Li}_{2}\left( {{\mathrm {z}}}\right) - \mathrm {Li}_{2}\left( {- {\mathrm {z}}}\right) \Bigr ]\nonumber \\= & {} \sum _{n=0}^{\infty }\,\frac{(- 1 )^n}{( 2\,n + 1 )^2}\,( - i\,{\mathrm {z}})^{2\,n + 1} ,\end{aligned}$$
(5)
where the last relation holds for \(| {\mathrm {z}}| < 1\).
Next, generalizations of higher depth of Eq. (2) are also defined in Ref. [3]. They are defined by
$$\begin{aligned}&{\mathrm {ELi}}_{[n]_l;[m]_l;[2\,\sigma ]_{l-1}} \left( [x]_l;[y]_l;q \right) \nonumber \\&\quad =\sum _{j_1=1}^{\infty }\,\cdots \,\sum _{j_l=1}^{\infty }\, \sum _{k_1=1}^{\infty }\,\cdots \,\sum _{k_l=1}^{\infty }\, \frac{x^{j_1}}{j^{n_1}_1}\,\cdots \,\frac{x^{j_l}}{j^{n_l}_l}\; \frac{y^{k_1}}{k^{m_1}_1}\,\cdots \,\frac{y^{k_l}}{k^{m_l}_l} \nonumber \\&\qquad \times \frac{q^{j_1\,k_1+\cdots + j_l\,k_l}}{\prod _{i=1}^{l-1}\,\left( j_i\,k_i +\cdots + j_l\,k_l \right) ^{\sigma _i}} ,\end{aligned}$$
(6)
which are elliptic polylogarithms of depth \(2\,l\). We have introduced the abbreviation
$$\begin{aligned}{}[n]_l=n_1,\ldots ,n_l \end{aligned}$$
(7)
etc. The following relation holds:
$$\begin{aligned} {{\mathrm {ELi}}}_{n\,;\,m}\left( x\,,\,y\,;\,q \right)= & {} \int \frac{\mathrm{d}{\mathrm {z}}}{{\mathrm {z}}}\,{{\mathrm {ELi}}}_{n-1\,;\,m}\left( {\mathrm {z}}\,x\,,\,y\,;\,q \right) \nonumber \\= & {} \int \frac{\mathrm{d}{\mathrm {z}}}{{\mathrm {z}}}\,{{\mathrm {ELi}}}_{n\,;\,m-1}\left( x\,,\,{\mathrm {z}}\,y\,;\,q \right) . \end{aligned}$$
(8)
Furthermore, for \(l > 1\), we can use
$$\begin{aligned}&\int _0^1 \frac{\mathrm{d}{\mathrm {z}}}{{\mathrm {z}}}\, {\mathrm {ELi}}_{[n]_l;[m]_l;[2\,\sigma ]_{l-1}} \left( [x]_l;[y]_l;{\mathrm {z}}\,q \right) \nonumber \\&\quad ={\mathrm {ELi}}_{[n]_l;[m]_l;2\,(\sigma _1 + 1)\,\cdots \,2\,\sigma _{l-1}} \left( [x]_l;[y]_l;q \right) ,\end{aligned}$$
(9)
$$\begin{aligned}&{\mathrm {ELi}}_{[n]_l;[m]_l;0\cdots 2\sigma _{l-1}} \left( [x]_l;[y]_l;q \right) \nonumber \\&\quad ={{\mathrm {ELi}}}_{n_1\,;\,m_1}\left( x_1\,,\,y_1\,;\,q \right) \,\nonumber \\&\qquad \times \,{\mathrm {ELi}}_{n_2\,\cdots \,n_l;m_2\,\cdots \,m_l; 2\,\sigma _2\cdots 2\,\sigma _{l-1}} \left( x_2\,\cdots \,x_l;y_2\,\cdots \,y_l;q \right) .\nonumber \\ \end{aligned}$$
(10)
In Eqs. (8)–(10) we find recurrence relations where the starting point is always \({{\mathrm {ELi}}}_{0\,;\,0}\left( x\,,\,y\,;\,q \right) \), e.g.
$$\begin{aligned}&{\mathrm {ELi}}_{n_1,n_2;m_1,m_2;2} \left( x_1,x_2;y_1,y_2;q \right) \nonumber \\&=\int _0^1 \frac{\mathrm{d}{\mathrm {z}}}{{\mathrm {z}}}\, {{\mathrm {ELi}}}_{n_1\,;\,m_1}\left( x_1\,,\,y_1\,;\,{\mathrm {z}}\,q \right) \, {{\mathrm {ELi}}}_{n_2\,;\,m_2}\left( x_2\,,\,y_2\,;\,{\mathrm {z}}\,q \right) ,\nonumber \\ \end{aligned}$$
(11)
followed by repeated applications of Eq. (8). In the next section we will define basic hypergeometric series and establish the connection with elliptic polylogarithms.

3 Basic hypergeometric functions

It is easy to show that \({{\mathrm {ELi}}}_{0\,;\,0}\left( x\,,\,y\,;\,q \right) \) can be written in terms of a basic hypergeometric function. Indeed,
$$\begin{aligned} {{\mathrm {ELi}}}_{0\,;\,0}\left( x\,,\,y\,;\,q \right)= & {} \sum _{j=1}^{\infty }\,x^j\,\frac{y\,q^j}{1 - y\,q^j}\nonumber \\= & {} \frac{ x y q}{1 - y\,q}\,\upphi \left( q,y q;y q^2;q,x q \right) \nonumber \\= & {} \sum _{j=1}^{\infty }\,y^j\,\frac{x\,q^j}{1 - x\,q^j}\nonumber \\= & {} \frac{ x y q}{1 - x\,q}\,\upphi \left( q,x q;x q^2;q,y q \right) . \end{aligned}$$
(12)
The unilateral basis hypergeometric series [13] is defined as
$$\begin{aligned} {}_{r}\upphi _{s} \left[ \begin{array}{c} \alpha _1,\,\cdots \,\alpha _r;{\mathrm {z}}\\ \beta _1\,\cdots \,\beta _s \end{array} \right]= & {} \sum _{n=0}^{\infty }\, \frac{(\alpha _1;q)_n\,\cdots \, (\alpha _r;q)_n}{(\beta _1;q)_n\,\cdots \, (\beta _{s+1};q)_n}\nonumber \\&\times \,[(-1)^n\,q^{n\,(n-1)/2}]^{1 + s - r}{\mathrm {z}}^n ,\end{aligned}$$
whit \(\beta _{s+1} = q\) and the q-shifted factorial defined by
$$\begin{aligned} (\alpha \,;,q)_n = \prod _{k=0}^{n-1}\,\left( 1 - \alpha \,q^k \right) .\end{aligned}$$
(13)
The basic hypergeometric series was first introduced by Heine and was later generalized by Ramanujan. For the case of interest we will use the shorthand notation
$$\begin{aligned} \upphi \left( a,b;c;q,{\mathrm {z}}\right) = {}_{2}\upphi _{1}\left( a,b;c;q,{\mathrm {z}}\right) = {}_{2}\upphi _{1} \left[ \begin{array}{c} a,b;{\mathrm {z}}\\ c \end{array} \right] .\end{aligned}$$
Furthermore, we introduce
$$\begin{aligned} \Phi \left( x,y;q \right) = \upphi \left( q,y\,q;y\,q^2;q,x\,q \right) . \end{aligned}$$
(14)
If \(| q | < 1\) the \(\upphi \) series converges absolutely for \(| {\mathrm {z}}| < 1\). The series also converges absolutely if \(| q | > 1\) and \(| {\mathrm {z}}| < | c\,q |/| a\,b |\). With \(a = q, b = y\,q, c = y\,q^2\) and \({\mathrm {z}}= x\,q\) we have that the basic hypergeometric series converges absolutely if
  • \(| q | < 1\) and \(| x\,q | < 1\),

  • \(| q | > 1\) and \(| x | < 1\), which is a special case of \(| {\mathrm {z}}| < | c\,q |/| a\,b |\).

In the following we will always assume that \(| q | < 1\). Indeed, using \(p = 1/q\) and
$$\begin{aligned} (a;q)_n = (a^{-1};p)_n\,( - a )^n\,p^{n\,(n-1)/2} ,\end{aligned}$$
(15)
one obtains the following relation,
$$\begin{aligned} \upphi \left( a,b;c;q,{\mathrm {z}}\right) = \upphi \left( \frac{1}{a},\frac{1}{b};\frac{1}{c};p, \frac{a\,b}{c}\,p\,{\mathrm {z}}\right) . \end{aligned}$$
(16)
Using Eq. (16) we obtain
$$\begin{aligned}&{{\mathrm {ELi}}}_{0\,;\,0}\left( x\,,\,y\,;\,q \right) = \frac{x\,y}{p - y}\, \upphi \left( p,\frac{p}{y};\frac{p^2}{y};p,x \right) ,\nonumber \\&\quad p = \frac{1}{q} ,\end{aligned}$$
(17)
and the inversion formula
$$\begin{aligned} {{\mathrm {ELi}}}_{0\,;\,0}\left( \frac{1}{x}\,,\,\frac{1}{y}\,;\,q \right)= & {} \frac{1}{x\,(y\,p - 1)}\,\Phi \left( \frac{1}{x\,p}\,,\,y\,;\,p \right) \nonumber \\= & {} -\frac{1}{y}\,{{\mathrm {ELi}}}_{0\,;\,0}\left( \frac{1}{x\,p}\,,\,y\,;\,p \right) ,\quad p = \frac{1}{q}.\nonumber \\ \end{aligned}$$
(18)
The next problem is the continuation of the \(\upphi \) series into the complex \({\mathrm {z}}\) plane and the extension to complex q inside the unit disc. We have two alternatives, analytic continuation and recursion relations. First we present an auxiliary relation that will be useful in the continuation of \(\upphi .\)

3.1 q-Contiguous relations

There are several q-contiguous relations for \(\upphi \) and one will be used extensively in the rest of this work, see Eq. (A.10) of Ref. [14] (see also 1.10 of Ref. [15]1); using a shorthand notation, i.e.
$$\begin{aligned}&\upphi = {}_2\upphi _1\left( a,b;c;q,{\mathrm {z}}\right) \nonumber \\&\quad \upphi \left( c_{\pm n} \right) = {}_2\upphi _1\left( a,b;c\,q^{\pm n};q,{\mathrm {z}}\right) ,\end{aligned}$$
(19)
one derives
$$\begin{aligned}&q\,(1 - c\,q)\,(1 - c)\,(c\,q - a\,b\,{\mathrm {z}})\,\upphi = (1 - c\,q)\,\{ (q^2\,c\,(1 - c)\nonumber \\&\quad +\,[(c\,q\,(b + a) - (1 + q)\,a\,b]\,{\mathrm {z}}\}\,\upphi \left( c_{+1} \right) \nonumber \\&\quad +\, (c\,q - a)\,(c\,q - b)\,{\mathrm {z}}\,\upphi \left( c_{+2} \right) . \end{aligned}$$
(20)

3.2 Analytic continuation

A detailed discussion of the analytic continuation of basic hypergeometric series can be found in Ref. [15] (Sects. 4.2–4.10) and in Ref. [17] (Theorem 4.1). From Ref. [15] we can use the following analytic continuation
$$\begin{aligned} {}_2\upphi _{1}\left( a,b;c;q,{\mathrm {z}}\right)= & {} \frac{(b,c/a;q)_{\infty }\; (a {\mathrm {z}},q/a {\mathrm {z}};q)_{\infty }}{(c,b/a;q)_{\infty }\; ({\mathrm {z}},q/{\mathrm {z}};q)_{\infty }}\;\nonumber \\&\times \,{}_2\upphi _{1}\left( a,a\,q/c;a\,q/b;q,c\,q/a\,b\,{\mathrm {z}}\right) \nonumber \\&+\,\frac{(a,c/b;q)_{\infty }\; (b {\mathrm {z}},q/b {\mathrm {z}};q)_{\infty }}{(c,a/b;q)_{\infty }\; ({\mathrm {z}},q/{\mathrm {z}};q)_{\infty }}\nonumber \\&\times \,{}_2\upphi _{1}\left( b,b\,q/c;b\,q/a;q,c\,q/a\,b\,{\mathrm {z}}\right) ,\nonumber \\ \end{aligned}$$
(21)
where \(|{\mathrm {arg}}( - {\mathrm {z}}) | < \pi \), c and a / b are not integer powers of q and \(a, b, {\mathrm {z}}\not = 0\). Furthermore,
$$\begin{aligned}&\left( a_1,a_2;q \right) _{\infty } = \left( a_1;q \right) _{\infty }\,\left( a_2;q \right) _{\infty } ,\nonumber \\&\quad \left( a;q \right) _{\infty } = \prod _{k=0}^{\infty }\,\left( 1 - a\,q^k \right) .\end{aligned}$$
(22)
It is worth noting that the coefficients in Eq. (21) are reducible to \({}_1\upphi _0\) functions, e.g.
$$\begin{aligned} \frac{(c/a;q)_{\infty }}{(c;q)_{\infty }} = \prod _{k=0}^{\infty }\, \frac{1 - c/a\,q^k}{1 - c\,q^k} = {}_1\upphi _0\left( \frac{1}{a};q,c \right) ,\end{aligned}$$
(23)
etc. A more convenient way to compute the \(q\,\)-shifted factorial is given by
$$\begin{aligned} ({\mathrm {z}}\,:\,q)_{\infty } = \sum _{n=0}^{\infty }\,\frac{q^{n\,{n-1}/2}}{(q;q)_n}\, \left( - {\mathrm {z}}\right) ^n,\quad | {\mathrm {z}}| < \infty .\end{aligned}$$
(24)
The condition \(|{\mathrm {arg}}( - {\mathrm {z}}) | < \pi \) must be understood as follows: The Mellin transform of \(\upphi \) (for \({\mathrm {z}}\in \mathbb {R}, {\mathrm {z}}> 0\)) is a Cauchy Principal Value. With \(| q | < 1\) the two series in Eq. (21) can be used for \(| {\mathrm {z}}| > {\mathrm {z}}_0\) with \({\mathrm {z}}_0 = | c/(a\,b)\,q |\). If \(| {\mathrm {z}}| < {\mathrm {z}}_0\) we can use Eq. (20); repeated applications transform c into \(| q^n\,c |\) until a value of n is reached for which \({\mathrm {z}}_n = | q^{n + 1}\,c/(a\,b) |\) is such that \(| {\mathrm {z}}| > {\mathrm {z}}_n\).
In Sect. (4.8) of Ref. [15] it is shown that extension to complex q inside the unit disk is possible, provided that
$$\begin{aligned} \left| \hbox {arg}(-{\mathrm {z}})-\frac{\omega _2}{\omega _1}\,\ln | {\mathrm {z}}|\,\right| < \pi ,\end{aligned}$$
(25)
where \(\ln q = - \omega _1 - i\,\omega _2\). As seen in the complex \({\mathrm {z}}\) plane the condition is represented by a spiral of equation
$$\begin{aligned} r = \exp \left\{ \frac{\omega _1}{\omega _2}\,\theta \right\} ,\quad {\mathrm {z}}= r\,e^{\theta } . \end{aligned}$$
(26)
It remains to study the convergence for \(| q | = 1\). In Ref. [18] a condition is presented so that the radius of convergence is positive; furthermore, the numbers q with positive radius are densely distributed on the unit circle. Obviously, in our case (\(a = q\), \(b= y\,q\) and \(c = y\,q^2\)), \(q = 1\) reduces any \({\mathrm {ELi}}\) function to a product of polylogarithms.

3.3 Basic hypergeometric equation

In the context of functional equations the basic hypergeometric series provides a solution to a second order \(q\,\)-difference equation, called the basic hypergeometric equation, see Refs. [17, 19].

We will now show how \(\upphi \) can be computed to arbitrary precision, using a theorem proved in Ref. [20].

Theorem 1

(Chen, Hou, Mu) Let \(f({\mathrm {z}})\) be a continuous function defined for \(| {\mathrm {z}}| < r\) and \(d \ge 2\) an integer. Suppose that
$$\begin{aligned} f({\mathrm {z}}) = \sum _{n=1}^{d}\,a_n({\mathrm {z}})\,f({\mathrm {z}}\,q^n) ,\end{aligned}$$
(27)
with \(a_n(0) = {\mathrm {w}}_n\). Suppose that exists a real number \({\mathrm {M}}> 0\) such that
$$\begin{aligned} | a_n({\mathrm {z}}) - {\mathrm {w}}_n | \le {\mathrm {M}}\,| {\mathrm {z}}|, \quad 1 \le n \le d ,\end{aligned}$$
(28)
and
$$\begin{aligned}&|{\mathrm {w}}_d|+|{\mathrm {w}}_{d-1}+{\mathrm {w}}_d | +\,\cdots \, | {\mathrm {w}}_2 +\,\cdots \,{\mathrm {w}}_d | < 1 ,\nonumber \\&\quad {\mathrm {w}}_1 +\,\cdots \,+ {\mathrm {w}}_d = 1 . \end{aligned}$$
(29)
The \(f({\mathrm {z}})\) is uniquely determined by f(0) and the functions \(a_n({\mathrm {z}})\).
With
$$\begin{aligned} {\mathrm {F}}({\mathrm {z}}) = {}_2\upphi _{1}\left( a,b;c;q,{\mathrm {z}}\right) \end{aligned}$$
(30)
we have
$$\begin{aligned} {\mathrm {F}}({\mathrm {z}}) = \frac{(a + b)\,q\,{\mathrm {z}}- c - q}{q\,({\mathrm {z}}- 1)}\,{\mathrm {F}}({\mathrm {z}}\,q) + \frac{c - q\,a\,b\,{\mathrm {z}}}{q\,({\mathrm {z}}- 1)}\,{\mathrm {F}}({\mathrm {z}}\,q^2) ,\nonumber \\ \end{aligned}$$
(31)
thus, by the theorem and for \(| q | < 1\) and \(| c/q | < 1\) (from Eq. (29)) we can determine uniquely \({\mathrm {F}}({\mathrm {z}})\) by \({\mathrm {F}}(0)\) and the q-difference equation (Eq. (31)), i.e. we define
$$\begin{aligned} \left\{ \begin{array}{l} {\mathrm {A}}^{(i)}_{n+1} = a_i({\mathrm {z}}\,q^{n+1})\,{\mathrm {A}}^{(1)}_n + {\mathrm {A}}^{(i+1)}_n ,\quad 1 \le i < 2 \\ {\mathrm {A}}^{(2)}_{n+1} = a_2({\mathrm {z}}\,q^{n+1})\,{\mathrm {A}}^{(1)}_n \end{array} \right. \end{aligned}$$
with \({\mathrm {A}}^{(i)}_0 = a_i({\mathrm {z}})\) and obtain
$$\begin{aligned} {\mathrm {F}}({\mathrm {z}}) = {\mathrm {F}}(0)\,\sum _{i=1}^{2}\,\lim _{n \rightarrow \infty }\,{\mathrm {A}}^{(i)}_n .\end{aligned}$$
(32)
High accuracy can be obtained by computing
$$\begin{aligned} {\mathrm {F}}_{{\mathrm {N}}}({\mathrm {z}}) = {\mathrm {F}}(0)\,\sum _{i=1}^{2}\,{\mathrm {A}}^{(i)}_{{\mathrm {N}}} ,\end{aligned}$$
(33)
for \({\mathrm {N}}\) high enough. Application to \({}_2\upphi _{1}\left( q,y\,q;y\,q^2;q,x\,q \right) \) requires \(| y\,q | < 1\).
If \(|q|>1\) we can use the q-difference equation downward. In this case
$$\begin{aligned} {\mathrm {F}}({\mathrm {z}}) = \frac{(c + q)\,q - (a + b)\,{\mathrm {z}}}{c\,q - a\,b\,{\mathrm {z}}}\,{\mathrm {F}}(q^{-1}\,{\mathrm {z}}) + \frac{{\mathrm {z}}- q^2}{c\,q - a\,b\,{\mathrm {z}}}\,{\mathrm {F}}(q^{-2}\,{\mathrm {z}}) ,\nonumber \\ \end{aligned}$$
(34)
and
$$\begin{aligned} \left\{ \begin{array}{l} {\mathrm {A}}^{(i)}_{n+1} = a_i({\mathrm {z}}\,q^{-n-1})\,{\mathrm {A}}^{(1)}_n + {\mathrm {A}}^{(i+1)}_n ,\quad 1 \le i < 2 \\ {\mathrm {A}}^{(2)}_{n+1} = a_2({\mathrm {z}}\,q^{-n-1})\,{\mathrm {A}}^{(1)}_n \end{array} \right. \end{aligned}$$
which requires \(| q/c | < 1\). In both cases the q-difference equation determines \({\mathrm {F}}\) without limitations in the \({\mathrm {z}}\) complex plane.
To summarize, we can compute \(\upphi \) by using the sum of the series inside the circle of convergence (and their analytic continuation) or by using the q-difference equation. The advantage in using the latter is no limitation on \({\mathrm {z}}\) but
$$\begin{aligned} |q|<1\quad \hbox {and}\quad |c/q|<1\qquad \hbox {or}\qquad | q|>1\quad \hbox {and}\quad |q/c|<1 .\nonumber \\ \end{aligned}$$
(35)
To be precise, the function defined by Eqs. (31)–(35) is a meromorphic continuation of \(\upphi \) with simple poles located at \({\mathrm {z}}= q^{- n}, \;\; n \in \mathbb {Z}^*\). Seen as a function of \(\alpha = \ln (z)/(2\,i\,\pi )\) the continuation shows poles at \(2\,i\,\pi \,\alpha = n\,\omega \) where \(\omega = - \ln q\). What to do when we are outside the two regions of applicability? Instead of using analytic continuation we can do the following: assume that \(| q | < 1\) but \(| c/q | > 1\). We can use Eq. (20); repeated applications transform |c / q| into \(| q^n\,c |\) until a value of n is reached for which \(| q^n\,c | < 1\). Similar situation when \(| q | > 1\) and \(| q/c | > 1\) where repeated applications transform |q / c| into \(| q^{-n}\,c |\) until a value of n is reached for which \(| q^{-n}\,c | < 1\).
It is worth noting that the \(\Phi \) function satisfies
$$\begin{aligned} \Phi \left( x\,,\,y\,;\,q \right)= & {} \left[ \frac{1 - q^2\,x}{1 - q\,x} + q\,y \right] \,\Phi \left( x\,q\,,\,y\,;\,q \right) \nonumber \\&-\, q\,y\frac{1 - q^2\,x}{1 - q\,x}\,\Phi \left( x\,q^2\,,\,y\,;\,q \right) \nonumber \\= & {} x\,q\,\frac{1 - q\,y}{1 - q^2\,y}\,\Phi \left( x\,,\,y\,q\,;\,q \right) + 1 ,\end{aligned}$$
(36)
which are the q-shift along x and y.

3.4 Poles

Using Eqs. (12) and (31) we conclude that \({{\mathrm {ELi}}}_{0\,;\,0}\left( x\,,\,y\,;\,q \right) \) has simple poles located at
$$\begin{aligned} x\,q = q^{- n} ,\quad y\,q = q^{- n} ,\qquad n \in \mathbb {Z}^* .\end{aligned}$$
(37)
Poles in the complex y-plane can also be analyzed by using Eqs. (12) and (20). Indeed, from Eq. (20) we obtain
$$\begin{aligned} \Phi \left( x\,,\,y\,;\,q \right)= & {} \frac{1}{1 - x}\,\left[ \frac{1 + y}{1 - q^2\,y}\,x\,q - \frac{1 + q}{q}\,x + 1\right] \,\nonumber \\&\times \,\upphi \left( q,y\,q;y\,q^3;q,x\,q \right) \nonumber \\&+\,\frac{x}{1 - x}\,\frac{1 - q^2}{1 - q^3\,y}\,\frac{1}{q}\, \upphi \left( q,y\,q;y\,q^4;q,x\,q \right) .\nonumber \\ \end{aligned}$$
(38)
Using \(\Phi \left( x\,,\,\frac{1}{q}\,;\,q \right) = 1\) we have a simple pole of \({{\mathrm {ELi}}}_{0\,;\,0}\left( x\,,\,y\,;\,q \right) \) at \(y = 1/q\) with residue \(- x/q\) (the pole at \(x = 1/q\) has residue \(- y/q\)). Repeated applications of the q-contiguous relation exhibit the poles at \(y\,q = q^{- n}, n \in \mathbb {Z}^*\).
Residues can be computed according to the following chain
$$\begin{aligned} \Phi \left( x\,,\,y\,;\,q \right)= & {} \frac{{\mathrm {R}}_1}{x - \frac{1}{q}} + \mathrm {Reg}_1\left( x,y;q \right) = \frac{{\mathrm {R}}_2}{x - \frac{1}{q^2}} \nonumber \\&+\,{\mathrm {Reg}}_2\left( x,y;q \right) = \text{ etc. } ,\end{aligned}$$
(39)
where the “regular” part admits a Taylor expansion around \(x = 1/q\), \(x = 1/q^2\) etc.
$$\begin{aligned} {\mathrm {R}}_1= & {} \left( 1 - \frac{1}{q} \right) \,\Phi \left( 1\,,\,y\,;\,q \right) + y\,\left( 1 - q \right) \,\Phi \left( q\,,\,y\,;\,q \right) ,\nonumber \\ {\mathrm {R}}_2= & {} y\,\left( 1 - \frac{1}{q} \right) \,\Phi \left( 1\,,\,y\,;\,q \right) + y^2\,\left( 1 - q \right) \,\Phi \left( q\,,\,y\,;\,q \right) ,\nonumber \\ {}= & {} \text{ etc. } \end{aligned}$$
(40)
Using the series
$$\begin{aligned} \Phi \left( q^k\,,\,y\,;\,q \right) = (1 - y\,q)\,\sum _{n=0}^{\infty }\,\frac{q^{n\,(k + 1)}}{1 - y\,q^{n+1}} ,\end{aligned}$$
(41)
we obtain
$$\begin{aligned} {\mathrm {R}}_1= (y\,q - 1)\,\frac{1}{q} ,\qquad {\mathrm {R}}_1= (y\,q - 1)\,\frac{y}{q} ,\qquad \text{ etc. } \end{aligned}$$
(42)
showing the following residues for \({{\mathrm {ELi}}}_{0\,;\,0}\left( x\,,\,y\,;\,q \right) \):
$$\begin{aligned}&{\mathrm {Res}}_{x = 1/q^n}\,{{\mathrm {ELi}}}_{0\,;\,0}\left( x\,,\,y\,;\,q \right) = - \frac{y}{q},\; - \frac{y^2}{q^2},\; - \frac{y^3}{q^3},\; \ldots \nonumber \\&\quad \text{ for }\ n = 1,2,3,\ldots \end{aligned}$$
(43)
The isolation of simple poles in \({{\mathrm {ELi}}}_{0\,;\,0}\left( x\,,\,y\,;\,q \right) \) is crucial in order to compute Elliptic polylogarithms of higher depth.

4 Elliptic polylogarithms of higher depth

In this section we show how to compute arbitrary elliptic polylogarithms, in particular how to identify their branch points (their multi-valued component).

The procedure is facilitated by the fact that both the basic hypergeometric equation and the q-contiguous relation allows to isolate the (simple) poles of \({{\mathrm {ELi}}}_{0\,;\,0}\left( x\,,\,y\,;\,q \right) \) with a remainder given by a “\(+\)” distribution.

Introducing the usual \(i\,\varepsilon \) prescription we obtain a general recipe for computing elliptic polylogarithms “on the cuts” (x and or y real and greater than 1 / q). In the following we discuss few explicit examples.

\(\underline{\mathrm{ELi}_{\mathbf{1,0}}(\mathbf{x,y; q}})\)

From Eq. (8) we obtain
$$\begin{aligned} {{\mathrm {ELi}}}_{1\,;\,0}\left( x\,,\,y\,;\,q \right) = \frac{x y q}{1 - y\,q}\,\int _0^1\,\mathrm{d}{\mathrm {z}}\, \Phi \left( {\mathrm {z}}\,x\,,\,y\,;\,q \right) .\end{aligned}$$
(44)
For \(x\,q \in \mathbb {R}\) the integral is defined when \(x < 1/q\), otherwise it is understood that \(x \rightarrow x \pm i\,\varepsilon \) where \(\varepsilon \rightarrow 0_{+}\). Consider the case
$$\begin{aligned} \frac{1}{q}< x < \frac{1}{q^2} . \end{aligned}$$
(45)
From Eq. (31) we derive
$$\begin{aligned} \Phi \left( {\mathrm {z}}\,x\,,\,y\,;\,q \right) = \sum _{i=1,2}\,\frac{{\mathrm {t}}_i({\mathrm {z}})}{{\mathrm {z}}\,x\,q - 1}\, \Phi \left( {\mathrm {z}}\,x\,\,q^i\,,\,y\,;\,q \right) , \end{aligned}$$
(46)
From Eq. (45) it follows that no pole of the two \(\upphi \) functions in Eq. (46) appears for \({\mathrm {z}}\in [0,1]\); therefore the two \(\upphi \) in the r.h.s of Eq. (46) can be evaluated according to the strategy outlined in the previous sections. Using
$$\begin{aligned} t_1\left( \frac{1}{x\,q} \right) = q - 1 ,\quad t_2\left( \frac{1}{x\,q} \right) = y\,q\,\left( 1 - q \right) ,\end{aligned}$$
(47)
we can write
$$\begin{aligned}&\int _0^1\,\mathrm{d}{\mathrm {z}}\,\Phi \left( {\mathrm {z}}\,x\,,\,y\,;\,q \right) = \frac{q - 1}{x\,q}\,\ln \left( 1 - x\,q \right) \, \nonumber \\&\quad \times \Bigl [\Phi \left( 1\,,\,y\,;\,q \right) - y\,q\,\Phi \left( q\,,\,y\,;\,q \right) \Bigr ] + {\mathrm {S}}, \end{aligned}$$
(48)
where the “subtraction” term is
$$\begin{aligned} {\mathrm {S}}= & {} \int _0^1\,\frac{\mathrm{d}{\mathrm {z}}}{{\mathrm {z}}\,x\,q - 1}\, \sum _{i=1,2}\,\left[ {\mathrm {t}}_i({\mathrm {z}})\,\Phi \left( {\mathrm {z}}\,x\,q^i\,,\,y\,;\,q \right) \phantom {\frac{1}{x\,q}} \right. \nonumber \\&\left. -\, {\mathrm {t}}_i\left( \frac{1}{x\,q}\right) \,\Phi \left( q^{i-1}\,,\,y\,;\,q \right) \right] , \end{aligned}$$
(49)
and \(x = x \pm i\,\varepsilon \). Note that
$$\begin{aligned} \Phi \left( 1\,,\,y\,;\,q \right) - y\,q\,\Phi \left( q\,,\,y\,;\,q \right) = \frac{1 - y\,q}{1 - q} .\end{aligned}$$
(50)
If \(q^{-2}< x < q^{-3}\) we can iterate once more obtaining an additional \(\ln (1 - x\,q^2)\) etc. The function \({\mathrm {S}}\) defined in Eq. (49) is a “\(+\)” distribution which has simple poles in the y-plane. The explicit result is as follows:
$$\begin{aligned}&{{\mathrm {ELi}}}_{1\,;\,0}\left( x\,,\,y\,;\,q \right) = {\mathrm {ELic}^{^{1}}}_{\!\!\!1\,;\,0}\left( x\,,\,y\,;\,q \right) + {\mathrm {ELir}^{^{1}}}_{\!\!\!1\,;\,0}\left( x\,,\,y\,;\,q \right) ,\nonumber \\&\quad \frac{1}{q}< x < \frac{1}{q^2} ,\end{aligned}$$
(51)
where the “cut” part is
$$\begin{aligned} {\mathrm {ELic}^{^{1}}}_{\!\!\!1\,;\,0}\left( x\,,\,y\,;\,q \right) = - y\,\ln (1 - x\,q) ,\end{aligned}$$
(52)
while the “rest” is
$$\begin{aligned} {\mathrm {ELir}^{^{1}}}_{\!\!\!1\,;\,0}\left( x\,,\,y\,;\,q \right)= & {} \frac{x\,y\,q}{1 - y\,q}\, \int _0^1\,\mathrm{d}{\mathrm {u}}\,\left[ \frac{{\mathrm {F}}_1({\mathrm {u}}) - 1 + y\,q}{1 - x\,q\,{\mathrm {u}}} \right. \nonumber \\&\left. \phantom {\frac{{\mathrm {F}}_1({\mathrm {u}}) - 1 + y\,q}{1 - x\,q\,{\mathrm {u}}}}+ y\,q\,\Phi \left( x\,q\,{\mathrm {u}}\,,\,y\,;\,q \right) \right] ,\nonumber \\ {\mathrm {F}}_1({\mathrm {u}})= & {} \left( 1 - x\,q^2\,{\mathrm {u}}\right) \,\Bigl [ \Phi \left( x\,q\,{\mathrm {u}}\,,\,y\,;\,q \right) \nonumber \\&-\, y\,q\,\Phi \left( x\,q^2\,{\mathrm {u}}\,,\,y\,;\,q \right) \Bigr ] .\end{aligned}$$
(53)
The second iteration gives
$$\begin{aligned}&{{\mathrm {ELi}}}_{1\,;\,0}\left( x\,,\,y\,;\,q \right) = {\mathrm {ELic}^{^{2}}}_{\!\!\!1\,;\,0}\left( x\,,\,y\,;\,q \right) \nonumber \\&\qquad +\,{\mathrm {ELir}^{^{2}}}_{\!\!\!1\,;\,0}\left( x\,,\,y\,;\,q \right) ,\quad \frac{1}{q^2}< x < \frac{1}{q^3} ,\end{aligned}$$
(54)
$$\begin{aligned}&{\mathrm {ELic}^{^{2}}}_{\!\!\!1\,;\,0}\left( x\,,\,y\,;\,q \right) = - y\,\ln (1 - x\,q) - y^2\,\ln (1 - x\,q^2) ,\end{aligned}$$
(55)
$$\begin{aligned}&{\mathrm {ELir}^{^{2}}}_{\!\!\!1\,;\,0}\left( x\,,\,y\,;\,q \right) =\frac{x\,y\,q}{1 - y\,q}\, \int _0^1\,\mathrm{d}{\mathrm {u}}\,\left[ \frac{{\mathrm {F}}_{21}({\mathrm {u}}) - {\mathrm {F}}_{21}\left( \frac{1}{x q}\right) }{x\,{\mathrm {u}}- \frac{1}{q}}\right. \nonumber \\&\left. +\, \frac{{\mathrm {F}}_{22}({\mathrm {u}}) - {\mathrm {F}}_{22}(\frac{1}{x q^2})}{x\,{\mathrm {u}}- \frac{1}{q^2}} + {\mathrm {R}}_2({\mathrm {u}})\right] ,\end{aligned}$$
(56)
$$\begin{aligned}&{\mathrm {F}}_{21}({\mathrm {u}})=[1+q\,\left( 1 + y \right) ]\,\frac{q - 1}{q}\,\Phi \left( x\,q^2\,,\,y\,;\,q \right) \nonumber \\&\quad -\, y\,\left\{ [1 + q\,\left( q + 1 \right) \,\left( 1 + y \right) ]\,\frac{q - 1}{q + 1} + \left( q^2 - 1\right) \right\} \nonumber \\&\quad \times \Phi \left( x\,q^3\,,\,y\,;\,q \right) \nonumber \\&\quad +\, \left( 1 + q + q^2 \right) \,q\,y^2\,\frac{q - 1}{q + 1}\,\Phi \left( x\,q^4\,,\,y\,;\,q \right) ,\nonumber \\&{\mathrm {F}}_{22}({\mathrm {u}})=y\,\left( q - 1\right) \, \left[ \frac{1}{q}\,\Phi \left( x\,q^2\,,\,y\,;\,q \right) - y\,\Phi \left( x\,q^3\,,\,y\,;\,q \right) \right] ,\nonumber \\&{\mathrm {R}}_2({\mathrm {u}})=q^2\,\left( 1 + y \right) ^2\,\Phi \left( x\,q^2\,,\,y\,;\,q \right) \nonumber \\&\quad -\, y\,\left[ \frac{1}{q}\,\frac{q - 1}{q + 1}\,\frac{1}{x\,{\mathrm {u}}- \frac{1}{q^3}}+ 2\,q^3\,\left( 1 + y \right) \right] \,\Phi \left( x\,q^3\,,\,y\,;\,q \right) \nonumber \\&\quad +\, y^2\,\left( \frac{q - 1}{q + 1}\, \frac{1}{x\,{\mathrm {u}}- \frac{1}{q^3}} + q^4 \right) \,\Phi \left( x\,q^4\,,\,y\,;\,q \right) .\end{aligned}$$
(57)
We continue with other examples.

\(\underline{{\mathrm{ELi}}_{\mathbf{0;1}}({\mathbf{x, y; q}})}\)

Similar results follow from Eq. (12), i.e. by using the \(x\,,\,y\) symmetry of \({{\mathrm {ELi}}}_{0\,;\,0}\left( x\,,\,y\,;\,q \right) \).

\(\underline{{\mathrm{ELi}}_{\mathbf{2;0}}({\mathbf{x, y; q}})}\)

We can use the same derivation as before obtaining a result similar to the one in Eq. (48) where we replace
$$\begin{aligned} \ln \left( 1 - x\,q \right) \rightarrow -\,{\mathrm {Li}}_2 \left( x\,q \right) ,\end{aligned}$$
(58)
where \(\mathrm {Li}_{2}\left( {z}\right) \) is the dilogarithm; for \({{\mathrm {ELi}}}_{n\,;\,0}\left( x\,,\,y\,;\,q \right) \) with \(n > 2\) we obtain polylogarithms. The explicit result is as follows:
$$\begin{aligned} {{\mathrm {ELi}}}_{2\,;\,0}\left( x\,,\,y\,;\,q \right)= & {} {\mathrm {ELic}^{^{1}}}_{\!\!\!2\,;\,0}\left( x\,,\,y\,;\,q \right) \nonumber \\&+\, {\mathrm {ELir}^{^{1}}}_{\!\!\!2\,;\,0}\left( x\,,\,y\,;\,q \right) ,\quad \frac{1}{q}< x < \frac{1}{q^2} ,\nonumber \\ \end{aligned}$$
(59)
where the “cut” part is
$$\begin{aligned} {\mathrm {ELic}^{^{1}}}_{\!\!\!2\,;\,0}\left( x\,,\,y\,;\,q \right) = y\,\mathrm {Li}_{2}\left( {x\,q}\right) ,\end{aligned}$$
(60)
while the “rest” part is
$$\begin{aligned}&{\mathrm {ELir}^{^{1}}}_{\!\!\!2\,;\,0}\left( x\,,\,y\,;\,q \right) \nonumber \\&\quad =\frac{x\,y\,q}{1 - y\,q}\,\int _0^1\,\frac{\mathrm{d}{\mathrm {v}}}{{\mathrm {v}}}\, \int _0^{{\mathrm {v}}}\,\mathrm{d}{\mathrm {u}}\,\left[ \frac{{\mathrm {F}}_1({\mathrm {u}}) - 1 + y\,q}{1 - x\,q\,{\mathrm {u}}}\right. \nonumber \\&\qquad \left. +\phantom {\frac{{\mathrm {F}}_1({\mathrm {u}}) - 1 + y\,q}{1 - x\,q\,{\mathrm {u}}}} y\,q\,\Phi \left( x\,q\,{\mathrm {u}}\,,\,y\,;\,q \right) \right] ,\nonumber \\&{\mathrm {F}}_1({\mathrm {u}})=(1 - x\,q^2\,{\mathrm {u}})\,[ \Phi \left( x\,q\,{\mathrm {u}}\,,\,y\,;\,q \right) \nonumber \\&\qquad \qquad -\, y\,q\,\Phi \left( x\,q^2\,{\mathrm {u}}\,,\,y\,;\,q \right) ] ,\end{aligned}$$
(61)
When both n and m are different from zero the derivation requires isolating x-poles and y-poles.

\(\underline{{\mathrm{ELi}}_{\mathbf{1;1}}({\mathbf{x, y; q}})}\)

This case requires additional work. Consider the integral
$$\begin{aligned} \int _0^1\,\mathrm{d}{\mathrm {z}}_1 \mathrm{d}{\mathrm {z}}_2\,\frac{1}{1 - {\mathrm {z}}_2\,y\,q}\, \Phi \left( {\mathrm {z}}_1\,x\,,\,{\mathrm {z}}_2\,y\,q\,;\,q \right) . \end{aligned}$$
(62)
When \(y,q \in \mathbb {R}\) the integral is defined for \(y < 1/q\), otherwise it is understood that \(y \rightarrow y \pm i\,\varepsilon \) with \(\varepsilon \rightarrow 0_{+}\). By using Eq. (20) we obtain
$$\begin{aligned} \upphi (c)= & {} [q\,(1 - c\,q)\,(1 - c)\,(c\,q - a\,b\,{\mathrm {u}}) ]^{-1}\,\{(1 - c\,q)\,\nonumber \\&\times \,[+ (b + a)\,c\,q\,{\mathrm {u}}- (1 + q)\,a\,b\,{\mathrm {u}}+ (1 - c)\,c\,q^2]\,\upphi (c\,q) \nonumber \\&+\,(c\,q - a)\,(c\,q - b)\,{\mathrm {u}}\,\upphi (c\,q^2)\} ,\end{aligned}$$
(63)
where \(\upphi (c) = \upphi \left( a,b;c;q,{\mathrm {u}}\right) \). Next we replace \(a = q\), \(b = {\mathrm {z}}_2\,y\,q\), \(c = {\mathrm {z}}_2\,y\,q^2\) and \({\mathrm {u}}= {\mathrm {z}}_1\,x\,q\). If \(1/q< y < 1/q^2\) we replace \({\mathrm {z}}_2 = 1/(y\,q)\) in the \(\upphi \) function of Eq. (62) and obtain a logarithmic part
$$\begin{aligned} -\,\frac{1}{y\,q}\,\ln \left( 1 - y\,q \right) ,\end{aligned}$$
(64)
as well as a “subtraction” part. Note that \(b = 1\) gives a terminating series, i.e.
$$\begin{aligned} \upphi \left( q,1;q^3;q,{\mathrm {z}}_1\,x\,q \right) = 1 .\end{aligned}$$
(65)
\(\underline{{\mathrm{ELi}}_{\mathbf{0,0;0,0;2}}}\) This function is defined through
$$\begin{aligned}&{\mathrm {ELi}}_{0,0;0,0;2} \left( x_1,x_2;y_1,y_2;q \right) \nonumber \\&\quad = \int _0^1 \frac{\mathrm{d}{\mathrm {z}}}{{\mathrm {z}}}\, {{\mathrm {ELi}}}_{0\,;\,0}\left( x_1\,,\,y_1\,;\,{\mathrm {z}}\,q \right) \, {{\mathrm {ELi}}}_{0\,;\,0}\left( x_2\,,\,y_2\,;\,{\mathrm {z}}\,q \right) .\nonumber \\ \end{aligned}$$
(66)
The integrand has poles in the complex \({\mathrm {z}}\)-plane located at
$$\begin{aligned} {\mathrm {z}}= \left\{ \begin{array}{l} \frac{1}{x_i\,q^{n+1}} \\ \\ \frac{1}{y_i\,q^{m+1}} \end{array} \qquad i= 1,2 \quad n, m \in \mathbb {Z}^* \right. \end{aligned}$$
Poles of the first series are isolated by using the q-difference equation while those in the second series are isolated by using the q-contiguous relation. All poles are simple as long as none of the ratios \(x_i/x_j, y_i/y_j\) and \(x_i/y_j\) is equal to an integer power of q.

4.1 Mixed hypergeometric series

When \(| q | < 1\) and \(x < 1/q\) we can write \({{\mathrm {ELi}}}_{n\,;\,0}\left( x\,,\,y\,;\,q \right) \) (or \(y < 1/q\) and \({{\mathrm {ELi}}}_{0\,;\,n}\left( x\,,\,y\,;\,q \right) \)) as mixed hypergeometric series, e.g.
$$\begin{aligned}&{{\mathrm {ELi}}}_{1\,;\,0}\left( x\,,\,y\,;\,q \right) = {}_{2,2}\upphi _{1,1}\left( q,y\,q;1,1;y\,q^2,2;x\,q \right) \nonumber \\&\quad =\sum _{n=0}^{\infty }\,\frac{(y\,q;q)_n\,(1)_n\,(1)_n}{(y\,q^2;q)_n\,(2)_n}\, \frac{(x\,q)^n}{n\,!} ,\end{aligned}$$
(67)
where \((a)_n = \Gamma (a+n)/\Gamma (a)\) is the Pochhammer symbol. For a previous definition of mixed hypergeometric series see Ref. [21].

4.2 Barnes contour integrals

For \(0< q < 1\) we can write
$$\begin{aligned}&{{\mathrm {ELi}}}_{1\,;\,0}\left( x\,,\,y\,;\,q \right) \nonumber \\&\quad =-\frac{x\,y\,q}{2\,\pi \,i}\int _{\Gamma }\,\mathrm{d}{\mathrm {s}}\frac{\pi }{\sin \,\pi s}\,\frac{( - x\,q )^s}{s + 1}\,\frac{1}{1 - y\,q^{s+1}} , \end{aligned}$$
(68)
where \(| x\,q | < 1\) and \(| {\mathrm {arg}}( - x\,q) | < \pi \). The contour of integration, denoted by \(\Gamma \), runs from \(-\,i\,\infty \) to \(+\,i\,\infty \) so that the poles at \(s \in \mathbb {Z}^*\) lie to the right of the contour and the other poles, at \(s \in \mathbb {Z}^{-}\) and \(s = - 1 + (\ln y + 2\,m\,\pi \,i)/\omega \) with \(\omega = - \ln q\) and \(m \in \mathbb {Z}\), lie to the left and the latter are at least some \(\varepsilon \) (\(\varepsilon \rightarrow 0_{+}\)) distance away from the contour. The r.h.s. of Eq. (68) defines an analytic function of \({\mathrm {z}}= x\,q\) in \(| \mathrm {arg}( - z) | < \pi \). Note that Eq. (68) can be generalized to define the analytic continuation of \({{\mathrm {ELi}}}_{n\,;\,0}\left( x\,,\,y\,;\,q \right) \) and can be extended to complex q inside the unit disc (see Eq. (26)).

4.3 Eisenstein–Kronecker series

The construction of elliptic multiple polylogarithms in Ref. [7] is largely based on the Eisenstein–Kronecker series \({\mathrm {F}}(\xi ,\alpha ,\tau )\) defined in their Sect. 3.4; with
$$\begin{aligned} {\mathrm {z}}= e(\xi ) ,\quad q = e(\tau ) ,\quad \alpha = e({\mathrm {u}}) ,\end{aligned}$$
(69)
where \(e(\xi ) = \exp \{2\,\pi \,i\,\xi \}\) we obtain the following relation with \(\Phi \), the basic hypergeometric series of Eq. (14):
$$\begin{aligned} \frac{1}{2\,\pi \,i}\,{\mathrm {F}}(\xi ,\alpha ,\tau )= & {} \frac{{\mathrm {z}}}{{\mathrm {z}}- 1} - \frac{{\mathrm {u}}\,{\mathrm {z}}\,q}{1 - {\mathrm {z}}\,q}\,\Phi \left( {\mathrm {u}}\,,\,{\mathrm {z}}\,;\,q \right) \nonumber \\&+ \frac{{\mathrm {z}}}{{\mathrm {u}}\,({\mathrm {z}}- q)}\,\Phi \left( \frac{1}{{\mathrm {u}}}\,,\,{\mathrm {z}}\,;\,\frac{1}{q} \right) .\end{aligned}$$
(70)
The function \({\mathrm {F}}\) satisfies
$$\begin{aligned}&{\mathrm {F}}(\xi + 1,\alpha ,\tau ) = {\mathrm {F}}(\xi ,\alpha ,\tau ) ,\nonumber \\&{\mathrm {F}}(\xi + \tau ,\alpha ,\tau ) = \frac{1}{\alpha }\,{\mathrm {F}}(\xi ,\alpha ,\tau ) ,\end{aligned}$$
(71)
i.e. quasi-periodicity.
Fig. 1

Behavior of \(\Phi \left( x\,,\,y\,;\,q \right) \), defined in Eq. (14), around the poles at \(x = 1/q\) (blue curve) and \(x = 1/q^2\) (red curve)

Fig. 2

Behavior of \(\Phi \left( x\,,\,y\,;\,q \right) \), defined in Eq. (14), as a function of x for \(y= 0.1\) and \(q= 0.9 + i\,0.04\)

Fig. 3

The function \({\mathrm {eli}}_{1;0}(x,y;q)\), Eq. (72), for different values of y and q and \(1/q_{{\mathrm {r}}}< x < 1/q^2_{{\mathrm {r}}}\), \(q_{{\mathrm {r}}} = \hbox {Re}\,q\)

5 Conclusions

We have established a connection between elliptic polylogarithms and basic hypergeometric functions, providing a framework for high-precision numerical evaluation of the \({\mathrm {Eli}}\) functions. Outside the region of convergence of the series the numerical evaluation uses analytic continuation via Watson’s contour integral representation, basic hypergeometric equation and q-contiguous relations. As an example we show in Fig. 1 the behavior of \(\Phi \left( x\,,\,y\,;\,q \right) \), Eq. (14), around the poles at \(x = 1/q\) (blue curve) and \(x= 1/q^2\) (red curve) for \(y = 0.1\) and \(q= 0.9\). In Fig. 2 we show the real and the imaginary parts of \(\Phi \left( x\,,\,y\,;\,q \right) \) for \(y= 0.1\) and \(q = 0.9 + i\,0.04\). In Fig. 3 we show \({\mathrm {eli}}_{1;0}\), defined by
$$\begin{aligned} {\mathrm {ELir}^{^{1}}}_{\!\!\!1\,;\,0}\left( x\,,\,y\,;\,q \right) = \frac{x\,y\,q}{1 - y\,q}\, {\mathrm {eli}}_{1;0}\left( x,y;q \right) , \end{aligned}$$
(72)
for different values of y and q and \(1/q_{{\mathrm {r}}}< x < 1/q^2_{{\mathrm {r}}}\), \(q_{{\mathrm {r}}} = \hbox {Re}\,q\).

Footnotes

  1. 1.

    This relation was introduced by Heine [16] in 1847.

References

  1. 1.
    L. Adams, C. Bogner, S. Weinzierl, The iterated structure of the all-order result for the two-loop sunrise integral. J. Math. Phys. 57(3), 032304 (2016). arXiv:1512.05630. doi: 10.1063/1.4944722
  2. 2.
    L. Adams, C. Bogner, S. Weinzierl, The sunrise integral and elliptic polylogarithms, in 13th DESY Workshop on Elementary Particle Physics: Loops and Legs in Quantum Field Theory (LL2016) Leipzig, Germany, April 2429, 2016 (2016). arXiv:1606.09457. http://inspirehep.net/record/1473068/files/arXiv:1606.09457.pdf
  3. 3.
    L. Adams, C. Bogner, A. Schweitzer, S. Weinzierl, The kite integral to all orders in terms of elliptic polylogarithms. arXiv:1607.01571
  4. 4.
    S. Bloch, M. Kerr, P. Vanhove, A Feynman integral via higher normal functions. Compos. Math. 151, 2329–2375 (2015). arXiv:1406.2664. doi: 10.1112/S0010437X15007472
  5. 5.
    S. Bloch, M. Kerr, P. Vanhove, Local mirror symmetry and the sunset Feynman integral. arXiv:1601.08181
  6. 6.
    A. Levin, Elliptic polylogarithms: an analytic theory. Composit. Math. 106, 267–282 (1997)Google Scholar
  7. 7.
    F.C.S. Brown, A. Levin, Multiple elliptic polylogarithms (2011). eprint. arXiv:1110.6917
  8. 8.
    A. Beilison, A. Levin, Elliptic Polylogarithms, in Proceedings of Symposia in Pure Mathematics, Part 2, vol. 55 (1994), pp. 126–196Google Scholar
  9. 9.
    S. Bloch, Higher Regulators, Algebraic K-Theory and Zeta-Functions of Elliptic Curves. Lecture Notes (U.C. Irvine, 1977)Google Scholar
  10. 10.
    D. Zagier, The Bloch–Wigner–Ramakrishnan polylogarithm function. Math. Ann. 286, 613–624 (1990)MathSciNetCrossRefMATHGoogle Scholar
  11. 11.
    S. Bloch, P. Vanhove, The elliptic dilogarithm for the sunset graph. J. Number Theory 148, 328–364 (2015). arXiv:1309.5865. doi: 10.1016/j.jnt.2014.09.032
  12. 12.
    K.S. Kolbig, Nielsen’S generalized polylogarithms. SIAM J. Math. Anal. 17, 1232–1258 (1986). doi: 10.1137/0517086 MathSciNetCrossRefMATHGoogle Scholar
  13. 13.
    W.N. Bailey, Generalized Hypergeometric Series, Cambridge Tracts in Mathematics and Mathematical Physics, vol. 32 (Cambridge University Press, Cambridge, 1935)Google Scholar
  14. 14.
    M. Ismail, C. Libis, Contiguous relations, basic hypergeometric functions, and orthogonal polynomials. J. Math. Anal. Appl. 141(2), 349–372 (1992)MathSciNetCrossRefMATHGoogle Scholar
  15. 15.
    G. Gasper, M. Rahman, Basic Hypergeometric Series (Cambridge University Press, Cambridge, 1990)MATHGoogle Scholar
  16. 16.
    E. Heine, Untersuchungen über die Reihe \(1+\frac{(1-q^\alpha )(1-q^\beta )}{(1-q)(1-q^\gamma )}\cdot x+\frac{(1-q^\alpha )(1-q^{\alpha +1}) )(1- q^\beta )(1-q^{\beta +1})}{(1-q)(1--q2)(1-q^\gamma )(1-q^{\gamma +1})}\cdot x2+\ldots \). J. Reine Angew. Math. 34, 285–328 (1847)MathSciNetCrossRefGoogle Scholar
  17. 17.
    S. Ruijsenaars, A generalized hypergeometric function satisfying four analytic difference equations. Commun. Math. Phys. 206, 639 (1999)ADSCrossRefMATHGoogle Scholar
  18. 18.
    T. Oshima, On convergence of basic hypergeometric series (2015). arXiv:1504.01238
  19. 19.
    J. Roques, Galois groups of the basic hypergeometric equations (2007). arXiv:0709.3275
  20. 20.
    Q.-H.H. William, Y.C. Chen, Y.-P. Mu, Non-Terminating Basic Hypergeometric Series and the q-Zeilberger Algorithm, in Proceedings of the Edinburgh Mathematical Society (Series 2), vol. 51, issue 03 (2008), pp. 609–633Google Scholar
  21. 21.
    M.A. Khan, A.H. Khan, A note on mixed hypergeometric series. Acta Math. Vietnam 14(1), 95–98 (1989)Google Scholar

Copyright information

© The Author(s) 2017

Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Funded by SCOAP3.

Authors and Affiliations

  1. 1.Dipartimento di Fisica TeoricaUniversità di TorinoTurinItaly
  2. 2.INFN, Sezione di TorinoTurinItaly

Personalised recommendations