A note on simultaneous Diophantine approximation on planar curves

Victor Beresnevich * * Research supported by EPSRC Grant R90727/01 Minsk

Sanju Velani † † Royal Society University Research Fellow York

For Iona and Ayesha on N o   3
Abstract
Let S n ( ψ 1 , . . . , ψ n )   denote the set of simultaneously ( ψ 1 , . . . , ψ n )   –approximable points in R n   and S * n ( ψ )   denote the set of multiplicatively ψ   –approximable points in R n   . Let ℳ   be a manifold in R n   . The aim is to develop a metric theory for the sets ℳ ∩ S n ( ψ 1 , . . . , ψ n )   and ℳ ∩ S * n ( ψ )   analogous to the classical theory in which ℳ   is simply R n   . In this note, we mainly restrict our attention to the case that ℳ   is a planar curve C   . A complete Hausdorff dimension theory is established for the sets C ∩ S 2 ( ψ 1 , ψ 2 )   and C ∩ S * 2 ( ψ )   . A divergent Khintchine type result is obtained for C ∩ S 2 ( ψ 1 , ψ 2 )   ; i.e.
if a certain sum diverges then the one–dimensional Lebesgue measure on C   of C ∩ S 2 ( ψ 1 , ψ 2 )   is full.
Furthermore, in the case that C   is a rational quadric the convergent Khintchine type result is obtained for both types of approximation. Our results for C ∩ S 2 ( ψ 1 , ψ 2 )   naturally generalize the dimension and Lebesgue measure statements of [2] . Within the multiplicative framework, our results for C ∩ S * 2 ( ψ )   constitute the first of their type.
2000 Mathematics Subject Classification : Primary 11J83; Secondary 11J13, 11K60 Keywords and phrases : Metric Diophantine approximation, Khintchine type theorems, Hausdorff dimension, Multiplicative approximation

1 Introduction

1.1 Background: two types of simultaneous approximation

Throughout ψ : R + → R +   will denote a real, positive decreasing function and will be referred to as an approximating function. Given approximating functions ψ 1 , . . . , ψ n   , a point y = ( y 1 , . . . , y n ) ∈ R n   is called simultaneously ( ψ 1 , . . . , ψ n )   –approximable if there are infinitely many q ∈ N   such that ∥ q y i ∥ < ψ i ( q ) 1 ⩽ i ⩽ n   where ∥ x ∥ = min { | x − m | : m ∈ Z }   . In the case ψ i : h → h − v i   with v i > 0   , the point y   is said to be simultaneously ( v 1 , . . . , v n )   –approximable. The set of simultaneously ( ψ 1 , . . . , ψ n )   –approximable points in R n   will be denoted by S n ( ψ 1 , . . . , ψ n )   and similarly S n ( v 1 , . . . , v n )   will denote the set of simultaneously ( v 1 , . . . , v n )   –approximable points in R n   .
Geometrically, y ∈ S n ( ψ 1 , . . . , ψ n )   if it lies in infinitely many n   –dimensional `rectangular' regions centred at rational points with `size' determined by ψ 1 , . . . , ψ n   .
Next, given an approximating function ψ   , a point y = ( y 1 , . . . , y n ) ∈ R n   is called multiplicatively ψ   –approximable if there are infinitely many q ∈ N   such that n ∏ i = 1 ∥ q y i ∥ < ψ ( q ) .   In the case ψ : h → h − v   with v > 0   the point y   is said to be multiplicatively v   –approximable.
The set of multiplicatively ψ   –approximable points in R n   will be denoted by S * n ( ψ )   and similarly S * n ( v )   will denote the set of multiplicatively v   –approximable points in R n   . In this multiplicative setup, y ∈ S * n ( ψ )   if it lies in infinitely many n   –dimensional `hyperbolic' regions centred at rational points with `size' determined by ψ   .
It is readily verified that
S n ( ψ 1 , . . . , ψ n ) ⊂ S * n ( ψ ) whenever ψ ⩾ ψ 1 ⋯ ψ n , (1)
S n ( v 1 , . . . , v n ) ⊂ S * n ( v ) whenever v ⩽ v 1 + ⋅ ⋅ ⋅ + v n . (2)
Also, in view of Minkowski's linear forms theorem which gives rise to a general n   –dimensional version of Dirichlet's theorem,
S n ( v 1 , . . . , v n ) = R n i f v 1 + ⋅ ⋅ ⋅ + v n ≤ 1 . (3)
This together with  2  ( )   implies that
S * n ( v ) = R n i f v ≤ 1 . (4)
The Lebesgue theory. The following key results provide beautiful and simple criteria for the `size' of the sets S n ( ψ 1 , . . . , ψ n )   and S * n ( ψ )   expressed in terms of n   –dimensional Lebesgue measure | | R n   . The first is due to Khintchine [10] and the second is due to Gallagher [7] .
Theorem K (1926). Let ψ   be an approximating function. Then | S n ( ψ 1 , . . . , ψ n ) | R n = { ZERO i f ∑ ψ 1 ( h ) . . . ψ n ( h ) < ∞ FULL i f ∑ ψ 1 ( h ) . . . ψ n ( h ) = ∞ .  
This theorem is a generalization of Khintchine's 1924 result which deals with the special case ψ 1 = ψ 2 = ⋅ ⋅ ⋅ = ψ n   .
Theorem G (1962). Let ψ   be an approximating function. Then | S * n ( ψ ) | R n = { ZERO i f ∑ ψ ( h ) n ( log h ) n − 1 < ∞ FULL i f ∑ ψ ( h ) n ( log h ) n − 1 = ∞ .  
Here `full' simply means that the complement of the set under consideration is of `zero' measure. Thus the n   –dimensional Lebesgue measure of the sets in question satisfy a `zero-full' law. The divergence parts of the above statements constitute the main substance of the theorems. The convergence parts are a simple consequence of the Borel-Cantelli lemma from probability theory. Trivially, the convergence parts imply that | S n ( v 1 , . . . , v n ) | R n = 0 i f v 1 + ⋅ ⋅ ⋅ + v n > 1   and | S * n ( v ) | R n = 0 i f v > 1 .   Note that the former statement is in fact a consequence of the latter and ( 2 ). In the case that the set in question is of Lebesgue measure zero, a more delicate attribute of the `size' of the set is its Hausdorff measure and dimension. In this article we shall only be concerned with the dimension theory. The Hausdorff dimension of a set X ∈ R n   is defined as follows.
For ρ > 0   , a countable collection { B i }   of Euclidean balls in R n   with diameter diam ( B i ) ≤ ρ   for each i   such that X ⊂ ∪ i B i   is called a ρ   -cover for X   . Let s   be a non-negative number and define ℋ ρ s ( X ) = inf { ∑ i diam ( B i ) s : { B i } i s a ρ − c o v e r o f X }   , where the infimum is taken over all possible ρ   -covers of X   . The Hausdorff dimension dim X   of X   is defined by infimum over s   for which sup ρ > 0 ℋ ρ s ( X )   is zero. The dimension theory. The following relatively recent results provide exact formulae for the `size' of the sets S n ( v 1 , . . . , v n )   and S * n ( v )   expressed in terms of Hausdorff dimension. The first is due to Rynne [11] and the second is due to Bovey &   Dodson [6] .
Theorem R (1996). Let v 1 ≥ v 2 ≥ ⋅ ⋅ ⋅ ≥ v n   and v 1 + v 2 + ⋅ ⋅ ⋅ + v n ≥ 1   . Then dim S n ( v 1 , . . . , v n ) = min 1 ≤ k ≤ n { n + 1 + ∑ i = k n ( v k − v i ) 1 + v k } .  
In the case v 1 = v 2 = ⋅ ⋅ ⋅ = v n   , the above statement reduces to the classical Jarník–Besicovitch theorem.
Theorem BD (1978). Let v ≥ 1   . Then dim S * n ( v ) = n − 1 + 2 v + 1 .  

1.2 Simultaneous approximation restricted to manifolds

Let ℳ   be a manifold in R n   . In short, the aim is to develop a metric theory for the sets ℳ ∩ S n ( ψ 1 , . . . , ψ n )   and ℳ ∩ S * n ( ψ )   analogous to that described above in which ℳ   is simply R n   . The fact that the points y   of interest consist of dependent variables, reflecting the fact that y ∈ ℳ   introduces major difficulties in attempting to describe the measure theoretic structure of either set. This is true even in the specific case that ℳ   is a planar curve – the main subject of this article.
In order to make any reasonable progress it is not unreasonable to assume that the manifolds ℳ   under consideration are non-degenerate. Essentially, these are smooth sub-manifolds of R n   which are sufficiently curved so as to deviate from any hyperplane.
Formally, a manifold ℳ   of dimension m   embedded in R n   is said to be non-degenerate if it arises from a non–degenerate map f : U → R n   where U   is an open subset of R m   and ℳ : = f ( U )   . The map f : U → R n : u ↦ f ( u ) = ( f 1 ( u ) , . . . , f n ( u ) )   is said to be non–degenerate at u ∈ U   if there exists some l ∈ N   such that f   is l   times continuously differentiable on some sufficiently small ball centred at u   and the partial derivatives of f   at u   of orders up to l   span R n   . The map f   is non–degenerate if it is non–degenerate at almost every (in terms of m   –dimensional Lebesgue measure) point in U   ; in turn the manifold ℳ = f ( U )   is also said to be non–degenerate. Any real, connected analytic manifold not contained in any hyperplane of R n   is non–degenerate.
Trivially, if the dimension dim ℳ   of the manifold ℳ   in R n   is strictly less than n   then | ℳ | R n = 0   . Thus, in attempting to develop a Lebesgue theory for the sets ℳ ∩ S n ( ψ 1 , . . . , ψ n )   and ℳ ∩ S * n ( ψ )   it is natural to use the induced Lebesgue measure | . | ℳ   on ℳ   .
In 1998, D. Kleinbock & G. Margulis [9] proved the Baker-Sprindžuk conjecture:
Theorem KM (1998) Let ℳ   be a non-degenerate manifold in R n   . Then
| ℳ ∩ S * n ( v ) | ℳ = 0 i f v > 1 . (5)
By inclusion ( 2 ), Theorem KM implies that for any non-degenerate manifold
| ℳ ∩ S n ( v 1 , … , v n ) | ℳ = 0 i f v 1 + … + v n > 1 . (6)
1   Also, note that in view of ( 3 ) and ( 4 ) both ( 5 ) and ( 6 ) are sharp. The first significant `clear cut' statement was for planar curves. In 1964, Schmidt [12] established ( 6 ) in the case that ℳ   is a C ( 3 )   non-degenerate planar curve and v 1 = v 2   .
The result of Kleinbock & Margulis gives some hope of developing a general metric theory for simultaneous approximation restricted to manifolds, analogous to that described in § 1.1 .
As stepping stones, it is natural to consider the following explicit problems which ask for refinements of the measure zero statement of Kleinbock & Margulis. Problem S1 : Given a non-degenerate manifold ℳ ⊂ R n   and v > 1   (respectively v 1 + … + v n > 1   ), what is the Hausdorff dimension of ℳ ∩ S * n ( v )   (respectively ℳ ∩ S n ( v 1 , … , v n )   ) ? Problem S2 : Given a non-degenerate manifold ℳ ⊂ R n   and an approximating function ψ   (respectively ψ 1 , . . . , ψ n   ), what is the weakest condition under which ℳ ∩ S * ( ψ )   (respectively ℳ ∩ S n ( v 1 , … , v n )   ) is of Lebesgue measure zero?
Problem S1 motivates the dimension theory for simultaneous approximation restricted to manifolds whilst Problem S2 motivates the convergent aspects of the Lebesgue theory. A priori, convergent statements are usually easier to establish than their divergent counterparts.
Until recently, the existing metric theory for simultaneous approximation restricted to manifolds was rather ad-hoc – see [3] for an account. Even in the simplest geometric and arithmetic situation in which the manifold is a genuine curve in R 2   the above problems seemed to have been impenetrable. However, in [3] we made significant progress towards developing a complete metric theory for the sets ℳ ∩ S 2 ( ψ 1 , ψ 2 )   with ψ 1 = ψ 2   and ℳ   a non-degenerate planar curve 2   . In this paper we study the general simultaneous settings given to us by the above problems.
This therefore includes the multiplicative setup. As in [3] , we will mainly direct our efforts towards the case that the manifold ℳ   is a planar curve C   . Thus, dim ℳ = 1   and n = 2   in the above problems.

