すべての初等関数を指数・対数で表現できるわけではない
この記事は、初等関数を指数関数と対数関数(exp-minus-log, EML)で表現できるかという数学的問題を扱っています。「初等関数」には複数の定義が存在し、広い定義では多項式の根を含む代数的操作も含まれますが、本論文ではより限定的な定義を使用しています。
この記事は、初等関数を指数関数と対数関数(exp-minus-log, EML)で表現できるかという数学的問題を扱っています。「初等関数」には複数の定義が存在し、広い定義では多項式の根を含む代数的操作も含まれますが、本論文ではより限定的な定義を使用しています。
技術的には、「閉じた形の数(closed-form number)」という概念に関連しており、exp-log で表現可能な数の集合は、exp と log で閉じた複素数体の部分体 E より真に小さい部分集合であることが示されています。つまり、E に属する数でも EML では表現できないものが存在するということです。
重要性は、どのような関数や数が初等的な操作で表現可能かを理解することにあり、これは数値解析、微分方程式理論、および計算機代数システムの設計に影響を与えます。特に、一般的な多項式方程式の解は E に属さないため、当然のことながら EML でも表現できません。
コメント欄では「初等関数」の定義の曖昧性についての議論が中心となっており、論文の定義の限界を認識しつつも、その枠内での理論的な正当性が理解されています。
「関連する研究に『閉じた形の数とは何か』という論文があります。これは複素数の部分体 E を定義しており、exp と log の下で閉じています。EML で生成できる数の集合はこの E の真部分集合であると考えられます。この投稿と同様の観点で、その論文は一般的な多項式には E での解が存在しないことを指摘しており、したがって EML でも同様に不完全であることは当然です。」— @SabrinaJewson