1: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%bt}

2: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4: %\documentclass[12pt]{article}

5: \documentstyle[12pt,a41,epsfig,cite]{article}

6: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7: %\usepackage{cite}

8: %\usepackage{epsfig}

9: %\usepackage{axodraw}

10: %\usepackage{amsmath}

11: %\usepackage{amssymb}

12: \newcommand\e{{\rm e}}

13: \newcommand\PP{{\mathbb{P}}}

14: \newcommand\XINT{\int_{-\infty}^{+\infty}}

15: \newcommand\YINT{\int_{-1}^{+1}}

16: \newcommand{\DIRJ}{{\cal Q}^J_{\alpha}(p_2,p_1)}

17: \newcommand{\DIRJF}{{\cal Q}^{J,5}_{\alpha}(p_2,p_1)}

18: \newcommand{\DIRA}{{\cal Q}_{D \alpha}(p_2,p_1)}

19: \newcommand{\PAULA}{{\cal Q}_{P \alpha}(p_2,p_1)}

20: \newcommand{\bea}{\begin{eqnarray}}

21: \newcommand{\bq}{\begin{equation}}

22: \newcommand{\eea}{\end{eqnarray}}

23: \newcommand{\eq}{\end{equation}}

24: \newcommand{\HERM}{\stackrel{=}{{\small\sf H}}}

25: \newcommand{\TREV}{\stackrel{=}{\small\sf T}}

26: \newcommand{\PARI}{\stackrel{=}{\tiny\sf P}}

27: \newcommand{\gap}{\stackrel{>}{\sim}}

28: \newcommand{\lap}{\stackrel{<}{\sim}}

29: \newcommand{\fem}{$f_2^{em}$}

30: \newcommand{\lam}{$\Lambda$}

31: \newcommand{\qsq}{$Q^2$}

32: \newcommand{\alsq}{$\alpha_s(Q^2)$}

33: \newcommand{\dals}{$\delta \alpha_s$}

34: \newcommand{\pbinv}{pb^{-1}}

35: \newcommand{\lsim}{\raisebox{-0.07cm   }

36: {$\, \stackrel{<}{{\scriptstyle\sim}}\, $}}

37: \newcommand{\gsim}{\raisebox{-0.07cm   }

38: {$\, \stackrel{>}{{\scriptstyle\sim}}\, $}}

39: %\newcommand{\gsim}{\stackrel{>}{\sim}}

40: %\newcommand{\lsim}{\stackrel{<}{\sim}}

41: \newcommand{\dfeq}{\stackrel{\scriptsize =}{\scriptsize df}}

42: \newcommand{\als}{\alpha_s}

43: \newcommand{\aqu}{\langle Q^2 \rangle}

44: \newcommand\pB{[\mbox{pb}]}

45: \newcommand\MSbar{$\overline{\mbox{MS}}$}

46: \newcommand\order{{\cal O}}

47: %\newcommand\mat{{\cal M}}

48: \newcommand\ds{\displaystyle}

49: \newcommand\MeV{\,\mbox{MeV}}

50: \newcommand\GeV{\,\mbox{GeV}}

51: \newcommand\TeV{\,\mbox{TeV}}

52: \newcommand\secu{\,\mbox{sec}}

53: \newcommand\kvec{\mbox{\boldmath $k$}}

54: \newcommand\pvec{\mbox{\boldmath $p$}}

55: \newcommand\lvec{\mbox{\boldmath $l$}}

56: \newcommand\MT{Morfin and Tung}

57: \newcommand\CALL{{\cal L}}

58: \newcommand\KG{\kappa_G}

59: \newcommand\KA{\kappa_A}

60: \newcommand\LG{\lambda_G}

61: \newcommand\LA{\lambda_A}

62: \newcommand\PD{\not p}

63: \newcommand\MP{M^2_{\Phi}}

64: \newcommand\BE{\beta}

65: \newcommand\XL{\log \left| \frac{1 + \B}{1 -\B}\right |}

66: \newcommand\SM{\frac{\hat{s}}{M_{\Phi}^2}}

67: \newcommand\SMM{\frac{\hat{s}^2}{M_{\Phi}^4}}

68: \newcommand\SMMM{\frac{\hat{s}^3}{M_{\Phi}^6}}

69: \newcommand\SMMMM{\frac{\hat{s}^4}{M_{\Phi}^8}}

70: \newcommand\BC{\beta^2 \cos^2 \theta}

71: \newcommand\CB{\beta^2 \cos^2 \theta}

72: \newcommand\CBB{\beta^4 \cos^4 \theta}

73: \newcommand\CBBB{\beta^6 \cos^6 \theta}

74: \newcommand\CBBBB{\beta^8 \cos^8 \theta}

75: \newcommand\SH{\hat{s}}

76: \newcommand\uh{\hat{u}}

77: \newcommand\thh{\hat{t}}

78: \newcommand\sh{\hat{s}}

79: \newcommand\epsi{\varepsilon}

80: \newcommand\ea{\varepsilon_1}

81: \newcommand\eb{\varepsilon_2}

82: \newcommand\Ea{\epsilon_1}

83: \newcommand\Eb{\epsilon_2}

84: \newcommand\ch{{\rm{ch}}}

85: \newcommand\shh{{\rm{sh}}}

86: \newcommand\thhh{{\rm{th}}}

87: \newcommand\st{\sin^2 \theta}

88: \newcommand\BR{\left(1 - \CB \right)}

89: \newcommand\ka{\kappa_1}

90: \newcommand\kb{\kappa_2}

91: \newcommand\kap{\kappa_1'}

92: \newcommand\kbp{\kappa_2'}

93: \newcommand\xx{\tilde{x}}

94: \newcommand\GG{\tilde{g}}

95: \newcommand\hh{\tilde{h}}

96: \newcommand\AAA{\alpha_1}

97: \newcommand\AB{\alpha_2}

98: \newcommand\MV{\mbox{\boldmath $M$}}

99: \newcommand\Kvec{\mbox{\boldmath $K$}}

100: \newcommand\Pvec{\mbox{\boldmath $P$}}

101: \newcommand\Uvec{\mbox{\boldmath $U$}}

102: \newcommand\Vvec{\mbox{\boldmath $V$}}

103: \newcommand\bx{\overline{x}}

104: \newcommand\by{\overline{y}}

105: \newcommand\FFA{\mbox{$\widetilde{F}^a$}}

106: \newcommand\ub{\mbox{$\overline{u}(p_2,S_2)$}}

107: \newcommand\uu{\mbox{$u(p_1,S_1)$}}

108: \newcommand\g{\mbox{$\gamma$}}

109: \newcommand\T{{\sf T}}

110: \newcommand\fP{{I\!P}}

111: \newcommand\non{\nonumber}

112: \newcommand\del{\delta}

113: \newcommand\be{\begin{eqnarray}}

114: \newcommand\ee{\end{eqnarray}}

115: \newcommand\Sf{{\rm S}_{1,2}}

116: \newcommand\Sa{{\rm S}}

117: \newcommand\ep{\varepsilon}

118: \newcommand\RR{{\rm Re}}

119: \newcommand\ARG{{\rm arg}}

120: \newcommand\mat{{\cal M}}

121: \newcommand\sign{{\rm sign}}

122: \newcommand\Li{{\rm Li}}

123: \newcommand\PV{\, \mbox{\boldmath $P$}}

124: \newcommand\DV{\, \mbox{\boldmath $D$}}

125: \newcommand\EV{\, \mbox{\boldmath $E$}}

126: \newcommand\UV{\, \mbox{\boldmath $U$}}

127: \newcommand\RV{\, \mbox{\boldmath $R$}}

128: \newcommand\M{\, \mbox{\boldmath $M$}}

129: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

130: %\setcounter{page}{11}

131: %\setcounter{equation}{46}

132: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

133: \begin{document}

134: \noindent

135: %

136: \sloppy

137: \thispagestyle{empty}

138: \begin{flushleft}

139: DESY 02-016 \hfill

140: {\tt hep-ph/0409289}\\

141: SFB--CPP--04/11\\

142: January 2004

143: \end{flushleft}

144: %

145: %\setcounter{page}{0}

146: % 1

147: %\mbox{}

148: \vspace*{\fill}

149: \begin{center}

150: {\LARGE\bf Universal Higher Order QED Corrections}

151: 

152: \vspace{2mm}

153: {\LARGE\bf to Polarized Lepton Scattering}

154: %

155: 

156: \vspace{2cm}

157: \large

158: Johannes Bl\"umlein  and

159: Hiroyuki Kawamura~\footnote{Present address~: KEK High Energy Accelerator 

160: Research Organization, 1--1 Oho, Tsukuba--shi, Ibaraki--ken 305--0901,

161: Japan.}

162: \\

163: \vspace{2em}

164: \normalsize

165: {\it Deutsches Elektronen--Synchrotron, DESY,\\

166: Platanenallee 6, D--15738 Zeuthen, Germany}

167: \\

168: \vspace{2em}

169: %%\today

170: \end{center}

171: \vspace*{\fill}

172: %

173: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

174: \begin{abstract}

175: \noindent

176: We calculate the universal radiative QED corrections to polarized lepton 

177: scattering for general scattering cross sections in analytic form. The 

178: flavor non--singlet and singlet radiation functions are calculated to 

179: $O((\alpha {\rm L})^5)$. The resummation of the non--singlet and singlet 

180: contributions to the QED--anomalous dimensions $\propto(\alpha \ln^2(x))^k$ 

181: is performed to all orders. Numerical results are presented for the individual

182: radiation functions. Applications to polarized deeply inelastic lepton--nucleon 

183: scattering are given.

184: \end{abstract}

185: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

186: \vspace*{\fill}

187: \newpage

188: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

189: \section{Introduction}

190: %\renewcommand{\theequation}{\thesection.\arabic{equation}}

191: %\setcounter{equation}{0}

192: \label{sec-1}

193: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

194: 

195: \vspace{1mm}

196: \noindent

197: QED corrections to integral and differential cross sections of light 

198: charged lepton--lepton scattering or deeply inelastic lepton--nucleon

199: scattering can be quite large in some kinematic

200: regions~\cite{EXAMP1,EXAMP2,RCJB}. 

201: In particular Bremsstrahlung contributions lead to significant shifts in the 

202: sub--system kinematics and cause large logarithmic contributions in 

203: differential distributions. The radiative corrections can be grouped into

204: universal pieces, which are process--independent, and the remainder

205: process dependent part. The former corrections are called universal

206: corrections as they are associated with the radiating particle 

207: irrespective of the process. Two classes of universal corrections are known~: 

208: {\it i)}~the leading--logarithmic $O\left[(\alpha L)^k\right]$ 

209: corrections, where $L = \ln(s/m^2)$. Here $s$ is a typical 

210: energy scale which describes a time-- or a space--like virtuality and $m$ 

211: denotes the light fermion mass.

212: This type of corrections can be obtained  by solving

213: the renormalization group equations for mass--factorization~\cite{CS} in

214: lowest order completely;

215: {\it ii)}~the QED--exponentiation  

216: $\left[\alpha \ln^2(x)\right]^k$--terms in the all--order anomalous dimensions

217: due to infrared evolution equations for initial--state radiation in lowest 

218: order~\cite{Kirschner:1983di,Bartels:1996wc}~\footnote{Numerical studies 

219: in the case of QCD were performed in~\cite{LNXQCD}. For a review see

220: \cite{Blumlein:1999ev}.}. 

221: 

222: Unlike the case in QCD, for QED radiation the radiation sources are no

223: extended 

224: distributions, $f_i(x,Q^2)$, which fall rapidly as $x \rightarrow 1$. The

225: sources are given by a $\delta(1-x)$--distribution instead. A numerical 

226: solution of the evolution equations via a Mellin transform with a complex 

227: argument $N$ and a subsequent numerical inverse Mellin transform is thus not 

228: possible since the latter requires substantial damping as ${\sf Re}(N) 

229: \rightarrow -\infty$, which is not the case in general here. To determine

230: the 

231: solution of the respective evolution equations in QED one rather evaluates

232: the 

233: required Mellin transforms of the evolution kernels analytically in

234: perturbative form up to an order in $(\alpha L)^k$ at which sufficient 

235: numerical stability is achieved. In the past the analytic resummation of the 

236: soft--

237: and virtual leading order contributions was 

238: performed~\cite{Gribov:1972rt}. In the

239: flavor non--singlet case analytic results were obtained to 5th order

240: in $\alpha L$~\cite{Przybycien:1993qe,Arbuzov:1999cq}~\footnote{

241: Earlier results up to 3rd order were given in 

242: \cite{Skrzypek:1992vk}.}. We compactify this 

243: description using the

244: small--$x$ resummations of terms $\propto \alpha \ln(x)$, as carried 

245: out in \cite{Jezabek:1992bx}

246: to 3rd order, to 5th order. However, these terms do not yield the 

247: complete description 

248: yet. The flavor singlet contributions have to be calculated 

249: to the same order, which is one of the objectives of the present paper.

250:   

251: The second class of universal corrections concerns the resummation of

252: contributions of the type $(\alpha \ln^2(x))^k$ in the cross section. These 

253: terms are resummed by infrared evolution equations. The flavor

254: non--singlet 

255: contributions were studied earlier in 

256: \cite{Blumlein:1996dd,Blumlein:1998yz}. 

257: As the comparison of

258: the first two terms of the resummation with QED 

259: corrections~\cite{Berends:1987ab} 

260: shows, the resummation makes a correct prediction for the terms which occur in

261: initial state radiation (ISR), whereas it remains an open problem, whether this is

262: the case for final state radiation (FSR)~\footnote{Note that these terms 

263: do potentially violate

264: the Gribov--Lipatov relation, see 

265: e.g.~\cite{Curci:1980uw,Blumlein:2000wh}.}. 

266: For this reason we

267: apply the resummation only for initial state radiation. In extension of 

268: earlier work in which the non--singlet resummation was dealt 

269: with~\cite{Blumlein:1998yz}

270: the resummation is carried out also for the singlet contributions.

271: 

272: The paper is organized as follows. In section~2 we revisit the non--singlet 

273: solution to $O\left[(\alpha L)^5\right]$ and compactify previous results

274: w.r.t. exponentiations for small and large values of $x$. Section~3

275: contains the 

276: general formalism to derive the singlet solution both for the 

277: leading order $O\left[(\alpha L)^k\right]$ terms and those due to the

278: resummation of contributions $\propto O\left[(\alpha \ln^2(x))^k\right]$  

279: consistently. The iterated singlet evolution kernels are presented

280: to $O\left[(\alpha L)^5\right]$ in section~4. In section~5 we derive the

281: coefficients for the resummation of the $O\left[(\alpha \ln^2(x))^k\right]$

282: terms for singlet evolution. In section~6 numerical results are presented

283: and section~7 contains the conclusions. Technical aspects of the calculation

284: being of interest also for other higher order QED and QCD  calculations

285: are summarized

286: in the Appendices where convolution tables, which were used in the present

287: calculation, are given in Appendix~A. As well we summarize a series of

288: higher order relations between Mellin transforms and harmonic sums, or

289: polynomials of them, which were used to calculate the more complicated

290: convolutions in Appendix B and C. 

291: 

292: 

293: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 

294: \section{The Non--Singlet Solution}

295: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 

296: 

297: \vspace{1mm}\noindent

298: The universal radiative corrections discussed in the present paper can    

299: be derived using the renormalization group equations for mass             

300: factorization. We consider a one--flavor system out of electrons            

301: (positrons) and photons. The flavor non--singlet and singlet              

302: distributions  are defined by the following QED--distributions

303: %------------------------------------------------------------------------    

304: \begin{eqnarray}            

305: \label{eqNSSD}                                                          

306: D_{\rm NS}^e(a,x) &=& D^{e^-}(a,x) - D^{e^+}(a,x) \\

307: D_{\Sigma}^e(a,x) &=& D^{e^-}(a,x) + D^{e^+}(a,x)~.

308: \end{eqnarray}

309: %------------------------------------------------------------------------

310: Here $x$ denotes the momentum fraction of the collinear

311: daughter--particle radiated off the source, $0 \leq x \leq 1$, 

312: and $a \equiv a(Q^2) = e^2/(4\pi)^2$ is the running coupling constant with

