{"title":"Common values of linear recurrences related to Shank's simplest cubics","authors":"Attila Pethő , Szabolcs Tengely","doi":"10.1016/j.jnt.2024.09.001","DOIUrl":null,"url":null,"abstract":"<div><div>Let <span><math><mi>A</mi><mo>,</mo><mi>B</mi><mo>,</mo><mi>C</mi><mo>∈</mo><mi>Z</mi></math></span> not all zeroes and let <span><math><mi>F</mi><mo>(</mo><mi>u</mi><mo>,</mo><mi>n</mi><mo>)</mo><mo>=</mo><mi>F</mi><mo>(</mo><mi>A</mi><mo>,</mo><mi>B</mi><mo>,</mo><mi>C</mi><mo>,</mo><mi>u</mi><mo>,</mo><mi>n</mi><mo>)</mo></math></span> be the linear recursive sequence, which is defined by the initial terms <span><math><mi>F</mi><mo>(</mo><mi>u</mi><mo>,</mo><mn>0</mn><mo>)</mo><mo>=</mo><mi>A</mi><mo>,</mo><mi>F</mi><mo>(</mo><mi>u</mi><mo>,</mo><mn>1</mn><mo>)</mo><mo>=</mo><mi>B</mi><mo>,</mo><mi>F</mi><mo>(</mo><mi>u</mi><mo>,</mo><mn>2</mn><mo>)</mo><mo>=</mo><mi>C</mi></math></span> and whose characteristic polynomial is Daniel Shanks simplest cubic <span><math><msub><mrow><mi>S</mi></mrow><mrow><mi>u</mi></mrow></msub><mo>(</mo><mi>X</mi><mo>)</mo><mo>=</mo><msup><mrow><mi>X</mi></mrow><mrow><mn>3</mn></mrow></msup><mo>−</mo><mo>(</mo><mi>u</mi><mo>−</mo><mn>1</mn><mo>)</mo><msup><mrow><mi>X</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>−</mo><mo>(</mo><mi>u</mi><mo>+</mo><mn>2</mn><mo>)</mo><mi>X</mi><mo>−</mo><mn>1</mn><mo>,</mo><mi>u</mi><mo>∈</mo><mi>Z</mi></math></span>. We prove that there exists an effectively computable constant <em>c</em> depending only on <span><math><mi>L</mi><mo>=</mo><mi>max</mi><mo></mo><mo>{</mo><mo>|</mo><mi>A</mi><mo>|</mo><mo>,</mo><mo>|</mo><mi>B</mi><mo>|</mo><mo>,</mo><mo>|</mo><mi>C</mi><mo>|</mo><mo>}</mo></math></span> such that if <span><math><mo>|</mo><mi>F</mi><mo>(</mo><mi>A</mi><mo>,</mo><mi>B</mi><mo>,</mo><mi>C</mi><mo>,</mo><mi>u</mi><mo>,</mo><mi>n</mi><mo>)</mo><mo>|</mo><mo>=</mo><mo>|</mo><mi>F</mi><mo>(</mo><mi>A</mi><mo>,</mo><mi>B</mi><mo>,</mo><mi>C</mi><mo>,</mo><mi>u</mi><mo>,</mo><mi>m</mi><mo>)</mo><mo>|</mo></math></span> holds for some integers <span><math><mi>u</mi><mo>,</mo><mi>n</mi><mo>,</mo><mi>m</mi></math></span> with <span><math><mi>n</mi><mo>≠</mo><mi>m</mi></math></span> then <span><math><mo>|</mo><mi>n</mi><mo>|</mo><mo>,</mo><mo>|</mo><mi>m</mi><mo>|</mo><mo><</mo><mi>c</mi></math></span>. For the choices <span><math><mo>(</mo><mi>A</mi><mo>,</mo><mi>B</mi><mo>,</mo><mi>C</mi><mo>)</mo><mo>∈</mo><mo>{</mo><mo>(</mo><mn>0</mn><mo>,</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>)</mo><mo>,</mo><mo>(</mo><mn>1</mn><mo>,</mo><mo>−</mo><mn>1</mn><mo>,</mo><mn>1</mn><mo>)</mo><mo>}</mo></math></span> we solve the above equations completely. At the end we give an outlook to the equation <span><math><mi>F</mi><mo>(</mo><mn>0</mn><mo>,</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>,</mo><mi>u</mi><mo>,</mo><mi>n</mi><mo>)</mo><mo>=</mo><mi>F</mi><mo>(</mo><mn>0</mn><mo>,</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>,</mo><mi>v</mi><mo>,</mo><mi>m</mi><mo>)</mo></math></span> for some fixed integers <span><math><mi>n</mi><mo>,</mo><mi>m</mi></math></span>.</div></div>","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0022314X24001938","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
Let not all zeroes and let be the linear recursive sequence, which is defined by the initial terms and whose characteristic polynomial is Daniel Shanks simplest cubic . We prove that there exists an effectively computable constant c depending only on such that if holds for some integers with then . For the choices we solve the above equations completely. At the end we give an outlook to the equation for some fixed integers .