1   When v 1 = … = v n   this statement verifies the conjecture of Sprindžuk which was stated for analytic manifolds only.

2   Note that in the case the manifold is a planar curve C   , a point on C   is non-degenerate if the curvature at that point is non-zero. Thus, C   is a non-degenerate planar curve if the set of points on C   at which the curvature vanishes is a set of one–dimensional Lebesgue measure zero. Moreover, it is not difficult to show that the set of points on a planar curve at which the curvature vanishes but the curve is non-degenerate is at most countable.

In view of this, the curvature completely describes the non-degeneracy of planar curves.

1.3 Statement of results

1.3.1 The Lebesgue theory

Theorem 1 Let ψ 1 , ψ 2   be approximating functions and let C   be a C ( 3 )   non-degenerate planar curve. Then | C ∩ S 2 ( ψ 1 , ψ 2 ) | C = FULL if ∑ h = 1 ∞ ψ 1 ( h ) ψ 2 ( h ) = ∞ .  
The next theorem shows that the above result is best possible. We establish the complementary `convergence result' for a class Q   of non-degenerate rational quadrics. A planar curve C   is in Q   if it is the image of either the unit circle C 1 : = { ( x 1 , x 2 ) ∈ R 2 : x 1 2 + x 2 2 = 1 }   , the parabola { ( x 1 , x 2 ) ∈ R 2 : x 2 = x 1 2 }   or the hyperbola { ( x 1 , x 2 ) ∈ R 2 : x 1 2 − x 2 2 = 1 }   under a rational affine transformation of the plane.
Theorem 2 Let ψ 1 , ψ 2   be approximating functions and C ∈ Q   . Then
| C ∩ S 2 ( ψ 1 , ψ 2 ) | C = { ZERO i f ∑ h = 1 ∞ ψ 1 ( h ) ψ 2 ( h ) < ∞ , FULL i f ∑ h = 1 ∞ ψ 1 ( h ) ψ 2 ( h ) = ∞ . (7)
These theorems are a generalization of the results in [3] which deal with the situation ψ 1 = ψ 2   . The next theorem is concerned with the multiplicative Lebesgue theory and is a refinement of Theorem KM for manifolds in Q   .
Theorem 3 Let ψ   be an approximating function and C ∈ Q   . Then
| C ∩ S * 2 ( ψ ) | C = 0 if ∑ h = 1 ∞ ψ ( h ) log h < ∞ . (8)

1.3.2 The dimension theory

Regarding Problem S1, for planar curves we are able to give a complete description for either form of simultaneous approximation.
Theorem 4 Let f ∈ C ( 3 ) ( I 0 )   , where I 0   is an interval and C f : = { ( x , f ( x ) ) : x ∈ I 0 }   . Let v 1   and v 2   be positive numbers such that 0 < min ( v 1 , v 2 ) < 1   and v 1 + v 2 ≥ 1   . Assume that dim { x ∈ I 0 : f ′ ′ ( x ) = 0 } ⩽ 2 − min ( v 1 , v 2 ) 1 + max ( v 1 , v 2 ) .   Then
dim C f ∩ S 2 ( v 1 , v 2 ) = 2 − min ( v 1 , v 2 ) 1 + max ( v 1 , v 2 ) . (9)
In the case v 1 = v 2   , this theorem generalizes the dimension results of [3] . Our next result is a general n   –dimensional statement concerning Lipshitz manifolds; i.e. manifolds for which there exists an atlas of Lipshitz maps.
Theorem 5 Let ℳ   be an arbitrary Lipshitz manifold in R n   of dimension dim ℳ   . Then
dim ℳ ∩ S * n ( v ) ⩾ dim ℳ − 1 + 2 1 + v i f v ≥ 1 . (10)
In essence, the above theorem indicates that the lower bound for the Hausdorff dimension in the general multiplicative setup reduces to a one dimensional problem. For clarification of this remark, see ( 43 ) in § 6.2 .
We conjecture that for manifolds in R n   which are non-degenerate everywhere except possibly on a set of dimension at most dim ℳ − 1 + 2 / ( 1 + v )   , the lower bound given by Theorem  5 is in fact exact. The following result verifies the conjecture for planar curves.
Theorem 6 Let f ∈ C ( 3 ) ( I 0 )   , where I 0   is an interval and C f : = { ( x , f ( x ) ) : x ∈ I 0 }   . Let v > 1   and assume that dim { x ∈ I 0 : f ′ ′ ( x ) = 0 } ⩽ 2 / ( 1 + v )   . Then
dim C f ∩ S * 2 ( v ) = 2 1 + v . (11)
Remark. Let ψ   be an approximating function for which the limit λ ( ψ ) : = lim h → ∞ − log ψ ( h ) log h   exists and is positive. The quantity λ ( ψ )   is usually referred to as the order of 1 / ψ   and indicates the limiting behavior of the function 1 / ψ   at infinity. On making use of the fact that for any ɛ > 0   ,
h − λ ( ψ ) − ɛ ≤ ψ ( h ) ≤ h − λ ( ψ ) + ɛ (12)
for all sufficiently large h   , the above dimension results (Theorems  4 –  6 ) can be easily generalized to approximating functions ψ   for which the order λ ( ψ )   exists. For example, Theorem  6 becomes
Theorem  6 * Let f ∈ C ( 3 ) ( I 0 )   , where I 0   is an interval and C f : = { ( x , f ( x ) ) : x ∈ I 0 }   . Let ψ   be an approximating function of order λ ( ψ ) > 1   and assume that dim { x ∈ I 0 : f ′ ′ ( x ) = 0 } ⩽ 2 / ( 1 + λ ( ψ ) )   . Then dim C f ∩ S * 2 ( ψ ) = 2 1 + λ ( ψ ) .  
Proof. Let v : = λ ( ψ )   and fix ɛ > 0   such that v − ɛ > 1   . In view of ( 12 ), it follows that C f ∩ S * 2 ( v + ɛ ) ⊂ C f ∩ S * 2 ( ψ ) ⊂ C f ∩ S * 2 ( v − ɛ ) .   Theorem 6* now follows from these inclusions, ( 10 ) and ( 11 ), by letting ɛ → 0   .

2 Preliminaries

First some useful notation. For any point r ∈ Q n   there exists a smallest q ∈ N   such that q r ∈ Z n   . Thus, every point r ∈ Q n   has a unique representation in the form p q = ( p 1 , . . . , p n ) q = ( p 1 q , . . . , p n q )   with ( p 1 , . . . , p n ) ∈ Z n   . Henceforth, we will only consider points of Q n   in this form. As usual, C ( n ) ( I )   will denote the set of n   –times continuously differentiable functions defined on some interval I   of R   . Also, as usual the Vinogradov symbols ≪   and ≫   will be used to indicate an inequality with an unspecified positive multiplicative constant. If a ≪ b   and a ≫ b   , we write a ≍ b   and say that the quantities a   and b   are comparable.

2.1 Rational points close to a curve

The following estimates on the number of rational points close to a reasonably defined curve will be crucial towards establishing our convergence and (upper bound) dimension results.
Let I 0   denote a finite, open interval of R   and let f   be a function in C ( 3 ) ( I 0 )   such that
c 1 < | f ′ ′ ( x ) | < c 2 for all x ∈ I 0 . (13)
Here c 1   and c 2   are positive constants. Given an approximating function ψ   and Q ∈ R +   consider the counting function N f ( Q , ψ , I 0 )   given by N f ( Q , ψ , I 0 ) : = # { p / q ∈ Q 2 : q ⩽ Q , p 1 / q ∈ I 0 , | f ( p 1 / q ) − p 2 / q | < ψ ( Q ) / Q } .   In short, the function N f ( Q , ψ , I 0 )   counts the number of rational points with bounded denominator lying within a specified neighbourhood of the curve C f : = { ( x , f ( x ) ) : x ∈ I 0 }   parameterized by f   . Now let
lim t → + ∞ ψ ( t ) = lim t → + ∞ 1 t ψ ( t ) = 0 . (14)
In [8] , Huxley obtains the following upper bound: For ɛ > 0   and Q   sufficiently large
N f ( Q , ψ , I 0 ) ⩽ ψ ( Q ) Q 2 + ɛ . (15)
For this exact form of Huxley's estimate we refer the reader to [3,§1.4] . In the case that the curve is the unit circle the above estimate can be sharpened. For n ∈ N   , let r ( n )   denote the number of representations of n   as the sum of two squares. A simple consequence of Theorem A in [3,§A.1] is the following statement.
There is a constant C > 0   such that for any choice of real numbers Q   and Ψ   satisfying
Q − 1 ( log Q ) 260 ⩽ Ψ < 1 and Q > 1 , (16)
one has that
∑ Q < q ⩽ 2 Q ∑ n : | q − n | < Ψ r ( n ) ⩽ C Ψ Q 2 . (17)
Notice that if n   is the sum of two square, say n = p 1 2 + p 2 2   then the inequality | q − n | < Ψ   appearing in ( 17 ) implies that the rational point ( p 1 / q , p 2 / q )   lies within a constant times Ψ / Q   neighbourhood of the unit circle. Thus, we obtain the following sharpening of Huxley's estimate.
If C f   is the unit circle and ψ ( q ) ⩾ q − 1 ( log q ) 260   for all sufficiently large q   , then N f ( Q , ψ , I 0 ) ≪ ψ ( Q ) Q 2 .   In fact, on adapting the arguments of [3,§2] it is relatively straightforward to extend the statement to any planar curve C f   in Q   ; i.e to any non-degenerate rational quadric. However, we shall not make use of this stronger fact.

2.2 Ubiquitous systems

The divergence and (lower bound) dimension results stated in this paper will be established via a general technique developed in [3] . The `general technique' is based on the notion of `ubiquity' as introduced in [2] .
Let I 0   be an interval in R   and ℛ : = ( R α ) α ∈ J   be a family of resonant points R α   of I 0   indexed by an infinite set J   . Next let β : J → R + : α ↦ β α   be a positive function on J   .
Thus, the function β   attaches a `weight' β α   to the resonant point R α   . Also, for t ∈ N   let J t : = { α ∈ J : β α ⩽ 2 t }   and assume that # J t   is always finite.
Throughout, ρ : R + → R +   will denote a function satisfy lim t → ∞ ρ ( t ) = 0   and is usually referred to as the ubiquitous function. Also B ( x , r )   will denote the ball (or rather the interval) centred at x   of radius r   .
Definition 1 (Ubiquitous systems on the real line) Suppose there exists a ubiquitous function ρ   and an absolute constant κ > 0   such that for any interval I ⊆ I 0   liminf t → ∞ | ∪ α ∈ J t ( B ( R α , ρ ( 2 t ) ) ∩ I ) | ⩾ κ | I | .   Then the system ( ℛ ; β )   is called locally ubiquitous in I 0   with respect to ρ   .
In [3] the theory of ubiquity is developed to incorporate the situation in which the resonant points of interest lie within some specified neighborhood of a given curve in R n   .
With n ≥ 2   , let ℛ : = ( R α ) α ∈ J   be a family of resonant points R α   of R n   indexed by an infinite set J   . As before, β : J → R + : α ↦ β α   is a positive function on J   . For a point R α   in ℛ   , let R α , k   represent the k   th coordinate of R α   . Thus, R α : = ( R α , 1 , R α , 2 , … , R α , n )   .
Throughout this section and the remainder of the paper we will use the notation ℛ C ( Φ )   to denote the sub-family of resonant points R α   in ℛ   which are “ Φ   –close” to the curve C = C f : = { ( x , f 2 ( x ) , . . . , f n ( x ) ) : x ∈ I 0 }   where Φ   is an approximating function, f = ( f 1 , . . . , f n ) : I 0 → R n   is a continuous map with f 1 ( x ) = x   and I 0   is an interval in R   . Formally, and more precisely ℛ C ( Φ ) : = ( R α ) α ∈ J C ( Φ ) where J C ( Φ ) : = { α ∈ J : max 1 ⩽ k ⩽ n | f k ( R α , 1 ) − R α , k | < Φ ( β α ) } .   Finally, we will denote by ℛ 1   the family of first co-ordinates of the points in ℛ C ( Φ )   ; that is ℛ 1 : = ( R α , 1 ) α ∈ J C ( Φ ) .   By definition, ℛ 1   is a subset of the interval I 0   and can therefore be regarded as a set of resonant points for the theory of ubiquitous systems in R   . This leads us naturally to the following definition in which the ubiquity function ρ   is as above.
Definition 2 (Ubiquitous systems near curves) The system ( ℛ C ( Φ ) , β )   is called locally ubiquitous with respect to ρ   if the system ( ℛ 1 , β )   is locally ubiquitous in I 0   with respect to ρ   .
Next, given an approximating function Ψ   let Λ ( ℛ C ( Φ ) , β , Ψ )   denote the set x ∈ I 0   for which the system of inequalities { | x − R α , 1 | < Ψ ( β α ) max 2 ⩽ k ⩽ n | f k ( x ) − R α , k | < Ψ ( β α ) + Φ ( β α )   is satisfied for infinitely many α ∈ J   . The following lemmas are stated and proved in [3,§3] .
Lemma 1 Consider the curve C : = { ( x , f 2 ( x ) , . . . , f n ( x ) ) : x ∈ I 0 }   , where f 2 , . . . , f n   are locally Lipshitz in a finite interval I 0   . Suppose that ( ℛ C ( Φ ) , β )   is a locally ubiquitous system with respect to ρ   . Let Ψ   be an approximating function such that Ψ ( 2 t + 1 ) ⩽ 1 2 Ψ ( 2 t )   for t   sufficiently large. Then | Λ ( ℛ C ( Φ ) , β , Ψ ) | = | I 0 |   whenever ∑ t = 1 ∞ Ψ ( 2 t ) ρ ( 2 t ) = ∞  
Lemma 2 Consider the curve C : = { ( x , f 2 ( x ) , . . . , f n ( x ) ) : x ∈ I 0 }   , where f 2 , . . . , f n   are locally Lipshitz in a finite interval I 0   . Suppose that ( ℛ C ( Φ ) , β )   is a locally ubiquitous system with respect to ρ   and let Ψ   be an approximating function. Then dim Λ ( ℛ C ( Φ ) , β , Ψ ) ⩾ d : = min { 1 , | limsup t → ∞ log ρ ( 2 t ) log Ψ ( 2 t ) | } .  
Lemma 3 Let I 0   denote a finite, open interval of R   and let f   be a function in C ( 3 ) ( I 0 )   satisfying ( 13 ). Let ψ   be an approximating function satisfying ( 14 ). Let C : = { ( x , f ( x ) ) : x ∈ I 0 }   . With reference to the ubiquitous framework above, set
β : J : = Z 2 × N → N : ( p , q ) → q , Φ : t → t − 1 ψ ( t ) and ρ : t → u ( t ) / ( t 2 ψ ( t ) ) (18)
where u : R + → R +   is any function such that lim t → ∞ u ( t ) = ∞   . Then the system ( Q C 2 ( Φ ) , β )   is locally ubiquitous with respect to ρ   .
Remark. In Lemma  3 , the curve C   is obviously a planar curve. Also, given α = ( p , q ) ∈ J   the associated resonant point R α   in the ubiquitous system is simply the rational point p / q   in the plane. Furthermore, ℛ : = Q 2   .

3 Proof of Theorem  1 

As C : = C f   is non-degenerate almost everywhere, we can restrict our attention to a sufficiently small patch of C   , which can be written as { ( x , f ( x ) ) : x ∈ I }   where I   is a sub-interval of I 0   and f   satisfies ( 13 ) with I 0   replaced by I   . However, without loss of generality and for clarity, we assume that f   satisfies ( 13 ) on I 0   .
We are given that ψ 1   and ψ 2   are approximating functions such that
∑ h = 1 ∞ ψ 1 ( h ) ψ 2 ( h ) = ∞ . (19)
Thus, at least one of the following two sums diverges:
∑ h ∈ N , ψ 1 ( h ) ⩾ ψ 2 ( h ) ψ 1 ( h ) ψ 2 ( h ) ∑ h ∈ N , ψ 1 ( h ) ⩽ ψ 2 ( h ) ψ 1 ( h ) ψ 2 ( h ) .   Throughout, let us assume that the sum on the right is divergent. The argument below can easily be modified to deal with the case that only the sum on the left is divergent.
Step 1. We show that there is no loss of generality in assuming that
ψ 2 ( h ) ⩾ ψ 1 ( h ) for all h ∈ N . (20)
Define the auxiliary function ψ 1 * : h → ψ 1 * ( h ) : = min { ψ 1 ( h ) , ψ 2 ( h ) }   . Then the sum ∑ h = 1 ∞ ψ 1 * ( h ) ψ 2 ( h )   diverges since by assumption it contains a divergent sub-sum. It is readily verified that ψ 1 *   is an approximating function and that S 2 ( ψ 1 * , ψ 2 ) ⊂ S 2 ( ψ 1 , ψ 2 )   . Thus to complete the proof of Theorem  1 it suffices to prove the result with ψ 1   replaced by ψ 1 *   . Hence, without loss of generality, ( 20 ) can be assumed.
Step 2. We show that there is no loss of generality in assuming that
ψ i ( h ) → 0 as h → ∞ ( i = 1 , 2 ) . (21)
Define the increasing function v : R + → R +   as follows v ( h ) : = ∑ t = 1 [ h ] ψ 1 ( t ) ψ 2 ( t ) .   In view of ( 19 ), lim t → ∞ v ( t ) = ∞   . Fix k ∈ N   . Then ∑ t = k m ψ 1 ( t ) ψ 2 ( t ) v ( t ) ⩾ ∑ t = k m ψ 1 ( t ) ψ 2 ( t ) v ( m ) = v ( m ) − v ( k − 1 ) v ( m ) → 1 as m → ∞ .   Hence ∑ t = k ∞ ψ 1 ( t ) ψ 2 ( t ) v ( t ) ⩾ 1 for all k .   This implies that the sum ∑ t = 1 ∞ ψ 1 ( t ) ψ 2 ( t ) / v ( t )   diverges. Next, for i = 1 , 2   consider the functions ψ i * : h → ψ i * ( h ) : = ψ i ( h ) / v ( h ) .   Then both ψ 1 * ( h )   and ψ 2 * ( h )   are decreasing, tend to 0   as h → ∞   and ∑ q = 1 ∞ ψ 1 * ( q ) ψ 2 * ( q ) = ∞   .
Furthermore S 2 ( ψ 1 * , ψ 2 * ) ⊂ S 2 ( ψ 1 , ψ 2 )   . Therefore, it suffices to establish Theorem  1 for ψ 1 * , ψ 2 *   .
Step 3. We show that there is no loss of generality in assuming that
ψ 2 ( h ) ⩾ h − 2 / 3 for all h . (22)
To this end, define ψ ^ 2 ( h ) = max { ψ 2 ( h ) , h − 2 / 3 }   . In view of ( 20 ), it is readily verified that
S 2 ( ψ 1 , ψ ^ 2 ) ⊆ S 2 ( ψ 1 , ψ 2 ) ∪ S 2 ( h ↦ h − 2 / 3 , h ↦ h − 2 / 3 ) .
By Schmidt's theorem [12] , for almost all x ∈ I 0   we have that ( x , f ( x ) ) ∉ S 2 ( h ↦ h − 2 / 3 , h ↦ h − 2 / 3 ) .   Hence | { x ∈ I 0 : ( x , f ( x ) ) ∈ S 2 ( ψ ^ 1 , ψ 2 ) } | ≤ | { x ∈ I 0 : ( x , f ( x ) ) ∈ S 2 ( ψ 1 , ψ 2 ) } | ,   and to complete the proof of Theorem  1 it suffices to prove that the set on the left has full measure. In turn, this justifies ( 22 ).
Step 4. In view of Steps 2 and 3 above, the function ψ 2   satisfies ( 14 ) and Lemma  3 is applicable with ψ = ψ 2   . By ( 19 ) and the fact that ψ 1   and ψ 2   are decreasing we obtain that ∞ = ∑ t = 0 ∞ ∑ 2 t ⩽ h < 2 t + 1 ψ 1 ( h ) ψ 2 ( h ) ⩽ ∑ t = 0 ∞ ∑ 2 t ⩽ h < 2 t + 1 ψ 1 ( 2 t ) ψ 2 ( 2 t ) = ∑ t = 0 ∞ 2 t ψ 1 ( 2 t ) ψ 2 ( 2 t ) .   Hence
∑ t = 0 ∞ 2 t ψ 1 ( 2 t ) ψ 2 ( 2 t ) = ∞ . (23)
Next, define the increasing function u : R + → R +   as follows u ( h ) = ∑ t = 0 [ h ] 2 t ψ 1 ( 2 t ) ψ 2 ( 2 t ) .   Trivially, lim t → ∞ u ( t ) = ∞   . On using the same argument as in Step 2 above we verify that
∑ t = 0 ∞ 2 t ψ 1 ( 2 t ) ψ 2 ( 2 t ) u ( t ) = ∞ . (24)
Now let Φ ( t ) : = ψ 2 ( t ) / t   and ρ ( t ) : = u ( log 2 t ) / ( t 2 ψ 2 ( t ) )   . By Lemma  3 , ( Q C 2 ( Φ ) , β )   is locally ubiquitous relative to ρ   , where β   is given by ( 18 ). Let Ψ ( t ) = ψ 1 ( t ) / t   . In view of ( 24 ), ∑ t = 1 ∞ Ψ ( 2 t ) ρ ( 2 t ) = ∑ t = 1 ∞ ψ 2 ( 2 t ) 2 t u ( t ) 2 2 t ψ 1 ( 2 t ) = ∑ t = 1 ∞ 2 t ψ 1 ( 2 t ) ψ 2 ( 2 t ) u ( t ) = ∞ .   Since ψ 1   is decreasing, Ψ ( 2 t + 1 ) : = ψ 1 ( 2 t + 1 ) 2 t + 1 ⩽ 1 2 ⋅ ψ 1 ( 2 t ) 2 t : = 1 2 Ψ ( 2 t ) .   Thus the conditions of Lemma  1 are satisfied and it follows that Λ ( Q C 2 ( Φ ) , β , Ψ )   is of full measure. By definition and ( 20 ), the set Λ ( Q C 2 ( Φ ) , β , Ψ )   consists of points x ∈ I 0   such that the system { | x − p 1 q | < Ψ ( q ) = ψ 1 ( q ) q < 2 ψ 1 ( q ) q , | f ( x ) − p 2 q | < Ψ ( q ) + Φ ( q ) = ψ 1 ( q ) q + ψ 2 ( q ) q ⩽ 2 ψ 2 ( q ) q   has infinitely many solutions p / q ∈ Q 2   . Obviously for x ∈ Λ ( Q C 2 ( Φ ) , β , Ψ )   the point ( x , f ( x ) )   is in S 2 ( 2 ψ 1 , 2 ψ 2 )   . To complete the proof of Theorem  1 we simply apply what has already been proved to the approximating functions 1 2 ψ 1   and 1 2 ψ 2   .
♠  

4 Proof of Theorem  3 

By definition any rational quadric C ∈ Q   is the image of either the unit circle C 1 : = { ( x 1 , x 2 ) ∈ R 2 : x 1 2 + x 2 2 = 1 }   , the parabola { ( x 1 , x 2 ) ∈ R 2 : x 2 = x 1 2 }   or the hyperbola { ( x 1 , x 2 ) ∈ R 2 : x 1 2 − x 2 2 = 1 }   under a rational affine transformation of the plane. It is easily verified that the measure `zero' statement of Theorem  3 is invariant under rational affine transformations of the plane. In view of this, it suffices to establish the statement of the theorem for the unit circle, the parabola and the hyperbola. Below, we only consider the case of the unit circle C 1   and leave the hyperbola and parabola to the reader. The required modifications are relatively straightforward once the reader is armed with the arguments appearing in [3,§2.1] .
From this point onwards C = C 1   – the unit circle. First, notice that it suffices to prove the theorem for every arc of C 1   given by C 1 ɛ = { ( x , y ) ∈ C 1 : ɛ < x , y < 1 − ɛ }   with ɛ > 0   . Next, we are given that
∑ q = 1 ∞ ψ ( q ) log q < ∞ . (25)
Therefore, without loss of generality we can assume that
q − 1 ( log q ) − 3 < ψ ( q ) < q − 1 ( log q ) − 1 for sufficiently large q . (26)
To see this, note that since ψ   is decreasing ∑ h / 2 < q < h ψ ( q ) log q ⩾ ∑ h / 2 < q < h ψ ( h ) log ( h / 2 ) ≍ h ψ ( h ) log h   for every natural number h   . In view of ( 25 ), we have that the left hand side of the above inequality tends to zero as h → ∞   . It follows that h ψ ( h ) log h → 0 as h → ∞ .   This establishes the right hand side inequality of ( 26 ). Next, if the left hand side inequality of ( 26 ) is not satisfied then we replace ψ   with the auxiliary function ψ ~ : q → ψ ~ ( q ) : = max { ψ ( q ) , q − 1 ( log q ) − 3 } .   Then ψ ~   is clearly an approximating function for which both ( 25 ) and the left hand side inequality of ( 26 ) are satisfied with ψ   replaced by ψ ~   . Furthermore, S * 2 ( ψ ~ ) ⊃ S * 2 ( ψ ) .   Thus it suffices to prove the theorem with ψ   replaced by ψ ~   . Hence, without loss of generality, ( 26 ) can be assumed.
The limsup   set C 1 ɛ ∩ S * 2 ( ψ )   has the following natural representation:
C 1 ɛ ∩ S * 2 ( ψ ) = ∞ ⋂ n = 1 ∞ ⋃ q = n ⋃ ( p 1 , p 2 ) ∈ Z 2 { ( x , y ) ∈ C 1 ɛ : | x − p 1 q | ⋅ | y − p 2 q | < ψ ( q ) q 2 } .   Using the fact that ψ   is decreasing, we have that for any n  
C 1 ɛ ∩ S * 2 ( ψ ) ⊂ ∞ ⋃ t = n ⋃ 2 t ⩽ q < 2 t + 1 ⋃ ( p 1 , p 2 ) ∈ Z 2 { ( x , y ) ∈ C 1 ɛ : | x − p 1 q | ⋅ | y − p 2 q | < ψ ( 2 t ) ( 2 t ) 2 } . (27)
If t ∈ N   , ( x , y ) ∈ C 1 ɛ   , q ∈ N   with 2 t ⩽ q < 2 t + 1   and | x − p 1 q | ⋅ | y − p 2 q | < ψ ( 2 t ) ( 2 t ) 2   for some ( p 1 , p 2 ) ∈ Z 2   , then there is a unique integer m   such that 2 m − 1 2 ψ ( 2 t ) 2 t ⩽ | x − p 1 q | < 2 m 2 ψ ( 2 t ) 2 t .   Therefore for this number m   we also have that | y − p 2 q | < 2 − m 2 ψ ( 2 t ) 2 t .   The upshot of this is that
C 1 ɛ ∩ S * 2 ( ψ ) ⊂ ∞ ⋃ t = n ⋃ 2 t ⩽ q < 2 t + 1 ⋃ ( p 1 , p 2 ) ∈ Z 2 + ∞ ⋃ m = − ∞ C 1 ɛ ∩ S ( q , p 1 , p 2 , m ) , (28)
where S ( q , p 1 , p 2 , m ) = { ( x , y ) ∈ R 2 : | x − p 1 q | < 2 m 2 ψ ( 2 t ) 2 t , | y − p 2 q | < 2 − m 2 ψ ( 2 t ) 2 t }   and t   is uniquely defined by 2 t ⩽ q < 2 t + 1   . The aim is to show that the Lebesgue measure | . | C 1 ɛ   of the R.H.S. of ( 28 ) tends to zero as n → ∞   . Since for each n   the R.H.S. of ( 28 ) is a cover for C 1 ɛ ∩ S * 2 ( ψ )   , it follows that | C 1 ɛ ∩ S * 2 ( ψ ) | C 1 ɛ = 0   as required. To proceed, we consider two cases. Namely, case (a): m ∈ Z   such that
2 − | m | ⩾ t ψ ( 2 t ) (29)
and case (b): m ∈ Z   such that
2 − | m | ⩽ t ψ ( 2 t ) . (30)
Case (a) : First, observe that ( 29 ) together with ( 26 ) implies that
t ≥ 2 | m | . (31)
Next, it is a simple mater to see that
| C 1 ɛ ∩ S ( q , p 1 , p 2 , m ) | C 1 ɛ ≪ 2 − | m | ψ ( 2 t ) 2 t . (32)
The implied constant depends on only ɛ   and is therefore irrelevant to the rest of the argument.
Given t   and m   , let N ( t , m )   denote the number of triples ( q , p 1 , p 2 )   with 2 t ⩽ q < 2 t + 1   such that C 1 ɛ ∩ S ( q , p 1 , p 2 , m ) ≠ ∅   . Suppose that C 1 ɛ ∩ S ( q , p 1 , p 2 , m ) ≠ ∅   . Then for some ( x , y ) ∈ C 1 ɛ   and θ 1 , θ 2   satisfying − 1 < θ 1 , θ 2 < 1   , we have that x = p 1 q + θ 1 2 | m | 2 ψ ( 2 t ) 2 t , y = p 1 q + θ 2 2 | m | 2 ψ ( 2 t ) 2 t .   Hence
1 = x 2 + y 2
= ∑ i = 1 2 ( p i q + θ i 2 | m | 2 ψ ( 2 t ) 2 t ) 2
= p 1 2 + p 2 2 q 2 + p 1 θ 1 + p 2 θ 2 q 2 | m | + 1 2 ψ ( 2 t ) 2 t + ( θ 1 2 + θ 2 2 ) 2 2 | m | + 1 ψ ( 2 t ) 2 2 t .
It follows that | q 2 − p 1 2 + p 2 2 | ≪ q max { | p 1 | , | p 2 | } 2 | m | − t ψ ( 2 t ) + q 2 2 2 | m | − 2 t ψ ( 2 t ) .   On dividing both sides of the inequality by q + p 1 2 + p 2 2   and using the fact that p 1 2 + p 2 2 ⩾ max { | p 1 | , | p 2 | }   we obtain that | q − p 1 2 + p 2 2 | ≪ 2 t U m , t ( 1 + U m , t ) ,   where  29  U m , t : = 2 − t 2 | m | ψ ( 2 t ) ≤ ( ) 2 − t t − 1 < 1 .   Thus  29 
| q − p 1 2 + p 2 2 | ≪ 2 | m | ψ ( 2 t ) ≤ ( ) t − 1 . (33)
The upshot of this is that there exists an absolute constant c > 0   such that N ( t , m ) ≪ ∑ 2 t ⩽ q < 2 t + 1 ∑ | q − n | < c 2 | m | ψ ( 2 t ) r ( n ) .   Now set Q = 2 t   and Ψ = c 2 | m | ψ ( 2 t )   . In view of ( 26 ) and ( 33 ) we have that ( 16 ) is satisfied for all sufficiently large t   , independently of m   . Hence, ( 17 ) implies that
N ( t , m ) ≪ 2 | m | 2 2 t ψ ( 2 t ) , (34)
where the implied constant is independent of both t   and m   .
It now follows, via ( 32 ) and ( 34 ) that the Lebesgue measure | . | C 1 ɛ   of the R.H.S. of ( 28 ) restricted to case (a) is bounded above by  31 
∑ t = n ∞ ∑ m ∈ Case(a) 2 − | m | ψ ( 2 t ) 2 t × 2 | m | 2 2 t ψ ( 2 t ) ≪ ∑ t = n ∞ ∑ m ∈ Case(a) 2 t ψ ( 2 t )
≪ ( ) ∑ t = n ∞ t 2 t ψ ( 2 t )
≍ ∑ q = 2 n ∞ ψ ( q ) log q .
The above comparability follows from the fact that ψ   is an approximating function and therefore decreasing. In view of ( 25 ) ∑ q = 2 n ∞ ψ ( q ) log q → 0 as n → ∞ ,   and so the Lebesgue measure | . | C 1 ɛ   of the R.H.S. of ( 28 ) restricted to case (a) tends to zero as n → ∞   .
Case (b) : In view of ( 30 ), we have that
S ( q , p 1 , p 2 , m ) ⊂ S ′ ( q , p 1 ) × [ 0 , 1 ] ∪ [ 0 , 1 ] × S ′ ( q , p 2 ) (35)
where
S ′ ( q , p ) = { s ∈ [ 0 , 1 ] : | s − p q | < 2 t ψ ( 2 t ) 2 t } (36)
Thus, the R.H.S. of ( 28 ) restricted to case (b) is contained in the following set:
∞ ⋃ t = n ⋃ 2 t ⩽ q < 2 t + 1 ⋃ ( p 1 , p 2 ) ∈ Z 2 C 1 ɛ ∩ ( S ′ ( q , p 1 ) × [ 0 , 1 ] ∪ [ 0 , 1 ] × S ′ ( q , p 2 ) ) . (37)
It is readily verified that for any choice of p 1 , p 2   and q   appearing in ( 37 ), | C 1 ɛ ∩ ( S ′ ( q , p 1 ) × [ 0 , 1 ] ∪ [ 0 , 1 ] × S ′ ( q , p 2 ) ) | C 1 ɛ ≪ t ψ ( 2 t ) / 2 t .   The implied constant depends only on ɛ   and is therefore irrelevant. Furthermore, for a fixed t   and q   in ( 37 ) the number of ( p 1 , p 2 ) ∈ Z 2   for which the sets C 1 ɛ ∩ ( S ′ ( q , p 1 ) × [ 0 , 1 ] ∪ [ 0 , 1 ] × S ′ ( q , p 2 ) )   are non-empty and disjoint is ≪ q   . It now follows that the Lebesgue measure | . | C 1 ɛ   of the set given by ( 37 ) is bounded above by ∑ t = n ∞ t ψ ( 2 t ) ≍ ∑ q = 2 n ∞ ψ ( q ) log q → 0 as n → ∞ .   Hence the Lebesgue measure | . | C 1 ɛ   of the R.H.S. of ( 28 ) restricted to case (b) tends to zero as n → ∞   .
The upshot of cases (a) and (b) is that the Lebesgue measure | . | C 1 ɛ   of the R.H.S. of ( 28 ) tends to zero as n → ∞   and so | C 1 ɛ ∩ S * 2 ( ψ ) | C 1 ɛ = 0 .   This completes the proof of Theorem  3 .
♠  

