For points $(a,b)$ on an algebraic curve over a field $K$ with height $\mathfrak{h}$, the asymptotic relation between $\mathfrak{h}(a)$ and $\mathfrak{h}(b)$ has been extensively studied in diophantine geometry. When $K=\overline{k(t)}$ is the field of algebraic functions in $t$ over a field $k$ of characteristic zero, Eremenko in 1998 proved the following quasi-equivalence for an absolute logarithmic height $\mathfrak{h}$ in $K$: Given $P\in K[X,Y]$ irreducible over $K$ and $\epsilon>0$, there is a constant $C$ only depending on $P$ and $\epsilon$ such that for each $(a,b)\in K^2$ with $P(a,b)=0$, $$ (1-\epsilon) \deg(P,Y) \mathfrak{h}(b)-C \leq \deg(P,X) \mathfrak{h}(a) \leq (1+\epsilon) \deg(P,Y) \mathfrak{h}(b)+C. $$ In this article, we shall give an explicit bound for the constant $C$ in terms of the total degree of $P$, the height of $P$ and $\epsilon$. This result is expected to have applications in some other areas such as symbolic computation of differential and difference equations.
翻译:对于在高於{mathfrak{h}美元(a)和$mathfrak{h}(b)美元之间在远光几何学上广泛研究了美元(a)美元和美元(b)美元之间的关系。当$K ⁇ overline{k(t)美元是以美元计算,以美元计算,以美元计算,以特性为0,1998年Eremenko美元计算,以美元计算,以美元计算,以美元计算,以美元计算,以美元计,以美元计算,以美元计,以美元计算,以美元计,以美元计,以美元计,以美元计,以美元计,以美元计,以美元计,以美元计,以美元计,以美元计,以美元计,以美元计,以美元计,以美元计,以美元计,以美元计,以美元计,以美元计,以美元计,以美元计算,以美元计,以美元计,以美元计,以美元计,以美元计算,以美元计,以美元计算,以美元计,以美元计,以美元计,以美元计,以美元计,以美元计,以美元计,以美元计,以美元计,以美元计算,以美元计,以美元计,以美元计,以美元计,以美元计,以美元计,以美元计,以美元计,以美元计,以美元计,以美元,以美元,以美元计,以美元,以美元,以美元,以美元,以。(a,以美元,以美元,以美元计算,以美元,以美元,以美元,以美元,以美元,以美元,以美元,以美元,以美元,以美元,以美元,以美元,以美元计,以美元,以美元,以美元,以美元,以美元,以美元,以美元,以美元,以美元,以美元,以美元,以美元,以美元,以美元,以美元,以美元,以美元,以美元,以美元,以美元,以美元,以美元,以美元,以,以美元,以美元,以美元,以美元,以美元,以美元,以美元,以美元,以美元,以美元,以美元,以美元,以美元,以美元,以美元,以美元,以