Transcendence of power series for some number theoretic functions

DOI10.1090/S0002-9939-08-09737-2MaRDI QIDQ3623341zbMATH OpenFDO

Authors Michael Coons, Peter Borwein

Publication date 17 April 2009

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0806.1563

Mathematics Subject Classification ID

Transcendence (general theory) (11J81) Diophantine approximation, transcendental number theory (11J99) Real rational functions (26C15) Power series (including lacunary series) in one complex variable (30B10)

Abstract: We give a new proof of Fatou's theorem: {em if an algebraic function has a power series expansion with bounded integer coefficients, then it must be a rational function.} This result is applied to show that for any non--trivial completely multiplicative function from $mathbbN$ to $-1,1$, the series $su{m}_{n=1}^{i}nftyf(n)z^n$ is transcendental over $mathbbZ[z]$; in particular, $su{m}_{n=1}^{i}nftylambda(n)z^n$ is transcendental, where $lambda$ is Liouville's function. The transcendence of $su{m}_{n=1}^{i}nftymu(n)z^n$ is also proved.

Recommendations

• On the transcendence of some power series
• Transcendence of some power series for Liouville number arguments
• On the transcendence of certain power series of algebraic numbers
• Transcendence of some multivariate power series
• Transcendence of formal power series with rational coefficients
• On the Powers of Some Transcendental Numbers
• scientific article; zbMATH DE number 579470
• Transcendence of some continued fractions in the formal power series fields.
• Transcendence of certain Fourier series
• Transcendence of certain infinite sums involving rational functions

Cites work

• scientific article; zbMATH DE number 826245 (Why is no real title available?)
• Irrationality of power series for various number theoretic functions
• Modular functions and transcendence questions
• Multiplicative functions and \(k\)-automatic sequences
• On the base-dependence of sets of numbers recognizable by finite automata
• On the irrationality of \(\sum (1/(q^ n+r))\)
• Polynomials with coefficients from a finite set
• Power Series with Bounded Coefficients
• Transcendence of formal power series with rational coefficients
• Uniform tag sequences

Cited in

(18)

• Transcendence of formal power series with rational coefficients
• On the behavior of a power series with completely multiplicative coefficients near the unit circle
• Mock characters and the Kronecker symbol
• Transcendence of infinite series over lattices
• Multiplicative automatic sequences
• Composition inverses of the variations of the Baum-Sweet sequence
• Power series approximations to Fekete polynomials
• Transcendence of generating functions whose coefficients are multiplicative
• scientific article; zbMATH DE number 579470 (Why is no real title available?)
• Rationality of Hilbert series in noncommutative invariant theory
• scientific article; zbMATH DE number 4114731 (Why is no real title available?)
• Transcendence over meromorphic functions
• Natural boundaries of power series with multiplicative coefficients in algebraic number fields
• On the transcendence of certain power series of algebraic numbers
• (Non)Automaticity of number theoretic functions
• On asymptotically automatic sequences
• Automatic sequences and parity of partition functions
• Transcendence of some power series for Liouville number arguments

This page was built for publication: Transcendence of power series for some number theoretic functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3623341)