7
$\begingroup$

The multiple zeta function of depth three has a following integral representation: \begin{eqnarray} \zeta(t^{-1},p,q,r) &:=& \sum\limits_{m_1 > m_2 > m_3 > 0} \frac{t^{m_1}}{m_1^p} \frac{1}{m_2^q} \frac{1}{m_3^r} \\ &=& \int\limits_0^t \frac{[\log(t/\xi)]^{p-1}}{(p-1)!} \int\limits_0^{\xi} \frac{[\log(\xi/\xi_1)]^{q-1}}{(q-1)!} \cdot \frac{Li_r(\xi_1)}{1-\xi_1} d\xi_1 \frac{1}{1-\xi} d\xi \end{eqnarray} By using the formula above we calculated the following list of values at plus unity for weights from four to six. We have: \begin{eqnarray} \zeta(2,1,1) &=& \zeta(4)\\ \hline\\ \zeta(3,1,1) &=& - \zeta(2) \zeta(3) + 2 \zeta(5)\\ \zeta(2,2,1) &=& + 3\zeta(2) \zeta(3) -\frac{11}{2} \zeta(5)\\ \zeta(2,1,2) &=& - 2\zeta(2) \zeta(3) + \frac{9}{2} \zeta(5)\\ \hline \\ \zeta(4,1,1) &=& - \zeta(3)^2 + \frac{23}{16} \zeta(6)\\ \zeta(3,2,1) &=& +3 \zeta(3)^2 - \frac{203}{48} \zeta(6)\\ \zeta(3,1,2) &=& -\frac{3}{2} \zeta(3)^2 + \frac{53}{24} \zeta(6)\\ \zeta(2,3,1) &=& -\frac{3}{2} \zeta(3)^2 + \frac{53}{24} \zeta(6)\\ \zeta(2,2,2) &=& \frac{3}{16} \zeta(6) \\ \zeta(2,1,3) &=& + \zeta(3)^2 - \frac{13}{16} \zeta(6)\\ \hline \zeta(5,1,1)&=&-\frac{5}{4} \zeta(3) \zeta(4)-2 \zeta(2)\zeta(5) +5 \zeta(7)\\ \zeta(4,2,1)&=&+\frac{-236 \zeta(3) \zeta(2)^2+28776 \zeta(5) \zeta(2)+18902 \zeta(3) \zeta(4)-72267 \zeta(7)}{5232}\\ \zeta(4,1,2)&=&-\frac{451}{327} \zeta(3) \zeta(2)^2+\frac{5}{2} \zeta(5) \zeta(2)-\frac{395 \zeta(3) \zeta(4)}{1308}+\frac{5 \zeta(7)}{8}\\ \zeta(3,3,1)&=&-\frac{77}{109} \zeta(3)\zeta(2)^2-\frac{9}{2} \zeta(5) \zeta(2)+\frac{385}{218} \zeta(3) \zeta(4)+\frac{61 \zeta(7)}{8}\\ \zeta(3,2,2)&=&+\frac{15908 \zeta(3) \zeta(2)^2-39240 \zeta(5) \zeta(2)-27998 \zeta(3) \zeta(4)+51339 \zeta(7)}{5232}\\ \zeta(3,1,3)&=&+\frac{1600 \zeta(3) \zeta(2)^2-3673 \zeta(3) \zeta(4)-327\zeta(7)}{1308}\\ \zeta(2,4,1)&=&+\frac{59 \zeta(3) \zeta(2)^2}{1308}+5 \zeta(5) \zeta(2)-\frac{3565 \zeta(3) \zeta(4)}{2616}-\frac{109 \zeta(7)}{16}\\ \zeta(2,3,2)&=&-\frac{1519}{654} \zeta(3) \zeta(2)^2-\frac{11}{2} \zeta(5) \zeta(2)+\frac{7595 \zeta(3) \zeta(4)}{1308}+\frac{75 \zeta(7)}{8}\\ \zeta(2,2,3)&=&+\frac{844 \zeta(3) \zeta(2)^2+62784 \zeta(5) \zeta(2)-9958 \zeta(3) \zeta(4)-95157 \zeta(7)}{5232}\\ \zeta(2,1,4)&=&+\frac{1}{8} (14 \zeta(3) \zeta(4)-44 \zeta(2) \zeta(5)+61 \zeta(7))\\ \hline\\ \zeta(6,1,1)&=&+\frac{1}{2} \zeta (3)^2 \zeta(2)-3 \zeta (3) \zeta (5)+\frac{61 \zeta(8)}{24}\\ \zeta(5,2,1)&=&+\frac{7}{4} \zeta(6,2)-\zeta (3)^2 \zeta(2)+\frac{7 \zeta (3) \zeta (5)}{2}-\frac{289\zeta(8)}{144}\\ \zeta(5,1,2)&=&-\zeta(6,2)-\frac{3}{2} \zeta (3)^2 \zeta(2)+\frac{9 \zeta (3) \zeta (5)}{2}-\frac{145 \zeta(8)}{72}\\ \zeta(4,3,1)&=&-\frac{25}{4} \zeta(6,2)+\frac{1}{2} \zeta (3)^2\zeta(2)+\frac{21 \zeta (3) \zeta (5)}{2}-\frac{677 \zeta(8)}{48}\\ \zeta(4,2,2)&=&+\frac{9}{2} \zeta(6,2)+3 \zeta (3)^2 \zeta(2)-20 \zeta (3) \zeta (5)+\frac{1271\zeta(8)}{72}\\ \zeta(4,1,3)&=&+\frac{5}{2} \zeta(6,2)+\frac{1}{2} \zeta (3)^2 \zeta(2)-\frac{15 \zeta (3) \zeta (5)}{2}+\frac{583 \zeta(8)}{72}\\ \zeta(3,4,1)&=&+\frac{15}{4} \zeta(6,2)-2 \zeta (3)^2\zeta(2)+\frac{673 \zeta(8)}{144}\\ \zeta(3,3,2)&=&+\frac{13}{4} \zeta(6,2)+\frac{9}{2} \zeta (3)^2 \zeta(2)-23 \zeta (3) \zeta (5)+\frac{857 \zeta(8)}{48}\\ \zeta(3,2,3)&=&-10 \zeta(6,2)-6\zeta (3)^2 \zeta(2)+\frac{89 \zeta (3) \zeta (5)}{2}-\frac{245 \zeta(8)}{6}\\ \zeta(3,1,4)&=&+\frac{3}{2} \zeta (3)^2 \zeta(2)-\frac{11 \zeta (3) \zeta (5)}{2}+\frac{241\zeta(8)}{72}\\ \zeta(2,5,1)&=&+\frac{7}{4} \zeta(6,2)+2 \zeta (3)^2 \zeta(2)-12 \zeta (3) \zeta (5)+\frac{487 \zeta(8)}{48}\\ \zeta(2,4,2)&=&-10 \zeta(6,2)-5 \zeta (3)^2 \zeta(2)+40 \zeta (3)\zeta (5)-\frac{677 \zeta(8)}{18}\\ \zeta(2,3,3)&=&+\frac{27}{4} \zeta(6,2)+2 \zeta (3)^2 \zeta(2)-\frac{45 \zeta (3) \zeta (5)}{2}+\frac{1111 \zeta(8)}{48}\\ \zeta(2,2,4)&=&+\frac{11}{2} \zeta(6,2)+2\zeta (3)^2 \zeta(2)-20 \zeta (3) \zeta (5)+\frac{121 \zeta(8)}{6}\\ \zeta(2,1,5)&=&-\frac{5}{2} \zeta(6,2)-\zeta (3)^2 \zeta(2)+\frac{21 \zeta (3) \zeta (5)}{2}-\frac{181 \zeta(8)}{18}\\ \hline\\ \zeta(7,1,1)&=&-3 \zeta (7) \zeta(2)-\frac{9}{4} \zeta (5) \zeta(4)-\frac{7}{4} \zeta (3) \zeta(6)+\frac{28 \zeta (9)}{3}+\frac{\zeta (3)^3}{6}\\ \zeta(6,2,1)&=&+11 \zeta (7) \zeta(2)+\frac{13}{2} \zeta(5) \zeta(4)+\frac{9}{2} \zeta (3) \zeta(6)-\frac{2189 \zeta (9)}{72}-\frac{\zeta (3)^3}{3}\\ \zeta(6,1,2)&=&+7 \zeta (7) \zeta(2)-\frac{1}{4} \zeta (5) \zeta(4)-\frac{5}{3} \zeta (3)\zeta(6)-\frac{313 \zeta (9)}{36}-\frac{\zeta (3)^3}{3}\\ \zeta(5,3,1)&=&-17 \zeta (7) \zeta(2)-\frac{23}{4} \zeta (5) \zeta(4)-\frac{3}{4} \zeta (3) \zeta(6)+\frac{845 \zeta (9)}{24}+\frac{\zeta(3)^3}{6}\\ \zeta(5,2,2)&=&-21 \zeta (7) \zeta(2)+\frac{7}{4} \zeta (5) \zeta(4)-\frac{8}{3} \zeta (3) \zeta(6)+\frac{2513 \zeta (9)}{72}+\frac{2 \zeta (3)^3}{3}\\ \zeta(5,1,3)&=&-7 \zeta (7)\zeta(2)+\frac{1}{2} \zeta (5) \zeta(4)+\frac{5}{4} \zeta (3) \zeta(6)+\frac{121 \zeta (9)}{12}-\frac{\zeta (3)^3}{3}\\ \zeta(4,4,1)&=&+18 \zeta (7) \zeta(2)+5 \zeta (5) \zeta(4)+\frac{4}{3}\zeta (3) \zeta(6)-\frac{328 \zeta (9)}{9}-\frac{\zeta (3)^3}{3}\\ \zeta(4,3,2)&=&+14 \zeta (7) \zeta(2)-\frac{35}{2} \zeta (5) \zeta(4)-\frac{8}{3} \zeta (3) \zeta(6)-\frac{53 \zeta (9)}{36}+\frac{2\zeta (3)^3}{3}\\ \zeta(4,2,3)&=&+28 \zeta (7) \zeta(2)+10 \zeta (5) \zeta(4)+\frac{5}{3} \zeta (3) \zeta(6)-59 \zeta (9)-\frac{\zeta (3)^3}{3}\\ \zeta(4,1,4)&=&-3 \zeta (5) \zeta(4)-\frac{41}{12} \zeta (3)\zeta(6)+\frac{115 \zeta (9)}{18}+\frac{2 \zeta (3)^3}{3}\\ \zeta(3,5,1)&=&-10 \zeta (7) \zeta(2)+\frac{5}{4} \zeta (5) \zeta(4)+\frac{5}{4} \zeta (3) \zeta(6)+\frac{341 \zeta (9)}{24}-\frac{\zeta(3)^3}{3}\\ \zeta(3,4,2)&=&-14 \zeta (7) \zeta(2)+\frac{15}{2} \zeta (5) \zeta(4)-\frac{7}{3} \zeta (3) \zeta(6)+\frac{593 \zeta (9)}{36}+\frac{2 \zeta (3)^3}{3}\\ \zeta(3,3,3)&=&-\frac{1}{2} \zeta (3)\zeta(6)+\frac{\zeta (9)}{3}+\frac{\zeta (3)^3}{6}\\ \zeta(3,2,4)&=&-28 \zeta (7) \zeta(2)-\frac{11}{2} \zeta (5) \zeta(4)+\frac{29}{4} \zeta (3) \zeta(6)+46 \zeta (9)-\frac{4 \zeta(3)^3}{3}\\ \zeta(3,1,5)&=&+7 \zeta (7) \zeta(2)-\frac{1}{4} \zeta (5) \zeta(4)-\frac{1}{2} \zeta (3) \zeta(6)-\frac{131 \zeta (9)}{12}+\frac{\zeta (3)^3}{6}\\ \zeta(2,6,1)&=&+7 \zeta (7) \zeta(2)-\frac{7}{4}\zeta (5) \zeta(4)-\frac{43}{12} \zeta (3) \zeta(6)-\frac{461 \zeta (9)}{72}+\frac{2 \zeta (3)^3}{3}\\ \zeta(2,5,2)&=&-11 \zeta (7) \zeta(2)+\frac{41}{6} \zeta (3) \zeta(6)+\frac{439 \zeta(9)}{36}-\frac{4 \zeta (3)^3}{3}\\ \zeta(2,4,3)&=&+31 \zeta (7) \zeta(2)-\frac{15}{2} \zeta (5) \zeta(4)+\zeta (3) \zeta(6)-\frac{1567 \zeta (9)}{36}-\frac{\zeta (3)^3}{3}\\ \zeta(2,3,4)&=&-32 \zeta (7)\zeta(2)+12 \zeta (5) \zeta(4)-\frac{25}{6} \zeta (3) \zeta(6)+\frac{1567 \zeta (9)}{36}+\frac{2 \zeta (3)^3}{3}\\ \zeta(2,2,5)&=&+31 \zeta (7) \zeta(2)-\zeta (5) \zeta(4)-\frac{25}{6} \zeta (3)\zeta(6)-\frac{3319 \zeta (9)}{72}+\frac{2 \zeta (3)^3}{3}\\ \zeta(2,1,6)&=&-11 \zeta (7) \zeta(2)+\frac{1}{4} \zeta (5) \zeta(4)+\frac{37}{12} \zeta (3) \zeta(6)+\frac{551 \zeta (9)}{36}-\frac{\zeta(3)^3}{3}\\ \hline\\ \zeta(8,1,1)&=&+\zeta (3) \zeta (5) \zeta(2)+\frac{1}{2} \zeta (3)^2 \zeta(4)+\frac{333 \zeta(10)}{80}-4 \zeta (3) \zeta (7)-2 \zeta (5)^2\\ \zeta(7,2,1)&=&-\zeta (3)^2 \zeta(4)-\frac{377\zeta(10)}{60}-\zeta(2) \zeta(6,2)+\frac{9}{4} \zeta(8,2)+\frac{9 \zeta (3) \zeta (7)}{2}+\frac{9 \zeta (5)^2}{4}\\ \zeta(7,1,2)&=&-7 \zeta (3) \zeta (5) \zeta(2)-\zeta (3)^2\zeta(4)-\frac{77 \zeta(10)}{48}+\zeta(2) \zeta(6,2)-\zeta(8,2)+10 \zeta (3) \zeta (7)+5 \zeta (5)^2\\ \zeta(6,3,1)&=&-4 \zeta (3) \zeta (5) \zeta(2)+\frac{1}{2} \zeta (3)^2\zeta(4)-\frac{3219 \zeta(10)}{160}+\frac{5}{2} \zeta(2) \zeta(6,2)-\frac{35}{4} \zeta(8,2)+\frac{29 \zeta (3) \zeta (7)}{2}+\frac{37 \zeta (5)^2}{4}\\ \zeta(6,2,2)&=&+8 \zeta (3) \zeta (5)\zeta(2)+2 \zeta (3)^2 \zeta(4)+\frac{539 \zeta(10)}{16}+\zeta(2) \zeta(6,2)+3 \zeta(8,2)-28 \zeta (3) \zeta (7)-18 \zeta (5)^2\\ \zeta(6,1,3)&=&+16 \zeta (3) \zeta (5)\zeta(2)-\frac{1}{2} \zeta (3)^2 \zeta(4)+\frac{511 \zeta(10)}{160}-\frac{7}{2} \zeta(2) \zeta(6,2)+\frac{7}{2} \zeta(8,2)-21 \zeta (3) \zeta (7)-9 \zeta (5)^2\\ \zeta(5,4,1)&=&-5 \zeta(3) \zeta (5) \zeta(2)-\zeta (3)^2 \zeta(4)+\frac{9209 \zeta(10)}{240}+\frac{21}{2} \zeta(8,2)-10 \zeta (3) \zeta (7)-\frac{27 \zeta (5)^2}{2}\\ \zeta(5,3,2)&=&+35 \zeta (3) \zeta (5) \zeta(2)+2\zeta (3)^2 \zeta(4)-\frac{5683 \zeta(10)}{160}-\frac{25}{2} \zeta(2) \zeta(6,2)+\frac{19}{4} \zeta(8,2)-\frac{63 \zeta (3) \zeta (7)}{2}-\frac{3 \zeta (5)^2}{4}\\ \zeta(5,2,3)&=&-50 \zeta (3)\zeta (5) \zeta(2)-2 \zeta (3)^2 \zeta(4)-\frac{719 \zeta(10)}{20}+10 \zeta(2) \zeta(6,2)-\frac{49}{4} \zeta(8,2)+\frac{161 \zeta (3) \zeta (7)}{2}+\frac{163 \zeta(5)^2}{4}\\ \zeta(5,1,4)&=&-10 \zeta (3) \zeta (5) \zeta(2)+\frac{1}{2} \zeta (3)^2 \zeta(4)-\frac{1027 \zeta(10)}{480}+\frac{5}{2} \zeta(2) \zeta(6,2)-\frac{7}{2} \zeta(8,2)+14 \zeta (3)\zeta (7)+\frac{9 \zeta (5)^2}{2}\\ \zeta(4,5,1)&=&+15 \zeta (3) \zeta (5) \zeta(2)-\frac{1173 \zeta(10)}{32}-\frac{5}{2} \zeta(2) \zeta(6,2)-7 \zeta(8,2)-3 \zeta (3) \zeta (7)+9 \zeta(5)^2\\ \zeta(4,4,2)&=&-40 \zeta (3) \zeta (5) \zeta(2)+\frac{249 \zeta(10)}{40}+10 \zeta(2) \zeta(6,2)-\frac{15}{2} \zeta(8,2)+49 \zeta (3) \zeta (7)+15 \zeta (5)^2\\ \zeta(4,3,3)&=&-20 \zeta (3) \zeta(5) \zeta(2)+\frac{3233 \zeta(10)}{40}+10 \zeta(2) \zeta(6,2)+\frac{7}{2} \zeta(8,2)-7 \zeta (3) \zeta (7)-\frac{59 \zeta (5)^2}{2}\\ \zeta(4,2,4)&=&+80 \zeta (3) \zeta (5) \zeta(2)+\zeta(3)^2 \zeta(4)-\frac{\zeta(10)}{6}-20 \zeta(2) \zeta(6,2)+\frac{35}{2} \zeta(8,2)-105 \zeta (3) \zeta (7)-35 \zeta (5)^2\\ \zeta(4,1,5)&=&-11 \zeta (3) \zeta (5) \zeta(2)+\zeta (3)^2\zeta(4)+\frac{4937 \zeta(10)}{480}+\frac{5}{2} \zeta(2) \zeta(6,2)+7 \zeta (3) \zeta (7)+2 \zeta (5)^2\\ \zeta(3,6,1)&=&-13 \zeta (3) \zeta (5) \zeta(2)-\zeta (3)^2 \zeta(4)+\frac{53\zeta(10)}{40}+\zeta(2) \zeta(6,2)+\frac{7}{4} \zeta(8,2)+\frac{35 \zeta (3) \zeta (7)}{2}+\frac{21 \zeta (5)^2}{4}\\ \zeta(3,5,2)&=&+20 \zeta (3) \zeta (5) \zeta(2)+2 \zeta (3)^2\zeta(4)+\frac{2303 \zeta(10)}{32}+\frac{5}{2} \zeta(2) \zeta(6,2)+\frac{13}{2} \zeta(8,2)-60 \zeta (3) \zeta (7)-\frac{81 \zeta (5)^2}{2}\\ \zeta(3,4,3)&=&+30 \zeta (3) \zeta (5)\zeta(2)-\frac{2703 \zeta(10)}{20}-20 \zeta(2) \zeta(6,2)+17 \zeta (3) \zeta (7)+50 \zeta (5)^2\\ \zeta(3,3,4)&=&-10 \zeta (3) \zeta (5) \zeta(2)+\frac{1}{2} \zeta (3)^2\zeta(4)+\frac{2191 \zeta(10)}{40}+10 \zeta(2) \zeta(6,2)-\frac{7}{2} \zeta(8,2)-11 \zeta (3) \zeta (7)-\frac{41 \zeta (5)^2}{2}\\ \zeta(3,2,5)&=&-52 \zeta (3) \zeta (5) \zeta(2)-4 \zeta(3)^2 \zeta(4)-\frac{241 \zeta(10)}{5}+10 \zeta(2) \zeta(6,2)-\frac{63}{4} \zeta(8,2)+\frac{195 \zeta (3) \zeta (7)}{2}+\frac{159 \zeta (5)^2}{4}\\ \zeta(3,1,6)&=&+17 \zeta (3) \zeta (5)\zeta(2)+\frac{1}{2} \zeta (3)^2 \zeta(4)+\frac{891 \zeta(10)}{160}-\frac{7}{2} \zeta(2) \zeta(6,2)+\frac{7}{2} \zeta(8,2)-25 \zeta (3) \zeta (7)-10 \zeta (5)^2\\ \zeta(2,7,1)&=&+6 \zeta(3) \zeta (5) \zeta(2)+2 \zeta (3)^2 \zeta(4)+\frac{419 \zeta(10)}{20}+\frac{9}{4} \zeta(8,2)-\frac{41 \zeta (3) \zeta (7)}{2}-\frac{43 \zeta (5)^2}{4}\\ \zeta(2,6,2)&=&-16 \zeta (3) \zeta (5)\zeta(2)-4 \zeta (3)^2 \zeta(4)-\frac{3249 \zeta(10)}{40}-\zeta(2) \zeta(6,2)-\frac{21}{2} \zeta(8,2)+63 \zeta (3) \zeta (7)+41 \zeta (5)^2\\ \zeta(2,5,3)&=&+20 \zeta (3) \zeta (5)\zeta(2)+\frac{5969 \zeta(10)}{80}+11 \zeta(8,2)-56 \zeta (3) \zeta (7)-\frac{89 \zeta (5)^2}{2}\\ \zeta(2,4,4)&=&-40 \zeta (3) \zeta (5) \zeta(2)-\zeta (3)^2 \zeta(4)-\frac{289\zeta(10)}{48}+10 \zeta(2) \zeta(6,2)-10 \zeta(8,2)+56 \zeta (3) \zeta (7)+20 \zeta (5)^2\\ \zeta(2,3,5)&=&+28 \zeta (3) \zeta (5) \zeta(2)+2 \zeta (3)^2 \zeta(4)-\frac{425\zeta(10)}{16}-10 \zeta(2) \zeta(6,2)+\frac{23}{4} \zeta(8,2)-\frac{63 \zeta (3) \zeta (7)}{2}+\frac{17 \zeta (5)^2}{4}\\ \zeta(2,2,6)&=&+8 \zeta (3) \zeta (5) \zeta(2)+2 \zeta (3)^2\zeta(4)+\frac{3817 \zeta(10)}{80}+\frac{15}{2} \zeta(8,2)-35 \zeta (3) \zeta (7)-23 \zeta (5)^2\\ \zeta(2,1,7)&=&-6 \zeta (3) \zeta (5) \zeta(2)-\zeta (3)^2 \zeta(4)-\frac{256\zeta(10)}{15}+\zeta(2) \zeta(6,2)-\frac{7}{2} \zeta(8,2)+18 \zeta (3) \zeta (7)+9 \zeta (5)^2\\ \hline\\ \end{eqnarray} For each weight it turns out that it is pretty easy to calculate the quantity on the very top and that the complexity increases as we move from the top to the bottom. Now my question is are all multiple zeta values defined above reduce-able to single zeta values and if not what is the lowest weight when this is not the case. Another question is can we establish recurrence relations (just as we did in Calculating alternating Euler sums of odd powers for the respective quantities of depth two ) between those values and solve them for any given weight.

