[論文レビュー] Two algebraic proofs of the transcendence of $\mathrm{e}$ based on formal power series

Martin Klazar|arXiv (Cornell University)|Jan 3, 2026

Holomorphic and Operator Theory被引用数 0

ひとこと要約

要約: 本論文は、形式的べき級数を用いてeの超越性を確立する二つの代数的準形式的証明を提示する。Beukers–Bézivin–Robbaの Lindemann–Weierstrass アプローチの特定化と、著者による準形式的積分ベースの証明を組み合わせたもの。

ABSTRACT

We remind the classical analytical proof of the transcendence of $\mathrm{e}$ due to Hilbert. Using formal power series, we then give two algebraic proofs of this result. The first proof is a specialization of the proof of Beukers, Bézivin and Robba of the Lindemann-Weierstrass theorem. The second proof uses improper integrals of formal power series and is due to this author. We explain in what respect both proofs improve upon Hilbert's proof.

研究の動機と目的

• eの超越性のための代数-解析混合のAB証明フレームワークの動機付けと正当化。
• Lindemann–Weierstrass型証明を準形式的な形式的べき級数設定へ翻訳。
• 形式的べき級数に基づくeの超越性の二つの異なる準形式的証明を提供。」],
• method: [

提案手法

• Beukers, Bézivin, and Robba アプローチを整数係数へ特化してeの超越性を導出する。
• 有理的形式的べき級数と極次分析を用いてエウラー型積分によって矛盾を強制する。
• Hilbert の元の戦略を形式ニュートン積分を用いて反映させつつ準形式的統合フレームワークを開発する。
• 実数形式的べき級数上のシフトとニュートン型積分を導入し、キ identities（準形式的なEulerの恒等式）を証明する。
• 特定の構成された級数が有理的であることを示し、eのべき乗を含む代数的従属仮定に対して矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 形式的べき級数を用いた代数的方法（解析的でない方法）でeを超越と示せるか。
• RQ2 Lindemann–Weierstrass 型の議論は整数データを用いた準形式的AB証明をeについて許容するか。
• RQ3 Hilbertの元の積分戦略を形式的べき級数を用いた準形式的AB証明フレームワークに再構成できるか。
• RQ4 eのべき乗を含む代数的従属仮定の下で矛盾を得るのに十分な補助構成（ニュートン積分やシフトなど）は何か。

主な発見

• Beukers–Bézivin–Robbaの準形式的特化が整数データを用いてeの超越性の証明をもたらす。
• 第三のAB＆SF証明は形式的べき級数の不定積分を用いてHilbertの戦略を模倣し矛盾を導く。
• 両証明は形式的関数と実数/複素数のべき級数上の準形式的操作に依存し、制御された限界内でのみ厳密な値を扱う。
• Eulerの積分恒等式は準形式的設定で確立され、超越性議論の重要な要素となる。
• Framework は超越性証明のAB証明（可数使用集合）とSF証明（極限許容操作）を区別する。
• 2つの証明は準形式的AB+SFの枠内でeの超越性を確立するための異なる経路を示す。