r Sminaire de Thorie des Nombres 6 et 13 novembre 1980 Grenoble 1.

ACCELERATION DE CERTAINES
par Henri COHEN

DE LA CONVERGENCE RECURRENCES LINEAIRES

1. INTRODUCTION
Considrons (1) o les v(n) aj 0-0 la relation de rcurrence linaire dordre K :

K = C a.(n+l-j)v(n-j) j=l .l sont donns. K . Soit (1) converge projectif notion pour En gnral, {v lespace vectoriel des solutions de (1) dirons comme

est de dimension que Ia rcurrence lment facile de lespace de voir Si

i E [I,K-il

, . . . , v ] une base de cet espace. Nous 1 K si le K-uplet (vl (n) ,. .., v,(n)) considr lPK 1 tend ne dpend vers une limite quand

n - 0~ . il est choisie. tout

que cette vK(n) # 0 la suite

pas de la base au mme

{v, ,. . ., vx] de dire

tout

n , il revient tend vers

que pour

vi(n)/vK(n)

une limite. de la rcurrence pas). la suite (1) (ou mPour v cela, on :

Notre me de faire introduit

(2)

but est dacclrer converger

la convergence

des rcurrences

qui ne convergent et on modifie

ri(n) pour 1 c; i i K des suites K v(n) = c r. (n+K+l-i)v(n+K-i) . i=l 1 Si les ri sont v(n) choisis de faon

en posant

judicieuse, la mme v(n)

les limite.

v(n)

convergeront On peut mainteri )

plus nant

vite

que les

, et en gnral

vers

recommencer de suite.

le procd On obtient

en acclrant ainsi un tableau

(grce avec

des suites

et ainsi permettant

de suites

des rcurrences

de construire Enfin pour

les tableaux. famille de rcurrences et nous sommes (l), alors le terme conduits gnral tudier

une certaine explicitement,

v(n)

peut

se calculer

1.2

ces familles

de rcurrences. est donc le suivant : aprs le prsent $ 1)

Le plan de ce travail (introduction) des suites le cals nous mettons v (n)

en place en dtail

la construction

et les proprits en dtail

dans le $2). k = 3)

Bans le $3) (resp. avec 3 sous-paragraphes gnrales.

0 4)) nous tudions principaux :

k = 2

(resp.

A) Traduction B) Dplacement C) Rcurrences

des formules

dans les tableaux. explicitement solubles.

2. FORMULES GENERALES
Nous allons v(n) (3) telle que . Montrons M(n) montrer quil quil existe existe > l<j<K V et V sont les vecteurs colonnes : une relation une matrice du type (1) satisfaite par

tout dabord

= (mij@+l-jHogisK , o et

V = M(n)V ,..., v(n-K))

V = t(v(n-l) on a :

V = t(vf (n) ,..., vl(n-K))

. En effet,

par hypothse,

v(n-K)

K = r r.(n+l-j)v(n-j) j=l J

donc Ion peut prendre (4) mKj(n) = T(n) . que pour un certain i2 1 les mij (n) sont

Si on suppose par rcurrence donns pour

1 5 j 5 K tels que K v(n-i) = C m,(n+l-j)v(n-j) j=l K v(n-(i-l)) = v(n+l-i) = miI(n+l) =Em

j=l

on a

= IX mij(n+2-j)v(n+l-j)

j=l K C a. (n+l-j)v(n-j) j=l J

K-l + C m ij,+l(n+l-jt)v(n-j)
j'=l

. (n+l-j)v(n-j) i-11

en posant (5) avec par

: mimlj (n) = aj(n)miI(n+j) convention Si on appelle m iK+ltn) 1(n) i (pour + m.. n 13+1( = 0 . le dterminant 0 sis K ) extrait alors de la matrice M(n) en on

supprimant tire

la ligne

de lgalit

V = M(n)V

(en gnral) i!!. (-l)ivl(n-i)Bi@) = 0 . : avec analogue (1). ai(n) = (-l)-l.!?i(n+i-l)/~o(n+i-l)

Si
(6)

Jo(n)

f 0 v(n)

on a donc

K = Z af(n+l-i)v(n-i) i=l une relation que \ OdsK-1

ce qui est bien

Remarquons BKtn)

= 1mij (n+l-j)

, lsj<K

= jaj(n+l-j)miI(n+l) > lsjsK

+mij+,(n+l-j)\

= (-1) K-laK(n+l-K) do (7) les relations JK(n) a;(n) :

1mij @+2-j) 114sK

lsi<K kj<K

= (-l)K-l

aK(n+l-K)BO(n+l) .

= a,(n)B,(n+K)/B,(n+K-1)

3. LE: CAS A)

K=2
DES FORMULES a,(n) = a(n) , GENERALES. a,@) . quaux quotients de suites v vrifiant que = b(n) . On a donc :

TRADUCTION On pose ici

(12)
Dautre la mi!me r,(n)

v(n) part,

= a(n)v(n-1) comme

+ b(n-l)v(n-2)

on ne sintresse on peut supposer = r(n)

rcurrence,

en perdant , donc

peu de gnralit

= 1 . On pose alors

r,(n)

1.4 v(n) = v(n+l) + r(n+l)v(n) .

P2)

Ona: a(n) (a(n+l)+r(n+l)) + b(n) b(n-l)(a(n+l)+r(n+l)) b(n-1) r(n-1) do : BO(n) = r(n-l)(a(n)+r(n)) Bl(n)
W2)

- b(n-1) + b(n)r(n-1)

= (a(n)r(n-l)-b(n-l))(a(n+l)+r(n+l)) = JO(n) (a(n+l)+r(n+l)) - BO(n+l)r(n-1) .

B,(n) On en dduit :

= -BO(n+l)b(n-1)

v (n) = a (n)v (n-l)

F2)

+ b (n-1)v (n-2)

avec

a(n) b(n)

= a(n+l)

+ r(n+l)

- r(n-l).f?O(n+1)/8O(n) .

= b(n)BO(n+2)/bO(n+l)

B)

DEPLACEMENT Nous rajoutons

DANS LES TABLEAUX. maintenant (k = 0) un indice k pour indiquer le nombre de

fois o1 la suite v(O,n)

(62)

initiale = v(n) = r(n)

a t acclre. = a(n) = mij(n) (12)

Par dfinition, b(O,n) Bi(l,n) = b(n) = Bi(n)

on a donc :

a(O,n) m,(l,n)

r(l,n)

et les relations suivante (noter

de rcurrences

(2,) et (52) se traduisent est accompagne

de la faon diagramme

que chaque rcurrence la convention

dun petit

autoexplicatif, constant,

tant que les droites n constant) :

horizontales

sont k

les droites v(k,n) v(k+l,n)

verticales

= a(k,n)v(k,n-1) = v(k,n+l) = a(k,n+l)

+ b(k,n-l)v(k,n-2) + r(k+l,n+l)v(k,n) + r(k+l,n+l) tk, n)

i(

tk,n)

V2)

a(k+l,n) b(k+l,n)

Ii--+ - r(k+l,n-l)Bo(k+l,n+l)/Bo(k+l,n) .

= b(k,n)Bo(k+l,n+2)/Bo(k+l,n+l)

1.5

A patrtir

des deux premires de rcurrence

relations entre Citons trois entre

de rcurrence lments autres :

ci-dessus

on peut trouver du tableau, en n)

des relations procdant

quelconques

par limination. vO<+Ln) = (a(k,n+l)

+r(k+l,n+l))v(k,n)

+ b(k,n)v(k,n-1) T W-4 -BO(k+l,n+l)v(k,n) IL -BO(k-l,n+2)v(k-2,n) (k, n)

(9

v(k+l,n+l) v(k,n)

= (a(k,n+2)+r(k+l,n+2))v(k+l,n) = (a(k-2,n+2)+r(k-l,n+2)+r(k,n+l))v(k-1,n)

Enfin,

on peut obtenir

la rcurrence

diagonale

en combinant

les deux premires

rcurrences

de (82). Si on pose = a(k,n+l) = dltkn+l) = d5(k,n)v(k,n) + r(k+l,n+l) d2tk,n) d4(k,n) + d6(k,n)v(k-l,n-1) d2tknKtJb) = dltkn)d3tk,n) +d4CXA + d8 (k-l ,n-1) = b&,n) = - BO(k+l,n+l) z alors

dl(k,n) dgtk,n) v(k+l,n+l)

P2)

avec d50c,n)

k n) \

d2~,n)d30r,n)d4(k-l,n-l) d8(k,n) = dg(k-l,n-1) .

Remarque

(voir

$4) homognit

a(n) = L , d8 = L ,

b(n) = L2 , d4 = L2 ,

r(n)

= L ,

.Rp) = L2
d8 = L4 ,

, dl = L , v(k, n) = Lk

d2 = L2 , .

d5 = L2 ,

C)

RECURRENCES

EXPLICITEMENT

SOLUBLES. soluble se produit quand

Un cas o la rcurrence elle est de la forme v(n) - f(n)v(n-1) En effet, dans ce cas, :

(12) est explicitement

= g(n-l)(v(n-l)-f(n-l)v(n-2)) si on pose u(n) = v(n+l) fonction

. - f(n+l)v(n) arithmtique , on a f do on pose

u(n) := g(;)u(n-1) f ! (n) = p(i) et

donc si pour toute f! (0) = 1

on a donc

u(n) = g! (n)u(O)

1. 6

v@)
f!(n)

= VO-4
f! (n-l)

+ g! (n-l)
f!(n) u(o)

donc par rcurrence -v(n) f!(n) En rsum, n g!(i-1) = v(0) + u(O)C i=l f!(i) si on pose , on a .

u(0) = v(1) - f(l)v(O) f!(n) et v(n) avec

v(n) = v(0)+u(0)n c g!(i-1) i=l f!(i)

v(n) satisfait la rcurrence + b(n-l)v(n-2) , b(n) = - f(n)g(n) . : = a(n)v(n-1)

a(n) = f(n) + g(n-1)

Comme base de cette rcurrence, Ulm = 1 > soit encore

V+o) = 0 3

nous choisirons

v1

pour

que

V~(O) = 0 ,

: Vl(1) = 1 u2tO) = 0 > soit encore = f(1) . est alors :