313: $e$ the electric charge. For this system only one non--singlet `minus'

314: distributions occurs.

315: 

316: The non--singlet contribution to the polarized QED evolution kernel

317: is the same as in the unpolarized case since the splitting functions

318: %------------------------------------------------------------------------

319: \begin{equation}

320: P^{ff}_{\rm NS}(x) = 2 \left(\frac{1+x^2}{1-x}\right)_+

321: \end{equation}

322: %------------------------------------------------------------------------

323: are identical. The $+$-operation is defined by

324: %------------------------------------------------------------------------

325: \begin{equation}

326: \int_0^1 dx \left[F(x)\right]_+ \phi(x) = \int_0^1 dx F(x)

327: \left[\phi(x)-\phi(1)\right]

328: \end{equation}

329: %------------------------------------------------------------------------

330: for the functions $\phi(x)$, $F(x)$ with $x~\epsilon~[0,1]$.

331: 

332: The leading order non--singlet evolution equation reads

333: %------------------------------------------------------------------------

334: \begin{equation}

335: \label{eqEVONS}

336: \frac{\partial}{\partial \ln(Q^2)} D_{\rm NS}^e(a,x) =

337: a(Q^2) P_{\rm NS}^{ff}(x) \otimes D_{\rm NS}^e(a,x)~.

338: \end{equation}

339: %------------------------------------------------------------------------

340: Here $\otimes$ denotes the Mellin--convolution

341: %------------------------------------------------------------------------

342: \begin{equation}

343: A(x) \otimes B(x) = \int_0^1 dx_1 \int_0^1 dx_2~

344: \delta(x-x_1 x_2) A(x_1) B(x_2)~.

345: \end{equation}

346: %------------------------------------------------------------------------

347: One may solve (\ref{eqEVONS}) using the Mellin--transform

348: %------------------------------------------------------------------------

349: \begin{equation}

350: \M[F(x)](N) = \int_0^1 dx x^{N-1} F(x)~.

351: \end{equation}

352: %------------------------------------------------------------------------

353: The Mellin--transform of the splitting function $P_{\rm NS}^{ff}(x)$ is

354: the anomalous dimension $\gamma_{\rm NS}^{ff}(N)$.

355: 

356: The QED running coupling constant is given by

357: %------------------------------------------------------------------------

358: \begin{equation}

359: \label{eqALP}   

360: \frac{d a}{d \ln(Q^2)} = - \sum_{k=0}^{\infty} \beta_k a^k

361: \end{equation}

362: %------------------------------------------------------------------------

363: with the first coefficients of the $\beta$--function $\beta_0 = -4/3,

364: \beta_1 

365: =-4$.

366: The solution of Eq.~(\ref{eqALP}) in leading order reads

367: %------------------------------------------------------------------------

368: \begin{equation}

369: \label{eqALPS}  

370: a(Q^2) = \frac{a_0}{\displaystyle 1- \frac{4}{3} a_0 L},

371: \end{equation}

372: %------------------------------------------------------------------------

373: with $a_0 \equiv a(m_e^2)$ and  $L = \ln(Q^2/m_e^2)$. For $a_0 L \ll 1$  

374: all later results obtained in $a$ may be expanded in the parameter

375: $a_0 L$ to a finite order.

376: 

377: In Mellin--space the solution of the non--singlet evolution equation

378: reads

379: %------------------------------------------------------------------------

380: \begin{equation}

381: \label{eqSOLNS}  

382: D_{\rm NS}^{ff}(N,Q^2) =\left[1 + \beta_0 a_0

383: \ln\left(\frac{Q^2}{m_e^2}\right)\right]^{\gamma_{\rm NS}^{ff}(N)/\beta_0}~.    

384: \end{equation}

385: %------------------------------------------------------------------------

386: Here we used the boundary condition $D_{\rm NS}^{ff}(N,m_e^2) = 1$ which

387: corresponds to

388: %------------------------------------------------------------------------

389: \begin{equation}

390: \label{eqINP}

391: D_{\rm NS}^{ff}(x,m_e^2) = \delta(1-x)~.

392: \end{equation}

393: %------------------------------------------------------------------------

394: For Eq.~(\ref{eqSOLNS}) one often defines $\hat{\beta} \equiv (2

395: \alpha_0/\pi)  

396: \ln(Q^2/m_e^2)$.

397: 

398: Unlike the case of QCD evolution of extended parton 

399: densities~\cite{Blumlein:1998em} or structure 

400: functions~\cite{Blumlein:2000wh},

401: which fall rapidly as $x \rightarrow 1$, the input distributions in QED

402: are of the form (\ref{eqINP}) and are distribution--valued

403: at $x=1$.

404: Therefore, the Mellin--inversion of (\ref{eqSOLNS}) cannot be performed

405: by a numerical contour integral but has to be worked out calculating all

406: the convolutions up to a finite order in $x$--space in to $(\alpha L)^k$ 

407: at 

408: which sufficient convergence of the series is being obtained. In the

409: present paper the iteration is performed up to $k=5$. The corresponding

410: convolutions are evaluated in explicit form in terms of Nielsen

411: integrals in Appendix~A. The calculation does partly require the

412: use of multiple harmonic 

413: sums~\cite{Vermaseren:1999uu,Blumlein:1999if,Blumlein:1997vf,ANCONT,ALGEBRA},

414: which can be

415: expressed as Mellin transforms of Nielsen integrals. In a previous

416: paper \cite{Blumlein:1999if} a series of these Mellin transforms has

417: been calculated already. In 

418: Appendix~B additional representations,

419: which were derived and used in the present calculation, are given.

420: 

421: We compared our results to those given previously in

422: \cite{Przybycien:1993qe,Arbuzov:1999cq}. We agree with 

423: \cite{Przybycien:1993qe} but find a deviation from \cite{Arbuzov:1999cq} in

424: the $O((\alpha L)^5)$ term. The result of \cite{Arbuzov:1999cq} is  

425: very lengthy and can be compactified by exponentiating

426: the soft-- and virtual contributions to all orders in $(\alpha L)^k$,

427: which was done before in Ref.~\cite{Przybycien:1993qe}. Moreover,

428: also the latter representation can be shortened in exponentiating also

429: the contributions $\propto (\hat{\beta} \ln(x))^l$, well--known from

430: QCD~\cite{DeRujula:1974rf}, which has been carried out for the first 

431: three orders in \cite{Jezabek:1992bx}, but is not contained in

432: \cite{Przybycien:1993qe,Arbuzov:1999cq}.

433: 

434: The non-singlet splitting kernel (no running coupling) can be represented

435: exponentiating the soft and small $x$ contributions to all orders and

436: treating the other contributions to finite order as

437: %------------------------------------------------------------------------

438: \begin{equation}

439: \label{eqdns}

440: D_{\rm NS}(x,\hat{\beta}) =

441: \left[\frac{\exp[(\hat{\beta}/2)(3/4-\gamma_E)]}

442: {\Gamma(1+\hat{\beta}/2)} \frac{\hat{\beta}}{2} (1-x)^{\hat{\beta}/2-1}

443: \frac{{\rm I}_1\left((-\hat{\beta}\ln(x))^{1/2}\right)}{[-\hat{\beta}

444: \ln(x)

445: ]^{1/2}}

446: \sum_{n=0}^{\infty}    \left(\frac{\hat{\beta}}{2}\right)^n

447: \Psi_n(x)\right]_+

448: \end{equation}

449: %------------------------------------------------------------------------

450: with ${\rm I}_1(z)$ the associated Bessel function, $\gamma_E$ the

451: Euler--Mascheroni constant, and

452: %------------------------------------------------------------------------

453: \begin{eqnarray}

454: \Psi_0(x) &=& 1+x^2\\

455: %------------------------------------------------------------------------

456: \Psi_1(x) &=& -\frac{1}{2} \left[(1-x)^2+x^2\ln(x)\right]\\

457: %------------------------------------------------------------------------

458: \Psi_2(x) &=& \frac{1}{4} (1-x)\left[1-x-x\ln(x)+(1+x)\Li_2(1-x)\right]\\

459: %------------------------------------------------------------------------

460: \Psi_3(x) &=&  -\frac{1}{48} \Biggl\{6(1-x^2)[2 \Li_3(1-x)+ \Li_2(1-x)]

461:                           +5(x-1)^2 \\ & &

462:           + (1+7 x^2)[ \ln(x)\Li_2(1-x) + 2\Sf(1-x)]

463:           -\left(\frac{1}{2}+6 x - \frac{13}{2} x^2\right) \ln(x)

464:           +\frac{1}{12} x^2 \ln^3(x) \Biggr\} \nonumber\\

465: %------------------------------------------------------------------------

466: \Psi_4(x) &=&  \frac{1}{96} \Biggl\{(1-x^2)

467: \Biggl[24 \Li_4(1-x)+ 12\Li_3(1-x)

468:                - \frac{5}{2} \Sa_{1,3}(1-x) \nonumber\\ & &

469:                ~~~~~~~~~~~- 12 \Sa_{2,2}(1-x)

470:                - \frac{3}{2} \ln(x)\Sf(1-x)

471:               -\frac{1}{4} \ln^2(x) \Li_2(1-x)

472:               + 7 \Li_2(1-x)\Biggr] \nonumber  \\ & &

473:               ~~+ 4(1+x^2) \Li_2^2(1-x)

474:                +(1-8x+7x^2)\Biggl[\ln(x) \Li_2(1-x) +2\Sf(1-x)\Biggr]

475:                \nonumber\\ & &

476:               ~~+ 2 (1+7x^2)  \ln(x) \Li_3(1-x)

477:               -\left(\frac{3}{4} + 5x -\frac{23}{4} x^2\right) 

478:               \ln(x) \nonumber\\ & &

479:               ~~-\frac{1}{12}x(1-x) \ln^3(x)

480:               -\frac{1}{48}x^2 \ln^4(x)

481:               + (1-x)^2 \left[\frac{7}{2} 

482:               +\frac{1}{8}\ln^2(x) \right] \Biggr\}~.

483: \end{eqnarray}

484: Except the 0th term all the functions $\Psi_k(x)$ behave at least

485: as $\propto (1-x)$ for $x\rightarrow 1$. Therefore in these orders

486: the contribution $\propto 1/(1-x)$ in the function $D_{\rm

487: NS}(x,\hat{\beta})$ is

488: canceled. As mentioned before the leading small $x$ terms 

489: $\propto (\hat{\beta} \ln(x))^k$ are resummed into the function 

490: $I_1\left[(-\hat{\beta} \ln(x))^{1/2}\right]$.

491: Indeed many more logarithmic contributions are absorbed in this way

492: from the expanded expression. To 3rd order in $\hat{\beta}$ the functions

493: $\Psi_k(x)$ are finite as $x \rightarrow 0$. In the higher orders

494: some terms of the order $\hat{\beta}^k \ln^{k-l}(x), l > 0$ remain, but

495: contain a small weight factor only.

496: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

497: \section{The Solution of Singlet Evolution Equations}

498: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

499: 

500: \vspace{1mm}

501: \noindent

502: In this paragraph we derive the explicit solution of the singlet

503: evolution equation in terms of the running coupling constant $a=a(Q^2)$,

504: with $a= \alpha/(4\pi)$ and account both for the leading order terms

505: as well the leading terms at small $x$~~$\propto a^k \ln^{2(k-1)}(x)$.

506: Since the latter terms stem from the higher order evolution kernels,

507: which do not commute with the (resummed)

508: leading order solution in general, the perturbative solution has to be

509: constructed accordingly. A framework of this kind was derived for

510: Mellin $N$-space in Ref.~\cite{Blumlein:1998em} and for the lowest three

511: orders in \cite{Ellis:1994rb}. Here we will work in $x$--space and have

512: therefore to extend a prescription given to second order in  

513: \cite{Furmanski:1982cw} to all orders.

514: 

515: 

516: We substitute the scale dependence of the (singlet) evolution 

517: equation\footnote{The corresponding structures for the non--singlet

518: evolution equations are those of entry $(1,1)$ and are not given

519: separately. We will use this structures also resumming the small $x$ terms 

520: $\propto \ln^2(x)$ later on.}

521: in terms of $a$, Eq.~(\ref{eqALP}). One obtains

522: %------------------------------------------------------------------------

523: \begin{eqnarray}

524: \label{eqEVO1}

525: \frac{\partial \DV_S(a,x)}{\partial a} 

526: &=& 

527: - \frac{1}{a}

528: \frac{\PV_0(x) + a \PV_1(x) + a^2  \PV_2(x) + \ldots}

529: {\beta_0 + a \beta_1+ a^2 \beta_2 \ldots} \otimes \DV_S(a,x) \nonumber\\

530: &=& - \frac{1}{\beta_0 a} \Biggl[\PV_0(x) + a\left(\PV_1(x) 

531: - \frac{\beta_1}{\beta_0} \PV_0(x)\right) + O(a^2)\Biggr]

532: \otimes \DV_S(a,x) \nonumber\\

533: &=& - \frac{1}{a} \left[\RV_0(x) + \sum_{k=1}^{\infty} a^k \RV_k(x)\right]

534: \otimes \DV_S(a,x)~.

535: \end{eqnarray}

536: %------------------------------------------------------------------------

537: The functions $\RV_k(x)$ are given by

538: %------------------------------------------------------------------------

539: \begin{eqnarray}

540: \RV_0(x) &=& \frac{1}{\beta_0} \PV_0(x)\\

541: \RV_k(x) &=& \frac{1}{\beta_0} \PV_k(x) - \sum_{i=1}^k \frac{\beta_i}{

542: \beta_0} \RV_{k-i}(x)~.

543: \end{eqnarray}

544: %------------------------------------------------------------------------

545: 

546: The leading order solution is 

547: %------------------------------------------------------------------------

548: \begin{eqnarray}

549: \label{eqSLO}

550: \DV_{S,0}(a,x) &=& \left[\exp(-\RV_0(x) \ln(a/a_0)

551: )_\otimes\right] \otimes \DV_S(a_0,x) \equiv \EV_0(a,a_0,x) \otimes

552: \DV_S(a_0,x)~,

553: \end{eqnarray}

554: %------------------------------------------------------------------------

555: where $\EV_0$ is the leading order singlet evolution operator.

556: We use the short--hand notation

557: %------------------------------------------------------------------------

558: \begin{eqnarray}

559: \left[f(g(x))_\otimes\right] = \sum_{k=0}^{\infty} \frac{f^{(k)}(0)}{k!}

560: \otimes_{l=1}^k g(x)~,

561: \end{eqnarray}

562: %------------------------------------------------------------------------

563: with $\otimes_{l=1}^k$ the $k$-fold convolution. The distribution 

564: at the

565: scale $a = a_0$ is

566: %------------------------------------------------------------------------

567: \begin{eqnarray}

568: \DV_S(a_0,x) = {\bf 1}~\delta(1-x)~.

569: \end{eqnarray}

570: %------------------------------------------------------------------------

571: 

572: Higher than leading order contributions are found perturbativly by

573: %------------------------------------------------------------------------

574: \begin{eqnarray}

575: \DV_S(a,x) = \UV(a,x) \otimes \EV_0(a,a_0,x) \otimes

576:              \UV(a_0,x)^{-1}~,

577: \end{eqnarray}

578: %------------------------------------------------------------------------

579: with

580: %------------------------------------------------------------------------

581: \begin{eqnarray}

582: \label{eqUVk}

583: \UV(a,x) = {\bf 1}~\delta(1-x) + \sum_{k=1}^{\infty} a^k \UV_k(x)~.

584: \end{eqnarray}

585: %------------------------------------------------------------------------

586: The matrices $\UV_k(x)$ are obtained recursively from the functions

587: $\RV_k(x)$,

588: %------------------------------------------------------------------------

589: \begin{eqnarray}

590: \widehat{\RV}_1(x) &=& \RV_1(x) \\

591: \widehat{\RV}_k(x) &=& \RV_k(x) 

592: + \sum_{l=1}^{k-1} \RV_{k-l} \otimes \UV_k(x)~.

593: \end{eqnarray}

594: %------------------------------------------------------------------------

595: In general the matrices $\UV_k$ do not commute. The higher than leading order

596: contributions dealt with in the present paper concern contributions to the

597: splitting functions $\propto a^k \ln^{2k}(x)$. If one would work in $x$--space

598: many convolutions of these functions with those representing the fixed order

599: solutions $\EV_0$ would have to be calculated. The series in $a^k \ln^{2k}(x)$ 

600: may need more terms than in the case of the fixed order solution in $O[(\alpha

601: L)^k]$. The specific structure of the terms $a^k \ln^{2k}(x)$ allows to work in

602: $N$--space since the Mellin transform

603: %------------------------------------------------------------------------

604: \begin{eqnarray}

605: \MV[\ln^{2k}(x)](N) = \frac{(2k)!}{N^{2k+1}}

606: \end{eqnarray}

607: %------------------------------------------------------------------------

608: is sufficiently damped for $k\geq 1$ in the limit ${\sf Re}(N) \rightarrow 

609: - \infty$. Due to this we may calculate the $\UV$--matrix in $N$--space and

610: use the solution

611: %------------------------------------------------------------------------

612: \begin{eqnarray}

613: \label{eqSOLII}

614: \DV_S(a,x) &=& \EV_0(a,a_0,x) +

615: \widehat{\UV}(a,x) \otimes \EV_0(a,a_0,x) +\EV_0(a,a_0,x) \otimes

616:              \widetilde{\UV}(a_0,x) \nonumber \\

617: & & 

618: + \widehat{\UV}(a,x) \otimes \EV_0(a,a_0,x) \otimes \widetilde{\UV}(a_0,x)~,

619: \end{eqnarray}

620: %------------------------------------------------------------------------

621: where 

622: %------------------------------------------------------------------------

623: \begin{eqnarray}

624: \label{eqUV1}

625: \widehat{\UV}(a,x) &=& \UV(a,x) - {\bf 1} \delta(1-x) \\

626: \label{eqUV2}

627: \widetilde{\UV}(a,x) &=& \UV(a,x)^{-1} - {\bf 1} \delta(1-x)~.

628: \end{eqnarray}

629: %------------------------------------------------------------------------

630: 

631: 

632: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

633: \section{The Leading Order Solution to \mbox{\boldmath $O[(\alpha L)^5]$}}

634: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

635: 

636: \vspace{1mm}

637: \noindent

638: In the present paper we limit the explicit representations 

639: to order $n=5$ in $(a_0 L)$~~\footnote{Beyond this level we will use

640: only the exponentiation for the non--singlet terms.}. 

641: It is therefore convenient to expand (\ref{eqSLO}) as

642: %------------------------------------------------------------------------

643: \begin{eqnarray}

644: \label{EV0}

645: \EV_0(a,x) &=& {\bf 1}~

646: \delta(1-x) + \PV_0(x) a_0 L + \left( \frac{1}{2}

647: \PV_0^{(1)}(x) + \frac{2}{3} \PV_0(x)\right) (a_0 L)^2          \\ & &

648: +\left(\frac{1}{6} \PV_0^{(2)}(x)

649:       +\frac{2}{3} \PV_0^{(1)}(x)

650:       +\frac{16}{27} \PV_0(x)\right) (a_0 L)^3 \nonumber\\ & &

651: +\left(\frac{1}{24} \PV_0^{(3)}(x)

652:       +\frac{1}{3} \PV_0^{(2)}(x)

653:       +\frac{22}{27} \PV_0^{(1)}(x)

654:       +\frac{16}{27} \PV_0(x)\right) (a_0 L)^4 \nonumber\\ & &

655: +\left(\frac{1}{120} \PV_0^{(4)}(x)

656:       +\frac{1}{9} \PV_0^{(3)}(x)

657:       +\frac{14}{27} \PV_0^{(2)}(x)

658:       +\frac{80}{81} \PV_0^{(1)}(x)

659:       +\frac{256}{405} \PV_0(x)\right) (a_0 L)^5~. \nonumber

660: \end{eqnarray}

661: %------------------------------------------------------------------------

662: Eq.~(\ref{EV0}) makes the effect of the running coupling (\ref{eqALPS})

663: explicit. The matrices $\PV_0^{(k)}$ are

664: %------------------------------------------------------------------------

665: \begin{eqnarray}

666: \PV_0^{(k)}(x) = \otimes_{l=1}^k \PV_0(x)~.

667: \end{eqnarray}

668: %------------------------------------------------------------------------

669: The corresponding expressions for the $(1,1)$--components of

670: $\PV_0^{(k)}(x)$ are given relative to the non--singlet components

671: $\PV_{\rm NS}^{(k)}(x)$ of section~2. The singlet--matrix

672: components $\PV_{i,j}^{(k)}(x)$ given below~(\ref{eqSP0}--\ref{eqSP2}) 

673: were calculated using the convolution formulae of 

674: Appendix~A.~\footnote{Note that the second order contribution

675: $P_{1,1}^{(1)}(x)$ given in the literature is partly incorrect 

676: \cite{Akushevich:1998nz} for polarized scattering.}

677: The projections $P_{i,j}^{(k)}$ describe the splitting of an electron into 

678: an electron (1,1), of a photon into an electron, positron, respectively

679: (1,2), an 

680: electron into

681: a photon (2,1), and a photon into a photon (2,2) in $k$th order in the 

682: renormalized coupling constant. 

683: 

684: The individual components for the different orders are given by~:

685: %------------------------------------------------------------------------

686: 

687: \vspace{3mm} \noindent

688: {\sf 0th order~:}

689: \begin{eqnarray}

690: \label{eqSP0}

691: P_{1,1}^{(0)}(x) &=& P_{\rm NS}^{(0)}(x)  \\

692: %%\frac{4}{(1-x)_+} - 2(1+x) + 3 \delta(1-x)\\

693: %-----

694: P_{1,2}^{(0)}(x) &=& -4(1-2x)   \\

695: %-----

696: P_{2,1}^{(0)}(x) &=&  2(2-x)   \\

697: %-----

698: P_{2,2}^{(0)}(x) &=& - \frac{4}{3} \delta(1-x)~. 

699: \end{eqnarray}

700: Here a non--vanishing contribution to $P_{2,2}^{(0)}(x)$ emerges due to

701: 4--momentum conservation, see also \cite{FADIN}.

702: 

703: \vspace{1mm} \noindent

704: {\sf 1st order~:}

705: \begin{eqnarray}

706: %==========

707: P_{1,1}^{(1)}(x) &=& P_{\rm NS}^{(1)} + 8[5(1-x)+2(1+x) \ln(x)]\\

708: %-----

709: P_{1,2}^{(1)}(x) &=& 4\left[2(2x-1)[2\ln(1-x)-\ln(x)] +\frac{13-8x}{3}

710: \right]\\

711: %-----

712: P_{2,1}^{(1)}(x) &=& 4\left[(2-x)[2\ln(1-x)+\ln(x)]-\frac{8-13x}{6}\right]\\

713: %-----

714: P_{2,2}^{(1)}(x) &=& 8\left[

715:             5(1-x)+2(1+x)\ln(x) + \frac{2}{9} \delta(1-x)\right]

716: \end{eqnarray}

717: 

718: \vspace{1mm} \noindent

719: {\sf 2nd order~:}

720: \begin{eqnarray}

721: %==========

722: P_{1,1}^{(2)}(x) &=& P_{\rm NS}^{(2)} 

723: + 16\biggl[- \frac{49}{3}(1-x) 

724: + 20(1-x)\ln(1-x) - \frac{4}{3}(7-8x)\ln(x) 

725: \\

726: &&\hspace{1cm} + 8(1+x)\ln(x)\ln(1-x) - 2(1+x)\ln^2(x) 

727: + 8(1+x)\Li_2(1-x)\biggr] \non\\

728: %-----

729: P_{1,2}^{(2)}(x) &=& 8\left[\frac{1379-1318x}{18} + 8(1-2x)\zeta(2)  

730: + \frac{44-16x}{3}\ln(1-x)+ \frac{98+158x}{3}\ln(x) \right.

731: \\

732: && \left. - 8(1-2x)\ln^2(1-x) + 8(1-2x)\ln(x)\ln(1-x) 

733: + 3(1-2x)\ln^2(x) \right]  \non\\

734: %-----

735: P_{2,1}^{(2)}(x) &=& 8 \left[ -\frac{659}{18} + \frac{1379}{36}x 

736: - 4(2-x)\zeta(2) - \frac{8-22x}{3}\ln(1-x) - \frac{71}{3}(1+x)\ln(x) \right.

737: \\

738: &&\left. + 4(2-x)\ln^2(1-x) - 4(2-x)\ln(x)\ln(1-x) 

739: - \frac{3}{2}(2-x)\ln^2(x) \right]   

740: \non\\

741: %-----

742: P_{2,2}^{(2)}(x) &=& 8\left[ -\frac{79}{3}(1-x) + 20(1-x)\ln(1-x) 

743: - \frac{20}{3}(2-x)\ln(x) \right.

744: \\ 

745: && \left. + 8(1+x)\ln(x)\ln(1-x)

746: - 2(1+x)\ln^2(x) + 8(1+x)\Li_2(1-x) -\frac{8}{27}\delta(1-x) \right]~.  

747: \non

748: \end{eqnarray}

749: 

750: \vspace{1mm} \noindent

751: {\sf 3rd order~:}

752: \begin{eqnarray}

753: %==========

754: P_{1,1}^{(3)}(x) &=&  P_{\rm NS}^{(3)} 

755: + 16\left[ -\left(\frac{5593}{18} + 120\zeta(2)\right)(1-x)

756: - \frac{548}{3}(1-x)\ln(1-x) \right.

757: \non\\                                

758: && - \left(\frac{1445 + 3089x}{9} + 48(1+x)\zeta(2)\right)\ln(x)      

759: + 120(1-x)\ln^2(1-x)                                               

760: \non\\                                                             

761: && - \frac{80}{3}(4-5x)\ln(x)\ln(1-x) - \frac{85 - 65x}{3}\ln^2(x)  

762: - 24(1+x)\ln^2(x)\ln(1-x)                                          

763: \\                                                                

764: && + 48(1+x)\ln(x)\ln^2(1-x) - \frac{2}{3}(1+x)\ln^3(x)         

765: + \frac{40}{3}(1+x)\Li_2(1-x)                                 

766: \non\\                                                          

767: && + 96(1+x)\ln(1-x)\Li_2(1-x)                            

768: - 96(1+x)\Li_3(1-x) + 48(1+x)\Sf(1-x) \biggl]  \non\\               

769: %-----                                                           

770: P_{1,2}^{(3)}(x) &=& 16\left[

771: -\frac{42587}{108}+\frac{10768}{27}x               

772: -\frac{124-32x}{3}\zeta(2)-32(1-2x)\zeta(3) \right.                           

773: \non\\                                                                

774: && + \Biggl(\frac{2693 - 2506x}{9} + 48(1-2x)\zeta(2)\Biggr) \ln(1-x)   

775: \non\\

776: && - \Biggl(\frac{3389 - 1384x}{18} + 24(1-2x)\zeta(2)\Biggr)\ln(x)

777: + \frac{124-32x}{3}\ln^2(1 - x)

778: \\

779: && - \frac{380 + 644x}{3}\ln(x)\ln(1 - x) 

780: -  \frac{217 + 304x}{6} \ln^2(x)

781: - 16(1-2x)\ln^3(1 - x) 

782: \non\\

783: && + 24(1-2x)\ln(x)\ln^2(1 - x) 

784: + 10(1-2x)\ln^2(x)\ln(1 - x) 

785: \non\\

786: &&

787: - \frac{7}{3}(1-2x)\ln^3(x)

788: + (168+204x)\Li_2(1-x) + 44(1-2x)\ln(x)\Li_2(1-x)

789: \non\\

790: &&

791: + 52(1-2x)\Sf(1-x) \biggr] \non\\

792: %-----

793: P_{2,1}^{(3)}(x) &=&  

794: 16\left[

795: \frac{5384}{27}+\frac{42587}{216}x

796: + \frac{16-62x}{3}\zeta(2)+16(2-x)\zeta(3) \right.

797: \non\\

798: && - \Biggl(\frac{1253}{9} - \frac{2693}{18}x 

799: + 24(2-x)\zeta(2)\Biggr)\ln(1-x)

800: \\

801: &&

802: + \Biggr(\frac{907}{9}-\frac{1997}{36}x+12(2-x)\zeta(2)\Biggr)\ln(x)

803: - \frac{16 - 62x}{3}\ln^2(1-x)

804: \non\\

805: &&

806: - \frac{290 + 314x}{3}\ln(x)\ln(1 - x)

807: + \Biggl(\frac{77}{3}+\frac{287}{12}x\Biggr)\ln^2(x)

808: + 8(2-x)\ln^3(1 - x) 

809: \non\\

810: &&

811: - 12(2-x)\ln(x)\ln^2(1 - x)

812: - 5(2-x)\ln^2(x)\ln(1 - x)+\frac{7}{6}(2-x)\ln^3(x)

813: \non\\

814: && - 22(2-x)\ln(x)\Li_2(1-x) - (102+84x)\Li_2(1-x)

815: - 26(2-x)\Sf(1-x)\biggr] \non\\

816: %-----

817: P_{2,2}^{(3)}(x) &=& 

818: 16\left[ 

819: - \Biggl(\frac{2177}{6}+40\zeta(2)\Biggr)(1-x)

820: - \frac{236}{3}(1-x)\ln(1 - x) 

821: \right.\non\\

822: &&

823: - \Biggl(183+\frac{785}{3}x+16(1+x)\zeta(2)\Biggr)\ln(x)

824: + 40(1-x)\ln^2(1 - x)

825: \\

826: &&

827: - \frac{128 - 112x}{3}\ln(x)\ln(1-x)

828: - \frac{103 - 107x}{3} \ln^2(x)

829: \non\\

830: && +16(1+x)\ln(x)\ln^2(1 - x)

831: - 8(1+x)\ln^2(x)\ln(1 - x)-2(1+x)\ln^3(x)

832: \non\\

833: && + 32(1+x)\ln(1 -x)\Li_2(1-x) 

834: -\frac{8}{3}(1+x)\Li2(1-x) - 32(1+x)\Li_3(1-x)

835: \non\\

836: && \left. + 16(1+x)\Sf(1-x) + \frac{16}{81}\del(1-x) \right]~.    

837: \non

838: \end{eqnarray}

839: 

840: \vspace{1mm} \noindent

841: {\sf 4th order~:}

842: \begin{eqnarray}

843: %==========

844: P_{1,1}^{(4)}(x) &=&  P_{\rm NS}^{(4)} 

845: + 32\left[\left(\frac{73678}{27}+704\zeta(2)+ 640\zeta(3)\right)(1-x)

846: \right.\non\\

847: && - \left(\frac{15212}{9}+960\zeta(2)\right)(1-x)\ln(1 - x)

848: \non\\

849: && + \left(\frac{36568}{27}- \frac{9068}{27}x 

850: + 416\zeta(2)-544\zeta(2)x+ 256(1+x)\zeta(3)\right)\ln(x)

851: \non\\

852: &&

853: - 704(1-x)\ln^2(1 - x) 

854: - \left(\frac{8000+20672x}{9}+384(1+x)\zeta(2)\right)\ln(x)\ln(1-x)

855: \non\\

856: &&

857: + \left(\frac{2696+4472x}{9} + 96(1+x)\right)\ln^2(x)

858: + 320(1-x)\ln^3(1-x)

859: \non\\

860: &&

861: - (416-544x)\ln(x)\ln^2(1-x) - (152-88x) \ln^2(x)\ln(1-x)

862: \\

863: && + \frac{40}{9}(8-7x)\ln^3(x)

864: + 128(1+x)\ln(x)\ln^3(1 - x) - 96(1+x)\ln^2(x)\ln^2(1 - x)

865: \non\\

866: && + \frac{4}{3}(1+x)\ln^4(x)

867: - \left(\frac{14336}{9}+384\zeta(2)\right)(1+x)\Li_2(1 - x) 

868: \non\\

869: &&

870: + 128(1+x)\ln(1 - x)\Li_2(1 - x) - 720(1-x)\ln(x)\Li_2(1-x) 

871: \non\\

872: && + 384(1+x)\ln^2(1-x)\Li_2(1-x) 

873: - 96(1+x)\ln^2(x)\Li_2(1-x)

874: \non\\

875: && - 128(1+x)\Li_3(1 - x) -768(1+x)\ln(1-x)\Li_3(1-x) 

876: + 768(1+x)\Li_4(1 - x) 

877: \non\\

878: && - (816-944x)\Sf(1 - x) + 384(1+x)\ln(1-x)\Sf(1-x) 

879: \non\\

880: &&

881: -256(1+x)\ln(x)\Sf(1-x)

882: -384(1+x)\Sa_{2,2}(1 - x)-192(1+x)\Sa_{1,3}(1 - x)\Biggr]

883: \non\\

884: %-----

885: P_{1,2}^{(4)}(x) &=& 

886: 32 \Biggl[

887: -\frac{1912189}{648} + \frac{958405}{324}x - \frac{7852-7064x}{9}\zeta(2) 

888: + \frac{640-128x}{3}\zeta(3)- 48(1-2x)\zeta(4)

889: \non\\

890: && + \left(-\frac{57280}{27}+\frac{58364}{27}x 

891: - 64(5-x)\zeta(2) - 256(1-2x)\zeta(3)\right)\ln(1-x) 

892: \non\\

893: && + \left( -\frac{37633}{27}- \frac{100213}{27}x - 368\zeta(2) 

894:             - 656\zeta(2)x + 128(1-2x)\zeta(3) \right)\ln(x) 

895: \non\\

896: && + \left( \frac{7852 -7064x}{9} + 192(1-2x)\zeta(2) \right)\ln^2(1-x)

897: \\

898: && - \left( \frac{9220 - 4616x}{9} + 192(1-2x)\zeta(2) \right)\ln(x)\ln(1-x)

899: \non\\

900: && + \left( -\frac{4703}{18}+ \frac{4442}{9}x 

901:                        - 24(1-2x)\zeta(2)\right)\ln^2(x)

902: + \frac{64}{3}(5-x)\ln^3(1-x)

903: \non\\

904: && + (368+656x)\ln(x)\ln^2(1-x) - \frac{616+1000x}{3}\ln^2(x)\ln(1-x)

905: \non\\

906: && - \left(20+\frac{89}{3}x\right)\ln^3(x)

907: - 32(1-2x)\ln^4(1-x) + 64(1-2x)\ln(x)\ln^3(1-x)

908: \non\\

909: && + 24(1-2x)\ln^2(x)\ln^2(1-x)

910: - \frac{40}{3}(1-2x)\ln^3(x)\ln(1-x) - \frac{5}{12}(1-2x)\ln^4(x)

911: \non\\

912: && - (152+272x)\Li_2(1-x) + (1056+1248x)\ln(1-x)\Li_2(1-x)

913: \non\\

914: && - \frac{32}{3}(4+x)\ln(x)\Li_2(1-x) + 288(1-2x)\ln(x)\ln(1-x)\Li_2(1-x) 

915: \non\\

916: && - 16(1-2x)\ln^2(x)\Li_2(1-x) - (1056+1248x)\Li_3(1-x)

917: \non\\

918: && - 288(1-2x)\ln(x)\Li_3(1-x) + 352(1-2x)\ln(1-x)\Sf(1-x)

919: \non\\

920: &&

921: + 80(1-2x)\ln(x)\Sf(1-x) - 32(1-2x)\Li^2_2(1-x) 

922: + 48(9 + 13x)\Sf(1-x)

923: \non\\

924: && - 224(1-2x)\Sa_{2,2 }(1-x) + 224(1-2x)\Sa_{1,3}(1-x)\Biggr]

925: \non\\

926: %-----

927: %-----

928: P_{2,1}^{(4)}(x) &=& 

929: 32 \Biggl[

930: \frac{958405}{648}-\frac{1912189}{1296}x+\frac{3532-3926x}{9}\zeta(2) 

931: - \frac{64}{3}(1-5x)\zeta(3)+24(2-x)\zeta(4) 

932: \non\\

933: && + \left(\frac{41849+94913x}{54} + 296\zeta(2)+344\zeta(2)x 

934:                             -64(2-x)\zeta(3) \right)\ln(x)

935: \non\\

936: && + \left(\frac{29182-28640x}{27}

937:                 + 32(1-5x)\zeta(2) + 128(2-x)\zeta(3)\right) \ln(1-x)

938: \non\\

939: && + \left(- \frac{3532-3926x}{9} - 96(2-x)\zeta(2) \right)\ln^2(1-x)

940: \\

941: && + \left(\frac{4756-3242x}{9} + 96(2-x)\zeta(2)\right)\ln(x)\ln(1-x)

942: \non\\

943: && + \left(\frac{1609}{9}-\frac{6071}{36}x +12(2-x)\zeta(2)\right)\ln^2(x)

944: - \frac{32}{3}(1 - 5x)\ln^3(1-x) 

945: \non\\

946: && - (296+344x)\ln(x)\ln^2(1 - x) + \frac{436+484x}{3}\ln^2(x)\ln(1-x)

947: + \left(\frac{35}{2}+\frac{14}{3}x\right)\ln^3(x)

948: \non\\

949: && + 16(2-x)\ln^4(1- x) - 32(2-x)\ln(x)\ln^3(1 - x)

950: - 12(2-x)\ln^2(x)\ln^2(1-x)

951: \non\\

952: && + \frac{20}{3}(2-x)\ln^3(x)\ln(1-x) + \frac{5}{24}(2-x)\ln^4(x)

953: + (136+76x)\Li_2(1-x)

954: \non\\

955: && - (624 + 528x)\ln(1-x)\Li_2(1-x) - \frac{16}{3}(1+4x)\ln(x)\Li_2(1-x) 

956: \non\\

957: && - 144(2-x)\ln(x)\ln(1-x)\Li_2(1-x)

958: + 8(2-x)\ln^2(x)\Li_2(1-x) 

959: \non\\

960: &&

961: + 48(13 + 11x)\Li_3(1-x) + 144(2-x)\ln(x)\Li_3(1-x)

962: + 16(2-x)\Li^2_2(1-x) 

963: \non\\

964: && - 312(1+x)\Sf(1-x) - 176(2-x)\ln(1-x)\Sf(1-x) 

965: \non\\

966: &&

967: - 40(2-x)\ln(x)\Sf(1-x)

968: + 112(2-x)\Sa_{2,2 }(1-x) - 112(2-x)\Sa_{1,3}(1-x) \Biggr]

969: \non\\

970: %-----

971: %-----

972: \label{eqSP2}

973: P_{2,2}^{(4)}(x) &=& 

974: 32\Biggl[

975: \left(\frac{256273}{108}+ \frac{628}{3}\zeta(2)+160\zeta(3)\right)(1-x) 

976: -(1417+240\zeta(2))(1-x)\ln(1-x)

977: \non\\

978: && + \left( \frac{32002-6257x}{27} + \frac{352-368x}{3}\zeta(2)

979:                                +64(1+x)\zeta(3) \right)\ln(x)

980: \non\\

981: && - \frac{628}{3}(1-x)\ln^2(1 - x)

982: - \left(\frac{2150+3406x}{3}+96(1+x)\zeta(2)\right)\ln(x)\ln(1-x)

983: \non\\

984: && + \left(\frac{763+626x}{3}+24(1+x)\zeta(2) \right)\ln^2(x)

985: + 80(1-x)\ln^3(1-x) 

986: \\

987: && - \frac{352-368x}{3}\ln(x)\ln^2(1-x) - \frac{394-386x}{3}\ln^2(x)\ln(1-x) 

988: \non\\

989: && + \frac{50}{9}(5-4x)\ln^3(x) + 32(1+x)\ln(x)\ln^3(1-x)

990: \non\\

991: && -24(1+x)\ln^2(x)\ln^2(1-x) - \frac{20}{3}(1+x)\ln^3(x)\ln(1-x)

992: + \frac{7}{6}(1+x)\ln^4(x)

993: \non\\

994: && - (926+96\zeta(2))(1+x)\Li_2(1-x) + \frac{16}{3}(1+x)\ln(1-x)\Li_2(1-x)

995: \non\\

996: && - 380(1-x)\ln(x)\Li_2(1-x)

997:  + 96(1+x)\ln^2(1 - x)\Li_2(1-x)

998: \non\\

999: && - 44(1+x)\ln^2(x)\Li_2(1-x) - \frac{16}{3}(1+x)\Li_3(1-x)

1000: \non\\

1001: &&

1002: - 192(1+x)\ln(1-x)\Li_3(1-x) + 192(1+x)\Li_4(1-x) 

1003: \non\\

1004: && - \frac{1252-1268x}{3}\Sf(1-x) + 96(1+x)\ln(1-x)\Sf(1-x)

1005: \non\\

1006: && - 104(1+x)\ln(x)\Sf(1-x) -96(1+x)\Sa_{2,2 }(1-x)-88(1+x)\Sa_{1,3}(1-x)

1007: \non\\

1008: &&

1009: -\frac{32}{243}\del(1-x)\Biggr]~.

1010: \non

1011: %==========

1012: \end{eqnarray}

1013: %------------------------------------------------------------------------

1014: We expressed the above splitting functions in terms of poly--logarithms 

1015: and Nielsen integrals~\cite{NIELS},

1016: %------------------------------------------------------------------------

1017: \begin{eqnarray}

1018: \Li_n(x) &=& S_{n-1,1}(x) = \frac{(-1)^{n-1}}{(n-2)!} \int_0^1 

1019: \frac{dz}{z} \ln^{n-2}

1020: (z) \ln(1-xz) \\

1021: S_{n,p}(x) &=& \frac{(-1)^{n+p-1}}{(n-1)! p!} \int_0^1\frac{dz}{z}

1022: \ln^{n-1}(z) \ln^p(1-zx)~.

1023: \end{eqnarray}

1024: %------------------------------------------------------------------------

1025: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1026: \section{\mbox{\boldmath $\alpha^{n+1}\ln^{2n}(x)$} Corrections to The

1027: Evolution Kernel }

1028: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1029: 

1030: \vspace{1mm}

1031: \noindent

1032: The resummation of the leading small-$x$ terms to all orders in the

1033: coupling constant were considered in QCD in

1034: Refs.~\cite{LNXQCD,Blumlein:1996dd} and

1035: \cite{Bartels:1996wc} for the singlet case. 

1036: Very recently the results of \cite{Kirschner:1983di} in the interpretation 

1037: of Ref.~[6a, 12] were verified to be correct in the 3rd order in the

1038: coupling 

1039: constant in the unpolarized non--singlet case \cite{OTHR}. This gives

1040: further confidence in the method used.

1041: The QED analogue is obtained by

1042: setting $C_F = T_F =1, C_A =0$. We will furthermore consider only one

1043: flavor, the electron.  

1044: The corresponding contribution to the

1045: matrix of singlet splitting functions reads

1046: %----------------------------------------------------------------------

1047: \begin{eqnarray}

1048: {\bf P}(x,a)_{x \rightarrow 0} = \sum_{l=0}^{\infty}

1049: {\bf P}^{(l)}_{x \rightarrow 0} a^{l+1} \ln^{2l}(x) = \frac{1}{8\pi^2}

1050: {\cal M}^{-1}\left[F_0(N,a)\right](x).

1051: \label{Eq1}

1052: \end{eqnarray}

1053: %----------------------------------------------------------------------

1054: 

1055: The matrix ${\bf F}_0(N,a)$ obeys the equation

1056: %----------------------------------------------------------------------

1057: \begin{eqnarray}

1058: {\bf F}_0(N,a) = 16 \pi^2 \frac{a}{N} {\bf M}_0 - \frac{8a}{N^2}

1059: {\bf F}_8(N,a){\bf G}_0 + \frac{1}{8\pi^2} \frac{1}{N} {\bf F}_0^2(N,a),

1060: \label{Eq2}

1061: \end{eqnarray}

1062: %----------------------------------------------------------------------

1063: where

1064: %----------------------------------------------------------------------

1065: \begin{eqnarray}

1066: {\bf F}_8(N,a) = 16 \pi^2 \frac{a}{N} {\bf M}_8 

1067: + \frac{1}{8\pi^2} \frac{1}{N} {\bf F}_8^2(N,a).

1068: \label{Eq3}

1069: \end{eqnarray}

1070: %----------------------------------------------------------------------

1071: The generating  matrices are

1072: %----------------------------------------------------------------------

1073: \begin{eqnarray}

1074: {\bf M}_0 = \left(\begin{array}{rr} 1 &  -2  \\ 2 & 0 \end{array}

1075: \right),~~~~~~~~~~~{\bf M}_8 = \left( \begin{array}{rr} 1 & - 1 \\

1076: 0 & 0 \end{array} \right),~~~~~~~~~~~{\bf G}_0 = 

1077: \left( \begin{array}{rr} 1 & 0 \\

1078: 0 & 0 \end{array} \right)

1079: .

1080: \label{Eq4}

1081: \end{eqnarray}

1082: %------------------------------------------------------------------------

1083: Since ${\bf M}_8^n =  {\bf M}_8$ in the case of QED, ${\bf F}_8(N,a)$ 

1084: can be given in analytic form

1085: %------------------------------------------------------------------------

1086: \be

1087: \label{eqsqrt}

1088: {\bf F}_8(N,a) = 4\pi^2 \left(1-\sqrt{1-\frac{8a}{N^2}}\right)

1089: {\bf M}_8~.

1090: \ee

1091: %------------------------------------------------------------------------

1092: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1093: \begin{center}

1094: \renewcommand{\arraystretch}{1.5}

1095: \begin{tabular}[h]{||r||r|r|r||}

1096: \hline \hline

1097: \multicolumn{1}{||c|}{$l$} &

1098: \multicolumn{1}{c|}{$P_{ff}^{(l)}$} &

1099: \multicolumn{1}{c|}{$P_{fg}^{(l)}$} &

1100: \multicolumn{1}{c||}{$P_{gg}^{(l)}$} \\

1101: \hline \hline

1102: 0  &

1103: $ 0.2000000000$E$+01$  &

1104: $-0.4000000000$E$+01$  &

1105: $ 0.0000000000$E$+00$  \\

1106: %----------------------------------------------

1107: 1  &

1108: $-0.1400000000$E$+01$  &

1109: $-0.4000000000$E$+01$  &

1110: $-0.8000000000$E$+01$  \\

1111: %----------------------------------------------

1112: 2  &

1113: $-0.8666666667$E$+01$  &

1114: $ 0.6666666667$E$+01$  &

1115: $-0.2666666667$E$+01$  \\

1116: %----------------------------------------------

1117: 3  &

1118: $ 0.1444444444$E$+01$  &

1119: $ 0.2444444444$E$+01$  &

1120: $ 0.2044444444$E$+01$  \\

1121: %----------------------------------------------

1122: 4  &

1123: $ 0.7888888889$E$+00$  &

1124: $-0.2825396825$E$+00$  &

1125: $ 0.4634920635$E$+00$  \\

1126: %----------------------------------------------

1127: 5  &

1128: $ 0.5537918871$E$-02$  &

1129: $-0.1008112875$E$+00$  &

1130: $-0.3626102293$E$-01$  \\

1131: %----------------------------------------------

1132: 6  &

1133: $-0.1216503661$E$-01$  &

1134: $-0.5536849981$E$-03$  &

1135: $-0.9307893752$E$-02$  \\

1136: %----------------------------------------------

1137: 7  &

1138: $-0.5063924905$E$-03$  &

1139: $ 0.8396483000$E$-03$  &

1140: $-0.3947845218$E$-04$  \\

1141: %----------------------------------------------

1142: 8  &

1143: $ 0.4517396184$E$-04$  &

1144: $ 0.2736857499$E$-04$  &

1145: $ 0.4555056936$E$-04$  \\

1146: %----------------------------------------------

1147: 9  &

1148: $ 0.2611470148$E$-05$  &

1149: $-9.1960462641$E$-05$  &

1150: $ 0.1192943787$E$-05$  \\

1151: %----------------------------------------------

1152: 10 &

1153: $-0.4136771391$E$-07$  &

1154: $-0.9306140011$E$-07$  &

1155: $-0.6994805938$E$-07$  \\

1156: %----------------------------------------------

1157: 11 &

1158: $-0.4259181787$E$-08$  &

1159: $ 0.1228221436$E$-08$  &

1160: $-0.2774664782$E$-08$  \\

1161: %----------------------------------------------

1162: 12 &

1163: $-0.1716660622$E$-10$ &

1164: $ 0.1073980741$E$-09$ &

1165: $ 0.3096908050$E$-10$ \\

1166: %----------------------------------------------

1167: 13 &

1168: $ 0.2808782930$E$-11$ &

1169: $ 0.3728781778$E$-12$ &

1170: $ 0.2327857737$E$-11$ \\

1171: %----------------------------------------------

1172: 14 &

1173: $ 0.3713452748$E$-13$ &

1174: $-0.5274589147$E$-13$ &

1175: $ 0.7034915420$E$-14$ \\

1176: %----------------------------------------------

1177: \hline \hline

1178: %----------------------------------------------

1179: \end{tabular}

1180: \end{center}

1181: 

1182: 

1183: \vspace*{2mm}

1184: \noindent

1185: \begin{center}

1186: {\sf Table~1: The coefficients of the matrices 

1187: ${\bf P}_{x \rightarrow 0}^{(l)}$ in Eq.~(\ref{Eq1}).}

1188: \end{center}

1189: \renewcommand{\arraystretch}{1}

1190: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1191: Note that Eq.~(\ref{eqsqrt}) has no pole singularities but a branch cut

1192: for

1193: complex values of $N$. Due to this only moderate effects are expected.

1194: The coefficient matrices  ${\bf P}^{(l)}_{x \rightarrow 0}$ are obtained

1195: by iterative solution of Eqs.~(\ref{Eq2}).

1196: The first coefficients read

1197: %----------------------------------------------------------------------

1198: \begin{eqnarray}

1199: \label{Eq5}

1200: {\bf P}^{(0)}_{x \rightarrow 0}

1201: &=& 2 \left(\begin{array}{rr} 1 &  -2  \\ 2 & 0 \end{array}

1202: \right) \\

1203: \label{Eq6}

1204: {\bf P}^{(1)}_{x \rightarrow 0}

1205: &=& 2 \left(\begin{array}{rr} -4 &  -2  \\

1206: 2 & - 4  \end{array}

1207: \right) \\

1208: \label{Eq7}

1209: {\bf P}^{(2)}_{x \rightarrow 0}

1210: &=& \frac{2}{3}

1211:   \left(\begin{array}{rr} -13 &  10  \\

1212: -10 & -4  \end{array}

1213: \right)~.

1214: \end{eqnarray}

1215: %----------------------------------------------------------------------

1216: These matrices agree with the constant contribution to the leading

1217: order polarized singlet splitting function and the coefficients of the

1218: $\ln^2(x)$ contribution to the next-to-leading order splitting

1219: function~\cite{QCD8} adjusting the color factors as above. As already

1220: noted in the case of QCD the off-diagonal matrix elements are

1221: related by

1222: %----------------------------------------------------------------------

1223: \begin{eqnarray}

1224: \label{Eq8}

1225: {\bf P}^{(l)}_{f\gamma} = - {\bf P}^{(l)}_{\gamma f}.

1226: \end{eqnarray}

1227: %----------------------------------------------------------------------

1228: The first 15 coefficients are listed in Table~1.

1229: The corrections $\propto a^{n+1} \ln^{2n}(x)$ are due to the most singular

1230: parts of the non--leading order anomalous dimensions and are universal because

1231: they emerge as part of a conformal solution. For each power in $a$ we have to

1232: construct the corresponding matrices $\UV_k$,~Eq.~(\ref{eqUVk}). We use

1233: Eqs.~(\ref{eqUV1}, \ref{eqUV2}) and work in $N$--space. The

1234: Mellin--inversion is carried out by a numerical contour integral around

1235: the singularities in the complex $N$--plane. Finally the solution is given by

1236: Eq.~(\ref{eqSOLII}).

1237: 

1238: 

1239: 

1240: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1241: \section{Numerical Results}

1242: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1243: 

1244: \vspace{1mm}

1245: \noindent

1246: The calculation of the universal radiators is carried out to a precision

1247: which will not need further improvement in the range of collider

1248: energies at present facilities and those in the foreseeable future.

1249: These corrections need to be supplemented by the non--universal

1250: contributions of

1251: the respective processes under consideration. In various cases the

1252: universal contributions dominate in some kinematic regions. They do,

1253: however, not substitute any complete calculation.    

1254: In the above we presented the respective expressions in analytic form

1255: which are easily implemented into QED radiators used in analysis

1256: programs.  Now we turn to numerical illustrations.

1257: 

1258: The universal radiator function $D_{\rm NS}(x,Q^2)$,

1259: Eq.~(\ref{eqdns}), summing the leading log corrections up to $O((\alpha

1260: L)^5)$ is shown in Figure~1 as a function of the momentum

1261: fraction $x$ for different values of $Q = \sqrt{Q^2} = 10, 100, 1000

1262: \GeV$, the range of relevant scales at high energy colliders. The

1263: function rises strongly for growing values of $x$ and reaches 1 for $x

1264: \simeq 0.9$. $D_{\rm NS}(x,Q^2)$ grows with $Q$, however, the scale dependence 

1265: is weaker. In Figure~2 we compare the soft photon resummation beyond the

1266: 5th order with $D_{\rm NS}(x,Q^2)$. Although these terms become more

1267: significant for large values of $x$ the correction is widely below 3~ppm

1268: in the range of $Q$ considered above, which shows that summing the leading

1269: orders to $O((\alpha L)^5)$ for the full radiator is already a

1270: sufficiently

1271: accurate approximation.  In Figure~3 we show 

1272: the relative impact of the radiator in first order compared to the

1273: resummed radiator

1274: for the same values of

1275: $Q$. This ratio varies between $90$ to $95~\%$ for small

1276: values of $x$ to $120$ to $130~\%$ for $x \rightarrow 1$. Also the the

1277: 4th

1278: and 5th order approximation for $D^{k,\rm res}(x,Q^2)$ are compared,

1279: including the respective soft exponentiation. The deviation is smaller

1280: than

1281: $1.5 \cdot 10^{-5}$ at small values of $x$ and vanishes for large values

1282: of $x$, showing the degree of convergence.

1283: 

1284: In Figure~4 we show the singlet contributions for the leading logarithmic

1285: radiators in case of  longitudinally polarized electrons or positrons.

1286: Here, $D_{11}(x,Q^2)$ denotes the pure singlet part for the

1287: fermion--radiator to which the non--singlet contribution has to be added.

1288: The spread of the functions w.r.t. the scale variation in $Q$ is larger

1289: for the off-diagonal radiators $D_{12}$ and $D_{21}$, as well as for

1290: $D_{22}$ if compared to the fermionic radiator $D_{11}$. The off--diagonal

1291: radiators $D_{12}(x)$ and $D_{21}(x)$ vary between $-6$ and $+6~\%$, and

1292: $+7$ and $+2~\%$, respectively from low to large values of $x$. The pure

1293: singlet part of the diagonal radiators is smaller. It grows from

1294: values

1295: of $-0.2~\% (-0.1~\%)$ for small values of $x$ to $+0.05~\%$ and 

1296: vanish as $x \rightarrow 1$. The relative smallness of these contributions

1297: results from the fact that they start with $O((\alpha L)^2)$ only, aside

1298: of contributions $\propto \delta(1-x)$ not shown in the Figures.

1299:  

1300: Figure~5 compares the size of the first order contribution to $D_{11},

1301: D_{12}$ and $D_{22}$ for the chosen values of $Q$ with the total

1302: contribution. For $D_{11}$ the first order contribution is $20~\%$ larger

1303: than the total contribution at small $x$ while it basically yields the

1304: full contribution for large values of $x$. The first order

1305: contribution to $D_{12}$ dominates $D_{12}$, except of the  small region

1306: $x \sim 0.5$, where higher order contributions are significant. $D_{21}$

1307: receives higher order corrections. $D_{21}^1/D_{21}^5 - 1$ varies from

1308: $-5~\%$ to $+15~\%$ from small to large values of $x$. In Figure~6 we

1309: compare the convergence of the approximation showing the impact of the 5th

1310: order term w.r.t. the first four orders. This effect is of $O(10^{-5})$

1311: with

1312: some variations, where the effect in the case of $D_{22}$ is an order

1313: stronger for large values of $x$. This shows that the this level of

1314: resummation is sufficient.   

1315: 

1316: In Figure~7 we compare the radiators due to the resummation of the $\alpha

1317: \ln^2(x) L$--terms for the same choice of scales $Q$ as before. 

1318: $D_{11}(x,Q^2)$ denotes the complete fermionic 

1319: radiator. The non--singlet contributions were dealt with before in

1320: Ref.~\cite{Blumlein:1998yz}.

1321: The pure singlet term contributes only with $O(\alpha^2)$.

1322: Comparing Table~1 with 

1323: Table~1~\cite{Blumlein:1998yz} one sees that the pure singlet contributions 

1324: change the non--singlet result and is not subleading. We display the contributions starting

1325: with $O(\alpha^2)$, i.e. those containing at least one term $\propto \ln^2(x)$. 

1326: The first order contribution, the small $x$ limit of the leading order splitting functions,

1327: has been contained in the radiators of the fixed order calculation already.

1328: The respective part of the radiators $|D_{ij}(x,Q^2)|$ is of $O(1~\%)$ at

1329: small values of $x$ and 

1330: vanishes towards large values of $x$. 

1331: 

1332: We finally apply the corrections to polarized deeply inelastic

1333: charged lepton scattering off polarized protons as an example. 

1334: The hadronic tensor of the polarized part of the

1335: $eN$--scattering cross section in case of pure photon

1336: exchange\footnote{The corresponding expressions in the case of additional

1337: weak boson exchange are given in \cite{BT}.} reads

1338: %----------------------------------------------------------------------

1339: \begin{eqnarray}

1340: \label{eqHAD}

1341: W^{(A)}_{\mu\nu} = i\varepsilon_{\mu\nu\lambda\sigma}

1342: \frac{q^\lambda S^\sigma}{p.q} g_1(x,Q^2)

1343: +i\varepsilon_{\mu\nu\lambda\sigma} \frac{q^\lambda (p.q

1344: S^\sigma-S.q p^\sigma)}{(p.q)^2} g_2(x,Q^2)~.

1345: \label{had1}

1346: \end{eqnarray}

1347: %--------------------------------------------------------------------------

1348: $S_\sigma$ denotes the nucleon spin vector, $p$ the nucleon momentum, and

1349: $q$ the vector of the 4--momentum transfer, with $Q^2 = -q^2$ and

1350: $x= Q^2/(2 p.q)$.

1351: The polarized part of the scattering cross section for longitudinal

1352: nucleon polarization $S_L$, integrated over the azimuthal angle $\phi$,

1353: is

1354: %----------------------------------------------------------------------

1355: \begin{eqnarray} 

1356: \label{eqdix}

1357: \frac{d^2\sigma(\lambda, \pm S_L)_{NC}^B}{dxdy} &=& \pm 2

1358: \pi{\sf S}

1359: \frac{\alpha^2}{Q^4} \left [ -2\lambda y \left( 2-y-\frac{2 x y

1360: M^2}{\sf S}

1361: \right) xg_1(x,Q^2) + 8 \lambda \frac{y x^2 M^2}{\sf S} g_2(x,Q^2)

1362: \right]~.\nonumber\\

1363: \label{scaL} \end{eqnarray}

1364: %----------------------------------------------------------------------

1365: Here $M$ is the nucleon mass, $\sf S$ the cms energy, $\alpha$ the fine

1366: structure constant, $y = 2p.q/{\sf S}$, $\lambda$ is the degree of lepton

1367: lepton polarization, $x$ and $y$ are the Bjorken variables, 

1368: and $g_{1,2}(x,Q^2)$ are the two 

1369: electromagnetic polarized 

1370: structure functions, which are represented at twist--2 level referring 

1371: to the parameterization \cite{GRSV}. Very similar results are obtained

1372: using other recent parameterizations \cite{AAC, BB}. We consider the case

1373: of initial state 

1374: radiation and sum over the final state bremsstrahlung. Furthermore, we cut

1375: for the Compton peak, \cite{RCJB}. The kinematic variables chosen are  

1376: the variables for leptonic corrections. 

1377: The rescaled variables $\hat{x}, \hat{y}$, and $\hat{s}$ are

1378: %---------------------------------------------------------------------------

1379: \begin{equation}

1380: \hat{x} = \frac{xyz}{z+y-1},~~~~~~~~\hat{y} = \frac{z+y-1}{z},~~~~~~~\hat{s} = z{\sf S}~,

1381: \end{equation}

1382: %----------------------------------------------------------------------------

1383: and the radiation threshold is $z_0 = (1-y)/(1-xy)$~.

1384: The radiative correction to the differential cross section (\ref{eqdix})

1385: is given by~:

1386: %----------------------------------------------------------------------------

1387: \begin{eqnarray}

1388: \frac{d^2 \sigma_{NC}^{isr}}{dx dy} = \frac{d^2 \sigma_{NC}^{B}}{dx dy} 

1389: + \int_0^1 dz D(z,Q^2) \left\{\theta(z-z_0) {\cal J}(x,y,z) 

1390: \left.\frac{d^2 \sigma_{NC}^{B}}{dx dy}\right|_{x=\hat{x},y=\hat{y},s=\hat{s}} -

1391: \frac{d^2 \sigma_{NC}^{B}}{dx dy} \right\}~.

1392: \end{eqnarray}

1393: %----------------------------------------------------------------------------

1394: $D(z,Q^2)$ denotes the respective radiator function for fermion--fermion

1395: transitions for 

1396: $z < 1$, and the Jacobian ${\cal J}$ is given by

1397: %------------------------------------------------------------------------

1398: \begin{equation}

1399: \label{eqjac}

1400: {\cal J}(z,y,z) = \left | \begin{array}{cc}

1401: \partial \hat{x}/ \partial x &

1402: \partial \hat{y}/ \partial x \\

1403: \partial \hat{x}/ \partial y &

1404: \partial \hat{y}/ \partial y \end{array} \right |~.

1405: \end{equation}

1406: %------------------------------------------------------------------------

1407: Previously,

1408: the leptonic radiative corrections for this process have  been

1409: calculated  in $O(\alpha)$ completely in Ref.~\cite{BBCK}, 

1410: where the complete calculation was also compared to the leading

1411: log result in $O(\alpha L)$. In the case of longitudinal polarization

1412: studied in the present paper, both at HERMES energies,

1413: $\sqrt{S} = 7.4 \GeV$, and for $ep$ collider

1414: energies, $\sqrt{S} = 314~\GeV$, the complete $O(\alpha)$ corrections

1415: deviate at most by a few~\% for small values of $x$ and very large values

1416: of $y$ from the leading log result.

1417: 

1418: In Figure~8  the initial state QED corrections for the differential 

1419: scattering cross section (\ref{eqdix}) are 

1420: shown for the kinematics of the HERMES experiment at DESY with $\sqrt{S} = 

1421: 7.4 

1422: \GeV$, 

1423: as a ratio to the double differential Born cross section

1424: using the resummed radiator as a function of $y$ for characteristic values 

1425: of $x$. The radiative corrections grow with $y$ and towards smaller values 

1426: of $x$ and may reach values of $O(80-100~\%)$ at large $y$. 

1427: The effect of the higher than leading log corrections to those 

1428: of leading order, normalized to the differential Born cross section is 

1429: illustrated in the right figure.

1430: Depending on the value of $x$, the corrections in the lower $y$ range are 

1431: of up to $O(\pm 0.5~\%)$ and grow rapidly in the high $y$ region reaching 

1432: $O(4~\%)$. 

1433: 

1434: For a hypothetical future $ep$ collider operating both with 

1435: longitudinally polarized electrons and protons at a cms energy of $\sqrt{S} 

1436: = 1~\TeV$ the double differential radiative corrections due to initial 

1437: state 

1438: radiation are shown in Figure~9. For fixed values of $x$ all the 

1439: corrections grow strongly towards large value of $y$. For large values of 

1440: $x$

1441: they are negative for smaller values of $y$ and are everywhere positive 

1442: for 

1443: $x$ values below $x \sim 0.1$~. Due to the larger kinematic range the 

1444: scaling violations due to the running fine--structure constant, 

1445: $\alpha(Q^2)$,

1446: are larger than in the case of the HERMES experiment. Even for $x$ values 

1447: of $O(10^{-2})$ radiative corrections of $+160~\%$ may be reached for $y

1448: \sim 0.9$.

1449: We compare the impact of the higher than leading log corrections to those 

1450: of leading order, normalized to the differential Born cross section.

1451: Depending on the value of $x$, the corrections in the lower $y$ range are 

1452: of up to $O(\pm 2.5~\%)$ and grow rapidly in the high $y$ region reaching 

1453: $O(20~\%)$. 

1454: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1455: \section{Conclusions}

1456: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1457: 

1458: \vspace{1mm}

1459: \noindent

1460: Mass factoriztion at the one hand and infrared evolution equations 

1461: on the other hand, allow

1462: to resum two different classes of {\sf universal} QED corrections

1463: $\propto (\alpha \ln(s/m_e^2)^k$ and $\alpha^{k+1} \ln^{2k}(z)$, 

1464: respectively, for characteristic invariant masses $s$ and radiation 

1465: fractions 

1466: $z$. The corresponding radiator functions are single--particle quantities 

1467: and describe the universal part of the transitions between the light 

1468: species, electrons $e$ and photons $\gamma$, via amplitudes

1469: $D_{ij},~(i,j) = e, \gamma$, for collinear kinematics, similar to the 

1470: parton 

1471: model in QCD. In this way these radiators resum the universal part of the 

1472: QED

1473: parton cascades. We calculkated the non--singlet and singlet contributions 

1474: for the case of polarized scattering to $O((\alpha L)^5)$ and resuummed the 

1475: contributions $\propto \alpha^{k+1} \ln^{2k}(z)$. Both radiators are 

1476: calculated to an accuracy which is sufficient for the foreseeable 

1477: applications in present and future high energy experiments. While the 

1478: calculation of the resummation of the $\alpha^{k+1} \ln^{2k}(z)$--terms can 

1479: be done using Mellin space techniques, since the functions contributing are 

1480: damped towards large Mellin parameters ${\sf Re}(N) \rightarrow - 

1481: \infty$, this is not the case of for the radiator, resumming the

1482: $(\alpha \ln(s/m_e^2)^k$--terms. Due to this the corresponding 

1483: convolutions 

1484: had to be calculated analytically in terms of Nielsen functions. The 

1485: $\alpha^{k+1} \ln^{2k}(z)$--terms are leading small $z$ pieces of the higher 

1486: order splitting functions. To deal with them in the context of the 

1487: resummation of the $(\alpha \ln(s/m_e^2)^k$--terms, one has to invoke the 

1488: mechanism of general higher order solutions of the singlet QED evolution 

1489: equations for fermionic and photonic densites. Since the respective matrices 

1490: of the splitting functions of the different orders in the coupling constant 

1491: do not commute, it is practically excluded to write the solution in terms 

1492: of analytic functions in $z$--space. However, one may solve the problem 

1493: numerically and adds these contributions to the analytic radiators found for 

1494: the $(\alpha \ln(s/m_e^2)^k$--terms. The main objective of the present 

1495: paper 

1496: was to provide all necessary radiators and to simplify results worked out 

1497: earlier. The radiators obtained can easily be adopted for experimental 

1498: analysis and 

1499: simulation programs.

1500: 

1501: 

1502: \newpage

1503: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1504: \section{Appendix A:~Mellin Convolutions: Basic Functions}

1505: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1506: 

1507: \vspace{1mm}

1508: \noindent

1509: In this appendix we list the convolutions of functions up to depth~5

1510: \footnote{A series of other useful convolutions has been given in

1511: Ref.~\cite{Blumlein:2000wh} recently.},

1512: which were calculated recursively in explicit form, since they are

1513: of general interest for other higher order calculations in QED and QCD.

1514: Some of the integrals

1515: require to use Mellin transforms and algebraic relations between the

1516: finite harmonic sums \cite{Blumlein:1999if},

1517: being associated to them, to be solved. The respective expressions which

1518: were used in this calculation are given in appendix~B and C, as long

1519: they were not contained in Ref.~\cite{Blumlein:1999if}.

1520: %------------------------------------------------------------------------

1521: \begin{eqnarray}

1522: %% 1

1523: f(x) \otimes \delta(1 -x ) &=& f(x),~~~\forall~

1524: f(x)~\epsilon~{\cal S}'[0,1] \\

1525: %------------------------------------------------------------------------

1526: %% 2

1527: 1 \otimes 1 &=& - \ln(x) \\

1528: %------------------------------------------------------------------------

1529: %% 3

1530: 1 \otimes x &=&   1 - x \\

1531: %------------------------------------------------------------------------

1532: %% 4

1533: x \otimes x &=& - x \ln(x) \\

1534: %------------------------------------------------------------------------

1535: %% 5

1536: \left(\frac{1}{1-x}\right)_+ \otimes

1537: \left(\frac{1}{1-x}\right)_+

1538: &=& \Biggl[

1539: 2 \frac{\ln(1-x)}{1-x}

1540: - \frac{\ln(x)}{1-x} \Biggr]_+

1541: \\

1542: %------------------------------------------------------------------------

1543: %% 6

1544: \left(\frac{1}{1-x}\right)_+ \otimes 1 &=& \ln(1-x) - \ln(x) \\

1545: %------------------------------------------------------------------------

1546: %% 7

1547: \left(\frac{1}{1-x}\right)_+ \otimes x &=& x \left[\ln(1-x) - \ln(x) 

1548: \right] + 1 - x \\

1549: %------------------------------------------------------------------------

1550: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1551: %------------------------------------------------------------------------

1552: %% 8

1553: \left(\frac{\ln(1-x)}{1-x}\right)_+ \otimes  \left(\frac{1}{1-x}\right)_+

1554: &=& \Biggl[

1555: \frac{3}{2} \frac{\ln^2(1-x)}{1-x} - 

1556: \frac{\zeta(2)}{1-x} 

1557: - \ln(x) \frac{\ln(1-x)}{1-x} 

1558: \Biggr]_+

1559: \\

1560: %------------------------------------------------------------------------

1561: %% 9

1562: \left(\frac{\ln(1-x)}{1-x}\right)_+ \otimes  1

1563: &=& \Li_2(x) - \zeta(2) +  \frac{1}{2} \ln^2(1-x)

1564: \\

1565: %------------------------------------------------------------------------

1566: %% 10

1567: \left(\frac{\ln(1-x)}{1-x}\right)_+ \otimes  x

1568: &=& x\Biggl[\Li_2(x) - \zeta(2) +  \frac{1}{2} \ln^2(1-x)-\ln(1-x)+\ln(x)\

1569: \Biggr]\nonumber\\

1570: & & \ \ +\ln(1-x)

1571: \\

1572: %------------------------------------------------------------------------

1573: %% 11

1574: \left(\frac{1}{1-x}\right)_+ \otimes  \ln(1-x)

1575: &=& \ln^2(1-x) - \ln(x) \ln(1-x) -     \zeta(2)

1576:   \\

1577: %------------------------------------------------------------------------

1578: %% 12

1579: \left(\frac{1}{1-x}\right)_+ \otimes  x \ln(1-x)

1580: &=&  x\Biggl[\ln^2(1-x) -\ln(x)\ln(1-x) - \zeta(2)\Biggr] 

1581: \nonumber\\

1582: & & + (1-x)[\ln(1-x)-1]

1583: \\

1584: %------------------------------------------------------------------------

1585: %% 13

1586: \left(\frac{1}{1-x}\right)_+ \otimes  \ln(x)

1587: &=& - \frac{1}{2} \ln^2(x) + \Li_2(1-x) + \ln(x) \ln(1-x)

1588: \\

1589: %------------------------------------------------------------------------

1590: %% 14

1591: \left(\frac{1}{1-x}\right)_+ \otimes  x \ln(x)

1592: &=& x \Biggl[ -\frac{1}{2} \ln^2(x) + \Li_2(1-x) + \ln(x) \ln(1-x) \Biggr]

1593: \nonumber\\

1594: & &-1+x-x\ln(x)

1595: \\

1596: %------------------------------------------------------------------------

1597: %% 15

1598: \left(\frac{1}{1-x}\right)_+ \otimes  \frac{\ln(x)}{1-x}

1599: &=& 

1600: \ln(x) \frac{\ln(1-x)}{1-x} - \frac{1}{2} \frac{\ln^2(x)}{1-x}

1601:   \\

1602: %------------------------------------------------------------------------

1603: %% 16

1604: 1 \otimes \ln(1-x) &=& \Li_2(x) - \zeta(2)

1605:  \\

1606: %------------------------------------------------------------------------

1607: %% 17

1608: 1 \otimes x \ln(1-x) &=& (1-x) \left[\ln(1-x) - 1\right]

1609: \\

1610: %------------------------------------------------------------------------

1611: %% 18

1612: x \otimes \ln(1-x) &=&  x \ln(x) + (1-x) \ln(1-x)

1613: \\

1614: %------------------------------------------------------------------------

1615: %% 19

1616: x \otimes x \ln(1-x) &=&  x \left[\Li_2(x) - \zeta(2)\right]

1617: \\

1618: %------------------------------------------------------------------------

1619: %% 20

1620: 1 \otimes \frac{\ln(x)}{1-x} &=&  - \Li_2(1-x) - \frac{1}{2} \ln^2(x)

1621: %\\

1622: %------------------------------------------------------------------------

1623: \end{eqnarray}

1624: \begin{eqnarray}

1625: %% 21

1626: x \otimes \frac{\ln(x)}{1-x} &=& 

1627: x \Biggl[- \Li_2(1-x)-\frac{1}{2}\ln^2(x)\Biggr]+1 - x + \ln(x)

1628: \\

1629: %------------------------------------------------------------------------

1630: %% 22

1631: 1 \otimes \ln(x) &=&  - \frac{1}{2} \ln^2(x)

1632: \\

1633: %------------------------------------------------------------------------

1634: %% 23

1635: 1 \otimes x \ln(x) &=&  -1 + x - x \ln(x)

1636: \\

1637: %------------------------------------------------------------------------

1638: %% 24

1639: x \otimes  \ln(x) &=& 1 - x + \ln(x) \\

1640: %------------------------------------------------------------------------

1641: %% 25

1642: x \otimes x \ln(x) &=&  - \frac{1}{2} x \ln^2(x)

1643: \\

1644: %------------------------------------------------------------------------

1645: %% 26

1646: 1 \otimes  \ln^2(x) &=&  - \frac{1}{3} \ln^3(x)

1647: \\

1648: %------------------------------------------------------------------------

1649: %% 27

1650: x \otimes  \ln^2(x) &=& \ln^2(x) + 2 ( \ln(x) - x + 1)

1651: \\

1652: %------------------------------------------------------------------------

1653: %% 28

1654: 1 \otimes  x \ln^2(x) &=& - x \ln^2(x) + 2 (x \ln(x) - x +1)

1655: \\

1656: %------------------------------------------------------------------------

1657: %% 29

1658: x \otimes  x \ln^2(x) &=&  - \frac{1}{3} x \ln^3(x)

1659: \\

1660: %------------------------------------------------------------------------

1661: %% 30

1662: 1 \otimes  \ln^3(x) &=&   - \frac{1}{4} \ln^4(x)

1663: \\

1664: %------------------------------------------------------------------------

1665: %% 31

1666: x \otimes  \ln^3(x) &=&  \ln^3(x) + 3 \ln^2(x) + 6 (\ln(x) -x +1)

1667: \\

1668: %------------------------------------------------------------------------

1669: %% 32

1670: 1 \otimes  x \ln^3(x) &=&  - x \ln^3(x) + 3 x \ln^2(x) 

1671: - 6(x \ln(x) - x +1)

1672: \\

1673: %------------------------------------------------------------------------

1674: %% 33

1675: x \otimes  x \ln^3(x) &=&  - \frac{1}{4} x \ln^4(x)

1676: \\

1677: %------------------------------------------------------------------------

1678: %% 34

1679: 1 \otimes  \ln^4(x) &=&  - \frac{1}{5} \ln^5(x)

1680: \\

1681: %------------------------------------------------------------------------

1682: %% 35

1683: x \otimes  \ln^4(x) &=&

1684:  \ln^4(x) + 4 \ln^3(x) +12 \ln^2(x) +

1685: 24 (\ln(x) - x + 1)

1686: \\

1687: %------------------------------------------------------------------------

1688: %% 36

1689: 1 \otimes  x \ln^4(x) &=& 

1690: - x \ln^4(x) + 4 x \ln^3(x) -12 x \ln^2(x) \nonumber\\ & &

1691: + 24 (x \ln(x) - x + 1)

1692: \\

1693: %------------------------------------------------------------------------

1694: %% 37

1695: x \otimes  x \ln^4(x) &=& - \frac{1}{5} x \ln^5(x)

1696: \\

1697: %------------------------------------------------------------------------

1698: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1699: %------------------------------------------------------------------------

1700: %% 38

1701: \left(\frac{1}{1-x}\right)_+ \otimes \ln(x) \ln(1-x)

1702: &=&  2\Sf(1-x) -\Li_3(1-x) \nonumber\\ & &

1703: + \left[\ln(x) + \ln(1-x)\right]

1704: \Li_2(1-x) \nonumber\\  & &

1705: -\frac{1}{2} \ln^2(x) \ln(1-x) + \ln(x) \ln^2(1-x) 

1706: \nonumber\\ & &

1707: - \zeta(2) \ln(x)

1708: \\

1709: %------------------------------------------------------------------------

1710: %% 39

1711: \left(\frac{1}{1-x}\right)_+ \otimes x \ln(x) \ln(1-x)

1712: &=&  x \Biggl\{2 \Sf(1-x) -\Li_3(1-x)\nonumber\\ & &

1713: + \left[\ln(x) + \ln(1-x)\right]

1714: \Li_2(1-x) \nonumber\\  & &

1715: -\frac{1}{2} \ln^2(x) \ln(1-x) + \ln(x) \ln^2(1-x) - \zeta(2) \ln(x)

1716: \Biggr\} \nonumber\\

1717: & &  + 2(1-x) - x \ln(x)\ln(1-x) + x\ln(x) \nonumber\\

1718: & &  - (1-x) \ln(1-x) - \Li_2(1-x)

1719: \\

1720: %------------------------------------------------------------------------

1721: %% 40

1722: \left(\frac{1}{1-x}\right)_+ \otimes \left(\frac{\ln^2(1-x)}{1-x}

1723: \right)_+

1724: &=&  \left[\frac{4}{3} \frac{\ln^3(1-x)}{1-x} - \ln(x) \frac{\ln^2(1-x)}

1725: {1-x} \right.

1726: \nonumber\\ & & \left. - 2 \zeta(2) \frac{\ln(1-x)}{1-x} + 2 \zeta(3)

1727: \frac{1}{1-x}\right]_+

1728: \\

1729: %------------------------------------------------------------------------

1730: %% 41

1731: \left(\frac{1}{1-x}\right)_+ \otimes \Li_2(1-x)

1732: &=&  -\Sf(1-x) - \Li_3(1-x) \nonumber\\ & &

1733: +\Li_2(1-x)[\ln(1-x) - \ln(x)]

1734: \\

1735: %------------------------------------------------------------------------

1736: %% 42

1737: \left(\frac{1}{1-x}\right)_+ \otimes x \Li_2(1-x)

1738: &=& -x\left[ \Sf(1-x) + \Li_3(1-x) \right.

1739: \nonumber\\ & &  \left.

1740: - \ln \left(\frac{1-x}{x}\right)

1741: \Li_2(1-x)

1742: \right] 

1743: \nonumber\\ & &

1744: -(1-x)[1-\Li_2(1-x)] - x \ln(x)

1745: \\

1746: %------------------------------------------------------------------------

1747: %% 43

1748: \left(\frac{1}{1-x}\right)_+ \otimes \ln^2(1-x)

1749: &=&  \ln^3(1-x)-\ln(x)\ln^2(1-x)

1750: \nonumber\\ & &

1751: -2\zeta(2)\ln(1-x)+2\zeta(3)

1752: \\

1753: %------------------------------------------------------------------------

1754: %% 44

1755: \left(\frac{1}{1-x}\right)_+ \otimes x \ln^2(1-x)

1756: &=& x \Biggl[ \ln^3(1-x)-\ln(x)\ln^2(1-x)

1757: \nonumber\\&&

1758: -2\zeta(2)\ln(1-x)+2\zeta(3)\Biggr]

1759: \\ & &

1760: +(1-x) \left[\ln^2(1-x) - 2 \ln(1-x) +2 \right]

1761: \nonumber\\

1762: %------------------------------------------------------------------------

1763: %% 45

1764: \left(\frac{1}{1-x}\right)_+ \otimes \ln^2(x)

1765: &=&  -2 \left[\Li_3(x) - \zeta(3) - \ln(x) \zeta(2) + \frac{1}{6}

1766: \ln^3(x) \right]

1767: \\

1768: %------------------------------------------------------------------------

1769: %% 46

1770: \left(\frac{1}{1-x}\right)_+ \otimes x \ln^2(x)

1771: &=& -2x\Li_3(x) +2 \left[ \zeta(3)-1 \right] x  

1772: +2\left[\zeta(2)+1\right]x\ln(x) \nonumber\\

1773: & & -x\ln^2(x) - \frac{1}{3}x\ln^3(x)+2 

1774: \\

1775: %------------------------------------------------------------------------

1776: %% 47

1777: \left(\frac{1}{1-x}\right)_+ \otimes \frac{\ln(x) \ln(1-x)}{1-x}

1778: &=& 2\frac{\Sf(1-x)}{1-x}

1779: +\frac{\ln(x)\Li_2(1-x)}{1-x} 

1780: -\zeta(2)\frac{\ln(x)}{1-x}

1781: \nonumber\\

1782: & & -\frac{1}{2}\frac{\ln^2(x)\ln(1-x)}{1-x}+\frac{\ln(x)\ln^2(1-x)}{1-x}

1783: \\

1784: %------------------------------------------------------------------------

1785: %% 67

1786: \left(\frac{1}{1-x}\right)_+ \otimes \frac{\ln^2(x)}{1-x}

1787: &=& 2 \frac{\Sf(1-x)}{1-x}-\frac{1}{3}\frac{\ln^3(x)}{1-x}

1788: \non\\

1789: & & -2 \frac{\Li_3(x)-\zeta(3)}{1-x}+2\zeta(2)\frac{\ln(x)}{1-x}

1790: \\

1791: %------------------------------------------------------------------------

1792: %% 48

1793: 1 \otimes \ln(x) \ln(1-x)

1794: &=&

1795: \zeta(3) +   \Li_2(x) \ln(x) - \Li_3(x)

1796: \\

1797: %------------------------------------------------------------------------

1798: %% 49

1799: 1 \otimes x \ln(x) \ln(1-x)

1800: &=&

1801: -\Li_2(1-x) + (1-x)[2-\ln(1-x)] \nonumber\\ & &

1802: + x \ln(x) [1-\ln(1-x)]

1803: \\

1804: %------------------------------------------------------------------------

1805: %% 50

1806: 1 \otimes \left(\frac{\ln^2(1-x)}{1-x}\right)_+

1807: &=&  - 2 \left[\Sf(x) - \zeta(3)\right] + \frac{1}{3} \ln^3(1-x)

1808: \\

1809: %------------------------------------------------------------------------

1810: %% 51

1811: 1 \otimes \Li_2(1-x)

1812: &=&  -2\Sf(1-x) - \ln(x) \Li_2(1-x)

1813: \\

1814: %------------------------------------------------------------------------

1815: %% 52

1816: 1 \otimes x \Li_2(1-x)

1817: &=&  (1-x) \Li_2(1-x) -1 + x - x\ln(x)

1818: \\

1819: %------------------------------------------------------------------------

1820: %% 53

1821: 1 \otimes \ln^2(1-x)

1822: &=&  2 [ \zeta(3) - \Sf(x) ]

1823: \\

1824: %------------------------------------------------------------------------

1825: %% 54

1826: 1 \otimes x \ln^2(1-x)

1827: &=& (1-x) \left[\ln^2(1-x) + 2  - 2 \ln(1-x)\right]

1828: \\

1829: %------------------------------------------------------------------------

1830: %% 55

1831: %1 \otimes \ln^2(x) &=&  - \frac{1}{3} \ln^3(x)

1832: %\\

1833: %------------------------------------------------------------------------

1834: %% 65

1835: 1 \otimes \frac{\ln^2(x)}{1-x}

1836: &=& 2\Sf(1-x)-\frac{1}{3}\ln^3(x)

1837: \\

1838: %------------------------------------------------------------------------

1839: %% 63

1840: 1 \otimes \frac{\ln(x) \ln(1-x)}{1-x}

1841: &=& \Sf(1-x)-\Sf(x)\nonumber\\ 

1842: & &+\frac{1}{2}\ln(x)\ln(1-x)\left[\ln(1-x)-\ln(x)\right]

1843: +\zeta (3) 

1844: \\

1845: %------------------------------------------------------------------------

1846: %% 56

1847: x \otimes \ln(x) \ln(1-x)

1848: &=&  x \Li_2(1-x) + \frac{x}{2} \ln^2(x) + (1-x) \ln(1-x) \nonumber\\

1849: & & + \ln(x)[x + \ln(1-x)]

1850: \\

1851: %------------------------------------------------------------------------

1852: %% 57

1853: x \otimes x \ln(x) \ln(1-x)

1854: &=&  x \left[\zeta(3) + \ln(x) \Li_2(x) - \Li_3(x) \right]

1855: \\

1856: %------------------------------------------------------------------------

1857: %% 58

1858: x \otimes \frac{\ln^2(1-x)}{1-x}

1859: &=&  2x [\zeta(3)-\Sf(x)] + (1-x) \ln^2(1-x) \nonumber\\ & &

1860: +2x [\zeta(2) - \Li_2(x)] + \frac{x}{3} \ln^3(1-x)

1861: \\

1862: %------------------------------------------------------------------------

1863: %% 59

1864: x \otimes \Li_2(1-x)

1865: &=& (1-x) \Li_2(1-x) - \frac{1}{2} x \ln^2(x)

1866: \\

1867: %------------------------------------------------------------------------

1868: %% 60

1869: x \otimes x \Li_2(1-x)

1870: &=&  -x \left[2\Sf(1-x) + \ln(x) \Li_2(1-x)\right]

1871: \\

1872: %------------------------------------------------------------------------

1873: %% 61

1874: x \otimes \ln^2(1-x)

1875: &=&  

1876: (1-x) \ln^2(1-x) - 2x \left[\Li_2(x)-\zeta(2)\right]

1877: \\

1878: %------------------------------------------------------------------------

1879: %% 62

1880: x \otimes x \ln^2(1-x)

1881: &=& 2x [ \zeta(3) - \Sf(x) ]

1882: \\

1883: %------------------------------------------------------------------------

1884: %% 63

1885: %1 \otimes \frac{\ln(x) \ln(1-x)}{1-x}

1886: %&=& 

1887: %\Sf(1-x)-\Sf(x)\nonumber\\ 

1888: %& &+\frac{1}{2}\ln(x)\ln(1-x)\left[\ln(1-x)-\ln(x)\right]

1889: %+\zeta (3) 

1890:  %\\

1891: %------------------------------------------------------------------------

1892: %% 64

1893: x \otimes \frac{\ln(x) \ln(1-x)}{1-x}

1894: &=& x\left\{\Sf(1-x)-\Sf(x) \right. \nonumber\\

1895: & & \left. +\frac{1}{2}\ln(x)\ln(1-x)\left[\ln(1-x)-\ln(x)\right]

1896: +\zeta (3) \right\} \\

1897: & &+\ln(x)\ln(1-x)+\frac{x}{2}\ln^2(x)+(1-x)\ln(1-x)\nonumber\\

1898: & &+x\ln(x)+x\Li_2(1-x) 

1899: \nonumber\\

1900: %------------------------------------------------------------------------

1901: %% 65

1902: %1 \otimes \frac{\ln^2(x)}{1-x}

1903: %&=& 2\Sf(1-x)-\frac{1}{3}\ln^3(x)

1904: %\\

1905: %------------------------------------------------------------------------

1906: %% 66

1907: x \otimes \frac{\ln^2(x)}{1-x}

1908: &=& x\left[2\Sf(1-x)-\frac{1}{3}\ln^3(x)\right]+\ln^2(x)\nonumber\\ & &

1909: +2[\ln(x)+1-x]

1910: \\

1911: %------------------------------------------------------------------------

1912: %% 67

1913: %\left(\frac{1}{1-x}\right)_+ \otimes \frac{\ln^2(x)}{1-x}

1914: %&=& 2 \frac{\Sf(1-x)}{1-x}-\frac{1}{3}\frac{\ln^3(x)}{1-x}

1915: % -2\left(\frac{1}{1-x}\right)_+ \Li_3(x)\nonumber\\

1916: %& &+2\zeta(3)\frac{1}{(1-x)_+}+2\zeta(2)\frac{\ln(x)}{1-x}

1917:  %\\

1918: %------------------------------------------------------------------------

1919: %% 68

1920: \left(\frac{1}{1-x}\right)_+ \otimes \left(\frac{\ln^3(1-x)}{1-x}\right)_+

1921: &=&  \Biggl[\frac{5}{4} \frac{\ln^4(1-x)}{1-x} - \ln(x) \frac{\ln^3(1-x)}

1922: {1-x} - 3 \zeta(2) \frac{\ln^2(1-x)}{1-x} \nonumber\\ & &

1923: +6 \zeta(3) \frac{\ln(1-x)}{1-x} - 6 \zeta(4) \frac{1}{1-x} \Biggr]_+

1924: \\

1925: %------------------------------------------------------------------------

1926: %% 69

1927: \left(\frac{1}{1-x}\right)_+ \otimes \frac{\ln(x)\ln^2(1-x)}{1-x}

1928: &=& \frac{1}{1-x}

1929: \Biggl[-2\Sa_{2,2}(x)-2\Sa_{2,2}(1-x)+\frac{\zeta(4)}{2}

1930: \\ & & 

1931: -\Li_2^2(1-x) + 6 \ln(1-x)\Sf(1-x)+ 4\ln(x)\Sf(x) 

1932: \nonumber\\ & &

1933: - 2\ln^2(x)\ln^2(1-x) + \ln(x)\ln^3(1-x) 

1934: \nonumber\\ & &

1935: - 2\zeta(2)\ln(x)\ln(1-x) \Biggr]

1936: \nonumber\\

1937: %------------------------------------------------------------------------

1938: %% 70

1939: \left(\frac{1}{1-x}\right)_+ \otimes \frac{\ln^2(x)\ln(1-x)}{1-x}

1940: &=& \frac{1}{1-x} 

1941: \Biggl[ 4\ln(1-x)\Sf(1-x) -\Li_2(1-x)^2

1942: \non\\ & &

1943: + 2\ln(x)[\Sf(1-x)+\Sf(x)-\zeta(3)]

1944: \\ & &

1945: - \ln^2(x)\Li_2(x) - \frac{4}{3}\ln^3(x)\ln(1-x) \Biggl]

1946: \nonumber\\

1947: %------------------------------------------------------------------------

1948: %% 71

1949: \left(\frac{1}{1-x}\right)_+ \otimes \frac{\ln^3(x)}{1-x}

1950: &=&  \frac{6}{1-x} \Biggl[-\Sa_{1,3}(1-x)+\zeta(4)-\Li_4(x) \nonumber\\

1951: & & +\zeta(3) \ln(x) + \frac{1}{2} \zeta(2) \ln^2(x) - \frac{1}{24}

1952: \ln^4(x) \Biggr]

1953: \\

1954: %------------------------------------------------------------------------

1955: %% 72

1956: \left(\frac{1}{1-x}\right)_+ \otimes \frac{\Sf(1-x)}{1-x}

1957: &=& \frac{1}{1-x}\Biggl[2 {\rm S}_{2,2}(1-x) - 2 {\rm S}_{1,3}(1-x)

1958: \nonumber\\ & & - \frac{1}{2} \Li_2^2(1-x) + \ln\left(\frac{1-x}{x}\right)

1959: {\rm S}_{1,2}(1-x) \Biggr]

1960: \\

1961: %------------------------------------------------------------------------

1962: %% 73

1963: \left(\frac{1}{1-x}\right)_+ \otimes \frac{\Li_3(1-x)}{1-x}

1964: &=& \frac{1}{1-x} \Biggl[\ln\left(\frac{1-x}{x}\right) \Li_3(1-x)

1965: -{\rm S}_{2,2}(1-x)\Biggr]

1966: \\

1967: %------------------------------------------------------------------------

1968: %% 74

1969: \left(\frac{1}{1-x}\right)_+ \otimes \frac{\ln(x)\Li_2(1-x)}{1-x}

1970: &=& \frac{1}{1-x}\Biggl[2\Sa_{2,2}(x)-2\Sa_{2,2}(1-x)+4\Sa_{1,3}(1-x)

1971: \nonumber\\ & &

1972: +\frac{1}{2}\Li_2^2(1-x)

1973: +\ln(x)[\Sf(1-x)-\Sf(x)-\zeta(3)]\nonumber\\ & &

1974: -\frac{1}{2}\ln^2(x)\Li_2(1-x)

1975: -2\ln(1-x)\Sf(1-x) \nonumber\\ & &

1976: -\frac{1}{2}\zeta(4)\Biggr]

1977: \\

1978: %------------------------------------------------------------------------

1979: %% 75

1980: \left(\frac{1}{1-x}\right)_+

1981: \otimes \frac{\Li_3(x)-\zeta(3)}{1-x}

1982: &=&\frac{1}{1-x}

1983: \Biggl[

1984: -2 \Sa_{2,2}(x) - 2 \Sa_{1,3}(1-x) 

1985: \\ & &

1986: - \ln(x) [\Sf(1-x) - 2\zeta(3)]

1987: \nonumber\\ & &

1988: - \ln(1-x)[\Sf(1-x) - \zeta(2)\ln(x)] 

1989: + \frac{1}{2} \zeta(4)

1990: \nonumber \\ & &

1991: + \frac{1}{2}\Li_2(1-x)^2 + \frac{1}{6}\ln^3(x)\ln(1-x)

1992: \Biggr]

1993: \nonumber\\

1994: %------------------------------------------------------------------------

1995: %% 76

1996: \left(\frac{1}{1-x}\right)_+ \otimes \Sf(x)

1997: &=&  

1998: \Sa_{2,2}(x) - 3 \Sa_{1,3}(x) - \ln(x) \Sf(x) \nonumber\\ & &

1999: +\zeta(2) \Li_2(x) + \zeta(3) \ln(1-x) + \frac{1}{4}\zeta(4)

2000: \\

2001: %------------------------------------------------------------------------

2002: %% 77

2003: \left(\frac{1}{1-x}\right)_+ \otimes x \Sf(x)

2004: &=&  x\Biggl\{

2005: \Sa_{2,2}(x) - 3 \Sa_{1,3}(x) - \ln(x) \Sf(x) \nonumber\\ & &

2006: \zeta(2) \Li_2(x) + \zeta(3) \ln(1-x) + \frac{1}{4}\zeta(4) \Biggr\}

2007: \nonumber\\ & &

2008: +\zeta(3) - x \Sf(x) \nonumber\\ & &

2009: - (1-x)\left[1-\ln(1-x) + \frac{1}{2} \ln^2(1-x)\right]

2010: \\

2011: %------------------------------------------------------------------------

2012: %% 78

2013: \left(\frac{1}{1-x}\right)_+ \otimes \Li_3(1-x)

2014: &=& -{\rm S}_{2,2}(1-x) - \Li_4(1-x) + \ln\left(\frac{1-x}{x}\right)

2015: \Li_3(1-x)

2016: \\

2017: %------------------------------------------------------------------------

2018: %% 79

2019: \left(\frac{1}{1-x}\right)_+ \otimes x \Li_3(1-x)

2020: &=& x \Biggl\{

2021: -{\rm S}_{2,2}(1-x) - \Li_4(1-x) \nonumber\\ & &

2022: + \ln\left(\frac{1-x}{x}\right)

2023: \Li_3(1-x) \Biggr\} \nonumber\\

2024: & & + x\ln(x) + (1-x)[1-\Li_2(1-x)+\Li_3(1-x)]

2025: \\

2026: %------------------------------------------------------------------------

2027: %% 80

2028: \left(\frac{1}{1-x}\right)_+ \otimes \ln(1-x)\Li_2(1-x)

2029: &=&  

2030: 2\Sa_{2,2}(x)-\Sa_{1,3}(x) +\frac{\zeta(4)}{2}

2031: \\ &&

2032: - 3\ln(1-x)\Sf(1-x) -2\ln(x)\Sf(x) +\frac{1}{2}\Li_2(1-x)^2

2033: \nonumber\\ & &  

2034: +\left[\frac{1}{2}\ln^2(1-x)-\ln(x)\ln(1-x)-\zeta(2)\right]\Li_2(1-x)

2035: \non\\ & &  

2036: -\frac{1}{6}\ln(x)\ln^3(1-x)+\frac{1}{2}\ln^2(x)\ln^2(1-x)

2037: \nonumber\\

2038: %------------------------------------------------------------------------

2039: %% 81

2040: \left(\frac{1}{1-x}\right)_+ \otimes x \ln(1-x)\Li_2(1-x)

2041: &=&x\Biggl\{

2042: 2\Sa_{2,2}(x)-\Sa_{1,3}(x) +\frac{\zeta(4)}{2}

2043: \\ &&

2044: - 3\ln(1-x)\Sf(1-x) -2\ln(x)\Sf(x) +\frac{1}{2}\Li_2(1-x)^2

2045: \nonumber\\ & &  

2046: +\left[\frac{1}{2}\ln^2(1-x)-\ln(x)\ln(1-x)-\zeta(2)\right]\Li_2(1-x)

2047: \non\\ & &  

2048: -\frac{1}{6}\ln(x)\ln^3(1-x)+\frac{1}{2}\ln^2(x)\ln^2(1-x)\Biggr\}

2049: \non\\ & &

2050: +(1-x)\left[\ln(1-x)-1\right]\Li_2(1-x)-\Li_2(1-x)

2051: \non\\ & &

2052: +3(1-x)+2x\ln(x)-[1-x+x\ln(x)]\ln(1-x)

2053: \nonumber\\

2054: %------------------------------------------------------------------------

2055: %% 82

2056: \left(\frac{1}{1-x}\right)_+ \otimes \ln(x)\Li_2(1-x)

2057: &=& 2\Sa_{2,2}(x)-2\Sa_{2,2}(1-x)+4\Sa_{1,3}(1-x)+\Li_2^2(1-x)

2058: \nonumber\\&&

2059: +\ln(x)[\Sf(1-x)-\Sf(x)-\zeta(3)]\nonumber\\ & &

2060: -\frac{1}{2}\ln^2(x)\Li_2(1-x)

2061: \nonumber \\&&

2062: -2\ln(1-x)\Sf(1-x)-\frac{1}{2}\zeta(4)

2063: \\

2064: %------------------------------------------------------------------------

2065: %% 83

2066: \left(\frac{1}{1-x}\right)_+ \otimes x \ln(x)\Li_2(1-x) 

2067: &=& x\Biggl\{2\Sa_{2,2}(x)-2\Sa_{2,2}(1-x)+4\Sa_{1,3}(1-x)

2068: \nonumber\\&&

2069: +\ln(x)[\Sf(1-x)-\Sf(x)-\zeta(3)] \nonumber\\ & &

2070: +\Li_2^2(1-x)

2071: -\frac{1}{2}\ln^2(x)\Li_2(1-x)

2072: \nonumber \\&&

2073: -2\ln(1-x)\Sf(1-x)-\frac{1}{2}\zeta(4)\Biggr\}

2074: \\&&

2075: +[1-x+x\ln(x)](3-\Li_2(1-x))-x\ln^2(x) \nonumber\\ & &

2076: -2\Sf(1-x)

2077: \nonumber\\

2078: %------------------------------------------------------------------------

2079: %% 84

2080: \left(\frac{1}{1-x}\right)_+ \otimes \Sf(1-x)

2081: &=& -2 {\rm S}_{1,3}(1-x) + {\rm S}_{2,2}(1-x) 

2082: - \frac{1}{2} \Li_2^2(1-x) \nonumber\\ & &

2083: + \ln\left(\frac{1-x}{x}\right) \Sf(1-x)

2084: \\

2085: %------------------------------------------------------------------------

2086: %% 85

2087: \left(\frac{1}{1-x}\right)_+ \otimes x \Sf(1-x)

2088: &=&  x \Biggl[

2089: -2 {\rm S}_{1,3}(1-x) + {\rm S}_{2,2}(1-x) 

2090: - \frac{1}{2} \Li_2^2(1-x) \nonumber\\ & &

2091: + \ln\left(\frac{1-x}{x}\right) \Sf(1-x) \Biggr] \nonumber\\ & &

2092: + (1-x)[\Sf(1-x)-1] - x \ln(x) \left[1 - \frac{1}{2} \ln(x)\right]

2093: \\

2094: %------------------------------------------------------------------------

2095: %% 86

2096: \left(\frac{1}{1-x}\right)_+ \otimes \Li_3(x)

2097: &=& 

2098: -2 \Sa_{2,2}(x) - 2 \Sa_{1,3}(1-x) - \ln(x) \Sf(1-x)

2099: \non\\ & &

2100: - \zeta(2)\Li_2(x) + \frac{1}{6} \ln^3(x)\ln(1-x) + 3\zeta(4) 

2101: \\ & &

2102: + \zeta(3)[\ln(x)+\ln(1-x)]

2103: \non\\

2104: %------------------------------------------------------------------------

2105: %% 87

2106: \left(\frac{1}{1-x}\right)_+ \otimes x \Li_3(x)

2107: &=& x\Biggl[

2108: -2 \Sa_{2,2}(x) - 2 \Sa_{1,3}(1-x) - \ln(x) \Sf(1-x)

2109: \non\\ & &

2110: - \zeta(2) \Li_2(x) + \frac{1}{6} \ln^3(x)\ln(1-x) + 3 \zeta(4)

2111: \\ && 

2112: + \zeta(3)[\ln(x) + \ln(1-x)] 

2113: \Biggr]  

2114: \non\\ & &

2115: +\zeta(3)-\zeta(2)+ x[\Li_2(x)-\Li_3(x)]

2116: \non\\ & &

2117: +(1-x)[1-\ln(1-x)]

2118: \non\\

2119: %------------------------------------------------------------------------

2120: %% 88

2121: \left(\frac{1}{1-x}\right)_+ \otimes \ln(x)\Li_2(x)

2122: &=& -2\Sa_{2,2}(x)-4\Sa_{1,3}(1-x)

2123: \non\\&&

2124: +\ln(x)[3\zeta(3)-\Sf(x)-3\Sf(1-x)]

2125: \\ & &

2126: + \frac{1}{2} \ln^2(x)\Li_2(x) + 3\zeta(4) - \zeta(2)\Li_2(x)

2127: \non\\ &&

2128: + \frac{5}{6}\ln^3(x)\ln(1-x)

2129: \nonumber\\

2130: %------------------------------------------------------------------------

2131: %% 89

2132: \left(\frac{1}{1-x}\right)_+ \otimes x \ln(x)\Li_2(x)

2133: &=& x\Biggl\{

2134: -2\Sa_{2,2}(x)-4\Sa_{1,3}(1-x)

2135: \non\\&&

2136: +\ln(x)[3\zeta(3)-\Sf(x)-3\Sf(1-x)]

2137: \nonumber\\ & &

2138: + \frac{1}{2}\ln^2(x)\Li_2(x)

2139: +3\zeta(4)-\zeta(2)\Li_2(x) 

2140: \\ & &

2141: + \frac{5}{6}\ln^3(x)\ln(1-x)

2142: \Biggr\}

2143: +[1+x-x\ln(x)]\Li_2(x)

2144: \non\\&&

2145: +(1-x)(2-\ln(x))[1-\ln(1-x)]

2146: \nonumber\\ &&

2147: -2\zeta(2)+1-x+\ln(x)

2148: \nonumber\\

2149: %------------------------------------------------------------------------

2150: %% 90

2151: \left(\frac{1}{1-x}\right)_+ \otimes \ln^3(1-x)

2152: &=&  \ln^4(1-x) - \ln(x) \ln^3(1-x) - 3\zeta(2) \ln^2(1-x) \nonumber\\

2153: & & + 6\zeta(3) \ln(1-x) - 6 \zeta(4)

2154: \\

2155: %------------------------------------------------------------------------

2156: %% 91

2157: \left(\frac{1}{1-x}\right)_+ \otimes x \ln^3(1-x)

2158: &=&  x \Biggl[

2159: \ln^4(1-x) - \ln(x) \ln^3(1-x) - 3\zeta(2) \ln^2(1-x) \nonumber\\

2160: & & + 6\zeta(3) \ln(1-x) - 6 \zeta(4) \Biggr ]

2161: \nonumber\\ & &

2162: - 6(1-x)\Biggl[1 - \ln(1-x) + \frac{1}{2} \ln^2(1-x) \nonumber\\

2163: & & - \frac{1}{6} \ln^3(1-x) \Biggr]

2164: \\

2165: %------------------------------------------------------------------------

2166: %% 92

2167: \left(\frac{1}{1-x}\right)_+ \otimes \ln(x)\ln^2(1-x)

2168: &=& 

2169: -2\Sa_{2,2}(x)-2\Sa_{2,2}(1-x)-2\Sa_{1,3}(x)+\frac{5}{2}\zeta(2)

2170: \non\\&&

2171: -\Li_2^2(1-x) + 6\ln(1-x)\Sf(1-x)

2172: \\&& 

2173: - 4 \ln(x)[\Li_3(1-x)-\zeta(3)]

2174: \non\\&&

2175: +2\ln(x)\ln(1-x)\left[2\Li_2(1-x)-\zeta(2)\right]

2176: \nonumber\\ & & 

2177: +\frac{2}{3}\ln(x)\ln^3(1-x)

2178: \nonumber\\

2179: %------------------------------------------------------------------------

2180: %% 93

2181: \left(\frac{1}{1-x}\right)_+ \otimes x \ln(x)\ln^2(1-x)

2182: &=&x\Biggl\{

2183: -2\Sa_{2,2}(x)-2\Sa_{2,2}(1-x)-2\Sa_{1,3}(x)+\frac{5}{2}\zeta(2)

2184: \non\\&&

2185: -\Li_2^2(1-x) + 6\ln(1-x)\Sf(1-x)

2186: \\&& 

2187: - 4 \ln(x)[\Li_3(1-x)-\zeta(3)]

2188: \non\\&&

2189: +2\ln(x)\ln(1-x)\left[2\Li_2(1-x)-\zeta(2)\right]

2190: \nonumber\\ & & 

2191: +\frac{2}{3}\ln(x)\ln^3(1-x)

2192: \Biggr\}-2x\ln(x)

2193: \nonumber\\ & & 

2194: +(1-x)\ln(x)\ln(1-x)[\ln(1-x)-2]

2195: \nonumber\\ & & 

2196: -(1-x)[\ln(1-x)^2-4\ln(1-x)+6]

2197: \nonumber\\& & 

2198: +2[\zeta(2)-\Li_2(x)]+2[\zeta(3)-\Sf(x)]

2199: \nonumber\\ 

2200: %------------------------------------------------------------------------

2201: %% 94

2202: \left(\frac{1}{1-x}\right)_+ \otimes \ln^2(x)\ln(1-x)

2203: &=& 

2204: 2\Sa_{2,2}(1-x)+2[\ln(x)+\ln(1-x)]\Sf(1-x)

2205: \\&&

2206: + 2\ln(x)[\Sf(x)-\zeta(3)]-\Li_2(1-x)^2

2207: \non\\&&

2208: +\ln^2(x)[\Li_2(1-x)-\zeta(2)]

2209: -\frac{1}{3}\ln^3(x)\ln(1-x)

2210: \nonumber\\

2211: %------------------------------------------------------------------------

2212: %% 95

2213: \left(\frac{1}{1-x}\right)_+ \otimes x \ln^2(x)\ln(1-x)

2214: &=& x\Biggl\{

2215: 2\Sa_{2,2}(1-x)+2[\ln(x)+\ln(1-x)]\Sf(1-x)

2216: \non\\&&

2217: + 2\ln(x)[\Sf(x)-\zeta(3)]-\Li_2(1-x)^2

2218: \\&&

2219: +\ln^2(x)[\Li_2(1-x)-\zeta(2)]

2220: -\frac{1}{3}\ln^3(x)\ln(1-x)

2221: \Biggr\}

2222: \nonumber\\ & &

2223: +2\Sf(1-x)+2\Li_2(1-x)

2224: \non\\&&

2225: -x[\ln^2(x)-2\ln(x)]\ln(1-x)+2(1-x)\ln(1-x)

2226: \non\\&&

2227: -4x\ln(x)+x\ln^2(x)+6(x-1)

2228: \nonumber\\

2229: %------------------------------------------------------------------------

2230: %% 96

2231: \left(\frac{1}{1-x}\right)_+ \otimes \ln^3(x)

2232: &=& 

2233: 6 \Biggl[

2234: \zeta(4) - \Li_4(x) + \zeta(3) \ln(x) + \frac{1}{2} \zeta(2)

2235: \ln^2(x) \Biggr]

2236:  \nonumber\\ & & 

2237:    - \frac{1}{4} \ln^4(x)

2238: \\

2239: %------------------------------------------------------------------------

2240: %% 97

2241: \left(\frac{1}{1-x}\right)_+ \otimes x \ln^3(x)

2242: &=&

2243: 6x \Biggl[

2244: \zeta(4) - \Li_4(x) + \zeta(3) \ln(x) + \frac{1}{2} \zeta(2)

2245: \ln^2(x)

2246:  \nonumber\\ & & + 1 - \ln(x) + \frac{1}{2} \ln^2(x) - \frac{1}{6}

2247:  \ln^3(x) \Biggr] \nonumber\\ & &

2248: -6 - \frac{x}{4} \ln^4(x)

2249: \\

2250: %------------------------------------------------------------------------

2251: %% 98

2252: 1 \otimes \left(\frac{\ln^3(1-x)}{1-x}\right)_+

2253: &=& 6 \left[{\rm S}_{1,3}(x) - \zeta(4) \right] + \frac{1}{4} \ln^4(1-x)

2254: \\

2255: %------------------------------------------------------------------------

2256: %% 99

2257: 1 \otimes \frac{\ln(x)\ln^2(1-x)}{1-x}

2258: &=& 2 \Biggl[

2259: {\Sa}_{2,2}(x) +\Sa_{1,3}(x) -\ln(x) \Sf(x)

2260: -\frac{5}{4}\zeta(4) 

2261: \non \\ & &

2262: +\frac{1}{6}\ln(x)\ln^3(1-x)\Biggr]

2263: \\

2264: %------------------------------------------------------------------------

2265: %% 100

2266: 1 \otimes \frac{\ln^2(x)\ln(1-x)}{1-x}

2267: &=& 

2268: - 2 \Biggl[ \Sa_{2,2}(1-x) + \Sa_{1,3}(1-x) 

2269: \\ & &

2270: - \ln(1-x) \Sf(1-x)

2271: + \frac{1}{6}\ln^3(x)\ln(1-x)\Biggr]

2272: \non\\

2273: %------------------------------------------------------------------------

2274: %% 101

2275: 1 \otimes \frac{\ln^3(x)}{1-x}

2276: &=& - \frac{1}{4} \ln^4(x) - 6 {\rm S}_{1,3}(1-x)

2277: \\

2278: %------------------------------------------------------------------------

2279: %% 102

2280: 1 \otimes \frac{\Sf(1-x)}{1-x}

2281: &=& {\rm S}_{2,2}(1-x) - \ln(x) \Sf(1-x) - 3 {\rm S}_{1,3}(1-x)

2282: \\

2283: %------------------------------------------------------------------------

2284: %% 103

2285: 1 \otimes \frac{\Li_3(1-x)}{1-x}

2286: &=& - \frac{1}{2} \Li_2^2(1-x) - \ln(x) \Li_3(1-x) + \Li_4(1-x)

2287: \\

2288: %------------------------------------------------------------------------

2289: %% 104

2290: 1 \otimes \frac{\ln(x)\Li_2(1-x)}{1-x}

2291: &=& - \frac{1}{2} \Li_2^2(1-x) - \frac{1}{2} \ln^2(x) \Li_2(1-x)

2292: + 3 {\rm S}_{1,3}(1-x)

2293: \\

2294: %------------------------------------------------------------------------

2295: %% 105

2296: 1 \otimes \frac{\Li_3(x)-\zeta(3)}{1-x}

2297: &=& \zeta(4) - \Li_4(x) + \zeta(3) \ln(x) + \ln(1-x) [\Li_3(x) - \zeta(3)

2298: ] \nonumber\\ & & -\frac{1}{2} [\zeta(2)^2 - \Li_2^2(x)]

2299: \\

2300: %------------------------------------------------------------------------

2301: %% 106

2302: 1 \otimes \Sf(x)

2303: &=& \frac{1}{4} \zeta(4) - {\rm S}_{2,2}(x)

2304: \\

2305: %------------------------------------------------------------------------

2306: %% 107

2307: 1 \otimes x \Sf(x)

2308: &=&   \zeta(3) - x\Sf(x)  \nonumber\\ & &

2309: - (1-x) \left[ 1 - \ln(1-x)

2310: + \frac{1}{2} \ln^2(1-x) \right]

2311: \\

2312: %------------------------------------------------------------------------

2313: %% 108

2314: 1 \otimes \Li_3(1-x)

2315: &=& - \ln(x) \Li_3(1-x)  - \frac{1}{2} \Li_2^2(1-x)

2316: \\

2317: %------------------------------------------------------------------------

2318: %% 109

2319: 1 \otimes x \Li_3(1-x)

2320: &=& x \ln(x) +(1-x)[1 - \Li_2(1-x) + \Li_3(1-x)]

2321: \\

2322: %------------------------------------------------------------------------

2323: %% 110

2324: 1 \otimes \ln(1-x)\Li_2(1-x)

2325: &=& 

2326: 2\Sa_{2,2}(1-x) - \frac{1}{2}\Li^2_2(1-x) - 2\ln(1-x) \Sf(1-x)

2327: \nonumber\\ & &

2328: -\ln(x)\ln(1-x) \Li_2(1-x)

2329: \\

2330: %------------------------------------------------------------------------

2331: %% 111

2332: 1 \otimes x \ln(1-x)\Li_2(1-x)

2333: &=& - \Li_2(1-x) + (1-x)[\ln(1-x) - 1] \Li_2(1-x) \nonumber\\ & &

2334: + (1-x)[3-\ln(1-x)]

2335: + x \ln(x) [2 - \ln(1-x)]

2336: \\

2337: %------------------------------------------------------------------------

2338: %% 112

2339: 1 \otimes \ln(x)\Li_2(1-x)

2340: &=& -\frac{1}{2} \ln^2(x) \Li_2(1-x) + 3 {\rm S}_{1,3}(1-x)

2341: \\

2342: %------------------------------------------------------------------------

2343: %% 113

2344: 1 \otimes x \ln(x)\Li_2(1-x) 

2345: &=& 3(1-x) + x \ln(x)[3-\ln(x)] \nonumber\\ & &

2346: - x[\ln(x)-1] \Li_2(1-x)

2347:                 -2 \Sf(1-x) - \Li_2(1-x)  \nonumber\\

2348: \\

2349: %------------------------------------------------------------------------

2350: %% 114

2351: 1 \otimes \Sf(1-x)

2352: &=& - \ln(x) \Sf(1-x) - 3 \Sa_{1,3}(1-x)

2353: \\

2354: %------------------------------------------------------------------------

2355: %% 115

2356: 1 \otimes x \Sf(1-x)

2357: &=& (1-x)[\Sf(1-x) - 1) 

2358: - x\left[\ln(x) - \frac{1}{2} \ln^2(x)  \right]

2359: \\

2360: %------------------------------------------------------------------------

2361: %% 116

2362: 1 \otimes \Li_3(x)

2363: &=& \zeta(4)-\Li_4(x)

2364: \\

2365: %------------------------------------------------------------------------

2366: %% 117

2367: 1 \otimes x \Li_3(x)

2368: &=& (1-x)[1-\ln(1-x)] + x [\Li_2(x)- \Li_3(x)] \nonumber\\

2369: & & +\zeta(3) - \zeta(2)

2370: \\

2371: %------------------------------------------------------------------------

2372: %% 118

2373: 1 \otimes \ln(x)\Li_2(x)

2374: &=& \Li_4(x) - \ln(x) \Li_3(x) - \zeta(4)

2375: \\

2376: %------------------------------------------------------------------------

2377: %% 119

2378: 1 \otimes x \ln(x)\Li_2(x)

2379: &=& [3 - 2\ln(1-x)](1-x) - \Li_2(1-x) - \zeta(2) \nonumber\\ & &

2380: +x \left\{\Li_2(x) \left[1 - \ln(x) \right] + \ln(x) \left[1-

2381: \ln(1-x)\right] \right\}

2382: \\

2383: %------------------------------------------------------------------------

2384: %% 120

2385: 1 \otimes \ln^3(1-x)

2386: &=&  -6 [\zeta(4) - {\rm S}_{1,3}(x)]

2387: \\

2388: %------------------------------------------------------------------------

2389: %% 121

2390: 1 \otimes x \ln^3(1-x)

2391: &=& -(1-x)[6 - 6 \ln(1-x) + 3 \ln^2(1-x) \nonumber\\ & &

2392: - \ln^3(1-x)]

2393: \\

2394: %------------------------------------------------------------------------

2395: %% 122

2396: 1 \otimes \ln(x)\ln^2(1-x)

2397: &=& -2\left[\frac{1}{4} \zeta(4) -{\rm S}_{2,2}(x) + \ln(x) \Sf(x)\right]

2398: \\

2399: %------------------------------------------------------------------------

2400: %% 123

2401: 1 \otimes x \ln(x)\ln^2(1-x)

2402: &=& 2[\zeta(3) - \Sf(x)] + 2[\zeta(2)-\Li_2(x)] - 2\ln(x) \nonumber\\ & &

2403: -(1-x)[6 - 4 \ln(1-x) + \ln^2(1-x)] \nonumber\\ & &

2404: + (1-x) \ln(x) [2 - 2 \ln(1-x) + \ln^2(1-x)]

2405: \\

2406: %------------------------------------------------------------------------

2407: %% 124

2408: 1 \otimes \ln^2(x)\ln(1-x)

2409: &=& - 2 [ \Sa_{1,3}(1-x)+\frac{1}{6}\ln^3(x)\ln(1-x)]

2410: \\

2411: %------------------------------------------------------------------------

2412: %% 125

2413: 1 \otimes x \ln^2(x)\ln(1-x)

2414: &=& 2 \Biggl[\Sf(1-x) + \Li_2(1-x)\Biggr]

2415: \nonumber\\ & & +x \ln(x) \Biggl\{-2 + \biggl[2-\ln(x)\biggr]\biggl[

2416: \ln(1-x)-1\biggr]\Biggr\} 

2417: \\ & &

2418: +2(1-x)\left[\ln(1-x)-3\right]

2419: \non\\

2420: %------------------------------------------------------------------------

2421: %% 126

2422: %1 \otimes \ln^3(x)

2423: %&=& \frac{1-x}{x} \ln^3(x)

2424: %\\

2425: %------------------------------------------------------------------------

2426: %% 127

2427: %1 \otimes x \ln^3(x)

2428: %&=& -6(1-x) -x \ln(x) [6+3 \ln(x) - \ln^2(x)]

2429: %\\

2430: %------------------------------------------------------------------------

2431: %% 128

2432: x \otimes \left(\frac{\ln^3(1-x)}{1-x}\right)_+

2433: &=& 6x \left[\Sa_{1,3}(x) + \Sa_{1,2}(x) - \zeta(4)  -\zeta(3) \right]

2434: \nonumber\\ & &

2435: + \frac{x}{4} \ln^4(1-x) + (1-x) \ln^3(1-x)

2436: \\

2437: %------------------------------------------------------------------------

2438: %% 129

2439: x \otimes \frac{\ln(x)\ln^2(1-x)}{1-x}

2440: &=& 2 x \Biggl[

2441: \Sa_{2,2}(x) + \Sa_{1,3}(x) -\ln(x) \Sf(x) - \frac{5}{4}\zeta(4) 

2442: \non\\ & &  

2443: - \Sf(1-x) + \Sf(x) + \frac{1}{6}\ln(x)\ln^3(1-x)

2444: \\& &

2445: -\frac{1}{2}\ln(x)\ln(1-x)\left[\ln(1-x)-\ln(x)\right]

2446: -\zeta (3)\Biggr]

2447: \nonumber\\ & &  

2448: +(1-x) \ln^2(1-x) - 2x \left[\Li_2(x)-\zeta(2)\right] \nonumber\\

2449: & &+ \ln(x) \ln^2(1-x)

2450: \non\\

2451: %------------------------------------------------------------------------

2452: %% 130

2453: x \otimes \frac{\ln^2(x)\ln(1-x)}{1-x}

2454: &=& -2 x \Biggl[

2455: \Sa_{2,2}(1-x) + \Sa_{1,3}(1-x) - \ln(1-x) \Sf(1-x)

2456: \nonumber\\ &&

2457: +\Sf(1-x)-\Li_2(1-x)+\frac{1}{6}\ln^3(x)\ln(1-x)

2458: \\&&

2459: -\frac{1}{6}\ln^3(x)-\frac{1}{2}\ln^2(x)+\ln(1-x)-\ln(x)

2460: \Biggr]

2461: \non\\&&

2462: +2[1+\ln(x)]\ln(1-x)+\ln^2(x)\ln(1-x)

2463: \non\\

2464: %------------------------------------------------------------------------

2465: %% 131

2466: x \otimes \frac{\ln^3(x)}{1-x}

2467: &=& - x \left[\frac{1}{4} \ln^4(x) + 6 {\rm S}_{1,3}(1-x) \right]

2468: \nonumber\\ & &

2469: +6 \left[1-x+\ln(x) + \frac{1}{2} \ln^2(x) + \frac{1}{6} \ln^3(x)

2470: \right]

2471: \\

2472: %------------------------------------------------------------------------

2473: %% 132

2474: x \otimes \frac{\Sf(1-x)}{1-x}

2475: &=& x \Biggl[{\rm S}_{2,2}(1-x) - \ln(x) \Sf(1-x) - 3 {\rm S}_{1,3}(1-x)

2476: \Biggr] \nonumber\\ & & + \left({1-x} \right) \Sf(1-x)

2477: + \frac{x}{6} \ln^3(x)

2478: \\

2479: %------------------------------------------------------------------------

2480: %% 133

2481: x \otimes \frac{\Li_3(1-x)}{1-x}

2482: &=& - x \left[\frac{1}{2} \Li_2^2(1-x) + \ln(x) \Li_3(1-x) - \Li_4(1-x)

2483: \right] \nonumber\\ & &

2484: +(1-x) \Li_3(1-x) + x \ln(x) \Li_2(1-x) \nonumber\\ & &

2485: + 2x \Sf(1-x) \nonumber\\

2486: \\

2487: %------------------------------------------------------------------------

2488: %% 134

2489: x \otimes \frac{\ln(x)\Li_2(1-x)}{1-x}

2490: &=& x \Biggl[-\frac{1}{2} \Li_2^2(1-x) 

2491: - \frac{1}{2} \ln^2(x) \Li_2(1-x) + 3 {\rm S}_{1,3}(1-x) \Biggr]

2492: \nonumber\\ & & +[1 + \ln(x) ] \Li_2(1-x) - \frac{x}{3} \ln^3(x)

2493: - \frac{x}{2} \ln^2(x) \nonumber\\ & &

2494: +2x \Sf(1-x) - x \Li_2(1-x)

2495: \\

2496: %------------------------------------------------------------------------

2497: %% 135

2498: x \otimes \frac{\Li_3(x)-\zeta(3)}{1-x}

2499: &=& \Li_3(x) + \Li_2(x) - \zeta(3) -x \zeta(2) - x\ln(x) \nonumber\\ & &

2500: -(1-x) \ln(1-x) \nonumber\\  & &

2501: + x \Biggl\{

2502: \zeta(4) - \Li_4(x) + \zeta(3) \ln(x) \nonumber\\ & &

2503: + \ln(1-x) [\Li_3(x) - \zeta(3)

2504: ] \nonumber\\ & & -\frac{1}{2} [\zeta(2)^2 - \Li_2^2(x)]\Biggr\}

2505: \\

2506: %------------------------------------------------------------------------

2507: %% 136

2508: x \otimes \Sf(x)

2509: &=& {\rm S}_{1,2}(x) - x \zeta(3) + \frac{1}{2}(1-x) \ln^2(1-x) +

2510: x[\zeta(2) \nonumber\\ & &

2511: - \Li_2(x)]

2512: \\

2513: %------------------------------------------------------------------------

2514: %% 137

2515: x \otimes x \Sf(x)

2516: &=& x\left[\frac{1}{4} \zeta(4) - {\rm S}_{2,2}(x) \right]

2517: \\

2518: %------------------------------------------------------------------------

2519: %% 138

2520: x \otimes \Li_3(1-x)

2521: &=& 2x \Sf(1-x) +(1-x) \Li_3(1-x) \nonumber\\ & &

2522: +x \ln(x) \Li_2(1-x)

2523: \\

2524: %------------------------------------------------------------------------

2525: %% 139

2526: x \otimes x \Li_3(1-x)

2527: &=& - x\left[\ln(x) \Li_3(1-x)  + \frac{1}{2} \Li_2^2(1-x)\right] 

2528: \\

2529: %------------------------------------------------------------------------

2530: %% 140

2531: x \otimes \ln(1-x)\Li_2(1-x)

2532: &=& 3x \Sf(1-x) 

2533: - \frac{x}{2} \ln^2(x) \ln(1-x)

2534: \nonumber\\ & &

2535: + \left[x\ln(x) + (1-x) \ln(1-x) \right] \Li_2(1-x)

2536: \\

2537: %------------------------------------------------------------------------

2538: %% 141

2539: x \otimes x \ln(1-x)\Li_2(1-x)

2540: &=& x \Biggl[

2541: 2\Sa_{2,2}(1-x) - \frac{1}{2}\Li_2^2(1-x) \nonumber\\ & &

2542: - 2\ln(1-x) \Sf(1-x)

2543: \nonumber\\ & &

2544: -\ln(x)\ln(1-x) \Li_2(1-x)

2545: \Biggr]

2546: \\

2547: %------------------------------------------------------------------------

2548: %% 142

2549: x \otimes \ln(x)\Li_2(1-x)

2550: &=& 

2551: 2x \Sf(1-x)  +[1-x +\ln(x)] \Li_2(1-x) \nonumber\\ & &

2552: - \frac{x}{3}

2553: \ln^3(x) - \frac{x}{2} \ln^2(x)

2554: \\

2555: %------------------------------------------------------------------------

2556: %% 143

2557: x \otimes x \ln(x)\Li_2(1-x) 

2558: &=& -x \left[\frac{1}{2} \ln^2(x) \Li_2(1-x) - 3 {\rm S}_{1,3}(1-x)

2559: \right]

2560: \\

2561: %------------------------------------------------------------------------

2562: %% 144

2563: x \otimes \Sf(1-x)

2564: &=& (1-x) \Sf(1-x) + \frac{x}{6} \ln^3(x)

2565: \\

2566: %------------------------------------------------------------------------

2567: %% 145

2568: x \otimes x \Sf(1-x)

2569: &=& x \left[- \ln(x) \Sf(1-x) - 3 \Sa_{1,3}(1-x) \right]

2570: \\

2571: %------------------------------------------------------------------------

2572: %% 146

2573: x \otimes \Li_3(x)

2574: &=& \Li_3(x)+\Li_2(x) - x[\zeta(3)+\zeta(2)] - x \ln(x) \nonumber\\ & &

2575: - (1-x) \ln(1-x)

2576: \\

2577: %------------------------------------------------------------------------

2578: %% 147

2579: x \otimes x \Li_3(x)

2580: &=& x \left[\zeta(4)-\Li_4(x)\right]

2581: \\

2582: %------------------------------------------------------------------------

2583: %% 148

2584: x \otimes \ln(x)\Li_2(x)

2585: &=&  -x \Li_2(1-x) + [1+\ln(x)] \Li_2(x) - x \zeta(2) \nonumber\\ & &

2586: - \ln(1-x)[\ln(x)+2] \nonumber\\ & &

2587: -2x\left[\ln(x) 

2588: - \ln(1-x) +\frac{1}{4}\ln^2(x)\right]

2589: \\

2590: %------------------------------------------------------------------------

2591: %% 149

2592: x \otimes x \ln(x)\Li_2(x)

2593: &=& x\left[\Li_4(x) - \ln(x) \Li_3(x) - \zeta(4)\right]

2594: \\

2595: %------------------------------------------------------------------------

2596: %% 150

2597: x \otimes \ln^3(1-x)

2598: &=& 6x[\Sf(x) - \zeta(3)] +(1-x) \ln^3(1-x)

2599: \\

2600: %------------------------------------------------------------------------

2601: %% 151

2602: x \otimes x \ln^3(1-x)

2603: &=& -6x \left[\zeta(4) - \Sa_{1,3}(x)\right]

2604: \\

2605: %------------------------------------------------------------------------

2606: %% 152

2607: x \otimes \ln(x)\ln^2(1-x)

2608: &=& [1-x+\ln(x)] \ln^2(1-x) + 2x[\zeta(2)-\Li_2(x)]\nonumber\\& &

2609: -2x\Biggl[\zeta(3) - \Li_3(x) + \ln(x) \Li_2(x) + \Li_3(1-x)

2610: \nonumber\\ & &

2611: - \ln(1-x) \Li_2(1-x) \Biggr]

2612: \\

2613: %------------------------------------------------------------------------

2614: %% 153

2615: x \otimes x \ln(x)\ln^2(1-x)

2616: &=& -2x \left[\frac{1}{4} \zeta(4) 

2617: -{\rm S}_{2,2}(x) + \ln(x) \Sf(x)\right]

2618: \\

2619: %------------------------------------------------------------------------

2620: %% 154

2621: x \otimes \ln^2(x)\ln(1-x)

2622: &=& 2x \left[\Li_2(1-x)-\Sf(1-x)\right] \nonumber\\ & &

2623: + \left[2[1-x + \ln(x)] +\ln^2(x)

2624: \right]

2625: \ln(1-x) \nonumber\\

2626: & & + x \ln(x) \left[2 +\ln(x) +\frac{1}{3} \ln^2(x)\right]

2627: \\

2628: %------------------------------------------------------------------------

2629: %% 155

2630: %%152

2631: x \otimes x \ln^2(x)\ln(1-x)

2632: &=& - 2 x [ \Sa_{1,3}(1-x) + \frac{1}{6}\ln^3(x)\ln(1-x)]

2633: %------------------------------------------------------------------------

2634: %% 156

2635: %x \otimes \ln^3(x)

2636: %&=& - \frac{1}{4}  \ln^4(x)

2637: %\\

2638: %------------------------------------------------------------------------

2639: %% 157

2640: %x \otimes x \ln^3(x)

2641: %&=& (1-x) \ln^3(x)

2642: \end{eqnarray}

2643: %------------------------------------------------------------------------

2644: 

2645: For some applications one wishes to give explicit account for soft gluon 

2646: or soft photon resummation using $x$--space formulae. Here one has to 

2647: perform convolutions of the type 

2648: %-------------------------------------------------------------------------

2649: \begin{equation}

2650: \left[\frac{\ln^k(1-x)}{1-x}\right]_+ \otimes 

2651: \left[\frac{\ln^l(1-x)}{1-x}\right]_+ = D_k(x) \otimes D_l(x),~~~k,l \geq 

2652: 0~.

2653: \end{equation}

2654: %-------------------------------------------------------------------------

2655: The  Mellin convolution of two $(...)_+$--distributions is again a

2656: $(...)_+$--distribution.

2657: The convolutions $D_k \otimes D_0, k~\epsilon~[0,3]$ are given in 

2658: Eqs.~(69,72,104) and (131) above and can easily be extended to general 

2659: values of $k$ and $l$ using relations given in 

2660: Ref.~\cite{Blumlein:1999if}. The  Mellin transform of $D_k(x)$ reads 

2661: %-------------------------------------------------------------------------

2662: \begin{equation}

2663: \label{eqDD}

2664: \MV[D_k(x)](N) = (-1)^k (k-1)! 

2665: S_{\underbrace{\mbox{\scriptsize 1, \ldots ,1}}_{\mbox{\scriptsize

2666: $k$}}}(N-1)~.

2667: \end{equation}

2668: %-------------------------------------------------------------------------

2669: The harmonic sum in (\ref{eqDD}) obeys a determinant--representation, 

2670: Eq.~(158)~\cite{Blumlein:1999if}, and is a polynomial of only single

2671: harmonic sums. One obtains the Mellin transform of $[\ln(x) 

2672: \ln^{(k)}(1-x)/(1-x)]_+$ by the relation

2673: %-------------------------------------------------------------------------

2674: \begin{equation}

2675: \label{eqDD1}

2676: \MV\left\{\left[\ln(x) \frac{\ln^k(1-x)}{1-x}\right]_+\right\}(N) =

2677: \frac{\partial}{\partial N} 

2678: (-1)^k (k-1)!

2679: S_{\underbrace{\mbox{\scriptsize 1, \ldots ,1}}_{\mbox{\scriptsize

2680: $k$}}}(N-1)~.

2681: \end{equation}

2682: %-------------------------------------------------------------------------

2683: Since the single harmonic sums can be represented by Euler's

2684: $\psi$--function and its derivatives the differentiation for $N$ is

2685: performed easily. Furthermore, one may re-express the result again in a

2686: polynomial of single harmonic sums.

2687: %\newpage

2688: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2689: \section{Appendix B:~Mellin Transforms}

2690: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2691: 

2692: \vspace{1mm}

2693: \noindent

2694: Some of the convolutions calculated in the previous section were 

2695: determined using harmonic sums and Mellin transformations of specific 

2696: functions, such as Nielsen--integrals. The Mellin transform of a 

2697: convolution is given by

2698: %------------------------------------------------------------------------

2699: \begin{equation}

2700: \M\left\{[A \otimes B](x)\right\}(N) = 

2701: \M\left\{[A](x)\right\}(N) \cdot

2702: \M\left\{[B](x)\right\}(N)~.

2703: \end{equation}

2704: %------------------------------------------------------------------------

2705: Below we list Mellin transforms which were used and were not contained in

2706: Ref.~\cite{Blumlein:1999if}.

2707: \begin{eqnarray}

2708: %------------------------------------------------------------------------

2709: % 1

2710: \M[\ln^p(1-x)](N)   &=& \frac{1}{N} (-1)^p p!

2711: S_{\underbrace{\mbox{\scriptsize 1, \ldots ,1}}_{\mbox{\scriptsize $p$}}}

2712: (N)

2713: \\

2714: %------------------------------------------------------------------------

2715: % 2

2716: \M[\ln^4(1-x)](N)   &=& \frac{1}{N}

2717: \left[S_1^4(N)+6 S_1^2(N) S_2(N) + 3 S_2^2(N) + 8 S1(N) S_3(N) \right.

2718: \nonumber\\ & &  \left.

2719: +6 S_4(N)\right] \nonumber\\

2720: \\

2721: %------------------------------------------------------------------------

2722: % 3

2723: \M[\Sa_{1,p}(x)](N)   &=& \frac{1}{N} \left\{\zeta(p) - \frac{1}

2724: {N}

2725: S_{\underbrace{\mbox{\scriptsize 1, \ldots ,1}}_{\mbox{\scriptsize $p$}}}

2726: (N)

2727: \right\}

2728: \\

2729: %------------------------------------------------------------------------

2730: % 4

2731: \M[\Sa_{1,p}(1-x)](N) &=& - \frac{1}{N} \left[S_p(N) - \zeta(p)\right]

2732: \\

2733: %------------------------------------------------------------------------

2734: % 5

2735: \M[\Sa_{1,3}(x)](N)   &=& \frac{1}{N}\left\{\zeta(4) - \frac{1}{6 N}

2736: \left[S_1^3(N)+3S_1(N)S_2(N)+2S_3(N)\right]\right\}

2737: \\

2738: %------------------------------------------------------------------------

2739: % 6

2740: \M[\Sa_{1,3}(1-x)](N) &=& - \frac{1}{N} \left[S_4(N) - \zeta(4)\right]

2741: \\

2742: %------------------------------------------------------------------------

2743: % 7

2744: \M[\Sa_{1,4}(x)](N)   &=& \frac{1}{N}\Biggl\{\zeta(5) - \frac{1}{24 N}

2745: \Biggl[S_1^4(N)+6S_1^2(N) S_2(N)+8S_1(N)S_3(N) \nonumber\\ & &~~~~

2746: +3S_2^2(N)

2747:     +6 S_4(N)

2748: \Biggr]\Biggr\}

2749: \\

2750: %------------------------------------------------------------------------

2751: % 8

2752: \M[\Sa_{1,4}(1-x)](N) &=& - \frac{1}{N} \left[S_5(N) - \zeta(5)\right]

2753: \\

2754: %------------------------------------------------------------------------

2755: % 9

2756: \M[\Sa_{2,2}(x)](N)   

2757: &=& \frac{\zeta(4)}{4N} - \frac{\zeta(3)}{N^2} 

2758: + \frac{S_1^2(N)+S_2(N)}{2N^3}

2759: \\

2760: %------------------------------------------------------------------------

2761: % 10

2762: \M[\Sa_{2,2}(1-x)](N)   &=& \frac{1}{N}\left[\frac{1}{4} \zeta(4)

2763: + S_{1,3}(N) - \zeta(3) S_1(N)\right]

2764: \\

2765: %------------------------------------------------------------------------

2766: % 11

2767: \M\left[\frac{\Sa_{2,2}(1-x)}{1-x}\right](N)   

2768: &=& 2 \zeta(5) - \zeta(2) \zeta(3) - \frac{1}{4} \zeta(4)S_1(N-1)

2769: -S_{1,1,3}(N-1) \nonumber\\ & &

2770: + \zeta(3) S_{1,1}(N-1)

2771: \\

2772: %------------------------------------------------------------------------

2773: % 12

2774: \M\left[\Li_2^2(x)\right](N) &=&

2775: \frac{1}{N} \Biggl\{\frac{5}{2} \zeta(4)-4\frac{\zeta(3)}{N}

2776: -2\zeta(2) \frac{S_1(N)}{N}

2777: +2 \frac{S_{2,1}(N)}{N}\Biggr\} \nonumber\\ & & +\frac{2}{N^3} \biggl[

2778: S_1^2(N)+S_2(N)\biggr]

2779: \\

2780: %------------------------------------------------------------------------

2781: % 13

2782: \M\left[\ln(1-x) \Li_3(x)\right](N) &=& \frac{1}{N} \Biggl[

2783: -\frac{1}{2} \zeta(2)^2 + \frac{2\zeta(3)}{N} + \zeta(2) \frac{S_1(N)}{N}

2784: - \frac{S_1^2(N)+S_2(N)}{N^2} \nonumber\\ & & - \frac{S_{2,1}(N)}{N}

2785: - \zeta(3) S_1(N) + \zeta(2) S_2(N) - S_{3,1}(N) \Biggr]

2786: \\

2787: %------------------------------------------------------------------------

2788: % 14

2789: \M\left[\ln(x) \Li_3(x)\right](N) &=& - \frac{1}{N^2} \Biggl[\zeta(3)

2790: -\frac{3\zeta(2)}{N} + \frac{S_2(N)}{N} +\frac{3 S_1(N)}{N^2} \Biggr]

2791: \\

2792: %------------------------------------------------------------------------

2793: % 15

2794: \M\left[\ln(x) \Sf(1-x)\right](N) &=& \frac{1}{N}\Biggl\{

2795: 3 S_4(N) - 3 \zeta(4) + \frac{1}{N} \left[S_3(N) - \zeta(3) \right]

2796: \Biggr\}

2797: \\

2798: %------------------------------------------------------------------------

2799: % 16

2800: \M\left[\ln(x) \Sf(x)\right](N) &=& \frac{1}{N^2}\Biggl\{

2801: S_1(N) S_2(N) + S_3(N) -  \zeta(2) S_1(N) - 2\zeta(3) \nonumber\\ & &

2802: ~~~~+ \frac{1}{N}

2803: \left[S_1^2(N)+S_2(N)\right]\Biggr\}

2804: \\

2805: %------------------------------------------------------------------------

2806: % 17

2807: \M\left[\Li_4(x)\right](N) &=& \frac{\zeta(4)}{N}

2808: -\frac{\zeta(3)}{N^2}+\frac{\zeta(2)}{N^3} - \frac{S_1(N)}{N^4}

2809: \\

2810: %------------------------------------------------------------------------

2811: % 18

2812: \M\left[\ln^2(x) \Li_2(1-x)\right](N) &=& \frac{1}{N}

2813: \Biggl\{6[\zeta(4)-S_4(N)] + \frac{4}{N}[\zeta(3)-S_3(N)]

2814: \nonumber\\ & &

2815: +\frac{2}{N^2}[\zeta(2)-S_2(N)]\Biggr\}\\

2816: %------------------------------------------------------------------------

2817: % 19

2818: \M\left[\frac{\Sa_{2,2}(x)-\zeta(4)/4}{1-x}\right](N) &=& 

2819: -S_{3,1,1}(N-1)+\zeta(3)S_2(N-1)-\frac{\zeta(5)}{2}\\

2820: %------------------------------------------------------------------------

2821: % 20

2822: \M\left[\frac{\Sa_{1,3}(x)-\zeta(4)}{1-x}\right](N) &=& 

2823: S_{2,1,1,1}(N-1)-4\zeta(5)\\

2824: %------------------------------------------------------------------------

2825: % 21

2826: \M\left[\frac{\Sa_{1,3}(1-x)}{1-x}\right](N) &=& 

2827: S_{1,4}(N-1)-\zeta(4)S_1(N-1)+2\zeta(5)-\zeta(2)\zeta(3)

2828: %------------------------------------------------------------------------

2829: \end{eqnarray}

2830: %------------------------------------------------------------------------

2831: %\newpage

2832: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2833: \section{Appendix C:~Representation of Sums              }

2834: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2835: 

2836: \vspace{1mm}

2837: \noindent

2838: To obtain the inverse Mellin transforms of more complicated convolutions 

2839: back in $x$--space products of harmonic sums and powers of $1/N$ have to 

2840: be expressed as Mellin transforms. A series of representations has been

2841: given in~\cite{Blumlein:1999if} before. Here we list additional 

2842: representations which were used in the present calculation.

2843: \begin{eqnarray}

2844: %------------------------------------------------------------------------

2845: %% 1

2846: \frac{S_1(N)}{N} &=& - \M[\ln(1-x)](N)

2847: \\

2848: %------------------------------------------------------------------------

2849: %% 2

2850: \frac{S_1(N)}{N^2} &=& - \M[\Li_2(x) - \zeta(2)](N)

2851: \\

2852: %------------------------------------------------------------------------

2853: %% 3

2854: \frac{S_1(N)}{N^3} &=&  \M[\Li_3(x) - \zeta(2)\ln(x) - \zeta(3)](N)

2855: \\

2856: %------------------------------------------------------------------------

2857: %% 4

2858: \frac{S_1(N)}{N^4} &=& -\M\left[\Li_4(x) - \frac{\zeta(2)}{2}

2859: \ln^2(x) - \zeta(3) \ln(x) - \zeta(4)\right](N)

2860: \\

2861: %------------------------------------------------------------------------

2862: %% 5

2863: \frac{S_2(N)}{N} &=& -\M[\Li_2(1-x) - \zeta(2)](N)

2864: \\

2865: %------------------------------------------------------------------------

2866: %% 6

2867: \frac{S_2(N)}{N^2} &=&  \M[2 \Sf(1-x) + \ln(x)[\Li_2(1-x) -

2868: \zeta(2)]](N)

2869: \\

2870: %------------------------------------------------------------------------

2871: %% 7

2872: \frac{S_2(N)}{N^3} &=& 

2873: -\M\left[3 \Sa_{1,3}(1-x) + 2 \ln(x) \Sf(1-x)

2874: +\frac{1}{2}\ln^2(x)[\Li_2(1-x) - \zeta(2)]\right](N)

2875: \nonumber\\

2876: \\

2877: %------------------------------------------------------------------------

2878: %% 8

2879: \frac{S_3(N)}{N} &=& -\M[\Sa_{1,2}(1-x) - \zeta(3)](N)

2880: \\

2881: %------------------------------------------------------------------------

2882: %% 9

2883: \frac{S_3(N)}{N^2} &=& \M[3\Sa_{1,3}(1-x)+\ln(x) \Sf(1-x) - \zeta(3)

2884: \ln(x)](N)

2885: \\

2886: %------------------------------------------------------------------------

2887: %% 10

2888: \frac{S_4(N)}{N} &=& -\M[\Sa_{1,3}(1-x) - \zeta(4)](N)

2889: \\

2890: %------------------------------------------------------------------------

2891: %% 11

2892: \frac{S_1^2(N)}{N} &=& \M[\ln^2(1-x)+\Li_2(1-x) -\zeta(2)](N)

2893: \\

2894: %------------------------------------------------------------------------

2895: %% 12

2896: \frac{S_1^2(N)}{N^2} &=& 

2897: -\M[2\Sf(x)+2\Sf(1-x)+\ln(x)[\Li_2(1-x)-\zeta(2)] -2\zeta(3)](N)

2898: \\

2899: %------------------------------------------------------------------------

2900: %% 13

2901: \frac{S_1^2(N)}{N^3} &=& \M\left[2\Sa_{2,2}(x) - \frac{\zeta(4)}{2}

2902: - 2 \zeta(3) \ln(x)\right](N)\nonumber\\ & &

2903: +\M\left[3 \Sa_{1,3}(1-x) + 2 \ln(x) \Sf(1-x)

2904: +\frac{1}{2}\ln^2(x)

2905: [\Li_2(1-x) - \zeta(2)]\right](N) \nonumber\\

2906: \\

2907: %------------------------------------------------------------------------

2908: %% 14

2909: \frac{S_2^2(N)}{N} &=& \M\left[4 \Sa_{22}(x) + \Sa_{13}(1-x)

2910:         - 4 \ln(x)\Sf(x) - 2 \ln(x)\ln(1-x)\Li_2(x)\right]

2911: \nonumber\\

2912:  & &    + \M\left[ 4 \ln(1-x)\Li_3(x) + \Li_2^2(x) 

2913:         - 4\zeta(3)\ln(1-x) - \zeta(4) \right]

2914: \\

2915: %------------------------------------------------------------------------

2916: %% 15

2917: \frac{S_2(N) S_1(N)}{N} &=& 

2918: \M\left[\Sf(1-x)-\Li_3(1-x) + \ln(1-x)[\Li_2(1-x)

2919: - \zeta(2)]\right](N)

2920: \\

2921: %------------------------------------------------------------------------

2922: %% 16

2923: \frac{S_2(N) S_1(N)}{N^2} &=& \M\left[\ln(x)[\Sf(x)-\Sf(1-x)]

2924: -3\Sa_{1,3}(1-x)\right](N) \nonumber\\ & &

2925: - \M\left[2\Sa_{2,2}(x) + \zeta(2) \Li_2(x) - \zeta(3) \ln(x)

2926: - 3\zeta(4)\right](N)

2927: \\

2928: %------------------------------------------------------------------------

2929: %% 17

2930: \frac{S_3(N) S_1(N)}{N} &=&  \M\left[\Sa_{2,2}(1-x)+\Sa_{1,3}(1-x)

2931: - \frac{1}{2} \Li_2^2(1-x) \right](N) \nonumber\\ & &

2932: \nonumber\\

2933: & &

2934: + \M\left[[\ln(1-x)[\Sf(1-x) -\zeta(3)]\right](N)

2935: \\

2936: %------------------------------------------------------------------------

2937: %% 18

2938: \frac{S_2(N) S_1^2(N)}{N} &=& \M\left [- 4 \Sa_{22}(x) - 2 \Sa_{22}(1-x)

2939:     + 2 \Sa_{13}(x) - \Sa_{13}(1-x) + 4 \ln(x)\Sf(x) \right]

2940: \nonumber\\

2941:  & & 

2942:     + \M\left[ - 2\ln(1-x)\Sf(1-x) - 4 \ln(1-x)\Li_3(x) 

2943:     + \Li_2^2(1-x) - \Li_2^2(x) \right]

2944: \nonumber\\

2945:  & &

2946:     + \M\left[ 2 \ln(x)\ln(1-x)\Li_2(x)

2947:     + \frac{1}{3}\ln(x)\ln^3(1-x) + \zeta(2)\ln^2(1-x) \right]

2948: \nonumber\\

2949:  & &

2950:     + \M\left[ 4\zeta(3)\ln(1-x) - \zeta(4) \right]

2951: %------------------------------------------------------------------------

2952: %------------------------------------------------------------------------

2953: \end{eqnarray}

2954: %------------------------------------------------------------------------

2955: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2956: 

2957: \vspace{1mm}\noindent

2958: {\bf Acknowledgment.} This paper was supported in part by

2959: DFG Sonderforschungsbereich Transregio~9, Computergest\"utzte Theoretische

2960: Physik.

2961: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2962: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2963: \newpage

2964: \begin{center}

2965: 

2966: \mbox{\epsfig{file=fig1.eps,height=9cm,width=10cm}}

2967: 

2968: \vspace{2mm}

2969: \noindent

2970: \small

2971: \end{center}

2972: {\sf

2973: Figure~1:~

2974: The non--singlet radiation function $D_{\rm NS}(x,Q^2)$ to $O((\alpha 

2975: L)^5)$ as a function of $x$ for $Q= 10 \GeV, 100 \GeV$ and $1 \TeV$.}

2976: \normalsize

2977: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2978: 

2979: \vspace*{1cm}

2980: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2981: %\newpage

2982: \begin{center}

2983: 

2984: \mbox{\epsfig{file=fig2.eps,height=9cm,width=10cm}}

2985: 

2986: \vspace{2mm}

2987: \noindent     

2988: \small   

2989: \end{center}

2990: {\sf

2991: Figure~2:~

2992: The effect of the resummed contributions beyond $O((\alpha L)^5)$ compared 

2993: to the contributions up to $O((\alpha L)^5)$ for $D_{\rm NS}(x,Q^2)$ as a 

2994: function of $x$ and $Q$.}

2995: \normalsize

2996: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2997: 

2998: \vspace*{1cm}

2999: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3000: \newpage

3001: \begin{center}

3002: 

3003: \mbox{\epsfig{file=fig3.eps,height=9cm,width=9cm}}

3004: 

3005: \vspace{2mm}

3006: \noindent     

3007: \small   

3008: \end{center}

3009: {\sf

3010: Figure~3:~

3011: Relative contribution of the first order non-singlet radiator compared to 

3012: all terms up to $O((\alpha L)^5)$ as a function of $x$ and $Q$ and relative 

3013: correction of all contributions up to $O((\alpha L)^4)$ in comparison to 

3014: the terms up to $O((\alpha L)^5)$.}

3015: \normalsize

3016: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3017: 

3018: \vspace*{1cm}

3019: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3020: %\newpage

3021: \begin{center}

3022: 

3023: \mbox{\epsfig{file=fig4.eps,height=9cm,width=10cm}}

3024: 

3025: \vspace{2mm}

3026: \noindent     

3027: \small   

3028: \end{center}

3029: {\sf

3030: Figure~4:~

3031: The polarized singlet contributions $D_{ij}$ as a function of $x$ and $Q$ 

3032: in $\%$. Here $D_{11}$ denotes the pure singlet term, which has to be 

3033: added 

3034: to the non--singlet contribution.} 

3035: \normalsize

3036: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3037: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3038: \newpage

3039: \begin{center}

3040: 

3041: \mbox{\epsfig{file=fig5.eps,height=9cm,width=9cm}}

3042: 

3043: \vspace{2mm}

3044: \noindent     

3045: \small   

3046: \end{center}

3047: {\sf

3048: Figure~5:~Relative contribution of the first order singlet radiators 

3049: $D_{ij}^1$ in the terms to $O((\alpha L)^5)$.}

3050: \normalsize

3051: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3052: 

3053: \vspace*{1cm}

3054: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3055: %\newpage

3056: \begin{center}

3057: 

3058: \mbox{\epsfig{file=fig6.eps,height=9cm,width=9cm}}

3059: 

3060: \vspace{2mm}

3061: \noindent     

3062: \small   

3063: \end{center}

3064: {\sf

3065: Figure~6:~Relative contribution of all terms of the singlet radiators 

3066: $D_{ij}$ to the 4th order in $\alpha 

3067: L$ if compared to all terms to 5th order as a function of $x$ and $Q$.}

3068: \normalsize

3069: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3070: 

3071: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3072: \newpage

3073: \begin{center}

3074: 

3075: \mbox{\epsfig{file=fig7.eps,height=9cm,width=10cm}}

3076: 

3077: \vspace{2mm}

3078: \noindent     

3079: \small   

3080: \end{center}

3081: {\sf

3082: Figure~7:~

3083: The polarized singlet contributions $D_{ij}(x,Q^2)$ corresponding to the 

3084: resummation of the $O(\alpha \ln^2(x))$ terms as a function of $x$ and $Q$ 

3085: in $\%$ starting with $O(\alpha^2)$.  

3086: Here $D_{11}$ contains also the non--singlet contribution.}

3087: \normalsize

3088: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3089: %\newpage

3090: 

3091: \vspace{5mm}

3092: \noindent

3093: \begin{minipage}[b]{.46\linewidth}

3094: \centering\epsfig{figure=HERMES.eps,width=\linewidth}

3095: %\caption{aaaa}

3096: \end{minipage}\hfill

3097: \begin{minipage}[b]{.46\linewidth}

3098: \centering\epsfig{figure=HERMESdiff.eps,width=\linewidth}

3099: %\caption{bbbb}   

3100: \end{minipage}   

3101: 

3102: \vspace{2mm}\noindent

3103: %\newpage 

3104: %\vspace{1cm}

3105: %\newpage

3106: %\begin{center}

3107: %\mbox{\epsfig{file=fig8a.eps,height=9cm,width=9cm}}

3108: %

3109: %\vspace{2mm}

3110: %\noindent     

3111: %\small   

3112: %\end{center}

3113: {\sf

3114: Figure~8:~

3115: The QED radiative initial state correction to the differential 

3116: cross 

3117: section of polarized deep--inelastic lepton--proton scattering including 

3118: the $O((\alpha L)^5)$ corrections as a function of $x$ and $y$ in a fixed 

3119: target experiment $(E_e = 27.5 \GeV)$.

3120: Left~: the correction factor. 

3121: Right~: the contributions due to non--leading orders.}

3122: \normalsize

3123: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3124: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3125: %\newpage

3126: 

3127: \vspace{5mm}

3128: \noindent

3129: \begin{minipage}[b]{.46\linewidth}

3130: \centering\epsfig{figure=TEV.eps,width=\linewidth}

3131: %\caption{aaaa}

3132: \end{minipage}\hfill

3133: \begin{minipage}[b]{.46\linewidth}

3134: \centering\epsfig{figure=TEVdiff.eps,width=\linewidth}

3135: %\caption{bbbb}   

3136: \end{minipage}   

3137: 

3138: \vspace{2mm}\noindent

3139: %\newpage 

3140: %\vspace{1cm}

3141: %\newpage

3142: %\begin{center}

3143: %\mbox{\epsfig{file=fig8a.eps,height=9cm,width=9cm}}

3144: %

3145: %\vspace{2mm}

3146: %\noindent     

3147: %\small   

3148: %\end{center}

3149: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3150: {\sf

3151: Figure~9:~

3152: The QED radiative initial state correction to the differential cross

3153: section of polarized deep--inelastic lepton--proton scattering including

3154: the $O((\alpha L)^5)$ corrections as a function of $x$ and $y$ for a 

3155: collider experiment at $S = 1 \TeV^2$. 

3156: Left~: the correction factor. 

3157: Right~: the contributions due to non--leading orders.}

3158: \normalsize

3159: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3160: \newpage

3161: \input{ref}

3162: %------------------------------------------------------------------------

3163: \end{document}

3164: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3165: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3166: