Corrig des problmes 12 dcembre 2011

Problme 3. (a) Pour tout polynme P C[X], on notera P

(1)
lunique lment de C[X] divisible par X
dont la drive est P ; si P est coecients dans Q, il en est de mme pour P
(1)
; on notera P
(2)
= (P
(1)
)
(1)
.
Montrons par rcurrence que pour tout n N, le polynme B
n
est bien dni, coecients dans Q, de degr
n et de coecient dominant gal 1.
Ces conditions videmment vries par B
0
. Soit n N

; supposons ces conditions vries par B

n1
. Lgalit
B

n
= nB
n1
quivaut B
n
= nB
(1)
n1
+B
n
(0) et si elle est vrie, on a
_
1
0
B
n
= nB
(2)
n1
(1) +B
n
(0) ; il sensuit
quil existe un et un seul polynme B
n
vriant B

n
= nB
n1
et
_
1
0
B
n
= 0, savoir
B
n
= n
_
B
(1)
n1
B
(2)
n1
(1)
_
.
Calcul des premiers polynmes de Bernoulli :
B
(1)
0
= X, B
(2)
0
=
1
2
X
2
,
B
1
= X
1
2
;
B
(1)
1
=
1
2
X
2

1
2
X, B
(2)
1
=
1
6
X
3

1
4
X
2
,
B
2
= 2
_
1
2
X
2

1
2
X
1
6
+
1
4
_
= X
2
X +
1
6
;
B
(1)
2
=
1
3
X
3

1
2
X
2
+
1
6
X, B
(2)
2
=
1
12
X
4

1
6
X
3
+
1
12
X
2
,
B
3
= 3
_
1
3
X
3

1
2
X
2
+
1
6
X
1
12
+
1
6

1
12
_
= X
3

3
2
X
2
+
1
2
X ;
B
(1)
3
=
1
4
X
4

1
2
X
3
+
1
4
X
2
, B
(2)
3
=
1
20
X
5

1
8
X
4
+
1
12
X
3
,
B
4
= 4
_
1
4
X
4

1
2
X
3
+
1
4
X
2

1
20
+
1
8

1
12
_
= X
4
2X
3
+ X
2

1
30
.
(b) Soit n N

. Des relations B

1
= B
0
, B

2
= 2B

1
, B

3
= 3B
2
, . . . , B

n
= nB
n1
, on dduit
k {0, 1, . . . , n}
1
k!
B
(k)
n
(0) =
n(n 1) (n k + 1)
k!
B
nk
(0) =
_
n
nk
_
b
nk
;
la formule de Taylor (algbrique) donne donc
B
n
=
n

k=0
_
n
nk
_
b
nk
X
k
=
n

k=0
_
n
k
_
b
k
X
nk
.
(c) Pour montrer lgalit (1)
n
B
n
(1X) = B
n
(X) pour tout n N, il sut daprs (a) de vrier que la suite
de polynmes
_
(1)
n
B
n
(1X)
_
nN

vrie les conditions dnissant (B

n
)
nN
, ce qui est immdiat. On obtient
en particulier (1)
n
B
n
(1) = b
n
pour tout n N; or, pour n N
\
{0, 1}, on a 0 =
_
1
0
B
n1
=
1
n
(B
n
(1)B
n
(0)),
soit b
n
= B
n
(1) ; il sensuit quon a b
n
= 0 pour tout entier naturel n impair et distinct de 1.
Pour tout n N

, lgalit B
2n+1
(0) = 0 donne, compte tenu de lexpression des polynmes de Bernoulli obtenue
la question (b),
_
2n + 1
1
_
b
1
+
n

k=0
_
2n + 1
2k
_
b
2k
,
soit
b
2n
=
1
2

1
2n + 1
n1

k=0
_
2n + 1
2k
_
b
2k
.
- 1 -
MH Dehon
Lyce Paul luard
Corrig des problmes 12 dcembre 2011
Calcul des premiers nombres de Bernoulli (avec Maple) :
b2 := proc(n)
option remember;
if n = 0 then 1
else 1/2 add(binomial(2 n + 1, 2 k) b2(k), k = 0 .. n 1)/(2 n + 1)
end if
end proc
> seq(b2(k),k=1..10);
1
6
,
1
30
,
1
42
,
1
30
,
5
66
,
691
2730
,
7
6
,
3617
510
,
43867
798
,
174611
330
Remarque. On peut utiliser autrement la relation (1)
n
B
n
(1 X) = B
n
(X) pour exprimer b
2n
en fonction de
b
0
, b
2
, . . . , b
2(n1)
. Par exemple, la relation B
2n
(0) = B
2n
(1) scrit
_
2n
1
_
b
1
+
n1

k=0
_
2n
2k
_
b
2k
= 0,
soit
n1

k=0
_
2n
2k
_
b
2k
= n ;
en remplaant n par n + 1, on obtient
b
2n
=
n
(n + 1)(2n + 1)

n2

k=0
_
2n
2k
_
b
2(k+1)
(k + 1)(2k + 1)

b2 := proc(n)
option remember;
if n = 0 then 1
else n/((n + 1) (2 n + 1))
add(binomial(2 n, 2 k) b2(k + 1)/((k + 1) (2 k + 1)), k = 0 .. n 2)
end if
end proc
> seq(b2(k),k=1..10);
1
6
,
1
30
,
1
42
,
1
30
,
5
66
,
691
2730
,
7
6
,
3617
510
,
43867
798
,
174611
330
On peut aussi remarquer quon a B
2n+1
(1/2) = 0, ce qui donne
b
2n
=
1
2
2n

1
2
2n
(2n + 1)
n1

k=0
_
2n + 1
2k
_
2
2k
b
2k
.
b2 := proc(n)
optionremember;
if n = 0 then1
else
1/4
n
add(binomial(2 n + 1, 2 k) 4
k
b2(k), k = 0..n 1)/(4
n
(2 n + 1))
end if
end proc
> seq(b2(k),k=1..10);
1
6
,
1
30
,
1
42
,
1
30
,
5
66
,
691
2730
,
7
6
,
3617
510
,
43867
798
,
174611
330
- 2 -
MH Dehon
Lyce Paul luard
Corrig des problmes 12 dcembre 2011
(d) En substituant X + 1 X dans lgalit montre en (c), on obtient B
n
(X + 1) = (1)
n
B
n
(X) ; il vient
donc, compte tenu de (b),
B
n
(X + 1) B
n
(X) =
n

k=0
_
n
k
_
_
(1)
k
1
_
b
k
. .
= 0 si k = 1
X
nk
= nX
n1
.
On en dduit
p N

k=1
k
n1
=
1
n
p

k=1
_
B
n
(k + 1) B
n
(k)
_
=
1
n
_
B
n
(p + 1) B
n
(1)
. .
=bn car n>1
_
.
Exemple : pour tout p N

, on a
1 + + p =
1
2
_
(p + 1)
2
(p + 1)
_
=
1
2
p(p + 1),
1
2
+ + p
2
=
1
3
_
(p + 1)
3

3
2
(p + 1)
2
+
1
2
(p + 1)
_
=
1
6
p(p + 1)(2p + 1),
1
3
+ + p
3
=
1
4
_
(p + 1)
4
2(p + 1)
3
+ (p + 1)
2
_
=
1
4
p
2
(p + 1)
2
.
(e) Pour tout n N