et

v2

pour v2(0)

que

v2(0) = 1 , v2(1)

= 1 ,

La solution

gnrale

de la rcurrence

VO-0 v(W2tn) + WV1 00 , =

et la limite, v1 W/v,(n) . Dans le cas o on a des tableaux crire : v,(n) v,(n)
W2)

tuw =V(l) -f(lP(O))

est la limite de la suite

si elle existe,

de la rcurrence

de rcurrences,

on peut alors

= f!(n)P,(k,n)a = f!(n)P2(k,n) P2 P 1 = 1 , et

G w i=l f! 0)

+ g!(n)Pl(k,n)

oti

vrifient Pl(O,n)

les rcurrences = 0 + r(k+l,n+l)P2(k,n) + r(k+l,n+l)Pl(k,n)

P2UW P2(k+l,n) Pl(k+l,n)

= f(n+l)P2(k,n+l) = g(n+l)Pl(k,n+l)

+ P,(k,n+l)

1. 7

Remarque. BO(n) = B,(n)

- Le choix

de

r(n) = -f(n)

conduit

= B2(n) = 0 .

4. LE CAS A)

K =3
DES FORMULES a1 (n) = a(n) , + b(n-l)v(n-2) on prend GEKERALES. = b(n) , a3 (n) = c(n) . On a donc : . r,(n) = r(n) ,

TRADUCTION On pose ici v(n)

a,(n)

= a(n)v(n-1) part,

+ c(n-2)v(n-3)

Dautre r3 (n) = s(n)

P3)

rl (n) = 1

(cf. 3 3) et on pose

, donc = v(n+Z) + r(n+2)v(n+l) + s(n+l)v(n) .

v(n)

On a : m31(n) mzl(n) mil(n) m12(n) (33) m13(n) = 1 , m32tn) , = r(n) mz2(n) +mz2(n) +m23tn) ; , m33tn) = b(n) +sW = s(n) , m23@) = c(n) = a(nbyp+l) = b0n)mlltn+2) +y209 +m13(n)

= M-4 -+rtn) = atn)mzl@+l) = Wm2p+~) = c(n)m2p+3) mol(n)

mol@) mo2tn)

mo3@) = dWm,,(n+3) mo2 (n-1) m12(n-1) b(n-1) +s(n-1) r(n-1) videntes montrent mo3 (n-2) ml3 (n-2) c(n-2) s (n-2) que :

M(n)

ml ,0-d aON +r@) 1

Des combinaisons

de colonnes

1.8

m2+n+l) B,(n) = 1 s (n-2) ml1 tn+l) Bl(n) = 1 s (n-2) (43)

B,(n)

m22 tn) r(n) c(n-2) -a(n)s(n-2) ml2 @) r(n) c(n-2) -a(n)s(n-2) ml2 O-0 m22 0-O c(n-2) -a(n)s(n-2)

m23 (n-1) s(n-1) c(n-2)r(n-1) ml3 (n-1) s(n-1) c(n-2)r(n-1) ml3 (n-1) m23 (n-1) c(n-2)r(n-1) -b(n-l)s(n-2) -b(n-l)s(n-2) -b(n-l)s(n-2)

mll(n+U = m2p+l) s (n-2) B3(n) = c(n-2)Bg(n+l) a(n) c(n) = Bl(n)/Bo(n) ,

b(n)

= - B2(n+l)/JO(n+l) .

= c(QBO(n+3)/JO(n+2)

DEPLACEMENT (cf. $ 3B). v(O,n) r(Q-0

DANS LES TABLEAUX.

On pose : , , a(O,n) WA = a(n) , = s(n) , (13), b(O,n) mij(l,n) = b(n) , = mij(n) c(O,n) , = c(n) = I++n) . :

= v(n) = r(n)

Bp,n)

Les relations v(k,n) v(k+l,n) (53) a(k+l,n) b(k+l,n)

de rcurrence = a(k,n)v(k,n-1) = v(k,n+2)

(2,) et (43) se traduisent

de la faon

suivante

+ b(k,n-l)v(k,n-2) + r(k+l,n+2)v(k,n+l)

+ c(k,n-2)v(k,n-3) + s(k+l,n+l)v(k,n)

= Bl(k+l,n)/Bo(k+l,n) = B2(k+l,n+l)/Bo(k+l,n+l) = c(k,n)Jo(k+l,n+3)/Jo(k+l,n+2)

cOr+l,n)

A partir suivantes

de ces rcurrences, :

on obtient

par limination

les rcurrences

1. 9

v(k,n+l) avec
(63)

= dl(k,n)v(k,n)

-t d2(k,n)v(k-1,n)

+ dg(k,n)v(k-l,n-1)

dlkn) d2(kA dgOW

= ml10E,n+2)/m21(k,n+2) = t~2lt~,n+2)m12(k,n+l)-mll(k,n+2)m22(k,n+l))/m2l0i,n+2) = (m2l0r,n+2)mlgOr,n)-mll(k,n+2)m2,(k,n))/m21(k,n+2)

+L tkn

v(k,n+l) avec dq&,n) (7,) d&n) d6kn) dgkn)

= dq(k,n)v(k,n)

+ d5(k,n)v(k,n-1)

+ d6(k,n)v(k-l,n-1)

= (ml1 (k, n+W-tkn+l) = (m21&,n+2)m12(k,n+l) = +,(k,n+W$,(k,n) = m21&,n+2)r(kn+l)

- m12&,n+l)Vdo(k,n) - mll(k,n+2)m22(k,n+l))/do(k,n)

- m22(lr,n+l)

Ilkn) v(k,n)
$1

= m 21(k,n+2)v(k-l,n+l)

+ m22(k,n+l)v(k-l,n)

+ m2&n)v(k-l,n-1)

77 v(k+l,n) avec (93) d7(k,n) d8(k,n) dg0r4 = d4(k,n)m21(k+l,n+2) = d5(k,n)m21(k+l,n+2) = d6kn)m21(k+l,n+2) = d7(k,n)v(k,n)

tkn) + dg(k,n)v(k-l,n-1)

+ d8(k,n)v(k,n-1)

+ m22(k+l,n+B) + mg3(k+l,n) tk, n)

1.10

v(k,n) avec (103) dlOkn) dll(kA d12kn)

= dlOOC,n)v(k,n-1)

+ dll&,n)v(k-l,n)

+ d12fk,n)v(k-l,n-1)

= dg~,n)/(dl(k,n)-dq(k,n)) = -d2fi,n)/@+k,n) -d4&,n)) -dqkn))

= (d60r,n) -d3WN/(dl&A

Remarque

dl44

- dq0z,n) = d5(k,n)/m21(k,n+2)

v(k+l,n) avec (113) d13(k,n) d14kn) d,,k

= dl3(k,n)v(k,n)

+ dl*(k,n)v(k-l,n)

+ d15(k,n)v(k-l,n-1)

= d+kn)

+ dgkn)/dlO(k,n)

k, n)

= - d,(k,n)d,,(k,n)/d,,(k,n) n) = dgQ.n) - d,~,n)d12(k,n)/d10(k,n)

v(k+2,n) avec d16(k,n)

W3)

= dl6(k,n)v(k+l,n)

+ dl+k,n)vOC,n) d12kn)dlo(k+lA

+ dl&k,n)v(k-1,n)

= d13(k+l,n)

d10(kn)d15kn) (k, n) d15CX+Ln)(d15(k,n) +d120Z,n)d13(kA) n) /

d17kn)

= dlq(k+Ln)

d10kn)d15(k,

d15(k+l,n)(d12(k,n)d,4(k,n) d18kn) =

-dll(k9n)d15(kd)

d100C,n)d15(k,n)

Enfin rentes

on peut obtenir

la rcurrence

diagonale

en combinant

les rhur-

(63) et (93) v(k+2, n+l) avec

= dlg(k,n)v(k+l,n)

+ d20kn)vkn-l)
+ dg(k+l,n+l) + (dlkn-l)dg(k,n)

+ d21(k,nP0<-Ln-2)
+ d2(k,n-l)d23(k,n) -d2(k,n-l)dgOr,n))d23(k,n) x (k n)

dlgkn)
(133) d20kn) d21kn) d23(k,n)

= d,(k+l,n+l)dl(k+l,n)
= d7(k+Ln+l)d3(k+Ln) = d3 Or, n-W9 =

k n)d23 k n) + dg(k+l,n+l) + dgOr,n) \

d7(k+l,n+l)d2(k+l,n) d7(k,n)d2(k,n-l)

I. 11

Remarque bon de se rappeler sion physique, a(n)

. - Pour quil : b(n) j -i+2 2k+n

ne pas trop

se perdre

dans

les formules, : si L

il est

y a une certaine

homognit

est une dimen-

alors = L ,

= L2 ,

mij (n) = L
v(k,n) dl = L = L

BitnI

c(n) = L3 , r(n) 6+i et dautre = L

= L , part :

s(n) = L2

d4 = L ; d5=L2 d6 = L4 ;

d,

= L2 ;

=L =L2 = L3 ;

d d d

13 14 15

= L2 =L4 ZZZ L5 ;

d2=L3 d3 = L4 d d d = L2 = L4 = L6

d8 = L3 d9 = L5

16 17 18

enfin

19

=L3,

d26 =L6,

d21 = L9 .

C)

RECURRENCES

EXPLICITEMENT

SOLUBLES. soluble se produit quand

Un cas o la rcurrence elle est de la forme (v(n)(f(n) +g(n-l))v(n-1) - (f(n-1)

(13) est explicitement

+f(n-l)g(n-l)v(n-2)) +g(n-2))v(n-2) u(n) +f(n-2)g(n-2)v(n-3)) = v(n+l) -f(n+l)v(n) . on a vu au paragra-

= h(n-2)(v(n-1) En effet, dans ce cas, que

si on pose

phe prcdent

v(n) - (f(n)+g(n-l))v(n-1) donc si on pose t(n) = h(n)t(n-1) t(n) t(n) do = h! (n)t(O) = u(n+l) : donc

+f(n-l)g(n-l)v(n-2) - g(n+l)u(n)

= u(n-1)

-g(n-l)u(n-2) scrit

, la rcurrence

(cf. $3)) , do

v(n) f! (n)

n u(i-1) = (O) + ici - f!(i)

n g!(i-1) = v(0) + c i=l f!(i)

1.12

En rsum,

si on pose : , t(o) = v(2) - (f(2) +gtl))v(l) + ftl)gww ,

u(0) = v(1) - f(l)v(O) on a : -VO-0 f!(n) (143) et

n g!(i-1) = v(0) + c i=l f! (i) v(n) satisfait la rcurrence + b(n-l)v(n-2) + c(n-2)v(n-3) avec

W-d = a(n)v(n-1)

a(n) = f(n) + g(n-1) + h(n-2) b(n) = - (f (n)g(n) + h(n-l)f(n) c(n) = fO-dg@)W) . nous choisirons : v,(2) = 1 t2(0) = 0 , soit encore v1 pour que V~(O) = 0 , + h(n-l)g(n-1))

Comme base de cette rcurrence, ~~(0) = 0 , tl (0) = 1 , soit encore v1 (1) = 0 ,

V$O) = 0 , v2 pour que v2w pour que v3(0)

v2(0) = 0 , = 0 3 v2(l) V~(O) = 1 , = 1 > v3(l)

u2(0) = 1 , = 1 > v,Q) u3m = f(l)

= f(2) + g(l) = 0 > soit encore .

v3

= 0 > t3w > v,(2)

= f(l)f(2)

La solution

gnrale

de la rcurrence

est alors

v(n) = v(W3(n) -cWW2(n) + WV,(n) (u(O) = v(l) - f(l)v(O) , t(O) = v(2) - (f(2)+g(l))v(l) + f(lMl)v(O))
et la limite couple lim VI (n)/v3(n) n-+= , lim v2 (n)/v, n-w . on peut alors crire : si elle existe de la rcurrence peut tre prise comme tant le

Dans le cas ou on a des tableaux

de rcurrences,

1.13

v,(n) v,(n) v,(n) (153) P3t0,n)

= f!(n) P3(k,n)C = f!(n)P3(k,n)C = f!(n)P3(k,n) = 1 ,

n g!(i-1) i=l f!(i)

$lh!(j-1) -I j=l g!(j) + &W2(k,n)

+g!(n)P2(k,n)C

n h!(i-1) i=l gUi)

+h!(n)Pl(k,n)

n g!(i-1) i=l f!(i) , o

P3, P2, Pl = Pl(O,n)

vrifient = 0

les rcurrences

P2(O,n)

P,(k+l,n) P2(k+l,n)

= f(n+z)f(n+l)P,(k,n+z) = g(n+z)g(n+l)P,(k,n+z) + (f (n+2) + g(n+l))P3

+ r(k+l,n+2)f(n+l)P3(k,n+l) +r(k+l,n+2)g(n+l)PZ(k,n+l) (k, n+2) + r(k+l , n+2)P3 (k, n+l)

+ s(k+l,n+l)P3(k,n) +s(k+l,n+1)P2(k,n)

Pl(k+l,n)

= h(n+z)h(n+l)Pl(k,n+z)

+ r(k+l,n+2)h(n+l)Pl(k,n+l) (k, n+2) + r(k+l,

+s(k+l,n+l)Pl(k,n) n+2)P2 (k, n+l)

+ P3 (k, n+2) + (g(n+2)+h(n+l))P2

Remarques 1) Le choix quelconque, conduit

. de r(n) = - (f(n) +x(n-1)) = B2(n) , s(n) = f (n)x(n) = 0 . de rcurrence de rcurrences o x est

BO(n) = Bl(n) v2 Donc et v3

= R3(n)

2) Les suites avec dduites K =2 (n 102).

sont solution r,(k, par n)

de lquation le tableau

si les initiale

forment

de cette v(k+l,n)

rcurrence = v(k,n+l) dans le cas

+ r2(k+l,n+l)v(k,n) K =3 dutiliser deux fois le procd dacclra-

on peut tion pour

choisir

K = 2 , cest--dire v(k+%,n) = v(k,n+2) = r2(k,n)

dcrire + r3(k+l,n+2)v(k,n+l) + r2(k+l,n-1) + s3(k+l,n+l)v(k,n) ,

(3)

r3(k,n) s3tk,lQ

= r2kn)r2@+Ln)

Nous pour k
2

donnons nauraient

dans la suite pu tre

un certain

nombre

dexemples. du systme

Les exemples de calcul formel luti-

trouvs

* sans laide

REDUCE remercier lisation

implant tout

au centre

interuniversitaire E. Tournier

de calcul et Y. Siret

de Grenoble. pour leur aide

Je tiens dans

particulirement

de ce systme.

4e

voir lappendice pour ks3 .

de lexemple

13 pour

lexpression

Ia plus

simple

qui intervient

1.14

EXEMPLE

12

Considrons F pour x E [-l,l[

la srie k=O 6( S+l)...

hypergomtrique (@+n-1) f(n) = 8 +n-1,

confluente

. Si on prend

g(n) = x(a+n) (a+i-1) (S+i-1)

on a donc

v(n)
S(B+l)... En particulier (B+n-1) on a = (O) +(O)iCl

n xi-l(a+l)... 6( B+l)...

v(n) lim n-p, @(S+l)... (B-n-1) Dans le cas particulier

lim n-rco v(n) n! = v(0)

F ,(x)-l = (O) + a = 0 et
UX

u(O) *

o
u(0)

5 = 1 on a :

Lwl-x) x

*
pas de n et non nul. : On cons-

On cherche

obtenir

Bo(k ;n) par rcurrence

ne dpendant quil

tate sans difficult r(k,n) a(k,n) Wkn) B,(k,n) Les rcurrences v(k+l,n) v(k+l,n+l) v0<,n)

ny a quune

seule solution

= - x(n- k+a) = x(n-k+a-1) +n +k +@- 1

= - x(n+a) (n+ S -1) = xk(k+B -a - 1) . (82) scrivent = (n+k+e)v(k,n) : - x(n+a)(n-B-l)v(k,n-1) ;F = (n+k+S+l)v(k+l,n) = (n+k+S-l-x(n-kta - x(k+l)(k+B-a)v(k,n) +l))v(k-1,n) - x(k-l)(k+B-a-2)v(kG!,n)

Pour

complter

ces rcurrences, sont les suivantes

il suffit pour

de connaitre v1,v2

v(k,n) :

pour

0 5 k,n < 1 .

Les valeurs

les suites

1. 15

v,kn)

v2(k9 n) \%k=k+

En prenant en dduit

en particulier la fraction continue

n = k +1 suivante,

dans

les deux premires :

rcurrences,

on

due Gauss

La rcurrence v(k+l,n+l) avec d5(k,n) d6(k,n) Des thormes rence dpend

diagonale

(g2) scrit

: + d6(k,n)v(k-l,n-1) x(n+a)(n+@-l)(n+k+@+l) n+k+@-1 . de ce genre de rcur-

= d5(k,n)v(k,n)

= (n+k+@)(n+k+@+l) = -

- x(k+l)(k+8-a)

x2(n+uL)(n+8-l)(n+k+@+l)k(k+9-a-1) n+k+B-1 montrent que le comportement caractristique

gnraux essentiellement

de lquation

X2 - 2(2-x)X dont on a (i=l, 2) les racines sont

+ x2 = 0 X1 = (1+,,6%)2 On en dduit quand k4 m i et quil X = (1-fi)2 . Puisque 2 existe des constantes B XE L-1,1( et Ci

O<X2<1<X1. telles w(k) avec que,

= vi(k, k) - k! X?C X 1 = (l+VlG)2 . quil

On en dduit w,(k) \ w,(k)

immdiatement Fa >6 (x) - 1 (32

existe 2k kBC

B .

et

telles

que

1.16

CALCUL Daprs v,kn)

EXPLICITE (112) on a : = (B+n-l)! t8-1)!

DE

vi(k, n) .

P2tkn) xi-l(a+l)... B(e+l)... i=l (a+i-1) (B+i-1) + xn (a+n)! p (k n) a! 1 Grce un calcul que

v+k,n)
o P et. P 2 1 par rcurrence, lon a :

n = @+n-l)! p2(k, n) c (!3-l)! satisfont court

aux rcurrences pour

dcrites

en (112). P1

P2 mais assez

long pour

on montre

