Concours dentre en 1re anne du cycle ingnieurs

Session 1991
Premire composition de mathmatiques, srie M

Corrig de lpreuve danalyse

tude analytique et arithmtique de quelques proprits de la fonction zta de Riemann

Corrig par Mohamed TARQI

Partie I
1. La srie

X 1
est une srie de Riemann, converge si et seulement si x > 1. Ainsi S est
nx

nN

dfinie sur ]1, +[.

2. Soient x et y tels que 1 < x < y, alors n 1, on a :

n
n
X
X
1
1
<
, donc, par passage
y
k
kx
k=1

k=1

la limite,
S(y) S(x)

Supposons que S(x) = S(y), alors puisque S(x) S(y) est une srie termes positifs,
n N nx = ny , donc x = y, ce qui est absurde. Donc S(x) > S(y) et par suite S est
strictement dcroissante sur ]1, +[.
Z n+1
Z n+1
1
dt
1
3. (a) Soit n 1, alors n (x) = x
= x
ex ln(t) dt
x
n
t
n
n
n
1
x ln(t)
Lapplication t 7 x = e
est continue sur [n, n + 1] pour tout x > 0.
t
1
Lapplication x 7 x est de classe C 1 sur ]0, +[ pour tout t [n, n + 1].
t
Z n+1
dt
Le thorme de rgularit des intgrales paramtres indique que x 7
est
tx
n
C 1 sur ]0, +[. Ainsi n apparat comme diffrence de deux fonctions de classe C 1
sur ]0, +[, donc elle est de classe C 1 sur ]0, +[.
De plus on a :
Z n+1
ln t
ln n
0
x > 0, n (x) =
+
dt
nx
tx
n
1
(b) Le thorme des accroissements finis appliqu la fonction C 1 , t 7 x entre n et t
t
entrane lexistence dun ]n, t[ tel que
1
1
x
(t n)x
x = (n t) x+1 =
.
x
n
t

x+1
Jen dduis, comme t n 1 et n, que
0

1
x
1
x x+1 .
x
n
t
n

Do en intgrant cette ingalit :

n N , x > 0, 0 n (x)

x
nx+1

Comme on a major n (x) par le terme gnral dune srie de Riemann, on a la

X
convergence normale, et donc uniforme, de la srie
n (x) sur tout intervalle de
nN

la forme [a, b] o a > 0, en effet, n N , 0 n (x)

DocUPS.tex - page 1

na+1

(c)

i. Par relation de Chasles, on a

n
X

k (x) =

k=1

Z n+1
n
X
1
dt

kx
tx
1
k=1

Lintgrale se calcule immdiatement et, en faisant tendre n vers linfini, on obtient

1
x > 1, (x) = S(x) +
1x
Soit x > 1. Par une intgration par parties, on obtient :
Z n+1
Z n+1
Z n+1
ln t ln n
1 x ln t
dt
0n (x) =

=
(n+1t)
dt
=
(n+1t)h(x, t) x ,
x
x
x+1
t
n
t
t
n
n
n
1 x ln t
.
t
Soit b > a > 1. Pour x fix, la fonction t h(x, t) est continue sur [1, +[ et
comme lim h(x, t) = 0, alors (x, t) h(x, t) est borne sur [a, b] [1, +[ et
avec h(x, t) =

t+

atteint sa borne suprieure en un point (x0 , t0 ), do :

Z

1 x ln t n+1 dt 1 x0 ln t0 n+1 dt

n (x)

=
.
sup

x
t
t
t
tx
0
n
n
(x,t)[a,b][1,+[
Donc x [a, b], on a :
Z
|0n (x)|

n+1

M
n

dt
M

,
x
t
(n + 1)a

1 x0 ln t0
, donc la srie P 0n (x) converge normalement, puis uni
o M =

t0
nN
formment sur tout segment de D, ainsi est de classe C 1 sur D et par consquent S apparat comme somme de fonctions de classe C 1 , donc elle est de classe
C 1 sur D.
Comme la fonction S est strictement dcroissante ( la question 2 de la partie I ),
alors S 0 est ngative sur D.
ii. On a (x 1)S(x) = 1 + (x 1)(x) et par continuit de en 1+ , on a donc
lim (x 1)S(x) = 1

x1+

cest--dire
S(x)

x71

1
.
x1

On a, pour tout x > 1,

x+1 +
Z +

X
1
1
dt
t
=1+
1+
=1+
,
1 S(x) = 1 +
x
x
n
t
1x 1
x1
1
n=2

do lim S(x) = 1.
x+

4. La reprsentation de la courbe de S ne prsente aucune difficult.

5.

(a) Si x 0, le terme gnral

ne tend
pas vers 0, donc la srie diverge grossirement.

1
(1)n1
est alterne et de limite nulle. En outre,
Soit x > 0. La suite
x
n
nx nN
nN
X (1)n1
dcrot. La rgle spciale des sries alternes indique alors que
converge.
nx

Ainsi D0 =]0, +[.

nN

DocUPS.tex - page 2

(b) Soit x D0 fix. Daprs la thorie de sries alternes, on a pour tout x > a > 0 :

X
(1)n1
1
1

|rn (x)| = w(x)

nx (N + 1)x
(N + 1)a
n=1

La dernire ingalit montre que la srie de fonctions continues

X (1)n1
converge
nx

nN

uniformment sur tout partie [a, +[ de D0 , donc sa somme w est continue sur D0 .
X (1)n1
converge uniformment
(c) Cette ingalit entrane que, a > 0, la srie
nx

nN

sur [a, +[ et par consquent w est continue sur D0 =]0, +[.

6. Soit x > 1, on peut crire :

X
X
(1)n1
1

nx
nx

n=1

n=1

X
1 (1)n1
n=1

X
n=1

w(x) = 1

2
(2n)x

=
Do :

nx

2x1

X
1
1
= x1 S(x).
nx
2

n=1

1
2x1

S(x).

Partie II
1.

(a) Comme f est paire, on a : n N, bn = 0 et n N,

Z
Z
2
1
an =
cos(nx) cos(tx)dx =
[cos(t + n)x + cos(t n)x] dx
0
0
(1)n sin(t) 2t
.
=

t2 n 2
(b) Puisque f est continue et de classe C 1 par morceaux sur R, on peut appliquer le
thorme de Dirichlet ; on conclut que la srie de Fourier de f converge simplement
sur R et a pour somme f , do :
x R,

f (x) =

n=1

n=1

sin t X (1)n sin(t) 2t

a0 X
an cos nx =
+
+
cos nx.
2
t

t2 n 2

(c) Pour x = , on obtient :

cos t =

sin t X (1)n sin(t) 2t

+
cos n,
t

t2 n2
n=1

qui scrit encore :

cos t =

sin t X sin(t) 2t
+
.
t
t2 n2
n=1

Do
1
cotant =

DocUPS.tex - page 3

1 X 2t

t
n2 t2
n=1

!
.

La dernire galit scrit, on posant x = t, sous la forme :

xcotanx = 1

X
2( x 2 )
n=1

2.

n2

=1

x2

X
n=1

2x2
n2 2 x2

x 2
x2
1
(a) Soit n N . 2 2
=
x 2 , ainsi si |x| < n,
n x2
n 1 ( n
)
on a :

x2
x2 X x 2n X x 2k+2 X x 2k
=
=
=
n2 2 x2
n2 2
n
n
n
n=0

k=0

k=1

Le rayon de convergence est donc R = n.

(b) Pour tout N N , SN est somme finie de fonctions dveloppable en srie entire,
donc SN est dveloppable en srie entire et on a x ] , [ :
N X

X
x 2k
n
n=1
n=1 k=1

N
P 1
X
N

n2k
X
X
x 2k
n=1
=12
x2k .
=12
n
2k

SN (x) = 1 2

N
X

gn (x) = 1 2

k=1 n=1

k=1

Le rayon de convergence est bien .

3.

(a) On sait, daprs la question I.3.c, que S(2n) 1, donc les sries
X x2n
2n

S(2n)

x2n
et
2n

ont le mme rayon de convergence,qui est gal .

(b) Soit x tel que |x| < .

x 2k
n 1, k 1,
0
n
X x 2k
n 1 . La srie
est une srie gomtrique convergente. En outre
n

kN

+
X
x 2k
x2
= 2 2
n
n x2
k=1

x2
x2
1
est convergente, puisque

, quand n
2
2
2 x2
2
(n)

x
(n)
(n)

nN
tend vers +.
2k
x
Ainsi la suite double
est sommable. et par consquent
n2k n,k1
La srie

lim SN (x) = lim

4.

X
N
X
x 2k
12
n

!
=12

k=1 n=1

X
S(2k)
k=1

2k

x2k = xcotan(x).

(a) Partant du dveloppement limit de la fonction tan lordre 6 au voisinage de 0 :

tan x = x +
donc

x3
2
17 7
+ x5 +
x + o(x7 )
3
15
315

1
1
=
tan(x)
x(1 U (x))
DocUPS.tex - page 4

x2 2
17 6
avec U (x) = x4
x +o(x6 ) comme U (x) = o(x2 ), il suffit de dvelopper
3 15
315
1
lordre 3, on a :
1 U (x)
2
2
x
2 2
17 4
2
4
[U (x)] =
1+ x +
x + o(x )
3
5
105
donc

U (x)

x4
=
9

4 2
1
4
2
1 + x + o(x ) = x4 + x6 + o(x6 )
5
9
45

et
U (x)3 =

1 6
x + o(x6 )
27

Do :
x
1
=
tan(x)
1 U (x)
= 1 + U (x) + U (x)2 + U (x)3 + o(x6 )
1
1
2 6
= 1 x2 x4
x + o(x6 ).
3
45
945

xcotan(x) =

(b) Daprs la question II.3.b, on peut donner le dveloppement limit de la fonction

x 7 xcotan(x) lordre 6 :
2S(2) 2 2S(4) 4 2S(6) 6
x
x
x + o(x6 )
2
4
6
ainsi par identification, on obtient :
xcotan(x) = 1

2
4
6
, S(4) =
et S(6) =
.
6
90
945

1
Dautre, on sait que : w(x) = 1 x1 S(x), et par consquent :
2
S(2) =

7 4
31 6
2
, w(4) =
et w(6) =
.
12
720
30240

(a) Partant de dveloppement limit de la fonction x 7 1 x :

w(2) =

5.

X
(2k 1)! k
1
x ] 1, 1[,
=1+
x .
22k (k!)2
1x
k=1

Do

X
(2k 1)! 2k
1
x ] 1, 1[, arcsin0 (x) =
=1+
x
22k (k!)2
1 x2
k=1

et comme arcsin(0) = 0, alors

x ] 1, 1[,

arcsin(x) = x +

X
k=1

et si x 6= 0

(2k 1)!
x2k+1
+ 1)

22k (k!)2 (2k

X
arcsin(x)
(2k 1)!
=1+
x2k
2k
x
2 (k!)2 (2k + 1)
k=1

Ainsi

X
1.3.5...(2k 1) x2k
,
x ] 1, 1[\{0}, h(x) = 1 +
2.4.6...(2k) 2k + 1
k=1

galit vraie aussi pour x = 0.

DocUPS.tex - page 5

Z
(b) Notons pour tout k N, Ik =
Z

Z
2k+1

sin

tdt =

sin2k+1 t cos tdt, on a pour tout k N :

Z
2k1

sin

t sin tdt =

Z
2k1

sin

tdt

sin2k1 t cos2 tdt

puis par une intgration par parties :

Z

2k1

sin

sin2k t cos t
t cos t cos tdt =
2k

Z
+

sin2k+1 tdt

et par consquent
Ik =

2k
Ik1
2k + 1

2
2
et comme I1 = I0 = , alors
3
3
Ik =

2.4.6...(2k)
ck
=
.
1.3.5...(2k + 1)
2k + 1

X
1.3.5...(2k 1) x2k
(c) Soit x [1, 1]. La srie de fonctions 1 +
est une srie
2.4.6...(2k) 2k + 1
k=1
de fonctions continues, intgrables sur lintervalle dextrmits 0 et x, qui converge
uniformment vers h, donc h est intgrable sur le mme intervalle et :
!
Z x
Z x

X
X
1.3.5...(2k 1) t2k
1.3.5...(2k 1) x2k+1
arcsin(t)
1+
dt =
dt = x+
.
t
2.4.6...(2k) 2k + 1
2.4.6...(2k) (2k + 1)2
0
0
k=1

k=1

dt
dt
Dautre part, si on pose u = arctan(t), alors du =
=
, donc :
2
cos(u)
1t
Z sin(x)
Z x
arcsin(t)
dt =
u arctan(u)dt,
t
0
0
ainsi :
Z x

sin(x)

u arctan udu =
0

6.

X 1.3.5...(2k 1) sin(x)2k+1
arcsin(t)
dt = sin x +
.
t
2.4.6...(2k) (2k + 1)2
k=1

(a) On sait que

x ] , [, xcotan(x) = 1 2

X
k=1

S(2n)

x2n
2n

ainsi on peut intgrer terme terme cette srie entire sur [r, r] pour tout r tel que

0 < r < , en particulier si t [

2 , 2] :
Z
0

X
S(2n) t2n+1
x arctan(x)dx = t 2
.
2n 2n + 1
k=1

Ainsi daprs la question II.5.c, on a :

,
,
t
2 2

X
X
S(2n) t2n+1
1.3.5...(2k 1) sin(t)2k+1
t2
=
sin
t
+
.
2n 2n + 1
2.4.6...(2k) (2k + 1)2
k=1

k=1

DocUPS.tex - page 6

En intgrant une autre fois lgalit prcdente entre 0 et 2 , on obtient :

Z

tdt 2

X
S(2n)
k=1

2n

X
t2n+1
dt =
ck
2n + 1

k=0

sin(x)2k+1
dt,
(2k + 1)2

qui scrit encore :

k=1

n=0

X
2 X
S(2n)
1

=
2n
8
(2n + 1)(2n + 2)2
(2n + 1)3
Mais

X
X
X
1
1
1
=
+
,
k3
(2k)3
(2k + 1)3
k=1

k=1

donc

X
k=1

k=0

1
7X 1
=
(2k + 1)3
8
k3
k=1

Do :

X
1
2
S(3) =
=
k3
7

14

k=1

(b) Puisque x 7

X
k=1

S(2k)
(2k + 1)(2k + 2)22k

1
est continue et dcroissante sur [1, +[, on obtient :
x3
Z +
Z +
dx
dx
n 1,
S(3) Sn (3)
,
3
x3
n+1 x
n

cest--dire

1
1
S(3) Sn (3) 2 ,
2
2(n + 1)
2n

n 1,
et donc

Sn (3) S(3)
7.

1
.
n2

(a) Daprs la question (b) de la question prcdente, on a, on posant rn = S(3) Sn (3) :

Z

n 1,
n+1

et puisque
n

dx

x3

n+1

dx
rn
x3

dx
,
x3

dx
1
+ 3 , alors on obtient :
x3
n
Z

n 1, Sn (3) +

n+1

dx
S(3) Sn (3) +
x3

n+1

dx
1
+ 3.
x3
n

Ainsi pour avoir une valeur approche 103 prs, on prendra n3 21 103 . Donc
on prendra n = 8 et dans ce cas
S8 (3) +
do : S(3) = 1, 202.

DocUPS.tex - page 7

1
1
1
S(3) S8 (3) +
+ 3,
162
162 9

(b) Calculons la somme de quatre premiers termes :

2
1
1
1
2
4
1


6 = 1, 202.
7
72
10800
846720
Donc les quatre premiers termes de la relation () sont suffisantes pour trouver lapproximation souhaite.
(c) On prendra comme valeur approche de S(3) la valeur 1.202. On remarque que la
srie dfinie par la relation () converge rapidement vers S(3) que la srie qui dfinie
S(3).

M.Tarqi-Centre Ibn Abdoune des classes prparatoires-Khouribga. Maroc
E-mail : medtarqi@yahoo.fr

DocUPS.tex - page 8