CONCOURS COMMUNS POLYTECHNIQUES SESSION 2008

PREUVE SPCIFIQUE -FILIRE MP

MATHMATIQUES 1
Dure : 4 heures

Les calculatrices sont autorises.

NB : Le candidat attachera la plus grande importance la clart, la prcision et la concision de la rdaction. Si un candidat est amen reprer ce qui peut lui sembler tre une erreur d'nonc, il le signalera sur sa copie et devra poursuivre sa composition en expliquant les raisons des initiatives qu'il a t amen prendre.
AUTOUR DE LA FONCTION ZETA ALTERNE DE RIEMANN

Ob jectifs :

On note F la fonction zeta alterne de Riemann, dnie par

F (x) = (1)n1 , nx n=1
+

et la fonction zeta de Riemann, dnie sur ]1, +[ par

(x) = 1 . nx n=1
+

Ce problme propose une tude croise de quelques proprits de F et . Mise part la partie III. qui utilise des rsultats de la partie I., les parties sont, dans une trs large mesure, indpendantes.
I. Gnralits

1. Dterminer l'ensemble de dnition de F . 2. On considre la suite de fonctions (gn )n1 dnies sur [0, 1[ par
n

gn (t) =
k=0

(t)k .

Dterminer la limite simple g de (gn ) puis, en utilisant le thorme de convergence domine, montrer que
1

F (1) =
0

g (t) dt. En dduire la valeur de F (1). (1)n1 converge normalement sur [2, +[. En dduire la limite de F nx

3. Dmontrer que la srie de fonctions 4. Drivabilit de F en +.

n1

(a) Soit x > 0. tudier les variations sur ]0, +[ de la fonction t (b) Pour n 1, on pose fn : x
(1)n1 . nx

ln t et en dduire que la suite tx

ln n nx

est monotone partir d'un certain rang (dpendant de x) que l'on prcisera. Si a est un rel strictement positif, dmontrer que la srie des drives
[a, +[.
n1

n1

fn converge uniformment sur

En dduire que F est une fonction de classe C 1 sur ]0, +[. 1/4

5. Lien avec Calculer, pour x > 1, F (x) (x) en fonction de x et de (x). En dduire que :
F (x) = (1 21x ) (x).

Puis en dduire la limite de en +.

II. Produit de Cauchy de la srie alterne par elle-mme

n1

On rappelle que le produit de Cauchy de deux sries

n1

an et
n1

bn est la srie
n2

cn , o cn =
k=1

ak bnk . Dans (1)n1 nx

cette partie, on veut dterminer la nature, selon la valeur de x, de la srie

n2

cn (x), produit de Cauchy de

n1

par elle-mme. Cette tude va illustrer le fait que le produit de Cauchy de deux sries convergentes n'est pas ncessairement une srie convergente. Dans toute cette partie, n dsigne un entier suprieur ou gal 2 et x un rel strictement positif. 6. tude de la convergence (a) Indiquer sans aucun calcul la nature et la somme, en fonction de F , de la srie produit
x > 1.
n2

cn (x) lorsque

(b) Dmontrer que, pour x > 0, |cn (x)|

1 2

4x (n 1) . n2 x cn (x).
n2

En dduire, pour 0 < x , la nature de la srie 7. Cas o x = 1 On suppose, dans cette question 7., que x = 1.

(a) Dcomposer en lments simples la fraction rationnelle En dduire une expression de cn (x) en fonction de srie harmonique). (b) Dterminer la monotonie de la suite (c) En dduire la nature de la srie
n2

1 . X(n X)

Hn1 1 1 , o Hn = 1 + + + (somme partielle de la n 2 n

Hn1 n cn (x).

.
n2

III. Calcul de la somme d'une srie l'aide d'une tude de

au voisinage de

8. Dveloppement asymptotique en 1 (a) crire en fonction de ln 2 et de F (1) le dveloppement limit l'ordre 1 et au voisinage de 1 de la fonction F , puis dterminer le dveloppement limit l'ordre 2 et au voisinage de 1 de la fonction x 1 21x . (b) En dduire deux rels a et b, qui s'crivent ventuellement l'aide de ln 2 et F (1), tels que l'on ait, pour x au voisinage de 1+ :
(x) = a + b + o(1). x1

9. Dveloppement asymptotique en 1 (bis) On considre la srie de fonctions vn , o vn est dnie sur [1, 2] par
n1

vn (x) =

1 nx

n+1 n

dt
tx

2/4

(a) Justier que, pour n 1 et x [1, 2], on a :

0 vn (x) 1 1 . nx (n + 1)x
+

(b) Justier que, pour x [1, 2], la srie d'Euler). (c) Exprimer, pour x ]1, 2], la somme
n=1 n1 +

vn (x) converge. On note alors =

n=1

vn (1) (c'est la constante

vn (x) l'aide de (x) et 1 x.

(d) Dmontrer que la srie

n1

vn converge uniformment sur [1, 2] (on pourra utiliser le reste de la srie).

(e) En dduire que l'on a, pour x au voisinage de 1+ :

(x) = 1 + + o(1). x1

10. Application Dduire des rsultats prcdents une expression, l'aide de ln 2 et , de la somme
(1)n1 ln n . n n=1
+

IV. Calcul des

F (2k )

l'aide des nombres de Bernoulli

Dans cette partie, on se propose d'tablir une formule permettant de calculer la valeur des (2k) avec un entier k 1. Pour cela, on introduit les polynmes et nombres de Bernoulli. R[X] dsigne la R-algbre des polynmes coecients rels. On identie un polynme et sa fonction polynmiale associe. On dit qu'une suite (Bn ) de R[X] est une suite de polynmes de Bernoulli si elle vrie les proprits suivantes :
B0 = 1, n N , Bn = nBn1 et
0 1

Bn (t) dt = 0.
la

On admet qu'il existe une et une seule suite de polynmes de Bernoulli que l'on notera (Bn ). On l'appelle de polynmes de Bernoulli. On pose bn = Bn (0), bn est appel le n-ime nombre de Bernoulli. 11. Calculer B1 et B2 . En dduire b1 et b2 . 12. Calculer, pour n 2, Bn (1) Bn (0). 13. Symtrie Dmontrer que, pour tout n N, Bn (X) = (1)n Bn (1 X). 14. Dveloppement en srie de Fourier Soit k un entier naturel. On dnit l'application gk de R dans R par :
gk (x) = B2k x 2

suite

pour x [0, 2 [ et gk est priodique de priode 2.

Justier avec soin qu'il existe une unique suite de rels (an (k))n0 telle que, pour tout rel x, on ait :
gk (x) = a0 (k ) + an (k ) cos(nx). 2 n=1
+

15. Expression des coecients (a) Soient n 1 et k 1. Montrer que l'on a :

an (k ) = k (2k )(2k 1) B2k1 (1) B2k1 (0) an (k 1). (n )2 (2n )2

3/4

(b) En dduire la valeur de an (1) pour n 1. (c) Conclure que, pour n 1 et k 2, on a :

an (k ) = (1)k1 (2k )! . 22k1 (n )2k

16. Conclusion Dterminer, pour k 1, une relation entre (2k) et b2k . 17. Calcul eectif des bn (a) Dmontrer, en utilisant une formule de Taylor, que, pour tout n N, on a :
n

On remarquera pour la suite (sans le dmontrer) que cette formule reste vraie pour k = 1.

Bn (X) =
k=0

n bnk Xk . k

(b) En dduire une relation de rcurrence permettant de calculer les nombres de Bernoulli sans avoir dterminer les polynmes de Bernoulli associs. crire, dans un des langages au programme, un petit algorithme permettant d'obtenir la valeur de bn pour un entier n donn.

Fin de l'nonc

4/4