On the rational approximation to the Thue-Morse-Mahler numbers (Q416017): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 5 users not shown) | |||
Property / review text | |||
Für \(x\in\mathbb{R}\setminus\mathbb{Q}\) bezeichnet \(\mu(x)\), der Irrationalitätsexponent von \(x\), das Supremum aller \(\mu\in\mathbb{R}\), für die \(|x-p/q|<q^{-\mu}\) unendlich viele Lösungen \(p/q\in\mathbb{Q}\) hat. Dieser ist stets \(\geq2\), Lebesgue -`\,fast immer' gleich 2, insbesondere für alle algebraischen \(x\in\mathbb{R}\setminus\mathbb{Q}\). Andererseits kennt man nur wenige transzendente \(x\in\mathbb{R}\) mit \(\mu(x)=2\) und genau zu dieser Problematik leistet Verf. einen bemerkenswerten Beitrag. Es sei nämlich \((t_k)_{k\geq0}\) mit \(t_0:=0\) und \(t_{2k}:=t_k, t_{2k+1}:= 1-t_k\) für \(k\geq0\) die auf \(\{0,1\}\) definierte Thue-Morse-Folge und \(T(z):=\sum_{k\geq0}t_kz^k\) deren erzeugende Potenzreihe. Seit Mahler (1929) ist die Transzendenz von \(T(\beta)\) für jedes algebraische \(\beta\in\mathbb{C}\) mit \(0<|\beta|<1\) bekannt und Verf. zeigt hier \(\mu(T(1/b))=2\) für jedes \(b\in\mathbb{Z}_{\geq2}\). Dabei arbeitet er mit der erzeugenden Potenzreihe \(S(z)\) der durch \((1-2t_k)_{k\geq0}\) definierten Thue-Morse-Folge auf \(\{1,-1\}\). Weil \(S\) und \(T\) via \(S(z)+2T(z)=1/(1-z)\) zusammenhängen, sind \(1,S(1/b),T(1/b)\) \(\mathbb{Q}\)-linear abhängig, weshalb die beiden letzteren (transzendenten) Zahlen gleichen Irrationalitätsex\-ponenten haben. Mit Hilfe des Satzes von \textit{J.-P. Allouche} et al., [Ann. Inst. Fourier 48, No. 1, 1--27 (1998; Zbl 0974.11010)], nach dem zu jedem \(k\in\mathbb{Z}_{>0}\) die Hankel-Determinante \(H_k(S)\) nicht verschwindet und die Padé-Approximation \([k-1/k]_S(z)\) existiert, wird eine unendliche Folge `\,guter' rationaler Approximationen an \(S(1/b)\) konstruiert, die außerdem `\,sehr dicht' ist. Hiermit kann \(\mu(S(1/b))\leq2+\varepsilon\) für jedes \(\varepsilon\in\mathbb{R}_+\) bewiesen werden. Bei dieser Konstruktion spielt die Funktionalgleichung \(S(z)=(1-z)S(z^2)\) von \(S\) eine entscheidende Rolle, die technisch einfacher als diejenige von \(T\) ist. | |||
Property / review text: Für \(x\in\mathbb{R}\setminus\mathbb{Q}\) bezeichnet \(\mu(x)\), der Irrationalitätsexponent von \(x\), das Supremum aller \(\mu\in\mathbb{R}\), für die \(|x-p/q|<q^{-\mu}\) unendlich viele Lösungen \(p/q\in\mathbb{Q}\) hat. Dieser ist stets \(\geq2\), Lebesgue -`\,fast immer' gleich 2, insbesondere für alle algebraischen \(x\in\mathbb{R}\setminus\mathbb{Q}\). Andererseits kennt man nur wenige transzendente \(x\in\mathbb{R}\) mit \(\mu(x)=2\) und genau zu dieser Problematik leistet Verf. einen bemerkenswerten Beitrag. Es sei nämlich \((t_k)_{k\geq0}\) mit \(t_0:=0\) und \(t_{2k}:=t_k, t_{2k+1}:= 1-t_k\) für \(k\geq0\) die auf \(\{0,1\}\) definierte Thue-Morse-Folge und \(T(z):=\sum_{k\geq0}t_kz^k\) deren erzeugende Potenzreihe. Seit Mahler (1929) ist die Transzendenz von \(T(\beta)\) für jedes algebraische \(\beta\in\mathbb{C}\) mit \(0<|\beta|<1\) bekannt und Verf. zeigt hier \(\mu(T(1/b))=2\) für jedes \(b\in\mathbb{Z}_{\geq2}\). Dabei arbeitet er mit der erzeugenden Potenzreihe \(S(z)\) der durch \((1-2t_k)_{k\geq0}\) definierten Thue-Morse-Folge auf \(\{1,-1\}\). Weil \(S\) und \(T\) via \(S(z)+2T(z)=1/(1-z)\) zusammenhängen, sind \(1,S(1/b),T(1/b)\) \(\mathbb{Q}\)-linear abhängig, weshalb die beiden letzteren (transzendenten) Zahlen gleichen Irrationalitätsex\-ponenten haben. Mit Hilfe des Satzes von \textit{J.-P. Allouche} et al., [Ann. Inst. Fourier 48, No. 1, 1--27 (1998; Zbl 0974.11010)], nach dem zu jedem \(k\in\mathbb{Z}_{>0}\) die Hankel-Determinante \(H_k(S)\) nicht verschwindet und die Padé-Approximation \([k-1/k]_S(z)\) existiert, wird eine unendliche Folge `\,guter' rationaler Approximationen an \(S(1/b)\) konstruiert, die außerdem `\,sehr dicht' ist. Hiermit kann \(\mu(S(1/b))\leq2+\varepsilon\) für jedes \(\varepsilon\in\mathbb{R}_+\) bewiesen werden. Bei dieser Konstruktion spielt die Funktionalgleichung \(S(z)=(1-z)S(z^2)\) von \(S\) eine entscheidende Rolle, die technisch einfacher als diejenige von \(T\) ist. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Peter Bundschuh / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11J82 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11J04 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6032134 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
irrationality measure | |||
Property / zbMATH Keywords: irrationality measure / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Thue-Morse sequence | |||
Property / zbMATH Keywords: Thue-Morse sequence / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Padé approximant | |||
Property / zbMATH Keywords: Padé approximant / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: OEIS / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2325835288 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the expansion of some exponential periods in an integer base / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Diophantine properties of real numbers generated by finite automata / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Irrationality measures for some automatic real numbers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Remarkable Class of Continued Fractions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hankel determinants of the Thue-Morse sequence / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Automatic Sequences / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Approximation to certain transcendental decimal fractions by algebraic numbers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4856607 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Initial powers of Sturmian sequences / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Padé-type approximation and general orthogonal polynomials / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Diophantine approximation and Cantor sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Morphic and automatic words: maximal blocks and Diophantine approximation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Über eine Klasse reeller transzendenter Zahlen mit explizit angebbarer g-adischer und Kettenbruch-Entwicklung. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4135653 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On a problem of K. Mahler: Diophantine approximation and Cantor sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Simple continued fractions for some irrational numbers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4443440 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 04:47, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the rational approximation to the Thue-Morse-Mahler numbers |
scientific article |
Statements
On the rational approximation to the Thue-Morse-Mahler numbers (English)
0 references
9 May 2012
0 references
Für \(x\in\mathbb{R}\setminus\mathbb{Q}\) bezeichnet \(\mu(x)\), der Irrationalitätsexponent von \(x\), das Supremum aller \(\mu\in\mathbb{R}\), für die \(|x-p/q|<q^{-\mu}\) unendlich viele Lösungen \(p/q\in\mathbb{Q}\) hat. Dieser ist stets \(\geq2\), Lebesgue -`\,fast immer' gleich 2, insbesondere für alle algebraischen \(x\in\mathbb{R}\setminus\mathbb{Q}\). Andererseits kennt man nur wenige transzendente \(x\in\mathbb{R}\) mit \(\mu(x)=2\) und genau zu dieser Problematik leistet Verf. einen bemerkenswerten Beitrag. Es sei nämlich \((t_k)_{k\geq0}\) mit \(t_0:=0\) und \(t_{2k}:=t_k, t_{2k+1}:= 1-t_k\) für \(k\geq0\) die auf \(\{0,1\}\) definierte Thue-Morse-Folge und \(T(z):=\sum_{k\geq0}t_kz^k\) deren erzeugende Potenzreihe. Seit Mahler (1929) ist die Transzendenz von \(T(\beta)\) für jedes algebraische \(\beta\in\mathbb{C}\) mit \(0<|\beta|<1\) bekannt und Verf. zeigt hier \(\mu(T(1/b))=2\) für jedes \(b\in\mathbb{Z}_{\geq2}\). Dabei arbeitet er mit der erzeugenden Potenzreihe \(S(z)\) der durch \((1-2t_k)_{k\geq0}\) definierten Thue-Morse-Folge auf \(\{1,-1\}\). Weil \(S\) und \(T\) via \(S(z)+2T(z)=1/(1-z)\) zusammenhängen, sind \(1,S(1/b),T(1/b)\) \(\mathbb{Q}\)-linear abhängig, weshalb die beiden letzteren (transzendenten) Zahlen gleichen Irrationalitätsex\-ponenten haben. Mit Hilfe des Satzes von \textit{J.-P. Allouche} et al., [Ann. Inst. Fourier 48, No. 1, 1--27 (1998; Zbl 0974.11010)], nach dem zu jedem \(k\in\mathbb{Z}_{>0}\) die Hankel-Determinante \(H_k(S)\) nicht verschwindet und die Padé-Approximation \([k-1/k]_S(z)\) existiert, wird eine unendliche Folge `\,guter' rationaler Approximationen an \(S(1/b)\) konstruiert, die außerdem `\,sehr dicht' ist. Hiermit kann \(\mu(S(1/b))\leq2+\varepsilon\) für jedes \(\varepsilon\in\mathbb{R}_+\) bewiesen werden. Bei dieser Konstruktion spielt die Funktionalgleichung \(S(z)=(1-z)S(z^2)\) von \(S\) eine entscheidende Rolle, die technisch einfacher als diejenige von \(T\) ist.
0 references
irrationality measure
0 references
Thue-Morse sequence
0 references
Padé approximant
0 references
0 references