[论文解读] Smooth solutions to the equation A+B=C

Jeffrey C. Lagarias, K. Soundararajan|arXiv (Cornell University)|Nov 21, 2009

Analytic Number Theory Research参考文献 11被引用 3

一句话总结

本文研究了满足 A + B + C = 0 的本原整数解，其中 ABC 的光滑性受到限制，即 ABC 的最大素因子至多为 log H 的固定幂 p，其中 H = max(|A|, |B|, |C|)。在 abc 猜想成立的假设下，本文证明当 p < 8 时，此类解仅有有限多个，从而在该光滑性条件下建立了有限性结果。

ABSTRACT

This paper studies integer solutions to the ABC equation A+B+C=0 in which none of A, B, C has a large prime factor. Set H(A,B, C)= max(|A|,|B|,|C|) and set the smoothness S(A, B, C) to be the largest prime factor of ABC. We consider primitive solutions (gcd(A, B, C)=1) having smoothness no larger than a fixed power p of log H. Assuming the abc Conjecture we show that there are finitely many solutions if p 8. We sketch some details of the proof of the latter result.

研究动机与目标

• 研究 ABC 方程 A + B + C = 0 的本原整数解，其中 A、B 或 C 均不包含大素因子。
• 在 S(A, B, C)（定义为 ABC 的最大素因子）被固定幂 p 的 log H 限制的条件下分析解。
• 在 abc 猜想的假设下，确定此类解的有限性。
• 确定一个临界值 p = 8，当 p 超过该值时，有限性可能不再成立，从而在该猜想下给出一个精确的界限。

提出的方法

• 定义 H(A, B, C) = max(|A|, |B|, |C|) 为解的高度，S(A, B, C) 为乘积 ABC 的最大素因子。
• 将注意力限制在 gcd(A, B, C) = 1 的本原解上，以避免平凡的因式分解。
• 施加光滑性条件 S(A, B, C) ≤ (log H)^p，其中 p 为一个固定的实数。
• 将 abc 猜想作为基础假设，以推导有限性结果。
• 运用解析数论技术，在光滑性和猜想性假设下，对这类解的数量进行有界。
• 概述证明结构，重点说明 abc 猜想如何在光滑性约束下控制解的增长。

实验结果

研究问题

• RQ1 在 ABC 解的光滑性满足何种条件时，abc 猜想能推出 A + B + C = 0 的本原解仅有有限多个？
• RQ2 S(A, B, C) ≤ (log H)^p 时，保证仅有有限多个本原解的临界 p 值是多少？
• RQ3 在 abc 猜想下，ABC 解的光滑性与 H(A, B, C) 的大小之间有何关系？
• RQ4 在 abc 猜想下，是否对所有 p < 8 都能建立解的有限性？
• RQ5 当 A、B、C 的素因子被 log H 的某次幂所限制时，其结构约束如何体现？

主要发现

• 在 abc 猜想成立的假设下，当光滑性 S(A, B, C) 被限制在 (log H)^p 以内时，A + B + C = 0 的本原解仅有有限多个。
• 该有限性结果在 p < 8 时成立，表明在 p = 8 处存在一个精确的临界值。
• 该证明依赖于 abc 猜想，以控制解的大小相对于其光滑性的增长。
• 该结果在即使单个项 A、B、C 可能很大时，也建立了具有有界光滑性的解的条件有限性。
• 分析表明，在 abc 猜想下，当 p < 8 时，ABC 乘积极为光滑的解极为稀少。
• 本文提供了证明的概要，表明该方法依赖于丢番图逼近中深层的猜想性界。