Evaluation of the dimension of the \(\mathbb Q\)-vector space spanned by the special values of the Lerch function (Q2340433)

For \(x \in \mathbb R\) with \(x > 0\), \(k \in \mathbb N\) and \(z\in \mathbb C\) with \(|z| \leq 1\) and \((k,z) \neq (1,1)\), the Lerch zeta function is defined by \[ L(x, z; ~k) := \sum_{m =0}^{\infty} \frac{ z^{m+1}}{(m+x)^k}. \] When \(x=1\), \(L(x, z; ~k) = Li_k(z)\), the polylogarithm function. A classical result of \textit{E. M. Nikishin} [Math. USSR, Sb. 37, 381--388 (1980; Zbl 0441.10031)] established linear independence of certain special values polylogarithm functions over the field of rational numbers. In this article, the author generalizes the above result for certain special values of the Lerch zeta functions. In particular, the statement of main theorem is as follows; Let \(k \in \mathbb N, ~x = \frac{\alpha}{\beta} > 0\) and \(z = \frac{a}{b} < -1\) where \(\alpha, \beta, a, b \in \mathbb N\) with \(\beta, b > 0\). If the inequality \[ \begin{multlined} b^{k+1} ~< ~ |a| ~\text{exp} \Big( - \Big[ k^2 \Big( \log \beta + \sum_{p| \beta \atop {p \text{ prime }}} \frac{\log p}{p-1} + \beta \Big) \\ + ~(k-1) ( k \log k + (2k+1) \log 2) -k \Big]\Big) \end{multlined} \] holds, then the numbers \[ 1, ~L\left( x, ~\frac{1}{z}; ~ j \right), \phantom{m} 1\leq j \leq k \] are linearly independent over the field of rational numbers.