We consider some variations on the classical method of Runge for effectively determining integral points on certain curves. We first prove a version of Runge's theorem valid for higher-dimensional varieties, generalizing a uniform version of Runge's theorem due to Bombieri. We then take up the study of how Runge's method may be expanded by taking advantage of certain coverings. We prove both a result for arbitrary curves and a more explicit result for superelliptic curves. As an application of our method, we completely solve certain equations involving squares in products of terms in an arithmetic progression.
We consider some variations on the classical method of Runge for effectively determining integral points on certain curves. We first prove a version of Runge's theorem valid for higher-dimensional varieties, generalizing a uniform version of Runge's theorem due to Bombieri. We then take up the study of how Runge's method may be expanded by taking advantage of certain coverings. We prove both a result for arbitrary curves and a more explicit result for superelliptic curves. As an application of our method, we completely solve certain equations involving squares in products of terms in an arithmetic progression.
“…We provide bounds for the size of solutions and an algorithm to determine all solutions (x, y) ∈ Z 2 . The method of proof is based on Runge's method [15,21,27,31,34,37]. In 2008, Sankaranarayanan and Saradha [28] established improved upper bounds for the size of the solutions of the Diophantine equations F (x) = y m and F (x) = G(y), for which Runge's method can be applied.…”
Abstract. In this paper we provide bounds for the size of the solutions of the Diophantine equation= y 2 , where a, b ∈ Z, a = b are parameters. We also determine all integral solutions for a, b ∈ {−4, −3, −2, −1, 4, 5, 6, 7}.
“…Runge's method of proof is effective, that is, it yields computable upper bounds for the sizes of the integer solutions to these equations. Using this method upper bounds were obtained by Hilliker and Straus [8] and by Walsh [20]. Grytczuk and Schinzel [6] applied a method of Skolem [17] based on elimination theory to obtain upper bounds for the solutions.…”
Section: Introduction Consider a Polynomialmentioning
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.