[論文レビュー] Some transcendental functions that yield transcendental values for every algebraic entry

Diego Marques, F. M. S. Lima|arXiv (Cornell University)|Apr 10, 2010

Mathematics and Applications参考文献 6被引用数 1

ひとこと要約

本稿では、すべての代数的入力に対して超越的値を生成する超越的整関数の明示的例を構成し、例外集合が空であることを示している。超越関数の性質と超越数論の結果を用いて、このような関数が存在することを示し、具体的な構成を与え、exp(z) のような関数の既知の振る舞いを孤立した例外を超えて拡張している。

ABSTRACT

A transcendental function usually yields a transcendental value for an algebraic entry belonging to its domain, the algebraic exceptions forming the so-called \emph{exceptional set}. For instance, the exceptional set of the function $\,\exp(z)\,$ is the unitary set $\{0\}$, which follows from the Hermite-Lindemann theorem. In this note, we give some explicit examples of transcendental entire functions having empty exceptional sets, i.e. functions that yield transcendental values for all algebraic entries, without exceptions.

研究の動機と目的

• 例外集合が空であるような明示的超越的整関数を同定し、構成すること。
• exp(z) のような古典的ケース（例外点が {0} のみ）を超えて、超越的関数の理解を拡張すること。
• 代数的入力が常に超越的出力を生じるような明示的例を提供し、超越数論における理論的ギャップを解消すること。
• 代数的入力に対して常に超越的出力を生じる関数の分類に貢献すること。

提案手法

• 超越数論における既知の結果、特にヒルベルト＝リンデマンの定理を基に、関数の構成を導く。
• 代数的点における超越性を保証するための、特定の成長性および関数的性質を持つ整関数を設計する。
• 無限積または級数表現を用いて、代数的引数において代数的値を取らない関数を定義する。
• 代数的点における値の超越性を評価する基準を適用し、代数的入力が代数的出力を生じないことを確認する。
• 構成された関数が整関数かつ超越的であり、必要な解析的および算術的条件を満たすことを保証する。
• 関数的恒等式に基づく背理法または直接的超越性の議論により、例外集合が空であることを示す。

実験結果

リサーチクエスチョン

• RQ1 すべての代数的入力に対して超越的出力を生じる明示的超越的整関数を構成することは可能か？
• RQ2 例外集合が空であるためには、超越的関数がどのような関数的および解析的性質を満たすべきか？
• RQ3 exp(z) のような古典的例（例外集合が空でない）とは、どのように異なるか？
• RQ4 代数的入力に対して代数的値を一般に避ける自然な整関数のクラスは存在するか？
• RQ5 例外集合が空であるという要件から生じる構造的制約は何か？

主な発見

• 本稿では、すべての代数的入力に対して超越的出力を生じる超越的整関数の明示的例を成功裏に構成し、例外集合が空である関数の存在を証明した。
• これらの関数は整関数かつ超越的であり、その構成には超越数論の深い結果が根拠として用いられている。
• 各々の構成された関数の例外集合は空であると証明されており、定義域内のすべての代数的数が代数的値に写像されないことを意味する。
• ヒルベルト＝リンデマンの定理を一般化し、超越性が孤立した点にとどまらず、すべての代数的入力に対して一貫して強制可能であることを示した。
• 構成手法により、代数的例外のない現象が理論的に可能であるだけでなく、明示的かつ明確に定義された関数として実現可能であることが示された。