Transcendental continued fractions (Q5896204): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: A sharpening of the bounds for linear forms in logarithms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4134062 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4126411 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4149805 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3231252 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4103158 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Transcendental continued fractions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Baker's inequality for linear forms in logarithms / rank | |||
Normal rank |
Latest revision as of 11:41, 14 June 2024
scientific article; zbMATH DE number 3841974
Language | Label | Description | Also known as |
---|---|---|---|
English | Transcendental continued fractions |
scientific article; zbMATH DE number 3841974 |
Statements
Transcendental continued fractions (English)
0 references
1984
0 references
Let \(A=a_ 1+\frac{1}{a_ 2+}\frac{1}{a_ 3+}...\), \(B=b_ 1+\frac{1}{b_ 2+}\frac{1}{b_ 3+}... \). The author proves Theorem 1: Suppose that there exists a real number \(r>1\) such that \(r^{-1}a_ n\geq b_ n\geq a^{n-1}_{n-1}\) holds for \(n=1,2,3,... \). Then A and B are algebraically independent. Next he proves a theorem from which he deduces the following Corollary: Let \(a_ n\geq a^ 2_{n-1}\), \(b_ n\geq b^ 2_{n-1}\) hold for all \(n\geq 3\) and \(\log a_ n\quad \log b_ n=o(\log \min(a_{n+1},b_{n+1}))\) and \(\log b_{n+1}=o(b_ n\quad \log b_ n)\) as \(n\to \infty\). Then \(A^ B\) is transcendental. A striking example is this: Let C and \(a_ 1\) be positive integers. Put \(a_{n+1}=C^{a_ n}\) for \(n=1,2,... \). Then \(A^ A\) is transcendental.
0 references
transcendence
0 references
continued fractions
0 references
algebraic independence
0 references