$\endgroup$
2
$\begingroup$

This is not going to be a full answer but a starting point that will eventually lead to establishing recurrence relations for the quantities in question. Let us define: \begin{eqnarray} {\mathfrak F}^{(p,q,r)}_\xi &:=& (-1)^q \sum\limits_{l=p+1}^{q+p+1} \binom{q}{l-p-1} (l-1)! Li_{r+l}(1) [\log(\xi)]^{q+p+1-l}+\\ &&(-1)^p \sum\limits_{l=q+1}^{q+p+1} \binom{p}{l-q-1} (-1)^l (l-1)! Li_{r+l}(\xi) [\log(\xi)]^{q+p+1-l} \end{eqnarray} and $\theta_j := (j+r) \% 2$.

Now, by using An integral involving product of poly-logarithms and a power of a logarithm. we expressed the Multiple Zeta Values (MZVs) as follows. \begin{eqnarray} \zeta(p,q,r)&=& \sum\limits_{j=q}^{\lfloor \frac{q-1+r}{2} \rfloor} (-1)^{j-q} \binom{j-1}{q-1} \int\limits_0^1 \frac{[\log(1/\xi)]^{p-1}}{(p-1)!} \cdot \frac{Li_j(\xi) Li_{r+q-j}(\xi) Li_0(\xi)}{\xi} d\xi+\\ && \sum\limits_{j=0}^{q-1}(-1)^{\lfloor\frac{j+r}{2}\rfloor-j} \binom{\lfloor\frac{j+r-1}{2}\rfloor}{j}\frac{1}{2^{\theta_j}} \frac{1}{(p-1)!(q-1-j-\theta_j)!} \int\limits_0^1 {\mathfrak F}^{(p-1,q-1-j-\theta_j,0)}_\xi \cdot \frac{[Li_{\theta_j+\lfloor \frac{j+r}{2} \rfloor}(\xi)]^2}{\xi} d\xi \end{eqnarray}

