Search

According to Lidstone interpolation theory, an entire function of exponential type $, 19 pages

We consider some families of binary binomial forms $aX^d+bY^d$, with $a$ and $b$ integers. Under suitable assumptions, we prove that every rational integer $m$ with $|m|\ge 2$ is only represented by a finite number of the forms of this family (with varying $d,a,b$). Furthermore {the number of such forms of degree $\ge d_0$ representing $m$ is bounded by $O(|m|^{(1/d_0)+\epsilon})$} uniformly for $\vert m \vert \geq 2$. We also prove that the integers in the interval $[-N,N]$ represented by one of the form of the family with degree $d\geq d_0$ are almost all represented by some form of the family with degree $d=d_0$. In a previous {paper} we investigated the particular case where the binary binomial forms are positive definite. We now treat the general case by using a lower bound for linear forms of logarithms.

We extend to several variables an earlier result of ours, according to which an entire function of one variable of sufficiently small exponential type, having all derivatives of even order taking integer values at two points, is a polynomial. The proof in the one dimensional case relies on Lidstone expansion of the function. For $n$ variables, we need $n+1$ points, having the property that the differences of $n$ of them with the remaining one give a basis of ${{\mathbb C}}^n$. The proof is by reduction to the one variable situation., Comment: To appear in Journal of Ramanujan Society of Mathematics and Mathematical Sciences (JRSMAMS), Vol. 9, No. 1, December 2021

For each integer $d\ge 4$, we study the sequence of positive integers which are represented by one at least of the cyclotomic binary forms $��_n(X,Y)$, with $n$ a positive integer satisfying $��(n)\ge d$. The case $d=2$ was studied in our previous work [FLW]. Our demonstration is based on a variant of a statement of [SX] concerning the common values taken by two binary forms of the same degree and non-zero discriminants. All constants are effectively calculable., 25 pages. En fran\c{c}ais

Given a subset $S=\{s_0, s_1\}$ of the complex plane with two points and an infinite subset ${\mathscr S}$ of $S\times {\mathbb N}$, where ${\mathbb N}=\{0,1,2,\dots\}$ is the set of nonnegative integers, we ask for a lower bound for the order of growth of a transcendental entire function $f$ such that $f^{(n)}(s)\in{\mathbb Z}$ for all $(s,n)\in{\mathscr S}$. We first take ${\mathscr S}=\{s_0,s_1\}\times 2{\mathbb N}$, where $2{\mathbb N}=\{0,2,4,\dots\}$ is the set of nonnegative even integers. We prove that an entire function $f$ of sufficiently small exponential type such that $f^{(2n)}(s_0)\in{\mathbb Z}$ and $f^{(2n)}( s_1)\in{\mathbb Z}$ for all sufficiently large $n$ must be a polynomial. The estimate we reach is optimal, as we show by constructing a noncountable set of examples. The main tool, both for the proof of the estimate and for the construction of examples, is Lidstone polynomials. Our second example is $(\{s_0\}\times (2{\mathbb N}+1))\cup( \{ s_1\}\times 2{\mathbb N})$ (odd derivatives at $s_0$ and even derivatives at $ s_1$). We use analogs of Lidstone polynomials which have been introduced by J.M.~Whittaker and studied by I.J.~Schoenberg. Finally, using results of W.~Gontcharoff, A. J.~Macintyre and J.M.~Whittaker, we prove lower bounds for the exponential type of a transcendental entire function $f$ such that, for each sufficiently large $n$, one at least of the two numbers $f^{(n)}(s_0)$, $f^{(n)}(s_1)$ is in ${\mathbb Z}$., Comment: 28 pages

Let $ \prod_{i=1}^d (X-\alpha_i Y) \in{\mathbb C}[X,Y]$ be a binary form and let $\epsilon_1,\dots,\epsilon_d$ be nonzero complex numbers. We consider the family of binary forms $ \prod_{i=1}^d (X-\alpha_i \epsilon_i^aY)$, $a\in {\mathbb Z}$, which we write as $$ X^d-U_1(a)X^{d-1}Y+\cdots+(-1)^{d-1} U_{d-1}(a) XY^{d-1}+(-1)^d U_d(a) Y^d.$$ In this paper we study these sequences $\bigl(U_h(a)\bigr)_{a\in {\mathbb Z}}$ which turn out to be linear recurrence sequences., Comment: Proceedings of the International Conference on Pure and Applied Mathematics ICPAM-GOROKA 2014, "Contemporary Developments in the Mathematical Sciences as Tools for Scientific and Technological Transformation of Papua New Guinea"

