Irrationality sequence

Last updated January 30, 2023

In mathematics, a sequence of positive integers a_n is called an irrationality sequence if it has the property that for every sequence x_n of positive integers, the sum of the series

Examples

The powers of two whose exponents are powers of two, $2^{2^{n}}$ , form an irrationality sequence. However, although Sylvester's sequence

2, 3, 7, 43, 1807, 3263443, ...

(in which each term is one more than the product of all previous terms) also grows doubly exponentially, it does not form an irrationality sequence. For, letting $x_{n}=1$ for all $n$ gives

{\frac {1}{2}}+{\frac {1}{3}}+{\frac {1}{7}}+{\frac {1}{43}}+\cdots =1,

a series converging to a rational number. Likewise, the factorials, $n!$ , do not form an irrationality sequence because the sequence given by $x_{n}=n+2$ for all $n$ leads to a series with a rational sum,

\sum _{n=0}^{\infty }{\frac {1}{(n+2)n!}}={\frac {1}{2}}+{\frac {1}{3}}+{\frac {1}{8}}+{\frac {1}{30}}+{\frac {1}{144}}+\cdots =1.

^[1]

Growth rate

For any sequence a_n to be an irrationality sequence, it must grow at a rate such that

\limsup _{n\to \infty }{\frac {\log \log a_{n}}{n}}\geq \log 2

.^[4]

This includes sequences that grow at a more than doubly exponential rate as well as some doubly exponential sequences that grow more quickly than the powers of powers of two.^[1]

Every irrationality sequence must grow quickly enough that

\lim _{n\to \infty }a_{n}^{1/n}=\infty .

However, it is not known whether there exists such a sequence in which the greatest common divisor of each pair of terms is 1 (unlike the powers of powers of two) and for which

\lim _{n\to \infty }a_{n}^{1/2^{n}}<\infty .

^[5]

Related properties

Analogously to irrationality sequences, Hančl (1996) has defined a transcendental sequence to be an integer sequence a_n such that, for every sequence x_n of positive integers, the sum of the series

\sum _{n=1}^{\infty }{\frac {1}{a_{n}x_{n}}}

exists and is a transcendental number.^[6]

Related Research Articles

The number $e$ , also known as Euler's number, is a mathematical constant approximately equal to 2.71828 that can be characterized in many ways. It is the base of the natural logarithms. It is the limit of $(1 + 1/ n) n$ as $n$ approaches infinity, an expression that arises in the study of compound interest. It can also be calculated as the sum of the infinite series

In complex analysis, an entire function, also called an integral function, is a complex-valued function that is holomorphic on the whole complex plane. Typical examples of entire functions are polynomials and the exponential function, and any finite sums, products and compositions of these, such as the trigonometric functions sine and cosine and their hyperbolic counterparts sinh and cosh, as well as derivatives and integrals of entire functions such as the error function. If an entire function $f (z)$ has a root at $w$ , then $f (z) / (z - w)$ , taking the limit value at $w$ , is an entire function. On the other hand, the natural logarithm, the reciprocal function, and the square root are all not entire functions, nor can they be continued analytically to an entire function.

In mathematics, the factorial of a non-negative integer $,$ denoted by $,$ is the product of all positive integers less than or equal to $.$ The factorial of also equals the product of $with the next smaller factorial:$

In mathematics, the gamma function is one commonly used extension of the factorial function to complex numbers. The gamma function is defined for all complex numbers except the non-positive integers. For every positive integer $n$ ,

In mathematics, the prime number theorem (PNT) describes the asymptotic distribution of the prime numbers among the positive integers. It formalizes the intuitive idea that primes become less common as they become larger by precisely quantifying the rate at which this occurs. The theorem was proved independently by Jacques Hadamard and Charles Jean de la Vallée Poussin in 1896 using ideas introduced by Bernhard Riemann.

In mathematics, a transcendental number is a number that is not algebraic—that is, not the root of a non-zero polynomial of finite degree with rational coefficients. The best known transcendental numbers are $π$ and $e$ .

In number theory, a Liouville number is a real number x with the property that, for every positive integer n, there exists a pair of integers with q > 1 such that

<span class="mw-page-title-main">Euler's constant</span> Relates logarithm and harmonic series

Euler's constant is a mathematical constant usually denoted by the lowercase Greek letter gamma.

The Erdős–Borwein constant is the sum of the reciprocals of the Mersenne numbers. It is named after Paul Erdős and Peter Borwein.

The number e was introduced by Jacob Bernoulli in 1683. More than half a century later, Euler, who had been a student of Jacob's younger brother Johann, proved that e is irrational; that is, that it cannot be expressed as the quotient of two integers.

