Geometric progressions in the sets of values of rational functions

Let $a,Q\in \text{Q}$ be given and consider the set $\mathcal{G}(\mathcal{a},\mathcal{Q})=\{\mathcal{a}{\mathcal{Q}}^{\mathcal{i}}:\mathcal{i}\in \mathbb{N}\}$ of terms of geometric progression with 0th term equal to $a$ and the quotient $Q$. Let $f\in \text{Q}(x,y)$ and ${\mathcal{V}}_{\mathcal{f}}$ be the set of finite values of $f$. We consider the problem of existence of $a,Q\in \text{Q}$ such that $\mathcal{G}(\mathcal{a},\mathcal{Q})\subset {\mathcal{V}}_{\mathcal{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)=\frac{f_1(x,y)}{f_2(x,y)}$, where $f_1,f_2\in \mathbb{Z}[x,y]$ are homogenous forms of degrees $d_1,d_2$ and $\mathrm{\mid }{d}_1-d_2\mathrm{\mid }=1$, we prove that $\mathcal{G}(\mathcal{a},\mathcal{Q})\subset {\mathcal{V}}_{\mathcal{f}}$ if and only if there are $u,v\in \text{Q}$ such that $a=f(u,v)$. In the second, experimental, part of the paper we study the stated problem for the rational function $f(x,y)=(y^2-x^3)\mathrm{/}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.