Abstract:We present a new proof of the irrationality of values of the series $T_q(z)=\sum_{n=0}^\infty z^nq^{-n(n-1)/2}$ in both qualitative and quantitative forms. The proof is based on a hypergeometric construction of rational approximations to $T_q(z)$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove the irrationality of the value of Tschakaloff series \(T_q(z)\) under certain conditions. Specifically, the author Wadim Zudilin provides a new elementary proof to show that when \(q\) and \(z\) are non - zero rational numbers and satisfy specific conditions, \(T_q(z)\) is irrational.
### Problem Background
The Tschakaloff series is defined as:
\[T_q(z)=\sum_{n = 0}^{\infty}z^nq^{-\frac{n(n - 1)}{2}}\]
where \(|q|>1\) and it converges for all \(z\) in the complex plane.
L. Tschakaloff first introduced this series in 1919 and proved the irrationality and linear independence of its values at certain rational points. His method was based on the work of O. Szász, who studied similar functions in special cases. In addition, F. Bernstein and O. Szász also provided proofs of the irrationality of the function values at certain rational points using the method of continued fractions.
### Main Contribution of the Paper
The main contribution of this paper is to provide a new and more elementary proof method to verify the irrationality of the Tschakaloff series. Specifically, the author uses the method of hypergeometric construction to construct rational approximations of \(T_q(z)\) and proves the irrationality of \(T_q(z)\) through these approximations.
### Main Theorem
The main theorem in the paper is as follows:
**Theorem**: Let \(q=\frac{q_1}{q_2}\) and \(z\) be non - zero rational numbers, where \(|q|>1\) and \(q_1,q_2\in\mathbb{Z}\). Assume that the non - negative number
\[\gamma=\frac{\log|q_2|}{\log|q_1|}\]
satisfies \(\gamma<\gamma_0=\frac{3-\sqrt{5}}{2}\). Then \(T_q(z)\) is irrational. Moreover, for any \(\varepsilon>0\), there exists a positive constant \(b_0(\varepsilon)\) such that for all integers \(a\) and \(b\) (where \(|b|\geq b_0(\varepsilon)\)), we have:
\[\left|T_q(z)-\frac{a}{b}\right|>\frac{1}{|b|^{1+\frac{\sqrt{5}-1}{2}(\gamma_0-\gamma)+\varepsilon}}\]
### Proof Method
The author obtains a series of expressions for rational approximations of \(T_q(z)\) by constructing polynomials \(R_n(T;q)\) and using their properties. By analyzing the asymptotic behavior of these approximations, the irrationality of \(T_q(z)\) is finally proved.
### Related Results and Prospects
Although this paper only proves the irrationality of \(T_q(z)\) under the condition \(\gamma<\gamma_0\), it is expected that this assumption can be relaxed, that is, for all \(z\in\mathbb{Q}\setminus\{0\}\) and \(q\in\mathbb{Q}\) (where \(|q|>1\)), \(T_q(z)\) is irrational. This is still an open problem.
In addition, the Tschakaloff function can be regarded as half of a certain theta series. Nesterenko's transcendence theorem shows that when \(q\) is an algebraic number and \(|q|>1\), \(z = q^k\) (where \(k\in\mathbb{Z}\))