In number theory, Aleksandr Yakovlevich Khinchin proved that for almost all real numbers x, coefficients a_i of the continued fraction expansion of x have a finite geometric mean that is independent of the value of x and is known as Khinchin's constant.

In mathematics, a Pisot–Vijayaraghavan number, also called simply a Pisot number or a PV number, is a real algebraic integer greater than 1, all of whose Galois conjugates are less than 1 in absolute value. These numbers were discovered by Axel Thue in 1912 and rediscovered by G. H. Hardy in 1919 within the context of diophantine approximation. They became widely known after the publication of Charles Pisot's dissertation in 1938. They also occur in the uniqueness problem for Fourier series. Tirukkannapuram Vijayaraghavan and Raphael Salem continued their study in the 1940s. Salem numbers are a closely related set of numbers.

In mathematics, the Champernowne constant $C 10$ is a transcendental real constant whose decimal expansion has important properties. It is named after economist and mathematician D. G. Champernowne, who published it as an undergraduate in 1933.

Transcendental number theory is a branch of number theory that investigates transcendental numbers, in both qualitative and quantitative ways.

In mathematics, Apéry's constant is the sum of the reciprocals of the positive cubes. That is, it is defined as the number

Euclid's theorem is a fundamental statement in number theory that asserts that there are infinitely many prime numbers. It was first proved by Euclid in his work Elements. There are several proofs of the theorem.

<span class="mw-page-title-main">Sylvester's sequence</span> Doubly exponential integer sequence

In number theory, Sylvester's sequence is an integer sequence in which each term is the product of the previous terms, plus one. The first few terms of the sequence are

In additive combinatorics and number theory, a subset A of an abelian group G is said to be sum-free if the sumset A + A is disjoint from A. In other words, A is sum-free if the equation $has no solution with .$

In number theory, a Sidon sequence is a sequence $of natural numbers in which all pairwise sums are different. Sidon sequences are also called Sidon sets; they are named after the Hungarian mathematician Simon Sidon, who introduced the concept in his investigations of Fourier series.$

References

1 2 3 Guy, Richard K. (2004), "E24 Irrationality sequences", Unsolved problems in number theory (3rd ed.), Springer-Verlag, p. 346, ISBN 0-387-20860-7, Zbl 1058.11001 .
↑ Erdős, P.; Graham, R. L. (1980), Old and new problems and results in combinatorial number theory, Monographies de L'Enseignement Mathématique, vol. 28, Geneva: Université de Genève L'Enseignement Mathématique, p. 128, MR 0592420 .
↑ Erdős, P. (1975), "Some problems and results on the irrationality of the sum of infinite series" (PDF), Journal of Mathematical Sciences, 10: 1–7 (1976), MR 0539489 .
↑ Hančl, Jaroslav (1991), "Expression of real numbers with the help of infinite series", Acta Arithmetica, 59 (2): 97–104, doi: 10.4064/aa-59-2-97-104 , MR 1133951
↑ Erdős, P. (1988), "On the irrationality of certain series: problems and results", New advances in transcendence theory (Durham, 1986) (PDF), Cambridge: Cambridge Univ. Press, pp. 102–109, MR 0971997 .
↑ Hančl, Jaroslav (1996), "Transcendental sequences", Mathematica Slovaca, 46 (2–3): 177–179, MR 1427003 .

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[guy-1] 1 2 3 Guy, Richard K. (2004), "E24 Irrationality sequences", Unsolved problems in number theory (3rd ed.), Springer-Verlag, p. 346, ISBN 0-387-20860-7, Zbl 1058.11001 .

[2] Erdős, P.; Graham, R. L. (1980), Old and new problems and results in combinatorial number theory, Monographies de L'Enseignement Mathématique, vol. 28, Geneva: Université de Genève L'Enseignement Mathématique, p. 128, MR 0592420 .

[3] Erdős, P. (1975), "Some problems and results on the irrationality of the sum of infinite series" (PDF), Journal of Mathematical Sciences, 10: 1–7 (1976), MR 0539489 .

[4] Hančl, Jaroslav (1991), "Expression of real numbers with the help of infinite series", Acta Arithmetica, 59 (2): 97–104, doi: 10.4064/aa-59-2-97-104 , MR 1133951

[5] Erdős, P. (1988), "On the irrationality of certain series: problems and results", New advances in transcendence theory (Durham, 1986) (PDF), Cambridge: Cambridge Univ. Press, pp. 102–109, MR 0971997 .

[6] Hančl, Jaroslav (1996), "Transcendental sequences", Mathematica Slovaca, 46 (2–3): 177–179, MR 1427003 .

[1]

[2]

[3]

[4]

[5]

[6]