[论文解读] 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 $）的情形。利用盖尔范德-施耐德定理与赫尔米特-林德曼定理，本文建立了在何种条件下解为超越数的条件，特别是证明了当有理数 $ 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 $ 的解为代数数或超越数的条件。
• 将盖尔范德-施耐德定理扩展至底数或指数为超越数的情形，特别是在对称方程 $ 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) $ 是否均为超越数的可能性。

提出的方法

• 应用盖尔范德-施耐德定理证明：若 $ T^T = A $，其中 $ A $ 为代数数且非有理数的有理次幂，则 $ T $ 必为超越数。
• 利用赫尔米特-林德曼定理分析 $ e^\alpha $ 的超越性（$ \alpha $ 为非零代数数），并将其应用于指数方程。
• 运用算术基本定理（FTA）分析 $ (a/b)^{a/b} $ 等表达式的有理性，证明当 $ b \nmid a $ 时其为无理数。
• 分析无限幂塔 $ y = x^y $、$ y = x^{x^y} $ 的收敛性与行为，区分 $ h(x) $、$ h_o(x) $ 与 $ h_e(x) $ 在不同区间上的表现。
• 使用函数恒等式与不等式（如 $ h_o(x) < h_e(x) $ 对于 $ x \in (0, e^{-e}) $）对解及其算术性质进行分类。
• 在假设施南德尔猜想成立的前提下，证明若 $ \alpha^{\alpha^z} = z $，其中 $ \alpha $ 为代数数且 $ 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 $ 时，$ h_o(Q) $ 与 $ h_e(Q) $ 是否均为超越数？此问题由猜想3提出。

主要发现

• 对于 $ A \in \mathbb{Q} \cap (e^{-1/e}, 1) $，方程 $ T^T = A $ 的解 $ T $ 为超越数，如命题2.3(ii)所示。
• 若对所有 $ n \in \mathbb{N} $，均有 $ A^n \notin \mathbb{Q} $，则方程 $ 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)确认。
• 猜想3（在施南德尔猜想下成立）指出：对于有理数 $ Q \in (0, e^{-e}] $，$ Q \neq 1/16 $，$ h_o(Q) $ 与 $ h_e(Q) $ 均为超越数，且该猜想得到定理4.9的支持。
• 本文证明：在施南德尔猜想成立的前提下，若 $ \alpha^{\alpha^z} = z $，其中 $ \alpha $ 为代数数且 $ z $ 为无理数，则 $ z $ 为超越数，从而将超越性结果的适用范围进一步扩展。