polylogarithm(level2)Chapter0

# Polylogarithm tutorial(level 2)

display of integral

$\text{Theorom 1}$
$${\int }_0^1\frac{\ln (1-x){\ln }^{2}x{\ln }^2(1+x)}{x}\mathrm{d}x=\frac{{\pi }^2}{12}{\ln }^{4}2-\frac{{\pi }^4}{12}{\ln }^{2}2+2{\pi }^2{\mathrm{L}\mathrm{i}}_4(\frac{1}{2})+\frac{7{\pi }^2}{4}\zeta (3){\ln }^{2}2-\frac{163{\pi }^6}{10080}-\frac{15}{4}{\zeta }^2(3)$$
$\text{Theorom 2}$
$${\int }_0^1\frac{{\ln }^2(1-x)\ln x{\ln }^3(1+x)}{1-x}\mathrm{d}x=-\frac{17{\pi }^2}{120}{\ln }^{5}2+\frac{21}{4}\zeta (3){\ln }^{4}2-\frac{13{\pi }^4}{144}{\ln }^{3}2+{\pi }^2{\mathrm{L}\mathrm{i}}_4(\frac{1}{2})\ln 2+4{\pi }^2{\mathrm{L}\mathrm{i}}_5(\frac{1}{2})+\frac{1023}{16}\zeta (5){\ln }^{2}2-\frac{97{\pi }^2}{16}\zeta (3){\ln }^{2}2-\frac{{\pi }^6}{40}\ln 2+\frac{1197}{32}{\zeta }^2(3)\ln 2+120\zeta (7)-\frac{203{\pi }^2}{16}\zeta (5)-\frac{13{\pi }^4}{48}\zeta (3)$$
$\text{Theorom 3}$
$${\int }_0^1\frac{\ln (1-x){\ln }^{3}x{\ln }^2(1+x)}{1-x}\mathrm{d}x=\frac{3{\pi }^2}{20}{\ln }^{5}2-\frac{{\pi }^4}{6}{\ln }^{3}2+6{\pi }^2{\mathrm{L}\mathrm{i}}_4(\frac{1}{2})\ln 2+12{\pi }^2{\mathrm{L}\mathrm{i}}_5(\frac{1}{2})+\frac{93}{2}\zeta (5){\ln }^{2}2-\frac{21{\pi }^2}{8}\zeta (3){\ln }^{2}2-\frac{{\pi }^6}{480}\ln 2+\frac{147}{4}{\zeta }^2(3)\ln 2+180\zeta (7)-\frac{93{\pi }^2}{4}\zeta (5)-\frac{13{\pi }^4}{24}\zeta (3)$$

Contents

Chapter 0:Multiple zeta vules

0.1 Definition of Multiple zeta vules

0.2 Weight and level

Chapter 1:weight 2

1.1 The value and generalisation of Basel problem $\zeta (2)$: ζ ( { 2 } l ) \zeta(\{2\}^l) ζ({2}l)

1.2 The nature of dilogarithm

1.3 Euler sums

Chapter 2:weight 3

2.1 The nature of trilogarithm

2.2 Combination integral method

Chapter 3:weight 4

3.1 Weight 4 logarithm integral, binary Euler sums

3.2 Weight 4 integral calculation

3.3 Weight 4 Euler sums calculation

3.3.1 High-order partial derivative value of Euler Beta function

3.3.2 Weight 5 Euler sums calculation

Chapter 4:weight 5

4.1 Binary Euler sums

4.2 Weight 5 integral calculation

4.2.1 Integral related to binary Euler sums

4.2.2 Integral related to ternary Euler sums

4.3 Weight 5 Euler sums calculation

4.4 Integral with Multiple polylogarithm

Chapter 5:weight 6

5.1 Weight 6 logarithm integral, binary Euler sums

5.2 Weight 6 integral calculation

5.3 Weight 6 Euler sums calculation

5.4 Weight 6 Multiple polylogarithm integral

Chapter 6:weight 7

6.1 Weight 7 logarithm integral, binary Euler sums

6.1.1 Use all methods of weight 6 to find logarithm integral

6.1.2 Ternary Euler sums theorem

6.1.3 The solution of ${\mathbf{i}}_{5011}$ and the improvement of logarithm integral

6.2 Weight 7 integral calculation

6.3 Weight 7 Euler sums calculation

6.4 Weight 7 Multiple polylogarithm integral

Chapter 0:Multiple zeta vules

Definition of Multiple zeta vules

