<p>Recently Koivusalo, Levesley, Ward and Zhang introduced the set of simultaneously <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3714_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Phi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Φ</mi> </math></EquationSource> </InlineEquation>-badly approximable real vectors of <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3714_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {R}^m\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>m</mi> </msup> </math></EquationSource> </InlineEquation> with respect to an approximation function <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3714_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Phi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Φ</mi> </math></EquationSource> </InlineEquation>, and determined its Hausdorff dimension for the special class of power functions <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3714_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Phi (t)=t^{-\tau }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Φ</mi> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msup> <mi>t</mi> <mrow> <mo>-</mo> <mi>τ</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation>. We refine this by naturally extending the formula to arbitrary decreasing functions, in terms of the lower order of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3714_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\(1/\Phi \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo stretchy="false">/</mo> <mi mathvariant="normal">Φ</mi> </mrow> </math></EquationSource> </InlineEquation> at infinity. We also provide an alternative, rather mild condition on <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3714_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Phi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Φ</mi> </math></EquationSource> </InlineEquation> for this conclusion. Moreover, our results apply in the general matrix setting, and we establish an according formula for packing dimension as well. Thereby we also complement a recent refinement by Bandi and de Saxcé on the smaller set of exact approximation with respect to <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3714_Article_IEq10.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Phi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Φ</mi> </math></EquationSource> </InlineEquation>. Our basic tool is (a uniform variant of) the variational principle by Das, Fishman, Simmons, Urbański. We also prove some new lower estimates regarding the set of exact approximation order in the matrix setting, which are sharp in special instances. For this we combine the result by Bandi and de Saxcé with a method developed by Moshchevitin.</p>

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

The set of \(\Phi \) badly approximable matrices has full Hausdorff dimension

  • Johannes Schleischitz

摘要

Recently Koivusalo, Levesley, Ward and Zhang introduced the set of simultaneously \(\Phi \) Φ -badly approximable real vectors of \(\mathbb {R}^m\) R m with respect to an approximation function \(\Phi \) Φ , and determined its Hausdorff dimension for the special class of power functions \(\Phi (t)=t^{-\tau }\) Φ ( t ) = t - τ . We refine this by naturally extending the formula to arbitrary decreasing functions, in terms of the lower order of \(1/\Phi \) 1 / Φ at infinity. We also provide an alternative, rather mild condition on \(\Phi \) Φ for this conclusion. Moreover, our results apply in the general matrix setting, and we establish an according formula for packing dimension as well. Thereby we also complement a recent refinement by Bandi and de Saxcé on the smaller set of exact approximation with respect to \(\Phi \) Φ . Our basic tool is (a uniform variant of) the variational principle by Das, Fishman, Simmons, Urbański. We also prove some new lower estimates regarding the set of exact approximation order in the matrix setting, which are sharp in special instances. For this we combine the result by Bandi and de Saxcé with a method developed by Moshchevitin.