POLYNOMES DE TYPE LEGENDRE ET APPROXIMATIONS DE LA CONSTANTE D'EULER

Description

• cours - matière potentielle : route

POLYNOMES DE TYPE LEGENDRE ET APPROXIMATIONS DE LA CONSTANTE D'EULER T. RIVOAL Resume. We propose a simple method to accelerate significatively the convergence of Sn = ∑n?1 j=1 1/j ? log(n) towards Euler's constant ? : we construct linear combinations of consecutive values of Sn, to which are assigned certain binomial weights, obtained thanks to a classical integral representation of ??Sn and certain special polynomials, of Legendre type. As a special case, we recover an approximation of ? due to Elsner, obtained by a different method. Our approach also applies to the number log(4/pi) which, as Sondow has noted, is in a sense an alternating analogue of ? ; this enables us to produce an apparently new expression of pi/4 as an infinite product, which can be viewed as an analogue of Vacca's series for ?. Finally, although this method cannot prove the irrationality of ?, it is similar to the one used by Alladi and Robinson to prove the irrationality of log(2) by means of Legendre polynomials. 1. Introduction La constante d'Euler ? est definie comme la limite, lorsque n ? +∞, de la suite Sn = n?1∑ j=1 1 j ? log(n) = n?1∑ j=1 (1 j ? log (j + 1 j )) La vitesse de convergence est tres lente, enO(1/n), comme on l'on voit sur le developpement asymptotique ? = Sn + 12n + k∑

• sommes ponderees de s?


• irrationalite


• constante d'euler ?


• xnt dx


• famille classique des polynomes de legendre


• methode particulierement


• ????


• legendre polynomials

Sujets

• Rationalité
• Legendre polynomials

Informations

• Publié par: profil-urra-2012
• Nombre de lectures: 31

Extrait

ˆ POLYNOMES DE TYPE LEGENDRE ET APPROXIMATIONS DE LA CONSTANTE D’EULER

T. RIVOAL

R ´ esume ´ .propose a simple method to accelerate significatively the convergence ofWe S n = P n j= −1 1 1/j−log(n) towards Euler’s constantγ: we construct linear combinations of consecutive values ofS n , to which are assigned certain binomial weights, obtained thanks to a classical integral representation ofγ−S n and certain special polynomials, of Legendre type. As a special case, we recover an approximation ofγdue to Elsner, obtained by a different method. Our approach also applies to the number log(4/π) which, as Sondow has noted, is in a sense an alternating analogue ofγ; this enables us to produce an apparently new expression ofπ/4 as an infinite product, which can be viewed as an analogue of Vacca’s series forγ. Finally, although this method cannot prove the irrationality ofγ, it is similar to the one used by Alladi and Robinson to prove the irrationality of log(2) by means of Legendre polynomials.

1.Introduction

La constante d’Eulerγmmlelamiti,eolsrestd´efiniecoeuqn→+∞, de la suite S n = j n = X − 1 1 j 1 −log(n) = j n X = − 1 1 µ 1 j −log µ j+ j 1 ¶¶ Lavitessedeconvergenceesttre`slente,enO(1/ntrled´eveloonpvpoeimtesnumoemno’l)c, asymptotique 1 k γ=S n + 2n + X B 2j 2j n 1 2j +R(n, k), j=1 ou`lesB 2j sont les nombres de Bernoulli etR(n, k) =O ¡ (k/πen) 2k √ k/n ¢ (la constante ` dans leOseitdne´epdnnatedeketn: voir [6]). Aksitnam´xfino,eagenepgn´easrmnome´e en revanche le choixn=k 2 celere`ledluclacc´eaγa`nvcogeeritsuuieqniurfoennetuanss la vitesse 1/k 2k mais au prix du calcul des nombres de Bernoulli, qui ne sont pas entiers et dont la croissance est essentiellement factorielle. Sansmˆemeparlerduprobl`emetoujoursouvertdel’´eventuelleirrationalite´deγ, on peut plussimplementsedemandercomment,`apartirdelasommeS n , calculer rapidementγ enutilisantdesquantite´scombinatoiresmoinscomplexesquelesnombresdeBernoulli,en particulierdesentiers.Ilexistedenombreusesfac¸onsdere´soudreceprobl`eme(dontcelle deSondow[8]´evoqu´eeplusbas).Uneme´thodeparticulie`rementint´eressanteae´t´edonne´e 1