Formules d'interpolation et fonctions auxiliaires

(Un exposé de Damien Roy au séminaire de théorie des nombres de Chevaleret le 17 avril 2000)

Résumé :

Une formule d'interpolation vise à contrôler la croissance d'une fonction analytique en termes des valeurs de cette fonction et de certaines de ses dérivées en des points donnés. Ce type de résultat est utile en théorie des nombres transcendants en lien avec les constructions de fonctions auxiliaires. Le but de l'exposé est de présenter une nouvelle formule d'interpolation etquelques-unes de ses applications. Elles concernent une construction de fonction auxiliaire reliée au problème des quatre exponentielles et des caractérisations, modulo torsion, des points du graphe de la fonction exponentielle usuelle et du graphe de l'exponentielle d'une courbe elliptique.