=5xk-m k!
m=O avec al(m,n) m (p (B-a)(B -a+l)... = C JZ=l (l-x)e(n+B)(n+B+l)... (9-a+e-2,xt-1 (n+@+t!?-1) . Nous allons PROPOSITION dont les degrs maintenant 1. dmontrer vl(k, n) & la proposition v2 (k, n) suivante : en x sont des polynmes suivantes : sont majors par les quantits

dvl (k, n) 5 sup(k, n) - 1 dv2 (k,n) < k .

clair

Dmonstration. - Vu les formules explicites trouves ----c-------que dv2 (k,n) = dP2(k, n) < k . Montrons la premire sur k . Cest vrai vraie pour k- 1 sur pour k=O. Soit

plus

haut,

il est par

majoration

rcurrence la majoration raisonnons dv,.(k, montre

k 2 1 donn et supposons l pour que soit dk . Nous

(et tout n : si

n ) ; dmontrons n=O 3 on voit

par rcurrence

0) = dPl(k,O) pour v,,(k,n)

< k - 1 . Supposons la montrer pour

n2 1 et que la majoration n on utilise la rcurrence

n - 1 . Pour

= (n+k+6-l)vl(k-l,n) :

- x(n+a)(n+B-l)vl(k-l,n-1)

et on en dduit

1.17

dvl(k,n)

5 sup(sup(k-1,n) s sup(k,n) -1

- 1, sup(k,n)

- 1)

do la proposition

en utilisant

notre

double

rcurrence.

Remarque . - On dduit WW vzF,n) est lapproximant

aisment

de Pad

de ce qui prcde que pour Fa *(x) - 1 (U-0 de ax -

n2 k ,

APPLICATIONS Etant

NUMERIQUES. tombs sur les approximants il nest pas difficile de Pad, de voir que [ 1.

donn que nous sommes

et que nous en avons une formule lon peut retrouver Donnons ler simplement tous

expl.icite,

les rsultats

et mesures : 3fl et

dirrationalit Log(l-x) .

de Beukers

deux exemples

cas particulier.

u=; ,

@=l, que

x=g

a.vec

3\P

On remarque

On en dduit

aisment part,

que daprs

k [k/21 G 3 w2(k)/k!2 les formules 1,

E Z . explicites, PI(k, k) est un poly en

Dautre me en x

et daprs (l-~)~

la proposition

dvI(k,k)

5 k- 1 . On en dduit que _ (y))

dveloppant

w,(k)/k!2

et aprs un regroupement k m = 3 c t= (-1) j x m=O j=l du fait que 3

On dduit que

nouveau

k- l3 [k/2 1 w,(k)/k!2 pi(k)

E Z . Posons k!2 . est entier part,

donc pour

i = 1,2

k [k,21 w(k)/ = Q 3 pi(k)

Daprs

ce qui prcde

pour daprs

i = 1,2

et pour tout

k , et haut :

On a auss1

xp (k) E ?!Z , Dautre 3 1

ce qui a t vu plus

1. 18 ;PI&) +p2(k) - F;,(x)

-- 1

P2W

- ((l+&f)2kkB1cf

et

(x) = (l-x) F 591

3 . Enfin,

daprs 1 *

lquivalent

donn pour

wi

on a :

p2(k) s (Qfi(l+J=%2)kkBC, Il est facile de dduire

de ceci le th.orme

suivant

THEOREME Ecrivons

A. x = E

- Soit avec suivante 2 1 *

x E L-1, l[

x # 0

un nombre

rationnel.

P,Q E Z , est satisfaite

Q > 0 , :

31 P . gOus SuPPosons

que la condition Q<I Jsx ( Alors existe 31-x l+Jl_x

est irrationnel,

et plus prcisment que pour tout

pour tout

s > 0

il

une constante

C(s) > 0 telle

a, b E Z ,

b > 0

on ait :

avec

m(x)

2 I..og((l+JG)2/x) l+?Jz 1 - W(Qfi) 2JG( x si on prend souhaite x =& (ona bien 3\P) : alors

Par exemple, 3fi=5 4%

Lingalit

a bien lieu et on obtient

COROLLAIRE a,b E z ,

A. b>O

- Il existe onait

une constante

C > 0 telle

que pour

tout

Remarque . - La dmonstration nombre algbrique de degr 3

triviale

utilisant

le fait

que

YET est un

donne la minoration

2e cas particulier. a=O, S=l, x=;. le thorme suivant :

Nous allons

dmontrer

1.19

THEOREME Ecrivons condition

B. - s x = $ suivante . avec

x E [-l,l[

x # 0

un nombre

rationnel. que la

P, G E ?Z , :

Q > 0 . Nous supposons

est satisfaite -

Alors il existe on ait :

Log(l-x)

est irrationnel,

et plus prcisment que pour tout

pour tout

c > 0 b> 0

une constante

C(E) > 0 telle

a, b c % ,

1Log(l-x) - ; 1 >
avec

C(c) ,m(x)+s
IJ -3

2Iog((l+&x)/\xj m(X) = zLog((l+J%)/\x\)-(l+LogQ)

Dmonstration. m_-----e-e--LEMME.

- Admettons

provisoirement

le lemme

suivant

- Posons E Z

= P.P.C.M.

(1,2 ,..., k) . Alors

dkQk- w,(k)/k!2 Qkw2(k)/k! Si on pose Pl(W \ avec p2(k) et -

2 E z . pi(k) = dkQkwi(k)/k!2 x 2k B k C X1 = (1+fi)2 donc . aisment. L: = -1 , lingalit souhaite a bien lieu et , et dautre part on a donc

; L%u-x) x p,(k)

-q 0 E Z ,

PI(k) p,(k) m

(Q Xl)kdkkBCi

Pg (k) - k W(eQX1) en rsulte

Le thorme Par exemple, on obtient : COROLLAIRE a,b E % ,

si on prend

B. - Il existe b > 0
C

une constante

C > 0 telle

que pour

tout

on ait *

b4,6222

1.20

Pour w(k) = v(k,k) w(k+l)

mmoire,

notons

que la rcurrence

diagonale

satisfaite

par

est dans ce cas : = (k+l)(Zk+l)(Z-x)w(k) - x2k3(k+l)w(k-1) .

1.21

EXEMPLE

l3
m x = ;r - Hn l n=l n .

On sait que Hi=$

j=l

; hg(l-x) (Ho=O)

en posant

: J

1. -

CAS. PARTICULIER En particulier Si on prend n! f(n) i=l

x =-1 .
zz 5 i=:l (_l)i l Himl .

; Log22 = n , i

g(n) = h(n) = - n , on a donc

n v(n) = v(0) + c (-g-1 -

3 = v(0)+u(0)n (-g-l +t(0) t-f? 11 . c . i=l 1 l-l i=l i

En particulier, v(n) lim x r-pc0 * On a : on a : . = v(0) + u(O)LDg2 +2t (0) Iag22

a(n) = -n +3 b(n) = n2+n-J c(n) = n3 .

Vu les formules, en respectant BO(n)

on cherche lhomognit, un polynme

obtenir on pose de degr de plus ou

BO(n) r(n) 6 en

constant = an + b , n (voir

non nul.

Pour

cela,

et

s(n) = cn2 +dn +e . Iappendice 1 pour son ,

est alors

expression

complte).

Son terme a = c +1

haut degr est

+n6(a+c+l)(a-c-1)2

donc on doit avoir

a = - c - 1 .

Cas 1. a=-c-l ou c =d+b. . Le terme dominant est n5(c+1)2(-c +b +d) donc c = - 1

Cas 1.1. Si donc c=-1, ou a = 0 d = l+b et le terme . dominant est n3(b+d+l)(b-d+l)2

d = -b-l

1.22

Cas 1.1.1. Si e=O ou d = -b - 1 b=-1. le terme dominant est n2 (4e)(b+l) , donc on doit avoir

Cas 1.1.1.1. Si Cas 1.1.1.2. Si B,(n) = 0 . b=-1, le terme dominant est 2e2n , donc e = 0 , donc e=O, on constate que B,(n) = 0 .

Cas 1.1.2. Si ou e = -b-l d=l+b, . le terme dominant est 4n(b+l)(b+e+l) , donc b = -1

Cas 1.1.2.1. Si Cas 1.1.2.2. Si voir e = -b-l , alors le terme dominant est -4n(b+l) , donc b = -1 , b = -1 , alors d = 0 = -b-l , voir cas 1.1.1.2.

cas 1.1.1.2.

Cas 1.2. Si d = -b-l Cas 1.2.1. Si Cas 1.2.2. Si d = -b-l , alors c = -1 , voir cas 1.1.1. e=O, on constate que B,(n) = 0 . . c = d +b le terme dominant est 4n4e(b+d+1) , donc e = 0 ou

Cas 2. Si ou d=l+b. a = +c + 1 le terme dominant est 2n4(c+l)(b-d+1)2 , donc c = - 1

Cas 2.1. Si c = -1 , a = 0 , voir cas 1.1.

1.23

Cas 2.2.

Si donc c=-1

d = 1 +b ou c=l

le terme ou

dominant c=-2b-

est 2e-3.

- n3(c-l)(c+l)(c+2e

+2b +3) ,

Cas 2.2.1. Si Cas 2.2.2. Si c = 1 le terme dominant est est n@(b+e+2)3 7

c = -1

, voir

cas 2.1.

, donc

e = -b - 2 . ou b = -4 .

Dans ce cas le terme Cas 2.2.2.1. Si r(n) Cas 2.2.2.2. Si r(n) Cas 2.2.3. Si donc b = -4 b = -3

dominant

2n@+3)(b+4)

, donc

b = -3

alors

c = 1 ,

d = -2

a = +2 , B,(n) = 1 .

e = 1

et on trouve

= 2n - 3 ,

s(n) = n2 -2n+l,

alors

c = 1 ,

d = -3 ,

a = +2 , BO(n) = 8 .

e = 2

et on trouve

= 2n - 4 ,

s(n) = n2 -3n+2,

c = -2b - 2e -3 , b=-e-2

le terme ou

dominant b =-ze-1.

est

- 8n2@+e+l)(b+e+2)(2b+3e+2)

b = -e-l

Cas 2.2.3.1. Si Cas 2.2.3.2. Si Cas 2.2.3.3. Si ou e=2. b---g e - 1 alors le terme dominant est - 3ne2(e-2) donc e=O b - -e-2 , c=l, voir cas 2.2.2. b = -e-l , c = -1 , voir cas 2.1.

Cas 2.2.3.3.1. Si Cas 2.2.3.3.2. Si e=2, alors b = -4 = -e-2 , voir cas 2.2.3.2. e=O, alors BO(n) = 0 .

1.24

Conclusion r(n) sant = - (n +x(n-1)) BO(n) = 0 . Dautre r(k,n) = n-k part, ,

: on trouve

tout

dabord o x(n)

les solutions est de degr

triviales 1 en n , condui-

s(n) = n x(n)

on a vu que pour (163) = 2n -. 4

k = 2 ,

f(n)

= n ,

g(n)

= -n

, on a

donc daprs

r3(1, n) = (n-l) s3(l ,n) est un procd trouve. cest

+ (n-3)

= (n-l)(n-2) dacclration,

= n2 - 311 + 2 et cest effectivement rien lune voir des deux la suite solutions v1 , et

Toutefois, effectivement On est donc

ce procd ce quon conduit

na a priori

avec

constate

numriquement. uniquement la solution r(n) = 2n - 3 ,

conserver

s(n) = n2 - 2n + 1 , BO(n) = 1 , qui donne a(n) = - n + 7 > b(n) .-l rcurrence. c(n) = n3 , et on peut recommencer avec cette nouvelle qu vient tion, chaque tape il y a deux avec solutions non triviales, et que lune systmatiquement

= n2 + 5n - 7 , On constate des deux prolautre solu-

de rcurrences on aboutit r(k,n) a(k,n) c(k,n) Ltude

k = 2 . E:n conservant suivantes :

aux fonctions =2n-2k-1, = -n+4k+3, = n3 , prcdente Bo&n)

s(k, n) = (n-k)2 b(k!,n) = k6 . pour bien montrer le miracle fon= n2 + (4k+l)n - (2k2+4k t 1)

a t dtaille : les termes

damental toujours

de la mthode de faon simple,

de plus

haut

degr

non nuls facilement

se factorisent les calculs.

ce qui permet expliqu.

de poursuivre

Ce phnomne

nest

pas encore

II.

CAS GENERAL. On prend v(n) n! = v(0) f(n) = n , g(n) .i-1 y h(n) = xn . On a donc i-2 + t(O) E x Hisl . i=l i = xn ,

+ u(0) c i=l

En particulier,

on a :

1.25 lim v(n) n-ca n! u(O) = v(o) - Q- Log(l-x) t(o), + Log2(1-x)

2x2 fournissent comme meilleure solution les

Des calculs fonctions

analogues :

aux prcdents

suivantes r(k,n) a(k,n) b(k,n) c(k,n)

= - x(2n-2k-1) = x(2n-2k-3) = - x(x(n-k-lJ2 = x2n3 , aux valeurs

s(k,n)

= x2(n-k)2

+n + 2k +2n2 + (Zk-1)n - k(k+2)) = x*k6 pour . les rcurrences (63) (123) :

Bo(k,n) suivantes

Ceci conduit

dl(k,n) = (n2+n(4k+l) +k(k(4-3x) +2))/(n+2k) d2QA = - k2x2 (3n2+ 2kn + k2),/(n+2k) d34,n) = 3n3k2x3/(n+2k) dq&A = &V+x)
+k(6-4x) +k2)/3 +3)/3

d50w-4 = -x(3n2+2kn d6(k,n) = k4x3 /3

d,tkn) = (3n2(l-x) +n(3-x)(4kl-3) + (k+l)(k(12 -5x) +6 -3~))/3 dg(k,n) = - x(3n3(l-x) +2n2(4k+3) +kn(5k+4) +2k2(k+1))/3 d&n)
dlO(k,n) dll(k,n) d12(k,n) d13(k,n)

= k4x3(n+2k+2)/3
= n+2k 2 = - 3k x = k2x2 (3n - 2k) = (n3(1-xJ2 +3n2(1-x)(2k+l) +2k(2-x)(k-t1)(2k+l):I/(n+2k) +n(2-x)(6k2+6k+l)

d14(k,n)
/

= - k2x2(3n3(l-x) = n3k2x3(3n(l-x)

+2n2(4k+3)

+kn(5k+4)

+2k2(k+l))/(n+2k)

d15(k,n)

+2k(3+x) +6)/(n+2k)

1.26

d16(k,n)

= (3n3(1-x)3

+n2(l-x)2(2k(4x+9)

+3(2x+9))

+n(l-x)(k2(7x2+14x+36)+k(10x2+26x+108)+3x2+3~+78) + 2 (k3 (x+3) (x2 -2x+4) +k2(2x3+2x213x+54) +2k(3+x) +6) + (lOx+18)k+3x +9)

+k(x3- 27x + 78) + :18(2-x)))/(3n(l-x) d17(k,n) = x2(k+l)2(3n2(1-x)2(2k+l) +2((x+3)(2x-5)k3 /(3n(l-x) \ d18(k,n) Les expressions pour total tre donnes 4 en et k 13 et en

+n(l-x)((lOx-3)k2

+ (3x2+ 6x -42)k2+

(x2+2x - 27)k - 6))

+2k(3+x) + 6) +2(k+l)(3+x) , d20(k,n) , +6)/(3n(l-x) d21(k,n) +2k(3+x) +6) . sont trop longues

= k4(k+l)2x4(3n(l-x) pour ici. dlg(k,n) Il suffit

de dire

que leur

dnominateur

est de degr respectif

n , et que leur k et n . plus

numrateur

est de degr total

7 7 10

Nous examinerons la marche (k-l, k-l) en escalier (k-l, k)

en dtail :

les rcurrences

que lon obtient

dans

suivante

Si on pose w(k) = v(k,k) et w,.(k) = v(k,k+l) :

on a donc les rcurrences

w1 tk)
w (k+l) wl(k+l) w (k+2) w (k+2) Cette dernire n =k+l.

= dl@,WW
= d7(k, k+l)wl(k) = dl(k+l,

+ d2tk k)ytk-1)
+ da(k, k+l)w(k)

+ d3(lr, Wtk-1)
+ dg(k, k+l)wl(k-1) + d3(k+l, k+l)w(k) + dg(k+l, k+2)wl(k)

k+l)w(k+l)

+ d2(k+l, k+l)wl(k) + d8(k+l,k+2)w(k+l) + dzo(k, k+l)w(k)

= d7(k+l,k+2)wl(k+l)l = dlg(k, k+l)w(k+l) rcurrence

+ d21(k, k+l)w(k-1) (133) spcialise au cas

est la rc:urrence

diagonale

Les coefficients

sont donns par les formules

suivantes

1.27

dl(k, k) = k(3-x) + 1 d2(k, k) = - 2k3x2 d3(k, k) = k4x3 d7 (k, k+l) d8(k, k+l) dg(k, k+l) d7(k+l, = (k+l) ((9-4x)k + 6 - 3x)

dl(k+l,

k+l)

= k(3-x)

+4 - x

d2(k+1, k+l) d3 (k+l , kil)

= - 2(k+1j3x2 = (k+l)4x3

= - x(k+1)((6-x)k2+ = x3k4(k+l)

(8-2x)k +3 -x)

k+2) = (k+2)((%4x)k+15 = - x(k+2)((6-x)k2

- 7x) + (20-4x)k+17 -4x)

d8(k+1,k+2), dg(k+l, dlg(k,

k+2) = x3(k+l)4(k+2) k+l) = (k+2)(3k+4)((3k2+7k+3)(x2= - x4(k+1)3(k+2)(!>k3+24k2+ 9x +9) +3 -3x)/(3k+2) 17k+4)/(3k+2) . v(k,n) : pour Osk,ns2.

d20(k, k+l)

d2 1 (k, k+1) = x6k5 (k+1)3 (k+2) (3k+5)/(3k+2) Pour complter ces rcurrences, il suffit pour

de connaftre v1,v2,v3

Les valeurs

sont les suivantes

les suites

vlk

n)
0 1 0 3
X2

2 1 -3x+12 66x2 -360x +360

0 1 2

0 1 x2 +12

-36x+60

v,kn)
0 0 1 2 0 2 -12x+24 l :1 -3x+6 28x2- 13;2x + 120
X2

2 x+2 - 18x +24 1080x + 720

-36x3+432x2-

1.28

v,kn)
0

1 1
X2

2 2 8x2 -30x+24 8x4 - 192x3 +912x2 - 1440x i- 720

0 1 2

1 -x+2 4x2 -24x+24

-6x+6

- 8x3 + 84x2 - 192x + 120

Nous ce diagonale. d

considrons Utilisant

maintenant les formules

la vitesse pour

de convergence , d20(k,k+l)

de la rcurren,

dlg(k,k+l) sur

(k, k+l) on dduit 21 que le comportement que

d es thormes de la rcurrence

gnraux dpend

ce genre

de rcurrences, caractristi-

surtout

de lquation

X3 - 3(x2-9x+9)X2 Le discriminant de cette

+ 3x4x quation .

- x6 = 0 . vaut :

- (27)3x6(x-1)2(x-2)2 Il est ngatif xl donc lquation

ne possde

quune

seule

racine

relle,

a savoir

=x 2 - 9x + 9 + (g-6x)j = (1+3(1-x) +3m)2)3 des deux

-1-x + (9-3x)?F)2 . autres racines complexes X2 et X3 vaut

On vrifie Ix,\ et comme constantes

que le module = lx,\ x E [ -1, 1[ B y(k) avec et Ci

= 1x(1-~qz))132 , on a (i = 1,2,3) - k!3X:kBC +y/G)2)3 une estimation aisment IX2 \ < X1 . Il en rsulte telles j, . de la vitesse que lon de convergence suivant de la r: que quand quil existe des

k -) CD

