Page 1

Displaying 1 – 14 of 14

Showing per page

A note on the weighted Khintchine-Groshev Theorem

Mumtaz Hussain, Tatiana Yusupova (2014)

Journal de Théorie des Nombres de Bordeaux

Let W ( m , n ; ψ ̲ ) denote the set of ψ 1 , ... , ψ n –approximable points in m n . The classical Khintchine–Groshev theorem assumes a monotonicity condition on the approximating functions ψ ̲ . Removing monotonicity from the Khintchine–Groshev theorem is attributed to different authors for different cases of m and n . It can not be removed for m = n = 1 as Duffin–Schaeffer provided the counter example. We deal with the only remaining case m = 2 and thereby remove all unnecessary conditions from the Khintchine–Groshev theorem.

All Liouville Numbers are Transcendental

Artur Korniłowicz, Adam Naumowicz, Adam Grabowski (2017)

Formalized Mathematics

In this Mizar article, we complete the formalization of one of the items from Abad and Abad’s challenge list of “Top 100 Theorems” about Liouville numbers and the existence of transcendental numbers. It is item #18 from the “Formalizing 100 Theorems” list maintained by Freek Wiedijk at http://www.cs.ru.nl/F.Wiedijk/100/. Liouville numbers were introduced by Joseph Liouville in 1844 [15] as an example of an object which can be approximated “quite closely” by a sequence of rational numbers. A real...

An extension of a theorem of Duffin and Schaeffer in Diophantine approximation

Faustin Adiceam (2014)

Acta Arithmetica

Duffin and Schaeffer have generalized the classical theorem of Khintchine in metric Diophantine approximation in the case of any error function under the assumption that all the rational approximants are irreducible. This result is extended to the case where the numerators and the denominators of the rational approximants are related by a congruential constraint stronger than coprimality.

An extension of the Khinchin-Groshev theorem

Anish Ghosh, Robert Royals (2015)

Acta Arithmetica

We prove a version of the Khinchin-Groshev theorem in Diophantine approximation for quadratic extensions of function fields in positive characteristic.

Currently displaying 1 – 14 of 14

Page 1