<p>Suppose that <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2024_1002_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\((U_{n})_{n \ge 0}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>U</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mrow> <mi>n</mi> <mo>≥</mo> <mn>0</mn> </mrow> </msub> </math></EquationSource> </InlineEquation> is a binary recurrence sequence and has a dominant root <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2024_1002_Article_IEq4.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2024_1002_Article_IEq5.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha &gt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>&gt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and the discriminant <i>D</i> is square-free. In this paper, we study the Diophantine equation <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2024_1002_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="101" /> </InlineMediaObject> <EquationSource Format="TEX">\(U_n + U_m = x^q\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>U</mi> <mi>n</mi> </msub> <mo>+</mo> <msub> <mi>U</mi> <mi>m</mi> </msub> <mo>=</mo> <msup> <mi>x</mi> <mi>q</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> in integers <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2024_1002_Article_IEq7.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="80" /> </InlineMediaObject> <EquationSource Format="TEX">\(n \ge m \ge 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mi>m</mi> <mo>≥</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2024_1002_Article_IEq8.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(x \ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2024_1002_Article_IEq9.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(q \ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>. Firstly, we show that there are only finitely many of them for a fixed <i>x</i> using linear forms in logarithms. Secondly, we show that there are only finitely many solutions in (<i>n</i>,&#xa0;<i>m</i>,&#xa0;<i>x</i>,&#xa0;<i>q</i>) with <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2024_1002_Article_IEq10.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="59" /> </InlineMediaObject> <EquationSource Format="TEX">\(q, x\ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>,</mo> <mi>x</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> under the assumption of the <i>abc-conjecture</i>. To prove this, we use several classical results like Schmidt subspace theorem, a fundamental theorem on linear equations in <i>S</i>-units and Siegel’s theorem concerning the finiteness of the number of solutions of a superelliptic equation.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On the resolution of the Diophantine equation \(U_n + U_m = x^q\)

  • P. K. Bhoi,
  • S. S. Rout,
  • G. K. Panda

摘要

Suppose that \((U_{n})_{n \ge 0}\) ( U n ) n 0 is a binary recurrence sequence and has a dominant root \(\alpha \) α with \(\alpha >1\) α > 1 and the discriminant D is square-free. In this paper, we study the Diophantine equation \(U_n + U_m = x^q\) U n + U m = x q in integers \(n \ge m \ge 0\) n m 0 , \(x \ge 2\) x 2 , and \(q \ge 2\) q 2 . Firstly, we show that there are only finitely many of them for a fixed x using linear forms in logarithms. Secondly, we show that there are only finitely many solutions in (nmxq) with \(q, x\ge 2\) q , x 2 under the assumption of the abc-conjecture. To prove this, we use several classical results like Schmidt subspace theorem, a fundamental theorem on linear equations in S-units and Siegel’s theorem concerning the finiteness of the number of solutions of a superelliptic equation.