[論文レビュー] An asymptotic approach in Mahler's method

Michael James Coons|arXiv (Cornell University)|Nov 24, 2015

Meromorphic and Entire Functions参考文献 25被引用数 4

ひとこと要約

本稿では、マーラー関数の代数的独立性を、有理型関数の体上に拡張する新しい漸近的手法を導入する。従来の結果を拡張するもので、径方向の漸近的挙動と固有値解析を組み合わせたものである。主たる貢献は、関連する固有値と基数kが乗法的に独立である場合、d個のマーラー関数がℂ(z)(ℳ)上代数的独立であることを保証する一般基準の確立である。特殊関数、たとえばステルン関数やバウム＝スイート列への応用も含まれる。

ABSTRACT

We provide a general result for the algebraic independence of Mahler functions by a new method based on asymptotic analysis. As a consequence of our method, these results hold not only over $\mathbb{C}(z)$, but also over $\mathbb{C}(z)(\mathcal{M})$, where $\mathcal{M}$ is the set of all meromorphic functions. Several examples and corollaries are given, with special attention to nonnegative regular functions.

研究の動機と目的

• 関数体ℂ(z)を超える、特にℂ(z)(ℳ)である有理型関数の体上でのマーラー関数の代数的独立性を示す一般的手法の開発。
• 任意の次数のマーラー関数の代数的独立性に関する一般基準の欠如、特に高次元の場合の課題の解決。
• クー・ニシオカの関数レベルでの代数的独立性結果を拡張し、重い代数的道具を避ける解析的・漸近的アプローチを導入。
• 非負の正則マーラー関数に適用可能なフレームワークの提供と、超超越性および超越性に関する結果の導出。

提案手法

• マーラー関数の単位円近辺における径方向漸近的解析に依拠し、単位円境界に近づく半径に沿った係数の挙動を利用する。
• 関数方程式の特性多項式に関連する固有値を定義し、pF(λ) = a0λ^d + ⋯ + ad の根として定義する。
• kと固有値λFiの乗法的独立性を用いて、関数を解析的に区別する漸近的成長率を導出する。
• 行列関数方程式F(z) = A(z)F(z^k)を用いて、ベクトル値マーラー系の解析を可能にし、連立漸近的挙動を分析。
• 既知の特殊関数（ゼータ関数、D-有限関数など）の超越性および代数的独立性に関する結果を活用し、新たな独立性に関する命題を導出。
• 有理型関数を基本体に含めることで、純粋に代数的手法よりも強い結果を得られる。

実験結果

リサーチクエスチョン

• RQ1 d個のマーラー関数が、有理型関数の体ℂ(z)(ℳ)上代数的独立であるための条件は何か？
• RQ2 マーラー関数の自然境界付近の漸近的挙動を用いて、代数的独立性の結果を導出できるか？
• RQ3 任意の次数のマーラー関数の代数的独立性に関する一般基準は存在するか？特に1次または2次を超える場合。
• RQ4 この手法により、微分的依存性を分析することでマーラー関数の超超越性を示せるか？
• RQ5 マーラー関数、D-有限関数、リーマンゼータ関数がℂ(z)上に与えられたとき、代数的独立度は何か？

主な発見

• kとd個のマーラー関数F₁(z), ..., Fd(z)の固有値λF₁, ..., λFdが乗法的に独立であるならば、ℂ(z)(ℳ)(F₁(z), ..., Fd(z))のℂ(z)(ℳ)上での超越次数はちょうどdであると示された。
• ステルン関数S(z)とバウム＝スイート関数B(z)について、ℂ(z)(S(z), B(z))のℂ(z)上での超越次数は2であり、それらの代数的独立性が確認された。
• 固有値条件のもとでは、任意のc ∈ ℂで評価されたF(z)およびその導関数F’, ..., F^(n)を含む多項式関係は、変数zに関して常に次数3以上でなければならない。
• kと固有値が乗法的に独立であるマーラー関数の代数的独立性は、基本体に任意の有理型関数を含めても成立する。
• Fがk-マーラー関数でkとλFが独立であり、Gが任意のD-有限関数であるとき、ℂ(z)(F(z), G(z), ζ(z))のℂ(z)上での超越次数は3である。
• この手法により、超超越性に関する新たな道筋が得られ、所定の固有値条件のもとでは、F(z)とその導関数の間に次数が3未満の非自明な多項式関係は存在しないことが示された。