Linear independence of values of a certain Lambert series (Q927790)

The main results of this paper is the following theorem. Theorem: Let \(K\) be either \(\mathbb Q\) or an imaginary quadratic number field, and let \(O_K\) be the ring of integers of \(K\). Assume that \(q\in O_K\) with \(| q| >1\). Then 1, \(\sum_{k=1}^\infty \frac 1{q^{2k-1}+1}\) and \(\sum_{k=1}^\infty \frac {(-1)^k}{q^{2k-1}+1}\) are linearly independent over \(K\) and, moreover, there exists a constant \(a=a(q)\in \mathbb R^+\), such that, for any \((Q_0,Q_1,Q_2)\in Q_K^3\) and sufficiently large enough \(Q=\max(| Q_1| ,| Q_2|)\) \[ \biggl| Q_0+ Q_1\sum_{k=1}^\infty \frac 1{q^{2k-1}+1}+ Q_2\sum_{k=1}^\infty \frac {(-1)^k}{q^{2k-1}+1}\biggr|\geq Q^{-\frac{19\pi^2+66}{8\pi^2-66}- a\frac{(\log\log Q)^2}{(\log Q)^{\frac 12}}}. \] The proof is based on the expressions and approximations of special integrals.