<p>This paper studies the convergence exponent of the partial quotients in the backward continued fraction (BCF) expansion of real numbers. Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\tau (x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>τ</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> be the convergence exponent of the BCF partial quotients of a real number <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(x\in [0,1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>∈</mo> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. For any <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(0\le \xi \le \infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>≤</mo> <mi>ξ</mi> <mo>≤</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>, we investigate the size and structure of the level set <Equation ID="Equ66"> <EquationSource Format="TEX">\(\begin{aligned} \Delta (\xi ):= \left\{ x\in [0,1): \tau (x)=\xi \right\} \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi mathvariant="normal">Δ</mi> <mrow> <mo stretchy="false">(</mo> <mi>ξ</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mo>=</mo> <mfenced close="}" open="{"> <mi>x</mi> <mo>∈</mo> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mo>:</mo> <mi>τ</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi>ξ</mi> </mfenced> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>from the perspectives of Lebesgue measure, Baire category, and multifractal analysis. We prove that the set <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\Delta (\infty )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">(</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> has full Lebesgue measure and is residual, whereas for any finite <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\xi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ξ</mi> </math></EquationSource> </InlineEquation>, the set <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\Delta (\xi )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">(</mo> <mi>ξ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> has Lebesgue measure zero and is of first category. Furthermore, we determine the multifractal spectrum <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\xi \mapsto \dim _\textrm{H}\Delta (\xi )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ξ</mi> <mo>↦</mo> <msub> <mo>dim</mo> <mtext>H</mtext> </msub> <mi mathvariant="normal">Δ</mi> <mrow> <mo stretchy="false">(</mo> <mi>ξ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and show that it equals 1/2 for all finite <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\xi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ξ</mi> </math></EquationSource> </InlineEquation> and jumps to 1 at <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\xi =\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ξ</mi> <mo>=</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>. Restricting to the set <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\Lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Λ</mi> </math></EquationSource> </InlineEquation> of points with non-decreasing BCF partial quotients, we derive explicit formulas for the Hausdorff dimension of generalized growth-level sets, thereby obtaining a continuous and non-increasing spectrum for <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\dim _{\textrm{H}}(\Delta (\xi ) \cap \Lambda )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>dim</mo> <mtext>H</mtext> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Δ</mi> <mrow> <mo stretchy="false">(</mo> <mi>ξ</mi> <mo stretchy="false">)</mo> </mrow> <mo>∩</mo> <mi mathvariant="normal">Λ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

On the Convergence Exponent for Backward Continued Fractions

  • Chenfei Shi,
  • Lei Shang

摘要

This paper studies the convergence exponent of the partial quotients in the backward continued fraction (BCF) expansion of real numbers. Let \(\tau (x)\) τ ( x ) be the convergence exponent of the BCF partial quotients of a real number \(x\in [0,1)\) x [ 0 , 1 ) . For any \(0\le \xi \le \infty \) 0 ξ , we investigate the size and structure of the level set \(\begin{aligned} \Delta (\xi ):= \left\{ x\in [0,1): \tau (x)=\xi \right\} \end{aligned}\) Δ ( ξ ) : = x [ 0 , 1 ) : τ ( x ) = ξ from the perspectives of Lebesgue measure, Baire category, and multifractal analysis. We prove that the set \(\Delta (\infty )\) Δ ( ) has full Lebesgue measure and is residual, whereas for any finite \(\xi \) ξ , the set \(\Delta (\xi )\) Δ ( ξ ) has Lebesgue measure zero and is of first category. Furthermore, we determine the multifractal spectrum \(\xi \mapsto \dim _\textrm{H}\Delta (\xi )\) ξ dim H Δ ( ξ ) and show that it equals 1/2 for all finite \(\xi \) ξ and jumps to 1 at \(\xi =\infty \) ξ = . Restricting to the set \(\Lambda \) Λ of points with non-decreasing BCF partial quotients, we derive explicit formulas for the Hausdorff dimension of generalized growth-level sets, thereby obtaining a continuous and non-increasing spectrum for \(\dim _{\textrm{H}}(\Delta (\xi ) \cap \Lambda )\) dim H ( Δ ( ξ ) Λ ) .