Lacunary formal power series and the Stern-Brocot sequence
Let be a real lacunary formal power series, where and . It is known that the denominators of the convergents of its continued fraction expansion are polynomials with coefficients , and that the number of nonzero terms in is the th term of the Stern-Brocot sequence. We show that replacing the index by any 2-adic integer makes sense. We prove that is a polynomial if and only if . In all the other cases is an infinite formal power series, the algebraic properties of which we discuss in the special case .