« Un lemme d'interpolation »
1 : Institut de Recherche Mathématique de Rennes
(IRMAR)
-
Site web
Universite de Rennes 1, Agrocampus Ouest, École normale supérieure - Rennes, Institut National de Recherche en Informatique et en Automatique, Université de Rennes 2, Centre National de la Recherche Scientifique : UMR6625
Campus de Beaulieu, bâtiments 22 et 23, 263 avenue du Général Leclerc, CS 74205 35042 RENNES Cédex -
France
Considérons une suite u(n) qui est définie par une relation de récurrence linéaire. Le théorème de Skolem, Mahler et Lech stipule que les indices n en lesquels u(n) s'annule forment une union finie de progressions arithmétiques.
J'expliquerai comment l'approximation des fonctions continues par des polynômes et de l'analyse p-adique élémentaire permettent d'obtenir un tel énoncé.
La méthode employée couvre maintenant des situations non linéaires et a de multiples conséquences; j'en décrirai quelques unes.