[論文レビュー] Algebraic and transcendental solutions of some exponential equations

Jonathan Sondow, Diego Marques|arXiv (Cornell University)|Aug 30, 2011

Sports Dynamics and Biomechanics参考文献 8被引用数 5

ひとこと要約

本稿は、代数的数と超越数を含む指数方程式の解の算術的性質を調査し、特に $ x^x = y $、$ x^{1/x} = y $、および $ x^y = y^x $（$ x \neq y $）のケースに焦点を当てる。Gelfond-Schneiderの定理とHermite-Lindemannの定理を用いて、解が超越的である条件を確立し、特に有理数 $ A \in (e^{-1/e}, 1) $ に対して $ T^T = A $ の解 $ T $ が超越的であることを示している。主な貢献は、特定の指数的形式における代数的解と超越的解の分類であり、無限累乗塔を含む。

ABSTRACT

We study algebraic and transcendental powers of positive real numbers, including solutions of each of the equations $x^x=y$, $x^y=y^x$, $x^x=y^y$, $x^y=y$, and $x^{x^y}=y$. Applications to values of the iterated exponential functions are given. The main tools used are classical theorems of Hermite-Lindemann and Gelfond-Schneider, together with solutions of exponential Diophantine equations.

研究の動機と目的

• 指数方程式 $ x^x = y $、$ x^{1/x} = y $、$ x^y = y^x $ の解が代数的または超越的である条件を特定すること。
• Gelfond-Schneiderの定理を、底または指数が超越的である場合、特に $ x^y = y^x $ のような対称的方程式に拡張すること。
• 無限累乗塔関数 $ h(x) $、$ h_o(x) $、$ h_e(x) $ の値の算術的性質を分析すること、特に $ (0, e^{-e}] $ 内の有理数入力について。
• 代数的または有理数である $ A $ に対して $ T^T = A $ の解が超越的である条件を提示すること。
• 有理数 $ Q \in (0, e^{-e}] $、$ Q \neq 1/16 $ のとき、$ h_o(Q) $ と $ h_e(Q) $ が両方とも超越的である可能性を調査すること。

提案手法

• Gelfond-Schneiderの定理を適用し、$ A $ が代数的でかつ有理数の有理数乗でない場合、$ T^T = A $ の解 $ T $ は超越的であることを示す。
• Hermite-Lindemannの定理を用いて、代数的でない $ \alpha \neq 0 $ に対して $ e^\alpha $ の超越性を分析し、指数方程式に応用する。
• 算術の基本定理（FTA）を用いて、$ (a/b)^{a/b} $ のような表現の有理化可能性を分析し、$ b \nmid a $ のとき無理数であることを証明する。
• 無限累乗塔 $ y = x^y $、$ y = x^{x^y} $ の収束性と挙動を分析し、$ h(x) $、$ h_o(x) $、$ h_e(x) $ を異なる区間で区別する。
• 関数的恒等式や不等式（例：$ x \in (0, e^{-e}) $ のとき $ h_o(x) < h_e(x) $）を用いて、解の分類とその算術的性質を特定する。
• Schanuelの予想を仮定して、$ \alpha $ が代数的で $ z $ が無理数のとき $ \alpha^{\alpha^z} = z $ ならば $ z $ は超越的であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 代数的数 $ A $ に対して、$ T^T = A $ の解 $ T $ が超越的である条件は何か？
• RQ2 有理数 $ Q \in (0, e^{-e}] $ に対して、$ h_o(Q) $ または $ h_e(Q) $ が超越的である条件は何か？
• RQ3 $ A \in \mathbb{Q} \setminus \{n^n : n \in \mathbb{N}\} $ のとき、$ T^T = A $ の解 $ T $ が代数的である可能性はあるか？
• RQ4 $ x \neq y $ である正の実数 $ x $、$ y $ を用いた $ x^y = y^x $ の解の算術的性質は何か、特にその場合？
• RQ5 有理数 $ Q \in (0, e^{-e}] $、$ Q \neq 1/16 $ のとき、Conjecture 3 が示唆するように、$ h_o(Q) $ と $ h_e(Q) $ が両方とも超越的であるか？

主な発見

• 有理数 $ A \in \mathbb{Q} \cap (e^{-1/e}, 1) $ に対して、$ T^T = A $ の解 $ T $ は超越的である。これは命題 2.3(ii) で示されている。
• $ A^n \notin \mathbb{Q} $ がすべての $ n \in \mathbb{N} $ に対して成り立つ場合、$ T^T = A $ の解 $ T $ は超越的である。これは命題 2.3(i) による。
• $ Q = 1/16 $ のとき、$ h_o(1/16) = 1/4 $ および $ h_e(1/16) = 1/2 $ であり、両方とも有理数であるが、$ Q \in \mathbb{Q} \cap (0, e^{-e}] $ かつ $ Q \neq 1/16 $ のとき、$ h_o(Q) $ と $ h_e(Q) $ はともに無理数であり、少なくとも一方は超越的である。
• $ h_o(1/17) \approx 0.20427 $ および $ h_e(1/17) \approx 0.56059 $ はともに無理数であり、少なくとも一方は超越的である。これは定理 1.2 と恒等式 (10) で確認されている。
• Conjecture 3 は Schanuel の予想を仮定して、有理数 $ Q \in (0, e^{-e}] $、$ Q \neq 1/16 $ のとき、$ h_o(Q) $ と $ h_e(Q) $ が両方とも超越的であると述べており、これは定理 4.9 によって裏付けられている。
• 本稿は、$ \alpha $ が代数的で $ z $ が無理数のとき $ \alpha^{\alpha^z} = z $ ならば、Schanuel の予想のもとで $ z $ は超越的であることを証明しており、超越的結果の適用範囲を拡張している。