JARNÍK TYPE THEOREMS ON MANIFOLDS

Abstract Let 
$\psi $
 be a decreasing function. We prove zero-infinity Hausdorff measure criteria for the set of dual 
$\psi $
 -approximable points and for the set of inhomogeneous multiplicative 
$\psi $
 -approximable points on nondegenerate planar curves. Our results extend theorems of Huang [‘Hausdorff theory of dual approximation on planar curves’, J. reine angew. Math. 740 (2018), 63–76] and Beresnevich and Velani [‘A note on three problems in metric Diophantine approximation’, in: Recent Trends in Ergodic Theory and Dynamical Systems, Contemporary Mathematics, 631 (American Mathematical Society, Providence, RI, 2015), 211–229] from s-Hausdorff measure, where 
$s\in \mathbb R$
 , to the more general g-Hausdorff measure, where g is a suitable class of dimension functions.

There are various higher dimensional generalisations of W(ψ) leading to simultaneous, dual and multiplicative approximation.In this note, we are concerned with the dual (one linear form) and multiplicative problems on manifolds.We define the sets for the inhomogeneous setting which is considered to be more general than the homogeneous setting and where results are often more difficult to prove than in the homogeneous setting.Fix θ := (θ 1 , . . ., θ n ) ∈ I n .Denote x = (x 1 , . . ., x n ) ∈ R n , p = (p 1 , . . ., p n ) ∈ Z n , q = (q 1 , . . ., q n ) ∈ Z n and q := max{|q 1 |, . . ., |q n |}.Define the sets S θ n (ψ) = {x ∈ I n : max 1≤i≤n |qx i − p i − θ i | < ψ(q) for i.m. (p, q) ∈ Z n+1 \ {0}}, D θ n (ψ) = {x ∈ I n : |q • x − p − θ| < ψ( q ) for i.m. (p, q) ∈ Z n+1 \ {0}}, Here and throughout, i.m. stands for infinitely many.The sets, S θ n (ψ), D θ n (ψ) and Λ θ n (ψ) are called the set of simultaneous, dual and multiplicative ψ-approximable points.A fundamental aim in Diophantine approximation is to quantify the 'size' of these sets in terms of Lebesgue measure, Hausdorff measure and Hausdorff dimension, which we generally refer to as the metrical theory.The metrical theory for the above sets, termed the independent variable setting, is relatively well developed as compared to the dependent variable theory (that is, when x is restricted to a manifold).Indeed, to estimate the size of the intersections of the above sets with a k-dimensional, nondegenerate submanifold M ⊆ R n is an intricate and challenging problem.However, some remarkable advances have been made.We state the latest results for all three sets in terms of Hausdorff measure.The Lebesgue measure or Hausdorff measure of the sets typically split into two parts: the convergence case and the divergence case.The convergence/divergence of the corresponding series depend upon the properties of the approximating function ψ and/or dimension function g.Before we discuss the state of the art and our results, we briefly summarise the notation used.For the definitions of Hausdorff measure and dimension, see Section 1.5.
1.1.Notation.Throughout, by a dimension function g, we mean an increasing continuous function g : R → R with g(0) = 0.By H g -measure, we mean the g-dimensional Hausdorff measure which is proportional to the standard Lebesgue measure when g(r) = r n .In the case where the dimension function is of the form g(r) := r s for some s < k, H g is simply denoted as H s .For real quantities A, B and a parameter t, we write A t B if A ≤ c(t)B for a constant c(t) > 0 that depends on t only (while A and B may depend on other parameters).We write A t B if A t B t A. If the constant c > 0 depends only on parameters that are constant throughout a proof, we simply write A B and B A.