5 Proof of Theorem  2 

The divergence part of Theorem  2 is a consequence of Theorem  1 . Thus we proceed with establishing the convergence part of Theorem  2 . To a certain degree the proof of this follows the same line of argument as the proof of Theorem  3 . In particular, it suffices to establish the convergent statement of the theorem for the unit circle, the parabola and the hyperbola.
As in the proof of Theorem  3 , we consider the case of the unit circle C 1   only and leave the hyperbola and parabola to the reader.
Let C = C 1   – the unit circle, and notice that it suffices to prove the theorem for every arc of C 1   given by C 1 ɛ = { ( x , y ) ∈ C 1 : ɛ < x , y < 1 − ɛ }   with ɛ > 0   . For the sake of convenience, let ψ : = ψ 1   and φ : = ψ 2   . It is clear that S 2 ( ψ , φ ) ⊂ S 2 ( ψ * , ψ * ) ∪ S 2 ( ψ * , ψ * )   where ψ * = min { ψ , φ } , ψ * = max { ψ , φ } .   Since ψ * ψ * = ψ φ   , we have that ∑ ψ * ( q ) ψ * ( q ) < ∞   . Thus to prove the theorem it suffices to prove that both the sets C 1 ɛ ∩ S 2 ( ψ * , ψ * )   and C 1 ɛ ∩ S 2 ( ψ * , ψ * )   are of Lebesgue measure | . | C 1 ɛ   zero. We will consider one of these two sets – the other case is similar. Thus, without loss of generality we assume that ψ ( q ) ⩾ φ ( q ) for all q .   Since ∑ q = 1 ∞ ψ ( q ) φ ( q ) < ∞   and both ψ   and φ   are decreasing we have that ψ ( q ) φ ( q ) < q − 1   for all sufficiently large q   . Hence φ ( q ) ⩽ q − 1 / 2 for sufficiently large q .   Further, we can assume that
ψ ( q ) ⩾ q − 2 / 3 for all q ∈ N . (38)
To see this, consider the auxiliary function ψ ~ : q → ψ ~ ( q ) : = max { ψ ( q ) , q − 2 / 3 }   . Clearly, ψ ~   is an approximating function, satisfies ( 38 ) and S 2 ( ψ , φ ) ⊂ S 2 ( ψ ~ , φ ) .   Moreover,
∑ q = 1 ∞ ψ ~ ( q ) φ ( q ) ⩽ ∑ q = 1 ∞ ψ ( q ) φ ( q ) + ∑ q = 1 ∞ q − 2 / 3 φ ( q )
≪ ∑ q = 1 ∞ ψ ( q ) φ ( q ) + ∑ q = 1 ∞ q − 2 / 3 q − 1 / 2 < ∞ .
Thus, it suffices to prove the convergence part of Theorem  2 with ψ : = ψ 1   replaced ψ ~   . Hence, without loss of generality, ( 38 ) can be assumed.
In analogy to ( 27 ), it is readily verified that for any n ≥ 1  
C 1 ɛ ∩ S 2 ( ψ , φ ) ⊂ ∞ ⋃ t = n ⋃ 2 t ⩽ q < 2 t + 1 ⋃ ( p 1 , p 2 ) ∈ Z 2 C 1 ɛ ∩ S 2 ( p 1 , p 2 , q ) , (39)
where S 2 ( p 1 , p 2 , q ) = { ( x , y ) ∈ R 2 : | x − p 1 q | < ψ ( 2 t ) 2 t , | y − p 2 q | < φ ( 2 t ) 2 t }   and t   is uniquely defined by 2 t ⩽ q < 2 t + 1   . Next, in analogy to ( 32 ), we verify that
| C 1 ɛ ∩ S 2 ( q , p 1 , p 2 ) | C 1 ɛ ≪ φ ( 2 t ) 2 t . (40)
Again, the implied constant depends only on ɛ   and is therefore irrelevant to the rest of the argument. For t   fixed , let N ( t )   denote the number of triples ( q , p 1 , p 2 )   with 2 t ⩽ q < 2 t + 1   such that C 1 ɛ ∩ S ( q , p 1 , p 2 ) ≠ ∅   . On modifying the argument used to establish ( 33 ) and ( 34 ) in the proof of Theorem  3 , one obtains that
N ( t ) ≪ 2 2 t ψ ( 2 t ) . (41)
It is worth stressing that the argument within the proof of Theorem  3 is much simplified in the current situation due to the absence of the additional parameter m   .
The upshot of the above inclusions and estimates is that  39  40  41 
| C 1 ɛ ∩ S 2 ( ψ , φ ) | C 1 ɛ ≪ ( ) ∑ t = n ∞ ∑ 2 t ⩽ q < 2 t + 1 ⋃ ( p 1 , p 2 ) ∈ Z 2 | C 1 ɛ ∩ S 2 ( q , p 1 , p 2 ) |
≪ ( ) ∑ t = n ∞ N ( t ) φ ( 2 t ) 2 t
≪ ( ) ∑ t = n ∞ 2 t ψ ( 2 t ) φ ( 2 t )
≍ ∑ q = 2 n ∞ ψ ( q ) φ ( q )
Since ∑ q = 2 n ∞ ψ ( q ) φ ( q ) < ∞   , we have that ∑ q = 2 n ∞ ψ ( q ) φ ( q ) → 0   as n → ∞   . Thus, | C 1 ɛ ∩ S 2 ( ψ , φ ) | C 1 ɛ = 0 .   This completes the proof of the theorem.
♠  