Let $F$ be an irreducible binary form attached to a number field $K$ of degree $\geq 3$. Let $��\not\in \{-1, 1\}$ be a totally real unit of $K$. By twisting $F$ with the powers $��^a$ of $��$, ($a\in{\mathbf Z}$), we obtain an infinite family $F_a$ of binary forms. Let $m\in{\mathbf Z}$. We give an effective bound for $\max\{|a|, \log|x|, \log|y|\}$ when $a,x,y$ are rational integers satisfying $F_a(x,y)=m$ with $xy\not=0$., in French, CRM collection "Contemporary Mathematics", AMS, to appear

We discuss the role of auxiliary functions in the development of transcendental number theory. Earlier auxiliary functions were completely explicit. The earliest transcendence proof is due to Liouville, who produced the first explicit examples of transcendental numbers at a time where their existence was not yet known; in his proof, the auxiliary function is just a polynomial in one variable. Hermite's proof of the transcendence of $e$(1873) is much more involved, the auxiliary function he builds is the first example of the Padé approximants, which can be viewed as a far reaching generalization of continued fraction expansion. Hypergeometric functions are among the best candidates for using Padé approximations techniques. Another tool which plays the role of auxiliary functions is produced by interpolation formulae. They occurred in the theory after a question by Weierstrass on the so-called exceptional set $S_f$ of a transcendental function $f$, which is the set of algebraic numbers $\alpha$ such that $f(\alpha)$ is algebraic. The answer to his question is that any set of algebraic numbers is the exceptional set of some transcendental function $f$; this shows that one should add further conditions in order to get transcendence criteria. One way is to replace algebraic number by rational integer: this gives rise to the study of integer--valued entire functions with the works of G.~Pólya (1915), A.O.~Gel'fond (1929) and many others. The connexion with transcendental number theory may not have been clear until the solution by A.O.~Gel'fond in 1929 of the question of the transcendence of $e^\pi$, a special case of Hilbert's seventh problem. Along these lines, recent developments are due to T.~Rivoal, who renewed forgotten rational interpolation formulae (1935) of R.~Lagrange. The simple (but powerful) construction by Liouville was extended to several variables by A.~Thue, who introduced the Dirichlet's box principle (pigeonhole principle) into the topic of Diophantine approximation in the early 1900's. In the 1920's, Siegel developed this idea and applied it in 1932 to transcendental number theory. This gave rise to the Gel'fond--Schneider which produces the Schneider--Lang Criterion in one or several variables. Among many developments of this method are results on modular functions. Variants of the auxiliary functions produced by Dirichlet's Box Principle are universal auxiliary functions, which have small Taylor coefficients at the origin. Another approach, due to K.~Mahler, involves auxiliary functions whose existence is deduced from linear algebra instead of Thue--Siegel Lemma. In 1991 M.~Laurent introduced interpolation determinants.Two years later J.B.~Bost used Arakhelov theory to prove slope inequalities, which dispenses of the choice of bases.

Let $\alpha$ be an algebraic number of degree $d\ge 3$ and let $K$ be the algebraic number field $\Q(\alpha)$. When $\varepsilon$ is a unit of $K$ such that $\Q(\alpha\varepsilon)=K$, we consider the irreducible polynomial $f_\varepsilon(X) \in \Z[X]$ such that $f_\varepsilon(\alpha\varepsilon)=0$. Let $F_\varepsilon(X,Y)$ be the irrreducible binary form of degree $d$ associated to $f_{\varepsilon}(X) $ under the condition $F_{\varepsilon}(X,1)=f_{\varepsilon}(X)$. For each positive integer $m$, we want to exhibit an effective upper bound for the solutions $(x,y,\varepsilon)$ of the diophantine inequation $|F_\varepsilon(x,y)|\le m$. We achieve this goal by restricting ourselves to a subset of units $\varepsilon$ which we prove to be sufficiently large as soon as the degree of $K$ is $\geq 4$., Comment: Moscow Journal of Combinatorics and Number Theory, to appear

Les nombres r��els ou complexes forment un ensemble ayant la puissance du continu. Parmi eux, ceux qui sont int��ressants, qui apparaissent naturellement, qui m��ritent notre attention, forment un ensemble d��nombrable. Dans cet ��tat d'esprit nous nous int��ressons aux p��riodes au sens de Kontsevich et Zagier. Nous faisons le point sur l'��tat de nos connaissances concernant la nature arithm��tique de ces nombres: d��cider si une p��riode est un nombre rationnel, alg��brique irrationnel ou au contraire transcendant est l'objet de quelques th��or��mes et de beaucoup de conjectures. Nous pr��cisons aussi ce qui est connu sur l'approximation diophantienne de tels nombres, par des nombres rationnels ou alg��briques., Proceedings of the 11th symposium of the Tunisian Mathematical Society held in Tunis, Tunisia -- March 15-18, 2004. http://www.african-j-math.org/ http://www.math.jussieu.fr/~miw/articles/pdf/MahdiaPeriodes.pdf