The metric simultaneous Diophantine approximations over formal power series. (Q1424577): Difference between revisions

Verf. beweist mehrdimensionale Analoga zu den Haupergebnissen seiner früheren gemeinsamen Arbeit mit \textit{H. Nakada} [Acta Arith. 110, 205--218 (2003; Zbl 1049.11073)]; die im Referat dieser Arbeit eingeführte Notation wird hier beibehalten. Für \(\psi: \mathbb{F}[X] \rightarrow q^{-\mathbb{N}_0}\) werden die simultanen Ungleichungen \((*): |f_i - P_i/Q| < \psi(Q)/|Q| \enspace (i=1,\dots,s)\) mit zu \(Q \in \mathbb{F}[X] \setminus \{0\}\) teilerfremden \(P_1,\dots,P_s \in \mathbb{F}[X]\) betrachtet. Ziel ist es, hinreichende Bedingungen an \(\psi\) zu finden, so dass \((\star)\) für \(m^s\)-fast alle \((f_1,\dots,f_s) \in \mathbb{L}^s\) unendlich viele Lösungen \((P_1/Q,\dots,P_s/Q)\) besitzt. Dabei ist \(\mathbb{L}:= \{f \in \mathbb{F}((X^{-1})): |f| < 1\}\) und \(m^s\) das \(s\)-fache Produkt des normierten Haarschen Maßes \(m\) auf \(\mathbb{L}\). Nun werde \(E_Q\) für normierte \(Q \in \mathbb{F}[X] \setminus \{0\}\) definiert als die Menge der \((f_1,\dots,f_s) \in \mathbb{L}^s\), zu denen es zu \(Q\) teilerfremde \(P_1,\dots,P_s \in \mathbb{F}[X]\) von Graden \(< \deg Q\) gibt, die \((\star)\) erfüllen. Weiter sei \(E:= \bigcap_{n\in\mathbb{N}} \bigcup_{\deg Q \geq n} E_Q\) gesetzt. Dann hat man das erste Hauptresultat: Für jedes \(\psi\) wie oben ist \(m^s(E)\) entweder gleich 0 oder 1. Dies ist ein Analogon für Laurentreihenkörper zu einem Satz im \(\mathbb{R}^s\) von \textit{P. X. Gallagher} [J. Math. Soc. Japan 13, 342--345 (1962; Zbl 0106.04106)]. Des weiteren beweist Verf. ein derartiges \(s\)-dimensionales Analogon zu einem Ergebnis von \textit{R. J. Duffin} und \textit{A. C. Schaeffer} [Duke Math. J. 8, 243--255 (1941; Zbl 0025.11002)] und formuliert abschließend eine damit zusammenhängende Vermutung.