6 Proofs of Theorems  4 –  6 

6.1 Proof of Theorem  4 

The statement of the theorem will follow on establishing the upper and lower bounds for the dimension separately. Without loss of generality we can assume that f   satisfies ( 13 ) on I 0   (see [3,§5] if necessary) and that v 1 ⩾ v 2   . In view of the latter, our aim is to show that dim C f ∩ S 2 ( v 1 , v 2 ) = 2 − v 2 1 + v 1 .   The upper bound. For a point p / q ∈ Q 2   , define σ ( p / q ) : = { ( x , y ) ∈ R 2 : | x − p 1 / q | < q − v 1 − 1 , | y − p 2 / q | < q − v 2 − 1 } .   In view of ( 13 ) and the fact that I 0   is a bounded interval we have that f ′   is bounded on I 0   and so | C f ∩ σ ( p / q ) | ≪ q − v 1 − 1   . Clearly, if σ ( p / q ) ∩ C f ≠ ∅   then the distance of p / q   from C f   is at most a constant times q − 1 − v 2   . Let ɛ > 0   . In view of ( 15 ) we have that for t   sufficiently large the number p / q ∈ Q 2   with 2 t ⩽ q < 2 t + 1   and σ ( p / q ) ∩ C f ≠ ∅   is at most 2 t ( 2 + ɛ − v 2 )   .
Now let η : = 2 − v 2 + 2 ɛ 1 + v 1 .   Then
∑ p / q ∈ Q 2 : C f ∩ σ ( p / q ) ≠ ∅ diam ( C f ∩ σ ( p / q ) ) η = ∑ t = 0 ∞ ∑ p / q ∈ Q 2 , C f ∩ σ ( p / q ) ≠ ∅ , 2 t ⩽ q < 2 t + 1 diam ( C f ∩ σ ( p / q ) ) η
≪ ∑ t = 0 ∞ 2 t ( 2 + ɛ − v 2 ) ⋅ 2 t ( − 1 − v 1 ) η = ∑ t = 0 ∞ 2 − t ɛ < ∞ .
By the Hausdorff–Cantelli Lemma [4,p. 68] , dim C f ∩ S 2 ( v 1 , v 2 ) ⩽ η   . As ɛ > 0   is arbitrary,
dim C f ∩ S 2 ( v 1 , v 2 ) ⩽ 2 − v 2 1 + v 1 . (42)
The lower bound. Firstly, with reference to Lemma  3 let ψ ( t ) : = 1 2 t − v 2   and u ( t ) : = t ɛ   where ɛ > 0   is arbitrary. Thus Φ ( t ) = 1 2 t − 1 − v 2   and ρ ( t ) : = 1 2 t − 2 + v 2 + ɛ   . Since 0 < v 2 = min ( v 1 , v 2 ) < 1   , the approximating function ψ   satisfies ( 14 ) and it follows that ( Q C 2 ( Φ ) , β )   is locally ubiquitous with respect to ρ   . Next, let Φ ( t ) : = 1 2 t − 1 − v 1   . Then Lemma  2 implies that dim Λ ( ℛ C ( Φ ) , β , Ψ ) ⩾ min { 1 , | limsup t → ∞ log 1 2 2 t ( − ( 2 − v 2 − ɛ ) ) log 1 2 2 t ( − ( 1 + v 1 ) ) | } = 2 − v 2 − ɛ 1 + v 1 .   As ɛ > 0   can be made arbitrarily small, we have that dim Λ ( ℛ C ( Φ ) , β , Ψ ) ⩾ 2 − v 2 1 + v 1   . Finally, it is readily verified that Λ ~ ( ℛ C ( Φ ) , β , Ψ ) : = { ( x , f ( x ) ) : x ∈ Λ ( ℛ C ( Φ ) , β , Ψ ) } ⊂ C f ∩ S 2 ( v 1 , v 2 ) .   Hence dim C f ∩ S 2 ( v 1 , v 2 ) ≥ dim Λ ~ ( ℛ C ( Φ ) , β , Ψ ) = dim Λ ( ℛ C ( Φ ) , β , Ψ ) ≥ 2 − v 2 1 + v 1 .   The equality here is justified by the fact that the map x ↦ ( x , f ( x ) )   is locally bi-Lipshitz.
♠  