Dual approximation.
The convergence Lebesgue measure result for D 0 n ∩ M was established first in [3] and then, for any nondegenerate manifold, in a generalised form in [11].The divergence Lebesgue measure was established for any nondegenerate manifold in [10].The divergence case for the H g -measure of D 0 n ∩ M was established in [6] as a consequence of the ubiquity framework.Regarding the convergence case for H g -measure of D 0 n ∩ M, progress has been made for various manifolds but not generalised as in the divergence case.The H g -measure for convergence for the parabola was proved in [20] under some mild assumptions on the dimension function g, and then Huang [18] proved that H s (D 0 2 (ψ) ∩ C) = 0 for all nondegenerate planar curves C. We refer the reader to [1] for the inhomogeneous variant of Huang's result.
In a recent paper [23], we (with David Simmons) proved the H g -measure convergence result for hypersurfaces of dimension at least 3 for both homogeneous and inhomogeneous settings with a nonmonotonic multivariable approximating function.The results of [23] have been extended in [21] to certain classes of nondegenerate sub-manifolds of co-dimension greater than one.For co-dimension two or three, examples of manifolds where the dependent variables can be chosen as quadratic forms are provided.In that paper, the method requires the manifold to have even dimension at least a minimum of four and half the dimension of the ambient space.Hence, the results of [21,23] are not applicable to one-dimensional manifolds (curves).However, results of similar nature for the special class of Veronese curves have been obtained in [22].For general planar curves, the best result is due to Huang.THEOREM 1.1 (Huang,[18]).Let ψ be a decreasing approximating function and s ∈ (0, 1].Let C be any C (2) planar curve which is nondegenerate everywhere except possibly on a set of zero Hausdorff s-measure.Then, A natural problem is to extend Theorem 1.1 to H g -measure on nondegenerate planar curves.By elaborating ideas presented by Huang [18], it is possible to do so with some restrictions on g.
For convenience, we will assume that the planar curve C is the graph of a smooth map h : U → R, where U ⊆ R is a connected bounded open set.Assume that the second derivative h of the map h satisfies Condition (I) was implicitly stated in Huang's paper but, for clarity, we state it explicitly and for the H g -measure.For a detailed discussion about the corresponding condition in higher dimensions, see [23,Section 3].We prove the following result.
THEOREM 1.2.Let ψ be a decreasing approximating function.Let h be a C (2) function satisfying condition (I) and let C be the graph of h.Let g be a dimension function such that r → r −1 g(r) is decreasing and r −1 g(r) → ∞ as r → 0. Assume that g has the property that, for some > 0 and for any r ∈ (0, 1), Then, Observe that (1.1) becomes stronger as increases since r < 1 and it does not make sense with exponent larger than 1 (that is, for > 1/3) since the dimension of the curve is only 1.By combining Theorem 1.2 with the corresponding divergence theorem proved in [6], we obtain the following complete dichotomy statement.THEOREM 1.3.Let ψ be a decreasing approximating function.Let h be a C (2) function satisfying condition (I) and let C be the graph of h.Let g be a dimension function such that r −1 g(r) is decreasing and r −1 g(r) → ∞ as r → 0. Assume that g has the property (1.1).Then, An immediate corollary of Theorem 1.3, which was proved explicitly in [2], is the following Hausdorff dimension result: for τ > 2, if we write To give a more subtle example, let and for some ε > 0, τ > 2 and α 2 , . . ., α t ∈ R, let Then we have the following exact logarithmic order statement for approximation on the parabola.
COROLLARY 1.4.Let ε > 0. Then for any fixed α j and with ψ ε as defined above, there is a dimension function g ε such that is not empty and indeed uncountable.We refer the reader to [5, page 257] for explicit choices of g ε .

Multiplicative approximation.
For the set Λ θ n (ψ), hardly anything is known beyond a nondegenerate planar curve C and this time, the most recent result is by Beresnevich and Velani [9].Even in the independent variable cases, most of the progress has been achieved quite recently (see for example [14,15,24]).THEOREM 1.5 (Beresnevich and Velani, [9]).Let ψ be any approximating function and s ∈ (0, 1).Let C be a C (3) curve in R 2 with nonzero curvature everywhere apart from a set of s-dimensional Hausdorff measure zero.Then, Note that the case s = 1 is not covered by this theorem and represents a challenging open question.We refer the reader to [16] for further details.
We extend this theorem to the g-dimensional Hausdorff measure by combining arguments of this paper with arguments used by Beresnevich and Velani [9].For this improvement, we first introduce a condition on the dimension function g.CONDITION G.For some α ∈ (0, 1), the dimension function g is such that g(t) • t −α is nonincreasing.Equivalently, for this value of α ∈ (0, 1), ( For power functions g(t) = t s with s ∈ (0, 1), the condition holds with α = s.More generally, for example, we may consider any function of the form with the notation log + as in (1.2).By a small twist of condition G, we can in fact take any γ ∈ R in the following results unless β = 0.
THEOREM 1.6.Let ψ be any approximating function.Let C be a C (3) curve in R 2 with nonzero curvature everywhere apart from a set of g-dimensional Hausdorff measure zero.Let g be a dimension function satisfying condition G.Then, 1.4.Some remarks on simultaneous approximation.We first quote a result which is a combined statement of the divergence cases proven by Beresnevich [4] for any nondegenerate manifolds and the convergence case for hypersurfaces by Huang [19].
THEOREM 1.7 (Beresnevich-Huang).Let n ≥ 3 and s > 1 2 (n − 1).Let M denote a compact hypersurface in R n with nonvanishing Gaussian curvature except possibly on a set of zero Hausdorff s-measure.Let ψ be an approximating function.Then, The divergence part is valid for any nondegenerate analytical submanifold.Proving the convergence part, however, for any nondegenerate manifold represents a challenging problem and progress thus far has been limited to hypersurfaces and only for the s-dimensional Hausdorff measure with some limitations imposed on the real number s. Regarding the more general weighted settings, the H g -measure on planar curves was established in [25] and the lower bound of the Hausdorff dimension for any nondegenerate manifold in [7].
It is possible to extend the convergence case of Theorem 1.7 to any g-Hausdorff measure without much effort by replacing the H s -measure with H g -measure for any dimension function g.THEOREM 1.8 (Beresnevich-Huang).Let g be a dimension function with r −1 g(r) → ∞ as r → 0.Then, with notation and assumptions of Theorem 1.7, However, extending the divergence case of Theorem 1.7 to an arbitrary dimension function is not that straightforward.
1.5.Hausdorff measure and dimension.For completeness, we give a very brief introduction to Hausdorff measures and dimension.For further details, see [12,17]. Let where the infimum is taken over all possible ρ-covers {B i } of Ω.The g-dimensional Hausdorff measure of Ω is defined to be The map H g : P(R n ) → [0, ∞] defines an outer measure on all sets in R n , which becomes a proper measure when restricted to the subset of H g -measurable sets, that is, sets A that satisfy H g (B) = H g (A ∩ B) + H g (B \ A) for any B ∈ R n .In the case that g(r) = r s (s ≥ 0), the measure H g is denoted H s and is called s-dimensional Hausdorff measure.For any set Ω ⊂ R n , one can easily verify that there exists a unique critical value of s at which the function s → H s (Ω) 'jumps' from infinity to zero.The value taken by s at this discontinuity is referred to as the Hausdorff dimension of Ω and denoted by dim H Ω; that is, The countable collection {B i } is called a fine cover of Ω if for every ρ > 0, it contains a subcollection that is a ρ-cover of Ω.
We state the Hausdorff measure analogue of the famous Borel-Cantelli lemma (see [12,Lemma 3.10]) which will allow us to estimate the Hausdorff measure of certain sets via calculating the Hausdorff g-sum of a fine cover.LEMMA 1.9 (Hausdorff-Cantelli lemma).Let {B i } ⊂ R n be a fine cover of a set Ω and let g be a dimension function such that i g(diam(B i )) converges.Then, H g (Ω) = 0.

Proof of Theorem 1.2
To keep the length of the proof in control, where it is exactly the same as in [18], we only sketch it with reference to Huang's paper.Since the aim is to extend Huang's proof which is valid for s-dimensional Hausdorff measure to g-dimensional Hausdorff measure, we start by replacing the s-coverings with g-coverings until we encounter nontriviality.As established in [18, Proposition 1], we need to show the convergence of the series (q 1 ,q 2 ,p)∈Z 3 g(|μ(q 1 , q 2 , p)|), under our assumption.Here, μ(q 1 , q 2 , p) = {x ∈ I : |q 1 x + q 2 h(x) + p| < ψ(q)}, where (t, h(t)) for t ∈ I is the local parametrisation of the curve C as a function, M = 1 + max x∈I |h (x)| and q = max{|q 1 |, |q 2 |}.We notice that Huang's proof essentially works for general measures H g until we arrive at (3.15) in his paper, which corresponds to the case (q 1 , q 2 ) ∈ Θ 2 below.Define and distinguish two cases: Let (q 1 , q 2 ) ∈ Θ 1 .Then using [18, Lemma 2], Since for given q 1 there are only q 2 1 choices for the pair (p, q 2 ), the sum with (q 1 , q 2 ) restricted to Θ 1 can be estimated as p∈Z,(q 1 ,q 2 )∈Θ 1 g(|μ(q 1 , q 2 , p)|) which converges by assumption.
(2.1) Indeed, if x > 1, then by the assumption of the decay of r → r −1 g(r), we have g(xy)/(xy) ≤ g(y)/y or equivalently g(xy) ≤ xg(y) for any y > 0, and if otherwise 0 < x < 1, then it follows trivially since g is increasing.Application of (2.1) with y = ψ(q)/q and x = q/p yields We show that the inner sum is of order q.To see this, we split the sum over 1 ≤ p ≤ Cq into two sums, over 1 ≤ p ≤ q and q < p ≤ Cq.The sums can be estimated as Thus, where the rightmost series converges by assumption.Now we treat the critical case p = p 0 .Proceeding as in [18] but for a general dimension function g, we have to show the convergence of (q 1 ,q 2 )∈Θ 2 g(|μ(q 1 , q 2 , p 0 )|), ( with as defined above.Following the method of [18] of estimating (2.2) in this wider generality shows that to prove (2.2), it suffices to show that By assumption, q≥1 q 2 g(ψ(q)/q) converges and thus Hence, for all sufficiently large k, This implies ψ(2 k ) < 2 −2k , for sufficiently large k, because of the assumption that r −1 g(r) → ∞ as r → 0 and the assumption of (1.1).Thus, we can estimate the argument of g above by Assume (1.1), which is equivalent to g( √ x) ≤ x γ for some γ > 1 3 , which we consider fixed in what follows.We see that the series in (2.3) can be bounded by The rightmost series is finite since γ > 1 3 .Therefore, it suffices to show the convergence of the series k≥1 ψ(2 k ) 1− 2 2k−3kγ , which can be rewritten as Since x → g(x)/x decreases for x ∈ (0, 1), we have g(x)/x ≥ g(1)/1, or equivalently g(x) ≥ g (1)x.Thus, for any large k, the expression in (2.4) can be bounded by For the sum over k of the products in (2.4) to converge, we require 3 − 3γ − < 3(1 − ) or equivalently 1 − γ < 1 − 2 3 , which by γ > 1 3 is true as soon as < 1 2 .The claim is proved.

Proof of Theorem 1.6
The proof of this theorem splits naturally into two parts: the divergence case and the convergence case.
3.1.The divergence case.The divergence case can be proven for any C 2 nondegenerate submanifold of R n by using similar arguments to those in [24].We first quote a result of Bugeaud.THEOREM 3.1 (Bugeaud,[13]).Let n ≥ 1 be an integer.Let ψ be an approximating function.Let g be a dimension function such that r −n g(r) → ∞ as r → 0. Assume that r → r 1+n g(2ψ(r)/r) and r → rψ n (r) are nonincreasing.Then, In fact, the monotonicity of ψ is only needed in the divergence part and when n = 1.By Theorem 3.1, and since g is increasing, As in [9], assume that the planar curve C := {(x, F (x)) : x ∈ I} is the graph of a C (3)  function F : I → R defined on a finite closed interval I and that F is continuous and nonvanishing on I.We may for simplicity assume Since any factor in the definition of Λ θ 2 (ψ) can be trivially estimated from above by 1 by a proper choice of numerators p i within the definition of Λ θ 2 (ψ), we have the inclusion Since F ∈ C (1) , we see that F is locally bi-Lipschitz and therefore the map x → (x, F (x)) preserves H g -measure.Thus, for any dimension function g, 3.2.The convergence case.In this section, we prove the convergence case of Theorem 1.6, basically following [9] with some twists towards the end.Assume that the series q qg(ψ(q)/q) converges.Then, by the monotonicity of ψ and Cauchy condensation, In particular, for large t, Recall that the set Λ θ 2 (ψ) can be written as As in [9], we note that for any ∈ N, the set Λ θ 2 (ψ) ∩ C can be covered by the union over t ≥ of the sets where S θ (q, m, t, p 1 , p 2 ) is defined as the set of (x 1 , x 2 ) ∈ I 2 that satisfy (The sets depend on t as well; this is a small formal inaccuracy in [9].)By continuity and nonvanishing of F , we see that F has at most one local extremum.Hence, each set C ∩ S θ (q, m, t, p 1 , p 2 ) lies in the union of at most two boxes, that is, the projection to the first coordinate lies in two intervals.From a metrical point of view, we may without loss of generality assume that F is increasing in I so that there is in fact only one box.(Again, this argument closes a minor gap from [9]).Then, since |F | is bounded from below by a positive constant on the compact interval I, it can easily be seen that diam(C ∩ S θ (q, m, t, p 1 , p 2 )) 2 −|m| ψ(2 t ) 2 t .Now we quote a result from [8] that counts the number of rational points close to a nondegenerate curve.Since I is compact, this implies that F is bounded between two positive constants.Given θ ∈ R 2 , δ > 0 and Q ≥ 1, consider the set THEOREM 3.2 [8].Let F ∈ C (3) (I), bounded on every x ∈ I.If > 0, then for any Q ≥ 1 and 0 ≤ δ ≤ 1/2, N θ (Q, δ) δQ 2 + Q 1+ , where the implied constant is independent of δ and Q.
By using this theorem with δ = 2 |m| ψ(2 t ), Q = 2 t , for every > 0, we have So from the above cover, Until now, the method and calculations have not changed much from [9] with the exception of considering the g-measure instead of the s-measure.So the question is under what 'nice' conditions on g can we make the sum convergent, thus sums The last sum converges by hypothesis and Cauchy condensation.Now we bound the sum S 2 .Since the claim of the theorem becomes weaker if we increase ψ, we may assume ψ(2 t ) ≥ 2 −(2−2ε)t/α equivalently ψ(2 t ) −α/2 ≤ 2 t (1−ε) .