= vi(k,k)

X1 = (1+3fi dduire

De ceci currence.

on peut

En effet,

on vrifie

a le lemme

1.29

LEMMEl. w(k+2) avec

-= a(k)w(k+l)

wi

(i=l, 2,3)

sont trois

solutions

de la rcurrence

+ b(k)w(k)

+ c(k)w(k-1) k , alors pour i = 1,2 si on pose

w,(k)

# 0 pour tout

Wi (k-l) Wi (k) 01 a la rcurrence AiW(k) = w(k) w3 (k-1) 3 b(k+2) = A(k)a(k+l) + B(k) A(k) o A(k)
w3 tk+l 1 = a(k) w (k+2) - 1 , 3

B(k) = -c(k)

w$k-1) w,(k+2) ,

b(k) = dzo(k, k+l) ,

On applique c(k) = d2+k,k+l) A(k) =

ce lemme

avec

a(k) = dlg(k,k+l) ci-dessus + O(k)

. On dduit 3(x2-9x+9) *1

des quivalents *2+*3 *1 = -- x2x3

que

- 1 + O($) =

+O(i)

Lquation

caractristique

est :

*-i 1
x2+*3 *1 dont les racines vaut donc duit quil s2 X exi&e sont *2 et x3 donc complexes conjugues. Leur %y x1 et de la thorie genrale de ce type de rcurrences, B et Ci telles que module on ddes constantes

Or,

on vrifie aiw

immdiatement converge

que pour tout

x E l-w, vers

l[

on a

\X\/X, 12 < 1 termes

La suite pour tout quement).

donc gomtriquement la rcurrence diagonale que

0 , en dautres

w1 --!l-tk)
Il en rsulte 2x2 w3(k)
2 tk) I-w36) + $ Log(l-x)\

