irrationality sequence

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

: $\sum_{n=1}^\infty \frac{1}{a_n x_n}$

exists (that is, it converges) and is an irrational number.{{citation |last=Guy | first=Richard K. | author-link=Richard K. Guy | title=Unsolved problems in number theory | publisher=Springer-Verlag |edition=3rd | year=2004 |isbn=0-387-20860-7 | zbl=1058.11001 | contribution=E24 Irrationality sequences|page=346|url=https://books.google.com/books?id=1AP2CEGxTkgC&pg=PA346 }}.{{citation

| last1 = Erdős | first1 = P. | author1-link = Paul Erdős

| last2 = Graham | first2 = R. L. | author2-link = Ronald Graham

| location = Geneva

| mr = 592420

| page = 128

| publisher = Université de Genève L'Enseignement Mathématique

| series = Monographies de L'Enseignement Mathématique

| title = Old and new problems and results in combinatorial number theory

| volume = 28

| year = 1980}}. The problem of characterizing irrationality sequences was posed by Paul Erdős and Ernst G. Straus, who originally called the property of being an irrationality sequence "Property P".{{citation

| last = Erdős | first = P. | author-link = Paul Erdős

| journal = Journal of Mathematical Sciences

| mr = 539489

| pages = 1–7 (1976)

| title = Some problems and results on the irrationality of the sum of infinite series

| url = http://www.renyi.hu/~p_erdos/1976-44.pdf

| volume = 10

| year = 1975}}.

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.$

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$ .{{citation

| last = Hančl | first = Jaroslav

| doi = 10.4064/aa-59-2-97-104

| issue = 2

| journal = Acta Arithmetica

| mr = 1133951

| pages = 97–104

| title = Expression of real numbers with the help of infinite series

| volume = 59

| year = 1991| doi-access = free

}}

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.

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.$ {{citation

| last = Erdős | first = P. | author-link = Paul Erdős

| contribution = On the irrationality of certain series: problems and results

| location = Cambridge

| mr = 971997

| pages = 102–109

| publisher = Cambridge Univ. Press

| title = New advances in transcendence theory (Durham, 1986)

| url = http://www.renyi.hu/~p_erdos/1988-22.pdf

| year = 1988}}.

Related properties

Analogously to irrationality sequences,

{{harvtxt|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.{{citation

| last = Hančl | first = Jaroslav

| issue = 2–3

| journal = Mathematica Slovaca

| mr = 1427003

| pages = 177–179

| title = Transcendental sequences

| volume = 46

| year = 1996}}.

References

Category:Integer sequences

Category:Irrational numbers

Category:Number theory