FeynCalc manual (development version)

InverseMellin

InverseMellin[exp, y] performs the inverse Mellin transform of polynomials in OPE. The inverse transforms are not calculated but a table-lookup is done.

WARNING: do not “trust” the results for the inverse Mellin transform involving SumT’s; there is an unresolved inconsistency here (related to (1)m(-1)^{m}).

See also

Overview, DeltaFunction, Integrate2, OPEm, SumS, SumT.

Examples

InverseMellin[1/OPEm, y]

ym1y^{m-1}

InverseMellin[1/(OPEm + 3), y]

ym+2y^{m+2}

InverseMellin[1, y]

ym1δ(1y)y^{m-1} \delta (1-y)

InverseMellin[1/OPEm^4, y]

16ym1log3(y)-\frac{1}{6} y^{m-1} \log ^3(y)

InverseMellin[1/OPEm + 1, y]

ym1δ(1y)+ym1y^{m-1} \delta (1-y)+y^{m-1}

InverseMellin[1/i + 1, y, i]

yi1δ(1y)+yi1y^{i-1} \delta (1-y)+y^{i-1}

The inverse operation to InverseMellin is done by Integrate2.

Integrate2[InverseMellin[1/OPEm, y], {y, 0, 1}]

1m\frac{1}{m}

Below is a list of all built-in basic inverse Mellin transforms .

list = {1, 1/(OPEm + n), 1/(-OPEm + n), PolyGamma[0, OPEm], SumS[1, -1 + OPEm], 
    SumS[1, -1 + OPEm]/(OPEm - 1), SumS[1, -1 + OPEm]/(1 - OPEm), SumS[1, -1 + OPEm]/(OPEm + 1), 
    SumS[1, -1 + OPEm]/OPEm^2, SumS[1, -1 + OPEm]/OPEm, SumS[1, -1 + OPEm]^2/OPEm, 
    SumS[2, -1 + OPEm], SumS[2, -1 + OPEm]/OPEm, SumS[3, -1 + OPEm], SumS[1, 1, -1 + OPEm], 
    SumS[1, OPEm - 1]^2, SumS[1, 2, -1 + OPEm], SumS[2, 1, -1 + OPEm],SumS[1, -1 + OPEm]^3, 
    SumS[1, -1 + OPEm] SumS[2, -1 + OPEm], SumS[1, 1, 1, -1 + OPEm]};
im[z_] := z -> InverseMellin[z, y]
im[OPEm^(-3)]

1m312ym1log2(y)\frac{1}{m^3}\to \frac{1}{2} y^{m-1} \log ^2(y)

im[OPEm^(-2)]

1m2ym1log(y)\frac{1}{m^2}\to -y^{m-1} \log (y)

im[PolyGamma[0, OPEm]]

ψ(0)(m)γym1δ(1y)(11y)+ym1\psi ^{(0)}(m)\to -\gamma y^{m-1} \delta (1-y)-\left(\frac{1}{1-y}\right)_+ y^{m-1}

im[SumS[1, OPEm - 1]]

S1(m1)(11y)+(ym1)S_1(m-1)\to \left(\frac{1}{1-y}\right)_+ \left(-y^{m-1}\right)

im[SumS[1, OPEm - 1]/(OPEm - 1)]

S1(m1)m1ym2log(1y)\frac{S_1(m-1)}{m-1}\to -y^{m-2} \log (1-y)

im[SumS[1, OPEm - 1]/(OPEm + 1)]

S1(m1)m+1ym1+ymymlog(1y)+ymlog(y)\frac{S_1(m-1)}{m+1}\to -y^{m-1}+y^m-y^m \log (1-y)+y^m \log (y)

im[SumS[1, -1 + OPEm]/OPEm^2]

S1(m1)m2ym1(ζ(2)Li2(y)12log2(y))\frac{S_1(m-1)}{m^2}\to y^{m-1} \left(\zeta (2)-\text{Li}_2(y)-\frac{1}{2} \log ^2(y)\right)

im[SumS[1, -1 + OPEm]/OPEm]

S1(m1)mym1(log(y)log(1y))\frac{S_1(m-1)}{m}\to y^{m-1} (\log (y)-\log (1-y))

im[SumS[1, -1 + OPEm]^2/OPEm]

S12(m1)mym1(3ζ(2)+Li2(1y)+2  Li2(y)+log2(1y)+log2(y)2)\frac{S_1^2(m-1)}{m}\to y^{m-1} \left(-3 \zeta (2)+\text{Li}_2(1-y)+2 \;\text{Li}_2(y)+\log ^2(1-y)+\frac{\log ^2(y)}{2}\right)

im[SumS[2, OPEm - 1]]

S2(m1)ym1(ζ(2)δ(1y)+log(y)1y)S_2(m-1)\to y^{m-1} \left(\zeta (2) \delta (1-y)+\frac{\log (y)}{1-y}\right)

im[SumS[2, OPEm - 1]/OPEm]

S2(m1)mym1(ζ(2)Li2(1y)12log2(y))\frac{S_2(m-1)}{m}\to y^{m-1} \left(\zeta (2)-\text{Li}_2(1-y)-\frac{1}{2} \log ^2(y)\right)

im[SumS[3, OPEm - 1]]

S3(m1)ym1(ζ(3)δ(1y)log2(y)2(1y))S_3(m-1)\to y^{m-1} \left(\zeta (3) \delta (1-y)-\frac{\log ^2(y)}{2 (1-y)}\right)

im[SumS[1, 1, OPEm - 1]]

S11(m1)ym1(log(1y)1y)+S_{11}(m-1)\to y^{m-1} \left(\frac{\log (1-y)}{1-y}\right)_+

im[SumS[2, 1, OPEm - 1]]

S21(m1)ym1(Li2(y)1yζ(2)(11y)++2ζ(3)δ(1y))S_{21}(m-1)\to y^{m-1} \left(\frac{\text{Li}_2(y)}{1-y}-\zeta (2) \left(\frac{1}{1-y}\right)_++2 \zeta (3) \delta (1-y)\right)

im[SumS[1, 1, 1, OPEm - 1]]

S111(m1)12ym1(log2(1y)1y)+S_{111}(m-1)\to -\frac{1}{2} y^{m-1} \left(\frac{\log ^2(1-y)}{1-y}\right){}_+

Clear[im, list];