On the generating function of the integer part: \([n\alpha{}+ \gamma{}]\)
type: Item
instance of: scholarly article
title: On the generating function of the integer part: \([n\alpha{}+ \gamma{}]\)
zbMATH Open document ID: 0778.11039
published in: Journal of Number Theory
publication date: 1993-06-29T00:00:00Z
review text: Consider the function \(G(z,w)=G_{\alpha,\gamma}(z,w)= \sum^ \infty_{n=1} z^ n w^{[n\alpha+\gamma]}\). In case \(\gamma=0\), this series is related to interesting continued fraction expansions and transcendental numbers and motivated work on Mahler's method in transcendence theory. A somewhat special case of the main theorem of the paper is the identity \[ G(z,w)={z \over {1-z}}+ {{1-w} \over w} \sum^ \infty_{n=0} {{(-1)^{n+1} z^{t_ n^{**} w_ n^{**}}} \over {(1-z^{q_ n} w^{p_ n})(1-z^{q_{n+1}}w^{p_{n+1}})}}, \] where \(p_ n/q_ n\) are the convergents to the continued fraction expansion of \(\alpha\) and \(t_ n^{**}\), \(s_ n^{**}\) arise algorithmically in a similar way from the non-homogeneous diophantine approximation problem of minimising \(| n\alpha+\gamma-m|\). In particular, \(t_ n^{**}\alpha+\gamma-s_ n^{**}\) are best one-sided approximants in the appropriate range and solve \(| t_ n^{**} \alpha+\gamma- s_ n^{**}|<1/t_ n^{**}\). The non-homogeneous approximation problem is interesting and subtle in its own right and analysed in full. As in the case \(\gamma=0\), the identity and certain continued fractions follow from a functional equation relating \(G_{\alpha,\gamma}(z,w)\) and \(G_{\alpha^{-1},-\gamma\alpha^{- 1}}(w,z)\). There are applications to transcendence theory. For example, if \(\alpha\) is irrational and \(\limsup q_{n+1}/q_ n>3\), then \(G_{\alpha,\gamma}(1/p,1/q)\) is transcendental. Another pretty application is a new proof of the following theorem of Fraenkel. Suppose \(\alpha>1\), \(\alpha\) irrational, \(0\leq\gamma<1\) and \(n\alpha+\gamma\) never integral. Then the sequences \(\{[n\alpha+\gamma]\} ^ \infty_{n=1}\) and \(\{[n\alpha'+\gamma']\} ^ \infty_{n=1}\) partition the positive integers if and only if \(1/\alpha + 1/\alpha'=1\) and \(\gamma/\alpha + \gamma'/\alpha'=0\).
Mathematics Subject Classification ID: 11J91
Mathematics Subject Classification ID: 11J20
Mathematics Subject Classification ID: 11J70
Mathematics Subject Classification ID: 11B25
zbMATH DE Number: 222009
zbMATH Keywords: partition of the set of positive integers
zbMATH Keywords: greatest integer function
zbMATH Keywords: special functions
zbMATH Keywords: continued fraction expansions
zbMATH Keywords: transcendental numbers
zbMATH Keywords: identity
zbMATH Keywords: non-homogeneous diophantine approximation problem
zbMATH Keywords: functional equation
author: Jonathan M. Borwein
author: Peter Borwein
reviewed by: John H. Loxton
MaRDI profile type: Publication
full work available at URL: jnth.1993.1023
OpenAlex ID: W2040087553
Wikidata QID: Q56935932
DOI: 10.1006/JNTH.1993.1023
Recommended article: On the integrality of \(n\)th roots of generating functions
Recommended article: Q5830720
Recommended article: On arithmetical functions whose generating functions are of the form \(\zeta(s)\zeta^ \alpha(s+1)f(s+1)\)
Recommended article: A generating function for \(\sigma(3n-1)\)
Recommended article: A Note onq-Integrals and Certain Generating Functions
Recommended article: Q3979369
Recommended article: Fractional powers of the generating function for the partition function
Recommended article: Q4888639
Recommended article: Q4392954
Recommended article: Q4359201
description: scientific article; zbMATH DE number 222009