$\text{Definition}$
$$\zeta (s_1,s_2,\dots ,\overline{s_i},\dots ,s_n)=\sum _{k_1>k_2>\dots >k_i>\dots >k_n\ge 1}\frac{(-1{)}^{k_i}}{k_1^{s_1}{k}_2^{s_2}\dots k_i^{s_i}\dots k_n^{s_n}}$$
The ordinary staggered zeta value has the following relationship with the reconciled zeta value:$\zeta (\overline{s})=(2^{1-s}-1)\zeta (s)$
For example,$\zeta (\overline{2},1)=\sum _{n=1}^{\infty }\frac{1}{n^2}\sum _{m=1}^{n-1}\frac{1}{m}$
$\text{Definition}$
$${\mathrm{L}\mathrm{i}}_{k_1,k_2,\dots ,k_n}(s_1,s_2,\dots ,s_n)=\sum _{j_1>j_2>\dots >j_n\ge 1}\frac{s_1^{j_1}{s}_2^{j_2}\dots s_n^{j_n}}{j_1^{k_1}{j}_2^{k_2}\dots j_n^{k_n}}$$
and
$${\mathrm{L}\mathrm{i}}_{k_1,k_2,\dots ,k_n}(s)=\sum _{j_1>j_2>\dots >j_n\ge 1}\frac{s^{j_1}}{j_1^{k_1}{j}_2^{k_2}\dots j_n^{k_n}}$$
The above two functions can be used to mark:
f ( s , t , … , t ⏟ n   t = f ( s , { t } n ) f(s,\underbrace{t,…,t}_{n\, t}=f(s,\{t\}^n) f(s,nt t,…,t​​=f(s,{t}n)

weight and level

weight: The amount of logarithmic product is the weight of logarithm.
level: level corresponds to the elements of different span sets. Only level 1 and level 2 are introduced here.
For level 1: The elements of the span set in level 1 are universal for all levels
For level 2: The mixed and staggered Multiple zeta vules will appear the span set element of level 2, which is the generalisation of the level 1 span set.
The above can be represented by set
$${\mathbf{C}\mathbf{M}\mathbf{Z}\mathbf{V}}_k^n$$
where k is the weight and n is the level.
For elements that weight k is not obtained by the product of the low-weight level n span set element, the element is represented by the set
$$\widetilde{{\mathbf{C}\mathbf{M}\mathbf{Z}\mathbf{V}}_k^n}$$

$k=$	$\dim {\mathbf{C}\mathbf{M}\mathbf{Z}\mathbf{V}}_k^1$	spanning set
2	1	${\pi }^2$
3	1	$\zeta (3)$
4	1	${\pi }^4$
5	2	$\zeta (5),{\pi }^2\zeta (3)$
6	2	${\pi }^6,{\zeta }^2(3)$
7	3	$\zeta (7),{\pi }^2\zeta (5),{\pi }^4\zeta (3)$

$k=$	$\dim {\mathbf{C}\mathbf{M}\mathbf{Z}\mathbf{V}}_k^2$	spanning set
1	1	$\ln 2$
2	2	${\pi }^2,{\ln }^{2}2$
3	3	$\zeta (3),{\ln }^{3}2,{\pi }^2\ln 2$
4	5	${\mathrm{L}\mathrm{i}}_4(\frac{1}{2}),{\ln }^{4}2,{\pi }^2{\ln }^{2}2,\zeta (3)\ln 2,{\pi }^4$
5	8	$\zeta (5),{\mathrm{L}\mathrm{i}}_5(\frac{1}{2}),{\ln }^{5}2,{\pi }^2{\ln }^{3}2,\zeta (3){\ln }^{2}2,{\mathrm{L}\mathrm{i}}_4(\frac{1}{2})\ln 2,{\pi }^4\ln 2,{\pi }^2\zeta (3)$
6	13	${\mathrm{L}\mathrm{i}}_6(\frac{1}{2}),\zeta (\overline{5},1),{\ln }^{6}2,{\pi }^2{\ln }^{4}2,\zeta (3){\ln }^{3}2,{\pi }^4{\ln }^{2}2,{\mathrm{L}\mathrm{i}}_4(\frac{1}{2}){\ln }^{2}2,{\mathrm{L}\mathrm{i}}_5(\frac{1}{2})\ln 2,{\pi }^2{\mathrm{L}\mathrm{i}}_4(\frac{1}{2}),\zeta (5)\ln 2,{\pi }^2\zeta (3)\ln 2,{\pi }^6,{\zeta }^2(3)$
7	21	$\zeta (7),{\mathrm{L}\mathrm{i}}_7(\frac{1}{2}),\zeta (\overline{5},1,1),\zeta (5,\overline{1},1),{\ln }^{7}2,{\pi }^2{\ln }^{5}2,\zeta (3){\ln }^{4}2,{\pi }^4{\ln }^{3}2,{\mathrm{L}\mathrm{i}}_4(\frac{1}{2}){\ln }^{3}2,{\mathrm{L}\mathrm{i}}_5(\frac{1}{2}){\ln }^{2}2,{\mathrm{L}\mathrm{i}}_6(\frac{1}{2})\ln 2,{\pi }^2{\mathrm{L}\mathrm{i}}_4(\frac{1}{2})\ln 2,{\pi }^2{\mathrm{L}\mathrm{i}}_5(\frac{1}{2}),\zeta (3){\mathrm{L}\mathrm{i}}_4(\frac{1}{2}),\zeta (5){\ln }^{2}2,{\pi }^2\zeta (3){\ln }^{2}2,{\pi }^6\ln 2,\zeta (\overline{5},1)\ln 2,{\zeta }^2(3)\ln 2,{\pi }^2\zeta (5),{\pi }^4\zeta (3)$