Partial sums of multiple zeta value series (Q2372717): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.3836/tjm/1170348179 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2002814339 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Generalization of Wolstenholme's Theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(p\)-integral harmonic sums / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3856819 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3999066 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On irregular prime power divisors of the Bernoulli numbers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5166792 / rank | |||
Normal rank |
Latest revision as of 13:01, 26 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Partial sums of multiple zeta value series |
scientific article |
Statements
Partial sums of multiple zeta value series (English)
0 references
1 August 2007
0 references
Let \(p\) be a prime number, \(d\geq 1\), \(s_1,\ldots,s_d\in {\mathbb N}\). The author studies the \(p\)-divisibility of the series \[ H_d^*(s_1,\ldots,s_d;n):=\sum_{1\leq k_1<\ldots<k_d\leq n \atop p\nmid k_1,\ldots,p\nmid k_d} k_1^{-s_1}\ldots k_d^{-s_d},n\in{\mathbb N}. \] If \(n\geq 1\) and \(p\geq 2n+3\) then \[ \begin{multlined}\frac{-2}{2n-1}H_1^*(2n-1;p^a-1)\equiv p^a H_1^*(2n;p^a-1) \pmod {p^{3a}} \\ \equiv p^{2a}\frac{2n}{2n+p^{a-1}}B_{p^{a-1}(p-1)-2n} \pmod{p^{3a}},\end{multlined} \] with Bernoulli numbers \(B\). If \(s,d\geq 1\), \(p\geq d+2\) and \(p-1\) divides none of \(sl\) and \(sl+1\) for \(l=1,2,\ldots,d\) then \[ H_d^*(s,\ldots,s;p^a-1)\equiv 0 \pmod {p^{{\mathcal P}(sd-1)a}}, \] where \({\mathcal P}\) is the parity function. If \(s_1,s_2\geq 1\), \(p\geq 3\), \(s_1\equiv m,s_2\equiv n\pmod{p-1}\), \(0\leq m,n\leq p-2\) then \[ H_2^*(s_1,s_2;p^a-1)\equiv p^{a-1}\cdot \omega\pmod{p^a}, \] where \[ \omega=\begin{cases} \eta&(m,n)=(0,0), \\ 1&(m,n)=(1,0),\\ -1&(m,n)=(0,1),\\ \frac{(-1)^n}{m+n}\left(\frac{m+n}{m}\right)B_{p-m-n}&p\geq m+n,m,n\geq 1,\\ 0&\text{otherwise}, \end{cases} \] \[ \eta=\begin{cases} 1&a=1,\\ \frac12&a\neq 1. \end{cases} \]
0 references
multiple zeta values
0 references
divisibility
0 references