1 Introduction
Let ${\mathbb {N}}$ be a set of positive integers. For an index ${\boldsymbol k}=(k_1, \ldots , k_d)\in {\mathbb {N}}^d$ with $d\ge 1$ , the multiple polylog (MP) is a holomorphic function defined as
The series converges even at $|z|=1$ for an index ${\boldsymbol k}$ satisfying $k_1>1$ . Such index is called admissible. In particular, the special value of $\mathrm {Li}_{{\boldsymbol k}}(z)$ at $z=1$ for an admissible index ${\boldsymbol k}$ coincides with the multiple zeta value (MZV) defined by
The weight, depth, and height of ${{\boldsymbol k}}$ are defined by $\mathrm {wt}({\boldsymbol k})=\sum _{i=1}^d k_{i}$ , $\mathrm {dep}({\boldsymbol k})=d$ , and $\mathrm {ht}({\boldsymbol k})=\sharp \{i\mid k_i\geq 2\}$ , respectively. In 2001, Ohno and Zagier [Reference Ohno and Zagier17] defined the generating function of the sum of MPs (or the sum of MZVs) of a fixed weight, depth, and height, and then proved that the generating function is expressed as a Gaussian hypergeometric function, ${}_2F_1$ . In particular, the Ohno–Zagier formula implies that the sum of the MZVs of a fixed weight, depth, and height is a polynomial in terms of the Riemann zeta values.
In 2008, Li [Reference Li11] generalized the result due to Ohno–Zagier by extending the concept height to i-heights. The author described the generating function of the sum of MPs (or the sum of MZVs) of fixed weight, depth, and all i-heights in terms of the generalized hypergeometric function, ${}_{r+1}F_r$ .
Several studies have extended the formulas developed by Ohno–Zagier and/or by Li for variants of the MZVs (or MPs), such as for multiple zeta star-values, for the q-analog of multiple zeta (star) values, as well as for interpolated MZVs. See [Reference Aoki, Kombu and Ohno2–Reference Bradley5, Reference Li12–Reference Li and Wakabayashi14, Reference Ohno and Okuda16, Reference Okuda and Takeyama18–Reference Wakabayashi20, Reference Zhao22] for further details. The latest study by Li and Wakabayashi [Reference Li and Wakabayashi14] achieved the most extended result, providing a formula for the interpolated multiple q-zeta values for general i-heights.
In our paper, we extend the formula in a new direction. The Hurwitz zeta function
generalizes the Riemann zeta function and plays an important role in the number theory. Several authors have introduced multiple versions of Hurwitz zeta functions/values in slightly different ways and have studied various properties. See [Reference Kamano8, Reference Matsumoto15] for examples. In this paper, we introduce interpolated multiple Hurwitz polylogs (MHPs) and interpolated multiple zeta values (MHZs) and demonstrate a Ohno–Zagier type formula for general i-heights as the main result (Theorems 3.5 and 3.6). Consequently, the generating function of the Hurwitz zeta values of height one is expressed explicitly in terms of the generalized hypergeometric function, ${}_{3}F_2$ (Proposition 4.1). Furthermore, the generating function of the Hurwitz zeta values with indices in the form of $ {\boldsymbol k} = (n, n,\ldots , n)$ is expressed as ${}_{n+1}F_n$ (Theorem 4.3). Both of these results directly generalize the cases of typical MZVs. As one of the benefits describing the generating functions in terms of hypergeometric functions, a symmetry in the generating functions might be obtained through transformation formulas of the hypergeometric functions.
As an application, in Section 4, we discuss the MZVs with levels. Some authors have studied the properties of MZVs of level two in several different contexts (e.g., [Reference Hoffman7, Reference Kaneko and Tsumura9, Reference Kaneko and Tsumura10]). By specifying the Hurwitz parameter, we obtain the generating functions of MZVs with all levels.
In Section 2, several basic analytic properties, such as the convergence and differential formulas of (interpolated) MHPs/MHZs, are discussed. In Section 3, the generating function of the sum of (interpolated) MHPs is introduced, and the differential equation of the function is discussed. In Section 4, we present examples of the main theorem and its applications for MZVs with levels.
The results in this paper were obtained through discussions conducted at a master’s seminar held at Kindai University in 2018, for which all authors participated. An extension to the interpolated MHZs was subsequently obtained in 2020.
2 Multiple Hurwitz polylogs
Several authors have introduced multiple Hurwitz zeta values (MHZs) in specific contexts (e.g., [Reference Kamano8, Reference Matsumoto15]). In this section, we define a MHP, which generalizes both MPs (in one variable) and MHZs. Furthermore, we introduce an interpolated variant. Analytical properties, such as convergence and differential equations satisfied by interpolated MHPs, are then discussed.
Let ${\boldsymbol k}=(k_1,\dots ,k_d)\in {\mathbb {N}}^d$ be an index for $d\ge 1$ and $a\in {{\mathbb {C}}}$ with $a\notin {{\mathbb {Z}}}_{\le 0}$ . The multiple Hurwitz zeta (MHZ) value $\zeta ({\boldsymbol k};a)$ for the admissible ${\boldsymbol k}$ discussed in this paper is defined by the series
and the power series $\widetilde {\mathrm {Li}}_{{\boldsymbol k}}(z ;a)$ is defined as
Because $a\notin {\mathbb {Z}}_{\le 0}$ , the denominators in the RHSs of equations (2.1) and (2.2) never vanish.
Lemma 2.1 Let $ a \in {{\mathbb {C}}}$ with $ a \notin {{\mathbb {Z}}}_{\le 0}$ .
-
(i) The series $\widetilde {\mathrm {Li}}_{{\boldsymbol k}} (z ;a)$ converges absolutely in $|z|<1$ for any index ${\boldsymbol k}$ , and in $|z|\le 1$ for an admissible index ${\boldsymbol k}$ . Consequently, $\widetilde {\mathrm {Li}}_{{\boldsymbol k}} (z ;a)$ is a holomorphic function in $|z|< 1$ for any index ${\boldsymbol k}$ .
-
(ii) $\zeta ({\boldsymbol k};a)$ converges absolutely for an admissible index ${\boldsymbol k}$ .
Proof (i) Let $|z|\le 1$ . Applying $M=\min \{m\in {\mathbb {Z}}_{\ge 0}\mid {\Re }(m+a)\geq 1\},$ we have
for certain positive constants $C_i \ (0\le i\le d)$ (where $C_d$ can be 1). Because
for $m\ge M$ based on the definition of M, the following holds:
It is well known that the usual MP ${\mathrm {Li}}_{{\boldsymbol k}}(z)$ , defined as
converges absolutely at $|z|<1$ for any ${\boldsymbol k}$ , and even at $|z|=1$ for an admissible ${\boldsymbol k}$ . Indeed, ${\mathrm {Li}}_{{\boldsymbol k}}(1)$ agrees with MZVs $\zeta ({{\boldsymbol k}})$ . Hence, equation (2.4) is bounded from above. This concludes (i).
-
(ii) Because $\widetilde {\mathrm {Li}}_{{\boldsymbol k}} (1 ;a)=\zeta ({\boldsymbol k};a)$ for an admissible ${\boldsymbol k}$ , the assertion directly follows from (i).
The multiple Hurwitz polylog (MHP) is defined as
This yields a multivalued function in z on $|z|\le 1$ caused by the complex power $z^a$ . To make this a single-valued function, let R (respectively, $\overline {R}$ ) be a unit disc (respectively, a closed unit disc) with a slit
In addition, we choose the principal branch $\pi <\arg z\le \pi $ for $z\in R$ (respectively, $z\in \overline {R}$ ). Lemma 2.1(i) implies that $\mathrm {Li}_{{\boldsymbol k}}(z ;a)$ is single-valued and holomorphic in R for any index ${\boldsymbol k}$ and converges in $\overline {R}$ for an admissible ${\boldsymbol k}$ .
When $a = 1$ , $\mathrm {Li}_{{\boldsymbol k}}(z ;a)$ reduces to the usual MP
and to the MHZs when $z = 1$ for an admissible ${\boldsymbol k}$ , that is, $\mathrm {Li}_{{\boldsymbol k}}(1 ;a)=\zeta ({\boldsymbol k};a)$ . The differential formula behaves better for $\mathrm {Li}_{{\boldsymbol k}}(z ;a)$ than $\widetilde {\mathrm {Li}}_{{\boldsymbol k}}(z ;a)$ . The lemma below is generalized in Proposition 2.3.
Lemma 2.2 Let ${\boldsymbol k}=(k_1, \ldots , k_d)\in {\mathbb {N}}^d$ . The MHP satisfies the following:
and $\frac {d}{dz}\mathrm {Li}_{(1)}(z; a)=z^a/(1-z)$ for $z\in R$ .
Proof It is easy to confirm this by a termwise differentiation of $\mathrm {Li}_{{\boldsymbol k}}(z ;a)$ .
Except for formula of $\mathrm {Li}_{1}(z; a)$ , the differential formula of the usual MP $\mathrm {Li}_{{\boldsymbol k}}(z)$ is the same in appearance as that of Lemma 2.2. Therefore, we expect the generating function of the Ohno–Zagier type for the MHPs to behave similar to that of the MPs.
For generalization, using Yamamoto’s method in [Reference Yamamoto21], let us define the t-multiple Hurwitz polylog (t-MHP), and t-multiple Hurwitz zeta value (t-MHZ) as
where, in each summation, ${\boldsymbol p}$ runs over all indices of the form ${\boldsymbol p}=(k_1\Box k_2\Box \cdots \Box k_d)$ obtained by filling in boxes $\Box $ with symbols “ ” or “ $+$ ,” and $\sigma ({{\boldsymbol p}}):=d-\mathrm {dep}\,{\boldsymbol p}$ , or the number of boxes in which “ $+$ ” is filled in.
The star-type MHP (MHSP) and the star-type MHZ (MHSZ) are, respectively, defined for $a\notin {\mathbb {Z}}_{\le 0}$ as
The t-MHP (respectively, t-MHZ) is a polynomial in t and interpolates the MHP (respectively, MHZ) at $t=0$ and MHSP (respectively, MHSZ) at $t=1$ , i.e., $\mathrm {Li}^0_{{\boldsymbol k}}(z;a)=\mathrm {Li}_{{\boldsymbol k}}(z ;a)$ and $\mathrm {Li}^1_{{\boldsymbol k}}(z;a)=\mathrm {Li}^{\star }_{{\boldsymbol k}}(z ;a)$ (respectively, ${\zeta }^0({\boldsymbol k} ;a)={\zeta }({\boldsymbol k} ;a)$ and ${\zeta }^1({\boldsymbol k} ;a)={\zeta }^{\star }({\boldsymbol k} ;a)$ ). See the summary in Table 1.
When ${\boldsymbol k}$ is an index of depth $1$ , $\mathrm {Li}^t_{{\boldsymbol k}}(z;a)=\mathrm {Li}_{{\boldsymbol k}}(z;a)$ clearly holds by definition.
The t-MHP satisfies the following differential relation.
Proposition 2.3 Let ${\boldsymbol k}=(k_1, \ldots , k_d)\in {\mathbb {N}}^d$ . The t-MHP satisfies
and $\frac {d}{dz}\mathrm {Li}^{t}_{(1)}(z; a)=z^a/(1-z)$ for $z\in R$ .
Proof The former case follows easily from the former formula provided in Lemma 2.2 and equation (2.5). For the latter case, we have
Because $\mathrm {Li}^{t}_{(1)}(z; a)=\mathrm {Li}_{(1)}(z; a)$ , the last assertion follows from Lemma 2.2.
3 Generating function of MHPs
Following previous studies [Reference Li11, Reference Li and Wakabayashi14, Reference Ohno and Zagier17], we introduce the generating function of the MHPs as follows:
For $i\in {\mathbb N}$ , we define the i-th height of ${{\boldsymbol k}}=(k_{1},\ldots ,k_d)\in {\mathbb {N}}^d$ as i-ht $({{\boldsymbol k}})= \sharp \{l\, |\, k_{l}> i\}$ . The usual height coincides with the $1$ -height, that is, $1$ -ht $({{\boldsymbol k}})=$ ht $({\boldsymbol k})$ . For a fixed $r\in {\mathbb N}$ , and any integers $k,d,h_{1},\ldots ,h_{r}\geq 0$ , and $0\le j\le r-1$ , we define the set of indices as
Clearly, $\{I_j\}$ gives a decreasing filtration of I:
Note that
For $k,d,h_{1},\ldots ,h_{r}\geq 0$ , the sums of the MHPs of a fixed weight, depth, and ith heights for all $1\le i \le r$ , are defined as
Each sum is understood to be zero if $I(k,d,h_{1},\ldots ,h_{r})$ or if $I_j(k,d,h_{1},\ldots ,h_{r})$ is empty except when $(k,d,h_{1},\ldots ,h_{r})=(0,0,0, \ldots , 0)$ for $G^t$ . In this case, we conventionally apply
It should be noted that $c^0(z)=z^{a}$ and $c^1(z)=z^{a+1}$ .
Lemma 3.1 Put $h=\sum _{j=1}^rh_j$ .
-
(1) For $k\geq d+h,\ d\geq h_{1}\geq \cdots \geq h_{r}\geq 1$ , we have
$$ \begin{align*} &\dfrac{d}{dz}G^t_{r-1}(k,d,h_{1},\ldots,h_{r}; z ;a)\\& \quad =\dfrac{1}{z}\{G^t_{r-1}(k-1,d,h_{1},\ldots,h_{r}; z ;a) +G^t_{r-2}(k-1,d,h_{1},\ldots,h_{r-1},h_{r}-1; z ;a)\\& \qquad\quad -G^t_{r-1}(k-1,d,h_{1},\ldots,h_{r-1},h_{r}-1, z ;a)\}.\end{align*} $$ -
(2) For $k\geq d+h,\ d\geq h_{1}\geq \cdots \geq h_{r}\geq 0$ , and $h_{j+1}\geq 1$ ( $1\leq j\leq r-2$ ), we have
$$ \begin{align*} &\dfrac{d}{dz}\left\{G^t_{j}(k,d,h_{1},\ldots,h_{r}; z ;a)-G^t_{j+1} (k,d,h_{1},\ldots,h_{r}; z ;a)\right\}\\& \quad = \dfrac{1}{z}\{G^t_{j-1}(k-1,d,h_{1}, \ldots,h_{j},h_{j+1}-1,h_{j+2},\ldots,h_{r}; z ;a)\\& \qquad \quad -G^t_{j}(k-1,d,h_{1},\ldots,h_{j},h_{j+1}-1,h_{j+2},\ldots,h_{r}; z ;a)\}. \end{align*} $$ -
(3) For $k\geq d+h,\ d\geq h_{1}\geq \cdots \geq h_{r}\geq 0$ , and $h_{1}\geq 1$ , we have
$$ \begin{align*} & \kern-6pt\dfrac{d}{dz}\left\{G^t_{0}(k,d,h_{1},\ldots,h_{r}; z ;a)-G^t_{1}(k,d,h_{1},\ldots,h_{r}; z ;a)\right\}\\& \kern-6pt\quad =\dfrac{1}{z}\{G^t(k-1,d,h_{1}-1, h_2, \ldots, h_{r}; z ;a) -G^t_{0}(k-1,d,h_{1}-1,h_2, \ldots,h_{r}; z ;a)\}. \end{align*} $$ -
(4) For $k\geq d+h,\ d\geq h_{1}\geq \cdots \geq h_{r}\geq 0,\ d\geq 2$ , we have
$$ \begin{align*} &\dfrac{d}{dz}\left\{G^t(k,d,h_{1},\ldots,h_{r}; z ;a)-G^t_{0}(k,d,h_{1},\ldots,h_{r}; z ;a)\right\}\\& \quad =\left(\dfrac{t}{z}+\dfrac{1}{1-z}\right)G^t(k-1,d-1,h_{1},\ldots,h_{r}; z ;a). \end{align*} $$
Proof Each of these cases can be shown in the same way as in Lemma 2.2 in [Reference Li11] (or in Lemma 6 in [Reference Li and Wakabayashi14]) by replacing their function $G_j$ or $G^t_j$ with Hurwitz-type $G^t_{j}(k,d,h_{1},\ldots ,h_{r}; z; a)$ .
Remark
For a fixed $r\in {\mathbb {N}}$ , we define the generating functions
as a formal power series in $x_1, \ldots , x_{r+2}$ by
where $\sum _{j=1}^r h_j$ is abbreviated as h to shorten the equation. The notations $\Phi ^{t, (r)}:=\Phi ^t$ and $\Phi ^{t, (r)}_{j}:=\Phi ^t_{j}$ are used to emphasize the dependence on r. Note that for $r\in {\mathbb {N}}$ ,
These generating functions satisfy the following differential equations. Let $D=z\frac {d}{dz}$ be the Euler operator.
Proposition 3.2 $\Phi ^t$ and $\Phi ^t_j$ satisfy:
-
(1) $D\Phi ^t_{r-1}=x_{1}\Phi ^t_{r-1}+\dfrac {x_{r+2}}{x_{r+1}}(\Phi ^t_{r-2}-\Phi ^t_{r-1})$ ,
-
(2) $D(\Phi ^t_{j}-\Phi ^t_{j+1})=\dfrac {x_{j+3}}{x_{j+2}}(\Phi ^t_{j-1}-\Phi ^t_{j})\qquad (1\le j\le r-2),$
-
(3) $D(\Phi ^t_{0}-\Phi ^t_{1})=\dfrac {x_{3}}{x_{2}}(\Phi ^t-\Phi ^t_{0}-c^t(z)),$
-
(4) $D(\Phi ^t-\Phi ^t_{0}-c^t(z))=\left (t+\dfrac {z}{1-z}\right )x_2 \Phi ^t$ ,
where $c^t(z)={z^{a}}/(z+t (1-z))$ is a constant term of $\Phi ^t$ defined in equation (3.1).
Proof (1) and (2) can be shown in the same way as Lemma 2.2 in [Reference Li11] (or Lemma 6 in [Reference Li and Wakabayashi14]) by replacing their function $\Phi ^t$ (respectively, $\Phi ^t_j$ ) with our Hurwitz-type $\Phi ^t(x_1,\dots ,x_{r+2}; z; a)$ (respectively, $\Phi ^t_j(x_1,\dots ,x_{r+2}; z; a)$ ). We will next demonstrate (3) and (4). In the following, $h=\sum _{j=1}^r h_j$ . For (3), because
by applying Lemma 3.1(3), we have
By shifting the indices $k-1$ to k, and $h_1-1$ to $h_1$ in the sum above,
Hence, (3) can be proven. For (4), because
by applying Lemma 3.1(4) and based on the fact mentioned in Remark (ii) above, we have
By shifting the indices $k-1$ to k, and $d-1$ to d in the sum above,
This shows that (4) holds and thus completes the proof.
Let us define
Proposition 3.3 We have the following:
-
(1) $Dy_{0}=x_{1}y_{0}+\dfrac {x_{r+2}}{x_{r+1}}y_{1}$ ,
-
(2) $Dy_{j}=\dfrac {x_{r+2-j}}{x_{r+1-j}}y_{j+1}\qquad (1\le j\le r-2)$ ,
-
(3) $Dy_{r-1}=\dfrac {x_{3}}{x_{2}}(y_{r}-c^t(z))$ ,
-
(4) $D(y_{r}-c^t(z))=\left (t+\dfrac {z}{1-z}\right )x_{2} \displaystyle \sum _{j=0}^r y_j$ ,
-
(5) $y_{j}=\dfrac {x_{r+2-j}}{x_{r+2}}D^{j}y_{0}-\dfrac {x_{1}x_{r+2-j}}{x_{r+2}}D^{j-1}y_{0}\qquad (1\le j\le r-1)$ ,
-
(6) $y_{r}-c^t(z)=\dfrac {x_{2}}{x_{r+2}}D^{r}y_{0}-\dfrac {x_{1}x_{2}}{x_{r+2}}D^{r-1}y_{0}$ .
Proof Because $\Phi ^t=\sum _{j=0}^ry_j$ and $\Phi ^t_0=\sum _{j=0}^{r-1}y_j$ , (1)–(4) are rewriting of Proposition 3.2. In addition, (5) is proven through the induction of j and (2). To prove (6), using (5) and (3), we have
Proposition 3.4 Here, $y_{0}=\Phi ^t_{r-1}$ satisfies the following condition:
Proof Proposition 3.3(6) implies that
Furthermore, Proposition 3.3(5) and (6) give
Substituting equations (3.2) and (3.3) into the equation
in Proposition 3.3(4), we have
By multiplying both sides by $(1-z)x_2^{-1}x_{r+2}$ ,
Hence, we obtain the following desired equation:
Let $\mathcal {P}_1(X)=\mathcal {P}^{\, t}_1(X;x_1,\ldots , x_{r+2})$ and $\mathcal {P}_2(X)=\mathcal {P}^{\, t}_2(X;x_1,\ldots , x_{r+2})$ be polynomials of degree $r+1$ in X defined by
Note that
are valid for any values of parameters s and t. The polynomial
satisfies
by virtue of Proposition 3.4. Let $\{-\alpha _j\}$ and $\{-\beta _j\}$ be the zeros of $\mathcal {P}_2(X)$ and $\mathcal {P}_1(X)$ respectively, that is,
Because the identity as an operator $ \mathcal {L}(D)z^{a}=z^{a} \mathcal {L}(D+a) $ holds, by applying $\widetilde {\Phi }^t_{r-1}:=z^{-a}\Phi ^t_{r-1}$ and dividing equation (3.4) by $z^{a}$ , we obtain
Applying D to both sides to make this a homogeneous equation, we have
or equivalently,
The generalized hypergeometric function
where $[b]_m=\prod _{i=0}^{m-1} (b+i)$ , is a solution to the differential equation
which is holomorphic at $z=0$ . See [Reference Andrews, Askey and Roy1, Reference Gasper and Rahman6] for further details.
Theorem 3.5 Letting $z\in R$ and $a\in {\mathbb {C}}$ with $a\not \in {\mathbb {Z}}_{\leq 0}$ , we have
where $\{\alpha _{j}\}$ and $\{\beta _{j}\}$ are defined as in equation ( 3.5 ).
Proof Applying $\Phi ^{t}_{r-1}=\Phi ^{t}_{r-1}(x_{1},\ldots ,x_{r+2}; z; a)$ and $\widetilde {\Phi }^{t}_{r-1}=\widetilde {\Phi }^t_{r-1}(x_{1},\ldots ,x_{r+2}; z; a)$ , from equations (3.7) and (3.8), we have
for a constant C, which is independent of z. This shows that C is the constant term of $\widetilde {\Phi }^t_{r-1}$ . Equation (3.6) shows that
The constant terms of both sides of equation (3.11) give the equation $\mathcal {P}_1(a)C=x_{r+2}$ , and thus $C=x_{r+2}/\mathcal {P}_1(a)$ . Because $\Phi ^t_{r-1}=z^{a}\widetilde {\Phi }^t_{r-1}$ , this completes the proof of equation (3.9). Equation (3.10) can be easily obtained by shifting the parameters in the hypergeometric function in equation (3.9).
Theorem 3.6 Letting $z\in R$ and $a\in {\mathbb {C}}$ with $a\not \in {\mathbb {Z}}_{\leq 0}$ , we have
where
$\genfrac {\{}{\}}{0pt}{}{n}{m}$ is the Stirling number of the second kind, and $\{\alpha _j\}$ and $\{\beta _j\}$ are defined in equation ( 3.5 ).
Proof Applying $\Phi ^t_{0}=\Phi ^t_{0}(x_{1},\ldots ,x_{r+2}; z; a)$ , the equation
obtained in the same way as in Theorem 2.2 in [Reference Li11], and equation (3.9) demonstrate the theorem.
Note that the product on the right-hand side is computed as follows:
4 Special cases and applications
4.1 The case of $r=1$
4.1.1 The case of height one: $h_1=1$
When $r=1$ , Theorems 3.5 and 3.6 reduce to
where
To examine the terms of height one in $\Phi ^t_{0}(x_{1}, x_2, x_{3}; z; a)$ , dividing both sides of equation (4.1) (resp. equation (4.2)) by $x_3$ , and applying $x_3=0$ , ${\mathcal {P}_1(X)}=(X-x_1)(X-tx_2)$ and ${\mathcal {P}_2(X)}=(X-x_1)(X-(t-1)x_2)$ yield the following.
Proposition 4.1 We then have
In particular, when $z=1$ , we have
By substituting $a=0$ and $t=0$ into equations (4.3) and (4.4), respectively, we obtain the following:
The left-hand side of equation (4.5) should be symmetric in $x_1$ and $x_2$ based on the duality for MZVs of height 1; that is, $\zeta (i+1, \{1\}_{j-1})=\zeta (j+1, \{1\}_{i-1})$ for $i, j\in {\mathbb {N}}$ . The corresponding symmetry on the right-hand side of equation (4.5) is given by equation (4.6) or is given directly by the known transformation (see e.g., [Reference Gasper and Rahman6])
for ${}_{3}F_{2}$ , where $\Re (c_2-b_1)>0$ and $\Re (c_1+c_2-b_1-b_2-b_3)>0$ when substituting
4.1.2 Application to t-values
The generating functions associated with the “t-values” defined below are described by hypergeometric functions ${}_{3}F_{2}$ as a simple application of Proposition 4.1.
Let $a=p/q\in {\mathbb {Q}}$ with $-1<a\le 0$ , where p and q are coprime integers, and $q>0$ . We introduce a variant of MZVs for an admissible index ${\boldsymbol k}\in {\mathbb {N}}^d$ as
Note that
By substituting $z=1$ , $a=p/q$ , $t=0$ , $qx_1=X_1$ , and $qx_2=X_2$ into Proposition 4.1, we obtain the following.
For example, cases $q\le 4$ are given by
4.2 The case of ${\boldsymbol k}=(n, \ldots , n)$
Letting $n\in {\mathbb {N}}$ with $n\ge 2$ , when $r=n-1$ , we substitute $x_1=\cdots =x_n=0$ into equations (3.9) and (3.10).
Theorem 4.3 For $n\ge 2$ , we have
where
As an alternative proof, equation (4.7) can be proven by computing the coefficients of the hypergeometric series on the right-hand side. Although the computation is slightly complicated, it is worth noting. For $m\ge 1$ , the following holds:
Hence, we have
Acknowledgment
The authors would like to thank the anonymous referees for providing their valuable comments, which were used to improve this paper.