1: \section{DIS scheme splitting and coefficient functions}
2: The NNLO singlet and non-singlet splitting functions have recently been computed in the $\overline{\text{MS}}$ scheme \cite{Vogt_s, Vogt_ns}, along with the ${\cal O}(\alpha_S^3)$ coefficient functions for neutral boson exchange \cite{Vogtcl, Vogtc}. They are extremely lengthy - for example, the typeset NNNLO gluon coefficient $C_{2g}$ is around twelve pages long \cite{Vogtc}. The NNLO splitting functions are shorter, but like the coefficients are made more complicated by the nature of the algebraic functions involved. All of the NNLO coefficient and splitting functions involve combinations of harmonic sums in $N$-space, which after inverse Mellin transformation yield harmonic polylogarithms \cite{polylogs} in $x$-space (up to weight five at this order). These are non-standard functions and thus must be generated numerically \cite{numlogs}. The combination of length and numerical complexity makes it is infeasible that the complete results can be immediately used in phenomenological applications. Instead one may parameterise the results in $x$-space in terms of simple algebraic functions, with a precision that far exceeds that due to higher order corrections. The Mellin transforms of the parameterisations then give suitably accurate $N$-space representations. Parameterisations of the $\msbar$ functions are given in \cite{Vogt_s,Vogt_ns, Vogtcl, Vogtc}. From these we have derived corresponding representations of the DIS scheme quantities, accurate to within a percent apart from near the zeros. Our results are presented in Appendix B.\\
3:
4: In transforming between the $\msbar$ and DIS schemes, we follow the argument presented in \cite{vanNeerven,Vogts}. The DIS scheme is characterised by the singlet structure function $F_2$ having the same form as the naive parton model to all orders \cite{Altarelli}:
5: \begin{equation}
6: F_{2s}(x,Q^2)=\Sigma^{\DIS}\equiv C^{\msbar}_{2q}\otimes\Sigma^{\msbar}+C_{2g}\otimes g^{\msbar},
7: \end{equation}
8: where $\Sigma=\sum_i(q_i+\bar{q}_i)$ is the singlet quark density, and the factorisation and renormalisation scales have been chosen as $Q^2$. The factorisation scheme independence of $F_2$ then imposes a transformation between the DIS and $\msbar$ scheme partons. There remains an ambiguity in the definition of the DIS gluon. However, the momentum sum rule fixes:
9: \begin{equation}
10: \int_0^1 dx x[\Sigma(x,Q^2)+g(x,Q^2)]=1
11: \label{sumrule}
12: \end{equation}
13: in both schemes. In Mellin space, this becomes:
14: \begin{equation}
15: \Sigma^{\DIS}(N)+g^{\DIS}(N)=\Sigma^{\msbar}(N)+g^{\msbar}(N)
16: \label{sumruleN}
17: \end{equation}
18: for $N=1$\footnote{This corresponds to our choice of Mellin variable and that of \cite{Bialas}. The alternative definition $\tilde{f}(N)=\int_0^1 x^{(N-1)}f(x)$ is also in common use, and in that case the second moment is constrained.}. One may remove the ambiguity by extending equation (\ref{sumruleN}) to all $N$, and one obtains:
19: \begin{equation}
20: \vec{q}^{\DIS}\equiv \left(\begin{array}{c}\Sigma^{\DIS}\\g^{\DIS}\end{array}\right)
21: =\left(\begin{array}{cc}C_{2q}^{\msbar}&C_{2g}^{\msbar}\\-C_{2q}^{\msbar}&-C_{2g}^{\msbar}\end{array}\right)
22: \otimes\left(\begin{array}{c}\Sigma^{\msbar}\\g^{\msbar}\end{array}\right)\equiv \vec{Z}\otimes\vec{q}^{\msbar}.
23: \label{MS->DIS}
24: \end{equation}
25: To obtain the splitting functions, one differentiates equation (\ref{MS->DIS}) with respect to $Q^2$ and rearranges yielding:
26: \begin{equation}
27: \vec{P}^{\DIS}=\left(\vec{Z}\otimes\vec{P}^{\msbar}+\beta(\alpha_S)\frac{d\vec{Z}}{d\alpha_S}\right)\otimes\vec{Z}^{-1}.
28: \label{splits}
29: \end{equation}
30: where $\vec{P}=\left(\begin{array}{cc}P_{qq}&P_{qg}\\P_{gq}&P_{gg}\end{array}\right)$. Substituting the perturbative expansions of the $\msbar$ scheme coefficient and splitting functions\footnote{Conventionally, $P_{ij}^{(n)}$ is the coefficient of $a^{n+1}$, where $a=\alpha_S/(4\pi)$; $C_{\{2,L\}i}^{(n)}$ is the coefficient of $a^n$.}, along with the QCD $\beta$ function\footnote{Here $\beta_n$ is the coefficient of $a^{n+2}$.}, one can derive the DIS scheme results order by order in $\alpha_S$. The explicit transformations at ${\cal O}(\alpha_S^3)$ are:
31: \begin{align}
32: P_{qq}^{(2)\DIS}&=P_{qq}^{(2)\msbar}+C_{2q}^{(2)\msbar}\otimes P_{qg}^{(0)\msbar}+C_{2g}^{(2)\msbar}\otimes P_{gq}^{(0)\msbar}+C_{2g}^{(1)\msbar}\otimes P_{gq}^{(1)\msbar}+C_{2q}^{(1)\msbar}\otimes P_{qg}^{(1)\msbar}\notag\\
33: &-C_{2g}^{(1)\msbar}\otimes P_{gq}^{(0)\msbar}\otimes C_{2q}^{(1)\msbar}+C_{2g}^{(1)\msbar}\otimes P_{gg}^{(0)\msbar}\otimes C_{2q}^{(1)\msbar} -C_{2g}^{(1)\msbar}\otimes P_{qq}^{(0)\msbar}\otimes C_{2q}^{(1)\msbar}\notag\\
34: &+C_{2g}^{(1)\msbar}\otimes P_{qg}^{(0)\msbar}\otimes C_{2q}^{(1)\msbar}+\beta_0 C_{2q}^{(1)\msbar}\otimes C_{2q}^{(1)\msbar}-\beta_0 C_{2g}^{(1)\msbar}\otimes C_{2q}^{(1)\msbar}-2\beta_0 C_{2q}^{(2)\msbar}\notag\\
35: &-\beta_1 C_{2q}^{(1)\msbar};
36: \label{transqq}
37: \end{align}
38: \begin{align}
39: P_{gq}^{(2)\DIS}&=P_{gq}^{(2)\msbar}-C_{2q}^{(2)\msbar}\otimes P_{qq}^{(0)\msbar}-C_{2g}^{(2)\msbar}\otimes P_{gq}^{(0)\msbar}-C_{2q}^{(2)\msbar}\otimes P_{gq}^{(0)\msbar} + C_{2q}^{(2)\msbar}\otimes P_{gg}^{(0)\msbar}\notag\\
40: &-C_{2q}^{(1)\msbar}\otimes P_{qq}^{(1)\msbar}-C_{2g}^{(1)\msbar}\otimes P_{gq}^{(1)\msbar}-C_{2q}^{(1)\msbar}\otimes P_{gq}^{(1)\msbar}+C_{2q}^{(1)\msbar}\otimes P_{gg}^{(1)\msbar}\notag\\
41: &+C_{2q}^{(1)\msbar}\otimes P_{qq}^{(0)\msbar}\otimes C_{2q}^{(1)\msbar}+C_{2q}^{(1)\msbar}\otimes P_{gq}^{(0)\msbar}\otimes C_{2q}^{(1)\msbar}-C_{2q}^{(1)\msbar}\otimes P_{gg}^{(0)\msbar}\otimes C_{2q}^{(1)\msbar}\notag\\
42: &-C_{2q}^{(1)\msbar}\otimes P_{qg}^{(1)\msbar}\otimes C_{2q}^{(1)\msbar}-\beta_0 C_{2q}^{(1)\msbar}\otimes C_{2q}^{(1)\msbar}+\beta_0 C_{2g}^{(1)\msbar}\otimes C_{2q}^{(1)\msbar}+2\beta_0 C_{2q}^{(2)\msbar}\notag\\
43: &+\beta_1 C_{2q}^{(1)\msbar};
44: \label{transgq}
45: \end{align}
46: \begin{align}
47: P_{gg}^{(2)\DIS}&=P_{gg}^{(2)\msbar}-C_{2q}^{(2)\msbar}\otimes P_{qg}^{(0)\msbar}-C_{2g}^{(2)\msbar}\otimes P_{gq}^{(0)\msbar}-C_{2q}^{(1)\msbar}\otimes P_{qg}^{(1)\msbar}-C_{2g}^{(1)\msbar}\otimes P_{gq}^{(1)\msbar}\notag\\
48: &+C_{2g}^{(1)\msbar}\otimes P_{qq}^{(0)\msbar}\otimes C_{2q}^{(1)\msbar}+C_{2g}^{(1)\msbar}\otimes P_{gq}^{(0)\msbar}\otimes C_{2q}^{(1)\msbar}-C_{2g}^{(1)\msbar}\otimes P_{gg}^{(0)\msbar}\otimes C_{2q}^{(1)\msbar}\notag\\
49: &-C_{2g}^{(1)\msbar}\otimes P_{qg}^{(0)\msbar}\otimes C_{2q}^{(1)\msbar}+\beta_0C_{2g}^{(1)\msbar}\otimes C_{2g}^{(1)\msbar}-\beta_0 C_{2q}^{(1)\msbar}\otimes C_{2g}^{(1)\msbar}+2\beta_0 C_{2g}^{(2)\msbar}\notag\\
50: &+\beta_1 C_{2g}^{(1)\msbar};
51: \label{transgg}
52: \end{align}
53: \begin{align}
54: P_{qg}^{(2)\DIS}&=P_{qg}^{(2)\msbar}+C_{2q}^{(2)\msbar}\otimes P_{qg}^{(0)\msbar}+C_{2g}^{(2)\msbar}\otimes P_{gg}^{(0)\msbar} -C_{2g}^{(2)\msbar}\otimes P_{qq}^{(0)\msbar}+C_{2g}^{(2)\msbar}\otimes P_{qg}^{(0)\msbar}\notag\\
55: &+C_{2q}^{(1)\msbar}\otimes P_{qg}^{(1)\msbar}+C_{2g}^{(1)\msbar}\otimes P_{gg}^{(1)\msbar}-C_{2g}^{(1)\msbar}\otimes P_{qq}^{(1)\msbar}+C_{2g}^{(1)\msbar}\otimes P_{qg}^{(1)\msbar}\notag\\
56: &-C_{2g}^{(1)\msbar}\otimes P_{gq}^{(0)\msbar}\otimes C_{2g}^{(1)\msbar}+C_{2g}^{(1)\msbar}\otimes P_{gg}^{(0)\msbar}\otimes C_{2g}^{(1)\msbar}-C_{2g}^{(1)\msbar}\otimes P_{qq}^{(0)\msbar}\otimes C_{2g}^{(1)\msbar} \notag\\
57: &+C_{2g}^{(1)\msbar}\otimes P_{qg}^{(0)\msbar}\otimes C_{2g}^{(1)\msbar}+\beta_0 C_{2q}^{(1)\msbar}\otimes C_{2g}^{(1)\msbar}-\beta_0 C_{2g}^{(1)\msbar}\otimes C_{2g}^{(1)\msbar}-2\beta_0 C_{2g}^{(2)\msbar}\notag\\
58: &-\beta_1 C_{2g}^{(1)\msbar}.
59: \label{transqg}
60: \end{align}
61: Non-singlet quark combinations transform according to:
62: \begin{equation}
63: q^{\DIS}_{ns}=C_{2ns}^{\msbar}\otimes q_{ns}^{\msbar},
64: \label{transqns}
65: \end{equation}
66: which has the form of equation (\ref{MS->DIS}) but with a trivial transformation matrix. Hence one obtains for the non-singlet splitting functions relevant to neutral and charged current scattering \cite{Vogt_ns}:\\
67: \begin{equation}
68: P_{ns}^{+,-(2)\DIS}=P_{ns}^{+,-(2)\msbar}+\beta_0 C_{2q}^{(1)\msbar}\otimes C_{2q}^{(1)\msbar}-2\beta_0 C_{2ns}^{+,-(2)\msbar}-\beta_1 C_{2q}^{(1)\msbar};
69: \label{transns}
70: \end{equation}
71: The pure singlet splitting function is given by:
72: \begin{equation}
73: P_{ps}^{(2)\DIS}=P_{qq}^{(2)\DIS}-P_{ns}^{+(2)\DIS}.
74: \label{transps}
75: \end{equation}
76:
77: The $F_2$ coefficient functions are simply defined to all orders in the DIS scheme. For the longitudinal coefficients, one considers:
78: \begin{equation}
79: F_L=\left(\begin{array}{ccc}C^{\msbar}_{Lq}&C^{\msbar}_{Lg}&C^{\msbar}_{Lns}\end{array}\right)\otimes
80: \left(\begin{array}{c}\Sigma^{\msbar}\\ g^{\msbar}\\ q_{ns}^{\msbar}\end{array}\right).
81: \end{equation}
82: Using the transformation equations (\ref{MS->DIS}) and (\ref{transqns}), one finds:
83: \begin{equation}
84: \left(\begin{array}{ccc}C^{\DIS}_{Lq}&C^{\DIS}_{Lg}&C^{\DIS}_{Lns}\end{array}\right)
85: =\left(\begin{array}{ccc}C^{\msbar}_{Lq}&C^{\msbar}_{Lns}&C^{\msbar}_{Lg}\end{array}\right)\otimes
86: \left(\begin{array}{cc}\vec{Z}&0\\0&C_{2ns}^{+\msbar}\end{array}\right)^{-1}.
87: \label{MS->DISc}
88: \end{equation}
89: Explicit results at ${\cal O}(\alpha_S^3)$ after substituting the expansions of the $\msbar$ scheme coefficient functions are:
90: \begin{align}
91: C_{Lg}^{(3)\DIS}&=C_{Lg}^{(3)\msbar}+C_{Lg}^{(1)\msbar}\otimes C_{2g}^{(2)\msbar}-C_{Lq}^{(1)\msbar}\otimes C_{2g}^{(2)\msbar}+C_{Lg}^{(2)\msbar}\otimes C_{2g}^{(1)\msbar}-C_{Lq}^{(2)\msbar}\otimes C_{2g}^{(1)\msbar}\notag\\
92: &+C_{Lg}^{(1)\msbar}\otimes C_{2g}^{(1)\msbar}\otimes C_{2g}^{(1)\msbar}-C_{Lq}^{(1)\msbar}\otimes C_{2g}^{(1)\msbar}\otimes C_{2g}^{(1)\msbar}-C_{Lg}^{(1)\msbar}\otimes C_{2q}^{(1)\msbar}\otimes C_{2g}^{(1)\msbar}\notag\\
93: & +C_{Lq}^{(1)\msbar}\otimes C_{2q}^{(1)\msbar}\otimes C_{2g}^{(1)\msbar};
94: \label{transclg}
95: \end{align}
96: \begin{align}
97: C_{Lq}^{(3)\DIS}&=C_{Lq}^{(3)\msbar}+C_{Lg}^{(1)\msbar}\otimes C_{2q}^{(2)\msbar}-C_{Lq}^{(1)\msbar}\otimes C_{2q}^{(2)\msbar}+C_{Lg}^{(2)\msbar}\otimes C_{2q}^{(1)\msbar}-C_{Lq}^{(2)\msbar}\otimes C_{2q}^{(1)\msbar}\notag\\
98: &+C_{Lg}^{(1)\msbar}\otimes C_{2g}^{(1)\msbar}\otimes C_{2q}^{(1)\msbar}-C_{Lq}^{(1)\msbar}\otimes C_{2g}^{(1)\msbar}\otimes C_{2q}^{(1)\msbar}-C_{Lg}^{(1)\msbar}\otimes C_{2q}^{(1)\msbar}\otimes C_{2q}^{(1)\msbar}\notag\\
99: &+C_{Lq}^{(1)\msbar}\otimes C_{2q}^{(1)\msbar}\otimes C_{2q}^{(1)\msbar};
100: \label{transclq}
101: \end{align}
102: \begin{equation}
103: C_{Lns}^{+(3)\DIS}=C_{Lns}^{(3)\msbar}-C_{Lns}^{(2)\msbar}\otimes C_{2ns}^{(1)\msbar}-C_{Lns}^{(1)\msbar}\otimes C_{2ns}^{(2)\msbar}+C_{Lns}^{(1)\msbar}\otimes C_{2ns}^{(1)\msbar}\otimes C_{2ns}^{(1)\msbar}.
104: \label{transclns}
105: \end{equation}
106: Then the pure singlet coefficient is given by:
107: \begin{equation}
108: C_{Lps}^{(3)\DIS}=C_{Lqq}^{(3)\DIS}-C_{Lns}^{+(3)\DIS}.
109: \label{transclps}
110: \end{equation}
111:
112: The transformation terms were evaluated in $N$-space, and divergent high and low $N$ limits were then extracted. Up to ${\cal O}(1/N)$, one has a choice in how to extract the high $N$ piece. We have chosen this in such a way as to lead to simple plus distributions and logarithms of $(1-x)$ in the $x$-space functions. The remaining finite functions as $N\rightarrow 0,\infty$ were parameterised in $x$-space by evaluating the inverse Mellin transform numerically. Finally the transformation terms were added to the existing $\overline{\text{MS}}$ parameterisations. Thus the plus distribution and small-$x$ divergent terms are exact up to truncation of the coefficients, as also are the parts of the $\log(1-x)$ terms not involving $(1-x)\log(1-x)$.\\
113:
114: The coefficients of $\delta(1-x)$ in $P_{ns}^+$, $P_{gq}$ and $P_{gg}$ have been modified, and $\delta(1-x)$ contributions added to $P_{qg}$ that should in principle be absent. This, following refs. \cite{Vogt_s,Vogt_ns,Vogtc,Vogtcl}, is to increase the $N$-space accuracy, such that the parameterised functions satisfy the momentum sum rules:
115: \begin{align}
116: \gamma_{qg}^{(2)DIS}(N)+\gamma_{gg}^{(2)DIS}(N)&=0;\label{sum1}\\
117: \gamma_{gq}^{(2)DIS}(N)+\gamma_{qq}^{(2)DIS}(N)&=0,\label{sum2}
118: \end{align}
119: for $N=1$ \footnote{This also implies that the $n_f$ independent part of $P_{gg}^{(2)DIS}$ should vanish, given that $P_{qg}$ has no term at ${\cal O}(n_f^0)$.}. One can also introduce such terms into the longitudinal coefficient functions, by fitting to numerical values of the low integer moments. We choose not to introduce these, however, given the size of these effects (no more than a few parts permille) do not exceed the uncertainty of the parameterisations. We have checked all of our expressions against known numerical moments \cite{Retey}.\\
120:
121: Particularly noteworthy is the singularity structure of the DIS scheme functions as $x\rightarrow 1$. One sees that the singlet quark splitting functions contain plus distributions up to ${\cal D}_2$ \footnote{See Appendix B for the definition of these functions.}, or $\log^3(N)$ in Mellin space. However, $P_{gq}^{(2)\DIS}$ contains more singular terms up to ${\cal D}_4\equiv\log^5(N)$. One can understand this by considering what happens in the $\overline{\text{MS}}$ scheme. There $\log(N)$ terms arise in the coefficients $C_{2q}$ and $C_{2ns}$ as a result of soft gluon emission from the quark probed by the virtual photon. As $x\rightarrow 1$, there is insufficient phase space for the emission of real gluons, and thus an incomplete cancellation between singularities arising from virtual and real emission. The leading logarithms in $N$ exponentiate \cite{exp1, exp2}, and the sub-leading logarithms can also be resummed \cite{Sterman,Kidonakis,Catani_largex,Webber}. Combining the known resummation and fixed order results allows knowledge of the four leading towers of high $N$ logarithms in $C_{2q}$ to all orders in $\alpha_S$ \cite{Vogt_soft}\footnote{This analysis has very recently been extended to include even higher order logarithmic corrections to DIS and Drell-Yan type processes \cite{Vogt_largex}.}. In the DIS scheme there are no such logarithms in the coefficients, as $C_{2q}$ is defined trivially to all orders. Instead the soft gluon resummation effects enter the splitting functions. The leading $\log(N)$ terms in $C_{2ns}^{\overline{\text{MS}}}$ are produced by exponentiating those in $\gamma_{ns}^{\DIS}$. This follows from the $N$-space evolution equation for the non-singlet quark density:
122: \begin{equation}
123: \frac{\partial\tilde{q}_{ns}^{\DIS}}{\partial\log{Q^2}}=\gamma_{ns}^{\DIS}(N)\tilde{q}_{ns}^{\DIS},
124: \label{qns}
125: \end{equation}
126: which is easily solved to give:
127: \begin{align}
128: \tilde{q}_{ns}^{\DIS}(Q^2)&=\tilde{q}_{ns}^{\DIS}(Q_0^2)\exp{\left[\int_{\alpha_S(Q_0^2)}^{\alpha_S(Q^2)}\gamma_{ns}^{\DIS}\frac{d\alpha_S}{\beta(\alpha_S)}\right]}\notag\\
129: &= q_{ns}^{\DIS}(Q_0^2)\exp{\left[\int_{\alpha_S(Q_0^2)}^{\alpha_S(Q^2)}\sum_{n=0}^\infty\sum_{m=0}^\infty\int_{\alpha_S(Q_0^2)}^{\alpha_S(Q^2)} c_{n,m} \beta_m \gamma_{ns}^{(n)\DIS} \alpha_S^{m+n-1}d\alpha_S\right]},
130: \label{qns_soln}
131: \end{align}
132: where the $c_{n,m}$ are coefficients obtained after substituting in the perturbative expansions of the $\beta$ function and anomalous dimension. Performing the integration in the exponent gives:
133: \begin{equation}
134: q_{ns}^{\DIS}(Q^2)=q_{ns}^{\DIS}(Q_0^2)\left[\frac{\alpha_S(Q^2)}{\alpha_S(Q_0^2)}\right]^{-\frac{\gamma_{ns}^{(0)DIS}}{\beta_0}} \exp\left\{-\left(\frac{\gamma_{ns}^{(1)DIS}}{\beta_0}+\frac{\beta_1\gamma_{ns}^{(0)DIS}}{\beta_0^2}\right)\left[\frac{\alpha_S(Q^2)}{4\pi}-\frac{\alpha_S(Q_0^2)}{4\pi}\right]+\ldots\right\},
135: \label{expon}
136: \end{equation}
137: where the ellipsis denotes terms giving rise to sub-leading logarithms. Given that $\gamma_{ns}^{(0)DIS}\sim \log{N}$ and $\gamma_{ns}^{(1)DIS}\sim \log^2(N)$ as $N\rightarrow\infty$, the leading logarithms in the exponent come from the term in $\gamma_{ns}^{(1)}$. The form of the non-singlet structure function in the DIS and $\msbar$ schemes is:
138: \begin{equation}
139: F_{2ns}=q_{ns}^{\DIS}\equiv C_{2ns}^{\msbar} \otimes q_{ns}^{\msbar}.
140: \label{F2ns}
141: \end{equation}
142: Thus from equation (\ref{qns_soln}), ones sees that the leading powers of $\log(N)$ in the $\msbar$ scheme non-singlet coefficient function are generated by exponentiation of those in the DIS scheme NLO anomalous dimension $\gamma^{(1)\DIS}_{ns}$ (the LO anomalous dimension is independent of the factorisation scheme, and thus the prefactor in equation (\ref{expon}) is also found in the $\msbar$ scheme). The next-to-leading $\log(N)$ terms in $C_{ns}^{\msbar}$ are not so straightforward, but are determined by the exponentiation of a mixture of $\gamma_{ns}^{(1)DIS}$ and $\gamma_{ns}^{(2)DIS}$, and so on for the other sub-leading logarithms. A similar argument relates the leading $\log(N)$ terms in $C_{2q}^{\msbar}$ with those in $\gamma_{qq}^{(1)\DIS}$.\\
143:
144: This explains the absence of more singular logarithms $\sim\log^4(N)$ in the DIS scheme $\gamma_{qq}^{(2)}$, as the highest power of $\log(N)$ is limited by the fact that it cannot exceed the power obtained by exponentiation of the leading log term in $\gamma_{qq}^{(1)\DIS}$. Looking at equation (\ref{transqq}), the transformation terms in $P_{qq}^{(2)\overline{\text{MS}}}\rightarrow P_{qq}^{(2)\DIS}$ involve the combination $\beta_0 C_{2q}^{(1)\msbar}\otimes C_{2q}^{(1)\msbar} - 2\beta_0 C_{2q}^{(2)\msbar}$. Thus $\log^4(N)$ terms in $\tilde{C}_{2q}^{(2)\msbar}$ are cancelled by the combination $[\tilde{C}_{2q}^{(1)\msbar}]^2/2!$ due to the exponential structure of the leading logs in the coefficient function. \\
145:
146: The ${\cal D}_4$ term in $P_{gq}^{(2)\DIS}$ corresponds to a next to leading high $x$ divergence in $C_{2q}^{\msbar}$ ($\sim \alpha_S^3\log^5(N)$ in Mellin space), arising from the terms in equation (\ref{transgq}):\\
147: \begin{align}
148: \left[P_{gq}^{(2)DIS}\right]_{{\cal D}_4}&=\left[-C_{2q}^{(2)\msbar}\otimes P_{qq}^{(0)\msbar} + C_{2q}^{(0)\msbar}\otimes P_{gg}^{(0)\msbar}+C_{2q}^{(1)\msbar}\otimes P_{qq}^{(0)\msbar}\otimes C_{2q}^{(1)\msbar}\right.\notag\\
149: &\left.-C_{2q}^{(1)\msbar}\otimes P_{gg}^{(0)\msbar}\otimes C_{2q}^{(1)\msbar}\right]_{{\cal D}_4}.
150: \label{d4}
151: \end{align}
152:
153: The small $x$ limit of $P_{qg}^{(2)\DIS}$ will be discussed in section 3 of this paper. Looking at the other splitting functions, one may verify the LL relations \cite{Catani}:
154: \begin{eqnarray}
155: P_{gq}=\frac{C_F}{C_A}P_{gg}, & P_{qq}=\frac{C_F}{C_A}\left[P_{qg}-\frac{\alpha_S}{2\pi}T_R\frac{2}{3}\right],
156: \end{eqnarray}
157: where $C_A=3$, $C_F=4/3$ are the QCD Casimir invariants and $T_R=1/2$. These relations are also true at LL order in the $\msbar$ scheme.\\
158:
159: The non-singlet and singlet splitting functions are plotted in figures \ref{non-singlet} and \ref{singlet} respectively. The singlet functions have been multiplied by $x$ to alleviate the small $x$ divergence.
160: \begin{figure}
161: \begin{center}
162: \scalebox{0.8}{\includegraphics{pns_paw.ps}}
163: \caption{The non-singlet splitting functions in the DIS (solid) and $\msbar$ schemes (dashed), for $n_f=4$.}
164: \label{non-singlet}
165: \end{center}
166: \end{figure}
167: \begin{figure}
168: \begin{center}
169: \scalebox{0.8}{\includegraphics{ps_paw.ps}}
170: \caption{The singlet splitting functions in the DIS (solid) and $\msbar$ schemes (dashed), multiplied by $x$ due to the divergence at small $x$.}
171: \label{singlet}
172: \end{center}
173: \end{figure}
174: Aside from the differences at high $x$ discussed above, one sees that the DIS scheme functions are more divergent at small $x$. This is analogous to the high $x$ behaviour - in changing schemes one transfers divergences from the quark singlet coefficient to the splitting functions. Note also the qualitatively different structures at intermediate $x$ in the two schemes. Each of the singlet splitting functions develops an extra turning point in the DIS scheme.\\
175:
176: The NNLO $P_{qg}$ develops a negative dip in the DIS scheme at intermediate $x$, before increasing again as $x\rightarrow 0$. Together with the large negative dip at high $x$ this gives a negative result at intermediate $x$ when convolved with a model gluon distribution which is more singular than the splitting function. We return to this feature in section 3. In fact, the qualitative structure of the DIS scheme splitting function can be reproduced from the truncated transformation:
177: \begin{equation}
178: P_{qg}^{(2)\DIS}\sim P_{qg}^{(2)\msbar}+C_{2g}^{(2)\msbar}\otimes P_{gg}^{(0)\msbar}-2\beta_0 C_{2g}^{(2)\msbar}.
179: \label{trunctrans}
180: \end{equation}
181:
182: The longitudinal quark and gluon coefficient functions are shown in figures \ref{quark} and \ref{gluon}.
183: \begin{figure}
184: \begin{center}
185: \scalebox{0.8}{\includegraphics{clq_paw.ps}}
186: \caption{The longitudinal quark coefficient functions in the DIS (solid) and $\msbar$ schemes (dashed), for $n_f=4$. The pure singlet coefficient has been multiplied by $x$.}
187: \label{quark}
188: \end{center}
189: \end{figure}
190: \begin{figure}
191: \begin{center}
192: \scalebox{0.8}{\includegraphics{clg_paw.ps}}
193: \caption{The longitudinal gluon coefficient function in the DIS (solid) and $\msbar$ schemes (dashed) with $n_f=4$, multiplied by $x$ due to the divergence at small $x$.}
194: \label{gluon}
195: \end{center}
196: \end{figure}
197: The two gluon coefficients are extremely similar. The pure singlet and gluon coefficients share the same small $x$ limit, as the LL coefficients are the same in both schemes. There is, however, an extra turning point in the DIS scheme pure singlet function at higher $x$. Also of note is the negativity of the non-singlet coefficient at small $x$, a property also shared by the NLO result such that the complete non-singlet coefficient is negative at small $x$. However, it is not divergent as $x\rightarrow 0$ so that convolution with a suitable non-singlet test function does not give a negative non-singlet structure function (see figure \ref{flns}).\\
198: \begin{figure}
199: \begin{center}
200: \scalebox{0.8}{\includegraphics{convol_paw.ps}}
201: \caption{$C_{Lns}^{+\DIS}$ to ${\cal O}(\alpha_S^3)$ convolved with $q_{ns}=x^{-0.5}(1-x)^3$ (note an additional factor of $x$ is not included). Despite the negative sign of the coefficient at low $x$, the structure function $F_{Lns}\sim xC_{Lns}\otimes q_{ns}$ is positive.}
202: \label{flns}
203: \end{center}
204: \end{figure}
205:
206: We now compare the DIS scheme quark-gluon anomalous dimension and longitudinal gluon coefficient with the corresponding results derived from exact gluon kinematics.
207: