GeneralizedPolylog - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Mathematical Functions : GeneralizedPolylog

GeneralizedPolylog

The generalized polylogarithmic function

MultiPolylog

The multiple polylogarithmic function

 

Calling Sequence

Parameters

Description

Examples

References

Compatibility

Calling Sequence

GeneralizedPolylog(a1,a2,...,aw,x)

MultiPolylog(m1,m2,...,mn,z1,z2,...,zn)

Parameters

a1,a2,...,aw

-

complex numbers, or algebraic expressions representing them

x

-

a complex number, or an algebraic expressions representing a such

m1,m2,...,mn

-

positive integers

z1,z2,...,zn

-

complex numbers, or algebraic expressions representing them

Description

  

GeneralizedPolylog and MultiPolylog represent the function class consisting of generalized polylogarithms, multiple polylogarithms, harmonic polylogarithms, hyperlogarithms, and related functions.

  

The generalized polylogarithm is defined recursively, as the iterated integral

  

GeneralizedPolylogai$`=`i,1..w,x=%int`/`GeneralizedPolylogai$`=`i,2..w,y,`-`y,a1,`=`y,0..x

  

The recursion stops, as

  

GeneralizedPolylog,x=1

  

For all the a[i] indices being zero, an alternative definition is used, as

  

GeneralizedPolylog0$w,x=lnxnn!

  

The multiple polylogarithm, on the other hand, represent the sum form over i1>i2>...>i__n >0

  

MultiPolylogmi$`=`i,1..n,zi$`=`i,1..n=%sumMultiply`/``^`zj,ij,`^`ij,mj$`=`j,1..n,i

  

and the analytic continuation thereof outside its convergent region, which is given by the restrictions

  

j=1naj

  

z1<1,z1z2<1,    &comma;%productzi&comma;`=`i&comma;1..n<1

  

The relation between GeneralizedPolylog and MultiPolylog is given as

  

GeneralizedPolylog0&dollar;m1&comma;a1&comma;0&dollar;m2&comma;a2&comma;    &comma;0&dollar;mn&comma;an&comma;x=1nMultiPolylog`+`mi&comma;1&dollar;`=`i&comma;1..n&comma;xa1&comma;`/`ai&comma;a`+`i&comma;1&dollar;`=`i&comma;1..`-`n&comma;1

  

The generalized polylogarithm and related functions show up in high energy physics, where scattering amplitudes and other observables in quantum field theories, often are given in terms of this class of functions when calculated with high precision, i.e. beyond the leading order in perturbative expansion used in the Feynman diagrammatic expansion.

Examples

  

Initialization: Set the display of special functions in output to typeset mathematical notation (textbook notation):

Typesetting:-EnableTypesetRuleTypesetting:-SpecialFunctionRules&colon;

  

Functions such as ln, polylog and MultiZeta may appear as special cases of the generalized polylogarithms

%GeneralizedPolylog0&comma;x&equals;GeneralizedPolylog0&comma;x&semi;

%GeneralizedPolylog0&comma;x=lnx

(1)

%GeneralizedPolylog0&comma;0&comma;0&comma;0&comma;1&comma;x&equals;GeneralizedPolylog0&comma;0&comma;0&comma;0&comma;1&comma;x&semi;

%GeneralizedPolylog0&comma;0&comma;0&comma;0&comma;1&comma;x=Li5x

(2)

Likewise, and using a more compact input syntax

%MultiPolylog&equals;MultiPolylog2&comma;3&comma;4&comma;5&comma;1&comma;1&comma;1&comma;1&semi;

%MultiPolylog2&comma;3&comma;4&comma;5&comma;1&comma;1&comma;1&comma;1=MultiZeta2&comma;3&comma;4&comma;5

(3)

The Multiple Polylogarithm has been implemented for certain special values such as the oscillating multiple Zeta values up to weight four

%MultiPolylog &equals; MultiPolylog2&comma;1&comma;1&comma;1&comma;1&comma;1

%MultiPolylog2&comma;1&comma;1&comma;1&comma;1&comma;1=ln22π287π4288+3Li412+ln248

(4)

and also for certain cases at weights two and three where it reduces directly to classical polylogarithms

%MultiPolylog &equals; MultiPolylog2&comma;1&comma;1&comma;x

%MultiPolylog2&comma;1&comma;1&comma;x=Li21xln1xLi3x2Li31x+2ζ3

(5)

Similar relations are implemented for the generalized polylogarithm

%GeneralizedPolylog&equals;GeneralizedPolylog0&comma;1&comma;1&comma;x

%GeneralizedPolylog0&comma;1&comma;1&comma;x=Li31x+Li21xln1x+lnxln1x22+ζ3

(6)

Many relations are obeyed by the generalized polylogarithm, such as the rescaling relation

GeneralizedPolylog0.231.78&ast;I&comma;1.99&plus;3.33&ast;I&comma;0.77&plus;0.09&ast;I&comma;1.351.01&ast;I

GeneralizedPolylog0.231.78I&comma;1.99+3.33I&comma;0.77+0.09I&comma;1.351.01I

(7)

GeneralizedPolylog0.231.78Iz&comma;1.99+3.33Iz&comma;0.77+0.09Iz&comma;1.351.01Iz

GeneralizedPolylog0.231.78Iz&comma;1.99+3.33Iz&comma;0.77+0.09Iz&comma;1.351.01Iz

(8)

Evaluate numerically (7) and (8) up to 8 digits

evalf8eval&equals;&comma;z&equals;1.910.39  I

0.013040566+0.21053300I=0.013040566+0.21053300I

(9)

and the shuffle relation

GeneralizedPolylog0.231.78I&comma;1.351.01IGeneralizedPolylog1.99+3.33I&comma;0.77+0.09I&comma;1.351.01I

−0.27802994561.097010462IGeneralizedPolylog1.99+3.33I&comma;0.77+0.09I&comma;1.351.01I

(10)

GeneralizedPolylog0.231.78I&comma;1.99+3.33I&comma;0.77+0.09I&comma;1.351.01I+GeneralizedPolylog1.99+3.33I&comma;0.231.78I&comma;0.77+0.09I&comma;1.351.01I+GeneralizedPolylog1.99+3.33I&comma;0.77+0.09I&comma;0.231.78I&comma;1.351.01I

GeneralizedPolylog0.231.78I&comma;1.99+3.33I&comma;0.77+0.09I&comma;1.351.01I+GeneralizedPolylog1.99+3.33I&comma;0.231.78I&comma;0.77+0.09I&comma;1.351.01I+GeneralizedPolylog1.99+3.33I&comma;0.77+0.09I&comma;0.231.78I&comma;1.351.01I

(11)

Up to 6 digits,

evalf6&equals;

0.264849+0.438022I=0.264849+0.438022I

(12)

and the "stuffle" relation

%MultiPolylog2&comma;0.980.11I%MultiPolylog3&comma;2.771.04I

%MultiPolylog2&comma;0.980.11I%MultiPolylog3&comma;2.771.04I

(13)

%MultiPolylog2&comma;3&comma;0.980.11I&comma;2.771.04I+%MultiPolylog3&comma;2&comma;2.771.04I&comma;0.980.11I+%MultiPolylog5&comma;0.980.11I2.771.04I

%MultiPolylog2&comma;3&comma;0.980.11I&comma;2.771.04I+%MultiPolylog3&comma;2&comma;2.771.04I&comma;0.980.11I+%MultiPolylog5&comma;2.60021.3239I

(14)

evalf4value&equals;

2.8094.448I=2.8094.448I

(15)

References

  

[1] A.B.Goncharov. "Multiple polylogarithms, cyclotomy and modular complexes", Math Res.Letters. Vol. 5 (1998): 497-516.
[2] Jens Vollinga, Stefan Weinzierl.  "Numerical evaluation of multiple polylogarithms", Comput.Phys.Commun. Vol. 167 (2005): 23 pp.
[3] H. Frellesvig, D. Tommasini, C. Wever.  "On the reduction of generalized polylogarithms to Li_n and Li_22 and on the evaluation thereof", JHEP 1603 (2016): 35pp

Compatibility

• 

The GeneralizedPolylog command was introduced in Maple 2018.

• 

The MultiPolylog command was introduced in Maple 2018.

See Also

MultiZeta

Zeta

polylog

ln