Abstract:We prove some weighted sum formulas for half multiple zeta values, half finite multiple zeta values, and half symmetric multiple zeta values. The key point of our proof is Dougall's identity for the generalized hypergeometric function ${}_{5}F_{4}$. Similar results for interpolated refined symmetric multiple zeta values and half refined symmetric multiple zeta values are also discussed.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the proof of the weighted sum formulas for half - multiple zeta values (half multiple zeta values, half finite multiple zeta values, and half symmetric multiple zeta values). Specifically, the authors aim to prove the weighted sum formulas for these half - multiple zeta values through the identity of Dougall's generalized hypergeometric function \( {}_5F_4 \).
### Overview of Main Problems
1. **Weighted Sum Formulas**: The main objective of the paper is to prove some specific types of weighted sum formulas, especially for half - multiple zeta values, half finite multiple zeta values, and half symmetric multiple zeta values. These formulas are of great significance in number theory as they reveal the linear relationships between different types of multiple zeta values.
2. **Interpolated Multiple Zeta Values**: In addition, the paper also discusses similar results for interpolated refined symmetric multiple zeta values and half - refined symmetric multiple zeta values. Interpolated multiple zeta values are obtained by parametrically extending the standard multiple zeta values, which provides more flexibility and tools for studying multiple zeta values.
3. **Application of Mathematical Tools**: The authors use Dougall's identity as a key tool, which is an important identity involving the generalized hypergeometric function \( {}_5F_4 \). Through this method, they are able to derive the required weighted sum formulas.
### Formula Representation
The main formulas in the paper include:
- For positive integers \( r < k \), we have:
\[
\sum_{k \in I_r(k,r)} 2^{kr} \zeta_{\frac{1}{2}}(k) = \frac{1}{2^{r - 2}}\left\{2^{k - 1}-1+\sum_{n = 0}^{r - 1}\binom{k - 1}{n}\right\}\zeta(k)
\]
- For positive integers \( 1\leq i\leq r < k \), we have:
\[
\sum_{k \in I_i(k,r)} (2^{k_i - 2}-1)\zeta_{\frac{1}{2}}^F(k)=(-1)^i\frac{(-1)^r-(-1)^k}{2^r}\left\{\sum_{u = 0}^{2k - 1 - i - 1}\binom{k - 1}{u}-\sum_{v = 0}^{r - i}\binom{k - 1}{v}\right\}Z_F(k)
\]
where \( Z_F(k) \) is defined as:
\[
Z_F(k)=
\begin{cases}
\left(\frac{B_{p - k}}{k}\bmod p\right)_p & \text{if } F = A\\
\zeta(k)\bmod\zeta(2)\mathbb{Z} & \text{if } F = S
\end{cases}
\]
### Conclusion
Through the above formulas, the authors have successfully proven the weighted sum formulas for half - multiple zeta values and their variants. These results not only deepen the understanding of multiple zeta values but also provide a theoretical basis for further research in related fields.