Note 1: Let $q=r=1$ and $p\ge 2$. Then the only term that survives in the right hand side above is the $(j=0)$ term in the second sum. Then we have: \begin{eqnarray} &&\zeta(p,1,1) = \frac{(-1)^{p-1}}{2(p-1)!} \int\limits_0^1 \frac{Li_0(\xi)}{\xi} [\log(\xi)]^{p-1} [Li_1(\xi)]^2 d\xi\\ &&= \frac{(-1)^{p-1}}{2 (p-1)!} \int\limits_0^1 \frac{[\log(1-\xi)]^{p-1} [\log(\xi)]^2}{\xi} d\xi\\ &&=\frac{(-1)^{p-1}}{2 (p-1)!}\left[ -\frac{1}{3} \Psi^{(p+1)}(1) + \frac{1}{2} \sum\limits_{j=1}^{p-2} \binom{p-1}{j} \left\{ \Psi^{(j+1)}(1) \Psi^{(p-1-j)}(1) + \Psi^{(j)}(1) \Psi^{(p-j)}(1)\right\} -\frac{1}{3} \sum\limits_{1 \le j < j_1 \le p-2} \binom{p-1}{j,j_1-j,p-1-j_1} \Psi^{(j)}(1) \Psi^{(j_1-j)}(1) \Psi^{(p-1-j_1)}(1)\right]\\ &&=\left\{\zeta(4),2 \zeta (5)-\zeta (3) \zeta(2),\frac{23 \zeta(6)}{16}-\zeta (3)^2,-2 \zeta (5) \zeta(2)-\frac{5}{4} \zeta (3) \zeta(4)+5 \zeta (7),\cdots\right\} \end{eqnarray} Now let us take $p \leftarrow p-1$, $q=2$ and $r=1$. The again the only term which survives in the right hand side is the $(j=0)$ term in the second sum. Then we have: \begin{eqnarray} &&\zeta(p-1,2,1) =\\ && \frac{1}{2(p-1)!} \int\limits_0^1 {\mathfrak F}^{(p-2,0,0)}_\xi \cdot \frac{[Li_1(\xi)]^2}{\xi} d\xi\\ &&= \zeta(3) \zeta(p-1) - \frac{1}{2} \sum\limits_{l=1}^{p-1} \int\limits_0^1 \frac{[Li_1(\xi)]^2}{\xi} Li_l(\xi) \cdot \frac{[\log(1/\xi)]^{p-1-l}}{(p-1-l)!}d\xi\\ &&= \zeta(3) \zeta(p-1) - \frac{1}{2} \sum\limits_{l=1}^{p-1} \\ && \left( \sum\limits_{l_1=2}^l \binom{p-1-l_1}{p-1-l} (-1)^{l-l_1} \zeta(p-l_1+1,1) \zeta(l_1) + \sum\limits_{l_1=2}^{p-l} \binom{p-1-l_1}{l-1} (-1)^l \zeta(p-l_1+1,1) \zeta(l_1) + \sum\limits_{l_1=1}^{p-l} \left\{ \zeta(p-l_1+1,l_1,1)+\zeta(p-l_1+1,1,l_1)+\zeta(p-l_1+1,l_1+1)+\zeta(p+1,1)\right\} \right) \end{eqnarray} for $p\ge 3$. By simplifying we get the following identity: \begin{eqnarray} \zeta(2,1,p) + \zeta(2,p,1)+\zeta(p,2,1) = \zeta(3) \zeta(p) - \zeta(2,p+1)-\zeta(p+2,1) \end{eqnarray} for $p \ge 2$.

