PREMIERE EPREUVE DE MATHEMATIQUES

durée : 4 heures

Option MP
L’usage des calculatrices n’est pas autorisé pour cette épreuve.
***

Les candidats sont informés que la précision des raisonnements ainsi que le soin apporté à la
rédaction seront des éléments pris en compte dans la notation. Les candidats pourront admettre et
utiliser le résultat d’une question non résolue s’ils l’indiquent clairement sur la copie.

Préliminaire : Dans ce problème on étudie quelques propriétés de la fonction ζ, somme de la série de

X 1
fonctions . On rappelle que la fonction Gamma est définie sur ]0, +∞[ par :
ns
n> 1
Z ∞
Γ(x) = e−t tx−1 dt.
0

Enfin on signale que l’utilisation de la comparaison séries-intégrales et de l’interversion du signe somme

dans une suite double sommable sera très profitable dans ce problème.

Première partie

I-1 Montrer que la fonction ζ a pour domaine de définition I =]1, +∞[.

X 1
I-2-a Montrer la convergence uniforme de la série de fonctions vers ζ sur [a, +∞[, pour tout
ns
n> 1
a > 1.
I-2-b Cette série de fonctions converge-t-elle uniformément sur I ?

I-3-a Montrer que ζ est continue sur I.

I-3-b Déterminer avec soin ses limites aux bornes de I.
1
I-3-c Par comparaison avec une intégrale montrer l’équivalent ζ(s) ∼ au voisinage de 1.
s−1
I-4-a Montrer que ζ est de classe C1 sur I et donner une expression de sa dérivée.
I-4-b Montrer que ζ est de classe C∞ sur I et donner une expression de ses dérivées successives.

I-5-a Montrer l’équivalent ζ(s) − 1 ∼ 2−s au voisinage de +∞ et en déduire la convergence de la série

X
(ζ(k) − 1).
k >2

I-5-b En introduisant une suite double sommable bien choisie, calculer la somme de la série précédente.

I-6 On considère pour n > 1 la fonction Pn à valeurs complexes définie sur [0, +∞[ par :
1 √ √
( x + i)2n+1 − ( x − i)2n+1 .


Pn (x) =
2i
I-6-a Montrer que Pn est polynomiale.
I-6-b Déterminer ses racines dans ]0, +∞[.
I-6-c En déduire les relations pour n > 1 :
X kπ n(2n − 1) X 1 2n(n + 1)
cotan2 = ; 2 kπ
= .
2n + 1 3 sin 2n+1
3
16 k 6 n 16k 6n

1
I-6-d Démontrer, pour t ∈]0, π2 [, les inégalités : cotan t 6 1 1
t 6 sin t .
π2
I-6-e En déduire que ζ(2) = .
6

Deuxième partie

II-1 Soit x ∈ R\Z.

II-1-a Déterminer les coefficients de Fourier de la fonction 2π-périodique f : R −→ R telle que
f (t) = cos xt sur [−π, π].
II-1-b Etablir alors la relation pour tout t ∈ [−π, π] :
∞
!
sin πx 1 X (−1)n 2x
cos xt = + cos nt .
π x n=1 x2 − n2

II-1-c En déduire l’égalité

∞
X 2x2
πx cotan πx = 1 + .
n=1
x2 − n2

2x2
II-2-a Développer en série entière au voisinage de l’origine la fonction : x −→ , où n ∈ N∗ .
x2− n2
Préciser le rayon de convergence.
x2k
 
II-2-b Montrer pour |x| < 1 la sommabilité de la suite double .
n2k n,k>1
II-2-c En déduire pour 0 < |x| < 1, la relation
∞
X
πx cotan πx = 1 − 2 ζ(2k)x2k .
k=1

II-3 Retrouver alors la valeur de ζ(2) puis calculer ζ(4).

II-4-a Exprimer tan 2x en fonction tan x, en déduire tan x en fonction de cotan 2x et cotan x, puis
donner le développement en série entière au voisinage de l’origine de x 7→ tan x.
II-4-b Préciser le rayon de convergence.
X nxn X xn
II-5-a Montrer la convergence simple sur [0, 1[ des séries de fonctions n
et .
1−x (1 − xn )2
n> 1 n> 1
II-5-b Etablir pour x dans [0, 1[ la relation
∞ ∞
X nxn X xn
n
= .
n=1
1−x n=1
(1 − xn )2

∞
X xn
II-6-a Montrer la convergence uniforme sur [0, 1] de la série de fonctions .
n=1
(1 + x + · · · + xn−1 )2

(Indication: Pour encadrer le terme général on pourra, par exemple, distinguer les cas
1 1
0 6 x 6 1 − 3/4 et 1 − 3/4 6 x 6 1.)
n n
∞
X nxn π2
II-6-b En déduire lim (1 − x)2 n
= .
x−→1−
n=1
1−x 6

Troisième partie

1 1
III-1 Montrer que la suite un = 1+ +· · ·+ −ln n est décroissante et converge vers un réel strictement
2 n
positif γ (constante d’Euler).

2
 X 1 1

III-2-a Montrer la convergence de la série + ln(1 − ) .
n n
n> 2
III-2-b Etablir la relation
∞  
X 1 1
γ =1+ + ln(1 − ) .
n=2
n n
X ζ(k) − 1
III-2-c En déduire la convergence de la série et l’identité
k
k >2

∞
X ζ(k) − 1
γ =1− .
k
k=2

tα−1
III-3-a Etudier pour α réel l’intégrabilité de la fonction t −→ et −1 sur l’intervalle]0, +∞[. On posera
+∞
tα−1
Z
Iα = dt.
0 et − 1
III-3-b En intégrant terme à terme une série de fonctions bien choisie, établir la relation :

∀ α > 1, ζ(α)Γ(α) = Iα .

e−t − e−st
III-4-a Démontrer que pour tout s > 1, la fonction t −→ est intégrable sur ]0, +∞[ et que
t
son intégrale sur cet intervalle est égale à ln s. Z +∞ −t Z sε −t
e − e−st e
(Indication : On pourra, par exemple, montrer que pour ε > 0 on a : dt = dt.)
ε t ε t
III-4-b Montrer alors que
+∞
e−t − e−nt
Z  
lim e−t + e−2t + · · · + e−nt − dt = γ.
n−→+∞ 0 t
 
1 1
III-4-c Montrer que la fonction t −→ − e−t est intégrable sur ]0, +∞[ et que son intégrale
1 − e−t t
sur cet intervalle est égale à γ.

III-4-d En déduire Z +∞
Γ0 (1) = e−t ln t dt = −γ.
0
 n
t
∗
III-5-a Démontrer pour tout n ∈ N et t ∈ [0, n] : 1− 6 e−t .
n
III-5-b Montrer pour x > 0 Z n
t n x−1
lim (1 − ) t dt = Γ(x).
n−→∞ 0 n
III-5-c En déduire pour x > 0
nx n!
Γ(x) = lim .
n−→∞ x(x + 1) · · · (x + n)

X x x 
III-6 Montrer pour x > 0 la convergence de − ln(1 + ) et la relation
n n
n> 1

+∞ 
X x x 
lnΓ(x) = −γx − lnx + − ln(1 + ) .
n=1
n n

III-7-a Démontrer avec soin la relation pour x > 0

+∞
Γ0 (x)
 
1 X 1 1
= −γ − + − .
Γ(x) x n=1 n n+x

III-7-b Retrouver alors la relation Γ0 (1) = −γ puis calculer Γ00 (1).

3
III-8 Etablir pour x dans ]0, 1[
+∞
Γ0 (x) 1 X
= −γ − + (−1)n+1 ζ(n + 1)xn .
Γ(x) x n=1

Quatrième partie
X xn
IV-1-a Déterminer le rayon de convergence de la série entière , α ∈ R. On note Sα sa somme
nα
n> 1
sur son intervalle ouvert de convergence.
IV-1-b Déterminer Sα pour α = 1 et pour α = −2.

IV-2 Préciser la limite de Sα en 1 à gauche, suivant la valeur de α > 0.

IV-3 On suppose 0 6 α < 1. Par comparaison à l’aide d’une intégrale montrer l’équivalent
1
Sα (x) ∼ Γ(1 − α)
(1 − x)1−α

au voisinage de 1.

IV-4 Soient α un réel strictement positif et f une fonction à valeurs > 0 continment dérivable sur
f 0 (x) α
[0, +∞[ et telle que ∼ au voisinage de +∞.
f (x) x
IV-4-a Montrer que l’on a au voisinage de +∞

ln f (x) ∼ ln xα .
X
IV-4-b La série f (n) est-elle convergente?
n> 1
X
IV-4-c Montrer, pour tout t > 0, la convergence de la série f (n)e−nt ainsi que la sommabilité de
n> 1
la fonction x −→ e−tx f (x) sur [0, +∞[.
∞
X
IV-4-d Montrer que la fonction t −→ f (n)e−nt tend vers +∞ lorsque t tend vers 0.
n=1

f (λx)
IV-5-a Montrer pour λ > 0 fixé que lim = λα .
f (x)
x−→+∞
λx
f 0 (s)
Z
(Indication : On pourra introduire l’intégrale ds pour x > 0)
x f (s)
IV-5-b Montrer que lorsque t tend vers 0 à droite, on a
∞
X Z +∞
−nt
f (n)e ∼ e−tx f (x)dx.
n=1 0

IV-5-c On suppose f croissante. Déduire de ce qui précède, lorsque t tend vers 0 à droite
∞  
X
−nt Γ(α + 1) 1
f (n)e ∼ f .
n=1
t t

IV-5-d Reprendre la question précédente sans l’hypothèse f croissante.

**********
FIN