, la fonction
n
est 1-priodique car la fonction qui tout rel t associe sa partie
fractionnaire t t lest. Pour t ]0, 1[, on a
1
(t) = B
1
(t) = 1/2 t, donc la fonction
1
est ane par
morceaux et a fortiori de classe C
1
par morceaux. De mme, pour n > 1, la fonction
n
concide sur [0, 1[ avec

1
n!
B
n
, donc elle est polynomiale par morceaux et a fortiori de classe C
1
par morceaux ; de plus, on a
lim
t0
t<0

n
(t) = lim
t0
t<0

n
(t + 1) = lim
t1
t<1
B
n
(t) = B
n
(1) = B
n
(0) = lim
t0
t>0

n
(t),
donc
n
est continue en 0 ; par 1-priodicit, elle est donc continue sur R.
Traons les graphes des fonctions (avec Maple).
> phi1:=unapply(subs(X=(x-floor(x)),-bernoulli(1,X)),x);
1 := x x + oor(x) +
1
2
> plot(phi1,-1+.01..2-.01,discont=true,tickmarks=[3,3]);
0.5
0
0.5
1
> phi2:=unapply(1/2*subs(X=x-floor(x),-bernoulli(2,X)),x);
2 := x
1
12

1
2
(x oor(x))
2
+
1
2
x
1
2
oor(x)
> plot(phi2,-1..2,discont=true,tickmarks=[3,3]);
0.05
1 1 2
- 3 -
MH Dehon
Lyce Paul luard
Corrig des problmes 12 dcembre 2011
> phi3:=unapply(1/3!*subs(X=x-floor(x),-bernoulli(3,X)),x);
3 := x
1
12
x +
1
12
oor(x)
1
6
(x oor(x))
3
+
1
4
(x oor(x))
2
> plot(phi3,-1..2,discont=true,tickmarks=[3,3]);
0.005
0.005
1 1 2
> phi4:=unapply(1/4!*subs(X=x-floor(x),-bernoulli(4,X)),x);
4 := x
1
720

1
24
(x oor(x))
2

1
24
(x oor(x))
4
+
1
12
(x oor(x))
3
> plot(phi4,-1..2,discont=true,tickmarks=[3,3]);
0.001
0
0.001
1 1 2
(f ) Comme la fonction
1
est impaire, ses coecients de Fourier sont

1
(0) =
_
1/2
1/2

1
(t) dt = 0
et pour k Z

1
(k) =
_
1/2
1/2

1
(t)e
2ikt
dt
=
_
1/2
1/2

1
(t) cos 2kt dt i
_
1/2
1/2

1
(t) sin 2kt dt
=
2
i
_
1/2
0

1
(t) sin 2kt dt
=
2
i
_
1/2
0
_
1
2
t
_
sin 2kt dt
=
2
i
_
1
2
t
_
cos 2kt
2k

1/2
t=0

2
i
_
1/2
0
cos 2kt
2k
dt
. .
= 0
=
1
2ik

- 4 -
MH Dehon
Lyce Paul luard
Corrig des problmes 12 dcembre 2011
Pour n 2, la fonction
n
est de classe C
1
par morceaux et concide avec
1
n!
B
n
sur [0, 1] (v. la question
prcdente) ; la relation B

n
= nB
n1
entrane

n
=

n1
(pour n = 2, cette relation vaut sur R \ Z et pour
n 3, elle vaut sur R par continuit et
n
est en fait de classe C
1
sur R). Une intgration par parties donne
pour tout n 2
k Z

n
(k) =
_
1
0

n
(t)e
2ikt
dt =
_
1
0

n
(t)
e
2ikt
2ik
dt =

n1
(k)
2ik
;
on en dduit que pour tout n 2, on a
k Z

n
(k) =

1
(k)
(2ik)
n1
=
1
(2ik)
n

On a dautre part

n
(0) =
_
1
0

n
(t) dt =

n+1
(1)

n+1
(0) =
1
(n + 1)!
_
B

n+1
(1) B

n+1
(0)
_
= 0.
(g) On a vu la question (e) que pour tout n N

,
n
vrie les hypothses du thorme de Dirichlet. Les
formules donnes dans lnonc expriment que
n
(t) est la somme de sa srie de Fourier en t si t est un point
de continuit de
n
. On peut les crire sous la forme suivante :
t ]0, 1[ B
1
(t) =
1
(t) =

k=1
_
e
2ikt
2ik

e
2ikt
2ik
_
=

k=1
sin2kt
k
;
n 2N

t [0, 1]
B
n
(t)
n!
=
n
(t) =

k=1
_
e
2ikt
(2ik)
n
+
e
2ikt
(2ik)
n
_
= (1)
n/2+1
2

k=1
cos 2kt
(2k)
n
;
n (2N

+1) t [0, 1]
B
n
(t)
n!
=
n
(t) =

k=1
_
e
2ikt
(2ik)
n

e
2ikt
(2ik)
n
_
= (1)
(n+1)/2
2

k=1
sin 2kt
(2k)
n

(h) La deuxime des trois formules prcdentes donne pour t = 0
n N

b
n
n!
= (1)
n+1
2

k=1
1
(2k)
2n
= (1)
n+1
2
(2n)
(2)
2n

Calcul de (2), (4), . . . , (20) :
> seq((-1)^(n+1)*2^(2*n-1)*Pi^(2*n)*b2(n)/(2*n)!,n=1..10);

2
6
,

4
90
,

6
945
,

8
9450
,

10
93555
,
691
12
638512875
,
2
14
18243225
,
3617
16
325641566250
,
43867
18
38979295480125
,
174611
20
1531329465290625
- 5 -
MH Dehon
Lyce Paul luard