x E I-CO, l[

converge

(et mme gomtri-

en particulier

Log2(l-x)l

?z

1.30

CALCUL Daprs v,&A v,(k,n) vI(k,n)

EXPLICITE (153) on a :

DE

vi(k,n)

= n! P3(k,n) n xi-l c + xnP20<A izzl i 1 xi-2 i-l = n! P3(k,n) 5 7 c ? +xnw1P2(k,n) E ? +xnPl(k,n) l j=lJ j=l J i=2 n i-2 n-l P2(k,n)Hn + xnPl(k,n) = n! P3(k,n) u y HiSI +x 1 i=2 = n!

1
J

I
:

p1,p2

> p3

satisfont

aux rcurrences long,

dcrites

en (153).

Gtice

un calcul

par rcurrence

extrmement

on montre

que la solution

des rcurrences

(153) est la suivante

= ki2

2k c
m=O

x2k-m(l-x)m

( n+m m

e-2 m t-x)

(e-l)!

He I

avec

al(m,n)

= C +?=l (l-x)e(n+l)...(n+e) m = C e=l (-X)@l(&,)! (l-x)e(n+l)...(n+.!)

a2tm,n)

Remarque. vois pas de moyen

i)(F)(kz)

= (kF)(:)(mki) explicitement

. En dehors

de cela, portant b < 0

je ne sur ou i .

la somme intrieure a On sous-entend videmment dans ces formules que b = 0 si 0 b > a quand a, b sont entiers avec a 2 0 . Dans le cas particulier n = 0 , on peut obtenir

de calculer

des formules

plus

Il existe nil,

galement ainsi

des formules

analogues

pour

P2 (k, n)

et

P3(k, n)

avec

que pour

PI(k, n) , mais elles

sont plus

compliques

et ne nous

1.31

serviront

pas dans la suite. suivante : 2. -

A partir

de ces formules

nous allons

dmontrer

la proposition

PROPOSITION en x dont

vI(k,

n) ,

v2tkn)

v3(k, n)

sont des polynmes suivantes :

les degrs

sont majors

p ar les

quantits

dvI(k,n) dv2(k,n) dv3(k,n)

< k - 2 + sup(k,n) 5 k - 1 +n I k + inf(k,n) .

Dmon& ration. - Pour k = 0 ---- __-----_n rl,i-l v2(0,n) = n! L = n! X > vI(O,n) i=2 i=l i vraie pour k =0 . Soit .k 2 1 donne et k - 1 sur lynme et k n (et tout : si en pour x n ) ; dmontrons-la n = 0 les formules major pour

, on a v3(0,n) = n! , ,i-2 -H donc la proposition i i-l supposons la proposition vraie k . Nous montrent pour raisonnons que j = 1 , par

est pour

rcurrence est un popour j =2

ci--dessus par bien 2k- 2

Pj(k, 0) k - 1

de degr j =3

, ce qui donne

la proposition. n . Pour cela,

Supposons-la on utilise

dmontre la formule

jusqu

n - 1 , et montrons-la donne ici n-l)

pour

(103) qui nous

v (k, n) = (n+2k)v(k, On a donc dvl(k,n) g sup(k-2 < k-2 dv2(k,n) dv3(k,n)

- 3k2xv(k-1,n)

+ k2x2(3n-2k)v(k-l,n-1)

+sup(k,n-1)

, k-2

+sup(k-l,n),k-2

+sup(k,n))

+sup(k,n) k+n-1, k+n-1) = k+n-1

< sup(k+n-2,

< sup(k+inf(k,n-l),k+inf(k-l,n),k+inf(k,n)) rs k +inf(k,n)

do

la proposition

en utilisant

notre

double

rcurrence.

Remarques. 1) ment

plus finement (par exemple on doit pouvoir en calculant dmontrer explicitequil y a

En raisonnant de plus

le coefficient

haut degr),

1.32

galit valeurs

dans de 2)

la proposition k et n .

ci-dessus.

Cest

en tout

cas vrai

pour

les petites

Exprimentalement, v2(k,n)/v3(k,n) pour

en srie compris, 2k+n-1

de

on voit Log(l--x) + ---x--vl(k,n)/v3

que les coefficients

du dveloppement 2k+n degr non

et de mme .

sont nuls jusquau degr 1 Iog2(1-x) jusquau (k,n) - z x2

Il est donc probable un facteur multiplicatif dvl(k,n) dv2(k,n) dv3(k,n) (donc en tout global

que prs)

v1 , v2 , v3 des conditions

sont

les seules :

solutions

suivantes

5 k - 2 + sup(k,n) 5 k - 1 +n 5 k + inf(k,n) 4k + 2n coordonnes + homognes, soit 4k +2n - 1 + a2k+nx +b soluble inconnues), 2k+n + ... 2k+n-1 2k+n-lx (et probablede + ...

v2kn)/v30W vl(b)/v3(k,n) (donc en tout ment Pad de faon simultans. 4k + 2n - 1 unique).

WC (1-xl
x

= 0 + 0x +...+ 0x

2k+n-1

- 5 Log2(1-x)
X2

= 0 + 0x +,,, + ox2kin-2 Le systme est donc

quations). Cela correspond

donc a un problme

dapproximants

APPLICATIONS Nous est un nombre Nous allons

ARITHMETIQUES. utiliser pour les rsultats obtenir prcdents dans le cas o x = $

rationnel allons

des thormes suivant , x # 0

arithmtiques. : un nombre rationnel. supposons que la

dmontrer - Soit x = $

le thorme x F I-l,l[

THEOREME. Ecrivons condition (*)

avec

P, Q E Z? ,

Q > 0 . Nous

suivante

6( < i

3,(1+21(1-x) (

est satisfa.ite: 3 2 3/4 +.w-:x) 1 X2

,--

1.33
Alors cisment a) pour pour Log(l-x) : tout tout c > 0 , il existe a,b,c E Z , une constante (a,b) H
-

nest

pas un nombre

quadratique

sur

$ . Plus

pr-

C(c) on ait :

> 0

telle

que

+ (0,O) mz)c;+,

\a Log2(1-x) o

+b Log(l-x) lb\)

+ c\ 2 et -2

H = sup(\a\, = ;mi

m(x)

3 Log((l+&iJ+~(l-x)

) 32/

lx\)

b)

Pour pour

tout tout

c > 0 , il existe nombre quadratique

une constante < * minimal de hauteur

C(c) H

> 0

telle

que

on -- ait

\ mal-x)(si

5\ 2
H

C(r)
m(x)+c

aE2 +b< + c = 0 lb\) 1.

est le polynme

de

SUI

on pose

H = sw(lal,

Dmonstration. ------------LEMME 3.

Admettons

provisoirement

les deux

lemmes

suivants

- Posons 3 E Z E Z E z

dk = P. P. C.M

(1,2 ,..., k) . Alors

w,(k),k! dkg2k-2 2k-1 dkQ w2(k)/k!3 w3(k)/k!3

2k

LEMME 2ax2w,(k) pour 3

4.

Si -

(a,b,c) - cw,(k)

# (O,O,O) = 0 de

, on ne peut pas avoir

- bxw2(k) valeurs

conscutives

k .

Dmontrons pi(k) = d;Q2kwi(k)/k!

le a) du thorme. Posons pour 3 le lemme 3, x2pl(k) . Daprs k entier quelconque :

i = 1,2,3 > xp,(W

: et p,(k)

sont entiers.

On a donc pour

1.34

\a Iog2(l-x)

+ b Log(l-x)

+CI

= \a(Log2(I-x)

-2x

2 PIOC) -p3(k) )

p2 (k)
+ b(Iog(l-x) n +x PJ(k) )

2axp+k) -bw2(k) - w3(k) + -1 p3(k)

2

12ax2pl (k) - bxP2(k) - cp3(W\ --

(14 -+l)
k(l-s c2 avec quitte C 1)

p3 (k)

pour

tout

cl > 0 Daprs

et

assez

grand,

= x;2/lxj3 k dau

. plus 2 units, daprs Cl = X1Q2e2

les lemmes supposer pour c2 7 0 kU+qy) 5 Cl w

3 et 4, 2ax2p1(k)

modifier - cp,(k)

on peut lquivalent

toujours trouv tout p3(k)

- bxp2(k) Logp3(k) grand

# 0 . Enfin, avec

donc pour

i et k .

on a assez

N k LogCl on a

On a donc la Iog2(l-x) + b Log(l-x) +c\ l $ Ck(lic2) 1

_ (la\ +lb\>
Ck(l-cl) 2 CI < C2 * Choisissons . Il est alors

On voit e1 facile et

immdiatement 2 de voir 6 assez petits

que la condition pour que

(+) quivaut

(Il-sl)Iog

C2 7 (l+e2)LogC1

que si on pose

LW\a\+lb\)
k = (1 -c $LogC2 on a 1 - (1+e2)Log CI + ri

Ck(l+E 2)
1 o m(x) Si grand plus pour 3 units

_ dal+bl) = (\a\+lbl)1-m(X+c;T1(1+r2) _ c;Tj(l-Ei)) Ck(l-q)

2 ,)LogC2
-7-g+cg)

= (1-e 1)LogC2/((1-e ~70 ona Cl

- (I+e2)LogC1) -C-T:wl) 2 voulues tel > o soient que

. . Choisissant n assez au
# 0

que toutes pour que

les ingalits k soit

satisfaites, 2ax2wl(k)

et ajoutant - bxw2(k)

un entier

- cw,oc) en

ce qui est possible

daprs

le lemme

4, on en dduit

le a) du thorme,

1.35 remarquant de ((al+lb\) que m(x) par --) m(x) \bl> quand E:I et c2 -) 0 et que le remplacement la constante C(C) * de po-

suNIa\, aisment %

ne fait que changer 5

b) se dduit lynme minimal s2 on peut alors sur

de a) : si

est un nombre

quadratique

+bF+c=O _ crire + b Log(l-x)

+C

1a Log(l-x) soit 1ma-x) Si 1 Log(l-x)

- (as2+&

+c)\

C(S) 2 $n(x)-l+E

-5 \ la(Log(l-x)+-)+-b\

2 H

C(c) m(x)-l+c

* Sinon o M ne dpend que

-{ 1 r 1 , il ny a rien +{) +b\ 5 \al@lLog(l-x)\

dmontrer. +1) + lb\

\a(L,og(l-x) de

$ M.H

x , do le rsultat. Il reste dmontrer les lemmes 3 et 4.

Dmonstration -------------------------- du lemme y@-1) Mk = wI(k-2) i w,(k-3) La rcurrence obtenue w2 (k-1)

w2 (k-2 )

4. -

