[論文レビュー] On linear forms containing the Euler constant

Alexander Ivanovich Aptekarev|ArXiv.org|Feb 10, 2009

Mathematical functions and polynomials参考文献 2被引用数 8

ひとこと要約

本稿は、オイラー＝マスケローニ定数 γ とオイラー＝ゴンペルツ定数 δ を含む整数係数の線形形式を、4項再帰関係を用いて構成する。これらの形式の明確な漸近的挙動が確立され、Hermite-Padé近似および直交多項式理論からの行列式恒等式を用いて、γ もしくは δ の少なくとも一方の無理数性に関する定量的証拠が得られる。

ABSTRACT

We present linear forms with integer coefficients containing the Euler-Mascheroni and Euler-Gompertz constants. The forms are defined by four-terms recurrence relations. Asymptotics of the forms and their coefficients are obtained.

研究の動機と目的

• オイラー＝マスケローニ定数 γ とオイラー＝ゴンペルツ定数 δ を含む整数係数の線形形式を構成すること。
• γ および δ に対する有理近似を生成する再帰関係を有する4項再帰関係を導出すること。
• これらの列および関連する線形形式の漸近的挙動を分析し、γ もしくは δ の無理数性に関する定量的証拠を提供すること。
• 再帰に基づく列と、γ および δ に関連する関数系の Hermite-Padé近似との関連を確立すること。
• 近似の誤差に対する明確な推定値を確立し、γ および δ の無理数性という長年の未解決問題に貢献すること。

提案手法

• 整数初期条件を有する列 {uₙ}, {vₙ}, {wₙ} に対する4項線形再帰関係を導出する。
• 行列式恒等式 Δₙ⁽ᵃᵇ⁾ = det( aₙ₊₁, aₙ; bₙ₊₁, bₙ ) を用いて、uₙ, vₙ, wₙ を Hermite-Padé近似列のスケーリングされた差分として定義する。
• 分母の Hermite-Padé近似の一般化されたロドリゲス型公式を用いて、基礎となる直交多項式系を構成する。
• Perron型推定およびラプラス法近似を用いて再帰解の漸近的解析を実施する。
• 行列式形式と線形形式 fₙ = pₙ − γqₙ, gₙ = epₙ − (eγ + δ)qₙ + rₙ, および lₙ = uₙδ − γvₙ + wₙ の関係を確立する。
• 既知の漸近的挙動 (2n)! e^{±√(2n)} / n^{1/4} を用いて、近似の明確な誤差境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 整数係数の線形形式を構成し、同時にオイラー＝マスケローニ定数 γ とオイラー＝ゴンペルツ定数 δ を近似できるか？
• RQ2 このような線形形式における係数および誤差項の漸近的挙動は何か？
• RQ3 近似の再帰的構造を用いて、γ もしくは δ の無理数性に関する定量的測度または証拠を導出できるか？
• RQ4 γ および δ に関連する関数系の Hermite-Padé近似と列 uₙ, vₙ, wₙ との関係は何か？
• RQ5 線形形式 lₙ = uₙδ − γvₙ + wₙ の明確な減衰速度は何か？ そしてそれは γ および δ の算術的性質に何を示唆するか？

主な発見

• 4項再帰によって定義される列 uₙ, vₙ, wₙ はすべて、すべての n ≥ 0 に対して整数値をとる。
• uₙ, vₙ, wₙ の漸近的成長は、n → ∞ のとき O((2n)! 4ⁿ / n^{3/2}) である。
• 線形形式 lₙ = uₙδ − γvₙ + wₙ は、lₙ = (n^{5/4} / (e^{√(2n)} 4ⁿ)) (2√[4]{2}/e^{3/8} + O(n^{-1/2})) を満たし、急速な減衰を示す。
• 組み合わせ [wₙ + (eγ + δ)uₙ] および [vₙ + e uₙ] はともに O(e^{√(2n)} n^{5/4} / 4ⁿ) であるため、優れた近似品質を示す。
• lₙ の漸近的減衰は、γ および δ が同時に有理数であることは不可能であるという定量的証拠を提供し、既知の代数的独立性結果を支持する。
• 再帰および行列式構造により、γ および δ を含む4つの関数からなる関数系の (n,n) 階の Hermite-Padé近似と近似列が結びつけられる。