[論文レビュー] On the Diophantine equation x^2+2^a.3^b.11^c=y^n

İsmail Naci Cangül, Musa Demırcı+3 more|arXiv (Cornell University)|Jan 3, 2012

Algebraic Geometry and Number Theory参考文献 4被引用数 3

ひとこと要約

この論文は、代数的整数論および原始的因子理論を用いて、すべての整数 $a, b, c, x, y, n \geq 3$ に対して $\gcd(x, y) = 1$ を満たすディオファントス方程式 $x^2 + 2^a \cdot 3^b \cdot 11^c = y^n$ を解決する。解は $n = 3, 4, 5, 6, 10$ の場合にのみ存在し、明示的な解が与えられ、その主要結果は、互いに素であるという条件の下でのすべての解の完全な分類である。

ABSTRACT

In this note, we find all the solutions of the Diophantine equation x^2 +2^a.3^b.11^c=y^n in nonnegative integers a, b, c, x, y, n>= 3 with x and y coprime.

研究の動機と目的

• ディオファントス方程式 $x^2 + 2^a \cdot 3^b \cdot 11^c = y^n$ の非負整数解 $(x, y, a, b, c, n)$ をすべて分類すること。ただし $n \geq 3$ かつ $\gcd(x, y) = 1$ とする。
• 特に $S = \{2, 3, 11\}$ の場合に、$S$-単数係数をもつ指数型ディオファントス方程式に関する既知の結果を拡張すること。
• 右辺が完全な $n$ 乗数であり、左辺が平方数と $S$-単数の和であるような場合の解の完全な集合を特定すること。
• 解が存在する唯一の指数 $n \geq 3$ で、$\{2, 3\}$ の素因数のみをもつものは $n = 3, 4, 6$ であることを確立すること。

提案手法

• $n = 3$ および $n = 4$ の場合に、それぞれ三次および四次的な楕円曲線のモデルに方程式を変形し、$\{2, 3, 11\}$-整数点を計算する。
• ルカ数列の原始的因子理論を用いて $n \geq 5$ の場合を分析し、線形再帰数列の深い数論的性質を活用する。
• 合同式およびモジュロ算術を用いて、特に 8 を法として、不可能な場合を除外し、指数および符号の可能な値を制約する。
• 計算代数システム（MAGMA および mwrank）を用いて、導出された楕円曲線上の整数点を体系的かつ検証的に計算する。
• 指数 $n$ に応じて $y = u^2 + dv^2$（$d = 1, 2, 3, 6$）の因数分解に基づく場合分けを行い、問題を扱いやすい部分問題に還元する。
• 各場合において、$v$ を 2, 3, 11 のべきの積として代入し、$\{2, 3, 11\}$-整数上での方程式に帰着させて解を求める。

実験結果

リサーチクエスチョン

• RQ1 非負整数 $x, y, a, b, c$ および $n \geq 3$, $\gcd(x, y) = 1$ を満たす $x^2 + 2^a \cdot 3^b \cdot 11^c = y^n$ のすべての解は何か？
• RQ2 $n$ の素因数が $\{2, 3\}$ に制限される場合、方程式が解をもつのはどの指数 $n \geq 3$ か？
• RQ3 ルカ数列の原始的因子は、合成的な $S$-単数係数をもつ指数型ディオファントス方程式を解くのにどのように役立つか？
• RQ4 楕円曲線法と計算代数システムを組み合わせることで、方程式を完全に解くことができるか？

主な発見

• $n = 3$ の場合の唯一の解は、表1および表2にリストアップされており、この指数に対する完全な分類がなされている。
• $n = 4$ の場合、解は表3に明示的に与えられており、すべてが互いに素および指数の条件を満たしている。
• $n = 5$ の場合の解は $(x, y, a, b, c) = (1, 3, 1, 0, 2)$ および $(241, 9, 3, 0, 2)$ である。
• $n = 6$ の場合の解は $(5, 3, 6, 0, 1)$、$(37, 5, 4, 4, 1)$、および $(117, 5, 4, 0, 2)$ である。
• $n = 10$ の場合の解は $(241, 3, 3, 0, 2)$ であり、$n = 5$ の場合にも満たすが、$n = 10$ の場合に特有の解である。
• 素因数が $\{2, 3\}$ に制限される $n \geq 3$ の中で解が存在するのは $n = 3, 4, 6$ のみであることが、解析によって確認された。