[논문 리뷰] Algebraic and transcendental solutions of some exponential equations

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

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) $가 모두 초월수일 가능성에 대해 조사하는 것.

제안 방법

• A가 대수적이고 유리수의 거듭제곱이 아니면, $ T^T = A $이면 $ T $가 초월수임을 보이기 위해 겔판트-슐라이퍼 정리를 적용한다.
• 헤르마이트-린델만 정리를 사용하여 $ \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) $ 를 사용하여 해와 그 산술적 성질을 분류한다.
• 스카누엘의 추측을 조건적으로 활용하여, $ \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 $ 에 대해 $ h_o(Q) $ 및 $ h_e(Q) $가 모두 초월수일 수 있는가? (추측 3에 제기된 바와 같이)

주요 결과

• $ 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)에 의해 확인되었다.
• 스카누엘의 추측을 조건으로 하여, 추측 3은 유리수 $ Q \in (0, e^{-e}] $, $ Q \neq 1/16 $ 에 대해 $ h_o(Q) $ 및 $ h_e(Q) $가 모두 초월수임을 주장하며, 이는 정리 4.9에 의해 지지된다.
• 논문은 스카누엘의 추측을 바탕으로, $ \alpha $가 대수적이고 $ z $가 무리수일 경우 $ \alpha^{\alpha^z} = z $ 이면 $ z $는 초월수임을 증명하며, 초월성 결과의 적용 범위를 확장한다.