Posons

w3 (k-l) cv3(k-2) w3 (k-3) scrit matriciellement

:

w2 (k-3) pour

vi(k, k) = wi(k)

dl,&,k+l) dzokk+l) d,,k k+l)

M k+l = 1 0 det Mk+I d,,(k, det M k+l) 0 1 = d21(k, k+l)det Mk . # 0 pour que krl et 0 0 Mk

donc en particulier Comme x # 0 , et que pour tout de Mk

= x6k5(k+1)3(k+2)(3k+5)/(3k+2)

= 90x2(2-x) # 0 galement 3 k . Il en rsulte que toute combinaison triviale, ce qui nest

il en rsulte linaire autre nulle

det Mk # 0

des colonnes 4.

est la combinaison

que le lemme

1.36

lemme

Dmonstration du ______-_---------^------- lemme 3. - Vu la proposition 3 rsultera du lemme suivant : LEMME d2,w,(k)/k!3 dkw2(k)/k!3 w3 (k)/k! 3 5. E %[XI E %[XI E zlxl .

2, il est clair

que le

Vu les formules w3(k)/k!3 E Z[xl

explicites part,

pour
on

wi(k)

, il est clair :

que

. Dautre

peut crire

Posons

Y =

(m-e)! (e-l)! i!(m-i)! .

dk

Considrons

deux cas :

ler

cas

ire

Dans ce cas

Or,

isk,

donc daprs

un rsultat

bien connu

.! \dk i-1

donc

Y E Z .

2e cas

i < e . Dans ce cas

Or, dduit

m-i5

k , donc comme

prcdemment assertion que pour si j ZZZ . Si k j

YE

2.

De ce qui prcde, 5. Pour la premire,

on il on a et

immdiatement quil Z. suffit

la deuxime de montrer

du lemme tel que j>k haut. ona

est clair fdkE

1 zz j zz sup(k,e-1) e-l>j>kzi dans ce cas

Or ceci est clair

on se trouve

donc dans le 2e cas examin

plus

Comme

YEi e-1 z 1 i )

1.37 il suffira de montrer que

et on a assertion

e-i-1

s {-(m-k)-1

s k-l

donc 3.

ce j) -

ldk 9 dad la Ire

du lemme

5, et donc le lemme

COROLLAIRE. a) Il existe

une constante on a : C ;r . ,zSS, 819 \b\) . C > 0 telle H . dans ce cas lingalit 1,01058.. (*) est tout juste que on ait que pour tout nombre quadraC > 0 telle que pour tout a,b, c E Z ,

(a,b) # (0,O)

la LogZ+bLogZ+c\ o b) H = sup(\a\,

Il existe tique b@-51

une constante

E; de hauteur 2 H287,819 c - En effet, de droite

Dmonstration. _--s_-------satisfaite (le membre m(x) c 287,819 .

vaut

. ) et on calcule

1.38

APPENDICE

BO(n) = n6(-a 3 -a2d+9a

2 -a ~-a~+ac~+2ac+a+c~+3~~+3c+l)

+ n5(6a3+4a2c-3a2b

2 - Sac2 - 2acb + 2acd - 14 ac - 2ab + 2ad - 6a - 6c3 + c2b + 3c2d - 21c2 + n4(-11a3 - 2a2c + 18ab +2a2d - a2e - 32a2

+2cb+6cd-24c-b+3d-9)

+22ac2 + Sacb - 13acd + 2ace + 37ac - 3ab2 - 2abd + 17ab + ad2 - 13ad + 2ae +lOa +13c3 - gc2b - 1 5c2d + 3c2e + 62c2 - cb2 + 2cbd - 14cb + 3cd2 - 34cd + 6ce +82c-b2+2bd-5b+3d2-19d+3e+33) + n3(2a3 - 7a2c - 35a2b + 2a2d + 56a2

- 20ac2 - Sacb +25acd - 10ace -44ac + 18ab + 5abd - 2abe - 56ab - 5ad2 +2ade +31 ad - 12ae + 5a - 12c3 +31c2b +26c2d - 12c2e - 106~~ + 5cb2 - 15cbd +2cbe +39cb-12cd2+6cde+80cd-26ce-158c-b3-b2d+8b2+bd2 - 13bd + 2be

+5b+d3 - 13d2 + 6de + 53d - 14e - 63) + n2 (12a3 +4a2c + 18a2b - 3a2d + 2a2e - 48a2 - 1 lac2 -7acb-Sacd+llace+18ac-36ab2+abd+abe+88ab+5ad2 - 7ade - 29ad +ae2 +26ae - 30a +4c3 - 51c2b - 18c2d + 18c2e + 3 17c2 - 7cb2 +40cbd - 12cbe - 57cb + 15cd2 - 18cde - 107cd +3ce2 + 50ce + 184~ + 6b3 + 3b2d - b2e - 24b2 - 6bd2 + 2bde + 32bd - 12be + lob - 3d3 + 3d2e + 22d2 - 18de - 84d +3e2+33e+66) + n(-8a3+4a2c+12a2b-2a2d+a2e+16a2+28ac2+8acb

- 27acd +8ace +Sac +24ab2 - 5abd + 3abe - 64ab + 5ad2 + 2ad - 2ae2 - 19ae +28a + 40c2b +4c2d - 12c2e - 76c2 - 45cbd + 23cbe +48cb - 6cd2 + 18cde + 85cd - 6ce2 - 50ce - 120~ - 12b3 -b2d +b2e +32b2 + llbd2 -9bde-35bd+be2+26be-20b

+2d3 - 6d2e - 21d2 +3de2 + 22de + 72d - 5e2 -42e - 36) - 8a2b - 12ac2 + 4acb + 18acd - 15ace - 8ac - 2abd + abe + 16ab - 6ad2 + Sade + 8ad - 3ae2 - 8a - 12c2b + 4c2e + 20c2 + 4cb2 + 18cbd - 15cbe - 20cb - 6cde - 30cd + 5ce2 + 21ce + 32c + 8b3 - 2b2d + b2e - 16b2 - 6bd2 + 9bde + 14bd - 3be2 - 19be + 8b + 2d2e + 10d2 - 3de2 - 13de - 24d + e3 2 + 4e + 20e + 8 .

1.39

EXEMPLE

1K
11 est facile de gnraliser quelconque : si la construction v(n) = VI(n) des rcurrences est une suite on pose pour expliciteet si :

ment

solubles

K
.

donne, i = Z,...,K

fl(nL . . . . fK(n)
v(n) et la rcurrence vK(n) ce qui donne : VI(n) o : et plus vK(n)

sont des fonctions = vl-l(n) scrit = fK(n)vK(n-1) ,

arithmtiques,

- fi-l(n+l)vi-l(n)

= vl(0)vK(n) = fl ! @) > :

+ v2(0)vK-,(n) vK-l@)

+... + vK(0)v,(n)

n f2!(il-1) = fl ! (4 C il=1 fl! (il)

gnralement vK j(n)

n fi! (Q-1) = fl! (n) C i =1 fl! 0;) 1

il-1 f3! (i,-1) c i2=1 f2! (i,)

ij-1-l c **. i.=l J

f. ! (i. -1) J+lJ fj! (ij)

Nous considrerons

ici les cas particuliers fi(n) = nx pour 2s:igK. ijml-l 1 7 j vK(0)hg (K-l)!xK-l lq qui na pas t rdig) pour les ar(k,n) et

f+n) = n ,
On a donc v,(n) et en particulier = n! :

K-j

c 9= K-l

v2w - 7

LDg(l-x)

v3 (0) + -Log2(l-x) 21x2 que lexemple

+.;.+(-1)

K-1(l-X,

Les exemples conduisent rF(k,n) : soit nf(n) n conjecturer

l2 et l3 (ainsi

que lon a les valeurs

suivantes

loprateur

= f(n) - f (n-l)

agissant sur la variable n et dfini -1 . Interprtons A comme tant nul. Alors :

par

1.40

Conjectures

: rF(k,n) = 7 ;rlJ1

1)

tn- k) K-1t-P K K-i-l A + (X-1) (K-i-l)! K-l

aF(k,n)

= (-x) (K-1)2kK(K-1)

(n-k-1)

1
wiK)(k) N k! KX$BC i

$(k,n)

= x

2)

Si

wiK)(k)
X l-(l-X)lK

= viK (k, k) K

alors

il existe l/K+

B , C.
1

o :
x1 =

= (1+(1-x)

. . . +(1-x) (K-l)/K)K

3)

degr vi(k, k) s (K-1)k

- (K-i)

4)

II existe

B -- (-l)i i!x .

et

Cl

tels

que : 5. x % BC

WF-; tk)
W:)(k) avec x=

. l.ogl(l-x)

1-2(1-x) LK + (l-x) 2/K l-2 (COSs )(l-x)1K+(l-x)2K

5) nature

Enfin

la condition

satisfaire (x=l

pour

quon puisse
&70

obtenir

un rsultat

de

arithmtique

est la suivante -l/(K-1) )(1-x)

X2

avec

, P,QcZ)

Q < +X1)

ou encore l/K + (l-x)

1-2(cos 2

1.41

EXEMPLE

23

Prenons

f(n) = g(n) = h(n) = II

. On a donc

v(n) = v(o) + u(o)? -+ +t(O) E L Hi"; n. i=l 1 i=l i2 -

11 en rsulte

que

lim v@) = v(O) + wu~ l-r2 +t(OQj T14 . n-m n! On cherche certain tions obtenir Bo(k,n) ne dpendant ce problme. la meilleure pas de n et non nul. parmi Il y a un ces solu-

nombre celle

de solutions donner :

Nous choisissons acclration.

qui semble ainsi

On trouve r(k,n) s(k,n) a(k,n) b(k,n) c(k,n) Bo(k,n)

= - 2n2 + B(k+l)n

- ($k2 +k+l)

k2 = (n2 -kn+y)(n2-kn+k2) = 3n2 -6n+3k2+3k+5 = - 3n4 + 6n3 - (3k2+3k+7)n2 = n 6 k 12 . + (2k3+6k2+4k+4)n - (k4+3k3+4k2+2k+l)

= -&

Ceci conduit

aux valeurs

suivantes

pour

les rcurrences

(63) A (123) :

1.42

(3n4+6n3(Zk+l)+n2(22k2+18k+3)+2nk(~ok2+llk+3) +k2(13k2+10k+5))/(3n2+6nk+5k2) k4(14n4+14kn3+9k2n2+4k3n+k4)/(3(3n2+6nk+5k2)) -14k4n6(3(3n2+6nk+5k2))

dqkn)

