Generalizations of the Riemann zeta function
В математике множественные дзета-функции являются обобщениями дзета-функции Римана , определяемой формулой
ζ ( s 1 , … , s k ) = ∑ n 1 > n 2 > ⋯ > n k > 0 1 n 1 s 1 ⋯ n k s k = ∑ n 1 > n 2 > ⋯ > n k > 0 ∏ i = 1 k 1 n i s i , {\displaystyle \zeta (s_{1},\ldots ,s_{k})=\sum _{n_{1}>n_{2}>\cdots >n_{k}>0}\ {\frac {1}{n_{1}^{s_{1}}\cdots n_{k}^{s_{k}}}}=\sum _{n_{1}>n_{2}>\cdots >n_{k}>0}\ \prod _{i=1}^{k}{\frac {1}{n_{i}^{s_{i}}}},\!} и сходятся , когда Re( s 1 ) + ... + Re( s i ) > i для всех i . Как и дзета-функция Римана, кратные дзета-функции аналитически могут быть продолжены как мероморфные функции (см., например, Чжао (1999)). Когда s 1 , ..., sk ( все являются положительными целыми числами с s 1 > 1), эти суммы часто называют кратными значениями дзета (MZV) или суммами Эйлера . Эти значения также можно рассматривать как специальные значения кратных полилогарифмов. [1] [2]
Значение k в приведенном выше определении называется «глубиной» MZV, а число n = s 1 + ... + s k известно как «вес». [3]
Стандартным сокращением для написания нескольких дзета-функций является размещение повторяющихся строк аргумента в фигурных скобках и использование верхнего индекса для обозначения количества повторений. Например,
ζ ( 2 , 1 , 2 , 1 , 3 ) = ζ ( { 2 , 1 } 2 , 3 ) . {\displaystyle \zeta (2,1,2,1,3)=\zeta (\{2,1\}^{2},3).} Множественные дзета-функции возникают как частные случаи кратных полилогарифмов.
L i s 1 , … , s d ( μ 1 , … , μ d ) = ∑ k 1 > ⋯ > k d > 0 μ 1 k 1 ⋯ μ d k d k 1 s 1 ⋯ k d s d {\displaystyle \mathrm {Li} _{s_{1},\ldots ,s_{d}}(\mu _{1},\ldots ,\mu _{d})=\sum \limits _{k_{1}>\cdots >k_{d}>0}{\frac {\mu _{1}^{k_{1}}\cdots \mu _{d}^{k_{d}}}{k_{1}^{s_{1}}\cdots k_{d}^{s_{d}}}}} которые являются обобщениями функций полилогарифмов . Когда все μ i {\displaystyle \mu _{i}} являются n й корни единства и s i {\displaystyle s_{i}} все являются неотрицательными целыми числами, значения кратного полилогарифма называются цветными кратными дзета-значениями уровня n {\displaystyle n} . В частности, когда n = 2 {\displaystyle n=2} , они называются суммами Эйлера или чередующимися множественными значениями дзета , и когда n = 1 {\displaystyle n=1} их просто называют множественными значениями дзета. Часто пишутся несколько значений дзета.
ζ ( s 1 , … , s d ) = ∑ k 1 > ⋯ > k d > 0 1 k 1 s 1 ⋯ k d s d {\displaystyle \zeta (s_{1},\ldots ,s_{d})=\sum \limits _{k_{1}>\cdots >k_{d}>0}{\frac {1}{k_{1}^{s_{1}}\cdots k_{d}^{s_{d}}}}} и суммы Эйлера записываются
ζ ( s 1 , … , s d ; ε 1 , … , ε d ) = ∑ k 1 > ⋯ > k d > 0 ε 1 k 1 ⋯ ε k d k 1 s 1 ⋯ k d s d {\displaystyle \zeta (s_{1},\ldots ,s_{d};\varepsilon _{1},\ldots ,\varepsilon _{d})=\sum \limits _{k_{1}>\cdots >k_{d}>0}{\frac {\varepsilon _{1}^{k_{1}}\cdots \varepsilon ^{k_{d}}}{k_{1}^{s_{1}}\cdots k_{d}^{s_{d}}}}} где ε i = ± 1 {\displaystyle \varepsilon _{i}=\pm 1} . Иногда авторы пишут полосу над s i {\displaystyle s_{i}} соответствующий ε i {\displaystyle \varepsilon _{i}} равный − 1 {\displaystyle -1} , так например
ζ ( a ¯ , b ) = ζ ( a , b ; − 1 , 1 ) {\displaystyle \zeta ({\overline {a}},b)=\zeta (a,b;-1,1)} . Концевич заметил, что можно выразить цветные кратные дзета-значения (и, следовательно, их частные случаи) в виде некоторых интегралов от многих переменных . Этот результат часто формулируется с использованием соглашения о повторных интегралах, где
∫ 0 x f 1 ( t ) d t ⋯ f d ( t ) d t = ∫ 0 x f 1 ( t 1 ) ( ∫ 0 t 1 f 2 ( t 2 ) ( ∫ 0 t 2 ⋯ ( ∫ 0 t d f d ( t d ) d t d ) ) d t 2 ) d t 1 {\displaystyle \int _{0}^{x}f_{1}(t)dt\cdots f_{d}(t)dt=\int _{0}^{x}f_{1}(t_{1})\left(\int _{0}^{t_{1}}f_{2}(t_{2})\left(\int _{0}^{t_{2}}\cdots \left(\int _{0}^{t_{d}}f_{d}(t_{d})dt_{d}\right)\right)dt_{2}\right)dt_{1}} Используя это соглашение, результат можно сформулировать следующим образом: [2]
L i s 1 , … , s d ( μ 1 , … , μ d ) = ∫ 0 1 ( d t t ) s 1 − 1 d t a 1 − t ⋯ ( d t t ) s d − 1 d t a d − t {\displaystyle \mathrm {Li} _{s_{1},\ldots ,s_{d}}(\mu _{1},\ldots ,\mu _{d})=\int _{0}^{1}\left({\frac {dt}{t}}\right)^{s_{1}-1}{\frac {dt}{a_{1}-t}}\cdots \left({\frac {dt}{t}}\right)^{s_{d}-1}{\frac {dt}{a_{d}-t}}} где a j = ∏ i = 1 j μ i − 1 {\displaystyle a_{j}=\prod \limits _{i=1}^{j}\mu _{i}^{-1}} для j = 1 , 2 , … , d {\displaystyle j=1,2,\ldots ,d} . Этот результат чрезвычайно полезен благодаря хорошо известному результату о произведениях повторных интегралов, а именно тому, что
( ∫ 0 x f 1 ( t ) d t ⋯ f n ( t ) d t ) ( ∫ 0 x f n + 1 ( t ) d t ⋯ f m ( t ) d t ) = ∑ σ ∈ S h n , m ∫ 0 x f σ ( 1 ) ( t ) ⋯ f σ ( m ) ( t ) {\displaystyle \left(\int _{0}^{x}f_{1}(t)dt\cdots f_{n}(t)dt\right)\!\left(\int _{0}^{x}f_{n+1}(t)dt\cdots f_{m}(t)dt\right)=\sum \limits _{\sigma \in {\mathfrak {Sh}}_{n,m}}\int _{0}^{x}f_{\sigma (1)}(t)\cdots f_{\sigma (m)}(t)} где S h n , m = { σ ∈ S m ∣ σ ( 1 ) < ⋯ < σ ( n ) , σ ( n + 1 ) < ⋯ < σ ( m ) } {\displaystyle {\mathfrak {Sh}}_{n,m}=\{\sigma \in S_{m}\mid \sigma (1)<\cdots <\sigma (n),\sigma (n+1)<\cdots <\sigma (m)\}} и S m {\displaystyle S_{m}} является симметрической группой на m {\displaystyle m} символы. Чтобы использовать это в контексте нескольких значений дзета, определите X = { a , b } {\displaystyle X=\{a,b\}} , X ∗ {\displaystyle X^{*}} быть свободным моноидом, порожденным X {\displaystyle X} и A {\displaystyle {\mathfrak {A}}} быть свободным Q {\displaystyle \mathbb {Q} } - векторное пространство, созданное X ∗ {\displaystyle X^{*}} . A {\displaystyle {\mathfrak {A}}} можно снабдить перетасовкой произведения , превратив его в алгебру . Тогда множественную дзета-функцию можно рассматривать как оценочную карту, где мы определяем a = d t t {\displaystyle a={\frac {dt}{t}}} , b = d t 1 − t {\displaystyle b={\frac {dt}{1-t}}} и определить
ζ ( w ) = ∫ 0 1 w {\displaystyle \zeta (\mathbf {w} )=\int _{0}^{1}\mathbf {w} } для любого w ∈ X ∗ {\displaystyle \mathbf {w} \in X^{*}} , что по вышеупомянутому интегральному тождеству делает
ζ ( a s 1 − 1 b ⋯ a s d − 1 b ) = ζ ( s 1 , … , s d ) . {\displaystyle \zeta (a^{s_{1}-1}b\cdots a^{s_{d}-1}b)=\zeta (s_{1},\ldots ,s_{d}).} Тогда интегральное тождество продуктов дает [2]
ζ ( w ) ζ ( v ) = ζ ( w ⧢ v ) . {\displaystyle \zeta (w)\zeta (v)=\zeta (w{\text{ ⧢ }}v).} В частном случае только двух параметров мы имеем (с s > 1 и n , m целыми числами): [4]
ζ ( s , t ) = ∑ n > m ≥ 1 1 n s m t = ∑ n = 2 ∞ 1 n s ∑ m = 1 n − 1 1 m t = ∑ n = 1 ∞ 1 ( n + 1 ) s ∑ m = 1 n 1 m t {\displaystyle \zeta (s,t)=\sum _{n>m\geq 1}\ {\frac {1}{n^{s}m^{t}}}=\sum _{n=2}^{\infty }{\frac {1}{n^{s}}}\sum _{m=1}^{n-1}{\frac {1}{m^{t}}}=\sum _{n=1}^{\infty }{\frac {1}{(n+1)^{s}}}\sum _{m=1}^{n}{\frac {1}{m^{t}}}} ζ ( s , t ) = ∑ n = 1 ∞ H n , t ( n + 1 ) s {\displaystyle \zeta (s,t)=\sum _{n=1}^{\infty }{\frac {H_{n,t}}{(n+1)^{s}}}} где H n , t {\displaystyle H_{n,t}} — обобщенные числа гармоник . Известно, что множественные дзета-функции удовлетворяют так называемой двойственности MZV, простейшим случаем которой является знаменитое тождество Эйлера :
∑ n = 1 ∞ H n ( n + 1 ) 2 = ζ ( 2 , 1 ) = ζ ( 3 ) = ∑ n = 1 ∞ 1 n 3 , {\displaystyle \sum _{n=1}^{\infty }{\frac {H_{n}}{(n+1)^{2}}}=\zeta (2,1)=\zeta (3)=\sum _{n=1}^{\infty }{\frac {1}{n^{3}}},\!} где H n — номера гармоник .
Специальные значения двойных дзета-функций, с s > 0 и четными , t > 1 и нечетными , но s + t = 2 N +1 (при необходимости принимая ζ (0) = 0): [4]
ζ ( s , t ) = ζ ( s ) ζ ( t ) + 1 2 [ ( s + t s ) − 1 ] ζ ( s + t ) − ∑ r = 1 N − 1 [ ( 2 r s − 1 ) + ( 2 r t − 1 ) ] ζ ( 2 r + 1 ) ζ ( s + t − 1 − 2 r ) {\displaystyle \zeta (s,t)=\zeta (s)\zeta (t)+{\tfrac {1}{2}}{\Big [}{\tbinom {s+t}{s}}-1{\Big ]}\zeta (s+t)-\sum _{r=1}^{N-1}{\Big [}{\tbinom {2r}{s-1}}+{\tbinom {2r}{t-1}}{\Big ]}\zeta (2r+1)\zeta (s+t-1-2r)} 2 2 0.811742425283353643637002772406 3 4 ζ ( 4 ) {\displaystyle {\tfrac {3}{4}}\zeta (4)} А197110 3 2 0.228810397603353759768746148942 3 ζ ( 2 ) ζ ( 3 ) − 11 2 ζ ( 5 ) {\displaystyle 3\zeta (2)\zeta (3)-{\tfrac {11}{2}}\zeta (5)} А258983 4 2 0.088483382454368714294327839086 ( ζ ( 3 ) ) 2 − 4 3 ζ ( 6 ) {\displaystyle \left(\zeta (3)\right)^{2}-{\tfrac {4}{3}}\zeta (6)} А258984 5 2 0.038575124342753255505925464373 5 ζ ( 2 ) ζ ( 5 ) + 2 ζ ( 3 ) ζ ( 4 ) − 11 ζ ( 7 ) {\displaystyle 5\zeta (2)\zeta (5)+2\zeta (3)\zeta (4)-11\zeta (7)} А258985 6 2 0.017819740416835988362659530248 А258947 2 3 0.711566197550572432096973806086 9 2 ζ ( 5 ) − 2 ζ ( 2 ) ζ ( 3 ) {\displaystyle {\tfrac {9}{2}}\zeta (5)-2\zeta (2)\zeta (3)} А258986 3 3 0.213798868224592547099583574508 1 2 ( ( ζ ( 3 ) ) 2 − ζ ( 6 ) ) {\displaystyle {\tfrac {1}{2}}\left(\left(\zeta (3)\right)^{2}-\zeta (6)\right)} А258987 4 3 0.085159822534833651406806018872 17 ζ ( 7 ) − 10 ζ ( 2 ) ζ ( 5 ) {\displaystyle 17\zeta (7)-10\zeta (2)\zeta (5)} А258988 5 3 0.037707672984847544011304782294 5 ζ ( 3 ) ζ ( 5 ) − 147 24 ζ ( 8 ) − 5 2 ζ ( 6 , 2 ) {\displaystyle 5\zeta (3)\zeta (5)-{\tfrac {147}{24}}\zeta (8)-{\tfrac {5}{2}}\zeta (6,2)} А258982 2 4 0.674523914033968140491560608257 25 12 ζ ( 6 ) − ( ζ ( 3 ) ) 2 {\displaystyle {\tfrac {25}{12}}\zeta (6)-\left(\zeta (3)\right)^{2}} А258989 3 4 0.207505014615732095907807605495 10 ζ ( 2 ) ζ ( 5 ) + ζ ( 3 ) ζ ( 4 ) − 18 ζ ( 7 ) {\displaystyle 10\zeta (2)\zeta (5)+\zeta (3)\zeta (4)-18\zeta (7)} А258990 4 4 0.083673113016495361614890436542 1 2 ( ( ζ ( 4 ) ) 2 − ζ ( 8 ) ) {\displaystyle {\tfrac {1}{2}}\left(\left(\zeta (4)\right)^{2}-\zeta (8)\right)} А258991
Обратите внимание, что если s + t = 2 p + 2 {\displaystyle s+t=2p+2} у нас есть p / 3 {\displaystyle p/3} неприводимые, т. е. эти MZV нельзя записать как функцию ζ ( a ) {\displaystyle \zeta (a)} только. [5]
В частном случае всего трех параметров мы имеем (с a > 1 и n , j , i целыми числами):
ζ ( a , b , c ) = ∑ n > j > i ≥ 1 1 n a j b i c = ∑ n = 1 ∞ 1 ( n + 2 ) a ∑ j = 1 n 1 ( j + 1 ) b ∑ i = 1 j 1 ( i ) c = ∑ n = 1 ∞ 1 ( n + 2 ) a ∑ j = 1 n H j , c ( j + 1 ) b {\displaystyle \zeta (a,b,c)=\sum _{n>j>i\geq 1}\ {\frac {1}{n^{a}j^{b}i^{c}}}=\sum _{n=1}^{\infty }{\frac {1}{(n+2)^{a}}}\sum _{j=1}^{n}{\frac {1}{(j+1)^{b}}}\sum _{i=1}^{j}{\frac {1}{(i)^{c}}}=\sum _{n=1}^{\infty }{\frac {1}{(n+2)^{a}}}\sum _{j=1}^{n}{\frac {H_{j,c}}{(j+1)^{b}}}} Вышеупомянутые MZV удовлетворяют формуле отражения Эйлера:
ζ ( a , b ) + ζ ( b , a ) = ζ ( a ) ζ ( b ) − ζ ( a + b ) {\displaystyle \zeta (a,b)+\zeta (b,a)=\zeta (a)\zeta (b)-\zeta (a+b)} для a , b > 1 {\displaystyle a,b>1} Используя отношения тасования, легко доказать , что: [5]
ζ ( a , b , c ) + ζ ( a , c , b ) + ζ ( b , a , c ) + ζ ( b , c , a ) + ζ ( c , a , b ) + ζ ( c , b , a ) = ζ ( a ) ζ ( b ) ζ ( c ) + 2 ζ ( a + b + c ) − ζ ( a ) ζ ( b + c ) − ζ ( b ) ζ ( a + c ) − ζ ( c ) ζ ( a + b ) {\displaystyle \zeta (a,b,c)+\zeta (a,c,b)+\zeta (b,a,c)+\zeta (b,c,a)+\zeta (c,a,b)+\zeta (c,b,a)=\zeta (a)\zeta (b)\zeta (c)+2\zeta (a+b+c)-\zeta (a)\zeta (b+c)-\zeta (b)\zeta (a+c)-\zeta (c)\zeta (a+b)} для a , b , c > 1 {\displaystyle a,b,c>1} Эту функцию можно рассматривать как обобщение формул отражения.
Позволять S ( i 1 , i 2 , ⋯ , i k ) = ∑ n 1 ≥ n 2 ≥ ⋯ n k ≥ 1 1 n 1 i 1 n 2 i 2 ⋯ n k i k {\displaystyle S(i_{1},i_{2},\cdots ,i_{k})=\sum _{n_{1}\geq n_{2}\geq \cdots n_{k}\geq 1}{\frac {1}{n_{1}^{i_{1}}n_{2}^{i_{2}}\cdots n_{k}^{i_{k}}}}} , и для раздела Π = { P 1 , P 2 , … , P l } {\displaystyle \Pi =\{P_{1},P_{2},\dots ,P_{l}\}} из набора { 1 , 2 , … , k } {\displaystyle \{1,2,\dots ,k\}} , позволять c ( Π ) = ( | P 1 | − 1 ) ! ( | P 2 | − 1 ) ! ⋯ ( | P l | − 1 ) ! {\displaystyle c(\Pi )=(\left|P_{1}\right|-1)!(\left|P_{2}\right|-1)!\cdots (\left|P_{l}\right|-1)!} . Кроме того, учитывая такой Π {\displaystyle \Pi } и k -кортеж i = { i 1 , . . . , i k } {\displaystyle i=\{i_{1},...,i_{k}\}} показателей, определите ∏ s = 1 l ζ ( ∑ j ∈ P s i j ) {\displaystyle \prod _{s=1}^{l}\zeta (\sum _{j\in P_{s}}i_{j})} .
Отношения между ζ {\displaystyle \zeta } и S {\displaystyle S} являются: S ( i 1 , i 2 ) = ζ ( i 1 , i 2 ) + ζ ( i 1 + i 2 ) {\displaystyle S(i_{1},i_{2})=\zeta (i_{1},i_{2})+\zeta (i_{1}+i_{2})} и S ( i 1 , i 2 , i 3 ) = ζ ( i 1 , i 2 , i 3 ) + ζ ( i 1 + i 2 , i 3 ) + ζ ( i 1 , i 2 + i 3 ) + ζ ( i 1 + i 2 + i 3 ) . {\displaystyle S(i_{1},i_{2},i_{3})=\zeta (i_{1},i_{2},i_{3})+\zeta (i_{1}+i_{2},i_{3})+\zeta (i_{1},i_{2}+i_{3})+\zeta (i_{1}+i_{2}+i_{3}).}
Для любого настоящего i 1 , ⋯ , i k > 1 , {\displaystyle i_{1},\cdots ,i_{k}>1,} , ∑ σ ∈ Σ k S ( i σ ( 1 ) , … , i σ ( k ) ) = ∑ partitions Π of { 1 , … , k } c ( Π ) ζ ( i , Π ) {\displaystyle \sum _{\sigma \in \Sigma _{k}}S(i_{\sigma (1)},\dots ,i_{\sigma (k)})=\sum _{{\text{partitions }}\Pi {\text{ of }}\{1,\dots ,k\}}c(\Pi )\zeta (i,\Pi )} .
Доказательство. Предположим, i j {\displaystyle i_{j}} все различны. (Нет потери общности, поскольку мы можем брать пределы.) Левую часть можно записать как ∑ σ ∑ n 1 ≥ n 2 ≥ ⋯ ≥ n k ≥ 1 1 n i 1 σ ( 1 ) n i 2 σ ( 2 ) ⋯ n i k σ ( k ) {\displaystyle \sum _{\sigma }\sum _{n_{1}\geq n_{2}\geq \cdots \geq n_{k}\geq 1}{\frac {1}{{n^{i_{1}}}_{\sigma (1)}{n^{i_{2}}}_{\sigma (2)}\cdots {n^{i_{k}}}_{\sigma (k)}}}} . Теперь думаю о симметричном
группа Σ k {\displaystyle \Sigma _{k}} как действует на k -кортеж n = ( 1 , ⋯ , k ) {\displaystyle n=(1,\cdots ,k)} положительных целых чисел. Данный k -кортеж n = ( n 1 , ⋯ , n k ) {\displaystyle n=(n_{1},\cdots ,n_{k})} имеет изотропную группу
Σ k ( n ) {\displaystyle \Sigma _{k}(n)} и связанный раздел Λ {\displaystyle \Lambda } из ( 1 , 2 , ⋯ , k ) {\displaystyle (1,2,\cdots ,k)} : Λ {\displaystyle \Lambda } множество классов эквивалентности отношения – предоставлено i ∼ j {\displaystyle i\sim j} если только n i = n j {\displaystyle n_{i}=n_{j}} , и Σ k ( n ) = { σ ∈ Σ k : σ ( i ) ∼ ∀ i } {\displaystyle \Sigma _{k}(n)=\{\sigma \in \Sigma _{k}:\sigma (i)\sim \forall i\}} . Теперь термин 1 n i 1 σ ( 1 ) n i 2 σ ( 2 ) ⋯ n i k σ ( k ) {\displaystyle {\frac {1}{{n^{i_{1}}}_{\sigma (1)}{n^{i_{2}}}_{\sigma (2)}\cdots {n^{i_{k}}}_{\sigma (k)}}}} происходит с левой стороны ∑ σ ∈ Σ k S ( i σ ( 1 ) , … , i σ ( k ) ) = ∑ partitions Π of { 1 , … , k } c ( Π ) ζ ( i , Π ) {\displaystyle \sum _{\sigma \in \Sigma _{k}}S(i_{\sigma (1)},\dots ,i_{\sigma (k)})=\sum _{{\text{partitions }}\Pi {\text{ of }}\{1,\dots ,k\}}c(\Pi )\zeta (i,\Pi )} точно | Σ k ( n ) | {\displaystyle \left|\Sigma _{k}(n)\right|} раз. Оно встречается в правой части в тех терминах, которые соответствуют разбиениям Π {\displaystyle \Pi } это усовершенствования Λ {\displaystyle \Lambda } : сдача ⪰ {\displaystyle \succeq } обозначают уточнение, 1 n i 1 σ ( 1 ) n i 2 σ ( 2 ) ⋯ n i k σ ( k ) {\displaystyle {\frac {1}{{n^{i_{1}}}_{\sigma (1)}{n^{i_{2}}}_{\sigma (2)}\cdots {n^{i_{k}}}_{\sigma (k)}}}} происходит ∑ Π ⪰ Λ ( Π ) {\displaystyle \sum _{\Pi \succeq \Lambda }(\Pi )} раз. Таким образом, вывод будет следовать, если | Σ k ( n ) | = ∑ Π ⪰ Λ c ( Π ) {\displaystyle \left|\Sigma _{k}(n)\right|=\sum _{\Pi \succeq \Lambda }c(\Pi )} для любого k -кортежа n = { n 1 , ⋯ , n k } {\displaystyle n=\{n_{1},\cdots ,n_{k}\}} и связанный раздел Λ {\displaystyle \Lambda } .Чтобы увидеть это, обратите внимание, что c ( Π ) {\displaystyle c(\Pi )} подсчитывает перестановки, имеющие тип цикла , указанный Π {\displaystyle \Pi } : поскольку любые элементы Σ k ( n ) {\displaystyle \Sigma _{k}(n)} имеет уникальный тип цикла, заданный разделом, который уточняет Λ {\displaystyle \Lambda } , результат следующий. [6]
Для k = 3 {\displaystyle k=3} , гласит теорема ∑ σ ∈ Σ 3 S ( i σ ( 1 ) , i σ ( 2 ) , i σ ( 3 ) ) = ζ ( i 1 ) ζ ( i 2 ) ζ ( i 3 ) + ζ ( i 1 + i 2 ) ζ ( i 3 ) + ζ ( i 1 ) ζ ( i 2 + i 3 ) + ζ ( i 1 + i 3 ) ζ ( i 2 ) + 2 ζ ( i 1 + i 2 + i 3 ) {\displaystyle \sum _{\sigma \in \Sigma _{3}}S(i_{\sigma (1)},i_{\sigma (2)},i_{\sigma (3)})=\zeta (i_{1})\zeta (i_{2})\zeta (i_{3})+\zeta (i_{1}+i_{2})\zeta (i_{3})+\zeta (i_{1})\zeta (i_{2}+i_{3})+\zeta (i_{1}+i_{3})\zeta (i_{2})+2\zeta (i_{1}+i_{2}+i_{3})} для i 1 , i 2 , i 3 > 1 {\displaystyle i_{1},i_{2},i_{3}>1} . Это основной результат. [7]
Имея ζ ( i 1 , i 2 , ⋯ , i k ) = ∑ n 1 > n 2 > ⋯ n k ≥ 1 1 n 1 i 1 n 2 i 2 ⋯ n k i k {\displaystyle \zeta (i_{1},i_{2},\cdots ,i_{k})=\sum _{n_{1}>n_{2}>\cdots n_{k}\geq 1}{\frac {1}{n_{1}^{i_{1}}n_{2}^{i_{2}}\cdots n_{k}^{i_{k}}}}} . Сформулировав аналог теоремы 1 для ζ ′ s {\displaystyle \zeta 's} , нам нужен один бит обозначения. Для раздела
Π = { P 1 , ⋯ , P l } {\displaystyle \Pi =\{P_{1},\cdots ,P_{l}\}} из { 1 , 2 ⋯ , k } {\displaystyle \{1,2\cdots ,k\}} , позволять c ~ ( Π ) = ( − 1 ) k − l c ( Π ) {\displaystyle {\tilde {c}}(\Pi )=(-1)^{k-l}c(\Pi )} .
Для любого настоящего i 1 , ⋯ , i k > 1 {\displaystyle i_{1},\cdots ,i_{k}>1} , ∑ σ ∈ Σ k ζ ( i σ ( 1 ) , … , i σ ( k ) ) = ∑ partitions Π of { 1 , … , k } c ~ ( Π ) ζ ( i , Π ) {\displaystyle \sum _{\sigma \in \Sigma _{k}}\zeta (i_{\sigma (1)},\dots ,i_{\sigma (k)})=\sum _{{\text{partitions }}\Pi {\text{ of }}\{1,\dots ,k\}}{\tilde {c}}(\Pi )\zeta (i,\Pi )} .
Доказательство. Мы следуем той же линии рассуждений, что и в предыдущем доказательстве. Левая сторона теперь ∑ σ ∑ n 1 > n 2 > ⋯ > n k ≥ 1 1 n i 1 σ ( 1 ) n i 2 σ ( 2 ) ⋯ n i k σ ( k ) {\displaystyle \sum _{\sigma }\sum _{n_{1}>n_{2}>\cdots >n_{k}\geq 1}{\frac {1}{{n^{i_{1}}}_{\sigma (1)}{n^{i_{2}}}_{\sigma (2)}\cdots {n^{i_{k}}}_{\sigma (k)}}}} и термин 1 n 1 i 1 n 2 i 2 ⋯ n k i k {\displaystyle {\frac {1}{n_{1}^{i_{1}}n_{2}^{i_{2}}\cdots n_{k}^{i_{k}}}}} происходит слева, так как однажды, если все n i {\displaystyle n_{i}} различны, и ничуть не иначе. Таким образом, достаточно показать ∑ Π ⪰ Λ c ~ ( Π ) = { 1 , if | Λ | = k 0 , otherwise . {\displaystyle \sum _{\Pi \succeq \Lambda }{\tilde {c}}(\Pi )={\begin{cases}1,{\text{ if }}\left|\Lambda \right|=k\\0,{\text{ otherwise }}.\end{cases}}} (1)
Для доказательства этого заметим сначала, что знак c ~ ( Π ) {\displaystyle {\tilde {c}}(\Pi )} положительно, если перестановки типа цикла Π {\displaystyle \Pi } четны и отрицательны , если они нечетны : таким образом, левая часть (1) представляет собой знаковую сумму числа четных и нечетных перестановок в группе изотропии Σ k ( n ) {\displaystyle \Sigma _{k}(n)} . Но такая группа изотропии имеет одинаковое количество четных и нечетных перестановок, если только она не тривиальна, т. е. если связанное с ней разбиение Λ {\displaystyle \Lambda } является { { 1 } , { 2 } , ⋯ , { k } } {\displaystyle \{\{1\},\{2\},\cdots ,\{k\}\}} . [6]
Сначала сформулируем гипотезу о сумме, выдвинутую К. Моэном. [8]
Гипотеза суммы (Хоффмана). Для натуральных чисел k и n , ∑ i 1 + ⋯ + i k = n , i 1 > 1 ζ ( i 1 , ⋯ , i k ) = ζ ( n ) {\displaystyle \sum _{i_{1}+\cdots +i_{k}=n,i_{1}>1}\zeta (i_{1},\cdots ,i_{k})=\zeta (n)} , где сумма расширена по k -кортежам i 1 , ⋯ , i k {\displaystyle i_{1},\cdots ,i_{k}} положительных целых чисел с i 1 > 1 {\displaystyle i_{1}>1} .
три замечания По поводу этой гипотезы уместны . Во-первых, это подразумевает ∑ i 1 + ⋯ + i k = n , i 1 > 1 S ( i 1 , ⋯ , i k ) = ( n − 1 k − 1 ) ζ ( n ) {\displaystyle \sum _{i_{1}+\cdots +i_{k}=n,i_{1}>1}S(i_{1},\cdots ,i_{k})={n-1 \choose k-1}\zeta (n)} . Во-вторых, в случае k = 2 {\displaystyle k=2} там написано, что ζ ( n − 1 , 1 ) + ζ ( n − 2 , 2 ) + ⋯ + ζ ( 2 , n − 2 ) = ζ ( n ) {\displaystyle \zeta (n-1,1)+\zeta (n-2,2)+\cdots +\zeta (2,n-2)=\zeta (n)} или используя связь между ζ ′ s {\displaystyle \zeta 's} и S ′ s {\displaystyle S's} и теорема 1, 2 S ( n − 1 , 1 ) = ( n + 1 ) ζ ( n ) − ∑ k = 2 n − 2 ζ ( k ) ζ ( n − k ) . {\displaystyle 2S(n-1,1)=(n+1)\zeta (n)-\sum _{k=2}^{n-2}\zeta (k)\zeta (n-k).}
Это доказал Эйлер [9] и был открыт несколько раз заново, в частности Уильямсом. [10] Наконец, К. Моен [8] доказал ту же самую гипотезу для k = 3 длинными, но элементарными рассуждениями.Для гипотезы двойственности мы сначала определим инволюцию τ {\displaystyle \tau } на съемочной площадке ℑ {\displaystyle \Im } конечных последовательностей натуральных чисел, первый элемент которых больше 1. Пусть T {\displaystyle \mathrm {T} } — множество строго возрастающих конечных последовательностей натуральных чисел, и пусть Σ : ℑ → T {\displaystyle \Sigma :\Im \rightarrow \mathrm {T} } быть функцией, которая отправляет последовательность в ℑ {\displaystyle \Im } к его последовательности частичных сумм. Если T n {\displaystyle \mathrm {T} _{n}} представляет собой набор последовательностей в T {\displaystyle \mathrm {T} } чей последний элемент не более n {\displaystyle n} , мы имеем две коммутирующие инволюции R n {\displaystyle R_{n}} и C n {\displaystyle C_{n}} на T n {\displaystyle \mathrm {T} _{n}} определяется R n ( a 1 , a 2 , … , a l ) = ( n + 1 − a l , n + 1 − a l − 1 , … , n + 1 − a 1 ) {\displaystyle R_{n}(a_{1},a_{2},\dots ,a_{l})=(n+1-a_{l},n+1-a_{l-1},\dots ,n+1-a_{1})} и C n ( a 1 , … , a l ) {\displaystyle C_{n}(a_{1},\dots ,a_{l})} = дополнение { a 1 , … , a l } {\displaystyle \{a_{1},\dots ,a_{l}\}} в { 1 , 2 , … , n } {\displaystyle \{1,2,\dots ,n\}} расположены в порядке возрастания. Наше определение τ {\displaystyle \tau } является τ ( I ) = Σ − 1 R n C n Σ ( I ) = Σ − 1 C n R n Σ ( I ) {\displaystyle \tau (I)=\Sigma ^{-1}R_{n}C_{n}\Sigma (I)=\Sigma ^{-1}C_{n}R_{n}\Sigma (I)} для I = ( i 1 , i 2 , … , i k ) ∈ ℑ {\displaystyle I=(i_{1},i_{2},\dots ,i_{k})\in \Im } с i 1 + ⋯ + i k = n {\displaystyle i_{1}+\cdots +i_{k}=n} .
Например, τ ( 3 , 4 , 1 ) = Σ − 1 C 8 R 8 ( 3 , 7 , 8 ) = Σ − 1 ( 3 , 4 , 5 , 7 , 8 ) = ( 3 , 1 , 1 , 2 , 1 ) . {\displaystyle \tau (3,4,1)=\Sigma ^{-1}C_{8}R_{8}(3,7,8)=\Sigma ^{-1}(3,4,5,7,8)=(3,1,1,2,1).} Будем говорить, что последовательности ( i 1 , … , i k ) {\displaystyle (i_{1},\dots ,i_{k})} и τ ( i 1 , … , i k ) {\displaystyle \tau (i_{1},\dots ,i_{k})} двойственны друг другу и относятся к последовательности, фиксированной τ {\displaystyle \tau } как самодвойственный. [6]
Гипотеза двойственности (Хоффман). Если ( h 1 , … , h n − k ) {\displaystyle (h_{1},\dots ,h_{n-k})} двойственен к ( i 1 , … , i k ) {\displaystyle (i_{1},\dots ,i_{k})} , затем ζ ( h 1 , … , h n − k ) = ζ ( i 1 , … , i k ) {\displaystyle \zeta (h_{1},\dots ,h_{n-k})=\zeta (i_{1},\dots ,i_{k})} .
также известна как теорема суммы , и ее можно выразить следующим образом: дзета-значение Римана целого числа n ≥ 2 равно сумме всех действительных (т.е. с s 1 > 1) MZV разбиений Эта гипотеза суммы длина k и вес n , где 1 ≤ k ≤ n - 1. В формуле: [3]
∑ s 1 > 1 s 1 + ⋯ + s k = n ζ ( s 1 , … , s k ) = ζ ( n ) . {\displaystyle \sum _{\stackrel {s_{1}+\cdots +s_{k}=n}{s_{1}>1}}\zeta (s_{1},\ldots ,s_{k})=\zeta (n).} Например, с длиной k = 2 и весом n = 7:
ζ ( 6 , 1 ) + ζ ( 5 , 2 ) + ζ ( 4 , 3 ) + ζ ( 3 , 4 ) + ζ ( 2 , 5 ) = ζ ( 7 ) . {\displaystyle \zeta (6,1)+\zeta (5,2)+\zeta (4,3)+\zeta (3,4)+\zeta (2,5)=\zeta (7).} Сумма Эйлера со всеми возможными изменениями знаков [ редактировать ] Сумма Эйлера с переменным знаком появляется в исследованиях неизменяемой суммы Эйлера. [5]
∑ n = 1 ∞ H n ( b ) ( − 1 ) ( n + 1 ) ( n + 1 ) a = ζ ( a ¯ , b ) {\displaystyle \sum _{n=1}^{\infty }{\frac {H_{n}^{(b)}(-1)^{(n+1)}}{(n+1)^{a}}}=\zeta ({\bar {a}},b)} с H n ( b ) = + 1 + 1 2 b + 1 3 b + ⋯ {\displaystyle H_{n}^{(b)}=+1+{\frac {1}{2^{b}}}+{\frac {1}{3^{b}}}+\cdots } — обобщенные числа гармоник . ∑ n = 1 ∞ H ¯ n ( b ) ( n + 1 ) a = ζ ( a , b ¯ ) {\displaystyle \sum _{n=1}^{\infty }{\frac {{\bar {H}}_{n}^{(b)}}{(n+1)^{a}}}=\zeta (a,{\bar {b}})} с H ¯ n ( b ) = − 1 + 1 2 b − 1 3 b + ⋯ {\displaystyle {\bar {H}}_{n}^{(b)}=-1+{\frac {1}{2^{b}}}-{\frac {1}{3^{b}}}+\cdots } ∑ n = 1 ∞ H ¯ n ( b ) ( − 1 ) ( n + 1 ) ( n + 1 ) a = ζ ( a ¯ , b ¯ ) {\displaystyle \sum _{n=1}^{\infty }{\frac {{\bar {H}}_{n}^{(b)}(-1)^{(n+1)}}{(n+1)^{a}}}=\zeta ({\bar {a}},{\bar {b}})} ∑ n = 1 ∞ ( − 1 ) n ( n + 2 ) a ∑ n = 1 ∞ H ¯ n ( c ) ( − 1 ) ( n + 1 ) ( n + 1 ) b = ζ ( a ¯ , b ¯ , c ¯ ) {\displaystyle \sum _{n=1}^{\infty }{\frac {(-1)^{n}}{(n+2)^{a}}}\sum _{n=1}^{\infty }{\frac {{\bar {H}}_{n}^{(c)}(-1)^{(n+1)}}{(n+1)^{b}}}=\zeta ({\bar {a}},{\bar {b}},{\bar {c}})} с H ¯ n ( c ) = − 1 + 1 2 c − 1 3 c + ⋯ {\displaystyle {\bar {H}}_{n}^{(c)}=-1+{\frac {1}{2^{c}}}-{\frac {1}{3^{c}}}+\cdots } ∑ n = 1 ∞ ( − 1 ) n ( n + 2 ) a ∑ n = 1 ∞ H n ( c ) ( n + 1 ) b = ζ ( a ¯ , b , c ) {\displaystyle \sum _{n=1}^{\infty }{\frac {(-1)^{n}}{(n+2)^{a}}}\sum _{n=1}^{\infty }{\frac {H_{n}^{(c)}}{(n+1)^{b}}}=\zeta ({\bar {a}},b,c)} с H n ( c ) = + 1 + 1 2 c + 1 3 c + ⋯ {\displaystyle H_{n}^{(c)}=+1+{\frac {1}{2^{c}}}+{\frac {1}{3^{c}}}+\cdots } ∑ n = 1 ∞ 1 ( n + 2 ) a ∑ n = 1 ∞ H n ( c ) ( − 1 ) ( n + 1 ) ( n + 1 ) b = ζ ( a , b ¯ , c ) {\displaystyle \sum _{n=1}^{\infty }{\frac {1}{(n+2)^{a}}}\sum _{n=1}^{\infty }{\frac {H_{n}^{(c)}(-1)^{(n+1)}}{(n+1)^{b}}}=\zeta (a,{\bar {b}},c)} ∑ n = 1 ∞ 1 ( n + 2 ) a ∑ n = 1 ∞ H ¯ n ( c ) ( n + 1 ) b = ζ ( a , b , c ¯ ) {\displaystyle \sum _{n=1}^{\infty }{\frac {1}{(n+2)^{a}}}\sum _{n=1}^{\infty }{\frac {{\bar {H}}_{n}^{(c)}}{(n+1)^{b}}}=\zeta (a,b,{\bar {c}})} В качестве варианта эта-функции Дирихле мы определяем
ϕ ( s ) = 1 − 2 ( s − 1 ) 2 ( s − 1 ) ζ ( s ) {\displaystyle \phi (s)={\frac {1-2^{(s-1)}}{2^{(s-1)}}}\zeta (s)} с s > 1 {\displaystyle s>1} ϕ ( 1 ) = − ln 2 {\displaystyle \phi (1)=-\ln 2} Формула отражения ζ ( a , b ) + ζ ( b , a ) = ζ ( a ) ζ ( b ) − ζ ( a + b ) {\displaystyle \zeta (a,b)+\zeta (b,a)=\zeta (a)\zeta (b)-\zeta (a+b)} можно обобщить следующим образом:
ζ ( a , b ¯ ) + ζ ( b ¯ , a ) = ζ ( a ) ϕ ( b ) − ϕ ( a + b ) {\displaystyle \zeta (a,{\bar {b}})+\zeta ({\bar {b}},a)=\zeta (a)\phi (b)-\phi (a+b)} ζ ( a ¯ , b ) + ζ ( b , a ¯ ) = ζ ( b ) ϕ ( a ) − ϕ ( a + b ) {\displaystyle \zeta ({\bar {a}},b)+\zeta (b,{\bar {a}})=\zeta (b)\phi (a)-\phi (a+b)} ζ ( a ¯ , b ¯ ) + ζ ( b ¯ , a ¯ ) = ϕ ( a ) ϕ ( b ) − ζ ( a + b ) {\displaystyle \zeta ({\bar {a}},{\bar {b}})+\zeta ({\bar {b}},{\bar {a}})=\phi (a)\phi (b)-\zeta (a+b)} если a = b {\displaystyle a=b} у нас есть ζ ( a ¯ , a ¯ ) = 1 2 [ ϕ 2 ( a ) − ζ ( 2 a ) ] {\displaystyle \zeta ({\bar {a}},{\bar {a}})={\tfrac {1}{2}}{\Big [}\phi ^{2}(a)-\zeta (2a){\Big ]}}
Используя определение ряда, легко доказать:
ζ ( a , b ) + ζ ( a , b ¯ ) + ζ ( a ¯ , b ) + ζ ( a ¯ , b ¯ ) = ζ ( a , b ) 2 ( a + b − 2 ) {\displaystyle \zeta (a,b)+\zeta (a,{\bar {b}})+\zeta ({\bar {a}},b)+\zeta ({\bar {a}},{\bar {b}})={\frac {\zeta (a,b)}{2^{(a+b-2)}}}} с a > 1 {\displaystyle a>1} ζ ( a , b , c ) + ζ ( a , b , c ¯ ) + ζ ( a , b ¯ , c ) + ζ ( a ¯ , b , c ) + ζ ( a , b ¯ , c ¯ ) + ζ ( a ¯ , b , c ¯ ) + ζ ( a ¯ , b ¯ , c ) + ζ ( a ¯ , b ¯ , c ¯ ) = ζ ( a , b , c ) 2 ( a + b + c − 3 ) {\displaystyle \zeta (a,b,c)+\zeta (a,b,{\bar {c}})+\zeta (a,{\bar {b}},c)+\zeta ({\bar {a}},b,c)+\zeta (a,{\bar {b}},{\bar {c}})+\zeta ({\bar {a}},b,{\bar {c}})+\zeta ({\bar {a}},{\bar {b}},c)+\zeta ({\bar {a}},{\bar {b}},{\bar {c}})={\frac {\zeta (a,b,c)}{2^{(a+b+c-3)}}}} с a > 1 {\displaystyle a>1} Еще одно полезное соотношение: [5]
ζ ( a , b ) + ζ ( a ¯ , b ¯ ) = ∑ s > 0 ( a + b − s − 1 ) ! [ Z a ( a + b − s , s ) ( a − s ) ! ( b − 1 ) ! + Z b ( a + b − s , s ) ( b − s ) ! ( a − 1 ) ! ] {\displaystyle \zeta (a,b)+\zeta ({\bar {a}},{\bar {b}})=\sum _{s>0}(a+b-s-1)!{\Big [}{\frac {Z_{a}(a+b-s,s)}{(a-s)!(b-1)!}}+{\frac {Z_{b}(a+b-s,s)}{(b-s)!(a-1)!}}{\Big ]}} где Z a ( s , t ) = ζ ( s , t ) + ζ ( s ¯ , t ) − [ ζ ( s , t ) + ζ ( s + t ) ] 2 ( s − 1 ) {\displaystyle Z_{a}(s,t)=\zeta (s,t)+\zeta ({\bar {s}},t)-{\frac {{\Big [}\zeta (s,t)+\zeta (s+t){\Big ]}}{2^{(s-1)}}}} и Z b ( s , t ) = ζ ( s , t ) 2 ( s − 1 ) {\displaystyle Z_{b}(s,t)={\frac {\zeta (s,t)}{2^{(s-1)}}}}
Обратите внимание, что s {\displaystyle s} должен использоваться для всех значений > 1 {\displaystyle >1} для которого аргумент факториалов равен ⩾ 0 {\displaystyle \geqslant 0}
Для всех положительных целых чисел a , b , … , k {\displaystyle a,b,\dots ,k} :
∑ n = 2 ∞ ζ ( n , k ) = ζ ( k + 1 ) {\displaystyle \sum _{n=2}^{\infty }\zeta (n,k)=\zeta (k+1)} или в более общем смысле: ∑ n = 2 ∞ ζ ( n , a , b , … , k ) = ζ ( a + 1 , b , … , k ) {\displaystyle \sum _{n=2}^{\infty }\zeta (n,a,b,\dots ,k)=\zeta (a+1,b,\dots ,k)} ∑ n = 2 ∞ ζ ( n , k ¯ ) = − ϕ ( k + 1 ) {\displaystyle \sum _{n=2}^{\infty }\zeta (n,{\bar {k}})=-\phi (k+1)} ∑ n = 2 ∞ ζ ( n , a ¯ , b ) = ζ ( a + 1 ¯ , b ) {\displaystyle \sum _{n=2}^{\infty }\zeta (n,{\bar {a}},b)=\zeta ({\overline {a+1}},b)} ∑ n = 2 ∞ ζ ( n , a , b ¯ ) = ζ ( a + 1 , b ¯ ) {\displaystyle \sum _{n=2}^{\infty }\zeta (n,a,{\bar {b}})=\zeta (a+1,{\bar {b}})} ∑ n = 2 ∞ ζ ( n , a ¯ , b ¯ ) = ζ ( a + 1 ¯ , b ¯ ) {\displaystyle \sum _{n=2}^{\infty }\zeta (n,{\bar {a}},{\bar {b}})=\zeta ({\overline {a+1}},{\bar {b}})} lim k → ∞ ζ ( n , k ) = ζ ( n ) − 1 {\displaystyle \lim _{k\to \infty }\zeta (n,k)=\zeta (n)-1} 1 − ζ ( 2 ) + ζ ( 3 ) − ζ ( 4 ) + ⋯ = | 1 2 | {\displaystyle 1-\zeta (2)+\zeta (3)-\zeta (4)+\cdots =|{\frac {1}{2}}|} ζ ( a , a ) = 1 2 [ ( ζ ( a ) ) 2 − ζ ( 2 a ) ] {\displaystyle \zeta (a,a)={\tfrac {1}{2}}{\Big [}(\zeta (a))^{2}-\zeta (2a){\Big ]}} ζ ( a , a , a ) = 1 6 ( ζ ( a ) ) 3 + 1 3 ζ ( 3 a ) − 1 2 ζ ( a ) ζ ( 2 a ) {\displaystyle \zeta (a,a,a)={\tfrac {1}{6}}(\zeta (a))^{3}+{\tfrac {1}{3}}\zeta (3a)-{\tfrac {1}{2}}\zeta (a)\zeta (2a)} Дзета-функция Морделла-Торнхейма, введенная Мацумото (2003) , который был мотивирован статьями Морделла (1958) и Торнхейма (1950) , определяется формулой
ζ M T , r ( s 1 , … , s r ; s r + 1 ) = ∑ m 1 , … , m r > 0 1 m 1 s 1 ⋯ m r s r ( m 1 + ⋯ + m r ) s r + 1 {\displaystyle \zeta _{MT,r}(s_{1},\dots ,s_{r};s_{r+1})=\sum _{m_{1},\dots ,m_{r}>0}{\frac {1}{m_{1}^{s_{1}}\cdots m_{r}^{s_{r}}(m_{1}+\dots +m_{r})^{s_{r+1}}}}} Это частный случай дзета-функции Шинтани .
Торнхейм, Леонард (1950). «Гармоническая двойная серия». Американский журнал математики . 72 (2): 303–314. дои : 10.2307/2372034 . ISSN 0002-9327 . JSTOR 2372034 . МР 0034860 . Морделл, Луи Дж. (1958). «Об оценке некоторых множественных серий». Журнал Лондонского математического общества . Вторая серия. 33 (3): 368–371. дои : 10.1112/jlms/s1-33.3.368 . ISSN 0024-6107 . МР 0100181 . Апостол, Том М .; Ву, Тьенну Х. (1984), «Ряды Дирихле, связанные с дзета-функцией Римана», Journal of Number Theory , 19 (1): 85–102, doi : 10.1016/0022-314X(84)90094-5 , ISSN 0022 -314X , МР 0751166 Крэндалл, Ричард Э.; Бюлер, Джо П. (1994). «Об оценке сумм Эйлера» . Экспериментальная математика . 3 (4): 275. дои : 10.1080/10586458.1994.10504297 . МР 1341720 . Борвейн, Джонатан М.; Гиргенсон, Роланд (1996). «Оценка тройных сумм Эйлера» . Электрон. Дж. Комб . 3 (1): #R23. дои : 10.37236/1247 . hdl : 1959.13/940394 . МР 1401442 . Флажоле, Филипп; Сальви, Бруно (1998). «Суммы Эйлера и контурные интегральные представления» . Эксп. Математика . 7 :15–35. CiteSeerX 10.1.1.37.652 . дои : 10.1080/10586458.1998.10504356 . Чжао, Цзяньцян (1999). «Аналитическое продолжение нескольких дзета-функций» . Труды Американского математического общества . 128 (5): 1275–1283. дои : 10.1090/S0002-9939-99-05398-8 . МР 1670846 . Мацумото, Коджи (2003), «О Морделле-Торнхейме и других множественных дзета-функциях», Труды сессии по аналитической теории чисел и диофантовых уравнениях , Bonner Math. Шрифтен, том. 360, Бонн: Унив. Бонн, MR 2075634 Эспиноза, Оливье; Молл, Виктор Гюго (2008). «Оценка двойных сумм Торнхейма». arXiv : math/0505647 . Эспиноза, Оливье; Молл, Виктор Гюго (2010). «Оценка двойных сумм Торнхейма II». Рамануджан Дж . 22 : 55–99. arXiv : 0811.0557 . дои : 10.1007/s11139-009-9181-1 . МР 2610609 . S2CID 17055581 . Борвейн, Дж. М. ; Чан, Ой. (2010). «Двойственность в хвостах нескольких дзета-значений». Межд. Дж. Теория чисел . 6 (3): 501–514. CiteSeerX 10.1.1.157.9158 . дои : 10.1142/S1793042110003058 . МР 2652893 . Басу, Анкур (2011). «О вычислении сумм Торнгейма и связанных с ними двойных сумм». Рамануджан Дж . 26 (2): 193–207. дои : 10.1007/s11139-011-9302-5 . МР 2853480 . S2CID 120229489 . ^ Чжао, Цзяньцян (2010). «Стандартные отношения кратных значений полилогарифма при корнях из единицы». Документа Математика . 15 : 1–34. arXiv : 0707.1459 . ^ Jump up to: Перейти обратно: а б с Чжао, Цзяньцян (2016). Множественные дзета-функции, множественные полилогарифмы и их специальные значения . Серия по теории чисел и ее приложениям. Том. 12. Мировое научное издательство. дои : 10.1142/9634 . ISBN 978-981-4689-39-7 . ^ Jump up to: Перейти обратно: а б Хоффман, Майк. «Множественные значения Зета» . Домашняя страница Майка Хоффмана . Военно-морская академия США . Проверено 8 июня 2012 г. ^ Jump up to: Перейти обратно: а б Борвейн, Дэвид; Борвейн, Джонатан; Брэдли, Дэвид (23 сентября 2004 г.). «Параметрические тождества суммы Эйлера» (PDF) . CARMA, курс повышения квалификации AMSI . Университет Ньюкасла . Проверено 3 июня 2012 г. ^ Jump up to: Перейти обратно: а б с д Бродхерст, ди-джей (1996). «О перечислении неприводимых k-кратных сумм Эйлера и их роли в теории узлов и теории поля». arXiv : hep-th/9604128 . ^ Jump up to: Перейти обратно: а б с д Хоффман, Майкл (1992). «Множественный гармонический ряд» . Тихоокеанский математический журнал . 152 (2): 276–278. дои : 10.2140/pjm.1992.152.275 . МР 1141796 . Збл 0763.11037 . ^ Рамачандра Рао, Р. Сита; М. В. Суббарао (1984). «Формулы преобразования кратных рядов» . Тихоокеанский математический журнал . 113 (2): 417–479. дои : 10.2140/pjm.1984.113.471 . ^ Jump up to: Перейти обратно: а б Моен, К. «Суммы простых рядов». Препринт . ^ Эйлер, Л. (1775). «Размышления об определенном типе сериала». Новое сообщение. акад. Знать Петрополис 15 (20): 140–186. ^ Уильямс, GT (1958). «Об оценке некоторых множественных серий». Журнал Лондонского математического общества . 33 (3): 368–371. дои : 10.1112/jlms/s1-33.3.368 .