TP dinformatique :

Transformation dEuler dune srie alterne

Considrons une srie numrique convergente
+

un . Il nest pas toujours possible de dterminer la valeur exacte de

la somme S =
k=0

uk , mais il est toujours possible den obtenir une valeur approche en calculant une somme partielle.

Malheureusement, la convergence de ces dernires est parfois trop lente pour quon puisse obtenir la prcision que lon souhaite. Dans ce cas, on applique un procd dacclration de la convergence. Celui que nous allons tudier est spcique aux sries alternes. Index de quelques fonctions Maple
b

add (u(n), n=a..b) : permet le calcul de la somme

n=a

un , les valeurs a et b devant tre des valeurs num-

riques.Contrairement la fonction sum, cette fonction ne cherche pas obtenir une expression symbolique, elle se contente den faire la somme 1 . evalf (x,n) donne lvaluation dcimale du nombre x avec n chires signicatifs. Si le deuxime paramtre nest pas spci, la valeur de n sera gale la valeur de la variable Digits, qui par dfaut vaut 10. loprateur @ est loprateur de composition des fonctions ; si f et g sont deux fonctions, alors (f@g) reprsente la fonction f g, et (f@@n) la fonction f f f (f compose n fois avec elle-mme). Approximation par une somme partielle Lorsquon approche S par la somme partielle sn =
k=0

uk , lerreur commise tant alors gale S sn = rn =

k=n+1

uk .

Pour que cette approximation soit ecace, il faut que la suite (rn )nN tende vers 0 le plus rapidement possible. Do lintrt que peut prsenter la recherche dune majoration de |rn | ou dun quivalent de rn pour dterminer la qualit de lapproximation.
+

Prenons comme premier exemple le calcul approch de la somme S =

k=0

(1)k . k+1

Q1. a) Utiliser Maple et la fonction sum pour calculer la valeur de S. Quelle majoration de |rn | le cours nous apprend-il ? Pour quelle valeur de n est-on assur dobtenir une approximation de S la prcision 108 ? b) Utiliser la fonction add et une valeur approche de S pour calculer pour n = 10, n = 100, n = 1000, n = 10000 une valeur approche de n|S sn |. Peut-on postuler un rsultat concernant un quivalent simple de |rn | ? Acclration de la convergence Lquivalent obtenu la question prcdente montre que la convergence de cette srie est assez lente. Pour palier ce problme, on procde une acclration de la convergence en dterminant une suite (un )nN vriant aux deux critres suivants :
+ +

on connait une constante K telle que

k=0

uk = K +
k=0 n

uk ;
+

au voisinage de + on a uk = o(uk ). Dans ces conditions, on approche S par K + sn = K +

uk , et lerreur commise est gale rn =

k=0 k=n+1

uk .

Lorsque les sries un et un vrient les conditions du critre spcial relatif aux sries alternes, nous avons |rn | |un+1 | et |rn | |un+1 |, ce qui peut laisser esprer que la deuxime condition implique rn = o(rn ) ; la vitesse de convergence sen trouvera bien acclre.
1. Pour comprendre la dirence, comparer les rponses de sum (1/n, n=1..1000) et add (1/n, n=1..1000).

La transformation dEuler
Supposons maintenant que uk = (1)k f (k), o f : [0, +[ [0, +[ est une fonction dcroissante de classe C 2 vriant les hypothses suivantes : (i) lim f (x) = 0 ;
x+

(iii) x 0;

0, f (x)
+

0;

(ii) x

0, f (x)

(iv) f (x) = o f (x) . uk converge. On pose alors : k N, uk = uk + uk+1 . 2

Le critre spcial relatif aux sries alternes assure que la srie

+

Q2. a) Montrer que la srie

uk converge, et que
k=0

uk =

u0 + 2

uk .
k=0

f (x) f (x + 1) b) On considre la fonction f : x . Montrer que f est une fonction dcroissante qui tend vers 0 2 en +, et en dduire que la srie uk vrie les hypothses du critre spcial. laide du thorme de Rolle, prouver ensuite que 0 tude numrique dun exemple Nous allons dsormais tester cette mthode dacclration en considrant la fonction f : x 1 . x+1 f (x) f (x) , et en dduire que uk = o(uk ). 2

Q3. a) Montrer que la fonction f vrie les hypothses nonces ci-dessus, puis calculer la fonction f .
+

b) En dduire une constante K1 et une suite (un )nN vriant : S =

k=0

(1)k = K1 + k+1

uk et uk = o(uk ).
k=0

Pour quelle valeur de n est-on assur dobtenir laide de cette formule une approximation de S la prcision 108 ? Utiliser la fonction add pour calculer une telle approximation, et vrier la validit de votre rsultat en comparant celle-ci la valeur approche de S que donne Maple. Une nouvelle acclration de la convergence Pour augmenter encore la vitesse de convergence, nous allons maintenant appliquer le mme procd dacclration la srie uk . Q4. a) Vrier que la fonction f vrie son tour les hypothses de la transformation dEuler, et en dduire une
+

constante K2 et une suite (un )nN vriant : S = K2 +

k=0

uk et uk = o(uk ).

b) Pour quelle valeur de n est-on assur dobtenir laide de cette formule une approximation de S la prcision 108 ? Calculer eectivement une telle approximation, et vrier la validit de votre rsultat. Toujours plus vite ! Nous allons maintenant gnraliser la dmarche en considrant loprateur : f f , et en supposant que pour tout p N la fonction p f vrie les hypothses de la transformation dEuler. Nous allons ainsi pouvoir acclrer la convergence de la srie initiale un nombre arbitraire de fois. Ceci nous amne dnir pour tout p N la suite (un )nN en posant : k N, uk = (1)k p f (k).
+ (p) uk , (p) (p)

Q5. Montrer, en raisonnant par rcurrence sur p N , que : S = Kp +

k=0

1 avec Kp = 2

p1

u0 .
j=0 (p)

(j)

Utilisons maintenant les capacits de calcul formel de Maple pour obtenir lexpression de uk et de Kp : Q6. a) Dnir loprateur Delta:= f->... qui une fonction f associe la fonction f .

Dnir ensuite loprateur u:= (p,k)->... qui au couple dentiers (p, k) associe le rel uk , puis loprateur K:= p->... qui lentier p associe le rel Kp . 1 b) Appliquer ensuite ces oprateurs avec f : x , et comparer la qualit des direntes approximations de S x+1 que lon obtient pour n = 100 et p 1, 10 . Pour pouvoir comparer ces dirents rsultats, il faudra travailler avec 20 chires signicatifs. Q7. a) Observer maintenant les expressions de uk , toujours avec f (x) = quil existe une suite (ap )pN telle que uk =
(p) (p)

(p)

. (k + 1)(k + 2) (k + p + 1) Dterminez avec Maple les valeurs de ap pour p 1, 5 , puis prouver que cette suite est dnie par la donne de (p + 1)ap a0 = 1 et la relation de rcurrence ap+1 = . 2 p 1 . b) Rsoudre cette relation de rcurrence, et en dduire que Kp = j.2j j=1 c) Utiliser nalement Maple pour calculer la limite lim Kp . Quelle erreur commet-on en approchant ln 2 par Kp ?
p+

(1)k ap

1 , pour quelques valeurs de p. Il semble x+1