Abstract:We construct continued fraction expansions for several families of the Laurent series in $\mathbb{Q}[[t^{-1}]]$. To the best of the author's knowledge, this is the first result of this kind since Gauss derived the continued fraction expansion for $(1+t)^r$, $r\in\mathbb{Q}$ in 1813. As an application, we apply an analogue of the hypergeometric method to one of those families and derive non-trivial lower bounds on the distance $|x - \frac{p}{q}|$ between one of the real roots of $3x^3 - 3tx^2-3ax+at$, $a,t\in\mathbb{Z}$ and any rational number, under relatively mild conditions on the parameters $a$ and $t$. We also show that every cubic irrational $x\in\mathbb{R}$ admits a (generalised) continued fraction expansion in a closed form that can be explicitly computed. Finally, we provide an infinite series of cubic irrationals $x$ that have arbitrarily (but finitely) many better-than-expected rational approximations. That is, they are such that for any $\tau< 3+\frac{15\ln 2}{24}\approx 3.4332...$ the inequality $||qx|| < (H(x)^{\tau} qe^{c\sqrt{\ln q}})^{-1}$ has many solutions in integer $q$.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to construct continued fraction expansions for certain types of cubic Laurent series and use these expansions to improve the rational approximation estimates for cubic irrational numbers of specific forms. Specifically, the author has addressed the following aspects:
1. **Construction of continued fraction expansions**: The paper constructs continued fraction expansions for several families of cubic Laurent series in Q[[t−1]]. To the author's knowledge, this is the first time since Gauss derived the continued fraction expansion for \((1 + t)^r\) (where \(r\in\mathbb{Q}\)) in 1813 that continued fraction expansions have been constructed for algebraic series of higher degrees.
2. **Effective rational approximation**: As an application, the author uses techniques similar to hypergeometric methods to give a non - trivial effective lower bound for the distance between a real root of a cubic equation of a specific form and any rational number. Specifically, for a real root \(x\) of the equation \(3x^3-3tx^2 - 3ax+at = 0\) and any rational number \(\frac{p}{q}\), under certain conditions on the parameters \(a\) and \(t\), an effective lower bound for the distance \(|x-\frac{p}{q}|\) is given.
3. **Explicit calculation of generalized continued fractions**: The author proves that every real cubic irrational number \(x\) can be represented in the form of a generalized continued fraction, and this continued fraction can be explicitly calculated.
4. **Rational approximation beyond expectation**: The paper also shows that there are infinitely many families of real cubic irrational numbers with better rational approximations than expected. That is, for any \(\tau<3+\frac{15\ln 2}{24}\approx3.4332\), there exists a constant \(c > 0\) such that the inequality
\[
||qx||<\left(H(x)^\tau q e^{\sqrt{\ln q}}\right)^{-1}
\]
has multiple integer solutions \(q\).
### Main contributions
- **Innovation**: This is the first time since Gauss that continued fraction expansions have been constructed for algebraic series of degree three or higher.
- **Effectiveness**: Provides effective rational approximation estimates for some cubic irrational numbers, improving the results of Liouville's theorem.
- **Explicit representation**: Gives an explicit expression of the generalized continued fraction for all real cubic irrational numbers.
- **Approximation beyond expectation**: Discovers families of real cubic irrational numbers with better rational approximations than expected.
### Formula summary
- For a real root \(x\) of the equation \(3x^3 - 3tx^2-3ax + at = 0\) and any rational number \(\frac{p}{q}\), under certain conditions on the parameters \(a\) and \(t\), the effective lower bound for the distance \(|x-\frac{p}{q}|\) is:
\[
||q\xi||>\frac{(\log c_3)^{1/2}}{6\tau_1 c_2^2(2\tau_2)^{\log c_2/\log c_3}}\cdot q^{-\log c_2/\log c_3\cdot\log(2\tau_2 q)-\log c_2/\log c_3-\frac{1}{2}}
\]
where \(c_1, c_2, c_3, \tau_1, \tau_2\) are constants depending on \(a\) and \(t\).
Through the solutions to these problems, the paper provides new perspectives and tools for the study of continued fraction theory and rational approximation of cubic irrational numbers.