Inhomogeneous Diophantine approximation for generic homogeneous functions
The present paper is a sequel to [Monatsh.~Math.\ {\bf 194} (2021), 523--554] in which results of that paper are generalized so that they hold in the setting of inhomogeneous Diophantine approximation. Given any integers n≥2 and ℓ≥1, any ξ=(ξ1,…,ξℓ)∈Rℓ, and any homogeneous function \linebreak f=(f1,…,fℓ):Rn→Rℓ that satisfies a certain nonsingularity assumption, we obtain a biconditional criterion on the approximating function ψ=(ψ1,…,ψℓ):R≥0→(R>0)ℓ for a generic element f∘g in the SLn(R)-orbit of f to be (respectively, not to be) ψ-approximable at ξ=(ξ1,…,ξn): that is, for there to exist infinitely many (respectively, only finitely many) v∈Zn such that ∣ξj−(fj∘g)(v)∣≤ψj(∥v∥) for each j∈{1,…,ℓ}. In this setting, we also obtain a sufficient condition for uniform approximation. We also consider some examples of f that do not satisfy our nonsingularity assumptions and prove similar results for these examples. Moreover, one can replace SLn(R) above by any closed subgroup of ASLn(R) that satisfies certain integrability axioms (being of Siegel and Rogers type) introduced by the authors in the aforementioned previous paper.
