<p> Using basic tools of mathematical analysis and elementary probabilitytheory we address several problems on the irrationality of series of distinctunit fractions,<InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1528_Article_IEq1.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="63" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sum_k 1/a_k\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>∑</mo> <mi>k</mi> </msub> <mn>1</mn> <mo stretchy="false">/</mo> <msub> <mi>a</mi> <mi>k</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>. In particular, we study subseries of the Lambert series <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1528_Article_IEq2.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="100" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sum_k 1/(t^k-1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>∑</mo> <mi>k</mi> </msub> <mn>1</mn> <mo stretchy="false">/</mo> <mrow> <mo stretchy="false">(</mo> <msup> <mi>t</mi> <mi>k</mi> </msup> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and two types of irrationality sequences <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1528_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\((a_k)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>a</mi> <mi>k</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> introduced by PaulErdős and Ronald Graham. Next, we address a question of Erdős, who askedhow rapidly a sequence of positive integers <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1528_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\((a_k)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>a</mi> <mi>k</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> can grow if both series <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1528_Article_IEq1.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="63" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sum_k 1/a_k\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>∑</mo> <mi>k</mi> </msub> <mn>1</mn> <mo stretchy="false">/</mo> <msub> <mi>a</mi> <mi>k</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1528_Article_IEq6.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="102" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sum_k 1/(a_k+1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>∑</mo> <mi>k</mi> </msub> <mn>1</mn> <mo stretchy="false">/</mo> <mrow> <mo stretchy="false">(</mo> <msub> <mi>a</mi> <mi>k</mi> </msub> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>have rational sums. Our construction of double exponentiallygrowing sequences <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1528_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\((a_k)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>a</mi> <mi>k</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> with this property generalizes to any number <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1528_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(d\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>d</mi> </math></EquationSource> </InlineEquation> of series<InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1528_Article_IEq9.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="102" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sum_k 1/(a_k+j)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>∑</mo> <mi>k</mi> </msub> <mn>1</mn> <mo stretchy="false">/</mo> <mrow> <mo stretchy="false">(</mo> <msub> <mi>a</mi> <mi>k</mi> </msub> <mo>+</mo> <mi>j</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>,<InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1528_Article_IEq15.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="147" /> </InlineMediaObject> <EquationSource Format="TEX">\(j=0,1,2,\ldots,d-1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>j</mi> <mo>=</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> <mo>,</mo> <mo>…</mo> <mo>,</mo> <mi>d</mi> <mo>-</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>,and, in particular, also gives a positive answerto a question of Erdős and Ernst Straus on the interior of the set of <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1528_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(d\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>d</mi> </math></EquationSource> </InlineEquation>-tuples of their sums.Finally, we prove the existence of a sequence <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1528_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\((a_k)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>a</mi> <mi>k</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> such that all well-defined sums <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1528_Article_IEq19.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="100" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sum_k 1/(a_k+t)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>∑</mo> <mi>k</mi> </msub> <mn>1</mn> <mo stretchy="false">/</mo> <mrow> <mo stretchy="false">(</mo> <msub> <mi>a</mi> <mi>k</mi> </msub> <mo>+</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>,<InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1528_Article_IEq20.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(t\in\mathbb{Z}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo>∈</mo> <mi mathvariant="double-struck">Z</mi> </mrow> </math></EquationSource> </InlineEquation>, are rational numbers, giving a negative answer to a conjecture by Kenneth Stolarsky.</p>

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

On several irrationality problems for Ahmes series

  • V. Kovač,
  • T. Tao

摘要

Using basic tools of mathematical analysis and elementary probabilitytheory we address several problems on the irrationality of series of distinctunit fractions, \(\sum_k 1/a_k\) k 1 / a k . In particular, we study subseries of the Lambert series \(\sum_k 1/(t^k-1)\) k 1 / ( t k - 1 ) and two types of irrationality sequences \((a_k)\) ( a k ) introduced by PaulErdős and Ronald Graham. Next, we address a question of Erdős, who askedhow rapidly a sequence of positive integers \((a_k)\) ( a k ) can grow if both series \(\sum_k 1/a_k\) k 1 / a k and \(\sum_k 1/(a_k+1)\) k 1 / ( a k + 1 ) have rational sums. Our construction of double exponentiallygrowing sequences \((a_k)\) ( a k ) with this property generalizes to any number \(d\) d of series \(\sum_k 1/(a_k+j)\) k 1 / ( a k + j ) , \(j=0,1,2,\ldots,d-1\) j = 0 , 1 , 2 , , d - 1 ,and, in particular, also gives a positive answerto a question of Erdős and Ernst Straus on the interior of the set of \(d\) d -tuples of their sums.Finally, we prove the existence of a sequence \((a_k)\) ( a k ) such that all well-defined sums \(\sum_k 1/(a_k+t)\) k 1 / ( a k + t ) , \(t\in\mathbb{Z}\) t Z , are rational numbers, giving a negative answer to a conjecture by Kenneth Stolarsky.