= 2n2+n(k+2)

+$k2

+2k + 1

dg(lr,n) = -(14n4+14kn3+9k2n2+4k3n+k4)/14 dgh-4

d70i,n)

= k8/42
= (42n3(3k+2)+n2(307k2+434k+l54)+2n(l60k3+34gk2+245k+56) +157k4t468k3+507k2+238k+42),'42

d8(k,n)

= -(42n5(3k+2)+n4(181k2+224k+70)+2kn3(68k2+g7k+35) +3k2n2~24k2+38k+15)+2k3n(k+l)~13k+10)+5k4~k+l)2)/42

dg(k,n)

= k8(3n2+6n(k+l)+5(k+l)2)/126

dlOtkA dllOW

= (3n2+6nk+5k2)/3 = 14k4/9

d12(k,n) = -k4(14n2-14kn+5k2)/9 d13(kA = (9n4(9k2+9k+2)+12n3(18k3+27k2+13k+2)

+n2(265k4+53Ok3+364k2+99k+9)+2nk(88k4+220k3+194k2 +71k+9)+5k2(k+1)2(11k2+llk+3))/(3(3n2+6nk+5k2)) d14(k,n) = 1 k4(42n5(3k+2)+n4(181k2+224k+70)+21m3(68k2+.97k+35) +3k2n2(24k2+38k+15)+2k3nOc+1)(13k+10)+5k4~+1)2)/(9(3n2+6nk+5k2)) d15(k,n) = -k4n"(42n(3k+2)+5(llk2+28k+14))/(9(3n2+6nk+5k2))

1.43

dl6(k,n)

= (126n3(27k3+99k2+114k+40)

+3n2(1251k4+7785k3+17018k2 14274k2+ 10157k

+ 15386k +4760) +6n(417k5+3181k4+9638k3+ +2716) +5(132k6+ t1400))/(3(42n(3k+2) d17(k,n) 1227k5+4685k4+ +5(11k2+28k+

9414k3+ 10463k2+6048k 14))) 117k+20) +2n(85k5+2845k4 841k4+ 153k3

= (k+1)4(42n2(78k4+247k3+258k2+ +8410k3+ 8555k2+3815k

+ 644) - 5(110k6+577k5+ + 5(llk2+28k+14)))

-403k2-280k-56$(9(42n(3k+2) dl8(k,n) = -k8(k+1)4(42n(3k+5) t 5(11k2+28k+14))) Les expressions gues pour et k tre donnes numrateur pour ici. dlg(k,n) Leur

+5(11k2+50k+53))/(27(42n(3kt2) . , d20(k,n) , dgl(k,n) total sont trop 8 et en 26 lonk en

dnominateur total

est de degr respectif

n , et leur et n . Nous

est de degr

14 , 20

allons

examiner

plus suivante

en dtail :

les

rcurrences

que lon

obtient

dans la marche (k-l, k-l)

en escalier (k-l, k)

tkk+l)
(k+l> k+l) (ktl, k+2) Si on pose w(k) J( (k-12, k+2) = v(k, k) et w,(k) = v(k,k+l) : on a donc les rcurrences

w1 (k) w(kt-1) wl(k-tl) w(k-t 2) w(k-12) Cette au cas

-L dl (k,k)w (k) i- d2(k, k)wl(k-1) = d7(k, k-tl)y(k) = dl(k-tl, k+l)w(k+l) + d8(k, ktl)w(k) i- d2(k+l, + d8(ktl,

+ d3(k, k)w(k-1) + dg(k, k+l)y(k-1) k tl)wl(k) ki2)w(k+l) t d3(k+ 1, k+l)w(k) + dg(k+l,k+2)wl(k) .

= d7(ktl,kt2)wl(k+l) = dlg(kT ki-l)w(k+l) dernire . recurrence

+ dzo(k, k+l)w(k) est la recurrence

+ d21(k, k+l)w(k-1) diagonale

(133) spcialise

n = k+l

1.44

h?S coefficients

sont donns par les formules dl(k+l, k+l)

suivantes

dl(k, k) = 5k2 + 4k + 1 d,Q,k) d3(k,k) d7&,k+l) d8(k, k+l) dg (k, k+l) d7(k+l,k+2) = k6 = - k8/3 = (k+l)2(65k2+84k+28)/3

= 5k2 + 14k + 10 = (k+1)6 = - (k+l)8/3

d2 (k+l, k+l) 1 d3(k+1, k+l)

= - (k+1)2(39k4+108k3+117k2+58k+11)/3 = k8 (k+l)2/9 = (k+2)2(65k2+214k+177),3 772k+333)/3

d8 (k+l , k+2) = - (k+2)2(39k4+264k3+675k2+ dg(k+l, k+2) = (k+1)8(k+2)2/9

dlg(k,

k+l)

= (k+2)2(2023k6+

14739k5+43753k4+67500k3+56880k2+24768k

+4368)/(3(7k2+9k+3)) dzo(k, k+l) = (k+l)6(k+2)2(399k6+2109k5+4345k4+4508k3+2560k2+ (9(7k2+ 9k +3)) d21(k, k+l) Pour complter = - k10(k+1)6(k+2)2(7k2+23k il suffit pour + 19)/(27(7k2+ de connaltre V1,V2J3 9k +3)) . Os k,ns 2 . 768k + 96)/

ces rcurrences,

v(k,n) :

pour

Les valeurs vl(k,n)

sont les suivantes

les suite

0 0 1 2 0 1 247/9

1 0 14/3 1277/3

2 1 140/3 2 6824/3

1.45

v,0r,n)
0 0 1 2 0 5/3 500/9 1 1 28/3 2588/3 2 5 283/3 163072/9

v,(lv-d
0 1

2 4 172/3 99136/9

0 1 2

1 1 3 04/9

1 17/3 4720/9

Nous considrons diagonale. on dduit tement Utilisant

maintenant pour

la vitesse

de convergence , dzO(k,k+l)

de la rcurrence , dzl(k, k+l)

les formules gnraux

dlg(k, k+l)

des thormes

sur ce genre

de rcurrences, caractristique

que le compor:

de la rcurrence X3 289 -gX 2

dpend surtout

de lquation

Posons

X = 9 . Lquation Y3 - 2892

devient

- 57Y + 1 = 0 . vaut

Le discriminant

de cette quation = Z6 . 78 .

368947264 Il est positif leurs

donc lquation approches .

possde :

3 racines

relles

Y1 , Y2 , Y3

de va-

numriques yl

= 289,1970854..

Y2 = 0,0162114..

Y3 = - 0,2132969..

On vrifie minant

appartiennent au corps cubique cyclique de discrique X1,X2,X3 2 suggr par la factorisation du discrimant, 7 , ce qui est dailleurs que si 0I, Q2, !J3 sont (dans un certain ce corps : ordre) les

et mme plus prcisment racines de lquation

dfinissant

1.46

Y3-Y2-2Y+l alors pour i = 1,2,3

= 0 on a -7 Yi = Bi . on dduit k -) ao : i . de convergence, nous raisonnons comme quil existe des constantes B et Ci

De ce qui prcde, (i=l, 2,3) telles y(k) avec Pour avoir que quand

= v+k,k)
I 1

16XyC - k.

X, = Y,/3

= 96,39902847.. de la vitesse

une estimation

dans lexemple
AiwW

= w.

13. Si on pose wi(k-1) Wi (k)

-

3 alors tique Aiw(k) sont satisfait

w3 (k-1) une rcurrence dont les racines y3 FI). de lquation caractrissont relles

X2 Y2 x et x3 (ou encore y1 et 1 x1 (ce qui correspond au fait que le discriminant ). On dduit

1

Ici ces racines

de lquation quil

du 3e degr initiale des constantes

est positif B et C!

donc de la thorie

gnrale

existe

telles

que

On en dduit

en particulier kBC;

w2(k)
--,.,2 6 w3(W

et

x3

=-

x1

1 1355,B..

Il est remarquer aussi

que,

contrairement esprer.

lexemple Toutefois

bon que lon pourrait

7

1 ce rsultat nest pas 3 numriquement, on constate que Par contre, il est prow2 (k) et de w3(k) convernumriques tendent m-

Ci et Cg

donc il ny a rien combinaison linaire

esprer

bable quune

de mieux. y(k) convenable de .Fj Des calculs

gem comme me a accrditer

la conjecture

suivante

1.47 Conjecture. -2

Remarque.

A2 x 1

= I783Q

o8

...

CALCUL Daprs v3(k,n) v2(k,n) vI(k,n) o par P P P 1 2 3 rcurrence,

EXPLICITE (153) on a : = n!P,(k,n) = n! ~3(kn) = n! 2 satisfont

DE

vi(k,n)

i& 2 i=l

-$

+ P2tk,n)] + P2(k,n)HA2) dcrites + PI(k,nq Gdce un calcul

1 Hi: i2

aux rcurrences que la solution

en (153).

on montre

des rcurrences

(153) est la suivante

k14 2k =-$mgot-l)
avec Bltm,n) B2(m,n) = E e=l = C e=l (PY~)!H;~; B (n+l)... (n+E) te -l)! e(n+l)... (n+e)

APPLICATIONS Il semble aisment constante e4. 3X, grce quici

ARITHMETIQUES. il ny en ait pas. ci-dessus que En effet, dk3kwi(k, on doit k)/k!6 pouvoir E Z est montrer donc la

aux formules pour .

qui intervient - e4Y

la croissance

des dnominateurs

1 Si la convergence

ce qui est beaucoup plus grand que 1355,8 . X2 avait t gouverne par x au lieu de xj cela aurait 1 x1 cela ne se produit que pour la combimarch. Si notre conjecture est vraie, ll2 n2 & & il ny a pas dapplication naison linaire w,(k) - 2 w 2 (k) et comme arithmtique de ce cat-la non plus.

= 15789,6..