Minorations explicites de formes linéaires en deux logarithmes
Auteur / Autrice : | Nicolas [Eric Sylvain] Gouillon |
Direction : | Michel Laurent |
Type : | Thèse de doctorat |
Discipline(s) : | Mathématiques |
Date : | Soutenance en 2003 |
Etablissement(s) : | Aix-Marseille 2 |
Partenaire(s) de recherche : | autre partenaire : Université d'Aix-Marseille II. Faculté des sciences (1969-2011) |
Mots clés
Mots clés contrôlés
Résumé
Les minorations de combinaison linéaire, à coefficients entiers, de logarithmes de nombres algébriques constituent un outil important dans la résolution effective de certaines classes d'équations diophantiennes. Le cas particulier de deux logarithmes est à cet égard particulièrement utile. Nous utilisons ici, pour l'obtention de ces minorations, la méthode dite de Schneider avec multiplicité. La démonstration repose sur l'utilisation des déterminants d'interpolation et d'un lemme de zéros approprié à ce cadre. Un point important est l'élaboration d'un lemme de zéros, dont la preuve reprend la construction originelle de D. W. Masser, qui s'avère, dans le cadre de la méthode utilisée ici, plus efficace que les résultats généraux précédemment employés. Nous utilisons ensuite une méthode d'encadrement standard, utilisant une inégalité de Liouville et un lemme de Schwarz, pour obtenir une inégalité fondamentale faisant intervenir de nombreux paramètres arbitraires qui permette une grande flexibilité. Nous déduisons de cette dernière une liste de minorations totalement explicites.