Continued fractions for quadratic elements in formal power series

There exist certain quadratic elements α∈?((t ^?1)) over the rational function field ?(t) having nonperiodic continued fraction expansion, see W.M. Schmidt in (Acta Arith. 95(2):139–166, 2000). Hence we need a modification of Lagrange’s theorem with regard to function fields instead of number fields. In this paper, we introduce a class of continued fractions and describe Lagrange’s theorem as a conjecture related to quadratic elements over ?(t). We give some examples which support our conjecture.     

Continued fractions for linear fractional transformations of power series

We present an algorithm to produce the continued fraction expansion of a linear fractional transformation of a power series. Giving an application, we demonstrate that the behavior of the algorithm is intimately related with the continued fraction expansions of certain algebraic power series over finite fields.     

Continued fractions for hyperquadratic power series over a finite field

An irrational power series over a finite field of characteristic p is called hyperquadratic if it satisfies an algebraic equation of the form x=(Ax^r+B)/(Cx^r+D), where r is a power of p and the coefficients belong to . These algebraic power series are analogues of quadratic real numbers. This analogy makes their continued fraction expansions specific as in the classical case, but more sophisticated. Here we present a general result on the way some of these expansions are generated. We apply it to describe several families of expansions having a regular pattern.     

Continued fractions for some alternating series

We discuss certain simple continued fractions that exhibit a type of “self-similar” structure: their partial quotients are formed by perturbing and shifting the denominators of their convergents. We prove that all such continued fractions represent transcendental numbers. As an application, we prove that Cahen's constant $$C = \sum\limits_{i \geqslant 0} {\frac{{( - 1)^i }}{{S_i - 1}}}$$ is transcendental. Here (S _n ) isSylvester's sequence defined byS ₀=2 andS _n+1 =S _n ² ?S _n +1 forn≥0. We also explicitly compute the continued fraction for the numberC; its partial quotients grow doubly exponentially and they are all squares.     

Continued fractions for square series generating functions

We consider new series expansions for variants of the so-termed ordinary geometric square series generating functions originally defined in the recent article titled “Square Series Generating Function Transformations” (arXiv:1609.02803). Whereas the original square series transformations article adapts known generating function transformations to construct integral representations for these square series functions enumerating the square powers of \(q^{n^2}\) for some fixed non-zero q with \(|q| < 1\), we study the expansions of these special series through power series generated by Jacobi-type continued fractions, or J-fractions. We prove new exact expansions of the hth convergents to these continued fraction series and show that the limiting case of these convergent generating functions exists as \(h \rightarrow \infty \). We also prove new infinite q-series representations of special square series expansions involving square-power terms of the series parameter q, the q-Pochhammer symbol, and double sums over the q-binomial coefficients. Applications of the new results we prove within the article include new q-series representations for the ordinary generating functions of the special sequences, \(r_p(n)\), and \(\sigma _1(n)\), as well as parallels to the examples of the new integral representations for theta functions, series expansions of infinite products and partition function generating functions, and related unilateral special function series cited in the first square series transformations article.     

Conditions for the algebraic independence of certain series involving continued fractions and generated by linear recurrences

The main theorem of this paper, proved using Mahler's method, gives a necessary and sufficient condition for the values Θ(x,a,q) at any distinct algebraic points to be algebraically independent, where Θ(x,a,q) is an analogue of a certain q-hypergeometric series and generated by a linear recurrence whose typical example is the sequence of Fibonacci numbers. Corollary 1 gives Θ(x,a,q) taking algebraically independent values for any distinct triplets (x,a,q) of nonzero algebraic numbers. Moreover, Θ(a,a,q) is expressed as an irregular continued fraction and Θ(x,1,q) is an analogue of q-exponential function as stated in Corollaries 3 and 4, respectively.     

The algebraic independence of certain transcendental continued fractions

In the present note the algebraic independence of certain continued fractions is proved. Especially, we prove that the Böhmer-Mahler's series \(\sum\limits_{K = 1}^\infty {\left[ {\omega _v k} \right]} {\text{ }}g_\mu ^{ - k} \left( {1 \leqslant \mu \leqslant s,1 \leqslant v \leqslant t} \right)\) are algebraically independent, where \(\mathop \omega \nolimits_1 {\text{ , }}...{\text{ , }}\mathop \omega \nolimits_{\text{t}} \) , ..., \(\mathop g\nolimits_1 {\text{ , }}...{\text{ , }}\mathop g\nolimits_s \) are some irrational numbers andg ₁, ...,g _s are distinct positive integers.     

Branched continued fractions for double power series

A branched continued fraction (BCF) is defined and some of their properties are shown. This branched continued fraction corresponds to the double power series. One theorem of Van Vleck is transformed for the case of double power series and BCF.     

Finiteness results concerning algebraic power series

We construct an explicit filtration of the ring of algebraic power series by constructible sets, measuring the complexity of these series. As an example of use of this, we give a bound on the dimension of the set of algebraic power series of bounded complexity lying on an algebraic variety defined over the field of power series.     

On the transcendence and algebraic independence of certain continued fractions

The transcendence of continued fractions =[a ₀;a ₁,a ₂,...] is proved under growth conditions involving the denominatorsq _n of the convergents and shifted partial quotientsa _n+k . Extending this idea, conditions for the algebraic independence of several continued fractions are given. The proofs use the approximation properties of continued fractions in combination with the Thue-Siegel-Roth Theorem or a criterion for algebraic independence of Bundschuh.     

Continued fractions for some transcendental numbers

We consider series of the form

$$\begin{aligned} \frac{p}{q} +\sum _{j=2}^\infty \frac{1}{x_j}, \end{aligned}$$

where \(x_1=q\) and the integer sequence \((x_n)\) satisfies a certain non-autonomous recurrence of second order, which entails that \(x_n|x_{n+1}\) for \(n\ge 1\). It is shown that the terms of the sequence, and multiples of the ratios of successive terms, appear interlaced in the continued fraction expansion of the sum of the series, which is a transcendental number.

     

Simplifying method for algebraic approximation of certain algebraic numbers

A new simple method for approximating certain algebraic numbers is developed. By applying this method, an effective upper bound is derived for the integral solutions of the quartic Thue equation with two parameters $tx^4 - 4sx^3 y - 6tx^2 y^2 + 4sxy^3 + ty^4 = N$ , where s > 32t ³. As an application, Ljunggren’s equation is solved in an elementary way.     

Notes on an inequality for sections of certain power series

Research supported in part by Post-Doctoral Fellowship at Dalhousie University.     

On the power series coefficients of certain quotients of Eisenstein series

In their last joint paper, Hardy and Ramanujan examined the coefficients of modular forms with a simple pole in a fundamental region. In particular, they focused on the reciprocal of the Eisenstein series . In letters written to Hardy from nursing homes, Ramanujan stated without proof several more results of this sort. The purpose of this paper is to prove most of these claims.