1: %\documentclass[12pt]{article}
2: \documentstyle[12pt,a41,axodraw,epsfig,pstricks,pst-node,cite,amsmath,float]{article}
3: %\usepackage[all,2cell,v2]{xy}
4: %\usepackage{a41}
5: %\usepackage{axodraw}
6: %\usepackage[latin1]{inputenc}
7: %\usepackage{float}
8: %\usepackage{a4wide}
9: %\usepackage{epsfig}
10: %\usepackage{pstricks,pst-node}
11: %\usepackage{calc}
12: %\usepackage{latexsym}
13: %\usepackage{cite}
14: %\usepackage{subfigure}
15: %\usepackage{amsmath}
16: %\usepackage{amsfonts}
17: %\usepackage{amsthm}
18: %\usepackage{amsmath}
19: %\usepackage{mathbbol}
20: %\usepackage{graphicx}
21: %\usepackage{slashed}
22: %\usepackage{a41}
23: %\usepackage{mat}
24: \newcommand{\lifhalf}{\Li_4\left(\frac{1}{2}\right)}
25: \newcommand{\liFhalf}{\Li_5\left(\frac{1}{2}\right)}
26: \newcommand{\ZTW}{\zeta_2}
27: \newcommand{\ZTH}{\zeta_3}
28: \newcommand{\ZFO}{\zeta_4}
29: \newcommand{\ZFI}{\zeta_5}
30: \newcommand{\Li}{{\rm Li}}
31: \newcommand{\Sf}{{\rm S}_{1,2}}
32: \newcommand{\si}{{\rm sign}}
33: \newcommand{\ds}{\displaystyle}
34: \newcommand{\ab}{\overline{\alpha}_s}
35: \newcommand{\qsq}{$Q^2$}
36: \newcommand{\alsq}{$\alpha_s(Q^2)$}
37: \newcommand{\dals}{$\delta \alpha_s$}
38: \newcommand{\gsim}{\raisebox{-0.07cm}{$\,\stackrel{>}{{\scriptstyle
39: \sim}}\, $} }
40: \newcommand{\lsim}{\raisebox{-0.07cm}{$\,\stackrel{<}{{\scriptstyle
41: \sim}}\, $} }
42: \newcommand{\als}{\alpha_s}
43: \newcommand\MSbar{$\overline{\mbox{\rm MS}}\,$}
44: \newcommand\MSB{\overline{\mbox{\small\rm MS}}}
45: \newcommand\order{{\cal O}}
46: \newcommand\mat{{\cal M}}
47: \newcommand\eps{\varepsilon}
48: \newcommand\ep{\varepsilon}
49: \newcommand\MeV{\,\mbox{MeV}}
50: \newcommand\GeV{\,\mbox{GeV}}
51: \newcommand\TeV{\,\mbox{TeV}}
52: \newcommand{\bq}{\begin{equation}}
53: \newcommand{\eq}{\end{equation}}
54: \newcommand\beq{\begin{equation}}
55: \newcommand\eeq{\end{equation}}
56: \newcommand\bea{\begin{eqnarray}}
57: \newcommand\eea{\end{eqnarray}}
58: \newcommand\ra{\rightarrow}
59: \newcommand\GV{\,\mbox{\boldmath $G$}}
60: \newcommand\FV{\,\mbox{\boldmath $F$}}
61: \newcommand\CV{\,\mbox{\boldmath $C$}}
62: \newcommand\qV{\mbox{\boldmath $q$}}
63: \newcommand\eV{\mbox{\boldmath $e$}}
64: \newcommand\Fvec{\,\mbox{\boldmath $F$}}
65: \newcommand\Gvec{\,\mbox{\boldmath $G$}}
66: \newcommand\GGV{\,\mbox{\boldmath $\gamma$}}
67: \newcommand\Mvec{\,\mbox{\bf M}}
68: \newcommand\Nvec{\,\mbox{\bf N}}
69: \newcommand\Cvec{\,\mbox{\bf C}}
70: \newcommand\Rvec{\,\mbox{\bf R}}
71: \newcommand\AV{\mbox{\boldmath $A$}}
72: \newcommand\BV{\mbox{\boldmath $B$}}
73: \newcommand\PV{\mbox{\boldmath $P$}}
74: \newcommand\RV{\mbox{\boldmath $R$}}
75: \newcommand\KV{\mbox{\boldmath $K$}}
76: \newcommand\kV{\mbox{\boldmath $k$}}
77: \newcommand\MV{\,\mbox{\bf M}}
78: \newcommand\UV{\,\mbox{\boldmath $U$}}
79: \newcommand\IV{\,\mbox{\boldmath $I$}}
80: \newcommand\LV{\,\mbox{\boldmath $L$}}
81: \newcommand\GA{\,\mbox{\boldmath $\Gamma$}}
82: \newcommand\gV{\,\mbox{\boldmath $\gamma$}}
83: \newcommand\GAM{\,\mbox{\boldmath $\gamma$}}
84: \newcommand\NN{\,\mbox{\boldmath $N$}}
85: \newcommand\SH{\,\mbox{$\sqcup \! \sqcup$}\,}
86: \include{epsfig}
87: \sloppy
88:
89: \begin{document}
90: \setlength{\baselineskip}{0.515cm}
91: \sloppy
92: \thispagestyle{empty}
93: \begin{flushleft}
94: DESY 06--120 \hfill
95: {\tt hep-ph/0702265}\\
96: SFB-CPP/07-06\\
97: February 2007\\
98: \end{flushleft}
99:
100: \mbox{}
101: \vspace*{\fill}
102: \begin{center}
103:
104: {\Large\bf Calculation of Massive 2--Loop Operator }
105:
106: \vspace{2mm}
107: {\Large\bf
108: Matrix Elements
109: with Outer Gluon Lines}
110:
111: \vspace{4cm}
112: \large
113: I. Bierenbaum, J. Bl\"umlein, and S. Klein
114:
115: \vspace{1.5cm}
116: \normalsize
117: {\it Deutsches Elektronen--Synchrotron, DESY,}\\
118: {\it Platanenallee 6, D-15738 Zeuthen, Germany}
119: \\
120: %\today
121:
122: \end{center}
123: \normalsize
124: \vspace{\fill}
125: \begin{abstract}
126: \noindent
127: Massive on--shell operator matrix elements and self-energy diagrams with
128: outer gluon lines are calculated analytically at $O(\alpha_s^2)$, using
129: Mellin--Barnes integrals and representations through generalized
130: hypergeometric functions. This method allows for a direct evaluation
131: without decomposing the integrals using the integration-by-parts method.
132: \end{abstract}
133:
134: \vspace{1mm}
135: \noindent
136:
137: \vspace*{\fill}
138: \noindent
139: %\numberwithin{equation}{section}
140: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
141: \newpage
142: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
143: \section{Introduction}
144: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
145: %
146:
147: \vspace{1mm}\noindent
148: In the asymptotic region $Q^2 \gg m^2$, the heavy flavor contributions
149: to the deeply inelastic structure functions can be obtained from the
150: corresponding massive operator matrix elements and the light flavor
151: Wilson coefficients \cite{Buza:1995ie}. The massless Wilson coefficients
152: for deeply inelastic scattering are known up to 3--loop order
153: \cite{WILS2,WILS3}. The heavy flavor contributions were calculated to
154: next-to-leading order in \cite{HEAV} semi-analytically. A fast numerical
155: implementation was given in \cite{Alekhin:2003ev}. Complete analytic
156: results were derived only for the limit $Q^2 \gg m^2$ for the structure
157: function $F_2^{Q\overline{Q}}(x,Q^2)$ to $O(\alpha_s^2)$ \cite{Buza:1995ie}
158: and $F_L^{Q\overline{Q}}(x,Q^2)$ to $O(\alpha_s^3)$
159: \cite{Blumlein:2006mh}.
160: In both cases, the $O(\alpha_s^2)$ massive operator matrix elements are
161: required. The asymptotic contributions cover all logarithmic and the constant
162: terms, while contributions of $O((m^2/Q^2)^k),~k \geq 1$ are not
163: contained. In the case of the structure function $F_2(x,Q^2)$, these
164: terms yield a very good description already in the region $Q^2 \gsim 20
165: \GeV^2$, while for $F_L(x,Q^2)$ this approximation only holds at large
166: scales $Q^2 \gsim 1000 \GeV^2$. Since the heavy flavor contributions to
167: the structure functions amount to 20--40~\% in the small $x$ region,
168: cf.~\cite{STRAT}, and the scaling violations of these terms differ
169: from that of the light parton contributions, their knowledge is essential
170: for precision measurements of the QCD scale $\Lambda_{\rm QCD}$ in singlet
171: analyses.
172:
173: In this letter we address a new compact calculation of the genuine 2--loop
174: scalar integrals contributing to the massive operator matrix elements with
175: outer gluon lines, based on the Mellin-Barnes technique \cite{MB1,MB2,MB3}
176: and using
177: representations through generalized hypergeometric functions \cite{HGF}. This approach
178: allows to thoroughly avoid the use of the integration-by-parts method \cite{IBP}, which
179: keeps the contributing number of terms low and yields very compact results.
180: Moreover, we work in Mellin space to use the appropriate symmetry of the
181: problem leading to further compactification. The complete calculation of the
182: asymptotic heavy flavor Wilson coefficients will be presented elsewhere
183: \cite{BBK3}. In the following, we will outline the principal method and
184: present then the results for the seven contributing two--loop integrals in
185: terms of nested harmonic sums \cite{HSUM1,HSUM2}. Some of the special sums
186: needed are listed in the appendix.
187:
188: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
189: \section{The Method}
190: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
191: %
192: \vspace{1mm}\noindent
193: The massive 2--loop diagrams considered are shown in Figure~1.
194: %--------------------------------------------------------------------------
195: \begin{figure}[h]
196: \begin{center}
197: \epsfig{file=seven.eps,width=\linewidth}
198: \end{center}
199: \caption{\small \sf
200: Genuine 2-loop diagrams contributing to the massive operator matrix
201: elements.}
202: \label{fig:diag}
203: \end{figure}
204: %------------------------------------------------------------------------------------------------------------------
205: The diagrams contain either three or four massive
206: lines. The $\otimes$--symbol in Figure~1 denotes the operator insertion of the
207: corresponding local quark-gluon operators, see Figure~2.
208: %--------------------------------------------------------------------------
209: \begin{figure}[h]
210: \begin{center}
211: \epsfig{file=feynrulescomp.eps,height=6.5cm}
212: \end{center}
213: \caption{\small \sf
214: QCD Feynman rules for the composite local operator insertions.}
215: \label{fig:op-feuynr}
216: \end{figure}
217: %------------------------------------------------------------------------------------------------------------------
218:
219: The diagrams can be decomposed into a *--product as
220: described in Figure~3.
221: We follow the calculation of Ref.~\cite{MB3}, now generalized from
222: massless self--energy diagrams to massive
223: operator matrix elements.
224: %--------------------------------------------------------------------------
225: \begin{figure}[ht]
226: \begin{center}
227: \SetScale{0.6}
228: \SetWidth{1}
229: \hspace{2cm}
230: \begin{picture}(30,30)(0,0)
231: \Line(-80,0)(-35,0)
232: \Line(35,0)(80,0)
233: \BCirc(0,0){35}
234: \Line(0,35)(0,-35)
235: \Vertex(-35,0){3}
236: \Vertex(35,0){3}
237: \Vertex(0,35){3}
238: \Vertex(0,-35){3}
239: \Text(-37,-22)[]{\(\nu_4,\, m\)}
240: \Text(37,-22)[]{\(\nu_3,\, m\)}
241: \Text(-37,22)[]{\(\nu_1,\, m\)}
242: \Text(37,22)[]{\(\nu_2,\, m\)}
243: \Text(-10,0)[]{\(\nu_5\)}
244: \Text(-90,0)[]{\(p^2=0\)}
245: % \PText(170,10)(0)[]{0}
246: \end{picture}
247: \hspace{5cm}
248: \SetScale{0.6}
249: \SetWidth{1}
250: \hspace{1cm}
251: \begin{picture}(30,30)(0,0)
252: \Line(-80,0)(-35,0)
253: \Line(35,0)(80,0)
254: \BCirc(0,0){35}
255: \Line(0,35)(0,-35)
256: \Vertex(-35,0){3}
257: \Vertex(35,0){3}
258: \Vertex(0,35){3}
259: \Vertex(0,-35){3}
260: \Text(-37,-22)[]{\(\nu_4,\, m\)}
261: \Text(37,-22)[]{\(\nu_3\)}
262: \Text(-37,22)[]{\(\nu_1,\, m\)}
263: \Text(37,22)[]{\(\nu_2\)}
264: \Text(-1,0)[]{\(\nu_5,\, m\)}
265: \Text(-90,0)[]{\(p^2=0\)}
266: \end{picture}
267: \\[4em]
268: \begin{tabular}{cccc}
269: \SetScale{0.55}
270: \SetWidth{1.5}
271: \hspace{-1.2cm}
272: \begin{picture}(50,30)(0,0)
273: \Line(70,0)(115,0)
274: \Line(185,0)(230,0)
275: \BCirc(150,0){35}
276: \Line(150,35)(150,-35)
277: \Vertex(115,0){3}
278: \Vertex(185,0){3}
279: \Vertex(150,35){3}
280: \Vertex(150,-35){3}
281: \Text(60,15)[]{\(m\)}
282: \Text(105,15)[]{\(m\)}
283: \Text(60,-15)[]{\(m\)}
284: \Text(105,-15)[]{\(m\)}
285: \end{picture}
286: &
287: \hspace{2.8cm}
288: =
289: &
290: \SetScale{0.55}
291: \SetWidth{1.5}
292: \begin{picture}(70,30)(0,0)
293: \Line(0,0)(45,0)
294: \Line(115,0)(160,0)
295: \BCirc(80,0){35}
296: \Vertex(45,0){3}\Vertex(115,0){3}
297: \Text(45,25)[]{\(m\)}
298: \Text(45,-25)[]{\(m\)}
299: \end{picture}
300: &\qquad
301: $\ast$
302: \SetScale{0.55}
303: \SetWidth{1.5}
304: \begin{picture}(90,30)(0,0)
305: \Line(70,0)(115,0)
306: \Line(35,35)(35,-35)
307: \Line(70,0)(35,35)
308: \Line(70,0)(35,-35)
309: \Line(35,35)(20,37)
310: \Line(35,-35)(20,-37)
311: \Vertex(70,0){3}
312: \Vertex(35,35){3}
313: \Vertex(35,-35){3}
314: \Text(5,0)[]{\(0\)}
315: \Text(35,22)[]{\(m\)}
316: \Text(35,-22)[]{\(m\)}
317: \end{picture}
318: \\&&&\\
319: \end{tabular}
320: \end{center}
321: \caption{\small \sf The massive two--loop two--point diagrams with three
322: and
323: four fermion masses. The graphs are generated by inserting the three--point
324: function, written as a double Mellin--Barnes integral, into the massive
325: two--point function, i.e. performing the $\ast$-operation defined in the
326: context of the Lie--algebra of Feynman diagrams \cite{CK}. The effect of
327: this
328: insertion is only given by a modification of the exponents of the
329: two--point function, cf.~\cite{MB3}.}
330: \label{fig:master_2l_2p}
331: \end{figure}
332: %------------------------------------------------------------------------------------------------------------------
333:
334: \vspace{1mm}\noindent
335: Also in this case the above decomposition of diagrams
336: can be achieved by applying the Mellin--Barnes representation~\footnote{
337: In his original contribution,
338: Barnes notes that the contour integral representations
339: (\ref{eqMB}) and those for more complicated integrands date back to
340: Pincherle
341: \cite{PINCH} Mellin \cite{MB2} and Riemann \cite{RIE}, cf also \cite{KF}.}
342: %-------------------------------------------------------------------------
343: \begin{eqnarray}
344: \label{eqMB}
345: \frac{1}{(A_1+A_2)^{\nu}}
346: &=&
347: \frac{1}{2\pi i} \int_{\gamma-i\infty}^{\gamma+i\infty}
348: d\sigma \:
349: A_1^{\sigma}A_2^{-\nu-\sigma}
350: \frac{\Gamma(-\sigma)\Gamma(\nu+\sigma)}{\Gamma(\nu)}~.
351: %\nonumber
352: \end{eqnarray}
353: %-------------------------------------------------------------------------
354:
355:
356: Let us consider Diagram~I as an example. The corresponding gluing-product
357: is depicted in Figure~4.
358: Applying the Feynman-parameterization to the 2-point function yields
359: %----------------------------------------------------------------------------
360: \begin{eqnarray}
361: {I}^{(1,2)} &=&
362: \frac{\Gamma(\nu_{14})}{\Gamma(\nu_1)
363: \Gamma(\nu_4)}~{(m^2)^{\nu_{14}-D/2}}{(4\pi)^2}
364: \int_0^1 dx_1 dx_2 x_1^{\nu_1-1} x_2^{\nu_4-1}
365: \delta(x_1+x_2-1) \nonumber
366: \end{eqnarray}\begin{eqnarray}
367: %\nonumber\\
368: & & \times
369: \int \frac{d^D k_1}{(2\pi)^{D}}
370: \frac{(\Delta.k_1)^{N-1}}{(x_1 k_1^2 +x_1 m^2 + x_2(k_1-p)^2 +x_2
371: m^2)^{\nu_{14}}}~.
372: \end{eqnarray}
373: %----------------------------------------------------------------------------
374:
375: \vspace{1mm}\noindent
376: Here, $\Delta$ denotes a light-like vector with $\Delta^2 = 0$, and
377: $D =4 - 2\eps$. $\nu_i$ is
378: the integer power of the respective propagator and $\nu_{ij \ldots} =
379: \nu_i + \nu_j + \ldots$~.
380: The calculation is performed in the $\overline{\rm MS}$ scheme and we
381: factor out $S_\eps = \exp[\eps (\ln(4\pi) - \gamma_E)]$ for each
382: loop.~\footnote{All integrals are normalized to contain
383: no mass-scale or factors of $2\pi$ in the final result.}
384: One shifts $k_1 \rightarrow k_1 + x_2 p$ and the numerator term is
385: decomposed as
386: %----------------------------------------------------------------------------
387: \begin{eqnarray}
388: (\Delta.k_1 + x_2 \Delta.p)^N = \sum_{l=0}^N \binom{N}{l} (\Delta.k_1)^l
389: (x_2 \Delta.p)^{N-l}~.
390: \end{eqnarray}
391: %----------------------------------------------------------------------------
392: All integrals over $k_1$ with $(\Delta.k_1)^l,~l \geq 1$ vanish.
393: %--------------------------------------------------------------------------
394: \begin{figure}[h]
395: \begin{center}
396: \epsfig{file=Figure2.eps,width=0.5\linewidth}
397: \end{center}
398: \caption{\small \sf
399: Diagram insertion for graph~I.}
400: \label{fig:diag1}
401: \end{figure}
402: %------------------------------------------------------------------------------------------------------------------
403:
404: \vspace{2mm}\noindent
405: One obtains
406: %----------------------------------------------------------------------------
407: \begin{eqnarray}
408: {I}^{(1,2)} &=& (\Delta.p)^{N-1} (4\pi)^\eps
409: \frac{\Gamma(\nu_{14}-D/2)\Gamma(\nu_4+N-1)}{
410: \Gamma(\nu_4)\Gamma(\nu_{14}+N-1)}~.
411: \end{eqnarray}
412: %----------------------------------------------------------------------------
413:
414: In the next step, the three-point function is inserted in a similar way
415: as in \cite{MB3},
416: since a part of the propagators are massive but no
417: operator insertion occurs.
418: The result for diagram~I for $\nu_i =1, \forall i$, can be expressed by
419: a double Mellin--Barnes
420: integral as
421: %----------------------------------------------------------------------------
422: \begin{eqnarray}
423: \label{G1_11111_st}
424: {I}_{1}
425: &=& \frac{(4\pi)^{2\eps}}{(2\pi
426: )^2}\frac{(\Delta.p)^{N-1}}{\Gamma(1-2\eps)}
427: \nonumber\\
428: & & \times\int_{\gamma_1-i\infty}^{\gamma_1+i\infty} d\sigma
429: \int_{\gamma_2-i\infty}^{\gamma_2+i\infty} d\tau \:
430: \frac{\Gamma(-\sigma)\Gamma(\sigma+1)\Gamma(-\sigma+N)}{\Gamma(-\sigma+1)}
431: \Gamma(-\tau)\Gamma(\tau+1)\nonumber
432: \nonumber\\
433: & & \times
434: \frac{\Gamma(\sigma+\tau+1)
435: \Gamma(\sigma+\tau+1+\eps)\Gamma(-\sigma-\tau-2\eps)
436: \Gamma(-\sigma-\tau +\eps)}
437: {\Gamma(\sigma+\tau+2)\Gamma(-\sigma-\tau+1+N)}~.
438: \end{eqnarray}
439: %----------------------------------------------------------------------------
440: The other six 2-loop integrals obey a similar
441: representation. For fixed values of $N$, one may calculate the
442: Mellin--Barnes integrals using the {\tt mathematica}--package {\tt MB} by
443: M.~Czakon \cite{Czakon:2005rk}, which yields numerical values. They were
444: given in Ref.~\cite{BBK2}, Table~1.~\footnote{Note that in \cite{BBK2}
445: the spherical factor $S_\ep^2$ has not been factored out.}
446:
447: For the solution of one of the Mellin-Barnes integrals, relations like
448: %----------------------------------------------------------------------------
449: \begin{eqnarray}
450: \label{generalized_Barnes}
451: \lefteqn{
452: \hspace{-14cm}
453: \frac{1}
454: {2\pi i}
455: \int_{\gamma-i\infty}^{\gamma+i\infty} ds
456: \frac{\Gamma(a+s)\Gamma(b+s)\Gamma(d-a-b-s)\Gamma(e-c+s)\Gamma(-s)}
457: {\Gamma(e+s)}
458: %\end{eqnarray}\begin{eqnarray}
459: } \\
460: \hspace{4cm}
461: =
462: \frac{\Gamma(e-c)\Gamma(a)\Gamma(b)\Gamma(d-a)\Gamma(d-b)}
463: {\Gamma(e)\Gamma(d)}
464: ~_3F_2[a,b,c;d,e;1]~, \nonumber
465: \end{eqnarray}
466: %----------------------------------------------------------------------------
467: cf.~\cite{HGF}, are used. The second integral is performed by applying the
468: residue theorem. One obtains
469: %----------------------------------------------------------------------------
470: \begin{eqnarray}
471: \label{eqA}
472: {I}_{1} &=&
473: (\Delta \cdot p)^{N-1}\: (4\pi)^{2\ep}
474: \frac{\Gamma(N+1)}{\Gamma(1-2\eps)}
475: \:\sum_{k=0}^{\infty} \sum_{j=0}^{\infty}
476: \frac{\Gamma(k+1)}{\Gamma(k+2+N)}\nonumber
477: \\
478: %\end{eqnarray}\begin{eqnarray}
479: & &\times
480: \Biggl[
481: \Gamma(\eps)\Gamma(1-\eps)
482: \frac{\Gamma(j+1-2\eps)\Gamma(j+1+\eps)}{\Gamma(j+1-\eps)\Gamma(j+2+N)}
483: \frac{\Gamma(k+j+1+N)}{\Gamma(k+j+2)}
484: \nonumber\\
485: & &
486: +
487: \Gamma(-\eps)\Gamma(1+\eps)
488: \frac{\Gamma(j+1+2\eps)\Gamma(j+1-\eps)}{\Gamma(j+1)\Gamma(j+2+\eps+N)}
489: \frac{\Gamma(k+j+1+\eps+N)}{\Gamma(k+j+2+\eps)}
490: \Biggr]~.
491: \end{eqnarray}
492: %----------------------------------------------------------------------------
493: One first performs the $\eps$--expansion to the desired order.
494: The infinite sums in (\ref{eqA}) can be expressed through Mellin-type integral
495: representations, partly using differential operators in the remaining
496: summation and outer parameters. In some cases the starting values
497: $\{k,j\}=0$
498: need a separate treatment. The corresponding Mellin-integrals finally
499: result into weighted harmonic sums. The calculations were
500: coded in {\tt MAPLE}.
501: For fixed values of
502: $N$, simpler procedures are
503: obtained which lead to analytic expressions for the expansion coefficients
504: in $\eps$, cf. Table~2, Ref.~\cite{BBK2}.
505: \footnote{In case of diagram ${\rm I}_a$ and II checks
506: could also be performed by {\tt nestedsums} \cite{NESU} at fixed $N$.}
507:
508: Except for diagrams VI, VII one
509: may
510: calculate the integrals in the above way for general values of $N$.
511:
512: Explicit representations for all diagrams could be derived using
513: generalized hypergeometric functions for all diagrams.
514: As an example, let us consider diagram VI,
515: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
516: % result for diag F(6)
517: \begin{eqnarray}
518: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
519: I_6&=&\int\!\!\frac{dk_1}{(2 \pi)^{D}}\int\!\!\frac{dk_2}{(2 \pi)^{D}}
520: \frac{
521: (\Delta k_1)^{N-1}\!-\!(\Delta k_2)^{N-1}}
522: {(\Delta k_1\!-\!\Delta k_2)}
523: \nonumber\\ & & \times (4\pi)^4~
524: \frac{(m^2)^{1+2\eps}}{(k_1^2\!-\!m^2)((k_1\!-\!p)^2\!
525: -\!m^2)(k_2^2\!-\!m^2)((k_2\!-\!p)^2\!
526: -\!m^2)^2(k_2\!-\!k_1)^2}
527: \nonumber \\
528: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
529: &=&(\Delta p)^{N-2}\Gamma(1+2\eps) (4\pi)^{2 \ep}
530: % \exp\Biggl\{\sum_{l=2}^{\infty}\frac{\zeta_l}{l}\eps^l\Biggr\}
531: \frac{2\pi}{N\sin(-\pi\eps)}
532: \sum_{j=1}^{N}\Biggl\{\binom{N}{j}(-1)^j+\delta_{j,N}\Biggr\}
533: \label{I6erg} \\
534: && \times\Biggl\{
535: \frac{\Gamma(j)\Gamma(j+1+\eps)}
536: {\Gamma(j+2+2\eps)\Gamma(j+1-\eps)}
537: -\frac{B(1+\eps,1+j)}{j}~
538: _3F_2\left[1+2\eps,-\eps,j+1; 1,j+2+\eps; 1
539: \right]\Biggr\}~. \nonumber
540: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
541: \end{eqnarray}
542: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
543: After performing the expansion in $\eps$, the remaining sums can be
544: carried
545: out by suitable integral representations.
546: Some of the sums required are listed in the appendix.
547: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
548: \section{Results}
549: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
550: %
551:
552: \vspace{1mm}\noindent
553: All diagrams obey representations in terms of weighted harmonic sums in
554: the present case.
555: It even turns out that only single harmonic sums contribute.
556: Not all the diagrams I--VII are independent. Due to the
557: massless outer lines of the diagrams, graphs IV and
558: V can be expressed
559: in terms of diagrams ${\rm I}_a$ and II. Here ${\rm I}_a$ corresponds to
560: the case where all scalar propagators have power one, i.e.
561: %-----------------------------------------------------------------------Â
562: \begin{eqnarray}
563: {\rm IV} &=& \left [ 1+(-1)^N\right] \frac{1}{\Delta . p}\times {\rm I}_a
564: \\
565: {\rm V} &=& \left [ 1+(-1)^N\right] \frac{1}{\Delta . p} \times {\rm II}
566: \end{eqnarray}
567: %-----------------------------------------------------------------------Â
568: For diagram~III, even a closed expression for general values of $\eps$
569: can be derived,
570: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
571: % result for diag M(3)
572: \begin{eqnarray}
573: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
574: I_3&=&\int\!\!\!\frac{dk_1}{(2\pi)^{D}}\int\!\!\!\frac{dk_2}{(2\pi)^D}
575: \frac{(4\pi)^4 (\Delta k_1\!-\!\Delta k_2)^{N-1}\quad
576: (m^2)^{1+2\eps}}
577: {(k_1^2\!-\!m^2)((k_1\!-\!p)^2\!-\!m^2)((k_1\!-\!k_2)^2\!-\!m^2)k_2^2(k_2\!-\!p)^2}
578: \nonumber\\
579: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
580: &=&(\Delta p)^{N-1}\Gamma(1+2\eps) (4 \pi)^{2\ep}
581: % \exp\Biggl\{\sum_{l=2}^{\infty}\frac{\zeta_l}{l}\eps^l\Biggr\}
582: \frac{\pi}{\sin(-\pi\eps)}
583: \frac{1-(-1)^N}{N(N+1)}\frac{\Gamma(N+1+\eps)
584: \Gamma(N+1)}{\Gamma(N+2+2\eps)\Gamma(N+1-\eps)}
585: \label{I3erg}\\
586: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
587: &=&(\Delta p)^{N-1}\Gamma(1+2\eps) (4 \pi)^{2\ep}
588: \frac{1-(-1)^N}{N(N+1)^2}\Biggl[-\frac{1}{\eps}
589: +\frac{2}{N+1}\Biggr]+O(\eps) \nonumber.
590: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
591: \end{eqnarray}
592: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
593: We summarize the results for the independent diagrams I-III,VI,VII in
594: Table~1, expanding to $O(\eps^0)$ in the $\overline{\rm MS}$--scheme.
595: The expressions in terms of harmonic sums were derived exploiting their
596: algebraic relations~\cite{ALGEBRA}.
597:
598:
599: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
600: \begin{table*}[htb]
601: \caption{The analytic results for graphs I to VII for general values of N, with all $\nu_i = 1$, Ib: $\nu_1 = 2$.}
602: \label{table:results3}
603: \newcommand{\m}{\hphantom{$-$}}
604: \newcommand{\cc}[1]{\multicolumn{1}{c}{#1}}
605: %\renewcommand{\tabcolsep}{1.4pc} % enlarge column spacing
606: \renewcommand{\arraystretch}{2.3} % enlarge line spacing
607: \begin{tabular}{ll}
608: %\hline\hline
609: %-----------------------------------------------------------------------------------------------
610: \hline\hline
611: $\rm{Ia}$ & \m $\displaystyle
612: \frac{{S}_1^2({N})+3{S}_2({N})}{2{N}({N}+1)}$ \\
613: %\hline
614: %-----------------------------------------------------------------------------------------------
615: $\rm{Ib}$ & \m $\displaystyle
616: \frac{{S}_1({N})-3
617: S_2(N)/2-S_{1}^2(N)/2}{{N}({N}+1)(N+2)}-
618: \frac{1}{(N+1)^2(N+2)}$ \\
619: %\hline
620: %-----------------------------------------------------------------------------------------------
621: $\rm{II}$ & \m $\displaystyle
622: \frac{{S}_1({N})}{{N}({N}+1)}\left(-\frac{1}{\eps} \right)
623: +2\frac{{S}_1({N})}{{N}({N}+1)^2}+\frac{{S}_1^2({N})-{S}_2({N})}{2{N}({N}+1)}$
624: \\
625: %\hline
626: %-----------------------------------------------------------------------------------------------
627: $\rm{III}$ & \m $\displaystyle
628: \frac{[1-(-1)^{{N}}]}{{N}({N}+1)^2}\left(-\frac{1}{\eps}+\frac{2}{({N}+1)}
629: \right)$ \\
630: %\hline
631: %-----------------------------------------------------------------------------------------------
632: $\rm{VI}$ & \m $\displaystyle \frac{4}{N} \left[S_2(N) - \frac{S_1(N)}{N} \right]$ \\
633: %\hline
634: %-----------------------------------------------------------------------------------------------
635: $\rm{VII}$ &
636: \m $\displaystyle
637: \left[\frac{(-1)^N -1}{N^2(N+1)} + \frac{2S_1(N)}{N(N+1)}\right]\left(-\frac{1}{\eps} \right)$
638: \\ & \m $\displaystyle
639: +\left[2\frac{(-1)^N -1}{N^2(N+1)^2} +
640: \frac{S_1^2(N)-S_2(N)+2S_{-2}(N)}{N(N+1)}+\frac{2(3N+1)S_1(N)}{N^2(N+1)^2}\right]$\\
641: [3mm]
642: %-----------------------------------------------------------------------------------------------
643: \hline
644: \hline
645: \end{tabular}\\[2pt]
646: \end{table*}
647: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
648:
649: \noindent
650: In terms of (single) harmonic sums
651: %----------------------------------------------------------------------------
652: \begin{equation}
653: S_a(N) = \sum_{k=1}^N \frac{({\rm sign}(a))^k}{k^{|a|}}~,
654: \end{equation}
655: %----------------------------------------------------------------------------
656: the final expressions for the genuine 2--loop
657: diagrams turn out to be extraordinarily simple.
658: Due to the fact that we were not applying the integration-by-parts method,
659: also the intermediary results remained rather compact.
660: The results may be translated into $x$-space by inverse Mellin
661: transformation
662: using the Tables in \cite{HSUM1}. On the other hand, one may work within
663: the Mellin space representation continuing the expressions to complex values
664: of $N$ as described in \cite{ANCONT} and construct the respective
665: observables in analytic form. The inverse Mellin transformation is then
666: performed by a single numeric integral.
667:
668: The diagrams
669: are applied to express the unpolarized massive 2--loop operator matrix
670: elements \cite{Buza:1995ie,BBK3}. As shown in
671: \cite{Blumlein:2006mh,BBK3},
672: nested harmonic sums will contribute in the physical result
673: but they are either due to one-loop insertions into one-loop
674: diagrams or the four-propagator contributions to some of the topologies
675: discussed here, which are obtained due to cancellation of numerator and
676: denominator terms.
677:
678:
679: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
680: \section{Appendix}
681: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
682: %
683: \vspace{1mm}\noindent
684: We list some special sums which are typical for classes of sums to be
685: derived for the present calculation.
686: %------------------------------------------------------------------------
687: \begin{eqnarray}
688: %------------------------------------------------------------------------
689: \sum_{k=1}^\infty
690: \sum_{i=1}^\infty \frac{S_1(k+i+N)}{(k+i) (N+k) k}
691: &=& \frac{1}{2} \sigma_1^2 \frac{S_1(N)}{N} + 2 \frac{S_{1,1}(N)}{N^2}
692: - \frac{\zeta_2}{2} \frac{S_1(N)}{N} - \frac{2 \zeta_3}{N} \\
693: %------------------------------------------------------------------------
694: \sum_{i=1}^\infty \frac{B(N,i)}{i} &=&
695: \zeta_2 - S_2(N-1)\\
696: %------------------------------------------------------------------------
697: \sum_{i=1}^\infty \frac{B(N+1,i)}{(N+i)} &=& (-1)^N \left[2 S_{-2}(N) +
698: \zeta_2 \right]\\
699: %------------------------------------------------------------------------
700: \sum_{i=1}^\infty \frac{B(N,i)}{(N+i+1)^2} &=&
701: \frac{(-1)^N}{N(N+1)}\left[ 2 S_{-2}(N) + \zeta_2\right] +
702: \frac{N-1}{N(N+1)^3}\\
703: %------------------------------------------------------------------------
704: \sum_{i=1}^\infty \frac{B(N+1,i) S_1(i)}{(N+i)} &=&
705: \frac{\zeta_2-S_2(N)}{N}
706: + (-1)^N \Biggl[\zeta_3 + S_{-3}(N)
707: - 2 \frac{S_{-2}(N)}{N}
708: \nonumber \\ & &
709: + 2 S_{1,-2}(N) - \frac{\zeta_2}{N} + \zeta_2
710: S_1(N)\Biggr]\\
711: %------------------------------------------------------------------------
712: \sum_{k=0}^{N-1}\binom{N-1}{k} (-1)^k \frac{S_1^2(k+2)}{k+2}
713: &=&
714: - \frac{2N+1}{N^2 (N+1)^2} S_1(N) + \frac{N^3+6N^2+6N+2}{N^3(N+1)^3}
715: \\
716: %------------------------------------------------------------------------
717: \sum_{k=0}^L \binom{L+1}{k} \frac{(-1)^k}{(N-L+k)^2}
718: &=& B(N-L,L+2) \left[ S_1(N+L) - S_1(N-L-1)\right]~.
719: %------------------------------------------------------------------------
720: \end{eqnarray}
721: %------------------------------------------------------------------------
722: Here the symbol $\sigma_1$ and Euler's Beta-function $B(a,b)$ are defined
723: by
724: %------------------------------------------------------------------------
725: \begin{eqnarray}
726: \sigma_1 &=& \lim_{N \rightarrow \infty} S_1(N) \\
727: B(a,b) &=& \frac{\Gamma(a) \Gamma(b)}{\Gamma(a+b)}~.
728: \end{eqnarray}
729: %------------------------------------------------------------------------
730:
731: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
732: \newpage
733: \begin{thebibliography}{99}
734: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
735: \addcontentsline{toc}{section}{References}
736: %
737: %[1]
738: %\cite{Buza:1995ie}
739: \bibitem{Buza:1995ie}
740: M.~Buza, Y.~Matiounine, J.~Smith, R.~Migneron and W.~L.~van Neerven,
741: %``Heavy quark coefficient functions at asymptotic values $Q~2 \gg m~2$,''
742: Nucl.\ Phys.\ B {\bf 472} (1996) 611
743: [arXiv:hep-ph/9601302].
744: %%CITATION = NUPHA,B472,611;%%
745: %------------------------------------------------------------------------
746: %
747: %[2]
748: \bibitem{WILS2}
749: %\cite{Duke:1981ga}
750: %\bibitem{Duke:1981ga}
751: D.~W.~Duke, J.~D.~Kimel and G.~A.~Sowell,
752: %``Fourth Order QCD Corrections To The Longitudinal Coefficient Function In
753: %Deep Inelastic Scattering,''
754: Phys.\ Rev.\ D {\bf 25} (1982) 71;\\
755: %%CITATION = PHRVA,D25,71;%%
756: %---
757: %\cite{Devoto:1984wu}
758: %\bibitem{Devoto:1984wu}
759: A.~Devoto, D.~W.~Duke, J.~D.~Kimel and G.~A.~Sowell,
760: %``Analytic Calculation Of The Fourth Order Quantum Chromodynamic Contribution
761: %To The Nonsinglet Quark Longitudinal Structure Function,''
762: Phys.\ Rev.\ D {\bf 30} (1984) 541;\\
763: %%CITATION = PHRVA,D30,541;%%
764: %---
765: %\cite{Kazakov:1987jk}
766: %\bibitem{Kazakov:1987jk}
767: D.~I.~Kazakov and A.~V.~Kotikov,
768: %``TOTAL ALPHA-s CORRECTION TO DEEP INELASTIC SCATTERING CROSS-SECTION RATIO,
769: %R = sigma-L / sigma-t IN QCD. CALCULATION OF LONGITUDINAL STRUCTURE
770: %FUNCTION,''
771: Nucl.\ Phys.\ B {\bf 307} (1988) 721
772: [Erratum-ibid.\ B {\bf 345} (1990) 299];
773: %%CITATION = NUPHA,B307,721;%%
774: %---
775: %\cite{Kazakov:1992xj}
776: %\bibitem{Kazakov:1992xj}
777: %D.~I.~Kazakov and A.~V.~Kotikov,
778: %``On the value of the alpha-s correction to the Callan-Gross relation,''
779: Phys.\ Lett.\ B {\bf 291} (1992) 171;\\
780: %%CITATION = PHLTA,B291,171;%%
781: %---
782: %\cite{Kazakov:1990fu}
783: %\bibitem{Kazakov:1990fu}
784: D.~I.~Kazakov, A.~V.~Kotikov, G.~Parente, O.~A.~Sampayo and J.~Sanchez Guillen,
785: %``Complete Quartic (Alpha(S)**2) Correction To The Deep Inelastic
786: %Longitudinal Structure Function F(L) In QCD,''
787: Phys.\ Rev.\ Lett.\ {\bf 65} (1990) 1535;\\
788: %%CITATION = PRLTA,65,1535;%%
789: %---
790: %\cite{SanchezGuillen:1990iq}
791: %\bibitem{SanchezGuillen:1990iq}
792: J.~Sanchez Guillen, J.~Miramontes, M.~Miramontes, G.~Parente and O.~A.~Sampayo,
793: %``Next-To-Leading Order Analysis Of The Deep Inelastic R = Sigma-L /
794: %Sigma-Total,''
795: Nucl.\ Phys.\ B {\bf 353} (1991) 337;\\
796: %%CITATION = NUPHA,B353,337;%%
797: %--
798: %\cite{Larin:1991fv}
799: %\bibitem{Larin:1991fv}
800: S.~A.~Larin and J.~A.~M.~Vermaseren,
801: %``Two Loop QCD Corrections To The Coefficient Functions Of The Deep Inelastic
802: %Structure Functions F-2 And F-L,''
803: Z.\ Phys.\ C {\bf 57} (1993) 93;\\
804: %%CITATION = ZEPYA,C57,93;%%
805: %------------------------------------------------------------------------------$
806: %
807: %\bibitem{ZN}
808: %\cite{vanNeerven:1991nn}
809: %\bibitem{vanNeerven:1991nn}
810: W.~L.~van Neerven and E.~B.~Zijlstra,
811: %``Order Alpha-S**2 Contributions To The Deep Inelastic Wilson Coefficient,''
812: Phys.\ Lett.\ B {\bf 272} (1991) 127;\\
813: %%CITATION = PHLTA,B272,127;%%
814: %---
815: %\cite{Zijlstra:1991qc}
816: %\bibitem{Zijlstra:1991qc}
817: E.~B.~Zijlstra and W.~L.~van Neerven,
818: %``Contribution Of The Second Order Gluonic Wilson Coefficient To The Deep
819: %Inelastic Structure Function,''
820: Phys.\ Lett.\ B {\bf 273} (1991) 476;
821: %%CITATION = PHLTA,B273,476;%%
822: %\cite{Zijlstra:1992qd}
823: %\bibitem{Zijlstra:1992qd}
824: % E.~B.~Zijlstra and W.~L.~van Neerven,
825: %``Order Alpha-S**2 QCD Corrections To The Deep Inelastic Proton Structure
826: %Functions F2 And F(L),''
827: Nucl.\ Phys.\ B {\bf 383} (1992) 525;\\
828: %%CITATION = NUPHA,B383,525;%%E.B. Zijlstra and W.L. van Neerven,
829: %------------------------------------------------------------------------------$
830: %
831: %\bibitem{MV}
832: %\cite{Moch:1999eb}
833: %\bibitem{Moch:1999eb}
834: S.~Moch and J.~A.~M.~Vermaseren,
835: %``Deep inelastic structure functions at two loops,''
836: Nucl.\ Phys.\ B {\bf 573} (2000) 853
837: [arXiv:hep-ph/9912355].
838: %%CITATION = NUPHA,B573,853;%%
839: %------------------------------------------------------------------------------$
840: %
841: %[3]
842: %\bibitem{FLNNLO-mom}
843: \bibitem{WILS3}
844: %\cite{Larin:1993vu}
845: %\bibitem{Larin:1993vu}
846: S.~A.~Larin, T.~van Ritbergen and J.~A.~M.~Vermaseren,
847: %``The Next Next-To-Leading QCD Approximation For Nonsinglet Moments Of Deep
848: %Inelastic Structure Functions,''
849: Nucl.\ Phys.\ B {\bf 427} (1994) 41;\\
850: %%CITATION = NUPHA,B427,41;%%
851: %--
852: %\cite{Larin:1996wd}
853: %\bibitem{Larin:1996wd}
854: S.~A.~Larin, P.~Nogueira, T.~van Ritbergen and J.~A.~M.~Vermaseren,
855: %``The 3-loop QCD calculation of the moments of deep inelastic structure
856: %functions,''
857: Nucl.\ Phys.\ B {\bf 492} (1997) 338
858: [arXiv:hep-ph/9605317];\\
859: %%CITATION = NUPHA,B492,338;%%
860: %--
861: %\cite{Retey:2000nq}
862: %\bibitem{Retey:2000nq}
863: A.~Retey and J.~A.~M.~Vermaseren,
864: %``Some higher moments of deep inelastic structure functions at
865: %next-to-next-to leading order of perturbative QCD,''
866: Nucl.\ Phys.\ B {\bf 604} (2001) 281
867: [arXiv:hep-ph/0007294]l;\\
868: %%CITATION = NUPHA,B604,281;%%
869: %---
870: %\cite{Blumlein:2004xt}
871: %\bibitem{Blumlein:2004xt}
872: J.~Bl\"umlein and J.~A.~M.~Vermaseren,
873: %``The 16th moment of the non-singlet structure functions F2(x,Q**2) and
874: %F(L)(x,Q**2) to O(alpha(s)**3),''
875: Phys.\ Lett.\ B {\bf 606} (2005) 130
876: [arXiv:hep-ph/0411111];\\
877: %%CITATION = PHLTA,B606,130;%%
878: %------------------------------------------------------------------------------$
879: %
880: %\bibitem{FLNNLO-xa}
881: %\cite{Moch:2004xu}
882: %\bibitem{Moch:2004xu}
883: S.~Moch, J.~A.~M.~Vermaseren and A.~Vogt,
884: %``The longitudinal structure function at the third order,''
885: Phys.\ Lett.\ B {\bf 606} (2005) 123
886: [arXiv:hep-ph/0411112];\\
887: %%CITATION = PHLTA,B606,123;%%
888: %------------------------------------------------------------------------------$
889: %
890: %\bibitem{FLNNLO-xb}
891: %\cite{Vermaseren:2005qc}
892: %\bibitem{Vermaseren:2005qc}
893: J.~A.~M.~Vermaseren, A.~Vogt and S.~Moch,
894: %``The third-order QCD corrections to deep-inelastic scattering by photon
895: %exchange,''
896: Nucl.\ Phys.\ B {\bf 724} (2005) 3
897: [arXiv:hep-ph/0504242].
898: %%CITATION = NUPHA,B724,3;%%
899: %------------------------------------------------------------------------------$
900: 5~%
901: %[4]
902: \bibitem{HEAV}
903: %\cite{Laenen:1992zk}
904: %\bibitem{Laenen:1992zk}
905: E.~Laenen, S.~Riemersma, J.~Smith and W.~L.~van Neerven,
906: %``Complete O (alpha-s) corrections to heavy flavor structure functions in
907: %electroproduction,''
908: Nucl.\ Phys.\ B {\bf 392} (1993) 162;
909: %%CITATION = NUPHA,B392,162;%%
910: %\cite{Laenen:1992xs}
911: %\bibitem{Laenen:1992xs}
912: %E.~Laenen, S.~Riemersma, J.~Smith and W.~L.~van Neerven,
913: %``O(alpha-s) corrections to heavy flavor inclusive distributions in
914: %electroproduction,''
915: %Nucl.\ Phys.\ B {\bf 392} (1993)
916: 229;\\
917: %%CITATION = NUPHA,B392,229;%%
918: %\cite{Riemersma:1994hv}
919: %\bibitem{Riemersma:1994hv}
920: S.~Riemersma, J.~Smith and W.~L.~van Neerven,
921: %``Rates for inclusive deep inelastic electroproduction of charm quarks at
922: %HERA,''
923: Phys.\ Lett.\ B {\bf 347} (1995) 143
924: [arXiv:hep-ph/9411431].
925: %%CITATION = PHLTA,B347,143;%%
926: %-----------------------------------------------------------------------------------------
927: %
928: %[5]
929: %\cite{Alekhin:2003ev}
930: \bibitem{Alekhin:2003ev}
931: S.~I.~Alekhin and J.~Bl\"umlein,
932: %``Mellin representation for the heavy flavor contributions to deep inelastic
933: %structure functions,''
934: Phys.\ Lett.\ B {\bf 594} (2004) 299
935: [arXiv:hep-ph/0404034].
936: %%CITATION = PHLTA,B594,299;%%
937: %-----------------------------------------------------------------------------------------
938: %
939: %[6]
940: %\cite{Blumlein:2006mh}
941: \bibitem{Blumlein:2006mh}
942: J.~Bl\"umlein, A.~De Freitas, W.~L.~van Neerven and S.~Klein,
943: %``The longitudinal heavy quark structure function F(L)(Q anti-Q) in the
944: %region Q**2 >> m**2 at O(alpha(s)**3),''
945: Nucl.\ Phys.\ B {\bf 755} (2006) 272
946: [arXiv:hep-ph/0608024].
947: %%CITATION = NUPHA,B755,272;%%
948: %------------------------------------------------------------------------
949: %
950: %[7]
951: \bibitem{STRAT}
952: %\cite{Gluck:1993dp}
953: %\bibitem{Gluck:1993dp}
954: M.~Gl\"uck, E.~Reya and M.~Stratmann,
955: %``Heavy quarks at high-energy colliders,''
956: Nucl.\ Phys.\ B {\bf 422} (1994) 37;\\
957: %%CITATION = NUPHA,B422,37;%%
958: %\cite{Blumlein:1996sc}
959: %\bibitem{Blumlein:1996sc}
960: J.~Bl\"umlein and S.~Riemersma,
961: %``QCD corrections to F(L)(x,Q**2),''
962: arXiv:hep-ph/9609394.
963: %%CITATION = HEP-PH/9609394;%%
964: %------------------------------------------------------------------------
965: %
966: %[8]
967: \bibitem{MB1}
968: E.W. Barnes, Proc. Lond. Math. Soc. (2) {\bf 6} (1908) 141;
969: E.W. Barnes, Quart. J. Math. {\bf 41} (1910) 136.
970: %------------------------------------------------------------------------
971: %
972: %[9]
973: \bibitem{MB2}
974: H. Mellin, Math. Ann. {\bf 68} (1910) 305; \\
975: E.T. Whittaker and G.N. Watson, {\sf A Course of Modern Analysis},
976: (Cambridge University Press, Cambridge, 1927; reprinted 1996);\\
977: E.C. Titchmarsh,
978: {\sf Introduction to the Theory of Fourier Integrals}, (Oxford, Calendron Press, 1937;
979: 2nd Edition 1948).
980: %------------------------------------------------------------------------
981: %
982: %[10]
983: \bibitem{MB3}
984: %\cite{Bierenbaum:2003ud}
985: %\bibitem{Bierenbaum:2003ud}
986: I.~Bierenbaum and S.~Weinzierl,
987: %``The massless two-loop two-point function,''
988: Eur.\ Phys.\ J.\ C {\bf 32} (2003) 67
989: [arXiv:hep-ph/0308311].
990: %%CITATION = HEP-PH 0308311;%%
991: %------------------------------------------------------------------------
992: %
993: %[11]
994: \bibitem{HGF}
995: W.N. Bailey, {\sf Generalized Hypergeometric Series},
996: (Cambridge University Press, Cambridge, 1935);\\
997: L.J. Slater, {\sf Generalized Hypergeometric Functions},
998: (Cambridge University Press, Cambridge, 1966).
999: %------------------------------------------------------------------------
1000: %
1001: %[12]
1002: \bibitem{IBP}
1003: %\cite{Chetyrkin:1980pr}
1004: %\bibitem{Chetyrkin:1980pr}
1005: K.~G.~Chetyrkin, A.~L.~Kataev and F.~V.~Tkachov,
1006: %``New Approach To Evaluation Of Multiloop Feynman Integrals: The Gegenbauer
1007: %Polynomial X Space Technique,''
1008: Nucl.\ Phys.\ B {\bf 174} (1980) 345.
1009: %%CITATION = NUPHA,B174,345;%%
1010: %------------------------------------------------------------------------
1011: %
1012: %[13]
1013: \bibitem{BBK3}
1014: I. Bierenbaum, J. Bl\"umlein, and S. Klein, in preparation.
1015: %------------------------------------------------------------------------
1016: %
1017: %[14]
1018: \bibitem{HSUM1}
1019: %\cite{Blumlein:1998if}
1020: %\bibitem{Blumlein:1998if}
1021: J.~Bl\"umlein and S.~Kurth,
1022: %``Harmonic sums and Mellin transforms up to two-loop order,''
1023: Phys.\ Rev.\ D {\bf 60} (1999) 014018
1024: [arXiv:hep-ph/9810241].
1025: %%CITATION = PHRVA,D60,014018;%%
1026: %------------------------------------------------------------------------
1027: %
1028: %[15]
1029: \bibitem{HSUM2}
1030: %\cite{Vermaseren:1998uu}
1031: %\bibitem{Vermaseren:1998uu}
1032: J.~A.~M.~Vermaseren,
1033: %``Harmonic sums, Mellin transforms and integrals,''
1034: Int.\ J.\ Mod.\ Phys.\ A {\bf 14} (1999) 2037
1035: [arXiv:hep-ph/9806280].
1036: %%CITATION = IMPAE,A14,2037;%%
1037: %------------------------------------------------------------------------
1038: %
1039: %[16]
1040: \bibitem{CK}
1041: %\cite{Connes:2002ui}
1042: %\bibitem{Connes:2002ui}
1043: A.~Connes and D.~Kreimer,
1044: %``Insertion and elimination: The doubly infinite Lie algebra of Feynman
1045: %graphs,''
1046: Annales Henri Poincare {\bf 3} (2002) 411
1047: [arXiv:hep-th/0201157].
1048: %%CITATION = AHPJF,3,411;%%
1049: %------------------------------------------------------------------------
1050: %
1051: %[17]
1052: \bibitem{PINCH}
1053: S. Pincherle, Atti d. R. Accademia dei Lincei, Series IV., Rendiconti, Vol. IV.,
1054: pp. 694-700; 792--799.
1055: %------------------------------------------------------------------------
1056: %
1057: %[18]
1058: \bibitem{RIE}
1059: B. Riemann, {\sf Mathematische Werke}, 1892, pp. 145--147.
1060: %------------------------------------------------------------------------
1061: %
1062: %[19]
1063: \bibitem{KF}
1064: A. Kratzer and W. Franz, {\sf Transzendente Funktionen}, (Akad.
1065: Verlagsgesellschaft Geest \& Portig K.-G., Leipzig, 1963).
1066: %------------------------------------------------------------------------
1067: %
1068: %[20]
1069: %\cite{Czakon:2005rk}
1070: \bibitem{Czakon:2005rk}
1071: M.~Czakon,
1072: %``Automatized analytic continuation of Mellin-Barnes integrals,''
1073: Comput.\ Phys.\ Commun.\ {\bf 175} (2006) 559
1074: [arXiv:hep-ph/0511200].
1075: %%CITATION = CPHCB,175,559;%%
1076: %------------------------------------------------------------------------
1077: %
1078: %[21]
1079: \bibitem{BBK2}
1080: %\cite{Bierenbaum:2006mq}
1081: %\bibitem{Bierenbaum:2006mq}
1082: I.~Bierenbaum, J.~Bl\"umlein and S.~Klein,
1083: %``Evaluating two-loop massive operator matrix elements with Mellin-Barnes
1084: %integrals,''
1085: Nucl.\ Phys.\ Proc.\ Suppl.\ {\bf 160} (2006) 85
1086: [arXiv:hep-ph/0607300].
1087: %%CITATION = NUPHZ,160,85;%%
1088: %------------------------------------------------------------------------
1089: %
1090: %[22]
1091: \bibitem{NESU}
1092: %\cite{Weinzierl:2002hv}
1093: %\bibitem{Weinzierl:2002hv}
1094: S.~Weinzierl,
1095: %``Symbolic Expansion of Transcendental Functions,''
1096: Comput.\ Phys.\ Commun.\ {\bf 145} (2002) 357
1097: [arXiv:math-ph/0201011].
1098: %%CITATION = CPHCB,145,357;%%
1099: %------------------------------------------------------------------------
1100: %
1101: %[23]
1102: \bibitem{ALGEBRA}
1103: %\cite{Blumlein:2003gb}
1104: %\bibitem{Blumlein:2003gb}
1105: J.~Bl\"umlein,
1106: %``Algebraic relations between harmonic sums and associated quantities,''
1107: Comput.\ Phys.\ Commun.\ {\bf 159} (2004) 19
1108: [arXiv:hep-ph/0311046].
1109: %%CITATION = CPHCB,159,19;%%
1110: %------------------------------------------------------------------------
1111: %
1112: %[24]
1113: \bibitem{ANCONT}
1114: %\cite{Blumlein:2000hw}
1115: %\bibitem{Blumlein:2000hw}
1116: J.~Bl\"umlein,
1117: %``Analytic continuation of Mellin transforms up to two-loop order,''
1118: Comput.\ Phys.\ Commun.\ {\bf 133} (2000) 76
1119: [arXiv:hep-ph/0003100];\\
1120: %%CITATION = CPHCB,133,76;%%
1121: %\cite{Blumlein:2005jg}
1122: %\bibitem{Blumlein:2005jg}
1123: J.~Bl\"umlein and S.~O.~Moch,
1124: %``Analytic continuation of the harmonic sums for the 3-loop anomalous
1125: %dimensions,''
1126: Phys.\ Lett.\ B {\bf 614} (2005) 53
1127: [arXiv:hep-ph/0503188].
1128: %%CITATION = PHLTA,B614,53;%%
1129: %------------------------------------------------------------------------
1130: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1131: \end{thebibliography}
1132: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1133: \end{document}
1134: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1135: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1136: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1137: