English

Geometric progressions in the sets of values of rational functions

Number Theory 2023-04-20 v1

Abstract

Let a,Q\Qa, Q\in\Q be given and consider the set G(a,Q)={aQi:  iN}\cal{G}(a, Q)=\{aQ^{i}:\;i\in\N\} of terms of geometric progression with 0th term equal to aa and the quotient QQ. Let f\Q(x,y)f\in\Q(x, y) and Vf\cal{V}_{f} be the set of finite values of ff. We consider the problem of existence of a,Q\Qa, Q\in\Q such that G(a,Q)Vf\cal{G}(a, Q)\subset\cal{V}_{f}. In the first part of the paper we describe several classes of rational function for which our problem has a positive solution. In particular, if f(x,y)=f1(x,y)f2(x,y)f(x,y)=\frac{f_{1}(x,y)}{f_{2}(x,y)}, where f1,f2Z[x,y]f_{1}, f_{2}\in\Z[x,y] are homogenous forms of degrees d1,d2d_{1}, d_{2} and d1d2=1|d_{1}-d_{2}|=1, we prove that G(a,Q)Vf\cal{G}(a, Q)\subset \cal{V}_{f} if and only if there are u,v\Qu, v\in\Q such that a=f(u,v)a=f(u, v). In the second, experimental, part of the paper we study the stated problem for the rational function f(x,y)=(y2x3)/xf(x, y)=(y^2-x^3)/x. We relate the problem to the existence of rational points on certain elliptic curves and present interesting numerical observations which allow us to state several questions and conjectures.

Keywords

Cite

@article{arxiv.2304.09264,
  title  = {Geometric progressions in the sets of values of rational functions},
  author = {Maciej Ulas},
  journal= {arXiv preprint arXiv:2304.09264},
  year   = {2023}
}

Comments

17 pages