<p>We consider the harmonic series <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1525_Article_IEq1.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="124" /> </InlineMediaObject> <EquationSource Format="TEX">\(S(k)=\sum^{(k)} m^{-1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>S</mi> <mrow> <mo stretchy="false">(</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msup> <mo>∑</mo> <mrow> <mo stretchy="false">(</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> </msup> <msup> <mi>m</mi> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> over the integers having <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1525_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>k</mi> </math></EquationSource> </InlineEquation> occurrences of a given block of <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1525_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(b\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>b</mi> </math></EquationSource> </InlineEquation>-ary digits, of length <InlineEquation ID="IEq100"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1525_Article_IEq100.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(p\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>p</mi> </math></EquationSource> </InlineEquation>, and relatethem to certain measures on the interval [0, 1). We show that these measures converge weakly to <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1525_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(b^p\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>b</mi> <mi>p</mi> </msup> </math></EquationSource> </InlineEquation> times the Lebesgue measure, a fact which allows a new proofof the theorem of Allouche, Hu, and Morin [4] which says <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1525_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="137" /> </InlineMediaObject> <EquationSource Format="TEX">\(\lim S(k)=b^p\log(b)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo movablelimits="true">lim</mo> <mi>S</mi> <mrow> <mo stretchy="false">(</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msup> <mi>b</mi> <mi>p</mi> </msup> <mo>log</mo> <mrow> <mo stretchy="false">(</mo> <mi>b</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>.A quantitative error estimate will be given. Combinatorial aspects involve generating series which fall under the scope of the Goulden–Jackson cluster generatingfunction formalism and the work of Guibas–Odlyzko on string overlaps.</p>

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

Measures associated with certain ellipsephic harmonic series and the Allouche–Hu–Morin limit theorem

  • J.-F. Burnol

摘要

We consider the harmonic series \(S(k)=\sum^{(k)} m^{-1}\) S ( k ) = ( k ) m - 1 over the integers having \(k\) k occurrences of a given block of \(b\) b -ary digits, of length \(p\) p , and relatethem to certain measures on the interval [0, 1). We show that these measures converge weakly to \(b^p\) b p times the Lebesgue measure, a fact which allows a new proofof the theorem of Allouche, Hu, and Morin [4] which says \(\lim S(k)=b^p\log(b)\) lim S ( k ) = b p log ( b ) .A quantitative error estimate will be given. Combinatorial aspects involve generating series which fall under the scope of the Goulden–Jackson cluster generatingfunction formalism and the work of Guibas–Odlyzko on string overlaps.