Hermite-Padé rational approximation to irrational numbers (Q619447)

Verf. beschreibt eine Methode zum Beweis der Irrationalität gewisser reeller Zahlen \(\rho\), die Werte geeigneter analytischer Funktionen \(f\) sind. Die Methode läuft darauf hinaus, explizite rationale Annäherungen an \(\rho\) zu konstruieren, die schärfer sind, als mit der Annahme \(\rho\in\mathbb{Q}\) verträglich. Die rationalen Annäherungen werden dadurch erhalten, dass man rationale Hermite-Padé-Approximationen an die zu untersuchende Funktion \(f\) an geeigneten Argumentstellen auswertet. Diese konstruktive Beweismethode kann auch zur Gewinnung oberer Abschätzungen des Irrationalitätsexponenten von \(\rho\) ausgebaut werden bzw. zum Beweis von Aussagen über \(\mathbb{Q}\)-lineare Unabhängigkeit. Eine ganze Reihe von Anwendungen, die mit Werten der Riemannschen Zetafunktion und deren \(q\)-Analogon zusammenhängen, illustrieren die Vorgehensweise. Zum Schluss werden einige offene Fragen formuliert.