6.2 Proof of Theorem  5 

Let m = dim ℳ   . Since ℳ   is a Lipshitz manifold in R n   , there exists a local parameterization of M   of the form f = ( x 1 , … , x m , f m + 1 , . . . , f n )   where f   is an invertible continuous map of x 1 , … , x m   defined on R m   such that f − 1   satisfies the Lipshitz condition.
It is easy to verify that any point on ℳ   with x 1 ∈ S * 1 ( v )   belongs to S * n ( v )   . Therefore, B : = f ( S * 1 ( v ) × R m − 1 ) ⊂ S * n ( v ) ∩ ℳ .   Since f − 1   is a Lipshitz map and f − 1 ( B ) = S * 1 ( v ) × R m − 1   , it follows that for v ≥ 1  
dim S * n ( v ) ∩ ℳ ⩾ dim B ⩾ dim S * 1 ( v ) × R m − 1 = m − 1 + dim S * 1 ( v ) (43)
= dim ℳ − 1 + 2 1 + v .
The fact that dim S * 1 ( v ) = 2 / ( 1 + v )   is the Jarník–Besicovitch theorem (see § 1.1 ).
♠  

6.3 Proof of Theorem  6 

The lower bound is a trivial consequence of Theorem  5 . Alternatively, it follows from Theorem  4 with v 1 = ɛ   , v 2 = v − ɛ   and then letting ɛ → 0   .
To establish the complementary upper bound we fix v > 1   and without loss of generality assume that f   satisfies ( 13 ) on I 0   . The case that v = 1   is trivial. Now fix ɛ   such that 0 < ɛ < min { 1 / ( 1 + v ) , 1 / 5 } a n d v − ɛ > 1 .   The following inclusions readily follow from the definitions of S * 2 ( v )   and S 2 ( v 1 , v 2 )   :
S * 2 ( v ) ⊂ S 2 ( v − ɛ , 0 ) ∪ S 2 ( 0 , v − ɛ ) ∪ t 0 ⋃ t = − t 0 S 2 ( v 1 ( t ) , v 2 ( t ) ) ⊂ S * 2 ( v − ɛ ) , (44)
where t 0 > 0   is the unique positive integer satisfying v 2 ɛ − 3 2 ≤ t 0 < v 2 ɛ − 1 2   and v 1 ( t ) : = v 2 − ( 2 t + 1 ) ɛ 2 v 2 ( t ) : = v 2 + ( 2 t − 1 ) ɛ 2 .   The required upper bound will follow on establishing the corresponding upper bounds for the sets `between the inclusions' of ( 44 ). For this we will repeatedly apply Theorem  4 .
First, consider the sets S 2 ( v 1 ( t ) , v 2 ( t ) )   for t ⩾ 0   (the case t < 0   is similar). So, v 1 ( t ) ≤ v 2 ( t )   . Assume for the moment that v 1 ( t ) < 1   . Then v 1 ( t ) ∈ ( 0 , 1 )   and since v 1 ( t ) + v 2 ( t ) = v − ɛ > 1   we have via Theorem  4 that dim S 2 ( v 1 ( t ) , v 2 ( t ) ) ∩ C f = 2 − v 1 ( t ) 1 + v 2 ( t ) = 2 − v 1 ( t ) 1 + v − ɛ − v 1 ( t ) ≤ 2 1 + v − ɛ .   Now suppose that v 1 ( t ) ≥ 1   . It follows from the definition of v 1 ( t )   that v > 2   . Trivially, S 2 ( v 1 ( t ) , v 2 ( t ) ) ⊂ S 2 ( 1 − ɛ , v / 2 )   . Now, v / 2 > 1 − ɛ > 0   and on applying Theorem  4 we have that dim S 2 ( v 1 ( t ) , v 2 ( t ) ) ∩ C f ≤ dim S 2 ( 1 − ɛ , v / 2 ) ∩ C f = 2 + 2 ɛ 2 + v ⩽ 2 1 + v .   Next, we consider the set S 2 ( v − ɛ , 0 )   – the case of S 2 ( 0 , v − ɛ )   is similar. By definition, S 2 ( v − ɛ , 0 ) = S 1 ( v − ɛ ) × R   and so dim S 2 ( v − ɛ , 0 ) ∩ C f ⩽ dim S 1 ( v − ɛ ) = 2 1 + v − ɛ .   The upshot is that dim S * 2 ( v ) ∩ C f ≤ max { 2 1 + v − ɛ , 2 1 + v } = 2 1 + v − ɛ ,   and since ɛ   can be made arbitrarily small the required upper bound follows.
♠  

7 Final remarks: the dual form of approximation

In view of Khintchine's transference principle [13] , Theorem KM can be reformulated for the dual form of approximation:
Theorem KM ′   Let ℳ   be a non-degenerate manifold in R n   . Then for any v > 1   for almost every point ( y 1 , . . . , y n ) ∈ ℳ   the inequality
∥ a 1 y 1 + … + a n y n ∥ < Π + ( a ) − v (45)
has only finite number of solutions a = ( a 1 , . . . , a n ) ∈ Z n   , where Π + ( a ) : = n ∏ i = 1 max { 1 , | a i | } .  
The problems S1 and S2 considered in § 1.2 above can therefore be reformulated for the dual form of approximation. Given an approximating function ψ   , consider the inequality
∥ a 1 y 1 + … + a n y n ∥ < ψ ( Π + ( a ) ) . (46)
Let ℒ * n ( ψ ) : = { y ∈ R n : (e:03446) holds for infinitely many a ∈ Z n }   and ℒ * n ( v ) : = S * ( q ↦ q − v ) : = { y ∈ R n : (e:03345) holds for infinitely many a ∈ Z n } .   Problem D1 : Given a non-degenerate manifold ℳ ⊂ R n   and v > 1   , what is the Hausdorff dimension of ℒ * ( v ) ∩ ℳ   ?
Note that above theorem of Kleinbock and Margulis only implies that the Lebesgue measure of ℒ * ( v ) ∩ ℳ   is zero.
Problem D2 : Given a non-degenerate manifold ℳ ⊂ R n   and an approximating function ψ   , what is the weakest condition under which ℒ * ( ψ ) ∩ ℳ   is of Lebesgue measure zero ?
Regarding Problem D1 the following general lower bound can be established:
Theorem 7 Let ℳ   be arbitrary manifold in R n   . Then for any v > 1  
dim ℳ ∩ ℒ * n ( v ) ⩾ dim ℳ − 1 + 2 1 + v . (47)
The proof of Theorem  7 follows the same line of reasoning as that of Theorem  5 and is left to the reader. It is highly likely that the inequality given by ( 47 ) is in fact an equality.
For n = 2   , that this is indeed the case is easily verified by modifying the arguments of [14] .
However, the general case ( n ≥ 3   ) seems to be a difficult problem.
Regarding Problem D2 a general Khintchine-Groshev type theorem for convergence has been established in [5] . This states that in Theorem  KM ′   above one can replace ( 45 ) with ( 46 ) whenever ∑ h = 1 ∞ ψ ( h ) log n − 1 h < ∞ .   The divergence counterpart remains an open problem even for planar curves.
Acknowledgements. SV would like to thank Ayesha (Dorothy) and Iona (Tinman) for allowing him into their wonderful world of Oz and for constantly restuffing his straw. Also, he'd like to thank Bridget (Wicked Witch) for her support and friendship. Finally, many thanks to Geraldine and Peter for their generosity and introducing us creatures from Oz to Rasquera. References

  1. R.C. Baker : Dirichlet's theorem on Diophantine approximation, Math. Proc. Cam. Phil. Soc. 83 (1978), 37–59.
  2. V. Beresnevich, H. Dickinson, and S. Velani : Measure Theoretic Laws for limsup sets, Pre-print (97pp): arkiv:math.NT/0401118. To appear: Memoirs of the AMS.
  3. V. Beresnevich, H. Dickinson, and S. Velani : Diophantine approximation on planar curves and the distribution of rational points, Pre-print (52pp): arkiv:math.NT/0401148.
  4. V.I. Bernik and M.M. Dodson : Metric Diophantine approximation on manifolds, Cambridge Tracts in Mathematics, vol. 137, Cambridge University Press, Cambridge, 1999.
  5. V.I. Bernik, D.Y. Kleinbock, and G.A. Margulis : Khintchine–type theorems on manifolds: the convergence case for standard and multiplicative versions, International Mathematics Research Notices (2001), no. 9, 453–486.
  6. J.D. Bovey and M.M. Dodson : The fractional dimension of sets whose simultaneous rational approximations have errors with a small product, Bull. London Math. Soc. 10 (1978), no. 2, 213–218.
  7. P.X. Gallagher : Metric simultaneous Diophantine approximation, Jour. London Math. Soc. 37 (1962), 387–390.
  8. M.N. Huxley : Area. Lattice points and exponential sums, Oxford, 1996.
  9. D.Y. Kleinbock and G.A. Margulis : Flows on homogeneous spaces and Diophantine approximation on manifolds, Ann. Math. 148 (1998), 339–360.
  10. A. Khintchine : Zur metrischen Theorie der diophantischen Approximationen, Math. Z. 24 (1926), 706–714.
  11. B.P. Rynne : Hausdorff dimension and generalized simultaneous Diophantine approximation. Bull. London Math. Soc. 30 (1998), no. 4, 365–376.
  12. W.M. Schmidt : Metrische Sätze über simultane Approximation abhängiger Größen, Monatsch. Math. 63 (1964), 154–166.
  13. V.G. Sprindžuk : Metric theory of Diophantine approximation, John Wiley & Sons, New York-Toronto-London, 1979, (English transl.).
  14. Kunrui Yu : A note on a problem of Baker in metrical number theory, Math. Proc. Cambridge Philos. Soc. 90 (1981), 215–227.

Victor V. Beresnevich: Institute of Mathematics, Academy of Sciences of Belarus, 220072, Surganova 11, Minsk, Belarus. e-mail: beresnevich@im.bas-net.by Sanju L. Velani: Department of Mathematics, University of York, Heslington, York, YO10 5DD, England. e-mail: slv3@york.ac.uk