Now let us take $p\leftarrow p-1$, $q=1$ and $r=2$. We encounter an integral with three poly-logarithms in it. That integrals has been evaluated in my answer to Generating function for cubes of Harmonic numbers I . Taking this into account and simplifying the result we get the following identity: \begin{eqnarray} 2 \zeta(2,1,p) + \zeta(2,p,1) - \sum\limits_{j=2}^p \zeta(j,p-j+1,2) \cdot(1_{j<p} + 2 \cdot 1_{j=p})=\\ \zeta(p+3) + 2 \zeta(3) \zeta(p)-\zeta(2) \zeta(p+1) - \zeta(2) \zeta(p,1)-\zeta(2,p+1) - \zeta(p+2,1) \end{eqnarray} valid for $p\ge 2$.

Finally let us take $p \leftarrow p-2$, $q=3$ and $r=1$. Then only the $(j=0)$ term in the second sum survives. The only non-trivial integral we come across is the one that contains a square of a polylog of order one, another polylog and a power of a log. That integral has been calculated in my answer to Generating function for cubes of Harmonic numbers I .By simplifying everything we end up with the following identity: \begin{eqnarray} &&2 \zeta(p-2,3,1)+\sum\limits_{l=2}^{p-1} \sum\limits_{j=1}^l \sum\limits_{i=1}^{p-1-l}(l-1) A_{l,j} \zeta(p+1-l-i,i+j,l+1-j)=\\ &&\sum\limits_{l=1}^{p-1} \sum\limits_{j=1}^l(l-1)A_{l,j} \cdot \\ &&\left( \zeta(p-l+j+1,l+1-j)+\zeta(p-l+j,l+2-j)+\zeta(p-l+j,l+1-j,1)+\zeta(p-l+j,1,l+1-j)\right) +\\ &&-2(p-2) \zeta(3) \zeta(p-1)-(\zeta(2)^2-3 \zeta(4))\zeta(p-2) \end{eqnarray} where $A_{l,j} :=(1_{l<j}+2 \cdot 1_{l=j})$. Here $p\ge 4$.

Note 2: In the generic case of arbitrary $p$, $q$ and $r$ there are only two types of integrals that we are dealing with firstly an integral that involves a square of a polylogarithm and a power of a log and secondly an integral that involves products of three polylogarithms and a power of a log. From An integral involving product of poly-logarithms and a power of a logarithm. we know that the first type of integral always reduces to single zeta values and to bi-variate zeta values (where the later in many cases reduce to single zeta values as well). The second type of integral is more complicated however we conjecture that it also always reduces to single, bi-variate and to triple-variate zeta values all of which have the same weight. As such we will obtain a system of linear equations for all triple-zeta values of a given weight. We will derive those equations and solve them asap.

$\endgroup$
  • $\begingroup$ When weight=11 and 12, the multiple zeta values of depth three can be obtained? $\endgroup$ – xuce1234 Jul 2 '17 at 2:59

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.